propagate_constant.cpp 1.19 KB
Newer Older
Paul's avatar
Paul committed
1
#include <migraphx/propagate_constant.hpp>
Paul's avatar
Paul committed
2
3
4
#include <migraphx/program.hpp>
#include <migraphx/matcher.hpp>
#include <migraphx/literal.hpp>
Paul's avatar
Paul committed
5
#include <migraphx/functional.hpp>
6
#include <unordered_set>
Paul's avatar
Paul committed
7

Paul's avatar
Paul committed
8
namespace migraphx {
Paul's avatar
Paul committed
9
inline namespace MIGRAPHX_INLINE_NS {
Paul's avatar
Paul committed
10

Paul's avatar
Paul committed
11
bool skip_propogate(instruction_ref ins)
Paul's avatar
Paul committed
12
{
Paul's avatar
Paul committed
13
    if(ins->name() == "@literal")
Paul's avatar
Paul committed
14
        return true;
Paul's avatar
Paul committed
15
16
    auto&& s = ins->get_shape();
    if(s.broadcasted() and not s.scalar())
Paul's avatar
Paul committed
17
        return true;
Paul's avatar
Paul committed
18
    if(s.scalar() and s.elements() != 1)
Paul's avatar
Paul committed
19
20
21
        return true;
    return false;
}
Paul's avatar
Paul committed
22

Paul's avatar
Paul committed
23
void propagate_constant::apply(program& p) const
Paul's avatar
Paul committed
24
25
{
    fix([&](auto self, auto ins) {
Paul's avatar
Paul committed
26
        if(not skip_propogate(ins))
Paul's avatar
Paul committed
27
28
        {
            auto r = ins->eval();
Paul's avatar
Paul committed
29
            if(not r.empty())
Paul's avatar
Paul committed
30
            {
Paul's avatar
Paul committed
31
                assert(r.get_shape() == ins->get_shape());
Paul's avatar
Paul committed
32
33
34
35
36
                auto l = p.add_literal(r.get_shape(), r.data());
                p.replace_instruction(ins, l);
                return;
            }
        }
Paul's avatar
Paul committed
37
        std::unordered_set<instruction_ref> children(ins->inputs().begin(), ins->inputs().end());
Paul's avatar
Paul committed
38
        for(auto child : children)
Paul's avatar
Paul committed
39
40
41
            self(child);
    })(std::prev(p.end()));
}
Paul's avatar
Paul committed
42

Paul's avatar
Paul committed
43
} // namespace MIGRAPHX_INLINE_NS
Paul's avatar
Paul committed
44
} // namespace migraphx