llvm::isValidAssumeForContext

Return true if it is valid to use the assumptions provided by an assume intrinsic, I, at the point in the control‐flow identified by the context instruction, CxtI. By default, ephemeral values of the assumption are treated as an invalid context, to prevent the assumption from being used to optimize away its argument. If the caller can ensure that this won't happen, it can call with AllowEphemerals set to true to get more valid assumptions.

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

bool
isValidAssumeForContext(
    Instruction const* I,
    Instruction const* CxtI,
    DominatorTree const* DT = nullptr,
    bool AllowEphemerals = false);

Parameters

Name

Description

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

Created with MrDocs