Changeset 13419

Timestamp:

Jan 28, 2010, 4:56:41 PM (15 years ago)

Author:

Gary Byers

Message:

First-approximation %BIGNUM-LOGIOR, %BIGNUM-LOGAND for x8664.
Use these new functions to implement the loops in the bignum/bignum
cases of LOGIOR/LOGAND.

Location:

trunk/source/level-0

Files:

• X86/X8664/x8664-bignum.lisp (modified) (1 diff)
• l0-bignum64.lisp (modified) (4 diffs)

trunk/source/level-0/X86/X8664/x8664-bignum.lisp

@@ -332 +332 @@
     (single-value-return)))
 
-
-
+;;; Do LOGIOR on the N 32-bit words in A and B, storing the result in
+;;; C.  (It's legal and desirable to do this more than 32 bits at a time.)
+
+(defx86lapfunction %bignum-logior ((n 8) #|ra 0|# (a arg_x) (b arg_y) (c arg)z)
+  (movq (@ n (% rsp)) (% imm0))
+  (shrq (% imm0))
+  (jmp @test)
+  @loop
+  (movl (@ x8664::misc-data-offset (% a) (% imm0)) (%l imm1))
+  (orl (@ x8664::misc-data-offset (% b) (% imm0)) (%l imm1))
+  (movl (%l imm1) (@ x8664::misc-data-offset (% c) (% imm0)))
+  (subq ($  4) (% imm0))
+  @test
+  (jne @loop)
+  (single-value-return 3))
+
+
+
+;;; Do LOGAND on the N 32-bit words in A and B, storing the result in
+;;; C.  (It's legal and desirable to do this more than 32 bits at a time.)
+
+(defx86lapfunction %bignum-logand ((n 8) #|ra 0|# (a arg_x) (b arg_y) (c arg)z)
+  (movq (@ n (% rsp)) (% imm0))
+  (shrq (% imm0))
+  (jmp @test)
+  @loop
+  (movl (@ x8664::misc-data-offset (% a) (% imm0)) (%l imm1))
+  (andl (@ x8664::misc-data-offset (% b) (% imm0)) (%l imm1))
+  (movl (%l imm1) (@ x8664::misc-data-offset (% c) (% imm0)))
+  (subq ($  4) (% imm0))
+  @test
+  (jne @loop)
+  (single-value-return 3))
+

trunk/source/level-0/l0-bignum64.lisp

@@ -1286 +1286 @@
   (declare (type bignum-type a b res)
            (type bignum-index len-a))
-  (dotimes (i len-a)
-    (setf (bignum-ref res i)
-          (logand (the fixnum (bignum-ref a i))
-                  (the fixnum (bignum-ref b i)))))
+  (%bignum-logand len-a a b res)
   (%normalize-bignum-macro res))
 
@@ -1301 +1298 @@
   (declare (type bignum-type a b res)
            (type bignum-index len-a len-b))
-  (dotimes (i len-a)
-    (setf (bignum-ref res i)
-          (logand (the fixnum (bignum-ref a i))
-                              (the fixnum (bignum-ref b i)))))
+  (%bignum-logand len-a a b res)
   (bignum-replace res b :start1 len-a :start2 len-a :end1 len-b :end2 len-b)
   (%normalize-bignum-macro res))
@@ -1432 +1426 @@
   (declare (type bignum-type a b res)
            (type bignum-index len-a len-b))
-  (dotimes (i len-a)
-    (setf (bignum-ref res i)
-          (logior (the fixnum (bignum-ref a i))
-                  (the fixnum (bignum-ref b i)))))
+  (%bignum-logior len-a a b res)
   (if (not (eql len-a len-b))
     (bignum-replace res b :start1 len-a :start2 len-a :end1 len-b :end2 len-b))
@@ -1449 +1440 @@
   (declare (type bignum-type a b res)
            (type bignum-index len-a len-b))
-  (dotimes (i len-a)
-    (setf (bignum-ref res i)
-          (logior (the fixnum (bignum-ref a i))
-                  (the fixnum (bignum-ref b i)))))
+  (%bignum-logior len-a a b res)
   (do ((i len-a (1+ i)))
       ((= i len-b))