Inherit from this class using CRTP, if you do need a Pass with a state and a fixed-point. More...
#include <thorin/pass/pass.h>
Public Types | |
| using | Super = RWPass< P, M > |
| using | Data = std::tuple<> |
| Default. | |
Public Member Functions | |
| FPPass (PassMan &man, std::string_view name) | |
| bool | fixed_point () const override |
 Public Member Functions inherited from thorin::RWPass< P, M > | |
| RWPass (PassMan &man, std::string_view name) | |
| bool | inspect () const override |
| Should the PassMan even consider this pass? | |
| M * | curr_mut () const |
| Public Member Functions inherited from thorin::Pass | |
| Pass (PassMan &, std::string_view name) | |
| virtual | ~Pass ()=default |
| World & | world () |
| PassMan & | man () |
| const PassMan & | man () const |
| std::string_view | name () const |
| size_t | index () const |
| virtual Ref | rewrite (Ref def) |
| virtual Ref | rewrite (const Var *var) |
| virtual Ref | rewrite (const Proxy *proxy) |
| virtual undo_t | analyze (Ref) |
| virtual undo_t | analyze (const Var *) |
| virtual undo_t | analyze (const Proxy *) |
| virtual void | enter () |
| Invoked just before Pass::rewriteing PassMan::curr_mut's body. | |
| virtual void | prepare () |
| Invoked once before entering the main rewrite loop. | |
| const Proxy * | proxy (Ref type, Defs ops, u32 tag=0) |
| const Proxy * | isa_proxy (Ref def, u32 tag=0) |
Check whether given def is a Proxy whose Proxy::pass matches this Pass's IPass::index. | |
| const Proxy * | as_proxy (Ref def, u32 tag=0) |
Protected Member Functions | |
State-related Getters | |
| const auto & | states () const |
| auto & | states () |
| auto & | data () |
| template<size_t I> | |
| auto & | data () |
| template<class K > | |
| auto & | data (const K &key) |
Use this for your convenience if P::Data is a map. | |
| template<size_t I, class K > | |
| auto & | data (const K &key) |
Use this for your convenience if P::Data<I> is a map. | |
undo | |
| undo_t | curr_undo () const |
| Current undo point. | |
| undo_t | undo_visit (Def *mut) const |
Retrieves the point to backtrack to just before mut was seen the very first time. | |
| undo_t | undo_enter (Def *mut) const |
Retrieves the point to backtrack to just before rewriting mut's body. | |
Private Member Functions | |
Memory Management for State | |
| void * | alloc () override |
| Default constructor. | |
| void * | copy (const void *p) override |
| Copy constructor. | |
| void | dealloc (void *state) override |
| Destructor. | |
Detailed Description
class thorin::FPPass< P, M >
Inherit from this class using CRTP, if you do need a Pass with a state and a fixed-point.
Member Typedef Documentation
◆ Data
| using thorin::FPPass< P, M >::Data = std::tuple<> |
◆ Super
| using thorin::FPPass< P, M >::Super = RWPass<P, M> |
Constructor & Destructor Documentation
◆ FPPass()
|
inline |
Member Function Documentation
◆ alloc()
|
inlineoverrideprivatevirtual |
◆ copy()
|
inlineoverrideprivatevirtual |
◆ curr_undo()
|
inlineprotected |
◆ data() [1/4]
|
inlineprotected |
Definition at line 257 of file pass.h.
References thorin::Pass::index(), and thorin::FPPass< P, M >::states().
◆ data() [2/4]
|
inlineprotected |
Definition at line 261 of file pass.h.
References thorin::FPPass< P, M >::data().
Referenced by thorin::FPPass< P, M >::data().
◆ data() [3/4]
|
inlineprotected |
Use this for your convenience if P::Data is a map.
Definition at line 263 of file pass.h.
References thorin::FPPass< P, M >::data().
Referenced by thorin::FPPass< P, M >::data().
◆ data() [4/4]
|
inlineprotected |
◆ dealloc()
|
inlineoverrideprivatevirtual |
◆ fixed_point()
|
inlineoverridevirtual |
Reimplemented from thorin::Pass.
◆ states() [1/2]
|
inlineprotected |
Definition at line 256 of file pass.h.
References thorin::Pass::man().
◆ states() [2/2]
|
inlineprotected |
Definition at line 255 of file pass.h.
References thorin::Pass::man().
Referenced by thorin::FPPass< P, M >::data(), and thorin::FPPass< P, M >::undo_enter().
◆ undo_enter()
|
inlineprotected |
Retrieves the point to backtrack to just before rewriting mut's body.
Definition at line 280 of file pass.h.
References thorin::RWPass< P, M >::curr_mut(), thorin::No_Undo, and thorin::FPPass< P, M >::states().
◆ undo_visit()
|
inlineprotected |
Retrieves the point to backtrack to just before mut was seen the very first time.
Definition at line 273 of file pass.h.
References thorin::Pass::man(), and thorin::No_Undo.
The documentation for this class was generated from the following file:
- include/thorin/pass/pass.h
