lower__regex_8h_source.html

#pragma once


#include <mim/phase.h>


namespace mim::plug::regex {


/// Lowers a regex axm application to a DFA matcher function.


class LowerRegex : public RWPhase {

public:


    LowerRegex(World& world, flags_t annex)

        : RWPhase(world, annex) {}


    const Def* rewrite_imm_App(const App*) final;

};


} // namespace mim::plug::regex


mim::App
Definition lam.h:224

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

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:316

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:36

mim::plug::regex::LowerRegex::LowerRegex
LowerRegex(World &world, flags_t annex)
Definition lower_regex.h:10

mim::plug::regex::LowerRegex::rewrite_imm_App
const Def * rewrite_imm_App(const App *) final
Definition lower_regex.cpp:28

mim::plug::regex
The regex Plugin
Definition lower_regex.h:5

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

phase.h