Lines Matching refs:icmp
5 ; (icmp sgt x, -1) & (icmp sgt/sge n, x) --> icmp ugt/uge n, x
10 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[NN]], [[X:%.*]]
14 %a = icmp sge i32 %x, 0
15 %b = icmp slt i32 %x, %nn
23 ; CHECK-NEXT: [[A:%.*]] = icmp sgt i32 [[X:%.*]], -1
24 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[NN]], [[X]]
29 %a = icmp sge i32 %x, 0
30 %b = icmp slt i32 %x, %nn
38 ; CHECK-NEXT: [[TMP1:%.*]] = icmp uge i32 [[NN]], [[X:%.*]]
42 %a = icmp sgt i32 %x, -1
43 %b = icmp sle i32 %x, %nn
51 ; CHECK-NEXT: [[A:%.*]] = icmp sgt i32 [[X:%.*]], -1
52 ; CHECK-NEXT: [[B:%.*]] = icmp sge i32 [[NN]], [[X]]
57 %a = icmp sgt i32 %x, -1
58 %b = icmp sle i32 %x, %nn
66 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[NN]], [[X:%.*]]
70 %a = icmp sgt i32 %nn, %x
71 %b = icmp sge i32 %x, 0
79 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[NN]], [[X:%.*]]
83 %a = icmp sgt i32 %nn, %x
84 %b = icmp sge i32 %x, 0
92 ; CHECK-NEXT: [[TMP1:%.*]] = icmp uge i32 [[NN]], [[X:%.*]]
96 %a = icmp sge i32 %nn, %x
97 %b = icmp sge i32 %x, 0
105 ; CHECK-NEXT: [[TMP1:%.*]] = icmp uge i32 [[NN]], [[X:%.*]]
109 %a = icmp sge i32 %nn, %x
110 %b = icmp sge i32 %x, 0
118 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ule i32 [[NN]], [[X:%.*]]
122 %a = icmp slt i32 %x, 0
123 %b = icmp sge i32 %x, %nn
131 ; CHECK-NEXT: [[A:%.*]] = icmp slt i32 [[X:%.*]], 0
132 ; CHECK-NEXT: [[B:%.*]] = icmp sle i32 [[NN]], [[X]]
137 %a = icmp slt i32 %x, 0
138 %b = icmp sge i32 %x, %nn
146 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[NN]], [[X:%.*]]
150 %a = icmp sle i32 %x, -1
151 %b = icmp sgt i32 %x, %nn
159 ; CHECK-NEXT: [[A:%.*]] = icmp slt i32 [[X:%.*]], 0
160 ; CHECK-NEXT: [[B:%.*]] = icmp slt i32 [[NN]], [[X]]
165 %a = icmp sle i32 %x, -1
166 %b = icmp sgt i32 %x, %nn
174 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ule i32 [[NN]], [[X:%.*]]
178 %a = icmp sle i32 %nn, %x
179 %b = icmp slt i32 %x, 0
187 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ule i32 [[NN]], [[X:%.*]]
191 %a = icmp sle i32 %nn, %x
192 %b = icmp slt i32 %x, 0
200 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[NN]], [[X:%.*]]
204 %a = icmp slt i32 %nn, %x
205 %b = icmp slt i32 %x, 0
213 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[NN]], [[X:%.*]]
217 %a = icmp slt i32 %nn, %x
218 %b = icmp slt i32 %x, 0
228 ; CHECK-NEXT: [[A:%.*]] = icmp sgt i32 [[NN]], [[X:%.*]]
229 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[X]], 0
234 %a = icmp slt i32 %x, %nn
235 %b = icmp sgt i32 %x, 0 ; should be: icmp sge
243 ; CHECK-NEXT: [[A:%.*]] = icmp sgt i32 [[NN]], [[X:%.*]]
244 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[X]], 0
249 %a = icmp slt i32 %x, %nn
250 %b = icmp sgt i32 %x, 0 ; should be: icmp sge
257 ; CHECK-NEXT: [[A:%.*]] = icmp slt i32 [[X:%.*]], [[N:%.*]]
258 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[X]], -1
262 %a = icmp slt i32 %x, %n ; n can be negative
263 %b = icmp sge i32 %x, 0
270 ; CHECK-NEXT: [[A:%.*]] = icmp slt i32 [[X:%.*]], [[N:%.*]]
271 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[X]], -1
275 %a = icmp slt i32 %x, %n ; n can be negative
276 %b = icmp sge i32 %x, 0
284 ; CHECK-NEXT: [[A:%.*]] = icmp sgt i32 [[NN]], [[X:%.*]]
285 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[Y:%.*]], -1
290 %a = icmp slt i32 %x, %nn
291 %b = icmp sge i32 %y, 0 ; should compare %x and not %y
299 ; CHECK-NEXT: [[A:%.*]] = icmp sgt i32 [[NN]], [[X:%.*]]
300 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[Y:%.*]], -1
305 %a = icmp slt i32 %x, %nn
306 %b = icmp sge i32 %y, 0 ; should compare %x and not %y
314 ; CHECK-NEXT: [[A:%.*]] = icmp ne i32 [[NN]], [[X:%.*]]
315 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[X]], -1
320 %a = icmp ne i32 %x, %nn ; should be: icmp slt/sle
321 %b = icmp sge i32 %x, 0
329 ; CHECK-NEXT: [[A:%.*]] = icmp ne i32 [[NN]], [[X:%.*]]
330 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[X]], -1
335 %a = icmp ne i32 %x, %nn ; should be: icmp slt/sle
336 %b = icmp sge i32 %x, 0
344 ; CHECK-NEXT: [[A:%.*]] = icmp sgt i32 [[NN]], [[X:%.*]]
345 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[X]], -1
350 %a = icmp slt i32 %x, %nn
351 %b = icmp sge i32 %x, 0
359 ; CHECK-NEXT: [[A:%.*]] = icmp sgt i32 [[NN]], [[X:%.*]]
360 ; CHECK-NEXT: [[B:%.*]] = icmp sgt i32 [[X]], -1
365 %a = icmp slt i32 %x, %nn
366 %b = icmp sge i32 %x, 0