src/riscv/rv64a.cpp

43     expect<pair<int64_t, int64_t>>({-1, 256}, []{
47             pair<int64_t, uint64_t> result;
52             return pair<int64_t, uint64_t>(rd, result.first);
54     expect<pair<bool, int64_t>>({true, 200}, []{
56             pair<int64_t, uint64_t> result = A::sc_w(50, mem);
57             return pair<bool, int64_t>(result.second == 1, mem);
61     expect<pair<int64_t, int64_t>>({65535, 255},
63     expect<pair<int64_t, int64_t>>({0xFFFFFFFF, -1},
66     expect<pair<int64_t, int64_t>>({0x0000000180000000LL, -1},
72     expect<pair<int64_t, int64_t>>({256, 255},
74     expect<pair<int64_t, int64_t>>({0, -1},
77     expect<pair<int64_t, int64_t>>({0xFFFFFFFF, 0x7FFFFFFF},
82     expect<pair<uint64_t, uint64_t>>({0xFFFFFFFFAAAAAAAALL, -1},
85     expect<pair<uint64_t, uint64_t>>({0x80000000, -1},
90     expect<pair<uint64_t, uint64_t>>({0xFFFFFFFF00000000LL, -1},
92     expect<pair<uint64_t, uint64_t>>({0x0000000080000000LL, -1},
97     expect<pair<uint64_t, uint64_t>>({0x00000000FFFFFFFFLL, 0},
99     expect<pair<uint64_t, uint64_t>>({0x0000000080000000LL, 0},
104     expect<pair<int64_t, int64_t>>({0x7FFFFFFF00000001LL, 1},
107     expect<pair<int64_t, int64_t>>({0x00000000FFFFFFFELL, -1},
111     expect<pair<int64_t, int64_t>>({0x70000000000000FFLL, 1},
114     expect<pair<int64_t, int64_t>>({-1, numeric_limits<int32_t>::min()},
119     expect<pair<uint64_t, uint64_t>>({0x0FFFFFFF000000FFLL, -1},
122     expect<pair<uint64_t, uint64_t>>({0x0000000080000000LL, -1},
127     expect<pair<uint64_t, uint64_t>>({-1, 0},
131     expect<pair<uint64_t, uint64_t>>(
137     expect<pair<int64_t, int64_t>>({-1, 256}, []{
141             pair<int64_t, uint64_t> result;
146             return pair<int64_t, uint64_t>(rd, result.first);
148     expect<pair<bool, int64_t>>({true, 200}, []{
150             pair<int64_t, uint64_t> result = A::sc_d(50, mem);
151             return pair<bool, int64_t>(result.second == 1, mem);
155     expect<pair<int64_t, int64_t>>({1, -1}, []{return A::amoswap_d(-1, 1);},
159     expect<pair<int64_t, int64_t>>({0x7000000000000000LL,0x0FFFFFFFFFFFFFFFLL},
162     expect<pair<int64_t, int64_t>>({0, 0x7FFFFFFFFFFFFFFFLL},
167     expect<pair<int64_t, int64_t>>({-1, 0xAAAAAAAAAAAAAAAALL},
170     expect<pair<int64_t, int64_t>>({0, 0xAAAAAAAAAAAAAAAALL},
175     expect<pair<int64_t, int64_t>>({0xAAAAAAAAAAAAAAAALL, -1},
179     expect<pair<int64_t, int64_t>>({-1, 0xAAAAAAAAAAAAAAAALL},
184     expect<pair<int64_t, int64_t>>({-1, -1},
188     expect<pair<int64_t, int64_t>>({0, -1}, []{return A::amomax_d(-1, 0);},
192     expect<pair<uint64_t, uint64_t>>({0, -1},
196     expect<pair<uint64_t, uint64_t>>({-1, -1}, []{return A::amomaxu_d(-1, 0);},