Lines Matching full:length
5 define i1 @test(i32 %length.i, i32 %i) {
9 %var29 = icmp slt i32 %i, %length.i
15 define i1 @test2(i32 %length.i, i32 %i) {
20 %var29 = icmp slt i32 %i, %length.i
21 %var30 = icmp slt i32 %iplus1, %length.i
27 define i1 @test2_neg(i32 %length.i, i32 %i) {
36 %var29 = icmp slt i32 %i, %length.i
37 %var30 = icmp slt i32 %iplus1, %length.i
43 define i1 @test2_neg2(i32 %length.i, i32 %i) {
52 %var29 = icmp slt i32 %i, %length.i
53 %var30 = icmp slt i32 %iplus1, %length.i
59 define i1 @test2_neg3(i32 %length.i, i32 %i) {
68 %var29 = icmp slt i32 %i, %length.i
69 %var30 = icmp slt i32 %iplus1, %length.i
76 define i1 @test3(i32 %length.i, i32 %i) {
81 %var29 = icmp slt i32 %i, %length.i
82 %var30 = icmp slt i32 %iplus1, %length.i
88 define i1 @test4(i32 %length.i, i32 %i) {
93 %var29 = icmp ult i32 %i, %length.i
94 %var30 = icmp ult i32 %iplus1, %length.i
119 define i1 @test7(i32 %length.i, i32 %i) {
124 %len.plus.one = add nsw i32 %length.i, 1
126 %var30 = icmp slt i32 %iplus1, %length.i
132 define i1 @test8(i32 %length.i, i32 %i) {
137 %len.plus.one = add nuw i32 %length.i, 1
139 %var30 = icmp ult i32 %iplus1, %length.i
145 define i1 @test9(i32 %length.i, i32 %i) {
150 %var29 = icmp ult i32 %i, %length.i
151 %var30 = icmp ult i32 %iplus1, %length.i
156 define i1 @test10(i32 %length.i, i32 %x.full) {
169 %known = icmp ult i32 %large, %length.i
170 %to.prove = icmp ult i32 %small, %length.i
175 define i1 @test10_with_disjoint(i32 %length.i, i32 %x.full) {
182 %known = icmp ult i32 %large, %length.i
183 %to.prove = icmp ult i32 %small, %length.i
188 define i1 @test11(i32 %length.i, i32 %x) {
199 %known = icmp ult i32 %large, %length.i
200 %to.prove = icmp ult i32 %small, %length.i
205 define i1 @test12(i32 %length.i, i32 %x.full) {
218 %known = icmp ult i32 %large, %length.i
219 %to.prove = icmp ult i32 %small, %length.i
224 define i1 @test13(i32 %length.i, i32 %x) {
230 %known = icmp ult i32 %large, %length.i
231 %to.prove = icmp ult i32 %small, %length.i
236 define i1 @test14(i32 %length.i, i32 %x.full) {
249 %known = icmp ult i32 %large, %length.i
250 %to.prove = icmp ult i32 %small, %length.i
255 define i1 @test14_with_disjoint(i32 %length.i, i32 %x.full) {
262 %known = icmp ult i32 %large, %length.i
263 %to.prove = icmp ult i32 %small, %length.i
268 define i1 @test15(i32 %length.i, i32 %x) {
279 %known = icmp ult i32 %large, %length.i
280 %to.prove = icmp ult i32 %small, %length.i
286 define i1 @test_sge(i32 %length.i, i32 %i) {
291 %var29 = icmp ult i32 %i, %length.i
292 %var30 = icmp ult i32 %iplus1, %length.i
298 define i1 @test_sle(i32 %length.i, i32 %i) {
303 %var29 = icmp ult i32 %i, %length.i
304 %var30 = icmp ult i32 %iplus1, %length.i
310 define i1 @test_sgt_icmp(i32 %length.i, i32 %i) {
315 %var29 = icmp sgt i32 %length.i, %i
316 %var30 = icmp sgt i32 %length.i, %iplus1
322 define i1 @test_sge_icmp(i32 %length.i, i32 %i) {
327 %var29 = icmp sge i32 %length.i, %i
328 %var30 = icmp sge i32 %length.i, %iplus1
334 define i1 @test_ugt_icmp(i32 %length.i, i32 %i) {
339 %var29 = icmp ugt i32 %length.i, %i
340 %var30 = icmp ugt i32 %length.i, %iplus1
346 define i1 @test_uge_icmp(i32 %length.i, i32 %i) {
351 %var29 = icmp uge i32 %length.i, %i
352 %var30 = icmp uge i32 %length.i, %iplus1
384 define i1 @test_uge_icmp_value(i32 %length.i, i32 %i, i32 %j) {
389 %var29 = icmp uge i32 %length.i, %i
390 %var30 = icmp uge i32 %length.i, %iplusj
396 define i1 @test_sgt_icmp_no_nsw(i32 %length.i, i32 %i) {
405 %var29 = icmp sgt i32 %length.i, %i
406 %var30 = icmp sgt i32 %length.i, %iplus1
412 define i1 @test_sgt_icmp_nuw(i32 %length.i, i32 %i) {
421 %var29 = icmp sgt i32 %i, %length.i
422 %var30 = icmp sgt i32 %iplus1, %length.i
428 define i1 @test_sge_icmp_no_nsw(i32 %length.i, i32 %i) {
437 %var29 = icmp sge i32 %length.i, %i
438 %var30 = icmp sge i32 %length.i, %iplus1
444 define i1 @test_sge_icmp_nuw(i32 %length.i, i32 %i) {
453 %var29 = icmp sge i32 %i, %length.i
454 %var30 = icmp sge i32 %iplus1, %length.i
460 define i1 @test_ugt_icmp_no_nuw(i32 %length.i, i32 %i) {
469 %var29 = icmp ugt i32 %length.i, %i
470 %var30 = icmp ugt i32 %length.i, %iplus1
476 define i1 @test_ugt_icmp_nsw(i32 %length.i, i32 %i) {
485 %var29 = icmp ugt i32 %length.i, %i
486 %var30 = icmp ugt i32 %length.i, %iplus1
492 define i1 @test_uge_icmp_no_nuw(i32 %length.i, i32 %i) {
501 %var29 = icmp uge i32 %length.i, %i
502 %var30 = icmp uge i32 %length.i, %iplus1
508 define i1 @test_uge_icmp_nsw(i32 %length.i, i32 %i) {
517 %var29 = icmp uge i32 %i, %length.i
518 %var30 = icmp uge i32 %iplus1, %length.i
555 define i1 @lshr_constant(i32 %length.i, i32 %i) {
560 %var29 = icmp ult i32 %i, %length.i
561 %var30 = icmp ult i32 %shl, %length.i
567 define i1 @lshr_value(i32 %length.i, i32 %i, i32 %v) {
572 %var29 = icmp ult i32 %i, %length.i
573 %var30 = icmp ult i32 %shl, %length.i