LLVM 20.0.0git
|
#include "llvm/SandboxIR/SandboxIR.h"
Public Types | |
using | const_block_iterator = mapped_iterator< llvm::PHINode::const_block_iterator, LLVMBBToBB > |
Public Types inherited from llvm::sandboxir::Instruction | |
enum class | Opcode { OP , OPCODES , DEF_INSTR } |
Public Types inherited from llvm::sandboxir::User | |
using | op_iterator = OperandUseIterator |
using | const_op_iterator = OperandUseIterator |
using | op_range = iterator_range< op_iterator > |
using | const_op_range = iterator_range< const_op_iterator > |
Public Types inherited from llvm::sandboxir::Value | |
enum class | ClassID : unsigned { DEF_VALUE , DEF_USER , DEF_INSTR } |
using | use_iterator = UserUseIterator |
using | const_use_iterator = UserUseIterator |
using | user_iterator = mapped_iterator< sandboxir::UserUseIterator, UseToUser > |
using | const_user_iterator = user_iterator |
Public Member Functions | |
const_block_iterator | block_begin () const |
const_block_iterator | block_end () const |
iterator_range< const_block_iterator > | blocks () const |
op_range | incoming_values () |
const_op_range | incoming_values () const |
unsigned | getNumIncomingValues () const |
Value * | getIncomingValue (unsigned Idx) const |
void | setIncomingValue (unsigned Idx, Value *V) |
BasicBlock * | getIncomingBlock (unsigned Idx) const |
BasicBlock * | getIncomingBlock (const Use &U) const |
void | setIncomingBlock (unsigned Idx, BasicBlock *BB) |
void | addIncoming (Value *V, BasicBlock *BB) |
Value * | removeIncomingValue (unsigned Idx) |
Value * | removeIncomingValue (BasicBlock *BB) |
int | getBasicBlockIndex (const BasicBlock *BB) const |
Value * | getIncomingValueForBlock (const BasicBlock *BB) const |
Value * | hasConstantValue () const |
bool | hasConstantOrUndefValue () const |
bool | isComplete () const |
void | replaceIncomingBlockWith (const BasicBlock *Old, BasicBlock *New) |
void | removeIncomingValueIf (function_ref< bool(unsigned)> Predicate) |
Public Member Functions inherited from llvm::sandboxir::SingleLLVMInstructionImpl< llvm::PHINode > | |
unsigned | getUseOperandNo (const Use &Use) const final |
\Returns the operand index of Use . | |
unsigned | getNumOfIRInstrs () const final |
This is used by BasicBlock::iterator. | |
void | verify () const final |
Should crash if there is something wrong with the instruction. | |
void | dumpOS (raw_ostream &OS) const override |
Public Member Functions inherited from llvm::sandboxir::Instruction | |
virtual unsigned | getNumOfIRInstrs () const =0 |
This is used by BasicBlock::iterator. | |
BBIterator | getIterator () const |
\Returns a BasicBlock::iterator for this Instruction. | |
Instruction * | getNextNode () const |
\Returns the next sandboxir::Instruction in the block, or nullptr if at the end of the block. | |
Instruction * | getPrevNode () const |
\Returns the previous sandboxir::Instruction in the block, or nullptr if at the beginning of the block. | |
Opcode | getOpcode () const |
\Returns this Instruction's opcode. | |
void | removeFromParent () |
Detach this from its parent BasicBlock without deleting it. | |
void | eraseFromParent () |
Detach this Value from its parent and delete it. | |
void | insertBefore (Instruction *BeforeI) |
Insert this detached instruction before BeforeI . | |
void | insertAfter (Instruction *AfterI) |
Insert this detached instruction after AfterI . | |
void | insertInto (BasicBlock *BB, const BBIterator &WhereIt) |
Insert this detached instruction into BB at WhereIt . | |
void | moveBefore (BasicBlock &BB, const BBIterator &WhereIt) |
Move this instruction to WhereIt . | |
void | moveBefore (Instruction *Before) |
Move this instruction before Before . | |
void | moveAfter (Instruction *After) |
Move this instruction after After . | |
BasicBlock * | getParent () const |
\Returns the BasicBlock containing this Instruction, or null if it is detached. | |
bool | hasNoUnsignedWrap () const |
Determine whether the no signed wrap flag is set. | |
void | setHasNoUnsignedWrap (bool B=true) |
Set or clear the nuw flag on this instruction, which must be an operator which supports this flag. | |
bool | hasNoSignedWrap () const |
Determine whether the no signed wrap flag is set. | |
void | setHasNoSignedWrap (bool B=true) |
Set or clear the nsw flag on this instruction, which must be an operator which supports this flag. | |
bool | isFast () const |
Determine whether all fast-math-flags are set. | |
void | setFast (bool B) |
Set or clear all fast-math-flags on this instruction, which must be an operator which supports this flag. | |
bool | hasAllowReassoc () const |
Determine whether the allow-reassociation flag is set. | |
void | setHasAllowReassoc (bool B) |
Set or clear the reassociation flag on this instruction, which must be an operator which supports this flag. | |
bool | isExact () const |
Determine whether the exact flag is set. | |
void | setIsExact (bool B=true) |
Set or clear the exact flag on this instruction, which must be an operator which supports this flag. | |
bool | hasNoNaNs () const |
Determine whether the no-NaNs flag is set. | |
void | setHasNoNaNs (bool B) |
Set or clear the no-nans flag on this instruction, which must be an operator which supports this flag. | |
bool | hasNoInfs () const |
Determine whether the no-infs flag is set. | |
void | setHasNoInfs (bool B) |
Set or clear the no-infs flag on this instruction, which must be an operator which supports this flag. | |
bool | hasNoSignedZeros () const |
Determine whether the no-signed-zeros flag is set. | |
void | setHasNoSignedZeros (bool B) |
Set or clear the no-signed-zeros flag on this instruction, which must be an operator which supports this flag. | |
bool | hasAllowReciprocal () const |
Determine whether the allow-reciprocal flag is set. | |
void | setHasAllowReciprocal (bool B) |
Set or clear the allow-reciprocal flag on this instruction, which must be an operator which supports this flag. | |
bool | hasAllowContract () const |
Determine whether the allow-contract flag is set. | |
void | setHasAllowContract (bool B) |
Set or clear the allow-contract flag on this instruction, which must be an operator which supports this flag. | |
bool | hasApproxFunc () const |
Determine whether the approximate-math-functions flag is set. | |
void | setHasApproxFunc (bool B) |
Set or clear the approximate-math-functions flag on this instruction, which must be an operator which supports this flag. | |
FastMathFlags | getFastMathFlags () const |
Convenience function for getting all the fast-math flags, which must be an operator which supports these flags. | |
void | setFastMathFlags (FastMathFlags FMF) |
Convenience function for setting multiple fast-math flags on this instruction, which must be an operator which supports these flags. | |
void | copyFastMathFlags (FastMathFlags FMF) |
Convenience function for transferring all fast-math flag values to this instruction, which must be an operator which supports these flags. | |
void | dumpOS (raw_ostream &OS) const override |
Public Member Functions inherited from llvm::sandboxir::User | |
virtual op_iterator | op_begin () |
virtual op_iterator | op_end () |
virtual const_op_iterator | op_begin () const |
virtual const_op_iterator | op_end () const |
op_range | operands () |
const_op_range | operands () const |
Value * | getOperand (unsigned OpIdx) const |
Use | getOperandUse (unsigned OpIdx) const |
\Returns the operand edge for OpIdx . | |
virtual unsigned | getNumOperands () const |
virtual void | setOperand (unsigned OperandIdx, Value *Operand) |
bool | replaceUsesOfWith (Value *FromV, Value *ToV) |
Replaces any operands that match FromV with ToV . | |
void | verify () const override |
Should crash if there is something wrong with the instruction. | |
void | dumpCommonHeader (raw_ostream &OS) const final |
void | dumpOS (raw_ostream &OS) const override |
Public Member Functions inherited from llvm::sandboxir::Value | |
virtual | ~Value ()=default |
ClassID | getSubclassID () const |
use_iterator | use_begin () |
const_use_iterator | use_begin () const |
use_iterator | use_end () |
const_use_iterator | use_end () const |
iterator_range< use_iterator > | uses () |
iterator_range< const_use_iterator > | uses () const |
user_iterator | user_begin () |
user_iterator | user_end () |
const_user_iterator | user_begin () const |
const_user_iterator | user_end () const |
iterator_range< user_iterator > | users () |
iterator_range< const_user_iterator > | users () const |
unsigned | getNumUses () const |
\Returns the number of user edges (not necessarily to unique users). | |
bool | hasNUsesOrMore (unsigned Num) const |
Return true if this value has N uses or more. | |
bool | hasNUses (unsigned Num) const |
Return true if this Value has exactly N uses. | |
Type * | getType () const |
Context & | getContext () const |
void | replaceUsesWithIf (Value *OtherV, llvm::function_ref< bool(const Use &)> ShouldReplace) |
void | replaceAllUsesWith (Value *Other) |
StringRef | getName () const |
\Returns the LLVM IR name of the bottom-most LLVM value. | |
virtual void | verify () const =0 |
Should crash if there is something wrong with the instruction. | |
std::string | getUid () const |
Returns the unique id in the form 'SB<number>.' like 'SB1.'. | |
virtual void | dumpCommonHeader (raw_ostream &OS) const |
void | dumpCommonFooter (raw_ostream &OS) const |
void | dumpCommonPrefix (raw_ostream &OS) const |
void | dumpCommonSuffix (raw_ostream &OS) const |
void | printAsOperandCommon (raw_ostream &OS) const |
virtual void | dumpOS (raw_ostream &OS) const =0 |
LLVM_DUMP_METHOD void | dump () const |
Static Public Member Functions | |
static PHINode * | create (Type *Ty, unsigned NumReservedValues, Instruction *InsertBefore, Context &Ctx, const Twine &Name="") |
static bool | classof (const Value *From) |
For isa/dyn_cast. | |
static unsigned | getOperandNumForIncomingValue (unsigned Idx) |
static unsigned | getIncomingValueNumForOperand (unsigned Idx) |
Static Public Member Functions inherited from llvm::sandboxir::Instruction | |
static const char * | getOpcodeName (Opcode Opc) |
static bool | classof (const sandboxir::Value *From) |
For isa/dyn_cast. | |
Static Public Member Functions inherited from llvm::sandboxir::User | |
static bool | classof (const Value *From) |
For isa/dyn_cast. | |
Additional Inherited Members | |
Protected Member Functions inherited from llvm::sandboxir::Instruction | |
Instruction (ClassID ID, Opcode Opc, llvm::Instruction *I, sandboxir::Context &SBCtx) | |
llvm::Instruction * | getTopmostLLVMInstruction () const |
A SandboxIR Instruction may map to multiple LLVM IR Instruction. | |
virtual SmallVector< llvm::Instruction *, 1 > | getLLVMInstrs () const =0 |
\Returns the LLVM IR Instructions that this SandboxIR maps to in program order. | |
Protected Member Functions inherited from llvm::sandboxir::User | |
User (ClassID ID, llvm::Value *V, Context &Ctx) | |
Use | getOperandUseDefault (unsigned OpIdx, bool Verify) const |
\Returns the Use edge that corresponds to OpIdx . | |
virtual Use | getOperandUseInternal (unsigned OpIdx, bool Verify) const =0 |
\Returns the Use for the OpIdx'th operand. | |
unsigned | getUseOperandNoDefault (const Use &Use) const |
The default implementation works only for single-LLVMIR-instruction Users and only if they match exactly the LLVM instruction. | |
virtual unsigned | getUseOperandNo (const Use &Use) const =0 |
\Returns the operand index of Use . | |
void | swapOperandsInternal (unsigned OpIdxA, unsigned OpIdxB) |
void | verifyUserOfLLVMUse (const llvm::Use &Use) const |
Protected Member Functions inherited from llvm::sandboxir::Value | |
void | clearValue () |
Value (ClassID SubclassID, llvm::Value *Val, Context &Ctx) | |
Value (const Value &)=delete | |
Disable copies. | |
Value & | operator= (const Value &)=delete |
Static Protected Member Functions inherited from llvm::sandboxir::Value | |
static const char * | getSubclassIDStr (ClassID ID) |
Protected Attributes inherited from llvm::sandboxir::Instruction | |
Opcode | Opc |
Protected Attributes inherited from llvm::sandboxir::Value | |
ClassID | SubclassID |
For isa/dyn_cast. | |
unsigned | UID |
A unique ID used for forming the name (used for debugging). | |
llvm::Value * | Val = nullptr |
The LLVM Value that corresponds to this SandboxIR Value. | |
Context & | Ctx |
All values point to the context. | |
Definition at line 2040 of file SandboxIR.h.
using llvm::sandboxir::PHINode::const_block_iterator = mapped_iterator<llvm::PHINode::const_block_iterator, LLVMBBToBB> |
Definition at line 2059 of file SandboxIR.h.
void PHINode::addIncoming | ( | Value * | V, |
BasicBlock * | BB | ||
) |
Definition at line 1134 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Tracker::emplaceIfTracking(), llvm::sandboxir::Context::getTracker(), and llvm::sandboxir::Value::Val.
Referenced by llvm::sandboxir::PHIRemoveIncoming::revert().
|
inline |
Definition at line 2062 of file SandboxIR.h.
References block_begin(), llvm::sandboxir::Value::Ctx, and llvm::sandboxir::Value::Val.
Referenced by block_begin(), and blocks().
|
inline |
Definition at line 2067 of file SandboxIR.h.
References block_end(), llvm::sandboxir::Value::Ctx, and llvm::sandboxir::Value::Val.
Referenced by block_end(), and blocks().
|
inline |
Definition at line 2072 of file SandboxIR.h.
References block_begin(), block_end(), and llvm::make_range().
|
static |
Definition at line 1092 of file SandboxIR.cpp.
References llvm::PHINode::Create(), llvm::sandboxir::Context::createPHINode(), llvm::sandboxir::Value::Ctx, llvm::sandboxir::Instruction::getTopmostLLVMInstruction(), and Name.
int PHINode::getBasicBlockIndex | ( | const BasicBlock * | BB | ) | const |
Definition at line 1159 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Val.
Referenced by removeIncomingValue().
BasicBlock * PHINode::getIncomingBlock | ( | const Use & | U | ) | const |
Definition at line 1118 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Context::getValue(), and llvm::sandboxir::Value::Val.
BasicBlock * PHINode::getIncomingBlock | ( | unsigned | Idx | ) | const |
Definition at line 1114 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Context::getValue(), Idx, and llvm::sandboxir::Value::Val.
Referenced by replaceIncomingBlockWith(), llvm::sandboxir::PHIRemoveIncoming::revert(), and setIncomingBlock().
Definition at line 1104 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, getIncomingValue(), llvm::sandboxir::Context::getValue(), Idx, and llvm::sandboxir::Value::Val.
Referenced by getIncomingValue(), llvm::sandboxir::PHIRemoveIncoming::revert(), and setIncomingValue().
Value * PHINode::getIncomingValueForBlock | ( | const BasicBlock * | BB | ) | const |
Definition at line 1163 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Context::getValue(), and llvm::sandboxir::Value::Val.
|
inlinestatic |
Definition at line 2088 of file SandboxIR.h.
References llvm::PHINode::getIncomingValueNumForOperand(), and Idx.
|
inline |
Definition at line 2080 of file SandboxIR.h.
References llvm::sandboxir::Value::Val.
Referenced by removeIncomingValueIf(), and llvm::sandboxir::PHIRemoveIncoming::revert().
|
inlinestatic |
Definition at line 2085 of file SandboxIR.h.
References llvm::PHINode::getOperandNumForIncomingValue(), and Idx.
|
inline |
Definition at line 2106 of file SandboxIR.h.
References llvm::sandboxir::Value::Val.
Value * PHINode::hasConstantValue | ( | ) | const |
Definition at line 1169 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Context::getValue(), and llvm::sandboxir::Value::Val.
|
inline |
Definition at line 2076 of file SandboxIR.h.
References llvm::sandboxir::User::operands().
|
inline |
Definition at line 2078 of file SandboxIR.h.
References llvm::sandboxir::User::operands().
|
inline |
Definition at line 2109 of file SandboxIR.h.
References llvm::sandboxir::Value::Val.
Value * PHINode::removeIncomingValue | ( | BasicBlock * | BB | ) |
Definition at line 1149 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Tracker::emplaceIfTracking(), getBasicBlockIndex(), llvm::sandboxir::Context::getTracker(), llvm::sandboxir::Context::getValue(), and llvm::sandboxir::Value::Val.
Definition at line 1141 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Tracker::emplaceIfTracking(), llvm::sandboxir::Context::getTracker(), llvm::sandboxir::Context::getValue(), Idx, and llvm::sandboxir::Value::Val.
Referenced by removeIncomingValueIf(), and llvm::sandboxir::PHIAddIncoming::revert().
void PHINode::removeIncomingValueIf | ( | function_ref< bool(unsigned)> | Predicate | ) |
Definition at line 1180 of file SandboxIR.cpp.
References getNumIncomingValues(), Idx, and removeIncomingValue().
void PHINode::replaceIncomingBlockWith | ( | const BasicBlock * | Old, |
BasicBlock * | New | ||
) |
Definition at line 1173 of file SandboxIR.cpp.
References assert(), getIncomingBlock(), llvm::sandboxir::User::getNumOperands(), Idx, setIncomingBlock(), and llvm::sandboxir::Value::Val.
void PHINode::setIncomingBlock | ( | unsigned | Idx, |
BasicBlock * | BB | ||
) |
Definition at line 1123 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Tracker::emplaceIfTracking(), getIncomingBlock(), llvm::sandboxir::Context::getTracker(), Idx, and llvm::sandboxir::Value::Val.
Referenced by replaceIncomingBlockWith(), and llvm::sandboxir::PHIRemoveIncoming::revert().
Definition at line 1107 of file SandboxIR.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Tracker::emplaceIfTracking(), getIncomingValue(), llvm::sandboxir::Context::getTracker(), Idx, setIncomingValue(), and llvm::sandboxir::Value::Val.
Referenced by llvm::sandboxir::PHIRemoveIncoming::revert(), and setIncomingValue().