LLVM API Documentation

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Public Types | Public Member Functions | Static Public Member Functions | Friends | List of all members
llvm::OverflowingBinaryOperator Class Reference

#include <Operator.h>

Inheritance diagram for llvm::OverflowingBinaryOperator:
Inheritance graph
[legend]
Collaboration diagram for llvm::OverflowingBinaryOperator:
Collaboration graph
[legend]

Public Types

enum  { NoUnsignedWrap = (1 << 0), NoSignedWrap = (1 << 1) }
 
- Public Types inherited from llvm::User
typedef Useop_iterator
 
typedef const Useconst_op_iterator
 
- Public Types inherited from llvm::Value
enum  ValueTy {
  ArgumentVal, BasicBlockVal, FunctionVal, GlobalAliasVal,
  GlobalVariableVal, UndefValueVal, BlockAddressVal, ConstantExprVal,
  ConstantAggregateZeroVal, ConstantDataArrayVal, ConstantDataVectorVal, ConstantIntVal,
  ConstantFPVal, ConstantArrayVal, ConstantStructVal, ConstantVectorVal,
  ConstantPointerNullVal, MDNodeVal, MDStringVal, InlineAsmVal,
  PseudoSourceValueVal, FixedStackPseudoSourceValueVal, InstructionVal, ConstantFirstVal = FunctionVal,
  ConstantLastVal = ConstantPointerNullVal
}
 
typedef value_use_iterator< Useruse_iterator
 
typedef value_use_iterator
< const User
const_use_iterator
 

Public Member Functions

bool hasNoUnsignedWrap () const
 
bool hasNoSignedWrap () const
 
- Public Member Functions inherited from llvm::Operator
unsigned getOpcode () const
 
- Public Member Functions inherited from llvm::User
 ~User ()
 
void operator delete (void *Usr)
 operator delete - 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...
 
ValuegetOperand (unsigned i) const
 
void setOperand (unsigned i, Value *Val)
 
const UsegetOperandUse (unsigned i) const
 
UsegetOperandUse (unsigned i)
 
unsigned getNumOperands () const
 
op_iterator op_begin ()
 
const_op_iterator op_begin () const
 
op_iterator op_end ()
 
const_op_iterator op_end () const
 
value_op_iterator value_op_begin ()
 
value_op_iterator value_op_end ()
 
void dropAllReferences ()
 
void replaceUsesOfWith (Value *From, Value *To)
 
- Public Member Functions inherited from llvm::Value
virtual ~Value ()
 
void dump () const
 dump - Support for debugging, callable in GDB: V->dump() More...
 
void print (raw_ostream &O, AssemblyAnnotationWriter *AAW=0) const
 
TypegetType () const
 
LLVMContextgetContext () const
 All values hold a context through their type. More...
 
bool hasName () const
 
ValueNamegetValueName () const
 
void setValueName (ValueName *VN)
 
StringRef getName () const
 
void setName (const Twine &Name)
 
void takeName (Value *V)
 
void replaceAllUsesWith (Value *V)
 
bool use_empty () const
 
use_iterator use_begin ()
 
const_use_iterator use_begin () const
 
use_iterator use_end ()
 
const_use_iterator use_end () const
 
Useruse_back ()
 
const Useruse_back () const
 
bool hasOneUse () const
 
bool hasNUses (unsigned N) const
 
bool hasNUsesOrMore (unsigned N) const
 
bool isUsedInBasicBlock (const BasicBlock *BB) const
 
unsigned getNumUses () const
 
void addUse (Use &U)
 
unsigned getValueID () const
 
unsigned getRawSubclassOptionalData () const
 
void clearSubclassOptionalData ()
 
bool hasSameSubclassOptionalData (const Value *V) const
 
void intersectOptionalDataWith (const Value *V)
 
bool hasValueHandle () const
 
ValuestripPointerCasts ()
 Strips off any unneeded pointer casts, all-zero GEPs and aliases from the specified value, returning the original uncasted value. More...
 
const ValuestripPointerCasts () const
 
ValuestripPointerCastsNoFollowAliases ()
 Strips off any unneeded pointer casts and all-zero GEPs from the specified value, returning the original uncasted value. More...
 
const ValuestripPointerCastsNoFollowAliases () const
 
ValuestripInBoundsConstantOffsets ()
 Strips off unneeded pointer casts and all-constant GEPs from the specified value, returning the original pointer value. More...
 
const ValuestripInBoundsConstantOffsets () const
 
