emitter.h

Go to the documentation of this file.

#pragma once
 
#include "mim/schedule.h"
#include "mim/world.h"
 
#include "mim/phase/phase.h"
 
namespace mim {
 
template<class Value, class Type, class BB, class Child> class Emitter : public NestPhase<Lam> {
private:
    constexpr const Child& child() const { return *static_cast<const Child*>(this); }
    constexpr Child& child() { return *static_cast<Child*>(this); }
 
    /// Internal wrapper for Emitter::emit that schedules @p def and invokes `child().emit_bb`.
    Value emit_(const Def* def) {
        auto place = scheduler_.smart(curr_lam_, def);
        auto& bb   = lam2bb_[place->mut()->as<Lam>()];
        return child().emit_bb(bb, def);
    }
 
public:
    Tab tab;
 
protected:
    Emitter(World& world, std::string_view name, std::ostream& ostream)
        : NestPhase(world, name, false, false)
        , ostream_(ostream) {}
 
    std::ostream& ostream() const { return ostream_; }
 
    /// Recursively emits code.
    /// `mem`-typed @p def%s return sth that is `!child().is_valid(value)`.
    /// This variant asserts in this case.
    Value emit(const Def* def) {
        auto res = emit_unsafe(def);
        assert(child().is_valid(res));
        return res;
    }
 
    /// As above but returning `!child().is_valid(value)` is permitted.
    Value emit_unsafe(const Def* def) {
        if (auto i = globals_.find(def); i != globals_.end()) return i->second;
        if (auto i = locals_.find(def); i != locals_.end()) return i->second;
 
        auto val            = emit_(def);
        return locals_[def] = val;
    }
 
    void visit(const Nest& nest) override {
        if (!root()->is_set()) {
            child().emit_imported(root());
            return;
        }
 
        auto muts = Scheduler::schedule(nest); // TODO make sure to not compute twice
 
        // make sure that we don't need to rehash later on
        for (auto mut : muts)
            if (auto lam = mut->isa<Lam>()) lam2bb_.emplace(lam, BB());
        auto old_size = lam2bb_.size();
 
        assert(root()->ret_var());
 
        auto fct = child().prepare();
 
        Scheduler new_scheduler(nest);
        swap(scheduler_, new_scheduler);
 
        for (auto mut : muts) {
            if (auto lam = mut->isa<Lam>()) {
                curr_lam_ = lam;
                assert(lam == root() || Lam::isa_basicblock(lam));
                child().emit_epilogue(lam);
            }
        }
 
        child().finalize();
        locals_.clear();
        assert_unused(lam2bb_.size() == old_size && "really make sure we didn't triger a rehash");
    }
 
    Lam* curr_lam_ = nullptr;
    std::ostream& ostream_;
    Scheduler scheduler_;
    DefMap<Value> locals_;
    DefMap<Value> globals_;
    DefMap<Type> types_;
    LamMap<BB> lam2bb_;
};
 
} // namespace mim