tensor_view.hpp 4.26 KB
Newer Older
Paul's avatar
Paul committed
1
2
#ifndef MIGRAPH_GUARD_TENSOR_VIEW_HPP
#define MIGRAPH_GUARD_TENSOR_VIEW_HPP
Paul's avatar
Paul committed
3

Paul's avatar
Paul committed
4
5
6
#include <migraph/shape.hpp>
#include <migraph/float_equal.hpp>
#include <migraph/requires.hpp>
7
#include <migraph/config.hpp>
Paul's avatar
Paul committed
8
9

#include <iostream>
Paul's avatar
Paul committed
10
#include <utility>
Paul's avatar
Paul committed
11

12
namespace migraph { inline namespace MIGRAPH_INLINE_NS {
Paul's avatar
Paul committed
13

Paul's avatar
Paul committed
14
template <class T>
Paul's avatar
Paul committed
15
16
struct tensor_view
{
17
    using value_type = T;
Paul's avatar
Paul committed
18
    tensor_view() : m_data(nullptr) {}
Paul's avatar
Paul committed
19
    tensor_view(shape s, T* d) : m_data(d), m_shape(std::move(s)) {}
Paul's avatar
Paul committed
20

Paul's avatar
Paul committed
21
    const shape& get_shape() const { return this->m_shape; }
Paul's avatar
Paul committed
22

Paul's avatar
Paul committed
23
    bool empty() const { return m_data == nullptr || m_shape.lens().empty(); }
Paul's avatar
Paul committed
24

Paul's avatar
Paul committed
25
    std::size_t size() const { return m_shape.elements(); }
Paul's avatar
Paul committed
26

Paul's avatar
Paul committed
27
    T* data() { return this->m_data; }
Paul's avatar
Paul committed
28

Paul's avatar
Paul committed
29
    const T* data() const { return this->m_data; }
Paul's avatar
Paul committed
30

Paul's avatar
Paul committed
31
    template <class... Ts, MIGRAPH_REQUIRES(std::is_integral<Ts>{}...)>
Paul's avatar
Paul committed
32
33
    const T& operator()(Ts... xs) const
    {
Paul's avatar
Paul committed
34
        assert(std::vector<std::size_t>{static_cast<std::size_t>(xs)...} < m_shape.lens());
Scott Thornton's avatar
Scott Thornton committed
35
        assert(m_shape.index({static_cast<std::size_t>(xs)...}) < m_shape.bytes() / sizeof(T));
Paul's avatar
Paul committed
36
        return m_data[m_shape.index({static_cast<std::size_t>(xs)...})];
Paul's avatar
Paul committed
37
38
    }

Paul's avatar
Paul committed
39
    template <class... Ts, MIGRAPH_REQUIRES(std::is_integral<Ts>{}...)>
Paul's avatar
Paul committed
40
41
    T& operator()(Ts... xs)
    {
Paul's avatar
Paul committed
42
        assert(std::vector<std::size_t>{static_cast<std::size_t>(xs)...} < m_shape.lens());
Scott Thornton's avatar
Scott Thornton committed
43
        assert(m_shape.index({static_cast<std::size_t>(xs)...}) < m_shape.bytes() / sizeof(T));
Paul's avatar
Paul committed
44
        return m_data[m_shape.index({static_cast<std::size_t>(xs)...})];
Paul's avatar
Paul committed
45
46
    }

Paul's avatar
Paul committed
47
    template <class Iterator, MIGRAPH_REQUIRES(not std::is_integral<Iterator>{})>
Paul's avatar
Paul committed
48
49
50
51
52
    const T& operator()(Iterator start, Iterator last) const
    {
        return m_data[m_shape.index(start, last)];
    }

Paul's avatar
Paul committed
53
    template <class Iterator, MIGRAPH_REQUIRES(not std::is_integral<Iterator>{})>
Paul's avatar
Paul committed
54
55
56
57
58
    T& operator()(Iterator start, Iterator last)
    {
        return m_data[m_shape.index(start, last)];
    }

Paul's avatar
Paul committed
59
60
61
    T& operator[](std::size_t i)
    {
        assert(!this->empty() && i < this->size());
Paul's avatar
Paul committed
62
        return m_data[m_shape.index(i)];
Paul's avatar
Paul committed
63
64
65
66
67
    }

