http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
Jakub Jelinek changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
--- Comment #11 from davidxl at google dot com ---
The false negative bug introduced in the patch is fixed. Will submit the patch
for review soon.
(In reply to davidxl from comment #10)
> My patch does this.
> 1) it first does aggressive simplific
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
--- Comment #10 from davidxl at google dot com ---
My patch does this.
1) it first does aggressive simplification iteratively (more rules can be added
later).
2) it then does normalization by building up larger predicate trees by
following ud chai
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #9 f
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
--- Comment #8 from davidxl at google dot com ---
Created attachment 31495
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31495&action=edit
Patch file : cleanup + more predicate simplification rules
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
davidxl at google dot com changed:
What|Removed |Added
CC||davidxl at google dot com
---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
--- Comment #6 from davidxl ---
I am working on a solution (and some cleanups).
David
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
--- Comment #5 from davidxl ---
Fixing this requires more powerful predicate analysis with the help of value
equivalent classes.
>From the dump:
"Use in stmt blah (v_1);
is guarded by :
if (_23 != 0)"
_23 = pephitmp_22 | _8,
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
Richard Biener changed:
What|Removed |Added
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
Richard Biener changed:
What|Removed |Added
Target||arm, x86_64
Status|UNCONFIRM
10 matches
Mail list logo