The affine Plugin

Table of Contents

• Dependencies
• Operations
  • %affine.For
• Passes and Phases
  • %affine.lower_for_pass

See also

mim::plug::affine

Dependencies

import mem;

Operations

%affine.For

This operation ranges from (including) begin to (excluding) end using step as stride. In addition, this loop manages n loop accumulators whose initial values init must be given. Each iteration the given body is invoked which receives

• the current iteration index, and
• the current values of the loop accumulators acc, and
• a yield continuation to prematurely continue with the next iteration.

After termination of the loop exit is invoked.

axm %affine.For: {m n: Nat, Ts: «n; *»}
               → [Cn [iter: Idx m, acc: «i: n; Ts#i», yield: Cn «i: n; Ts#i»]] // body
               → [Cn «i: n; Ts#i»]                                             // exit
               → Cn [begin _end step: Idx m, init: «i: n; Ts#i»];

Passes and Phases

%affine.lower_for_pass

Loweres the %%affine.For operation to recursive function calls.

axm %affine.lower_for_phase: %compile.Phase;