libposit/main.cpp at main · CharlesWithC/libposit · GitHub

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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
// main.cpp
// Run tests on full operator overload library

extern "C" {
    #include <coprosit_cpu.h>
}

#if POSIT_SIZE == 16
#include "tests/posit16/test_base.hpp"
#include "tests/posit16/test_ol.hpp"
#else
#include "tests/posit32/test_base.hpp"
#include "tests/posit32/test_ol.hpp"
#endif

#include "tests/hazard_test.hpp"

volatile int posit_ok;
volatile int posit_done;

void posit_full_tests() {
    int result = 0;

    // run base tests
    #if POSIT_SIZE == 16
    result += p16add_test();
    result += p16sub_test();
    result += p16mul_test();
    result += p16div_test();
    result += p16sqrt_test();
    result += p16min_test();
    result += p16max_test();
    result += p16eq_test();
    result += p16lt_test();
    result += p16le_test();
    result += p16quire_test();
    result += p16cvtws_test();
    result += p16cvtwus_test();
    result += p16cvtsw_test();
    result += p16cvtswu_test();
    #else
    result += p32add_test();
    result += p32sub_test();
    result += p32mul_test();
    result += p32div_test();
    result += p32sqrt_test();
    result += p32min_test();
    result += p32max_test();
    result += p32eq_test();
    result += p32lt_test();
    result += p32le_test();
    result += p32quire_test();
    result += p32cvtws_test();
    result += p32cvtwus_test();
    result += p32cvtsw_test();
    result += p32cvtswu_test();
    #endif

    // run operator overload tests
    #if POSIT_SIZE == 16
    result += p16add_test_ol();
    result += p16sub_test_ol();
    result += p16mul_test_ol();
    result += p16div_test_ol();
    result += p16sqrt_test_ol();
    result += p16min_test_ol();
    result += p16max_test_ol();
    result += p16eq_test_ol();
    result += p16lt_test_ol();
    result += p16le_test_ol();
    result += p16quire_test_ol();
    result += p16cvtws_test_ol();
    result += p16cvtwus_test_ol();
    result += p16cvtsw_test_ol();
    result += p16cvtswu_test_ol();
    #else
    result += p32add_test_ol();
    result += p32sub_test_ol();
    result += p32mul_test_ol();
    result += p32div_test_ol();
    result += p32sqrt_test_ol();
    result += p32min_test_ol();
    result += p32max_test_ol();
    result += p32eq_test_ol();
    result += p32lt_test_ol();
    result += p32le_test_ol();
    result += p32quire_test_ol();
    result += p32cvtws_test_ol();
    result += p32cvtwus_test_ol();
    result += p32cvtsw_test_ol();
    result += p32cvtswu_test_ol();
    #endif

    test_cholesky_hazard(4.0f, 12.0f, -16.0f, 37.0f, -43.0f, 98.0f);

    posit_ok = result == 0 ? 1 : 0;
    posit_done = 1;
}

int main() {
    posit_ok = 1;

    coprosit_launch_cpu((coprosit_start_function_ptr_t)&posit_full_tests);
    while (!posit_done);
    coprosit_reset_cpu();

    return 1 - posit_ok;
}