¶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:673

Parameters

const llvm::Value* LHS

const llvm::Value* RHS

const llvm::DataLayout& DL

bool LHSIsTrue = true

unsigned int Depth = 0