This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/47770] wrong code -O2 -ftree-loop-if-convert-stores -fno-tree-reassoc
- From: "spop at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 17 Feb 2011 00:36:41 +0000
- Subject: [Bug tree-optimization/47770] wrong code -O2 -ftree-loop-if-convert-stores -fno-tree-reassoc
- Auto-submitted: auto-generated
- References: <bug-47770-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47770
Sebastian Pop <spop at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2011.02.17 00:36:38
AssignedTo|unassigned at gcc dot |spop at gcc dot gnu.org
|gnu.org |
Ever Confirmed|0 |1
--- Comment #2 from Sebastian Pop <spop at gcc dot gnu.org> 2011-02-17 00:36:38 UTC ---
I do not think that 0001-Fix-PR46029-reimplement-if-convert-stores.patch
is the right way to fix this: I discussed with Ira Rosen about the
vectorization
of the code produced by this patch and we ended up realizing that the
vectorizer would have to answer the same hard questions (memory accesses
out of bounds and writes into read-only memory) that are now analyzed in
-ftree-loop-if-convert-stores.
I will look at how to fix these miscompiles.