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:

    using RWPhase::RWPhase;


private:

    const Def* rewrite_imm_App(const App*) final;


    DefMap<Lam*> branch2dropped_;

};


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


mim::App
Definition lam.h:215

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

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

mim::plug::clos::phase::BranchClosElim
Flattens branches over closure literals back into a direct branch over Lams.
Definition branch_clos_elim.h:8

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::RWPhase
RWPhase(World &world, std::string name, Analysis *analysis=nullptr)
Definition phase.h:334

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

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

phase.h