read_onnx.cpp 13.7 KB
Newer Older
Paul's avatar
Paul committed
1
2
3
4
5
6

#include <google/protobuf/text_format.h>
#include <google/protobuf/io/zero_copy_stream_impl.h>
#include <onnx.pb.h>
#include <iostream>
#include <fstream>
Paul's avatar
Paul committed
7
#include <unordered_map>
Paul's avatar
Paul committed
8
#include <functional>
Scott Thornton's avatar
Scott Thornton committed
9
#include <array>
Paul's avatar
Paul committed
10

Paul's avatar
Paul committed
11
#include <rtg/fallthrough.hpp>
Paul's avatar
Paul committed
12
#include <rtg/program.hpp>
Paul's avatar
Paul committed
13
#include <rtg/operators.hpp>
Paul's avatar
Paul committed
14

Paul's avatar
Paul committed
15
16
17
#include <rtg/cpu/cpu_target.hpp>
#include <random>

Paul's avatar
Paul committed
18
19
20
struct unknown
{
    std::string op;
Paul's avatar
Paul committed
21
    std::string name() const { return "unknown:" + op; }
Paul's avatar
Paul committed
22
23
    rtg::shape compute_shape(std::vector<rtg::shape> input) const
    {
Paul's avatar
Paul committed
24
25
26
27
        if(input.empty())
            return {};
        else
            return input.front();
Paul's avatar
Paul committed
28
    }
Paul's avatar
Paul committed
29
30
31
32
    rtg::argument compute(rtg::shape, std::vector<rtg::argument>) const
    {
        RTG_THROW("not computable");
    }
Paul's avatar
Paul committed
33
    friend std::ostream& operator<<(std::ostream& os, const unknown& x)
Paul's avatar
Paul committed
34
35
36
37
    {
        os << x.name();
        return os;
    }
Paul's avatar
Paul committed
38
};
Paul's avatar
Paul committed
39

Paul's avatar
Paul committed
40
template <class C, class T>
Paul's avatar
Paul committed
41
42
43
44
45
bool contains(C&& c, T&& x)
{
    return c.find(x) != c.end();
}

Paul's avatar
Paul committed
46
template <class Range, class Iterator>
Paul's avatar
Paul committed
47
48
49
50
51
void copy(Range&& r, Iterator it)
{
    std::copy(r.begin(), r.end(), it);
}

