MimIR 0.1
MimIR is my Intermediate Representation
|
In this step, we lower map_reduce
operations into affine for loops making the iteration scheme explicit.
More...
#include <mim/plug/matrix/pass/lower_matrix_mediumlevel.h>
Public Member Functions | |
LowerMatrixMediumLevel (World &world, flags_t annex) | |
const Def * | rewrite (const Def *) override |
custom rewrite function memoized version of rewrite_ | |
const Def * | rewrite_ (const Def *) |
![]() | |
RWPass (World &world, std::string name) | |
RWPass (World &world, flags_t annex) | |
bool | inspect () const override |
Should the PassMan even consider this pass? | |
Lam * | curr_mut () const |
![]() | |
Pass (World &world, std::string name) | |
Pass (World &world, flags_t annex) | |
virtual void | init (PassMan *) |
PassMan & | man () |
const PassMan & | man () const |
size_t | index () const |
virtual const Def * | rewrite (const Var *var) |
virtual const Def * | rewrite (const Proxy *proxy) |
virtual undo_t | analyze (const Def *) |
virtual undo_t | analyze (const Var *) |
virtual undo_t | analyze (const Proxy *) |
virtual bool | fixed_point () const |
virtual void | enter () |
Invoked just before Pass::rewriteing PassMan::curr_mut's body. | |
virtual void | prepare () |
Invoked once before entering the main rewrite loop. | |
const Proxy * | proxy (const Def *type, Defs ops, u32 tag=0) |
const Proxy * | isa_proxy (const Def *def, u32 tag=0) |
Check whether given def is a Proxy whose Proxy::pass matches this Pass's IPass::index . | |
const Proxy * | as_proxy (const Def *def, u32 tag=0) |
![]() | |
World & | world () |
Driver & | driver () |
Log & | log () const |
std::string_view | name () const |
flags_t | annex () const |
Stage (World &world, std::string name) | |
Stage (World &world, flags_t annex) | |
virtual | ~Stage ()=default |
virtual std::unique_ptr< Stage > | recreate () |
Creates a new instance; needed by a fixed-point PhaseMan. | |
virtual void | apply (const App *) |
Invoked if your Stage has additional args. | |
virtual void | apply (Stage &) |
Dito, but invoked by Stage::recreate. | |
Additional Inherited Members | |
static auto | create (const Flags2Stages &stages, const Def *def) |
template<class A, class P> | |
static void | hook (Flags2Stages &stages) |
![]() | |
std::string | name_ |
In this step, we lower map_reduce
operations into affine for loops making the iteration scheme explicit.
Pseudo-code:
Detailed pseudo-code:
Definition at line 45 of file lower_matrix_mediumlevel.h.
|
inline |
Definition at line 47 of file lower_matrix_mediumlevel.h.
References mim::Stage::annex(), mim::RWPass< LowerMatrixMediumLevel, Lam >::RWPass(), and mim::Stage::world().
custom rewrite function memoized version of rewrite_
Reimplemented from mim::Pass.
Definition at line 19 of file lower_matrix_mediumlevel.cpp.
References rewrite_().
Definition at line 39 of file lower_matrix_mediumlevel.cpp.
References mim::Stage::annex(), mim::World::annex(), mim::World::app(), mim::World::call(), mim::plug::matrix::counting_for(), DLOG, ELOG, mim::get(), mim::Lit::get(), mim::Axm::isa(), mim::Lit::isa(), mim::plug::mem::mut_con(), mim::World::mut_fun(), mim::plug::direct::op_cps2ds_dep(), mim::plug::matrix::op_read(), mim::Lam::set(), mim::World::sym(), mim::World::tuple(), mim::World::type_i32(), mim::World::type_idx(), mim::Def::var(), and mim::Stage::world().
Referenced by rewrite().