Subversion Repositories scarts

/* Functions for generic Darwin as target machine for GNU C compiler.

   Copyright (C) 1989, 1990, 1991, 1992, 1993, 2000, 2001, 2002, 2003, 2004,

   2005

   Free Software Foundation, Inc.

   Contributed by Apple Computer Inc.

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 2, 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 COPYING.  If not, write to

the Free Software Foundation, 51 Franklin Street, Fifth Floor,

Boston, MA 02110-1301, USA.  */

#include "config.h"

#include "system.h"

#include "coretypes.h"

#include "tm.h"

#include "rtl.h"

#include "regs.h"

#include "hard-reg-set.h"

#include "real.h"

#include "insn-config.h"

#include "conditions.h"

#include "insn-flags.h"

#include "output.h"

#include "insn-attr.h"

#include "flags.h"

#include "tree.h"

#include "expr.h"

#include "reload.h"

#include "function.h"

#include "ggc.h"

#include "langhooks.h"

#include "target.h"

#include "tm_p.h"

#include "toplev.h"

#include "hashtab.h"

/* Darwin supports a feature called fix-and-continue, which is used

   for rapid turn around debugging.  When code is compiled with the

   -mfix-and-continue flag, two changes are made to the generated code

   that allow the system to do things that it would normally not be

   able to do easily.  These changes allow gdb to load in

   recompilation of a translation unit that has been changed into a

   running program and replace existing functions and methods of that

   translation unit with with versions of those functions and methods

   from the newly compiled translation unit.  The new functions access

   the existing static symbols from the old translation unit, if the

   symbol existed in the unit to be replaced, and from the new

   translation unit, otherwise.

   The changes are to insert 5 nops at the beginning of all functions

   and to use indirection to get at static symbols.  The 5 nops

   are required by consumers of the generated code.  Currently, gdb

   uses this to patch in a jump to the overriding function, this

   allows all uses of the old name to forward to the replacement,

   including existing function pointers and virtual methods.  See

   rs6000_emit_prologue for the code that handles the nop insertions.

   The added indirection allows gdb to redirect accesses to static

   symbols from the newly loaded translation unit to the existing

   symbol, if any.  @code{static} symbols are special and are handled by

   setting the second word in the .non_lazy_symbol_pointer data

   structure to symbol.  See indirect_data for the code that handles

   the extra indirection, and machopic_output_indirection and its use

   of MACHO_SYMBOL_STATIC for the code that handles @code{static}

   symbol indirection.  */

int

name_needs_quotes (const char *name)

{

  int c;

  while ((c = *name++) != '\0')

    if (! ISIDNUM (c) && c != '.' && c != '$')

      return 1;

  return 0;

}

/* Return true if SYM_REF can be used without an indirection.  */

static int

machopic_symbol_defined_p (rtx sym_ref)

{

  if (SYMBOL_REF_FLAGS (sym_ref) & MACHO_SYMBOL_FLAG_DEFINED)

    return true;

  /* If a symbol references local and is not an extern to this

     file, then the symbol might be able to declared as defined.  */

  if (SYMBOL_REF_LOCAL_P (sym_ref) && ! SYMBOL_REF_EXTERNAL_P (sym_ref))

    {

      /* If the symbol references a variable and the variable is a

         common symbol, then this symbol is not defined.  */

      if (SYMBOL_REF_FLAGS (sym_ref) & MACHO_SYMBOL_FLAG_VARIABLE)

        {

          tree decl = SYMBOL_REF_DECL (sym_ref);

          if (!decl)

            return true;

          if (DECL_COMMON (decl))

            return false;

        }

      return true;

    }

  return false;

}

/* This module assumes that (const (symbol_ref "foo")) is a legal pic

   reference, which will not be changed.  */

enum machopic_addr_class

machopic_classify_symbol (rtx sym_ref)

{

  int flags;

  bool function_p;

  flags = SYMBOL_REF_FLAGS (sym_ref);

  function_p = SYMBOL_REF_FUNCTION_P (sym_ref);

  if (machopic_symbol_defined_p (sym_ref))

    return (function_p

            ? MACHOPIC_DEFINED_FUNCTION : MACHOPIC_DEFINED_DATA);

  else

    return (function_p

            ? MACHOPIC_UNDEFINED_FUNCTION : MACHOPIC_UNDEFINED_DATA);

}

#ifndef TARGET_FIX_AND_CONTINUE

#define TARGET_FIX_AND_CONTINUE 0

#endif

