LLVM 20.0.0git
|
#include "llvm/SandboxIR/Instruction.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_CONST , 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. | |
const char * | getOpcodeName () const |
const DataLayout & | getDataLayout () const |
bool | isTerminator () const |
bool | isUnaryOp () const |
bool | isBinaryOp () const |
bool | isIntDivRem () const |
bool | isShift () const |
bool | isCast () const |
bool | isFuncletPad () const |
bool | isSpecialTerminator () const |
bool | isOnlyUserOfAnyOperand () const |
bool | isLogicalShift () const |
bool | hasMetadata () const |
Return true if the instruction has any metadata attached to it. | |
bool | hasMetadataOtherThanDebugLoc () const |
Return true if this instruction has metadata attached to it other than a debug location. | |
bool | hasMetadata (unsigned KindID) const |
Return true if this instruction has the given type of metadata attached. | |
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 . | |
bool | comesBefore (const Instruction *Other) const |
Given an instruction Other in the same basic block as this instruction, return true if this instruction comes before Other. | |
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. | |
bool | isAssociative () const |
bool | isCommutative () const |
bool | isIdempotent () const |
bool | isNilpotent () const |
bool | mayWriteToMemory () const |
bool | mayReadFromMemory () const |
bool | mayReadOrWriteMemory () const |
bool | isAtomic () const |
bool | hasAtomicLoad () const |
bool | hasAtomicStore () const |
bool | isVolatile () const |
Type * | getAccessType () const |
bool | mayThrow (bool IncludePhaseOneUnwind=false) const |
bool | isFenceLike () const |
bool | mayHaveSideEffects () const |
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, InsertPosition Pos, 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::Instruction | |
static IRBuilder & | setInsertPos (InsertPosition Pos) |
Helper function for create(). | |
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 2377 of file Instruction.h.
using llvm::sandboxir::PHINode::const_block_iterator = mapped_iterator<llvm::PHINode::const_block_iterator, LLVMBBToBB> |
Definition at line 2396 of file Instruction.h.
void llvm::sandboxir::PHINode::addIncoming | ( | Value * | V, |
BasicBlock * | BB | ||
) |
Definition at line 868 of file Instruction.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 2399 of file Instruction.h.
References block_begin(), llvm::sandboxir::Value::Ctx, and llvm::sandboxir::Value::Val.
Referenced by block_begin(), and blocks().
|
inline |
Definition at line 2404 of file Instruction.h.
References block_end(), llvm::sandboxir::Value::Ctx, and llvm::sandboxir::Value::Val.
Referenced by block_end(), and blocks().
|
inline |
Definition at line 2409 of file Instruction.h.
References block_begin(), block_end(), and llvm::make_range().
|
static |
Definition at line 826 of file Instruction.cpp.
References llvm::IRBuilderBase::CreatePHI(), llvm::sandboxir::Context::createPHINode(), llvm::sandboxir::Value::Ctx, llvm::sandboxir::Type::LLVMTy, Name, and llvm::sandboxir::Instruction::setInsertPos().
int llvm::sandboxir::PHINode::getBasicBlockIndex | ( | const BasicBlock * | BB | ) | const |
Definition at line 893 of file Instruction.cpp.
References llvm::sandboxir::Value::Val.
Referenced by removeIncomingValue().
BasicBlock * llvm::sandboxir::PHINode::getIncomingBlock | ( | const Use & | U | ) | const |
Definition at line 852 of file Instruction.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Context::getValue(), and llvm::sandboxir::Value::Val.
BasicBlock * llvm::sandboxir::PHINode::getIncomingBlock | ( | unsigned | Idx | ) | const |
Definition at line 848 of file Instruction.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Context::getValue(), Idx, and llvm::sandboxir::Value::Val.
Referenced by llvm::sandboxir::PHIRemoveIncoming::revert(), and setIncomingBlock().
Definition at line 838 of file Instruction.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 * llvm::sandboxir::PHINode::getIncomingValueForBlock | ( | const BasicBlock * | BB | ) | const |
Definition at line 897 of file Instruction.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Context::getValue(), and llvm::sandboxir::Value::Val.
|
inlinestatic |
Definition at line 2425 of file Instruction.h.
References llvm::PHINode::getIncomingValueNumForOperand(), and Idx.
|
inline |
Definition at line 2417 of file Instruction.h.
References llvm::sandboxir::Value::Val.
Referenced by removeIncomingValueIf(), and llvm::sandboxir::PHIRemoveIncoming::revert().
|
inlinestatic |
Definition at line 2422 of file Instruction.h.
References llvm::PHINode::getOperandNumForIncomingValue(), and Idx.
|
inline |
Definition at line 2443 of file Instruction.h.
References llvm::sandboxir::Value::Val.
Value * llvm::sandboxir::PHINode::hasConstantValue | ( | ) | const |
Definition at line 903 of file Instruction.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Context::getValue(), and llvm::sandboxir::Value::Val.
|
inline |
Definition at line 2413 of file Instruction.h.
References llvm::sandboxir::User::operands().
|
inline |
Definition at line 2415 of file Instruction.h.
References llvm::sandboxir::User::operands().
|
inline |
Definition at line 2446 of file Instruction.h.
References llvm::sandboxir::Value::Val.
Value * llvm::sandboxir::PHINode::removeIncomingValue | ( | BasicBlock * | BB | ) |
Definition at line 883 of file Instruction.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 875 of file Instruction.cpp.
References llvm::sandboxir::Value::Ctx, and llvm::sandboxir::Context::getTracker().
Referenced by removeIncomingValueIf(), and llvm::sandboxir::PHIAddIncoming::revert().
void llvm::sandboxir::PHINode::removeIncomingValueIf | ( | function_ref< bool(unsigned)> | Predicate | ) |
Definition at line 914 of file Instruction.cpp.
References getNumIncomingValues(), Idx, and removeIncomingValue().
void llvm::sandboxir::PHINode::replaceIncomingBlockWith | ( | const BasicBlock * | Old, |
BasicBlock * | New | ||
) |
Definition at line 907 of file Instruction.cpp.
References assert(), llvm::sandboxir::User::getNumOperands(), Idx, and llvm::sandboxir::Value::Val.
void llvm::sandboxir::PHINode::setIncomingBlock | ( | unsigned | Idx, |
BasicBlock * | BB | ||
) |
Definition at line 857 of file Instruction.cpp.
References llvm::sandboxir::Value::Ctx, llvm::sandboxir::Tracker::emplaceIfTracking(), getIncomingBlock(), llvm::sandboxir::Context::getTracker(), Idx, and llvm::sandboxir::Value::Val.
Referenced by llvm::sandboxir::PHIRemoveIncoming::revert().
Definition at line 841 of file Instruction.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().