tf_test.cpp 23.4 KB
Newer Older
1
2
3
#include <iostream>
#include <vector>
#include <migraphx/literal.hpp>
Paul's avatar
Paul committed
4
5
6
7
#include <migraphx/pass_manager.hpp>
#include <migraphx/simplify_reshapes.hpp>
#include <migraphx/dead_code_elimination.hpp>
#include <migraphx/eliminate_identity.hpp>
8
9
10
11
12
13
#include <migraphx/operators.hpp>
#include <migraphx/program.hpp>
#include <migraphx/instruction.hpp>
#include <migraphx/tf.hpp>
#include "test.hpp"

14
15
16
17
18
migraphx::program parse_tf(const std::string& name, bool is_nhwc)
{
    return migraphx::parse_tf(name, migraphx::tf_options{is_nhwc, 1});
}

Paul's avatar
Paul committed
19
20
migraphx::program optimize_tf(const std::string& name, bool is_nhwc)
{
21
    auto prog = migraphx::parse_tf(name, migraphx::tf_options{is_nhwc, 1});
Paul's avatar
Paul committed
22
23
24
25
26
    if(is_nhwc)
        migraphx::run_passes(prog,
                             {migraphx::simplify_reshapes{},
                              migraphx::dead_code_elimination{},
                              migraphx::eliminate_identity{}});
Paul's avatar
Paul committed
27
28
29
    return prog;
}

30
31
32
33
34
35
TEST_CASE(add_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    p.add_instruction(migraphx::op::add{}, l0, l1);
Paul's avatar
Paul committed
36
    auto prog = optimize_tf("add_test.pb", false);
37
38
39
40
41
42

    EXPECT(p == prog);
}

TEST_CASE(add_bcast_test)
{
Khalique's avatar
Khalique committed
43

44
45
46
47
48
49
50
    migraphx::program p;
    migraphx::shape s0{migraphx::shape::float_type, {2, 3}};
    auto l0 = p.add_parameter("0", s0);
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {2, 1}});
    auto l2 = p.add_instruction(migraphx::op::multibroadcast{s0.lens()}, l0);
    auto l3 = p.add_instruction(migraphx::op::multibroadcast{s0.lens()}, l1);
    p.add_instruction(migraphx::op::add{}, l2, l3);
Paul's avatar
Paul committed
51
    auto prog = optimize_tf("add_bcast_test.pb", false);
52
53
54
55

    EXPECT(p == prog);
}

56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
TEST_CASE(argmax_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {3, 4, 5, 6}});
    p.add_literal(migraphx::literal{migraphx::shape{migraphx::shape::int32_type}, {2}});
    auto ins = p.add_instruction(migraphx::op::argmax{2}, l0);
    p.add_instruction(migraphx::op::squeeze{{2}}, ins);
    auto prog = parse_tf("argmax_test.pb", false);

    EXPECT(p == prog);
}

TEST_CASE(argmin_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {3, 4, 5, 6}});
    p.add_literal(migraphx::literal{migraphx::shape{migraphx::shape::int32_type}, {2}});
    auto ins = p.add_instruction(migraphx::op::argmin{2}, l0);
    p.add_instruction(migraphx::op::squeeze{{2}}, ins);
    auto prog = parse_tf("argmin_test.pb", false);

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
TEST_CASE(assert_less_equal_test)
{
    migraphx::program p;
    migraphx::shape s0{migraphx::shape::float_type, {2, 3}};
    auto l0 = p.add_parameter("0", s0);
    auto l1 = p.add_parameter("1", s0);
    migraphx::literal l{migraphx::shape{migraphx::shape::int32_type, {2}}, {0, 1}};
    auto l2 = p.add_literal(l);
    p.add_instruction(migraphx::op::add{}, l0, l1);
    auto l3 = p.add_instruction(migraphx::op::identity{}, l0, l1);
    p.add_instruction(migraphx::op::identity{}, l3, l2);
    auto prog = optimize_tf("assert_less_equal_test.pb", false);

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
TEST_CASE(batchmatmul_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 2, 8, 4}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {1, 2, 4, 8}});

    auto trans_l0 = p.add_instruction(migraphx::op::transpose{{0, 1, 3, 2}}, l0);
    auto trans_l1 = p.add_instruction(migraphx::op::transpose{{0, 1, 3, 2}}, l1);

    p.add_instruction(migraphx::op::dot{}, trans_l0, trans_l1);
    auto prog = optimize_tf("batchmatmul_test.pb", false);

    EXPECT(p == prog);
}

