SageInterface::exactCanonicalLoopTripCount

Return an exact constant trip count when both bounds are exact integer constants in the induction type's domain and the terminal increment cannot overflow or wrap. Dynamic bounds, an unsafe terminal increment, and an unrepresentable count return nullopt; a consumer requiring a constant count must reject nullopt.

Synopsis

Declared in <SageIII/sageInterface/sageInterface.h>

[[visibility]]
std::optional<unsigned long long>
exactCanonicalLoopTripCount(CheckedCanonicalLoopPlan const& plan);

Return Value

Class template for optional values.

Parameters

Name	Description
plan	Immutable, fully checked description of one transformable C/C++ loop.

Created with MrDocs