Youn are not expected to understand this. I don't

[sbcl.git] / src / compiler / x86-64 / char.lisp

diff --git a/src/compiler/x86-64/char.lisp b/src/compiler/x86-64/char.lisp
new file mode 100644 (file)
index 0000000..684a88a
--- /dev/null
+++ b/src/compiler/x86-64/char.lisp
@@ -0,0 +1,164 @@
+;;;; x86 definition of character operations
+
+;;;; This software is part of the SBCL system. See the README file for
+;;;; more information.
+;;;;
+;;;; This software is derived from the CMU CL system, which was
+;;;; written at Carnegie Mellon University and released into the
+;;;; public domain. The software is in the public domain and is
+;;;; provided with absolutely no warranty. See the COPYING and CREDITS
+;;;; files for more information.
+
+(in-package "SB!VM")
+\f
+;;;; moves and coercions
+
+;;; Move a tagged char to an untagged representation.
+(define-vop (move-to-base-char)
+  (:args (x :scs (any-reg control-stack) :target al))
+  (:temporary (:sc byte-reg :offset al-offset
+                  :from (:argument 0) :to (:eval 0)) al)
+  (:ignore al)
+  (:temporary (:sc byte-reg :offset ah-offset :target y
+                  :from (:argument 0) :to (:result 0)) ah)
+  (:results (y :scs (base-char-reg base-char-stack)))
+  (:note "character untagging")
+  (:generator 1
+    (move rax-tn x)
+    (move y ah)))
+(define-move-vop move-to-base-char :move
+  (any-reg control-stack) (base-char-reg base-char-stack))
+
+;;; Move an untagged char to a tagged representation.
+(define-vop (move-from-base-char)
+  (:args (x :scs (base-char-reg base-char-stack) :target ah))
+  (:temporary (:sc byte-reg :offset al-offset :target y
+                  :from (:argument 0) :to (:result 0)) al)
+  (:temporary (:sc byte-reg :offset ah-offset
+                  :from (:argument 0) :to (:result 0)) ah)
+  (:results (y :scs (any-reg descriptor-reg control-stack)))
+  (:note "character tagging")
+  (:generator 1
+    (move ah x)                                ; Maybe move char byte.
+    (inst mov al base-char-widetag)    ; x86 to type bits
+    (inst and rax-tn #xffff)           ; Remove any junk bits.
+    (move y rax-tn)))
+(define-move-vop move-from-base-char :move
+  (base-char-reg base-char-stack) (any-reg descriptor-reg control-stack))
+
+;;; Move untagged base-char values.
+(define-vop (base-char-move)
+  (:args (x :target y
+           :scs (base-char-reg)
+           :load-if (not (location= x y))))
+  (:results (y :scs (base-char-reg base-char-stack)
+              :load-if (not (location= x y))))
+  (:note "character move")
+  (:effects)
+  (:affected)
+  (:generator 0
+    (move y x)))
+(define-move-vop base-char-move :move
+  (base-char-reg) (base-char-reg base-char-stack))
+
+;;; Move untagged base-char arguments/return-values.
+(define-vop (move-base-char-arg)
+  (:args (x :target y
+           :scs (base-char-reg))
+        (fp :scs (any-reg)
+            :load-if (not (sc-is y base-char-reg))))
+  (:results (y))
+  (:note "character arg move")
+  (:generator 0
+    (sc-case y
+      (base-char-reg
+       (move y x))
+      (base-char-stack
+       (inst mov
+            (make-ea :byte :base fp :disp (- (* (1+ (tn-offset y)) 4)))
+            x)))))
+(define-move-vop move-base-char-arg :move-arg
+  (any-reg base-char-reg) (base-char-reg))
+
+;;; Use standard MOVE-ARG + coercion to move an untagged base-char
+;;; to a descriptor passing location.
+(define-move-vop move-arg :move-arg
+  (base-char-reg) (any-reg descriptor-reg))
+\f
+;;;; other operations
+
+(define-vop (char-code)
+  (:translate char-code)
+  (:policy :fast-safe)
+  (:args (ch :scs (base-char-reg base-char-stack)))
+  (:arg-types base-char)
+  (:results (res :scs (unsigned-reg)))
+  (:result-types positive-fixnum)
+  (:generator 1
+    (inst movzx res ch)))
+
+(define-vop (code-char)
+  (:translate code-char)
+  (:policy :fast-safe)
+  (:args (code :scs (unsigned-reg unsigned-stack) :target eax))
+  (:arg-types positive-fixnum)
+  (:temporary (:sc unsigned-reg :offset rax-offset :target res
+                  :from (:argument 0) :to (:result 0))
+             eax)
+  (:results (res :scs (base-char-reg)))
+  (:result-types base-char)
+  (:generator 1
+    (move eax code)
+    (move res al-tn)))
+\f
+;;; comparison of BASE-CHARs
+(define-vop (base-char-compare)
+  (:args (x :scs (base-char-reg base-char-stack))
+        (y :scs (base-char-reg)
+           :load-if (not (and (sc-is x base-char-reg)
+                              (sc-is y base-char-stack)))))
+  (:arg-types base-char base-char)
+  (:conditional)
+  (:info target not-p)
+  (:policy :fast-safe)
+  (:note "inline comparison")
+  (:variant-vars condition not-condition)
+  (:generator 3
+    (inst cmp x y)
+    (inst jmp (if not-p not-condition condition) target)))
+
+(define-vop (fast-char=/base-char base-char-compare)
+  (:translate char=)
+  (:variant :e :ne))
+
+(define-vop (fast-char</base-char base-char-compare)
+  (:translate char<)
+  (:variant :b :nb))
+
+(define-vop (fast-char>/base-char base-char-compare)
+  (:translate char>)
+  (:variant :a :na))
+
+(define-vop (base-char-compare/c)
+  (:args (x :scs (base-char-reg base-char-stack)))
+  (:arg-types base-char (:constant base-char))
+  (:conditional)
+  (:info target not-p y)
+  (:policy :fast-safe)
+  (:note "inline constant comparison")
+  (:variant-vars condition not-condition)
+  (:generator 2
+    (inst cmp x (sb!xc:char-code y))
+    (inst jmp (if not-p not-condition condition) target)))
+
+(define-vop (fast-char=/base-char/c base-char-compare/c)
+  (:translate char=)
+  (:variant :e :ne))
+
+(define-vop (fast-char</base-char/c base-char-compare/c)
+  (:translate char<)
+  (:variant :b :nb))
+
+(define-vop (fast-char>/base-char/c base-char-compare/c)
+  (:translate char>)
+  (:variant :a :na))