Xavi/cvw
1
0
Fork 0
forked from Github_Repos/cvw
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added fs=00 to status fp enabled test

Browse Source
This commit is contained in:
Kip Macsai-Goren 2022-12-22 15:15:53 -08:00
parent a768d70093
commit ffae1c5ee6
4 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/wally-riscv-arch-test/riscv-test-suite/rv32i_m/privilege/references/WALLY-status-fp-enabled-01.reference_output
View File

@ -2,6 +2,7 @@
80006000 # read SD = 1, FS = 11 80006000 # read SD = 1, FS = 11
00004000 # read written SD = 1, FS = 10 00004000 # read written SD = 1, FS = 10
80006000 # read SD = 1, FS = 11 80006000 # read SD = 1, FS = 11
00000002 # mcause from attempting fmv with status.FS cleared
0000000b # mcause from M mode ecall from test termination 0000000b # mcause from M mode ecall from test termination
deadbeef deadbeef
deadbeef deadbeef
@ -1021,4 +1022,3 @@ deadbeef
deadbeef deadbeef
deadbeef deadbeef
deadbeef deadbeef
deadbeef

4
tests/wally-riscv-arch-test/riscv-test-suite/rv32i_m/privilege/src/WALLY-status-fp-enabled-01.S
View File

@ -71,6 +71,10 @@ sw x29, 0(x6) // read dirty FS, SD bits, which should be 11 and 1 respectively
addi x6, x6, 4 addi x6, x6, 4
addi x16, x16, 4 addi x16, x16, 4
li x29, 0x6000
csrc mstatus, x29 // clear FS to be 00, disabling floating point
fmv.s ft0, ft0 // should be an illegal instruction with fs set to 00
END_TESTS END_TESTS
TEST_STACK_AND_DATA TEST_STACK_AND_DATA

4
tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/references/WALLY-status-fp-enabled-01.reference_output
View File

@ -6,6 +6,8 @@
00000000 00000000
00006000 # read SD = 1, FS = 11 00006000 # read SD = 1, FS = 11
80000000 80000000
00000002 # mcause from attempting fmv with status.FS cleared
00000000
0000000b # mcause from M mode ecall from test termination 0000000b # mcause from M mode ecall from test termination
00000000 00000000
deadbeef deadbeef
@ -1020,5 +1022,3 @@ deadbeef
deadbeef deadbeef
deadbeef deadbeef
deadbeef deadbeef
deadbeef
deadbeef

4
tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/privilege/src/WALLY-status-fp-enabled-01.S
View File

@ -70,6 +70,10 @@ sd x29, 0(x6) // read dirty FS, SD bits, which should be 11 and 1 respectively
addi x6, x6, 8 addi x6, x6, 8
addi x16, x16, 8 addi x16, x16, 8
li x29, 0x6000
csrc mstatus, x29 // clear FS to be 00, disabling floating point
fmv.s ft0, ft0 // should be an illegal instruction with fs set to 00
END_TESTS END_TESTS
TEST_STACK_AND_DATA TEST_STACK_AND_DATA