OSDN Git Service

4cd5075832c8c7376eea8421bbf2a63b9e6d7048
[pf3gnuchains/gcc-fork.git] / gcc / config / m88k / m88k.h
1 /* Definitions of target machine for GNU compiler for
2    Motorola m88100 in an 88open OCS/BCS environment.
3    Copyright (C) 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
4    2001, 2002 Free Software Foundation, Inc.
5    Contributed by Michael Tiemann (tiemann@cygnus.com).
6    Currently maintained by (gcc@dg-rtp.dg.com)
7
8 This file is part of GNU CC.
9
10 GNU CC is free software; you can redistribute it and/or modify
11 it under the terms of the GNU General Public License as published by
12 the Free Software Foundation; either version 2, or (at your option)
13 any later version.
14
15 GNU CC is distributed in the hope that it will be useful,
16 but WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
18 GNU General Public License for more details.
19
20 You should have received a copy of the GNU General Public License
21 along with GNU CC; see the file COPYING.  If not, write to
22 the Free Software Foundation, 59 Temple Place - Suite 330,
23 Boston, MA 02111-1307, USA.  */
24
25 /* The m88100 port of GNU CC adheres to the various standards from 88open.
26    These documents are available by writing:
27
28         88open Consortium Ltd.
29         100 Homeland Court, Suite 800
30         San Jose, CA  95112
31         (408) 436-6600
32
33    In brief, the current standards are:
34
35    Binary Compatibility Standard, Release 1.1A, May 1991
36         This provides for portability of application-level software at the
37         executable level for AT&T System V Release 3.2.
38
39    Object Compatibility Standard, Release 1.1A, May 1991
40         This provides for portability of application-level software at the
41         object file and library level for C, Fortran, and Cobol, and again,
42         largely for SVR3.
43
44    Under development are standards for AT&T System V Release 4, based on the
45    [generic] System V Application Binary Interface from AT&T.  These include:
46
47    System V Application Binary Interface, Motorola 88000 Processor Supplement
48         Another document from AT&T for SVR4 specific to the m88100.
49         Available from Prentice Hall.
50
51    System V Application Binary Interface, Motorola 88000 Processor Supplement,
52    Release 1.1, Draft H, May 6, 1991
53         A proposed update to the AT&T document from 88open.
54
55    System V ABI Implementation Guide for the M88000 Processor,
56    Release 1.0, January 1991
57         A companion ABI document from 88open.  */
58
59 /* Other *.h files in config/m88k include this one and override certain items.
60    Currently these are sysv3.h, sysv4.h, dgux.h, dolph.h, tekXD88.h, and luna.h.
61    Additionally, sysv4.h and dgux.h include svr4.h first.  All other
62    m88k targets except luna.h are based on svr3.h.  */
63
64 /* Choose SVR3 as the default.  */
65 #if !defined(DBX_DEBUGGING_INFO) && !defined(DWARF_DEBUGGING_INFO)
66 #include "svr3.h"
67 #endif
68 \f
69 /* External types used.  */
70
71 /* What instructions are needed to manufacture an integer constant.  */
72 enum m88k_instruction {
73   m88k_zero,
74   m88k_or,
75   m88k_subu,
76   m88k_or_lo16,
77   m88k_or_lo8,
78   m88k_set,
79   m88k_oru_hi16,
80   m88k_oru_or
81 };
82
83 /* Which processor to schedule for.  The elements of the enumeration
84    must match exactly the cpu attribute in the m88k.md machine description. */
85
86 enum processor_type {
87   PROCESSOR_M88100,
88   PROCESSOR_M88110,
89   PROCESSOR_M88000
90 };
91
92 /* Recast the cpu class to be the cpu attribute.  */
93 #define m88k_cpu_attr ((enum attr_cpu)m88k_cpu)
94
95 /* External variables/functions defined in m88k.c.  */
96
97 extern const char *m88k_pound_sign;
98 extern const char *m88k_short_data;
99 extern const char *m88k_version;
100 extern char m88k_volatile_code;
101
102 extern unsigned m88k_gp_threshold;
103 extern int m88k_prologue_done;
104 extern int m88k_function_number;
105 extern int m88k_fp_offset;
106 extern int m88k_stack_size;
107 extern int m88k_case_index;
108
109 extern struct rtx_def *m88k_compare_reg;
110 extern struct rtx_def *m88k_compare_op0;
111 extern struct rtx_def *m88k_compare_op1;
112
113 extern enum processor_type m88k_cpu;
114
115 /* external variables defined elsewhere in the compiler */
116
117 extern int target_flags;                        /* -m compiler switches */
118 extern int frame_pointer_needed;                /* current function has a FP */
119 extern int flag_delayed_branch;                 /* -fdelayed-branch */
120 extern int flag_pic;                            /* -fpic */
121
122 /* Specify the default monitors.  The meaning of these values can
123    be obtained by doing "grep MONITOR_GCC *m88k*".  Generally, the
124    values downward from 0x8000 are tests that will soon go away.
125    values upward from 0x1 are generally useful tests that will remain.  */
126
127 #ifndef MONITOR_GCC
128 #define MONITOR_GCC 0
129 #endif
130 \f
131 /*** Controlling the Compilation Driver, `gcc' ***/
132 /* Show we can debug even without a frame pointer.  */
133 #define CAN_DEBUG_WITHOUT_FP
134
135 /* If -m88100 is in effect, add -D__m88100__; similarly for -m88110.
136    Here, the CPU_DEFAULT is assumed to be -m88100.  */
137 #undef  CPP_SPEC
138 #define CPP_SPEC "%{!m88000:%{!m88100:%{m88110:-D__m88110__}}} \
139                   %{!m88000:%{!m88110:-D__m88100__}}"
140
141 /* LIB_SPEC, LINK_SPEC, and STARTFILE_SPEC defined in svr3.h.
142    ASM_SPEC, ASM_FINAL_SPEC, LIB_SPEC, LINK_SPEC, and STARTFILE_SPEC redefined
143    in svr4.h.
144    CPP_SPEC, ASM_SPEC, ASM_FINAL_SPEC, LIB_SPEC, LINK_SPEC, and
145    STARTFILE_SPEC redefined in dgux.h.  */
146 \f
147 /*** Run-time Target Specification ***/
148
149 /* Names to predefine in the preprocessor for this target machine.
150    Redefined in sysv3.h, sysv4.h, dgux.h, and luna.h.  */
151 #define CPP_PREDEFINES "-Dm88000 -Dm88k -Dunix -D__CLASSIFY_TYPE__=2"
152
153 #define TARGET_VERSION fprintf (stderr, " (%s)", VERSION_INFO1)
154
155 #ifndef VERSION_INFO1
156 #define VERSION_INFO1   "m88k"
157 #endif
158
159 /* Run-time compilation parameters selecting different hardware subsets.  */
160
161 /* Macro to define tables used to set the flags.
162    This is a list in braces of pairs in braces,
163    each pair being { "NAME", VALUE }
164    where VALUE is the bits to set or minus the bits to clear.
165    An empty string NAME is used to identify the default VALUE.  */
166
167 #define MASK_88100              0x00000001 /* Target m88100 */
168 #define MASK_88110              0x00000002 /* Target m88110 */
169 #define MASK_88000              (MASK_88100 | MASK_88110)
170
171 #define MASK_OCS_DEBUG_INFO     0x00000004 /* Emit .tdesc info */
172 #define MASK_OCS_FRAME_POSITION 0x00000008 /* Debug frame = CFA, not r30 */
173 #define MASK_SVR4               0x00000010 /* Target is AT&T System V.4 */
174 #define MASK_SVR3               0x00000020 /* Target is AT&T System V.3 */
175 #define MASK_NO_UNDERSCORES     0x00000040 /* Don't emit a leading `_' */
176 #define MASK_BIG_PIC            0x00000080 /* PIC with large got-rel's -fPIC */
177 #define MASK_TRAP_LARGE_SHIFT   0x00000100 /* Trap if shift not <= 31 */
178 #define MASK_HANDLE_LARGE_SHIFT 0x00000200 /* Handle shift count >= 32 */
179 #define MASK_CHECK_ZERO_DIV     0x00000400 /* Check for int div. by 0 */
180 #define MASK_USE_DIV            0x00000800 /* No signed div. checks */
181 #define MASK_IDENTIFY_REVISION  0x00001000 /* Emit ident, with GCC rev */
182 #define MASK_WARN_PASS_STRUCT   0x00002000 /* Warn about passed structs */
183 #define MASK_OPTIMIZE_ARG_AREA  0x00004000 /* Save stack space */
184 #define MASK_NO_SERIALIZE_VOLATILE 0x00008000 /* Serialize volatile refs */
185 #define MASK_EITHER_LARGE_SHIFT (MASK_TRAP_LARGE_SHIFT | \
186                                  MASK_HANDLE_LARGE_SHIFT)
187 #define MASK_OMIT_LEAF_FRAME_POINTER 0x00020000 /* omit leaf frame pointers */
188
189
190 #define TARGET_88100             ((target_flags & MASK_88000) == MASK_88100)
191 #define TARGET_88110             ((target_flags & MASK_88000) == MASK_88110)
192 #define TARGET_88000             ((target_flags & MASK_88000) == MASK_88000)
193
194 #define TARGET_OCS_DEBUG_INFO     (target_flags & MASK_OCS_DEBUG_INFO)
195 #define TARGET_OCS_FRAME_POSITION (target_flags & MASK_OCS_FRAME_POSITION)
196 #define TARGET_SVR4               (target_flags & MASK_SVR4)
197 #define TARGET_SVR3               (target_flags & MASK_SVR3)
198 #define TARGET_NO_UNDERSCORES     (target_flags & MASK_NO_UNDERSCORES)
199 #define TARGET_BIG_PIC            (target_flags & MASK_BIG_PIC)
200 #define TARGET_TRAP_LARGE_SHIFT   (target_flags & MASK_TRAP_LARGE_SHIFT)
201 #define TARGET_HANDLE_LARGE_SHIFT (target_flags & MASK_HANDLE_LARGE_SHIFT)
202 #define TARGET_CHECK_ZERO_DIV     (target_flags & MASK_CHECK_ZERO_DIV)
203 #define TARGET_USE_DIV            (target_flags & MASK_USE_DIV)
204 #define TARGET_IDENTIFY_REVISION  (target_flags & MASK_IDENTIFY_REVISION)
205 #define TARGET_WARN_PASS_STRUCT   (target_flags & MASK_WARN_PASS_STRUCT)
206 #define TARGET_OPTIMIZE_ARG_AREA  (target_flags & MASK_OPTIMIZE_ARG_AREA)
207 #define TARGET_SERIALIZE_VOLATILE (!(target_flags & MASK_NO_SERIALIZE_VOLATILE))
208
209 #define TARGET_EITHER_LARGE_SHIFT (target_flags & MASK_EITHER_LARGE_SHIFT)
210 #define TARGET_OMIT_LEAF_FRAME_POINTER (target_flags & MASK_OMIT_LEAF_FRAME_POINTER)
211
212 /*  Redefined in sysv3.h, sysv4.h, and dgux.h.  */
213 #define TARGET_DEFAULT  (MASK_CHECK_ZERO_DIV)
214 #define CPU_DEFAULT MASK_88100
215
216 #define TARGET_SWITCHES \
217   { \
218     { "88110",                           MASK_88110 }, \
219     { "88100",                           MASK_88100 }, \
220     { "88000",                           MASK_88000 }, \
221     { "ocs-debug-info",                  MASK_OCS_DEBUG_INFO }, \
222     { "no-ocs-debug-info",              -MASK_OCS_DEBUG_INFO }, \
223     { "ocs-frame-position",              MASK_OCS_FRAME_POSITION }, \
224     { "no-ocs-frame-position",          -MASK_OCS_FRAME_POSITION }, \
225     { "svr4",                            MASK_SVR4 }, \
226     { "svr3",                           -MASK_SVR4 }, \
227     { "no-underscores",                  MASK_NO_UNDERSCORES }, \
228     { "big-pic",                         MASK_BIG_PIC }, \
229     { "trap-large-shift",                MASK_TRAP_LARGE_SHIFT }, \
230     { "handle-large-shift",              MASK_HANDLE_LARGE_SHIFT }, \
231     { "check-zero-division",             MASK_CHECK_ZERO_DIV }, \
232     { "no-check-zero-division",         -MASK_CHECK_ZERO_DIV }, \
233     { "use-div-instruction",             MASK_USE_DIV }, \
234     { "identify-revision",               MASK_IDENTIFY_REVISION }, \
235     { "warn-passed-structs",             MASK_WARN_PASS_STRUCT }, \
236     { "optimize-arg-area",               MASK_OPTIMIZE_ARG_AREA }, \
237     { "no-optimize-arg-area",           -MASK_OPTIMIZE_ARG_AREA }, \
238     { "no-serialize-volatile",           MASK_NO_SERIALIZE_VOLATILE }, \
239     { "serialize-volatile",             -MASK_NO_SERIALIZE_VOLATILE }, \
240     { "omit-leaf-frame-pointer",         MASK_OMIT_LEAF_FRAME_POINTER }, \
241     { "no-omit-leaf-frame-pointer",     -MASK_OMIT_LEAF_FRAME_POINTER }, \
242     SUBTARGET_SWITCHES \
243     /* Default switches */ \
244     { "",                                TARGET_DEFAULT }, \
245   }
246
247 /* Redefined in dgux.h.  */
248 #define SUBTARGET_SWITCHES
249
250 /* Macro to define table for command options with values.  */
251
252 #define TARGET_OPTIONS { { "short-data-", &m88k_short_data }, \
253                          { "version-", &m88k_version } }
254
255 /* Do any checking or such that is needed after processing the -m switches.  */
256
257 #define OVERRIDE_OPTIONS                                                     \
258   do {                                                                       \
259     register int i;                                                          \
260                                                                              \
261     if ((target_flags & MASK_88000) == 0)                                    \
262       target_flags |= CPU_DEFAULT;                                           \
263                                                                              \
264     if (TARGET_88110)                                                        \
265       {                                                                      \
266         target_flags |= MASK_USE_DIV;                                        \
267         target_flags &= ~MASK_CHECK_ZERO_DIV;                                \
268       }                                                                      \
269                                                                              \
270     m88k_cpu = (TARGET_88000 ? PROCESSOR_M88000                              \
271                 : (TARGET_88100 ? PROCESSOR_M88100 : PROCESSOR_M88110));                     \
272                                                                              \
273     if (TARGET_BIG_PIC)                                                      \
274       flag_pic = 2;                                                          \
275                                                                              \
276     if ((target_flags & MASK_EITHER_LARGE_SHIFT) == MASK_EITHER_LARGE_SHIFT) \
277       error ("-mtrap-large-shift and -mhandle-large-shift are incompatible");\
278                                                                              \
279     if (TARGET_SVR4)                                                         \
280       {                                                                      \
281         for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)                          \
282           reg_names[i]--;                                                    \
283         m88k_pound_sign = "#";                                               \
284       }                                                                      \
285     else                                                                     \
286       {                                                                      \
287         target_flags |= MASK_SVR3;                                           \
288         target_flags &= ~MASK_SVR4;                                          \
289       }                                                                      \
290                                                                              \
291     if (m88k_short_data)                                                     \
292       {                                                                      \
293         const char *p = m88k_short_data;                                     \
294         while (*p)                                                           \
295           if (ISDIGIT (*p))                                                  \
296             p++;                                                             \
297           else                                                               \
298             {                                                                \
299               error ("invalid option `-mshort-data-%s'", m88k_short_data);   \
300               break;                                                         \
301             }                                                                \
302         m88k_gp_threshold = atoi (m88k_short_data);                          \
303         if (m88k_gp_threshold > 0x7fffffff)                                  \
304           error ("-mshort-data-%s is too large ", m88k_short_data);          \
305         if (flag_pic)                                                        \
306           error ("-mshort-data-%s and PIC are incompatible", m88k_short_data); \
307       }                                                                      \
308     if (TARGET_OMIT_LEAF_FRAME_POINTER)       /* keep nonleaf frame pointers */    \
309       flag_omit_frame_pointer = 1;                                         \
310   } while (0)
311 \f
312 /*** Storage Layout ***/
313
314 /* Sizes in bits of the various types.  */
315 #define SHORT_TYPE_SIZE         16
316 #define INT_TYPE_SIZE           32
317 #define LONG_TYPE_SIZE          32
318 #define LONG_LONG_TYPE_SIZE     64
319 #define FLOAT_TYPE_SIZE         32
320 #define DOUBLE_TYPE_SIZE        64
321 #define LONG_DOUBLE_TYPE_SIZE   64
322
323 /* Define this if most significant bit is lowest numbered
324    in instructions that operate on numbered bit-fields.
325    Somewhat arbitrary.  It matches the bit field patterns.  */
326 #define BITS_BIG_ENDIAN 1
327
328 /* Define this if most significant byte of a word is the lowest numbered.
329    That is true on the m88000.  */
330 #define BYTES_BIG_ENDIAN 1
331
332 /* Define this if most significant word of a multiword number is the lowest
333    numbered.
334    For the m88000 we can decide arbitrarily since there are no machine
335    instructions for them.  */
336 #define WORDS_BIG_ENDIAN 1
337
338 /* Width of a word, in units (bytes).  */
339 #define UNITS_PER_WORD 4
340
341 /* Allocation boundary (in *bits*) for storing arguments in argument list.  */
342 #define PARM_BOUNDARY 32
343
344 /* Largest alignment for stack parameters (if greater than PARM_BOUNDARY).  */
345 #define MAX_PARM_BOUNDARY 64
346
347 /* Boundary (in *bits*) on which stack pointer should be aligned.  */
348 #define STACK_BOUNDARY 128
349
350 /* Allocation boundary (in *bits*) for the code of a function.  On the
351    m88100, it is desirable to align to a cache line.  However, SVR3 targets
352    only provided 8 byte alignment.  The m88110 cache is small, so align
353    to an 8 byte boundary.  Pack code tightly when compiling crtstuff.c.  */
354 #define FUNCTION_BOUNDARY (flag_inhibit_size_directive ? 32 : \
355                            (TARGET_88100 && TARGET_SVR4 ? 128 : 64))
356
357 /* No data type wants to be aligned rounder than this.  */
358 #define BIGGEST_ALIGNMENT 64
359
360 /* The best alignment to use in cases where we have a choice.  */
361 #define FASTEST_ALIGNMENT (TARGET_88100 ? 32 : 64)
362
363 /* Make strings 4/8 byte aligned so strcpy from constants will be faster.  */
364 #define CONSTANT_ALIGNMENT(EXP, ALIGN)  \
365   ((TREE_CODE (EXP) == STRING_CST       \
366     && (ALIGN) < FASTEST_ALIGNMENT)     \
367    ? FASTEST_ALIGNMENT : (ALIGN))
368
369 /* Make arrays of chars 4/8 byte aligned for the same reasons.  */
370 #define DATA_ALIGNMENT(TYPE, ALIGN)             \
371   (TREE_CODE (TYPE) == ARRAY_TYPE               \
372    && TYPE_MODE (TREE_TYPE (TYPE)) == QImode    \
373    && (ALIGN) < FASTEST_ALIGNMENT ? FASTEST_ALIGNMENT : (ALIGN))
374
375 /* Alignment of field after `int : 0' in a structure.
376    Ignored with PCC_BITFIELD_TYPE_MATTERS.  */
377 /* #define EMPTY_FIELD_BOUNDARY 8 */
378
379 /* Every structure's size must be a multiple of this.  */
380 #define STRUCTURE_SIZE_BOUNDARY 8
381
382 /* Set this nonzero if move instructions will actually fail to work
383    when given unaligned data.  */
384 #define STRICT_ALIGNMENT 1
385
386 /* A bitfield declared as `int' forces `int' alignment for the struct.  */
387 #define PCC_BITFIELD_TYPE_MATTERS 1
388
389 /* Maximum size (in bits) to use for the largest integral type that
390    replaces a BLKmode type. */
391 /* #define MAX_FIXED_MODE_SIZE 0 */
392 \f
393 /*** Register Usage ***/
394
395 /* Number of actual hardware registers.
396    The hardware registers are assigned numbers for the compiler
397    from 0 to just below FIRST_PSEUDO_REGISTER.
398    All registers that the compiler knows about must be given numbers,
399    even those that are not normally considered general registers.
400
401    The m88100 has a General Register File (GRF) of 32 32-bit registers.
402    The m88110 adds an Extended Register File (XRF) of 32 80-bit registers.  */
403 #define FIRST_PSEUDO_REGISTER 64
404 #define FIRST_EXTENDED_REGISTER 32
405
406 /*  General notes on extended registers, their use and misuse.
407
408     Possible good uses:
409
410     spill area instead of memory.
411       -waste if only used once
412
413     floating point calculations
414       -probably a waste unless we have run out of general purpose registers
415
416     freeing up general purpose registers
417       -e.g. may be able to have more loop invariants if floating
418        point is moved into extended registers.
419
420
421     I've noticed wasteful moves into and out of extended registers; e.g. a load
422     into x21, then inside a loop a move into r24, then r24 used as input to
423     an fadd.  Why not just load into r24 to begin with?  Maybe the new cse.c
424     will address this.  This wastes a move, but the load,store and move could
425     have been saved had extended registers been used throughout.
426     E.g. in the code following code, if z and xz are placed in extended
427     registers, there is no need to save preserve registers.
428
429         long c=1,d=1,e=1,f=1,g=1,h=1,i=1,j=1,k;
430
431         double z=0,xz=4.5;
432
433         foo(a,b)
434         long a,b;
435         {
436           while (a < b)
437             {
438               k = b + c + d + e + f + g + h + a + i + j++;
439               z += xz;
440               a++;
441             }
442           printf("k= %d; z=%f;\n", k, z);
443         }
444
445     I've found that it is possible to change the constraints (putting * before
446     the 'r' constraints int the fadd.ddd instruction) and get the entire
447     addition and store to go into extended registers.  However, this also
448     forces simple addition and return of floating point arguments to a
449     function into extended registers.  Not the correct solution.
450
451     Found the following note in local-alloc.c which may explain why I can't
452     get both registers to be in extended registers since two are allocated in
453     local-alloc and one in global-alloc.  Doesn't explain (I don't believe)
454     why an extended register is used instead of just using the preserve
455     register.
456
457         from local-alloc.c:
458         We have provision to exempt registers, even when they are contained
459         within the block, that can be tied to others that are not contained in it.
460         This is so that global_alloc could process them both and tie them then.
461         But this is currently disabled since tying in global_alloc is not
462         yet implemented.
463
464     The explanation of why the preserved register is not used is as follows,
465     I believe.  The registers are being allocated in order.  Tying is not
466     done so efficiently, so when it comes time to do the first allocation,
467     there are no registers left to use without spilling except extended
468     registers.  Then when the next pseudo register needs a hard reg, there
469     are still no registers to be had for free, but this one must be a GRF
470     reg instead of an extended reg, so a preserve register is spilled.  Thus
471     the move from extended to GRF is necessitated.  I do not believe this can
472     be 'fixed' through the files in config/m88k.
473
474     gcc seems to sometimes make worse use of register allocation -- not counting
475     moves -- whenever extended registers are present.  For example in the
476     whetstone, the simple for loop (slightly modified)
477       for(i = 1; i <= n1; i++)
478         {
479           x1 = (x1 + x2 + x3 - x4) * t;
480           x2 = (x1 + x2 - x3 + x4) * t;
481           x3 = (x1 - x2 + x3 + x4) * t;
482           x4 = (x1 + x2 + x3 + x4) * t;
483         }
484     in general loads the high bits of the addresses of x2-x4 and i into registers
485     outside the loop.  Whenever extended registers are used, it loads all of
486     these inside the loop. My conjecture is that since the 88110 has so many
487     registers, and gcc makes no distinction at this point -- just that they are
488     not fixed, that in loop.c it believes it can expect a number of registers
489     to be available.  Then it allocates 'too many' in local-alloc which causes
490     problems later.  'Too many' are allocated because a large portion of the
491     registers are extended registers and cannot be used for certain purposes
492     ( e.g. hold the address of a variable).  When this loop is compiled on its
493     own, the problem does not occur.  I don't know the solution yet, though it
494     is probably in the base sources.  Possibly a different way to calculate
495     "threshold".  */
496
497 /* 1 for registers that have pervasive standard uses and are not available
498    for the register allocator.  Registers r14-r25 and x22-x29 are expected
499    to be preserved across function calls.
500
501    On the 88000, the standard uses of the General Register File (GRF) are:
502    Reg 0        = Pseudo argument pointer (hardware fixed to 0).
503    Reg 1        = Subroutine return pointer (hardware).
504    Reg 2-9      = Parameter registers (OCS).
505    Reg 10       = OCS reserved temporary.
506    Reg 11       = Static link if needed [OCS reserved temporary].
507    Reg 12       = Address of structure return (OCS).
508    Reg 13       = OCS reserved temporary.
509    Reg 14-25    = Preserved register set.
510    Reg 26-29    = Reserved by OCS and ABI.
511    Reg 30       = Frame pointer (Common use).
512    Reg 31       = Stack pointer.
513
514    The following follows the current 88open UCS specification for the
515    Extended Register File (XRF):
516    Reg 32       = x0            Always equal to zero
517    Reg 33-53    = x1-x21        Temporary registers (Caller Save)
518    Reg 54-61    = x22-x29       Preserver registers (Callee Save)
519    Reg 62-63    = x30-x31       Reserved for future ABI use.
520
521    Note:  The current 88110 extended register mapping is subject to change.
522           The bias towards caller-save registers is based on the
523           presumption that memory traffic can potentially be reduced by
524           allowing the "caller" to save only that part of the register
525           which is actually being used.  (i.e. don't do a st.x if a st.d
526           is sufficient).  Also, in scientific code (a.k.a. Fortran), the
527           large number of variables defined in common blocks may require
528           that almost all registers be saved across calls anyway.  */
529
530 #define FIXED_REGISTERS \
531  {1, 0, 0, 0,  0, 0, 0, 0,   0, 0, 0, 0,  0, 0, 0, 0, \
532   0, 0, 0, 0,  0, 0, 0, 0,   0, 0, 1, 1,  1, 1, 1, 1, \
533   1, 0, 0, 0,  0, 0, 0, 0,   0, 0, 0, 0,  0, 0, 0, 0, \
534   0, 0, 0, 0,  0, 0, 0, 0,   0, 0, 0, 0,  0, 0, 1, 1}
535
536 /* 1 for registers not available across function calls.
537    These must include the FIXED_REGISTERS and also any
538    registers that can be used without being saved.
539    The latter must include the registers where values are returned
540    and the register where structure-value addresses are passed.
541    Aside from that, you can include as many other registers as you like.  */
542
543 #define CALL_USED_REGISTERS \
544  {1, 1, 1, 1,  1, 1, 1, 1,   1, 1, 1, 1,  1, 1, 0, 0, \
545   0, 0, 0, 0,  0, 0, 0, 0,   0, 0, 1, 1,  1, 1, 1, 1, \
546   1, 1, 1, 1,  1, 1, 1, 1,   1, 1, 1, 1,  1, 1, 1, 1, \
547   1, 1, 1, 1,  1, 1, 0, 0,   0, 0, 0, 0,  0, 0, 1, 1}
548
549 /* Macro to conditionally modify fixed_regs/call_used_regs.  */
550 #define CONDITIONAL_REGISTER_USAGE                      \
551   {                                                     \
552     if (! TARGET_88110)                                 \
553       {                                                 \
554         register int i;                                 \
555           for (i = FIRST_EXTENDED_REGISTER; i < FIRST_PSEUDO_REGISTER; i++) \
556             {                                           \
557               fixed_regs[i] = 1;                        \
558               call_used_regs[i] = 1;                    \
559             }                                           \
560       }                                                 \
561     if (flag_pic)                                       \
562       {                                                 \
563         /* Current hack to deal with -fpic -O2 problems.  */ \
564         fixed_regs[PIC_OFFSET_TABLE_REGNUM] = 1;        \
565         call_used_regs[PIC_OFFSET_TABLE_REGNUM] = 1;    \
566         global_regs[PIC_OFFSET_TABLE_REGNUM] = 1;       \
567       }                                                 \
568   }
569
570 /* True if register is an extended register.  */
571 #define XRF_REGNO_P(N) ((N) < FIRST_PSEUDO_REGISTER && (N) >= FIRST_EXTENDED_REGISTER)
572  
573 /* Return number of consecutive hard regs needed starting at reg REGNO
574    to hold something of mode MODE.
575    This is ordinarily the length in words of a value of mode MODE
576    but can be less for certain modes in special long registers.
577
578    On the m88000, GRF registers hold 32-bits and XRF registers hold 80-bits.
579    An XRF register can hold any mode, but two GRF registers are required
580    for larger modes.  */
581 #define HARD_REGNO_NREGS(REGNO, MODE)                                   \
582   (XRF_REGNO_P (REGNO)                                                 \
583    ? 1 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD))
584
585 /* Value is 1 if hard register REGNO can hold a value of machine-mode MODE.
586
587    For double integers, we never put the value into an odd register so that
588    the operators don't run into the situation where the high part of one of
589    the inputs is the low part of the result register.  (It's ok if the output
590    registers are the same as the input registers.)  The XRF registers can
591    hold all modes, but only DF and SF modes can be manipulated in these
592    registers.  The compiler should be allowed to use these as a fast spill
593    area.  */
594 #define HARD_REGNO_MODE_OK(REGNO, MODE)                                 \
595   (XRF_REGNO_P(REGNO)                                                   \
596     ? (TARGET_88110 && GET_MODE_CLASS (MODE) == MODE_FLOAT)             \
597     : (((MODE) != DImode && (MODE) != DFmode && (MODE) != DCmode)       \
598        || ((REGNO) & 1) == 0))
599
600 /* Value is 1 if it is a good idea to tie two pseudo registers
601    when one has mode MODE1 and one has mode MODE2.
602    If HARD_REGNO_MODE_OK could produce different values for MODE1 and MODE2,
603    for any hard reg, then this must be 0 for correct output.  */
604 #define MODES_TIEABLE_P(MODE1, MODE2) \
605   (((MODE1) == DFmode || (MODE1) == DCmode || (MODE1) == DImode \
606     || (TARGET_88110 && GET_MODE_CLASS (MODE1) == MODE_FLOAT)) \
607    == ((MODE2) == DFmode || (MODE2) == DCmode || (MODE2) == DImode \
608        || (TARGET_88110 && GET_MODE_CLASS (MODE2) == MODE_FLOAT)))
609
610 /* Specify the registers used for certain standard purposes.
611    The values of these macros are register numbers.  */
612
613 /* the m88000 pc isn't overloaded on a register that the compiler knows about.  */
614 /* #define PC_REGNUM  */
615
616 /* Register to use for pushing function arguments.  */
617 #define STACK_POINTER_REGNUM 31
618
619 /* Base register for access to local variables of the function.  */
620 #define FRAME_POINTER_REGNUM 30
621
622 /* Base register for access to arguments of the function.  */
623 #define ARG_POINTER_REGNUM 0
624
625 /* Register used in cases where a temporary is known to be safe to use.  */
626 #define TEMP_REGNUM 10
627
628 /* Register in which static-chain is passed to a function.  */
629 #define STATIC_CHAIN_REGNUM 11
630
631 /* Register in which address to store a structure value
632    is passed to a function.  */
633 #define STRUCT_VALUE_REGNUM 12
634
635 /* Register to hold the addressing base for position independent
636    code access to data items.  */
637 #define PIC_OFFSET_TABLE_REGNUM 25
638
639 /* Order in which registers are preferred (most to least).  Use temp
640    registers, then param registers top down.  Preserve registers are
641    top down to maximize use of double memory ops for register save.
642    The 88open reserved registers (r26-r29 and x30-x31) may commonly be used
643    in most environments with the -fcall-used- or -fcall-saved- options.  */
644 #define REG_ALLOC_ORDER           \
645  {                                \
646   13, 12, 11, 10, 29, 28, 27, 26, \
647   62, 63,  9,  8,  7,  6,  5,  4, \
648    3,  2,  1, 53, 52, 51, 50, 49, \
649   48, 47, 46, 45, 44, 43, 42, 41, \
650   40, 39, 38, 37, 36, 35, 34, 33, \
651   25, 24, 23, 22, 21, 20, 19, 18, \
652   17, 16, 15, 14, 61, 60, 59, 58, \
653   57, 56, 55, 54, 30, 31,  0, 32}
654
655 /* Order for leaf functions.  */
656 #define REG_LEAF_ALLOC_ORDER      \
657  {                                \
658    9,  8,  7,  6, 13, 12, 11, 10, \
659   29, 28, 27, 26, 62, 63,  5,  4, \
660    3,  2,  0, 53, 52, 51, 50, 49, \
661   48, 47, 46, 45, 44, 43, 42, 41, \
662   40, 39, 38, 37, 36, 35, 34, 33, \
663   25, 24, 23, 22, 21, 20, 19, 18, \
664   17, 16, 15, 14, 61, 60, 59, 58, \
665   57, 56, 55, 54, 30, 31,  1, 32}
666
667 /* Switch between the leaf and non-leaf orderings.  The purpose is to avoid
668    write-over scoreboard delays between caller and callee.  */
669 #define ORDER_REGS_FOR_LOCAL_ALLOC                              \
670 {                                                               \
671   static const int leaf[] = REG_LEAF_ALLOC_ORDER;               \
672   static const int nonleaf[] = REG_ALLOC_ORDER;                 \
673                                                                 \
674   memcpy (reg_alloc_order, regs_ever_live[1] ? nonleaf : leaf,  \
675           FIRST_PSEUDO_REGISTER * sizeof (int));                \
676 }
677 \f
678 /*** Register Classes ***/
679
680 /* Define the classes of registers for register constraints in the
681    machine description.  Also define ranges of constants.
682
683    One of the classes must always be named ALL_REGS and include all hard regs.
684    If there is more than one class, another class must be named NO_REGS
685    and contain no registers.
686
687    The name GENERAL_REGS must be the name of a class (or an alias for
688    another name such as ALL_REGS).  This is the class of registers
689    that is allowed by "g" or "r" in a register constraint.
690    Also, registers outside this class are allocated only when
691    instructions express preferences for them.
692
693    The classes must be numbered in nondecreasing order; that is,
694    a larger-numbered class must never be contained completely
695    in a smaller-numbered class.
696
697    For any two classes, it is very desirable that there be another
698    class that represents their union.  */
699
700 /* The m88000 hardware has two kinds of registers.  In addition, we denote
701    the arg pointer as a separate class.  */
702
703 enum reg_class { NO_REGS, AP_REG, XRF_REGS, GENERAL_REGS, AGRF_REGS,
704                  XGRF_REGS, ALL_REGS, LIM_REG_CLASSES };
705
706 #define N_REG_CLASSES (int) LIM_REG_CLASSES
707
708 /* Give names of register classes as strings for dump file.   */
709 #define REG_CLASS_NAMES {"NO_REGS", "AP_REG", "XRF_REGS", "GENERAL_REGS", \
710                          "AGRF_REGS", "XGRF_REGS", "ALL_REGS" }
711
712 /* Define which registers fit in which classes.
713    This is an initializer for a vector of HARD_REG_SET
714    of length N_REG_CLASSES.  */
715 #define REG_CLASS_CONTENTS {{0x00000000, 0x00000000},   \
716                             {0x00000001, 0x00000000},   \
717                             {0x00000000, 0xffffffff},   \
718                             {0xfffffffe, 0x00000000},   \
719                             {0xffffffff, 0x00000000},   \
720                             {0xfffffffe, 0xffffffff},   \
721                             {0xffffffff, 0xffffffff}}
722
723 /* The same information, inverted:
724    Return the class number of the smallest class containing
725    reg number REGNO.  This could be a conditional expression
726    or could index an array.  */
727 #define REGNO_REG_CLASS(REGNO) \
728   ((REGNO) ? ((REGNO < 32) ? GENERAL_REGS : XRF_REGS) : AP_REG)
729
730 /* The class value for index registers, and the one for base regs.  */
731 #define BASE_REG_CLASS AGRF_REGS
732 #define INDEX_REG_CLASS GENERAL_REGS
733
734 /* Get reg_class from a letter such as appears in the machine description.
735    For the 88000, the following class/letter is defined for the XRF:
736         x - Extended register file  */
737 #define REG_CLASS_FROM_LETTER(C)        \
738    (((C) == 'x') ? XRF_REGS : NO_REGS)
739
740 /* Macros to check register numbers against specific register classes.
741    These assume that REGNO is a hard or pseudo reg number.
742    They give nonzero only if REGNO is a hard reg of the suitable class
743    or a pseudo reg currently allocated to a suitable hard reg.
744    Since they use reg_renumber, they are safe only once reg_renumber
745    has been allocated, which happens in local-alloc.c.  */
746 #define REGNO_OK_FOR_BASE_P(REGNO)                              \
747   ((REGNO) < FIRST_EXTENDED_REGISTER                            \
748    || (unsigned) reg_renumber[REGNO] < FIRST_EXTENDED_REGISTER)
749 #define REGNO_OK_FOR_INDEX_P(REGNO)                             \
750   (((REGNO) && (REGNO) < FIRST_EXTENDED_REGISTER)               \
751    || (unsigned) reg_renumber[REGNO] < FIRST_EXTENDED_REGISTER)
752
753 /* Given an rtx X being reloaded into a reg required to be
754    in class CLASS, return the class of reg to actually use.
755    In general this is just CLASS; but on some machines
756    in some cases it is preferable to use a more restrictive class.
757    Double constants should be in a register iff they can be made cheaply.  */
758 #define PREFERRED_RELOAD_CLASS(X,CLASS) \
759    (CONSTANT_P(X) && (CLASS == XRF_REGS) ? NO_REGS : (CLASS))
760
761 /* Return the register class of a scratch register needed to load IN
762    into a register of class CLASS in MODE.  On the m88k, when PIC, we
763    need a temporary when loading some addresses into a register.  */
764 #define SECONDARY_INPUT_RELOAD_CLASS(CLASS, MODE, IN)           \
765   ((flag_pic                                                    \
766     && GET_CODE (IN) == CONST                                   \
767     && GET_CODE (XEXP (IN, 0)) == PLUS                          \
768     && GET_CODE (XEXP (XEXP (IN, 0), 0)) == CONST_INT           \
769     && ! SMALL_INT (XEXP (XEXP (IN, 0), 1))) ? GENERAL_REGS : NO_REGS)
770
771 /* Return the maximum number of consecutive registers
772    needed to represent mode MODE in a register of class CLASS.  */
773 #define CLASS_MAX_NREGS(CLASS, MODE) \
774   ((((CLASS) == XRF_REGS) ? 1 \
775     : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)))
776
777 /* Letters in the range `I' through `P' in a register constraint string can
778    be used to stand for particular ranges of immediate operands.  The C
779    expression is true iff C is a known letter and VALUE is appropriate for
780    that letter.
781
782    For the m88000, the following constants are used:
783    `I' requires a non-negative 16-bit value.
784    `J' requires a non-positive 16-bit value.
785    `K' requires a non-negative value < 32.
786    `L' requires a constant with only the upper 16-bits set.
787    `M' requires constant values that can be formed with `set'.
788    `N' requires a negative value.
789    `O' requires zero.
790    `P' requires a non-negative value.  */
791
792 /* Quick tests for certain values.  */
793 #define SMALL_INT(X) (SMALL_INTVAL (INTVAL (X)))
794 #define SMALL_INTVAL(I) ((unsigned) (I) < 0x10000)
795 #define ADD_INT(X) (ADD_INTVAL (INTVAL (X)))
796 #define ADD_INTVAL(I) ((unsigned) (I) + 0xffff < 0x1ffff)
797 #define POWER_OF_2(I) ((I) && POWER_OF_2_or_0(I))
798 #define POWER_OF_2_or_0(I) (((I) & ((unsigned)(I) - 1)) == 0)
799
800 #define CONST_OK_FOR_LETTER_P(VALUE, C)                 \
801   ((C) == 'I' ? SMALL_INTVAL (VALUE)                    \
802    : (C) == 'J' ? SMALL_INTVAL (-(VALUE))               \
803    : (C) == 'K' ? (unsigned)(VALUE) < 32                \
804    : (C) == 'L' ? ((VALUE) & 0xffff) == 0               \
805    : (C) == 'M' ? integer_ok_for_set (VALUE)            \
806    : (C) == 'N' ? (VALUE) < 0                           \
807    : (C) == 'O' ? (VALUE) == 0                          \
808    : (C) == 'P' ? (VALUE) >= 0                          \
809    : 0)
810
811 /* Similar, but for floating constants, and defining letters G and H.
812    Here VALUE is the CONST_DOUBLE rtx itself.  For the m88000, the
813    constraints are:  `G' requires zero, and `H' requires one or two.  */
814 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C)                          \
815   ((C) == 'G' ? (CONST_DOUBLE_HIGH (VALUE) == 0                         \
816                  && CONST_DOUBLE_LOW (VALUE) == 0)                      \
817    : 0)
818
819 /* Letters in the range `Q' through `U' in a register constraint string
820    may be defined in a machine-dependent fashion to stand for arbitrary
821    operand types.
822
823    For the m88k, `Q' handles addresses in a call context.  */
824
825 #define EXTRA_CONSTRAINT(OP, C)                         \
826   ((C) == 'Q' ? symbolic_address_p (OP) : 0)
827 \f
828 /*** Describing Stack Layout ***/
829
830 /* Define this if pushing a word on the stack moves the stack pointer
831    to a smaller address.  */
832 #define STACK_GROWS_DOWNWARD
833
834 /* Define this if the addresses of local variable slots are at negative
835    offsets from the frame pointer.  */
836 /* #define FRAME_GROWS_DOWNWARD */
837
838 /* Offset from the frame pointer to the first local variable slot to be
839    allocated. For the m88k, the debugger wants the return address (r1)
840    stored at location r30+4, and the previous frame pointer stored at
841    location r30.  */
842 #define STARTING_FRAME_OFFSET 8
843
844 /* If we generate an insn to push BYTES bytes, this says how many the
845    stack pointer really advances by.  The m88k has no push instruction.  */
846 /*  #define PUSH_ROUNDING(BYTES) */
847
848 /* If defined, the maximum amount of space required for outgoing arguments
849    will be computed and placed into the variable
850    `current_function_outgoing_args_size'.  No space will be pushed
851    onto the stack for each call; instead, the function prologue should
852    increase the stack frame size by this amount.  */
853 #define ACCUMULATE_OUTGOING_ARGS 1
854
855 /* Offset from the stack pointer register to the first location at which
856    outgoing arguments are placed.  Use the default value zero.  */
857 /* #define STACK_POINTER_OFFSET 0 */
858
859 /* Offset of first parameter from the argument pointer register value.
860    Using an argument pointer, this is 0 for the m88k.  GCC knows
861    how to eliminate the argument pointer references if necessary.  */
862 #define FIRST_PARM_OFFSET(FNDECL) 0
863
864 /* Define this if functions should assume that stack space has been
865    allocated for arguments even when their values are passed in
866    registers.
867
868    The value of this macro is the size, in bytes, of the area reserved for
869    arguments passed in registers.
870
871    This space can either be allocated by the caller or be a part of the
872    machine-dependent stack frame: `OUTGOING_REG_PARM_STACK_SPACE'
873    says which.  */
874 #define REG_PARM_STACK_SPACE(FNDECL) 32
875
876 /* Define this macro if REG_PARM_STACK_SPACE is defined but stack
877    parameters don't skip the area specified by REG_PARM_STACK_SPACE.
878    Normally, when a parameter is not passed in registers, it is placed on
879    the stack beyond the REG_PARM_STACK_SPACE area.  Defining this macro
880    suppresses this behavior and causes the parameter to be passed on the
881    stack in its natural location.  */
882 #define STACK_PARMS_IN_REG_PARM_AREA
883
884 /* Define this if it is the responsibility of the caller to allocate the
885    area reserved for arguments passed in registers.  If
886    `ACCUMULATE_OUTGOING_ARGS' is also defined, the only effect of this
887    macro is to determine whether the space is included in
888    `current_function_outgoing_args_size'.  */
889 /* #define OUTGOING_REG_PARM_STACK_SPACE */
890
891 /* Offset from the stack pointer register to an item dynamically allocated
892    on the stack, e.g., by `alloca'.
893
894    The default value for this macro is `STACK_POINTER_OFFSET' plus the
895    length of the outgoing arguments.  The default is correct for most
896    machines.  See `function.c' for details.  */
897 /* #define STACK_DYNAMIC_OFFSET(FUNDECL) ... */
898
899 /* Value is the number of bytes of arguments automatically
900    popped when returning from a subroutine call.
901    FUNDECL is the declaration node of the function (as a tree),
902    FUNTYPE is the data type of the function (as a tree),
903    or for a library call it is an identifier node for the subroutine name.
904    SIZE is the number of bytes of arguments passed on the stack.  */
905 #define RETURN_POPS_ARGS(FUNDECL,FUNTYPE,SIZE) 0
906
907 /* Define how to find the value returned by a function.
908    VALTYPE is the data type of the value (as a tree).
909    If the precise function being called is known, FUNC is its FUNCTION_DECL;
910    otherwise, FUNC is 0.  */
911 #define FUNCTION_VALUE(VALTYPE, FUNC) \
912   gen_rtx_REG (TYPE_MODE (VALTYPE) == BLKmode ? SImode : TYPE_MODE (VALTYPE), \
913                2)
914
915 /* Define this if it differs from FUNCTION_VALUE.  */
916 /* #define FUNCTION_OUTGOING_VALUE(VALTYPE, FUNC) ... */
917
918 /* Disable the promotion of some structures and unions to registers. */
919 #define RETURN_IN_MEMORY(TYPE) \
920   (TYPE_MODE (TYPE) == BLKmode \
921    || ((TREE_CODE (TYPE) == RECORD_TYPE || TREE_CODE(TYPE) == UNION_TYPE) \
922        && !(TYPE_MODE (TYPE) == SImode \
923             || (TYPE_MODE (TYPE) == BLKmode \
924                 && TYPE_ALIGN (TYPE) == BITS_PER_WORD \
925                 && int_size_in_bytes (TYPE) == UNITS_PER_WORD))))
926
927 /* Don't default to pcc-struct-return, because we have already specified
928    exactly how to return structures in the RETURN_IN_MEMORY macro.  */
929 #define DEFAULT_PCC_STRUCT_RETURN 0
930
931 /* Define how to find the value returned by a library function
932    assuming the value has mode MODE.  */
933 #define LIBCALL_VALUE(MODE)  gen_rtx_REG (MODE, 2)
934
935 /* True if N is a possible register number for a function value
936    as seen by the caller.  */
937 #define FUNCTION_VALUE_REGNO_P(N) ((N) == 2)
938
939 /* Determine whether a function argument is passed in a register, and
940    which register.  See m88k.c.  */
941 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
942   m88k_function_arg (CUM, MODE, TYPE, NAMED)
943
944 /* Define this if it differs from FUNCTION_ARG.  */
945 /* #define FUNCTION_INCOMING_ARG(CUM, MODE, TYPE, NAMED) ... */
946
947 /* A C expression for the number of words, at the beginning of an
948    argument, must be put in registers.  The value must be zero for
949    arguments that are passed entirely in registers or that are entirely
950    pushed on the stack.  */
951 #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) (0)
952
953 /* A C expression that indicates when an argument must be passed by
954    reference.  If nonzero for an argument, a copy of that argument is
955    made in memory and a pointer to the argument is passed instead of the
956    argument itself.  The pointer is passed in whatever way is appropriate
957    for passing a pointer to that type.  */
958 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED) (0)
959
960 /* A C type for declaring a variable that is used as the first argument
961    of `FUNCTION_ARG' and other related values.  It suffices to count
962    the number of words of argument so far.  */
963 #define CUMULATIVE_ARGS int
964
965 /* Initialize a variable CUM of type CUMULATIVE_ARGS for a call to a
966    function whose data type is FNTYPE.  For a library call, FNTYPE is 0. */
967 #define INIT_CUMULATIVE_ARGS(CUM,FNTYPE,LIBNAME,INDIRECT) ((CUM) = 0)
968
969 /* A C statement (sans semicolon) to update the summarizer variable
970    CUM to advance past an argument in the argument list.  The values
971    MODE, TYPE and NAMED describe that argument.  Once this is done,
972    the variable CUM is suitable for analyzing the *following* argument
973    with `FUNCTION_ARG', etc.  (TYPE is null for libcalls where that
974    information may not be available.)  */
975 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED)                    \
976   do {                                                                  \
977     enum machine_mode __mode = (TYPE) ? TYPE_MODE (TYPE) : (MODE);      \
978     if ((CUM & 1)                                                       \
979         && (__mode == DImode || __mode == DFmode                        \
980             || ((TYPE) && TYPE_ALIGN (TYPE) > BITS_PER_WORD)))          \
981       CUM++;                                                            \
982     CUM += (((__mode != BLKmode)                                        \
983              ? GET_MODE_SIZE (MODE) : int_size_in_bytes (TYPE))         \
984             + 3) / 4;                                                   \
985   } while (0)
986
987 /* True if N is a possible register number for function argument passing.
988    On the m88000, these are registers 2 through 9.  */
989 #define FUNCTION_ARG_REGNO_P(N) ((N) <= 9 && (N) >= 2)
990
991 /* A C expression which determines whether, and in which direction,
992    to pad out an argument with extra space.  The value should be of
993    type `enum direction': either `upward' to pad above the argument,
994    `downward' to pad below, or `none' to inhibit padding.
995
996    This macro does not control the *amount* of padding; that is always
997    just enough to reach the next multiple of `FUNCTION_ARG_BOUNDARY'.  */
998 #define FUNCTION_ARG_PADDING(MODE, TYPE) \
999   ((MODE) == BLKmode \
1000    || ((TYPE) && (TREE_CODE (TYPE) == RECORD_TYPE \
1001                   || TREE_CODE (TYPE) == UNION_TYPE)) \
1002    ? upward : GET_MODE_BITSIZE (MODE) < PARM_BOUNDARY ? downward : none)
1003
1004 /* If defined, a C expression that gives the alignment boundary, in bits,
1005    of an argument with the specified mode and type.  If it is not defined,
1006    `PARM_BOUNDARY' is used for all arguments.  */
1007 #define FUNCTION_ARG_BOUNDARY(MODE, TYPE) \
1008   (((TYPE) ? TYPE_ALIGN (TYPE) : GET_MODE_BITSIZE (MODE)) <= PARM_BOUNDARY \
1009     ? PARM_BOUNDARY : 2 * PARM_BOUNDARY)
1010
1011 /* Generate necessary RTL for __builtin_saveregs().
1012    ARGLIST is the argument list; see expr.c.  */
1013 #define EXPAND_BUILTIN_SAVEREGS() m88k_builtin_saveregs ()
1014
1015 /* Define the `__builtin_va_list' type for the ABI.  */
1016 #define BUILD_VA_LIST_TYPE(VALIST) \
1017   (VALIST) = m88k_build_va_list ()
1018
1019 /* Implement `va_start' for varargs and stdarg.  */
1020 #define EXPAND_BUILTIN_VA_START(valist, nextarg) \
1021   m88k_va_start (valist, nextarg)
1022
1023 /* Implement `va_arg'.  */
1024 #define EXPAND_BUILTIN_VA_ARG(valist, type) \
1025   m88k_va_arg (valist, type)
1026
1027 /* Output assembler code to FILE to increment profiler label # LABELNO
1028    for profiling a function entry.  Redefined in sysv3.h, sysv4.h and
1029    dgux.h.  */
1030 #define FUNCTION_PROFILER(FILE, LABELNO) \
1031   output_function_profiler (FILE, LABELNO, "mcount", 1)
1032
1033 /* Maximum length in instructions of the code output by FUNCTION_PROFILER.  */
1034 #define FUNCTION_PROFILER_LENGTH (5+3+1+5)
1035
1036 /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function,
1037    the stack pointer does not matter.  The value is tested only in
1038    functions that have frame pointers.
1039    No definition is equivalent to always zero.  */
1040 #define EXIT_IGNORE_STACK (1)
1041
1042 /* Value should be nonzero if functions must have frame pointers.
1043    Zero means the frame pointer need not be set up (and parms
1044    may be accessed via the stack pointer) in functions that seem suitable.
1045    This is computed in `reload', in reload1.c.  */
1046 #define FRAME_POINTER_REQUIRED \
1047 ((TARGET_OMIT_LEAF_FRAME_POINTER && !leaf_function_p ())        \
1048  || (write_symbols != NO_DEBUG && !TARGET_OCS_FRAME_POSITION))
1049
1050 /* Definitions for register eliminations.
1051
1052    We have two registers that can be eliminated on the m88k.  First, the
1053    frame pointer register can often be eliminated in favor of the stack
1054    pointer register.  Secondly, the argument pointer register can always be
1055    eliminated; it is replaced with either the stack or frame pointer.  */
1056
1057 /* This is an array of structures.  Each structure initializes one pair
1058    of eliminable registers.  The "from" register number is given first,
1059    followed by "to".  Eliminations of the same "from" register are listed
1060    in order of preference.  */
1061 #define ELIMINABLE_REGS                         \
1062 {{ ARG_POINTER_REGNUM, STACK_POINTER_REGNUM},   \
1063  { ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM},   \
1064  { FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
1065
1066 /* Given FROM and TO register numbers, say whether this elimination
1067    is allowed.  */
1068 #define CAN_ELIMINATE(FROM, TO) \
1069   (!((FROM) == FRAME_POINTER_REGNUM && FRAME_POINTER_REQUIRED))
1070
1071 /* Define the offset between two registers, one to be eliminated, and the other
1072    its replacement, at the start of a routine.  */
1073 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET)                     \
1074 { m88k_layout_frame ();                                                  \
1075   if ((FROM) == FRAME_POINTER_REGNUM && (TO) == STACK_POINTER_REGNUM)    \
1076       (OFFSET) = m88k_fp_offset;                                         \
1077   else if ((FROM) == ARG_POINTER_REGNUM && (TO) == FRAME_POINTER_REGNUM) \
1078     (OFFSET) = m88k_stack_size - m88k_fp_offset;                         \
1079   else if ((FROM) == ARG_POINTER_REGNUM && (TO) == STACK_POINTER_REGNUM) \
1080     (OFFSET) = m88k_stack_size;                                          \
1081   else                                                                   \
1082     abort ();                                                            \
1083 }
1084 \f
1085 /*** Trampolines for Nested Functions ***/
1086
1087 /* Output assembler code for a block containing the constant parts
1088    of a trampoline, leaving space for the variable parts.
1089
1090    This block is placed on the stack and filled in.  It is aligned
1091    0 mod 128 and those portions that are executed are constant.
1092    This should work for instruction caches that have cache lines up
1093    to the aligned amount (128 is arbitrary), provided no other code
1094    producer is attempting to play the same game.  This of course is
1095    in violation of any number of 88open standards.  */
1096
1097 #define TRAMPOLINE_TEMPLATE(FILE)                                       \
1098 {                                                                       \
1099   char buf[256];                                                        \
1100   static int labelno = 0;                                               \
1101   labelno++;                                                            \
1102   ASM_GENERATE_INTERNAL_LABEL (buf, "LTRMP", labelno);                  \
1103   /* Save the return address (r1) in the static chain reg (r11).  */    \
1104   fprintf (FILE, "\tor\t %s,%s,0\n", reg_names[11], reg_names[1]);      \
1105   /* Locate this block; transfer to the next instruction.  */           \
1106   fprintf (FILE, "\tbsr\t %s\n", &buf[1]);                                      \
1107   ASM_OUTPUT_INTERNAL_LABEL (FILE, "LTRMP", labelno);                   \
1108   /* Save r10; use it as the relative pointer; restore r1.  */          \
1109   fprintf (FILE, "\tst\t %s,%s,24\n", reg_names[10], reg_names[1]);     \
1110   fprintf (FILE, "\tor\t %s,%s,0\n", reg_names[10], reg_names[1]);      \
1111   fprintf (FILE, "\tor\t %s,%s,0\n", reg_names[1], reg_names[11]);      \
1112   /* Load the function's address and go there.  */                      \
1113   fprintf (FILE, "\tld\t %s,%s,32\n", reg_names[11], reg_names[10]);    \
1114   fprintf (FILE, "\tjmp.n\t %s\n", reg_names[11]);                      \
1115   /* Restore r10 and load the static chain register.  */                \
1116   fprintf (FILE, "\tld.d\t %s,%s,24\n", reg_names[10], reg_names[10]);  \
1117   /* Storage: r10 save area, static chain, function address.  */        \
1118   assemble_aligned_integer (UNITS_PER_WORD, const0_rtx);                \
1119   assemble_aligned_integer (UNITS_PER_WORD, const0_rtx);                \
1120   assemble_aligned_integer (UNITS_PER_WORD, const0_rtx);                \
1121 }
1122
1123 /* Length in units of the trampoline for entering a nested function.
1124    This is really two components.  The first 32 bytes are fixed and
1125    must be copied; the last 12 bytes are just storage that's filled
1126    in later.  So for allocation purposes, it's 32+12 bytes, but for
1127    initialization purposes, it's 32 bytes.  */
1128
1129 #define TRAMPOLINE_SIZE (32+12)
1130
1131 /* Alignment required for a trampoline.  128 is used to find the
1132    beginning of a line in the instruction cache and to allow for
1133    instruction cache lines of up to 128 bytes.  */
1134
1135 #define TRAMPOLINE_ALIGNMENT 128
1136
1137 /* Emit RTL insns to initialize the variable parts of a trampoline.
1138    FNADDR is an RTX for the address of the function's pure code.
1139    CXT is an RTX for the static chain value for the function.  */
1140
1141 #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT)                       \
1142 {                                                                       \
1143   emit_move_insn (gen_rtx_MEM (SImode, plus_constant (TRAMP, 40)), FNADDR); \
1144   emit_move_insn (gen_rtx_MEM (SImode, plus_constant (TRAMP, 36)), CXT); \
1145 }
1146
1147 /*** Library Subroutine Names ***/
1148
1149 /* Define this macro if GNU CC should generate calls to the System V
1150    (and ANSI C) library functions `memcpy' and `memset' rather than
1151    the BSD functions `bcopy' and `bzero'.  */
1152 #define TARGET_MEM_FUNCTIONS
1153 \f
1154 /*** Addressing Modes ***/
1155
1156 #define SELECT_CC_MODE(OP,X,Y) CCmode
1157
1158 /* #define HAVE_POST_INCREMENT 0 */
1159 /* #define HAVE_POST_DECREMENT 0 */
1160
1161 /* #define HAVE_PRE_DECREMENT 0 */
1162 /* #define HAVE_PRE_INCREMENT 0 */
1163
1164 /* Recognize any constant value that is a valid address.
1165    When PIC, we do not accept an address that would require a scratch reg
1166    to load into a register.  */
1167
1168 #define CONSTANT_ADDRESS_P(X)   \
1169   (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF              \
1170    || GET_CODE (X) == CONST_INT || GET_CODE (X) == HIGH                 \
1171    || (GET_CODE (X) == CONST                                            \
1172        && ! (flag_pic && pic_address_needs_scratch (X))))
1173
1174
1175 /* Maximum number of registers that can appear in a valid memory address.  */
1176 #define MAX_REGS_PER_ADDRESS 2
1177
1178 /* The condition for memory shift insns.  */
1179 #define SCALED_ADDRESS_P(ADDR)                  \
1180   (GET_CODE (ADDR) == PLUS                      \
1181    && (GET_CODE (XEXP (ADDR, 0)) == MULT        \
1182        || GET_CODE (XEXP (ADDR, 1)) == MULT))
1183
1184 /* Can the reference to X be made short?  */
1185 #define SHORT_ADDRESS_P(X,TEMP) \
1186   ((TEMP) = (GET_CODE (X) == CONST ? get_related_value (X) : X), \
1187    ((TEMP) && GET_CODE (TEMP) == SYMBOL_REF && SYMBOL_REF_FLAG (TEMP)))
1188
1189 /* GO_IF_LEGITIMATE_ADDRESS recognizes an RTL expression
1190    that is a valid memory address for an instruction.
1191    The MODE argument is the machine mode for the MEM expression
1192    that wants to use this address.
1193
1194    On the m88000, a legitimate address has the form REG, REG+REG,
1195    REG+SMALLINT, REG+(REG*modesize) (REG[REG]), or SMALLINT.
1196
1197    The register elimination process should deal with the argument
1198    pointer and frame pointer changing to REG+SMALLINT.  */
1199
1200 #define LEGITIMATE_INDEX_P(X, MODE)                     \
1201    ((GET_CODE (X) == CONST_INT                          \
1202      && SMALL_INT (X))                                  \
1203     || (REG_P (X)                                       \
1204         && REG_OK_FOR_INDEX_P (X))                      \
1205     || (GET_CODE (X) == MULT                            \
1206         && REG_P (XEXP (X, 0))                          \
1207         && REG_OK_FOR_INDEX_P (XEXP (X, 0))             \
1208         && GET_CODE (XEXP (X, 1)) == CONST_INT          \
1209         && INTVAL (XEXP (X, 1)) == GET_MODE_SIZE (MODE)))
1210
1211 #define RTX_OK_FOR_BASE_P(X)                                            \
1212   ((GET_CODE (X) == REG && REG_OK_FOR_BASE_P (X))                       \
1213   || (GET_CODE (X) == SUBREG                                            \
1214       && GET_CODE (SUBREG_REG (X)) == REG                               \
1215       && REG_OK_FOR_BASE_P (SUBREG_REG (X))))
1216
1217 #define RTX_OK_FOR_INDEX_P(X)                                           \
1218   ((GET_CODE (X) == REG && REG_OK_FOR_INDEX_P (X))                      \
1219   || (GET_CODE (X) == SUBREG                                            \
1220       && GET_CODE (SUBREG_REG (X)) == REG                               \
1221       && REG_OK_FOR_INDEX_P (SUBREG_REG (X))))
1222
1223 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR)         \
1224 {                                                       \
1225   register rtx _x;                                      \
1226   if (REG_P (X))                                        \
1227     {                                                   \
1228       if (REG_OK_FOR_BASE_P (X))                        \
1229         goto ADDR;                                      \
1230     }                                                   \
1231   else if (GET_CODE (X) == PLUS)                        \
1232     {                                                   \
1233       register rtx _x0 = XEXP (X, 0);                   \
1234       register rtx _x1 = XEXP (X, 1);                   \
1235       if ((flag_pic                                     \
1236            && _x0 == pic_offset_table_rtx               \
1237            && (flag_pic == 2                            \
1238                ? RTX_OK_FOR_BASE_P (_x1)                \
1239                : (GET_CODE (_x1) == SYMBOL_REF          \
1240                   || GET_CODE (_x1) == LABEL_REF)))     \
1241           || (REG_P (_x0)                               \
1242               && (REG_OK_FOR_BASE_P (_x0)               \
1243                   && LEGITIMATE_INDEX_P (_x1, MODE)))   \
1244           || (REG_P (_x1)                               \
1245               && (REG_OK_FOR_BASE_P (_x1)               \
1246                   && LEGITIMATE_INDEX_P (_x0, MODE))))  \
1247         goto ADDR;                                      \
1248     }                                                   \
1249   else if (GET_CODE (X) == LO_SUM)                      \
1250     {                                                   \
1251       register rtx _x0 = XEXP (X, 0);                   \
1252       register rtx _x1 = XEXP (X, 1);                   \
1253       if (((REG_P (_x0)                                 \
1254             && REG_OK_FOR_BASE_P (_x0))                 \
1255            || (GET_CODE (_x0) == SUBREG                 \
1256                && REG_P (SUBREG_REG (_x0))              \
1257                && REG_OK_FOR_BASE_P (SUBREG_REG (_x0)))) \
1258           && CONSTANT_P (_x1))                          \
1259         goto ADDR;                                      \
1260     }                                                   \
1261   else if (GET_CODE (X) == CONST_INT                    \
1262            && SMALL_INT (X))                            \
1263     goto ADDR;                                          \
1264   else if (SHORT_ADDRESS_P (X, _x))                     \
1265     goto ADDR;                                          \
1266 }
1267
1268 /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx
1269    and check its validity for a certain class.
1270    We have two alternate definitions for each of them.
1271    The usual definition accepts all pseudo regs; the other rejects
1272    them unless they have been allocated suitable hard regs.
1273    The symbol REG_OK_STRICT causes the latter definition to be used.
1274
1275    Most source files want to accept pseudo regs in the hope that
1276    they will get allocated to the class that the insn wants them to be in.
1277    Source files for reload pass need to be strict.
1278    After reload, it makes no difference, since pseudo regs have
1279    been eliminated by then.  */
1280
1281 #ifndef REG_OK_STRICT
1282
1283 /* Nonzero if X is a hard reg that can be used as an index
1284    or if it is a pseudo reg.  Not the argument pointer.  */
1285 #define REG_OK_FOR_INDEX_P(X)                                         \
1286   (!XRF_REGNO_P(REGNO (X)))
1287 /* Nonzero if X is a hard reg that can be used as a base reg
1288    or if it is a pseudo reg.  */
1289 #define REG_OK_FOR_BASE_P(X) (REG_OK_FOR_INDEX_P (X))
1290
1291 #else
1292
1293 /* Nonzero if X is a hard reg that can be used as an index.  */
1294 #define REG_OK_FOR_INDEX_P(X) REGNO_OK_FOR_INDEX_P (REGNO (X))
1295 /* Nonzero if X is a hard reg that can be used as a base reg.  */
1296 #define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X))
1297
1298 #endif
1299
1300 /* Try machine-dependent ways of modifying an illegitimate address
1301    to be legitimate.  If we find one, return the new, valid address.
1302    This macro is used in only one place: `memory_address' in explow.c.
1303
1304    OLDX is the address as it was before break_out_memory_refs was called.
1305    In some cases it is useful to look at this to decide what needs to be done.
1306
1307    MODE and WIN are passed so that this macro can use
1308    GO_IF_LEGITIMATE_ADDRESS.
1309
1310    It is always safe for this macro to do nothing.  It exists to recognize
1311    opportunities to optimize the output.  */
1312
1313 /* On the m88000, change REG+N into REG+REG, and REG+(X*Y) into REG+REG.  */
1314
1315 #define LEGITIMIZE_ADDRESS(X,OLDX,MODE,WIN)                     \
1316 {                                                               \
1317   if (GET_CODE (X) == PLUS && CONSTANT_ADDRESS_P (XEXP (X, 1))) \
1318     (X) = gen_rtx_PLUS (SImode, XEXP (X, 0),                    \
1319                         copy_to_mode_reg (SImode, XEXP (X, 1))); \
1320   if (GET_CODE (X) == PLUS && CONSTANT_ADDRESS_P (XEXP (X, 0))) \
1321     (X) = gen_rtx_PLUS (SImode, XEXP (X, 1),                    \
1322                         copy_to_mode_reg (SImode, XEXP (X, 0))); \
1323   if (GET_CODE (X) == PLUS && GET_CODE (XEXP (X, 0)) == MULT)   \
1324     (X) = gen_rtx_PLUS (SImode, XEXP (X, 1),                    \
1325                         force_operand (XEXP (X, 0), 0));        \
1326   if (GET_CODE (X) == PLUS && GET_CODE (XEXP (X, 1)) == MULT)   \
1327     (X) = gen_rtx_PLUS (SImode, XEXP (X, 0),                    \
1328                         force_operand (XEXP (X, 1), 0));        \
1329   if (GET_CODE (X) == PLUS && GET_CODE (XEXP (X, 0)) == PLUS)   \
1330     (X) = gen_rtx_PLUS (Pmode, force_operand (XEXP (X, 0), NULL_RTX),\
1331                         XEXP (X, 1));                           \
1332   if (GET_CODE (X) == PLUS && GET_CODE (XEXP (X, 1)) == PLUS)   \
1333     (X) = gen_rtx_PLUS (Pmode, XEXP (X, 0),                     \
1334                         force_operand (XEXP (X, 1), NULL_RTX)); \
1335   if (GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == CONST       \
1336            || GET_CODE (X) == LABEL_REF)                        \
1337     (X) = legitimize_address (flag_pic, X, 0, 0);               \
1338   if (memory_address_p (MODE, X))                               \
1339     goto WIN; }
1340
1341 /* Go to LABEL if ADDR (a legitimate address expression)
1342    has an effect that depends on the machine mode it is used for.
1343    On the m88000 this is never true.  */
1344
1345 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR,LABEL)
1346
1347 /* Nonzero if the constant value X is a legitimate general operand.
1348    It is given that X satisfies CONSTANT_P or is a CONST_DOUBLE.  */
1349 #define LEGITIMATE_CONSTANT_P(X) (1)
1350
1351 /* Define this, so that when PIC, reload won't try to reload invalid
1352    addresses which require two reload registers.  */
1353
1354 #define LEGITIMATE_PIC_OPERAND_P(X)  (! pic_address_needs_scratch (X))
1355
1356 \f
1357 /*** Condition Code Information ***/
1358
1359 /* C code for a data type which is used for declaring the `mdep'
1360    component of `cc_status'.  It defaults to `int'.  */
1361 /* #define CC_STATUS_MDEP int */
1362
1363 /* A C expression to initialize the `mdep' field to "empty".  */
1364 /* #define CC_STATUS_MDEP_INIT (cc_status.mdep = 0) */
1365
1366 /* Macro to zap the normal portions of CC_STATUS, but leave the
1367    machine dependent parts (ie, literal synthesis) alone.  */
1368 /* #define CC_STATUS_INIT_NO_MDEP \
1369   (cc_status.flags = 0, cc_status.value1 = 0, cc_status.value2 = 0) */
1370
1371 /* When using a register to hold the condition codes, the cc_status
1372    mechanism cannot be used.  */
1373 #define NOTICE_UPDATE_CC(EXP, INSN) (0)
1374 \f
1375 /*** Miscellaneous Parameters ***/
1376
1377 /* Define the codes that are matched by predicates in m88k.c.  */
1378 #define PREDICATE_CODES                                                 \
1379   {"move_operand", {SUBREG, REG, CONST_INT, LO_SUM, MEM}},              \
1380   {"call_address_operand", {SUBREG, REG, SYMBOL_REF, LABEL_REF, CONST}}, \
1381   {"arith_operand", {SUBREG, REG, CONST_INT}},                          \
1382   {"arith5_operand", {SUBREG, REG, CONST_INT}},                         \
1383   {"arith32_operand", {SUBREG, REG, CONST_INT}},                        \
1384   {"arith64_operand", {SUBREG, REG, CONST_INT}},                        \
1385   {"int5_operand", {CONST_INT}},                                        \
1386   {"int32_operand", {CONST_INT}},                                       \
1387   {"add_operand", {SUBREG, REG, CONST_INT}},                            \
1388   {"reg_or_bbx_mask_operand", {SUBREG, REG, CONST_INT}},                \
1389   {"real_or_0_operand", {SUBREG, REG, CONST_DOUBLE}},                   \
1390   {"reg_or_0_operand", {SUBREG, REG, CONST_INT}},                       \
1391   {"relop", {EQ, NE, LT, LE, GE, GT, LTU, LEU, GEU, GTU}},              \
1392   {"even_relop", {EQ, LT, GT, LTU, GTU}},               \
1393   {"odd_relop", { NE, LE, GE, LEU, GEU}},               \
1394   {"partial_ccmode_register_operand", { SUBREG, REG}},                  \
1395   {"relop_no_unsigned", {EQ, NE, LT, LE, GE, GT}},                      \
1396   {"equality_op", {EQ, NE}},                                            \
1397   {"pc_or_label_ref", {PC, LABEL_REF}},
1398
1399 /* A list of predicates that do special things with modes, and so
1400    should not elicit warnings for VOIDmode match_operand.  */
1401
1402 #define SPECIAL_MODE_PREDICATES         \
1403   "partial_ccmode_register_operand",    \
1404   "pc_or_label_ref",
1405
1406 /* The case table contains either words or branch instructions.  This says
1407    which.  We always claim that the vector is PC-relative.  It is position
1408    independent when -fpic is used.  */
1409 #define CASE_VECTOR_INSNS (TARGET_88100 || flag_pic)
1410
1411 /* An alias for a machine mode name.  This is the machine mode that
1412    elements of a jump-table should have.  */
1413 #define CASE_VECTOR_MODE SImode
1414
1415 /* Define as C expression which evaluates to nonzero if the tablejump
1416    instruction expects the table to contain offsets from the address of the
1417    table.
1418    Do not define this if the table should contain absolute addresses. */
1419 #define CASE_VECTOR_PC_RELATIVE 1
1420
1421 /* Define this if control falls through a `case' insn when the index
1422    value is out of range.  This means the specified default-label is
1423    actually ignored by the `case' insn proper.  */
1424 /* #define CASE_DROPS_THROUGH */
1425
1426 /* Define this to be the smallest number of different values for which it
1427    is best to use a jump-table instead of a tree of conditional branches.
1428    The default is 4 for machines with a casesi instruction and 5 otherwise.
1429    The best 88110 number is around 7, though the exact number isn't yet
1430    known.  A third alternative for the 88110 is to use a binary tree of
1431    bb1 instructions on bits 2/1/0 if the range is dense.  This may not
1432    win very much though.  */
1433 #define CASE_VALUES_THRESHOLD (TARGET_88100 ? 4 : 7)
1434
1435 /* Define this as 1 if `char' should by default be signed; else as 0.  */
1436 #define DEFAULT_SIGNED_CHAR 1
1437
1438 /* The 88open ABI says size_t is unsigned int.  */
1439 #define SIZE_TYPE "unsigned int"
1440
1441 /* Handle #pragma pack and sometimes #pragma weak.  */
1442 #define HANDLE_SYSV_PRAGMA
1443
1444 /* Tell when to handle #pragma weak.  This is only done for V.4.  */
1445 #define SUPPORTS_WEAK TARGET_SVR4
1446 #define SUPPORTS_ONE_ONLY TARGET_SVR4
1447
1448 /* Max number of bytes we can move from memory to memory
1449    in one reasonably fast instruction.  */
1450 #define MOVE_MAX 8
1451
1452 /* Define if normal loads of shorter-than-word items from memory clears
1453    the rest of the bigs in the register.  */
1454 #define BYTE_LOADS_ZERO_EXTEND
1455
1456 /* Zero if access to memory by bytes is faster.  */
1457 #define SLOW_BYTE_ACCESS 1
1458
1459 /* Value is 1 if truncating an integer of INPREC bits to OUTPREC bits
1460    is done just by pretending it is already truncated.  */
1461 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1462
1463 /* Define this if addresses of constant functions
1464    shouldn't be put through pseudo regs where they can be cse'd.
1465    Desirable on machines where ordinary constants are expensive
1466    but a CALL with constant address is cheap.  */
1467 #define NO_FUNCTION_CSE
1468
1469 /* Define this macro if an argument declared as `char' or
1470    `short' in a prototype should actually be passed as an
1471    `int'.  In addition to avoiding errors in certain cases of
1472    mismatch, it also makes for better code on certain machines.  */
1473 #define PROMOTE_PROTOTYPES 1
1474
1475 /* We assume that the store-condition-codes instructions store 0 for false
1476    and some other value for true.  This is the value stored for true.  */
1477 #define STORE_FLAG_VALUE (-1)
1478
1479 /* Specify the machine mode that pointers have.
1480    After generation of rtl, the compiler makes no further distinction
1481    between pointers and any other objects of this machine mode.  */
1482 #define Pmode SImode
1483
1484 /* A function address in a call instruction
1485    is a word address (for indexing purposes)
1486    so give the MEM rtx word mode.  */
1487 #define FUNCTION_MODE SImode
1488
1489 /* A barrier will be aligned so account for the possible expansion.
1490    A volatile load may be preceded by a serializing instruction.
1491    Account for profiling code output at NOTE_INSN_PROLOGUE_END.
1492    Account for block profiling code at basic block boundaries.  */
1493 #define ADJUST_INSN_LENGTH(RTX, LENGTH)                                 \
1494   if (GET_CODE (RTX) == BARRIER                                         \
1495       || (TARGET_SERIALIZE_VOLATILE                                     \
1496           && GET_CODE (RTX) == INSN                                     \
1497           && GET_CODE (PATTERN (RTX)) == SET                            \
1498           && ((GET_CODE (SET_SRC (PATTERN (RTX))) == MEM                \
1499                && MEM_VOLATILE_P (SET_SRC (PATTERN (RTX)))))))          \
1500     LENGTH += 1;                                                        \
1501   else if (GET_CODE (RTX) == NOTE                                       \
1502            && NOTE_LINE_NUMBER (RTX) == NOTE_INSN_PROLOGUE_END)         \
1503     {                                                                   \
1504       if (current_function_profile)                                     \
1505         LENGTH += (FUNCTION_PROFILER_LENGTH + REG_PUSH_LENGTH           \
1506                    + REG_POP_LENGTH);                                   \
1507     }                                                                   \
1508
1509 /* Track the state of the last volatile memory reference.  Clear the
1510    state with CC_STATUS_INIT for now.  */
1511 #define CC_STATUS_INIT m88k_volatile_code = '\0'
1512
1513 /* Compute the cost of computing a constant rtl expression RTX
1514    whose rtx-code is CODE.  The body of this macro is a portion
1515    of a switch statement.  If the code is computed here,
1516    return it with a return statement.  Otherwise, break from the switch.
1517
1518    We assume that any 16 bit integer can easily be recreated, so we
1519    indicate 0 cost, in an attempt to get GCC not to optimize things
1520    like comparison against a constant.
1521
1522    The cost of CONST_DOUBLE is zero (if it can be placed in an insn, it
1523    is as good as a register; since it can't be placed in any insn, it
1524    won't do anything in cse, but it will cause expand_binop to pass the
1525    constant to the define_expands).  */
1526 #define CONST_COSTS(RTX,CODE,OUTER_CODE)                \
1527   case CONST_INT:                                       \
1528     if (SMALL_INT (RTX))                                \
1529       return 0;                                         \
1530     else if (SMALL_INTVAL (- INTVAL (RTX)))             \
1531       return 2;                                         \
1532     else if (classify_integer (SImode, INTVAL (RTX)) != m88k_oru_or) \
1533       return 4;                                         \
1534     return 7;                                           \
1535   case HIGH:                                            \
1536     return 2;                                           \
1537   case CONST:                                           \
1538   case LABEL_REF:                                       \
1539   case SYMBOL_REF:                                      \
1540     if (flag_pic)                                       \
1541       return (flag_pic == 2) ? 11 : 8;                  \
1542     return 5;                                           \
1543   case CONST_DOUBLE:                                    \
1544     return 0;
1545
1546 /* Provide the costs of an addressing mode that contains ADDR.
1547    If ADDR is not a valid address, its cost is irrelevant.
1548    REG+REG is made slightly more expensive because it might keep
1549    a register live for longer than we might like.  */
1550 #define ADDRESS_COST(ADDR)                              \
1551   (GET_CODE (ADDR) == REG ? 1 :                         \
1552    GET_CODE (ADDR) == LO_SUM ? 1 :                      \
1553    GET_CODE (ADDR) == HIGH ? 2 :                        \
1554    GET_CODE (ADDR) == MULT ? 1 :                        \
1555    GET_CODE (ADDR) != PLUS ? 4 :                        \
1556    (REG_P (XEXP (ADDR, 0)) && REG_P (XEXP (ADDR, 1))) ? 2 : 1)
1557
1558 /* Provide the costs of a rtl expression.  This is in the body of a
1559    switch on CODE.  */
1560 #define RTX_COSTS(X,CODE,OUTER_CODE)                            \
1561   case MEM:                                             \
1562     return COSTS_N_INSNS (2);                           \
1563   case MULT:                                            \
1564     return COSTS_N_INSNS (3);                           \
1565   case DIV:                                             \
1566   case UDIV:                                            \
1567   case MOD:                                             \
1568   case UMOD:                                            \
1569     return COSTS_N_INSNS (38);
1570
1571 /* A C expressions returning the cost of moving data of MODE from a register
1572    to or from memory.  This is more costly than between registers.  */
1573 #define MEMORY_MOVE_COST(MODE,CLASS,IN) 4
1574
1575 /* Provide the cost of a branch.  Exact meaning under development.  */
1576 #define BRANCH_COST (TARGET_88100 ? 1 : 2)
1577
1578 /* Do not break .stabs pseudos into continuations.  */
1579 #define DBX_CONTIN_LENGTH 0
1580 \f
1581 /*** Output of Assembler Code ***/
1582
1583 /* Control the assembler format that we output.  */
1584
1585 /* A C string constant describing how to begin a comment in the target
1586    assembler language.  The compiler assumes that the comment will end at
1587    the end of the line.  */
1588 #define ASM_COMMENT_START ";"
1589
1590 /* Allow pseudo-ops to be overridden.  Override these in svr[34].h.  */
1591 #undef  ASCII_DATA_ASM_OP
1592 #undef  READONLY_DATA_SECTION_ASM_OP
1593 #undef  CTORS_SECTION_ASM_OP
1594 #undef  DTORS_SECTION_ASM_OP
1595 #undef  TARGET_ASM_NAMED_SECTION
1596 #undef  INIT_SECTION_ASM_OP
1597 #undef  FINI_SECTION_ASM_OP
1598 #undef  TYPE_ASM_OP
1599 #undef  SIZE_ASM_OP
1600 #undef  SET_ASM_OP
1601 #undef  SKIP_ASM_OP
1602 #undef  COMMON_ASM_OP
1603 #undef  ALIGN_ASM_OP
1604 #undef  IDENT_ASM_OP
1605
1606 /* These are used in varasm.c as well.  */
1607 #define TEXT_SECTION_ASM_OP     "\ttext"
1608 #define DATA_SECTION_ASM_OP     "\tdata"
1609
1610 /* Other sections.  */
1611 #define READONLY_DATA_SECTION_ASM_OP (TARGET_SVR4               \
1612                               ? "\tsection\t .rodata,\"a\""     \
1613                               : "\tsection\t .rodata,\"x\"")
1614 #define TDESC_SECTION_ASM_OP (TARGET_SVR4                       \
1615                               ? "\tsection\t .tdesc,\"a\""      \
1616                               : "\tsection\t .tdesc,\"x\"")
1617
1618 /* These must be constant strings for crtstuff.c.  */
1619 #define CTORS_SECTION_ASM_OP    "\tsection\t .ctors,\"d\""
1620 #define DTORS_SECTION_ASM_OP    "\tsection\t .dtors,\"d\""
1621 #define INIT_SECTION_ASM_OP     "\tsection\t .init,\"x\""
1622 #define FINI_SECTION_ASM_OP     "\tsection\t .fini,\"x\""
1623
1624 /* These are pretty much common to all assemblers.  */
1625 #define IDENT_ASM_OP            "\tident\t"
1626 #define FILE_ASM_OP             "\tfile\t"
1627 #define SET_ASM_OP              "\tdef\t"
1628 #define GLOBAL_ASM_OP           "\tglobal\t"
1629 #define ALIGN_ASM_OP            "\talign\t"
1630 #define SKIP_ASM_OP             "\tzero\t"
1631 #define COMMON_ASM_OP           "\tcomm\t"
1632 #define BSS_ASM_OP              "\tbss\t"
1633 #define FLOAT_ASM_OP            "\tfloat\t"
1634 #define DOUBLE_ASM_OP           "\tdouble\t"
1635 #define ASCII_DATA_ASM_OP       "\tstring\t"
1636
1637 /* These are particular to the global pool optimization.  */
1638 #define SBSS_ASM_OP             "\tsbss\t"
1639 #define SCOMM_ASM_OP            "\tscomm\t"
1640 #define SDATA_SECTION_ASM_OP    "\tsdata"
1641
1642 /* These are specific to PIC.  */
1643 #define TYPE_ASM_OP             "\ttype\t"
1644 #define SIZE_ASM_OP             "\tsize\t"
1645 #ifndef AS_BUG_POUND_TYPE /* Faulty assemblers require @ rather than #.  */
1646 #undef  TYPE_OPERAND_FMT
1647 #define TYPE_OPERAND_FMT        "#%s"
1648 #endif
1649
1650 /* This is how we tell the assembler that a symbol is weak.  */
1651
1652 #undef ASM_WEAKEN_LABEL
1653 #define ASM_WEAKEN_LABEL(FILE,NAME) \
1654   do { fputs ("\tweak\t", FILE); assemble_name (FILE, NAME); \
1655        fputc ('\n', FILE); } while (0)
1656
1657 /* These are specific to version 03.00 assembler syntax.  */
1658 #define INTERNAL_ASM_OP         "\tlocal\t"
1659 #define VERSION_ASM_OP          "\tversion\t"
1660 #define PUSHSECTION_ASM_OP      "\tsection\t"
1661 #define POPSECTION_ASM_OP       "\tprevious"
1662
1663 /* These are specific to the version 04.00 assembler syntax.  */
1664 #define REQUIRES_88110_ASM_OP   "\trequires_88110"
1665
1666 /* Output any initial stuff to the assembly file.  Always put out
1667    a file directive, even if not debugging.
1668
1669    Immediately after putting out the file, put out a "sem.<value>"
1670    declaration.  This should be harmless on other systems, and
1671    is used in DG/UX by the debuggers to supplement COFF.  The
1672    fields in the integer value are as follows:
1673
1674    Bits Value   Meaning
1675    ---- -----   -------
1676    0-1  0       No information about stack locations
1677         1       Auto/param locations are based on r30
1678         2       Auto/param locations are based on CFA
1679
1680    3-2  0       No information on dimension order
1681         1       Array dims in sym table matches source language
1682         2       Array dims in sym table is in reverse order
1683
1684    5-4  0       No information about the case of global names
1685         1       Global names appear in the symbol table as in the source
1686         2       Global names have been converted to lower case
1687         3       Global names have been converted to upper case.  */
1688
1689 #ifdef SDB_DEBUGGING_INFO
1690 #define ASM_COFFSEM(FILE)                                               \
1691     if (write_symbols == SDB_DEBUG)                                     \
1692       {                                                                 \
1693         fprintf (FILE, "\nsem.%x:\t\t; %s\n",                           \
1694                  (((TARGET_OCS_FRAME_POSITION) ? 2 : 1) << 0) + (1 << 2) + (1 << 4),\
1695                  (TARGET_OCS_FRAME_POSITION)                            \
1696                         ? "frame is CFA, normal array dims, case unchanged" \
1697                         : "frame is r30, normal array dims, case unchanged"); \
1698       }
1699 #else
1700 #define ASM_COFFSEM(FILE)
1701 #endif
1702
1703 /* Output the first line of the assembly file.  Redefined in dgux.h.  */
1704
1705 #define ASM_FIRST_LINE(FILE)                                            \
1706   do {                                                                  \
1707     if (TARGET_SVR4)                                                    \
1708       {                                                                 \
1709         if (TARGET_88110)                                               \
1710           fprintf (FILE, "%s\"%s\"\n", VERSION_ASM_OP, "04.00");        \
1711         else                                                            \
1712           fprintf (FILE, "%s\"%s\"\n", VERSION_ASM_OP, "03.00");        \
1713       }                                                                 \
1714   } while (0)
1715
1716 /* Override svr[34].h.  */
1717 #undef  ASM_FILE_START
1718 #define ASM_FILE_START(FILE) \
1719   output_file_start (FILE, \
1720         (struct m88k_lang_independent_options *) f_options, \
1721         ARRAY_SIZE (f_options), \
1722         (struct m88k_lang_independent_options *) W_options, \
1723         ARRAY_SIZE (W_options))
1724
1725 #undef  ASM_FILE_END
1726
1727 #define ASM_OUTPUT_SOURCE_FILENAME(FILE, NAME) \
1728   do {                                         \
1729     fputs (FILE_ASM_OP, FILE);                 \
1730     output_quoted_string (FILE, NAME);         \
1731     putc ('\n', FILE);                         \
1732   } while (0)
1733
1734 #ifdef SDB_DEBUGGING_INFO
1735 #undef ASM_OUTPUT_SOURCE_LINE
1736 #define ASM_OUTPUT_SOURCE_LINE(FILE, LINE)                      \
1737   if (m88k_prologue_done)                                       \
1738     fprintf (FILE, "\n\tln\t %d\t\t\t\t; Real source line %d\n",\
1739              LINE - sdb_begin_function_line, LINE)
1740 #endif
1741
1742 /* Code to handle #ident directives.  Override svr[34].h definition.  */
1743 #undef  ASM_OUTPUT_IDENT
1744 #ifdef DBX_DEBUGGING_INFO
1745 #define ASM_OUTPUT_IDENT(FILE, NAME)
1746 #else
1747 #define ASM_OUTPUT_IDENT(FILE, NAME) \
1748   output_ascii (FILE, IDENT_ASM_OP, 4000, NAME, strlen (NAME));
1749 #endif
1750
1751 /* Output to assembler file text saying following lines
1752    may contain character constants, extra white space, comments, etc.  */
1753 #define ASM_APP_ON ""
1754
1755 /* Output to assembler file text saying following lines
1756    no longer contain unusual constructs.  */
1757 #define ASM_APP_OFF ""
1758
1759 /* Format the assembly opcode so that the arguments are all aligned.
1760    The maximum instruction size is 8 characters (fxxx.xxx), so a tab and a
1761    space will do to align the output.  Abandon the output if a `%' is
1762    encountered.  */
1763 #define ASM_OUTPUT_OPCODE(STREAM, PTR)                                  \
1764   {                                                                     \
1765     int ch;                                                             \
1766     const char *orig_ptr;                                               \
1767                                                                         \
1768     for (orig_ptr = (PTR);                                              \
1769          (ch = *(PTR)) && ch != ' ' && ch != '\t' && ch != '\n' && ch != '%'; \
1770          (PTR)++)                                                       \
1771       putc (ch, STREAM);                                                \
1772                                                                         \
1773     if (ch == ' ' && orig_ptr != (PTR) && (PTR) - orig_ptr < 8)         \
1774       putc ('\t', STREAM);                                              \
1775   }
1776
1777 /* How to refer to registers in assembler output.
1778    This sequence is indexed by compiler's hard-register-number.
1779    Updated by OVERRIDE_OPTIONS to include the # for version 03.00 syntax.  */
1780
1781 #define REGISTER_NAMES \
1782   {"#r0"+1, "#r1"+1, "#r2"+1, "#r3"+1, "#r4"+1, "#r5"+1, "#r6"+1, "#r7"+1, \
1783    "#r8"+1, "#r9"+1, "#r10"+1,"#r11"+1,"#r12"+1,"#r13"+1,"#r14"+1,"#r15"+1,\
1784    "#r16"+1,"#r17"+1,"#r18"+1,"#r19"+1,"#r20"+1,"#r21"+1,"#r22"+1,"#r23"+1,\
1785    "#r24"+1,"#r25"+1,"#r26"+1,"#r27"+1,"#r28"+1,"#r29"+1,"#r30"+1,"#r31"+1,\
1786    "#x0"+1, "#x1"+1, "#x2"+1, "#x3"+1, "#x4"+1, "#x5"+1, "#x6"+1, "#x7"+1, \
1787    "#x8"+1, "#x9"+1, "#x10"+1,"#x11"+1,"#x12"+1,"#x13"+1,"#x14"+1,"#x15"+1,\
1788    "#x16"+1,"#x17"+1,"#x18"+1,"#x19"+1,"#x20"+1,"#x21"+1,"#x22"+1,"#x23"+1,\
1789    "#x24"+1,"#x25"+1,"#x26"+1,"#x27"+1,"#x28"+1,"#x29"+1,"#x30"+1,"#x31"+1}
1790
1791 /* Define additional names for use in asm clobbers and asm declarations.
1792
1793    We define the fake Condition Code register as an alias for reg 0 (which
1794    is our `condition code' register), so that condition codes can easily
1795    be clobbered by an asm.  The carry bit in the PSR is now used.  */
1796
1797 #define ADDITIONAL_REGISTER_NAMES       {{"psr", 0}, {"cc", 0}}
1798
1799 /* Tell when to declare ASM names.  Override svr4.h to provide this hook.  */
1800 #undef  DECLARE_ASM_NAME
1801 #define DECLARE_ASM_NAME TARGET_SVR4
1802
1803 /* Write the extra assembler code needed to declare a function properly.  */
1804 #undef  ASM_DECLARE_FUNCTION_NAME
1805 #define ASM_DECLARE_FUNCTION_NAME(FILE, NAME, DECL)                     \
1806   do {                                                                  \
1807     if (DECLARE_ASM_NAME)                                               \
1808       ASM_OUTPUT_TYPE_DIRECTIVE (FILE, NAME, "function");               \
1809     ASM_OUTPUT_LABEL(FILE, NAME);                                       \
1810   } while (0)
1811
1812 /* Write the extra assembler code needed to declare an object properly.  */
1813 #undef  ASM_DECLARE_OBJECT_NAME
1814 #define ASM_DECLARE_OBJECT_NAME(FILE, NAME, DECL)                       \
1815   do {                                                                  \
1816     if (DECLARE_ASM_NAME)                                               \
1817       {                                                                 \
1818         HOST_WIDE_INT size;                                             \
1819                                                                         \
1820         ASM_OUTPUT_TYPE_DIRECTIVE (FILE, NAME, "object");               \
1821                                                                         \
1822         size_directive_output = 0;                                      \
1823         if (!flag_inhibit_size_directive                                \
1824             && (DECL) && DECL_SIZE (DECL))                              \
1825           {                                                             \
1826             size_directive_output = 1;                                  \
1827             size = int_size_in_bytes (TREE_TYPE (DECL));                \
1828             ASM_OUTPUT_SIZE_DIRECTIVE (FILE, NAME, size);               \
1829           }                                                             \
1830       }                                                                 \
1831     ASM_OUTPUT_LABEL(FILE, NAME);                                       \
1832   } while (0);
1833
1834 /* Output the size directive for a decl in rest_of_decl_compilation
1835    in the case where we did not do so before the initializer.
1836    Once we find the error_mark_node, we know that the value of
1837    size_directive_output was set
1838    by ASM_DECLARE_OBJECT_NAME when it was run for the same decl.  */
1839
1840 #undef ASM_FINISH_DECLARE_OBJECT
1841 #define ASM_FINISH_DECLARE_OBJECT(FILE, DECL, TOP_LEVEL, AT_END)         \
1842 do {                                                                     \
1843      const char *name = XSTR (XEXP (DECL_RTL (DECL), 0), 0);             \
1844      HOST_WIDE_INT size;                                                 \
1845      if (!flag_inhibit_size_directive && DECL_SIZE (DECL)                \
1846          && DECLARE_ASM_NAME                                             \
1847          && ! AT_END && TOP_LEVEL                                        \
1848          && DECL_INITIAL (DECL) == error_mark_node                       \
1849          && !size_directive_output)                                      \
1850        {                                                                 \
1851          size_directive_output = 1;                                      \
1852          size = int_size_in_bytes (TREE_TYPE (DECL));                    \
1853          ASM_OUTPUT_SIZE_DIRECTIVE (FILE, name, size);                   \
1854        }                                                                 \
1855    } while (0)
1856
1857 /* This is how to declare the size of a function.  */
1858 #undef  ASM_DECLARE_FUNCTION_SIZE
1859 #define ASM_DECLARE_FUNCTION_SIZE(FILE, FNAME, DECL)                    \
1860   do {                                                                  \
1861     if (DECLARE_ASM_NAME && !flag_inhibit_size_directive)               \
1862       ASM_OUTPUT_MEASURED_SIZE (FILE, FNAME);                           \
1863   } while (0)
1864
1865 /* The prefix to add to user-visible assembler symbols.
1866    Override svr[34].h.  */
1867 #undef USER_LABEL_PREFIX
1868 #define USER_LABEL_PREFIX "_"
1869
1870 /* This is how to output a reference to a user-level label named NAME.
1871    Override svr[34].h.  */
1872 #undef  ASM_OUTPUT_LABELREF
1873 #define ASM_OUTPUT_LABELREF(FILE,NAME)                  \
1874   {                                                     \
1875     if (!TARGET_NO_UNDERSCORES && !TARGET_SVR4)         \
1876       fputc ('_', FILE);                                \
1877     fputs (NAME, FILE);                                 \
1878   }
1879
1880 /* This is how to output an internal numbered label where
1881    PREFIX is the class of label and NUM is the number within the class.
1882    For V.4, labels use `.' rather than `@'.  */
1883
1884 #undef ASM_OUTPUT_INTERNAL_LABEL
1885 #ifdef AS_BUG_DOT_LABELS /* The assembler requires a declaration of local.  */
1886 #define ASM_OUTPUT_INTERNAL_LABEL(FILE,PREFIX,NUM)                      \
1887   fprintf (FILE, TARGET_SVR4 ? ".%s%d:\n%s.%s%d\n" : "@%s%d:\n", \
1888            PREFIX, NUM, INTERNAL_ASM_OP, PREFIX, NUM)
1889 #else
1890 #define ASM_OUTPUT_INTERNAL_LABEL(FILE,PREFIX,NUM)                      \
1891   fprintf (FILE, TARGET_SVR4 ? ".%s%d:\n" : "@%s%d:\n", PREFIX, NUM)
1892 #endif /* AS_BUG_DOT_LABELS */
1893
1894 /* This is how to store into the string LABEL
1895    the symbol_ref name of an internal numbered label where
1896    PREFIX is the class of label and NUM is the number within the class.
1897    This is suitable for output with `assemble_name'.  This must agree
1898    with ASM_OUTPUT_INTERNAL_LABEL above, except for being prefixed
1899    with an `*'.  */
1900
1901 #undef ASM_GENERATE_INTERNAL_LABEL
1902 #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM)                   \
1903   sprintf (LABEL, TARGET_SVR4 ? "*.%s%ld" : "*@%s%ld", PREFIX, (long)(NUM))
1904
1905 /* The single-byte pseudo-op is the default.  Override svr[34].h.  */
1906 #undef  ASM_OUTPUT_ASCII
1907 #define ASM_OUTPUT_ASCII(FILE, P, SIZE)  \
1908   output_ascii (FILE, ASCII_DATA_ASM_OP, 48, P, SIZE)
1909
1910 /* Override svr4.h.  Change to the readonly data section for a table of
1911    addresses.  final_scan_insn changes back to the text section.  */
1912 #undef  ASM_OUTPUT_CASE_LABEL
1913 #define ASM_OUTPUT_CASE_LABEL(FILE, PREFIX, NUM, TABLE)                 \
1914   do {                                                                  \
1915     if (! CASE_VECTOR_INSNS)                                            \
1916       {                                                                 \
1917         readonly_data_section ();                                       \
1918         ASM_OUTPUT_ALIGN (FILE, 2);                                     \
1919       }                                                                 \
1920     ASM_OUTPUT_INTERNAL_LABEL (FILE, PREFIX, NUM);                      \
1921   } while (0)
1922
1923 /* Epilogue for case labels.  This jump instruction is called by casesi
1924    to transfer to the appropriate branch instruction within the table.
1925    The label `@L<n>e' is coined to mark the end of the table.  */
1926 #define ASM_OUTPUT_CASE_END(FILE, NUM, TABLE)                           \
1927   do {                                                                  \
1928     if (CASE_VECTOR_INSNS)                                              \
1929       {                                                                 \
1930         char label[256];                                                \
1931         ASM_GENERATE_INTERNAL_LABEL (label, "L", NUM);                  \
1932         fprintf (FILE, "%se:\n", &label[1]);                            \
1933         if (! flag_delayed_branch)                                      \
1934           fprintf (FILE, "\tlda\t %s,%s[%s]\n", reg_names[1],           \
1935                    reg_names[1], reg_names[m88k_case_index]);           \
1936         fprintf (FILE, "\tjmp\t %s\n", reg_names[1]);                   \
1937       }                                                                 \
1938   } while (0)
1939
1940 /* This is how to output an element of a case-vector that is absolute.  */
1941 #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE)                            \
1942   do {                                                                  \
1943     char buffer[256];                                                   \
1944     ASM_GENERATE_INTERNAL_LABEL (buffer, "L", VALUE);                   \
1945     fprintf (FILE, CASE_VECTOR_INSNS ? "\tbr\t %s\n" : "\tword\t %s\n", \
1946              &buffer[1]);                                               \
1947   } while (0)
1948
1949 /* This is how to output an element of a case-vector that is relative.  */
1950 #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, BODY, VALUE, REL) \
1951   ASM_OUTPUT_ADDR_VEC_ELT (FILE, VALUE)
1952
1953 /* This is how to output an assembler line
1954    that says to advance the location counter
1955    to a multiple of 2**LOG bytes.  */
1956 #define ASM_OUTPUT_ALIGN(FILE,LOG)      \
1957   if ((LOG) != 0)                       \
1958     fprintf (FILE, "%s%d\n", ALIGN_ASM_OP, 1<<(LOG))
1959
1960 /* On the m88100, align the text address to half a cache boundary when it
1961    can only be reached by jumping.  Pack code tightly when compiling
1962    crtstuff.c.  */
1963 #define LABEL_ALIGN_AFTER_BARRIER(LABEL) \
1964   (TARGET_88100 && !flag_inhibit_size_directive ? 3 : 2)
1965
1966 /* Override svr[34].h.  */
1967 #undef  ASM_OUTPUT_SKIP
1968 #define ASM_OUTPUT_SKIP(FILE,SIZE)  \
1969   fprintf (FILE, "%s%u\n", SKIP_ASM_OP, (SIZE))
1970
1971 /* Override svr4.h.  */
1972 #undef  ASM_OUTPUT_EXTERNAL_LIBCALL
1973
1974 /* This says how to output an assembler line to define a global common
1975    symbol.  Size can be zero for the unusual case of a `struct { int : 0; }'.
1976    Override svr[34].h.  */
1977 #undef  ASM_OUTPUT_COMMON
1978 #undef  ASM_OUTPUT_ALIGNED_COMMON
1979 #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED)    \
1980 ( fprintf ((FILE), "%s",                                \
1981            ((SIZE) ? (SIZE) : 1) <= m88k_gp_threshold ? SCOMM_ASM_OP : COMMON_ASM_OP), \
1982   assemble_name ((FILE), (NAME)),                       \
1983   fprintf ((FILE), ",%u\n", (SIZE) ? (SIZE) : 1))
1984
1985 /* This says how to output an assembler line to define a local common
1986    symbol.  Override svr[34].h.  */
1987 #undef  ASM_OUTPUT_LOCAL
1988 #undef  ASM_OUTPUT_ALIGNED_LOCAL
1989 #define ASM_OUTPUT_LOCAL(FILE, NAME, SIZE, ROUNDED)     \
1990 ( fprintf ((FILE), "%s",                                \
1991            ((SIZE) ? (SIZE) : 1) <= m88k_gp_threshold ? SBSS_ASM_OP : BSS_ASM_OP), \
1992   assemble_name ((FILE), (NAME)),                       \
1993   fprintf ((FILE), ",%u,%d\n", (SIZE) ? (SIZE) : 1, (SIZE) <= 4 ? 4 : 8))
1994
1995 /* Store in OUTPUT a string (made with alloca) containing
1996    an assembler-name for a local static variable named NAME.
1997    LABELNO is an integer which is different for each call.  */
1998 #define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO)  \
1999 ( (OUTPUT) = (char *) alloca (strlen ((NAME)) + 10),    \
2000   sprintf ((OUTPUT), "%s.%d", (NAME), (LABELNO)))
2001
2002 /* This is how to output an insn to push a register on the stack.
2003    It need not be very fast code.  */
2004 #define ASM_OUTPUT_REG_PUSH(FILE,REGNO)  \
2005   fprintf (FILE, "\tsubu\t %s,%s,%d\n\tst\t %s,%s,0\n", \
2006            reg_names[STACK_POINTER_REGNUM],             \
2007            reg_names[STACK_POINTER_REGNUM],             \
2008            (STACK_BOUNDARY / BITS_PER_UNIT),            \
2009            reg_names[REGNO],                            \
2010            reg_names[STACK_POINTER_REGNUM])
2011
2012 /* Length in instructions of the code output by ASM_OUTPUT_REG_PUSH.  */
2013 #define REG_PUSH_LENGTH 2
2014
2015 /* This is how to output an insn to pop a register from the stack.  */
2016 #define ASM_OUTPUT_REG_POP(FILE,REGNO)  \
2017   fprintf (FILE, "\tld\t %s,%s,0\n\taddu\t %s,%s,%d\n", \
2018            reg_names[REGNO],                            \
2019            reg_names[STACK_POINTER_REGNUM],             \
2020            reg_names[STACK_POINTER_REGNUM],             \
2021            reg_names[STACK_POINTER_REGNUM],             \
2022            (STACK_BOUNDARY / BITS_PER_UNIT))
2023
2024 /* Length in instructions of the code output by ASM_OUTPUT_REG_POP.  */
2025 #define REG_POP_LENGTH 2
2026 \f
2027 /* Macros to deal with OCS debug information */
2028
2029 #define OCS_START_PREFIX        "Ltb"
2030 #define OCS_END_PREFIX          "Lte"
2031
2032 #define PUT_OCS_FUNCTION_START(FILE) \
2033   { ASM_OUTPUT_INTERNAL_LABEL (FILE, OCS_START_PREFIX, m88k_function_number); }
2034
2035 #define PUT_OCS_FUNCTION_END(FILE) \
2036   { ASM_OUTPUT_INTERNAL_LABEL (FILE, OCS_END_PREFIX, m88k_function_number); }
2037
2038 /* Macros for debug information */
2039 #define DEBUGGER_AUTO_OFFSET(X) \
2040   (m88k_debugger_offset (X, 0) \
2041    + (TARGET_OCS_FRAME_POSITION ? 0 : m88k_stack_size - m88k_fp_offset))
2042
2043 #define DEBUGGER_ARG_OFFSET(OFFSET, X) \
2044   (m88k_debugger_offset (X, OFFSET) \
2045    + (TARGET_OCS_FRAME_POSITION ? 0 : m88k_stack_size - m88k_fp_offset))
2046
2047 /* Macros to deal with SDB debug information */
2048 #ifdef SDB_DEBUGGING_INFO
2049
2050 /* Output structure tag names even when it causes a forward reference. */
2051 #define SDB_ALLOW_FORWARD_REFERENCES
2052
2053 /* Print out extra debug information in the assembler file */
2054 #define PUT_SDB_SCL(a)                                          \
2055   do {                                                          \
2056     register int s = (a);                                       \
2057     register const char *scl;                                   \
2058     switch (s)                                                  \
2059       {                                                         \
2060       case C_EFCN:      scl = "end of function";        break;  \
2061       case C_NULL:      scl = "NULL storage class";     break;  \
2062       case C_AUTO:      scl = "automatic";              break;  \
2063       case C_EXT:       scl = "external";               break;  \
2064       case C_STAT:      scl = "static";                 break;  \
2065       case C_REG:       scl = "register";               break;  \
2066       case C_EXTDEF:    scl = "external definition";    break;  \
2067       case C_LABEL:     scl = "label";                  break;  \
2068       case C_ULABEL:    scl = "undefined label";        break;  \
2069       case C_MOS:       scl = "structure member";       break;  \
2070       case C_ARG:       scl = "argument";               break;  \
2071       case C_STRTAG:    scl = "structure tag";          break;  \
2072       case C_MOU:       scl = "union member";           break;  \
2073       case C_UNTAG:     scl = "union tag";              break;  \
2074       case C_TPDEF:     scl = "typedef";                break;  \
2075       case C_USTATIC:   scl = "uninitialized static";   break;  \
2076       case C_ENTAG:     scl = "enumeration tag";        break;  \
2077       case C_MOE:       scl = "member of enumeration";  break;  \
2078       case C_REGPARM:   scl = "register parameter";     break;  \
2079       case C_FIELD:     scl = "bit field";              break;  \
2080       case C_BLOCK:     scl = "block start/end";        break;  \
2081       case C_FCN:       scl = "function start/end";     break;  \
2082       case C_EOS:       scl = "end of structure";       break;  \
2083       case C_FILE:      scl = "filename";               break;  \
2084       case C_LINE:      scl = "line";                   break;  \
2085       case C_ALIAS:     scl = "duplicated tag";         break;  \
2086       case C_HIDDEN:    scl = "hidden";                 break;  \
2087       default:          scl = "unknown";                break;  \
2088       }                                                         \
2089                                                                 \
2090     fprintf(asm_out_file, "\tscl\t %d\t\t\t\t; %s\n", s, scl);  \
2091   } while (0)
2092
2093 #define PUT_SDB_TYPE(a)                                         \
2094   do {                                                          \
2095     register int t = (a);                                       \
2096     static char buffer[100];                                    \
2097     register char *p = buffer;                                  \
2098     register const char *q;                                     \
2099     register int typ = t;                                       \
2100     register int i;                                             \
2101                                                                 \
2102     for (i = 0; i <= 5; i++)                                    \
2103       {                                                         \
2104         switch ((typ >> ((i*N_TSHIFT) + N_BTSHFT)) & 03)        \
2105           {                                                     \
2106           case DT_PTR:                                          \
2107             strcpy (p, "ptr to ");                              \
2108             p += sizeof("ptr to");                              \
2109             break;                                              \
2110                                                                 \
2111           case DT_ARY:                                          \
2112             strcpy (p, "array of ");                            \
2113             p += sizeof("array of");                            \
2114             break;                                              \
2115                                                                 \
2116           case DT_FCN:                                          \
2117             strcpy (p, "func ret ");                            \
2118             p += sizeof("func ret");                            \
2119             break;                                              \
2120           }                                                     \
2121       }                                                         \
2122                                                                 \
2123   switch (typ & N_BTMASK)                                       \
2124     {                                                           \
2125     case T_NULL:        q = "<no type>";        break;          \
2126     case T_CHAR:        q = "char";             break;          \
2127     case T_SHORT:       q = "short";            break;          \
2128     case T_INT:         q = "int";              break;          \
2129     case T_LONG:        q = "long";             break;          \
2130     case T_FLOAT:       q = "float";            break;          \
2131     case T_DOUBLE:      q = "double";           break;          \
2132     case T_STRUCT:      q = "struct";           break;          \
2133     case T_UNION:       q = "union";            break;          \
2134     case T_ENUM:        q = "enum";             break;          \
2135     case T_MOE:         q = "enum member";      break;          \
2136     case T_UCHAR:       q = "unsigned char";    break;          \
2137     case T_USHORT:      q = "unsigned short";   break;          \
2138     case T_UINT:        q = "unsigned int";     break;          \
2139     case T_ULONG:       q = "unsigned long";    break;          \
2140     default:            q = "void";             break;          \
2141     }                                                           \
2142                                                                 \
2143     strcpy (p, q);                                              \
2144     fprintf(asm_out_file, "\ttype\t %d\t\t\t\t; %s\n",          \
2145             t, buffer);                                         \
2146   } while (0)
2147
2148 #define PUT_SDB_INT_VAL(a) \
2149   fprintf (asm_out_file, "\tval\t %d\n", (a))
2150
2151 #define PUT_SDB_VAL(a)                                  \
2152 ( fprintf (asm_out_file, "\tval\t "),                   \
2153   output_addr_const (asm_out_file, (a)),                \
2154   fputc ('\n', asm_out_file))
2155
2156 #define PUT_SDB_DEF(a)                                          \
2157   do { fprintf (asm_out_file, "\tsdef\t ");                     \
2158     ASM_OUTPUT_LABELREF (asm_out_file, a);                      \
2159     fputc ('\n', asm_out_file);                                 \
2160   } while (0)
2161
2162 #define PUT_SDB_PLAIN_DEF(a) \
2163   fprintf(asm_out_file,"\tsdef\t .%s\n", a)
2164
2165 /* Simply and endef now.  */
2166 #define PUT_SDB_ENDEF \
2167   fputs("\tendef\n\n", asm_out_file)
2168
2169 #define PUT_SDB_SIZE(a) \
2170   fprintf (asm_out_file, "\tsize\t %d\n", (a))
2171
2172 /* Max dimensions to store for debug information (limited by COFF).  */
2173 #define SDB_MAX_DIM 6
2174
2175 /* New method for dim operations.  */
2176 #define PUT_SDB_START_DIM \
2177   fputs("\tdim\t ", asm_out_file)
2178
2179 /* How to end the DIM sequence.  */
2180 #define PUT_SDB_LAST_DIM(a) \
2181   fprintf(asm_out_file, "%d\n", a)
2182
2183 #define PUT_SDB_TAG(a)                                          \
2184   do {                                                          \
2185     fprintf (asm_out_file, "\ttag\t ");                         \
2186     ASM_OUTPUT_LABELREF (asm_out_file, a);                      \
2187     fputc ('\n', asm_out_file);                                 \
2188   } while( 0 )
2189
2190 #define PUT_SDB_BLOCK_OR_FUNCTION(NAME, SCL, LINE)              \
2191   do {                                                          \
2192     fprintf (asm_out_file, "\n\tsdef\t %s\n\tval\t .\n",        \
2193              NAME);                                             \
2194     PUT_SDB_SCL( SCL );                                         \
2195     fprintf (asm_out_file, "\tline\t %d\n\tendef\n\n",          \
2196              (LINE));                                           \
2197   } while (0)
2198
2199 #define PUT_SDB_BLOCK_START(LINE) \
2200   PUT_SDB_BLOCK_OR_FUNCTION (".bb", C_BLOCK, (LINE))
2201
2202 #define PUT_SDB_BLOCK_END(LINE) \
2203   PUT_SDB_BLOCK_OR_FUNCTION (".eb", C_BLOCK, (LINE))
2204
2205 #define PUT_SDB_FUNCTION_START(LINE)                            \
2206   do {                                                          \
2207     fprintf (asm_out_file, "\tln\t 1\n");                       \
2208     PUT_SDB_BLOCK_OR_FUNCTION (".bf", C_FCN, (LINE));           \
2209   } while (0)
2210
2211 #define PUT_SDB_FUNCTION_END(LINE)                              \
2212   do {                                                          \
2213     PUT_SDB_BLOCK_OR_FUNCTION (".ef", C_FCN, (LINE));           \
2214   } while (0)
2215
2216 #define PUT_SDB_EPILOGUE_END(NAME)                              \
2217   do {                                                          \
2218     text_section ();                                            \
2219     fprintf (asm_out_file, "\n\tsdef\t ");                      \
2220     ASM_OUTPUT_LABELREF(asm_out_file, (NAME));                  \
2221     fputc('\n', asm_out_file);                                  \
2222     PUT_SDB_SCL( C_EFCN );                                      \
2223     fprintf (asm_out_file, "\tendef\n\n");                      \
2224   } while (0)
2225
2226 #define SDB_GENERATE_FAKE(BUFFER, NUMBER) \
2227   sprintf ((BUFFER), ".%dfake", (NUMBER));
2228
2229 #endif /* SDB_DEBUGGING_INFO */
2230 \f
2231 /* Support const and tdesc sections.  Generally, a const section will
2232    be distinct from the text section whenever we do V.4-like things
2233    and so follows DECLARE_ASM_NAME.  Note that strings go in text
2234    rather than const.  Override svr[34].h.  */
2235
2236 #undef  EXTRA_SECTIONS
2237
2238 #if defined(USING_SVR4_H)
2239
2240 #define EXTRA_SECTIONS in_tdesc, in_sdata
2241 #define INIT_SECTION_FUNCTION
2242 #define FINI_SECTION_FUNCTION
2243
2244 #else
2245 #if defined(USING_SVR3_H)
2246
2247 #define EXTRA_SECTIONS in_tdesc, in_sdata, in_init, in_fini
2248
2249 #else /* luna or other not based on svr[34].h.  */
2250
2251 #undef READONLY_DATA_SECTION_ASM_OP
2252 #undef INIT_SECTION_ASM_OP
2253 #define EXTRA_SECTIONS in_tdesc, in_sdata
2254 #define INIT_SECTION_FUNCTION
2255 #define FINI_SECTION_FUNCTION
2256
2257 #endif /* USING_SVR3_H */
2258 #endif /* USING_SVR4_H */
2259
2260 #undef  EXTRA_SECTION_FUNCTIONS
2261 #define EXTRA_SECTION_FUNCTIONS                                         \
2262 void                                                                    \
2263 tdesc_section ()                                                        \
2264 {                                                                       \
2265   if (in_section != in_tdesc)                                           \
2266     {                                                                   \
2267       fprintf (asm_out_file, "%s\n", TDESC_SECTION_ASM_OP);             \
2268       in_section = in_tdesc;                                            \
2269     }                                                                   \
2270 }                                                                       \
2271                                                                         \
2272 void                                                                    \
2273 sdata_section ()                                                        \
2274 {                                                                       \
2275   if (in_section != in_sdata)                                           \
2276     {                                                                   \
2277       fprintf (asm_out_file, "%s\n", SDATA_SECTION_ASM_OP);             \
2278       in_section = in_sdata;                                            \
2279     }                                                                   \
2280 }                                                                       \
2281                                                                         \
2282   INIT_SECTION_FUNCTION                                                 \
2283   FINI_SECTION_FUNCTION
2284
2285 #define TARGET_ASM_SELECT_SECTION  m88k_select_section
2286
2287 /* Jump tables consist of branch instructions and should be output in
2288    the text section.  When we use a table of addresses, we explicitly
2289    change to the readonly data section.  */
2290 #define JUMP_TABLES_IN_TEXT_SECTION 1
2291 \f
2292 /* Print operand X (an rtx) in assembler syntax to file FILE.
2293    CODE is a letter or dot (`z' in `%z0') or 0 if no letter was specified.
2294    For `%' followed by punctuation, CODE is the punctuation and X is null.  */
2295 #define PRINT_OPERAND_PUNCT_VALID_P(c) \
2296   ((c) == '#' || (c) == '.' || (c) == '!' || (c) == '*' || (c) == ';')
2297
2298 #define PRINT_OPERAND(FILE, X, CODE) print_operand (FILE, X, CODE)
2299
2300 /* Print a memory address as an operand to reference that memory location.  */
2301 #define PRINT_OPERAND_ADDRESS(FILE, ADDR) print_operand_address (FILE, ADDR)
2302
2303 /* This says not to strength reduce the addr calculations within loops
2304    (otherwise it does not take advantage of m88k scaled loads and stores */
2305
2306 #define DONT_REDUCE_ADDR