From ff405a49a5afbadb94eacb02a80e5376186defdf Mon Sep 17 00:00:00 2001 From: Sydeny Date: Sun, 9 Apr 2023 13:33:12 -0700 Subject: [PATCH] Increasing coverage for the fpu by adding directed tests to toggle signals --- tests/coverage/fpu.S | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/coverage/fpu.S b/tests/coverage/fpu.S index 250100a68..02b3f4a49 100644 --- a/tests/coverage/fpu.S +++ b/tests/coverage/fpu.S @@ -79,6 +79,10 @@ main: .word 0xc5000007 // Attempting to toggle (Op7 != 7) to 0 on line 97 in fctrl, not sure what instruction this works out to .word 0xe0101053 // toggling (Rs2D == 0) to 0 on line 139 in fctrl. Illegal Intsr (like fclass but incorrect rs2) .word 0xe0100053 // toggling (Rs2D == 0) to 0 on line 141 in fctrl. Illegal Intsr (like fmv but incorrect rs2) + .word 0x40500053 // toggling (Rs2D[4:2] == 0) to 0 on line 145 in fctrl. + .word 0x40300053 // toggling SupportFmt2 to 0 on line 145 in fctrl. + .word 0x42100053 // toggling (Rs2D[1:0] != 1) to 0 on line 147 in fctrl. Illegal Instr + .word 0xf0100053 // toggling (Rs2D == 0) to 0 on line 143 in fctrl. Illegal Instr # Test illegal instructions are detected .word 0x00000007 // illegal floating-point load (bad Funct3)