test/Transforms/GlobalDCE/complex-constantexpr.ll

   1 ; RUN: opt -O2 -disable-output < %s
   2 ; PR15714
   3
   4 %struct.ham = type { i32 }
   5
   6 @global5 = common global i32 0, align 4
   7 @global6 = common global i32 0, align 4
   8 @global7 = common global i32 0, align 4
   9 @global = common global i32 0, align 4
  10 @global8 = common global %struct.ham zeroinitializer, align 4
  11 @global9 = common global i32 0, align 4
  12 @global10 = common global i32 0, align 4
  13 @global11 = common global i32 0, align 4
  14
  15 define void @zot12() {
  16 bb:
  17   store i32 0, i32* @global5, align 4
  18   store i32 0, i32* @global6, align 4
  19   br label %bb2
  20
  21 bb1:                                              ; preds = %bb11
  22   %tmp = load i32, i32* @global5, align 4
  23   br label %bb2
  24
  25 bb2:                                              ; preds = %bb1, %bb
  26   %tmp3 = phi i32 [ %tmp, %bb1 ], [ 0, %bb ]
  27   %tmp4 = xor i32 %tmp3, zext (i1 icmp ne (i64 ptrtoint (i32* @global5 to i64), i64 1) to i32)
  28   store i32 %tmp4, i32* @global5, align 4
  29   %tmp5 = icmp eq i32 %tmp3, zext (i1 icmp ne (i64 ptrtoint (i32* @global5 to i64), i64 1) to i32)
  30   br i1 %tmp5, label %bb8, label %bb6
  31
  32 bb6:                                              ; preds = %bb2
  33   %tmp7 = tail call i32 @quux13()
  34   br label %bb8
  35
  36 bb8:                                              ; preds = %bb6, %bb2
  37   %tmp9 = load i32, i32* @global7, align 4
  38   %tmp10 = icmp eq i32 %tmp9, 0
  39   br i1 %tmp10, label %bb11, label %bb15
  40
  41 bb11:                                             ; preds = %bb8
  42   %tmp12 = load i32, i32* @global6, align 4
  43   %tmp13 = add nsw i32 %tmp12, 1
  44   store i32 %tmp13, i32* @global6, align 4
  45   %tmp14 = icmp slt i32 %tmp13, 42
  46   br i1 %tmp14, label %bb1, label %bb15
  47
  48 bb15:                                             ; preds = %bb11, %bb8
  49   ret void
  50 }
  51
  52 define i32 @quux13() {
  53 bb:
  54   store i32 1, i32* @global5, align 4
  55   ret i32 1
  56 }
  57
  58 define void @wombat() {
  59 bb:
  60   tail call void @zot12()
  61   ret void
  62 }
  63
  64 define void @wombat14() {
  65 bb:
  66   tail call void @blam()
  67   ret void
  68 }
  69
  70 define void @blam() {
  71 bb:
  72   store i32 ptrtoint (i32* @global to i32), i32* getelementptr inbounds (%struct.ham, %struct.ham* @global8, i64 0, i32 0), align 4
  73   store i32 0, i32* @global9, align 4
  74   %tmp = load i32, i32* getelementptr inbounds (%struct.ham, %struct.ham* @global8, i64 0, i32 0), align 4
  75   br label %bb1
  76
  77 bb1:                                              ; preds = %bb1, %bb
  78   %tmp2 = phi i32 [ 0, %bb ], [ %tmp11, %bb1 ]
  79   %tmp3 = phi i32 [ %tmp, %bb ], [ %tmp10, %bb1 ]
  80   %tmp4 = icmp sgt i32 %tmp3, 0
  81   %tmp5 = zext i1 %tmp4 to i32
  82   %tmp6 = urem i32 %tmp5, 5
  83   %tmp7 = mul i32 %tmp3, -80
  84   %tmp8 = or i32 %tmp7, %tmp6
  85   %tmp9 = icmp eq i32 %tmp8, 0
  86   %tmp10 = zext i1 %tmp9 to i32
  87   %tmp11 = add nsw i32 %tmp2, 1
  88   %tmp12 = icmp eq i32 %tmp11, 20
  89   br i1 %tmp12, label %bb13, label %bb1
  90
  91 bb13:                                             ; preds = %bb1
  92   store i32 %tmp10, i32* getelementptr inbounds (%struct.ham, %struct.ham* @global8, i64 0, i32 0), align 4
  93   store i32 0, i32* @global10, align 4
  94   store i32 %tmp6, i32* @global11, align 4
  95   store i32 20, i32* @global9, align 4
  96   ret void
  97 }