llvm/test/Transforms/JumpThreading/ddt-crash3.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=jump-threading -verify-dom-info < %s | FileCheck %s
   3
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 @global = external local_unnamed_addr global i64, align 8
   8 @global.1 = external local_unnamed_addr global i64, align 8
   9 @global.2 = external local_unnamed_addr global i64, align 8
  10
  11 ; Function Attrs: norecurse noreturn nounwind uwtable
  12 define void @hoge() local_unnamed_addr #0 {
  13 ; CHECK-LABEL: @hoge(
  14 ; CHECK-NEXT:  bb:
  15 ; CHECK-NEXT:    br label [[BB1:%.*]]
  16 ; CHECK:       bb1:
  17 ; CHECK-NEXT:    [[TMP:%.*]] = load i64, ptr @global, align 8, !tbaa [[TBAA1:![0-9]+]]
  18 ; CHECK-NEXT:    [[TMP2:%.*]] = icmp eq i64 [[TMP]], 0
  19 ; CHECK-NEXT:    br i1 [[TMP2]], label [[BB26:%.*]], label [[BB3:%.*]]
  20 ; CHECK:       bb3:
  21 ; CHECK-NEXT:    [[TMP4:%.*]] = load i64, ptr @global.1, align 8, !tbaa [[TBAA1]]
  22 ; CHECK-NEXT:    [[TMP5:%.*]] = icmp eq i64 [[TMP4]], 0
  23 ; CHECK-NEXT:    br i1 [[TMP5]], label [[BB26]], label [[BB26]]
  24 ; CHECK:       bb26:
  25 ; CHECK-NEXT:    br label [[BB1]]
  26 ;
  27 bb:
  28   br label %bb1
  29
  30 bb1:                                              ; preds = %bb26, %bb
  31   %tmp = load i64, ptr @global, align 8, !tbaa !1
  32   %tmp2 = icmp eq i64 %tmp, 0
  33   br i1 %tmp2, label %bb27, label %bb3
  34
  35 bb3:                                              ; preds = %bb1
  36   %tmp4 = load i64, ptr @global.1, align 8, !tbaa !1
  37   %tmp5 = icmp eq i64 %tmp4, 0
  38   br i1 %tmp5, label %bb23, label %bb23
  39
  40 bb23:                                             ; preds = %bb3, %bb3
  41   br label %bb26
  42
  43 bb26:                                             ; preds = %bb27, %bb23
  44   br label %bb1
  45
  46 bb27:                                             ; preds = %bb1
  47   br label %bb26
  48 }
  49
  50 attributes #0 = { norecurse noreturn nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
  51
  52 !llvm.ident = !{!0}
  53
  54 !0 = !{!"clang version 7.0.0 "}
  55 !1 = !{!2, !2, i64 0}
  56 !2 = !{!"long", !3, i64 0}
  57 !3 = !{!"omnipotent char", !4, i64 0}
  58 !4 = !{!"Simple C/C++ TBAA"}