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 ---
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: gcc.target/i386/avx2-vpblendw-2.c execution test
FAI
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
--- Comment #5 from Richard Biener ---
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 punning).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
--- Comment #4 from Richard Biener ---
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.
If that is fixed the TBAA h
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
--- Comment #3 from Richard Biener ---
At least improved (but maybe not fixed) by
2010-02-16 Richard Guenther
* alias.c (memrefs_conflict_p): Distinguish must-alias from don't know.
(true_dependence): If memrefs_conflict_p co
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40135
Andrew Pinski changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
--- 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