Lines Matching refs:ult

93   %var29 = icmp ult i32 %i, %length.i
94   %var30 = icmp ult i32 %iplus1, %length.i
138   %var29 = icmp ult i32 %i, %len.plus.one
139   %var30 = icmp ult i32 %iplus1, %length.i
150   %var29 = icmp ult i32 %i, %length.i
151   %var30 = icmp ult i32 %iplus1, %length.i
163   %known = icmp ult i32 %large, %length.i
164   %to.prove = icmp ult i32 %small, %length.i
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
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
211   %known = icmp ult i32 %large, %length.i
212   %to.prove = icmp ult i32 %small, %length.i
224   %known = icmp ult i32 %large, %length.i
225   %to.prove = icmp ult i32 %small, %length.i
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
253   %var29 = icmp ult i32 %i, %length.i
254   %var30 = icmp ult i32 %iplus1, %length.i