test.hpp 7.23 KB
Newer Older
Paul's avatar
Paul committed
1
2
3
4

#include <cassert>
#include <cstdio>
#include <cstdlib>
Paul's avatar
Paul committed
5
#include <functional>
Paul's avatar
Paul committed
6
#include <iostream>
Paul's avatar
Paul committed
7
8
#include <unordered_map>
#include <vector>
Paul's avatar
Paul committed
9

Paul's avatar
Paul committed
10
11
#ifndef MIGRAPHX_GUARD_TEST_TEST_HPP
#define MIGRAPHX_GUARD_TEST_TEST_HPP
Paul's avatar
Paul committed
12

Paul's avatar
Paul committed
13
14
namespace test {
// NOLINTNEXTLINE
Paul's avatar
Paul committed
15
16
17
#define TEST_FOREACH_OPERATOR(m)                                                                   \
    m(==, equal) m(!=, not_equal) m(<=, less_than_equal) m(>=, greater_than_equal) m(<, less_than) \
        m(>, greater_than)
Paul's avatar
Paul committed
18
19

// NOLINTNEXTLINE
Paul's avatar
Paul committed
20
21
22
23
24
25
26
27
28
29
#define TEST_EACH_OPERATOR_OBJECT(op, name)            \
    struct name                                        \
    {                                                  \
        static std::string as_string() { return #op; } \
        template <class T, class U>                    \
        static decltype(auto) call(T&& x, U&& y)       \
        {                                              \
            return x op y;                             \
        }                                              \
    };
Paul's avatar
Paul committed
30

Paul's avatar
Paul committed
31
32
TEST_FOREACH_OPERATOR(TEST_EACH_OPERATOR_OBJECT)

Paul's avatar
Paul committed
33
34
35
36
37
38
inline std::ostream& operator<<(std::ostream& s, std::nullptr_t)
{
    s << "nullptr";
    return s;
}

Paul's avatar
Paul committed
39
template <class T, class U, class Operator>
Paul's avatar
Paul committed
40
struct expression
Paul's avatar
Paul committed
41
{
Paul's avatar
Paul committed
42
43
44
45
    T lhs;
    U rhs;

    friend std::ostream& operator<<(std::ostream& s, const expression& self)
Paul's avatar
Paul committed
46
    {
Paul's avatar
Paul committed
47
48
        s << " [ " << self.lhs << " " << Operator::as_string() << " " << self.rhs << " ]";
        return s;
Paul's avatar
Paul committed
49
    }
Paul's avatar
Paul committed
50

Paul's avatar
Paul committed
51
52
53
    decltype(auto) value() const { return Operator::call(lhs, rhs); };
};

Paul's avatar
Paul committed
54
// TODO: Remove rvalue references
Paul's avatar
Paul committed
55
template <class T, class U, class Operator>
Paul's avatar
Paul committed
56
expression<T, U, Operator> make_expression(T&& rhs, U&& lhs, Operator)
Paul's avatar
Paul committed
57
{
Paul's avatar
Paul committed
58
    return {std::forward<T>(rhs), std::forward<U>(lhs)};
Paul's avatar
Paul committed
59
}
Paul's avatar
Paul committed
60

Paul's avatar
Paul committed
61
template <class T>
Paul's avatar
Paul committed
62
63
struct lhs_expression;

Paul's avatar
Paul committed
64
// TODO: Remove rvalue reference
Paul's avatar
Paul committed
65
template <class T>
Paul's avatar
Paul committed
66
lhs_expression<T> make_lhs_expression(T&& lhs)
Paul's avatar
Paul committed
67
{
Paul's avatar
Paul committed
68
    return lhs_expression<T>{std::forward<T>(lhs)};
Paul's avatar
Paul committed
69
70
}

Paul's avatar
Paul committed
71
template <class T>
Paul's avatar
Paul committed
72
73
74
struct lhs_expression
{
    T lhs;
Paul's avatar
Paul committed
75
    explicit lhs_expression(T e) : lhs(e) {}
Paul's avatar
Paul committed
76
77
78
79
80
81
82

