[LLVMdev] A question about alias analysis
sabre at nondot.org
Tue Jan 17 11:35:41 PST 2006
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
> 2. If a aliasset is "forwarding", it has been merged to another aliasset and
> I should ignore it.
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
More information about the llvm-dev