Lines Matching refs:bounds
17 %in.bounds = icmp slt i32 %idx, %a_len
18 br i1 %in.bounds, label %ok, label %latch
45 %in.bounds = icmp sgt i32 %a_len, %idx
46 br i1 %in.bounds, label %ok, label %latch
73 %in.bounds = icmp slt i32 %idx, 42
74 br i1 %in.bounds, label %ok, label %latch
101 %in.bounds = icmp sgt i32 42, %idx
102 br i1 %in.bounds, label %ok, label %latch
129 %in.bounds = icmp sgt i32 %idx, %a_len
130 br i1 %in.bounds, label %ok, label %latch
157 %in.bounds = icmp slt i32 %a_len, %idx
158 br i1 %in.bounds, label %ok, label %latch
185 %in.bounds = icmp sgt i32 %idx, 42
186 br i1 %in.bounds, label %ok, label %latch
213 %in.bounds = icmp slt i32 42, %idx
214 br i1 %in.bounds, label %ok, label %latch
243 %in.bounds = icmp ult i32 %idx, %a_len
244 br i1 %in.bounds, label %ok, label %latch
271 %in.bounds = icmp ugt i32 %a_len, %idx
272 br i1 %in.bounds, label %ok, label %latch
299 %in.bounds = icmp ult i32 %idx, 42
300 br i1 %in.bounds, label %ok, label %latch
327 %in.bounds = icmp ugt i32 42, %idx
328 br i1 %in.bounds, label %ok, label %latch
355 %in.bounds = icmp ugt i32 %idx, %a_len
356 br i1 %in.bounds, label %ok, label %latch
383 %in.bounds = icmp ult i32 %a_len, %idx
384 br i1 %in.bounds, label %ok, label %latch
411 %in.bounds = icmp ugt i32 %idx, 42
412 br i1 %in.bounds, label %ok, label %latch
439 %in.bounds = icmp ult i32 42, %idx
440 br i1 %in.bounds, label %ok, label %latch