[LLVMdev] A question about alias analysis

[Chris Lattner]

On Sun, 15 Jan 2006, [gb2312] ÏÄÒ»Ãñ wrote:
> Thank you, Chris. The following is my comprehension about the AliasSetTracker,
> please correct me.
>
> 1. A aliasset "as" represents a memory object, and all pointer "p" in 
> "as" represent values with the type of pointer that may/must point to 
> the memory object "as".


No, not really.  An AliasSet holds a group of pointers that might alias 
each other.  In some cases, there are *many* memory objects in an alias 
set.

> 2. If a aliasset is "forwarding", it has been merged to another aliasset and
> I should ignore it.

Yup!

-Chris

> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>

-Chris

-- 
http://nondot.org/sabre/
http://llvm.org/