1 /* tc-hppa.c -- Assemble for the PA
2 Copyright (C) 1989, 93, 94, 95, 96, 97, 98, 99, 2000
3 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS 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)
12 GAS 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.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
22 /* HP PA-RISC support was contributed by the Center for Software Science
23 at the University of Utah. */
31 #include "bfd/libhppa.h"
33 /* Be careful, this file includes data *declarations*. */
34 #include "opcode/hppa.h"
36 #if defined (OBJ_ELF) && defined (OBJ_SOM)
37 error only one of OBJ_ELF and OBJ_SOM can be defined
40 /* If we are using ELF, then we probably can support dwarf2 debug
41 records. Furthermore, if we are supporting dwarf2 debug records,
42 then we want to use the assembler support for compact line numbers. */
44 #include "dwarf2dbg.h"
46 /* A "convient" place to put object file dependencies which do
47 not need to be seen outside of tc-hppa.c. */
49 /* Object file formats specify relocation types. */
50 typedef enum elf_hppa_reloc_type reloc_type;
52 /* Object file formats specify BFD symbol types. */
53 typedef elf_symbol_type obj_symbol_type;
54 #define symbol_arg_reloc_info(sym)\
55 (((obj_symbol_type *) symbol_get_bfdsym (sym))->tc_data.hppa_arg_reloc)
57 #if TARGET_ARCH_SIZE == 64
58 /* How to generate a relocation. */
59 #define hppa_gen_reloc_type _bfd_elf64_hppa_gen_reloc_type
61 #define hppa_gen_reloc_type _bfd_elf32_hppa_gen_reloc_type
64 /* ELF objects can have versions, but apparently do not have anywhere
65 to store a copyright string. */
66 #define obj_version obj_elf_version
67 #define obj_copyright obj_elf_version
69 #define UNWIND_SECTION_NAME ".PARISC.unwind"
73 /* Names of various debugging spaces/subspaces. */
74 #define GDB_DEBUG_SPACE_NAME "$GDB_DEBUG$"
75 #define GDB_STRINGS_SUBSPACE_NAME "$GDB_STRINGS$"
76 #define GDB_SYMBOLS_SUBSPACE_NAME "$GDB_SYMBOLS$"
77 #define UNWIND_SECTION_NAME "$UNWIND$"
79 /* Object file formats specify relocation types. */
80 typedef int reloc_type;
82 /* SOM objects can have both a version string and a copyright string. */
83 #define obj_version obj_som_version
84 #define obj_copyright obj_som_copyright
86 /* How to generate a relocation. */
87 #define hppa_gen_reloc_type hppa_som_gen_reloc_type
89 /* Object file formats specify BFD symbol types. */
90 typedef som_symbol_type obj_symbol_type;
91 #define symbol_arg_reloc_info(sym)\
92 (((obj_symbol_type *) symbol_get_bfdsym (sym))->tc_data.ap.hppa_arg_reloc)
94 /* This apparently isn't in older versions of hpux reloc.h. */
96 #define R_DLT_REL 0x78
108 /* Various structures and types used internally in tc-hppa.c. */
110 /* Unwind table and descriptor. FIXME: Sync this with GDB version. */
114 unsigned int cannot_unwind:1;
115 unsigned int millicode:1;
116 unsigned int millicode_save_rest:1;
117 unsigned int region_desc:2;
118 unsigned int save_sr:2;
119 unsigned int entry_fr:4;
120 unsigned int entry_gr:5;
121 unsigned int args_stored:1;
122 unsigned int call_fr:5;
123 unsigned int call_gr:5;
124 unsigned int save_sp:1;
125 unsigned int save_rp:1;
126 unsigned int save_rp_in_frame:1;
127 unsigned int extn_ptr_defined:1;
128 unsigned int cleanup_defined:1;
130 unsigned int hpe_interrupt_marker:1;
131 unsigned int hpux_interrupt_marker:1;
132 unsigned int reserved:3;
133 unsigned int frame_size:27;
138 /* Starting and ending offsets of the region described by
140 unsigned int start_offset;
141 unsigned int end_offset;
142 struct unwind_desc descriptor;
145 /* This structure is used by the .callinfo, .enter, .leave pseudo-ops to
146 control the entry and exit code they generate. It is also used in
147 creation of the correct stack unwind descriptors.
149 NOTE: GAS does not support .enter and .leave for the generation of
150 prologues and epilogues. FIXME.
152 The fields in structure roughly correspond to the arguments available on the
153 .callinfo pseudo-op. */
157 /* The unwind descriptor being built. */
158 struct unwind_table ci_unwind;
160 /* Name of this function. */
161 symbolS *start_symbol;
163 /* (temporary) symbol used to mark the end of this function. */
166 /* Next entry in the chain. */
167 struct call_info *ci_next;
170 /* Operand formats for FP instructions. Note not all FP instructions
171 allow all four formats to be used (for example fmpysub only allows
175 SGL, DBL, ILLEGAL_FMT, QUAD, W, UW, DW, UDW, QW, UQW
179 /* This fully describes the symbol types which may be attached to
180 an EXPORT or IMPORT directive. Only SOM uses this formation
181 (ELF has no need for it). */
185 SYMBOL_TYPE_ABSOLUTE,
189 SYMBOL_TYPE_MILLICODE,
191 SYMBOL_TYPE_PRI_PROG,
192 SYMBOL_TYPE_SEC_PROG,
196 /* This structure contains information needed to assemble
197 individual instructions. */
200 /* Holds the opcode after parsing by pa_ip. */
201 unsigned long opcode;
203 /* Holds an expression associated with the current instruction. */
206 /* Does this instruction use PC-relative addressing. */
209 /* Floating point formats for operand1 and operand2. */
210 fp_operand_format fpof1;
211 fp_operand_format fpof2;
213 /* Whether or not we saw a truncation request on an fcnv insn. */
216 /* Holds the field selector for this instruction
217 (for example L%, LR%, etc). */
220 /* Holds any argument relocation bits associated with this
221 instruction. (instruction should be some sort of call). */
222 unsigned int arg_reloc;
224 /* The format specification for this instruction. */
227 /* The relocation (if any) associated with this instruction. */
231 /* PA-89 floating point registers are arranged like this:
233 +--------------+--------------+
234 | 0 or 16L | 16 or 16R |
235 +--------------+--------------+
236 | 1 or 17L | 17 or 17R |
237 +--------------+--------------+
245 +--------------+--------------+
246 | 14 or 30L | 30 or 30R |
247 +--------------+--------------+
248 | 15 or 31L | 31 or 31R |
249 +--------------+--------------+ */
251 /* Additional information needed to build argument relocation stubs. */
254 /* The argument relocation specification. */
255 unsigned int arg_reloc;
257 /* Number of arguments. */
258 unsigned int arg_count;
262 /* This structure defines an entry in the subspace dictionary
265 struct subspace_dictionary_chain
267 /* Nonzero if this space has been defined by the user code. */
268 unsigned int ssd_defined;
270 /* Name of this subspace. */
273 /* GAS segment and subsegment associated with this subspace. */
277 /* Next space in the subspace dictionary chain. */
278 struct subspace_dictionary_chain *ssd_next;
281 typedef struct subspace_dictionary_chain ssd_chain_struct;
283 /* This structure defines an entry in the subspace dictionary
286 struct space_dictionary_chain
288 /* Nonzero if this space has been defined by the user code or
289 as a default space. */
290 unsigned int sd_defined;
292 /* Nonzero if this spaces has been defined by the user code. */
293 unsigned int sd_user_defined;
295 /* The space number (or index). */
296 unsigned int sd_spnum;
298 /* The name of this subspace. */
301 /* GAS segment to which this subspace corresponds. */
304 /* Current subsegment number being used. */
307 /* The chain of subspaces contained within this space. */
308 ssd_chain_struct *sd_subspaces;
310 /* The next entry in the space dictionary chain. */
311 struct space_dictionary_chain *sd_next;
314 typedef struct space_dictionary_chain sd_chain_struct;
316 /* This structure defines attributes of the default subspace
317 dictionary entries. */
319 struct default_subspace_dict
321 /* Name of the subspace. */
324 /* FIXME. Is this still needed? */
327 /* Nonzero if this subspace is loadable. */
330 /* Nonzero if this subspace contains only code. */
333 /* Nonzero if this is a common subspace. */
336 /* Nonzero if this is a common subspace which allows symbols
337 to be multiply defined. */
340 /* Nonzero if this subspace should be zero filled. */
343 /* Sort key for this subspace. */
346 /* Access control bits for this subspace. Can represent RWX access
347 as well as privilege level changes for gateways. */
350 /* Index of containing space. */
353 /* Alignment (in bytes) of this subspace. */
356 /* Quadrant within space where this subspace should be loaded. */
359 /* An index into the default spaces array. */
362 /* Subsegment associated with this subspace. */
366 /* This structure defines attributes of the default space
367 dictionary entries. */
369 struct default_space_dict
371 /* Name of the space. */
374 /* Space number. It is possible to identify spaces within
375 assembly code numerically! */
378 /* Nonzero if this space is loadable. */
381 /* Nonzero if this space is "defined". FIXME is still needed */
384 /* Nonzero if this space can not be shared. */
387 /* Sort key for this space. */
390 /* Segment associated with this space. */
395 /* Structure for previous label tracking. Needed so that alignments,
396 callinfo declarations, etc can be easily attached to a particular
398 typedef struct label_symbol_struct
400 struct symbol *lss_label;
402 sd_chain_struct *lss_space;
407 struct label_symbol_struct *lss_next;
411 /* Extra information needed to perform fixups (relocations) on the PA. */
412 struct hppa_fix_struct
414 /* The field selector. */
415 enum hppa_reloc_field_selector_type_alt fx_r_field;
420 /* Format of fixup. */
423 /* Argument relocation bits. */
424 unsigned int fx_arg_reloc;
426 /* The segment this fixup appears in. */
430 /* Structure to hold information about predefined registers. */
438 /* This structure defines the mapping from a FP condition string
439 to a condition number which can be recorded in an instruction. */
446 /* This structure defines a mapping from a field selector
447 string to a field selector type. */
448 struct selector_entry
454 /* Prototypes for functions local to tc-hppa.c. */
457 static void pa_check_current_space_and_subspace PARAMS ((void));
460 #if !(defined (OBJ_ELF) && defined (TE_LINUX))
461 static void pa_text PARAMS ((int));
462 static void pa_data PARAMS ((int));
463 static void pa_comm PARAMS ((int));
465 static fp_operand_format pa_parse_fp_format PARAMS ((char **s));
466 static void pa_cons PARAMS ((int));
467 static void pa_float_cons PARAMS ((int));
468 static void pa_fill PARAMS ((int));
469 static void pa_lcomm PARAMS ((int));
470 static void pa_lsym PARAMS ((int));
471 static void pa_stringer PARAMS ((int));
472 static void pa_version PARAMS ((int));
473 static int pa_parse_fp_cmp_cond PARAMS ((char **));
474 static int get_expression PARAMS ((char *));
475 static int pa_get_absolute_expression PARAMS ((struct pa_it *, char **));
476 static int evaluate_absolute PARAMS ((struct pa_it *));
477 static unsigned int pa_build_arg_reloc PARAMS ((char *));
478 static unsigned int pa_align_arg_reloc PARAMS ((unsigned int, unsigned int));
479 static int pa_parse_nullif PARAMS ((char **));
480 static int pa_parse_nonneg_cmpsub_cmpltr PARAMS ((char **, int));
481 static int pa_parse_neg_cmpsub_cmpltr PARAMS ((char **, int));
482 static int pa_parse_neg_add_cmpltr PARAMS ((char **, int));
483 static int pa_parse_nonneg_add_cmpltr PARAMS ((char **, int));
484 static int pa_parse_cmpb_64_cmpltr PARAMS ((char **));
485 static int pa_parse_cmpib_64_cmpltr PARAMS ((char **));
486 static int pa_parse_addb_64_cmpltr PARAMS ((char **));
487 static void pa_block PARAMS ((int));
488 static void pa_brtab PARAMS ((int));
489 static void pa_try PARAMS ((int));
490 static void pa_call PARAMS ((int));
491 static void pa_call_args PARAMS ((struct call_desc *));
492 static void pa_callinfo PARAMS ((int));
493 static void pa_copyright PARAMS ((int));
494 static void pa_end PARAMS ((int));
495 static void pa_enter PARAMS ((int));
496 static void pa_entry PARAMS ((int));
497 static void pa_equ PARAMS ((int));
498 static void pa_exit PARAMS ((int));
499 static void pa_export PARAMS ((int));
500 static void pa_type_args PARAMS ((symbolS *, int));
501 static void pa_import PARAMS ((int));
502 static void pa_label PARAMS ((int));
503 static void pa_leave PARAMS ((int));
504 static void pa_level PARAMS ((int));
505 static void pa_origin PARAMS ((int));
506 static void pa_proc PARAMS ((int));
507 static void pa_procend PARAMS ((int));
508 static void pa_param PARAMS ((int));
509 static void pa_undefine_label PARAMS ((void));
510 static int need_pa11_opcode PARAMS ((void));
511 static int pa_parse_number PARAMS ((char **, int));
512 static label_symbol_struct *pa_get_label PARAMS ((void));
514 static int log2 PARAMS ((int));
515 static void pa_compiler PARAMS ((int));
516 static void pa_align PARAMS ((int));
517 static void pa_space PARAMS ((int));
518 static void pa_spnum PARAMS ((int));
519 static void pa_subspace PARAMS ((int));
520 static sd_chain_struct *create_new_space PARAMS ((char *, int, int,
523 static ssd_chain_struct *create_new_subspace PARAMS ((sd_chain_struct *,
528 static ssd_chain_struct *update_subspace PARAMS ((sd_chain_struct *,
529 char *, int, int, int,
533 static sd_chain_struct *is_defined_space PARAMS ((char *));
534 static ssd_chain_struct *is_defined_subspace PARAMS ((char *));
535 static sd_chain_struct *pa_segment_to_space PARAMS ((asection *));
536 static ssd_chain_struct *pa_subsegment_to_subspace PARAMS ((asection *,
538 static sd_chain_struct *pa_find_space_by_number PARAMS ((int));
539 static unsigned int pa_subspace_start PARAMS ((sd_chain_struct *, int));
540 static sd_chain_struct *pa_parse_space_stmt PARAMS ((char *, int));
541 static int pa_next_subseg PARAMS ((sd_chain_struct *));
542 static void pa_spaces_begin PARAMS ((void));
544 static void pa_ip PARAMS ((char *));
545 static void fix_new_hppa PARAMS ((fragS *, int, int, symbolS *,
546 offsetT, expressionS *, int,
547 bfd_reloc_code_real_type,
548 enum hppa_reloc_field_selector_type_alt,
549 int, unsigned int, int *));
550 static int is_end_of_statement PARAMS ((void));
551 static int reg_name_search PARAMS ((char *));
552 static int pa_chk_field_selector PARAMS ((char **));
553 static int is_same_frag PARAMS ((fragS *, fragS *));
554 static void process_exit PARAMS ((void));
555 static unsigned int pa_stringer_aux PARAMS ((char *));
556 static fp_operand_format pa_parse_fp_cnv_format PARAMS ((char **s));
557 static int pa_parse_ftest_gfx_completer PARAMS ((char **));
560 static void hppa_elf_mark_end_of_function PARAMS ((void));
561 static void pa_build_unwind_subspace PARAMS ((struct call_info *));
562 static void pa_vtable_entry PARAMS ((int));
563 static void pa_vtable_inherit PARAMS ((int));
566 /* File and gloally scoped variable declarations. */
569 /* Root and final entry in the space chain. */
570 static sd_chain_struct *space_dict_root;
571 static sd_chain_struct *space_dict_last;
573 /* The current space and subspace. */
574 static sd_chain_struct *current_space;
575 static ssd_chain_struct *current_subspace;
578 /* Root of the call_info chain. */
579 static struct call_info *call_info_root;
581 /* The last call_info (for functions) structure
582 seen so it can be associated with fixups and
584 static struct call_info *last_call_info;
586 /* The last call description (for actual calls). */
587 static struct call_desc last_call_desc;
589 /* handle of the OPCODE hash table */
590 static struct hash_control *op_hash = NULL;
592 /* Table of pseudo ops for the PA. FIXME -- how many of these
593 are now redundant with the overall GAS and the object file
595 const pseudo_typeS md_pseudo_table[] =
597 /* align pseudo-ops on the PA specify the actual alignment requested,
598 not the log2 of the requested alignment. */
600 {"align", pa_align, 8},
603 {"align", s_align_bytes, 8},
605 {"begin_brtab", pa_brtab, 1},
606 {"begin_try", pa_try, 1},
607 {"block", pa_block, 1},
608 {"blockz", pa_block, 0},
609 {"byte", pa_cons, 1},
610 {"call", pa_call, 0},
611 {"callinfo", pa_callinfo, 0},
612 #if defined (OBJ_ELF) && defined (TE_LINUX)
613 {"code", obj_elf_text, 0},
615 {"code", pa_text, 0},
616 {"comm", pa_comm, 0},
619 {"compiler", pa_compiler, 0},
621 {"copyright", pa_copyright, 0},
622 #if !(defined (OBJ_ELF) && defined (TE_LINUX))
623 {"data", pa_data, 0},
625 {"double", pa_float_cons, 'd'},
626 {"dword", pa_cons, 8},
628 {"end_brtab", pa_brtab, 0},
629 #if !(defined (OBJ_ELF) && defined (TE_LINUX))
630 {"end_try", pa_try, 0},
632 {"enter", pa_enter, 0},
633 {"entry", pa_entry, 0},
635 {"exit", pa_exit, 0},
636 {"export", pa_export, 0},
638 {"file", dwarf2_directive_file, 0 },
640 {"fill", pa_fill, 0},
641 {"float", pa_float_cons, 'f'},
642 {"half", pa_cons, 2},
643 {"import", pa_import, 0},
645 {"label", pa_label, 0},
646 {"lcomm", pa_lcomm, 0},
647 {"leave", pa_leave, 0},
648 {"level", pa_level, 0},
650 {"loc", dwarf2_directive_loc, 0 },
652 {"long", pa_cons, 4},
653 {"lsym", pa_lsym, 0},
655 {"nsubspa", pa_subspace, 1},
657 {"octa", pa_cons, 16},
658 {"org", pa_origin, 0},
659 {"origin", pa_origin, 0},
660 {"param", pa_param, 0},
661 {"proc", pa_proc, 0},
662 {"procend", pa_procend, 0},
663 {"quad", pa_cons, 8},
665 {"short", pa_cons, 2},
666 {"single", pa_float_cons, 'f'},
668 {"space", pa_space, 0},
669 {"spnum", pa_spnum, 0},
671 {"string", pa_stringer, 0},
672 {"stringz", pa_stringer, 1},
674 {"subspa", pa_subspace, 0},
676 #if !(defined (OBJ_ELF) && defined (TE_LINUX))
677 {"text", pa_text, 0},
679 {"version", pa_version, 0},
681 {"vtable_entry", pa_vtable_entry, 0},
682 {"vtable_inherit", pa_vtable_inherit, 0},
684 {"word", pa_cons, 4},
688 /* This array holds the chars that only start a comment at the beginning of
689 a line. If the line seems to have the form '# 123 filename'
690 .line and .file directives will appear in the pre-processed output.
692 Note that input_file.c hand checks for '#' at the beginning of the
693 first line of the input file. This is because the compiler outputs
694 #NO_APP at the beginning of its output.
696 Also note that C style comments will always work. */
697 const char line_comment_chars[] = "#";
699 /* This array holds the chars that always start a comment. If the
700 pre-processor is disabled, these aren't very useful. */
701 const char comment_chars[] = ";";
703 /* This array holds the characters which act as line separators. */
704 const char line_separator_chars[] = "!";
706 /* Chars that can be used to separate mant from exp in floating point nums. */
707 const char EXP_CHARS[] = "eE";
709 /* Chars that mean this number is a floating point constant.
710 As in 0f12.456 or 0d1.2345e12.
712 Be aware that MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT may have to be
713 changed in read.c. Ideally it shouldn't hae to know abou it at
714 all, but nothing is ideal around here. */
715 const char FLT_CHARS[] = "rRsSfFdDxXpP";
717 static struct pa_it the_insn;
719 /* Points to the end of an expression just parsed by get_expressoin
720 and friends. FIXME. This shouldn't be handled with a file-global
722 static char *expr_end;
724 /* Nonzero if a .callinfo appeared within the current procedure. */
725 static int callinfo_found;
727 /* Nonzero if the assembler is currently within a .entry/.exit pair. */
728 static int within_entry_exit;
730 /* Nonzero if the assembler is currently within a procedure definition. */
731 static int within_procedure;
733 /* Handle on structure which keep track of the last symbol
734 seen in each subspace. */
735 static label_symbol_struct *label_symbols_rootp = NULL;
737 /* Holds the last field selector. */
738 static int hppa_field_selector;
740 /* Nonzero when strict syntax checking is enabled. Zero otherwise.
742 Each opcode in the table has a flag which indicates whether or not
743 strict syntax checking should be enabled for that instruction. */
744 static int strict = 0;
746 /* pa_parse_number returns values in `pa_number'. Mostly
747 pa_parse_number is used to return a register number, with floating
748 point registers being numbered from FP_REG_BASE upwards.
749 The bit specified with FP_REG_RSEL is set if the floating point
750 register has a `r' suffix. */
751 #define FP_REG_BASE 64
752 #define FP_REG_RSEL 128
753 static int pa_number;
756 /* A dummy bfd symbol so that all relocations have symbols of some kind. */
757 static symbolS *dummy_symbol;
760 /* Nonzero if errors are to be printed. */
761 static int print_errors = 1;
763 /* List of registers that are pre-defined:
765 Each general register has one predefined name of the form
766 %r<REGNUM> which has the value <REGNUM>.
768 Space and control registers are handled in a similar manner,
769 but use %sr<REGNUM> and %cr<REGNUM> as their predefined names.
771 Likewise for the floating point registers, but of the form
772 %fr<REGNUM>. Floating point registers have additional predefined
773 names with 'L' and 'R' suffixes (e.g. %fr19L, %fr19R) which
774 again have the value <REGNUM>.
776 Many registers also have synonyms:
778 %r26 - %r23 have %arg0 - %arg3 as synonyms
779 %r28 - %r29 have %ret0 - %ret1 as synonyms
780 %r30 has %sp as a synonym
781 %r27 has %dp as a synonym
782 %r2 has %rp as a synonym
784 Almost every control register has a synonym; they are not listed
787 The table is sorted. Suitable for searching by a binary search. */
789 static const struct pd_reg pre_defined_registers[] =
823 {"%fr0", 0 + FP_REG_BASE},
824 {"%fr0l", 0 + FP_REG_BASE},
825 {"%fr0r", 0 + FP_REG_BASE + FP_REG_RSEL},
826 {"%fr1", 1 + FP_REG_BASE},
827 {"%fr10", 10 + FP_REG_BASE},
828 {"%fr10l", 10 + FP_REG_BASE},
829 {"%fr10r", 10 + FP_REG_BASE + FP_REG_RSEL},
830 {"%fr11", 11 + FP_REG_BASE},
831 {"%fr11l", 11 + FP_REG_BASE},
832 {"%fr11r", 11 + FP_REG_BASE + FP_REG_RSEL},
833 {"%fr12", 12 + FP_REG_BASE},
834 {"%fr12l", 12 + FP_REG_BASE},
835 {"%fr12r", 12 + FP_REG_BASE + FP_REG_RSEL},
836 {"%fr13", 13 + FP_REG_BASE},
837 {"%fr13l", 13 + FP_REG_BASE},
838 {"%fr13r", 13 + FP_REG_BASE + FP_REG_RSEL},
839 {"%fr14", 14 + FP_REG_BASE},
840 {"%fr14l", 14 + FP_REG_BASE},
841 {"%fr14r", 14 + FP_REG_BASE + FP_REG_RSEL},
842 {"%fr15", 15 + FP_REG_BASE},
843 {"%fr15l", 15 + FP_REG_BASE},
844 {"%fr15r", 15 + FP_REG_BASE + FP_REG_RSEL},
845 {"%fr16", 16 + FP_REG_BASE},
846 {"%fr16l", 16 + FP_REG_BASE},
847 {"%fr16r", 16 + FP_REG_BASE + FP_REG_RSEL},
848 {"%fr17", 17 + FP_REG_BASE},
849 {"%fr17l", 17 + FP_REG_BASE},
850 {"%fr17r", 17 + FP_REG_BASE + FP_REG_RSEL},
851 {"%fr18", 18 + FP_REG_BASE},
852 {"%fr18l", 18 + FP_REG_BASE},
853 {"%fr18r", 18 + FP_REG_BASE + FP_REG_RSEL},
854 {"%fr19", 19 + FP_REG_BASE},
855 {"%fr19l", 19 + FP_REG_BASE},
856 {"%fr19r", 19 + FP_REG_BASE + FP_REG_RSEL},
857 {"%fr1l", 1 + FP_REG_BASE},
858 {"%fr1r", 1 + FP_REG_BASE + FP_REG_RSEL},
859 {"%fr2", 2 + FP_REG_BASE},
860 {"%fr20", 20 + FP_REG_BASE},
861 {"%fr20l", 20 + FP_REG_BASE},
862 {"%fr20r", 20 + FP_REG_BASE + FP_REG_RSEL},
863 {"%fr21", 21 + FP_REG_BASE},
864 {"%fr21l", 21 + FP_REG_BASE},
865 {"%fr21r", 21 + FP_REG_BASE + FP_REG_RSEL},
866 {"%fr22", 22 + FP_REG_BASE},
867 {"%fr22l", 22 + FP_REG_BASE},
868 {"%fr22r", 22 + FP_REG_BASE + FP_REG_RSEL},
869 {"%fr23", 23 + FP_REG_BASE},
870 {"%fr23l", 23 + FP_REG_BASE},
871 {"%fr23r", 23 + FP_REG_BASE + FP_REG_RSEL},
872 {"%fr24", 24 + FP_REG_BASE},
873 {"%fr24l", 24 + FP_REG_BASE},
874 {"%fr24r", 24 + FP_REG_BASE + FP_REG_RSEL},
875 {"%fr25", 25 + FP_REG_BASE},
876 {"%fr25l", 25 + FP_REG_BASE},
877 {"%fr25r", 25 + FP_REG_BASE + FP_REG_RSEL},
878 {"%fr26", 26 + FP_REG_BASE},
879 {"%fr26l", 26 + FP_REG_BASE},
880 {"%fr26r", 26 + FP_REG_BASE + FP_REG_RSEL},
881 {"%fr27", 27 + FP_REG_BASE},
882 {"%fr27l", 27 + FP_REG_BASE},
883 {"%fr27r", 27 + FP_REG_BASE + FP_REG_RSEL},
884 {"%fr28", 28 + FP_REG_BASE},
885 {"%fr28l", 28 + FP_REG_BASE},
886 {"%fr28r", 28 + FP_REG_BASE + FP_REG_RSEL},
887 {"%fr29", 29 + FP_REG_BASE},
888 {"%fr29l", 29 + FP_REG_BASE},
889 {"%fr29r", 29 + FP_REG_BASE + FP_REG_RSEL},
890 {"%fr2l", 2 + FP_REG_BASE},
891 {"%fr2r", 2 + FP_REG_BASE + FP_REG_RSEL},
892 {"%fr3", 3 + FP_REG_BASE},
893 {"%fr30", 30 + FP_REG_BASE},
894 {"%fr30l", 30 + FP_REG_BASE},
895 {"%fr30r", 30 + FP_REG_BASE + FP_REG_RSEL},
896 {"%fr31", 31 + FP_REG_BASE},
897 {"%fr31l", 31 + FP_REG_BASE},
898 {"%fr31r", 31 + FP_REG_BASE + FP_REG_RSEL},
899 {"%fr3l", 3 + FP_REG_BASE},
900 {"%fr3r", 3 + FP_REG_BASE + FP_REG_RSEL},
901 {"%fr4", 4 + FP_REG_BASE},
902 {"%fr4l", 4 + FP_REG_BASE},
903 {"%fr4r", 4 + FP_REG_BASE + FP_REG_RSEL},
904 {"%fr5", 5 + FP_REG_BASE},
905 {"%fr5l", 5 + FP_REG_BASE},
906 {"%fr5r", 5 + FP_REG_BASE + FP_REG_RSEL},
907 {"%fr6", 6 + FP_REG_BASE},
908 {"%fr6l", 6 + FP_REG_BASE},
909 {"%fr6r", 6 + FP_REG_BASE + FP_REG_RSEL},
910 {"%fr7", 7 + FP_REG_BASE},
911 {"%fr7l", 7 + FP_REG_BASE},
912 {"%fr7r", 7 + FP_REG_BASE + FP_REG_RSEL},
913 {"%fr8", 8 + FP_REG_BASE},
914 {"%fr8l", 8 + FP_REG_BASE},
915 {"%fr8r", 8 + FP_REG_BASE + FP_REG_RSEL},
916 {"%fr9", 9 + FP_REG_BASE},
917 {"%fr9l", 9 + FP_REG_BASE},
918 {"%fr9r", 9 + FP_REG_BASE + FP_REG_RSEL},
989 /* This table is sorted by order of the length of the string. This is
990 so we check for <> before we check for <. If we had a <> and checked
991 for < first, we would get a false match. */
992 static const struct fp_cond_map fp_cond_map[] =
1028 static const struct selector_entry selector_table[] =
1053 /* default space and subspace dictionaries */
1055 #define GDB_SYMBOLS GDB_SYMBOLS_SUBSPACE_NAME
1056 #define GDB_STRINGS GDB_STRINGS_SUBSPACE_NAME
1058 /* pre-defined subsegments (subspaces) for the HPPA. */
1059 #define SUBSEG_CODE 0
1060 #define SUBSEG_LIT 1
1061 #define SUBSEG_MILLI 2
1062 #define SUBSEG_DATA 0
1063 #define SUBSEG_BSS 2
1064 #define SUBSEG_UNWIND 3
1065 #define SUBSEG_GDB_STRINGS 0
1066 #define SUBSEG_GDB_SYMBOLS 1
1068 static struct default_subspace_dict pa_def_subspaces[] =
1070 {"$CODE$", 1, 1, 1, 0, 0, 0, 24, 0x2c, 0, 8, 0, 0, SUBSEG_CODE},
1071 {"$DATA$", 1, 1, 0, 0, 0, 0, 24, 0x1f, 1, 8, 1, 1, SUBSEG_DATA},
1072 {"$LIT$", 1, 1, 0, 0, 0, 0, 16, 0x2c, 0, 8, 0, 0, SUBSEG_LIT},
1073 {"$MILLICODE$", 1, 1, 0, 0, 0, 0, 8, 0x2c, 0, 8, 0, 0, SUBSEG_MILLI},
1074 {"$BSS$", 1, 1, 0, 0, 0, 1, 80, 0x1f, 1, 8, 1, 1, SUBSEG_BSS},
1075 {NULL, 0, 1, 0, 0, 0, 0, 255, 0x1f, 0, 4, 0, 0, 0}
1078 static struct default_space_dict pa_def_spaces[] =
1080 {"$TEXT$", 0, 1, 1, 0, 8, ASEC_NULL},
1081 {"$PRIVATE$", 1, 1, 1, 1, 16, ASEC_NULL},
1082 {NULL, 0, 0, 0, 0, 0, ASEC_NULL}
1085 /* Misc local definitions used by the assembler. */
1087 /* These macros are used to maintain spaces/subspaces. */
1088 #define SPACE_DEFINED(space_chain) (space_chain)->sd_defined
1089 #define SPACE_USER_DEFINED(space_chain) (space_chain)->sd_user_defined
1090 #define SPACE_SPNUM(space_chain) (space_chain)->sd_spnum
1091 #define SPACE_NAME(space_chain) (space_chain)->sd_name
1093 #define SUBSPACE_DEFINED(ss_chain) (ss_chain)->ssd_defined
1094 #define SUBSPACE_NAME(ss_chain) (ss_chain)->ssd_name
1097 /* Return nonzero if the string pointed to by S potentially represents
1098 a right or left half of a FP register */
1099 #define IS_R_SELECT(S) (*(S) == 'R' || *(S) == 'r')
1100 #define IS_L_SELECT(S) (*(S) == 'L' || *(S) == 'l')
1102 /* Insert FIELD into OPCODE starting at bit START. Continue pa_ip
1103 main loop after insertion. */
1105 #define INSERT_FIELD_AND_CONTINUE(OPCODE, FIELD, START) \
1107 ((OPCODE) |= (FIELD) << (START)); \
1111 /* Simple range checking for FIELD againt HIGH and LOW bounds.
1112 IGNORE is used to suppress the error message. */
1114 #define CHECK_FIELD(FIELD, HIGH, LOW, IGNORE) \
1116 if ((FIELD) > (HIGH) || (FIELD) < (LOW)) \
1119 as_bad (_("Field out of range [%d..%d] (%d)."), (LOW), (HIGH), \
1125 /* Simple alignment checking for FIELD againt ALIGN (a power of two).
1126 IGNORE is used to suppress the error message. */
1128 #define CHECK_ALIGN(FIELD, ALIGN, IGNORE) \
1130 if ((FIELD) & ((ALIGN) - 1)) \
1133 as_bad (_("Field not properly aligned [%d] (%d)."), (ALIGN), \
1139 #define is_DP_relative(exp) \
1140 ((exp).X_op == O_subtract \
1141 && strcmp (S_GET_NAME ((exp).X_op_symbol), "$global$") == 0)
1143 #define is_PC_relative(exp) \
1144 ((exp).X_op == O_subtract \
1145 && strcmp (S_GET_NAME ((exp).X_op_symbol), "$PIC_pcrel$0") == 0)
1147 /* We need some complex handling for stabs (sym1 - sym2). Luckily, we'll
1148 always be able to reduce the expression to a constant, so we don't
1149 need real complex handling yet. */
1150 #define is_complex(exp) \
1151 ((exp).X_op != O_constant && (exp).X_op != O_symbol)
1153 /* Actual functions to implement the PA specific code for the assembler. */
1155 /* Called before writing the object file. Make sure entry/exit and
1156 proc/procend pairs match. */
1161 if (within_entry_exit)
1162 as_fatal (_("Missing .exit\n"));
1164 if (within_procedure)
1165 as_fatal (_("Missing .procend\n"));
1168 /* Returns a pointer to the label_symbol_struct for the current space.
1169 or NULL if no label_symbol_struct exists for the current space. */
1171 static label_symbol_struct *
1174 label_symbol_struct *label_chain;
1176 for (label_chain = label_symbols_rootp;
1178 label_chain = label_chain->lss_next)
1181 if (current_space == label_chain->lss_space && label_chain->lss_label)
1185 if (now_seg == label_chain->lss_segment && label_chain->lss_label)
1193 /* Defines a label for the current space. If one is already defined,
1194 this function will replace it with the new label. */
1197 pa_define_label (symbol)
1200 label_symbol_struct *label_chain = pa_get_label ();
1203 label_chain->lss_label = symbol;
1206 /* Create a new label entry and add it to the head of the chain. */
1208 = (label_symbol_struct *) xmalloc (sizeof (label_symbol_struct));
1209 label_chain->lss_label = symbol;
1211 label_chain->lss_space = current_space;
1214 label_chain->lss_segment = now_seg;
1216 label_chain->lss_next = NULL;
1218 if (label_symbols_rootp)
1219 label_chain->lss_next = label_symbols_rootp;
1221 label_symbols_rootp = label_chain;
1225 /* Removes a label definition for the current space.
1226 If there is no label_symbol_struct entry, then no action is taken. */
1229 pa_undefine_label ()
1231 label_symbol_struct *label_chain;
1232 label_symbol_struct *prev_label_chain = NULL;
1234 for (label_chain = label_symbols_rootp;
1236 label_chain = label_chain->lss_next)
1240 && current_space == label_chain->lss_space && label_chain->lss_label
1243 && now_seg == label_chain->lss_segment && label_chain->lss_label
1247 /* Remove the label from the chain and free its memory. */
1248 if (prev_label_chain)
1249 prev_label_chain->lss_next = label_chain->lss_next;
1251 label_symbols_rootp = label_chain->lss_next;
1256 prev_label_chain = label_chain;
1260 /* An HPPA-specific version of fix_new. This is required because the HPPA
1261 code needs to keep track of some extra stuff. Each call to fix_new_hppa
1262 results in the creation of an instance of an hppa_fix_struct. An
1263 hppa_fix_struct stores the extra information along with a pointer to the
1264 original fixS. This is attached to the original fixup via the
1265 tc_fix_data field. */
1268 fix_new_hppa (frag, where, size, add_symbol, offset, exp, pcrel,
1269 r_type, r_field, r_format, arg_reloc, unwind_bits)
1273 symbolS *add_symbol;
1277 bfd_reloc_code_real_type r_type;
1278 enum hppa_reloc_field_selector_type_alt r_field;
1280 unsigned int arg_reloc;
1281 int* unwind_bits ATTRIBUTE_UNUSED;
1285 struct hppa_fix_struct *hppa_fix = (struct hppa_fix_struct *)
1286 obstack_alloc (¬es, sizeof (struct hppa_fix_struct));
1289 new_fix = fix_new_exp (frag, where, size, exp, pcrel, r_type);
1291 new_fix = fix_new (frag, where, size, add_symbol, offset, pcrel, r_type);
1292 new_fix->tc_fix_data = (void *) hppa_fix;
1293 hppa_fix->fx_r_type = r_type;
1294 hppa_fix->fx_r_field = r_field;
1295 hppa_fix->fx_r_format = r_format;
1296 hppa_fix->fx_arg_reloc = arg_reloc;
1297 hppa_fix->segment = now_seg;
1299 if (r_type == R_ENTRY || r_type == R_EXIT)
1300 new_fix->fx_offset = *unwind_bits;
1303 /* foo-$global$ is used to access non-automatic storage. $global$
1304 is really just a marker and has served its purpose, so eliminate
1305 it now so as not to confuse write.c. Ditto for $PIC_pcrel$0. */
1306 if (new_fix->fx_subsy
1307 && (strcmp (S_GET_NAME (new_fix->fx_subsy), "$global$") == 0
1308 || strcmp (S_GET_NAME (new_fix->fx_subsy), "$PIC_pcrel$0") == 0))
1309 new_fix->fx_subsy = NULL;
1312 /* Parse a .byte, .word, .long expression for the HPPA. Called by
1313 cons via the TC_PARSE_CONS_EXPRESSION macro. */
1316 parse_cons_expression_hppa (exp)
1319 hppa_field_selector = pa_chk_field_selector (&input_line_pointer);
1323 /* This fix_new is called by cons via TC_CONS_FIX_NEW.
1324 hppa_field_selector is set by the parse_cons_expression_hppa. */
1327 cons_fix_new_hppa (frag, where, size, exp)
1333 unsigned int rel_type;
1335 /* Get a base relocation type. */
1336 if (is_DP_relative (*exp))
1337 rel_type = R_HPPA_GOTOFF;
1338 else if (is_complex (*exp))
1339 rel_type = R_HPPA_COMPLEX;
1343 if (hppa_field_selector != e_psel && hppa_field_selector != e_fsel)
1345 as_warn (_("Invalid field selector. Assuming F%%."));
1346 hppa_field_selector = e_fsel;
1349 fix_new_hppa (frag, where, size,
1350 (symbolS *) NULL, (offsetT) 0, exp, 0, rel_type,
1351 hppa_field_selector, size * 8, 0, NULL);
1353 /* Reset field selector to its default state. */
1354 hppa_field_selector = 0;
1357 /* This function is called once, at assembler startup time. It should
1358 set up all the tables, etc. that the MD part of the assembler will need. */
1363 const char *retval = NULL;
1367 last_call_info = NULL;
1368 call_info_root = NULL;
1370 /* Set the default machine type. */
1371 if (!bfd_set_arch_mach (stdoutput, bfd_arch_hppa, 10))
1372 as_warn (_("could not set architecture and machine"));
1374 /* Folding of text and data segments fails miserably on the PA.
1375 Warn user and disable "-R" option. */
1376 if (flag_readonly_data_in_text)
1378 as_warn (_("-R option not supported on this target."));
1379 flag_readonly_data_in_text = 0;
1386 op_hash = hash_new ();
1388 while (i < NUMOPCODES)
1390 const char *name = pa_opcodes[i].name;
1391 retval = hash_insert (op_hash, name, (struct pa_opcode *) &pa_opcodes[i]);
1392 if (retval != NULL && *retval != '\0')
1394 as_fatal (_("Internal error: can't hash `%s': %s\n"), name, retval);
1399 if ((pa_opcodes[i].match & pa_opcodes[i].mask)
1400 != pa_opcodes[i].match)
1402 fprintf (stderr, _("internal error: losing opcode: `%s' \"%s\"\n"),
1403 pa_opcodes[i].name, pa_opcodes[i].args);
1408 while (i < NUMOPCODES && !strcmp (pa_opcodes[i].name, name));
1412 as_fatal (_("Broken assembler. No assembly attempted."));
1415 /* SOM will change text_section. To make sure we never put
1416 anything into the old one switch to the new one now. */
1417 subseg_set (text_section, 0);
1421 dummy_symbol = symbol_find_or_make ("L$dummy");
1422 S_SET_SEGMENT (dummy_symbol, text_section);
1423 /* Force the symbol to be converted to a real symbol. */
1424 (void) symbol_get_bfdsym (dummy_symbol);
1428 /* Assemble a single instruction storing it into a frag. */
1435 /* The had better be something to assemble. */
1438 /* If we are within a procedure definition, make sure we've
1439 defined a label for the procedure; handle case where the
1440 label was defined after the .PROC directive.
1442 Note there's not need to diddle with the segment or fragment
1443 for the label symbol in this case. We have already switched
1444 into the new $CODE$ subspace at this point. */
1445 if (within_procedure && last_call_info->start_symbol == NULL)
1447 label_symbol_struct *label_symbol = pa_get_label ();
1451 if (label_symbol->lss_label)
1453 last_call_info->start_symbol = label_symbol->lss_label;
1454 symbol_get_bfdsym (label_symbol->lss_label)->flags
1457 /* Also handle allocation of a fixup to hold the unwind
1458 information when the label appears after the proc/procend. */
1459 if (within_entry_exit)
1461 char *where = frag_more (0);
1463 fix_new_hppa (frag_now, where - frag_now->fr_literal, 0,
1464 NULL, (offsetT) 0, NULL,
1465 0, R_HPPA_ENTRY, e_fsel, 0, 0,
1466 (int *)&last_call_info->ci_unwind.descriptor);
1471 as_bad (_("Missing function name for .PROC (corrupted label chain)"));
1474 as_bad (_("Missing function name for .PROC"));
1477 /* Assemble the instruction. Results are saved into "the_insn". */
1480 /* Get somewhere to put the assembled instrution. */
1483 /* Output the opcode. */
1484 md_number_to_chars (to, the_insn.opcode, 4);
1486 /* If necessary output more stuff. */
1487 if (the_insn.reloc != R_HPPA_NONE)
1488 fix_new_hppa (frag_now, (to - frag_now->fr_literal), 4, NULL,
1489 (offsetT) 0, &the_insn.exp, the_insn.pcrel,
1490 the_insn.reloc, the_insn.field_selector,
1491 the_insn.format, the_insn.arg_reloc, NULL);
1494 dwarf2_emit_insn (4);
1498 /* Do the real work for assembling a single instruction. Store results
1499 into the global "the_insn" variable. */
1505 char *error_message = "";
1506 char *s, c, *argstart, *name, *save_s;
1510 int cmpltr, nullif, flag, cond, num;
1511 unsigned long opcode;
1512 struct pa_opcode *insn;
1515 /* We must have a valid space and subspace. */
1516 pa_check_current_space_and_subspace ();
1519 /* Convert everything up to the first whitespace character into lower
1521 for (s = str; *s != ' ' && *s != '\t' && *s != '\n' && *s != '\0'; s++)
1525 /* Skip to something interesting. */
1526 for (s = str; isupper (*s) || islower (*s) || (*s >= '0' && *s <= '3'); ++s)
1545 as_fatal (_("Unknown opcode: `%s'"), str);
1550 /* Look up the opcode in the has table. */
1551 if ((insn = (struct pa_opcode *) hash_find (op_hash, str)) == NULL)
1553 as_bad ("Unknown opcode: `%s'", str);
1562 /* Mark the location where arguments for the instruction start, then
1563 start processing them. */
1567 /* Do some initialization. */
1568 opcode = insn->match;
1569 strict = (insn->flags & FLAG_STRICT);
1570 memset (&the_insn, 0, sizeof (the_insn));
1572 the_insn.reloc = R_HPPA_NONE;
1574 /* If this instruction is specific to a particular architecture,
1575 then set a new architecture. */
1576 /* But do not automatically promote to pa2.0. The automatic promotion
1577 crud is for compatability with HP's old assemblers only. */
1579 && bfd_get_mach (stdoutput) < insn->arch)
1581 if (!bfd_set_arch_mach (stdoutput, bfd_arch_hppa, insn->arch))
1582 as_warn (_("could not update architecture and machine"));
1584 else if (bfd_get_mach (stdoutput) < insn->arch)
1590 /* Build the opcode, checking as we go to make
1591 sure that the operands match. */
1592 for (args = insn->args;; ++args)
1594 /* Absorb white space in instruction. */
1595 while (*s == ' ' || *s == '\t')
1601 /* End of arguments. */
1617 /* These must match exactly. */
1626 /* Handle a 5 bit register or control register field at 10. */
1629 if (!pa_parse_number (&s, 0))
1632 CHECK_FIELD (num, 31, 0, 0);
1633 INSERT_FIELD_AND_CONTINUE (opcode, num, 21);
1635 /* Handle %sar or %cr11. No bits get set, we just verify that it
1638 /* Skip whitespace before register. */
1639 while (*s == ' ' || *s == '\t')
1642 if (!strncasecmp(s, "%sar", 4))
1647 else if (!strncasecmp(s, "%cr11", 5))
1654 /* Handle a 5 bit register field at 15. */
1656 if (!pa_parse_number (&s, 0))
1659 CHECK_FIELD (num, 31, 0, 0);
1660 INSERT_FIELD_AND_CONTINUE (opcode, num, 16);
1662 /* Handle a 5 bit register field at 31. */
1664 if (!pa_parse_number (&s, 0))
1667 CHECK_FIELD (num, 31, 0, 0);
1668 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
1670 /* Handle a 5 bit register field at 10 and 15. */
1672 if (!pa_parse_number (&s, 0))
1675 CHECK_FIELD (num, 31, 0, 0);
1676 opcode |= num << 16;
1677 INSERT_FIELD_AND_CONTINUE (opcode, num, 21);
1679 /* Handle a 5 bit field length at 31. */
1681 num = pa_get_absolute_expression (&the_insn, &s);
1682 if (strict && the_insn.exp.X_op != O_constant)
1685 CHECK_FIELD (num, 32, 1, 0);
1686 INSERT_FIELD_AND_CONTINUE (opcode, 32 - num, 0);
1688 /* Handle a 5 bit immediate at 15. */
1690 num = pa_get_absolute_expression (&the_insn, &s);
1691 if (strict && the_insn.exp.X_op != O_constant)
1694 /* When in strict mode, we want to just reject this
1695 match instead of giving an out of range error. */
1696 CHECK_FIELD (num, 15, -16, strict);
1697 num = low_sign_unext (num, 5);
1698 INSERT_FIELD_AND_CONTINUE (opcode, num, 16);
1700 /* Handle a 5 bit immediate at 31. */
1702 num = pa_get_absolute_expression (&the_insn, &s);
1703 if (strict && the_insn.exp.X_op != O_constant)
1706 /* When in strict mode, we want to just reject this
1707 match instead of giving an out of range error. */
1708 CHECK_FIELD (num, 15, -16, strict);
1709 num = low_sign_unext (num, 5);
1710 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
1712 /* Handle an unsigned 5 bit immediate at 31. */
1714 num = pa_get_absolute_expression (&the_insn, &s);
1715 if (strict && the_insn.exp.X_op != O_constant)
1718 CHECK_FIELD (num, 31, 0, strict);
1719 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
1721 /* Handle an unsigned 5 bit immediate at 15. */
1723 num = pa_get_absolute_expression (&the_insn, &s);
1724 if (strict && the_insn.exp.X_op != O_constant)
1727 CHECK_FIELD (num, 31, 0, strict);
1728 INSERT_FIELD_AND_CONTINUE (opcode, num, 16);
1730 /* Handle an unsigned 10 bit immediate at 15. */
1732 num = pa_get_absolute_expression (&the_insn, &s);
1733 if (strict && the_insn.exp.X_op != O_constant)
1736 CHECK_FIELD (num, 1023, 0, strict);
1737 INSERT_FIELD_AND_CONTINUE (opcode, num, 16);
1739 /* Handle a 2 bit space identifier at 17. */
1741 if (!pa_parse_number (&s, 0))
1744 CHECK_FIELD (num, 3, 0, 1);
1745 INSERT_FIELD_AND_CONTINUE (opcode, num, 14);
1747 /* Handle a 3 bit space identifier at 18. */
1749 if (!pa_parse_number (&s, 0))
1752 CHECK_FIELD (num, 7, 0, 1);
1753 opcode |= re_assemble_3 (num);
1756 /* Handle all completers. */
1761 /* Handle a completer for an indexing load or store. */
1767 while (*s == ',' && i < 2)
1770 if (strncasecmp (s, "sm", 2) == 0)
1777 else if (strncasecmp (s, "m", 1) == 0)
1779 else if ((strncasecmp (s, "s ", 2) == 0)
1780 || (strncasecmp (s, "s,", 2) == 0))
1782 /* When in strict mode this is a match failure. */
1789 as_bad (_("Invalid Indexed Load Completer."));
1794 as_bad (_("Invalid Indexed Load Completer Syntax."));
1796 INSERT_FIELD_AND_CONTINUE (opcode, uu, 13);
1799 /* Handle a short load/store completer. */
1811 if (strncasecmp (s, "ma", 2) == 0)
1817 else if (strncasecmp (s, "mb", 2) == 0)
1824 /* When in strict mode, pass through for cache op. */
1825 if (!found && strict)
1830 as_bad (_("Invalid Short Load/Store Completer."));
1834 /* If we did not get a ma/mb completer, then we do not
1835 consider this a positive match for 'ce'. */
1836 else if (*args == 'e')
1839 /* 'J', 'm' and 'q' are the same, except for where they
1840 encode the before/after field. */
1844 INSERT_FIELD_AND_CONTINUE (opcode, a, 13);
1846 else if (*args == 'q')
1849 INSERT_FIELD_AND_CONTINUE (opcode, a, 2);
1851 else if (*args == 'J')
1853 /* M bit is explicit in the major opcode. */
1854 INSERT_FIELD_AND_CONTINUE (opcode, a, 2);
1856 else if (*args == 'e')
1858 /* Gross! Hide these values in the immediate field
1859 of the instruction, then pull them out later. */
1866 /* Handle a stbys completer. */
1872 while (*s == ',' && i < 2)
1875 if (strncasecmp (s, "m", 1) == 0)
1877 else if ((strncasecmp (s, "b ", 2) == 0)
1878 || (strncasecmp (s, "b,", 2) == 0))
1880 else if (strncasecmp (s, "e", 1) == 0)
1882 /* When in strict mode this is a match failure. */
1889 as_bad (_("Invalid Store Bytes Short Completer"));
1894 as_bad (_("Invalid Store Bytes Short Completer"));
1896 INSERT_FIELD_AND_CONTINUE (opcode, a, 13);
1899 /* Handle load cache hint completer. */
1902 if (!strncmp(s, ",sl", 3))
1907 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 10);
1909 /* Handle store cache hint completer. */
1912 if (!strncmp(s, ",sl", 3))
1917 else if (!strncmp(s, ",bc", 3))
1922 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 10);
1924 /* Handle load and clear cache hint completer. */
1927 if (!strncmp(s, ",co", 3))
1932 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 10);
1934 /* Handle load ordering completer. */
1936 if (strncmp(s, ",o", 2) != 0)
1941 /* Handle a branch gate completer. */
1943 if (strncasecmp (s, ",gate", 5) != 0)
1948 /* Handle a branch link and push completer. */
1950 if (strncasecmp (s, ",l,push", 7) != 0)
1955 /* Handle a branch link completer. */
1957 if (strncasecmp (s, ",l", 2) != 0)
1962 /* Handle a branch pop completer. */
1964 if (strncasecmp (s, ",pop", 4) != 0)
1969 /* Handle a local processor completer. */
1971 if (strncasecmp (s, ",l", 2) != 0)
1976 /* Handle a PROBE read/write completer. */
1979 if (!strncasecmp (s, ",w", 2))
1984 else if (!strncasecmp (s, ",r", 2))
1990 INSERT_FIELD_AND_CONTINUE (opcode, flag, 6);
1992 /* Handle MFCTL wide completer. */
1994 if (strncasecmp (s, ",w", 2) != 0)
1999 /* Handle an RFI restore completer. */
2002 if (!strncasecmp (s, ",r", 2))
2008 INSERT_FIELD_AND_CONTINUE (opcode, flag, 5);
2010 /* Handle a system control completer. */
2012 if (*s == ',' && (*(s + 1) == 'm' || *(s + 1) == 'M'))
2020 INSERT_FIELD_AND_CONTINUE (opcode, flag, 5);
2022 /* Handle intermediate/final completer for DCOR. */
2025 if (!strncasecmp (s, ",i", 2))
2031 INSERT_FIELD_AND_CONTINUE (opcode, flag, 6);
2033 /* Handle zero/sign extension completer. */
2036 if (!strncasecmp (s, ",z", 2))
2042 INSERT_FIELD_AND_CONTINUE (opcode, flag, 10);
2044 /* Handle add completer. */
2047 if (!strncasecmp (s, ",l", 2))
2052 else if (!strncasecmp (s, ",tsv", 4))
2058 INSERT_FIELD_AND_CONTINUE (opcode, flag, 10);
2060 /* Handle 64 bit carry for ADD. */
2063 if (!strncasecmp (s, ",dc,tsv", 7) ||
2064 !strncasecmp (s, ",tsv,dc", 7))
2069 else if (!strncasecmp (s, ",dc", 3))
2077 INSERT_FIELD_AND_CONTINUE (opcode, flag, 11);
2079 /* Handle 32 bit carry for ADD. */
2082 if (!strncasecmp (s, ",c,tsv", 6) ||
2083 !strncasecmp (s, ",tsv,c", 6))
2088 else if (!strncasecmp (s, ",c", 2))
2096 INSERT_FIELD_AND_CONTINUE (opcode, flag, 11);
2098 /* Handle trap on signed overflow. */
2101 if (!strncasecmp (s, ",tsv", 4))
2107 INSERT_FIELD_AND_CONTINUE (opcode, flag, 11);
2109 /* Handle trap on condition and overflow. */
2112 if (!strncasecmp (s, ",tc,tsv", 7) ||
2113 !strncasecmp (s, ",tsv,tc", 7))
2118 else if (!strncasecmp (s, ",tc", 3))
2126 INSERT_FIELD_AND_CONTINUE (opcode, flag, 11);
2128 /* Handle 64 bit borrow for SUB. */
2131 if (!strncasecmp (s, ",db,tsv", 7) ||
2132 !strncasecmp (s, ",tsv,db", 7))
2137 else if (!strncasecmp (s, ",db", 3))
2145 INSERT_FIELD_AND_CONTINUE (opcode, flag, 11);
2147 /* Handle 32 bit borrow for SUB. */
2150 if (!strncasecmp (s, ",b,tsv", 6) ||
2151 !strncasecmp (s, ",tsv,b", 6))
2156 else if (!strncasecmp (s, ",b", 2))
2164 INSERT_FIELD_AND_CONTINUE (opcode, flag, 11);
2166 /* Handle trap condition completer for UADDCM. */
2169 if (!strncasecmp (s, ",tc", 3))
2175 INSERT_FIELD_AND_CONTINUE (opcode, flag, 6);
2177 /* Handle signed/unsigned at 21. */
2181 if (strncasecmp (s, ",s", 2) == 0)
2186 else if (strncasecmp (s, ",u", 2) == 0)
2192 INSERT_FIELD_AND_CONTINUE (opcode, sign, 10);
2195 /* Handle left/right combination at 17:18. */
2205 as_bad(_("Invalid left/right combination completer"));
2208 INSERT_FIELD_AND_CONTINUE (opcode, lr, 13);
2211 as_bad(_("Invalid left/right combination completer"));
2214 /* Handle saturation at 24:25. */
2218 if (strncasecmp (s, ",ss", 3) == 0)
2223 else if (strncasecmp (s, ",us", 3) == 0)
2229 INSERT_FIELD_AND_CONTINUE (opcode, sat, 6);
2232 /* Handle permutation completer. */
2260 as_bad(_("Invalid permutation completer"));
2262 opcode |= perm << permloc[i];
2267 as_bad(_("Invalid permutation completer"));
2275 /* Handle all conditions. */
2281 /* Handle FP compare conditions. */
2283 cond = pa_parse_fp_cmp_cond (&s);
2284 INSERT_FIELD_AND_CONTINUE (opcode, cond, 0);
2286 /* Handle an add condition. */
2295 /* 64 bit conditions. */
2308 while (*s != ',' && *s != ' ' && *s != '\t')
2312 if (strcmp (name, "=") == 0)
2314 else if (strcmp (name, "<") == 0)
2316 else if (strcmp (name, "<=") == 0)
2318 else if (strcasecmp (name, "nuv") == 0)
2320 else if (strcasecmp (name, "znv") == 0)
2322 else if (strcasecmp (name, "sv") == 0)
2324 else if (strcasecmp (name, "od") == 0)
2326 else if (strcasecmp (name, "tr") == 0)
2331 else if (strcmp (name, "<>") == 0)
2336 else if (strcmp (name, ">=") == 0)
2341 else if (strcmp (name, ">") == 0)
2346 else if (strcasecmp (name, "uv") == 0)
2351 else if (strcasecmp (name, "vnz") == 0)
2356 else if (strcasecmp (name, "nsv") == 0)
2361 else if (strcasecmp (name, "ev") == 0)
2366 /* ",*" is a valid condition. */
2367 else if (*args == 'a')
2368 as_bad (_("Invalid Add Condition: %s"), name);
2371 opcode |= cmpltr << 13;
2372 INSERT_FIELD_AND_CONTINUE (opcode, flag, 12);
2374 /* Handle non-negated add and branch condition. */
2376 cmpltr = pa_parse_nonneg_add_cmpltr (&s, 1);
2379 as_bad (_("Invalid Add and Branch Condition: %c"), *s);
2382 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 13);
2384 /* Handle 64 bit wide-mode add and branch condition. */
2386 cmpltr = pa_parse_addb_64_cmpltr (&s);
2389 as_bad (_("Invalid Add and Branch Condition: %c"), *s);
2394 /* Negated condition requires an opcode change. */
2395 opcode |= (cmpltr & 8) << 24;
2397 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr & 7, 13);
2399 /* Handle a negated or non-negated add and branch
2403 cmpltr = pa_parse_nonneg_add_cmpltr (&s, 1);
2407 cmpltr = pa_parse_neg_add_cmpltr (&s, 1);
2410 as_bad (_("Invalid Compare/Subtract Condition"));
2415 /* Negated condition requires an opcode change. */
2419 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 13);
2421 /* Handle branch on bit conditions. */
2439 if (strncmp (s, "<", 1) == 0)
2444 else if (strncmp (s, ">=", 2) == 0)
2450 as_bad (_("Invalid Bit Branch Condition: %c"), *s);
2452 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 15);
2454 /* Handle a compare/subtract condition. */
2463 /* 64 bit conditions. */
2476 while (*s != ',' && *s != ' ' && *s != '\t')
2480 if (strcmp (name, "=") == 0)
2482 else if (strcmp (name, "<") == 0)
2484 else if (strcmp (name, "<=") == 0)
2486 else if (strcasecmp (name, "<<") == 0)
2488 else if (strcasecmp (name, "<<=") == 0)
2490 else if (strcasecmp (name, "sv") == 0)
2492 else if (strcasecmp (name, "od") == 0)
2494 else if (strcasecmp (name, "tr") == 0)
2499 else if (strcmp (name, "<>") == 0)
2504 else if (strcmp (name, ">=") == 0)
2509 else if (strcmp (name, ">") == 0)
2514 else if (strcasecmp (name, ">>=") == 0)
2519 else if (strcasecmp (name, ">>") == 0)
2524 else if (strcasecmp (name, "nsv") == 0)
2529 else if (strcasecmp (name, "ev") == 0)
2534 /* ",*" is a valid condition. */
2535 else if (*args != 'S')
2536 as_bad (_("Invalid Compare/Subtract Condition: %s"),
2540 opcode |= cmpltr << 13;
2541 INSERT_FIELD_AND_CONTINUE (opcode, flag, 12);
2543 /* Handle a non-negated compare condition. */
2545 cmpltr = pa_parse_nonneg_cmpsub_cmpltr (&s, 1);
2548 as_bad (_("Invalid Compare/Subtract Condition: %c"), *s);
2551 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 13);
2553 /* Handle a 32 bit compare and branch condition. */
2556 cmpltr = pa_parse_nonneg_cmpsub_cmpltr (&s, 1);
2560 cmpltr = pa_parse_neg_cmpsub_cmpltr (&s, 1);
2563 as_bad (_("Invalid Compare and Branch Condition."));
2568 /* Negated condition requires an opcode change. */
2573 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 13);
2575 /* Handle a 64 bit compare and branch condition. */
2577 cmpltr = pa_parse_cmpb_64_cmpltr (&s);
2580 /* Negated condition requires an opcode change. */
2581 opcode |= (cmpltr & 8) << 26;
2584 /* Not a 64 bit cond. Give 32 bit a chance. */
2587 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr & 7, 13);
2589 /* Handle a 64 bit cmpib condition. */
2591 cmpltr = pa_parse_cmpib_64_cmpltr (&s);
2593 /* Not a 64 bit cond. Give 32 bit a chance. */
2596 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 13);
2598 /* Handle a logical instruction condition. */
2607 /* 64 bit conditions. */
2619 while (*s != ',' && *s != ' ' && *s != '\t')
2624 if (strcmp (name, "=") == 0)
2626 else if (strcmp (name, "<") == 0)
2628 else if (strcmp (name, "<=") == 0)
2630 else if (strcasecmp (name, "od") == 0)
2632 else if (strcasecmp (name, "tr") == 0)
2637 else if (strcmp (name, "<>") == 0)
2642 else if (strcmp (name, ">=") == 0)
2647 else if (strcmp (name, ">") == 0)
2652 else if (strcasecmp (name, "ev") == 0)
2657 /* ",*" is a valid condition. */
2658 else if (*args != 'L')
2659 as_bad (_("Invalid Logical Instruction Condition."));
2662 opcode |= cmpltr << 13;
2663 INSERT_FIELD_AND_CONTINUE (opcode, flag, 12);
2665 /* Handle a shift/extract/deposit condition. */
2674 /* 64 bit conditions. */
2686 while (*s != ',' && *s != ' ' && *s != '\t')
2690 if (strcmp (name, "=") == 0)
2692 else if (strcmp (name, "<") == 0)
2694 else if (strcasecmp (name, "od") == 0)
2696 else if (strcasecmp (name, "tr") == 0)
2698 else if (strcmp (name, "<>") == 0)
2700 else if (strcmp (name, ">=") == 0)
2702 else if (strcasecmp (name, "ev") == 0)
2704 /* Handle movb,n. Put things back the way they were.
2705 This includes moving s back to where it started. */
2706 else if (strcasecmp (name, "n") == 0 && *args == 'y')
2712 /* ",*" is a valid condition. */
2713 else if (*args != 'X')
2714 as_bad (_("Invalid Shift/Extract/Deposit Condition."));
2717 INSERT_FIELD_AND_CONTINUE (opcode, cmpltr, 13);
2719 /* Handle a unit instruction condition. */
2728 /* 64 bit conditions. */
2739 if (strncasecmp (s, "sbz", 3) == 0)
2744 else if (strncasecmp (s, "shz", 3) == 0)
2749 else if (strncasecmp (s, "sdc", 3) == 0)
2754 else if (strncasecmp (s, "sbc", 3) == 0)
2759 else if (strncasecmp (s, "shc", 3) == 0)
2764 else if (strncasecmp (s, "tr", 2) == 0)
2770 else if (strncasecmp (s, "nbz", 3) == 0)
2776 else if (strncasecmp (s, "nhz", 3) == 0)
2782 else if (strncasecmp (s, "ndc", 3) == 0)
2788 else if (strncasecmp (s, "nbc", 3) == 0)
2794 else if (strncasecmp (s, "nhc", 3) == 0)
2800 else if (strncasecmp (s, "swz", 3) == 0)
2806 else if (strncasecmp (s, "swc", 3) == 0)
2812 else if (strncasecmp (s, "nwz", 3) == 0)
2818 else if (strncasecmp (s, "nwc", 3) == 0)
2824 /* ",*" is a valid condition. */
2825 else if (*args != 'U')
2826 as_bad (_("Invalid Unit Instruction Condition."));
2828 opcode |= cmpltr << 13;
2829 INSERT_FIELD_AND_CONTINUE (opcode, flag, 12);
2837 /* Handle a nullification completer for branch instructions. */
2839 nullif = pa_parse_nullif (&s);
2840 INSERT_FIELD_AND_CONTINUE (opcode, nullif, 1);
2842 /* Handle a nullification completer for copr and spop insns. */
2844 nullif = pa_parse_nullif (&s);
2845 INSERT_FIELD_AND_CONTINUE (opcode, nullif, 5);
2847 /* Handle ,%r2 completer for new syntax branches. */
2849 if (*s == ',' && strncasecmp (s + 1, "%r2", 3) == 0)
2851 else if (*s == ',' && strncasecmp (s + 1, "%rp", 3) == 0)
2857 /* Handle 3 bit entry into the fp compare array. Valid values
2858 are 0..6 inclusive. */
2862 if (the_insn.exp.X_op == O_constant)
2864 num = evaluate_absolute (&the_insn);
2865 CHECK_FIELD (num, 6, 0, 0);
2867 INSERT_FIELD_AND_CONTINUE (opcode, num, 13);
2872 /* Handle 3 bit entry into the fp compare array. Valid values
2873 are 0..6 inclusive. */
2876 if (the_insn.exp.X_op == O_constant)
2879 num = evaluate_absolute (&the_insn);
2880 CHECK_FIELD (num, 6, 0, 0);
2881 num = (num + 1) ^ 1;
2882 INSERT_FIELD_AND_CONTINUE (opcode, num, 13);
2887 /* Handle graphics test completers for ftest */
2890 num = pa_parse_ftest_gfx_completer (&s);
2891 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
2894 /* Handle a 11 bit immediate at 31. */
2896 the_insn.field_selector = pa_chk_field_selector (&s);
2899 if (the_insn.exp.X_op == O_constant)
2901 num = evaluate_absolute (&the_insn);
2902 CHECK_FIELD (num, 1023, -1024, 0);
2903 num = low_sign_unext (num, 11);
2904 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
2908 if (is_DP_relative (the_insn.exp))
2909 the_insn.reloc = R_HPPA_GOTOFF;
2910 else if (is_PC_relative (the_insn.exp))
2911 the_insn.reloc = R_HPPA_PCREL_CALL;
2913 the_insn.reloc = R_HPPA;
2914 the_insn.format = 11;
2918 /* Handle a 14 bit immediate at 31. */
2920 the_insn.field_selector = pa_chk_field_selector (&s);
2923 if (the_insn.exp.X_op == O_constant)
2927 /* XXX the completer stored away tibits of information
2928 for us to extract. We need a cleaner way to do this.
2929 Now that we have lots of letters again, it would be
2930 good to rethink this. */
2931 m = (opcode & (1 << 8)) != 0;
2932 a = (opcode & (1 << 9)) != 0;
2933 opcode &= ~ (3 << 8);
2934 num = evaluate_absolute (&the_insn);
2935 if ((a == 1 && num >= 0) || (a == 0 && num < 0))
2937 CHECK_FIELD (num, 8191, -8192, 0);
2938 num = low_sign_unext (num, 14);
2939 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
2946 /* Handle a 14 bit immediate at 31. */
2948 the_insn.field_selector = pa_chk_field_selector (&s);
2951 if (the_insn.exp.X_op == O_constant)
2955 /* XXX the completer stored away tibits of information
2956 for us to extract. We need a cleaner way to do this.
2957 Now that we have lots of letters again, it would be
2958 good to rethink this. */
2959 m = (opcode & (1 << 8)) != 0;
2960 a = (opcode & (1 << 9)) != 0;
2961 opcode &= ~ (3 << 8);
2962 num = evaluate_absolute (&the_insn);
2963 if ((a == 1 && num < 0) || (a == 0 && num > 0))
2967 CHECK_FIELD (num, 8191, -8192, 0);
2972 INSERT_FIELD_AND_CONTINUE (opcode, num, 3);
2979 /* Handle 14 bit immediate, shifted left three times. */
2981 the_insn.field_selector = pa_chk_field_selector (&s);
2984 if (the_insn.exp.X_op == O_constant)
2986 num = evaluate_absolute (&the_insn);
2989 CHECK_FIELD (num, 8191, -8192, 0);
2994 INSERT_FIELD_AND_CONTINUE (opcode, num, 4);
2998 if (is_DP_relative (the_insn.exp))
2999 the_insn.reloc = R_HPPA_GOTOFF;
3000 else if (is_PC_relative (the_insn.exp))
3001 the_insn.reloc = R_HPPA_PCREL_CALL;
3003 the_insn.reloc = R_HPPA;
3004 the_insn.format = 14;
3009 /* Handle 14 bit immediate, shifted left twice. */
3011 the_insn.field_selector = pa_chk_field_selector (&s);
3014 if (the_insn.exp.X_op == O_constant)
3016 num = evaluate_absolute (&the_insn);
3019 CHECK_FIELD (num, 8191, -8192, 0);
3024 INSERT_FIELD_AND_CONTINUE (opcode, num, 3);
3028 if (is_DP_relative (the_insn.exp))
3029 the_insn.reloc = R_HPPA_GOTOFF;
3030 else if (is_PC_relative (the_insn.exp))
3031 the_insn.reloc = R_HPPA_PCREL_CALL;
3033 the_insn.reloc = R_HPPA;
3034 the_insn.format = 14;
3038 /* Handle a 14 bit immediate at 31. */
3040 the_insn.field_selector = pa_chk_field_selector (&s);
3043 if (the_insn.exp.X_op == O_constant)
3045 num = evaluate_absolute (&the_insn);
3046 CHECK_FIELD (num, 8191, -8192, 0);
3047 num = low_sign_unext (num, 14);
3048 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3052 if (is_DP_relative (the_insn.exp))
3053 the_insn.reloc = R_HPPA_GOTOFF;
3054 else if (is_PC_relative (the_insn.exp))
3055 the_insn.reloc = R_HPPA_PCREL_CALL;
3057 the_insn.reloc = R_HPPA;
3058 the_insn.format = 14;
3062 /* Handle a 21 bit immediate at 31. */
3064 the_insn.field_selector = pa_chk_field_selector (&s);
3067 if (the_insn.exp.X_op == O_constant)
3069 num = evaluate_absolute (&the_insn);
3070 CHECK_FIELD (num >> 11, 1048575, -1048576, 0);
3071 opcode |= re_assemble_21 (num);
3076 if (is_DP_relative (the_insn.exp))
3077 the_insn.reloc = R_HPPA_GOTOFF;
3078 else if (is_PC_relative (the_insn.exp))
3079 the_insn.reloc = R_HPPA_PCREL_CALL;
3081 the_insn.reloc = R_HPPA;
3082 the_insn.format = 21;
3086 /* Handle a 16 bit immediate at 31 (PA 2.0 wide mode only). */
3088 the_insn.field_selector = pa_chk_field_selector (&s);
3091 if (the_insn.exp.X_op == O_constant)
3093 num = evaluate_absolute (&the_insn);
3094 CHECK_FIELD (num, 32767, -32768, 0);
3095 opcode |= re_assemble_16 (num);
3100 /* ??? Is this valid for wide mode? */
3101 if (is_DP_relative (the_insn.exp))
3102 the_insn.reloc = R_HPPA_GOTOFF;
3103 else if (is_PC_relative (the_insn.exp))
3104 the_insn.reloc = R_HPPA_PCREL_CALL;
3106 the_insn.reloc = R_HPPA;
3107 the_insn.format = 14;
3111 /* Handle a word-aligned 16-bit imm. at 31 (PA2.0 wide). */
3113 the_insn.field_selector = pa_chk_field_selector (&s);
3116 if (the_insn.exp.X_op == O_constant)
3118 num = evaluate_absolute (&the_insn);
3119 CHECK_FIELD (num, 32767, -32768, 0);
3120 CHECK_ALIGN (num, 4, 0);
3121 opcode |= re_assemble_16 (num);
3126 /* ??? Is this valid for wide mode? */
3127 if (is_DP_relative (the_insn.exp))
3128 the_insn.reloc = R_HPPA_GOTOFF;
3129 else if (is_PC_relative (the_insn.exp))
3130 the_insn.reloc = R_HPPA_PCREL_CALL;
3132 the_insn.reloc = R_HPPA;
3133 the_insn.format = 14;
3137 /* Handle a dword-aligned 16-bit imm. at 31 (PA2.0 wide). */
3139 the_insn.field_selector = pa_chk_field_selector (&s);
3142 if (the_insn.exp.X_op == O_constant)
3144 num = evaluate_absolute (&the_insn);
3145 CHECK_FIELD (num, 32767, -32768, 0);
3146 CHECK_ALIGN (num, 8, 0);
3147 opcode |= re_assemble_16 (num);
3152 /* ??? Is this valid for wide mode? */
3153 if (is_DP_relative (the_insn.exp))
3154 the_insn.reloc = R_HPPA_GOTOFF;
3155 else if (is_PC_relative (the_insn.exp))
3156 the_insn.reloc = R_HPPA_PCREL_CALL;
3158 the_insn.reloc = R_HPPA;
3159 the_insn.format = 14;
3163 /* Handle a 12 bit branch displacement. */
3165 the_insn.field_selector = pa_chk_field_selector (&s);
3169 if (!strcmp (S_GET_NAME (the_insn.exp.X_add_symbol), "L$0\001"))
3171 num = evaluate_absolute (&the_insn);
3174 as_bad (_("Branch to unaligned address"));
3177 CHECK_FIELD (num, 8199, -8184, 0);
3179 opcode |= re_assemble_12 ((num - 8) >> 2);
3184 the_insn.reloc = R_HPPA_PCREL_CALL;
3185 the_insn.format = 12;
3186 the_insn.arg_reloc = last_call_desc.arg_reloc;
3187 memset (&last_call_desc, 0, sizeof (struct call_desc));
3192 /* Handle a 17 bit branch displacement. */
3194 the_insn.field_selector = pa_chk_field_selector (&s);
3198 if (!the_insn.exp.X_add_symbol
3199 || !strcmp (S_GET_NAME (the_insn.exp.X_add_symbol),
3202 num = evaluate_absolute (&the_insn);
3205 as_bad (_("Branch to unaligned address"));
3208 CHECK_FIELD (num, 262143, -262144, 0);
3210 if (the_insn.exp.X_add_symbol)
3213 opcode |= re_assemble_17 (num >> 2);
3218 the_insn.reloc = R_HPPA_PCREL_CALL;
3219 the_insn.format = 17;
3220 the_insn.arg_reloc = last_call_desc.arg_reloc;
3221 memset (&last_call_desc, 0, sizeof (struct call_desc));
3225 /* Handle a 22 bit branch displacement. */
3227 the_insn.field_selector = pa_chk_field_selector (&s);
3231 if (!the_insn.exp.X_add_symbol
3232 || !strcmp (S_GET_NAME (the_insn.exp.X_add_symbol),
3235 num = evaluate_absolute (&the_insn);
3238 as_bad (_("Branch to unaligned address"));
3241 CHECK_FIELD (num, 8388607, -8388608, 0);
3243 if (the_insn.exp.X_add_symbol)
3246 opcode |= re_assemble_22 (num >> 2);
3250 the_insn.reloc = R_HPPA_PCREL_CALL;
3251 the_insn.format = 22;
3252 the_insn.arg_reloc = last_call_desc.arg_reloc;
3253 memset (&last_call_desc, 0, sizeof (struct call_desc));
3257 /* Handle an absolute 17 bit branch target. */
3259 the_insn.field_selector = pa_chk_field_selector (&s);
3263 if (!the_insn.exp.X_add_symbol
3264 || !strcmp (S_GET_NAME (the_insn.exp.X_add_symbol),
3267 num = evaluate_absolute (&the_insn);
3270 as_bad (_("Branch to unaligned address"));
3273 CHECK_FIELD (num, 262143, -262144, 0);
3275 if (the_insn.exp.X_add_symbol)
3278 opcode |= re_assemble_17 (num >> 2);
3283 the_insn.reloc = R_HPPA_ABS_CALL;
3284 the_insn.format = 17;
3285 the_insn.arg_reloc = last_call_desc.arg_reloc;
3286 memset (&last_call_desc, 0, sizeof (struct call_desc));
3290 /* Handle '%r1' implicit operand of addil instruction. */
3292 if (*s == ',' && *(s + 1) == '%' && *(s + 3) == '1'
3293 && (*(s + 2) == 'r' || *(s + 2) == 'R'))
3301 /* Handle '%sr0,%r31' implicit operand of be,l instruction. */
3303 if (strncasecmp (s, "%sr0,%r31", 9) != 0)
3308 /* Handle immediate value of 0 for ordered load/store instructions. */
3315 /* Handle a 2 bit shift count at 25. */
3317 num = pa_get_absolute_expression (&the_insn, &s);
3318 if (strict && the_insn.exp.X_op != O_constant)
3321 CHECK_FIELD (num, 3, 1, strict);
3322 INSERT_FIELD_AND_CONTINUE (opcode, num, 6);
3324 /* Handle a 4 bit shift count at 25. */
3326 num = pa_get_absolute_expression (&the_insn, &s);
3327 if (strict && the_insn.exp.X_op != O_constant)
3330 CHECK_FIELD (num, 15, 0, strict);
3331 INSERT_FIELD_AND_CONTINUE (opcode, num, 6);
3333 /* Handle a 5 bit shift count at 26. */
3335 num = pa_get_absolute_expression (&the_insn, &s);
3336 if (strict && the_insn.exp.X_op != O_constant)
3339 CHECK_FIELD (num, 31, 0, strict);
3340 INSERT_FIELD_AND_CONTINUE (opcode, 31 - num, 5);
3342 /* Handle a 6 bit shift count at 20,22:26. */
3344 num = pa_get_absolute_expression (&the_insn, &s);
3345 if (strict && the_insn.exp.X_op != O_constant)
3348 CHECK_FIELD (num, 63, 0, strict);
3350 opcode |= (num & 0x20) << 6;
3351 INSERT_FIELD_AND_CONTINUE (opcode, num & 0x1f, 5);
3353 /* Handle a 6 bit field length at 23,27:31. */
3356 num = pa_get_absolute_expression (&the_insn, &s);
3357 if (strict && the_insn.exp.X_op != O_constant)
3360 CHECK_FIELD (num, 64, 1, strict);
3362 opcode |= (num & 0x20) << 3;
3363 num = 31 - (num & 0x1f);
3364 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3366 /* Handle a 6 bit field length at 19,27:31. */
3368 num = pa_get_absolute_expression (&the_insn, &s);
3369 if (strict && the_insn.exp.X_op != O_constant)
3372 CHECK_FIELD (num, 64, 1, strict);
3374 opcode |= (num & 0x20) << 7;
3375 num = 31 - (num & 0x1f);
3376 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3378 /* Handle a 5 bit bit position at 26. */
3380 num = pa_get_absolute_expression (&the_insn, &s);
3381 if (strict && the_insn.exp.X_op != O_constant)
3384 CHECK_FIELD (num, 31, 0, strict);
3385 INSERT_FIELD_AND_CONTINUE (opcode, num, 5);
3387 /* Handle a 6 bit bit position at 20,22:26. */
3389 num = pa_get_absolute_expression (&the_insn, &s);
3390 if (strict && the_insn.exp.X_op != O_constant)
3393 CHECK_FIELD (num, 63, 0, strict);
3394 opcode |= (num & 0x20) << 6;
3395 INSERT_FIELD_AND_CONTINUE (opcode, num & 0x1f, 5);
3397 /* Handle a 5 bit immediate at 10 with 'd' as the complement
3398 of the high bit of the immediate. */
3400 num = pa_get_absolute_expression (&the_insn, &s);
3401 if (strict && the_insn.exp.X_op != O_constant)
3404 CHECK_FIELD (num, 63, 0, strict);
3408 opcode |= (1 << 13);
3409 INSERT_FIELD_AND_CONTINUE (opcode, num & 0x1f, 21);
3411 /* Handle a 5 bit immediate at 10. */
3413 num = pa_get_absolute_expression (&the_insn, &s);
3414 if (strict && the_insn.exp.X_op != O_constant)
3417 CHECK_FIELD (num, 31, 0, strict);
3418 INSERT_FIELD_AND_CONTINUE (opcode, num, 21);
3420 /* Handle a 9 bit immediate at 28. */
3422 num = pa_get_absolute_expression (&the_insn, &s);
3423 if (strict && the_insn.exp.X_op != O_constant)
3426 CHECK_FIELD (num, 511, 1, strict);
3427 INSERT_FIELD_AND_CONTINUE (opcode, num, 3);
3429 /* Handle a 13 bit immediate at 18. */
3431 num = pa_get_absolute_expression (&the_insn, &s);
3432 if (strict && the_insn.exp.X_op != O_constant)
3435 CHECK_FIELD (num, 8191, 0, strict);
3436 INSERT_FIELD_AND_CONTINUE (opcode, num, 13);
3438 /* Handle a 26 bit immediate at 31. */
3440 num = pa_get_absolute_expression (&the_insn, &s);
3441 if (strict && the_insn.exp.X_op != O_constant)
3444 CHECK_FIELD (num, 671108864, 0, strict);
3445 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3447 /* Handle a 3 bit SFU identifier at 25. */
3450 as_bad (_("Invalid SFU identifier"));
3451 num = pa_get_absolute_expression (&the_insn, &s);
3452 if (strict && the_insn.exp.X_op != O_constant)
3455 CHECK_FIELD (num, 7, 0, strict);
3456 INSERT_FIELD_AND_CONTINUE (opcode, num, 6);
3458 /* Handle a 20 bit SOP field for spop0. */
3460 num = pa_get_absolute_expression (&the_insn, &s);
3461 if (strict && the_insn.exp.X_op != O_constant)
3464 CHECK_FIELD (num, 1048575, 0, strict);
3465 num = (num & 0x1f) | ((num & 0x000fffe0) << 6);
3466 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3468 /* Handle a 15bit SOP field for spop1. */
3470 num = pa_get_absolute_expression (&the_insn, &s);
3471 if (strict && the_insn.exp.X_op != O_constant)
3474 CHECK_FIELD (num, 32767, 0, strict);
3475 INSERT_FIELD_AND_CONTINUE (opcode, num, 11);
3477 /* Handle a 10bit SOP field for spop3. */
3479 num = pa_get_absolute_expression (&the_insn, &s);
3480 if (strict && the_insn.exp.X_op != O_constant)
3483 CHECK_FIELD (num, 1023, 0, strict);
3484 num = (num & 0x1f) | ((num & 0x000003e0) << 6);
3485 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3487 /* Handle a 15 bit SOP field for spop2. */
3489 num = pa_get_absolute_expression (&the_insn, &s);
3490 if (strict && the_insn.exp.X_op != O_constant)
3493 CHECK_FIELD (num, 32767, 0, strict);
3494 num = (num & 0x1f) | ((num & 0x00007fe0) << 6);
3495 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3497 /* Handle a 3-bit co-processor ID field. */
3500 as_bad (_("Invalid COPR identifier"));
3501 num = pa_get_absolute_expression (&the_insn, &s);
3502 if (strict && the_insn.exp.X_op != O_constant)
3505 CHECK_FIELD (num, 7, 0, strict);
3506 INSERT_FIELD_AND_CONTINUE (opcode, num, 6);
3508 /* Handle a 22bit SOP field for copr. */
3510 num = pa_get_absolute_expression (&the_insn, &s);
3511 if (strict && the_insn.exp.X_op != O_constant)
3514 CHECK_FIELD (num, 4194303, 0, strict);
3515 num = (num & 0x1f) | ((num & 0x003fffe0) << 4);
3516 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3518 /* Handle a source FP operand format completer. */
3520 if (*s == ',' && *(s+1) == 't')
3527 flag = pa_parse_fp_cnv_format (&s);
3528 the_insn.fpof1 = flag;
3529 if (flag == W || flag == UW)
3531 if (flag == DW || flag == UDW)
3533 if (flag == QW || flag == UQW)
3535 INSERT_FIELD_AND_CONTINUE (opcode, flag, 11);
3537 /* Handle a destination FP operand format completer. */
3539 /* pa_parse_format needs the ',' prefix. */
3541 flag = pa_parse_fp_cnv_format (&s);
3542 the_insn.fpof2 = flag;
3543 if (flag == W || flag == UW)
3545 if (flag == DW || flag == UDW)
3547 if (flag == QW || flag == UQW)
3549 opcode |= flag << 13;
3550 if (the_insn.fpof1 == SGL
3551 || the_insn.fpof1 == DBL
3552 || the_insn.fpof1 == QUAD)
3554 if (the_insn.fpof2 == SGL
3555 || the_insn.fpof2 == DBL
3556 || the_insn.fpof2 == QUAD)
3558 else if (the_insn.fpof2 == W
3559 || the_insn.fpof2 == DW
3560 || the_insn.fpof2 == QW)
3562 else if (the_insn.fpof2 == UW
3563 || the_insn.fpof2 == UDW
3564 || the_insn.fpof2 == UQW)
3569 else if (the_insn.fpof1 == W
3570 || the_insn.fpof1 == DW
3571 || the_insn.fpof1 == QW)
3573 if (the_insn.fpof2 == SGL
3574 || the_insn.fpof2 == DBL
3575 || the_insn.fpof2 == QUAD)
3580 else if (the_insn.fpof1 == UW
3581 || the_insn.fpof1 == UDW
3582 || the_insn.fpof1 == UQW)
3584 if (the_insn.fpof2 == SGL
3585 || the_insn.fpof2 == DBL
3586 || the_insn.fpof2 == QUAD)
3591 flag |= the_insn.trunc;
3592 INSERT_FIELD_AND_CONTINUE (opcode, flag, 15);
3594 /* Handle a source FP operand format completer. */
3596 flag = pa_parse_fp_format (&s);
3597 the_insn.fpof1 = flag;
3598 INSERT_FIELD_AND_CONTINUE (opcode, flag, 11);
3600 /* Handle a destination FP operand format completer. */
3602 /* pa_parse_format needs the ',' prefix. */
3604 flag = pa_parse_fp_format (&s);
3605 the_insn.fpof2 = flag;
3606 INSERT_FIELD_AND_CONTINUE (opcode, flag, 13);
3608 /* Handle a source FP operand format completer at 20. */
3610 flag = pa_parse_fp_format (&s);
3611 the_insn.fpof1 = flag;
3612 INSERT_FIELD_AND_CONTINUE (opcode, flag, 11);
3614 /* Handle a floating point operand format at 26.
3615 Only allows single and double precision. */
3617 flag = pa_parse_fp_format (&s);
3623 the_insn.fpof1 = flag;
3629 as_bad (_("Invalid Floating Point Operand Format."));
3633 /* Handle all floating point registers. */
3637 /* Float target register. */
3639 if (!pa_parse_number (&s, 3))
3641 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3642 CHECK_FIELD (num, 31, 0, 0);
3643 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3645 /* Float target register with L/R selection. */
3648 if (!pa_parse_number (&s, 1))
3650 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3651 CHECK_FIELD (num, 31, 0, 0);
3654 /* 0x30 opcodes are FP arithmetic operation opcodes
3655 and need to be turned into 0x38 opcodes. This
3656 is not necessary for loads/stores. */
3657 if (need_pa11_opcode ()
3658 && ((opcode & 0xfc000000) == 0x30000000))
3661 opcode |= (pa_number & FP_REG_RSEL ? 1 << 6 : 0);
3665 /* Float operand 1. */
3668 if (!pa_parse_number (&s, 1))
3670 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3671 CHECK_FIELD (num, 31, 0, 0);
3672 opcode |= num << 21;
3673 if (need_pa11_opcode ())
3675 opcode |= (pa_number & FP_REG_RSEL ? 1 << 7 : 0);
3681 /* Float operand 1 with L/R selection. */
3685 if (!pa_parse_number (&s, 1))
3687 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3688 CHECK_FIELD (num, 31, 0, 0);
3689 opcode |= num << 21;
3690 opcode |= (pa_number & FP_REG_RSEL ? 1 << 7 : 0);
3694 /* Float operand 2. */
3697 if (!pa_parse_number (&s, 1))
3699 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3700 CHECK_FIELD (num, 31, 0, 0);
3701 opcode |= num << 16;
3702 if (need_pa11_opcode ())
3704 opcode |= (pa_number & FP_REG_RSEL ? 1 << 12 : 0);
3710 /* Float operand 2 with L/R selection. */
3713 if (!pa_parse_number (&s, 1))
3715 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3716 CHECK_FIELD (num, 31, 0, 0);
3717 opcode |= num << 16;
3718 opcode |= (pa_number & FP_REG_RSEL ? 1 << 12 : 0);
3722 /* Float operand 3 for fmpyfadd, fmpynfadd. */
3725 if (!pa_parse_number (&s, 1))
3727 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3728 CHECK_FIELD (num, 31, 0, 0);
3729 opcode |= (num & 0x1c) << 11;
3730 opcode |= (num & 0x03) << 9;
3731 opcode |= (pa_number & FP_REG_RSEL ? 1 << 8 : 0);
3735 /* Float mult operand 1 for fmpyadd, fmpysub */
3738 if (!pa_parse_number (&s, 1))
3740 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3741 CHECK_FIELD (num, 31, 0, 0);
3742 if (the_insn.fpof1 == SGL)
3746 as_bad (_("Invalid register for single precision fmpyadd or fmpysub"));
3750 num |= (pa_number & FP_REG_RSEL ? 1 << 4 : 0);
3752 INSERT_FIELD_AND_CONTINUE (opcode, num, 21);
3755 /* Float mult operand 2 for fmpyadd, fmpysub */
3758 if (!pa_parse_number (&s, 1))
3760 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3761 CHECK_FIELD (num, 31, 0, 0);
3762 if (the_insn.fpof1 == SGL)
3766 as_bad (_("Invalid register for single precision fmpyadd or fmpysub"));
3770 num |= (pa_number & FP_REG_RSEL ? 1 << 4 : 0);
3772 INSERT_FIELD_AND_CONTINUE (opcode, num, 16);
3775 /* Float mult target for fmpyadd, fmpysub */
3778 if (!pa_parse_number (&s, 1))
3780 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3781 CHECK_FIELD (num, 31, 0, 0);
3782 if (the_insn.fpof1 == SGL)
3786 as_bad (_("Invalid register for single precision fmpyadd or fmpysub"));
3790 num |= (pa_number & FP_REG_RSEL ? 1 << 4 : 0);
3792 INSERT_FIELD_AND_CONTINUE (opcode, num, 0);
3795 /* Float add operand 1 for fmpyadd, fmpysub */
3798 if (!pa_parse_number (&s, 1))
3800 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3801 CHECK_FIELD (num, 31, 0, 0);
3802 if (the_insn.fpof1 == SGL)
3806 as_bad (_("Invalid register for single precision fmpyadd or fmpysub"));
3810 num |= (pa_number & FP_REG_RSEL ? 1 << 4 : 0);
3812 INSERT_FIELD_AND_CONTINUE (opcode, num, 6);
3815 /* Float add target for fmpyadd, fmpysub */
3818 if (!pa_parse_number (&s, 1))
3820 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3821 CHECK_FIELD (num, 31, 0, 0);
3822 if (the_insn.fpof1 == SGL)
3826 as_bad (_("Invalid register for single precision fmpyadd or fmpysub"));
3830 num |= (pa_number & FP_REG_RSEL ? 1 << 4 : 0);
3832 INSERT_FIELD_AND_CONTINUE (opcode, num, 11);
3835 /* Handle L/R register halves like 'x'. */
3839 if (!pa_parse_number (&s, 1))
3841 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3842 CHECK_FIELD (num, 31, 0, 0);
3843 opcode |= num << 16;
3844 if (need_pa11_opcode ())
3846 opcode |= (pa_number & FP_REG_RSEL ? 1 << 1 : 0);
3851 /* Float target register (PA 2.0 wide). */
3853 if (!pa_parse_number (&s, 3))
3855 num = (pa_number & ~FP_REG_RSEL) - FP_REG_BASE;
3856 CHECK_FIELD (num, 31, 0, 0);
3857 INSERT_FIELD_AND_CONTINUE (opcode, num, 16);
3871 /* Check if the args matched. */
3874 if (&insn[1] - pa_opcodes < (int) NUMOPCODES
3875 && !strcmp (insn->name, insn[1].name))
3883 as_bad (_("Invalid operands %s"), error_message);
3890 the_insn.opcode = opcode;
3893 /* Turn a string in input_line_pointer into a floating point constant of type
3894 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
3895 emitted is stored in *sizeP . An error message or NULL is returned. */
3897 #define MAX_LITTLENUMS 6
3900 md_atof (type, litP, sizeP)
3906 LITTLENUM_TYPE words[MAX_LITTLENUMS];
3907 LITTLENUM_TYPE *wordP;
3939 return _("Bad call to MD_ATOF()");
3941 t = atof_ieee (input_line_pointer, type, words);
3943 input_line_pointer = t;
3944 *sizeP = prec * sizeof (LITTLENUM_TYPE);
3945 for (wordP = words; prec--;)
3947 md_number_to_chars (litP, (valueT) (*wordP++), sizeof (LITTLENUM_TYPE));
3948 litP += sizeof (LITTLENUM_TYPE);
3953 /* Write out big-endian. */
3956 md_number_to_chars (buf, val, n)
3961 number_to_chars_bigendian (buf, val, n);
3964 /* Translate internal representation of relocation info to BFD target
3968 tc_gen_reloc (section, fixp)
3973 struct hppa_fix_struct *hppa_fixp;
3974 static arelent *no_relocs = NULL;
3981 hppa_fixp = (struct hppa_fix_struct *) fixp->tc_fix_data;
3982 if (fixp->fx_addsy == 0)
3985 assert (hppa_fixp != 0);
3986 assert (section != 0);
3988 reloc = (arelent *) xmalloc (sizeof (arelent));
3990 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
3991 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
3992 codes = hppa_gen_reloc_type (stdoutput,
3994 hppa_fixp->fx_r_format,
3995 hppa_fixp->fx_r_field,
3996 fixp->fx_subsy != NULL,
3997 symbol_get_bfdsym (fixp->fx_addsy));
4001 as_bad (_("Cannot handle fixup at %s:%d"), fixp->fx_file, fixp->fx_line);
4005 for (n_relocs = 0; codes[n_relocs]; n_relocs++)
4008 relocs = (arelent **) xmalloc (sizeof (arelent *) * n_relocs + 1);
4009 reloc = (arelent *) xmalloc (sizeof (arelent) * n_relocs);
4010 for (i = 0; i < n_relocs; i++)
4011 relocs[i] = &reloc[i];
4013 relocs[n_relocs] = NULL;
4016 switch (fixp->fx_r_type)
4019 assert (n_relocs == 1);
4023 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
4024 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
4025 reloc->howto = bfd_reloc_type_lookup (stdoutput,
4026 (bfd_reloc_code_real_type) code);
4027 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
4029 assert (reloc->howto && (unsigned int) code == reloc->howto->type);
4031 /* Now, do any processing that is dependent on the relocation type. */
4034 case R_PARISC_DLTREL21L:
4035 case R_PARISC_DLTREL14R:
4036 case R_PARISC_DLTREL14F:
4037 case R_PARISC_PLABEL32:
4038 case R_PARISC_PLABEL21L:
4039 case R_PARISC_PLABEL14R:
4040 /* For plabel relocations, the addend of the
4041 relocation should be either 0 (no static link) or 2
4042 (static link required). This adjustment is done in
4043 bfd/elf32-hppa.c:elf32_hppa_relocate_section.
4045 We also slam a zero addend into the DLT relative relocs;
4046 it doesn't make a lot of sense to use any addend since
4047 it gets you a different (eg unknown) DLT entry. */
4051 #ifdef ELF_ARG_RELOC
4052 case R_PARISC_PCREL17R:
4053 case R_PARISC_PCREL17F:
4054 case R_PARISC_PCREL17C:
4055 case R_PARISC_DIR17R:
4056 case R_PARISC_DIR17F:
4057 case R_PARISC_PCREL21L:
4058 case R_PARISC_DIR21L:
4059 reloc->addend = HPPA_R_ADDEND (hppa_fixp->fx_arg_reloc,
4065 reloc->addend = fixp->fx_offset;
4072 /* Walk over reach relocation returned by the BFD backend. */
4073 for (i = 0; i < n_relocs; i++)
4077 relocs[i]->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
4078 *relocs[i]->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
4080 bfd_reloc_type_lookup (stdoutput,
4081 (bfd_reloc_code_real_type) code);
4082 relocs[i]->address = fixp->fx_frag->fr_address + fixp->fx_where;
4087 /* The only time we ever use a R_COMP2 fixup is for the difference
4088 of two symbols. With that in mind we fill in all four
4089 relocs now and break out of the loop. */
4091 relocs[0]->sym_ptr_ptr = (asymbol **) &(bfd_abs_symbol);
4093 bfd_reloc_type_lookup (stdoutput,
4094 (bfd_reloc_code_real_type) *codes[0]);
4095 relocs[0]->address = fixp->fx_frag->fr_address + fixp->fx_where;
4096 relocs[0]->addend = 0;
4097 relocs[1]->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
4098 *relocs[1]->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
4100 bfd_reloc_type_lookup (stdoutput,
4101 (bfd_reloc_code_real_type) *codes[1]);
4102 relocs[1]->address = fixp->fx_frag->fr_address + fixp->fx_where;
4103 relocs[1]->addend = 0;
4104 relocs[2]->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
4105 *relocs[2]->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_subsy);
4107 bfd_reloc_type_lookup (stdoutput,
4108 (bfd_reloc_code_real_type) *codes[2]);
4109 relocs[2]->address = fixp->fx_frag->fr_address + fixp->fx_where;
4110 relocs[2]->addend = 0;
4111 relocs[3]->sym_ptr_ptr = (asymbol **) &(bfd_abs_symbol);
4113 bfd_reloc_type_lookup (stdoutput,
4114 (bfd_reloc_code_real_type) *codes[3]);
4115 relocs[3]->address = fixp->fx_frag->fr_address + fixp->fx_where;
4116 relocs[3]->addend = 0;
4117 relocs[4]->sym_ptr_ptr = (asymbol **) &(bfd_abs_symbol);
4119 bfd_reloc_type_lookup (stdoutput,
4120 (bfd_reloc_code_real_type) *codes[4]);
4121 relocs[4]->address = fixp->fx_frag->fr_address + fixp->fx_where;
4122 relocs[4]->addend = 0;
4126 relocs[i]->addend = HPPA_R_ADDEND (hppa_fixp->fx_arg_reloc, 0);
4132 /* For plabel relocations, the addend of the
4133 relocation should be either 0 (no static link) or 2
4134 (static link required).
4136 FIXME: We always assume no static link!
4138 We also slam a zero addend into the DLT relative relocs;
4139 it doesn't make a lot of sense to use any addend since
4140 it gets you a different (eg unknown) DLT entry. */
4141 relocs[i]->addend = 0;
4156 /* There is no symbol or addend associated with these fixups. */
4157 relocs[i]->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
4158 *relocs[i]->sym_ptr_ptr = symbol_get_bfdsym (dummy_symbol);
4159 relocs[i]->addend = 0;
4165 /* There is no symbol associated with these fixups. */
4166 relocs[i]->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
4167 *relocs[i]->sym_ptr_ptr = symbol_get_bfdsym (dummy_symbol);
4168 relocs[i]->addend = fixp->fx_offset;
4172 relocs[i]->addend = fixp->fx_offset;
4182 /* Process any machine dependent frag types. */
4185 md_convert_frag (abfd, sec, fragP)
4186 register bfd *abfd ATTRIBUTE_UNUSED;
4187 register asection *sec ATTRIBUTE_UNUSED;
4188 register fragS *fragP;
4190 unsigned int address;
4192 if (fragP->fr_type == rs_machine_dependent)
4194 switch ((int) fragP->fr_subtype)
4197 fragP->fr_type = rs_fill;
4198 know (fragP->fr_var == 1);
4199 know (fragP->fr_next);
4200 address = fragP->fr_address + fragP->fr_fix;
4201 if (address % fragP->fr_offset)
4204 fragP->fr_next->fr_address
4209 fragP->fr_offset = 0;
4215 /* Round up a section size to the appropriate boundary. */
4218 md_section_align (segment, size)
4222 int align = bfd_get_section_alignment (stdoutput, segment);
4223 int align2 = (1 << align) - 1;
4225 return (size + align2) & ~align2;
4228 /* Return the approximate size of a frag before relaxation has occurred. */
4230 md_estimate_size_before_relax (fragP, segment)
4231 register fragS *fragP;
4232 asection *segment ATTRIBUTE_UNUSED;
4238 while ((fragP->fr_fix + size) % fragP->fr_offset)
4245 # ifdef WARN_COMMENTS
4246 const char *md_shortopts = "Vc";
4248 const char *md_shortopts = "V";
4251 # ifdef WARN_COMMENTS
4252 const char *md_shortopts = "c";
4254 const char *md_shortopts = "";
4258 struct option md_longopts[] = {
4259 #ifdef WARN_COMMENTS
4260 {"warn-comment", no_argument, NULL, 'c'},
4262 {NULL, no_argument, NULL, 0}
4264 size_t md_longopts_size = sizeof(md_longopts);
4267 md_parse_option (c, arg)
4268 int c ATTRIBUTE_UNUSED;
4269 char *arg ATTRIBUTE_UNUSED;
4278 print_version_id ();
4281 #ifdef WARN_COMMENTS
4292 md_show_usage (stream)
4293 FILE *stream ATTRIBUTE_UNUSED;
4296 fprintf (stream, _("\
4299 #ifdef WARN_COMMENTS
4300 fprintf (stream, _("\
4301 -c print a warning if a comment is found\n"));
4305 /* We have no need to default values of symbols. */
4308 md_undefined_symbol (name)
4309 char *name ATTRIBUTE_UNUSED;
4314 #if defined (OBJ_SOM) || defined (ELF_ARG_RELOC)
4315 #define nonzero_dibits(x) \
4316 ((x) | (((x) & 0x55555555) << 1) | (((x) & 0xAAAAAAAA) >> 1))
4317 #define arg_reloc_stub_needed(CALLER, CALLEE) \
4318 (((CALLER) ^ (CALLEE)) & nonzero_dibits (CALLER) & nonzero_dibits (CALLEE))
4320 #define arg_reloc_stub_needed(CALLER, CALLEE) 0
4323 /* Apply a fixup to an instruction. */
4326 md_apply_fix (fixP, valp)
4331 struct hppa_fix_struct *hppa_fixP;
4335 /* SOM uses R_HPPA_ENTRY and R_HPPA_EXIT relocations which can
4336 never be "applied" (they are just markers). Likewise for
4337 R_HPPA_BEGIN_BRTAB and R_HPPA_END_BRTAB. */
4339 if (fixP->fx_r_type == R_HPPA_ENTRY
4340 || fixP->fx_r_type == R_HPPA_EXIT
4341 || fixP->fx_r_type == R_HPPA_BEGIN_BRTAB
4342 || fixP->fx_r_type == R_HPPA_END_BRTAB
4343 || fixP->fx_r_type == R_HPPA_BEGIN_TRY)
4346 /* Disgusting. We must set fx_offset ourselves -- R_HPPA_END_TRY
4347 fixups are considered not adjustable, which in turn causes
4348 adjust_reloc_syms to not set fx_offset. Ugh. */
4349 if (fixP->fx_r_type == R_HPPA_END_TRY)
4351 fixP->fx_offset = *valp;
4356 if (fixP->fx_r_type == (int) R_PARISC_GNU_VTENTRY
4357 || fixP->fx_r_type == (int) R_PARISC_GNU_VTINHERIT)
4361 /* There should have been an HPPA specific fixup associated
4362 with the GAS fixup. */
4363 hppa_fixP = (struct hppa_fix_struct *) fixP->tc_fix_data;
4364 if (hppa_fixP == NULL)
4366 printf (_("no hppa_fixup entry for fixup type 0x%x at %s:%d"),
4367 fixP->fx_r_type, fixP->fx_file, fixP->fx_line);
4371 buf = fixP->fx_frag->fr_literal + fixP->fx_where;
4372 insn = bfd_get_32 (stdoutput, buf);
4373 fmt = bfd_hppa_insn2fmt (stdoutput, insn);
4375 /* If there is a symbol associated with this fixup, then it's something
4376 which will need a SOM relocation (except for some PC-relative relocs).
4377 In such cases we should treat the "val" or "addend" as zero since it
4378 will be added in as needed from fx_offset in tc_gen_reloc. */
4379 if ((fixP->fx_addsy != NULL
4380 || fixP->fx_r_type == (int) R_HPPA_NONE)
4385 new_val = ((fmt == 12 || fmt == 17 || fmt == 22) ? 8 : 0);
4387 /* These field selectors imply that we do not want an addend. */
4388 else if (hppa_fixP->fx_r_field == e_psel
4389 || hppa_fixP->fx_r_field == e_rpsel
4390 || hppa_fixP->fx_r_field == e_lpsel
4391 || hppa_fixP->fx_r_field == e_tsel
4392 || hppa_fixP->fx_r_field == e_rtsel
4393 || hppa_fixP->fx_r_field == e_ltsel)
4394 new_val = ((fmt == 12 || fmt == 17 || fmt == 22) ? 8 : 0);
4395 /* This is truly disgusting. The machine independent code blindly
4396 adds in the value of the symbol being relocated against. Damn! */
4398 && fixP->fx_addsy != NULL
4399 && S_GET_SEGMENT (fixP->fx_addsy) != bfd_com_section_ptr)
4400 new_val = hppa_field_adjust (*valp - S_GET_VALUE (fixP->fx_addsy),
4401 0, hppa_fixP->fx_r_field);
4404 new_val = hppa_field_adjust (*valp, 0, hppa_fixP->fx_r_field);
4406 /* Handle pc-relative exceptions from above. */
4407 if ((fmt == 12 || fmt == 17 || fmt == 22)
4410 && !arg_reloc_stub_needed (symbol_arg_reloc_info (fixP->fx_addsy),
4411 hppa_fixP->fx_arg_reloc)
4413 && (*valp - 8 + 8192 < 16384
4414 || (fmt == 17 && *valp - 8 + 262144 < 524288)
4415 || (fmt == 22 && *valp - 8 + 8388608 < 16777216))
4418 && (*valp - 8 + 262144 < 524288
4419 || (fmt == 22 && *valp - 8 + 8388608 < 16777216))
4421 && !S_IS_EXTERNAL (fixP->fx_addsy)
4422 && !S_IS_WEAK (fixP->fx_addsy)
4423 && S_GET_SEGMENT (fixP->fx_addsy) == hppa_fixP->segment
4425 && S_GET_SEGMENT (fixP->fx_subsy) != hppa_fixP->segment))
4427 new_val = hppa_field_adjust (*valp, 0, hppa_fixP->fx_r_field);
4433 CHECK_FIELD (new_val, 8191, -8192, 0);
4436 insn = (insn & ~ 0x3ff1) | (((val & 0x1ff8) << 1)
4437 | ((val & 0x2000) >> 13));
4440 CHECK_FIELD (new_val, 8191, -8192, 0);
4443 insn = (insn & ~ 0x3ff9) | (((val & 0x1ffc) << 1)
4444 | ((val & 0x2000) >> 13));
4446 /* Handle all opcodes with the 'j' operand type. */
4448 CHECK_FIELD (new_val, 8191, -8192, 0);
4451 insn = ((insn & ~ 0x3fff) | low_sign_unext (val, 14));
4454 /* Handle all opcodes with the 'k' operand type. */
4456 CHECK_FIELD (new_val, 1048575, -1048576, 0);
4459 insn = (insn & ~ 0x1fffff) | re_assemble_21 (val);
4462 /* Handle all the opcodes with the 'i' operand type. */
4464 CHECK_FIELD (new_val, 1023, -1023, 0);
4467 insn = (insn & ~ 0x7ff) | low_sign_unext (val, 11);
4470 /* Handle all the opcodes with the 'w' operand type. */
4472 CHECK_FIELD (new_val - 8, 8191, -8192, 0);
4475 insn = (insn & ~ 0x1ffd) | re_assemble_12 (val >> 2);
4478 /* Handle some of the opcodes with the 'W' operand type. */
4481 offsetT distance = *valp;
4483 /* If this is an absolute branch (ie no link) with an out of
4484 range target, then we want to complain. */
4485 if (fixP->fx_r_type == (int) R_HPPA_PCREL_CALL
4486 && (insn & 0xffe00000) == 0xe8000000)
4487 CHECK_FIELD (distance - 8, 262143, -262144, 0);
4489 CHECK_FIELD (new_val - 8, 262143, -262144, 0);
4492 insn = (insn & ~ 0x1f1ffd) | re_assemble_17 (val >> 2);
4498 offsetT distance = *valp;
4500 /* If this is an absolute branch (ie no link) with an out of
4501 range target, then we want to complain. */
4502 if (fixP->fx_r_type == (int) R_HPPA_PCREL_CALL
4503 && (insn & 0xffe00000) == 0xe8000000)
4504 CHECK_FIELD (distance - 8, 8388607, -8388608, 0);
4506 CHECK_FIELD (new_val - 8, 8388607, -8388608, 0);
4509 insn = (insn & ~ 0x3ff1ffd) | re_assemble_22 (val >> 2);
4515 insn = (insn & ~ 0xfff1) | re_assemble_16 (val & -8);
4520 insn = (insn & ~ 0xfff9) | re_assemble_16 (val & -4);
4525 insn = (insn & ~ 0xffff) | re_assemble_16 (val);
4533 as_bad (_("Unknown relocation encountered in md_apply_fix."));
4537 /* Insert the relocation. */
4538 bfd_put_32 (stdoutput, insn, buf);
4542 /* Exactly what point is a PC-relative offset relative TO?
4543 On the PA, they're relative to the address of the offset. */
4546 md_pcrel_from (fixP)
4549 return fixP->fx_where + fixP->fx_frag->fr_address;
4552 /* Return nonzero if the input line pointer is at the end of
4556 is_end_of_statement ()
4558 return ((*input_line_pointer == '\n')
4559 || (*input_line_pointer == ';')
4560 || (*input_line_pointer == '!'));
4563 /* Read a number from S. The number might come in one of many forms,
4564 the most common will be a hex or decimal constant, but it could be
4565 a pre-defined register (Yuk!), or an absolute symbol.
4567 Return 1 on success or 0 on failure. If STRICT, then a missing
4568 register prefix will cause a failure. The number itself is
4569 returned in `pa_number'.
4571 IS_FLOAT indicates that a PA-89 FP register number should be
4572 parsed; A `l' or `r' suffix is checked for if but 2 of IS_FLOAT is
4575 pa_parse_number can not handle negative constants and will fail
4576 horribly if it is passed such a constant. */
4579 pa_parse_number (s, is_float)
4589 boolean have_prefix;
4591 /* Skip whitespace before the number. */
4592 while (*p == ' ' || *p == '\t')
4598 if (!strict && isdigit (*p))
4600 /* Looks like a number. */
4602 if (*p == '0' && (*(p + 1) == 'x' || *(p + 1) == 'X'))
4604 /* The number is specified in hex. */
4606 while (isdigit (*p) || ((*p >= 'a') && (*p <= 'f'))
4607 || ((*p >= 'A') && (*p <= 'F')))
4610 num = num * 16 + *p - '0';
4611 else if (*p >= 'a' && *p <= 'f')
4612 num = num * 16 + *p - 'a' + 10;
4614 num = num * 16 + *p - 'A' + 10;
4620 /* The number is specified in decimal. */
4621 while (isdigit (*p))
4623 num = num * 10 + *p - '0';
4630 /* Check for a `l' or `r' suffix. */
4633 pa_number += FP_REG_BASE;
4634 if (! (is_float & 2))
4636 if (IS_R_SELECT (p))
4638 pa_number += FP_REG_RSEL;
4641 else if (IS_L_SELECT (p))
4650 /* The number might be a predefined register. */
4655 /* Tege hack: Special case for general registers as the general
4656 code makes a binary search with case translation, and is VERY
4661 if (*p == 'e' && *(p + 1) == 't'
4662 && (*(p + 2) == '0' || *(p + 2) == '1'))
4665 num = *p - '0' + 28;
4673 else if (!isdigit (*p))
4676 as_bad (_("Undefined register: '%s'."), name);
4682 num = num * 10 + *p++ - '0';
4683 while (isdigit (*p));
4688 /* Do a normal register search. */
4689 while (is_part_of_name (c))
4695 status = reg_name_search (name);
4701 as_bad (_("Undefined register: '%s'."), name);
4711 /* And finally, it could be a symbol in the absolute section which
4712 is effectively a constant, or a register alias symbol. */
4715 while (is_part_of_name (c))
4721 if ((sym = symbol_find (name)) != NULL)
4723 if (S_GET_SEGMENT (sym) == reg_section)
4725 num = S_GET_VALUE (sym);
4726 /* Well, we don't really have one, but we do have a
4730 else if (S_GET_SEGMENT (sym) == &bfd_abs_section)
4731 num = S_GET_VALUE (sym);
4735 as_bad (_("Non-absolute symbol: '%s'."), name);
4741 /* There is where we'd come for an undefined symbol
4742 or for an empty string. For an empty string we
4743 will return zero. That's a concession made for
4744 compatability with the braindamaged HP assemblers. */
4750 as_bad (_("Undefined absolute constant: '%s'."), name);
4759 if (!strict || have_prefix)
4767 #define REG_NAME_CNT (sizeof(pre_defined_registers) / sizeof(struct pd_reg))
4769 /* Given NAME, find the register number associated with that name, return
4770 the integer value associated with the given name or -1 on failure. */
4773 reg_name_search (name)
4776 int middle, low, high;
4780 high = REG_NAME_CNT - 1;
4784 middle = (low + high) / 2;
4785 cmp = strcasecmp (name, pre_defined_registers[middle].name);
4791 return pre_defined_registers[middle].value;
4793 while (low <= high);
4798 /* Return nonzero if the given INSN and L/R information will require
4799 a new PA-1.1 opcode. */
4804 if ((pa_number & FP_REG_RSEL) != 0
4805 && !(the_insn.fpof1 == DBL && the_insn.fpof2 == DBL))
4807 /* If this instruction is specific to a particular architecture,
4808 then set a new architecture. */
4809 if (bfd_get_mach (stdoutput) < pa11)
4811 if (!bfd_set_arch_mach (stdoutput, bfd_arch_hppa, pa11))
4812 as_warn (_("could not update architecture and machine"));
4820 /* Parse a condition for a fcmp instruction. Return the numerical
4821 code associated with the condition. */
4824 pa_parse_fp_cmp_cond (s)
4831 for (i = 0; i < 32; i++)
4833 if (strncasecmp (*s, fp_cond_map[i].string,
4834 strlen (fp_cond_map[i].string)) == 0)
4836 cond = fp_cond_map[i].cond;
4837 *s += strlen (fp_cond_map[i].string);
4838 /* If not a complete match, back up the input string and
4840 if (**s != ' ' && **s != '\t')
4842 *s -= strlen (fp_cond_map[i].string);
4845 while (**s == ' ' || **s == '\t')
4851 as_bad (_("Invalid FP Compare Condition: %s"), *s);
4853 /* Advance over the bogus completer. */
4854 while (**s != ',' && **s != ' ' && **s != '\t')
4860 /* Parse a graphics test complete for ftest. */
4863 pa_parse_ftest_gfx_completer (s)
4869 if (strncasecmp (*s, "acc8", 4) == 0)
4874 else if (strncasecmp (*s, "acc6", 4) == 0)
4879 else if (strncasecmp (*s, "acc4", 4) == 0)
4884 else if (strncasecmp (*s, "acc2", 4) == 0)
4889 else if (strncasecmp (*s, "acc", 3) == 0)
4894 else if (strncasecmp (*s, "rej8", 4) == 0)
4899 else if (strncasecmp (*s, "rej", 3) == 0)
4907 as_bad (_("Invalid FTEST completer: %s"), *s);
4913 /* Parse an FP operand format completer returning the completer
4916 static fp_operand_format
4917 pa_parse_fp_cnv_format (s)
4926 if (strncasecmp (*s, "sgl", 3) == 0)
4931 else if (strncasecmp (*s, "dbl", 3) == 0)
4936 else if (strncasecmp (*s, "quad", 4) == 0)
4941 else if (strncasecmp (*s, "w", 1) == 0)
4946 else if (strncasecmp (*s, "uw", 2) == 0)
4951 else if (strncasecmp (*s, "dw", 2) == 0)
4956 else if (strncasecmp (*s, "udw", 3) == 0)
4961 else if (strncasecmp (*s, "qw", 2) == 0)
4966 else if (strncasecmp (*s, "uqw", 3) == 0)
4973 format = ILLEGAL_FMT;
4974 as_bad (_("Invalid FP Operand Format: %3s"), *s);
4981 /* Parse an FP operand format completer returning the completer
4984 static fp_operand_format
4985 pa_parse_fp_format (s)
4994 if (strncasecmp (*s, "sgl", 3) == 0)
4999 else if (strncasecmp (*s, "dbl", 3) == 0)
5004 else if (strncasecmp (*s, "quad", 4) == 0)
5011 format = ILLEGAL_FMT;
5012 as_bad (_("Invalid FP Operand Format: %3s"), *s);
5019 /* Convert from a selector string into a selector type. */
5022 pa_chk_field_selector (str)
5025 int middle, low, high;
5029 /* Read past any whitespace. */
5030 /* FIXME: should we read past newlines and formfeeds??? */
5031 while (**str == ' ' || **str == '\t' || **str == '\n' || **str == '\f')
5034 if ((*str)[1] == '\'' || (*str)[1] == '%')
5035 name[0] = tolower ((*str)[0]),
5037 else if ((*str)[2] == '\'' || (*str)[2] == '%')
5038 name[0] = tolower ((*str)[0]),
5039 name[1] = tolower ((*str)[1]),
5041 else if ((*str)[3] == '\'' || (*str)[3] == '%')
5042 name[0] = tolower ((*str)[0]),
5043 name[1] = tolower ((*str)[1]),
5044 name[2] = tolower ((*str)[2]),
5050 high = sizeof (selector_table) / sizeof (struct selector_entry) - 1;
5054 middle = (low + high) / 2;
5055 cmp = strcmp (name, selector_table[middle].prefix);
5062 *str += strlen (name) + 1;
5064 if (selector_table[middle].field_selector == e_nsel)
5067 return selector_table[middle].field_selector;
5070 while (low <= high);
5075 /* Mark (via expr_end) the end of an expression (I think). FIXME. */
5078 get_expression (str)
5084 save_in = input_line_pointer;
5085 input_line_pointer = str;
5086 seg = expression (&the_insn.exp);
5087 if (!(seg == absolute_section
5088 || seg == undefined_section
5089 || SEG_NORMAL (seg)))
5091 as_warn (_("Bad segment in expression."));
5092 expr_end = input_line_pointer;
5093 input_line_pointer = save_in;
5096 expr_end = input_line_pointer;
5097 input_line_pointer = save_in;
5101 /* Mark (via expr_end) the end of an absolute expression. FIXME. */
5103 pa_get_absolute_expression (insn, strp)
5109 insn->field_selector = pa_chk_field_selector (strp);
5110 save_in = input_line_pointer;
5111 input_line_pointer = *strp;
5112 expression (&insn->exp);
5113 /* This is not perfect, but is a huge improvement over doing nothing.
5115 The PA assembly syntax is ambigious in a variety of ways. Consider
5116 this string "4 %r5" Is that the number 4 followed by the register
5117 r5, or is that 4 MOD r5?
5119 If we get a modulo expresion When looking for an absolute, we try
5120 again cutting off the input string at the first whitespace character. */
5121 if (insn->exp.X_op == O_modulus)
5126 input_line_pointer = *strp;
5128 while (*s != ',' && *s != ' ' && *s != '\t')
5134 retval = pa_get_absolute_expression (insn, strp);
5136 input_line_pointer = save_in;
5138 return evaluate_absolute (insn);
5140 /* When in strict mode we have a non-match, fix up the pointers
5141 and return to our caller. */
5142 if (insn->exp.X_op != O_constant && strict)
5144 expr_end = input_line_pointer;
5145 input_line_pointer = save_in;
5148 if (insn->exp.X_op != O_constant)
5150 as_bad (_("Bad segment (should be absolute)."));
5151 expr_end = input_line_pointer;
5152 input_line_pointer = save_in;
5155 expr_end = input_line_pointer;
5156 input_line_pointer = save_in;
5157 return evaluate_absolute (insn);
5160 /* Evaluate an absolute expression EXP which may be modified by
5161 the selector FIELD_SELECTOR. Return the value of the expression. */
5163 evaluate_absolute (insn)
5168 int field_selector = insn->field_selector;
5171 value = exp.X_add_number;
5173 return hppa_field_adjust (0, value, field_selector);
5176 /* Given an argument location specification return the associated
5177 argument location number. */
5180 pa_build_arg_reloc (type_name)
5184 if (strncasecmp (type_name, "no", 2) == 0)
5186 if (strncasecmp (type_name, "gr", 2) == 0)
5188 else if (strncasecmp (type_name, "fr", 2) == 0)
5190 else if (strncasecmp (type_name, "fu", 2) == 0)
5193 as_bad (_("Invalid argument location: %s\n"), type_name);
5198 /* Encode and return an argument relocation specification for
5199 the given register in the location specified by arg_reloc. */
5202 pa_align_arg_reloc (reg, arg_reloc)
5204 unsigned int arg_reloc;
5206 unsigned int new_reloc;
5208 new_reloc = arg_reloc;
5224 as_bad (_("Invalid argument description: %d"), reg);
5230 /* Parse a PA nullification completer (,n). Return nonzero if the
5231 completer was found; return zero if no completer was found. */
5243 if (strncasecmp (*s, "n", 1) == 0)
5247 as_bad (_("Invalid Nullification: (%c)"), **s);
5256 /* Parse a non-negated compare/subtract completer returning the
5257 number (for encoding in instrutions) of the given completer.
5259 ISBRANCH specifies whether or not this is parsing a condition
5260 completer for a branch (vs a nullification completer for a
5261 computational instruction. */
5264 pa_parse_nonneg_cmpsub_cmpltr (s, isbranch)
5269 char *name = *s + 1;
5278 while (**s != ',' && **s != ' ' && **s != '\t')
5283 if (strcmp (name, "=") == 0)
5287 else if (strcmp (name, "<") == 0)
5291 else if (strcmp (name, "<=") == 0)
5295 else if (strcmp (name, "<<") == 0)
5299 else if (strcmp (name, "<<=") == 0)
5303 else if (strcasecmp (name, "sv") == 0)
5307 else if (strcasecmp (name, "od") == 0)
5311 /* If we have something like addb,n then there is no condition
5313 else if (strcasecmp (name, "n") == 0 && isbranch)
5325 /* Reset pointers if this was really a ,n for a branch instruction. */
5332 /* Parse a negated compare/subtract completer returning the
5333 number (for encoding in instrutions) of the given completer.
5335 ISBRANCH specifies whether or not this is parsing a condition
5336 completer for a branch (vs a nullification completer for a
5337 computational instruction. */
5340 pa_parse_neg_cmpsub_cmpltr (s, isbranch)
5345 char *name = *s + 1;
5354 while (**s != ',' && **s != ' ' && **s != '\t')
5359 if (strcasecmp (name, "tr") == 0)
5363 else if (strcmp (name, "<>") == 0)
5367 else if (strcmp (name, ">=") == 0)
5371 else if (strcmp (name, ">") == 0)
5375 else if (strcmp (name, ">>=") == 0)
5379 else if (strcmp (name, ">>") == 0)
5383 else if (strcasecmp (name, "nsv") == 0)
5387 else if (strcasecmp (name, "ev") == 0)
5391 /* If we have something like addb,n then there is no condition
5393 else if (strcasecmp (name, "n") == 0 && isbranch)
5405 /* Reset pointers if this was really a ,n for a branch instruction. */
5412 /* Parse a 64 bit compare and branch completer returning the number (for
5413 encoding in instrutions) of the given completer.
5415 Nonnegated comparisons are returned as 0-7, negated comparisons are
5416 returned as 8-15. */
5419 pa_parse_cmpb_64_cmpltr (s)
5423 char *name = *s + 1;
5430 while (**s != ',' && **s != ' ' && **s != '\t')
5435 if (strcmp (name, "*") == 0)
5439 else if (strcmp (name, "*=") == 0)
5443 else if (strcmp (name, "*<") == 0)
5447 else if (strcmp (name, "*<=") == 0)
5451 else if (strcmp (name, "*<<") == 0)
5455 else if (strcmp (name, "*<<=") == 0)
5459 else if (strcasecmp (name, "*sv") == 0)
5463 else if (strcasecmp (name, "*od") == 0)
5467 else if (strcasecmp (name, "*tr") == 0)
5471 else if (strcmp (name, "*<>") == 0)
5475 else if (strcmp (name, "*>=") == 0)
5479 else if (strcmp (name, "*>") == 0)
5483 else if (strcmp (name, "*>>=") == 0)
5487 else if (strcmp (name, "*>>") == 0)
5491 else if (strcasecmp (name, "*nsv") == 0)
5495 else if (strcasecmp (name, "*ev") == 0)
5509 /* Parse a 64 bit compare immediate and branch completer returning the number
5510 (for encoding in instrutions) of the given completer. */
5513 pa_parse_cmpib_64_cmpltr (s)
5517 char *name = *s + 1;
5524 while (**s != ',' && **s != ' ' && **s != '\t')
5529 if (strcmp (name, "*<<") == 0)
5533 else if (strcmp (name, "*=") == 0)
5537 else if (strcmp (name, "*<") == 0)
5541 else if (strcmp (name, "*<=") == 0)
5545 else if (strcmp (name, "*>>=") == 0)
5549 else if (strcmp (name, "*<>") == 0)
5553 else if (strcasecmp (name, "*>=") == 0)
5557 else if (strcasecmp (name, "*>") == 0)
5571 /* Parse a non-negated addition completer returning the number
5572 (for encoding in instrutions) of the given completer.
5574 ISBRANCH specifies whether or not this is parsing a condition
5575 completer for a branch (vs a nullification completer for a
5576 computational instruction. */
5579 pa_parse_nonneg_add_cmpltr (s, isbranch)
5584 char *name = *s + 1;
5592 while (**s != ',' && **s != ' ' && **s != '\t')
5596 if (strcmp (name, "=") == 0)
5600 else if (strcmp (name, "<") == 0)
5604 else if (strcmp (name, "<=") == 0)
5608 else if (strcasecmp (name, "nuv") == 0)
5612 else if (strcasecmp (name, "znv") == 0)
5616 else if (strcasecmp (name, "sv") == 0)
5620 else if (strcasecmp (name, "od") == 0)
5624 /* If we have something like addb,n then there is no condition
5626 else if (strcasecmp (name, "n") == 0 && isbranch)
5637 /* Reset pointers if this was really a ,n for a branch instruction. */
5638 if (cmpltr == 0 && *name == 'n' && isbranch)
5644 /* Parse a negated addition completer returning the number
5645 (for encoding in instrutions) of the given completer.
5647 ISBRANCH specifies whether or not this is parsing a condition
5648 completer for a branch (vs a nullification completer for a
5649 computational instruction). */
5652 pa_parse_neg_add_cmpltr (s, isbranch)
5657 char *name = *s + 1;
5665 while (**s != ',' && **s != ' ' && **s != '\t')
5669 if (strcasecmp (name, "tr") == 0)
5673 else if (strcmp (name, "<>") == 0)
5677 else if (strcmp (name, ">=") == 0)
5681 else if (strcmp (name, ">") == 0)
5685 else if (strcasecmp (name, "uv") == 0)
5689 else if (strcasecmp (name, "vnz") == 0)
5693 else if (strcasecmp (name, "nsv") == 0)
5697 else if (strcasecmp (name, "ev") == 0)
5701 /* If we have something like addb,n then there is no condition
5703 else if (strcasecmp (name, "n") == 0 && isbranch)
5714 /* Reset pointers if this was really a ,n for a branch instruction. */
5715 if (cmpltr == 0 && *name == 'n' && isbranch)
5721 /* Parse a 64 bit wide mode add and branch completer returning the number (for
5722 encoding in instrutions) of the given completer. */
5725 pa_parse_addb_64_cmpltr (s)
5729 char *name = *s + 1;
5738 while (**s != ',' && **s != ' ' && **s != '\t')
5742 if (strcmp (name, "=") == 0)
5746 else if (strcmp (name, "<") == 0)
5750 else if (strcmp (name, "<=") == 0)
5754 else if (strcasecmp (name, "nuv") == 0)
5758 else if (strcasecmp (name, "*=") == 0)
5762 else if (strcasecmp (name, "*<") == 0)
5766 else if (strcasecmp (name, "*<=") == 0)
5770 else if (strcmp (name, "tr") == 0)
5774 else if (strcmp (name, "<>") == 0)
5778 else if (strcmp (name, ">=") == 0)
5782 else if (strcmp (name, ">") == 0)
5786 else if (strcasecmp (name, "uv") == 0)
5790 else if (strcasecmp (name, "*<>") == 0)
5794 else if (strcasecmp (name, "*>=") == 0)
5798 else if (strcasecmp (name, "*>") == 0)
5802 /* If we have something like addb,n then there is no condition
5804 else if (strcasecmp (name, "n") == 0)
5816 /* Reset pointers if this was really a ,n for a branch instruction. */
5824 /* Handle an alignment directive. Special so that we can update the
5825 alignment of the subspace if necessary. */
5830 /* We must have a valid space and subspace. */
5831 pa_check_current_space_and_subspace ();
5833 /* Let the generic gas code do most of the work. */
5834 s_align_bytes (bytes);
5836 /* If bytes is a power of 2, then update the current subspace's
5837 alignment if necessary. */
5838 if (log2 (bytes) != -1)
5839 record_alignment (current_subspace->ssd_seg, log2 (bytes));
5843 /* Handle a .BLOCK type pseudo-op. */
5847 int z ATTRIBUTE_UNUSED;
5851 unsigned int temp_size;
5855 /* We must have a valid space and subspace. */
5856 pa_check_current_space_and_subspace ();
5859 temp_size = get_absolute_expression ();
5861 /* Always fill with zeros, that's what the HP assembler does. */
5864 p = frag_var (rs_fill, (int) temp_size, (int) temp_size,
5865 (relax_substateT) 0, (symbolS *) 0, (offsetT) 1, NULL);
5866 memset (p, 0, temp_size);
5868 /* Convert 2 bytes at a time. */
5870 for (i = 0; i < temp_size; i += 2)
5872 md_number_to_chars (p + i,
5874 (int) ((temp_size - i) > 2 ? 2 : (temp_size - i)));
5877 pa_undefine_label ();
5878 demand_empty_rest_of_line ();
5881 /* Handle a .begin_brtab and .end_brtab pseudo-op. */
5885 int begin ATTRIBUTE_UNUSED;
5889 /* The BRTAB relocations are only availble in SOM (to denote
5890 the beginning and end of branch tables). */
5891 char *where = frag_more (0);
5893 fix_new_hppa (frag_now, where - frag_now->fr_literal, 0,
5894 NULL, (offsetT) 0, NULL,
5895 0, begin ? R_HPPA_BEGIN_BRTAB : R_HPPA_END_BRTAB,
5896 e_fsel, 0, 0, NULL);
5899 demand_empty_rest_of_line ();
5902 /* Handle a .begin_try and .end_try pseudo-op. */
5906 int begin ATTRIBUTE_UNUSED;
5910 char *where = frag_more (0);
5915 /* The TRY relocations are only availble in SOM (to denote
5916 the beginning and end of exception handling regions). */
5918 fix_new_hppa (frag_now, where - frag_now->fr_literal, 0,
5919 NULL, (offsetT) 0, begin ? NULL : &exp,
5920 0, begin ? R_HPPA_BEGIN_TRY : R_HPPA_END_TRY,
5921 e_fsel, 0, 0, NULL);
5924 demand_empty_rest_of_line ();
5927 /* Handle a .CALL pseudo-op. This involves storing away information
5928 about where arguments are to be found so the linker can detect
5929 (and correct) argument location mismatches between caller and callee. */
5933 int unused ATTRIBUTE_UNUSED;
5936 /* We must have a valid space and subspace. */
5937 pa_check_current_space_and_subspace ();
5940 pa_call_args (&last_call_desc);
5941 demand_empty_rest_of_line ();
5944 /* Do the dirty work of building a call descriptor which describes
5945 where the caller placed arguments to a function call. */
5948 pa_call_args (call_desc)
5949 struct call_desc *call_desc;
5952 unsigned int temp, arg_reloc;
5954 while (!is_end_of_statement ())
5956 name = input_line_pointer;
5957 c = get_symbol_end ();
5958 /* Process a source argument. */
5959 if ((strncasecmp (name, "argw", 4) == 0))
5961 temp = atoi (name + 4);
5962 p = input_line_pointer;
5964 input_line_pointer++;
5965 name = input_line_pointer;
5966 c = get_symbol_end ();
5967 arg_reloc = pa_build_arg_reloc (name);
5968 call_desc->arg_reloc |= pa_align_arg_reloc (temp, arg_reloc);
5970 /* Process a return value. */
5971 else if ((strncasecmp (name, "rtnval", 6) == 0))
5973 p = input_line_pointer;
5975 input_line_pointer++;
5976 name = input_line_pointer;
5977 c = get_symbol_end ();
5978 arg_reloc = pa_build_arg_reloc (name);
5979 call_desc->arg_reloc |= (arg_reloc & 0x3);
5983 as_bad (_("Invalid .CALL argument: %s"), name);
5985 p = input_line_pointer;
5987 if (!is_end_of_statement ())
5988 input_line_pointer++;
5992 /* Return TRUE if FRAG1 and FRAG2 are the same. */
5995 is_same_frag (frag1, frag2)
6002 else if (frag2 == NULL)
6004 else if (frag1 == frag2)
6006 else if (frag2->fr_type == rs_fill && frag2->fr_fix == 0)
6007 return (is_same_frag (frag1, frag2->fr_next));
6013 /* Build an entry in the UNWIND subspace from the given function
6014 attributes in CALL_INFO. This is not needed for SOM as using
6015 R_ENTRY and R_EXIT relocations allow the linker to handle building
6016 of the unwind spaces. */
6019 pa_build_unwind_subspace (call_info)
6020 struct call_info *call_info;
6023 asection *seg, *save_seg;
6024 subsegT save_subseg;
6029 if (now_seg != text_section)
6032 if (bfd_get_arch_info (stdoutput)->bits_per_address == 32)
6033 reloc = R_PARISC_DIR32;
6035 reloc = R_PARISC_SEGREL32;
6038 save_subseg = now_subseg;
6039 /* Get into the right seg/subseg. This may involve creating
6040 the seg the first time through. Make sure to have the
6041 old seg/subseg so that we can reset things when we are done. */
6042 seg = bfd_get_section_by_name (stdoutput, UNWIND_SECTION_NAME);
6043 if (seg == ASEC_NULL)
6045 seg = subseg_new (UNWIND_SECTION_NAME, 0);
6046 bfd_set_section_flags (stdoutput, seg,
6047 SEC_READONLY | SEC_HAS_CONTENTS
6048 | SEC_LOAD | SEC_RELOC | SEC_ALLOC | SEC_DATA);
6049 bfd_set_section_alignment (stdoutput, seg, 2);
6052 subseg_set (seg, 0);
6054 /* Get some space to hold relocation information for the unwind
6057 md_number_to_chars (p, 0, 4);
6059 /* Relocation info. for start offset of the function. */
6060 fix_new_hppa (frag_now, p - frag_now->fr_literal, 4,
6061 call_info->start_symbol, (offsetT) 0,
6062 (expressionS *) NULL, 0, reloc,
6063 e_fsel, 32, 0, NULL);
6066 md_number_to_chars (p, 0, 4);
6068 /* Relocation info. for end offset of the function.
6070 Because we allow reductions of 32bit relocations for ELF, this will be
6071 reduced to section_sym + offset which avoids putting the temporary
6072 symbol into the symbol table. It (should) end up giving the same
6073 value as call_info->start_symbol + function size once the linker is
6074 finished with its work. */
6076 fix_new_hppa (frag_now, p - frag_now->fr_literal, 4,
6077 call_info->end_symbol, (offsetT) 0,
6078 (expressionS *) NULL, 0, reloc,
6079 e_fsel, 32, 0, NULL);
6082 unwind = (char *) &call_info->ci_unwind;
6083 for (i = 8; i < sizeof (struct unwind_table); i++)
6087 FRAG_APPEND_1_CHAR (c);
6091 /* Return back to the original segment/subsegment. */
6092 subseg_set (save_seg, save_subseg);
6096 /* Process a .CALLINFO pseudo-op. This information is used later
6097 to build unwind descriptors and maybe one day to support
6098 .ENTER and .LEAVE. */
6101 pa_callinfo (unused)
6102 int unused ATTRIBUTE_UNUSED;
6108 /* We must have a valid space and subspace. */
6109 pa_check_current_space_and_subspace ();
6112 /* .CALLINFO must appear within a procedure definition. */
6113 if (!within_procedure)
6114 as_bad (_(".callinfo is not within a procedure definition"));
6116 /* Mark the fact that we found the .CALLINFO for the
6117 current procedure. */
6118 callinfo_found = TRUE;
6120 /* Iterate over the .CALLINFO arguments. */
6121 while (!is_end_of_statement ())
6123 name = input_line_pointer;
6124 c = get_symbol_end ();
6125 /* Frame size specification. */
6126 if ((strncasecmp (name, "frame", 5) == 0))
6128 p = input_line_pointer;
6130 input_line_pointer++;
6131 temp = get_absolute_expression ();
6132 if ((temp & 0x3) != 0)
6134 as_bad (_("FRAME parameter must be a multiple of 8: %d\n"), temp);
6138 /* callinfo is in bytes and unwind_desc is in 8 byte units. */
6139 last_call_info->ci_unwind.descriptor.frame_size = temp / 8;
6142 /* Entry register (GR, GR and SR) specifications. */
6143 else if ((strncasecmp (name, "entry_gr", 8) == 0))
6145 p = input_line_pointer;
6147 input_line_pointer++;
6148 temp = get_absolute_expression ();
6149 /* The HP assembler accepts 19 as the high bound for ENTRY_GR
6150 even though %r19 is caller saved. I think this is a bug in
6151 the HP assembler, and we are not going to emulate it. */
6152 if (temp < 3 || temp > 18)
6153 as_bad (_("Value for ENTRY_GR must be in the range 3..18\n"));
6154 last_call_info->ci_unwind.descriptor.entry_gr = temp - 2;
6156 else if ((strncasecmp (name, "entry_fr", 8) == 0))
6158 p = input_line_pointer;
6160 input_line_pointer++;
6161 temp = get_absolute_expression ();
6162 /* Similarly the HP assembler takes 31 as the high bound even
6163 though %fr21 is the last callee saved floating point register. */
6164 if (temp < 12 || temp > 21)
6165 as_bad (_("Value for ENTRY_FR must be in the range 12..21\n"));
6166 last_call_info->ci_unwind.descriptor.entry_fr = temp - 11;
6168 else if ((strncasecmp (name, "entry_sr", 8) == 0))
6170 p = input_line_pointer;
6172 input_line_pointer++;
6173 temp = get_absolute_expression ();
6175 as_bad (_("Value for ENTRY_SR must be 3\n"));
6177 /* Note whether or not this function performs any calls. */
6178 else if ((strncasecmp (name, "calls", 5) == 0) ||
6179 (strncasecmp (name, "caller", 6) == 0))
6181 p = input_line_pointer;
6184 else if ((strncasecmp (name, "no_calls", 8) == 0))
6186 p = input_line_pointer;
6189 /* Should RP be saved into the stack. */
6190 else if ((strncasecmp (name, "save_rp", 7) == 0))
6192 p = input_line_pointer;
6194 last_call_info->ci_unwind.descriptor.save_rp = 1;
6196 /* Likewise for SP. */
6197 else if ((strncasecmp (name, "save_sp", 7) == 0))
6199 p = input_line_pointer;
6201 last_call_info->ci_unwind.descriptor.save_sp = 1;
6203 /* Is this an unwindable procedure. If so mark it so
6204 in the unwind descriptor. */
6205 else if ((strncasecmp (name, "no_unwind", 9) == 0))
6207 p = input_line_pointer;
6209 last_call_info->ci_unwind.descriptor.cannot_unwind = 1;
6211 /* Is this an interrupt routine. If so mark it in the
6212 unwind descriptor. */
6213 else if ((strncasecmp (name, "hpux_int", 7) == 0))
6215 p = input_line_pointer;
6217 last_call_info->ci_unwind.descriptor.hpux_interrupt_marker = 1;
6219 /* Is this a millicode routine. "millicode" isn't in my
6220 assembler manual, but my copy is old. The HP assembler
6221 accepts it, and there's a place in the unwind descriptor
6222 to drop the information, so we'll accept it too. */
6223 else if ((strncasecmp (name, "millicode", 9) == 0))
6225 p = input_line_pointer;
6227 last_call_info->ci_unwind.descriptor.millicode = 1;
6231 as_bad (_("Invalid .CALLINFO argument: %s"), name);
6232 *input_line_pointer = c;
6234 if (!is_end_of_statement ())
6235 input_line_pointer++;
6238 demand_empty_rest_of_line ();
6241 #if !(defined (OBJ_ELF) && defined (TE_LINUX))
6242 /* Switch to the text space. Like s_text, but delete our
6243 label when finished. */
6246 int unused ATTRIBUTE_UNUSED;
6249 current_space = is_defined_space ("$TEXT$");
6251 = pa_subsegment_to_subspace (current_space->sd_seg, 0);
6255 pa_undefine_label ();
6258 /* Switch to the data space. As usual delete our label. */
6261 int unused ATTRIBUTE_UNUSED;
6264 current_space = is_defined_space ("$PRIVATE$");
6266 = pa_subsegment_to_subspace (current_space->sd_seg, 0);
6269 pa_undefine_label ();
6272 /* This is different than the standard GAS s_comm(). On HP9000/800 machines,
6273 the .comm pseudo-op has the following symtax:
6275 <label> .comm <length>
6277 where <label> is optional and is a symbol whose address will be the start of
6278 a block of memory <length> bytes long. <length> must be an absolute
6279 expression. <length> bytes will be allocated in the current space
6282 Also note the label may not even be on the same line as the .comm.
6284 This difference in syntax means the colon function will be called
6285 on the symbol before we arrive in pa_comm. colon will set a number
6286 of attributes of the symbol that need to be fixed here. In particular
6287 the value, section pointer, fragment pointer, flags, etc. What
6290 This also makes error detection all but impossible. */
6294 int unused ATTRIBUTE_UNUSED;
6298 label_symbol_struct *label_symbol = pa_get_label ();
6301 symbol = label_symbol->lss_label;
6306 size = get_absolute_expression ();
6310 S_SET_VALUE (symbol, size);
6311 S_SET_SEGMENT (symbol, bfd_und_section_ptr);
6312 S_SET_EXTERNAL (symbol);
6314 /* colon() has already set the frag to the current location in the
6315 current subspace; we need to reset the fragment to the zero address
6316 fragment. We also need to reset the segment pointer. */
6317 symbol_set_frag (symbol, &zero_address_frag);
6319 demand_empty_rest_of_line ();
6321 #endif /* !(defined (OBJ_ELF) && defined (TE_LINUX)) */
6323 /* Process a .END pseudo-op. */
6327 int unused ATTRIBUTE_UNUSED;
6329 demand_empty_rest_of_line ();
6332 /* Process a .ENTER pseudo-op. This is not supported. */
6335 int unused ATTRIBUTE_UNUSED;
6338 /* We must have a valid space and subspace. */
6339 pa_check_current_space_and_subspace ();
6342 as_bad (_("The .ENTER pseudo-op is not supported"));
6343 demand_empty_rest_of_line ();
6346 /* Process a .ENTRY pseudo-op. .ENTRY marks the beginning of the
6350 int unused ATTRIBUTE_UNUSED;
6353 /* We must have a valid space and subspace. */
6354 pa_check_current_space_and_subspace ();
6357 if (!within_procedure)
6358 as_bad (_("Misplaced .entry. Ignored."));
6361 if (!callinfo_found)
6362 as_bad (_("Missing .callinfo."));
6364 demand_empty_rest_of_line ();
6365 within_entry_exit = TRUE;
6368 /* SOM defers building of unwind descriptors until the link phase.
6369 The assembler is responsible for creating an R_ENTRY relocation
6370 to mark the beginning of a region and hold the unwind bits, and
6371 for creating an R_EXIT relocation to mark the end of the region.
6373 FIXME. ELF should be using the same conventions! The problem
6374 is an unwind requires too much relocation space. Hmmm. Maybe
6375 if we split the unwind bits up between the relocations which
6376 denote the entry and exit points. */
6377 if (last_call_info->start_symbol != NULL)
6379 char *where = frag_more (0);
6381 fix_new_hppa (frag_now, where - frag_now->fr_literal, 0,
6382 NULL, (offsetT) 0, NULL,
6383 0, R_HPPA_ENTRY, e_fsel, 0, 0,
6384 (int *) &last_call_info->ci_unwind.descriptor);
6389 /* Silly nonsense for pa_equ. The only half-sensible use for this is
6390 being able to subtract two register symbols that specify a range of
6391 registers, to get the size of the range. */
6392 static int fudge_reg_expressions;
6395 hppa_force_reg_syms_absolute (resultP, op, rightP)
6396 expressionS *resultP;
6397 operatorT op ATTRIBUTE_UNUSED;
6398 expressionS *rightP;
6400 if (fudge_reg_expressions
6401 && rightP->X_op == O_register
6402 && resultP->X_op == O_register)
6404 rightP->X_op = O_constant;
6405 resultP->X_op = O_constant;
6407 return 0; /* Continue normal expr handling. */
6410 /* Handle a .EQU pseudo-op. */
6416 label_symbol_struct *label_symbol = pa_get_label ();
6421 symbol = label_symbol->lss_label;
6425 if (!pa_parse_number (&input_line_pointer, 0))
6426 as_bad (_(".REG expression must be a register"));
6427 S_SET_VALUE (symbol, pa_number);
6428 S_SET_SEGMENT (symbol, reg_section);
6435 fudge_reg_expressions = 1;
6436 seg = expression (&exp);
6437 fudge_reg_expressions = 0;
6438 if (exp.X_op != O_constant
6439 && exp.X_op != O_register)
6441 if (exp.X_op != O_absent)
6442 as_bad (_("bad or irreducible absolute expression; zero assumed"));
6443 exp.X_add_number = 0;
6444 seg = absolute_section;
6446 S_SET_VALUE (symbol, (unsigned int) exp.X_add_number);
6447 S_SET_SEGMENT (symbol, seg);
6453 as_bad (_(".REG must use a label"));
6455 as_bad (_(".EQU must use a label"));
6458 pa_undefine_label ();
6459 demand_empty_rest_of_line ();
6462 /* Helper function. Does processing for the end of a function. This
6463 usually involves creating some relocations or building special
6464 symbols to mark the end of the function. */
6471 where = frag_more (0);
6474 /* Mark the end of the function, stuff away the location of the frag
6475 for the end of the function, and finally call pa_build_unwind_subspace
6476 to add an entry in the unwind table. */
6477 hppa_elf_mark_end_of_function ();
6478 pa_build_unwind_subspace (last_call_info);
6480 /* SOM defers building of unwind descriptors until the link phase.
6481 The assembler is responsible for creating an R_ENTRY relocation
6482 to mark the beginning of a region and hold the unwind bits, and
6483 for creating an R_EXIT relocation to mark the end of the region.
6485 FIXME. ELF should be using the same conventions! The problem
6486 is an unwind requires too much relocation space. Hmmm. Maybe
6487 if we split the unwind bits up between the relocations which
6488 denote the entry and exit points. */
6489 fix_new_hppa (frag_now, where - frag_now->fr_literal, 0,
6491 NULL, 0, R_HPPA_EXIT, e_fsel, 0, 0,
6492 (int *) &last_call_info->ci_unwind.descriptor + 1);
6496 /* Process a .EXIT pseudo-op. */
6500 int unused ATTRIBUTE_UNUSED;
6503 /* We must have a valid space and subspace. */
6504 pa_check_current_space_and_subspace ();
6507 if (!within_procedure)
6508 as_bad (_(".EXIT must appear within a procedure"));
6511 if (!callinfo_found)
6512 as_bad (_("Missing .callinfo"));
6515 if (!within_entry_exit)
6516 as_bad (_("No .ENTRY for this .EXIT"));
6519 within_entry_exit = FALSE;
6524 demand_empty_rest_of_line ();
6527 /* Process a .EXPORT directive. This makes functions external
6528 and provides information such as argument relocation entries
6533 int unused ATTRIBUTE_UNUSED;
6538 name = input_line_pointer;
6539 c = get_symbol_end ();
6540 /* Make sure the given symbol exists. */
6541 if ((symbol = symbol_find_or_make (name)) == NULL)
6543 as_bad (_("Cannot define export symbol: %s\n"), name);
6544 p = input_line_pointer;
6546 input_line_pointer++;
6550 /* OK. Set the external bits and process argument relocations.
6551 For the HP, weak and global are not mutually exclusive.
6552 S_SET_EXTERNAL will not set BSF_GLOBAL if WEAK is set.
6553 Call S_SET_EXTERNAL to get the other processing. Manually
6554 set BSF_GLOBAL when we get back. */
6555 S_SET_EXTERNAL (symbol);
6556 symbol_get_bfdsym (symbol)->flags |= BSF_GLOBAL;
6557 p = input_line_pointer;
6559 if (!is_end_of_statement ())
6561 input_line_pointer++;
6562 pa_type_args (symbol, 1);
6566 demand_empty_rest_of_line ();
6569 /* Helper function to process arguments to a .EXPORT pseudo-op. */
6572 pa_type_args (symbolP, is_export)
6577 unsigned int temp, arg_reloc;
6578 pa_symbol_type type = SYMBOL_TYPE_UNKNOWN;
6579 asymbol *bfdsym = symbol_get_bfdsym (symbolP);
6581 if (strncasecmp (input_line_pointer, "absolute", 8) == 0)
6584 input_line_pointer += 8;
6585 bfdsym->flags &= ~BSF_FUNCTION;
6586 S_SET_SEGMENT (symbolP, bfd_abs_section_ptr);
6587 type = SYMBOL_TYPE_ABSOLUTE;
6589 else if (strncasecmp (input_line_pointer, "code", 4) == 0)
6591 input_line_pointer += 4;
6592 /* IMPORTing/EXPORTing CODE types for functions is meaningless for SOM,
6593 instead one should be IMPORTing/EXPORTing ENTRY types.
6595 Complain if one tries to EXPORT a CODE type since that's never
6596 done. Both GCC and HP C still try to IMPORT CODE types, so
6597 silently fix them to be ENTRY types. */
6598 if (S_IS_FUNCTION (symbolP))
6601 as_tsktsk (_("Using ENTRY rather than CODE in export directive for %s"),
6602 S_GET_NAME (symbolP));
6604 bfdsym->flags |= BSF_FUNCTION;
6605 type = SYMBOL_TYPE_ENTRY;
6609 bfdsym->flags &= ~BSF_FUNCTION;
6610 type = SYMBOL_TYPE_CODE;
6613 else if (strncasecmp (input_line_pointer, "data", 4) == 0)
6615 input_line_pointer += 4;
6616 bfdsym->flags &= ~BSF_FUNCTION;
6617 bfdsym->flags |= BSF_OBJECT;
6618 type = SYMBOL_TYPE_DATA;
6620 else if ((strncasecmp (input_line_pointer, "entry", 5) == 0))
6622 input_line_pointer += 5;
6623 bfdsym->flags |= BSF_FUNCTION;
6624 type = SYMBOL_TYPE_ENTRY;
6626 else if (strncasecmp (input_line_pointer, "millicode", 9) == 0)
6628 input_line_pointer += 9;
6629 bfdsym->flags |= BSF_FUNCTION;
6632 elf_symbol_type *elfsym = (elf_symbol_type *) bfdsym;
6633 elfsym->internal_elf_sym.st_info =
6634 ELF_ST_INFO (ELF_ST_BIND (elfsym->internal_elf_sym.st_info),
6638 type = SYMBOL_TYPE_MILLICODE;
6640 else if (strncasecmp (input_line_pointer, "plabel", 6) == 0)
6642 input_line_pointer += 6;
6643 bfdsym->flags &= ~BSF_FUNCTION;
6644 type = SYMBOL_TYPE_PLABEL;
6646 else if (strncasecmp (input_line_pointer, "pri_prog", 8) == 0)
6648 input_line_pointer += 8;
6649 bfdsym->flags |= BSF_FUNCTION;
6650 type = SYMBOL_TYPE_PRI_PROG;
6652 else if (strncasecmp (input_line_pointer, "sec_prog", 8) == 0)
6654 input_line_pointer += 8;
6655 bfdsym->flags |= BSF_FUNCTION;
6656 type = SYMBOL_TYPE_SEC_PROG;
6659 /* SOM requires much more information about symbol types
6660 than BFD understands. This is how we get this information
6661 to the SOM BFD backend. */
6662 #ifdef obj_set_symbol_type
6663 obj_set_symbol_type (bfdsym, (int) type);
6666 /* Now that the type of the exported symbol has been handled,
6667 handle any argument relocation information. */
6668 while (!is_end_of_statement ())
6670 if (*input_line_pointer == ',')
6671 input_line_pointer++;
6672 name = input_line_pointer;
6673 c = get_symbol_end ();
6674 /* Argument sources. */
6675 if ((strncasecmp (name, "argw", 4) == 0))
6677 p = input_line_pointer;
6679 input_line_pointer++;
6680 temp = atoi (name + 4);
6681 name = input_line_pointer;
6682 c = get_symbol_end ();
6683 arg_reloc = pa_align_arg_reloc (temp, pa_build_arg_reloc (name));
6684 #if defined (OBJ_SOM) || defined (ELF_ARG_RELOC)
6685 symbol_arg_reloc_info (symbolP) |= arg_reloc;
6687 *input_line_pointer = c;
6689 /* The return value. */
6690 else if ((strncasecmp (name, "rtnval", 6)) == 0)
6692 p = input_line_pointer;
6694 input_line_pointer++;
6695 name = input_line_pointer;
6696 c = get_symbol_end ();
6697 arg_reloc = pa_build_arg_reloc (name);
6698 #if defined (OBJ_SOM) || defined (ELF_ARG_RELOC)
6699 symbol_arg_reloc_info (symbolP) |= arg_reloc;
6701 *input_line_pointer = c;
6703 /* Privelege level. */
6704 else if ((strncasecmp (name, "priv_lev", 8)) == 0)
6706 p = input_line_pointer;
6708 input_line_pointer++;
6709 temp = atoi (input_line_pointer);
6711 ((obj_symbol_type *) bfdsym)->tc_data.ap.hppa_priv_level = temp;
6713 c = get_symbol_end ();
6714 *input_line_pointer = c;
6718 as_bad (_("Undefined .EXPORT/.IMPORT argument (ignored): %s"), name);
6719 p = input_line_pointer;
6722 if (!is_end_of_statement ())
6723 input_line_pointer++;
6727 /* Handle an .IMPORT pseudo-op. Any symbol referenced in a given
6728 assembly file must either be defined in the assembly file, or
6729 explicitly IMPORTED from another. */
6733 int unused ATTRIBUTE_UNUSED;
6738 name = input_line_pointer;
6739 c = get_symbol_end ();
6741 symbol = symbol_find (name);
6742 /* Ugh. We might be importing a symbol defined earlier in the file,
6743 in which case all the code below will really screw things up
6744 (set the wrong segment, symbol flags & type, etc). */
6745 if (symbol == NULL || !S_IS_DEFINED (symbol))
6747 symbol = symbol_find_or_make (name);
6748 p = input_line_pointer;
6751 if (!is_end_of_statement ())
6753 input_line_pointer++;
6754 pa_type_args (symbol, 0);
6758 /* Sigh. To be compatable with the HP assembler and to help
6759 poorly written assembly code, we assign a type based on
6760 the the current segment. Note only BSF_FUNCTION really
6761 matters, we do not need to set the full SYMBOL_TYPE_* info. */
6762 if (now_seg == text_section)
6763 symbol_get_bfdsym (symbol)->flags |= BSF_FUNCTION;
6765 /* If the section is undefined, then the symbol is undefined
6766 Since this is an import, leave the section undefined. */
6767 S_SET_SEGMENT (symbol, bfd_und_section_ptr);
6772 /* The symbol was already defined. Just eat everything up to
6773 the end of the current statement. */
6774 while (!is_end_of_statement ())
6775 input_line_pointer++;
6778 demand_empty_rest_of_line ();
6781 /* Handle a .LABEL pseudo-op. */
6785 int unused ATTRIBUTE_UNUSED;
6789 name = input_line_pointer;
6790 c = get_symbol_end ();
6792 if (strlen (name) > 0)
6795 p = input_line_pointer;
6800 as_warn (_("Missing label name on .LABEL"));
6803 if (!is_end_of_statement ())
6805 as_warn (_("extra .LABEL arguments ignored."));
6806 ignore_rest_of_line ();
6808 demand_empty_rest_of_line ();
6811 /* Handle a .LEAVE pseudo-op. This is not supported yet. */
6815 int unused ATTRIBUTE_UNUSED;
6818 /* We must have a valid space and subspace. */
6819 pa_check_current_space_and_subspace ();
6822 as_bad (_("The .LEAVE pseudo-op is not supported"));
6823 demand_empty_rest_of_line ();
6826 /* Handle a .LEVEL pseudo-op. */
6830 int unused ATTRIBUTE_UNUSED;
6834 level = input_line_pointer;
6835 if (strncmp (level, "1.0", 3) == 0)
6837 input_line_pointer += 3;
6838 if (!bfd_set_arch_mach (stdoutput, bfd_arch_hppa, 10))
6839 as_warn (_("could not set architecture and machine"));
6841 else if (strncmp (level, "1.1", 3) == 0)
6843 input_line_pointer += 3;
6844 if (!bfd_set_arch_mach (stdoutput, bfd_arch_hppa, 11))
6845 as_warn (_("could not set architecture and machine"));
6847 else if (strncmp (level, "2.0w", 4) == 0)
6849 input_line_pointer += 4;
6850 if (!bfd_set_arch_mach (stdoutput, bfd_arch_hppa, 25))
6851 as_warn (_("could not set architecture and machine"));
6853 else if (strncmp (level, "2.0", 3) == 0)
6855 input_line_pointer += 3;
6856 if (!bfd_set_arch_mach (stdoutput, bfd_arch_hppa, 20))
6857 as_warn (_("could not set architecture and machine"));
6861 as_bad (_("Unrecognized .LEVEL argument\n"));
6862 ignore_rest_of_line ();
6864 demand_empty_rest_of_line ();
6867 /* Handle a .ORIGIN pseudo-op. */
6871 int unused ATTRIBUTE_UNUSED;
6874 /* We must have a valid space and subspace. */
6875 pa_check_current_space_and_subspace ();
6879 pa_undefine_label ();
6882 /* Handle a .PARAM pseudo-op. This is much like a .EXPORT, except it
6883 is for static functions. FIXME. Should share more code with .EXPORT. */
6887 int unused ATTRIBUTE_UNUSED;
6892 name = input_line_pointer;
6893 c = get_symbol_end ();
6895 if ((symbol = symbol_find_or_make (name)) == NULL)
6897 as_bad (_("Cannot define static symbol: %s\n"), name);
6898 p = input_line_pointer;
6900 input_line_pointer++;
6904 S_CLEAR_EXTERNAL (symbol);
6905 p = input_line_pointer;
6907 if (!is_end_of_statement ())
6909 input_line_pointer++;
6910 pa_type_args (symbol, 0);
6914 demand_empty_rest_of_line ();
6917 /* Handle a .PROC pseudo-op. It is used to mark the beginning
6918 of a procedure from a syntactical point of view. */
6922 int unused ATTRIBUTE_UNUSED;
6924 struct call_info *call_info;
6927 /* We must have a valid space and subspace. */
6928 pa_check_current_space_and_subspace ();
6931 if (within_procedure)
6932 as_fatal (_("Nested procedures"));
6934 /* Reset global variables for new procedure. */
6935 callinfo_found = FALSE;
6936 within_procedure = TRUE;
6938 /* Create another call_info structure. */
6939 call_info = (struct call_info *) xmalloc (sizeof (struct call_info));
6942 as_fatal (_("Cannot allocate unwind descriptor\n"));
6944 memset (call_info, 0, sizeof (struct call_info));
6946 call_info->ci_next = NULL;
6948 if (call_info_root == NULL)
6950 call_info_root = call_info;
6951 last_call_info = call_info;
6955 last_call_info->ci_next = call_info;
6956 last_call_info = call_info;
6959 /* set up defaults on call_info structure */
6961 call_info->ci_unwind.descriptor.cannot_unwind = 0;
6962 call_info->ci_unwind.descriptor.region_desc = 1;
6963 call_info->ci_unwind.descriptor.hpux_interrupt_marker = 0;
6965 /* If we got a .PROC pseudo-op, we know that the function is defined
6966 locally. Make sure it gets into the symbol table. */
6968 label_symbol_struct *label_symbol = pa_get_label ();
6972 if (label_symbol->lss_label)
6974 last_call_info->start_symbol = label_symbol->lss_label;
6975 symbol_get_bfdsym (label_symbol->lss_label)->flags |= BSF_FUNCTION;
6978 as_bad (_("Missing function name for .PROC (corrupted label chain)"));
6981 last_call_info->start_symbol = NULL;
6984 demand_empty_rest_of_line ();
6987 /* Process the syntatical end of a procedure. Make sure all the
6988 appropriate pseudo-ops were found within the procedure. */
6992 int unused ATTRIBUTE_UNUSED;
6996 /* We must have a valid space and subspace. */
6997 pa_check_current_space_and_subspace ();
7000 /* If we are within a procedure definition, make sure we've
7001 defined a label for the procedure; handle case where the
7002 label was defined after the .PROC directive.
7004 Note there's not need to diddle with the segment or fragment
7005 for the label symbol in this case. We have already switched
7006 into the new $CODE$ subspace at this point. */
7007 if (within_procedure && last_call_info->start_symbol == NULL)
7009 label_symbol_struct *label_symbol = pa_get_label ();
7013 if (label_symbol->lss_label)
7015 last_call_info->start_symbol = label_symbol->lss_label;
7016 symbol_get_bfdsym (label_symbol->lss_label)->flags
7019 /* Also handle allocation of a fixup to hold the unwind
7020 information when the label appears after the proc/procend. */
7021 if (within_entry_exit)
7023 char *where = frag_more (0);
7025 fix_new_hppa (frag_now, where - frag_now->fr_literal, 0,
7026 NULL, (offsetT) 0, NULL,
7027 0, R_HPPA_ENTRY, e_fsel, 0, 0,
7028 (int *) &last_call_info->ci_unwind.descriptor);
7033 as_bad (_("Missing function name for .PROC (corrupted label chain)"));
7036 as_bad (_("Missing function name for .PROC"));
7039 if (!within_procedure)
7040 as_bad (_("misplaced .procend"));
7042 if (!callinfo_found)
7043 as_bad (_("Missing .callinfo for this procedure"));
7045 if (within_entry_exit)
7046 as_bad (_("Missing .EXIT for a .ENTRY"));
7049 /* ELF needs to mark the end of each function so that it can compute
7050 the size of the function (apparently its needed in the symbol table). */
7051 hppa_elf_mark_end_of_function ();
7054 within_procedure = FALSE;
7055 demand_empty_rest_of_line ();
7056 pa_undefine_label ();
7060 /* If VALUE is an exact power of two between zero and 2^31, then
7061 return log2 (VALUE). Else return -1. */
7069 while ((1 << shift) != value && shift < 32)
7078 /* Check to make sure we have a valid space and subspace. */
7081 pa_check_current_space_and_subspace ()
7083 if (current_space == NULL)
7084 as_fatal (_("Not in a space.\n"));
7086 if (current_subspace == NULL)
7087 as_fatal (_("Not in a subspace.\n"));
7090 /* Parse the parameters to a .SPACE directive; if CREATE_FLAG is nonzero,
7091 then create a new space entry to hold the information specified
7092 by the parameters to the .SPACE directive. */
7094 static sd_chain_struct *
7095 pa_parse_space_stmt (space_name, create_flag)
7099 char *name, *ptemp, c;
7100 char loadable, defined, private, sort;
7102 asection *seg = NULL;
7103 sd_chain_struct *space;
7105 /* load default values */
7111 if (strcmp (space_name, "$TEXT$") == 0)
7113 seg = pa_def_spaces[0].segment;
7114 defined = pa_def_spaces[0].defined;
7115 private = pa_def_spaces[0].private;
7116 sort = pa_def_spaces[0].sort;
7117 spnum = pa_def_spaces[0].spnum;
7119 else if (strcmp (space_name, "$PRIVATE$") == 0)
7121 seg = pa_def_spaces[1].segment;
7122 defined = pa_def_spaces[1].defined;
7123 private = pa_def_spaces[1].private;
7124 sort = pa_def_spaces[1].sort;
7125 spnum = pa_def_spaces[1].spnum;
7128 if (!is_end_of_statement ())
7130 print_errors = FALSE;
7131 ptemp = input_line_pointer + 1;
7132 /* First see if the space was specified as a number rather than
7133 as a name. According to the PA assembly manual the rest of
7134 the line should be ignored. */
7136 pa_parse_number (&ptemp, 0);
7140 input_line_pointer = ptemp;
7144 while (!is_end_of_statement ())
7146 input_line_pointer++;
7147 name = input_line_pointer;
7148 c = get_symbol_end ();
7149 if ((strncasecmp (name, "spnum", 5) == 0))
7151 *input_line_pointer = c;
7152 input_line_pointer++;
7153 spnum = get_absolute_expression ();
7155 else if ((strncasecmp (name, "sort", 4) == 0))
7157 *input_line_pointer = c;
7158 input_line_pointer++;
7159 sort = get_absolute_expression ();
7161 else if ((strncasecmp (name, "unloadable", 10) == 0))
7163 *input_line_pointer = c;
7166 else if ((strncasecmp (name, "notdefined", 10) == 0))
7168 *input_line_pointer = c;
7171 else if ((strncasecmp (name, "private", 7) == 0))
7173 *input_line_pointer = c;
7178 as_bad (_("Invalid .SPACE argument"));
7179 *input_line_pointer = c;
7180 if (!is_end_of_statement ())
7181 input_line_pointer++;
7185 print_errors = TRUE;
7188 if (create_flag && seg == NULL)
7189 seg = subseg_new (space_name, 0);
7191 /* If create_flag is nonzero, then create the new space with
7192 the attributes computed above. Else set the values in
7193 an already existing space -- this can only happen for
7194 the first occurence of a built-in space. */
7196 space = create_new_space (space_name, spnum, loadable, defined,
7197 private, sort, seg, 1);
7200 space = is_defined_space (space_name);
7201 SPACE_SPNUM (space) = spnum;
7202 SPACE_DEFINED (space) = defined & 1;
7203 SPACE_USER_DEFINED (space) = 1;
7206 #ifdef obj_set_section_attributes
7207 obj_set_section_attributes (seg, defined, private, sort, spnum);
7213 /* Handle a .SPACE pseudo-op; this switches the current space to the
7214 given space, creating the new space if necessary. */
7218 int unused ATTRIBUTE_UNUSED;
7220 char *name, c, *space_name, *save_s;
7221 sd_chain_struct *sd_chain;
7223 if (within_procedure)
7225 as_bad (_("Can\'t change spaces within a procedure definition. Ignored"));
7226 ignore_rest_of_line ();
7230 /* Check for some of the predefined spaces. FIXME: most of the code
7231 below is repeated several times, can we extract the common parts
7232 and place them into a subroutine or something similar? */
7233 /* FIXME Is this (and the next IF stmt) really right?
7234 What if INPUT_LINE_POINTER points to "$TEXT$FOO"? */
7235 if (strncmp (input_line_pointer, "$TEXT$", 6) == 0)
7237 input_line_pointer += 6;
7238 sd_chain = is_defined_space ("$TEXT$");
7239 if (sd_chain == NULL)
7240 sd_chain = pa_parse_space_stmt ("$TEXT$", 1);
7241 else if (SPACE_USER_DEFINED (sd_chain) == 0)
7242 sd_chain = pa_parse_space_stmt ("$TEXT$", 0);
7244 current_space = sd_chain;
7245 subseg_set (text_section, sd_chain->sd_last_subseg);
7247 = pa_subsegment_to_subspace (text_section,
7248 sd_chain->sd_last_subseg);
7249 demand_empty_rest_of_line ();
7252 if (strncmp (input_line_pointer, "$PRIVATE$", 9) == 0)
7254 input_line_pointer += 9;
7255 sd_chain = is_defined_space ("$PRIVATE$");
7256 if (sd_chain == NULL)
7257 sd_chain = pa_parse_space_stmt ("$PRIVATE$", 1);
7258 else if (SPACE_USER_DEFINED (sd_chain) == 0)
7259 sd_chain = pa_parse_space_stmt ("$PRIVATE$", 0);
7261 current_space = sd_chain;
7262 subseg_set (data_section, sd_chain->sd_last_subseg);
7264 = pa_subsegment_to_subspace (data_section,
7265 sd_chain->sd_last_subseg);
7266 demand_empty_rest_of_line ();
7269 if (!strncasecmp (input_line_pointer,
7270 GDB_DEBUG_SPACE_NAME,
7271 strlen (GDB_DEBUG_SPACE_NAME)))
7273 input_line_pointer += strlen (GDB_DEBUG_SPACE_NAME);
7274 sd_chain = is_defined_space (GDB_DEBUG_SPACE_NAME);
7275 if (sd_chain == NULL)
7276 sd_chain = pa_parse_space_stmt (GDB_DEBUG_SPACE_NAME, 1);
7277 else if (SPACE_USER_DEFINED (sd_chain) == 0)
7278 sd_chain = pa_parse_space_stmt (GDB_DEBUG_SPACE_NAME, 0);
7280 current_space = sd_chain;
7283 asection *gdb_section
7284 = bfd_make_section_old_way (stdoutput, GDB_DEBUG_SPACE_NAME);
7286 subseg_set (gdb_section, sd_chain->sd_last_subseg);
7288 = pa_subsegment_to_subspace (gdb_section,
7289 sd_chain->sd_last_subseg);
7291 demand_empty_rest_of_line ();
7295 /* It could be a space specified by number. */
7297 save_s = input_line_pointer;
7299 pa_parse_number (&input_line_pointer, 0);
7302 if ((sd_chain = pa_find_space_by_number (pa_number)))
7304 current_space = sd_chain;
7306 subseg_set (sd_chain->sd_seg, sd_chain->sd_last_subseg);
7308 = pa_subsegment_to_subspace (sd_chain->sd_seg,
7309 sd_chain->sd_last_subseg);
7310 demand_empty_rest_of_line ();
7315 /* Not a number, attempt to create a new space. */
7317 input_line_pointer = save_s;
7318 name = input_line_pointer;
7319 c = get_symbol_end ();
7320 space_name = xmalloc (strlen (name) + 1);
7321 strcpy (space_name, name);
7322 *input_line_pointer = c;
7324 sd_chain = pa_parse_space_stmt (space_name, 1);
7325 current_space = sd_chain;
7327 subseg_set (sd_chain->sd_seg, sd_chain->sd_last_subseg);
7328 current_subspace = pa_subsegment_to_subspace (sd_chain->sd_seg,
7329 sd_chain->sd_last_subseg);
7330 demand_empty_rest_of_line ();
7334 /* Switch to a new space. (I think). FIXME. */
7338 int unused ATTRIBUTE_UNUSED;
7343 sd_chain_struct *space;
7345 name = input_line_pointer;
7346 c = get_symbol_end ();
7347 space = is_defined_space (name);
7351 md_number_to_chars (p, SPACE_SPNUM (space), 4);
7354 as_warn (_("Undefined space: '%s' Assuming space number = 0."), name);
7356 *input_line_pointer = c;
7357 demand_empty_rest_of_line ();
7360 /* Handle a .SUBSPACE pseudo-op; this switches the current subspace to the
7361 given subspace, creating the new subspace if necessary.
7363 FIXME. Should mirror pa_space more closely, in particular how
7364 they're broken up into subroutines. */
7367 pa_subspace (create_new)
7370 char *name, *ss_name, c;
7371 char loadable, code_only, common, dup_common, zero, sort;
7372 int i, access, space_index, alignment, quadrant, applicable, flags;
7373 sd_chain_struct *space;
7374 ssd_chain_struct *ssd;
7377 if (current_space == NULL)
7378 as_fatal (_("Must be in a space before changing or declaring subspaces.\n"));
7380 if (within_procedure)
7382 as_bad (_("Can\'t change subspaces within a procedure definition. Ignored"));
7383 ignore_rest_of_line ();
7387 name = input_line_pointer;
7388 c = get_symbol_end ();
7389 ss_name = xmalloc (strlen (name) + 1);
7390 strcpy (ss_name, name);
7391 *input_line_pointer = c;
7393 /* Load default values. */
7405 space = current_space;
7409 ssd = is_defined_subspace (ss_name);
7410 /* Allow user to override the builtin attributes of subspaces. But
7411 only allow the attributes to be changed once! */
7412 if (ssd && SUBSPACE_DEFINED (ssd))
7414 subseg_set (ssd->ssd_seg, ssd->ssd_subseg);
7415 current_subspace = ssd;
7416 if (!is_end_of_statement ())
7417 as_warn (_("Parameters of an existing subspace can\'t be modified"));
7418 demand_empty_rest_of_line ();
7423 /* A new subspace. Load default values if it matches one of
7424 the builtin subspaces. */
7426 while (pa_def_subspaces[i].name)
7428 if (strcasecmp (pa_def_subspaces[i].name, ss_name) == 0)
7430 loadable = pa_def_subspaces[i].loadable;
7431 common = pa_def_subspaces[i].common;
7432 dup_common = pa_def_subspaces[i].dup_common;
7433 code_only = pa_def_subspaces[i].code_only;
7434 zero = pa_def_subspaces[i].zero;
7435 space_index = pa_def_subspaces[i].space_index;
7436 alignment = pa_def_subspaces[i].alignment;
7437 quadrant = pa_def_subspaces[i].quadrant;
7438 access = pa_def_subspaces[i].access;
7439 sort = pa_def_subspaces[i].sort;
7446 /* We should be working with a new subspace now. Fill in
7447 any information as specified by the user. */
7448 if (!is_end_of_statement ())
7450 input_line_pointer++;
7451 while (!is_end_of_statement ())
7453 name = input_line_pointer;
7454 c = get_symbol_end ();
7455 if ((strncasecmp (name, "quad", 4) == 0))
7457 *input_line_pointer = c;
7458 input_line_pointer++;
7459 quadrant = get_absolute_expression ();
7461 else if ((strncasecmp (name, "align", 5) == 0))
7463 *input_line_pointer = c;
7464 input_line_pointer++;
7465 alignment = get_absolute_expression ();
7466 if (log2 (alignment) == -1)
7468 as_bad (_("Alignment must be a power of 2"));
7472 else if ((strncasecmp (name, "access", 6) == 0))
7474 *input_line_pointer = c;
7475 input_line_pointer++;
7476 access = get_absolute_expression ();
7478 else if ((strncasecmp (name, "sort", 4) == 0))
7480 *input_line_pointer = c;
7481 input_line_pointer++;
7482 sort = get_absolute_expression ();
7484 else if ((strncasecmp (name, "code_only", 9) == 0))
7486 *input_line_pointer = c;
7489 else if ((strncasecmp (name, "unloadable", 10) == 0))
7491 *input_line_pointer = c;
7494 else if ((strncasecmp (name, "common", 6) == 0))
7496 *input_line_pointer = c;
7499 else if ((strncasecmp (name, "dup_comm", 8) == 0))
7501 *input_line_pointer = c;
7504 else if ((strncasecmp (name, "zero", 4) == 0))
7506 *input_line_pointer = c;
7509 else if ((strncasecmp (name, "first", 5) == 0))
7510 as_bad (_("FIRST not supported as a .SUBSPACE argument"));
7512 as_bad (_("Invalid .SUBSPACE argument"));
7513 if (!is_end_of_statement ())
7514 input_line_pointer++;
7518 /* Compute a reasonable set of BFD flags based on the information
7519 in the .subspace directive. */
7520 applicable = bfd_applicable_section_flags (stdoutput);
7523 flags |= (SEC_ALLOC | SEC_LOAD);
7526 if (common || dup_common)
7527 flags |= SEC_IS_COMMON;
7529 flags |= SEC_RELOC | SEC_HAS_CONTENTS;
7531 /* This is a zero-filled subspace (eg BSS). */
7533 flags &= ~(SEC_LOAD | SEC_HAS_CONTENTS);
7535 applicable &= flags;
7537 /* If this is an existing subspace, then we want to use the
7538 segment already associated with the subspace.
7540 FIXME NOW! ELF BFD doesn't appear to be ready to deal with
7541 lots of sections. It might be a problem in the PA ELF
7542 code, I do not know yet. For now avoid creating anything
7543 but the "standard" sections for ELF. */
7545 section = subseg_force_new (ss_name, 0);
7547 section = ssd->ssd_seg;
7549 section = subseg_new (ss_name, 0);
7552 seg_info (section)->bss = 1;
7554 /* Now set the flags. */
7555 bfd_set_section_flags (stdoutput, section, applicable);
7557 /* Record any alignment request for this section. */
7558 record_alignment (section, log2 (alignment));
7560 /* Set the starting offset for this section. */
7561 bfd_set_section_vma (stdoutput, section,
7562 pa_subspace_start (space, quadrant));
7564 /* Now that all the flags are set, update an existing subspace,
7565 or create a new one. */
7568 current_subspace = update_subspace (space, ss_name, loadable,
7569 code_only, common, dup_common,
7570 sort, zero, access, space_index,
7571 alignment, quadrant,
7574 current_subspace = create_new_subspace (space, ss_name, loadable,
7576 dup_common, zero, sort,
7577 access, space_index,
7578 alignment, quadrant, section);
7580 demand_empty_rest_of_line ();
7581 current_subspace->ssd_seg = section;
7582 subseg_set (current_subspace->ssd_seg, current_subspace->ssd_subseg);
7584 SUBSPACE_DEFINED (current_subspace) = 1;
7587 /* Create default space and subspace dictionaries. */
7594 space_dict_root = NULL;
7595 space_dict_last = NULL;
7598 while (pa_def_spaces[i].name)
7602 /* Pick the right name to use for the new section. */
7603 name = pa_def_spaces[i].name;
7605 pa_def_spaces[i].segment = subseg_new (name, 0);
7606 create_new_space (pa_def_spaces[i].name, pa_def_spaces[i].spnum,
7607 pa_def_spaces[i].loadable, pa_def_spaces[i].defined,
7608 pa_def_spaces[i].private, pa_def_spaces[i].sort,
7609 pa_def_spaces[i].segment, 0);
7614 while (pa_def_subspaces[i].name)
7617 int applicable, subsegment;
7618 asection *segment = NULL;
7619 sd_chain_struct *space;
7621 /* Pick the right name for the new section and pick the right
7622 subsegment number. */
7623 name = pa_def_subspaces[i].name;
7626 /* Create the new section. */
7627 segment = subseg_new (name, subsegment);
7629 /* For SOM we want to replace the standard .text, .data, and .bss
7630 sections with our own. We also want to set BFD flags for
7631 all the built-in subspaces. */
7632 if (!strcmp (pa_def_subspaces[i].name, "$CODE$"))
7634 text_section = segment;
7635 applicable = bfd_applicable_section_flags (stdoutput);
7636 bfd_set_section_flags (stdoutput, segment,
7637 applicable & (SEC_ALLOC | SEC_LOAD
7638 | SEC_RELOC | SEC_CODE
7640 | SEC_HAS_CONTENTS));
7642 else if (!strcmp (pa_def_subspaces[i].name, "$DATA$"))
7644 data_section = segment;
7645 applicable = bfd_applicable_section_flags (stdoutput);
7646 bfd_set_section_flags (stdoutput, segment,
7647 applicable & (SEC_ALLOC | SEC_LOAD
7649 | SEC_HAS_CONTENTS));
7652 else if (!strcmp (pa_def_subspaces[i].name, "$BSS$"))
7654 bss_section = segment;
7655 applicable = bfd_applicable_section_flags (stdoutput);
7656 bfd_set_section_flags (stdoutput, segment,
7657 applicable & SEC_ALLOC);
7659 else if (!strcmp (pa_def_subspaces[i].name, "$LIT$"))
7661 applicable = bfd_applicable_section_flags (stdoutput);
7662 bfd_set_section_flags (stdoutput, segment,
7663 applicable & (SEC_ALLOC | SEC_LOAD
7666 | SEC_HAS_CONTENTS));
7668 else if (!strcmp (pa_def_subspaces[i].name, "$MILLICODE$"))
7670 applicable = bfd_applicable_section_flags (stdoutput);
7671 bfd_set_section_flags (stdoutput, segment,
7672 applicable & (SEC_ALLOC | SEC_LOAD
7675 | SEC_HAS_CONTENTS));
7677 else if (!strcmp (pa_def_subspaces[i].name, "$UNWIND$"))
7679 applicable = bfd_applicable_section_flags (stdoutput);
7680 bfd_set_section_flags (stdoutput, segment,
7681 applicable & (SEC_ALLOC | SEC_LOAD
7684 | SEC_HAS_CONTENTS));
7687 /* Find the space associated with this subspace. */
7688 space = pa_segment_to_space (pa_def_spaces[pa_def_subspaces[i].
7689 def_space_index].segment);
7692 as_fatal (_("Internal error: Unable to find containing space for %s."),
7693 pa_def_subspaces[i].name);
7696 create_new_subspace (space, name,
7697 pa_def_subspaces[i].loadable,
7698 pa_def_subspaces[i].code_only,
7699 pa_def_subspaces[i].common,
7700 pa_def_subspaces[i].dup_common,
7701 pa_def_subspaces[i].zero,
7702 pa_def_subspaces[i].sort,
7703 pa_def_subspaces[i].access,
7704 pa_def_subspaces[i].space_index,
7705 pa_def_subspaces[i].alignment,
7706 pa_def_subspaces[i].quadrant,
7712 /* Create a new space NAME, with the appropriate flags as defined
7713 by the given parameters. */
7715 static sd_chain_struct *
7716 create_new_space (name, spnum, loadable, defined, private,
7717 sort, seg, user_defined)
7727 sd_chain_struct *chain_entry;
7729 chain_entry = (sd_chain_struct *) xmalloc (sizeof (sd_chain_struct));
7731 as_fatal (_("Out of memory: could not allocate new space chain entry: %s\n"),
7734 SPACE_NAME (chain_entry) = (char *) xmalloc (strlen (name) + 1);
7735 strcpy (SPACE_NAME (chain_entry), name);
7736 SPACE_DEFINED (chain_entry) = defined;
7737 SPACE_USER_DEFINED (chain_entry) = user_defined;
7738 SPACE_SPNUM (chain_entry) = spnum;
7740 chain_entry->sd_seg = seg;
7741 chain_entry->sd_last_subseg = -1;
7742 chain_entry->sd_subspaces = NULL;
7743 chain_entry->sd_next = NULL;
7745 /* Find spot for the new space based on its sort key. */
7746 if (!space_dict_last)
7747 space_dict_last = chain_entry;
7749 if (space_dict_root == NULL)
7750 space_dict_root = chain_entry;
7753 sd_chain_struct *chain_pointer;
7754 sd_chain_struct *prev_chain_pointer;
7756 chain_pointer = space_dict_root;
7757 prev_chain_pointer = NULL;
7759 while (chain_pointer)
7761 prev_chain_pointer = chain_pointer;
7762 chain_pointer = chain_pointer->sd_next;
7765 /* At this point we've found the correct place to add the new
7766 entry. So add it and update the linked lists as appropriate. */
7767 if (prev_chain_pointer)
7769 chain_entry->sd_next = chain_pointer;
7770 prev_chain_pointer->sd_next = chain_entry;
7774 space_dict_root = chain_entry;
7775 chain_entry->sd_next = chain_pointer;
7778 if (chain_entry->sd_next == NULL)
7779 space_dict_last = chain_entry;
7782 /* This is here to catch predefined spaces which do not get
7783 modified by the user's input. Another call is found at
7784 the bottom of pa_parse_space_stmt to handle cases where
7785 the user modifies a predefined space. */
7786 #ifdef obj_set_section_attributes
7787 obj_set_section_attributes (seg, defined, private, sort, spnum);
7793 /* Create a new subspace NAME, with the appropriate flags as defined
7794 by the given parameters.
7796 Add the new subspace to the subspace dictionary chain in numerical
7797 order as defined by the SORT entries. */
7799 static ssd_chain_struct *
7800 create_new_subspace (space, name, loadable, code_only, common,
7801 dup_common, is_zero, sort, access, space_index,
7802 alignment, quadrant, seg)
7803 sd_chain_struct *space;
7805 int loadable, code_only, common, dup_common, is_zero;
7813 ssd_chain_struct *chain_entry;
7815 chain_entry = (ssd_chain_struct *) xmalloc (sizeof (ssd_chain_struct));
7817 as_fatal (_("Out of memory: could not allocate new subspace chain entry: %s\n"), name);
7819 SUBSPACE_NAME (chain_entry) = (char *) xmalloc (strlen (name) + 1);
7820 strcpy (SUBSPACE_NAME (chain_entry), name);
7822 /* Initialize subspace_defined. When we hit a .subspace directive
7823 we'll set it to 1 which "locks-in" the subspace attributes. */
7824 SUBSPACE_DEFINED (chain_entry) = 0;
7826 chain_entry->ssd_subseg = 0;
7827 chain_entry->ssd_seg = seg;
7828 chain_entry->ssd_next = NULL;
7830 /* Find spot for the new subspace based on its sort key. */
7831 if (space->sd_subspaces == NULL)
7832 space->sd_subspaces = chain_entry;
7835 ssd_chain_struct *chain_pointer;
7836 ssd_chain_struct *prev_chain_pointer;
7838 chain_pointer = space->sd_subspaces;
7839 prev_chain_pointer = NULL;
7841 while (chain_pointer)
7843 prev_chain_pointer = chain_pointer;
7844 chain_pointer = chain_pointer->ssd_next;
7847 /* Now we have somewhere to put the new entry. Insert it and update
7849 if (prev_chain_pointer)
7851 chain_entry->ssd_next = chain_pointer;
7852 prev_chain_pointer->ssd_next = chain_entry;
7856 space->sd_subspaces = chain_entry;
7857 chain_entry->ssd_next = chain_pointer;
7861 #ifdef obj_set_subsection_attributes
7862 obj_set_subsection_attributes (seg, space->sd_seg, access,
7869 /* Update the information for the given subspace based upon the
7870 various arguments. Return the modified subspace chain entry. */
7872 static ssd_chain_struct *
7873 update_subspace (space, name, loadable, code_only, common, dup_common, sort,
7874 zero, access, space_index, alignment, quadrant, section)
7875 sd_chain_struct *space;
7889 ssd_chain_struct *chain_entry;
7891 chain_entry = is_defined_subspace (name);
7893 #ifdef obj_set_subsection_attributes
7894 obj_set_subsection_attributes (section, space->sd_seg, access,
7901 /* Return the space chain entry for the space with the name NAME or
7902 NULL if no such space exists. */
7904 static sd_chain_struct *
7905 is_defined_space (name)
7908 sd_chain_struct *chain_pointer;
7910 for (chain_pointer = space_dict_root;
7912 chain_pointer = chain_pointer->sd_next)
7914 if (strcmp (SPACE_NAME (chain_pointer), name) == 0)
7915 return chain_pointer;
7918 /* No mapping from segment to space was found. Return NULL. */
7922 /* Find and return the space associated with the given seg. If no mapping
7923 from the given seg to a space is found, then return NULL.
7925 Unlike subspaces, the number of spaces is not expected to grow much,
7926 so a linear exhaustive search is OK here. */
7928 static sd_chain_struct *
7929 pa_segment_to_space (seg)
7932 sd_chain_struct *space_chain;
7934 /* Walk through each space looking for the correct mapping. */
7935 for (space_chain = space_dict_root;
7937 space_chain = space_chain->sd_next)
7939 if (space_chain->sd_seg == seg)
7943 /* Mapping was not found. Return NULL. */
7947 /* Return the space chain entry for the subspace with the name NAME or
7948 NULL if no such subspace exists.
7950 Uses a linear search through all the spaces and subspaces, this may
7951 not be appropriate if we ever being placing each function in its
7954 static ssd_chain_struct *
7955 is_defined_subspace (name)
7958 sd_chain_struct *space_chain;
7959 ssd_chain_struct *subspace_chain;
7961 /* Walk through each space. */
7962 for (space_chain = space_dict_root;
7964 space_chain = space_chain->sd_next)
7966 /* Walk through each subspace looking for a name which matches. */
7967 for (subspace_chain = space_chain->sd_subspaces;
7969 subspace_chain = subspace_chain->ssd_next)
7970 if (strcmp (SUBSPACE_NAME (subspace_chain), name) == 0)
7971 return subspace_chain;
7974 /* Subspace wasn't found. Return NULL. */
7978 /* Find and return the subspace associated with the given seg. If no
7979 mapping from the given seg to a subspace is found, then return NULL.
7981 If we ever put each procedure/function within its own subspace
7982 (to make life easier on the compiler and linker), then this will have
7983 to become more efficient. */
7985 static ssd_chain_struct *
7986 pa_subsegment_to_subspace (seg, subseg)
7990 sd_chain_struct *space_chain;
7991 ssd_chain_struct *subspace_chain;
7993 /* Walk through each space. */
7994 for (space_chain = space_dict_root;
7996 space_chain = space_chain->sd_next)
7998 if (space_chain->sd_seg == seg)
8000 /* Walk through each subspace within each space looking for
8001 the correct mapping. */
8002 for (subspace_chain = space_chain->sd_subspaces;
8004 subspace_chain = subspace_chain->ssd_next)
8005 if (subspace_chain->ssd_subseg == (int) subseg)
8006 return subspace_chain;
8010 /* No mapping from subsegment to subspace found. Return NULL. */
8014 /* Given a number, try and find a space with the name number.
8016 Return a pointer to a space dictionary chain entry for the space
8017 that was found or NULL on failure. */
8019 static sd_chain_struct *
8020 pa_find_space_by_number (number)
8023 sd_chain_struct *space_chain;
8025 for (space_chain = space_dict_root;
8027 space_chain = space_chain->sd_next)
8029 if (SPACE_SPNUM (space_chain) == (unsigned int) number)
8033 /* No appropriate space found. Return NULL. */
8037 /* Return the starting address for the given subspace. If the starting
8038 address is unknown then return zero. */
8041 pa_subspace_start (space, quadrant)
8042 sd_chain_struct *space;
8045 /* FIXME. Assumes everyone puts read/write data at 0x4000000, this
8046 is not correct for the PA OSF1 port. */
8047 if ((strcmp (SPACE_NAME (space), "$PRIVATE$") == 0) && quadrant == 1)
8049 else if (space->sd_seg == data_section && quadrant == 1)
8056 /* FIXME. Needs documentation. */
8058 pa_next_subseg (space)
8059 sd_chain_struct *space;
8062 space->sd_last_subseg++;
8063 return space->sd_last_subseg;
8067 /* Helper function for pa_stringer. Used to find the end of
8074 unsigned int c = *s & CHAR_MASK;
8087 /* Handle a .STRING type pseudo-op. */
8090 pa_stringer (append_zero)
8093 char *s, num_buf[4];
8097 /* Preprocess the string to handle PA-specific escape sequences.
8098 For example, \xDD where DD is a hexadecimal number should be
8099 changed to \OOO where OOO is an octal number. */
8102 /* We must have a valid space and subspace. */
8103 pa_check_current_space_and_subspace ();
8106 /* Skip the opening quote. */
8107 s = input_line_pointer + 1;
8109 while (is_a_char (c = pa_stringer_aux (s++)))
8116 /* Handle \x<num>. */
8119 unsigned int number;
8124 /* Get past the 'x'. */
8126 for (num_digit = 0, number = 0, dg = *s;
8128 && (isdigit (dg) || (dg >= 'a' && dg <= 'f')
8129 || (dg >= 'A' && dg <= 'F'));
8133 number = number * 16 + dg - '0';
8134 else if (dg >= 'a' && dg <= 'f')
8135 number = number * 16 + dg - 'a' + 10;
8137 number = number * 16 + dg - 'A' + 10;
8147 sprintf (num_buf, "%02o", number);
8150 sprintf (num_buf, "%03o", number);
8153 for (i = 0; i <= num_digit; i++)
8154 s_start[i] = num_buf[i];
8158 /* This might be a "\"", skip over the escaped char. */
8165 stringer (append_zero);
8166 pa_undefine_label ();
8169 /* Handle a .VERSION pseudo-op. */
8173 int unused ATTRIBUTE_UNUSED;
8176 pa_undefine_label ();
8181 /* Handle a .COMPILER pseudo-op. */
8184 pa_compiler (unused)
8185 int unused ATTRIBUTE_UNUSED;
8187 obj_som_compiler (0);
8188 pa_undefine_label ();
8193 /* Handle a .COPYRIGHT pseudo-op. */
8196 pa_copyright (unused)
8197 int unused ATTRIBUTE_UNUSED;
8200 pa_undefine_label ();
8203 /* Just like a normal cons, but when finished we have to undefine
8204 the latest space label. */
8211 pa_undefine_label ();
8214 /* Like float_cons, but we need to undefine our label. */
8217 pa_float_cons (float_type)
8220 float_cons (float_type);
8221 pa_undefine_label ();
8224 /* Like s_fill, but delete our label when finished. */
8228 int unused ATTRIBUTE_UNUSED;
8231 /* We must have a valid space and subspace. */
8232 pa_check_current_space_and_subspace ();
8236 pa_undefine_label ();
8239 /* Like lcomm, but delete our label when finished. */
8242 pa_lcomm (needs_align)
8246 /* We must have a valid space and subspace. */
8247 pa_check_current_space_and_subspace ();
8250 s_lcomm (needs_align);
8251 pa_undefine_label ();
8254 /* Like lsym, but delete our label when finished. */
8258 int unused ATTRIBUTE_UNUSED;
8261 /* We must have a valid space and subspace. */
8262 pa_check_current_space_and_subspace ();
8266 pa_undefine_label ();
8269 /* On the PA relocations which involve function symbols must not be
8270 adjusted. This so that the linker can know when/how to create argument
8271 relocation stubs for indirect calls and calls to static functions.
8273 "T" field selectors create DLT relative fixups for accessing
8274 globals and statics in PIC code; each DLT relative fixup creates
8275 an entry in the DLT table. The entries contain the address of
8276 the final target (eg accessing "foo" would create a DLT entry
8277 with the address of "foo").
8279 Unfortunately, the HP linker doesn't take into account any addend
8280 when generating the DLT; so accessing $LIT$+8 puts the address of
8281 $LIT$ into the DLT rather than the address of $LIT$+8.
8283 The end result is we can't perform relocation symbol reductions for
8284 any fixup which creates entries in the DLT (eg they use "T" field
8287 Reject reductions involving symbols with external scope; such
8288 reductions make life a living hell for object file editors.
8290 FIXME. Also reject R_HPPA relocations which are 32bits wide in
8291 the code space. The SOM BFD backend doesn't know how to pull the
8292 right bits out of an instruction. */
8295 hppa_fix_adjustable (fixp)
8298 struct hppa_fix_struct *hppa_fix;
8300 hppa_fix = (struct hppa_fix_struct *) fixp->tc_fix_data;
8303 /* Reject reductions of symbols in 32bit relocs. */
8304 if (fixp->fx_r_type == R_HPPA && hppa_fix->fx_r_format == 32)
8309 if (fixp->fx_r_type == (int) R_PARISC_GNU_VTINHERIT
8310 || fixp->fx_r_type == (int) R_PARISC_GNU_VTENTRY)
8314 if (fixp->fx_addsy && (S_IS_EXTERNAL (fixp->fx_addsy)
8315 || S_IS_WEAK (fixp->fx_addsy)))
8318 /* Reject reductions of symbols in sym1-sym2 expressions when
8319 the fixup will occur in a CODE subspace.
8321 XXX FIXME: Long term we probably want to reject all of these;
8322 for example reducing in the debug section would lose if we ever
8323 supported using the optimizing hp linker. */
8326 && (hppa_fix->segment->flags & SEC_CODE))
8328 /* Apparently sy_used_in_reloc never gets set for sub symbols. */
8329 symbol_mark_used_in_reloc (fixp->fx_subsy);
8333 /* We can't adjust any relocs that use LR% and RR% field selectors.
8335 If a symbol is reduced to a section symbol, the assembler will
8336 adjust the addend unless the symbol happens to reside right at
8337 the start of the section. Additionally, the linker has no choice
8338 but to manipulate the addends when coalescing input sections for
8339 "ld -r". Since an LR% field selector is defined to round the
8340 addend, we can't change the addend without risking that a LR% and
8341 it's corresponding (possible multiple) RR% field will no longer
8342 sum to the right value.
8345 . ldil LR%foo+0,%r21
8346 . ldw RR%foo+0(%r21),%r26
8347 . ldw RR%foo+4(%r21),%r25
8349 If foo is at address 4092 (decimal) in section `sect', then after
8350 reducing to the section symbol we get
8351 . LR%sect+4092 == (L%sect)+0
8352 . RR%sect+4092 == (R%sect)+4092
8353 . RR%sect+4096 == (R%sect)-4096
8354 and the last address loses because rounding the addend to 8k
8355 mutiples takes us up to 8192 with an offset of -4096.
8357 In cases where the LR% expression is identical to the RR% one we
8358 will never have a problem, but is so happens that gcc rounds
8359 addends involved in LR% field selectors to work around a HP
8360 linker bug. ie. We often have addresses like the last case
8361 above where the LR% expression is offset from the RR% one. */
8363 if (hppa_fix->fx_r_field == e_lrsel
8364 || hppa_fix->fx_r_field == e_rrsel
8365 || hppa_fix->fx_r_field == e_nlrsel)
8368 /* Reject reductions of symbols in DLT relative relocs,
8369 relocations with plabels. */
8370 if (hppa_fix->fx_r_field == e_tsel
8371 || hppa_fix->fx_r_field == e_ltsel
8372 || hppa_fix->fx_r_field == e_rtsel
8373 || hppa_fix->fx_r_field == e_psel
8374 || hppa_fix->fx_r_field == e_rpsel
8375 || hppa_fix->fx_r_field == e_lpsel)
8378 /* Reject absolute calls (jumps). */
8379 if (hppa_fix->fx_r_type == R_HPPA_ABS_CALL)
8382 /* Reject reductions of function symbols. */
8383 if (fixp->fx_addsy != 0 && S_IS_FUNCTION (fixp->fx_addsy))
8389 /* Return nonzero if the fixup in FIXP will require a relocation,
8390 even it if appears that the fixup could be completely handled
8394 hppa_force_relocation (fixp)
8397 struct hppa_fix_struct *hppa_fixp;
8399 hppa_fixp = (struct hppa_fix_struct *) fixp->tc_fix_data;
8401 if (fixp->fx_r_type == (int) R_HPPA_ENTRY
8402 || fixp->fx_r_type == (int) R_HPPA_EXIT
8403 || fixp->fx_r_type == (int) R_HPPA_BEGIN_BRTAB
8404 || fixp->fx_r_type == (int) R_HPPA_END_BRTAB
8405 || fixp->fx_r_type == (int) R_HPPA_BEGIN_TRY
8406 || fixp->fx_r_type == (int) R_HPPA_END_TRY
8407 || (fixp->fx_addsy != NULL && fixp->fx_subsy != NULL
8408 && (hppa_fixp->segment->flags & SEC_CODE) != 0))
8412 if (fixp->fx_r_type == (int) R_PARISC_GNU_VTINHERIT
8413 || fixp->fx_r_type == (int) R_PARISC_GNU_VTENTRY)
8417 assert (fixp->fx_addsy != NULL);
8419 /* Ensure we emit a relocation for global symbols so that dynamic
8421 if (S_IS_EXTERNAL (fixp->fx_addsy) || S_IS_WEAK (fixp->fx_addsy))
8424 /* It is necessary to force PC-relative calls/jumps to have a relocation
8425 entry if they're going to need either a argument relocation or long
8428 && arg_reloc_stub_needed (symbol_arg_reloc_info (fixp->fx_addsy),
8429 hppa_fixp->fx_arg_reloc))
8432 /* Now check to see if we're going to need a long-branch stub. */
8433 if (fixp->fx_r_type == (int) R_HPPA_PCREL_CALL)
8437 distance = (fixp->fx_offset + S_GET_VALUE (fixp->fx_addsy)
8438 - md_pcrel_from (fixp) - 8);
8439 if (distance + 8388608 >= 16777216
8440 || (hppa_fixp->fx_r_format == 17 && distance + 262144 >= 524288)
8442 || (hppa_fixp->fx_r_format == 12 && distance + 8192 >= 16384)
8448 if (fixp->fx_r_type == (int) R_HPPA_ABS_CALL)
8451 /* No need (yet) to force another relocations to be emitted. */
8455 /* Now for some ELF specific code. FIXME. */
8457 /* Mark the end of a function so that it's possible to compute
8458 the size of the function in hppa_elf_final_processing. */
8461 hppa_elf_mark_end_of_function ()
8463 /* ELF does not have EXIT relocations. All we do is create a
8464 temporary symbol marking the end of the function. */
8467 if (last_call_info == NULL || last_call_info->start_symbol == NULL)
8469 /* We have already warned about a missing label,
8470 or other problems. */
8474 name = (char *) xmalloc (strlen ("L$\001end_")
8475 + strlen (S_GET_NAME (last_call_info->start_symbol))
8481 strcpy (name, "L$\001end_");
8482 strcat (name, S_GET_NAME (last_call_info->start_symbol));
8484 /* If we have a .exit followed by a .procend, then the
8485 symbol will have already been defined. */
8486 symbolP = symbol_find (name);
8489 /* The symbol has already been defined! This can
8490 happen if we have a .exit followed by a .procend.
8492 This is *not* an error. All we want to do is free
8493 the memory we just allocated for the name and continue. */
8498 /* symbol value should be the offset of the
8499 last instruction of the function */
8500 symbolP = symbol_new (name, now_seg, (valueT) (frag_now_fix () - 4),
8504 S_CLEAR_EXTERNAL (symbolP);
8505 symbol_table_insert (symbolP);
8509 last_call_info->end_symbol = symbolP;
8511 as_bad (_("Symbol '%s' could not be created."), name);
8515 as_bad (_("No memory for symbol name."));
8519 /* For ELF, this function serves one purpose: to setup the st_size
8520 field of STT_FUNC symbols. To do this, we need to scan the
8521 call_info structure list, determining st_size in by taking the
8522 difference in the address of the beginning/end marker symbols. */
8525 elf_hppa_final_processing ()
8527 struct call_info *call_info_pointer;
8529 for (call_info_pointer = call_info_root;
8531 call_info_pointer = call_info_pointer->ci_next)
8533 elf_symbol_type *esym
8534 = ((elf_symbol_type *)
8535 symbol_get_bfdsym (call_info_pointer->start_symbol));
8536 esym->internal_elf_sym.st_size =
8537 S_GET_VALUE (call_info_pointer->end_symbol)
8538 - S_GET_VALUE (call_info_pointer->start_symbol) + 4;
8543 pa_vtable_entry (ignore)
8544 int ignore ATTRIBUTE_UNUSED;
8546 struct fix *new_fix;
8548 new_fix = obj_elf_vtable_entry (0);
8552 struct hppa_fix_struct *hppa_fix = (struct hppa_fix_struct *)
8553 obstack_alloc (¬es, sizeof (struct hppa_fix_struct));
8554 hppa_fix->fx_r_type = R_HPPA;
8555 hppa_fix->fx_r_field = e_fsel;
8556 hppa_fix->fx_r_format = 32;
8557 hppa_fix->fx_arg_reloc = 0;
8558 hppa_fix->segment = now_seg;
8559 new_fix->tc_fix_data = (void *) hppa_fix;
8560 new_fix->fx_r_type = (int) R_PARISC_GNU_VTENTRY;
8565 pa_vtable_inherit (ignore)
8566 int ignore ATTRIBUTE_UNUSED;
8568 struct fix *new_fix;
8570 new_fix = obj_elf_vtable_inherit (0);
8574 struct hppa_fix_struct *hppa_fix = (struct hppa_fix_struct *)
8575 obstack_alloc (¬es, sizeof (struct hppa_fix_struct));
8576 hppa_fix->fx_r_type = R_HPPA;
8577 hppa_fix->fx_r_field = e_fsel;
8578 hppa_fix->fx_r_format = 32;
8579 hppa_fix->fx_arg_reloc = 0;
8580 hppa_fix->segment = now_seg;
8581 new_fix->tc_fix_data = (void *) hppa_fix;
8582 new_fix->fx_r_type = (int) R_PARISC_GNU_VTINHERIT;