Lines Matching refs: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) {
30 ; CHECK-NEXT:    [[VAR29:%.*]] = icmp slt i32 %i, %length.i
31 ; CHECK-NEXT:    [[VAR30:%.*]] = icmp slt i32 [[IPLUS1]], %length.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) {
46 ; CHECK-NEXT:    [[VAR29:%.*]] = icmp slt i32 %i, %length.i
47 ; CHECK-NEXT:    [[VAR30:%.*]] = icmp slt i32 [[IPLUS1]], %length.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) {
62 ; CHECK-NEXT:    [[VAR29:%.*]] = icmp slt i32 %i, %length.i
63 ; CHECK-NEXT:    [[VAR30:%.*]] = icmp slt i32 [[IPLUS1]], %length.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) {
163   %known = icmp ult i32 %large, %length.i
164   %to.prove = icmp ult i32 %small, %length.i
169 define i1 @test11(i32 %length.i, i32 %x) {
173 ; CHECK-NEXT:    [[KNOWN:%.*]] = icmp ult i32 [[LARGE]], %length.i
174 ; CHECK-NEXT:    [[TO_PROVE:%.*]] = icmp ult i32 [[SMALL]], %length.i
180   %known = icmp ult i32 %large, %length.i
181   %to.prove = icmp ult i32 %small, %length.i
186 define i1 @test12(i32 %length.i, i32 %x.full) {
191 ; CHECK-NEXT:    [[KNOWN:%.*]] = icmp ult i32 [[LARGE]], %length.i
192 ; CHECK-NEXT:    [[TO_PROVE:%.*]] = icmp ult i32 [[SMALL]], %length.i
199   %known = icmp ult i32 %large, %length.i
200   %to.prove = icmp ult i32 %small, %length.i
205 define i1 @test13(i32 %length.i, i32 %x) {
211   %known = icmp ult i32 %large, %length.i
212   %to.prove = icmp ult i32 %small, %length.i
217 define i1 @test14(i32 %length.i, i32 %x.full) {
224   %known = icmp ult i32 %large, %length.i
225   %to.prove = icmp ult i32 %small, %length.i
230 define i1 @test15(i32 %length.i, i32 %x) {
234 ; CHECK-NEXT:    [[KNOWN:%.*]] = icmp ult i32 [[LARGE]], %length.i
235 ; CHECK-NEXT:    [[TO_PROVE:%.*]] = icmp ult i32 [[SMALL]], %length.i
241   %known = icmp ult i32 %large, %length.i
242   %to.prove = icmp ult i32 %small, %length.i
248 define i1 @test_sge(i32 %length.i, i32 %i) {
253   %var29 = icmp ult i32 %i, %length.i
254   %var30 = icmp ult i32 %iplus1, %length.i