Fixed lots of bugs.

diff --git a/v8/src/compiler/machines/i386/lapgen.scm b/v8/src/compiler/machines/i386/lapgen.scm
index ea9847203dde286415453756f0620aac989b0745..0f1d2f2a33af49cadd3bad064db98bf5a8f3e375 100644 (file)
--- a/v8/src/compiler/machines/i386/lapgen.scm
+++ b/v8/src/compiler/machines/i386/lapgen.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: lapgen.scm,v 1.7 1995/01/20 23:13:03 ssmith Exp $
+$Id: lapgen.scm,v 1.8 1995/05/24 00:23:08 ssmith Exp $
 
 Copyright (c) 1992-1993 Massachusetts Institute of Technology
 
@@ -188,7 +188,7 @@ MIT in each case. |#
         (INST-EA (@RO UW ,register ,offset)))))
 
 (define-integrable (pseudo-register-offset register)
-  (+ (+ (* 16 4) (* 80 4))
+  (+ (+ 16 80)
      (* 3 (register-renumber register))))
 
 (define-integrable (pseudo->machine-register source target)
@@ -242,13 +242,13 @@ MIT in each case. |#
   (let ((target (target-register-reference target)))
     (if (non-pointer-object? constant)
        ;; Is this correct if conversion is object->address ?
-       (load-non-pointer target 0 (careful-object-datum constant))
+       (load-non-pointer target 0 (386-object-datum constant))
        (LAP ,@(load-constant target constant)
             ,@(conversion target)))))
 
 (define (non-pointer->literal object)
   (make-non-pointer-literal (object-type object)
-                           (careful-object-datum object)))
+                           (386-object-datum object)))
 
 (define (load-immediate target value)
   (if (zero? value)
@@ -263,7 +263,7 @@ MIT in each case. |#
 
 (define (load-constant target obj)
   (if (non-pointer-object? obj)
-      (load-non-pointer target (object-type obj) (careful-object-datum obj))
+      (load-non-pointer target (object-type obj) (386-object-datum obj))
       (load-pc-relative target (constant->label obj))))
 
 (define (load-pc-relative target label-expr)

diff --git a/v8/src/compiler/machines/i386/machin.scm b/v8/src/compiler/machines/i386/machin.scm
index 427267e92e82692f1f8f11b79178a691e68474d9..9663fd639c20454c644d6d63eb7a70c2c39c4c4d 100644 (file)
--- a/v8/src/compiler/machines/i386/machin.scm
+++ b/v8/src/compiler/machines/i386/machin.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: machin.scm,v 1.7 1995/01/20 22:45:45 ssmith Exp $
+$Id: machin.scm,v 1.8 1995/05/24 00:22:51 ssmith Exp $
 
 Copyright (c) 1992-1995 Massachusetts Institute of Technology
 
@@ -157,12 +157,12 @@ MIT in each case. |#
 
 (define (closure-environment-adjustment nentries entry)
   (declare (integrate-operator closure-entry-distance))
-  (closure-entry-distance nentries entry 0))
+  (- (closure-entry-distance nentries entry 0) 5))
 \f
 ;;;; Machine registers
 
 ;; This gives us an extra scratch register
-(define use-ebp-as-mask? #f)
+(define use-ebp-as-mask? #t)
 
 
 (define eax 0)                         ; acumulator
@@ -199,6 +199,8 @@ MIT in each case. |#
 (define-integrable regnum:hook eax)
 (define-integrable regnum:first-arg ecx)
 (define-integrable regnum:second-arg edx)
+(define-integrable regnum:third-arg ebx)
+
 
 (define datum-mask-value)
 (define regnum:datum-mask)
@@ -245,7 +247,7 @@ MIT in each case. |#
                   (error "illegal machine register" register))))))
 
 (define *rtlgen/argument-registers*
-  (vector ecx edx))
+  (vector edx ecx))
 
 (define-integrable register-block/memtop-offset 0)
 (define-integrable register-block/int-mask-offset 1)
@@ -257,6 +259,9 @@ MIT in each case. |#
 (define-integrable register-block/stack-guard-offset 11)
 (define-integrable register-block/empty-list 14)
 
+(define (get-regblock-ea offs)
+  `(@RO B ,regnum:regs-pointer ,(* 4 offs)))
+
 (define-integrable (fits-in-signed-byte? value)
   (and (>= value -128) (< value 128)))
 
@@ -403,7 +408,7 @@ MIT in each case. |#
        (let ((value (rtl:constant-value expression)))
         (if (non-pointer-object? value)
             (if-synthesized-constant (object-type value)
-                                     (careful-object-datum value))
+                                     (386-object-datum value))
             (+ get-pc-cost based-reference-cost))))
       ((MACHINE-CONSTANT)
        (if-integer (rtl:machine-constant-value expression)))
@@ -438,14 +443,19 @@ MIT in each case. |#
                  ;; Disabled for now.  The F2XM1 instruction is
                  ;; broken on the 387 (or at least some of them).
                  FLONUM-EXP
+                 FLONUM-ROUND->EXACT FLONUM-CEILING->EXACT
+                 FLONUM-TRUNCATE->EXACT FLONUM-FLOOR->EXACT
+                 FLONUM-NORMALIZE FLONUM-DENORMALIZE
+                 FLONUM-EXPT
                  VECTOR-CONS STRING-ALLOCATE FLOATING-VECTOR-CONS))
 
-;; Copied from Spectrum's so I could see it compile
+;; This fits the normal calling convention, even though the real expectation
+;; is that arg 2 will go to ebx, but code in i386.m4 fixes that.
 
 (define (rtlgen/interpreter-call/argument-home index)
   (case index
-    ((1) `(REGISTER ,ecx))
-    ((2) `(REGISTER ,edx))
+    ((1) `(REGISTER ,edx))
+    ((2) `(REGISTER ,ecx))
     (else
      (internal-error "Unexpected interpreter-call argument index" index))))
 
@@ -462,3 +472,11 @@ MIT in each case. |#
 (define (machine/indexed-stores? type)
   type                                 ; for all types
   #T)
+
+(define (386-object-type d)
+  (object-type d))
+
+(define (386-object-datum d)
+  (if (false? d)
+      (- (careful-object-datum d) 16)
+      (careful-object-datum d)))