Paul's avatar
Paul committed
52
struct onnx_parser
Paul's avatar
Paul committed
53
{
Paul's avatar
Paul committed
54
    using attribute_map = std::unordered_map<std::string, onnx::AttributeProto>;
Paul's avatar
Paul committed
55
    using node_map      = std::unordered_map<std::string, onnx::NodeProto>;
Paul's avatar
Paul committed
56
57
    using op_func =
        std::function<rtg::instruction_ref(attribute_map, std::vector<rtg::instruction_ref>)>;
Paul's avatar
Paul committed
58
    node_map nodes;
Paul's avatar
Paul committed
59
    std::unordered_map<std::string, rtg::instruction_ref> instructions;
Paul's avatar
Paul committed
60
    rtg::program prog = rtg::program();
Paul's avatar
Paul committed
61

Paul's avatar
Paul committed
62
    std::unordered_map<std::string, op_func> ops;
Paul's avatar
Paul committed
63
64
65

    onnx_parser()
    {
Paul's avatar
Paul committed
66
        add_op("Conv", [this](attribute_map attributes, std::vector<rtg::instruction_ref> args) {
Paul's avatar
Paul committed
67
68
69
70
71
72
73
74
75
76
77
78
79
            rtg::convolution op;
            if(contains(attributes, "pads"))
            {
                copy(attributes["pads"].ints(), op.padding.begin());
            }
            if(contains(attributes, "strides"))
            {
                copy(attributes["strides"].ints(), op.stride.begin());
            }
            if(contains(attributes, "dilations"))
            {
                copy(attributes["dilations"].ints(), op.dilation.begin());
            }
Paul's avatar
Paul committed
80
            return prog.add_instruction(op, args);
Paul's avatar
Paul committed
81
        });
82
83
84
        add_op("MatMul", [this](attribute_map, std::vector<rtg::instruction_ref> args) {
            return prog.add_instruction(rtg::gemm{}, args);
        });
Paul's avatar
Paul committed
85
        add_op("MaxPool", [this](attribute_map attributes, std::vector<rtg::instruction_ref> args) {
Paul's avatar
Paul committed
86
87
88
89
90
91
92
93
94
95
96
97
98
99
            rtg::pooling op{"max"};
            // for(auto&& p:attributes) std::cout << p.first << std::endl;
            if(contains(attributes, "pads"))
            {
                copy(attributes["pads"].ints(), op.padding.begin());
            }
            if(contains(attributes, "strides"))
            {
                copy(attributes["strides"].ints(), op.stride.begin());
            }
            if(contains(attributes, "kernel_shape"))
            {
                copy(attributes["kernel_shape"].ints(), op.lengths.begin());
            }
Paul's avatar
Paul committed
100
            return prog.add_instruction(op, args);
Paul's avatar
Paul committed
101
        });
Paul's avatar
Paul committed
102
        add_op("Relu", [this](attribute_map, std::vector<rtg::instruction_ref> args) {
Paul's avatar
Paul committed
103
            return prog.add_instruction(rtg::activation{"relu"}, args);
Paul's avatar
Paul committed
104
        });
Paul's avatar
Paul committed
105
        add_op("Reshape", [this](attribute_map attributes, std::vector<rtg::instruction_ref> args) {
Paul's avatar
Paul committed
106
107
            rtg::reshape op;
            rtg::literal s = parse_value(attributes.at("shape"));
Paul's avatar
Paul committed
108
            s.visit([&](auto v) { copy(v, std::back_inserter(op.dims)); });
Paul's avatar
Paul committed
109
            return prog.add_instruction(op, args);
Paul's avatar
Paul committed
110
        });
Paul's avatar
Paul committed
111
        add_op("Constant", [this](attribute_map attributes, std::vector<rtg::instruction_ref>) {
Paul's avatar
Paul committed
112
            rtg::literal v = parse_value(attributes.at("value"));
Paul's avatar
Paul committed
113
            return prog.add_literal(v);
Paul's avatar
Paul committed
114
        });
115
        add_op("Add", [this](attribute_map attributes, std::vector<rtg::instruction_ref> args) {
Scott Thornton's avatar
Scott Thornton committed
116
            if(contains(attributes, "broadcast"))
117
118
            {
                uint64_t broadcast = parse_value(attributes.at("broadcast")).at<uint64_t>();
Scott Thornton's avatar
Scott Thornton committed
119
120
121
122
123
                if(broadcast != 0)
                {
                    uint64_t axis = (contains(attributes, "axis"))
                                        ? parse_value(attributes.at("axis")).at<uint64_t>()
                                        : 0;
124
125
                    auto l = prog.add_instruction(rtg::broadcast{axis}, args);
                    return prog.add_instruction(rtg::add{}, args[0], l);
Scott Thornton's avatar
Scott Thornton committed
126
                }
127
128
129
130
131
132
133
134
135
136
137
138
            }
            return prog.add_instruction(rtg::add{}, args);
        });
        add_op("Sub", [this](attribute_map, std::vector<rtg::instruction_ref> args) {
            return prog.add_instruction(rtg::sub{}, args);
        });
        add_op("Mul", [this](attribute_map, std::vector<rtg::instruction_ref> args) {
            return prog.add_instruction(rtg::mul{}, args);
        });
        add_op("Div", [this](attribute_map, std::vector<rtg::instruction_ref> args) {
            return prog.add_instruction(rtg::div{}, args);
        });
Paul's avatar
Paul committed
139
140
    }

Paul's avatar
Paul committed
141
    template <class F>
Paul's avatar
Paul committed
142
143
144
145
146
147
148
149
    void add_op(std::string name, F f)
    {
        ops.emplace(name, f);
    }

    void parse_from(std::istream& is)
    {
        onnx::ModelProto model;
Paul's avatar
Paul committed
150
        if(model.ParseFromIstream(&is))
Paul's avatar
Paul committed
151
        {
Paul's avatar
Paul committed
152
            if(model.has_graph())
Paul's avatar
Paul committed
153
154
155
            {
                this->parse_graph(model.graph());
            }
Paul's avatar
Paul committed
156
157
        }
        else
Paul's avatar
Paul committed
158
159
160
161
162
        {
            throw std::runtime_error("Failed reading");
        }
    }

Paul's avatar
Paul committed
163
    void parse_graph(const onnx::GraphProto& graph)
Paul's avatar
Paul committed
164
    {
Paul's avatar
Paul committed
165
        nodes = get_nodes(graph);
Paul's avatar
Paul committed
166
        for(auto&& input : graph.input())
Paul's avatar
Paul committed
167
        {
Paul's avatar
Paul committed
168
            const std::string& name = input.name();
Paul's avatar
Paul committed
169
            // TODO: Get shape of input parameter
Paul's avatar
Paul committed
170
            rtg::shape s       = parse_type(input.type());
Paul's avatar
Paul committed
171
            instructions[name] = prog.add_parameter(name, s);
Paul's avatar
Paul committed
172
        }
Paul's avatar
Paul committed
173
        for(auto&& p : nodes)
Paul's avatar
Paul committed
174
175
176
        {
            this->parse_node(p.second.name());
        }
Paul's avatar
Paul committed
177
178
    }

Paul's avatar
Paul committed
179
    void parse_node(std::string name)
Paul's avatar
Paul committed
180
    {
Paul's avatar
Paul committed
181
        if(instructions.count(name) == 0)
Paul's avatar
Paul committed
182
183
        {
            auto&& node = nodes.at(name);
Paul's avatar
Paul committed
184
            std::vector<rtg::instruction_ref> args;
Paul's avatar
Paul committed
185
            for(auto&& input : node.input())
Paul's avatar
Paul committed
186
187
188
189
190
191
192
193
194
195
196
197
            {
                if(nodes.count(input) > 0)
                {
                    auto&& iname = nodes.at(input).name();
                    this->parse_node(iname);
                    args.push_back(instructions.at(iname));
                }
                else
                {
                    args.push_back(instructions.at(input));
                }
            }
Paul's avatar
Paul committed
198
            if(ops.count(node.op_type()) == 0)
Paul's avatar
Paul committed
199
            {
Paul's avatar
Paul committed
200
                instructions[name] = prog.add_instruction(unknown{node.op_type()}, args);
Paul's avatar
Paul committed
201
202
203
204
205
            }
            else
            {
                instructions[name] = ops[node.op_type()](get_attributes(node), args);
            }
Paul's avatar
Paul committed
206
        }
Paul's avatar
Paul committed
207
208
    }

Paul's avatar
Paul committed
209
    static attribute_map get_attributes(const onnx::NodeProto& node)
Paul's avatar
Paul committed
210
211
    {
        std::unordered_map<std::string, onnx::AttributeProto> result;
Paul's avatar
Paul committed
212
        for(auto&& attr : node.attribute())
Paul's avatar
Paul committed
213
        {
Paul's avatar
Paul committed
214
215
216
217
218
            result[attr.name()] = attr;
        }
        return result;
    }

Paul's avatar
Paul committed
219
    static node_map get_nodes(const onnx::GraphProto& graph)
Paul's avatar
Paul committed
220
221
    {
        std::unordered_map<std::string, onnx::NodeProto> result;
Paul's avatar
Paul committed
222
        for(auto&& node : graph.node())
Paul's avatar
Paul committed
223
224
        {
            result[node.name()] = node;
Paul's avatar
Paul committed
225
            for(auto&& output : node.output())
Paul's avatar
Paul committed
226
227
228
229
230
231
232
            {
                result[output] = node;
            }
        }
        return result;
    }

Paul's avatar
Paul committed
233
    template <class T>
Paul's avatar
Paul committed
234
235
236
237
238
239
    static rtg::literal from_repeated(rtg::shape::type_t t, const T& r)
    {
        std::size_t size = r.size();
        return rtg::literal{{t, {size}}, r.begin(), r.end()};
    }

Paul's avatar
Paul committed
240
241
242
243
    static rtg::literal parse_value(const onnx::AttributeProto& attr)
    {
        switch(attr.type())
        {
Paul's avatar
Paul committed
244
245
246
247
248
249
        case onnx::AttributeProto::UNDEFINED: return {};
        case onnx::AttributeProto::FLOAT: return rtg::literal{attr.f()};
        case onnx::AttributeProto::INT: return rtg::literal{attr.i()};
        case onnx::AttributeProto::STRING: return {};
        case onnx::AttributeProto::TENSOR: return parse_tensor(attr.t());
        case onnx::AttributeProto::GRAPH: return {};
Paul's avatar
Paul committed
250
251
        case onnx::AttributeProto::FLOATS:
            return from_repeated(rtg::shape::float_type, attr.floats());
Paul's avatar
Paul committed
252
        case onnx::AttributeProto::INTS: return from_repeated(rtg::shape::int64_type, attr.ints());
Paul's avatar
Paul committed
253
254
255
        case onnx::AttributeProto::STRINGS: return {};
        case onnx::AttributeProto::TENSORS: return {};
        case onnx::AttributeProto::GRAPHS: return {};
Paul's avatar
Paul committed
256
        }
Paul's avatar
Paul committed
257
        RTG_THROW("Invalid attribute type");
Paul's avatar
Paul committed
258
259
260
261
262
263
264
    }

    static rtg::literal parse_tensor(const onnx::TensorProto& t)
    {
        std::vector<std::size_t> dims(t.dims().begin(), t.dims().end());
        switch(t.data_type())
        {
Paul's avatar
Paul committed
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
        case onnx::TensorProto::UNDEFINED: throw std::runtime_error("");
        case onnx::TensorProto::FLOAT:
            return rtg::literal{
                {rtg::shape::float_type, dims}, t.float_data().begin(), t.float_data().end()};
        case onnx::TensorProto::UINT8: throw std::runtime_error("");
        case onnx::TensorProto::INT8:
            return rtg::literal{
                {rtg::shape::int32_type, dims}, t.int32_data().begin(), t.int32_data().end()};
        case onnx::TensorProto::UINT16:
            return rtg::literal{
                {rtg::shape::int32_type, dims}, t.int32_data().begin(), t.int32_data().end()};
        case onnx::TensorProto::INT16:
            return rtg::literal{
                {rtg::shape::int32_type, dims}, t.int32_data().begin(), t.int32_data().end()};
        case onnx::TensorProto::INT32:
            return rtg::literal{
                {rtg::shape::int32_type, dims}, t.int32_data().begin(), t.int32_data().end()};
        case onnx::TensorProto::INT64:
            return rtg::literal{
                {rtg::shape::int64_type, dims}, t.int64_data().begin(), t.int64_data().end()};
        case onnx::TensorProto::STRING: throw std::runtime_error("");
        case onnx::TensorProto::BOOL:
            return rtg::literal{
                {rtg::shape::int32_type, dims}, t.int32_data().begin(), t.int32_data().end()};
        case onnx::TensorProto::FLOAT16: throw std::runtime_error("");
        case onnx::TensorProto::DOUBLE:
            return rtg::literal{
                {rtg::shape::double_type, dims}, t.double_data().begin(), t.double_data().end()};
        case onnx::TensorProto::UINT32: throw std::runtime_error("");
        case onnx::TensorProto::UINT64: throw std::runtime_error("");
        case onnx::TensorProto::COMPLEX64: throw std::runtime_error("");
        case onnx::TensorProto::COMPLEX128: throw std::runtime_error("");
Paul's avatar
Paul committed
297
        }
Paul's avatar
Paul committed
298
        RTG_THROW("Invalid tensor type");
Paul's avatar
Paul committed
299
    }
Paul's avatar
Paul committed
300
301
302

    static rtg::shape parse_type(const onnx::TypeProto& t)
    {
Paul's avatar
Paul committed
303
        rtg::shape::type_t shape_type{};
Paul's avatar
Paul committed
304
305
        switch(t.tensor_type().elem_type())
        {
Paul's avatar
Paul committed
306
307
        case onnx::TensorProto::UNDEFINED:
            break; // throw std::runtime_error("Unsupported type UNDEFINED");
Paul's avatar
Paul committed
308
        case onnx::TensorProto::FLOAT: shape_type = rtg::shape::float_type; break;
Paul's avatar
Paul committed
309
310
        case onnx::TensorProto::UINT8:
            break; // throw std::runtime_error("Unsupported type UINT8");
Paul's avatar
Paul committed
311
312
313
314
315
        case onnx::TensorProto::INT8: shape_type = rtg::shape::int8_type; break;
        case onnx::TensorProto::UINT16: shape_type = rtg::shape::uint16_type; break;
        case onnx::TensorProto::INT16: shape_type = rtg::shape::int16_type; break;
        case onnx::TensorProto::INT32: shape_type = rtg::shape::int32_type; break;
        case onnx::TensorProto::INT64: shape_type = rtg::shape::int64_type; break;
Paul's avatar
Paul committed
316
317
318
319
320
321
        case onnx::TensorProto::STRING:
            break; // throw std::runtime_error("Unsupported type STRING");
        case onnx::TensorProto::BOOL:
            break; // throw std::runtime_error("Unsupported type BOOL");
        case onnx::TensorProto::FLOAT16:
            break; // throw std::runtime_error("Unsupported type FLOAT16");
Paul's avatar
Paul committed
322
323
324
        case onnx::TensorProto::DOUBLE: shape_type = rtg::shape::double_type; break;
        case onnx::TensorProto::UINT32: shape_type = rtg::shape::uint32_type; break;
        case onnx::TensorProto::UINT64: shape_type = rtg::shape::uint64_type; break;
Paul's avatar
Paul committed
325
326
327
328
        case onnx::TensorProto::COMPLEX64:
            break; // throw std::runtime_error("Unsupported type COMPLEX64");
        case onnx::TensorProto::COMPLEX128:
            break; // throw std::runtime_error("Unsupported type COMPLEX128");
Paul's avatar
Paul committed
329
330
331
        }
        std::vector<std::size_t> dims;
        // TODO: USe std::transform
Paul's avatar
Paul committed
332
        for(auto&& d : t.tensor_type().shape().dim())
Paul's avatar
Paul committed
333
334
335
336
337
338
        {
            dims.push_back(d.dim_value());
        }
        return {shape_type, dims};
    }
};
Paul's avatar
Paul committed
339

