| /* tc-v850.c -- Assembler code for the NEC V850 |
| Copyright (C) 1996-2021 Free Software Foundation, Inc. |
| |
| This file is part of GAS, the GNU Assembler. |
| |
| GAS is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 3, or (at your option) |
| any later version. |
| |
| GAS is distributed in the hope that it will be useful, |
| but WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| GNU General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GAS; see the file COPYING. If not, write to |
| the Free Software Foundation, 51 Franklin Street - Fifth Floor, |
| Boston, MA 02110-1301, USA. */ |
| |
| #include "as.h" |
| #include "safe-ctype.h" |
| #include "subsegs.h" |
| #include "opcode/v850.h" |
| #include "dwarf2dbg.h" |
| |
| /* Sign-extend a 16-bit number. */ |
| #define SEXT16(x) ((((x) & 0xffff) ^ (~0x7fff)) + 0x8000) |
| |
| /* Set to TRUE if we want to be pedantic about signed overflows. */ |
| static bool warn_signed_overflows = false; |
| static bool warn_unsigned_overflows = false; |
| |
| /* Non-zero if floating point insns are not being used. */ |
| static signed int soft_float = -1; |
| |
| /* Indicates the target BFD machine number. */ |
| static int machine = -1; |
| |
| |
| /* Indicates the target BFD architecture. */ |
| enum bfd_architecture v850_target_arch = bfd_arch_v850_rh850; |
| const char * v850_target_format = "elf32-v850-rh850"; |
| static flagword v850_e_flags = 0; |
| |
| /* Indicates the target processor(s) for the assemble. */ |
| static int processor_mask = 0; |
| |
| /* Structure to hold information about predefined registers. */ |
| struct reg_name |
| { |
| const char *name; |
| int value; |
| unsigned int processors; |
| }; |
| |
| /* Generic assembler global variables which must be defined by all |
| targets. */ |
| |
| /* Characters which always start a comment. */ |
| const char comment_chars[] = "#"; |
| |
| /* Characters which start a comment at the beginning of a line. */ |
| const char line_comment_chars[] = ";#"; |
| |
| /* Characters which may be used to separate multiple commands on a |
| single line. */ |
| const char line_separator_chars[] = ";"; |
| |
| /* Characters which are used to indicate an exponent in a floating |
| point number. */ |
| const char EXP_CHARS[] = "eE"; |
| |
| /* Characters which mean that a number is a floating point constant, |
| as in 0d1.0. */ |
| const char FLT_CHARS[] = "dD"; |
| |
| const relax_typeS md_relax_table[] = |
| { |
| /* Conditional branches.(V850/V850E, max 22bit) */ |
| #define SUBYPTE_COND_9_22 0 |
| {0xfe, -0x100, 2, SUBYPTE_COND_9_22 + 1}, |
| {0x1ffffe + 2, -0x200000 + 2, 6, 0}, |
| /* Conditional branches.(V850/V850E, max 22bit) */ |
| #define SUBYPTE_SA_9_22 2 |
| {0xfe, -0x100, 2, SUBYPTE_SA_9_22 + 1}, |
| {0x1ffffe + 4, -0x200000 + 4, 8, 0}, |
| /* Unconditional branches.(V850/V850E, max 22bit) */ |
| #define SUBYPTE_UNCOND_9_22 4 |
| {0xfe, -0x100, 2, SUBYPTE_UNCOND_9_22 + 1}, |
| {0x1ffffe, -0x200000, 4, 0}, |
| /* Conditional branches.(V850E2, max 32bit) */ |
| #define SUBYPTE_COND_9_22_32 6 |
| {0xfe, -0x100, 2, SUBYPTE_COND_9_22_32 + 1}, |
| {0x1fffff + 2, -0x200000 + 2, 6, SUBYPTE_COND_9_22_32 + 2}, |
| {0x7ffffffe, -0x80000000, 8, 0}, |
| /* Conditional branches.(V850E2, max 32bit) */ |
| #define SUBYPTE_SA_9_22_32 9 |
| {0xfe, -0x100, 2, SUBYPTE_SA_9_22_32 + 1}, |
| {0x1ffffe + 4, -0x200000 + 4, 8, SUBYPTE_SA_9_22_32 + 2}, |
| {0x7ffffffe, -0x80000000, 10, 0}, |
| /* Unconditional branches.(V850E2, max 32bit) */ |
| #define SUBYPTE_UNCOND_9_22_32 12 |
| {0xfe, -0x100, 2, SUBYPTE_UNCOND_9_22_32 + 1}, |
| {0x1ffffe, -0x200000, 4, SUBYPTE_UNCOND_9_22_32 + 2}, |
| {0x7ffffffe, -0x80000000, 6, 0}, |
| /* Conditional branches.(V850E2R max 22bit) */ |
| #define SUBYPTE_COND_9_17_22 15 |
| {0xfe, -0x100, 2, SUBYPTE_COND_9_17_22 + 1}, |
| {0xfffe, -0x10000, 4, SUBYPTE_COND_9_17_22 + 2}, |
| {0x1ffffe + 2, -0x200000 + 2, 6, 0}, |
| /* Conditional branches.(V850E2R max 22bit) */ |
| #define SUBYPTE_SA_9_17_22 18 |
| {0xfe, -0x100, 2, SUBYPTE_SA_9_17_22 + 1}, |
| {0xfffe, -0x10000, 4, SUBYPTE_SA_9_17_22 + 2}, |
| {0x1ffffe + 4, -0x200000 + 4, 8, 0}, |
| /* Conditional branches.(V850E2R max 32bit) */ |
| #define SUBYPTE_COND_9_17_22_32 21 |
| {0xfe, -0x100, 2, SUBYPTE_COND_9_17_22_32 + 1}, |
| {0xfffe, -0x10000, 4, SUBYPTE_COND_9_17_22_32 + 2}, |
| {0x1ffffe + 2, -0x200000 + 2, 6, SUBYPTE_COND_9_17_22_32 + 3}, |
| {0x7ffffffe, -0x80000000, 8, 0}, |
| /* Conditional branches.(V850E2R max 32bit) */ |
| #define SUBYPTE_SA_9_17_22_32 25 |
| {0xfe, -0x100, 2, SUBYPTE_SA_9_17_22_32 + 1}, |
| {0xfffe, -0x10000, 4, SUBYPTE_SA_9_17_22_32 + 2}, |
| {0x1ffffe + 4, -0x200000 + 4, 8, SUBYPTE_SA_9_17_22_32 + 3}, |
| {0x7ffffffe, -0x80000000, 10, 0}, |
| /* Loop. (V850E2V4_UP, max 22-bit). */ |
| #define SUBYPTE_LOOP_16_22 29 |
| {0x0, -0x0fffe, 4, SUBYPTE_LOOP_16_22 + 1}, |
| {0x1ffffe + 2, -0x200000 + 2, 6, 0}, |
| }; |
| |
| static int v850_relax = 0; |
| |
| /* Default branch disp size 22 or 32. */ |
| static int default_disp_size = 22; |
| |
| /* Default no using bcond17. */ |
| static int no_bcond17 = 0; |
| |
| /* Default no using ld/st 23bit offset. */ |
| static int no_stld23 = 0; |
| |
| /* Fixups. */ |
| #define MAX_INSN_FIXUPS 5 |
| |
| struct v850_fixup |
| { |
| expressionS exp; |
| int opindex; |
| bfd_reloc_code_real_type reloc; |
| }; |
| |
| struct v850_fixup fixups[MAX_INSN_FIXUPS]; |
| static int fc; |
| |
| struct v850_seg_entry |
| { |
| segT s; |
| const char *name; |
| flagword flags; |
| }; |
| |
| struct v850_seg_entry v850_seg_table[] = |
| { |
| { NULL, ".sdata", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS |
| | SEC_SMALL_DATA }, |
| { NULL, ".tdata", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS }, |
| { NULL, ".zdata", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS }, |
| { NULL, ".sbss", |
| SEC_ALLOC | SEC_SMALL_DATA }, |
| { NULL, ".tbss", |
| SEC_ALLOC }, |
| { NULL, ".zbss", |
| SEC_ALLOC}, |
| { NULL, ".rosdata", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_READONLY | SEC_DATA |
| | SEC_HAS_CONTENTS | SEC_SMALL_DATA }, |
| { NULL, ".rozdata", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_READONLY | SEC_DATA |
| | SEC_HAS_CONTENTS }, |
| { NULL, ".scommon", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS |
| | SEC_SMALL_DATA | SEC_IS_COMMON }, |
| { NULL, ".tcommon", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS |
| | SEC_IS_COMMON }, |
| { NULL, ".zcommon", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS |
| | SEC_IS_COMMON }, |
| { NULL, ".call_table_data", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS }, |
| { NULL, ".call_table_text", |
| SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_READONLY | SEC_CODE |
| | SEC_HAS_CONTENTS}, |
| { NULL, ".bss", |
| SEC_ALLOC } |
| }; |
| |
| #define SDATA_SECTION 0 |
| #define TDATA_SECTION 1 |
| #define ZDATA_SECTION 2 |
| #define SBSS_SECTION 3 |
| #define TBSS_SECTION 4 |
| #define ZBSS_SECTION 5 |
| #define ROSDATA_SECTION 6 |
| #define ROZDATA_SECTION 7 |
| #define SCOMMON_SECTION 8 |
| #define TCOMMON_SECTION 9 |
| #define ZCOMMON_SECTION 10 |
| #define CALL_TABLE_DATA_SECTION 11 |
| #define CALL_TABLE_TEXT_SECTION 12 |
| #define BSS_SECTION 13 |
| |
| static void |
| do_v850_seg (int i, subsegT sub) |
| { |
| struct v850_seg_entry *seg = v850_seg_table + i; |
| |
| obj_elf_section_change_hook (); |
| |
| if (seg->s != NULL) |
| subseg_set (seg->s, sub); |
| else |
| { |
| seg->s = subseg_new (seg->name, sub); |
| bfd_set_section_flags (seg->s, seg->flags); |
| if ((seg->flags & SEC_LOAD) == 0) |
| seg_info (seg->s)->bss = 1; |
| } |
| } |
| |
| static void |
| v850_seg (int i) |
| { |
| subsegT sub = get_absolute_expression (); |
| |
| do_v850_seg (i, sub); |
| demand_empty_rest_of_line (); |
| } |
| |
| static void |
| v850_offset (int ignore ATTRIBUTE_UNUSED) |
| { |
| char *pfrag; |
| int temp = get_absolute_expression (); |
| |
| pfrag = frag_var (rs_org, 1, 1, (relax_substateT)0, (symbolS *)0, |
| (offsetT) temp, (char *) 0); |
| *pfrag = 0; |
| |
| demand_empty_rest_of_line (); |
| } |
| |
| /* Copied from obj_elf_common() in gas/config/obj-elf.c. */ |
| |
| static void |
| v850_comm (int area) |
| { |
| char *name; |
| char c; |
| char *p; |
| int temp; |
| unsigned int size; |
| symbolS *symbolP; |
| int have_align; |
| |
| c = get_symbol_name (&name); |
| |
| /* Just after name is now '\0'. */ |
| p = input_line_pointer; |
| *p = c; |
| |
| SKIP_WHITESPACE (); |
| |
| if (*input_line_pointer != ',') |
| { |
| as_bad (_("Expected comma after symbol-name")); |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| /* Skip ','. */ |
| input_line_pointer++; |
| |
| if ((temp = get_absolute_expression ()) < 0) |
| { |
| /* xgettext:c-format */ |
| as_bad (_(".COMMon length (%d.) < 0! Ignored."), temp); |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| size = temp; |
| *p = 0; |
| symbolP = symbol_find_or_make (name); |
| *p = c; |
| |
| if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP)) |
| { |
| as_bad (_("Ignoring attempt to re-define symbol")); |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| if (S_GET_VALUE (symbolP) != 0) |
| { |
| if (S_GET_VALUE (symbolP) != size) |
| /* xgettext:c-format */ |
| as_warn (_("Length of .comm \"%s\" is already %ld. Not changed to %d."), |
| S_GET_NAME (symbolP), (long) S_GET_VALUE (symbolP), size); |
| } |
| |
| know (symbol_get_frag (symbolP) == &zero_address_frag); |
| |
| if (*input_line_pointer != ',') |
| have_align = 0; |
| else |
| { |
| have_align = 1; |
| input_line_pointer++; |
| SKIP_WHITESPACE (); |
| } |
| |
| if (! have_align || *input_line_pointer != '"') |
| { |
| if (! have_align) |
| temp = 0; |
| else |
| { |
| temp = get_absolute_expression (); |
| |
| if (temp < 0) |
| { |
| temp = 0; |
| as_warn (_("Common alignment negative; 0 assumed")); |
| } |
| } |
| |
| if (symbol_get_obj (symbolP)->local) |
| { |
| segT old_sec; |
| int old_subsec; |
| char *pfrag; |
| int align; |
| flagword applicable; |
| |
| old_sec = now_seg; |
| old_subsec = now_subseg; |
| |
| applicable = bfd_applicable_section_flags (stdoutput); |
| |
| applicable &= SEC_ALLOC; |
| |
| switch (area) |
| { |
| case SCOMMON_SECTION: |
| do_v850_seg (SBSS_SECTION, 0); |
| break; |
| |
| case ZCOMMON_SECTION: |
| do_v850_seg (ZBSS_SECTION, 0); |
| break; |
| |
| case TCOMMON_SECTION: |
| do_v850_seg (TBSS_SECTION, 0); |
| break; |
| } |
| |
| if (temp) |
| { |
| /* Convert to a power of 2 alignment. */ |
| for (align = 0; (temp & 1) == 0; temp >>= 1, ++align) |
| ; |
| |
| if (temp != 1) |
| { |
| as_bad (_("Common alignment not a power of 2")); |
| ignore_rest_of_line (); |
| return; |
| } |
| } |
| else |
| align = 0; |
| |
| record_alignment (now_seg, align); |
| |
| if (align) |
| frag_align (align, 0, 0); |
| |
| switch (area) |
| { |
| case SCOMMON_SECTION: |
| if (S_GET_SEGMENT (symbolP) == v850_seg_table[SBSS_SECTION].s) |
| symbol_get_frag (symbolP)->fr_symbol = 0; |
| break; |
| |
| case ZCOMMON_SECTION: |
| if (S_GET_SEGMENT (symbolP) == v850_seg_table[ZBSS_SECTION].s) |
| symbol_get_frag (symbolP)->fr_symbol = 0; |
| break; |
| |
| case TCOMMON_SECTION: |
| if (S_GET_SEGMENT (symbolP) == v850_seg_table[TBSS_SECTION].s) |
| symbol_get_frag (symbolP)->fr_symbol = 0; |
| break; |
| |
| default: |
| abort (); |
| } |
| |
| symbol_set_frag (symbolP, frag_now); |
| pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, |
| (offsetT) size, (char *) 0); |
| *pfrag = 0; |
| S_SET_SIZE (symbolP, size); |
| |
| switch (area) |
| { |
| case SCOMMON_SECTION: |
| S_SET_SEGMENT (symbolP, v850_seg_table[SBSS_SECTION].s); |
| break; |
| |
| case ZCOMMON_SECTION: |
| S_SET_SEGMENT (symbolP, v850_seg_table[ZBSS_SECTION].s); |
| break; |
| |
| case TCOMMON_SECTION: |
| S_SET_SEGMENT (symbolP, v850_seg_table[TBSS_SECTION].s); |
| break; |
| |
| default: |
| abort (); |
| } |
| |
| S_CLEAR_EXTERNAL (symbolP); |
| obj_elf_section_change_hook (); |
| subseg_set (old_sec, old_subsec); |
| } |
| else |
| { |
| segT old_sec; |
| int old_subsec; |
| |
| allocate_common: |
| old_sec = now_seg; |
| old_subsec = now_subseg; |
| |
| S_SET_VALUE (symbolP, (valueT) size); |
| S_SET_ALIGN (symbolP, temp); |
| S_SET_EXTERNAL (symbolP); |
| |
| switch (area) |
| { |
| case SCOMMON_SECTION: |
| case ZCOMMON_SECTION: |
| case TCOMMON_SECTION: |
| do_v850_seg (area, 0); |
| S_SET_SEGMENT (symbolP, v850_seg_table[area].s); |
| break; |
| |
| default: |
| abort (); |
| } |
| |
| obj_elf_section_change_hook (); |
| subseg_set (old_sec, old_subsec); |
| } |
| } |
| else |
| { |
| input_line_pointer++; |
| |
| /* @@ Some use the dot, some don't. Can we get some consistency?? */ |
| if (*input_line_pointer == '.') |
| input_line_pointer++; |
| |
| /* @@ Some say data, some say bss. */ |
| if (!startswith (input_line_pointer, "bss\"") |
| && !startswith (input_line_pointer, "data\"")) |
| { |
| while (*--input_line_pointer != '"') |
| ; |
| input_line_pointer--; |
| goto bad_common_segment; |
| } |
| |
| while (*input_line_pointer++ != '"') |
| ; |
| |
| goto allocate_common; |
| } |
| |
| symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT; |
| |
| demand_empty_rest_of_line (); |
| return; |
| |
| { |
| bad_common_segment: |
| p = input_line_pointer; |
| while (*p && *p != '\n') |
| p++; |
| c = *p; |
| *p = '\0'; |
| as_bad (_("bad .common segment %s"), input_line_pointer + 1); |
| *p = c; |
| input_line_pointer = p; |
| ignore_rest_of_line (); |
| return; |
| } |
| } |
| |
| static void |
| set_machine (int number) |
| { |
| machine = number; |
| bfd_set_arch_mach (stdoutput, v850_target_arch, machine); |
| |
| switch (machine) |
| { |
| case 0: SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850); break; |
| case bfd_mach_v850: SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850); break; |
| case bfd_mach_v850e: SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E); break; |
| case bfd_mach_v850e1: SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E); break; |
| case bfd_mach_v850e2: SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2); break; |
| case bfd_mach_v850e2v3:SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2V3); break; |
| case bfd_mach_v850e3v5: SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5); break; |
| } |
| } |
| |
| static void |
| v850_longcode (int type) |
| { |
| expressionS ex; |
| |
| if (! v850_relax) |
| { |
| if (type == 1) |
| as_warn (_(".longcall pseudo-op seen when not relaxing")); |
| else |
| as_warn (_(".longjump pseudo-op seen when not relaxing")); |
| } |
| |
| expression (&ex); |
| |
| if (ex.X_op != O_symbol || ex.X_add_number != 0) |
| { |
| as_bad (_("bad .longcall format")); |
| ignore_rest_of_line (); |
| |
| return; |
| } |
| |
| if (type == 1) |
| fix_new_exp (frag_now, frag_now_fix (), 4, & ex, 1, |
| BFD_RELOC_V850_LONGCALL); |
| else |
| fix_new_exp (frag_now, frag_now_fix (), 4, & ex, 1, |
| BFD_RELOC_V850_LONGJUMP); |
| |
| demand_empty_rest_of_line (); |
| } |
| |
| /* The target specific pseudo-ops which we support. */ |
| const pseudo_typeS md_pseudo_table[] = |
| { |
| { "sdata", v850_seg, SDATA_SECTION }, |
| { "tdata", v850_seg, TDATA_SECTION }, |
| { "zdata", v850_seg, ZDATA_SECTION }, |
| { "sbss", v850_seg, SBSS_SECTION }, |
| { "tbss", v850_seg, TBSS_SECTION }, |
| { "zbss", v850_seg, ZBSS_SECTION }, |
| { "rosdata", v850_seg, ROSDATA_SECTION }, |
| { "rozdata", v850_seg, ROZDATA_SECTION }, |
| { "bss", v850_seg, BSS_SECTION }, |
| { "offset", v850_offset, 0 }, |
| { "word", cons, 4 }, |
| { "zcomm", v850_comm, ZCOMMON_SECTION }, |
| { "scomm", v850_comm, SCOMMON_SECTION }, |
| { "tcomm", v850_comm, TCOMMON_SECTION }, |
| { "v850", set_machine, 0 }, |
| { "call_table_data", v850_seg, CALL_TABLE_DATA_SECTION }, |
| { "call_table_text", v850_seg, CALL_TABLE_TEXT_SECTION }, |
| { "v850e", set_machine, bfd_mach_v850e }, |
| { "v850e1", set_machine, bfd_mach_v850e1 }, |
| { "v850e2", set_machine, bfd_mach_v850e2 }, |
| { "v850e2v3", set_machine, bfd_mach_v850e2v3 }, |
| { "v850e2v4", set_machine, bfd_mach_v850e3v5 }, |
| { "v850e3v5", set_machine, bfd_mach_v850e3v5 }, |
| { "longcall", v850_longcode, 1 }, |
| { "longjump", v850_longcode, 2 }, |
| { NULL, NULL, 0 } |
| }; |
| |
| /* Opcode hash table. */ |
| static htab_t v850_hash; |
| |
| /* This table is sorted. Suitable for searching by a binary search. */ |
| static const struct reg_name pre_defined_registers[] = |
| { |
| { "ep", 30, PROCESSOR_ALL }, /* ep - element ptr. */ |
| { "gp", 4, PROCESSOR_ALL }, /* gp - global ptr. */ |
| { "hp", 2, PROCESSOR_ALL }, /* hp - handler stack ptr. */ |
| { "lp", 31, PROCESSOR_ALL }, /* lp - link ptr. */ |
| { "r0", 0, PROCESSOR_ALL }, |
| { "r1", 1, PROCESSOR_ALL }, |
| { "r10", 10, PROCESSOR_ALL }, |
| { "r11", 11, PROCESSOR_ALL }, |
| { "r12", 12, PROCESSOR_ALL }, |
| { "r13", 13, PROCESSOR_ALL }, |
| { "r14", 14, PROCESSOR_ALL }, |
| { "r15", 15, PROCESSOR_ALL }, |
| { "r16", 16, PROCESSOR_ALL }, |
| { "r17", 17, PROCESSOR_ALL }, |
| { "r18", 18, PROCESSOR_ALL }, |
| { "r19", 19, PROCESSOR_ALL }, |
| { "r2", 2, PROCESSOR_ALL }, |
| { "r20", 20, PROCESSOR_ALL }, |
| { "r21", 21, PROCESSOR_ALL }, |
| { "r22", 22, PROCESSOR_ALL }, |
| { "r23", 23, PROCESSOR_ALL }, |
| { "r24", 24, PROCESSOR_ALL }, |
| { "r25", 25, PROCESSOR_ALL }, |
| { "r26", 26, PROCESSOR_ALL }, |
| { "r27", 27, PROCESSOR_ALL }, |
| { "r28", 28, PROCESSOR_ALL }, |
| { "r29", 29, PROCESSOR_ALL }, |
| { "r3", 3, PROCESSOR_ALL }, |
| { "r30", 30, PROCESSOR_ALL }, |
| { "r31", 31, PROCESSOR_ALL }, |
| { "r4", 4, PROCESSOR_ALL }, |
| { "r5", 5, PROCESSOR_ALL }, |
| { "r6", 6, PROCESSOR_ALL }, |
| { "r7", 7, PROCESSOR_ALL }, |
| { "r8", 8, PROCESSOR_ALL }, |
| { "r9", 9, PROCESSOR_ALL }, |
| { "sp", 3, PROCESSOR_ALL }, /* sp - stack ptr. */ |
| { "tp", 5, PROCESSOR_ALL }, /* tp - text ptr. */ |
| { "zero", 0, PROCESSOR_ALL }, |
| }; |
| |
| #define REG_NAME_CNT \ |
| (sizeof (pre_defined_registers) / sizeof (struct reg_name)) |
| |
| static const struct reg_name system_registers[] = |
| { |
| { "asid", 23, PROCESSOR_NOT_V850 }, |
| { "bpam", 25, PROCESSOR_NOT_V850 }, |
| { "bpav", 24, PROCESSOR_NOT_V850 }, |
| { "bpc", 22, PROCESSOR_NOT_V850 }, |
| { "bpdm", 27, PROCESSOR_NOT_V850 }, |
| { "bpdv", 26, PROCESSOR_NOT_V850 }, |
| { "bsel", 31, PROCESSOR_V850E2_UP }, |
| { "cfg", 7, PROCESSOR_V850E2V3_UP }, |
| { "ctbp", 20, PROCESSOR_NOT_V850 }, |
| { "ctpc", 16, PROCESSOR_NOT_V850 }, |
| { "ctpsw", 17, PROCESSOR_NOT_V850 }, |
| { "dbic", 15, PROCESSOR_V850E2_UP }, |
| { "dbpc", 18, PROCESSOR_NOT_V850 }, |
| { "dbpsw", 19, PROCESSOR_NOT_V850 }, |
| { "dbwr", 30, PROCESSOR_V850E2_UP }, |
| { "dir", 21, PROCESSOR_NOT_V850 }, |
| { "dpa0l", 16, PROCESSOR_V850E2V3_UP }, |
| { "dpa0u", 17, PROCESSOR_V850E2V3_UP }, |
| { "dpa1l", 18, PROCESSOR_V850E2V3_UP }, |
| { "dpa1u", 19, PROCESSOR_V850E2V3_UP }, |
| { "dpa2l", 20, PROCESSOR_V850E2V3_UP }, |
| { "dpa2u", 21, PROCESSOR_V850E2V3_UP }, |
| { "dpa3l", 22, PROCESSOR_V850E2V3_UP }, |
| { "dpa3u", 23, PROCESSOR_V850E2V3_UP }, |
| { "dpa4l", 24, PROCESSOR_V850E2V3_UP }, |
| { "dpa4u", 25, PROCESSOR_V850E2V3_UP }, |
| { "dpa5l", 26, PROCESSOR_V850E2V3_UP }, |
| { "dpa5u", 27, PROCESSOR_V850E2V3_UP }, |
| { "ecr", 4, PROCESSOR_ALL }, |
| { "eh_base", 3, PROCESSOR_V850E2V3_UP }, |
| { "eh_cfg", 1, PROCESSOR_V850E2V3_UP }, |
| { "eh_reset", 2, PROCESSOR_V850E2V3_UP }, |
| { "eiic", 13, PROCESSOR_V850E2_UP }, |
| { "eipc", 0, PROCESSOR_ALL }, |
| { "eipsw", 1, PROCESSOR_ALL }, |
| { "eiwr", 28, PROCESSOR_V850E2_UP }, |
| { "feic", 14, PROCESSOR_V850E2_UP }, |
| { "fepc", 2, PROCESSOR_ALL }, |
| { "fepsw", 3, PROCESSOR_ALL }, |
| { "fewr", 29, PROCESSOR_V850E2_UP }, |
| { "fpcc", 9, PROCESSOR_V850E2V3_UP }, |
| { "fpcfg", 10, PROCESSOR_V850E2V3_UP }, |
| { "fpec", 11, PROCESSOR_V850E2V3_UP }, |
| { "fpepc", 7, PROCESSOR_V850E2V3_UP }, |
| { "fpspc", 27, PROCESSOR_V850E2V3_UP }, |
| { "fpsr", 6, PROCESSOR_V850E2V3_UP }, |
| { "fpst", 8, PROCESSOR_V850E2V3_UP }, |
| { "ipa0l", 6, PROCESSOR_V850E2V3_UP }, |
| { "ipa0u", 7, PROCESSOR_V850E2V3_UP }, |
| { "ipa1l", 8, PROCESSOR_V850E2V3_UP }, |
| { "ipa1u", 9, PROCESSOR_V850E2V3_UP }, |
| { "ipa2l", 10, PROCESSOR_V850E2V3_UP }, |
| { "ipa2u", 11, PROCESSOR_V850E2V3_UP }, |
| { "ipa3l", 12, PROCESSOR_V850E2V3_UP }, |
| { "ipa3u", 13, PROCESSOR_V850E2V3_UP }, |
| { "ipa4l", 14, PROCESSOR_V850E2V3_UP }, |
| { "ipa4u", 15, PROCESSOR_V850E2V3_UP }, |
| { "mca", 24, PROCESSOR_V850E2V3_UP }, |
| { "mcc", 26, PROCESSOR_V850E2V3_UP }, |
| { "mcr", 27, PROCESSOR_V850E2V3_UP }, |
| { "mcs", 25, PROCESSOR_V850E2V3_UP }, |
| { "mpc", 1, PROCESSOR_V850E2V3_UP }, |
| { "mpm", 0, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa0l", 16, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa0u", 17, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa1l", 18, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa1u", 19, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa2l", 20, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa2u", 21, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa3l", 22, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa3u", 23, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa4l", 24, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa4u", 25, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa5l", 26, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_dpa5u", 27, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa0l", 6, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa0u", 7, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa1l", 8, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa1u", 9, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa2l", 10, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa2u", 11, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa3l", 12, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa3u", 13, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa4l", 14, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_ipa4u", 15, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_mpc", 1, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_mpm", 0, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_tid", 2, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_vmadr", 5, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_vmecr", 3, PROCESSOR_V850E2V3_UP }, |
| { "mpu10_vmtid", 4, PROCESSOR_V850E2V3_UP }, |
| { "pid", 6, PROCESSOR_V850E2V3_UP }, |
| { "pmcr0", 4, PROCESSOR_V850E2V3_UP }, |
| { "pmis2", 14, PROCESSOR_V850E2V3_UP }, |
| { "psw", 5, PROCESSOR_ALL }, |
| { "scbp", 12, PROCESSOR_V850E2V3_UP }, |
| { "sccfg", 11, PROCESSOR_V850E2V3_UP }, |
| { "sr0", 0, PROCESSOR_ALL }, |
| { "sr1", 1, PROCESSOR_ALL }, |
| { "sr10", 10, PROCESSOR_ALL }, |
| { "sr11", 11, PROCESSOR_ALL }, |
| { "sr12", 12, PROCESSOR_ALL }, |
| { "sr13", 13, PROCESSOR_ALL }, |
| { "sr14", 14, PROCESSOR_ALL }, |
| { "sr15", 15, PROCESSOR_ALL }, |
| { "sr16", 16, PROCESSOR_ALL }, |
| { "sr17", 17, PROCESSOR_ALL }, |
| { "sr18", 18, PROCESSOR_ALL }, |
| { "sr19", 19, PROCESSOR_ALL }, |
| { "sr2", 2, PROCESSOR_ALL }, |
| { "sr20", 20, PROCESSOR_ALL }, |
| { "sr21", 21, PROCESSOR_ALL }, |
| { "sr22", 22, PROCESSOR_ALL }, |
| { "sr23", 23, PROCESSOR_ALL }, |
| { "sr24", 24, PROCESSOR_ALL }, |
| { "sr25", 25, PROCESSOR_ALL }, |
| { "sr26", 26, PROCESSOR_ALL }, |
| { "sr27", 27, PROCESSOR_ALL }, |
| { "sr28", 28, PROCESSOR_ALL }, |
| { "sr29", 29, PROCESSOR_ALL }, |
| { "sr3", 3, PROCESSOR_ALL }, |
| { "sr30", 30, PROCESSOR_ALL }, |
| { "sr31", 31, PROCESSOR_ALL }, |
| { "sr4", 4, PROCESSOR_ALL }, |
| { "sr5", 5, PROCESSOR_ALL }, |
| { "sr6", 6, PROCESSOR_ALL }, |
| { "sr7", 7, PROCESSOR_ALL }, |
| { "sr8", 8, PROCESSOR_ALL }, |
| { "sr9", 9, PROCESSOR_ALL }, |
| { "sw_base", 3, PROCESSOR_V850E2V3_UP }, |
| { "sw_cfg", 1, PROCESSOR_V850E2V3_UP }, |
| { "sw_ctl", 0, PROCESSOR_V850E2V3_UP }, |
| { "tid", 2, PROCESSOR_V850E2V3_UP }, |
| { "vmadr", 6, PROCESSOR_V850E2V3_UP }, |
| { "vmecr", 4, PROCESSOR_V850E2V3_UP }, |
| { "vmtid", 5, PROCESSOR_V850E2V3_UP }, |
| { "vsadr", 2, PROCESSOR_V850E2V3_UP }, |
| { "vsecr", 0, PROCESSOR_V850E2V3_UP }, |
| { "vstid", 1, PROCESSOR_V850E2V3_UP }, |
| }; |
| |
| #define SYSREG_NAME_CNT \ |
| (sizeof (system_registers) / sizeof (struct reg_name)) |
| |
| |
| static const struct reg_name cc_names[] = |
| { |
| { "c", 0x1, PROCESSOR_ALL }, |
| { "e", 0x2, PROCESSOR_ALL }, |
| { "ge", 0xe, PROCESSOR_ALL }, |
| { "gt", 0xf, PROCESSOR_ALL }, |
| { "h", 0xb, PROCESSOR_ALL }, |
| { "l", 0x1, PROCESSOR_ALL }, |
| { "le", 0x7, PROCESSOR_ALL }, |
| { "lt", 0x6, PROCESSOR_ALL }, |
| { "n", 0x4, PROCESSOR_ALL }, |
| { "nc", 0x9, PROCESSOR_ALL }, |
| { "ne", 0xa, PROCESSOR_ALL }, |
| { "nh", 0x3, PROCESSOR_ALL }, |
| { "nl", 0x9, PROCESSOR_ALL }, |
| { "ns", 0xc, PROCESSOR_ALL }, |
| { "nv", 0x8, PROCESSOR_ALL }, |
| { "nz", 0xa, PROCESSOR_ALL }, |
| { "p", 0xc, PROCESSOR_ALL }, |
| { "s", 0x4, PROCESSOR_ALL }, |
| #define COND_SA_NUM 0xd |
| { "sa", COND_SA_NUM, PROCESSOR_ALL }, |
| { "t", 0x5, PROCESSOR_ALL }, |
| { "v", 0x0, PROCESSOR_ALL }, |
| { "z", 0x2, PROCESSOR_ALL }, |
| }; |
| |
| #define CC_NAME_CNT \ |
| (sizeof (cc_names) / sizeof (struct reg_name)) |
| |
| static const struct reg_name float_cc_names[] = |
| { |
| { "eq", 0x2, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "f", 0x0, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "ge", 0xd, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "gl", 0xb, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "gle", 0x9, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "gt", 0xf, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "le", 0xe, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "lt", 0xc, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "neq", 0x2, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "nge", 0xd, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "ngl", 0xb, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "ngle",0x9, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "ngt", 0xf, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "nle", 0xe, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "nlt", 0xc, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "oge", 0x5, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "ogl", 0x3, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "ogt", 0x7, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "ole", 0x6, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "olt", 0x4, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "or", 0x1, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "seq", 0xa, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "sf", 0x8, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "sne", 0xa, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "st", 0x8, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "t", 0x0, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "ueq", 0x3, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "uge", 0x4, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "ugt", 0x6, PROCESSOR_V850E2V3_UP }, /* false. */ |
| { "ule", 0x7, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "ult", 0x5, PROCESSOR_V850E2V3_UP }, /* true. */ |
| { "un", 0x1, PROCESSOR_V850E2V3_UP }, /* true. */ |
| }; |
| |
| #define FLOAT_CC_NAME_CNT \ |
| (sizeof (float_cc_names) / sizeof (struct reg_name)) |
| |
| |
| static const struct reg_name cacheop_names[] = |
| { |
| { "cfald", 0x44, PROCESSOR_V850E3V5_UP }, |
| { "cfali", 0x40, PROCESSOR_V850E3V5_UP }, |
| { "chbid", 0x04, PROCESSOR_V850E3V5_UP }, |
| { "chbii", 0x00, PROCESSOR_V850E3V5_UP }, |
| { "chbiwbd", 0x06, PROCESSOR_V850E3V5_UP }, |
| { "chbwbd", 0x07, PROCESSOR_V850E3V5_UP }, |
| { "cibid", 0x24, PROCESSOR_V850E3V5_UP }, |
| { "cibii", 0x20, PROCESSOR_V850E3V5_UP }, |
| { "cibiwbd", 0x26, PROCESSOR_V850E3V5_UP }, |
| { "cibwbd", 0x27, PROCESSOR_V850E3V5_UP }, |
| { "cildd", 0x65, PROCESSOR_V850E3V5_UP }, |
| { "cildi", 0x61, PROCESSOR_V850E3V5_UP }, |
| { "cistd", 0x64, PROCESSOR_V850E3V5_UP }, |
| { "cisti", 0x60, PROCESSOR_V850E3V5_UP }, |
| }; |
| |
| #define CACHEOP_NAME_CNT \ |
| (sizeof (cacheop_names) / sizeof (struct reg_name)) |
| |
| static const struct reg_name prefop_names[] = |
| { |
| { "prefd", 0x04, PROCESSOR_V850E3V5_UP }, |
| { "prefi", 0x00, PROCESSOR_V850E3V5_UP }, |
| }; |
| |
| #define PREFOP_NAME_CNT \ |
| (sizeof (prefop_names) / sizeof (struct reg_name)) |
| |
| static const struct reg_name vector_registers[] = |
| { |
| { "vr0", 0, PROCESSOR_V850E3V5_UP }, |
| { "vr1", 1, PROCESSOR_V850E3V5_UP }, |
| { "vr10", 10, PROCESSOR_V850E3V5_UP }, |
| { "vr11", 11, PROCESSOR_V850E3V5_UP }, |
| { "vr12", 12, PROCESSOR_V850E3V5_UP }, |
| { "vr13", 13, PROCESSOR_V850E3V5_UP }, |
| { "vr14", 14, PROCESSOR_V850E3V5_UP }, |
| { "vr15", 15, PROCESSOR_V850E3V5_UP }, |
| { "vr16", 16, PROCESSOR_V850E3V5_UP }, |
| { "vr17", 17, PROCESSOR_V850E3V5_UP }, |
| { "vr18", 18, PROCESSOR_V850E3V5_UP }, |
| { "vr19", 19, PROCESSOR_V850E3V5_UP }, |
| { "vr2", 2, PROCESSOR_V850E3V5_UP }, |
| { "vr20", 20, PROCESSOR_V850E3V5_UP }, |
| { "vr21", 21, PROCESSOR_V850E3V5_UP }, |
| { "vr22", 22, PROCESSOR_V850E3V5_UP }, |
| { "vr23", 23, PROCESSOR_V850E3V5_UP }, |
| { "vr24", 24, PROCESSOR_V850E3V5_UP }, |
| { "vr25", 25, PROCESSOR_V850E3V5_UP }, |
| { "vr26", 26, PROCESSOR_V850E3V5_UP }, |
| { "vr27", 27, PROCESSOR_V850E3V5_UP }, |
| { "vr28", 28, PROCESSOR_V850E3V5_UP }, |
| { "vr29", 29, PROCESSOR_V850E3V5_UP }, |
| { "vr3", 3, PROCESSOR_V850E3V5_UP }, |
| { "vr30", 30, PROCESSOR_V850E3V5_UP }, |
| { "vr31", 31, PROCESSOR_V850E3V5_UP }, |
| { "vr4", 4, PROCESSOR_V850E3V5_UP }, |
| { "vr5", 5, PROCESSOR_V850E3V5_UP }, |
| { "vr6", 6, PROCESSOR_V850E3V5_UP }, |
| { "vr7", 7, PROCESSOR_V850E3V5_UP }, |
| { "vr8", 8, PROCESSOR_V850E3V5_UP }, |
| { "vr9", 9, PROCESSOR_V850E3V5_UP }, |
| }; |
| |
| #define VREG_NAME_CNT \ |
| (sizeof (vector_registers) / sizeof (struct reg_name)) |
| |
| /* Do a binary search of the given register table to see if NAME is a |
| valid register name. Return the register number from the array on |
| success, or -1 on failure. */ |
| |
| static int |
| reg_name_search (const struct reg_name *regs, |
| int regcount, |
| const char *name, |
| bool accept_numbers) |
| { |
| int middle, low, high; |
| int cmp; |
| symbolS *symbolP; |
| |
| /* If the register name is a symbol, then evaluate it. */ |
| if ((symbolP = symbol_find (name)) != NULL) |
| { |
| /* If the symbol is an alias for another name then use that. |
| If the symbol is an alias for a number, then return the number. */ |
| if (symbol_equated_p (symbolP)) |
| name |
| = S_GET_NAME (symbol_get_value_expression (symbolP)->X_add_symbol); |
| else if (accept_numbers) |
| { |
| int reg = S_GET_VALUE (symbolP); |
| return reg; |
| } |
| |
| /* Otherwise drop through and try parsing name normally. */ |
| } |
| |
| low = 0; |
| high = regcount - 1; |
| |
| do |
| { |
| middle = (low + high) / 2; |
| cmp = strcasecmp (name, regs[middle].name); |
| if (cmp < 0) |
| high = middle - 1; |
| else if (cmp > 0) |
| low = middle + 1; |
| else |
| return ((regs[middle].processors & processor_mask) |
| ? regs[middle].value |
| : -1); |
| } |
| while (low <= high); |
| return -1; |
| } |
| |
| /* Summary of register_name(). |
| |
| in: Input_line_pointer points to 1st char of operand. |
| |
| out: An expressionS. |
| The operand may have been a register: in this case, X_op == O_register, |
| X_add_number is set to the register number, and truth is returned. |
| Input_line_pointer->(next non-blank) char after operand, or is in |
| its original state. */ |
| |
| static bool |
| register_name (expressionS *expressionP) |
| { |
| int reg_number; |
| char *name; |
| char *start; |
| char c; |
| |
| /* Find the spelling of the operand. */ |
| start = input_line_pointer; |
| c = get_symbol_name (&name); |
| |
| reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT, |
| name, false); |
| |
| /* Put back the delimiting char. */ |
| (void) restore_line_pointer (c); |
| |
| expressionP->X_add_symbol = NULL; |
| expressionP->X_op_symbol = NULL; |
| |
| /* Look to see if it's in the register table. */ |
| if (reg_number >= 0) |
| { |
| expressionP->X_op = O_register; |
| expressionP->X_add_number = reg_number; |
| |
| return true; |
| } |
| |
| /* Reset the line as if we had not done anything. */ |
| input_line_pointer = start; |
| |
| expressionP->X_op = O_illegal; |
| |
| return false; |
| } |
| |
| /* Summary of system_register_name(). |
| |
| in: INPUT_LINE_POINTER points to 1st char of operand. |
| EXPRESSIONP points to an expression structure to be filled in. |
| ACCEPT_NUMBERS is true iff numerical register names may be used. |
| |
| out: An expressionS structure in expressionP. |
| The operand may have been a register: in this case, X_op == O_register, |
| X_add_number is set to the register number, and truth is returned. |
| Input_line_pointer->(next non-blank) char after operand, or is in |
| its original state. */ |
| |
| static bool |
| system_register_name (expressionS *expressionP, |
| bool accept_numbers) |
| { |
| int reg_number; |
| char *name; |
| char *start; |
| char c; |
| |
| /* Find the spelling of the operand. */ |
| start = input_line_pointer; |
| c = get_symbol_name (&name); |
| reg_number = reg_name_search (system_registers, SYSREG_NAME_CNT, name, |
| accept_numbers); |
| |
| /* Put back the delimiting char. */ |
| (void) restore_line_pointer (c); |
| |
| if (reg_number < 0 |
| && accept_numbers) |
| { |
| /* Reset input_line pointer. */ |
| input_line_pointer = start; |
| |
| if (ISDIGIT (*input_line_pointer)) |
| { |
| reg_number = strtol (input_line_pointer, &input_line_pointer, 0); |
| } |
| } |
| |
| expressionP->X_add_symbol = NULL; |
| expressionP->X_op_symbol = NULL; |
| |
| /* Look to see if it's in the register table. */ |
| if (reg_number >= 0) |
| { |
| expressionP->X_op = O_register; |
| expressionP->X_add_number = reg_number; |
| |
| return true; |
| } |
| |
| /* Reset the line as if we had not done anything. */ |
| input_line_pointer = start; |
| |
| expressionP->X_op = O_illegal; |
| |
| return false; |
| } |
| |
| /* Summary of cc_name(). |
| |
| in: INPUT_LINE_POINTER points to 1st char of operand. |
| |
| out: An expressionS. |
| The operand may have been a register: in this case, X_op == O_register, |
| X_add_number is set to the register number, and truth is returned. |
| Input_line_pointer->(next non-blank) char after operand, or is in |
| its original state. */ |
| |
| static bool |
| cc_name (expressionS *expressionP, |
| bool accept_numbers) |
| { |
| int reg_number; |
| char *name; |
| char *start; |
| char c; |
| |
| /* Find the spelling of the operand. */ |
| start = input_line_pointer; |
| c = get_symbol_name (&name); |
| reg_number = reg_name_search (cc_names, CC_NAME_CNT, name, accept_numbers); |
| |
| /* Put back the delimiting char. */ |
| (void) restore_line_pointer (c); |
| |
| if (reg_number < 0 |
| && accept_numbers) |
| { |
| /* Reset input_line pointer. */ |
| input_line_pointer = start; |
| |
| if (ISDIGIT (*input_line_pointer)) |
| { |
| reg_number = strtol (input_line_pointer, &input_line_pointer, 0); |
| } |
| } |
| |
| expressionP->X_add_symbol = NULL; |
| expressionP->X_op_symbol = NULL; |
| |
| /* Look to see if it's in the register table. */ |
| if (reg_number >= 0) |
| { |
| expressionP->X_op = O_constant; |
| expressionP->X_add_number = reg_number; |
| |
| return true; |
| } |
| |
| /* Reset the line as if we had not done anything. */ |
| input_line_pointer = start; |
| |
| expressionP->X_op = O_illegal; |
| expressionP->X_add_number = 0; |
| |
| return false; |
| } |
| |
| static bool |
| float_cc_name (expressionS *expressionP, |
| bool accept_numbers) |
| { |
| int reg_number; |
| char *name; |
| char *start; |
| char c; |
| |
| /* Find the spelling of the operand. */ |
| start = input_line_pointer; |
| c = get_symbol_name (&name); |
| reg_number = reg_name_search (float_cc_names, FLOAT_CC_NAME_CNT, name, accept_numbers); |
| |
| /* Put back the delimiting char. */ |
| (void) restore_line_pointer (c); |
| |
| if (reg_number < 0 |
| && accept_numbers) |
| { |
| /* Reset input_line pointer. */ |
| input_line_pointer = start; |
| |
| if (ISDIGIT (*input_line_pointer)) |
| { |
| reg_number = strtol (input_line_pointer, &input_line_pointer, 0); |
| } |
| } |
| |
| expressionP->X_add_symbol = NULL; |
| expressionP->X_op_symbol = NULL; |
| |
| /* Look to see if it's in the register table. */ |
| if (reg_number >= 0) |
| { |
| expressionP->X_op = O_constant; |
| expressionP->X_add_number = reg_number; |
| |
| return true; |
| } |
| |
| /* Reset the line as if we had not done anything. */ |
| input_line_pointer = start; |
| |
| expressionP->X_op = O_illegal; |
| expressionP->X_add_number = 0; |
| |
| return false; |
| } |
| |
| static bool |
| cacheop_name (expressionS * expressionP, |
| bool accept_numbers) |
| { |
| int reg_number; |
| char *name; |
| char *start; |
| char c; |
| |
| /* Find the spelling of the operand. */ |
| start = input_line_pointer; |
| c = get_symbol_name (&name); |
| reg_number = reg_name_search (cacheop_names, CACHEOP_NAME_CNT, name, accept_numbers); |
| |
| /* Put back the delimiting char. */ |
| (void) restore_line_pointer (c); |
| |
| if (reg_number < 0 |
| && accept_numbers) |
| { |
| /* Reset input_line pointer. */ |
| input_line_pointer = start; |
| |
| if (ISDIGIT (*input_line_pointer)) |
| reg_number = strtol (input_line_pointer, &input_line_pointer, 0); |
| } |
| |
| expressionP->X_add_symbol = NULL; |
| expressionP->X_op_symbol = NULL; |
| |
| /* Look to see if it's in the register table. */ |
| if (reg_number >= 0) |
| { |
| expressionP->X_op = O_constant; |
| expressionP->X_add_number = reg_number; |
| |
| return true; |
| } |
| |
| /* Reset the line as if we had not done anything. */ |
| input_line_pointer = start; |
| |
| expressionP->X_op = O_illegal; |
| expressionP->X_add_number = 0; |
| |
| return false; |
| } |
| |
| static bool |
| prefop_name (expressionS * expressionP, |
| bool accept_numbers) |
| { |
| int reg_number; |
| char *name; |
| char *start; |
| char c; |
| |
| /* Find the spelling of the operand. */ |
| start = input_line_pointer; |
| c = get_symbol_name (&name); |
| reg_number = reg_name_search (prefop_names, PREFOP_NAME_CNT, name, accept_numbers); |
| |
| /* Put back the delimiting char. */ |
| (void) restore_line_pointer (c); |
| |
| if (reg_number < 0 |
| && accept_numbers) |
| { |
| /* Reset input_line pointer. */ |
| input_line_pointer = start; |
| |
| if (ISDIGIT (*input_line_pointer)) |
| reg_number = strtol (input_line_pointer, &input_line_pointer, 0); |
| } |
| |
| expressionP->X_add_symbol = NULL; |
| expressionP->X_op_symbol = NULL; |
| |
| /* Look to see if it's in the register table. */ |
| if (reg_number >= 0) |
| { |
| expressionP->X_op = O_constant; |
| expressionP->X_add_number = reg_number; |
| |
| return true; |
| } |
| |
| /* Reset the line as if we had not done anything. */ |
| input_line_pointer = start; |
| |
| expressionP->X_op = O_illegal; |
| expressionP->X_add_number = 0; |
| |
| return false; |
| } |
| |
| static bool |
| vector_register_name (expressionS *expressionP) |
| { |
| int reg_number; |
| char *name; |
| char *start; |
| char c; |
| |
| /* Find the spelling of the operand. */ |
| start = input_line_pointer; |
| c = get_symbol_name (&name); |
| |
| reg_number = reg_name_search (vector_registers, VREG_NAME_CNT, |
| name, false); |
| |
| /* Put back the delimiting char. */ |
| (void) restore_line_pointer (c); |
| |
| expressionP->X_add_symbol = NULL; |
| expressionP->X_op_symbol = NULL; |
| |
| /* Look to see if it's in the register table. */ |
| if (reg_number >= 0) |
| { |
| expressionP->X_op = O_register; |
| expressionP->X_add_number = reg_number; |
| |
| return true; |
| } |
| |
| /* Reset the line as if we had not done anything. */ |
| input_line_pointer = start; |
| |
| expressionP->X_op = O_illegal; |
| |
| return false; |
| } |
| |
| static void |
| skip_white_space (void) |
| { |
| while (*input_line_pointer == ' ' |
| || *input_line_pointer == '\t') |
| ++input_line_pointer; |
| } |
| |
| /* Summary of parse_register_list (). |
| |
| in: INPUT_LINE_POINTER points to 1st char of a list of registers. |
| INSN is the partially constructed instruction. |
| OPERAND is the operand being inserted. |
| |
| out: NULL if the parse completed successfully, otherwise a |
| pointer to an error message is returned. If the parse |
| completes the correct bit fields in the instruction |
| will be filled in. |
| |
| Parses register lists with the syntax: |
| |
| { rX } |
| { rX, rY } |
| { rX - rY } |
| { rX - rY, rZ } |
| etc |
| |
| and also parses constant expressions whose bits indicate the |
| registers in the lists. The LSB in the expression refers to |
| the lowest numbered permissible register in the register list, |
| and so on upwards. System registers are considered to be very |
| high numbers. */ |
| |
| static const char * |
| parse_register_list (unsigned long *insn, |
| const struct v850_operand *operand) |
| { |
| static int type1_regs[32] = |
| { |
| 30, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
| 0, 0, 0, 0, 0, 31, 29, 28, 23, 22, 21, 20, 27, 26, 25, 24 |
| }; |
| |
| int *regs; |
| expressionS exp; |
| |
| /* Select a register array to parse. */ |
| switch (operand->shift) |
| { |
| case 0xffe00001: regs = type1_regs; break; |
| default: |
| as_bad (_("unknown operand shift: %x\n"), operand->shift); |
| return _("internal failure in parse_register_list"); |
| } |
| |
| skip_white_space (); |
| |
| /* If the expression starts with a curly brace it is a register list. |
| Otherwise it is a constant expression, whose bits indicate which |
| registers are to be included in the list. */ |
| if (*input_line_pointer != '{') |
| { |
| int reg; |
| int i; |
| |
| expression (&exp); |
| |
| if (exp.X_op != O_constant) |
| return _("constant expression or register list expected"); |
| |
| if (regs == type1_regs) |
| { |
| if (exp.X_add_number & 0xFFFFF000) |
| return _("high bits set in register list expression"); |
| |
| for (reg = 20; reg < 32; reg++) |
| if (exp.X_add_number & (1 << (reg - 20))) |
| { |
| for (i = 0; i < 32; i++) |
| if (regs[i] == reg) |
| *insn |= (1 << i); |
| } |
| } |
| |
| return NULL; |
| } |
| |
| input_line_pointer++; |
| |
| /* Parse the register list until a terminator (closing curly brace or |
| new-line) is found. */ |
| for (;;) |
| { |
| skip_white_space (); |
| |
| if (register_name (&exp)) |
| { |
| int i; |
| |
| /* Locate the given register in the list, and if it is there, |
| insert the corresponding bit into the instruction. */ |
| for (i = 0; i < 32; i++) |
| { |
| if (regs[i] == exp.X_add_number) |
| { |
| *insn |= 1u << i; |
| break; |
| } |
| } |
| |
| if (i == 32) |
| return _("illegal register included in list"); |
| } |
| else if (system_register_name (&exp, true)) |
| { |
| if (regs == type1_regs) |
| { |
| return _("system registers cannot be included in list"); |
| } |
| } |
| |
| if (*input_line_pointer == '}') |
| { |
| input_line_pointer++; |
| break; |
| } |
| else if (*input_line_pointer == ',') |
| { |
| input_line_pointer++; |
| continue; |
| } |
| else if (*input_line_pointer == '-') |
| { |
| /* We have encountered a range of registers: rX - rY. */ |
| int j; |
| expressionS exp2; |
| |
| /* Skip the dash. */ |
| ++input_line_pointer; |
| |
| /* Get the second register in the range. */ |
| if (! register_name (&exp2)) |
| { |
| return _("second register should follow dash in register list"); |
| } |
| |
| if (exp.X_add_number > exp2.X_add_number) |
| { |
| return _("second register should be greater than first register"); |
| } |
| |
| /* Add the rest of the registers in the range. */ |
| for (j = exp.X_add_number + 1; j <= exp2.X_add_number; j++) |
| { |
| int i; |
| |
| /* Locate the given register in the list, and if it is there, |
| insert the corresponding bit into the instruction. */ |
| for (i = 0; i < 32; i++) |
| { |
| if (regs[i] == j) |
| { |
| *insn |= (1 << i); |
| break; |
| } |
| } |
| |
| if (i == 32) |
| return _("illegal register included in list"); |
| } |
| |
| exp = exp2; |
| } |
| else |
| break; |
| } |
| |
| return NULL; |
| } |
| |
| const char *md_shortopts = "m:"; |
| |
| struct option md_longopts[] = |
| { |
| #define OPTION_DISP_SIZE_DEFAULT_22 (OPTION_MD_BASE) |
| {"disp-size-default-22", no_argument, NULL, OPTION_DISP_SIZE_DEFAULT_22}, |
| #define OPTION_DISP_SIZE_DEFAULT_32 (OPTION_MD_BASE + 1) |
| {"disp-size-default-32", no_argument, NULL, OPTION_DISP_SIZE_DEFAULT_32}, |
| {NULL, no_argument, NULL, 0} |
| }; |
| |
| size_t md_longopts_size = sizeof (md_longopts); |
| |
| static bool v850_data_8 = false; |
| |
| void |
| md_show_usage (FILE *stream) |
| { |
| fprintf (stream, _(" V850 options:\n")); |
| fprintf (stream, _(" -mwarn-signed-overflow Warn if signed immediate values overflow\n")); |
| fprintf (stream, _(" -mwarn-unsigned-overflow Warn if unsigned immediate values overflow\n")); |
| fprintf (stream, _(" -mv850 The code is targeted at the v850\n")); |
| fprintf (stream, _(" -mv850e The code is targeted at the v850e\n")); |
| fprintf (stream, _(" -mv850e1 The code is targeted at the v850e1\n")); |
| fprintf (stream, _(" -mv850e2 The code is targeted at the v850e2\n")); |
| fprintf (stream, _(" -mv850e2v3 The code is targeted at the v850e2v3\n")); |
| fprintf (stream, _(" -mv850e2v4 Alias for -mv850e3v5\n")); |
| fprintf (stream, _(" -mv850e3v5 The code is targeted at the v850e3v5\n")); |
| fprintf (stream, _(" -mrelax Enable relaxation\n")); |
| fprintf (stream, _(" --disp-size-default-22 branch displacement with unknown size is 22 bits (default)\n")); |
| fprintf (stream, _(" --disp-size-default-32 branch displacement with unknown size is 32 bits\n")); |
| fprintf (stream, _(" -mextension enable extension opcode support\n")); |
| fprintf (stream, _(" -mno-bcond17 disable b<cond> disp17 instruction\n")); |
| fprintf (stream, _(" -mno-stld23 disable st/ld offset23 instruction\n")); |
| fprintf (stream, _(" -mgcc-abi Mark the binary as using the old GCC ABI\n")); |
| fprintf (stream, _(" -mrh850-abi Mark the binary as using the RH850 ABI (default)\n")); |
| fprintf (stream, _(" -m8byte-align Mark the binary as using 64-bit alignment\n")); |
| fprintf (stream, _(" -m4byte-align Mark the binary as using 32-bit alignment (default)\n")); |
| fprintf (stream, _(" -msoft-float Mark the binary as not using FP insns (default for pre e2v3)\n")); |
| fprintf (stream, _(" -mhard-float Mark the binary as using FP insns (default for e2v3 and up)\n")); |
| } |
| |
| int |
| md_parse_option (int c, const char *arg) |
| { |
| if (c != 'm') |
| { |
| switch (c) |
| { |
| case OPTION_DISP_SIZE_DEFAULT_22: |
| default_disp_size = 22; |
| return 1; |
| |
| case OPTION_DISP_SIZE_DEFAULT_32: |
| default_disp_size = 32; |
| return 1; |
| } |
| return 0; |
| } |
| |
| if (strcmp (arg, "warn-signed-overflow") == 0) |
| warn_signed_overflows = true; |
| |
| else if (strcmp (arg, "warn-unsigned-overflow") == 0) |
| warn_unsigned_overflows = true; |
| |
| else if (strcmp (arg, "v850") == 0) |
| { |
| machine = 0; |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850); |
| } |
| else if (strcmp (arg, "v850e") == 0) |
| { |
| machine = bfd_mach_v850e; |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E); |
| } |
| else if (strcmp (arg, "v850e1") == 0) |
| { |
| machine = bfd_mach_v850e1; |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E1); |
| } |
| else if (strcmp (arg, "v850e2") == 0) |
| { |
| machine = bfd_mach_v850e2; |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2); |
| } |
| else if (strcmp (arg, "v850e2v3") == 0) |
| { |
| machine = bfd_mach_v850e2v3; |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2V3); |
| } |
| else if (strcmp (arg, "v850e2v4") == 0) |
| { |
| machine = bfd_mach_v850e3v5; |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5); |
| } |
| else if (strcmp (arg, "v850e3v5") == 0) |
| { |
| machine = bfd_mach_v850e3v5; |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5); |
| } |
| else if (strcmp (arg, "extension") == 0) |
| { |
| processor_mask |= PROCESSOR_OPTION_EXTENSION | PROCESSOR_OPTION_ALIAS; |
| } |
| else if (strcmp (arg, "no-bcond17") == 0) |
| { |
| no_bcond17 = 1; |
| } |
| else if (strcmp (arg, "no-stld23") == 0) |
| { |
| no_stld23 = 1; |
| } |
| else if (strcmp (arg, "relax") == 0) |
| v850_relax = 1; |
| else if (strcmp (arg, "gcc-abi") == 0) |
| { |
| v850_target_arch = bfd_arch_v850; |
| v850_target_format = "elf32-v850"; |
| } |
| else if (strcmp (arg, "rh850-abi") == 0) |
| { |
| v850_target_arch = bfd_arch_v850_rh850; |
| v850_target_format = "elf32-v850-rh850"; |
| } |
| else if (strcmp (arg, "8byte-align") == 0) |
| { |
| v850_data_8 = true; |
| v850_e_flags |= EF_RH850_DATA_ALIGN8; |
| } |
| else if (strcmp (arg, "4byte-align") == 0) |
| { |
| v850_data_8 = false; |
| v850_e_flags &= ~ EF_RH850_DATA_ALIGN8; |
| } |
| else if (strcmp (arg, "soft-float") == 0) |
| soft_float = 1; |
| else if (strcmp (arg, "hard-float") == 0) |
| soft_float = 0; |
| else |
| return 0; |
| |
| return 1; |
| } |
| |
| symbolS * |
| md_undefined_symbol (char *name ATTRIBUTE_UNUSED) |
| { |
| return 0; |
| } |
| |
| const char * |
| md_atof (int type, char *litp, int *sizep) |
| { |
| return ieee_md_atof (type, litp, sizep, false); |
| } |
| |
| /* Very gross. */ |
| |
| void |
| md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED, |
| asection *sec, |
| fragS *fragP) |
| { |
| union u |
| { |
| bfd_reloc_code_real_type fx_r_type; |
| char * fr_opcode; |
| } |
| opcode_converter; |
| subseg_change (sec, 0); |
| |
| opcode_converter.fr_opcode = fragP->fr_opcode; |
| |
| subseg_change (sec, 0); |
| |
| if (fragP->fr_subtype == SUBYPTE_LOOP_16_22) |
| { |
| fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, |
| fragP->fr_offset, 1, |
| BFD_RELOC_UNUSED + opcode_converter.fx_r_type); |
| fragP->fr_fix += 4; |
| } |
| else if (fragP->fr_subtype == SUBYPTE_LOOP_16_22 + 1) |
| { |
| unsigned char * buffer = |
| (unsigned char *) (fragP->fr_fix + &fragP->fr_literal[0]); |
| int loop_reg = (buffer[0] & 0x1f); |
| |
| /* Add -1.reg. */ |
| md_number_to_chars ((char *) buffer, 0x025f | (loop_reg << 11), 2); |
| /* Now create the conditional branch + fixup to the final target. */ |
| /* 0x000107ea = bne LBL(disp17). */ |
| md_number_to_chars ((char *) buffer + 2, 0x000107ea, 4); |
| fix_new (fragP, fragP->fr_fix + 2, 4, fragP->fr_symbol, |
| fragP->fr_offset, 1, |
| BFD_RELOC_V850_17_PCREL); |
| fragP->fr_fix += 6; |
| } |
| /* In range conditional or unconditional branch. */ |
| else if (fragP->fr_subtype == SUBYPTE_COND_9_22 |
| || fragP->fr_subtype == SUBYPTE_UNCOND_9_22 |
| || fragP->fr_subtype == SUBYPTE_COND_9_22_32 |
| || fragP->fr_subtype == SUBYPTE_UNCOND_9_22_32 |
| || fragP->fr_subtype == SUBYPTE_COND_9_17_22 |
| || fragP->fr_subtype == SUBYPTE_COND_9_17_22_32 |
| || fragP->fr_subtype == SUBYPTE_SA_9_22 |
| || fragP->fr_subtype == SUBYPTE_SA_9_22_32 |
| || fragP->fr_subtype == SUBYPTE_SA_9_17_22 |
| || fragP->fr_subtype == SUBYPTE_SA_9_17_22_32) |
| |
| { |
| fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol, |
| fragP->fr_offset, 1, |
| BFD_RELOC_UNUSED + opcode_converter.fx_r_type); |
| fragP->fr_fix += 2; |
| } |
| /* V850e2r-v3 17bit conditional branch. */ |
| else if (fragP->fr_subtype == SUBYPTE_COND_9_17_22 + 1 |
| || fragP->fr_subtype == SUBYPTE_COND_9_17_22_32 + 1 |
| || fragP->fr_subtype == SUBYPTE_SA_9_17_22 + 1 |
| || fragP->fr_subtype == SUBYPTE_SA_9_17_22_32 + 1) |
| { |
| unsigned char *buffer = |
| (unsigned char *) (fragP->fr_fix + &fragP->fr_literal[0]); |
| |
| buffer[0] &= 0x0f; /* Use condition. */ |
| buffer[0] |= 0xe0; |
| buffer[1] = 0x07; |
| |
| /* Now create the unconditional branch + fixup to the final |
| target. */ |
| md_number_to_chars ((char *) buffer + 2, 0x0001, 2); |
| fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, |
| fragP->fr_offset, 1, BFD_RELOC_V850_17_PCREL); |
| fragP->fr_fix += 4; |
| } |
| /* Out of range conditional branch. Emit a branch around a 22bit jump. */ |
| else if (fragP->fr_subtype == SUBYPTE_COND_9_22 + 1 |
| || fragP->fr_subtype == SUBYPTE_COND_9_22_32 + 1 |
| || fragP->fr_subtype == SUBYPTE_COND_9_17_22 + 2 |
| || fragP->fr_subtype == SUBYPTE_COND_9_17_22_32 + 2) |
| { |
| unsigned char *buffer = |
| (unsigned char *) (fragP->fr_fix + fragP->fr_literal); |
| |
| /* Reverse the condition of the first branch. */ |
| buffer[0] ^= 0x08; |
| /* Mask off all the displacement bits. */ |
| buffer[0] &= 0x8f; |
| buffer[1] &= 0x07; |
| /* Now set the displacement bits so that we branch |
| around the unconditional branch. */ |
| buffer[0] |= 0x30; |
| |
| /* Now create the unconditional branch + fixup to the final |
| target. */ |
| md_number_to_chars ((char *) buffer + 2, 0x00000780, 4); |
| fix_new (fragP, fragP->fr_fix + 2, 4, fragP->fr_symbol, |
| fragP->fr_offset, 1, BFD_RELOC_V850_22_PCREL); |
| fragP->fr_fix += 6; |
| } |
| /* Out of range conditional branch. Emit a branch around a 32bit jump. */ |
| else if (fragP->fr_subtype == SUBYPTE_COND_9_22_32 + 2 |
| || fragP->fr_subtype == SUBYPTE_COND_9_17_22_32 + 3) |
| { |
| unsigned char *buffer = |
| (unsigned char *) (fragP->fr_fix + fragP->fr_literal); |
| |
| /* Reverse the condition of the first branch. */ |
| buffer[0] ^= 0x08; |
| /* Mask off all the displacement bits. */ |
| buffer[0] &= 0x8f; |
| buffer[1] &= 0x07; |
| /* Now set the displacement bits so that we branch |
| around the unconditional branch. */ |
| buffer[0] |= 0x40; |
| |
| /* Now create the unconditional branch + fixup to the final |
| target. */ |
| md_number_to_chars ((char *) buffer + 2, 0x02e0, 2); |
| fix_new (fragP, fragP->fr_fix + 4, 4, fragP->fr_symbol, |
| fragP->fr_offset + 2, 1, BFD_RELOC_V850_32_PCREL); |
| fragP->fr_fix += 8; |
| } |
| /* Out of range unconditional branch. Emit a 22bit jump. */ |
| else if (fragP->fr_subtype == SUBYPTE_UNCOND_9_22 + 1 |
| || fragP->fr_subtype == SUBYPTE_UNCOND_9_22_32 + 1) |
| { |
| md_number_to_chars (fragP->fr_fix + fragP->fr_literal, 0x00000780, 4); |
| fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, |
| fragP->fr_offset, 1, BFD_RELOC_V850_22_PCREL); |
| fragP->fr_fix += 4; |
| } |
| /* Out of range unconditional branch. Emit a 32bit jump. */ |
| else if (fragP->fr_subtype == SUBYPTE_UNCOND_9_22_32 + 2) |
| { |
| md_number_to_chars (fragP->fr_fix + fragP->fr_literal, 0x02e0, 2); |
| fix_new (fragP, fragP->fr_fix + 4, 4, fragP->fr_symbol, |
| fragP->fr_offset + 2, 1, BFD_RELOC_V850_32_PCREL); |
| fragP->fr_fix += 6; |
| } |
| /* Out of range SA conditional branch. Emit a branch to a 22bit jump. */ |
| else if (fragP->fr_subtype == SUBYPTE_SA_9_22 + 1 |
| || fragP->fr_subtype == SUBYPTE_SA_9_22_32 + 1 |
| || fragP->fr_subtype == SUBYPTE_SA_9_17_22 + 2 |
| || fragP->fr_subtype == SUBYPTE_SA_9_17_22_32 + 2) |
| { |
| unsigned char *buffer = |
| (unsigned char *) (fragP->fr_fix + fragP->fr_literal); |
| |
| /* bsa .+4 */ |
| buffer[0] &= 0x8f; |
| buffer[0] |= 0x20; |
| buffer[1] &= 0x07; |
| |
| /* br .+6 */ |
| md_number_to_chars ((char *) buffer + 2, 0x05b5, 2); |
| |
| /* Now create the unconditional branch + fixup to the final |
| target. */ |
| /* jr SYM */ |
| md_number_to_chars ((char *) buffer + 4, 0x00000780, 4); |
| fix_new (fragP, fragP->fr_fix + 4, 4, fragP->fr_symbol, |
| fragP->fr_offset, 1, |
| BFD_RELOC_V850_22_PCREL); |
| fragP->fr_fix += 8; |
| } |
| /* Out of range SA conditional branch. Emit a branch around a 32bit jump. */ |
| else if (fragP->fr_subtype == SUBYPTE_SA_9_22_32 + 2 |
| || fragP->fr_subtype == SUBYPTE_SA_9_17_22_32 + 3) |
| { |
| unsigned char *buffer = |
| (unsigned char *) (fragP->fr_fix + fragP->fr_literal); |
| |
| /* bsa .+2 */ |
| buffer[0] &= 0x8f; |
| buffer[0] |= 0x20; |
| buffer[1] &= 0x07; |
| |
| /* br .+8 */ |
| md_number_to_chars ((char *) buffer + 2, 0x05c5, 2); |
| |
| /* Now create the unconditional branch + fixup to the final |
| target. */ |
| /* jr SYM */ |
| md_number_to_chars ((char *) buffer + 4, 0x02e0, 2); |
| fix_new (fragP, fragP->fr_fix + 6, 4, fragP->fr_symbol, |
| fragP->fr_offset + 2, 1, BFD_RELOC_V850_32_PCREL); |
| |
| fragP->fr_fix += 10; |
| } |
| else |
| abort (); |
| } |
| |
| valueT |
| md_section_align (asection *seg, valueT addr) |
| { |
| int align = bfd_section_alignment (seg); |
| return ((addr + (1 << align) - 1) & -(1 << align)); |
| } |
| |
| void |
| md_begin (void) |
| { |
| const char *prev_name = ""; |
| const struct v850_opcode *op; |
| |
| if (startswith (TARGET_CPU, "v850e3v5")) |
| { |
| if (machine == -1) |
| machine = bfd_mach_v850e3v5; |
| |
| if (!processor_mask) |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5); |
| } |
| else if (startswith (TARGET_CPU, "v850e2v4")) |
| { |
| if (machine == -1) |
| machine = bfd_mach_v850e3v5; |
| |
| if (!processor_mask) |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5); |
| } |
| else if (startswith (TARGET_CPU, "v850e2v3")) |
| { |
| if (machine == -1) |
| machine = bfd_mach_v850e2v3; |
| |
| if (!processor_mask) |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2V3); |
| } |
| else if (startswith (TARGET_CPU, "v850e2")) |
| { |
| if (machine == -1) |
| machine = bfd_mach_v850e2; |
| |
| if (!processor_mask) |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2); |
| } |
| else if (startswith (TARGET_CPU, "v850e1")) |
| { |
| if (machine == -1) |
| machine = bfd_mach_v850e1; |
| |
| if (!processor_mask) |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E1); |
| } |
| else if (startswith (TARGET_CPU, "v850e")) |
| { |
| if (machine == -1) |
| machine = bfd_mach_v850e; |
| |
| if (!processor_mask) |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E); |
| } |
| else if (startswith (TARGET_CPU, "v850")) |
| { |
| if (machine == -1) |
| machine = 0; |
| |
| if (!processor_mask) |
| SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850); |
| } |
| else |
| /* xgettext:c-format */ |
| as_bad (_("Unable to determine default target processor from string: %s"), |
| TARGET_CPU); |
| |
| if (soft_float == -1) |
| soft_float = machine < bfd_mach_v850e2v3; |
| |
| v850_hash = str_htab_create (); |
| |
| /* Insert unique names into hash table. The V850 instruction set |
| has many identical opcode names that have different opcodes based |
| on the operands. This hash table then provides a quick index to |
| the first opcode with a particular name in the opcode table. */ |
| op = v850_opcodes; |
| while (op->name) |
| { |
| if (strcmp (prev_name, op->name)) |
| { |
| prev_name = (char *) op->name; |
| str_hash_insert (v850_hash, op->name, op, 0); |
| } |
| op++; |
| } |
| |
| v850_seg_table[BSS_SECTION].s = bss_section; |
| bfd_set_arch_mach (stdoutput, v850_target_arch, machine); |
| bfd_set_private_flags (stdoutput, v850_e_flags); |
| } |
| |
| |
| static bfd_reloc_code_real_type |
| handle_hi016 (const struct v850_operand *operand, const char **errmsg) |
| { |
| if (operand == NULL) |
| return BFD_RELOC_HI16; |
| |
| if (operand->default_reloc == BFD_RELOC_HI16) |
| return BFD_RELOC_HI16; |
| |
| if (operand->default_reloc == BFD_RELOC_HI16_S) |
| return BFD_RELOC_HI16; |
| |
| if (operand->default_reloc == BFD_RELOC_16) |
| return BFD_RELOC_HI16; |
| |
| *errmsg = _("hi0() relocation used on an instruction which does " |
| "not support it"); |
| return BFD_RELOC_64; /* Used to indicate an error condition. */ |
| } |
| |
| static bfd_reloc_code_real_type |
| handle_hi16 (const struct v850_operand *operand, const char **errmsg) |
| { |
| if (operand == NULL) |
| return BFD_RELOC_HI16_S; |
| |
| if (operand->default_reloc == BFD_RELOC_HI16_S) |
| return BFD_RELOC_HI16_S; |
| |
| if (operand->default_reloc == BFD_RELOC_HI16) |
| return BFD_RELOC_HI16_S; |
| |
| if (operand->default_reloc == BFD_RELOC_16) |
| return BFD_RELOC_HI16_S; |
| |
| *errmsg = _("hi() relocation used on an instruction which does " |
| "not support it"); |
| return BFD_RELOC_64; /* Used to indicate an error condition. */ |
| } |
| |
| static bfd_reloc_code_real_type |
| handle_lo16 (const struct v850_operand *operand, const char **errmsg) |
| { |
| if (operand == NULL) |
| return BFD_RELOC_LO16; |
| |
| switch (operand->default_reloc) |
| { |
| case BFD_RELOC_LO16: return BFD_RELOC_LO16; |
| case BFD_RELOC_V850_LO16_SPLIT_OFFSET: return BFD_RELOC_V850_LO16_SPLIT_OFFSET; |
| case BFD_RELOC_V850_16_SPLIT_OFFSET: return BFD_RELOC_V850_LO16_SPLIT_OFFSET; |
| case BFD_RELOC_V850_16_S1: return BFD_RELOC_V850_LO16_S1; |
| case BFD_RELOC_16: return BFD_RELOC_LO16; |
| default: |
| *errmsg = _("lo() relocation used on an instruction which does " |
| "not support it"); |
| return BFD_RELOC_64; /* Used to indicate an error condition. */ |
| } |
| } |
| |
| static bfd_reloc_code_real_type |
| handle_ctoff (const struct v850_operand *operand, const char **errmsg) |
| { |
| if (v850_target_arch == bfd_arch_v850_rh850) |
| { |
| *errmsg = _("ctoff() is not supported by the rh850 ABI. Use -mgcc-abi instead"); |
| return BFD_RELOC_64; /* Used to indicate an error condition. */ |
| } |
| |
| if (operand == NULL) |
| return BFD_RELOC_V850_CALLT_16_16_OFFSET; |
| |
| if (operand->default_reloc == BFD_RELOC_V850_CALLT_6_7_OFFSET) |
| return operand->default_reloc; |
| |
| if (operand->default_reloc == BFD_RELOC_V850_16_S1) |
| return BFD_RELOC_V850_CALLT_15_16_OFFSET; |
| |
| if (operand->default_reloc == BFD_RELOC_16) |
| return BFD_RELOC_V850_CALLT_16_16_OFFSET; |
| |
| *errmsg = _("ctoff() relocation used on an instruction which does not support it"); |
| return BFD_RELOC_64; /* Used to indicate an error condition. */ |
| } |
| |
| static bfd_reloc_code_real_type |
| handle_sdaoff (const struct v850_operand *operand, const char **errmsg) |
| { |
| if (operand == NULL) |
| return BFD_RELOC_V850_SDA_16_16_OFFSET; |
| |
| if (operand->default_reloc == BFD_RELOC_V850_16_SPLIT_OFFSET) |
| return BFD_RELOC_V850_SDA_16_16_SPLIT_OFFSET; |
| |
| if (operand->default_reloc == BFD_RELOC_16) |
| return BFD_RELOC_V850_SDA_16_16_OFFSET; |
| |
| if (operand->default_reloc == BFD_RELOC_V850_16_S1) |
| return BFD_RELOC_V850_SDA_15_16_OFFSET; |
| |
| *errmsg = _("sdaoff() relocation used on an instruction which does not support it"); |
| return BFD_RELOC_64; /* Used to indicate an error condition. */ |
| } |
| |
| static bfd_reloc_code_real_type |
| handle_zdaoff (const struct v850_operand *operand, const char **errmsg) |
| { |
| if (operand == NULL) |
| return BFD_RELOC_V850_ZDA_16_16_OFFSET; |
| |
| if (operand->default_reloc == BFD_RELOC_V850_16_SPLIT_OFFSET) |
| return BFD_RELOC_V850_ZDA_16_16_SPLIT_OFFSET; |
| |
| if (operand->default_reloc == BFD_RELOC_16) |
| return BFD_RELOC_V850_ZDA_16_16_OFFSET; |
| |
| if (operand->default_reloc == BFD_RELOC_V850_16_S1) |
| return BFD_RELOC_V850_ZDA_15_16_OFFSET; |
| |
| *errmsg = _("zdaoff() relocation used on an instruction which does not support it"); |
| return BFD_RELOC_64; /* Used to indicate an error condition. */ |
| } |
| |
| static bfd_reloc_code_real_type |
| handle_tdaoff (const struct v850_operand *operand, const char **errmsg) |
| { |
| if (operand == NULL) |
| /* Data item, not an instruction. */ |
| return BFD_RELOC_V850_TDA_16_16_OFFSET; |
| |
| switch (operand->default_reloc) |
| { |
| /* sld.hu, operand: D5-4. */ |
| case BFD_RELOC_V850_TDA_4_5_OFFSET: |
| /* sld.bu, operand: D4. */ |
| case BFD_RELOC_V850_TDA_4_4_OFFSET: |
| /* sld.w/sst.w, operand: D8_6. */ |
| case BFD_RELOC_V850_TDA_6_8_OFFSET: |
| /* sld.h/sst.h, operand: D8_7. */ |
| case BFD_RELOC_V850_TDA_7_8_OFFSET: |
| /* sld.b/sst.b, operand: D7. */ |
| case BFD_RELOC_V850_TDA_7_7_OFFSET: |
| return operand->default_reloc; |
| default: |
| break; |
| } |
| |
| if (operand->default_reloc == BFD_RELOC_16 && operand->shift == 16) |
| /* set1 & chums, operands: D16. */ |
| return BFD_RELOC_V850_TDA_16_16_OFFSET; |
| |
| *errmsg = _("tdaoff() relocation used on an instruction which does not support it"); |
| /* Used to indicate an error condition. */ |
| return BFD_RELOC_64; |
| } |
| |
| /* Warning: The code in this function relies upon the definitions |
| in the v850_operands[] array (defined in opcodes/v850-opc.c) |
| matching the hard coded values contained herein. */ |
| |
| static bfd_reloc_code_real_type |
| v850_reloc_prefix (const struct v850_operand *operand, const char **errmsg) |
| { |
| bool paren_skipped = false; |
| |
| /* Skip leading opening parenthesis. */ |
| if (*input_line_pointer == '(') |
| { |
| ++input_line_pointer; |
| paren_skipped = true; |
| } |
| |
| #define CHECK_(name, reloc) \ |
| if (strncmp (input_line_pointer, name "(", strlen (name) + 1) == 0) \ |
| { \ |
| input_line_pointer += strlen (name); \ |
| return reloc; \ |
| } |
| |
| CHECK_ ("hi0", handle_hi016 (operand, errmsg)); |
| CHECK_ ("hi", handle_hi16 (operand, errmsg)); |
| CHECK_ ("lo", handle_lo16 (operand, errmsg)); |
| CHECK_ ("sdaoff", handle_sdaoff (operand, errmsg)); |
| CHECK_ ("zdaoff", handle_zdaoff (operand, errmsg)); |
| CHECK_ ("tdaoff", handle_tdaoff (operand, errmsg)); |
| CHECK_ ("hilo", BFD_RELOC_32); |
| CHECK_ ("lo23", BFD_RELOC_V850_23); |
| CHECK_ ("ctoff", handle_ctoff (operand, errmsg)); |
| |
| /* Restore skipped parenthesis. */ |
| if (paren_skipped) |
| --input_line_pointer; |
| |
| return BFD_RELOC_NONE; |
| } |
| |
| /* Insert an operand value into an instruction. */ |
| |
| static unsigned long |
| v850_insert_operand (unsigned long insn, |
| const struct v850_operand *operand, |
| offsetT val, |
| const char **errmsg) |
| { |
| if (operand->insert) |
| { |
| const char *message = NULL; |
| |
| insn = operand->insert (insn, val, &message); |
| if (message != NULL) |
| { |
| if ((operand->flags & V850_OPERAND_SIGNED) |
| && ! warn_signed_overflows |
| && v850_msg_is_out_of_range (message)) |
| { |
| /* Skip warning... */ |
| } |
| else if ((operand->flags & V850_OPERAND_SIGNED) == 0 |
| && ! warn_unsigned_overflows |
| && v850_msg_is_out_of_range (message)) |
| { |
| /* Skip warning... */ |
| } |
| else |
| { |
| if (errmsg != NULL) |
| *errmsg = message; |
| } |
| } |
| } |
| else if (operand->bits == -1 |
| || operand->flags & V850E_IMMEDIATE16 |
| || operand->flags & V850E_IMMEDIATE23 |
| || operand->flags & V850E_IMMEDIATE32) |
| { |
| abort (); |
| } |
| else |
| { |
| if (operand->bits < 32) |
| { |
| long min, max; |
| |
| if ((operand->flags & V850_OPERAND_SIGNED) != 0) |
| { |
| if (! warn_signed_overflows) |
| max = (1 << operand->bits) - 1; |
| else |
| max = (1 << (operand->bits - 1)) - 1; |
| |
| min = -(1 << (operand->bits - 1)); |
| } |
| else |
| { |
| max = (1 << operand->bits) - 1; |
| |
| if (! warn_unsigned_overflows) |
| min = -(1 << (operand->bits - 1)); |
| else |
| min = 0; |
| } |
| |
| /* Some people write constants with the sign extension done by |
| hand but only up to 32 bits. This shouldn't really be valid, |
| but, to permit this code to assemble on a 64-bit host, we |
| sign extend the 32-bit value to 64 bits if so doing makes the |
| value valid. */ |
| if (val > max |
| && (offsetT) (val - 0x80000000 - 0x80000000) >= min |
| && (offsetT) (val - 0x80000000 - 0x80000000) <= max) |
| val = val - 0x80000000 - 0x80000000; |
| |
| /* Similarly, people write expressions like ~(1<<15), and expect |
| this to be OK for a 32-bit unsigned value. */ |
| else if (val < min |
| && (offsetT) (val + 0x80000000 + 0x80000000) >= min |
| && (offsetT) (val + 0x80000000 + 0x80000000) <= max) |
| val = val + 0x80000000 + 0x80000000; |
| |
| else if (val < (offsetT) min || val > (offsetT) max) |
| { |
| static char buf [128]; |
| |
| /* Restore min and mix to expected values for decimal ranges. */ |
| if ((operand->flags & V850_OPERAND_SIGNED) |
| && ! warn_signed_overflows) |
| max = (1 << (operand->bits - 1)) - 1; |
| |
| if (! (operand->flags & V850_OPERAND_SIGNED) |
| && ! warn_unsigned_overflows) |
| min = 0; |
| |
| sprintf (buf, _("operand out of range (%d is not between %d and %d)"), |
| (int) val, (int) min, (int) max); |
| *errmsg = buf; |
| } |
| |
| insn |= (((long) val & ((1 << operand->bits) - 1)) << operand->shift); |
| } |
| else |
| { |
| insn |= (((long) val) << operand->shift); |
| } |
| } |
| |
| return insn; |
| } |
| |
| static char copy_of_instruction[128]; |
| |
| void |
| md_assemble (char *str) |
| { |
| char *s; |
| char *start_of_operands; |
| struct v850_opcode *opcode; |
| struct v850_opcode *next_opcode; |
| const unsigned char *opindex_ptr; |
| int next_opindex; |
| int relaxable = 0; |
| unsigned long insn = 0; |
| unsigned long insn_size; |
| char *f = NULL; |
| int i; |
| int match; |
| bool extra_data_after_insn = false; |
| unsigned extra_data_len = 0; |
| unsigned long extra_data = 0; |
| char *saved_input_line_pointer; |
| char most_match_errmsg[1024]; |
| int most_match_count = -1; |
| |
| strncpy (copy_of_instruction, str, sizeof (copy_of_instruction) - 1); |
| most_match_errmsg[0] = 0; |
| |
| /* Get the opcode. */ |
| for (s = str; *s != '\0' && ! ISSPACE (*s); s++) |
| continue; |
| |
| if (*s != '\0') |
| *s++ = '\0'; |
| |
| /* Find the first opcode with the proper name. */ |
| opcode = (struct v850_opcode *) str_hash_find (v850_hash, str); |
| if (opcode == NULL) |
| { |
| /* xgettext:c-format */ |
| as_bad (_("Unrecognized opcode: `%s'"), str); |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| str = s; |
| while (ISSPACE (*str)) |
| ++str; |
| |
| start_of_operands = str; |
| |
| saved_input_line_pointer = input_line_pointer; |
| |
| for (;;) |
| { |
| const char *errmsg = NULL; |
| const char *warningmsg = NULL; |
| |
| match = 0; |
| opindex_ptr = opcode->operands; |
| |
| if (no_stld23) |
| { |
| if ((startswith (opcode->name, "st.") |
| && v850_operands[opcode->operands[1]].bits == 23) |
| || (startswith (opcode->name, "ld.") |
| && v850_operands[opcode->operands[0]].bits == 23)) |
| { |
| errmsg = _("st/ld offset 23 instruction was disabled ."); |
| goto error; |
| } |
| } |
| |
| if ((opcode->processors & processor_mask & PROCESSOR_MASK) == 0 |
| || (((opcode->processors & ~PROCESSOR_MASK) != 0) |
| && ((opcode->processors & processor_mask & ~PROCESSOR_MASK) == 0))) |
| { |
| errmsg = _("Target processor does not support this instruction."); |
| goto error; |
| } |
| |
| relaxable = 0; |
| fc = 0; |
| next_opindex = 0; |
| insn = opcode->opcode; |
| extra_data_len = 0; |
| extra_data_after_insn = false; |
| |
| input_line_pointer = str = start_of_operands; |
| |
| for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++) |
| { |
| const struct v850_operand *operand; |
| char *hold; |
| expressionS ex; |
| bfd_reloc_code_real_type reloc; |
| |
| if (next_opindex == 0) |
| operand = &v850_operands[*opindex_ptr]; |
| else |
| { |
| operand = &v850_operands[next_opindex]; |
| next_opindex = 0; |
| } |
| |
| errmsg = NULL; |
| |
| while (*str == ' ') |
| ++str; |
| |
| if (operand->flags & V850_OPERAND_BANG |
| && *str == '!') |
| ++str; |
| else if (operand->flags & V850_OPERAND_PERCENT |
| && *str == '%') |
| ++str; |
| |
| if (*str == ',' || *str == '[' || *str == ']') |
| ++str; |
| |
| while (*str == ' ') |
| ++str; |
| |
| if ( (strcmp (opcode->name, "pushsp") == 0 |
| || strcmp (opcode->name, "popsp") == 0 |
| || strcmp (opcode->name, "dbpush") == 0) |
| && (*str == '-')) |
| ++str; |
| |
| if (operand->flags & V850_OPERAND_RELAX) |
| relaxable = 1; |
| |
| /* Gather the operand. */ |
| hold = input_line_pointer; |
| input_line_pointer = str; |
| |
| /* lo(), hi(), hi0(), etc... */ |
| if ((reloc = v850_reloc_prefix (operand, &errmsg)) != BFD_RELOC_NONE) |
| { |
| /* This is a fake reloc, used to indicate an error condition. */ |
| if (reloc == BFD_RELOC_64) |
| { |
| /* match = 1; */ |
| goto error; |
| } |
| |
| expression (&ex); |
| |
| if (ex.X_op == O_constant) |
| { |
| switch (reloc) |
| { |
| case BFD_RELOC_V850_ZDA_16_16_OFFSET: |
| case BFD_RELOC_V850_ZDA_16_16_SPLIT_OFFSET: |
| case BFD_RELOC_V850_ZDA_15_16_OFFSET: |
| /* To cope with "not1 7, zdaoff(0xfffff006)[r0]" |
| and the like. */ |
| /* Fall through. */ |
| |
| case BFD_RELOC_LO16: |
| case BFD_RELOC_V850_LO16_S1: |
| case BFD_RELOC_V850_LO16_SPLIT_OFFSET: |
| { |
| /* Truncate, then sign extend the value. */ |
| ex.X_add_number = SEXT16 (ex.X_add_number); |
| break; |
| } |
| |
| case BFD_RELOC_HI16: |
| { |
| /* Truncate, then sign extend the value. */ |
| ex.X_add_number = SEXT16 (ex.X_add_number >> 16); |
| break; |
| } |
| |
| case BFD_RELOC_HI16_S: |
| { |
| /* Truncate, then sign extend the value. */ |
| int temp = (ex.X_add_number >> 16) & 0xffff; |
| |
| temp += (ex.X_add_number >> 15) & 1; |
| |
| ex.X_add_number = SEXT16 (temp); |
| break; |
| } |
| |
| case BFD_RELOC_V850_23: |
| if ((operand->flags & V850E_IMMEDIATE23) == 0) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| break; |
| |
| case BFD_RELOC_32: |
| case BFD_RELOC_V850_32_ABS: |
| case BFD_RELOC_V850_32_PCREL: |
| if ((operand->flags & V850E_IMMEDIATE32) == 0) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| |
| break; |
| |
| default: |
| as_bad (_("AAARG -> unhandled constant reloc: %d"), reloc); |
| break; |
| } |
| |
| if (operand->flags & V850E_IMMEDIATE32) |
| { |
| extra_data_after_insn = true; |
| extra_data_len = 4; |
| extra_data = 0; |
| } |
| else if (operand->flags & V850E_IMMEDIATE23) |
| { |
| if (reloc != BFD_RELOC_V850_23) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| extra_data_after_insn = true; |
| extra_data_len = 2; |
| extra_data = 0; |
| } |
| else if ((operand->flags & V850E_IMMEDIATE16) |
| || (operand->flags & V850E_IMMEDIATE16HI)) |
| { |
| if (operand->flags & V850E_IMMEDIATE16HI |
| && reloc != BFD_RELOC_HI16 |
| && reloc != BFD_RELOC_HI16_S) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| else if (operand->flags & V850E_IMMEDIATE16 |
| && reloc != BFD_RELOC_LO16) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| |
| extra_data_after_insn = true; |
| extra_data_len = 2; |
| extra_data = 0; |
| } |
| |
| if (fc > MAX_INSN_FIXUPS) |
| as_fatal (_("too many fixups")); |
| |
| fixups[fc].exp = ex; |
| fixups[fc].opindex = *opindex_ptr; |
| fixups[fc].reloc = reloc; |
| fc++; |
| } |
| else /* ex.X_op != O_constant. */ |
| { |
| if ((reloc == BFD_RELOC_32 |
| || reloc == BFD_RELOC_V850_32_ABS |
| || reloc == BFD_RELOC_V850_32_PCREL) |
| && operand->bits < 32) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| else if (reloc == BFD_RELOC_V850_23 |
| && (operand->flags & V850E_IMMEDIATE23) == 0) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| else if ((reloc == BFD_RELOC_HI16 |
| || reloc == BFD_RELOC_HI16_S) |
| && operand->bits < 16) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| |
| if (operand->flags & V850E_IMMEDIATE32) |
| { |
| extra_data_after_insn = true; |
| extra_data_len = 4; |
| extra_data = 0; |
| } |
| else if (operand->flags & V850E_IMMEDIATE23) |
| { |
| if (reloc != BFD_RELOC_V850_23) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| extra_data_after_insn = true; |
| extra_data_len = 2; |
| extra_data = 0; |
| } |
| else if ((operand->flags & V850E_IMMEDIATE16) |
| || (operand->flags & V850E_IMMEDIATE16HI)) |
| { |
| if (operand->flags & V850E_IMMEDIATE16HI |
| && reloc != BFD_RELOC_HI16 |
| && reloc != BFD_RELOC_HI16_S) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| else if (operand->flags & V850E_IMMEDIATE16 |
| && reloc != BFD_RELOC_LO16) |
| { |
| errmsg = _("immediate operand is too large"); |
| goto error; |
| } |
| |
| extra_data_after_insn = true; |
| extra_data_len = 2; |
| extra_data = 0; |
| } |
| |
| if (fc > MAX_INSN_FIXUPS) |
| as_fatal (_("too many fixups")); |
| |
| fixups[fc].exp = ex; |
| fixups[fc].opindex = *opindex_ptr; |
| fixups[fc].reloc = reloc; |
| fc++; |
| } |
| } |
| else if (operand->flags & V850E_IMMEDIATE16 |
| || operand->flags & V850E_IMMEDIATE16HI) |
| { |
| expression (&ex); |
| |
| switch (ex.X_op) |
| { |
| case O_constant: |
| if (operand->flags & V850E_IMMEDIATE16HI) |
| { |
| if (ex.X_add_number & 0xffff) |
| { |
| errmsg = _("constant too big to fit into instruction"); |
| goto error; |
| } |
| |
| ex.X_add_number >>= 16; |
| } |
| if (operand->flags & V850E_IMMEDIATE16) |
| { |
| if ((ex.X_add_number & 0xffff8000) |
| && ((ex.X_add_number & 0xffff8000) != 0xffff8000)) |
| { |
| errmsg = _("constant too big to fit into instruction"); |
| goto error; |
| } |
| } |
| break; |
| |
| case O_illegal: |
| errmsg = _("illegal operand"); |
| goto error; |
| |
| case O_absent: |
| errmsg = _("missing operand"); |
| goto error; |
| |
| default: |
| if (fc >= MAX_INSN_FIXUPS) |
| as_fatal (_("too many fixups")); |
| |
| fixups[fc].exp = ex; |
| fixups[fc].opindex = *opindex_ptr; |
| fixups[fc].reloc = operand->default_reloc; |
| ++fc; |
| |
| ex.X_add_number = 0; |
| break; |
| } |
| |
| extra_data_after_insn = true; |
| extra_data_len = 2; |
| extra_data = ex.X_add_number; |
| } |
| else if (operand->flags & V850E_IMMEDIATE23) |
| { |
| expression (&ex); |
| |
| switch (ex.X_op) |
| { |
| case O_constant: |
| break; |
| |
| case O_illegal: |
| errmsg = _("illegal operand"); |
| goto error; |
| |
| case O_absent: |
| errmsg = _("missing operand"); |
| goto error; |
| |
| default: |
| break; |
| } |
| |
| if (fc >= MAX_INSN_FIXUPS) |
| as_fatal (_("too many fixups")); |
| |
| fixups[fc].exp = ex; |
| fixups[fc].opindex = *opindex_ptr; |
| fixups[fc].reloc = operand->default_reloc; |
| ++fc; |
| |
| extra_data_after_insn = true; |
| extra_data_len = 2; |
| extra_data = 0; |
| } |
| else if (operand->flags & V850E_IMMEDIATE32) |
| { |
| expression (&ex); |
| |
| switch (ex.X_op) |
| { |
| case O_constant: |
| if ((operand->default_reloc == BFD_RELOC_V850_32_ABS |
| || operand->default_reloc == BFD_RELOC_V850_32_PCREL) |
| && (ex.X_add_number & 1)) |
| { |
| errmsg = _("odd number cannot be used here"); |
| goto error; |
| } |
| break; |
| |
| case O_illegal: |
| errmsg = _("illegal operand"); |
| goto error; |
| |
| case O_absent: |
| errmsg = _("missing operand"); |
| goto error; |
| |
| default: |
| if (fc >= MAX_INSN_FIXUPS) |
| as_fatal (_("too many fixups")); |
| |
| fixups[fc].exp = ex; |
| fixups[fc].opindex = *opindex_ptr; |
| fixups[fc].reloc = operand->default_reloc; |
| ++fc; |
| |
| ex.X_add_number = 0; |
| break; |
| } |
| |
| extra_data_after_insn = true; |
| extra_data_len = 4; |
| extra_data = ex.X_add_number; |
| } |
| else if (operand->flags & V850E_OPERAND_REG_LIST) |
| { |
| errmsg = parse_register_list (&insn, operand); |
| |
| if (errmsg) |
| goto error; |
| } |
| else |
| { |
| errmsg = NULL; |
| |
| if ((operand->flags & V850_OPERAND_REG) != 0) |
| { |
| if (!register_name (&ex)) |
| { |
| errmsg = _("invalid register name"); |
| } |
| |
| if ((operand->flags & V850_NOT_R0) |
| && ex.X_add_number == 0) |
| { |
| errmsg = _("register r0 cannot be used here"); |
| } |
| |
| if (operand->flags & V850_REG_EVEN) |
| { |
| if (ex.X_add_number % 2) |
| errmsg = _("odd register cannot be used here"); |
| ex.X_add_number = ex.X_add_number / 2; |
| } |
| |
| } |
| else if ((operand->flags & V850_OPERAND_SRG) != 0) |
| { |
| if (!system_register_name (&ex, true)) |
| { |
| errmsg = _("invalid system register name"); |
| } |
| } |
| else if ((operand->flags & V850_OPERAND_EP) != 0) |
| { |
| char *start = input_line_pointer; |
| char *name; |
| char c = get_symbol_name (&name); |
| |
| if (strcmp (name, "ep") != 0 && strcmp (name, "r30") != 0) |
| { |
| /* Put things back the way we found them. */ |
| (void) restore_line_pointer (c); |
| input_line_pointer = start; |
| errmsg = _("expected EP register"); |
| goto error; |
| } |
| |
| (void) restore_line_pointer (c); |
| str = input_line_pointer; |
| input_line_pointer = hold; |
| |
| while (*str == ' ' || *str == ',' |
| || *str == '[' || *str == ']') |
| ++str; |
| continue; |
| } |
| else if ((operand->flags & V850_OPERAND_CC) != 0) |
| { |
| if (!cc_name (&ex, true)) |
| { |
| errmsg = _("invalid condition code name"); |
| } |
| |
| if ((operand->flags & V850_NOT_SA) |
| && ex.X_add_number == COND_SA_NUM) |
| { |
| errmsg = _("condition sa cannot be used here"); |
| } |
| } |
| else if ((operand->flags & V850_OPERAND_FLOAT_CC) != 0) |
| { |
| if (!float_cc_name (&ex, true)) |
| { |
| errmsg = _("invalid condition code name"); |
| } |
| } |
| else if ((operand->flags & V850_OPERAND_CACHEOP) != 0) |
| { |
| if (!cacheop_name (&ex, true)) |
| errmsg = _("invalid cache operation name"); |
| } |
| else if ((operand->flags & V850_OPERAND_PREFOP) != 0) |
| { |
| if (!prefop_name (&ex, true)) |
| errmsg = _("invalid pref operation name"); |
| } |
| else if ((operand->flags & V850_OPERAND_VREG) != 0) |
| { |
| if (!vector_register_name (&ex)) |
| errmsg = _("invalid vector register name"); |
| } |
| else if ((register_name (&ex) |
| && (operand->flags & V850_OPERAND_REG) == 0)) |
| { |
| char *name; |
| char c; |
| int exists = 0; |
| |
| /* It is possible that an alias has been defined that |
| matches a register name. For example the code may |
| include a ".set ZERO, 0" directive, which matches |
| the register name "zero". Attempt to reparse the |
| field as an expression, and only complain if we |
| cannot generate a constant. */ |
| |
| input_line_pointer = str; |
| |
| c = get_symbol_name (&name); |
| |
| if (symbol_find (name) != NULL) |
| exists = 1; |
| |
| (void) restore_line_pointer (c); |
| input_line_pointer = str; |
| |
| expression (&ex); |
| |
| if (ex.X_op != O_constant) |
| { |
| /* If this register is actually occurring too early on |
| the parsing of the instruction, (because another |
| field is missing) then report this. */ |
| if (opindex_ptr[1] != 0 |
| && ((v850_operands[opindex_ptr[1]].flags |
| & V850_OPERAND_REG) |
| ||(v850_operands[opindex_ptr[1]].flags |
| & V850_OPERAND_VREG))) |
| errmsg = _("syntax error: value is missing before the register name"); |
| else |
| errmsg = _("syntax error: register not expected"); |
| |
| /* If we created a symbol in the process of this |
| test then delete it now, so that it will not |
| be output with the real symbols... */ |
| if (exists == 0 |
| && ex.X_op == O_symbol) |
| symbol_remove (ex.X_add_symbol, |
| &symbol_rootP, &symbol_lastP); |
| } |
| } |
| else if (system_register_name (&ex, false) |
| && (operand->flags & V850_OPERAND_SRG) == 0) |
| { |
| errmsg = _("syntax error: system register not expected"); |
| } |
| else if (cc_name (&ex, false) |
| && (operand->flags & V850_OPERAND_CC) == 0) |
| { |
| errmsg = _("syntax error: condition code not expected"); |
| } |
| else if (float_cc_name (&ex, false) |
| && (operand->flags & V850_OPERAND_FLOAT_CC) == 0) |
| { |
| errmsg = _("syntax error: condition code not expected"); |
| } |
| else if (vector_register_name (&ex) |
| && (operand->flags & V850_OPERAND_VREG) == 0) |
| { |
| errmsg = _("syntax error: vector register not expected"); |
| } |
| else |
| { |
| expression (&ex); |
| |
| if ((operand->flags & V850_NOT_IMM0) |
| && ex.X_op == O_constant |
| && ex.X_add_number == 0) |
| { |
| errmsg = _("immediate 0 cannot be used here"); |
| } |
| |
| /* Special case: |
| If we are assembling a MOV/JARL/JR instruction and the immediate |
| value does not fit into the bits available then create a |
| fake error so that the next MOV/JARL/JR instruction will be |
| selected. This one has a 32 bit immediate field. */ |
| |
| if ((strcmp (opcode->name, "mov") == 0 |
| || strcmp (opcode->name, "jarl") == 0 |
| || strcmp (opcode->name, "jr") == 0) |
| && ex.X_op == O_constant |
| && (ex.X_add_number < (-(1 << (operand->bits - 1))) |
| || ex.X_add_number > ((1 << (operand->bits - 1)) - 1))) |
| { |
| errmsg = _("immediate operand is too large"); |
| } |
| |
| if ((strcmp (opcode->name, "jarl") == 0 |
| || strcmp (opcode->name, "jr") == 0) |
| && ex.X_op != O_constant |
| && operand->bits != default_disp_size) |
| { |
| errmsg = _("immediate operand is not match"); |
| } |
| |
| /* Special case2 : |
| If we are assembling a ld/st instruction and the immediate |
| value does not fit into the bits available then create a |
| fake error so that the next ld/st instruction will be |
| selected. */ |
| if ( ( (startswith (opcode->name, "st.")) |
| || (startswith (opcode->name, "ld."))) |
| && ex.X_op == O_constant |
| && (ex.X_add_number < (-(1 << (operand->bits - 1))) |
| || ex.X_add_number > ((1 << (operand->bits - 1)) - 1))) |
| errmsg = _("displacement is too large"); |
| } |
| |
| if (errmsg) |
| goto error; |
| |
| switch (ex.X_op) |
| { |
| case O_illegal: |
| errmsg = _("illegal operand"); |
| goto error; |
| |