1.0.9.52: copy propagation interfering with local calls
[sbcl.git] / src / compiler / hppa / char.lisp
1 ;;;; the HPPA VM definition of character operations
2
3 ;;;; This software is part of the SBCL system. See the README file for
4 ;;;; more information.
5 ;;;;
6 ;;;; This software is derived from the CMU CL system, which was
7 ;;;; written at Carnegie Mellon University and released into the
8 ;;;; public domain. The software is in the public domain and is
9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
10 ;;;; files for more information.
11
12 (in-package "SB!VM")
13 \f
14 ;;;; Moves and coercions:
15
16 ;;; Move a tagged char to an untagged representation.
17 (define-vop (move-to-character)
18   (:args (x :scs (any-reg descriptor-reg)))
19   (:results (y :scs (character-reg)))
20   (:generator 1
21     (inst srl x n-widetag-bits y)))
22 (define-move-vop move-to-character :move
23   (any-reg descriptor-reg) (character-reg))
24
25 ;;; Move an untagged char to a tagged representation.
26 (define-vop (move-from-character)
27   (:args (x :scs (character-reg)))
28   (:results (y :scs (any-reg descriptor-reg)))
29   (:generator 1
30     (inst sll x n-widetag-bits y)
31     (inst addi character-widetag y y)))
32 (define-move-vop move-from-character :move
33   (character-reg) (any-reg descriptor-reg))
34
35 ;;; Move untagged character values.
36 (define-vop (character-move)
37   (:args (x :target y
38             :scs (character-reg)
39             :load-if (not (location= x y))))
40   (:results (y :scs (character-reg)
41                :load-if (not (location= x y))))
42   (:effects)
43   (:affected)
44   (:generator 0
45     (move x y)))
46 (define-move-vop character-move :move
47   (character-reg) (character-reg))
48
49 ;;; Move untagged character args/return-values.
50 (define-vop (move-character-arg)
51   (:args (x :target y
52             :scs (character-reg))
53          (fp :scs (any-reg)
54              :load-if (not (sc-is y character-reg))))
55   (:results (y))
56   (:generator 0
57     (sc-case y
58       (character-reg
59        (move x y))
60       (character-stack
61        (storew x fp (tn-offset y))))))
62 (define-move-vop move-character-arg :move-arg
63   (any-reg character-reg) (character-reg))
64
65 ;;; Use standard MOVE-ARG + coercion to move an untagged character to
66 ;;; a descriptor passing location.
67 (define-move-vop move-arg :move-arg
68   (character-reg) (any-reg descriptor-reg))
69 \f
70 ;;;; Other operations:
71 (define-vop (char-code)
72   (:translate char-code)
73   (:policy :fast-safe)
74   (:args (ch :scs (character-reg) :target res))
75   (:arg-types character)
76   (:results (res :scs (unsigned-reg)))
77   (:result-types positive-fixnum)
78   (:generator 1
79     (move ch res)))
80
81 (define-vop (code-char)
82   (:translate code-char)
83   (:policy :fast-safe)
84   (:args (code :scs (unsigned-reg) :target res))
85   (:arg-types positive-fixnum)
86   (:results (res :scs (character-reg)))
87   (:result-types character)
88   (:generator 1
89     (move code res)))
90 \f
91 ;;; Comparison of characters.
92 (define-vop (character-compare)
93   (:args (x :scs (character-reg))
94          (y :scs (character-reg)))
95   (:arg-types character character)
96   (:conditional)
97   (:info target not-p)
98   (:policy :fast-safe)
99   (:note "inline comparison")
100   (:variant-vars cond)
101   (:generator 3
102     (inst bc cond not-p x y target)))
103
104 (define-vop (fast-char=/character character-compare)
105   (:translate char=)
106   (:variant :=))
107
108 (define-vop (fast-char</character character-compare)
109   (:translate char<)
110   (:variant :<<))
111
112 (define-vop (fast-char>/character character-compare)
113   (:translate char>)
114   (:variant :>>))