[LLVMdev] Dependence Analysis [was: Flow-Sensitive AA]

[Chris Lattner]

On Aug 21, 2008, at 7:35 AM, Vikram S. Adve wrote:

> Great, thanks!  How much work do you think it will take to bring it up
> to date with the LLVM IR, except *ignoring* first-class structs and
> arrays for now?  I believe llvm-gcc does not generate those in most
> cases and we can do a lot without supporting those.

Right, the design of the first class aggregates is that optimizers  
should generally assume they don't exist.  This is the same sort of  
thing as how most optimizers assume that mem2reg has been run.  Of  
course, this should only affect effectiveness, not correctness.

-Chris