111
112
TEST_CASE(batchnorm_test)
{
Khalique's avatar
Khalique committed
113
114
    float epsilon  = 1.001e-5f;
    float momentum = 0.9f;
115
116

    migraphx::program p;
Khalique's avatar
Khalique committed
117
118
    migraphx::op::batch_norm_inference op{
        epsilon, momentum, migraphx::op::batch_norm_inference::spatial};
119
    migraphx::shape s0{migraphx::shape::float_type, {32}};
120
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 32, 16, 16}});
121
122
    std::vector<float> const_vals(32);
    std::fill(const_vals.begin(), const_vals.end(), 1.0f);
Khalique's avatar
Khalique committed
123

124
125
126
127
128
    auto l2 = p.add_parameter("2", s0);
    auto l3 = p.add_parameter("3", s0);
    auto l4 = p.add_parameter("4", s0);
    auto l1 = p.add_literal(migraphx::literal{s0, const_vals});
    p.add_instruction(op, l0, l1, l2, l3, l4);
Paul's avatar
Paul committed
129
    auto prog = optimize_tf("batchnorm_test.pb", true);
130
131
132
133

    EXPECT(p == prog);
}

134
135
136
TEST_CASE(biasadd_test)
{
    migraphx::program p;
137
    migraphx::shape s0{migraphx::shape::float_type, {1, 500, 1, 1}};
138
    uint64_t axis = 1;
Khalique's avatar
Khalique committed
139
    auto l0       = p.add_parameter("0", s0);
140
    auto l1       = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {500}});
141
    auto l2       = p.add_instruction(migraphx::op::broadcast{axis, l0->get_shape().lens()}, l1);
142
    p.add_instruction(migraphx::op::add{}, l0, l2);
Paul's avatar
Paul committed
143
    auto prog = optimize_tf("biasadd_test.pb", true);
144
145
146
147

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
148
149
150
151
152
153
154
155
156
157
TEST_CASE(cast_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    p.add_instruction(migraphx::op::convert{migraphx::shape::int32_type}, l0);
    auto prog = optimize_tf("cast_test.pb", false);

    EXPECT(p == prog);
}

158
159
160
TEST_CASE(concat_test)
{
    migraphx::program p;
Khalique's avatar
Khalique committed
161

162
163
164
165
166
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {4, 7, 3}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {4, 2, 3}});

    int axis = 1;
    // tf uses axis as the third input, and it is in int32 format
Khalique's avatar
Khalique committed
167
    // add the literal using a vector in order to set stride to 1 (like in tf parser)
168
    p.add_literal(migraphx::shape{migraphx::shape::int32_type}, std::vector<int>{axis});
169

Shucai Xiao's avatar
Shucai Xiao committed
170
    p.add_instruction(migraphx::op::concat{axis}, l0, l1);
Paul's avatar
Paul committed
171
    auto prog = optimize_tf("concat_test.pb", false);
172
173
174
175
176
177
178

    EXPECT(p == prog);
}

TEST_CASE(const_test)
{
    migraphx::program p;
179
    p.add_literal(migraphx::shape{migraphx::shape::float_type}, std::vector<float>{1.0f});
Paul's avatar
Paul committed
180
    auto prog = optimize_tf("constant_test.pb", false);
181
182
183
184
185
186
187

    EXPECT(p == prog);
}

