MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::plug::affine Namespace Reference

The affine Plugin More...

Classes

class  LowerFor
 Lowers the for axiom to actual control flow in CPS. More...
 

Enumerations

%affine.lower_for_pass
enum class  lower_for_pass : flags_t
 

Variables

static constexpr plugin_t Plugin_Id = 0x871ca3c60000000
 

%affine.For

enum class  For : flags_t
 
const Deffn_for (World &w, Defs params)
 
const Defop_for (World &w, Ref begin, Ref end, Ref step, Defs inits, Ref body, Ref brk)
 Returns a fully applied affine_for axiom.
 

Detailed Description

Enumeration Type Documentation

◆ For

enum class mim::plug::affine::For : flags_t
strong

Definition at line 14 of file autogen.h.

◆ lower_for_pass

Definition at line 21 of file autogen.h.

Function Documentation

◆ fn_for()

const Def * mim::plug::affine::fn_for ( World & w,
Defs params )
inline

Definition at line 13 of file affine.h.

Referenced by op_for().

◆ op_for()

const Def * mim::plug::affine::op_for ( World & w,
Ref begin,
Ref end,
Ref step,
Defs inits,
Ref body,
Ref brk )
inline

Returns a fully applied affine_for axiom.

See documentation for affine.For axiom in The affine Plugin.

Definition at line 19 of file affine.h.

References fn_for().

Referenced by mim::plug::matrix::counting_for().

Variable Documentation

◆ Plugin_Id

plugin_t mim::plug::affine::Plugin_Id = 0x871ca3c60000000
staticconstexpr

Definition at line 10 of file autogen.h.