Hi Nick, > + // a * Cst icmp eq/ne b * Cst --> a & Mask icmp b & Mask try a=4, b=0 and Cst=3 with i8 arithmetic. Ciao, Duncan. PS: The reverse implication seems to be true, though that's not much help to instcombine :)