Thanks. Just built clang and saw the meta data and annotations on the memory accesses --  is any opt pass consuming the information?<div><br></div><div>By the way the build instruction in this page <meta http-equiv="content-type" content="text/html; charset=utf-8"><a href="http://clang.llvm.org/get_started.html">http://clang.llvm.org/get_started.html</a> needs to be updated -- it recommends config (with default settings) and build llvm in the source dir -- it leaves some 'sticky' generated files in the source dir leading to building problems.<br>
<br></div><div>David</div><div><br><div class="gmail_quote">2010/10/27 Rafael Espíndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com">rafael.espindola@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On 27 October 2010 18:17, Xinliang David Li <<a href="mailto:xinliangli@gmail.com">xinliangli@gmail.com</a>> wrote:<br>
> Is type based aliasing implemented in LLVM? Simple test case shows it is<br>
> not, or an option similar to -fstrict-aliasing is needed?<br>
<br>
</div>It is being implemented. You have to use clang, not llvm-gcc. The<br>
types are encoded as metadata. Compile with -OX and and look for the<br>
TBAA metadata in the .ll file.<br>
<br>
> Thanks,<br>
> David<br>
<br>
Cheers,<br>
<font color="#888888">Rafael<br>
</font></blockquote></div><br></div>