OSDN Git Service

* config/frv/frv.h: Use TARGET_CPU_CPP_BUILTINS, not CPP_PREDEFINES.
[pf3gnuchains/gcc-fork.git] / gcc / config / m32r / m32r.h
1 /* Definitions of target machine for GNU compiler, Mitsubishi M32R cpu.
2    Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002
3    Free Software Foundation, Inc.
4
5 This file is part of GNU CC.
6
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING.  If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA.  */
21
22 /* Things to do:
23 - longlong.h?
24 */
25
26 #undef SWITCH_TAKES_ARG
27 #undef WORD_SWITCH_TAKES_ARG
28 #undef HANDLE_SYSV_PRAGMA
29 #undef SIZE_TYPE
30 #undef PTRDIFF_TYPE
31 #undef WCHAR_TYPE
32 #undef WCHAR_TYPE_SIZE
33 #undef ASM_FILE_START
34 #undef ASM_OUTPUT_EXTERNAL_LIBCALL
35 #undef TARGET_VERSION
36 #undef CPP_SPEC
37 #undef ASM_SPEC
38 #undef LINK_SPEC
39 #undef STARTFILE_SPEC
40 #undef ENDFILE_SPEC
41 #undef SUBTARGET_SWITCHES
42 \f
43
44 /* M32R/X overrides.  */
45 /* Print subsidiary information on the compiler version in use.  */
46 #define TARGET_VERSION fprintf (stderr, " (m32r/x)");
47
48 /* Additional flags for the preprocessor.  */
49 #define CPP_CPU_SPEC "%{m32rx:-D__M32RX__} %{m32r:-U__M32RX__}"
50
51 /* Assembler switches.  */
52 #define ASM_CPU_SPEC \
53 "%{m32r} %{m32rx} %{!O0: %{O*: -O}} --no-warn-explicit-parallel-conflicts"
54
55 /* Use m32rx specific crt0/crtinit/crtfini files.  */
56 #define STARTFILE_CPU_SPEC "%{!shared:crt0.o%s} %{m32rx:m32rx/crtinit.o%s} %{!m32rx:crtinit.o%s}"
57 #define ENDFILE_CPU_SPEC "-lgloss %{m32rx:m32rx/crtfini.o%s} %{!m32rx:crtfini.o%s}"
58
59 /* Extra machine dependent switches.  */
60 #define SUBTARGET_SWITCHES                                                      \
61     { "32rx",                   TARGET_M32RX_MASK, "Compile for the m32rx" },   \
62     { "32r",                    -TARGET_M32RX_MASK, "" },
63
64 /* Define this macro as a C expression for the initializer of an array of
65    strings to tell the driver program which options are defaults for this
66    target and thus do not need to be handled specially when using
67    `MULTILIB_OPTIONS'.  */
68 #define SUBTARGET_MULTILIB_DEFAULTS , "m32r"
69
70 /* Number of additional registers the subtarget defines.  */
71 #define SUBTARGET_NUM_REGISTERS 1
72
73 /* 1 for registers that cannot be allocated.  */
74 #define SUBTARGET_FIXED_REGISTERS , 1
75
76 /* 1 for registers that are not available across function calls.  */
77 #define SUBTARGET_CALL_USED_REGISTERS , 1
78
79 /* Order to allocate model specific registers.  */
80 #define SUBTARGET_REG_ALLOC_ORDER , 19
81
82 /* Registers which are accumulators.  */
83 #define SUBTARGET_REG_CLASS_ACCUM 0x80000
84
85 /* All registers added.  */
86 #define SUBTARGET_REG_CLASS_ALL SUBTARGET_REG_CLASS_ACCUM
87
88 /* Additional accumulator registers.  */
89 #define SUBTARGET_ACCUM_P(REGNO) ((REGNO) == 19)
90
91 /* Define additional register names.  */
92 #define SUBTARGET_REGISTER_NAMES , "a1"
93 /* end M32R/X overrides.  */
94
95 /* Print subsidiary information on the compiler version in use.  */
96 #ifndef TARGET_VERSION
97 #define TARGET_VERSION fprintf (stderr, " (m32r)")
98 #endif
99
100 /* Switch  Recognition by gcc.c.  Add -G xx support */
101
102 #undef  SWITCH_TAKES_ARG
103 #define SWITCH_TAKES_ARG(CHAR) \
104 (DEFAULT_SWITCH_TAKES_ARG (CHAR) || (CHAR) == 'G')
105
106 /* Names to predefine in the preprocessor for this target machine.  */
107 /* __M32R__ is defined by the existing compiler so we use that.  */
108 #define TARGET_CPU_CPP_BUILTINS()               \
109   do                                            \
110     {                                           \
111       builtin_define ("__M32R__");              \
112       builtin_assert ("cpu=m32r");              \
113       builtin_assert ("machine=m32r");          \
114     }                                           \
115   while (0)
116
117 /* This macro defines names of additional specifications to put in the specs
118    that can be used in various specifications like CC1_SPEC.  Its definition
119    is an initializer with a subgrouping for each command option.
120
121    Each subgrouping contains a string constant, that defines the
122    specification name, and a string constant that used by the GNU CC driver
123    program.
124
125    Do not define this macro if it does not need to do anything.  */
126
127 #ifndef SUBTARGET_EXTRA_SPECS
128 #define SUBTARGET_EXTRA_SPECS
129 #endif
130
131 #ifndef ASM_CPU_SPEC
132 #define ASM_CPU_SPEC ""
133 #endif
134
135 #ifndef CPP_CPU_SPEC
136 #define CPP_CPU_SPEC ""
137 #endif
138
139 #ifndef CC1_CPU_SPEC
140 #define CC1_CPU_SPEC ""
141 #endif
142
143 #ifndef LINK_CPU_SPEC
144 #define LINK_CPU_SPEC ""
145 #endif
146
147 #ifndef STARTFILE_CPU_SPEC
148 #define STARTFILE_CPU_SPEC "%{!shared:crt0.o%s} crtinit.o%s"
149 #endif
150
151 #ifndef ENDFILE_CPU_SPEC
152 #define ENDFILE_CPU_SPEC "-lgloss crtfini.o%s"
153 #endif
154
155 #ifndef RELAX_SPEC
156 #if 0 /* not supported yet */
157 #define RELAX_SPEC "%{mrelax:-relax}"
158 #else
159 #define RELAX_SPEC ""
160 #endif
161 #endif
162
163 #define EXTRA_SPECS                                                     \
164   { "asm_cpu",                  ASM_CPU_SPEC },                         \
165   { "cpp_cpu",                  CPP_CPU_SPEC },                         \
166   { "cc1_cpu",                  CC1_CPU_SPEC },                         \
167   { "link_cpu",                 LINK_CPU_SPEC },                        \
168   { "startfile_cpu",            STARTFILE_CPU_SPEC },                   \
169   { "endfile_cpu",              ENDFILE_CPU_SPEC },                     \
170   { "relax",                    RELAX_SPEC },                           \
171   SUBTARGET_EXTRA_SPECS
172
173 #define CC1_SPEC "%{G*} %(cc1_cpu)"
174
175 /* Options to pass on to the assembler.  */
176 #undef  ASM_SPEC
177 #define ASM_SPEC "%{v} %(asm_cpu) %(relax)"
178
179 #undef  ASM_FINAL_SPEC
180
181 #define LINK_SPEC "%{v} %(link_cpu) %(relax)"
182
183 #undef  STARTFILE_SPEC
184 #define STARTFILE_SPEC "%(startfile_cpu)"
185
186 #undef  ENDFILE_SPEC
187 #define ENDFILE_SPEC "%(endfile_cpu)"
188
189 #undef LIB_SPEC
190 \f
191 /* Run-time compilation parameters selecting different hardware subsets.  */
192
193 extern int target_flags;
194
195 /* If nonzero, tell the linker to do relaxing.
196    We don't do anything with the option, other than recognize it.
197    LINK_SPEC handles passing -relax to the linker.
198    This can cause incorrect debugging information as line numbers may
199    turn out wrong.  This shouldn't be specified unless accompanied with -O2
200    [where the user expects debugging information to be less accurate].  */
201 #define TARGET_RELAX_MASK       (1 << 0)
202
203 /* For miscellaneous debugging purposes.  */
204 #define TARGET_DEBUG_MASK       (1 << 1)
205 #define TARGET_DEBUG            (target_flags & TARGET_DEBUG_MASK)
206
207 /* Align loops to 32 byte boundaries (cache line size).  */
208 /* ??? This option is experimental and is not documented.  */
209 #define TARGET_ALIGN_LOOPS_MASK (1 << 2)
210 #define TARGET_ALIGN_LOOPS      (target_flags & TARGET_ALIGN_LOOPS_MASK)
211
212 /* Change issue rate.  */
213 #define TARGET_LOW_ISSUE_RATE_MASK      (1 << 3)
214 #define TARGET_LOW_ISSUE_RATE   (target_flags & TARGET_LOW_ISSUE_RATE_MASK)
215
216 /* Change branch cost */
217 #define TARGET_BRANCH_COST_MASK (1 << 4)
218 #define TARGET_BRANCH_COST      (target_flags & TARGET_BRANCH_COST_MASK)
219
220 /* Target machine to compile for.  */
221 #define TARGET_M32R             1
222
223 /* Support extended instruction set.  */
224 #define TARGET_M32RX_MASK       (1 << 5)
225 #define TARGET_M32RX            (target_flags & TARGET_M32RX_MASK)
226 #undef  TARGET_M32R
227 #define TARGET_M32R             (! TARGET_M32RX)
228
229 /* Macro to define tables used to set the flags.
230    This is a list in braces of pairs in braces,
231    each pair being { "NAME", VALUE }
232    where VALUE is the bits to set or minus the bits to clear.
233    An empty string NAME is used to identify the default VALUE.  */
234
235 #ifndef SUBTARGET_SWITCHES
236 #define SUBTARGET_SWITCHES
237 #endif
238
239 #ifndef TARGET_DEFAULT
240 #define TARGET_DEFAULT 0
241 #endif
242
243 #define TARGET_SWITCHES                                                 \
244 {                                                                       \
245 /*  { "relax",                  TARGET_RELAX_MASK, "" },                \
246     { "no-relax",               -TARGET_RELAX_MASK, "" },*/             \
247     { "debug",                  TARGET_DEBUG_MASK,                      \
248         N_("Display compile time statistics") },                        \
249     { "align-loops",            TARGET_ALIGN_LOOPS_MASK,                \
250         N_("Align all loops to 32 byte boundary") },                    \
251     { "no-align-loops",         -TARGET_ALIGN_LOOPS_MASK, "" },         \
252     { "issue-rate=1",           TARGET_LOW_ISSUE_RATE_MASK,             \
253         N_("Only issue one instruction per cycle") },                   \
254     { "issue-rate=2",           -TARGET_LOW_ISSUE_RATE_MASK, "" },      \
255     { "branch-cost=1",          TARGET_BRANCH_COST_MASK,                \
256         N_("Prefer branches over conditional execution") },             \
257     { "branch-cost=2",          -TARGET_BRANCH_COST_MASK, "" },         \
258     SUBTARGET_SWITCHES                                                  \
259     { "", TARGET_DEFAULT, "" }                                          \
260 }
261
262 extern const char * m32r_model_string;
263 extern const char * m32r_sdata_string;
264
265 #ifndef SUBTARGET_OPTIONS
266 #define SUBTARGET_OPTIONS
267 #endif
268
269 #define TARGET_OPTIONS                                                  \
270 {                                                                       \
271   { "model=", & m32r_model_string,                                      \
272     N_("Code size: small, medium or large") },                          \
273   { "sdata=", & m32r_sdata_string,                                      \
274     N_("Small data area: none, sdata, use") }                           \
275   SUBTARGET_OPTIONS                                                     \
276 }
277
278 /* Code Models
279
280    Code models are used to select between two choices of two separate
281    possibilities (address space size, call insn to use):
282
283    small: addresses use 24 bits, use bl to make calls
284    medium: addresses use 32 bits, use bl to make calls (*1)
285    large: addresses use 32 bits, use seth/add3/jl to make calls (*2)
286
287    The fourth is "addresses use 24 bits, use seth/add3/jl to make calls" but
288    using this one doesn't make much sense.
289
290    (*1) The linker may eventually be able to relax seth/add3 -> ld24.
291    (*2) The linker may eventually be able to relax seth/add3/jl -> bl.
292
293    Internally these are recorded as TARGET_ADDR{24,32} and
294    TARGET_CALL{26,32}.
295
296    The __model__ attribute can be used to select the code model to use when
297    accessing particular objects.  */
298
299 enum m32r_model { M32R_MODEL_SMALL, M32R_MODEL_MEDIUM, M32R_MODEL_LARGE };
300
301 extern enum m32r_model m32r_model;
302 #define TARGET_MODEL_SMALL (m32r_model == M32R_MODEL_SMALL)
303 #define TARGET_MODEL_MEDIUM (m32r_model == M32R_MODEL_MEDIUM)
304 #define TARGET_MODEL_LARGE (m32r_model == M32R_MODEL_LARGE)
305 #define TARGET_ADDR24 (m32r_model == M32R_MODEL_SMALL)
306 #define TARGET_ADDR32 (! TARGET_ADDR24)
307 #define TARGET_CALL26 (! TARGET_CALL32)
308 #define TARGET_CALL32 (m32r_model == M32R_MODEL_LARGE)
309
310 /* The default is the small model.  */
311 #ifndef M32R_MODEL_DEFAULT
312 #define M32R_MODEL_DEFAULT "small"
313 #endif
314
315 /* Small Data Area
316
317    The SDA consists of sections .sdata, .sbss, and .scommon.
318    .scommon isn't a real section, symbols in it have their section index
319    set to SHN_M32R_SCOMMON, though support for it exists in the linker script.
320
321    Two switches control the SDA:
322
323    -G NNN        - specifies the maximum size of variable to go in the SDA
324
325    -msdata=foo   - specifies how such variables are handled
326
327         -msdata=none  - small data area is disabled
328
329         -msdata=sdata - small data goes in the SDA, special code isn't
330                         generated to use it, and special relocs aren't
331                         generated
332
333         -msdata=use   - small data goes in the SDA, special code is generated
334                         to use the SDA and special relocs are generated
335
336    The SDA is not multilib'd, it isn't necessary.
337    MULTILIB_EXTRA_OPTS is set in tmake_file to -msdata=sdata so multilib'd
338    libraries have small data in .sdata/SHN_M32R_SCOMMON so programs that use
339    -msdata=use will successfully link with them (references in header files
340    will cause the compiler to emit code that refers to library objects in
341    .data).  ??? There can be a problem if the user passes a -G value greater
342    than the default and a library object in a header file is that size.
343    The default is 8 so this should be rare - if it occurs the user
344    is required to rebuild the libraries or use a smaller value for -G.
345 */
346
347 /* Maximum size of variables that go in .sdata/.sbss.
348    The -msdata=foo switch also controls how small variables are handled.  */
349 #ifndef SDATA_DEFAULT_SIZE
350 #define SDATA_DEFAULT_SIZE 8
351 #endif
352
353 extern int g_switch_value;              /* value of the -G xx switch */
354 extern int g_switch_set;                /* whether -G xx was passed.  */
355
356 enum m32r_sdata { M32R_SDATA_NONE, M32R_SDATA_SDATA, M32R_SDATA_USE };
357
358 extern enum m32r_sdata m32r_sdata;
359 #define TARGET_SDATA_NONE (m32r_sdata == M32R_SDATA_NONE)
360 #define TARGET_SDATA_SDATA (m32r_sdata == M32R_SDATA_SDATA)
361 #define TARGET_SDATA_USE (m32r_sdata == M32R_SDATA_USE)
362
363 /* Default is to disable the SDA
364    [for upward compatibility with previous toolchains].  */
365 #ifndef M32R_SDATA_DEFAULT
366 #define M32R_SDATA_DEFAULT "none"
367 #endif
368
369 /* Define this macro as a C expression for the initializer of an array of
370    strings to tell the driver program which options are defaults for this
371    target and thus do not need to be handled specially when using
372    `MULTILIB_OPTIONS'.  */
373 #ifndef SUBTARGET_MULTILIB_DEFAULTS
374 #define SUBTARGET_MULTILIB_DEFAULTS
375 #endif
376
377 #ifndef MULTILIB_DEFAULTS
378 #define MULTILIB_DEFAULTS { "mmodel=small" SUBTARGET_MULTILIB_DEFAULTS }
379 #endif
380
381 /* Sometimes certain combinations of command options do not make
382    sense on a particular target machine.  You can define a macro
383    `OVERRIDE_OPTIONS' to take account of this.  This macro, if
384    defined, is executed once just after all the command options have
385    been parsed.
386
387    Don't use this macro to turn on various extra optimizations for
388    `-O'.  That is what `OPTIMIZATION_OPTIONS' is for.  */
389
390 #ifndef SUBTARGET_OVERRIDE_OPTIONS
391 #define SUBTARGET_OVERRIDE_OPTIONS
392 #endif
393
394 #define OVERRIDE_OPTIONS                        \
395   do                                            \
396     {                                           \
397       /* These need to be done at start up.     \
398          It's convenient to do them here.  */   \
399       m32r_init ();                             \
400       SUBTARGET_OVERRIDE_OPTIONS                \
401     }                                           \
402   while (0)
403
404 #ifndef SUBTARGET_OPTIMIZATION_OPTIONS
405 #define SUBTARGET_OPTIMIZATION_OPTIONS
406 #endif
407
408 #define OPTIMIZATION_OPTIONS(LEVEL, SIZE)       \
409   do                                            \
410     {                                           \
411       if (LEVEL == 1)                           \
412         flag_regmove = TRUE;                    \
413                                                 \
414       if (SIZE)                                 \
415         {                                       \
416           flag_omit_frame_pointer = TRUE;       \
417           flag_strength_reduce = FALSE;         \
418         }                                       \
419                                                 \
420       SUBTARGET_OPTIMIZATION_OPTIONS            \
421     }                                           \
422   while (0)
423
424 /* Define this macro if debugging can be performed even without a
425    frame pointer.  If this macro is defined, GNU CC will turn on the
426    `-fomit-frame-pointer' option whenever `-O' is specified.  */
427 #define CAN_DEBUG_WITHOUT_FP
428 \f
429 /* Target machine storage layout.  */
430
431 /* Define this if most significant bit is lowest numbered
432    in instructions that operate on numbered bit-fields.  */
433 #define BITS_BIG_ENDIAN 1
434
435 /* Define this if most significant byte of a word is the lowest numbered.  */
436 #define BYTES_BIG_ENDIAN 1
437
438 /* Define this if most significant word of a multiword number is the lowest
439    numbered.  */
440 #define WORDS_BIG_ENDIAN 1
441
442 /* Define this macro if WORDS_BIG_ENDIAN is not constant.  This must
443    be a constant value with the same meaning as WORDS_BIG_ENDIAN,
444    which will be used only when compiling libgcc2.c.  Typically the
445    value will be set based on preprocessor defines.  */
446 /*#define LIBGCC2_WORDS_BIG_ENDIAN 1*/
447
448 /* Width of a word, in units (bytes).  */
449 #define UNITS_PER_WORD 4
450
451 /* Define this macro if it is advisable to hold scalars in registers
452    in a wider mode than that declared by the program.  In such cases, 
453    the value is constrained to be within the bounds of the declared
454    type, but kept valid in the wider mode.  The signedness of the
455    extension may differ from that of the type.  */
456 #define PROMOTE_MODE(MODE, UNSIGNEDP, TYPE)     \
457   if (GET_MODE_CLASS (MODE) == MODE_INT         \
458       && GET_MODE_SIZE (MODE) < UNITS_PER_WORD) \
459     {                                           \
460       (MODE) = SImode;                          \
461     }
462
463 /* Define this macro if the promotion described by `PROMOTE_MODE'
464    should also be done for outgoing function arguments.  */
465 /*#define PROMOTE_FUNCTION_ARGS*/
466
467 /* Likewise, if the function return value is promoted.
468    If defined, FUNCTION_VALUE must perform the same promotions done by
469    PROMOTE_MODE.  */
470 /*#define PROMOTE_FUNCTION_RETURN*/
471
472 /* Allocation boundary (in *bits*) for storing arguments in argument list.  */
473 #define PARM_BOUNDARY 32
474
475 /* Boundary (in *bits*) on which stack pointer should be aligned.  */
476 #define STACK_BOUNDARY 32
477
478 /* ALIGN FRAMES on word boundaries */
479 #define M32R_STACK_ALIGN(LOC) (((LOC)+3) & ~3)
480
481 /* Allocation boundary (in *bits*) for the code of a function.  */
482 #define FUNCTION_BOUNDARY 32
483
484 /* Alignment of field after `int : 0' in a structure.  */
485 #define EMPTY_FIELD_BOUNDARY 32
486
487 /* Every structure's size must be a multiple of this.  */
488 #define STRUCTURE_SIZE_BOUNDARY 8
489
490 /* A bit-field declared as `int' forces `int' alignment for the struct.  */
491 #define PCC_BITFIELD_TYPE_MATTERS 1
492
493 /* No data type wants to be aligned rounder than this.  */
494 #define BIGGEST_ALIGNMENT 32
495
496 /* The best alignment to use in cases where we have a choice.  */
497 #define FASTEST_ALIGNMENT 32
498
499 /* Make strings word-aligned so strcpy from constants will be faster.  */
500 #define CONSTANT_ALIGNMENT(EXP, ALIGN)  \
501   ((TREE_CODE (EXP) == STRING_CST       \
502     && (ALIGN) < FASTEST_ALIGNMENT)     \
503    ? FASTEST_ALIGNMENT : (ALIGN))
504
505 /* Make arrays of chars word-aligned for the same reasons.  */
506 #define DATA_ALIGNMENT(TYPE, ALIGN)                                     \
507   (TREE_CODE (TYPE) == ARRAY_TYPE                                       \
508    && TYPE_MODE (TREE_TYPE (TYPE)) == QImode                            \
509    && (ALIGN) < FASTEST_ALIGNMENT ? FASTEST_ALIGNMENT : (ALIGN))
510
511 /* Set this nonzero if move instructions will actually fail to work
512    when given unaligned data.  */
513 #define STRICT_ALIGNMENT 1
514 \f
515 /* Layout of source language data types.  */
516
517 #define SHORT_TYPE_SIZE         16
518 #define INT_TYPE_SIZE           32
519 #define LONG_TYPE_SIZE          32
520 #define LONG_LONG_TYPE_SIZE     64
521 #define FLOAT_TYPE_SIZE         32
522 #define DOUBLE_TYPE_SIZE        64
523 #define LONG_DOUBLE_TYPE_SIZE   64
524
525 /* Define this as 1 if `char' should by default be signed; else as 0.  */
526 #define DEFAULT_SIGNED_CHAR 1
527
528 #define SIZE_TYPE "long unsigned int"
529 #define PTRDIFF_TYPE "long int"
530 #define WCHAR_TYPE "short unsigned int"
531 #define WCHAR_TYPE_SIZE 16
532 \f
533 /* Standard register usage.  */
534
535 /* Number of actual hardware registers.
536    The hardware registers are assigned numbers for the compiler
537    from 0 to just below FIRST_PSEUDO_REGISTER.
538    All registers that the compiler knows about must be given numbers,
539    even those that are not normally considered general registers.  */
540
541 #define M32R_NUM_REGISTERS      19
542
543 #ifndef SUBTARGET_NUM_REGISTERS
544 #define SUBTARGET_NUM_REGISTERS 0
545 #endif
546
547 #define FIRST_PSEUDO_REGISTER (M32R_NUM_REGISTERS + SUBTARGET_NUM_REGISTERS)
548         
549 /* 1 for registers that have pervasive standard uses
550    and are not available for the register allocator.
551
552    0-3   - arguments/results
553    4-5   - call used [4 is used as a tmp during prologue/epilogue generation]
554    6     - call used, gptmp
555    7     - call used, static chain pointer
556    8-11  - call saved
557    12    - call saved [reserved for global pointer]
558    13    - frame pointer
559    14    - subroutine link register
560    15    - stack pointer
561    16    - arg pointer
562    17    - carry flag
563    18    - accumulator
564    19    - accumulator 1 in the m32r/x
565    By default, the extension registers are not available.  */
566
567 #ifndef SUBTARGET_FIXED_REGISTERS
568 #define SUBTARGET_FIXED_REGISTERS
569 #endif
570
571 #define FIXED_REGISTERS         \
572 {                               \
573   0, 0, 0, 0, 0, 0, 0, 0,       \
574   0, 0, 0, 0, 0, 0, 0, 1,       \
575   1, 1, 1                       \
576   SUBTARGET_FIXED_REGISTERS     \
577 }
578
579 /* 1 for registers not available across function calls.
580    These must include the FIXED_REGISTERS and also any
581    registers that can be used without being saved.
582    The latter must include the registers where values are returned
583    and the register where structure-value addresses are passed.
584    Aside from that, you can include as many other registers as you like.  */
585
586 #ifndef SUBTARGET_CALL_USED_REGISTERS
587 #define SUBTARGET_CALL_USED_REGISTERS
588 #endif
589
590 #define CALL_USED_REGISTERS     \
591 {                               \
592   1, 1, 1, 1, 1, 1, 1, 1,       \
593   0, 0, 0, 0, 0, 0, 1, 1,       \
594   1, 1, 1                       \
595   SUBTARGET_CALL_USED_REGISTERS \
596 }
597
598 /* Zero or more C statements that may conditionally modify two variables
599    `fixed_regs' and `call_used_regs' (both of type `char []') after they
600    have been initialized from the two preceding macros.
601
602    This is necessary in case the fixed or call-clobbered registers depend
603    on target flags.
604
605    You need not define this macro if it has no work to do.  */
606
607 #ifdef SUBTARGET_CONDITIONAL_REGISTER_USAGE
608 #define CONDITIONAL_REGISTER_USAGE SUBTARGET_CONDITIONAL_REGISTER_USAGE
609 #endif
610
611 /* If defined, an initializer for a vector of integers, containing the
612    numbers of hard registers in the order in which GNU CC should
613    prefer to use them (from most preferred to least).  */
614
615 #ifndef SUBTARGET_REG_ALLOC_ORDER
616 #define SUBTARGET_REG_ALLOC_ORDER
617 #endif
618
619 #if 1 /* better for int code */
620 #define REG_ALLOC_ORDER                         \
621 {                                               \
622   4,  5,  6,  7,  2,  3,  8,  9, 10,            \
623   11, 12, 13, 14,  0,  1, 15, 16, 17, 18        \
624   SUBTARGET_REG_ALLOC_ORDER                     \
625 }
626
627 #else /* better for fp code at expense of int code */
628 #define REG_ALLOC_ORDER                         \
629 {                                               \
630    0,  1,  2,  3,  4,  5,  6,  7,  8,           \
631    9, 10, 11, 12, 13, 14, 15, 16, 17, 18        \
632   SUBTARGET_REG_ALLOC_ORDER                     \
633 }
634 #endif
635
636 /* Return number of consecutive hard regs needed starting at reg REGNO
637    to hold something of mode MODE.
638    This is ordinarily the length in words of a value of mode MODE
639    but can be less for certain modes in special long registers.  */
640 #define HARD_REGNO_NREGS(REGNO, MODE) \
641 ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
642
643 /* Value is 1 if hard register REGNO can hold a value of machine-mode MODE.  */
644 extern const unsigned int m32r_hard_regno_mode_ok[FIRST_PSEUDO_REGISTER];
645 extern unsigned int m32r_mode_class[];
646 #define HARD_REGNO_MODE_OK(REGNO, MODE) \
647 ((m32r_hard_regno_mode_ok[REGNO] & m32r_mode_class[MODE]) != 0)
648
649 /* A C expression that is nonzero if it is desirable to choose
650    register allocation so as to avoid move instructions between a
651    value of mode MODE1 and a value of mode MODE2.
652
653    If `HARD_REGNO_MODE_OK (R, MODE1)' and `HARD_REGNO_MODE_OK (R,
654    MODE2)' are ever different for any R, then `MODES_TIEABLE_P (MODE1,
655    MODE2)' must be zero.  */
656
657 /* Tie QI/HI/SI modes together.  */
658 #define MODES_TIEABLE_P(MODE1, MODE2) \
659 (GET_MODE_CLASS (MODE1) == MODE_INT             \
660  && GET_MODE_CLASS (MODE2) == MODE_INT          \
661  && GET_MODE_SIZE (MODE1) <= UNITS_PER_WORD     \
662  && GET_MODE_SIZE (MODE2) <= UNITS_PER_WORD)
663 \f
664 /* Register classes and constants.  */
665
666 /* Define the classes of registers for register constraints in the
667    machine description.  Also define ranges of constants.
668
669    One of the classes must always be named ALL_REGS and include all hard regs.
670    If there is more than one class, another class must be named NO_REGS
671    and contain no registers.
672
673    The name GENERAL_REGS must be the name of a class (or an alias for
674    another name such as ALL_REGS).  This is the class of registers
675    that is allowed by "g" or "r" in a register constraint.
676    Also, registers outside this class are allocated only when
677    instructions express preferences for them.
678
679    The classes must be numbered in nondecreasing order; that is,
680    a larger-numbered class must never be contained completely
681    in a smaller-numbered class.
682
683    For any two classes, it is very desirable that there be another
684    class that represents their union.
685
686    It is important that any condition codes have class NO_REGS.
687    See `register_operand'.  */
688
689 enum reg_class
690 {
691   NO_REGS, CARRY_REG, ACCUM_REGS, GENERAL_REGS, ALL_REGS, LIM_REG_CLASSES
692 };
693
694 #define N_REG_CLASSES ((int) LIM_REG_CLASSES)
695
696 /* Give names of register classes as strings for dump file.   */
697 #define REG_CLASS_NAMES \
698   { "NO_REGS", "CARRY_REG", "ACCUM_REGS", "GENERAL_REGS", "ALL_REGS" }
699
700 /* Define which registers fit in which classes.
701    This is an initializer for a vector of HARD_REG_SET
702    of length N_REG_CLASSES.  */
703
704 #ifndef SUBTARGET_REG_CLASS_CARRY
705 #define SUBTARGET_REG_CLASS_CARRY 0
706 #endif
707
708 #ifndef SUBTARGET_REG_CLASS_ACCUM
709 #define SUBTARGET_REG_CLASS_ACCUM 0
710 #endif
711
712 #ifndef SUBTARGET_REG_CLASS_GENERAL
713 #define SUBTARGET_REG_CLASS_GENERAL 0
714 #endif
715
716 #ifndef SUBTARGET_REG_CLASS_ALL
717 #define SUBTARGET_REG_CLASS_ALL 0
718 #endif
719
720 #define REG_CLASS_CONTENTS                                              \
721 {                                                                       \
722   { 0x00000 },                                                          \
723   { 0x20000 | SUBTARGET_REG_CLASS_CARRY },                              \
724   { 0x40000 | SUBTARGET_REG_CLASS_ACCUM },                              \
725   { 0x1ffff | SUBTARGET_REG_CLASS_GENERAL },                            \
726   { 0x7ffff | SUBTARGET_REG_CLASS_ALL },                                \
727 }
728
729 /* The same information, inverted:
730    Return the class number of the smallest class containing
731    reg number REGNO.  This could be a conditional expression
732    or could index an array.  */
733 extern enum reg_class m32r_regno_reg_class[FIRST_PSEUDO_REGISTER];
734 #define REGNO_REG_CLASS(REGNO) (m32r_regno_reg_class[REGNO])
735
736 /* The class value for index registers, and the one for base regs.  */
737 #define INDEX_REG_CLASS GENERAL_REGS
738 #define BASE_REG_CLASS GENERAL_REGS
739
740 #define REG_CLASS_FROM_LETTER(C)                                        \
741 ((C) == 'c'     ? CARRY_REG                                             \
742  : (C) == 'a'   ? ACCUM_REGS                                            \
743  :                NO_REGS)
744
745 /* These assume that REGNO is a hard or pseudo reg number.
746    They give nonzero only if REGNO is a hard reg of the suitable class
747    or a pseudo reg currently allocated to a suitable hard reg.
748    Since they use reg_renumber, they are safe only once reg_renumber
749    has been allocated, which happens in local-alloc.c.  */
750 #define REGNO_OK_FOR_BASE_P(REGNO) \
751 ((REGNO) < FIRST_PSEUDO_REGISTER                        \
752  ? GPR_P (REGNO) || (REGNO) == ARG_POINTER_REGNUM       \
753  : GPR_P (reg_renumber[REGNO]))
754 #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P(REGNO)
755
756 /* Given an rtx X being reloaded into a reg required to be
757    in class CLASS, return the class of reg to actually use.
758    In general this is just CLASS; but on some machines
759    in some cases it is preferable to use a more restrictive class.  */
760 #define PREFERRED_RELOAD_CLASS(X,CLASS) \
761 (CLASS)
762
763 /* Return the maximum number of consecutive registers
764    needed to represent mode MODE in a register of class CLASS.  */
765 #define CLASS_MAX_NREGS(CLASS, MODE) \
766 ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
767
768 /* The letters I, J, K, L, M, N, O, P in a register constraint string
769    can be used to stand for particular ranges of immediate operands.
770    This macro defines what the ranges are.
771    C is the letter, and VALUE is a constant value.
772    Return 1 if VALUE is in the range specified by C.  */
773 /* 'I' is used for 8 bit signed immediates.
774    'J' is used for 16 bit signed immediates.
775    'K' is used for 16 bit unsigned immediates.
776    'L' is used for 16 bit immediates left shifted by 16 (sign ???).
777    'M' is used for 24 bit unsigned immediates.
778    'N' is used for any 32 bit non-symbolic value.
779    'O' is used for 5 bit unsigned immediates (shift count).
780    'P' is used for 16 bit signed immediates for compares
781        (values in the range -32767 to +32768).  */
782
783 /* Return true if a value is inside a range.  */
784 #define IN_RANGE_P(VALUE, LOW, HIGH)                                    \
785   (((unsigned HOST_WIDE_INT)((VALUE) - (LOW)))                          \
786    <= ((unsigned HOST_WIDE_INT)((HIGH) - (LOW))))
787
788 /* Local to this file.  */
789 #define INT8_P(X) ((X) >= -0x80 && (X) <= 0x7f)
790 #define INT16_P(X) ((X) >= -0x8000 && (X) <= 0x7fff)
791 #define CMP_INT16_P(X) ((X) >= -0x7fff && (X) <= 0x8000)
792 #define UPPER16_P(X) (((X) & 0xffff) == 0                               \
793                       && ((X) >> 16) >= -0x8000                         \
794                       && ((X) >> 16) <= 0x7fff)
795 #define UINT16_P(X) (((unsigned HOST_WIDE_INT) (X)) <= 0x0000ffff)
796 #define UINT24_P(X) (((unsigned HOST_WIDE_INT) (X)) <= 0x00ffffff)
797 #define UINT32_P(X) (((unsigned HOST_WIDE_INT) (X)) <= 0xffffffff)
798 #define UINT5_P(X)  ((X) >= 0 && (X) < 32)
799 #define INVERTED_SIGNED_8BIT(VAL) ((VAL) >= -127 && (VAL) <= 128)
800
801 #define CONST_OK_FOR_LETTER_P(VALUE, C)                                 \
802 ((C) == 'I' ? INT8_P (VALUE)                                            \
803  : (C) == 'J' ? INT16_P (VALUE)                                         \
804  : (C) == 'K' ? UINT16_P (VALUE)                                        \
805  : (C) == 'L' ? UPPER16_P (VALUE)                                       \
806  : (C) == 'M' ? UINT24_P (VALUE)                                        \
807  : (C) == 'N' ? INVERTED_SIGNED_8BIT (VALUE)                            \
808  : (C) == 'O' ? UINT5_P (VALUE)                                         \
809  : (C) == 'P' ? CMP_INT16_P (VALUE)                                     \
810  : 0)
811
812 /* Similar, but for floating constants, and defining letters G and H.
813    Here VALUE is the CONST_DOUBLE rtx itself.
814    For the m32r, handle a few constants inline.
815    ??? We needn't treat DI and DF modes differently, but for now we do.  */
816 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \
817 ((C) == 'G' ? easy_di_const (VALUE)                                     \
818  : (C) == 'H' ? easy_df_const (VALUE)                                   \
819  : 0)
820
821 /* A C expression that defines the optional machine-dependent constraint
822    letters that can be used to segregate specific types of operands,
823    usually memory references, for the target machine.  It should return 1 if
824    VALUE corresponds to the operand type represented by the constraint letter
825    C.  If C is not defined as an extra constraint, the value returned should
826    be 0 regardless of VALUE.  */
827 /* Q is for symbolic addresses loadable with ld24.
828    R is for symbolic addresses when ld24 can't be used.
829    S is for stores with pre {inc,dec}rement
830    T is for indirect of a pointer.
831    U is for loads with post increment.  */
832
833 #define EXTRA_CONSTRAINT(VALUE, C)                                      \
834 (  (C) == 'Q' ? ((TARGET_ADDR24 && GET_CODE (VALUE) == LABEL_REF)       \
835                  || addr24_operand (VALUE, VOIDmode))                   \
836  : (C) == 'R' ? ((TARGET_ADDR32 && GET_CODE (VALUE) == LABEL_REF)       \
837                  || addr32_operand (VALUE, VOIDmode))                   \
838  : (C) == 'S' ? (GET_CODE (VALUE) == MEM                                \
839                  && STORE_PREINC_PREDEC_P (GET_MODE (VALUE),            \
840                                            XEXP (VALUE, 0)))            \
841  : (C) == 'T' ? (GET_CODE (VALUE) == MEM                                \
842                  && memreg_operand (VALUE, GET_MODE (VALUE)))           \
843  : (C) == 'U' ? (GET_CODE (VALUE) == MEM                                \
844                  && LOAD_POSTINC_P (GET_MODE (VALUE),                   \
845                                     XEXP (VALUE, 0)))                   \
846  : 0)
847 \f
848 /* Stack layout and stack pointer usage.  */
849
850 /* Define this macro if pushing a word onto the stack moves the stack
851    pointer to a smaller address.  */
852 #define STACK_GROWS_DOWNWARD
853
854 /* Define this if the nominal address of the stack frame
855    is at the high-address end of the local variables;
856    that is, each additional local variable allocated
857    goes at a more negative offset from the frame pointer.  */
858 /*#define FRAME_GROWS_DOWNWARD*/
859
860 /* Offset from frame pointer to start allocating local variables at.
861    If FRAME_GROWS_DOWNWARD, this is the offset to the END of the
862    first local allocated.  Otherwise, it is the offset to the BEGINNING
863    of the first local allocated.  */
864 /* The frame pointer points at the same place as the stack pointer, except if
865    alloca has been called.  */
866 #define STARTING_FRAME_OFFSET \
867 M32R_STACK_ALIGN (current_function_outgoing_args_size)
868
869 /* Offset from the stack pointer register to the first location at which
870    outgoing arguments are placed.  */
871 #define STACK_POINTER_OFFSET 0
872
873 /* Offset of first parameter from the argument pointer register value.  */
874 #define FIRST_PARM_OFFSET(FNDECL) 0
875
876 /* A C expression whose value is RTL representing the address in a
877    stack frame where the pointer to the caller's frame is stored.
878    Assume that FRAMEADDR is an RTL expression for the address of the
879    stack frame itself.
880
881    If you don't define this macro, the default is to return the value
882    of FRAMEADDR--that is, the stack frame address is also the address
883    of the stack word that points to the previous frame.  */
884 /*define DYNAMIC_CHAIN_ADDRESS (FRAMEADDR)*/
885
886 /* A C expression whose value is RTL representing the value of the
887    return address for the frame COUNT steps up from the current frame.
888    FRAMEADDR is the frame pointer of the COUNT frame, or the frame
889    pointer of the COUNT - 1 frame if `RETURN_ADDR_IN_PREVIOUS_FRAME'
890    is defined.  */
891 /* The current return address is in r14.  */
892 #if 0 /* The default value should work.  */
893 #define RETURN_ADDR_RTX(COUNT, FRAME) \
894 (((COUNT) == -1)                                                        \
895  ? gen_rtx_REG (Pmode, 14)                                              \
896  : copy_to_reg (gen_rtx_MEM (Pmode,                                     \
897                              memory_address (Pmode,                     \
898                                              plus_constant ((FRAME),    \
899                                                             UNITS_PER_WORD)))))
900 #endif
901
902 /* Register to use for pushing function arguments.  */
903 #define STACK_POINTER_REGNUM 15
904
905 /* Base register for access to local variables of the function.  */
906 #define FRAME_POINTER_REGNUM 13
907
908 /* Base register for access to arguments of the function.  */
909 #define ARG_POINTER_REGNUM 16
910
911 /* The register number of the return address pointer register, which
912    is used to access the current function's return address from the
913    stack.  On some machines, the return address is not at a fixed
914    offset from the frame pointer or stack pointer or argument
915    pointer.  This register can be defined to point to the return
916    address on the stack, and then be converted by `ELIMINABLE_REGS'
917    into either the frame pointer or stack pointer.
918
919    Do not define this macro unless there is no other way to get the
920    return address from the stack.  */
921 /* ??? revisit */
922 /* #define RETURN_ADDRESS_POINTER_REGNUM */
923
924 /* Register in which static-chain is passed to a function.  This must
925    not be a register used by the prologue.  */
926 #define STATIC_CHAIN_REGNUM 7
927
928 /* These aren't official macros.  */
929 #define PROLOGUE_TMP_REGNUM 4
930 #define RETURN_ADDR_REGNUM 14
931 /* #define GP_REGNUM 12 */
932 #define CARRY_REGNUM 17
933 #define ACCUM_REGNUM 18
934 #define M32R_MAX_INT_REGS 16
935
936 #ifndef SUBTARGET_GPR_P
937 #define SUBTARGET_GPR_P(REGNO) 0
938 #endif
939
940 #ifndef SUBTARGET_ACCUM_P
941 #define SUBTARGET_ACCUM_P(REGNO) 0
942 #endif
943
944 #ifndef SUBTARGET_CARRY_P
945 #define SUBTARGET_CARRY_P(REGNO) 0
946 #endif
947
948 #define GPR_P(REGNO)   (IN_RANGE_P ((REGNO), 0, 15) || SUBTARGET_GPR_P (REGNO))
949 #define ACCUM_P(REGNO) ((REGNO) == ACCUM_REGNUM || SUBTARGET_ACCUM_P (REGNO))
950 #define CARRY_P(REGNO) ((REGNO) == CARRY_REGNUM || SUBTARGET_CARRY_P (REGNO))
951 \f
952 /* Eliminating the frame and arg pointers.  */
953
954 /* A C expression which is nonzero if a function must have and use a
955    frame pointer.  This expression is evaluated in the reload pass.
956    If its value is nonzero the function will have a frame pointer.  */
957 #define FRAME_POINTER_REQUIRED current_function_calls_alloca
958
959 #if 0
960 /* C statement to store the difference between the frame pointer
961    and the stack pointer values immediately after the function prologue.
962    If `ELIMINABLE_REGS' is defined, this macro will be not be used and
963    need not be defined.  */
964 #define INITIAL_FRAME_POINTER_OFFSET(VAR) \
965 ((VAR) = m32r_compute_frame_size (get_frame_size ()))
966 #endif
967
968 /* If defined, this macro specifies a table of register pairs used to
969    eliminate unneeded registers that point into the stack frame.  If
970    it is not defined, the only elimination attempted by the compiler
971    is to replace references to the frame pointer with references to
972    the stack pointer.
973
974    Note that the elimination of the argument pointer with the stack
975    pointer is specified first since that is the preferred elimination.  */
976
977 #define ELIMINABLE_REGS                                 \
978 {{ FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM },        \
979  { ARG_POINTER_REGNUM,   STACK_POINTER_REGNUM },        \
980  { ARG_POINTER_REGNUM,   FRAME_POINTER_REGNUM }}
981
982 /* A C expression that returns nonzero if the compiler is allowed to
983    try to replace register number FROM-REG with register number
984    TO-REG.  This macro need only be defined if `ELIMINABLE_REGS' is
985    defined, and will usually be the constant 1, since most of the
986    cases preventing register elimination are things that the compiler
987    already knows about.  */
988
989 #define CAN_ELIMINATE(FROM, TO)                                         \
990   ((FROM) == ARG_POINTER_REGNUM && (TO) == STACK_POINTER_REGNUM         \
991    ? ! frame_pointer_needed                                             \
992    : 1)
993
994 /* This macro is similar to `INITIAL_FRAME_POINTER_OFFSET'.  It
995    specifies the initial difference between the specified pair of
996    registers.  This macro must be defined if `ELIMINABLE_REGS' is
997    defined.  */
998
999 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
1000 {                                                                       \
1001   int size = m32r_compute_frame_size (get_frame_size ());               \
1002                                                                         \
1003  if ((FROM) == FRAME_POINTER_REGNUM && (TO) == STACK_POINTER_REGNUM)    \
1004    (OFFSET) = 0;                                                        \
1005  else if ((FROM) == ARG_POINTER_REGNUM && (TO) == FRAME_POINTER_REGNUM) \
1006    (OFFSET) = size - current_function_pretend_args_size;                \
1007  else if ((FROM) == ARG_POINTER_REGNUM && (TO) == STACK_POINTER_REGNUM) \
1008    (OFFSET) = size - current_function_pretend_args_size;                \
1009   else                                                                  \
1010     abort ();                                                           \
1011 }
1012 \f
1013 /* Function argument passing.  */
1014
1015 /* When a prototype says `char' or `short', really pass an `int'.  */
1016 #define PROMOTE_PROTOTYPES 1
1017
1018 /* If defined, the maximum amount of space required for outgoing
1019    arguments will be computed and placed into the variable
1020    `current_function_outgoing_args_size'.  No space will be pushed
1021    onto the stack for each call; instead, the function prologue should
1022    increase the stack frame size by this amount.  */
1023 #define ACCUMULATE_OUTGOING_ARGS 1
1024
1025 /* Define this macro if functions should assume that stack space has
1026    been allocated for arguments even when their values are passed in
1027    registers.
1028
1029    The value of this macro is the size, in bytes, of the area
1030    reserved for arguments passed in registers for the function
1031    represented by FNDECL.
1032
1033    This space can be allocated by the caller, or be a part of the
1034    machine-dependent stack frame: `OUTGOING_REG_PARM_STACK_SPACE' says
1035    which.  */
1036 #if 0
1037 #define REG_PARM_STACK_SPACE(FNDECL) \
1038   (M32R_MAX_PARM_REGS * UNITS_PER_WORD)
1039 #endif
1040
1041 /* Value is the number of bytes of arguments automatically
1042    popped when returning from a subroutine call.
1043    FUNDECL is the declaration node of the function (as a tree),
1044    FUNTYPE is the data type of the function (as a tree),
1045    or for a library call it is an identifier node for the subroutine name.
1046    SIZE is the number of bytes of arguments passed on the stack.  */
1047 #define RETURN_POPS_ARGS(DECL, FUNTYPE, SIZE) 0
1048
1049 /* Nonzero if we do not know how to pass TYPE solely in registers. */
1050 #define MUST_PASS_IN_STACK(MODE, TYPE)                  \
1051   ((TYPE) != 0                                          \
1052    && (TREE_CODE (TYPE_SIZE (TYPE)) != INTEGER_CST      \
1053        || TREE_ADDRESSABLE (TYPE)))
1054
1055 /* Define a data type for recording info about an argument list
1056    during the scan of that argument list.  This data type should
1057    hold all necessary information about the function itself
1058    and about the args processed so far, enough to enable macros
1059    such as FUNCTION_ARG to determine where the next arg should go.  */
1060 #define CUMULATIVE_ARGS int
1061
1062 /* Initialize a variable CUM of type CUMULATIVE_ARGS
1063    for a call to a function whose data type is FNTYPE.
1064    For a library call, FNTYPE is 0.  */
1065 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT) \
1066   ((CUM) = 0)
1067
1068 /* The number of registers used for parameter passing.  Local to this file.  */
1069 #define M32R_MAX_PARM_REGS 4
1070
1071 /* 1 if N is a possible register number for function argument passing.  */
1072 #define FUNCTION_ARG_REGNO_P(N) \
1073   ((unsigned) (N) < M32R_MAX_PARM_REGS)
1074
1075 /* The ROUND_ADVANCE* macros are local to this file.  */
1076 /* Round SIZE up to a word boundary.  */
1077 #define ROUND_ADVANCE(SIZE) \
1078   (((SIZE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
1079
1080 /* Round arg MODE/TYPE up to the next word boundary.  */
1081 #define ROUND_ADVANCE_ARG(MODE, TYPE) \
1082   ((MODE) == BLKmode                            \
1083    ? ROUND_ADVANCE ((unsigned int) int_size_in_bytes (TYPE))    \
1084    : ROUND_ADVANCE ((unsigned int) GET_MODE_SIZE (MODE)))
1085
1086 /* Round CUM up to the necessary point for argument MODE/TYPE.  */
1087 #define ROUND_ADVANCE_CUM(CUM, MODE, TYPE) (CUM)
1088
1089 /* Return boolean indicating arg of type TYPE and mode MODE will be passed in
1090    a reg.  This includes arguments that have to be passed by reference as the
1091    pointer to them is passed in a reg if one is available (and that is what
1092    we're given).
1093    This macro is only used in this file.  */
1094 #define PASS_IN_REG_P(CUM, MODE, TYPE) \
1095   (ROUND_ADVANCE_CUM ((CUM), (MODE), (TYPE)) < M32R_MAX_PARM_REGS)
1096
1097 /* Determine where to put an argument to a function.
1098    Value is zero to push the argument on the stack,
1099    or a hard register in which to store the argument.
1100
1101    MODE is the argument's machine mode.
1102    TYPE is the data type of the argument (as a tree).
1103     This is null for libcalls where that information may
1104     not be available.
1105    CUM is a variable of type CUMULATIVE_ARGS which gives info about
1106     the preceding args and about the function being called.
1107    NAMED is nonzero if this argument is a named parameter
1108     (otherwise it is an extra parameter matching an ellipsis).  */
1109 /* On the M32R the first M32R_MAX_PARM_REGS args are normally in registers
1110    and the rest are pushed.  */
1111 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
1112   (PASS_IN_REG_P ((CUM), (MODE), (TYPE))                        \
1113    ? gen_rtx_REG ((MODE), ROUND_ADVANCE_CUM ((CUM), (MODE), (TYPE)))    \
1114    : 0)
1115
1116 /* A C expression for the number of words, at the beginning of an
1117    argument, must be put in registers.  The value must be zero for
1118    arguments that are passed entirely in registers or that are entirely
1119    pushed on the stack.
1120
1121    On some machines, certain arguments must be passed partially in
1122    registers and partially in memory.  On these machines, typically the
1123    first @var{n} words of arguments are passed in registers, and the rest
1124    on the stack.  If a multi-word argument (a @code{double} or a
1125    structure) crosses that boundary, its first few words must be passed
1126    in registers and the rest must be pushed.  This macro tells the
1127    compiler when this occurs, and how many of the words should go in
1128    registers.  */
1129 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) \
1130   function_arg_partial_nregs (&CUM, (int)MODE, TYPE, NAMED)
1131
1132 /* A C expression that indicates when an argument must be passed by
1133    reference.  If nonzero for an argument, a copy of that argument is
1134    made in memory and a pointer to the argument is passed instead of
1135    the argument itself.  The pointer is passed in whatever way is
1136    appropriate for passing a pointer to that type.  */
1137 /* All arguments greater than 8 bytes are passed this way.  */
1138 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED) \
1139   ((TYPE) && int_size_in_bytes (TYPE) > 8)
1140
1141 /* Update the data in CUM to advance over an argument
1142    of mode MODE and data type TYPE.
1143    (TYPE is null for libcalls where that information may not be available.)  */
1144 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
1145   ((CUM) = (ROUND_ADVANCE_CUM ((CUM), (MODE), (TYPE)) \
1146           + ROUND_ADVANCE_ARG ((MODE), (TYPE))))
1147
1148 /* If defined, a C expression that gives the alignment boundary, in bits,
1149    of an argument with the specified mode and type.  If it is not defined, 
1150    PARM_BOUNDARY is used for all arguments.  */
1151 #if 0
1152 /* We assume PARM_BOUNDARY == UNITS_PER_WORD here.  */
1153 #define FUNCTION_ARG_BOUNDARY(MODE, TYPE) \
1154 (((TYPE) ? TYPE_ALIGN (TYPE) : GET_MODE_BITSIZE (MODE)) <= PARM_BOUNDARY \
1155  ? PARM_BOUNDARY \
1156  : 2 * PARM_BOUNDARY)
1157 #endif
1158
1159 /* This macro offers an alternative
1160    to using `__builtin_saveregs' and defining the macro
1161    `EXPAND_BUILTIN_SAVEREGS'.  Use it to store the anonymous register
1162    arguments into the stack so that all the arguments appear to have
1163    been passed consecutively on the stack.  Once this is done, you
1164    can use the standard implementation of varargs that works for
1165    machines that pass all their arguments on the stack.
1166
1167    The argument ARGS_SO_FAR is the `CUMULATIVE_ARGS' data structure,
1168    containing the values that obtain after processing of the named
1169    arguments.  The arguments MODE and TYPE describe the last named
1170    argument--its machine mode and its data type as a tree node.
1171
1172    The macro implementation should do two things: first, push onto the
1173    stack all the argument registers *not* used for the named
1174    arguments, and second, store the size of the data thus pushed into
1175    the `int'-valued variable whose name is supplied as the argument
1176    PRETEND_SIZE.  The value that you store here will serve as
1177    additional offset for setting up the stack frame.
1178
1179    If the argument NO_RTL is nonzero, it means that the
1180    arguments of the function are being analyzed for the second time.
1181    This happens for an inline function, which is not actually
1182    compiled until the end of the source file.  The macro
1183    `SETUP_INCOMING_VARARGS' should not generate any instructions in
1184    this case.  */
1185
1186 #define SETUP_INCOMING_VARARGS(ARGS_SO_FAR, MODE, TYPE, PRETEND_SIZE, NO_RTL) \
1187  m32r_setup_incoming_varargs (&ARGS_SO_FAR, MODE, TYPE, &PRETEND_SIZE, NO_RTL)
1188
1189 /* Implement `va_arg'.  */
1190 #define EXPAND_BUILTIN_VA_ARG(valist, type) \
1191   m32r_va_arg (valist, type)
1192 \f
1193 /* Function results.  */
1194
1195 /* Define how to find the value returned by a function.
1196    VALTYPE is the data type of the value (as a tree).
1197    If the precise function being called is known, FUNC is its FUNCTION_DECL;
1198    otherwise, FUNC is 0.  */
1199 #define FUNCTION_VALUE(VALTYPE, FUNC) gen_rtx_REG (TYPE_MODE (VALTYPE), 0)
1200
1201 /* Define how to find the value returned by a library function
1202    assuming the value has mode MODE.  */
1203 #define LIBCALL_VALUE(MODE) gen_rtx_REG (MODE, 0)
1204
1205 /* 1 if N is a possible register number for a function value
1206    as seen by the caller.  */
1207 /* ??? What about r1 in DI/DF values.  */
1208 #define FUNCTION_VALUE_REGNO_P(N) ((N) == 0)
1209
1210 /* A C expression which can inhibit the returning of certain function
1211    values in registers, based on the type of value.  A nonzero value says
1212    to return the function value in memory, just as large structures are
1213    always returned.  Here TYPE will be a C expression of type `tree',
1214    representing the data type of the value.  */
1215 #define RETURN_IN_MEMORY(TYPE) \
1216 (int_size_in_bytes (TYPE) > 8)
1217
1218 /* Tell GCC to use RETURN_IN_MEMORY.  */
1219 #define DEFAULT_PCC_STRUCT_RETURN 0
1220
1221 /* Register in which address to store a structure value
1222    is passed to a function, or 0 to use `invisible' first argument.  */
1223 #define STRUCT_VALUE 0
1224 \f
1225 /* Function entry and exit.  */
1226
1227 /* Initialize data used by insn expanders.  This is called from
1228    init_emit, once for each function, before code is generated.  */
1229 #define INIT_EXPANDERS m32r_init_expanders ()
1230
1231 /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function,
1232    the stack pointer does not matter.  The value is tested only in
1233    functions that have frame pointers.
1234    No definition is equivalent to always zero.  */
1235 #define EXIT_IGNORE_STACK 1
1236
1237 /* Output assembler code to FILE to increment profiler label # LABELNO
1238    for profiling a function entry.  */
1239 #define FUNCTION_PROFILER(FILE, LABELNO) abort ()
1240 \f
1241 /* Trampolines.  */
1242
1243 /* On the M32R, the trampoline is
1244
1245         ld24 r7,STATIC
1246         ld24 r6,FUNCTION
1247         jmp r6
1248         nop
1249
1250    ??? Need addr32 support.
1251 */
1252
1253 /* Length in bytes of the trampoline for entering a nested function.  */
1254 #define TRAMPOLINE_SIZE 12
1255
1256 /* Emit RTL insns to initialize the variable parts of a trampoline.
1257    FNADDR is an RTX for the address of the function's pure code.
1258    CXT is an RTX for the static chain value for the function.  */
1259 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
1260 do { \
1261   emit_move_insn (gen_rtx_MEM (SImode, plus_constant (TRAMP, 0)), \
1262                   plus_constant ((CXT), 0xe7000000)); \
1263   emit_move_insn (gen_rtx_MEM (SImode, plus_constant (TRAMP, 4)), \
1264                   plus_constant ((FNADDR), 0xe6000000)); \
1265   emit_move_insn (gen_rtx_MEM (SImode, plus_constant (TRAMP, 8)), \
1266                   GEN_INT (0x1fc67000)); \
1267   emit_insn (gen_flush_icache (validize_mem (gen_rtx_MEM (SImode, TRAMP)))); \
1268 } while (0)
1269 \f
1270 /* Library calls.  */
1271
1272 /* Generate calls to memcpy, memcmp and memset.  */
1273 #define TARGET_MEM_FUNCTIONS
1274 \f
1275 /* Addressing modes, and classification of registers for them.  */
1276
1277 /* Maximum number of registers that can appear in a valid memory address.  */
1278 #define MAX_REGS_PER_ADDRESS 1
1279
1280 /* We have post-inc load and pre-dec,pre-inc store,
1281    but only for 4 byte vals.  */
1282 #define HAVE_PRE_DECREMENT 1
1283 #define HAVE_PRE_INCREMENT 1
1284 #define HAVE_POST_INCREMENT 1
1285
1286 /* Recognize any constant value that is a valid address.  */
1287 #define CONSTANT_ADDRESS_P(X) \
1288 (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF        \
1289  || GET_CODE (X) == CONST_INT || GET_CODE (X) == CONST)
1290
1291 /* Nonzero if the constant value X is a legitimate general operand.
1292    We don't allow (plus symbol large-constant) as the relocations can't
1293    describe it.  INTVAL > 32767 handles both 16 bit and 24 bit relocations.
1294    We allow all CONST_DOUBLE's as the md file patterns will force the
1295    constant to memory if they can't handle them.  */
1296
1297 #define LEGITIMATE_CONSTANT_P(X)                                        \
1298 (! (GET_CODE (X) == CONST                                               \
1299     && GET_CODE (XEXP (X, 0)) == PLUS                                   \
1300     && GET_CODE (XEXP (XEXP (X, 0), 0)) == SYMBOL_REF                   \
1301     && GET_CODE (XEXP (XEXP (X, 0), 1)) == CONST_INT                    \
1302     && (unsigned HOST_WIDE_INT) INTVAL (XEXP (XEXP (X, 0), 1)) > 32767))
1303
1304 /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx
1305    and check its validity for a certain class.
1306    We have two alternate definitions for each of them.
1307    The usual definition accepts all pseudo regs; the other rejects
1308    them unless they have been allocated suitable hard regs.
1309    The symbol REG_OK_STRICT causes the latter definition to be used.
1310
1311    Most source files want to accept pseudo regs in the hope that
1312    they will get allocated to the class that the insn wants them to be in.
1313    Source files for reload pass need to be strict.
1314    After reload, it makes no difference, since pseudo regs have
1315    been eliminated by then.  */
1316
1317 #ifdef REG_OK_STRICT
1318
1319 /* Nonzero if X is a hard reg that can be used as a base reg.  */
1320 #define REG_OK_FOR_BASE_P(X) GPR_P (REGNO (X))
1321 /* Nonzero if X is a hard reg that can be used as an index.  */
1322 #define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
1323
1324 #else
1325
1326 /* Nonzero if X is a hard reg that can be used as a base reg
1327    or if it is a pseudo reg.  */
1328 #define REG_OK_FOR_BASE_P(X)            \
1329 (GPR_P (REGNO (X))                      \
1330  || (REGNO (X)) == ARG_POINTER_REGNUM   \
1331  || REGNO (X) >= FIRST_PSEUDO_REGISTER)
1332 /* Nonzero if X is a hard reg that can be used as an index
1333    or if it is a pseudo reg.  */
1334 #define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X)
1335
1336 #endif
1337
1338 /* GO_IF_LEGITIMATE_ADDRESS recognizes an RTL expression
1339    that is a valid memory address for an instruction.
1340    The MODE argument is the machine mode for the MEM expression
1341    that wants to use this address.  */
1342
1343 /* Local to this file.  */
1344 #define RTX_OK_FOR_BASE_P(X) (REG_P (X) && REG_OK_FOR_BASE_P (X))
1345
1346 /* Local to this file.  */
1347 #define RTX_OK_FOR_OFFSET_P(X) \
1348 (GET_CODE (X) == CONST_INT && INT16_P (INTVAL (X)))
1349
1350 /* Local to this file.  */
1351 #define LEGITIMATE_OFFSET_ADDRESS_P(MODE, X)                            \
1352 (GET_CODE (X) == PLUS                                                   \
1353  && RTX_OK_FOR_BASE_P (XEXP (X, 0))                                     \
1354  && RTX_OK_FOR_OFFSET_P (XEXP (X, 1)))
1355
1356 /* Local to this file.  */
1357 /* For LO_SUM addresses, do not allow them if the MODE is > 1 word,
1358    since more than one instruction will be required.  */
1359 #define LEGITIMATE_LO_SUM_ADDRESS_P(MODE, X)                            \
1360 (GET_CODE (X) == LO_SUM                                                 \
1361  && (MODE != BLKmode && GET_MODE_SIZE (MODE) <= UNITS_PER_WORD)         \
1362  && RTX_OK_FOR_BASE_P (XEXP (X, 0))                                     \
1363  && CONSTANT_P (XEXP (X, 1)))
1364
1365 /* Local to this file.  */
1366 /* Is this a load and increment operation.  */
1367 #define LOAD_POSTINC_P(MODE, X)                                         \
1368 (((MODE) == SImode || (MODE) == SFmode)                                 \
1369  && GET_CODE (X) == POST_INC                                            \
1370  && GET_CODE (XEXP (X, 0)) == REG                                       \
1371  && RTX_OK_FOR_BASE_P (XEXP (X, 0)))
1372
1373 /* Local to this file.  */
1374 /* Is this an increment/decrement and store operation.  */
1375 #define STORE_PREINC_PREDEC_P(MODE, X)                                  \
1376 (((MODE) == SImode || (MODE) == SFmode)                                 \
1377  && (GET_CODE (X) == PRE_INC || GET_CODE (X) == PRE_DEC)                \
1378  && GET_CODE (XEXP (X, 0)) == REG                                       \
1379  && RTX_OK_FOR_BASE_P (XEXP (X, 0)))
1380
1381 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR)                         \
1382 { if (RTX_OK_FOR_BASE_P (X))                                            \
1383     goto ADDR;                                                          \
1384   if (LEGITIMATE_OFFSET_ADDRESS_P ((MODE), (X)))                        \
1385     goto ADDR;                                                          \
1386   if (LEGITIMATE_LO_SUM_ADDRESS_P ((MODE), (X)))                        \
1387     goto ADDR;                                                          \
1388   if (LOAD_POSTINC_P ((MODE), (X)))                                     \
1389     goto ADDR;                                                          \
1390   if (STORE_PREINC_PREDEC_P ((MODE), (X)))                              \
1391     goto ADDR;                                                          \
1392 }
1393
1394 /* Try machine-dependent ways of modifying an illegitimate address
1395    to be legitimate.  If we find one, return the new, valid address.
1396    This macro is used in only one place: `memory_address' in explow.c.
1397
1398    OLDX is the address as it was before break_out_memory_refs was called.
1399    In some cases it is useful to look at this to decide what needs to be done.
1400
1401    MODE and WIN are passed so that this macro can use
1402    GO_IF_LEGITIMATE_ADDRESS.
1403
1404    It is always safe for this macro to do nothing.  It exists to recognize
1405    opportunities to optimize the output.
1406
1407    ??? Is there anything useful we can do here for the M32R?  */
1408
1409 #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN)
1410
1411 /* Go to LABEL if ADDR (a legitimate address expression)
1412    has an effect that depends on the machine mode it is used for.  */
1413 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR, LABEL)                       \
1414 do {                                                                    \
1415   if (GET_CODE (ADDR) == PRE_DEC                                        \
1416       || GET_CODE (ADDR) == PRE_INC                                     \
1417       || GET_CODE (ADDR) == POST_INC                                    \
1418       || GET_CODE (ADDR) == LO_SUM)                                     \
1419     goto LABEL;                                                         \
1420 } while (0)
1421 \f
1422 /* Condition code usage.  */
1423
1424 /* Return nonzero if SELECT_CC_MODE will never return MODE for a
1425    floating point inequality comparison.  */
1426 #define REVERSIBLE_CC_MODE(MODE) 1 /*???*/
1427 \f
1428 /* Costs.  */
1429
1430 /* Compute extra cost of moving data between one register class
1431    and another.  */
1432 #define REGISTER_MOVE_COST(MODE, CLASS1, CLASS2) 2
1433
1434 /* Compute the cost of moving data between registers and memory.  */
1435 /* Memory is 3 times as expensive as registers.
1436    ??? Is that the right way to look at it?  */
1437 #define MEMORY_MOVE_COST(MODE,CLASS,IN_P) \
1438 (GET_MODE_SIZE (MODE) <= UNITS_PER_WORD ? 6 : 12)
1439
1440 /* The cost of a branch insn.  */
1441 /* A value of 2 here causes GCC to avoid using branches in comparisons like
1442    while (a < N && a).  Branches aren't that expensive on the M32R so
1443    we define this as 1.  Defining it as 2 had a heavy hit in fp-bit.c.  */
1444 #define BRANCH_COST ((TARGET_BRANCH_COST) ? 2 : 1)
1445
1446 /* Nonzero if access to memory by bytes is slow and undesirable.
1447    For RISC chips, it means that access to memory by bytes is no
1448    better than access by words when possible, so grab a whole word
1449    and maybe make use of that.  */
1450 #define SLOW_BYTE_ACCESS 1
1451
1452 /* Define this macro if it is as good or better to call a constant
1453    function address than to call an address kept in a register.  */
1454 #define NO_FUNCTION_CSE
1455
1456 /* Define this macro if it is as good or better for a function to call
1457    itself with an explicit address than to call an address kept in a
1458    register.  */
1459 #define NO_RECURSIVE_FUNCTION_CSE
1460
1461 /* When the `length' insn attribute is used, this macro specifies the
1462    value to be assigned to the address of the first insn in a
1463    function.  If not specified, 0 is used.  */
1464 #define FIRST_INSN_ADDRESS m32r_first_insn_address ()
1465
1466 \f
1467 /* Section selection.  */
1468
1469 #define TEXT_SECTION_ASM_OP     "\t.section .text"
1470 #define DATA_SECTION_ASM_OP     "\t.section .data"
1471 #define RODATA_SECTION_ASM_OP   "\t.section .rodata"
1472 #define BSS_SECTION_ASM_OP      "\t.section .bss"
1473 #define SDATA_SECTION_ASM_OP    "\t.section .sdata"
1474 #define SBSS_SECTION_ASM_OP     "\t.section .sbss"
1475 /* This one is for svr4.h.  */
1476 #undef  READONLY_DATA_SECTION_ASM_OP
1477 #define READONLY_DATA_SECTION_ASM_OP    "\t.section .rodata"
1478
1479 /* A list of names for sections other than the standard two, which are
1480    `in_text' and `in_data'.  You need not define this macro
1481    on a system with no other sections (that GCC needs to use).  */
1482 #undef  EXTRA_SECTIONS
1483 #define EXTRA_SECTIONS in_sdata, in_sbss
1484
1485 /* One or more functions to be defined in "varasm.c".  These
1486    functions should do jobs analogous to those of `text_section' and
1487    `data_section', for your additional sections.  Do not define this
1488    macro if you do not define `EXTRA_SECTIONS'.  */
1489 #undef  EXTRA_SECTION_FUNCTIONS
1490 #define EXTRA_SECTION_FUNCTIONS \
1491   SDATA_SECTION_FUNCTION        \
1492   SBSS_SECTION_FUNCTION
1493
1494 #define SDATA_SECTION_FUNCTION                                          \
1495 void                                                                    \
1496 sdata_section ()                                                        \
1497 {                                                                       \
1498   if (in_section != in_sdata)                                           \
1499     {                                                                   \
1500       fprintf (asm_out_file, "%s\n", SDATA_SECTION_ASM_OP);             \
1501       in_section = in_sdata;                                            \
1502     }                                                                   \
1503 }                                                                       \
1504
1505 #define SBSS_SECTION_FUNCTION                                           \
1506 void                                                                    \
1507 sbss_section ()                                                         \
1508 {                                                                       \
1509   if (in_section != in_sbss)                                            \
1510     {                                                                   \
1511       fprintf (asm_out_file, "%s\n", SBSS_SECTION_ASM_OP);              \
1512       in_section = in_sbss;                                             \
1513     }                                                                   \
1514 }                                                                       \
1515
1516 #undef  TARGET_ASM_SELECT_SECTION
1517 #define TARGET_ASM_SELECT_SECTION  m32r_select_section
1518
1519 /* Define this macro if jump tables (for tablejump insns) should be
1520    output in the text section, along with the assembler instructions.
1521    Otherwise, the readonly data section is used.
1522    This macro is irrelevant if there is no separate readonly data section.  */
1523 /*#define JUMP_TABLES_IN_TEXT_SECTION*/
1524
1525 /* Define this macro if references to a symbol must be treated
1526    differently depending on something about the variable or
1527    function named by the symbol (such as what section it is in).
1528
1529    The macro definition, if any, is executed immediately after the
1530    rtl for DECL or other node is created.
1531    The value of the rtl will be a `mem' whose address is a
1532    `symbol_ref'.
1533
1534    The usual thing for this macro to do is to store a flag in the
1535    `symbol_ref' (such as `SYMBOL_REF_FLAG') or to store a modified
1536    name string in the `symbol_ref' (if one bit is not enough
1537    information).  */
1538
1539 #define SDATA_FLAG_CHAR '@'
1540 /* Small objects are recorded with no prefix for space efficiency since
1541    they'll be the most common.  This isn't the case if the user passes
1542    -mmodel={medium|large} and one could choose to not mark symbols that
1543    are the default, but that complicates things.  */
1544 /*#define SMALL_FLAG_CHAR '#'*/
1545 #define MEDIUM_FLAG_CHAR '%'
1546 #define LARGE_FLAG_CHAR '&'
1547
1548 #define SDATA_NAME_P(NAME) (*(NAME) == SDATA_FLAG_CHAR)
1549 /*#define SMALL_NAME_P(NAME) (*(NAME) == SMALL_FLAG_CHAR)*/
1550 #define SMALL_NAME_P(NAME) (! ENCODED_NAME_P (NAME) && ! LIT_NAME_P (NAME))
1551 #define MEDIUM_NAME_P(NAME) (*(NAME) == MEDIUM_FLAG_CHAR)
1552 #define LARGE_NAME_P(NAME) (*(NAME) == LARGE_FLAG_CHAR)
1553 /* For string literals, etc.  */
1554 #define LIT_NAME_P(NAME) ((NAME)[0] == '*' && (NAME)[1] == '.')
1555
1556 #define ENCODED_NAME_P(SYMBOL_NAME) \
1557 (SDATA_NAME_P (SYMBOL_NAME) \
1558  /*|| SMALL_NAME_P (SYMBOL_NAME)*/ \
1559  || MEDIUM_NAME_P (SYMBOL_NAME) \
1560  || LARGE_NAME_P (SYMBOL_NAME))
1561 \f
1562 /* PIC */
1563
1564 /* The register number of the register used to address a table of static
1565    data addresses in memory.  In some cases this register is defined by a
1566    processor's ``application binary interface'' (ABI).  When this macro
1567    is defined, RTL is generated for this register once, as with the stack
1568    pointer and frame pointer registers.  If this macro is not defined, it
1569    is up to the machine-dependent files to allocate such a register (if
1570    necessary).  */
1571 /*#define PIC_OFFSET_TABLE_REGNUM 12*/
1572
1573 /* Define this macro if the register defined by PIC_OFFSET_TABLE_REGNUM is
1574    clobbered by calls.  Do not define this macro if PIC_OFFSET_TABLE_REGNUM
1575    is not defined.  */
1576 /* This register is call-saved on the M32R.  */
1577 /*#define PIC_OFFSET_TABLE_REG_CALL_CLOBBERED*/
1578
1579 /* By generating position-independent code, when two different programs (A
1580    and B) share a common library (libC.a), the text of the library can be
1581    shared whether or not the library is linked at the same address for both
1582    programs.  In some of these environments, position-independent code
1583    requires not only the use of different addressing modes, but also
1584    special code to enable the use of these addressing modes.
1585
1586    The FINALIZE_PIC macro serves as a hook to emit these special
1587    codes once the function is being compiled into assembly code, but not
1588    before.  (It is not done before, because in the case of compiling an
1589    inline function, it would lead to multiple PIC prologues being
1590    included in functions which used inline functions and were compiled to
1591    assembly language.)  */
1592
1593 /*#define FINALIZE_PIC m32r_finalize_pic ()*/
1594
1595 /* A C expression that is nonzero if X is a legitimate immediate
1596    operand on the target machine when generating position independent code.
1597    You can assume that X satisfies CONSTANT_P, so you need not
1598    check this.  You can also assume `flag_pic' is true, so you need not
1599    check it either.  You need not define this macro if all constants
1600    (including SYMBOL_REF) can be immediate operands when generating
1601    position independent code.  */
1602 /*#define LEGITIMATE_PIC_OPERAND_P(X)*/
1603 \f
1604 /* Control the assembler format that we output.  */
1605
1606 /* Output at beginning of assembler file.  */
1607 #define ASM_FILE_START(FILE) m32r_asm_file_start (FILE)
1608
1609 /* A C string constant describing how to begin a comment in the target
1610    assembler language.  The compiler assumes that the comment will
1611    end at the end of the line.  */
1612 #define ASM_COMMENT_START ";"
1613
1614 /* Output to assembler file text saying following lines
1615    may contain character constants, extra white space, comments, etc.  */
1616 #define ASM_APP_ON ""
1617
1618 /* Output to assembler file text saying following lines
1619    no longer contain unusual constructs.  */
1620 #define ASM_APP_OFF ""
1621
1622 /* Globalizing directive for a label.  */
1623 #define GLOBAL_ASM_OP "\t.global\t"
1624
1625 /* This is how to output a reference to a user-level label named NAME.
1626    `assemble_name' uses this.  */
1627 #undef  ASM_OUTPUT_LABELREF
1628 #define ASM_OUTPUT_LABELREF(FILE, NAME) \
1629   asm_fprintf (FILE, "%U%s", (*targetm.strip_name_encoding) (NAME))
1630
1631 /* If -Os, don't force line number labels to begin at the beginning of
1632    the word; we still want the assembler to try to put things in parallel,
1633    should that be possible.
1634    For m32r/d, instructions are never in parallel (other than with a nop)
1635    and the simulator and stub both handle a breakpoint in the middle of
1636    a word so don't ever force line number labels to begin at the beginning
1637    of a word.  */
1638
1639 #undef  ASM_OUTPUT_SOURCE_LINE
1640 #define ASM_OUTPUT_SOURCE_LINE(file, line)                              \
1641   do                                                                    \
1642     {                                                                   \
1643       static int sym_lineno = 1;                                        \
1644       fprintf (file, ".stabn 68,0,%d,.LM%d-",                           \
1645                line, sym_lineno);                                       \
1646       assemble_name                                                     \
1647         (file, XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0));   \
1648       fprintf (file, (optimize_size || TARGET_M32R)                     \
1649                ? "\n\t.debugsym .LM%d\n"                                \
1650                : "\n.LM%d:\n",                                          \
1651                sym_lineno);                                             \
1652       sym_lineno += 1;                                                  \
1653     }                                                                   \
1654   while (0)
1655
1656 /* How to refer to registers in assembler output.
1657    This sequence is indexed by compiler's hard-register-number (see above).  */
1658 #ifndef SUBTARGET_REGISTER_NAMES
1659 #define SUBTARGET_REGISTER_NAMES
1660 #endif
1661
1662 #define REGISTER_NAMES                                  \
1663 {                                                       \
1664   "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",       \
1665   "r8", "r9", "r10", "r11", "r12", "fp", "lr", "sp",    \
1666   "ap", "cbit", "a0"                                    \
1667   SUBTARGET_REGISTER_NAMES                              \
1668 }
1669
1670 /* If defined, a C initializer for an array of structures containing
1671    a name and a register number.  This macro defines additional names
1672    for hard registers, thus allowing the `asm' option in declarations
1673    to refer to registers using alternate names.  */
1674 #ifndef SUBTARGET_ADDITIONAL_REGISTER_NAMES
1675 #define SUBTARGET_ADDITIONAL_REGISTER_NAMES
1676 #endif
1677
1678 #define ADDITIONAL_REGISTER_NAMES       \
1679 {                                       \
1680   /*{ "gp", GP_REGNUM },*/              \
1681   { "r13", FRAME_POINTER_REGNUM },      \
1682   { "r14", RETURN_ADDR_REGNUM },        \
1683   { "r15", STACK_POINTER_REGNUM },      \
1684   SUBTARGET_ADDITIONAL_REGISTER_NAMES   \
1685 }
1686
1687 /* A C expression which evaluates to true if CODE is a valid
1688    punctuation character for use in the `PRINT_OPERAND' macro.  */
1689 extern char m32r_punct_chars[256];
1690 #define PRINT_OPERAND_PUNCT_VALID_P(CHAR) \
1691   m32r_punct_chars[(unsigned char) (CHAR)]
1692
1693 /* Print operand X (an rtx) in assembler syntax to file FILE.
1694    CODE is a letter or dot (`z' in `%z0') or 0 if no letter was specified.
1695    For `%' followed by punctuation, CODE is the punctuation and X is null.  */
1696 #define PRINT_OPERAND(FILE, X, CODE) \
1697   m32r_print_operand (FILE, X, CODE)
1698
1699 /* A C compound statement to output to stdio stream STREAM the
1700    assembler syntax for an instruction operand that is a memory
1701    reference whose address is ADDR.  ADDR is an RTL expression.  */
1702 #define PRINT_OPERAND_ADDRESS(FILE, ADDR) \
1703   m32r_print_operand_address (FILE, ADDR)
1704
1705 /* If defined, C string expressions to be used for the `%R', `%L',
1706    `%U', and `%I' options of `asm_fprintf' (see `final.c').  These
1707    are useful when a single `md' file must support multiple assembler
1708    formats.  In that case, the various `tm.h' files can define these
1709    macros differently.  */
1710 #define REGISTER_PREFIX ""
1711 #define LOCAL_LABEL_PREFIX ".L"
1712 #define USER_LABEL_PREFIX ""
1713 #define IMMEDIATE_PREFIX "#"
1714
1715 /* This is how to output an element of a case-vector that is absolute.  */
1716 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE)            \
1717    do                                                   \
1718      {                                                  \
1719        char label[30];                                  \
1720        ASM_GENERATE_INTERNAL_LABEL (label, "L", VALUE); \
1721        fprintf (FILE, "\t.word\t");                     \
1722        assemble_name (FILE, label);                     \
1723        fprintf (FILE, "\n");                            \
1724      }                                                  \
1725   while (0)
1726
1727 /* This is how to output an element of a case-vector that is relative.  */
1728 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL)\
1729   do                                                    \
1730     {                                                   \
1731       char label[30];                                   \
1732       ASM_GENERATE_INTERNAL_LABEL (label, "L", VALUE);  \
1733       fprintf (FILE, "\t.word\t");                      \
1734       assemble_name (FILE, label);                      \
1735       fprintf (FILE, "-");                              \
1736       ASM_GENERATE_INTERNAL_LABEL (label, "L", REL);    \
1737       assemble_name (FILE, label);                      \
1738       fprintf (FILE, ")\n");                            \
1739     }                                                   \
1740   while (0)
1741
1742 /* The desired alignment for the location counter at the beginning
1743    of a loop.  */
1744 /* On the M32R, align loops to 32 byte boundaries (cache line size)
1745    if -malign-loops.  */
1746 #define LOOP_ALIGN(LABEL) (TARGET_ALIGN_LOOPS ? 5 : 0)
1747
1748 /* Define this to be the maximum number of insns to move around when moving
1749    a loop test from the top of a loop to the bottom
1750    and seeing whether to duplicate it.  The default is thirty.
1751
1752    Loop unrolling currently doesn't like this optimization, so
1753    disable doing if we are unrolling loops and saving space.  */
1754 #define LOOP_TEST_THRESHOLD (optimize_size                              \
1755                              && !flag_unroll_loops                      \
1756                              && !flag_unroll_all_loops ? 2 : 30)
1757
1758 /* This is how to output an assembler line
1759    that says to advance the location counter
1760    to a multiple of 2**LOG bytes.  */
1761 /* .balign is used to avoid confusion.  */
1762 #define ASM_OUTPUT_ALIGN(FILE,LOG)                      \
1763   do                                                    \
1764     {                                                   \
1765       if ((LOG) != 0)                                   \
1766         fprintf (FILE, "\t.balign %d\n", 1 << (LOG));   \
1767     }                                                   \
1768   while (0)
1769
1770 /* Like `ASM_OUTPUT_COMMON' except takes the required alignment as a
1771    separate, explicit argument.  If you define this macro, it is used in
1772    place of `ASM_OUTPUT_COMMON', and gives you more flexibility in
1773    handling the required alignment of the variable.  The alignment is
1774    specified as the number of bits.  */
1775
1776 #define SCOMMON_ASM_OP "\t.scomm\t"
1777
1778 #undef  ASM_OUTPUT_ALIGNED_COMMON
1779 #define ASM_OUTPUT_ALIGNED_COMMON(FILE, NAME, SIZE, ALIGN)              \
1780   do                                                                    \
1781     {                                                                   \
1782       if (! TARGET_SDATA_NONE                                           \
1783           && (SIZE) > 0 && (SIZE) <= g_switch_value)                    \
1784         fprintf ((FILE), "%s", SCOMMON_ASM_OP);                         \
1785       else                                                              \
1786         fprintf ((FILE), "%s", COMMON_ASM_OP);                          \
1787       assemble_name ((FILE), (NAME));                                   \
1788       fprintf ((FILE), ",%u,%u\n", (SIZE), (ALIGN) / BITS_PER_UNIT);    \
1789     }                                                                   \
1790   while (0)
1791
1792 /* Like `ASM_OUTPUT_BSS' except takes the required alignment as a
1793    separate, explicit argument.  If you define this macro, it is used in
1794    place of `ASM_OUTPUT_BSS', and gives you more flexibility in
1795    handling the required alignment of the variable.  The alignment is
1796    specified as the number of bits.
1797
1798    For the M32R we need sbss support.  */
1799
1800 #define ASM_OUTPUT_ALIGNED_BSS(FILE, DECL, NAME, SIZE, ALIGN)   \
1801   do                                                            \
1802     {                                                           \
1803       (*targetm.asm_out.globalize_label) (FILE, NAME);          \
1804       ASM_OUTPUT_ALIGNED_COMMON (FILE, NAME, SIZE, ALIGN);      \
1805     }                                                           \
1806   while (0)
1807 \f
1808 /* Debugging information.  */
1809
1810 /* Generate DBX and DWARF debugging information.  */
1811 #define DBX_DEBUGGING_INFO 1
1812 #define DWARF_DEBUGGING_INFO 1
1813 #define DWARF2_DEBUGGING_INFO 1
1814
1815 /* Prefer STABS (for now).  */
1816 #undef  PREFERRED_DEBUGGING_TYPE
1817 #define PREFERRED_DEBUGGING_TYPE DBX_DEBUG
1818
1819 /* Turn off splitting of long stabs.  */
1820 #define DBX_CONTIN_LENGTH 0
1821 \f
1822 /* Miscellaneous.  */
1823
1824 /* Specify the machine mode that this machine uses
1825    for the index in the tablejump instruction.  */
1826 #define CASE_VECTOR_MODE Pmode
1827
1828 /* Define as C expression which evaluates to nonzero if the tablejump
1829    instruction expects the table to contain offsets from the address of the
1830    table.
1831    Do not define this if the table should contain absolute addresses. */
1832 /* It's not clear what PIC will look like or whether we want to use -fpic
1833    for the embedded form currently being talked about.  For now require -fpic
1834    to get pc relative switch tables.  */
1835 /*#define CASE_VECTOR_PC_RELATIVE 1 */
1836
1837 /* Define if operations between registers always perform the operation
1838    on the full register even if a narrower mode is specified.  */
1839 #define WORD_REGISTER_OPERATIONS
1840
1841 /* Define if loading in MODE, an integral mode narrower than BITS_PER_WORD
1842    will either zero-extend or sign-extend.  The value of this macro should
1843    be the code that says which one of the two operations is implicitly
1844    done, NIL if none.  */
1845 #define LOAD_EXTEND_OP(MODE) ZERO_EXTEND
1846
1847 /* Max number of bytes we can move from memory to memory
1848    in one reasonably fast instruction.  */
1849 #define MOVE_MAX 4
1850
1851 /* Define this to be nonzero if shift instructions ignore all but the low-order
1852    few bits.  */
1853 #define SHIFT_COUNT_TRUNCATED 1
1854
1855 /* Value is 1 if truncating an integer of INPREC bits to OUTPREC bits
1856    is done just by pretending it is already truncated.  */
1857 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1858
1859 /* We assume that the store-condition-codes instructions store 0 for false
1860    and some other value for true.  This is the value stored for true.  */
1861 #define STORE_FLAG_VALUE 1
1862
1863 /* Specify the machine mode that pointers have.
1864    After generation of rtl, the compiler makes no further distinction
1865    between pointers and any other objects of this machine mode.  */
1866 /* ??? The M32R doesn't have full 32 bit pointers, but making this PSImode has
1867    it's own problems (you have to add extendpsisi2 and truncsipsi2).
1868    Try to avoid it.  */
1869 #define Pmode SImode
1870
1871 /* A function address in a call instruction.  */
1872 #define FUNCTION_MODE SImode
1873 \f
1874 /* Define the information needed to generate branch and scc insns.  This is
1875    stored from the compare operation.  Note that we can't use "rtx" here
1876    since it hasn't been defined!  */
1877 extern struct rtx_def * m32r_compare_op0;
1878 extern struct rtx_def * m32r_compare_op1;
1879
1880 /* M32R function types.   */
1881 enum m32r_function_type
1882 {
1883   M32R_FUNCTION_UNKNOWN, M32R_FUNCTION_NORMAL, M32R_FUNCTION_INTERRUPT
1884 };
1885
1886 #define M32R_INTERRUPT_P(TYPE) ((TYPE) == M32R_FUNCTION_INTERRUPT)
1887
1888 /* Define this if you have defined special-purpose predicates in the
1889    file `MACHINE.c'.  This macro is called within an initializer of an
1890    array of structures.  The first field in the structure is the name
1891    of a predicate and the second field is an array of rtl codes.  For
1892    each predicate, list all rtl codes that can be in expressions
1893    matched by the predicate.  The list should have a trailing comma.  */
1894
1895 #define PREDICATE_CODES                                                 \
1896 { "reg_or_zero_operand",        { REG, SUBREG, CONST_INT }},            \
1897 { "conditional_move_operand",   { REG, SUBREG, CONST_INT }},            \
1898 { "carry_compare_operand",      { EQ, NE }},                            \
1899 { "eqne_comparison_operator",   { EQ, NE }},                            \
1900 { "signed_comparison_operator", { EQ, NE, LT, LE, GT, GE }},            \
1901 { "move_dest_operand",          { REG, SUBREG, MEM }},                  \
1902 { "move_src_operand",           { REG, SUBREG, MEM, CONST_INT,          \
1903                                   CONST_DOUBLE, LABEL_REF, CONST,       \
1904                                   SYMBOL_REF }},                        \
1905 { "move_double_src_operand",    { REG, SUBREG, MEM, CONST_INT,          \
1906                                   CONST_DOUBLE }},                      \
1907 { "two_insn_const_operand",     { CONST_INT }},                         \
1908 { "symbolic_operand",           { SYMBOL_REF, LABEL_REF, CONST }},      \
1909 { "seth_add3_operand",          { SYMBOL_REF, LABEL_REF, CONST }},      \
1910 { "int8_operand",               { CONST_INT }},                         \
1911 { "uint16_operand",             { CONST_INT }},                         \
1912 { "reg_or_int16_operand",       { REG, SUBREG, CONST_INT }},            \
1913 { "reg_or_uint16_operand",      { REG, SUBREG, CONST_INT }},            \
1914 { "reg_or_cmp_int16_operand",   { REG, SUBREG, CONST_INT }},            \
1915 { "reg_or_eq_int16_operand",    { REG, SUBREG, CONST_INT }},            \
1916 { "cmp_int16_operand",          { CONST_INT }},                         \
1917 { "call_address_operand",       { SYMBOL_REF, LABEL_REF, CONST }},      \
1918 { "extend_operand",             { REG, SUBREG, MEM }},                  \
1919 { "small_insn_p",               { INSN, CALL_INSN, JUMP_INSN }},        \
1920 { "m32r_block_immediate_operand",{ CONST_INT }},                        \
1921 { "large_insn_p",               { INSN, CALL_INSN, JUMP_INSN }},        \
1922 { "seth_add3_operand",          { SYMBOL_REF, LABEL_REF, CONST }},
1923