MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
branch_normalize.h
Go to the documentation of this file.
1#pragma once
2
3#include "mim/phase.h"
4
5namespace mim {
6
7/// Inlines in post-order all Lam%s that occur exactly *once* in the program.
9public:
12
13private:
14 const Def* normalize(const Def*);
15 const Def* rewrite_mut_Lam(Lam*) final;
16
17 DefSet analyzed_;
18 LamMap<bool> candidate_;
19};
20
21} // namespace mim
BranchNormalizePhase(World &world, flags_t annex)
const Def * rewrite_mut_Lam(Lam *) final
Base class for all Defs.
Definition def.h:251
A function.
Definition lam.h:111
RWPhase(World &world, std::string name)
Definition phase.h:71
World & world()=delete
Hides both and forbids direct access.
flags_t annex() const
Definition pass.h:68
The World represents the whole program and manages creation of MimIR nodes (Defs).
Definition world.h:32
Definition ast.h:14
u64 flags_t
Definition types.h:45
GIDMap< Lam *, To > LamMap
Definition lam.h:220
GIDSet< const Def * > DefSet
Definition def.h:74