- InstCombine: (X | C1) & C2 --> X & C2 iff C1 & C1 == 0