Subversion Repositories openrisc

/* tc-hppa.c -- Assemble for the PA

   Copyright 1989, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,

   2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc.

   This file is part of GAS, the GNU Assembler.

   GAS is free software; you can redistribute it and/or modify

   it under the terms of the GNU General Public License as published by

   the Free Software Foundation; either version 3, or (at your option)

   any later version.

   GAS 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 GAS; see the file COPYING.  If not, write to the Free

   Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA

   02110-1301, USA.  */

/* HP PA-RISC support was contributed by the Center for Software Science

   at the University of Utah.  */

#include "as.h"

#include "safe-ctype.h"

#include "subsegs.h"

#include "dw2gencfi.h"

#include "bfd/libhppa.h"

/* Be careful, this file includes data *declarations*.  */

#include "opcode/hppa.h"

#if defined (OBJ_ELF) && defined (OBJ_SOM)

error only one of OBJ_ELF and OBJ_SOM can be defined

#endif

/* If we are using ELF, then we probably can support dwarf2 debug

   records.  Furthermore, if we are supporting dwarf2 debug records,

   then we want to use the assembler support for compact line numbers.  */

#ifdef OBJ_ELF

#include "dwarf2dbg.h"

/* A "convenient" place to put object file dependencies which do

   not need to be seen outside of tc-hppa.c.  */

/* Object file formats specify relocation types.  */

typedef enum elf_hppa_reloc_type reloc_type;

/* Object file formats specify BFD symbol types.  */

typedef elf_symbol_type obj_symbol_type;

#define symbol_arg_reloc_info(sym)\

  (((obj_symbol_type *) symbol_get_bfdsym (sym))->tc_data.hppa_arg_reloc)

#if TARGET_ARCH_SIZE == 64

/* How to generate a relocation.  */

#define hppa_gen_reloc_type _bfd_elf64_hppa_gen_reloc_type

#define elf_hppa_reloc_final_type elf64_hppa_reloc_final_type

#else

#define hppa_gen_reloc_type _bfd_elf32_hppa_gen_reloc_type

#define elf_hppa_reloc_final_type elf32_hppa_reloc_final_type

#endif

/* ELF objects can have versions, but apparently do not have anywhere

   to store a copyright string.  */

#define obj_version obj_elf_version

#define obj_copyright obj_elf_version

#define UNWIND_SECTION_NAME ".PARISC.unwind"

#endif /* OBJ_ELF */

#ifdef OBJ_SOM

/* Names of various debugging spaces/subspaces.  */

#define GDB_DEBUG_SPACE_NAME "$GDB_DEBUG$"

#define GDB_STRINGS_SUBSPACE_NAME "$GDB_STRINGS$"

#define GDB_SYMBOLS_SUBSPACE_NAME "$GDB_SYMBOLS$"

#define UNWIND_SECTION_NAME "$UNWIND$"

/* Object file formats specify relocation types.  */

typedef int reloc_type;

/* SOM objects can have both a version string and a copyright string.  */

#define obj_version obj_som_version

#define obj_copyright obj_som_copyright

/* How to generate a relocation.  */

#define hppa_gen_reloc_type hppa_som_gen_reloc_type

/* Object file formats specify BFD symbol types.  */

typedef som_symbol_type obj_symbol_type;

#define symbol_arg_reloc_info(sym)\

  (((obj_symbol_type *) symbol_get_bfdsym (sym))->tc_data.ap.hppa_arg_reloc)

/* This apparently isn't in older versions of hpux reloc.h.  */

#ifndef R_DLT_REL

#define R_DLT_REL 0x78

#endif

#ifndef R_N0SEL

#define R_N0SEL 0xd8

#endif

#ifndef R_N1SEL

#define R_N1SEL 0xd9

#endif

#endif /* OBJ_SOM */

#if TARGET_ARCH_SIZE == 64

#define DEFAULT_LEVEL 25

#else

#define DEFAULT_LEVEL 10

