------- Comment #4 from pinskia at gcc dot gnu dot org 2005-11-30 17:32 ------- Actually it is better for ~(a ^ CST) to come out as a ^ ~CST.
Right now we actually already implement ~(a^CST) as a ^ ~CST. So we need just to implement (~a) ^ CST as a ^ ~CST. In fact this is what simplify_rtx does. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15458