Returns true if the give value is known to be non-negative.
Declared in <llvm/Analysis/ValueTracking.h>
bool
isKnownNonNegative(
Value const* V,
SimplifyQuery const& SQ,
unsigned int Depth = 0);True if V is known non-negative.
| 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. |