#include "llvm/SandboxIR/Instruction.h"

Inheritance diagram for llvm::sandboxir::BranchInst:

[legend]

Public Types
using	sb_succ_op_iterator = mapped_iterator< llvm::BranchInst::succ_op_iterator, LLVMBBToSBBB >

using	const_sb_succ_op_iterator = mapped_iterator< llvm::BranchInst::const_succ_op_iterator, ConstLLVMBBToSBBB >

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
bool	isUnconditional () const

bool	isConditional () const

Value *	getCondition () const

void	setCondition (Value *V)

unsigned	getNumSuccessors () const

BasicBlock *	getSuccessor (unsigned SuccIdx) const

void	setSuccessor (unsigned Idx, BasicBlock *NewSucc)

void	swapSuccessors ()

iterator_range< sb_succ_op_iterator >	successors ()

iterator_range< const_sb_succ_op_iterator >	successors () const

Public Member Functions inherited from llvm::sandboxir::SingleLLVMInstructionImpl< llvm::BranchInst >
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 BranchInst *	create (BasicBlock *IfTrue, InsertPosition Pos, Context &Ctx)

static BranchInst *	create (BasicBlock IfTrue, BasicBlock IfFalse, Value *Cond, InsertPosition Pos, Context &Ctx)

static bool	classof (const Value *From)
	For isa/dyn_cast.

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.

Detailed Description

Definition at line 1020 of file Instruction.h.

Member Typedef Documentation

◆ const_sb_succ_op_iterator

using llvm::sandboxir::BranchInst::const_sb_succ_op_iterator = mapped_iterator<llvm::BranchInst::const_succ_op_iterator, ConstLLVMBBToSBBB>

Definition at line 1071 of file Instruction.h.

◆ sb_succ_op_iterator

using llvm::sandboxir::BranchInst::sb_succ_op_iterator = mapped_iterator<llvm::BranchInst::succ_op_iterator, LLVMBBToSBBB>

Definition at line 1060 of file Instruction.h.

Member Function Documentation

◆ classof()

bool llvm::sandboxir::BranchInst::classof ( const Value * From )

static

For isa/dyn_cast.

Definition at line 367 of file Instruction.cpp.

References From.

◆ create() [1/2]

BranchInst * llvm::sandboxir::BranchInst::create	(	BasicBlock *	IfTrue,
		BasicBlock *	IfFalse,
		Value *	Cond,
		InsertPosition	Pos,
		Context &	Ctx
	)

static

Definition at line 358 of file Instruction.cpp.

◆ create() [2/2]

BranchInst * llvm::sandboxir::BranchInst::create	(	BasicBlock *	IfTrue,
		InsertPosition	Pos,
		Context &	Ctx
	)

static

Definition at line 350 of file Instruction.cpp.

References llvm::sandboxir::Context::createBranchInst(), llvm::sandboxir::Value::Ctx, llvm::sandboxir::Instruction::setInsertPos(), and llvm::sandboxir::Value::Val.

◆ getCondition()

Value * llvm::sandboxir::BranchInst::getCondition ( ) const

Definition at line 371 of file Instruction.cpp.

References assert(), llvm::sandboxir::Value::Ctx, getCondition(), llvm::sandboxir::Context::getValue(), isConditional(), and llvm::sandboxir::Value::Val.

Referenced by getCondition().

◆ getNumSuccessors()

unsigned llvm::sandboxir::BranchInst::getNumSuccessors ( ) const

inline

Definition at line 1041 of file Instruction.h.

References isConditional().

◆ getSuccessor()

BasicBlock * llvm::sandboxir::BranchInst::getSuccessor ( unsigned SuccIdx ) const

Definition at line 376 of file Instruction.cpp.

◆ isConditional()

bool llvm::sandboxir::BranchInst::isConditional ( ) const

inline

Definition at line 1036 of file Instruction.h.

References llvm::sandboxir::Value::Val.

Referenced by getCondition(), and getNumSuccessors().

◆ isUnconditional()

bool llvm::sandboxir::BranchInst::isUnconditional ( ) const

inline

Definition at line 1033 of file Instruction.h.

References llvm::sandboxir::Value::Val.

◆ setCondition()

void llvm::sandboxir::BranchInst::setCondition ( Value * V )

inline

Definition at line 1040 of file Instruction.h.

References llvm::sandboxir::User::setOperand().

◆ setSuccessor()

void llvm::sandboxir::BranchInst::setSuccessor	(	unsigned	Idx,
		BasicBlock *	NewSucc
	)

Definition at line 383 of file Instruction.cpp.

References assert(), Idx, and llvm::sandboxir::User::setOperand().

◆ successors() [1/2]

iterator_range< sb_succ_op_iterator > llvm::sandboxir::BranchInst::successors ( )

inline

Definition at line 1062 of file Instruction.h.

References llvm::iterator_range< IteratorT >::begin(), llvm::sandboxir::Value::Ctx, llvm::iterator_range< IteratorT >::end(), llvm::make_range(), llvm::map_iterator(), and llvm::sandboxir::Value::Val.

Referenced by successors().

◆ successors() [2/2]

iterator_range< const_sb_succ_op_iterator > llvm::sandboxir::BranchInst::successors ( ) const

inline

Definition at line 1074 of file Instruction.h.

References llvm::iterator_range< IteratorT >::begin(), llvm::sandboxir::Value::Ctx, llvm::iterator_range< IteratorT >::end(), llvm::make_range(), llvm::map_iterator(), successors(), and llvm::sandboxir::Value::Val.

◆ swapSuccessors()

void llvm::sandboxir::BranchInst::swapSuccessors ( )

inline

Definition at line 1044 of file Instruction.h.

References llvm::sandboxir::User::swapOperandsInternal().

The documentation for this class was generated from the following files:

include/llvm/SandboxIR/Instruction.h
lib/SandboxIR/Instruction.cpp

Public Types

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ const_sb_succ_op_iterator

◆ sb_succ_op_iterator

Member Function Documentation

◆ classof()

◆ create() [1/2]

◆ create() [2/2]

◆ getCondition()

◆ getNumSuccessors()

◆ getSuccessor()

◆ isConditional()

◆ isUnconditional()

◆ setCondition()

◆ setSuccessor()

◆ successors() [1/2]

◆ successors() [2/2]

◆ swapSuccessors()