ΒΆbool isOverflowIntrinsicNoWrap(
    const llvm::WithOverflowInst* WO,
    const llvm::DominatorTree& DT)

Description

Returns true if the arithmetic part of the \p WO 's result is used only along the paths control dependent on the computation not overflowing, \p WO being an <op >.with.overflow intrinsic.

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

Parameters

const llvm::WithOverflowInst* WO
const llvm::DominatorTree& DT