test/Transforms/Reassociate/crash.ll

   1 ; RUN: opt -reassociate -disable-output %s
   2
   3
   4 ; rdar://7507855
   5 define fastcc i32 @test1() nounwind {
   6 entry:
   7   %cond = select i1 undef, i32 1, i32 -1          ; <i32> [#uses=2]
   8   br label %for.cond
   9
  10 for.cond:                                         ; preds = %for.body, %entry
  11   %sub889 = sub i32 undef, undef                  ; <i32> [#uses=1]
  12   %sub891 = sub i32 %sub889, %cond                ; <i32> [#uses=0]
  13   %add896 = sub i32 0, %cond                      ; <i32> [#uses=0]
  14   ret i32 undef
  15 }
  16
  17 ; PR5981
  18 define i32 @test2() nounwind ssp {
  19 entry:
  20   %0 = load i32* undef, align 4
  21   %1 = mul nsw i32 undef, %0
  22   %2 = mul nsw i32 undef, %0
  23   %3 = add nsw i32 undef, %1
  24   %4 = add nsw i32 %3, %2
  25   %5 = add nsw i32 %4, 4
  26   %6 = shl i32 %0, 3
  27   %7 = add nsw i32 %5, %6
  28   br label %bb4.i9
  29
  30 bb4.i9:
  31   %8 = add nsw i32 undef, %1
  32   ret i32 0
  33 }
  34
  35
  36 define i32 @test3(i32 %Arg, i32 %x1, i32 %x2, i32 %x3) {
  37  %A = mul i32 %x1, %Arg
  38  %B = mul i32 %Arg, %x2 ;; Part of add operation being factored, also used by C
  39  %C = mul i32 %x3, %B
  40
  41  %D = add i32 %A, %B
  42  %E = add i32 %D, %C
  43   ret i32 %E
  44 }
  45
  46
  47 ; rdar://9096268
  48 define void @x66303361ae3f602889d1b7d0f86e5455(i8* %arg) nounwind {
  49 _:
  50   br label %_33
  51
  52 _33:                                              ; preds = %_33, %_
  53   %tmp348 = load i8* %arg, align 1
  54   %tmp349 = lshr i8 %tmp348, 7
  55   %tmp350 = or i8 %tmp349, 42
  56   %tmp351 = add i8 %tmp350, -42
  57   %tmp352 = zext i8 %tmp351 to i32
  58   %tmp358 = add i32 %tmp352, -501049439
  59   %tmp359 = mul i32 %tmp358, %tmp358
  60   %tmp360 = mul i32 %tmp352, %tmp352
  61   %tmp361 = sub i32 %tmp359, %tmp360
  62   %tmp362 = mul i32 %tmp361, -920056735
  63   %tmp363 = add i32 %tmp362, 501049439
  64   %tmp364 = add i32 %tmp362, -2000262972
  65   %tmp365 = sub i32 %tmp363, %tmp364
  66   %tmp366 = sub i32 -501049439, %tmp362
  67   %tmp367 = add i32 %tmp365, %tmp366
  68   br label %_33
  69 }
  70
  71 define void @test(i32 %a, i32 %b, i32 %c, i32 %d) {
  72   %tmp.2 = xor i32 %a, %b               ; <i32> [#uses=1]
  73   %tmp.5 = xor i32 %c, %d               ; <i32> [#uses=1]
  74   %tmp.6 = xor i32 %tmp.2, %tmp.5               ; <i32> [#uses=1]
  75   %tmp.9 = xor i32 %c, %a               ; <i32> [#uses=1]
  76   %tmp.12 = xor i32 %b, %d              ; <i32> [#uses=1]
  77   %tmp.13 = xor i32 %tmp.9, %tmp.12             ; <i32> [#uses=1]
  78   %tmp.16 = xor i32 %tmp.6, %tmp.13             ; <i32> [#uses=0]
  79   ret void
  80 }
  81
  82 define i128 @foo() {
  83   %mul = mul i128 0, 0
  84   ret i128 %mul
  85 }
  86
  87 define void @infinite_loop() {
  88 entry:
  89   br label %loop
  90 loop:
  91   %x = phi i32 [undef, %entry], [%x, %loop]
  92   %dead = add i32 %x, 0
  93   br label %loop
  94 unreachable1:
  95   %y1 = add i32 %y1, 0
  96   %z1 = add i32 %y1, 0
  97   ret void
  98 unreachable2:
  99   %y2 = add i32 %y2, 0
 100   %z2 = add i32 %y2, %y2
 101   ret void
 102 unreachable3:
 103   %y3 = add i32 %y3, %y3
 104   %z3 = add i32 %y3, 0
 105   ret void
 106 unreachable4:
 107   %y4 = add i32 %y4, %y4
 108   %z4 = add i32 %y4, %y4
 109   ret void
 110 }
 111
 112 ; PR13185
 113 define void @pr13185(i16 %p) {
 114 entry:
 115   br label %for.cond
 116
 117 for.cond:                                         ; preds = %for.cond, %entry
 118   %x.0 = phi i32 [ undef, %entry ], [ %conv, %for.cond ]
 119   %conv = zext i16 %p to i32
 120   br label %for.cond
 121 }
 122
 123 ; PR12963
 124 @a = external global i8
 125 define i8 @f0(i8 %x) {
 126   %t0 = load i8* @a
 127   %t1 = mul i8 %x, %x
 128   %t2 = mul i8 %t1, %t1
 129   %t3 = mul i8 %t2, %t2
 130   %t4 = mul i8 %t3, %x
 131   %t5 = mul i8 %t4, %t4
 132   %t6 = mul i8 %t5, %x
 133   %t7 = mul i8 %t6, %t0
 134   ret i8 %t7
 135 }