src/riscv/rv64i.cpp

52     expect<int64_t>(4096, []{return I::lui(1);}, "lui");
53     expect<int64_t>(numeric_limits<int32_t>::min(),
57     expect<bool>(true, []{return I::auipc(3);}, "auipc");
60     expect<bool>(true, []{return I::jal();}, "jal");
61     expect<bool>(true, []{return I::jalr();}, "jalr");
64     expect<bool>(true, []{return I::beq(5, 5);}, "beq, equal");
65     expect<bool>(false, []{return I::beq(numeric_limits<int64_t>::max(),
69     expect<bool>(false, []{return I::bne(5, 5);}, "bne, equal");
70     expect<bool>(true, []{return I::bne(numeric_limits<int64_t>::max(),
74     expect<bool>(true, []{return I::blt(numeric_limits<int64_t>::min(),
76     expect<bool>(false, []{return I::blt(numeric_limits<int64_t>::min(),
78     expect<bool>(false, []{return I::blt(numeric_limits<int64_t>::max(),
82     expect<bool>(false, []{return I::bge(numeric_limits<int64_t>::min(),
84     expect<bool>(true, []{return I::bge(numeric_limits<int64_t>::min(),
86     expect<bool>(true, []{return I::bge(numeric_limits<int64_t>::max(),
90     expect<bool>(true, []{return I::blt(numeric_limits<int64_t>::min(),
92     expect<bool>(false, []{return I::blt(numeric_limits<int64_t>::min(),
94     expect<bool>(false, []{return I::blt(numeric_limits<int64_t>::max(),
98     expect<bool>(false, []{return I::bge(numeric_limits<int64_t>::min(),
100     expect<bool>(true, []{return I::bge(numeric_limits<int64_t>::min(),
102     expect<bool>(true, []{return I::bge(numeric_limits<int64_t>::max(),
106     expect<int64_t>(7, []{return I::load<int8_t, int64_t>(0x07);},
108     expect<int64_t>(numeric_limits<int8_t>::min(),
110     expect<int64_t>(1792, []{return I::load<int16_t, int64_t>(0x0700);},
112     expect<int64_t>(numeric_limits<int16_t>::min(),
114     expect<int64_t>(458752, []{return I::load<int32_t, int64_t>(0x00070000);},
116     expect<int64_t>(numeric_limits<int32_t>::min(),
119     expect<uint64_t>(128, []{return I::load<uint8_t, uint64_t>(0x80);}, "lbu");
120     expect<uint64_t>(32768, []{return I::load<uint16_t, uint64_t>(0x8000);},
124     expect<uint8_t>(0xFF, []{return I::store<int8_t>(-1);}, "sb");
125     expect<uint16_t>(0xFFFF, []{return I::store<int16_t>(-1);}, "sh");
126     expect<uint32_t>(0xFFFFFFFF, []{return I::store<int32_t>(-1);}, "sw");
129     expect<int64_t>(1073742078, []{return I::addi(0x3FFFFFFF, 255);},
131     expect<int64_t>(1, []{return I::addi(-1, 2);}, "addi, overflow");
134     expect<bool>(true, []{return I::slti(-1, 0);}, "slti, true");
135     expect<bool>(false, []{return I::slti(0, -1);}, "slti, false");
138     expect<bool>(false, []{return I::sltiu(-1, 0);}, "sltiu, false");
139     expect<bool>(true, []{return I::sltiu(0, -1);}, "sltiu, true");
140     expect<bool>(true, []{return I::sltiu(0xFFFF, -1);}, "sltiu, sext");
143     expect<uint64_t>(0xFF, []{return I::xori(0xAA, 0x55);}, "xori (1)");
144     expect<uint64_t>(0, []{return I::xori(0xAA, 0xAA);}, "xori (0)");
147     expect<uint64_t>(0xFF, []{return I::ori(0xAA, 0x55);}, "ori (1)");
148     expect<uint64_t>(0xAA, []{return I::ori(0xAA, 0xAA);}, "ori (A)");
151     expect<uint64_t>(0, []{return I::andi(-1, 0);}, "andi (0)");
152     expect<uint64_t>(0x1234567812345678ULL,
156     expect<int64_t>(65280, []{return I::slli(255, 8);}, "slli, general");
157     expect<int64_t>(numeric_limits<int64_t>::min(),
161     expect<int64_t>(255, []{return I::srli(65280, 8);}, "srli, general");
162     expect<int64_t>(0, []{return I::srli(255, 8);}, "srli, erase");
163     expect<int64_t>(1, []{return I::srli(numeric_limits<int64_t>::min(), 63);},
167     expect<int64_t>(255, []{return I::srai(65280, 8);}, "srai, general");
168     expect<int64_t>(0, []{return I::srai(255, 8);}, "srai, erase");
169     expect<int64_t>(-1,
174     expect<int64_t>(1073742078, []{return I::add(0x3FFFFFFF, 255);}, "add");
175     expect<int64_t>(-1,
180     expect<int64_t>(65535, []{return I::sub(65536, 1);}, "sub");
181     expect<int64_t>(-1,
186     expect<int64_t>(65280, []{return I::sll(255, 8);}, "sll, general");
187     expect<int64_t>(numeric_limits<int64_t>::min(),
191     expect<bool>(true, []{return I::slt(-1, 0);}, "slt, true");
192     expect<bool>(false, []{return I::slt(0, -1);}, "slt, false");
195     expect<bool>(false, []{return I::sltu(-1, 0);}, "sltu, false");
196     expect<bool>(true, []{return I::sltu(0, -1);}, "sltu, true");
199     expect<uint64_t>(-1,
203     expect<uint64_t>(0,
209     expect<uint64_t>(255, []{return I::srl(65280, 8);}, "srl, general");
210     expect<uint64_t>(0, []{return I::srl(255, 8);}, "srl, erase");
211     expect<uint64_t>(1, []{return I::srl(numeric_limits<int64_t>::min(), 63);},
215     expect<int64_t>(255, []{return I::sra(65280, 8);}, "sra, general");
216     expect<int64_t>(0, []{return I::sra(255, 8);}, "sra, erase");
217     expect<int64_t>(-1, []{return I::sra(numeric_limits<int64_t>::min(), 63);},
221     expect<uint64_t>(-1,
225     expect<uint64_t>(0xAAAAAAAAAAAAAAAAULL,
231     expect<uint64_t>(0, []{return I::and_inst(-1, 0);}, "and (0)");
232     expect<uint64_t>(0x1234567812345678ULL,
242     expect<bool>(true, [=]{
251     expect<int>(0, [=]{return access(fname, F_OK);}, "access F_OK");
252     expect<int>(0, [=]{return access(fname, R_OK);}, "access R_OK");
253     expect<int>(0, [=]{return access(fname, W_OK);}, "access W_OK");
256     expect<bool>(true, [=]{return access(fname, X_OK) != 0;}, "access X_OK");
257     expect<bool>(true, [=]{
295     expect<bool>(true, [=]{
308     expect<bool>(true, []{
318     expect<int>(0, []{
334     expect<bool>(true, []{
340     expect<bool>(true, []{
346     expect<bool>(true, []{
354     expect<int64_t>(0xFFFFFFFF, []{return I::load<uint32_t, uint64_t>(-1);},
356     expect<int64_t>(30064771072,
358     expect<uint64_t>(-1, []{return I::store<int64_t>(-1);}, "sd");
361     expect<int64_t>(268435710, []{return I::addiw(0x0FFFFFFF, 255);}, "addiw");
362     expect<int64_t>(-2147481602, []{return I::addiw(0x7FFFFFFF, 0x7FF);},
364     expect<int64_t>(0, []{return I::addiw(0x7FFFFFFFFFFFFFFFLL, 1);},
368     expect<int64_t>(65280, []{return I::slliw(255, 8);}, "slliw, general");
369     expect<int64_t>(numeric_limits<int32_t>::min(),
371     expect<int64_t>(numeric_limits<int32_t>::min(),
375     expect<int64_t>(255, []{return I::srliw(65280, 8);}, "srliw, general");
376     expect<int64_t>(0, []{return I::srliw(255, 8);}, "srliw, erase");
377     expect<int64_t>(1,
380     expect<int64_t>(1, []{return I::srliw(0xFFFFFFFF80000000LL, 31);},
384     expect<int64_t>(255, []{return I::sraiw(65280, 8);}, "sraiw, general");
385     expect<int64_t>(0, []{return I::sraiw(255, 8);}, "sraiw, erase");
386     expect<int64_t>(-1,
389     expect<int64_t>(-1, []{return I::sraiw(0x0000000180000000LL, 31);},
393     expect<int64_t>(1073742078, []{return I::addw(0x3FFFFFFF, 255);}, "addw");
394     expect<int64_t>(-1, []{return I::addw(0x7FFFFFFF, 0x80000000);},
396     expect<int64_t>(65536, []{return I::addw(0xFFFFFFFF0000FFFFLL, 1);},
400     expect<int64_t>(65535, []{return I::subw(65536, 1);}, "subw");
401     expect<int64_t>(-1, []{return I::subw(0x7FFFFFFF, 0x80000000);},
403     expect<int64_t>(0,
408     expect<int64_t>(65280, []{return I::sllw(255, 8);}, "sllw, general");
409     expect<int64_t>(numeric_limits<int32_t>::min(),
411     expect<int64_t>(numeric_limits<int32_t>::min(),
415     expect<uint64_t>(255, []{return I::srlw(65280, 8);}, "srlw, general");
416     expect<uint64_t>(0, []{return I::srlw(255, 8);}, "srlw, erase");
417     expect<uint64_t>(1,
420     expect<uint64_t>(1, []{return I::srlw(0x0000000180000000LL, 31);},
424     expect<int64_t>(255, []{return I::sraw(65280, 8);}, "sraw, general");
425     expect<int64_t>(0, []{return I::sraw(255, 8);}, "sraw, erase");
426     expect<int64_t>(-1,
429     expect<int64_t>(1, []{return I::sraw(0xFFFFFFFF40000000LL, 30);},