miopen.cpp 29.8 KB
Newer Older
Paul's avatar
Paul committed
1

Paul's avatar
Paul committed
2
3
4
5
6
7
8
9
10
11
12
#include <migraphx/program.hpp>
#include <migraphx/operators.hpp>
#include <migraphx/generate.hpp>
#include <migraphx/cpu/target.hpp>
#include <migraphx/gpu/target.hpp>
#include <migraphx/gpu/miopen.hpp>
#include <migraphx/gpu/hip.hpp>
#include <migraphx/manage_ptr.hpp>
#include <migraphx/type_name.hpp>
#include <migraphx/verify_args.hpp>
#include <migraphx/instruction.hpp>
Paul's avatar
Paul committed
13
14
15

#include <miopen/miopen.h>

Paul's avatar
Paul committed
16
17
18
#include <future>
#include <thread>

Paul's avatar
Paul committed
19
20
#include "test.hpp"

Paul's avatar
Paul committed
21
22
23
24
#ifdef __clang__
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wglobal-constructors"
#endif
Paul's avatar
Paul committed
25

Paul's avatar
Paul committed
26
27
// An improved async, that doesn't block
template <class Function>
Paul's avatar
Paul committed
28
29
std::future<typename std::result_of<Function()>::type> detach_async(Function&& f,
                                                                    bool parallel = true)
Paul's avatar
Paul committed
30
{
Paul's avatar
Paul committed
31
32
33
34
35
36
37
38
    if(parallel)
    {
        using result_type = typename std::result_of<Function()>::type;
        std::packaged_task<result_type()> task(std::forward<Function>(f));
        auto fut = task.get_future();
        std::thread(std::move(task)).detach();
        return std::move(fut);
    }
39
    return std::async(std::launch::deferred, std::forward<Function>(f));
Paul's avatar
Paul committed
40
41
}

Paul's avatar
Paul committed
42
43
struct auto_print
{
Paul's avatar
Paul committed
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
    static void set_terminate_handler(const std::string& name)
    {
        static std::string pname;
        pname = name;
        std::set_terminate(+[] {
            std::cout << "FAILED: " << pname << std::endl;
            try
            {
                std::rethrow_exception(std::current_exception());
            }
            catch(const std::exception& e)
            {
                std::cout << "    what(): " << e.what() << std::endl;
            }
            std::cout << std::endl;
            for(auto&& handle : auto_print::handlers)
                handle();
        });
    }
Paul's avatar
Paul committed
63
    static std::array<std::function<void()>, 2> handlers;
Paul's avatar
Paul committed
64
    int index;
Paul's avatar
Paul committed
65
    template <class T>
Paul's avatar
Paul committed
66
    auto_print(T& x, int i) : index(i)
Paul's avatar
Paul committed
67
    {
Paul's avatar
Paul committed
68
        handlers[index] = [&x] { std::cout << x << std::endl; };
Paul's avatar
Paul committed
69
    }
Paul's avatar
Paul committed
70

Paul's avatar
Paul committed
71
    ~auto_print()
Paul's avatar
Paul committed
72
    {
Paul's avatar
Paul committed
73
        handlers[index] = [] {};
Paul's avatar
Paul committed
74
75
    }
};
Paul's avatar
Paul committed
76
std::array<std::function<void()>, 2> auto_print::handlers = {};
Paul's avatar
Paul committed
77

Paul's avatar
Paul committed
78
template <class T>
Paul's avatar
Latest  
Paul committed
79
80
81
82
83
auto get_hash(const T& x)
{
    return std::hash<T>{}(x);
}

Paul's avatar
Paul committed
84
void compile_check(migraphx::program& p, const migraphx::target& t)
Paul's avatar
Paul committed
85
86
{
    auto name = t.name();
Paul's avatar
Paul committed
87
    auto s    = p.get_shape();
Paul's avatar
Paul committed
88
    std::stringstream ss;
Paul's avatar
Paul committed
89
    p.compile(t, migraphx::tracer{ss});
Paul's avatar
Paul committed
90
    if(p.get_shape() != s)
Paul's avatar
Paul committed
91
92
93
94
95
96
    {
        std::cout << ss.str() << std::endl;
        throw std::runtime_error("Compiling program with " + name + " alters its shape");
    }
}

Paul's avatar
Paul committed
97
template <class V>
Paul's avatar
Paul committed
98
migraphx::argument run_cpu(migraphx::program& p)
Paul's avatar
Paul committed
99
{
Paul's avatar
Paul committed
100
    V v;
Paul's avatar
Paul committed
101
    p = v.create_program();
Paul's avatar
Paul committed
102
    auto_print pp{p, 0};
Paul's avatar
Paul committed
103
104
    compile_check(p, migraphx::cpu::target{});
    migraphx::program::parameter_map m;
Paul's avatar
Paul committed
105
    for(auto&& x : p.get_parameter_shapes())
Paul's avatar
Paul committed
106
    {
Paul's avatar
Paul committed
107
        m[x.first] = migraphx::generate_argument(x.second, get_hash(x.first));
Paul's avatar
Paul committed
108
    }
Paul's avatar
Paul committed
109
    return p.eval(m);
Paul's avatar
Paul committed
110
111
}

Paul's avatar
Paul committed
112
template <class V>
Paul's avatar
Paul committed
113
migraphx::argument run_gpu(migraphx::program& p)
Paul's avatar
Paul committed
114
{
Paul's avatar
Paul committed
115
    V v;
Paul's avatar
Paul committed
116
    p = v.create_program();
Paul's avatar
Paul committed
117
    auto_print pp{p, 1};
Paul's avatar
Paul committed
118
119
    compile_check(p, migraphx::gpu::target{});
    migraphx::program::parameter_map m;
Paul's avatar
Paul committed
120
    for(auto&& x : p.get_parameter_shapes())
Paul's avatar
Paul committed
121
    {
Paul's avatar
Paul committed
122
123
        m[x.first] =
            migraphx::gpu::to_gpu(migraphx::generate_argument(x.second, get_hash(x.first)));
Paul's avatar
Paul committed
124
    }
Paul's avatar
Paul committed
125
    EXPECT(bool{m.find("output") != m.end()});
Paul's avatar
Paul committed
126
    return migraphx::gpu::from_gpu(p.eval(m));
Paul's avatar
Paul committed
127
128
}

