¶bool propagatesFullPoison(
    const llvm::Instruction* I)

Description

Return true if this function can prove that I is guaranteed to yield full-poison (all bits poison) if at least one of its operands are full-poison (all bits poison). The exact rules for how poison propagates through instructions have not been settled as of 2015-07-10, so this function is conservative and only considers poison to be propagated in uncontroversial cases. There is no attempt to track values that may be only partially poison.

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

Parameters

const llvm::Instruction* I