LLVM  3.7.0
Public Types | Public Member Functions | Static Public Member Functions | Protected Member Functions | Friends | List of all members
llvm::Instruction Class Reference

#include <Instruction.h>

Inheritance diagram for llvm::Instruction:
[legend]
Collaboration diagram for llvm::Instruction:
[legend]

Public Types

enum  OperationEquivalenceFlags { CompareIgnoringAlignment = 1<<0, CompareUsingScalarTypes = 1<<1 }
 When checking for operation equivalence (using isSameOperationAs) it is sometimes useful to ignore certain attributes. More...
 
enum  TermOps
 
enum  BinaryOps
 
enum  MemoryOps
 
enum  CastOps
 
enum  OtherOps
 
- Public Types inherited from llvm::User
typedef Useop_iterator
 
typedef const Useconst_op_iterator
 
typedef iterator_range
< op_iterator
op_range
 
typedef iterator_range
< const_op_iterator
const_op_range
 
- Public Types inherited from llvm::Value
enum  ValueTy
 Concrete subclass of this. More...
 
typedef use_iterator_impl< Useuse_iterator
 
typedef use_iterator_impl
< const Use
const_use_iterator
 
typedef user_iterator_impl< Useruser_iterator
 
typedef user_iterator_impl
< const User
const_user_iterator
 

Public Member Functions

 ~Instruction () override
 
Instructionuser_back ()
 user_back - Specialize the methods defined in Value, as we know that an instruction can only be used by other instructions. More...
 
const Instructionuser_back () const
 
const BasicBlockgetParent () const
 
BasicBlockgetParent ()
 
const ModulegetModule () const
 Return the module owning the function this instruction belongs to or nullptr it the function does not have a module. More...
 
ModulegetModule ()
 
void removeFromParent ()
 removeFromParent - This method unlinks 'this' from the containing basic block, but does not delete it. More...
 
iplist< Instruction >::iterator eraseFromParent ()
 eraseFromParent - This method unlinks 'this' from the containing basic block and deletes it. More...
 
void insertBefore (Instruction *InsertPos)
 Insert an unlinked instruction into a basic block immediately before the specified instruction. More...
 
void insertAfter (Instruction *InsertPos)
 Insert an unlinked instruction into a basic block immediately after the specified instruction. More...
 
void moveBefore (Instruction *MovePos)
 moveBefore - Unlink this instruction from its current basic block and insert it into the basic block that MovePos lives in, right before MovePos. More...
 
unsigned getOpcode () const
 getOpcode() returns a member of one of the enums like Instruction::Add. More...
 
const char * getOpcodeName () const
 
bool isTerminator () const
 
bool isBinaryOp () const
 
bool isShift ()
 
bool isCast () const
 
bool isLogicalShift () const
 isLogicalShift - Return true if this is a logical shift left or a logical shift right. More...
 
bool isArithmeticShift () const
 isArithmeticShift - Return true if this is an arithmetic shift right. More...
 
bool hasMetadata () const
 hasMetadata() - Return true if this instruction has any metadata attached to it. More...
 
bool hasMetadataOtherThanDebugLoc () const
 hasMetadataOtherThanDebugLoc - Return true if this instruction has metadata attached to it other than a debug location. More...
 
MDNodegetMetadata (unsigned KindID) const
 getMetadata - Get the metadata of given kind attached to this Instruction. More...
 
MDNodegetMetadata (StringRef Kind) const
 getMetadata - Get the metadata of given kind attached to this Instruction. More...
 
void getAllMetadata (SmallVectorImpl< std::pair< unsigned, MDNode * >> &MDs) const
 getAllMetadata - Get all metadata attached to this Instruction. More...
 
void getAllMetadataOtherThanDebugLoc (SmallVectorImpl< std::pair< unsigned, MDNode * >> &MDs) const
 getAllMetadataOtherThanDebugLoc - This does the same thing as getAllMetadata, except that it filters out the debug location. More...
 
void getAAMetadata (AAMDNodes &N, bool Merge=false) const
 getAAMetadata - Fills the AAMDNodes structure with AA metadata from this instruction. More...
 
void setMetadata (unsigned KindID, MDNode *Node)
 setMetadata - Set the metadata of the specified kind to the specified node. More...
 
void setMetadata (StringRef Kind, MDNode *Node)
 
void dropUnknownMetadata (ArrayRef< unsigned > KnownIDs)
 Drop unknown metadata. More...
 
void dropUnknownMetadata ()
 
void dropUnknownMetadata (unsigned ID1)
 
void dropUnknownMetadata (unsigned ID1, unsigned ID2)
 
void setAAMetadata (const AAMDNodes &N)
 setAAMetadata - Sets the metadata on this instruction from the AAMDNodes structure. More...
 
void setDebugLoc (DebugLoc Loc)
 setDebugLoc - Set the debug location information for this instruction. More...
 
const DebugLocgetDebugLoc () const
 getDebugLoc - Return the debug location for this node as a DebugLoc. More...
 
void setHasUnsafeAlgebra (bool B)
 Set or clear the unsafe-algebra flag on this instruction, which must be an operator which supports this flag. More...
 
void setHasNoNaNs (bool B)
 Set or clear the no-nans flag on this instruction, which must be an operator which supports this flag. More...
 
void setHasNoInfs (bool B)
 Set or clear the no-infs flag on this instruction, which must be an operator which supports this flag. More...
 
void setHasNoSignedZeros (bool B)
 Set or clear the no-signed-zeros flag on this instruction, which must be an operator which supports this flag. More...
 
void setHasAllowReciprocal (bool B)
 Set or clear the allow-reciprocal flag on this instruction, which must be an operator which supports this flag. More...
 
void setFastMathFlags (FastMathFlags FMF)
 Convenience function for setting multiple fast-math flags on this instruction, which must be an operator which supports these flags. More...
 
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. More...
 
bool hasUnsafeAlgebra () const
 Determine whether the unsafe-algebra flag is set. More...
 
bool hasNoNaNs () const
 Determine whether the no-NaNs flag is set. More...
 
bool hasNoInfs () const
 Determine whether the no-infs flag is set. More...
 
bool hasNoSignedZeros () const
 Determine whether the no-signed-zeros flag is set. More...
 
bool hasAllowReciprocal () const
 Determine whether the allow-reciprocal flag is set. More...
 
FastMathFlags getFastMathFlags () const
 Convenience function for getting all the fast-math flags, which must be an operator which supports these flags. More...
 
void copyFastMathFlags (const Instruction *I)
 Copy I's fast-math flags. More...
 
bool isAssociative () const
 isAssociative - Return true if the instruction is associative: More...
 
bool isCommutative () const
 isCommutative - Return true if the instruction is commutative: More...
 
bool isIdempotent () const
 isIdempotent - Return true if the instruction is idempotent: More...
 
bool isNilpotent () const
 isNilpotent - Return true if the instruction is nilpotent: More...
 
bool mayWriteToMemory () const
 mayWriteToMemory - Return true if this instruction may modify memory. More...
 
bool mayReadFromMemory () const
 mayReadFromMemory - Return true if this instruction may read memory. More...
 
