Module ControlFlow::Internal::LoopUnrollingSplitting

Import path

import csharp

Predicates

Classes

LoopUnrollingSplitImpl

A split for loops where the body is guaranteed to be executed at least once, and can therefore be unrolled in the control flow graph. For example, in

UnrollableLoopStmt

A loop where the body is guaranteed to be executed at least once, and can therefore be unrolled in the control flow graph.