https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100738
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever confirmed|0 |1 Last reconfirmed| |2021-05-25 --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed. Watch out for (v4sf)~a though. Note there's ~(v4si)(a ^ b) to be considered - outer not and inner bitops which could be combined (likewise inner not and outer bitops). So any canonicalization will miss sth which means consumers should rather be prepared to handle both 'a' and '(v4si)a'.