TEST_CASE(conv_test)
{
    migraphx::program p;
Khalique's avatar
Khalique committed
188

189
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
Khalique's avatar
Khalique committed
190
    std::vector<float> weight_data(3 * 3 * 3 * 32);
191
    std::fill(weight_data.begin(), weight_data.end(), 1.0f);
Khalique's avatar
Khalique committed
192
193
    auto l1 =
        p.add_literal(migraphx::shape{migraphx::shape::float_type, {3, 3, 3, 32}}, weight_data);
194
195
196

    migraphx::op::convolution op;
    op.padding_mode = migraphx::op::padding_mode_t::same;
Khalique's avatar
Khalique committed
197
    op.padding      = {1, 1};
Khalique's avatar
Khalique committed
198
199
    op.stride       = {1, 1};
    op.dilation     = {1, 1};
Paul's avatar
Paul committed
200
201
202
    auto l2         = p.add_instruction(migraphx::op::transpose{{3, 2, 0, 1}}, l1);
    p.add_instruction(op, l0, l2);
    auto prog = optimize_tf("conv_test.pb", true);
203
204
205
206

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
207
208
209
210
211
212
213
214
215
216
217
218
TEST_CASE(depthwiseconv_test)
{
    migraphx::program p;

    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    std::vector<float> weight_data(3 * 3 * 3 * 1);
    std::fill(weight_data.begin(), weight_data.end(), 1.0f);
    auto l1 =
        p.add_literal(migraphx::shape{migraphx::shape::float_type, {3, 3, 3, 1}}, weight_data);

    migraphx::op::convolution op;
    op.padding_mode = migraphx::op::padding_mode_t::same;
Khalique's avatar
Khalique committed
219
    op.padding      = {1, 1};
Khalique's avatar
Khalique committed
220
221
222
    op.stride       = {1, 1};
    op.dilation     = {1, 1};
    op.group        = 3;
Paul's avatar
Paul committed
223
    auto l3         = p.add_instruction(migraphx::op::transpose{{3, 2, 0, 1}}, l1);
Paul's avatar
Paul committed
224
225
226
    auto l4         = p.add_instruction(migraphx::op::contiguous{}, l3);
    auto l5         = p.add_instruction(migraphx::op::reshape{{3, 1, 3, 3}}, l4);
    p.add_instruction(op, l0, l5);
Paul's avatar
Paul committed
227
    auto prog = optimize_tf("depthwise_conv_test.pb", true);
Khalique's avatar
Khalique committed
228
229
230
231

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
232
233
234
TEST_CASE(expanddims_test)
{
    migraphx::program p;
Khalique's avatar
Khalique committed
235
236

    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {2, 3, 4}});
237
    p.add_literal(0);
Khalique's avatar
Khalique committed
238
    p.add_instruction(migraphx::op::reshape{{1, 2, 3, 4}}, l0);
239
    auto prog = optimize_tf("expanddims_test.pb", false);
Khalique's avatar
Khalique committed
240
241
242
243
244
245
246
247
248
249

    EXPECT(p == prog);
}

TEST_CASE(expanddims_test_neg_dims)
{
    // this check makes sure the pb parses negative dim value correctly
    migraphx::program p;

    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {2, 3, 4}});
250
    p.add_literal(-1);
Khalique's avatar
Khalique committed
251
    p.add_instruction(migraphx::op::reshape{{2, 3, 4, 1}}, l0);
252
    auto prog = optimize_tf("expanddims_neg_test.pb", false);
Khalique's avatar
Khalique committed
253
254
255
256

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
257
258
259
260
TEST_CASE(gather_test)
{
    migraphx::program p;

Khalique's avatar
Khalique committed
261
262
263
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {2, 4}});
    auto l1 =
        p.add_literal(migraphx::literal{migraphx::shape{migraphx::shape::int32_type, {2}}, {1, 1}});
