fuse_mlir.cpp 3.02 KB
Newer Older
Paul's avatar
Paul committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <migraphx/gpu/fuse_mlir.hpp>
#include <migraphx/gpu/mlir.hpp>
#include <migraphx/matcher.hpp>
#include <migraphx/pass_manager.hpp>
#include <migraphx/make_op.hpp>

namespace migraphx {
inline namespace MIGRAPHX_INLINE_NS {

struct module;

namespace gpu {

struct find_conv_pointwise
{
    // Find a convolution followed by a pointwise operation.
    auto matcher() const
    {
Paul's avatar
Format  
Paul committed
19
20
21
        auto convolution =
            match::skip(match::name("contiguous"))(match::name("convolution").bind("convolution"));
        return match::name("pointwise")(match::any_of[match::inputs()](convolution.bind("x")));
Paul's avatar
Paul committed
22
23
24
25
    }

    void apply(module& m, match::matcher_result r) const
    {
Paul's avatar
Format  
Paul committed
26
        auto ins      = r.result;
Paul's avatar
Paul committed
27
        auto conv_ins = r.instructions["convolution"];
Paul's avatar
Format  
Paul committed
28
29
30
        auto x_ins    = r.instructions["x"]; // input after contiguous
        auto pm       = ins->module_inputs().front();
        auto names    = pm->get_parameter_names();
Paul's avatar
Paul committed
31
32
33
34
35
        // Whitelist pointwise operators
        if (std::any_of(pm->begin(), pm->end(), [](const auto& i) {
            return not contains({"@literal", "@param", "@return", "convolution", "add", "relu"}, i.name());
        }))
            return;
Paul's avatar
Paul committed
36
37
38
        std::sort(names.begin(), names.end());
        module mm{};
        std::unordered_map<instruction_ref, instruction_ref> param_map;
Paul's avatar
Format  
Paul committed
39
40
41
42
        auto x    = mm.add_parameter("x" + std::to_string(names.size()),
                                  conv_ins->inputs().at(0)->get_shape());
        auto w    = mm.add_parameter("x" + std::to_string(names.size() + 1),
                                  conv_ins->inputs().at(1)->get_shape());
Paul's avatar
Paul committed
43
        auto conv = mm.add_instruction(conv_ins->get_operator(), {x, w});
Paul's avatar
Format  
Paul committed
44
45
46
47
48
49
50
51
52
53
        std::transform(names.begin(),
                       names.end(),
                       ins->inputs().begin(),
                       std::inserter(param_map, param_map.end()),
                       [&](auto name, auto input) {
                           if(input == x_ins)
                               return std::make_pair(pm->get_parameter(name), conv);
                           return std::make_pair(pm->get_parameter(name),
                                                 mm.add_parameter(name, input->get_shape()));
                       });
Paul's avatar
Paul committed
54
55
        mm.add_return(mm.insert_module_instructions(mm.end(), pm, param_map));

Paul's avatar
Paul committed
56
        std::vector<instruction_ref> inputs;
Paul's avatar
Format  
Paul committed
57
58
59
60
        std::copy_if(ins->inputs().begin(),
                     ins->inputs().end(),
                     std::back_inserter(inputs),
                     [&](auto input) { return input != conv_ins; });
Paul's avatar
Paul committed
61
        inputs.insert(inputs.end(), conv_ins->inputs().begin(), conv_ins->inputs().end());
Paul's avatar
Format  
Paul committed
62
63
        inputs.push_back(m.insert_instruction(
            ins, make_op("hip::allocate", {{"shape", to_value(ins->get_shape())}})));
Paul's avatar
Paul committed
64
65
66
67
68
        auto mlir = insert_mlir(m, ins, mm, inputs);
        m.replace_instruction(ins, mlir);
    }
};

Paul's avatar
Format  
Paul committed
69
void fuse_mlir::apply(module& m) const { match::find_matches(m, find_conv_pointwise{}); }
Paul's avatar
Paul committed
70

Paul's avatar
Format  
Paul committed
71
} // namespace gpu
Paul's avatar
Paul committed
72
73
74

} // namespace MIGRAPHX_INLINE_NS
} // namespace migraphx