Generates code that evaluates if the AR expression will overflow.

Synopsis

Declared in <llvm/Transforms/Utils/ScalarEvolutionExpander.h>

Value*
generateOverflowCheck(
    SCEVAddRecExpr const* AR,
    Instruction* Loc,
    bool Signed);

Return Value

An i1 value that is true when AR would overflow.

Parameters

Name

Description

AR

Add‐recurrence expression to test for overflow.

Loc

Instruction at which the overflow check is inserted.

Signed

Whether to check signed rather than unsigned overflow.

Created with MrDocs