1 /* Definitions of target machine for GNU compiler, for MMIX. 2 Copyright (C) 2000, 2001, 2002 Free Software Foundation, Inc. 3 Contributed by Hans-Peter Nilsson (hp@bitrange.com) 4 5 This file is part of GCC. 6 7 GCC is free software; you can redistribute it and/or modify 8 it under the terms of the GNU General Public License as published by 9 the Free Software Foundation; either version 2, or (at your option) 10 any later version. 11 12 GCC is distributed in the hope that it will be useful, 13 but WITHOUT ANY WARRANTY; without even the implied warranty of 14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 GNU General Public License for more details. 16 17 You should have received a copy of the GNU General Public License 18 along with GCC; see the file COPYING. If not, write to 19 the Free Software Foundation, 59 Temple Place - Suite 330, 20 Boston, MA 02111-1307, USA. */ 21 22 #ifndef GCC_MMIX_H 23 #define GCC_MMIX_H 24 25 /* First, some local helper macros. Note that the "default" value of 26 FIXED_REGISTERS, CALL_USED_REGISTERS, REG_ALLOC_ORDER and 27 REG_CLASS_CONTENTS depend on these values. */ 28 #define MMIX_RESERVED_GNU_ARG_0_REGNUM 231 29 #define MMIX_FIRST_ARG_REGNUM \ 30 (TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 16) 31 #define MMIX_FIRST_INCOMING_ARG_REGNUM \ 32 (TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 0) 33 #define MMIX_MAX_ARGS_IN_REGS 16 34 35 /* FIXME: This one isn't fully implemented yet. Return values larger than 36 one register are passed by reference in MMIX_STRUCT_VALUE_REGNUM by the 37 caller, except for return values of type "complex". */ 38 #define MMIX_MAX_REGS_FOR_VALUE 16 39 #define MMIX_RETURN_VALUE_REGNUM \ 40 (TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 15) 41 #define MMIX_OUTGOING_RETURN_VALUE_REGNUM \ 42 (TARGET_ABI_GNU ? MMIX_RESERVED_GNU_ARG_0_REGNUM : 0) 43 #define MMIX_STRUCT_VALUE_REGNUM 251 44 #define MMIX_STATIC_CHAIN_REGNUM 252 45 #define MMIX_FRAME_POINTER_REGNUM 253 46 #define MMIX_STACK_POINTER_REGNUM 254 47 #define MMIX_LAST_GENERAL_REGISTER 255 48 #define MMIX_INCOMING_RETURN_ADDRESS_REGNUM MMIX_rJ_REGNUM 49 #define MMIX_HIMULT_REGNUM 258 50 #define MMIX_REMAINDER_REGNUM MMIX_rR_REGNUM 51 #define MMIX_ARG_POINTER_REGNUM 261 52 #define MMIX_rO_REGNUM 262 53 #define MMIX_LAST_STACK_REGISTER_REGNUM 31 54 55 /* Four registers; "ideally, these registers should be call-clobbered", so 56 just grab a bunch of the common clobbered registers. FIXME: Last 57 registers of return-value should be used, with an error if there's a 58 return-value (that collides in size). */ 59 #define MMIX_EH_RETURN_DATA_REGNO_START (MMIX_STRUCT_VALUE_REGNUM - 4) 60 61 /* Try to keep the definitions from running away on their own. */ 62 #if (MMIX_EH_RETURN_DATA_REGNO_START \ 63 != MMIX_RESERVED_GNU_ARG_0_REGNUM + MMIX_MAX_ARGS_IN_REGS) 64 #error MMIX register definition inconsistency 65 #endif 66 67 #if (MMIX_MAX_REGS_FOR_VALUE + MMIX_MAX_ARGS_IN_REGS > 32) 68 #error MMIX parameters and return values bad, more than 32 registers 69 #endif 70 71 /* This chosen as "a call-clobbered hard register that is otherwise 72 untouched by the epilogue". */ 73 #define MMIX_EH_RETURN_STACKADJ_REGNUM MMIX_STATIC_CHAIN_REGNUM 74 75 #ifdef REG_OK_STRICT 76 # define MMIX_REG_OK_STRICT 1 77 #else 78 # define MMIX_REG_OK_STRICT 0 79 #endif 80 81 #define MMIX_FUNCTION_ARG_SIZE(MODE, TYPE) \ 82 ((MODE) != BLKmode ? GET_MODE_SIZE (MODE) : int_size_in_bytes (TYPE)) 83 84 /* Declarations for helper variables that are not tied to a particular 85 target macro. */ 86 extern GTY(()) rtx mmix_compare_op0; 87 extern GTY(()) rtx mmix_compare_op1; 88 89 /* Per-function machine data. This is normally an opaque type just 90 defined and used in the tm.c file, but we need to see the definition in 91 mmix.md too. */ 92 struct machine_function GTY(()) 93 { 94 int has_landing_pad; 95 int highest_saved_stack_register; 96 int in_prologue; 97 }; 98 99 /* For these target macros, there is no generic documentation here. You 100 should read `Using and Porting GCC' for that. Only comments specific 101 to the MMIX target are here. 102 103 There are however references to the specific texinfo node (comments 104 with "Node:"), so there should be little or nothing amiss. Probably 105 the opposite, since we don't have to care about old littering and 106 soon outdated generic comments. */ 107 108 /* Node: Driver */ 109 110 /* User symbols are in the same name-space as built-in symbols, but we 111 don't need the built-in symbols, so remove those and instead apply 112 stricter operand checking. Don't warn when expanding insns. */ 113 #define ASM_SPEC "-no-predefined-syms -x" 114 115 /* Pass on -mset-program-start=N and -mset-data-start=M to the linker. 116 Provide default program start 0x100 unless -mno-set-program-start. 117 Don't do this if linking relocatably, with -r. For a final link, 118 produce mmo, unless ELF is requested or when linking relocatably. */ 119 #define LINK_SPEC \ 120 "%{mset-program-start=*:--defsym __.MMIX.start..text=%*}\ 121 %{mset-data-start=*:--defsym __.MMIX.start..data=%*}\ 122 %{!mset-program-start=*:\ 123 %{!mno-set-program-start:\ 124 %{!r:--defsym __.MMIX.start..text=0x100}}}\ 125 %{!melf:%{!r:-m mmo}}%{melf|r:-m elf64mmix}" 126 127 /* Put unused option values here. */ 128 extern const char *mmix_cc1_ignored_option; 129 130 #define TARGET_OPTIONS \ 131 {{"set-program-start=", &mmix_cc1_ignored_option, \ 132 N_("Set start-address of the program"), 0}, \ 133 {"set-data-start=", &mmix_cc1_ignored_option, \ 134 N_("Set start-address of data"), 0} } 135 136 /* FIXME: There's no provision for profiling here. */ 137 #define STARTFILE_SPEC \ 138 "crti%O%s crtbegin%O%s" 139 140 #define ENDFILE_SPEC "crtend%O%s crtn%O%s" 141 142 /* Node: Run-time Target */ 143 144 /* Define __LONG_MAX__, since we're advised not to change glimits.h. */ 145 #define TARGET_CPU_CPP_BUILTINS() \ 146 do \ 147 { \ 148 builtin_define ("__mmix__"); \ 149 builtin_define ("__MMIX__"); \ 150 if (TARGET_ABI_GNU) \ 151 builtin_define ("__MMIX_ABI_GNU__"); \ 152 else \ 153 builtin_define ("__MMIX_ABI_MMIXWARE__"); \ 154 } \ 155 while (0) 156 157 extern int target_flags; 158 159 #define TARGET_MASK_LIBFUNCS 1 160 #define TARGET_MASK_ABI_GNU 2 161 #define TARGET_MASK_FCMP_EPSILON 4 162 #define TARGET_MASK_ZERO_EXTEND 8 163 #define TARGET_MASK_KNUTH_DIVISION 16 164 #define TARGET_MASK_TOPLEVEL_SYMBOLS 32 165 #define TARGET_MASK_BRANCH_PREDICT 64 166 #define TARGET_MASK_USE_RETURN_INSN 128 167 168 /* We use the term "base address" since that's what Knuth uses. The base 169 address goes in a global register. When addressing, it's more like 170 "base address plus offset", with the offset being 0..255 from the base, 171 which itself can be a symbol plus an offset. The effect is like having 172 a constant pool in global registers, code offsetting from those 173 registers (automatically causing a request for a suitable constant base 174 address register) without having to know the specific register or the 175 specific offset. The setback is that there's a limited number of 176 registers, and you'll not find out until link time whether you 177 should've compiled with -mno-base-addresses. */ 178 #define TARGET_MASK_BASE_ADDRESSES 128 179 180 /* FIXME: Get rid of this one. */ 181 #define TARGET_LIBFUNC (target_flags & TARGET_MASK_LIBFUNCS) 182 #define TARGET_ABI_GNU (target_flags & TARGET_MASK_ABI_GNU) 183 #define TARGET_FCMP_EPSILON (target_flags & TARGET_MASK_FCMP_EPSILON) 184 #define TARGET_ZERO_EXTEND (target_flags & TARGET_MASK_ZERO_EXTEND) 185 #define TARGET_KNUTH_DIVISION (target_flags & TARGET_MASK_KNUTH_DIVISION) 186 #define TARGET_TOPLEVEL_SYMBOLS (target_flags & TARGET_MASK_TOPLEVEL_SYMBOLS) 187 #define TARGET_BRANCH_PREDICT (target_flags & TARGET_MASK_BRANCH_PREDICT) 188 #define TARGET_BASE_ADDRESSES (target_flags & TARGET_MASK_BASE_ADDRESSES) 189 #define TARGET_USE_RETURN_INSN (target_flags & TARGET_MASK_USE_RETURN_INSN) 190 191 #define TARGET_DEFAULT \ 192 (TARGET_MASK_BRANCH_PREDICT | TARGET_MASK_BASE_ADDRESSES \ 193 | TARGET_MASK_USE_RETURN_INSN) 194 195 /* FIXME: Provide a way to *load* the epsilon register. */ 196 #define TARGET_SWITCHES \ 197 {{"libfuncs", TARGET_MASK_LIBFUNCS, \ 198 N_("For intrinsics library: pass all parameters in registers")}, \ 199 {"no-libfuncs", -TARGET_MASK_LIBFUNCS, ""}, \ 200 {"abi=mmixware", -TARGET_MASK_ABI_GNU, \ 201 N_("Use register stack for parameters and return value")}, \ 202 {"abi=gnu", TARGET_MASK_ABI_GNU, \ 203 N_("Use call-clobbered registers for parameters and return value")}, \ 204 {"epsilon", TARGET_MASK_FCMP_EPSILON, \ 205 N_("Use epsilon-respecting floating point compare instructions")}, \ 206 {"no-epsilon", -TARGET_MASK_FCMP_EPSILON, ""}, \ 207 {"zero-extend", TARGET_MASK_ZERO_EXTEND, \ 208 N_("Use zero-extending memory loads, not sign-extending ones")}, \ 209 {"no-zero-extend", -TARGET_MASK_ZERO_EXTEND, ""}, \ 210 {"knuthdiv", TARGET_MASK_KNUTH_DIVISION, \ 211 N_("Generate divide results with reminder having the same sign as the\ 212 divisor (not the dividend)")}, \ 213 {"no-knuthdiv", -TARGET_MASK_KNUTH_DIVISION, ""}, \ 214 {"toplevel-symbols", TARGET_MASK_TOPLEVEL_SYMBOLS, \ 215 N_("Prepend global symbols with \":\" (for use with PREFIX)")}, \ 216 {"no-toplevel-symbols", -TARGET_MASK_TOPLEVEL_SYMBOLS, \ 217 N_("Do not provide a default start-address 0x100 of the program")}, \ 218 {"elf", 0, \ 219 N_("Link to emit program in ELF format (rather than mmo)")}, \ 220 {"branch-predict", TARGET_MASK_BRANCH_PREDICT, \ 221 N_("Use P-mnemonics for branches statically predicted as taken")}, \ 222 {"no-branch-predict", -TARGET_MASK_BRANCH_PREDICT, \ 223 N_("Don't use P-mnemonics for branches")}, \ 224 {"base-addresses", TARGET_MASK_BASE_ADDRESSES, \ 225 N_("Use addresses that allocate global registers")}, \ 226 {"no-base-addresses", -TARGET_MASK_BASE_ADDRESSES, \ 227 N_("Do not use addresses that allocate global registers")}, \ 228 {"single-exit", -TARGET_MASK_USE_RETURN_INSN, \ 229 N_("Generate a single exit point for each function")}, \ 230 {"no-single-exit", TARGET_MASK_USE_RETURN_INSN, \ 231 N_("Do not generate a single exit point for each function")}, \ 232 {"", TARGET_DEFAULT, ""}} 233 234 /* Unfortunately, this must not reference anything in "mmix.c". */ 235 #define TARGET_VERSION \ 236 fprintf (stderr, " (MMIX)") 237 238 #define OVERRIDE_OPTIONS mmix_override_options () 239 240 #define OPTIMIZATION_OPTIONS(LEVEL, SIZE) \ 241 do \ 242 { \ 243 if (LEVEL >= 1) \ 244 flag_regmove = TRUE; \ 245 \ 246 if (SIZE || LEVEL > 1) \ 247 { \ 248 flag_omit_frame_pointer = TRUE; \ 249 flag_strength_reduce = FALSE; \ 250 } \ 251 } \ 252 while (0) 253 254 /* This one will have to wait a little bit; right now we can't debug 255 neither with or without a frame-pointer. */ 256 /* #define CAN_DEBUG_WITHOUT_FP */ 257 258 259 /* Node: Per-Function Data */ 260 #define INIT_EXPANDERS mmix_init_expanders () 261 262 263 /* Node: Storage Layout */ 264 /* I see no bit-field instructions. Anyway, the common order is from low 265 to high, as the power of two, hence little-endian. */ 266 #define BITS_BIG_ENDIAN 0 267 #define BYTES_BIG_ENDIAN 1 268 #define WORDS_BIG_ENDIAN 1 269 #define FLOAT_WORDS_BIG_ENDIAN 1 270 #define UNITS_PER_WORD 8 271 272 /* FIXME: This macro is correlated to MAX_FIXED_MODE_SIZE in that 273 e.g. this macro must not be 8 (default, UNITS_PER_WORD) when 274 MAX_FIXED_MODE_SIZE is 64 (default, DImode), or really: this must be 275 set manually if MAX_FIXED_MODE_SIZE is not at least twice the register 276 size. By setting it to 4, we don't have to worry about TImode things 277 yet. Revisit, perhaps get TImode going or get some solution that does 278 not mandate TImode or lie in other ways. */ 279 #define MIN_UNITS_PER_WORD 4 280 281 /* FIXME: Promotion of modes currently generates slow code, extending 282 before every operation. */ 283 284 #define PROMOTE_MODE(MODE, UNSIGNEDP, TYPE) \ 285 do { \ 286 if (GET_MODE_CLASS (MODE) == MODE_INT \ 287 && GET_MODE_SIZE (MODE) < 8) \ 288 { \ 289 (MODE) = DImode; \ 290 /* Do the following some time later, \ 291 scrutinizing differences. */ \ 292 if (0) (UNSIGNEDP) = 0; \ 293 } \ 294 } while (0) 295 296 #define PROMOTE_FUNCTION_ARGS 297 298 #if 0 299 /* Apparently not doing TRT if int < register-size. FIXME: Perhaps 300 FUNCTION_VALUE and LIBCALL_VALUE needs tweaking as some ports say. */ 301 #define PROMOTE_FUNCTION_RETURN 302 #endif 303 304 /* I'm a little bit undecided about this one. It might be beneficial to 305 promote all operations. */ 306 #define PROMOTE_FOR_CALL_ONLY 307 308 /* We need to align everything to 64 bits that can affect the alignment 309 of other types. Since address N is interpreted in MMIX as (N modulo 310 access_size), we must align. */ 311 #define PARM_BOUNDARY 64 312 #define STACK_BOUNDARY 64 313 #define FUNCTION_BOUNDARY 32 314 #define BIGGEST_ALIGNMENT 64 315 316 /* This one is only used in the ADA front end. */ 317 #define MINIMUM_ATOMIC_ALIGNMENT 8 318 319 /* Copied from elfos.h. */ 320 #define MAX_OFILE_ALIGNMENT (32768 * 8) 321 322 #define DATA_ALIGNMENT(TYPE, BASIC_ALIGN) \ 323 mmix_data_alignment (TYPE, BASIC_ALIGN) 324 325 #define CONSTANT_ALIGNMENT(CONSTANT, BASIC_ALIGN) \ 326 mmix_constant_alignment (CONSTANT, BASIC_ALIGN) 327 328 #define LOCAL_ALIGNMENT(TYPE, BASIC_ALIGN) \ 329 mmix_local_alignment (TYPE, BASIC_ALIGN) 330 331 /* Following other ports, this seems to most commonly be the word-size, 332 so let's do that here too. */ 333 #define EMPTY_FIELD_BOUNDARY 64 334 335 /* We chose to have this low solely for similarity with the alpha. It has 336 nothing to do with passing the tests dg/c99-scope-2 and 337 execute/align-1.c. Nothing. Though the tests seem wrong. Padding of 338 the structure is automatically added to get alignment when needed if we 339 set this to just byte-boundary. */ 340 #define STRUCTURE_SIZE_BOUNDARY 8 341 342 /* The lower bits are ignored. */ 343 #define STRICT_ALIGNMENT 1 344 345 346 /* Node: Type Layout */ 347 348 /* It might seem more natural to have 64-bit ints on a 64-bit machine, 349 but then an occasional MMIX programmer needs to know how to put a lot 350 of __attribute__ stuff to get to the 8, 16 and 32-bit modes rather 351 than the "intuitive" char, short and int types. */ 352 #define INT_TYPE_SIZE 32 353 #define SHORT_TYPE_SIZE 16 354 #define LONG_LONG_TYPE_SIZE 64 355 356 #define FLOAT_TYPE_SIZE 32 357 #define DOUBLE_TYPE_SIZE 64 358 #define LONG_DOUBLE_TYPE_SIZE 64 359 360 #define DEFAULT_SIGNED_CHAR 1 361 362 363 /* Node: Register Basics */ 364 /* We tell GCC about all 256 general registers, and we also include 365 rD, rE, rH, rJ, rR and rO (in that order) so we can describe what insns 366 clobber them. We use a faked register for the argument pointer. It is 367 always eliminated towards the frame-pointer or the stack-pointer, never 368 output in assembly. Any fixed register would do for this, like $255, 369 but future debugging is easier when using a separate register. It 370 counts as a global register for pseudorandom reasons. */ 371 #define FIRST_PSEUDO_REGISTER 263 372 373 /* We treat general registers with no assigned purpose as fixed. The 374 stack pointer, $254, is also fixed. Register $255 is referred to as a 375 temporary register in the MMIX papers, and used as such in mmixal, so 376 it should not be used as a stack pointer. We set it to fixed, and use 377 it "manually" at times of despair. */ 378 #define FIXED_REGISTERS \ 379 { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 380 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 381 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 382 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 383 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 384 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 385 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 386 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 387 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 388 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 389 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 390 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 391 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 392 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 393 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 394 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, \ 395 1, 1, 0, 0, 0, 1, 1 \ 396 } 397 398 /* General registers are fixed and therefore "historically" marked 399 call-used. (FIXME: This has changed). Registers $15..$31 are 400 call-clobbered; we'll put arguments in $16 and up, and we need $15 for 401 the MMIX register-stack "hole". */ 402 #define CALL_USED_REGISTERS \ 403 { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, \ 404 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 405 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 406 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 407 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 408 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 409 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 410 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 411 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 412 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 413 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 414 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 415 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 416 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 417 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, \ 418 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, \ 419 1, 1, 1, 1, 1, 1, 1 \ 420 } 421 422 #define CONDITIONAL_REGISTER_USAGE mmix_conditional_register_usage () 423 424 /* No INCOMING_REGNO or OUTGOING_REGNO, since those macros are not usable 425 for MMIX: it doesn't have a fixed register window size. FIXME: Perhaps 426 we should say something about $0..$15 may sometimes be the incoming 427 $16..$31. Those macros need better documentation; it looks like 428 they're just bogus and that FUNCTION_INCOMING_ARG_REGNO_P and 429 FUNCTION_OUTGOING_VALUE should be used where they're used. For the 430 moment, do nothing; things seem to work anyway. */ 431 432 /* Defining LOCAL_REGNO is necessary in presence of prologue/epilogue, 433 else GCC will be confused that those registers aren't saved and 434 restored. */ 435 #define LOCAL_REGNO(REGNO) mmix_local_regno (REGNO) 436 437 /* Node: Allocation Order */ 438 439 /* We should allocate registers from 0 to 31 by increasing number, because 440 I think that's what people expect. Beyond that, just use 441 call-clobbered global registers first, then call-clobbered special 442 registers. Last, the fixed registers. */ 443 #define MMIX_MMIXWARE_ABI_REG_ALLOC_ORDER \ 444 { 0, 1, 2, 3, 4, 5, 6, 7, \ 445 8, 9, 10, 11, 12, 13, 14, 15, \ 446 16, 17, 18, 19, 20, 21, 22, 23, \ 447 24, 25, 26, 27, 28, 29, 30, 31, \ 448 \ 449 252, 251, 250, 249, 248, 247, \ 450 \ 451 253, \ 452 \ 453 258, 260, 259, \ 454 \ 455 32, 33, 34, 35, 36, 37, 38, 39, \ 456 40, 41, 42, 43, 44, 45, 46, 47, \ 457 48, 49, 50, 51, 52, 53, 54, 55, \ 458 56, 57, 58, 59, 60, 61, 62, 63, \ 459 64, 65, 66, 67, 68, 69, 70, 71, \ 460 72, 73, 74, 75, 76, 77, 78, 79, \ 461 80, 81, 82, 83, 84, 85, 86, 87, \ 462 88, 89, 90, 91, 92, 93, 94, 95, \ 463 96, 97, 98, 99, 100, 101, 102, 103, \ 464 104, 105, 106, 107, 108, 109, 110, 111, \ 465 112, 113, 114, 115, 116, 117, 118, 119, \ 466 120, 121, 122, 123, 124, 125, 126, 127, \ 467 128, 129, 130, 131, 132, 133, 134, 135, \ 468 136, 137, 138, 139, 140, 141, 142, 143, \ 469 144, 145, 146, 147, 148, 149, 150, 151, \ 470 152, 153, 154, 155, 156, 157, 158, 159, \ 471 160, 161, 162, 163, 164, 165, 166, 167, \ 472 168, 169, 170, 171, 172, 173, 174, 175, \ 473 176, 177, 178, 179, 180, 181, 182, 183, \ 474 184, 185, 186, 187, 188, 189, 190, 191, \ 475 192, 193, 194, 195, 196, 197, 198, 199, \ 476 200, 201, 202, 203, 204, 205, 206, 207, \ 477 208, 209, 210, 211, 212, 213, 214, 215, \ 478 216, 217, 218, 219, 220, 221, 222, 223, \ 479 224, 225, 226, 227, 228, 229, 230, 231, \ 480 232, 233, 234, 235, 236, 237, 238, 239, \ 481 240, 241, 242, 243, 244, 245, 246, \ 482 \ 483 254, 255, 256, 257, 261, 262 \ 484 } 485 486 /* As a convenience, we put this nearby, for ease of comparison. 487 First, call-clobbered registers in reverse order of assignment as 488 parameters (also the top ones; not because they're parameters, but 489 for continuity). 490 491 Second, saved registers that go on the register-stack. 492 493 Third, special registers rH, rR and rJ. They should not normally be 494 allocated, but since they're call-clobbered, it is cheaper to use one 495 of them than using a call-saved register for a call-clobbered use, 496 assuming it is referenced a very limited number of times. Other global 497 and fixed registers come next; they are never allocated. */ 498 #define MMIX_GNU_ABI_REG_ALLOC_ORDER \ 499 { 252, 251, 250, 249, 248, 247, 246, \ 500 245, 244, 243, 242, 241, 240, 239, 238, \ 501 237, 236, 235, 234, 233, 232, 231, \ 502 \ 503 0, 1, 2, 3, 4, 5, 6, 7, \ 504 8, 9, 10, 11, 12, 13, 14, 15, \ 505 16, 17, 18, 19, 20, 21, 22, 23, \ 506 24, 25, 26, 27, 28, 29, 30, 31, \ 507 \ 508 253, \ 509 \ 510 258, 260, 259, \ 511 \ 512 32, 33, 34, 35, 36, 37, 38, 39, \ 513 40, 41, 42, 43, 44, 45, 46, 47, \ 514 48, 49, 50, 51, 52, 53, 54, 55, \ 515 56, 57, 58, 59, 60, 61, 62, 63, \ 516 64, 65, 66, 67, 68, 69, 70, 71, \ 517 72, 73, 74, 75, 76, 77, 78, 79, \ 518 80, 81, 82, 83, 84, 85, 86, 87, \ 519 88, 89, 90, 91, 92, 93, 94, 95, \ 520 96, 97, 98, 99, 100, 101, 102, 103, \ 521 104, 105, 106, 107, 108, 109, 110, 111, \ 522 112, 113, 114, 115, 116, 117, 118, 119, \ 523 120, 121, 122, 123, 124, 125, 126, 127, \ 524 128, 129, 130, 131, 132, 133, 134, 135, \ 525 136, 137, 138, 139, 140, 141, 142, 143, \ 526 144, 145, 146, 147, 148, 149, 150, 151, \ 527 152, 153, 154, 155, 156, 157, 158, 159, \ 528 160, 161, 162, 163, 164, 165, 166, 167, \ 529 168, 169, 170, 171, 172, 173, 174, 175, \ 530 176, 177, 178, 179, 180, 181, 182, 183, \ 531 184, 185, 186, 187, 188, 189, 190, 191, \ 532 192, 193, 194, 195, 196, 197, 198, 199, \ 533 200, 201, 202, 203, 204, 205, 206, 207, \ 534 208, 209, 210, 211, 212, 213, 214, 215, \ 535 216, 217, 218, 219, 220, 221, 222, 223, \ 536 224, 225, 226, 227, 228, 229, 230, \ 537 \ 538 254, 255, 256, 257, 261, 262 \ 539 } 540 541 /* The default one. */ 542 #define REG_ALLOC_ORDER MMIX_MMIXWARE_ABI_REG_ALLOC_ORDER 543 544 /* Node: Values in Registers */ 545 546 #define HARD_REGNO_NREGS(REGNO, MODE) \ 547 ((GET_MODE_SIZE (MODE) + UNITS_PER_WORD - 1) \ 548 / UNITS_PER_WORD) 549 550 #define HARD_REGNO_MODE_OK(REGNO, MODE) 1 551 552 /* Note that no register can really be accessed in single-float mode, so 553 we *can* say 1 here. FIXME: Will TRT happen for single-float, or do 554 we have to punt to libgcc1.asm? */ 555 #define MODES_TIEABLE_P(MODE1, MODE2) 1 556 557 558 /* Node: Leaf Functions */ 559 /* (empty) */ 560 561 562 /* Node: Register Classes */ 563 564 enum reg_class 565 { 566 NO_REGS, GENERAL_REGS, REMAINDER_REG, HIMULT_REG, 567 SYSTEM_REGS, ALL_REGS, LIM_REG_CLASSES 568 }; 569 570 #define N_REG_CLASSES (int) LIM_REG_CLASSES 571 572 #define REG_CLASS_NAMES \ 573 {"NO_REGS", "GENERAL_REGS", "REMAINDER_REG", "HIMULT_REG", \ 574 "SYSTEM_REGS", "ALL_REGS"} 575 576 /* Note that the contents of each item is always 32 bits. */ 577 #define REG_CLASS_CONTENTS \ 578 {{0, 0, 0, 0, 0, 0, 0, 0, 0}, \ 579 {~0, ~0, ~0, ~0, ~0, ~0, ~0, ~0, 0x20}, \ 580 {0, 0, 0, 0, 0, 0, 0, 0, 0x10}, \ 581 {0, 0, 0, 0, 0, 0, 0, 0, 4}, \ 582 {0, 0, 0, 0, 0, 0, 0, 0, 0x7f}, \ 583 {~0, ~0, ~0, ~0, ~0, ~0, ~0, ~0, 0x7f}} 584 585 #define REGNO_REG_CLASS(REGNO) \ 586 ((REGNO) <= MMIX_LAST_GENERAL_REGISTER \ 587 || (REGNO) == MMIX_ARG_POINTER_REGNUM \ 588 ? GENERAL_REGS \ 589 : (REGNO) == MMIX_REMAINDER_REGNUM ? REMAINDER_REG \ 590 : (REGNO) == MMIX_HIMULT_REGNUM ? HIMULT_REG : SYSTEM_REGS) 591 592 #define BASE_REG_CLASS GENERAL_REGS 593 594 #define INDEX_REG_CLASS GENERAL_REGS 595 596 #define REG_CLASS_FROM_LETTER(CHAR) \ 597 ((CHAR) == 'x' ? SYSTEM_REGS \ 598 : (CHAR) == 'y' ? REMAINDER_REG \ 599 : (CHAR) == 'z' ? HIMULT_REG : NO_REGS) 600 601 #define REGNO_OK_FOR_BASE_P(REGNO) \ 602 ((REGNO) <= MMIX_LAST_GENERAL_REGISTER \ 603 || (REGNO) == MMIX_ARG_POINTER_REGNUM \ 604 || (reg_renumber[REGNO] > 0 \ 605 && reg_renumber[REGNO] <= MMIX_LAST_GENERAL_REGISTER)) 606 607 #define REGNO_OK_FOR_INDEX_P(REGNO) REGNO_OK_FOR_BASE_P (REGNO) 608 609 #define PREFERRED_RELOAD_CLASS(X, CLASS) \ 610 mmix_preferred_reload_class (X, CLASS) 611 612 #define PREFERRED_OUTPUT_RELOAD_CLASS(X, CLASS) \ 613 mmix_preferred_output_reload_class (X, CLASS) 614 615 #define SECONDARY_INPUT_RELOAD_CLASS(CLASS, MODE, X) \ 616 mmix_secondary_reload_class (CLASS, MODE, X, 1) 617 618 #define SECONDARY_OUTPUT_RELOAD_CLASS(CLASS, MODE, X) \ 619 mmix_secondary_reload_class (CLASS, MODE, X, 0) 620 621 #define CLASS_MAX_NREGS(CLASS, MODE) HARD_REGNO_NREGS (CLASS, MODE) 622 623 #define CONST_OK_FOR_LETTER_P(VALUE, C) \ 624 mmix_const_ok_for_letter_p (VALUE, C) 625 626 #define EXTRA_CONSTRAINT(VALUE, C) \ 627 mmix_extra_constraint (VALUE, C, MMIX_REG_OK_STRICT) 628 629 /* Do we need anything serious here? Yes, any FLOT constant. */ 630 #define CONST_DOUBLE_OK_FOR_LETTER_P(VALUE, C) \ 631 mmix_const_double_ok_for_letter_p (VALUE, C) 632 633 634 /* Node: Frame Layout */ 635 636 #define STACK_GROWS_DOWNWARD 637 #define FRAME_GROWS_DOWNWARD 638 639 #define STARTING_FRAME_OFFSET \ 640 mmix_starting_frame_offset () 641 642 #define FIRST_PARM_OFFSET(FUNDECL) 0 643 644 #define DYNAMIC_CHAIN_ADDRESS(FRAMEADDR) \ 645 mmix_dynamic_chain_address (FRAMEADDR) 646 647 /* FIXME: It seems RETURN_ADDR_OFFSET is undocumented. */ 648 649 #define SETUP_FRAME_ADDRESSES() \ 650 mmix_setup_frame_addresses () 651 652 #define RETURN_ADDR_RTX(COUNT, FRAME) \ 653 mmix_return_addr_rtx (COUNT, FRAME) 654 655 /* It's in rJ before we store it somewhere. */ 656 #define INCOMING_RETURN_ADDR_RTX \ 657 gen_rtx_REG (Pmode, MMIX_INCOMING_RETURN_ADDRESS_REGNUM) 658 659 /* FIXME: This does not seem properly documented or cross-indexed. 660 Nowhere except in the code does it say it *has* to be in the range 661 0..255, or else it will be truncated. That goes for the default too. */ 662 #define DWARF_FRAME_RETURN_COLUMN \ 663 DWARF_FRAME_REGNUM (MMIX_INCOMING_RETURN_ADDRESS_REGNUM) 664 665 /* No return address is stored there. */ 666 #define INCOMING_FRAME_SP_OFFSET 0 667 668 /* Node: Stack Checking */ 669 /* (empty) */ 670 671 672 /* Node: Exception Handling */ 673 674 #define EH_RETURN_DATA_REGNO(N) \ 675 mmix_eh_return_data_regno (N) 676 677 #define EH_RETURN_STACKADJ_RTX \ 678 mmix_eh_return_stackadj_rtx () 679 680 #define EH_RETURN_HANDLER_RTX \ 681 mmix_eh_return_handler_rtx () 682 683 #define ASM_PREFERRED_EH_DATA_FORMAT(CODE, GLOBAL) \ 684 mmix_asm_preferred_eh_data_format (CODE, GLOBAL) 685 686 /* Node: Frame Registers */ 687 #define STACK_POINTER_REGNUM MMIX_STACK_POINTER_REGNUM 688 689 /* Perhaps we can use HARD_FRAME_POINTER_REGNUM and decide later on 690 what register we want to use. */ 691 #define FRAME_POINTER_REGNUM MMIX_FRAME_POINTER_REGNUM 692 #define ARG_POINTER_REGNUM MMIX_ARG_POINTER_REGNUM 693 694 #define STATIC_CHAIN_REGNUM MMIX_STATIC_CHAIN_REGNUM 695 696 697 /* Node: Elimination */ 698 /* FIXME: Is this requirement built-in? Anyway, we should try to get rid 699 of it; we can deduce the value. */ 700 #define FRAME_POINTER_REQUIRED (nonlocal_goto_stack_level != NULL_RTX) 701 702 /* The frame-pointer is stored in a location that either counts to the 703 offset of incoming parameters, or that counts to the offset of the 704 frame, so we can't use a single offset. We therefore eliminate those 705 two separately. */ 706 #define ELIMINABLE_REGS \ 707 {{ARG_POINTER_REGNUM, STACK_POINTER_REGNUM}, \ 708 {ARG_POINTER_REGNUM, FRAME_POINTER_REGNUM}, \ 709 {FRAME_POINTER_REGNUM, STACK_POINTER_REGNUM}} 710 711 /* We need not worry about when the frame-pointer is required for other 712 reasons; GCC takes care of those cases. */ 713 #define CAN_ELIMINATE(FROM, TO) 1 714 715 #define INITIAL_ELIMINATION_OFFSET(FROM, TO, OFFSET) \ 716 (OFFSET) = mmix_initial_elimination_offset (FROM, TO) 717 718 719 /* Node: Stack Arguments */ 720 721 #define ACCUMULATE_OUTGOING_ARGS 1 722 723 #define RETURN_POPS_ARGS(FUNDECL, FUNTYPE, STACKSIZE) 0 724 725 726 /* Node: Register Arguments */ 727 #define FUNCTION_ARG(CUM, MODE, TYPE, NAMED) \ 728 mmix_function_arg (&(CUM), MODE, TYPE, NAMED, 0) 729 730 #define FUNCTION_INCOMING_ARG(CUM, MODE, TYPE, NAMED) \ 731 mmix_function_arg (&(CUM), MODE, TYPE, NAMED, 1) 732 733 #define FUNCTION_ARG_PASS_BY_REFERENCE(CUM, MODE, TYPE, NAMED) \ 734 mmix_function_arg_pass_by_reference (&(CUM), MODE, TYPE, NAMED) 735 736 /* This *sounds* good, but does not seem to be implemented correctly to 737 be a win; at least it wasn't in 2.7.2. FIXME: Check and perhaps 738 replace with a big comment. 739 The definition needs to match or be a subset of 740 FUNCTION_ARG_PASS_BY_REFERENCE, since not all callers check that before 741 usage. Watch lots of C++ testcases fail if set to 1, for example 742 g++.dg/init/byval1.C. */ 743 #define FUNCTION_ARG_CALLEE_COPIES(CUM, MODE, TYPE, NAMED) \ 744 mmix_function_arg_pass_by_reference (&(CUM), MODE, TYPE, NAMED) 745 746 typedef struct { int regs; int lib; } CUMULATIVE_ARGS; 747 748 #define INIT_CUMULATIVE_ARGS(CUM, FNTYPE, LIBNAME, INDIRECT, N_NAMED_ARGS) \ 749 ((CUM).regs = 0, (CUM).lib = ((LIBNAME) != 0)) 750 751 #define FUNCTION_ARG_ADVANCE(CUM, MODE, TYPE, NAMED) \ 752 ((CUM).regs \ 753 = ((MUST_PASS_IN_STACK (MODE, TYPE)) \ 754 || (MMIX_FUNCTION_ARG_SIZE (MODE, TYPE) > 8 \ 755 && !TARGET_LIBFUNC && !(CUM).lib)) \ 756 ? (MMIX_MAX_ARGS_IN_REGS) + 1 \ 757 : (CUM).regs + (7 + (MMIX_FUNCTION_ARG_SIZE (MODE, TYPE))) / 8) 758 759 #define FUNCTION_ARG_REGNO_P(REGNO) \ 760 mmix_function_arg_regno_p (REGNO, 0) 761 762 #define FUNCTION_INCOMING_ARG_REGNO_P(REGNO) \ 763 mmix_function_arg_regno_p (REGNO, 1) 764 765 766 /* Node: Register Arguments */ 767 768 #define FUNCTION_VALUE(VALTYPE, FUNC) \ 769 gen_rtx_REG (TYPE_MODE (VALTYPE), MMIX_RETURN_VALUE_REGNUM) 770 771 /* This needs to take care of the register hole for complex return values. */ 772 #define FUNCTION_OUTGOING_VALUE(VALTYPE, FUNC) \ 773 mmix_function_outgoing_value (VALTYPE, FUNC) 774 775 #define LIBCALL_VALUE(MODE) \ 776 gen_rtx_REG (MODE, MMIX_RETURN_VALUE_REGNUM) 777 778 #define FUNCTION_VALUE_REGNO_P(REGNO) \ 779 mmix_function_value_regno_p (REGNO) 780 781 782 /* Node: Aggregate Return */ 783 784 #define STRUCT_VALUE_REGNUM MMIX_STRUCT_VALUE_REGNUM 785 786 787 /* Node: Caller Saves */ 788 /* (empty) */ 789 790 791 /* Node: Function Entry */ 792 793 /* See mmix.c for TARGET_ASM_FUNCTION_PROLOGUE and 794 TARGET_ASM_FUNCTION_EPILOGUE. */ 795 796 /* We need to say that the epilogue uses the return address, so the 797 initial-value machinery restores it. FIXME: Some targets 798 conditionalize on "reload_completed &&". Investigate difference. 799 FIXME: Not needed if nonlocal_goto_stack_level. */ 800 #define EPILOGUE_USES(REGNO) \ 801 ((REGNO) == MMIX_INCOMING_RETURN_ADDRESS_REGNUM) 802 803 /* Node: Profiling */ 804 #define FUNCTION_PROFILER(FILE, LABELNO) \ 805 mmix_function_profiler (FILE, LABELNO) 806 807 /* Node: Varargs */ 808 809 /* For the moment, let's stick to pushing argument registers on the stack. 810 Later, we can parse all arguments in registers, to improve 811 performance. */ 812 #define SETUP_INCOMING_VARARGS(A, M, T, P, S) \ 813 mmix_setup_incoming_varargs(&(A), M, T, &(P), S) 814 815 /* FIXME: This and other EXPAND_BUILTIN_VA_... target macros are not 816 documented, although used by several targets. */ 817 #define EXPAND_BUILTIN_VA_ARG(VALIST, TYPE) \ 818 mmix_expand_builtin_va_arg (VALIST, TYPE) 819 820 /* Node: Trampolines */ 821 822 #define TRAMPOLINE_TEMPLATE(FILE) \ 823 mmix_trampoline_template (FILE) 824 825 #define TRAMPOLINE_SIZE mmix_trampoline_size 826 #define INITIALIZE_TRAMPOLINE(ADDR, FNADDR, STATIC_CHAIN) \ 827 mmix_initialize_trampoline (ADDR, FNADDR, STATIC_CHAIN) 828 829 830 /* Node: Library Calls */ 831 832 #define TARGET_MEM_FUNCTIONS 833 834 835 /* Node: Addressing Modes */ 836 837 #define CONSTANT_ADDRESS_P(X) \ 838 mmix_constant_address_p (X) 839 840 #define MAX_REGS_PER_ADDRESS 2 841 842 #define GO_IF_LEGITIMATE_ADDRESS(MODE, X, LABEL) \ 843 if (mmix_legitimate_address (MODE, X, MMIX_REG_OK_STRICT)) \ 844 goto LABEL 845 846 #ifndef REG_OK_STRICT 847 # define REG_OK_FOR_BASE_P(X) \ 848 (REGNO (X) <= MMIX_LAST_GENERAL_REGISTER \ 849 || REGNO (X) == MMIX_ARG_POINTER_REGNUM \ 850 || REGNO (X) >= FIRST_PSEUDO_REGISTER) 851 #else 852 # define REG_OK_FOR_BASE_P(X) REGNO_OK_FOR_BASE_P (REGNO (X)) 853 #endif /* REG_OK_STRICT */ 854 855 #define REG_OK_FOR_INDEX_P(X) REG_OK_FOR_BASE_P (X) 856 857 #define LEGITIMIZE_ADDRESS(X, OLDX, MODE, WIN) 858 859 #define GO_IF_MODE_DEPENDENT_ADDRESS(ADDR, LABEL) 860 861 #define LEGITIMATE_CONSTANT_P(X) \ 862 mmix_legitimate_constant_p (X) 863 864 865 /* Node: Condition Code */ 866 867 #define SELECT_CC_MODE(OP, X, Y) \ 868 mmix_select_cc_mode (OP, X, Y) 869 870 /* A definition of CANONICALIZE_COMPARISON that changed LE and GT 871 comparisons with -1 to LT and GE respectively, and LT, LTU, GE or GEU 872 comparisons with 256 to 255 and LE, LEU, GT and GTU has been 873 ineffective; the code path for performing the changes did not trig for 874 neither the GCC testsuite nor ghostscript-6.52 nor Knuth's mmix.tar.gz 875 itself (core GCC functionality supposedly handling it) with sources 876 from 2002-06-06. */ 877 878 #define REVERSIBLE_CC_MODE(MODE) \ 879 mmix_reversible_cc_mode (MODE) 880 881 882 /* Node: Costs */ 883 884 /* The special registers can only move to and from general regs, and we 885 need to check that their constraints match, so say 3 for them. */ 886 /* WARNING: gcc-2.7.2.2 i686-pc-linux-gnulibc1 (as shipped with RH 4.2) 887 miscompiles reload1.c:reload_cse_simplify_set; a call to 888 reload_cse_regno_equal_p is missing when checking if a substitution of 889 a register setting is valid if this is defined to just the expression 890 in mmix_register_move_cost. 891 892 Symptom: a (all?) register setting is optimized away for e.g. 893 "char *p1(char *p) { return p+1; }" and the value of register zero ($0) 894 is returned. 895 896 We can workaround by making this a function call - unknown if this 897 causes dire speed effects. */ 898 #define REGISTER_MOVE_COST(MODE, FROM, TO) \ 899 mmix_register_move_cost (MODE, FROM, TO) 900 901 #define SLOW_BYTE_ACCESS 0 902 903 904 /* Node: Sections */ 905 906 /* This must be a constant string, since it's used in crtstuff.c. */ 907 #define TEXT_SECTION_ASM_OP \ 908 "\t.text ! mmixal:= 9H LOC 8B" 909 910 /* FIXME: Not documented. */ 911 #define DATA_SECTION_ASM_OP \ 912 mmix_data_section_asm_op () 913 914 #define READONLY_DATA_SECTION_ASM_OP "\t.section\t.rodata" 915 916 /* Node: PIC */ 917 /* (empty) */ 918 919 920 /* Node: File Framework */ 921 922 /* While any other punctuation character but ";" would do, we prefer "%" 923 or "!"; "!" is an unary operator and so will not be mistakenly included 924 in correctly formed expressions. The hash character adds mass; catches 925 the eye. We can't have it as a comment char by itself, since it's a 926 hex-number prefix. */ 927 #define ASM_COMMENT_START "!#" 928 929 /* These aren't currently functional. We just keep them as markers. */ 930 #define ASM_APP_ON "%APP\n" 931 #define ASM_APP_OFF "%NO_APP\n" 932 933 #define ASM_OUTPUT_SOURCE_FILENAME(STREAM, NAME) \ 934 mmix_asm_output_source_filename (STREAM, NAME) 935 936 #define OUTPUT_QUOTED_STRING(STREAM, STRING) \ 937 mmix_output_quoted_string (STREAM, STRING, strlen (STRING)) 938 939 #define ASM_OUTPUT_SOURCE_LINE(STREAM, LINE, COUNTER) \ 940 mmix_asm_output_source_line (STREAM, LINE) 941 942 #define TARGET_ASM_NAMED_SECTION default_elf_asm_named_section 943 944 945 /* Node: Data Output */ 946 947 #define ASM_OUTPUT_ASCII(STREAM, PTR, LEN) \ 948 mmix_asm_output_ascii (STREAM, PTR, LEN) 949 950 /* Node: Uninitialized Data */ 951 952 #define ASM_OUTPUT_ALIGNED_COMMON(ST, N, S, A) \ 953 mmix_asm_output_aligned_common (ST, N, S, A) 954 955 #define ASM_OUTPUT_ALIGNED_LOCAL(ST, N, S, A) \ 956 mmix_asm_output_aligned_local (ST, N, S, A) 957 958 959 /* Node: Label Output */ 960 961 #define ASM_OUTPUT_LABEL(STREAM, NAME) \ 962 mmix_asm_output_label (STREAM, NAME) 963 964 #define ASM_DECLARE_REGISTER_GLOBAL(STREAM, DECL, REGNO, NAME) \ 965 mmix_asm_declare_register_global (STREAM, DECL, REGNO, NAME) 966 967 #define GLOBAL_ASM_OP "\t.global " 968 969 #define ASM_WEAKEN_LABEL(STREAM, NAME) \ 970 mmix_asm_weaken_label (STREAM, NAME) 971 972 #define MAKE_DECL_ONE_ONLY(DECL) \ 973 mmix_make_decl_one_only (DECL) 974 975 #define ASM_OUTPUT_LABELREF(STREAM, NAME) \ 976 mmix_asm_output_labelref (STREAM, NAME) 977 978 /* We insert a ":" to disambiguate against user symbols like L5. */ 979 #define ASM_GENERATE_INTERNAL_LABEL(LABEL, PREFIX, NUM) \ 980 sprintf (LABEL, "*%s:%ld", PREFIX, (long)(NUM)) 981 982 /* Insert "::"; these are rarer than internal labels. FIXME: Make sure no 983 ":" is seen in the object file; we don't really want that mmixal 984 feature visible there. We don't want the default, which uses a dot; 985 that'd be incompatible with mmixal. */ 986 #define ASM_PN_FORMAT "%s::%lu" 987 988 #define ASM_OUTPUT_DEF(STREAM, NAME, VALUE) \ 989 mmix_asm_output_def (STREAM, NAME, VALUE) 990 991 /* Node: Macros for Initialization */ 992 /* We're compiling to ELF and linking to MMO; fundamental ELF features 993 that GCC depend on are there. */ 994 995 /* These must be constant strings, since they're used in crtstuff.c. */ 996 #define INIT_SECTION_ASM_OP "\t.section .init,\"ax\" ! mmixal-incompatible" 997 998 #define FINI_SECTION_ASM_OP "\t.section .fini,\"ax\" ! mmixal-incompatible" 999 1000 #define OBJECT_FORMAT_ELF 1001 1002 1003 /* Node: Instruction Output */ 1004 1005 /* The non-$ register names must be prefixed with ":", since they're 1006 affected by PREFIX. We provide the non-colon names as additional 1007 names. */ 1008 #define REGISTER_NAMES \ 1009 {"$0", "$1", "$2", "$3", "$4", "$5", "$6", "$7", \ 1010 "$8", "$9", "$10", "$11", "$12", "$13", "$14", "$15", \ 1011 "$16", "$17", "$18", "$19", "$20", "$21", "$22", "$23", \ 1012 "$24", "$25", "$26", "$27", "$28", "$29", "$30", "$31", \ 1013 "$32", "$33", "$34", "$35", "$36", "$37", "$38", "$39", \ 1014 "$40", "$41", "$42", "$43", "$44", "$45", "$46", "$47", \ 1015 "$48", "$49", "$50", "$51", "$52", "$53", "$54", "$55", \ 1016 "$56", "$57", "$58", "$59", "$60", "$61", "$62", "$63", \ 1017 "$64", "$65", "$66", "$67", "$68", "$69", "$70", "$71", \ 1018 "$72", "$73", "$74", "$75", "$76", "$77", "$78", "$79", \ 1019 "$80", "$81", "$82", "$83", "$84", "$85", "$86", "$87", \ 1020 "$88", "$89", "$90", "$91", "$92", "$93", "$94", "$95", \ 1021 "$96", "$97", "$98", "$99", "$100", "$101", "$102", "$103", \ 1022 "$104", "$105", "$106", "$107", "$108", "$109", "$110", "$111", \ 1023 "$112", "$113", "$114", "$115", "$116", "$117", "$118", "$119", \ 1024 "$120", "$121", "$122", "$123", "$124", "$125", "$126", "$127", \ 1025 "$128", "$129", "$130", "$131", "$132", "$133", "$134", "$135", \ 1026 "$136", "$137", "$138", "$139", "$140", "$141", "$142", "$143", \ 1027 "$144", "$145", "$146", "$147", "$148", "$149", "$150", "$151", \ 1028 "$152", "$153", "$154", "$155", "$156", "$157", "$158", "$159", \ 1029 "$160", "$161", "$162", "$163", "$164", "$165", "$166", "$167", \ 1030 "$168", "$169", "$170", "$171", "$172", "$173", "$174", "$175", \ 1031 "$176", "$177", "$178", "$179", "$180", "$181", "$182", "$183", \ 1032 "$184", "$185", "$186", "$187", "$188", "$189", "$190", "$191", \ 1033 "$192", "$193", "$194", "$195", "$196", "$197", "$198", "$199", \ 1034 "$200", "$201", "$202", "$203", "$204", "$205", "$206", "$207", \ 1035 "$208", "$209", "$210", "$211", "$212", "$213", "$214", "$215", \ 1036 "$216", "$217", "$218", "$219", "$220", "$221", "$222", "$223", \ 1037 "$224", "$225", "$226", "$227", "$228", "$229", "$230", "$231", \ 1038 "$232", "$233", "$234", "$235", "$236", "$237", "$238", "$239", \ 1039 "$240", "$241", "$242", "$243", "$244", "$245", "$246", "$247", \ 1040 "$248", "$249", "$250", "$251", "$252", "$253", "$254", "$255", \ 1041 ":rD", ":rE", ":rH", ":rJ", ":rR", "ap_!BAD!", ":rO"} 1042 1043 #define ADDITIONAL_REGISTER_NAMES \ 1044 {{"sp", 254}, {":sp", 254}, {"rD", 256}, {"rE", 257}, \ 1045 {"rH", 258}, {"rJ", MMIX_rJ_REGNUM}, {"rO", MMIX_rO_REGNUM}} 1046 1047 #define PRINT_OPERAND(STREAM, X, CODE) \ 1048 mmix_print_operand (STREAM, X, CODE) 1049 1050 #define PRINT_OPERAND_PUNCT_VALID_P(CODE) \ 1051 mmix_print_operand_punct_valid_p (CODE) 1052 1053 #define PRINT_OPERAND_ADDRESS(STREAM, X) \ 1054 mmix_print_operand_address (STREAM, X) 1055 1056 #define ASM_OUTPUT_REG_PUSH(STREAM, REGNO) \ 1057 mmix_asm_output_reg_push (STREAM, REGNO) 1058 1059 #define ASM_OUTPUT_REG_POP(STREAM, REGNO) \ 1060 mmix_asm_output_reg_pop (STREAM, REGNO) 1061 1062 1063 /* Node: Dispatch Tables */ 1064 1065 /* We define both types, since SImode is the better, but DImode the only 1066 possible for mmixal so that's the one actually used. */ 1067 #define ASM_OUTPUT_ADDR_DIFF_ELT(STREAM, BODY, VALUE, REL) \ 1068 mmix_asm_output_addr_diff_elt (STREAM, BODY, VALUE, REL) 1069 1070 #define ASM_OUTPUT_ADDR_VEC_ELT(STREAM, VALUE) \ 1071 mmix_asm_output_addr_vec_elt (STREAM, VALUE) 1072 1073 1074 /* Node: Exception Region Output */ 1075 /* (empty) */ 1076 1077 /* Node: Alignment Output */ 1078 1079 #define ASM_OUTPUT_SKIP(STREAM, NBYTES) \ 1080 mmix_asm_output_skip (STREAM, NBYTES) 1081 1082 #define ASM_OUTPUT_ALIGN(STREAM, POWER) \ 1083 mmix_asm_output_align (STREAM, POWER) 1084 1085 1086 /* Node: All Debuggers */ 1087 1088 #define DBX_REGISTER_NUMBER(REGNO) \ 1089 mmix_dbx_register_number (REGNO) 1090 1091 1092 /* Node: DBX Options */ 1093 /* (empty) */ 1094 /* Node: DBX Hooks */ 1095 /* (empty) */ 1096 /* Node: File Names and DBX */ 1097 /* (empty) */ 1098 1099 1100 /* Node: SDB and DWARF */ 1101 #define DWARF2_DEBUGGING_INFO 1 1102 #define DWARF2_ASM_LINE_DEBUG_INFO 1 1103 1104 /* Node: Misc */ 1105 1106 #define PREDICATE_CODES \ 1107 {"mmix_reg_cc_operand", {SUBREG, REG}}, \ 1108 {"mmix_foldable_comparison_operator", \ 1109 {NE, EQ, GE, GT, LE, LT}}, \ 1110 /* All '<', actually. */ \ 1111 {"mmix_comparison_operator", \ 1112 {NE, EQ, GE, GT, LE, LT, GEU, GTU, LEU, \ 1113 LTU, UNORDERED, ORDERED, UNEQ, UNGE, UNLE, \ 1114 UNLT, LTGT}}, \ 1115 {"mmix_symbolic_or_address_operand", \ 1116 {SYMBOL_REF, LABEL_REF, CONST, \ 1117 SUBREG, REG, PLUS}}, \ 1118 {"mmix_reg_or_constant_operand", \ 1119 {CONST_INT, CONST_DOUBLE, SUBREG, REG}}, \ 1120 {"mmix_reg_or_8bit_operand", \ 1121 {CONST_INT, CONST_DOUBLE, SUBREG, REG}}, \ 1122 {"mmix_reg_or_0_operand", \ 1123 {CONST_INT, CONST_DOUBLE, SUBREG, REG}}, 1124 1125 #define SPECIAL_MODE_PREDICATES "mmix_symbolic_or_address_operand", 1126 1127 /* There's no way to get a PC-relative offset into tables for SImode, so 1128 for the moment we have absolute entries in DImode. 1129 When we're going ELF, these should be SImode and 1. */ 1130 #define CASE_VECTOR_MODE DImode 1131 #define CASE_VECTOR_PC_RELATIVE 0 1132 1133 #define WORD_REGISTER_OPERATIONS 1134 1135 /* We have a choice, which makes this yet another parameter to tweak. The 1136 gut feeling is currently that SIGN_EXTEND wins; "int" is more frequent 1137 than "unsigned int", and we have signed characters. FIXME: measure. */ 1138 #define LOAD_EXTEND_OP(MODE) (TARGET_ZERO_EXTEND ? ZERO_EXTEND : SIGN_EXTEND) 1139 1140 #define MOVE_MAX 8 1141 1142 #define TRULY_NOOP_TRUNCATION(OUTPREC, INPREC) 1 1143 1144 /* ??? MMIX allows a choice of STORE_FLAG_VALUE. Revisit later, 1145 we don't have scc expanders yet. */ 1146 1147 #define Pmode DImode 1148 1149 #define FUNCTION_MODE QImode 1150 1151 #define NO_IMPLICIT_EXTERN_C 1152 1153 #define HANDLE_SYSV_PRAGMA 1 1154 1155 /* These are checked. */ 1156 #define DOLLARS_IN_IDENTIFIERS 0 1157 #define NO_DOLLAR_IN_LABEL 1158 #define NO_DOT_IN_LABEL 1159 1160 #endif /* GCC_MMIX_H */ 1161 /* 1162 * Local variables: 1163 * eval: (c-set-style "gnu") 1164 * indent-tabs-mode: t 1165 * End: 1166 */ 1167