Changeset 9586

Timestamp:

May 23, 2008, 8:44:03 PM (17 years ago)

Author:

R. Matthew Emerson

Message:

x862-i386-ff-call: when a foreign function returns a floating point result,
pop it from the x87 stack and put it into fp0.

File:

• branches/ia32/compiler/X86/x862.lisp (modified) (1 diff)

branches/ia32/compiler/X86/x862.lisp

@@ -9240 +9240 @@
     (when vreg
       (cond ((eq resultspec :void) (<- nil))
-            ;; the ffcall subprim copies st[0] into fp0 for us
-            ;; so that we don't have to worry about the x87 fpu stack
+            ;; Floating-point results are returned on the x87 stack.
             ((eq resultspec :double-float)
-             (<- ($ x8632::fp0 :class :fpr :mode :double-float)))
+             (let ((fpreg ($ x8632::fp0 :class :fpr :mode :double-float)))
+               (! fp-stack-to-double fpreg)
+               (<- fpreg)))
             ((eq resultspec :single-float)
-             (<- ($ x8632::fp0 :class :fpr :mode :single-float)))
+             (let ((fpreg ($ x8632::fp0 :class :fpr :mode :single-float)))
+               (! fp-stack-to-single fpreg)
+               (<- fpreg)))
             ((eq resultspec :unsigned-doubleword)
              (ensuring-node-target (target vreg)