bool mayReadOrWriteMemory () const
 mayReadOrWriteMemory - Return true if this instruction may read or write memory. More...
 
bool isAtomic () const
 isAtomic - Return true if this instruction has an AtomicOrdering of unordered or higher. More...
 
bool mayThrow () const
 mayThrow - Return true if this instruction may throw an exception. More...
 
bool mayReturn () const
 mayReturn - Return true if this is a function that may return. More...
 
bool mayHaveSideEffects () const
 mayHaveSideEffects - Return true if the instruction may have side effects. More...
 
Instructionclone () const
 clone() - Create a copy of 'this' instruction that is identical in all ways except the following: More...
 
bool isIdenticalTo (const Instruction *I) const
 isIdenticalTo - Return true if the specified instruction is exactly identical to the current one. More...
 
bool isIdenticalToWhenDefined (const Instruction *I) const
 isIdenticalToWhenDefined - This is like isIdenticalTo, except that it ignores the SubclassOptionalData flags, which specify conditions under which the instruction's result is undefined. More...
 
bool isSameOperationAs (const Instruction *I, unsigned flags=0) const
 This function determines if the specified instruction executes the same operation as the current one. More...
 
bool isUsedOutsideOfBlock (const BasicBlock *BB) const
 isUsedOutsideOfBlock - Return true if there are any uses of this instruction in blocks other than the specified block. More...
 
- Public Member Functions inherited from llvm::User
 ~User () override
 
void operator delete (void *Usr)
 Free memory allocated for User and Use objects. More...
 
void operator delete (void *, unsigned)
 Placement delete - required by std, but never called. More...
 
void operator delete (void *, unsigned, bool)
 Placement delete - required by std, but never called. More...
 
UsegetOperandList ()
 
const UsegetOperandList () const
 
ValuegetOperand (unsigned i) const
 
void setOperand (unsigned i, Value *Val)
 
const UsegetOperandUse (unsigned i) const
 
UsegetOperandUse (unsigned i)
 
unsigned getNumOperands () const
 
void setGlobalVariableNumOperands (unsigned NumOps)
 Set the number of operands on a GlobalVariable. More...
 
void setFunctionNumOperands (unsigned NumOps)
 Set the number of operands on a Function. More...
 
void setNumHungOffUseOperands (unsigned NumOps)
 Subclasses with hung off uses need to manage the operand count themselves. More...
 
op_iterator op_begin ()
 
const_op_iterator op_begin () const
 
op_iterator op_end ()
 
const_op_iterator op_end () const
 
op_range operands ()
 
const_op_range operands () const
 
value_op_iterator value_op_begin ()
 
value_op_iterator value_op_end ()
 
iterator_range< value_op_iteratoroperand_values ()
 
void dropAllReferences ()
 Drop all references to operands. More...
 
void replaceUsesOfWith (Value *From, Value *To)
 Replace uses of one Value with another. More...
 
- Public Member Functions inherited from llvm::Value
virtual ~Value ()
 
void dump () const
 Support for debugging, callable in GDB: V->dump() More...
 
TypegetType () const
 All values are typed, get the type of this value. More...
 
LLVMContextgetContext () const
 All values hold a context through their type. More...
 
bool hasName () const
 
ValueNamegetValueName () const
 
void setValueName (ValueName *VN)
 
StringRef getName () const
 Return a constant reference to the value's name. More...
 
void setName (const Twine &Name)
 Change the name of the value. More...
 
void takeName (Value *V)
 Transfer the name from V to this value. More...
 
void replaceAllUsesWith (Value *V)
 Change all uses of this to point to a new Value. More...
 
void replaceUsesOutsideBlock (Value *V, BasicBlock *BB)
 replaceUsesOutsideBlock - Go through the uses list for this definition and make each use point to "V" instead of "this" when the use is outside the block. More...
 
bool use_empty () const
 
use_iterator use_begin ()
 
const_use_iterator use_begin () const
 
use_iterator use_end ()
 
const_use_iterator use_end () const
 
iterator_range< use_iteratoruses ()
 
iterator_range
< const_use_iterator
uses () const
 
bool user_empty () const
 
user_iterator user_begin ()
 
const_user_iterator user_begin () const
 
user_iterator user_end ()
 
const_user_iterator user_end () const
 
Useruser_back ()
 
const Useruser_back () const
 
iterator_range< user_iteratorusers ()
 
iterator_range
< const_user_iterator
users () const
 
bool hasOneUse () const
 Return true if there is exactly one user of this value. More...
 
bool hasNUses (unsigned N) const
 Return true if this Value has exactly N users. More...
 
bool hasNUsesOrMore (unsigned N) const
 Return true if this value has N users or more. More...
 
bool isUsedInBasicBlock (const BasicBlock *BB) const
 Check if this value is used in the specified basic block. More...
 
unsigned getNumUses () const
 This method computes the number of uses of this Value. More...
 
void addUse (Use &U)
 This method should only be used by the Use class. More...
 
unsigned getValueID () const
 Return an ID for the concrete type of this object. More...
 
unsigned getRawSubclassOptionalData () const
 Return the raw optional flags value contained in this value. More...
 
void clearSubclassOptionalData ()
 Clear the optional flags contained in this value. More...
 
bool hasSameSubclassOptionalData (const Value *V) const
 Check the optional flags for equality. More...
 
void intersectOptionalDataWith (const Value *V)
 Clear any optional flags not set in the given Value. More...
 
bool hasValueHandle () const
 Return true if there is a value handle associated with this value. More...
 
bool isUsedByMetadata () const
 Return true if there is metadata referencing this value. More...
 
ValuestripPointerCasts ()
 Strip off pointer casts, all-zero GEPs, and aliases. More...
 
const ValuestripPointerCasts () const
 
ValuestripPointerCastsNoFollowAliases ()
 Strip off pointer casts and all-zero GEPs. More...
 
const ValuestripPointerCastsNoFollowAliases () const
 
ValuestripInBoundsConstantOffsets ()
 Strip off pointer casts and all-constant inbounds GEPs. More...
 
const ValuestripInBoundsConstantOffsets () const
 
ValuestripAndAccumulateInBoundsConstantOffsets (const DataLayout &DL, APInt &Offset)
 Accumulate offsets from stripInBoundsConstantOffsets(). More...
 
const ValuestripAndAccumulateInBoundsConstantOffsets (const DataLayout &DL, APInt &Offset) const
 
ValuestripInBoundsOffsets ()
 Strip off pointer casts and inbounds GEPs. More...
 
const ValuestripInBoundsOffsets () const
 
ValueDoPHITranslation (const BasicBlock *CurBB, const BasicBlock *PredBB)
 Translate PHI node to its predecessor from the given basic block. More...
 
const ValueDoPHITranslation (const BasicBlock *CurBB, const BasicBlock *PredBB) const
 
void mutateType (Type *Ty)
 Mutate the type of this Value to be of the specified type. More...
 
template<class Compare >
void sortUseList (Compare Cmp)
 Sort the use-list. More...
 
