19 changed files with 28 additions and 26 deletions
@ -1,3 +1,3 @@ |
|||
require_extension('A'); |
|||
require_rv64; |
|||
WRITE_RD(MMU.amo_uint64(RS1, [&](uint64_t lhs) { return RS2; })); |
|||
WRITE_RD(MMU.amo_uint64(RS1, [&](uint64_t UNUSED lhs) { return RS2; })); |
|||
|
|||
@ -1,2 +1,2 @@ |
|||
require_extension('A'); |
|||
WRITE_RD(sext32(MMU.amo_uint32(RS1, [&](uint32_t lhs) { return RS2; }))); |
|||
WRITE_RD(sext32(MMU.amo_uint32(RS1, [&](uint32_t UNUSED lhs) { return RS2; }))); |
|||
|
|||
Loading…
Reference in new issue