#endif

/* Various structures and types used internally in tc-hppa.c.  */

/* Unwind table and descriptor.  FIXME: Sync this with GDB version.  */

struct unwind_desc

  {

    unsigned int cannot_unwind:1;

    unsigned int millicode:1;

    unsigned int millicode_save_rest:1;

    unsigned int region_desc:2;

    unsigned int save_sr:2;

    unsigned int entry_fr:4;

    unsigned int entry_gr:5;

    unsigned int args_stored:1;

    unsigned int call_fr:5;

    unsigned int call_gr:5;

    unsigned int save_sp:1;

    unsigned int save_rp:1;

    unsigned int save_rp_in_frame:1;

    unsigned int extn_ptr_defined:1;

    unsigned int cleanup_defined:1;

    unsigned int hpe_interrupt_marker:1;

    unsigned int hpux_interrupt_marker:1;

    unsigned int reserved:3;

    unsigned int frame_size:27;

  };

/* We can't rely on compilers placing bitfields in any particular

   place, so use these macros when dumping unwind descriptors to

   object files.  */

#define UNWIND_LOW32(U) \

  (((U)->cannot_unwind << 31)           \

   | ((U)->millicode << 30)             \

   | ((U)->millicode_save_rest << 29)   \

   | ((U)->region_desc << 27)           \

   | ((U)->save_sr << 25)               \

   | ((U)->entry_fr << 21)              \

   | ((U)->entry_gr << 16)              \

   | ((U)->args_stored << 15)           \

   | ((U)->call_fr << 10)               \

   | ((U)->call_gr << 5)                \

   | ((U)->save_sp << 4)                \

   | ((U)->save_rp << 3)                \

   | ((U)->save_rp_in_frame << 2)       \

   | ((U)->extn_ptr_defined << 1)       \

   | ((U)->cleanup_defined << 0))

#define UNWIND_HIGH32(U) \

  (((U)->hpe_interrupt_marker << 31)    \

   | ((U)->hpux_interrupt_marker << 30) \

   | ((U)->frame_size << 0))

struct unwind_table

  {

    /* Starting and ending offsets of the region described by

       descriptor.  */

    unsigned int start_offset;

    unsigned int end_offset;

    struct unwind_desc descriptor;

  };

/* This structure is used by the .callinfo, .enter, .leave pseudo-ops to

   control the entry and exit code they generate. It is also used in

   creation of the correct stack unwind descriptors.

   NOTE:  GAS does not support .enter and .leave for the generation of

   prologues and epilogues.  FIXME.

   The fields in structure roughly correspond to the arguments available on the

   .callinfo pseudo-op.  */

struct call_info

  {

    /* The unwind descriptor being built.  */

    struct unwind_table ci_unwind;

    /* Name of this function.  */

    symbolS *start_symbol;

    /* (temporary) symbol used to mark the end of this function.  */

    symbolS *end_symbol;

    /* Next entry in the chain.  */

    struct call_info *ci_next;

  };

/* Operand formats for FP instructions.   Note not all FP instructions

   allow all four formats to be used (for example fmpysub only allows

   SGL and DBL).  */

typedef enum

  {

    SGL, DBL, ILLEGAL_FMT, QUAD, W, UW, DW, UDW, QW, UQW

  }

fp_operand_format;

/* This fully describes the symbol types which may be attached to

   an EXPORT or IMPORT directive.  Only SOM uses this formation

   (ELF has no need for it).  */

typedef enum

  {

    SYMBOL_TYPE_UNKNOWN,

    SYMBOL_TYPE_ABSOLUTE,

    SYMBOL_TYPE_CODE,

    SYMBOL_TYPE_DATA,

    SYMBOL_TYPE_ENTRY,

    SYMBOL_TYPE_MILLICODE,

    SYMBOL_TYPE_PLABEL,

    SYMBOL_TYPE_PRI_PROG,

    SYMBOL_TYPE_SEC_PROG,

  }

