July 2004 - movitz-cvs@common-lisp.net - mailman3.common-lisp.net

[movitz-cvs] CVS update: movitz/losp/muerte/typep.lisp
by Frode Vatvedt Fjeld 31 Jul '04

31 Jul '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv29280 Modified Files: typep.lisp Log Message: Changed the implementation of ratios from a defstruct to a built-in structure. Date: Sat Jul 31 16:35:14 2004 Author: ffjeld Index: movitz/losp/muerte/typep.lisp diff -u movitz/losp/muerte/typep.lisp:1.35 movitz/losp/muerte/typep.lisp:1.36 --- movitz/losp/muerte/typep.lisp:1.35 Wed Jul 28 07:50:26 2004 +++ movitz/losp/muerte/typep.lisp Sat Jul 31 16:35:13 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Dec 8 11:07:53 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: typep.lisp,v 1.35 2004/07/28 14:50:26 ffjeld Exp $ +;;;; $Id: typep.lisp,v 1.36 2004/07/31 23:35:13 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -179,6 +179,8 @@ (make-other-typep :bignum 0)) ((negative-bignum) (make-other-typep :bignum #xff)) + ((ratio) + (make-other-typep :ratio)) ((integer) `(with-inline-assembly-case () (do-case (t :boolean-zf=1 :labels (done)) @@ -556,12 +558,11 @@ (define-simple-typep (bignum bignump) (x) (typep x 'bignum)) +(define-simple-typep (rational rationalp) (x) + (typep x '(or fixnum bignum ratio))) + (define-simple-typep (number numberp) (x) - "Currently, only integers and ratios are supported." - (or (typep x 'fixnum) - (and (typep x 'tag6) - (or (typep x 'bignum) - (ratio-p x))))) + (typep x 'rational)) (define-simple-typep (function functionp) (x) (typep x 'function))

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/ratios.lisp
by Frode Vatvedt Fjeld 31 Jul '04

