eta_red_phase.h

Go to the documentation of this file.

#pragma once
 
#include "mim/phase/phase.h"
 
namespace mim {
 
/// Inlines in post-order all Lam%s that occur exactly *once* in the program.
class EtaRedPhase : public RWPhase {
public:
    EtaRedPhase(World& world)
        : RWPhase(world, "eta reduction") {}
 
private:
    void rewrite_external(Def*) final;
    const Def* rewrite_no_eta(const Def* def) { return Rewriter::rewrite(def); }
    const Def* rewrite(const Def*);
    const Def* rewrite_imm_Var(const Var*) final;
};
 
} // namespace mim