|
MimIR 0.1
MimIR is my Intermediate Representation
|
#include <mim/phase.h>
Public Member Functions | |
| const ReplMan & | man () const |
Construction | |
| ReplManPhase (World &world, std::unique_ptr< ReplMan > &&man) | |
| ReplManPhase (World &world, flags_t annex) | |
| void | apply (const App *) final |
| Invoked if your Stage has additional args. | |
| void | apply (Stage &) final |
| Dito, but invoked by Stage::recreate. | |
Public Member Functions inherited from mim::RWPhase | |
| bool | is_bootstrapping () const |
| virtual bool | analyze () |
| You can do an optional fixed-point loop on the RWPhase::old_world before rewriting. | |
| RWPhase (World &world, std::string name) | |
| RWPhase (World &world, flags_t annex) | |
| virtual void | rewrite_annex (flags_t, const Def *) |
| virtual void | rewrite_external (Def *) |
| World & | world ()=delete |
| Hides both and forbids direct access. | |
| World & | old_world () |
| Get old Defs from here. | |
| World & | new_world () |
| Create new Defs into this. | |
Public Member Functions inherited from mim::Phase | |
| Phase (World &world, std::string name) | |
| Phase (World &world, flags_t annex) | |
| bool | todo () const |
| virtual void | run () |
| Entry point and generates some debug output; invokes Phase::start. | |
Public Member Functions inherited from mim::Stage | |
| 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. | |
Public Member Functions inherited from mim::Rewriter | |
| Rewriter (std::unique_ptr< World > &&ptr) | |
| Rewriter (World &world) | |
| virtual | ~Rewriter ()=default |
| void | reset (std::unique_ptr< World > &&ptr) |
| void | reset () |
| World & | world () |
| virtual void | push () |
| virtual void | pop () |
| virtual const Def * | map (const Def *old_def, const Def *new_def) |
| const Def * | map (const Def *old_def, Defs new_defs) |
| const Def * | map (Defs old_defs, const Def *new_def) |
| const Def * | map (Defs old_defs, Defs new_defs) |
| virtual const Def * | lookup (const Def *old_def) |
Lookup old_def by searching in reverse through the stack of maps. | |
| virtual const Def * | rewrite_imm (const Def *) |
| virtual const Def * | rewrite_mut (Def *) |
| virtual const Def * | rewrite_stub (Def *, Def *) |
| virtual DefVec | rewrite (Defs) |
| virtual const Def * | rewrite_imm_Seq (const Seq *seq) |
| virtual const Def * | rewrite_mut_Seq (Seq *seq) |
Private Member Functions | |
| void | start () final |
| Actual entry. | |
| const Def * | rewrite (const Def *) final |
Additional Inherited Members | |
| template<class P, class... Args> | |
| static void | run (Args &&... args) |
| Runs a single Phase. | |
| static auto | create (const Flags2Stages &stages, const Def *def) |
| template<class A, class P> | |
| static void | hook (Flags2Stages &stages) |
Protected Member Functions inherited from mim::RWPhase | |
| void | start () override |
| Actual entry. | |
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. | |
Protected Attributes inherited from mim::Stage | |
| std::string | name_ |
Protected Attributes inherited from mim::Rewriter | |
| std::deque< Def2Def > | old2news_ |
Definition at line 158 of file phase.h.
References man(), mim::RWPhase::RWPhase(), and mim::RWPhase::world().
Referenced by apply().
Definition at line 161 of file phase.h.
References mim::Stage::annex(), mim::RWPhase::RWPhase(), and mim::RWPhase::world().
|
finalvirtual |
Invoked if your Stage has additional args.
Reimplemented from mim::Stage.
Definition at line 72 of file phase.cpp.
References mim::Stage::annex(), mim::Stage::create(), mim::Stage::driver(), and mim::RWPhase::old_world().
|
finalvirtual |
Dito, but invoked by Stage::recreate.
Reimplemented from mim::Stage.
Definition at line 81 of file phase.cpp.
References ReplManPhase(), and mim::Rewriter::swap.
|
inline |
Definition at line 168 of file phase.h.
Referenced by ReplManPhase(), rewrite(), and start().
Reimplemented from mim::Rewriter.
Definition at line 94 of file phase.cpp.
References man(), mim::Rewriter::rewrite(), and mim::Phase::todo().
|
finalprivatevirtual |
Actual entry.
Implements mim::Phase.
Definition at line 86 of file phase.cpp.
References mim::World::debug_dump(), ILOG, man(), mim::RWPhase::old_world(), mim::RWPhase::start(), and mim::World::verify().