pass machinemoduleinfo down into getSymbolForDwarfGlobalReference,
[llvm/avr.git] / test / Transforms / InstCombine / select.ll
blob22fe57f2372208cdfaee33ae36335b4919d035b5
1 ; This test makes sure that these instructions are properly eliminated.
2 ; PR1822
4 ; RUN: opt < %s -instcombine -S | not grep select
6 define i32 @test1(i32 %A, i32 %B) {
7         %C = select i1 false, i32 %A, i32 %B            ; <i32> [#uses=1]
8         ret i32 %C
11 define i32 @test2(i32 %A, i32 %B) {
12         %C = select i1 true, i32 %A, i32 %B             ; <i32> [#uses=1]
13         ret i32 %C
17 define i32 @test3(i1 %C, i32 %I) {
18         ; V = I
19         %V = select i1 %C, i32 %I, i32 %I               ; <i32> [#uses=1]
20         ret i32 %V
23 define i1 @test4(i1 %C) {
24         ; V = C
25         %V = select i1 %C, i1 true, i1 false            ; <i1> [#uses=1]
26         ret i1 %V
29 define i1 @test5(i1 %C) {
30         ; V = !C
31         %V = select i1 %C, i1 false, i1 true            ; <i1> [#uses=1]
32         ret i1 %V
35 define i32 @test6(i1 %C) { 
36         ; V = cast C to int
37         %V = select i1 %C, i32 1, i32 0         ; <i32> [#uses=1]
38         ret i32 %V
41 define i1 @test7(i1 %C, i1 %X) {
42         ; R = or C, X       
43         %R = select i1 %C, i1 true, i1 %X               ; <i1> [#uses=1]
44         ret i1 %R
47 define i1 @test8(i1 %C, i1 %X) {
48         ; R = and C, X
49         %R = select i1 %C, i1 %X, i1 false              ; <i1> [#uses=1]
50         ret i1 %R
53 define i1 @test9(i1 %C, i1 %X) {
54         ; R = and !C, X
55         %R = select i1 %C, i1 false, i1 %X              ; <i1> [#uses=1]
56         ret i1 %R
59 define i1 @test10(i1 %C, i1 %X) {
60         ; R = or !C, X
61         %R = select i1 %C, i1 %X, i1 true               ; <i1> [#uses=1]
62         ret i1 %R
65 define i32 @test11(i32 %a) {
66         %C = icmp eq i32 %a, 0          ; <i1> [#uses=1]
67         %R = select i1 %C, i32 0, i32 1         ; <i32> [#uses=1]
68         ret i32 %R
71 define i32 @test12(i1 %cond, i32 %a) {
72         %b = or i32 %a, 1               ; <i32> [#uses=1]
73         %c = select i1 %cond, i32 %b, i32 %a            ; <i32> [#uses=1]
74         ret i32 %c
77 define i32 @test12a(i1 %cond, i32 %a) {
78         %b = ashr i32 %a, 1             ; <i32> [#uses=1]
79         %c = select i1 %cond, i32 %b, i32 %a            ; <i32> [#uses=1]
80         ret i32 %c
83 define i32 @test12b(i1 %cond, i32 %a) {
84         %b = ashr i32 %a, 1             ; <i32> [#uses=1]
85         %c = select i1 %cond, i32 %a, i32 %b            ; <i32> [#uses=1]
86         ret i32 %c
89 define i32 @test13(i32 %a, i32 %b) {
90         %C = icmp eq i32 %a, %b         ; <i1> [#uses=1]
91         %V = select i1 %C, i32 %a, i32 %b               ; <i32> [#uses=1]
92         ret i32 %V
95 define i32 @test13a(i32 %a, i32 %b) {
96         %C = icmp ne i32 %a, %b         ; <i1> [#uses=1]
97         %V = select i1 %C, i32 %a, i32 %b               ; <i32> [#uses=1]
98         ret i32 %V
101 define i32 @test13b(i32 %a, i32 %b) {
102         %C = icmp eq i32 %a, %b         ; <i1> [#uses=1]
103         %V = select i1 %C, i32 %b, i32 %a               ; <i32> [#uses=1]
104         ret i32 %V
107 define i1 @test14a(i1 %C, i32 %X) {
108         %V = select i1 %C, i32 %X, i32 0                ; <i32> [#uses=1]
109         ; (X < 1) | !C
110         %R = icmp slt i32 %V, 1         ; <i1> [#uses=1]
111         ret i1 %R
114 define i1 @test14b(i1 %C, i32 %X) {
115         %V = select i1 %C, i32 0, i32 %X                ; <i32> [#uses=1]
116         ; (X < 1) | C
117         %R = icmp slt i32 %V, 1         ; <i1> [#uses=1]
118         ret i1 %R
121 ;; Code sequence for (X & 16) ? 16 : 0
122 define i32 @test15a(i32 %X) {
123         %t1 = and i32 %X, 16            ; <i32> [#uses=1]
124         %t2 = icmp eq i32 %t1, 0                ; <i1> [#uses=1]
125         %t3 = select i1 %t2, i32 0, i32 16              ; <i32> [#uses=1]
126         ret i32 %t3
129 ;; Code sequence for (X & 32) ? 0 : 24
130 define i32 @test15b(i32 %X) {
131         %t1 = and i32 %X, 32            ; <i32> [#uses=1]
132         %t2 = icmp eq i32 %t1, 0                ; <i1> [#uses=1]
133         %t3 = select i1 %t2, i32 32, i32 0              ; <i32> [#uses=1]
134         ret i32 %t3
137 ;; Alternate code sequence for (X & 16) ? 16 : 0
138 define i32 @test15c(i32 %X) {
139         %t1 = and i32 %X, 16            ; <i32> [#uses=1]
140         %t2 = icmp eq i32 %t1, 16               ; <i1> [#uses=1]
141         %t3 = select i1 %t2, i32 16, i32 0              ; <i32> [#uses=1]
142         ret i32 %t3
145 ;; Alternate code sequence for (X & 16) ? 16 : 0
146 define i32 @test15d(i32 %X) {
147         %t1 = and i32 %X, 16            ; <i32> [#uses=1]
148         %t2 = icmp ne i32 %t1, 0                ; <i1> [#uses=1]
149         %t3 = select i1 %t2, i32 16, i32 0              ; <i32> [#uses=1]
150         ret i32 %t3
153 define i32 @test16(i1 %C, i32* %P) {
154         %P2 = select i1 %C, i32* %P, i32* null          ; <i32*> [#uses=1]
155         %V = load i32* %P2              ; <i32> [#uses=1]
156         ret i32 %V
159 define i1 @test17(i32* %X, i1 %C) {
160         %R = select i1 %C, i32* %X, i32* null           ; <i32*> [#uses=1]
161         %RV = icmp eq i32* %R, null             ; <i1> [#uses=1]
162         ret i1 %RV
165 define i32 @test18(i32 %X, i32 %Y, i1 %C) {
166         %R = select i1 %C, i32 %X, i32 0                ; <i32> [#uses=1]
167         %V = sdiv i32 %Y, %R            ; <i32> [#uses=1]
168         ret i32 %V
171 define i32 @test19(i32 %x) {
172         %tmp = icmp ugt i32 %x, 2147483647              ; <i1> [#uses=1]
173         %retval = select i1 %tmp, i32 -1, i32 0         ; <i32> [#uses=1]
174         ret i32 %retval
177 define i32 @test20(i32 %x) {
178         %tmp = icmp slt i32 %x, 0               ; <i1> [#uses=1]
179         %retval = select i1 %tmp, i32 -1, i32 0         ; <i32> [#uses=1]
180         ret i32 %retval
183 define i64 @test21(i32 %x) {
184         %tmp = icmp slt i32 %x, 0               ; <i1> [#uses=1]
185         %retval = select i1 %tmp, i64 -1, i64 0         ; <i64> [#uses=1]
186         ret i64 %retval
189 define i16 @test22(i32 %x) {
190         %tmp = icmp slt i32 %x, 0               ; <i1> [#uses=1]
191         %retval = select i1 %tmp, i16 -1, i16 0         ; <i16> [#uses=1]
192         ret i16 %retval
195 define i1 @test23(i1 %a, i1 %b) {
196         %c = select i1 %a, i1 %b, i1 %a         ; <i1> [#uses=1]
197         ret i1 %c
200 define i1 @test24(i1 %a, i1 %b) {
201         %c = select i1 %a, i1 %a, i1 %b         ; <i1> [#uses=1]
202         ret i1 %c