void reverseUseList ()
 Reverse the use-list. More...
 
void print (raw_ostream &O) const
 Implement operator<< on Value. More...
 
void print (raw_ostream &O, ModuleSlotTracker &MST) const
 
void printAsOperand (raw_ostream &O, bool PrintType=true, const Module *M=nullptr) const
 Print the name of this Value out to the specified raw_ostream. More...
 
void printAsOperand (raw_ostream &O, bool PrintType, ModuleSlotTracker &MST) const
 
- Public Member Functions inherited from llvm::ilist_node< Instruction >
InstructiongetPrevNode ()
 Get the previous node, or 0 for the list head. More...
 
const InstructiongetPrevNode () const
 Get the previous node, or 0 for the list head. More...
 
InstructiongetNextNode ()
 Get the next node, or 0 for the list tail. More...
 
const InstructiongetNextNode () const
 Get the next node, or 0 for the list tail. More...
 

Static Public Member Functions

static const char * getOpcodeName (unsigned OpCode)
 
static bool isTerminator (unsigned OpCode)
 
static bool isBinaryOp (unsigned Opcode)
 
static bool isShift (unsigned Opcode)
 Determine if the Opcode is one of the shift instructions. More...
 
static bool isCast (unsigned OpCode)
 Determine if the OpCode is one of the CastInst instructions. More...
 
static bool isAssociative (unsigned op)
 isAssociative - Return true if the instruction is associative: More...
 
static bool isCommutative (unsigned op)
 isCommutative - Return true if the instruction is commutative: More...
 
static bool isIdempotent (unsigned op)
 isIdempotent - Return true if the instruction is idempotent: More...
 
static bool isNilpotent (unsigned op)
 isNilpotent - Return true if the instruction is nilpotent: More...
 
static bool classof (const Value *V)
 Methods for support type inquiry through isa, cast, and dyn_cast: More...
 
- Static Public Member Functions inherited from llvm::User
static bool classof (const Value *V)
 

Protected Member Functions

void setInstructionSubclassData (unsigned short D)
 
unsigned getSubclassDataFromInstruction () const
 
 Instruction (Type *Ty, unsigned iType, Use *Ops, unsigned NumOps, Instruction *InsertBefore=nullptr)
 
 Instruction (Type *Ty, unsigned iType, Use *Ops, unsigned NumOps, BasicBlock *InsertAtEnd)
 
- Protected Member Functions inherited from llvm::User
void * operator new (size_t Size)
 Allocate a User with an operand pointer co-allocated. More...
 
void * operator new (size_t Size, unsigned Us)
 Allocate a User with the operands co-allocated. More...
 
 User (Type *ty, unsigned vty, Use *OpList, unsigned NumOps)
 
void allocHungoffUses (unsigned N, bool IsPhi=false)
 Allocate the array of Uses, followed by a pointer (with bottom bit set) to the User. More...
 
void growHungoffUses (unsigned N, bool IsPhi=false)
 Grow the number of hung off uses. More...
 
template<int Idx>
UseOp ()
 
template<int Idx>
const UseOp () const
 
- Protected Member Functions inherited from llvm::Value
 Value (Type *Ty, unsigned scid)
 
unsigned short getSubclassDataFromValue () const
 
void setValueSubclassData (unsigned short D)
 
- Protected Member Functions inherited from llvm::ilist_node< Instruction >
 ilist_node ()
 

Friends

class SymbolTableListTraits< Instruction, BasicBlock >
 

Additional Inherited Members

- Static Public Attributes inherited from llvm::Value
static const unsigned MaxAlignmentExponent = 29
 The maximum alignment for instructions. More...
 
static const unsigned MaximumAlignment = 1u << MaxAlignmentExponent
 
- Protected Types inherited from llvm::Value
enum  : unsigned { NumUserOperandsBits = 29 }
 The number of operands in the subclass. More...
 
- Static Protected Member Functions inherited from llvm::User
template<int Idx, typename U >
static UseOpFrom (const U *that)
 
- Protected Attributes inherited from llvm::Value
unsigned char SubclassOptionalData: 7
 Hold subclass data that can be dropped. More...
 
unsigned NumUserOperands: NumUserOperandsBits
 
bool IsUsedByMD: 1
 
bool HasName: 1
 
bool HasHungOffUses: 1
 

Detailed Description

Definition at line 51 of file Instruction.h.

Member Enumeration Documentation

Definition at line 450 of file Instruction.h.

Definition at line 464 of file Instruction.h.

Definition at line 457 of file Instruction.h.

When checking for operation equivalence (using isSameOperationAs) it is sometimes useful to ignore certain attributes.

Enumerator
CompareIgnoringAlignment 

Check for equivalence ignoring load/store alignment.

CompareUsingScalarTypes 

Check for equivalence treating a type and a vector of that type as equivalent.

Definition at line 410 of file Instruction.h.

Definition at line 471 of file Instruction.h.

Definition at line 443 of file Instruction.h.

Constructor & Destructor Documentation

Instruction::~Instruction ( )
override

Definition at line 46 of file Instruction.cpp.

Instruction::Instruction ( Type Ty,
unsigned  iType,
Use Ops,
unsigned  NumOps,
Instruction InsertBefore = nullptr 
)
protected
Instruction::Instruction ( Type Ty,
unsigned  iType,
Use Ops,
unsigned  NumOps,
BasicBlock InsertAtEnd 
)
protected

Member Function Documentation

static bool llvm::Instruction::classof ( const Value V)
inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 436 of file Instruction.h.

References llvm::Value::getValueID().

Instruction * Instruction::clone ( ) const
void Instruction::copyFastMathFlags ( FastMathFlags  FMF)

Convenience function for transferring all fast-math flag values to this instruction, which must be an operator which supports these flags.

See LangRef.html for the meaning of these flags.

Definition at line 140 of file Instruction.cpp.

Referenced by llvm::BinaryOperator::andIRFlags(), copyFastMathFlags(), llvm::BinaryOperator::copyIRFlags(), FoldOperationIntoSelectOperand(), llvm::InstCombiner::visitFAdd(), llvm::InstCombiner::visitFMul(), llvm::InstCombiner::visitFPTrunc(), and llvm::InstCombiner::visitFSub().

void Instruction::copyFastMathFlags ( const Instruction I)

Copy I's fast-math flags.

Definition at line 184 of file Instruction.cpp.

References copyFastMathFlags(), and getFastMathFlags().

void Instruction::dropUnknownMetadata ( ArrayRef< unsigned KnownIDs)
void llvm::Instruction::dropUnknownMetadata ( )
inline

Definition at line 211 of file Instruction.h.

References llvm::None.

Referenced by dropUnknownMetadata().

void llvm::Instruction::dropUnknownMetadata ( unsigned  ID1)
inline

Definition at line 214 of file Instruction.h.

References dropUnknownMetadata(), and llvm::makeArrayRef().

void llvm::Instruction::dropUnknownMetadata ( unsigned  ID1,
unsigned  ID2 
)
inline

Definition at line 217 of file Instruction.h.

References dropUnknownMetadata().

