https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96671
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Has any testcase been committed for this? Also, for the 2 xors, I don't think we have any canonicalization, so can't that (b ^ c) ^ a part e.g. in #c1 come in also in (b ^ a) ^ c and (a ^ c) ^ b forms (I know it uses :c and that handles (c ^ b) ^ a a ^ (b ^ c) a ^ (c ^ b) for the first one.