llvm::isGuaranteedNotToBeUndef

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

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

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

Return Value

True if V is guaranteed not undef.

Parameters

Name

Description

Value to test for freedom from undef.

Optional assumption cache for context‐sensitive facts.

CtxI

Optional context instruction for flow‐sensitive analysis.

Optional dominator tree for flow‐sensitive analysis.

Depth

Current recursion depth for this query.

Created with MrDocs