Paul's avatar
Paul committed
129
130
131
template <class V>
void verify_program()
{
Paul's avatar
Paul committed
132
133
134
135
    auto_print::set_terminate_handler(migraphx::get_type_name<V>());
    // std::cout << migraphx::get_type_name<V>() << std::endl;
    migraphx::program cpu_prog;
    migraphx::program gpu_prog;
Paul's avatar
Paul committed
136
137
    auto cpu_arg_f = detach_async([&] { return run_cpu<V>(cpu_prog); });
    auto gpu_arg   = run_gpu<V>(gpu_prog);
Paul's avatar
Paul committed
138
    auto cpu_arg   = cpu_arg_f.get();
Paul's avatar
Paul committed
139
    bool passed    = verify_args(migraphx::get_type_name<V>(), cpu_arg, gpu_arg);
Paul's avatar
Paul committed
140
141
142
143
144
145
146
147
148
    if(not passed)
    {
        V v;
        auto p = v.create_program();
        std::cout << p << std::endl;
        std::cout << "cpu:\n" << cpu_prog << std::endl;
        std::cout << "gpu:\n" << gpu_prog << std::endl;
        std::cout << std::endl;
    }
Paul's avatar
Paul committed
149
    std::set_terminate(nullptr);
Paul's avatar
Paul committed
150
151
}

Paul's avatar
Paul committed
152
153
struct test_literals
{
Paul's avatar
Paul committed
154
    migraphx::program create_program() const
Paul's avatar
Paul committed
155
    {
Paul's avatar
Paul committed
156
        migraphx::program p;
Paul's avatar
Paul committed
157
        auto input = p.add_literal(
Paul's avatar
Paul committed
158
            generate_literal(migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}}));
Paul's avatar
Paul committed
159
        auto weights = p.add_literal(
Paul's avatar
Paul committed
160
161
162
            generate_literal(migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}}));
        auto conv = p.add_instruction(migraphx::op::convolution{}, input, weights);
        p.add_instruction(migraphx::op::relu{}, conv);
Paul's avatar
Paul committed
163
164
165
166
        return p;
    }
};

Paul's avatar
Paul committed
167
168
struct test_add
{
Paul's avatar
Paul committed
169
    migraphx::program create_program() const
Paul's avatar
Paul committed
170
    {
Paul's avatar
Paul committed
171
172
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
Paul's avatar
Paul committed
173
174
        auto x = p.add_parameter("x", s);
        auto y = p.add_parameter("y", s);
Paul's avatar
Paul committed
175
        p.add_instruction(migraphx::op::add{}, x, y);
Paul's avatar
Paul committed
176
177
178
179
        return p;
    }
};

Paul's avatar
Paul committed
180
181
struct test_add_half
{
Paul's avatar
Paul committed
182
    migraphx::program create_program() const
Paul's avatar
Paul committed
183
    {
Paul's avatar
Paul committed
184
185
        migraphx::program p;
        migraphx::shape s{migraphx::shape::half_type, {3}};
Paul's avatar
Paul committed
186
187
        auto x = p.add_parameter("x", s);
        auto y = p.add_parameter("y", s);
Paul's avatar
Paul committed
188
        p.add_instruction(migraphx::op::add{}, x, y);
Paul's avatar
Paul committed
189
190
191
192
        return p;
    }
};

Khalique's avatar
Khalique committed
193
194
struct test_mul
{
Paul's avatar
Paul committed
195
    migraphx::program create_program() const
Khalique's avatar
Khalique committed
196
    {
Paul's avatar
Paul committed
197
198
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
Khalique's avatar
Khalique committed
199
200
        auto x = p.add_parameter("x", s);
        auto y = p.add_parameter("y", s);
Paul's avatar
Paul committed
201
        p.add_instruction(migraphx::op::mul{}, x, y);
Khalique's avatar
Khalique committed
202
203
204
205
        return p;
    }
};

206
207
208
209
210
211
212
213
214
215
216
217
struct test_sin
{
    migraphx::program create_program() const
    {
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {10}};
        auto x = p.add_parameter("x", s);
        p.add_instruction(migraphx::op::sin{}, x);
        return p;
    }
};

Khalique's avatar
Khalique committed
218
219
struct test_scale
{
Paul's avatar
Paul committed
220
    migraphx::program create_program() const
Khalique's avatar
Khalique committed
221
    {
Paul's avatar
Paul committed
222
223
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
Khalique's avatar
Khalique committed
224
        auto x     = p.add_parameter("x", s);
Paul's avatar
Paul committed
225
226
227
        auto y     = p.add_parameter("y", migraphx::shape::float_type);
        auto scale = p.add_instruction(migraphx::op::scalar{s}, y);
        p.add_instruction(migraphx::op::mul{}, x, scale);
Khalique's avatar
Khalique committed
228
229
230
231
        return p;
    }
};

232
233
struct test_slice
{
Paul's avatar
Paul committed
234
    migraphx::program create_program() const
235
    {
Paul's avatar
Paul committed
236
237
        migraphx::program p;
        migraphx::shape s{migraphx::shape::int32_type, {2, 2, 4}};
238
        auto x      = p.add_parameter("x", s);
Paul's avatar
Paul committed
239
240
241
        auto y      = p.add_parameter("y", {migraphx::shape::int32_type, {2, 2, 2}});
        auto slice0 = p.add_instruction(migraphx::op::slice{{2}, {0}, {2}}, x);
        p.add_instruction(migraphx::op::add{}, y, slice0);
242
243
244
245
246

        return p;
    }
};

