Lines Matching +full:r +full:- +full:- +full:p
2 ; RUN: opt -passes=instcombine -S -data-layout="p:32:32:32-p1:16:16:16-p2:128:128:128:32-n8:16:32:64" < %s | FileCheck %s
14 [double -10.0, double 1.0, double 4.0, double 2.0, double -20.0, double -40.0]
27 ; CHECK-LABEL: @test1(
28 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[X:%.*]], 9
29 ; CHECK-NEXT: ret i1 [[R]]
31 %P = getelementptr inbounds [10 x i16], ptr @G16, i32 0, i32 %X
32 %Q = load i16, ptr %P
33 %R = icmp eq i16 %Q, 0
34 ret i1 %R
38 ; CHECK-LABEL: @test1_noinbounds(
39 ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], 2147483647
40 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[TMP1]], 9
41 ; CHECK-NEXT: ret i1 [[R]]
43 %P = getelementptr [10 x i16], ptr @G16, i32 0, i32 %X
44 %Q = load i16, ptr %P
45 %R = icmp eq i16 %Q, 0
46 ret i1 %R
50 ; CHECK-LABEL: @test1_noinbounds_i64(
51 ; CHECK-NEXT: [[TMP1:%.*]] = and i64 [[X:%.*]], 2147483647
52 ; CHECK-NEXT: [[R:%.*]] = icmp eq i64 [[TMP1]], 9
53 ; CHECK-NEXT: ret i1 [[R]]
55 %P = getelementptr [10 x i16], ptr @G16, i64 0, i64 %X
56 %Q = load i16, ptr %P
57 %R = icmp eq i16 %Q, 0
58 ret i1 %R
62 ; CHECK-LABEL: @test1_noinbounds_as1(
63 ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], 32767
64 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[TMP1]], 9
65 ; CHECK-NEXT: ret i1 [[R]]
67 %p = getelementptr [10 x i16], ptr addrspace(1) @G16_as1, i16 0, i32 %x
68 %q = load i16, ptr addrspace(1) %p
69 %r = icmp eq i16 %q, 0
70 ret i1 %r
75 ; CHECK-LABEL: @test1_noinbounds_as2(
76 ; CHECK-NEXT: [[TMP1:%.*]] = and i64 [[X:%.*]], 2147483647
77 ; CHECK-NEXT: [[R:%.*]] = icmp eq i64 [[TMP1]], 9
78 ; CHECK-NEXT: ret i1 [[R]]
80 %p = getelementptr [10 x i16], ptr addrspace(2) @G16_as2, i16 0, i64 %x
81 %q = load i16, ptr addrspace(2) %p
82 %r = icmp eq i16 %q, 0
83 ret i1 %r
88 ; CHECK-LABEL: @test2(
89 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[X:%.*]], 4
90 ; CHECK-NEXT: ret i1 [[R]]
92 %P = getelementptr inbounds [10 x i16], ptr @G16, i32 0, i32 %X
93 %Q = load i16, ptr %P
94 %R = icmp slt i16 %Q, 85
95 ret i1 %R
99 ; CHECK-LABEL: @test3(
100 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[X:%.*]], 1
101 ; CHECK-NEXT: ret i1 [[R]]
103 %P = getelementptr inbounds [6 x double], ptr @GD, i32 0, i32 %X
104 %Q = load double, ptr %P
105 %R = fcmp oeq double %Q, 1.0
106 ret i1 %R
111 ; CHECK-LABEL: @test4(
112 ; CHECK-NEXT: [[TMP1:%.*]] = shl nuw i32 1, [[X:%.*]]
113 ; CHECK-NEXT: [[TMP2:%.*]] = and i32 [[TMP1]], 933
114 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[TMP2]], 0
115 ; CHECK-NEXT: ret i1 [[R]]
117 %P = getelementptr inbounds [10 x i16], ptr @G16, i32 0, i32 %X
118 %Q = load i16, ptr %P
119 %R = icmp sle i16 %Q, 73
120 ret i1 %R
124 ; CHECK-LABEL: @test4_i16(
125 ; CHECK-NEXT: [[TMP1:%.*]] = zext nneg i16 [[X:%.*]] to i32
126 ; CHECK-NEXT: [[TMP2:%.*]] = shl nuw i32 1, [[TMP1]]
127 ; CHECK-NEXT: [[TMP3:%.*]] = and i32 [[TMP2]], 933
128 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[TMP3]], 0
129 ; CHECK-NEXT: ret i1 [[R]]
131 %P = getelementptr inbounds [10 x i16], ptr @G16, i32 0, i16 %X
132 %Q = load i16, ptr %P
133 %R = icmp sle i16 %Q, 73
134 ret i1 %R
138 ; CHECK-LABEL: @test5(
139 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 [[X:%.*]], 2
140 ; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[X]], 7
141 ; CHECK-NEXT: [[R:%.*]] = or i1 [[TMP1]], [[TMP2]]
142 ; CHECK-NEXT: ret i1 [[R]]
144 %P = getelementptr inbounds [10 x i16], ptr @G16, i32 0, i32 %X
145 %Q = load i16, ptr %P
146 %R = icmp eq i16 %Q, 69
147 ret i1 %R
151 ; CHECK-LABEL: @test6(
152 ; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[X:%.*]], -1
153 ; CHECK-NEXT: [[R:%.*]] = icmp ult i32 [[TMP1]], 3
154 ; CHECK-NEXT: ret i1 [[R]]
156 %P = getelementptr inbounds [6 x double], ptr @GD, i32 0, i32 %X
157 %Q = load double, ptr %P
158 %R = fcmp ogt double %Q, 0.0
159 ret i1 %R
163 ; CHECK-LABEL: @test7(
164 ; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[X:%.*]], -4
165 ; CHECK-NEXT: [[R:%.*]] = icmp ult i32 [[TMP1]], -3
166 ; CHECK-NEXT: ret i1 [[R]]
168 %P = getelementptr inbounds [6 x double], ptr @GD, i32 0, i32 %X
169 %Q = load double, ptr %P
170 %R = fcmp olt double %Q, 0.0
171 ret i1 %R
175 ; CHECK-LABEL: @test8(
176 ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], -2
177 ; CHECK-NEXT: [[S:%.*]] = icmp eq i32 [[TMP1]], 8
178 ; CHECK-NEXT: ret i1 [[S]]
180 %P = getelementptr inbounds [10 x i16], ptr @G16, i32 0, i32 %X
181 %Q = load i16, ptr %P
182 %R = and i16 %Q, 3
183 %S = icmp eq i16 %R, 0
195 ; CHECK-LABEL: @test9(
196 ; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[X:%.*]], -1
197 ; CHECK-NEXT: [[R:%.*]] = icmp ult i32 [[TMP1]], 2
198 ; CHECK-NEXT: ret i1 [[R]]
200 %P = getelementptr inbounds [4 x { i32, i32 } ], ptr @GA, i32 0, i32 %X, i32 1
201 %Q = load i32, ptr %P
202 %R = icmp eq i32 %Q, 1
203 ret i1 %R
207 ; CHECK-LABEL: @test10_struct(
208 ; CHECK-NEXT: ret i1 false
210 %p = getelementptr inbounds %Foo, ptr @GS, i32 %x, i32 0
211 %q = load i32, ptr %p
212 %r = icmp eq i32 %q, 9
213 ret i1 %r
217 ; CHECK-LABEL: @test10_struct_noinbounds(
218 ; CHECK-NEXT: [[P:%.*]] = getelementptr [[FOO:%.*]], ptr @GS, i32 [[X:%.*]], i32 0
219 ; CHECK-NEXT: [[Q:%.*]] = load i32, ptr [[P]], align 4
220 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[Q]], 9
221 ; CHECK-NEXT: ret i1 [[R]]
223 %p = getelementptr %Foo, ptr @GS, i32 %x, i32 0
224 %q = load i32, ptr %p
225 %r = icmp eq i32 %q, 9
226 ret i1 %r
232 ; CHECK-LABEL: @test10_struct_i16(
233 ; CHECK-NEXT: ret i1 false
235 %p = getelementptr inbounds %Foo, ptr @GS, i16 %x, i32 0
236 %q = load i32, ptr %p
237 %r = icmp eq i32 %q, 0
238 ret i1 %r
244 ; CHECK-LABEL: @test10_struct_i64(
245 ; CHECK-NEXT: ret i1 false
247 %p = getelementptr inbounds %Foo, ptr @GS, i64 %x, i32 0
248 %q = load i32, ptr %p
249 %r = icmp eq i32 %q, 0
250 ret i1 %r
254 ; CHECK-LABEL: @test10_struct_noinbounds_i16(
255 ; CHECK-NEXT: [[TMP1:%.*]] = sext i16 [[X:%.*]] to i32
256 ; CHECK-NEXT: [[P:%.*]] = getelementptr [[FOO:%.*]], ptr @GS, i32 [[TMP1]], i32 0
257 ; CHECK-NEXT: [[Q:%.*]] = load i32, ptr [[P]], align 4
258 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[Q]], 0
259 ; CHECK-NEXT: ret i1 [[R]]
261 %p = getelementptr %Foo, ptr @GS, i16 %x, i32 0
262 %q = load i32, ptr %p
263 %r = icmp eq i32 %q, 0
264 ret i1 %r
268 ; CHECK-LABEL: @test10_struct_arr(
269 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[X:%.*]], 1
270 ; CHECK-NEXT: ret i1 [[R]]
272 %p = getelementptr inbounds [4 x %Foo], ptr @GStructArr, i32 0, i32 %x, i32 2
273 %q = load i32, ptr %p
274 %r = icmp eq i32 %q, 9
275 ret i1 %r
279 ; CHECK-LABEL: @test10_struct_arr_noinbounds(
280 ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], 268435455
281 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[TMP1]], 1
282 ; CHECK-NEXT: ret i1 [[R]]
284 %p = getelementptr [4 x %Foo], ptr @GStructArr, i32 0, i32 %x, i32 2
285 %q = load i32, ptr %p
286 %r = icmp eq i32 %q, 9
287 ret i1 %r
291 ; CHECK-LABEL: @test10_struct_arr_i16(
292 ; CHECK-NEXT: [[R:%.*]] = icmp ne i16 [[X:%.*]], 1
293 ; CHECK-NEXT: ret i1 [[R]]
295 %p = getelementptr inbounds [4 x %Foo], ptr @GStructArr, i16 0, i16 %x, i32 2
296 %q = load i32, ptr %p
297 %r = icmp eq i32 %q, 9
298 ret i1 %r
302 ; CHECK-LABEL: @test10_struct_arr_i64(
303 ; CHECK-NEXT: [[TMP1:%.*]] = and i64 [[X:%.*]], 4294967295
304 ; CHECK-NEXT: [[R:%.*]] = icmp ne i64 [[TMP1]], 1
305 ; CHECK-NEXT: ret i1 [[R]]
307 %p = getelementptr inbounds [4 x %Foo], ptr @GStructArr, i64 0, i64 %x, i32 2
308 %q = load i32, ptr %p
309 %r = icmp eq i32 %q, 9
310 ret i1 %r
314 ; CHECK-LABEL: @test10_struct_arr_noinbounds_i16(
315 ; CHECK-NEXT: [[R:%.*]] = icmp ne i16 [[X:%.*]], 1
316 ; CHECK-NEXT: ret i1 [[R]]
318 %p = getelementptr [4 x %Foo], ptr @GStructArr, i32 0, i16 %x, i32 2
319 %q = load i32, ptr %p
320 %r = icmp eq i32 %q, 9
321 ret i1 %r
325 ; CHECK-LABEL: @test10_struct_arr_noinbounds_i64(
326 ; CHECK-NEXT: [[TMP1:%.*]] = and i64 [[X:%.*]], 268435455
327 ; CHECK-NEXT: [[R:%.*]] = icmp ne i64 [[TMP1]], 1
328 ; CHECK-NEXT: ret i1 [[R]]
330 %p = getelementptr [4 x %Foo], ptr @GStructArr, i32 0, i64 %x, i32 2
331 %q = load i32, ptr %p
332 %r = icmp eq i32 %q, 9
333 ret i1 %r
340 ; CHECK-LABEL: @pr93017(
341 ; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 [[IDX:%.*]] to i32
342 ; CHECK-NEXT: [[GEP:%.*]] = getelementptr inbounds [2 x ptr], ptr @table, i32 0, i32 [[TMP1]]
343 ; CHECK-NEXT: [[V:%.*]] = load ptr, ptr [[GEP]], align 4
344 ; CHECK-NEXT: [[CMP:%.*]] = icmp ne ptr [[V]], null
345 ; CHECK-NEXT: ret i1 [[CMP]]