Changeset 9539

Timestamp:

May 16, 2008, 4:19:52 PM (17 years ago)

Author:

R. Matthew Emerson

Message:

Implement bignum-shift-right-loop-1.

File:

• branches/ia32/level-0/X86/X8632/x8632-bignum.lisp (modified) (1 diff)

branches/ia32/level-0/X86/X8632/x8632-bignum.lisp

@@ -693 +693 @@
   (single-value-return 5))
 
+;;; shift bignum right by i words plus nbits bits.
+(defx8632lapfunction bignum-shift-right-loop-1 ((nbits 12) (result 8)
+                                                (bignum 4) #|(ra 0)|#
+                                                (res-len-1 arg_y)
+                                                (i arg_z))
+  (movl (@ nbits (% esp)) (% imm0))
+  (sarl ($ x8632::fixnumshift) (% imm0))
+  (movd (% imm0) (% mm7))               ;shift count
+
+  (movl (@ result (% esp)) (% temp0))
+  (movl (@ bignum (% esp)) (% temp1))
+  (push (% res-len-1))
+  (xorl (% arg_y) (% arg_y))            ;index into result
+  (jmp @test)
+  @loop
+  (movq (@ x8632::misc-data-offset (% temp1) (% i)) (% mm0)) ;b[i+1] || b[i]
+  (psrlq (% mm7) (% mm0))
+  (movd (% mm0) (@ x8632::misc-data-offset (% temp0) (% arg_y)))
+  (addl ($ '1) (% i))
+  (addl ($ '1) (% arg_y))
+  @test
+  (cmpl (@ (% esp)) (% arg_y))          ;compare to res-len-1
+  (jne @loop)
+  (addl ($ x8632::node-size) (% esp))
+  @finish
+  (movd (@ x8632::misc-data-offset (% temp1) (% i)) (% mm0)) ;last digit of b
+  (psrad (% mm7) (% mm0))
+  (movd (% mm0) (@ x8632::misc-data-offset (% temp0) (% arg_y)))
+  (single-value-return 5))
+
 (defx8632lapfunction %logcount-complement ((bignum arg_y) (i arg_z))
   (mark-as-imm temp0)