xref: /netbsd-src/external/gpl3/gcc.old/dist/gcc/config/m32r/m32r.h (revision 82d56013d7b633d116a93943de88e08335357a7c)
1 /* Definitions of target machine for GNU compiler, Renesas M32R cpu.
2    Copyright (C) 1996-2019 Free Software Foundation, Inc.
3 
4    This file is part of GCC.
5 
6    GCC is free software; you can redistribute it and/or modify it
7    under the terms of the GNU General Public License as published
8    by the Free Software Foundation; either version 3, or (at your
9    option) any later version.
10 
11    GCC is distributed in the hope that it will be useful, but WITHOUT
12    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
14    License for more details.
15 
16    You should have received a copy of the GNU General Public License
17    along with GCC; see the file COPYING3.  If not see
18    <http://www.gnu.org/licenses/>.  */
19 
20 /* Things to do:
21 - longlong.h?
22 */
23 
24 #undef SIZE_TYPE
25 #undef PTRDIFF_TYPE
26 #undef WCHAR_TYPE
27 #undef WCHAR_TYPE_SIZE
28 #undef CPP_SPEC
29 #undef ASM_SPEC
30 #undef LINK_SPEC
31 #undef STARTFILE_SPEC
32 #undef ENDFILE_SPEC
33 
34 #undef ASM_APP_ON
35 #undef ASM_APP_OFF
36 
37 
38 /* M32R/X overrides.  */
39 
40 /* Additional flags for the preprocessor.  */
41 #define CPP_CPU_SPEC "%{m32rx:-D__M32RX__ -D__m32rx__ -U__M32R2__ -U__m32r2__} \
42 %{m32r2:-D__M32R2__ -D__m32r2__ -U__M32RX__ -U__m32rx__} \
43 %{m32r:-U__M32RX__  -U__m32rx__ -U__M32R2__ -U__m32r2__} \
44  "
45 
46 /* Assembler switches.  */
47 #define ASM_CPU_SPEC \
48 "%{m32r} %{m32rx} %{m32r2} %{!O0: %{O*: -O}} --no-warn-explicit-parallel-conflicts"
49 
50 /* Use m32rx specific crt0/crtinit/crtfini files.  */
51 #define STARTFILE_CPU_SPEC "%{!shared:crt0.o%s} %{m32rx:m32rx/crtinit.o%s} %{!m32rx:crtinit.o%s}"
52 #define ENDFILE_CPU_SPEC "-lgloss %{m32rx:m32rx/crtfini.o%s} %{!m32rx:crtfini.o%s}"
53 
54 /* Define this macro as a C expression for the initializer of an array of
55    strings to tell the driver program which options are defaults for this
56    target and thus do not need to be handled specially when using
57    `MULTILIB_OPTIONS'.  */
58 #define SUBTARGET_MULTILIB_DEFAULTS , "m32r"
59 
60 /* Number of additional registers the subtarget defines.  */
61 #define SUBTARGET_NUM_REGISTERS 1
62 
63 /* 1 for registers that cannot be allocated.  */
64 #define SUBTARGET_FIXED_REGISTERS , 1
65 
66 /* 1 for registers that are not available across function calls.  */
67 #define SUBTARGET_CALL_USED_REGISTERS , 1
68 
69 /* Order to allocate model specific registers.  */
70 #define SUBTARGET_REG_ALLOC_ORDER , 19
71 
72 /* Registers which are accumulators.  */
73 #define SUBTARGET_REG_CLASS_ACCUM 0x80000
74 
75 /* All registers added.  */
76 #define SUBTARGET_REG_CLASS_ALL SUBTARGET_REG_CLASS_ACCUM
77 
78 /* Additional accumulator registers.  */
79 #define SUBTARGET_ACCUM_P(REGNO) ((REGNO) == 19)
80 
81 /* Define additional register names.  */
82 #define SUBTARGET_REGISTER_NAMES , "a1"
83 /* end M32R/X overrides.  */
84 
85 /* Names to predefine in the preprocessor for this target machine.  */
86 /* __M32R__ is defined by the existing compiler so we use that.  */
87 #define TARGET_CPU_CPP_BUILTINS()		\
88   do						\
89     {						\
90       builtin_define ("__M32R__");		\
91       builtin_define ("__m32r__");		\
92       builtin_assert ("cpu=m32r");		\
93       builtin_assert ("machine=m32r");		\
94       builtin_define (TARGET_BIG_ENDIAN		\
95                       ? "__BIG_ENDIAN__" : "__LITTLE_ENDIAN__"); \
96     }						\
97   while (0)
98 
99 /* This macro defines names of additional specifications to put in the specs
100    that can be used in various specifications like CC1_SPEC.  Its definition
101    is an initializer with a subgrouping for each command option.
102 
103    Each subgrouping contains a string constant, that defines the
104    specification name, and a string constant that used by the GCC driver
105    program.
106 
107    Do not define this macro if it does not need to do anything.  */
108 
109 #ifndef SUBTARGET_EXTRA_SPECS
110 #define SUBTARGET_EXTRA_SPECS
111 #endif
112 
113 #ifndef	ASM_CPU_SPEC
114 #define	ASM_CPU_SPEC ""
115 #endif
116 
117 #ifndef	CPP_CPU_SPEC
118 #define	CPP_CPU_SPEC ""
119 #endif
120 
121 #ifndef	CC1_CPU_SPEC
122 #define	CC1_CPU_SPEC ""
123 #endif
124 
125 #ifndef	LINK_CPU_SPEC
126 #define	LINK_CPU_SPEC ""
127 #endif
128 
129 #ifndef STARTFILE_CPU_SPEC
130 #define STARTFILE_CPU_SPEC "%{!shared:crt0.o%s} crtinit.o%s"
131 #endif
132 
133 #ifndef ENDFILE_CPU_SPEC
134 #define ENDFILE_CPU_SPEC "-lgloss crtfini.o%s"
135 #endif
136 
137 #ifndef RELAX_SPEC
138 #if 0 /* Not supported yet.  */
139 #define RELAX_SPEC "%{mrelax:-relax}"
140 #else
141 #define RELAX_SPEC ""
142 #endif
143 #endif
144 
145 #define EXTRA_SPECS							\
146   { "asm_cpu",			ASM_CPU_SPEC },				\
147   { "cpp_cpu",			CPP_CPU_SPEC },				\
148   { "cc1_cpu",			CC1_CPU_SPEC },				\
149   { "link_cpu",			LINK_CPU_SPEC },			\
150   { "startfile_cpu",		STARTFILE_CPU_SPEC },			\
151   { "endfile_cpu",		ENDFILE_CPU_SPEC },			\
152   { "relax",			RELAX_SPEC },				\
153   SUBTARGET_EXTRA_SPECS
154 
155 #define CPP_SPEC "%(cpp_cpu)"
156 
157 #undef  CC1_SPEC
158 #define CC1_SPEC "%{G*} %(cc1_cpu)"
159 
160 /* Options to pass on to the assembler.  */
161 #undef  ASM_SPEC
162 #define ASM_SPEC "%(asm_cpu) %(relax) %{" FPIE_OR_FPIC_SPEC ":-K PIC}"
163 
164 #define LINK_SPEC "%{v} %(link_cpu) %(relax)"
165 
166 #undef  STARTFILE_SPEC
167 #define STARTFILE_SPEC "%(startfile_cpu)"
168 
169 #undef  ENDFILE_SPEC
170 #define ENDFILE_SPEC "%(endfile_cpu)"
171 
172 #undef LIB_SPEC
173 
174 /* Run-time compilation parameters selecting different hardware subsets.  */
175 
176 #define TARGET_M32R             (! TARGET_M32RX && ! TARGET_M32R2)
177 
178 #ifndef TARGET_LITTLE_ENDIAN
179 #define TARGET_LITTLE_ENDIAN	0
180 #endif
181 #define TARGET_BIG_ENDIAN       (! TARGET_LITTLE_ENDIAN)
182 
183 /* This defaults us to m32r.  */
184 #ifndef TARGET_CPU_DEFAULT
185 #define TARGET_CPU_DEFAULT 0
186 #endif
187 
188 #ifndef M32R_OPTS_H
189 #include "config/m32r/m32r-opts.h"
190 #endif
191 
192 /* Define this macro as a C expression for the initializer of an array of
193    strings to tell the driver program which options are defaults for this
194    target and thus do not need to be handled specially when using
195    `MULTILIB_OPTIONS'.  */
196 #ifndef SUBTARGET_MULTILIB_DEFAULTS
197 #define SUBTARGET_MULTILIB_DEFAULTS
198 #endif
199 
200 #ifndef MULTILIB_DEFAULTS
201 #define MULTILIB_DEFAULTS { "mmodel=small" SUBTARGET_MULTILIB_DEFAULTS }
202 #endif
203 
204 #ifndef SUBTARGET_OVERRIDE_OPTIONS
205 #define SUBTARGET_OVERRIDE_OPTIONS
206 #endif
207 
208 /* Target machine storage layout.  */
209 
210 /* Define this if most significant bit is lowest numbered
211    in instructions that operate on numbered bit-fields.  */
212 #define BITS_BIG_ENDIAN 1
213 
214 /* Define this if most significant byte of a word is the lowest numbered.  */
215 #define BYTES_BIG_ENDIAN (TARGET_LITTLE_ENDIAN == 0)
216 
217 /* Define this if most significant word of a multiword number is the lowest
218    numbered.  */
219 #define WORDS_BIG_ENDIAN (TARGET_LITTLE_ENDIAN == 0)
220 
221 /* Width of a word, in units (bytes).  */
222 #define UNITS_PER_WORD 4
223 
224 /* Define this macro if it is advisable to hold scalars in registers
225    in a wider mode than that declared by the program.  In such cases,
226    the value is constrained to be within the bounds of the declared
227    type, but kept valid in the wider mode.  The signedness of the
228    extension may differ from that of the type.  */
229 #define PROMOTE_MODE(MODE, UNSIGNEDP, TYPE)	\
230   if (GET_MODE_CLASS (MODE) == MODE_INT		\
231       && GET_MODE_SIZE (MODE) < UNITS_PER_WORD)	\
232     {						\
233       (MODE) = SImode;				\
234     }
235 
236 /* Allocation boundary (in *bits*) for storing arguments in argument list.  */
237 #define PARM_BOUNDARY 32
238 
239 /* Boundary (in *bits*) on which stack pointer should be aligned.  */
240 #define STACK_BOUNDARY 32
241 
242 /* ALIGN FRAMES on word boundaries */
243 #define M32R_STACK_ALIGN(LOC) (((LOC) + 3) & ~ 3)
244 
245 /* Allocation boundary (in *bits*) for the code of a function.  */
246 #define FUNCTION_BOUNDARY 32
247 
248 /* Alignment of field after `int : 0' in a structure.  */
249 #define EMPTY_FIELD_BOUNDARY 32
250 
251 /* Every structure's size must be a multiple of this.  */
252 #define STRUCTURE_SIZE_BOUNDARY 8
253 
254 /* A bit-field declared as `int' forces `int' alignment for the struct.  */
255 #define PCC_BITFIELD_TYPE_MATTERS 1
256 
257 /* No data type wants to be aligned rounder than this.  */
258 #define BIGGEST_ALIGNMENT 32
259 
260 /* The best alignment to use in cases where we have a choice.  */
261 #define FASTEST_ALIGNMENT 32
262 
263 /* Make arrays of chars word-aligned for the same reasons.  */
264 #define DATA_ALIGNMENT(TYPE, ALIGN)					\
265   (TREE_CODE (TYPE) == ARRAY_TYPE					\
266    && TYPE_MODE (TREE_TYPE (TYPE)) == QImode				\
267    && (ALIGN) < FASTEST_ALIGNMENT ? FASTEST_ALIGNMENT : (ALIGN))
268 
269 /* Set this nonzero if move instructions will actually fail to work
270    when given unaligned data.  */
271 #define STRICT_ALIGNMENT 1
272 
273 /* Define LAVEL_ALIGN to calculate code length of PNOP at labels.  */
274 #define LABEL_ALIGN(insn) 2
275 
276 /* Layout of source language data types.  */
277 
278 #define SHORT_TYPE_SIZE		16
279 #define INT_TYPE_SIZE		32
280 #define LONG_TYPE_SIZE		32
281 #define LONG_LONG_TYPE_SIZE	64
282 #define FLOAT_TYPE_SIZE		32
283 #define DOUBLE_TYPE_SIZE	64
284 #define LONG_DOUBLE_TYPE_SIZE	64
285 
286 /* Define this as 1 if `char' should by default be signed; else as 0.  */
287 #define DEFAULT_SIGNED_CHAR 1
288 
289 #define SIZE_TYPE "long unsigned int"
290 #define PTRDIFF_TYPE "long int"
291 #define WCHAR_TYPE "short unsigned int"
292 #define WCHAR_TYPE_SIZE 16
293 
294 /* Standard register usage.  */
295 
296 /* Number of actual hardware registers.
297    The hardware registers are assigned numbers for the compiler
298    from 0 to just below FIRST_PSEUDO_REGISTER.
299    All registers that the compiler knows about must be given numbers,
300    even those that are not normally considered general registers.  */
301 
302 #define M32R_NUM_REGISTERS 	19
303 
304 #ifndef SUBTARGET_NUM_REGISTERS
305 #define SUBTARGET_NUM_REGISTERS 0
306 #endif
307 
308 #define FIRST_PSEUDO_REGISTER (M32R_NUM_REGISTERS + SUBTARGET_NUM_REGISTERS)
309 
310 /* 1 for registers that have pervasive standard uses
311    and are not available for the register allocator.
312 
313    0-3   - arguments/results
314    4-5   - call used [4 is used as a tmp during prologue/epilogue generation]
315    6     - call used, gptmp
316    7     - call used, static chain pointer
317    8-11  - call saved
318    12    - call saved [reserved for global pointer]
319    13    - frame pointer
320    14    - subroutine link register
321    15    - stack pointer
322    16    - arg pointer
323    17    - carry flag
324    18	 - accumulator
325    19    - accumulator 1 in the m32r/x
326    By default, the extension registers are not available.  */
327 
328 #ifndef SUBTARGET_FIXED_REGISTERS
329 #define SUBTARGET_FIXED_REGISTERS
330 #endif
331 
332 #define FIXED_REGISTERS		\
333 {				\
334   0, 0, 0, 0, 0, 0, 0, 0,	\
335   0, 0, 0, 0, 0, 0, 0, 1,	\
336   1, 1, 1			\
337   SUBTARGET_FIXED_REGISTERS	\
338 }
339 
340 /* 1 for registers not available across function calls.
341    These must include the FIXED_REGISTERS and also any
342    registers that can be used without being saved.
343    The latter must include the registers where values are returned
344    and the register where structure-value addresses are passed.
345    Aside from that, you can include as many other registers as you like.  */
346 
347 #ifndef SUBTARGET_CALL_USED_REGISTERS
348 #define SUBTARGET_CALL_USED_REGISTERS
349 #endif
350 
351 #define CALL_USED_REGISTERS	\
352 {				\
353   1, 1, 1, 1, 1, 1, 1, 1,	\
354   0, 0, 0, 0, 0, 0, 1, 1,	\
355   1, 1, 1			\
356   SUBTARGET_CALL_USED_REGISTERS	\
357 }
358 
359 #define CALL_REALLY_USED_REGISTERS CALL_USED_REGISTERS
360 
361 /* If defined, an initializer for a vector of integers, containing the
362    numbers of hard registers in the order in which GCC should
363    prefer to use them (from most preferred to least).  */
364 
365 #ifndef SUBTARGET_REG_ALLOC_ORDER
366 #define SUBTARGET_REG_ALLOC_ORDER
367 #endif
368 
369 #if 1 /* Better for int code.  */
370 #define REG_ALLOC_ORDER				\
371 {						\
372   4,  5,  6,  7,  2,  3,  8,  9, 10,		\
373   11, 12, 13, 14,  0,  1, 15, 16, 17, 18	\
374   SUBTARGET_REG_ALLOC_ORDER			\
375 }
376 
377 #else /* Better for fp code at expense of int code.  */
378 #define REG_ALLOC_ORDER				\
379 {						\
380    0,  1,  2,  3,  4,  5,  6,  7,  8,		\
381    9, 10, 11, 12, 13, 14, 15, 16, 17, 18	\
382   SUBTARGET_REG_ALLOC_ORDER			\
383 }
384 #endif
385 
386 #define HARD_REGNO_RENAME_OK(OLD_REG, NEW_REG) \
387   m32r_hard_regno_rename_ok (OLD_REG, NEW_REG)
388 
389 /* Register classes and constants.  */
390 
391 /* Define the classes of registers for register constraints in the
392    machine description.  Also define ranges of constants.
393 
394    One of the classes must always be named ALL_REGS and include all hard regs.
395    If there is more than one class, another class must be named NO_REGS
396    and contain no registers.
397 
398    The name GENERAL_REGS must be the name of a class (or an alias for
399    another name such as ALL_REGS).  This is the class of registers
400    that is allowed by "g" or "r" in a register constraint.
401    Also, registers outside this class are allocated only when
402    instructions express preferences for them.
403 
404    The classes must be numbered in nondecreasing order; that is,
405    a larger-numbered class must never be contained completely
406    in a smaller-numbered class.
407 
408    For any two classes, it is very desirable that there be another
409    class that represents their union.
410 
411    It is important that any condition codes have class NO_REGS.
412    See `register_operand'.  */
413 
414 enum reg_class
415 {
416   NO_REGS, CARRY_REG, ACCUM_REGS, GENERAL_REGS, ALL_REGS, LIM_REG_CLASSES
417 };
418 
419 #define N_REG_CLASSES ((int) LIM_REG_CLASSES)
420 
421 /* Give names of register classes as strings for dump file.  */
422 #define REG_CLASS_NAMES \
423   { "NO_REGS", "CARRY_REG", "ACCUM_REGS", "GENERAL_REGS", "ALL_REGS" }
424 
425 /* Define which registers fit in which classes.
426    This is an initializer for a vector of HARD_REG_SET
427    of length N_REG_CLASSES.  */
428 
429 #ifndef SUBTARGET_REG_CLASS_CARRY
430 #define SUBTARGET_REG_CLASS_CARRY 0
431 #endif
432 
433 #ifndef SUBTARGET_REG_CLASS_ACCUM
434 #define SUBTARGET_REG_CLASS_ACCUM 0
435 #endif
436 
437 #ifndef SUBTARGET_REG_CLASS_GENERAL
438 #define SUBTARGET_REG_CLASS_GENERAL 0
439 #endif
440 
441 #ifndef SUBTARGET_REG_CLASS_ALL
442 #define SUBTARGET_REG_CLASS_ALL 0
443 #endif
444 
445 #define REG_CLASS_CONTENTS						\
446 {									\
447   { 0x00000 },								\
448   { 0x20000 | SUBTARGET_REG_CLASS_CARRY },				\
449   { 0x40000 | SUBTARGET_REG_CLASS_ACCUM },				\
450   { 0x1ffff | SUBTARGET_REG_CLASS_GENERAL },				\
451   { 0x7ffff | SUBTARGET_REG_CLASS_ALL },				\
452 }
453 
454 /* The same information, inverted:
455    Return the class number of the smallest class containing
456    reg number REGNO.  This could be a conditional expression
457    or could index an array.  */
458 extern enum reg_class m32r_regno_reg_class[FIRST_PSEUDO_REGISTER];
459 #define REGNO_REG_CLASS(REGNO) (m32r_regno_reg_class[REGNO])
460 
461 /* The class value for index registers, and the one for base regs.  */
462 #define INDEX_REG_CLASS GENERAL_REGS
463 #define BASE_REG_CLASS GENERAL_REGS
464 
465 /* These assume that REGNO is a hard or pseudo reg number.
466    They give nonzero only if REGNO is a hard reg of the suitable class
467    or a pseudo reg currently allocated to a suitable hard reg.
468    Since they use reg_renumber, they are safe only once reg_renumber
469    has been allocated, which happens in reginfo.c during register
470    allocation.  */
471 #define REGNO_OK_FOR_BASE_P(REGNO) \
472   ((REGNO) < FIRST_PSEUDO_REGISTER			\
473    ? GPR_P (REGNO) || (REGNO) == ARG_POINTER_REGNUM	\
474    : GPR_P (reg_renumber[REGNO]))
475 
476 #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P(REGNO)
477 
478 /* Return true if a value is inside a range.  */
479 #define IN_RANGE_P(VALUE, LOW, HIGH)			\
480   (((unsigned HOST_WIDE_INT)((VALUE) - (LOW)))		\
481    <= ((unsigned HOST_WIDE_INT)((HIGH) - (LOW))))
482 
483 /* Some range macros.  */
484 #define INT16_P(X)     ((X) >= - 0x8000 && (X) <= 0x7fff)
485 #define CMP_INT16_P(X) ((X) >= - 0x7fff && (X) <= 0x8000)
486 #define UINT16_P(X)   (((unsigned HOST_WIDE_INT) (X)) <= 0x0000ffff)
487 #define UINT24_P(X)   (((unsigned HOST_WIDE_INT) (X)) <= 0x00ffffff)
488 
489 /* Stack layout and stack pointer usage.  */
490 
491 /* Define this macro if pushing a word onto the stack moves the stack
492    pointer to a smaller address.  */
493 #define STACK_GROWS_DOWNWARD 1
494 
495 /* Offset from the stack pointer register to the first location at which
496    outgoing arguments are placed.  */
497 #define STACK_POINTER_OFFSET 0
498 
499 /* Offset of first parameter from the argument pointer register value.  */
500 #define FIRST_PARM_OFFSET(FNDECL) 0
501 
502 /* Register to use for pushing function arguments.  */
503 #define STACK_POINTER_REGNUM 15
504 
505 /* Base register for access to local variables of the function.  */
506 #define FRAME_POINTER_REGNUM 13
507 
508 /* Base register for access to arguments of the function.  */
509 #define ARG_POINTER_REGNUM 16
510 
511 /* Register in which static-chain is passed to a function.
512    This must not be a register used by the prologue.  */
513 #define STATIC_CHAIN_REGNUM  7
514 
515 /* These aren't official macros.  */
516 #define PROLOGUE_TMP_REGNUM  4
517 #define RETURN_ADDR_REGNUM  14
518 /* #define GP_REGNUM        12 */
519 #define CARRY_REGNUM        17
520 #define ACCUM_REGNUM        18
521 #define M32R_MAX_INT_REGS   16
522 
523 #ifndef SUBTARGET_GPR_P
524 #define SUBTARGET_GPR_P(REGNO) 0
525 #endif
526 
527 #ifndef SUBTARGET_ACCUM_P
528 #define SUBTARGET_ACCUM_P(REGNO) 0
529 #endif
530 
531 #ifndef SUBTARGET_CARRY_P
532 #define SUBTARGET_CARRY_P(REGNO) 0
533 #endif
534 
535 #define GPR_P(REGNO)   (IN_RANGE_P ((REGNO), 0, 15) || SUBTARGET_GPR_P (REGNO))
536 #define ACCUM_P(REGNO) ((REGNO) == ACCUM_REGNUM || SUBTARGET_ACCUM_P (REGNO))
537 #define CARRY_P(REGNO) ((REGNO) == CARRY_REGNUM || SUBTARGET_CARRY_P (REGNO))
538 
539 /* Eliminating the frame and arg pointers.  */
540 
541 /* If defined, this macro specifies a table of register pairs used to
542    eliminate unneeded registers that point into the stack frame.  If
543    it is not defined, the only elimination attempted by the compiler
544    is to replace references to the frame pointer with references to
545    the stack pointer.
546 
547    Note that the elimination of the argument pointer with the stack
548    pointer is specified first since that is the preferred elimination.  */
549 
550 #define ELIMINABLE_REGS					\
551 {{ FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM },	\
552  { ARG_POINTER_REGNUM,	 STACK_POINTER_REGNUM },	\
553  { ARG_POINTER_REGNUM,   FRAME_POINTER_REGNUM }}
554 
555 /* This macro returns the initial difference between the specified pair
556    of registers.  */
557 
558 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET)				\
559   do										\
560     {										\
561       int size = m32r_compute_frame_size (get_frame_size ());			\
562 										\
563       if ((FROM) == FRAME_POINTER_REGNUM && (TO) == STACK_POINTER_REGNUM)	\
564 	(OFFSET) = 0;								\
565       else if ((FROM) == ARG_POINTER_REGNUM && (TO) == FRAME_POINTER_REGNUM)	\
566 	(OFFSET) = size - crtl->args.pretend_args_size;			\
567       else if ((FROM) == ARG_POINTER_REGNUM && (TO) == STACK_POINTER_REGNUM)	\
568 	(OFFSET) = size - crtl->args.pretend_args_size;			\
569       else									\
570 	gcc_unreachable ();								\
571     }										\
572   while (0)
573 
574 /* Function argument passing.  */
575 
576 /* If defined, the maximum amount of space required for outgoing
577    arguments will be computed and placed into the variable
578    `crtl->outgoing_args_size'.  No space will be pushed
579    onto the stack for each call; instead, the function prologue should
580    increase the stack frame size by this amount.  */
581 #define ACCUMULATE_OUTGOING_ARGS 1
582 
583 /* Define a data type for recording info about an argument list
584    during the scan of that argument list.  This data type should
585    hold all necessary information about the function itself
586    and about the args processed so far, enough to enable macros
587    such as FUNCTION_ARG to determine where the next arg should go.  */
588 #define CUMULATIVE_ARGS int
589 
590 /* Initialize a variable CUM of type CUMULATIVE_ARGS
591    for a call to a function whose data type is FNTYPE.
592    For a library call, FNTYPE is 0.  */
593 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT, N_NAMED_ARGS) \
594   ((CUM) = 0)
595 
596 /* The number of registers used for parameter passing.  Local to this file.  */
597 #define M32R_MAX_PARM_REGS 4
598 
599 /* 1 if N is a possible register number for function argument passing.  */
600 #define FUNCTION_ARG_REGNO_P(N) \
601   ((unsigned) (N) < M32R_MAX_PARM_REGS)
602 
603 
604 /* Function results.  */
605 
606 /* Tell GCC to use TARGET_RETURN_IN_MEMORY.  */
607 #define DEFAULT_PCC_STRUCT_RETURN 0
608 
609 /* Function entry and exit.  */
610 
611 /* Initialize data used by insn expanders.  This is called from
612    init_emit, once for each function, before code is generated.  */
613 #define INIT_EXPANDERS m32r_init_expanders ()
614 
615 /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function,
616    the stack pointer does not matter.  The value is tested only in
617    functions that have frame pointers.
618    No definition is equivalent to always zero.  */
619 #define EXIT_IGNORE_STACK 1
620 
621 /* Output assembler code to FILE to increment profiler label # LABELNO
622    for profiling a function entry.  */
623 #undef  FUNCTION_PROFILER
624 #define FUNCTION_PROFILER(FILE, LABELNO)			\
625   do								\
626     {								\
627       if (flag_pic)						\
628 	{							\
629 	  fprintf (FILE, "\tld24 r14,#mcount\n");		\
630 	  fprintf (FILE, "\tadd r14,r12\n");			\
631 	  fprintf (FILE, "\tld r14,@r14\n");			\
632 	  fprintf (FILE, "\tjl r14\n");				\
633 	}							\
634       else							\
635 	{							\
636 	  if (TARGET_ADDR24)					\
637 	    fprintf (FILE, "\tbl mcount\n");			\
638 	  else							\
639 	    {							\
640 	      fprintf (FILE, "\tseth r14,#high(mcount)\n");	\
641 	      fprintf (FILE, "\tor3 r14,r14,#low(mcount)\n");	\
642 	      fprintf (FILE, "\tjl r14\n");			\
643 	    }							\
644 	}							\
645       fprintf (FILE, "\taddi sp,#4\n");				\
646     }								\
647   while (0)
648 
649 /* Trampolines.  */
650 
651 /* On the M32R, the trampoline is:
652 
653         mv      r7, lr   -> bl L1        ; 178e 7e01
654 L1:     add3    r6, lr, #L2-L1           ; 86ae 000c (L2 - L1 = 12)
655         mv      lr, r7   -> ld r7,@r6+   ; 1e87 27e6
656         ld      r6, @r6  -> jmp r6       ; 26c6 1fc6
657 L2:     .word STATIC
658         .word FUNCTION  */
659 
660 #ifndef CACHE_FLUSH_FUNC
661 #define CACHE_FLUSH_FUNC "_flush_cache"
662 #endif
663 #ifndef CACHE_FLUSH_TRAP
664 #define CACHE_FLUSH_TRAP 12
665 #endif
666 
667 /* Length in bytes of the trampoline for entering a nested function.  */
668 #define TRAMPOLINE_SIZE 24
669 
670 
671 #define RETURN_ADDR_RTX(COUNT, FRAME) m32r_return_addr (COUNT)
672 
673 #define INCOMING_RETURN_ADDR_RTX   gen_rtx_REG (Pmode, RETURN_ADDR_REGNUM)
674 
675 /* Addressing modes, and classification of registers for them.  */
676 
677 /* Maximum number of registers that can appear in a valid memory address.  */
678 #define MAX_REGS_PER_ADDRESS 1
679 
680 /* We have post-inc load and pre-dec,pre-inc store,
681    but only for 4 byte vals.  */
682 #define HAVE_PRE_DECREMENT  1
683 #define HAVE_PRE_INCREMENT  1
684 #define HAVE_POST_INCREMENT 1
685 
686 /* Recognize any constant value that is a valid address.  */
687 #define CONSTANT_ADDRESS_P(X)   \
688   (    GET_CODE (X) == LABEL_REF  \
689    ||  GET_CODE (X) == SYMBOL_REF \
690    ||  CONST_INT_P (X)  \
691    || (GET_CODE (X) == CONST      \
692        && ! (flag_pic && ! m32r_legitimate_pic_operand_p (X))))
693 
694 /* Condition code usage.  */
695 
696 /* Return nonzero if SELECT_CC_MODE will never return MODE for a
697    floating point inequality comparison.  */
698 #define REVERSIBLE_CC_MODE(MODE) 1 /*???*/
699 
700 /* Costs.  */
701 
702 /* The cost of a branch insn.  */
703 /* A value of 2 here causes GCC to avoid using branches in comparisons like
704    while (a < N && a).  Branches aren't that expensive on the M32R so
705    we define this as 1.  Defining it as 2 had a heavy hit in fp-bit.c.  */
706 #define BRANCH_COST(speed_p, predictable_p) ((TARGET_BRANCH_COST) ? 2 : 1)
707 
708 /* Nonzero if access to memory by bytes is slow and undesirable.
709    For RISC chips, it means that access to memory by bytes is no
710    better than access by words when possible, so grab a whole word
711    and maybe make use of that.  */
712 #define SLOW_BYTE_ACCESS 1
713 
714 /* Define this macro if it is as good or better to call a constant
715    function address than to call an address kept in a register.  */
716 #define NO_FUNCTION_CSE 1
717 
718 /* Section selection.  */
719 
720 #define TEXT_SECTION_ASM_OP	"\t.section .text"
721 #define DATA_SECTION_ASM_OP	"\t.section .data"
722 #define BSS_SECTION_ASM_OP	"\t.section .bss"
723 
724 /* Define this macro if jump tables (for tablejump insns) should be
725    output in the text section, along with the assembler instructions.
726    Otherwise, the readonly data section is used.
727    This macro is irrelevant if there is no separate readonly data section.  */
728 #define JUMP_TABLES_IN_TEXT_SECTION (flag_pic)
729 
730 /* Position Independent Code.  */
731 
732 /* The register number of the register used to address a table of static
733    data addresses in memory.  In some cases this register is defined by a
734    processor's ``application binary interface'' (ABI).  When this macro
735    is defined, RTL is generated for this register once, as with the stack
736    pointer and frame pointer registers.  If this macro is not defined, it
737    is up to the machine-dependent files to allocate such a register (if
738    necessary).  */
739 #define PIC_OFFSET_TABLE_REGNUM 12
740 
741 /* Define this macro if the register defined by PIC_OFFSET_TABLE_REGNUM is
742    clobbered by calls.  Do not define this macro if PIC_OFFSET_TABLE_REGNUM
743    is not defined.  */
744 /* This register is call-saved on the M32R.  */
745 /*#define PIC_OFFSET_TABLE_REG_CALL_CLOBBERED*/
746 
747 /* A C expression that is nonzero if X is a legitimate immediate
748    operand on the target machine when generating position independent code.
749    You can assume that X satisfies CONSTANT_P, so you need not
750    check this.  You can also assume `flag_pic' is true, so you need not
751    check it either.  You need not define this macro if all constants
752    (including SYMBOL_REF) can be immediate operands when generating
753    position independent code.  */
754 #define LEGITIMATE_PIC_OPERAND_P(X) m32r_legitimate_pic_operand_p (X)
755 
756 /* Control the assembler format that we output.  */
757 
758 /* A C string constant describing how to begin a comment in the target
759    assembler language.  The compiler assumes that the comment will
760    end at the end of the line.  */
761 #define ASM_COMMENT_START ";"
762 
763 /* Output to assembler file text saying following lines
764    may contain character constants, extra white space, comments, etc.  */
765 #define ASM_APP_ON ""
766 
767 /* Output to assembler file text saying following lines
768    no longer contain unusual constructs.  */
769 #define ASM_APP_OFF ""
770 
771 /* Globalizing directive for a label.  */
772 #define GLOBAL_ASM_OP "\t.global\t"
773 
774 /* We do not use DBX_LINES_FUNCTION_RELATIVE or
775    dbxout_stab_value_internal_label_diff here because
776    we need to use .debugsym for the line label.  */
777 
778 #define DBX_OUTPUT_SOURCE_LINE(file, line, counter)			\
779   do									\
780     {									\
781       const char * begin_label =					\
782 	XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0);		\
783       char label[64];							\
784       ASM_GENERATE_INTERNAL_LABEL (label, "LM", counter);		\
785 									\
786       dbxout_begin_stabn_sline (line);					\
787       assemble_name (file, label);					\
788       putc ('-', file);							\
789       assemble_name (file, begin_label);				\
790       fputs ("\n\t.debugsym ", file);					\
791       assemble_name (file, label);					\
792       putc ('\n', file);						\
793       counter += 1;							\
794      }									\
795   while (0)
796 
797 /* How to refer to registers in assembler output.
798    This sequence is indexed by compiler's hard-register-number (see above).  */
799 #ifndef SUBTARGET_REGISTER_NAMES
800 #define SUBTARGET_REGISTER_NAMES
801 #endif
802 
803 #define REGISTER_NAMES					\
804 {							\
805   "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",	\
806   "r8", "r9", "r10", "r11", "r12", "fp", "lr", "sp",	\
807   "ap", "cbit", "a0"					\
808   SUBTARGET_REGISTER_NAMES				\
809 }
810 
811 /* If defined, a C initializer for an array of structures containing
812    a name and a register number.  This macro defines additional names
813    for hard registers, thus allowing the `asm' option in declarations
814    to refer to registers using alternate names.  */
815 #ifndef SUBTARGET_ADDITIONAL_REGISTER_NAMES
816 #define SUBTARGET_ADDITIONAL_REGISTER_NAMES
817 #endif
818 
819 #define ADDITIONAL_REGISTER_NAMES	\
820 {					\
821   /*{ "gp", GP_REGNUM },*/		\
822   { "r13", FRAME_POINTER_REGNUM },	\
823   { "r14", RETURN_ADDR_REGNUM },	\
824   { "r15", STACK_POINTER_REGNUM },	\
825   SUBTARGET_ADDITIONAL_REGISTER_NAMES	\
826 }
827 
828 /* If defined, C string expressions to be used for the `%R', `%L',
829    `%U', and `%I' options of `asm_fprintf' (see `final.c').  These
830    are useful when a single `md' file must support multiple assembler
831    formats.  In that case, the various `tm.h' files can define these
832    macros differently.  */
833 #define REGISTER_PREFIX		""
834 #define LOCAL_LABEL_PREFIX	".L"
835 #define USER_LABEL_PREFIX	""
836 #define IMMEDIATE_PREFIX	"#"
837 
838 /* This is how to output an element of a case-vector that is absolute.  */
839 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE)		\
840    do							\
841      {							\
842        char label[30];					\
843        ASM_GENERATE_INTERNAL_LABEL (label, "L", VALUE);	\
844        fprintf (FILE, "\t.word\t");			\
845        assemble_name (FILE, label);			\
846        fprintf (FILE, "\n");				\
847      }							\
848   while (0)
849 
850 /* This is how to output an element of a case-vector that is relative.  */
851 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL)\
852   do							\
853     {							\
854       char label[30];					\
855       ASM_GENERATE_INTERNAL_LABEL (label, "L", VALUE);	\
856       fprintf (FILE, "\t.word\t");			\
857       assemble_name (FILE, label);			\
858       fprintf (FILE, "-");				\
859       ASM_GENERATE_INTERNAL_LABEL (label, "L", REL);	\
860       assemble_name (FILE, label);			\
861       fprintf (FILE, "\n");				\
862     }							\
863   while (0)
864 
865 /* The desired alignment for the location counter at the beginning
866    of a loop.  */
867 /* On the M32R, align loops to 32 byte boundaries (cache line size)
868    if -malign-loops.  */
869 #define LOOP_ALIGN(LABEL) ((TARGET_ALIGN_LOOPS \
870 			    ? align_flags (5) : align_flags ()))
871 
872 /* Define this to be the maximum number of insns to move around when moving
873    a loop test from the top of a loop to the bottom
874    and seeing whether to duplicate it.  The default is thirty.
875 
876    Loop unrolling currently doesn't like this optimization, so
877    disable doing if we are unrolling loops and saving space.  */
878 #define LOOP_TEST_THRESHOLD (optimize_size				\
879 			     && !flag_unroll_loops			\
880 			     && !flag_unroll_all_loops ? 2 : 30)
881 
882 /* This is how to output an assembler line
883    that says to advance the location counter
884    to a multiple of 2**LOG bytes.  */
885 /* .balign is used to avoid confusion.  */
886 #define ASM_OUTPUT_ALIGN(FILE,LOG)			\
887   do							\
888     {							\
889       if ((LOG) != 0)					\
890 	fprintf (FILE, "\t.balign %d\n", 1 << (LOG));	\
891     }							\
892   while (0)
893 
894 /* Like `ASM_OUTPUT_COMMON' except takes the required alignment as a
895    separate, explicit argument.  If you define this macro, it is used in
896    place of `ASM_OUTPUT_COMMON', and gives you more flexibility in
897    handling the required alignment of the variable.  The alignment is
898    specified as the number of bits.  */
899 
900 #define SCOMMON_ASM_OP "\t.scomm\t"
901 
902 #undef  ASM_OUTPUT_ALIGNED_COMMON
903 #define ASM_OUTPUT_ALIGNED_COMMON(FILE, NAME, SIZE, ALIGN)		\
904   do									\
905     {									\
906       if (! TARGET_SDATA_NONE						\
907 	  && (SIZE) > 0							\
908 	  && (SIZE) <= (unsigned HOST_WIDE_INT) g_switch_value)		\
909 	fprintf ((FILE), "%s", SCOMMON_ASM_OP);				\
910       else								\
911 	fprintf ((FILE), "%s", COMMON_ASM_OP);				\
912       assemble_name ((FILE), (NAME));					\
913       fprintf ((FILE), ",%u,%u\n", (int)(SIZE), (ALIGN) / BITS_PER_UNIT);\
914     }									\
915   while (0)
916 
917 #define ASM_OUTPUT_ALIGNED_BSS(FILE, DECL, NAME, SIZE, ALIGN)		\
918   do									\
919     {									\
920       if (! TARGET_SDATA_NONE						\
921           && (SIZE) > 0							\
922 	  && (SIZE) <= (unsigned HOST_WIDE_INT) g_switch_value)		\
923         switch_to_section (get_named_section (NULL, ".sbss", 0));	\
924       else								\
925         switch_to_section (bss_section);				\
926       ASM_OUTPUT_ALIGN (FILE, floor_log2 (ALIGN / BITS_PER_UNIT));	\
927       last_assemble_variable_decl = DECL;				\
928       ASM_DECLARE_OBJECT_NAME (FILE, NAME, DECL);			\
929       ASM_OUTPUT_SKIP (FILE, SIZE ? SIZE : 1);				\
930     }									\
931   while (0)
932 
933 /* Debugging information.  */
934 
935 /* Generate DBX and DWARF debugging information.  */
936 #define DBX_DEBUGGING_INFO    1
937 #define DWARF2_DEBUGGING_INFO 1
938 
939 /* Use DWARF2 debugging info by default.  */
940 #undef  PREFERRED_DEBUGGING_TYPE
941 #define PREFERRED_DEBUGGING_TYPE DWARF2_DEBUG
942 
943 /* Turn off splitting of long stabs.  */
944 #define DBX_CONTIN_LENGTH 0
945 
946 /* Miscellaneous.  */
947 
948 /* Specify the machine mode that this machine uses
949    for the index in the tablejump instruction.  */
950 #define CASE_VECTOR_MODE (flag_pic ? SImode : Pmode)
951 
952 /* Define if operations between registers always perform the operation
953    on the full register even if a narrower mode is specified.  */
954 #define WORD_REGISTER_OPERATIONS 1
955 
956 /* Define if loading in MODE, an integral mode narrower than BITS_PER_WORD
957    will either zero-extend or sign-extend.  The value of this macro should
958    be the code that says which one of the two operations is implicitly
959    done, UNKNOWN if none.  */
960 #define LOAD_EXTEND_OP(MODE) ZERO_EXTEND
961 
962 /* Max number of bytes we can move from memory
963    to memory in one reasonably fast instruction.  */
964 #define MOVE_MAX 4
965 
966 /* Define this to be nonzero if shift instructions ignore all but the low-order
967    few bits.  */
968 #define SHIFT_COUNT_TRUNCATED 1
969 
970 /* Specify the machine mode that pointers have.
971    After generation of rtl, the compiler makes no further distinction
972    between pointers and any other objects of this machine mode.  */
973 /* ??? The M32R doesn't have full 32-bit pointers, but making this PSImode has
974    its own problems (you have to add extendpsisi2 and truncsipsi2).
975    Try to avoid it.  */
976 #define Pmode SImode
977 
978 /* A function address in a call instruction.  */
979 #define FUNCTION_MODE SImode
980 
981 /* M32R function types.  */
982 enum m32r_function_type
983 {
984   M32R_FUNCTION_UNKNOWN, M32R_FUNCTION_NORMAL, M32R_FUNCTION_INTERRUPT
985 };
986 
987 #define M32R_INTERRUPT_P(TYPE) ((TYPE) == M32R_FUNCTION_INTERRUPT)
988 
989 /* The maximum number of bytes to copy using pairs of load/store instructions.
990    If a block is larger than this then a loop will be generated to copy
991    MAX_MOVE_BYTES chunks at a time.  The value of 32 is a semi-arbitrary choice.
992    A customer uses Dhrystome as their benchmark, and Dhrystone has a 31 byte
993    string copy in it.  */
994 #define MAX_MOVE_BYTES 32
995