Skip to content

GitLab

Switch branch/tag
Find file Normal viewHistoryPermalink
basic_ops.hpp 3.68 KB
Newer Older
Paul's avatar
Add dead-code elimination pass  
Paul committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63 
#include <migraph/program.hpp>
#include <migraph/argument.hpp>
#include <migraph/shape.hpp>

struct sum_op
{
    std::string name() const { return "sum"; }
    migraph::argument
    compute(migraph::context&, migraph::shape, std::vector<migraph::argument> args) const
    {
        migraph::argument result;
        if(args.size() != 2)
            MIGRAPH_THROW("Wrong args");
        if(args[0].get_shape() != args[1].get_shape())
            MIGRAPH_THROW("Wrong args");
        if(args[0].get_shape().lens().size() != 1)
            MIGRAPH_THROW("Wrong args");
        if(args[0].get_shape().lens().front() != 1)
            MIGRAPH_THROW("Wrong args");

        args[0].visit_at([&](auto x) {
            args[1].visit_at([&](auto y) { result = migraph::literal{x + y}.get_argument(); });
        });
        return result;
    }

    migraph::shape compute_shape(std::vector<migraph::shape> inputs) const
    {
        if(inputs.size() != 2)
            MIGRAPH_THROW("Wrong inputs");
        return inputs.front();
    }
};

struct minus_op
{
    std::string name() const { return "minus"; }
    migraph::argument
    compute(migraph::context&, migraph::shape, std::vector<migraph::argument> args) const
    {
        migraph::argument result;
        if(args.size() != 2)
            MIGRAPH_THROW("Wrong args");
        if(args[0].get_shape() != args[1].get_shape())
            MIGRAPH_THROW("Wrong args");
        if(args[0].get_shape().lens().size() != 1)
            MIGRAPH_THROW("Wrong args");
        if(args[0].get_shape().lens().front() != 1)
            MIGRAPH_THROW("Wrong args");

        args[0].visit_at([&](auto x) {
            args[1].visit_at([&](auto y) { result = migraph::literal{x - y}.get_argument(); });
        });
        return result;
    }

    migraph::shape compute_shape(std::vector<migraph::shape> inputs) const
    {
        if(inputs.size() != 2)
            MIGRAPH_THROW("Wrong inputs");
        return inputs.front();
    }
};
Paul's avatar
Add a test for broadcast  
Paul committed
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82 

struct pass_op
{
    std::string name() const { return "pass"; }
    migraph::argument
    compute(migraph::context&, migraph::shape, std::vector<migraph::argument> args) const
    {
        if(args.empty())
            return {};
        return args.front();
    }

    migraph::shape compute_shape(std::vector<migraph::shape> inputs) const
    {
        if(inputs.empty())
            return {};
        return inputs.front();
    }
};
Paul's avatar
Update dce to no remove ops with no output  
Paul committed
83
Paul's avatar
Add a pass to eliminate contiguous operators  
Paul committed
84
85
86
87
88
89
90
91
92
93
94
95
96 
struct pass_standard_op
{
    std::string name() const { return "pass"; }
    migraph::argument
    compute(migraph::context&, migraph::shape, std::vector<migraph::argument> args) const
    {
        if(args.empty())
            return {};
        return args.front();
    }

    migraph::shape compute_shape(std::vector<migraph::shape> inputs) const
    {
Paul's avatar
Formatting  
Paul committed
97 
        for(auto&& input : inputs)
Paul's avatar
Add a pass to eliminate contiguous operators  
Paul committed
98
99
100
101
102
103
104
105
106
107 
        {
            if(not input.standard())
                throw std::runtime_error("Not standard shape");
        }
        if(inputs.empty())
            return {};
        return inputs.front();
    }
};
Paul's avatar
Update dce to no remove ops with no output  
Paul committed
108
109
110
111
112
113
114
115
116 
struct nop
{
    std::string name() const { return "nop"; }
    migraph::argument
    compute(migraph::context&, migraph::shape, std::vector<migraph::argument>) const
    {
        return {};
    }
Paul's avatar
Formatting  
Paul committed
117 
    migraph::shape compute_shape(std::vector<migraph::shape>) const { return {}; }
Paul's avatar
Update dce to no remove ops with no output  
Paul committed
118 
};
Paul's avatar
Add a pass to eliminate contiguous operators  
Paul committed
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135 

migraph::literal get_2x2()
{
    return migraph::literal{{migraph::shape::float_type, {2, 2}}, {1, 2, 3, 4}};
}

migraph::literal get_2x2_transposed()
{
    return migraph::literal{{migraph::shape::float_type, {2, 2}, {1, 2}}, {1, 2, 3, 4}};
}

migraph::literal get_2() { return migraph::literal{{migraph::shape::float_type, {2}}, {1, 2}}; }

migraph::literal get_2_broadcasted()
{
    return migraph::literal{{migraph::shape::float_type, {2, 1}, {1, 0}}, {1, 2}};
}