ValuestripAndAccumulateInBoundsConstantOffsets (const DataLayout &DL, APInt &Offset)
 Strips like stripInBoundsConstantOffsets but also accumulates the constant offset stripped. More...
 
const ValuestripAndAccumulateInBoundsConstantOffsets (const DataLayout &DL, APInt &Offset) const
 
ValuestripInBoundsOffsets ()
 Strips off unneeded pointer casts and any in-bounds offsets from the specified value, returning the original pointer value. More...
 
const ValuestripInBoundsOffsets () const
 
bool isDereferenceablePointer () const
 
ValueDoPHITranslation (const BasicBlock *CurBB, const BasicBlock *PredBB)
 
const ValueDoPHITranslation (const BasicBlock *CurBB, const BasicBlock *PredBB) const
 
void mutateType (Type *Ty)
 

Static Public Member Functions

static bool classof (const Instruction *I)
 
static bool classof (const ConstantExpr *CE)
 
static bool classof (const Value *V)
 
- Static Public Member Functions inherited from llvm::Operator
static unsigned getOpcode (const Value *V)
 
static bool classof (const Instruction *)
 
static bool classof (const ConstantExpr *)
 
static bool classof (const Value *V)
 
- Static Public Member Functions inherited from llvm::User
static bool classof (const Value *V)
 

Friends

class BinaryOperator
 
class ConstantExpr
 

Additional Inherited Members

- Static Public Attributes inherited from llvm::Value
static const unsigned MaximumAlignment = 1u << 29
 
- Protected Member Functions inherited from llvm::Operator
 ~Operator ()
 
- Protected Member Functions inherited from llvm::User
void * operator new (size_t s, unsigned Us)
 
 User (Type *ty, unsigned vty, Use *OpList, unsigned NumOps)
 
UseallocHungoffUses (unsigned) const
 
void dropHungoffUses ()
 
template<int Idx>
UseOp ()
 
template<int Idx>
const UseOp () const
 
- Protected Member Functions inherited from llvm::Value
virtual void printCustom (raw_ostream &O) const
 
 Value (Type *Ty, unsigned scid)
 
unsigned short getSubclassDataFromValue () const
 
void setValueSubclassData (unsigned short D)
 
- Static Protected Member Functions inherited from llvm::User
template<int Idx, typename U >
static UseOpFrom (const U *that)
 
- Protected Attributes inherited from llvm::User
UseOperandList
 
unsigned NumOperands
 
- Protected Attributes inherited from llvm::Value
unsigned char SubclassOptionalData: 7
 

Detailed Description

OverflowingBinaryOperator - Utility class for integer arithmetic operators which may exhibit overflow - Add, Sub, and Mul. It does not include SDiv, despite that operator having the potential for overflow.

Definition at line 79 of file Operator.h.

Member Enumeration Documentation

anonymous enum
Enumerator
NoUnsignedWrap 
NoSignedWrap 

Definition at line 81 of file Operator.h.

Member Function Documentation

static bool llvm::OverflowingBinaryOperator::classof ( const Instruction I)
inlinestatic

Definition at line 111 of file Operator.h.

References llvm::Instruction::getOpcode().

Referenced by classof().

static bool llvm::OverflowingBinaryOperator::classof ( const ConstantExpr CE)
inlinestatic

Definition at line 117 of file Operator.h.

References llvm::ConstantExpr::getOpcode().

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

Definition at line 123 of file Operator.h.

References classof().

bool llvm::OverflowingBinaryOperator::hasNoSignedWrap ( ) const
inline

hasNoSignedWrap - Test whether this operation is known to never undergo signed overflow, aka the nsw property.

Definition at line 107 of file Operator.h.

References NoSignedWrap, and llvm::Value::SubclassOptionalData.

Referenced by DecomposeSimpleLinearExpr(), llvm::isKnownNonZero(), llvm::isKnownToBeAPowerOfTwo(), MaintainNoSignedWrap(), and SimplifyDiv().

bool llvm::OverflowingBinaryOperator::hasNoUnsignedWrap ( ) const
inline

hasNoUnsignedWrap - Test whether this operation is known to never undergo unsigned overflow, aka the nuw property.

Definition at line 101 of file Operator.h.

References NoUnsignedWrap, and llvm::Value::SubclassOptionalData.

Referenced by DecomposeSimpleLinearExpr(), llvm::isKnownNonZero(), llvm::isKnownToBeAPowerOfTwo(), and SimplifyDiv().

Friends And Related Function Documentation

friend class BinaryOperator
friend

Definition at line 87 of file Operator.h.

friend class ConstantExpr
friend

Definition at line 88 of file Operator.h.


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