Paul's avatar
Paul committed
247
248
struct test_triadd
{
Paul's avatar
Paul committed
249
    migraphx::program create_program() const
Paul's avatar
Paul committed
250
    {
Paul's avatar
Paul committed
251
252
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
Paul's avatar
Paul committed
253
254
255
        auto x   = p.add_parameter("x", s);
        auto y   = p.add_parameter("y", s);
        auto z   = p.add_parameter("z", s);
Paul's avatar
Paul committed
256
257
        auto sum = p.add_instruction(migraphx::op::add{}, x, y);
        p.add_instruction(migraphx::op::add{}, sum, z);
Paul's avatar
Paul committed
258
259
260
261
262
263
        return p;
    }
};

struct test_triadd2
{
Paul's avatar
Paul committed
264
    migraphx::program create_program() const
Paul's avatar
Paul committed
265
    {
Paul's avatar
Paul committed
266
267
268
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {2, 3}};
        migraphx::shape b{migraphx::shape::float_type, {3}};
Paul's avatar
Paul committed
269
270
271
        auto x   = p.add_parameter("x", s);
        auto y   = p.add_parameter("y", s);
        auto z   = p.add_parameter("z", b);
Paul's avatar
Paul committed
272
273
274
        auto zb  = p.add_instruction(migraphx::op::broadcast{1, s}, z);
        auto sum = p.add_instruction(migraphx::op::add{}, x, y);
        p.add_instruction(migraphx::op::add{}, sum, zb);
Paul's avatar
Paul committed
275
276
277
278
        return p;
    }
};

Paul's avatar
Paul committed
279
280
struct test_add_broadcast
{
Paul's avatar
Paul committed
281
    migraphx::program create_program() const
Paul's avatar
Paul committed
282
    {
Paul's avatar
Paul committed
283
284
285
286
287
288
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
        auto x  = p.add_parameter("x", {migraphx::shape::float_type, {2, 2, 3}});
        auto y  = p.add_parameter("y", {migraphx::shape::float_type, {2, 2}});
        auto by = p.add_instruction(migraphx::op::broadcast{0, x->get_shape()}, y);
        p.add_instruction(migraphx::op::add{}, x, by);
Paul's avatar
Paul committed
289
290
291
292
        return p;
    }
};

Paul's avatar
Paul committed
293
294
struct test_add_broadcast2
{
Paul's avatar
Paul committed
295
    migraphx::program create_program() const
Paul's avatar
Paul committed
296
    {
Paul's avatar
Paul committed
297
298
299
300
301
302
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
        auto x  = p.add_parameter("x", {migraphx::shape::float_type, {2, 3, 4}});
        auto y  = p.add_parameter("y", {migraphx::shape::float_type, {3}});
        auto by = p.add_instruction(migraphx::op::broadcast{1, x->get_shape()}, y);
        p.add_instruction(migraphx::op::add{}, x, by);
Paul's avatar
Paul committed
303
304
305
306
        return p;
    }
};

Paul's avatar
Latest  
Paul committed
307
308
struct test_add_broadcast3
{
Paul's avatar
Paul committed
309
    migraphx::program create_program() const
Paul's avatar
Latest  
Paul committed
310
    {
Paul's avatar
Paul committed
311
312
313
314
315
316
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
        auto x  = p.add_parameter("x", {migraphx::shape::float_type, {2, 4, 5}});
        auto y  = p.add_parameter("y", {migraphx::shape::float_type, {4}});
        auto by = p.add_instruction(migraphx::op::broadcast{1, x->get_shape()}, y);
        p.add_instruction(migraphx::op::add{}, x, by);
Paul's avatar
Latest  
Paul committed
317
318
319
320
321
322
        return p;
    }
};

struct test_add_broadcast4
{
Paul's avatar
Paul committed
323
    migraphx::program create_program() const
Paul's avatar
Latest  
Paul committed
324
    {
Paul's avatar
Paul committed
325
326
327
328
329
330
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
        auto x  = p.add_parameter("x", {migraphx::shape::float_type, {2, 3, 5}});
        auto y  = p.add_parameter("y", {migraphx::shape::float_type, {3}});
        auto by = p.add_instruction(migraphx::op::broadcast{1, x->get_shape()}, y);
        p.add_instruction(migraphx::op::add{}, x, by);
Paul's avatar
Latest  
Paul committed
331
332
333
334
        return p;
    }
};

Paul's avatar
Paul committed
335
336
struct test_add_broadcast5
{
Paul's avatar
Paul committed
337
    migraphx::program create_program() const
Paul's avatar
Paul committed
338
    {
Paul's avatar
Paul committed
339
340
341
342
343
344
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
        auto x  = p.add_parameter("x", {migraphx::shape::float_type, {2, 4, 8}});
        auto y  = p.add_parameter("y", {migraphx::shape::float_type, {4}});
        auto by = p.add_instruction(migraphx::op::broadcast{1, x->get_shape()}, y);
        p.add_instruction(migraphx::op::add{}, x, by);
Paul's avatar
Paul committed
345
346
347
348
        return p;
    }
};

Paul's avatar
Paul committed
349
350
struct test_triadd_broadcast
{
Paul's avatar
Paul committed
351
    migraphx::program create_program() const
Paul's avatar
Paul committed
352
    {
Paul's avatar
Paul committed
353
354
355
356
357
358
359
360
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {3}};
        auto x   = p.add_parameter("x", {migraphx::shape::float_type, {2, 2, 3}});
        auto y   = p.add_parameter("y", {migraphx::shape::float_type, {2, 2}});
        auto z   = p.add_parameter("z", {migraphx::shape::float_type, {2, 2, 3}});
        auto by  = p.add_instruction(migraphx::op::broadcast{0, x->get_shape()}, y);
        auto sum = p.add_instruction(migraphx::op::add{}, x, by);
        p.add_instruction(migraphx::op::add{}, sum, z);
Paul's avatar
Paul committed
361
362
363
364
        return p;
    }
};

