https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114338
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Bet the point of this PR is to canonicalize in GIMPLE to one of the forms (both have the same number of GIMPLE statements, so that makes it harder to pick the canonical form) and let expansion try to expand both ways and query rtx costs what is faster or smaller; we do something like that in other cases (e.g. for division where ranges tells us we can use unsigned or signed division equally).