computeOverflowForSignedAdd overloads

Synopses

Declared in <llvm/Analysis/ValueTracking.h>

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

OverflowResult
computeOverflowForSignedAdd(
    AddOperator const* Add,
    SimplifyQuery const& SQ);

» more...

Compute whether a signed add of LHS and RHS can overflow.

OverflowResult
computeOverflowForSignedAdd(
    WithCache<Value const*> const& LHS,
    WithCache<Value const*> const& RHS,
    SimplifyQuery const& SQ);

» more...

Return Value

Overflow classification for the signed add.

Parameters

Name

Description

Add

Signed add operator to analyze for overflow.

SQ

Simplify query providing context for the analysis.

LHS

Left‐hand operand of the add.

RHS

Right‐hand operand of the add.

Created with MrDocs