OSDN Git Service

* doc/invoke.texi: Document -mbitops for SH.
[pf3gnuchains/gcc-fork.git] / gcc / config / sh / constraints.md
1 ;; Constraint definitions for Renesas / SuperH SH.
2 ;; Copyright (C) 2007 Free Software Foundation, Inc.
3 ;;
4 ;; This file is part of GCC.
5 ;;
6 ;; GCC is free software; you can redistribute it and/or modify
7 ;; it under the terms of the GNU General Public License as published by
8 ;; the Free Software Foundation; either version 3, or (at your option)
9 ;; any later version.
10 ;;
11 ;; GCC is distributed in the hope that it will be useful,
12 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 ;; GNU General Public License for more details.
15 ;;
16 ;; You should have received a copy of the GNU General Public License
17 ;; along with GCC; see the file COPYING3.  If not see
18 ;; <http://www.gnu.org/licenses/>.
19
20 ;; Overview of uppercase letter constraints:
21 ;; Bxx: miscellaneous constraints
22 ;;  Bsc: SCRATCH - for the scratch register in movsi_ie in the
23 ;;       fldi0 / fldi0 cases
24 ;; Cxx: Constants other than only CONST_INT
25 ;;  Css: signed 16-bit constant, literal or symbolic
26 ;;  Csu: unsigned 16-bit constant, literal or symbolic
27 ;;  Csy: label or symbol
28 ;;  Cpg: non-explicit constants that can be directly loaded into a general
29 ;;       purpose register in PIC code.  like 's' except we don't allow
30 ;;       PIC_DIRECT_ADDR_P
31 ;; IJKLMNOP: CONT_INT constants
32 ;;  Ixx: signed xx bit
33 ;;  J16: 0xffffffff00000000 | 0x00000000ffffffff
34 ;;  Kxx: unsigned xx bit
35 ;;  M: 1
36 ;;  N: 0
37 ;;  P27: 1 | 2 | 8 | 16
38 ;;  Pso: 1 | 2 | 4 | 8 | 16 | 32 | 64 | 128
39 ;;  Psz: ~1 | ~2 | ~4 | ~8 | ~16 | ~32 | ~64 | ~128
40 ;; Q: pc relative load operand
41 ;; Rxx: reserved for exotic register classes.
42 ;; Sxx: extra memory (storage) constraints
43 ;;  Sua: unaligned memory operations
44 ;; W: vector
45 ;; Z: zero in any mode
46 ;;
47 ;; unused CONST_INT constraint letters: LO
48 ;; unused EXTRA_CONSTRAINT letters: D T U Y
49
50 ;; Register constraints
51 (define_register_constraint "a" "ALL_REGS"
52   "@internal")
53
54 (define_register_constraint "b" "TARGET_REGS"
55   "Branch target registers.")
56
57 (define_register_constraint "c" "FPSCR_REGS"
58   "Floating-point status register.")
59
60 (define_register_constraint "d" "DF_REGS"
61   "Double precision floating-point register.")
62
63 (define_register_constraint "e" "TARGET_FMOVD ? NO_REGS : FP_REGS"
64   "Floating-point register.")
65
66 (define_register_constraint "f" "FP_REGS"
67   "Floating-point register.")
68
69 (define_register_constraint "k" "SIBCALL_REGS"
70   "@internal")
71
72 (define_register_constraint "l" "PR_REGS"
73   "PR register.")
74
75 (define_register_constraint "t" "T_REGS"
76   "T register.")
77
78 (define_register_constraint "w" "FP0_REGS"
79   "Floating-point register 0.")
80
81 (define_register_constraint "x" "MAC_REGS"
82   "MACH and MACL registers.")
83
84 (define_register_constraint "y" "FPUL_REGS"
85   "FPUL register.")
86
87 (define_register_constraint "z" "R0_REGS"
88   "R0 register.")
89
90 ;; Integer constraints
91 (define_constraint "I06"
92   "A signed 6-bit constant, as used in SHmedia beqi, bnei and xori."
93   (and (match_code "const_int")
94        (match_test "ival >= -32 && ival <= 31")))
95
96 (define_constraint "I08"
97   "A signed 8-bit constant, as used in add, sub, etc."
98   (and (match_code "const_int")
99        (match_test "ival >= -128 && ival <= 127")))
100
101 (define_constraint "I10"
102   "A signed 10-bit constant, as used in in SHmedia andi, ori."
103   (and (match_code "const_int")
104        (match_test "ival >= -512 && ival <= 511")))
105
106 (define_constraint "I16"
107   "A signed 16-bit constant, as used in SHmedia movi."
108   (and (match_code "const_int")
109        (match_test "ival >= -32768 && ival <= 32767")))
110
111 (define_constraint "I20"
112   "A signed 20-bit constant, as used in SH2A movi20."
113   (and (match_code "const_int")
114        (match_test "ival >= -524288 && ival <= 524287")
115        (match_test "TARGET_SH2A")))
116
117 (define_constraint "I28"
118   "A signed 28-bit constant, as used in SH2A movi20s."
119   (and (match_code "const_int")
120        (match_test "ival >=  -134217728 && ival <= 134217727")
121        (match_test "(ival & 255) == 0")
122        (match_test "TARGET_SH2A")))
123 (define_constraint "J16"
124   "0xffffffff00000000 or 0x00000000ffffffff."
125   (and (match_code "const_int")
126        (match_test "CONST_OK_FOR_J16 (ival)")))
127
128 (define_constraint "K03"
129   "An unsigned 3-bit constant, as used in SH2A bclr, bset, etc."
130   (and (match_code "const_int")
131        (match_test "ival >= 0 && ival <= 7")))
132
133 (define_constraint "K08"
134   "An unsigned 8-bit constant, as used in and, or, etc."
135   (and (match_code "const_int")
136        (match_test "ival >= 0 && ival <= 255")))
137  
138 (define_constraint "K12"
139   "An unsigned 8-bit constant, as used in SH2A 12-bit display."
140   (and (match_code "const_int")
141        (match_test "ival >= 0 && ival <= 4095")))
142
143 (define_constraint "K16"
144   "An unsigned 16-bit constant, as used in SHmedia shori."
145   (and (match_code "const_int")
146        (match_test "ival >= 0 && ival <= 65535")))
147  
148 (define_constraint "P27"
149   "A constant for shift operand 1,2,8 or 16."
150   (and (match_code "const_int")
151        (match_test "ival == 1 || ival == 2 || ival == 8 || ival == 16")))
152
153 (define_constraint "M"
154   "Integer constant 1."
155   (and (match_code "const_int")
156        (match_test "ival == 1")))
157
158 (define_constraint "N"
159   "Integer constant 0."
160   (and (match_code "const_int")
161        (match_test "ival == 0")))
162
163 ;; Floating-point constraints
164 (define_constraint "G"
165   "Double constant 0."
166   (and (match_code "const_double")
167        (match_test "fp_zero_operand (op) && fldi_ok ()")))
168
169 (define_constraint "H"
170   "Double constant 1."
171   (and (match_code "const_double")
172        (match_test "fp_one_operand (op) && fldi_ok ()")))
173
174 ;; Extra constraints
175 (define_constraint "Q"
176   "A pc relative load operand."
177   (and (match_code "mem")
178        (match_test "IS_PC_RELATIVE_LOAD_ADDR_P (XEXP (op, 0))")))
179
180 (define_constraint "Bsc"
181   "Constraint for selecting FLDI0 or FLDI1 instruction.  If the clobber
182    operand is not SCRATCH (i.e. REG) then R0 is probably being used,
183    hence mova is being used, hence do not select this pattern."
184   (match_code "scratch"))
185
186 (define_constraint "Css"
187   "A signed 16-bit constant, literal or symbolic."
188   (and (match_code "const")
189        (match_test "IS_LITERAL_OR_SYMBOLIC_S16_P (XEXP (op, 0))")))
190
191 (define_constraint "Csu"
192   "An unsigned 16-bit constant, literal or symbolic."
193   (and (match_code "const")
194        (match_test "IS_LITERAL_OR_SYMBOLIC_U16_P (XEXP (op, 0))")))
195
196 (define_constraint "Csy"
197   "A label or a symbol."
198   (ior (match_test "NON_PIC_REFERENCE_P (op)")
199        (match_test "PIC_DIRECT_ADDR_P (op)")))
200
201 (define_constraint "Z"
202   "A zero in any shape or form."
203   (match_test "op == CONST0_RTX (GET_MODE (op))"))
204
205 (define_constraint "W"
206   "Any vector constant we can handle."
207   (and (match_code "const_vector")
208        (ior (match_test "sh_rep_vec (op, VOIDmode)")
209             (match_test "HOST_BITS_PER_WIDE_INT >= 64
210                          ? sh_const_vec (op, VOIDmode)
211                          : sh_1el_vec (op, VOIDmode)"))))
212
213 (define_constraint "Cpg"
214   "A non-explicit constant that can be loaded directly into a general
215    purpose register.  This is like 's' except we don't allow
216    PIC_DIRECT_ADDR_P."
217   (match_test "IS_NON_EXPLICIT_CONSTANT_P (op)"))
218
219 (define_constraint "Pso"
220   "Integer constant with a single bit set in its lower 8-bit."
221   (and (match_code "const_int")
222        (ior (match_test "ival == 1")
223             (match_test "ival == 2")
224             (match_test "ival == 4")
225             (match_test "ival == 8")
226             (match_test "ival == 16")
227             (match_test "ival == 32")
228             (match_test "ival == 64")
229             (match_test "ival == 128"))))
230
231 (define_constraint "Psz"
232   "Integer constant with a single zero bit in the lower 8-bit."
233   (and (match_code "const_int")
234        (ior (match_test "~ival == 1")
235             (match_test "~ival == 2")
236             (match_test "~ival == 4")
237             (match_test "~ival == 8")
238             (match_test "~ival == 16")
239             (match_test "~ival == 32")
240             (match_test "~ival == 64")
241             (match_test "~ival == 128"))))
242
243 (define_memory_constraint "Sr0"
244   "@internal"
245   (and (match_test "memory_operand (op, GET_MODE (op))")
246        (match_test "!refers_to_regno_p (R0_REG, R0_REG + 1, op, (rtx *) 0)")))
247
248 (define_memory_constraint "Sua"
249   "@internal"
250   (and (match_test "memory_operand (op, GET_MODE (op))")
251        (match_test "GET_CODE (XEXP (op, 0)) != PLUS")))
252
253 (define_memory_constraint "Sbv"
254   "A memory reference, as used in SH2A bclr.b, bset.b, etc."
255   (and (match_test "MEM_P (op) && GET_MODE (op) == QImode")
256        (match_test "REG_P (XEXP (op, 0))")))
257
258 (define_memory_constraint "Sbw"
259   "A memory reference, as used in SH2A bclr.b, bset.b, etc."
260   (and (match_test "MEM_P (op) && GET_MODE (op) == QImode")
261        (match_test "GET_CODE (XEXP (op, 0)) == PLUS")
262        (match_test "REG_P (XEXP (XEXP (op, 0), 0))")
263        (match_test "satisfies_constraint_K12 (XEXP (XEXP (op, 0), 1))")))