iplist< Instruction >::iterator Instruction::eraseFromParent ( )

eraseFromParent - This method unlinks 'this' from the containing basic block and deletes it.

Returns
an iterator pointing to the element after the erased one

Definition at line 70 of file Instruction.cpp.

References llvm::iplist< NodeTy, Traits >::erase(), llvm::BasicBlock::getInstList(), and getParent().

Referenced by AddReachableCodeToWorklist(), BuildSubAggregate(), changeToCall(), checkCSEInPredecessor(), CleanupPointerRootUsers(), llvm::CloneAndPruneIntoFromInst(), CombineUAddWithOverflow(), ConnectProlog(), llvm::ConstantFoldTerminator(), cse(), DeleteDeadInstruction(), deleteDeadInstruction(), DeleteTriviallyDeadInstructions(), llvm::DemotePHIToStack(), llvm::DemoteRegToStack(), llvm::EliminateDuplicatePHINodes(), llvm::InstCombiner::EraseInstFromFunction(), llvm::objcarc::EraseInstruction(), EraseTerminatorInstAndDCECond(), llvm::expandDivision(), llvm::expandDivisionUpTo32Bits(), llvm::expandDivisionUpTo64Bits(), llvm::expandRemainder(), llvm::expandRemainderUpTo32Bits(), llvm::expandRemainderUpTo64Bits(), findPHIToPartitionLoops(), llvm::FoldReturnIntoUncondBranch(), FoldTwoEntryPHINode(), generateUnsignedDivisionCode(), getAdjustedPtr(), llvm::SSAUpdater::GetValueInMiddleOfBlock(), llvm::hoistRegion(), INITIALIZE_PASS(), InlineCallIfPossible(), llvm::InlineFunction(), insertFastDiv(), LowerAtomicCmpXchgInst(), LowerAtomicRMWInst(), llvm::LowerDbgDeclare(), lowerExpectIntrinsic(), LowerFenceInst(), llvm::IntrinsicLowering::LowerIntrinsicCall(), llvm::IntrinsicLowering::LowerToByteSwap(), makeStatepointExplicit(), markAliveBlocks(), llvm::MergeBasicBlockIntoOnlyPred(), mergeEmptyReturnBlocks(), llvm::LibCallSimplifier::optimizeCall(), OptimizeExtractBits(), OptimizeGlobalAddressOfMalloc(), PerformHeapAllocSRoA(), llvm::PHITransAddr::PHITranslateWithInsertion(), prepareICWorklistFromFunction(), llvm::promoteLoopAccessesToScalars(), promoteSingleBlockAlloca(), llvm::RecursivelyDeleteTriviallyDeadInstructions(), llvm::PHINode::removeIncomingValue(), removeLifetimeIntrinsicUsers(), llvm::BasicBlock::removePredecessor(), RemoveSwitchAfterSelectConversion(), removeUndefIntroducingPredecessor(), replaceAndRecursivelySimplifyImpl(), llvm::replaceDbgDeclareForAlloca(), ReplaceUsesOfMallocWithGlobal(), ReplaceUsesOfWith(), reuseOrInsertFastDiv(), rewriteSingleStoreAlloca(), RewriteUsesOfLoadForHeapSRoA(), llvm::Inliner::runOnSCC(), ScalarizeMaskedLoad(), ScalarizeMaskedStore(), SimplifyBranchOnICmpChain(), simplifyOneLoop(), sink(), SinkCast(), SinkCmpExpression(), llvm::sinkRegion(), SinkThenElseCodeToEnd(), speculatePHINodeLoads(), speculateSelectInstLoads(), llvm::SplitLandingPadPredecessors(), llvm::StripDebugInfo(), SwitchToLookupTable(), tryPromoteAllocaToVector(), tryToMakeAllocaBePromotable(), TryToMergeLandingPad(), TryToOptimizeStoreOfMallocToGlobal(), TryToShrinkGlobalToBoolean(), llvm::TryToSimplifyUncondBranchFromEmptyBlock(), TryToSimplifyUncondBranchWithICmpInIt(), TurnSwitchRangeIntoICmp(), llvm::UnrollLoop(), llvm::UnrollRuntimeLoopProlog(), llvm::UpgradeIntrinsicCall(), llvm::LoopVersioning::versionLoop(), and llvm::ObjectSizeOffsetEvaluator::visitPHINode().

void Instruction::getAAMetadata ( AAMDNodes N,
bool  Merge = false 
) const
void llvm::Instruction::getAllMetadata ( SmallVectorImpl< std::pair< unsigned, MDNode * >> &  MDs) const
inline

getAllMetadata - Get all metadata attached to this Instruction.

The first element of each pair returned is the KindID, the second element is the metadata value. This list is returned sorted by the KindID.

Definition at line 183 of file Instruction.h.

References hasMetadata().

Referenced by combineLoadToNewType(), combineStoreToNewValue(), copyMetadata(), and llvm::RemapInstruction().

void llvm::Instruction::getAllMetadataOtherThanDebugLoc ( SmallVectorImpl< std::pair< unsigned, MDNode * >> &  MDs) const
inline

getAllMetadataOtherThanDebugLoc - This does the same thing as getAllMetadata, except that it filters out the debug location.

Definition at line 190 of file Instruction.h.

References hasMetadataOtherThanDebugLoc().

Referenced by clone(), llvm::combineMetadata(), and llvm::TypeFinder::run().

const DebugLoc& llvm::Instruction::getDebugLoc ( ) const
inline
FastMathFlags Instruction::getFastMathFlags ( ) const

Convenience function for getting all the fast-math flags, which must be an operator which supports these flags.

See LangRef.html for the meaning of these flags.

Definition at line 178 of file Instruction.cpp.

Referenced by llvm::BinaryOperator::andIRFlags(), ClearSubclassDataAfterReassociation(), copyFastMathFlags(), llvm::SimplifyInstruction(), llvm::InstCombiner::visitFAdd(), llvm::InstCombiner::visitFCmpInst(), llvm::InstCombiner::visitFDiv(), llvm::InstCombiner::visitFMul(), llvm::InstCombiner::visitFRem(), and llvm::InstCombiner::visitFSub().

MDNode* llvm::Instruction::getMetadata ( unsigned  KindID) const
inline
MDNode* llvm::Instruction::getMetadata ( StringRef  Kind) const
inline

getMetadata - Get the metadata of given kind attached to this Instruction.

If the metadata is not found then return null.

Definition at line 174 of file Instruction.h.

References hasMetadata().

const Module * Instruction::getModule ( ) const
Module * Instruction::getModule ( )

Definition at line 61 of file Instruction.cpp.

References llvm::BasicBlock::getModule(), and getParent().

unsigned llvm::Instruction::getOpcode ( ) const
inline

getOpcode() returns a member of one of the enums like Instruction::Add.

Definition at line 112 of file Instruction.h.

References llvm::Value::getValueID().

