struct AAValueConstantRangeFloating

Declaration

struct AAValueConstantRangeFloating : public AAValueConstantRangeImpl { /* full declaration omitted */ };

Description

------------------ Value Constant Range Attribute -------------------------

Declared at: llvm/lib/Transforms/IPO/Attributor.cpp:5352

Inherits from: AAValueConstantRangeImpl

Member Variables

Inherited from AAValueConstantRange:

public static ID

Inherited from IRPosition:

protected AnchorVal

protected KindOrArgNo

public static EmptyKey

public static TombstoneKey

Inherited from IntegerRangeState:

public BitWidth

public Assumed

public Known

Method Overview

• public AAValueConstantRangeFloating(const llvm::IRPosition & IRP)
• public bool calculateBinaryOperator(llvm::Attributor & A, llvm::BinaryOperator * BinOp, llvm::IntegerRangeState & T, llvm::Instruction * CtxI)
• public bool calculateCmpInst(llvm::Attributor & A, llvm::CmpInst * CmpI, llvm::IntegerRangeState & T, llvm::Instruction * CtxI)
• public void initialize(llvm::Attributor & A)
• public void trackStatistics() const
• public llvm::ChangeStatus updateImpl(llvm::Attributor & A)

Inherited from AAValueConstantRangeImpl:

• public getAsStr
• public getAssumedConstantRange
• public getConstantRangeFromLVI
• public getConstantRangeFromSCEV
• public getKnownConstantRange
• public getMDNodeForConstantRange
• public getSCEV
• public initialize
• public isBetterRange
• public manifest
• public setRangeMetadataIfisBetterRange

Inherited from AAValueConstantRange:

• public createForPosition
• public getAssumedConstantInt
• public getAssumedConstantRange
• public getIRPosition
• public getKnownConstantRange
• public getState
• public getState

Inherited from IRPosition:

• public argument
• public callsite_argument
• public callsite_argument
• public callsite_argument
• public callsite_function
• public callsite_function
• public callsite_returned
• public callsite_returned
• public function
• public function_scope
• public getAnchorScope
• public getAnchorValue
• public getArgNo
• public getAssociatedArgument
• public getAssociatedFunction
• public getAssociatedValue
• public getAttr
• public getAttrIdx
• public getAttrs
• public getCtxI
• public getPositionKind
• public hasAttr
• public isAnyCallSitePosition
• public isFnInterfaceKind
• public removeAttrs
• public returned
• public value

Inherited from AbstractAttribute:

• public dump
• public getAsStr
• public getIRPosition
• public getState
• public getState
• public initialize
• protected manifest
• public print
• protected trackStatistics
• protected update
• protected updateImpl

Inherited from IntegerRangeState:

• public getAssumed
• public getBestState
• public getBitWidth
• public getKnown
• public getWorstState
• public indicateOptimisticFixpoint
• public indicatePessimisticFixpoint
• public intersectKnown
• public intersectKnown
• public isAtFixpoint
• public isValidState
• public unionAssumed
• public unionAssumed
• public unionKnown
• public unionKnown

Inherited from AbstractState:

• public indicateOptimisticFixpoint
• public indicatePessimisticFixpoint
• public isAtFixpoint
• public isValidState

Methods

¶AAValueConstantRangeFloating(
    const llvm::IRPosition& IRP)

Declared at: llvm/lib/Transforms/IPO/Attributor.cpp:5353

Parameters

const llvm::IRPosition& IRP

¶bool calculateBinaryOperator(
    llvm::Attributor& A,
    llvm::BinaryOperator* BinOp,
    llvm::IntegerRangeState& T,
    llvm::Instruction* CtxI)

Declared at: llvm/lib/Transforms/IPO/Attributor.cpp:5395

Parameters

llvm::Attributor& A

llvm::BinaryOperator* BinOp

llvm::IntegerRangeState& T

llvm::Instruction* CtxI

¶bool calculateCmpInst(llvm::Attributor& A,
                      llvm::CmpInst* CmpI,
                      llvm::IntegerRangeState& T,
                      llvm::Instruction* CtxI)

Declared at: llvm/lib/Transforms/IPO/Attributor.cpp:5417

Parameters

llvm::Attributor& A

llvm::CmpInst* CmpI

llvm::IntegerRangeState& T

llvm::Instruction* CtxI

¶void initialize(llvm::Attributor& A)

Description

See AbstractAttribute::initialize(...).

Declared at: llvm/lib/Transforms/IPO/Attributor.cpp:5357

Parameters

llvm::Attributor& A

¶void trackStatistics() const

Description

See AbstractAttribute::trackStatistics()

Declared at: llvm/lib/Transforms/IPO/Attributor.cpp:5506

¶llvm::ChangeStatus updateImpl(llvm::Attributor& A)

Description

See AbstractAttribute::updateImpl(...).

Declared at: llvm/lib/Transforms/IPO/Attributor.cpp:5466

Parameters

llvm::Attributor& A