OSDN Git Service

* target-def.h (TARGET_ASM_OUTPUT_MI_THUNK): Default to NULL.
[pf3gnuchains/gcc-fork.git] / gcc / config / frv / frv.h
1 /* Target macros for the FRV port of GCC.
2    Copyright (C) 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
3    Contributed by Red Hat Inc.
4
5    This file is part of GCC.
6
7    GCC is free software; you can redistribute it and/or modify it
8    under the terms of the GNU General Public License as published
9    by the Free Software Foundation; either version 2, or (at your
10    option) any later version.
11
12    GCC is distributed in the hope that it will be useful, but WITHOUT
13    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
15    License for more details.
16
17    You should have received a copy of the GNU General Public License
18    along with GCC; see the file COPYING.  If not, write to the Free
19    Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20    02111-1307, USA.  */
21
22 #ifndef __FRV_H__
23 #define __FRV_H__
24
25 /* Set up System V.4 (aka ELF) defaults.  */
26 #include "svr4.h"
27
28 \f
29 /* Frv general purpose macros.  */
30 /* Align an address.  */
31 #define ADDR_ALIGN(addr,align) (((addr) + (align) - 1) & ~((align) - 1))
32
33 /* Return true if a value is inside a range.  */
34 #define IN_RANGE_P(VALUE, LOW, HIGH)                            \
35   (   (((HOST_WIDE_INT)(VALUE)) >= (HOST_WIDE_INT)(LOW))        \
36    && (((HOST_WIDE_INT)(VALUE)) <= ((HOST_WIDE_INT)(HIGH))))
37
38 \f
39 /* Driver configuration.  */
40
41 /* A C expression which determines whether the option `-CHAR' takes arguments.
42    The value should be the number of arguments that option takes-zero, for many
43    options.
44
45    By default, this macro is defined to handle the standard options properly.
46    You need not define it unless you wish to add additional options which take
47    arguments.
48
49    Defined in svr4.h.  */
50 #undef  SWITCH_TAKES_ARG
51 #define SWITCH_TAKES_ARG(CHAR)                                          \
52   (DEFAULT_SWITCH_TAKES_ARG (CHAR) || (CHAR) == 'G')
53
54 /* A C expression which determines whether the option `-NAME' takes arguments.
55    The value should be the number of arguments that option takes-zero, for many
56    options.  This macro rather than `SWITCH_TAKES_ARG' is used for
57    multi-character option names.
58
59    By default, this macro is defined as `DEFAULT_WORD_SWITCH_TAKES_ARG', which
60    handles the standard options properly.  You need not define
61    `WORD_SWITCH_TAKES_ARG' unless you wish to add additional options which take
62    arguments.  Any redefinition should call `DEFAULT_WORD_SWITCH_TAKES_ARG' and
63    then check for additional options.
64
65    Defined in svr4.h.  */
66 #undef WORD_SWITCH_TAKES_ARG
67
68 /* A C string constant that tells the GNU CC driver program options to pass to
69    the assembler.  It can also specify how to translate options you give to GNU
70    CC into options for GNU CC to pass to the assembler.  See the file `sun3.h'
71    for an example of this.
72
73    Do not define this macro if it does not need to do anything.
74
75    Defined in svr4.h.  */
76 #undef  ASM_SPEC
77 #define ASM_SPEC "\
78 %{G*} %{v} %{n} %{T} %{Ym,*} %{Yd,*} %{Wa,*:%*} \
79 %{mtomcat-stats} \
80 %{!mno-eflags: \
81     %{mcpu=*} \
82     %{mgpr-*} %{mfpr-*} \
83     %{msoft-float} %{mhard-float} \
84     %{mdword} %{mno-dword} \
85     %{mdouble} %{mno-double} \
86     %{mmedia} %{mno-media} \
87     %{mmuladd} %{mno-muladd} \
88     %{mpack} %{mno-pack} \
89     %{fpic: -mpic} %{fPIC: -mPIC} %{mlibrary-pic}}"
90
91 /* Another C string constant used much like `LINK_SPEC'.  The difference
92    between the two is that `STARTFILE_SPEC' is used at the very beginning of
93    the command given to the linker.
94
95    If this macro is not defined, a default is provided that loads the standard
96    C startup file from the usual place.  See `gcc.c'.
97
98    Defined in svr4.h.  */
99 #undef  STARTFILE_SPEC
100 #define STARTFILE_SPEC "crt0%O%s frvbegin%O%s"
101
102 /* Another C string constant used much like `LINK_SPEC'.  The difference
103    between the two is that `ENDFILE_SPEC' is used at the very end of the
104    command given to the linker.
105
106    Do not define this macro if it does not need to do anything.
107
108    Defined in svr4.h.  */
109 #undef  ENDFILE_SPEC
110 #define ENDFILE_SPEC "frvend%O%s"
111
112 /* A C string constant that tells the GNU CC driver program options to pass to
113    CPP.  It can also specify how to translate options you give to GNU CC into
114    options for GNU CC to pass to the CPP.
115
116    Do not define this macro if it does not need to do anything.  */
117
118 /* The idea here is to use the -mcpu option to define macros based on the
119    processor's features, using the features of the default processor if
120    no -mcpu option is given.  These macros can then be overridden by
121    other -m options.  */
122 #define CPP_SPEC "\
123 %{mcpu=frv: %(cpp_frv)} \
124 %{mcpu=fr500: %(cpp_fr500)} \
125 %{mcpu=fr400: %(cpp_fr400)} \
126 %{mcpu=fr300: %(cpp_simple)} \
127 %{mcpu=tomcat: %(cpp_fr500)} \
128 %{mcpu=simple: %(cpp_simple)} \
129 %{!mcpu*: %(cpp_cpu_default)} \
130 %{mno-media: -D__FRV_ACC__=0 %{msoft-float: -D__FRV_FPR__=0}} \
131 %{mhard-float: -D__FRV_HARD_FLOAT__} \
132 %{msoft-float: -U__FRV_HARD_FLOAT__} \
133 %{mgpr-32: -U__FRV_GPR__ -D__FRV_GPR__=32} \
134 %{mgpr-64: -U__FRV_GPR__ -D__FRV_GPR__=64} \
135 %{mfpr-32: -U__FRV_FPR__ -D__FRV_FPR__=32} \
136 %{mfpr-64: -U__FRV_FPR__ -D__FRV_FPR__=64} \
137 %{macc-4: -U__FRV_ACC__ -D__FRV_ACC__=4} \
138 %{macc-8: -U__FRV_ACC__ -D__FRV_ACC__=8} \
139 %{mdword: -D__FRV_DWORD__} \
140 %{mno-dword: -U__FRV_DWORD__} \
141 %{mno-pack: -U__FRV_VLIW__} \
142 %{fleading-underscore: -D__FRV_UNDERSCORE__}"
143
144 /* CPU defaults.  Each CPU has its own CPP spec that defines the default
145    macros for that CPU.  Each CPU also has its own default target mask.
146
147    CPU          GPRs    FPRs    ACCs    FPU     MulAdd  ldd/std  Issue rate
148    ---          ----    ----    ----    ---     ------  -------  ----------
149    FRV          64      64      8       double  yes     yes      4
150    FR500        64      64      8       single  no      yes      4
151    FR400        32      32      4       none    no      yes      2
152    Simple       32      0       0       none    no      no       1 */
153
154
155 #define CPP_FRV_SPEC "\
156 -D__FRV_GPR__=64 \
157 -D__FRV_FPR__=64 \
158 -D__FRV_ACC__=8 \
159 -D__FRV_HARD_FLOAT__ \
160 -D__FRV_DWORD__ \
161 -D__FRV_VLIW__=4"
162
163 #define CPP_FR500_SPEC "\
164 -D__FRV_GPR__=64 \
165 -D__FRV_FPR__=64 \
166 -D__FRV_ACC__=8 \
167 -D__FRV_HARD_FLOAT__ \
168 -D__FRV_DWORD__ \
169 -D__FRV_VLIW__=4"
170
171 #define CPP_FR400_SPEC "\
172 -D__FRV_GPR__=32 \
173 -D__FRV_FPR__=32 \
174 -D__FRV_ACC__=4 \
175 -D__FRV_DWORD__ \
176 -D__FRV_VLIW__=2"
177
178 #define CPP_SIMPLE_SPEC "\
179 -D__FRV_GPR__=32 \
180 -D__FRV_FPR__=0 \
181 -D__FRV_ACC__=0 \
182 %{mmedia: -D__FRV_ACC__=8} \
183 %{mhard-float|mmedia: -D__FRV_FPR__=64}"
184
185 #define MASK_DEFAULT_FRV        \
186   (MASK_MEDIA                   \
187    | MASK_DOUBLE                \
188    | MASK_MULADD                \
189    | MASK_DWORD                 \
190    | MASK_PACK)
191
192 #define MASK_DEFAULT_FR500 \
193   (MASK_MEDIA | MASK_DWORD | MASK_PACK)
194
195 #define MASK_DEFAULT_FR400      \
196   (MASK_GPR_32                  \
197    | MASK_FPR_32                \
198    | MASK_MEDIA                 \
199    | MASK_ACC_4                 \
200    | MASK_SOFT_FLOAT            \
201    | MASK_DWORD                 \
202    | MASK_PACK)
203
204 #define MASK_DEFAULT_SIMPLE \
205   (MASK_GPR_32 | MASK_SOFT_FLOAT)
206
207 /* A C string constant that tells the GNU CC driver program options to pass to
208    `cc1'.  It can also specify how to translate options you give to GNU CC into
209    options for GNU CC to pass to the `cc1'.
210
211    Do not define this macro if it does not need to do anything.  */
212 /* For ABI compliance, we need to put bss data into the normal data section.  */
213 #define CC1_SPEC "%{G*}"
214
215 /* A C string constant that tells the GNU CC driver program options to pass to
216    the linker.  It can also specify how to translate options you give to GNU CC
217    into options for GNU CC to pass to the linker.
218
219    Do not define this macro if it does not need to do anything.
220
221    Defined in svr4.h.  */
222 /* Override the svr4.h version with one that dispenses without the svr4
223    shared library options, notably -G.  */
224 #undef  LINK_SPEC
225 #define LINK_SPEC "\
226 %{h*} %{v:-V} \
227 %{b} %{Wl,*:%*} \
228 %{static:-dn -Bstatic} \
229 %{shared:-Bdynamic} \
230 %{symbolic:-Bsymbolic} \
231 %{G*} \
232 %{YP,*} \
233 %{Qy:} %{!Qn:-Qy}"
234
235 /* Another C string constant used much like `LINK_SPEC'.  The difference
236    between the two is that `LIB_SPEC' is used at the end of the command given
237    to the linker.
238
239    If this macro is not defined, a default is provided that loads the standard
240    C library from the usual place.  See `gcc.c'.
241
242    Defined in svr4.h.  */
243
244 #undef  LIB_SPEC
245 #define LIB_SPEC "--start-group -lc -lsim --end-group"
246
247 /* This macro defines names of additional specifications to put in the specs
248    that can be used in various specifications like CC1_SPEC.  Its definition
249    is an initializer with a subgrouping for each command option.
250
251    Each subgrouping contains a string constant, that defines the
252    specification name, and a string constant that used by the GNU CC driver
253    program.
254
255    Do not define this macro if it does not need to do anything.  */
256
257 #ifndef SUBTARGET_EXTRA_SPECS
258 #define SUBTARGET_EXTRA_SPECS
259 #endif
260
261 #define EXTRA_SPECS                                                     \
262   { "cpp_frv",          CPP_FRV_SPEC },                                 \
263   { "cpp_fr500",        CPP_FR500_SPEC },                               \
264   { "cpp_fr400",        CPP_FR400_SPEC },                               \
265   { "cpp_simple",       CPP_SIMPLE_SPEC },                              \
266   { "cpp_cpu_default",  CPP_CPU_DEFAULT_SPEC },                         \
267   SUBTARGET_EXTRA_SPECS
268
269 #ifndef CPP_CPU_DEFAULT_SPEC
270 #define CPP_CPU_DEFAULT_SPEC    CPP_FR500_SPEC
271 #define CPU_TYPE                FRV_CPU_FR500
272 #endif
273
274 /* Allow us to easily change the default for -malloc-cc.  */
275 #ifndef DEFAULT_NO_ALLOC_CC
276 #define MASK_DEFAULT_ALLOC_CC   MASK_ALLOC_CC
277 #else
278 #define MASK_DEFAULT_ALLOC_CC   0
279 #endif
280
281 /* Run-time target specifications */
282
283 /* Define this to be a string constant containing `-D' options to define the
284    predefined macros that identify this machine and system.  These macros will
285    be predefined unless the `-ansi' option is specified.
286
287    In addition, a parallel set of macros are predefined, whose names are made
288    by appending `__' at the beginning and at the end.  These `__' macros are
289    permitted by the ANSI standard, so they are predefined regardless of whether
290    `-ansi' is specified.  */
291
292 #define CPP_PREDEFINES "-D__frv__ -Amachine(frv)"
293
294 \f
295 /* This declaration should be present.  */
296 extern int target_flags;
297
298 /* This series of macros is to allow compiler command arguments to enable or
299    disable the use of optional features of the target machine.  For example,
300    one machine description serves both the 68000 and the 68020; a command
301    argument tells the compiler whether it should use 68020-only instructions or
302    not.  This command argument works by means of a macro `TARGET_68020' that
303    tests a bit in `target_flags'.
304
305    Define a macro `TARGET_FEATURENAME' for each such option.  Its definition
306    should test a bit in `target_flags'; for example:
307
308         #define TARGET_68020 (target_flags & 1)
309
310    One place where these macros are used is in the condition-expressions of
311    instruction patterns.  Note how `TARGET_68020' appears frequently in the
312    68000 machine description file, `m68k.md'.  Another place they are used is
313    in the definitions of the other macros in the `MACHINE.h' file.  */
314
315 #define MASK_GPR_32          0x00000001 /* Limit gprs to 32 registers */
316 #define MASK_FPR_32          0x00000002 /* Limit fprs to 32 registers */
317 #define MASK_SOFT_FLOAT      0x00000004 /* Use software floating point */
318 #define MASK_ALLOC_CC        0x00000008 /* Dynamically allocate icc/fcc's */
319 #define MASK_DWORD           0x00000010 /* Change ABi to allow dbl word insns*/
320 #define MASK_DOUBLE          0x00000020 /* Use double precision instructions */
321 #define MASK_MEDIA           0x00000040 /* Use media instructions */
322 #define MASK_MULADD          0x00000080 /* Use multiply add/subtract insns */
323 #define MASK_LIBPIC          0x00000100 /* -fpic that can be linked w/o pic */
324 #define MASK_ACC_4           0x00000200 /* Only use four media accumulators */
325 #define MASK_PACK            0x00000400 /* Set to enable packed output */
326
327                                         /* put debug masks up high */
328 #define MASK_DEBUG_ARG       0x40000000 /* debug argument handling */
329 #define MASK_DEBUG_ADDR      0x20000000 /* debug go_if_legitimate_address */
330 #define MASK_DEBUG_STACK     0x10000000 /* debug stack frame */
331 #define MASK_DEBUG           0x08000000 /* general debugging switch */
332 #define MASK_DEBUG_LOC       0x04000000 /* optimize line # table */
333 #define MASK_DEBUG_COND_EXEC 0x02000000 /* debug cond exec code */
334 #define MASK_NO_COND_MOVE    0x01000000 /* disable conditional moves */
335 #define MASK_NO_SCC          0x00800000 /* disable set conditional codes */
336 #define MASK_NO_COND_EXEC    0x00400000 /* disable conditional execution */
337 #define MASK_NO_VLIW_BRANCH  0x00200000 /* disable repacking branches */
338 #define MASK_NO_MULTI_CE     0x00100000 /* disable multi-level cond exec */
339 #define MASK_NO_NESTED_CE    0x00080000 /* disable nested cond exec */
340
341 #define MASK_DEFAULT            MASK_DEFAULT_ALLOC_CC
342
343 #define TARGET_GPR_32           ((target_flags & MASK_GPR_32) != 0)
344 #define TARGET_FPR_32           ((target_flags & MASK_FPR_32) != 0)
345 #define TARGET_SOFT_FLOAT       ((target_flags & MASK_SOFT_FLOAT) != 0)
346 #define TARGET_ALLOC_CC         ((target_flags & MASK_ALLOC_CC) != 0)
347 #define TARGET_DWORD            ((target_flags & MASK_DWORD) != 0)
348 #define TARGET_DOUBLE           ((target_flags & MASK_DOUBLE) != 0)
349 #define TARGET_MEDIA            ((target_flags & MASK_MEDIA) != 0)
350 #define TARGET_MULADD           ((target_flags & MASK_MULADD) != 0)
351 #define TARGET_LIBPIC           ((target_flags & MASK_LIBPIC) != 0)
352 #define TARGET_ACC_4            ((target_flags & MASK_ACC_4) != 0)
353 #define TARGET_DEBUG_ARG        ((target_flags & MASK_DEBUG_ARG) != 0)
354 #define TARGET_DEBUG_ADDR       ((target_flags & MASK_DEBUG_ADDR) != 0)
355 #define TARGET_DEBUG_STACK      ((target_flags & MASK_DEBUG_STACK) != 0)
356 #define TARGET_DEBUG            ((target_flags & MASK_DEBUG) != 0)
357 #define TARGET_DEBUG_LOC        ((target_flags & MASK_DEBUG_LOC) != 0)
358 #define TARGET_DEBUG_COND_EXEC  ((target_flags & MASK_DEBUG_COND_EXEC) != 0)
359 #define TARGET_NO_COND_MOVE     ((target_flags & MASK_NO_COND_MOVE) != 0)
360 #define TARGET_NO_SCC           ((target_flags & MASK_NO_SCC) != 0)
361 #define TARGET_NO_COND_EXEC     ((target_flags & MASK_NO_COND_EXEC) != 0)
362 #define TARGET_NO_VLIW_BRANCH   ((target_flags & MASK_NO_VLIW_BRANCH) != 0)
363 #define TARGET_NO_MULTI_CE      ((target_flags & MASK_NO_MULTI_CE) != 0)
364 #define TARGET_NO_NESTED_CE     ((target_flags & MASK_NO_NESTED_CE) != 0)
365 #define TARGET_PACK             ((target_flags & MASK_PACK) != 0)
366
367 #define TARGET_GPR_64           (! TARGET_GPR_32)
368 #define TARGET_FPR_64           (! TARGET_FPR_32)
369 #define TARGET_HARD_FLOAT       (! TARGET_SOFT_FLOAT)
370 #define TARGET_FIXED_CC         (! TARGET_ALLOC_CC)
371 #define TARGET_COND_MOVE        (! TARGET_NO_COND_MOVE)
372 #define TARGET_SCC              (! TARGET_NO_SCC)
373 #define TARGET_COND_EXEC        (! TARGET_NO_COND_EXEC)
374 #define TARGET_VLIW_BRANCH      (! TARGET_NO_VLIW_BRANCH)
375 #define TARGET_MULTI_CE         (! TARGET_NO_MULTI_CE)
376 #define TARGET_NESTED_CE        (! TARGET_NO_NESTED_CE)
377 #define TARGET_ACC_8            (! TARGET_ACC_4)
378
379 #define TARGET_HAS_FPRS         (TARGET_HARD_FLOAT || TARGET_MEDIA)
380
381 #define NUM_GPRS                (TARGET_GPR_32? 32 : 64)
382 #define NUM_FPRS                (!TARGET_HAS_FPRS? 0 : TARGET_FPR_32? 32 : 64)
383 #define NUM_ACCS                (!TARGET_MEDIA? 0 : TARGET_ACC_4? 4 : 8)
384
385 /* Macros to identify the blend of media instructions available.  Revision 1
386    is the one found on the FR500.  Revision 2 includes the changes made for
387    the FR400.
388
389    Treat the generic processor as a revision 1 machine for now, for
390    compatibility with earlier releases.  */
391
392 #define TARGET_MEDIA_REV1                                       \
393   (TARGET_MEDIA                                                 \
394    && (frv_cpu_type == FRV_CPU_GENERIC                          \
395        || frv_cpu_type == FRV_CPU_FR500))
396
397 #define TARGET_MEDIA_REV2                                       \
398   (TARGET_MEDIA && frv_cpu_type == FRV_CPU_FR400)
399
400 /* This macro defines names of command options to set and clear bits in
401    `target_flags'.  Its definition is an initializer with a subgrouping for
402    each command option.
403
404    Each subgrouping contains a string constant, that defines the option name,
405    a number, which contains the bits to set in `target_flags', and an optional
406    second string which is the textual description that will be displayed when
407    the user passes --help on the command line.  If the number entry is negative
408    then the specified bits will be cleared instead of being set.  If the second
409    string entry is present but empty, then no help information will be displayed
410    for that option, but it will not count as an undocumented option.  The actual
411    option name, asseen on the command line is made by appending `-m' to the
412    specified name.
413
414    One of the subgroupings should have a null string.  The number in this
415    grouping is the default value for `target_flags'.  Any target options act
416    starting with that value.
417
418    Here is an example which defines `-m68000' and `-m68020' with opposite
419    meanings, and picks the latter as the default:
420
421         #define TARGET_SWITCHES \
422           { { "68020",  1, ""},      \
423             { "68000", -1, "Compile for the m68000"},     \
424             { "",       1, }}
425
426    This declaration must be present.  */
427
428 #define TARGET_SWITCHES                                                     \
429 {{ "gpr-32",              MASK_GPR_32,          "Only use 32 gprs"},        \
430  { "gpr-64",             -MASK_GPR_32,          "Use 64 gprs"},             \
431  { "fpr-32",              MASK_FPR_32,          "Only use 32 fprs"},        \
432  { "fpr-64",             -MASK_FPR_32,          "Use 64 fprs"},             \
433  { "hard-float",         -MASK_SOFT_FLOAT,      "Use hardware floating point" },\
434  { "soft-float",          MASK_SOFT_FLOAT,      "Use software floating point" },\
435  { "alloc-cc",            MASK_ALLOC_CC,        "Dynamically allocate cc's" }, \
436  { "fixed-cc",           -MASK_ALLOC_CC,        "Just use icc0/fcc0" },     \
437  { "dword",               MASK_DWORD,           "Change ABI to allow double word insns" }, \
438  { "no-dword",           -MASK_DWORD,           "Do not use double word insns" }, \
439  { "double",              MASK_DOUBLE,          "Use fp double instructions" }, \
440  { "no-double",          -MASK_DOUBLE,          "Do not use fp double insns" }, \
441  { "media",               MASK_MEDIA,           "Use media instructions" }, \
442  { "no-media",           -MASK_MEDIA,           "Do not use media insns" }, \
443  { "muladd",              MASK_MULADD,          "Use multiply add/subtract instructions" }, \
444  { "no-muladd",          -MASK_MULADD,          "Do not use multiply add/subtract insns" }, \
445  { "library-pic",         MASK_LIBPIC,          "PIC support for building libraries" }, \
446  { "acc-4",               MASK_ACC_4,           "Use 4 media accumulators" }, \
447  { "acc-8",              -MASK_ACC_4,           "Use 8 media accumulators" }, \
448  { "pack",                MASK_PACK,            "Pack VLIW instructions" }, \
449  { "no-pack",            -MASK_PACK,            "Do not pack VLIW instructions" }, \
450  { "no-eflags",           0,                    "Do not mark ABI switches in e_flags" }, \
451  { "debug-arg",           MASK_DEBUG_ARG,       "Internal debug switch" },  \
452  { "debug-addr",          MASK_DEBUG_ADDR,      "Internal debug switch" },  \
453  { "debug-stack",         MASK_DEBUG_STACK,     "Internal debug switch" },  \
454  { "debug",               MASK_DEBUG,           "Internal debug switch" },  \
455  { "debug-cond-exec",     MASK_DEBUG_COND_EXEC, "Internal debug switch" },  \
456  { "debug-loc",           MASK_DEBUG_LOC,       "Internal debug switch" },  \
457  { "cond-move",          -MASK_NO_COND_MOVE,    "Enable conditional moves" },  \
458  { "no-cond-move",        MASK_NO_COND_MOVE,    "Disable conditional moves" },  \
459  { "scc",                -MASK_NO_SCC,          "Enable setting gprs to the result of comparisons" },  \
460  { "no-scc",              MASK_NO_SCC,          "Disable setting gprs to the result of comparisons" },  \
461  { "cond-exec",          -MASK_NO_COND_EXEC,    "Enable conditional execution other than moves/scc" }, \
462  { "no-cond-exec",        MASK_NO_COND_EXEC,    "Disable conditional execution other than moves/scc" }, \
463  { "vliw-branch",        -MASK_NO_VLIW_BRANCH,  "Run pass to pack branches into VLIW insns" }, \
464  { "no-vliw-branch",      MASK_NO_VLIW_BRANCH,  "Do not run pass to pack branches into VLIW insns" }, \
465  { "multi-cond-exec",    -MASK_NO_MULTI_CE,     "Disable optimizing &&/|| in conditional execution" }, \
466  { "no-multi-cond-exec",  MASK_NO_MULTI_CE,     "Enable optimizing &&/|| in conditional execution" }, \
467  { "nested-cond-exec",   -MASK_NO_NESTED_CE,    "Enable nested conditional execution optimizations" }, \
468  { "no-nested-cond-exec" ,MASK_NO_NESTED_CE,    "Disable nested conditional execution optimizations" }, \
469  { "tomcat-stats",        0,                    "Cause gas to print tomcat statistics" }, \
470  { "",                    MASK_DEFAULT,         "" }}                       \
471
472 /* This macro is similar to `TARGET_SWITCHES' but defines names of command
473    options that have values.  Its definition is an initializer with a
474    subgrouping for each command option.
475
476    Each subgrouping contains a string constant, that defines the fixed part of
477    the option name, the address of a variable, and an optional description string.
478    The variable, of type `char *', is set to the text following the fixed part of
479    the option as it is specified on the command line.  The actual option name is
480    made by appending `-m' to the specified name.
481
482    Here is an example which defines `-mshort-data-NUMBER'.  If the given option
483    is `-mshort-data-512', the variable `m88k_short_data' will be set to the
484    string `"512"'.
485
486         extern char *m88k_short_data;
487         #define TARGET_OPTIONS \
488          { { "short-data-", & m88k_short_data, \
489          "Specify the size of the short data section"  } }
490
491    This declaration is optional.  */
492 #define TARGET_OPTIONS                                                      \
493 {                                                                           \
494   { "cpu=",             &frv_cpu_string,         "Set cpu type" },          \
495   { "branch-cost=",     &frv_branch_cost_string, "Internal debug switch" }, \
496   { "cond-exec-insns=", &frv_condexec_insns_str, "Internal debug switch" }, \
497   { "cond-exec-temps=", &frv_condexec_temps_str, "Internal debug switch" }, \
498   { "sched-lookahead=", &frv_sched_lookahead_str,"Internal debug switch" }, \
499 }
500
501 /* This macro is a C statement to print on `stderr' a string describing the
502    particular machine description choice.  Every machine description should
503    define `TARGET_VERSION'.  For example:
504
505         #ifdef MOTOROLA
506         #define TARGET_VERSION \
507           fprintf (stderr, " (68k, Motorola syntax)");
508         #else
509         #define TARGET_VERSION \
510           fprintf (stderr, " (68k, MIT syntax)");
511         #endif  */
512 #define TARGET_VERSION fprintf (stderr, _(" (frv)"))
513
514 /* Sometimes certain combinations of command options do not make sense on a
515    particular target machine.  You can define a macro `OVERRIDE_OPTIONS' to
516    take account of this.  This macro, if defined, is executed once just after
517    all the command options have been parsed.
518
519    Don't use this macro to turn on various extra optimizations for `-O'.  That
520    is what `OPTIMIZATION_OPTIONS' is for.  */
521
522 #define OVERRIDE_OPTIONS frv_override_options ()
523
524 /* Some machines may desire to change what optimizations are performed for
525    various optimization levels.  This macro, if defined, is executed once just
526    after the optimization level is determined and before the remainder of the
527    command options have been parsed.  Values set in this macro are used as the
528    default values for the other command line options.
529
530    LEVEL is the optimization level specified; 2 if `-O2' is specified, 1 if
531    `-O' is specified, and 0 if neither is specified.
532
533    SIZE is nonzero if `-Os' is specified, 0 otherwise.
534
535    You should not use this macro to change options that are not
536    machine-specific.  These should uniformly selected by the same optimization
537    level on all supported machines.  Use this macro to enable machbine-specific
538    optimizations.
539
540    *Do not examine `write_symbols' in this macro!* The debugging options are
541    *not supposed to alter the generated code.  */
542 #define OPTIMIZATION_OPTIONS(LEVEL,SIZE) frv_optimization_options (LEVEL, SIZE)
543
544
545 /* Define this macro if debugging can be performed even without a frame
546    pointer.  If this macro is defined, GNU CC will turn on the
547    `-fomit-frame-pointer' option whenever `-O' is specified.  */
548 /* Frv needs a specific frame layout that includes the frame pointer */
549
550 #define CAN_DEBUG_WITHOUT_FP
551
552 \f
553 /* Small Data Area Support.  */
554 /* Maximum size of variables that go in .sdata/.sbss.
555    The -msdata=foo switch also controls how small variables are handled.  */
556 #ifndef SDATA_DEFAULT_SIZE
557 #define SDATA_DEFAULT_SIZE 8
558 #endif
559
560 extern int g_switch_value;        /* value of the -G xx switch */
561 extern int g_switch_set;          /* whether -G xx was passed.  */
562
563
564 /* Storage Layout */
565
566 /* Define this macro to have the value 1 if the most significant bit in a byte
567    has the lowest number; otherwise define it to have the value zero.  This
568    means that bit-field instructions count from the most significant bit.  If
569    the machine has no bit-field instructions, then this must still be defined,
570    but it doesn't matter which value it is defined to.  This macro need not be
571    a constant.
572
573    This macro does not affect the way structure fields are packed into bytes or
574    words; that is controlled by `BYTES_BIG_ENDIAN'.  */
575 #define BITS_BIG_ENDIAN 1
576
577 /* Define this macro to have the value 1 if the most significant byte in a word
578    has the lowest number.  This macro need not be a constant.  */
579 #define BYTES_BIG_ENDIAN 1
580
581 /* Define this macro to have the value 1 if, in a multiword object, the most
582    significant word has the lowest number.  This applies to both memory
583    locations and registers; GNU CC fundamentally assumes that the order of
584    words in memory is the same as the order in registers.  This macro need not
585    be a constant.  */
586 #define WORDS_BIG_ENDIAN 1
587
588 /* Number of storage units in a word; normally 4.  */
589 #define UNITS_PER_WORD 4
590
591 /* A macro to update MODE and UNSIGNEDP when an object whose type is TYPE and
592    which has the specified mode and signedness is to be stored in a register.
593    This macro is only called when TYPE is a scalar type.
594
595    On most RISC machines, which only have operations that operate on a full
596    register, define this macro to set M to `word_mode' if M is an integer mode
597    narrower than `BITS_PER_WORD'.  In most cases, only integer modes should be
598    widened because wider-precision floating-point operations are usually more
599    expensive than their narrower counterparts.
600
601    For most machines, the macro definition does not change UNSIGNEDP.  However,
602    some machines, have instructions that preferentially handle either signed or
603    unsigned quantities of certain modes.  For example, on the DEC Alpha, 32-bit
604    loads from memory and 32-bit add instructions sign-extend the result to 64
605    bits.  On such machines, set UNSIGNEDP according to which kind of extension
606    is more efficient.
607
608    Do not define this macro if it would never modify MODE.  */
609 #define PROMOTE_MODE(MODE, UNSIGNEDP, TYPE)     \
610   do                                            \
611     {                                           \
612       if (GET_MODE_CLASS (MODE) == MODE_INT     \
613           && GET_MODE_SIZE (MODE) < 4)          \
614         (MODE) = SImode;                        \
615     }                                           \
616   while (0)
617
618 /* Normal alignment required for function parameters on the stack, in bits.
619    All stack parameters receive at least this much alignment regardless of data
620    type.  On most machines, this is the same as the size of an integer.  */
621 #define PARM_BOUNDARY 32
622
623 /* Define this macro if you wish to preserve a certain alignment for the stack
624    pointer.  The definition is a C expression for the desired alignment
625    (measured in bits).
626
627    If `PUSH_ROUNDING' is not defined, the stack will always be aligned to the
628    specified boundary.  If `PUSH_ROUNDING' is defined and specifies a less
629    strict alignment than `STACK_BOUNDARY', the stack may be momentarily
630    unaligned while pushing arguments.  */
631 #define STACK_BOUNDARY 64
632
633 /* Alignment required for a function entry point, in bits.  */
634 #define FUNCTION_BOUNDARY 128
635
636 /* Biggest alignment that any data type can require on this machine,
637    in bits.  */
638 #define BIGGEST_ALIGNMENT 64
639
640 /* @@@ A hack, needed because libobjc wants to use ADJUST_FIELD_ALIGN for
641    some reason.  */
642 #ifdef IN_TARGET_LIBS
643 #define BIGGEST_FIELD_ALIGNMENT 64
644 #else
645 /* An expression for the alignment of a structure field FIELD if the
646    alignment computed in the usual way is COMPUTED.  GNU CC uses this
647    value instead of the value in `BIGGEST_ALIGNMENT' or
648    `BIGGEST_FIELD_ALIGNMENT', if defined, for structure fields only.  */
649 #define ADJUST_FIELD_ALIGN(FIELD, COMPUTED)                             \
650   frv_adjust_field_align (FIELD, COMPUTED)
651 #endif
652
653 /* If defined, a C expression to compute the alignment for a static variable.
654    TYPE is the data type, and ALIGN is the alignment that the object
655    would ordinarily have.  The value of this macro is used instead of that
656    alignment to align the object.
657
658    If this macro is not defined, then ALIGN is used.
659
660    One use of this macro is to increase alignment of medium-size data to make
661    it all fit in fewer cache lines.  Another is to cause character arrays to be
662    word-aligned so that `strcpy' calls that copy constants to character arrays
663    can be done inline.  */
664 #define DATA_ALIGNMENT(TYPE, ALIGN)             \
665   (TREE_CODE (TYPE) == ARRAY_TYPE               \
666    && TYPE_MODE (TREE_TYPE (TYPE)) == QImode    \
667    && (ALIGN) < BITS_PER_WORD ? BITS_PER_WORD : (ALIGN))
668
669 /* If defined, a C expression to compute the alignment given to a constant that
670    is being placed in memory.  CONSTANT is the constant and ALIGN is the
671    alignment that the object would ordinarily have.  The value of this macro is
672    used instead of that alignment to align the object.
673
674    If this macro is not defined, then ALIGN is used.
675
676    The typical use of this macro is to increase alignment for string constants
677    to be word aligned so that `strcpy' calls that copy constants can be done
678    inline.  */
679 #define CONSTANT_ALIGNMENT(EXP, ALIGN)  \
680   (TREE_CODE (EXP) == STRING_CST        \
681    && (ALIGN) < BITS_PER_WORD ? BITS_PER_WORD : (ALIGN))
682
683 /* Define this macro to be the value 1 if instructions will fail to work if
684    given data not on the nominal alignment.  If instructions will merely go
685    slower in that case, define this macro as 0.  */
686 #define STRICT_ALIGNMENT 1
687
688 /* Define this if you wish to imitate the way many other C compilers handle
689    alignment of bitfields and the structures that contain them.
690
691    The behavior is that the type written for a bit-field (`int', `short', or
692    other integer type) imposes an alignment for the entire structure, as if the
693    structure really did contain an ordinary field of that type.  In addition,
694    the bit-field is placed within the structure so that it would fit within such
695    a field, not crossing a boundary for it.
696
697    Thus, on most machines, a bit-field whose type is written as `int' would not
698    cross a four-byte boundary, and would force four-byte alignment for the
699    whole structure.  (The alignment used may not be four bytes; it is
700    controlled by the other alignment parameters.)
701
702    If the macro is defined, its definition should be a C expression; a nonzero
703    value for the expression enables this behavior.
704
705    Note that if this macro is not defined, or its value is zero, some bitfields
706    may cross more than one alignment boundary.  The compiler can support such
707    references if there are `insv', `extv', and `extzv' insns that can directly
708    reference memory.
709
710    The other known way of making bitfields work is to define
711    `STRUCTURE_SIZE_BOUNDARY' as large as `BIGGEST_ALIGNMENT'.  Then every
712    structure can be accessed with fullwords.
713
714    Unless the machine has bit-field instructions or you define
715    `STRUCTURE_SIZE_BOUNDARY' that way, you must define
716    `PCC_BITFIELD_TYPE_MATTERS' to have a nonzero value.
717
718    If your aim is to make GNU CC use the same conventions for laying out
719    bitfields as are used by another compiler, here is how to investigate what
720    the other compiler does.  Compile and run this program:
721
722         struct foo1
723         {
724           char x;
725           char :0;
726           char y;
727         };
728
729         struct foo2
730         {
731           char x;
732           int :0;
733           char y;
734         };
735
736         main ()
737         {
738           printf ("Size of foo1 is %d\n",
739                   sizeof (struct foo1));
740           printf ("Size of foo2 is %d\n",
741                   sizeof (struct foo2));
742           exit (0);
743         }
744
745    If this prints 2 and 5, then the compiler's behavior is what you would get
746    from `PCC_BITFIELD_TYPE_MATTERS'.
747
748    Defined in svr4.h.  */
749 #define PCC_BITFIELD_TYPE_MATTERS 1
750
751 /* GNU CC supports two ways of implementing C++ vtables: traditional or with
752    so-called "thunks".  The flag `-fvtable-thunk' chooses between them.  Define
753    this macro to be a C expression for the default value of that flag.  If
754    `DEFAULT_VTABLE_THUNKS' is 0, GNU CC uses the traditional implementation by
755    default.  The "thunk" implementation is more efficient (especially if you
756    have provided an implementation of `ASM_OUTPUT_MI_THUNK', but is not binary
757    compatible with code compiled using the traditional implementation.  If you
758    are writing a new ports, define `DEFAULT_VTABLE_THUNKS' to 1.
759
760    If you do not define this macro, the default for `-fvtable-thunk' is 0.  */
761 #define DEFAULT_VTABLE_THUNKS 1
762
763 \f
764 /* Layout of Source Language Data Types.  */
765
766 #define CHAR_TYPE_SIZE         8
767 #define SHORT_TYPE_SIZE       16
768 #define INT_TYPE_SIZE         32
769 #define LONG_TYPE_SIZE        32
770 #define LONG_LONG_TYPE_SIZE   64
771 #define FLOAT_TYPE_SIZE       32
772 #define DOUBLE_TYPE_SIZE      64
773 #define LONG_DOUBLE_TYPE_SIZE 64
774
775 /* An expression whose value is 1 or 0, according to whether the type `char'
776    should be signed or unsigned by default.  The user can always override this
777    default with the options `-fsigned-char' and `-funsigned-char'.  */
778 #define DEFAULT_SIGNED_CHAR 1
779
780 \f
781 /* General purpose registers.  */
782 #define GPR_FIRST       0                       /* First gpr */
783 #define GPR_LAST        (GPR_FIRST + 63)        /* Last gpr */
784 #define GPR_R0          GPR_FIRST               /* R0, constant 0 */
785 #define GPR_FP          (GPR_FIRST + 2)         /* Frame pointer */
786 #define GPR_SP          (GPR_FIRST + 1)         /* Stack pointer */
787                                                 /* small data register */
788 #define SDA_BASE_REG    ((unsigned)(flag_pic ? PIC_REGNO : (GPR_FIRST+16)))
789 #define PIC_REGNO       (GPR_FIRST + 17)        /* PIC register */
790
791 #define FPR_FIRST       64                      /* First FP reg */
792 #define FPR_LAST        127                     /* Last  FP reg */
793
794 #define DEFAULT_CONDEXEC_TEMPS 4                /* reserve 4 regs by default */
795 #define GPR_TEMP_NUM    frv_condexec_temps      /* # gprs to reserve for temps */
796
797 /* We reserve the last CR and CCR in each category to be used as a reload
798    register to reload the CR/CCR registers.  This is a kludge.  */
799 #define CC_FIRST        128                     /* First ICC/FCC reg */
800 #define CC_LAST         135                     /* Last  ICC/FCC reg */
801 #define ICC_FIRST       (CC_FIRST + 4)          /* First ICC reg */
802 #define ICC_LAST        (CC_FIRST + 7)          /* Last  ICC reg */
803 #define ICC_TEMP        (CC_FIRST + 7)          /* Temporary ICC reg */
804 #define FCC_FIRST       (CC_FIRST)              /* First FCC reg */
805 #define FCC_LAST        (CC_FIRST + 3)          /* Last  FCC reg */
806
807 /* Amount to shift a value to locate a ICC or FCC register in the CCR
808    register and shift it to the bottom 4 bits.  */
809 #define CC_SHIFT_RIGHT(REGNO) (((REGNO) - CC_FIRST) << 2)
810
811 /* Mask to isolate a single ICC/FCC value.  */
812 #define CC_MASK         0xf
813
814 /* Masks to isolate the various bits in an ICC field.  */
815 #define ICC_MASK_N      0x8     /* negative */
816 #define ICC_MASK_Z      0x4     /* zero */
817 #define ICC_MASK_V      0x2     /* overflow */
818 #define ICC_MASK_C      0x1     /* carry */
819
820 /* Mask to isolate the N/Z flags in an ICC.  */
821 #define ICC_MASK_NZ (ICC_MASK_N | ICC_MASK_Z)
822
823 /* Mask to isolate the Z/C flags in an ICC.  */
824 #define ICC_MASK_ZC (ICC_MASK_Z | ICC_MASK_C)
825
826 /* Masks to isolate the various bits in a FCC field.  */
827 #define FCC_MASK_E      0x8     /* equal */
828 #define FCC_MASK_L      0x4     /* less than */
829 #define FCC_MASK_G      0x2     /* greater than */
830 #define FCC_MASK_U      0x1     /* unordered */
831
832 /* For CCR registers, the machine wants CR4..CR7 to be used for integer
833    code and CR0..CR3 to be used for floating point.  */
834 #define CR_FIRST        136                     /* First CCR */
835 #define CR_LAST         143                     /* Last  CCR */
836 #define CR_NUM          (CR_LAST-CR_FIRST+1)    /* # of CCRs (8) */
837 #define ICR_FIRST       (CR_FIRST + 4)          /* First integer CCR */
838 #define ICR_LAST        (CR_FIRST + 7)          /* Last  integer CCR */
839 #define ICR_TEMP        ICR_LAST                /* Temp  integer CCR */
840 #define FCR_FIRST       (CR_FIRST + 0)          /* First float CCR */
841 #define FCR_LAST        (CR_FIRST + 3)          /* Last  float CCR */
842
843 /* Amount to shift a value to locate a CR register in the CCCR special purpose
844    register and shift it to the bottom 2 bits.  */
845 #define CR_SHIFT_RIGHT(REGNO) (((REGNO) - CR_FIRST) << 1)
846
847 /* Mask to isolate a single CR value.  */
848 #define CR_MASK         0x3
849
850 #define ACC_FIRST       144                     /* First acc register */
851 #define ACC_LAST        151                     /* Last  acc register */
852
853 #define ACCG_FIRST      152                     /* First accg register */
854 #define ACCG_LAST       159                     /* Last  accg register */
855
856 #define AP_FIRST        160                     /* fake argument pointer */
857
858 #define SPR_FIRST       161
859 #define SPR_LAST        162
860 #define LR_REGNO        (SPR_FIRST)
861 #define LCR_REGNO       (SPR_FIRST + 1)
862
863 #define GPR_P(R)        IN_RANGE_P (R, GPR_FIRST, GPR_LAST)
864 #define GPR_OR_AP_P(R)  (GPR_P (R) || (R) == ARG_POINTER_REGNUM)
865 #define FPR_P(R)        IN_RANGE_P (R, FPR_FIRST, FPR_LAST)
866 #define CC_P(R)         IN_RANGE_P (R, CC_FIRST, CC_LAST)
867 #define ICC_P(R)        IN_RANGE_P (R, ICC_FIRST, ICC_LAST)
868 #define FCC_P(R)        IN_RANGE_P (R, FCC_FIRST, FCC_LAST)
869 #define CR_P(R)         IN_RANGE_P (R, CR_FIRST, CR_LAST)
870 #define ICR_P(R)        IN_RANGE_P (R, ICR_FIRST, ICR_LAST)
871 #define FCR_P(R)        IN_RANGE_P (R, FCR_FIRST, FCR_LAST)
872 #define ACC_P(R)        IN_RANGE_P (R, ACC_FIRST, ACC_LAST)
873 #define ACCG_P(R)       IN_RANGE_P (R, ACCG_FIRST, ACCG_LAST)
874 #define SPR_P(R)        IN_RANGE_P (R, SPR_FIRST, SPR_LAST)
875
876 #define GPR_OR_PSEUDO_P(R)      (GPR_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
877 #define FPR_OR_PSEUDO_P(R)      (FPR_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
878 #define GPR_AP_OR_PSEUDO_P(R)   (GPR_OR_AP_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
879 #define CC_OR_PSEUDO_P(R)       (CC_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
880 #define ICC_OR_PSEUDO_P(R)      (ICC_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
881 #define FCC_OR_PSEUDO_P(R)      (FCC_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
882 #define CR_OR_PSEUDO_P(R)       (CR_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
883 #define ICR_OR_PSEUDO_P(R)      (ICR_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
884 #define FCR_OR_PSEUDO_P(R)      (FCR_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
885 #define ACC_OR_PSEUDO_P(R)      (ACC_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
886 #define ACCG_OR_PSEUDO_P(R)     (ACCG_P (R) || (R) >= FIRST_PSEUDO_REGISTER)
887
888 #define MAX_STACK_IMMEDIATE_OFFSET 2047
889
890 \f
891 /* Register Basics.  */
892
893 /* Number of hardware registers known to the compiler.  They receive numbers 0
894    through `FIRST_PSEUDO_REGISTER-1'; thus, the first pseudo register's number
895    really is assigned the number `FIRST_PSEUDO_REGISTER'.  */
896 #define FIRST_PSEUDO_REGISTER (SPR_LAST + 1)
897
898 /* The first/last register that can contain the arguments to a function.  */
899 #define FIRST_ARG_REGNUM        (GPR_FIRST + 8)
900 #define LAST_ARG_REGNUM         (FIRST_ARG_REGNUM + FRV_NUM_ARG_REGS - 1)
901
902 /* Registers used by the exception handling functions.  These should be
903    registers that are not otherwised used by the calling sequence.  */
904 #define FIRST_EH_REGNUM         14
905 #define LAST_EH_REGNUM          15
906
907 /* Scratch registers used in the prologue, epilogue and thunks.
908    OFFSET_REGNO is for loading constant addends that are too big for a
909    single instruction.  TEMP_REGNO is used for transferring SPRs to and from
910    the stack, and various other activities.  */
911 #define OFFSET_REGNO            4
912 #define TEMP_REGNO              5
913
914 /* Registers used in the prologue.  OLD_SP_REGNO is the old stack pointer,
915    which is sometimes used to set up the frame pointer.  */
916 #define OLD_SP_REGNO            6
917
918 /* Registers used in the epilogue.  STACKADJ_REGNO stores the exception
919    handler's stack adjustment.  */
920 #define STACKADJ_REGNO          6
921
922 /* Registers used in thunks.  JMP_REGNO is used for loading the target
923    address.  */
924 #define JUMP_REGNO              6
925
926 #define EH_RETURN_DATA_REGNO(N) ((N) <= (LAST_EH_REGNUM - FIRST_EH_REGNUM)? \
927                                  (N) + FIRST_EH_REGNUM : INVALID_REGNUM)
928 #define EH_RETURN_STACKADJ_RTX  gen_rtx_REG (SImode, STACKADJ_REGNO)
929 #define EH_RETURN_HANDLER_RTX   RETURN_ADDR_RTX (0, frame_pointer_rtx)
930
931 /* An initializer that says which registers are used for fixed purposes all
932    throughout the compiled code and are therefore not available for general
933    allocation.  These would include the stack pointer, the frame pointer
934    (except on machines where that can be used as a general register when no
935    frame pointer is needed), the program counter on machines where that is
936    considered one of the addressable registers, and any other numbered register
937    with a standard use.
938
939    This information is expressed as a sequence of numbers, separated by commas
940    and surrounded by braces.  The Nth number is 1 if register N is fixed, 0
941    otherwise.
942
943    The table initialized from this macro, and the table initialized by the
944    following one, may be overridden at run time either automatically, by the
945    actions of the macro `CONDITIONAL_REGISTER_USAGE', or by the user with the
946    command options `-ffixed-REG', `-fcall-used-REG' and `-fcall-saved-REG'.  */
947
948 /* gr0  -- Hard Zero
949    gr1  -- Stack Pointer
950    gr2  -- Frame Pointer
951    gr3  -- Hidden Parameter
952    gr16 -- Small Data reserved
953    gr17 -- Pic reserved
954    gr28 -- OS reserved
955    gr29 -- OS reserved
956    gr30 -- OS reserved
957    gr31 -- OS reserved
958    cr3  -- reserved to reload FCC registers.
959    cr7  -- reserved to reload ICC registers.  */
960 #define FIXED_REGISTERS                                                 \
961 {       /* Integer Registers */                                         \
962         1, 1, 1, 1, 0, 0, 0, 0,         /* 000-007, gr0  - gr7  */      \
963         0, 0, 0, 0, 0, 0, 0, 0,         /* 008-015, gr8  - gr15 */      \
964         1, 1, 0, 0, 0, 0, 0, 0,         /* 016-023, gr16 - gr23 */      \
965         0, 0, 0, 0, 1, 1, 1, 1,         /* 024-031, gr24 - gr31 */      \
966         0, 0, 0, 0, 0, 0, 0, 0,         /* 032-039, gr32 - gr39 */      \
967         0, 0, 0, 0, 0, 0, 0, 0,         /* 040-040, gr48 - gr47 */      \
968         0, 0, 0, 0, 0, 0, 0, 0,         /* 048-055, gr48 - gr55 */      \
969         0, 0, 0, 0, 0, 0, 0, 0,         /* 056-063, gr56 - gr63 */      \
970         /* Float Registers */                                           \
971         0, 0, 0, 0, 0, 0, 0, 0,         /* 064-071, fr0  - fr7  */      \
972         0, 0, 0, 0, 0, 0, 0, 0,         /* 072-079, fr8  - fr15 */      \
973         0, 0, 0, 0, 0, 0, 0, 0,         /* 080-087, fr16 - fr23 */      \
974         0, 0, 0, 0, 0, 0, 0, 0,         /* 088-095, fr24 - fr31 */      \
975         0, 0, 0, 0, 0, 0, 0, 0,         /* 096-103, fr32 - fr39 */      \
976         0, 0, 0, 0, 0, 0, 0, 0,         /* 104-111, fr48 - fr47 */      \
977         0, 0, 0, 0, 0, 0, 0, 0,         /* 112-119, fr48 - fr55 */      \
978         0, 0, 0, 0, 0, 0, 0, 0,         /* 120-127, fr56 - fr63 */      \
979         /* Condition Code Registers */                                  \
980         0, 0, 0, 0,                     /* 128-131, fcc0 - fcc3  */     \
981         0, 0, 0, 1,                     /* 132-135, icc0 - icc3 */      \
982         /* Conditional execution Registers (CCR) */                     \
983         0, 0, 0, 0, 0, 0, 0, 1,         /* 136-143, cr0 - cr7 */        \
984         /* Accumulators */                                              \
985         1, 1, 1, 1, 1, 1, 1, 1,         /* 144-151, acc0  - acc7 */     \
986         1, 1, 1, 1, 1, 1, 1, 1,         /* 152-159, accg0 - accg7 */    \
987         /* Other registers */                                           \
988         1,                              /* 160, AP   - fake arg ptr */  \
989         0,                              /* 161, LR   - Link register*/  \
990         0,                              /* 162, LCR  - Loop count reg*/ \
991 }
992
993 /* Like `FIXED_REGISTERS' but has 1 for each register that is clobbered (in
994    general) by function calls as well as for fixed registers.  This macro
995    therefore identifies the registers that are not available for general
996    allocation of values that must live across function calls.
997
998    If a register has 0 in `CALL_USED_REGISTERS', the compiler automatically
999    saves it on function entry and restores it on function exit, if the register
1000    is used within the function.  */
1001 #define CALL_USED_REGISTERS                                             \
1002 {       /* Integer Registers */                                         \
1003         1, 1, 1, 1, 1, 1, 1, 1,         /* 000-007, gr0  - gr7  */      \
1004         1, 1, 1, 1, 1, 1, 1, 1,         /* 008-015, gr8  - gr15 */      \
1005         1, 1, 0, 0, 0, 0, 0, 0,         /* 016-023, gr16 - gr23 */      \
1006         0, 0, 0, 0, 1, 1, 1, 1,         /* 024-031, gr24 - gr31 */      \
1007         1, 1, 1, 1, 1, 1, 1, 1,         /* 032-039, gr32 - gr39 */      \
1008         1, 1, 1, 1, 1, 1, 1, 1,         /* 040-040, gr48 - gr47 */      \
1009         0, 0, 0, 0, 0, 0, 0, 0,         /* 048-055, gr48 - gr55 */      \
1010         0, 0, 0, 0, 0, 0, 0, 0,         /* 056-063, gr56 - gr63 */      \
1011         /* Float Registers */                                           \
1012         1, 1, 1, 1, 1, 1, 1, 1,         /* 064-071, fr0  - fr7  */      \
1013         1, 1, 1, 1, 1, 1, 1, 1,         /* 072-079, fr8  - fr15 */      \
1014         0, 0, 0, 0, 0, 0, 0, 0,         /* 080-087, fr16 - fr23 */      \
1015         0, 0, 0, 0, 0, 0, 0, 0,         /* 088-095, fr24 - fr31 */      \
1016         1, 1, 1, 1, 1, 1, 1, 1,         /* 096-103, fr32 - fr39 */      \
1017         1, 1, 1, 1, 1, 1, 1, 1,         /* 104-111, fr48 - fr47 */      \
1018         0, 0, 0, 0, 0, 0, 0, 0,         /* 112-119, fr48 - fr55 */      \
1019         0, 0, 0, 0, 0, 0, 0, 0,         /* 120-127, fr56 - fr63 */      \
1020         /* Condition Code Registers */                                  \
1021         1, 1, 1, 1,                     /* 128-131, fcc0 - fcc3 */      \
1022         1, 1, 1, 1,                     /* 132-135, icc0 - icc3  */     \
1023         /* Conditional execution Registers (CCR) */                     \
1024         1, 1, 1, 1, 1, 1, 1, 1,         /* 136-143, cr0 - cr7 */        \
1025         /* Accumulators */                                              \
1026         1, 1, 1, 1, 1, 1, 1, 1,         /* 144-151, acc0 - acc7 */      \
1027         1, 1, 1, 1, 1, 1, 1, 1,         /* 152-159, accg0 - accg7 */    \
1028         /* Other registers */                                           \
1029         1,                              /* 160, AP  - fake arg ptr */   \
1030         1,                              /* 161, LR  - Link register*/   \
1031         1,                              /* 162, LCR - Loop count reg */ \
1032 }
1033
1034 /* Zero or more C statements that may conditionally modify two variables
1035    `fixed_regs' and `call_used_regs' (both of type `char []') after they have
1036    been initialized from the two preceding macros.
1037
1038    This is necessary in case the fixed or call-clobbered registers depend on
1039    target flags.
1040
1041    You need not define this macro if it has no work to do.
1042
1043    If the usage of an entire class of registers depends on the target flags,
1044    you may indicate this to GCC by using this macro to modify `fixed_regs' and
1045    `call_used_regs' to 1 for each of the registers in the classes which should
1046    not be used by GCC.  Also define the macro `REG_CLASS_FROM_LETTER' to return
1047    `NO_REGS' if it is called with a letter for a class that shouldn't be used.
1048
1049    (However, if this class is not included in `GENERAL_REGS' and all of the
1050    insn patterns whose constraints permit this class are controlled by target
1051    switches, then GCC will automatically avoid using these registers when the
1052    target switches are opposed to them.)  */
1053
1054 #define CONDITIONAL_REGISTER_USAGE frv_conditional_register_usage ()
1055
1056 \f
1057 /* Order of allocation of registers.  */
1058
1059 /* If defined, an initializer for a vector of integers, containing the numbers
1060    of hard registers in the order in which GNU CC should prefer to use them
1061    (from most preferred to least).
1062
1063    If this macro is not defined, registers are used lowest numbered first (all
1064    else being equal).
1065
1066    One use of this macro is on machines where the highest numbered registers
1067    must always be saved and the save-multiple-registers instruction supports
1068    only sequences of consecutive registers.  On such machines, define
1069    `REG_ALLOC_ORDER' to be an initializer that lists the highest numbered
1070    allocatable register first.  */
1071
1072 /* On the FRV, allocate GR16 and GR17 after other saved registers so that we
1073    have a better chance of allocating 2 registers at a time and can use the
1074    double word load/store instructions in the prologue.  */
1075 #define REG_ALLOC_ORDER                                                 \
1076 {                                                                       \
1077   /* volatile registers */                                              \
1078   GPR_FIRST  +  4, GPR_FIRST  +  5, GPR_FIRST  +  6, GPR_FIRST  +  7,   \
1079   GPR_FIRST  +  8, GPR_FIRST  +  9, GPR_FIRST  + 10, GPR_FIRST  + 11,   \
1080   GPR_FIRST  + 12, GPR_FIRST  + 13, GPR_FIRST  + 14, GPR_FIRST  + 15,   \
1081   GPR_FIRST  + 32, GPR_FIRST  + 33, GPR_FIRST  + 34, GPR_FIRST  + 35,   \
1082   GPR_FIRST  + 36, GPR_FIRST  + 37, GPR_FIRST  + 38, GPR_FIRST  + 39,   \
1083   GPR_FIRST  + 40, GPR_FIRST  + 41, GPR_FIRST  + 42, GPR_FIRST  + 43,   \
1084   GPR_FIRST  + 44, GPR_FIRST  + 45, GPR_FIRST  + 46, GPR_FIRST  + 47,   \
1085                                                                         \
1086   FPR_FIRST  +  0, FPR_FIRST  +  1, FPR_FIRST  +  2, FPR_FIRST  +  3,   \
1087   FPR_FIRST  +  4, FPR_FIRST  +  5, FPR_FIRST  +  6, FPR_FIRST  +  7,   \
1088   FPR_FIRST  +  8, FPR_FIRST  +  9, FPR_FIRST  + 10, FPR_FIRST  + 11,   \
1089   FPR_FIRST  + 12, FPR_FIRST  + 13, FPR_FIRST  + 14, FPR_FIRST  + 15,   \
1090   FPR_FIRST  + 32, FPR_FIRST  + 33, FPR_FIRST  + 34, FPR_FIRST  + 35,   \
1091   FPR_FIRST  + 36, FPR_FIRST  + 37, FPR_FIRST  + 38, FPR_FIRST  + 39,   \
1092   FPR_FIRST  + 40, FPR_FIRST  + 41, FPR_FIRST  + 42, FPR_FIRST  + 43,   \
1093   FPR_FIRST  + 44, FPR_FIRST  + 45, FPR_FIRST  + 46, FPR_FIRST  + 47,   \
1094                                                                         \
1095   ICC_FIRST  +  0, ICC_FIRST  +  1, ICC_FIRST  +  2, ICC_FIRST  +  3,   \
1096   FCC_FIRST  +  0, FCC_FIRST  +  1, FCC_FIRST  +  2, FCC_FIRST  +  3,   \
1097   CR_FIRST   +  0, CR_FIRST   +  1, CR_FIRST   +  2, CR_FIRST   +  3,   \
1098   CR_FIRST   +  4, CR_FIRST   +  5, CR_FIRST   +  6, CR_FIRST   +  7,   \
1099                                                                         \
1100   /* saved registers */                                                 \
1101   GPR_FIRST  + 18, GPR_FIRST  + 19,                                     \
1102   GPR_FIRST  + 20, GPR_FIRST  + 21, GPR_FIRST  + 22, GPR_FIRST  + 23,   \
1103   GPR_FIRST  + 24, GPR_FIRST  + 25, GPR_FIRST  + 26, GPR_FIRST  + 27,   \
1104   GPR_FIRST  + 48, GPR_FIRST  + 49, GPR_FIRST  + 50, GPR_FIRST  + 51,   \
1105   GPR_FIRST  + 52, GPR_FIRST  + 53, GPR_FIRST  + 54, GPR_FIRST  + 55,   \
1106   GPR_FIRST  + 56, GPR_FIRST  + 57, GPR_FIRST  + 58, GPR_FIRST  + 59,   \
1107   GPR_FIRST  + 60, GPR_FIRST  + 61, GPR_FIRST  + 62, GPR_FIRST  + 63,   \
1108   GPR_FIRST  + 16, GPR_FIRST  + 17,                                     \
1109                                                                         \
1110   FPR_FIRST  + 16, FPR_FIRST  + 17, FPR_FIRST  + 18, FPR_FIRST  + 19,   \
1111   FPR_FIRST  + 20, FPR_FIRST  + 21, FPR_FIRST  + 22, FPR_FIRST  + 23,   \
1112   FPR_FIRST  + 24, FPR_FIRST  + 25, FPR_FIRST  + 26, FPR_FIRST  + 27,   \
1113   FPR_FIRST  + 28, FPR_FIRST  + 29, FPR_FIRST  + 30, FPR_FIRST  + 31,   \
1114   FPR_FIRST  + 48, FPR_FIRST  + 49, FPR_FIRST  + 50, FPR_FIRST  + 51,   \
1115   FPR_FIRST  + 52, FPR_FIRST  + 53, FPR_FIRST  + 54, FPR_FIRST  + 55,   \
1116   FPR_FIRST  + 56, FPR_FIRST  + 57, FPR_FIRST  + 58, FPR_FIRST  + 59,   \
1117   FPR_FIRST  + 60, FPR_FIRST  + 61, FPR_FIRST  + 62, FPR_FIRST  + 63,   \
1118                                                                         \
1119   /* special or fixed registers */                                      \
1120   GPR_FIRST  +  0, GPR_FIRST  +  1, GPR_FIRST  +  2, GPR_FIRST  +  3,   \
1121   GPR_FIRST  + 28, GPR_FIRST  + 29, GPR_FIRST  + 30, GPR_FIRST  + 31,   \
1122   ACC_FIRST  +  0, ACC_FIRST  +  1, ACC_FIRST  +  2, ACC_FIRST  +  3,   \
1123   ACC_FIRST  +  4, ACC_FIRST  +  5, ACC_FIRST  +  6, ACC_FIRST  +  7,   \
1124   ACCG_FIRST +  0, ACCG_FIRST +  1, ACCG_FIRST +  2, ACCG_FIRST +  3,   \
1125   ACCG_FIRST +  4, ACCG_FIRST +  5, ACCG_FIRST +  6, ACCG_FIRST +  7,   \
1126   AP_FIRST,        LR_REGNO,       LCR_REGNO                            \
1127 }
1128
1129 \f
1130 /* How Values Fit in Registers.  */
1131
1132 /* A C expression for the number of consecutive hard registers, starting at
1133    register number REGNO, required to hold a value of mode MODE.
1134
1135    On a machine where all registers are exactly one word, a suitable definition
1136    of this macro is
1137
1138         #define HARD_REGNO_NREGS(REGNO, MODE)            \
1139            ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1)  \
1140             / UNITS_PER_WORD))  */
1141
1142 /* On the FRV, make the CC modes take 3 words in the integer registers, so that
1143    we can build the appropriate instructions to properly reload the values.  */
1144 #define HARD_REGNO_NREGS(REGNO, MODE) frv_hard_regno_nregs (REGNO, MODE)
1145
1146 /* A C expression that is nonzero if it is permissible to store a value of mode
1147    MODE in hard register number REGNO (or in several registers starting with
1148    that one).  For a machine where all registers are equivalent, a suitable
1149    definition is
1150
1151         #define HARD_REGNO_MODE_OK(REGNO, MODE) 1
1152
1153    It is not necessary for this macro to check for the numbers of fixed
1154    registers, because the allocation mechanism considers them to be always
1155    occupied.
1156
1157    On some machines, double-precision values must be kept in even/odd register
1158    pairs.  The way to implement that is to define this macro to reject odd
1159    register numbers for such modes.
1160
1161    The minimum requirement for a mode to be OK in a register is that the
1162    `movMODE' instruction pattern support moves between the register and any
1163    other hard register for which the mode is OK; and that moving a value into
1164    the register and back out not alter it.
1165
1166    Since the same instruction used to move `SImode' will work for all narrower
1167    integer modes, it is not necessary on any machine for `HARD_REGNO_MODE_OK'
1168    to distinguish between these modes, provided you define patterns `movhi',
1169    etc., to take advantage of this.  This is useful because of the interaction
1170    between `HARD_REGNO_MODE_OK' and `MODES_TIEABLE_P'; it is very desirable for
1171    all integer modes to be tieable.
1172
1173    Many machines have special registers for floating point arithmetic.  Often
1174    people assume that floating point machine modes are allowed only in floating
1175    point registers.  This is not true.  Any registers that can hold integers
1176    can safely *hold* a floating point machine mode, whether or not floating
1177    arithmetic can be done on it in those registers.  Integer move instructions
1178    can be used to move the values.
1179
1180    On some machines, though, the converse is true: fixed-point machine modes
1181    may not go in floating registers.  This is true if the floating registers
1182    normalize any value stored in them, because storing a non-floating value
1183    there would garble it.  In this case, `HARD_REGNO_MODE_OK' should reject
1184    fixed-point machine modes in floating registers.  But if the floating
1185    registers do not automatically normalize, if you can store any bit pattern
1186    in one and retrieve it unchanged without a trap, then any machine mode may
1187    go in a floating register, so you can define this macro to say so.
1188
1189    The primary significance of special floating registers is rather that they
1190    are the registers acceptable in floating point arithmetic instructions.
1191    However, this is of no concern to `HARD_REGNO_MODE_OK'.  You handle it by
1192    writing the proper constraints for those instructions.
1193
1194    On some machines, the floating registers are especially slow to access, so
1195    that it is better to store a value in a stack frame than in such a register
1196    if floating point arithmetic is not being done.  As long as the floating
1197    registers are not in class `GENERAL_REGS', they will not be used unless some
1198    pattern's constraint asks for one.  */
1199 #define HARD_REGNO_MODE_OK(REGNO, MODE) frv_hard_regno_mode_ok (REGNO, MODE)
1200
1201 /* A C expression that is nonzero if it is desirable to choose register
1202    allocation so as to avoid move instructions between a value of mode MODE1
1203    and a value of mode MODE2.
1204
1205    If `HARD_REGNO_MODE_OK (R, MODE1)' and `HARD_REGNO_MODE_OK (R, MODE2)' are
1206    ever different for any R, then `MODES_TIEABLE_P (MODE1, MODE2)' must be
1207    zero.  */
1208 #define MODES_TIEABLE_P(MODE1, MODE2) (MODE1 == MODE2)
1209
1210 /* Define this macro if the compiler should avoid copies to/from CCmode
1211    registers.  You should only define this macro if support fo copying to/from
1212    CCmode is incomplete.  */
1213 #define AVOID_CCMODE_COPIES
1214
1215 \f
1216 /* Register Classes.  */
1217
1218 /* An enumeral type that must be defined with all the register class names as
1219    enumeral values.  `NO_REGS' must be first.  `ALL_REGS' must be the last
1220    register class, followed by one more enumeral value, `LIM_REG_CLASSES',
1221    which is not a register class but rather tells how many classes there are.
1222
1223    Each register class has a number, which is the value of casting the class
1224    name to type `int'.  The number serves as an index in many of the tables
1225    described below.  */
1226 enum reg_class
1227 {
1228   NO_REGS,
1229   ICC_REGS,
1230   FCC_REGS,
1231   CC_REGS,
1232   ICR_REGS,
1233   FCR_REGS,
1234   CR_REGS,
1235   LCR_REG,
1236   LR_REG,
1237   SPR_REGS,
1238   QUAD_ACC_REGS,
1239   EVEN_ACC_REGS,
1240   ACC_REGS,
1241   ACCG_REGS,
1242   QUAD_FPR_REGS,
1243   FEVEN_REGS,
1244   FPR_REGS,
1245   QUAD_REGS,
1246   EVEN_REGS,
1247   GPR_REGS,
1248   ALL_REGS,
1249   LIM_REG_CLASSES
1250 };
1251
1252 #define GENERAL_REGS GPR_REGS
1253
1254 /* The number of distinct register classes, defined as follows:
1255
1256         #define N_REG_CLASSES (int) LIM_REG_CLASSES  */
1257 #define N_REG_CLASSES ((int) LIM_REG_CLASSES)
1258
1259 /* An initializer containing the names of the register classes as C string
1260    constants.  These names are used in writing some of the debugging dumps.  */
1261 #define REG_CLASS_NAMES {                                               \
1262    "NO_REGS",                                                           \
1263    "ICC_REGS",                                                          \
1264    "FCC_REGS",                                                          \
1265    "CC_REGS",                                                           \
1266    "ICR_REGS",                                                          \
1267    "FCR_REGS",                                                          \
1268    "CR_REGS",                                                           \
1269    "LCR_REG",                                                           \
1270    "LR_REG",                                                            \
1271    "SPR_REGS",                                                          \
1272    "QUAD_ACC_REGS",                                                     \
1273    "EVEN_ACC_REGS",                                                     \
1274    "ACC_REGS",                                                          \
1275    "ACCG_REGS",                                                         \
1276    "QUAD_FPR_REGS",                                                     \
1277    "FEVEN_REGS",                                                        \
1278    "FPR_REGS",                                                          \
1279    "QUAD_REGS",                                                         \
1280    "EVEN_REGS",                                                         \
1281    "GPR_REGS",                                                          \
1282    "ALL_REGS"                                                           \
1283 }
1284
1285 /* An initializer containing the contents of the register classes, as integers
1286    which are bit masks.  The Nth integer specifies the contents of class N.
1287    The way the integer MASK is interpreted is that register R is in the class
1288    if `MASK & (1 << R)' is 1.
1289
1290    When the machine has more than 32 registers, an integer does not suffice.
1291    Then the integers are replaced by sub-initializers, braced groupings
1292    containing several integers.  Each sub-initializer must be suitable as an
1293    initializer for the type `HARD_REG_SET' which is defined in
1294    `hard-reg-set.h'.  */
1295 #define REG_CLASS_CONTENTS                                                     \
1296 {  /* gr0-gr31 gr32-gr63  fr0-fr31   fr32-fr-63 cc/ccr/acc ap/spr */           \
1297   { 0x00000000,0x00000000,0x00000000,0x00000000,0x00000000,0x0}, /* NO_REGS  */\
1298   { 0x00000000,0x00000000,0x00000000,0x00000000,0x000000f0,0x0}, /* ICC_REGS */\
1299   { 0x00000000,0x00000000,0x00000000,0x00000000,0x0000000f,0x0}, /* FCC_REGS */\
1300   { 0x00000000,0x00000000,0x00000000,0x00000000,0x000000ff,0x0}, /* CC_REGS  */\
1301   { 0x00000000,0x00000000,0x00000000,0x00000000,0x0000f000,0x0}, /* ICR_REGS */\
1302   { 0x00000000,0x00000000,0x00000000,0x00000000,0x00000f00,0x0}, /* FCR_REGS */\
1303   { 0x00000000,0x00000000,0x00000000,0x00000000,0x0000ff00,0x0}, /* CR_REGS  */\
1304   { 0x00000000,0x00000000,0x00000000,0x00000000,0x00000000,0x4}, /* LCR_REGS */\
1305   { 0x00000000,0x00000000,0x00000000,0x00000000,0x00000000,0x2}, /* LR_REGS  */\
1306   { 0x00000000,0x00000000,0x00000000,0x00000000,0x00000000,0x6}, /* SPR_REGS */\
1307   { 0x00000000,0x00000000,0x00000000,0x00000000,0x00ff0000,0x0}, /* QUAD_ACC */\
1308   { 0x00000000,0x00000000,0x00000000,0x00000000,0x00ff0000,0x0}, /* EVEN_ACC */\
1309   { 0x00000000,0x00000000,0x00000000,0x00000000,0x00ff0000,0x0}, /* ACC_REGS */\
1310   { 0x00000000,0x00000000,0x00000000,0x00000000,0xff000000,0x0}, /* ACCG_REGS*/\
1311   { 0x00000000,0x00000000,0xffffffff,0xffffffff,0x00000000,0x0}, /* QUAD_FPR */\
1312   { 0x00000000,0x00000000,0xffffffff,0xffffffff,0x00000000,0x0}, /* FEVEN_REG*/\
1313   { 0x00000000,0x00000000,0xffffffff,0xffffffff,0x00000000,0x0}, /* FPR_REGS */\
1314   { 0x0ffffffc,0xffffffff,0x00000000,0x00000000,0x00000000,0x0}, /* QUAD_REGS*/\
1315   { 0xfffffffc,0xffffffff,0x00000000,0x00000000,0x00000000,0x0}, /* EVEN_REGS*/\
1316   { 0xffffffff,0xffffffff,0x00000000,0x00000000,0x00000000,0x1}, /* GPR_REGS */\
1317   { 0xffffffff,0xffffffff,0xffffffff,0xffffffff,0xffffffff,0x7}, /* ALL_REGS */\
1318 }
1319
1320 /* A C expression whose value is a register class containing hard register
1321    REGNO.  In general there is more than one such class; choose a class which
1322    is "minimal", meaning that no smaller class also contains the register.  */
1323
1324 extern enum reg_class regno_reg_class[];
1325 #define REGNO_REG_CLASS(REGNO) regno_reg_class [REGNO]
1326
1327 /* A macro whose definition is the name of the class to which a valid base
1328    register must belong.  A base register is one used in an address which is
1329    the register value plus a displacement.  */
1330 #define BASE_REG_CLASS GPR_REGS
1331
1332 /* A macro whose definition is the name of the class to which a valid index
1333    register must belong.  An index register is one used in an address where its
1334    value is either multiplied by a scale factor or added to another register
1335    (as well as added to a displacement).  */
1336 #define INDEX_REG_CLASS GPR_REGS
1337
1338 /* A C expression which defines the machine-dependent operand constraint
1339    letters for register classes.  If CHAR is such a letter, the value should be
1340    the register class corresponding to it.  Otherwise, the value should be
1341    `NO_REGS'.  The register letter `r', corresponding to class `GENERAL_REGS',
1342    will not be passed to this macro; you do not need to handle it.
1343
1344    The following letters are unavailable, due to being used as
1345    constraints:
1346         '0'..'9'
1347         '<', '>'
1348         'E', 'F', 'G', 'H'
1349         'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P'
1350         'Q', 'R', 'S', 'T', 'U'
1351         'V', 'X'
1352         'g', 'i', 'm', 'n', 'o', 'p', 'r', 's' */
1353
1354 extern enum reg_class reg_class_from_letter[];
1355 #define REG_CLASS_FROM_LETTER(CHAR) reg_class_from_letter [(unsigned char)(CHAR)]
1356
1357 /* A C expression which is nonzero if register number NUM is suitable for use
1358    as a base register in operand addresses.  It may be either a suitable hard
1359    register or a pseudo register that has been allocated such a hard register.  */
1360 #define REGNO_OK_FOR_BASE_P(NUM)           \
1361   ((NUM) < FIRST_PSEUDO_REGISTER           \
1362    ? GPR_P (NUM)                           \
1363    : (reg_renumber [NUM] >= 0 && GPR_P (reg_renumber [NUM])))
1364
1365 /* A C expression which is nonzero if register number NUM is suitable for use
1366    as an index register in operand addresses.  It may be either a suitable hard
1367    register or a pseudo register that has been allocated such a hard register.
1368
1369    The difference between an index register and a base register is that the
1370    index register may be scaled.  If an address involves the sum of two
1371    registers, neither one of them scaled, then either one may be labeled the
1372    "base" and the other the "index"; but whichever labeling is used must fit
1373    the machine's constraints of which registers may serve in each capacity.
1374    The compiler will try both labelings, looking for one that is valid, and
1375    will reload one or both registers only if neither labeling works.  */
1376 #define REGNO_OK_FOR_INDEX_P(NUM)                                       \
1377   ((NUM) < FIRST_PSEUDO_REGISTER                                        \
1378    ? GPR_P (NUM)                                                        \
1379    : (reg_renumber [NUM] >= 0 && GPR_P (reg_renumber [NUM])))
1380
1381 /* A C expression that places additional restrictions on the register class to
1382    use when it is necessary to copy value X into a register in class CLASS.
1383    The value is a register class; perhaps CLASS, or perhaps another, smaller
1384    class.  On many machines, the following definition is safe:
1385
1386         #define PREFERRED_RELOAD_CLASS(X,CLASS) CLASS
1387
1388    Sometimes returning a more restrictive class makes better code.  For
1389    example, on the 68000, when X is an integer constant that is in range for a
1390    `moveq' instruction, the value of this macro is always `DATA_REGS' as long
1391    as CLASS includes the data registers.  Requiring a data register guarantees
1392    that a `moveq' will be used.
1393
1394    If X is a `const_double', by returning `NO_REGS' you can force X into a
1395    memory constant.  This is useful on certain machines where immediate
1396    floating values cannot be loaded into certain kinds of registers.
1397
1398    This declaration must be present.  */
1399 #define PREFERRED_RELOAD_CLASS(X, CLASS) CLASS
1400
1401 #define SECONDARY_INPUT_RELOAD_CLASS(CLASS, MODE, X) \
1402   frv_secondary_reload_class (CLASS, MODE, X, TRUE)
1403
1404 #define SECONDARY_OUTPUT_RELOAD_CLASS(CLASS, MODE, X) \
1405   frv_secondary_reload_class (CLASS, MODE, X, FALSE)
1406
1407 /* A C expression whose value is nonzero if pseudos that have been assigned to
1408    registers of class CLASS would likely be spilled because registers of CLASS
1409    are needed for spill registers.
1410
1411    The default value of this macro returns 1 if CLASS has exactly one register
1412    and zero otherwise.  On most machines, this default should be used.  Only
1413    define this macro to some other expression if pseudo allocated by
1414    `local-alloc.c' end up in memory because their hard registers were needed
1415    for spill registers.  If this macro returns nonzero for those classes, those
1416    pseudos will only be allocated by `global.c', which knows how to reallocate
1417    the pseudo to another register.  If there would not be another register
1418    available for reallocation, you should not change the definition of this
1419    macro since the only effect of such a definition would be to slow down
1420    register allocation.  */
1421 #define CLASS_LIKELY_SPILLED_P(CLASS) frv_class_likely_spilled_p (CLASS)
1422
1423 /* A C expression for the maximum number of consecutive registers of
1424    class CLASS needed to hold a value of mode MODE.
1425
1426    This is closely related to the macro `HARD_REGNO_NREGS'.  In fact, the value
1427    of the macro `CLASS_MAX_NREGS (CLASS, MODE)' should be the maximum value of
1428    `HARD_REGNO_NREGS (REGNO, MODE)' for all REGNO values in the class CLASS.
1429
1430    This macro helps control the handling of multiple-word values in
1431    the reload pass.
1432
1433    This declaration is required.  */
1434 #define CLASS_MAX_NREGS(CLASS, MODE) frv_class_max_nregs (CLASS, MODE)
1435
1436 #define ZERO_P(x) (x == CONST0_RTX (GET_MODE (x)))
1437
1438 /* 6 bit signed immediate.  */
1439 #define CONST_OK_FOR_I(VALUE) IN_RANGE_P(VALUE, -32, 31)
1440 /* 10 bit signed immediate.  */
1441 #define CONST_OK_FOR_J(VALUE) IN_RANGE_P(VALUE, -512, 511)
1442 /* Unused */
1443 #define CONST_OK_FOR_K(VALUE)  0
1444 /* 16 bit signed immediate.  */
1445 #define CONST_OK_FOR_L(VALUE) IN_RANGE_P(VALUE, -32768, 32767)
1446 /* 16 bit unsigned immediate.  */
1447 #define CONST_OK_FOR_M(VALUE)  IN_RANGE_P (VALUE, 0, 65535)
1448 /* 12 bit signed immediate that is negative.  */
1449 #define CONST_OK_FOR_N(VALUE) IN_RANGE_P(VALUE, -2048, -1)
1450 /* Zero */
1451 #define CONST_OK_FOR_O(VALUE) ((VALUE) == 0)
1452 /* 12 bit signed immediate that is negative.  */
1453 #define CONST_OK_FOR_P(VALUE) IN_RANGE_P(VALUE, 1, 2047)
1454
1455 /* A C expression that defines the machine-dependent operand constraint letters
1456    (`I', `J', `K', .. 'P') that specify particular ranges of integer values.
1457    If C is one of those letters, the expression should check that VALUE, an
1458    integer, is in the appropriate range and return 1 if so, 0 otherwise.  If C
1459    is not one of those letters, the value should be 0 regardless of VALUE.  */
1460 #define CONST_OK_FOR_LETTER_P(VALUE, C)         \
1461   (  (C) == 'I' ? CONST_OK_FOR_I (VALUE)        \
1462    : (C) == 'J' ? CONST_OK_FOR_J (VALUE)        \
1463    : (C) == 'K' ? CONST_OK_FOR_K (VALUE)        \
1464    : (C) == 'L' ? CONST_OK_FOR_L (VALUE)        \
1465    : (C) == 'M' ? CONST_OK_FOR_M (VALUE)        \
1466    : (C) == 'N' ? CONST_OK_FOR_N (VALUE)        \
1467    : (C) == 'O' ? CONST_OK_FOR_O (VALUE)        \
1468    : (C) == 'P' ? CONST_OK_FOR_P (VALUE)        \
1469    : 0)
1470
1471
1472 /* A C expression that defines the machine-dependent operand constraint letters
1473    (`G', `H') that specify particular ranges of `const_double' values.
1474
1475    If C is one of those letters, the expression should check that VALUE, an RTX
1476    of code `const_double', is in the appropriate range and return 1 if so, 0
1477    otherwise.  If C is not one of those letters, the value should be 0
1478    regardless of VALUE.
1479
1480    `const_double' is used for all floating-point constants and for `DImode'
1481    fixed-point constants.  A given letter can accept either or both kinds of
1482    values.  It can use `GET_MODE' to distinguish between these kinds.  */
1483
1484 #define CONST_DOUBLE_OK_FOR_G(VALUE)                                    \
1485   ((GET_MODE (VALUE) == VOIDmode                                        \
1486     && CONST_DOUBLE_LOW (VALUE) == 0                                    \
1487     && CONST_DOUBLE_HIGH (VALUE) == 0)                                  \
1488    || ((GET_MODE (VALUE) == SFmode                                      \
1489         || GET_MODE (VALUE) == DFmode)                                  \
1490        && (VALUE) == CONST0_RTX (GET_MODE (VALUE))))
1491
1492 #define CONST_DOUBLE_OK_FOR_H(VALUE) 0
1493
1494 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C)                          \
1495   (  (C) == 'G' ? CONST_DOUBLE_OK_FOR_G (VALUE)                         \
1496    : (C) == 'H' ? CONST_DOUBLE_OK_FOR_H (VALUE)                         \
1497    : 0)
1498
1499 /* A C expression that defines the optional machine-dependent constraint
1500    letters (`Q', `R', `S', `T', `U') that can be used to segregate specific
1501    types of operands, usually memory references, for the target machine.
1502    Normally this macro will not be defined.  If it is required for a particular
1503    target machine, it should return 1 if VALUE corresponds to the operand type
1504    represented by the constraint letter C.  If C is not defined as an extra
1505    constraint, the value returned should be 0 regardless of VALUE.
1506
1507    For example, on the ROMP, load instructions cannot have their output in r0
1508    if the memory reference contains a symbolic address.  Constraint letter `Q'
1509    is defined as representing a memory address that does *not* contain a
1510    symbolic address.  An alternative is specified with a `Q' constraint on the
1511    input and `r' on the output.  The next alternative specifies `m' on the
1512    input and a register class that does not include r0 on the output.  */
1513
1514 /* Small data references */
1515 #define EXTRA_CONSTRAINT_FOR_Q(VALUE)                                   \
1516   (small_data_symbolic_operand (VALUE, GET_MODE (VALUE)))
1517
1518 /* Double word memory ops that take one instruction.  */
1519 #define EXTRA_CONSTRAINT_FOR_R(VALUE)                                   \
1520   (dbl_memory_one_insn_operand (VALUE, GET_MODE (VALUE)))
1521
1522 /* SYMBOL_REF */
1523 #define EXTRA_CONSTRAINT_FOR_S(VALUE) (GET_CODE (VALUE) == SYMBOL_REF)
1524
1525 /* Double word memory ops that take two instructions.  */
1526 #define EXTRA_CONSTRAINT_FOR_T(VALUE)                                   \
1527   (dbl_memory_two_insn_operand (VALUE, GET_MODE (VALUE)))
1528
1529 /* Memory operand for conditional execution.  */
1530 #define EXTRA_CONSTRAINT_FOR_U(VALUE)                                   \
1531   (condexec_memory_operand (VALUE, GET_MODE (VALUE)))
1532
1533 #define EXTRA_CONSTRAINT(VALUE, C)                                      \
1534   (  (C) == 'Q'   ? EXTRA_CONSTRAINT_FOR_Q (VALUE)                      \
1535    : (C) == 'R' ? EXTRA_CONSTRAINT_FOR_R (VALUE)                        \
1536    : (C) == 'S' ? EXTRA_CONSTRAINT_FOR_S (VALUE)                        \
1537    : (C) == 'T' ? EXTRA_CONSTRAINT_FOR_T (VALUE)                        \
1538    : (C) == 'U' ? EXTRA_CONSTRAINT_FOR_U (VALUE)                        \
1539    : 0)
1540
1541 \f
1542 /* Basic Stack Layout.  */
1543
1544 /* Structure to describe information about a saved range of registers */
1545
1546 typedef struct frv_stack_regs {
1547   const char * name;            /* name of the register ranges */
1548   int first;                    /* first register in the range */
1549   int last;                     /* last register in the range */
1550   int size_1word;               /* # of bytes to be stored via 1 word stores */
1551   int size_2words;              /* # of bytes to be stored via 2 word stores */
1552   unsigned char field_p;        /* true if the registers are a single SPR */
1553   unsigned char dword_p;        /* true if we can do dword stores */
1554   unsigned char special_p;      /* true if the regs have a fixed save loc.  */
1555 } frv_stack_regs_t;
1556
1557 /* Register ranges to look into saving.  */
1558 #define STACK_REGS_GPR          0       /* Gprs (normally gr16..gr31, gr48..gr63) */
1559 #define STACK_REGS_FPR          1       /* Fprs (normally fr16..fr31, fr48..fr63) */
1560 #define STACK_REGS_LR           2       /* LR register */
1561 #define STACK_REGS_CC           3       /* CCrs (normally not saved) */
1562 #define STACK_REGS_LCR          5       /* lcr register */
1563 #define STACK_REGS_STDARG       6       /* stdarg registers */
1564 #define STACK_REGS_STRUCT       7       /* structure return (gr3) */
1565 #define STACK_REGS_FP           8       /* FP register */
1566 #define STACK_REGS_MAX          9       /* # of register ranges */
1567
1568 /* Values for save_p field.  */
1569 #define REG_SAVE_NO_SAVE        0       /* register not saved */
1570 #define REG_SAVE_1WORD          1       /* save the register */
1571 #define REG_SAVE_2WORDS         2       /* save register and register+1 */
1572
1573 /* Structure used to define the frv stack.  */
1574
1575 typedef struct frv_stack {
1576   int total_size;               /* total bytes allocated for stack */
1577   int vars_size;                /* variable save area size */
1578   int parameter_size;           /* outgoing parameter size */
1579   int stdarg_size;              /* size of regs needed to be saved for stdarg */
1580   int regs_size;                /* size of the saved registers */
1581   int regs_size_1word;          /* # of bytes to be stored via 1 word stores */
1582   int regs_size_2words;         /* # of bytes to be stored via 2 word stores */
1583   int header_size;              /* size of the old FP, struct ret., LR save */
1584   int pretend_size;             /* size of pretend args */
1585   int vars_offset;              /* offset to save local variables from new SP*/
1586   int regs_offset;              /* offset to save registers from new SP */
1587                                 /* register range information */
1588   frv_stack_regs_t regs[STACK_REGS_MAX];
1589                                 /* offset to store each register */
1590   int reg_offset[FIRST_PSEUDO_REGISTER];
1591                                 /* whether to save register (& reg+1) */
1592   unsigned char save_p[FIRST_PSEUDO_REGISTER];
1593 } frv_stack_t;
1594
1595 /* Define this macro if pushing a word onto the stack moves the stack pointer
1596    to a smaller address.  */
1597 #define STACK_GROWS_DOWNWARD 1
1598
1599 /* Define this macro if the addresses of local variable slots are at negative
1600    offsets from the frame pointer.  */
1601 #define FRAME_GROWS_DOWNWARD
1602
1603 /* Offset from the frame pointer to the first local variable slot to be
1604    allocated.
1605
1606    If `FRAME_GROWS_DOWNWARD', find the next slot's offset by subtracting the
1607    first slot's length from `STARTING_FRAME_OFFSET'.  Otherwise, it is found by
1608    adding the length of the first slot to the value `STARTING_FRAME_OFFSET'.  */
1609 #define STARTING_FRAME_OFFSET 0
1610
1611 /* Offset from the stack pointer register to the first location at which
1612    outgoing arguments are placed.  If not specified, the default value of zero
1613    is used.  This is the proper value for most machines.
1614
1615    If `ARGS_GROW_DOWNWARD', this is the offset to the location above the first
1616    location at which outgoing arguments are placed.  */
1617 #define STACK_POINTER_OFFSET 0
1618
1619 /* Offset from the argument pointer register to the first argument's address.
1620    On some machines it may depend on the data type of the function.
1621
1622    If `ARGS_GROW_DOWNWARD', this is the offset to the location above the first
1623    argument's address.  */
1624 #define FIRST_PARM_OFFSET(FUNDECL) 0
1625
1626 /* A C expression whose value is RTL representing the address in a stack frame
1627    where the pointer to the caller's frame is stored.  Assume that FRAMEADDR is
1628    an RTL expression for the address of the stack frame itself.
1629
1630    If you don't define this macro, the default is to return the value of
1631    FRAMEADDR--that is, the stack frame address is also the address of the stack
1632    word that points to the previous frame.  */
1633 #define DYNAMIC_CHAIN_ADDRESS(FRAMEADDR) frv_dynamic_chain_address (FRAMEADDR)
1634
1635 /* A C expression whose value is RTL representing the value of the return
1636    address for the frame COUNT steps up from the current frame, after the
1637    prologue.  FRAMEADDR is the frame pointer of the COUNT frame, or the frame
1638    pointer of the COUNT - 1 frame if `RETURN_ADDR_IN_PREVIOUS_FRAME' is
1639    defined.
1640
1641    The value of the expression must always be the correct address when COUNT is
1642    zero, but may be `NULL_RTX' if there is not way to determine the return
1643    address of other frames.  */
1644 #define RETURN_ADDR_RTX(COUNT, FRAMEADDR) frv_return_addr_rtx (COUNT, FRAMEADDR)
1645
1646 /* This function contains machine specific function data.  */
1647 struct machine_function GTY(())
1648 {
1649   /* True if we have created an rtx that relies on the stack frame.  */
1650   int frame_needed;
1651 };
1652
1653 #define RETURN_POINTER_REGNUM LR_REGNO
1654
1655 /* A C expression whose value is RTL representing the location of the incoming
1656    return address at the beginning of any function, before the prologue.  This
1657    RTL is either a `REG', indicating that the return value is saved in `REG',
1658    or a `MEM' representing a location in the stack.
1659
1660    You only need to define this macro if you want to support call frame
1661    debugging information like that provided by DWARF 2.  */
1662 #define INCOMING_RETURN_ADDR_RTX gen_rtx_REG (SImode, RETURN_POINTER_REGNUM)
1663
1664 \f
1665 /* Register That Address the Stack Frame.  */
1666
1667 /* The register number of the stack pointer register, which must also be a
1668    fixed register according to `FIXED_REGISTERS'.  On most machines, the
1669    hardware determines which register this is.  */
1670 #define STACK_POINTER_REGNUM (GPR_FIRST + 1)
1671
1672 /* The register number of the frame pointer register, which is used to access
1673    automatic variables in the stack frame.  On some machines, the hardware
1674    determines which register this is.  On other machines, you can choose any
1675    register you wish for this purpose.  */
1676 #define FRAME_POINTER_REGNUM (GPR_FIRST + 2)
1677
1678 /* The register number of the arg pointer register, which is used to access the
1679    function's argument list.  On some machines, this is the same as the frame
1680    pointer register.  On some machines, the hardware determines which register
1681    this is.  On other machines, you can choose any register you wish for this
1682    purpose.  If this is not the same register as the frame pointer register,
1683    then you must mark it as a fixed register according to `FIXED_REGISTERS', or
1684    arrange to be able to eliminate it.  */
1685
1686 /* On frv this is a fake register that is eliminated in
1687    terms of either the frame pointer or stack pointer.  */
1688 #define ARG_POINTER_REGNUM AP_FIRST
1689
1690 /* Register numbers used for passing a function's static chain pointer.  If
1691    register windows are used, the register number as seen by the called
1692    function is `STATIC_CHAIN_INCOMING_REGNUM', while the register number as
1693    seen by the calling function is `STATIC_CHAIN_REGNUM'.  If these registers
1694    are the same, `STATIC_CHAIN_INCOMING_REGNUM' need not be defined.
1695
1696    The static chain register need not be a fixed register.
1697
1698    If the static chain is passed in memory, these macros should not be defined;
1699    instead, the next two macros should be defined.  */
1700 #define STATIC_CHAIN_REGNUM (GPR_FIRST + 7)
1701 #define STATIC_CHAIN_INCOMING_REGNUM (GPR_FIRST + 7)
1702
1703 \f
1704 /* Eliminating the Frame Pointer and the Arg Pointer.  */
1705
1706 /* A C expression which is nonzero if a function must have and use a frame
1707    pointer.  This expression is evaluated in the reload pass.  If its value is
1708    nonzero the function will have a frame pointer.
1709
1710    The expression can in principle examine the current function and decide
1711    according to the facts, but on most machines the constant 0 or the constant
1712    1 suffices.  Use 0 when the machine allows code to be generated with no
1713    frame pointer, and doing so saves some time or space.  Use 1 when there is
1714    no possible advantage to avoiding a frame pointer.
1715
1716    In certain cases, the compiler does not know how to produce valid code
1717    without a frame pointer.  The compiler recognizes those cases and
1718    automatically gives the function a frame pointer regardless of what
1719    `FRAME_POINTER_REQUIRED' says.  You don't need to worry about them.
1720
1721    In a function that does not require a frame pointer, the frame pointer
1722    register can be allocated for ordinary usage, unless you mark it as a fixed
1723    register.  See `FIXED_REGISTERS' for more information.  */
1724 #define FRAME_POINTER_REQUIRED frv_frame_pointer_required ()
1725
1726 /* If defined, this macro specifies a table of register pairs used to eliminate
1727    unneeded registers that point into the stack frame.  If it is not defined,
1728    the only elimination attempted by the compiler is to replace references to
1729    the frame pointer with references to the stack pointer.
1730
1731    The definition of this macro is a list of structure initializations, each of
1732    which specifies an original and replacement register.
1733
1734    On some machines, the position of the argument pointer is not known until
1735    the compilation is completed.  In such a case, a separate hard register must
1736    be used for the argument pointer.  This register can be eliminated by
1737    replacing it with either the frame pointer or the argument pointer,
1738    depending on whether or not the frame pointer has been eliminated.
1739
1740    In this case, you might specify:
1741         #define ELIMINABLE_REGS  \
1742         {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
1743          {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \
1744          {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
1745
1746    Note that the elimination of the argument pointer with the stack pointer is
1747    specified first since that is the preferred elimination.  */
1748
1749 #define ELIMINABLE_REGS                                                 \
1750 {                                                                       \
1751   {ARG_POINTER_REGNUM,   STACK_POINTER_REGNUM},                         \
1752   {ARG_POINTER_REGNUM,   FRAME_POINTER_REGNUM},                         \
1753   {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}                          \
1754 }
1755
1756 /* A C expression that returns nonzero if the compiler is allowed to try to
1757    replace register number FROM with register number TO.  This macro need only
1758    be defined if `ELIMINABLE_REGS' is defined, and will usually be the constant
1759    1, since most of the cases preventing register elimination are things that
1760    the compiler already knows about.  */
1761
1762 #define CAN_ELIMINATE(FROM, TO)                                         \
1763   ((FROM) == ARG_POINTER_REGNUM && (TO) == STACK_POINTER_REGNUM         \
1764    ? ! frame_pointer_needed                                             \
1765    : 1)
1766
1767 /* This macro is similar to `INITIAL_FRAME_POINTER_OFFSET'.  It specifies the
1768    initial difference between the specified pair of registers.  This macro must
1769    be defined if `ELIMINABLE_REGS' is defined.  */
1770
1771 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET)                    \
1772   (OFFSET) = frv_initial_elimination_offset (FROM, TO)
1773
1774 \f
1775 /* Passing Function Arguments on the Stack.  */
1776
1777 /* If defined, the maximum amount of space required for outgoing arguments will
1778    be computed and placed into the variable
1779    `current_function_outgoing_args_size'.  No space will be pushed onto the
1780    stack for each call; instead, the function prologue should increase the
1781    stack frame size by this amount.
1782
1783    Defining both `PUSH_ROUNDING' and `ACCUMULATE_OUTGOING_ARGS' is not
1784    proper.  */
1785 #define ACCUMULATE_OUTGOING_ARGS 1
1786
1787 /* A C expression that should indicate the number of bytes of its own arguments
1788    that a function pops on returning, or 0 if the function pops no arguments
1789    and the caller must therefore pop them all after the function returns.
1790
1791    FUNDECL is a C variable whose value is a tree node that describes the
1792    function in question.  Normally it is a node of type `FUNCTION_DECL' that
1793    describes the declaration of the function.  From this it is possible to
1794    obtain the DECL_ATTRIBUTES of the function.
1795
1796    FUNTYPE is a C variable whose value is a tree node that describes the
1797    function in question.  Normally it is a node of type `FUNCTION_TYPE' that
1798    describes the data type of the function.  From this it is possible to obtain
1799    the data types of the value and arguments (if known).
1800
1801    When a call to a library function is being considered, FUNTYPE will contain
1802    an identifier node for the library function.  Thus, if you need to
1803    distinguish among various library functions, you can do so by their names.
1804    Note that "library function" in this context means a function used to
1805    perform arithmetic, whose name is known specially in the compiler and was
1806    not mentioned in the C code being compiled.
1807
1808    STACK-SIZE is the number of bytes of arguments passed on the stack.  If a
1809    variable number of bytes is passed, it is zero, and argument popping will
1810    always be the responsibility of the calling function.
1811
1812    On the VAX, all functions always pop their arguments, so the definition of
1813    this macro is STACK-SIZE.  On the 68000, using the standard calling
1814    convention, no functions pop their arguments, so the value of the macro is
1815    always 0 in this case.  But an alternative calling convention is available
1816    in which functions that take a fixed number of arguments pop them but other
1817    functions (such as `printf') pop nothing (the caller pops all).  When this
1818    convention is in use, FUNTYPE is examined to determine whether a function
1819    takes a fixed number of arguments.  */
1820 #define RETURN_POPS_ARGS(FUNDECL, FUNTYPE, STACK_SIZE) 0
1821
1822 \f
1823 /* Function Arguments in Registers.  */
1824
1825 /* Nonzero if we do not know how to pass TYPE solely in registers.
1826    We cannot do so in the following cases:
1827
1828    - if the type has variable size
1829    - if the type is marked as addressable (it is required to be constructed
1830      into the stack)
1831    - if the type is a structure or union.  */
1832
1833 #define MUST_PASS_IN_STACK(MODE,TYPE)                           \
1834    (((MODE) == BLKmode)                                         \
1835     || ((TYPE) != 0                                             \
1836          && (TREE_CODE (TYPE_SIZE (TYPE)) != INTEGER_CST        \
1837              || TREE_CODE (TYPE) == RECORD_TYPE                 \
1838              || TREE_CODE (TYPE) == UNION_TYPE                  \
1839              || TREE_CODE (TYPE) == QUAL_UNION_TYPE             \
1840              || TREE_ADDRESSABLE (TYPE))))
1841
1842 /* The number of register assigned to holding function arguments.  */
1843
1844 #define FRV_NUM_ARG_REGS        6
1845
1846 /* A C expression that controls whether a function argument is passed in a
1847    register, and which register.
1848
1849    The arguments are CUM, of type CUMULATIVE_ARGS, which summarizes (in a way
1850    defined by INIT_CUMULATIVE_ARGS and FUNCTION_ARG_ADVANCE) all of the previous
1851    arguments so far passed in registers; MODE, the machine mode of the argument;
1852    TYPE, the data type of the argument as a tree node or 0 if that is not known
1853    (which happens for C support library functions); and NAMED, which is 1 for an
1854    ordinary argument and 0 for nameless arguments that correspond to `...' in the
1855    called function's prototype.
1856
1857    The value of the expression should either be a `reg' RTX for the hard
1858    register in which to pass the argument, or zero to pass the argument on the
1859    stack.
1860
1861    For machines like the VAX and 68000, where normally all arguments are
1862    pushed, zero suffices as a definition.
1863
1864    The usual way to make the ANSI library `stdarg.h' work on a machine where
1865    some arguments are usually passed in registers, is to cause nameless
1866    arguments to be passed on the stack instead.  This is done by making
1867    `FUNCTION_ARG' return 0 whenever NAMED is 0.
1868
1869    You may use the macro `MUST_PASS_IN_STACK (MODE, TYPE)' in the definition of
1870    this macro to determine if this argument is of a type that must be passed in
1871    the stack.  If `REG_PARM_STACK_SPACE' is not defined and `FUNCTION_ARG'
1872    returns nonzero for such an argument, the compiler will abort.  If
1873    `REG_PARM_STACK_SPACE' is defined, the argument will be computed in the
1874    stack and then loaded into a register.  */
1875 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED)                    \
1876   frv_function_arg (&CUM, MODE, TYPE, NAMED, FALSE)
1877
1878 /* Define this macro if the target machine has "register windows", so that the
1879    register in which a function sees an arguments is not necessarily the same
1880    as the one in which the caller passed the argument.
1881
1882    For such machines, `FUNCTION_ARG' computes the register in which the caller
1883    passes the value, and `FUNCTION_INCOMING_ARG' should be defined in a similar
1884    fashion to tell the function being called where the arguments will arrive.
1885
1886    If `FUNCTION_INCOMING_ARG' is not defined, `FUNCTION_ARG' serves both
1887    purposes.  */
1888
1889 #define FUNCTION_INCOMING_ARG(CUM, MODE, TYPE, NAMED)                   \
1890   frv_function_arg (&CUM, MODE, TYPE, NAMED, TRUE)
1891
1892 /* A C expression for the number of words, at the beginning of an argument,
1893    must be put in registers.  The value must be zero for arguments that are
1894    passed entirely in registers or that are entirely pushed on the stack.
1895
1896    On some machines, certain arguments must be passed partially in registers
1897    and partially in memory.  On these machines, typically the first N words of
1898    arguments are passed in registers, and the rest on the stack.  If a
1899    multi-word argument (a `double' or a structure) crosses that boundary, its
1900    first few words must be passed in registers and the rest must be pushed.
1901    This macro tells the compiler when this occurs, and how many of the words
1902    should go in registers.
1903
1904    `FUNCTION_ARG' for these arguments should return the first register to be
1905    used by the caller for this argument; likewise `FUNCTION_INCOMING_ARG', for
1906    the called function.  */
1907 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED)              \
1908   frv_function_arg_partial_nregs (&CUM, MODE, TYPE, NAMED)
1909
1910 /* extern int frv_function_arg_partial_nregs PARAMS ((CUMULATIVE_ARGS, int, Tree, int));  */
1911
1912 /* A C expression that indicates when an argument must be passed by reference.
1913    If nonzero for an argument, a copy of that argument is made in memory and a
1914    pointer to the argument is passed instead of the argument itself.  The
1915    pointer is passed in whatever way is appropriate for passing a pointer to
1916    that type.
1917
1918    On machines where `REG_PARM_STACK_SPACE' is not defined, a suitable
1919    definition of this macro might be
1920         #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED)  \
1921           MUST_PASS_IN_STACK (MODE, TYPE)  */
1922 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED)          \
1923   frv_function_arg_pass_by_reference (&CUM, MODE, TYPE, NAMED)
1924
1925 /* If defined, a C expression that indicates when it is the called function's
1926    responsibility to make a copy of arguments passed by invisible reference.
1927    Normally, the caller makes a copy and passes the address of the copy to the
1928    routine being called.  When FUNCTION_ARG_CALLEE_COPIES is defined and is
1929    nonzero, the caller does not make a copy.  Instead, it passes a pointer to
1930    the "live" value.  The called function must not modify this value.  If it
1931    can be determined that the value won't be modified, it need not make a copy;
1932    otherwise a copy must be made.  */
1933 #define FUNCTION_ARG_CALLEE_COPIES(CUM, MODE, TYPE, NAMED)              \
1934   frv_function_arg_callee_copies (&CUM, MODE, TYPE, NAMED)
1935
1936 /* If defined, a C expression that indicates when it is more desirable to keep
1937    an argument passed by invisible reference as a reference, rather than
1938    copying it to a pseudo register.  */
1939 #define FUNCTION_ARG_KEEP_AS_REFERENCE(CUM, MODE, TYPE, NAMED)          \
1940   frv_function_arg_keep_as_reference (&CUM, MODE, TYPE, NAMED)
1941
1942 /* A C type for declaring a variable that is used as the first argument of
1943    `FUNCTION_ARG' and other related values.  For some target machines, the type
1944    `int' suffices and can hold the number of bytes of argument so far.
1945
1946    There is no need to record in `CUMULATIVE_ARGS' anything about the arguments
1947    that have been passed on the stack.  The compiler has other variables to
1948    keep track of that.  For target machines on which all arguments are passed
1949    on the stack, there is no need to store anything in `CUMULATIVE_ARGS';
1950    however, the data structure must exist and should not be empty, so use
1951    `int'.  */
1952 #define CUMULATIVE_ARGS int
1953
1954 /* A C statement (sans semicolon) for initializing the variable CUM for the
1955    state at the beginning of the argument list.  The variable has type
1956    `CUMULATIVE_ARGS'.  The value of FNTYPE is the tree node for the data type
1957    of the function which will receive the args, or 0 if the args are to a
1958    compiler support library function.  The value of INDIRECT is nonzero when
1959    processing an indirect call, for example a call through a function pointer.
1960    The value of INDIRECT is zero for a call to an explicitly named function, a
1961    library function call, or when `INIT_CUMULATIVE_ARGS' is used to find
1962    arguments for the function being compiled.
1963
1964    When processing a call to a compiler support library function, LIBNAME
1965    identifies which one.  It is a `symbol_ref' rtx which contains the name of
1966    the function, as a string.  LIBNAME is 0 when an ordinary C function call is
1967    being processed.  Thus, each time this macro is called, either LIBNAME or
1968    FNTYPE is nonzero, but never both of them at once.  */
1969
1970 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT) \
1971   frv_init_cumulative_args (&CUM, FNTYPE, LIBNAME, INDIRECT, FALSE)
1972
1973 /* Like `INIT_CUMULATIVE_ARGS' but overrides it for the purposes of finding the
1974    arguments for the function being compiled.  If this macro is undefined,
1975    `INIT_CUMULATIVE_ARGS' is used instead.
1976
1977    The value passed for LIBNAME is always 0, since library routines with
1978    special calling conventions are never compiled with GNU CC.  The argument
1979    LIBNAME exists for symmetry with `INIT_CUMULATIVE_ARGS'.  */
1980
1981 #define INIT_CUMULATIVE_INCOMING_ARGS(CUM, FNTYPE, LIBNAME) \
1982   frv_init_cumulative_args (&CUM, FNTYPE, LIBNAME, FALSE, TRUE)
1983
1984 /* A C statement (sans semicolon) to update the summarizer variable CUM to
1985    advance past an argument in the argument list.  The values MODE, TYPE and
1986    NAMED describe that argument.  Once this is done, the variable CUM is
1987    suitable for analyzing the *following* argument with `FUNCTION_ARG', etc.
1988
1989    This macro need not do anything if the argument in question was passed on
1990    the stack.  The compiler knows how to track the amount of stack space used
1991    for arguments without any special help.  */
1992 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED)                    \
1993   frv_function_arg_advance (&CUM, MODE, TYPE, NAMED)
1994
1995 /* If defined, a C expression that gives the alignment boundary, in bits, of an
1996    argument with the specified mode and type.  If it is not defined,
1997    `PARM_BOUNDARY' is used for all arguments.  */
1998
1999 #define FUNCTION_ARG_BOUNDARY(MODE, TYPE) \
2000   frv_function_arg_boundary (MODE, TYPE)
2001
2002 /* A C expression that is nonzero if REGNO is the number of a hard register in
2003    which function arguments are sometimes passed.  This does *not* include
2004    implicit arguments such as the static chain and the structure-value address.
2005    On many machines, no registers can be used for this purpose since all
2006    function arguments are pushed on the stack.  */
2007 #define FUNCTION_ARG_REGNO_P(REGNO) \
2008   ((REGNO) >= FIRST_ARG_REGNUM && ((REGNO) <= LAST_ARG_REGNUM))
2009
2010 \f
2011 /* How Scalar Function Values are Returned.  */
2012
2013 /* The number of the hard register that is used to return a scalar value from a
2014    function call.  */
2015 #define RETURN_VALUE_REGNUM     (GPR_FIRST + 8)
2016
2017 /* A C expression to create an RTX representing the place where a function
2018    returns a value of data type VALTYPE.  VALTYPE is a tree node representing a
2019    data type.  Write `TYPE_MODE (VALTYPE)' to get the machine mode used to
2020    represent that type.  On many machines, only the mode is relevant.
2021    (Actually, on most machines, scalar values are returned in the same place
2022    regardless of mode).
2023
2024    If `PROMOTE_FUNCTION_RETURN' is defined, you must apply the same promotion
2025    rules specified in `PROMOTE_MODE' if VALTYPE is a scalar type.
2026
2027    If the precise function being called is known, FUNC is a tree node
2028    (`FUNCTION_DECL') for it; otherwise, FUNC is a null pointer.  This makes it
2029    possible to use a different value-returning convention for specific
2030    functions when all their calls are known.
2031
2032    `FUNCTION_VALUE' is not used for return vales with aggregate data types,
2033    because these are returned in another way.  See `STRUCT_VALUE_REGNUM' and
2034    related macros, below.  */
2035 #define FUNCTION_VALUE(VALTYPE, FUNC) \
2036   gen_rtx (REG, TYPE_MODE (VALTYPE), RETURN_VALUE_REGNUM)
2037
2038 /* A C expression to create an RTX representing the place where a library
2039    function returns a value of mode MODE.
2040
2041    Note that "library function" in this context means a compiler support
2042    routine, used to perform arithmetic, whose name is known specially by the
2043    compiler and was not mentioned in the C code being compiled.
2044
2045    The definition of `LIBRARY_VALUE' need not be concerned aggregate data
2046    types, because none of the library functions returns such types.  */
2047 #define LIBCALL_VALUE(MODE) gen_rtx (REG, MODE, RETURN_VALUE_REGNUM)
2048
2049 /* A C expression that is nonzero if REGNO is the number of a hard register in
2050    which the values of called function may come back.
2051
2052    A register whose use for returning values is limited to serving as the
2053    second of a pair (for a value of type `double', say) need not be recognized
2054    by this macro.  So for most machines, this definition suffices:
2055
2056         #define FUNCTION_VALUE_REGNO_P(N) ((N) == RETURN)
2057
2058    If the machine has register windows, so that the caller and the called
2059    function use different registers for the return value, this macro should
2060    recognize only the caller's register numbers.  */
2061 #define FUNCTION_VALUE_REGNO_P(REGNO) ((REGNO) == RETURN_VALUE_REGNUM)
2062
2063 \f
2064 /* How Large Values are Returned.  */
2065
2066 /* If the structure value address is passed in a register, then
2067    `STRUCT_VALUE_REGNUM' should be the number of that register.  */
2068 #define STRUCT_VALUE_REGNUM (GPR_FIRST + 3)
2069
2070 \f
2071 /* Function Entry and Exit.  */
2072
2073 /* Define this macro as a C expression that is nonzero if the return
2074    instruction or the function epilogue ignores the value of the stack pointer;
2075    in other words, if it is safe to delete an instruction to adjust the stack
2076    pointer before a return from the function.
2077
2078    Note that this macro's value is relevant only for functions for which frame
2079    pointers are maintained.  It is never safe to delete a final stack
2080    adjustment in a function that has no frame pointer, and the compiler knows
2081    this regardless of `EXIT_IGNORE_STACK'.  */
2082 #define EXIT_IGNORE_STACK 1
2083
2084 /* A C compound statement that outputs the assembler code for a thunk function,
2085    used to implement C++ virtual function calls with multiple inheritance.  The
2086    thunk acts as a wrapper around a virtual function, adjusting the implicit
2087    object parameter before handing control off to the real function.
2088
2089    First, emit code to add the integer DELTA to the location that contains the
2090    incoming first argument.  Assume that this argument contains a pointer, and
2091    is the one used to pass the `this' pointer in C++.  This is the incoming
2092    argument *before* the function prologue, e.g. `%o0' on a sparc.  The
2093    addition must preserve the values of all other incoming arguments.
2094
2095    After the addition, emit code to jump to FUNCTION, which is a
2096    `FUNCTION_DECL'.  This is a direct pure jump, not a call, and does not touch
2097    the return address.  Hence returning from FUNCTION will return to whoever
2098    called the current `thunk'.
2099
2100    The effect must be as if FUNCTION had been called directly with the adjusted
2101    first argument.  This macro is responsible for emitting all of the code for
2102    a thunk function; `FUNCTION_PROLOGUE' and `FUNCTION_EPILOGUE' are not
2103    invoked.
2104
2105    The THUNK_FNDECL is redundant.  (DELTA and FUNCTION have already been
2106    extracted from it.)  It might possibly be useful on some targets, but
2107    probably not.
2108
2109    If you do not define this macro, the target-independent code in the C++
2110    frontend will generate a less efficient heavyweight thunk that calls
2111    FUNCTION instead of jumping to it.  The generic approach does not support
2112    varargs.  */
2113 #define TARGET_ASM_OUTPUT_MI_THUNK frv_asm_output_mi_thunk
2114
2115 \f
2116 /* Generating Code for Profiling.  */
2117
2118 /* A C statement or compound statement to output to FILE some assembler code to
2119    call the profiling subroutine `mcount'.  Before calling, the assembler code
2120    must load the address of a counter variable into a register where `mcount'
2121    expects to find the address.  The name of this variable is `LP' followed by
2122    the number LABELNO, so you would generate the name using `LP%d' in a
2123    `fprintf'.
2124
2125    The details of how the address should be passed to `mcount' are determined
2126    by your operating system environment, not by GNU CC.  To figure them out,
2127    compile a small program for profiling using the system's installed C
2128    compiler and look at the assembler code that results.
2129
2130    This declaration must be present, but it can be an abort if profiling is
2131    not implemented.  */
2132
2133 #define FUNCTION_PROFILER(FILE, LABELNO) abort ()
2134
2135 \f
2136 /* Implementing the Varargs Macros.  */
2137
2138 /* If defined, is a C expression that produces the machine-specific code for a
2139    call to `__builtin_saveregs'.  This code will be moved to the very beginning
2140    of the function, before any parameter access are made.  The return value of
2141    this function should be an RTX that contains the value to use as the return
2142    of `__builtin_saveregs'.
2143
2144    If this macro is not defined, the compiler will output an ordinary call to
2145    the library function `__builtin_saveregs'.  */
2146
2147 #define EXPAND_BUILTIN_SAVEREGS() frv_expand_builtin_saveregs ()
2148
2149 /* This macro offers an alternative to using `__builtin_saveregs' and defining
2150    the macro `EXPAND_BUILTIN_SAVEREGS'.  Use it to store the anonymous register
2151    arguments into the stack so that all the arguments appear to have been
2152    passed consecutively on the stack.  Once this is done, you can use the
2153    standard implementation of varargs that works for machines that pass all
2154    their arguments on the stack.
2155
2156    The argument ARGS_SO_FAR is the `CUMULATIVE_ARGS' data structure, containing
2157    the values that obtain after processing of the named arguments.  The
2158    arguments MODE and TYPE describe the last named argument--its machine mode
2159    and its data type as a tree node.
2160
2161    The macro implementation should do two things: first, push onto the stack
2162    all the argument registers *not* used for the named arguments, and second,
2163    store the size of the data thus pushed into the `int'-valued variable whose
2164    name is supplied as the argument PRETEND_ARGS_SIZE.  The value that you
2165    store here will serve as additional offset for setting up the stack frame.
2166
2167    Because you must generate code to push the anonymous arguments at compile
2168    time without knowing their data types, `SETUP_INCOMING_VARARGS' is only
2169    useful on machines that have just a single category of argument register and
2170    use it uniformly for all data types.
2171
2172    If the argument SECOND_TIME is nonzero, it means that the arguments of the
2173    function are being analyzed for the second time.  This happens for an inline
2174    function, which is not actually compiled until the end of the source file.
2175    The macro `SETUP_INCOMING_VARARGS' should not generate any instructions in
2176    this case.  */
2177 #define SETUP_INCOMING_VARARGS(ARGS_SO_FAR, MODE, TYPE, PRETEND_ARGS_SIZE, SECOND_TIME) \
2178   frv_setup_incoming_varargs (& ARGS_SO_FAR, (int) MODE, TYPE,  \
2179                               & PRETEND_ARGS_SIZE, SECOND_TIME)
2180
2181 /* Implement the stdarg/varargs va_start macro.  STDARG_P is nonzero if this
2182    is stdarg.h instead of varargs.h.  VALIST is the tree of the va_list
2183    variable to initialize.  NEXTARG is the machine independent notion of the
2184    'next' argument after the variable arguments.  If not defined, a standard
2185    implementation will be defined that works for arguments passed on the stack.  */
2186
2187 #define EXPAND_BUILTIN_VA_START(VALIST, NEXTARG)                \
2188   (frv_expand_builtin_va_start(VALIST, NEXTARG))
2189
2190 /* Implement the stdarg/varargs va_arg macro.  VALIST is the variable of type
2191    va_list as a tree, TYPE is the type passed to va_arg.  */
2192
2193 #define EXPAND_BUILTIN_VA_ARG(VALIST, TYPE)                             \
2194   (frv_expand_builtin_va_arg (VALIST, TYPE))
2195
2196 \f
2197 /* Trampolines for Nested Functions.  */
2198
2199 /* A C expression for the size in bytes of the trampoline, as an integer.  */
2200 #define TRAMPOLINE_SIZE frv_trampoline_size ()
2201
2202 /* Alignment required for trampolines, in bits.
2203
2204    If you don't define this macro, the value of `BIGGEST_ALIGNMENT' is used for
2205    aligning trampolines.  */
2206 #define TRAMPOLINE_ALIGNMENT 32
2207
2208 /* A C statement to initialize the variable parts of a trampoline.  ADDR is an
2209    RTX for the address of the trampoline; FNADDR is an RTX for the address of
2210    the nested function; STATIC_CHAIN is an RTX for the static chain value that
2211    should be passed to the function when it is called.  */
2212 #define INITIALIZE_TRAMPOLINE(ADDR, FNADDR, STATIC_CHAIN) \
2213   frv_initialize_trampoline (ADDR, FNADDR, STATIC_CHAIN)
2214
2215 /* Define this macro if trampolines need a special subroutine to do their work.
2216    The macro should expand to a series of `asm' statements which will be
2217    compiled with GNU CC.  They go in a library function named
2218    `__transfer_from_trampoline'.
2219
2220    If you need to avoid executing the ordinary prologue code of a compiled C
2221    function when you jump to the subroutine, you can do so by placing a special
2222    label of your own in the assembler code.  Use one `asm' statement to
2223    generate an assembler label, and another to make the label global.  Then
2224    trampolines can use that label to jump directly to your special assembler
2225    code.  */
2226
2227 #ifdef __FRV_UNDERSCORE__
2228 #define TRAMPOLINE_TEMPLATE_NAME "___trampoline_template"
2229 #else
2230 #define TRAMPOLINE_TEMPLATE_NAME "__trampoline_template"
2231 #endif
2232
2233 #define TRANSFER_FROM_TRAMPOLINE                                        \
2234 extern int _write (int, const void *, unsigned);                        \
2235                                                                         \
2236 void                                                                    \
2237 __trampoline_setup (addr, size, fnaddr, sc)                             \
2238      short * addr;                                                      \
2239      int size;                                                          \
2240      int fnaddr;                                                        \
2241      int sc;                                                            \
2242 {                                                                       \
2243   extern short __trampoline_template[];                                 \
2244   short * to = addr;                                                    \
2245   short * from = &__trampoline_template[0];                             \
2246   int i;                                                                \
2247                                                                         \
2248   if (size < 20)                                                        \
2249     {                                                                   \
2250       _write (2, "__trampoline_setup bad size\n",                       \
2251               sizeof ("__trampoline_setup bad size\n") - 1);            \
2252       exit (-1);                                                        \
2253     }                                                                   \
2254                                                                         \
2255   to[0] = from[0];                                                      \
2256   to[1] = (short)(fnaddr);                                              \
2257   to[2] = from[2];                                                      \
2258   to[3] = (short)(sc);                                                  \
2259   to[4] = from[4];                                                      \
2260   to[5] = (short)(fnaddr >> 16);                                        \
2261   to[6] = from[6];                                                      \
2262   to[7] = (short)(sc >> 16);                                            \
2263   to[8] = from[8];                                                      \
2264   to[9] = from[9];                                                      \
2265                                                                         \
2266   for (i = 0; i < 20; i++)                                              \
2267     __asm__ volatile ("dcf @(%0,%1)\n\tici @(%0,%1)" :: "r" (to), "r" (i)); \
2268 }                                                                       \
2269                                                                         \
2270 __asm__("\n"                                                            \
2271         "\t.globl " TRAMPOLINE_TEMPLATE_NAME "\n"                       \
2272         "\t.text\n"                                                     \
2273         TRAMPOLINE_TEMPLATE_NAME ":\n"                                  \
2274         "\tsetlos #0, gr6\n"    /* jump register */                     \
2275         "\tsetlos #0, gr7\n"    /* static chain */                      \
2276         "\tsethi #0, gr6\n"                                             \
2277         "\tsethi #0, gr7\n"                                             \
2278         "\tjmpl @(gr0,gr6)\n");
2279
2280 \f
2281 /* Implicit Calls to Library Routines.  */
2282
2283 /* A C string constant giving the name of the function to call for the
2284    remainder in division of one signed full-word by another.  If you do not
2285    define this macro, the default name is used, which is `__modsi3', a function
2286    defined in `libgcc.a'.  */
2287 #define MODSI3_LIBCALL "__modi"
2288
2289 /* A C string constant giving the name of the function to call for the
2290    remainder in division of one unsigned full-word by another.  If you do not
2291    define this macro, the default name is used, which is `__umodsi3', a
2292    function defined in `libgcc.a'.  */
2293 #define UMODSI3_LIBCALL "__umodi"
2294
2295 /* A C string constant giving the name of the function to call for
2296    multiplication of one signed double-word by another.  If you do not define
2297    this macro, the default name is used, which is `__muldi3', a function
2298    defined in `libgcc.a'.  */
2299 #define MULDI3_LIBCALL "__mulll"
2300
2301 /* A C string constant giving the name of the function to call for division of
2302    one signed double-word by another.  If you do not define this macro, the
2303    default name is used, which is `__divdi3', a function defined in `libgcc.a'.  */
2304 #define DIVDI3_LIBCALL "__divll"
2305
2306 /* A C string constant giving the name of the function to call for division of
2307    one unsigned full-word by another.  If you do not define this macro, the
2308    default name is used, which is `__udivdi3', a function defined in
2309    `libgcc.a'.  */
2310 #define UDIVDI3_LIBCALL "__udivll"
2311
2312 /* A C string constant giving the name of the function to call for the
2313    remainder in division of one signed double-word by another.  If you do not
2314    define this macro, the default name is used, which is `__moddi3', a function
2315    defined in `libgcc.a'.  */
2316 #define MODDI3_LIBCALL "__modll"
2317
2318 /* A C string constant giving the name of the function to call for the
2319    remainder in division of one unsigned full-word by another.  If you do not
2320    define this macro, the default name is used, which is `__umoddi3', a
2321    function defined in `libgcc.a'.  */
2322 #define UMODDI3_LIBCALL "__umodll"
2323
2324 /* Define this macro as a C statement that declares additional library routines
2325    renames existing ones. `init_optabs' calls this macro after initializing all
2326    the normal library routines.  */
2327 #define INIT_TARGET_OPTABS                                      \
2328   do                                                            \
2329     {                                                           \
2330       add_optab->handlers [(int) DImode].libfunc                \
2331         = init_one_libfunc ("__addll");                         \
2332       sub_optab->handlers [(int) DImode].libfunc                \
2333         = init_one_libfunc ("__subll");                         \
2334       and_optab->handlers [(int) DImode].libfunc                \
2335         = init_one_libfunc ("__andll");                         \
2336       ior_optab->handlers [(int) DImode].libfunc                \
2337         = init_one_libfunc ("__orll");                          \
2338       xor_optab->handlers [(int) DImode].libfunc                \
2339         = init_one_libfunc ("__xorll");                         \
2340       one_cmpl_optab->handlers [(int) DImode].libfunc           \
2341         = init_one_libfunc ("__notll");                         \
2342       add_optab->handlers [(int) SFmode].libfunc                \
2343         = init_one_libfunc ("__addf");                          \
2344       sub_optab->handlers [(int) SFmode].libfunc                \
2345         = init_one_libfunc ("__subf");                          \
2346       smul_optab->handlers [(int) SFmode].libfunc               \
2347         = init_one_libfunc ("__mulf");                          \
2348       sdiv_optab->handlers [(int) SFmode].libfunc               \
2349         = init_one_libfunc ("__divf");                          \
2350       add_optab->handlers [(int) DFmode].libfunc                \
2351         = init_one_libfunc ("__addd");                          \
2352       sub_optab->handlers [(int) DFmode].libfunc                \
2353         = init_one_libfunc ("__subd");                          \
2354       smul_optab->handlers [(int) DFmode].libfunc               \
2355         = init_one_libfunc ("__muld");                          \
2356       sdiv_optab->handlers [(int) DFmode].libfunc               \
2357         = init_one_libfunc ("__divd");                          \
2358       fixsfsi_libfunc = init_one_libfunc ("__ftoi");            \
2359       fixunssfsi_libfunc = init_one_libfunc ("__ftoui");        \
2360       fixsfdi_libfunc = init_one_libfunc ("__ftoll");           \
2361       fixunssfdi_libfunc = init_one_libfunc ("__ftoull");       \
2362       fixdfsi_libfunc = init_one_libfunc ("__dtoi");            \
2363       fixunsdfsi_libfunc = init_one_libfunc ("__dtoui");        \
2364       fixdfdi_libfunc = init_one_libfunc ("__dtoll");           \
2365       fixunsdfdi_libfunc = init_one_libfunc ("__dtoull");       \
2366       floatsisf_libfunc = init_one_libfunc ("__itof");          \
2367       floatdisf_libfunc = init_one_libfunc ("__lltof");         \
2368       floatsidf_libfunc = init_one_libfunc ("__itod");          \
2369       floatdidf_libfunc = init_one_libfunc ("__lltod");         \
2370       extendsfdf2_libfunc = init_one_libfunc ("__ftod");        \
2371       truncdfsf2_libfunc = init_one_libfunc ("__dtof");         \
2372     }                                                           \
2373   while (0)
2374
2375 \f
2376 /* Addressing Modes.  */
2377
2378 /* A C expression that is 1 if the RTX X is a constant which is a valid
2379    address.  On most machines, this can be defined as `CONSTANT_P (X)', but a
2380    few machines are more restrictive in which constant addresses are supported.
2381
2382    `CONSTANT_P' accepts integer-values expressions whose values are not
2383    explicitly known, such as `symbol_ref', `label_ref', and `high' expressions
2384    and `const' arithmetic expressions, in addition to `const_int' and
2385    `const_double' expressions.  */
2386 #define CONSTANT_ADDRESS_P(X) CONSTANT_P (X)
2387
2388 /* A number, the maximum number of registers that can appear in a valid memory
2389    address.  Note that it is up to you to specify a value equal to the maximum
2390    number that `GO_IF_LEGITIMATE_ADDRESS' would ever accept.  */
2391 #define MAX_REGS_PER_ADDRESS 2
2392
2393 /* A C compound statement with a conditional `goto LABEL;' executed if X (an
2394    RTX) is a legitimate memory address on the target machine for a memory
2395    operand of mode MODE.
2396
2397    It usually pays to define several simpler macros to serve as subroutines for
2398    this one.  Otherwise it may be too complicated to understand.
2399
2400    This macro must exist in two variants: a strict variant and a non-strict
2401    one.  The strict variant is used in the reload pass.  It must be defined so
2402    that any pseudo-register that has not been allocated a hard register is
2403    considered a memory reference.  In contexts where some kind of register is
2404    required, a pseudo-register with no hard register must be rejected.
2405
2406    The non-strict variant is used in other passes.  It must be defined to
2407    accept all pseudo-registers in every context where some kind of register is
2408    required.
2409
2410    Compiler source files that want to use the strict variant of this macro
2411    define the macro `REG_OK_STRICT'.  You should use an `#ifdef REG_OK_STRICT'
2412    conditional to define the strict variant in that case and the non-strict
2413    variant otherwise.
2414
2415    Subroutines to check for acceptable registers for various purposes (one for
2416    base registers, one for index registers, and so on) are typically among the
2417    subroutines used to define `GO_IF_LEGITIMATE_ADDRESS'.  Then only these
2418    subroutine macros need have two variants; the higher levels of macros may be
2419    the same whether strict or not.
2420
2421    Normally, constant addresses which are the sum of a `symbol_ref' and an
2422    integer are stored inside a `const' RTX to mark them as constant.
2423    Therefore, there is no need to recognize such sums specifically as
2424    legitimate addresses.  Normally you would simply recognize any `const' as
2425    legitimate.
2426
2427    Usually `PRINT_OPERAND_ADDRESS' is not prepared to handle constant sums that
2428    are not marked with `const'.  It assumes that a naked `plus' indicates
2429    indexing.  If so, then you *must* reject such naked constant sums as
2430    illegitimate addresses, so that none of them will be given to
2431    `PRINT_OPERAND_ADDRESS'.
2432
2433    On some machines, whether a symbolic address is legitimate depends on the
2434    section that the address refers to.  On these machines, define the macro
2435    `ENCODE_SECTION_INFO' to store the information into the `symbol_ref', and
2436    then check for it here.  When you see a `const', you will have to look
2437    inside it to find the `symbol_ref' in order to determine the section.
2438
2439    The best way to modify the name string is by adding text to the beginning,
2440    with suitable punctuation to prevent any ambiguity.  Allocate the new name
2441    in `saveable_obstack'.  You will have to modify `ASM_OUTPUT_LABELREF' to
2442    remove and decode the added text and output the name accordingly, and define
2443    `(* targetm.strip_name_encoding)' to access the original name string.
2444
2445    You can check the information stored here into the `symbol_ref' in the
2446    definitions of the macros `GO_IF_LEGITIMATE_ADDRESS' and
2447    `PRINT_OPERAND_ADDRESS'.  */
2448
2449 #ifdef REG_OK_STRICT
2450 #define REG_OK_STRICT_P 1
2451 #else
2452 #define REG_OK_STRICT_P 0
2453 #endif
2454
2455 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, LABEL)                        \
2456   do                                                                    \
2457     {                                                                   \
2458       if (frv_legitimate_address_p (MODE, X, REG_OK_STRICT_P, FALSE))   \
2459         goto LABEL;                                                     \
2460     }                                                                   \
2461   while (0)
2462
2463 /* A C expression that is nonzero if X (assumed to be a `reg' RTX) is valid for
2464    use as a base register.  For hard registers, it should always accept those
2465    which the hardware permits and reject the others.  Whether the macro accepts
2466    or rejects pseudo registers must be controlled by `REG_OK_STRICT' as
2467    described above.  This usually requires two variant definitions, of which
2468    `REG_OK_STRICT' controls the one actually used.  */
2469 #ifdef REG_OK_STRICT
2470 #define REG_OK_FOR_BASE_P(X) GPR_P (REGNO (X))
2471 #else
2472 #define REG_OK_FOR_BASE_P(X) GPR_AP_OR_PSEUDO_P (REGNO (X))
2473 #endif
2474
2475 /* A C expression that is nonzero if X (assumed to be a `reg' RTX) is valid for
2476    use as an index register.
2477
2478    The difference between an index register and a base register is that the
2479    index register may be scaled.  If an address involves the sum of two
2480    registers, neither one of them scaled, then either one may be labeled the
2481    "base" and the other the "index"; but whichever labeling is used must fit
2482    the machine's constraints of which registers may serve in each capacity.
2483    The compiler will try both labelings, looking for one that is valid, and
2484    will reload one or both registers only if neither labeling works.  */
2485 #define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
2486
2487 /* A C compound statement that attempts to replace X with a valid memory
2488    address for an operand of mode MODE.  WIN will be a C statement label
2489    elsewhere in the code; the macro definition may use
2490
2491         GO_IF_LEGITIMATE_ADDRESS (MODE, X, WIN);
2492
2493    to avoid further processing if the address has become legitimate.
2494
2495    X will always be the result of a call to `break_out_memory_refs', and OLDX
2496    will be the operand that was given to that function to produce X.
2497
2498    The code generated by this macro should not alter the substructure of X.  If
2499    it transforms X into a more legitimate form, it should assign X (which will
2500    always be a C variable) a new value.
2501
2502    It is not necessary for this macro to come up with a legitimate address.
2503    The compiler has standard ways of doing so in all cases.  In fact, it is
2504    safe for this macro to do nothing.  But often a machine-dependent strategy
2505    can generate better code.  */
2506
2507 /* On the FRV, we use it to convert small data and pic references into using
2508    the appropriate pointer in the address.  */
2509 #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN)                  \
2510   do                                                            \
2511     {                                                           \
2512       rtx newx = frv_legitimize_address (X, OLDX, MODE);        \
2513                                                                 \
2514       if (newx)                                                 \
2515         {                                                       \
2516           (X) = newx;                                           \
2517           goto WIN;                                             \
2518         }                                                       \
2519     }                                                           \
2520   while (0)
2521
2522 /* A C statement or compound statement with a conditional `goto LABEL;'
2523    executed if memory address X (an RTX) can have different meanings depending
2524    on the machine mode of the memory reference it is used for or if the address
2525    is valid for some modes but not others.
2526
2527    Autoincrement and autodecrement addresses typically have mode-dependent
2528    effects because the amount of the increment or decrement is the size of the
2529    operand being addressed.  Some machines have other mode-dependent addresses.
2530    Many RISC machines have no mode-dependent addresses.
2531
2532    You may assume that ADDR is a valid address for the machine.  */
2533 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR, LABEL)
2534
2535 /* A C expression that is nonzero if X is a legitimate constant for an
2536    immediate operand on the target machine.  You can assume that X satisfies
2537    `CONSTANT_P', so you need not check this.  In fact, `1' is a suitable
2538    definition for this macro on machines where anything `CONSTANT_P' is valid.  */
2539 #define LEGITIMATE_CONSTANT_P(X) frv_legitimate_constant_p (X)
2540
2541 /* The load-and-update commands allow pre-modification in addresses.
2542    The index has to be in a register.  */
2543 #define HAVE_PRE_MODIFY_REG 1
2544
2545 \f
2546 /* Returns a mode from class `MODE_CC' to be used when comparison operation
2547    code OP is applied to rtx X and Y.  For example, on the SPARC,
2548    `SELECT_CC_MODE' is defined as (see *note Jump Patterns::.  for a
2549    description of the reason for this definition)
2550
2551         #define SELECT_CC_MODE(OP,X,Y) \
2552           (GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT          \
2553            ? ((OP == EQ || OP == NE) ? CCFPmode : CCFPEmode)    \
2554            : ((GET_CODE (X) == PLUS || GET_CODE (X) == MINUS    \
2555                || GET_CODE (X) == NEG) \
2556               ? CC_NOOVmode : CCmode))
2557
2558    You need not define this macro if `EXTRA_CC_MODES' is not defined.  */
2559 #define SELECT_CC_MODE(OP, X, Y)                                        \
2560   (GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT                          \
2561    ? CC_FPmode                                                          \
2562    : (((OP) == LEU || (OP) == GTU || (OP) == LTU || (OP) == GEU)        \
2563       ? CC_UNSmode                                                      \
2564       : CCmode))
2565
2566 /* A C expression whose value is one if it is always safe to reverse a
2567    comparison whose mode is MODE.  If `SELECT_CC_MODE' can ever return MODE for
2568    a floating-point inequality comparison, then `REVERSIBLE_CC_MODE (MODE)'
2569    must be zero.
2570
2571    You need not define this macro if it would always returns zero or if the
2572    floating-point format is anything other than `IEEE_FLOAT_FORMAT'.  For
2573    example, here is the definition used on the SPARC, where floating-point
2574    inequality comparisons are always given `CCFPEmode':
2575
2576         #define REVERSIBLE_CC_MODE(MODE)  ((MODE) != CCFPEmode)  */
2577
2578 /* On frv, don't consider floating point comparisons to be reversible.  In
2579    theory, fp equality comparisons can be reversible */
2580 #define REVERSIBLE_CC_MODE(MODE) ((MODE) == CCmode || (MODE) == CC_UNSmode)
2581
2582 /* Frv CCR_MODE's are not reversible.  */
2583 #define REVERSE_CONDEXEC_PREDICATES_P(x,y)      0
2584
2585 \f
2586 /* Describing Relative Costs of Operations.  */
2587
2588 /* A part of a C `switch' statement that describes the relative costs of
2589    constant RTL expressions.  It must contain `case' labels for expression
2590    codes `const_int', `const', `symbol_ref', `label_ref' and `const_double'.
2591    Each case must ultimately reach a `return' statement to return the relative
2592    cost of the use of that kind of constant value in an expression.  The cost
2593    may depend on the precise value of the constant, which is available for
2594    examination in X, and the rtx code of the expression in which it is
2595    contained, found in OUTER_CODE.
2596
2597    CODE is the expression code--redundant, since it can be obtained with
2598    `GET_CODE (X)'.  */
2599 #define CONST_COSTS(X, CODE, OUTER_CODE)                                \
2600   case CONST:                                                           \
2601   case LABEL_REF:                                                       \
2602   case SYMBOL_REF:                                                      \
2603   case CONST_DOUBLE:                                                    \
2604     return COSTS_N_INSNS (2);                                           \
2605                                                                         \
2606   case CONST_INT:                                                       \
2607     /* Make 12 bit integers really cheap */                             \
2608     return IN_RANGE_P (INTVAL (X), -2048, 2047) ? 0 : COSTS_N_INSNS (2); \
2609
2610 /* Like `CONST_COSTS' but applies to nonconstant RTL expressions.  This can be
2611    used, for example, to indicate how costly a multiply instruction is.  In
2612    writing this macro, you can use the construct `COSTS_N_INSNS (N)' to specify
2613    a cost equal to N fast instructions.  OUTER_CODE is the code of the
2614    expression in which X is contained.
2615
2616    This macro is optional; do not define it if the default cost assumptions are
2617    adequate for the target machine.  */
2618 #define RTX_COSTS(X, CODE, OUTER_CODE)                                  \
2619   case PLUS:                                                            \
2620   case MINUS:                                                           \
2621   case AND:                                                             \
2622   case IOR:                                                             \
2623   case XOR:                                                             \
2624   case ASHIFT:                                                          \
2625   case ASHIFTRT:                                                        \
2626   case LSHIFTRT:                                                        \
2627   case NOT:                                                             \
2628   case NEG:                                                             \
2629   case COMPARE:                                                         \
2630     if (GET_MODE (X) == SImode)                                         \
2631       return COSTS_N_INSNS (1);                                         \
2632     else if (GET_MODE (X) == DImode)                                    \
2633       return COSTS_N_INSNS (2);                                         \
2634     else                                                                \
2635       return COSTS_N_INSNS (3); /* guess */                             \
2636                                                                         \
2637   case MULT:                                                            \
2638     if (GET_MODE (X) == SImode)                                         \
2639       return COSTS_N_INSNS (2);                                         \
2640     else                                                                \
2641       return COSTS_N_INSNS (6); /* guess */                             \
2642                                                                         \
2643   case DIV:                                                             \
2644   case UDIV:                                                            \
2645     return COSTS_N_INSNS (18);
2646
2647 /* A C expression for the cost of moving data from a register in class FROM to
2648    one in class TO.  The classes are expressed using the enumeration values
2649    such as `GENERAL_REGS'.  A value of 4 is the default; other values are
2650    interpreted relative to that.
2651
2652    It is not required that the cost always equal 2 when FROM is the same as TO;
2653    on some machines it is expensive to move between registers if they are not
2654    general registers.
2655
2656    If reload sees an insn consisting of a single `set' between two hard
2657    registers, and if `REGISTER_MOVE_COST' applied to their classes returns a
2658    value of 2, reload does not check to ensure that the constraints of the insn
2659    are met.  Setting a cost of other than 2 will allow reload to verify that
2660    the constraints are met.  You should do this if the `movM' pattern's
2661    constraints do not allow such copying.  */
2662 #define REGISTER_MOVE_COST(MODE, FROM, TO) frv_register_move_cost (FROM, TO)
2663
2664 /* A C expression for the cost of moving data of mode M between a register and
2665    memory.  A value of 2 is the default; this cost is relative to those in
2666    `REGISTER_MOVE_COST'.
2667
2668    If moving between registers and memory is more expensive than between two
2669    registers, you should define this macro to express the relative cost.  */
2670 #define MEMORY_MOVE_COST(M,C,I) 4
2671
2672 /* A C expression for the cost of a branch instruction.  A value of 1 is the
2673    default; other values are interpreted relative to that.  */
2674
2675 /* Here are additional macros which do not specify precise relative costs, but
2676    only that certain actions are more expensive than GNU CC would ordinarily
2677    expect.  */
2678
2679 /* We used to default the branch cost to 2, but I changed it to 1, to avoid
2680    generating SCC instructions and or/and-ing them together, and then doing the
2681    branch on the result, which collectively generate much worse code.  */
2682 #ifndef DEFAULT_BRANCH_COST
2683 #define DEFAULT_BRANCH_COST 1
2684 #endif
2685
2686 #define BRANCH_COST frv_branch_cost_int
2687
2688 /* Define this macro as a C expression which is nonzero if accessing less than
2689    a word of memory (i.e. a `char' or a `short') is no faster than accessing a
2690    word of memory, i.e., if such access require more than one instruction or if
2691    there is no difference in cost between byte and (aligned) word loads.
2692
2693    When this macro is not defined, the compiler will access a field by finding
2694    the smallest containing object; when it is defined, a fullword load will be
2695    used if alignment permits.  Unless bytes accesses are faster than word
2696    accesses, using word accesses is preferable since it may eliminate
2697    subsequent memory access if subsequent accesses occur to other fields in the
2698    same word of the structure, but to different bytes.  */
2699 #define SLOW_BYTE_ACCESS 1
2700
2701 /* Define this macro if it is as good or better to call a constant function
2702    address than to call an address kept in a register.  */
2703 #define NO_FUNCTION_CSE
2704
2705 /* Define this macro if it is as good or better for a function to call itself
2706    with an explicit address than to call an address kept in a register.  */
2707 #define NO_RECURSIVE_FUNCTION_CSE
2708
2709 \f
2710 /* Dividing the output into sections.  */
2711
2712 /* A C expression whose value is a string containing the assembler operation
2713    that should precede instructions and read-only data.  Normally `".text"' is
2714    right.  */
2715 #define TEXT_SECTION_ASM_OP "\t.text"
2716
2717 /* A C expression whose value is a string containing the assembler operation to
2718    identify the following data as writable initialized data.  Normally
2719    `".data"' is right.  */
2720 #define DATA_SECTION_ASM_OP "\t.data"
2721
2722 /* If defined, a C expression whose value is a string containing the
2723    assembler operation to identify the following data as
2724    uninitialized global data.  If not defined, and neither
2725    `ASM_OUTPUT_BSS' nor `ASM_OUTPUT_ALIGNED_BSS' are defined,
2726    uninitialized global data will be output in the data section if
2727    `-fno-common' is passed, otherwise `ASM_OUTPUT_COMMON' will be
2728    used.  */
2729 #define BSS_SECTION_ASM_OP "\t.section .bss,\"aw\""
2730
2731 /* Short Data Support */
2732 #define SDATA_SECTION_ASM_OP    "\t.section .sdata,\"aw\""
2733 #define SBSS_SECTION_ASM_OP     "\t.section .sbss,\"aw\""
2734
2735 /* On svr4, we *do* have support for the .init and .fini sections, and we
2736    can put stuff in there to be executed before and after `main'.  We let
2737    crtstuff.c and other files know this by defining the following symbols.
2738    The definitions say how to change sections to the .init and .fini
2739    sections.  This is the same for all known svr4 assemblers.
2740
2741    The standard System V.4 macros will work, but they look ugly in the
2742    assembly output, so redefine them.  */
2743
2744 #undef  INIT_SECTION_ASM_OP
2745 #undef  FINI_SECTION_ASM_OP
2746 #define INIT_SECTION_ASM_OP     "\t.section .init,\"ax\""
2747 #define FINI_SECTION_ASM_OP     "\t.section .fini,\"ax\""
2748
2749 /* A C expression whose value is a string containing the assembler operation to
2750    switch to the fixup section that records all initialized pointers in a -fpic
2751    program so they can be changed program startup time if the program is loaded
2752    at a different address than linked for.  */
2753 #define FIXUP_SECTION_ASM_OP    "\t.section .rofixup,\"a\""
2754
2755 /* A list of names for sections other than the standard two, which are
2756    `in_text' and `in_data'.  You need not define this macro
2757    on a system with no other sections (that GCC needs to use).  */
2758 #undef  EXTRA_SECTIONS
2759 #define EXTRA_SECTIONS in_sdata, in_sbss, in_const, in_fixup
2760
2761 /* One or more functions to be defined in "varasm.c".  These
2762    functions should do jobs analogous to those of `text_section' and
2763    `data_section', for your additional sections.  Do not define this
2764    macro if you do not define `EXTRA_SECTIONS'.  */
2765 #undef  EXTRA_SECTION_FUNCTIONS
2766 #define EXTRA_SECTION_FUNCTIONS                                         \
2767 SDATA_SECTION_FUNCTION                                                  \
2768 SBSS_SECTION_FUNCTION                                                   \
2769 FIXUP_SECTION_FUNCTION
2770
2771
2772 #define SDATA_SECTION_FUNCTION                                          \
2773 void                                                                    \
2774 sdata_section ()                                                        \
2775 {                                                                       \
2776   if (in_section != in_sdata)                                           \
2777     {                                                                   \
2778       fprintf (asm_out_file, "%s\n", SDATA_SECTION_ASM_OP);             \
2779       in_section = in_sdata;                                            \
2780     }                                                                   \
2781 }                                                                       \
2782
2783 #define SBSS_SECTION_FUNCTION                                           \
2784 void                                                                    \
2785 sbss_section ()                                                         \
2786 {                                                                       \
2787   if (in_section != in_sbss)                                            \
2788     {                                                                   \
2789       fprintf (asm_out_file, "%s\n", SBSS_SECTION_ASM_OP);              \
2790       in_section = in_sbss;                                             \
2791     }                                                                   \
2792 }                                                                       \
2793
2794 #define FIXUP_SECTION_FUNCTION                                          \
2795 void                                                                    \
2796 fixup_section ()                                                        \
2797 {                                                                       \
2798   if (in_section != in_fixup)                                           \
2799     {                                                                   \
2800       fprintf (asm_out_file, "%s\n", FIXUP_SECTION_ASM_OP);             \
2801       in_section = in_fixup;                                            \
2802     }                                                                   \
2803 }                                                                       \
2804
2805 #define SDATA_FLAG_CHAR '@'
2806
2807 #define SDATA_NAME_P(NAME) (*(NAME) == SDATA_FLAG_CHAR)
2808 \f
2809 /* Position Independent Code.  */
2810
2811 /* A C expression that is nonzero if X is a legitimate immediate operand on the
2812    target machine when generating position independent code.  You can assume
2813    that X satisfies `CONSTANT_P', so you need not check this.  You can also
2814    assume FLAG_PIC is true, so you need not check it either.  You need not
2815    define this macro if all constants (including `SYMBOL_REF') can be immediate
2816    operands when generating position independent code.  */
2817 #define LEGITIMATE_PIC_OPERAND_P(X)                                     \
2818   (   GET_CODE (X) == CONST_INT                                         \
2819    || GET_CODE (X) == CONST_DOUBLE                                      \
2820    || (GET_CODE (X) == HIGH && GET_CODE (XEXP (X, 0)) == CONST_INT)     \
2821    || GET_CODE (X) == CONSTANT_P_RTX)
2822
2823 \f
2824 /* The Overall Framework of an Assembler File.  */
2825
2826 /* A C string constant describing how to begin a comment in the target
2827    assembler language.  The compiler assumes that the comment will end at the
2828    end of the line.  */
2829 #define ASM_COMMENT_START ";"
2830
2831 /* A C string constant for text to be output before each `asm' statement or
2832    group of consecutive ones.  Normally this is `"#APP"', which is a comment
2833    that has no effect on most assemblers but tells the GNU assembler that it
2834    must check the lines that follow for all valid assembler constructs.  */
2835 #define ASM_APP_ON "#APP\n"
2836
2837 /* A C string constant for text to be output after each `asm' statement or
2838    group of consecutive ones.  Normally this is `"#NO_APP"', which tells the
2839    GNU assembler to resume making the time-saving assumptions that are valid
2840    for ordinary compiler output.  */
2841 #define ASM_APP_OFF "#NO_APP\n"
2842
2843 \f
2844 /* Output of Data.  */
2845
2846 /* This is how to output a label to dwarf/dwarf2.  */
2847 #define ASM_OUTPUT_DWARF_ADDR(STREAM, LABEL)                            \
2848 do {                                                                    \
2849   fprintf (STREAM, "\t.picptr\t");                                      \
2850   assemble_name (STREAM, LABEL);                                        \
2851 } while (0)
2852
2853 /* Whether to emit the gas specific dwarf2 line number support.  */
2854 #define DWARF2_ASM_LINE_DEBUG_INFO (TARGET_DEBUG_LOC)
2855 \f
2856 /* Output of Uninitialized Variables.  */
2857
2858 /* A C statement (sans semicolon) to output to the stdio stream STREAM the
2859    assembler definition of a local-common-label named NAME whose size is SIZE
2860    bytes.  The variable ROUNDED is the size rounded up to whatever alignment
2861    the caller wants.
2862
2863    Use the expression `assemble_name (STREAM, NAME)' to output the name itself;
2864    before and after that, output the additional assembler syntax for defining
2865    the name, and a newline.
2866
2867    This macro controls how the assembler definitions of uninitialized static
2868    variables are output.  */
2869 #undef ASM_OUTPUT_LOCAL
2870
2871 /* Like `ASM_OUTPUT_LOCAL' except takes the required alignment as a separate,
2872    explicit argument.  If you define this macro, it is used in place of
2873    `ASM_OUTPUT_LOCAL', and gives you more flexibility in handling the required
2874    alignment of the variable.  The alignment is specified as the number of
2875    bits.
2876
2877    Defined in svr4.h.  */
2878 #undef ASM_OUTPUT_ALIGNED_LOCAL
2879
2880 /* This is for final.c, because it is used by ASM_DECLARE_OBJECT_NAME.  */
2881 extern int size_directive_output;
2882
2883 /* Like `ASM_OUTPUT_ALIGNED_LOCAL' except that it takes an additional
2884    parameter - the DECL of variable to be output, if there is one.
2885    This macro can be called with DECL == NULL_TREE.  If you define
2886    this macro, it is used in place of `ASM_OUTPUT_LOCAL' and
2887    `ASM_OUTPUT_ALIGNED_LOCAL', and gives you more flexibility in
2888    handling the destination of the variable.  */
2889 #undef ASM_OUTPUT_ALIGNED_DECL_LOCAL
2890 #define ASM_OUTPUT_ALIGNED_DECL_LOCAL(STREAM, DECL, NAME, SIZE, ALIGN)  \
2891 do {                                                                    \
2892   if (SDATA_NAME_P (NAME))                                              \
2893     sbss_section ();                                                    \
2894   else                                                                  \
2895      bss_section ();                                                    \
2896   ASM_OUTPUT_ALIGN (STREAM, floor_log2 ((ALIGN) / BITS_PER_UNIT));      \
2897   ASM_DECLARE_OBJECT_NAME (STREAM, NAME, DECL);                         \
2898   ASM_OUTPUT_SKIP (STREAM, (SIZE) ? (SIZE) : 1);                        \
2899 } while (0)
2900
2901 \f
2902 /* Output and Generation of Labels.  */
2903
2904 /* A C statement (sans semicolon) to output to the stdio stream STREAM the
2905    assembler definition of a label named NAME.  Use the expression
2906    `assemble_name (STREAM, NAME)' to output the name itself; before and after
2907    that, output the additional assembler syntax for defining the name, and a
2908    newline.  */
2909 #define ASM_OUTPUT_LABEL(STREAM, NAME)                                  \
2910 do {                                                                    \
2911   assemble_name (STREAM, NAME);                                         \
2912   fputs (":\n", STREAM);                                                \
2913 } while (0)
2914
2915 /* Globalizing directive for a label.  */
2916 #define GLOBAL_ASM_OP "\t.globl "
2917
2918 /* A C statement (sans semicolon) to output to the stdio stream STREAM a
2919    reference in assembler syntax to a label named NAME.  This should add `_' to
2920    the front of the name, if that is customary on your operating system, as it
2921    is in most Berkeley Unix systems.  This macro is used in `assemble_name'.  */
2922 #undef ASM_OUTPUT_LABELREF
2923 #define ASM_OUTPUT_LABELREF(STREAM, NAME)                               \
2924 do {                                                                    \
2925   const char *_name = (NAME);                                           \
2926   while (*_name == '*' || *_name == SDATA_FLAG_CHAR)                    \
2927     _name++;                                                            \
2928   asm_fprintf (STREAM, "%U%s", _name);                                  \
2929 } while (0)
2930
2931 /* A C statement to store into the string STRING a label whose name is made
2932    from the string PREFIX and the number NUM.
2933
2934    This string, when output subsequently by `assemble_name', should produce the
2935    output that `ASM_OUTPUT_INTERNAL_LABEL' would produce with the same PREFIX
2936    and NUM.
2937
2938    If the string begins with `*', then `assemble_name' will output the rest of
2939    the string unchanged.  It is often convenient for
2940    `ASM_GENERATE_INTERNAL_LABEL' to use `*' in this way.  If the string doesn't
2941    start with `*', then `ASM_OUTPUT_LABELREF' gets to output the string, and
2942    may change it.  (Of course, `ASM_OUTPUT_LABELREF' is also part of your
2943    machine description, so you should know what it does on your machine.)
2944
2945    Defined in svr4.h.  */
2946 #undef ASM_GENERATE_INTERNAL_LABEL
2947 #define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM)                 \
2948 do {                                                                    \
2949   sprintf (LABEL, "*.%s%ld", PREFIX, (long)NUM);                        \
2950 } while (0)
2951
2952 /* A C expression to assign to OUTVAR (which is a variable of type `char *') a
2953    newly allocated string made from the string NAME and the number NUMBER, with
2954    some suitable punctuation added.  Use `alloca' to get space for the string.
2955
2956    The string will be used as an argument to `ASM_OUTPUT_LABELREF' to produce
2957    an assembler label for an internal static variable whose name is NAME.
2958    Therefore, the string must be such as to result in valid assembler code.
2959    The argument NUMBER is different each time this macro is executed; it
2960    prevents conflicts between similarly-named internal static variables in
2961    different scopes.
2962
2963    Ideally this string should not be a valid C identifier, to prevent any
2964    conflict with the user's own symbols.  Most assemblers allow periods or
2965    percent signs in assembler symbols; putting at least one of these between
2966    the name and the number will suffice.  */
2967 #define ASM_FORMAT_PRIVATE_NAME(OUTVAR, NAME, NUMBER)                   \
2968 do {                                                                    \
2969   (OUTVAR) = (char *) alloca (strlen ((NAME)) + 12);                    \
2970   sprintf ((OUTVAR), "%s.%ld", (NAME), (long)(NUMBER));                 \
2971 } while (0)
2972
2973 \f
2974 /* Macros Controlling Initialization Routines.  */
2975
2976 /* If defined, a C string constant for the assembler operation to identify the
2977    following data as initialization code.  If not defined, GNU CC will assume
2978    such a section does not exist.  When you are using special sections for
2979    initialization and termination functions, this macro also controls how
2980    `crtstuff.c' and `libgcc2.c' arrange to run the initialization functions.
2981
2982    Defined in svr4.h.  */
2983 #undef INIT_SECTION_ASM_OP
2984
2985 /* If defined, `main' will call `__main' despite the presence of
2986    `INIT_SECTION_ASM_OP'.  This macro should be defined for systems where the
2987    init section is not actually run automatically, but is still useful for
2988    collecting the lists of constructors and destructors.  */
2989 #define INVOKE__main
2990
2991 /* Output appropriate code tp call a static constructor.  */
2992 #undef  ASM_OUTPUT_CONSTRUCTOR
2993 #define ASM_OUTPUT_CONSTRUCTOR(STREAM,NAME)                             \
2994 do {                                                                    \
2995   ctors_section ();                                                     \
2996   fprintf (STREAM, "\t.picptr\t");                                      \
2997   assemble_name (STREAM, NAME);                                         \
2998   fprintf (STREAM, "\n");                                                       \
2999 } while (0)
3000
3001 /* Output appropriate code tp call a static destructor.  */
3002 #undef  ASM_OUTPUT_DESTRUCTOR
3003 #define ASM_OUTPUT_DESTRUCTOR(STREAM,NAME)                              \
3004 do {                                                                    \
3005   dtors_section ();                                                     \
3006   fprintf (STREAM, "\t.picptr\t");                                      \
3007   assemble_name (STREAM, NAME);                                         \
3008   fprintf (STREAM, "\n");                                                       \
3009 } while (0)
3010
3011 \f
3012 /* Output of Assembler Instructions.  */
3013
3014 /* A C initializer containing the assembler's names for the machine registers,
3015    each one as a C string constant.  This is what translates register numbers
3016    in the compiler into assembler language.  */
3017 #define REGISTER_NAMES                                                  \
3018 {                                                                       \
3019  "gr0",  "sp",   "fp",   "gr3",  "gr4",  "gr5",  "gr6",  "gr7",         \
3020   "gr8",  "gr9",  "gr10", "gr11", "gr12", "gr13", "gr14", "gr15",       \
3021   "gr16", "gr17", "gr18", "gr19", "gr20", "gr21", "gr22", "gr23",       \
3022   "gr24", "gr25", "gr26", "gr27", "gr28", "gr29", "gr30", "gr31",       \
3023   "gr32", "gr33", "gr34", "gr35", "gr36", "gr37", "gr38", "gr39",       \
3024   "gr40", "gr41", "gr42", "gr43", "gr44", "gr45", "gr46", "gr47",       \
3025   "gr48", "gr49", "gr50", "gr51", "gr52", "gr53", "gr54", "gr55",       \
3026   "gr56", "gr57", "gr58", "gr59", "gr60", "gr61", "gr62", "gr63",       \
3027                                                                         \
3028   "fr0",  "fr1",  "fr2",  "fr3",  "fr4",  "fr5",  "fr6",  "fr7",        \
3029   "fr8",  "fr9",  "fr10", "fr11", "fr12", "fr13", "fr14", "fr15",       \
3030   "fr16", "fr17", "fr18", "fr19", "fr20", "fr21", "fr22", "fr23",       \
3031   "fr24", "fr25", "fr26", "fr27", "fr28", "fr29", "fr30", "fr31",       \
3032   "fr32", "fr33", "fr34", "fr35", "fr36", "fr37", "fr38", "fr39",       \
3033   "fr40", "fr41", "fr42", "fr43", "fr44", "fr45", "fr46", "fr47",       \
3034   "fr48", "fr49", "fr50", "fr51", "fr52", "fr53", "fr54", "fr55",       \
3035   "fr56", "fr57", "fr58", "fr59", "fr60", "fr61", "fr62", "fr63",       \
3036                                                                         \
3037   "fcc0", "fcc1", "fcc2", "fcc3", "icc0", "icc1", "icc2", "icc3",       \
3038   "cc0",  "cc1",  "cc2",  "cc3",  "cc4",  "cc5",  "cc6",  "cc7",        \
3039   "acc0", "acc1", "acc2", "acc3", "acc4", "acc5", "acc6", "acc7",       \
3040   "accg0","accg1","accg2","accg3","accg4","accg5","accg6","accg7",      \
3041   "ap",   "lr",   "lcr"                                                 \
3042 }
3043
3044 /* Define this macro if you are using an unusual assembler that
3045    requires different names for the machine instructions.
3046
3047    The definition is a C statement or statements which output an
3048    assembler instruction opcode to the stdio stream STREAM.  The
3049    macro-operand PTR is a variable of type `char *' which points to
3050    the opcode name in its "internal" form--the form that is written
3051    in the machine description.  The definition should output the
3052    opcode name to STREAM, performing any translation you desire, and
3053    increment the variable PTR to point at the end of the opcode so
3054    that it will not be output twice.
3055
3056    In fact, your macro definition may process less than the entire
3057    opcode name, or more than the opcode name; but if you want to
3058    process text that includes `%'-sequences to substitute operands,
3059    you must take care of the substitution yourself.  Just be sure to
3060    increment PTR over whatever text should not be output normally.
3061
3062    If you need to look at the operand values, they can be found as the
3063    elements of `recog_operand'.
3064
3065    If the macro definition does nothing, the instruction is output in
3066    the usual way.  */
3067
3068 #define ASM_OUTPUT_OPCODE(STREAM, PTR)\
3069    (PTR) = frv_asm_output_opcode (STREAM, PTR)
3070
3071 /* If defined, a C statement to be executed just prior to the output
3072    of assembler code for INSN, to modify the extracted operands so
3073    they will be output differently.
3074
3075    Here the argument OPVEC is the vector containing the operands
3076    extracted from INSN, and NOPERANDS is the number of elements of
3077    the vector which contain meaningful data for this insn.  The
3078    contents of this vector are what will be used to convert the insn
3079    template into assembler code, so you can change the assembler
3080    output by changing the contents of the vector.
3081
3082    This macro is useful when various assembler syntaxes share a single
3083    file of instruction patterns; by defining this macro differently,
3084    you can cause a large class of instructions to be output
3085    differently (such as with rearranged operands).  Naturally,
3086    variations in assembler syntax affecting individual insn patterns
3087    ought to be handled by writing conditional output routines in
3088    those patterns.
3089
3090    If this macro is not defined, it is equivalent to a null statement.  */
3091
3092 #define FINAL_PRESCAN_INSN(INSN, OPVEC, NOPERANDS)\
3093   frv_final_prescan_insn (INSN, OPVEC, NOPERANDS)
3094
3095
3096 /* A C compound statement to output to stdio stream STREAM the assembler syntax
3097    for an instruction operand X.  X is an RTL expression.
3098
3099    CODE is a value that can be used to specify one of several ways of printing
3100    the operand.  It is used when identical operands must be printed differently
3101    depending on the context.  CODE comes from the `%' specification that was
3102    used to request printing of the operand.  If the specification was just
3103    `%DIGIT' then CODE is 0; if the specification was `%LTR DIGIT' then CODE is
3104    the ASCII code for LTR.
3105
3106    If X is a register, this macro should print the register's name.  The names
3107    can be found in an array `reg_names' whose type is `char *[]'.  `reg_names'
3108    is initialized from `REGISTER_NAMES'.
3109
3110    When the machine description has a specification `%PUNCT' (a `%' followed by
3111    a punctuation character), this macro is called with a null pointer for X and
3112    the punctuation character for CODE.  */
3113 #define PRINT_OPERAND(STREAM, X, CODE) frv_print_operand (STREAM, X, CODE)
3114
3115 /* A C expression which evaluates to true if CODE is a valid punctuation
3116    character for use in the `PRINT_OPERAND' macro.  If
3117    `PRINT_OPERAND_PUNCT_VALID_P' is not defined, it means that no punctuation
3118    characters (except for the standard one, `%') are used in this way.  */
3119 /* . == gr0
3120    # == hint operand -- always zero for now
3121    @ == small data base register (gr16)
3122    ~ == pic register (gr17)
3123    * == temporary integer CCR register (cr3)
3124    & == temporary integer ICC register (icc3)  */
3125 #define PRINT_OPERAND_PUNCT_VALID_P(CODE)                               \
3126 ((CODE) == '.' || (CODE) == '#' || (CODE) == SDATA_FLAG_CHAR || (CODE) == '~'   \
3127  || (CODE) == '*' || (CODE) == '&')
3128
3129 /* A C compound statement to output to stdio stream STREAM the assembler syntax
3130    for an instruction operand that is a memory reference whose address is X.  X
3131    is an RTL expression.
3132
3133    On some machines, the syntax for a symbolic address depends on the section
3134    that the address refers to.  On these machines, define the macro
3135    `ENCODE_SECTION_INFO' to store the information into the `symbol_ref', and
3136    then check for it here.
3137
3138    This declaration must be present.  */
3139 #define PRINT_OPERAND_ADDRESS(STREAM, X) frv_print_operand_address (STREAM, X)
3140
3141 /* If defined, C string expressions to be used for the `%R', `%L', `%U', and
3142    `%I' options of `asm_fprintf' (see `final.c').  These are useful when a
3143    single `md' file must support multiple assembler formats.  In that case, the
3144    various `tm.h' files can define these macros differently.
3145
3146    USER_LABEL_PREFIX is defined in svr4.h.  */
3147 #undef USER_LABEL_PREFIX
3148 #define USER_LABEL_PREFIX ""
3149 #define REGISTER_PREFIX ""
3150 #define LOCAL_LABEL_PREFIX "."
3151 #define IMMEDIATE_PREFIX "#"
3152
3153 \f
3154 /* Output of dispatch tables.  */
3155
3156 /* This macro should be provided on machines where the addresses in a dispatch
3157    table are relative to the table's own address.
3158
3159    The definition should be a C statement to output to the stdio stream STREAM
3160    an assembler pseudo-instruction to generate a difference between two labels.
3161    VALUE and REL are the numbers of two internal labels.  The definitions of
3162    these labels are output using `ASM_OUTPUT_INTERNAL_LABEL', and they must be
3163    printed in the same way here.  For example,
3164
3165         fprintf (STREAM, "\t.word L%d-L%d\n", VALUE, REL)  */
3166 #define ASM_OUTPUT_ADDR_DIFF_ELT(STREAM, BODY, VALUE, REL) \
3167 fprintf (STREAM, "\t.word .L%d-.L%d\n", VALUE, REL)
3168
3169 /* This macro should be provided on machines where the addresses in a dispatch
3170    table are absolute.
3171
3172    The definition should be a C statement to output to the stdio stream STREAM
3173    an assembler pseudo-instruction to generate a reference to a label.  VALUE
3174    is the number of an internal label whose definition is output using
3175    `ASM_OUTPUT_INTERNAL_LABEL'.  For example,
3176
3177         fprintf (STREAM, "\t.word L%d\n", VALUE)  */
3178 #define ASM_OUTPUT_ADDR_VEC_ELT(STREAM, VALUE) \
3179 fprintf (STREAM, "\t.word .L%d\n", VALUE)
3180
3181 /* Define this if the label before a jump-table needs to be output specially.
3182    The first three arguments are the same as for `ASM_OUTPUT_INTERNAL_LABEL';
3183    the fourth argument is the jump-table which follows (a `jump_insn'
3184    containing an `addr_vec' or `addr_diff_vec').
3185
3186    This feature is used on system V to output a `swbeg' statement for the
3187    table.
3188
3189    If this macro is not defined, these labels are output with
3190    `ASM_OUTPUT_INTERNAL_LABEL'.
3191
3192    Defined in svr4.h.  */
3193 /* When generating embedded PIC or mips16 code we want to put the jump
3194    table in the .text section.  In all other cases, we want to put the
3195    jump table in the .rdata section.  Unfortunately, we can't use
3196    JUMP_TABLES_IN_TEXT_SECTION, because it is not conditional.
3197    Instead, we use ASM_OUTPUT_CASE_LABEL to switch back to the .text
3198    section if appropriate.  */
3199
3200 #undef  ASM_OUTPUT_CASE_LABEL
3201 #define ASM_OUTPUT_CASE_LABEL(STREAM, PREFIX, NUM, TABLE)               \
3202 do {                                                                    \
3203   if (flag_pic)                                                         \
3204     function_section (current_function_decl);                           \
3205   ASM_OUTPUT_INTERNAL_LABEL (STREAM, PREFIX, NUM);                      \
3206 } while (0)
3207
3208 /* Define this to determine whether case statement labels are relative to
3209    the start of the case statement or not.  */
3210
3211 #define CASE_VECTOR_PC_RELATIVE (flag_pic)
3212
3213 \f
3214 /* Assembler Commands for Exception Regions.  */
3215
3216 /* Define this macro to 0 if your target supports DWARF 2 frame unwind
3217    information, but it does not yet work with exception handling.  Otherwise,
3218    if your target supports this information (if it defines
3219    `INCOMING_RETURN_ADDR_RTX' and either `UNALIGNED_INT_ASM_OP' or
3220    `OBJECT_FORMAT_ELF'), GCC will provide a default definition of 1.
3221
3222    If this macro is defined to 1, the DWARF 2 unwinder will be the default
3223    exception handling mechanism; otherwise, setjmp/longjmp will be used by
3224    default.
3225
3226    If this macro is defined to anything, the DWARF 2 unwinder will be used
3227    instead of inline unwinders and __unwind_function in the non-setjmp case.  */
3228 #define DWARF2_UNWIND_INFO 1
3229
3230 #define DWARF_FRAME_RETURN_COLUMN DWARF_FRAME_REGNUM (LR_REGNO)
3231 \f
3232 /* Assembler Commands for Alignment.  */
3233
3234 /* A C statement to output to the stdio stream STREAM an assembler instruction
3235    to advance the location counter by NBYTES bytes.  Those bytes should be zero
3236    when loaded.  NBYTES will be a C expression of type `int'.
3237
3238    Defined in svr4.h.  */
3239 #undef  ASM_OUTPUT_SKIP
3240 #define ASM_OUTPUT_SKIP(STREAM, NBYTES) \
3241   fprintf (STREAM, "\t.zero\t%u\n", (NBYTES))
3242
3243 /* A C statement to output to the stdio stream STREAM an assembler command to
3244    advance the location counter to a multiple of 2 to the POWER bytes.  POWER
3245    will be a C expression of type `int'.  */
3246 #define ASM_OUTPUT_ALIGN(STREAM, POWER) \
3247   fprintf ((STREAM), "\t.p2align %d\n", (POWER))
3248
3249 \f
3250 /* Macros Affecting all Debug Formats.  */
3251
3252 /* A C expression that returns the DBX register number for the compiler
3253    register number REGNO.  In simple cases, the value of this expression may be
3254    REGNO itself.  But sometimes there are some registers that the compiler
3255    knows about and DBX does not, or vice versa.  In such cases, some register
3256    may need to have one number in the compiler and another for DBX.
3257
3258    If two registers have consecutive numbers inside GNU CC, and they can be
3259    used as a pair to hold a multiword value, then they *must* have consecutive
3260    numbers after renumbering with `DBX_REGISTER_NUMBER'.  Otherwise, debuggers
3261    will be unable to access such a pair, because they expect register pairs to
3262    be consecutive in their own numbering scheme.
3263
3264    If you find yourself defining `DBX_REGISTER_NUMBER' in way that does not
3265    preserve register pairs, then what you must do instead is redefine the
3266    actual register numbering scheme.
3267
3268    This declaration is required.  */
3269 #define DBX_REGISTER_NUMBER(REGNO) (REGNO)
3270
3271 /* A C expression that returns the type of debugging output GNU CC produces
3272    when the user specifies `-g' or `-ggdb'.  Define this if you have arranged
3273    for GNU CC to support more than one format of debugging output.  Currently,
3274    the allowable values are `DBX_DEBUG', `SDB_DEBUG', `DWARF_DEBUG',
3275    `DWARF2_DEBUG', and `XCOFF_DEBUG'.
3276
3277    The value of this macro only affects the default debugging output; the user
3278    can always get a specific type of output by using `-gstabs', `-gcoff',
3279    `-gdwarf-1', `-gdwarf-2', or `-gxcoff'.
3280
3281    Defined in svr4.h.  */
3282 #undef  PREFERRED_DEBUGGING_TYPE
3283 #define PREFERRED_DEBUGGING_TYPE DWARF2_DEBUG
3284 \f
3285 /* Miscellaneous Parameters.  */
3286
3287 /* Define this if you have defined special-purpose predicates in the file
3288    `MACHINE.c'.  This macro is called within an initializer of an array of
3289    structures.  The first field in the structure is the name of a predicate and
3290    the second field is an array of rtl codes.  For each predicate, list all rtl
3291    codes that can be in expressions matched by the predicate.  The list should
3292    have a trailing comma.  Here is an example of two entries in the list for a
3293    typical RISC machine:
3294
3295         #define PREDICATE_CODES \
3296           {"gen_reg_rtx_operand", {SUBREG, REG}},  \
3297           {"reg_or_short_cint_operand", {SUBREG, REG, CONST_INT}},
3298
3299    Defining this macro does not affect the generated code (however, incorrect
3300    definitions that omit an rtl code that may be matched by the predicate can
3301    cause the compiler to malfunction).  Instead, it allows the table built by
3302    `genrecog' to be more compact and efficient, thus speeding up the compiler.
3303    The most important predicates to include in the list specified by this macro
3304    are thoses used in the most insn patterns.  */
3305 #define PREDICATE_CODES                                                 \
3306   { "integer_register_operand",         { REG, SUBREG }},               \
3307   { "frv_load_operand",                 { REG, SUBREG, MEM }},          \
3308   { "gpr_no_subreg_operand",            { REG }},                       \
3309   { "gpr_or_fpr_operand",               { REG, SUBREG }},               \
3310   { "gpr_or_int12_operand",             { REG, SUBREG, CONST_INT }},    \
3311   { "gpr_fpr_or_int12_operand",         { REG, SUBREG, CONST_INT }},    \
3312   { "gpr_or_int10_operand",             { REG, SUBREG, CONST_INT }},    \
3313   { "gpr_or_int_operand",               { REG, SUBREG, CONST_INT }},    \
3314   { "move_source_operand",              { REG, SUBREG, CONST_INT, MEM,  \
3315                                           CONST_DOUBLE, CONST,          \
3316                                           SYMBOL_REF, LABEL_REF }},     \
3317   { "move_destination_operand",         { REG, SUBREG, MEM }},          \
3318   { "condexec_source_operand",          { REG, SUBREG, CONST_INT, MEM,  \
3319                                           CONST_DOUBLE }},              \
3320   { "condexec_dest_operand",            { REG, SUBREG, MEM }},          \
3321   { "reg_or_0_operand",                 { REG, SUBREG, CONST_INT }},    \
3322   { "lr_operand",                       { REG }},                       \
3323   { "gpr_or_memory_operand",            { REG, SUBREG, MEM }},          \
3324   { "fpr_or_memory_operand",            { REG, SUBREG, MEM }},          \
3325   { "int12_operand",                    { CONST_INT }},                 \
3326   { "int_2word_operand",                { CONST_INT, CONST_DOUBLE,      \
3327                                           SYMBOL_REF, LABEL_REF, CONST }}, \
3328   { "pic_register_operand",             { REG }},                       \
3329   { "pic_symbolic_operand",             { SYMBOL_REF, LABEL_REF, CONST }}, \
3330   { "small_data_register_operand",      { REG }},                       \
3331   { "small_data_symbolic_operand",      { SYMBOL_REF, CONST }},         \
3332   { "icc_operand",                      { REG }},                       \
3333   { "fcc_operand",                      { REG }},                       \
3334   { "cc_operand",                       { REG }},                       \
3335   { "icr_operand",                      { REG }},                       \
3336   { "fcr_operand",                      { REG }},                       \
3337   { "cr_operand",                       { REG }},                       \
3338   { "fpr_operand",                      { REG, SUBREG }},               \
3339   { "even_reg_operand",                 { REG, SUBREG }},               \
3340   { "odd_reg_operand",                  { REG, SUBREG }},               \
3341   { "even_gpr_operand",                 { REG, SUBREG }},               \
3342   { "odd_gpr_operand",                  { REG, SUBREG }},               \
3343   { "quad_fpr_operand",                 { REG, SUBREG }},               \
3344   { "even_fpr_operand",                 { REG, SUBREG }},               \
3345   { "odd_fpr_operand",                  { REG, SUBREG }},               \
3346   { "dbl_memory_one_insn_operand",      { MEM }},                       \
3347   { "dbl_memory_two_insn_operand",      { MEM }},                       \
3348   { "call_operand",                     { REG, SUBREG, PLUS, CONST_INT, \
3349                                           SYMBOL_REF, LABEL_REF, CONST }}, \
3350   { "upper_int16_operand",              { CONST_INT }},                 \
3351   { "uint16_operand",                   { CONST_INT }},                 \
3352   { "relational_operator",              { EQ, NE, LE, LT, GE, GT,       \
3353                                           LEU, LTU, GEU, GTU }},        \
3354   { "signed_relational_operator",       { EQ, NE, LE, LT, GE, GT }},    \
3355   { "unsigned_relational_operator",     { LEU, LTU, GEU, GTU }},        \
3356   { "float_relational_operator",        { EQ, NE, LE, LT, GE, GT }},    \
3357   { "ccr_eqne_operator",                { EQ, NE }},                    \
3358   { "minmax_operator",                  { SMIN, SMAX, UMIN, UMAX }},    \
3359   { "condexec_si_binary_operator",      { PLUS, MINUS, AND, IOR, XOR,   \
3360                                           ASHIFT, ASHIFTRT, LSHIFTRT }}, \
3361   { "condexec_si_divide_operator",      { DIV, UDIV }},                 \
3362   { "condexec_si_unary_operator",       { NOT, NEG }},                  \
3363   { "condexec_sf_binary_operator",      { PLUS, MINUS, MULT, DIV }},    \
3364   { "condexec_sf_unary_operator",       { ABS, NEG, SQRT }},            \
3365   { "intop_compare_operator",           { PLUS, MINUS, AND, IOR, XOR,   \
3366                                           ASHIFT, ASHIFTRT, LSHIFTRT }}, \
3367   { "condexec_intop_cmp_operator",      { PLUS, MINUS, AND, IOR, XOR,   \
3368                                           ASHIFT, ASHIFTRT, LSHIFTRT }}, \
3369   { "fpr_or_int6_operand",              { REG, SUBREG, CONST_INT }},    \
3370   { "int6_operand",                     { CONST_INT }},                 \
3371   { "int5_operand",                     { CONST_INT }},                 \
3372   { "uint5_operand",                    { CONST_INT }},                 \
3373   { "uint4_operand",                    { CONST_INT }},                 \
3374   { "uint1_operand",                    { CONST_INT }},                 \
3375   { "acc_operand",                      { REG, SUBREG }},               \
3376   { "even_acc_operand",                 { REG, SUBREG }},               \
3377   { "quad_acc_operand",                 { REG, SUBREG }},               \
3378   { "accg_operand",                     { REG, SUBREG }},
3379
3380 /* An alias for a machine mode name.  This is the machine mode that elements of
3381    a jump-table should have.  */
3382 #define CASE_VECTOR_MODE SImode
3383
3384 /* Define this macro if operations between registers with integral mode smaller
3385    than a word are always performed on the entire register.  Most RISC machines
3386    have this property and most CISC machines do not.  */
3387 #define WORD_REGISTER_OPERATIONS
3388
3389 /* Define this macro to be a C expression indicating when insns that read
3390    memory in MODE, an integral mode narrower than a word, set the bits outside
3391    of MODE to be either the sign-extension or the zero-extension of the data
3392    read.  Return `SIGN_EXTEND' for values of MODE for which the insn
3393    sign-extends, `ZERO_EXTEND' for which it zero-extends, and `NIL' for other
3394    modes.
3395
3396    This macro is not called with MODE non-integral or with a width greater than
3397    or equal to `BITS_PER_WORD', so you may return any value in this case.  Do
3398    not define this macro if it would always return `NIL'.  On machines where
3399    this macro is defined, you will normally define it as the constant
3400    `SIGN_EXTEND' or `ZERO_EXTEND'.  */
3401 #define LOAD_EXTEND_OP(MODE) SIGN_EXTEND
3402
3403 /* Define if loading short immediate values into registers sign extends.  */
3404 #define SHORT_IMMEDIATES_SIGN_EXTEND
3405
3406 /* The maximum number of bytes that a single instruction can move quickly from
3407    memory to memory.  */
3408 #define MOVE_MAX 8
3409
3410 /* A C expression which is nonzero if on this machine it is safe to "convert"
3411    an integer of INPREC bits to one of OUTPREC bits (where OUTPREC is smaller
3412    than INPREC) by merely operating on it as if it had only OUTPREC bits.
3413
3414    On many machines, this expression can be 1.
3415
3416    When `TRULY_NOOP_TRUNCATION' returns 1 for a pair of sizes for modes for
3417    which `MODES_TIEABLE_P' is 0, suboptimal code can result.  If this is the
3418    case, making `TRULY_NOOP_TRUNCATION' return 0 in such cases may improve
3419    things.  */
3420 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
3421
3422 /* An alias for the machine mode for pointers.  On most machines, define this
3423    to be the integer mode corresponding to the width of a hardware pointer;
3424    `SImode' on 32-bit machine or `DImode' on 64-bit machines.  On some machines
3425    you must define this to be one of the partial integer modes, such as
3426    `PSImode'.
3427
3428    The width of `Pmode' must be at least as large as the value of
3429    `POINTER_SIZE'.  If it is not equal, you must define the macro
3430    `POINTERS_EXTEND_UNSIGNED' to specify how pointers are extended to `Pmode'.  */
3431 #define Pmode SImode
3432
3433 /* An alias for the machine mode used for memory references to functions being
3434    called, in `call' RTL expressions.  On most machines this should be
3435    `QImode'.  */
3436 #define FUNCTION_MODE QImode
3437
3438 /* Define this macro to handle System V style pragmas: #pragma pack and
3439    #pragma weak.  Note, #pragma weak will only be supported if SUPPORT_WEAK is
3440    defined.
3441
3442    Defined in svr4.h.  */
3443 #define HANDLE_SYSV_PRAGMA
3444
3445 /* A C expression for the maximum number of instructions to execute via
3446    conditional execution instructions instead of a branch.  A value of
3447    BRANCH_COST+1 is the default if the machine does not use
3448    cc0, and 1 if it does use cc0.  */
3449 #define MAX_CONDITIONAL_EXECUTE frv_condexec_insns
3450
3451 /* Default value of MAX_CONDITIONAL_EXECUTE if no -mcond-exec-insns= */
3452 #define DEFAULT_CONDEXEC_INSNS 8
3453
3454 /* A C expression to modify the code described by the conditional if
3455    information CE_INFO, possibly updating the tests in TRUE_EXPR, and
3456    FALSE_EXPR for converting if-then and if-then-else code to conditional
3457    instructions.  Set either TRUE_EXPR or FALSE_EXPR to a null pointer if the
3458    tests cannot be converted.  */
3459 #define IFCVT_MODIFY_TESTS(CE_INFO, TRUE_EXPR, FALSE_EXPR)              \
3460 frv_ifcvt_modify_tests (CE_INFO, &TRUE_EXPR, &FALSE_EXPR)
3461
3462 /* A C expression to modify the code described by the conditional if
3463    information CE_INFO, for the basic block BB, possibly updating the tests in
3464    TRUE_EXPR, and FALSE_EXPR for converting the && and || parts of if-then or
3465    if-then-else code to conditional instructions.  OLD_TRUE and OLD_FALSE are
3466    the previous tests.  Set either TRUE_EXPR or FALSE_EXPR to a null pointer if
3467    the tests cannot be converted.  */
3468 #define IFCVT_MODIFY_MULTIPLE_TESTS(CE_INFO, BB, TRUE_EXPR, FALSE_EXPR) \
3469 frv_ifcvt_modify_multiple_tests (CE_INFO, BB, &TRUE_EXPR, &FALSE_EXPR)
3470
3471 /* A C expression to modify the code described by the conditional if
3472    information CE_INFO with the new PATTERN in INSN.  If PATTERN is a null
3473    pointer after the IFCVT_MODIFY_INSN macro executes, it is assumed that that
3474    insn cannot be converted to be executed conditionally.  */
3475 #define IFCVT_MODIFY_INSN(CE_INFO, PATTERN, INSN) \
3476 (PATTERN) = frv_ifcvt_modify_insn (CE_INFO, PATTERN, INSN)
3477
3478 /* A C expression to perform any final machine dependent modifications in
3479    converting code to conditional execution in the code described by the
3480    conditional if information CE_INFO.  */
3481 #define IFCVT_MODIFY_FINAL(CE_INFO) frv_ifcvt_modify_final (CE_INFO)
3482
3483 /* A C expression to cancel any machine dependent modifications in converting
3484    code to conditional execution in the code described by the conditional if
3485    information CE_INFO.  */
3486 #define IFCVT_MODIFY_CANCEL(CE_INFO) frv_ifcvt_modify_cancel (CE_INFO)
3487
3488 /* Initialize the extra fields provided by IFCVT_EXTRA_FIELDS.  */
3489 #define IFCVT_INIT_EXTRA_FIELDS(CE_INFO) frv_ifcvt_init_extra_fields (CE_INFO)
3490
3491 /* Indicate how many instructions can be issued at the same time.  */
3492 #define ISSUE_RATE                                                      \
3493 (! TARGET_PACK ? 1                                                      \
3494  : (frv_cpu_type == FRV_CPU_GENERIC                                     \
3495     || frv_cpu_type == FRV_CPU_FR500                                    \
3496     || frv_cpu_type == FRV_CPU_TOMCAT) ? 4                              \
3497  : frv_cpu_type == FRV_CPU_FR400 ? 2 : 1)
3498
3499 /* Set and clear whether this insn begins a VLIW insn.  */
3500 #define CLEAR_VLIW_START(INSN) PUT_MODE (INSN, VOIDmode)
3501 #define SET_VLIW_START(INSN) PUT_MODE (INSN, TImode)
3502
3503 /* The definition of the following macro results in that the 2nd jump
3504    optimization (after the 2nd insn scheduling) is minimal.  It is
3505    necessary to define when start cycle marks of insns (TImode is used
3506    for this) is used for VLIW insn packing.  Some jump optimizations
3507    make such marks invalid.  These marks are corrected for some
3508    (minimal) optimizations.  ??? Probably the macro is temporary.
3509    Final solution could making the 2nd jump optimizations before the
3510    2nd instruction scheduling or corrections of the marks for all jump
3511    optimizations.  Although some jump optimizations are actually
3512    deoptimizations for VLIW (super-scalar) processors.  */
3513
3514 #define MINIMAL_SECOND_JUMP_OPTIMIZATION
3515
3516 /* Return true if parallel operations are expected to be emitted via the
3517    packing flag.  */
3518 #define PACKING_FLAG_USED_P() \
3519 (optimize && flag_schedule_insns_after_reload && ISSUE_RATE > 1)
3520
3521 /* If the following macro is defined and nonzero and deterministic
3522    finite state automata are used for pipeline hazard recognition, the
3523    code making resource-constrained software pipelining is on.  */
3524 #define RCSP_SOFTWARE_PIPELINING 1
3525
3526 /* If the following macro is defined and nonzero and deterministic
3527    finite state automata are used for pipeline hazard recognition, we
3528    will try to exchange insns in queue ready to improve the schedule.
3529    The more macro value, the more tries will be made.  */
3530 #define FIRST_CYCLE_MULTIPASS_SCHEDULING 1
3531
3532 /* The following macro is used only when value of
3533    FIRST_CYCLE_MULTIPASS_SCHEDULING is nonzero.  The more macro value,
3534    the more tries will be made to choose better schedule.  If the
3535    macro value is zero or negative there will be no multi-pass
3536    scheduling.  */
3537 #define FIRST_CYCLE_MULTIPASS_SCHEDULING_LOOKAHEAD frv_sched_lookahead
3538
3539 /* Return true if a function is ok to be called as a sibcall.  */
3540 #define FUNCTION_OK_FOR_SIBCALL(DECL) 0
3541
3542 enum frv_builtins
3543 {
3544   FRV_BUILTIN_MAND,
3545   FRV_BUILTIN_MOR,
3546   FRV_BUILTIN_MXOR,
3547   FRV_BUILTIN_MNOT,
3548   FRV_BUILTIN_MAVEH,
3549   FRV_BUILTIN_MSATHS,
3550   FRV_BUILTIN_MSATHU,
3551   FRV_BUILTIN_MADDHSS,
3552   FRV_BUILTIN_MADDHUS,
3553   FRV_BUILTIN_MSUBHSS,
3554   FRV_BUILTIN_MSUBHUS,
3555   FRV_BUILTIN_MPACKH,
3556   FRV_BUILTIN_MQADDHSS,
3557   FRV_BUILTIN_MQADDHUS,
3558   FRV_BUILTIN_MQSUBHSS,
3559   FRV_BUILTIN_MQSUBHUS,
3560   FRV_BUILTIN_MUNPACKH,
3561   FRV_BUILTIN_MDPACKH,
3562   FRV_BUILTIN_MBTOH,
3563   FRV_BUILTIN_MHTOB,
3564   FRV_BUILTIN_MCOP1,
3565   FRV_BUILTIN_MCOP2,
3566   FRV_BUILTIN_MROTLI,
3567   FRV_BUILTIN_MROTRI,
3568   FRV_BUILTIN_MWCUT,
3569   FRV_BUILTIN_MSLLHI,
3570   FRV_BUILTIN_MSRLHI,
3571   FRV_BUILTIN_MSRAHI,
3572   FRV_BUILTIN_MEXPDHW,
3573   FRV_BUILTIN_MEXPDHD,
3574   FRV_BUILTIN_MMULHS,
3575   FRV_BUILTIN_MMULHU,
3576   FRV_BUILTIN_MMULXHS,
3577   FRV_BUILTIN_MMULXHU,
3578   FRV_BUILTIN_MMACHS,
3579   FRV_BUILTIN_MMACHU,
3580   FRV_BUILTIN_MMRDHS,
3581   FRV_BUILTIN_MMRDHU,
3582   FRV_BUILTIN_MQMULHS,
3583   FRV_BUILTIN_MQMULHU,
3584   FRV_BUILTIN_MQMULXHU,
3585   FRV_BUILTIN_MQMULXHS,
3586   FRV_BUILTIN_MQMACHS,
3587   FRV_BUILTIN_MQMACHU,
3588   FRV_BUILTIN_MCPXRS,
3589   FRV_BUILTIN_MCPXRU,
3590   FRV_BUILTIN_MCPXIS,
3591   FRV_BUILTIN_MCPXIU,
3592   FRV_BUILTIN_MQCPXRS,
3593   FRV_BUILTIN_MQCPXRU,
3594   FRV_BUILTIN_MQCPXIS,
3595   FRV_BUILTIN_MQCPXIU,
3596   FRV_BUILTIN_MCUT,
3597   FRV_BUILTIN_MCUTSS,
3598   FRV_BUILTIN_MWTACC,
3599   FRV_BUILTIN_MWTACCG,
3600   FRV_BUILTIN_MRDACC,
3601   FRV_BUILTIN_MRDACCG,
3602   FRV_BUILTIN_MTRAP,
3603   FRV_BUILTIN_MCLRACC,
3604   FRV_BUILTIN_MCLRACCA,
3605   FRV_BUILTIN_MDUNPACKH,
3606   FRV_BUILTIN_MBTOHE,
3607   FRV_BUILTIN_MQXMACHS,
3608   FRV_BUILTIN_MQXMACXHS,
3609   FRV_BUILTIN_MQMACXHS,
3610   FRV_BUILTIN_MADDACCS,
3611   FRV_BUILTIN_MSUBACCS,
3612   FRV_BUILTIN_MASACCS,
3613   FRV_BUILTIN_MDADDACCS,
3614   FRV_BUILTIN_MDSUBACCS,
3615   FRV_BUILTIN_MDASACCS,
3616   FRV_BUILTIN_MABSHS,
3617   FRV_BUILTIN_MDROTLI,
3618   FRV_BUILTIN_MCPLHI,
3619   FRV_BUILTIN_MCPLI,
3620   FRV_BUILTIN_MDCUTSSI,
3621   FRV_BUILTIN_MQSATHS,
3622   FRV_BUILTIN_MHSETLOS,
3623   FRV_BUILTIN_MHSETLOH,
3624   FRV_BUILTIN_MHSETHIS,
3625   FRV_BUILTIN_MHSETHIH,
3626   FRV_BUILTIN_MHDSETS,
3627   FRV_BUILTIN_MHDSETH
3628 };
3629
3630 /* Enable prototypes on the call rtl functions.  */
3631 #define MD_CALL_PROTOTYPES 1
3632
3633 extern GTY(()) rtx frv_compare_op0;                     /* operand save for */
3634 extern GTY(()) rtx frv_compare_op1;                     /* comparison generation */
3635
3636 #endif /* __FRV_H__ */