Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
lam_spec.h
Go to the documentation of this file.
1#pragma once
2
3#include "thorin/pass/pass.h"
4
5namespace thorin {
6
7class LamSpec : public RWPass<LamSpec, Lam> {
8public:
10 : RWPass(man, "lam_spec") {}
11
12private:
13 /// @name PassMan hooks
14 ///@{
15 Ref rewrite(Ref) override;
16 ///@}
17
18 Def2Def old2new_;
19};
20
21} // namespace thorin
LamSpec(PassMan &man)
Definition lam_spec.h:9
Ref rewrite(Ref) override
Definition lam_spec.cpp:12
An optimizer that combines several optimizations in an optimal way.
Definition pass.h:107
PassMan & man()
Definition pass.h:30
Inherit from this class using CRTP, if your Pass does not need state and a fixed-point iteration.
Definition pass.h:220
Helper class to retrieve Infer::arg if present.
Definition def.h:85
Definition cfg.h:11
DefMap< const Def * > Def2Def
Definition def.h:59