src/compiler/alpha/char.lisp

   1 ;;; -*- Package: C; Log: C.Log -*-
   2 ;;;
   3 ;;; **********************************************************************
   4 ;;; This code was written as part of the CMU Common Lisp project at
   5 ;;; Carnegie Mellon University, and has been placed in the public domain.
   6 ;;;
   7
   8 ;;;
   9 ;;; **********************************************************************
  10 ;;;
  11 ;;; $Header$
  12 ;;;
  13 ;;; This file contains the RT VM definition of character operations.
  14 ;;;
  15 ;;; Written by Rob MacLachlan
  16 ;;; Converted for the Alpha by Sean Hallgren.
  17 ;;;
  18 (in-package "SB!VM")
  19
  20
  21
  22 \f
  23 ;;;; Moves and coercions:
  24
  25 ;;; Move a tagged char to an untagged representation.
  26 ;;;
  27 (define-vop (move-to-base-char)
  28   (:args (x :scs (any-reg descriptor-reg)))
  29   (:results (y :scs (base-char-reg)))
  30   (:generator 1
  31     (inst srl x sb!vm:type-bits y)))
  32 ;;;
  33 (define-move-vop move-to-base-char :move
  34   (any-reg descriptor-reg) (base-char-reg))
  35
  36
  37 ;;; Move an untagged char to a tagged representation.
  38 ;;;
  39 (define-vop (move-from-base-char)
  40   (:args (x :scs (base-char-reg)))
  41   (:results (y :scs (any-reg descriptor-reg)))
  42   (:generator 1
  43     (inst sll x sb!vm:type-bits y)
  44     (inst bis y sb!vm:base-char-type y)))
  45 ;;;
  46 (define-move-vop move-from-base-char :move
  47   (base-char-reg) (any-reg descriptor-reg))
  48
  49 ;;; Move untagged base-char values.
  50 ;;;
  51 (define-vop (base-char-move)
  52   (:args (x :target y
  53             :scs (base-char-reg)
  54             :load-if (not (location= x y))))
  55   (:results (y :scs (base-char-reg)
  56                :load-if (not (location= x y))))
  57   (:effects)
  58   (:affected)
  59   (:generator 0
  60     (move x y)))
  61 ;;;
  62 (define-move-vop base-char-move :move
  63   (base-char-reg) (base-char-reg))
  64
  65
  66 ;;; Move untagged base-char arguments/return-values.
  67 ;;;
  68 (define-vop (move-base-char-argument)
  69   (:args (x :target y
  70             :scs (base-char-reg))
  71          (fp :scs (any-reg)
  72              :load-if (not (sc-is y base-char-reg))))
  73   (:results (y))
  74   (:generator 0
  75     (sc-case y
  76       (base-char-reg
  77        (move x y))
  78       (base-char-stack
  79        (storew x fp (tn-offset y))))))
  80 ;;;
  81 (define-move-vop move-base-char-argument :move-argument
  82   (any-reg base-char-reg) (base-char-reg))
  83
  84
  85 ;;; Use standard MOVE-ARGUMENT + coercion to move an untagged base-char
  86 ;;; to a descriptor passing location.
  87 ;;;
  88 (define-move-vop move-argument :move-argument
  89   (base-char-reg) (any-reg descriptor-reg))
  90
  91
  92 \f
  93 ;;;; Other operations:
  94
  95 (define-vop (char-code)
  96   (:translate char-code)
  97   (:policy :fast-safe)
  98   (:args (ch :scs (base-char-reg) :target res))
  99   (:arg-types base-char)
 100   (:results (res :scs (any-reg)))
 101   (:result-types positive-fixnum)
 102   (:generator 1
 103     (inst sll ch 2 res)))
 104
 105 (define-vop (code-char)
 106   (:translate code-char)
 107   (:policy :fast-safe)
 108   (:args (code :scs (any-reg) :target res))
 109   (:arg-types positive-fixnum)
 110   (:results (res :scs (base-char-reg)))
 111   (:result-types base-char)
 112   (:generator 1
 113     (inst srl code 2 res)))
 114
 115 \f
 116 ;;; Comparison of base-chars.
 117 ;;;
 118 (define-vop (base-char-compare)
 119   (:args (x :scs (base-char-reg))
 120          (y :scs (base-char-reg)))
 121   (:arg-types base-char base-char)
 122   (:temporary (:scs (non-descriptor-reg)) temp)
 123   (:conditional)
 124   (:info target not-p)
 125   (:policy :fast-safe)
 126   (:note "inline comparison")
 127   (:variant-vars cond)
 128   (:generator 3
 129     (ecase cond
 130       (:eq (inst cmpeq x y temp))
 131       (:lt (inst cmplt x y temp))
 132       (:gt (inst cmplt y x temp)))
 133     (if not-p
 134         (inst beq temp target)
 135         (inst bne temp target))))
 136
 137 (define-vop (fast-char=/base-char base-char-compare)
 138   (:translate char=)
 139   (:variant :eq))
 140
 141 (define-vop (fast-char</base-char base-char-compare)
 142   (:translate char<)
 143   (:variant :lt))
 144
 145 (define-vop (fast-char>/base-char base-char-compare)
 146   (:translate char>)
 147   (:variant :gt))