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 }