pa_symbol_type;

/* This structure contains information needed to assemble

   individual instructions.  */

struct pa_it

  {

    /* Holds the opcode after parsing by pa_ip.  */

    unsigned long opcode;

    /* Holds an expression associated with the current instruction.  */

    expressionS exp;

    /* Does this instruction use PC-relative addressing.  */

    int pcrel;

    /* Floating point formats for operand1 and operand2.  */

    fp_operand_format fpof1;

    fp_operand_format fpof2;

    /* Whether or not we saw a truncation request on an fcnv insn.  */

    int trunc;

    /* Holds the field selector for this instruction

       (for example L%, LR%, etc).  */

    long field_selector;

    /* Holds any argument relocation bits associated with this

       instruction.  (instruction should be some sort of call).  */

    unsigned int arg_reloc;

    /* The format specification for this instruction.  */

    int format;

    /* The relocation (if any) associated with this instruction.  */

    reloc_type reloc;

  };

/* PA-89 floating point registers are arranged like this:

   +--------------+--------------+

   |   0 or 16L   |  16 or 16R   |

   +--------------+--------------+

   |   1 or 17L   |  17 or 17R   |

   +--------------+--------------+

   |              |              |

   .              .              .

   .              .              .

   .              .              .

   |              |              |

   +--------------+--------------+

   |  14 or 30L   |  30 or 30R   |

   +--------------+--------------+

   |  15 or 31L   |  31 or 31R   |

   +--------------+--------------+  */

/* Additional information needed to build argument relocation stubs.  */

struct call_desc

  {

    /* The argument relocation specification.  */

    unsigned int arg_reloc;

    /* Number of arguments.  */

    unsigned int arg_count;

  };

#ifdef OBJ_SOM

/* This structure defines an entry in the subspace dictionary

   chain.  */

struct subspace_dictionary_chain

  {

    /* Nonzero if this space has been defined by the user code.  */

    unsigned int ssd_defined;

    /* Name of this subspace.  */

    char *ssd_name;

    /* GAS segment and subsegment associated with this subspace.  */

    asection *ssd_seg;

    int ssd_subseg;

    /* Next space in the subspace dictionary chain.  */

    struct subspace_dictionary_chain *ssd_next;

  };

typedef struct subspace_dictionary_chain ssd_chain_struct;

/* This structure defines an entry in the subspace dictionary

   chain.  */

struct space_dictionary_chain

  {

    /* Nonzero if this space has been defined by the user code or

       as a default space.  */

    unsigned int sd_defined;

    /* Nonzero if this spaces has been defined by the user code.  */

    unsigned int sd_user_defined;

    /* The space number (or index).  */

    unsigned int sd_spnum;

    /* The name of this subspace.  */

    char *sd_name;

    /* GAS segment to which this subspace corresponds.  */

    asection *sd_seg;

    /* Current subsegment number being used.  */

    int sd_last_subseg;

    /* The chain of subspaces contained within this space.  */

    ssd_chain_struct *sd_subspaces;

    /* The next entry in the space dictionary chain.  */

    struct space_dictionary_chain *sd_next;

  };

typedef struct space_dictionary_chain sd_chain_struct;

/* This structure defines attributes of the default subspace

   dictionary entries.  */

struct default_subspace_dict

  {

    /* Name of the subspace.  */

    char *name;

    /* FIXME.  Is this still needed?  */

    char defined;

    /* Nonzero if this subspace is loadable.  */

    char loadable;

    /* Nonzero if this subspace contains only code.  */

    char code_only;

    /* Nonzero if this is a comdat subspace.  */

    char comdat;

    /* Nonzero if this is a common subspace.  */

    char common;

    /* Nonzero if this is a common subspace which allows symbols

       to be multiply defined.  */

    char dup_common;

    /* Nonzero if this subspace should be zero filled.  */

    char zero;

    /* Sort key for this subspace.  */

    unsigned char sort;

    /* Access control bits for this subspace.  Can represent RWX access

       as well as privilege level changes for gateways.  */

    int access;

    /* Index of containing space.  */

    int space_index;

    /* Alignment (in bytes) of this subspace.  */

    int alignment;

    /* Quadrant within space where this subspace should be loaded.  */

    int quadrant;

    /* An index into the default spaces array.  */

    int def_space_index;

    /* Subsegment associated with this subspace.  */

    subsegT subsegment;

  };

