https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112706
Richard Biener changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112706
--- Comment #6 from GCC Commits ---
The master branch has been updated by Richard Biener :
https://gcc.gnu.org/g:d9abaa8d58f5729925b1db735d4723a9ea825eaa
commit r14-5872-gd9abaa8d58f5729925b1db735d4723a9ea825eaa
Author: Richard Biener
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112706
--- Comment #5 from Richard Biener ---
As Andrew says (forwprop builds trees and feeds it fold-const.cc which
eventually gets it).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112706
Richard Biener changed:
What|Removed |Added
Status|NEW |ASSIGNED
Version|unknown
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112706
--- Comment #3 from Jan Hubicka ---
Thanks, new pattern looks like noticeable improvement :)
Base+offset is effective for alias analysis and I suppose it happens
reasonably enough for compares as well.
> _76 = _71 + 4;
> # .MEM_154 = VDEF <.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112706
--- Comment #2 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #1)
> That is:
> ```
> (for op (eq ne)
> (simplify
> (op (pointer_plus @0 @1) (pointer_plus @0 @2))
> (op @1 @2))
>
> ```
Note I am missing a extra `)` but the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112706
Andrew Pinski changed:
What|Removed |Added
Last reconfirmed||2023-11-24
Component|middle-en