Khalique's avatar
Khalique committed
264
265
266
267
268
269
    p.add_literal(1);

    int axis = 1;
    p.add_instruction(migraphx::op::gather{axis}, l0, l1);
    auto prog = optimize_tf("gather_test.pb", false);

Khalique's avatar
Khalique committed
270
271
272
    EXPECT(p == prog);
}

273
274
275
276
277
TEST_CASE(identity_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    p.add_instruction(migraphx::op::identity{}, l0);
Paul's avatar
Paul committed
278
    auto prog = optimize_tf("identity_test.pb", false);
279
280
281
282

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
283
284
285
286
287
TEST_CASE(matmul_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {8, 4}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {4, 8}});
Khalique's avatar
Khalique committed
288
289
290

    auto trans_l0 = p.add_instruction(migraphx::op::transpose{{1, 0}}, l0);
    auto trans_l1 = p.add_instruction(migraphx::op::transpose{{1, 0}}, l1);
Khalique's avatar
Khalique committed
291
292

    p.add_instruction(migraphx::op::dot{}, trans_l0, trans_l1);
Paul's avatar
Paul committed
293
    auto prog = optimize_tf("matmul_test.pb", false);
Khalique's avatar
Khalique committed
294
295
296
297

    EXPECT(p == prog);
}

298
299
300
TEST_CASE(mean_test)
{
    migraphx::program p;
Khalique's avatar
Khalique committed
301
    migraphx::literal l{migraphx::shape{migraphx::shape::int32_type, {2}}, {2, 3}};
302
303
304
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    p.add_literal(l);
    p.add_literal(l);
Paul's avatar
Paul committed
305
    migraphx::op::reduce_mean op{{2, 3}};
Paul's avatar
Paul committed
306
    p.add_instruction(op, l0);
Paul's avatar
Paul committed
307
    auto l3 = p.add_instruction(op, l0);
Khalique's avatar
Khalique committed
308
    p.add_instruction(migraphx::op::squeeze{{2, 3}}, l3);
Paul's avatar
Paul committed
309
    auto prog = optimize_tf("mean_test.pb", false);
310
311
312
313
314
315
316

    EXPECT(p == prog);
}

TEST_CASE(mean_test_nhwc)
{
    migraphx::program p;
Khalique's avatar
Khalique committed
317
    migraphx::literal l{migraphx::shape{migraphx::shape::int32_type, {2}}, {1, 2}};
318
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
Khalique's avatar
Khalique committed
319
    auto l1 = p.add_instruction(migraphx::op::transpose{{0, 2, 3, 1}}, l0);
Khalique's avatar
Khalique committed
320
321
    migraphx::op::reduce_mean op{{1, 2}};
    auto l2 = p.add_instruction(op, l1);
322
    p.add_instruction(migraphx::op::squeeze{{1, 2}}, l2);
Paul's avatar
Paul committed
323
    auto prog = optimize_tf("mean_test_nhwc.pb", true);
324
325
326
327

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
328
329
330
TEST_CASE(mul_test)
{
    migraphx::program p;
Khalique's avatar
Khalique committed
331
332
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 1, 1, 16}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {1, 1, 1, 16}});
Khalique's avatar
Khalique committed
333
334

    p.add_instruction(migraphx::op::mul{}, l0, l1);
Paul's avatar
Paul committed
335
    auto prog = optimize_tf("mul_test.pb", false);
Khalique's avatar
Khalique committed
336
337
338
339

    EXPECT(p == prog);
}

