lower_get_set.h

Go to the documentation of this file.

#pragma once
 
#include <mim/phase.h>
 
namespace mim::plug::tensor::phase {
 
/// Lowers the tensor axioms (`get`, `set`)
/// to their underlying primitives (`extract`, `insert`).
class LowerGetSet : public RWPhase {
public:
    LowerGetSet(World& world, flags_t annex)
        : RWPhase(world, annex) {}
 
private:
    const Def* rewrite_imm_App(const App*) final;
 
    const Def* lower_get(const App*);
    const Def* lower_set(const App*);
};
 
} // namespace mim::plug::tensor::phase