Referenced by BuildNew(), CanEvaluateSExtd(), CanEvaluateShifted(), CanEvaluateShuffled(), CanEvaluateTruncated(), CanEvaluateZExtd(), CanPHITrans(), canVectorizeInst(), CheapToScalarize(), llvm::OverflowingBinaryOperator::classof(), llvm::UnaryInstruction::classof(), llvm::PossiblyExactOperator::classof(), llvm::AllocaInst::classof(), llvm::LoadInst::classof(), llvm::FPMathOperator::classof(), llvm::ConcreteOperator< Operator, Instruction::PtrToInt >::classof(), llvm::StoreInst::classof(), llvm::FenceInst::classof(), llvm::AtomicCmpXchgInst::classof(), llvm::AtomicRMWInst::classof(), llvm::CmpInst::classof(), llvm::GetElementPtrInst::classof(), llvm::ICmpInst::classof(), llvm::FCmpInst::classof(), llvm::CallInst::classof(), llvm::SelectInst::classof(), llvm::VAArgInst::classof(), llvm::ExtractElementInst::classof(), llvm::InsertElementInst::classof(), llvm::ShuffleVectorInst::classof(), llvm::ExtractValueInst::classof(), llvm::InsertValueInst::classof(), llvm::PHINode::classof(), llvm::LandingPadInst::classof(), llvm::ReturnInst::classof(), llvm::BranchInst::classof(), llvm::SwitchInst::classof(), llvm::IndirectBrInst::classof(), llvm::InvokeInst::classof(), llvm::ResumeInst::classof(), llvm::UnreachableInst::classof(), llvm::TruncInst::classof(), llvm::ZExtInst::classof(), llvm::SExtInst::classof(), llvm::FPTruncInst::classof(), llvm::FPExtInst::classof(), llvm::UIToFPInst::classof(), llvm::SIToFPInst::classof(), llvm::FPToUIInst::classof(), llvm::FPToSIInst::classof(), llvm::IntToPtrInst::classof(), llvm::PtrToIntInst::classof(), llvm::BitCastInst::classof(), llvm::AddrSpaceCastInst::classof(), clone(), CollectBSwapParts(), collectFailStats(), CollectInsertionElements(), collectUsesWithPtrTypes(), ConstantFold(), llvm::ConstantFoldInstruction(), detectLog2OfHalf(), determinePointerReadAttrs(), EvaluateExpression(), llvm::SelectionDAGBuilder::FindMergedConditions(), llvm::InstCombiner::foldFMulConst(), FoldOperationIntoSelectOperand(), llvm::InstCombiner::FoldSelectOpOp(), llvm::SCEVExpander::getIVIncOperand(), getLoopPhiForCounter(), llvm::AliasAnalysis::getModRefInfo(), llvm::BinaryOperator::getOpcode(), llvm::CastInst::getOpcode(), llvm::CmpInst::getOpcode(), llvm::SelectInst::getOpcode(), getOpcodeName(), GetSelectFoldableConstant(), GetSelectFoldableOperands(), GetShiftedValue(), llvm::FastISel::hasTrivialKill(), haveSameSpecialState(), llvm::InlineFunction(), isAllocSiteRemovable(), isArithmeticShift(), isAssociative(), isAtomic(), isBinaryOp(), isCast(), isCommutative(), llvm::TargetLoweringBase::isExtFree(), isExtractBitsCandidateUse(), isFMulOrFDivWithConstant(), isHighCostExpansion(), isIdempotent(), isIdenticalToWhenDefined(), isLogicalShift(), isNilpotent(), isPotentiallyNaryReassociable(), llvm::AArch64TargetLowering::isProfitableToHoist(), llvm::RecurrenceDescriptor::isRecurrenceInstr(), isSameOperationAs(), isShift(), isSimpleArithmeticOp(), isTerminator(), isUnmovableInstruction(), LookThroughFPExtensions(), mayReadFromMemory(), mayWriteToMemory(), needsFP(), llvm::PointerMayBeCaptured(), PrintOps(), llvm::FastISel::selectInstruction(), SimplifyBranchOnICmpChain(), llvm::SimplifyInstruction(), SinkShiftAndTruncate(), llvm::InstCombiner::SliceUpIllegalIntegerPHI(), ThreadBinOpOverSelect(), tryPromoteAllocaToVector(), llvm::InstVisitor< ObjectSizeOffsetVisitor, SizeOffsetType >::visit(), llvm::SelectionDAGBuilder::visit(), llvm::Interpreter::visitAllocaInst(), llvm::InstCombiner::visitFMul(), llvm::InstCombiner::visitICmpInstWithInstAndIntCst(), llvm::InstCombiner::visitSwitchInst(), and WriteInstruction().

const char* llvm::Instruction::getOpcodeName ( ) const
inline

Definition at line 114 of file Instruction.h.

References getOpcode(), and getOpcodeName().

Referenced by getOpcodeName(), llvm::ConstantExpr::getOpcodeName(), and PrintOps().

const char * Instruction::getOpcodeName ( unsigned  OpCode)
static
const BasicBlock* llvm::Instruction::getParent ( ) const
inline

Definition at line 72 of file Instruction.h.

