OSDN Git Service

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