1 /* Target Code for moxie 2 Copyright (C) 2008-2020 Free Software Foundation, Inc. 3 Contributed by Anthony Green. 4 5 This file is part of GCC. 6 7 GCC is free software; you can redistribute it and/or modify it 8 under the terms of the GNU General Public License as published 9 by the Free Software Foundation; either version 3, or (at your 10 option) any later version. 11 12 GCC is distributed in the hope that it will be useful, but WITHOUT 13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 14 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public 15 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 COPYING3. If not see 19 <http://www.gnu.org/licenses/>. */ 20 21 #define IN_TARGET_CODE 1 22 23 #include "config.h" 24 #include "system.h" 25 #include "coretypes.h" 26 #include "backend.h" 27 #include "target.h" 28 #include "rtl.h" 29 #include "tree.h" 30 #include "stringpool.h" 31 #include "attribs.h" 32 #include "df.h" 33 #include "regs.h" 34 #include "memmodel.h" 35 #include "emit-rtl.h" 36 #include "diagnostic-core.h" 37 #include "output.h" 38 #include "stor-layout.h" 39 #include "varasm.h" 40 #include "calls.h" 41 #include "expr.h" 42 #include "builtins.h" 43 44 /* This file should be included last. */ 45 #include "target-def.h" 46 47 #define LOSE_AND_RETURN(msgid, x) \ 48 do \ 49 { \ 50 moxie_operand_lossage (msgid, x); \ 51 return; \ 52 } while (0) 53 54 /* Worker function for TARGET_RETURN_IN_MEMORY. */ 55 56 static bool 57 moxie_return_in_memory (const_tree type, const_tree fntype ATTRIBUTE_UNUSED) 58 { 59 const HOST_WIDE_INT size = int_size_in_bytes (type); 60 return (size == -1 || size > 2 * UNITS_PER_WORD); 61 } 62 63 /* Define how to find the value returned by a function. 64 VALTYPE is the data type of the value (as a tree). 65 If the precise function being called is known, FUNC is its 66 FUNCTION_DECL; otherwise, FUNC is 0. 67 68 We always return values in register $r0 for moxie. */ 69 70 static rtx 71 moxie_function_value (const_tree valtype, 72 const_tree fntype_or_decl ATTRIBUTE_UNUSED, 73 bool outgoing ATTRIBUTE_UNUSED) 74 { 75 return gen_rtx_REG (TYPE_MODE (valtype), MOXIE_R0); 76 } 77 78 /* Define how to find the value returned by a library function. 79 80 We always return values in register $r0 for moxie. */ 81 82 static rtx 83 moxie_libcall_value (machine_mode mode, 84 const_rtx fun ATTRIBUTE_UNUSED) 85 { 86 return gen_rtx_REG (mode, MOXIE_R0); 87 } 88 89 /* Handle TARGET_FUNCTION_VALUE_REGNO_P. 90 91 We always return values in register $r0 for moxie. */ 92 93 static bool 94 moxie_function_value_regno_p (const unsigned int regno) 95 { 96 return (regno == MOXIE_R0); 97 } 98 99 /* Emit an error message when we're in an asm, and a fatal error for 100 "normal" insns. Formatted output isn't easily implemented, since we 101 use output_operand_lossage to output the actual message and handle the 102 categorization of the error. */ 103 104 static void 105 moxie_operand_lossage (const char *msgid, rtx op) 106 { 107 debug_rtx (op); 108 output_operand_lossage ("%s", msgid); 109 } 110 111 /* The PRINT_OPERAND_ADDRESS worker. */ 112 113 static void 114 moxie_print_operand_address (FILE *file, machine_mode, rtx x) 115 { 116 switch (GET_CODE (x)) 117 { 118 case REG: 119 fprintf (file, "(%s)", reg_names[REGNO (x)]); 120 break; 121 122 case PLUS: 123 switch (GET_CODE (XEXP (x, 1))) 124 { 125 case CONST_INT: 126 fprintf (file, "%ld(%s)", 127 INTVAL(XEXP (x, 1)), reg_names[REGNO (XEXP (x, 0))]); 128 break; 129 case SYMBOL_REF: 130 output_addr_const (file, XEXP (x, 1)); 131 fprintf (file, "(%s)", reg_names[REGNO (XEXP (x, 0))]); 132 break; 133 case CONST: 134 { 135 rtx plus = XEXP (XEXP (x, 1), 0); 136 if (GET_CODE (XEXP (plus, 0)) == SYMBOL_REF 137 && CONST_INT_P (XEXP (plus, 1))) 138 { 139 output_addr_const(file, XEXP (plus, 0)); 140 fprintf (file,"+%ld(%s)", INTVAL (XEXP (plus, 1)), 141 reg_names[REGNO (XEXP (x, 0))]); 142 } 143 else 144 abort(); 145 } 146 break; 147 default: 148 abort(); 149 } 150 break; 151 152 default: 153 output_addr_const (file, x); 154 break; 155 } 156 } 157 158 /* The PRINT_OPERAND worker. */ 159 160 static void 161 moxie_print_operand (FILE *file, rtx x, int code) 162 { 163 rtx operand = x; 164 165 /* New code entries should just be added to the switch below. If 166 handling is finished, just return. If handling was just a 167 modification of the operand, the modified operand should be put in 168 "operand", and then do a break to let default handling 169 (zero-modifier) output the operand. */ 170 171 switch (code) 172 { 173 case 0: 174 /* No code, print as usual. */ 175 break; 176 177 default: 178 LOSE_AND_RETURN ("invalid operand modifier letter", x); 179 } 180 181 /* Print an operand as without a modifier letter. */ 182 switch (GET_CODE (operand)) 183 { 184 case REG: 185 if (REGNO (operand) > MOXIE_R13) 186 internal_error ("internal error: bad register: %d", REGNO (operand)); 187 fprintf (file, "%s", reg_names[REGNO (operand)]); 188 return; 189 190 case MEM: 191 output_address (GET_MODE (XEXP (operand, 0)), XEXP (operand, 0)); 192 return; 193 194 default: 195 /* No need to handle all strange variants, let output_addr_const 196 do it for us. */ 197 if (CONSTANT_P (operand)) 198 { 199 output_addr_const (file, operand); 200 return; 201 } 202 203 LOSE_AND_RETURN ("unexpected operand", x); 204 } 205 } 206 207 /* Per-function machine data. */ 208 struct GTY(()) machine_function 209 { 210 /* Number of bytes saved on the stack for callee saved registers. */ 211 int callee_saved_reg_size; 212 213 /* Number of bytes saved on the stack for local variables. */ 214 int local_vars_size; 215 216 /* The sum of 2 sizes: locals vars and padding byte for saving the 217 * registers. Used in expand_prologue () and expand_epilogue(). */ 218 int size_for_adjusting_sp; 219 }; 220 221 /* Zero initialization is OK for all current fields. */ 222 223 static struct machine_function * 224 moxie_init_machine_status (void) 225 { 226 return ggc_cleared_alloc<machine_function> (); 227 } 228 229 230 /* The TARGET_OPTION_OVERRIDE worker. */ 231 static void 232 moxie_option_override (void) 233 { 234 /* Set the per-function-data initializer. */ 235 init_machine_status = moxie_init_machine_status; 236 237 #ifdef TARGET_MOXIEBOX 238 target_flags |= MASK_HAS_MULX; 239 #endif 240 } 241 242 /* Compute the size of the local area and the size to be adjusted by the 243 * prologue and epilogue. */ 244 245 static void 246 moxie_compute_frame (void) 247 { 248 /* For aligning the local variables. */ 249 int stack_alignment = STACK_BOUNDARY / BITS_PER_UNIT; 250 int padding_locals; 251 int regno; 252 253 /* Padding needed for each element of the frame. */ 254 cfun->machine->local_vars_size = get_frame_size (); 255 256 /* Align to the stack alignment. */ 257 padding_locals = cfun->machine->local_vars_size % stack_alignment; 258 if (padding_locals) 259 padding_locals = stack_alignment - padding_locals; 260 261 cfun->machine->local_vars_size += padding_locals; 262 263 cfun->machine->callee_saved_reg_size = 0; 264 265 /* Save callee-saved registers. */ 266 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++) 267 if (df_regs_ever_live_p (regno) && (! call_used_or_fixed_reg_p (regno))) 268 cfun->machine->callee_saved_reg_size += 4; 269 270 cfun->machine->size_for_adjusting_sp = 271 crtl->args.pretend_args_size 272 + cfun->machine->local_vars_size 273 + (ACCUMULATE_OUTGOING_ARGS 274 ? (HOST_WIDE_INT) crtl->outgoing_args_size : 0); 275 } 276 277 void 278 moxie_expand_prologue (void) 279 { 280 int regno; 281 rtx insn; 282 283 moxie_compute_frame (); 284 285 if (flag_stack_usage_info) 286 current_function_static_stack_size = cfun->machine->size_for_adjusting_sp; 287 288 /* Save callee-saved registers. */ 289 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++) 290 { 291 if (df_regs_ever_live_p (regno) 292 && !call_used_or_fixed_reg_p (regno)) 293 { 294 insn = emit_insn (gen_movsi_push (gen_rtx_REG (Pmode, regno))); 295 RTX_FRAME_RELATED_P (insn) = 1; 296 } 297 } 298 299 if (cfun->machine->size_for_adjusting_sp > 0) 300 { 301 int i = cfun->machine->size_for_adjusting_sp; 302 while ((i >= 255) && (i <= 510)) 303 { 304 insn = emit_insn (gen_subsi3 (stack_pointer_rtx, 305 stack_pointer_rtx, 306 GEN_INT (255))); 307 RTX_FRAME_RELATED_P (insn) = 1; 308 i -= 255; 309 } 310 if (i <= 255) 311 { 312 insn = emit_insn (gen_subsi3 (stack_pointer_rtx, 313 stack_pointer_rtx, 314 GEN_INT (i))); 315 RTX_FRAME_RELATED_P (insn) = 1; 316 } 317 else 318 { 319 rtx reg = gen_rtx_REG (SImode, MOXIE_R12); 320 insn = emit_move_insn (reg, GEN_INT (i)); 321 RTX_FRAME_RELATED_P (insn) = 1; 322 insn = emit_insn (gen_subsi3 (stack_pointer_rtx, 323 stack_pointer_rtx, 324 reg)); 325 RTX_FRAME_RELATED_P (insn) = 1; 326 } 327 } 328 } 329 330 void 331 moxie_expand_epilogue (void) 332 { 333 int regno; 334 rtx reg; 335 336 if (cfun->machine->callee_saved_reg_size != 0) 337 { 338 reg = gen_rtx_REG (Pmode, MOXIE_R12); 339 if (cfun->machine->callee_saved_reg_size <= 255) 340 { 341 emit_move_insn (reg, hard_frame_pointer_rtx); 342 emit_insn (gen_subsi3 343 (reg, reg, 344 GEN_INT (cfun->machine->callee_saved_reg_size))); 345 } 346 else 347 { 348 emit_move_insn (reg, 349 GEN_INT (-cfun->machine->callee_saved_reg_size)); 350 emit_insn (gen_addsi3 (reg, reg, hard_frame_pointer_rtx)); 351 } 352 for (regno = FIRST_PSEUDO_REGISTER; regno-- > 0; ) 353 if (!call_used_or_fixed_reg_p (regno) 354 && df_regs_ever_live_p (regno)) 355 { 356 rtx preg = gen_rtx_REG (Pmode, regno); 357 emit_insn (gen_movsi_pop (reg, preg)); 358 } 359 } 360 361 emit_jump_insn (gen_returner ()); 362 } 363 364 /* Implements the macro INITIAL_ELIMINATION_OFFSET, return the OFFSET. */ 365 366 int 367 moxie_initial_elimination_offset (int from, int to) 368 { 369 int ret; 370 371 if ((from) == FRAME_POINTER_REGNUM && (to) == HARD_FRAME_POINTER_REGNUM) 372 { 373 /* Compute this since we need to use cfun->machine->local_vars_size. */ 374 moxie_compute_frame (); 375 ret = -cfun->machine->callee_saved_reg_size; 376 } 377 else if ((from) == ARG_POINTER_REGNUM && (to) == HARD_FRAME_POINTER_REGNUM) 378 ret = 0x00; 379 else 380 abort (); 381 382 return ret; 383 } 384 385 /* Worker function for TARGET_SETUP_INCOMING_VARARGS. */ 386 387 static void 388 moxie_setup_incoming_varargs (cumulative_args_t cum_v, 389 const function_arg_info &, 390 int *pretend_size, int no_rtl) 391 { 392 CUMULATIVE_ARGS *cum = get_cumulative_args (cum_v); 393 int regno; 394 int regs = 8 - *cum; 395 396 *pretend_size = regs < 0 ? 0 : GET_MODE_SIZE (SImode) * regs; 397 398 if (no_rtl) 399 return; 400 401 for (regno = *cum; regno < 8; regno++) 402 { 403 rtx reg = gen_rtx_REG (SImode, regno); 404 rtx slot = gen_rtx_PLUS (Pmode, 405 gen_rtx_REG (SImode, ARG_POINTER_REGNUM), 406 GEN_INT (UNITS_PER_WORD * (3 + (regno-2)))); 407 408 emit_move_insn (gen_rtx_MEM (SImode, slot), reg); 409 } 410 } 411 412 413 /* Return the fixed registers used for condition codes. */ 414 415 static bool 416 moxie_fixed_condition_code_regs (unsigned int *p1, unsigned int *p2) 417 { 418 *p1 = CC_REG; 419 *p2 = INVALID_REGNUM; 420 return true; 421 } 422 423 /* Return the next register to be used to hold a function argument or 424 NULL_RTX if there's no more space. */ 425 426 static rtx 427 moxie_function_arg (cumulative_args_t cum_v, const function_arg_info &arg) 428 { 429 CUMULATIVE_ARGS *cum = get_cumulative_args (cum_v); 430 431 if (*cum < 8) 432 return gen_rtx_REG (arg.mode, *cum); 433 else 434 return NULL_RTX; 435 } 436 437 #define MOXIE_FUNCTION_ARG_SIZE(MODE, TYPE) \ 438 ((MODE) != BLKmode ? GET_MODE_SIZE (MODE) \ 439 : (unsigned) int_size_in_bytes (TYPE)) 440 441 static void 442 moxie_function_arg_advance (cumulative_args_t cum_v, 443 const function_arg_info &arg) 444 { 445 CUMULATIVE_ARGS *cum = get_cumulative_args (cum_v); 446 447 *cum = (*cum < MOXIE_R6 448 ? *cum + ((3 + MOXIE_FUNCTION_ARG_SIZE (arg.mode, arg.type)) / 4) 449 : *cum); 450 } 451 452 /* Return non-zero if the function argument described by ARG is to be 453 passed by reference. */ 454 455 static bool 456 moxie_pass_by_reference (cumulative_args_t, const function_arg_info &arg) 457 { 458 if (arg.aggregate_type_p ()) 459 return true; 460 unsigned HOST_WIDE_INT size = arg.type_size_in_bytes (); 461 return size > 4*6; 462 } 463 464 /* Some function arguments will only partially fit in the registers 465 that hold arguments. Given a new arg, return the number of bytes 466 that fit in argument passing registers. */ 467 468 static int 469 moxie_arg_partial_bytes (cumulative_args_t cum_v, const function_arg_info &arg) 470 { 471 CUMULATIVE_ARGS *cum = get_cumulative_args (cum_v); 472 int bytes_left, size; 473 474 if (*cum >= 8) 475 return 0; 476 477 if (moxie_pass_by_reference (cum_v, arg)) 478 size = 4; 479 else if (arg.type) 480 { 481 if (AGGREGATE_TYPE_P (arg.type)) 482 return 0; 483 size = int_size_in_bytes (arg.type); 484 } 485 else 486 size = GET_MODE_SIZE (arg.mode); 487 488 bytes_left = (4 * 6) - ((*cum - 2) * 4); 489 490 if (size > bytes_left) 491 return bytes_left; 492 else 493 return 0; 494 } 495 496 /* Worker function for TARGET_STATIC_CHAIN. */ 497 498 static rtx 499 moxie_static_chain (const_tree ARG_UNUSED (fndecl_or_type), bool incoming_p) 500 { 501 rtx addr, mem; 502 503 if (incoming_p) 504 addr = plus_constant (Pmode, arg_pointer_rtx, 2 * UNITS_PER_WORD); 505 else 506 addr = plus_constant (Pmode, stack_pointer_rtx, -UNITS_PER_WORD); 507 508 mem = gen_rtx_MEM (Pmode, addr); 509 MEM_NOTRAP_P (mem) = 1; 510 511 return mem; 512 } 513 514 /* Worker function for TARGET_ASM_TRAMPOLINE_TEMPLATE. */ 515 516 static void 517 moxie_asm_trampoline_template (FILE *f) 518 { 519 fprintf (f, "\tpush $sp, $r0\n"); 520 fprintf (f, "\tldi.l $r0, 0x0\n"); 521 fprintf (f, "\tsto.l 0x8($fp), $r0\n"); 522 fprintf (f, "\tpop $sp, $r0\n"); 523 fprintf (f, "\tjmpa 0x0\n"); 524 } 525 526 /* Worker function for TARGET_TRAMPOLINE_INIT. */ 527 528 static void 529 moxie_trampoline_init (rtx m_tramp, tree fndecl, rtx chain_value) 530 { 531 rtx mem, fnaddr = XEXP (DECL_RTL (fndecl), 0); 532 533 emit_block_move (m_tramp, assemble_trampoline_template (), 534 GEN_INT (TRAMPOLINE_SIZE), BLOCK_OP_NORMAL); 535 536 mem = adjust_address (m_tramp, SImode, 4); 537 emit_move_insn (mem, chain_value); 538 mem = adjust_address (m_tramp, SImode, 16); 539 emit_move_insn (mem, fnaddr); 540 } 541 542 /* Return true for memory offset addresses between -32768 and 32767. */ 543 bool 544 moxie_offset_address_p (rtx x) 545 { 546 x = XEXP (x, 0); 547 548 if (GET_CODE (x) == PLUS) 549 { 550 x = XEXP (x, 1); 551 if (GET_CODE (x) == CONST_INT) 552 { 553 unsigned int v = INTVAL (x) & 0xFFFF8000; 554 return (v == 0xFFFF8000 || v == 0x00000000); 555 } 556 } 557 return 0; 558 } 559 560 /* Helper function for `moxie_legitimate_address_p'. */ 561 562 static bool 563 moxie_reg_ok_for_base_p (const_rtx reg, bool strict_p) 564 { 565 int regno = REGNO (reg); 566 567 if (strict_p) 568 return HARD_REGNO_OK_FOR_BASE_P (regno) 569 || HARD_REGNO_OK_FOR_BASE_P (reg_renumber[regno]); 570 else 571 return !HARD_REGISTER_NUM_P (regno) 572 || HARD_REGNO_OK_FOR_BASE_P (regno); 573 } 574 575 /* Worker function for TARGET_LEGITIMATE_ADDRESS_P. */ 576 577 static bool 578 moxie_legitimate_address_p (machine_mode mode ATTRIBUTE_UNUSED, 579 rtx x, bool strict_p, 580 addr_space_t as) 581 { 582 gcc_assert (ADDR_SPACE_GENERIC_P (as)); 583 584 if (GET_CODE(x) == PLUS 585 && REG_P (XEXP (x, 0)) 586 && moxie_reg_ok_for_base_p (XEXP (x, 0), strict_p) 587 && CONST_INT_P (XEXP (x, 1)) 588 && IN_RANGE (INTVAL (XEXP (x, 1)), -32768, 32767)) 589 return true; 590 if (REG_P (x) && moxie_reg_ok_for_base_p (x, strict_p)) 591 return true; 592 if (GET_CODE (x) == SYMBOL_REF 593 || GET_CODE (x) == LABEL_REF 594 || GET_CODE (x) == CONST) 595 return true; 596 return false; 597 } 598 599 /* The Global `targetm' Variable. */ 600 601 /* Initialize the GCC target structure. */ 602 603 #undef TARGET_PROMOTE_PROTOTYPES 604 #define TARGET_PROMOTE_PROTOTYPES hook_bool_const_tree_true 605 606 #undef TARGET_RETURN_IN_MEMORY 607 #define TARGET_RETURN_IN_MEMORY moxie_return_in_memory 608 #undef TARGET_MUST_PASS_IN_STACK 609 #define TARGET_MUST_PASS_IN_STACK must_pass_in_stack_var_size 610 #undef TARGET_PASS_BY_REFERENCE 611 #define TARGET_PASS_BY_REFERENCE moxie_pass_by_reference 612 #undef TARGET_ARG_PARTIAL_BYTES 613 #define TARGET_ARG_PARTIAL_BYTES moxie_arg_partial_bytes 614 #undef TARGET_FUNCTION_ARG 615 #define TARGET_FUNCTION_ARG moxie_function_arg 616 #undef TARGET_FUNCTION_ARG_ADVANCE 617 #define TARGET_FUNCTION_ARG_ADVANCE moxie_function_arg_advance 618 619 #undef TARGET_LRA_P 620 #define TARGET_LRA_P hook_bool_void_false 621 622 #undef TARGET_ADDR_SPACE_LEGITIMATE_ADDRESS_P 623 #define TARGET_ADDR_SPACE_LEGITIMATE_ADDRESS_P moxie_legitimate_address_p 624 625 #undef TARGET_SETUP_INCOMING_VARARGS 626 #define TARGET_SETUP_INCOMING_VARARGS moxie_setup_incoming_varargs 627 628 #undef TARGET_FIXED_CONDITION_CODE_REGS 629 #define TARGET_FIXED_CONDITION_CODE_REGS moxie_fixed_condition_code_regs 630 631 /* Define this to return an RTX representing the place where a 632 function returns or receives a value of data type RET_TYPE, a tree 633 node representing a data type. */ 634 #undef TARGET_FUNCTION_VALUE 635 #define TARGET_FUNCTION_VALUE moxie_function_value 636 #undef TARGET_LIBCALL_VALUE 637 #define TARGET_LIBCALL_VALUE moxie_libcall_value 638 #undef TARGET_FUNCTION_VALUE_REGNO_P 639 #define TARGET_FUNCTION_VALUE_REGNO_P moxie_function_value_regno_p 640 641 #undef TARGET_FRAME_POINTER_REQUIRED 642 #define TARGET_FRAME_POINTER_REQUIRED hook_bool_void_true 643 644 #undef TARGET_STATIC_CHAIN 645 #define TARGET_STATIC_CHAIN moxie_static_chain 646 #undef TARGET_ASM_TRAMPOLINE_TEMPLATE 647 #define TARGET_ASM_TRAMPOLINE_TEMPLATE moxie_asm_trampoline_template 648 #undef TARGET_TRAMPOLINE_INIT 649 #define TARGET_TRAMPOLINE_INIT moxie_trampoline_init 650 651 #undef TARGET_OPTION_OVERRIDE 652 #define TARGET_OPTION_OVERRIDE moxie_option_override 653 654 #undef TARGET_PRINT_OPERAND 655 #define TARGET_PRINT_OPERAND moxie_print_operand 656 #undef TARGET_PRINT_OPERAND_ADDRESS 657 #define TARGET_PRINT_OPERAND_ADDRESS moxie_print_operand_address 658 659 #undef TARGET_CONSTANT_ALIGNMENT 660 #define TARGET_CONSTANT_ALIGNMENT constant_alignment_word_strings 661 662 struct gcc_target targetm = TARGET_INITIALIZER; 663 664 #include "gt-moxie.h" 665