Referenced by AddAlignmentAssumptions(), llvm::AddLandingPadInfo(), llvm::RecurrenceDescriptor::AddReductionVar(), llvm::IVUsers::AddUsersImpl(), BlockIsSimpleEnoughToThreadThrough(), canConstantEvolve(), llvm::AliasAnalysis::canInstructionRangeModRef(), changeToCall(), changeToUnreachable(), llvm::CloneAndPruneIntoFromInst(), llvm::CodeMetrics::collectEphemeralValues(), CombineUAddWithOverflow(), computeKnownBitsFromAssume(), computeKnownBitsFromDominatingCondition(), ConstructSSAForLoadSet(), convertMemSetToLoop(), convertTransferToLoop(), copyMetadata(), createFree(), CreateGCRelocates(), createMalloc(), llvm::DemotePHIToStack(), llvm::DemoteRegToStack(), llvm::DependenceAnalysis::depends(), llvm::DominatorTree::dominates(), llvm::InstCombiner::dominatesAllUses(), DominatesMergePoint(), llvm::Value::DoPHITranslation(), EliminateDeadSwitchCases(), eraseFromParent(), llvm::SCEVExpander::expandCodeFor(), findBasePointer(), FindInitTrampolineFromBB(), findLiveSetAtInst(), llvm::SelectionDAGBuilder::FindMergedConditions(), FindPhiPredForUseInBlock(), findRetainForStoreStrongContraction(), findSafeStoreForStoreStrongContraction(), llvm::FoldBranchToCommonDest(), FoldCondBranchOnPHI(), FoldTwoEntryPHINode(), GetCaseResults(), getCommonReturnValue(), llvm::MemoryDependenceAnalysis::getDependency(), getFirstInst(), getInsertPointForUses(), llvm::MemoryDependenceAnalysis::getLoadLoadClobberFullWidthSize(), GetLoadValueForLoad(), getLoopPhiForCounter(), getModule(), llvm::MemoryDependenceAnalysis::getNonLocalCallDependency(), llvm::MemoryDependenceAnalysis::getNonLocalPointerDependency(), llvm::LazyValueInfo::getPredicateAt(), llvm::DependenceAnalysis::getSplitIteration(), HandleByValArgument(), HandleInlinedInvoke(), HasSafePathToPredecessorCall(), llvm::FastISel::hasTrivialKill(), llvm::SCEVExpander::hoistIVInc(), HoistThenElseCodeToIf(), InBlock(), InlineCallIfPossible(), llvm::InlineFunction(), insertAfter(), insertBefore(), llvm::InstCombiner::InsertNewInstBefore(), insertParsePoints(), InsertSafepointPoll(), insertUseHolderAfter(), Instruction(), isChainSelectCmpBranch(), isDynamicConstant(), isGuaranteedToExecute(), llvm::isInTailCallPosition(), isInteresting(), isKnownNonNullFromDominatingCondition(), llvm::Loop::isLCSSAForm(), isLoopInvariant(), IsNonLocalValue(), llvm::isPotentiallyReachable(), isProfitableToFoldUnconditional(), llvm::DominatorTree::isReachableFromEntry(), isSafeAndProfitableToSinkLoad(), isSafePHIToSpeculate(), llvm::isSafeToLoadUnconditionally(), llvm::isSafeToSpeculativelyExecute(), isSameUnderlyingObjectInLoop(), llvm::AllocaInst::isStaticAlloca(), llvm::Value::isUsedInBasicBlock(), isUsedOutsideOfBlock(), isUsedOutsideOfDefiningBlock(), isValidAssumeForContext(), IVUseShouldUsePostIncValue(), LdStHasDebugValue(), LLVMGetNextInstruction(), LLVMGetPreviousInstruction(), LLVMPositionBuilderBefore(), LowerAtomicCmpXchgInst(), LowerAtomicRMWInst(), LowerBSWAP(), LowerCTLZ(), LowerCTPOP(), llvm::IntrinsicLowering::LowerIntrinsicCall(), llvm::IntrinsicLowering::LowerToByteSwap(), makeStatepointExplicitImpl(), llvm::HexagonTargetLowering::mayBeEmittedAsTailCall(), moveBBContents(), moveBefore(), NegateValue(), OptimizeExtractBits(), parentFunctionOfValue(), passingValueIsAlwaysUndefined(), PerformHeapAllocSRoA(), llvm::PHITransAddr::PHITranslateValue(), llvm::Value::print(), PrintOps(), processInstruction(), ProcessUGT_ADDCST_ADD(), ProcessUMulZExtIdiom(), promoteSingleBlockAlloca(), llvm::AssumptionCache::registerAssumption(), removeFromParent(), RemoveSwitchAfterSelectConversion(), replaceAndRecursivelySimplifyImpl(), ReplaceCallWith(), llvm::SCEVExpander::replaceCongruentIVs(), llvm::replaceDbgDeclareForAlloca(), llvm::InstCombiner::replacedSelectWithOperand(), llvm::ReplaceInstWithInst(), llvm::LoopInfo::replacementPreservesLCSSAForm(), ReplaceWithStatepoint(), reuseTableCompare(), rewriteSingleStoreAlloca(), llvm::SSAUpdater::RewriteUse(), llvm::SSAUpdater::RewriteUseAfterInsertions(), RewriteUsesOfClonedInstructions(), llvm::InstCombiner::run(), safeCxtI(), SafeToMergeTerminators(), ScalarizeMaskedLoad(), ScalarizeMaskedStore(), scanInlinedCode(), scanOneBB(), llvm::FastISel::selectInstruction(), llvm::IRBuilderBase::SetInsertPoint(), SimplifyBranchOnICmpChain(), SimplifyCondBranchToCondBranch(), SimplifyCondBranchToTwoReturns(), llvm::InstCombiner::SimplifyDivRemOfSelect(), simplifyOneLoop(), SimplifyTerminatorOnSelect(), llvm::simplifyUsersOfIV(), sink(), SinkCast(), SinkCmpExpression(), SinkShiftAndTruncate(), SinkThenElseCodeToEnd(), llvm::InstCombiner::SliceUpIllegalIntegerPHI(), llvm::SparseSolver::Solve(), SpeculativelyExecuteBB(), llvm::SplitBlockAndInsertIfThen(), llvm::SplitBlockAndInsertIfThenElse(), llvm::SplitCriticalEdge(), splitVectorValues(), SwitchToLookupTable(), llvm::FastISel::tryToFoldLoad(), tryToMoveFreeBeforeNullTest(), TryToSimplifyUncondBranchWithICmpInIt(), TryToSinkInstruction(), TurnSwitchRangeIntoICmp(), UpdateCallGraphAfterInlining(), llvm::UpgradeIntrinsicCall(), ValueDominatesPHI(), llvm::SelectionDAGBuilder::visit(), llvm::InstCombiner::visitAllocaInst(), llvm::InstCombiner::visitCallInst(), llvm::Interpreter::visitCallSite(), llvm::InstCombiner::visitFCmpInst(), llvm::InstCombiner::visitFPTrunc(), llvm::InstCombiner::visitGetElementPtrInst(), llvm::InstCombiner::visitICmpInst(), llvm::InstCombiner::visitLandingPadInst(), llvm::InstCombiner::visitLoadInst(), llvm::InstCombiner::visitPHINode(), and llvm::InstCombiner::visitStoreInst().

BasicBlock* llvm::Instruction::getParent ( )
inline

Definition at line 73 of file Instruction.h.

unsigned llvm::Instruction::getSubclassDataFromInstruction ( ) const
inlineprotected
bool Instruction::hasAllowReciprocal ( ) const

Determine whether the allow-reciprocal flag is set.

Definition at line 170 of file Instruction.cpp.

Referenced by llvm::InstCombiner::visitFDiv().

bool llvm::Instruction::hasMetadata ( ) const
inline

hasMetadata() - Return true if this instruction has any metadata attached to it.

Definition at line 157 of file Instruction.h.

Referenced by clone(), copyMetadata(), getAllMetadata(), getMetadata(), and setMetadata().

bool llvm::Instruction::hasMetadataOtherThanDebugLoc ( ) const
inline

hasMetadataOtherThanDebugLoc - Return true if this instruction has metadata attached to it other than a debug location.

Definition at line 161 of file Instruction.h.

Referenced by getAllMetadataOtherThanDebugLoc().

bool Instruction::hasNoInfs ( ) const

Determine whether the no-infs flag is set.

Definition at line 158 of file Instruction.cpp.

Referenced by SimplifyFAddInst().

bool Instruction::hasNoNaNs ( ) const

Determine whether the no-NaNs flag is set.

Definition at line 152 of file Instruction.cpp.

Referenced by SimplifyFAddInst().

bool Instruction::hasNoSignedZeros ( ) const

Determine whether the no-signed-zeros flag is set.

Definition at line 164 of file Instruction.cpp.

Referenced by llvm::BinaryOperator::isFNeg(), llvm::InstCombiner::visitFAdd(), and llvm::InstCombiner::visitFMul().

bool Instruction::hasUnsafeAlgebra ( ) const
void Instruction::insertAfter ( Instruction InsertPos)

