ΒΆbool impliesPoison(
const llvm::Value* ValAssumedPoison,
const llvm::Value* V)
bool impliesPoison(
const llvm::Value* ValAssumedPoison,
const llvm::Value* V)
Description
Return true if V is poison given that ValAssumedPoison is already poison. For example, if ValAssumedPoison is `icmp X, 10` and V is `icmp X, 5`, impliesPoison returns true.
Declared at: llvm/include/llvm/Analysis/ValueTracking.h:676
Parameters
- const llvm::Value* ValAssumedPoison
- const llvm::Value* V