localopt/lower_dw opt: a==b && c==d => (a^b)|(c^d)==0