Returns true if the give value is known to be non‐negative.

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

bool
isKnownNonNegative(
    Value const* V,
    SimplifyQuery const& SQ,
    unsigned int Depth = 0);

Return Value

True if V is known non‐negative.

Parameters

Name

Description

V

Value to test for being non‐negative.

SQ

Simplify query providing context for the analysis.

Depth

Current recursion depth for this query.

Created with MrDocs