ΒΆOptional<bool> isImpliedCondition(
    const llvm::Value* LHS,
    const llvm::Value* RHS,
    const llvm::DataLayout& DL,
    bool LHSIsTrue = true,
    unsigned int Depth = 0)

Description

Return true if RHS is known to be implied true by LHS. Return false if RHS is known to be implied false by LHS. Otherwise, return None if no implication can be made. A & B must be i1 (boolean) values or a vector of such values. Note that the truth table for implication is the same as < =u on i1 values (but not < =s!). The truth table for both is: | T | F (B) T | T | F F | T | T (A)

Declared at: llvm/include/llvm/Analysis/ValueTracking.h:841

Parameters

const llvm::Value* LHS
const llvm::Value* RHS
const llvm::DataLayout& DL
bool LHSIsTrue = true
unsigned int Depth = 0