"git@developer.sourcefind.cn:gaoqiong/migraphx.git" did not exist on "e63c09c56d933f989703ad5cc4da7b445ce0d221"
shape.cpp 6.79 KB
Newer Older
Paul's avatar
Paul committed
1

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

Paul's avatar
Paul committed
9
namespace migraphx {
Paul's avatar
Paul committed
10
inline namespace MIGRAPHX_INLINE_NS {
Paul's avatar
Paul committed
11

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

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

22
    shape_impl(shape::type_t t) : m_type(t), m_lens({1}), m_strides({0}), m_standard(true) {}
Paul's avatar
Paul committed
23
24
25
26
27
28
29
30
31
32
    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
33
34
        // assert(std::any_of(m_strides.begin(), m_strides.end(), [](auto x) { return x > 0; }) and
        //        "At least one stride must be non-zero");
Paul's avatar
Paul committed
35
36
37
38
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
        m_standard = this->elements() == this->element_space() and
                     std::is_sorted(m_strides.rbegin(), m_strides.rend());
    }
    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
78
};
Paul's avatar
Paul committed
79

Paul's avatar
Paul committed
80
81
82
shape::shape() : impl(shape_impl::default_shape()) {}

shape::shape(type_t t) : impl(std::make_shared<shape_impl>(t)) {}
Paul's avatar
Paul committed
83
shape::shape(type_t t, std::vector<std::size_t> l)
Paul's avatar
Paul committed
84
    : impl(std::make_shared<shape_impl>(t, std::move(l)))
Paul's avatar
Paul committed
85
86
87
{
}
shape::shape(type_t t, std::vector<std::size_t> l, std::vector<std::size_t> s)
Paul's avatar
Paul committed
88
    : impl(std::make_shared<shape_impl>(t, std::move(l), std::move(s)))
Paul's avatar
Paul committed
89
90
91
{
}

Paul's avatar
Paul committed
92
93
94
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
95
std::size_t shape::elements() const { return impl->elements(); }
Paul's avatar
Paul committed
96
97
98
99
100
101
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
102
103
104
105
106
107
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
108
109
110
111
112
113
114
115
116
117
118
119
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
120
121
122
std::size_t shape::index(std::size_t i) const
{
    assert(this->lens().size() == this->strides().size());
Paul's avatar
Paul committed
123
    if(this->standard())
Paul's avatar
Paul committed
124
125
        return i;
    else
Paul's avatar
Paul committed
126
    {
Paul's avatar
Paul committed
127
        std::size_t s      = 1;
Paul's avatar
Paul committed
128
        std::size_t result = 0;
Paul's avatar
Paul committed
129
        for(std::size_t j = 0; j < this->lens().size(); j++)
Paul's avatar
Paul committed
130
        {
Paul's avatar
Paul committed
131
            const std::size_t k      = this->lens().size() - j - 1;
Paul's avatar
Paul committed
132
            const std::size_t stride = this->strides()[k];
Paul's avatar
Paul committed
133
134
            const std::size_t len    = this->lens()[k];
            const std::size_t idx    = (i % (s * len)) / s;
Paul's avatar
Paul committed
135
136
137
138
139
            result += stride * idx;
            s *= len;
        }
        return result;
    }
Paul's avatar
Paul committed
140
}
141
142
143
144
145
146
147

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

    std::vector<std::size_t> indices(lens().size());
    std::transform(strides().begin(),
Shucai Xiao's avatar
Shucai Xiao committed
148
149
150
151
152
153
154
                   strides().end(),
                   lens().begin(),
                   indices.begin(),
                   [&](std::size_t stride, std::size_t len) {
                       assert(len > 0 and stride > 0);
                       return (i / stride) % len;
                   });
155
156
157
158

    return indices;
}

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

Paul's avatar
Paul committed
161
162
163
164
bool shape::transposed() const
{
    return not std::is_sorted(this->strides().rbegin(), this->strides().rend());
}
Paul's avatar
Paul committed
165
166
167
168

bool shape::broadcasted() const
{
    assert(this->lens().size() == this->strides().size());
Paul's avatar
Paul committed
169
170
171
172
    return std::accumulate(this->strides().begin(),
                           this->strides().end(),
                           std::size_t{1},
                           std::multiplies<std::size_t>()) == 0;
Paul's avatar
Paul committed
173
174
}

Khalique's avatar
Khalique committed
175
176
177
178
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
179
    return std::accumulate(this->strides().begin(), this->strides().end(), std::size_t(0)) == 0;
Khalique's avatar
Khalique committed
180
181
}

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

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

Paul's avatar
Paul committed
186
187
std::string shape::type_string() const
{
Paul's avatar
Paul committed
188
    switch(this->type())
Paul's avatar
Paul committed
189
    {
Paul's avatar
Paul committed
190
#define MIGRAPHX_SHAPE_GENERATE_TYPE_STRING_CASE(x, t) \
Paul's avatar
Paul committed
191
    case x: return #x;
Paul's avatar
Paul committed
192
193
        MIGRAPHX_SHAPE_VISIT_TYPES(MIGRAPHX_SHAPE_GENERATE_TYPE_STRING_CASE)
#undef MIGRAPHX_SHAPE_GENERATE_TYPE_STRING_CASE
Paul's avatar
Paul committed
194
    }
Paul's avatar
Paul committed
195
    MIGRAPHX_THROW("Invalid type");
Paul's avatar
Paul committed
196
197
}

Paul's avatar
Paul committed
198
199
200
201
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
202
bool operator!=(const shape& x, const shape& y) { return !(x == y); }
Paul's avatar
Paul committed
203

Paul's avatar
Paul committed
204
205
206
std::ostream& operator<<(std::ostream& os, const shape& x)
{
    os << x.type_string() << ", ";
Paul's avatar
Paul committed
207
208
    os << "{" << to_string_range(x.lens()) << "}, ";
    os << "{" << to_string_range(x.strides()) << "}";
Paul's avatar
Paul committed
209
210
211
    return os;
}

Paul's avatar
Paul committed
212
} // namespace MIGRAPHX_INLINE_NS
Paul's avatar
Paul committed
213
} // namespace migraphx