31 Jul '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv28989 Modified Files: ratios.lisp Log Message: Changed the implementation of ratios from a defstruct to a built-in structure. Date: Sat Jul 31 16:35:09 2004 Author: ffjeld Index: movitz/losp/muerte/ratios.lisp diff -u movitz/losp/muerte/ratios.lisp:1.4 movitz/losp/muerte/ratios.lisp:1.5 --- movitz/losp/muerte/ratios.lisp:1.4 Fri Jul 30 15:04:17 2004 +++ movitz/losp/muerte/ratios.lisp Sat Jul 31 16:35:09 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Jul 20 00:39:59 2004 ;;;; -;;;; $Id: ratios.lisp,v 1.4 2004/07/30 22:04:17 ffjeld Exp $ +;;;; $Id: ratios.lisp,v 1.5 2004/07/31 23:35:09 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -21,9 +21,37 @@ (in-package muerte) -(defstruct (ratio (:constructor make-ratio (numerator denominator)) - (:superclass rational)) - numerator denominator) +;;;(defstruct (ratio (:constructor make-ratio (numerator denominator)) +;;; (:superclass rational)) +;;; numerator denominator) + +(defun make-ratio (numerator denominator) + (check-type numerator integer) + (check-type denominator (integer 1 *)) + (let ((ratio (malloc-pointer-words 4))) + (setf (memref ratio #.(bt:slot-offset 'movitz:movitz-basic-vector 'movitz::type) + 0 :unsigned-byte32) + #.(movitz:tag :ratio)) + (setf (memref ratio -6 2 :lisp) numerator + (memref ratio -6 3 :lisp) denominator) + ratio)) + +(defun ratio-p (x) + (typep x 'ratio)) + +(define-compiler-macro %ratio-numerator (x) + `(memref ,x ,(bt:slot-offset 'movitz::movitz-ratio 'movitz::numerator) 0 :lisp)) + +(defun ratio-numerator (x) + (check-type x ratio) + (%ratio-numerator x)) + +(define-compiler-macro %ratio-denominator (x) + `(memref ,x ,(bt:slot-offset 'movitz::movitz-ratio 'movitz::denominator) 0 :lisp)) + +(defun ratio-denominator (x) + (check-type x ratio) + (%ratio-denominator x)) (defun make-rational (numerator denominator) (check-type numerator integer) @@ -44,11 +72,11 @@ (defun numerator (x) (etypecase x (integer x) - (ratio (ratio-numerator x)))) + (ratio (%ratio-numerator x)))) (defun denominator (x) (etypecase x (integer 1) - (ratio (ratio-denominator x)))) + (ratio (%ratio-denominator x)))) (defconstant pi #xea7632a/4aa1a8b)

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/primitive-functions.lisp
by Frode Vatvedt Fjeld 31 Jul '04

31 Jul '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv25568 Modified Files: primitive-functions.lisp Log Message: Changed the implementation of ratios from a defstruct to a built-in structure. Date: Sat Jul 31 16:35:04 2004 Author: ffjeld Index: movitz/losp/muerte/primitive-functions.lisp diff -u movitz/losp/muerte/primitive-functions.lisp:1.35 movitz/losp/muerte/primitive-functions.lisp:1.36 --- movitz/losp/muerte/primitive-functions.lisp:1.35 Mon Jul 26 14:02:25 2004 +++ movitz/losp/muerte/primitive-functions.lisp Sat Jul 31 16:35:03 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Oct 2 21:02:18 2001 ;;;; -;;;; $Id: primitive-functions.lisp,v 1.35 2004/07/26 21:02:25 ffjeld Exp $ +;;;; $Id: primitive-functions.lisp,v 1.36 2004/07/31 23:35:03 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -718,6 +718,8 @@ (defun complicated-class-of (object) (typecase object + (ratio + (find-class 'ratio)) (std-instance (movitz-accessor object movitz-std-instance class)) (standard-gf-instance

1 0

[movitz-cvs] CVS update: movitz/storage-types.lisp
by Frode Vatvedt Fjeld 31 Jul '04

31 Jul '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv20948 Modified Files: storage-types.lisp Log Message: Changed the implementation of ratios from a defstruct to a built-in structure. Date: Sat Jul 31 16:34:57 2004 Author: ffjeld Index: movitz/storage-types.lisp diff -u movitz/storage-types.lisp:1.36 movitz/storage-types.lisp:1.37 --- movitz/storage-types.lisp:1.36 Wed Jul 28 19:14:35 2004 +++ movitz/storage-types.lisp Sat Jul 31 16:34:57 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Sun Oct 22 00:22:43 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: storage-types.lisp,v 1.36 2004/07/29 02:14:35 ffjeld Exp $ +;;;; $Id: storage-types.lisp,v 1.37 2004/07/31 23:34:57 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -69,6 +69,8 @@ :basic-vector #x22 :funobj #x3a :bignum #x4a + :ratio #x52 + :complex #x5a :defstruct #x20 :std-instance #x40 :run-time-context #x50 @@ -1255,3 +1257,38 @@ (#x00 x) (#xff (- x)))) header)) + +(define-binary-class movitz-ratio (movitz-heap-object-other) + ((type + :binary-type other-type-byte + :initform :ratio) + (dummy0 + :binary-type u8 + :initform 0) + (dummy1 + :binary-type lu16 + :initform 0) + (dummy2 + :binary-type word + :initform 0) + (numerator + :binary-type word + :map-binary-read-delayed 'movitz-word + :map-binary-write 'movitz-read-and-intern) + (denominator + :binary-type word + :map-binary-read-delayed 'movitz-word + :map-binary-write 'movitz-read-and-intern) + (value + :reader movitz-ratio-value + :initarg :value)) + (:slot-align type #.+other-type-offset+)) + +(defmethod write-binary-record ((obj movitz-ratio) stream) + (declare (ignore stream)) + (let ((value (movitz-ratio-value obj))) + (check-type value ratio) + (setf (slot-value obj 'numerator) (numerator value) + (slot-value obj 'denominator) (denominator value)) + (call-next-method))) + \ No newline at end of file

1 0

[movitz-cvs] CVS update: movitz/image.lisp
by Frode Vatvedt Fjeld 31 Jul '04

31 Jul '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv19328 Modified Files: image.lisp Log Message: Changed the implementation of ratios from a defstruct to a built-in structure. Date: Sat Jul 31 16:34:52 2004 Author: ffjeld Index: movitz/image.lisp diff -u movitz/image.lisp:1.58 movitz/image.lisp:1.59 --- movitz/image.lisp:1.58 Fri Jul 30 14:06:22 2004 +++ movitz/image.lisp Sat Jul 31 16:34:52 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Sun Oct 22 00:22:43 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: image.lisp,v 1.58 2004/07/30 21:06:22 ffjeld Exp $ +;;;; $Id: image.lisp,v 1.59 2004/07/31 23:34:52 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -618,7 +618,7 @@ (defmethod image-classes-map ((image symbolic-image)) '(muerte.cl:null muerte.cl:cons muerte.cl:fixnum muerte.cl:symbol muerte.cl:character muerte.cl:function muerte.cl:condition - muerte.cl:integer muerte.cl:ratio + muerte.cl:integer muerte.cl:ratio muerte.cl:complex muerte.cl:vector muerte.cl:string muerte.cl:bit-vector muerte.cl:array muerte.cl:class muerte.cl:standard-class muerte.cl:standard-generic-function @@ -1472,6 +1472,9 @@ (hash-table (make-movitz-hash-table expr)) (ratio + (make-instance 'movitz-ratio + :value expr) + #+ignore (let ((slot-descriptions (gethash 'muerte.cl::ratio (image-struct-slot-descriptions *image*) nil)))

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/format.lisp
by Frode Vatvedt Fjeld 30 Jul '04

30 Jul '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv26913 Modified Files: format.lisp Log Message: Tune-up of format-float: Round off the last digit properly. Date: Fri Jul 30 15:15:23 2004 Author: ffjeld Index: movitz/losp/muerte/format.lisp diff -u movitz/losp/muerte/format.lisp:1.6 movitz/losp/muerte/format.lisp:1.7 --- movitz/losp/muerte/format.lisp:1.6 Thu Jul 29 09:21:39 2004 +++ movitz/losp/muerte/format.lisp Fri Jul 30 15:15:23 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sat Mar 23 01:18:36 2002 ;;;; -;;;; $Id: format.lisp,v 1.6 2004/07/29 16:21:39 ffjeld Exp $ +;;;; $Id: format.lisp,v 1.7 2004/07/30 22:15:23 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -59,21 +59,27 @@ (*print-readably* nil)) (write x)))) -(defun format-float (x &optional at-sign-p colon-p w d k overflowchar padchar) - (declare (ignore w k overflowchar padchar at-sign-p colon-p)) - (multiple-value-bind (integer-part decimal-part) - (truncate x) - (write-integer integer-part *standard-output* 10 t) - (do ((remainder decimal-part) - (i 0 (1+ i))) - ((if (not d) - (or (and (plusp i) (zerop decimal-part)) - (>= i 16)) - (= i d))) - (multiple-value-bind (next-digit next-remainder) - (truncate (* 10 remainder)) - (setf remainder next-remainder) - (write-integer next-digit *standard-output* 10 nil))))) +(defun format-float (x &optional at-sign-p colon-p w d (k 0) overflowchar padchar) + (declare (ignore w overflowchar padchar at-sign-p colon-p)) + (if (eql 0 d) + (write-integer (round x) *standard-output* 10 nil) + (multiple-value-bind (integer-part decimal-part) + (truncate x) + (write-integer integer-part *standard-output* 10 nil) + (dotimes (i k) + (write-char #\0)) + (write-char #\.) + (do ((remainder decimal-part) + (last-i (if d (1- d) 15)) + (i 0 (1+ i))) + ((or (and (not d) (plusp i) (zerop remainder)) + (> i last-i))) + (multiple-value-bind (next-digit next-remainder) + (if (= i last-i) + (round (* 10 remainder)) + (truncate (* 10 remainder))) + (setf remainder next-remainder) + (write-digit next-digit *standard-output*)))))) (defun find-directive (string i directive &optional recursive-skip-start (recursive-skip-end directive))

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/integers.lisp
by Frode Vatvedt Fjeld 30 Jul '04

30 Jul '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv6080 Modified Files: integers.lisp Log Message: Improved ratio support in +, -, truncate, and compare. Date: Fri Jul 30 15:10:59 2004 Author: ffjeld Index: movitz/losp/muerte/integers.lisp diff -u movitz/losp/muerte/integers.lisp:1.88 movitz/losp/muerte/integers.lisp:1.89 --- movitz/losp/muerte/integers.lisp:1.88 Fri Jul 30 14:06:27 2004 +++ movitz/losp/muerte/integers.lisp Fri Jul 30 15:10:59 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Wed Nov 8 18:44:57 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: integers.lisp,v 1.88 2004/07/30 21:06:27 ffjeld Exp $ +;;;; $Id: integers.lisp,v 1.89 2004/07/30 22:10:59 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -690,14 +690,10 @@ (- x (- y))) (((integer * -1) (integer * -1)) (%negatef (+ (- x) (- y)) x y)) - ((ratio t) - (make-rational (+ (* (ratio-numerator x) (denominator y)) - (* (numerator y) (ratio-denominator x))) - (* (ratio-denominator x) (denominator y)))) - ((integer ratio) - (make-rational (+ (* x (denominator y)) - (* (ratio-numerator y) x)) - (denominator y))) + ((rational rational) + (/ (+ (* (numerator x) (denominator y)) + (* (numerator y) (denominator x))) + (* (denominator x) (denominator y)))) ))) (do-it))) (t (&rest terms) @@ -728,7 +724,10 @@ (:testb 7 :cl) (:jnz '(:sub-program (not-a-number) (:compile-form (:result-mode :ignore) - (error 'type-error :expected-type 'number :datum x)))) + (if (ratio-p x) + (make-rational (- (ratio-numerator x)) + (ratio-denominator x)) + (error 'type-error :expected-type 'number :datum x))))) (:movl (:eax ,movitz:+other-type-offset+) :ecx) (:cmpb ,(movitz:tag :bignum) :cl) (:jne 'not-a-number) @@ -834,6 +833,10 @@ (%negatef (+ (- minuend) subtrahend) minuend subtrahend)) (((integer * -1) (integer * -1)) (+ minuend (- subtrahend))) + ((rational rational) + (/ (- (* (numerator minuend) (denominator subtrahend)) + (* (numerator subtrahend) (denominator minuend))) + (* (denominator minuend) (denominator subtrahend)))) ))) (do-it))) (t (minuend &rest subtrahends) @@ -1218,7 +1221,12 @@ (t (number divisor) (number-double-dispatch (number divisor) ((t (eql 1)) - (values number 0)) + (if (not (ratio-p number)) + (values number 0) + (multiple-value-bind (q r) + (truncate (ratio-numerator number) + (ratio-denominator number)) + (values q (make-rational r (ratio-denominator number)))))) ((fixnum fixnum) (with-inline-assembly (:returns :multiple-values) (:compile-form (:result-mode :eax) number)

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/ratios.lisp
by Frode Vatvedt Fjeld 30 Jul '04

30 Jul '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv7552 Modified Files: ratios.lisp Log Message: Rational is the direct superclass of ratio, not number. Date: Fri Jul 30 15:04:17 2004 Author: ffjeld Index: movitz/losp/muerte/ratios.lisp diff -u movitz/losp/muerte/ratios.lisp:1.3 movitz/losp/muerte/ratios.lisp:1.4 --- movitz/losp/muerte/ratios.lisp:1.3 Fri Jul 30 14:06:31 2004 +++ movitz/losp/muerte/ratios.lisp Fri Jul 30 15:04:17 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Jul 20 00:39:59 2004 ;;;; -;;;; $Id: ratios.lisp,v 1.3 2004/07/30 21:06:31 ffjeld Exp $ +;;;; $Id: ratios.lisp,v 1.4 2004/07/30 22:04:17 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -22,7 +22,7 @@ (in-package muerte) (defstruct (ratio (:constructor make-ratio (numerator denominator)) - (:superclass number)) + (:superclass rational)) numerator denominator) (defun make-rational (numerator denominator)

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/ratios.lisp
by Frode Vatvedt Fjeld 30 Jul '04

30 Jul '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv4276 Modified Files: ratios.lisp Log Message: Improved support for ratios in compare (i.e. <, <=, >, etc). Date: Fri Jul 30 14:06:31 2004 Author: ffjeld Index: movitz/losp/muerte/ratios.lisp diff -u movitz/losp/muerte/ratios.lisp:1.2 movitz/losp/muerte/ratios.lisp:1.3 --- movitz/losp/muerte/ratios.lisp:1.2 Thu Jul 29 09:20:43 2004 +++ movitz/losp/muerte/ratios.lisp Fri Jul 30 14:06:31 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Jul 20 00:39:59 2004 ;;;; -;;;; $Id: ratios.lisp,v 1.2 2004/07/29 16:20:43 ffjeld Exp $ +;;;; $Id: ratios.lisp,v 1.3 2004/07/30 21:06:31 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -26,7 +26,6 @@ numerator denominator) (defun make-rational (numerator denominator) - (assert (not (eq 0 denominator))) (check-type numerator integer) (check-type denominator integer) (cond

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/integers.lisp
by Frode Vatvedt Fjeld 30 Jul '04

30 Jul '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv4062 Modified Files: integers.lisp Log Message: Improved support for ratios in compare (i.e. <, <=, >, etc). Date: Fri Jul 30 14:06:27 2004 Author: ffjeld Index: movitz/losp/muerte/integers.lisp diff -u movitz/losp/muerte/integers.lisp:1.87 movitz/losp/muerte/integers.lisp:1.88 --- movitz/losp/muerte/integers.lisp:1.87 Tue Jul 27 15:05:14 2004 +++ movitz/losp/muerte/integers.lisp Fri Jul 30 14:06:27 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Wed Nov 8 18:44:57 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: integers.lisp,v 1.87 2004/07/27 22:05:14 ffjeld Exp $ +;;;; $Id: integers.lisp,v 1.88 2004/07/30 21:06:27 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -47,11 +47,12 @@ ;; Check that both numbers are bignums, and compare them. (:leal (:eax ,(- (movitz:tag :other))) :ecx) (:testb 7 :cl) - (:jnz '(:sub-program (n1-not-bignum) - (:int 64))) + (:jnz '(:sub-program (go-complicated) + (:globally (:movl (:edi (:edi-offset complicated-compare)) :esi)) + (:jmp (:esi (:offset movitz-funobj code-vector%2op))))) (:movl (:eax ,movitz:+other-type-offset+) :ecx) (:cmpb ,(movitz:tag :bignum) :cl) - (:jne 'n1-not-bignum) + (:jne 'go-complicated) (:cmpl :eax :ebx) ; If they are EQ, they are certainly = (:je '(:sub-program (n1-and-n2-are-eq) @@ -59,12 +60,10 @@ (:leal (:ebx ,(- (movitz:tag :other))) :ecx) (:testb 7 :cl) - (:jnz '(:sub-program (n2-not-bignum) - (:movl :ebx :eax) - (:int 64))) + (:jnz 'go-complicated) (:movl (:ebx ,movitz:+other-type-offset+) :ecx) (:cmpb ,(movitz:tag :bignum) :cl) - (:jne 'n2-not-bignum) + (:jne 'go-complicated) (:cmpb :ch (:eax (:offset movitz-bignum sign))) (:jne '(:sub-program (different-signs) @@ -184,9 +183,9 @@ n2-not-fixnum (:leal (:ebx ,(- (movitz:tag :other))) :ecx) (:testb 7 :cl) - (:jnz '(:sub-program (not-integer) - (:movl :ebx :eax) - (:int 64))) + (:jnz '(:sub-program (go-complicated) + (:globally (:movl (:edi (:edi-offset complicated-compare)) :esi)) + (:jmp (:esi (:offset movitz-funobj code-vector%2op))))) (:movl (:ebx ,movitz:+other-type-offset+) :ecx) (:cmpw ,(movitz:tag :bignum 0) :cx) (:jne 'not-plusbignum) @@ -195,7 +194,7 @@ (:ret) not-plusbignum (:cmpw ,(movitz:tag :bignum #xff) :cx) - (:jne 'not-integer) + (:jne 'go-complicated) ;; compare ebx with something bigger (:cmpl #x-10000000 :edi) (:ret)))) @@ -211,8 +210,9 @@ not-fixnum (:leal (:eax #.(cl:- (movitz:tag :other))) :ecx) (:testb 7 :cl) - (:jnz '(:sub-program (not-integer) - (:int 64))) + (:jnz '(:sub-program (go-complicated) + (:globally (:movl (:edi (:edi-offset complicated-compare)) :esi)) + (:jmp (:esi (:offset movitz-funobj code-vector%2op))))) (:movl (:eax #.movitz:+other-type-offset+) :ecx) (:cmpw #.(movitz:tag :bignum 0) :cx) (:jne 'not-plusbignum) @@ -221,10 +221,19 @@ (:ret) not-plusbignum (:cmpw #.(movitz:tag :bignum #xff) :cx) - (:jne 'not-integer) + (:jne 'go-complicated) ;; compare ebx with something bigger (:cmpl #x10000000 :edi) (:ret))) + +(defun complicated-compare (x y) + (let ((ix (* (numerator x) (denominator y))) + (iy (* (numerator y) (denominator x)))) + (with-inline-assembly (:returns :multiple-values) + (:compile-two-forms (:eax :ebx) ix iy) + (:call-global-pf fast-compare-two-reals) + (:movl 1 :ecx) ; The real result is in EFLAGS. + (:movl :edi :eax)))) ;;;

1 0