/* Indicate when fix-and-continue style code generation is being used

   and when a reference to data should be indirected so that it can be

   rebound in a new translation unit to reference the original instance

   of that data.  Symbol names that are for code generation local to

   the translation unit are bound to the new translation unit;

   currently this means symbols that begin with L or _OBJC_;

   otherwise, we indicate that an indirect reference should be made to

   permit the runtime to rebind new instances of the translation unit

   to the original instance of the data.  */

static int

indirect_data (rtx sym_ref)

{

  int lprefix;

  const char *name;

  /* If we aren't generating fix-and-continue code, don't do anything special.  */

  if (TARGET_FIX_AND_CONTINUE == 0)

    return 0;

  /* Otherwise, all symbol except symbols that begin with L or _OBJC_

     are indirected.  Symbols that begin with L and _OBJC_ are always

     bound to the current translation unit as they are used for

     generated local data of the translation unit.  */

  name = XSTR (sym_ref, 0);

  lprefix = (((name[0] == '*' || name[0] == '&')

              && (name[1] == 'L' || (name[1] == '"' && name[2] == 'L')))

             || (strncmp (name, "_OBJC_", 6) == 0));

  return ! lprefix;

}

static int

machopic_data_defined_p (rtx sym_ref)

{

  if (indirect_data (sym_ref))

    return 0;

  switch (machopic_classify_symbol (sym_ref))

    {

    case MACHOPIC_DEFINED_DATA:

    case MACHOPIC_DEFINED_FUNCTION:

      return 1;

    default:

      return 0;

    }

}

void

machopic_define_symbol (rtx mem)

{

  rtx sym_ref;

  gcc_assert (GET_CODE (mem) == MEM);

  sym_ref = XEXP (mem, 0);

  SYMBOL_REF_FLAGS (sym_ref) |= MACHO_SYMBOL_FLAG_DEFINED;

}

static GTY(()) char * function_base;

const char *

machopic_function_base_name (void)

{

  /* if dynamic-no-pic is on, we should not get here */

  gcc_assert (!MACHO_DYNAMIC_NO_PIC_P);

  if (function_base == NULL)

    function_base =

      (char *) ggc_alloc_string ("<pic base>", sizeof ("<pic base>"));

  current_function_uses_pic_offset_table = 1;

  return function_base;

}

/* Return a SYMBOL_REF for the PIC function base.  */

rtx

machopic_function_base_sym (void)

{

  rtx sym_ref;

  sym_ref = gen_rtx_SYMBOL_REF (Pmode, machopic_function_base_name ());

  SYMBOL_REF_FLAGS (sym_ref)

    |= (MACHO_SYMBOL_FLAG_VARIABLE | MACHO_SYMBOL_FLAG_DEFINED);

  return sym_ref;

}

/* Return either ORIG or (const:P (minus:P ORIG PIC_BASE)), depending

   on whether pic_base is NULL or not.  */

static inline rtx

gen_pic_offset (rtx orig, rtx pic_base)

{

  if (!pic_base)

    return orig;

  else

    return gen_rtx_CONST (Pmode, gen_rtx_MINUS (Pmode, orig, pic_base));

}

static GTY(()) const char * function_base_func_name;

static GTY(()) int current_pic_label_num;

void

machopic_output_function_base_name (FILE *file)

{

  const char *current_name;

  /* If dynamic-no-pic is on, we should not get here.  */

  gcc_assert (!MACHO_DYNAMIC_NO_PIC_P);

  current_name =

    IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl));

  if (function_base_func_name != current_name)

    {

      ++current_pic_label_num;

      function_base_func_name = current_name;

    }

  fprintf (file, "\"L%011d$pb\"", current_pic_label_num);

}

/* The suffix attached to non-lazy pointer symbols.  */

#define NON_LAZY_POINTER_SUFFIX "$non_lazy_ptr"

/* The suffix attached to stub symbols.  */

#define STUB_SUFFIX "$stub"

typedef struct machopic_indirection GTY (())

{

  /* The SYMBOL_REF for the entity referenced.  */

  rtx symbol;

  /* The name of the stub or non-lazy pointer.  */

  const char * ptr_name;

  /* True iff this entry is for a stub (as opposed to a non-lazy

     pointer).  */

  bool stub_p;

  /* True iff this stub or pointer pointer has been referenced.  */

  bool used;

} machopic_indirection;

/* A table mapping stub names and non-lazy pointer names to

   SYMBOL_REFs for the stubbed-to and pointed-to entities.  */

static GTY ((param_is (struct machopic_indirection))) htab_t

  machopic_indirections;

/* Return a hash value for a SLOT in the indirections hash table.  */

static hashval_t

machopic_indirection_hash (const void *slot)

{

  const machopic_indirection *p = (const machopic_indirection *) slot;

  return htab_hash_string (p->ptr_name);

}