    const T& operator[](std::size_t i) const
    {
        assert(!this->empty() && i < this->size());
Paul's avatar
Paul committed
68
        return m_data[m_shape.index(i)];
Paul's avatar
Paul committed
69
70
71
72
73
    }

    T& front()
    {
        assert(!this->empty());
Paul's avatar
Paul committed
74
        return m_data[0];
Paul's avatar
Paul committed
75
76
77
78
79
    }

    const T& front() const
    {
        assert(!this->empty());
Paul's avatar
Paul committed
80
        return m_data[0];
Paul's avatar
Paul committed
81
82
83
84
85
    }

    T& back()
    {
        assert(!this->empty());
Paul's avatar
Paul committed
86
        return m_data[m_shape.index(this->size() - 1)];
Paul's avatar
Paul committed
87
88
89
90
91
    }

    const T& back() const
    {
        assert(!this->empty());
Paul's avatar
Paul committed
92
        return m_data[m_shape.index(this->size() - 1)];
Paul's avatar
Paul committed
93
94
    }

Paul's avatar
Paul committed
95
    // TODO: Add iterators so it can handle nonstandard tensors
Paul's avatar
Paul committed
96
97
    T* begin()
    {
Paul's avatar
Paul committed
98
        assert(this->m_shape.standard() or this->empty());
Paul's avatar
Paul committed
99
        return m_data;
Paul's avatar
Paul committed
100
101
102
103
    }

    T* end()
    {
Paul's avatar
Paul committed
104
        assert(this->m_shape.standard() or this->empty());
Paul's avatar
Paul committed
105
        if(this->empty())
Paul's avatar
Paul committed
106
            return m_data;
Paul's avatar
Paul committed
107
        else
Paul's avatar
Paul committed
108
            return m_data + this->size();
Paul's avatar
Paul committed
109
110
111
112
    }

    const T* begin() const
    {
Paul's avatar
Paul committed
113
        assert(this->m_shape.standard() or this->empty());
Paul's avatar
Paul committed
114
        return m_data;
Paul's avatar
Paul committed
115
116
117
118
    }

    const T* end() const
    {
Paul's avatar
Paul committed
119
        assert(this->m_shape.standard() or this->empty());
Paul's avatar
Paul committed
120
        if(this->empty())
Paul's avatar
Paul committed
121
            return m_data;
Paul's avatar
Paul committed
122
        else
Paul's avatar
Paul committed
123
            return m_data + this->size();
Paul's avatar
Paul committed
124
125
    }

Paul's avatar
Paul committed
126
127
128
129
130
    friend std::ostream& operator<<(std::ostream& os, const tensor_view<T>& x)
    {
        if(!x.empty())
        {
            os << x.front();
Paul's avatar
Paul committed
131
            for(std::size_t i = 1; i < x.m_shape.elements(); i++)
Paul's avatar
Paul committed
132
            {
Paul's avatar
Paul committed
133
                os << ", " << x.m_data[x.m_shape.index(i)];
Paul's avatar
Paul committed
134
135
136
137
138
            }
        }
        return os;
    }

Paul's avatar
Paul committed
139
    private:
Paul's avatar
Paul committed
140
141
    T* m_data;
    shape m_shape;
Paul's avatar
Paul committed
142
143
};

Paul's avatar
Paul committed
144
template <class T, class U>
145
146
147
148
149
150
151
152
153
154
155
156
157
158
bool operator==(const tensor_view<T>& x, const tensor_view<U>& y)
{
    if(x.get_shape() == y.get_shape())
    {
        for(std::size_t i = 0; i < x.get_shape().elements(); i++)
        {
            if(!float_equal(x[i], y[i]))
                return false;
        }
        return true;
    }
    return false;
}

Paul's avatar
Paul committed
159
160
161
162
163
template <class T, class U>
bool operator!=(const tensor_view<T>& x, const tensor_view<U>& y)
{
    return !(x == y);
}
164

Paul's avatar
Paul committed
165
template <class T>
Paul's avatar
Paul committed
166
167
168
169
170
tensor_view<T> make_view(shape s, T* data)
{
    return {s, data};
}

171
} // inline namespace MIGRAPH_INLINE_NS
Paul's avatar
Paul committed
172
} // namespace migraph
Paul's avatar
Paul committed
173
174

#endif