/* This structure defines attributes of the default space

   dictionary entries.  */

struct default_space_dict

  {

    /* Name of the space.  */

    char *name;

    /* Space number.  It is possible to identify spaces within

       assembly code numerically!  */

    int spnum;

    /* Nonzero if this space is loadable.  */

    char loadable;

    /* Nonzero if this space is "defined".  FIXME is still needed */

    char defined;

    /* Nonzero if this space can not be shared.  */

    char private;

    /* Sort key for this space.  */

    unsigned char sort;

    /* Segment associated with this space.  */

    asection *segment;

  };

#endif

/* Structure for previous label tracking.  Needed so that alignments,

   callinfo declarations, etc can be easily attached to a particular

   label.  */

typedef struct label_symbol_struct

  {

    struct symbol *lss_label;

#ifdef OBJ_SOM

    sd_chain_struct *lss_space;

#endif

#ifdef OBJ_ELF

    segT lss_segment;

#endif

    struct label_symbol_struct *lss_next;

  }

label_symbol_struct;

/* Extra information needed to perform fixups (relocations) on the PA.  */

struct hppa_fix_struct

  {

    /* The field selector.  */

    enum hppa_reloc_field_selector_type_alt fx_r_field;

    /* Type of fixup.  */

    int fx_r_type;

    /* Format of fixup.  */

    int fx_r_format;

    /* Argument relocation bits.  */

    unsigned int fx_arg_reloc;

    /* The segment this fixup appears in.  */

    segT segment;

  };

/* Structure to hold information about predefined registers.  */

struct pd_reg

  {

    char *name;

    int value;

  };

/* This structure defines the mapping from a FP condition string

   to a condition number which can be recorded in an instruction.  */

struct fp_cond_map

  {

    char *string;

    int cond;

  };

/* This structure defines a mapping from a field selector

   string to a field selector type.  */

struct selector_entry

  {

    char *prefix;

    int field_selector;

  };

/* Prototypes for functions local to tc-hppa.c.  */

#ifdef OBJ_SOM

static void pa_check_current_space_and_subspace (void);

#endif

#if !(defined (OBJ_ELF) && (defined (TE_LINUX) || defined (TE_NetBSD)))

static void pa_text (int);

static void pa_data (int);

static void pa_comm (int);

#endif

#ifdef OBJ_SOM

static int exact_log2 (int);

static void pa_compiler (int);

static void pa_align (int);

static void pa_space (int);

static void pa_spnum (int);

static void pa_subspace (int);

static sd_chain_struct *create_new_space (char *, int, int,

                                                  int, int, int,

                                                  asection *, int);

static ssd_chain_struct *create_new_subspace (sd_chain_struct *,

                                                      char *, int, int,

                                                      int, int, int, int,

                                                      int, int, int, int,

                                                      int, asection *);

static ssd_chain_struct *update_subspace (sd_chain_struct *,

                                                  char *, int, int, int,

                                                  int, int, int, int,

                                                  int, int, int, int,

                                                  asection *);

static sd_chain_struct *is_defined_space (char *);

static ssd_chain_struct *is_defined_subspace (char *);

static sd_chain_struct *pa_segment_to_space (asection *);

static ssd_chain_struct *pa_subsegment_to_subspace (asection *,

                                                            subsegT);

static sd_chain_struct *pa_find_space_by_number (int);

static unsigned int pa_subspace_start (sd_chain_struct *, int);

static sd_chain_struct *pa_parse_space_stmt (char *, int);