/* Returns true if the KEY is the same as that associated with

   SLOT.  */

static int

machopic_indirection_eq (const void *slot, const void *key)

{

  return strcmp (((const machopic_indirection *) slot)->ptr_name, key) == 0;

}

/* Return the name of the non-lazy pointer (if STUB_P is false) or

   stub (if STUB_B is true) corresponding to the given name.  */

const char *

machopic_indirection_name (rtx sym_ref, bool stub_p)

{

  char *buffer;

  const char *name = XSTR (sym_ref, 0);

  size_t namelen = strlen (name);

  machopic_indirection *p;

  void ** slot;

  bool saw_star = false;

  bool needs_quotes;

  const char *suffix;

  const char *prefix = user_label_prefix;

  const char *quote = "";

  tree id;

  id = maybe_get_identifier (name);

  if (id)

    {

      tree id_orig = id;

      while (IDENTIFIER_TRANSPARENT_ALIAS (id))

        id = TREE_CHAIN (id);

      if (id != id_orig)

        {

          name = IDENTIFIER_POINTER (id);

          namelen = strlen (name);

        }

    }

  if (name[0] == '*')

    {

      saw_star = true;

      prefix = "";

      ++name;

      --namelen;

    }

  needs_quotes = name_needs_quotes (name);

  if (needs_quotes)

    {

      quote = "\"";

    }

  if (stub_p)

    suffix = STUB_SUFFIX;

  else

    suffix = NON_LAZY_POINTER_SUFFIX;

  buffer = alloca (strlen ("&L")

                   + strlen (prefix)

                   + namelen

                   + strlen (suffix)

                   + 2 * strlen (quote)

                   + 1 /* '\0' */);

  /* Construct the name of the non-lazy pointer or stub.  */

  sprintf (buffer, "&%sL%s%s%s%s", quote, prefix, name, suffix, quote);

  if (!machopic_indirections)

    machopic_indirections = htab_create_ggc (37,

                                             machopic_indirection_hash,

                                             machopic_indirection_eq,

                                             /*htab_del=*/NULL);

  slot = htab_find_slot_with_hash (machopic_indirections, buffer,

                                   htab_hash_string (buffer), INSERT);

  if (*slot)

    {

      p = (machopic_indirection *) *slot;

    }

  else

    {

      p = (machopic_indirection *) ggc_alloc (sizeof (machopic_indirection));

      p->symbol = sym_ref;

      p->ptr_name = xstrdup (buffer);

      p->stub_p = stub_p;

      p->used = false;

      *slot = p;

    }

  return p->ptr_name;

}

/* Return the name of the stub for the mcount function.  */

const char*

machopic_mcount_stub_name (void)

{

  rtx symbol = gen_rtx_SYMBOL_REF (Pmode, "*mcount");

  return machopic_indirection_name (symbol, /*stub_p=*/true);

}

/* If NAME is the name of a stub or a non-lazy pointer , mark the stub

   or non-lazy pointer as used -- and mark the object to which the

   pointer/stub refers as used as well, since the pointer/stub will

   emit a reference to it.  */

void

machopic_validate_stub_or_non_lazy_ptr (const char *name)

{

  machopic_indirection *p;

  p = ((machopic_indirection *)

       (htab_find_with_hash (machopic_indirections, name,

                             htab_hash_string (name))));

  if (p && ! p->used)

    {

      const char *real_name;

      tree id;

      p->used = true;

      /* Do what output_addr_const will do when we actually call it.  */

      if (SYMBOL_REF_DECL (p->symbol))

        mark_decl_referenced (SYMBOL_REF_DECL (p->symbol));

      real_name = targetm.strip_name_encoding (XSTR (p->symbol, 0));

      id = maybe_get_identifier (real_name);

      if (id)

        mark_referenced (id);

    }

}

/* Transform ORIG, which may be any data source, to the corresponding

   source using indirections.  */

rtx

machopic_indirect_data_reference (rtx orig, rtx reg)

