llvm::AANonNull::isImpliedByIR

isImpliedByIR overloads

Synopses

Declared in <llvm/Transforms/IPO/Attributor.h>

See AbstractAttribute::isImpliedByIR(...).

static
bool
isImpliedByIR(
    Attributor& A,
    IRPosition const& IRP,
    Attribute::AttrKind ImpliedAttributeKind,
    bool IgnoreSubsumingPositions = false);
» more...

Return true if the IR already implies this attribute.

static
bool
isImpliedByIR(
    Attributor& A,
    IRPosition const& IRP,
    Attribute::AttrKind ImpliedAttributeKind = AK,
    bool IgnoreSubsumingPositions = false);
» more...

Return Value

  • True if the condition described by this query holds.
  • True if the IR already implies this attribute.

Parameters

NameDescription
AThe Attributor managing the analysis.
IRPThe IR position of interest.
ImpliedAttributeKindThe IR attribute kind being checked.
IgnoreSubsumingPositionsIf true, ignore subsuming IR positions.