Insert an unlinked instruction into a basic block immediately after the specified instruction.

insertAfter - Insert an unlinked instructions into a basic block immediately after the specified instruction.

Definition at line 82 of file Instruction.cpp.

References llvm::BasicBlock::getInstList(), getParent(), and llvm::iplist< NodeTy, Traits >::insertAfter().

Referenced by insertRelocationStores(), insertRematerializationStores(), InsertRootInitializers(), relocationViaAlloca(), and splitVectorValues().

void Instruction::insertBefore ( Instruction InsertPos)

Insert an unlinked instruction into a basic block immediately before the specified instruction.

insertBefore - Insert an unlinked instructions into a basic block immediately before the specified instruction.

Definition at line 76 of file Instruction.cpp.

References llvm::BasicBlock::getInstList(), getParent(), and llvm::iplist< NodeTy, Traits >::insert().

Referenced by llvm::FoldBranchToCommonDest(), INITIALIZE_PASS(), relocationViaAlloca(), rematerializeLiveValues(), replaceGEPIdxWithZero(), and llvm::InstCombiner::visitUDiv().

bool llvm::Instruction::isArithmeticShift ( ) const
inline

isArithmeticShift - Return true if this is an arithmetic shift right.

Definition at line 142 of file Instruction.h.

References getOpcode().

Referenced by llvm::InstCombiner::visitICmpInstWithInstAndIntCst().

bool Instruction::isAssociative ( ) const

isAssociative - Return true if the instruction is associative:

Associative operators satisfy: x op (y op z) === (x op y) op z

In LLVM, the Add, Mul, And, Or, and Xor operators are associative.

Definition at line 478 of file Instruction.cpp.

References getOpcode(), and hasUnsafeAlgebra().

Referenced by llvm::ConstantFoldBinaryInstruction(), LinearizeExprTree(), SimplifyAssociativeBinOp(), and SimplifyBinOp().

bool Instruction::isAssociative ( unsigned  Opcode)
static

isAssociative - Return true if the instruction is associative:

Associative operators satisfy: x op (y op z) === (x op y) op z

In LLVM, the Add, Mul, And, Or, and Xor operators are associative.

Definition at line 473 of file Instruction.cpp.

References llvm::APIntOps::And(), llvm::APIntOps::Or(), and llvm::APIntOps::Xor().

bool Instruction::isAtomic ( ) const

isAtomic - Return true if this instruction has an AtomicOrdering of unordered or higher.

Definition at line 440 of file Instruction.cpp.

References getOpcode(), llvm::SPII::Load, llvm::NotAtomic, and llvm::SPII::Store.

Referenced by llvm::LoadInst::isSimple(), and llvm::StoreInst::isSimple().

bool llvm::Instruction::isBinaryOp ( ) const
inline
static bool llvm::Instruction::isBinaryOp ( unsigned  Opcode)
inlinestatic

Definition at line 126 of file Instruction.h.

bool llvm::Instruction::isCast ( ) const
inline
static bool llvm::Instruction::isCast ( unsigned  OpCode)
inlinestatic

Determine if the OpCode is one of the CastInst instructions.

Definition at line 147 of file Instruction.h.

bool llvm::Instruction::isCommutative ( ) const
inline

isCommutative - Return true if the instruction is commutative:

Commutative operators satisfy: (x op y) === (y op x)

In LLVM, these are the associative operators, plus SetEQ and SetNE, when applied to any type.

Definition at line 327 of file Instruction.h.

References getOpcode(), and isCommutative().

Referenced by llvm::RecurrenceDescriptor::AddReductionVar(), llvm::ConstantFoldBinaryInstruction(), ExpandBinOp(), llvm::InstCombiner::FoldSelectOpOp(), isCommutative(), LinearizeExprTree(), RightDistributesOverLeft(), SimplifyAssociativeBinOp(), llvm::BinaryOperator::swapOperands(), ThreadBinOpOverSelect(), and tryFactorization().

bool Instruction::isCommutative ( unsigned  op)
static

isCommutative - Return true if the instruction is commutative:

Commutative operators satisfy: (x op y) === (y op x)

In LLVM, these are the associative operators, plus SetEQ and SetNE, when applied to any type.

Definition at line 499 of file Instruction.cpp.

References llvm::APIntOps::And(), llvm::APIntOps::Or(), and llvm::APIntOps::Xor().

bool llvm::Instruction::isIdempotent ( ) const
inline

isIdempotent - Return true if the instruction is idempotent:

Idempotent operators satisfy: x op x === x

In LLVM, the And and Or operators are idempotent.

Definition at line 336 of file Instruction.h.

References getOpcode(), and isIdempotent().

Referenced by IncorporateWeight(), and isIdempotent().

bool Instruction::isIdempotent ( unsigned  Opcode)
static

isIdempotent - Return true if the instruction is idempotent:

Idempotent operators satisfy: x op x === x

In LLVM, the And and Or operators are idempotent.

Definition at line 520 of file Instruction.cpp.

References llvm::APIntOps::And(), and llvm::APIntOps::Or().

bool Instruction::isIdenticalTo ( const Instruction I) const

isIdenticalTo - Return true if the specified instruction is exactly identical to the current one.

This means that all operands match and any extra information (e.g. load is volatile) agree.

Definition at line 320 of file Instruction.cpp.

References isIdenticalToWhenDefined(), and llvm::Value::SubclassOptionalData.

Referenced by checkCSEInPredecessor(), llvm::EliminateDuplicatePHINodes(), and TryToMergeLandingPad().

bool Instruction::isIdenticalToWhenDefined ( const Instruction I) const

isIdenticalToWhenDefined - This is like isIdenticalTo, except that it ignores the SubclassOptionalData flags, which specify conditions under which the instruction's result is undefined.

Definition at line 328 of file Instruction.cpp.

References llvm::PHINode::block_begin(), llvm::lltok::equal, llvm::User::getNumOperands(), getOpcode(), llvm::Value::getType(), haveSameSpecialState(), I, llvm::User::op_begin(), and llvm::User::op_end().

Referenced by HoistThenElseCodeToIf(), and isIdenticalTo().

bool llvm::Instruction::isLogicalShift ( ) const
inline

isLogicalShift - Return true if this is a logical shift left or a logical shift right.

Definition at line 137 of file Instruction.h.

References getOpcode().

Referenced by CollectBSwapParts(), and llvm::InstCombiner::FoldShiftByConstant().

bool llvm::Instruction::isNilpotent ( ) const
inline

isNilpotent - Return true if the instruction is nilpotent:

Nilpotent operators satisfy: x op x === Id,

where Id is the identity for the operator, i.e. a constant such that x op Id === x and Id op x === x for all x.

In LLVM, the Xor operator is nilpotent.

Definition at line 348 of file Instruction.h.

References getOpcode(), and isNilpotent().

Referenced by IncorporateWeight(), and isNilpotent().

bool Instruction::isNilpotent ( unsigned  Opcode)
static

isNilpotent - Return true if the instruction is nilpotent:

Nilpotent operators satisfy: x op x === Id,

where Id is the identity for the operator, i.e. a constant such that x op Id === x and Id op x === x for all x.

