class BranchInst
Declaration
class BranchInst : public Instruction { /* full declaration omitted */ };
Description
Conditional or Unconditional Branch instruction.
Declared at: llvm/include/llvm/IR/Instructions.h:3099
Inherits from: Instruction
Member Variables
Inherited from Value:
- protected SubclassOptionalData
- protected NumUserOperands
- protected IsUsedByMD
- protected HasName
- protected HasMetadata
- protected HasHungOffUses
- protected HasDescriptor
- public static MaxAlignmentExponent = 32
- public static MaximumAlignment = 1ULL << MaxAlignmentExponent
Method Overview
- private void AssertOK()
- private BranchInst(llvm::BasicBlock * IfTrue, llvm::Instruction * InsertBefore = nullptr)
- private BranchInst(llvm::BasicBlock * IfTrue, llvm::BasicBlock * IfFalse, llvm::Value * Cond, llvm::Instruction * InsertBefore = nullptr)
- private BranchInst(llvm::BasicBlock * IfTrue, llvm::BasicBlock * InsertAtEnd)
- private BranchInst(llvm::BasicBlock * IfTrue, llvm::BasicBlock * IfFalse, llvm::Value * Cond, llvm::BasicBlock * InsertAtEnd)
- private BranchInst(const llvm::BranchInst & BI)
- public static llvm::BranchInst * Create(llvm::BasicBlock * IfTrue, llvm::Instruction * InsertBefore = nullptr)
- public static llvm::BranchInst * Create(llvm::BasicBlock * IfTrue, llvm::BasicBlock * IfFalse, llvm::Value * Cond, llvm::Instruction * InsertBefore = nullptr)
- public static llvm::BranchInst * Create(llvm::BasicBlock * IfTrue, llvm::BasicBlock * InsertAtEnd)
- public static llvm::BranchInst * Create(llvm::BasicBlock * IfTrue, llvm::BasicBlock * IfFalse, llvm::Value * Cond, llvm::BasicBlock * InsertAtEnd)
- public static bool classof(const llvm::Value * V)
- public static bool classof(const llvm::Instruction * I)
- protected llvm::BranchInst * cloneImpl() const
- public llvm::Value * getCondition() const
- public unsigned int getNumSuccessors() const
- public llvm::BasicBlock * getSuccessor(unsigned int i) const
- public bool isConditional() const
- public bool isUnconditional() const
- public void setCondition(llvm::Value * V)
- public void setSuccessor(unsigned int idx, llvm::BasicBlock * NewSucc)
- public iterator_range<llvm::BranchInst::succ_op_iterator> successors()
- public iterator_range<llvm::BranchInst::const_succ_op_iterator> successors() const
- public void swapSuccessors()
Inherited from Instruction:
- public addAnnotationMetadata
- public andIRFlags
- public applyMergedLocation
- public classof
- public clone
- public comesBefore
- public copyFastMathFlags
- public copyFastMathFlags
- public copyIRFlags
- public copyMetadata
- public dropLocation
- public dropPoisonGeneratingFlags
- public dropUndefImplyingAttrsAndUnknownMetadata
- public dropUnknownNonDebugMetadata
- public dropUnknownNonDebugMetadata
- public dropUnknownNonDebugMetadata
- public dropUnknownNonDebugMetadata
- public eraseFromParent
- public extractProfMetadata
- public extractProfTotalWeight
- public getAAMetadata
- public getAllMetadata
- public getAllMetadataOtherThanDebugLoc
- public getDebugLoc
- public getFastMathFlags
- public getFunction
- public getFunction
- public getMetadata
- public getMetadata
- public getModule
- public getModule
- public getNextNonDebugInstruction
- public getNextNonDebugInstruction
- public getNumSuccessors
- public getOpcode
- public getOpcodeName
- public getOpcodeName
- public getParent
- public getParent
- public getPrevNonDebugInstruction
- public getPrevNonDebugInstruction
- protected getSubclassData
- public getSuccessor
- public hasAllowContract
- public hasAllowReassoc
- public hasAllowReciprocal
- public hasApproxFunc
- public hasAtomicLoad
- public hasAtomicStore
- public hasMetadata
- public hasMetadata
- public hasMetadata
- public hasMetadataOtherThanDebugLoc
- public hasNoInfs
- public hasNoNaNs
- public hasNoSignedWrap
- public hasNoSignedZeros
- public hasNoUnsignedWrap
- public hasPoisonGeneratingFlags
- public insertAfter
- public insertBefore
- public isArithmeticShift
- public isAssociative
- public isAssociative
- public isAtomic
- public isBinaryOp
- public isBinaryOp
- public isBitwiseLogicOp
- public isBitwiseLogicOp
- public isCast
- public isCast
- public isCommutative
- public isCommutative
- public isDebugOrPseudoInst
- public isEHPad
- public isExact
- public isExceptionalTerminator
- public isExceptionalTerminator
- public isFast
- public isFenceLike
- public isFuncletPad
- public isFuncletPad
- public isIdempotent
- public isIdempotent
- public isIdenticalTo
- public isIdenticalToWhenDefined
- public isIntDivRem
- public isIntDivRem
- public isLaunderOrStripInvariantGroup
- public isLifetimeStartOrEnd
- public isLogicalShift
- public isNilpotent
- public isNilpotent
- public isOnlyUserOfAnyOperand
- public isSafeToRemove
- public isSameOperationAs
- public isShift
- public isShift
- public isTerminator
- public isTerminator
- public isUnaryOp
- public isUnaryOp
- public isUsedOutsideOfBlock
- public isVolatile
- public mayHaveSideEffects
- public mayReadFromMemory
- public mayReadOrWriteMemory
- public mayThrow
- public mayWriteToMemory
- public moveAfter
- public moveBefore
- public moveBefore
- public removeFromParent
- public replaceSuccessorWith
- public setAAMetadata
- public setDebugLoc
- public setFast
- public setFastMathFlags
- public setHasAllowContract
- public setHasAllowReassoc
- public setHasAllowReciprocal
- public setHasApproxFunc
- public setHasNoInfs
- public setHasNoNaNs
- public setHasNoSignedWrap
- public setHasNoSignedZeros
- public setHasNoUnsignedWrap
- public setIsExact
- public setMetadata
- public setMetadata
- protected setSubclassData
- public setSuccessor
- public swapProfMetadata
- public updateLocationAfterHoist
- public user_back
- public user_back
- public willReturn
Inherited from User:
- protected Op
- protected Op
- protected OpFrom
- protected allocHungoffUses
- public classof
- public dropAllReferences
- public getDescriptor
- public getDescriptor
- public getNumOperands
- public getOperand
- public getOperandList
- public getOperandList
- public getOperandUse
- public getOperandUse
- protected growHungoffUses
- public isDroppable
- public op_begin
- public op_begin
- public op_end
- public op_end
- public operand_values
- public operand_values
- public operands
- public operands
- public replaceUsesOfWith
- public setGlobalVariableNumOperands
- public setNumHungOffUseOperands
- public setOperand
- public value_op_begin
- public value_op_begin
- public value_op_end
- public value_op_end
Inherited from Value:
- public DoPHITranslation
- public DoPHITranslation
- protected addMetadata
- protected addMetadata
- public addUse
- public assertModuleIsMaterialized
- public assertModuleIsMaterializedImpl
- public canBeFreed
- protected clearMetadata
- public clearSubclassOptionalData
- public deleteValue
- public dropDroppableUse
- public dropDroppableUses
- public dropDroppableUsesIn
- public dump
- protected eraseMetadata
- protected getAllMetadata
- public getContext
- protected getMetadata
- protected getMetadata
- protected getMetadata
- protected getMetadata
- public getName
- public getNameOrAsOperand
- public getNumUses
- public getPointerAlignment
- public getPointerDereferenceableBytes
- public getRawSubclassOptionalData
- public getSingleUndroppableUse
- public getSingleUndroppableUse
- protected getSubclassDataFromValue
- public getType
- public getUniqueUndroppableUser
- public getUniqueUndroppableUser
- public getValueID
- public getValueName
- protected hasMetadata
- protected hasMetadata
- protected hasMetadata
- public hasNUndroppableUses
- public hasNUndroppableUsesOrMore
- public hasNUses
- public hasNUsesOrMore
- public hasName
- public hasOneUse
- public hasOneUser
- public hasSameSubclassOptionalData
- public hasValueHandle
- public isSwiftError
- public isTransitiveUsedByMetadataOnly
- public isUsedByMetadata
- public isUsedInBasicBlock
- public materialized_use_begin
- public materialized_use_begin
- public materialized_use_empty
- public materialized_user_begin
- public materialized_user_begin
- public materialized_users
- public materialized_users
- public materialized_uses
- public materialized_uses
- public mutateType
- public print
- public print
- public printAsOperand
- public printAsOperand
- public replaceAllUsesWith
- public replaceNonMetadataUsesWith
- public replaceUsesOutsideBlock
- public replaceUsesWithIf
- public reverseUseList
- protected setMetadata
- protected setMetadata
- public setName
- public setValueName
- protected setValueSubclassData
- public sortUseList
- public stripAndAccumulateConstantOffsets
- public stripAndAccumulateConstantOffsets
- public stripAndAccumulateInBoundsConstantOffsets
- public stripAndAccumulateInBoundsConstantOffsets
- public stripInBoundsConstantOffsets
- public stripInBoundsConstantOffsets
- public stripInBoundsOffsets
- public stripInBoundsOffsets
- public stripPointerCasts
- public stripPointerCasts
- public stripPointerCastsAndAliases
- public stripPointerCastsAndAliases
- public stripPointerCastsForAliasAnalysis
- public stripPointerCastsForAliasAnalysis
- public stripPointerCastsSameRepresentation
- public stripPointerCastsSameRepresentation
- public takeName
- public use_begin
- public use_begin
- public use_empty
- public use_end
- public use_end
- public user_back
- public user_back
- public user_begin
- public user_begin
- public user_empty
- public user_end
- public user_end
- public users
- public users
- public uses
- public uses
Methods
¶void AssertOK()
void AssertOK()
Declared at: llvm/include/llvm/IR/Instructions.h:3119
¶BranchInst(
llvm::BasicBlock* IfTrue,
llvm::Instruction* InsertBefore = nullptr)
BranchInst(
llvm::BasicBlock* IfTrue,
llvm::Instruction* InsertBefore = nullptr)
Declared at: llvm/include/llvm/IR/Instructions.h:3112
Parameters
- llvm::BasicBlock* IfTrue
- llvm::Instruction* InsertBefore = nullptr
¶BranchInst(
llvm::BasicBlock* IfTrue,
llvm::BasicBlock* IfFalse,
llvm::Value* Cond,
llvm::Instruction* InsertBefore = nullptr)
BranchInst(
llvm::BasicBlock* IfTrue,
llvm::BasicBlock* IfFalse,
llvm::Value* Cond,
llvm::Instruction* InsertBefore = nullptr)
Declared at: llvm/include/llvm/IR/Instructions.h:3113
Parameters
- llvm::BasicBlock* IfTrue
- llvm::BasicBlock* IfFalse
- llvm::Value* Cond
- llvm::Instruction* InsertBefore = nullptr
¶BranchInst(llvm::BasicBlock* IfTrue,
llvm::BasicBlock* InsertAtEnd)
BranchInst(llvm::BasicBlock* IfTrue,
llvm::BasicBlock* InsertAtEnd)
Declared at: llvm/include/llvm/IR/Instructions.h:3115
Parameters
- llvm::BasicBlock* IfTrue
- llvm::BasicBlock* InsertAtEnd
¶BranchInst(llvm::BasicBlock* IfTrue,
llvm::BasicBlock* IfFalse,
llvm::Value* Cond,
llvm::BasicBlock* InsertAtEnd)
BranchInst(llvm::BasicBlock* IfTrue,
llvm::BasicBlock* IfFalse,
llvm::Value* Cond,
llvm::BasicBlock* InsertAtEnd)
Declared at: llvm/include/llvm/IR/Instructions.h:3116
Parameters
- llvm::BasicBlock* IfTrue
- llvm::BasicBlock* IfFalse
- llvm::Value* Cond
- llvm::BasicBlock* InsertAtEnd
¶BranchInst(const llvm::BranchInst& BI)
BranchInst(const llvm::BranchInst& BI)
Description
Ops list - Branches are strange. The operands are ordered: [Cond, FalseDest,] TrueDest. This makes some accessors faster because they don't have to check for cond/uncond branchness. These are mostly accessed relative from op_end().
Declared at: llvm/include/llvm/IR/Instructions.h:3104
Parameters
- const llvm::BranchInst& BI
¶static llvm::BranchInst* Create(
llvm::BasicBlock* IfTrue,
llvm::Instruction* InsertBefore = nullptr)
static llvm::BranchInst* Create(
llvm::BasicBlock* IfTrue,
llvm::Instruction* InsertBefore = nullptr)
Declared at: llvm/include/llvm/IR/Instructions.h:3155
Parameters
- llvm::BasicBlock* IfTrue
- llvm::Instruction* InsertBefore = nullptr
¶static llvm::BranchInst* Create(
llvm::BasicBlock* IfTrue,
llvm::BasicBlock* IfFalse,
llvm::Value* Cond,
llvm::Instruction* InsertBefore = nullptr)
static llvm::BranchInst* Create(
llvm::BasicBlock* IfTrue,
llvm::BasicBlock* IfFalse,
llvm::Value* Cond,
llvm::Instruction* InsertBefore = nullptr)
Declared at: llvm/include/llvm/IR/Instructions.h:3160
Parameters
- llvm::BasicBlock* IfTrue
- llvm::BasicBlock* IfFalse
- llvm::Value* Cond
- llvm::Instruction* InsertBefore = nullptr
¶static llvm::BranchInst* Create(
llvm::BasicBlock* IfTrue,
llvm::BasicBlock* InsertAtEnd)
static llvm::BranchInst* Create(
llvm::BasicBlock* IfTrue,
llvm::BasicBlock* InsertAtEnd)
Declared at: llvm/include/llvm/IR/Instructions.h:3165
Parameters
- llvm::BasicBlock* IfTrue
- llvm::BasicBlock* InsertAtEnd
¶static llvm::BranchInst* Create(
llvm::BasicBlock* IfTrue,
llvm::BasicBlock* IfFalse,
llvm::Value* Cond,
llvm::BasicBlock* InsertAtEnd)
static llvm::BranchInst* Create(
llvm::BasicBlock* IfTrue,
llvm::BasicBlock* IfFalse,
llvm::Value* Cond,
llvm::BasicBlock* InsertAtEnd)
Declared at: llvm/include/llvm/IR/Instructions.h:3169
Parameters
- llvm::BasicBlock* IfTrue
- llvm::BasicBlock* IfFalse
- llvm::Value* Cond
- llvm::BasicBlock* InsertAtEnd
¶static bool classof(const llvm::Value* V)
static bool classof(const llvm::Value* V)
Declared at: llvm/include/llvm/IR/Instructions.h:3225
Parameters
- const llvm::Value* V
¶static bool classof(const llvm::Instruction* I)
static bool classof(const llvm::Instruction* I)
Declared at: llvm/include/llvm/IR/Instructions.h:3222
Parameters
- const llvm::Instruction* I
¶llvm::BranchInst* cloneImpl() const
llvm::BranchInst* cloneImpl() const
Declared at: llvm/include/llvm/IR/Instructions.h:3125
¶llvm::Value* getCondition() const
llvm::Value* getCondition() const
Declared at: llvm/include/llvm/IR/Instructions.h:3180
¶unsigned int getNumSuccessors() const
unsigned int getNumSuccessors() const
Declared at: llvm/include/llvm/IR/Instructions.h:3190
¶llvm::BasicBlock* getSuccessor(
unsigned int i) const
llvm::BasicBlock* getSuccessor(
unsigned int i) const
Declared at: llvm/include/llvm/IR/Instructions.h:3192
Parameters
- unsigned int i
¶bool isConditional() const
bool isConditional() const
Declared at: llvm/include/llvm/IR/Instructions.h:3178
¶bool isUnconditional() const
bool isUnconditional() const
Declared at: llvm/include/llvm/IR/Instructions.h:3177
¶void setCondition(llvm::Value* V)
void setCondition(llvm::Value* V)
Declared at: llvm/include/llvm/IR/Instructions.h:3185
Parameters
- llvm::Value* V
¶void setSuccessor(unsigned int idx,
llvm::BasicBlock* NewSucc)
void setSuccessor(unsigned int idx,
llvm::BasicBlock* NewSucc)
Declared at: llvm/include/llvm/IR/Instructions.h:3197
Parameters
- unsigned int idx
- llvm::BasicBlock* NewSucc
¶iterator_range<llvm::BranchInst::succ_op_iterator>
successors()
iterator_range<llvm::BranchInst::succ_op_iterator>
successors()
Declared at: llvm/include/llvm/IR/Instructions.h:3209
¶iterator_range<
llvm::BranchInst::const_succ_op_iterator>
successors() const
iterator_range<
llvm::BranchInst::const_succ_op_iterator>
successors() const
Declared at: llvm/include/llvm/IR/Instructions.h:3215
¶void swapSuccessors()
void swapSuccessors()
Description
Swap the successors of this branch instruction. Swaps the successors of the branch instruction. This also swaps any branch weight metadata associated with the instruction so that it continues to map correctly to each operand.
Declared at: llvm/include/llvm/IR/Instructions.h:3207