816 lines
28 KiB
C
816 lines
28 KiB
C
/* Definitions of target machine for GNU compiler, for MMIX.
|
|
Copyright (C) 2000-2021 Free Software Foundation, Inc.
|
|
Contributed by Hans-Peter Nilsson (hp@bitrange.com)
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3, or (at your option)
|
|
any later version.
|
|
|
|
GCC is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef GCC_MMIX_H
|
|
#define GCC_MMIX_H
|
|
|
|
/* First, some local helper macros. Note that the "default" value of
|
|
FIXED_REGISTERS, CALL_USED_REGISTERS, REG_ALLOC_ORDER and
|
|
REG_CLASS_CONTENTS depend on these values. */
|
|
#define MMIX_RESERVED_GNU_ARG_0_REGNUM 231
|
|
#define MMIX_FIRST_ARG_REGNUM \
|
|
(TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 16)
|
|
#define MMIX_FIRST_INCOMING_ARG_REGNUM \
|
|
(TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 0)
|
|
#define MMIX_MAX_ARGS_IN_REGS 16
|
|
|
|
/* FIXME: This one isn't fully implemented yet. Return values larger than
|
|
one register are passed by reference in MMIX_STRUCT_VALUE_REGNUM by the
|
|
caller, except for return values of type "complex". */
|
|
#define MMIX_MAX_REGS_FOR_VALUE 16
|
|
#define MMIX_RETURN_VALUE_REGNUM \
|
|
(TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 15)
|
|
#define MMIX_OUTGOING_RETURN_VALUE_REGNUM \
|
|
(TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 0)
|
|
#define MMIX_STRUCT_VALUE_REGNUM 251
|
|
#define MMIX_STATIC_CHAIN_REGNUM 252
|
|
#define MMIX_FRAME_POINTER_REGNUM 253
|
|
#define MMIX_STACK_POINTER_REGNUM 254
|
|
#define MMIX_LAST_GENERAL_REGISTER 255
|
|
#define MMIX_INCOMING_RETURN_ADDRESS_REGNUM MMIX_rJ_REGNUM
|
|
#define MMIX_HIMULT_REGNUM 258
|
|
#define MMIX_REMAINDER_REGNUM MMIX_rR_REGNUM
|
|
#define MMIX_ARG_POINTER_REGNUM 261
|
|
#define MMIX_rO_REGNUM 262
|
|
#define MMIX_LAST_STACK_REGISTER_REGNUM 31
|
|
|
|
/* Four registers; "ideally, these registers should be call-clobbered", so
|
|
just grab a bunch of the common clobbered registers. FIXME: Last
|
|
registers of return-value should be used, with an error if there's a
|
|
return-value (that collides in size). */
|
|
#define MMIX_EH_RETURN_DATA_REGNO_START (MMIX_STRUCT_VALUE_REGNUM - 4)
|
|
|
|
/* Try to keep the definitions from running away on their own. */
|
|
#if (MMIX_EH_RETURN_DATA_REGNO_START \
|
|
!= MMIX_RESERVED_GNU_ARG_0_REGNUM + MMIX_MAX_ARGS_IN_REGS)
|
|
#error MMIX register definition inconsistency
|
|
#endif
|
|
|
|
#if (MMIX_MAX_REGS_FOR_VALUE + MMIX_MAX_ARGS_IN_REGS > 32)
|
|
#error MMIX parameters and return values bad, more than 32 registers
|
|
#endif
|
|
|
|
/* This chosen as "a call-clobbered hard register that is otherwise
|
|
untouched by the epilogue". */
|
|
#define MMIX_EH_RETURN_STACKADJ_REGNUM MMIX_STATIC_CHAIN_REGNUM
|
|
|
|
#define MMIX_FUNCTION_ARG_SIZE(MODE, TYPE) \
|
|
((MODE) != BLKmode ? GET_MODE_SIZE (MODE) : int_size_in_bytes (TYPE))
|
|
|
|
/* Per-function machine data. This is normally an opaque type just
|
|
defined and used in the tm.c file, but we need to see the definition in
|
|
mmix.md too. */
|
|
struct GTY(()) machine_function
|
|
{
|
|
int has_landing_pad;
|
|
int highest_saved_stack_register;
|
|
int in_prologue;
|
|
};
|
|
|
|
/* For these target macros, there is no generic documentation here. You
|
|
should read `Using and Porting GCC' for that. Only comments specific
|
|
to the MMIX target are here.
|
|
|
|
There are however references to the specific texinfo node (comments
|
|
with "Node:"), so there should be little or nothing amiss. Probably
|
|
the opposite, since we don't have to care about old littering and
|
|
soon outdated generic comments. */
|
|
|
|
/* Node: Driver */
|
|
|
|
/* User symbols are in the same name-space as built-in symbols, but we
|
|
don't need the built-in symbols, so remove those and instead apply
|
|
stricter operand checking. Don't warn when expanding insns. */
|
|
#define ASM_SPEC "-no-predefined-syms -x"
|
|
|
|
/* Pass on -mset-program-start=N and -mset-data-start=M to the linker.
|
|
Provide default program start 0x100 unless -mno-set-program-start.
|
|
Don't do this if linking relocatably, with -r. For a final link,
|
|
produce mmo, unless ELF is requested or when linking relocatably. */
|
|
#define LINK_SPEC \
|
|
"%{mset-program-start=*:--defsym __.MMIX.start..text=%*}\
|
|
%{mset-data-start=*:--defsym __.MMIX.start..data=%*}\
|
|
%{!mset-program-start=*:\
|
|
%{!mno-set-program-start:\
|
|
%{!r:--defsym __.MMIX.start..text=0x100}}}\
|
|
%{!melf:%{!r:-m mmo}}%{melf|r:-m elf64mmix}"
|
|
|
|
/* FIXME: There's no provision for profiling here. */
|
|
#define STARTFILE_SPEC \
|
|
"crti%O%s crtbegin%O%s"
|
|
|
|
#define ENDFILE_SPEC "crtend%O%s crtn%O%s"
|
|
|
|
/* Node: Run-time Target */
|
|
|
|
/* Define __LONG_MAX__, since we're advised not to change glimits.h. */
|
|
#define TARGET_CPU_CPP_BUILTINS() \
|
|
do \
|
|
{ \
|
|
builtin_define ("__mmix__"); \
|
|
builtin_define ("__MMIX__"); \
|
|
if (TARGET_ABI_GNU) \
|
|
builtin_define ("__MMIX_ABI_GNU__"); \
|
|
else \
|
|
builtin_define ("__MMIX_ABI_MMIXWARE__"); \
|
|
} \
|
|
while (0)
|
|
|
|
#define TARGET_DEFAULT \
|
|
(MASK_BRANCH_PREDICT | MASK_BASE_ADDRESSES | MASK_USE_RETURN_INSN)
|
|
|
|
|
|
/* Node: Per-Function Data */
|
|
#define INIT_EXPANDERS mmix_init_expanders ()
|
|
|
|
|
|
/* Node: Storage Layout */
|
|
/* I see no bit-field instructions. Anyway, the common order is from low
|
|
to high, as the power of two, hence little-endian. */
|
|
#define BITS_BIG_ENDIAN 0
|
|
#define BYTES_BIG_ENDIAN 1
|
|
#define WORDS_BIG_ENDIAN 1
|
|
#define FLOAT_WORDS_BIG_ENDIAN 1
|
|
#define UNITS_PER_WORD 8
|
|
|
|
/* We need to align everything to 64 bits that can affect the alignment
|
|
of other types. Since address N is interpreted in MMIX as (N modulo
|
|
access_size), we must align. */
|
|
#define PARM_BOUNDARY 64
|
|
#define STACK_BOUNDARY 64
|
|
#define FUNCTION_BOUNDARY 32
|
|
#define BIGGEST_ALIGNMENT 64
|
|
|
|
/* This one is only used in the ADA front end. */
|
|
#define MINIMUM_ATOMIC_ALIGNMENT 8
|
|
|
|
/* Copied from elfos.h. */
|
|
#define MAX_OFILE_ALIGNMENT (32768 * 8)
|
|
|
|
#define DATA_ABI_ALIGNMENT(TYPE, BASIC_ALIGN) \
|
|
mmix_data_alignment (TYPE, BASIC_ALIGN)
|
|
|
|
#define LOCAL_ALIGNMENT(TYPE, BASIC_ALIGN) \
|
|
mmix_local_alignment (TYPE, BASIC_ALIGN)
|
|
|
|
/* Following other ports, this seems to most commonly be the word-size,
|
|
so let's do that here too. */
|
|
#define EMPTY_FIELD_BOUNDARY 64
|
|
|
|
/* We chose to have this low solely for similarity with the alpha. It has
|
|
nothing to do with passing the tests dg/c99-scope-2 and
|
|
execute/align-1.c. Nothing. Though the tests seem wrong. Padding of
|
|
the structure is automatically added to get alignment when needed if we
|
|
set this to just byte-boundary. */
|
|
#define STRUCTURE_SIZE_BOUNDARY 8
|
|
|
|
/* The lower bits are ignored. */
|
|
#define STRICT_ALIGNMENT 1
|
|
|
|
|
|
/* Node: Type Layout */
|
|
|
|
/* It might seem more natural to have 64-bit ints on a 64-bit machine,
|
|
but then an occasional MMIX programmer needs to know how to put a lot
|
|
of __attribute__ stuff to get to the 8, 16 and 32-bit modes rather
|
|
than the "intuitive" char, short and int types. */
|
|
#define INT_TYPE_SIZE 32
|
|
#define SHORT_TYPE_SIZE 16
|
|
#define LONG_LONG_TYPE_SIZE 64
|
|
|
|
#define FLOAT_TYPE_SIZE 32
|
|
#define DOUBLE_TYPE_SIZE 64
|
|
#define LONG_DOUBLE_TYPE_SIZE 64
|
|
|
|
#define DEFAULT_SIGNED_CHAR 1
|
|
|
|
|
|
/* Node: Register Basics */
|
|
/* We tell GCC about all 256 general registers, and we also include
|
|
rD, rE, rH, rJ, rR and rO (in that order) so we can describe what insns
|
|
clobber them. We use a faked register for the argument pointer. It is
|
|
always eliminated towards the frame-pointer or the stack-pointer, never
|
|
output in assembly. Any fixed register would do for this, like $255,
|
|
but future debugging is easier when using a separate register. It
|
|
counts as a global register for pseudorandom reasons. */
|
|
#define FIRST_PSEUDO_REGISTER 263
|
|
|
|
/* We treat general registers with no assigned purpose as fixed. The
|
|
stack pointer, $254, is also fixed. Register $255 is referred to as a
|
|
temporary register in the MMIX papers, and used as such in mmixal, so
|
|
it should not be used as a stack pointer. We set it to fixed, and use
|
|
it "manually" at times of despair. */
|
|
#define FIXED_REGISTERS \
|
|
{ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
|
|
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, \
|
|
1, 1, 0, 0, 0, 1, 1 \
|
|
}
|
|
|
|
/* General registers are fixed and therefore "historically" marked
|
|
call-used. (FIXME: This has changed). Registers $15..$31 are
|
|
call-clobbered; we'll put arguments in $16 and up, and we need $15 for
|
|
the MMIX register-stack "hole". */
|
|
#define CALL_USED_REGISTERS \
|
|
{ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, \
|
|
1, 1, 1, 1, 1, 1, 1 \
|
|
}
|
|
|
|
#define INCOMING_REGNO(OUT) mmix_opposite_regno (OUT, 0)
|
|
|
|
#define OUTGOING_REGNO(IN) mmix_opposite_regno (IN, 1)
|
|
|
|
/* Defining LOCAL_REGNO is necessary in presence of prologue/epilogue,
|
|
else GCC will be confused that those registers aren't saved and
|
|
restored. */
|
|
#define LOCAL_REGNO(REGNO) mmix_local_regno (REGNO)
|
|
|
|
/* Node: Allocation Order */
|
|
|
|
/* We should allocate registers from 0 to 31 by increasing number, because
|
|
I think that's what people expect. Beyond that, just use
|
|
call-clobbered global registers first, then call-clobbered special
|
|
registers. Last, the fixed registers. */
|
|
#define MMIX_MMIXWARE_ABI_REG_ALLOC_ORDER \
|
|
{ 0, 1, 2, 3, 4, 5, 6, 7, \
|
|
8, 9, 10, 11, 12, 13, 14, 15, \
|
|
16, 17, 18, 19, 20, 21, 22, 23, \
|
|
24, 25, 26, 27, 28, 29, 30, 31, \
|
|
\
|
|
252, 251, 250, 249, 248, 247, \
|
|
\
|
|
253, \
|
|
\
|
|
258, 260, 259, \
|
|
\
|
|
32, 33, 34, 35, 36, 37, 38, 39, \
|
|
40, 41, 42, 43, 44, 45, 46, 47, \
|
|
48, 49, 50, 51, 52, 53, 54, 55, \
|
|
56, 57, 58, 59, 60, 61, 62, 63, \
|
|
64, 65, 66, 67, 68, 69, 70, 71, \
|
|
72, 73, 74, 75, 76, 77, 78, 79, \
|
|
80, 81, 82, 83, 84, 85, 86, 87, \
|
|
88, 89, 90, 91, 92, 93, 94, 95, \
|
|
96, 97, 98, 99, 100, 101, 102, 103, \
|
|
104, 105, 106, 107, 108, 109, 110, 111, \
|
|
112, 113, 114, 115, 116, 117, 118, 119, \
|
|
120, 121, 122, 123, 124, 125, 126, 127, \
|
|
128, 129, 130, 131, 132, 133, 134, 135, \
|
|
136, 137, 138, 139, 140, 141, 142, 143, \
|
|
144, 145, 146, 147, 148, 149, 150, 151, \
|
|
152, 153, 154, 155, 156, 157, 158, 159, \
|
|
160, 161, 162, 163, 164, 165, 166, 167, \
|
|
168, 169, 170, 171, 172, 173, 174, 175, \
|
|
176, 177, 178, 179, 180, 181, 182, 183, \
|
|
184, 185, 186, 187, 188, 189, 190, 191, \
|
|
192, 193, 194, 195, 196, 197, 198, 199, \
|
|
200, 201, 202, 203, 204, 205, 206, 207, \
|
|
208, 209, 210, 211, 212, 213, 214, 215, \
|
|
216, 217, 218, 219, 220, 221, 222, 223, \
|
|
224, 225, 226, 227, 228, 229, 230, 231, \
|
|
232, 233, 234, 235, 236, 237, 238, 239, \
|
|
240, 241, 242, 243, 244, 245, 246, \
|
|
\
|
|
254, 255, 256, 257, 261, 262 \
|
|
}
|
|
|
|
/* As a convenience, we put this nearby, for ease of comparison.
|
|
First, call-clobbered registers in reverse order of assignment as
|
|
parameters (also the top ones; not because they're parameters, but
|
|
for continuity).
|
|
|
|
Second, saved registers that go on the register-stack.
|
|
|
|
Third, special registers rH, rR and rJ. They should not normally be
|
|
allocated, but since they're call-clobbered, it is cheaper to use one
|
|
of them than using a call-saved register for a call-clobbered use,
|
|
assuming it is referenced a very limited number of times. Other global
|
|
and fixed registers come next; they are never allocated. */
|
|
#define MMIX_GNU_ABI_REG_ALLOC_ORDER \
|
|
{ 252, 251, 250, 249, 248, 247, 246, \
|
|
245, 244, 243, 242, 241, 240, 239, 238, \
|
|
237, 236, 235, 234, 233, 232, 231, \
|
|
\
|
|
0, 1, 2, 3, 4, 5, 6, 7, \
|
|
8, 9, 10, 11, 12, 13, 14, 15, \
|
|
16, 17, 18, 19, 20, 21, 22, 23, \
|
|
24, 25, 26, 27, 28, 29, 30, 31, \
|
|
\
|
|
253, \
|
|
\
|
|
258, 260, 259, \
|
|
\
|
|
32, 33, 34, 35, 36, 37, 38, 39, \
|
|
40, 41, 42, 43, 44, 45, 46, 47, \
|
|
48, 49, 50, 51, 52, 53, 54, 55, \
|
|
56, 57, 58, 59, 60, 61, 62, 63, \
|
|
64, 65, 66, 67, 68, 69, 70, 71, \
|
|
72, 73, 74, 75, 76, 77, 78, 79, \
|
|
80, 81, 82, 83, 84, 85, 86, 87, \
|
|
88, 89, 90, 91, 92, 93, 94, 95, \
|
|
96, 97, 98, 99, 100, 101, 102, 103, \
|
|
104, 105, 106, 107, 108, 109, 110, 111, \
|
|
112, 113, 114, 115, 116, 117, 118, 119, \
|
|
120, 121, 122, 123, 124, 125, 126, 127, \
|
|
128, 129, 130, 131, 132, 133, 134, 135, \
|
|
136, 137, 138, 139, 140, 141, 142, 143, \
|
|
144, 145, 146, 147, 148, 149, 150, 151, \
|
|
152, 153, 154, 155, 156, 157, 158, 159, \
|
|
160, 161, 162, 163, 164, 165, 166, 167, \
|
|
168, 169, 170, 171, 172, 173, 174, 175, \
|
|
176, 177, 178, 179, 180, 181, 182, 183, \
|
|
184, 185, 186, 187, 188, 189, 190, 191, \
|
|
192, 193, 194, 195, 196, 197, 198, 199, \
|
|
200, 201, 202, 203, 204, 205, 206, 207, \
|
|
208, 209, 210, 211, 212, 213, 214, 215, \
|
|
216, 217, 218, 219, 220, 221, 222, 223, \
|
|
224, 225, 226, 227, 228, 229, 230, \
|
|
\
|
|
254, 255, 256, 257, 261, 262 \
|
|
}
|
|
|
|
/* The default one. */
|
|
#define REG_ALLOC_ORDER MMIX_MMIXWARE_ABI_REG_ALLOC_ORDER
|
|
|
|
/* Node: Leaf Functions */
|
|
/* (empty) */
|
|
|
|
|
|
/* Node: Register Classes */
|
|
|
|
enum reg_class
|
|
{
|
|
NO_REGS, GENERAL_REGS, REMAINDER_REG, HIMULT_REG,
|
|
SYSTEM_REGS, ALL_REGS, LIM_REG_CLASSES
|
|
};
|
|
|
|
#define N_REG_CLASSES (int) LIM_REG_CLASSES
|
|
|
|
#define REG_CLASS_NAMES \
|
|
{"NO_REGS", "GENERAL_REGS", "REMAINDER_REG", "HIMULT_REG", \
|
|
"SYSTEM_REGS", "ALL_REGS"}
|
|
|
|
/* Note that the contents of each item is always 32 bits. */
|
|
#define REG_CLASS_CONTENTS \
|
|
{{0, 0, 0, 0, 0, 0, 0, 0, 0}, \
|
|
{~0, ~0, ~0, ~0, ~0, ~0, ~0, ~0, 0x20}, \
|
|
{0, 0, 0, 0, 0, 0, 0, 0, 0x10}, \
|
|
{0, 0, 0, 0, 0, 0, 0, 0, 4}, \
|
|
{0, 0, 0, 0, 0, 0, 0, 0, 0x7f}, \
|
|
{~0, ~0, ~0, ~0, ~0, ~0, ~0, ~0, 0x7f}}
|
|
|
|
#define REGNO_REG_CLASS(REGNO) \
|
|
((REGNO) <= MMIX_LAST_GENERAL_REGISTER \
|
|
|| (REGNO) == MMIX_ARG_POINTER_REGNUM \
|
|
? GENERAL_REGS \
|
|
: (REGNO) == MMIX_REMAINDER_REGNUM ? REMAINDER_REG \
|
|
: (REGNO) == MMIX_HIMULT_REGNUM ? HIMULT_REG : SYSTEM_REGS)
|
|
|
|
#define BASE_REG_CLASS GENERAL_REGS
|
|
|
|
#define INDEX_REG_CLASS GENERAL_REGS
|
|
|
|
#define REGNO_OK_FOR_BASE_P(REGNO) \
|
|
((REGNO) <= MMIX_LAST_GENERAL_REGISTER \
|
|
|| (REGNO) == MMIX_ARG_POINTER_REGNUM \
|
|
|| (reg_renumber[REGNO] > 0 \
|
|
&& reg_renumber[REGNO] <= MMIX_LAST_GENERAL_REGISTER))
|
|
|
|
#define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P (REGNO)
|
|
|
|
#define SECONDARY_INPUT_RELOAD_CLASS(CLASS, MODE, X) \
|
|
mmix_secondary_reload_class (CLASS, MODE, X, 1)
|
|
|
|
#define SECONDARY_OUTPUT_RELOAD_CLASS(CLASS, MODE, X) \
|
|
mmix_secondary_reload_class (CLASS, MODE, X, 0)
|
|
|
|
#define CLASS_MAX_NREGS(CLASS, MODE) targetm.hard_regno_nregs (CLASS, MODE)
|
|
|
|
|
|
/* Node: Frame Layout */
|
|
|
|
#define STACK_GROWS_DOWNWARD 1
|
|
#define FRAME_GROWS_DOWNWARD 1
|
|
|
|
#define FIRST_PARM_OFFSET(FUNDECL) 0
|
|
|
|
#define DYNAMIC_CHAIN_ADDRESS(FRAMEADDR) \
|
|
mmix_dynamic_chain_address (FRAMEADDR)
|
|
|
|
/* FIXME: It seems RETURN_ADDR_OFFSET is undocumented. */
|
|
|
|
#define SETUP_FRAME_ADDRESSES() \
|
|
mmix_setup_frame_addresses ()
|
|
|
|
#define RETURN_ADDR_RTX(COUNT, FRAME) \
|
|
mmix_return_addr_rtx (COUNT, FRAME)
|
|
|
|
/* It's in rJ before we store it somewhere. */
|
|
#define INCOMING_RETURN_ADDR_RTX \
|
|
gen_rtx_REG (Pmode, MMIX_INCOMING_RETURN_ADDRESS_REGNUM)
|
|
|
|
/* FIXME: This does not seem properly documented or cross-indexed.
|
|
Nowhere except in the code does it say it *has* to be in the range
|
|
0..255, or else it will be truncated. That goes for the default too. */
|
|
#define DWARF_FRAME_RETURN_COLUMN \
|
|
DWARF_FRAME_REGNUM (MMIX_INCOMING_RETURN_ADDRESS_REGNUM)
|
|
|
|
/* No return address is stored there. */
|
|
#define INCOMING_FRAME_SP_OFFSET 0
|
|
|
|
/* Node: Stack Checking */
|
|
/* (empty) */
|
|
|
|
|
|
/* Node: Exception Handling */
|
|
|
|
#define EH_RETURN_DATA_REGNO(N) \
|
|
mmix_eh_return_data_regno (N)
|
|
|
|
#define EH_RETURN_STACKADJ_RTX \
|
|
mmix_eh_return_stackadj_rtx ()
|
|
|
|
#define EH_RETURN_HANDLER_RTX \
|
|
mmix_eh_return_handler_rtx ()
|
|
|
|
#define ASM_PREFERRED_EH_DATA_FORMAT(CODE, GLOBAL) \
|
|
mmix_asm_preferred_eh_data_format (CODE, GLOBAL)
|
|
|
|
/* Node: Frame Registers */
|
|
#define STACK_POINTER_REGNUM MMIX_STACK_POINTER_REGNUM
|
|
|
|
/* Perhaps we can use HARD_FRAME_POINTER_REGNUM and decide later on
|
|
what register we want to use. */
|
|
#define FRAME_POINTER_REGNUM MMIX_FRAME_POINTER_REGNUM
|
|
#define ARG_POINTER_REGNUM MMIX_ARG_POINTER_REGNUM
|
|
|
|
#define STATIC_CHAIN_REGNUM MMIX_STATIC_CHAIN_REGNUM
|
|
|
|
|
|
/* Node: Elimination */
|
|
|
|
/* The frame-pointer is stored in a location that either counts to the
|
|
offset of incoming parameters, or that counts to the offset of the
|
|
frame, so we can't use a single offset. We therefore eliminate those
|
|
two separately. */
|
|
#define ELIMINABLE_REGS \
|
|
{{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \
|
|
{ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \
|
|
{FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}}
|
|
|
|
#define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \
|
|
(OFFSET) = mmix_initial_elimination_offset (FROM, TO)
|
|
|
|
|
|
/* Node: Stack Arguments */
|
|
|
|
#define ACCUMULATE_OUTGOING_ARGS 1
|
|
|
|
|
|
/* Node: Register Arguments */
|
|
|
|
typedef struct { int regs; int lib; } CUMULATIVE_ARGS;
|
|
|
|
#define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT, N_NAMED_ARGS) \
|
|
((CUM).regs = 0, (CUM).lib = ((LIBNAME) != 0))
|
|
|
|
#define FUNCTION_ARG_REGNO_P(REGNO) \
|
|
mmix_function_arg_regno_p (REGNO, 0)
|
|
|
|
|
|
/* Node: Caller Saves */
|
|
/* (empty) */
|
|
|
|
|
|
/* Node: Function Entry */
|
|
|
|
/* See mmix.c for TARGET_ASM_FUNCTION_PROLOGUE and
|
|
TARGET_ASM_FUNCTION_EPILOGUE. */
|
|
|
|
/* We need to say that the epilogue uses the return address, so the
|
|
initial-value machinery restores it. FIXME: Some targets
|
|
conditionalize on "reload_completed &&". Investigate difference.
|
|
FIXME: Not needed if nonlocal_goto_stack_level. */
|
|
#define EPILOGUE_USES(REGNO) \
|
|
((REGNO) == MMIX_INCOMING_RETURN_ADDRESS_REGNUM)
|
|
|
|
/* Node: Profiling */
|
|
#define FUNCTION_PROFILER(FILE, LABELNO) \
|
|
mmix_function_profiler (FILE, LABELNO)
|
|
|
|
/* Node: Trampolines */
|
|
|
|
#define TRAMPOLINE_SIZE (4*UNITS_PER_WORD)
|
|
#define TRAMPOLINE_ALIGNMENT BITS_PER_WORD
|
|
|
|
/* Node: Addressing Modes */
|
|
|
|
#define CONSTANT_ADDRESS_P(X) \
|
|
mmix_constant_address_p (X)
|
|
|
|
#define MAX_REGS_PER_ADDRESS 2
|
|
|
|
|
|
/* Node: Condition Code */
|
|
|
|
#define SELECT_CC_MODE(OP, X, Y) \
|
|
mmix_select_cc_mode (OP, X, Y)
|
|
|
|
/* A definition of CANONICALIZE_COMPARISON that changed LE and GT
|
|
comparisons with -1 to LT and GE respectively, and LT, LTU, GE or GEU
|
|
comparisons with 256 to 255 and LE, LEU, GT and GTU has been
|
|
ineffective; the code path for performing the changes did not trig for
|
|
neither the GCC testsuite nor ghostscript-6.52 nor Knuth's mmix.tar.gz
|
|
itself (core GCC functionality supposedly handling it) with sources
|
|
from 2002-06-06. */
|
|
|
|
#define REVERSIBLE_CC_MODE(MODE) \
|
|
mmix_reversible_cc_mode (MODE)
|
|
|
|
|
|
/* Node: Costs */
|
|
|
|
#define SLOW_BYTE_ACCESS 0
|
|
|
|
/* A PUSHJ doesn't cost more than a PUSHGO, so don't needlessly create
|
|
the latter. */
|
|
#define NO_FUNCTION_CSE 1
|
|
|
|
/* Node: Sections */
|
|
|
|
/* This must be a constant string, since it's used in crtstuff.c. */
|
|
#define TEXT_SECTION_ASM_OP \
|
|
"\t.text ! mmixal:= 9H LOC 8B"
|
|
|
|
/* FIXME: Not documented. */
|
|
#define DATA_SECTION_ASM_OP \
|
|
mmix_data_section_asm_op ()
|
|
|
|
#define READONLY_DATA_SECTION_ASM_OP "\t.section\t.rodata"
|
|
|
|
/* Node: PIC */
|
|
/* (empty) */
|
|
|
|
|
|
/* Node: File Framework */
|
|
|
|
/* While any other punctuation character but ";" would do, we prefer "%"
|
|
or "!"; "!" is an unary operator and so will not be mistakenly included
|
|
in correctly formed expressions. The hash character adds mass; catches
|
|
the eye. We can't have it as a comment char by itself, since it's a
|
|
hex-number prefix. */
|
|
#define ASM_COMMENT_START "!#"
|
|
|
|
/* These aren't currently functional. We just keep them as markers. */
|
|
#define ASM_APP_ON "%APP\n"
|
|
#define ASM_APP_OFF "%NO_APP\n"
|
|
|
|
#define OUTPUT_QUOTED_STRING(STREAM, STRING) \
|
|
mmix_output_quoted_string (STREAM, STRING, strlen (STRING))
|
|
|
|
#define TARGET_ASM_NAMED_SECTION default_elf_asm_named_section
|
|
|
|
/* Node: Data Output */
|
|
|
|
#define ASM_OUTPUT_ASCII(STREAM, PTR, LEN) \
|
|
mmix_asm_output_ascii (STREAM, PTR, LEN)
|
|
|
|
/* Make output more ELF-like, by emitting .hidden for hidden symbols
|
|
(which don't really matter for mmix-knuth-mmixware). */
|
|
#define ASM_OUTPUT_EXTERNAL(FILE, DECL, NAME) \
|
|
default_elf_asm_output_external (FILE, DECL, NAME)
|
|
|
|
/* Node: Uninitialized Data */
|
|
|
|
#define ASM_OUTPUT_ALIGNED_COMMON(ST, N, S, A) \
|
|
mmix_asm_output_aligned_common (ST, N, S, A)
|
|
|
|
#define ASM_OUTPUT_ALIGNED_LOCAL(ST, N, S, A) \
|
|
mmix_asm_output_aligned_local (ST, N, S, A)
|
|
|
|
|
|
/* Node: Label Output */
|
|
|
|
#define ASM_OUTPUT_LABEL(STREAM, NAME) \
|
|
mmix_asm_output_label (STREAM, NAME)
|
|
|
|
#define ASM_OUTPUT_INTERNAL_LABEL(STREAM, NAME) \
|
|
mmix_asm_output_internal_label (STREAM, NAME)
|
|
|
|
#define ASM_DECLARE_REGISTER_GLOBAL(STREAM, DECL, REGNO, NAME) \
|
|
mmix_asm_declare_register_global (STREAM, DECL, REGNO, NAME)
|
|
|
|
#define GLOBAL_ASM_OP "\t.global "
|
|
|
|
#define ASM_WEAKEN_LABEL(STREAM, NAME) \
|
|
mmix_asm_weaken_label (STREAM, NAME)
|
|
|
|
#define MAKE_DECL_ONE_ONLY(DECL) \
|
|
mmix_make_decl_one_only (DECL)
|
|
|
|
#define ASM_OUTPUT_LABELREF(STREAM, NAME) \
|
|
mmix_asm_output_labelref (STREAM, NAME)
|
|
|
|
/* We insert a ":" to disambiguate against user symbols like L5. */
|
|
#define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM) \
|
|
sprintf (LABEL, "*%s:%ld", PREFIX, (long)(NUM))
|
|
|
|
/* Insert "::"; these are rarer than internal labels. FIXME: Make sure no
|
|
":" is seen in the object file; we don't really want that mmixal
|
|
feature visible there. We don't want the default, which uses a dot;
|
|
that'd be incompatible with mmixal. */
|
|
#define ASM_PN_FORMAT "%s::%lu"
|
|
|
|
#define ASM_OUTPUT_DEF(STREAM, NAME, VALUE) \
|
|
mmix_asm_output_def (STREAM, NAME, VALUE)
|
|
|
|
/* Node: Macros for Initialization */
|
|
/* We're compiling to ELF and linking to MMO; fundamental ELF features
|
|
that GCC depend on are there. */
|
|
|
|
/* These must be constant strings, since they're used in crtstuff.c. */
|
|
#define INIT_SECTION_ASM_OP "\t.section .init,\"ax\" ! mmixal-incompatible"
|
|
|
|
#define FINI_SECTION_ASM_OP "\t.section .fini,\"ax\" ! mmixal-incompatible"
|
|
|
|
#define OBJECT_FORMAT_ELF
|
|
|
|
|
|
/* Node: Instruction Output */
|
|
|
|
/* The non-$ register names must be prefixed with ":", since they're
|
|
affected by PREFIX. We provide the non-colon names as additional
|
|
names. */
|
|
#define REGISTER_NAMES \
|
|
{"$0", "$1", "$2", "$3", "$4", "$5", "$6", "$7", \
|
|
"$8", "$9", "$10", "$11", "$12", "$13", "$14", "$15", \
|
|
"$16", "$17", "$18", "$19", "$20", "$21", "$22", "$23", \
|
|
"$24", "$25", "$26", "$27", "$28", "$29", "$30", "$31", \
|
|
"$32", "$33", "$34", "$35", "$36", "$37", "$38", "$39", \
|
|
"$40", "$41", "$42", "$43", "$44", "$45", "$46", "$47", \
|
|
"$48", "$49", "$50", "$51", "$52", "$53", "$54", "$55", \
|
|
"$56", "$57", "$58", "$59", "$60", "$61", "$62", "$63", \
|
|
"$64", "$65", "$66", "$67", "$68", "$69", "$70", "$71", \
|
|
"$72", "$73", "$74", "$75", "$76", "$77", "$78", "$79", \
|
|
"$80", "$81", "$82", "$83", "$84", "$85", "$86", "$87", \
|
|
"$88", "$89", "$90", "$91", "$92", "$93", "$94", "$95", \
|
|
"$96", "$97", "$98", "$99", "$100", "$101", "$102", "$103", \
|
|
"$104", "$105", "$106", "$107", "$108", "$109", "$110", "$111", \
|
|
"$112", "$113", "$114", "$115", "$116", "$117", "$118", "$119", \
|
|
"$120", "$121", "$122", "$123", "$124", "$125", "$126", "$127", \
|
|
"$128", "$129", "$130", "$131", "$132", "$133", "$134", "$135", \
|
|
"$136", "$137", "$138", "$139", "$140", "$141", "$142", "$143", \
|
|
"$144", "$145", "$146", "$147", "$148", "$149", "$150", "$151", \
|
|
"$152", "$153", "$154", "$155", "$156", "$157", "$158", "$159", \
|
|
"$160", "$161", "$162", "$163", "$164", "$165", "$166", "$167", \
|
|
"$168", "$169", "$170", "$171", "$172", "$173", "$174", "$175", \
|
|
"$176", "$177", "$178", "$179", "$180", "$181", "$182", "$183", \
|
|
"$184", "$185", "$186", "$187", "$188", "$189", "$190", "$191", \
|
|
"$192", "$193", "$194", "$195", "$196", "$197", "$198", "$199", \
|
|
"$200", "$201", "$202", "$203", "$204", "$205", "$206", "$207", \
|
|
"$208", "$209", "$210", "$211", "$212", "$213", "$214", "$215", \
|
|
"$216", "$217", "$218", "$219", "$220", "$221", "$222", "$223", \
|
|
"$224", "$225", "$226", "$227", "$228", "$229", "$230", "$231", \
|
|
"$232", "$233", "$234", "$235", "$236", "$237", "$238", "$239", \
|
|
"$240", "$241", "$242", "$243", "$244", "$245", "$246", "$247", \
|
|
"$248", "$249", "$250", "$251", "$252", "$253", "$254", "$255", \
|
|
":rD", ":rE", ":rH", ":rJ", ":rR", "ap_!BAD!", ":rO"}
|
|
|
|
#define ADDITIONAL_REGISTER_NAMES \
|
|
{{"sp", 254}, {":sp", 254}, {"rD", 256}, {"rE", 257}, \
|
|
{"rH", 258}, {"rJ", MMIX_rJ_REGNUM}, {"rO", MMIX_rO_REGNUM}}
|
|
|
|
#define ASM_OUTPUT_REG_PUSH(STREAM, REGNO) \
|
|
mmix_asm_output_reg_push (STREAM, REGNO)
|
|
|
|
#define ASM_OUTPUT_REG_POP(STREAM, REGNO) \
|
|
mmix_asm_output_reg_pop (STREAM, REGNO)
|
|
|
|
|
|
/* Node: Dispatch Tables */
|
|
|
|
/* We define both types, since SImode is the better, but DImode the only
|
|
possible for mmixal so that's the one actually used. */
|
|
#define ASM_OUTPUT_ADDR_DIFF_ELT(STREAM, BODY, VALUE, REL) \
|
|
mmix_asm_output_addr_diff_elt (STREAM, BODY, VALUE, REL)
|
|
|
|
#define ASM_OUTPUT_ADDR_VEC_ELT(STREAM, VALUE) \
|
|
mmix_asm_output_addr_vec_elt (STREAM, VALUE)
|
|
|
|
|
|
/* Node: Exception Region Output */
|
|
/* (empty) */
|
|
|
|
/* Node: Alignment Output */
|
|
|
|
#define ASM_OUTPUT_SKIP(STREAM, NBYTES) \
|
|
mmix_asm_output_skip (STREAM, NBYTES)
|
|
|
|
#define ASM_OUTPUT_ALIGN(STREAM, POWER) \
|
|
mmix_asm_output_align (STREAM, POWER)
|
|
|
|
|
|
/* Node: All Debuggers */
|
|
|
|
#define DBX_REGISTER_NUMBER(REGNO) \
|
|
mmix_dbx_register_number (REGNO)
|
|
|
|
|
|
/* Node: DBX Options */
|
|
/* (empty) */
|
|
/* Node: DBX Hooks */
|
|
/* (empty) */
|
|
/* Node: File Names and DBX */
|
|
/* (empty) */
|
|
|
|
|
|
/* Node: DWARF */
|
|
#define DWARF2_DEBUGGING_INFO 1
|
|
#define DWARF2_ASM_LINE_DEBUG_INFO 1
|
|
|
|
/* Node: Misc */
|
|
|
|
/* There's no way to get a PC-relative offset into tables for SImode, so
|
|
for the moment we have absolute entries in DImode.
|
|
When we're going ELF, these should be SImode and 1. */
|
|
#define CASE_VECTOR_MODE DImode
|
|
#define CASE_VECTOR_PC_RELATIVE 0
|
|
|
|
#define WORD_REGISTER_OPERATIONS 1
|
|
|
|
/* We have a choice, which makes this yet another parameter to tweak. The
|
|
gut feeling is currently that SIGN_EXTEND wins; "int" is more frequent
|
|
than "unsigned int", and we have signed characters. FIXME: measure. */
|
|
#define LOAD_EXTEND_OP(MODE) (TARGET_ZERO_EXTEND ? ZERO_EXTEND : SIGN_EXTEND)
|
|
|
|
#define MOVE_MAX 8
|
|
|
|
/* ??? MMIX allows a choice of STORE_FLAG_VALUE. Revisit later,
|
|
we don't have scc expanders yet. */
|
|
|
|
#define Pmode DImode
|
|
|
|
#define FUNCTION_MODE QImode
|
|
|
|
/* mmix-knuth-mmixware target has no support of C99 runtime */
|
|
#undef TARGET_LIBC_HAS_FUNCTION
|
|
#define TARGET_LIBC_HAS_FUNCTION no_c99_libc_has_function
|
|
|
|
/* These are checked. */
|
|
#define DOLLARS_IN_IDENTIFIERS 0
|
|
#define NO_DOLLAR_IN_LABEL
|
|
#define NO_DOT_IN_LABEL
|
|
|
|
#endif /* GCC_MMIX_H */
|
|
/*
|
|
* Local variables:
|
|
* eval: (c-set-style "gnu")
|
|
* indent-tabs-mode: t
|
|
* End:
|
|
*/
|