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 cannot be undef, but may be poison.

Parameters

Name

Description

V

LLVM Value Representation

AC

A cache of @llvm.assume calls within a function.

DT

Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.

Created with MrDocs