Lines Matching full:ult
728 // (icmp ult A, C) & (icmp ult B, C) --> (icmp ult (A|B), C)
1485 // (icmp eq B, 0) | (icmp ult A, B) -> (icmp ule A, B-1)
1495 // (icmp ult A, B) | (icmp eq B, 0) -> (icmp ule A, B-1)
1521 // (icmp ult (X + CA), C1) | (icmp eq X, C2) -> (icmp ule (X + CA), C1)
