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 (C) 1996-2017 Free Software Foundation, Inc. 8 9 This file is part of libopcodes. 10 11 This library 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 3, or (at your option) 14 any later version. 15 16 It is distributed in the hope that it will be useful, but WITHOUT 17 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 18 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public 19 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 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */ 24 25 26/* ??? Eventually more and more of this stuff can go to cpu-independent files. 27 Keep that in mind. */ 28 29#include "sysdep.h" 30#include <stdio.h> 31#include "ansidecl.h" 32#include "bfd.h" 33#include "symcat.h" 34#include "iq2000-desc.h" 35#include "iq2000-opc.h" 36#include "opintl.h" 37#include "xregex.h" 38#include "libiberty.h" 39#include "safe-ctype.h" 40 41#undef min 42#define min(a,b) ((a) < (b) ? (a) : (b)) 43#undef max 44#define max(a,b) ((a) > (b) ? (a) : (b)) 45 46static const char * parse_insn_normal 47 (CGEN_CPU_DESC, const CGEN_INSN *, const char **, CGEN_FIELDS *); 48 49/* -- assembler routines inserted here. */ 50 51/* -- asm.c */ 52 53#include "safe-ctype.h" 54 55static const char * MISSING_CLOSING_PARENTHESIS = N_("missing `)'"); 56 57/* Special check to ensure that instruction exists for given machine. */ 58 59int 60iq2000_cgen_insn_supported (CGEN_CPU_DESC cd, const CGEN_INSN *insn) 61{ 62 int machs = cd->machs; 63 64 return (CGEN_INSN_ATTR_VALUE (insn, CGEN_INSN_MACH) & machs) != 0; 65} 66 67static int 68iq2000_cgen_isa_register (const char **strp) 69{ 70 int len; 71 int ch1, ch2; 72 73 if (**strp == 'r' || **strp == 'R') 74 { 75 len = strlen (*strp); 76 if (len == 2) 77 { 78 ch1 = (*strp)[1]; 79 if ('0' <= ch1 && ch1 <= '9') 80 return 1; 81 } 82 else if (len == 3) 83 { 84 ch1 = (*strp)[1]; 85 ch2 = (*strp)[2]; 86 if (('1' <= ch1 && ch1 <= '2') && ('0' <= ch2 && ch2 <= '9')) 87 return 1; 88 if ('3' == ch1 && (ch2 == '0' || ch2 == '1')) 89 return 1; 90 } 91 } 92 if (**strp == '%' 93 && TOLOWER ((*strp)[1]) != 'l' 94 && TOLOWER ((*strp)[1]) != 'h') 95 return 1; 96 return 0; 97} 98 99/* Handle negated literal. */ 100 101static const char * 102parse_mimm (CGEN_CPU_DESC cd, 103 const char **strp, 104 int opindex, 105 unsigned long *valuep) 106{ 107 const char *errmsg; 108 109 /* Verify this isn't a register. */ 110 if (iq2000_cgen_isa_register (strp)) 111 errmsg = _("immediate value cannot be register"); 112 else 113 { 114 long value; 115 116 errmsg = cgen_parse_signed_integer (cd, strp, opindex, & value); 117 if (errmsg == NULL) 118 { 119 long x = (-value) & 0xFFFF0000; 120 121 if (x != 0 && x != (long) 0xFFFF0000) 122 errmsg = _("immediate value out of range"); 123 else 124 *valuep = (-value & 0xFFFF); 125 } 126 } 127 return errmsg; 128} 129 130/* Handle signed/unsigned literal. */ 131 132static const char * 133parse_imm (CGEN_CPU_DESC cd, 134 const char **strp, 135 int opindex, 136 unsigned long *valuep) 137{ 138 const char *errmsg; 139 140 if (iq2000_cgen_isa_register (strp)) 141 errmsg = _("immediate value cannot be register"); 142 else 143 { 144 long value; 145 146 errmsg = cgen_parse_signed_integer (cd, strp, opindex, & value); 147 if (errmsg == NULL) 148 { 149 long x = value & 0xFFFF0000; 150 151 if (x != 0 && x != (long) 0xFFFF0000) 152 errmsg = _("immediate value out of range"); 153 else 154 *valuep = (value & 0xFFFF); 155 } 156 } 157 return errmsg; 158} 159 160/* Handle iq10 21-bit jmp offset. */ 161 162static const char * 163parse_jtargq10 (CGEN_CPU_DESC cd, 164 const char **strp, 165 int opindex, 166 int reloc ATTRIBUTE_UNUSED, 167 enum cgen_parse_operand_result *type_addr ATTRIBUTE_UNUSED, 168 bfd_vma *valuep) 169{ 170 const char *errmsg; 171 bfd_vma value; 172 enum cgen_parse_operand_result result_type = CGEN_PARSE_OPERAND_RESULT_NUMBER; 173 174 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_IQ2000_OFFSET_21, 175 & result_type, & value); 176 if (errmsg == NULL && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER) 177 { 178 /* Check value is within 23-bits 179 (remembering that 2-bit shift right will occur). */ 180 if (value > 0x7fffff) 181 return _("21-bit offset out of range"); 182 } 183 *valuep = (value & 0x7FFFFF); 184 return errmsg; 185} 186 187/* Handle high(). */ 188 189static const char * 190parse_hi16 (CGEN_CPU_DESC cd, 191 const char **strp, 192 int opindex, 193 unsigned long *valuep) 194{ 195 if (strncasecmp (*strp, "%hi(", 4) == 0) 196 { 197 enum cgen_parse_operand_result result_type; 198 bfd_vma value; 199 const char *errmsg; 200 201 *strp += 4; 202 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_HI16, 203 & result_type, & value); 204 if (**strp != ')') 205 return MISSING_CLOSING_PARENTHESIS; 206 207 ++*strp; 208 if (errmsg == NULL 209 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER) 210 { 211 /* If value has top-bit of %lo on, then it will 212 sign-propagate and so we compensate by adding 213 1 to the resultant %hi value. */ 214 if (value & 0x8000) 215 value += 0x10000; 216 value >>= 16; 217 value &= 0xffff; 218 } 219 *valuep = value; 220 221 return errmsg; 222 } 223 224 /* We add %uhi in case a user just wants the high 16-bits or is using 225 an insn like ori for %lo which does not sign-propagate. */ 226 if (strncasecmp (*strp, "%uhi(", 5) == 0) 227 { 228 enum cgen_parse_operand_result result_type; 229 bfd_vma value; 230 const char *errmsg; 231 232 *strp += 5; 233 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_IQ2000_UHI16, 234 & result_type, & value); 235 if (**strp != ')') 236 return MISSING_CLOSING_PARENTHESIS; 237 238 ++*strp; 239 if (errmsg == NULL 240 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER) 241 value >>= 16; 242 243 value &= 0xffff; 244 *valuep = value; 245 246 return errmsg; 247 } 248 249 return parse_imm (cd, strp, opindex, valuep); 250} 251 252/* Handle %lo in a signed context. 253 The signedness of the value doesn't matter to %lo(), but this also 254 handles the case where %lo() isn't present. */ 255 256static const char * 257parse_lo16 (CGEN_CPU_DESC cd, 258 const char **strp, 259 int opindex, 260 unsigned long *valuep) 261{ 262 if (strncasecmp (*strp, "%lo(", 4) == 0) 263 { 264 const char *errmsg; 265 enum cgen_parse_operand_result result_type; 266 bfd_vma value; 267 268 *strp += 4; 269 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_LO16, 270 & result_type, & value); 271 if (**strp != ')') 272 return MISSING_CLOSING_PARENTHESIS; 273 ++*strp; 274 if (errmsg == NULL 275 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER) 276 value &= 0xffff; 277 *valuep = value; 278 return errmsg; 279 } 280 281 return parse_imm (cd, strp, opindex, valuep); 282} 283 284/* Handle %lo in a negated signed context. 285 The signedness of the value doesn't matter to %lo(), but this also 286 handles the case where %lo() isn't present. */ 287 288static const char * 289parse_mlo16 (CGEN_CPU_DESC cd, 290 const char **strp, 291 int opindex, 292 unsigned long *valuep) 293{ 294 if (strncasecmp (*strp, "%lo(", 4) == 0) 295 { 296 const char *errmsg; 297 enum cgen_parse_operand_result result_type; 298 bfd_vma value; 299 300 *strp += 4; 301 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_LO16, 302 & result_type, & value); 303 if (**strp != ')') 304 return MISSING_CLOSING_PARENTHESIS; 305 ++*strp; 306 if (errmsg == NULL 307 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER) 308 value = (-value) & 0xffff; 309 *valuep = value; 310 return errmsg; 311 } 312 313 return parse_mimm (cd, strp, opindex, valuep); 314} 315 316/* -- */ 317 318const char * iq2000_cgen_parse_operand 319 (CGEN_CPU_DESC, int, const char **, CGEN_FIELDS *); 320 321/* Main entry point for operand parsing. 322 323 This function is basically just a big switch statement. Earlier versions 324 used tables to look up the function to use, but 325 - if the table contains both assembler and disassembler functions then 326 the disassembler contains much of the assembler and vice-versa, 327 - there's a lot of inlining possibilities as things grow, 328 - using a switch statement avoids the function call overhead. 329 330 This function could be moved into `parse_insn_normal', but keeping it 331 separate makes clear the interface between `parse_insn_normal' and each of 332 the handlers. */ 333 334const char * 335iq2000_cgen_parse_operand (CGEN_CPU_DESC cd, 336 int opindex, 337 const char ** strp, 338 CGEN_FIELDS * fields) 339{ 340 const char * errmsg = NULL; 341 /* Used by scalar operands that still need to be parsed. */ 342 long junk ATTRIBUTE_UNUSED; 343 344 switch (opindex) 345 { 346 case IQ2000_OPERAND__INDEX : 347 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND__INDEX, (unsigned long *) (& fields->f_index)); 348 break; 349 case IQ2000_OPERAND_BASE : 350 errmsg = cgen_parse_keyword (cd, strp, & iq2000_cgen_opval_gr_names, & fields->f_rs); 351 break; 352 case IQ2000_OPERAND_BASEOFF : 353 { 354 bfd_vma value = 0; 355 errmsg = cgen_parse_address (cd, strp, IQ2000_OPERAND_BASEOFF, 0, NULL, & value); 356 fields->f_imm = value; 357 } 358 break; 359 case IQ2000_OPERAND_BITNUM : 360 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_BITNUM, (unsigned long *) (& fields->f_rt)); 361 break; 362 case IQ2000_OPERAND_BYTECOUNT : 363 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_BYTECOUNT, (unsigned long *) (& fields->f_bytecount)); 364 break; 365 case IQ2000_OPERAND_CAM_Y : 366 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_CAM_Y, (unsigned long *) (& fields->f_cam_y)); 367 break; 368 case IQ2000_OPERAND_CAM_Z : 369 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_CAM_Z, (unsigned long *) (& fields->f_cam_z)); 370 break; 371 case IQ2000_OPERAND_CM_3FUNC : 372 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_CM_3FUNC, (unsigned long *) (& fields->f_cm_3func)); 373 break; 374 case IQ2000_OPERAND_CM_3Z : 375 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_CM_3Z, (unsigned long *) (& fields->f_cm_3z)); 376 break; 377 case IQ2000_OPERAND_CM_4FUNC : 378 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_CM_4FUNC, (unsigned long *) (& fields->f_cm_4func)); 379 break; 380 case IQ2000_OPERAND_CM_4Z : 381 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_CM_4Z, (unsigned long *) (& fields->f_cm_4z)); 382 break; 383 case IQ2000_OPERAND_COUNT : 384 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_COUNT, (unsigned long *) (& fields->f_count)); 385 break; 386 case IQ2000_OPERAND_EXECODE : 387 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_EXECODE, (unsigned long *) (& fields->f_excode)); 388 break; 389 case IQ2000_OPERAND_HI16 : 390 errmsg = parse_hi16 (cd, strp, IQ2000_OPERAND_HI16, (unsigned long *) (& fields->f_imm)); 391 break; 392 case IQ2000_OPERAND_IMM : 393 errmsg = parse_imm (cd, strp, IQ2000_OPERAND_IMM, (unsigned long *) (& fields->f_imm)); 394 break; 395 case IQ2000_OPERAND_JMPTARG : 396 { 397 bfd_vma value = 0; 398 errmsg = cgen_parse_address (cd, strp, IQ2000_OPERAND_JMPTARG, 0, NULL, & value); 399 fields->f_jtarg = value; 400 } 401 break; 402 case IQ2000_OPERAND_JMPTARGQ10 : 403 { 404 bfd_vma value = 0; 405 errmsg = parse_jtargq10 (cd, strp, IQ2000_OPERAND_JMPTARGQ10, 0, NULL, & value); 406 fields->f_jtargq10 = value; 407 } 408 break; 409 case IQ2000_OPERAND_LO16 : 410 errmsg = parse_lo16 (cd, strp, IQ2000_OPERAND_LO16, (unsigned long *) (& fields->f_imm)); 411 break; 412 case IQ2000_OPERAND_MASK : 413 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_MASK, (unsigned long *) (& fields->f_mask)); 414 break; 415 case IQ2000_OPERAND_MASKL : 416 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_MASKL, (unsigned long *) (& fields->f_maskl)); 417 break; 418 case IQ2000_OPERAND_MASKQ10 : 419 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_MASKQ10, (unsigned long *) (& fields->f_maskq10)); 420 break; 421 case IQ2000_OPERAND_MASKR : 422 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_MASKR, (unsigned long *) (& fields->f_rs)); 423 break; 424 case IQ2000_OPERAND_MLO16 : 425 errmsg = parse_mlo16 (cd, strp, IQ2000_OPERAND_MLO16, (unsigned long *) (& fields->f_imm)); 426 break; 427 case IQ2000_OPERAND_OFFSET : 428 { 429 bfd_vma value = 0; 430 errmsg = cgen_parse_address (cd, strp, IQ2000_OPERAND_OFFSET, 0, NULL, & value); 431 fields->f_offset = value; 432 } 433 break; 434 case IQ2000_OPERAND_RD : 435 errmsg = cgen_parse_keyword (cd, strp, & iq2000_cgen_opval_gr_names, & fields->f_rd); 436 break; 437 case IQ2000_OPERAND_RD_RS : 438 errmsg = cgen_parse_keyword (cd, strp, & iq2000_cgen_opval_gr_names, & fields->f_rd_rs); 439 break; 440 case IQ2000_OPERAND_RD_RT : 441 errmsg = cgen_parse_keyword (cd, strp, & iq2000_cgen_opval_gr_names, & fields->f_rd_rt); 442 break; 443 case IQ2000_OPERAND_RS : 444 errmsg = cgen_parse_keyword (cd, strp, & iq2000_cgen_opval_gr_names, & fields->f_rs); 445 break; 446 case IQ2000_OPERAND_RT : 447 errmsg = cgen_parse_keyword (cd, strp, & iq2000_cgen_opval_gr_names, & fields->f_rt); 448 break; 449 case IQ2000_OPERAND_RT_RS : 450 errmsg = cgen_parse_keyword (cd, strp, & iq2000_cgen_opval_gr_names, & fields->f_rt_rs); 451 break; 452 case IQ2000_OPERAND_SHAMT : 453 errmsg = cgen_parse_unsigned_integer (cd, strp, IQ2000_OPERAND_SHAMT, (unsigned long *) (& fields->f_shamt)); 454 break; 455 456 default : 457 /* xgettext:c-format */ 458 fprintf (stderr, _("Unrecognized field %d while parsing.\n"), opindex); 459 abort (); 460 } 461 462 return errmsg; 463} 464 465cgen_parse_fn * const iq2000_cgen_parse_handlers[] = 466{ 467 parse_insn_normal, 468}; 469 470void 471iq2000_cgen_init_asm (CGEN_CPU_DESC cd) 472{ 473 iq2000_cgen_init_opcode_table (cd); 474 iq2000_cgen_init_ibld_table (cd); 475 cd->parse_handlers = & iq2000_cgen_parse_handlers[0]; 476 cd->parse_operand = iq2000_cgen_parse_operand; 477#ifdef CGEN_ASM_INIT_HOOK 478CGEN_ASM_INIT_HOOK 479#endif 480} 481 482 483 484/* Regex construction routine. 485 486 This translates an opcode syntax string into a regex string, 487 by replacing any non-character syntax element (such as an 488 opcode) with the pattern '.*' 489 490 It then compiles the regex and stores it in the opcode, for 491 later use by iq2000_cgen_assemble_insn 492 493 Returns NULL for success, an error message for failure. */ 494 495char * 496iq2000_cgen_build_insn_regex (CGEN_INSN *insn) 497{ 498 CGEN_OPCODE *opc = (CGEN_OPCODE *) CGEN_INSN_OPCODE (insn); 499 const char *mnem = CGEN_INSN_MNEMONIC (insn); 500 char rxbuf[CGEN_MAX_RX_ELEMENTS]; 501 char *rx = rxbuf; 502 const CGEN_SYNTAX_CHAR_TYPE *syn; 503 int reg_err; 504 505 syn = CGEN_SYNTAX_STRING (CGEN_OPCODE_SYNTAX (opc)); 506 507 /* Mnemonics come first in the syntax string. */ 508 if (! CGEN_SYNTAX_MNEMONIC_P (* syn)) 509 return _("missing mnemonic in syntax string"); 510 ++syn; 511 512 /* Generate a case sensitive regular expression that emulates case 513 insensitive matching in the "C" locale. We cannot generate a case 514 insensitive regular expression because in Turkish locales, 'i' and 'I' 515 are not equal modulo case conversion. */ 516 517 /* Copy the literal mnemonic out of the insn. */ 518 for (; *mnem; mnem++) 519 { 520 char c = *mnem; 521 522 if (ISALPHA (c)) 523 { 524 *rx++ = '['; 525 *rx++ = TOLOWER (c); 526 *rx++ = TOUPPER (c); 527 *rx++ = ']'; 528 } 529 else 530 *rx++ = c; 531 } 532 533 /* Copy any remaining literals from the syntax string into the rx. */ 534 for(; * syn != 0 && rx <= rxbuf + (CGEN_MAX_RX_ELEMENTS - 7 - 4); ++syn) 535 { 536 if (CGEN_SYNTAX_CHAR_P (* syn)) 537 { 538 char c = CGEN_SYNTAX_CHAR (* syn); 539 540 switch (c) 541 { 542 /* Escape any regex metacharacters in the syntax. */ 543 case '.': case '[': case '\\': 544 case '*': case '^': case '$': 545 546#ifdef CGEN_ESCAPE_EXTENDED_REGEX 547 case '?': case '{': case '}': 548 case '(': case ')': case '*': 549 case '|': case '+': case ']': 550#endif 551 *rx++ = '\\'; 552 *rx++ = c; 553 break; 554 555 default: 556 if (ISALPHA (c)) 557 { 558 *rx++ = '['; 559 *rx++ = TOLOWER (c); 560 *rx++ = TOUPPER (c); 561 *rx++ = ']'; 562 } 563 else 564 *rx++ = c; 565 break; 566 } 567 } 568 else 569 { 570 /* Replace non-syntax fields with globs. */ 571 *rx++ = '.'; 572 *rx++ = '*'; 573 } 574 } 575 576 /* Trailing whitespace ok. */ 577 * rx++ = '['; 578 * rx++ = ' '; 579 * rx++ = '\t'; 580 * rx++ = ']'; 581 * rx++ = '*'; 582 583 /* But anchor it after that. */ 584 * rx++ = '$'; 585 * rx = '\0'; 586 587 CGEN_INSN_RX (insn) = xmalloc (sizeof (regex_t)); 588 reg_err = regcomp ((regex_t *) CGEN_INSN_RX (insn), rxbuf, REG_NOSUB); 589 590 if (reg_err == 0) 591 return NULL; 592 else 593 { 594 static char msg[80]; 595 596 regerror (reg_err, (regex_t *) CGEN_INSN_RX (insn), msg, 80); 597 regfree ((regex_t *) CGEN_INSN_RX (insn)); 598 free (CGEN_INSN_RX (insn)); 599 (CGEN_INSN_RX (insn)) = NULL; 600 return msg; 601 } 602} 603 604 605/* Default insn parser. 606 607 The syntax string is scanned and operands are parsed and stored in FIELDS. 608 Relocs are queued as we go via other callbacks. 609 610 ??? Note that this is currently an all-or-nothing parser. If we fail to 611 parse the instruction, we return 0 and the caller will start over from 612 the beginning. Backtracking will be necessary in parsing subexpressions, 613 but that can be handled there. Not handling backtracking here may get 614 expensive in the case of the m68k. Deal with later. 615 616 Returns NULL for success, an error message for failure. */ 617 618static const char * 619parse_insn_normal (CGEN_CPU_DESC cd, 620 const CGEN_INSN *insn, 621 const char **strp, 622 CGEN_FIELDS *fields) 623{ 624 /* ??? Runtime added insns not handled yet. */ 625 const CGEN_SYNTAX *syntax = CGEN_INSN_SYNTAX (insn); 626 const char *str = *strp; 627 const char *errmsg; 628 const char *p; 629 const CGEN_SYNTAX_CHAR_TYPE * syn; 630#ifdef CGEN_MNEMONIC_OPERANDS 631 /* FIXME: wip */ 632 int past_opcode_p; 633#endif 634 635 /* For now we assume the mnemonic is first (there are no leading operands). 636 We can parse it without needing to set up operand parsing. 637 GAS's input scrubber will ensure mnemonics are lowercase, but we may 638 not be called from GAS. */ 639 p = CGEN_INSN_MNEMONIC (insn); 640 while (*p && TOLOWER (*p) == TOLOWER (*str)) 641 ++p, ++str; 642 643 if (* p) 644 return _("unrecognized instruction"); 645 646#ifndef CGEN_MNEMONIC_OPERANDS 647 if (* str && ! ISSPACE (* str)) 648 return _("unrecognized instruction"); 649#endif 650 651 CGEN_INIT_PARSE (cd); 652 cgen_init_parse_operand (cd); 653#ifdef CGEN_MNEMONIC_OPERANDS 654 past_opcode_p = 0; 655#endif 656 657 /* We don't check for (*str != '\0') here because we want to parse 658 any trailing fake arguments in the syntax string. */ 659 syn = CGEN_SYNTAX_STRING (syntax); 660 661 /* Mnemonics come first for now, ensure valid string. */ 662 if (! CGEN_SYNTAX_MNEMONIC_P (* syn)) 663 abort (); 664 665 ++syn; 666 667 while (* syn != 0) 668 { 669 /* Non operand chars must match exactly. */ 670 if (CGEN_SYNTAX_CHAR_P (* syn)) 671 { 672 /* FIXME: While we allow for non-GAS callers above, we assume the 673 first char after the mnemonic part is a space. */ 674 /* FIXME: We also take inappropriate advantage of the fact that 675 GAS's input scrubber will remove extraneous blanks. */ 676 if (TOLOWER (*str) == TOLOWER (CGEN_SYNTAX_CHAR (* syn))) 677 { 678#ifdef CGEN_MNEMONIC_OPERANDS 679 if (CGEN_SYNTAX_CHAR(* syn) == ' ') 680 past_opcode_p = 1; 681#endif 682 ++ syn; 683 ++ str; 684 } 685 else if (*str) 686 { 687 /* Syntax char didn't match. Can't be this insn. */ 688 static char msg [80]; 689 690 /* xgettext:c-format */ 691 sprintf (msg, _("syntax error (expected char `%c', found `%c')"), 692 CGEN_SYNTAX_CHAR(*syn), *str); 693 return msg; 694 } 695 else 696 { 697 /* Ran out of input. */ 698 static char msg [80]; 699 700 /* xgettext:c-format */ 701 sprintf (msg, _("syntax error (expected char `%c', found end of instruction)"), 702 CGEN_SYNTAX_CHAR(*syn)); 703 return msg; 704 } 705 continue; 706 } 707 708#ifdef CGEN_MNEMONIC_OPERANDS 709 (void) past_opcode_p; 710#endif 711 /* We have an operand of some sort. */ 712 errmsg = cd->parse_operand (cd, CGEN_SYNTAX_FIELD (*syn), &str, fields); 713 if (errmsg) 714 return errmsg; 715 716 /* Done with this operand, continue with next one. */ 717 ++ syn; 718 } 719 720 /* If we're at the end of the syntax string, we're done. */ 721 if (* syn == 0) 722 { 723 /* FIXME: For the moment we assume a valid `str' can only contain 724 blanks now. IE: We needn't try again with a longer version of 725 the insn and it is assumed that longer versions of insns appear 726 before shorter ones (eg: lsr r2,r3,1 vs lsr r2,r3). */ 727 while (ISSPACE (* str)) 728 ++ str; 729 730 if (* str != '\0') 731 return _("junk at end of line"); /* FIXME: would like to include `str' */ 732 733 return NULL; 734 } 735 736 /* We couldn't parse it. */ 737 return _("unrecognized instruction"); 738} 739 740/* Main entry point. 741 This routine is called for each instruction to be assembled. 742 STR points to the insn to be assembled. 743 We assume all necessary tables have been initialized. 744 The assembled instruction, less any fixups, is stored in BUF. 745 Remember that if CGEN_INT_INSN_P then BUF is an int and thus the value 746 still needs to be converted to target byte order, otherwise BUF is an array 747 of bytes in target byte order. 748 The result is a pointer to the insn's entry in the opcode table, 749 or NULL if an error occured (an error message will have already been 750 printed). 751 752 Note that when processing (non-alias) macro-insns, 753 this function recurses. 754 755 ??? It's possible to make this cpu-independent. 756 One would have to deal with a few minor things. 757 At this point in time doing so would be more of a curiosity than useful 758 [for example this file isn't _that_ big], but keeping the possibility in 759 mind helps keep the design clean. */ 760 761const CGEN_INSN * 762iq2000_cgen_assemble_insn (CGEN_CPU_DESC cd, 763 const char *str, 764 CGEN_FIELDS *fields, 765 CGEN_INSN_BYTES_PTR buf, 766 char **errmsg) 767{ 768 const char *start; 769 CGEN_INSN_LIST *ilist; 770 const char *parse_errmsg = NULL; 771 const char *insert_errmsg = NULL; 772 int recognized_mnemonic = 0; 773 774 /* Skip leading white space. */ 775 while (ISSPACE (* str)) 776 ++ str; 777 778 /* The instructions are stored in hashed lists. 779 Get the first in the list. */ 780 ilist = CGEN_ASM_LOOKUP_INSN (cd, str); 781 782 /* Keep looking until we find a match. */ 783 start = str; 784 for ( ; ilist != NULL ; ilist = CGEN_ASM_NEXT_INSN (ilist)) 785 { 786 const CGEN_INSN *insn = ilist->insn; 787 recognized_mnemonic = 1; 788 789#ifdef CGEN_VALIDATE_INSN_SUPPORTED 790 /* Not usually needed as unsupported opcodes 791 shouldn't be in the hash lists. */ 792 /* Is this insn supported by the selected cpu? */ 793 if (! iq2000_cgen_insn_supported (cd, insn)) 794 continue; 795#endif 796 /* If the RELAXED attribute is set, this is an insn that shouldn't be 797 chosen immediately. Instead, it is used during assembler/linker 798 relaxation if possible. */ 799 if (CGEN_INSN_ATTR_VALUE (insn, CGEN_INSN_RELAXED) != 0) 800 continue; 801 802 str = start; 803 804 /* Skip this insn if str doesn't look right lexically. */ 805 if (CGEN_INSN_RX (insn) != NULL && 806 regexec ((regex_t *) CGEN_INSN_RX (insn), str, 0, NULL, 0) == REG_NOMATCH) 807 continue; 808 809 /* Allow parse/insert handlers to obtain length of insn. */ 810 CGEN_FIELDS_BITSIZE (fields) = CGEN_INSN_BITSIZE (insn); 811 812 parse_errmsg = CGEN_PARSE_FN (cd, insn) (cd, insn, & str, fields); 813 if (parse_errmsg != NULL) 814 continue; 815 816 /* ??? 0 is passed for `pc'. */ 817 insert_errmsg = CGEN_INSERT_FN (cd, insn) (cd, insn, fields, buf, 818 (bfd_vma) 0); 819 if (insert_errmsg != NULL) 820 continue; 821 822 /* It is up to the caller to actually output the insn and any 823 queued relocs. */ 824 return insn; 825 } 826 827 { 828 static char errbuf[150]; 829 const char *tmp_errmsg; 830#ifdef CGEN_VERBOSE_ASSEMBLER_ERRORS 831#define be_verbose 1 832#else 833#define be_verbose 0 834#endif 835 836 if (be_verbose) 837 { 838 /* If requesting verbose error messages, use insert_errmsg. 839 Failing that, use parse_errmsg. */ 840 tmp_errmsg = (insert_errmsg ? insert_errmsg : 841 parse_errmsg ? parse_errmsg : 842 recognized_mnemonic ? 843 _("unrecognized form of instruction") : 844 _("unrecognized instruction")); 845 846 if (strlen (start) > 50) 847 /* xgettext:c-format */ 848 sprintf (errbuf, "%s `%.50s...'", tmp_errmsg, start); 849 else 850 /* xgettext:c-format */ 851 sprintf (errbuf, "%s `%.50s'", tmp_errmsg, start); 852 } 853 else 854 { 855 if (strlen (start) > 50) 856 /* xgettext:c-format */ 857 sprintf (errbuf, _("bad instruction `%.50s...'"), start); 858 else 859 /* xgettext:c-format */ 860 sprintf (errbuf, _("bad instruction `%.50s'"), start); 861 } 862 863 *errmsg = errbuf; 864 return NULL; 865 } 866} 867