#endif

/* File and globally scoped variable declarations.  */

#ifdef OBJ_SOM

/* Root and final entry in the space chain.  */

static sd_chain_struct *space_dict_root;

static sd_chain_struct *space_dict_last;

/* The current space and subspace.  */

static sd_chain_struct *current_space;

static ssd_chain_struct *current_subspace;

#endif

/* Root of the call_info chain.  */

static struct call_info *call_info_root;

/* The last call_info (for functions) structure

   seen so it can be associated with fixups and

   function labels.  */

static struct call_info *last_call_info;

/* The last call description (for actual calls).  */

static struct call_desc last_call_desc;

/* handle of the OPCODE hash table */

static struct hash_control *op_hash = NULL;

/* These characters can be suffixes of opcode names and they may be

   followed by meaningful whitespace.  We don't include `,' and `!'

   as they never appear followed by meaningful whitespace.  */

const char hppa_symbol_chars[] = "*?=<>";

/* This array holds the chars that only start a comment at the beginning of

   a line.  If the line seems to have the form '# 123 filename'

   .line and .file directives will appear in the pre-processed output.

   Note that input_file.c hand checks for '#' at the beginning of the

   first line of the input file.  This is because the compiler outputs

   #NO_APP at the beginning of its output.

   Also note that C style comments will always work.  */

const char line_comment_chars[] = "#";

/* This array holds the chars that always start a comment.  If the

   pre-processor is disabled, these aren't very useful.  */

const char comment_chars[] = ";";

/* This array holds the characters which act as line separators.  */

const char line_separator_chars[] = "!";

/* Chars that can be used to separate mant from exp in floating point nums.  */

const char EXP_CHARS[] = "eE";

/* Chars that mean this number is a floating point constant.

   As in 0f12.456 or 0d1.2345e12.

   Be aware that MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT may have to be

   changed in read.c.  Ideally it shouldn't have to know about it

   at all, but nothing is ideal around here.  */

const char FLT_CHARS[] = "rRsSfFdDxXpP";

static struct pa_it the_insn;

/* Points to the end of an expression just parsed by get_expression

   and friends.  FIXME.  This shouldn't be handled with a file-global

   variable.  */

static char *expr_end;

/* Nonzero if a .callinfo appeared within the current procedure.  */

static int callinfo_found;

/* Nonzero if the assembler is currently within a .entry/.exit pair.  */

static int within_entry_exit;

/* Nonzero if the assembler is currently within a procedure definition.  */

static int within_procedure;

/* Handle on structure which keep track of the last symbol

   seen in each subspace.  */

static label_symbol_struct *label_symbols_rootp = NULL;

/* Holds the last field selector.  */

static int hppa_field_selector;

/* Nonzero when strict matching is enabled.  Zero otherwise.

   Each opcode in the table has a flag which indicates whether or

   not strict matching should be enabled for that instruction.

   Mainly, strict causes errors to be ignored when a match failure

   occurs.  However, it also affects the parsing of register fields

   by pa_parse_number.  */

static int strict;

/* pa_parse_number returns values in `pa_number'.  Mostly

   pa_parse_number is used to return a register number, with floating

   point registers being numbered from FP_REG_BASE upwards.

   The bit specified with FP_REG_RSEL is set if the floating point

   register has a `r' suffix.  */

#define FP_REG_BASE 64

#define FP_REG_RSEL 128

static int pa_number;

#ifdef OBJ_SOM

/* A dummy bfd symbol so that all relocations have symbols of some kind.  */

static symbolS *dummy_symbol;

#endif

/* Nonzero if errors are to be printed.  */

static int print_errors = 1;

