Enum LoopRole

• Defined in File legality.hpp

Enum Documentation

enum class sequant::eval::LoopRole

Legality analysis output types of the ordered-scope batched-eval design: per-value classification of which batch-loop axes a value’s computation depends on, and whether it is legal to home the value at each such axis.

The role a batch-loop axis plays at one value (analyze_legality fills CellLegality::per_axis with these).

Values:

enumerator LoopLocal

the axis is fully consumed within the value’s own build

enumerator Reduction

the axis is summed (contracted) at or below the value

enumerator LoopCarried

the axis survives into the value’s own result indices

enumerator LoopInvariant

the axis encloses the value but the value does not depend on it (a pure replication context)