340
341
342
TEST_CASE(onehot_test)
{
    migraphx::program p;
Khalique's avatar
Khalique committed
343
344
    auto l0 = p.add_literal(
        migraphx::literal{migraphx::shape{migraphx::shape::int32_type, {5}}, {1, 1, 1, 1, 1}});
345
346
347
    p.add_literal(2);
    p.add_literal(1.0f);
    p.add_literal(0.0f);
Khalique's avatar
Khalique committed
348
349
    auto l1 = p.add_literal(
        migraphx::literal{migraphx::shape{migraphx::shape::float_type, {2, 2}}, {1, 0, 0, 1}});
350
351
352
353
354
355
356
    int axis = 0;
    p.add_instruction(migraphx::op::gather{axis}, l1, l0);
    auto prog = optimize_tf("onehot_test.pb", false);

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
357
358
359
360
361
362
363
364
365
366
TEST_CASE(pack_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {2}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {2}});
    auto l2 = p.add_parameter("2", migraphx::shape{migraphx::shape::float_type, {2}});
    std::vector<migraphx::instruction_ref> args{l0, l1, l2};
    std::vector<migraphx::instruction_ref> unsqueezed_args;
    int64_t axis = 1;

Khalique's avatar
Khalique committed
367
368
369
370
371
372
    std::transform(args.begin(),
                   args.end(),
                   std::back_inserter(unsqueezed_args),
                   [&](migraphx::instruction_ref arg) {
                       return p.add_instruction(migraphx::op::unsqueeze{{axis}}, arg);
                   });
Shucai Xiao's avatar
Shucai Xiao committed
373
    p.add_instruction(migraphx::op::concat{static_cast<int>(axis)}, unsqueezed_args);
Paul's avatar
Paul committed
374
    auto prog = optimize_tf("pack_test.pb", false);
Khalique's avatar
Khalique committed
375
376
377
378

    EXPECT(p == prog);
}

379
380
381
TEST_CASE(pack_test_nhwc)
{
    migraphx::program p;
Paul's avatar
Paul committed
382
    auto l0  = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 2, 1, 1}});
Paul's avatar
Paul committed
383
    auto lt0 = p.add_instruction(migraphx::op::transpose{{0, 2, 3, 1}}, l0);
Paul's avatar
Paul committed
384
    auto l1  = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {1, 2, 1, 1}});
Paul's avatar
Paul committed
385
    auto lt1 = p.add_instruction(migraphx::op::transpose{{0, 2, 3, 1}}, l1);
Paul's avatar
Paul committed
386
    auto l2  = p.add_parameter("2", migraphx::shape{migraphx::shape::float_type, {1, 2, 1, 1}});
Paul's avatar
Paul committed
387
388
    auto lt2 = p.add_instruction(migraphx::op::transpose{{0, 2, 3, 1}}, l2);
    std::vector<migraphx::instruction_ref> args{lt0, lt1, lt2};
389
    std::vector<migraphx::instruction_ref> unsqueezed_args;
Paul's avatar
Paul committed
390
    int64_t nchw_axis = 3;
391
392
393
394
395
396
397

    std::transform(args.begin(),
                   args.end(),
                   std::back_inserter(unsqueezed_args),
                   [&](migraphx::instruction_ref arg) {
                       return p.add_instruction(migraphx::op::unsqueeze{{nchw_axis}}, arg);
                   });
Shucai Xiao's avatar
Shucai Xiao committed
398
    p.add_instruction(migraphx::op::concat{static_cast<int>(nchw_axis)}, unsqueezed_args);
Paul's avatar
Paul committed
399
    auto prog = optimize_tf("pack_test_nhwc.pb", true);
400
401
402
403

    EXPECT(p == prog);
}

