llvm::isGuaranteedNotToBeUndef

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.