From: Paul Mackerras <paulus@ozlabs.org>
Date: Sun, 19 Jul 2020 01:53:01 +0000 (+1000)
Subject: tests/fpu: Add tests for frsp
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=36130f1db351eec8bf19b00f4e2f9dd92276810b;p=microwatt.git

tests/fpu: Add tests for frsp

Signed-off-by: Paul Mackerras <paulus@ozlabs.org>
---

diff --git a/tests/fpu/fpu.c b/tests/fpu/fpu.c
index 80751d1..aff6d6c 100644
--- a/tests/fpu/fpu.c
+++ b/tests/fpu/fpu.c
@@ -10,6 +10,17 @@
 #define MSR_FE0	0x800
 #define MSR_FE1	0x100
 
+#define FPS_RN_NEAR	0
+#define FPS_RN_ZERO	1
+#define FPS_RN_CEIL	2
+#define FPS_RN_FLOOR	3
+#define FPS_XE		0x8
+#define FPS_ZE		0x10
+#define FPS_UE		0x20
+#define FPS_OE		0x40
+#define FPS_VE		0x80
+#define FPS_VXSOFT	0x400
+
 extern int trapit(long arg, int (*func)(long));
 extern void do_rfid(unsigned long msr);
 extern void do_blr(void);
@@ -363,8 +374,8 @@ int test5a(long arg)
 {
 	set_fpscr(0);
 	enable_fp_interrupts();
-	set_fpscr(0x80);	/* set VE */
-	set_fpscr(0x480);	/* set VXSOFT */
+	set_fpscr(FPS_VE);		/* set VE */
+	set_fpscr(FPS_VXSOFT | FPS_VE);	/* set VXSOFT */
 	set_fpscr(0);
 	return 1;		/* not supposed to get here */
 }
@@ -374,8 +385,8 @@ int test5b(long arg)
 	unsigned long msr;
 
 	enable_fp();
-	set_fpscr(0x80);	/* set VE */
-	set_fpscr(0x480);	/* set VXSOFT */
+	set_fpscr(FPS_VE);		/* set VE */
+	set_fpscr(FPS_VXSOFT | FPS_VE);	/* set VXSOFT */
 	asm("mfmsr %0" : "=r" (msr));
 	msr |= MSR_FE0 | MSR_FE1;
 	asm("mtmsrd %0; xori 4,4,0" : : "r" (msr));
@@ -388,8 +399,8 @@ int test5c(long arg)
 	unsigned long msr;
 
 	enable_fp();
-	set_fpscr(0x80);	/* set VE */
-	set_fpscr(0x480);	/* set VXSOFT */
+	set_fpscr(FPS_VE);		/* set VE */
+	set_fpscr(FPS_VXSOFT | FPS_VE);	/* set VXSOFT */
 	asm("mfmsr %0" : "=r" (msr));
 	msr |= MSR_FE0 | MSR_FE1;
 	do_rfid(msr);
@@ -463,6 +474,12 @@ int test6(long arg)
 	return 0;
 }
 
+int fpu_test_6(void)
+{
+	enable_fp();
+	return trapit(0, test6);
+}
+
 struct int_fp_equiv {
 	long		ival;
 	unsigned long	fp;
@@ -522,16 +539,63 @@ int test7(long arg)
 	return 0;
 }
 
-int fpu_test_6(void)
+int fpu_test_7(void)
 {
 	enable_fp();
-	return trapit(0, test6);
+	return trapit(0, test7);
 }
 
