Thorin 1.9.0
The Higher ORder INtermediate representation
|
#include <thorin/rewrite.h>
Public Member Functions | |
VarRewriter (Ref var, Ref arg) | |
Ref | rewrite_imm (Ref imm) override |
Ref | rewrite_mut (Def *mut) override |
Public Member Functions inherited from thorin::Rewriter | |
Rewriter (World &world) | |
World & | world () |
Ref | map (Ref old_def, Ref new_def) |
Map old_def to new_def and returns new_def ;. | |
virtual Ref | rewrite (Ref) |
Definition at line 33 of file rewrite.h.
References thorin::Rewriter::map(), thorin::World::vars(), and thorin::Rewriter::world().
Reimplemented from thorin::Rewriter.
Definition at line 43 of file rewrite.h.
References thorin::PooledSet< T >::empty(), thorin::Def::local_muts(), thorin::Def::local_vars(), and thorin::Rewriter::rewrite_imm().
Reimplemented from thorin::Rewriter.
Definition at line 48 of file rewrite.h.
References thorin::Def::free_vars(), thorin::Def::has_var(), thorin::World::insert(), thorin::Rewriter::map(), thorin::Rewriter::rewrite_mut(), and thorin::Rewriter::world().