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. Repository: rL LLVM https://reviews.llvm.org/D31885 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits