https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
Richard Biener changed:
What|Removed |Added
Status|NEW |RESOLVED
Blocks|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
--- Comment #6 from Richard Biener rguenth at gcc dot gnu.org ---
For reference I see for example
FAIL: gcc.target/i386/avx2-vpblendd128-2.c execution test
FAIL: gcc.target/i386/avx2-vpblendd256-2.c execution test
FAIL:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
--- Comment #3 from Richard Biener rguenth at gcc dot gnu.org ---
At least improved (but maybe not fixed) by
2010-02-16 Richard Guenther rguent...@suse.de
* alias.c (memrefs_conflict_p): Distinguish must-alias from don't know.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
--- Comment #4 from Richard Biener rguenth at gcc dot gnu.org ---
Ok it still has in the function comment
??? Contrary to the tree alias oracle this does not return
one for X + non-constant and Y + non-constant when X and Y are equal.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
--- Comment #5 from Richard Biener rguenth at gcc dot gnu.org ---
Eventually just removing the call to mems_in_disjoint_alias_sets_p fixes the
rest (rtx_refs_may_alias_p will apply TBAA as well, _after_ positively
bailing out on the union
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
Andrew Pinski pinskia at gcc dot gnu.org changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last
--- Comment #1 from rguenth at gcc dot gnu dot org 2009-05-13 20:31 ---
The tree alias oracle gets this right.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135