ΒΆOptional<bool> isImpliedCondition(
const llvm::Value* LHS,
CmpInst::Predicate RHSPred,
const llvm::Value* RHSOp0,
const llvm::Value* RHSOp1,
const llvm::DataLayout& DL,
bool LHSIsTrue = true,
unsigned int Depth = 0)
Optional<bool> isImpliedCondition(
const llvm::Value* LHS,
CmpInst::Predicate RHSPred,
const llvm::Value* RHSOp0,
const llvm::Value* RHSOp1,
const llvm::DataLayout& DL,
bool LHSIsTrue = true,
unsigned int Depth = 0)
Declared at: llvm/include/llvm/Analysis/ValueTracking.h:844
Parameters
- const llvm::Value* LHS
- CmpInst::Predicate RHSPred
- const llvm::Value* RHSOp0
- const llvm::Value* RHSOp1
- const llvm::DataLayout& DL
- bool LHSIsTrue = true
- unsigned int Depth = 0