Paul's avatar
Paul committed
365
366
struct test_softmax
{
Paul's avatar
Paul committed
367
    migraphx::program create_program() const
Paul's avatar
Paul committed
368
    {
Paul's avatar
Paul committed
369
370
371
        migraphx::program p;
        auto x = p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {5, 3, 4, 2}});
        p.add_instruction(migraphx::op::softmax{}, x);
Paul's avatar
Paul committed
372
373
374
375
376
377
        return p;
    }
};

struct test_softmax2
{
Paul's avatar
Paul committed
378
    migraphx::program create_program() const
Paul's avatar
Paul committed
379
    {
Paul's avatar
Paul committed
380
        migraphx::program p;
Paul's avatar
Paul committed
381
382
        auto x =
            p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {1, 1000, 1, 1}});
Paul's avatar
Paul committed
383
        p.add_instruction(migraphx::op::softmax{}, x);
Paul's avatar
Paul committed
384
385
386
387
        return p;
    }
};

Paul's avatar
Paul committed
388
389
struct test_conv
{
Paul's avatar
Paul committed
390
    migraphx::program create_program() const
Paul's avatar
Paul committed
391
    {
Paul's avatar
Paul committed
392
        migraphx::program p;
Paul's avatar
Paul committed
393
394
        auto input =
            p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}});
Paul's avatar
Paul committed
395
        auto weights =
Paul's avatar
Paul committed
396
397
            p.add_parameter("w", migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}});
        p.add_instruction(migraphx::op::convolution{}, input, weights);
Paul's avatar
Paul committed
398
399
400
401
        return p;
    }
};

Paul's avatar
Paul committed
402
403
struct test_conv2
{
Paul's avatar
Paul committed
404
    migraphx::program create_program() const
Paul's avatar
Paul committed
405
    {
Paul's avatar
Paul committed
406
        migraphx::program p;
Paul's avatar
Paul committed
407
        auto input =
Paul's avatar
Paul committed
408
            p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {1, 512, 28, 28}});
Paul's avatar
Paul committed
409
        auto weights =
Paul's avatar
Paul committed
410
411
            p.add_parameter("w", migraphx::shape{migraphx::shape::float_type, {256, 512, 1, 1}});
        p.add_instruction(migraphx::op::convolution{{0, 0}, {1, 1}, {1, 1}}, input, weights);
Paul's avatar
Paul committed
412
413
414
415
        return p;
    }
};

Paul's avatar
Paul committed
416
struct test_conv_relu
Paul's avatar
Paul committed
417
{
Paul's avatar
Paul committed
418
    migraphx::program create_program() const
Paul's avatar
Paul committed
419
    {
Paul's avatar
Paul committed
420
        migraphx::program p;
Paul's avatar
Paul committed
421
422
        auto input =
            p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}});
Paul's avatar
Paul committed
423
        auto weights =
Paul's avatar
Paul committed
424
425
426
            p.add_parameter("w", migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}});
        auto conv = p.add_instruction(migraphx::op::convolution{}, input, weights);
        p.add_instruction(migraphx::op::relu{}, conv);
Paul's avatar
Paul committed
427
428
429
430
        return p;
    }
};

Paul's avatar
Paul committed
431
432
struct test_conv_relu_half
{
Paul's avatar
Paul committed
433
    migraphx::program create_program() const
Paul's avatar
Paul committed
434
    {
Paul's avatar
Paul committed
435
        migraphx::program p;
Paul's avatar
Paul committed
436
437
        auto input =
            p.add_parameter("x", migraphx::shape{migraphx::shape::half_type, {4, 3, 3, 3}});
Paul's avatar
Paul committed
438
        auto weights =
Paul's avatar
Paul committed
439
440
441
            p.add_parameter("w", migraphx::shape{migraphx::shape::half_type, {4, 3, 3, 3}});
        auto conv = p.add_instruction(migraphx::op::convolution{}, input, weights);
        p.add_instruction(migraphx::op::relu{}, conv);
Paul's avatar
Paul committed
442
443
444
445
        return p;
    }
};

Paul's avatar
Paul committed
446
447
struct test_add_relu
{
Paul's avatar
Paul committed
448
    migraphx::program create_program() const
Paul's avatar
Paul committed
449
    {
Paul's avatar
Paul committed
450
451
452
453
454
        migraphx::program p;
        auto x   = p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}});
        auto y   = p.add_parameter("y", migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}});
        auto add = p.add_instruction(migraphx::op::add{}, x, y);
        p.add_instruction(migraphx::op::relu{}, add);
Paul's avatar
Paul committed
455
456
457
458
        return p;
    }
};

459
460
struct test_leaky_relu
{
Paul's avatar
Paul committed
461
    migraphx::program create_program() const
462
    {
Paul's avatar
Paul committed
463
464
465
        migraphx::program p;
        auto x = p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}});
        p.add_instruction(migraphx::op::leaky_relu{0.01}, x);
466
467
468
469
        return p;
    }
};

Paul's avatar
Paul committed
470
471
struct test_conv_pooling
{
Paul's avatar
Paul committed
472
    migraphx::program create_program() const
Paul's avatar
Paul committed
473
    {
Paul's avatar
Paul committed
474
        migraphx::program p;
Paul's avatar
Paul committed
475
        auto input =
Paul's avatar
Paul committed
476
            p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {4, 3, 32, 32}});
Paul's avatar
Paul committed
477
        auto weights =
Paul's avatar
Paul committed
478
479
480
481
            p.add_parameter("w", migraphx::shape{migraphx::shape::float_type, {4, 3, 3, 3}});
        auto conv    = p.add_instruction(migraphx::op::convolution{}, input, weights);
        auto pooling = p.add_instruction(migraphx::op::pooling{"max"}, conv);
        p.add_instruction(migraphx::op::relu{}, pooling);
