Unidirectional information about either a retain-decrement-use-release sequence or release-use-decrement-retain reverse sequence. More...
#include "Transforms/ObjCARC/PtrState.h"
Public Member Functions | |
| RRInfo ()=default | |
| void | clear () |
| bool | Merge (const RRInfo &Other) |
| Conservatively merge the two RRInfo. More... | |
Public Attributes | |
| bool | KnownSafe = false |
| After an objc_retain, the reference count of the referenced object is known to be positive. More... | |
| bool | IsTailCallRelease = false |
| True of the objc_release calls are all marked with the "tail" keyword. More... | |
| MDNode * | ReleaseMetadata = nullptr |
| If the Calls are objc_release calls and they all have a clang.imprecise_release tag, this is the metadata tag. More... | |
| SmallPtrSet< Instruction *, 2 > | Calls |
| For a top-down sequence, the set of objc_retains or objc_retainBlocks. More... | |
| SmallPtrSet< Instruction *, 2 > | ReverseInsertPts |
| The set of optimal insert positions for moving calls in the opposite sequence. More... | |
| bool | CFGHazardAfflicted = false |
| If this is true, we cannot perform code motion but can still remove retain/release pairs. More... | |
Detailed Description
Unidirectional information about either a retain-decrement-use-release sequence or release-use-decrement-retain reverse sequence.
Definition at line 57 of file PtrState.h.
Constructor & Destructor Documentation
◆ RRInfo()
|
default |
Member Function Documentation
◆ clear()
| void RRInfo::clear | ( | ) |
Definition at line 94 of file PtrState.cpp.
References Calls, CFGHazardAfflicted, IsTailCallRelease, KnownSafe, ReleaseMetadata, and ReverseInsertPts.
◆ Merge()
Conservatively merge the two RRInfo.
Returns true if a partial merge has occurred, false otherwise.
Definition at line 103 of file PtrState.cpp.
References Calls, CFGHazardAfflicted, IsTailCallRelease, KnownSafe, ReleaseMetadata, and ReverseInsertPts.
Referenced by llvm::objcarc::PtrState::ClearSequenceProgress().
Member Data Documentation
◆ Calls
| SmallPtrSet<Instruction *, 2> llvm::objcarc::RRInfo::Calls |
For a top-down sequence, the set of objc_retains or objc_retainBlocks.
For bottom-up, the set of objc_releases.
Definition at line 81 of file PtrState.h.
Referenced by clear(), ComputePostOrders(), llvm::objcarc::PtrState::InsertCall(), and Merge().
◆ CFGHazardAfflicted
If this is true, we cannot perform code motion but can still remove retain/release pairs.
Definition at line 89 of file PtrState.h.
Referenced by clear(), llvm::objcarc::PtrState::IsCFGHazardAfflicted(), Merge(), and llvm::objcarc::PtrState::SetCFGHazardAfflicted().
◆ IsTailCallRelease
True of the objc_release calls are all marked with the "tail" keyword.
Definition at line 73 of file PtrState.h.
Referenced by clear(), ComputePostOrders(), llvm::objcarc::PtrState::IsTailCallRelease(), Merge(), and llvm::objcarc::PtrState::SetTailCallRelease().
◆ KnownSafe
After an objc_retain, the reference count of the referenced object is known to be positive.
Similarly, before an objc_release, the reference count of the referenced object is known to be positive. If there are retain-release pairs in code regions where the retain count is known to be positive, they can be eliminated, regardless of any side effects between them.
Also, a retain+release pair nested within another retain+release pair all on the known same pointer value can be eliminated, regardless of any intervening side effects.
KnownSafe is true when either of these conditions is satisfied.
Definition at line 70 of file PtrState.h.
Referenced by clear(), ComputePostOrders(), llvm::objcarc::PtrState::IsKnownSafe(), Merge(), and llvm::objcarc::PtrState::SetKnownSafe().
◆ ReleaseMetadata
| MDNode* llvm::objcarc::RRInfo::ReleaseMetadata = nullptr |
If the Calls are objc_release calls and they all have a clang.imprecise_release tag, this is the metadata tag.
Definition at line 77 of file PtrState.h.
Referenced by clear(), ComputePostOrders(), llvm::objcarc::PtrState::GetReleaseMetadata(), llvm::objcarc::BottomUpPtrState::InitBottomUp(), llvm::objcarc::PtrState::IsTrackingImpreciseReleases(), llvm::objcarc::TopDownPtrState::MatchWithRelease(), Merge(), and llvm::objcarc::PtrState::SetReleaseMetadata().
◆ ReverseInsertPts
| SmallPtrSet<Instruction *, 2> llvm::objcarc::RRInfo::ReverseInsertPts |
The set of optimal insert positions for moving calls in the opposite sequence.
Definition at line 85 of file PtrState.h.
Referenced by clear(), llvm::objcarc::PtrState::ClearReverseInsertPts(), ComputePostOrders(), llvm::objcarc::PtrState::HasReverseInsertPts(), llvm::objcarc::PtrState::InsertReverseInsertPt(), and Merge().
The documentation for this struct was generated from the following files:
- lib/Transforms/ObjCARC/PtrState.h
- lib/Transforms/ObjCARC/PtrState.cpp
