1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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
|
#include "app.hpp"
#include "compat/assert.hpp"
#include <type_traits>
#include <Magnum/Math/Vector.h>
#include <Magnum/Math/Vector2.h>
#include <Magnum/Math/Vector3.h>
#include <Magnum/Math/Vector4.h>
#if defined CORRADE_CONSTEVAL || defined MAGNUM_CONSTEXPR14
#ifdef __GNUG__
# pragma GCC diagnostic push
# pragma GCC diagnostic ignored "-Wfloat-equal"
#endif
using namespace Magnum;
using Magnum::Math::Vector;
template<typename vec, typename T>
static constexpr void test_float2()
{
const vec a{(T)1, (T)2}, b{(T)2, (T)3};
fm_assert(a[0] == (T)1 && a[1] == (T)2);
fm_assert(a + b == vec{(T)3, (T)5});
fm_assert(a - b == vec{(T)-1, (T)-1});
fm_assert(a * b == vec{(T)2, (T)6});
fm_assert(b / a == vec{(T)2, (T)1.5});
fm_assert(b.product() == (T)6);
fm_assert(b.sum() == (T)5);
}
template<typename ivec>
static constexpr void test_int()
{
using I = typename ivec::Type;
constexpr auto vec = [](auto x, auto y) { return ivec{(I)x, (I)y}; };
const auto a = vec(3, 5), b = vec(11, 7);
fm_assert(a[0] == 3 && a[1] == 5);
fm_assert(a + b == vec(14,12));
fm_assert(b - a == vec(8, 2));
fm_assert(b % a == vec(2, 2));
fm_assert(b / a == vec(3, 1));
fm_assert(a.product() == 15);
fm_assert(a.sum() == 8);
}
static constexpr void* compile_tests()
{
test_float2<Vector<2, float>, float>();
test_float2<Vector<2, double>, double>();
test_float2<Vector2, float>();
test_int<Vector<2, int>>();
test_int<Vector<2, unsigned>>();
test_int<Vector<2, char>>();
return nullptr;
}
namespace floormat {
bool floormat::test_const_math()
{
static_assert(compile_tests() == nullptr);
return true;
}
} // namespace floormat
#ifdef __GNUG__
# pragma GCC diagnostic pop
#endif
#else
namespace floormat { bool floormat::test_const_math() { return true; } }
#endif
|
