Changeset 7349

Timestamp:

Oct 4, 2007, 5:09:19 PM (13 years ago)

Author:

rme

Message:

x8632 BOOLE operations.

File:

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

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

@@ -4 +4 @@
   (require "X8632-ARCH")
   (require "X86-LAPMACROS"))
+
+;;; argument is a vector header or an array header.  Or else.
+(defx86lapfunction %array-header-data-and-offset ((a arg_z))
+  (let ((offset arg_y)
+        (temp temp1))
+    (movl (% esp) (% temp0))
+    (movl ($ '0) (%l offset))
+    (movl (% a) (% temp))
+    @loop
+    (movl (@ target::arrayH.data-vector (% temp)) (% a))
+    (extract-subtag a imm0)
+    (addl (@ target::arrayH.displacement (% temp)) (% offset))
+    (rcmp (% imm0) ($ target::subtag-vectorH))
+    (movl (% a) (% temp))
+    (jle @loop)
+    (push (% a))
+    (push (% offset))
+    (set-nargs 2)
+    (jmp-subprim  .SPvalues)))
+
+(defx86lapfunction %boole-clr ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl ($ 0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-set ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl ($ -1) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-1 ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-2 ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-c1 ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (notl (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-c2 ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (notl (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-and ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (andl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-ior ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (orl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-xor ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (xorl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-eqv ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (xorl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (notl (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-nand ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (andl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (notl (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-nor ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (orl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (notl (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-andc1 ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (notl (% imm0))
+  (andl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-andc2 ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (notl (% imm0))
+  (andl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-orc1 ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (notl (% imm0))
+  (orl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
+
+(defx86lapfunction %boole-orc2 ((idx 8) (b0 4) #|(ra 0)|# (b1 arg_y) (dest arg_z))
+  (movl (@ idx (% esp)) (% temp0))
+  (movl (@ b0 (% esp)) (% temp1))
+  (movl (@ x8632::misc-data-offset (% b1) (% temp0)) (% imm0))
+  (notl (% imm0))
+  (orl (@ x8632::misc-data-offset (% temp1) (% temp0)) (% imm0))
+  (movl (% imm0) (@ x8632::misc-data-offset (% dest) (% temp0)))
+  (single-value-return 4))
 
 ;;; placeholders for future specialized versions