[llvm-dev] RFC: Resolving TBAA issues

[Daniel Berlin via llvm-dev]

On Sat, Aug 19, 2017 at 1:36 PM, Daniel Berlin <dberlin at dberlin.org> wrote:

>
>
> On Sat, Aug 19, 2017 at 1:04 PM, Ivan A. Kosarev via llvm-dev <
> llvm-dev at lists.llvm.org> wrote:
>
>> Daniel,
>>
>> >> the type of (*x) is not compatible with the type of (*b) or,
>> >> recursively, type of b->i. Similarly, the type of (*b) is not
>> >> compatible with (*x) or, recursively, x->i.
>> ...
>> > I think these are interesting interpretations.  I'm not sure
>> > i'd personally agree with them (and there are definitely
>> > compilers out there that do not).
>>
>> I wonder how you know that those compilers interpret it differently.
>
>
> I know how to produce internal pass dump files and debug output from a lot
> of compilers (XLC, ICC, GCC, etc)
> So i'm staring at the debug output  to see what it says.
>
>

Also, in the case of GCC specifically, i wrote a large amount of it's
current aliasing infrastructure, so i have scripts to use the debugger to
print out the tbaa tree nicely from the in-memory structure.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170819/d4376964/attachment.html>