normalizers.cpp

Go to the documentation of this file.

#include <mim/driver.h>
#include <mim/world.h>
 
#include "mim/plug/compile/compile.h"
 
namespace mim::plug::compile {
 
const Def* normalize_is_loaded(const Def*, const Def*, const Def* arg) {
    auto& world  = arg->world();
    auto& driver = world.driver();
    if (auto str = tuple2str(arg); !str.empty()) return world.lit_bool(driver.is_loaded(driver.sym(str)));
 
    return {};
}
 
/// `%compile.cond_phase name phase` ↦ `phase` if `name`'s plugin is loaded, else `%compile.null_phase`.
const Def* normalize_cond_phase(const Def*, const Def* callee, const Def* phase) {
    auto& world  = phase->world();
    auto& driver = world.driver();
    auto name    = callee->as<App>()->arg();
    if (auto str = tuple2str(name); !str.empty() && driver.is_loaded(driver.sym(str))) return phase;
    return world.annex(Annex::base<null_phase>());
}
 
MIM_compile_NORMALIZER_IMPL
 
} // namespace mim::plug::compile