/* tc-csky.c -- Assembler for C-SKY Copyright (C) 1989-2020 Free Software Foundation, Inc. Created by Lifang Xia (lifang_xia@c-sky.com) Contributed by C-SKY Microsystems and Mentor Graphics. 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 #include #include #include #include "safe-ctype.h" #include "subsegs.h" #include "obstack.h" #include "libiberty.h" #ifdef OBJ_ELF #include "elf/csky.h" #include "dw2gencfi.h" #endif #include "tc-csky.h" #include "dwarf2dbg.h" #define BUILD_AS 1 #define OPCODE_MAX_LEN 20 #define HAS_SUB_OPERAND 0xfffffffful /* This value is just for lrw to distinguish "[]" label. */ #define NEED_OUTPUT_LITERAL 1 #define IS_EXTERNAL_SYM(sym, sec) (S_GET_SEGMENT (sym) != sec) #define IS_SUPPORT_OPCODE16(opcode) (opcode->isa_flag16 | isa_flag) #define IS_SUPPORT_OPCODE32(opcode) (opcode->isa_flag32 | isa_flag) #define KB * 1024 #define MB KB * 1024 #define GB MB * 1024 /* Define DSP version flags. For different CPU, the version of DSP instructions may be different. */ #define CSKY_DSP_FLAG_V1 (1 << 0) /* Normal DSP instructions. */ #define CSKY_DSP_FLAG_V2 (1 << 1) /* CK803S enhanced DSP. */ /* Literal pool related macros. */ /* 1024 - 1 entry - 2 byte rounding. */ #define v1_SPANPANIC (998) #define v1_SPANCLOSE (900) #define v1_SPANEXIT (600) #define v2_SPANPANIC (1024 - 4) /* 1024 is flrw offset. 24 is the biggest size for single instruction. for lrw16 (3+7, 512 bytes). */ #define v2_SPANCLOSE (512 - 24) /* For lrw16, 112 average size for a function. */ #define v2_SPANEXIT (512 - 112) /* For lrw16 (3+7, 512 bytes). */ #define v2_SPANCLOSE_ELRW (1016 - 24) /* For lrw16, 112 average size for a function. */ #define v2_SPANEXIT_ELRW (1016 - 112) #define MAX_POOL_SIZE (1024 / 4) #define POOL_END_LABEL ".LE" #define POOL_START_LABEL ".LS" /* Used in v1_relax_table. */ /* These are the two types of relaxable instruction. */ #define COND_JUMP 1 #define UNCD_JUMP 2 #define COND_JUMP_PIC 3 #define UNCD_JUMP_PIC 4 #define UNDEF_DISP 0 #define DISP12 1 #define DISP32 2 #define UNDEF_WORD_DISP 3 #define C12_LEN 2 /* Allow for align: bt/jmpi/.long + align. */ #define C32_LEN 10 /* Allow for align: bt/subi/stw/bsr/lrw/add/ld/addi/jmp/.long + align. */ #define C32_LEN_PIC 24 #define U12_LEN 2 /* Allow for align: jmpi/.long + align. */ #define U32_LEN 8 /* Allow for align: subi/stw/bsr/lrw/add/ld/addi/jmp/.long + align. */ #define U32_LEN_PIC 22 #define C(what,length) (((what) << 2) + (length)) #define UNCD_JUMP_S (do_pic ? UNCD_JUMP_PIC : UNCD_JUMP) #define COND_JUMP_S (do_pic ? COND_JUMP_PIC : COND_JUMP) #define U32_LEN_S (do_pic ? U32_LEN_PIC : U32_LEN) #define C32_LEN_S (do_pic ? C32_LEN_PIC : C32_LEN) /* Used in v2_relax_table. */ #define COND_DISP10_LEN 2 /* bt/bf_16. */ #define COND_DISP16_LEN 4 /* bt/bf_32. */ #define SCOND_DISP10_LEN 2 /* bt/bf_16, for CK801 only. */ #define SCOND_DISP16_LEN 6 /* !(bt/bf_16) + br_32. */ #define UNCD_DISP10_LEN 2 /* br_16. */ #define UNCD_DISP16_LEN 4 /* br_32. */ #define UNCD_DISP26_LEN 4 /* br32_old. */ #define JCOND_DISP10_LEN 2 /* bt/bf_16. */ #define JCOND_DISP16_LEN 4 /* bt/bf_32. */ #define JCOND_DISP32_LEN 12 /* !(bt/bf_16)/jmpi 32/.align 2/literal 4. */ #define JCOND_DISP26_LEN 8 /* bt/bf_32/br_32 old. */ #define JUNCD_DISP26_LEN 4 /* bt/bf_32 old. */ #define JUNCD_DISP10_LEN 2 /* br_16. */ #define JUNCD_DISP16_LEN 4 /* bt/bf_32. */ #define JUNCD_DISP32_LEN 10 /* jmpi_32/.align 2/literal 4/ CHANGED!. */ #define JCOMP_DISP26_LEN 8 /* bne_32/br_32 old. */ #define JCOMP_DISP16_LEN 4 /* bne_32 old. */ #define JCOMPZ_DISP16_LEN 4 /* bhlz_32. */ #define JCOMPZ_DISP32_LEN 14 /* bsz_32/jmpi 32/.align 2/literal 4. */ #define JCOMPZ_DISP26_LEN 8 /* bsz_32/br_32 old. */ #define JCOMP_DISP32_LEN 14 /* be_32/jmpi_32/.align 2/literal old. */ #define BSR_DISP10_LEN 2 /* bsr_16. */ #define BSR_DISP26_LEN 4 /* bsr_32. */ #define LRW_DISP7_LEN 2 /* lrw16. */ #define LRW_DISP16_LEN 4 /* lrw32. */ /* Declare worker functions. */ bfd_boolean v1_work_lrw (void); bfd_boolean v1_work_jbsr (void); bfd_boolean v1_work_fpu_fo (void); bfd_boolean v1_work_fpu_fo_fc (void); bfd_boolean v1_work_fpu_write (void); bfd_boolean v1_work_fpu_read (void); bfd_boolean v1_work_fpu_writed (void); bfd_boolean v1_work_fpu_readd (void); bfd_boolean v2_work_istack (void); bfd_boolean v2_work_btsti (void); bfd_boolean v2_work_addi (void); bfd_boolean v2_work_subi (void); bfd_boolean v2_work_add_sub (void); bfd_boolean v2_work_rotlc (void); bfd_boolean v2_work_bgeni (void); bfd_boolean v2_work_not (void); bfd_boolean v2_work_jbtf (void); bfd_boolean v2_work_jbr (void); bfd_boolean v2_work_lrw (void); bfd_boolean v2_work_lrsrsw (void); bfd_boolean v2_work_jbsr (void); bfd_boolean v2_work_jsri (void); bfd_boolean v2_work_movih (void); bfd_boolean v2_work_ori (void); bfd_boolean float_work_fmovi (void); bfd_boolean dsp_work_bloop (void); /* csky-opc.h must be included after workers are declared. */ #include "opcodes/csky-opc.h" #include "opcode/csky.h" enum { RELAX_NONE = 0, RELAX_OVERFLOW, COND_DISP10 = 20, /* bt/bf_16. */ COND_DISP16, /* bt/bf_32. */ SCOND_DISP10, /* br_16 */ SCOND_DISP16, /* !(bt/bf_32) + br_32. */ UNCD_DISP10, /* br_16. */ UNCD_DISP16, /* br_32. */ JCOND_DISP10, /* bt/bf_16. */ JCOND_DISP16, /* bt/bf_32. */ JCOND_DISP32, /* !(bt/bf_32)/jmpi + literal. */ JUNCD_DISP10, /* br_16. */ JUNCD_DISP16, /* br_32. */ JUNCD_DISP32, /* jmpi + literal. */ JCOMPZ_DISP16, /* bez/bnez/bhz/blsz/blz/bhsz. */ JCOMPZ_DISP32, /* !(jbez/jbnez/jblsz/jblz/jbhsz) + jmpi + literal. */ BSR_DISP26, /* bsr_32. */ LRW_DISP7, /* lrw16. */ LRW2_DISP8, /* lrw16, -mno-bsr16,8 bit offset. */ LRW_DISP16, /* lrw32. */ }; unsigned int mach_flag = 0; unsigned int arch_flag = 0; unsigned int other_flag = 0; unsigned int isa_flag = 0; unsigned int dsp_flag = 0; typedef struct stack_size_entry { struct stack_size_entry *next; symbolS *function; unsigned int stack_size; } stack_size_entry; struct csky_arch_info { const char *name; unsigned int arch_flag; unsigned int bfd_mach_flag; }; struct csky_cpu_info { const char *name; unsigned int mach_flag; unsigned int isa_flag; }; typedef enum { INSN_OPCODE, INSN_OPCODE16F, INSN_OPCODE32F, } inst_flag; /* Macro information. */ struct csky_macro_info { const char *name; /* How many operands : if operands == 5, all of 1,2,3,4 are ok. */ long oprnd_num; int isa_flag; /* Do the work. */ void (*handle_func)(void); }; struct csky_insn_info { /* Name of the opcode. */ char *name; /* Output instruction. */ unsigned int inst; /* Pointer for frag. */ char *output; /* End of instruction. */ char *opcode_end; /* Flag for INSN_OPCODE16F, INSN_OPCODE32F, INSN_OPCODE, INSN_MACRO. */ inst_flag flag_force; /* Operand number. */ int number; struct csky_opcode *opcode; struct csky_macro_info *macro; /* Insn size for check_literal. */ unsigned int isize; /* Max size of insn for relax frag_var. */ unsigned int max; /* Indicates which element is in csky_opcode_info op[] array. */ int opcode_idx; /* The value of each operand in instruction when layout. */ int idx; int val[MAX_OPRND_NUM]; struct relax_info { int max; int var; int subtype; } relax; /* The following are used for constant expressions. */ expressionS e1; expressionS e2; }; /* Literal pool data structures. */ struct literal { unsigned short refcnt; unsigned char ispcrel; unsigned char unused; bfd_reloc_code_real_type r_type; expressionS e; struct tls_addend tls_addend; unsigned char isdouble; uint64_t dbnum; }; static void csky_idly (void); static void csky_rolc (void); static void csky_sxtrb (void); static void csky_movtf (void); static void csky_addc64 (void); static void csky_subc64 (void); static void csky_or64 (void); static void csky_xor64 (void); static void csky_neg (void); static void csky_rsubi (void); static void csky_arith (void); static void csky_decne (void); static void csky_lrw (void); static enum bfd_reloc_code_real insn_reloc; /* Assembler operand parse errors use these identifiers. */ enum error_number { /* The following are errors. */ ERROR_CREG_ILLEGAL = 0, ERROR_REG_OVER_RANGE, ERROR_GREG_ILLEGAL, ERROR_802J_REG_OVER_RANGE, ERROR_REG_FORMAT, ERROR_REG_LIST, ERROR_IMM_ILLEGAL, ERROR_IMM_OVERFLOW, /* 5 */ ERROR_IMM_POWER, ERROR_JMPIX_OVER_RANGE, ERROR_EXP_CREG, ERROR_EXP_GREG, ERROR_EXP_CONSTANT, ERROR_EXP_EVEN_FREG, ERROR_RELOC_ILLEGAL, ERROR_MISSING_OPERAND, /* 10 */ ERROR_MISSING_COMMA, ERROR_MISSING_LBRACKET, ERROR_MISSING_RBRACKET, ERROR_MISSING_LSQUARE_BRACKETS, ERROR_MISSING_RSQUARE_BRACKETS, /* 15 */ ERROR_MISSING_LANGLE_BRACKETS, ERROR_MISSING_RANGLE_BRACKETS, ERROR_OFFSET_UNALIGNED, ERROR_BAD_END, ERROR_UNDEFINE, ERROR_CPREG_ILLEGAL, /* 20 */ ERROR_OPCODE_PSRBIT, ERROR_OPERANDS_ILLEGAL, ERROR_OPERANDS_NUMBER, ERROR_OPCODE_ILLEGAL, /* The following are warnings. */ WARNING_OPTIONS, WARNING_IDLY, /* Error and warning end. */ ERROR_NONE, }; /* Global error state. ARG1 and ARG2 are opaque data interpreted as appropriate for the error code. */ struct csky_error_state { enum error_number err_num; int opnum; const void *arg1; const void *arg2; } error_state; /* This macro is used to set error number and arg1 in the global state. */ #define SET_ERROR_NUMBER(err, msg) \ do { \ if (error_state.err_num > err) \ { \ error_state.err_num = err; \ error_state.arg1 = (void *)msg; \ } \ } while (0) /* Map error identifiers onto a format string, which will use arg1 and arg2 from the global error state. */ struct csky_error_format_map { enum error_number num; const char *fmt; }; static const struct csky_error_format_map err_formats[] = { {ERROR_CREG_ILLEGAL, "Operand %d error: control register is illegal."}, {ERROR_REG_OVER_RANGE, "Operand %d error: r%d register is over range."}, {ERROR_GREG_ILLEGAL, "Operand %d error: general register is illegal."}, {ERROR_802J_REG_OVER_RANGE, "Operand %d register %s out of range (802j only has registers:0-15,23,24,25,30)"}, {ERROR_REG_FORMAT, "Operand %d error: %s."}, {ERROR_REG_LIST, "Register list format is illegal."}, {ERROR_IMM_ILLEGAL, "Operand %d is not an immediate."}, {ERROR_IMM_OVERFLOW, "Operand %d immediate is overflow."}, {ERROR_IMM_POWER, "immediate %d is not a power of two"}, {ERROR_JMPIX_OVER_RANGE, "The second operand must be 16/24/32/40"}, {ERROR_EXP_CREG, "Operand %d error: control register is expected."}, {ERROR_EXP_GREG, "Operand %d error: general register is expected."}, {ERROR_EXP_CONSTANT, "Operand %d error: constant is expected."}, {ERROR_EXP_EVEN_FREG, "Operand %d error: even float register is expected."}, {ERROR_RELOC_ILLEGAL, "@%s reloc is not supported"}, {ERROR_MISSING_OPERAND, "Operand %d is missing."}, {ERROR_MISSING_COMMA, "Missing ','"}, {ERROR_MISSING_LBRACKET, "Missing '('"}, {ERROR_MISSING_RBRACKET, "Missing ')'"}, {ERROR_MISSING_LSQUARE_BRACKETS, "Missing '['"}, {ERROR_MISSING_RSQUARE_BRACKETS, "Missing ']'"}, {ERROR_MISSING_LANGLE_BRACKETS, "Missing '<'"}, {ERROR_MISSING_RANGLE_BRACKETS, "Missing '>'"}, {ERROR_OFFSET_UNALIGNED, "Operand %d is unaligned. It must be %d aligned!"}, {ERROR_BAD_END, "Operands mismatch, it has a bad end: %s"}, {ERROR_UNDEFINE, NULL}, {ERROR_CPREG_ILLEGAL, "Operand %d illegal, expect a cpreg(cpr0-cpr63)."}, {ERROR_OPCODE_PSRBIT, "The operands must be 'ie'/'ee'/'fe'."}, {ERROR_OPERANDS_ILLEGAL, "Operands mismatch: %s."}, {ERROR_OPERANDS_NUMBER, "Operands number mismatch, %d operands expected."}, {ERROR_OPCODE_ILLEGAL, "The instruction is not recognized."}, {WARNING_OPTIONS, "Option %s is not support in %s."}, {WARNING_IDLY, "idly %d is encoded to: idly 4 "}, {ERROR_NONE, "There is no error."}, }; static int do_pic = 0; /* for jbr/jbf/jbt relax jmpi reloc. */ static int do_pff = -1; /* for insert two br ahead of literals. */ static int do_force2bsr = -1; /* for jbsr->bsr. */ static int do_jsri2bsr = 1; /* for jsri->bsr. */ static int do_nolrw = 0; /* lrw to movih & ori, only for V2. */ static int do_long_jump = -1; /* control if jbf,jbt,jbr relax to jmpi. */ static int do_extend_lrw = -1; /* delete bsr16 in both two options, add btesti16, lrw offset +1 in -melrw. */ static int do_func_dump = 0; /* dump literals after every function. */ static int do_br_dump = 1; /* work for -mabr/-mno-abr, control the literals dump. */ static int do_intr_stack = -1; /* control interrupt stack module, 801&802&803 default on, 807&810, default off. */ #ifdef INCLUDE_BRANCH_STUB static int do_use_branchstub = -1; #else static int do_use_branchstub = 0; #endif /* These are only used for options parsing. Values are bitmasks and are OR'ed into the processor flag bits in md_begin. */ static int do_opt_mmp = 0; static int do_opt_mcp = 0; static int do_opt_mcache = 0; static int do_opt_msecurity = 0; static int do_opt_mhard_float = 0; static int do_opt_mtrust = 0; static int do_opt_mdsp = 0; static int do_opt_medsp = 0; static int do_opt_mvdsp = 0; const relax_typeS *md_relax_table = NULL; struct literal *literal_insn_offset; static struct literal litpool[MAX_POOL_SIZE]; static unsigned poolsize = 0; static unsigned poolnumber = 0; static unsigned long poolspan = 0; static unsigned int SPANPANIC; static unsigned int SPANCLOSE; static unsigned int SPANEXIT; static stack_size_entry *all_stack_size_data = NULL; static stack_size_entry **last_stack_size_data = &all_stack_size_data; /* Control by ".no_literal_dump N" * 1 : don't dump literal pool between insn1 and insnN+1 * 0 : do nothing. */ static int do_noliteraldump = 0; /* Label for current pool. */ static symbolS * poolsym; static char poolname[8]; static bfd_boolean mov_r1_before; static bfd_boolean mov_r1_after; const relax_typeS csky_relax_table [] = { /* C-SKY V1 relax table. */ {0, 0, 0, 0}, /* RELAX_NONE */ {0, 0, 0, 0}, /* RELAX_OVERFLOW */ {0, 0, 0, 0}, {0, 0, 0, 0}, /* COND_JUMP */ { 0, 0, 0, 0 }, /* UNDEF_DISP */ { 2048, -2046, C12_LEN, C (COND_JUMP, DISP32) }, /* DISP12 */ { 0, 0, C32_LEN, 0 }, /* DISP32 */ { 0, 0, C32_LEN, 0 }, /* UNDEF_WORD_DISP */ /* UNCD_JUMP */ { 0, 0, 0, 0 }, /* UNDEF_DISP */ { 2048, -2046, U12_LEN, C (UNCD_JUMP, DISP32) }, /* DISP12 */ { 0, 0, U32_LEN, 0 }, /* DISP32 */ { 0, 0, U32_LEN, 0 }, /* UNDEF_WORD_DISP */ /* COND_JUMP_PIC */ { 0, 0, 0, 0 }, /* UNDEF_DISP */ { 2048, -2046, C12_LEN, C (COND_JUMP_PIC, DISP32) }, /* DISP12 */ { 0, 0, C32_LEN_PIC, 0 }, /* DISP32 */ { 0, 0, C32_LEN_PIC, 0 }, /* UNDEF_WORD_DISP */ /* UNCD_JUMP_PIC */ { 0, 0, 0, 0 }, /* UNDEF_DISP */ { 2048, -2046, U12_LEN, C (UNCD_JUMP_PIC, DISP32) }, /* DISP12 */ { 0, 0, U32_LEN_PIC, 0 }, /* DISP32 */ { 0, 0, U32_LEN_PIC, 0 }, /* UNDEF_WORD_DISP */ /* C-SKY V2 relax table. */ /* forward backward length more */ { 1 KB - 2, -1 KB, COND_DISP10_LEN, COND_DISP16 }, /* COND_DISP10 */ { 64 KB - 2, -64 KB, COND_DISP16_LEN, RELAX_OVERFLOW }, /* COND_DISP16 */ { 1 KB - 2, -1 KB, SCOND_DISP10_LEN, SCOND_DISP16 }, /* SCOND_DISP10 */ { 64 KB - 2, -64 KB, SCOND_DISP16_LEN, RELAX_OVERFLOW }, /* SCOND_DISP16 */ { 1 KB - 2, -1 KB, UNCD_DISP10_LEN, UNCD_DISP16 }, /* UNCD_DISP10 */ { 64 KB - 2, -64 KB, UNCD_DISP16_LEN, RELAX_OVERFLOW }, /* UNCD_DISP16 */ { 1 KB - 2, -1 KB, JCOND_DISP10_LEN, JCOND_DISP16 }, /* JCOND_DISP10 */ { 64 KB - 2, -64 KB, JCOND_DISP16_LEN, JCOND_DISP32 }, /* JCOND_DISP16 */ { 0, 0, JCOND_DISP32_LEN, RELAX_NONE }, /* JCOND_DISP32 */ { 1 KB - 2, -1 KB, JUNCD_DISP10_LEN, JUNCD_DISP16 }, /* JUNCD_DISP10 */ { 64 KB - 2, -64 KB, JUNCD_DISP16_LEN, JUNCD_DISP32 }, /* JUNCD_DISP16 */ { 0, 0, JUNCD_DISP32_LEN, RELAX_NONE }, /* JUNCD_DISP32 */ { 64 KB - 2, -64 KB, JCOMPZ_DISP16_LEN, JCOMPZ_DISP32 }, /* JCOMPZ_DISP16 */ { 0, 0, JCOMPZ_DISP32_LEN, RELAX_NONE }, /* JCOMPZ_DISP32 */ { 64 MB - 2, -64 MB, BSR_DISP26_LEN, RELAX_OVERFLOW }, /* BSR_DISP26 */ { 508, 0, LRW_DISP7_LEN, LRW_DISP16 }, /* LRW_DISP7 */ { 1016, 0, LRW_DISP7_LEN, LRW_DISP16 }, /* LRW2_DISP8 */ { 64 KB, 0, LRW_DISP16_LEN, RELAX_OVERFLOW }, /* LRW_DISP16 */ }; static void csky_write_insn (char *ptr, valueT use, int nbytes); void md_number_to_chars (char * buf, valueT val, int n); long md_pcrel_from_section (fixS * fixP, segT seg); /* C-SKY architecture table. */ const struct csky_arch_info csky_archs[] = { {"ck510", CSKY_ARCH_510, bfd_mach_ck510}, {"ck610", CSKY_ARCH_610, bfd_mach_ck610}, {"ck801", CSKY_ARCH_801, bfd_mach_ck801}, {"ck802", CSKY_ARCH_802, bfd_mach_ck802}, {"ck803", CSKY_ARCH_803, bfd_mach_ck803}, #define CSKY_ARCH_807_BASE CSKY_ARCH_807 | CSKY_ARCH_DSP #define CSKY_ARCH_810_BASE CSKY_ARCH_810 | CSKY_ARCH_DSP {"ck807", CSKY_ARCH_807_BASE, bfd_mach_ck807}, {"ck810", CSKY_ARCH_810_BASE, bfd_mach_ck810}, {NULL, 0, 0} }; /* C-SKY cpus table. */ const struct csky_cpu_info csky_cpus[] = { /* CK510 series. */ #define CSKYV1_ISA_DSP CSKY_ISA_DSP | CSKY_ISA_MAC_DSP {"ck510", CSKY_ARCH_510, CSKYV1_ISA_E1}, {"ck510e", CSKY_ARCH_510 | CSKY_ARCH_DSP, CSKYV1_ISA_E1 | CSKYV1_ISA_DSP}, {"ck520", CSKY_ARCH_510 | CSKY_ARCH_MAC, CSKYV1_ISA_E1 | CSKY_ISA_MAC | CSKY_ISA_MAC_DSP}, #define CSKY_ISA_610 CSKYV1_ISA_E1 | CSKY_ISA_CP /* CK610 series. */ {"ck610", CSKY_ARCH_610, CSKY_ISA_610}, {"ck610e", CSKY_ARCH_610 | CSKY_ARCH_DSP, CSKY_ISA_610 | CSKYV1_ISA_DSP}, {"ck610f", CSKY_ARCH_610 | CSKY_ARCH_FLOAT, CSKY_ISA_610 | CSKY_ISA_FLOAT_E1}, {"ck610ef", CSKY_ARCH_610 | CSKY_ARCH_FLOAT | CSKY_ARCH_DSP, CSKY_ISA_610 | CSKY_ISA_FLOAT_E1 | CSKYV1_ISA_DSP}, {"ck610fe", CSKY_ARCH_610 | CSKY_ARCH_FLOAT | CSKY_ARCH_DSP, CSKY_ISA_610 | CSKY_ISA_FLOAT_E1 | CSKYV1_ISA_DSP}, {"ck620", CSKY_ARCH_610 | CSKY_ARCH_MAC, CSKY_ISA_610 | CSKY_ISA_MAC | CSKY_ISA_MAC_DSP}, /* CK801 series. */ #define CSKY_ISA_801 CSKYV2_ISA_E1 #define CSKYV2_ISA_DSP (CSKY_ISA_DSP | CSKY_ISA_DSP_1E2) {"ck801", CSKY_ARCH_801, CSKY_ISA_801}, {"ck801t", CSKY_ARCH_801, CSKY_ISA_801 | CSKY_ISA_TRUST}, /* CK802 series. */ #define CSKY_ISA_802 (CSKY_ISA_801 | CSKYV2_ISA_1E2 | CSKY_ISA_NVIC) {"ck802", CSKY_ARCH_802, CSKY_ISA_802}, {"ck802j", CSKY_ARCH_802 | CSKY_ARCH_JAVA, CSKY_ISA_802 | CSKY_ISA_JAVA}, {"ck802t", CSKY_ARCH_802, CSKY_ISA_802 | CSKY_ISA_TRUST}, /* CK803 series. */ #define CSKY_ISA_803 (CSKY_ISA_802 | CSKYV2_ISA_2E3 | CSKY_ISA_MP) #define CSKY_ISA_803R1 (CSKY_ISA_803 | CSKYV2_ISA_3E3R1) #define CSKY_ISA_FLOAT_803 (CSKY_ISA_FLOAT_E1 | CSKY_ISA_FLOAT_1E3) {"ck803", CSKY_ARCH_803, CSKY_ISA_803 }, {"ck803h", CSKY_ARCH_803, CSKY_ISA_803 }, {"ck803t", CSKY_ARCH_803, CSKY_ISA_803 | CSKY_ISA_TRUST}, {"ck803ht", CSKY_ARCH_803, CSKY_ISA_803 | CSKY_ISA_TRUST}, {"ck803f", CSKY_ARCH_803 | CSKY_ARCH_FLOAT, CSKY_ISA_803 | CSKY_ISA_FLOAT_803}, {"ck803fh", CSKY_ARCH_803 | CSKY_ARCH_FLOAT, CSKY_ISA_803 | CSKY_ISA_FLOAT_803}, {"ck803e", CSKY_ARCH_803 | CSKY_ARCH_DSP, CSKY_ISA_803 | CSKYV2_ISA_DSP}, {"ck803eh", CSKY_ARCH_803 | CSKY_ARCH_DSP, CSKY_ISA_803 | CSKYV2_ISA_DSP}, {"ck803et", CSKY_ARCH_803 | CSKY_ARCH_DSP, CSKY_ISA_803 | CSKYV2_ISA_DSP | CSKY_ISA_TRUST}, {"ck803eht", CSKY_ARCH_803 | CSKY_ARCH_DSP, CSKY_ISA_803 | CSKYV2_ISA_DSP | CSKY_ISA_TRUST}, {"ck803ef", CSKY_ARCH_803 | CSKY_ARCH_DSP | CSKY_ARCH_FLOAT, CSKY_ISA_803 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_803}, {"ck803efh", CSKY_ARCH_803 | CSKY_ARCH_DSP | CSKY_ARCH_FLOAT, CSKY_ISA_803 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_803}, {"ck803ft", CSKY_ARCH_803 | CSKY_ARCH_FLOAT, CSKY_ISA_803 | CSKY_ISA_FLOAT_803 | CSKY_ISA_TRUST}, {"ck803eft", CSKY_ARCH_803 | CSKY_ARCH_DSP | CSKY_ARCH_FLOAT, CSKY_ISA_803 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_803 | CSKY_ISA_TRUST}, {"ck803efht", CSKY_ARCH_803 | CSKY_ARCH_DSP | CSKY_ARCH_FLOAT, CSKY_ISA_803 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_803 | CSKY_ISA_TRUST}, {"ck803r1", CSKY_ARCH_803, CSKY_ISA_803R1 }, {"ck803hr1", CSKY_ARCH_803, CSKY_ISA_803R1 }, {"ck803tr1", CSKY_ARCH_803, CSKY_ISA_803R1 | CSKY_ISA_TRUST}, {"ck803htr1", CSKY_ARCH_803, CSKY_ISA_803R1 | CSKY_ISA_TRUST}, {"ck803fr1", CSKY_ARCH_803 | CSKY_ARCH_FLOAT, CSKY_ISA_803R1 | CSKY_ISA_FLOAT_803}, {"ck803fhr1", CSKY_ARCH_803 | CSKY_ARCH_FLOAT, CSKY_ISA_803R1 | CSKY_ISA_FLOAT_803}, {"ck803er1", CSKY_ARCH_803 | CSKY_ARCH_DSP, CSKY_ISA_803R1 | CSKY_ISA_DSP_ENHANCE}, {"ck803ehr1", CSKY_ARCH_803 | CSKY_ARCH_DSP, CSKY_ISA_803R1 | CSKY_ISA_DSP_ENHANCE}, {"ck803etr1", CSKY_ARCH_803 | CSKY_ARCH_DSP, CSKY_ISA_803R1 | CSKY_ISA_DSP_ENHANCE | CSKY_ISA_TRUST}, {"ck803ehtr1", CSKY_ARCH_803 | CSKY_ARCH_DSP, CSKY_ISA_803R1 | CSKY_ISA_DSP_ENHANCE | CSKY_ISA_TRUST}, {"ck803efr1", CSKY_ARCH_803 | CSKY_ARCH_DSP | CSKY_ARCH_FLOAT, CSKY_ISA_803R1 | CSKY_ISA_DSP_ENHANCE | CSKY_ISA_FLOAT_803}, {"ck803efhr1", CSKY_ARCH_803 | CSKY_ARCH_DSP | CSKY_ARCH_FLOAT, CSKY_ISA_803R1 | CSKY_ISA_DSP_ENHANCE | CSKY_ISA_FLOAT_803}, {"ck803ftr1", CSKY_ARCH_803 | CSKY_ARCH_FLOAT, CSKY_ISA_803R1 | CSKY_ISA_FLOAT_803 | CSKY_ISA_TRUST}, {"ck803eftr1", CSKY_ARCH_803 | CSKY_ARCH_DSP | CSKY_ARCH_FLOAT, CSKY_ISA_803R1 | CSKY_ISA_DSP_ENHANCE | CSKY_ISA_FLOAT_803 | CSKY_ISA_TRUST}, {"ck803ehftr1", CSKY_ARCH_803 | CSKY_ARCH_DSP | CSKY_ARCH_FLOAT, CSKY_ISA_803R1 | CSKY_ISA_DSP_ENHANCE | CSKY_ISA_FLOAT_803 | CSKY_ISA_TRUST}, {"ck803s", CSKY_ARCH_803, CSKY_ISA_803R1 }, {"ck803se", CSKY_ARCH_803 | CSKY_ARCH_DSP, CSKY_ISA_803R1 | CSKYV2_ISA_DSP}, {"ck803sj", CSKY_ARCH_803 | CSKY_ARCH_JAVA, CSKY_ISA_803R1 | CSKY_ISA_JAVA}, {"ck803sf", CSKY_ARCH_803 | CSKY_ARCH_FLOAT, CSKY_ISA_803R1 | CSKY_ISA_FLOAT_803}, {"ck803sef", CSKY_ARCH_803 | CSKY_ARCH_DSP | CSKY_ARCH_FLOAT, CSKY_ISA_803R1 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_803}, {"ck803st", CSKY_ARCH_803, CSKY_ISA_803R1 | CSKY_ISA_TRUST}, /* CK807 series. */ #define CSKY_ISA_807 (CSKY_ISA_803 | CSKYV2_ISA_3E7 | CSKY_ISA_DSP | CSKY_ISA_MP_1E2 | CSKY_ISA_CACHE) #define CSKY_ISA_FLOAT_807 (CSKY_ISA_FLOAT_803 | CSKY_ISA_FLOAT_3E4 | CSKY_ISA_FLOAT_1E2) {"ck807e", CSKY_ARCH_807_BASE, CSKY_ISA_807 | CSKYV2_ISA_DSP}, {"ck807ef", CSKY_ARCH_807_BASE | CSKY_ARCH_FLOAT, CSKY_ISA_807 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_807}, {"ck807", CSKY_ARCH_807_BASE, CSKY_ISA_807 | CSKYV2_ISA_DSP}, {"ck807f", CSKY_ARCH_807_BASE | CSKY_ARCH_FLOAT, CSKY_ISA_807 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_807}, /* CK810 series. */ #define CSKY_ISA_810 (CSKY_ISA_807 | CSKYV2_ISA_7E10) #define CSKY_ISA_FLOAT_810 (CSKY_ISA_FLOAT_E1 | CSKY_ISA_FLOAT_1E2) {"ck810e", CSKY_ARCH_810_BASE, CSKY_ISA_810 | CSKYV2_ISA_DSP}, {"ck810et", CSKY_ARCH_810_BASE, CSKY_ISA_810 | CSKYV2_ISA_DSP | CSKY_ISA_TRUST}, {"ck810ef", CSKY_ARCH_810_BASE | CSKY_ARCH_FLOAT, CSKY_ISA_810 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_810}, {"ck810eft", CSKY_ARCH_810_BASE | CSKY_ARCH_FLOAT, CSKY_ISA_810 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_810 | CSKY_ISA_TRUST}, {"ck810", CSKY_ARCH_810_BASE, CSKY_ISA_810 | CSKYV2_ISA_DSP}, {"ck810v", CSKY_ARCH_810_BASE, CSKY_ISA_810 | CSKYV2_ISA_DSP | CSKY_ISA_VDSP}, {"ck810f", CSKY_ARCH_810_BASE | CSKY_ARCH_FLOAT, CSKY_ISA_810 | CSKYV2_ISA_DSP | CSKY_ISA_FLOAT_810}, {"ck810t", CSKY_ARCH_810_BASE, CSKY_ISA_810 | CSKYV2_ISA_DSP | CSKY_ISA_TRUST}, {"ck810tv", CSKY_ARCH_810_BASE, CSKY_ISA_810 | CSKYV2_ISA_DSP | CSKY_ISA_TRUST}, {"ck810ft", CSKY_ARCH_810_BASE | CSKY_ARCH_FLOAT, CSKY_ISA_810 | CSKYV2_ISA_DSP | CSKY_ISA_VDSP | CSKY_ISA_FLOAT_810 | CSKY_ISA_TRUST}, {"ck810ftv", CSKY_ARCH_810_BASE | CSKY_ARCH_FLOAT, CSKY_ISA_810 | CSKYV2_ISA_DSP | CSKY_ISA_VDSP | CSKY_ISA_FLOAT_810 | CSKY_ISA_TRUST}, {NULL, 0, 0} }; int md_short_jump_size = 2; int md_long_jump_size = 4; /* This array holds the chars that always start a comment. If the pre-processor is disabled, these aren't very useful. */ const char comment_chars[] = "#"; /* This array holds the chars that only start a comment at the beginning of a line. If the line seems to have the form '# 123 filename' .line and .file directives will appear in the pre-processed output. */ /* Note that input_file.c hand checks for '#' at the beginning of the first line of the input file. This is because the compiler outputs #NO_APP at the beginning of its output. */ /* Also note that comments like this one will always work. */ const char line_comment_chars[] = "#"; const char line_separator_chars[] = ";"; /* Chars that can be used to separate mant from exp in floating point numbers. */ const char EXP_CHARS[] = "eE"; /* Chars that mean this number is a floating point constant. As in 0f12.456 or 0d1.2345e12 */ const char FLT_CHARS[] = "rRsSfFdDxXeEpP"; const char *md_shortopts = ""; struct option md_longopts[] = { #define OPTION_MARCH (OPTION_MD_BASE + 0) {"march", required_argument, NULL, OPTION_MARCH}, #define OPTION_MCPU (OPTION_MD_BASE + 1) {"mcpu", required_argument, NULL, OPTION_MCPU}, /* Remaining options just set boolean flags. */ {"EL", no_argument, &target_big_endian, 0}, {"mlittle-endian", no_argument, &target_big_endian, 0}, {"EB", no_argument, &target_big_endian, 1}, {"mbig-endian", no_argument, &target_big_endian, 1}, {"fpic", no_argument, &do_pic, 1}, {"pic", no_argument, &do_pic, 1}, {"mljump", no_argument, &do_long_jump, 1}, {"mno-ljump", no_argument, &do_long_jump, 0}, {"force2bsr", no_argument, &do_force2bsr, 1}, {"mforce2bsr", no_argument, &do_force2bsr, 1}, {"no-force2bsr", no_argument, &do_force2bsr, 0}, {"mno-force2bsr", no_argument, &do_force2bsr, 0}, {"jsri2bsr", no_argument, &do_jsri2bsr, 1}, {"mjsri2bsr", no_argument, &do_jsri2bsr, 1}, {"no-jsri2bsr", no_argument, &do_jsri2bsr, 0}, {"mno-jsri2bsr", no_argument, &do_jsri2bsr, 0}, {"mnolrw", no_argument, &do_nolrw, 1}, {"mno-lrw", no_argument, &do_nolrw, 1}, {"melrw", no_argument, &do_extend_lrw, 1}, {"mno-elrw", no_argument, &do_extend_lrw, 0}, {"mlaf", no_argument, &do_func_dump, 1}, {"mliterals-after-func", no_argument, &do_func_dump, 1}, {"mno-laf", no_argument, &do_func_dump, 0}, {"mno-literals-after-func", no_argument, &do_func_dump, 0}, {"mlabr", no_argument, &do_br_dump, 1}, {"mliterals-after-br", no_argument, &do_br_dump, 1}, {"mno-labr", no_argument, &do_br_dump, 0}, {"mnoliterals-after-br", no_argument, &do_br_dump, 0}, {"mistack", no_argument, &do_intr_stack, 1}, {"mno-istack", no_argument, &do_intr_stack, 0}, #ifdef INCLUDE_BRANCH_STUB {"mbranch-stub", no_argument, &do_use_branchstub, 1}, {"mno-branch-stub", no_argument, &do_use_branchstub, 0}, #endif {"mhard-float", no_argument, &do_opt_mhard_float, CSKY_ARCH_FLOAT}, {"mmp", no_argument, &do_opt_mmp, CSKY_ARCH_MP}, {"mcp", no_argument, &do_opt_mcp, CSKY_ARCH_CP}, {"mcache", no_argument, &do_opt_mcache, CSKY_ARCH_CACHE}, {"msecurity", no_argument, &do_opt_msecurity, CSKY_ARCH_MAC}, {"mtrust", no_argument, &do_opt_mtrust, CSKY_ISA_TRUST}, {"mdsp", no_argument, &do_opt_mdsp, CSKY_DSP_FLAG_V1}, {"medsp", no_argument, &do_opt_medsp, CSKY_DSP_FLAG_V2}, {"mvdsp", no_argument, &do_opt_mvdsp, CSKY_ISA_VDSP}, }; size_t md_longopts_size = sizeof (md_longopts); static struct csky_insn_info csky_insn; static struct hash_control *csky_opcodes_hash; static struct hash_control *csky_macros_hash; static struct csky_macro_info v1_macros_table[] = { {"idly", 1, CSKYV1_ISA_E1, csky_idly}, {"rolc", 2, CSKYV1_ISA_E1, csky_rolc}, {"rotlc", 2, CSKYV1_ISA_E1, csky_rolc}, {"sxtrb0", 2, CSKYV1_ISA_E1, csky_sxtrb}, {"sxtrb1", 2, CSKYV1_ISA_E1, csky_sxtrb}, {"sxtrb2", 2, CSKYV1_ISA_E1, csky_sxtrb}, {"movtf", 3, CSKYV1_ISA_E1, csky_movtf}, {"addc64", 3, CSKYV1_ISA_E1, csky_addc64}, {"subc64", 3, CSKYV1_ISA_E1, csky_subc64}, {"or64", 3, CSKYV1_ISA_E1, csky_or64}, {"xor64", 3, CSKYV1_ISA_E1, csky_xor64}, {NULL,0,0,0} }; static struct csky_macro_info v2_macros_table[] = { {"neg", 1, CSKYV2_ISA_E1, csky_neg}, {"rsubi", 2, CSKYV2_ISA_1E2, csky_rsubi}, {"incf", 1, CSKYV2_ISA_1E2, csky_arith}, {"inct", 1, CSKYV2_ISA_1E2, csky_arith}, {"decf", 1, CSKYV2_ISA_2E3, csky_arith}, {"decgt", 1, CSKYV2_ISA_2E3, csky_arith}, {"declt", 1, CSKYV2_ISA_2E3, csky_arith}, {"decne", 1, CSKYV2_ISA_1E2, csky_decne}, {"dect", 1, CSKYV2_ISA_1E2, csky_arith}, {"lslc", 1, CSKYV2_ISA_1E2, csky_arith}, {"lsrc", 1, CSKYV2_ISA_1E2, csky_arith}, {"xsr", 1, CSKYV2_ISA_1E2, csky_arith}, {NULL,0,0,0} }; /* For option -mnolrw, replace lrw by movih & ori. */ static struct csky_macro_info v2_lrw_macro_opcode = {"lrw", 2, CSKYV2_ISA_1E2, csky_lrw}; /* This function is used to show errors or warnings. */ static void csky_show_error (enum error_number err, int idx, void *arg1, void *arg2) { if (err == ERROR_NONE) return; switch (err) { case ERROR_REG_LIST: case ERROR_OPCODE_PSRBIT: case ERROR_OPCODE_ILLEGAL: case ERROR_JMPIX_OVER_RANGE: case ERROR_MISSING_COMMA: case ERROR_MISSING_LBRACKET: case ERROR_MISSING_RBRACKET: case ERROR_MISSING_LSQUARE_BRACKETS: case ERROR_MISSING_RSQUARE_BRACKETS: case ERROR_MISSING_LANGLE_BRACKETS: case ERROR_MISSING_RANGLE_BRACKETS: /* Add NULL to fix warnings. */ as_bad (_(err_formats[err].fmt), NULL); break; case ERROR_CREG_ILLEGAL: case ERROR_GREG_ILLEGAL: case ERROR_IMM_ILLEGAL: case ERROR_IMM_OVERFLOW: case ERROR_EXP_CREG: case ERROR_EXP_GREG: case ERROR_EXP_CONSTANT: case ERROR_EXP_EVEN_FREG: case ERROR_MISSING_OPERAND: case ERROR_CPREG_ILLEGAL: as_bad (_(err_formats[err].fmt), idx); break; case ERROR_OPERANDS_NUMBER: case ERROR_IMM_POWER: as_bad (_(err_formats[err].fmt), (long)arg1); break; case ERROR_OFFSET_UNALIGNED: as_bad (_(err_formats[err].fmt), idx, (long)arg1); break; case ERROR_RELOC_ILLEGAL: case ERROR_BAD_END: case ERROR_OPERANDS_ILLEGAL: as_bad (_(err_formats[err].fmt), (char *)arg1); break; case ERROR_REG_OVER_RANGE: as_bad (_(err_formats[err].fmt), idx, (long) arg1); break; case ERROR_802J_REG_OVER_RANGE: case ERROR_REG_FORMAT: as_bad (_(err_formats[err].fmt), idx, (char *)arg1); break; case ERROR_UNDEFINE: /* Add NULL to fix warnings. */ as_bad ((char *)arg1, NULL); break; case WARNING_IDLY: as_warn (_(err_formats[err].fmt), (long)arg1); break; case WARNING_OPTIONS: as_warn (_(err_formats[err].fmt), (char *)arg1, (char *)arg2); break; default: break; } } /* Handle errors in branch relaxation. */ static void csky_branch_report_error (const char* file, unsigned int line, symbolS* sym, offsetT val) { as_bad_where (file ? file : _("unknown"), line, _("pcrel offset for branch to %s too far (0x%lx)"), sym ? S_GET_NAME (sym) : _(""), (long) val); } /* Set appropriate flags for the cpu matching STR. */ static void parse_cpu (const char *str) { int i = 0; for (; csky_cpus[i].name != NULL; i++) if (strcasecmp (str, csky_cpus[i].name) == 0) { mach_flag |= csky_cpus[i].mach_flag; isa_flag = csky_cpus[i].isa_flag; other_flag |= (csky_cpus[i].mach_flag & ~CSKY_ARCH_MASK); return; } as_bad (_("unknown cpu `%s'"), str); } /* Set appropriate flags for the arch matching STR. */ static void parse_arch (const char *str) { int i = 0; for (; csky_archs[i].name != NULL; i++) if (strcasecmp (str, csky_archs[i].name) == 0) { arch_flag |= csky_archs[i].arch_flag; return; } as_bad (_("unknown architecture `%s'"), str); } #ifdef OBJ_ELF /* Implement the TARGET_FORMAT macro. */ const char * elf32_csky_target_format (void) { return (target_big_endian ? "elf32-csky-big" : "elf32-csky-little"); } #endif /* Turn an integer of n bytes (in val) into a stream of bytes appropriate for use in the a.out file, and stores them in the array pointed to by buf. This knows about the endian-ness of the target machine and does THE RIGHT THING, whatever it is. Possible values for n are 1 (byte) 2 (short) and 4 (long) Floating numbers are put out as a series of LITTLENUMS (shorts, here at least). */ void md_number_to_chars (char * buf, valueT val, int n) { if (target_big_endian) number_to_chars_bigendian (buf, val, n); else number_to_chars_littleendian (buf, val, n); } /* Get a log2(val). */ static int csky_log_2 (unsigned int val) { int log = -1; if ((val & (val - 1)) == 0) for (; val; val >>= 1) log ++; else csky_show_error (ERROR_IMM_POWER, 0, (void *)(long)val, NULL); return log; } /* Output one instruction to the buffer at PTR. */ static void csky_write_insn (char *ptr, valueT use, int nbytes) { if (nbytes == 2) md_number_to_chars (ptr, use, nbytes); else /* 32-bit instruction. */ { /* Significant figures are in low bits. */ md_number_to_chars (ptr, use >> 16, 2); md_number_to_chars (ptr + 2, use & 0xFFFF, 2); } } /* Read an NBYTES instruction from the buffer at PTR. NBYTES should be either 2 or 4. This function is used in branch relaxation. */ static valueT csky_read_insn (char *ptr, int nbytes) { unsigned char *uptr = (unsigned char *)ptr; valueT v = 0; int lo, hi; /* hi/lo byte index in binary stream. */ if (target_big_endian) { hi = 0; lo = 1; } else { hi = 1; lo = 0; } v = uptr[lo] | (uptr[hi] << 8); if (nbytes == 4) { v <<= 16; v |= uptr[lo + 2] | (uptr[hi + 2] << 8); } return v; } /* Construct a label name into S from the 3-character prefix P and number N formatted as a 4-digit hex number. */ static void make_internal_label (char *s, const char *p, int n) { static const char hex[] = "0123456789ABCDEF"; s[0] = p[0]; s[1] = p[1]; s[2] = p[2]; s[3] = hex[(n >> 12) & 0xF]; s[4] = hex[(n >> 8) & 0xF]; s[5] = hex[(n >> 4) & 0xF]; s[6] = hex[(n) & 0xF]; s[7] = 0; } /* md_operand is a no-op on C-SKY; we do everything elsewhere. */ void md_operand (expressionS *expressionP ATTRIBUTE_UNUSED) { return; } /* Under ELF we need to default _GLOBAL_OFFSET_TABLE. Otherwise we have no need to default values of symbols. */ symbolS * md_undefined_symbol (char *name ATTRIBUTE_UNUSED) { #ifdef OBJ_ELF /* TODO: */ #endif return NULL; } /* Use IEEE format for floating-point constants. */ const char * md_atof (int type, char *litP, int *sizeP) { return ieee_md_atof (type, litP, sizeP, target_big_endian); } /* Print option help to FP. */ void md_show_usage (FILE *fp) { int i, n; const int margin = 48; fprintf (fp, _("C-SKY assembler options:\n")); fprintf (fp, _("\ -march=ARCH select architecture ARCH:")); for (i = 0, n = margin; csky_archs[i].name != NULL; i++) { int l = strlen (csky_archs[i].name); if (n + l >= margin) { fprintf (fp, "\n\t\t\t\t"); n = l; } else { fprintf (fp, " "); n += l + 1; } fprintf (fp, "%s", csky_archs[i].name); } fprintf (fp, "\n"); fprintf (fp, _("\ -mcpu=CPU select processor CPU:")); for (i = 0, n = margin; csky_cpus[i].name != NULL; i++) { int l = strlen (csky_cpus[i].name); if (n + l >= margin) { fprintf (fp, "\n\t\t\t\t"); n = l; } else { fprintf (fp, " "); n += l + 1; } fprintf (fp, "%s", csky_cpus[i].name); } fprintf (fp, "\n"); fprintf (fp, _("\ -EL -mlittle-endian generate little-endian output\n")); fprintf (fp, _("\ -EB -mbig-endian generate big-endian output\n")); fprintf (fp, _("\ -fpic -pic generate position-independent code\n")); fprintf (fp, _("\ -mljump transform jbf, jbt, jbr to jmpi (CK800 only)\n")); fprintf (fp, _("\ -mno-ljump\n")); #ifdef INCLUDE_BRANCH_STUB fprintf (fp, _("\ -mbranch-stub enable branch stubs for PC-relative calls\n")); fprintf (fp, _("\ -mno-branch-stub\n")); #endif fprintf (fp, _("\ -force2bsr -mforce2bsr transform jbsr to bsr\n")); fprintf (fp, _("\ -no-force2bsr -mno-force2bsr\n")); fprintf (fp, _("\ -jsri2bsr -mjsri2bsr transform jsri to bsr\n")); fprintf (fp, _("\ -no-jsri2bsr -mno-jsri2bsr\n")); fprintf (fp, _("\ -mnolrw -mno-lrw implement lrw as movih + ori\n")); fprintf (fp, _("\ -melrw enable extended lrw (CK800 only)\n")); fprintf (fp, _("\ -mno-elrw\n")); fprintf (fp, _("\ -mlaf -mliterals-after-func emit literals after each function\n")); fprintf (fp, _("\ -mno-laf -mno-literals-after-func\n")); fprintf (fp, _("\ -mlabr -mliterals-after-br emit literals after branch instructions\n")); fprintf (fp, _("\ -mno-labr -mnoliterals-after-br\n")); fprintf (fp, _("\ -mistack enable interrupt stack instructions\n")); fprintf (fp, _("\ -mno-istack\n")); fprintf (fp, _("\ -mhard-float enable hard float instructions\n")); fprintf (fp, _("\ -mmp enable multiprocessor instructions\n")); fprintf (fp, _("\ -mcp enable coprocessor instructions\n")); fprintf (fp, _("\ -mcache enable cache prefetch instruction\n")); fprintf (fp, _("\ -msecurity enable security instructions\n")); fprintf (fp, _("\ -mtrust enable trust instructions\n")); fprintf (fp, _("\ -mdsp enable DSP instructions\n")); fprintf (fp, _("\ -medsp enable enhanced DSP instructions\n")); fprintf (fp, _("\ -mvdsp enable vector DSP instructions\n")); } /* Target-specific initialization and option handling. */ void md_begin (void) { unsigned int bfd_mach_flag = 0; struct csky_opcode const *opcode; struct csky_macro_info const *macro; struct csky_arch_info const *p_arch; struct csky_cpu_info const *p_cpu; unsigned int flags = (other_flag | do_opt_mmp | do_opt_mcp | do_opt_mcache | do_opt_msecurity | do_opt_mhard_float); dsp_flag |= do_opt_mdsp | do_opt_medsp; isa_flag |= do_opt_mtrust | do_opt_mvdsp; if (dsp_flag) flags |= CSKY_ARCH_DSP; if (mach_flag != 0) { if ((mach_flag & CSKY_ARCH_MASK) != arch_flag && arch_flag != 0) as_warn (_("-mcpu conflict with -march option, using -mcpu")); if ((mach_flag & ~CSKY_ARCH_MASK) != flags && flags != 0) as_warn (_("-mcpu conflict with other model parameters, using -mcpu")); } else if (arch_flag != 0) mach_flag |= arch_flag | flags; else { #ifdef TARGET_WITH_CPU int i = 0; for (; csky_cpus[i].name != NULL; i++) { if (strcmp (TARGET_WITH_CPU, csky_cpus[i].name) == 0) { mach_flag |= csky_cpus[i].mach_flag; isa_flag = csky_cpus[i].isa_flag; break; } } #else #if _CSKY_ABI==1 mach_flag |= CSKY_ARCH_610 | flags; #else mach_flag |= CSKY_ARCH_810_BASE | flags; #endif #endif } if (IS_CSKY_ARCH_610 (mach_flag) || IS_CSKY_ARCH_510 (mach_flag)) { if ((mach_flag & CSKY_ARCH_MP) && (mach_flag & CSKY_ARCH_MAC)) as_fatal ("520/620 conflicts with -mmp option"); else if ((mach_flag & CSKY_ARCH_MP) && (mach_flag & CSKY_ARCH_DSP)) as_fatal ("510e/610e conflicts with -mmp option"); else if ((mach_flag & CSKY_ARCH_DSP) && (mach_flag & CSKY_ARCH_MAC)) as_fatal ("520/620 conflicts with 510e/610e or -mdsp option"); } if (IS_CSKY_ARCH_510 (mach_flag) && (mach_flag & CSKY_ARCH_FLOAT)) { mach_flag = (mach_flag & (~CSKY_ARCH_MASK)); mach_flag |= CSKY_ARCH_610; } /* Find bfd_mach_flag, it will set to bfd backend data. */ for (p_arch = csky_archs; p_arch->arch_flag != 0; p_arch++) if ((mach_flag & CSKY_ARCH_MASK) == (p_arch->arch_flag & CSKY_ARCH_MASK)) { bfd_mach_flag = p_arch->bfd_mach_flag; break; } /* Find isa_flag. */ for (p_cpu = csky_cpus; p_cpu->mach_flag != 0; p_cpu++) if ((mach_flag & CPU_ARCH_MASK) == p_cpu->mach_flag) { isa_flag |= p_cpu->isa_flag; break; } /* Check if -mdsp and -medsp conflict. If cpu is ck803, we will use enhanced dsp instruction. Otherwise, we will use normal dsp. */ if (dsp_flag) { if (IS_CSKY_ARCH_803 (mach_flag)) { /* In 803, dspv1 is conflict with dspv2. We keep dspv2. */ if ((dsp_flag & CSKY_DSP_FLAG_V1) && (dsp_flag & CSKY_DSP_FLAG_V2)) as_warn (_("option -mdsp conflicts with -medsp, only enabling -medsp")); isa_flag &= ~(CSKY_ISA_MAC_DSP | CSKY_ISA_DSP); isa_flag |= CSKY_ISA_DSP_ENHANCE; } else { isa_flag &= ~CSKY_ISA_DSP_ENHANCE; as_warn (_("-medsp option is only supported by ck803s, ignoring -medsp")); } ; } if (do_use_branchstub == -1) do_use_branchstub = !IS_CSKY_ARCH_V1 (mach_flag); else if (do_use_branchstub == 1) { if (IS_CSKY_ARCH_V1 (mach_flag)) { as_warn (_("C-SKY ABI v1 (ck510/ck610) does not support -mbranch-stub")); do_use_branchstub = 0; } else if (do_force2bsr == 0) { as_warn (_("-mno-force2bsr is ignored with -mbranch-stub")); do_force2bsr = 1; } } if (IS_CSKY_ARCH_801 (mach_flag) || IS_CSKY_ARCH_802 (mach_flag)) { if (!do_force2bsr) as_warn (_("-mno-force2bsr is ignored for ck801/ck802")); do_force2bsr = 1; } else if (do_force2bsr == -1) do_force2bsr = do_use_branchstub; if (do_pff == -1) { if (IS_CSKY_ARCH_V1 (mach_flag)) do_pff = 1; else do_pff = 0; } if (do_extend_lrw == -1) { if (IS_CSKY_ARCH_801 (mach_flag)) do_extend_lrw = 1; else do_extend_lrw = 0; } if (IS_CSKY_ARCH_801 (mach_flag) || IS_CSKY_ARCH_802 (mach_flag)) { if (do_long_jump > 0) as_warn (_("-mljump is ignored for ck801/ck802")); do_long_jump = 0; } else if (do_long_jump == -1) do_long_jump = 1; if (do_intr_stack == -1) { /* control interrupt stack module, 801&802&803 default on 807&810, default off. */ if (IS_CSKY_ARCH_807 (mach_flag) || IS_CSKY_ARCH_810 (mach_flag)) do_intr_stack = 0; else do_intr_stack = 1; } /* TODO: add isa_flag(SIMP/CACHE/APS). */ isa_flag |= (mach_flag & CSKY_ARCH_MAC) ? CSKY_ISA_MAC : 0; isa_flag |= (mach_flag & CSKY_ARCH_MP) ? CSKY_ISA_MP : 0; isa_flag |= (mach_flag & CSKY_ARCH_CP) ? CSKY_ISA_CP : 0; /* Set abi flag and get table address. */ if (IS_CSKY_ARCH_V1 (mach_flag)) { mach_flag = mach_flag | CSKY_ABI_V1; opcode = csky_v1_opcodes; macro = v1_macros_table; SPANPANIC = v1_SPANPANIC; SPANCLOSE = v1_SPANCLOSE; SPANEXIT = v1_SPANEXIT; md_relax_table = csky_relax_table; } else { mach_flag = mach_flag | CSKY_ABI_V2; opcode = csky_v2_opcodes; macro = v2_macros_table; SPANPANIC = v2_SPANPANIC; if (do_extend_lrw) { SPANCLOSE = v2_SPANCLOSE_ELRW; SPANEXIT = v2_SPANEXIT_ELRW; } else { SPANCLOSE = v2_SPANCLOSE; SPANEXIT = v2_SPANEXIT; } md_relax_table = csky_relax_table; } /* Establish hash table for opcodes and macros. */ csky_macros_hash = hash_new (); csky_opcodes_hash = hash_new (); for ( ; opcode->mnemonic != NULL; opcode++) if ((isa_flag & (opcode->isa_flag16 | opcode->isa_flag32)) != 0) hash_insert (csky_opcodes_hash, opcode->mnemonic, (char *)opcode); for ( ; macro->name != NULL; macro++) if ((isa_flag & macro->isa_flag) != 0) hash_insert (csky_macros_hash, macro->name, (char *)macro); if (do_nolrw && (isa_flag & CSKYV2_ISA_1E2) != 0) hash_insert (csky_macros_hash, v2_lrw_macro_opcode.name, (char *)&v2_lrw_macro_opcode); /* Set e_flag to ELF Head. */ bfd_set_private_flags (stdoutput, mach_flag); /* Set bfd_mach to bfd backend data. */ bfd_set_arch_mach (stdoutput, bfd_arch_csky, bfd_mach_flag); } /* The C-SKY assembler emits mapping symbols $t and $d to mark the beginning of a sequence of instructions and data (such as a constant pool), respectively. This is similar to what ARM does. */ static void make_mapping_symbol (map_state state, valueT value, fragS *frag) { symbolS * symbolP; const char * symname; int type; switch (state) { case MAP_DATA: symname = "$d"; type = BSF_NO_FLAGS; break; case MAP_TEXT: symname = "$t"; type = BSF_NO_FLAGS; break; default: abort (); } symbolP = symbol_new (symname, now_seg, value, frag); symbol_get_bfdsym (symbolP)->flags |= type | BSF_LOCAL; } /* We need to keep track of whether we are emitting code or data; this function switches state and emits a mapping symbol if necessary. */ static void mapping_state (map_state state) { map_state current_state = seg_info (now_seg)->tc_segment_info_data.current_state; if (current_state == state) return; else if (current_state == MAP_UNDEFINED && state == MAP_DATA) return; else if (current_state == MAP_UNDEFINED && state == MAP_TEXT) { struct frag * const frag_first = seg_info (now_seg)->frchainP->frch_root; if (frag_now != frag_first || frag_now_fix () > 0) make_mapping_symbol (MAP_DATA, (valueT) 0, frag_first); } seg_info (now_seg)->tc_segment_info_data.current_state = state; make_mapping_symbol (state, (valueT) frag_now_fix (), frag_now); } /* Dump the literal pool. */ static void dump_literals (int isforce) { #define CSKYV1_BR_INSN 0xF000 #define CSKYV2_BR_INSN 0x0400 unsigned int i; struct literal * p; symbolS * brarsym = NULL; /* V1 nop encoding: 0x1200 : mov r0, r0. */ static char v1_nop_insn_big[2] = {0x12, 0x00}; static char v1_nop_insn_little[2] = {0x00, 0x12}; if (poolsize == 0) return; /* Must we branch around the literal table? */ if (isforce) { char brarname[8]; make_internal_label (brarname, POOL_END_LABEL, poolnumber); brarsym = symbol_make (brarname); symbol_table_insert (brarsym); mapping_state (MAP_TEXT); if (IS_CSKY_ARCH_V1 (mach_flag)) { csky_insn.output = frag_var (rs_machine_dependent, csky_relax_table[C (UNCD_JUMP_S, DISP32)].rlx_length, csky_relax_table[C (UNCD_JUMP_S, DISP12)].rlx_length, C (UNCD_JUMP_S, 0), brarsym, 0, 0); md_number_to_chars (csky_insn.output, CSKYV1_BR_INSN, 2); } else { csky_insn.output = frag_var (rs_machine_dependent, UNCD_DISP16_LEN, UNCD_DISP10_LEN, UNCD_DISP10, brarsym, 0, 0); md_number_to_chars (csky_insn.output, CSKYV2_BR_INSN, 2); } } /* Make sure that the section is sufficiently aligned and that the literal table is aligned within it. */ if (do_pff) { valueT br_self; csky_insn.output = frag_more (2); /* .Lxx: br .Lxx */ if (IS_CSKY_V1 (mach_flag)) br_self = CSKYV1_BR_INSN | 0x7ff; else br_self = CSKYV2_BR_INSN; md_number_to_chars (csky_insn.output, br_self, 2); if (!isforce) { csky_insn.output = frag_more (2); /* .Lxx: br .Lxx */ md_number_to_chars (csky_insn.output, br_self, 2); } } mapping_state (MAP_DATA); record_alignment (now_seg, 2); if (IS_CSKY_ARCH_V1 (mach_flag)) frag_align_pattern (2, (target_big_endian ? v1_nop_insn_big : v1_nop_insn_little), 2, 0); else frag_align (2, 0, 3); colon (S_GET_NAME (poolsym)); for (i = 0, p = litpool; i < poolsize; i += (p->isdouble ? 2 : 1), p++) { insn_reloc = p->r_type; if (insn_reloc == BFD_RELOC_CKCORE_TLS_IE32 || insn_reloc == BFD_RELOC_CKCORE_TLS_LDM32 || insn_reloc == BFD_RELOC_CKCORE_TLS_GD32) literal_insn_offset = p; if (p->isdouble) { if (target_big_endian) { p->e.X_add_number = p->dbnum >> 32; emit_expr (& p->e, 4); p->e.X_add_number = p->dbnum & 0xffffffff; emit_expr (& p->e, 4); } else { p->e.X_add_number = p->dbnum & 0xffffffff; emit_expr (& p->e, 4); p->e.X_add_number = p->dbnum >> 32; emit_expr (& p->e, 4); } } else emit_expr (& p->e, 4); } if (isforce && IS_CSKY_ARCH_V2 (mach_flag)) { /* Add one nop insn at end of literal for disassembler. */ mapping_state (MAP_TEXT); csky_insn.output = frag_more (2); md_number_to_chars (csky_insn.output, CSKYV2_INST_NOP, 2); } insn_reloc = BFD_RELOC_NONE; if (brarsym != NULL) colon (S_GET_NAME (brarsym)); poolsize = 0; } static int enter_literal (expressionS *e, int ispcrel, unsigned char isdouble, uint64_t dbnum) { unsigned int i; struct literal * p; if (poolsize >= MAX_POOL_SIZE - 2) { /* The literal pool is as full as we can handle. We have to be 2 entries shy of the 1024/4=256 entries because we have to allow for the branch (2 bytes) and the alignment (2 bytes before the first insn referencing the pool and 2 bytes before the pool itself) == 6 bytes, rounds up to 2 entries. */ /* Save the parsed symbol's reloc. */ enum bfd_reloc_code_real last_reloc_before_dump = insn_reloc; dump_literals (1); insn_reloc = last_reloc_before_dump; } if (poolsize == 0) { /* Create new literal pool. */ if (++ poolnumber > 0xFFFF) as_fatal (_("more than 65K literal pools")); make_internal_label (poolname, POOL_START_LABEL, poolnumber); poolsym = symbol_make (poolname); symbol_table_insert (poolsym); poolspan = 0; } /* Search pool for value so we don't have duplicates. */ for (p = litpool, i = 0; i < poolsize; i += (p->isdouble ? 2 : 1), p++) { if (e->X_op == p->e.X_op && e->X_add_symbol == p->e.X_add_symbol && e->X_add_number == p->e.X_add_number && ispcrel == p->ispcrel && insn_reloc == p->r_type && isdouble == p->isdouble && insn_reloc != BFD_RELOC_CKCORE_TLS_GD32 && insn_reloc != BFD_RELOC_CKCORE_TLS_LDM32 && insn_reloc != BFD_RELOC_CKCORE_TLS_LDO32 && insn_reloc != BFD_RELOC_CKCORE_TLS_IE32 && insn_reloc != BFD_RELOC_CKCORE_TLS_LE32) { p->refcnt ++; return i; } } p->refcnt = 1; p->ispcrel = ispcrel; p->e = *e; p->r_type = insn_reloc; p->isdouble = isdouble; if (isdouble) p->dbnum = dbnum; if (insn_reloc == BFD_RELOC_CKCORE_TLS_GD32 || insn_reloc == BFD_RELOC_CKCORE_TLS_LDM32 || insn_reloc == BFD_RELOC_CKCORE_TLS_IE32) { p->tls_addend.frag = frag_now; p->tls_addend.offset = csky_insn.output - frag_now->fr_literal; literal_insn_offset = p; } poolsize += (p->isdouble ? 2 : 1); return i; } /* Check whether we must dump the literal pool here. kind == 0 is any old instruction. kind > 0 means we just had a control transfer instruction. kind == 1 means within a function. kind == 2 means we just left a function. OFFSET is the length of the insn being processed. SPANCLOSE and SPANEXIT are smaller numbers than SPANPANIC. SPANPANIC means that we must dump now. The dump_literals (1) call inserts a branch around the table, so we first look to see if its a situation where we won't have to insert a branch (e.g., the previous instruction was an unconditional branch). SPANPANIC is the point where we must dump a single-entry pool. it accounts for alignments and an inserted branch. the 'poolsize*2' accounts for the scenario where we do: lrw r1,lit1; lrw r2,lit2; lrw r3,lit3 Note that the 'lit2' reference is 2 bytes further along but the literal it references will be 4 bytes further along, so we must consider the poolsize into this equation. This is slightly over-cautious, but guarantees that we won't panic because a relocation is too distant. */ static void check_literals (int kind, int offset) { poolspan += offset; if ((poolspan > SPANEXIT || do_func_dump) && kind > 1 && (do_br_dump || do_func_dump)) dump_literals (0); else if (poolspan > SPANCLOSE && (kind > 0) && do_br_dump) dump_literals (0); else if (poolspan >= (SPANPANIC - (IS_CSKY_ARCH_V1 (mach_flag) ? poolsize * 2 : 0))) dump_literals (1); /* We have not dumped literal pool before insn1, and will not dump literal pool between insn1 and insnN+1, so reset poolspan to original length. */ else if (do_noliteraldump == 1) poolspan -= offset; if (do_noliteraldump == 1) do_noliteraldump = 0; } /* The next group of functions are helpers for parsing various kinds of instruction operand syntax. */ /* Parse operands of the form @GOTOFF+ and similar .plt or .got references. If we find one, set up the correct relocation in RELOC and copy the input string, minus the `@GOTOFF' into a malloc'd buffer for parsing by the calling routine. Return this buffer, and if ADJUST is non-null set it to the length of the string we removed from the input line. Otherwise return NULL. */ static char * lex_got (enum bfd_reloc_code_real *reloc, int *adjust) { struct _gotrel { const char *str; const enum bfd_reloc_code_real rel; }; static const struct _gotrel gotrel[] = { { "GOTOFF", BFD_RELOC_CKCORE_GOTOFF }, { "GOTPC", BFD_RELOC_CKCORE_GOTPC }, { "GOTTPOFF", BFD_RELOC_CKCORE_TLS_IE32 }, { "GOT", BFD_RELOC_CKCORE_GOT32 }, { "PLT", BFD_RELOC_CKCORE_PLT32 }, { "BTEXT", BFD_RELOC_CKCORE_TOFFSET_LO16}, { "BDATA", BFD_RELOC_CKCORE_DOFFSET_LO16}, { "TLSGD32", BFD_RELOC_CKCORE_TLS_GD32 }, { "TLSLDM32", BFD_RELOC_CKCORE_TLS_LDM32 }, { "TLSLDO32", BFD_RELOC_CKCORE_TLS_LDO32 }, { "TPOFF", BFD_RELOC_CKCORE_TLS_LE32 } }; char *cp; unsigned int j; for (cp = input_line_pointer; *cp != '@'; cp++) if (is_end_of_line[(unsigned char) *cp]) return NULL; for (j = 0; j < sizeof (gotrel) / sizeof (gotrel[0]); j++) { int len = strlen (gotrel[j].str); if (strncasecmp (cp + 1, gotrel[j].str, len) == 0) { if (gotrel[j].rel != 0) { *reloc = gotrel[j].rel; if (adjust) *adjust = len; /* input_line_pointer is the str pointer after relocation token like @GOTOFF. */ input_line_pointer += len + 1; return input_line_pointer; } csky_show_error (ERROR_RELOC_ILLEGAL, 0, (void *)gotrel[j].str, NULL); return NULL; } } /* Might be a symbol version string. Don't as_bad here. */ return NULL; } /* Parse an expression, returning it in E. */ static char * parse_exp (char *s, expressionS *e) { char *save; char *new; /* Skip whitespace. */ while (ISSPACE (*s)) ++s; save = input_line_pointer; input_line_pointer = s; insn_reloc = BFD_RELOC_NONE; expression (e); lex_got (&insn_reloc, NULL); if (e->X_op == O_absent) SET_ERROR_NUMBER (ERROR_MISSING_OPERAND, NULL); new = input_line_pointer; input_line_pointer = save; return new; } /* Parse a floating-point number from S into its target representation. If ISDOUBLE is true, return the result in *DBNUM; otherwise it's returned in E->X_add_number. Returns the result of advancing S past the constant. */ static char * parse_fexp (char *s, expressionS *e, unsigned char isdouble, uint64_t *dbnum) { int length; /* Number of chars in an object. */ const char *err = NULL; /* Error from scanning float literal. */ unsigned char temp[8]; /* input_line_pointer->1st char of a flonum (we hope!). */ input_line_pointer = s; if (input_line_pointer[0] == '0' && ISALPHA (input_line_pointer[1])) input_line_pointer += 2; if (isdouble) err = md_atof ('d', (char *) temp, &length); else err = md_atof ('f', (char *) temp, &length); know (length <= 8); know (err != NULL || length > 0); if (!is_end_of_line[(unsigned char) *input_line_pointer]) as_bad (_("immediate operand required")); while (!is_end_of_line[(unsigned char) *input_line_pointer]) input_line_pointer++; if (err) { as_bad (_("bad floating literal: %s"), err); while (!is_end_of_line[(unsigned char) *input_line_pointer]) input_line_pointer++; know (is_end_of_line[(unsigned char) input_line_pointer[-1]]); return input_line_pointer; } e->X_add_symbol = 0x0; e->X_op_symbol = 0x0; e->X_op = O_constant; e->X_unsigned = 1; e->X_md = 0x0; if (!isdouble) { uint32_t fnum; if (target_big_endian) fnum = (((uint32_t) temp[0] << 24) | (temp[1] << 16) | (temp[2] << 8) | temp[3]); else fnum = (((uint32_t) temp[3] << 24) | (temp[2] << 16) | (temp[1] << 8) | temp[0]); e->X_add_number = fnum; } else { if (target_big_endian) { *dbnum = (((uint32_t) temp[0] << 24) | (temp[1] << 16) | (temp[2] << 8) | temp[3]); *dbnum <<= 32; *dbnum |= (((uint32_t) temp[4] << 24) | (temp[5] << 16) | (temp[6] << 8) | temp[7]); } else { *dbnum = (((uint32_t) temp[7] << 24) | (temp[6] << 16) | (temp[5] << 8) | temp[4]); *dbnum <<= 32; *dbnum |= (((uint32_t) temp[3] << 24) | (temp[2] << 16) | (temp[1] << 8) | temp[0]); } } return input_line_pointer; } static char * parse_rt (char *s, int ispcrel, expressionS *ep, long reg ATTRIBUTE_UNUSED) { expressionS e; int n; if (ep) /* Indicate nothing there. */ ep->X_op = O_absent; if (*s == '[') { s = parse_exp (s + 1, &e); if (*s == ']') s++; else SET_ERROR_NUMBER (ERROR_MISSING_RSQUARE_BRACKETS, NULL); if (ep) *ep = e; } else { s = parse_exp (s, &e); if (BFD_RELOC_CKCORE_DOFFSET_LO16 == insn_reloc || BFD_RELOC_CKCORE_TOFFSET_LO16 == insn_reloc) { if (ep) *ep = e; return s; } if (ep) *ep = e; /* If the instruction has work, literal handling is in the work. */ if (!csky_insn.opcode->work) { n = enter_literal (&e, ispcrel, 0, 0); if (ep) *ep = e; /* Create a reference to pool entry. */ ep->X_op = O_symbol; ep->X_add_symbol = poolsym; ep->X_add_number = n << 2; } } return s; } static char * parse_rtf (char *s, int ispcrel, expressionS *ep) { expressionS e; int n = 0; if (ep) /* Indicate nothing there. */ ep->X_op = O_absent; if (*s == '[') { s = parse_exp (s + 1, & e); if (*s == ']') s++; else as_bad (_("missing ']'")); if (ep) *ep = e; } else { uint64_t dbnum; if (strstr (csky_insn.opcode->mnemonic, "flrws")) { s = parse_fexp (s, &e, 0, &dbnum); n = enter_literal (&e, ispcrel, 0, dbnum); } else if (strstr (csky_insn.opcode->mnemonic, "flrwd")) { s = parse_fexp (s, &e, 1, &dbnum); n = enter_literal (&e, ispcrel, 1, dbnum); } else as_bad (_("unrecognized opcode")); if (ep) *ep = e; /* Create a reference to pool entry. */ ep->X_op = O_symbol; ep->X_add_symbol = poolsym; ep->X_add_number = n << 2; } return s; } static bfd_boolean parse_type_ctrlreg (char** oper) { int i = -1; int len = 0; if (TOLOWER (*(*oper + 0)) == 'c' && TOLOWER (*(*oper + 1)) == 'r' && ISDIGIT (*(*oper + 2))) { /* The control registers are named crxx. */ i = *(*oper + 2) - 0x30; i = ISDIGIT (*(*oper + 3)) ? (*(*oper + 3) - 0x30) + 10 * i : i; len = ISDIGIT (*(*oper + 3)) ? 4 : 3; *oper += len; } else if (!(TOLOWER (*(*oper + 0)) == 'c' && TOLOWER (*(*oper + 1)) == 'r')) { /* The control registers are aliased. */ struct csky_reg *reg = &csky_ctrl_regs[0]; while (reg->name) { if (memcmp (*oper, reg->name, strlen (reg->name)) == 0 && (!reg->flag || (isa_flag & reg->flag))) { i = reg->index; len = strlen (reg->name); *oper += len; break; } reg++; } } if (IS_CSKY_V2 (mach_flag)) { char *s = *oper; int crx; int sel; if (i != -1) { crx = i; sel = 0; } else { if (s[0] == 'c' && s[1] == 'r') { s += 2; if (*s == '<') { s++; if (s[0] == '3' && s[1] >= '0' && s[1] <= '1') { crx = 30 + s[1] - '0'; s += 2; } else if (s[0] == '2' && s[1] >= '0' && s[1] <= '9') { crx = 20 + s[1] - '0'; s += 2; } else if (s[0] == '1' && s[1] >= '0' && s[1] <= '9') { crx = 10 + s[1] - '0'; s += 2; } else if (s[0] >= '0' && s[0] <= '9') { crx = s[0] - '0'; s += 1; } else { SET_ERROR_NUMBER (ERROR_REG_OVER_RANGE, "control"); return FALSE; } if (*s == ',') s++; else { SET_ERROR_NUMBER (ERROR_CREG_ILLEGAL, NULL); return FALSE; } char *pS = s; while (*pS != '>' && !is_end_of_line[(unsigned char) *pS]) pS++; if (*pS == '>') *pS = '\0'; else { /* Error. Missing '>'. */ SET_ERROR_NUMBER (ERROR_MISSING_RANGLE_BRACKETS, NULL); return FALSE; } expressionS e; s = parse_exp (s, &e); if (e.X_op == O_constant && e.X_add_number >= 0 && e.X_add_number <= 31) { *oper = s; sel = e.X_add_number; } else return FALSE; } else { /* Error. Missing '<'. */ SET_ERROR_NUMBER (ERROR_MISSING_LANGLE_BRACKETS, NULL); return FALSE; } } else { SET_ERROR_NUMBER (ERROR_CREG_ILLEGAL, NULL); return FALSE; } } i = (sel << 5) | crx; } csky_insn.val[csky_insn.idx++] = i; return TRUE; } static bfd_boolean is_reg_sp_with_bracket (char **oper) { const char **regs; int sp_idx; int len; if (IS_CSKY_V1 (mach_flag)) sp_idx = 0; else sp_idx = 14; if (**oper != '(') return FALSE; *oper += 1; regs = csky_general_reg; len = strlen (regs[sp_idx]); if (memcmp (*oper, regs[sp_idx], len) == 0) { *oper += len; if (**oper != ')') return FALSE; *oper += 1; csky_insn.val[csky_insn.idx++] = sp_idx; return TRUE; } else { if (IS_CSKY_V1 (mach_flag)) regs = cskyv1_general_alias_reg; else regs = cskyv2_general_alias_reg; len = strlen (regs[sp_idx]); if (memcmp (*oper, regs[sp_idx], len) == 0) { *oper += len; if (**oper != ')') return FALSE; *oper += 1; return TRUE; } } return FALSE; } static bfd_boolean is_reg_sp (char **oper) { const char **regs; int sp_idx; int len; if (IS_CSKY_V1 (mach_flag)) sp_idx = 0; else sp_idx = 14; regs = csky_general_reg; len = strlen (regs[sp_idx]); if (memcmp (*oper, regs[sp_idx], len) == 0) { *oper += len; csky_insn.val[csky_insn.idx++] = sp_idx; return TRUE; } else { if (IS_CSKY_V1 (mach_flag)) regs = cskyv1_general_alias_reg; else regs = cskyv2_general_alias_reg; len = strlen (regs[sp_idx]); if (memcmp (*oper, regs[sp_idx], len) == 0) { *oper += len; csky_insn.val[csky_insn.idx++] = sp_idx; return TRUE; } } return FALSE; } static int csky_get_reg_val (char *str, int *len) { long reg = 0; if (TOLOWER (str[0]) == 'r' && ISDIGIT (str[1])) { if (ISDIGIT (str[1]) && ISDIGIT (str[2])) { reg = (str[1] - '0') * 10 + str[2] - '0'; *len = 3; } else if (ISDIGIT (str[1])) { reg = str[1] - '0'; *len = 2; } else return -1; } else if (TOLOWER (str[0]) == 's' && TOLOWER (str[1]) == 'p' && !ISDIGIT (str[2])) { /* sp. */ if (IS_CSKY_V1 (mach_flag)) reg = 0; else reg = 14; *len = 2; } else if (TOLOWER (str[0]) == 'g' && TOLOWER (str[1]) == 'b' && !ISDIGIT (str[2])) { /* gb. */ if (IS_CSKY_V1 (mach_flag)) reg = 14; else reg = 28; *len = 2; } else if (TOLOWER (str[0]) == 'l' && TOLOWER (str[1]) == 'r' && !ISDIGIT (str[2])) { /* lr. */ reg = 15; *len = 2; } else if (TOLOWER (str[0]) == 't' && TOLOWER (str[1]) == 'l' && TOLOWER (str[2]) == 's' && !ISDIGIT (str[3])) { /* tls. */ if (IS_CSKY_V2 (mach_flag)) reg = 31; else return -1; *len = 3; } else if (TOLOWER (str[0]) == 's' && TOLOWER (str[1]) == 'v' && TOLOWER (str[2]) == 'b' && TOLOWER (str[3]) == 'r') { if (IS_CSKY_V2 (mach_flag)) reg = 30; else return -1; *len = 4; } else if (TOLOWER (str[0]) == 'a') { if (ISDIGIT (str[1]) && !ISDIGIT (str[2])) { if (IS_CSKY_V1 (mach_flag) && (str[1] - '0') <= 5) /* a0 - a5. */ reg = 2 + str[1] - '0'; else if (IS_CSKY_V2 (mach_flag) && (str[1] - '0') <= 3) /* a0 - a3. */ reg = str[1] - '0'; else return -1; *len = 2; } } else if (TOLOWER (str[0]) == 't') { if (IS_CSKY_V2 (mach_flag)) { reg = atoi (str + 1); if (reg > 9) return -1; if (reg > 1) /* t2 - t9. */ reg = reg + 16; else /* t0 - t1. */ reg = reg + 12; *len = 2; } } else if (TOLOWER (str[0]) == 'l') { if (str[1] < '0' || str[1] > '9') return -1; if (IS_CSKY_V2 (mach_flag)) { reg = atoi (str + 1); if (reg > 9) return -1; if (reg > 7) /* l8 - l9. */ reg = reg + 8; else /* l0 - l7. */ reg = reg + 4; } else { reg = atoi (str + 1); if (reg > 5) return -1; /* l0 - l6 -> r8 - r13. */ reg = reg + 8; } *len = 2; } else return -1; /* Is register available? */ if (IS_CSKY_ARCH_801 (mach_flag)) { /* CK801 register range is r0-r8 & r13-r15. */ if ((reg > 8 && reg < 13) || reg > 15) { SET_ERROR_NUMBER (ERROR_REG_OVER_RANGE, reg); return -1; } } else if (IS_CSKY_ARCH_802 (mach_flag)) { /* CK802 register range is r0-r15 & r23-r25 & r30. */ if ((reg > 15 && reg < 23) || (reg > 25 && reg != 30)) { SET_ERROR_NUMBER (ERROR_REG_OVER_RANGE, reg); return -1; } } else if (reg > 31 || reg < 0) { SET_ERROR_NUMBER (ERROR_REG_OVER_RANGE, reg); return -1; } return reg; } static int csky_get_freg_val (char *str, int *len) { int reg = 0; char *s = NULL; if ((str[0] == 'v' || str[0] == 'f') && (str[1] == 'r')) { /* It is fpu register. */ s = &str[2]; while (ISDIGIT (*s)) { reg = reg * 10 + (*s) - '0'; s++; } if (reg > 31) return -1; } else return -1; *len = s - str; return reg; } static bfd_boolean is_reglist_legal (char **oper) { int reg1 = -1; int reg2 = -1; int len = 0; reg1 = csky_get_reg_val (*oper, &len); *oper += len; if (reg1 == -1 || (IS_CSKY_V1 (mach_flag) && (reg1 == 0 || reg1 == 15))) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The first reg must not be r0/r15"); return FALSE; } if (**oper != '-') { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The operand format must be rx-ry"); return FALSE; } *oper += 1; reg2 = csky_get_reg_val (*oper, &len); *oper += len; if (reg2 == -1 || (IS_CSKY_V1 (mach_flag) && reg1 == 15)) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The operand format must be r15 in C-SKY V1"); return FALSE; } if (IS_CSKY_V2 (mach_flag)) { if (reg2 < reg1) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The operand format must be rx-ry (rx < ry)"); return FALSE; } reg2 = reg2 - reg1; reg1 <<= 5; reg1 |= reg2; } csky_insn.val[csky_insn.idx++] = reg1; return TRUE; } static bfd_boolean is_freglist_legal (char **oper) { int reg1 = -1; int reg2 = -1; int len = 0; reg1 = csky_get_freg_val (*oper, &len); *oper += len; if (reg1 == -1) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The fpu register format is not recognized."); return FALSE; } if (**oper != '-') { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The operand format must be vrx-vry/frx-fry."); return FALSE; } *oper += 1; reg2 = csky_get_freg_val (*oper, &len); *oper += len; if (reg2 == -1) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The fpu register format is not recognized."); return FALSE; } if (reg2 < reg1) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The operand format must be rx-ry(rx < ry)"); return FALSE; } reg2 = reg2 - reg1; reg2 <<= 4; reg1 |= reg2; csky_insn.val[csky_insn.idx++] = reg1; return TRUE; } static bfd_boolean is_reglist_dash_comma_legal (char **oper, struct operand *oprnd) { int reg1 = -1; int reg2 = -1; int len = 0; int list = 0; int flag = 0; int temp = 0; while (**oper != '\n' && **oper != '\0') { reg1 = csky_get_reg_val (*oper, &len); if (reg1 == -1) { SET_ERROR_NUMBER (ERROR_REG_LIST, NULL); return FALSE; } flag |= (1 << reg1); *oper += len; if (**oper == '-') { *oper += 1; reg2 = csky_get_reg_val (*oper, &len); if (reg2 == -1) { SET_ERROR_NUMBER (ERROR_REG_LIST, NULL); return FALSE; } *oper += len; if (reg1 > reg2) { SET_ERROR_NUMBER (ERROR_REG_LIST, NULL); return FALSE; } while (reg2 >= reg1) { flag |= (1 << reg2); reg2--; } } if (**oper == ',') *oper += 1; } /* The reglist: r4-r11, r15, r16-r17, r28. */ #define REGLIST_BITS 0x10038ff0 if (flag & ~(REGLIST_BITS)) { SET_ERROR_NUMBER (ERROR_REG_LIST, NULL); return FALSE; } /* Check r4-r11. */ int i = 4; while (i <= 11) { if (flag & (1 << i)) temp = i - 4 + 1; i++; } list |= temp; /* Check r15. */ if (flag & (1 << 15)) list |= (1 << 4); /* Check r16-r17. */ i = 16; temp = 0; while (i <= 17) { if (flag & (1 << i)) temp = i - 16 + 1; i++; } list |= (temp << 5); /* Check r28. */ if (flag & (1 << 28)) list |= (1 << 8); if (oprnd->mask == OPRND_MASK_0_4 && (list & ~OPRND_MASK_0_4)) { SET_ERROR_NUMBER (ERROR_REG_LIST, NULL); return FALSE; } csky_insn.val[csky_insn.idx++] = list; return TRUE; } static bfd_boolean is_reg_lshift_illegal (char **oper, int is_float) { int value; int len; int reg; reg = csky_get_reg_val (*oper, &len); if (reg == -1) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The register must be r0-r31."); return FALSE; } *oper += len; if ((*oper)[0] != '<' || (*oper)[1] != '<') { SET_ERROR_NUMBER (ERROR_UNDEFINE, "Operand format error; should be (rx, ry << n)"); return FALSE; } *oper += 2; expressionS e; char *new_oper = parse_exp (*oper, &e); if (e.X_op == O_constant) { *oper = new_oper; /* The immediate must be in [0, 3]. */ if (e.X_add_number < 0 || e.X_add_number > 3) { SET_ERROR_NUMBER (ERROR_IMM_OVERFLOW, NULL); return FALSE; } } else { SET_ERROR_NUMBER (ERROR_EXP_CONSTANT, NULL); return FALSE; } if (is_float) value = (reg << 2) | e.X_add_number; else value = (reg << 5) | (1 << e.X_add_number); csky_insn.val[csky_insn.idx++] = value; return TRUE; } static bfd_boolean is_imm_over_range (char **oper, int min, int max, int ext) { expressionS e; bfd_boolean ret = FALSE; char *new_oper = parse_exp (*oper, &e); if (e.X_op == O_constant) { ret = TRUE; *oper = new_oper; if ((int)e.X_add_number != ext && (e.X_add_number < min || e.X_add_number > max)) { ret = FALSE; SET_ERROR_NUMBER (ERROR_IMM_OVERFLOW, NULL); } csky_insn.val[csky_insn.idx++] = e.X_add_number; } return ret; } static bfd_boolean is_oimm_over_range (char **oper, int min, int max) { expressionS e; bfd_boolean ret = FALSE; char *new_oper = parse_exp (*oper, &e); if (e.X_op == O_constant) { ret = TRUE; *oper = new_oper; if (e.X_add_number < min || e.X_add_number > max) { ret = FALSE; SET_ERROR_NUMBER (ERROR_IMM_OVERFLOW, NULL); } csky_insn.val[csky_insn.idx++] = e.X_add_number - 1; } return ret; } static bfd_boolean is_psr_bit (char **oper) { const struct psrbit *bits; int i = 0; if (IS_CSKY_V1 (mach_flag)) bits = cskyv1_psr_bits; else bits = cskyv2_psr_bits; while (bits[i].name != NULL) { if (bits[i].isa && !(bits[i].isa & isa_flag)) { i++; continue; } if (strncasecmp (*oper, bits[i].name, strlen (bits[i].name)) == 0) { *oper += strlen (bits[i].name); csky_insn.val[csky_insn.idx] |= bits[i].value; return TRUE; } i++; } SET_ERROR_NUMBER (ERROR_OPCODE_PSRBIT, NULL); return FALSE; } static bfd_boolean parse_type_cpidx (char** oper) { char *s = *oper; int idx; if (s[0] == 'c' && s[1] == 'p') { if (ISDIGIT (s[2]) && ISDIGIT (s[3]) && ! ISDIGIT (s[4])) { idx = (s[2] - '0') * 10 + s[3] - '0'; *oper += 4; } else if (ISDIGIT (s[2]) && !ISDIGIT (s[3])) { idx = s[2] - '0'; *oper += 3; } else return FALSE; } else { expressionS e; *oper = parse_exp (*oper, &e); if (e.X_op != O_constant) { /* Can not recognize the operand. */ return FALSE; } idx = e.X_add_number; } csky_insn.val[csky_insn.idx++] = idx; return TRUE; } static bfd_boolean parse_type_cpreg (char** oper) { const char **regs = csky_cp_reg; int i; int len; for (i = 0; i < (int)(sizeof (csky_cp_reg) / sizeof (char *)); i++) { len = strlen (regs[i]); if (memcmp (*oper, regs[i], len) == 0 && !ISDIGIT (*(*oper + len))) { *oper += len; csky_insn.val[csky_insn.idx++] = i; return TRUE; } } SET_ERROR_NUMBER (ERROR_CPREG_ILLEGAL, *oper); return FALSE; } static bfd_boolean parse_type_cpcreg (char** oper) { const char **regs; int i; int len; regs = csky_cp_creg; for (i = 0; i < (int)(sizeof (csky_cp_creg) / sizeof (char *)); i++) { len = strlen (regs[i]); if (memcmp (*oper, regs[i], len) == 0 && !ISDIGIT (*(*oper + len))) { *oper += len; csky_insn.val[csky_insn.idx++] = i; return TRUE; } } SET_ERROR_NUMBER (ERROR_CPREG_ILLEGAL, *oper); return FALSE; } static bfd_boolean parse_type_areg (char** oper) { int i = 0; int len = 0; i = csky_get_reg_val (*oper, &len); if (i == -1) { SET_ERROR_NUMBER (ERROR_GREG_ILLEGAL, NULL); return FALSE; } *oper += len; csky_insn.val[csky_insn.idx++] = i; return TRUE; } static bfd_boolean parse_type_freg (char** oper, int even) { int reg; int len; reg = csky_get_freg_val (*oper, &len); if (reg == -1) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The fpu register format is not recognized."); return FALSE; } *oper += len; csky_insn.opcode_end = *oper; if (even && reg & 0x1) { SET_ERROR_NUMBER (ERROR_EXP_EVEN_FREG, NULL); return FALSE; } csky_insn.val[csky_insn.idx++] = reg; return TRUE; } static bfd_boolean parse_ldst_imm (char **oper, struct csky_opcode_info *op ATTRIBUTE_UNUSED, struct operand *oprnd) { unsigned int mask = oprnd->mask; int max = 1; int shift = 0; shift = oprnd->shift; while (mask) { if (mask & 1) max <<= 1; mask >>= 1; } max = max << shift; if (**oper == '\0' || **oper == ')') { csky_insn.val[csky_insn.idx++] = 0; return TRUE; } expressionS e; *oper = parse_exp (*oper, &e); if (e.X_op != O_constant) /* Not a constant. */ return FALSE; else if (e.X_add_number < 0 || e.X_add_number >= max) { /* Out of range. */ SET_ERROR_NUMBER (ERROR_IMM_OVERFLOW, NULL); return FALSE; } if ((e.X_add_number % (1 << shift)) != 0) { /* Not aligned. */ SET_ERROR_NUMBER (ERROR_OFFSET_UNALIGNED, ((unsigned long)1 << shift)); return FALSE; } csky_insn.val[csky_insn.idx++] = e.X_add_number >> shift; return TRUE; } static unsigned int csky_count_operands (char *str) { char *oper_end = str; unsigned int oprnd_num; int bracket_cnt = 0; if (is_end_of_line[(unsigned char) *oper_end]) oprnd_num = 0; else oprnd_num = 1; /* Count how many operands. */ if (oprnd_num) while (!is_end_of_line[(unsigned char) *oper_end]) { if (*oper_end == '(' || *oper_end == '<') { bracket_cnt++; oper_end++; continue; } if (*oper_end == ')' || *oper_end == '>') { bracket_cnt--; oper_end++; continue; } if (!bracket_cnt && *oper_end == ',') oprnd_num++; oper_end++; } return oprnd_num; } /* End of the operand parsing helper functions. */ /* Parse the opcode part of an instruction. Fill in the csky_insn state and return true on success, false otherwise. */ static bfd_boolean parse_opcode (char *str) { #define IS_OPCODE32F(a) (*(a - 2) == '3' && *(a - 1) == '2') #define IS_OPCODE16F(a) (*(a - 2) == '1' && *(a - 1) == '6') /* TRUE if this opcode has a suffix, like 'lrw.h'. */ unsigned int has_suffix = FALSE; unsigned int nlen = 0; char *opcode_end; char name[OPCODE_MAX_LEN + 1]; char macro_name[OPCODE_MAX_LEN + 1]; /* Remove space ahead of string. */ while (ISSPACE (*str)) str++; opcode_end = str; /* Find the opcode end. */ while (nlen < OPCODE_MAX_LEN && !is_end_of_line [(unsigned char) *opcode_end] && *opcode_end != ' ') { /* Is csky force 32 or 16 instruction? */ if (IS_CSKY_V2 (mach_flag) && *opcode_end == '.' && has_suffix == FALSE) { has_suffix = TRUE; if (IS_OPCODE32F (opcode_end)) { csky_insn.flag_force = INSN_OPCODE32F; nlen -= 2; } else if (IS_OPCODE16F (opcode_end)) { csky_insn.flag_force = INSN_OPCODE16F; nlen -= 2; } } name[nlen] = *opcode_end; nlen++; opcode_end++; } /* Is csky force 32 or 16 instruction? */ if (has_suffix == FALSE) { if (IS_CSKY_V2 (mach_flag) && IS_OPCODE32F (opcode_end)) { csky_insn.flag_force = INSN_OPCODE32F; nlen -= 2; } else if (IS_OPCODE16F (opcode_end)) { csky_insn.flag_force = INSN_OPCODE16F; nlen -= 2; } } name[nlen] = '\0'; /* Generate macro_name for finding hash in macro hash_table. */ if (has_suffix == TRUE) nlen += 2; strncpy (macro_name, str, nlen); macro_name[nlen] = '\0'; /* Get csky_insn.opcode_end. */ while (ISSPACE (*opcode_end)) opcode_end++; csky_insn.opcode_end = opcode_end; /* Count the operands. */ csky_insn.number = csky_count_operands (opcode_end); /* Find hash by name in csky_macros_hash and csky_opcodes_hash. */ csky_insn.macro = (struct csky_macro_info *) hash_find (csky_macros_hash, macro_name); csky_insn.opcode = (struct csky_opcode *) hash_find (csky_opcodes_hash, name); if (csky_insn.macro == NULL && csky_insn.opcode == NULL) return FALSE; return TRUE; } /* Main dispatch routine to parse operand OPRND for opcode OP from string *OPER. */ static bfd_boolean get_operand_value (struct csky_opcode_info *op, char **oper, struct operand *oprnd) { struct soperand *soprnd = NULL; if (oprnd->mask == HAS_SUB_OPERAND) { /* It has sub operand, it must be like: (oprnd1, oprnd2) or We will check the format here. */ soprnd = (struct soperand *) oprnd; char lc = 0; char rc = 0; char *s = *oper; int bracket_cnt = 0; if (oprnd->type == OPRND_TYPE_BRACKET) { lc = '('; rc = ')'; } else if (oprnd->type == OPRND_TYPE_ABRACKET) { lc = '<'; rc = '>'; } if (**oper == lc) { *oper += 1; s += 1; } else { SET_ERROR_NUMBER ((oprnd->type == OPRND_TYPE_BRACKET ? ERROR_MISSING_LBRACKET : ERROR_MISSING_LANGLE_BRACKETS), NULL); return FALSE; } /* If the oprnd2 is an immediate, it can not be parsed that end with ')'/'>'. Modify ')'/'>' to '\0'. */ while ((*s != rc || bracket_cnt != 0) && (*s != '\n' && *s != '\0')) { if (*s == lc) bracket_cnt++; else if (*s == rc) bracket_cnt--; s++; } if (*s == rc) *s = '\0'; else { SET_ERROR_NUMBER ((oprnd->type == OPRND_TYPE_BRACKET ? ERROR_MISSING_RBRACKET : ERROR_MISSING_RANGLE_BRACKETS), NULL); return FALSE; } if (get_operand_value (op, oper, &soprnd->subs[0]) == FALSE) { *s = rc; return FALSE; } if (**oper == ',') *oper += 1; if (get_operand_value (op, oper, &soprnd->subs[1]) == FALSE) { *s = rc; return FALSE; } *s = rc; *oper += 1; return TRUE; } switch (oprnd->type) { /* TODO: add opcode type here, log errors in the function. If REGLIST, then j = csky_insn.number - 1. If there is needed to parse expressions, it will be handled here. */ case OPRND_TYPE_CTRLREG: /* some parse. */ return parse_type_ctrlreg (oper); case OPRND_TYPE_AREG: return parse_type_areg (oper); case OPRND_TYPE_FREG: case OPRND_TYPE_VREG: return parse_type_freg (oper, 0); case OPRND_TYPE_FEREG: return parse_type_freg (oper, 1); case OPRND_TYPE_CPCREG: return parse_type_cpcreg (oper); case OPRND_TYPE_CPREG: return parse_type_cpreg (oper); case OPRND_TYPE_CPIDX: return parse_type_cpidx (oper); case OPRND_TYPE_GREG0_7: case OPRND_TYPE_GREG0_15: { int len; long reg; reg = csky_get_reg_val (*oper, &len); if (reg == -1) { SET_ERROR_NUMBER (ERROR_GREG_ILLEGAL, NULL); return FALSE; } else if ((oprnd->type == OPRND_TYPE_GREG0_7 && reg > 7) || (oprnd->type == OPRND_TYPE_GREG0_15 && reg > 15)) { SET_ERROR_NUMBER (ERROR_REG_OVER_RANGE, reg); return FALSE; } *oper += len; csky_insn.val[csky_insn.idx++] = reg; return TRUE; } case OPRND_TYPE_REGnsplr: { int len; long reg; reg = csky_get_reg_val (*oper, &len); if (reg == -1 || (IS_CSKY_V1 (mach_flag) && (reg == V1_REG_SP || reg == V1_REG_LR))) { SET_ERROR_NUMBER (ERROR_REG_OVER_RANGE, reg); return FALSE; } csky_insn.val[csky_insn.idx++] = reg; *oper += len; return TRUE;; } case OPRND_TYPE_REGnr4_r7: { int len; int reg; if (**oper == '(') *oper += 1; reg = csky_get_reg_val (*oper, &len); if (reg == -1 || (reg <= 7 && reg >= 4)) return FALSE; csky_insn.val[csky_insn.idx++] = reg; *oper += len; if (**oper == ')') *oper += 1; return TRUE;; } case OPRND_TYPE_REGr4_r7: if (memcmp (*oper, "r4-r7", sizeof ("r4-r7") - 1) == 0) { *oper += sizeof ("r4-r7") - 1; csky_insn.val[csky_insn.idx++] = 0; return TRUE; } SET_ERROR_NUMBER (ERROR_OPCODE_ILLEGAL, NULL); return FALSE; case OPRND_TYPE_IMM_LDST: return parse_ldst_imm (oper, op, oprnd); case OPRND_TYPE_IMM_FLDST: return parse_ldst_imm (oper, op, oprnd); case OPRND_TYPE_IMM1b: return is_imm_over_range (oper, 0, 1, -1); case OPRND_TYPE_IMM2b: return is_imm_over_range (oper, 0, 3, -1); case OPRND_TYPE_IMM2b_JMPIX: /* ck802j support jmpix16, but not support jmpix32. */ if (IS_CSKY_ARCH_802 (mach_flag) && (op->opcode & 0xffff0000) != 0) { SET_ERROR_NUMBER (ERROR_OPCODE_ILLEGAL, NULL); return FALSE; } *oper = parse_exp (*oper, &csky_insn.e1); if (csky_insn.e1.X_op == O_constant) { csky_insn.opcode_end = *oper; if (csky_insn.e1.X_add_number & 0x7) { SET_ERROR_NUMBER (ERROR_JMPIX_OVER_RANGE, NULL); return FALSE; } csky_insn.val[csky_insn.idx++] = (csky_insn.e1.X_add_number >> 3) - 2; } return TRUE; case OPRND_TYPE_IMM4b: return is_imm_over_range (oper, 0, 15, -1); break; case OPRND_TYPE_IMM5b: return is_imm_over_range (oper, 0, 31, -1); /* This type for "bgeni" in csky v1 ISA. */ case OPRND_TYPE_IMM5b_7_31: if (is_imm_over_range (oper, 0, 31, -1)) { int val = csky_insn.val[csky_insn.idx - 1]; /* immediate values of 0 -> 6 translate to movi. */ if (val <= 6) { const char *name = "movi"; csky_insn.opcode = (struct csky_opcode *) hash_find (csky_opcodes_hash, name); csky_insn.val[csky_insn.idx - 1] = 1 << val; } return TRUE; } else return FALSE; case OPRND_TYPE_IMM5b_1_31: return is_imm_over_range (oper, 1, 31, -1); case OPRND_TYPE_IMM5b_POWER: if (is_imm_over_range (oper, 1, (1u << 31) - 1, 1u << 31)) { int log; int val = csky_insn.val[csky_insn.idx - 1]; log = csky_log_2 (val); csky_insn.val[csky_insn.idx - 1] = log; return (log == -1 ? FALSE : TRUE); } else return FALSE; /* This type for "mgeni" in csky v1 ISA. */ case OPRND_TYPE_IMM5b_7_31_POWER: if (is_imm_over_range (oper, 1, (1u << 31) - 1, 1u << 31)) { int log; int val = csky_insn.val[csky_insn.idx - 1]; log = csky_log_2 (val); /* Immediate values of 0 -> 6 translate to movi. */ if (log <= 6) { const char *name = "movi"; csky_insn.opcode = (struct csky_opcode *) hash_find (csky_opcodes_hash, name); as_warn (_("translating mgeni to movi")); } else csky_insn.val[csky_insn.idx - 1] = log; return (log == -1 ? FALSE : TRUE); } else return FALSE; case OPRND_TYPE_IMM5b_RORI: { unsigned max_shift = IS_CSKY_V1 (mach_flag) ? 31 : 32; if (is_imm_over_range (oper, 1, max_shift, -1)) { int i = csky_insn.idx - 1; csky_insn.val[i] = 32 - csky_insn.val[i]; return TRUE; } else return FALSE; } case OPRND_TYPE_IMM5b_BMASKI: /* For csky v1 bmask inst. */ if (!is_imm_over_range (oper, 8, 31, 0)) { unsigned int mask_val = csky_insn.val[csky_insn.idx - 1]; if (mask_val > 0 && mask_val < 8) { const char *op_movi = "movi"; csky_insn.opcode = (struct csky_opcode *) hash_find (csky_opcodes_hash, op_movi); if (csky_insn.opcode == NULL) return FALSE; csky_insn.val[csky_insn.idx - 1] = (1 << mask_val) - 1; return TRUE; } } return TRUE; case OPRND_TYPE_IMM8b_BMASKI: /* For csky v2 bmask, which will transfer to 16bits movi. */ if (is_imm_over_range (oper, 1, 8, -1)) { unsigned int mask_val = csky_insn.val[csky_insn.idx - 1]; csky_insn.val[csky_insn.idx - 1] = (1 << mask_val) - 1; return TRUE; } return FALSE; case OPRND_TYPE_OIMM4b: return is_oimm_over_range (oper, 1, 16); case OPRND_TYPE_OIMM5b: return is_oimm_over_range (oper, 1, 32); case OPRND_TYPE_OIMM5b_IDLY: if (is_imm_over_range (oper, 0, 32, -1)) { /* imm5b for idly n: 0<=n<4, imm5b=3; 4<=n<=32, imm5b=n-1. */ unsigned long imm = csky_insn.val[csky_insn.idx - 1]; if (imm < 4) { csky_show_error (WARNING_IDLY, 0, (void *)imm, NULL); imm = 3; } else imm--; csky_insn.val[csky_insn.idx - 1] = imm; return TRUE; } else return FALSE; /* For csky v2 bmask inst. */ case OPRND_TYPE_OIMM5b_BMASKI: if (!is_oimm_over_range (oper, 17, 32)) { int mask_val = csky_insn.val[csky_insn.idx - 1]; if (mask_val + 1 == 0) return TRUE; if (mask_val > 0 && mask_val < 16) { const char *op_movi = "movi"; csky_insn.opcode = (struct csky_opcode *) hash_find (csky_opcodes_hash, op_movi); if (csky_insn.opcode == NULL) return FALSE; csky_insn.val[csky_insn.idx - 1] = (1 << (mask_val + 1)) - 1; return TRUE; } } return TRUE; case OPRND_TYPE_IMM7b: return is_imm_over_range (oper, 0, 127, -1); case OPRND_TYPE_IMM8b: return is_imm_over_range (oper, 0, 255, -1); case OPRND_TYPE_IMM12b: return is_imm_over_range (oper, 0, 4095, -1); case OPRND_TYPE_IMM15b: return is_imm_over_range (oper, 0, 0xfffff, -1); case OPRND_TYPE_IMM16b: return is_imm_over_range (oper, 0, 65535, -1); case OPRND_TYPE_OIMM16b: return is_oimm_over_range (oper, 1, 65536); case OPRND_TYPE_IMM32b: { expressionS e; char *new_oper = parse_exp (*oper, &e); if (e.X_op == O_constant) { *oper = new_oper; csky_insn.val[csky_insn.idx++] = e.X_add_number; return TRUE; } return FALSE; } case OPRND_TYPE_IMM16b_MOVIH: case OPRND_TYPE_IMM16b_ORI: { bfd_reloc_code_real_type r = BFD_RELOC_NONE; int len; char *curr = *oper; char * save = input_line_pointer; /* get the reloc type, and set "@GOTxxx" as ' ' */ while (**oper != '@' && **oper != '\0') *oper += 1; if (**oper != '\0') { input_line_pointer = *oper; lex_got (&r, &len); while (*(*oper + len + 1) != '\0') { **oper = *(*oper + len + 1); *(*oper + len + 1) = '\0'; *oper += 1; } **oper = '\0'; } input_line_pointer = save; *oper = parse_exp (curr, &csky_insn.e1); return TRUE; } case OPRND_TYPE_PSR_BITS_LIST: { int ret = TRUE; if (csky_insn.number == 0) ret = FALSE; else { csky_insn.val[csky_insn.idx] = 0; if (is_psr_bit (oper) != FALSE) while (**oper == ',') { *oper += 1; if (is_psr_bit (oper) == FALSE) { ret = FALSE; break; } } else ret = FALSE; if (ret == TRUE && IS_CSKY_V1 (mach_flag) && csky_insn.val[csky_insn.idx] > 8) ret = FALSE; } if (!ret) SET_ERROR_NUMBER (ERROR_OPERANDS_ILLEGAL, csky_insn.opcode_end); return ret; } case OPRND_TYPE_RM: { /* FPU round mode. */ static const char *round_mode[] = { "rm_nearest", "rm_zero", "rm_posinf", "rm_neginf", NULL }; int i; for (i = 0; round_mode[i]; i++) if (strncasecmp (*oper, round_mode[i], strlen (round_mode[i])) == 0) { *oper += strlen (round_mode[i]); csky_insn.val[csky_insn.idx++] = i; return TRUE; } return FALSE; } case OPRND_TYPE_REGLIST_COMMA: case OPRND_TYPE_BRACKET: /* TODO: using sub operand union. */ case OPRND_TYPE_ABRACKET: /* TODO: using sub operand union. */ case OPRND_TYPE_REGLIST_DASH: return is_reglist_legal (oper); case OPRND_TYPE_FREGLIST_DASH: return is_freglist_legal (oper); case OPRND_TYPE_AREG_WITH_BRACKET: { int len; int reg; if (**oper != '(') { SET_ERROR_NUMBER (ERROR_MISSING_LBRACKET, NULL); return FALSE; } *oper += 1; reg = csky_get_reg_val (*oper, &len); if (reg == -1) { SET_ERROR_NUMBER (ERROR_EXP_GREG, NULL); return FALSE; } *oper += len; if (**oper != ')') { SET_ERROR_NUMBER (ERROR_MISSING_RBRACKET, NULL); return FALSE; } *oper += 1; csky_insn.val[csky_insn.idx++] = reg; return TRUE; } case OPRND_TYPE_REGsp: return is_reg_sp (oper); case OPRND_TYPE_REGbsp: return is_reg_sp_with_bracket (oper); /* For jmpi. */ case OPRND_TYPE_OFF8b: case OPRND_TYPE_OFF16b: *oper = parse_rt (*oper, 1, &csky_insn.e1, -1); csky_insn.val[csky_insn.idx++] = 0; return TRUE; case OPRND_TYPE_LABEL_WITH_BRACKET: case OPRND_TYPE_CONSTANT: case OPRND_TYPE_ELRW_CONSTANT: if (**oper == '[') csky_insn.val[csky_insn.idx++] = 0; else csky_insn.val[csky_insn.idx++] = NEED_OUTPUT_LITERAL; *oper = parse_rt (*oper, 0, &csky_insn.e1, -1); return TRUE; case OPRND_TYPE_FCONSTANT: *oper = parse_rtf (*oper, 0, &csky_insn.e1); return TRUE; case OPRND_TYPE_SFLOAT: case OPRND_TYPE_DFLOAT: /* For fmovis and fmovid, which accept a constant float with a limited range. */ { uint64_t dbnum; int imm4, imm8; *oper = parse_fexp (*oper, &csky_insn.e1, 1, &dbnum); if (csky_insn.e1.X_op == O_absent) return FALSE; /* Convert the representation from IEEE double to the 13-bit encoding used internally for fmovis and fmovid. */ imm4 = 11 - (((dbnum & 0x7ff0000000000000ULL) >> 52) - 1023); /* Check float range. */ if ((dbnum & 0x00000fffffffffffULL) || imm4 < 0 || imm4 > 15) { csky_show_error (ERROR_IMM_OVERFLOW, 2, NULL, NULL); return FALSE; } imm8 = (dbnum & 0x000ff00000000000ULL) >> 44; csky_insn.e1.X_add_number = (((imm8 & 0xf) << 4) | ((imm8 & 0xf0) << 17) | ((imm4 & 0xf) << 16) | ((dbnum & 0x8000000000000000ULL) >> 43)); return TRUE; } /* For grs v2. */ case OPRND_TYPE_IMM_OFF18b: *oper = parse_exp (*oper, &csky_insn.e1); return TRUE; case OPRND_TYPE_BLOOP_OFF4b: *oper = parse_exp (*oper, &csky_insn.e2); if (csky_insn.e2.X_op == O_symbol) { csky_insn.opcode_end = *oper; return TRUE; } else return FALSE; case OPRND_TYPE_BLOOP_OFF12b: case OPRND_TYPE_OFF10b: case OPRND_TYPE_OFF11b: case OPRND_TYPE_OFF16b_LSL1: case OPRND_TYPE_OFF26b: *oper = parse_exp (*oper, &csky_insn.e1); if (csky_insn.e1.X_op == O_symbol) { csky_insn.opcode_end = *oper; return TRUE; } else return FALSE; /* For xtrb0(1)(2)(3) and div in csky v1 ISA. */ case OPRND_TYPE_REG_r1a: { int reg = 0; int len = 0; reg = csky_get_reg_val (*oper, &len); if (reg == -1) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The first operand must be register r1."); return FALSE; } if (reg != 1) mov_r1_after = TRUE; *oper += len; csky_insn.opcode_end = *oper; csky_insn.val[csky_insn.idx++] = reg; return TRUE; } case OPRND_TYPE_REG_r1b: { int reg = 0; int len = 0; reg = csky_get_reg_val (*oper, &len); if (reg == -1) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The second operand must be register r1."); return FALSE; } if (reg != 1) { unsigned int mov_insn = CSKYV1_INST_MOV_R1_RX; mov_insn |= reg << 4; mov_r1_before = TRUE; csky_insn.output = frag_more (2); dwarf2_emit_insn (0); md_number_to_chars (csky_insn.output, mov_insn, 2); } *oper += len; csky_insn.opcode_end = *oper; csky_insn.val[csky_insn.idx++] = reg; return TRUE; } case OPRND_TYPE_DUMMY_REG: { int reg = 0; int len = 0; reg = csky_get_reg_val (*oper, &len); if (reg == -1) { SET_ERROR_NUMBER (ERROR_GREG_ILLEGAL, NULL); return FALSE; } if (reg != csky_insn.val[0]) { SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The second register must be the same as the first."); return FALSE; } *oper += len; csky_insn.opcode_end = *oper; csky_insn.val[csky_insn.idx++] = reg; return TRUE; } case OPRND_TYPE_2IN1_DUMMY: { int reg = 0; int len = 0; int max = 0; int min = 0; reg = csky_get_reg_val (*oper, &len); if (reg == -1) { SET_ERROR_NUMBER (ERROR_GREG_ILLEGAL, NULL); return FALSE; } /* dummy reg's real type should be same with first operand. */ if (op->oprnd.oprnds[0].type == OPRND_TYPE_GREG0_15) max = 15; else if (op->oprnd.oprnds[0].type == OPRND_TYPE_GREG0_7) max = 7; else return FALSE; if (reg < min || reg > max) return FALSE; csky_insn.val[csky_insn.idx++] = reg; /* if it is the last operands. */ if (csky_insn.idx > 2) { /* For "insn rz, rx, ry", if rx or ry is equal to rz, we can output the insn like "insn rz, rx". */ if (csky_insn.val[0] == csky_insn.val[1]) csky_insn.val[1] = 0; else if (csky_insn.val[0] == csky_insn.val[2]) csky_insn.val[2] = 0; else return FALSE; } *oper += len; csky_insn.opcode_end = *oper; return TRUE; } case OPRND_TYPE_DUP_GREG0_7: case OPRND_TYPE_DUP_GREG0_15: case OPRND_TYPE_DUP_AREG: { long reg = 0; int len = 0; long max_reg; unsigned int shift_num; if (oprnd->type == OPRND_TYPE_DUP_GREG0_7) { max_reg = 7; shift_num = 3; } else if (oprnd->type == OPRND_TYPE_DUP_GREG0_15) { max_reg = 15; shift_num = 4; } else { max_reg = 31; shift_num = 5; } reg = csky_get_reg_val (*oper, &len); if (reg == -1) { if (max_reg == 31) SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The register must be r0-r31"); else SET_ERROR_NUMBER (ERROR_REG_FORMAT, "The register must be r0-r15"); return FALSE; } if (reg > max_reg) { SET_ERROR_NUMBER (ERROR_REG_OVER_RANGE, reg); return FALSE; } reg |= reg << shift_num; *oper += len; csky_insn.opcode_end = *oper; csky_insn.val[csky_insn.idx++] = reg; return TRUE; } case OPRND_TYPE_CONST1: *oper = parse_exp (*oper, &csky_insn.e1); if (csky_insn.e1.X_op == O_constant) { csky_insn.opcode_end = *oper; if (csky_insn.e1.X_add_number != 1) return FALSE; csky_insn.val[csky_insn.idx++] = 1; return TRUE; } return FALSE; case OPRND_TYPE_UNCOND10b: case OPRND_TYPE_UNCOND16b: *oper = parse_exp (*oper, &csky_insn.e1); if (csky_insn.e1.X_op == O_constant) return FALSE; input_line_pointer = *oper; csky_insn.opcode_end = *oper; csky_insn.relax.max = UNCD_DISP16_LEN; csky_insn.relax.var = UNCD_DISP10_LEN; csky_insn.relax.subtype = UNCD_DISP10; csky_insn.val[csky_insn.idx++] = 0; return TRUE; case OPRND_TYPE_COND10b: case OPRND_TYPE_COND16b: *oper = parse_exp (*oper, &csky_insn.e1); if (csky_insn.e1.X_op == O_constant) return FALSE; input_line_pointer = *oper; csky_insn.opcode_end = *oper; /* CK801 doesn't have 32-bit bt/bf insns; relax to a short jump around a 32-bit unconditional branch instead. */ if (IS_CSKY_ARCH_801 (mach_flag)) { csky_insn.relax.max = SCOND_DISP16_LEN; csky_insn.relax.var = SCOND_DISP10_LEN; csky_insn.relax.subtype = SCOND_DISP10; } else { csky_insn.relax.max = COND_DISP16_LEN; csky_insn.relax.var = COND_DISP10_LEN; csky_insn.relax.subtype = COND_DISP10; } csky_insn.val[csky_insn.idx++] = 0; return TRUE; case OPRND_TYPE_JCOMPZ: *oper = parse_exp (*oper, &csky_insn.e1); if (csky_insn.e1.X_op == O_constant) return FALSE; input_line_pointer = *oper; csky_insn.opcode_end = *oper; csky_insn.relax.max = JCOMPZ_DISP32_LEN; csky_insn.relax.var = JCOMPZ_DISP16_LEN; csky_insn.relax.subtype = JCOMPZ_DISP16; csky_insn.max = JCOMPZ_DISP32_LEN; csky_insn.val[csky_insn.idx++] = 0; return TRUE; case OPRND_TYPE_JBTF: *oper = parse_exp (*oper, &csky_insn.e1); input_line_pointer = *oper; csky_insn.opcode_end = *oper; csky_insn.relax.max = csky_relax_table[C (COND_JUMP_S, DISP32)].rlx_length; csky_insn.relax.var = csky_relax_table[C (COND_JUMP_S, DISP12)].rlx_length; csky_insn.relax.subtype = C (COND_JUMP_S, 0); csky_insn.val[csky_insn.idx++] = 0; csky_insn.max = C32_LEN_S + 2; return TRUE; case OPRND_TYPE_JBR: *oper = parse_exp (*oper, &csky_insn.e1); input_line_pointer = *oper; csky_insn.opcode_end = *oper; csky_insn.relax.max = csky_relax_table[C (UNCD_JUMP_S, DISP32)].rlx_length; csky_insn.relax.var = csky_relax_table[C (UNCD_JUMP_S, DISP12)].rlx_length; csky_insn.relax.subtype = C (UNCD_JUMP_S, 0); csky_insn.val[csky_insn.idx++] = 0; csky_insn.max = U32_LEN_S + 2; return TRUE; case OPRND_TYPE_JBSR: if (do_force2bsr) *oper = parse_exp (*oper, &csky_insn.e1); else *oper = parse_rt (*oper, 1, &csky_insn.e1, -1); input_line_pointer = *oper; csky_insn.opcode_end = *oper; csky_insn.val[csky_insn.idx++] = 0; return TRUE; case OPRND_TYPE_REGLIST_DASH_COMMA: return is_reglist_dash_comma_legal (oper, oprnd); case OPRND_TYPE_MSB2SIZE: case OPRND_TYPE_LSB2SIZE: { expressionS e; char *new_oper = parse_exp (*oper, &e); if (e.X_op == O_constant) { *oper = new_oper; if (e.X_add_number > 31) { SET_ERROR_NUMBER (ERROR_IMM_OVERFLOW, NULL); return FALSE; } csky_insn.val[csky_insn.idx++] = e.X_add_number; if (oprnd->type == OPRND_TYPE_LSB2SIZE) { if (csky_insn.val[csky_insn.idx - 1] > csky_insn.val[csky_insn.idx - 2]) { SET_ERROR_NUMBER (ERROR_IMM_OVERFLOW, NULL); return FALSE; } csky_insn.val[csky_insn.idx - 2] -= e.X_add_number; } return TRUE; } return FALSE; } case OPRND_TYPE_AREG_WITH_LSHIFT: return is_reg_lshift_illegal (oper, 0); case OPRND_TYPE_AREG_WITH_LSHIFT_FPU: return is_reg_lshift_illegal (oper, 1); case OPRND_TYPE_FREG_WITH_INDEX: if (parse_type_freg (oper, 0)) { if (**oper == '[') { (*oper)++; if (is_imm_over_range (oper, 0, 0xf, -1)) { if (**oper == ']') { unsigned int idx = --csky_insn.idx; unsigned int val = csky_insn.val[idx]; (*oper)++; csky_insn.val[idx - 1] |= val << 4; return TRUE; } else SET_ERROR_NUMBER (ERROR_MISSING_RSQUARE_BRACKETS, NULL); } } else SET_ERROR_NUMBER (ERROR_MISSING_LSQUARE_BRACKETS, NULL); } return FALSE; default: break; /* error code. */ } return FALSE; } /* Subroutine of parse_operands. */ static bfd_boolean parse_operands_op (char *str, struct csky_opcode_info *op) { int i; int j; char *oper = str; int flag_pass; for (i = 0; i < OP_TABLE_NUM && op[i].operand_num != -2; i++) { flag_pass = TRUE; csky_insn.idx = 0; oper = str; /* if operand_num = -1, it is a insn with a REGLIST type operand.i. */ if (!(op[i].operand_num == csky_insn.number || (op[i].operand_num == -1 && csky_insn.number != 0))) { /* The smaller err_num is more serious. */ SET_ERROR_NUMBER (ERROR_OPERANDS_NUMBER, op[i].operand_num); flag_pass = FALSE; continue; } for (j = 0; j < csky_insn.number; j++) { while (ISSPACE (*oper)) oper++; flag_pass = get_operand_value (&op[i], &oper, &op[i].oprnd.oprnds[j]); if (flag_pass == FALSE) break; while (ISSPACE (*oper)) oper++; /* Skip the ','. */ if (j < csky_insn.number - 1 && op[i].operand_num != -1) { if (*oper == ',') oper++; else { SET_ERROR_NUMBER (ERROR_MISSING_COMMA, NULL); flag_pass = FALSE; break; } } else if (!is_end_of_line[(unsigned char) *oper]) { SET_ERROR_NUMBER (ERROR_BAD_END, NULL); flag_pass = FALSE; break; } else break; } /* Parse operands in one table end. */ if (flag_pass == TRUE) { /* Parse operands success, set opcode_idx. */ csky_insn.opcode_idx = i; return TRUE; } else error_state.opnum = j + 1; } /* Parse operands in ALL tables end. */ return FALSE; } /* Parse the operands according to operand type. */ static bfd_boolean parse_operands (char *str) { char *oper = str; /* Parse operands according to flag_force. */ if (csky_insn.flag_force == INSN_OPCODE16F && (csky_insn.opcode->isa_flag16 & isa_flag) != 0) { if (parse_operands_op (oper, csky_insn.opcode->op16) == TRUE) { csky_insn.isize = 2; return TRUE; } return FALSE; } else if (csky_insn.flag_force == INSN_OPCODE32F && (csky_insn.opcode->isa_flag32 & isa_flag) != 0) { if (parse_operands_op (oper, csky_insn.opcode->op32) == TRUE) { csky_insn.isize = 4; return TRUE; } return FALSE; } else { if ((csky_insn.opcode->isa_flag16 & isa_flag) != 0 && parse_operands_op (oper, csky_insn.opcode->op16) == TRUE) { csky_insn.isize = 2; return TRUE; } if ((csky_insn.opcode->isa_flag32 & isa_flag) != 0 && parse_operands_op (oper, csky_insn.opcode->op32) == TRUE) { csky_insn.isize = 4; return TRUE; } return FALSE; } } static bfd_boolean csky_generate_frags (void) { /* frag more relax reloc. */ if (csky_insn.flag_force == INSN_OPCODE16F || !IS_SUPPORT_OPCODE32 (csky_insn.opcode)) { csky_insn.output = frag_more (csky_insn.isize); if (csky_insn.opcode->reloc16) { /* 16 bits opcode force, should generate fixup. */ reloc_howto_type *howto; howto = bfd_reloc_type_lookup (stdoutput, csky_insn.opcode->reloc16); fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 2, &csky_insn.e1, howto->pc_relative, csky_insn.opcode->reloc16); } } else if (csky_insn.flag_force == INSN_OPCODE32F) { csky_insn.output = frag_more (csky_insn.isize); if (csky_insn.opcode->reloc32) { reloc_howto_type *howto; howto = bfd_reloc_type_lookup (stdoutput, csky_insn.opcode->reloc32); fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, howto->pc_relative, csky_insn.opcode->reloc32); } } else if (csky_insn.opcode->relax) /* Generate the relax information. */ csky_insn.output = frag_var (rs_machine_dependent, csky_insn.relax.max, csky_insn.relax.var, csky_insn.relax.subtype, csky_insn.e1.X_add_symbol, csky_insn.e1.X_add_number, 0); else { csky_insn.output = frag_more (csky_insn.isize); if (csky_insn.opcode->reloc16 && csky_insn.isize == 2) { reloc_howto_type *howto; howto = bfd_reloc_type_lookup (stdoutput, csky_insn.opcode->reloc16); fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 2, &csky_insn.e1, howto->pc_relative, csky_insn.opcode->reloc16); } else if (csky_insn.opcode->reloc32 && csky_insn.isize == 4) { reloc_howto_type *howto; howto = bfd_reloc_type_lookup (stdoutput, csky_insn.opcode->reloc32); fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, howto->pc_relative, csky_insn.opcode->reloc32); } } return TRUE; } /* Return the bits of VAL shifted according to MASK. The bits of MASK need not be contiguous. */ static int generate_masked_value (int mask, int val) { int ret = 0; int bit; for (bit = 1; mask; bit = bit << 1) if (mask & bit) { if (val & 0x1) ret |= bit; val = val >> 1; mask &= ~bit; } return ret; } /* Return the result of masking operand number OPRND_IDX into the instruction word according to the information in OPRND. */ static int generate_masked_operand (struct operand *oprnd, int *oprnd_idx) { struct soperand *soprnd = NULL; int mask; int val; if ((unsigned int)oprnd->mask == HAS_SUB_OPERAND) { soprnd = (struct soperand *) oprnd; generate_masked_operand (&soprnd->subs[0], oprnd_idx); generate_masked_operand (&soprnd->subs[1], oprnd_idx); return 0; } mask = oprnd->mask; val = csky_insn.val[*oprnd_idx]; (*oprnd_idx)++; val = generate_masked_value (mask, val); csky_insn.inst |= val; return 0; } static bfd_boolean csky_generate_insn (void) { int i = 0; struct csky_opcode_info *opinfo = NULL; if (csky_insn.isize == 4) opinfo = &csky_insn.opcode->op32[csky_insn.opcode_idx]; else if (csky_insn.isize == 2) opinfo = &csky_insn.opcode->op16[csky_insn.opcode_idx]; int sidx = 0; csky_insn.inst = opinfo->opcode; if (opinfo->operand_num == -1) { generate_masked_operand (&opinfo->oprnd.oprnds[i], &sidx); return 0; } else for (i = 0; i < opinfo->operand_num; i++) generate_masked_operand (&opinfo->oprnd.oprnds[i], &sidx); return 0; } /* Main entry point for assembling a single instruction. */ void md_assemble (char *str) { bfd_boolean must_check_literals = TRUE; csky_insn.isize = 0; csky_insn.idx = 0; csky_insn.max = 0; csky_insn.flag_force = INSN_OPCODE; csky_insn.macro = NULL; csky_insn.opcode = NULL; memset (csky_insn.val, 0, sizeof (int) * MAX_OPRND_NUM); /* Initialize err_num. */ error_state.err_num = ERROR_NONE; mov_r1_before = FALSE; mov_r1_after = FALSE; mapping_state (MAP_TEXT); /* Tie dwarf2 debug info to every insn if set option --gdwarf2. */ dwarf2_emit_insn (0); while (ISSPACE (* str)) str++; /* Get opcode from str. */ if (parse_opcode (str) == FALSE) { csky_show_error (ERROR_OPCODE_ILLEGAL, 0, NULL, NULL); return; } /* If it is a macro instruction, handle it. */ if (csky_insn.macro != NULL) { if (csky_insn.number == csky_insn.macro->oprnd_num) { csky_insn.macro->handle_func (); return; } else if (error_state.err_num > ERROR_OPERANDS_NUMBER) SET_ERROR_NUMBER (ERROR_OPERANDS_NUMBER, csky_insn.macro->oprnd_num); } if (csky_insn.opcode == NULL) { SET_ERROR_NUMBER (ERROR_OPCODE_ILLEGAL, NULL); csky_show_error (error_state.err_num, error_state.opnum, (void *)error_state.arg1, (void *)error_state.arg1); return; } /* Parse the operands according to operand type. */ if (parse_operands (csky_insn.opcode_end) == FALSE) { csky_show_error (error_state.err_num, error_state.opnum, (void *)error_state.arg1, (void *)error_state.arg1); return; } /* if this insn has work in opcode table, then do it. */ if (csky_insn.opcode->work != NULL) must_check_literals = csky_insn.opcode->work (); else { /* Generate relax or reloc if necessary. */ csky_generate_frags (); /* Generate the insn by mask. */ csky_generate_insn (); /* Write inst to frag. */ csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); } /* Adjust for xtrb0/xtrb1/xtrb2/xtrb3/divs/divu in csky v1 ISA. */ if (mov_r1_after == TRUE) { unsigned int mov_insn = CSKYV1_INST_MOV_RX_R1; mov_insn |= csky_insn.val[0]; mov_r1_before = TRUE; csky_insn.output = frag_more (2); dwarf2_emit_insn (0); md_number_to_chars (csky_insn.output, mov_insn, 2); csky_insn.isize += 2; } if (mov_r1_before == TRUE) csky_insn.isize += 2; /* Check literal. */ if (must_check_literals) { if (csky_insn.max == 0) check_literals (csky_insn.opcode->transfer, csky_insn.isize); else check_literals (csky_insn.opcode->transfer, csky_insn.max); } insn_reloc = BFD_RELOC_NONE; } /* Attempt to handle option with value C, returning non-zero on success. */ int md_parse_option (int c, const char *arg) { switch (c) { case 0: break; case OPTION_MARCH: parse_arch (arg); break; case OPTION_MCPU: parse_cpu (arg); break; default: return 0; } return 1; } /* Convert a machine dependent frag. */ #define PAD_LITERAL_LENGTH 6 #define opposite_of_stored_comp(insn) (insn ^ 0x04000000) #define opposite_of_stored_compz(insn) (insn ^ 0x00200000) #define make_insn(total_length, opcode, operand, operand_length) \ do { \ if (total_length > 0) \ { \ csky_write_insn (buf, \ opcode | (operand & ((1 << operand_length) - 1)), \ total_length); \ buf += total_length; \ fragp->fr_fix += total_length; \ } \ } while (0) #define make_literal(fragp, literal_offset) \ do { \ make_insn (literal_offset, PAD_FILL_CONTENT, 0, 0); \ fix_new (fragp, fragp->fr_fix, 4, fragp->fr_symbol, \ fragp->fr_offset, 0, BFD_RELOC_CKCORE_ADDR32); \ make_insn (4, 0, 0, 0); \ make_insn (2 - literal_offset, PAD_FILL_CONTENT, 0, 0); \ } while (0) void md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED, segT asec, fragS *fragp) { offsetT disp; char *buf = fragp->fr_fix + fragp->fr_literal; gas_assert (fragp->fr_symbol); if (IS_EXTERNAL_SYM (fragp->fr_symbol, asec)) disp = 0; else disp = (S_GET_VALUE (fragp->fr_symbol) + fragp->fr_offset - fragp->fr_address - fragp->fr_fix); switch (fragp->fr_subtype) { /* generate new insn. */ case C (COND_JUMP, DISP12): case C (UNCD_JUMP, DISP12): case C (COND_JUMP_PIC, DISP12): case C (UNCD_JUMP_PIC, DISP12): { #define CSKY_V1_B_MASK 0xf8 unsigned char t0; disp -= 2; if (disp & 1) { /* Error. odd displacement at %x, next_inst-2. */ ; } disp >>= 1; if (!target_big_endian) { t0 = buf[1] & CSKY_V1_B_MASK; md_number_to_chars (buf, disp, 2); buf[1] = (buf[1] & ~CSKY_V1_B_MASK) | t0; } else { t0 = buf[0] & CSKY_V1_B_MASK; md_number_to_chars (buf, disp, 2); buf[0] = (buf[0] & ~CSKY_V1_B_MASK) | t0; } fragp->fr_fix += 2; break; } case C (COND_JUMP, DISP32): case C (COND_JUMP, UNDEF_WORD_DISP): { /* A conditional branch wont fit into 12 bits: b!cond 1f jmpi 0f .align 2 0: .long disp 1: */ int first_inst = fragp->fr_fix + fragp->fr_address; int is_unaligned = (first_inst & 3); if (!target_big_endian) { /* b!cond instruction. */ buf[1] ^= 0x08; /* jmpi instruction. */ buf[2] = CSKYV1_INST_JMPI & 0xff; buf[3] = CSKYV1_INST_JMPI >> 8; } else { /* b!cond instruction. */ buf[0] ^= 0x08; /* jmpi instruction. */ buf[2] = CSKYV1_INST_JMPI >> 8; buf[3] = CSKYV1_INST_JMPI & 0xff; } if (is_unaligned) { if (!target_big_endian) { /* bt/bf: jump to pc + 2 + (4 << 1). */ buf[0] = 4; /* jmpi: jump to MEM (pc + 2 + (1 << 2)). */ buf[2] = 1; } else { /* bt/bf: jump to pc + 2 + (4 << 1). */ buf[1] = 4; /* jmpi: jump to MEM (pc + 2 + (1 << 2)). */ buf[3] = 1; } /* Aligned 4 bytes. */ buf[4] = 0; buf[5] = 0; /* .long */ buf[6] = 0; buf[7] = 0; buf[8] = 0; buf[9] = 0; /* Make reloc for the long disp. */ fix_new (fragp, fragp->fr_fix + 6, 4, fragp->fr_symbol, fragp->fr_offset, 0, BFD_RELOC_32); fragp->fr_fix += C32_LEN; } else { if (!target_big_endian) { /* bt/bf: jump to pc + 2 + (3 << 1). */ buf[0] = 3; /* jmpi: jump to MEM (pc + 2 + (0 << 2)). */ buf[2] = 0; } else { /* bt/bf: jump to pc + 2 + (3 << 1). */ buf[1] = 3; /* jmpi: jump to MEM (pc + 2 + (0 << 2)). */ buf[3] = 0; } /* .long */ buf[4] = 0; buf[5] = 0; buf[6] = 0; buf[7] = 0; /* Make reloc for the long disp. */ fix_new (fragp, fragp->fr_fix + 4, 4, fragp->fr_symbol, fragp->fr_offset, 0, BFD_RELOC_32); fragp->fr_fix += C32_LEN; /* Frag is actually shorter (see the other side of this ifdef) but gas isn't prepared for that. We have to re-adjust the branch displacement so that it goes beyond the full length of the fragment, not just what we actually filled in. */ if (!target_big_endian) buf[0] = 4; else buf[1] = 4; } } break; case C (COND_JUMP_PIC, DISP32): case C (COND_JUMP_PIC, UNDEF_WORD_DISP): { #define BYTE_1(a) (target_big_endian ? ((a) & 0xff) : ((a) >> 8)) #define BYTE_0(a) (target_big_endian ? ((a) >> 8) : ((a) & 0xff)) /* b!cond 1f subi sp, 8 stw r15, (sp, 0) bsr .L0 .L0: lrw r1, 0f add r1, r15 addi sp, 8 jmp r1 .align 2 0: .long (tar_addr - pc) 1: */ int first_inst = fragp->fr_fix + fragp->fr_address; int is_unaligned = (first_inst & 3); disp -= 8; /* Toggle T/F bit. */ if (! target_big_endian) buf[1] ^= 0x08; else buf[0] ^= 0x08; buf[2] = BYTE_0 (CSKYV1_INST_SUBI | (7 << 4)); /* subi r0, 8. */ buf[3] = BYTE_1 (CSKYV1_INST_SUBI | (7 << 4)); buf[4] = BYTE_0 (CSKYV1_INST_STW | (15 << 8)); /* stw r15, r0. */ buf[5] = BYTE_1 (CSKYV1_INST_STW | (15 << 8)); buf[6] = BYTE_0 (CSKYV1_INST_BSR); /* bsr pc + 2. */ buf[7] = BYTE_1 (CSKYV1_INST_BSR); buf[8] = BYTE_0 (CSKYV1_INST_LRW | (1 << 8)); /* lrw r1, (tar_addr - pc). */ buf[9] = BYTE_1 (CSKYV1_INST_LRW | (1 << 8)); buf[10] = BYTE_0 (CSKYV1_INST_ADDU | (15 << 4) | 1); /* add r1, r15. */ buf[11] = BYTE_1 (CSKYV1_INST_ADDU | (15 << 4) | 1); buf[12] = BYTE_0 (CSKYV1_INST_LDW | (15 << 8)); /* ldw r15, r0. */ buf[13] = BYTE_1 (CSKYV1_INST_LDW | (15 << 8)); buf[14] = BYTE_0 (CSKYV1_INST_ADDI | (7 << 4)); /* addi r0, 8. */ buf[15] = BYTE_1 (CSKYV1_INST_ADDI | (7 << 4)); buf[16] = BYTE_0 (CSKYV1_INST_JMP | 1); /* jmp r1. */ buf[17] = BYTE_1 (CSKYV1_INST_JMP | 1); if (!is_unaligned) { if (!target_big_endian) { buf[0] = 11; buf[8] = 3; buf[20] = disp & 0xff; buf[21] = (disp >> 8) & 0xff; buf[22] = (disp >> 16) & 0xff; buf[23] = (disp >> 24) & 0xff; } else /* if !target_big_endian. */ { buf[1] = 11; buf[9] = 3; buf[20] = (disp >> 24) & 0xff; buf[21] = (disp >> 16) & 0xff; buf[22] = (disp >> 8) & 0xff; buf[23] = disp & 0xff; } buf[18] = 0; /* alignment. */ buf[19] = 0; fragp->fr_fix += C32_LEN_PIC; } else /* if !is_unaligned. */ { if (!target_big_endian) { buf[0] = 11; buf[8] = 2; buf[18] = disp & 0xff; buf[19] = (disp >> 8) & 0xff; buf[20] = (disp >> 16) & 0xff; buf[21] = (disp >> 24) & 0xff; } else /* if !target_big_endian. */ { buf[1] = 11; buf[9] = 2; buf[18] = (disp >> 24) & 0xff; buf[19] = (disp >> 16) & 0xff; buf[20] = (disp >> 8) & 0xff; buf[21] = disp & 0xff; } buf[22] = 0; /* initialise. */ buf[23] = 0; fragp->fr_fix += C32_LEN_PIC; } /* end if is_unaligned. */ } /* end case C (COND_JUMP_PIC, DISP32)/C (COND_JUMP_PIC, UNDEF_WORD_DISP). */ break; case C (UNCD_JUMP, DISP32): case C (UNCD_JUMP, UNDEF_WORD_DISP): { /* jmpi 0f .align 2 0: .long disp. */ int first_inst = fragp->fr_fix + fragp->fr_address; int is_unaligned = (first_inst & 3); /* Build jmpi. */ buf[0] = BYTE_0 (CSKYV1_INST_JMPI); buf[1] = BYTE_1 (CSKYV1_INST_JMPI); if (!is_unaligned) { if (!target_big_endian) buf[0] = 1; else buf[1] = 1; /* Alignment. */ buf[2] = 0; buf[3] = 0; /* .long */ buf[4] = 0; buf[5] = 0; buf[6] = 0; buf[7] = 0; fix_new (fragp, fragp->fr_fix + 4, 4, fragp->fr_symbol, fragp->fr_offset, 0, BFD_RELOC_32); fragp->fr_fix += U32_LEN; } else /* if is_unaligned. */ { if (!target_big_endian) buf[0] = 0; else buf[1] = 0; /* .long */ buf[2] = 0; buf[3] = 0; buf[4] = 0; buf[5] = 0; fix_new (fragp, fragp->fr_fix + 2, 4, fragp->fr_symbol, fragp->fr_offset, 0, BFD_RELOC_32); fragp->fr_fix += U32_LEN; } } break; case C (UNCD_JUMP_PIC, DISP32): case C (UNCD_JUMP_PIC, UNDEF_WORD_DISP): { /* subi sp, 8 stw r15, (sp) bsr .L0 .L0: lrw r1, 0f add r1, r15 ldw r15, (sp) addi sp, 8 jmp r1 .align 2 0: .long (tar_add - pc) 1: */ /* If the b!cond is 4 byte aligned, the literal which would go at x+4 will also be aligned. */ int first_inst = fragp->fr_fix + fragp->fr_address; int is_unaligned = (first_inst & 3); disp -= 6; buf[0] = BYTE_0 (CSKYV1_INST_SUBI | (7 << 4)); /* subi r0, 8. */ buf[1] = BYTE_1 (CSKYV1_INST_SUBI | (7 << 4)); buf[2] = BYTE_0 (CSKYV1_INST_STW | (15 << 8)); /* stw r15, r0. */ buf[3] = BYTE_1 (CSKYV1_INST_STW | (15 << 8)); buf[4] = BYTE_0 (CSKYV1_INST_BSR); /* bsr pc + 2. */ buf[5] = BYTE_1 (CSKYV1_INST_BSR); buf[6] = BYTE_0 (CSKYV1_INST_LRW | (1 << 8)); /* lrw r1, (tar_addr - pc). */ buf[7] = BYTE_1 (CSKYV1_INST_LRW | (1 << 8)); buf[8] = BYTE_0 (CSKYV1_INST_ADDU | (15 << 4) | 1); /* add r1, r15. */ buf[9] = BYTE_1 (CSKYV1_INST_ADDU | (15 << 4) | 1); buf[10] = BYTE_0 (CSKYV1_INST_LDW | (15 << 8)); /* ldw r15, r0. */ buf[11] = BYTE_1 (CSKYV1_INST_LDW | (15 << 8)); buf[12] = BYTE_0 (CSKYV1_INST_ADDI | (7 << 4)); /* addi r0, 8. */ buf[13] = BYTE_1 (CSKYV1_INST_ADDI | (7 << 4)); buf[14] = BYTE_0 (CSKYV1_INST_JMP | 1); /* jmp r1. */ buf[15] = BYTE_1 (CSKYV1_INST_JMP | 1); if (is_unaligned) { if (!target_big_endian) { buf[6] = 3; buf[18] = disp & 0xff; buf[19] = (disp >> 8) & 0xff; buf[20] = (disp >> 16) & 0xff; buf[21] = (disp >> 24) & 0xff; } else { buf[7] = 3; buf[18] = (disp >> 24) & 0xff; buf[19] = (disp >> 16) & 0xff; buf[20] = (disp >> 8) & 0xff; buf[21] = disp & 0xff; } buf[16] = 0; buf[17] = 0; fragp->fr_fix += U32_LEN_PIC; } else { if (!target_big_endian) { buf[6] = 2; buf[16] = disp & 0xff; buf[17] = (disp >> 8) & 0xff; buf[18] = (disp >> 16) & 0xff; buf[19] = (disp >> 24) & 0xff; } else { buf[7] = 2; buf[16] = (disp >> 24) & 0xff; buf[17] = (disp >> 16) & 0xff; buf[18] = (disp >> 8) & 0xff; buf[19] = disp & 0xff; } fragp->fr_fix += U32_LEN_PIC; } } break; case COND_DISP10: case SCOND_DISP10: case UNCD_DISP10: case JCOND_DISP10: case JUNCD_DISP10: { unsigned int inst = csky_read_insn (buf, 2); inst |= (disp >> 1) & ((1 << 10) - 1); csky_write_insn (buf, inst, 2); fragp->fr_fix += 2; break; } case SCOND_DISP16: { unsigned int inst = csky_read_insn (buf, 2); if (inst == CSKYV2_INST_BT16) inst = CSKYV2_INST_BF16; else inst = CSKYV2_INST_BT16; make_insn (2, inst, (2 + 4) >> 1, 10); if (IS_EXTERNAL_SYM (fragp->fr_symbol, asec)) fix_new (fragp, fragp->fr_fix, 4, fragp->fr_symbol, fragp->fr_offset, 1, BFD_RELOC_CKCORE_PCREL_IMM16BY2); disp -= 2; inst = CSKYV2_INST_BR32 | ((disp >> 1) & ((1 << 16) - 1)); csky_write_insn (buf, inst, 4); fragp->fr_fix += 4; break; } case COND_DISP16: case JCOND_DISP16: { unsigned int inst = csky_read_insn (buf, 2); if (inst == CSKYV2_INST_BT16) inst = CSKYV2_INST_BT32; else inst = CSKYV2_INST_BF32; if (IS_EXTERNAL_SYM (fragp->fr_symbol, asec)) fix_new (fragp, fragp->fr_fix, 4, fragp->fr_symbol, fragp->fr_offset, 1, BFD_RELOC_CKCORE_PCREL_IMM16BY2); inst |= (disp >> 1) & ((1 << 16) - 1); csky_write_insn (buf, inst, 4); fragp->fr_fix += 4; break; } case LRW_DISP7: { unsigned int inst = csky_read_insn (buf, 2); int imm; imm = (disp + 2) >> 2; inst |= (imm >> 5) << 8; make_insn (2, inst, (imm & 0x1f), 5); break; } case LRW2_DISP8: { unsigned int inst = csky_read_insn (buf, 2); int imm = (disp + 2) >> 2; if (imm >= 0x80) { inst &= 0xe0; inst |= (~((imm >> 5) << 8)) & 0x300; make_insn (2, inst, (~imm & 0x1f), 5); } else { inst |= (imm >> 5) << 8; make_insn (2, inst, (imm & 0x1f), 5); } break; } case LRW_DISP16: { unsigned int inst = csky_read_insn (buf, 2); inst = CSKYV2_INST_LRW32 | (((inst & 0xe0) >> 5) << 16); if (IS_EXTERNAL_SYM (fragp->fr_symbol, asec)) fix_new (fragp, fragp->fr_fix, 4, fragp->fr_symbol, fragp->fr_offset, 1, BFD_RELOC_CKCORE_PCREL_IMM16BY4); make_insn (4, inst, ((disp + 2) >> 2), 16); break; } case JCOMPZ_DISP16: { unsigned int inst = csky_read_insn (buf, 4); make_insn (4, inst, disp >> 1, 16); } break; case JCOMPZ_DISP32: { unsigned int inst = csky_read_insn (buf, 4); int literal_offset; make_insn (4, opposite_of_stored_compz (inst), (4 + 4 + PAD_LITERAL_LENGTH) >> 1, 16); literal_offset = ((fragp->fr_address + fragp->fr_fix) % 4 == 0 ? 0 : 2); make_insn (4, CSKYV2_INST_JMPI32, (4 + literal_offset + 2) >> 2, 10); make_literal (fragp, literal_offset); } break; case JUNCD_DISP16: case UNCD_DISP16: { if (IS_EXTERNAL_SYM (fragp->fr_symbol, asec)) fix_new (fragp, fragp->fr_fix, 4, fragp->fr_symbol, fragp->fr_offset, 1, BFD_RELOC_CKCORE_PCREL_IMM16BY2); make_insn (4, CSKYV2_INST_BR32, disp >> 1, 16); } break; case JCOND_DISP32: { /* 'jbt'/'jbf'-> ; jmpi32; [pad16]+literal32 */ unsigned int inst = csky_read_insn (buf, 2); int literal_offset; if (inst == CSKYV2_INST_BT16) inst = CSKYV2_INST_BF16; else inst = CSKYV2_INST_BT16; make_insn (2, inst, (2 + 4 + PAD_LITERAL_LENGTH) >> 1, 10); literal_offset = ((fragp->fr_address + fragp->fr_fix) % 4 == 0 ? 0 : 2); make_insn (4, CSKYV2_INST_JMPI32, (4 + literal_offset + 2) >> 2, 10); make_literal (fragp, literal_offset); break; } case JUNCD_DISP32: { int literal_offset; literal_offset = ((fragp->fr_address + fragp->fr_fix) % 4 == 0 ? 0 : 2); make_insn (4, CSKYV2_INST_JMPI32, (4 + literal_offset + 2) >> 2, 10); make_literal (fragp, literal_offset); } break; case RELAX_OVERFLOW: csky_branch_report_error (fragp->fr_file, fragp->fr_line, fragp->fr_symbol, disp); break; default: abort (); break; } } /* Round up a section size to the appropriate boundary. */ valueT md_section_align (segT segment ATTRIBUTE_UNUSED, valueT size) { return size; } /* MD interface: Symbol and relocation handling. */ void md_csky_end (void) { dump_literals (0); } /* Return the address within the segment that a PC-relative fixup is relative to. */ long md_pcrel_from_section (fixS * fixP, segT seg) { /* If the symbol is undefined or defined in another section we leave the add number alone for the linker to fix it later. */ if (fixP->fx_addsy != (symbolS *) NULL && (! S_IS_DEFINED (fixP->fx_addsy) || S_GET_SEGMENT (fixP->fx_addsy) != seg)) return fixP->fx_size; /* The case where we are going to resolve things. */ return fixP->fx_size + fixP->fx_where + fixP->fx_frag->fr_address; } /* csky_cons_fix_new is called via the expression parsing code when a reloc is needed. We use this hook to get the correct .got reloc. */ void csky_cons_fix_new (fragS *frag, unsigned int off, unsigned int len, expressionS *exp, bfd_reloc_code_real_type reloc) { fixS *fixP; if (BFD_RELOC_CKCORE_GOTOFF == insn_reloc || BFD_RELOC_CKCORE_GOTPC == insn_reloc || BFD_RELOC_CKCORE_GOT32 == insn_reloc || BFD_RELOC_CKCORE_PLT32 == insn_reloc || BFD_RELOC_CKCORE_TLS_LE32 == insn_reloc || BFD_RELOC_CKCORE_TLS_GD32 == insn_reloc || BFD_RELOC_CKCORE_TLS_LDM32 == insn_reloc || BFD_RELOC_CKCORE_TLS_LDO32 == insn_reloc || BFD_RELOC_CKCORE_TLS_IE32 == insn_reloc) reloc = insn_reloc; else switch (len) { case 1: reloc = BFD_RELOC_8; break; case 2: reloc = BFD_RELOC_16; break; case 4: reloc = BFD_RELOC_32; break; case 8: reloc = BFD_RELOC_64; break; default: as_bad (_("unsupported BFD relocation size %d"), len); reloc = BFD_RELOC_32; break; } fixP = fix_new_exp (frag, off, (int) len, exp, 0, reloc); if (BFD_RELOC_CKCORE_TLS_IE32 == insn_reloc || BFD_RELOC_CKCORE_TLS_GD32 == insn_reloc || BFD_RELOC_CKCORE_TLS_LDM32 == insn_reloc) { fixP->tc_fix_data.frag = literal_insn_offset->tls_addend.frag; fixP->tc_fix_data.offset = literal_insn_offset->tls_addend.offset; } } /* See whether we need to force a relocation into the output file. This is used to force out switch and PC relative relocations when relaxing. */ int csky_force_relocation (fixS * fix) { if (fix->fx_r_type == BFD_RELOC_VTABLE_INHERIT || fix->fx_r_type == BFD_RELOC_VTABLE_ENTRY || fix->fx_r_type == BFD_RELOC_RVA || fix->fx_r_type == BFD_RELOC_CKCORE_ADDR_HI16 || fix->fx_r_type == BFD_RELOC_CKCORE_ADDR_LO16 || fix->fx_r_type == BFD_RELOC_CKCORE_TOFFSET_LO16 || fix->fx_r_type == BFD_RELOC_CKCORE_DOFFSET_LO16) return 1; if (fix->fx_addsy == NULL) return 0; if (do_use_branchstub && fix->fx_r_type == BFD_RELOC_CKCORE_PCREL_IMM26BY2 && (symbol_get_bfdsym (fix->fx_addsy)->flags & BSF_FUNCTION)) return 1; return S_FORCE_RELOC (fix->fx_addsy, fix->fx_subsy == NULL); } /* Return true if the fix can be handled by GAS, false if it must be passed through to the linker. */ bfd_boolean csky_fix_adjustable (fixS * fixP) { if (fixP->fx_addsy == NULL) return 1; /* We need the symbol name for the VTABLE entries. */ if (fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY || fixP->fx_r_type == BFD_RELOC_CKCORE_PLT32 || fixP->fx_r_type == BFD_RELOC_CKCORE_GOT32 || fixP->fx_r_type == BFD_RELOC_CKCORE_PLT12 || fixP->fx_r_type == BFD_RELOC_CKCORE_GOT12 || fixP->fx_r_type == BFD_RELOC_CKCORE_GOT_HI16 || fixP->fx_r_type == BFD_RELOC_CKCORE_GOT_LO16 || fixP->fx_r_type == BFD_RELOC_CKCORE_PLT_HI16 || fixP->fx_r_type == BFD_RELOC_CKCORE_PLT_LO16 || fixP->fx_r_type == BFD_RELOC_CKCORE_GOTOFF || fixP->fx_r_type == BFD_RELOC_CKCORE_GOTOFF_HI16 || fixP->fx_r_type == BFD_RELOC_CKCORE_GOTOFF_LO16 || fixP->fx_r_type == BFD_RELOC_CKCORE_ADDR_HI16 || fixP->fx_r_type == BFD_RELOC_CKCORE_ADDR_LO16 || fixP->fx_r_type == BFD_RELOC_CKCORE_GOT_IMM18BY4 || fixP->fx_r_type == BFD_RELOC_CKCORE_PLT_IMM18BY4 || fixP->fx_r_type == BFD_RELOC_CKCORE_GOTOFF_IMM18 || fixP->fx_r_type == BFD_RELOC_CKCORE_TLS_LE32 || fixP->fx_r_type == BFD_RELOC_CKCORE_TLS_IE32 || fixP->fx_r_type == BFD_RELOC_CKCORE_TLS_GD32 || fixP->fx_r_type == BFD_RELOC_CKCORE_TLS_LDM32 || fixP->fx_r_type == BFD_RELOC_CKCORE_TLS_LDO32) return 0; if (do_use_branchstub && fixP->fx_r_type == BFD_RELOC_CKCORE_PCREL_IMM26BY2 && (symbol_get_bfdsym (fixP->fx_addsy)->flags & BSF_FUNCTION)) return 0; return 1; } void md_apply_fix (fixS *fixP, valueT *valP, segT seg) { reloc_howto_type *howto; /* Note: use offsetT because it is signed, valueT is unsigned. */ offsetT val = *valP; char *buf = fixP->fx_frag->fr_literal + fixP->fx_where; /* if fx_done = 0, fixup will also be processed in * tc_gen_reloc() after md_apply_fix(). */ fixP->fx_done = 0; /* If the fix is relative to a symbol which is not defined, or not in the same segment as the fix, we cannot resolve it here. */ if (IS_CSKY_V1 (mach_flag) && fixP->fx_addsy != NULL && (! S_IS_DEFINED (fixP->fx_addsy) || S_GET_SEGMENT (fixP->fx_addsy) != seg)) { switch (fixP->fx_r_type) { /* Data fx_addnumber is greater than 16 bits, so fx_addnumber is assigned zero. */ case BFD_RELOC_CKCORE_PCREL_JSR_IMM11BY2: *valP = 0; break; case BFD_RELOC_CKCORE_TLS_IE32: case BFD_RELOC_CKCORE_TLS_LDM32: case BFD_RELOC_CKCORE_TLS_GD32: { struct tls_addend *ta = &(fixP->tc_fix_data); fixP->fx_offset = (fixP->fx_frag->fr_address + fixP->fx_where - (ta->frag->fr_address + ta->offset)); } /* Fall through. */ case BFD_RELOC_CKCORE_TLS_LE32: case BFD_RELOC_CKCORE_TLS_LDO32: S_SET_THREAD_LOCAL (fixP->fx_addsy); break; default: break; } #ifdef OBJ_ELF /* For ELF we can just return and let the reloc that will be generated take care of everything. For COFF we still have to insert 'val' into the insn since the addend field will be ignored. */ return; #endif } /* We can handle these relocs. */ switch (fixP->fx_r_type) { case BFD_RELOC_32_PCREL: case BFD_RELOC_CKCORE_PCREL32: fixP->fx_r_type = BFD_RELOC_CKCORE_PCREL32; break; case BFD_RELOC_VTABLE_INHERIT: fixP->fx_r_type = BFD_RELOC_CKCORE_GNU_VTINHERIT; if (fixP->fx_addsy && !S_IS_DEFINED (fixP->fx_addsy) && !S_IS_WEAK (fixP->fx_addsy)) S_SET_WEAK (fixP->fx_addsy); break; case BFD_RELOC_VTABLE_ENTRY: fixP->fx_r_type = BFD_RELOC_CKCORE_GNU_VTENTRY; break; case BFD_RELOC_CKCORE_GOT12: case BFD_RELOC_CKCORE_PLT12: case BFD_RELOC_CKCORE_ADDR_HI16: case BFD_RELOC_CKCORE_ADDR_LO16: case BFD_RELOC_CKCORE_TOFFSET_LO16: case BFD_RELOC_CKCORE_DOFFSET_LO16: case BFD_RELOC_CKCORE_GOT_HI16: case BFD_RELOC_CKCORE_GOT_LO16: case BFD_RELOC_CKCORE_PLT_HI16: case BFD_RELOC_CKCORE_PLT_LO16: case BFD_RELOC_CKCORE_GOTPC_HI16: case BFD_RELOC_CKCORE_GOTPC_LO16: case BFD_RELOC_CKCORE_GOTOFF_HI16: case BFD_RELOC_CKCORE_GOTOFF_LO16: case BFD_RELOC_CKCORE_DOFFSET_IMM18: case BFD_RELOC_CKCORE_DOFFSET_IMM18BY2: case BFD_RELOC_CKCORE_DOFFSET_IMM18BY4: case BFD_RELOC_CKCORE_GOTOFF_IMM18: case BFD_RELOC_CKCORE_GOT_IMM18BY4: case BFD_RELOC_CKCORE_PLT_IMM18BY4: break; case BFD_RELOC_CKCORE_TLS_IE32: case BFD_RELOC_CKCORE_TLS_LDM32: case BFD_RELOC_CKCORE_TLS_GD32: { struct tls_addend *ta = &(fixP->tc_fix_data); fixP->fx_offset = (fixP->fx_frag->fr_address + fixP->fx_where - (ta->frag->fr_address + ta->offset)); } /* Fall through. */ case BFD_RELOC_CKCORE_TLS_LE32: case BFD_RELOC_CKCORE_TLS_LDO32: S_SET_THREAD_LOCAL (fixP->fx_addsy); break; case BFD_RELOC_32: fixP->fx_r_type = BFD_RELOC_CKCORE_ADDR32; /* Fall through. */ case BFD_RELOC_16: case BFD_RELOC_8: if (fixP->fx_addsy == NULL) { if (fixP->fx_size == 4) ; else if (fixP->fx_size == 2 && val >= -32768 && val <= 32767) ; else if (fixP->fx_size == 1 && val >= -256 && val <= 255) ; else abort (); md_number_to_chars (buf, val, fixP->fx_size); fixP->fx_done = 1; } break; case BFD_RELOC_CKCORE_PCREL_JSR_IMM11BY2: if (fixP->fx_addsy == 0 && val > -2 KB && val < 2 KB) { long nval = (val >> 1) & 0x7ff; nval |= CSKYV1_INST_BSR; csky_write_insn (buf, nval, 2); fixP->fx_done = 1; } else *valP = 0; break; case BFD_RELOC_CKCORE_PCREL_JSR_IMM26BY2: if (fixP->fx_addsy == 0) { if (val >= -(1 << 26) && val < (1 << 26)) { unsigned int nval = ((val + fixP->fx_size) >> 1) & 0x3ffffff; nval |= CSKYV2_INST_BSR32; csky_write_insn (buf, nval, 4); } /* If bsr32 cannot reach, generate 'lrw r25,label;jsr r25' instead of 'jsri label'. */ else if (IS_CSKY_ARCH_810 (mach_flag)) { howto = bfd_reloc_type_lookup (stdoutput, fixP->fx_r_type); valueT opcode = csky_read_insn (buf, 4); opcode = (opcode & howto->dst_mask) | CSKYV2_INST_JSRI_TO_LRW; csky_write_insn (buf, opcode, 4); opcode = CSKYV2_INST_JSR_R26; csky_write_insn (buf + 4, opcode, 4); } fixP->fx_done = 1; } break; default: { valueT opcode; offsetT min, max; unsigned int issigned = 0; if (fixP->fx_addsy) break; howto = bfd_reloc_type_lookup (stdoutput, fixP->fx_r_type); if (howto == NULL) { if (fixP->fx_size == 4 || (fixP->fx_size == 2 && val >= -32768 && val <= 32767) || (fixP->fx_size == 1 && val >= -256 && val <= 255)) { md_number_to_chars (buf, val, fixP->fx_size); fixP->fx_done = 1; break; } else abort (); } if (IS_CSKY_V2 (mach_flag)) val += fixP->fx_size; if (howto->rightshift == 2) val += 2; val >>= howto->rightshift; switch (fixP->fx_r_type) { /* Offset is unsigned. */ case BFD_RELOC_CKCORE_PCREL_IMM8BY4: case BFD_RELOC_CKCORE_PCREL_IMM10BY4: case BFD_RELOC_CKCORE_PCREL_IMM16BY4: max = (offsetT) howto->dst_mask; min = 0; break; /* lrw16. */ case BFD_RELOC_CKCORE_PCREL_IMM7BY4: if (do_extend_lrw) max = (offsetT)((1 << (howto->bitsize + 1)) - 2); else max = (offsetT)((1 << howto->bitsize) - 1); min = 0; break; /* flrws, flrwd: the offset bits are divided in two parts. */ case BFD_RELOC_CKCORE_PCREL_FLRW_IMM8BY4: max = (offsetT)((1 << howto->bitsize) - 1); min = 0; break; /* Offset is signed. */ default: max = (offsetT)(howto->dst_mask >> 1); min = - max - 1; issigned = 1; } if (val < min || val > max) { csky_branch_report_error (fixP->fx_file, fixP->fx_line, fixP->fx_addsy, val); return; } opcode = csky_read_insn (buf, fixP->fx_size); /* Clear redundant bits brought from the last operation if there is any. */ if (do_extend_lrw && (opcode & 0xfc00) == CSKYV2_INST_LRW16) val &= 0xff; else val &= issigned ? (offsetT)(howto->dst_mask) : max; if (fixP->fx_r_type == BFD_RELOC_CKCORE_PCREL_BLOOP_IMM4BY4) val = (val & 0xf) << 12; if (fixP->fx_size == 2 && (opcode & 0xfc00) == CSKYV2_INST_LRW16) { /* 8 bit offset lrw16. */ if (val >= 0x80) csky_write_insn (buf, ((~val & 0x1f) | ((~val & 0x60) << 3) | (opcode & 0xe0)), fixP->fx_size); /* 7 bit offset lrw16. */ else csky_write_insn (buf, (val & 0x1f) | ((val & 0x60) << 3) | opcode, fixP->fx_size); } else if (fixP->fx_size == 4 && (opcode & 0xfe1ffe00) == CSKYV2_INST_FLRW) csky_write_insn (buf, ((val & 0xf) << 4) | ((val & 0xf0) << 17) | opcode, fixP->fx_size); else csky_write_insn (buf, val | opcode, fixP->fx_size); fixP->fx_done = 1; break; } } fixP->fx_addnumber = val; } /* Translate internal representation of relocation info to BFD target format. */ arelent * tc_gen_reloc (asection *section ATTRIBUTE_UNUSED, fixS *fixP) { arelent *rel; if (fixP->fx_pcrel && fixP->fx_r_type == BFD_RELOC_CKCORE_ADDR32) fixP->fx_r_type = BFD_RELOC_CKCORE_PCREL32; rel = xmalloc (sizeof (arelent)); rel->sym_ptr_ptr = xmalloc (sizeof (asymbol *)); *rel->sym_ptr_ptr = symbol_get_bfdsym (fixP->fx_addsy); rel->howto = bfd_reloc_type_lookup (stdoutput, fixP->fx_r_type); rel->addend = fixP->fx_offset; if (rel->howto == NULL) { as_bad_where (fixP->fx_file, fixP->fx_line, _("cannot represent `%s' relocation in object file"), bfd_get_reloc_code_name (fixP->fx_r_type)); /* Set howto to a garbage value so that we can keep going. */ rel->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_32); } gas_assert (rel->howto != NULL); rel->address = fixP->fx_frag->fr_address + fixP->fx_where; return rel; } /* Relax a fragment by scanning TC_GENERIC_RELAX_TABLE. */ long csky_relax_frag (segT segment, fragS *fragP, long stretch) { const relax_typeS *this_type; const relax_typeS *start_type; relax_substateT next_state; relax_substateT this_state; offsetT growth; offsetT aim; addressT target; addressT address; symbolS *symbolP; const relax_typeS *table; target = fragP->fr_offset; address = fragP->fr_address; table = TC_GENERIC_RELAX_TABLE; this_state = fragP->fr_subtype; start_type = this_type = table + this_state; symbolP = fragP->fr_symbol; if (symbolP) { fragS *sym_frag; sym_frag = symbol_get_frag (symbolP); #ifndef DIFF_EXPR_OK know (sym_frag != NULL); #endif know (S_GET_SEGMENT (symbolP) != absolute_section || sym_frag == &zero_address_frag); target += S_GET_VALUE (symbolP); /* If SYM_FRAG has yet to be reached on this pass, assume it will move by STRETCH just as we did, unless there is an alignment frag between here and SYM_FRAG. An alignment may well absorb any STRETCH, and we don't want to choose a larger branch insn by overestimating the needed reach of this branch. It isn't critical to calculate TARGET exactly; We know we'll be doing another pass if STRETCH is non-zero. */ if (stretch != 0 && sym_frag->relax_marker != fragP->relax_marker && S_GET_SEGMENT (symbolP) == segment) { fragS *f; /* Adjust stretch for any alignment frag. Note that if have been expanding the earlier code, the symbol may be defined in what appears to be an earlier frag. FIXME: This doesn't handle the fr_subtype field, which specifies a maximum number of bytes to skip when doing an alignment. */ for (f = fragP; f != NULL && f != sym_frag; f = f->fr_next) { if (f->fr_type == rs_align || f->fr_type == rs_align_code) { if (stretch < 0) stretch = -((-stretch) & ~((1 << (int) f->fr_offset) - 1)); else stretch &= ~((1 << (int) f->fr_offset) - 1); } if (stretch == 0) break; } if (f != 0) target += stretch; } } aim = target - address - fragP->fr_fix; /* If the fragP->fr_symbol is extern symbol, aim should be 0. */ if (fragP->fr_symbol && S_GET_SEGMENT (symbolP) != segment) aim = 0; if (aim < 0) { /* Look backwards. */ for (next_state = this_type->rlx_more; next_state;) if (aim >= this_type->rlx_backward) next_state = 0; else { /* Grow to next state. */ this_state = next_state; this_type = table + this_state; next_state = this_type->rlx_more; } } else { /* Look forwards. */ for (next_state = this_type->rlx_more; next_state;) if (aim <= this_type->rlx_forward) next_state = 0; else { /* Grow to next state. */ this_state = next_state; this_type = table + this_state; next_state = this_type->rlx_more; } } growth = this_type->rlx_length - start_type->rlx_length; if (growth != 0) fragP->fr_subtype = this_state; return growth; } int md_estimate_size_before_relax (fragS * fragp, segT segtype) { switch (fragp->fr_subtype) { case COND_DISP10: case COND_DISP16: case SCOND_DISP10: case SCOND_DISP16: case UNCD_DISP10: case UNCD_DISP16: case JCOND_DISP10: case JCOND_DISP16: case JCOND_DISP32: case JUNCD_DISP10: case JUNCD_DISP16: case JUNCD_DISP32: case JCOMPZ_DISP16: case JCOMPZ_DISP32: case BSR_DISP26: case LRW_DISP7: case LRW2_DISP8: case LRW_DISP16: gas_assert (fragp->fr_symbol); if (IS_EXTERNAL_SYM (fragp->fr_symbol, segtype)) while (csky_relax_table[fragp->fr_subtype].rlx_more > RELAX_OVERFLOW) fragp->fr_subtype = csky_relax_table[fragp->fr_subtype].rlx_more; return csky_relax_table[fragp->fr_subtype].rlx_length; /* C-SKY V1 relaxes. */ case C (UNCD_JUMP, UNDEF_DISP): case C (UNCD_JUMP_PIC, UNDEF_DISP): if (!fragp->fr_symbol) fragp->fr_subtype = C (UNCD_JUMP_S, DISP12); else if (S_GET_SEGMENT (fragp->fr_symbol) == segtype) fragp->fr_subtype = C (UNCD_JUMP_S, DISP12); else fragp->fr_subtype = C (UNCD_JUMP_S, UNDEF_WORD_DISP); break; case C (COND_JUMP, UNDEF_DISP): case C (COND_JUMP_PIC, UNDEF_DISP): if (fragp->fr_symbol && S_GET_SEGMENT (fragp->fr_symbol) == segtype) /* Got a symbol and it's defined in this segment, become byte sized. Maybe it will fix up. */ fragp->fr_subtype = C (COND_JUMP_S, DISP12); else if (fragp->fr_symbol) /* It's got a segment, but it's not ours, so it will always be long. */ fragp->fr_subtype = C (COND_JUMP_S, UNDEF_WORD_DISP); else /* We know the abs value. */ fragp->fr_subtype = C (COND_JUMP_S, DISP12); break; case C (UNCD_JUMP, DISP12): case C (UNCD_JUMP, DISP32): case C (UNCD_JUMP, UNDEF_WORD_DISP): case C (COND_JUMP, DISP12): case C (COND_JUMP, DISP32): case C (COND_JUMP, UNDEF_WORD_DISP): case C (UNCD_JUMP_PIC, DISP12): case C (UNCD_JUMP_PIC, DISP32): case C (UNCD_JUMP_PIC, UNDEF_WORD_DISP): case C (COND_JUMP_PIC, DISP12): case C (COND_JUMP_PIC, DISP32): case C (COND_JUMP_PIC, UNDEF_WORD_DISP): case RELAX_OVERFLOW: break; default: abort (); } return csky_relax_table[fragp->fr_subtype].rlx_length; } /* Parse opcode like: "op oprnd1, oprnd2, oprnd3". */ static void csky_macro_md_assemble (const char *op, const char *oprnd1, const char *oprnd2, const char *oprnd3) { char str[80]; str[0] = '\0'; strcat (str, op); if (oprnd1 != NULL) { strcat (str, " "); strcat (str, oprnd1); if (oprnd2 != NULL) { strcat (str, ","); strcat (str, oprnd2); if (oprnd3 != NULL) { strcat (str, ","); strcat (str, oprnd3); } } } md_assemble (str); return; } /* Get the string of operand. */ static int csky_get_macro_operand (char *src_s, char *dst_s, char end_sym) { int nlen = 0; while (ISSPACE (*src_s)) ++src_s; while (*src_s != end_sym) dst_s[nlen++] = *(src_s++); dst_s[nlen] = '\0'; return nlen; } /* idly 4 -> idly4. */ static void csky_idly (void) { char *s = csky_insn.opcode_end; if (!is_imm_over_range (&s, 4, 4, -1)) { as_bad (_("second operand must be 4")); return; } csky_macro_md_assemble ("idly4", NULL, NULL, NULL); return; } /* rolc rd, 1 or roltc rd, 1 -> addc rd, rd. */ static void csky_rolc (void) { char reg[10]; char *s = csky_insn.opcode_end; s += csky_get_macro_operand (s, reg, ','); ++s; if (is_imm_over_range (&s, 1, 1, -1)) { csky_macro_md_assemble ("addc", reg, reg, NULL); return; } else as_bad (_("second operand must be 1")); } /* sxtrb0(1)(2) r1, rx -> xtbr0(1)(2) r1,rx; sextb r1. */ static void csky_sxtrb (void) { char reg1[10]; char reg2[10]; char *s = csky_insn.opcode_end; s += csky_get_macro_operand (s, reg1, ','); ++s; csky_get_macro_operand (s, reg2, '\0'); csky_macro_md_assemble (csky_insn.macro->name + 1, reg1, reg2, NULL); csky_macro_md_assemble ("sextb", reg1, NULL, NULL); return; } static void csky_movtf (void) { char reg1[10]; char reg2[10]; char reg3[10]; char *s = csky_insn.opcode_end; s += csky_get_macro_operand (s, reg1, ','); ++s; s += csky_get_macro_operand (s, reg2, ','); ++s; s += csky_get_macro_operand (s, reg3, '\0'); ++s; csky_macro_md_assemble ("movt", reg1, reg2, NULL); csky_macro_md_assemble ("movf", reg1, reg3, NULL); return; } static bfd_boolean get_macro_reg_vals (int *reg1, int *reg2, int *reg3) { int nlen; char *s = csky_insn.opcode_end; *reg1 = csky_get_reg_val (s, &nlen); s += nlen; if (*s != ',') { csky_show_error (ERROR_MISSING_COMMA, 0, NULL, NULL); return FALSE; } s++; *reg2 = csky_get_reg_val (s, &nlen); s += nlen; if (*s != ',') { csky_show_error (ERROR_MISSING_COMMA, 0, NULL, NULL); return FALSE; } s++; *reg3 = csky_get_reg_val (s, &nlen); s += nlen; if (*s != '\0') { csky_show_error (ERROR_BAD_END, 0, s, NULL); return FALSE; } if (*reg1 == -1 || *reg2 == -1 || *reg3 == -1) { as_bad (_("register number out of range")); return FALSE; } if (*reg1 != *reg2) { as_bad (_("dest and source1 must be the same register")); return FALSE; } if (*reg1 >= 15 || *reg3 >= 15) { as_bad (_("64-bit operator src/dst register must be less than 15")); return FALSE; } return TRUE; } /* addc64 rx, rx, ry -> cmplt rx, rx, addc rx, ry, addc rx+1, ry+1. */ static void csky_addc64 (void) { int reg1; int reg2; int reg3; if (!get_macro_reg_vals (®1, ®2, ®3)) return; csky_macro_md_assemble ("cmplt", csky_general_reg[reg1], csky_general_reg[reg1], NULL); csky_macro_md_assemble ("addc", csky_general_reg[reg1 + (target_big_endian ? 1 : 0)], csky_general_reg[reg3 + (target_big_endian ? 1 : 0)], NULL); csky_macro_md_assemble ("addc", csky_general_reg[reg1 + (target_big_endian ? 0 : 1)], csky_general_reg[reg3 + (target_big_endian ? 0 : 1)], NULL); return; } /* subc64 rx, rx, ry -> cmphs rx, rx, subc rx, ry, subc rx+1, ry+1. */ static void csky_subc64 (void) { int reg1; int reg2; int reg3; if (!get_macro_reg_vals (®1, ®2, ®3)) return; csky_macro_md_assemble ("cmphs", csky_general_reg[reg1], csky_general_reg[reg1], NULL); csky_macro_md_assemble ("subc", csky_general_reg[reg1 + (target_big_endian ? 1 : 0)], csky_general_reg[reg3 + (target_big_endian ? 1 : 0)], NULL); csky_macro_md_assemble ("subc", csky_general_reg[reg1 + (target_big_endian ? 0 : 1)], csky_general_reg[reg3 + (target_big_endian ? 0 : 1)], NULL); return; } /* or64 rx, rx, ry -> or rx, ry, or rx+1, ry+1. */ static void csky_or64 (void) { int reg1; int reg2; int reg3; if (!get_macro_reg_vals (®1, ®2, ®3)) return; csky_macro_md_assemble ("or", csky_general_reg[reg1 + (target_big_endian ? 1 : 0)], csky_general_reg[reg3 + (target_big_endian ? 1 : 0)], NULL); csky_macro_md_assemble ("or", csky_general_reg[reg1 + (target_big_endian ? 0 : 1)], csky_general_reg[reg3 + (target_big_endian ? 0 : 1)], NULL); return; } /* xor64 rx, rx, ry -> xor rx, ry, xor rx+1, ry+1. */ static void csky_xor64 (void) { int reg1; int reg2; int reg3; if (!get_macro_reg_vals (®1, ®2, ®3)) return; csky_macro_md_assemble ("xor", csky_general_reg[reg1 + (target_big_endian ? 1 : 0)], csky_general_reg[reg3 + (target_big_endian ? 1 : 0)], NULL); csky_macro_md_assemble ("xor", csky_general_reg[reg1 + (target_big_endian ? 0 : 1)], csky_general_reg[reg3 + (target_big_endian ? 0 : 1)], NULL); return; } /* The following are V2 macro instructions. */ /* neg rd -> not rd, rd; addi rd, 1. */ static void csky_neg (void) { char reg1[10]; char *s = csky_insn.opcode_end; s += csky_get_macro_operand (s, reg1, '\0'); ++s; csky_macro_md_assemble ("not", reg1, reg1, NULL); csky_macro_md_assemble ("addi", reg1, "1", NULL); return; } /* rsubi rd, imm16 -> not rd; addi rd, imm16 + 1 */ static void csky_rsubi (void) { char reg1[10]; char str_imm16[20]; unsigned int imm16 = 0; expressionS e; char *s = csky_insn.opcode_end; s += csky_get_macro_operand (s, reg1, ','); ++s; s = parse_exp (s, &e); if (e.X_op == O_constant) imm16 = e.X_add_number; else csky_show_error (ERROR_IMM_ILLEGAL, 2, NULL, NULL); sprintf (str_imm16, "%d", imm16 + 1); csky_macro_md_assemble ("not", reg1, reg1, NULL); csky_macro_md_assemble ("addi", reg1, str_imm16, NULL); return; } /* Such as: asrc rd -> asrc rd, rd, 1. */ static void csky_arith (void) { char reg1[10]; char *s = csky_insn.opcode_end; s += csky_get_macro_operand (s, reg1, '\0'); ++s; csky_macro_md_assemble (csky_insn.macro->name, reg1, reg1, "1"); return; } /* decne rd -> if ck802: subi rd, 1; cmpnei rd, 0. else: decne rd, rd, 1 */ static void csky_decne (void) { char reg1[10]; char *s = csky_insn.opcode_end; s += csky_get_macro_operand (s, reg1, '\0'); ++s; if (IS_CSKY_ARCH_802 (mach_flag)) { csky_macro_md_assemble ("subi", reg1, "1", NULL); csky_macro_md_assemble ("cmpnei", reg1, "0", NULL); } else csky_macro_md_assemble ("decne", reg1, reg1, "1"); return; } /* If -mnolrw, lrw rd, imm -> movih rd, imm_hi16; ori rd, imm_lo16. */ static void csky_lrw (void) { char reg1[10]; char imm[40]; char imm_hi16[40]; char imm_lo16[40]; char *s = csky_insn.opcode_end; s += csky_get_macro_operand (s, reg1, ','); ++s; s += csky_get_macro_operand (s, imm, '\0'); ++s; imm_hi16[0] = '\0'; strcat (imm_hi16, "("); strcat (imm_hi16, imm); strcat (imm_hi16, ") >> 16"); imm_lo16[0] = '\0'; strcat (imm_lo16, "("); strcat (imm_lo16, imm); strcat (imm_lo16, ") & 0xffff"); csky_macro_md_assemble ("movih", reg1, imm_hi16, NULL); csky_macro_md_assemble ("ori", reg1, reg1, imm_lo16); return; } /* The following are worker functions for C-SKY v1. */ bfd_boolean v1_work_lrw (void) { int reg; int output_literal = csky_insn.val[1]; reg = csky_insn.val[0]; csky_insn.isize = 2; csky_insn.output = frag_more (2); if (csky_insn.e1.X_op == O_constant && csky_insn.e1.X_add_number <= 0x7f && csky_insn.e1.X_add_number >= 0) /* lrw to movi. */ csky_insn.inst = 0x6000 | reg | (csky_insn.e1.X_add_number << 4); else { csky_insn.inst = csky_insn.opcode->op16[0].opcode; csky_insn.inst |= reg << 8; if (output_literal) { int n = enter_literal (&csky_insn.e1, 0, 0, 0); /* Create a reference to pool entry. */ csky_insn.e1.X_op = O_symbol; csky_insn.e1.X_add_symbol = poolsym; csky_insn.e1.X_add_number = n << 2; } if (insn_reloc == BFD_RELOC_CKCORE_TLS_GD32 || insn_reloc == BFD_RELOC_CKCORE_TLS_LDM32 || insn_reloc == BFD_RELOC_CKCORE_TLS_IE32) { literal_insn_offset->tls_addend.frag = frag_now; literal_insn_offset->tls_addend.offset = (csky_insn.output - literal_insn_offset->tls_addend.frag->fr_literal); } fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 2, &csky_insn.e1, 1, BFD_RELOC_CKCORE_PCREL_IMM8BY4); } csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v1_work_fpu_fo (void) { int i = 0; int inst; int greg = -1; char buff[50]; struct csky_opcode_info *opinfo = NULL; if (csky_insn.isize == 4) opinfo = &csky_insn.opcode->op32[csky_insn.opcode_idx]; else if (csky_insn.isize == 2) opinfo = &csky_insn.opcode->op16[csky_insn.opcode_idx]; /* Firstly, get general reg. */ for (i = 0;i < opinfo->operand_num; i++) if (opinfo->oprnd.oprnds[i].type == OPRND_TYPE_GREG0_15) greg = csky_insn.val[i]; gas_assert (greg != -1); /* Secondly, get float inst. */ csky_generate_insn (); inst = csky_insn.inst; /* Now get greg and inst, we can write instruction to floating unit. */ sprintf (buff, "lrw %s,0x%x", csky_general_reg[greg], inst); md_assemble (buff); sprintf (buff, "cpwir %s", csky_general_reg[greg]); md_assemble (buff); return FALSE; } bfd_boolean v1_work_fpu_fo_fc (void) { int i = 0; int inst; int greg = -1; char buff[50]; struct csky_opcode_info *opinfo = NULL; if (csky_insn.isize == 4) opinfo = &csky_insn.opcode->op32[csky_insn.opcode_idx]; else if (csky_insn.isize == 2) opinfo = &csky_insn.opcode->op16[csky_insn.opcode_idx]; /* Firstly, get general reg. */ for (i = 0;i < opinfo->operand_num; i++) if (opinfo->oprnd.oprnds[i].type == OPRND_TYPE_GREG0_15) greg = csky_insn.val[i]; gas_assert (greg != -1); /* Secondly, get float inst. */ csky_generate_insn (); inst = csky_insn.inst; /* Now get greg and inst, we can write instruction to floating unit. */ sprintf (buff, "lrw %s,0x%x", csky_general_reg[greg], inst); md_assemble (buff); sprintf (buff, "cpwir %s", csky_general_reg[greg]); md_assemble (buff); sprintf (buff, "cprc"); md_assemble (buff); return FALSE; } bfd_boolean v1_work_fpu_write (void) { int greg; int freg; char buff[50]; greg = csky_insn.val[0]; freg = csky_insn.val[1]; /* Now get greg and freg, we can write instruction to floating unit. */ sprintf (buff, "cpwgr %s,%s", csky_general_reg[greg], csky_cp_reg[freg]); md_assemble (buff); return FALSE; } bfd_boolean v1_work_fpu_read (void) { int greg; int freg; char buff[50]; greg = csky_insn.val[0]; freg = csky_insn.val[1]; /* Now get greg and freg, we can write instruction to floating unit. */ sprintf (buff, "cprgr %s,%s", csky_general_reg[greg], csky_cp_reg[freg]); md_assemble (buff); return FALSE; } bfd_boolean v1_work_fpu_writed (void) { int greg; int freg; char buff[50]; greg = csky_insn.val[0]; freg = csky_insn.val[1]; if (greg & 0x1) { as_bad (_("even register number required")); return FALSE; } /* Now get greg and freg, we can write instruction to floating unit. */ if (target_big_endian) sprintf (buff, "cpwgr %s,%s", csky_general_reg[greg + 1], csky_cp_reg[freg]); else sprintf (buff, "cpwgr %s,%s", csky_general_reg[greg], csky_cp_reg[freg]); md_assemble (buff); if (target_big_endian) sprintf (buff, "cpwgr %s,%s", csky_general_reg[greg], csky_cp_reg[freg + 1]); else sprintf (buff, "cpwgr %s,%s", csky_general_reg[greg + 1], csky_cp_reg[freg + 1]); md_assemble (buff); return FALSE; } bfd_boolean v1_work_fpu_readd (void) { int greg; int freg; char buff[50]; greg = csky_insn.val[0]; freg = csky_insn.val[1]; if (greg & 0x1) { as_bad (_("even register number required")); return FALSE; } /* Now get greg and freg, we can write instruction to floating unit. */ if (target_big_endian) sprintf (buff, "cprgr %s,%s", csky_general_reg[greg + 1], csky_cp_reg[freg]); else sprintf (buff, "cprgr %s,%s", csky_general_reg[greg], csky_cp_reg[freg]); md_assemble (buff); if (target_big_endian) sprintf (buff, "cprgr %s,%s", csky_general_reg[greg], csky_cp_reg[freg + 1]); else sprintf (buff, "cprgr %s,%s", csky_general_reg[greg + 1], csky_cp_reg[freg + 1]); md_assemble (buff); return FALSE; } /* The following are for csky pseudo handling. */ bfd_boolean v1_work_jbsr (void) { csky_insn.output = frag_more (2); if (do_force2bsr) /* Generate fixup BFD_RELOC_CKCORE_PCREL_IMM11BY2. */ fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 2, & csky_insn.e1, 1, BFD_RELOC_CKCORE_PCREL_IMM11BY2); else { /* Using jsri instruction. */ const char *name = "jsri"; csky_insn.opcode = (struct csky_opcode *) hash_find (csky_opcodes_hash, name); csky_insn.opcode_idx = 0; csky_insn.isize = 2; int n = enter_literal (&csky_insn.e1, 1, 0, 0); /* Create a reference to pool entry. */ csky_insn.e1.X_op = O_symbol; csky_insn.e1.X_add_symbol = poolsym; csky_insn.e1.X_add_number = n << 2; /* Generate fixup BFD_RELOC_CKCORE_PCREL_IMM8BY4. */ fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 2, & csky_insn.e1, 1, BFD_RELOC_CKCORE_PCREL_IMM8BY4); if (csky_insn.e1.X_op != O_absent && do_jsri2bsr) /* Generate fixup BFD_RELOC_CKCORE_PCREL_JSR_IMM11BY2. */ fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 2, & (litpool + (csky_insn.e1.X_add_number >> 2))->e, 1, BFD_RELOC_CKCORE_PCREL_JSR_IMM11BY2); } csky_generate_insn (); csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } /* The following are worker functions for csky v2 instruction handling. */ /* For nie/nir/ipush/ipop. */ bfd_boolean v2_work_istack (void) { if (!do_intr_stack) { csky_show_error (ERROR_OPCODE_ILLEGAL, 0, NULL, NULL); return FALSE; } csky_insn.output = frag_more (csky_insn.isize); csky_insn.inst = csky_insn.opcode->op16[0].opcode; csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_btsti (void) { if (!do_extend_lrw && (csky_insn.flag_force == INSN_OPCODE16F || IS_CSKY_ARCH_801 (mach_flag))) { csky_show_error (ERROR_OPCODE_ILLEGAL, 0, NULL, NULL); return FALSE; } if (!do_extend_lrw && csky_insn.isize == 2) csky_insn.isize = 4; /* Generate relax or reloc if necessary. */ csky_generate_frags (); /* Generate the insn by mask. */ csky_generate_insn (); /* Write inst to frag. */ csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_addi (void) { csky_insn.isize = 2; if (csky_insn.number == 2) { if (csky_insn.val[0] == 14 && csky_insn.val[1] >= 0 && csky_insn.val[1] <= 0x1fc && (csky_insn.val[1] & 0x3) == 0 && csky_insn.flag_force != INSN_OPCODE32F) { /* addi sp, sp, imm. */ csky_insn.inst = 0x1400 | ((csky_insn.val[1] >> 2) & 0x1f); csky_insn.inst |= (csky_insn.val[1] << 1) & 0x300; csky_insn.output = frag_more (2); } else if (csky_insn.val[0] < 8 && csky_insn.val[1] >= 1 && csky_insn.val[1] <= 0x100 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x2000 | (csky_insn.val[0] << 8); csky_insn.inst |= (csky_insn.val[1] - 1); csky_insn.output = frag_more (2); } else if (csky_insn.val[1] >= 1 && csky_insn.val[1] <= 0x10000 && csky_insn.flag_force != INSN_OPCODE16F && !IS_CSKY_ARCH_801 (mach_flag)) { csky_insn.inst = 0xe4000000 | (csky_insn.val[0] << 21); csky_insn.inst |= csky_insn.val[0] << 16; csky_insn.inst |= (csky_insn.val[1] - 1); csky_insn.isize = 4; csky_insn.output = frag_more (4); } else { csky_show_error (ERROR_OPERANDS_ILLEGAL, 0, csky_insn.opcode_end, NULL); return FALSE; } } else if (csky_insn.number == 3) { if (csky_insn.val[0] == 14 && csky_insn.val[1] == 14 && csky_insn.val[2] >= 0 && csky_insn.val[2] <= 0x1fc && (csky_insn.val[2] & 0x3) == 0 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x1400 | ((csky_insn.val[2] >> 2) & 0x1f); csky_insn.inst |= (csky_insn.val[2] << 1) & 0x300; csky_insn.output = frag_more (2); } else if (csky_insn.val[0] < 8 && csky_insn.val[1] == 14 && csky_insn.val[2] >= 0 && csky_insn.val[2] <= 0x3fc && (csky_insn.val[2] & 0x3) == 0 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x1800 | (csky_insn.val[0] << 8); csky_insn.inst |= csky_insn.val[2] >> 2; csky_insn.output = frag_more (2); } else if (csky_insn.val[0] < 8 && csky_insn.val[0] == csky_insn.val[1] && csky_insn.val[2] >= 1 && csky_insn.val[2] <= 0x100 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x2000 | (csky_insn.val[0] << 8); csky_insn.inst |= (csky_insn.val[2] - 1); csky_insn.output = frag_more (2); } else if (csky_insn.val[0] < 8 && csky_insn.val[1] < 8 && csky_insn.val[2] >= 1 && csky_insn.val[2] <= 0x8 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x5802 | (csky_insn.val[0] << 5); csky_insn.inst |= csky_insn.val[1] << 8; csky_insn.inst |= (csky_insn.val[2] - 1) << 2; csky_insn.output = frag_more (2); } else if (csky_insn.val[1] == 28 && csky_insn.val[2] >= 1 && csky_insn.val[2] <= 0x40000 && csky_insn.flag_force != INSN_OPCODE16F && !IS_CSKY_ARCH_801 (mach_flag)) { csky_insn.inst = 0xcc1c0000 | (csky_insn.val[0] << 21); csky_insn.isize = 4; csky_insn.output = frag_more (4); if (insn_reloc == BFD_RELOC_CKCORE_GOTOFF) { fix_new_exp (frag_now, csky_insn.output-frag_now->fr_literal, 4, &csky_insn.e1, 0, BFD_RELOC_CKCORE_GOTOFF_IMM18); } else csky_insn.inst |= (csky_insn.val[2] - 1); } else if (csky_insn.val[2] >= 1 && csky_insn.val[2] <= 0x1000 && csky_insn.flag_force != INSN_OPCODE16F && !IS_CSKY_ARCH_801 (mach_flag)) { csky_insn.inst = 0xe4000000 | (csky_insn.val[0] << 21); csky_insn.inst |= csky_insn.val[1] << 16; csky_insn.inst |= (csky_insn.val[2] - 1); csky_insn.isize = 4; csky_insn.output = frag_more (4); } else { csky_show_error (ERROR_OPERANDS_ILLEGAL, 0, (char *)csky_insn.opcode_end, NULL); return FALSE; } } csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_subi (void) { csky_insn.isize = 2; if (csky_insn.number == 2) { if (csky_insn.val[0] == 14 && csky_insn.val[1] >= 0 && csky_insn.val[2] <= 0x1fc && (csky_insn.val[1] & 0x3) == 0 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x1420 | ((csky_insn.val[1] >> 2) & 0x1f); csky_insn.inst |= (csky_insn.val[1] << 1) & 0x300; } else if (csky_insn.val[0] < 8 && csky_insn.val[1] >= 1 && csky_insn.val[1] <= 0x100 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x2800 | (csky_insn.val[0] << 8); csky_insn.inst |= (csky_insn.val[1] - 1); } else if (csky_insn.val[1] >= 1 && csky_insn.val[1] <= 0x10000 && csky_insn.flag_force != INSN_OPCODE16F && !IS_CSKY_ARCH_801 (mach_flag)) { csky_insn.inst = 0xe4001000 | (csky_insn.val[0] << 21); csky_insn.inst |= csky_insn.val[0] << 16; csky_insn.inst |= (csky_insn.val[1] - 1); csky_insn.isize = 4; } else { csky_show_error (ERROR_OPERANDS_ILLEGAL, 0, (char *)csky_insn.opcode_end, NULL); return FALSE; } } else if (csky_insn.number == 3) { if (csky_insn.val[0] == 14 && csky_insn.val[1] == 14 && csky_insn.val[2] >= 0 && csky_insn.val[2] <= 0x1fc && (csky_insn.val[2] & 0x3) == 0 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x1420 | ((csky_insn.val[2] >> 2) & 0x1f); csky_insn.inst |= (csky_insn.val[2] << 1) & 0x300; } else if (csky_insn.val[0] < 8 && csky_insn.val[0] == csky_insn.val[1] && csky_insn.val[2] >= 1 && csky_insn.val[2] <= 0x100 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x2800 | (csky_insn.val[0] << 8); csky_insn.inst |= (csky_insn.val[2] - 1); } else if (csky_insn.val[0] < 8 && csky_insn.val[1] < 8 && csky_insn.val[2] >= 1 && csky_insn.val[2] <= 0x8 && csky_insn.flag_force != INSN_OPCODE32F) { csky_insn.inst = 0x5803 | (csky_insn.val[0] << 5); csky_insn.inst |= csky_insn.val[1] << 8; csky_insn.inst |= (csky_insn.val[2] - 1) << 2; } else if (csky_insn.val[2] >= 1 && csky_insn.val[2] <= 0x1000 && csky_insn.flag_force != INSN_OPCODE16F && !IS_CSKY_ARCH_801 (mach_flag)) { csky_insn.inst = 0xe4001000 | (csky_insn.val[0] << 21); csky_insn.inst |= csky_insn.val[1] << 16; csky_insn.inst |= (csky_insn.val[2] - 1); csky_insn.isize = 4; } else { csky_show_error (ERROR_OPERANDS_ILLEGAL, 0, (char *)csky_insn.opcode_end, NULL); return FALSE; } } csky_insn.output = frag_more (csky_insn.isize); csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_add_sub (void) { if (csky_insn.number == 3 && (csky_insn.val[0] == csky_insn.val[1] || csky_insn.val[0] == csky_insn.val[2]) && csky_insn.val[0] <= 15 && csky_insn.val[1] <= 15 && csky_insn.val[2] <= 15) { if (!strstr (csky_insn.opcode->mnemonic, "sub") || csky_insn.val[0] == csky_insn.val[1]) { csky_insn.opcode_idx = 0; csky_insn.isize = 2; if (csky_insn.val[0] == csky_insn.val[1]) csky_insn.val[1] = csky_insn.val[2]; csky_insn.number = 2; } } if (csky_insn.isize == 4 && IS_CSKY_ARCH_801 (mach_flag)) { if (csky_insn.number == 3) { if (csky_insn.val[0] > 7) csky_show_error (ERROR_REG_OVER_RANGE, 1, (void *)(long)csky_insn.val[0], NULL); if (csky_insn.val[1] > 7) csky_show_error (ERROR_REG_OVER_RANGE, 2, (void *)(long)csky_insn.val[1], NULL); if (csky_insn.val[2] > 7) csky_show_error (ERROR_REG_OVER_RANGE, 3, (void *)(long)csky_insn.val[2], NULL); } else { if (csky_insn.val[0] > 15) csky_show_error (ERROR_REG_OVER_RANGE, 1, (void *)(long)csky_insn.val[0], NULL); if (csky_insn.val[1] > 15) csky_show_error (ERROR_REG_OVER_RANGE, 2, (void *)(long)csky_insn.val[1], NULL); } return FALSE; } /* sub rz, rx. */ /* Generate relax or reloc if necessary. */ csky_generate_frags (); /* Generate the insn by mask. */ csky_generate_insn (); /* Write inst to frag. */ csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_rotlc (void) { const char *name = "addc"; csky_insn.opcode = (struct csky_opcode *) hash_find (csky_opcodes_hash, name); csky_insn.opcode_idx = 0; if (csky_insn.isize == 2) { /* addc rz, rx. */ csky_insn.number = 2; csky_insn.val[1] = csky_insn.val[0]; } else { csky_insn.number = 3; /* addc rz, rx, ry. */ csky_insn.val[1] = csky_insn.val[0]; csky_insn.val[2] = csky_insn.val[0]; } /* Generate relax or reloc if necessary. */ csky_generate_frags (); /* Generate the insn by mask. */ csky_generate_insn (); /* Write inst to frag. */ csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_bgeni (void) { const char *name = NULL; int imm = csky_insn.val[1]; int val = 1 << imm; if (imm < 16) name = "movi"; else { name = "movih"; val >>= 16; } csky_insn.opcode = (struct csky_opcode *) hash_find (csky_opcodes_hash, name); csky_insn.opcode_idx = 0; csky_insn.val[1] = val; /* Generate relax or reloc if necessary. */ csky_generate_frags (); /* Generate the insn by mask. */ csky_generate_insn (); /* Write inst to frag. */ csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_not (void) { const char *name = "nor"; csky_insn.opcode = (struct csky_opcode *) hash_find (csky_opcodes_hash, name); csky_insn.opcode_idx = 0; if (csky_insn.number == 1) { csky_insn.val[1] = csky_insn.val[0]; if (csky_insn.val[0] < 16) { /* 16 bits nor rz, rz. */ csky_insn.number = 2; csky_insn.isize = 2; } else { csky_insn.val[2] = csky_insn.val[0]; csky_insn.number = 3; csky_insn.isize = 4; } } if (csky_insn.number == 2) { if (csky_insn.val[0] == csky_insn.val[1] && csky_insn.val[0] < 16) { /* 16 bits nor rz, rz. */ csky_insn.number = 2; csky_insn.isize = 2; } else { csky_insn.val[2] = csky_insn.val[1]; csky_insn.number = 3; csky_insn.isize = 4; } } /* Generate relax or reloc if necessary. */ csky_generate_frags (); /* Generate the insn by mask. */ csky_generate_insn (); /* Write inst to frag. */ csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_jbtf (void) { if (csky_insn.e1.X_add_symbol == NULL || csky_insn.e1.X_op == O_constant) { csky_show_error (ERROR_UNDEFINE, 0, (void *)"operand is invalid", NULL); return FALSE; } if (IS_CSKY_ARCH_801 (mach_flag)) { /* CK801 doesn't have 32-bit bt/bf insns or a jump insn with a range larger than SCOND_DISP16. Relax to a short jump around an unconditional branch, and give up if that overflows too. */ csky_insn.output = frag_var (rs_machine_dependent, SCOND_DISP16_LEN, SCOND_DISP10_LEN, SCOND_DISP10, csky_insn.e1.X_add_symbol, csky_insn.e1.X_add_number, 0); csky_insn.isize = 2; csky_insn.max = SCOND_DISP16_LEN; csky_insn.inst = csky_insn.opcode->op16[0].opcode; } else if (do_long_jump && !IS_CSKY_ARCH_802 (mach_flag)) { /* Generate relax with jcondition. Note that CK802 doesn't support the JMPI instruction so we cannot relax to a jump with a 32-bit offset. */ csky_insn.output = frag_var (rs_machine_dependent, JCOND_DISP32_LEN, JCOND_DISP10_LEN, JCOND_DISP10, csky_insn.e1.X_add_symbol, csky_insn.e1.X_add_number, 0); csky_insn.isize = 2; csky_insn.max = JCOND_DISP32_LEN; csky_insn.inst = csky_insn.opcode->op16[0].opcode; } else { /* Generate relax with condition. */ csky_insn.output = frag_var (rs_machine_dependent, COND_DISP16_LEN, COND_DISP10_LEN, COND_DISP10, csky_insn.e1.X_add_symbol, csky_insn.e1.X_add_number, 0); csky_insn.isize = 2; csky_insn.max = COND_DISP16_LEN; csky_insn.inst = csky_insn.opcode->op16[0].opcode; } csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_jbr (void) { if (csky_insn.e1.X_add_symbol == NULL || csky_insn.e1.X_op == O_constant) { csky_show_error (ERROR_UNDEFINE, 0, (void *)"operand is invalid", NULL); return FALSE; } if (do_long_jump && !IS_CSKY_ARCH_801 (mach_flag) && !IS_CSKY_ARCH_802 (mach_flag)) { csky_insn.output = frag_var (rs_machine_dependent, JUNCD_DISP32_LEN, JUNCD_DISP10_LEN, JUNCD_DISP10, csky_insn.e1.X_add_symbol, csky_insn.e1.X_add_number, 0); csky_insn.inst = csky_insn.opcode->op16[0].opcode; csky_insn.max = JUNCD_DISP32_LEN; csky_insn.isize = 2; } else { /* Generate relax with condition. */ csky_insn.output = frag_var (rs_machine_dependent, UNCD_DISP16_LEN, UNCD_DISP10_LEN, UNCD_DISP10, csky_insn.e1.X_add_symbol, csky_insn.e1.X_add_number, 0); csky_insn.isize = 2; csky_insn.max = UNCD_DISP16_LEN; csky_insn.inst = csky_insn.opcode->op16[0].opcode; } csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } #define SIZE_V2_MOVI16(x) ((addressT)x <= 0xff) #define SIZE_V2_MOVI32(x) ((addressT)x <= 0xffff) #define SIZE_V2_MOVIH(x) ((addressT)x <= 0xffffffff && (((addressT)x & 0xffff) == 0)) bfd_boolean v2_work_lrw (void) { int reg = csky_insn.val[0]; int output_literal = csky_insn.val[1]; int is_done = 0; /* If the second operand is O_constant, We can use movi/movih instead of lrw. */ if (csky_insn.e1.X_op == O_constant) { /* 801 only has movi16. */ if (SIZE_V2_MOVI16 (csky_insn.e1.X_add_number) && reg < 8) { /* movi16 instead. */ csky_insn.output = frag_more (2); csky_insn.inst = (CSKYV2_INST_MOVI16 | (reg << 8) | (csky_insn.e1.X_add_number)); csky_insn.isize = 2; is_done = 1; } else if (SIZE_V2_MOVI32 (csky_insn.e1.X_add_number) && !IS_CSKY_ARCH_801 (mach_flag)) { /* movi32 instead. */ csky_insn.output = frag_more (4); csky_insn.inst = (CSKYV2_INST_MOVI32 | (reg << 16) | (csky_insn.e1.X_add_number)); csky_insn.isize = 4; is_done = 1; } else if (SIZE_V2_MOVIH (csky_insn.e1.X_add_number) && !IS_CSKY_ARCH_801 (mach_flag)) { /* movih instead. */ csky_insn.output = frag_more (4); csky_insn.inst = (CSKYV2_INST_MOVIH | (reg << 16) | ((csky_insn.e1.X_add_number >> 16) & 0xffff)); csky_insn.isize = 4; is_done = 1; } } if (is_done) { csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } if (output_literal) { int n = enter_literal (&csky_insn.e1, 0, 0, 0); /* Create a reference to pool entry. */ csky_insn.e1.X_op = O_symbol; csky_insn.e1.X_add_symbol = poolsym; csky_insn.e1.X_add_number = n << 2; } /* If 16bit force. */ if (csky_insn.flag_force == INSN_OPCODE16F) { /* Generate fixup. */ if (reg > 7) { csky_show_error (ERROR_UNDEFINE, 0, (void *)"The register is out of range.", NULL); return FALSE; } csky_insn.isize = 2; csky_insn.output = frag_more (2); if (insn_reloc == BFD_RELOC_CKCORE_TLS_GD32 || insn_reloc == BFD_RELOC_CKCORE_TLS_LDM32 || insn_reloc == BFD_RELOC_CKCORE_TLS_IE32) { literal_insn_offset->tls_addend.frag = frag_now; literal_insn_offset->tls_addend.offset = csky_insn.output - frag_now->fr_literal; } csky_insn.inst = csky_insn.opcode->op16[0].opcode | (reg << 5); csky_insn.max = 4; fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 2, &csky_insn.e1, 1, BFD_RELOC_CKCORE_PCREL_IMM7BY4); } else if (csky_insn.flag_force == INSN_OPCODE32F) { csky_insn.isize = 4; csky_insn.output = frag_more (4); if (insn_reloc == BFD_RELOC_CKCORE_TLS_GD32 || insn_reloc == BFD_RELOC_CKCORE_TLS_LDM32 || insn_reloc == BFD_RELOC_CKCORE_TLS_IE32) { literal_insn_offset->tls_addend.frag = frag_now; literal_insn_offset->tls_addend.offset = csky_insn.output - frag_now->fr_literal; } csky_insn.inst = csky_insn.opcode->op32[0].opcode | (reg << 16); fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 1, BFD_RELOC_CKCORE_PCREL_IMM16BY4); } else if (!is_done) { if (reg < 8) { csky_insn.isize = 2; if (insn_reloc == BFD_RELOC_CKCORE_TLS_GD32 || insn_reloc == BFD_RELOC_CKCORE_TLS_LDM32 || insn_reloc == BFD_RELOC_CKCORE_TLS_IE32) literal_insn_offset->tls_addend.frag = frag_now; csky_insn.output = frag_var (rs_machine_dependent, LRW_DISP16_LEN, LRW_DISP7_LEN, (do_extend_lrw ? LRW2_DISP8 : LRW_DISP7), csky_insn.e1.X_add_symbol, csky_insn.e1.X_add_number, 0); if (insn_reloc == BFD_RELOC_CKCORE_TLS_GD32 || insn_reloc == BFD_RELOC_CKCORE_TLS_LDM32 || insn_reloc == BFD_RELOC_CKCORE_TLS_IE32) { if (literal_insn_offset->tls_addend.frag->fr_next != frag_now) literal_insn_offset->tls_addend.frag = literal_insn_offset->tls_addend.frag->fr_next; literal_insn_offset->tls_addend.offset = (csky_insn.output - literal_insn_offset->tls_addend.frag->fr_literal); } csky_insn.inst = csky_insn.opcode->op16[0].opcode | (reg << 5); csky_insn.max = LRW_DISP16_LEN; csky_insn.isize = 2; } else { csky_insn.isize = 4; csky_insn.output = frag_more (4); if (insn_reloc == BFD_RELOC_CKCORE_TLS_GD32 || insn_reloc == BFD_RELOC_CKCORE_TLS_LDM32 || insn_reloc == BFD_RELOC_CKCORE_TLS_IE32) { literal_insn_offset->tls_addend.frag = frag_now; literal_insn_offset->tls_addend.offset = csky_insn.output - frag_now->fr_literal; } csky_insn.inst = csky_insn.opcode->op32[0].opcode | (reg << 16); fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 1, BFD_RELOC_CKCORE_PCREL_IMM16BY4); } } csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_lrsrsw (void) { int reg = csky_insn.val[0]; csky_insn.output = frag_more (4); csky_insn.inst = csky_insn.opcode->op32[0].opcode | (reg << 21); csky_insn.isize = 4; switch (insn_reloc) { case BFD_RELOC_CKCORE_GOT32: fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 0, BFD_RELOC_CKCORE_GOT_IMM18BY4); break; case BFD_RELOC_CKCORE_PLT32: fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 0, BFD_RELOC_CKCORE_PLT_IMM18BY4); break; default: fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 1, BFD_RELOC_CKCORE_DOFFSET_IMM18BY4); break; } csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_jbsr (void) { if (do_force2bsr || IS_CSKY_ARCH_801 (mach_flag) || IS_CSKY_ARCH_802 (mach_flag)) { csky_insn.output = frag_more (4); fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 1, BFD_RELOC_CKCORE_PCREL_IMM26BY2); csky_insn.isize = 4; csky_insn.inst = CSKYV2_INST_BSR32; } else { int n = enter_literal (&csky_insn.e1, 0, 0, 0); csky_insn.output = frag_more (4); csky_insn.e1.X_op = O_symbol; csky_insn.e1.X_add_symbol = poolsym; csky_insn.e1.X_add_number = n << 2; fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 1, BFD_RELOC_CKCORE_PCREL_IMM16BY4); if (do_jsri2bsr || IS_CSKY_ARCH_810 (mach_flag)) fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &(litpool + (csky_insn.e1.X_add_number >> 2))->e, 1, BFD_RELOC_CKCORE_PCREL_JSR_IMM26BY2); csky_insn.inst = CSKYV2_INST_JSRI32; csky_insn.isize = 4; if (IS_CSKY_ARCH_810 (mach_flag)) { csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); csky_insn.output = frag_more (4); dwarf2_emit_insn (0); /* Insert "mov r0, r0". */ csky_insn.inst = CSKYV2_INST_MOV_R0_R0; csky_insn.max = 8; } } csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_jsri (void) { /* dump literal. */ int n = enter_literal (&csky_insn.e1, 1, 0, 0); csky_insn.e1.X_op = O_symbol; csky_insn.e1.X_add_symbol = poolsym; csky_insn.e1.X_add_number = n << 2; /* Generate relax or reloc if necessary. */ csky_generate_frags (); /* Generate the insn by mask. */ csky_generate_insn (); /* Write inst to frag. */ csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); /* Control 810 not to generate jsri. */ if (IS_CSKY_ARCH_810 (mach_flag)) { /* Look at adding the R_PCREL_JSRIMM26BY2. For 'jbsr .L1', this reloc type's symbol is bound to '.L1', isn't bound to literal pool. */ fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &(litpool + (csky_insn.e1.X_add_number >> 2))->e, 1, BFD_RELOC_CKCORE_PCREL_JSR_IMM26BY2); csky_insn.output = frag_more (4); dwarf2_emit_insn (0); /* The opcode of "mov32 r0,r0". */ csky_insn.inst = CSKYV2_INST_MOV_R0_R0; /* The effect of this value is to check literal. */ csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); csky_insn.max = 8; } return TRUE; } bfd_boolean v2_work_movih (void) { int rz = csky_insn.val[0]; csky_insn.output = frag_more (4); csky_insn.inst = csky_insn.opcode->op32[0].opcode | (rz << 16); if (csky_insn.e1.X_op == O_constant) { if (csky_insn.e1.X_unsigned == 1 && csky_insn.e1.X_add_number > 0xffff) { csky_show_error (ERROR_IMM_OVERFLOW, 2, NULL, NULL); return FALSE; } else if (csky_insn.e1.X_unsigned == 0 && csky_insn.e1.X_add_number < 0) { csky_show_error (ERROR_IMM_OVERFLOW, 2, NULL, NULL); return FALSE; } else csky_insn.inst |= (csky_insn.e1.X_add_number & 0xffff); } else if (csky_insn.e1.X_op == O_right_shift || (csky_insn.e1.X_op == O_symbol && insn_reloc != BFD_RELOC_NONE)) { if (csky_insn.e1.X_op_symbol != 0 && symbol_constant_p (csky_insn.e1.X_op_symbol) && S_GET_SEGMENT (csky_insn.e1.X_op_symbol) == absolute_section && 16 == S_GET_VALUE (csky_insn.e1.X_op_symbol)) { csky_insn.e1.X_op = O_symbol; if (insn_reloc == BFD_RELOC_CKCORE_GOT32) insn_reloc = BFD_RELOC_CKCORE_GOT_HI16; else if (insn_reloc == BFD_RELOC_CKCORE_PLT32) insn_reloc = BFD_RELOC_CKCORE_PLT_HI16; else if (insn_reloc == BFD_RELOC_CKCORE_GOTPC) insn_reloc = BFD_RELOC_CKCORE_GOTPC_HI16; else if (insn_reloc == BFD_RELOC_CKCORE_GOTOFF) insn_reloc = BFD_RELOC_CKCORE_GOTOFF_HI16; else insn_reloc = BFD_RELOC_CKCORE_ADDR_HI16; fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 0, insn_reloc); } else { void *arg = (void *)"the second operand must be \"SYMBOL >> 16\""; csky_show_error (ERROR_UNDEFINE, 0, arg, NULL); return FALSE; } } csky_insn.isize = 4; csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean v2_work_ori (void) { int rz = csky_insn.val[0]; int rx = csky_insn.val[1]; csky_insn.output = frag_more (4); csky_insn.inst = csky_insn.opcode->op32[0].opcode | (rz << 21) | (rx << 16); if (csky_insn.e1.X_op == O_constant) { if (csky_insn.e1.X_add_number <= 0xffff && csky_insn.e1.X_add_number >= 0) csky_insn.inst |= csky_insn.e1.X_add_number; else { csky_show_error (ERROR_IMM_OVERFLOW, 3, NULL, NULL); return FALSE; } } else if (csky_insn.e1.X_op == O_bit_and) { if (symbol_constant_p (csky_insn.e1.X_op_symbol) && S_GET_SEGMENT (csky_insn.e1.X_op_symbol) == absolute_section && 0xffff == S_GET_VALUE (csky_insn.e1.X_op_symbol)) { csky_insn.e1.X_op = O_symbol; if (insn_reloc == BFD_RELOC_CKCORE_GOT32) insn_reloc = BFD_RELOC_CKCORE_GOT_LO16; else if (insn_reloc == BFD_RELOC_CKCORE_PLT32) insn_reloc = BFD_RELOC_CKCORE_PLT_LO16; else if (insn_reloc == BFD_RELOC_CKCORE_GOTPC) insn_reloc = BFD_RELOC_CKCORE_GOTPC_LO16; else if (insn_reloc == BFD_RELOC_CKCORE_GOTOFF) insn_reloc = BFD_RELOC_CKCORE_GOTOFF_LO16; else insn_reloc = BFD_RELOC_CKCORE_ADDR_LO16; fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 0, insn_reloc); } else { void *arg = (void *)"the third operand must be \"SYMBOL & 0xffff\""; csky_show_error (ERROR_UNDEFINE, 0, arg, NULL); return FALSE; } } csky_insn.isize = 4; csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } /* Helper function to encode a single/double floating point constant into the instruction word for fmovis and fmovid instructions. The constant is in its IEEE single/double precision representation and is repacked into the internal 13-bit representation for these instructions with a diagnostic for overflow. Note that there is no rounding when converting to the smaller format, just an error if there is excess precision or the number is too small/large to be represented. */ bfd_boolean float_work_fmovi (void) { int rx = csky_insn.val[0]; /* We already converted the float constant to the internal 13-bit representation so we just need to OR it in here. */ csky_insn.inst = csky_insn.opcode->op32[0].opcode | rx; csky_insn.inst |= (uint32_t) csky_insn.e1.X_add_number; csky_insn.output = frag_more (4); csky_insn.isize = 4; csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } bfd_boolean dsp_work_bloop (void) { int reg = csky_insn.val[0]; csky_insn.output = frag_more (4); csky_insn.inst = csky_insn.opcode->op32[0].opcode | (reg << 16); csky_insn.isize = 4; if (csky_insn.e1.X_op == O_symbol && csky_insn.e2.X_op == O_symbol) { fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e1, 1, BFD_RELOC_CKCORE_PCREL_BLOOP_IMM12BY4); fix_new_exp (frag_now, csky_insn.output - frag_now->fr_literal, 4, &csky_insn.e2, 1, BFD_RELOC_CKCORE_PCREL_BLOOP_IMM4BY4); } csky_write_insn (csky_insn.output, csky_insn.inst, csky_insn.isize); return TRUE; } /* The following are for assembler directive handling. */ /* Helper function to adjust constant pool counts when we emit a data directive in the text section. FUNC is one of the standard gas functions to handle these directives, like "stringer" for the .string directive, and ARG is the argument to FUNC. csky_pool_count essentially wraps the call with the constant pool magic. */ static void csky_pool_count (void (*func) (int), int arg) { const fragS *curr_frag = frag_now; offsetT added = -frag_now_fix_octets (); (*func) (arg); while (curr_frag != frag_now) { added += curr_frag->fr_fix; curr_frag = curr_frag->fr_next; } added += frag_now_fix_octets (); poolspan += added; } /* Support the .literals directive. */ static void csky_s_literals (int ignore ATTRIBUTE_UNUSED) { dump_literals (0); demand_empty_rest_of_line (); } /* Support the .string, etc directives. */ static void csky_stringer (int append_zero) { if (now_seg == text_section) csky_pool_count (stringer, append_zero); else stringer (append_zero); /* We call check_literals here in case a large number of strings are being placed into the text section with a sequence of stringer directives. In theory we could be upsetting something if these strings are actually in an indexed table instead of referenced by individual labels. Let us hope that that never happens. */ check_literals (2, 0); } /* Support integer-mode constructors like .word, .byte, etc. */ static void csky_cons (int nbytes) { mapping_state (MAP_DATA); if (nbytes == 4) /* @GOT. */ { do { bfd_reloc_code_real_type reloc; expressionS exp; reloc = BFD_RELOC_NONE; expression (&exp); lex_got (&reloc, NULL); if (exp.X_op == O_symbol && reloc != BFD_RELOC_NONE) { reloc_howto_type *howto = bfd_reloc_type_lookup (stdoutput, reloc); int size = bfd_get_reloc_size (howto); if (size > nbytes) as_bad (ngettext ("%s relocations do not fit in %d byte", "%s relocations do not fit in %d bytes", nbytes), howto->name, nbytes); else { register char *p = frag_more ((int) nbytes); int offset = nbytes - size; fix_new_exp (frag_now, p - frag_now->fr_literal + offset, size, &exp, 0, reloc); } } else emit_expr (&exp, (unsigned int) nbytes); if (now_seg == text_section) poolspan += nbytes; } while (*input_line_pointer++ == ','); /* Put terminator back into stream. */ input_line_pointer --; demand_empty_rest_of_line (); return; } if (now_seg == text_section) csky_pool_count (cons, nbytes); else cons (nbytes); /* In theory we ought to call check_literals (2,0) here in case we need to dump the literal table. We cannot do this however, as the directives that we are intercepting may be being used to build a switch table, and we must not interfere with its contents. Instead we cross our fingers and pray... */ } /* Support floating-mode constant directives like .float and .double. */ static void csky_float_cons (int float_type) { mapping_state (MAP_DATA); if (now_seg == text_section) csky_pool_count (float_cons, float_type); else float_cons (float_type); /* See the comment in csky_cons () about calling check_literals. It is unlikely that a switch table will be constructed using floating point values, but it is still likely that an indexed table of floating point constants is being created by these directives, so again we must not interfere with their placement. */ } /* Support the .fill directive. */ static void csky_fill (int ignore) { if (now_seg == text_section) csky_pool_count (s_fill, ignore); else s_fill (ignore); check_literals (2, 0); } /* Handle the section changing pseudo-ops. These call through to the normal implementations, but they dump the literal pool first. */ static void csky_s_text (int ignore) { dump_literals (0); #ifdef OBJ_ELF obj_elf_text (ignore); #else s_text (ignore); #endif } static void csky_s_data (int ignore) { dump_literals (0); #ifdef OBJ_ELF obj_elf_data (ignore); #else s_data (ignore); #endif } static void csky_s_section (int ignore) { /* Scan forwards to find the name of the section. If the section being switched to is ".line" then this is a DWARF1 debug section which is arbitrarily placed inside generated code. In this case do not dump the literal pool because it is a) inefficient and b) would require the generation of extra code to jump around the pool. */ char * ilp = input_line_pointer; while (*ilp != 0 && ISSPACE (*ilp)) ++ ilp; if (strncmp (ilp, ".line", 5) == 0 && (ISSPACE (ilp[5]) || *ilp == '\n' || *ilp == '\r')) ; else dump_literals (0); #ifdef OBJ_ELF obj_elf_section (ignore); #endif #ifdef OBJ_COFF obj_coff_section (ignore); #endif } static void csky_s_bss (int needs_align) { dump_literals (0); s_lcomm_bytes (needs_align); } #ifdef OBJ_ELF static void csky_s_comm (int needs_align) { dump_literals (0); obj_elf_common (needs_align); } #endif /* Handle the .no_literal_dump directive. */ static void csky_noliteraldump (int ignore ATTRIBUTE_UNUSED) { do_noliteraldump = 1; int insn_num = get_absolute_expression (); /* The insn after '.no_literal_dump insn_num' is insn1, Don't dump literal pool between insn1 and insn(insn_num+1) The insn cannot be the insn generate literal, like lrw & jsri. */ check_literals (0, insn_num * 2); } /* Handle the .align directive. We must check literals before doing alignment. For example, if '.align n', add (2^n-1) to poolspan and check literals. */ static void csky_s_align_ptwo (int arg) { /* Get the .align's first absolute number. */ char * temp_pointer = input_line_pointer; int align = get_absolute_expression (); check_literals (0, (1 << align) - 1); input_line_pointer = temp_pointer; /* Do alignment. */ s_align_ptwo (arg); } /* Handle the .stack_size directive. */ static void csky_stack_size (int arg ATTRIBUTE_UNUSED) { expressionS exp; stack_size_entry *sse = (stack_size_entry *) xcalloc (1, sizeof (stack_size_entry)); expression (&exp); if (exp.X_op == O_symbol) sse->function = exp.X_add_symbol; else { as_bad (_("the first operand must be a symbol")); ignore_rest_of_line (); free (sse); return; } SKIP_WHITESPACE (); if (*input_line_pointer != ',') { as_bad (_("missing stack size")); ignore_rest_of_line (); free (sse); return; } ++input_line_pointer; expression (&exp); if (exp.X_op == O_constant) { if (exp.X_add_number < 0 || exp.X_add_number > (offsetT)0xffffffff) { as_bad (_("value not in range [0, 0xffffffff]")); ignore_rest_of_line (); free (sse); return; } else sse->stack_size = exp.X_add_number; } else { as_bad (_("operand must be a constant")); ignore_rest_of_line (); free (sse); return; } if (*last_stack_size_data != NULL) last_stack_size_data = &((*last_stack_size_data)->next); *last_stack_size_data = sse; } /* This table describes all the machine specific pseudo-ops the assembler has to support. The fields are: pseudo-op name without dot function to call to execute this pseudo-op Integer arg to pass to the function. */ const pseudo_typeS md_pseudo_table[] = { { "export", s_globl, 0 }, { "import", s_ignore, 0 }, { "literals", csky_s_literals, 0 }, { "page", listing_eject, 0 }, /* The following are to intercept the placement of data into the text section (eg addresses for a switch table), so that the space they occupy can be taken into account when deciding whether or not to dump the current literal pool. XXX - currently we do not cope with the .space and .dcb.d directives. */ { "ascii", csky_stringer, 8 + 0 }, { "asciz", csky_stringer, 8 + 1 }, { "byte", csky_cons, 1 }, { "dc", csky_cons, 2 }, { "dc.b", csky_cons, 1 }, { "dc.d", csky_float_cons, 'd'}, { "dc.l", csky_cons, 4 }, { "dc.s", csky_float_cons, 'f'}, { "dc.w", csky_cons, 2 }, { "dc.x", csky_float_cons, 'x'}, { "double", csky_float_cons, 'd'}, { "float", csky_float_cons, 'f'}, { "hword", csky_cons, 2 }, { "int", csky_cons, 4 }, { "long", csky_cons, 4 }, { "octa", csky_cons, 16 }, { "quad", csky_cons, 8 }, { "short", csky_cons, 2 }, { "single", csky_float_cons, 'f'}, { "string", csky_stringer, 8 + 1 }, { "word", csky_cons, 4 }, { "fill", csky_fill, 0 }, /* Allow for the effect of section changes. */ { "text", csky_s_text, 0 }, { "data", csky_s_data, 0 }, { "bss", csky_s_bss, 1 }, #ifdef OBJ_ELF { "comm", csky_s_comm, 0 }, #endif { "section", csky_s_section, 0 }, { "section.s", csky_s_section, 0 }, { "sect", csky_s_section, 0 }, { "sect.s", csky_s_section, 0 }, /* When ".no_literal_dump N" is in front of insn1, and instruction sequence is: insn1 insn2 ...... insnN+1 it means literals will not dump between insn1 and insnN+1 The insn cannot itself generate literal, like lrw & jsri. */ { "no_literal_dump", csky_noliteraldump, 0 }, { "align", csky_s_align_ptwo, 0 }, { "stack_size", csky_stack_size, 0 }, {0, 0, 0} }; /* Implement tc_cfi_frame_initial_instructions. */ void csky_cfi_frame_initial_instructions (void) { int sp_reg = IS_CSKY_V1 (mach_flag) ? 0 : 14; cfi_add_CFA_def_cfa_register (sp_reg); } /* Implement tc_regname_to_dw2regnum. */ int tc_csky_regname_to_dw2regnum (char *regname) { int reg_num = -1; int len; /* FIXME the reg should be parsed according to the abi version. */ reg_num = csky_get_reg_val (regname, &len); return reg_num; }