Changeset 13250

Timestamp:

Dec 3, 2009, 2:46:59 AM (15 years ago)

Author:

Gary Byers

Message:

Use the new vinsns for handling fixnum overflow inline.

In X862-VSET1, don't load a constant index into a register if the
index is valid for the vector type and we aren't going to do runtime
bounds checking. (Did this in the 64-bit case; doing it in the 32-bit
case might allow us to use fewer node regs.)

File:

• trunk/source/compiler/X86/x862.lisp (modified) (2 diffs)

trunk/source/compiler/X86/x862.lisp

@@ -1301 +1301 @@
     (if *x862-open-code-inline*
       (let* ((no-overflow (backend-get-next-label)))
-        (! set-bigits-and-header-for-fixnum-overflow target (aref *backend-labels* (or labelno no-overflow)))
-        (! %allocate-uvector target)
-        (! set-bigits-after-fixnum-overflow target)
-        (when labelno
-          (-> labelno))
+        (! handle-fixnum-overflow-inline target (aref *backend-labels* (or labelno no-overflow)))
+        (when labelno (-> labelno))
         (@ no-overflow))
       (if labelno
@@ -2511 +2508 @@
                                                   value result-reg)))
                 (:x8664
-                 (multiple-value-setq (src unscaled-idx result-reg)
-                   (x862-three-untargeted-reg-forms seg
+                 (if (and index-known-fixnum
+                          (not safe)
+                          (nx2-constant-index-ok-for-type-keyword index-known-fixnum type-keyword))
+                   (multiple-value-setq (src result-reg unscaled-idx)
+                     (x862-two-untargeted-reg-forms seg
                                                   vector src
-                                                  index unscaled-idx
-                                                  value result-reg))))))
+                                                  value result-reg))
+                   (multiple-value-setq (src unscaled-idx result-reg)
+                     (x862-three-untargeted-reg-forms seg
+                                                      vector src
+                                                      index unscaled-idx
+                                                      value result-reg)))))))
         (when safe
           (let* ((*available-backend-imm-temps* *available-backend-imm-temps*)