¶llvm::OverflowResult computeOverflowForSignedAdd(
    const llvm::AddOperator* Add,
    const llvm::DataLayout& DL,
    llvm::AssumptionCache* AC = nullptr,
    const llvm::Instruction* CxtI = nullptr,
    const llvm::DominatorTree* DT = nullptr)

Description

This version also leverages the sign bit of Add if known.

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

Parameters

const llvm::AddOperator* Add

const llvm::DataLayout& DL

llvm::AssumptionCache* AC = nullptr

const llvm::Instruction* CxtI = nullptr

const llvm::DominatorTree* DT = nullptr