InstCombine: (icmp eq B, 0) | (icmp ult A, B) -> (icmp ule A, B-1)