branch__clos__elim_8h_source.html

#pragma once


#include <mim/phase.h>


namespace mim::plug::clos::phase {


/// Flattens branches over closure literals back into a direct branch over Lam%s.


class BranchClosElim : public RWPhase {

public:


    BranchClosElim(World& world, flags_t annex)

        : RWPhase(world, annex) {}


private:

    const Def* rewrite_imm_App(const App*) final;


    DefMap<Lam*> branch2dropped_;

};


} // namespace mim::plug::clos::phase


mim::App
Definition lam.h:224

mim::Def
Base class for all Defs.
Definition def.h:273

mim::Phase::annex
flags_t annex() const
Definition phase.h:81

mim::RWPhase::RWPhase
RWPhase(World &world, std::string name, Analysis *analysis=nullptr)
Definition phase.h:431

mim::RWPhase::world
World & world()=delete
Hides both and forbids direct access.

mim::World
The World represents the whole program and manages creation of MimIR nodes (Defs).
Definition world.h:40

mim::plug::clos::phase::BranchClosElim::rewrite_imm_App
const Def * rewrite_imm_App(const App *) final
Definition branch_clos_elim.cpp:27

mim::plug::clos::phase::BranchClosElim::BranchClosElim
BranchClosElim(World &world, flags_t annex)
Definition branch_clos_elim.h:10

mim::plug::clos::phase
Definition branch_clos_elim.h:5

mim::flags_t
u64 flags_t
Definition types.h:39

mim::DefMap
GIDMap< const Def *, To > DefMap
Definition def.h:88

phase.h