aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)AuthorFilesLines
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
2016-03-03Make JALR test sensible in RISC-V, rather than SMIPSAndrew Waterman2-121/+18
2016-03-03Fix ma_fetch to work with or without RVCAndrew Waterman1-8/+18
2016-03-03WIP on priv spec v1.9Andrew Waterman1-1/+1
2016-03-03WIP on priv spec v1.9Andrew Waterman7-28/+32
2016-03-03Fix ./configure in rootAndrew Waterman1-13/+13
This Makefile is still super ghetto!
2016-03-01Negative float -> unsigned int conversions return 0Andrew Waterman1-17/+17
2016-02-29Merge pull request #8 from riscv/sqrt-171Colin Schmidt1-0/+5
What is the square root of 171?
2016-02-29remove comments now that tests passsqrt-171Colin Schmidt1-2/+0
2016-02-28Fix capitalization of XLEN variableAndrew Waterman1-1/+1
2016-02-28Strip big-endian testsAndrew Waterman4-24/+0
These tests will likely never support non-standard big-endian systems.
2016-02-27only build the rv32 bit tests if xlen is 32Colin Schmidt1-0/+3
2016-02-27allow make variables to be overwritten update configureColin Schmidt1-6/+6
configure now respects the host flag, rather than hardcoding the risc-v compiler
2016-02-24add new failing fsqrt test caseColin Schmidt1-0/+3
when using testfloat the correct format is input output unknown value This comment requested by palmer
2016-02-18What is the square root of 171?Palmer Dabbelt1-0/+4
I get differnt answers on Rocket and Spike. The Spike answer matches my Intel machine. This fails when I compute both the single precision and double precision answer.
2016-01-29Test that fcvt canonicalizes NaNsPalmer Dabbelt1-0/+12
I believe this is entirely within the RISC-V ISA spec: * fmv is defined to move IEEE floats * All otherwise-unspeficied floating-point operations canonicalize NaNs This test fails on Spike, but passes on Rocket. I believe this is the source of my current torture failures.
2016-01-29Check NAN values in fdiv testsPalmer Dabbelt2-0/+11
The new RISC-V ISA spec mandates NAN bit patterns. This test checks to make sure that those bit patterns come out of fsqrt(-1). These pass on both spike and Rocket. An additional _DWORD_RESULT version of the FP test macros is added to facilitate floating-point tests that compare against particular bit patterns.
2016-01-12Use new NaN handling for conversions to integerAndrew Waterman1-4/+4
2016-01-12Use new canonical NaNAndrew Waterman1-0/+4
2016-01-12Write 1, not 0, to MIPIAndrew Waterman1-1/+1
2015-12-14change la to li as appropriate in test macrosHoward Mao1-2/+2
2015-11-16Update IPI test to work with new mechanismAndrew Waterman1-17/+3
2015-10-19Avoid REMU in timer testAndrew Waterman1-2/+7
2015-09-24Add another recoding testAndrew Waterman1-0/+9
2015-09-21Add another recoding test caseAndrew Waterman1-0/+8
2015-09-20Remove Hwacha v3 testsAndrew Waterman88-36345/+4
2015-09-20Add another FP recoding test caseAndrew Waterman1-6/+20
2015-09-16Add test for FP recoding corner casesAndrew Waterman2-1/+37
2015-08-03Use medany code model, not PIC, for ISA testsAndrew Waterman1-1/+1
2015-07-06Coherence torture test for VM testsAndrew Waterman1-2/+3
VM tests only support one core, so have the other cores hammer on the memory system to attempt to catch simple coherence regressions.
2015-07-05New M-mode timersAndrew Waterman6-1143/+1097