Paul's avatar
Paul committed
482
483
484
485
        return p;
    }
};

486
487
struct test_global_avg_pooling
{
Paul's avatar
Paul committed
488
    migraphx::program create_program() const
489
    {
Paul's avatar
Paul committed
490
        migraphx::program p;
491
        auto input =
Paul's avatar
Paul committed
492
493
            p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
        auto op    = migraphx::op::pooling{"average"};
494
        auto lens  = input->get_shape().lens();
Khalique's avatar
Khalique committed
495
        op.lengths = {lens[2], lens[3]};
496
497
498
499
500
501
502
        p.add_instruction(op, input);
        return p;
    }
};

struct test_global_max_pooling
{
Paul's avatar
Paul committed
503
    migraphx::program create_program() const
504
    {
Paul's avatar
Paul committed
505
        migraphx::program p;
506
        auto input =
Paul's avatar
Paul committed
507
508
            p.add_parameter("x", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
        auto op    = migraphx::op::pooling{"max"};
509
        auto lens  = input->get_shape().lens();
Khalique's avatar
Khalique committed
510
        op.lengths = {lens[2], lens[3]};
511
512
513
514
515
        p.add_instruction(op, input);
        return p;
    }
};

Paul's avatar
Paul committed
516
517
struct test_gemm
{
Paul's avatar
Paul committed
518
    migraphx::program create_program() const
Paul's avatar
Paul committed
519
    {
Paul's avatar
Paul committed
520
521
522
523
        migraphx::program p;
        auto a = p.add_parameter("a", migraphx::shape{migraphx::shape::float_type, {4, 5}});
        auto b = p.add_parameter("b", migraphx::shape{migraphx::shape::float_type, {5, 3}});
        p.add_instruction(migraphx::op::dot{}, a, b);
Paul's avatar
Paul committed
524
525
526
527
        return p;
    }
};

Paul's avatar
Paul committed
528
529
struct test_gemm_half
{
Paul's avatar
Paul committed
530
    migraphx::program create_program() const
Paul's avatar
Paul committed
531
    {
Paul's avatar
Paul committed
532
533
534
535
        migraphx::program p;
        auto a = p.add_parameter("a", migraphx::shape{migraphx::shape::half_type, {4, 5}});
        auto b = p.add_parameter("b", migraphx::shape{migraphx::shape::half_type, {5, 3}});
        p.add_instruction(migraphx::op::dot{}, a, b);
Paul's avatar
Paul committed
536
537
538
539
        return p;
    }
};

Paul's avatar
Paul committed
540
541
struct test_gemm_ld
{
Paul's avatar
Paul committed
542
    migraphx::program create_program() const
Paul's avatar
Paul committed
543
    {
Paul's avatar
Paul committed
544
        migraphx::program p;
Paul's avatar
Paul committed
545
546
547
548
        auto a =
            p.add_parameter("a", migraphx::shape{migraphx::shape::float_type, {4, 5}, {10, 1}});
        auto b =
            p.add_parameter("b", migraphx::shape{migraphx::shape::float_type, {5, 3}, {20, 1}});
Paul's avatar
Paul committed
549
        p.add_instruction(migraphx::op::dot{}, a, b);
Paul's avatar
Paul committed
550
551
552
553
        return p;
    }
};

554
555
struct test_gemm_transposeb
{
Paul's avatar
Paul committed
556
    migraphx::program create_program() const
557
    {
Paul's avatar
Paul committed
558
559
560
561
562
        migraphx::program p;
        auto a  = p.add_parameter("a", migraphx::shape{migraphx::shape::float_type, {4, 5}});
        auto b  = p.add_parameter("b", migraphx::shape{migraphx::shape::float_type, {3, 5}});
        auto bt = p.add_instruction(migraphx::op::transpose{{1, 0}}, b);
        p.add_instruction(migraphx::op::dot{}, a, bt);
563
564
565
566
567
568
        return p;
    }
};

struct test_gemm_transposea
{
Paul's avatar
Paul committed
569
    migraphx::program create_program() const
570
    {
Paul's avatar
Paul committed
571
572
573
574
575
        migraphx::program p;
        auto a  = p.add_parameter("a", migraphx::shape{migraphx::shape::float_type, {5, 4}});
        auto b  = p.add_parameter("b", migraphx::shape{migraphx::shape::float_type, {5, 3}});
        auto at = p.add_instruction(migraphx::op::transpose{{1, 0}}, a);
        p.add_instruction(migraphx::op::dot{}, at, b);
576
577
578
579
580
581
        return p;
    }
};

struct test_gemm_transposeab
{
Paul's avatar
Paul committed
582
    migraphx::program create_program() const
583
    {
Paul's avatar
Paul committed
584
585
586
587
588
589
        migraphx::program p;
        auto a  = p.add_parameter("a", migraphx::shape{migraphx::shape::float_type, {5, 4}});
        auto b  = p.add_parameter("b", migraphx::shape{migraphx::shape::float_type, {3, 5}});
        auto at = p.add_instruction(migraphx::op::transpose{{1, 0}}, a);
        auto bt = p.add_instruction(migraphx::op::transpose{{1, 0}}, b);
        p.add_instruction(migraphx::op::dot{}, at, bt);
590
591
592
593
        return p;
    }
};

594
595
struct test_contiguous
{
Paul's avatar
Paul committed
596
    migraphx::program create_program() const
597
    {
Paul's avatar
Paul committed
598
599
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {4, 4, 4, 3}, {48, 4, 1, 16}};
600
        auto x = p.add_parameter("x", s);
Paul's avatar
Paul committed
601
        p.add_instruction(migraphx::op::contiguous{}, x);
Paul's avatar
Paul committed
602
        EXPECT(p.get_shape().standard());
603
604
605
606
        return p;
    }
};

