llvm dev - Jan 2006 - [LLVMdev] A question about alias analysis

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".

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

-Xia

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/