![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to i960.h CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [GCC 2.x] / gcc / config / i960|
Return to i960.h CVS log | Up to [GCC 2.x] / gcc / config / i960 |
1.1 root 1: /* Definitions of target machine for GNU compiler, for Intel 80960
2: Copyright (C) 1992 Free Software Foundation, Inc.
3: Contributed by Steven McGeady, Intel Corp.
4: Additional Work by Glenn Colon-Bonet, Jonathan Shapiro, Andy Wilson
5: Converted to GCC 2.0 by Jim Wilson and Michael Tiemann, Cygnus Support.
6:
7: This file is part of GNU CC.
8:
9: GNU CC is free software; you can redistribute it and/or modify
10: it under the terms of the GNU General Public License as published by
11: the Free Software Foundation; either version 2, or (at your option)
12: any later version.
13:
14: GNU CC is distributed in the hope that it will be useful,
15: but WITHOUT ANY WARRANTY; without even the implied warranty of
16: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17: GNU General Public License for more details.
18:
19: You should have received a copy of the GNU General Public License
20: along with GNU CC; see the file COPYING. If not, write to
21: the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
22:
23: /* Note that some other tm.h files may include this one and then override
24: many of the definitions that relate to assembler syntax. */
25:
26: /* Names to predefine in the preprocessor for this target machine. */
27: #define CPP_PREDEFINES "-Di960 -Di80960 -DI960 -DI80960"
28:
29: /* Name to predefine in the preprocessor for processor variations. */
30: #define CPP_SPEC "%{mic*:-D__i960\
31: %{mka:-D__i960KA}%{mkb:-D__i960KB}\
32: %{msa:-D__i960SA}%{msb:-D__i960SB}\
33: %{mmc:-D__i960MC}\
34: %{mca:-D__i960CA}%{mcc:-D__i960CC}\
35: %{mcf:-D__i960CF}}\
36: %{mka:-D__i960KA__ -D__i960_KA__}\
37: %{mkb:-D__i960KB__ -D__i960_KB__}\
38: %{msa:-D__i960SA__ -D__i960_SA__}\
39: %{msb:-D__i960SB__ -D__i960_SB__}\
40: %{mmc:-D__i960MC__ -D__i960_MC__}\
41: %{mca:-D__i960CA__ -D__i960_CA__}\
42: %{mcc:-D__i960CC__ -D__i960_CC__}\
43: %{mcf:-D__i960CF__ -D__i960_CF__}\
44: %{!mka:%{!mkb:%{!msa:%{!msb:%{!mmc:%{!mca:\
45: %{!mcc:%{!mcf:-D__i960_KB -D__i960KB__ %{mic*:-D__i960KB}}}}}}}}}"
46:
47: /* -mic* options make characters signed by default. */
48: #define SIGNED_CHAR_SPEC \
49: (DEFAULT_SIGNED_CHAR ? "%{funsigned-char:-D__CHAR_UNSIGNED__}" \
50: : "%{!fsigned-char:%{!mic*:-D__CHAR_UNSIGNED__}}")
51:
52: /* Specs for the compiler, to handle processor variations. */
53: #define CC1_SPEC \
54: "%{!mka:%{!mkb:%{!msa:%{!msb:%{!mmc:%{!mca:%{!mcc:%{!mcf:-mkb}}}}}}}}\
55: %{mbout:%{g*:-gstabs}}\
56: %{mcoff:%{g*:-gcoff}}\
57: %{!mbout:%{!mcoff:%{g*:-gstabs}}}"
58:
59: /* Specs for the assembler, to handle processor variations.
60: For compatibility with Intel's gnu960 tool chain, pass -A options to
61: the assembler. */
62: #define ASM_SPEC \
63: "%{mka:-AKA}%{mkb:-AKB}%{msa:-ASA}%{msb:-ASB}\
64: %{mmc:-AMC}%{mca:-ACA}%{mcc:-ACC}%{mcf:-ACF}\
65: %{!mka:%{!mkb:%{!msa:%{!msb:%{!mmc:%{!mca:%{!mcc:%{!mcf:-AKB}}}}}}}}\
66: %{mlink-relax:-link-relax}"
67:
68: /* Specs for the linker, to handle processor variations.
69: For compatibility with Intel's gnu960 tool chain, pass -F and -A options
70: to the linker. */
71: #define LINK_SPEC \
72: "%{mka:-AKA}%{mkb:-AKB}%{msa:-ASA}%{msb:-ASB}\
73: %{mmc:-AMC}%{mca:-ACA}%{mcc:-ACC}%{mcf:-ACF}\
74: %{!mka:%{!mkb:%{!msa:%{!msb:%{!mmc:%{!mca:%{!mcc:%{!mcf:-AKB}}}}}}}}\
75: %{mbout:-Fbout}%{mcoff:-Fcoff}\
76: %{mlink-relax:-relax}"
77:
78: /* Specs for the libraries to link with, to handle processor variations.
79: Compatible with Intel's gnu960 tool chain. */
80: #define LIB_SPEC "%{!nostdlib:-lcg %{p:-lprof}%{pg:-lgprof}\
81: %{mka:-lfpg}%{msa:-lfpg}%{mca:-lfpg}%{mcf:-lfpg} -lgnu}"
82:
83: /* Omit frame pointer at -O2. Inline functions at -O3. */
84: #define OPTIMIZATION_OPTIONS(LEVEL) \
85: { \
86: if ((LEVEL) >= 2) \
87: { \
88: flag_omit_frame_pointer = 1; \
89: target_flags |= TARGET_FLAG_LEAFPROC; \
90: target_flags |= TARGET_FLAG_TAILCALL; \
91: } \
92: }
93:
94: /* Print subsidiary information on the compiler version in use. */
95: #define TARGET_VERSION fprintf (stderr," (intel 80960)");
96:
97: /* Generate DBX debugging information. */
98: #define DBX_DEBUGGING_INFO
99:
100: /* Generate SDB style debugging information. */
101: #define SDB_DEBUGGING_INFO
102:
103: /* Generate DBX_DEBUGGING_INFO by default. */
104: #define PREFERRED_DEBUGGING_TYPE DBX_DEBUG
105:
106: /* Redefine this to print in hex like iC960. */
107: #define PUT_SDB_TYPE(A) fprintf (asm_out_file, "\t.type\t0x%x;", A)
108:
109: /* Run-time compilation parameters selecting different hardware subsets. */
110:
111: /* 960 architecture with floating-point. */
112: #define TARGET_FLAG_NUMERICS 0x01
113: #define TARGET_NUMERICS (target_flags & TARGET_FLAG_NUMERICS)
114:
115: /* 960 architecture with memory management. */
116: /* ??? Not used currently. */
117: #define TARGET_FLAG_PROTECTED 0x02
118: #define TARGET_PROTECTED (target_flags & TARGET_FLAG_PROTECTED)
119:
120: /* The following three are mainly used to provide a little sanity checking
121: against the -mARCH flags given. */
122:
123: /* Nonzero if we should generate code for the KA and similar processors.
124: No FPU, no microcode instructions. */
125: #define TARGET_FLAG_K_SERIES 0x04
126: #define TARGET_K_SERIES (target_flags & TARGET_FLAG_K_SERIES)
127:
128: /* Nonzero if we should generate code for the MC processor.
129: Not really different from KB for our purposes. */
130: #define TARGET_FLAG_MC 0x08
131: #define TARGET_MC (target_flags & TARGET_FLAG_MC)
132:
133: /* Nonzero if we should generate code for the CA processor.
134: Enables different optimization strategies. */
135: #define TARGET_FLAG_C_SERIES 0x10
136: #define TARGET_C_SERIES (target_flags & TARGET_FLAG_C_SERIES)
137:
138: /* Nonzero if we should generate leaf-procedures when we find them.
139: You may not want to do this because leaf-proc entries are
140: slower when not entered via BAL - this would be true when
141: a linker not supporting the optimization is used. */
142: #define TARGET_FLAG_LEAFPROC 0x20
143: #define TARGET_LEAFPROC (target_flags & TARGET_FLAG_LEAFPROC)
144:
145: /* Nonzero if we should perform tail-call optimizations when we find them.
146: You may not want to do this because the detection of cases where
147: this is not valid is not totally complete. */
148: #define TARGET_FLAG_TAILCALL 0x40
149: #define TARGET_TAILCALL (target_flags & TARGET_FLAG_TAILCALL)
150:
151: /* Nonzero if use of a complex addressing mode is a win on this implementation.
152: Complex addressing modes are probably not worthwhile on the K-series,
153: but they definitely are on the C-series. */
154: #define TARGET_FLAG_COMPLEX_ADDR 0x80
155: #define TARGET_COMPLEX_ADDR (target_flags & TARGET_FLAG_COMPLEX_ADDR)
156:
157: /* Align code to 8 byte boundaries for faster fetching. */
158: #define TARGET_FLAG_CODE_ALIGN 0x100
159: #define TARGET_CODE_ALIGN (target_flags & TARGET_FLAG_CODE_ALIGN)
160:
161: /* Append branch prediction suffixes to branch opcodes. */
162: /* ??? Not used currently. */
163: #define TARGET_FLAG_BRANCH_PREDICT 0x200
164: #define TARGET_BRANCH_PREDICT (target_flags & TARGET_FLAG_BRANCH_PREDICT)
165:
166: /* Forces prototype and return promotions. */
167: /* ??? This does not work. */
168: #define TARGET_FLAG_CLEAN_LINKAGE 0x400
169: #define TARGET_CLEAN_LINKAGE (target_flags & TARGET_FLAG_CLEAN_LINKAGE)
170:
171: /* For compatibility with iC960 v3.0. */
172: #define TARGET_FLAG_IC_COMPAT3_0 0x800
173: #define TARGET_IC_COMPAT3_0 (target_flags & TARGET_FLAG_IC_COMPAT3_0)
174:
175: /* For compatibility with iC960 v2.0. */
176: #define TARGET_FLAG_IC_COMPAT2_0 0x1000
177: #define TARGET_IC_COMPAT2_0 (target_flags & TARGET_FLAG_IC_COMPAT2_0)
178:
179: /* If no unaligned accesses are to be permitted. */
180: #define TARGET_FLAG_STRICT_ALIGN 0x2000
181: #define TARGET_STRICT_ALIGN (target_flags & TARGET_FLAG_STRICT_ALIGN)
182:
183: /* For compatibility with iC960 assembler. */
184: #define TARGET_FLAG_ASM_COMPAT 0x4000
185: #define TARGET_ASM_COMPAT (target_flags & TARGET_FLAG_ASM_COMPAT)
186:
187: /* For compatibility with the gcc960 v1.2 compiler. Use the old structure
188: alignment rules. Also, turns on STRICT_ALIGNMENT. */
189: #define TARGET_FLAG_OLD_ALIGN 0x8000
190: #define TARGET_OLD_ALIGN (target_flags & TARGET_FLAG_OLD_ALIGN)
191:
192: extern int target_flags;
193:
194: /* Macro to define tables used to set the flags.
195: This is a list in braces of pairs in braces,
196: each pair being { "NAME", VALUE }
197: where VALUE is the bits to set or minus the bits to clear.
198: An empty string NAME is used to identify the default VALUE. */
199:
200: /* ??? Not all ten of these architecture variations actually exist, but I
201: am not sure which are real and which aren't. */
202:
203: #define TARGET_SWITCHES \
204: { {"sa", (TARGET_FLAG_K_SERIES|TARGET_FLAG_COMPLEX_ADDR)},\
205: {"sb", (TARGET_FLAG_NUMERICS|TARGET_FLAG_K_SERIES| \
206: TARGET_FLAG_COMPLEX_ADDR)},\
207: /* {"sc", (TARGET_FLAG_NUMERICS|TARGET_FLAG_PROTECTED|\
208: TARGET_FLAG_MC|TARGET_FLAG_COMPLEX_ADDR)},*/ \
209: {"ka", (TARGET_FLAG_K_SERIES|TARGET_FLAG_COMPLEX_ADDR)},\
210: {"kb", (TARGET_FLAG_NUMERICS|TARGET_FLAG_K_SERIES| \
211: TARGET_FLAG_COMPLEX_ADDR)},\
212: /* {"kc", (TARGET_FLAG_NUMERICS|TARGET_FLAG_PROTECTED|\
213: TARGET_FLAG_MC|TARGET_FLAG_COMPLEX_ADDR)},*/ \
214: {"mc", (TARGET_FLAG_NUMERICS|TARGET_FLAG_PROTECTED|\
215: TARGET_FLAG_MC|TARGET_FLAG_COMPLEX_ADDR)},\
216: {"ca", (TARGET_FLAG_C_SERIES|TARGET_FLAG_BRANCH_PREDICT|\
217: TARGET_FLAG_CODE_ALIGN|TARGET_FLAG_COMPLEX_ADDR)},\
218: /* {"cb", (TARGET_FLAG_NUMERICS|TARGET_FLAG_C_SERIES|\
219: TARGET_FLAG_BRANCH_PREDICT|TARGET_FLAG_CODE_ALIGN)},\
220: {"cc", (TARGET_FLAG_NUMERICS|TARGET_FLAG_PROTECTED|\
221: TARGET_FLAG_C_SERIES|TARGET_FLAG_BRANCH_PREDICT|\
222: TARGET_FLAG_CODE_ALIGN)}, */ \
223: {"cf", (TARGET_FLAG_C_SERIES|TARGET_FLAG_BRANCH_PREDICT|\
224: TARGET_FLAG_CODE_ALIGN|TARGET_FLAG_COMPLEX_ADDR)},\
225: {"numerics", (TARGET_FLAG_NUMERICS)}, \
226: {"soft-float", -(TARGET_FLAG_NUMERICS)}, \
227: {"leaf-procedures", TARGET_FLAG_LEAFPROC}, \
228: {"no-leaf-procedures",-(TARGET_FLAG_LEAFPROC)}, \
229: {"tail-call",TARGET_FLAG_TAILCALL}, \
230: {"no-tail-call",-(TARGET_FLAG_TAILCALL)}, \
231: {"complex-addr",TARGET_FLAG_COMPLEX_ADDR}, \
232: {"no-complex-addr",-(TARGET_FLAG_COMPLEX_ADDR)}, \
233: {"code-align",TARGET_FLAG_CODE_ALIGN}, \
234: {"no-code-align",-(TARGET_FLAG_CODE_ALIGN)}, \
235: {"clean-linkage", (TARGET_FLAG_CLEAN_LINKAGE)}, \
236: {"no-clean-linkage", -(TARGET_FLAG_CLEAN_LINKAGE)}, \
237: {"ic-compat", TARGET_FLAG_IC_COMPAT2_0}, \
238: {"ic2.0-compat", TARGET_FLAG_IC_COMPAT2_0}, \
239: {"ic3.0-compat", TARGET_FLAG_IC_COMPAT3_0}, \
240: {"asm-compat",TARGET_FLAG_ASM_COMPAT}, \
241: {"intel-asm",TARGET_FLAG_ASM_COMPAT}, \
242: {"strict-align", TARGET_FLAG_STRICT_ALIGN}, \
243: {"no-strict-align", -(TARGET_FLAG_STRICT_ALIGN)}, \
244: {"old-align", TARGET_FLAG_OLD_ALIGN}, \
245: {"no-old-align", -(TARGET_FLAG_OLD_ALIGN)}, \
246: {"link-relax", 0}, \
247: {"no-link-relax", 0}, \
248: { "", TARGET_DEFAULT}}
249:
250: /* Override conflicting target switch options.
251: Doesn't actually detect if more than one -mARCH option is given, but
252: does handle the case of two blatantly conflicting -mARCH options. */
253: #define OVERRIDE_OPTIONS \
254: { \
255: if (TARGET_K_SERIES && TARGET_C_SERIES) \
256: { \
257: warning ("conflicting architectures defined - using C series", 0); \
258: target_flags &= ~TARGET_FLAG_K_SERIES; \
259: } \
260: if (TARGET_K_SERIES && TARGET_MC) \
261: { \
262: warning ("conflicting architectures defined - using K series", 0); \
263: target_flags &= ~TARGET_FLAG_MC; \
264: } \
265: if (TARGET_C_SERIES && TARGET_MC) \
266: { \
267: warning ("conflicting architectures defined - using C series", 0);\
268: target_flags &= ~TARGET_FLAG_MC; \
269: } \
270: if (TARGET_IC_COMPAT3_0) \
271: { \
272: flag_short_enums = 1; \
273: flag_signed_char = 1; \
274: target_flags |= TARGET_FLAG_CLEAN_LINKAGE; \
275: if (TARGET_IC_COMPAT2_0) \
276: { \
277: warning ("iC2.0 and iC3.0 are incompatible - using iC3.0", 0); \
278: target_flags &= ~TARGET_FLAG_IC_COMPAT2_0; \
279: } \
280: } \
281: if (TARGET_IC_COMPAT2_0) \
282: { \
283: flag_signed_char = 1; \
284: target_flags |= TARGET_FLAG_CLEAN_LINKAGE; \
285: } \
286: i960_initialize (); \
287: }
288:
289: /* Don't enable anything by default. The user is expected to supply a -mARCH
290: option. If none is given, then -mkb is added by CC1_SPEC. */
291: #define TARGET_DEFAULT 0
292:
293: /* Target machine storage layout. */
294:
295: /* Define this if most significant bit is lowest numbered
296: in instructions that operate on numbered bit-fields. */
297: #define BITS_BIG_ENDIAN 0
298:
299: /* Define this if most significant byte of a word is the lowest numbered.
300: The i960 case be either big endian or little endian. We only support
301: little endian, which is the most common. */
302: #define BYTES_BIG_ENDIAN 0
303:
304: /* Define this if most significant word of a multiword number is lowest
305: numbered. */
306: #define WORDS_BIG_ENDIAN 0
307:
308: /* Number of bits in an addressable storage unit. */
309: #define BITS_PER_UNIT 8
310:
311: /* Bitfields cannot cross word boundaries. */
312: #define BITFIELD_NBYTES_LIMITED 1
313:
314: /* Width in bits of a "word", which is the contents of a machine register.
315: Note that this is not necessarily the width of data type `int';
316: if using 16-bit ints on a 68000, this would still be 32.
317: But on a machine with 16-bit registers, this would be 16. */
318: #define BITS_PER_WORD 32
319:
320: /* Width of a word, in units (bytes). */
321: #define UNITS_PER_WORD 4
322:
323: /* Width in bits of a pointer. See also the macro `Pmode' defined below. */
324: #define POINTER_SIZE 32
325:
326: /* Width in bits of a long double. Identical to double for now. */
327: #define LONG_DOUBLE_TYPE_SIZE 64
328:
329: /* Allocation boundary (in *bits*) for storing pointers in memory. */
330: #define POINTER_BOUNDARY 32
331:
332: /* Allocation boundary (in *bits*) for storing arguments in argument list. */
333: #define PARM_BOUNDARY 32
334:
335: /* Boundary (in *bits*) on which stack pointer should be aligned. */
336: #define STACK_BOUNDARY 128
337:
338: /* Allocation boundary (in *bits*) for the code of a function. */
339: #define FUNCTION_BOUNDARY 128
340:
341: /* Alignment of field after `int : 0' in a structure. */
342: #define EMPTY_FIELD_BOUNDARY 32
343:
344: /* This makes zero-length anonymous fields lay the next field
345: at a word boundary. It also makes the whole struct have
346: at least word alignment if there are any bitfields at all. */
347: #define PCC_BITFIELD_TYPE_MATTERS 1
348:
349: /* Every structure's size must be a multiple of this. */
350: #define STRUCTURE_SIZE_BOUNDARY 8
351:
352: /* No data type wants to be aligned rounder than this.
353: Extended precision floats gets 4-word alignment. */
354: #define BIGGEST_ALIGNMENT 128
355:
356: /* Define this if move instructions will actually fail to work
357: when given unaligned data.
358: 80960 will work even with unaligned data, but it is slow. */
359: #define STRICT_ALIGNMENT TARGET_OLD_ALIGN
360:
361: /* Specify alignment for string literals (which might be higher than the
362: base type's minimal alignment requirement. This allows strings to be
363: aligned on word boundaries, and optimizes calls to the str* and mem*
364: library functions. */
365: #define CONSTANT_ALIGNMENT(EXP, ALIGN) \
366: (TREE_CODE (EXP) == STRING_CST \
367: && i960_object_bytes_bitalign (int_size_in_bytes (TREE_TYPE (EXP))) > (ALIGN) \
368: ? i960_object_bytes_bitalign (int_size_in_bytes (TREE_TYPE (EXP))) \
369: : (ALIGN))
370:
371: /* Macros to determine size of aggregates (structures and unions
372: in C). Normally, these may be defined to simply return the maximum
373: alignment and simple rounded-up size, but on some machines (like
374: the i960), the total size of a structure is based on a non-trivial
375: rounding method. */
376:
377: #define ROUND_TYPE_ALIGN(TYPE, COMPUTED, SPECIFIED) \
378: ((!TARGET_OLD_ALIGN && TREE_CODE (TYPE) == RECORD_TYPE) \
379: ? i960_round_align ((SPECIFIED), TYPE_SIZE (TYPE)) \
380: : MAX ((COMPUTED), (SPECIFIED)))
381:
382: #define ROUND_TYPE_SIZE(TYPE, SIZE, ALIGN) \
383: ((!TARGET_OLD_ALIGN && TREE_CODE (TYPE) == RECORD_TYPE) \
384: ? (tree) i960_round_size (SIZE) \
385: : round_up ((SIZE), (ALIGN)))
386:
387: /* Standard register usage. */
388:
389: /* Number of actual hardware registers.
390: The hardware registers are assigned numbers for the compiler
391: from 0 to just below FIRST_PSEUDO_REGISTER.
392: All registers that the compiler knows about must be given numbers,
393: even those that are not normally considered general registers.
394:
395: Registers 0-15 are the global registers (g0-g15).
396: Registers 16-31 are the local registers (r0-r15).
397: Register 32-35 are the fp registers (fp0-fp3).
398: Register 36 is the condition code register.
399: Register 37 is unused. */
400:
401: #define FIRST_PSEUDO_REGISTER 38
402:
403: /* 1 for registers that have pervasive standard uses and are not available
404: for the register allocator. On 80960, this includes the frame pointer
405: (g15), the previous FP (r0), the stack pointer (r1), the return
406: instruction pointer (r2), and the argument pointer (g14). */
407: #define FIXED_REGISTERS \
408: {0, 0, 0, 0, 0, 0, 0, 0, \
409: 0, 0, 0, 0, 0, 0, 1, 1, \
410: 1, 1, 1, 0, 0, 0, 0, 0, \
411: 0, 0, 0, 0, 0, 0, 0, 0, \
412: 0, 0, 0, 0, 1, 1}
413:
414: /* 1 for registers not available across function calls.
415: These must include the FIXED_REGISTERS and also any
416: registers that can be used without being saved.
417: The latter must include the registers where values are returned
418: and the register where structure-value addresses are passed.
419: Aside from that, you can include as many other registers as you like. */
420:
421: /* On the 80960, note that:
422: g0..g3 are used for return values,
423: g0..g7 may always be used for parameters,
424: g8..g11 may be used for parameters, but are preserved if they aren't,
425: g12 is always preserved, but otherwise unused,
426: g13 is the struct return ptr if used, or temp, but may be trashed,
427: g14 is the leaf return ptr or the arg block ptr otherwise zero,
428: must be reset to zero before returning if it was used,
429: g15 is the frame pointer,
430: r0 is the previous FP,
431: r1 is the stack pointer,
432: r2 is the return instruction pointer,
433: r3-r15 are always available,
434: r3 is clobbered by calls in functions that use the arg pointer
435: r4-r11 may be clobbered by the mcount call when profiling
436: r4-r15 if otherwise unused may be used for preserving global registers
437: fp0..fp3 are never available. */
438: #define CALL_USED_REGISTERS \
439: {1, 1, 1, 1, 1, 1, 1, 1, \
440: 0, 0, 0, 0, 0, 1, 1, 1, \
441: 1, 1, 1, 0, 0, 0, 0, 0, \
442: 0, 0, 0, 0, 0, 0, 0, 0, \
443: 1, 1, 1, 1, 1, 1}
444:
445: /* If no fp unit, make all of the fp registers fixed so that they can't
446: be used. */
447: #define CONDITIONAL_REGISTER_USAGE \
448: if (! TARGET_NUMERICS) { \
449: fixed_regs[32] = fixed_regs[33] = fixed_regs[34] = fixed_regs[35] = 1;\
450: } \
451:
452: /* Return number of consecutive hard regs needed starting at reg REGNO
453: to hold something of mode MODE.
454: This is ordinarily the length in words of a value of mode MODE
455: but can be less for certain modes in special long registers.
456:
457: On 80960, ordinary registers hold 32 bits worth, but can be ganged
458: together to hold double or extended precision floating point numbers,
459: and the floating point registers hold any size floating point number */
460: #define HARD_REGNO_NREGS(REGNO, MODE) \
461: ((REGNO) < 32 \
462: ? (((MODE) == VOIDmode) \
463: ? 1 : ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) / UNITS_PER_WORD)) \
464: : ((REGNO) < FIRST_PSEUDO_REGISTER) ? 1 : 0)
465:
466: /* Value is 1 if hard register REGNO can hold a value of machine-mode MODE.
467: On 80960, the cpu registers can hold any mode but the float registers
468: can only hold SFmode, DFmode, or TFmode. */
469: extern unsigned int hard_regno_mode_ok[FIRST_PSEUDO_REGISTER];
470: #define HARD_REGNO_MODE_OK(REGNO, MODE) \
471: ((hard_regno_mode_ok[REGNO] & (1 << (int) (MODE))) != 0)
472:
473: /* Value is 1 if it is a good idea to tie two pseudo registers
474: when one has mode MODE1 and one has mode MODE2.
475: If HARD_REGNO_MODE_OK could produce different values for MODE1 and MODE2,
476: for any hard reg, then this must be 0 for correct output. */
477:
478: #define MODES_TIEABLE_P(MODE1, MODE2) \
479: ((MODE1) == (MODE2) || GET_MODE_CLASS (MODE1) == GET_MODE_CLASS (MODE2))
480:
481: /* Specify the registers used for certain standard purposes.
482: The values of these macros are register numbers. */
483:
484: /* 80960 pc isn't overloaded on a register that the compiler knows about. */
485: /* #define PC_REGNUM */
486:
487: /* Register to use for pushing function arguments. */
488: #define STACK_POINTER_REGNUM 17
489:
490: /* Actual top-of-stack address is same as
491: the contents of the stack pointer register. */
492: #define STACK_POINTER_OFFSET (-current_function_outgoing_args_size)
493:
494: /* Base register for access to local variables of the function. */
495: #define FRAME_POINTER_REGNUM 15
496:
497: /* Value should be nonzero if functions must have frame pointers.
498: Zero means the frame pointer need not be set up (and parms
499: may be accessed via the stack pointer) in functions that seem suitable.
500: This is computed in `reload', in reload1.c. */
501: #define FRAME_POINTER_REQUIRED (! leaf_function_p ())
502:
503: /* C statement to store the difference between the frame pointer
504: and the stack pointer values immediately after the function prologue. */
505:
506: #define INITIAL_FRAME_POINTER_OFFSET(VAR) \
507: do { (VAR) = compute_frame_size (get_frame_size ()); } while (0)
508:
509: /* Base register for access to arguments of the function. */
510: #define ARG_POINTER_REGNUM 14
511:
512: /* Register in which static-chain is passed to a function.
513: On i960, we use r3. */
514: #define STATIC_CHAIN_REGNUM 19
515:
516: /* Functions which return large structures get the address
517: to place the wanted value at in g13. */
518:
519: #define STRUCT_VALUE_REGNUM 13
520:
521: /* The order in which to allocate registers. */
522:
523: #define REG_ALLOC_ORDER \
524: { 4, 5, 6, 7, 0, 1, 2, 3, 13, /* g4, g5, g6, g7, g0, g1, g2, g3, g13 */ \
525: 20, 21, 22, 23, 24, 25, 26, 27,/* r4, r5, r6, r7, r8, r9, r10, r11 */ \
526: 28, 29, 30, 31, 19, 8, 9, 10, /* r12, r13, r14, r15, r3, g8, g9, g10 */ \
527: 11, 12, /* g11, g12 */ \
528: 32, 33, 34, 35, /* fp0, fp1, fp2, fp3 */ \
529: /* We can't actually allocate these. */ \
530: 16, 17, 18, 14, 15, 36, 37} /* r0, r1, r2, g14, g15, cc */
531:
532: /* Define the classes of registers for register constraints in the
533: machine description. Also define ranges of constants.
534:
535: One of the classes must always be named ALL_REGS and include all hard regs.
536: If there is more than one class, another class must be named NO_REGS
537: and contain no registers.
538:
539: The name GENERAL_REGS must be the name of a class (or an alias for
540: another name such as ALL_REGS). This is the class of registers
541: that is allowed by "g" or "r" in a register constraint.
542: Also, registers outside this class are allocated only when
543: instructions express preferences for them.
544:
545: The classes must be numbered in nondecreasing order; that is,
546: a larger-numbered class must never be contained completely
547: in a smaller-numbered class.
548:
549: For any two classes, it is very desirable that there be another
550: class that represents their union. */
551:
552: /* The 80960 has four kinds of registers, global, local, floating point,
553: and condition code. The cc register is never allocated, so no class
554: needs to be defined for it. */
555:
556: enum reg_class { NO_REGS, GLOBAL_REGS, LOCAL_REGS, LOCAL_OR_GLOBAL_REGS,
557: FP_REGS, ALL_REGS, LIM_REG_CLASSES };
558:
559: /* 'r' includes floating point registers if TARGET_NUMERICS. 'd' never
560: does. */
561: #define GENERAL_REGS ((TARGET_NUMERICS) ? ALL_REGS : LOCAL_OR_GLOBAL_REGS)
562:
563: #define N_REG_CLASSES (int) LIM_REG_CLASSES
564:
565: /* Give names of register classes as strings for dump file. */
566:
567: #define REG_CLASS_NAMES \
568: { "NO_REGS", "GLOBAL_REGS", "LOCAL_REGS", "LOCAL_OR_GLOBAL_REGS", \
569: "FP_REGS", "ALL_REGS" }
570:
571: /* Define which registers fit in which classes.
572: This is an initializer for a vector of HARD_REG_SET
573: of length N_REG_CLASSES. */
574:
575: #define REG_CLASS_CONTENTS \
576: { {0, 0}, {0x0ffff, 0}, {0xffff0000, 0}, {-1,0}, {0, -1}, {-1,-1}}
577:
578: /* The same information, inverted:
579: Return the class number of the smallest class containing
580: reg number REGNO. This could be a conditional expression
581: or could index an array. */
582:
583: #define REGNO_REG_CLASS(REGNO) \
584: ((REGNO) < 16 ? GLOBAL_REGS \
585: : (REGNO) < 32 ? LOCAL_REGS \
586: : (REGNO) < 36 ? FP_REGS \
587: : NO_REGS)
588:
589: /* The class value for index registers, and the one for base regs.
590: There is currently no difference between base and index registers on the
591: i960, but this distinction may one day be useful. */
592: #define INDEX_REG_CLASS LOCAL_OR_GLOBAL_REGS
593: #define BASE_REG_CLASS LOCAL_OR_GLOBAL_REGS
594:
595: /* Get reg_class from a letter such as appears in the machine description.
596: 'f' is a floating point register (fp0..fp3)
597: 'l' is a local register (r0-r15)
598: 'b' is a global register (g0-g15)
599: 'd' is any local or global register
600: 'r' or 'g' are pre-defined to the class GENERAL_REGS. */
601: /* 'l' and 'b' are probably never used. Note that 'd' and 'r' are *not*
602: the same thing, since 'r' may include the fp registers. */
603: #define REG_CLASS_FROM_LETTER(C) \
604: (((C) == 'f') && (TARGET_NUMERICS) ? FP_REGS : ((C) == 'l' ? LOCAL_REGS : \
605: (C) == 'b' ? GLOBAL_REGS : ((C) == 'd' ? LOCAL_OR_GLOBAL_REGS : NO_REGS)))
606:
607: /* The letters I, J, K, L and M in a register constraint string
608: can be used to stand for particular ranges of immediate operands.
609: This macro defines what the ranges are.
610: C is the letter, and VALUE is a constant value.
611: Return 1 if VALUE is in the range specified by C.
612:
613: For 80960:
614: 'I' is used for literal values 0..31
615: 'J' means literal 0
616: 'K' means 0..-31. */
617:
618: #define CONST_OK_FOR_LETTER_P(VALUE, C) \
619: ((C) == 'I' ? (((unsigned) (VALUE)) <= 31) \
620: : (C) == 'J' ? ((VALUE) == 0) \
621: : (C) == 'K' ? ((VALUE) > -32 && (VALUE) <= 0) \
622: : 0)
623:
624: /* Similar, but for floating constants, and defining letters G and H.
625: Here VALUE is the CONST_DOUBLE rtx itself.
626: For the 80960, G is 0.0 and H is 1.0. */
627:
628: #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \
629: ((TARGET_NUMERICS) && \
630: (((C) == 'G' && ((VALUE) == CONST0_RTX (DFmode) \
631: || (VALUE) == CONST0_RTX (SFmode))) \
632: || ((C) == 'H' && ((VALUE) == CONST1_RTX (DFmode) \
633: || (VALUE) == CONST1_RTX (SFmode)))))
634:
635: /* Given an rtx X being reloaded into a reg required to be
636: in class CLASS, return the class of reg to actually use.
637: In general this is just CLASS; but on some machines
638: in some cases it is preferable to use a more restrictive class. */
639:
640: /* On 960, can't load constant into floating-point reg except
641: 0.0 or 1.0.
642:
643: Any hard reg is ok as a src operand of a reload insn. */
644:
645: #define PREFERRED_RELOAD_CLASS(X,CLASS) \
646: (GET_CODE (X) == REG && REGNO (X) < FIRST_PSEUDO_REGISTER \
647: ? (CLASS) \
648: : ((CLASS) == FP_REGS && CONSTANT_P (X) \
649: && (X) != CONST0_RTX (DFmode) && (X) != CONST1_RTX (DFmode)\
650: && (X) != CONST0_RTX (SFmode) && (X) != CONST1_RTX (SFmode)\
651: ? NO_REGS \
652: : (CLASS) == ALL_REGS ? LOCAL_OR_GLOBAL_REGS : (CLASS)))
653:
654: #define SECONDARY_RELOAD_CLASS(CLASS,MODE,IN) \
655: secondary_reload_class (CLASS, MODE, IN)
656:
657: /* Return the maximum number of consecutive registers
658: needed to represent mode MODE in a register of class CLASS. */
659: /* On 80960, this is the size of MODE in words,
660: except in the FP regs, where a single reg is always enough. */
661: #define CLASS_MAX_NREGS(CLASS, MODE) \
662: ((CLASS) == FP_REGS ? 1 : HARD_REGNO_NREGS (0, (MODE)))
663:
664: /* Stack layout; function entry, exit and calling. */
665:
666: /* Define this if pushing a word on the stack
667: makes the stack pointer a smaller address. */
668: /* #define STACK_GROWS_DOWNWARD */
669:
670: /* Define this if the nominal address of the stack frame
671: is at the high-address end of the local variables;
672: that is, each additional local variable allocated
673: goes at a more negative offset in the frame. */
674: /* #define FRAME_GROWS_DOWNWARD */
675:
676: /* Offset within stack frame to start allocating local variables at.
677: If FRAME_GROWS_DOWNWARD, this is the offset to the END of the
678: first local allocated. Otherwise, it is the offset to the BEGINNING
679: of the first local allocated.
680:
681: The i960 has a 64 byte register save area, plus possibly some extra
682: bytes allocated for varargs functions. */
683: #define STARTING_FRAME_OFFSET 64
684:
685: /* If we generate an insn to push BYTES bytes,
686: this says how many the stack pointer really advances by.
687: On 80960, don't define this because there are no push insns. */
688: /* #define PUSH_ROUNDING(BYTES) BYTES */
689:
690: /* Offset of first parameter from the argument pointer register value. */
691: #define FIRST_PARM_OFFSET(FNDECL) 0
692:
693: /* When a parameter is passed in a register, no stack space is
694: allocated for it. However, when args are passed in the
695: stack, space is allocated for every register parameter. */
696: #define MAYBE_REG_PARM_STACK_SPACE 48
697: #define FINAL_REG_PARM_STACK_SPACE(CONST_SIZE, VAR_SIZE) \
698: i960_final_reg_parm_stack_space (CONST_SIZE, VAR_SIZE);
699: #define REG_PARM_STACK_SPACE(DECL) i960_reg_parm_stack_space (DECL)
700: #define OUTGOING_REG_PARM_STACK_SPACE
701:
702: /* Keep the stack pointer constant throughout the function. */
703: #define ACCUMULATE_OUTGOING_ARGS
704:
705: /* Value is 1 if returning from a function call automatically
706: pops the arguments described by the number-of-args field in the call.
707: FUNTYPE is the data type of the function (as a tree),
708: or for a library call it is an identifier node for the subroutine name. */
709:
710: #define RETURN_POPS_ARGS(FUNTYPE, SIZE) 0
711:
712: /* Define how to find the value returned by a library function
713: assuming the value has mode MODE. */
714:
715: #define LIBCALL_VALUE(MODE) gen_rtx ((REG), (MODE), 0)
716:
717: /* 1 if N is a possible register number for a function value
718: as seen by the caller.
719: On 80960, returns are in g0..g3 */
720:
721: #define FUNCTION_VALUE_REGNO_P(N) ((N) == 0)
722:
723: /* 1 if N is a possible register number for function argument passing.
724: On 80960, parameters are passed in g0..g11 */
725:
726: #define FUNCTION_ARG_REGNO_P(N) ((N) < 12)
727:
728: /* Perform any needed actions needed for a function that is receiving a
729: variable number of arguments.
730:
731: CUM is as above.
732:
733: MODE and TYPE are the mode and type of the current parameter.
734:
735: PRETEND_SIZE is a variable that should be set to the amount of stack
736: that must be pushed by the prolog to pretend that our caller pushed
737: it.
738:
739: Normally, this macro will push all remaining incoming registers on the
740: stack and set PRETEND_SIZE to the length of the registers pushed. */
741:
742: #define SETUP_INCOMING_VARARGS(CUM,MODE,TYPE,PRETEND_SIZE,NO_RTL) \
743: i960_setup_incoming_varargs(&CUM,MODE,TYPE,&PRETEND_SIZE,NO_RTL)
744:
745: /* Define a data type for recording info about an argument list
746: during the scan of that argument list. This data type should
747: hold all necessary information about the function itself
748: and about the args processed so far, enough to enable macros
749: such as FUNCTION_ARG to determine where the next arg should go.
750:
751: On 80960, this is two integers, which count the number of register
752: parameters and the number of stack parameters seen so far. */
753:
754: struct cum_args { int ca_nregparms; int ca_nstackparms; };
755:
756: #define CUMULATIVE_ARGS struct cum_args
757:
758: /* Define the number of registers that can hold parameters.
759: This macro is used only in macro definitions below and/or i960.c. */
760: #define NPARM_REGS 12
761:
762: /* Define how to round to the next parameter boundary.
763: This macro is used only in macro definitions below and/or i960.c. */
764: #define ROUND_PARM(X, MULTIPLE_OF) \
765: ((((X) + (MULTIPLE_OF) - 1) / (MULTIPLE_OF)) * MULTIPLE_OF)
766:
767: /* Initialize a variable CUM of type CUMULATIVE_ARGS
768: for a call to a function whose data type is FNTYPE.
769: For a library call, FNTYPE is 0.
770:
771: On 80960, the offset always starts at 0; the first parm reg is g0. */
772:
773: #define INIT_CUMULATIVE_ARGS(CUM,FNTYPE,LIBNAME) \
774: ((CUM).ca_nregparms = 0, (CUM).ca_nstackparms = 0)
775:
776: /* Update the data in CUM to advance over an argument
777: of mode MODE and data type TYPE.
778: CUM should be advanced to align with the data type accessed and
779: also the size of that data type in # of regs.
780: (TYPE is null for libcalls where that information may not be available.) */
781:
782: #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \
783: i960_function_arg_advance(&CUM, MODE, TYPE, NAMED)
784:
785: /* Indicate the alignment boundary for an argument of the specified mode and
786: type. */
787: #define FUNCTION_ARG_BOUNDARY(MODE, TYPE) \
788: (((TYPE) != 0) \
789: ? ((TYPE_ALIGN (TYPE) <= PARM_BOUNDARY) \
790: ? PARM_BOUNDARY \
791: : TYPE_ALIGN (TYPE)) \
792: : ((GET_MODE_ALIGNMENT (MODE) <= PARM_BOUNDARY) \
793: ? PARM_BOUNDARY \
794: : GET_MODE_ALIGNMENT (MODE)))
795:
796: /* Determine where to put an argument to a function.
797: Value is zero to push the argument on the stack,
798: or a hard register in which to store the argument.
799:
800: MODE is the argument's machine mode.
801: TYPE is the data type of the argument (as a tree).
802: This is null for libcalls where that information may
803: not be available.
804: CUM is a variable of type CUMULATIVE_ARGS which gives info about
805: the preceding args and about the function being called.
806: NAMED is nonzero if this argument is a named parameter
807: (otherwise it is an extra parameter matching an ellipsis). */
808:
809: extern struct rtx_def *i960_function_arg ();
810: #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \
811: i960_function_arg(&CUM, MODE, TYPE, NAMED)
812:
813: /* Define how to find the value returned by a function.
814: VALTYPE is the data type of the value (as a tree).
815: If the precise function being called is known, FUNC is its FUNCTION_DECL;
816: otherwise, FUNC is 0. */
817:
818: #define FUNCTION_VALUE(TYPE, FUNC) \
819: gen_rtx (REG, TYPE_MODE (TYPE), 0)
820:
821: /* Force aggregates and objects larger than 16 bytes to be returned in memory,
822: since we only have 4 registers available for return values. */
823:
824: #define RETURN_IN_MEMORY(TYPE) \
825: (TYPE_MODE (TYPE) == BLKmode || int_size_in_bytes (TYPE) > 16)
826:
827: /* Don't default to pcc-struct-return, because we have already specified
828: exactly how to return structures in the RETURN_IN_MEMORY macro. */
829: #define DEFAULT_PCC_STRUCT_RETURN 0
830:
831: /* For an arg passed partly in registers and partly in memory,
832: this is the number of registers used.
833: This never happens on 80960. */
834:
835: #define FUNCTION_ARG_PARTIAL_NREGS(CUM, MODE, TYPE, NAMED) 0
836:
837: /* Output the label for a function definition.
838: This handles leaf functions and a few other things for the i960. */
839:
840: #define ASM_DECLARE_FUNCTION_NAME(FILE, NAME, DECL) \
841: i960_function_name_declare (FILE, NAME, DECL)
842:
843: /* This macro generates the assembly code for function entry.
844: FILE is a stdio stream to output the code to.
845: SIZE is an int: how many units of temporary storage to allocate.
846: Refer to the array `regs_ever_live' to determine which registers
847: to save; `regs_ever_live[I]' is nonzero if register number I
848: is ever used in the function. This macro is responsible for
849: knowing which registers should not be saved even if used. */
850:
851: #define FUNCTION_PROLOGUE(FILE, SIZE) i960_function_prologue ((FILE), (SIZE))
852:
853: /* Output assembler code to FILE to increment profiler label # LABELNO
854: for profiling a function entry. */
855:
856: #define FUNCTION_PROFILER(FILE, LABELNO) \
857: output_function_profiler ((FILE), (LABELNO));
858:
859: /* EXIT_IGNORE_STACK should be nonzero if, when returning from a function,
860: the stack pointer does not matter. The value is tested only in
861: functions that have frame pointers.
862: No definition is equivalent to always zero. */
863:
864: #define EXIT_IGNORE_STACK 1
865:
866: /* This macro generates the assembly code for function exit,
867: on machines that need it. If FUNCTION_EPILOGUE is not defined
868: then individual return instructions are generated for each
869: return statement. Args are same as for FUNCTION_PROLOGUE.
870:
871: The function epilogue should not depend on the current stack pointer!
872: It should use the frame pointer only. This is mandatory because
873: of alloca; we also take advantage of it to omit stack adjustments
874: before returning. */
875:
876: #define FUNCTION_EPILOGUE(FILE, SIZE) i960_function_epilogue (FILE, SIZE)
877:
878: /* Addressing modes, and classification of registers for them. */
879:
880: /* #define HAVE_POST_INCREMENT */
881: /* #define HAVE_POST_DECREMENT */
882:
883: /* #define HAVE_PRE_DECREMENT */
884: /* #define HAVE_PRE_INCREMENT */
885:
886: /* Macros to check register numbers against specific register classes. */
887:
888: /* These assume that REGNO is a hard or pseudo reg number.
889: They give nonzero only if REGNO is a hard reg of the suitable class
890: or a pseudo reg currently allocated to a suitable hard reg.
891: Since they use reg_renumber, they are safe only once reg_renumber
892: has been allocated, which happens in local-alloc.c. */
893:
894: #define REGNO_OK_FOR_INDEX_P(REGNO) \
895: ((REGNO) < 32 || (unsigned) reg_renumber[REGNO] < 32)
896: #define REGNO_OK_FOR_BASE_P(REGNO) \
897: ((REGNO) < 32 || (unsigned) reg_renumber[REGNO] < 32)
898: #define REGNO_OK_FOR_FP_P(REGNO) \
899: ((REGNO) < 36 || (unsigned) reg_renumber[REGNO] < 36)
900:
901: /* Now macros that check whether X is a register and also,
902: strictly, whether it is in a specified class.
903:
904: These macros are specific to the 960, and may be used only
905: in code for printing assembler insns and in conditions for
906: define_optimization. */
907:
908: /* 1 if X is an fp register. */
909:
910: #define FP_REG_P(X) (REGNO (X) >= 32 && REGNO (X) < 36)
911:
912: /* Maximum number of registers that can appear in a valid memory address. */
913: #define MAX_REGS_PER_ADDRESS 2
914:
915: #define CONSTANT_ADDRESS_P(X) \
916: (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF \
917: || GET_CODE (X) == CONST_INT || GET_CODE (X) == CONST \
918: || GET_CODE (X) == HIGH)
919:
920: /* LEGITIMATE_CONSTANT_P is nonzero if the constant value X
921: is a legitimate general operand.
922: It is given that X satisfies CONSTANT_P.
923:
924: Anything but a CONST_DOUBLE can be made to work, excepting 0.0 and 1.0. */
925:
926: #define LEGITIMATE_CONSTANT_P(X) \
927: ((GET_CODE (X) != CONST_DOUBLE) || fp_literal ((X), VOIDmode))
928:
929: /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx
930: and check its validity for a certain class.
931: We have two alternate definitions for each of them.
932: The usual definition accepts all pseudo regs; the other rejects
933: them unless they have been allocated suitable hard regs.
934: The symbol REG_OK_STRICT causes the latter definition to be used.
935:
936: Most source files want to accept pseudo regs in the hope that
937: they will get allocated to the class that the insn wants them to be in.
938: Source files for reload pass need to be strict.
939: After reload, it makes no difference, since pseudo regs have
940: been eliminated by then. */
941:
942: #ifndef REG_OK_STRICT
943:
944: /* Nonzero if X is a hard reg that can be used as an index
945: or if it is a pseudo reg. */
946: #define REG_OK_FOR_INDEX_P(X) \
947: (REGNO (X) < 32 || REGNO (X) >= FIRST_PSEUDO_REGISTER)
948: /* Nonzero if X is a hard reg that can be used as a base reg
949: or if it is a pseudo reg. */
950: #define REG_OK_FOR_BASE_P(X) \
951: (REGNO (X) < 32 || REGNO (X) >= FIRST_PSEUDO_REGISTER)
952:
953: #define REG_OK_FOR_INDEX_P_STRICT(X) REGNO_OK_FOR_INDEX_P (REGNO (X))
954: #define REG_OK_FOR_BASE_P_STRICT(X) REGNO_OK_FOR_BASE_P (REGNO (X))
955:
956: #else
957:
958: /* Nonzero if X is a hard reg that can be used as an index. */
959: #define REG_OK_FOR_INDEX_P(X) REGNO_OK_FOR_INDEX_P (REGNO (X))
960: /* Nonzero if X is a hard reg that can be used as a base reg. */
961: #define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X))
962:
963: #endif
964:
965: /* GO_IF_LEGITIMATE_ADDRESS recognizes an RTL expression
966: that is a valid memory address for an instruction.
967: The MODE argument is the machine mode for the MEM expression
968: that wants to use this address.
969:
970: On 80960, legitimate addresses are:
971: base ld (g0),r0
972: disp (12 or 32 bit) ld foo,r0
973: base + index ld (g0)[g1*1],r0
974: base + displ ld 0xf00(g0),r0
975: base + index*scale + displ ld 0xf00(g0)[g1*4],r0
976: index*scale + base ld (g0)[g1*4],r0
977: index*scale + displ ld 0xf00[g1*4],r0
978: index*scale ld [g1*4],r0
979: index + base + displ ld 0xf00(g0)[g1*1],r0
980:
981: In each case, scale can be 1, 2, 4, 8, or 16. */
982:
983: /* Returns 1 if the scale factor of an index term is valid. */
984: #define SCALE_TERM_P(X) \
985: (GET_CODE (X) == CONST_INT \
986: && (INTVAL (X) == 1 || INTVAL (X) == 2 || INTVAL (X) == 4 \
987: || INTVAL(X) == 8 || INTVAL (X) == 16))
988:
989:
990: #ifdef REG_OK_STRICT
991: #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR) \
992: { if (legitimate_address_p (MODE, X, 1)) goto ADDR; }
993: #else
994: #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, ADDR) \
995: { if (legitimate_address_p (MODE, X, 0)) goto ADDR; }
996: #endif
997:
998: /* Try machine-dependent ways of modifying an illegitimate address
999: to be legitimate. If we find one, return the new, valid address.
1000: This macro is used in only one place: `memory_address' in explow.c.
1001:
1002: OLDX is the address as it was before break_out_memory_refs was called.
1003: In some cases it is useful to look at this to decide what needs to be done.
1004:
1005: MODE and WIN are passed so that this macro can use
1006: GO_IF_LEGITIMATE_ADDRESS.
1007:
1008: It is always safe for this macro to do nothing. It exists to recognize
1009: opportunities to optimize the output. */
1010:
1011: /* On 80960, convert non-canonical addresses to canonical form. */
1012:
1013: extern struct rtx_def *legitimize_address ();
1014: #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN) \
1015: { rtx orig_x = (X); \
1016: (X) = legitimize_address (X, OLDX, MODE); \
1017: if ((X) != orig_x && memory_address_p (MODE, X)) \
1018: goto WIN; }
1019:
1020: /* Go to LABEL if ADDR (a legitimate address expression)
1021: has an effect that depends on the machine mode it is used for.
1022: On the 960 this is never true. */
1023:
1024: #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR,LABEL)
1025:
1026: /* Specify the machine mode that this machine uses
1027: for the index in the tablejump instruction. */
1028: #define CASE_VECTOR_MODE SImode
1029:
1030: /* Define this if the tablejump instruction expects the table
1031: to contain offsets from the address of the table.
1032: Do not define this if the table should contain absolute addresses. */
1033: /* #define CASE_VECTOR_PC_RELATIVE */
1034:
1035: /* Specify the tree operation to be used to convert reals to integers. */
1036: #define IMPLICIT_FIX_EXPR FIX_ROUND_EXPR
1037:
1038: /* This is the kind of divide that is easiest to do in the general case. */
1039: #define EASY_DIV_EXPR TRUNC_DIV_EXPR
1040:
1041: /* Define this as 1 if `char' should by default be signed; else as 0. */
1042: #define DEFAULT_SIGNED_CHAR 0
1043:
1044: /* Allow and ignore #sccs directives. */
1045: #define SCCS_DIRECTIVE
1046:
1047: /* Max number of bytes we can move from memory to memory
1048: in one reasonably fast instruction. */
1049: #define MOVE_MAX 16
1050:
1051: /* Define if normal loads of shorter-than-word items from memory clears
1052: the rest of the bigs in the register. */
1053: #define BYTE_LOADS_ZERO_EXTEND
1054:
1055: /* Nonzero if access to memory by bytes is no faster than for words.
1056: Defining this results in worse code on the i960. */
1057:
1058: #define SLOW_BYTE_ACCESS 0
1059:
1060: /* We assume that the store-condition-codes instructions store 0 for false
1061: and some other value for true. This is the value stored for true. */
1062:
1063: #define STORE_FLAG_VALUE 1
1064:
1065: /* Define if shifts truncate the shift count
1066: which implies one can omit a sign-extension or zero-extension
1067: of a shift count. */
1068: #define SHIFT_COUNT_TRUNCATED
1069:
1070: /* Value is 1 if truncating an integer of INPREC bits to OUTPREC bits
1071: is done just by pretending it is already truncated. */
1072: #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1
1073:
1074: /* Specify the machine mode that pointers have.
1075: After generation of rtl, the compiler makes no further distinction
1076: between pointers and any other objects of this machine mode. */
1077: #define Pmode SImode
1078:
1079: /* Specify the widest mode that BLKmode objects can be promoted to */
1080: #define MAX_FIXED_MODE_SIZE GET_MODE_BITSIZE (TImode)
1081:
1082: /* These global variables are used to pass information between
1083: cc setter and cc user at insn emit time. */
1084:
1085: extern struct rtx_def *i960_compare_op0, *i960_compare_op1;
1086:
1087: /* Define the function that build the compare insn for scc and bcc. */
1088:
1089: extern struct rtx_def *gen_compare_reg ();
1090:
1091: /* Add any extra modes needed to represent the condition code.
1092:
1093: Also, signed and unsigned comparisons are distinguished, as
1094: are operations which are compatible with chkbit insns. */
1095: #define EXTRA_CC_MODES CC_UNSmode, CC_CHKmode
1096:
1097: /* Define the names for the modes specified above. */
1098: #define EXTRA_CC_NAMES "CC_UNS", "CC_CHK"
1099:
1100: /* Given a comparison code (EQ, NE, etc.) and the first operand of a COMPARE,
1101: return the mode to be used for the comparison. For floating-point, CCFPmode
1102: should be used. CC_NOOVmode should be used when the first operand is a
1103: PLUS, MINUS, or NEG. CCmode should be used when no special processing is
1104: needed. */
1105: #define SELECT_CC_MODE(OP,X,Y) select_cc_mode (OP, X)
1106:
1107: /* A function address in a call instruction is a byte address
1108: (for indexing purposes) so give the MEM rtx a byte's mode. */
1109: #define FUNCTION_MODE SImode
1110:
1111: /* Define this if addresses of constant functions
1112: shouldn't be put through pseudo regs where they can be cse'd.
1113: Desirable on machines where ordinary constants are expensive
1114: but a CALL with constant address is cheap. */
1115: #define NO_FUNCTION_CSE
1116:
1117: /* Use memcpy, etc. instead of bcopy. */
1118:
1119: #ifndef WIND_RIVER
1120: #define TARGET_MEM_FUNCTIONS 1
1121: #endif
1122:
1123: /* Compute the cost of computing a constant rtl expression RTX
1124: whose rtx-code is CODE. The body of this macro is a portion
1125: of a switch statement. If the code is computed here,
1126: return it with a return statement. Otherwise, break from the switch. */
1127:
1128: /* Constants that can be (non-ldconst) insn operands are cost 0. Constants
1129: that can be non-ldconst operands in rare cases are cost 1. Other constants
1130: have higher costs. */
1131:
1132: #define CONST_COSTS(RTX, CODE, OUTER_CODE) \
1133: case CONST_INT: \
1134: if ((INTVAL (RTX) >= 0 && INTVAL (RTX) < 32) \
1135: || power2_operand (RTX, VOIDmode)) \
1136: return 0; \
1137: else if (INTVAL (RTX) >= -31 && INTVAL (RTX) < 0) \
1138: return 1; \
1139: case CONST: \
1140: case LABEL_REF: \
1141: case SYMBOL_REF: \
1142: return (TARGET_FLAG_C_SERIES ? 6 : 8); \
1143: case CONST_DOUBLE: \
1144: if ((RTX) == CONST0_RTX (DFmode) || (RTX) == CONST0_RTX (SFmode) \
1145: || (RTX) == CONST1_RTX (DFmode) || (RTX) == CONST1_RTX (SFmode))\
1146: return 1; \
1147: return 12;
1148:
1149: /* The i960 offers addressing modes which are "as cheap as a register".
1150: See i960.c (or gcc.texinfo) for details. */
1151:
1152: #define ADDRESS_COST(RTX) \
1153: (GET_CODE (RTX) == REG ? 1 : i960_address_cost (RTX))
1154:
1155: /* Control the assembler format that we output. */
1156:
1157: /* Output at beginning of assembler file. */
1158:
1159: #define ASM_FILE_START(file)
1160:
1161: /* Output to assembler file text saying following lines
1162: may contain character constants, extra white space, comments, etc. */
1163:
1164: #define ASM_APP_ON ""
1165:
1166: /* Output to assembler file text saying following lines
1167: no longer contain unusual constructs. */
1168:
1169: #define ASM_APP_OFF ""
1170:
1171: /* Output before read-only data. */
1172:
1173: #define TEXT_SECTION_ASM_OP ".text"
1174:
1175: /* Output before writable data. */
1176:
1177: #define DATA_SECTION_ASM_OP ".data"
1178:
1179: /* How to refer to registers in assembler output.
1180: This sequence is indexed by compiler's hard-register-number (see above). */
1181:
1182: #define REGISTER_NAMES { \
1183: "g0", "g1", "g2", "g3", "g4", "g5", "g6", "g7", \
1184: "g8", "g9", "g10", "g11", "g12", "g13", "g14", "fp", \
1185: "pfp","sp", "rip", "r3", "r4", "r5", "r6", "r7", \
1186: "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", \
1187: "fp0","fp1","fp2", "fp3", "cc", "fake" }
1188:
1189: /* How to renumber registers for dbx and gdb.
1190: In the 960 encoding, g0..g15 are registers 16..31. */
1191:
1192: #define DBX_REGISTER_NUMBER(REGNO) \
1193: (((REGNO) < 16) ? (REGNO) + 16 \
1194: : (((REGNO) > 31) ? (REGNO) : (REGNO) - 16))
1195:
1196: /* Don't emit dbx records longer than this. This is an arbitrary value. */
1197: #define DBX_CONTIN_LENGTH 1500
1198:
1199: /* This is how to output a note to DBX telling it the line number
1200: to which the following sequence of instructions corresponds. */
1201:
1202: #define ASM_OUTPUT_SOURCE_LINE(FILE, LINE) \
1203: { if (write_symbols == SDB_DEBUG) { \
1204: fprintf ((FILE), "\t.ln %d\n", \
1205: (sdb_begin_function_line \
1206: ? (LINE) - sdb_begin_function_line : 1)); \
1207: } else if (write_symbols == DBX_DEBUG) { \
1208: fprintf((FILE),"\t.stabd 68,0,%d\n",(LINE)); \
1209: } }
1210:
1211: /* This is how to output the definition of a user-level label named NAME,
1212: such as the label on a static function or variable NAME. */
1213:
1214: #define ASM_OUTPUT_LABEL(FILE,NAME) \
1215: do { assemble_name (FILE, NAME); fputs (":\n", FILE); } while (0)
1216:
1217: /* This is how to output a command to make the user-level label named NAME
1218: defined for reference from other files. */
1219:
1220: #define ASM_GLOBALIZE_LABEL(FILE,NAME) \
1221: { fputs ("\t.globl ", FILE); \
1222: assemble_name (FILE, NAME); \
1223: fputs ("\n", FILE); }
1224:
1225: /* This is how to output a reference to a user-level label named NAME.
1226: `assemble_name' uses this. */
1227:
1228: #define ASM_OUTPUT_LABELREF(FILE,NAME) fprintf (FILE, "_%s", NAME)
1229:
1230: /* This is how to output an internal numbered label where
1231: PREFIX is the class of label and NUM is the number within the class. */
1232:
1233: #define ASM_OUTPUT_INTERNAL_LABEL(FILE,PREFIX,NUM) \
1234: fprintf (FILE, "%s%d:\n", PREFIX, NUM)
1235:
1236: /* This is how to store into the string LABEL
1237: the symbol_ref name of an internal numbered label where
1238: PREFIX is the class of label and NUM is the number within the class.
1239: This is suitable for output with `assemble_name'. */
1240:
1241: #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM) \
1242: sprintf (LABEL, "*%s%d", PREFIX, NUM)
1243:
1244: /* This is how to output an assembler line defining a `double' constant. */
1245:
1246: #define ASM_OUTPUT_DOUBLE(FILE,VALUE) i960_output_double(FILE, VALUE)
1247:
1248: /* This is how to output an assembler line defining a `float' constant. */
1249:
1250: #define ASM_OUTPUT_FLOAT(FILE,VALUE) i960_output_float(FILE, VALUE)
1251:
1252: /* This is how to output an assembler line defining an `int' constant. */
1253:
1254: #define ASM_OUTPUT_INT(FILE,VALUE) \
1255: ( fprintf (FILE, "\t.word "), \
1256: output_addr_const (FILE, (VALUE)), \
1257: fprintf (FILE, "\n"))
1258:
1259: /* Likewise for `char' and `short' constants. */
1260:
1261: #define ASM_OUTPUT_SHORT(FILE,VALUE) \
1262: ( fprintf (FILE, "\t.short "), \
1263: output_addr_const (FILE, (VALUE)), \
1264: fprintf (FILE, "\n"))
1265:
1266: #define ASM_OUTPUT_CHAR(FILE,VALUE) \
1267: ( fprintf (FILE, "\t.byte "), \
1268: output_addr_const (FILE, (VALUE)), \
1269: fprintf (FILE, "\n"))
1270:
1271: /* This is how to output an assembler line for a numeric constant byte. */
1272:
1273: #define ASM_OUTPUT_BYTE(FILE,VALUE) \
1274: fprintf (FILE, "\t.byte 0x%x\n", (VALUE))
1275:
1276: #define ASM_OUTPUT_REG_PUSH(FILE,REGNO) \
1277: fprintf (FILE, "\tst\t%s,(sp)\n\taddo\t4,sp,sp\n", reg_names[REGNO])
1278:
1279: /* This is how to output an insn to pop a register from the stack.
1280: It need not be very fast code. */
1281:
1282: #define ASM_OUTPUT_REG_POP(FILE,REGNO) \
1283: fprintf (FILE, "\tsubo\t4,sp,sp\n\tld\t(sp),%s\n", reg_names[REGNO])
1284:
1285: /* This is how to output an element of a case-vector that is absolute. */
1286:
1287: #define ASM_OUTPUT_ADDR_VEC_ELT(FILE, VALUE) \
1288: fprintf (FILE, "\t.word L%d\n", VALUE)
1289:
1290: /* This is how to output an element of a case-vector that is relative. */
1291:
1292: #define ASM_OUTPUT_ADDR_DIFF_ELT(FILE, VALUE, REL) \
1293: fprintf (FILE, "\t.word L%d-L%d\n", VALUE, REL)
1294:
1295: /* This is how to output an assembler line that says to advance the
1296: location counter to a multiple of 2**LOG bytes. */
1297:
1298: #define ASM_OUTPUT_ALIGN(FILE,LOG) \
1299: fprintf (FILE, "\t.align %d\n", (LOG))
1300:
1301: #define ASM_OUTPUT_SKIP(FILE,SIZE) \
1302: fprintf (FILE, "\t.space %d\n", (SIZE))
1303:
1304: /* This says how to output an assembler line
1305: to define a global common symbol. */
1306:
1307: /* For common objects, output unpadded size... gld960 & lnk960 both
1308: have code to align each common object at link time. Also, if size
1309: is 0, treat this as a declaration, not a definition - i.e.,
1310: do nothing at all. */
1311:
1312: #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED) \
1313: { if ((SIZE) != 0) \
1314: { \
1315: fputs (".globl ", (FILE)), \
1316: assemble_name ((FILE), (NAME)), \
1317: fputs ("\n.comm ", (FILE)), \
1318: assemble_name ((FILE), (NAME)), \
1319: fprintf ((FILE), ",%d\n", (ROUNDED)); \
1320: } \
1321: }
1322:
1323: /* This says how to output an assembler line to define a local common symbol.
1324: Output unpadded size, with request to linker to align as requested.
1325: 0 size should not be possible here. */
1326:
1327: #define ASM_OUTPUT_ALIGNED_LOCAL(FILE, NAME, SIZE, ALIGN) \
1328: ( fputs (".bss\t", (FILE)), \
1329: assemble_name ((FILE), (NAME)), \
1330: fprintf ((FILE), ",%d,%d\n", (SIZE), \
1331: ((ALIGN) <= 8 ? 0 \
1332: : ((ALIGN) <= 16 ? 1 \
1333: : ((ALIGN) <= 32 ? 2 \
1334: : ((ALIGN <= 64 ? 3 : 4)))))))
1335:
1336: /* Output text for an #ident directive. */
1337: #define ASM_OUTPUT_IDENT(FILE, STR) fprintf(FILE, "\t# %s\n", STR);
1338:
1339: /* Align code to 8 byte boundary if TARGET_CODE_ALIGN is true. */
1340:
1341: #define ASM_OUTPUT_ALIGN_CODE(FILE) \
1342: { if (TARGET_CODE_ALIGN) fputs("\t.align 3\n",FILE); }
1343:
1344: /* Store in OUTPUT a string (made with alloca) containing
1345: an assembler-name for a local static variable named NAME.
1346: LABELNO is an integer which is different for each call. */
1347:
1348: #define ASM_FORMAT_PRIVATE_NAME(OUTPUT, NAME, LABELNO) \
1349: ( (OUTPUT) = (char *) alloca (strlen ((NAME)) + 10), \
1350: sprintf ((OUTPUT), "%s.%d", (NAME), (LABELNO)))
1351:
1352: /* Define the parentheses used to group arithmetic operations
1353: in assembler code. */
1354:
1355: #define ASM_OPEN_PAREN "("
1356: #define ASM_CLOSE_PAREN ")"
1357:
1358: /* Define results of standard character escape sequences. */
1359: #define TARGET_BELL 007
1360: #define TARGET_BS 010
1361: #define TARGET_TAB 011
1362: #define TARGET_NEWLINE 012
1363: #define TARGET_VT 013
1364: #define TARGET_FF 014
1365: #define TARGET_CR 015
1366:
1367: /* Output assembler code to FILE to initialize this source file's
1368: basic block profiling info, if that has not already been done. */
1369:
1370: #define FUNCTION_BLOCK_PROFILER(FILE, LABELNO) \
1371: { fprintf (FILE, "\tld LPBX0,g12\n"); \
1372: fprintf (FILE, "\tcmpobne 0,g12,LPY%d\n",LABELNO);\
1373: fprintf (FILE, "\tlda LPBX0,g12\n"); \
1374: fprintf (FILE, "\tcall ___bb_init_func\n"); \
1375: fprintf (FILE, "LPY%d:\n",LABELNO); }
1376:
1377: /* Output assembler code to FILE to increment the entry-count for
1378: the BLOCKNO'th basic block in this source file. */
1379:
1380: #define BLOCK_PROFILER(FILE, BLOCKNO) \
1381: { int blockn = (BLOCKNO); \
1382: fprintf (FILE, "\tld LPBX2+%d,g12\n", 4 * blockn); \
1383: fprintf (FILE, "\taddo g12,1,g12\n"); \
1384: fprintf (FILE, "\tst g12,LPBX2+%d\n", 4 * blockn); }
1385:
1386: /* Print operand X (an rtx) in assembler syntax to file FILE.
1387: CODE is a letter or dot (`z' in `%z0') or 0 if no letter was specified.
1388: For `%' followed by punctuation, CODE is the punctuation and X is null. */
1389:
1390: #define PRINT_OPERAND(FILE, X, CODE) \
1391: i960_print_operand (FILE, X, CODE);
1392:
1393: /* Print a memory address as an operand to reference that memory location. */
1394:
1395: #define PRINT_OPERAND_ADDRESS(FILE, ADDR) \
1396: i960_print_operand_addr (FILE, ADDR)
1397:
1398: /* Output assembler code for a block containing the constant parts
1399: of a trampoline, leaving space for the variable parts. */
1400:
1401: /* On the i960, the trampoline contains three instructions:
1402: ldconst _function, r4
1403: ldconst static addr, r3
1404: jump (r4) */
1405:
1406: #define TRAMPOLINE_TEMPLATE(FILE) \
1407: { \
1408: ASM_OUTPUT_INT (FILE, gen_rtx (CONST_INT, VOIDmode, 0x8C203000)); \
1409: ASM_OUTPUT_INT (FILE, gen_rtx (CONST_INT, VOIDmode, 0x00000000)); \
1410: ASM_OUTPUT_INT (FILE, gen_rtx (CONST_INT, VOIDmode, 0x8C183000)); \
1411: ASM_OUTPUT_INT (FILE, gen_rtx (CONST_INT, VOIDmode, 0x00000000)); \
1412: ASM_OUTPUT_INT (FILE, gen_rtx (CONST_INT, VOIDmode, 0x84212000)); \
1413: }
1414:
1415: /* Length in units of the trampoline for entering a nested function. */
1416:
1417: #define TRAMPOLINE_SIZE 20
1418:
1419: /* Emit RTL insns to initialize the variable parts of a trampoline.
1420: FNADDR is an RTX for the address of the function's pure code.
1421: CXT is an RTX for the static chain value for the function. */
1422:
1423: #define INITIALIZE_TRAMPOLINE(TRAMP, FNADDR, CXT) \
1424: { \
1425: emit_move_insn (gen_rtx (MEM, SImode, plus_constant (TRAMP, 4)), \
1426: FNADDR); \
1427: emit_move_insn (gen_rtx (MEM, SImode, plus_constant (TRAMP, 12)), \
1428: CXT); \
1429: }
1430:
1431: #if 0
1432: /* Promote char and short arguments to ints, when want compatibility with
1433: the iC960 compilers. */
1434:
1435: /* ??? In order for this to work, all users would need to be changed
1436: to test the value of the macro at run time. */
1437: #define PROMOTE_PROTOTYPES TARGET_CLEAN_LINKAGE
1438: /* ??? This does not exist. */
1439: #define PROMOTE_RETURN TARGET_CLEAN_LINKAGE
1440: #endif
1441:
1442: /* Instruction type definitions. Used to alternate instructions types for
1443: better performance on the C series chips. */
1444:
1445: enum insn_types { I_TYPE_REG, I_TYPE_MEM, I_TYPE_CTRL };
1446:
1447: /* Holds the insn type of the last insn output to the assembly file. */
1448:
1449: extern enum insn_types i960_last_insn_type;
1450:
1451: /* Parse opcodes, and set the insn last insn type based on them. */
1452:
1453: #define ASM_OUTPUT_OPCODE(FILE, INSN) i960_scan_opcode (INSN)
1454:
1455: /* Table listing what rtl codes each predicate in i960.c will accept. */
1456:
1457: #define PREDICATE_CODES \
1458: {"fpmove_src_operand", {CONST_INT, CONST_DOUBLE, CONST, SYMBOL_REF, \
1459: LABEL_REF, SUBREG, REG, MEM}}, \
1460: {"arith_operand", {SUBREG, REG, CONST_INT}}, \
1461: {"fp_arith_operand", {SUBREG, REG, CONST_DOUBLE}}, \
1462: {"signed_arith_operand", {SUBREG, REG, CONST_INT}}, \
1463: {"literal", {CONST_INT}}, \
1464: {"fp_literal_one", {CONST_DOUBLE}}, \
1465: {"fp_literal_double", {CONST_DOUBLE}}, \
1466: {"fp_literal", {CONST_DOUBLE}}, \
1467: {"signed_literal", {CONST_INT}}, \
1468: {"symbolic_memory_operand", {SUBREG, MEM}}, \
1469: {"eq_or_neq", {EQ, NE}}, \
1470: {"arith32_operand", {SUBREG, REG, LABEL_REF, SYMBOL_REF, CONST_INT, \
1471: CONST_DOUBLE, CONST}}, \
1472: {"power2_operand", {CONST_INT}},
1473:
1474: /* Define functions in i960.c and used in insn-output.c. */
1475:
1476: extern char *i960_output_ldconst ();
1477: extern char *i960_output_call_insn ();
1478: extern char *i960_output_ret_insn ();
1479:
1480: /* Defined in reload.c, and used in insn-recog.c. */
1481:
1482: extern int rtx_equal_function_value_matters;
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.