Paul's avatar
Paul committed
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
// TODO: Move this to a seperate header
std::vector<float> get_tensor_data(rtg::shape s)
{
    std::vector<float> result(s.elements());
    std::mt19937 engine{0};
    std::uniform_real_distribution<> dist;
    std::generate(result.begin(), result.end(), [&] { return dist(engine); });
    return result;
}

rtg::argument get_tensor_argument(rtg::shape s)
{
    auto v = get_tensor_data(s);
    return {s, [v]() mutable { return reinterpret_cast<char*>(v.data()); }};
}

Paul's avatar
Paul committed
356
int main(int argc, char const* argv[])
Paul's avatar
Paul committed
357
358
359
360
361
{
    if(argc > 1)
    {
        std::string file = argv[1];
        std::fstream input(file.c_str(), std::ios::in | std::ios::binary);
Paul's avatar
Paul committed
362
363
364
365
        onnx_parser parser;
        try
        {
            parser.parse_from(input);
Paul's avatar
Paul committed
366
            parser.prog.compile(rtg::cpu::cpu_target{});
Paul's avatar
Paul committed
367
            auto s      = parser.prog.get_parameter_shape("Input3");
Paul's avatar
Paul committed
368
            auto input3 = get_tensor_argument(s);
Paul's avatar
Paul committed
369
            auto out    = parser.prog.eval({{"Input3", input3}});
Paul's avatar
Paul committed
370
            (void)out;
Paul's avatar
Paul committed
371
372
373
        }
        catch(...)
        {
Paul's avatar
Paul committed
374
            std::cout << parser.prog << std::endl;
Paul's avatar
Paul committed
375
376
            throw;
        }
Paul's avatar
Paul committed
377
        std::cout << parser.prog << std::endl;
Paul's avatar
Paul committed
378
379
    }
}