/* List of registers that are pre-defined:

   Each general register has one predefined name of the form

   %r<REGNUM> which has the value <REGNUM>.

   Space and control registers are handled in a similar manner,

   but use %sr<REGNUM> and %cr<REGNUM> as their predefined names.

   Likewise for the floating point registers, but of the form

   %fr<REGNUM>.  Floating point registers have additional predefined

   names with 'L' and 'R' suffixes (e.g. %fr19L, %fr19R) which

   again have the value <REGNUM>.

   Many registers also have synonyms:

   %r26 - %r23 have %arg0 - %arg3 as synonyms

   %r28 - %r29 have %ret0 - %ret1 as synonyms

   %fr4 - %fr7 have %farg0 - %farg3 as synonyms

   %r30 has %sp as a synonym

   %r27 has %dp as a synonym

   %r2  has %rp as a synonym

   Almost every control register has a synonym; they are not listed

   here for brevity.

   The table is sorted. Suitable for searching by a binary search.  */

static const struct pd_reg pre_defined_registers[] =

{

  {"%arg0",  26},

  {"%arg1",  25},

  {"%arg2",  24},

  {"%arg3",  23},

  {"%cr0",    0},

  {"%cr10",  10},

  {"%cr11",  11},

  {"%cr12",  12},

  {"%cr13",  13},

  {"%cr14",  14},

  {"%cr15",  15},

  {"%cr16",  16},

  {"%cr17",  17},

  {"%cr18",  18},

  {"%cr19",  19},

  {"%cr20",  20},

  {"%cr21",  21},

  {"%cr22",  22},

  {"%cr23",  23},

  {"%cr24",  24},

  {"%cr25",  25},

  {"%cr26",  26},

  {"%cr27",  27},

  {"%cr28",  28},

  {"%cr29",  29},

  {"%cr30",  30},

  {"%cr31",  31},

  {"%cr8",    8},

  {"%cr9",    9},

  {"%dp",    27},

  {"%eiem",  15},

  {"%eirr",  23},

  {"%farg0",  4 + FP_REG_BASE},

  {"%farg1",  5 + FP_REG_BASE},

  {"%farg2",  6 + FP_REG_BASE},

  {"%farg3",  7 + FP_REG_BASE},

  {"%fr0",    0 + FP_REG_BASE},

  {"%fr0l",   0 + FP_REG_BASE},

  {"%fr0r",   0 + FP_REG_BASE + FP_REG_RSEL},

  {"%fr1",    1 + FP_REG_BASE},

  {"%fr10",  10 + FP_REG_BASE},

  {"%fr10l", 10 + FP_REG_BASE},

  {"%fr10r", 10 + FP_REG_BASE + FP_REG_RSEL},

  {"%fr11",  11 + FP_REG_BASE},

  {"%fr11l", 11 + FP_REG_BASE},

  {"%fr11r", 11 + FP_REG_BASE + FP_REG_RSEL},

  {"%fr12",  12 + FP_REG_BASE},

  {"%fr12l", 12 + FP_REG_BASE},

  {"%fr12r", 12 + FP_REG_BASE + FP_REG_RSEL},

  {"%fr13",  13 + FP_REG_BASE},

  {"%fr13l", 13 + FP_REG_BASE},

  {"%fr13r", 13 + FP_REG_BASE + FP_REG_RSEL},

  {"%fr14",  14 + FP_REG_BASE},

  {"%fr14l", 14 + FP_REG_BASE},

  {"%fr14r", 14 + FP_REG_BASE + FP_REG_RSEL},

  {"%fr15",  15 + FP_REG_BASE},

  {"%fr15l", 15 + FP_REG_BASE},

  {"%fr15r", 15 + FP_REG_BASE + FP_REG_RSEL},

  {"%fr16",  16 + FP_REG_BASE},

  {"%fr16l", 16 + FP_REG_BASE},

  {"%fr16r", 16 + FP_REG_BASE + FP_REG_RSEL},

  {"%fr17",  17 + FP_REG_BASE},

  {"%fr17l", 17 + FP_REG_BASE},

  {"%fr17r", 17 + FP_REG_BASE + FP_REG_RSEL},

  {"%fr18",  18 + FP_REG_BASE},