add_mem.h

Go to the documentation of this file.

#pragma once
 
#include <mim/analyses/schedule.h>
#include <mim/phase/phase.h>
 
namespace mim::plug::mem {
 
/// This phase adds mems to all lambdas and continuations.
/// It's primarily to be used as preparation for other phases
/// that rely on all continuations having a mem.
class AddMem : public ScopePhase {
public:
    AddMem(World& world)
        : ScopePhase(world, "add_mem", true) {
        dirty_ = true;
    }
 
    void visit(const Scope&) override;
 
private:
    const Def* add_mem_to_lams(Lam*, const Def*);
    const Def* rewrite_type(const Def*);
    const Def* rewrite_pi(const Pi*);
    /// Return the most recent memory for the given lambda.
    const Def* mem_for_lam(Lam*) const;
 
    Scheduler sched_;
    // Stores the most recent memory for a lambda.
    Def2Def val2mem_;
    // Memoization & Association for rewritten defs.
    Def2Def mem_rewritten_;
};
 
} // namespace mim::plug::mem