607
struct test_transpose
608
{
Paul's avatar
Paul committed
609
    migraphx::program create_program() const
610
    {
Paul's avatar
Paul committed
611
612
        migraphx::program p;
        migraphx::shape s{migraphx::shape::float_type, {4, 3, 4, 4}};
613
614
        auto x                    = p.add_parameter("x", s);
        std::vector<int64_t> perm = {0, 2, 3, 1};
Paul's avatar
Paul committed
615
616
        auto l                    = p.add_instruction(migraphx::op::transpose{perm}, x);
        p.add_instruction(migraphx::op::contiguous{}, l);
617
618
619
        return p;
    }
};
620

Paul's avatar
Paul committed
621
622
623
624
625
626
627
struct test_batchnorm_inference_2
{
    const size_t width    = 14;
    const size_t height   = 14;
    const size_t channels = 256;
    const size_t batches  = 1;

Paul's avatar
Paul committed
628
    migraphx::program create_program() const
Paul's avatar
Paul committed
629
    {
Paul's avatar
Paul committed
630
        migraphx::program p;
Paul's avatar
Paul committed
631

Paul's avatar
Paul committed
632
633
        migraphx::shape s{migraphx::shape::float_type, {batches, channels, height, width}};
        migraphx::shape vars{migraphx::shape::float_type, {channels}};
Paul's avatar
Paul committed
634
        auto x        = p.add_parameter("x", s);
Paul's avatar
Paul committed
635
636
637
638
639
        auto scale    = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 1)));
        auto bias     = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 2)));
        auto mean     = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 3)));
        auto variance = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 4)));
        p.add_instruction(migraphx::op::batch_norm_inference{}, x, scale, bias, mean, variance);
Paul's avatar
Paul committed
640
641
642
643
        return p;
    }
};

wsttiger's avatar
wsttiger committed
644
645
646
647
648
649
650
struct test_batchnorm_inference
{
    const size_t width    = 3;
    const size_t height   = 3;
    const size_t channels = 3;
    const size_t batches  = 4;

Paul's avatar
Paul committed
651
    migraphx::program create_program() const
wsttiger's avatar
wsttiger committed
652
    {
Paul's avatar
Paul committed
653
        migraphx::program p;
wsttiger's avatar
wsttiger committed
654

Paul's avatar
Paul committed
655
656
        migraphx::shape s{migraphx::shape::float_type, {batches, channels, height, width}};
        migraphx::shape vars{migraphx::shape::float_type, {channels}};
wsttiger's avatar
wsttiger committed
657
        auto x        = p.add_parameter("x", s);
Paul's avatar
Paul committed
658
659
660
661
662
        auto scale    = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 1)));
        auto bias     = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 2)));
        auto mean     = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 3)));
        auto variance = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 4)));
        p.add_instruction(migraphx::op::batch_norm_inference{}, x, scale, bias, mean, variance);
wsttiger's avatar
wsttiger committed
663
664
665
666
        return p;
    }
};

Paul's avatar
Paul committed
667
668
struct test_conv_bn
{
Paul's avatar
Paul committed
669
    migraphx::program create_program() const
Paul's avatar
Paul committed
670
    {
Paul's avatar
Paul committed
671
        migraphx::program p;
Paul's avatar
Paul committed
672

Paul's avatar
Paul committed
673
674
675
        migraphx::shape xs{migraphx::shape::float_type, {1, 3, 224, 224}};
        migraphx::shape ws{migraphx::shape::float_type, {64, 3, 7, 7}};
        migraphx::shape vars{migraphx::shape::float_type, {64}};
Paul's avatar
Paul committed
676
677
        auto x        = p.add_parameter("x", xs);
        auto w        = p.add_parameter("w", ws);
Paul's avatar
Paul committed
678
679
680
681
682
683
        auto conv     = p.add_instruction(migraphx::op::convolution{{3, 3}, {2, 2}, {1, 1}}, x, w);
        auto scale    = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 1)));
        auto bias     = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 2)));
        auto mean     = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 3)));
        auto variance = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 4)));
        p.add_instruction(migraphx::op::batch_norm_inference{}, conv, scale, bias, mean, variance);
Paul's avatar
Paul committed
684
685
686
687
        return p;
    }
};

Paul's avatar
Paul committed
688
689
struct test_conv_bn_relu_pooling
{
Paul's avatar
Paul committed
690
    migraphx::program create_program() const
Paul's avatar
Paul committed
691
    {
Paul's avatar
Paul committed
692
        migraphx::program p;
Paul's avatar
Paul committed
693

Paul's avatar
Paul committed
694
695
696
        migraphx::shape xs{migraphx::shape::float_type, {1, 3, 224, 224}};
        migraphx::shape ws{migraphx::shape::float_type, {64, 3, 7, 7}};
        migraphx::shape vars{migraphx::shape::float_type, {64}};
Paul's avatar
Paul committed
697
698
        auto x        = p.add_parameter("x", xs);
        auto w        = p.add_parameter("w", ws);
Paul's avatar
Paul committed
699
700
701
702
703
        auto conv     = p.add_instruction(migraphx::op::convolution{{3, 3}, {2, 2}, {1, 1}}, x, w);
        auto scale    = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 1)));
        auto bias     = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 2)));
        auto mean     = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 3)));
        auto variance = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 4)));
wsttiger's avatar
wsttiger committed
704
        auto bn       = p.add_instruction(
Paul's avatar
Paul committed
705
706
707
            migraphx::op::batch_norm_inference{}, conv, scale, bias, mean, variance);
        auto relu = p.add_instruction(migraphx::op::relu{}, bn);
        p.add_instruction(migraphx::op::pooling{"average", {1, 1}, {2, 2}, {3, 3}}, relu);
Paul's avatar
Paul committed
708
709
710
711
        return p;
    }
};

