mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-26 06:22:56 +02:00
86672937bd
The RCIdentity root ("Reference Count Identity Root") of a value V is a
dominating value U for which retaining or releasing U is equivalent to
retaining or releasing V. In other words, ARC operations on V are
equivalent to ARC operations on U.
This is a useful property to ascertain since we can use this in the ARC
optimizer to make it easier to match up ARC operations by always mapping
ARC operations to RCIdentityRoots instead of pointers themselves. Then
we perform pairing of retains, releases which are applied to the same
RCIdentityRoot.
In general, the two ways that we see RCIdentical values in ObjC are via:
1. PointerCasts
2. Forwarding Calls that return their argument verbatim.
As such in ObjC, two RCIdentical pointers must always point to the same
memory location.
Previously this concept was implicit in the code and various methods
that dealt with this concept were given functional names that did not
conform to any name in the "ARC" model. This often times resulted in
code that was hard for the non-ARC acquanted to understand resulting in
unhappiness and confusion.
llvm-svn: 229796
|
||
|---|---|---|
| .. | ||
| ARCRuntimeEntryPoints.h | ||
| CMakeLists.txt | ||
| DependencyAnalysis.cpp | ||
| DependencyAnalysis.h | ||
| LLVMBuild.txt | ||
| Makefile | ||
| ObjCARC.cpp | ||
| ObjCARC.h | ||
| ObjCARCAliasAnalysis.cpp | ||
| ObjCARCAliasAnalysis.h | ||
| ObjCARCAPElim.cpp | ||
| ObjCARCContract.cpp | ||
| ObjCARCExpand.cpp | ||
| ObjCARCOpts.cpp | ||
| ObjCARCUtil.cpp | ||
| ProvenanceAnalysis.cpp | ||
| ProvenanceAnalysis.h | ||
| ProvenanceAnalysisEvaluator.cpp | ||