InstCombine: Fix miscompile in X % -Y -> X % Y transform
[oota-llvm.git] / test / Transforms / InstCombine / apint-sub.ll
1 ; This test makes sure that sub instructions are properly eliminated
2 ; even with arbitrary precision integers.
3 ;
4
5 ; RUN: opt < %s -instcombine -S | \
6 ; RUN:   grep -v "sub i19 %Cok, %Bok" | grep -v "sub i25 0, %Aok" | not grep sub
7 ; END.
8
9 define i23 @test1(i23 %A) {
10         %B = sub i23 %A, %A             ; <i23> [#uses=1]
11         ret i23 %B
12 }
13
14 define i47 @test2(i47 %A) {
15         %B = sub i47 %A, 0              ; <i47> [#uses=1]
16         ret i47 %B
17 }
18
19 define i97 @test3(i97 %A) {
20         %B = sub i97 0, %A              ; <i97> [#uses=1]
21         %C = sub i97 0, %B              ; <i97> [#uses=1]
22         ret i97 %C
23 }
24
25 define i108 @test4(i108 %A, i108 %x) {
26         %B = sub i108 0, %A             ; <i108> [#uses=1]
27         %C = sub i108 %x, %B            ; <i108> [#uses=1]
28         ret i108 %C
29 }
30
31 define i19 @test5(i19 %A, i19 %Bok, i19 %Cok) {
32         %D = sub i19 %Bok, %Cok         ; <i19> [#uses=1]
33         %E = sub i19 %A, %D             ; <i19> [#uses=1]
34         ret i19 %E
35 }
36
37 define i57 @test6(i57 %A, i57 %B) {
38         %C = and i57 %A, %B             ; <i57> [#uses=1]
39         %D = sub i57 %A, %C             ; <i57> [#uses=1]
40         ret i57 %D
41 }
42
43 define i77 @test7(i77 %A) {
44         %B = sub i77 -1, %A             ; <i77> [#uses=1]
45         ret i77 %B
46 }
47
48 define i27 @test8(i27 %A) {
49         %B = mul i27 9, %A              ; <i27> [#uses=1]
50         %C = sub i27 %B, %A             ; <i27> [#uses=1]
51         ret i27 %C
52 }
53
54 define i42 @test9(i42 %A) {
55         %B = mul i42 3, %A              ; <i42> [#uses=1]
56         %C = sub i42 %A, %B             ; <i42> [#uses=1]
57         ret i42 %C
58 }
59
60 define i124 @test10(i124 %A, i124 %B) {
61         %C = sub i124 0, %A             ; <i124> [#uses=1]
62         %D = sub i124 0, %B             ; <i124> [#uses=1]
63         %E = mul i124 %C, %D            ; <i124> [#uses=1]
64         ret i124 %E
65 }
66
67 define i55 @test10a(i55 %A) {
68         %C = sub i55 0, %A              ; <i55> [#uses=1]
69         %E = mul i55 %C, 7              ; <i55> [#uses=1]
70         ret i55 %E
71 }
72
73 define i1 @test11(i9 %A, i9 %B) {
74         %C = sub i9 %A, %B              ; <i9> [#uses=1]
75         %cD = icmp ne i9 %C, 0          ; <i1> [#uses=1]
76         ret i1 %cD
77 }
78
79 define i43 @test12(i43 %A) {
80         %B = ashr i43 %A, 42            ; <i43> [#uses=1]
81         %C = sub i43 0, %B              ; <i43> [#uses=1]
82         ret i43 %C
83 }
84
85 define i79 @test13(i79 %A) {
86         %B = lshr i79 %A, 78            ; <i79> [#uses=1]
87         %C = sub i79 0, %B              ; <i79> [#uses=1]
88         ret i79 %C
89 }
90
91 define i1024 @test14(i1024 %A) {
92         %B = lshr i1024 %A, 1023        ; <i1024> [#uses=1]
93         %C = bitcast i1024 %B to i1024  ; <i1024> [#uses=1]
94         %D = sub i1024 0, %C            ; <i1024> [#uses=1]
95         ret i1024 %D
96 }
97
98 define i51 @test16(i51 %A) {
99         %X = sdiv i51 %A, 1123          ; <i51> [#uses=1]
100         %Y = sub i51 0, %X              ; <i51> [#uses=1]
101         ret i51 %Y
102 }
103
104 ; Can't fold subtract here because negation it might oveflow.
105 ; PR3142
106 define i25 @test17(i25 %Aok) {
107         %B = sub i25 0, %Aok            ; <i25> [#uses=1]
108         %C = sdiv i25 %B, 1234          ; <i25> [#uses=1]
109         ret i25 %C
110 }
111
112 define i128 @test18(i128 %Y) {
113         %tmp.4 = shl i128 %Y, 2         ; <i128> [#uses=1]
114         %tmp.12 = shl i128 %Y, 2        ; <i128> [#uses=1]
115         %tmp.8 = sub i128 %tmp.4, %tmp.12       ; <i128> [#uses=1]
116         ret i128 %tmp.8
117 }
118
119 define i39 @test19(i39 %X, i39 %Y) {
120         %Z = sub i39 %X, %Y             ; <i39> [#uses=1]
121         %Q = add i39 %Z, %Y             ; <i39> [#uses=1]
122         ret i39 %Q
123 }
124
125 define i1 @test20(i33 %g, i33 %h) {
126         %tmp.2 = sub i33 %g, %h         ; <i33> [#uses=1]
127         %tmp.4 = icmp ne i33 %tmp.2, %g         ; <i1> [#uses=1]
128         ret i1 %tmp.4
129 }
130
131 define i1 @test21(i256 %g, i256 %h) {
132         %tmp.2 = sub i256 %g, %h        ; <i256> [#uses=1]
133         %tmp.4 = icmp ne i256 %tmp.2, %g; <i1> [#uses=1]
134         ret i1 %tmp.4
135 }