[PATCH] D31885: Remove TBAA information from LValues representing union members
Eli Friedman via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Apr 14 10:33:50 PDT 2017
efriedma added a comment.
In https://reviews.llvm.org/D31885#727167, @hfinkel wrote:
> I'm not sure this is the right way to do this; I suspect we're lumping together a bunch of different bugs:
> 1. vector types need to have tbaa which makes them alias with their element types [to be clear, as vector types are an implementation extension, this is our choice; I believe most users expect this to be true, but I'm certainly open to leaving this as-is (i.e. the vector types and scalar types as independent/non-aliasing)].
> 2. tbaa can't be used for write <-> write queries (only read <-> write queries) because the writes can change the effective type
> 3. our 'struct' path TBAA for unions is broken (and to fix this we need to invert the tree structure, etc. as discussed on the list)
See https://bugs.llvm.org/show_bug.cgi?id=28189 for a testcase for (2) for this which doesn't involve unions.
More information about the cfe-commits