OSDN Git Service

prologue / epilogue / warning patches:
[pf3gnuchains/gcc-fork.git] / gcc / config / sh / sh.h
1 /* Definitions of target machine for GNU compiler for Renesas / SuperH SH.
2    Copyright (C) 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
3    2003 Free Software Foundation, Inc.
4    Contributed by Steve Chamberlain (sac@cygnus.com).
5    Improved by Jim Wilson (wilson@cygnus.com).
6
7 This file is part of GNU CC.
8
9 GNU CC is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 2, or (at your option)
12 any later version.
13
14 GNU CC is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with GNU CC; see the file COPYING.  If not, write to
21 the Free Software Foundation, 59 Temple Place - Suite 330,
22 Boston, MA 02111-1307, USA.  */
23
24 #ifndef GCC_SH_H
25 #define GCC_SH_H
26
27 #define TARGET_VERSION \
28   fputs (" (Hitachi SH)", stderr);
29
30 /* Unfortunately, insn-attrtab.c doesn't include insn-codes.h.  We can't
31    include it here, because bconfig.h is also included by gencodes.c .  */
32 /* ??? No longer true.  */
33 extern int code_for_indirect_jump_scratch;
34
35 #define TARGET_CPU_CPP_BUILTINS() \
36 do { \
37   builtin_define ("__sh__"); \
38   builtin_assert ("cpu=sh"); \
39   builtin_assert ("machine=sh"); \
40   switch ((int) sh_cpu) \
41     { \
42     case PROCESSOR_SH1: \
43       builtin_define ("__sh1__"); \
44       break; \
45     case PROCESSOR_SH2: \
46       builtin_define ("__sh2__"); \
47       break; \
48     case PROCESSOR_SH2E: \
49       builtin_define ("__SH2E__"); \
50       break; \
51     case PROCESSOR_SH3: \
52       builtin_define ("__sh3__"); \
53       builtin_define ("__SH3__"); \
54       if (TARGET_HARD_SH4) \
55         builtin_define ("__SH4_NOFPU__"); \
56       break; \
57     case PROCESSOR_SH3E: \
58       builtin_define (TARGET_HARD_SH4 ? "__SH4_SINGLE_ONLY__" : "__SH3E__"); \
59       break; \
60     case PROCESSOR_SH4: \
61       builtin_define (TARGET_FPU_SINGLE ? "__SH4_SINGLE__" : "__SH4__"); \
62       break; \
63     case PROCESSOR_SH5: \
64       { \
65         builtin_define_with_value ("__SH5__", \
66                                    TARGET_SHMEDIA64 ? "64" : "32", 0); \
67         builtin_define_with_value ("__SHMEDIA__", \
68                                    TARGET_SHMEDIA ? "1" : "0", 0); \
69         if (! TARGET_FPU_DOUBLE) \
70           builtin_define ("__SH4_NOFPU__"); \
71       } \
72     } \
73   if (TARGET_HITACHI) \
74     builtin_define ("__HITACHI__"); \
75   builtin_define (TARGET_LITTLE_ENDIAN \
76                   ? "__LITTLE_ENDIAN__" : "__BIG_ENDIAN__"); \
77   if (flag_pic) \
78     { \
79       builtin_define ("__pic__"); \
80       builtin_define ("__PIC__"); \
81     } \
82 } while (0)
83
84 /* We can not debug without a frame pointer.  */
85 /* #define CAN_DEBUG_WITHOUT_FP */
86
87 #define CONDITIONAL_REGISTER_USAGE do                                   \
88 {                                                                       \
89   int regno;                                                            \
90   for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno ++)              \
91     if (! VALID_REGISTER_P (regno))                                     \
92       fixed_regs[regno] = call_used_regs[regno] = 1;                    \
93   /* R8 and R9 are call-clobbered on SH5, but not on earlier SH ABIs.  */ \
94   if (TARGET_SH5)                                                       \
95     call_used_regs[FIRST_GENERAL_REG + 8]                               \
96       = call_used_regs[FIRST_GENERAL_REG + 9] = 1;                      \
97   if (TARGET_SHMEDIA)                                                   \
98     {                                                                   \
99       regno_reg_class[FIRST_GENERAL_REG] = GENERAL_REGS;                \
100       CLEAR_HARD_REG_SET (reg_class_contents[FP0_REGS]);                \
101       regno_reg_class[FIRST_FP_REG] = FP_REGS;                          \
102     }                                                                   \
103   if (flag_pic)                                                         \
104     fixed_regs[PIC_OFFSET_TABLE_REGNUM] = 1;                            \
105   /* Renesas saves and restores mac registers on call.  */              \
106   if (TARGET_HITACHI && ! TARGET_NOMACSAVE)                             \
107     {                                                                   \
108       call_used_regs[MACH_REG] = 0;                                     \
109       call_used_regs[MACL_REG] = 0;                                     \
110     }                                                                   \
111   for (regno = FIRST_FP_REG + (TARGET_LITTLE_ENDIAN != 0);              \
112        regno <= LAST_FP_REG; regno += 2)                                \
113     SET_HARD_REG_BIT (reg_class_contents[DF_HI_REGS], regno);           \
114   if (TARGET_SHMEDIA)                                                   \
115     {                                                                   \
116       for (regno = FIRST_TARGET_REG; regno <= LAST_TARGET_REG; regno ++)\
117         if (! fixed_regs[regno] && call_used_regs[regno])               \
118           SET_HARD_REG_BIT (reg_class_contents[SIBCALL_REGS], regno);   \
119     }                                                                   \
120   else                                                                  \
121     for (regno = FIRST_GENERAL_REG; regno <= LAST_GENERAL_REG; regno++) \
122       if (! fixed_regs[regno] && call_used_regs[regno])                 \
123         SET_HARD_REG_BIT (reg_class_contents[SIBCALL_REGS], regno);     \
124 } while (0)
125 \f
126 /* ??? Need to write documentation for all SH options and add it to the
127    invoke.texi file.  */
128
129 /* Run-time compilation parameters selecting different hardware subsets.  */
130
131 extern int target_flags;
132 #define ISIZE_BIT       (1<<1)
133 #define DALIGN_BIT      (1<<6)
134 #define SH1_BIT         (1<<8)
135 #define SH2_BIT         (1<<9)
136 #define SH3_BIT         (1<<10)
137 #define SH_E_BIT        (1<<11)
138 #define HARD_SH4_BIT    (1<<5)
139 #define FPU_SINGLE_BIT  (1<<7)
140 #define SH4_BIT         (1<<12)
141 #define FMOVD_BIT       (1<<4)
142 #define SH5_BIT         (1<<0)
143 #define SPACE_BIT       (1<<13)
144 #define BIGTABLE_BIT    (1<<14)
145 #define RELAX_BIT       (1<<15)
146 #define USERMODE_BIT    (1<<16)
147 #define HITACHI_BIT     (1<<22)
148 #define NOMACSAVE_BIT   (1<<23)
149 #define PREFERGOT_BIT   (1<<24)
150 #define PADSTRUCT_BIT  (1<<28)
151 #define LITTLE_ENDIAN_BIT (1<<29)
152 #define IEEE_BIT (1<<30)
153 #define SAVE_ALL_TR_BIT (1<<2)
154
155 /* Nonzero if this is an ELF target - compile time only */
156 #define TARGET_ELF 0
157
158 /* Nonzero if we should dump out instruction size info.  */
159 #define TARGET_DUMPISIZE  (target_flags & ISIZE_BIT)
160
161 /* Nonzero to align doubles on 64 bit boundaries.  */
162 #define TARGET_ALIGN_DOUBLE (target_flags & DALIGN_BIT)
163
164 /* Nonzero if we should generate code using type 1 insns.  */
165 #define TARGET_SH1 (target_flags & SH1_BIT)
166
167 /* Nonzero if we should generate code using type 2 insns.  */
168 #define TARGET_SH2 (target_flags & SH2_BIT)
169
170 /* Nonzero if we should generate code using type 2E insns.  */
171 #define TARGET_SH2E ((target_flags & SH_E_BIT) && TARGET_SH2)
172
173 /* Nonzero if we should generate code using type 3 insns.  */
174 #define TARGET_SH3 (target_flags & SH3_BIT)
175
176 /* Nonzero if we should generate code using type 3E insns.  */
177 #define TARGET_SH3E ((target_flags & SH_E_BIT) && TARGET_SH3)
178
179 /* Nonzero if the cache line size is 32.  */
180 #define TARGET_CACHE32 (target_flags & HARD_SH4_BIT || TARGET_SH5)
181
182 /* Nonzero if we schedule for a superscalar implementation.  */
183 #define TARGET_SUPERSCALAR (target_flags & HARD_SH4_BIT)
184
185 /* Nonzero if the target has separate instruction and data caches.  */
186 #define TARGET_HARVARD (target_flags & HARD_SH4_BIT)
187
188 /* Nonzero if compiling for SH4 hardware (to be used for insn costs etc.)  */
189 #define TARGET_HARD_SH4 (target_flags & HARD_SH4_BIT)
190
191 /* Nonzero if the default precision of th FPU is single */
192 #define TARGET_FPU_SINGLE (target_flags & FPU_SINGLE_BIT)
193
194 /* Nonzero if a double-precision FPU is available.  */
195 #define TARGET_FPU_DOUBLE (target_flags & SH4_BIT)
196
197 /* Nonzero if an FPU is available.  */
198 #define TARGET_FPU_ANY (TARGET_SH2E || TARGET_FPU_DOUBLE)
199
200 /* Nonzero if we should generate code using type 4 insns.  */
201 #define TARGET_SH4 ((target_flags & SH4_BIT) && (target_flags & SH1_BIT))
202
203 /* Nonzero if we should generate code for a SH5 CPU (either ISA).  */
204 #define TARGET_SH5 (target_flags & SH5_BIT)
205
206 /* Nonzero if we should generate code using the SHcompact instruction
207    set and 32-bit ABI.  */
208 #define TARGET_SHCOMPACT (TARGET_SH5 && TARGET_SH1)
209
210 /* Nonzero if we should generate code using the SHmedia instruction
211    set and ABI.  */
212 #define TARGET_SHMEDIA (TARGET_SH5 && ! TARGET_SH1)
213
214 /* Nonzero if we should generate code using the SHmedia ISA and 32-bit
215    ABI.  */
216 #define TARGET_SHMEDIA32 (TARGET_SH5 && ! TARGET_SH1 \
217                           && (target_flags & SH_E_BIT))
218
219 /* Nonzero if we should generate code using the SHmedia ISA and 64-bit
220    ABI.  */
221 #define TARGET_SHMEDIA64 (TARGET_SH5 && ! TARGET_SH1 \
222                           && ! (target_flags & SH_E_BIT))
223
224 /* Nonzero if we should generate code using SHmedia FPU instructions.  */
225 #define TARGET_SHMEDIA_FPU (TARGET_SHMEDIA && TARGET_FPU_DOUBLE)
226 /* Nonzero if we should generate fmovd.  */
227 #define TARGET_FMOVD (target_flags & FMOVD_BIT)
228
229 /* Nonzero if we respect NANs.  */
230 #define TARGET_IEEE (target_flags & IEEE_BIT)
231
232 /* Nonzero if we should generate smaller code rather than faster code.  */
233 #define TARGET_SMALLCODE   (target_flags & SPACE_BIT)
234
235 /* Nonzero to use long jump tables.  */
236 #define TARGET_BIGTABLE     (target_flags & BIGTABLE_BIT)
237
238 /* Nonzero to generate pseudo-ops needed by the assembler and linker
239    to do function call relaxing.  */
240 #define TARGET_RELAX (target_flags & RELAX_BIT)
241
242 /* Nonzero if using Renesas's calling convention.  */
243 #define TARGET_HITACHI          (target_flags & HITACHI_BIT)
244
245 /* Nonzero if not saving macl/mach when using -mhitachi */
246 #define TARGET_NOMACSAVE        (target_flags & NOMACSAVE_BIT)
247
248 /* Nonzero if padding structures to a multiple of 4 bytes.  This is
249    incompatible with Renesas's compiler, and gives unusual structure layouts
250    which confuse programmers.
251    ??? This option is not useful, but is retained in case there are people
252    who are still relying on it.  It may be deleted in the future.  */
253 #define TARGET_PADSTRUCT       (target_flags & PADSTRUCT_BIT)
254
255 /* Nonzero if generating code for a little endian SH.  */
256 #define TARGET_LITTLE_ENDIAN     (target_flags & LITTLE_ENDIAN_BIT)
257
258 /* Nonzero if we should do everything in userland.  */
259 #define TARGET_USERMODE         (target_flags & USERMODE_BIT)
260
261 /* Nonzero if we should prefer @GOT calls when generating PIC.  */
262 #define TARGET_PREFERGOT        (target_flags & PREFERGOT_BIT)
263
264 #define TARGET_SAVE_ALL_TARGET_REGS (target_flags & SAVE_ALL_TR_BIT)
265
266 #define SELECT_SH1               (SH1_BIT)
267 #define SELECT_SH2               (SH2_BIT | SELECT_SH1)
268 #define SELECT_SH2E              (SH_E_BIT | SH2_BIT | SH1_BIT | FPU_SINGLE_BIT)
269 #define SELECT_SH3               (SH3_BIT | SELECT_SH2)
270 #define SELECT_SH3E              (SH_E_BIT | FPU_SINGLE_BIT | SELECT_SH3)
271 #define SELECT_SH4_NOFPU         (HARD_SH4_BIT | SELECT_SH3)
272 #define SELECT_SH4_SINGLE_ONLY   (HARD_SH4_BIT | SELECT_SH3E)
273 #define SELECT_SH4               (SH4_BIT | SH_E_BIT | HARD_SH4_BIT | SELECT_SH3)
274 #define SELECT_SH4_SINGLE        (FPU_SINGLE_BIT | SELECT_SH4)
275 #define SELECT_SH5_64            (SH5_BIT | SH4_BIT)
276 #define SELECT_SH5_64_NOFPU      (SH5_BIT)
277 #define SELECT_SH5_32            (SH5_BIT | SH4_BIT | SH_E_BIT)
278 #define SELECT_SH5_32_NOFPU      (SH5_BIT | SH_E_BIT)
279 #define SELECT_SH5_COMPACT       (SH5_BIT | SH4_BIT | SELECT_SH3E)
280 #define SELECT_SH5_COMPACT_NOFPU (SH5_BIT | SELECT_SH3)
281
282 /* Reset all target-selection flags.  */
283 #define TARGET_NONE -(SH1_BIT | SH2_BIT | SH3_BIT | SH_E_BIT | SH4_BIT \
284                       | HARD_SH4_BIT | FPU_SINGLE_BIT | SH5_BIT)
285
286 #define TARGET_SWITCHES                         \
287 { {"1",         TARGET_NONE, "" },              \
288   {"1",         SELECT_SH1, "Generate SH1 code" },              \
289   {"2",         TARGET_NONE, "" },              \
290   {"2",         SELECT_SH2, "Generate SH2 code" },              \
291   {"2e",        TARGET_NONE, "" },              \
292   {"2e",        SELECT_SH2E, "Generate SH2e code" },            \
293   {"3",         TARGET_NONE, "" },              \
294   {"3",         SELECT_SH3, "Generate SH3 code" },              \
295   {"3e",        TARGET_NONE, "" },              \
296   {"3e",        SELECT_SH3E, "Generate SH3e code" },            \
297   {"4-single-only",     TARGET_NONE, "" },      \
298   {"4-single-only",     SELECT_SH4_SINGLE_ONLY, "Generate only single-precision SH4 code" },    \
299   {"4-single",  TARGET_NONE, "" },              \
300   {"4-single",  SELECT_SH4_SINGLE, "Generate default single-precision SH4 code" },      \
301   {"4-nofpu",   TARGET_NONE, "" },              \
302   {"4-nofpu",   SELECT_SH4_NOFPU, "Generate SH4 FPU-less code" },               \
303   {"4",         TARGET_NONE, "" },              \
304   {"4",         SELECT_SH4, "Generate SH4 code" },              \
305   {"5-64media", TARGET_NONE, "" },              \
306   {"5-64media", SELECT_SH5_64, "Generate 64-bit SHmedia code" }, \
307   {"5-64media-nofpu", TARGET_NONE, "" },        \
308   {"5-64media-nofpu", SELECT_SH5_64_NOFPU, "Generate 64-bit FPU-less SHmedia code" }, \
309   {"5-32media", TARGET_NONE, "" },              \
310   {"5-32media", SELECT_SH5_32, "Generate 32-bit SHmedia code" }, \
311   {"5-32media-nofpu", TARGET_NONE, "" },        \
312   {"5-32media-nofpu", SELECT_SH5_32_NOFPU, "Generate 32-bit FPU-less SHmedia code" }, \
313   {"5-compact", TARGET_NONE, "" },              \
314   {"5-compact", SELECT_SH5_COMPACT, "Generate SHcompact code" }, \
315   {"5-compact-nofpu", TARGET_NONE, "" },        \
316   {"5-compact-nofpu", SELECT_SH5_COMPACT_NOFPU, "Generate FPU-less SHcompact code" }, \
317   {"b",         -LITTLE_ENDIAN_BIT, "Generate code in big endian mode" },       \
318   {"bigtable",  BIGTABLE_BIT, "Generate 32-bit offsets in switch tables" },             \
319   {"dalign",    DALIGN_BIT, "Aligns doubles at 64-bit boundaries" },            \
320   {"fmovd",     FMOVD_BIT, "" },                \
321   {"hitachi",   HITACHI_BIT, "Follow Renesas (formerly Hitachi) / SuperH calling conventions" },                \
322   {"nomacsave", NOMACSAVE_BIT, "Mark MAC register as call-clobbered" },         \
323   {"ieee",      IEEE_BIT, "Increase the IEEE compliance for floating-point code" },                     \
324   {"isize",     ISIZE_BIT, "" },                \
325   {"l",         LITTLE_ENDIAN_BIT, "Generate code in little endian mode" },     \
326   {"no-ieee",   -IEEE_BIT, "" },                \
327   {"padstruct", PADSTRUCT_BIT, "" },            \
328   {"prefergot", PREFERGOT_BIT, "Emit function-calls using global offset table when generating PIC" },           \
329   {"relax",     RELAX_BIT, "Shorten address references during linking" },               \
330   {"space",     SPACE_BIT, "Deprecated. Use -Os instead" },             \
331   {"usermode",  USERMODE_BIT, "Generate library function call to invalidate instruction cache entries after fixing trampoline" },               \
332   SUBTARGET_SWITCHES                            \
333   {"",          TARGET_DEFAULT, "" }            \
334 }
335
336 /* This are meant to be redefined in the host dependent files */
337 #define SUBTARGET_SWITCHES
338
339 /* This defaults us to big-endian.  */
340 #ifndef TARGET_ENDIAN_DEFAULT
341 #define TARGET_ENDIAN_DEFAULT 0
342 #endif
343
344 #ifndef TARGET_CPU_DEFAULT
345 #define TARGET_CPU_DEFAULT SELECT_SH1
346 #endif
347
348 #define TARGET_DEFAULT  (TARGET_CPU_DEFAULT|TARGET_ENDIAN_DEFAULT)
349
350 #define CPP_SPEC " %(subtarget_cpp_spec) "
351
352 #ifndef SUBTARGET_CPP_SPEC
353 #define SUBTARGET_CPP_SPEC ""
354 #endif
355
356 #ifndef SUBTARGET_EXTRA_SPECS
357 #define SUBTARGET_EXTRA_SPECS
358 #endif
359
360 #define EXTRA_SPECS                                             \
361   { "subtarget_cpp_spec", SUBTARGET_CPP_SPEC },                 \
362   { "link_emul_prefix", LINK_EMUL_PREFIX },                     \
363   { "link_default_cpu_emul", LINK_DEFAULT_CPU_EMUL },           \
364   { "subtarget_link_emul_suffix", SUBTARGET_LINK_EMUL_SUFFIX }, \
365   { "subtarget_link_spec", SUBTARGET_LINK_SPEC },               \
366   { "subtarget_asm_endian_spec", SUBTARGET_ASM_ENDIAN_SPEC },   \
367   { "subtarget_asm_relax_spec", SUBTARGET_ASM_RELAX_SPEC },     \
368   { "subtarget_asm_isa_spec", SUBTARGET_ASM_ISA_SPEC }, \
369   SUBTARGET_EXTRA_SPECS
370
371 #if TARGET_CPU_DEFAULT & HARD_SH4_BIT
372 #define SUBTARGET_ASM_RELAX_SPEC "%{!m1:%{!m2:%{!m3*:%{!m5*:-isa=sh4}}}}"
373 #else
374 #define SUBTARGET_ASM_RELAX_SPEC "%{m4*:-isa=sh4}"
375 #endif
376
377 #define SH_ASM_SPEC \
378  "%(subtarget_asm_endian_spec) %{mrelax:-relax %(subtarget_asm_relax_spec)}\
379 %(subtarget_asm_isa_spec)"
380
381 #define ASM_SPEC SH_ASM_SPEC
382
383 #ifndef SUBTARGET_ASM_ENDIAN_SPEC
384 #if TARGET_ENDIAN_DEFAULT == LITTLE_ENDIAN_BIT
385 #define SUBTARGET_ASM_ENDIAN_SPEC "%{mb:-big} %{!mb:-little}"
386 #else
387 #define SUBTARGET_ASM_ENDIAN_SPEC "%{ml:-little} %{!ml:-big}"
388 #endif
389 #endif
390
391 #define SUBTARGET_ASM_ISA_SPEC ""
392
393 #define LINK_EMUL_PREFIX "sh%{ml:l}"
394
395 #if TARGET_CPU_DEFAULT & SH5_BIT
396 #if TARGET_CPU_DEFAULT & SH_E_BIT
397 #define LINK_DEFAULT_CPU_EMUL "32"
398 #else
399 #define LINK_DEFAULT_CPU_EMUL "64"
400 #endif /* SH_E_BIT */
401 #else
402 #define LINK_DEFAULT_CPU_EMUL ""
403 #endif /* SH5_BIT */
404
405 #define SUBTARGET_LINK_EMUL_SUFFIX ""
406 #define SUBTARGET_LINK_SPEC ""
407
408 /* svr4.h redefines LINK_SPEC inappropriately, so go via SH_LINK_SPEC,
409    so that we can undo the damage without code replication.  */
410 #define LINK_SPEC SH_LINK_SPEC
411
412 #define SH_LINK_SPEC "\
413 -m %(link_emul_prefix)\
414 %{m5-compact*|m5-32media*:32}\
415 %{m5-64media*:64}\
416 %{!m1:%{!m2:%{!m3*:%{!m4*:%{!m5*:%(link_default_cpu_emul)}}}}}\
417 %(subtarget_link_emul_suffix) \
418 %{mrelax:-relax} %(subtarget_link_spec)"
419
420 #define OPTIMIZATION_OPTIONS(LEVEL,SIZE)                                \
421 do {                                                                    \
422   if (LEVEL)                                                            \
423     flag_omit_frame_pointer = -1;                                       \
424   if (SIZE)                                                             \
425     target_flags |= SPACE_BIT;                                          \
426   if (TARGET_SHMEDIA && LEVEL > 1)                                      \
427     {                                                                   \
428       flag_branch_target_load_optimize = 1;                             \
429       if (! (SIZE))                                                     \
430         target_flags |= SAVE_ALL_TR_BIT;                                \
431     }                                                                   \
432 } while (0)
433
434 #define ASSEMBLER_DIALECT assembler_dialect
435
436 extern int assembler_dialect;
437
438 #define OVERRIDE_OPTIONS                                                \
439 do {                                                                    \
440   int regno;                                                            \
441                                                                         \
442   sh_cpu = CPU_SH1;                                                     \
443   assembler_dialect = 0;                                                \
444   if (TARGET_SH2)                                                       \
445     sh_cpu = CPU_SH2;                                                   \
446   if (TARGET_SH2E)                                                      \
447     sh_cpu = CPU_SH2E;                                                  \
448   if (TARGET_SH3)                                                       \
449     sh_cpu = CPU_SH3;                                                   \
450   if (TARGET_SH3E)                                                      \
451     sh_cpu = CPU_SH3E;                                                  \
452   if (TARGET_SH4)                                                       \
453     {                                                                   \
454       assembler_dialect = 1;                                            \
455       sh_cpu = CPU_SH4;                                                 \
456     }                                                                   \
457   if (TARGET_SH5)                                                       \
458     {                                                                   \
459       sh_cpu = CPU_SH5;                                                 \
460       target_flags |= DALIGN_BIT;                                       \
461       if (TARGET_FPU_ANY                                                \
462           && ! (TARGET_SHCOMPACT && TARGET_LITTLE_ENDIAN))              \
463         target_flags |= FMOVD_BIT;                                      \
464       if (TARGET_SHMEDIA)                                               \
465         {                                                               \
466           /* There are no delay slots on SHmedia.  */                   \
467           flag_delayed_branch = 0;                                      \
468           /* Relaxation isn't yet supported for SHmedia */              \
469           target_flags &= ~RELAX_BIT;                                   \
470         }                                                               \
471       /* -fprofile-arcs needs a working libgcov .  In unified tree      \
472          configurations with newlib, this requires to configure with    \
473          --with-newlib --with-headers.  But there is no way to check    \
474          here we have a working libgcov, so just assume that we have.  */\
475       if (profile_flag)                                                 \
476         {                                                               \
477           warning ("Profiling is not supported on this target.");       \
478           profile_flag = profile_arc_flag = 0;                          \
479         }                                                               \
480     }                                                                   \
481   else                                                                  \
482     {                                                                   \
483        /* Only the sh64-elf assembler fully supports .quad properly.  */\
484        targetm.asm_out.aligned_op.di = NULL;                            \
485        targetm.asm_out.unaligned_op.di = NULL;                          \
486     }                                                                   \
487   if (TARGET_FMOVD)                                                     \
488     reg_class_from_letter['e' - 'a'] = NO_REGS;                         \
489                                                                         \
490   for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)               \
491     if (! VALID_REGISTER_P (regno))                                     \
492       sh_register_names[regno][0] = '\0';                               \
493                                                                         \
494   for (regno = 0; regno < ADDREGNAMES_SIZE; regno++)                    \
495     if (! VALID_REGISTER_P (ADDREGNAMES_REGNO (regno)))                 \
496       sh_additional_register_names[regno][0] = '\0';                    \
497                                                                         \
498   if (flag_omit_frame_pointer < 0)                                      \
499    {                                                                    \
500      /* The debugging information is sufficient,                        \
501         but gdb doesn't implement this yet */                           \
502      if (0)                                                             \
503       flag_omit_frame_pointer                                           \
504         = (PREFERRED_DEBUGGING_TYPE == DWARF_DEBUG                      \
505            || PREFERRED_DEBUGGING_TYPE == DWARF2_DEBUG);                \
506      else                                                               \
507       flag_omit_frame_pointer = 0;                                      \
508    }                                                                    \
509                                                                         \
510   if (flag_pic && ! TARGET_PREFERGOT)                                   \
511     flag_no_function_cse = 1;                                           \
512                                                                         \
513   if (SMALL_REGISTER_CLASSES)                                           \
514     {                                                                   \
515       /* Never run scheduling before reload, since that can             \
516          break global alloc, and generates slower code anyway due       \
517          to the pressure on R0.  */                                     \
518       flag_schedule_insns = 0;                                          \
519     }                                                                   \
520                                                                         \
521   if (align_loops == 0)                                                 \
522     align_loops =  1 << (TARGET_SH5 ? 3 : 2);                           \
523   if (align_jumps == 0)                                                 \
524     align_jumps = 1 << CACHE_LOG;                                       \
525   else if (align_jumps < (TARGET_SHMEDIA ? 4 : 2))                      \
526     align_jumps = TARGET_SHMEDIA ? 4 : 2;                               \
527                                                                         \
528   /* Allocation boundary (in *bytes*) for the code of a function.       \
529      SH1: 32 bit alignment is faster, because instructions are always   \
530      fetched as a pair from a longword boundary.                        \
531      SH2 .. SH5 : align to cache line start.  */                        \
532   if (align_functions == 0)                                             \
533     align_functions                                                     \
534       = TARGET_SMALLCODE ? FUNCTION_BOUNDARY/8 : (1 << CACHE_LOG);      \
535   /* The linker relaxation code breaks when a function contains         \
536      alignments that are larger than that at the start of a             \
537      compilation unit.  */                                              \
538   if (TARGET_RELAX)                                                     \
539     {                                                                   \
540       int min_align                                                     \
541         = align_loops > align_jumps ? align_loops : align_jumps;        \
542                                                                         \
543       /* Also take possible .long constants / mova tables int account.  */\
544       if (min_align < 4)                                                \
545         min_align = 4;                                                  \
546       if (align_functions < min_align)                                  \
547         align_functions = min_align;                                    \
548     }                                                                   \
549 } while (0)
550 \f
551 /* Target machine storage layout.  */
552
553 /* Define this if most significant bit is lowest numbered
554    in instructions that operate on numbered bit-fields.  */
555
556 #define BITS_BIG_ENDIAN  0
557
558 /* Define this if most significant byte of a word is the lowest numbered.  */
559 #define BYTES_BIG_ENDIAN (TARGET_LITTLE_ENDIAN == 0)
560
561 /* Define this if most significant word of a multiword number is the lowest
562    numbered.  */
563 #define WORDS_BIG_ENDIAN (TARGET_LITTLE_ENDIAN == 0)
564
565 /* Define this to set the endianness to use in libgcc2.c, which can
566    not depend on target_flags.  */
567 #if defined(__LITTLE_ENDIAN__)
568 #define LIBGCC2_WORDS_BIG_ENDIAN 0
569 #else
570 #define LIBGCC2_WORDS_BIG_ENDIAN 1
571 #endif
572
573 #define MAX_BITS_PER_WORD 64
574
575 #define MAX_LONG_TYPE_SIZE MAX_BITS_PER_WORD
576
577 /* Width in bits of an `int'.  We want just 32-bits, even if words are
578    longer. */
579 #define INT_TYPE_SIZE 32
580
581 /* Width in bits of a `long'.  */
582 #define LONG_TYPE_SIZE (TARGET_SHMEDIA64 ? 64 : 32)
583
584 /* Width in bits of a `long long'.  */
585 #define LONG_LONG_TYPE_SIZE 64
586
587 /* Width in bits of a `long double'.  */
588 #define LONG_DOUBLE_TYPE_SIZE 64
589
590 /* Width of a word, in units (bytes).  */
591 #define UNITS_PER_WORD  (TARGET_SHMEDIA ? 8 : 4)
592 #define MIN_UNITS_PER_WORD 4
593
594 /* Scaling factor for Dwarf data offsets for CFI information.
595    The dwarf2out.c default would use -UNITS_PER_WORD, which is -8 for
596    SHmedia; however, since we do partial register saves for the registers
597    visible to SHcompact, and for target registers for SHMEDIA32, we have
598    to allow saves that are only 4-byte aligned.  */
599 #define DWARF_CIE_DATA_ALIGNMENT -4
600
601 /* Width in bits of a pointer.
602    See also the macro `Pmode' defined below.  */
603 #define POINTER_SIZE  (TARGET_SHMEDIA64 ? 64 : 32)
604
605 /* Allocation boundary (in *bits*) for storing arguments in argument list.  */
606 #define PARM_BOUNDARY   (TARGET_SH5 ? 64 : 32)
607
608 /* Boundary (in *bits*) on which stack pointer should be aligned.  */
609 #define STACK_BOUNDARY  BIGGEST_ALIGNMENT
610
611 /* The log (base 2) of the cache line size, in bytes.  Processors prior to
612    SH2 have no actual cache, but they fetch code in chunks of 4 bytes.
613    The SH2/3 have 16 byte cache lines, and the SH4 has a 32 byte cache line */
614 #define CACHE_LOG (TARGET_CACHE32 ? 5 : TARGET_SH2 ? 4 : 2)
615
616 /* ABI given & required minimum allocation boundary (in *bits*) for the
617    code of a function.  */
618 #define FUNCTION_BOUNDARY (16 << TARGET_SHMEDIA)
619
620 /* On SH5, the lowest bit is used to indicate SHmedia functions, so
621    the vbit must go into the delta field of
622    pointers-to-member-functions.  */
623 #define TARGET_PTRMEMFUNC_VBIT_LOCATION \
624   (TARGET_SH5 ? ptrmemfunc_vbit_in_delta : ptrmemfunc_vbit_in_pfn)
625
626 /* Alignment of field after `int : 0' in a structure.  */
627 #define EMPTY_FIELD_BOUNDARY  32
628
629 /* No data type wants to be aligned rounder than this.  */
630 #define BIGGEST_ALIGNMENT  (TARGET_ALIGN_DOUBLE ? 64 : 32)
631
632 /* The best alignment to use in cases where we have a choice.  */
633 #define FASTEST_ALIGNMENT (TARGET_SH5 ? 64 : 32)
634
635 /* Make strings word-aligned so strcpy from constants will be faster.  */
636 #define CONSTANT_ALIGNMENT(EXP, ALIGN)  \
637   ((TREE_CODE (EXP) == STRING_CST       \
638     && (ALIGN) < FASTEST_ALIGNMENT)     \
639     ? FASTEST_ALIGNMENT : (ALIGN))
640
641 /* get_mode_alignment assumes complex values are always held in multiple
642    registers, but that is not the case on the SH; CQImode and CHImode are
643    held in a single integer register.  SH5 also holds CSImode and SCmode
644    values in integer registers.  This is relevant for argument passing on
645    SHcompact as we use a stack temp in order to pass CSImode by reference.  */
646 #define LOCAL_ALIGNMENT(TYPE, ALIGN) \
647   ((GET_MODE_CLASS (TYPE_MODE (TYPE)) == MODE_COMPLEX_INT \
648     || GET_MODE_CLASS (TYPE_MODE (TYPE)) == MODE_COMPLEX_FLOAT) \
649    ? (unsigned) MIN (BIGGEST_ALIGNMENT, GET_MODE_BITSIZE (TYPE_MODE (TYPE))) \
650    : (unsigned) ALIGN)
651
652 /* Make arrays of chars word-aligned for the same reasons.  */
653 #define DATA_ALIGNMENT(TYPE, ALIGN)             \
654   (TREE_CODE (TYPE) == ARRAY_TYPE               \
655    && TYPE_MODE (TREE_TYPE (TYPE)) == QImode    \
656    && (ALIGN) < FASTEST_ALIGNMENT ? FASTEST_ALIGNMENT : (ALIGN))
657
658 /* Number of bits which any structure or union's size must be a
659    multiple of.  Each structure or union's size is rounded up to a
660    multiple of this.  */
661 #define STRUCTURE_SIZE_BOUNDARY (TARGET_PADSTRUCT ? 32 : 8)
662
663 /* Set this nonzero if move instructions will actually fail to work
664    when given unaligned data.  */
665 #define STRICT_ALIGNMENT 1
666
667 /* If LABEL_AFTER_BARRIER demands an alignment, return its base 2 logarithm.  */
668 #define LABEL_ALIGN_AFTER_BARRIER(LABEL_AFTER_BARRIER) \
669   barrier_align (LABEL_AFTER_BARRIER)
670
671 #define LOOP_ALIGN(A_LABEL) \
672   ((! optimize || TARGET_HARVARD || TARGET_SMALLCODE) \
673    ? 0 : sh_loop_align (A_LABEL))
674
675 #define LABEL_ALIGN(A_LABEL) \
676 (                                                                       \
677   (PREV_INSN (A_LABEL)                                                  \
678    && GET_CODE (PREV_INSN (A_LABEL)) == INSN                            \
679    && GET_CODE (PATTERN (PREV_INSN (A_LABEL))) == UNSPEC_VOLATILE       \
680    && XINT (PATTERN (PREV_INSN (A_LABEL)), 1) == UNSPECV_ALIGN)         \
681    /* explicit alignment insn in constant tables.  */                   \
682   ? INTVAL (XVECEXP (PATTERN (PREV_INSN (A_LABEL)), 0, 0))              \
683   : 0)
684
685 /* Jump tables must be 32 bit aligned, no matter the size of the element.  */
686 #define ADDR_VEC_ALIGN(ADDR_VEC) 2
687
688 /* The base two logarithm of the known minimum alignment of an insn length.  */
689 #define INSN_LENGTH_ALIGNMENT(A_INSN)                                   \
690   (GET_CODE (A_INSN) == INSN                                            \
691    ? 1 << TARGET_SHMEDIA                                                \
692    : GET_CODE (A_INSN) == JUMP_INSN || GET_CODE (A_INSN) == CALL_INSN   \
693    ? 1 << TARGET_SHMEDIA                                                \
694    : CACHE_LOG)
695 \f
696 /* Standard register usage.  */
697
698 /* Register allocation for the Renesas calling convention:
699
700         r0              arg return
701         r1..r3          scratch
702         r4..r7          args in
703         r8..r13         call saved
704         r14             frame pointer/call saved
705         r15             stack pointer
706         ap              arg pointer (doesn't really exist, always eliminated)
707         pr              subroutine return address
708         t               t bit
709         mach            multiply/accumulate result, high part
710         macl            multiply/accumulate result, low part.
711         fpul            fp/int communication register
712         rap             return address pointer register
713         fr0             fp arg return
714         fr1..fr3        scratch floating point registers
715         fr4..fr11       fp args in
716         fr12..fr15      call saved floating point registers  */
717
718 #define MAX_REGISTER_NAME_LENGTH 5
719 extern char sh_register_names[][MAX_REGISTER_NAME_LENGTH + 1];
720
721 #define SH_REGISTER_NAMES_INITIALIZER                                   \
722 {                                                                       \
723   "r0",   "r1",   "r2",   "r3",   "r4",   "r5",   "r6",   "r7",         \
724   "r8",   "r9",   "r10",  "r11",  "r12",  "r13",  "r14",  "r15",        \
725   "r16",  "r17",  "r18",  "r19",  "r20",  "r21",  "r22",  "r23",        \
726   "r24",  "r25",  "r26",  "r27",  "r28",  "r29",  "r30",  "r31",        \
727   "r32",  "r33",  "r34",  "r35",  "r36",  "r37",  "r38",  "r39",        \
728   "r40",  "r41",  "r42",  "r43",  "r44",  "r45",  "r46",  "r47",        \
729   "r48",  "r49",  "r50",  "r51",  "r52",  "r53",  "r54",  "r55",        \
730   "r56",  "r57",  "r58",  "r59",  "r60",  "r61",  "r62",  "r63",        \
731   "fr0",  "fr1",  "fr2",  "fr3",  "fr4",  "fr5",  "fr6",  "fr7",        \
732   "fr8",  "fr9",  "fr10", "fr11", "fr12", "fr13", "fr14", "fr15",       \
733   "fr16", "fr17", "fr18", "fr19", "fr20", "fr21", "fr22", "fr23",       \
734   "fr24", "fr25", "fr26", "fr27", "fr28", "fr29", "fr30", "fr31",       \
735   "fr32", "fr33", "fr34", "fr35", "fr36", "fr37", "fr38", "fr39",       \
736   "fr40", "fr41", "fr42", "fr43", "fr44", "fr45", "fr46", "fr47",       \
737   "fr48", "fr49", "fr50", "fr51", "fr52", "fr53", "fr54", "fr55",       \
738   "fr56", "fr57", "fr58", "fr59", "fr60", "fr61", "fr62", "fr63",       \
739   "tr0",  "tr1",  "tr2",  "tr3",  "tr4",  "tr5",  "tr6",  "tr7",        \
740   "xd0",  "xd2",  "xd4",  "xd6",  "xd8",  "xd10", "xd12", "xd14",       \
741   "gbr",  "ap",   "pr",   "t",    "mach", "macl", "fpul", "fpscr",      \
742   "rap"                                                                 \
743 }
744
745 #define DEBUG_REGISTER_NAMES SH_REGISTER_NAMES_INITIALIZER
746
747 #define REGNAMES_ARR_INDEX_1(index) \
748   (sh_register_names[index])
749 #define REGNAMES_ARR_INDEX_2(index) \
750   REGNAMES_ARR_INDEX_1 ((index)), REGNAMES_ARR_INDEX_1 ((index)+1)
751 #define REGNAMES_ARR_INDEX_4(index) \
752   REGNAMES_ARR_INDEX_2 ((index)), REGNAMES_ARR_INDEX_2 ((index)+2)
753 #define REGNAMES_ARR_INDEX_8(index) \
754   REGNAMES_ARR_INDEX_4 ((index)), REGNAMES_ARR_INDEX_4 ((index)+4)
755 #define REGNAMES_ARR_INDEX_16(index) \
756   REGNAMES_ARR_INDEX_8 ((index)), REGNAMES_ARR_INDEX_8 ((index)+8)
757 #define REGNAMES_ARR_INDEX_32(index) \
758   REGNAMES_ARR_INDEX_16 ((index)), REGNAMES_ARR_INDEX_16 ((index)+16)
759 #define REGNAMES_ARR_INDEX_64(index) \
760   REGNAMES_ARR_INDEX_32 ((index)), REGNAMES_ARR_INDEX_32 ((index)+32)
761
762 #define REGISTER_NAMES \
763 { \
764   REGNAMES_ARR_INDEX_64 (0), \
765   REGNAMES_ARR_INDEX_64 (64), \
766   REGNAMES_ARR_INDEX_8 (128), \
767   REGNAMES_ARR_INDEX_8 (136), \
768   REGNAMES_ARR_INDEX_8 (144), \
769   REGNAMES_ARR_INDEX_1 (152) \
770 }
771
772 #define ADDREGNAMES_SIZE 32
773 #define MAX_ADDITIONAL_REGISTER_NAME_LENGTH 4
774 extern char sh_additional_register_names[ADDREGNAMES_SIZE] \
775   [MAX_ADDITIONAL_REGISTER_NAME_LENGTH + 1];
776
777 #define SH_ADDITIONAL_REGISTER_NAMES_INITIALIZER                        \
778 {                                                                       \
779   "dr0",  "dr2",  "dr4",  "dr6",  "dr8",  "dr10", "dr12", "dr14",       \
780   "dr16", "dr18", "dr20", "dr22", "dr24", "dr26", "dr28", "dr30",       \
781   "dr32", "dr34", "dr36", "dr38", "dr40", "dr42", "dr44", "dr46",       \
782   "dr48", "dr50", "dr52", "dr54", "dr56", "dr58", "dr60", "dr62"        \
783 }
784
785 #define ADDREGNAMES_REGNO(index) \
786   ((index < 32) ? (FIRST_FP_REG + (index) * 2) \
787    : (-1))
788
789 #define ADDREGNAMES_ARR_INDEX_1(index) \
790   { (sh_additional_register_names[index]), ADDREGNAMES_REGNO (index) }
791 #define ADDREGNAMES_ARR_INDEX_2(index) \
792   ADDREGNAMES_ARR_INDEX_1 ((index)), ADDREGNAMES_ARR_INDEX_1 ((index)+1)
793 #define ADDREGNAMES_ARR_INDEX_4(index) \
794   ADDREGNAMES_ARR_INDEX_2 ((index)), ADDREGNAMES_ARR_INDEX_2 ((index)+2)
795 #define ADDREGNAMES_ARR_INDEX_8(index) \
796   ADDREGNAMES_ARR_INDEX_4 ((index)), ADDREGNAMES_ARR_INDEX_4 ((index)+4)
797 #define ADDREGNAMES_ARR_INDEX_16(index) \
798   ADDREGNAMES_ARR_INDEX_8 ((index)), ADDREGNAMES_ARR_INDEX_8 ((index)+8)
799 #define ADDREGNAMES_ARR_INDEX_32(index) \
800   ADDREGNAMES_ARR_INDEX_16 ((index)), ADDREGNAMES_ARR_INDEX_16 ((index)+16)
801
802 #define ADDITIONAL_REGISTER_NAMES \
803 {                                       \
804   ADDREGNAMES_ARR_INDEX_32 (0)          \
805 }
806
807 /* Number of actual hardware registers.
808    The hardware registers are assigned numbers for the compiler
809    from 0 to just below FIRST_PSEUDO_REGISTER.
810    All registers that the compiler knows about must be given numbers,
811    even those that are not normally considered general registers.  */
812
813 /* There are many other relevant definitions in sh.md's md_constants.  */
814
815 #define FIRST_GENERAL_REG R0_REG
816 #define LAST_GENERAL_REG (FIRST_GENERAL_REG + (TARGET_SHMEDIA ? 63 : 15))
817 #define FIRST_FP_REG DR0_REG
818 #define LAST_FP_REG  (FIRST_FP_REG + \
819                       (TARGET_SHMEDIA_FPU ? 63 : TARGET_SH2E ? 15 : -1))
820 #define FIRST_XD_REG XD0_REG
821 #define LAST_XD_REG  (FIRST_XD_REG + ((TARGET_SH4 && TARGET_FMOVD) ? 7 : -1))
822 #define FIRST_TARGET_REG TR0_REG
823 #define LAST_TARGET_REG  (FIRST_TARGET_REG + (TARGET_SHMEDIA ? 7 : -1))
824
825 #define GENERAL_REGISTER_P(REGNO) \
826   IN_RANGE ((REGNO), \
827             (unsigned HOST_WIDE_INT) FIRST_GENERAL_REG, \
828             (unsigned HOST_WIDE_INT) LAST_GENERAL_REG)
829
830 #define GENERAL_OR_AP_REGISTER_P(REGNO) \
831   (GENERAL_REGISTER_P (REGNO) || ((REGNO) == AP_REG))
832
833 #define FP_REGISTER_P(REGNO) \
834   ((int) (REGNO) >= FIRST_FP_REG && (int) (REGNO) <= LAST_FP_REG)
835
836 #define XD_REGISTER_P(REGNO) \
837   ((int) (REGNO) >= FIRST_XD_REG && (int) (REGNO) <= LAST_XD_REG)
838
839 #define FP_OR_XD_REGISTER_P(REGNO) \
840   (FP_REGISTER_P (REGNO) || XD_REGISTER_P (REGNO))
841
842 #define FP_ANY_REGISTER_P(REGNO) \
843   (FP_REGISTER_P (REGNO) || XD_REGISTER_P (REGNO) || (REGNO) == FPUL_REG)
844
845 #define SPECIAL_REGISTER_P(REGNO) \
846   ((REGNO) == GBR_REG || (REGNO) == T_REG \
847    || (REGNO) == MACH_REG || (REGNO) == MACL_REG)
848
849 #define TARGET_REGISTER_P(REGNO) \
850   ((int) (REGNO) >= FIRST_TARGET_REG && (int) (REGNO) <= LAST_TARGET_REG)
851
852 #define SHMEDIA_REGISTER_P(REGNO) \
853   (GENERAL_REGISTER_P (REGNO) || FP_REGISTER_P (REGNO) \
854    || TARGET_REGISTER_P (REGNO))
855
856 /* This is to be used in CONDITIONAL_REGISTER_USAGE, to mark registers
857    that should be fixed.  */
858 #define VALID_REGISTER_P(REGNO) \
859   (SHMEDIA_REGISTER_P (REGNO) || XD_REGISTER_P (REGNO) \
860    || (REGNO) == AP_REG || (REGNO) == RAP_REG \
861    || (TARGET_SH1 && (SPECIAL_REGISTER_P (REGNO) || (REGNO) == PR_REG)) \
862    || (TARGET_SH2E && (REGNO) == FPUL_REG))
863
864 /* The mode that should be generally used to store a register by
865    itself in the stack, or to load it back.  */
866 #define REGISTER_NATURAL_MODE(REGNO) \
867   (FP_REGISTER_P (REGNO) ? SFmode \
868    : XD_REGISTER_P (REGNO) ? DFmode \
869    : TARGET_SHMEDIA && ! HARD_REGNO_CALL_PART_CLOBBERED ((REGNO), DImode) \
870    ? DImode \
871    : SImode)
872
873 #define FIRST_PSEUDO_REGISTER 153
874
875 /* 1 for registers that have pervasive standard uses
876    and are not available for the register allocator.
877
878    Mach register is fixed 'cause it's only 10 bits wide for SH1.
879    It is 32 bits wide for SH2.  */
880
881 #define FIXED_REGISTERS                                                 \
882 {                                                                       \
883 /* Regular registers.  */                                               \
884   0,      0,      0,      0,      0,      0,      0,      0,            \
885   0,      0,      0,      0,      0,      0,      0,      1,            \
886   /* r16 is reserved, r18 is the former pr.  */                         \
887   1,      0,      0,      0,      0,      0,      0,      0,            \
888   /* r24 is reserved for the OS; r25, for the assembler or linker.  */  \
889   /* r26 is a global variable data pointer; r27 is for constants.  */   \
890   1,      1,      1,      1,      0,      0,      0,      0,            \
891   0,      0,      0,      0,      0,      0,      0,      0,            \
892   0,      0,      0,      0,      0,      0,      0,      0,            \
893   0,      0,      0,      0,      0,      0,      0,      0,            \
894   0,      0,      0,      0,      0,      0,      0,      1,            \
895 /* FP registers.  */                                                    \
896   0,      0,      0,      0,      0,      0,      0,      0,            \
897   0,      0,      0,      0,      0,      0,      0,      0,            \
898   0,      0,      0,      0,      0,      0,      0,      0,            \
899   0,      0,      0,      0,      0,      0,      0,      0,            \
900   0,      0,      0,      0,      0,      0,      0,      0,            \
901   0,      0,      0,      0,      0,      0,      0,      0,            \
902   0,      0,      0,      0,      0,      0,      0,      0,            \
903   0,      0,      0,      0,      0,      0,      0,      0,            \
904 /* Branch target registers.  */                                         \
905   0,      0,      0,      0,      0,      0,      0,      0,            \
906 /* XD registers.  */                                                    \
907   0,      0,      0,      0,      0,      0,      0,      0,            \
908 /*"gbr",  "ap",   "pr",   "t",    "mach", "macl", "fpul", "fpscr", */   \
909   1,      1,      1,      1,      1,      1,      0,      1,            \
910 /*"rap" */                                                              \
911   1,                                                                    \
912 }
913
914 /* 1 for registers not available across function calls.
915    These must include the FIXED_REGISTERS and also any
916    registers that can be used without being saved.
917    The latter must include the registers where values are returned
918    and the register where structure-value addresses are passed.
919    Aside from that, you can include as many other registers as you like.  */
920
921 #define CALL_USED_REGISTERS                                             \
922 {                                                                       \
923 /* Regular registers.  */                                               \
924   1,      1,      1,      1,      1,      1,      1,      1,            \
925   /* R8 and R9 are call-clobbered on SH5, but not on earlier SH ABIs.   \
926      Only the lower 32bits of R10-R14 are guaranteed to be preserved    \
927      across SH5 function calls.  */                                     \
928   0,      0,      0,      0,      0,      0,      0,      1,            \
929   1,      1,      0,      1,      1,      1,      1,      1,            \
930   1,      1,      1,      1,      0,      0,      0,      0,            \
931   0,      0,      0,      0,      1,      1,      1,      1,            \
932   1,      1,      1,      1,      0,      0,      0,      0,            \
933   0,      0,      0,      0,      0,      0,      0,      0,            \
934   0,      0,      0,      0,      1,      1,      1,      1,            \
935 /* FP registers.  */                                                    \
936   1,      1,      1,      1,      1,      1,      1,      1,            \
937   1,      1,      1,      1,      0,      0,      0,      0,            \
938   1,      1,      1,      1,      1,      1,      1,      1,            \
939   1,      1,      1,      1,      1,      1,      1,      1,            \
940   1,      1,      1,      1,      0,      0,      0,      0,            \
941   0,      0,      0,      0,      0,      0,      0,      0,            \
942   0,      0,      0,      0,      0,      0,      0,      0,            \
943   0,      0,      0,      0,      0,      0,      0,      0,            \
944 /* Branch target registers.  */                                         \
945   1,      1,      1,      1,      1,      0,      0,      0,            \
946 /* XD registers.  */                                                    \
947   1,      1,      1,      1,      1,      1,      0,      0,            \
948 /*"gbr",  "ap",   "pr",   "t",    "mach", "macl", "fpul", "fpscr", */   \
949   1,      1,      0,      1,      1,      1,      1,      1,            \
950 /*"rap" */                                                              \
951   1,                                                                    \
952 }
953
954 /* Only the lower 32-bits of R10-R14 are guaranteed to be preserved
955    across SHcompact function calls.  We can't tell whether a called
956    function is SHmedia or SHcompact, so we assume it may be when
957    compiling SHmedia code with the 32-bit ABI, since that's the only
958    ABI that can be linked with SHcompact code.  */
959 #define HARD_REGNO_CALL_PART_CLOBBERED(REGNO,MODE) \
960   (TARGET_SHMEDIA32 \
961    && GET_MODE_SIZE (MODE) > 4 \
962    && (((REGNO) >= FIRST_GENERAL_REG + 10 \
963         && (REGNO) <= FIRST_GENERAL_REG + 15) \
964        || TARGET_REGISTER_P (REGNO) \
965        || (REGNO) == PR_MEDIA_REG))
966
967 /* Return number of consecutive hard regs needed starting at reg REGNO
968    to hold something of mode MODE.
969    This is ordinarily the length in words of a value of mode MODE
970    but can be less for certain modes in special long registers.
971
972    On the SH all but the XD regs are UNITS_PER_WORD bits wide.  */
973
974 #define HARD_REGNO_NREGS(REGNO, MODE) \
975    (XD_REGISTER_P (REGNO) \
976     ? ((GET_MODE_SIZE (MODE) + (2*UNITS_PER_WORD - 1)) / (2*UNITS_PER_WORD)) \
977     : (TARGET_SHMEDIA && FP_REGISTER_P (REGNO)) \
978     ? ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD/2 - 1) / (UNITS_PER_WORD/2)) \
979     : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
980
981 /* Value is 1 if hard register REGNO can hold a value of machine-mode MODE.
982    We can allow any mode in any general register.  The special registers
983    only allow SImode.  Don't allow any mode in the PR.  */
984
985 /* We cannot hold DCmode values in the XD registers because alter_reg
986    handles subregs of them incorrectly.  We could work around this by
987    spacing the XD registers like the DR registers, but this would require
988    additional memory in every compilation to hold larger register vectors.
989    We could hold SFmode / SCmode values in XD registers, but that
990    would require a tertiary reload when reloading from / to memory,
991    and a secondary reload to reload from / to general regs; that
992    seems to be a loosing proposition.  */
993 /* We want to allow TImode FP regs so that when V4SFmode is loaded as TImode,
994    it won't be ferried through GP registers first.  */
995 #define HARD_REGNO_MODE_OK(REGNO, MODE)         \
996   (SPECIAL_REGISTER_P (REGNO) ? (MODE) == SImode \
997    : (REGNO) == FPUL_REG ? (MODE) == SImode || (MODE) == SFmode \
998    : FP_REGISTER_P (REGNO) && (MODE) == SFmode \
999    ? 1 \
1000    : (MODE) == V2SFmode \
1001    ? ((FP_REGISTER_P (REGNO) && ((REGNO) - FIRST_FP_REG) % 2 == 0) \
1002       || GENERAL_REGISTER_P (REGNO)) \
1003    : (MODE) == V4SFmode \
1004    ? ((FP_REGISTER_P (REGNO) && ((REGNO) - FIRST_FP_REG) % 4 == 0) \
1005       || (! TARGET_SHMEDIA && GENERAL_REGISTER_P (REGNO))) \
1006    : (MODE) == V16SFmode \
1007    ? (TARGET_SHMEDIA \
1008       ? (FP_REGISTER_P (REGNO) && ((REGNO) - FIRST_FP_REG) % 16 == 0) \
1009       : (REGNO) == FIRST_XD_REG) \
1010    : FP_REGISTER_P (REGNO) \
1011    ? ((MODE) == SFmode || (MODE) == SImode \
1012       || ((TARGET_SH2E || TARGET_SHMEDIA) && (MODE) == SCmode) \
1013       || (((TARGET_SH4 && (MODE) == DFmode) || (MODE) == DCmode \
1014            || (TARGET_SHMEDIA && ((MODE) == DFmode || (MODE) == DImode \
1015                                   || (MODE) == V2SFmode || (MODE) == TImode))) \
1016           && (((REGNO) - FIRST_FP_REG) & 1) == 0)) \
1017    : XD_REGISTER_P (REGNO) \
1018    ? (MODE) == DFmode \
1019    : TARGET_REGISTER_P (REGNO) \
1020    ? ((MODE) == DImode || (MODE) == SImode) \
1021    : (REGNO) == PR_REG ? 0                      \
1022    : (REGNO) == FPSCR_REG ? (MODE) == PSImode \
1023    : 1)
1024
1025 /* Value is 1 if MODE is a supported vector mode.  */
1026 #define VECTOR_MODE_SUPPORTED_P(MODE) \
1027   ((TARGET_FPU_ANY \
1028     && ((MODE) == V2SFmode || (MODE) == V4SFmode || (MODE) == V16SFmode)) \
1029    || (TARGET_SHMEDIA \
1030        && ((MODE) == V8QImode || (MODE) == V2HImode || (MODE) == V4HImode \
1031            || (MODE) == V2SImode)))
1032
1033 /* Value is 1 if it is a good idea to tie two pseudo registers
1034    when one has mode MODE1 and one has mode MODE2.
1035    If HARD_REGNO_MODE_OK could produce different values for MODE1 and MODE2,
1036    for any hard reg, then this must be 0 for correct output.
1037    That's the case for xd registers: we don't hold SFmode values in
1038    them, so we can't tie an SFmode pseudos with one in another
1039    floating-point mode.  */
1040
1041 #define MODES_TIEABLE_P(MODE1, MODE2) \
1042   ((MODE1) == (MODE2) \
1043    || (GET_MODE_CLASS (MODE1) == GET_MODE_CLASS (MODE2) \
1044        && (TARGET_SHMEDIA ? ((GET_MODE_SIZE (MODE1) <= 4) \
1045                               && (GET_MODE_SIZE (MODE2) <= 4)) \
1046                           : ((MODE1) != SFmode && (MODE2) != SFmode))))
1047
1048 /* A C expression that is nonzero if hard register NEW_REG can be
1049    considered for use as a rename register for OLD_REG register */
1050
1051 #define HARD_REGNO_RENAME_OK(OLD_REG, NEW_REG) \
1052    sh_hard_regno_rename_ok (OLD_REG, NEW_REG)
1053
1054 /* Specify the registers used for certain standard purposes.
1055    The values of these macros are register numbers.  */
1056
1057 /* Define this if the program counter is overloaded on a register.  */
1058 /* #define PC_REGNUM            15*/
1059
1060 /* Register to use for pushing function arguments.  */
1061 #define STACK_POINTER_REGNUM    SP_REG
1062
1063 /* Base register for access to local variables of the function.  */
1064 #define FRAME_POINTER_REGNUM    FP_REG
1065
1066 /* Fake register that holds the address on the stack of the
1067    current function's return address.  */
1068 #define RETURN_ADDRESS_POINTER_REGNUM RAP_REG
1069
1070 /* Register to hold the addressing base for position independent
1071    code access to data items.  */
1072 #define PIC_OFFSET_TABLE_REGNUM (flag_pic ? PIC_REG : INVALID_REGNUM)
1073
1074 #define GOT_SYMBOL_NAME "*_GLOBAL_OFFSET_TABLE_"
1075
1076 /* Value should be nonzero if functions must have frame pointers.
1077    Zero means the frame pointer need not be set up (and parms may be accessed
1078    via the stack pointer) in functions that seem suitable.  */
1079
1080 #define FRAME_POINTER_REQUIRED  0
1081
1082 /* Definitions for register eliminations.
1083
1084    We have three registers that can be eliminated on the SH.  First, the
1085    frame pointer register can often be eliminated in favor of the stack
1086    pointer register.  Secondly, the argument pointer register can always be
1087    eliminated; it is replaced with either the stack or frame pointer.
1088    Third, there is the return address pointer, which can also be replaced
1089    with either the stack or the frame pointer.  */
1090
1091 /* This is an array of structures.  Each structure initializes one pair
1092    of eliminable registers.  The "from" register number is given first,
1093    followed by "to".  Eliminations of the same "from" register are listed
1094    in order of preference.  */
1095
1096 /* If you add any registers here that are not actually hard registers,
1097    and that have any alternative of elimination that doesn't always
1098    apply, you need to amend calc_live_regs to exclude it, because
1099    reload spills all eliminable registers where it sees an
1100    can_eliminate == 0 entry, thus making them 'live' .
1101    If you add any hard registers that can be eliminated in different
1102    ways, you have to patch reload to spill them only when all alternatives
1103    of elimination fail.  */
1104
1105 #define ELIMINABLE_REGS                                         \
1106 {{ FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM},                 \
1107  { RETURN_ADDRESS_POINTER_REGNUM, STACK_POINTER_REGNUM},        \
1108  { RETURN_ADDRESS_POINTER_REGNUM, FRAME_POINTER_REGNUM},        \
1109  { ARG_POINTER_REGNUM, STACK_POINTER_REGNUM},                   \
1110  { ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM},}
1111
1112 /* Given FROM and TO register numbers, say whether this elimination
1113    is allowed.  */
1114 #define CAN_ELIMINATE(FROM, TO) \
1115   (!((FROM) == FRAME_POINTER_REGNUM && FRAME_POINTER_REQUIRED))
1116
1117 /* Define the offset between two registers, one to be eliminated, and the other
1118    its replacement, at the start of a routine.  */
1119
1120 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
1121   OFFSET = initial_elimination_offset ((FROM), (TO))
1122
1123 /* Base register for access to arguments of the function.  */
1124 #define ARG_POINTER_REGNUM      AP_REG
1125
1126 /* Register in which the static-chain is passed to a function.  */
1127 #define STATIC_CHAIN_REGNUM     (TARGET_SH5 ? 1 : 3)
1128
1129 /* The register in which a struct value address is passed.  */
1130
1131 #define STRUCT_VALUE_REGNUM 2
1132
1133 /* If the structure value address is not passed in a register, define
1134    `STRUCT_VALUE' as an expression returning an RTX for the place
1135    where the address is passed.  If it returns 0, the address is
1136    passed as an "invisible" first argument.  */
1137
1138 /* The Renesas calling convention doesn't quite fit into this scheme since
1139    the address is passed like an invisible argument, but one that is always
1140    passed in memory.  */
1141 #define STRUCT_VALUE \
1142   (TARGET_HITACHI ? 0 : gen_rtx_REG (Pmode, STRUCT_VALUE_REGNUM))
1143
1144 #define RETURN_IN_MEMORY(TYPE) \
1145   (TARGET_SH5 \
1146    ? ((TYPE_MODE (TYPE) == BLKmode \
1147        ? (unsigned HOST_WIDE_INT) int_size_in_bytes (TYPE) \
1148        : GET_MODE_SIZE (TYPE_MODE (TYPE))) > 8) \
1149    : (TYPE_MODE (TYPE) == BLKmode \
1150       || (TARGET_HITACHI && TREE_CODE (TYPE) == RECORD_TYPE)))
1151
1152 /* Don't default to pcc-struct-return, because we have already specified
1153    exactly how to return structures in the RETURN_IN_MEMORY macro.  */
1154
1155 #define DEFAULT_PCC_STRUCT_RETURN 0
1156
1157 #define SHMEDIA_REGS_STACK_ADJUST() \
1158   (TARGET_SHCOMPACT && current_function_has_nonlocal_label \
1159    ? (8 * (/* r28-r35 */ 8 + /* r44-r59 */ 16 + /* tr5-tr7 */ 3) \
1160       + (TARGET_FPU_ANY ? 4 * (/* fr36 - fr63 */ 28) : 0)) \
1161    : 0)
1162
1163 \f
1164 /* Define the classes of registers for register constraints in the
1165    machine description.  Also define ranges of constants.
1166
1167    One of the classes must always be named ALL_REGS and include all hard regs.
1168    If there is more than one class, another class must be named NO_REGS
1169    and contain no registers.
1170
1171    The name GENERAL_REGS must be the name of a class (or an alias for
1172    another name such as ALL_REGS).  This is the class of registers
1173    that is allowed by "g" or "r" in a register constraint.
1174    Also, registers outside this class are allocated only when
1175    instructions express preferences for them.
1176
1177    The classes must be numbered in nondecreasing order; that is,
1178    a larger-numbered class must never be contained completely
1179    in a smaller-numbered class.
1180
1181    For any two classes, it is very desirable that there be another
1182    class that represents their union.  */
1183
1184 /* The SH has two sorts of general registers, R0 and the rest.  R0 can
1185    be used as the destination of some of the arithmetic ops. There are
1186    also some special purpose registers; the T bit register, the
1187    Procedure Return Register and the Multiply Accumulate Registers.  */
1188 /* Place GENERAL_REGS after FPUL_REGS so that it will be preferred by
1189    reg_class_subunion.  We don't want to have an actual union class
1190    of these, because it would only be used when both classes are calculated
1191    to give the same cost, but there is only one FPUL register.
1192    Besides, regclass fails to notice the different REGISTER_MOVE_COSTS
1193    applying to the actual instruction alternative considered.  E.g., the
1194    y/r alternative of movsi_ie is considered to have no more cost that
1195    the r/r alternative, which is patently untrue.  */
1196
1197 enum reg_class
1198 {
1199   NO_REGS,
1200   R0_REGS,
1201   PR_REGS,
1202   T_REGS,
1203   MAC_REGS,
1204   FPUL_REGS,
1205   SIBCALL_REGS,
1206   GENERAL_REGS,
1207   FP0_REGS,
1208   FP_REGS,
1209   DF_HI_REGS,
1210   DF_REGS,
1211   FPSCR_REGS,
1212   GENERAL_FP_REGS,
1213   TARGET_REGS,
1214   ALL_REGS,
1215   LIM_REG_CLASSES
1216 };
1217
1218 #define N_REG_CLASSES  (int) LIM_REG_CLASSES
1219
1220 /* Give names of register classes as strings for dump file.  */
1221 #define REG_CLASS_NAMES \
1222 {                       \
1223   "NO_REGS",            \
1224   "R0_REGS",            \
1225   "PR_REGS",            \
1226   "T_REGS",             \
1227   "MAC_REGS",           \
1228   "FPUL_REGS",          \
1229   "SIBCALL_REGS",       \
1230   "GENERAL_REGS",       \
1231   "FP0_REGS",           \
1232   "FP_REGS",            \
1233   "DF_HI_REGS",         \
1234   "DF_REGS",            \
1235   "FPSCR_REGS",         \
1236   "GENERAL_FP_REGS",    \
1237   "TARGET_REGS",        \
1238   "ALL_REGS",           \
1239 }
1240
1241 /* Define which registers fit in which classes.
1242    This is an initializer for a vector of HARD_REG_SET
1243    of length N_REG_CLASSES.  */
1244
1245 #define REG_CLASS_CONTENTS                                              \
1246 {                                                                       \
1247 /* NO_REGS:  */                                                         \
1248   { 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000 },       \
1249 /* R0_REGS:  */                                                         \
1250   { 0x00000001, 0x00000000, 0x00000000, 0x00000000, 0x00000000 },       \
1251 /* PR_REGS:  */                                                         \
1252   { 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00040000 },       \
1253 /* T_REGS:  */                                                          \
1254   { 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00080000 },       \
1255 /* MAC_REGS:  */                                                        \
1256   { 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00300000 },       \
1257 /* FPUL_REGS:  */                                                       \
1258   { 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00400000 },       \
1259 /* SIBCALL_REGS: Initialized in CONDITIONAL_REGISTER_USAGE.  */ \
1260   { 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000 },       \
1261 /* GENERAL_REGS:  */                                                    \
1262   { 0xffffffff, 0xffffffff, 0x00000000, 0x00000000, 0x01020000 },       \
1263 /* FP0_REGS:  */                                                        \
1264   { 0x00000000, 0x00000000, 0x00000001, 0x00000000, 0x00000000 },       \
1265 /* FP_REGS:  */                                                         \
1266   { 0x00000000, 0x00000000, 0xffffffff, 0xffffffff, 0x00000000 },       \
1267 /* DF_HI_REGS:  Initialized in CONDITIONAL_REGISTER_USAGE.  */          \
1268   { 0x00000000, 0x00000000, 0xffffffff, 0xffffffff, 0x0000ff00 },       \
1269 /* DF_REGS:  */                                                         \
1270   { 0x00000000, 0x00000000, 0xffffffff, 0xffffffff, 0x0000ff00 },       \
1271 /* FPSCR_REGS:  */                                                      \
1272   { 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00800000 },       \
1273 /* GENERAL_FP_REGS:  */                                                 \
1274   { 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0x0102ff00 },       \
1275 /* TARGET_REGS:  */                                                     \
1276   { 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x000000ff },       \
1277 /* ALL_REGS:  */                                                        \
1278   { 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0x01ffffff },       \
1279 }                                                                        
1280
1281 /* The same information, inverted:
1282    Return the class number of the smallest class containing
1283    reg number REGNO.  This could be a conditional expression
1284    or could index an array.  */
1285
1286 extern enum reg_class regno_reg_class[FIRST_PSEUDO_REGISTER];
1287 #define REGNO_REG_CLASS(REGNO) regno_reg_class[(REGNO)]
1288
1289 /* When defined, the compiler allows registers explicitly used in the
1290    rtl to be used as spill registers but prevents the compiler from
1291    extending the lifetime of these registers.  */
1292
1293 #define SMALL_REGISTER_CLASSES (! TARGET_SHMEDIA)
1294
1295 /* The order in which register should be allocated.  */
1296 /* Sometimes FP0_REGS becomes the preferred class of a floating point pseudo,
1297    and GENERAL_FP_REGS the alternate class.  Since FP0 is likely to be
1298    spilled or used otherwise, we better have the FP_REGS allocated first.  */
1299 #define REG_ALLOC_ORDER \
1300   {/* Caller-saved FPRs */ \
1301     65, 66, 67, 68, 69, 70, 71, 64, \
1302     72, 73, 74, 75, 80, 81, 82, 83, \
1303     84, 85, 86, 87, 88, 89, 90, 91, \
1304     92, 93, 94, 95, 96, 97, 98, 99, \
1305    /* Callee-saved FPRs */ \
1306     76, 77, 78, 79,100,101,102,103, \
1307    104,105,106,107,108,109,110,111, \
1308    112,113,114,115,116,117,118,119, \
1309    120,121,122,123,124,125,126,127, \
1310    136,137,138,139,140,141,142,143, \
1311    /* FPSCR */ 151, \
1312    /* Caller-saved GPRs (except 8/9 on SH1-4) */ \
1313      1,  2,  3,  7,  6,  5,  4,  0, \
1314      8,  9, 17, 19, 20, 21, 22, 23, \
1315     36, 37, 38, 39, 40, 41, 42, 43, \
1316     60, 61, 62, \
1317    /* SH1-4 callee-saved saved GPRs / SH5 partially-saved GPRs */ \
1318     10, 11, 12, 13, 14, 18, \
1319     /* SH5 callee-saved GPRs */ \
1320     28, 29, 30, 31, 32, 33, 34, 35, \
1321     44, 45, 46, 47, 48, 49, 50, 51, \
1322     52, 53, 54, 55, 56, 57, 58, 59, \
1323    /* FPUL */ 150, \
1324    /* SH5 branch target registers */ \
1325    128,129,130,131,132,133,134,135, \
1326    /* Fixed registers */ \
1327     15, 16, 24, 25, 26, 27, 63,144, \
1328    145,146,147,148,149,152 }
1329
1330 /* The class value for index registers, and the one for base regs.  */
1331 #define INDEX_REG_CLASS  (TARGET_SHMEDIA ? GENERAL_REGS : R0_REGS)
1332 #define BASE_REG_CLASS   GENERAL_REGS
1333
1334 /* Get reg_class from a letter such as appears in the machine
1335    description.  */
1336 extern enum reg_class reg_class_from_letter[];
1337
1338 /* We might use 'Rxx' constraints in the future for exotic reg classes.*/
1339 #define REG_CLASS_FROM_CONSTRAINT(C, STR) \
1340   (ISLOWER (C) ? reg_class_from_letter[(C)-'a'] : NO_REGS )
1341 \f
1342 /* Overview of uppercase letter constraints:
1343    A: Addresses (constraint len == 3)
1344     Ac4: sh4 cache operations
1345     Ac5: sh5 cache operations
1346    Bxx: miscellaneous constraints
1347     Bsc: SCRATCH - for the scratch register in movsi_ie in the
1348          fldi0 / fldi0 cases
1349    C: Constants other than only CONST_INT (constraint len == 3)
1350     C16: 16 bit constant, literal or symbolic
1351     Csy: label or symbol
1352     Cpg: non-explicit constants that can be directly loaded into a general
1353          purpose register in PIC code.  like 's' except we don't allow
1354          PIC_DIRECT_ADDR_P
1355    IJKLMNOP: CONT_INT constants
1356     Ixx: signed xx bit
1357     J16: 0xffffffff00000000 | 0x00000000ffffffff
1358     Kxx: unsigned xx bit
1359     M: 1
1360     N: 0
1361     P27: 1 | 2 | 8 | 16
1362    Q: pc relative load operand
1363    Rxx: reserved for exotic register classes.
1364    S: extra memory (storage) constraints (constraint len == 3)
1365     Sua: unaligned memory operations
1366    W: vector
1367    Z: zero in any mode
1368
1369    unused CONST_INT constraint letters: LO
1370    unused EXTRA_CONSTRAINT letters: D T U Y */
1371
1372 #if 1 /* check that the transition went well.  */
1373 #define CONSTRAINT_LEN(C,STR) \
1374   (((C) == 'L' || (C) == 'O' || (C) == 'D' || (C) == 'T' || (C) == 'U' \
1375     || (C) == 'Y' \
1376     || ((C) == 'I' \
1377         && (((STR)[1] != '0' && (STR)[1] != '1') \
1378             || (STR)[2] < '0' || (STR)[2] > '9')) \
1379     || ((C) == 'B' && ((STR)[1] != 's' || (STR)[2] != 'c')) \
1380     || ((C) == 'J' && ((STR)[1] != '1' || (STR)[2] != '6')) \
1381     || ((C) == 'K' && ((STR)[1] != '0' || (STR)[2] != '8')) \
1382     || ((C) == 'P' && ((STR)[1] != '2' || (STR)[2] != '7'))) \
1383    ? -1 \
1384    : ((C) == 'A' || (C) == 'B' || (C) == 'C' \
1385       || (C) == 'I' || (C) == 'J' || (C) == 'K' || (C) == 'P' \
1386       || (C) == 'R' || (C) == 'S') \
1387    ? 3 \
1388    : DEFAULT_CONSTRAINT_LEN ((C), (STR)))
1389 #else
1390 #define CONSTRAINT_LEN(C,STR) \
1391   (((C) == 'A' || (C) == 'B' || (C) == 'C' \
1392     || (C) == 'I' || (C) == 'J' || (C) == 'K' || (C) == 'P' \
1393     || (C) == 'R' || (C) == 'S') \
1394    ? 3 : DEFAULT_CONSTRAINT_LEN ((C), (STR)))
1395 #endif
1396
1397 /* The letters I, J, K, L and M in a register constraint string
1398    can be used to stand for particular ranges of immediate operands.
1399    This macro defines what the ranges are.
1400    C is the letter, and VALUE is a constant value.
1401    Return 1 if VALUE is in the range specified by C.
1402         I08: arithmetic operand -127..128, as used in add, sub, etc
1403         I16: arithmetic operand -32768..32767, as used in SHmedia movi and shori
1404         P27: shift operand 1,2,8 or 16
1405         K08: logical operand 0..255, as used in and, or, etc.
1406         M: constant 1
1407         N: constant 0
1408         I06: arithmetic operand -32..31, as used in SHmedia beqi, bnei and xori
1409         I10: arithmetic operand -512..511, as used in SHmedia andi, ori
1410 */
1411
1412 #define CONST_OK_FOR_I06(VALUE) (((HOST_WIDE_INT)(VALUE)) >= -32 \
1413                                  && ((HOST_WIDE_INT)(VALUE)) <= 31)
1414 #define CONST_OK_FOR_I08(VALUE) (((HOST_WIDE_INT)(VALUE))>= -128 \
1415                                  && ((HOST_WIDE_INT)(VALUE)) <= 127)
1416 #define CONST_OK_FOR_I10(VALUE) (((HOST_WIDE_INT)(VALUE)) >= -512 \
1417                                  && ((HOST_WIDE_INT)(VALUE)) <= 511)
1418 #define CONST_OK_FOR_I16(VALUE) (((HOST_WIDE_INT)(VALUE)) >= -32768 \
1419                                  && ((HOST_WIDE_INT)(VALUE)) <= 32767)
1420 #define CONST_OK_FOR_I(VALUE, STR) \
1421   ((STR)[1] == '0' && (STR)[2] == 6 ? CONST_OK_FOR_I06 (VALUE) \
1422    : (STR)[1] == '0' && (STR)[2] == '8' ? CONST_OK_FOR_I08 (VALUE) \
1423    : (STR)[1] == '1' && (STR)[2] == '0' ? CONST_OK_FOR_I10 (VALUE) \
1424    : (STR)[1] == '1' && (STR)[2] == '6' ? CONST_OK_FOR_I16 (VALUE) \
1425    : 0)
1426
1427 #define CONST_OK_FOR_J16(VALUE) \
1428   (HOST_BITS_PER_WIDE_INT >= 64 && (VALUE) == (HOST_WIDE_INT) 0xffffffff \
1429    || (HOST_BITS_PER_WIDE_INT >= 64 && (VALUE) == (HOST_WIDE_INT) -1 << 32))
1430 #define CONST_OK_FOR_J(VALUE, STR) \
1431   ((STR)[1] == '1' && (STR)[2] == '6' ? CONST_OK_FOR_J16 (VALUE) \
1432    : 0)
1433
1434 #define CONST_OK_FOR_K08(VALUE) (((HOST_WIDE_INT)(VALUE))>= 0 \
1435                                  && ((HOST_WIDE_INT)(VALUE)) <= 255)
1436 #define CONST_OK_FOR_K(VALUE, STR) \
1437   ((STR)[1] == '0' && (STR)[2] == '8' ? CONST_OK_FOR_K08 (VALUE) \
1438    : 0)
1439 #define CONST_OK_FOR_P27(VALUE) \
1440   ((VALUE)==1||(VALUE)==2||(VALUE)==8||(VALUE)==16)
1441 #define CONST_OK_FOR_P(VALUE, STR) \
1442   ((STR)[1] == '2' && (STR)[2] == '7' ? CONST_OK_FOR_P27 (VALUE) \
1443    : 0)
1444 #define CONST_OK_FOR_M(VALUE) ((VALUE)==1)
1445 #define CONST_OK_FOR_N(VALUE) ((VALUE)==0)
1446 #define CONST_OK_FOR_CONSTRAINT_P(VALUE, C, STR)        \
1447      ((C) == 'I' ? CONST_OK_FOR_I ((VALUE), (STR))      \
1448     : (C) == 'J' ? CONST_OK_FOR_J ((VALUE), (STR))      \
1449     : (C) == 'K' ? CONST_OK_FOR_K ((VALUE), (STR))      \
1450     : (C) == 'M' ? CONST_OK_FOR_M (VALUE)               \
1451     : (C) == 'N' ? CONST_OK_FOR_N (VALUE)               \
1452     : (C) == 'P' ? CONST_OK_FOR_P ((VALUE), (STR))      \
1453     : 0)
1454
1455 /* Similar, but for floating constants, and defining letters G and H.
1456    Here VALUE is the CONST_DOUBLE rtx itself.  */
1457
1458 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C)          \
1459 ((C) == 'G' ? (fp_zero_operand (VALUE) && fldi_ok ())   \
1460  : (C) == 'H' ? (fp_one_operand (VALUE) && fldi_ok ())  \
1461  : (C) == 'F')
1462
1463 /* Given an rtx X being reloaded into a reg required to be
1464    in class CLASS, return the class of reg to actually use.
1465    In general this is just CLASS; but on some machines
1466    in some cases it is preferable to use a more restrictive class.  */
1467
1468 #define PREFERRED_RELOAD_CLASS(X, CLASS) \
1469   ((CLASS) == NO_REGS && TARGET_SHMEDIA \
1470    && (GET_CODE (X) == CONST_DOUBLE \
1471        || GET_CODE (X) == SYMBOL_REF) \
1472    ? GENERAL_REGS \
1473    : (CLASS)) \
1474
1475 #define SECONDARY_OUTPUT_RELOAD_CLASS(CLASS,MODE,X) \
1476   ((((REGCLASS_HAS_FP_REG (CLASS)                                       \
1477       && (GET_CODE (X) == REG                                           \
1478       && (GENERAL_OR_AP_REGISTER_P (REGNO (X))                          \
1479           || (FP_REGISTER_P (REGNO (X)) && (MODE) == SImode             \
1480               && TARGET_FMOVD))))                                       \
1481      || (REGCLASS_HAS_GENERAL_REG (CLASS)                               \
1482          && GET_CODE (X) == REG                                         \
1483          && FP_REGISTER_P (REGNO (X))))                                 \
1484     && ! TARGET_SHMEDIA                                                 \
1485     && ((MODE) == SFmode || (MODE) == SImode))                          \
1486    ? FPUL_REGS                                                          \
1487    : (((CLASS) == FPUL_REGS                                             \
1488        || (REGCLASS_HAS_FP_REG (CLASS)                                  \
1489            && ! TARGET_SHMEDIA && MODE == SImode))                      \
1490       && (GET_CODE (X) == MEM                                           \
1491           || (GET_CODE (X) == REG                                       \
1492               && (REGNO (X) >= FIRST_PSEUDO_REGISTER                    \
1493                   || REGNO (X) == T_REG                                 \
1494                   || system_reg_operand (X, VOIDmode)))))               \
1495    ? GENERAL_REGS                                                       \
1496    : ((CLASS) == TARGET_REGS                                            \
1497       || (TARGET_SHMEDIA && (CLASS) == SIBCALL_REGS))                   \
1498    ? ((target_operand ((X), (MODE))                                     \
1499        && ! target_reg_operand ((X), (MODE)))                           \
1500       ? NO_REGS : GENERAL_REGS)                                         \
1501    : (((CLASS) == MAC_REGS || (CLASS) == PR_REGS)                       \
1502       && GET_CODE (X) == REG && ! GENERAL_REGISTER_P (REGNO (X))        \
1503       && (CLASS) != REGNO_REG_CLASS (REGNO (X)))                        \
1504    ? GENERAL_REGS                                                       \
1505    : ((CLASS) != GENERAL_REGS && GET_CODE (X) == REG                    \
1506       && TARGET_REGISTER_P (REGNO (X)))                                 \
1507    ? GENERAL_REGS : NO_REGS)
1508
1509 #define SECONDARY_INPUT_RELOAD_CLASS(CLASS,MODE,X)  \
1510   ((REGCLASS_HAS_FP_REG (CLASS)                                         \
1511     && ! TARGET_SHMEDIA                                                 \
1512     && immediate_operand ((X), (MODE))                                  \
1513     && ! ((fp_zero_operand (X) || fp_one_operand (X))                   \
1514           && (MODE) == SFmode && fldi_ok ()))                           \
1515    ? R0_REGS                                                            \
1516    : (CLASS == FPUL_REGS                                                \
1517       && ((GET_CODE (X) == REG                                          \
1518            && (REGNO (X) == MACL_REG || REGNO (X) == MACH_REG           \
1519                || REGNO (X) == T_REG))                                  \
1520           || GET_CODE (X) == PLUS))                                     \
1521    ? GENERAL_REGS                                                       \
1522    : CLASS == FPUL_REGS && immediate_operand ((X), (MODE))              \
1523    ? (GET_CODE (X) == CONST_INT && CONST_OK_FOR_I08 (INTVAL (X))        \
1524       ? GENERAL_REGS                                                    \
1525       : R0_REGS)                                                        \
1526    : (CLASS == FPSCR_REGS                                               \
1527       && ((GET_CODE (X) == REG && REGNO (X) >= FIRST_PSEUDO_REGISTER)   \
1528           || (GET_CODE (X) == MEM && GET_CODE (XEXP ((X), 0)) == PLUS)))\
1529    ? GENERAL_REGS                                                       \
1530    : (REGCLASS_HAS_FP_REG (CLASS)                                       \
1531       && TARGET_SHMEDIA                                                 \
1532       && immediate_operand ((X), (MODE))                                \
1533       && (X) != CONST0_RTX (GET_MODE (X))                               \
1534       && GET_MODE (X) != V4SFmode)                                      \
1535    ? GENERAL_REGS                                                       \
1536    : SECONDARY_OUTPUT_RELOAD_CLASS((CLASS),(MODE),(X)))
1537
1538 /* Return the maximum number of consecutive registers
1539    needed to represent mode MODE in a register of class CLASS.
1540
1541    If TARGET_SHMEDIA, we need two FP registers per word.
1542    Otherwise we will need at most one register per word.  */
1543 #define CLASS_MAX_NREGS(CLASS, MODE) \
1544     (TARGET_SHMEDIA \
1545      && TEST_HARD_REG_BIT (reg_class_contents[CLASS], FIRST_FP_REG) \
1546      ? (GET_MODE_SIZE (MODE) + UNITS_PER_WORD/2 - 1) / (UNITS_PER_WORD/2) \
1547      : (GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
1548
1549 /* If defined, gives a class of registers that cannot be used as the
1550    operand of a SUBREG that changes the mode of the object illegally.  */
1551 /* ??? We need to renumber the internal numbers for the frnn registers
1552    when in little endian in order to allow mode size changes.  */
1553
1554 #define CANNOT_CHANGE_MODE_CLASS(FROM, TO, CLASS)                           \
1555   sh_cannot_change_mode_class (FROM, TO, CLASS)
1556 \f
1557 /* Stack layout; function entry, exit and calling.  */
1558
1559 /* Define the number of registers that can hold parameters.
1560    These macros are used only in other macro definitions below.  */
1561
1562 #define NPARM_REGS(MODE) \
1563   (TARGET_FPU_ANY && (MODE) == SFmode \
1564    ? (TARGET_SH5 ? 12 : 8) \
1565    : TARGET_SH4 && (GET_MODE_CLASS (MODE) == MODE_FLOAT \
1566                     || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT) \
1567    ? (TARGET_SH5 ? 12 : 8) \
1568    : (TARGET_SH5 ? 8 : 4))
1569
1570 #define FIRST_PARM_REG (FIRST_GENERAL_REG + (TARGET_SH5 ? 2 : 4))
1571 #define FIRST_RET_REG  (FIRST_GENERAL_REG + (TARGET_SH5 ? 2 : 0))
1572
1573 #define FIRST_FP_PARM_REG (FIRST_FP_REG + (TARGET_SH5 ? 0 : 4))
1574 #define FIRST_FP_RET_REG FIRST_FP_REG
1575
1576 /* Define this if pushing a word on the stack
1577    makes the stack pointer a smaller address.  */
1578 #define STACK_GROWS_DOWNWARD
1579
1580 /*  Define this macro if the addresses of local variable slots are at
1581     negative offsets from the frame pointer.
1582
1583     The SH only has positive indexes, so grow the frame up.  */
1584 /* #define FRAME_GROWS_DOWNWARD */
1585
1586 /* Offset from the frame pointer to the first local variable slot to
1587    be allocated.  */
1588 #define STARTING_FRAME_OFFSET  0
1589
1590 /* If we generate an insn to push BYTES bytes,
1591    this says how many the stack pointer really advances by.  */
1592 /* Don't define PUSH_ROUNDING, since the hardware doesn't do this.
1593    When PUSH_ROUNDING is not defined, PARM_BOUNDARY will cause gcc to
1594    do correct alignment.  */
1595 #if 0
1596 #define PUSH_ROUNDING(NPUSHED)  (((NPUSHED) + 3) & ~3)
1597 #endif
1598
1599 /* Offset of first parameter from the argument pointer register value.  */
1600 #define FIRST_PARM_OFFSET(FNDECL)  0
1601
1602 /* Value is the number of byte of arguments automatically
1603    popped when returning from a subroutine call.
1604    FUNDECL is the declaration node of the function (as a tree),
1605    FUNTYPE is the data type of the function (as a tree),
1606    or for a library call it is an identifier node for the subroutine name.
1607    SIZE is the number of bytes of arguments passed on the stack.
1608
1609    On the SH, the caller does not pop any of its arguments that were passed
1610    on the stack.  */
1611 #define RETURN_POPS_ARGS(FUNDECL,FUNTYPE,SIZE)  0
1612
1613 /* Value is the number of bytes of arguments automatically popped when
1614    calling a subroutine.
1615    CUM is the accumulated argument list.
1616
1617    On SHcompact, the call trampoline pops arguments off the stack.  */
1618 #define CALL_POPS_ARGS(CUM) (TARGET_SHCOMPACT ? (CUM).stack_regs * 8 : 0)
1619
1620 /* Nonzero if we do not know how to pass TYPE solely in registers.
1621    Values that come in registers with inconvenient padding are stored
1622    to memory at the function start.  */
1623
1624 #define MUST_PASS_IN_STACK(MODE,TYPE)                   \
1625   ((TYPE) != 0                                          \
1626    && (TREE_CODE (TYPE_SIZE (TYPE)) != INTEGER_CST      \
1627        || TREE_ADDRESSABLE (TYPE)))
1628 /* Some subroutine macros specific to this machine.  */
1629
1630 #define BASE_RETURN_VALUE_REG(MODE) \
1631   ((TARGET_FPU_ANY && ((MODE) == SFmode))                       \
1632    ? FIRST_FP_RET_REG                                   \
1633    : TARGET_FPU_ANY && (MODE) == SCmode         \
1634    ? FIRST_FP_RET_REG                                   \
1635    : (TARGET_FPU_DOUBLE                                 \
1636       && ((MODE) == DFmode || (MODE) == SFmode          \
1637           || (MODE) == DCmode || (MODE) == SCmode ))    \
1638    ? FIRST_FP_RET_REG                                   \
1639    : FIRST_RET_REG)
1640
1641 #define BASE_ARG_REG(MODE) \
1642   ((TARGET_SH2E && ((MODE) == SFmode))                  \
1643    ? FIRST_FP_PARM_REG                                  \
1644    : TARGET_SH4 && (GET_MODE_CLASS (MODE) == MODE_FLOAT \
1645                     || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT)\
1646    ? FIRST_FP_PARM_REG                                  \
1647    : FIRST_PARM_REG)
1648
1649 /* Define how to find the value returned by a function.
1650    VALTYPE is the data type of the value (as a tree).
1651    If the precise function being called is known, FUNC is its FUNCTION_DECL;
1652    otherwise, FUNC is 0.
1653    For the SH, this is like LIBCALL_VALUE, except that we must change the
1654    mode like PROMOTE_MODE does.
1655    ??? PROMOTE_MODE is ignored for non-scalar types.  The set of types
1656    tested here has to be kept in sync with the one in explow.c:promote_mode.  */
1657
1658 #define FUNCTION_VALUE(VALTYPE, FUNC)                                   \
1659   gen_rtx (REG,                                                         \
1660            ((GET_MODE_CLASS (TYPE_MODE (VALTYPE)) == MODE_INT           \
1661              && GET_MODE_SIZE (TYPE_MODE (VALTYPE)) < UNITS_PER_WORD    \
1662              && (TREE_CODE (VALTYPE) == INTEGER_TYPE                    \
1663                  || TREE_CODE (VALTYPE) == ENUMERAL_TYPE                \
1664                  || TREE_CODE (VALTYPE) == BOOLEAN_TYPE                 \
1665                  || TREE_CODE (VALTYPE) == CHAR_TYPE                    \
1666                  || TREE_CODE (VALTYPE) == REAL_TYPE                    \
1667                  || TREE_CODE (VALTYPE) == OFFSET_TYPE))                \
1668             ? (TARGET_SHMEDIA ? DImode : SImode) : TYPE_MODE (VALTYPE)), \
1669            BASE_RETURN_VALUE_REG (TYPE_MODE (VALTYPE)))
1670      
1671 /* Define how to find the value returned by a library function
1672    assuming the value has mode MODE.  */
1673 #define LIBCALL_VALUE(MODE) \
1674   gen_rtx_REG ((MODE), BASE_RETURN_VALUE_REG (MODE));
1675
1676 /* 1 if N is a possible register number for a function value.  */
1677 #define FUNCTION_VALUE_REGNO_P(REGNO) \
1678   ((REGNO) == FIRST_RET_REG || (TARGET_SH2E && (REGNO) == FIRST_FP_RET_REG) \
1679    || (TARGET_SHMEDIA_FPU && (REGNO) == FIRST_FP_RET_REG))
1680
1681 /* 1 if N is a possible register number for function argument passing.  */
1682 /* ??? There are some callers that pass REGNO as int, and others that pass
1683    it as unsigned.  We get warnings unless we do casts everywhere.  */
1684 #define FUNCTION_ARG_REGNO_P(REGNO) \
1685   (((unsigned) (REGNO) >= (unsigned) FIRST_PARM_REG                     \
1686     && (unsigned) (REGNO) < (unsigned) (FIRST_PARM_REG + NPARM_REGS (SImode)))\
1687    || (TARGET_FPU_ANY                                                   \
1688        && (unsigned) (REGNO) >= (unsigned) FIRST_FP_PARM_REG            \
1689        && (unsigned) (REGNO) < (unsigned) (FIRST_FP_PARM_REG            \
1690                                            + NPARM_REGS (SFmode))))
1691 \f
1692 /* Define a data type for recording info about an argument list
1693    during the scan of that argument list.  This data type should
1694    hold all necessary information about the function itself
1695    and about the args processed so far, enough to enable macros
1696    such as FUNCTION_ARG to determine where the next arg should go.
1697
1698    On SH, this is a single integer, which is a number of words
1699    of arguments scanned so far (including the invisible argument,
1700    if any, which holds the structure-value-address).
1701    Thus NARGREGS or more means all following args should go on the stack.  */
1702
1703 enum sh_arg_class { SH_ARG_INT = 0, SH_ARG_FLOAT = 1 };
1704 struct sh_args {
1705     int arg_count[2];
1706     int force_mem;
1707   /* Nonzero if a prototype is available for the function.  */
1708     int prototype_p;
1709   /* The number of an odd floating-point register, that should be used
1710      for the next argument of type float.  */
1711     int free_single_fp_reg;
1712   /* Whether we're processing an outgoing function call.  */
1713     int outgoing;
1714   /* The number of general-purpose registers that should have been
1715      used to pass partial arguments, that are passed totally on the
1716      stack.  On SHcompact, a call trampoline will pop them off the
1717      stack before calling the actual function, and, if the called
1718      function is implemented in SHcompact mode, the incoming arguments
1719      decoder will push such arguments back onto the stack.  For
1720      incoming arguments, STACK_REGS also takes into account other
1721      arguments passed by reference, that the decoder will also push
1722      onto the stack.  */
1723     int stack_regs;
1724   /* The number of general-purpose registers that should have been
1725      used to pass arguments, if the arguments didn't have to be passed
1726      by reference.  */
1727     int byref_regs;
1728   /* Set by SHCOMPACT_BYREF if the current argument is to be passed by
1729      reference.  */
1730     int byref;
1731
1732   /* call_cookie is a bitmask used by call expanders, as well as
1733      function prologue and epilogues, to allow SHcompact to comply
1734      with the SH5 32-bit ABI, that requires 64-bit registers to be
1735      used even though only the lower 32-bit half is visible in
1736      SHcompact mode.  The strategy is to call SHmedia trampolines.
1737
1738      The alternatives for each of the argument-passing registers are
1739      (a) leave it unchanged; (b) pop it off the stack; (c) load its
1740      contents from the address in it; (d) add 8 to it, storing the
1741      result in the next register, then (c); (e) copy it from some
1742      floating-point register,
1743
1744      Regarding copies from floating-point registers, r2 may only be
1745      copied from dr0.  r3 may be copied from dr0 or dr2.  r4 maybe
1746      copied from dr0, dr2 or dr4.  r5 maybe copied from dr0, dr2,
1747      dr4 or dr6.  r6 may be copied from dr0, dr2, dr4, dr6 or dr8.
1748      r7 through to r9 may be copied from dr0, dr2, dr4, dr8, dr8 or
1749      dr10.
1750
1751      The bit mask is structured as follows:
1752
1753      - 1 bit to tell whether to set up a return trampoline.
1754
1755      - 3 bits to count the number consecutive registers to pop off the
1756        stack.
1757
1758      - 4 bits for each of r9, r8, r7 and r6.
1759
1760      - 3 bits for each of r5, r4, r3 and r2.
1761
1762      - 3 bits set to 0 (the most significant ones)
1763
1764         3           2            1           0
1765        1098 7654 3210 9876 5432 1098 7654 3210
1766        FLPF LPFL PFLP FFLP FFLP FFLP FFLP SSST
1767        2223 3344 4555 6666 7777 8888 9999 SSS-
1768
1769      - If F is set, the register must be copied from an FP register,
1770        whose number is encoded in the remaining bits.
1771
1772      - Else, if L is set, the register must be loaded from the address
1773        contained in it.  If the P bit is *not* set, the address of the
1774        following dword should be computed first, and stored in the
1775        following register.
1776
1777      - Else, if P is set, the register alone should be popped off the
1778        stack.
1779
1780      - After all this processing, the number of registers represented
1781        in SSS will be popped off the stack.  This is an optimization
1782        for pushing/popping consecutive registers, typically used for
1783        varargs and large arguments partially passed in registers.
1784
1785      - If T is set, a return trampoline will be set up for 64-bit
1786      return values to be split into 2 32-bit registers.  */
1787 #define CALL_COOKIE_RET_TRAMP_SHIFT 0
1788 #define CALL_COOKIE_RET_TRAMP(VAL) ((VAL) << CALL_COOKIE_RET_TRAMP_SHIFT)
1789 #define CALL_COOKIE_STACKSEQ_SHIFT 1
1790 #define CALL_COOKIE_STACKSEQ(VAL) ((VAL) << CALL_COOKIE_STACKSEQ_SHIFT)
1791 #define CALL_COOKIE_STACKSEQ_GET(COOKIE) \
1792   (((COOKIE) >> CALL_COOKIE_STACKSEQ_SHIFT) & 7)
1793 #define CALL_COOKIE_INT_REG_SHIFT(REG) \
1794   (4 * (7 - (REG)) + (((REG) <= 2) ? ((REG) - 2) : 1) + 3)
1795 #define CALL_COOKIE_INT_REG(REG, VAL) \
1796   ((VAL) << CALL_COOKIE_INT_REG_SHIFT (REG))
1797 #define CALL_COOKIE_INT_REG_GET(COOKIE, REG) \
1798   (((COOKIE) >> CALL_COOKIE_INT_REG_SHIFT (REG)) & ((REG) < 4 ? 7 : 15))
1799     long call_cookie;
1800 };
1801
1802 #define CUMULATIVE_ARGS  struct sh_args
1803
1804 #define GET_SH_ARG_CLASS(MODE) \
1805   ((TARGET_FPU_ANY && (MODE) == SFmode) \
1806    ? SH_ARG_FLOAT \
1807    /* There's no mention of complex float types in the SH5 ABI, so we
1808       should presumably handle them as aggregate types.  */ \
1809    : TARGET_SH5 && GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT \
1810    ? SH_ARG_INT \
1811    : TARGET_FPU_DOUBLE && (GET_MODE_CLASS (MODE) == MODE_FLOAT \
1812                            || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT) \
1813    ? SH_ARG_FLOAT : SH_ARG_INT)
1814
1815 #define ROUND_ADVANCE(SIZE) \
1816   (((SIZE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
1817
1818 /* Round a register number up to a proper boundary for an arg of mode
1819    MODE.
1820
1821    The SH doesn't care about double alignment, so we only
1822    round doubles to even regs when asked to explicitly.  */
1823
1824 #define ROUND_REG(CUM, MODE) \
1825    (((TARGET_ALIGN_DOUBLE                                       \
1826       || (TARGET_SH4 && ((MODE) == DFmode || (MODE) == DCmode)  \
1827           && (CUM).arg_count[(int) SH_ARG_FLOAT] < NPARM_REGS (MODE)))\
1828      && GET_MODE_UNIT_SIZE ((MODE)) > UNITS_PER_WORD)           \
1829     ? ((CUM).arg_count[(int) GET_SH_ARG_CLASS (MODE)]           \
1830        + ((CUM).arg_count[(int) GET_SH_ARG_CLASS (MODE)] & 1))  \
1831     : (CUM).arg_count[(int) GET_SH_ARG_CLASS (MODE)])
1832
1833 /* Initialize a variable CUM of type CUMULATIVE_ARGS
1834    for a call to a function whose data type is FNTYPE.
1835    For a library call, FNTYPE is 0.
1836
1837    On SH, the offset always starts at 0: the first parm reg is always
1838    the same reg for a given argument class.
1839
1840    For TARGET_HITACHI, the structure value pointer is passed in memory.  */
1841
1842 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT) \
1843   do {                                                          \
1844     (CUM).arg_count[(int) SH_ARG_INT] = 0;                      \
1845     (CUM).arg_count[(int) SH_ARG_FLOAT] = 0;                    \
1846     (CUM).force_mem                                             \
1847       = (TARGET_HITACHI && FNTYPE                               \
1848          && aggregate_value_p (TREE_TYPE (FNTYPE)));            \
1849     (CUM).prototype_p = (FNTYPE) && TYPE_ARG_TYPES (FNTYPE);    \
1850     (CUM).arg_count[(int) SH_ARG_INT]                           \
1851       = (TARGET_SH5 && (FNTYPE)                                 \
1852          && aggregate_value_p (TREE_TYPE (FNTYPE)));            \
1853     (CUM).free_single_fp_reg = 0;                               \
1854     (CUM).outgoing = 1;                                         \
1855     (CUM).stack_regs = 0;                                       \
1856     (CUM).byref_regs = 0;                                       \
1857     (CUM).byref = 0;                                            \
1858     (CUM).call_cookie                                           \
1859       = (CALL_COOKIE_RET_TRAMP                                  \
1860          (TARGET_SHCOMPACT && (FNTYPE)                          \
1861           && (CUM).arg_count[(int) SH_ARG_INT] == 0             \
1862           && (TYPE_MODE (TREE_TYPE (FNTYPE)) == BLKmode         \
1863               ? int_size_in_bytes (TREE_TYPE (FNTYPE))          \
1864               : GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (FNTYPE)))) > 4 \
1865           && (BASE_RETURN_VALUE_REG (TYPE_MODE (TREE_TYPE       \
1866                                                 (FNTYPE)))      \
1867               == FIRST_RET_REG)));                              \
1868   } while (0)
1869
1870 #define INIT_CUMULATIVE_LIBCALL_ARGS(CUM, MODE, LIBNAME) \
1871   do {                                                          \
1872     INIT_CUMULATIVE_ARGS ((CUM), NULL_TREE, (LIBNAME), 0);      \
1873     (CUM).call_cookie                                           \
1874       = (CALL_COOKIE_RET_TRAMP                                  \
1875          (TARGET_SHCOMPACT && GET_MODE_SIZE (MODE) > 4          \
1876           && BASE_RETURN_VALUE_REG (MODE) == FIRST_RET_REG));   \
1877   } while (0)
1878
1879 #define INIT_CUMULATIVE_INCOMING_ARGS(CUM, FNTYPE, LIBNAME) \
1880   do {                                                          \
1881     INIT_CUMULATIVE_ARGS ((CUM), (FNTYPE), (LIBNAME), 0);       \
1882     (CUM).outgoing = 0;                                         \
1883   } while (0)
1884  
1885 /* Update the data in CUM to advance over an argument
1886    of mode MODE and data type TYPE.
1887    (TYPE is null for libcalls where that information may not be
1888    available.)  */
1889
1890 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED)    \
1891  if ((CUM).force_mem)                                   \
1892    (CUM).force_mem = 0;                                 \
1893  else if (TARGET_SH5)                                   \
1894    {                                                    \
1895      tree TYPE_ = ((CUM).byref && (TYPE)                \
1896                    ? TREE_TYPE (TYPE)                   \
1897                    : (TYPE));                           \
1898      enum machine_mode MODE_ = ((CUM).byref && (TYPE)   \
1899                                 ? TYPE_MODE (TYPE_)     \
1900                                 : (MODE));              \
1901      int dwords = (((CUM).byref                         \
1902                     ? (CUM).byref                       \
1903                     : (MODE_) == BLKmode                \
1904                     ? int_size_in_bytes (TYPE_)         \
1905                     : GET_MODE_SIZE (MODE_)) + 7) / 8;  \
1906      int numregs = MIN (dwords, NPARM_REGS (SImode)     \
1907                         - (CUM).arg_count[(int) SH_ARG_INT]); \
1908                                                         \
1909      if (numregs)                                       \
1910        {                                                \
1911          (CUM).arg_count[(int) SH_ARG_INT] += numregs;  \
1912          if (TARGET_SHCOMPACT                           \
1913              && SHCOMPACT_FORCE_ON_STACK (MODE_, TYPE_)) \
1914            {                                            \
1915              (CUM).call_cookie                          \
1916                |= CALL_COOKIE_INT_REG (((CUM).arg_count[(int) SH_ARG_INT] \
1917                                         - numregs), 1); \
1918              /* N.B. We want this also for outgoing.   */\
1919              (CUM).stack_regs += numregs;               \
1920            }                                            \
1921          else if ((CUM).byref)                          \
1922            {                                            \
1923              if (! (CUM).outgoing)                      \
1924                (CUM).stack_regs += numregs;             \
1925              (CUM).byref_regs += numregs;               \
1926              (CUM).byref = 0;                           \
1927              do                                         \
1928                (CUM).call_cookie                        \
1929                  |= CALL_COOKIE_INT_REG (((CUM).arg_count[(int) SH_ARG_INT] \
1930                                           - numregs), 2); \
1931              while (--numregs);                         \
1932              (CUM).call_cookie                          \
1933                |= CALL_COOKIE_INT_REG (((CUM).arg_count[(int) SH_ARG_INT] \
1934                                         - 1), 1); \
1935            }                                            \
1936          else if (dwords > numregs)                     \
1937            {                                            \
1938              int pushregs = numregs;                    \
1939                                                         \
1940              if (TARGET_SHCOMPACT)                      \
1941                (CUM).stack_regs += numregs;             \
1942              while (pushregs < NPARM_REGS (SImode) - 1  \
1943                     && (CALL_COOKIE_INT_REG_GET         \
1944                         ((CUM).call_cookie,             \
1945                         NPARM_REGS (SImode) - pushregs) \
1946                         == 1))                          \
1947                {                                        \
1948                  (CUM).call_cookie                      \
1949                    &= ~ CALL_COOKIE_INT_REG (NPARM_REGS (SImode) \
1950                                              - pushregs, 1); \
1951                  pushregs++;                            \
1952                }                                        \
1953              if (numregs == NPARM_REGS (SImode))        \
1954                (CUM).call_cookie                        \
1955                  |= CALL_COOKIE_INT_REG (0, 1)          \
1956                     | CALL_COOKIE_STACKSEQ (numregs - 1); \
1957              else                                       \
1958                (CUM).call_cookie                        \
1959                  |= CALL_COOKIE_STACKSEQ (numregs);     \
1960            }                                            \
1961        }                                                \
1962      if (GET_SH_ARG_CLASS (MODE_) == SH_ARG_FLOAT       \
1963          && ((NAMED) || ! (CUM).prototype_p))           \
1964        {                                                \
1965          if ((MODE_) == SFmode && (CUM).free_single_fp_reg) \
1966            (CUM).free_single_fp_reg = 0;                \
1967          else if ((CUM).arg_count[(int) SH_ARG_FLOAT]   \
1968                   < NPARM_REGS (SFmode))                \
1969            {                                            \
1970              int numfpregs                              \
1971                = MIN ((GET_MODE_SIZE (MODE_) + 7) / 8 * 2, \
1972                       NPARM_REGS (SFmode)               \
1973                       - (CUM).arg_count[(int) SH_ARG_FLOAT]); \
1974                                                         \
1975              (CUM).arg_count[(int) SH_ARG_FLOAT] += numfpregs; \
1976                                                         \
1977              if (TARGET_SHCOMPACT && ! (CUM).prototype_p) \
1978                {                                        \
1979                  if ((CUM).outgoing && numregs > 0)     \
1980                    do                                   \
1981                      {                                  \
1982                        (CUM).call_cookie                \
1983                          |= (CALL_COOKIE_INT_REG        \
1984                              ((CUM).arg_count[(int) SH_ARG_INT] \
1985                               - numregs + ((numfpregs - 2) / 2), \
1986                               4 + ((CUM).arg_count[(int) SH_ARG_FLOAT] \
1987                                    - numfpregs) / 2));  \
1988                      }                                  \
1989                    while (numfpregs -= 2);              \
1990                }                                        \
1991              else if ((MODE_) == SFmode && (NAMED)      \
1992                       && ((CUM).arg_count[(int) SH_ARG_FLOAT] \
1993                           < NPARM_REGS (SFmode)))       \
1994                (CUM).free_single_fp_reg                 \
1995                  = FIRST_FP_PARM_REG - numfpregs        \
1996                  + (CUM).arg_count[(int) SH_ARG_FLOAT] + 1; \
1997            }                                            \
1998        }                                                \
1999    }                                                    \
2000  else if (! TARGET_SH4 || PASS_IN_REG_P ((CUM), (MODE), (TYPE))) \
2001    ((CUM).arg_count[(int) GET_SH_ARG_CLASS (MODE)]      \
2002     = (ROUND_REG ((CUM), (MODE))                        \
2003        + ((MODE) == BLKmode                             \
2004           ? ROUND_ADVANCE (int_size_in_bytes (TYPE))    \
2005           : ROUND_ADVANCE (GET_MODE_SIZE (MODE)))))
2006
2007 /* Return boolean indicating arg of mode MODE will be passed in a reg.
2008    This macro is only used in this file.  */
2009
2010 #define PASS_IN_REG_P(CUM, MODE, TYPE) \
2011   (((TYPE) == 0 \
2012     || (! TREE_ADDRESSABLE ((tree)(TYPE)) \
2013         && (! TARGET_HITACHI || ! AGGREGATE_TYPE_P (TYPE)))) \
2014    && ! (CUM).force_mem \
2015    && (TARGET_SH2E \
2016        ? ((MODE) == BLKmode \
2017           ? (((CUM).arg_count[(int) SH_ARG_INT] * UNITS_PER_WORD \
2018               + int_size_in_bytes (TYPE)) \
2019              <= NPARM_REGS (SImode) * UNITS_PER_WORD) \
2020           : ((ROUND_REG((CUM), (MODE)) \
2021               + HARD_REGNO_NREGS (BASE_ARG_REG (MODE), (MODE))) \
2022              <= NPARM_REGS (MODE))) \
2023        : ROUND_REG ((CUM), (MODE)) < NPARM_REGS (MODE)))
2024
2025 /* By accident we got stuck with passing SCmode on SH4 little endian
2026    in two registers that are nominally successive - which is different from
2027    two single SFmode values, where we take endianness translation into
2028    account.  That does not work at all if an odd number of registers is
2029    already in use, so that got fixed, but library functions are still more
2030    likely to use complex numbers without mixing them with SFmode arguments
2031    (which in C would have to be structures), so for the sake of ABI
2032    compatibility the way SCmode values are passed when an even number of
2033    FP registers is in use remains different from a pair of SFmode values for
2034    now.
2035    I.e.:
2036    foo (double); a: fr5,fr4
2037    foo (float a, float b); a: fr5 b: fr4
2038    foo (__complex float a); a.real fr4 a.imag: fr5 - for consistency,
2039                             this should be the other way round...
2040    foo (float a, __complex float b); a: fr5 b.real: fr4 b.imag: fr7  */
2041 #define FUNCTION_ARG_SCmode_WART 1
2042
2043 /* Define where to put the arguments to a function.
2044    Value is zero to push the argument on the stack,
2045    or a hard register in which to store the argument.
2046
2047    MODE is the argument's machine mode.
2048    TYPE is the data type of the argument (as a tree).
2049     This is null for libcalls where that information may
2050     not be available.
2051    CUM is a variable of type CUMULATIVE_ARGS which gives info about
2052     the preceding args and about the function being called.
2053    NAMED is nonzero if this argument is a named parameter
2054     (otherwise it is an extra parameter matching an ellipsis).
2055
2056    On SH the first args are normally in registers
2057    and the rest are pushed.  Any arg that starts within the first
2058    NPARM_REGS words is at least partially passed in a register unless
2059    its data type forbids.  */
2060
2061 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
2062   ((! TARGET_SH5 \
2063     && PASS_IN_REG_P ((CUM), (MODE), (TYPE))                            \
2064     && ((NAMED) || !TARGET_HITACHI))                                    \
2065    ? (((MODE) == SCmode && TARGET_SH4 && TARGET_LITTLE_ENDIAN           \
2066        && (! FUNCTION_ARG_SCmode_WART || (ROUND_REG ((CUM), (MODE)) & 1)))\
2067       ? (gen_rtx_PARALLEL                                               \
2068          (SCmode,                                                       \
2069           (gen_rtvec                                                    \
2070            (2,                                                          \
2071             (gen_rtx_EXPR_LIST                                          \
2072              (VOIDmode,                                                 \
2073               gen_rtx_REG (SFmode,                                      \
2074                            BASE_ARG_REG (MODE)                          \
2075                            + (ROUND_REG ((CUM), (MODE)) ^ 1)),          \
2076               const0_rtx)),                                             \
2077             (gen_rtx_EXPR_LIST                                          \
2078              (VOIDmode,                                                 \
2079               gen_rtx_REG (SFmode,                                      \
2080                            BASE_ARG_REG (MODE)                          \
2081                            + ((ROUND_REG ((CUM), (MODE)) + 1) ^ 1)),    \
2082               GEN_INT (4)))))))                                         \
2083       : gen_rtx_REG ((MODE),                                            \
2084                      ((BASE_ARG_REG (MODE) + ROUND_REG ((CUM), (MODE))) \
2085                       ^ ((MODE) == SFmode && TARGET_SH4                 \
2086                          && TARGET_LITTLE_ENDIAN != 0))))               \
2087    : TARGET_SH5                                                         \
2088    ? ((MODE) == VOIDmode && TARGET_SHCOMPACT                            \
2089       ? GEN_INT ((CUM).call_cookie)                                     \
2090       /* The following test assumes unnamed arguments are promoted to   \
2091          DFmode.  */                                                    \
2092       : (MODE) == SFmode && (CUM).free_single_fp_reg                    \
2093       ? SH5_PROTOTYPED_FLOAT_ARG ((CUM), (MODE), (CUM).free_single_fp_reg) \
2094       : (GET_SH_ARG_CLASS (MODE) == SH_ARG_FLOAT                        \
2095          && ((NAMED) || ! (CUM).prototype_p)                            \
2096          && (CUM).arg_count[(int) SH_ARG_FLOAT] < NPARM_REGS (SFmode))  \
2097       ? ((! (CUM).prototype_p && TARGET_SHMEDIA)                        \
2098          ? SH5_PROTOTYPELESS_FLOAT_ARG ((CUM), (MODE))                  \
2099          : SH5_PROTOTYPED_FLOAT_ARG ((CUM), (MODE),                     \
2100                                      FIRST_FP_PARM_REG                  \
2101                                      + (CUM).arg_count[(int) SH_ARG_FLOAT])) \
2102       : ((CUM).arg_count[(int) SH_ARG_INT] < NPARM_REGS (SImode)        \
2103          && (! TARGET_SHCOMPACT                                         \
2104              || (! SHCOMPACT_FORCE_ON_STACK ((MODE), (TYPE))            \
2105                  && ! SH5_WOULD_BE_PARTIAL_NREGS ((CUM), (MODE),        \
2106                                                   (TYPE), (NAMED)))))   \
2107       ? gen_rtx_REG ((MODE), (FIRST_PARM_REG                            \
2108                               + (CUM).arg_count[(int) SH_ARG_INT]))     \
2109       : 0)                                                              \
2110    : 0)
2111
2112 /* Whether an argument must be passed by reference.  On SHcompact, we
2113    pretend arguments wider than 32-bits that would have been passed in
2114    registers are passed by reference, so that an SHmedia trampoline
2115    loads them into the full 64-bits registers.  */
2116 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM,MODE,TYPE,NAMED) \
2117   (MUST_PASS_IN_STACK ((MODE), (TYPE)) \
2118    || SHCOMPACT_BYREF ((CUM), (MODE), (TYPE), (NAMED)))
2119
2120 #define SHCOMPACT_BYREF(CUM, MODE, TYPE, NAMED) \
2121   ((CUM).byref                                                          \
2122    = (TARGET_SHCOMPACT                                                  \
2123       && (CUM).arg_count[(int) SH_ARG_INT] < NPARM_REGS (SImode)        \
2124       && (! (NAMED) || GET_SH_ARG_CLASS (MODE) == SH_ARG_INT            \
2125           || (GET_SH_ARG_CLASS (MODE) == SH_ARG_FLOAT                   \
2126               && ((CUM).arg_count[(int) SH_ARG_FLOAT]                   \
2127                   >= NPARM_REGS (SFmode))))                             \
2128       && ((MODE) == BLKmode ? int_size_in_bytes (TYPE)                  \
2129           : GET_MODE_SIZE (MODE)) > 4                                   \
2130       && ! SHCOMPACT_FORCE_ON_STACK ((MODE), (TYPE))                    \
2131       && ! SH5_WOULD_BE_PARTIAL_NREGS ((CUM), (MODE),                   \
2132                                        (TYPE), (NAMED)))                \
2133       ? ((MODE) == BLKmode ? int_size_in_bytes (TYPE)                   \
2134          : GET_MODE_SIZE (MODE))                                        \
2135       : 0)
2136
2137 /* If an argument of size 5, 6 or 7 bytes is to be passed in a 64-bit
2138    register in SHcompact mode, it must be padded in the most
2139    significant end.  This means that passing it by reference wouldn't
2140    pad properly on a big-endian machine.  In this particular case, we
2141    pass this argument on the stack, in a way that the call trampoline
2142    will load its value into the appropriate register.  */
2143 #define SHCOMPACT_FORCE_ON_STACK(MODE,TYPE) \
2144   ((MODE) == BLKmode \
2145    && TARGET_SHCOMPACT \
2146    && ! TARGET_LITTLE_ENDIAN \
2147    && int_size_in_bytes (TYPE) > 4 \
2148    && int_size_in_bytes (TYPE) < 8)
2149
2150 /* Minimum alignment for an argument to be passed by callee-copy
2151    reference.  We need such arguments to be aligned to 8 byte
2152    boundaries, because they'll be loaded using quad loads.  */
2153 #define SH_MIN_ALIGN_FOR_CALLEE_COPY (8 * BITS_PER_UNIT)
2154
2155 #define FUNCTION_ARG_CALLEE_COPIES(CUM,MODE,TYPE,NAMED) \
2156   ((CUM).outgoing                                                       \
2157    && (((MODE) == BLKmode ? TYPE_ALIGN (TYPE)                           \
2158         : GET_MODE_ALIGNMENT (MODE))                                    \
2159        % SH_MIN_ALIGN_FOR_CALLEE_COPY == 0))
2160
2161 /* The SH5 ABI requires floating-point arguments to be passed to
2162    functions without a prototype in both an FP register and a regular
2163    register or the stack.  When passing the argument in both FP and
2164    general-purpose registers, list the FP register first.  */
2165 #define SH5_PROTOTYPELESS_FLOAT_ARG(CUM,MODE) \
2166   (gen_rtx_PARALLEL                                                     \
2167    ((MODE),                                                             \
2168     gen_rtvec (2,                                                       \
2169                gen_rtx_EXPR_LIST                                        \
2170                (VOIDmode,                                               \
2171                 ((CUM).arg_count[(int) SH_ARG_INT] < NPARM_REGS (SImode) \
2172                  ? gen_rtx_REG ((MODE), FIRST_FP_PARM_REG               \
2173                                 + (CUM).arg_count[(int) SH_ARG_FLOAT])  \
2174                  : NULL_RTX),                                           \
2175                 const0_rtx),                                            \
2176                gen_rtx_EXPR_LIST                                        \
2177                (VOIDmode,                                               \
2178                 ((CUM).arg_count[(int) SH_ARG_INT] < NPARM_REGS (SImode) \
2179                  ? gen_rtx_REG ((MODE), FIRST_PARM_REG                  \
2180                                 + (CUM).arg_count[(int) SH_ARG_INT])    \
2181                  : gen_rtx_REG ((MODE), FIRST_FP_PARM_REG               \
2182                                 + (CUM).arg_count[(int) SH_ARG_FLOAT])), \
2183                 const0_rtx))))
2184
2185 /* The SH5 ABI requires regular registers or stack slots to be
2186    reserved for floating-point arguments.  Registers are taken care of
2187    in FUNCTION_ARG_ADVANCE, but stack slots must be reserved here.
2188    Unfortunately, there's no way to just reserve a stack slot, so
2189    we'll end up needlessly storing a copy of the argument in the
2190    stack.  For incoming arguments, however, the PARALLEL will be
2191    optimized to the register-only form, and the value in the stack
2192    slot won't be used at all.  */
2193 #define SH5_PROTOTYPED_FLOAT_ARG(CUM,MODE,REG) \
2194   ((CUM).arg_count[(int) SH_ARG_INT] < NPARM_REGS (SImode)              \
2195    ? gen_rtx_REG ((MODE), (REG))                                        \
2196    : gen_rtx_PARALLEL ((MODE),                                          \
2197                        gen_rtvec (2,                                    \
2198                                   gen_rtx_EXPR_LIST                     \
2199                                   (VOIDmode, NULL_RTX,                  \
2200                                    const0_rtx),                         \
2201                                   gen_rtx_EXPR_LIST                     \
2202                                   (VOIDmode, gen_rtx_REG ((MODE),       \
2203                                                           (REG)),       \
2204                                    const0_rtx))))
2205
2206 #define STRICT_ARGUMENT_NAMING TARGET_SH5
2207
2208 #define PRETEND_OUTGOING_VARARGS_NAMED (! TARGET_HITACHI && ! TARGET_SH5)
2209
2210 /* For an arg passed partly in registers and partly in memory,
2211    this is the number of registers used.
2212    For args passed entirely in registers or entirely in memory, zero.
2213
2214    We sometimes split args.  */
2215
2216 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) \
2217   ((! TARGET_SH5 \
2218     && PASS_IN_REG_P ((CUM), (MODE), (TYPE))                    \
2219     && ! TARGET_SH4                                             \
2220     && (ROUND_REG ((CUM), (MODE))                               \
2221         + ((MODE) != BLKmode                                    \
2222            ? ROUND_ADVANCE (GET_MODE_SIZE (MODE))               \
2223            : ROUND_ADVANCE (int_size_in_bytes (TYPE)))          \
2224         > NPARM_REGS (MODE)))                                   \
2225    ? NPARM_REGS (MODE) - ROUND_REG ((CUM), (MODE))              \
2226    : (SH5_WOULD_BE_PARTIAL_NREGS ((CUM), (MODE), (TYPE), (NAMED)) \
2227       && ! TARGET_SHCOMPACT)                                    \
2228    ? NPARM_REGS (SImode) - (CUM).arg_count[(int) SH_ARG_INT]    \
2229    : 0)
2230
2231 #define SH5_WOULD_BE_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) \
2232   (TARGET_SH5                                                   \
2233    && ((MODE) == BLKmode || (MODE) == TImode || (MODE) == CDImode \
2234        || (MODE) == DCmode) \
2235    && ((CUM).arg_count[(int) SH_ARG_INT]                        \
2236        + (int_size_in_bytes (TYPE) + 7) / 8) > NPARM_REGS (SImode))
2237
2238 /* Perform any needed actions needed for a function that is receiving a
2239    variable number of arguments.  */
2240
2241 /* We actually emit the code in sh_expand_prologue.  We used to use
2242    a static variable to flag that we need to emit this code, but that
2243    doesn't when inlining, when functions are deferred and then emitted
2244    later.  Fortunately, we already have two flags that are part of struct
2245    function that tell if a function uses varargs or stdarg.  */
2246 #define SETUP_INCOMING_VARARGS(ASF, MODE, TYPE, PAS, ST)  do \
2247   if (! current_function_stdarg) \
2248     abort (); \
2249 while (0)
2250
2251 /* Define the `__builtin_va_list' type for the ABI.  */
2252 #define BUILD_VA_LIST_TYPE(VALIST) \
2253   (VALIST) = sh_build_va_list ()
2254
2255 /* Implement `va_start' for varargs and stdarg.  */
2256 #define EXPAND_BUILTIN_VA_START(valist, nextarg) \
2257   sh_va_start (valist, nextarg)
2258
2259 /* Implement `va_arg'.  */
2260 #define EXPAND_BUILTIN_VA_ARG(valist, type) \
2261   sh_va_arg (valist, type)
2262
2263 /* Call the function profiler with a given profile label.
2264    We use two .aligns, so as to make sure that both the .long is aligned
2265    on a 4 byte boundary, and that the .long is a fixed distance (2 bytes)
2266    from the trapa instruction.  */
2267
2268 #define FUNCTION_PROFILER(STREAM,LABELNO)                       \
2269 {                                                               \
2270         fprintf((STREAM), "\t.align\t2\n");                     \
2271         fprintf((STREAM), "\ttrapa\t#33\n");                    \
2272         fprintf((STREAM), "\t.align\t2\n");                     \
2273         asm_fprintf((STREAM), "\t.long\t%LLP%d\n", (LABELNO));  \
2274 }
2275
2276 /* Define this macro if the code for function profiling should come
2277    before the function prologue.  Normally, the profiling code comes
2278    after.  */
2279
2280 #define PROFILE_BEFORE_PROLOGUE
2281
2282 /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function,
2283    the stack pointer does not matter.  The value is tested only in
2284    functions that have frame pointers.
2285    No definition is equivalent to always zero.  */
2286
2287 #define EXIT_IGNORE_STACK 1
2288
2289 /* 
2290    On the SH, the trampoline looks like
2291    2 0002 D202                  mov.l   l2,r2
2292    1 0000 D301                  mov.l   l1,r3
2293    3 0004 422B                  jmp     @r2
2294    4 0006 0009                  nop
2295    5 0008 00000000      l1:     .long   area
2296    6 000c 00000000      l2:     .long   function  */
2297
2298 /* Length in units of the trampoline for entering a nested function.  */
2299 #define TRAMPOLINE_SIZE  (TARGET_SHMEDIA64 ? 40 : TARGET_SH5 ? 24 : 16)
2300
2301 /* Alignment required for a trampoline in bits .  */
2302 #define TRAMPOLINE_ALIGNMENT \
2303   ((CACHE_LOG < 3 || (TARGET_SMALLCODE && ! TARGET_HARVARD)) ? 32 \
2304    : TARGET_SHMEDIA ? 256 : 64)
2305
2306 /* Emit RTL insns to initialize the variable parts of a trampoline.
2307    FNADDR is an RTX for the address of the function's pure code.
2308    CXT is an RTX for the static chain value for the function.  */
2309
2310 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
2311   sh_initialize_trampoline ((TRAMP), (FNADDR), (CXT))
2312
2313 /* On SH5, trampolines are SHmedia code, so add 1 to the address.  */
2314
2315 #define TRAMPOLINE_ADJUST_ADDRESS(TRAMP) do                             \
2316 {                                                                       \
2317   if (TARGET_SHMEDIA)                                                   \
2318     (TRAMP) = expand_simple_binop (Pmode, PLUS, (TRAMP), GEN_INT (1),   \
2319                                    gen_reg_rtx (Pmode), 0,              \
2320                                    OPTAB_LIB_WIDEN);                    \
2321 } while (0)
2322
2323 /* A C expression whose value is RTL representing the value of the return
2324    address for the frame COUNT steps up from the current frame.
2325    FRAMEADDR is already the frame pointer of the COUNT frame, so we
2326    can ignore COUNT.  */
2327
2328 #define RETURN_ADDR_RTX(COUNT, FRAME)   \
2329   (((COUNT) == 0) ? sh_get_pr_initial_val () : (rtx) 0)
2330
2331 /* A C expression whose value is RTL representing the location of the
2332    incoming return address at the beginning of any function, before the
2333    prologue.  This RTL is either a REG, indicating that the return
2334    value is saved in REG, or a MEM representing a location in
2335    the stack.  */
2336 #define INCOMING_RETURN_ADDR_RTX \
2337   gen_rtx_REG (Pmode, TARGET_SHMEDIA ? PR_MEDIA_REG : PR_REG)
2338
2339 /* libstdc++-v3/libsupc++/eh_personality.cc:__gxx_personality_v0
2340    can get confused by SHmedia return addresses when it does:
2341    ip = _Unwind_GetIP (context) - 1;  */
2342 #define RETURN_ADDR_OFFSET (TARGET_SH5 ? -1 : 0)
2343 \f
2344 /* Generate necessary RTL for __builtin_saveregs().  */
2345 #define EXPAND_BUILTIN_SAVEREGS() sh_builtin_saveregs ()
2346 \f
2347 /* Addressing modes, and classification of registers for them.  */
2348 #define HAVE_POST_INCREMENT  TARGET_SH1
2349 #define HAVE_PRE_DECREMENT   TARGET_SH1
2350
2351 #define USE_LOAD_POST_INCREMENT(mode)    ((mode == SImode || mode == DImode) \
2352                                            ? 0 : TARGET_SH1)
2353 #define USE_LOAD_PRE_DECREMENT(mode)     0
2354 #define USE_STORE_POST_INCREMENT(mode)   0
2355 #define USE_STORE_PRE_DECREMENT(mode)    ((mode == SImode || mode == DImode) \
2356                                            ? 0 : TARGET_SH1)
2357
2358 #define MOVE_BY_PIECES_P(SIZE, ALIGN)  (move_by_pieces_ninsns (SIZE, ALIGN) \
2359                                         < (TARGET_SMALLCODE ? 2 :           \
2360                                            ((ALIGN >= 32) ? 16 : 2)))
2361
2362 /* Macros to check register numbers against specific register classes.  */
2363
2364 /* These assume that REGNO is a hard or pseudo reg number.
2365    They give nonzero only if REGNO is a hard reg of the suitable class
2366    or a pseudo reg currently allocated to a suitable hard reg.
2367    Since they use reg_renumber, they are safe only once reg_renumber
2368    has been allocated, which happens in local-alloc.c.  */
2369
2370 #define REGNO_OK_FOR_BASE_P(REGNO) \
2371   (GENERAL_OR_AP_REGISTER_P (REGNO) \
2372    || GENERAL_OR_AP_REGISTER_P (reg_renumber[(REGNO)]))
2373 #define REGNO_OK_FOR_INDEX_P(REGNO) \
2374   (TARGET_SHMEDIA \
2375    ? (GENERAL_REGISTER_P (REGNO) \
2376       || GENERAL_REGISTER_P ((unsigned) reg_renumber[(REGNO)])) \
2377    : (REGNO) == R0_REG || (unsigned) reg_renumber[(REGNO)] == R0_REG)
2378
2379 /* Maximum number of registers that can appear in a valid memory
2380    address.  */
2381
2382 #define MAX_REGS_PER_ADDRESS 2
2383
2384 /* Recognize any constant value that is a valid address.  */
2385
2386 #define CONSTANT_ADDRESS_P(X)   (GET_CODE (X) == LABEL_REF)
2387
2388 /* Nonzero if the constant value X is a legitimate general operand.  */
2389
2390 #define LEGITIMATE_CONSTANT_P(X) \
2391   (TARGET_SHMEDIA                                                       \
2392    ? ((GET_MODE (X) != DFmode                                           \
2393        && GET_MODE_CLASS (GET_MODE (X)) != MODE_VECTOR_FLOAT)           \
2394       || (X) == CONST0_RTX (GET_MODE (X))                               \
2395       || ! TARGET_SHMEDIA_FPU                                           \
2396       || TARGET_SHMEDIA64)                                              \
2397    : (GET_CODE (X) != CONST_DOUBLE                                      \
2398       || GET_MODE (X) == DFmode || GET_MODE (X) == SFmode               \
2399       || (TARGET_SH2E && (fp_zero_operand (X) || fp_one_operand (X)))))
2400
2401 /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx
2402    and check its validity for a certain class.
2403    We have two alternate definitions for each of them.
2404    The usual definition accepts all pseudo regs; the other rejects
2405    them unless they have been allocated suitable hard regs.
2406    The symbol REG_OK_STRICT causes the latter definition to be used.  */
2407
2408 #ifndef REG_OK_STRICT
2409
2410 /* Nonzero if X is a hard reg that can be used as a base reg
2411    or if it is a pseudo reg.  */
2412 #define REG_OK_FOR_BASE_P(X) \
2413   (GENERAL_OR_AP_REGISTER_P (REGNO (X)) || REGNO (X) >= FIRST_PSEUDO_REGISTER)
2414
2415 /* Nonzero if X is a hard reg that can be used as an index
2416    or if it is a pseudo reg.  */
2417 #define REG_OK_FOR_INDEX_P(X) \
2418   ((TARGET_SHMEDIA ? GENERAL_REGISTER_P (REGNO (X)) \
2419     : REGNO (X) == R0_REG) || REGNO (X) >= FIRST_PSEUDO_REGISTER)
2420
2421 /* Nonzero if X/OFFSET is a hard reg that can be used as an index
2422    or if X is a pseudo reg.  */
2423 #define SUBREG_OK_FOR_INDEX_P(X, OFFSET) \
2424   ((TARGET_SHMEDIA ? GENERAL_REGISTER_P (REGNO (X)) \
2425     : REGNO (X) == R0_REG && OFFSET == 0) || REGNO (X) >= FIRST_PSEUDO_REGISTER)
2426
2427 #else
2428
2429 /* Nonzero if X is a hard reg that can be used as a base reg.  */
2430 #define REG_OK_FOR_BASE_P(X) \
2431   REGNO_OK_FOR_BASE_P (REGNO (X))
2432
2433 /* Nonzero if X is a hard reg that can be used as an index.  */
2434 #define REG_OK_FOR_INDEX_P(X) \
2435   REGNO_OK_FOR_INDEX_P (REGNO (X))
2436
2437 /* Nonzero if X/OFFSET is a hard reg that can be used as an index.  */
2438 #define SUBREG_OK_FOR_INDEX_P(X, OFFSET) \
2439   (REGNO_OK_FOR_INDEX_P (REGNO (X)) && (OFFSET) == 0)
2440
2441 #endif
2442
2443 /* The 'Q' constraint is a pc relative load operand.  */
2444 #define EXTRA_CONSTRAINT_Q(OP)                                          \
2445   (GET_CODE (OP) == MEM                                                 \
2446    && ((GET_CODE (XEXP ((OP), 0)) == LABEL_REF)                         \
2447        || (GET_CODE (XEXP ((OP), 0)) == CONST                           \
2448            && GET_CODE (XEXP (XEXP ((OP), 0), 0)) == PLUS               \
2449            && GET_CODE (XEXP (XEXP (XEXP ((OP), 0), 0), 0)) == LABEL_REF \
2450            && GET_CODE (XEXP (XEXP (XEXP ((OP), 0), 0), 1)) == CONST_INT)))
2451
2452 /* Extra address constraints.  */
2453 #define EXTRA_CONSTRAINT_A(OP, STR) 0
2454
2455 /* Constraint for selecting FLDI0 or FLDI1 instruction. If the clobber
2456    operand is not SCRATCH (i.e. REG) then R0 is probably being
2457    used, hence mova is being used, hence do not select this pattern */
2458 #define EXTRA_CONSTRAINT_Bsc(OP)    (GET_CODE(OP) == SCRATCH)
2459 #define EXTRA_CONSTRAINT_B(OP, STR) \
2460   ((STR)[1] == 's' && (STR)[2] == 'c' ? EXTRA_CONSTRAINT_Bsc (OP) \
2461    : 0)
2462
2463 /* The `C16' constraint is a 16-bit constant, literal or symbolic.  */
2464 #define EXTRA_CONSTRAINT_C16(OP) \
2465   (GET_CODE (OP) == CONST \
2466    && GET_CODE (XEXP ((OP), 0)) == SIGN_EXTEND \
2467    && GET_MODE (XEXP ((OP), 0)) == DImode \
2468    && GET_CODE (XEXP (XEXP ((OP), 0), 0)) == TRUNCATE \
2469    && GET_MODE (XEXP (XEXP ((OP), 0), 0)) == HImode \
2470    && (MOVI_SHORI_BASE_OPERAND_P (XEXP (XEXP (XEXP ((OP), 0), 0), 0)) \
2471        || (GET_CODE (XEXP (XEXP (XEXP ((OP), 0), 0), 0)) == ASHIFTRT \
2472            && (MOVI_SHORI_BASE_OPERAND_P \
2473                (XEXP (XEXP (XEXP (XEXP ((OP), 0), 0), 0), 0))) \
2474            && GET_CODE (XEXP (XEXP (XEXP (XEXP ((OP), 0), 0), 0), \
2475                               1)) == CONST_INT)))
2476
2477 /* Check whether OP is a datalabel unspec.  */
2478 #define DATALABEL_REF_NO_CONST_P(OP) \
2479   (GET_CODE (OP) == UNSPEC \
2480    && XINT ((OP), 1) == UNSPEC_DATALABEL \
2481    && XVECLEN ((OP), 0) == 1 \
2482    && (GET_CODE (XVECEXP ((OP), 0, 0)) == SYMBOL_REF \
2483        || GET_CODE (XVECEXP ((OP), 0, 0)) == LABEL_REF))
2484
2485 /* Check whether OP is a datalabel unspec, possibly enclosed within a
2486    CONST.  */
2487 #define DATALABEL_REF_P(OP) \
2488   ((GET_CODE (OP) == CONST && DATALABEL_REF_NO_CONST_P (XEXP ((OP), 0))) \
2489    || DATALABEL_REF_NO_CONST_P (OP))
2490
2491 #define GOT_ENTRY_P(OP) \
2492   (GET_CODE (OP) == CONST && GET_CODE (XEXP ((OP), 0)) == UNSPEC \
2493    && XINT (XEXP ((OP), 0), 1) == UNSPEC_GOT)
2494
2495 #define GOTPLT_ENTRY_P(OP) \
2496   (GET_CODE (OP) == CONST && GET_CODE (XEXP ((OP), 0)) == UNSPEC \
2497    && XINT (XEXP ((OP), 0), 1) == UNSPEC_GOTPLT)
2498
2499 #define UNSPEC_GOTOFF_P(OP) \
2500   (GET_CODE (OP) == UNSPEC && XINT ((OP), 1) == UNSPEC_GOTOFF)
2501
2502 #define GOTOFF_P(OP) \
2503   (GET_CODE (OP) == CONST \
2504    && (UNSPEC_GOTOFF_P (XEXP ((OP), 0)) \
2505        || (GET_CODE (XEXP ((OP), 0)) == PLUS \
2506            && UNSPEC_GOTOFF_P (XEXP (XEXP ((OP), 0), 0)) \
2507            && GET_CODE (XEXP (XEXP ((OP), 0), 1)) == CONST_INT)))
2508
2509 #define PIC_ADDR_P(OP) \
2510   (GET_CODE (OP) == CONST && GET_CODE (XEXP ((OP), 0)) == UNSPEC \
2511    && XINT (XEXP ((OP), 0), 1) == UNSPEC_PIC)
2512
2513 #define PIC_OFFSET_P(OP) \
2514   (PIC_ADDR_P (OP) \
2515    && GET_CODE (XVECEXP (XEXP ((OP), 0), 0, 0)) == MINUS \
2516    && reg_mentioned_p (pc_rtx, XEXP (XVECEXP (XEXP ((OP), 0), 0, 0), 1)))
2517
2518 #define PIC_DIRECT_ADDR_P(OP) \
2519   (PIC_ADDR_P (OP) && GET_CODE (XVECEXP (XEXP ((OP), 0), 0, 0)) != MINUS)
2520
2521 #define NON_PIC_REFERENCE_P(OP) \
2522   (GET_CODE (OP) == LABEL_REF || GET_CODE (OP) == SYMBOL_REF \
2523    || DATALABEL_REF_P (OP) \
2524    || (GET_CODE (OP) == CONST && GET_CODE (XEXP ((OP), 0)) == PLUS \
2525        && (GET_CODE (XEXP (XEXP ((OP), 0), 0)) == SYMBOL_REF \
2526            || DATALABEL_REF_P (XEXP (XEXP ((OP), 0), 0))) \
2527        && GET_CODE (XEXP (XEXP ((OP), 0), 1)) == CONST_INT))
2528
2529 #define PIC_REFERENCE_P(OP) \
2530   (GOT_ENTRY_P (OP) || GOTPLT_ENTRY_P (OP) \
2531    || GOTOFF_P (OP) || PIC_ADDR_P (OP))
2532
2533 #define MOVI_SHORI_BASE_OPERAND_P(OP) \
2534   (flag_pic \
2535    ? (GOT_ENTRY_P (OP) || GOTPLT_ENTRY_P (OP)  || GOTOFF_P (OP) \
2536       || PIC_OFFSET_P (OP)) \
2537    : NON_PIC_REFERENCE_P (OP))
2538
2539 /* The `Csy' constraint is a label or a symbol.  */
2540 #define EXTRA_CONSTRAINT_Csy(OP) \
2541   (NON_PIC_REFERENCE_P (OP) || PIC_DIRECT_ADDR_P (OP))
2542
2543 /* A zero in any shape or form.  */
2544 #define EXTRA_CONSTRAINT_Z(OP) \
2545   ((OP) == CONST0_RTX (GET_MODE (OP)))
2546
2547 /* Any vector constant we can handle.  */
2548 #define EXTRA_CONSTRAINT_W(OP) \
2549   (GET_CODE (OP) == CONST_VECTOR \
2550    && (sh_rep_vec ((OP), VOIDmode) \
2551        || (HOST_BITS_PER_WIDE_INT >= 64 \
2552            ? sh_const_vec ((OP), VOIDmode) \
2553            : sh_1el_vec ((OP), VOIDmode))))
2554
2555 /* A non-explicit constant that can be loaded directly into a general purpose
2556    register.  This is like 's' except we don't allow PIC_DIRECT_ADDR_P.  */
2557 #define EXTRA_CONSTRAINT_Cpg(OP) \
2558   (CONSTANT_P (OP) \
2559    && GET_CODE (OP) != CONST_INT \
2560    && GET_CODE (OP) != CONST_DOUBLE \
2561    && (!flag_pic \
2562        || (LEGITIMATE_PIC_OPERAND_P (OP) \
2563         && (! PIC_ADDR_P (OP) || PIC_OFFSET_P (OP)) \
2564         && GET_CODE (OP) != LABEL_REF)))
2565 #define EXTRA_CONSTRAINT_C(OP, STR) \
2566   ((STR)[1] == '1' && (STR)[2] == '6' ? EXTRA_CONSTRAINT_C16 (OP) \
2567    : (STR)[1] == 's' && (STR)[2] == 'y' ? EXTRA_CONSTRAINT_Csy (OP) \
2568    : (STR)[1] == 'p' && (STR)[2] == 'g' ? EXTRA_CONSTRAINT_Cpg (OP) \
2569    : 0)
2570
2571 #define EXTRA_MEMORY_CONSTRAINT(C,STR) ((C) == 'S')
2572 #define EXTRA_CONSTRAINT_Sr0(OP) \
2573   (memory_operand((OP), GET_MODE (OP)) \
2574    && ! refers_to_regno_p (R0_REG, R0_REG + 1, OP, (rtx *)0))
2575 #define EXTRA_CONSTRAINT_S(OP, STR) \
2576   ((STR)[1] == 'r' && (STR)[2] == '0' ? EXTRA_CONSTRAINT_Sr0 (OP) \
2577    : 0)
2578
2579 #define EXTRA_CONSTRAINT_STR(OP, C, STR)                \
2580   ((C) == 'Q' ? EXTRA_CONSTRAINT_Q (OP) \
2581    : (C) == 'A' ? EXTRA_CONSTRAINT_A ((OP), (STR)) \
2582    : (C) == 'B' ? EXTRA_CONSTRAINT_B ((OP), (STR)) \
2583    : (C) == 'C' ? EXTRA_CONSTRAINT_C ((OP), (STR)) \
2584    : (C) == 'S' ? EXTRA_CONSTRAINT_S ((OP), (STR)) \
2585    : (C) == 'W' ? EXTRA_CONSTRAINT_W (OP) \
2586    : (C) == 'Z' ? EXTRA_CONSTRAINT_Z (OP) \
2587    : 0)
2588 \f
2589 /* GO_IF_LEGITIMATE_ADDRESS recognizes an RTL expression
2590    that is a valid memory address for an instruction.
2591    The MODE argument is the machine mode for the MEM expression
2592    that wants to use this address.  */
2593
2594 #define MODE_DISP_OK_4(X,MODE) \
2595 (GET_MODE_SIZE (MODE) == 4 && (unsigned) INTVAL (X) < 64        \
2596  && ! (INTVAL (X) & 3) && ! (TARGET_SH2E && (MODE) == SFmode))
2597
2598 #define MODE_DISP_OK_8(X,MODE) \
2599 ((GET_MODE_SIZE(MODE)==8) && ((unsigned)INTVAL(X)<60)   \
2600  && ! (INTVAL(X) & 3) && ! (TARGET_SH4 && (MODE) == DFmode))
2601
2602 #define BASE_REGISTER_RTX_P(X)                          \
2603   ((GET_CODE (X) == REG && REG_OK_FOR_BASE_P (X))       \
2604    || (GET_CODE (X) == SUBREG                           \
2605        && GET_CODE (SUBREG_REG (X)) == REG              \
2606        && REG_OK_FOR_BASE_P (SUBREG_REG (X))))
2607
2608 /* Since this must be r0, which is a single register class, we must check
2609    SUBREGs more carefully, to be sure that we don't accept one that extends
2610    outside the class.  */
2611 #define INDEX_REGISTER_RTX_P(X)                         \
2612   ((GET_CODE (X) == REG && REG_OK_FOR_INDEX_P (X))      \
2613    || (GET_CODE (X) == SUBREG                           \
2614        && GET_CODE (SUBREG_REG (X)) == REG              \
2615        && SUBREG_OK_FOR_INDEX_P (SUBREG_REG (X), SUBREG_BYTE (X))))
2616
2617 /* Jump to LABEL if X is a valid address RTX.  This must also take
2618    REG_OK_STRICT into account when deciding about valid registers, but it uses
2619    the above macros so we are in luck.
2620
2621    Allow  REG
2622           REG+disp
2623           REG+r0
2624           REG++
2625           --REG  */
2626
2627 /* ??? The SH2e does not have the REG+disp addressing mode when loading values
2628    into the FRx registers.  We implement this by setting the maximum offset
2629    to zero when the value is SFmode.  This also restricts loading of SFmode
2630    values into the integer registers, but that can't be helped.  */
2631
2632 /* The SH allows a displacement in a QI or HI amode, but only when the
2633    other operand is R0. GCC doesn't handle this very well, so we forgo
2634    all of that.
2635
2636    A legitimate index for a QI or HI is 0, SI can be any number 0..63,
2637    DI can be any number 0..60.  */
2638
2639 #define GO_IF_LEGITIMATE_INDEX(MODE, OP, LABEL)                         \
2640   do {                                                                  \
2641     if (GET_CODE (OP) == CONST_INT)                                     \
2642       {                                                                 \
2643         if (TARGET_SHMEDIA)                                             \
2644           {                                                             \
2645             int MODE_SIZE = GET_MODE_SIZE (MODE);                       \
2646             if (! (INTVAL (OP) & (MODE_SIZE - 1))                       \
2647                 && INTVAL (OP) >= -512 * MODE_SIZE                      \
2648                 && INTVAL (OP) < 512 * MODE_SIZE)                       \
2649               goto LABEL;                                               \
2650             else                                                        \
2651               break;                                                    \
2652           }                                                             \
2653         if (MODE_DISP_OK_4 ((OP), (MODE)))  goto LABEL;                 \
2654         if (MODE_DISP_OK_8 ((OP), (MODE)))  goto LABEL;                 \
2655       }                                                                 \
2656   } while(0)
2657
2658 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, LABEL)                        \
2659 {                                                                       \
2660   if (BASE_REGISTER_RTX_P (X))                                          \
2661     goto LABEL;                                                         \
2662   else if ((GET_CODE (X) == POST_INC || GET_CODE (X) == PRE_DEC)        \
2663            && ! TARGET_SHMEDIA                                          \
2664            && BASE_REGISTER_RTX_P (XEXP ((X), 0)))                      \
2665     goto LABEL;                                                         \
2666   else if (GET_CODE (X) == PLUS                                         \
2667            && ((MODE) != PSImode || reload_completed))                  \
2668     {                                                                   \
2669       rtx xop0 = XEXP ((X), 0);                                         \
2670       rtx xop1 = XEXP ((X), 1);                                         \
2671       if (GET_MODE_SIZE (MODE) <= 8 && BASE_REGISTER_RTX_P (xop0))      \
2672         GO_IF_LEGITIMATE_INDEX ((MODE), xop1, LABEL);                   \
2673       if (GET_MODE_SIZE (MODE) <= 4                                     \
2674           || (TARGET_SHMEDIA && GET_MODE_SIZE (MODE) <= 8)              \
2675           || (TARGET_SH4 && TARGET_FMOVD && MODE == DFmode))            \
2676         {                                                               \
2677           if (BASE_REGISTER_RTX_P (xop1) && INDEX_REGISTER_RTX_P (xop0))\
2678             goto LABEL;                                                 \
2679           if (INDEX_REGISTER_RTX_P (xop1) && BASE_REGISTER_RTX_P (xop0))\
2680             goto LABEL;                                                 \
2681         }                                                               \
2682     }                                                                   \
2683 }
2684 \f
2685 /* Try machine-dependent ways of modifying an illegitimate address
2686    to be legitimate.  If we find one, return the new, valid address.
2687    This macro is used in only one place: `memory_address' in explow.c.
2688
2689    OLDX is the address as it was before break_out_memory_refs was called.
2690    In some cases it is useful to look at this to decide what needs to be done.
2691
2692    MODE and WIN are passed so that this macro can use
2693    GO_IF_LEGITIMATE_ADDRESS.
2694
2695    It is always safe for this macro to do nothing.  It exists to recognize
2696    opportunities to optimize the output.
2697
2698    For the SH, if X is almost suitable for indexing, but the offset is
2699    out of range, convert it into a normal form so that cse has a chance
2700    of reducing the number of address registers used.  */
2701
2702 #define LEGITIMIZE_ADDRESS(X,OLDX,MODE,WIN)                     \
2703 {                                                               \
2704   if (flag_pic)                                                 \
2705     (X) = legitimize_pic_address (OLDX, MODE, NULL_RTX);        \
2706   if (GET_CODE (X) == PLUS                                      \
2707       && (GET_MODE_SIZE (MODE) == 4                             \
2708           || GET_MODE_SIZE (MODE) == 8)                         \
2709       && GET_CODE (XEXP ((X), 1)) == CONST_INT                  \
2710       && BASE_REGISTER_RTX_P (XEXP ((X), 0))                    \
2711       && ! TARGET_SHMEDIA                                       \
2712       && ! (TARGET_SH4 && (MODE) == DFmode)                     \
2713       && ! (TARGET_SH2E && (MODE) == SFmode))                   \
2714     {                                                           \
2715       rtx index_rtx = XEXP ((X), 1);                            \
2716       HOST_WIDE_INT offset = INTVAL (index_rtx), offset_base;   \
2717       rtx sum;                                                  \
2718                                                                 \
2719       GO_IF_LEGITIMATE_INDEX ((MODE), index_rtx, WIN);          \
2720       /* On rare occasions, we might get an unaligned pointer   \
2721          that is indexed in a way to give an aligned address.   \
2722          Therefore, keep the lower two bits in offset_base.  */ \
2723       /* Instead of offset_base 128..131 use 124..127, so that  \
2724          simple add suffices.  */                               \
2725       if (offset > 127)                                         \
2726         {                                                       \
2727           offset_base = ((offset + 4) & ~60) - 4;               \
2728         }                                                       \
2729       else                                                      \
2730         offset_base = offset & ~60;                             \
2731       /* Sometimes the normal form does not suit DImode.  We    \
2732          could avoid that by using smaller ranges, but that     \
2733          would give less optimized code when SImode is          \
2734          prevalent.  */                                         \
2735       if (GET_MODE_SIZE (MODE) + offset - offset_base <= 64)    \
2736         {                                                       \
2737           sum = expand_binop (Pmode, add_optab, XEXP ((X), 0),  \
2738                               GEN_INT (offset_base), NULL_RTX, 0, \
2739                               OPTAB_LIB_WIDEN);                 \
2740                                                                 \
2741           (X) = gen_rtx_PLUS (Pmode, sum, GEN_INT (offset - offset_base)); \
2742           goto WIN;                                             \
2743         }                                                       \
2744     }                                                           \
2745 }
2746
2747 /* A C compound statement that attempts to replace X, which is an address
2748    that needs reloading, with a valid memory address for an operand of
2749    mode MODE.  WIN is a C statement label elsewhere in the code.
2750
2751    Like for LEGITIMIZE_ADDRESS, for the SH we try to get a normal form
2752    of the address.  That will allow inheritance of the address reloads.  */
2753
2754 #define LEGITIMIZE_RELOAD_ADDRESS(X,MODE,OPNUM,TYPE,IND_LEVELS,WIN)     \
2755 {                                                                       \
2756   if (GET_CODE (X) == PLUS                                              \
2757       && (GET_MODE_SIZE (MODE) == 4 || GET_MODE_SIZE (MODE) == 8)       \
2758       && GET_CODE (XEXP (X, 1)) == CONST_INT                            \
2759       && BASE_REGISTER_RTX_P (XEXP (X, 0))                              \
2760       && ! TARGET_SHMEDIA                                               \
2761       && ! (TARGET_SH4 && (MODE) == DFmode)                             \
2762       && ! ((MODE) == PSImode && (TYPE) == RELOAD_FOR_INPUT_ADDRESS))   \
2763     {                                                                   \
2764       rtx index_rtx = XEXP (X, 1);                                      \
2765       HOST_WIDE_INT offset = INTVAL (index_rtx), offset_base;           \
2766       rtx sum;                                                          \
2767                                                                         \
2768       if (TARGET_SH2E && MODE == SFmode)                                \
2769         {                                                               \
2770           X = copy_rtx (X);                                             \
2771           push_reload (index_rtx, NULL_RTX, &XEXP (X, 1), NULL,         \
2772                        INDEX_REG_CLASS, Pmode, VOIDmode, 0, 0, (OPNUM), \
2773                        (TYPE));                                         \
2774           goto WIN;                                                     \
2775         }                                                               \
2776       /* Instead of offset_base 128..131 use 124..127, so that          \
2777          simple add suffices.  */                                       \
2778       if (offset > 127)                                                 \
2779         {                                                               \
2780           offset_base = ((offset + 4) & ~60) - 4;                       \
2781         }                                                               \
2782       else                                                              \
2783         offset_base = offset & ~60;                                     \
2784       /* Sometimes the normal form does not suit DImode.  We            \
2785          could avoid that by using smaller ranges, but that             \
2786          would give less optimized code when SImode is                  \
2787          prevalent.  */                                                 \
2788       if (GET_MODE_SIZE (MODE) + offset - offset_base <= 64)            \
2789         {                                                               \
2790           sum = gen_rtx (PLUS, Pmode, XEXP (X, 0),                      \
2791                          GEN_INT (offset_base));                        \
2792           X = gen_rtx (PLUS, Pmode, sum, GEN_INT (offset - offset_base));\
2793           push_reload (sum, NULL_RTX, &XEXP (X, 0), NULL,               \
2794                        BASE_REG_CLASS, Pmode, VOIDmode, 0, 0, (OPNUM),  \
2795                        (TYPE));                                         \
2796           goto WIN;                                                     \
2797         }                                                               \
2798     }                                                                   \
2799   /* We must re-recognize what we created before.  */                   \
2800   else if (GET_CODE (X) == PLUS                                         \
2801            && (GET_MODE_SIZE (MODE) == 4 || GET_MODE_SIZE (MODE) == 8)  \
2802            && GET_CODE (XEXP (X, 0)) == PLUS                            \
2803            && GET_CODE (XEXP (XEXP (X, 0), 1)) == CONST_INT             \
2804            && BASE_REGISTER_RTX_P (XEXP (XEXP (X, 0), 0))               \
2805            && GET_CODE (XEXP (X, 1)) == CONST_INT                       \
2806            && ! TARGET_SHMEDIA                                          \
2807            && ! (TARGET_SH2E && MODE == SFmode))                        \
2808     {                                                                   \
2809       /* Because this address is so complex, we know it must have       \
2810          been created by LEGITIMIZE_RELOAD_ADDRESS before; thus,        \
2811          it is already unshared, and needs no further unsharing.  */    \
2812       push_reload (XEXP ((X), 0), NULL_RTX, &XEXP ((X), 0), NULL,       \
2813                    BASE_REG_CLASS, Pmode, VOIDmode, 0, 0, (OPNUM), (TYPE));\
2814       goto WIN;                                                         \
2815     }                                                                   \
2816 }
2817
2818 /* Go to LABEL if ADDR (a legitimate address expression)
2819    has an effect that depends on the machine mode it is used for.
2820
2821    ??? Strictly speaking, we should also include all indexed addressing,
2822    because the index scale factor is the length of the operand.
2823    However, the impact of GO_IF_MODE_DEPENDENT_ADDRESS would be to
2824    high if we did that.  So we rely on reload to fix things up.  */
2825
2826 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR,LABEL)                        \
2827 {                                                                       \
2828   if (GET_CODE(ADDR) == PRE_DEC || GET_CODE(ADDR) == POST_INC)          \
2829     goto LABEL;                                                         \
2830 }
2831 \f
2832 /* Specify the machine mode that this machine uses
2833    for the index in the tablejump instruction.  */
2834 #define CASE_VECTOR_MODE ((! optimize || TARGET_BIGTABLE) ? SImode : HImode)
2835
2836 #define CASE_VECTOR_SHORTEN_MODE(MIN_OFFSET, MAX_OFFSET, BODY) \
2837 ((MIN_OFFSET) >= 0 && (MAX_OFFSET) <= 127 \
2838  ? (ADDR_DIFF_VEC_FLAGS (BODY).offset_unsigned = 0, QImode) \
2839  : (MIN_OFFSET) >= 0 && (MAX_OFFSET) <= 255 \
2840  ? (ADDR_DIFF_VEC_FLAGS (BODY).offset_unsigned = 1, QImode) \
2841  : (MIN_OFFSET) >= -32768 && (MAX_OFFSET) <= 32767 ? HImode \
2842  : SImode)
2843
2844 /* Define as C expression which evaluates to nonzero if the tablejump
2845    instruction expects the table to contain offsets from the address of the
2846    table.
2847    Do not define this if the table should contain absolute addresses.  */
2848 #define CASE_VECTOR_PC_RELATIVE 1
2849
2850 /* Define it here, so that it doesn't get bumped to 64-bits on SHmedia.  */
2851 #define FLOAT_TYPE_SIZE 32
2852
2853 /* Since the SH2e has only `float' support, it is desirable to make all
2854    floating point types equivalent to `float'.  */
2855 #define DOUBLE_TYPE_SIZE ((TARGET_SH2E && ! TARGET_SH4) ? 32 : 64)
2856
2857 /* 'char' is signed by default.  */
2858 #define DEFAULT_SIGNED_CHAR  1
2859
2860 /* The type of size_t unsigned int.  */
2861 #define SIZE_TYPE (TARGET_SH5 ? "long unsigned int" : "unsigned int")
2862
2863 #undef  PTRDIFF_TYPE
2864 #define PTRDIFF_TYPE (TARGET_SH5 ? "long int" : "int")
2865
2866 #define WCHAR_TYPE "short unsigned int"
2867 #define WCHAR_TYPE_SIZE 16
2868
2869 #define SH_ELF_WCHAR_TYPE "long int"
2870
2871 /* Don't cse the address of the function being compiled.  */
2872 /*#define NO_RECURSIVE_FUNCTION_CSE 1*/
2873
2874 /* Max number of bytes we can move from memory to memory
2875    in one reasonably fast instruction.  */
2876 #define MOVE_MAX (TARGET_SHMEDIA ? 8 : 4)
2877
2878 /* Maximum value possibly taken by MOVE_MAX.  Must be defined whenever
2879    MOVE_MAX is not a compile-time constant.  */
2880 #define MAX_MOVE_MAX 8
2881
2882 /* Max number of bytes we want move_by_pieces to be able to copy
2883    efficiently.  */
2884 #define MOVE_MAX_PIECES (TARGET_SH4 || TARGET_SHMEDIA ? 8 : 4)
2885
2886 /* Define if operations between registers always perform the operation
2887    on the full register even if a narrower mode is specified.  */
2888 #define WORD_REGISTER_OPERATIONS
2889
2890 /* Define if loading in MODE, an integral mode narrower than BITS_PER_WORD
2891    will either zero-extend or sign-extend.  The value of this macro should
2892    be the code that says which one of the two operations is implicitly
2893    done, NIL if none.  */
2894 /* For SHmedia, we can truncate to QImode easier using zero extension.  */
2895 /* FP registers can load SImode values, but don't implicitly sign-extend
2896    them to DImode.  */
2897 #define LOAD_EXTEND_OP(MODE) \
2898  (((MODE) == QImode  && TARGET_SHMEDIA) ? ZERO_EXTEND \
2899   : (MODE) != SImode ? SIGN_EXTEND : NIL)
2900
2901 /* Define if loading short immediate values into registers sign extends.  */
2902 #define SHORT_IMMEDIATES_SIGN_EXTEND
2903
2904 /* Nonzero if access to memory by bytes is no faster than for words.  */
2905 #define SLOW_BYTE_ACCESS 1
2906
2907 /* Immediate shift counts are truncated by the output routines (or was it
2908    the assembler?).  Shift counts in a register are truncated by SH.  Note
2909    that the native compiler puts too large (> 32) immediate shift counts
2910    into a register and shifts by the register, letting the SH decide what
2911    to do instead of doing that itself.  */
2912 /* ??? The library routines in lib1funcs.asm truncate the shift count.
2913    However, the SH3 has hardware shifts that do not truncate exactly as gcc
2914    expects - the sign bit is significant - so it appears that we need to
2915    leave this zero for correct SH3 code.  */
2916 #define SHIFT_COUNT_TRUNCATED (! TARGET_SH3)
2917
2918 /* All integers have the same format so truncation is easy.  */
2919 #define TRULY_NOOP_TRUNCATION(OUTPREC,INPREC)  1
2920
2921 /* Define this if addresses of constant functions
2922    shouldn't be put through pseudo regs where they can be cse'd.
2923    Desirable on machines where ordinary constants are expensive
2924    but a CALL with constant address is cheap.  */
2925 /*#define NO_FUNCTION_CSE 1*/
2926
2927 /* Chars and shorts should be passed as ints.  */
2928 #define PROMOTE_PROTOTYPES 1
2929
2930 /* The machine modes of pointers and functions.  */
2931 #define Pmode  (TARGET_SHMEDIA64 ? DImode : SImode)
2932 #define FUNCTION_MODE  Pmode
2933
2934 /* The multiply insn on the SH1 and the divide insns on the SH1 and SH2
2935    are actually function calls with some special constraints on arguments
2936    and register usage.
2937
2938    These macros tell reorg that the references to arguments and
2939    register clobbers for insns of type sfunc do not appear to happen
2940    until after the millicode call.  This allows reorg to put insns
2941    which set the argument registers into the delay slot of the millicode
2942    call -- thus they act more like traditional CALL_INSNs.
2943
2944    get_attr_is_sfunc will try to recognize the given insn, so make sure to
2945    filter out things it will not accept -- SEQUENCE, USE and CLOBBER insns
2946    in particular.  */
2947
2948 #define INSN_SETS_ARE_DELAYED(X)                \
2949   ((GET_CODE (X) == INSN                        \
2950     && GET_CODE (PATTERN (X)) != SEQUENCE       \
2951     && GET_CODE (PATTERN (X)) != USE            \
2952     && GET_CODE (PATTERN (X)) != CLOBBER        \
2953     && get_attr_is_sfunc (X)))
2954
2955 #define INSN_REFERENCES_ARE_DELAYED(X)          \
2956   ((GET_CODE (X) == INSN                        \
2957     && GET_CODE (PATTERN (X)) != SEQUENCE       \
2958     && GET_CODE (PATTERN (X)) != USE            \
2959     && GET_CODE (PATTERN (X)) != CLOBBER        \
2960     && get_attr_is_sfunc (X)))
2961
2962 \f
2963 /* Position Independent Code.  */
2964
2965 /* We can't directly access anything that contains a symbol,
2966    nor can we indirect via the constant pool.  */
2967 #define LEGITIMATE_PIC_OPERAND_P(X)                             \
2968         ((! nonpic_symbol_mentioned_p (X)                       \
2969           && (GET_CODE (X) != SYMBOL_REF                        \
2970               || ! CONSTANT_POOL_ADDRESS_P (X)                  \
2971               || ! nonpic_symbol_mentioned_p (get_pool_constant (X)))) \
2972          || (TARGET_SHMEDIA && GET_CODE (X) == LABEL_REF))
2973
2974 #define SYMBOLIC_CONST_P(X)     \
2975 ((GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == LABEL_REF)      \
2976   && nonpic_symbol_mentioned_p (X))
2977 \f
2978 /* Compute extra cost of moving data between one register class
2979    and another.  */
2980
2981 /* If SECONDARY*_RELOAD_CLASS says something about the src/dst pair, regclass
2982    uses this information.  Hence, the general register <-> floating point
2983    register information here is not used for SFmode.  */
2984
2985 #define REGCLASS_HAS_GENERAL_REG(CLASS) \
2986   ((CLASS) == GENERAL_REGS || (CLASS) == R0_REGS \
2987     || (! TARGET_SHMEDIA && (CLASS) == SIBCALL_REGS))
2988
2989 #define REGCLASS_HAS_FP_REG(CLASS) \
2990   ((CLASS) == FP0_REGS || (CLASS) == FP_REGS \
2991    || (CLASS) == DF_REGS || (CLASS) == DF_HI_REGS)
2992
2993 #define REGISTER_MOVE_COST(MODE, SRCCLASS, DSTCLASS) \
2994   sh_register_move_cost ((MODE), (SRCCLASS), (DSTCLASS))
2995
2996 /* ??? Perhaps make MEMORY_MOVE_COST depend on compiler option?  This
2997    would be so that people with slow memory systems could generate
2998    different code that does fewer memory accesses.  */
2999
3000 /* A C expression for the cost of a branch instruction.  A value of 1
3001    is the default; other values are interpreted relative to that.
3002    The SH1 does not have delay slots, hence we get a pipeline stall
3003    at every branch.  The SH4 is superscalar, so the single delay slot
3004    is not sufficient to keep both pipelines filled.  */
3005 #define BRANCH_COST (TARGET_SH5 ? 1 : ! TARGET_SH2 || TARGET_HARD_SH4 ? 2 : 1)
3006 \f
3007 /* Assembler output control.  */
3008
3009 /* A C string constant describing how to begin a comment in the target
3010    assembler language.  The compiler assumes that the comment will end at
3011    the end of the line.  */
3012 #define ASM_COMMENT_START "!"
3013
3014 #define ASM_APP_ON              ""
3015 #define ASM_APP_OFF             ""
3016 #define FILE_ASM_OP             "\t.file\n"
3017 #define SET_ASM_OP              "\t.set\t"
3018
3019 /* How to change between sections.  */
3020
3021 #define TEXT_SECTION_ASM_OP             (TARGET_SHMEDIA32 ? "\t.section\t.text..SHmedia32,\"ax\"" : "\t.text")
3022 #define DATA_SECTION_ASM_OP             "\t.data"
3023
3024 #if defined CRT_BEGIN || defined CRT_END
3025 /* Arrange for TEXT_SECTION_ASM_OP to be a compile-time constant.  */
3026 # undef TEXT_SECTION_ASM_OP
3027 # if __SHMEDIA__ == 1 && __SH5__ == 32
3028 #  define TEXT_SECTION_ASM_OP "\t.section\t.text..SHmedia32,\"ax\""
3029 # else
3030 #  define TEXT_SECTION_ASM_OP "\t.text"
3031 # endif
3032 #endif
3033
3034
3035 /* If defined, a C expression whose value is a string containing the
3036    assembler operation to identify the following data as
3037    uninitialized global data.  If not defined, and neither
3038    `ASM_OUTPUT_BSS' nor `ASM_OUTPUT_ALIGNED_BSS' are defined,
3039    uninitialized global data will be output in the data section if
3040    `-fno-common' is passed, otherwise `ASM_OUTPUT_COMMON' will be
3041    used.  */
3042 #ifndef BSS_SECTION_ASM_OP
3043 #define BSS_SECTION_ASM_OP      "\t.section\t.bss"
3044 #endif
3045
3046 /* Like `ASM_OUTPUT_BSS' except takes the required alignment as a
3047    separate, explicit argument.  If you define this macro, it is used
3048    in place of `ASM_OUTPUT_BSS', and gives you more flexibility in
3049    handling the required alignment of the variable.  The alignment is
3050    specified as the number of bits.
3051
3052    Try to use function `asm_output_aligned_bss' defined in file
3053    `varasm.c' when defining this macro.  */
3054 #ifndef ASM_OUTPUT_ALIGNED_BSS
3055 #define ASM_OUTPUT_ALIGNED_BSS(FILE, DECL, NAME, SIZE, ALIGN) \
3056   asm_output_aligned_bss (FILE, DECL, NAME, SIZE, ALIGN)
3057 #endif
3058
3059 /* Define this so that jump tables go in same section as the current function,
3060    which could be text or it could be a user defined section.  */
3061 #define JUMP_TABLES_IN_TEXT_SECTION 1
3062
3063 #undef DO_GLOBAL_CTORS_BODY
3064 #define DO_GLOBAL_CTORS_BODY                    \
3065 {                                               \
3066   typedef (*pfunc)();                           \
3067   extern pfunc __ctors[];                       \
3068   extern pfunc __ctors_end[];                   \
3069   pfunc *p;                                     \
3070   for (p = __ctors_end; p > __ctors; )          \
3071     {                                           \
3072       (*--p)();                                 \
3073     }                                           \
3074 }
3075
3076 #undef DO_GLOBAL_DTORS_BODY
3077 #define DO_GLOBAL_DTORS_BODY                    \
3078 {                                               \
3079   typedef (*pfunc)();                           \
3080   extern pfunc __dtors[];                       \
3081   extern pfunc __dtors_end[];                   \
3082   pfunc *p;                                     \
3083   for (p = __dtors; p < __dtors_end; p++)       \
3084     {                                           \
3085       (*p)();                                   \
3086     }                                           \
3087 }
3088
3089 #define ASM_OUTPUT_REG_PUSH(file, v) \
3090   fprintf ((file), "\tmov.l\tr%d,@-r15\n", (v));
3091
3092 #define ASM_OUTPUT_REG_POP(file, v) \
3093   fprintf ((file), "\tmov.l\t@r15+,r%d\n", (v));
3094
3095 /* DBX register number for a given compiler register number.  */
3096 /* GDB has FPUL at 23 and FP0 at 25, so we must add one to all FP registers
3097    to match gdb.  */
3098 /* svr4.h undefines this macro, yet we really want to use the same numbers
3099    for coff as for elf, so we go via another macro: SH_DBX_REGISTER_NUMBER.  */
3100 /* expand_builtin_init_dwarf_reg_sizes uses this to test if a
3101    register exists, so we should return -1 for invalid register numbers.  */
3102 #define DBX_REGISTER_NUMBER(REGNO) SH_DBX_REGISTER_NUMBER (REGNO)
3103
3104 #define SH_DBX_REGISTER_NUMBER(REGNO) \
3105   (GENERAL_REGISTER_P (REGNO) \
3106    ? ((unsigned) (REGNO) - FIRST_GENERAL_REG) \
3107    : FP_REGISTER_P (REGNO) \
3108    ? ((unsigned) (REGNO) - FIRST_FP_REG \
3109       + (TARGET_SH5 ? (TARGET_SHCOMPACT ? 245 : 77) : 25)) \
3110    : XD_REGISTER_P (REGNO) \
3111    ? ((unsigned) (REGNO) - FIRST_XD_REG + (TARGET_SH5 ? 289 : 87)) \
3112    : TARGET_REGISTER_P (REGNO) \
3113    ? ((unsigned) (REGNO) - FIRST_TARGET_REG + 68) \
3114    : (REGNO) == PR_REG \
3115    ? (TARGET_SH5 ? 241 : 17) \
3116    : (REGNO) == PR_MEDIA_REG \
3117    ? (TARGET_SH5 ? 18 : (unsigned) -1) \
3118    : (REGNO) == T_REG \
3119    ? (TARGET_SH5 ? 242 : 18) \
3120    : (REGNO) == GBR_REG \
3121    ? (TARGET_SH5 ? 238 : 19) \
3122    : (REGNO) == MACH_REG \
3123    ? (TARGET_SH5 ? 239 : 20) \
3124    : (REGNO) == MACL_REG \
3125    ? (TARGET_SH5 ? 240 : 21) \
3126    : (REGNO) == FPUL_REG \
3127    ? (TARGET_SH5 ? 244 : 23) \
3128    : (unsigned) -1)
3129
3130 /* This is how to output a reference to a symbol_ref.  On SH5,
3131    references to non-code symbols must be preceded by `datalabel'.  */
3132 #define ASM_OUTPUT_SYMBOL_REF(FILE,SYM)                 \
3133   do                                                    \
3134     {                                                   \
3135       if (TARGET_SH5 && !SYMBOL_REF_FUNCTION_P (SYM))   \
3136         fputs ("datalabel ", (FILE));                   \
3137       assemble_name ((FILE), XSTR ((SYM), 0));          \
3138     }                                                   \
3139   while (0)
3140
3141 /* This is how to output an assembler line
3142    that says to advance the location counter
3143    to a multiple of 2**LOG bytes.  */
3144
3145 #define ASM_OUTPUT_ALIGN(FILE,LOG)      \
3146   if ((LOG) != 0)                       \
3147     fprintf ((FILE), "\t.align %d\n", (LOG))
3148
3149 /* Globalizing directive for a label.  */
3150 #define GLOBAL_ASM_OP "\t.global\t"
3151
3152 /* #define ASM_OUTPUT_CASE_END(STREAM,NUM,TABLE)            */
3153
3154 /* Output a relative address table.  */
3155
3156 #define ASM_OUTPUT_ADDR_DIFF_ELT(STREAM,BODY,VALUE,REL)                 \
3157   switch (GET_MODE (BODY))                                              \
3158     {                                                                   \
3159     case SImode:                                                        \
3160       if (TARGET_SH5)                                                   \
3161         {                                                               \
3162           asm_fprintf ((STREAM), "\t.long\t%LL%d-datalabel %LL%d\n",    \
3163                        (VALUE), (REL));                                 \
3164           break;                                                        \
3165         }                                                               \
3166       asm_fprintf ((STREAM), "\t.long\t%LL%d-%LL%d\n", (VALUE),(REL));  \
3167       break;                                                            \
3168     case HImode:                                                        \
3169       if (TARGET_SH5)                                                   \
3170         {                                                               \
3171           asm_fprintf ((STREAM), "\t.word\t%LL%d-datalabel %LL%d\n",    \
3172                        (VALUE), (REL));                                 \
3173           break;                                                        \
3174         }                                                               \
3175       asm_fprintf ((STREAM), "\t.word\t%LL%d-%LL%d\n", (VALUE),(REL));  \
3176       break;                                                            \
3177     case QImode:                                                        \
3178       if (TARGET_SH5)                                                   \
3179         {                                                               \
3180           asm_fprintf ((STREAM), "\t.byte\t%LL%d-datalabel %LL%d\n",    \
3181                        (VALUE), (REL));                                 \
3182           break;                                                        \
3183         }                                                               \
3184       asm_fprintf ((STREAM), "\t.byte\t%LL%d-%LL%d\n", (VALUE),(REL));  \
3185       break;                                                            \
3186     default:                                                            \
3187       break;                                                            \
3188     }
3189
3190 /* Output an absolute table element.  */
3191
3192 #define ASM_OUTPUT_ADDR_VEC_ELT(STREAM,VALUE)                           \
3193   if (! optimize || TARGET_BIGTABLE)                                    \
3194     asm_fprintf ((STREAM), "\t.long\t%LL%d\n", (VALUE));                \
3195   else                                                                  \
3196     asm_fprintf ((STREAM), "\t.word\t%LL%d\n", (VALUE));
3197
3198 \f
3199 /* A C statement to be executed just prior to the output of
3200    assembler code for INSN, to modify the extracted operands so
3201    they will be output differently.
3202
3203    Here the argument OPVEC is the vector containing the operands
3204    extracted from INSN, and NOPERANDS is the number of elements of
3205    the vector which contain meaningful data for this insn.
3206    The contents of this vector are what will be used to convert the insn
3207    template into assembler code, so you can change the assembler output
3208    by changing the contents of the vector.  */
3209
3210 #define FINAL_PRESCAN_INSN(INSN, OPVEC, NOPERANDS) \
3211   final_prescan_insn ((INSN), (OPVEC), (NOPERANDS))
3212
3213 /* Print operand X (an rtx) in assembler syntax to file FILE.
3214    CODE is a letter or dot (`z' in `%z0') or 0 if no letter was specified.
3215    For `%' followed by punctuation, CODE is the punctuation and X is null.  */
3216
3217 #define PRINT_OPERAND(STREAM, X, CODE)  print_operand ((STREAM), (X), (CODE))
3218
3219 /* Print a memory address as an operand to reference that memory location.  */
3220
3221 #define PRINT_OPERAND_ADDRESS(STREAM,X)  print_operand_address ((STREAM), (X))
3222
3223 #define PRINT_OPERAND_PUNCT_VALID_P(CHAR) \
3224   ((CHAR) == '.' || (CHAR) == '#' || (CHAR) == '@' || (CHAR) == ','     \
3225    || (CHAR) == '$'|| (CHAR) == '\'')
3226
3227 /* Recognize machine-specific patterns that may appear within
3228    constants.  Used for PIC-specific UNSPECs.  */
3229 #define OUTPUT_ADDR_CONST_EXTRA(STREAM, X, FAIL) \
3230   do                                                                    \
3231     if (GET_CODE (X) == UNSPEC && XVECLEN ((X), 0) == 1)        \
3232       {                                                                 \
3233         switch (XINT ((X), 1))                                          \
3234           {                                                             \
3235           case UNSPEC_DATALABEL:                                        \
3236             fputs ("datalabel ", (STREAM));                             \
3237             output_addr_const ((STREAM), XVECEXP ((X), 0, 0));          \
3238             break;                                                      \
3239           case UNSPEC_PIC:                                              \
3240             /* GLOBAL_OFFSET_TABLE or local symbols, no suffix.  */     \
3241             output_addr_const ((STREAM), XVECEXP ((X), 0, 0));          \
3242             break;                                                      \
3243           case UNSPEC_GOT:                                              \
3244             output_addr_const ((STREAM), XVECEXP ((X), 0, 0));          \
3245             fputs ("@GOT", (STREAM));                                   \
3246             break;                                                      \
3247           case UNSPEC_GOTOFF:                                           \
3248             output_addr_const ((STREAM), XVECEXP ((X), 0, 0));          \
3249             fputs ("@GOTOFF", (STREAM));                                \
3250             break;                                                      \
3251           case UNSPEC_PLT:                                              \
3252             output_addr_const ((STREAM), XVECEXP ((X), 0, 0));          \
3253             fputs ("@PLT", (STREAM));                                   \
3254             break;                                                      \
3255           case UNSPEC_GOTPLT:                                           \
3256             output_addr_const ((STREAM), XVECEXP ((X), 0, 0));          \
3257             fputs ("@GOTPLT", (STREAM));                                \
3258             break;                                                      \
3259           case UNSPEC_DTPOFF:                                           \
3260             output_addr_const ((STREAM), XVECEXP ((X), 0, 0));          \
3261             fputs ("@DTPOFF", (STREAM));                                \
3262             break;                                                      \
3263           case UNSPEC_GOTTPOFF:                                         \
3264             output_addr_const ((STREAM), XVECEXP ((X), 0, 0));          \
3265             fputs ("@GOTTPOFF", (STREAM));                              \
3266             break;                                                      \
3267           case UNSPEC_TPOFF:                                            \
3268             output_addr_const ((STREAM), XVECEXP ((X), 0, 0));          \
3269             fputs ("@TPOFF", (STREAM));                                 \
3270             break;                                                      \
3271           case UNSPEC_CALLER:                                           \
3272             {                                                           \
3273               char name[32];                                            \
3274               /* LPCS stands for Label for PIC Call Site.  */           \
3275               ASM_GENERATE_INTERNAL_LABEL                               \
3276                 (name, "LPCS", INTVAL (XVECEXP ((X), 0, 0)));           \
3277               assemble_name ((STREAM), name);                           \
3278             }                                                           \
3279             break;                                                      \
3280           default:                                                      \
3281             goto FAIL;                                                  \
3282           }                                                             \
3283         break;                                                          \
3284       }                                                                 \
3285     else                                                                \
3286       goto FAIL;                                                        \
3287   while (0)
3288
3289 \f
3290 extern struct rtx_def *sh_compare_op0;
3291 extern struct rtx_def *sh_compare_op1;
3292
3293 /* Which processor to schedule for.  The elements of the enumeration must
3294    match exactly the cpu attribute in the sh.md file.  */
3295
3296 enum processor_type {
3297   PROCESSOR_SH1,
3298   PROCESSOR_SH2,
3299   PROCESSOR_SH2E,
3300   PROCESSOR_SH3,
3301   PROCESSOR_SH3E,
3302   PROCESSOR_SH4,
3303   PROCESSOR_SH5
3304 };
3305
3306 #define sh_cpu_attr ((enum attr_cpu)sh_cpu)
3307 extern enum processor_type sh_cpu;
3308
3309 extern int optimize; /* needed for gen_casesi.  */
3310
3311 enum mdep_reorg_phase_e
3312 {
3313   SH_BEFORE_MDEP_REORG,
3314   SH_INSERT_USES_LABELS,
3315   SH_SHORTEN_BRANCHES0,
3316   SH_FIXUP_PCLOAD,
3317   SH_SHORTEN_BRANCHES1,
3318   SH_AFTER_MDEP_REORG
3319 };
3320
3321 extern enum mdep_reorg_phase_e mdep_reorg_phase;
3322
3323 /* Generate calls to memcpy, memcmp and memset.  */
3324
3325 #define TARGET_MEM_FUNCTIONS
3326
3327 /* Handle Renesas compiler's pragmas.  */
3328 #define REGISTER_TARGET_PRAGMAS() do {                                  \
3329   c_register_pragma (0, "interrupt", sh_pr_interrupt);                  \
3330   c_register_pragma (0, "trapa", sh_pr_trapa);                          \
3331   c_register_pragma (0, "nosave_low_regs", sh_pr_nosave_low_regs);      \
3332 } while (0)
3333
3334 /* Set when processing a function with pragma interrupt turned on.  */
3335
3336 extern int pragma_interrupt;
3337
3338 /* Set when processing a function with interrupt attribute.  */
3339
3340 extern int current_function_interrupt;
3341
3342 /* Set to an RTX containing the address of the stack to switch to
3343    for interrupt functions.  */
3344 extern struct rtx_def *sp_switch;
3345
3346 extern int rtx_equal_function_value_matters;
3347
3348 \f
3349 /* Instructions with unfilled delay slots take up an
3350    extra two bytes for the nop in the delay slot.
3351    sh-dsp parallel processing insns are four bytes long.  */
3352
3353 #define ADJUST_INSN_LENGTH(X, LENGTH)                           \
3354   (LENGTH) += sh_insn_length_adjustment (X);
3355 \f
3356 /* Define the codes that are matched by predicates in sh.c.  */
3357 #define PREDICATE_CODES \
3358   {"and_operand", {SUBREG, REG, CONST_INT}},                            \
3359   {"any_register_operand", {SUBREG, REG}},                              \
3360   {"arith_operand", {SUBREG, REG, CONST_INT}},                          \
3361   {"arith_reg_dest", {SUBREG, REG}},                                    \
3362   {"arith_reg_operand", {SUBREG, REG}},                                 \
3363   {"arith_reg_or_0_operand", {SUBREG, REG, CONST_INT, CONST_VECTOR}},   \
3364   {"binary_float_operator", {PLUS, MINUS, MULT, DIV}},                  \
3365   {"binary_logical_operator", {AND, IOR, XOR}},                         \
3366   {"commutative_float_operator", {PLUS, MULT}},                         \
3367   {"equality_comparison_operator", {EQ,NE}},                            \
3368   {"extend_reg_operand", {SUBREG, REG, TRUNCATE}},                      \
3369   {"extend_reg_or_0_operand", {SUBREG, REG, TRUNCATE, CONST_INT}},      \
3370   {"fp_arith_reg_operand", {SUBREG, REG}},                              \
3371   {"fpscr_operand", {REG}},                                             \
3372   {"fpul_operand", {REG}},                                              \
3373   {"general_extend_operand", {SUBREG, REG, MEM, TRUNCATE}},             \
3374   {"general_movsrc_operand", {SUBREG, REG, CONST_INT, CONST_DOUBLE, MEM}}, \
3375   {"general_movdst_operand", {SUBREG, REG, MEM}},                       \
3376   {"greater_comparison_operator", {GT,GE,GTU,GEU}},                     \
3377   {"int_gpr_dest", {SUBREG, REG}},                                      \
3378   {"inqhi_operand", {TRUNCATE}},                                        \
3379   {"less_comparison_operator", {LT,LE,LTU,LEU}},                        \
3380   {"logical_operand", {SUBREG, REG, CONST_INT}},                        \
3381   {"mextr_bit_offset", {CONST_INT}},                                    \
3382   {"noncommutative_float_operator", {MINUS, DIV}},                      \
3383   {"shmedia_6bit_operand", {SUBREG, REG, CONST_INT}},                   \
3384   {"sh_register_operand", {REG, SUBREG, CONST_INT}},                    \
3385   {"target_reg_operand", {SUBREG, REG}},                                \
3386   {"target_operand", {SUBREG, REG, LABEL_REF, SYMBOL_REF, CONST, UNSPEC}},\
3387   {"trunc_hi_operand", {SUBREG, REG, TRUNCATE}},                        \
3388   {"register_operand", {SUBREG, REG}},                                  \
3389   {"sh_const_vec", {CONST_VECTOR}},                                     \
3390   {"sh_1el_vec", {CONST_VECTOR, PARALLEL}},                             \
3391   {"sh_rep_vec", {CONST_VECTOR, PARALLEL}},                             \
3392   {"symbol_ref_operand", {SYMBOL_REF}},                                 \
3393   {"unary_float_operator", {ABS, NEG, SQRT}},                           \
3394
3395 #define SPECIAL_MODE_PREDICATES \
3396   "any_register_operand", \
3397   "int_gpr_dest", \
3398   "trunc_hi_operand", \
3399   /* This line intentionally left blank.  */
3400
3401 #define any_register_operand register_operand
3402
3403 /* Define this macro if it is advisable to hold scalars in registers
3404    in a wider mode than that declared by the program.  In such cases, 
3405    the value is constrained to be within the bounds of the declared
3406    type, but kept valid in the wider mode.  The signedness of the
3407    extension may differ from that of the type.
3408
3409    Leaving the unsignedp unchanged gives better code than always setting it
3410    to 0.  This is despite the fact that we have only signed char and short
3411    load instructions.  */
3412 #define PROMOTE_MODE(MODE, UNSIGNEDP, TYPE) \
3413   if (GET_MODE_CLASS (MODE) == MODE_INT                 \
3414       && GET_MODE_SIZE (MODE) < UNITS_PER_WORD)         \
3415     (UNSIGNEDP) = ((MODE) == SImode ? 0 : (UNSIGNEDP)), \
3416     (MODE) = (TARGET_SH1 ? SImode : DImode);
3417
3418 /* Defining PROMOTE_FUNCTION_ARGS eliminates some unnecessary zero/sign
3419    extensions applied to char/short functions arguments.  Defining
3420    PROMOTE_FUNCTION_RETURN does the same for function returns.  */
3421
3422 #define PROMOTE_FUNCTION_ARGS
3423 #define PROMOTE_FUNCTION_RETURN
3424
3425 #define MAX_FIXED_MODE_SIZE (TARGET_SH5 ? 128 : 64)
3426
3427 /* ??? Define ACCUMULATE_OUTGOING_ARGS?  This is more efficient than pushing
3428    and poping arguments.  However, we do have push/pop instructions, and
3429    rather limited offsets (4 bits) in load/store instructions, so it isn't
3430    clear if this would give better code.  If implemented, should check for
3431    compatibility problems.  */
3432
3433 #define SH_DYNAMIC_SHIFT_COST \
3434   (TARGET_HARD_SH4 ? 1 : TARGET_SH3 ? (TARGET_SMALLCODE ? 1 : 2) : 20)
3435
3436
3437 #define NUM_MODES_FOR_MODE_SWITCHING { FP_MODE_NONE }
3438
3439 #define OPTIMIZE_MODE_SWITCHING(ENTITY) TARGET_SH4
3440
3441 #define ACTUAL_NORMAL_MODE(ENTITY) \
3442   (TARGET_FPU_SINGLE ? FP_MODE_SINGLE : FP_MODE_DOUBLE)
3443
3444 #define NORMAL_MODE(ENTITY) \
3445   (sh_cfun_interrupt_handler_p () \
3446    ? (TARGET_FMOVD ? FP_MODE_DOUBLE : FP_MODE_NONE) \
3447    : ACTUAL_NORMAL_MODE (ENTITY))
3448
3449 #define EPILOGUE_USES(REGNO)       ((TARGET_SH2E || TARGET_SH4)         \
3450                                     && (REGNO) == FPSCR_REG)
3451
3452 #define MODE_NEEDED(ENTITY, INSN)                                       \
3453   (recog_memoized (INSN) >= 0                                           \
3454    ? get_attr_fp_mode (INSN)                                            \
3455    : FP_MODE_NONE)
3456
3457 #define MODE_PRIORITY_TO_MODE(ENTITY, N) \
3458   ((TARGET_FPU_SINGLE != 0) ^ (N) ? FP_MODE_SINGLE : FP_MODE_DOUBLE)
3459
3460 #define EMIT_MODE_SET(ENTITY, MODE, HARD_REGS_LIVE) \
3461   fpscr_set_from_mem ((MODE), (HARD_REGS_LIVE))
3462
3463 #define MD_CAN_REDIRECT_BRANCH(INSN, SEQ) \
3464   sh_can_redirect_branch ((INSN), (SEQ))
3465
3466 #define DWARF_FRAME_RETURN_COLUMN \
3467   (TARGET_SH5 ? DWARF_FRAME_REGNUM (PR_MEDIA_REG) : DWARF_FRAME_REGNUM (PR_REG))
3468
3469 #define EH_RETURN_DATA_REGNO(N) \
3470   ((N) < 4 ? (N) + (TARGET_SH5 ? 2U : 4U) : INVALID_REGNUM)
3471
3472 #define EH_RETURN_STACKADJ_REGNO STATIC_CHAIN_REGNUM
3473 #define EH_RETURN_STACKADJ_RTX  gen_rtx_REG (Pmode, EH_RETURN_STACKADJ_REGNO)
3474
3475 #if (defined CRT_BEGIN || defined CRT_END) && ! __SHMEDIA__
3476 /* SH constant pool breaks the devices in crtstuff.c to control section
3477    in where code resides.  We have to write it as asm code.  */
3478 #define CRT_CALL_STATIC_FUNCTION(SECTION_OP, FUNC) \
3479    asm (SECTION_OP "\n\
3480         mov.l   1f,r1\n\
3481         mova    2f,r0\n\
3482         braf    r1\n\
3483         lds     r0,pr\n\
3484 0:      .p2align 2\n\
3485 1:      .long   " USER_LABEL_PREFIX #FUNC " - 0b\n\
3486 2:\n" TEXT_SECTION_ASM_OP);
3487 #endif /* (defined CRT_BEGIN || defined CRT_END) && ! __SHMEDIA__ */
3488
3489 #define ALLOCATE_INITIAL_VALUE(hard_reg) \
3490   (REGNO (hard_reg) == (TARGET_SH5 ? PR_MEDIA_REG : PR_REG) \
3491    ? (current_function_is_leaf && ! sh_pr_n_sets () \
3492       ? (hard_reg) \
3493       : gen_rtx_MEM (Pmode, TARGET_SH5 \
3494                             ? (plus_constant (arg_pointer_rtx, \
3495                                               TARGET_SHMEDIA64 ? -8 : -4)) \
3496                             : frame_pointer_rtx)) \
3497    : NULL_RTX)
3498
3499 #endif /* ! GCC_SH_H */