In LLVM, the Xor operator is nilpotent.

Definition at line 533 of file Instruction.cpp.

References llvm::APIntOps::Xor().

bool Instruction::isSameOperationAs ( const Instruction I,
unsigned  flags = 0 
) const

This function determines if the specified instruction executes the same operation as the current one.

This means that the opcodes, type, operand types and any other factors affecting the operation must be the same. This is similar to isIdenticalTo except the operands themselves don't have to be identical.

Returns
true if the specified instruction is the same operation as the current one. Determine if one instruction is the same operation as another.

Definition at line 355 of file Instruction.cpp.

References CompareIgnoringAlignment, CompareUsingScalarTypes, llvm::User::getNumOperands(), getOpcode(), llvm::User::getOperand(), llvm::Type::getScalarType(), llvm::Value::getType(), and haveSameSpecialState().

Referenced by SinkThenElseCodeToEnd().

bool llvm::Instruction::isShift ( )
inline
static bool llvm::Instruction::isShift ( unsigned  Opcode)
inlinestatic

Determine if the Opcode is one of the shift instructions.

Definition at line 131 of file Instruction.h.

bool llvm::Instruction::isTerminator ( ) const
inline
static bool llvm::Instruction::isTerminator ( unsigned  OpCode)
inlinestatic

Definition at line 122 of file Instruction.h.

bool Instruction::isUsedOutsideOfBlock ( const BasicBlock BB) const

isUsedOutsideOfBlock - Return true if there are any uses of this instruction in blocks other than the specified block.

isUsedOutsideOfBlock - Return true if there are any uses of I outside of the specified block.

Note that PHI nodes are considered to evaluate their operands in the corresponding predecessor block.

Definition at line 382 of file Instruction.cpp.

References llvm::dyn_cast(), getParent(), I, and llvm::Value::uses().

bool llvm::Instruction::mayHaveSideEffects ( ) const
inline

mayHaveSideEffects - Return true if the instruction may have side effects.

Note that this does not consider malloc and alloca to have side effects because the newly allocated memory is completely invisible to instructions which don't use the returned value. For cases where this matters, isSafeToSpeculativelyExecute may be more appropriate.

Definition at line 387 of file Instruction.h.

References mayReturn(), mayThrow(), and mayWriteToMemory().

Referenced by InstructionWillNotHaveChain(), llvm::isInstructionTriviallyDead(), llvm::isInTailCallPosition(), IsSafeComputationToRemove(), isSafePHIToSpeculate(), isSafeToSpeculateStore(), SinkThenElseCodeToEnd(), SpeculativelyExecuteBB(), and TryToSinkInstruction().

bool Instruction::mayReadFromMemory ( ) const
bool llvm::Instruction::mayReadOrWriteMemory ( ) const
inline
bool Instruction::mayReturn ( ) const

mayReturn - Return true if this is a function that may return.

this is true for all normal instructions. The only exception is functions that are marked with the 'noreturn' attribute.

Definition at line 461 of file Instruction.cpp.

Referenced by mayHaveSideEffects().

bool Instruction::mayThrow ( ) const

mayThrow - Return true if this instruction may throw an exception.

Definition at line 455 of file Instruction.cpp.

Referenced by mayHaveSideEffects().

bool Instruction::mayWriteToMemory ( ) const
void Instruction::moveBefore ( Instruction MovePos)

moveBefore - Unlink this instruction from its current basic block and insert it into the basic block that MovePos lives in, right before MovePos.

Definition at line 89 of file Instruction.cpp.

References llvm::BasicBlock::getInstList(), getParent(), and llvm::iplist< NodeTy, Traits >::splice().

Referenced by hoist(), hoistBeforePos(), llvm::SCEVExpander::hoistIVInc(), llvm::Loop::makeLoopInvariant(), NegateValue(), tryToMoveFreeBeforeNullTest(), TryToSinkInstruction(), and llvm::InstCombiner::visitAllocaInst().

void Instruction::removeFromParent ( )

removeFromParent - This method unlinks 'this' from the containing basic block, but does not delete it.

Definition at line 66 of file Instruction.cpp.

References llvm::BasicBlock::getInstList(), getParent(), and llvm::iplist< NodeTy, Traits >::remove().

void Instruction::setAAMetadata ( const AAMDNodes N)
void llvm::Instruction::setDebugLoc ( DebugLoc  Loc)
inline
void Instruction::setFastMathFlags ( FastMathFlags  FMF)

Convenience function for setting multiple fast-math flags on this instruction, which must be an operator which supports these flags.

Convenience function for setting all the fast-math flags on this instruction, which must be an operator which supports these flags.

See LangRef.html for the meaning of these flags.

See LangRef.html for the meaning of these flats.

Definition at line 135 of file Instruction.cpp.

Referenced by ClearSubclassDataAfterReassociation(), CreateAdd(), CreateMul(), CreateNeg(), and llvm::InstCombiner::visitFDiv().

void Instruction::setHasAllowReciprocal ( bool  B)

Set or clear the allow-reciprocal flag on this instruction, which must be an operator which supports this flag.

See LangRef.html for the meaning of this flag.

Definition at line 127 of file Instruction.cpp.

void Instruction::setHasNoInfs ( bool  B)

Set or clear the no-infs flag on this instruction, which must be an operator which supports this flag.

See LangRef.html for the meaning of this flag.

Definition at line 111 of file Instruction.cpp.

void Instruction::setHasNoNaNs ( bool  B)

Set or clear the no-nans flag on this instruction, which must be an operator which supports this flag.

Set or clear the NoNaNs flag on this instruction, which must be an operator which supports this flag.

See LangRef.html for the meaning of this flag.

Definition at line 104 of file Instruction.cpp.

void Instruction::setHasNoSignedZeros ( bool  B)

Set or clear the no-signed-zeros flag on this instruction, which must be an operator which supports this flag.

See LangRef.html for the meaning of this flag.

Definition at line 119 of file Instruction.cpp.

void Instruction::setHasUnsafeAlgebra ( bool  B)

Set or clear the unsafe-algebra flag on this instruction, which must be an operator which supports this flag.

See LangRef.html for the meaning of this flag.

Definition at line 97 of file Instruction.cpp.

void llvm::Instruction::setInstructionSubclassData ( unsigned short  D)
inlineprotected

Definition at line 499 of file Instruction.h.

Referenced by llvm::CmpInst::setPredicate().

void Instruction::setMetadata ( unsigned  KindID,
MDNode Node 
)
void Instruction::setMetadata ( StringRef  Kind,
MDNode Node 
)

Definition at line 1038 of file Metadata.cpp.

References llvm::Value::getContext(), hasMetadata(), and setMetadata().

Instruction* llvm::Instruction::user_back ( )
inline
const Instruction* llvm::Instruction::user_back ( ) const
inline

Definition at line 70 of file Instruction.h.

References llvm::Value::user_begin().

Friends And Related Function Documentation

friend class SymbolTableListTraits< Instruction, BasicBlock >
friend

Definition at line 492 of file Instruction.h.


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