gcc/config/moxie/moxie.c

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