lower_map_reduce.h

Go to the documentation of this file.

#pragma once
 
#include <functional>
 
#include <mim/phase.h>
 
namespace mim::plug::tensor::phase {
 
/// Lowers the low-level tensor axioms (`map_reduce`, `generate`, `pad`, `concat`, `broadcast`)
/// directly to their underlying primitives (loops, `extract`, `insert`, `pack`, …).
/// High-level axioms (`transpose`, `conv`, `broadcast_in_dim`, …) are expected to have been desugared to
/// these low-level axioms by an earlier `Lower` phase.
class LowerMapReduce : public RWPhase {
public:
    LowerMapReduce(World& world, flags_t annex)
        : RWPhase(world, annex) {}
 
private:
    const Def* rewrite_imm_App(const App*) final;
 
    const Def* lower_broadcast(const App*);
    const Def* lower_map_reduce(const App*);
    const Def* lower_generate(const App*);
    const Def* lower_pad(const App*);
    const Def* lower_concat(const App*);
    const Def* lower_gather(const App*);
    const Def* lower_scatter(const App*);
 
    /// Builds `ro` output loops over `So` and writes the element returned by `compute(out_iters, inputs)` at the
    /// identity output coordinates. `out_iters` are the raw i64 loop counters. Used by the non-affine pointwise
    /// lowerings (`pad`, `concat`) whose element value is chosen conditionally on the output coordinate.
    const Def* build_pointwise(const Def* inputs,
                               const Def* type,
                               const Def* So,
                               u64 ro,
                               std::function<const Def*(Defs, const Def*)> compute);
 
    const Def* rec_broadcast(const Def* s_in, const Def* s_out, const Def* input, u64 r, u64 i);
};
 
} // namespace mim::plug::tensor::phase