404
405
406
TEST_CASE(pooling_test)
{
    migraphx::program p;
407
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
408
409
    migraphx::op::pooling avg_pool_op{"average"};
    migraphx::op::pooling max_pool_op{"max"};
Shucai Xiao's avatar
Shucai Xiao committed
410
411
412
413
    avg_pool_op.stride  = {2, 2};
    max_pool_op.stride  = {2, 2};
    avg_pool_op.lengths = {2, 2};
    max_pool_op.lengths = {2, 2};
414
    p.add_instruction(max_pool_op, l0);
Paul's avatar
Paul committed
415
    auto prog = optimize_tf("pooling_test.pb", true);
416
417
418
419

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
420
421
422
423
424
425
426
427
428
429
430
TEST_CASE(pow_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    p.add_instruction(migraphx::op::pow{}, l0, l1);
    auto prog = optimize_tf("pow_test.pb", false);

    EXPECT(p == prog);
}

431
432
433
434
435
TEST_CASE(relu_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    p.add_instruction(migraphx::op::relu{}, l0);
Paul's avatar
Paul committed
436
    auto prog = optimize_tf("relu_test.pb", false);
437
438
439
440

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
441
442
443
TEST_CASE(relu6_test)
{
    migraphx::program p;
kahmed10's avatar
kahmed10 committed
444
445
446
447
448
449
450
    std::vector<size_t> input_lens{1, 3, 16, 16};
    auto l0      = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, input_lens});
    auto min_val = p.add_literal(0.0f);
    auto max_val = p.add_literal(6.0f);
    min_val      = p.add_instruction(migraphx::op::multibroadcast{input_lens}, min_val);
    max_val      = p.add_instruction(migraphx::op::multibroadcast{input_lens}, max_val);
    p.add_instruction(migraphx::op::clip{}, l0, min_val, max_val);
Paul's avatar
Paul committed
451
    auto prog = optimize_tf("relu6_test.pb", false);
Khalique's avatar
Khalique committed
452
453
454
455

    EXPECT(p == prog);
}

456
457
458
459
460
461
TEST_CASE(reshape_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {16}});
    migraphx::shape s0{migraphx::shape::int32_type, {4}};
    // in tf, the second arg is a literal that contains new dimensions
Khalique's avatar
Khalique committed
462
463
    p.add_literal(migraphx::literal{s0, {1, 1, 1, 16}});
    p.add_instruction(migraphx::op::reshape{{1, 1, 1, 16}}, l0);
Paul's avatar
Paul committed
464
    auto prog = optimize_tf("reshape_test.pb", false);
465
466
467
468

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
469
470
471
472
473
474
475
476
477
478
TEST_CASE(rsqrt_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    p.add_instruction(migraphx::op::rsqrt{}, l0);
    auto prog = optimize_tf("rsqrt_test.pb", false);

    EXPECT(p == prog);
}

479
480
481
482
483
484
485
486
487
488
489
TEST_CASE(shape_test)
{
    migraphx::program p;
    p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    p.add_literal(
        migraphx::literal{migraphx::shape{migraphx::shape::int32_type, {4}}, {1, 3, 16, 16}});
    auto prog = optimize_tf("shape_test.pb", false);

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
490
491
492
493
TEST_CASE(slice_test)
{
    migraphx::program p;
    std::size_t num_axes = 2;
Khalique's avatar
Khalique committed
494
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {5, 10}});
Khalique's avatar
Khalique committed
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
    migraphx::shape s0{migraphx::shape::int32_type, {num_axes}};
    p.add_literal(migraphx::literal{s0, {1, 0}});
    p.add_literal(migraphx::literal{s0, {2, -1}});

    migraphx::op::slice op;
    op.starts = {1, 0};
    op.ends   = {3, 10};
    op.axes   = std::vector<int64_t>(num_axes);
    std::iota(op.axes.begin(), op.axes.end(), 0);
    p.add_instruction(op, l0);
    auto prog = optimize_tf("slice_test.pb", false);

    EXPECT(p == prog);
}

510
511
512
TEST_CASE(softmax_test)
{
    migraphx::program p;
Shucai Xiao's avatar
Shucai Xiao committed
513
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3}});
514
    p.add_instruction(migraphx::op::softmax{1}, l0);
Paul's avatar
Paul committed
515
    auto prog = optimize_tf("softmax_test.pb", false);
516
517
518
519

    EXPECT(p == prog);
}