712
713
struct test_concat
{
Paul's avatar
Paul committed
714
    migraphx::program create_program() const
715
    {
Paul's avatar
Paul committed
716
        migraphx::program p;
wsttiger's avatar
wsttiger committed
717
        std::size_t axis = 1;
Paul's avatar
Paul committed
718
719
720
        migraphx::shape s0{migraphx::shape::int32_type, {2, 2}};
        migraphx::shape s1{migraphx::shape::int32_type, {2, 3}};
        migraphx::shape s2{migraphx::shape::int32_type, {2, 1}};
721
722
723
        auto l0 = p.add_parameter("x", s0);
        auto l1 = p.add_parameter("y", s1);
        auto l2 = p.add_parameter("z", s2);
Paul's avatar
Paul committed
724
        p.add_instruction(migraphx::op::concat{axis}, l0, l1, l2);
725
726
727
728
729
730
        return p;
    }
};

struct test_concat2
{
Paul's avatar
Paul committed
731
    migraphx::program create_program() const
732
    {
Paul's avatar
Paul committed
733
        migraphx::program p;
wsttiger's avatar
wsttiger committed
734
        std::size_t axis = 0;
Paul's avatar
Paul committed
735
736
737
        migraphx::shape s0{migraphx::shape::int32_type, {2, 2}};
        migraphx::shape s1{migraphx::shape::int32_type, {3, 2}};
        migraphx::shape s2{migraphx::shape::int32_type, {1, 2}};
738
739
740
        auto l0 = p.add_parameter("x", s0);
        auto l1 = p.add_parameter("y", s1);
        auto l2 = p.add_parameter("z", s2);
Paul's avatar
Paul committed
741
        p.add_instruction(migraphx::op::concat{axis}, l0, l1, l2);
742
743
744
745
        return p;
    }
};

wsttiger's avatar
wsttiger committed
746
747
struct test_concat_relu
{
Paul's avatar
Paul committed
748
    migraphx::program create_program() const
wsttiger's avatar
wsttiger committed
749
    {
Paul's avatar
Paul committed
750
        migraphx::program p;
wsttiger's avatar
wsttiger committed
751
        std::size_t axis = 0;
Paul's avatar
Paul committed
752
753
754
        migraphx::shape s0{migraphx::shape::float_type, {2, 2}};
        migraphx::shape s1{migraphx::shape::float_type, {3, 2}};
        migraphx::shape s2{migraphx::shape::float_type, {1, 2}};
wsttiger's avatar
wsttiger committed
755
756
757
        auto l0 = p.add_parameter("x", s0);
        auto l1 = p.add_parameter("y", s1);
        auto l2 = p.add_parameter("z", s2);
Paul's avatar
Paul committed
758
759
760
761
762
        auto r0 = p.add_instruction(migraphx::op::relu{}, l0);
        auto r1 = p.add_instruction(migraphx::op::relu{}, l1);
        auto r2 = p.add_instruction(migraphx::op::relu{}, l2);
        auto c0 = p.add_instruction(migraphx::op::concat{axis}, r0, r1, r2);
        p.add_instruction(migraphx::op::relu{}, c0);
wsttiger's avatar
wsttiger committed
763
764
765
766
767
768
        return p;
    }
};

void manual_identity()
{
Paul's avatar
Paul committed
769
    migraphx::program p;
wsttiger's avatar
wsttiger committed
770
    std::vector<float> data0 = {0, 1, 2, 3};
Paul's avatar
Paul committed
771
772
773
774
775
    migraphx::shape s0{migraphx::shape::float_type, {2, 2}};
    auto l0 = p.add_literal(migraphx::literal{s0, data0});
    p.add_instruction(migraphx::op::identity{}, l0);
    p.compile(migraphx::gpu::target{});
    migraphx::program::parameter_map m;
wsttiger's avatar
wsttiger committed
776
777
    for(auto&& x : p.get_parameter_shapes())
    {
Paul's avatar
Paul committed
778
        m[x.first] = migraphx::gpu::to_gpu(migraphx::generate_argument(x.second));
wsttiger's avatar
wsttiger committed
779
    }
Paul's avatar
Paul committed
780
    auto result = migraphx::gpu::from_gpu(p.eval(m));
wsttiger's avatar
wsttiger committed
781
782
783
784
785
    std::cout << result << std::endl;
}

void manual_test_concat_relu()
{
Paul's avatar
Paul committed
786
    migraphx::program p;
wsttiger's avatar
wsttiger committed
787
    std::size_t axis         = 0;
wsttiger's avatar
wsttiger committed
788
789
790
    std::vector<float> data0 = {0, 1, 2, 3};
    std::vector<float> data1 = {4, 5, 6, 7, 8, 9};
    std::vector<float> data2 = {10, 11};
Paul's avatar
Paul committed
791
792
793
794
795
796
797
798
799
800
801
802
803
804
    migraphx::shape s0{migraphx::shape::float_type, {2, 2}};
    migraphx::shape s1{migraphx::shape::float_type, {3, 2}};
    migraphx::shape s2{migraphx::shape::float_type, {1, 2}};
    auto l0 = p.add_literal(migraphx::literal{s0, data0});
    auto l1 = p.add_literal(migraphx::literal{s1, data1});
    auto l2 = p.add_literal(migraphx::literal{s2, data2});
    auto r0 = p.add_instruction(migraphx::op::relu{}, l0);
    auto r1 = p.add_instruction(migraphx::op::relu{}, l1);
    auto r2 = p.add_instruction(migraphx::op::relu{}, l2);
    auto c0 = p.add_instruction(migraphx::op::concat{axis}, r0, r1, r2);
    p.add_instruction(migraphx::op::relu{}, c0);

    p.compile(migraphx::gpu::target{});
    migraphx::program::parameter_map m;
wsttiger's avatar
wsttiger committed
805
806
    for(auto&& x : p.get_parameter_shapes())
    {
Paul's avatar
Paul committed
807
        m[x.first] = migraphx::gpu::to_gpu(migraphx::generate_argument(x.second));
wsttiger's avatar
wsttiger committed
808
    }
Paul's avatar
Paul committed
809
    auto result = migraphx::gpu::from_gpu(p.eval(m));
wsttiger's avatar
wsttiger committed
810
811
812
    std::cout << result << std::endl;
}

