[Bug tree-optimization/111724] [Regression] Missed optimizations probably because of too early arithmetic optimization

[652023330028 at smail dot nju.edu.cn via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111724

--- Comment #2 from Yi <652023330028 at smail dot nju.edu.cn> ---
(In reply to Richard Biener from comment #1)
> Yup, it's difficult.  reassoc doesn't handle signed arithmetic, that's
> usually the pass that optimizes association for invariant motion.

Yes. This issue has the same result for 'unsigned'.

[Bug tree-optimization/111724] [Regression] Missed optimizations probably because of too early arithmetic optimization

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111724

Richard Biener  changed:

   What|Removed |Added

   Last reconfirmed||2023-10-09
 Ever confirmed|0   |1
 Status|UNCONFIRMED |NEW

--- Comment #1 from Richard Biener  ---
Yup, it's difficult.  reassoc doesn't handle signed arithmetic, that's usually
the pass that optimizes association for invariant motion.