| 1 | /* Assembler interface for targets using CGEN. -*- C -*- | 
|---|
| 2 | CGEN: Cpu tools GENerator | 
|---|
| 3 |  | 
|---|
| 4 | THIS FILE IS MACHINE GENERATED WITH CGEN. | 
|---|
| 5 | - the resultant file is machine generated, cgen-asm.in isn't | 
|---|
| 6 |  | 
|---|
| 7 | Copyright 1996, 1997, 1998, 1999, 2000, 2001 Free Software Foundation, Inc. | 
|---|
| 8 |  | 
|---|
| 9 | This file is part of the GNU Binutils and GDB, the GNU debugger. | 
|---|
| 10 |  | 
|---|
| 11 | This program is free software; you can redistribute it and/or modify | 
|---|
| 12 | it under the terms of the GNU General Public License as published by | 
|---|
| 13 | the Free Software Foundation; either version 2, or (at your option) | 
|---|
| 14 | any later version. | 
|---|
| 15 |  | 
|---|
| 16 | This program is distributed in the hope that it will be useful, | 
|---|
| 17 | but WITHOUT ANY WARRANTY; without even the implied warranty of | 
|---|
| 18 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
|---|
| 19 | GNU General Public License for more details. | 
|---|
| 20 |  | 
|---|
| 21 | You should have received a copy of the GNU General Public License | 
|---|
| 22 | along with this program; if not, write to the Free Software Foundation, Inc., | 
|---|
| 23 | 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */ | 
|---|
| 24 |  | 
|---|
| 25 | /* ??? Eventually more and more of this stuff can go to cpu-independent files. | 
|---|
| 26 | Keep that in mind.  */ | 
|---|
| 27 |  | 
|---|
| 28 | #include "sysdep.h" | 
|---|
| 29 | #include <stdio.h> | 
|---|
| 30 | #include "ansidecl.h" | 
|---|
| 31 | #include "bfd.h" | 
|---|
| 32 | #include "symcat.h" | 
|---|
| 33 | #include "xstormy16-desc.h" | 
|---|
| 34 | #include "xstormy16-opc.h" | 
|---|
| 35 | #include "opintl.h" | 
|---|
| 36 | #include "xregex.h" | 
|---|
| 37 | #include "libiberty.h" | 
|---|
| 38 | #include "safe-ctype.h" | 
|---|
| 39 |  | 
|---|
| 40 | #undef  min | 
|---|
| 41 | #define min(a,b) ((a) < (b) ? (a) : (b)) | 
|---|
| 42 | #undef  max | 
|---|
| 43 | #define max(a,b) ((a) > (b) ? (a) : (b)) | 
|---|
| 44 |  | 
|---|
| 45 | static const char * parse_insn_normal | 
|---|
| 46 | PARAMS ((CGEN_CPU_DESC, const CGEN_INSN *, const char **, CGEN_FIELDS *)); | 
|---|
| 47 |  | 
|---|
| 48 |  | 
|---|
| 49 | /* -- assembler routines inserted here.  */ | 
|---|
| 50 |  | 
|---|
| 51 | /* -- asm.c */ | 
|---|
| 52 | static const char * parse_mem8 | 
|---|
| 53 | PARAMS ((CGEN_CPU_DESC, const char **, int, unsigned long *)); | 
|---|
| 54 | static const char * parse_small_immediate | 
|---|
| 55 | PARAMS ((CGEN_CPU_DESC, const char **, int, unsigned long *)); | 
|---|
| 56 | static const char * parse_immediate16 | 
|---|
| 57 | PARAMS ((CGEN_CPU_DESC, const char **, int, unsigned long *)); | 
|---|
| 58 |  | 
|---|
| 59 | /* The machine-independent code doesn't know how to disambiguate | 
|---|
| 60 | mov (foo),r3 | 
|---|
| 61 | and | 
|---|
| 62 | mov (r2),r3 | 
|---|
| 63 | where 'foo' is a label.  This helps it out. */ | 
|---|
| 64 |  | 
|---|
| 65 | static const char * | 
|---|
| 66 | parse_mem8 (cd, strp, opindex, valuep) | 
|---|
| 67 | CGEN_CPU_DESC cd; | 
|---|
| 68 | const char **strp; | 
|---|
| 69 | int opindex; | 
|---|
| 70 | unsigned long *valuep; | 
|---|
| 71 | { | 
|---|
| 72 | if (**strp == '(') | 
|---|
| 73 | { | 
|---|
| 74 | const char *s = *strp; | 
|---|
| 75 |  | 
|---|
| 76 | if (s[1] == '-' && s[2] == '-') | 
|---|
| 77 | return _("Bad register in preincrement"); | 
|---|
| 78 |  | 
|---|
| 79 | while (ISALNUM (*++s)) | 
|---|
| 80 | ; | 
|---|
| 81 | if (s[0] == '+' && s[1] == '+' && (s[2] == ')' || s[2] == ',')) | 
|---|
| 82 | return _("Bad register in postincrement"); | 
|---|
| 83 | if (s[0] == ',' || s[0] == ')') | 
|---|
| 84 | return _("Bad register name"); | 
|---|
| 85 | } | 
|---|
| 86 | else if (cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names, | 
|---|
| 87 | valuep) == NULL) | 
|---|
| 88 | return _("Label conflicts with register name"); | 
|---|
| 89 | else if (strncasecmp (*strp, "rx,", 3) == 0 | 
|---|
| 90 | || strncasecmp (*strp, "rxl,", 3) == 0 | 
|---|
| 91 | || strncasecmp (*strp, "rxh,", 3) == 0) | 
|---|
| 92 | return _("Label conflicts with `Rx'"); | 
|---|
| 93 | else if (**strp == '#') | 
|---|
| 94 | return _("Bad immediate expression"); | 
|---|
| 95 |  | 
|---|
| 96 | return cgen_parse_unsigned_integer (cd, strp, opindex, valuep); | 
|---|
| 97 | } | 
|---|
| 98 |  | 
|---|
| 99 | /* For the add and subtract instructions, there are two immediate forms, | 
|---|
| 100 | one for small operands and one for large ones.  We want to use | 
|---|
| 101 | the small one when possible, but we do not want to generate relocs | 
|---|
| 102 | of the small size.  This is somewhat tricky.  */ | 
|---|
| 103 |  | 
|---|
| 104 | static const char * | 
|---|
| 105 | parse_small_immediate (cd, strp, opindex, valuep) | 
|---|
| 106 | CGEN_CPU_DESC cd; | 
|---|
| 107 | const char **strp; | 
|---|
| 108 | int opindex; | 
|---|
| 109 | unsigned long *valuep; | 
|---|
| 110 | { | 
|---|
| 111 | bfd_vma value; | 
|---|
| 112 | enum cgen_parse_operand_result result; | 
|---|
| 113 | const char *errmsg; | 
|---|
| 114 |  | 
|---|
| 115 | if (**strp == '@') | 
|---|
| 116 | return _("No relocation for small immediate"); | 
|---|
| 117 |  | 
|---|
| 118 | errmsg = (* cd->parse_operand_fn) | 
|---|
| 119 | (cd, CGEN_PARSE_OPERAND_INTEGER, strp, opindex, BFD_RELOC_NONE, | 
|---|
| 120 | &result, &value); | 
|---|
| 121 |  | 
|---|
| 122 | if (errmsg) | 
|---|
| 123 | return errmsg; | 
|---|
| 124 |  | 
|---|
| 125 | if (result != CGEN_PARSE_OPERAND_RESULT_NUMBER) | 
|---|
| 126 | return _("Small operand was not an immediate number"); | 
|---|
| 127 |  | 
|---|
| 128 | *valuep = value; | 
|---|
| 129 | return NULL; | 
|---|
| 130 | } | 
|---|
| 131 |  | 
|---|
| 132 | /* Literal scan be either a normal literal, a @hi() or @lo relocation. */ | 
|---|
| 133 |  | 
|---|
| 134 | static const char * | 
|---|
| 135 | parse_immediate16 (cd, strp, opindex, valuep) | 
|---|
| 136 | CGEN_CPU_DESC cd; | 
|---|
| 137 | const char **strp; | 
|---|
| 138 | int opindex; | 
|---|
| 139 | unsigned long *valuep; | 
|---|
| 140 | { | 
|---|
| 141 | const char *errmsg; | 
|---|
| 142 | enum cgen_parse_operand_result result; | 
|---|
| 143 | bfd_reloc_code_real_type code = BFD_RELOC_NONE; | 
|---|
| 144 | bfd_vma value; | 
|---|
| 145 |  | 
|---|
| 146 | if (strncmp (*strp, "@hi(", 4) == 0) | 
|---|
| 147 | { | 
|---|
| 148 | *strp += 4; | 
|---|
| 149 | code = BFD_RELOC_HI16; | 
|---|
| 150 | } | 
|---|
| 151 | else | 
|---|
| 152 | if (strncmp (*strp, "@lo(", 4) == 0) | 
|---|
| 153 | { | 
|---|
| 154 | *strp += 4; | 
|---|
| 155 | code = BFD_RELOC_LO16; | 
|---|
| 156 | } | 
|---|
| 157 |  | 
|---|
| 158 | if (code == BFD_RELOC_NONE) | 
|---|
| 159 | errmsg = cgen_parse_unsigned_integer (cd, strp, opindex, valuep); | 
|---|
| 160 | else | 
|---|
| 161 | { | 
|---|
| 162 | errmsg = cgen_parse_address (cd, strp, opindex, code, &result, &value); | 
|---|
| 163 | if ((errmsg == NULL) && | 
|---|
| 164 | (result != CGEN_PARSE_OPERAND_RESULT_QUEUED)) | 
|---|
| 165 | errmsg = _("Operand is not a symbol"); | 
|---|
| 166 |  | 
|---|
| 167 | *valuep = value; | 
|---|
| 168 | if ((code == BFD_RELOC_HI16 || code == BFD_RELOC_LO16) | 
|---|
| 169 | && **strp == ')') | 
|---|
| 170 | *strp += 1; | 
|---|
| 171 | else | 
|---|
| 172 | { | 
|---|
| 173 | errmsg = _("Syntax error: No trailing ')'"); | 
|---|
| 174 | return errmsg; | 
|---|
| 175 | } | 
|---|
| 176 | } | 
|---|
| 177 | return errmsg; | 
|---|
| 178 | } | 
|---|
| 179 | /* -- */ | 
|---|
| 180 |  | 
|---|
| 181 | const char * xstormy16_cgen_parse_operand | 
|---|
| 182 | PARAMS ((CGEN_CPU_DESC, int, const char **, CGEN_FIELDS *)); | 
|---|
| 183 |  | 
|---|
| 184 | /* Main entry point for operand parsing. | 
|---|
| 185 |  | 
|---|
| 186 | This function is basically just a big switch statement.  Earlier versions | 
|---|
| 187 | used tables to look up the function to use, but | 
|---|
| 188 | - if the table contains both assembler and disassembler functions then | 
|---|
| 189 | the disassembler contains much of the assembler and vice-versa, | 
|---|
| 190 | - there's a lot of inlining possibilities as things grow, | 
|---|
| 191 | - using a switch statement avoids the function call overhead. | 
|---|
| 192 |  | 
|---|
| 193 | This function could be moved into `parse_insn_normal', but keeping it | 
|---|
| 194 | separate makes clear the interface between `parse_insn_normal' and each of | 
|---|
| 195 | the handlers.  */ | 
|---|
| 196 |  | 
|---|
| 197 | const char * | 
|---|
| 198 | xstormy16_cgen_parse_operand (cd, opindex, strp, fields) | 
|---|
| 199 | CGEN_CPU_DESC cd; | 
|---|
| 200 | int opindex; | 
|---|
| 201 | const char ** strp; | 
|---|
| 202 | CGEN_FIELDS * fields; | 
|---|
| 203 | { | 
|---|
| 204 | const char * errmsg = NULL; | 
|---|
| 205 | /* Used by scalar operands that still need to be parsed.  */ | 
|---|
| 206 | long junk ATTRIBUTE_UNUSED; | 
|---|
| 207 |  | 
|---|
| 208 | switch (opindex) | 
|---|
| 209 | { | 
|---|
| 210 | case XSTORMY16_OPERAND_RB : | 
|---|
| 211 | errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_Rb_names, & fields->f_Rb); | 
|---|
| 212 | break; | 
|---|
| 213 | case XSTORMY16_OPERAND_RBJ : | 
|---|
| 214 | errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_Rb_names, & fields->f_Rbj); | 
|---|
| 215 | break; | 
|---|
| 216 | case XSTORMY16_OPERAND_RD : | 
|---|
| 217 | errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names, & fields->f_Rd); | 
|---|
| 218 | break; | 
|---|
| 219 | case XSTORMY16_OPERAND_RDM : | 
|---|
| 220 | errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names, & fields->f_Rdm); | 
|---|
| 221 | break; | 
|---|
| 222 | case XSTORMY16_OPERAND_RM : | 
|---|
| 223 | errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names, & fields->f_Rm); | 
|---|
| 224 | break; | 
|---|
| 225 | case XSTORMY16_OPERAND_RS : | 
|---|
| 226 | errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names, & fields->f_Rs); | 
|---|
| 227 | break; | 
|---|
| 228 | case XSTORMY16_OPERAND_ABS24 : | 
|---|
| 229 | errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_ABS24, &fields->f_abs24); | 
|---|
| 230 | break; | 
|---|
| 231 | case XSTORMY16_OPERAND_BCOND2 : | 
|---|
| 232 | errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_h_branchcond, & fields->f_op2); | 
|---|
| 233 | break; | 
|---|
| 234 | case XSTORMY16_OPERAND_BCOND5 : | 
|---|
| 235 | errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_h_branchcond, & fields->f_op5); | 
|---|
| 236 | break; | 
|---|
| 237 | case XSTORMY16_OPERAND_HMEM8 : | 
|---|
| 238 | errmsg = parse_mem8 (cd, strp, XSTORMY16_OPERAND_HMEM8, &fields->f_hmem8); | 
|---|
| 239 | break; | 
|---|
| 240 | case XSTORMY16_OPERAND_IMM12 : | 
|---|
| 241 | errmsg = cgen_parse_signed_integer (cd, strp, XSTORMY16_OPERAND_IMM12, &fields->f_imm12); | 
|---|
| 242 | break; | 
|---|
| 243 | case XSTORMY16_OPERAND_IMM16 : | 
|---|
| 244 | errmsg = parse_immediate16 (cd, strp, XSTORMY16_OPERAND_IMM16, &fields->f_imm16); | 
|---|
| 245 | break; | 
|---|
| 246 | case XSTORMY16_OPERAND_IMM2 : | 
|---|
| 247 | errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_IMM2, &fields->f_imm2); | 
|---|
| 248 | break; | 
|---|
| 249 | case XSTORMY16_OPERAND_IMM3 : | 
|---|
| 250 | errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_IMM3, &fields->f_imm3); | 
|---|
| 251 | break; | 
|---|
| 252 | case XSTORMY16_OPERAND_IMM3B : | 
|---|
| 253 | errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_IMM3B, &fields->f_imm3b); | 
|---|
| 254 | break; | 
|---|
| 255 | case XSTORMY16_OPERAND_IMM4 : | 
|---|
| 256 | errmsg = parse_small_immediate (cd, strp, XSTORMY16_OPERAND_IMM4, &fields->f_imm4); | 
|---|
| 257 | break; | 
|---|
| 258 | case XSTORMY16_OPERAND_IMM8 : | 
|---|
| 259 | errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_IMM8, &fields->f_imm8); | 
|---|
| 260 | break; | 
|---|
| 261 | case XSTORMY16_OPERAND_IMM8SMALL : | 
|---|
| 262 | errmsg = parse_small_immediate (cd, strp, XSTORMY16_OPERAND_IMM8SMALL, &fields->f_imm8); | 
|---|
| 263 | break; | 
|---|
| 264 | case XSTORMY16_OPERAND_LMEM8 : | 
|---|
| 265 | errmsg = parse_mem8 (cd, strp, XSTORMY16_OPERAND_LMEM8, &fields->f_lmem8); | 
|---|
| 266 | break; | 
|---|
| 267 | case XSTORMY16_OPERAND_REL12 : | 
|---|
| 268 | errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_REL12, &fields->f_rel12); | 
|---|
| 269 | break; | 
|---|
| 270 | case XSTORMY16_OPERAND_REL12A : | 
|---|
| 271 | errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_REL12A, &fields->f_rel12a); | 
|---|
| 272 | break; | 
|---|
| 273 | case XSTORMY16_OPERAND_REL8_2 : | 
|---|
| 274 | errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_REL8_2, &fields->f_rel8_2); | 
|---|
| 275 | break; | 
|---|
| 276 | case XSTORMY16_OPERAND_REL8_4 : | 
|---|
| 277 | errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_REL8_4, &fields->f_rel8_4); | 
|---|
| 278 | break; | 
|---|
| 279 | case XSTORMY16_OPERAND_WS2 : | 
|---|
| 280 | errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_h_wordsize, & fields->f_op2m); | 
|---|
| 281 | break; | 
|---|
| 282 |  | 
|---|
| 283 | default : | 
|---|
| 284 | /* xgettext:c-format */ | 
|---|
| 285 | fprintf (stderr, _("Unrecognized field %d while parsing.\n"), opindex); | 
|---|
| 286 | abort (); | 
|---|
| 287 | } | 
|---|
| 288 |  | 
|---|
| 289 | return errmsg; | 
|---|
| 290 | } | 
|---|
| 291 |  | 
|---|
| 292 | cgen_parse_fn * const xstormy16_cgen_parse_handlers[] = | 
|---|
| 293 | { | 
|---|
| 294 | parse_insn_normal, | 
|---|
| 295 | }; | 
|---|
| 296 |  | 
|---|
| 297 | void | 
|---|
| 298 | xstormy16_cgen_init_asm (cd) | 
|---|
| 299 | CGEN_CPU_DESC cd; | 
|---|
| 300 | { | 
|---|
| 301 | xstormy16_cgen_init_opcode_table (cd); | 
|---|
| 302 | xstormy16_cgen_init_ibld_table (cd); | 
|---|
| 303 | cd->parse_handlers = & xstormy16_cgen_parse_handlers[0]; | 
|---|
| 304 | cd->parse_operand = xstormy16_cgen_parse_operand; | 
|---|
| 305 | } | 
|---|
| 306 |  | 
|---|
| 307 |  | 
|---|
| 308 |  | 
|---|
| 309 |  | 
|---|
| 310 | /* Regex construction routine. | 
|---|
| 311 |  | 
|---|
| 312 | This translates an opcode syntax string into a regex string, | 
|---|
| 313 | by replacing any non-character syntax element (such as an | 
|---|
| 314 | opcode) with the pattern '.*' | 
|---|
| 315 |  | 
|---|
| 316 | It then compiles the regex and stores it in the opcode, for | 
|---|
| 317 | later use by xstormy16_cgen_assemble_insn | 
|---|
| 318 |  | 
|---|
| 319 | Returns NULL for success, an error message for failure.  */ | 
|---|
| 320 |  | 
|---|
| 321 | char * | 
|---|
| 322 | xstormy16_cgen_build_insn_regex (insn) | 
|---|
| 323 | CGEN_INSN *insn; | 
|---|
| 324 | { | 
|---|
| 325 | CGEN_OPCODE *opc = (CGEN_OPCODE *) CGEN_INSN_OPCODE (insn); | 
|---|
| 326 | const char *mnem = CGEN_INSN_MNEMONIC (insn); | 
|---|
| 327 | char rxbuf[CGEN_MAX_RX_ELEMENTS]; | 
|---|
| 328 | char *rx = rxbuf; | 
|---|
| 329 | const CGEN_SYNTAX_CHAR_TYPE *syn; | 
|---|
| 330 | int reg_err; | 
|---|
| 331 |  | 
|---|
| 332 | syn = CGEN_SYNTAX_STRING (CGEN_OPCODE_SYNTAX (opc)); | 
|---|
| 333 |  | 
|---|
| 334 | /* Mnemonics come first in the syntax string.  */ | 
|---|
| 335 | if (! CGEN_SYNTAX_MNEMONIC_P (* syn)) | 
|---|
| 336 | return _("missing mnemonic in syntax string"); | 
|---|
| 337 | ++syn; | 
|---|
| 338 |  | 
|---|
| 339 | /* Generate a case sensitive regular expression that emulates case | 
|---|
| 340 | insensitive matching in the "C" locale.  We cannot generate a case | 
|---|
| 341 | insensitive regular expression because in Turkish locales, 'i' and 'I' | 
|---|
| 342 | are not equal modulo case conversion.  */ | 
|---|
| 343 |  | 
|---|
| 344 | /* Copy the literal mnemonic out of the insn.  */ | 
|---|
| 345 | for (; *mnem; mnem++) | 
|---|
| 346 | { | 
|---|
| 347 | char c = *mnem; | 
|---|
| 348 |  | 
|---|
| 349 | if (ISALPHA (c)) | 
|---|
| 350 | { | 
|---|
| 351 | *rx++ = '['; | 
|---|
| 352 | *rx++ = TOLOWER (c); | 
|---|
| 353 | *rx++ = TOUPPER (c); | 
|---|
| 354 | *rx++ = ']'; | 
|---|
| 355 | } | 
|---|
| 356 | else | 
|---|
| 357 | *rx++ = c; | 
|---|
| 358 | } | 
|---|
| 359 |  | 
|---|
| 360 | /* Copy any remaining literals from the syntax string into the rx.  */ | 
|---|
| 361 | for(; * syn != 0 && rx <= rxbuf + (CGEN_MAX_RX_ELEMENTS - 7 - 4); ++syn) | 
|---|
| 362 | { | 
|---|
| 363 | if (CGEN_SYNTAX_CHAR_P (* syn)) | 
|---|
| 364 | { | 
|---|
| 365 | char c = CGEN_SYNTAX_CHAR (* syn); | 
|---|
| 366 |  | 
|---|
| 367 | switch (c) | 
|---|
| 368 | { | 
|---|
| 369 | /* Escape any regex metacharacters in the syntax.  */ | 
|---|
| 370 | case '.': case '[': case '\\': | 
|---|
| 371 | case '*': case '^': case '$': | 
|---|
| 372 |  | 
|---|
| 373 | #ifdef CGEN_ESCAPE_EXTENDED_REGEX | 
|---|
| 374 | case '?': case '{': case '}': | 
|---|
| 375 | case '(': case ')': case '*': | 
|---|
| 376 | case '|': case '+': case ']': | 
|---|
| 377 | #endif | 
|---|
| 378 | *rx++ = '\\'; | 
|---|
| 379 | *rx++ = c; | 
|---|
| 380 | break; | 
|---|
| 381 |  | 
|---|
| 382 | default: | 
|---|
| 383 | if (ISALPHA (c)) | 
|---|
| 384 | { | 
|---|
| 385 | *rx++ = '['; | 
|---|
| 386 | *rx++ = TOLOWER (c); | 
|---|
| 387 | *rx++ = TOUPPER (c); | 
|---|
| 388 | *rx++ = ']'; | 
|---|
| 389 | } | 
|---|
| 390 | else | 
|---|
| 391 | *rx++ = c; | 
|---|
| 392 | break; | 
|---|
| 393 | } | 
|---|
| 394 | } | 
|---|
| 395 | else | 
|---|
| 396 | { | 
|---|
| 397 | /* Replace non-syntax fields with globs.  */ | 
|---|
| 398 | *rx++ = '.'; | 
|---|
| 399 | *rx++ = '*'; | 
|---|
| 400 | } | 
|---|
| 401 | } | 
|---|
| 402 |  | 
|---|
| 403 | /* Trailing whitespace ok.  */ | 
|---|
| 404 | * rx++ = '['; | 
|---|
| 405 | * rx++ = ' '; | 
|---|
| 406 | * rx++ = '\t'; | 
|---|
| 407 | * rx++ = ']'; | 
|---|
| 408 | * rx++ = '*'; | 
|---|
| 409 |  | 
|---|
| 410 | /* But anchor it after that.  */ | 
|---|
| 411 | * rx++ = '$'; | 
|---|
| 412 | * rx = '\0'; | 
|---|
| 413 |  | 
|---|
| 414 | CGEN_INSN_RX (insn) = xmalloc (sizeof (regex_t)); | 
|---|
| 415 | reg_err = regcomp ((regex_t *) CGEN_INSN_RX (insn), rxbuf, REG_NOSUB); | 
|---|
| 416 |  | 
|---|
| 417 | if (reg_err == 0) | 
|---|
| 418 | return NULL; | 
|---|
| 419 | else | 
|---|
| 420 | { | 
|---|
| 421 | static char msg[80]; | 
|---|
| 422 |  | 
|---|
| 423 | regerror (reg_err, (regex_t *) CGEN_INSN_RX (insn), msg, 80); | 
|---|
| 424 | regfree ((regex_t *) CGEN_INSN_RX (insn)); | 
|---|
| 425 | free (CGEN_INSN_RX (insn)); | 
|---|
| 426 | (CGEN_INSN_RX (insn)) = NULL; | 
|---|
| 427 | return msg; | 
|---|
| 428 | } | 
|---|
| 429 | } | 
|---|
| 430 |  | 
|---|
| 431 |  | 
|---|
| 432 |  | 
|---|
| 433 | /* Default insn parser. | 
|---|
| 434 |  | 
|---|
| 435 | The syntax string is scanned and operands are parsed and stored in FIELDS. | 
|---|
| 436 | Relocs are queued as we go via other callbacks. | 
|---|
| 437 |  | 
|---|
| 438 | ??? Note that this is currently an all-or-nothing parser.  If we fail to | 
|---|
| 439 | parse the instruction, we return 0 and the caller will start over from | 
|---|
| 440 | the beginning.  Backtracking will be necessary in parsing subexpressions, | 
|---|
| 441 | but that can be handled there.  Not handling backtracking here may get | 
|---|
| 442 | expensive in the case of the m68k.  Deal with later. | 
|---|
| 443 |  | 
|---|
| 444 | Returns NULL for success, an error message for failure.  */ | 
|---|
| 445 |  | 
|---|
| 446 | static const char * | 
|---|
| 447 | parse_insn_normal (cd, insn, strp, fields) | 
|---|
| 448 | CGEN_CPU_DESC cd; | 
|---|
| 449 | const CGEN_INSN *insn; | 
|---|
| 450 | const char **strp; | 
|---|
| 451 | CGEN_FIELDS *fields; | 
|---|
| 452 | { | 
|---|
| 453 | /* ??? Runtime added insns not handled yet.  */ | 
|---|
| 454 | const CGEN_SYNTAX *syntax = CGEN_INSN_SYNTAX (insn); | 
|---|
| 455 | const char *str = *strp; | 
|---|
| 456 | const char *errmsg; | 
|---|
| 457 | const char *p; | 
|---|
| 458 | const CGEN_SYNTAX_CHAR_TYPE * syn; | 
|---|
| 459 | #ifdef CGEN_MNEMONIC_OPERANDS | 
|---|
| 460 | /* FIXME: wip */ | 
|---|
| 461 | int past_opcode_p; | 
|---|
| 462 | #endif | 
|---|
| 463 |  | 
|---|
| 464 | /* For now we assume the mnemonic is first (there are no leading operands). | 
|---|
| 465 | We can parse it without needing to set up operand parsing. | 
|---|
| 466 | GAS's input scrubber will ensure mnemonics are lowercase, but we may | 
|---|
| 467 | not be called from GAS.  */ | 
|---|
| 468 | p = CGEN_INSN_MNEMONIC (insn); | 
|---|
| 469 | while (*p && TOLOWER (*p) == TOLOWER (*str)) | 
|---|
| 470 | ++p, ++str; | 
|---|
| 471 |  | 
|---|
| 472 | if (* p) | 
|---|
| 473 | return _("unrecognized instruction"); | 
|---|
| 474 |  | 
|---|
| 475 | #ifndef CGEN_MNEMONIC_OPERANDS | 
|---|
| 476 | if (* str && ! ISSPACE (* str)) | 
|---|
| 477 | return _("unrecognized instruction"); | 
|---|
| 478 | #endif | 
|---|
| 479 |  | 
|---|
| 480 | CGEN_INIT_PARSE (cd); | 
|---|
| 481 | cgen_init_parse_operand (cd); | 
|---|
| 482 | #ifdef CGEN_MNEMONIC_OPERANDS | 
|---|
| 483 | past_opcode_p = 0; | 
|---|
| 484 | #endif | 
|---|
| 485 |  | 
|---|
| 486 | /* We don't check for (*str != '\0') here because we want to parse | 
|---|
| 487 | any trailing fake arguments in the syntax string.  */ | 
|---|
| 488 | syn = CGEN_SYNTAX_STRING (syntax); | 
|---|
| 489 |  | 
|---|
| 490 | /* Mnemonics come first for now, ensure valid string.  */ | 
|---|
| 491 | if (! CGEN_SYNTAX_MNEMONIC_P (* syn)) | 
|---|
| 492 | abort (); | 
|---|
| 493 |  | 
|---|
| 494 | ++syn; | 
|---|
| 495 |  | 
|---|
| 496 | while (* syn != 0) | 
|---|
| 497 | { | 
|---|
| 498 | /* Non operand chars must match exactly.  */ | 
|---|
| 499 | if (CGEN_SYNTAX_CHAR_P (* syn)) | 
|---|
| 500 | { | 
|---|
| 501 | /* FIXME: While we allow for non-GAS callers above, we assume the | 
|---|
| 502 | first char after the mnemonic part is a space.  */ | 
|---|
| 503 | /* FIXME: We also take inappropriate advantage of the fact that | 
|---|
| 504 | GAS's input scrubber will remove extraneous blanks.  */ | 
|---|
| 505 | if (TOLOWER (*str) == TOLOWER (CGEN_SYNTAX_CHAR (* syn))) | 
|---|
| 506 | { | 
|---|
| 507 | #ifdef CGEN_MNEMONIC_OPERANDS | 
|---|
| 508 | if (CGEN_SYNTAX_CHAR(* syn) == ' ') | 
|---|
| 509 | past_opcode_p = 1; | 
|---|
| 510 | #endif | 
|---|
| 511 | ++ syn; | 
|---|
| 512 | ++ str; | 
|---|
| 513 | } | 
|---|
| 514 | else if (*str) | 
|---|
| 515 | { | 
|---|
| 516 | /* Syntax char didn't match.  Can't be this insn.  */ | 
|---|
| 517 | static char msg [80]; | 
|---|
| 518 |  | 
|---|
| 519 | /* xgettext:c-format */ | 
|---|
| 520 | sprintf (msg, _("syntax error (expected char `%c', found `%c')"), | 
|---|
| 521 | CGEN_SYNTAX_CHAR(*syn), *str); | 
|---|
| 522 | return msg; | 
|---|
| 523 | } | 
|---|
| 524 | else | 
|---|
| 525 | { | 
|---|
| 526 | /* Ran out of input.  */ | 
|---|
| 527 | static char msg [80]; | 
|---|
| 528 |  | 
|---|
| 529 | /* xgettext:c-format */ | 
|---|
| 530 | sprintf (msg, _("syntax error (expected char `%c', found end of instruction)"), | 
|---|
| 531 | CGEN_SYNTAX_CHAR(*syn)); | 
|---|
| 532 | return msg; | 
|---|
| 533 | } | 
|---|
| 534 | continue; | 
|---|
| 535 | } | 
|---|
| 536 |  | 
|---|
| 537 | /* We have an operand of some sort.  */ | 
|---|
| 538 | errmsg = cd->parse_operand (cd, CGEN_SYNTAX_FIELD (*syn), | 
|---|
| 539 | &str, fields); | 
|---|
| 540 | if (errmsg) | 
|---|
| 541 | return errmsg; | 
|---|
| 542 |  | 
|---|
| 543 | /* Done with this operand, continue with next one.  */ | 
|---|
| 544 | ++ syn; | 
|---|
| 545 | } | 
|---|
| 546 |  | 
|---|
| 547 | /* If we're at the end of the syntax string, we're done.  */ | 
|---|
| 548 | if (* syn == 0) | 
|---|
| 549 | { | 
|---|
| 550 | /* FIXME: For the moment we assume a valid `str' can only contain | 
|---|
| 551 | blanks now.  IE: We needn't try again with a longer version of | 
|---|
| 552 | the insn and it is assumed that longer versions of insns appear | 
|---|
| 553 | before shorter ones (eg: lsr r2,r3,1 vs lsr r2,r3).  */ | 
|---|
| 554 | while (ISSPACE (* str)) | 
|---|
| 555 | ++ str; | 
|---|
| 556 |  | 
|---|
| 557 | if (* str != '\0') | 
|---|
| 558 | return _("junk at end of line"); /* FIXME: would like to include `str' */ | 
|---|
| 559 |  | 
|---|
| 560 | return NULL; | 
|---|
| 561 | } | 
|---|
| 562 |  | 
|---|
| 563 | /* We couldn't parse it.  */ | 
|---|
| 564 | return _("unrecognized instruction"); | 
|---|
| 565 | } | 
|---|
| 566 |  | 
|---|
| 567 |  | 
|---|
| 568 | /* Main entry point. | 
|---|
| 569 | This routine is called for each instruction to be assembled. | 
|---|
| 570 | STR points to the insn to be assembled. | 
|---|
| 571 | We assume all necessary tables have been initialized. | 
|---|
| 572 | The assembled instruction, less any fixups, is stored in BUF. | 
|---|
| 573 | Remember that if CGEN_INT_INSN_P then BUF is an int and thus the value | 
|---|
| 574 | still needs to be converted to target byte order, otherwise BUF is an array | 
|---|
| 575 | of bytes in target byte order. | 
|---|
| 576 | The result is a pointer to the insn's entry in the opcode table, | 
|---|
| 577 | or NULL if an error occured (an error message will have already been | 
|---|
| 578 | printed). | 
|---|
| 579 |  | 
|---|
| 580 | Note that when processing (non-alias) macro-insns, | 
|---|
| 581 | this function recurses. | 
|---|
| 582 |  | 
|---|
| 583 | ??? It's possible to make this cpu-independent. | 
|---|
| 584 | One would have to deal with a few minor things. | 
|---|
| 585 | At this point in time doing so would be more of a curiosity than useful | 
|---|
| 586 | [for example this file isn't _that_ big], but keeping the possibility in | 
|---|
| 587 | mind helps keep the design clean.  */ | 
|---|
| 588 |  | 
|---|
| 589 | const CGEN_INSN * | 
|---|
| 590 | xstormy16_cgen_assemble_insn (cd, str, fields, buf, errmsg) | 
|---|
| 591 | CGEN_CPU_DESC cd; | 
|---|
| 592 | const char *str; | 
|---|
| 593 | CGEN_FIELDS *fields; | 
|---|
| 594 | CGEN_INSN_BYTES_PTR buf; | 
|---|
| 595 | char **errmsg; | 
|---|
| 596 | { | 
|---|
| 597 | const char *start; | 
|---|
| 598 | CGEN_INSN_LIST *ilist; | 
|---|
| 599 | const char *parse_errmsg = NULL; | 
|---|
| 600 | const char *insert_errmsg = NULL; | 
|---|
| 601 | int recognized_mnemonic = 0; | 
|---|
| 602 |  | 
|---|
| 603 | /* Skip leading white space.  */ | 
|---|
| 604 | while (ISSPACE (* str)) | 
|---|
| 605 | ++ str; | 
|---|
| 606 |  | 
|---|
| 607 | /* The instructions are stored in hashed lists. | 
|---|
| 608 | Get the first in the list.  */ | 
|---|
| 609 | ilist = CGEN_ASM_LOOKUP_INSN (cd, str); | 
|---|
| 610 |  | 
|---|
| 611 | /* Keep looking until we find a match.  */ | 
|---|
| 612 | start = str; | 
|---|
| 613 | for ( ; ilist != NULL ; ilist = CGEN_ASM_NEXT_INSN (ilist)) | 
|---|
| 614 | { | 
|---|
| 615 | const CGEN_INSN *insn = ilist->insn; | 
|---|
| 616 | recognized_mnemonic = 1; | 
|---|
| 617 |  | 
|---|
| 618 | #ifdef CGEN_VALIDATE_INSN_SUPPORTED | 
|---|
| 619 | /* Not usually needed as unsupported opcodes | 
|---|
| 620 | shouldn't be in the hash lists.  */ | 
|---|
| 621 | /* Is this insn supported by the selected cpu?  */ | 
|---|
| 622 | if (! xstormy16_cgen_insn_supported (cd, insn)) | 
|---|
| 623 | continue; | 
|---|
| 624 | #endif | 
|---|
| 625 | /* If the RELAX attribute is set, this is an insn that shouldn't be | 
|---|
| 626 | chosen immediately.  Instead, it is used during assembler/linker | 
|---|
| 627 | relaxation if possible.  */ | 
|---|
| 628 | if (CGEN_INSN_ATTR_VALUE (insn, CGEN_INSN_RELAX) != 0) | 
|---|
| 629 | continue; | 
|---|
| 630 |  | 
|---|
| 631 | str = start; | 
|---|
| 632 |  | 
|---|
| 633 | /* Skip this insn if str doesn't look right lexically.  */ | 
|---|
| 634 | if (CGEN_INSN_RX (insn) != NULL && | 
|---|
| 635 | regexec ((regex_t *) CGEN_INSN_RX (insn), str, 0, NULL, 0) == REG_NOMATCH) | 
|---|
| 636 | continue; | 
|---|
| 637 |  | 
|---|
| 638 | /* Allow parse/insert handlers to obtain length of insn.  */ | 
|---|
| 639 | CGEN_FIELDS_BITSIZE (fields) = CGEN_INSN_BITSIZE (insn); | 
|---|
| 640 |  | 
|---|
| 641 | parse_errmsg = CGEN_PARSE_FN (cd, insn) (cd, insn, & str, fields); | 
|---|
| 642 | if (parse_errmsg != NULL) | 
|---|
| 643 | continue; | 
|---|
| 644 |  | 
|---|
| 645 | /* ??? 0 is passed for `pc'.  */ | 
|---|
| 646 | insert_errmsg = CGEN_INSERT_FN (cd, insn) (cd, insn, fields, buf, | 
|---|
| 647 | (bfd_vma) 0); | 
|---|
| 648 | if (insert_errmsg != NULL) | 
|---|
| 649 | continue; | 
|---|
| 650 |  | 
|---|
| 651 | /* It is up to the caller to actually output the insn and any | 
|---|
| 652 | queued relocs.  */ | 
|---|
| 653 | return insn; | 
|---|
| 654 | } | 
|---|
| 655 |  | 
|---|
| 656 | { | 
|---|
| 657 | static char errbuf[150]; | 
|---|
| 658 | #ifdef CGEN_VERBOSE_ASSEMBLER_ERRORS | 
|---|
| 659 | const char *tmp_errmsg; | 
|---|
| 660 |  | 
|---|
| 661 | /* If requesting verbose error messages, use insert_errmsg. | 
|---|
| 662 | Failing that, use parse_errmsg.  */ | 
|---|
| 663 | tmp_errmsg = (insert_errmsg ? insert_errmsg : | 
|---|
| 664 | parse_errmsg ? parse_errmsg : | 
|---|
| 665 | recognized_mnemonic ? | 
|---|
| 666 | _("unrecognized form of instruction") : | 
|---|
| 667 | _("unrecognized instruction")); | 
|---|
| 668 |  | 
|---|
| 669 | if (strlen (start) > 50) | 
|---|
| 670 | /* xgettext:c-format */ | 
|---|
| 671 | sprintf (errbuf, "%s `%.50s...'", tmp_errmsg, start); | 
|---|
| 672 | else | 
|---|
| 673 | /* xgettext:c-format */ | 
|---|
| 674 | sprintf (errbuf, "%s `%.50s'", tmp_errmsg, start); | 
|---|
| 675 | #else | 
|---|
| 676 | if (strlen (start) > 50) | 
|---|
| 677 | /* xgettext:c-format */ | 
|---|
| 678 | sprintf (errbuf, _("bad instruction `%.50s...'"), start); | 
|---|
| 679 | else | 
|---|
| 680 | /* xgettext:c-format */ | 
|---|
| 681 | sprintf (errbuf, _("bad instruction `%.50s'"), start); | 
|---|
| 682 | #endif | 
|---|
| 683 |  | 
|---|
| 684 | *errmsg = errbuf; | 
|---|
| 685 | return NULL; | 
|---|
| 686 | } | 
|---|
| 687 | } | 
|---|
| 688 |  | 
|---|
| 689 |  | 
|---|
| 690 | #if 0 /* This calls back to GAS which we can't do without care.  */ | 
|---|
| 691 |  | 
|---|
| 692 | /* Record each member of OPVALS in the assembler's symbol table. | 
|---|
| 693 | This lets GAS parse registers for us. | 
|---|
| 694 | ??? Interesting idea but not currently used.  */ | 
|---|
| 695 |  | 
|---|
| 696 | /* Record each member of OPVALS in the assembler's symbol table. | 
|---|
| 697 | FIXME: Not currently used.  */ | 
|---|
| 698 |  | 
|---|
| 699 | void | 
|---|
| 700 | xstormy16_cgen_asm_hash_keywords (cd, opvals) | 
|---|
| 701 | CGEN_CPU_DESC cd; | 
|---|
| 702 | CGEN_KEYWORD *opvals; | 
|---|
| 703 | { | 
|---|
| 704 | CGEN_KEYWORD_SEARCH search = cgen_keyword_search_init (opvals, NULL); | 
|---|
| 705 | const CGEN_KEYWORD_ENTRY * ke; | 
|---|
| 706 |  | 
|---|
| 707 | while ((ke = cgen_keyword_search_next (& search)) != NULL) | 
|---|
| 708 | { | 
|---|
| 709 | #if 0 /* Unnecessary, should be done in the search routine.  */ | 
|---|
| 710 | if (! xstormy16_cgen_opval_supported (ke)) | 
|---|
| 711 | continue; | 
|---|
| 712 | #endif | 
|---|
| 713 | cgen_asm_record_register (cd, ke->name, ke->value); | 
|---|
| 714 | } | 
|---|
| 715 | } | 
|---|
| 716 |  | 
|---|
| 717 | #endif /* 0 */ | 
|---|