FileCheck-ize a test, and tidy it up a touch.
[oota-llvm.git] / 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 }