-int fpu_test_7(void)
+struct roundvals {
+	unsigned long fpscr;
+	unsigned long dpval;
+	unsigned long spval;
+} roundvals[] = {
+	{ FPS_RN_NEAR,  0, 0 },
+	{ FPS_RN_CEIL,  0x8000000000000000, 0x8000000000000000 },
+	{ FPS_RN_NEAR,  0x402123456789abcd, 0x4021234560000000 },
+	{ FPS_RN_ZERO,  0x402123456789abcd, 0x4021234560000000 },
+	{ FPS_RN_CEIL,  0x402123456789abcd, 0x4021234580000000 },
+	{ FPS_RN_FLOOR, 0x402123456789abcd, 0x4021234560000000 },
+	{ FPS_RN_NEAR,  0x402123457689abcd, 0x4021234580000000 },
+	{ FPS_RN_ZERO,  0x402123457689abcd, 0x4021234560000000 },
+	{ FPS_RN_CEIL,  0x402123457689abcd, 0x4021234580000000 },
+	{ FPS_RN_FLOOR, 0x402123457689abcd, 0x4021234560000000 },
+	{ FPS_RN_NEAR,  0x4021234570000000, 0x4021234580000000 },
+	{ FPS_RN_NEAR,  0x4021234550000000, 0x4021234540000000 },
+	{ FPS_RN_NEAR,  0x7ff123456789abcd, 0x7ff9234560000000 },
+	{ FPS_RN_ZERO,  0x7ffa3456789abcde, 0x7ffa345660000000 },
+	{ FPS_RN_FLOOR, 0x7ff0000000000000, 0x7ff0000000000000 },
+	{ FPS_RN_NEAR,  0x47e1234550000000, 0x47e1234540000000 },
+	{ FPS_RN_NEAR,  0x47f1234550000000, 0x7ff0000000000000 },
+	{ FPS_RN_ZERO,  0x47f1234550000000, 0x47efffffe0000000 },
+	{ FPS_RN_CEIL,  0x47f1234550000000, 0x7ff0000000000000 },
+	{ FPS_RN_FLOOR, 0x47f1234550000000, 0x47efffffe0000000 },
+	{ FPS_RN_NEAR,  0x38012345b0000000, 0x38012345c0000000 },
+	{ FPS_RN_NEAR,  0x37c12345b0000000, 0x37c1234400000000 },
+};
+
+int test8(long arg)
+{
+	long i;
+	unsigned long result;
+
+	for (i = 0; i < sizeof(roundvals) / sizeof(roundvals[0]); ++i) {
+		asm("lfd 3,0(%0); lfd 4,8(%0); mtfsf 0,3,1,0; frsp 6,4; stfd 6,0(%1)"
+		    : : "b" (&roundvals[i]), "b" (&result) : "memory");
+		if (result != roundvals[i].spval) {
+			print_string("\r\n");
+			print_hex(i, 4, " ");
+			print_hex(result, 16, " ");
+			return i + 1;
+		}
+	}
+	return 0;
+}
+
+int fpu_test_8(void)
 {
 	enable_fp();
-	return trapit(0, test7);
+	return trapit(0, test8);
 }
 
 int fail = 0;
@@ -549,7 +613,9 @@ void do_test(int num, int (*test)(void))
 		print_string("FAIL ");
 		print_hex(ret, 5, " SRR0=");
 		print_hex(mfspr(SRR0), 16, " SRR1=");
-		print_hex(mfspr(SRR1), 16, "\r\n");
+		print_hex(mfspr(SRR1), 16, " FPSCR=");
+		enable_fp();
+		print_hex(get_fpscr(), 8, "\r\n");
 	}
 }
 
@@ -564,6 +630,7 @@ int main(void)
 	do_test(5, fpu_test_5);
 	do_test(6, fpu_test_6);
 	do_test(7, fpu_test_7);
+	do_test(8, fpu_test_8);
 
 	return fail;
 }
diff --git a/tests/test_fpu.bin b/tests/test_fpu.bin
index 25d50c7..81d1854 100755
Binary files a/tests/test_fpu.bin and b/tests/test_fpu.bin differ
diff --git a/tests/test_fpu.console_out b/tests/test_fpu.console_out
index 340756c..25e791c 100644
--- a/tests/test_fpu.console_out
+++ b/tests/test_fpu.console_out
@@ -5,3 +5,4 @@ test 04:PASS
 test 05:PASS
 test 06:PASS
 test 07:PASS
+test 08:PASS