http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
Jakub Jelinek jakub at gcc dot gnu.org changed:
What|Removed |Added
Status|NEW |RESOLVED
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=31495action=edit
Patch file : cleanup + more predicate simplification rules
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
Jakub Jelinek jakub at gcc dot gnu.org changed:
What|Removed |Added
CC||jakub at gcc dot
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
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
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
Richard Biener rguenth at gcc dot gnu.org changed:
What|Removed |Added
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
--- Comment #5 from davidxl xinliangli at gmail dot com ---
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)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59303
--- Comment #6 from davidxl xinliangli at gmail dot com ---
I am working on a solution (and some cleanups).
David
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
Richard Biener rguenth at gcc dot gnu.org changed:
What|Removed |Added
Target||arm, x86_64
10 matches
Mail list logo
