1 /* tc-avr.c -- Assembler code for the ATMEL AVR 2 3 Copyright 1999, 2000, 2001, 2002 Free Software Foundation, Inc. 4 Contributed by Denis Chertykov <denisc@overta.ru> 5 6 This file is part of GAS, the GNU Assembler. 7 8 GAS is free software; you can redistribute it and/or modify 9 it under the terms of the GNU General Public License as published by 10 the Free Software Foundation; either version 2, or (at your option) 11 any later version. 12 13 GAS is distributed in the hope that it will be useful, 14 but WITHOUT ANY WARRANTY; without even the implied warranty of 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16 GNU General Public License for more details. 17 18 You should have received a copy of the GNU General Public License 19 along with GAS; see the file COPYING. If not, write to 20 the Free Software Foundation, 59 Temple Place - Suite 330, 21 Boston, MA 02111-1307, USA. */ 22 23 #include <stdio.h> 24 #include "as.h" 25 #include "safe-ctype.h" 26 #include "subsegs.h" 27 28 struct avr_opcodes_s 29 { 30 char *name; 31 char *constraints; 32 int insn_size; /* In words. */ 33 int isa; 34 unsigned int bin_opcode; 35 }; 36 37 #define AVR_INSN(NAME, CONSTR, OPCODE, SIZE, ISA, BIN) \ 38 {#NAME, CONSTR, SIZE, ISA, BIN}, 39 40 struct avr_opcodes_s avr_opcodes[] = 41 { 42 #include "opcode/avr.h" 43 {NULL, NULL, 0, 0, 0} 44 }; 45 46 const char comment_chars[] = ";"; 47 const char line_comment_chars[] = "#"; 48 const char line_separator_chars[] = "$"; 49 50 const char *md_shortopts = "m:"; 51 struct mcu_type_s 52 { 53 char *name; 54 int isa; 55 int mach; 56 }; 57 58 /* XXX - devices that don't seem to exist (renamed, replaced with larger 59 ones, or planned but never produced), left here for compatibility. 60 TODO: hide them in show_mcu_list output? */ 61 62 static struct mcu_type_s mcu_types[] = 63 { 64 {"avr1", AVR_ISA_TINY1, bfd_mach_avr1}, 65 {"avr2", AVR_ISA_2xxx, bfd_mach_avr2}, 66 {"avr3", AVR_ISA_M103, bfd_mach_avr3}, 67 {"avr4", AVR_ISA_M8, bfd_mach_avr4}, 68 {"avr5", AVR_ISA_ALL, bfd_mach_avr5}, 69 {"at90s1200", AVR_ISA_1200, bfd_mach_avr1}, 70 {"attiny10", AVR_ISA_TINY1, bfd_mach_avr1}, /* XXX -> tn11 */ 71 {"attiny11", AVR_ISA_TINY1, bfd_mach_avr1}, 72 {"attiny12", AVR_ISA_TINY1, bfd_mach_avr1}, 73 {"attiny15", AVR_ISA_TINY1, bfd_mach_avr1}, 74 {"attiny28", AVR_ISA_TINY1, bfd_mach_avr1}, 75 {"at90s2313", AVR_ISA_2xxx, bfd_mach_avr2}, 76 {"at90s2323", AVR_ISA_2xxx, bfd_mach_avr2}, 77 {"at90s2333", AVR_ISA_2xxx, bfd_mach_avr2}, /* XXX -> 4433 */ 78 {"at90s2343", AVR_ISA_2xxx, bfd_mach_avr2}, 79 {"attiny22", AVR_ISA_2xxx, bfd_mach_avr2}, /* XXX -> 2343 */ 80 {"attiny26", AVR_ISA_2xxx, bfd_mach_avr2}, 81 {"at90s4433", AVR_ISA_2xxx, bfd_mach_avr2}, 82 {"at90s4414", AVR_ISA_2xxx, bfd_mach_avr2}, /* XXX -> 8515 */ 83 {"at90s4434", AVR_ISA_2xxx, bfd_mach_avr2}, /* XXX -> 8535 */ 84 {"at90s8515", AVR_ISA_2xxx, bfd_mach_avr2}, 85 {"at90s8535", AVR_ISA_2xxx, bfd_mach_avr2}, 86 {"at90c8534", AVR_ISA_2xxx, bfd_mach_avr2}, 87 {"at86rf401", AVR_ISA_2xxx, bfd_mach_avr2}, 88 {"atmega603", AVR_ISA_M603, bfd_mach_avr3}, /* XXX -> m103 */ 89 {"atmega103", AVR_ISA_M103, bfd_mach_avr3}, 90 {"at43usb320",AVR_ISA_M103, bfd_mach_avr3}, 91 {"at43usb355",AVR_ISA_M603, bfd_mach_avr3}, 92 {"at76c711", AVR_ISA_M603, bfd_mach_avr3}, 93 {"atmega8", AVR_ISA_M8, bfd_mach_avr4}, 94 {"atmega83", AVR_ISA_M8, bfd_mach_avr4}, /* XXX -> m8535 */ 95 {"atmega85", AVR_ISA_M8, bfd_mach_avr4}, /* XXX -> m8 */ 96 {"atmega8515",AVR_ISA_M8, bfd_mach_avr4}, 97 {"atmega8535",AVR_ISA_M8, bfd_mach_avr4}, 98 {"atmega16", AVR_ISA_M323, bfd_mach_avr5}, 99 {"atmega161", AVR_ISA_M161, bfd_mach_avr5}, 100 {"atmega162", AVR_ISA_M323, bfd_mach_avr5}, 101 {"atmega163", AVR_ISA_M161, bfd_mach_avr5}, 102 {"atmega169", AVR_ISA_M323, bfd_mach_avr5}, 103 {"atmega32", AVR_ISA_M323, bfd_mach_avr5}, 104 {"atmega323", AVR_ISA_M323, bfd_mach_avr5}, 105 {"atmega64", AVR_ISA_M323, bfd_mach_avr5}, 106 {"atmega128", AVR_ISA_M128, bfd_mach_avr5}, 107 {"at94k", AVR_ISA_94K, bfd_mach_avr5}, 108 {NULL, 0, 0} 109 }; 110 111 /* Current MCU type. */ 112 static struct mcu_type_s default_mcu = {"avr2", AVR_ISA_2xxx,bfd_mach_avr2}; 113 static struct mcu_type_s *avr_mcu = &default_mcu; 114 115 /* AVR target-specific switches. */ 116 struct avr_opt_s 117 { 118 int all_opcodes; /* -mall-opcodes: accept all known AVR opcodes */ 119 int no_skip_bug; /* -mno-skip-bug: no warnings for skipping 2-word insns */ 120 int no_wrap; /* -mno-wrap: reject rjmp/rcall with 8K wrap-around */ 121 }; 122 123 static struct avr_opt_s avr_opt = { 0, 0, 0 }; 124 125 const char EXP_CHARS[] = "eE"; 126 const char FLT_CHARS[] = "dD"; 127 static void avr_set_arch (int dummy); 128 129 /* The target specific pseudo-ops which we support. */ 130 const pseudo_typeS md_pseudo_table[] = 131 { 132 {"arch", avr_set_arch, 0}, 133 { NULL, NULL, 0} 134 }; 135 136 #define LDI_IMMEDIATE(x) (((x) & 0xf) | (((x) << 4) & 0xf00)) 137 138 static void show_mcu_list PARAMS ((FILE *)); 139 static char *skip_space PARAMS ((char *)); 140 static char *extract_word PARAMS ((char *, char *, int)); 141 static unsigned int avr_operand PARAMS ((struct avr_opcodes_s *, 142 int, char *, char **)); 143 static unsigned int avr_operands PARAMS ((struct avr_opcodes_s *, char **)); 144 static unsigned int avr_get_constant PARAMS ((char *, int)); 145 static char *parse_exp PARAMS ((char *, expressionS *)); 146 static bfd_reloc_code_real_type avr_ldi_expression PARAMS ((expressionS *)); 147 148 #define EXP_MOD_NAME(i) exp_mod[i].name 149 #define EXP_MOD_RELOC(i) exp_mod[i].reloc 150 #define EXP_MOD_NEG_RELOC(i) exp_mod[i].neg_reloc 151 #define HAVE_PM_P(i) exp_mod[i].have_pm 152 153 struct exp_mod_s 154 { 155 char *name; 156 bfd_reloc_code_real_type reloc; 157 bfd_reloc_code_real_type neg_reloc; 158 int have_pm; 159 }; 160 161 static struct exp_mod_s exp_mod[] = 162 { 163 {"hh8", BFD_RELOC_AVR_HH8_LDI, BFD_RELOC_AVR_HH8_LDI_NEG, 1}, 164 {"pm_hh8", BFD_RELOC_AVR_HH8_LDI_PM, BFD_RELOC_AVR_HH8_LDI_PM_NEG, 0}, 165 {"hi8", BFD_RELOC_AVR_HI8_LDI, BFD_RELOC_AVR_HI8_LDI_NEG, 1}, 166 {"pm_hi8", BFD_RELOC_AVR_HI8_LDI_PM, BFD_RELOC_AVR_HI8_LDI_PM_NEG, 0}, 167 {"lo8", BFD_RELOC_AVR_LO8_LDI, BFD_RELOC_AVR_LO8_LDI_NEG, 1}, 168 {"pm_lo8", BFD_RELOC_AVR_LO8_LDI_PM, BFD_RELOC_AVR_LO8_LDI_PM_NEG, 0}, 169 {"hlo8", -BFD_RELOC_AVR_LO8_LDI, -BFD_RELOC_AVR_LO8_LDI_NEG, 0}, 170 {"hhi8", -BFD_RELOC_AVR_HI8_LDI, -BFD_RELOC_AVR_HI8_LDI_NEG, 0}, 171 }; 172 173 /* Opcode hash table. */ 174 static struct hash_control *avr_hash; 175 176 /* Reloc modifiers hash control (hh8,hi8,lo8,pm_xx). */ 177 static struct hash_control *avr_mod_hash; 178 179 #define OPTION_MMCU 'm' 180 #define OPTION_ALL_OPCODES (OPTION_MD_BASE + 1) 181 #define OPTION_NO_SKIP_BUG (OPTION_MD_BASE + 2) 182 #define OPTION_NO_WRAP (OPTION_MD_BASE + 3) 183 184 struct option md_longopts[] = 185 { 186 { "mmcu", required_argument, NULL, OPTION_MMCU }, 187 { "mall-opcodes", no_argument, NULL, OPTION_ALL_OPCODES }, 188 { "mno-skip-bug", no_argument, NULL, OPTION_NO_SKIP_BUG }, 189 { "mno-wrap", no_argument, NULL, OPTION_NO_WRAP }, 190 { NULL, no_argument, NULL, 0 } 191 }; 192 193 size_t md_longopts_size = sizeof (md_longopts); 194 195 /* Display nicely formatted list of known MCU names. */ 196 197 static void 198 show_mcu_list (stream) 199 FILE *stream; 200 { 201 int i, x; 202 203 fprintf (stream, _("Known MCU names:")); 204 x = 1000; 205 206 for (i = 0; mcu_types[i].name; i++) 207 { 208 int len = strlen (mcu_types[i].name); 209 210 x += len + 1; 211 212 if (x < 75) 213 fprintf (stream, " %s", mcu_types[i].name); 214 else 215 { 216 fprintf (stream, "\n %s", mcu_types[i].name); 217 x = len + 2; 218 } 219 } 220 221 fprintf (stream, "\n"); 222 } 223 224 static inline char * 225 skip_space (s) 226 char *s; 227 { 228 while (*s == ' ' || *s == '\t') 229 ++s; 230 return s; 231 } 232 233 /* Extract one word from FROM and copy it to TO. */ 234 235 static char * 236 extract_word (char *from, char *to, int limit) 237 { 238 char *op_start; 239 char *op_end; 240 int size = 0; 241 242 /* Drop leading whitespace. */ 243 from = skip_space (from); 244 *to = 0; 245 246 /* Find the op code end. */ 247 for (op_start = op_end = from; *op_end != 0 && is_part_of_name (*op_end);) 248 { 249 to[size++] = *op_end++; 250 if (size + 1 >= limit) 251 break; 252 } 253 254 to[size] = 0; 255 return op_end; 256 } 257 258 int 259 md_estimate_size_before_relax (fragp, seg) 260 fragS *fragp ATTRIBUTE_UNUSED; 261 asection *seg ATTRIBUTE_UNUSED; 262 { 263 abort (); 264 return 0; 265 } 266 267 void 268 md_show_usage (stream) 269 FILE *stream; 270 { 271 fprintf (stream, 272 _("AVR options:\n" 273 " -mmcu=[avr-name] select microcontroller variant\n" 274 " [avr-name] can be:\n" 275 " avr1 - AT90S1200, ATtiny1x, ATtiny28\n" 276 " avr2 - AT90S2xxx, AT90S4xxx, AT90S8xxx, ATtiny22\n" 277 " avr3 - ATmega103, ATmega603\n" 278 " avr4 - ATmega83, ATmega85\n" 279 " avr5 - ATmega161, ATmega163, ATmega32, AT94K\n" 280 " or immediate microcontroller name.\n")); 281 fprintf (stream, 282 _(" -mall-opcodes accept all AVR opcodes, even if not supported by MCU\n" 283 " -mno-skip-bug disable warnings for skipping two-word instructions\n" 284 " (default for avr4, avr5)\n" 285 " -mno-wrap reject rjmp/rcall instructions with 8K wrap-around\n" 286 " (default for avr3, avr5)\n")); 287 show_mcu_list (stream); 288 } 289 290 static void 291 avr_set_arch (dummy) 292 int dummy ATTRIBUTE_UNUSED; 293 { 294 char *str; 295 296 str = (char *) alloca (20); 297 input_line_pointer = extract_word (input_line_pointer, str, 20); 298 md_parse_option (OPTION_MMCU, str); 299 bfd_set_arch_mach (stdoutput, TARGET_ARCH, avr_mcu->mach); 300 } 301 302 int 303 md_parse_option (c, arg) 304 int c; 305 char *arg; 306 { 307 switch (c) 308 { 309 case OPTION_MMCU: 310 { 311 int i; 312 char *s = alloca (strlen (arg) + 1); 313 314 { 315 char *t = s; 316 char *arg1 = arg; 317 318 do 319 *t = TOLOWER (*arg1++); 320 while (*t++); 321 } 322 323 for (i = 0; mcu_types[i].name; ++i) 324 if (strcmp (mcu_types[i].name, s) == 0) 325 break; 326 327 if (!mcu_types[i].name) 328 { 329 show_mcu_list (stderr); 330 as_fatal (_("unknown MCU: %s\n"), arg); 331 } 332 333 /* It is OK to redefine mcu type within the same avr[1-5] bfd machine 334 type - this for allows passing -mmcu=... via gcc ASM_SPEC as well 335 as .arch ... in the asm output at the same time. */ 336 if (avr_mcu == &default_mcu || avr_mcu->mach == mcu_types[i].mach) 337 avr_mcu = &mcu_types[i]; 338 else 339 as_fatal (_("redefinition of mcu type `%s' to `%s'"), 340 avr_mcu->name, mcu_types[i].name); 341 return 1; 342 } 343 case OPTION_ALL_OPCODES: 344 avr_opt.all_opcodes = 1; 345 return 1; 346 case OPTION_NO_SKIP_BUG: 347 avr_opt.no_skip_bug = 1; 348 return 1; 349 case OPTION_NO_WRAP: 350 avr_opt.no_wrap = 1; 351 return 1; 352 } 353 354 return 0; 355 } 356 357 symbolS * 358 md_undefined_symbol (name) 359 char *name ATTRIBUTE_UNUSED; 360 { 361 return 0; 362 } 363 364 /* Turn a string in input_line_pointer into a floating point constant 365 of type TYPE, and store the appropriate bytes in *LITP. The number 366 of LITTLENUMS emitted is stored in *SIZEP. An error message is 367 returned, or NULL on OK. */ 368 369 char * 370 md_atof (type, litP, sizeP) 371 int type; 372 char *litP; 373 int *sizeP; 374 { 375 int prec; 376 LITTLENUM_TYPE words[4]; 377 LITTLENUM_TYPE *wordP; 378 char *t; 379 380 switch (type) 381 { 382 case 'f': 383 prec = 2; 384 break; 385 case 'd': 386 prec = 4; 387 break; 388 default: 389 *sizeP = 0; 390 return _("bad call to md_atof"); 391 } 392 393 t = atof_ieee (input_line_pointer, type, words); 394 if (t) 395 input_line_pointer = t; 396 397 *sizeP = prec * sizeof (LITTLENUM_TYPE); 398 399 /* This loop outputs the LITTLENUMs in REVERSE order. */ 400 for (wordP = words + prec - 1; prec--;) 401 { 402 md_number_to_chars (litP, (valueT) (*wordP--), sizeof (LITTLENUM_TYPE)); 403 litP += sizeof (LITTLENUM_TYPE); 404 } 405 406 return NULL; 407 } 408 409 void 410 md_convert_frag (abfd, sec, fragP) 411 bfd *abfd ATTRIBUTE_UNUSED; 412 asection *sec ATTRIBUTE_UNUSED; 413 fragS *fragP ATTRIBUTE_UNUSED; 414 { 415 abort (); 416 } 417 418 void 419 md_begin () 420 { 421 unsigned int i; 422 struct avr_opcodes_s *opcode; 423 avr_hash = hash_new (); 424 425 /* Insert unique names into hash table. This hash table then provides a 426 quick index to the first opcode with a particular name in the opcode 427 table. */ 428 for (opcode = avr_opcodes; opcode->name; opcode++) 429 hash_insert (avr_hash, opcode->name, (char *) opcode); 430 431 avr_mod_hash = hash_new (); 432 433 for (i = 0; i < sizeof (exp_mod) / sizeof (exp_mod[0]); ++i) 434 hash_insert (avr_mod_hash, EXP_MOD_NAME (i), (void *) (i + 10)); 435 436 bfd_set_arch_mach (stdoutput, TARGET_ARCH, avr_mcu->mach); 437 } 438 439 /* Resolve STR as a constant expression and return the result. 440 If result greater than MAX then error. */ 441 442 static unsigned int 443 avr_get_constant (str, max) 444 char *str; 445 int max; 446 { 447 expressionS ex; 448 str = skip_space (str); 449 input_line_pointer = str; 450 expression (&ex); 451 452 if (ex.X_op != O_constant) 453 as_bad (_("constant value required")); 454 455 if (ex.X_add_number > max || ex.X_add_number < 0) 456 as_bad (_("number must be less than %d"), max + 1); 457 458 return ex.X_add_number; 459 } 460 461 /* Parse instruction operands. 462 Return binary opcode. */ 463 464 static unsigned int 465 avr_operands (opcode, line) 466 struct avr_opcodes_s *opcode; 467 char **line; 468 { 469 char *op = opcode->constraints; 470 unsigned int bin = opcode->bin_opcode; 471 char *frag = frag_more (opcode->insn_size * 2); 472 char *str = *line; 473 int where = frag - frag_now->fr_literal; 474 static unsigned int prev = 0; /* Previous opcode. */ 475 476 /* Opcode have operands. */ 477 if (*op) 478 { 479 unsigned int reg1 = 0; 480 unsigned int reg2 = 0; 481 int reg1_present = 0; 482 int reg2_present = 0; 483 484 /* Parse first operand. */ 485 if (REGISTER_P (*op)) 486 reg1_present = 1; 487 reg1 = avr_operand (opcode, where, op, &str); 488 ++op; 489 490 /* Parse second operand. */ 491 if (*op) 492 { 493 if (*op == ',') 494 ++op; 495 496 if (*op == '=') 497 { 498 reg2 = reg1; 499 reg2_present = 1; 500 } 501 else 502 { 503 if (REGISTER_P (*op)) 504 reg2_present = 1; 505 506 str = skip_space (str); 507 if (*str++ != ',') 508 as_bad (_("`,' required")); 509 str = skip_space (str); 510 511 reg2 = avr_operand (opcode, where, op, &str); 512 513 } 514 515 if (reg1_present && reg2_present) 516 reg2 = (reg2 & 0xf) | ((reg2 << 5) & 0x200); 517 else if (reg2_present) 518 reg2 <<= 4; 519 } 520 if (reg1_present) 521 reg1 <<= 4; 522 bin |= reg1 | reg2; 523 } 524 525 /* Detect undefined combinations (like ld r31,Z+). */ 526 if (!avr_opt.all_opcodes && AVR_UNDEF_P (bin)) 527 as_warn (_("undefined combination of operands")); 528 529 if (opcode->insn_size == 2) 530 { 531 /* Warn if the previous opcode was cpse/sbic/sbis/sbrc/sbrs 532 (AVR core bug, fixed in the newer devices). */ 533 534 if (!(avr_opt.no_skip_bug || (avr_mcu->isa & AVR_ISA_MUL)) 535 && AVR_SKIP_P (prev)) 536 as_warn (_("skipping two-word instruction")); 537 538 bfd_putl32 ((bfd_vma) bin, frag); 539 } 540 else 541 bfd_putl16 ((bfd_vma) bin, frag); 542 543 prev = bin; 544 *line = str; 545 return bin; 546 } 547 548 /* Parse one instruction operand. 549 Return operand bitmask. Also fixups can be generated. */ 550 551 static unsigned int 552 avr_operand (opcode, where, op, line) 553 struct avr_opcodes_s *opcode; 554 int where; 555 char *op; 556 char **line; 557 { 558 expressionS op_expr; 559 unsigned int op_mask = 0; 560 char *str = skip_space (*line); 561 562 switch (*op) 563 { 564 /* Any register operand. */ 565 case 'w': 566 case 'd': 567 case 'r': 568 case 'a': 569 case 'v': 570 if (*str == 'r' || *str == 'R') 571 { 572 char r_name[20]; 573 574 str = extract_word (str, r_name, sizeof (r_name)); 575 op_mask = 0xff; 576 if (ISDIGIT (r_name[1])) 577 { 578 if (r_name[2] == '\0') 579 op_mask = r_name[1] - '0'; 580 else if (r_name[1] != '0' 581 && ISDIGIT (r_name[2]) 582 && r_name[3] == '\0') 583 op_mask = (r_name[1] - '0') * 10 + r_name[2] - '0'; 584 } 585 } 586 else 587 { 588 op_mask = avr_get_constant (str, 31); 589 str = input_line_pointer; 590 } 591 592 if (op_mask <= 31) 593 { 594 switch (*op) 595 { 596 case 'a': 597 if (op_mask < 16 || op_mask > 23) 598 as_bad (_("register r16-r23 required")); 599 op_mask -= 16; 600 break; 601 602 case 'd': 603 if (op_mask < 16) 604 as_bad (_("register number above 15 required")); 605 op_mask -= 16; 606 break; 607 608 case 'v': 609 if (op_mask & 1) 610 as_bad (_("even register number required")); 611 op_mask >>= 1; 612 break; 613 614 case 'w': 615 if ((op_mask & 1) || op_mask < 24) 616 as_bad (_("register r24, r26, r28 or r30 required")); 617 op_mask = (op_mask - 24) >> 1; 618 break; 619 } 620 break; 621 } 622 as_bad (_("register name or number from 0 to 31 required")); 623 break; 624 625 case 'e': 626 { 627 char c; 628 629 if (*str == '-') 630 { 631 str = skip_space (str + 1); 632 op_mask = 0x1002; 633 } 634 c = TOLOWER (*str); 635 if (c == 'x') 636 op_mask |= 0x100c; 637 else if (c == 'y') 638 op_mask |= 0x8; 639 else if (c != 'z') 640 as_bad (_("pointer register (X, Y or Z) required")); 641 642 str = skip_space (str + 1); 643 if (*str == '+') 644 { 645 ++str; 646 if (op_mask & 2) 647 as_bad (_("cannot both predecrement and postincrement")); 648 op_mask |= 0x1001; 649 } 650 651 /* avr1 can do "ld r,Z" and "st Z,r" but no other pointer 652 registers, no predecrement, no postincrement. */ 653 if (!avr_opt.all_opcodes && (op_mask & 0x100F) 654 && !(avr_mcu->isa & AVR_ISA_SRAM)) 655 as_bad (_("addressing mode not supported")); 656 } 657 break; 658 659 case 'z': 660 if (*str == '-') 661 as_bad (_("can't predecrement")); 662 663 if (! (*str == 'z' || *str == 'Z')) 664 as_bad (_("pointer register Z required")); 665 666 str = skip_space (str + 1); 667 668 if (*str == '+') 669 { 670 ++str; 671 op_mask |= 1; 672 } 673 break; 674 675 case 'b': 676 { 677 char c = TOLOWER (*str++); 678 679 if (c == 'y') 680 op_mask |= 0x8; 681 else if (c != 'z') 682 as_bad (_("pointer register (Y or Z) required")); 683 str = skip_space (str); 684 if (*str++ == '+') 685 { 686 unsigned int x; 687 x = avr_get_constant (str, 63); 688 str = input_line_pointer; 689 op_mask |= (x & 7) | ((x & (3 << 3)) << 7) | ((x & (1 << 5)) << 8); 690 } 691 } 692 break; 693 694 case 'h': 695 str = parse_exp (str, &op_expr); 696 fix_new_exp (frag_now, where, opcode->insn_size * 2, 697 &op_expr, FALSE, BFD_RELOC_AVR_CALL); 698 break; 699 700 case 'L': 701 str = parse_exp (str, &op_expr); 702 fix_new_exp (frag_now, where, opcode->insn_size * 2, 703 &op_expr, TRUE, BFD_RELOC_AVR_13_PCREL); 704 break; 705 706 case 'l': 707 str = parse_exp (str, &op_expr); 708 fix_new_exp (frag_now, where, opcode->insn_size * 2, 709 &op_expr, TRUE, BFD_RELOC_AVR_7_PCREL); 710 break; 711 712 case 'i': 713 str = parse_exp (str, &op_expr); 714 fix_new_exp (frag_now, where + 2, opcode->insn_size * 2, 715 &op_expr, FALSE, BFD_RELOC_16); 716 break; 717 718 case 'M': 719 { 720 bfd_reloc_code_real_type r_type; 721 722 input_line_pointer = str; 723 r_type = avr_ldi_expression (&op_expr); 724 str = input_line_pointer; 725 fix_new_exp (frag_now, where, 3, 726 &op_expr, FALSE, r_type); 727 } 728 break; 729 730 case 'n': 731 { 732 unsigned int x; 733 734 x = ~avr_get_constant (str, 255); 735 str = input_line_pointer; 736 op_mask |= (x & 0xf) | ((x << 4) & 0xf00); 737 } 738 break; 739 740 case 'K': 741 { 742 unsigned int x; 743 744 x = avr_get_constant (str, 63); 745 str = input_line_pointer; 746 op_mask |= (x & 0xf) | ((x & 0x30) << 2); 747 } 748 break; 749 750 case 'S': 751 case 's': 752 { 753 unsigned int x; 754 755 x = avr_get_constant (str, 7); 756 str = input_line_pointer; 757 if (*op == 'S') 758 x <<= 4; 759 op_mask |= x; 760 } 761 break; 762 763 case 'P': 764 { 765 unsigned int x; 766 767 x = avr_get_constant (str, 63); 768 str = input_line_pointer; 769 op_mask |= (x & 0xf) | ((x & 0x30) << 5); 770 } 771 break; 772 773 case 'p': 774 { 775 unsigned int x; 776 777 x = avr_get_constant (str, 31); 778 str = input_line_pointer; 779 op_mask |= x << 3; 780 } 781 break; 782 783 case '?': 784 break; 785 786 default: 787 as_bad (_("unknown constraint `%c'"), *op); 788 } 789 790 *line = str; 791 return op_mask; 792 } 793 794 /* GAS will call this function for each section at the end of the assembly, 795 to permit the CPU backend to adjust the alignment of a section. */ 796 797 valueT 798 md_section_align (seg, addr) 799 asection *seg; 800 valueT addr; 801 { 802 int align = bfd_get_section_alignment (stdoutput, seg); 803 return ((addr + (1 << align) - 1) & (-1 << align)); 804 } 805 806 /* If you define this macro, it should return the offset between the 807 address of a PC relative fixup and the position from which the PC 808 relative adjustment should be made. On many processors, the base 809 of a PC relative instruction is the next instruction, so this 810 macro would return the length of an instruction. */ 811 812 long 813 md_pcrel_from_section (fixp, sec) 814 fixS *fixp; 815 segT sec; 816 { 817 if (fixp->fx_addsy != (symbolS *) NULL 818 && (!S_IS_DEFINED (fixp->fx_addsy) 819 || (S_GET_SEGMENT (fixp->fx_addsy) != sec))) 820 return 0; 821 822 return fixp->fx_frag->fr_address + fixp->fx_where; 823 } 824 825 /* GAS will call this for each fixup. It should store the correct 826 value in the object file. */ 827 828 void 829 md_apply_fix3 (fixP, valP, seg) 830 fixS *fixP; 831 valueT * valP; 832 segT seg; 833 { 834 unsigned char *where; 835 unsigned long insn; 836 long value = *valP; 837 838 if (fixP->fx_addsy == (symbolS *) NULL) 839 fixP->fx_done = 1; 840 841 else if (fixP->fx_pcrel) 842 { 843 segT s = S_GET_SEGMENT (fixP->fx_addsy); 844 845 if (s == seg || s == absolute_section) 846 { 847 value += S_GET_VALUE (fixP->fx_addsy); 848 fixP->fx_done = 1; 849 } 850 } 851 852 /* We don't actually support subtracting a symbol. */ 853 if (fixP->fx_subsy != (symbolS *) NULL) 854 as_bad_where (fixP->fx_file, fixP->fx_line, _("expression too complex")); 855 856 switch (fixP->fx_r_type) 857 { 858 default: 859 fixP->fx_no_overflow = 1; 860 break; 861 case BFD_RELOC_AVR_7_PCREL: 862 case BFD_RELOC_AVR_13_PCREL: 863 case BFD_RELOC_32: 864 case BFD_RELOC_16: 865 case BFD_RELOC_AVR_CALL: 866 break; 867 } 868 869 if (fixP->fx_done) 870 { 871 /* Fetch the instruction, insert the fully resolved operand 872 value, and stuff the instruction back again. */ 873 where = fixP->fx_frag->fr_literal + fixP->fx_where; 874 insn = bfd_getl16 (where); 875 876 switch (fixP->fx_r_type) 877 { 878 case BFD_RELOC_AVR_7_PCREL: 879 if (value & 1) 880 as_bad_where (fixP->fx_file, fixP->fx_line, 881 _("odd address operand: %ld"), value); 882 883 /* Instruction addresses are always right-shifted by 1. */ 884 value >>= 1; 885 --value; /* Correct PC. */ 886 887 if (value < -64 || value > 63) 888 as_bad_where (fixP->fx_file, fixP->fx_line, 889 _("operand out of range: %ld"), value); 890 value = (value << 3) & 0x3f8; 891 bfd_putl16 ((bfd_vma) (value | insn), where); 892 break; 893 894 case BFD_RELOC_AVR_13_PCREL: 895 if (value & 1) 896 as_bad_where (fixP->fx_file, fixP->fx_line, 897 _("odd address operand: %ld"), value); 898 899 /* Instruction addresses are always right-shifted by 1. */ 900 value >>= 1; 901 --value; /* Correct PC. */ 902 903 if (value < -2048 || value > 2047) 904 { 905 /* No wrap for devices with >8K of program memory. */ 906 if ((avr_mcu->isa & AVR_ISA_MEGA) || avr_opt.no_wrap) 907 as_bad_where (fixP->fx_file, fixP->fx_line, 908 _("operand out of range: %ld"), value); 909 } 910 911 value &= 0xfff; 912 bfd_putl16 ((bfd_vma) (value | insn), where); 913 break; 914 915 case BFD_RELOC_32: 916 bfd_putl16 ((bfd_vma) value, where); 917 break; 918 919 case BFD_RELOC_16: 920 bfd_putl16 ((bfd_vma) value, where); 921 break; 922 923 case BFD_RELOC_AVR_16_PM: 924 bfd_putl16 ((bfd_vma) (value >> 1), where); 925 break; 926 927 case BFD_RELOC_AVR_LO8_LDI: 928 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (value), where); 929 break; 930 931 case -BFD_RELOC_AVR_LO8_LDI: 932 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (value >> 16), where); 933 break; 934 935 case BFD_RELOC_AVR_HI8_LDI: 936 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (value >> 8), where); 937 break; 938 939 case -BFD_RELOC_AVR_HI8_LDI: 940 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (value >> 24), where); 941 break; 942 943 case BFD_RELOC_AVR_HH8_LDI: 944 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (value >> 16), where); 945 break; 946 947 case BFD_RELOC_AVR_LO8_LDI_NEG: 948 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (-value), where); 949 break; 950 951 case -BFD_RELOC_AVR_LO8_LDI_NEG: 952 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (-value >> 16), where); 953 break; 954 955 case BFD_RELOC_AVR_HI8_LDI_NEG: 956 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (-value >> 8), where); 957 break; 958 959 case -BFD_RELOC_AVR_HI8_LDI_NEG: 960 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (-value >> 24), where); 961 break; 962 963 case BFD_RELOC_AVR_HH8_LDI_NEG: 964 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (-value >> 16), where); 965 break; 966 967 case BFD_RELOC_AVR_LO8_LDI_PM: 968 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (value >> 1), where); 969 break; 970 971 case BFD_RELOC_AVR_HI8_LDI_PM: 972 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (value >> 9), where); 973 break; 974 975 case BFD_RELOC_AVR_HH8_LDI_PM: 976 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (value >> 17), where); 977 break; 978 979 case BFD_RELOC_AVR_LO8_LDI_PM_NEG: 980 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (-value >> 1), where); 981 break; 982 983 case BFD_RELOC_AVR_HI8_LDI_PM_NEG: 984 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (-value >> 9), where); 985 break; 986 987 case BFD_RELOC_AVR_HH8_LDI_PM_NEG: 988 bfd_putl16 ((bfd_vma) insn | LDI_IMMEDIATE (-value >> 17), where); 989 break; 990 991 case BFD_RELOC_AVR_CALL: 992 { 993 unsigned long x; 994 995 x = bfd_getl16 (where); 996 if (value & 1) 997 as_bad_where (fixP->fx_file, fixP->fx_line, 998 _("odd address operand: %ld"), value); 999 value >>= 1; 1000 x |= ((value & 0x10000) | ((value << 3) & 0x1f00000)) >> 16; 1001 bfd_putl16 ((bfd_vma) x, where); 1002 bfd_putl16 ((bfd_vma) (value & 0xffff), where + 2); 1003 } 1004 break; 1005 1006 default: 1007 as_fatal (_("line %d: unknown relocation type: 0x%x"), 1008 fixP->fx_line, fixP->fx_r_type); 1009 break; 1010 } 1011 } 1012 else 1013 { 1014 switch (fixP->fx_r_type) 1015 { 1016 case -BFD_RELOC_AVR_HI8_LDI_NEG: 1017 case -BFD_RELOC_AVR_HI8_LDI: 1018 case -BFD_RELOC_AVR_LO8_LDI_NEG: 1019 case -BFD_RELOC_AVR_LO8_LDI: 1020 as_bad_where (fixP->fx_file, fixP->fx_line, 1021 _("only constant expression allowed")); 1022 fixP->fx_done = 1; 1023 break; 1024 default: 1025 break; 1026 } 1027 } 1028 } 1029 1030 /* A `BFD_ASSEMBLER' GAS will call this to generate a reloc. GAS 1031 will pass the resulting reloc to `bfd_install_relocation'. This 1032 currently works poorly, as `bfd_install_relocation' often does the 1033 wrong thing, and instances of `tc_gen_reloc' have been written to 1034 work around the problems, which in turns makes it difficult to fix 1035 `bfd_install_relocation'. */ 1036 1037 /* If while processing a fixup, a reloc really needs to be created 1038 then it is done here. */ 1039 1040 arelent * 1041 tc_gen_reloc (seg, fixp) 1042 asection *seg ATTRIBUTE_UNUSED; 1043 fixS *fixp; 1044 { 1045 arelent *reloc; 1046 1047 reloc = (arelent *) xmalloc (sizeof (arelent)); 1048 1049 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *)); 1050 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy); 1051 1052 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where; 1053 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type); 1054 if (reloc->howto == (reloc_howto_type *) NULL) 1055 { 1056 as_bad_where (fixp->fx_file, fixp->fx_line, 1057 _("reloc %d not supported by object file format"), 1058 (int) fixp->fx_r_type); 1059 return NULL; 1060 } 1061 1062 if (fixp->fx_r_type == BFD_RELOC_VTABLE_INHERIT 1063 || fixp->fx_r_type == BFD_RELOC_VTABLE_ENTRY) 1064 reloc->address = fixp->fx_offset; 1065 1066 reloc->addend = fixp->fx_offset; 1067 1068 return reloc; 1069 } 1070 1071 void 1072 md_assemble (str) 1073 char *str; 1074 { 1075 struct avr_opcodes_s *opcode; 1076 char op[11]; 1077 1078 str = skip_space (extract_word (str, op, sizeof (op))); 1079 1080 if (!op[0]) 1081 as_bad (_("can't find opcode ")); 1082 1083 opcode = (struct avr_opcodes_s *) hash_find (avr_hash, op); 1084 1085 if (opcode == NULL) 1086 { 1087 as_bad (_("unknown opcode `%s'"), op); 1088 return; 1089 } 1090 1091 /* Special case for opcodes with optional operands (lpm, elpm) - 1092 version with operands exists in avr_opcodes[] in the next entry. */ 1093 1094 if (*str && *opcode->constraints == '?') 1095 ++opcode; 1096 1097 if (!avr_opt.all_opcodes && (opcode->isa & avr_mcu->isa) != opcode->isa) 1098 as_bad (_("illegal opcode %s for mcu %s"), opcode->name, avr_mcu->name); 1099 1100 /* We used to set input_line_pointer to the result of get_operands, 1101 but that is wrong. Our caller assumes we don't change it. */ 1102 { 1103 char *t = input_line_pointer; 1104 avr_operands (opcode, &str); 1105 if (*skip_space (str)) 1106 as_bad (_("garbage at end of line")); 1107 input_line_pointer = t; 1108 } 1109 } 1110 1111 /* Parse ordinary expression. */ 1112 1113 static char * 1114 parse_exp (s, op) 1115 char *s; 1116 expressionS *op; 1117 { 1118 input_line_pointer = s; 1119 expression (op); 1120 if (op->X_op == O_absent) 1121 as_bad (_("missing operand")); 1122 return input_line_pointer; 1123 } 1124 1125 /* Parse special expressions (needed for LDI command): 1126 xx8 (address) 1127 xx8 (-address) 1128 pm_xx8 (address) 1129 pm_xx8 (-address) 1130 where xx is: hh, hi, lo. */ 1131 1132 static bfd_reloc_code_real_type 1133 avr_ldi_expression (exp) 1134 expressionS *exp; 1135 { 1136 char *str = input_line_pointer; 1137 char *tmp; 1138 char op[8]; 1139 int mod; 1140 tmp = str; 1141 1142 str = extract_word (str, op, sizeof (op)); 1143 1144 if (op[0]) 1145 { 1146 mod = (int) hash_find (avr_mod_hash, op); 1147 1148 if (mod) 1149 { 1150 int closes = 0; 1151 1152 mod -= 10; 1153 str = skip_space (str); 1154 1155 if (*str == '(') 1156 { 1157 int neg_p = 0; 1158 1159 ++str; 1160 1161 if (strncmp ("pm(", str, 3) == 0 1162 || strncmp ("-(pm(", str, 5) == 0) 1163 { 1164 if (HAVE_PM_P (mod)) 1165 { 1166 ++mod; 1167 ++closes; 1168 } 1169 else 1170 as_bad (_("illegal expression")); 1171 1172 if (*str == '-') 1173 { 1174 neg_p = 1; 1175 ++closes; 1176 str += 5; 1177 } 1178 else 1179 str += 3; 1180 } 1181 1182 if (*str == '-' && *(str + 1) == '(') 1183 { 1184 neg_p ^= 1; 1185 ++closes; 1186 str += 2; 1187 } 1188 1189 input_line_pointer = str; 1190 expression (exp); 1191 1192 do 1193 { 1194 if (*input_line_pointer != ')') 1195 { 1196 as_bad (_("`)' required")); 1197 break; 1198 } 1199 input_line_pointer++; 1200 } 1201 while (closes--); 1202 1203 return neg_p ? EXP_MOD_NEG_RELOC (mod) : EXP_MOD_RELOC (mod); 1204 } 1205 } 1206 } 1207 1208 input_line_pointer = tmp; 1209 expression (exp); 1210 1211 /* Warn about expressions that fail to use lo8 (). */ 1212 if (exp->X_op == O_constant) 1213 { 1214 int x = exp->X_add_number; 1215 if (x < -255 || x > 255) 1216 as_warn (_("constant out of 8-bit range: %d"), x); 1217 } 1218 else 1219 as_warn (_("expression possibly out of 8-bit range")); 1220 1221 return BFD_RELOC_AVR_LO8_LDI; 1222 } 1223 1224 /* Flag to pass `pm' mode between `avr_parse_cons_expression' and 1225 `avr_cons_fix_new'. */ 1226 static int exp_mod_pm = 0; 1227 1228 /* Parse special CONS expression: pm (expression) 1229 which is used for addressing to a program memory. 1230 Relocation: BFD_RELOC_AVR_16_PM. */ 1231 1232 void 1233 avr_parse_cons_expression (exp, nbytes) 1234 expressionS *exp; 1235 int nbytes; 1236 { 1237 char *tmp; 1238 1239 exp_mod_pm = 0; 1240 1241 tmp = input_line_pointer = skip_space (input_line_pointer); 1242 1243 if (nbytes == 2) 1244 { 1245 char *pm_name = "pm"; 1246 int len = strlen (pm_name); 1247 1248 if (strncasecmp (input_line_pointer, pm_name, len) == 0) 1249 { 1250 input_line_pointer = skip_space (input_line_pointer + len); 1251 1252 if (*input_line_pointer == '(') 1253 { 1254 input_line_pointer = skip_space (input_line_pointer + 1); 1255 exp_mod_pm = 1; 1256 expression (exp); 1257 1258 if (*input_line_pointer == ')') 1259 ++input_line_pointer; 1260 else 1261 { 1262 as_bad (_("`)' required")); 1263 exp_mod_pm = 0; 1264 } 1265 1266 return; 1267 } 1268 1269 input_line_pointer = tmp; 1270 } 1271 } 1272 1273 expression (exp); 1274 } 1275 1276 void 1277 avr_cons_fix_new (frag, where, nbytes, exp) 1278 fragS *frag; 1279 int where; 1280 int nbytes; 1281 expressionS *exp; 1282 { 1283 if (exp_mod_pm == 0) 1284 { 1285 if (nbytes == 2) 1286 fix_new_exp (frag, where, nbytes, exp, FALSE, BFD_RELOC_16); 1287 else if (nbytes == 4) 1288 fix_new_exp (frag, where, nbytes, exp, FALSE, BFD_RELOC_32); 1289 else 1290 as_bad (_("illegal %srelocation size: %d"), "", nbytes); 1291 } 1292 else 1293 { 1294 if (nbytes == 2) 1295 fix_new_exp (frag, where, nbytes, exp, FALSE, BFD_RELOC_AVR_16_PM); 1296 else 1297 as_bad (_("illegal %srelocation size: %d"), "`pm' ", nbytes); 1298 exp_mod_pm = 0; 1299 } 1300 } 1301