A question about alias analysis

Project Infrastructure LLVM Dev List Archives
#1

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

#2

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@cs.uiuc.edu http://llvm.cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev

-Chris