auto_contiguous_test.cpp 3.21 KB
Newer Older
Paul's avatar
Paul committed
1
2
3
4
5
#include <migraph/auto_contiguous.hpp>
#include <migraph/operators.hpp>
#include <basic_ops.hpp>
#include <test.hpp>

Paul's avatar
Paul committed
6
struct contiguous_target
Paul's avatar
Paul committed
7
{
Paul's avatar
Paul committed
8
    std::string name() const { return "contiguous"; }
Paul's avatar
Paul committed
9
10
    std::vector<migraph::pass> get_passes(migraph::context&) const
    {
Paul's avatar
Paul committed
11
        return {migraph::auto_contiguous{}};
Paul's avatar
Paul committed
12
13
14
15
    }
    migraph::context get_context() const { return {}; }
};

Paul's avatar
Paul committed
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
void literal_broadcast()
{
    migraph::program p;
    p.add_literal(get_2_broadcasted());
    EXPECT(not p.get_shape().standard());
    EXPECT(p.get_shape().broadcasted());
    p.compile(contiguous_target{});
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().broadcasted());
}

void literal_transpose()
{
    migraph::program p;
    p.add_literal(get_2x2_transposed());
    EXPECT(not p.get_shape().standard());
    EXPECT(p.get_shape().transposed());
    p.compile(contiguous_target{});
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().transposed());
}

Paul's avatar
Paul committed
38
39
40
41
void after_literal_transpose()
{
    migraph::program p;
    auto l = p.add_literal(get_2x2());
Paul's avatar
Paul committed
42
43
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().transposed());
44
    auto t = p.add_instruction(migraph::op::transpose{{1, 0}}, l);
Paul's avatar
Paul committed
45
    p.add_instruction(pass_op{}, t);
Paul's avatar
Paul committed
46
47
    EXPECT(not p.get_shape().standard());
    EXPECT(p.get_shape().transposed());
Paul's avatar
Paul committed
48
    p.compile(contiguous_target{});
Paul's avatar
Paul committed
49
50
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().transposed());
Paul's avatar
Paul committed
51
52
}

Paul's avatar
Paul committed
53
54
55
56
57
58
59
void after_literal_broadcast()
{
    migraph::program p;
    auto l1 = p.add_literal(get_2x2());
    auto l2 = p.add_literal(get_2());
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().broadcasted());
60
    auto b = p.add_instruction(migraph::op::broadcast{}, l1, l2);
Paul's avatar
Paul committed
61
62
63
64
65
66
67
68
    p.add_instruction(pass_op{}, b);
    EXPECT(not p.get_shape().standard());
    EXPECT(p.get_shape().broadcasted());
    p.compile(contiguous_target{});
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().broadcasted());
}

Paul's avatar
Paul committed
69
70
71
72
73
74
void after_param_transpose()
{
    migraph::program p;
    auto l = p.add_parameter("2x2", {migraph::shape::float_type, {2, 2}});
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().transposed());
75
    auto t = p.add_instruction(migraph::op::transpose{{1, 0}}, l);
Paul's avatar
Paul committed
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
    p.add_instruction(pass_op{}, t);
    EXPECT(not p.get_shape().standard());
    EXPECT(p.get_shape().transposed());
    p.compile(contiguous_target{});
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().transposed());
}

void after_param_broadcast()
{
    migraph::program p;
    auto l1 = p.add_parameter("2x2", {migraph::shape::float_type, {2, 2}});
    auto l2 = p.add_parameter("2", {migraph::shape::float_type, {2}});
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().broadcasted());
91
    auto b = p.add_instruction(migraph::op::broadcast{}, l1, l2);
Paul's avatar
Paul committed
92
93
94
95
96
97
98
99
    p.add_instruction(pass_op{}, b);
    EXPECT(not p.get_shape().standard());
    EXPECT(p.get_shape().broadcasted());
    p.compile(contiguous_target{});
    EXPECT(p.get_shape().standard());
    EXPECT(not p.get_shape().broadcasted());
}

Paul's avatar
Paul committed
100
101
int main()
{
Paul's avatar
Paul committed
102
    // literal_broadcast();
Paul's avatar
Paul committed
103
    literal_transpose();
Paul's avatar
Paul committed
104
105
    after_literal_transpose();
    after_literal_broadcast();
Paul's avatar
Paul committed
106
107
    after_param_transpose();
    after_param_broadcast();
Paul's avatar
Paul committed
108
}