    friend std::ostream& operator<<(std::ostream& s, const lhs_expression& self)
    {
        s << self.lhs;
        return s;
    }

Paul's avatar
Paul committed
83
    T value() const { return lhs; }
Paul's avatar
Paul committed
84
// NOLINTNEXTLINE
Paul's avatar
Paul committed
85
86
87
88
#define TEST_LHS_OPERATOR(op, name)                            \
    template <class U>                                         \
    auto operator op(const U& rhs) const                       \
    {                                                          \
Paul's avatar
Paul committed
89
        return make_expression(lhs, rhs, name{}); /* NOLINT */ \
Paul's avatar
Paul committed
90
    }
Paul's avatar
Paul committed
91
92

    TEST_FOREACH_OPERATOR(TEST_LHS_OPERATOR)
Paul's avatar
Paul committed
93
// NOLINTNEXTLINE
Paul's avatar
Paul committed
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
#define TEST_LHS_REOPERATOR(op)                 \
    template <class U>                          \
    auto operator op(const U& rhs) const        \
    {                                           \
        return make_lhs_expression(lhs op rhs); \
    }
    TEST_LHS_REOPERATOR(+)
    TEST_LHS_REOPERATOR(-)
    TEST_LHS_REOPERATOR(*)
    TEST_LHS_REOPERATOR(/)
    TEST_LHS_REOPERATOR(%)
    TEST_LHS_REOPERATOR(&)
    TEST_LHS_REOPERATOR(|)
    TEST_LHS_REOPERATOR(&&)
    TEST_LHS_REOPERATOR(||)
Paul's avatar
Paul committed
109
110
};

Paul's avatar
Paul committed
111
struct capture
Paul's avatar
Paul committed
112
{
Paul's avatar
Paul committed
113
    template <class T>
Paul's avatar
Paul committed
114
    auto operator->*(const T& x) const
Paul's avatar
Paul committed
115
116
117
    {
        return make_lhs_expression(x);
    }
Paul's avatar
Paul committed
118
119
};

Paul's avatar
Paul committed
120
template <class T, class F>
Paul's avatar
Paul committed
121
void failed(T x, const char* msg, const char* func, const char* file, int line, F f)
Paul's avatar
Paul committed
122
{
Paul's avatar
Paul committed
123
    if(!x.value())
Paul's avatar
Paul committed
124
    {
Paul's avatar
Paul committed
125
        std::cout << func << std::endl;
Paul's avatar
Paul committed
126
127
128
129
130
        std::cout << file << ":" << line << ":" << std::endl;
        std::cout << "    FAILED: " << msg << " " << x << std::endl;
        f();
    }
}
Paul's avatar
Paul committed
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145

template <class F>
bool throws(F f)
{
    try
    {
        f();
        return false;
    }
    catch(...)
    {
        return true;
    }
}

Khalique's avatar
Khalique committed
146
template <class Exception, class F>
Paul's avatar
Paul committed
147
bool throws(F f, const std::string& msg = "")
Paul's avatar
Paul committed
148
149
150
151
152
153
154
155
156
157
158
159
{
    try
    {
        f();
        return false;
    }
    catch(const Exception& ex)
    {
        return std::string(ex.what()).find(msg) != std::string::npos;
    }
}

Paul's avatar
Paul committed
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
using string_map = std::unordered_map<std::string, std::vector<std::string>>;

template <class Keyword>
string_map parse(std::vector<std::string> as, Keyword keyword)
{
    string_map result;

    std::string flag;
    for(auto&& x : as)
    {
        auto f = keyword(x);
        if(f.empty())
        {
            result[flag].push_back(x);
        }
        else
        {
            flag = f.front();
            result[flag]; // Ensure the flag exists
        }
    }
    return result;
}

inline auto& get_test_cases()
{
    static std::vector<std::pair<std::string, std::function<void()>>> cases;
    return cases;
}

inline void add_test_case(std::string name, std::function<void()> f)
{
Paul's avatar
Paul committed
192
    get_test_cases().emplace_back(std::move(name), std::move(f));
Paul's avatar
Paul committed
193
194
}

Paul's avatar
Paul committed
195
struct auto_register_test_case
Paul's avatar
Paul committed
196
{
Paul's avatar
Paul committed
197
    template <class F>
Paul's avatar
Paul committed
198
    auto_register_test_case(const char* name, F f) noexcept
Paul's avatar
Paul committed
199
200
201
    {
        add_test_case(name, f);
    }
Paul's avatar
Paul committed
202
203
};

Paul's avatar
Paul committed
204
inline void run_test_case(const std::string& name, const std::function<void()>& f)
Paul's avatar
Paul committed
205
{
Paul's avatar
Paul committed
206
207
208
209
210
211
212
213
214
    std::cout << "[   RUN    ] " << name << std::endl;
    f();
    std::cout << "[ COMPLETE ] " << name << std::endl;
}

inline void run(int argc, const char* argv[])
{
    std::vector<std::string> as(argv + 1, argv + argc);

Paul's avatar
Paul committed
215
    auto args  = parse(as, [](auto &&) -> std::vector<std::string> { return {}; });
Paul's avatar
Paul committed
216
217
218
    auto cases = args[""];
    if(cases.empty())
    {
Paul's avatar
Paul committed
219
        for(auto&& tc : get_test_cases())
Paul's avatar
Paul committed
220
221
222
223
            run_test_case(tc.first, tc.second);
    }
    else
    {
Paul's avatar
Paul committed
224
225
226
        std::unordered_map<std::string, std::function<void()>> m(get_test_cases().begin(),
                                                                 get_test_cases().end());
        for(auto&& name : cases)
Paul's avatar
Paul committed
227
228
        {
            auto f = m.find(name);
Paul's avatar
Paul committed
229
            if(f == m.end())
Paul's avatar
Paul committed
230
231
232
233
                std::cout << "[  ERROR   ] Test case '" << name << "' not found." << std::endl;
            else
                run_test_case(name, f->second);
        }
Paul's avatar
Paul committed
234
    }
Paul's avatar
Paul committed
235
236
}

Paul's avatar
Paul committed
237
238
239
} // namespace test

// NOLINTNEXTLINE
Paul's avatar
Paul committed
240
241
242
243
#define CHECK(...)                                                                                 \
    test::failed(                                                                                  \
        test::capture{}->*__VA_ARGS__, #__VA_ARGS__, __PRETTY_FUNCTION__, __FILE__, __LINE__, [] { \
        })
