aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)AuthorFilesLines
2017-01-04Mask off large constants for RV32Andrew Waterman1-23/+25
2016-12-12Pass newly updated -march, -mabi options to gccAndrew Waterman1-15/+15
2016-12-06avoid non-standard predefined macrosAndrew Waterman10-20/+20
2016-11-21Remove cache miss test from all but one AMO testAndrew Waterman17-161/+2
This doesn't reduce coverage for cache-based RV64 systems, but will improve test runtime and work around the need for smaller test footprint for scratchpad-based RV32 systems. I would argue that these microarchitectural tests should be in the domain of torture, and that the last one should be removed, too.
2016-11-01Make sure FP stores don't write memory if mstatus.FS=0.Andrew Waterman1-8/+22
2016-10-09Align FP data sectionsAndrew Waterman1-12/+8
2016-09-06Add rv32uf testsAndrew Waterman16-3/+142
2016-09-02Make RVC test fit in 16 KiBAndrew Waterman1-4/+4
2016-08-31Change accidental use of SLTIU in SLTI tests (#26)Brett Cannon1-1/+1
2016-08-30Share code between rv32ui and rv64ui testsAndrew Waterman39-2516/+180
They were almost identical, so I made them actually identical. This will reduce the burden of writing further tests that span base ISAs. Tests can still be specialized for XLEN with ifdefs on e.g. __riscv64.
2016-08-30Add missing RV32 slt[i]u testsAndrew Waterman5-147/+21
Closes #12.
2016-08-26Update to new breakpoint & counter specAndrew Waterman2-32/+31
2016-08-17Improve AMO testsAndrew Waterman5-221/+29
- avoid code duplication between RV32 and RV64 variants - make LR/SC do something interesting on uniprocessors - avoid requiring M extension
2016-08-16Make ENTROPY deterministicAndrew Waterman1-3/+2
Base it on the output filename, not the pid. This still gets decent coverage, but is deterministic.
2016-08-08move fclass macros into the same file as the rest (#22)Colin Schmidt3-8/+8
2016-07-29Add RV32 RVC and breakpoint testsAndrew Waterman6-2/+34
2016-07-29Add an RVC testAndrew Waterman6-39/+171
2016-07-22skip user-mode trap tests in rv32mi/rv64mi-p-csr if no user modeHoward Mao1-0/+9
2016-07-22Move rv32mi dirty bit test to rv32siAndrew Waterman3-2/+2
2016-07-22Move dirty bit test to rv64si directoryAndrew Waterman6-60/+2
Not sure this is quite right, since the test technically runs in M-mode. Also, remove unused rdnpc/example tests.
2016-07-22Simplify fence.i test for RVCAndrew Waterman1-10/+10
2016-07-22Make ma_fetch test robust against code size changesAndrew Waterman1-2/+4
2016-07-18Default to XLEN=64 when building in-placeAndrew Waterman1-0/+2
2016-07-12Add a "--with-xlen" configure argument (#16)Palmer Dabbelt1-2/+1
The tools had riscv64-unknown-elf-gcc hard-coded all over the place. This lets users override that if they have a 32-bit toolchain.
2016-07-11Merge rv32ua tests into rv64uaAndrew Waterman9-365/+23
2016-07-11Remove instruction width assumptions to support RVCAndrew Waterman9-55/+15
2016-07-11Remove vestigial j instruction test; improve jal testAndrew Waterman6-168/+16
2016-07-07Update WFI test for priv v1.9Andrew Waterman3-11/+3
2016-07-06Update to new PTE formatAndrew Waterman1-4/+4
2016-06-22Mark RV32 tests as suchAndrew Waterman2-2/+2
@zhemao make sure to do "make run" in isa/ before committing
2016-06-22separate ua and um tests from ui testssplit-isa-testsHoward Mao60-165/+59
2016-06-22split up rv64uf and rv64ud isa testsHoward Mao28-251/+670
2016-06-17Fix breakpoint test when only one breakpoint presentAndrew Waterman1-1/+8
2016-06-14rv32ui: sh: Added side effect test (#14)Sebastian Bøe1-0/+18
From the test comment: sh to a word aligned address should only affect the 2 lower bytes and should leave the 2 upper bytes unmodified. In this test we write 2 bytes to the lower 2 bytes of the word tdat11 and then ensure that the both the upper 2 bytes and lower 2 bytes are as expected.
2016-06-10Test more than one breakpoint at a time, if presentAndrew Waterman1-44/+68
2016-06-09Update breakpoint specAndrew Waterman1-4/+19
2016-06-08Don't arm breakpoint before setting break addressAndrew Waterman1-12/+11
2016-06-08Add HW breakpoint testAndrew Waterman2-0/+98
2016-05-22Enable LR/SC tests, even for uniprocessorsAndrew Waterman4-6/+4
2016-05-03get rid of empty asm testHoward Mao3-30/+0
2016-05-03add empty ISA testHoward Mao3-0/+30
2016-05-02Remove incorrect M-mode WFI testAndrew Waterman3-18/+0
MSIP isn't supposed to be writable locally!
2016-05-02Stop using tohost/fromhost registersAndrew Waterman2-2/+15
2016-04-30ERET -> xRET; new memory mapAndrew Waterman17-1179/+48
For now, we no longer build hex files, because the programs don't start at address 0. This decision will likely be revisited.
2016-04-06Fix expected misa register value for RV32Andrew Waterman1-1/+1
2016-03-14More RV32 testsAndrew Waterman3-3/+69
2016-03-10Add missing rv32mi/rv32si testsAndrew Waterman8-3/+43
2016-03-03Undo accidental Makefile modificationAndrew Waterman1-1/+1
2016-03-03Make WFI test more strictAndrew Waterman1-3/+1
2016-03-03Some S-mode tests really only belong in M-modeAndrew Waterman13-193/+135