kahmed10's avatar
kahmed10 committed
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
TEST_CASE(split_test)
{
    migraphx::program p;
    std::vector<int64_t> axes{0, 1};
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {5, 30}});
    p.add_literal(3); // num_splits
    p.add_literal(1); // split axis
    p.add_literal(1); // concat axis
    p.add_literal(1); // concat axis
    auto l1 = p.add_instruction(migraphx::op::slice{axes, {0, 0}, {5, 10}}, l0);
    auto l2 = p.add_instruction(migraphx::op::slice{axes, {0, 10}, {5, 20}}, l0);
    auto l3 = p.add_instruction(migraphx::op::slice{axes, {0, 20}, {5, 30}}, l0);
    p.add_instruction(migraphx::op::concat{1}, l1, l2);
    p.add_instruction(migraphx::op::concat{1}, l2, l3);

535
    auto prog = parse_tf("split_test.pb", false);
kahmed10's avatar
kahmed10 committed
536
537
538
539
540
541
542
543
544
545
546
547

    EXPECT(p == prog);
}

TEST_CASE(split_test_one_output)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {5, 30}});
    p.add_literal(1); // num_splits
    p.add_literal(1); // split axis
    p.add_instruction(migraphx::op::identity{}, l0);

548
    auto prog = parse_tf("split_test_one_output.pb", false);
kahmed10's avatar
kahmed10 committed
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569

    EXPECT(p == prog);
}

TEST_CASE(split_test_vector_as_input)
{
    migraphx::program p;
    std::vector<int64_t> axes{0, 1};
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {5, 30}});
    // split sizes
    p.add_literal(
        migraphx::literal{migraphx::shape{migraphx::shape::int32_type, {3}}, {4, 15, 11}});
    p.add_literal(1); // split axis
    p.add_literal(1); // concat axis
    p.add_literal(1); // concat axis
    auto l1 = p.add_instruction(migraphx::op::slice{axes, {0, 0}, {5, 4}}, l0);
    auto l2 = p.add_instruction(migraphx::op::slice{axes, {0, 4}, {5, 19}}, l0);
    auto l3 = p.add_instruction(migraphx::op::slice{axes, {0, 19}, {5, 30}}, l0);
    p.add_instruction(migraphx::op::concat{1}, l1, l2);
    p.add_instruction(migraphx::op::concat{1}, l2, l3);

570
    auto prog = parse_tf("split_test_vector_as_input.pb", false);
kahmed10's avatar
kahmed10 committed
571
572
573
574

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
575
576
577
578
579
580
581
582
583
584
585
TEST_CASE(sqdiff_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    p.add_instruction(migraphx::op::sqdiff{}, l0, l1);
    auto prog = optimize_tf("sqdiff_test.pb", false);

    EXPECT(p == prog);
}

586
587
588
TEST_CASE(squeeze_test)
{
    migraphx::program p;
Khalique's avatar
Khalique committed
589
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 2, 3, 1}});
590
    p.add_instruction(migraphx::op::squeeze{{0, 3}}, l0);
Paul's avatar
Paul committed
591
    auto prog = optimize_tf("squeeze_test.pb", false);
592
593
594

    EXPECT(p == prog);
}
Khalique's avatar
Khalique committed
595

Khalique's avatar
Khalique committed
596
597
598
599
600
601
602
TEST_CASE(stopgradient_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    p.add_instruction(migraphx::op::identity{}, l0);
    auto prog = optimize_tf("stopgradient_test.pb", false);

Khalique's avatar
Khalique committed
603
    EXPECT(p == prog);
Khalique's avatar
Khalique committed
604
605
}

Khalique's avatar
Khalique committed
606
607
608
609
TEST_CASE(stridedslice_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 10, 1, 1}});
Khalique's avatar
Khalique committed
610
    auto l1 = p.add_instruction(migraphx::op::transpose{{0, 2, 3, 1}}, l0);
Khalique's avatar
Khalique committed
611
612
    std::size_t num_axes = 4;
    migraphx::op::slice op;
Khalique's avatar
Khalique committed
613
    op.starts = {0, 0, 0, 0};