Paul's avatar
Paul committed
813
814
struct test_conv_bn_relu_pooling2
{
Paul's avatar
Paul committed
815
816
    static migraphx::instruction_ref
    add_bn(migraphx::program& p, migraphx::instruction_ref x, std::size_t channels)
Paul's avatar
Paul committed
817
    {
Paul's avatar
Paul committed
818
        migraphx::shape vars{migraphx::shape::float_type, {channels}};
Paul's avatar
Paul committed
819
820
821
822
823
        auto scale = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 1 + channels)));
        auto bias  = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 2 + channels)));
        auto mean  = p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 3 + channels)));
        auto variance =
            p.add_literal(migraphx::abs(migraphx::generate_literal(vars, 4 + channels)));
wsttiger's avatar
wsttiger committed
824
        return p.add_instruction(
Paul's avatar
Paul committed
825
            migraphx::op::batch_norm_inference{}, x, scale, bias, mean, variance);
Paul's avatar
Paul committed
826
    }
Paul's avatar
Paul committed
827
    migraphx::program create_program() const
Paul's avatar
Paul committed
828
    {
Paul's avatar
Paul committed
829
        migraphx::program p;
Paul's avatar
Paul committed
830

Paul's avatar
Paul committed
831
832
833
834
        migraphx::shape xs1{migraphx::shape::float_type, {1, 512, 7, 7}};
        migraphx::shape xs2{migraphx::shape::float_type, {1, 1024, 14, 14}};
        migraphx::shape ws1{migraphx::shape::float_type, {2048, 512, 1, 1}};
        migraphx::shape ws2{migraphx::shape::float_type, {2048, 1024, 1, 1}};
Paul's avatar
Paul committed
835
836
        auto x1    = p.add_parameter("x1", xs1);
        auto w1    = p.add_parameter("w1", ws1);
Paul's avatar
Paul committed
837
        auto conv1 = p.add_instruction(migraphx::op::convolution{{0, 0}, {1, 1}, {1, 1}}, x1, w1);
Paul's avatar
Paul committed
838
839
840
        auto bn1   = add_bn(p, conv1, 2048);
        auto x2    = p.add_parameter("x2", xs2);
        auto w2    = p.add_parameter("w2", ws2);
Paul's avatar
Paul committed
841
        auto conv2 = p.add_instruction(migraphx::op::convolution{{0, 0}, {2, 2}, {1, 1}}, x2, w2);
Paul's avatar
Paul committed
842
        auto bn2   = add_bn(p, conv2, 2048);
Paul's avatar
Paul committed
843
844
845
        auto add   = p.add_instruction(migraphx::op::add{}, bn1, bn2);
        auto relu  = p.add_instruction(migraphx::op::relu{}, add);
        p.add_instruction(migraphx::op::pooling{"average", {1, 1}, {2, 2}, {3, 3}}, relu);
Paul's avatar
Paul committed
846
847
848
849
        return p;
    }
};

Paul's avatar
Paul committed
850
851
int main()
{
852
853
    verify_program<test_concat>();
    verify_program<test_concat2>();
wsttiger's avatar
wsttiger committed
854
    verify_program<test_concat_relu>();
Paul's avatar
Paul committed
855
    verify_program<test_add>();
Paul's avatar
Paul committed
856
    verify_program<test_add_half>();
Khalique's avatar
Khalique committed
857
    verify_program<test_mul>();
858
    verify_program<test_sin>();
Khalique's avatar
Khalique committed
859
    verify_program<test_scale>();
Paul's avatar
Paul committed
860
861
    verify_program<test_triadd>();
    verify_program<test_triadd2>();
Paul's avatar
Paul committed
862
    verify_program<test_add_broadcast>();
Paul's avatar
Paul committed
863
    verify_program<test_add_broadcast2>();
Paul's avatar
Latest  
Paul committed
864
865
    verify_program<test_add_broadcast3>();
    verify_program<test_add_broadcast4>();
Paul's avatar
Paul committed
866
    verify_program<test_add_broadcast5>();
Paul's avatar
Paul committed
867
    verify_program<test_triadd_broadcast>();
Paul's avatar
Paul committed
868
    verify_program<test_softmax>();
Paul's avatar
Paul committed
869
    verify_program<test_softmax2>();
Paul's avatar
Paul committed
870
    verify_program<test_conv>();
Paul's avatar
Paul committed
871
    verify_program<test_conv2>();
Paul's avatar
Paul committed
872
    verify_program<test_conv_relu>();
Paul's avatar
Paul committed
873
    verify_program<test_conv_relu_half>();
Paul's avatar
Paul committed
874
    verify_program<test_add_relu>();
875
    verify_program<test_leaky_relu>();
Paul's avatar
Paul committed
876
    verify_program<test_conv_pooling>();
877
878
    verify_program<test_global_avg_pooling>();
    verify_program<test_global_max_pooling>();
Paul's avatar
Paul committed
879
    verify_program<test_gemm>();
Paul's avatar
Paul committed
880
    verify_program<test_gemm_half>();
881
    // verify_program<test_gemm_ld>();
882
883
884
    verify_program<test_gemm_transposeb>();
    verify_program<test_gemm_transposea>();
    verify_program<test_gemm_transposeab>();
885
886
    verify_program<test_contiguous>();
    verify_program<test_transpose>();
887
    verify_program<test_batchnorm_inference>();
Paul's avatar
Paul committed
888
    verify_program<test_batchnorm_inference_2>();
Paul's avatar
Paul committed
889
    verify_program<test_conv_bn>();
Paul's avatar
Paul committed
890
    verify_program<test_conv_bn_relu_pooling>();
Paul's avatar
Paul committed
891
    verify_program<test_conv_bn_relu_pooling2>();
892
    verify_program<test_slice>();
Paul's avatar
Paul committed
893
}