{

  rtx ptr_ref = orig;

  if (! MACHOPIC_INDIRECT)

    return orig;

  if (GET_CODE (orig) == SYMBOL_REF)

    {

      int defined = machopic_data_defined_p (orig);

      if (defined && MACHO_DYNAMIC_NO_PIC_P)

        {

#if defined (TARGET_TOC)

          /* Create a new register for CSE opportunities.  */

          rtx hi_reg = (no_new_pseudos ? reg : gen_reg_rtx (Pmode));

          emit_insn (gen_macho_high (hi_reg, orig));

          emit_insn (gen_macho_low (reg, hi_reg, orig));

#else

           /* some other cpu -- writeme!  */

           gcc_unreachable ();

#endif

           return reg;

        }

      else if (defined)

        {

#if defined (TARGET_TOC) || defined (HAVE_lo_sum)

          rtx pic_base = machopic_function_base_sym ();

          rtx offset = gen_pic_offset (orig, pic_base);

#endif

#if defined (TARGET_TOC) /* i.e., PowerPC */

          rtx hi_sum_reg = (no_new_pseudos ? reg : gen_reg_rtx (Pmode));

          gcc_assert (reg);

          emit_insn (gen_rtx_SET (Pmode, hi_sum_reg,

                              gen_rtx_PLUS (Pmode, pic_offset_table_rtx,

                                       gen_rtx_HIGH (Pmode, offset))));

          emit_insn (gen_rtx_SET (Pmode, reg,

                                  gen_rtx_LO_SUM (Pmode, hi_sum_reg, offset)));

          orig = reg;

#else

#if defined (HAVE_lo_sum)

          gcc_assert (reg);

          emit_insn (gen_rtx_SET (VOIDmode, reg,

                                  gen_rtx_HIGH (Pmode, offset)));

          emit_insn (gen_rtx_SET (VOIDmode, reg,

                                  gen_rtx_LO_SUM (Pmode, reg, offset)));

          emit_insn (gen_rtx_USE (VOIDmode, pic_offset_table_rtx));

          orig = gen_rtx_PLUS (Pmode, pic_offset_table_rtx, reg);

#endif

#endif

          return orig;

        }

      ptr_ref = (gen_rtx_SYMBOL_REF

                 (Pmode,

                  machopic_indirection_name (orig, /*stub_p=*/false)));

      SYMBOL_REF_DECL (ptr_ref) = SYMBOL_REF_DECL (orig);

      ptr_ref = gen_const_mem (Pmode, ptr_ref);

      machopic_define_symbol (ptr_ref);

      return ptr_ref;

    }

  else if (GET_CODE (orig) == CONST)

    {

      rtx base, result;

      /* legitimize both operands of the PLUS */

      if (GET_CODE (XEXP (orig, 0)) == PLUS)

        {

          base = machopic_indirect_data_reference (XEXP (XEXP (orig, 0), 0),

                                                   reg);

          orig = machopic_indirect_data_reference (XEXP (XEXP (orig, 0), 1),

                                                   (base == reg ? 0 : reg));

        }

      else

        return orig;

      if (MACHOPIC_PURE && GET_CODE (orig) == CONST_INT)

        result = plus_constant (base, INTVAL (orig));

      else

        result = gen_rtx_PLUS (Pmode, base, orig);

      if (MACHOPIC_JUST_INDIRECT && GET_CODE (base) == MEM)

        {

          if (reg)

            {

              emit_move_insn (reg, result);

              result = reg;

            }

          else

            {

              result = force_reg (GET_MODE (result), result);

            }

        }

      return result;

    }

  else if (GET_CODE (orig) == MEM)

    XEXP (ptr_ref, 0) = machopic_indirect_data_reference (XEXP (orig, 0), reg);

  /* When the target is i386, this code prevents crashes due to the

     compiler's ignorance on how to move the PIC base register to

     other registers.  (The reload phase sometimes introduces such

     insns.)  */

  else if (GET_CODE (orig) == PLUS

           && GET_CODE (XEXP (orig, 0)) == REG

           && REGNO (XEXP (orig, 0)) == PIC_OFFSET_TABLE_REGNUM

#ifdef I386

           /* Prevent the same register from being erroneously used

              as both the base and index registers.  */

           && GET_CODE (XEXP (orig, 1)) == CONST

#endif

           && reg)

    {

      emit_move_insn (reg, XEXP (orig, 0));

      XEXP (ptr_ref, 0) = reg;

    }

  return ptr_ref;

}

/* Transform TARGET (a MEM), which is a function call target, to the

   corresponding symbol_stub if necessary.  Return a new MEM.  */

rtx

machopic_indirect_call_target (rtx target)

{

  if (GET_CODE (target) != MEM)

    return target;

  if (MACHOPIC_INDIRECT

      && GET_CODE (XEXP (target, 0)) == SYMBOL_REF

      && !(SYMBOL_REF_FLAGS (XEXP (target, 0))

           & MACHO_SYMBOL_FLAG_DEFINED))

    {

      rtx sym_ref = XEXP (target, 0);

      const char *stub_name = machopic_indirection_name (sym_ref,

                                                         /*stub_p=*/true);

      enum machine_mode mode = GET_MODE (sym_ref);

      tree decl = SYMBOL_REF_DECL (sym_ref);

      XEXP (target, 0) = gen_rtx_SYMBOL_REF (mode, stub_name);

      SYMBOL_REF_DECL (XEXP (target, 0)) = decl;

      MEM_READONLY_P (target) = 1;

      MEM_NOTRAP_P (target) = 1;

    }

  return target;

}

