Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
thorin::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  lower_for_pass : flags_t
 

Variables

static constexpr plugin_t Plugin_Id = 0x871ca3c60000000
 

%affine.For

enum  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

Definition at line 15 of file autogen.h.

◆ lower_for_pass

Definition at line 26 of file autogen.h.

Function Documentation

◆ fn_for()

const Def * thorin::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 * thorin::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 20 of file affine.h.

References fn_for().

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

Variable Documentation

◆ Plugin_Id

constexpr plugin_t thorin::plug::affine::Plugin_Id = 0x871ca3c60000000
staticconstexpr

Definition at line 10 of file autogen.h.