[LLVMdev] Alias Analysis Problem in LICM

Anshuman Dasgupta adasgupt at codeaurora.org
Fri Nov 4 08:37:58 PDT 2011

On 11/4/2011 3:29 AM, Nick Lewycky wrote:
> I suspect that GCC is doing option 2, or something else I haven't 
> thought of (TBAA? if so, why doesn't our TBAA do as well?). 


The problem is that LLVM's implementation of TBAA does not distinguish 
between these two types: i32*** @AAA and i32** %arrayidx. We believe 
that type based alias analysis should, in general, be able to figure out 
that those two variables cannot meaningfully alias.


Qualcomm Innovation Center, Inc is a member of Code Aurora Forum

More information about the llvm-dev mailing list