[llvm-dev] RFC: Resolving TBAA issues

[Daniel Berlin via llvm-dev]

>
>
> Okay, but I don't see why we have to do that. Could we not do
>
> merge(first int field, float) == mergeintfloat @ offset 4
>
> (where mergeintfloat is probably char or similar)
>
> where we keep matching offsets?
>

Or we encode some kind of disjunction directly (which certainly seems
> reasonable to me for access merging).
>
> I think both of these are possibilities.
I wasn't trying to imply that we have to separate field metadata to get
anywhere, i was simply pointing out, right now, we don't try to care too
much about it.
As to whether it's easy to keep it separate from tbaa or not, and handle
merging/etc separately, ¯\_(ツ)_/¯
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170820/4503686a/attachment.html>