https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126026
Drea Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|phiprop should handle `a = |missing back jump threading
|PHI<&l0, &l1, &l2>; |with `a = PHI<&l0, &l1,
|`bb:`goto *a;` |&l2>; `bb:`goto *a;`
Assignee|pinskia at gcc dot gnu.org |unassigned at gcc dot
gnu.org
Status|ASSIGNED |NEW
--- Comment #3 from Drea Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #2)
> This looks more like missed backward jump-threading, I wouldn't add this to
> phiprop, duplicating control flow is ... ugly?
I guess that is more correct. Maybe this is a simple one for Aldy to handle.
