This class allows to keep track on instructions with implicit control flow. More...
#include "llvm/Analysis/InstructionPrecedenceTracking.h"
Public Member Functions | |
| ImplicitControlFlowTracking (DominatorTree *DT) | |
| const Instruction * | getFirstICFI (const BasicBlock *BB) |
| Returns the topmost instruction with implicit control flow from the given basic block. More... | |
| bool | hasICF (const BasicBlock *BB) |
| Returns true if at least one instruction from the given basic block has implicit control flow. More... | |
| bool | isDominatedByICFIFromSameBlock (const Instruction *Insn) |
| Returns true if the first ICFI of Insn's block exists and dominates Insn. More... | |
| virtual bool | isSpecialInstruction (const Instruction *Insn) const |
A predicate that defines whether or not the instruction Insn is considered special and needs to be tracked. More... | |
 Public Member Functions inherited from llvm::InstructionPrecedenceTracking | |
| void | insertInstructionTo (const Instruction *Inst, const BasicBlock *BB) |
Notifies this tracking that we are going to insert a new instruction Inst to the basic block BB. More... | |
| void | removeInstruction (const Instruction *Inst) |
Notifies this tracking that we are going to remove the instruction Inst It makes all necessary updates to internal caches to keep them consistent. More... | |
| void | clear () |
| Invalidates all information from this tracking. More... | |
Additional Inherited Members | |
| Protected Member Functions inherited from llvm::InstructionPrecedenceTracking | |
| InstructionPrecedenceTracking (DominatorTree *DT) | |
| const Instruction * | getFirstSpecialInstruction (const BasicBlock *BB) |
Returns the topmost special instruction from the block BB. More... | |
| bool | hasSpecialInstructions (const BasicBlock *BB) |
Returns true iff at least one instruction from the basic block BB is special. More... | |
| bool | isPreceededBySpecialInstruction (const Instruction *Insn) |
Returns true iff the first special instruction of Insn's block exists and dominates Insn. More... | |
| virtual | ~InstructionPrecedenceTracking ()=default |
Detailed Description
This class allows to keep track on instructions with implicit control flow.
These are instructions that may not pass execution to their successors. For example, throwing calls and guards do not always do this. If we need to know for sure that some instruction is guaranteed to execute if the given block is reached, then we need to make sure that there is no implicit control flow instruction (ICFI) preceeding it. For example, this check is required if we perform PRE moving non-speculable instruction to other place.
Definition at line 98 of file InstructionPrecedenceTracking.h.
Constructor & Destructor Documentation
◆ ImplicitControlFlowTracking()
|
inline |
Definition at line 100 of file InstructionPrecedenceTracking.h.
Member Function Documentation
◆ getFirstICFI()
|
inline |
Returns the topmost instruction with implicit control flow from the given basic block.
Returns nullptr if there is no such instructions in the block.
Definition at line 105 of file InstructionPrecedenceTracking.h.
References llvm::InstructionPrecedenceTracking::getFirstSpecialInstruction().
◆ hasICF()
|
inline |
Returns true if at least one instruction from the given basic block has implicit control flow.
Definition at line 111 of file InstructionPrecedenceTracking.h.
References llvm::InstructionPrecedenceTracking::hasSpecialInstructions().
◆ isDominatedByICFIFromSameBlock()
|
inline |
Returns true if the first ICFI of Insn's block exists and dominates Insn.
Definition at line 116 of file InstructionPrecedenceTracking.h.
References llvm::InstructionPrecedenceTracking::isPreceededBySpecialInstruction(), and llvm::InstructionPrecedenceTracking::isSpecialInstruction().
◆ isSpecialInstruction()
|
virtual |
A predicate that defines whether or not the instruction Insn is considered special and needs to be tracked.
Implementing this method in children classes allows to implement tracking of implicit control flow, memory writing instructions or any other kinds of instructions we might be interested in.
Implements llvm::InstructionPrecedenceTracking.
Definition at line 125 of file InstructionPrecedenceTracking.cpp.
References assert(), llvm::isGuaranteedToTransferExecutionToSuccessor(), and isVolatile().
The documentation for this class was generated from the following files:
- include/llvm/Analysis/InstructionPrecedenceTracking.h
- lib/Analysis/InstructionPrecedenceTracking.cpp