Paul's avatar
Paul committed
614
    op.ends   = {1, 1, 1, 5};
Khalique's avatar
Khalique committed
615
616
    op.axes   = std::vector<int64_t>(num_axes);
    std::iota(op.axes.begin(), op.axes.end(), 0);
617
    auto l2          = p.add_instruction(op, l1);
Paul's avatar
Paul committed
618
    auto shrink_axis = 1;
619
    p.add_instruction(migraphx::op::squeeze{{shrink_axis}}, l2);
Paul's avatar
Paul committed
620
    auto prog = optimize_tf("stridedslice_test.pb", true);
Khalique's avatar
Khalique committed
621
622
623
624

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
625
626
627
628
629
630
TEST_CASE(stridedslice_masks_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 10, 3, 3}});
    std::size_t num_axes = 4;
    migraphx::op::slice op;
631
632
    op.starts = {0, 1, 1, 0};
    op.ends   = {1, 3, 3, 10};
Khalique's avatar
Khalique committed
633
634
635
636
637
638
639
    op.axes   = std::vector<int64_t>(num_axes);
    std::iota(op.axes.begin(), op.axes.end(), 0);
    // add literals for starts, ends, and strides in tf (NHWC format)
    p.add_literal(migraphx::shape{migraphx::shape::int32_type, {4}}, std::vector<int>{0, 1, 1, 0});
    p.add_literal(migraphx::shape{migraphx::shape::int32_type, {4}}, std::vector<int>{0, 0, 0, 0});
    p.add_literal(migraphx::shape{migraphx::shape::int32_type, {4}}, std::vector<int>{1, 1, 1, 1});

Khalique's avatar
Khalique committed
640
    auto l1 = p.add_instruction(migraphx::op::transpose{{0, 2, 3, 1}}, l0);
641
    auto l2 = p.add_instruction(op, l1);
Khalique's avatar
Khalique committed
642
    p.add_instruction(migraphx::op::transpose{{0, 3, 1, 2}}, l2);
643
    auto prog = parse_tf("stridedslice_masks_test.pb", true);
Khalique's avatar
Khalique committed
644
645
646
647

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
648
649
650
651
652
653
TEST_CASE(sub_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    p.add_instruction(migraphx::op::sub{}, l0, l1);
654
    auto prog = parse_tf("sub_test.pb", false);
Khalique's avatar
Khalique committed
655
656
657
658

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
659
660
661
TEST_CASE(tanh_test)
{
    migraphx::program p;
Khalique's avatar
Khalique committed
662
663
664
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    auto l1 = p.add_parameter("1", migraphx::shape{migraphx::shape::float_type, {1, 2, 2, 3}});
    p.add_instruction(migraphx::op::sub{}, l0, l1);
665
    auto prog = parse_tf("sub_test.pb", false);
Khalique's avatar
Khalique committed
666
667
668
669

    EXPECT(p == prog);
}

Khalique's avatar
Khalique committed
670
671
672
673
674
TEST_CASE(transpose_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    migraphx::shape s0{migraphx::shape::int32_type, {4}};
Khalique's avatar
Khalique committed
675
676
    p.add_literal(migraphx::literal{s0, {0, 2, 3, 1}});
    p.add_instruction(migraphx::op::transpose{{0, 2, 3, 1}}, l0);
Khalique's avatar
Khalique committed
677
678
679
680
681
    auto prog = optimize_tf("transpose_test.pb", false);

    EXPECT(p == prog);
}

682
683
684
685
686
687
688
689
690
691
TEST_CASE(variable_batch_test)
{
    migraphx::program p;
    auto l0 = p.add_parameter("0", migraphx::shape{migraphx::shape::float_type, {1, 3, 16, 16}});
    p.add_instruction(migraphx::op::identity{}, l0);
    auto prog = optimize_tf("variable_batch_test.pb", false);

    EXPECT(p == prog);
}

692
int main(int argc, const char* argv[]) { test::run(argc, argv); }