isGuaranteedNotToBeUndef overloads

Synopses

Declared in <llvm/Analysis/ValueTracking.h>

Returns true if Reg cannot be undef, but may be poison.

bool
isGuaranteedNotToBeUndef(
    Register Reg,
    MachineRegisterInfo const& MRI,
    unsigned int Depth = 0);

» more...

Returns true if V cannot be undef, but may be poison.

bool
isGuaranteedNotToBeUndef(
    Value const* V,
    AssumptionCache* AC = nullptr,
    Instruction const* CtxI = nullptr,
    DominatorTree const* DT = nullptr,
    unsigned int Depth = 0);

» more...

Return Value

  • True if Reg cannot be undef.

  • True if V is guaranteed not undef.

Parameters

Name

Description

Reg

Virtual register to analyze.

MRI

Register information for the function.

Depth

Recursion depth limit for the analysis.

V

Value to test for freedom from undef.

AC

Optional assumption cache for context‐sensitive facts.

CtxI

Optional context instruction for flow‐sensitive analysis.

DT

Optional dominator tree for flow‐sensitive analysis.

Created with MrDocs