From: Taylor R Campbell <campbell@mumble.net>
Date: Thu, 8 Nov 2018 07:47:20 +0000 (+0000)
Subject: Test the flonum-sqrt ucode primitive explicitly.
X-Git-Tag: mit-scheme-pucked-10.1.2~16^2~116^2~14
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=33ee5df4f6250357f06e5be49942e620612efe50;p=mit-scheme.git

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.
---

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.