shape.cpp 8.68 KB
Newer Older
Paul's avatar
Paul committed
1

Paul's avatar
Paul committed
2
3
#include <migraphx/shape.hpp>
#include <migraphx/stringutils.hpp>
4
#include <migraphx/serialize.hpp>
Paul's avatar
Paul committed
5
6
7
#include <numeric>
#include <algorithm>
#include <functional>
8
#include <unordered_map>
Paul's avatar
Paul committed
9
#include <iostream>
Paul's avatar
Paul committed
10

Paul's avatar
Paul committed
11
namespace migraphx {
Paul's avatar
Paul committed
12
inline namespace MIGRAPHX_INLINE_NS {
Paul's avatar
Paul committed
13

Paul's avatar
Paul committed
14
15
struct shape_impl
{
Paul's avatar
Paul committed
16
17
    static std::shared_ptr<shape_impl> default_shape()
    {
18
        static const std::shared_ptr<shape_impl> result = std::make_shared<shape_impl>();
Paul's avatar
Paul committed
19
20
21
22
23
        return result;
    }

    shape_impl() : m_type(shape::float_type), m_standard(false) {}

24
    shape_impl(shape::type_t t) : m_type(t), m_lens({1}), m_strides({0}), m_standard(true) {}
Paul's avatar
Paul committed
25
26
27
28
29
30
31
32
33
34
    shape_impl(shape::type_t t, std::vector<std::size_t> l)
        : m_type(t), m_lens(std::move(l)), m_standard(true)
    {
        this->calculate_strides();
        assert(m_lens.size() == m_strides.size());
    }
    shape_impl(shape::type_t t, std::vector<std::size_t> l, std::vector<std::size_t> s)
        : m_type(t), m_lens(std::move(l)), m_strides(std::move(s))
    {
        assert(m_lens.size() == m_strides.size());
Khalique's avatar
Khalique committed
35
36
        // assert(std::any_of(m_strides.begin(), m_strides.end(), [](auto x) { return x > 0; }) and
        //        "At least one stride must be non-zero");
37
38
        m_standard = this->elements() == this->element_space() and
                     std::is_sorted(m_strides.rbegin(), m_strides.rend());
Paul's avatar
Paul committed
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
    }
    shape::type_t m_type;
    std::vector<std::size_t> m_lens;
    std::vector<std::size_t> m_strides;
    bool m_standard;

    void calculate_strides()
    {
        m_strides.clear();
        m_strides.resize(m_lens.size(), 0);
        if(m_strides.empty())
            return;
        m_strides.back() = 1;
        std::partial_sum(m_lens.rbegin(),
                         m_lens.rend() - 1,
                         m_strides.rbegin() + 1,
                         std::multiplies<std::size_t>());
    }

    std::size_t element_space() const
    {
        assert(m_lens.size() == m_strides.size());
        if(m_lens.empty())
            return 0;
        return std::inner_product(m_lens.begin(),
                                  m_lens.end(),
                                  m_strides.begin(),
                                  std::size_t{0},
                                  std::plus<std::size_t>{},
                                  [](std::size_t l, std::size_t s) { return (l - 1) * s; }) +
               1;
    }

    std::size_t elements() const
    {
        assert(m_lens.size() == m_strides.size());
        if(m_lens.empty())
            return 0;
        return std::accumulate(
            m_lens.begin(), m_lens.end(), std::size_t{1}, std::multiplies<std::size_t>());
    }
Paul's avatar
Paul committed
80
};
Paul's avatar
Paul committed
81

82
83
84
85
86
87
88
89
const std::vector<shape::type_t>& shape::types()
{
    static const std::vector<shape::type_t> result = {
#define MIGRAPHX_GENERATE_TYPE_VECTOR(x, t) x,
        MIGRAPHX_SHAPE_VISIT_TYPES(MIGRAPHX_GENERATE_TYPE_VECTOR)};
    return result;
}

Paul's avatar
Paul committed
90
91
92
shape::shape() : impl(shape_impl::default_shape()) {}

shape::shape(type_t t) : impl(std::make_shared<shape_impl>(t)) {}
Paul's avatar
Paul committed
93
shape::shape(type_t t, std::vector<std::size_t> l)
Paul's avatar
Paul committed
94
    : impl(std::make_shared<shape_impl>(t, std::move(l)))
Paul's avatar
Paul committed
95
96
97
{
}
shape::shape(type_t t, std::vector<std::size_t> l, std::vector<std::size_t> s)
Paul's avatar
Paul committed
98
    : impl(std::make_shared<shape_impl>(t, std::move(l), std::move(s)))
Paul's avatar
Paul committed
99
100
101
{
}

Paul's avatar
Paul committed
102
103
104
shape::type_t shape::type() const { return impl->m_type; }
const std::vector<std::size_t>& shape::lens() const { return impl->m_lens; }
const std::vector<std::size_t>& shape::strides() const { return impl->m_strides; }
Paul's avatar
Paul committed
105
std::size_t shape::elements() const { return impl->elements(); }
Paul's avatar
Paul committed
106
107
108
109
110
111
std::size_t shape::bytes() const
{
    std::size_t n = 0;
    this->visit_type([&](auto as) { n = as.size(); });
    return n * this->element_space();
}
Scott Thornton's avatar
Scott Thornton committed
112
113
114
115
116
117
std::size_t shape::type_size() const
{
    std::size_t n = 0;
    this->visit_type([&](auto as) { n = as.size(); });
    return n;
}
Paul's avatar
Paul committed
118
119
120
121
122
123
124
125
126
127
128
129
std::size_t shape::index(std::initializer_list<std::size_t> l) const
{
    assert(l.size() <= this->lens().size());
    assert(this->lens().size() == this->strides().size());
    return std::inner_product(l.begin(), l.end(), this->strides().begin(), std::size_t{0});
}
std::size_t shape::index(const std::vector<std::size_t>& l) const
{
    assert(l.size() <= this->lens().size());
    assert(this->lens().size() == this->strides().size());
    return std::inner_product(l.begin(), l.end(), this->strides().begin(), std::size_t{0});
}
Paul's avatar
Paul committed
130
131
132
std::size_t shape::index(std::size_t i) const
{
    assert(this->lens().size() == this->strides().size());
Paul's avatar
Paul committed
133
    if(this->standard())
Paul's avatar
Paul committed
134
135
        return i;
    else
Paul's avatar
Paul committed
136
    {
Paul's avatar
Paul committed
137
        std::size_t s      = 1;
Paul's avatar
Paul committed
138
        std::size_t result = 0;
Paul's avatar
Paul committed
139
        for(std::size_t j = 0; j < this->lens().size(); j++)
Paul's avatar
Paul committed
140
        {
Paul's avatar
Paul committed
141
            const std::size_t k      = this->lens().size() - j - 1;
Paul's avatar
Paul committed
142
            const std::size_t stride = this->strides()[k];
Paul's avatar
Paul committed
143
144
            const std::size_t len    = this->lens()[k];
            const std::size_t idx    = (i % (s * len)) / s;
Paul's avatar
Paul committed
145
146
147
148
149
            result += stride * idx;
            s *= len;
        }
        return result;
    }
Paul's avatar
Paul committed
150
}
151
152
153
154
155
156

std::vector<std::size_t> shape::multi(std::size_t i) const
{
    assert(this->standard());

    std::vector<std::size_t> indices(lens().size());
157
158
159
160
161
162
163
164
165
166
    multi_copy(i, indices.data(), indices.data() + lens().size());

    return indices;
}

void shape::multi_copy(std::size_t i, std::size_t* start, const std::size_t* end) const
{
    assert(this->standard());
    (void)end;
    assert(lens().size() <= (end - start));
167
    std::transform(strides().begin(),
Shucai Xiao's avatar
Shucai Xiao committed
168
169
                   strides().end(),
                   lens().begin(),
170
                   start,
Shucai Xiao's avatar
Shucai Xiao committed
171
172
173
174
                   [&](std::size_t stride, std::size_t len) {
                       assert(len > 0 and stride > 0);
                       return (i / stride) % len;
                   });
175
176
}

Paul's avatar
Paul committed
177
178
bool shape::packed() const { return this->elements() == this->element_space(); }

Paul's avatar
Paul committed
179
180
bool shape::transposed() const
{
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
    if(this->broadcasted())
    {
        // TODO: Use a filter_iterator instead
        std::vector<std::size_t> s;
        s.reserve(this->strides().size());
        std::copy_if(this->strides().begin(),
                     this->strides().end(),
                     std::back_inserter(s),
                     [](std::size_t x) { return x != 0; });
        return not std::is_sorted(s.rbegin(), s.rend());
    }
    else
    {
        return not std::is_sorted(this->strides().rbegin(), this->strides().rend());
    }
Paul's avatar
Paul committed
196
}
Paul's avatar
Paul committed
197
198
199
200

bool shape::broadcasted() const
{
    assert(this->lens().size() == this->strides().size());
Paul's avatar
Paul committed
201
202
203
204
    return std::accumulate(this->strides().begin(),
                           this->strides().end(),
                           std::size_t{1},
                           std::multiplies<std::size_t>()) == 0;
Paul's avatar
Paul committed
205
206
}

Khalique's avatar
Khalique committed
207
208
209
210
bool shape::scalar() const
{
    assert(this->lens().size() == this->strides().size());
    // if any stride > 0, then accumulate will return false
Khalique's avatar
Khalique committed
211
    return std::accumulate(this->strides().begin(), this->strides().end(), std::size_t(0)) == 0;
Khalique's avatar
Khalique committed
212
213
}

Paul's avatar
Paul committed
214
bool shape::standard() const { return impl->m_standard; }
Paul's avatar
Paul committed
215

216
217
218
219
220
221
222
223
shape shape::normalize_standard() const
{
    if(this->standard())
        return {this->type(), this->lens()};
    else
        return *this;
}

Paul's avatar
Paul committed
224
std::size_t shape::element_space() const { return impl->element_space(); }
Paul's avatar
Paul committed
225

Paul's avatar
Paul committed
226
227
std::string shape::type_string() const
{
Paul's avatar
Paul committed
228
    switch(this->type())
Paul's avatar
Paul committed
229
    {
Paul's avatar
Paul committed
230
#define MIGRAPHX_SHAPE_GENERATE_TYPE_STRING_CASE(x, t) \
Paul's avatar
Paul committed
231
    case x: return #x;
Paul's avatar
Paul committed
232
233
        MIGRAPHX_SHAPE_VISIT_TYPES(MIGRAPHX_SHAPE_GENERATE_TYPE_STRING_CASE)
#undef MIGRAPHX_SHAPE_GENERATE_TYPE_STRING_CASE
Paul's avatar
Paul committed
234
    }
Paul's avatar
Paul committed
235
    MIGRAPHX_THROW("Invalid type");
Paul's avatar
Paul committed
236
237
}

Paul's avatar
Paul committed
238
239
240
241
bool operator==(const shape& x, const shape& y)
{
    return x.type() == y.type() && x.lens() == y.lens() && x.strides() == y.strides();
}
Paul's avatar
Paul committed
242
bool operator!=(const shape& x, const shape& y) { return !(x == y); }
Paul's avatar
Paul committed
243

Paul's avatar
Paul committed
244
245
246
std::ostream& operator<<(std::ostream& os, const shape& x)
{
    os << x.type_string() << ", ";
Paul's avatar
Paul committed
247
248
    os << "{" << to_string_range(x.lens()) << "}, ";
    os << "{" << to_string_range(x.strides()) << "}";
Paul's avatar
Paul committed
249
250
251
    return os;
}

252
253
shape::type_t shape::parse_type(const std::string& s)
{
254
    static const std::unordered_map<std::string, shape::type_t> m = {
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
#define MIGRAPHX_SHAPE_GENERATE_TYPE_STRING_MAP(x, t) {#x, x}, {#t, x},
        MIGRAPHX_SHAPE_VISIT_TYPES(MIGRAPHX_SHAPE_GENERATE_TYPE_STRING_MAP)};
    return m.at(s);
}

void migraphx_to_value(value& v, const shape& s)
{
    value result;
    result["type"]    = migraphx::to_value(s.type_string());
    result["lens"]    = migraphx::to_value(s.lens());
    result["strides"] = migraphx::to_value(s.strides());
    v                 = result;
}
void migraphx_from_value(const value& v, shape& s)
{
    s = shape{shape::parse_type(v.at("type").get_string()),
              v.at("lens").to_vector<std::size_t>(),
              v.at("strides").to_vector<std::size_t>()};
}

Paul's avatar
Paul committed
275
} // namespace MIGRAPHX_INLINE_NS
Paul's avatar
Paul committed
276
} // namespace migraphx