MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::plug::matrix::LowerMatrixLowLevel Class Reference

In this phase, we lower all matrix operations and types to the low-level representation using pointers. More...

#include <mim/plug/matrix/pass/lower_matrix_lowlevel.h>

Inheritance diagram for mim::plug::matrix::LowerMatrixLowLevel:
[legend]

Public Member Functions

 LowerMatrixLowLevel (World &world)
 
const Defrewrite_imm_App (const App *) override
 
- Public Member Functions inherited from mim::RWPhase
bool is_bootstrapping () const
 
 RWPhase (World &world, std::string name)
 
void reset () override
 
virtual void rewrite_annex (flags_t, const Def *)
 
virtual void rewrite_external (Def *)
 
Worldworld ()=delete
 Hides both and forbids direct access.
 
Worldold_world ()
 Get old Defs from here.
 
Worldnew_world ()
 Create new Defs into this.
 
- Public Member Functions inherited from mim::Phase
 Phase (World &world, std::string name)
 
virtual ~Phase ()=default
 
Worldworld ()
 
std::string_view name () const
 
bool todo () const
 
virtual void run ()
 Entry point and generates some debug output; invokes Phase::start.
 
- Public Member Functions inherited from mim::Rewriter
 Rewriter (std::unique_ptr< World > &&ptr)
 
 Rewriter (World &world)
 
void reset (std::unique_ptr< World > &&ptr)
 
void reset ()
 
Worldworld ()
 
virtual void push ()
 
virtual void pop ()
 
const Defmap (const Def *old_def, const Def *new_def)
 Map old_def to new_def and returns new_def.
 
const Deflookup (const Def *old_def)
 Lookup old_def by searching in reverse through the stack of maps.
 
virtual const Defrewrite (const Def *)
 
virtual const Defrewrite_imm (const Def *)
 
virtual const Defrewrite_mut (Def *)
 
virtual const Defrewrite_stub (Def *, Def *)
 
virtual DefVec rewrite (Defs)
 
virtual const Defrewrite_imm_Seq (const Seq *seq)
 
virtual const Defrewrite_mut_Seq (Seq *seq)
 

Additional Inherited Members

template<class P, class... Args>
static void run (Args &&... args)
 Runs a single Phase.
 
- Protected Member Functions inherited from mim::RWPhase
void start () override
 Actual entry.
 
- Protected Attributes inherited from mim::RWPhase
bool bootstrapping_ = true
 
- Protected Attributes inherited from mim::Phase
bool todo_ = false
 Set to true to indicate that you want to rerun all Phasees in current your fixed-point PhaseMan.
 

Detailed Description

In this phase, we lower all matrix operations and types to the low-level representation using pointers.

The matrix type is replaced by a pointer to n nested arrays.

  • init is replaced with alloc
  • read becomes lea+load
  • insert becomes lea+store
  • constMat becomes alloc+pack+store

Definition at line 17 of file lower_matrix_lowlevel.h.

Constructor & Destructor Documentation

◆ LowerMatrixLowLevel()

mim::plug::matrix::LowerMatrixLowLevel::LowerMatrixLowLevel ( World & world)
inline

Definition at line 19 of file lower_matrix_lowlevel.h.

References mim::RWPhase::RWPhase(), and mim::RWPhase::world().

Member Function Documentation

◆ rewrite_imm_App()

const Def * mim::plug::matrix::LowerMatrixLowLevel::rewrite_imm_App ( const App * app)
override

The documentation for this class was generated from the following files: