19#define OPCODES(...) __VA_ARGS__
20#define DEF_INSTR(ID, OPC, CLASS) OPC
21#include "llvm/SandboxIR/Values.def"
28 if (Prev ==
nullptr) {
50 assert(LLVMI->getParent() !=
nullptr &&
"LLVM IR instr is detached!");
51 auto *NextLLVMI = LLVMI->getNextNode();
71 I->removeFromParent();
77 Ctx.runEraseInstrCallbacks(
this);
78 std::unique_ptr<Value> Detached =
Ctx.detach(
this);
82 if (Tracker.isTracking()) {
83 Tracker.track(std::make_unique<EraseFromParent>(std::move(Detached)));
88 I->removeFromParent();
92 I->dropAllReferences();
105 Ctx.runMoveInstrCallbacks(
this, WhereIt);
106 Ctx.getTracker().emplaceIfTracking<MoveInstr>(
this);
110 if (WhereIt == BB.
end()) {
114 It = WhereI->getTopmostLLVMInstruction()->
getIterator();
118 [](
auto *I1,
auto *I2) {
return I1->comesBefore(I2); }) &&
119 "Expected program order!");
122 I->moveBefore(*LLVMBB, It);
128 Ctx.getTracker().emplaceIfTracking<InsertIntoBB>(
this);
144 if (WhereIt != BB->
end()) {
150 LLVMBeforeI =
nullptr;
151 LLVMBeforeIt = LLVMBB->
end();
154 Ctx.getTracker().emplaceIfTracking<InsertIntoBB>(
this);
158 I->insertInto(LLVMBB, LLVMBeforeIt);
172#define DEF_INSTR(ID, OPC, CLASS) \
175#include "llvm/SandboxIR/Values.def"
199 GenericSetter<&Instruction::isFast, &Instruction::setFast>>(
this);
228 GenericSetter<&Instruction::hasNoInfs, &Instruction::setHasNoInfs>>(
284 OS <<
"Unimplemented! Please override dump().";
293 return Ctx.createVAArgInst(LLVMI);
304 return Ctx.createFreezeInst(LLVMI);
311 return Ctx.createFenceInst(LLVMI);
333 Builder.CreateSelect(
Cond->Val, True->
Val, False->
Val, Name);
335 return Ctx.createSelectInst(NewSI);
354BrInstCommon::ConstLLVMBBToSBBB::operator()(
const llvm::BasicBlock *BB)
const {
363 return Ctx.createUncondBrInst(NewUBr);
390 return Ctx.createCondBrInst(NewCBr);
395 "Cannot get condition of an uncond branch!");
409 "Successor # out of range for Branch!");
431 GenericSetter<&LoadInst::isVolatile, &LoadInst::setVolatile>>(
this);
438 auto &Builder = setInsertPos(Pos);
440 Builder.CreateAlignedLoad(Ty->LLVMTy, Ptr->
Val,
Align, IsVolatile, Name);
441 auto *NewSBI = Ctx.createLoadInst(NewLI);
464 auto *NewSI = Builder.CreateAlignedStore(V->Val, Ptr->
Val,
Align, IsVolatile);
465 auto *NewSBI =
Ctx.createStoreInst(NewSI);
484 return Ctx.createUnreachableInst(NewUI);
494 if (RetVal !=
nullptr)
495 NewRI = Builder.CreateRet(RetVal->
Val);
497 NewRI = Builder.CreateRetVoid();
498 return Ctx.createReturnInst(NewRI);
504 return createCommon(RetVal, Builder, Ctx);
509 return LLVMRetVal !=
nullptr ?
Ctx.getValue(LLVMRetVal) :
nullptr;
557 return Ctx.createCallInst(NewCI);
567 for (
Value *Arg : Args)
573 return Ctx.createInvokeInst(Invoke);
590 assert(getUnwindDest() == BB &&
"LLVM IR uses a different operan index!");
606 Context &Ctx,
const Twine &NameStr) {
607 auto &Builder = setInsertPos(Pos);
615 for (
Value *Arg : Args)
621 LLVMIndirectDests, LLVMArgs, NameStr);
622 return Ctx.createCallBrInst(CallBr);
669 auto &Builder = setInsertPos(Pos);
671 Builder.CreateLandingPad(RetTy->
LLVMTy, NumReservedClauses, Name);
672 return Ctx.createLandingPadInst(LLVMI);
721 for (
auto *Arg : Args)
724 Builder.CreateCatchPad(ParentPad->
Val, LLVMArgs, Name);
725 return Ctx.createCatchPadInst(LLVMI);
734 for (
auto *Arg : Args)
737 Builder.CreateCleanupPad(ParentPad->
Val, LLVMArgs, Name);
738 return Ctx.createCleanupPadInst(LLVMI);
746 return Ctx.createCatchReturnInst(LLVMI);
788 return Ctx.createCleanupReturnInst(LLVMI);
825 for (
Value *Idx : IdxList)
828 Builder.CreateGEP(Ty->LLVMTy, Ptr->
Val, LLVMIdxList, NameStr);
830 return Ctx.createGetElementPtrInst(NewGEP);
862 Builder.CreatePHI(Ty->LLVMTy, NumReservedValues, Name);
863 return Ctx.createPHINode(NewPHI);
891 constexpr BasicBlock *(PHINode::*GetIncomingBlockFn)(
unsigned)
const =
913 return Ctx.getValue(LLVMV);
923 return Ctx.getValue(LLVMV);
933 return Ctx.getValue(LLVMV);
937 return LLVMV !=
nullptr ?
Ctx.getValue(LLVMV) :
nullptr;
940 assert(New && Old &&
"Sandbox IR PHI node got a null basic block!");
955 if (Predicate(Idx - 1))
964 auto *LLVMV = Builder.CreateCmp(
P,
S1->Val, S2->
Val, Name);
967 return Ctx.getOrCreateConstant(LLVMC);
1032 case Instruction::Opcode::ZExt:
1034 case Instruction::Opcode::SExt:
1036 case Instruction::Opcode::FPToUI:
1038 case Instruction::Opcode::FPToSI:
1040 case Instruction::Opcode::FPExt:
1042 case Instruction::Opcode::PtrToAddr:
1044 llvm::Instruction::PtrToAddr);
1045 case Instruction::Opcode::PtrToInt:
1047 case Instruction::Opcode::IntToPtr:
1049 case Instruction::Opcode::SIToFP:
1051 case Instruction::Opcode::UIToFP:
1053 case Instruction::Opcode::Trunc:
1055 case Instruction::Opcode::FPTrunc:
1057 case Instruction::Opcode::BitCast:
1059 case Instruction::Opcode::AddrSpaceCast:
1061 llvm::Instruction::AddrSpaceCast);
1070 case Instruction::Opcode::FNeg:
1078 unsigned NumHandlers,
1080 const Twine &Name) {
1084 return Ctx.createCatchSwitchInst(LLVMCSI);
1120 return Ctx.createResumeInst(LLVMI);
1129 const Twine &Name) {
1130 auto &Builder = setInsertPos(Pos);
1161template <
typename LLVMCaseItT,
typename BlockT,
typename ConstT>
1164 const auto &LLVMCaseHandle = *LLVMCaseIt;
1165 auto *LLVMC = Ctx.getValue(LLVMCaseHandle.getCaseValue());
1169template <
typename LLVMCaseItT,
typename BlockT,
typename ConstT>
1173 const auto &LLVMCaseHandle = *LLVMCaseIt;
1174 auto *LLVMBB = LLVMCaseHandle.getCaseSuccessor();
1194 Ctx.getTracker().emplaceIfTracking<SwitchAddCase>(
this, OnVal);
1206 auto LLVMCaseIt =
LLVMSwitch->removeCase(LLVMIt);
1207 unsigned Num = LLVMCaseIt -
LLVMSwitch->case_begin();
1208 return CaseIt(
this, Num);
1227 const Twine &Name) {
1231 return Ctx.createUnaryOperator(NewUnOpV);
1242 UnI->copyIRFlags(CopyFrom->
Val);
1249 case Instruction::Opcode::Add:
1251 case Instruction::Opcode::FAdd:
1253 case Instruction::Opcode::Sub:
1255 case Instruction::Opcode::FSub:
1257 case Instruction::Opcode::Mul:
1259 case Instruction::Opcode::FMul:
1261 case Instruction::Opcode::UDiv:
1263 case Instruction::Opcode::SDiv:
1265 case Instruction::Opcode::FDiv:
1267 case Instruction::Opcode::URem:
1269 case Instruction::Opcode::SRem:
1271 case Instruction::Opcode::FRem:
1273 case Instruction::Opcode::Shl:
1275 case Instruction::Opcode::LShr:
1277 case Instruction::Opcode::AShr:
1279 case Instruction::Opcode::And:
1281 case Instruction::Opcode::Or:
1283 case Instruction::Opcode::Xor:
1291 const Twine &Name) {
1296 return Ctx.createBinaryOperator(NewBinOp);
1304 const Twine &Name) {
1306 Value *NewV = create(
Op, LHS, RHS, Pos, Ctx, Name);
1362 Builder.CreateAtomicRMW(
Op, Ptr->
Val,
Val->Val,
Align, Ordering, SSID);
1394 Builder.CreateAtomicCmpXchg(Ptr->
Val, Cmp->Val, New->Val,
Align,
1395 SuccessOrdering, FailureOrdering, SSID);
1439 const Twine &Name) {
1442 Builder.CreateAlloca(Ty->LLVMTy, AddrSpace, ArraySize->
Val, Name);
1443 return Ctx.createAllocaInst(NewAlloca);
1487 return Ctx.createCastInst(NewCI);
1513 const Twine &Name) {
1516 Builder.CreateInsertElement(Vec->
Val, NewElt->
Val, Idx->
Val, Name);
1518 return Ctx.createInsertElementInst(NewInsert);
1528 return Ctx.createExtractElementInst(NewExtract);
1535 const Twine &Name) {
1538 Builder.CreateShuffleVector(V1->
Val, V2->
Val, Mask->Val, Name);
1540 return Ctx.createShuffleVectorInst(NewShuffle);
1547 const Twine &Name) {
1551 return Ctx.createShuffleVectorInst(NewShuffle);
1574 return Ctx.getOrCreateConstant(
1591 const Twine &Name) {
1593 llvm::Value *NewV = Builder.CreateExtractValue(Agg->
Val, Idxs, Name);
1595 return Ctx.createExtractValueInst(NewExtractValueInst);
1607 const Twine &Name) {
1611 return Ctx.createInsertValueInst(NewInsertValueInst);
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static Value * getCondition(Instruction *I)
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const SmallVectorImpl< MachineOperand > & Cond
static SymbolRef::Type getType(const Symbol *Sym)
static Value * getParentPad(Value *EHPad)
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
size - Get the array size.
void setSyncScopeID(SyncScope::ID SSID)
Sets the synchronization scope ID of this cmpxchg instruction.
void setSuccessOrdering(AtomicOrdering Ordering)
Sets the success ordering constraint of this cmpxchg instruction.
Align getAlign() const
Return the alignment of the memory that is being allocated by the instruction.
void setAlignment(Align Align)
AtomicOrdering getSuccessOrdering() const
Returns the success ordering constraint of this cmpxchg instruction.
SyncScope::ID getSyncScopeID() const
Returns the synchronization scope ID of this cmpxchg instruction.
void setSyncScopeID(SyncScope::ID SSID)
Sets the synchronization scope ID of this rmw instruction.
SyncScope::ID getSyncScopeID() const
Returns the synchronization scope ID of this rmw instruction.
LLVM Basic Block Representation.
const Function * getParent() const
Return the enclosing method, or null if none.
InstListType::iterator iterator
Instruction iterators...
CallBr instruction, tracking function calls that may not return control but instead transfer it to a ...
BasicBlock * getIndirectDest(unsigned i) const
void setDefaultDest(BasicBlock *B)
void setIndirectDest(unsigned i, BasicBlock *B)
BasicBlock * getDefaultDest() const
This class represents a function call, abstracting a target machine's calling convention.
void setUnwindDest(BasicBlock *UnwindDest)
BasicBlock * getUnwindDest() const
CleanupPadInst * getCleanupPad() const
Convenience accessor.
void setCleanupPad(CleanupPadInst *CleanupPad)
Conditional Branch instruction.
void setSuccessor(unsigned idx, BasicBlock *NewSucc)
BasicBlock * getSuccessor(unsigned i) const
static LLVM_ABI ConstantTokenNone * get(LLVMContext &Context)
Return the ConstantTokenNone.
Convenience struct for specifying and reasoning about fast-math flags.
An instruction for ordering other memory operations.
void setArgOperand(unsigned i, Value *v)
void setParentPad(Value *ParentPad)
Value * getParentPad() const
Convenience accessors.
Value * getArgOperand(unsigned i) const
getArgOperand/setArgOperand - Return/set the i-th funcletpad argument.
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
LLVM_ABI void copyFastMathFlags(FastMathFlags FMF)
Convenience function for transferring all fast-math flag values to this instruction,...
LLVM_ABI unsigned getNumSuccessors() const LLVM_READONLY
Return the number of successors that this instruction has.
LLVM_ABI FastMathFlags getFastMathFlags() const LLVM_READONLY
Convenience function for getting all the fast-math flags, which must be an operator which supports th...
Instruction(const Instruction &)=delete
friend class BasicBlock
Various leaf nodes.
The landingpad instruction holds all of the information necessary to generate correct exception handl...
void setCleanup(bool V)
Indicate that this landingpad instruction is a cleanup.
void setIsDisjoint(bool B)
Return a value (possibly void), from a function.
static LLVM_ABI Constant * convertShuffleMaskForBitcode(ArrayRef< int > Mask, Type *ResultTy)
void reserve(size_type N)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
CaseIteratorImpl< ConstCaseHandle > ConstCaseIt
BasicBlock * getSuccessor(unsigned idx) const
CaseIteratorImpl< CaseHandle > CaseIt
void setSuccessor(unsigned idx, BasicBlock *NewSucc)
Target - Wrapper for Target specific information.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
Unconditional Branch instruction.
This function has undefined behavior.
A Use represents the edge between a Value definition and its users.
LLVM Value Representation.
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
An efficient, type-erasing, non-owning reference to a callable.
self_iterator getIterator()
NodeTy * getNextNode()
Get the next node, or nullptr for the list tail.
This class implements an extremely fast bulk output stream that can only output to a stream.
bool isUsedWithInAlloca() const
Return true if this alloca is used as an inalloca argument to a call.
LLVM_ABI Type * getAllocatedType() const
Return the type that is being allocated by the instruction.
LLVM_ABI void setAllocatedType(Type *Ty)
for use only in special circumstances that need to generically transform a whole instruction (eg: IR ...
LLVM_ABI Value * getArraySize()
Get the number of elements allocated.
LLVM_ABI PointerType * getType() const
Overload to return most specific pointer type.
LLVM_ABI void setUsedWithInAlloca(bool V)
Specify whether this alloca is used to represent the arguments to a call.
LLVM_ABI void setAlignment(Align Align)
static LLVM_ABI AllocaInst * create(Type *Ty, unsigned AddrSpace, InsertPosition Pos, Context &Ctx, Value *ArraySize=nullptr, const Twine &Name="")
LLVM_ABI Value * getPointerOperand()
LLVM_ABI void setSuccessOrdering(AtomicOrdering Ordering)
LLVM_ABI void setWeak(bool IsWeak)
LLVM_ABI void setVolatile(bool V)
Specify whether this is a volatile cmpxchg.
LLVM_ABI void setFailureOrdering(AtomicOrdering Ordering)
AtomicOrdering getFailureOrdering() const
LLVM_ABI void setAlignment(Align Align)
LLVM_ABI Value * getCompareOperand()
static LLVM_ABI AtomicCmpXchgInst * create(Value *Ptr, Value *Cmp, Value *New, MaybeAlign Align, AtomicOrdering SuccessOrdering, AtomicOrdering FailureOrdering, InsertPosition Pos, Context &Ctx, SyncScope::ID SSID=SyncScope::System, const Twine &Name="")
bool isVolatile() const
Return true if this is a cmpxchg from a volatile memory location.
LLVM_ABI void setSyncScopeID(SyncScope::ID SSID)
LLVM_ABI Value * getNewValOperand()
bool isWeak() const
Return true if this cmpxchg may spuriously fail.
LLVM_ABI Value * getValOperand()
static LLVM_ABI AtomicRMWInst * create(BinOp Op, Value *Ptr, Value *Val, MaybeAlign Align, AtomicOrdering Ordering, InsertPosition Pos, Context &Ctx, SyncScope::ID SSID=SyncScope::System, const Twine &Name="")
LLVM_ABI void setSyncScopeID(SyncScope::ID SSID)
llvm::AtomicRMWInst::BinOp BinOp
LLVM_ABI void setOrdering(AtomicOrdering Ordering)
LLVM_ABI void setVolatile(bool V)
AtomicOrdering getOrdering() const
LLVM_ABI Value * getPointerOperand()
LLVM_ABI void setAlignment(Align Align)
static LLVM_ABI Value * create(Instruction::Opcode Op, Value *LHS, Value *RHS, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Value * createWithCopiedFlags(Instruction::Opcode Op, Value *LHS, Value *RHS, Value *CopyFrom, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI Function * getCalledFunction() const
LLVM_ABI Use getCalledOperandUse() const
LLVM_ABI FunctionType * getFunctionType() const
LLVM_ABI void setCalledFunction(Function *F)
LLVM_ABI Function * getCaller()
LLVM_ABI Value * getCalledOperand() const
void setCalledOperand(Value *V)
LLVM_ABI Value * getIndirectDestLabelUse(unsigned Idx) const
static LLVM_ABI CallBrInst * create(FunctionType *FTy, Value *Func, BasicBlock *DefaultDest, ArrayRef< BasicBlock * > IndirectDests, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &NameStr="")
LLVM_ABI Value * getIndirectDestLabel(unsigned Idx) const
LLVM_ABI BasicBlock * getSuccessor(unsigned Idx) const
LLVM_ABI void setIndirectDest(unsigned Idx, BasicBlock *BB)
LLVM_ABI BasicBlock * getDefaultDest() const
LLVM_ABI BasicBlock * getIndirectDest(unsigned Idx) const
LLVM_ABI SmallVector< BasicBlock *, 16 > getIndirectDests() const
LLVM_ABI void setDefaultDest(BasicBlock *BB)
static LLVM_ABI CallInst * create(FunctionType *FTy, Value *Func, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &NameStr="")
LLVM_ABI Type * getSrcTy() const
static LLVM_ABI Value * create(Type *DestTy, Opcode Op, Value *Operand, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI Type * getDestTy() const
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
static LLVM_ABI CatchPadInst * create(Value *ParentPad, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI CatchSwitchInst * getCatchSwitch() const
LLVM_ABI CatchPadInst * getCatchPad() const
LLVM_ABI BasicBlock * getSuccessor() const
LLVM_ABI void setSuccessor(BasicBlock *NewSucc)
LLVM_ABI void setCatchPad(CatchPadInst *CatchPad)
LLVM_ABI Value * getCatchSwitchParentPad() const
static LLVM_ABI CatchReturnInst * create(CatchPadInst *CatchPad, BasicBlock *BB, InsertPosition Pos, Context &Ctx)
LLVM_ABI void addHandler(BasicBlock *Dest)
LLVM_ABI void setParentPad(Value *ParentPad)
LLVM_ABI void setUnwindDest(BasicBlock *UnwindDest)
static LLVM_ABI CatchSwitchInst * create(Value *ParentPad, BasicBlock *UnwindBB, unsigned NumHandlers, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI BasicBlock * getUnwindDest() const
LLVM_ABI Value * getParentPad() const
static LLVM_ABI CleanupPadInst * create(Value *ParentPad, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI CleanupPadInst * getCleanupPad() const
LLVM_ABI void setUnwindDest(BasicBlock *NewDest)
static LLVM_ABI CleanupReturnInst * create(CleanupPadInst *CleanupPad, BasicBlock *UnwindBB, InsertPosition Pos, Context &Ctx)
LLVM_ABI BasicBlock * getUnwindDest() const
LLVM_ABI void setCleanupPad(CleanupPadInst *CleanupPad)
llvm::CmpInst::Predicate Predicate
void dumpOS(raw_ostream &OS) const override
LLVM_DUMP_METHOD void dump() const
static LLVM_ABI Value * createWithCopiedFlags(Predicate Pred, Value *S1, Value *S2, const Instruction *FlagsSource, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Type * makeCmpResultType(Type *OpndType)
Create a result type for fcmp/icmp.
static LLVM_ABI Value * create(Predicate Pred, Value *S1, Value *S2, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI void setPredicate(Predicate P)
LLVM_ABI void swapOperands()
static CondBrInst * create(Value *Cond, BasicBlock *IfTrue, BasicBlock *IfFalse, InsertPosition InsertBefore, Context &Ctx)
LLVM_ABI BasicBlock * getSuccessor(unsigned SuccIdx) const
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
LLVM_ABI void setSuccessor(unsigned Idx, BasicBlock *NewSucc)
unsigned getNumSuccessors() const
LLVM_ABI Value * getCondition() const
void setCondition(Value *V)
static LLVM_ABI ConstantTokenNone * get(Context &Ctx)
Return the ConstantTokenNone.
Type * getType(llvm::Type *LLVMTy)
LLVM_ABI Constant * getOrCreateConstant(llvm::Constant *LLVMC)
Get or create a sandboxir::Constant from an existing LLVM IR LLVMC.
Value * getVectorOperand()
static LLVM_ABI Value * create(Value *Vec, Value *Idx, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI VectorType * getVectorOperandType() const
static LLVM_ABI Value * create(Value *Agg, ArrayRef< unsigned > Idxs, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Type * getIndexedType(Type *Agg, ArrayRef< unsigned > Idxs)
Returns the type of the element that would be extracted with an extractvalue instruction with the spe...
LLVM_ABI void swapOperands()
static LLVM_ABI FenceInst * create(AtomicOrdering Ordering, InsertPosition Pos, Context &Ctx, SyncScope::ID SSID=SyncScope::System)
LLVM_ABI void setOrdering(AtomicOrdering Ordering)
Sets the ordering constraint of this fence instruction.
SyncScope::ID getSyncScopeID() const
Returns the synchronization scope ID of this fence instruction.
LLVM_ABI void setSyncScopeID(SyncScope::ID SSID)
Sets the synchronization scope ID of this fence instruction.
static LLVM_ABI FreezeInst * create(Value *V, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI Value * getArgOperand(unsigned Idx) const
Return the Idx-th funcletpad argument.
LLVM_ABI Value * getParentPad() const
Return the outer EH-pad this funclet is nested within.
LLVM_ABI void setParentPad(Value *ParentPad)
LLVM_ABI void setArgOperand(unsigned Idx, Value *V)
Set the Idx-th funcletpad argument.
Similar to GenericSetter but the setters/getters have an index as their first argument.
This class can be used for tracking most instruction setters.
LLVM_ABI Type * getResultElementType() const
LLVM_ABI Type * getPointerOperandType() const
LLVM_ABI Type * getSourceElementType() const
LLVM_ABI Value * getPointerOperand() const
static LLVM_ABI Value * create(Type *Ty, Value *Ptr, ArrayRef< Value * > IdxList, InsertPosition Pos, Context &Ctx, const Twine &NameStr="")
LLVM_ABI void swapOperands()
static LLVM_ABI Value * create(Value *Vec, Value *NewElt, Value *Idx, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Value * create(Value *Agg, Value *Val, ArrayRef< unsigned > Idxs, InsertPosition Pos, Context &Ctx, const Twine &Name="")
A sandboxir::User with operands, opcode and linked with previous/next instructions in an instruction ...
bool hasNoUnsignedWrap() const
Determine whether the no signed wrap flag is set.
static IRBuilder & setInsertPos(InsertPosition Pos)
Helper function for create().
LLVM_ABI void setFastMathFlags(FastMathFlags FMF)
Convenience function for setting multiple fast-math flags on this instruction, which must be an opera...
bool hasAllowReassoc() const
Determine whether the allow-reassociation flag is set.
LLVM_ABI void setHasAllowReassoc(bool B)
Set or clear the reassociation flag on this instruction, which must be an operator which supports thi...
bool hasNoSignedZeros() const
Determine whether the no-signed-zeros flag is set.
const char * getOpcodeName() const
LLVM_ABI void setHasNoSignedWrap(bool B=true)
Set or clear the nsw flag on this instruction, which must be an operator which supports this flag.
LLVM_ABI void insertAfter(Instruction *AfterI)
Insert this detached instruction after AfterI.
LLVM_ABI void moveBefore(BasicBlock &BB, const BBIterator &WhereIt)
Move this instruction to WhereIt.
bool hasAllowContract() const
Determine whether the allow-contract flag is set.
LLVM_ABI void setIsExact(bool B=true)
Set or clear the exact 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.
bool hasNoSignedWrap() const
Determine whether the no signed wrap flag is set.
LLVM_ABI void setHasNoUnsignedWrap(bool B=true)
Set or clear the nuw flag on this instruction, which must be an operator which supports this flag.
void dumpOS(raw_ostream &OS) const override
LLVM_ABI BBIterator getIterator() const
\Returns a BasicBlock::iterator for this Instruction.
LLVM_ABI void setFast(bool B)
Set or clear all fast-math-flags on this instruction, which must be an operator which supports this f...
LLVM_ABI void setHasApproxFunc(bool B)
Set or clear the approximate-math-functions flag on this instruction, which must be an operator which...
LLVM_ABI void setHasNoNaNs(bool B)
Set or clear the no-nans flag on this instruction, which must be an operator which supports this flag...
LLVM_ABI void copyFastMathFlags(FastMathFlags FMF)
Convenience function for transferring all fast-math flag values to this instruction,...
LLVM_ABI void setHasNoSignedZeros(bool B)
Set or clear the no-signed-zeros flag on this instruction, which must be an operator which supports t...
LLVM_ABI void insertInto(BasicBlock *BB, const BBIterator &WhereIt)
Insert this detached instruction into BB at WhereIt.
LLVM_ABI llvm::Instruction * getTopmostLLVMInstruction() const
A SandboxIR Instruction may map to multiple LLVM IR Instruction.
LLVM_ABI void setHasAllowContract(bool B)
Set or clear the allow-contract flag on this instruction, which must be an operator which supports th...
virtual SmallVector< llvm::Instruction *, 1 > getLLVMInstrs() const =0
\Returns the LLVM IR Instructions that this SandboxIR maps to in program order.
LLVM_ABI Type * getAccessType() const
Instruction(ClassID ID, Opcode Opc, llvm::Instruction *I, sandboxir::Context &SBCtx)
FastMathFlags getFastMathFlags() const
Convenience function for getting all the fast-math flags, which must be an operator which supports th...
LLVM_ABI Instruction * getNextNode() const
\Returns the next sandboxir::Instruction in the block, or nullptr if at the end of the block.
LLVM_ABI void removeFromParent()
Detach this from its parent BasicBlock without deleting it.
LLVM_ABI Instruction * getPrevNode() const
\Returns the previous sandboxir::Instruction in the block, or nullptr if at the beginning of the bloc...
bool hasAllowReciprocal() const
Determine whether the allow-reciprocal flag is set.
LLVM_ABI void insertBefore(Instruction *BeforeI)
Insert this detached instruction before BeforeI.
LLVM_ABI void eraseFromParent()
Detach this Value from its parent and delete it.
LLVM_ABI void setHasAllowReciprocal(bool B)
Set or clear the allow-reciprocal flag on this instruction, which must be an operator which supports ...
LLVM_ABI void setHasNoInfs(bool B)
Set or clear the no-infs flag on this instruction, which must be an operator which supports this flag...
LLVM_ABI BasicBlock * getParent() const
\Returns the BasicBlock containing this Instruction, or null if it is detached.
static LLVM_ABI bool classof(const sandboxir::Value *From)
For isa/dyn_cast.
LLVM_ABI BasicBlock * getUnwindDest() const
static LLVM_ABI InvokeInst * create(FunctionType *FTy, Value *Func, BasicBlock *IfNormal, BasicBlock *IfException, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &NameStr="")
LLVM_ABI void setNormalDest(BasicBlock *BB)
LLVM_ABI void setUnwindDest(BasicBlock *BB)
LLVM_ABI BasicBlock * getSuccessor(unsigned SuccIdx) const
LLVM_ABI BasicBlock * getNormalDest() const
LLVM_ABI LandingPadInst * getLandingPadInst() const
bool isCleanup() const
Return 'true' if this landingpad instruction is a cleanup.
LLVM_ABI void setCleanup(bool V)
Indicate that this landingpad instruction is a cleanup.
LLVM_ABI Constant * getClause(unsigned Idx) const
Get the value of the clause at index Idx.
static LLVM_ABI LandingPadInst * create(Type *RetTy, unsigned NumReservedClauses, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI LoadInst * create(Type *Ty, Value *Ptr, MaybeAlign Align, InsertPosition Pos, bool IsVolatile, Context &Ctx, const Twine &Name="")
LLVM_ABI void setVolatile(bool V)
Specify whether this is a volatile load or not.
LLVM_ABI Value * getPointerOperand() const
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
LLVM_ABI Value * hasConstantValue() const
LLVM_ABI int getBasicBlockIndex(const BasicBlock *BB) const
unsigned getNumIncomingValues() const
LLVM_ABI Value * getIncomingValue(unsigned Idx) const
LLVM_ABI void setIncomingBlock(unsigned Idx, BasicBlock *BB)
LLVM_ABI void removeIncomingValueIf(function_ref< bool(unsigned)> Predicate)
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
static LLVM_ABI PHINode * create(Type *Ty, unsigned NumReservedValues, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI Value * removeIncomingValue(unsigned Idx)
LLVM_ABI void setIncomingValue(unsigned Idx, Value *V)
LLVM_ABI BasicBlock * getIncomingBlock(unsigned Idx) const
LLVM_ABI void replaceIncomingBlockWith(const BasicBlock *Old, BasicBlock *New)
LLVM_ABI Value * getIncomingValueForBlock(const BasicBlock *BB) const
LLVM_ABI void addIncoming(Value *V, BasicBlock *BB)
LLVM_ABI void setIsDisjoint(bool B)
LLVM_ABI void setNonNeg(bool B)
static LLVM_ABI ResumeInst * create(Value *Exn, InsertPosition Pos, Context &Ctx)
LLVM_ABI Value * getValue() const
static LLVM_ABI ReturnInst * create(Value *RetVal, InsertPosition Pos, Context &Ctx)
LLVM_ABI Value * getReturnValue() const
\Returns null if there is no return value.
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
LLVM_ABI void swapValues()
static LLVM_ABI Value * create(Value *Cond, Value *True, Value *False, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI VectorType * getType() const
Overload to return most specific vector type.
LLVM_ABI Constant * getShuffleMaskForBitcode() const
Return the mask for this instruction, for use in bitcode.
LLVM_ABI void commute()
Swap the operands and adjust the mask to preserve the semantics of the instruction.
static LLVM_ABI Value * create(Value *V1, Value *V2, Value *Mask, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Constant * convertShuffleMaskForBitcode(ArrayRef< int > Mask, Type *ResultTy)
LLVM_ABI void setShuffleMask(ArrayRef< int > Mask)
LLVM_ABI void setVolatile(bool V)
Specify whether this is a volatile store or not.
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
static LLVM_ABI StoreInst * create(Value *V, Value *Ptr, MaybeAlign Align, InsertPosition Pos, bool IsVolatile, Context &Ctx)
LLVM_ABI Value * getPointerOperand() const
LLVM_ABI Value * getValueOperand() const
LLVM_ABI_FOR_TEST BlockT * getCaseSuccessor() const
LLVM_ABI_FOR_TEST ConstT * getCaseValue() const
static LLVM_ABI SwitchInst * create(Value *V, BasicBlock *Dest, unsigned NumCases, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI void addCase(ConstantInt *OnVal, BasicBlock *Dest)
LLVM_ABI BasicBlock * getSuccessor(unsigned Idx) const
CaseIt case_begin()
Returns a read/write iterator that points to the first case in the SwitchInst.
LLVM_ABI void setDefaultDest(BasicBlock *DefaultCase)
LLVM_ABI BasicBlock * getDefaultDest() const
CaseItImpl< llvm::SwitchInst::CaseIt, BasicBlock, ConstantInt > CaseIt
LLVM_ABI Value * getCondition() const
LLVM_ABI void setSuccessor(unsigned Idx, BasicBlock *NewSucc)
LLVM_ABI void setCondition(Value *V)
LLVM_ABI ConstantInt * findCaseDest(BasicBlock *BB)
LLVM_ABI CaseIt removeCase(CaseIt It)
This method removes the specified case and its successor from the switch instruction.
The tracker collects all the change objects and implements the main API for saving / reverting / acce...
bool emplaceIfTracking(ArgsT... Args)
A convenience wrapper for track() that constructs and tracks the Change object if tracking is enabled...
Just like llvm::Type these are immutable, unique, never get freed and can only be created via static ...
static LLVM_ABI IntegerType * getInt1Ty(Context &Ctx)
Context & getContext() const
static LLVM_ABI Value * createWithCopiedFlags(Instruction::Opcode Op, Value *OpV, Value *CopyFrom, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Value * create(Instruction::Opcode Op, Value *OpV, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static UncondBrInst * create(BasicBlock *Target, InsertPosition InsertBefore, Context &Ctx)
LLVM_ABI BasicBlock * getSuccessor() const
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
LLVM_ABI void setSuccessor(BasicBlock *NewSucc)
static LLVM_ABI UnreachableInst * create(InsertPosition Pos, Context &Ctx)
static LLVM_ABI bool classof(const Value *From)
Tracks swapping a Use with another Use.
Represents a Def-use/Use-def edge in SandboxIR.
virtual void setOperand(unsigned OperandIdx, Value *Operand)
virtual unsigned getNumOperands() const
Use getOperandUse(unsigned OpIdx) const
\Returns the operand edge for OpIdx.
LLVM_ABI Value * getPointerOperand()
static LLVM_ABI VAArgInst * create(Value *List, Type *Ty, InsertPosition Pos, Context &Ctx, const Twine &Name="")
A SandboxIR Value has users. This is the base class.
llvm::Value * Val
The LLVM Value that corresponds to this SandboxIR Value.
ClassID getSubclassID() const
void dumpCommonSuffix(raw_ostream &OS) const
Context & Ctx
All values point to the context.
iterator_range< user_iterator > users()
void dumpCommonPrefix(raw_ostream &OS) const
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
LLVM_ABI_FOR_TEST void dumpOS(raw_ostream &OS) const final
static llvm::Instruction::CastOps getLLVMCastOp(Instruction::Opcode Opc)
BasicBlock(llvm::BasicBlock *BB, Context &SBCtx)
static llvm::Instruction::UnaryOps getLLVMUnaryOp(Instruction::Opcode Opc)
\Returns the LLVM opcode that corresponds to Opc.
LLVM_ABI iterator begin() const
static llvm::Instruction::BinaryOps getLLVMBinaryOp(Instruction::Opcode Opc)
\Returns the LLVM opcode that corresponds to Opc.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
auto cast_or_null(const Y &Val)
const Value * getPointerOperand(const Value *V)
A helper function that returns the pointer operand of a load, store or GEP instruction.
auto reverse(ContainerTy &&C)
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
bool is_sorted(R &&Range, Compare C)
Wrapper function around std::is_sorted to check if elements in a range R are sorted with respect to a...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
AtomicOrdering
Atomic ordering for LLVM's memory model.
DWARFExpression::Operation Op
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
This struct is a compact representation of a valid (non-zero power of two) alignment.
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.