From 33ee5df4f6250357f06e5be49942e620612efe50 Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Thu, 8 Nov 2018 07:47:20 +0000 Subject: [PATCH] Test the flonum-sqrt ucode primitive explicitly. The compiler open-codes it in flo:sqrt on amd64, which hardware gives the correct behaviour, but the ucode does not right now. --- tests/microcode/test-flonum-except.scm | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/tests/microcode/test-flonum-except.scm b/tests/microcode/test-flonum-except.scm index 3b50532e2..f3c5fb515 100644 --- a/tests/microcode/test-flonum-except.scm +++ b/tests/microcode/test-flonum-except.scm @@ -177,6 +177,13 @@ USA. (define-invop-flag-test 'flonum-sqrt (applicator flo:sqrt -1.)) ;(g) (define-invop-trap-test 'flonum-sqrt (applicator flo:sqrt -1.)) ;(g) +(define-invop-flag-test 'flonum-sqrt + (applicator (make-primitive-procedure 'flonum-sqrt) -1.) + 'xerror) +(define-invop-trap-test 'flonum-sqrt + (applicator (make-primitive-procedure 'flonum-sqrt) -1.) + 'xerror) + ;;; IEEE 754-2008, Sec. 7.3 ;; XXX Check sign of infinity. -- 2.25.1