Paul's avatar
Paul committed
244
// NOLINTNEXTLINE
Paul's avatar
Paul committed
245
246
247
248
249
250
251
#define EXPECT(...)                             \
    test::failed(test::capture{}->*__VA_ARGS__, \
                 #__VA_ARGS__,                  \
                 __PRETTY_FUNCTION__,           \
                 __FILE__,                      \
                 __LINE__,                      \
                 &std::abort)
Paul's avatar
Paul committed
252
253
254
// NOLINTNEXTLINE
#define STATUS(...) EXPECT((__VA_ARGS__) == 0)

Paul's avatar
Paul committed
255
256
// NOLINTNEXTLINE
#define TEST_CAT(x, ...) TEST_PRIMITIVE_CAT(x, __VA_ARGS__)
Paul's avatar
Paul committed
257
// NOLINTNEXTLINE
Paul's avatar
Paul committed
258
#define TEST_PRIMITIVE_CAT(x, ...) x##__VA_ARGS__
Paul's avatar
Paul committed
259
260

// NOLINTNEXTLINE
Paul's avatar
Paul committed
261
#define TEST_CASE_REGISTER(...)                                                    \
Paul's avatar
Paul committed
262
263
    static test::auto_register_test_case TEST_CAT(register_test_case_, __LINE__) = \
        test::auto_register_test_case(#__VA_ARGS__, &__VA_ARGS__);
Paul's avatar
Paul committed
264

Paul's avatar
Paul committed
265
// NOLINTNEXTLINE
Paul's avatar
Paul committed
266
267
#define TEST_CASE(...)              \
    void __VA_ARGS__();             \
Paul's avatar
Paul committed
268
    TEST_CASE_REGISTER(__VA_ARGS__) \
Paul's avatar
Paul committed
269
    void __VA_ARGS__()
Paul's avatar
Paul committed
270
271
272
273
274
275

#ifdef __clang__
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wglobal-constructors"
#endif

Paul's avatar
Paul committed
276
#endif