rtx

machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)

{

  rtx pic_ref = orig;

  if (! MACHOPIC_INDIRECT)

    return orig;

  /* First handle a simple SYMBOL_REF or LABEL_REF */

  if (GET_CODE (orig) == LABEL_REF

      || (GET_CODE (orig) == SYMBOL_REF

          ))

    {

      /* addr(foo) = &func+(foo-func) */

      rtx pic_base;

      orig = machopic_indirect_data_reference (orig, reg);

      if (GET_CODE (orig) == PLUS

          && GET_CODE (XEXP (orig, 0)) == REG)

        {

          if (reg == 0)

            return force_reg (mode, orig);

          emit_move_insn (reg, orig);

          return reg;

        }

      /* if dynamic-no-pic we don't have a pic base  */

      if (MACHO_DYNAMIC_NO_PIC_P)

        pic_base = NULL;

      else

        pic_base = machopic_function_base_sym ();

      if (GET_CODE (orig) == MEM)

        {

          if (reg == 0)

            {

              gcc_assert (!reload_in_progress);

              reg = gen_reg_rtx (Pmode);

            }

#ifdef HAVE_lo_sum

          if (MACHO_DYNAMIC_NO_PIC_P

              && (GET_CODE (XEXP (orig, 0)) == SYMBOL_REF

                  || GET_CODE (XEXP (orig, 0)) == LABEL_REF))

            {

#if defined (TARGET_TOC)        /* ppc  */

              rtx temp_reg = (no_new_pseudos) ? reg : gen_reg_rtx (Pmode);

              rtx asym = XEXP (orig, 0);

              rtx mem;

              emit_insn (gen_macho_high (temp_reg, asym));

              mem = gen_const_mem (GET_MODE (orig),

                                   gen_rtx_LO_SUM (Pmode, temp_reg, asym));

              emit_insn (gen_rtx_SET (VOIDmode, reg, mem));

#else

              /* Some other CPU -- WriteMe! but right now there are no other platform that can use dynamic-no-pic  */

              gcc_unreachable ();

#endif

              pic_ref = reg;

            }

          else

          if (GET_CODE (XEXP (orig, 0)) == SYMBOL_REF

              || GET_CODE (XEXP (orig, 0)) == LABEL_REF)

            {

              rtx offset = gen_pic_offset (XEXP (orig, 0), pic_base);

#if defined (TARGET_TOC) /* i.e., PowerPC */

              /* Generating a new reg may expose opportunities for

                 common subexpression elimination.  */

              rtx hi_sum_reg = no_new_pseudos ? reg : gen_reg_rtx (Pmode);

              rtx mem;

              rtx insn;

              rtx sum;

              sum = gen_rtx_HIGH (Pmode, offset);

              if (! MACHO_DYNAMIC_NO_PIC_P)

                sum = gen_rtx_PLUS (Pmode, pic_offset_table_rtx, sum);

              emit_insn (gen_rtx_SET (Pmode, hi_sum_reg, sum));

              mem = gen_const_mem (GET_MODE (orig),

                                  gen_rtx_LO_SUM (Pmode,

                                                  hi_sum_reg, offset));

              insn = emit_insn (gen_rtx_SET (VOIDmode, reg, mem));

              REG_NOTES (insn) = gen_rtx_EXPR_LIST (REG_EQUAL, pic_ref,

                                                    REG_NOTES (insn));

              pic_ref = reg;

#else

              emit_insn (gen_rtx_USE (VOIDmode,

                                      gen_rtx_REG (Pmode,

                                                   PIC_OFFSET_TABLE_REGNUM)));

              emit_insn (gen_rtx_SET (VOIDmode, reg,

                                      gen_rtx_HIGH (Pmode,

                                                    gen_rtx_CONST (Pmode,

                                                                   offset))));

              emit_insn (gen_rtx_SET (VOIDmode, reg,

                                  gen_rtx_LO_SUM (Pmode, reg,

                                           gen_rtx_CONST (Pmode, offset))));

              pic_ref = gen_rtx_PLUS (Pmode,

                                      pic_offset_table_rtx, reg);

#endif

            }

          else

#endif  /* HAVE_lo_sum */

            {

              rtx pic = pic_offset_table_rtx;

              if (GET_CODE (pic) != REG)

                {

                  emit_move_insn (reg, pic);

                  pic = reg;