[LLVMdev] strict aliasing and LLVM

[Dan Gohman]

On Oct 28, 2010, at 2:43 PM, Xinliang David Li wrote:

> 
> 
> 2010/10/27 Rafael Espíndola <rafael.espindola at gmail.com>
> 2010/10/27 Xinliang David Li <xinliangli at gmail.com>:
> > Thanks. Just built clang and saw the meta data and annotations on the memory
> > accesses --  is any opt pass consuming the information?
> 
> The tests in test/Analysis/TypeBasedAliasAnalysis suggest that at
> least licm is using it. Also note that
> lib/Analysis/TypeBasedAliasAnalysis.cpp defines as enable-tbaa option
> that is off by default.

LICM, GVN, and DSE are the major consumers right now. That said, the
current TBAA implementation is not very advanced yet.

> I tried the option -- no much differences in the generated code.

Can you give an example of code you'd expect to be optimized which isn't?

Dan