New instcombine rule: max(~a,~b) -> ~min(a, b)