-Wimplicit-fallthrough warning fixes
[deliverable/binutils-gdb.git] / gas / config / tc-m68hc11.c
CommitLineData
60bcf0fa 1/* tc-m68hc11.c -- Assembler code for the Motorola 68HC11 & 68HC12.
6f2750fe 2 Copyright (C) 1999-2016 Free Software Foundation, Inc.
7bfda7eb 3 Written by Stephane Carrez (stcarrez@nerim.fr)
6927f982 4 XGATE and S12X added by James Murray (jsm@jsm-net.demon.co.uk)
60bcf0fa
NC
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
ec2655a6 10 the Free Software Foundation; either version 3, or (at your option)
60bcf0fa
NC
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
4b4da160
NC
20 the Free Software Foundation, 51 Franklin Street - Fifth Floor,
21 Boston, MA 02110-1301, USA. */
60bcf0fa 22
60bcf0fa 23#include "as.h"
3882b010 24#include "safe-ctype.h"
60bcf0fa
NC
25#include "subsegs.h"
26#include "opcode/m68hc11.h"
27#include "dwarf2dbg.h"
7bfda7eb 28#include "elf/m68hc11.h"
60bcf0fa 29
60bcf0fa
NC
30const char comment_chars[] = ";!";
31const char line_comment_chars[] = "#*";
32const char line_separator_chars[] = "";
33
34const char EXP_CHARS[] = "eE";
35const char FLT_CHARS[] = "dD";
36
37#define STATE_CONDITIONAL_BRANCH (1)
38#define STATE_PC_RELATIVE (2)
39#define STATE_INDEXED_OFFSET (3)
75538612
SC
40#define STATE_INDEXED_PCREL (4)
41#define STATE_XBCC_BRANCH (5)
42#define STATE_CONDITIONAL_BRANCH_6812 (6)
60bcf0fa
NC
43
44#define STATE_BYTE (0)
45#define STATE_BITS5 (0)
46#define STATE_WORD (1)
47#define STATE_BITS9 (1)
48#define STATE_LONG (2)
49#define STATE_BITS16 (2)
50#define STATE_UNDF (3) /* Symbol undefined in pass1 */
51
52/* This macro has no side-effects. */
53#define ENCODE_RELAX(what,length) (((what) << 2) + (length))
606ab118
AM
54#define RELAX_STATE(s) ((s) >> 2)
55#define RELAX_LENGTH(s) ((s) & 3)
60bcf0fa
NC
56
57#define IS_OPCODE(C1,C2) (((C1) & 0x0FF) == ((C2) & 0x0FF))
58
59/* This table describes how you change sizes for the various types of variable
60 size expressions. This version only supports two kinds. */
61
62/* The fields are:
fafb6d17
NC
63 How far Forward this mode will reach.
64 How far Backward this mode will reach.
65 How many bytes this mode will add to the size of the frag.
66 Which mode to go to if the offset won't fit in this one. */
67
6927f982
NC
68relax_typeS md_relax_table[] =
69{
fafb6d17
NC
70 {1, 1, 0, 0}, /* First entries aren't used. */
71 {1, 1, 0, 0}, /* For no good reason except. */
72 {1, 1, 0, 0}, /* that the VAX doesn't either. */
60bcf0fa
NC
73 {1, 1, 0, 0},
74
75 /* Relax for bcc <L>.
76 These insns are translated into b!cc +3 jmp L. */
77 {(127), (-128), 0, ENCODE_RELAX (STATE_CONDITIONAL_BRANCH, STATE_WORD)},
78 {0, 0, 3, 0},
79 {1, 1, 0, 0},
80 {1, 1, 0, 0},
81
82 /* Relax for bsr <L> and bra <L>.
83 These insns are translated into jsr and jmp. */
84 {(127), (-128), 0, ENCODE_RELAX (STATE_PC_RELATIVE, STATE_WORD)},
85 {0, 0, 1, 0},
86 {1, 1, 0, 0},
87 {1, 1, 0, 0},
88
89 /* Relax for indexed offset: 5-bits, 9-bits, 16-bits. */
90 {(15), (-16), 0, ENCODE_RELAX (STATE_INDEXED_OFFSET, STATE_BITS9)},
91 {(255), (-256), 1, ENCODE_RELAX (STATE_INDEXED_OFFSET, STATE_BITS16)},
88051039 92 {0, 0, 2, 0},
60bcf0fa
NC
93 {1, 1, 0, 0},
94
75538612
SC
95 /* Relax for PC relative offset: 5-bits, 9-bits, 16-bits.
96 For the 9-bit case, there will be a -1 correction to take into
97 account the new byte that's why the range is -255..256. */
98 {(15), (-16), 0, ENCODE_RELAX (STATE_INDEXED_PCREL, STATE_BITS9)},
99 {(256), (-255), 1, ENCODE_RELAX (STATE_INDEXED_PCREL, STATE_BITS16)},
100 {0, 0, 2, 0},
101 {1, 1, 0, 0},
102
60bcf0fa
NC
103 /* Relax for dbeq/ibeq/tbeq r,<L>:
104 These insns are translated into db!cc +3 jmp L. */
105 {(255), (-256), 0, ENCODE_RELAX (STATE_XBCC_BRANCH, STATE_WORD)},
106 {0, 0, 3, 0},
107 {1, 1, 0, 0},
108 {1, 1, 0, 0},
109
110 /* Relax for bcc <L> on 68HC12.
111 These insns are translated into lbcc <L>. */
112 {(127), (-128), 0, ENCODE_RELAX (STATE_CONDITIONAL_BRANCH_6812, STATE_WORD)},
113 {0, 0, 2, 0},
114 {1, 1, 0, 0},
115 {1, 1, 0, 0},
116
117};
118
119/* 68HC11 and 68HC12 registers. They are numbered according to the 68HC12. */
6927f982
NC
120typedef enum register_id
121{
60bcf0fa
NC
122 REG_NONE = -1,
123 REG_A = 0,
124 REG_B = 1,
125 REG_CCR = 2,
126 REG_D = 4,
127 REG_X = 5,
128 REG_Y = 6,
129 REG_SP = 7,
6927f982
NC
130 REG_PC = 8,
131 REG_R0 = 0,
132 REG_R1 = 1,
133 REG_R2 = 2,
134 REG_R3 = 3,
135 REG_R4 = 4,
136 REG_R5 = 5,
137 REG_R6 = 6,
138 REG_R7 = 7,
139 REG_SP_XG = 8,
140 REG_PC_XG = 9,
141 REG_CCR_XG = 10
60bcf0fa
NC
142} register_id;
143
6927f982
NC
144typedef struct operand
145{
60bcf0fa
NC
146 expressionS exp;
147 register_id reg1;
148 register_id reg2;
149 int mode;
150} operand;
151
6927f982
NC
152struct m68hc11_opcode_def
153{
60bcf0fa
NC
154 long format;
155 int min_operands;
156 int max_operands;
157 int nb_modes;
158 int used;
159 struct m68hc11_opcode *opcode;
160};
161
162static struct m68hc11_opcode_def *m68hc11_opcode_defs = 0;
163static int m68hc11_nb_opcode_defs = 0;
164
6927f982
NC
165typedef struct alias
166{
60bcf0fa
NC
167 const char *name;
168 const char *alias;
098f2ec3 169} alias;
60bcf0fa 170
6927f982
NC
171static alias alias_opcodes[] =
172{
60bcf0fa
NC
173 {"cpd", "cmpd"},
174 {"cpx", "cmpx"},
175 {"cpy", "cmpy"},
176 {0, 0}
177};
178
6927f982
NC
179struct m9s12xg_opcode_def
180{
181 long format;
182 int min_operands;
183 int max_operands;
184 int nb_modes;
185 int used;
186 struct m9s12xg_opcode *opcode;
187};
188
fafb6d17 189/* Local functions. */
ca43c854
SC
190static register_id reg_name_search (char *);
191static register_id register_name (void);
192static int cmp_opcode (struct m68hc11_opcode *, struct m68hc11_opcode *);
193static char *print_opcode_format (struct m68hc11_opcode *, int);
194static char *skip_whites (char *);
195static int check_range (long, int);
196static void print_opcode_list (void);
197static void get_default_target (void);
198static void print_insn_format (char *);
199static int get_operand (operand *, int, long);
200static void fixup8 (expressionS *, int, int);
201static void fixup16 (expressionS *, int, int);
202static void fixup24 (expressionS *, int, int);
6927f982 203static void fixup8_xg (expressionS *, int, int);
ca43c854
SC
204static unsigned char convert_branch (unsigned char);
205static char *m68hc11_new_insn (int);
206static void build_dbranch_insn (struct m68hc11_opcode *,
207 operand *, int, int);
208static int build_indexed_byte (operand *, int, int);
209static int build_reg_mode (operand *, int);
210
211static struct m68hc11_opcode *find (struct m68hc11_opcode_def *,
212 operand *, int);
213static struct m68hc11_opcode *find_opcode (struct m68hc11_opcode_def *,
214 operand *, int *);
215static void build_jump_insn (struct m68hc11_opcode *, operand *, int, int);
6927f982 216static void build_insn_xg (struct m68hc11_opcode *, operand *, int);
ca43c854
SC
217static void build_insn (struct m68hc11_opcode *, operand *, int);
218static int relaxable_symbol (symbolS *);
60bcf0fa 219
e371935f 220/* Pseudo op to indicate a relax group. */
ca43c854 221static void s_m68hc11_relax (int);
e371935f 222
eb086b59 223/* Pseudo op to control the ELF flags. */
ca43c854 224static void s_m68hc11_mode (int);
eb086b59 225
bdfd67fa
SK
226/* Process directives specified via pseudo ops. */
227static void s_m68hc11_parse_pseudo_instruction (int);
228
eb086b59
SC
229/* Mark the symbols with STO_M68HC12_FAR to indicate the functions
230 are using 'rtc' for returning. It is necessary to use 'call'
231 to invoke them. This is also used by the debugger to correctly
232 find the stack frame. */
ca43c854 233static void s_m68hc11_mark_symbol (int);
eb086b59 234
60bcf0fa
NC
235/* Controls whether relative branches can be turned into long branches.
236 When the relative offset is too large, the insn are changed:
237 bra -> jmp
238 bsr -> jsr
239 bcc -> b!cc +3
240 jmp L
241 dbcc -> db!cc +3
242 jmp L
fafb6d17 243
60bcf0fa 244 Setting the flag forbidds this. */
1370e33d 245static short flag_fixed_branches = 0;
60bcf0fa
NC
246
247/* Force to use long jumps (absolute) instead of relative branches. */
248static short flag_force_long_jumps = 0;
249
250/* Change the direct addressing mode into an absolute addressing mode
251 when the insn does not support direct addressing.
252 For example, "clr *ZD0" is normally not possible and is changed
253 into "clr ZDO". */
254static short flag_strict_direct_addressing = 1;
255
256/* When an opcode has invalid operand, print out the syntax of the opcode
257 to stderr. */
258static short flag_print_insn_syntax = 0;
259
260/* Dumps the list of instructions with syntax and then exit:
261 1 -> Only dumps the list (sorted by name)
262 2 -> Generate an example (or test) that can be compiled. */
263static short flag_print_opcodes = 0;
264
265/* Opcode hash table. */
266static struct hash_control *m68hc11_hash;
267
268/* Current cpu (either cpu6811 or cpu6812). This is determined automagically
67c1ffbe 269 by 'get_default_target' by looking at default BFD vector. This is overridden
60bcf0fa
NC
270 with the -m<cpu> option. */
271static int current_architecture = 0;
272
273/* Default cpu determined by 'get_default_target'. */
274static const char *default_cpu;
275
276/* Number of opcodes in the sorted table (filtered by current cpu). */
277static int num_opcodes;
278
279/* The opcodes sorted by name and filtered by current cpu. */
280static struct m68hc11_opcode *m68hc11_sorted_opcodes;
281
eb086b59 282/* ELF flags to set in the output file header. */
2f904664 283static int elf_flags = E_M68HC11_F64;
eb086b59 284
60bcf0fa
NC
285/* These are the machine dependent pseudo-ops. These are included so
286 the assembler can work on the output from the SUN C compiler, which
287 generates these. */
288
289/* This table describes all the machine specific pseudo-ops the assembler
290 has to support. The fields are:
291 pseudo-op name without dot
292 function to call to execute this pseudo-op
293 Integer arg to pass to the function. */
6927f982
NC
294const pseudo_typeS md_pseudo_table[] =
295{
60bcf0fa
NC
296 /* The following pseudo-ops are supported for MRI compatibility. */
297 {"fcb", cons, 1},
298 {"fdb", cons, 2},
6927f982 299 {"fqb", cons, 4},
38a57ae7 300 {"fcc", stringer, 8 + 1},
60bcf0fa 301 {"rmb", s_space, 0},
986c6f4b 302
e629c13f
SC
303 /* Motorola ALIS. */
304 {"xrefb", s_ignore, 0}, /* Same as xref */
305
e371935f
SC
306 /* Gcc driven relaxation. */
307 {"relax", s_m68hc11_relax, 0},
308
eb086b59
SC
309 /* .mode instruction (ala SH). */
310 {"mode", s_m68hc11_mode, 0},
311
312 /* .far instruction. */
313 {"far", s_m68hc11_mark_symbol, STO_M68HC12_FAR},
314
315 /* .interrupt instruction. */
316 {"interrupt", s_m68hc11_mark_symbol, STO_M68HC12_INTERRUPT},
317
bdfd67fa
SK
318 /* .nobankwarning instruction. */
319 {"nobankwarning", s_m68hc11_parse_pseudo_instruction, E_M68HC11_NO_BANK_WARNING},
320
60bcf0fa
NC
321 {0, 0, 0}
322};
60bcf0fa
NC
323\f
324/* Options and initialization. */
325
5a38dc70 326const char *md_shortopts = "Sm:";
60bcf0fa 327
6927f982
NC
328struct option md_longopts[] =
329{
60bcf0fa 330#define OPTION_FORCE_LONG_BRANCH (OPTION_MD_BASE)
1370e33d
NC
331 {"force-long-branches", no_argument, NULL, OPTION_FORCE_LONG_BRANCH},
332 {"force-long-branchs", no_argument, NULL, OPTION_FORCE_LONG_BRANCH}, /* Misspelt version kept for backwards compatibility. */
60bcf0fa 333
1370e33d
NC
334#define OPTION_SHORT_BRANCHES (OPTION_MD_BASE + 1)
335 {"short-branches", no_argument, NULL, OPTION_SHORT_BRANCHES},
336 {"short-branchs", no_argument, NULL, OPTION_SHORT_BRANCHES}, /* Misspelt version kept for backwards compatibility. */
60bcf0fa
NC
337
338#define OPTION_STRICT_DIRECT_MODE (OPTION_MD_BASE + 2)
339 {"strict-direct-mode", no_argument, NULL, OPTION_STRICT_DIRECT_MODE},
340
341#define OPTION_PRINT_INSN_SYNTAX (OPTION_MD_BASE + 3)
342 {"print-insn-syntax", no_argument, NULL, OPTION_PRINT_INSN_SYNTAX},
343
344#define OPTION_PRINT_OPCODES (OPTION_MD_BASE + 4)
345 {"print-opcodes", no_argument, NULL, OPTION_PRINT_OPCODES},
346
347#define OPTION_GENERATE_EXAMPLE (OPTION_MD_BASE + 5)
348 {"generate-example", no_argument, NULL, OPTION_GENERATE_EXAMPLE},
349
2f904664
SC
350#define OPTION_MSHORT (OPTION_MD_BASE + 6)
351 {"mshort", no_argument, NULL, OPTION_MSHORT},
352
353#define OPTION_MLONG (OPTION_MD_BASE + 7)
354 {"mlong", no_argument, NULL, OPTION_MLONG},
355
356#define OPTION_MSHORT_DOUBLE (OPTION_MD_BASE + 8)
357 {"mshort-double", no_argument, NULL, OPTION_MSHORT_DOUBLE},
358
359#define OPTION_MLONG_DOUBLE (OPTION_MD_BASE + 9)
360 {"mlong-double", no_argument, NULL, OPTION_MLONG_DOUBLE},
361
6927f982
NC
362#define OPTION_XGATE_RAMOFFSET (OPTION_MD_BASE + 10)
363 {"xgate-ramoffset", no_argument, NULL, OPTION_XGATE_RAMOFFSET},
364
60bcf0fa
NC
365 {NULL, no_argument, NULL, 0}
366};
367size_t md_longopts_size = sizeof (md_longopts);
368
369/* Get the target cpu for the assembler. This is based on the configure
370 options and on the -m68hc11/-m68hc12 option. If no option is specified,
371 we must get the default. */
372const char *
ca43c854 373m68hc11_arch_format (void)
60bcf0fa
NC
374{
375 get_default_target ();
376 if (current_architecture & cpu6811)
377 return "elf32-m68hc11";
378 else
379 return "elf32-m68hc12";
380}
381
382enum bfd_architecture
ca43c854 383m68hc11_arch (void)
60bcf0fa
NC
384{
385 get_default_target ();
386 if (current_architecture & cpu6811)
387 return bfd_arch_m68hc11;
388 else
389 return bfd_arch_m68hc12;
390}
391
392int
ca43c854 393m68hc11_mach (void)
60bcf0fa
NC
394{
395 return 0;
396}
397
986c6f4b
SC
398/* Listing header selected according to cpu. */
399const char *
ca43c854 400m68hc11_listing_header (void)
986c6f4b
SC
401{
402 if (current_architecture & cpu6811)
403 return "M68HC11 GAS ";
6927f982
NC
404 else if (current_architecture & cpuxgate)
405 return "XGATE GAS ";
406 else if (current_architecture & cpu9s12x)
407 return "S12X GAS ";
986c6f4b
SC
408 else
409 return "M68HC12 GAS ";
410}
411
60bcf0fa 412void
ca43c854 413md_show_usage (FILE *stream)
60bcf0fa
NC
414{
415 get_default_target ();
416 fprintf (stream, _("\
d01030e6 417Motorola 68HC11/68HC12/68HCS12 options:\n\
f0abc2a1 418 -m68hc11 | -m68hc12 |\n\
6927f982
NC
419 -m68hcs12 | -mm9s12x |\n\
420 -mm9s12xg specify the processor [default %s]\n\
2f904664
SC
421 -mshort use 16-bit int ABI (default)\n\
422 -mlong use 32-bit int ABI\n\
423 -mshort-double use 32-bit double ABI\n\
424 -mlong-double use 64-bit double ABI (default)\n\
1370e33d
NC
425 --force-long-branches always turn relative branches into absolute ones\n\
426 -S,--short-branches do not turn relative branches into absolute ones\n\
60bcf0fa
NC
427 when the offset is out of range\n\
428 --strict-direct-mode do not turn the direct mode into extended mode\n\
429 when the instruction does not support direct mode\n\
430 --print-insn-syntax print the syntax of instruction in case of error\n\
431 --print-opcodes print the list of instructions with syntax\n\
6927f982 432 --xgate-ramoffset offset ram addresses by 0xc000\n\
60bcf0fa
NC
433 --generate-example generate an example of each instruction\n\
434 (used for testing)\n"), default_cpu);
435
436}
437
438/* Try to identify the default target based on the BFD library. */
439static void
ca43c854 440get_default_target (void)
60bcf0fa
NC
441{
442 const bfd_target *target;
443 bfd abfd;
444
445 if (current_architecture != 0)
446 return;
447
448 default_cpu = "unknown";
449 target = bfd_find_target (0, &abfd);
450 if (target && target->name)
451 {
452 if (strcmp (target->name, "elf32-m68hc12") == 0)
453 {
454 current_architecture = cpu6812;
455 default_cpu = "m68hc12";
456 }
457 else if (strcmp (target->name, "elf32-m68hc11") == 0)
458 {
459 current_architecture = cpu6811;
460 default_cpu = "m68hc11";
461 }
462 else
463 {
464 as_bad (_("Default target `%s' is not supported."), target->name);
465 }
466 }
467}
468
469void
ca43c854 470m68hc11_print_statistics (FILE *file)
60bcf0fa
NC
471{
472 int i;
473 struct m68hc11_opcode_def *opc;
474
475 hash_print_statistics (file, "opcode table", m68hc11_hash);
476
477 opc = m68hc11_opcode_defs;
478 if (opc == 0 || m68hc11_nb_opcode_defs == 0)
479 return;
480
481 /* Dump the opcode statistics table. */
482 fprintf (file, _("Name # Modes Min ops Max ops Modes mask # Used\n"));
483 for (i = 0; i < m68hc11_nb_opcode_defs; i++, opc++)
484 {
485 fprintf (file, "%-7.7s %5d %7d %7d 0x%08lx %7d\n",
486 opc->opcode->name,
487 opc->nb_modes,
488 opc->min_operands, opc->max_operands, opc->format, opc->used);
489 }
490}
491
492int
17b9d67d 493md_parse_option (int c, const char *arg)
60bcf0fa
NC
494{
495 get_default_target ();
496 switch (c)
497 {
986c6f4b 498 /* -S means keep external to 2 bit offset rather than 16 bit one. */
1370e33d 499 case OPTION_SHORT_BRANCHES:
60bcf0fa 500 case 'S':
1370e33d 501 flag_fixed_branches = 1;
60bcf0fa
NC
502 break;
503
504 case OPTION_FORCE_LONG_BRANCH:
505 flag_force_long_jumps = 1;
506 break;
507
508 case OPTION_PRINT_INSN_SYNTAX:
509 flag_print_insn_syntax = 1;
510 break;
511
512 case OPTION_PRINT_OPCODES:
513 flag_print_opcodes = 1;
514 break;
515
516 case OPTION_STRICT_DIRECT_MODE:
517 flag_strict_direct_addressing = 0;
518 break;
519
520 case OPTION_GENERATE_EXAMPLE:
521 flag_print_opcodes = 2;
522 break;
523
2f904664
SC
524 case OPTION_MSHORT:
525 elf_flags &= ~E_M68HC11_I32;
526 break;
527
528 case OPTION_MLONG:
529 elf_flags |= E_M68HC11_I32;
530 break;
531
532 case OPTION_MSHORT_DOUBLE:
533 elf_flags &= ~E_M68HC11_F64;
534 break;
535
536 case OPTION_MLONG_DOUBLE:
537 elf_flags |= E_M68HC11_F64;
538 break;
539
6927f982
NC
540 case OPTION_XGATE_RAMOFFSET:
541 elf_flags |= E_M68HC11_XGATE_RAMOFFSET;
542 break;
543
60bcf0fa 544 case 'm':
6927f982
NC
545 if ((strcasecmp (arg, "68hc11") == 0)
546 || (strcasecmp (arg, "m68hc11") == 0))
60bcf0fa 547 current_architecture = cpu6811;
6927f982
NC
548 else if ((strcasecmp (arg, "68hc12") == 0)
549 || (strcasecmp (arg, "m68hc12") == 0))
60bcf0fa 550 current_architecture = cpu6812;
6927f982
NC
551 else if ((strcasecmp (arg, "68hcs12") == 0)
552 || (strcasecmp (arg, "m68hcs12") == 0))
d01030e6 553 current_architecture = cpu6812 | cpu6812s;
6927f982
NC
554 else if (strcasecmp (arg, "m9s12x") == 0)
555 current_architecture = cpu6812 | cpu6812s | cpu9s12x;
556 else if ((strcasecmp (arg, "m9s12xg") == 0)
557 || (strcasecmp (arg, "xgate") == 0))
558 /* xgate for backwards compatability */
559 current_architecture = cpuxgate;
60bcf0fa
NC
560 else
561 as_bad (_("Option `%s' is not recognized."), arg);
562 break;
563
564 default:
565 return 0;
566 }
567
568 return 1;
569}
570\f
571symbolS *
ca43c854 572md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
60bcf0fa
NC
573{
574 return 0;
575}
576
6d4af3c2 577const char *
ca43c854 578md_atof (int type, char *litP, int *sizeP)
60bcf0fa 579{
499ac353 580 return ieee_md_atof (type, litP, sizeP, TRUE);
60bcf0fa
NC
581}
582
583valueT
ca43c854 584md_section_align (asection *seg, valueT addr)
60bcf0fa
NC
585{
586 int align = bfd_get_section_alignment (stdoutput, seg);
8d3842cd 587 return ((addr + (1 << align) - 1) & -(1 << align));
60bcf0fa
NC
588}
589
60bcf0fa 590static int
ca43c854 591cmp_opcode (struct m68hc11_opcode *op1, struct m68hc11_opcode *op2)
60bcf0fa
NC
592{
593 return strcmp (op1->name, op2->name);
594}
595
7bfda7eb
SC
596#define IS_CALL_SYMBOL(MODE) \
597(((MODE) & (M6812_OP_PAGE|M6811_OP_IND16)) \
598 == ((M6812_OP_PAGE|M6811_OP_IND16)))
599
60bcf0fa
NC
600/* Initialize the assembler. Create the opcode hash table
601 (sorted on the names) with the M6811 opcode table
602 (from opcode library). */
603void
ca43c854 604md_begin (void)
60bcf0fa 605{
b9bb4a93 606 const char *prev_name = "";
60bcf0fa
NC
607 struct m68hc11_opcode *opcodes;
608 struct m68hc11_opcode_def *opc = 0;
609 int i, j;
610
611 get_default_target ();
612
613 m68hc11_hash = hash_new ();
614
615 /* Get a writable copy of the opcode table and sort it on the names. */
add39d23 616 opcodes = XNEWVEC (struct m68hc11_opcode, m68hc11_num_opcodes);
60bcf0fa
NC
617 m68hc11_sorted_opcodes = opcodes;
618 num_opcodes = 0;
619 for (i = 0; i < m68hc11_num_opcodes; i++)
620 {
621 if (m68hc11_opcodes[i].arch & current_architecture)
622 {
623 opcodes[num_opcodes] = m68hc11_opcodes[i];
624 if (opcodes[num_opcodes].name[0] == 'b'
625 && opcodes[num_opcodes].format & M6811_OP_JUMP_REL
626 && !(opcodes[num_opcodes].format & M6811_OP_BITMASK))
627 {
628 num_opcodes++;
629 opcodes[num_opcodes] = m68hc11_opcodes[i];
630 }
631 num_opcodes++;
632 for (j = 0; alias_opcodes[j].name != 0; j++)
633 if (strcmp (m68hc11_opcodes[i].name, alias_opcodes[j].name) == 0)
634 {
635 opcodes[num_opcodes] = m68hc11_opcodes[i];
636 opcodes[num_opcodes].name = alias_opcodes[j].alias;
637 num_opcodes++;
638 break;
639 }
640 }
641 }
1910266d 642 qsort (opcodes, num_opcodes, sizeof (struct m68hc11_opcode),
ca43c854 643 (int (*) (const void*, const void*)) cmp_opcode);
60bcf0fa 644
add39d23 645 opc = XNEWVEC (struct m68hc11_opcode_def, num_opcodes);
60bcf0fa
NC
646 m68hc11_opcode_defs = opc--;
647
648 /* Insert unique names into hash table. The M6811 instruction set
649 has several identical opcode names that have different opcodes based
650 on the operands. This hash table then provides a quick index to
651 the first opcode with a particular name in the opcode table. */
652 for (i = 0; i < num_opcodes; i++, opcodes++)
653 {
654 int expect;
655
656 if (strcmp (prev_name, opcodes->name))
657 {
658 prev_name = (char *) opcodes->name;
659
660 opc++;
661 opc->format = 0;
662 opc->min_operands = 100;
663 opc->max_operands = 0;
664 opc->nb_modes = 0;
665 opc->opcode = opcodes;
666 opc->used = 0;
ca43c854 667 hash_insert (m68hc11_hash, opcodes->name, opc);
60bcf0fa
NC
668 }
669 opc->nb_modes++;
670 opc->format |= opcodes->format;
671
672 /* See how many operands this opcode needs. */
673 expect = 0;
6927f982
NC
674 if (opcodes->arch == cpuxgate)
675 {
676 if (opcodes->format & (M68XG_OP_IMM3 | M68XG_OP_R | M68XG_OP_REL9
677 | M68XG_OP_REL10 ))
678 expect = 1;
679 else if (opcodes->format & (M68XG_OP_R_R | M68XG_OP_R_IMM4
680 | M68XG_OP_R_IMM8 | M68XG_OP_R_IMM8))
681 expect = 2;
682 else if (opcodes->format & (M68XG_OP_R_R_R | M68XG_OP_R_R_OFFS5
683 | M68XG_OP_RD_RB_RI | M68XG_OP_RD_RB_RIp
684 | M68XG_OP_RD_RB_mRI))
685 expect = 3;
686 }
687 else
688 {
689 if (opcodes->format & M6811_OP_MASK)
690 expect++;
691 if (opcodes->format & M6811_OP_BITMASK)
692 expect++;
693 if (opcodes->format & (M6811_OP_JUMP_REL | M6812_OP_JUMP_REL16))
694 expect++;
695 if (opcodes->format & (M6812_OP_IND16_P2 | M6812_OP_IDX_P2))
696 expect++;
697 /* Special case for call instruction. */
698 if ((opcodes->format & M6812_OP_PAGE)
699 && !(opcodes->format & M6811_OP_IND16))
700 expect++;
701 }
60bcf0fa
NC
702
703 if (expect < opc->min_operands)
704 opc->min_operands = expect;
7bfda7eb 705 if (IS_CALL_SYMBOL (opcodes->format))
6927f982 706 expect++;
60bcf0fa
NC
707 if (expect > opc->max_operands)
708 opc->max_operands = expect;
709 }
710 opc++;
711 m68hc11_nb_opcode_defs = opc - m68hc11_opcode_defs;
712
713 if (flag_print_opcodes)
714 {
715 print_opcode_list ();
716 exit (EXIT_SUCCESS);
717 }
718}
719
720void
ca43c854 721m68hc11_init_after_args (void)
60bcf0fa
NC
722{
723}
60bcf0fa
NC
724\f
725/* Builtin help. */
726
727/* Return a string that represents the operand format for the instruction.
728 When example is true, this generates an example of operand. This is used
729 to give an example and also to generate a test. */
6927f982 730
60bcf0fa 731static char *
ca43c854 732print_opcode_format (struct m68hc11_opcode *opcode, int example)
60bcf0fa
NC
733{
734 static char buf[128];
735 int format = opcode->format;
736 char *p;
737
738 p = buf;
739 buf[0] = 0;
60bcf0fa 740
6927f982 741 if (current_architecture == cpuxgate)
60bcf0fa 742 {
6927f982
NC
743 if (format & M68XG_OP_IMM3)
744 {
745 if (example)
746 sprintf (p, "#%d", rand () & 0x007);
747 else
748 strcpy (p, _("imm3"));
749 p = &p[strlen (p)];
750 }
751 else if (format & M68XG_OP_R)
752 {
753 if (example)
754 sprintf (p, "R%d", rand () & 0x07);
755 else
756 strcpy (p, _("RD"));
757 p = &p[strlen (p)];
758 }
759 else if (format & M68XG_OP_R_R)
760 {
761 if (example)
762 sprintf (p, "R%d,R%d", rand () & 0x07, rand () & 0x07);
763 else
764 strcpy (p, _("RD,RS"));
765 p = &p[strlen (p)];
766 }
767 else if (format & M68XG_OP_R_IMM4)
768 {
769 if (example)
770 sprintf (p, "R%d,#%d", rand () & 0x07, rand () & 0x0f);
771 else
772 strcpy (p, _("RI, #imm4"));
773 p = &p[strlen (p)];
774 }
775 else if (format & M68XG_OP_R_R_R)
776 {
777 if (example)
778 sprintf (p, "R%d,R%d,R%d", rand () & 0x07, rand () & 0x07, rand () & 0x07);
779 else
780 strcpy (p, "RD,RS1,RS2");
781 p = &p[strlen (p)];
782 }
783 else if (format & M68XG_OP_REL9)
784 {
785 if (example)
786 sprintf (p, "%d", rand () & 0x1FF);
787 else
788 strcpy (p, "<rel9>");
789 p = &p[strlen (p)];
790 }
791 else if (format & M68XG_OP_REL10)
792 {
793 if (example)
794 sprintf (p, "%d", rand () & 0x3FF);
795 else
796 strcpy (p, "<rel10>");
797 p = &p[strlen (p)];
798 }
799 else if (format & M68XG_OP_R_R_OFFS5)
800 {
801 if (example)
802 sprintf (p, "R%d, (R%d, #0x%x)", rand () & 0x07, rand () & 0x07, rand () & 0x1f);
803 else
804 strcpy (p, _("RD, (RI,#offs5)"));
805 p = &p[strlen (p)];
806 }
807 else if (format & M68XG_OP_RD_RB_RI)
808 {
809 if (example)
810 sprintf (p, "R%d, (R%d, R%d)", rand () & 0x07, rand () & 0x07, rand () & 0x07);
811 else
812 strcpy (p, "RD, (RB, RI)");
813 p = &p[strlen (p)];
814 }
815 else if (format & M68XG_OP_RD_RB_RIp)
816 {
817 if (example)
818 sprintf (p, "R%d, (R%d, R%d+)", rand () & 0x07, rand () & 0x07, rand () & 0x07);
819 else
820 strcpy (p, "RD, (RB, RI+)");
821 p = &p[strlen (p)];
822 }
823 else if (format & M68XG_OP_RD_RB_mRI)
824 {
825 if (example)
826 sprintf (p, "R%d, (R%d, -R%d)", rand () & 0x07, rand () & 0x07, rand () & 0x07);
827 else
828 strcpy (p, "RD, (RB, -RI)");
829 p = &p[strlen (p)];
830 }
831 else if (format & M68XG_OP_R_IMM8)
832 {
833 if (example)
834 sprintf (p, "R%d, #0x%x", rand () & 0x07, rand () & 0xff);
835 else
836 strcpy (p, "RD, #imm8");
837 p = &p[strlen (p)];
838 }
839 else if (format & M68XG_OP_R_IMM16)
840 {
841 if (example)
842 sprintf (p, "R%d, #0x%x", rand () & 0x07, rand () & 0xffff);
843 else
844 strcpy (p, "RD, #imm16");
845 p = &p[strlen (p)];
846 }
60bcf0fa 847 }
6927f982 848 else
60bcf0fa 849 {
60bcf0fa 850
6927f982
NC
851 if (format & M6811_OP_IMM8)
852 {
853 if (example)
854 sprintf (p, "#%d", rand () & 0x0FF);
855 else
856 strcpy (p, _("#<imm8>"));
857 p = &p[strlen (p)];
858 }
60bcf0fa 859
6927f982
NC
860 if (format & M6811_OP_IMM16)
861 {
862 if (example)
863 sprintf (p, "#%d", rand () & 0x0FFFF);
864 else
865 strcpy (p, _("#<imm16>"));
866 p = &p[strlen (p)];
867 }
60bcf0fa 868
6927f982
NC
869 if (format & M6811_OP_IX)
870 {
871 if (example)
872 sprintf (p, "%d,X", rand () & 0x0FF);
873 else
874 strcpy (p, _("<imm8>,X"));
875 p = &p[strlen (p)];
876 }
7bfda7eb 877
6927f982
NC
878 if (format & M6811_OP_IY)
879 {
880 if (example)
881 sprintf (p, "%d,X", rand () & 0x0FF);
882 else
883 strcpy (p, _("<imm8>,X"));
884 p = &p[strlen (p)];
885 }
60bcf0fa 886
6927f982
NC
887 if (format & M6812_OP_IDX)
888 {
889 if (example)
890 sprintf (p, "%d,X", rand () & 0x0FF);
891 else
892 strcpy (p, "n,r");
893 p = &p[strlen (p)];
894 }
60bcf0fa 895
6927f982
NC
896 if (format & M6812_OP_PAGE)
897 {
898 if (example)
899 sprintf (p, ", %d", rand () & 0x0FF);
900 else
901 strcpy (p, ", <page>");
902 p = &p[strlen (p)];
903 }
60bcf0fa 904
6927f982
NC
905 if (format & M6811_OP_DIRECT)
906 {
907 if (example)
908 sprintf (p, "*Z%d", rand () & 0x0FF);
909 else
910 strcpy (p, _("*<abs8>"));
911 p = &p[strlen (p)];
912 }
60bcf0fa 913
6927f982
NC
914 if (format & M6811_OP_BITMASK)
915 {
916 if (buf[0])
917 *p++ = ' ';
60bcf0fa 918
6927f982
NC
919 if (example)
920 sprintf (p, "#$%02x", rand () & 0x0FF);
921 else
922 strcpy (p, _("#<mask>"));
60bcf0fa 923
6927f982
NC
924 p = &p[strlen (p)];
925 if (format & M6811_OP_JUMP_REL)
926 *p++ = ' ';
927 }
928
929 if (format & M6811_OP_IND16)
60bcf0fa 930 {
6927f982
NC
931 if (example)
932 sprintf (p, _("symbol%d"), rand () & 0x0FF);
60bcf0fa 933 else
6927f982
NC
934 strcpy (p, _("<abs>"));
935
936 p = &p[strlen (p)];
937 }
938
939 if (format & (M6811_OP_JUMP_REL | M6812_OP_JUMP_REL16))
940 {
941 if (example)
60bcf0fa 942 {
6927f982
NC
943 if (format & M6811_OP_BITMASK)
944 {
945 sprintf (p, ".+%d", rand () & 0x7F);
946 }
947 else
948 {
949 sprintf (p, "L%d", rand () & 0x0FF);
950 }
60bcf0fa 951 }
6927f982
NC
952 else
953 strcpy (p, _("<label>"));
60bcf0fa 954 }
60bcf0fa 955 }
60bcf0fa
NC
956 return buf;
957}
958
959/* Prints the list of instructions with the possible operands. */
960static void
ca43c854 961print_opcode_list (void)
60bcf0fa
NC
962{
963 int i;
b9bb4a93 964 const char *prev_name = "";
60bcf0fa
NC
965 struct m68hc11_opcode *opcodes;
966 int example = flag_print_opcodes == 2;
967
968 if (example)
fafb6d17
NC
969 printf (_("# Example of `%s' instructions\n\t.sect .text\n_start:\n"),
970 default_cpu);
60bcf0fa
NC
971
972 opcodes = m68hc11_sorted_opcodes;
973
974 /* Walk the list sorted on names (by md_begin). We only report
975 one instruction per line, and we collect the different operand
976 formats. */
977 for (i = 0; i < num_opcodes; i++, opcodes++)
978 {
979 char *fmt = print_opcode_format (opcodes, example);
980
981 if (example)
982 {
983 printf ("L%d:\t", i);
984 printf ("%s %s\n", opcodes->name, fmt);
985 }
986 else
987 {
988 if (strcmp (prev_name, opcodes->name))
989 {
990 if (i > 0)
991 printf ("\n");
992
993 printf ("%-5.5s ", opcodes->name);
994 prev_name = (char *) opcodes->name;
995 }
996 if (fmt[0])
997 printf (" [%s]", fmt);
998 }
999 }
1000 printf ("\n");
1001}
1002
60bcf0fa
NC
1003/* Print the instruction format. This operation is called when some
1004 instruction is not correct. Instruction format is printed as an
1005 error message. */
1006static void
ca43c854 1007print_insn_format (char *name)
60bcf0fa
NC
1008{
1009 struct m68hc11_opcode_def *opc;
1010 struct m68hc11_opcode *opcode;
1011 char buf[128];
1012
1013 opc = (struct m68hc11_opcode_def *) hash_find (m68hc11_hash, name);
1014 if (opc == NULL)
1015 {
1016 as_bad (_("Instruction `%s' is not recognized."), name);
1017 return;
1018 }
1019 opcode = opc->opcode;
1020
1021 as_bad (_("Instruction formats for `%s':"), name);
1022 do
1023 {
1024 char *fmt;
1025
27302d63 1026 fmt = print_opcode_format (opcode, 0);
60bcf0fa
NC
1027 sprintf (buf, "\t%-5.5s %s", opcode->name, fmt);
1028
1029 as_bad ("%s", buf);
1030 opcode++;
1031 }
1032 while (strcmp (opcode->name, name) == 0);
1033}
60bcf0fa
NC
1034\f
1035/* Analysis of 68HC11 and 68HC12 operands. */
1036
1037/* reg_name_search() finds the register number given its name.
1038 Returns the register number or REG_NONE on failure. */
1039static register_id
ca43c854 1040reg_name_search (char *name)
60bcf0fa
NC
1041{
1042 if (strcasecmp (name, "x") == 0 || strcasecmp (name, "ix") == 0)
1043 return REG_X;
1044 if (strcasecmp (name, "y") == 0 || strcasecmp (name, "iy") == 0)
1045 return REG_Y;
1046 if (strcasecmp (name, "a") == 0)
1047 return REG_A;
1048 if (strcasecmp (name, "b") == 0)
1049 return REG_B;
1050 if (strcasecmp (name, "d") == 0)
1051 return REG_D;
1052 if (strcasecmp (name, "sp") == 0)
1053 return REG_SP;
1054 if (strcasecmp (name, "pc") == 0)
1055 return REG_PC;
1056 if (strcasecmp (name, "ccr") == 0)
1057 return REG_CCR;
6927f982
NC
1058/* XGATE */
1059 if (strcasecmp (name, "r0") == 0)
1060 return REG_R0;
1061 if (strcasecmp (name, "r1") == 0)
1062 return REG_R1;
1063 if (strcasecmp (name, "r2") == 0)
1064 return REG_R2;
1065 if (strcasecmp (name, "r3") == 0)
1066 return REG_R3;
1067 if (strcasecmp (name, "r4") == 0)
1068 return REG_R4;
1069 if (strcasecmp (name, "r5") == 0)
1070 return REG_R5;
1071 if (strcasecmp (name, "r6") == 0)
1072 return REG_R6;
1073 if (strcasecmp (name, "r7") == 0)
1074 return REG_R7;
1075 if (strcasecmp (name, "sp") == 0)
1076 return REG_SP_XG;
1077 if (strcasecmp (name, "pc") == 0)
1078 return REG_PC_XG;
1079 if (strcasecmp (name, "ccr") == 0)
1080 return REG_CCR_XG;
60bcf0fa
NC
1081 return REG_NONE;
1082}
1083
1084static char *
ca43c854 1085skip_whites (char *p)
60bcf0fa
NC
1086{
1087 while (*p == ' ' || *p == '\t')
1088 p++;
1089
1090 return p;
1091}
1092
fafb6d17 1093/* Check the string at input_line_pointer
60bcf0fa
NC
1094 to see if it is a valid register name. */
1095static register_id
ca43c854 1096register_name (void)
60bcf0fa
NC
1097{
1098 register_id reg_number;
1099 char c, *p = input_line_pointer;
1100
1101 if (!is_name_beginner (*p++))
1102 return REG_NONE;
1103
1104 while (is_part_of_name (*p++))
1105 continue;
1106
1107 c = *--p;
1108 if (c)
1109 *p++ = 0;
1110
fafb6d17 1111 /* Look to see if it's in the register table. */
60bcf0fa
NC
1112 reg_number = reg_name_search (input_line_pointer);
1113 if (reg_number != REG_NONE)
1114 {
1115 if (c)
1116 *--p = c;
1117
1118 input_line_pointer = p;
1119 return reg_number;
1120 }
1121 if (c)
1122 *--p = c;
1123
1124 return reg_number;
1125}
577300ce
SC
1126#define M6811_OP_CALL_ADDR 0x00800000
1127#define M6811_OP_PAGE_ADDR 0x04000000
60bcf0fa 1128
fafb6d17 1129/* Parse a string of operands and return an array of expressions.
60bcf0fa 1130
7bfda7eb
SC
1131 Operand mode[0] mode[1] exp[0] exp[1]
1132 #n M6811_OP_IMM16 - O_*
1133 *<exp> M6811_OP_DIRECT - O_*
1134 .{+-}<exp> M6811_OP_JUMP_REL - O_*
1135 <exp> M6811_OP_IND16 - O_*
1136 ,r N,r M6812_OP_IDX M6812_OP_REG O_constant O_register
1137 n,-r M6812_PRE_DEC M6812_OP_REG O_constant O_register
1138 n,+r M6812_PRE_INC " "
1139 n,r- M6812_POST_DEC " "
1140 n,r+ M6812_POST_INC " "
1141 A,r B,r D,r M6811_OP_REG M6812_OP_REG O_register O_register
1142 [D,r] M6811_OP_D_IDX M6812_OP_REG O_register O_register
1143 [n,r] M6811_OP_D_IDX_2 M6812_OP_REG O_constant O_register */
60bcf0fa 1144static int
ca43c854 1145get_operand (operand *oper, int which, long opmode)
60bcf0fa
NC
1146{
1147 char *p = input_line_pointer;
1148 int mode;
1149 register_id reg;
1150
1151 oper->exp.X_op = O_absent;
1152 oper->reg1 = REG_NONE;
1153 oper->reg2 = REG_NONE;
1154 mode = M6811_OP_NONE;
1155
1156 p = skip_whites (p);
1157
1158 if (*p == 0 || *p == '\n' || *p == '\r')
1159 {
1160 input_line_pointer = p;
1161 return 0;
1162 }
1163
1164 if (*p == '*' && (opmode & (M6811_OP_DIRECT | M6811_OP_IND16)))
1165 {
1166 mode = M6811_OP_DIRECT;
1167 p++;
1168 }
1169 else if (*p == '#')
1170 {
1171 if (!(opmode & (M6811_OP_IMM8 | M6811_OP_IMM16 | M6811_OP_BITMASK)))
1172 {
1173 as_bad (_("Immediate operand is not allowed for operand %d."),
fafb6d17 1174 which);
60bcf0fa
NC
1175 return -1;
1176 }
1177
1178 mode = M6811_OP_IMM16;
1179 p++;
1180 if (strncmp (p, "%hi", 3) == 0)
1181 {
1182 p += 3;
1183 mode |= M6811_OP_HIGH_ADDR;
1184 }
1185 else if (strncmp (p, "%lo", 3) == 0)
1186 {
1187 p += 3;
1188 mode |= M6811_OP_LOW_ADDR;
1189 }
577300ce
SC
1190 /* %page modifier is used to obtain only the page number
1191 of the address of a function. */
1192 else if (strncmp (p, "%page", 5) == 0)
1193 {
1194 p += 5;
1195 mode |= M6811_OP_PAGE_ADDR;
1196 }
1197
1198 /* %addr modifier is used to obtain the physical address part
1199 of the function (16-bit). For 68HC12 the function will be
1200 mapped in the 16K window at 0x8000 and the value will be
1201 within that window (although the function address may not fit
1202 in 16-bit). See bfd/elf32-m68hc12.c for the translation. */
1203 else if (strncmp (p, "%addr", 5) == 0)
1204 {
1205 p += 5;
1206 mode |= M6811_OP_CALL_ADDR;
1207 }
60bcf0fa
NC
1208 }
1209 else if (*p == '.' && (p[1] == '+' || p[1] == '-'))
1210 {
1211 p++;
1212 mode = M6811_OP_JUMP_REL;
1213 }
1214 else if (*p == '[')
1215 {
1216 if (current_architecture & cpu6811)
1217 as_bad (_("Indirect indexed addressing is not valid for 68HC11."));
1218
1219 p++;
7bfda7eb 1220 mode = M6812_OP_D_IDX;
60bcf0fa
NC
1221 p = skip_whites (p);
1222 }
1223 else if (*p == ',') /* Special handling of ,x and ,y. */
1224 {
1225 p++;
1226 input_line_pointer = p;
1227
1228 reg = register_name ();
1229 if (reg != REG_NONE)
1230 {
1231 oper->reg1 = reg;
1232 oper->exp.X_op = O_constant;
1233 oper->exp.X_add_number = 0;
1234 oper->mode = M6812_OP_IDX;
1235 return 1;
1236 }
1237 as_bad (_("Spurious `,' or bad indirect register addressing mode."));
1238 return -1;
1239 }
577300ce
SC
1240 /* Handle 68HC12 page specification in 'call foo,%page(bar)'. */
1241 else if ((opmode & M6812_OP_PAGE) && strncmp (p, "%page", 5) == 0)
1242 {
1243 p += 5;
1244 mode = M6811_OP_PAGE_ADDR | M6812_OP_PAGE | M6811_OP_IND16;
1245 }
60bcf0fa
NC
1246 input_line_pointer = p;
1247
7bfda7eb 1248 if (mode == M6811_OP_NONE || mode == M6812_OP_D_IDX)
60bcf0fa
NC
1249 reg = register_name ();
1250 else
1251 reg = REG_NONE;
1252
1253 if (reg != REG_NONE)
1254 {
1255 p = skip_whites (input_line_pointer);
7bfda7eb 1256 if (*p == ']' && mode == M6812_OP_D_IDX)
60bcf0fa
NC
1257 {
1258 as_bad
1259 (_("Missing second register or offset for indexed-indirect mode."));
1260 return -1;
1261 }
1262
1263 oper->reg1 = reg;
1264 oper->mode = mode | M6812_OP_REG;
1265 if (*p != ',')
1266 {
7bfda7eb 1267 if (mode == M6812_OP_D_IDX)
60bcf0fa
NC
1268 {
1269 as_bad (_("Missing second register for indexed-indirect mode."));
1270 return -1;
1271 }
1272 return 1;
1273 }
1274
1275 p++;
1276 input_line_pointer = p;
1277 reg = register_name ();
1278 if (reg != REG_NONE)
1279 {
1280 p = skip_whites (input_line_pointer);
7bfda7eb 1281 if (mode == M6812_OP_D_IDX)
60bcf0fa
NC
1282 {
1283 if (*p != ']')
1284 {
1285 as_bad (_("Missing `]' to close indexed-indirect mode."));
1286 return -1;
1287 }
1288 p++;
7bfda7eb 1289 oper->mode = M6812_OP_D_IDX;
60bcf0fa
NC
1290 }
1291 input_line_pointer = p;
1292
1293 oper->reg2 = reg;
1294 return 1;
1295 }
1296 return 1;
1297 }
1298
1299 /* In MRI mode, isolate the operand because we can't distinguish
1300 operands from comments. */
1301 if (flag_mri)
1302 {
1303 char c = 0;
1304
1305 p = skip_whites (p);
1306 while (*p && *p != ' ' && *p != '\t')
1307 p++;
1308
1309 if (*p)
1310 {
1311 c = *p;
1312 *p = 0;
1313 }
1314
1315 /* Parse as an expression. */
1316 expression (&oper->exp);
1317
1318 if (c)
1319 {
1320 *p = c;
1321 }
1322 }
1323 else
1324 {
1325 expression (&oper->exp);
1326 }
1327
1328 if (oper->exp.X_op == O_illegal)
1329 {
1330 as_bad (_("Illegal operand."));
1331 return -1;
1332 }
1333 else if (oper->exp.X_op == O_absent)
1334 {
1335 as_bad (_("Missing operand."));
1336 return -1;
1337 }
1338
1339 p = input_line_pointer;
1340
1341 if (mode == M6811_OP_NONE || mode == M6811_OP_DIRECT
7bfda7eb 1342 || mode == M6812_OP_D_IDX)
60bcf0fa
NC
1343 {
1344 p = skip_whites (input_line_pointer);
1345
1346 if (*p == ',')
1347 {
098f2ec3
KH
1348 int possible_mode = M6811_OP_NONE;
1349 char *old_input_line;
7bfda7eb
SC
1350
1351 old_input_line = p;
60bcf0fa
NC
1352 p++;
1353
1354 /* 68HC12 pre increment or decrement. */
1355 if (mode == M6811_OP_NONE)
1356 {
1357 if (*p == '-')
1358 {
ae3e85dd 1359 possible_mode = M6812_PRE_DEC;
60bcf0fa 1360 p++;
60bcf0fa
NC
1361 }
1362 else if (*p == '+')
1363 {
ae3e85dd 1364 possible_mode = M6812_PRE_INC;
60bcf0fa 1365 p++;
60bcf0fa
NC
1366 }
1367 p = skip_whites (p);
1368 }
1369 input_line_pointer = p;
1370 reg = register_name ();
1371
098f2ec3
KH
1372 /* Backtrack if we have a valid constant expression and
1373 it does not correspond to the offset of the 68HC12 indexed
1374 addressing mode (as in N,x). */
1375 if (reg == REG_NONE && mode == M6811_OP_NONE
1376 && possible_mode != M6811_OP_NONE)
1377 {
1378 oper->mode = M6811_OP_IND16 | M6811_OP_JUMP_REL;
1379 input_line_pointer = skip_whites (old_input_line);
1380 return 1;
1381 }
1382
1383 if (possible_mode != M6811_OP_NONE)
1384 mode = possible_mode;
1385
1386 if ((current_architecture & cpu6811)
1387 && possible_mode != M6811_OP_NONE)
1388 as_bad (_("Pre-increment mode is not valid for 68HC11"));
fafb6d17 1389 /* Backtrack. */
60bcf0fa
NC
1390 if (which == 0 && opmode & M6812_OP_IDX_P2
1391 && reg != REG_X && reg != REG_Y
1392 && reg != REG_PC && reg != REG_SP)
1393 {
1394 reg = REG_NONE;
1395 input_line_pointer = p;
1396 }
1397
1398 if (reg == REG_NONE && mode != M6811_OP_DIRECT
1399 && !(mode == M6811_OP_NONE && opmode & M6811_OP_IND16))
1400 {
1401 as_bad (_("Wrong register in register indirect mode."));
1402 return -1;
1403 }
7bfda7eb 1404 if (mode == M6812_OP_D_IDX)
60bcf0fa
NC
1405 {
1406 p = skip_whites (input_line_pointer);
1407 if (*p++ != ']')
1408 {
1409 as_bad (_("Missing `]' to close register indirect operand."));
1410 return -1;
1411 }
1412 input_line_pointer = p;
7bfda7eb
SC
1413 oper->reg1 = reg;
1414 oper->mode = M6812_OP_D_IDX_2;
1415 return 1;
60bcf0fa
NC
1416 }
1417 if (reg != REG_NONE)
1418 {
1419 oper->reg1 = reg;
1420 if (mode == M6811_OP_NONE)
1421 {
1422 p = input_line_pointer;
1423 if (*p == '-')
1424 {
1425 mode = M6812_POST_DEC;
1426 p++;
1427 if (current_architecture & cpu6811)
1428 as_bad
1429 (_("Post-decrement mode is not valid for 68HC11."));
1430 }
1431 else if (*p == '+')
1432 {
1433 mode = M6812_POST_INC;
1434 p++;
1435 if (current_architecture & cpu6811)
1436 as_bad
1437 (_("Post-increment mode is not valid for 68HC11."));
1438 }
1439 else
1440 mode = M6812_OP_IDX;
1441
1442 input_line_pointer = p;
1443 }
1444 else
1445 mode |= M6812_OP_IDX;
1446
1447 oper->mode = mode;
1448 return 1;
1449 }
7bfda7eb 1450 input_line_pointer = old_input_line;
60bcf0fa
NC
1451 }
1452
1453 if (mode == M6812_OP_D_IDX_2)
1454 {
1455 as_bad (_("Invalid indexed indirect mode."));
1456 return -1;
1457 }
1458 }
1459
1460 /* If the mode is not known until now, this is either a label
1461 or an indirect address. */
1462 if (mode == M6811_OP_NONE)
fafb6d17 1463 mode = M6811_OP_IND16 | M6811_OP_JUMP_REL;
60bcf0fa
NC
1464
1465 p = input_line_pointer;
1466 while (*p == ' ' || *p == '\t')
1467 p++;
1468 input_line_pointer = p;
1469 oper->mode = mode;
1470
1471 return 1;
1472}
1473
1474#define M6812_AUTO_INC_DEC (M6812_PRE_INC | M6812_PRE_DEC \
1475 | M6812_POST_INC | M6812_POST_DEC)
1476
1477/* Checks that the number 'num' fits for a given mode. */
1478static int
ca43c854 1479check_range (long num, int mode)
60bcf0fa 1480{
6927f982
NC
1481 if (current_architecture == cpuxgate)
1482 {
1483 switch (mode)
1484 {
1485 case M68XG_OP_IMM3:
1486 return (num >= 0 && num <= 7) ? 1 : 0;
60bcf0fa 1487
6927f982
NC
1488 case M68XG_OP_R_IMM4:
1489 return (num >= 0 && num <= 15) ? 1 : 0;
60bcf0fa 1490
6927f982
NC
1491 case M68XG_OP_R_R_OFFS5:
1492 return (num >= 0 && num <= 31) ? 1 : 0;
60bcf0fa 1493
6927f982
NC
1494 case M68XG_OP_R_IMM8:
1495 return (num >= 0 && num <= 255) ? 1 : 0;
60bcf0fa 1496
6927f982
NC
1497 case M68XG_OP_R_IMM16:
1498 return (num >= 0 && num <= 65535) ? 1 : 0;
60bcf0fa 1499
6927f982
NC
1500 case M68XG_OP_B_MARKER:
1501 return (num >= -512 && num <= 511) ? 1 : 0;
60bcf0fa 1502
6927f982
NC
1503 case M68XG_OP_BRA_MARKER:
1504 return (num >= -1024 && num <= 1023) ? 1 : 0;
60bcf0fa 1505
6927f982
NC
1506 default:
1507 return 0;
1508 }
1509 }
1510 else
1511 {
1512 /* Auto increment and decrement are ok for [-8..8] without 0. */
1513 if (mode & M6812_AUTO_INC_DEC)
1514 return (num != 0 && num <= 8 && num >= -8);
60bcf0fa 1515
6927f982
NC
1516 /* The 68HC12 supports 5, 9 and 16-bit offsets. */
1517 if (mode & (M6812_INDEXED_IND | M6812_INDEXED | M6812_OP_IDX))
1518 mode = M6811_OP_IND16;
60bcf0fa 1519
6927f982
NC
1520 if (mode & M6812_OP_JUMP_REL16)
1521 mode = M6811_OP_IND16;
1522
1523 mode &= ~M6811_OP_BRANCH;
1524 switch (mode)
1525 {
1526 case M6811_OP_IX:
1527 case M6811_OP_IY:
1528 case M6811_OP_DIRECT:
1529 return (num >= 0 && num <= 255) ? 1 : 0;
1530
1531 case M6811_OP_BITMASK:
1532 case M6811_OP_IMM8:
1533 case M6812_OP_PAGE:
1534 return (((num & 0xFFFFFF00) == 0) || ((num & 0xFFFFFF00) == 0xFFFFFF00))
1535 ? 1 : 0;
1536
1537 case M6811_OP_JUMP_REL:
1538 return (num >= -128 && num <= 127) ? 1 : 0;
1539
1540 case M6811_OP_IND16:
1541 case M6811_OP_IND16 | M6812_OP_PAGE:
1542 case M6811_OP_IMM16:
1543 return (((num & 0xFFFF0000) == 0) || ((num & 0xFFFF0000) == 0xFFFF0000))
1544 ? 1 : 0;
1545
1546 case M6812_OP_IBCC_MARKER:
1547 case M6812_OP_TBCC_MARKER:
1548 case M6812_OP_DBCC_MARKER:
1549 return (num >= -256 && num <= 255) ? 1 : 0;
1550
1551 case M6812_OP_TRAP_ID:
1552 return ((num >= 0x30 && num <= 0x39)
1553 || (num >= 0x40 && num <= 0x0ff)) ? 1 : 0;
1554
1555 default:
1556 return 0;
1557 }
60bcf0fa
NC
1558 }
1559}
60bcf0fa
NC
1560\f
1561/* Gas fixup generation. */
1562
1563/* Put a 1 byte expression described by 'oper'. If this expression contains
1564 unresolved symbols, generate an 8-bit fixup. */
1565static void
ca43c854 1566fixup8 (expressionS *oper, int mode, int opmode)
60bcf0fa
NC
1567{
1568 char *f;
1569
1570 f = frag_more (1);
1571
1572 if (oper->X_op == O_constant)
1573 {
1574 if (mode & M6812_OP_TRAP_ID
1575 && !check_range (oper->X_add_number, M6812_OP_TRAP_ID))
1576 {
1577 static char trap_id_warn_once = 0;
1578
1579 as_bad (_("Trap id `%ld' is out of range."), oper->X_add_number);
1580 if (trap_id_warn_once == 0)
1581 {
1582 trap_id_warn_once = 1;
1583 as_bad (_("Trap id must be within [0x30..0x39] or [0x40..0xff]."));
1584 }
1585 }
1586
1587 if (!(mode & M6812_OP_TRAP_ID)
1588 && !check_range (oper->X_add_number, mode))
1589 {
1590 as_bad (_("Operand out of 8-bit range: `%ld'."), oper->X_add_number);
1591 }
1592 number_to_chars_bigendian (f, oper->X_add_number & 0x0FF, 1);
1593 }
1594 else if (oper->X_op != O_register)
1595 {
1596 if (mode & M6812_OP_TRAP_ID)
1597 as_bad (_("The trap id must be a constant."));
1598
1599 if (mode == M6811_OP_JUMP_REL)
1600 {
9798e45d
SK
1601 fix_new_exp (frag_now, f - frag_now->fr_literal, 1,
1602 oper, TRUE, BFD_RELOC_8_PCREL);
60bcf0fa
NC
1603 }
1604 else
1605 {
577300ce 1606 fixS *fixp;
e1838240 1607 bfd_reloc_code_real_type reloc;
577300ce
SC
1608
1609 /* Now create an 8-bit fixup. If there was some %hi, %lo
1610 or %page modifier, generate the reloc accordingly. */
1611 if (opmode & M6811_OP_HIGH_ADDR)
1612 reloc = BFD_RELOC_M68HC11_HI8;
1613 else if (opmode & M6811_OP_LOW_ADDR)
1614 reloc = BFD_RELOC_M68HC11_LO8;
1615 else if (opmode & M6811_OP_PAGE_ADDR)
1616 reloc = BFD_RELOC_M68HC11_PAGE;
1617 else
1618 reloc = BFD_RELOC_8;
1619
1620 fixp = fix_new_exp (frag_now, f - frag_now->fr_literal, 1,
1621 oper, FALSE, reloc);
1622 if (reloc != BFD_RELOC_8)
1623 fixp->fx_no_overflow = 1;
60bcf0fa
NC
1624 }
1625 number_to_chars_bigendian (f, 0, 1);
1626 }
1627 else
1628 {
1629 as_fatal (_("Operand `%x' not recognized in fixup8."), oper->X_op);
1630 }
1631}
1632
986c6f4b 1633/* Put a 2 byte expression described by 'oper'. If this expression contains
60bcf0fa
NC
1634 unresolved symbols, generate a 16-bit fixup. */
1635static void
ca43c854 1636fixup16 (expressionS *oper, int mode, int opmode ATTRIBUTE_UNUSED)
60bcf0fa
NC
1637{
1638 char *f;
1639
1640 f = frag_more (2);
1641
1642 if (oper->X_op == O_constant)
1643 {
1644 if (!check_range (oper->X_add_number, mode))
1645 {
1646 as_bad (_("Operand out of 16-bit range: `%ld'."),
fafb6d17 1647 oper->X_add_number);
60bcf0fa
NC
1648 }
1649 number_to_chars_bigendian (f, oper->X_add_number & 0x0FFFF, 2);
1650 }
1651 else if (oper->X_op != O_register)
1652 {
1653 fixS *fixp;
e1838240 1654 bfd_reloc_code_real_type reloc;
577300ce
SC
1655
1656 if ((opmode & M6811_OP_CALL_ADDR) && (mode & M6811_OP_IMM16))
1657 reloc = BFD_RELOC_M68HC11_LO16;
1658 else if (mode & M6812_OP_JUMP_REL16)
1659 reloc = BFD_RELOC_16_PCREL;
1660 else if (mode & M6812_OP_PAGE)
1661 reloc = BFD_RELOC_M68HC11_LO16;
1662 else
1663 reloc = BFD_RELOC_16;
60bcf0fa
NC
1664
1665 /* Now create a 16-bit fixup. */
1666 fixp = fix_new_exp (frag_now, f - frag_now->fr_literal, 2,
1667 oper,
577300ce
SC
1668 reloc == BFD_RELOC_16_PCREL,
1669 reloc);
60bcf0fa 1670 number_to_chars_bigendian (f, 0, 2);
9798e45d 1671
577300ce
SC
1672 if (reloc == BFD_RELOC_M68HC11_LO16)
1673 fixp->fx_no_overflow = 1;
60bcf0fa
NC
1674 }
1675 else
1676 {
1677 as_fatal (_("Operand `%x' not recognized in fixup16."), oper->X_op);
1678 }
1679}
7bfda7eb
SC
1680
1681/* Put a 3 byte expression described by 'oper'. If this expression contains
1682 unresolved symbols, generate a 24-bit fixup. */
1683static void
ca43c854 1684fixup24 (expressionS *oper, int mode, int opmode ATTRIBUTE_UNUSED)
7bfda7eb
SC
1685{
1686 char *f;
1687
1688 f = frag_more (3);
1689
1690 if (oper->X_op == O_constant)
1691 {
1692 if (!check_range (oper->X_add_number, mode))
1693 {
1694 as_bad (_("Operand out of 16-bit range: `%ld'."),
1695 oper->X_add_number);
1696 }
1697 number_to_chars_bigendian (f, oper->X_add_number & 0x0FFFFFF, 3);
1698 }
1699 else if (oper->X_op != O_register)
1700 {
7bfda7eb 1701 /* Now create a 24-bit fixup. */
87975d2a
AM
1702 fix_new_exp (frag_now, f - frag_now->fr_literal, 3,
1703 oper, FALSE, BFD_RELOC_M68HC11_24);
7bfda7eb
SC
1704 number_to_chars_bigendian (f, 0, 3);
1705 }
1706 else
1707 {
1708 as_fatal (_("Operand `%x' not recognized in fixup16."), oper->X_op);
1709 }
1710}
6927f982
NC
1711
1712/* XGATE Put a 1 byte expression described by 'oper'. If this expression
1713 containts unresolved symbols, generate an 8-bit fixup. */
1714static void
1715fixup8_xg (expressionS *oper, int mode, int opmode)
1716{
1717 char *f;
1718
1719 f = frag_more (1);
1720
1721 if (oper->X_op == O_constant)
1722 {
1723 fixS *fixp;
e1838240 1724 bfd_reloc_code_real_type reloc;
6927f982
NC
1725
1726 if ((opmode & M6811_OP_HIGH_ADDR) || (opmode & M6811_OP_LOW_ADDR))
1727 {
1728 if (opmode & M6811_OP_HIGH_ADDR)
1729 reloc = BFD_RELOC_M68HC11_HI8;
1730 else
1731 reloc = BFD_RELOC_M68HC11_LO8;
1732
1733 fixp = fix_new_exp (frag_now, f - frag_now->fr_literal, 1,
1734 oper, FALSE, reloc);
1735 fixp->fx_no_overflow = 1;
1736 number_to_chars_bigendian (f, 0, 1);
1737 }
1738 else
1739 {
1740 if (!(check_range (oper->X_add_number, mode)))
1741 as_bad (_("Operand out of 8-bit range: `%ld'."),
1742 oper->X_add_number);
1743 number_to_chars_bigendian (f, oper->X_add_number & 0x0FF, 1);
1744 }
1745 }
1746 else if (oper->X_op != O_register)
1747 {
1748 if (mode == M68XG_OP_REL9)
1749 {
6927f982
NC
1750 /* Future improvement:
1751 This fixup/reloc isn't adding on constants to symbols. */
9798e45d
SK
1752 fix_new_exp (frag_now, f - frag_now->fr_literal -1, 2,
1753 oper, TRUE, BFD_RELOC_M68HC12_9_PCREL);
6927f982
NC
1754 }
1755 else if (mode == M68XG_OP_REL10)
1756 {
6927f982
NC
1757 /* Future improvement:
1758 This fixup/reloc isn't adding on constants to symbols. */
9798e45d
SK
1759 fix_new_exp (frag_now, f - frag_now->fr_literal -1, 2,
1760 oper, TRUE, BFD_RELOC_M68HC12_10_PCREL);
6927f982
NC
1761 }
1762 else
1763 {
1764 fixS *fixp;
e1838240 1765 bfd_reloc_code_real_type reloc;
6927f982
NC
1766
1767 /* Now create an 8-bit fixup. If there was some %hi, %lo
1768 modifier, generate the reloc accordingly. */
1769 if (opmode & M6811_OP_HIGH_ADDR)
1770 reloc = BFD_RELOC_M68HC11_HI8;
1771 else if (opmode & M6811_OP_LOW_ADDR)
1772 reloc = BFD_RELOC_M68HC11_LO8;
1773 else
1774 reloc = BFD_RELOC_8;
1775
1776 fixp = fix_new_exp (frag_now, f - frag_now->fr_literal, 1,
1777 oper, FALSE, reloc);
1778 if (reloc != BFD_RELOC_8)
1779 fixp->fx_no_overflow = 1;
1780 }
1781 number_to_chars_bigendian (f, 0, 1);
1782 }
1783 else
1784 as_fatal (_("Operand `%x' not recognized in fixup8."), oper->X_op);
1785}
60bcf0fa
NC
1786\f
1787/* 68HC11 and 68HC12 code generation. */
1788
1789/* Translate the short branch/bsr instruction into a long branch. */
6927f982 1790
60bcf0fa 1791static unsigned char
ca43c854 1792convert_branch (unsigned char code)
60bcf0fa
NC
1793{
1794 if (IS_OPCODE (code, M6812_BSR))
1795 return M6812_JSR;
1796 else if (IS_OPCODE (code, M6811_BSR))
1797 return M6811_JSR;
1798 else if (IS_OPCODE (code, M6811_BRA))
1799 return (current_architecture & cpu6812) ? M6812_JMP : M6811_JMP;
1800 else
1801 as_fatal (_("Unexpected branch conversion with `%x'"), code);
1802
1803 /* Keep gcc happy. */
1804 return M6811_JSR;
1805}
1806
1807/* Start a new insn that contains at least 'size' bytes. Record the
1808 line information of that insn in the dwarf2 debug sections. */
fafb6d17 1809static char *
ca43c854 1810m68hc11_new_insn (int size)
60bcf0fa 1811{
fafb6d17 1812 char *f;
60bcf0fa
NC
1813
1814 f = frag_more (size);
1815
4dc7ead9 1816 dwarf2_emit_insn (size);
fafb6d17 1817
60bcf0fa
NC
1818 return f;
1819}
1820
1821/* Builds a jump instruction (bra, bcc, bsr). */
1822static void
ca43c854
SC
1823build_jump_insn (struct m68hc11_opcode *opcode, operand operands[],
1824 int nb_operands, int jmp_mode)
60bcf0fa
NC
1825{
1826 unsigned char code;
60bcf0fa
NC
1827 char *f;
1828 unsigned long n;
1829
67c1ffbe 1830 /* The relative branch conversion is not supported for
60bcf0fa 1831 brclr and brset. */
9c2799c2
NC
1832 gas_assert ((opcode->format & M6811_OP_BITMASK) == 0);
1833 gas_assert (nb_operands == 1);
1834 gas_assert (operands[0].reg1 == REG_NONE && operands[0].reg2 == REG_NONE);
60bcf0fa
NC
1835
1836 code = opcode->opcode;
60bcf0fa
NC
1837
1838 n = operands[0].exp.X_add_number;
1839
1840 /* Turn into a long branch:
1841 - when force long branch option (and not for jbcc pseudos),
1842 - when jbcc and the constant is out of -128..127 range,
1843 - when branch optimization is allowed and branch out of range. */
1844 if ((jmp_mode == 0 && flag_force_long_jumps)
1845 || (operands[0].exp.X_op == O_constant
1846 && (!check_range (n, opcode->format) &&
1370e33d 1847 (jmp_mode == 1 || flag_fixed_branches == 0))))
60bcf0fa 1848 {
fd99afa7 1849 fix_new (frag_now, frag_now_fix (), 0,
e371935f
SC
1850 &abs_symbol, 0, 1, BFD_RELOC_M68HC11_RL_JUMP);
1851
60bcf0fa
NC
1852 if (code == M6811_BSR || code == M6811_BRA || code == M6812_BSR)
1853 {
1854 code = convert_branch (code);
1855
1856 f = m68hc11_new_insn (1);
1857 number_to_chars_bigendian (f, code, 1);
1858 }
1859 else if (current_architecture & cpu6812)
1860 {
1861 /* 68HC12: translate the bcc into a lbcc. */
1862 f = m68hc11_new_insn (2);
1863 number_to_chars_bigendian (f, M6811_OPCODE_PAGE2, 1);
1864 number_to_chars_bigendian (f + 1, code, 1);
1865 fixup16 (&operands[0].exp, M6812_OP_JUMP_REL16,
1866 M6812_OP_JUMP_REL16);
1867 return;
1868 }
1869 else
1870 {
1871 /* 68HC11: translate the bcc into b!cc +3; jmp <L>. */
1872 f = m68hc11_new_insn (3);
1873 code ^= 1;
1874 number_to_chars_bigendian (f, code, 1);
1875 number_to_chars_bigendian (f + 1, 3, 1);
1876 number_to_chars_bigendian (f + 2, M6811_JMP, 1);
1877 }
1878 fixup16 (&operands[0].exp, M6811_OP_IND16, M6811_OP_IND16);
1879 return;
1880 }
1881
1882 /* Branch with a constant that must fit in 8-bits. */
1883 if (operands[0].exp.X_op == O_constant)
1884 {
1885 if (!check_range (n, opcode->format))
1886 {
1887 as_bad (_("Operand out of range for a relative branch: `%ld'"),
1888 n);
1889 }
1890 else if (opcode->format & M6812_OP_JUMP_REL16)
1891 {
1892 f = m68hc11_new_insn (4);
1893 number_to_chars_bigendian (f, M6811_OPCODE_PAGE2, 1);
1894 number_to_chars_bigendian (f + 1, code, 1);
1895 number_to_chars_bigendian (f + 2, n & 0x0ffff, 2);
1896 }
1897 else
1898 {
1899 f = m68hc11_new_insn (2);
1900 number_to_chars_bigendian (f, code, 1);
1901 number_to_chars_bigendian (f + 1, n & 0x0FF, 1);
1902 }
1903 }
1904 else if (opcode->format & M6812_OP_JUMP_REL16)
1905 {
fd99afa7 1906 fix_new (frag_now, frag_now_fix (), 0,
e371935f
SC
1907 &abs_symbol, 0, 1, BFD_RELOC_M68HC11_RL_JUMP);
1908
60bcf0fa
NC
1909 f = m68hc11_new_insn (2);
1910 number_to_chars_bigendian (f, M6811_OPCODE_PAGE2, 1);
1911 number_to_chars_bigendian (f + 1, code, 1);
1912 fixup16 (&operands[0].exp, M6812_OP_JUMP_REL16, M6812_OP_JUMP_REL16);
1913 }
1914 else
1915 {
91d6fa6a 1916 char *op;
60bcf0fa 1917
fd99afa7 1918 fix_new (frag_now, frag_now_fix (), 0,
e371935f
SC
1919 &abs_symbol, 0, 1, BFD_RELOC_M68HC11_RL_JUMP);
1920
60bcf0fa 1921 /* Branch offset must fit in 8-bits, don't do some relax. */
1370e33d 1922 if (jmp_mode == 0 && flag_fixed_branches)
60bcf0fa 1923 {
91d6fa6a
NC
1924 op = m68hc11_new_insn (1);
1925 number_to_chars_bigendian (op, code, 1);
60bcf0fa
NC
1926 fixup8 (&operands[0].exp, M6811_OP_JUMP_REL, M6811_OP_JUMP_REL);
1927 }
1928
1929 /* bra/bsr made be changed into jmp/jsr. */
1930 else if (code == M6811_BSR || code == M6811_BRA || code == M6812_BSR)
1931 {
4fe7ef96 1932 /* Allocate worst case storage. */
91d6fa6a
NC
1933 op = m68hc11_new_insn (3);
1934 number_to_chars_bigendian (op, code, 1);
1935 number_to_chars_bigendian (op + 1, 0, 1);
4fe7ef96
SC
1936 frag_variant (rs_machine_dependent, 1, 1,
1937 ENCODE_RELAX (STATE_PC_RELATIVE, STATE_UNDF),
1938 operands[0].exp.X_add_symbol, (offsetT) n,
91d6fa6a 1939 op);
60bcf0fa
NC
1940 }
1941 else if (current_architecture & cpu6812)
1942 {
91d6fa6a
NC
1943 op = m68hc11_new_insn (2);
1944 number_to_chars_bigendian (op, code, 1);
1945 number_to_chars_bigendian (op + 1, 0, 1);
60bcf0fa
NC
1946 frag_var (rs_machine_dependent, 2, 2,
1947 ENCODE_RELAX (STATE_CONDITIONAL_BRANCH_6812, STATE_UNDF),
91d6fa6a 1948 operands[0].exp.X_add_symbol, (offsetT) n, op);
60bcf0fa
NC
1949 }
1950 else
1951 {
91d6fa6a
NC
1952 op = m68hc11_new_insn (2);
1953 number_to_chars_bigendian (op, code, 1);
1954 number_to_chars_bigendian (op + 1, 0, 1);
60bcf0fa
NC
1955 frag_var (rs_machine_dependent, 3, 3,
1956 ENCODE_RELAX (STATE_CONDITIONAL_BRANCH, STATE_UNDF),
91d6fa6a 1957 operands[0].exp.X_add_symbol, (offsetT) n, op);
60bcf0fa
NC
1958 }
1959 }
1960}
1961
1962/* Builds a dbne/dbeq/tbne/tbeq instruction. */
1963static void
ca43c854
SC
1964build_dbranch_insn (struct m68hc11_opcode *opcode, operand operands[],
1965 int nb_operands, int jmp_mode)
60bcf0fa
NC
1966{
1967 unsigned char code;
60bcf0fa
NC
1968 char *f;
1969 unsigned long n;
1970
67c1ffbe 1971 /* The relative branch conversion is not supported for
60bcf0fa 1972 brclr and brset. */
9c2799c2
NC
1973 gas_assert ((opcode->format & M6811_OP_BITMASK) == 0);
1974 gas_assert (nb_operands == 2);
1975 gas_assert (operands[0].reg1 != REG_NONE);
60bcf0fa
NC
1976
1977 code = opcode->opcode & 0x0FF;
60bcf0fa
NC
1978
1979 f = m68hc11_new_insn (1);
1980 number_to_chars_bigendian (f, code, 1);
1981
1982 n = operands[1].exp.X_add_number;
1983 code = operands[0].reg1;
1984
1985 if (operands[0].reg1 == REG_NONE || operands[0].reg1 == REG_CCR
1986 || operands[0].reg1 == REG_PC)
1987 as_bad (_("Invalid register for dbcc/tbcc instruction."));
1988
1989 if (opcode->format & M6812_OP_IBCC_MARKER)
1990 code |= 0x80;
1991 else if (opcode->format & M6812_OP_TBCC_MARKER)
1992 code |= 0x40;
1993
1994 if (!(opcode->format & M6812_OP_EQ_MARKER))
1995 code |= 0x20;
1996
1997 /* Turn into a long branch:
1998 - when force long branch option (and not for jbcc pseudos),
1999 - when jdbcc and the constant is out of -256..255 range,
2000 - when branch optimization is allowed and branch out of range. */
2001 if ((jmp_mode == 0 && flag_force_long_jumps)
2002 || (operands[1].exp.X_op == O_constant
2003 && (!check_range (n, M6812_OP_IBCC_MARKER) &&
1370e33d 2004 (jmp_mode == 1 || flag_fixed_branches == 0))))
60bcf0fa
NC
2005 {
2006 f = frag_more (2);
2007 code ^= 0x20;
2008 number_to_chars_bigendian (f, code, 1);
2009 number_to_chars_bigendian (f + 1, M6812_JMP, 1);
2010 fixup16 (&operands[0].exp, M6811_OP_IND16, M6811_OP_IND16);
2011 return;
2012 }
2013
2014 /* Branch with a constant that must fit in 9-bits. */
2015 if (operands[1].exp.X_op == O_constant)
2016 {
2017 if (!check_range (n, M6812_OP_IBCC_MARKER))
2018 {
2019 as_bad (_("Operand out of range for a relative branch: `%ld'"),
2020 n);
2021 }
2022 else
2023 {
2024 if ((long) n < 0)
2025 code |= 0x10;
2026
2027 f = frag_more (2);
2028 number_to_chars_bigendian (f, code, 1);
2029 number_to_chars_bigendian (f + 1, n & 0x0FF, 1);
2030 }
2031 }
2032 else
2033 {
2034 /* Branch offset must fit in 8-bits, don't do some relax. */
1370e33d 2035 if (jmp_mode == 0 && flag_fixed_branches)
60bcf0fa
NC
2036 {
2037 fixup8 (&operands[0].exp, M6811_OP_JUMP_REL, M6811_OP_JUMP_REL);
2038 }
2039
2040 else
2041 {
2042 f = frag_more (2);
2043 number_to_chars_bigendian (f, code, 1);
2044 number_to_chars_bigendian (f + 1, 0, 1);
2045 frag_var (rs_machine_dependent, 3, 3,
2046 ENCODE_RELAX (STATE_XBCC_BRANCH, STATE_UNDF),
2047 operands[1].exp.X_add_symbol, (offsetT) n, f);
2048 }
2049 }
2050}
2051
2052#define OP_EXTENDED (M6811_OP_PAGE2 | M6811_OP_PAGE3 | M6811_OP_PAGE4)
2053
2054/* Assemble the post index byte for 68HC12 extended addressing modes. */
6927f982 2055
60bcf0fa 2056static int
ca43c854 2057build_indexed_byte (operand *op, int format ATTRIBUTE_UNUSED, int move_insn)
60bcf0fa
NC
2058{
2059 unsigned char byte = 0;
2060 char *f;
2061 int mode;
2062 long val;
2063
2064 val = op->exp.X_add_number;
2065 mode = op->mode;
2066 if (mode & M6812_AUTO_INC_DEC)
2067 {
2068 byte = 0x20;
2069 if (mode & (M6812_POST_INC | M6812_POST_DEC))
2070 byte |= 0x10;
2071
2072 if (op->exp.X_op == O_constant)
2073 {
2074 if (!check_range (val, mode))
6927f982
NC
2075 as_bad (_("Increment/decrement value is out of range: `%ld'."),
2076 val);
2077
60bcf0fa
NC
2078 if (mode & (M6812_POST_INC | M6812_PRE_INC))
2079 byte |= (val - 1) & 0x07;
2080 else
2081 byte |= (8 - ((val) & 7)) | 0x8;
2082 }
6927f982 2083
60bcf0fa
NC
2084 switch (op->reg1)
2085 {
2086 case REG_NONE:
2087 as_fatal (_("Expecting a register."));
2088
2089 case REG_X:
2090 byte |= 0;
2091 break;
2092
2093 case REG_Y:
2094 byte |= 0x40;
2095 break;
2096
2097 case REG_SP:
2098 byte |= 0x80;
2099 break;
2100
2101 default:
2102 as_bad (_("Invalid register for post/pre increment."));
2103 break;
2104 }
2105
2106 f = frag_more (1);
2107 number_to_chars_bigendian (f, byte, 1);
2108 return 1;
2109 }
2110
7bfda7eb 2111 if (mode & (M6812_OP_IDX | M6812_OP_D_IDX_2))
60bcf0fa
NC
2112 {
2113 switch (op->reg1)
2114 {
2115 case REG_X:
2116 byte = 0;
2117 break;
2118
2119 case REG_Y:
2120 byte = 1;
2121 break;
2122
2123 case REG_SP:
2124 byte = 2;
2125 break;
2126
2127 case REG_PC:
2128 byte = 3;
2129 break;
2130
2131 default:
2132 as_bad (_("Invalid register."));
2133 break;
2134 }
6927f982 2135
60bcf0fa
NC
2136 if (op->exp.X_op == O_constant)
2137 {
2138 if (!check_range (val, M6812_OP_IDX))
6927f982 2139 as_bad (_("Offset out of 16-bit range: %ld."), val);
60bcf0fa 2140
3739860c
L
2141 if (move_insn && !(val >= -16 && val <= 15)
2142 && ((!(mode & M6812_OP_IDX) && !(mode & M6812_OP_D_IDX_2))
6927f982 2143 || !(current_architecture & cpu9s12x)))
60bcf0fa 2144 {
ae3e85dd 2145 as_bad (_("Offset out of 5-bit range for movw/movb insn: %ld."),
098f2ec3 2146 val);
60bcf0fa
NC
2147 return -1;
2148 }
2149
7bfda7eb 2150 if (val >= -16 && val <= 15 && !(mode & M6812_OP_D_IDX_2))
60bcf0fa
NC
2151 {
2152 byte = byte << 6;
2153 byte |= val & 0x1f;
2154 f = frag_more (1);
2155 number_to_chars_bigendian (f, byte, 1);
2156 return 1;
2157 }
7bfda7eb 2158 else if (val >= -256 && val <= 255 && !(mode & M6812_OP_D_IDX_2))
60bcf0fa
NC
2159 {
2160 byte = byte << 3;
2161 byte |= 0xe0;
2162 if (val < 0)
2163 byte |= 0x1;
2164 f = frag_more (2);
2165 number_to_chars_bigendian (f, byte, 1);
2166 number_to_chars_bigendian (f + 1, val & 0x0FF, 1);
2167 return 2;
2168 }
2169 else
2170 {
2171 byte = byte << 3;
7bfda7eb 2172 if (mode & M6812_OP_D_IDX_2)
60bcf0fa
NC
2173 byte |= 0xe3;
2174 else
2175 byte |= 0xe2;
2176
2177 f = frag_more (3);
2178 number_to_chars_bigendian (f, byte, 1);
2179 number_to_chars_bigendian (f + 1, val & 0x0FFFF, 2);
2180 return 3;
2181 }
2182 }
6927f982 2183
7bfda7eb
SC
2184 if (mode & M6812_OP_D_IDX_2)
2185 {
2186 byte = (byte << 3) | 0xe3;
2187 f = frag_more (1);
2188 number_to_chars_bigendian (f, byte, 1);
2189
2190 fixup16 (&op->exp, 0, 0);
2191 }
2192 else if (op->reg1 != REG_PC)
098f2ec3 2193 {
c9e03e8b
SC
2194 symbolS *sym;
2195 offsetT off;
2196
098f2ec3
KH
2197 f = frag_more (1);
2198 number_to_chars_bigendian (f, byte, 1);
c9e03e8b
SC
2199 sym = op->exp.X_add_symbol;
2200 off = op->exp.X_add_number;
2201 if (op->exp.X_op != O_symbol)
2202 {
2203 sym = make_expr_symbol (&op->exp);
2204 off = 0;
2205 }
6927f982 2206
28d39d1a
NC
2207 /* movb/movw cannot be relaxed. */
2208 if (move_insn)
2209 {
6927f982
NC
2210 if ((mode & M6812_OP_IDX) && (current_architecture & cpu9s12x))
2211 {
2212 /* Must treat as a 16bit relocate as size of final result is unknown. */
2213
2214 byte <<= 3;
6832c67c 2215 byte |= 0xe2;
6927f982 2216 number_to_chars_bigendian (f, byte, 1);
fcdc4d0c 2217 f = frag_more (2);
6927f982
NC
2218 fix_new (frag_now, f - frag_now->fr_literal, 2,
2219 sym, off, 0, BFD_RELOC_M68HC12_16B);
6927f982
NC
2220 return 1;
2221 }
2222 else
2223 {
2224 /* Non-S12X will fail at relocate stage if offset out of range. */
2225 byte <<= 6;
2226 number_to_chars_bigendian (f, byte, 1);
2227 fix_new (frag_now, f - frag_now->fr_literal, 1,
2228 sym, off, 0, BFD_RELOC_M68HC12_5B);
2229 return 1;
2230 }
28d39d1a
NC
2231 }
2232 else
2233 {
2234 number_to_chars_bigendian (f, byte, 1);
2235 frag_var (rs_machine_dependent, 2, 2,
2236 ENCODE_RELAX (STATE_INDEXED_OFFSET, STATE_UNDF),
2237 sym, off, f);
2238 }
098f2ec3 2239 }
88051039 2240 else
098f2ec3
KH
2241 {
2242 f = frag_more (1);
6927f982 2243
28d39d1a
NC
2244 /* movb/movw cannot be relaxed. */
2245 if (move_insn)
2246 {
2247 byte <<= 6;
2248 number_to_chars_bigendian (f, byte, 1);
2249 fix_new (frag_now, f - frag_now->fr_literal, 1,
2250 op->exp.X_add_symbol, op->exp.X_add_number, 0, BFD_RELOC_M68HC12_5B);
2251 return 1;
2252 }
2253 else
2254 {
2255 number_to_chars_bigendian (f, byte, 1);
2256 frag_var (rs_machine_dependent, 2, 2,
2257 ENCODE_RELAX (STATE_INDEXED_PCREL, STATE_UNDF),
2258 op->exp.X_add_symbol,
2259 op->exp.X_add_number, f);
2260 }
098f2ec3 2261 }
60bcf0fa
NC
2262 return 3;
2263 }
2264
7bfda7eb 2265 if (mode & (M6812_OP_REG | M6812_OP_D_IDX))
60bcf0fa 2266 {
7bfda7eb 2267 if (mode & M6812_OP_D_IDX)
60bcf0fa
NC
2268 {
2269 if (op->reg1 != REG_D)
2270 as_bad (_("Expecting register D for indexed indirect mode."));
6927f982 2271 if ((move_insn) && (!(current_architecture & cpu9s12x)))
60bcf0fa
NC
2272 as_bad (_("Indexed indirect mode is not allowed for movb/movw."));
2273
2274 byte = 0xE7;
2275 }
2276 else
2277 {
2278 switch (op->reg1)
2279 {
2280 case REG_A:
2281 byte = 0xE4;
2282 break;
2283
2284 case REG_B:
2285 byte = 0xE5;
2286 break;
2287
2288 default:
2289 as_bad (_("Invalid accumulator register."));
1a0670f3 2290 /* Fall through. */
60bcf0fa
NC
2291
2292 case REG_D:
2293 byte = 0xE6;
2294 break;
2295 }
2296 }
2297 switch (op->reg2)
2298 {
2299 case REG_X:
2300 break;
2301
2302 case REG_Y:
2303 byte |= (1 << 3);
2304 break;
2305
2306 case REG_SP:
2307 byte |= (2 << 3);
2308 break;
2309
2310 case REG_PC:
2311 byte |= (3 << 3);
2312 break;
2313
2314 default:
2315 as_bad (_("Invalid indexed register."));
2316 break;
2317 }
2318 f = frag_more (1);
2319 number_to_chars_bigendian (f, byte, 1);
2320 return 1;
2321 }
2322
6927f982
NC
2323 fprintf (stderr, "mode = 0x%x\nop->reg1 = 0x%x\nop->reg2 = 0x%x\n",
2324 mode, op->reg1, op->reg2);
60bcf0fa
NC
2325 as_fatal (_("Addressing mode not implemented yet."));
2326 return 0;
2327}
2328
2329/* Assemble the 68HC12 register mode byte. */
2330static int
ca43c854 2331build_reg_mode (operand *op, int format)
60bcf0fa
NC
2332{
2333 unsigned char byte;
2334 char *f;
2335
6927f982
NC
2336 if ((format & M6812_OP_SEX_MARKER)
2337 && (op->reg1 != REG_A) && (op->reg1 != REG_B) && (op->reg1 != REG_CCR)
2338 && (!(current_architecture & cpu9s12x)))
60bcf0fa
NC
2339 as_bad (_("Invalid source register for this instruction, use 'tfr'."));
2340 else if (op->reg1 == REG_NONE || op->reg1 == REG_PC)
2341 as_bad (_("Invalid source register."));
2342
2343 if (format & M6812_OP_SEX_MARKER
2344 && op->reg2 != REG_D
2345 && op->reg2 != REG_X && op->reg2 != REG_Y && op->reg2 != REG_SP)
2346 as_bad (_("Invalid destination register for this instruction, use 'tfr'."));
2347 else if (op->reg2 == REG_NONE || op->reg2 == REG_PC)
2348 as_bad (_("Invalid destination register."));
2349
2350 byte = (op->reg1 << 4) | (op->reg2);
2351 if (format & M6812_OP_EXG_MARKER)
2352 byte |= 0x80;
2353
6927f982
NC
2354 if ((format & M6812_OP_SEX_MARKER)
2355 && (op->reg1 == REG_D) && (current_architecture & cpu9s12x))
2356 byte |= 0x08;
2357
60bcf0fa
NC
2358 f = frag_more (1);
2359 number_to_chars_bigendian (f, byte, 1);
2360 return 1;
2361}
2362
6927f982
NC
2363/* build_insn_xg takes a pointer to the opcode entry in the opcode table,
2364 the array of operand expressions and builds the corresponding instruction. */
2365
2366static void
2367build_insn_xg (struct m68hc11_opcode *opcode,
2368 operand operands[],
2369 int nb_operands ATTRIBUTE_UNUSED)
2370{
2371 char *f;
2372 long format;
2373
2374 /* Put the page code instruction if there is one. */
2375 format = opcode->format;
2376
2377 if (!(operands[0].mode & (M6811_OP_LOW_ADDR | M6811_OP_HIGH_ADDR)))
2378 /* Need to retain those two modes, but clear for others. */
2379 operands[0].mode = 0;
2380
2381 if (format & M68XG_OP_R_IMM8)
2382 {
2383 /* These opcodes are byte followed by imm8. */
2384 f = m68hc11_new_insn (1);
2385 number_to_chars_bigendian (f, opcode->opcode >> 8, 1);
2386 fixup8_xg (&operands[0].exp, format, operands[0].mode);
2387 }
2388 else if (format & M68XG_OP_R_IMM16)
2389 {
2390 fixS *fixp;
2391 /* These opcodes expand into two imm8 instructions.
2392 Emit as low:high as per the Freescale datasheet.
2393 The linker requires them to be adjacent to handle the upper byte. */
2394
2395 /* Build low byte. */
2396 f = m68hc11_new_insn (1);
2397 number_to_chars_bigendian (f, opcode->opcode >> 8, 1);
2398 operands[0].mode = M6811_OP_LOW_ADDR;
2399 f = frag_more (1);
2400 fixp = fix_new_exp (frag_now, f - frag_now->fr_literal, 1,
2401 &operands[0].exp, FALSE, BFD_RELOC_M68HC12_LO8XG);
2402 fixp->fx_no_overflow = 1;
2403 number_to_chars_bigendian (f, 0, 1);
2404
2405 /* Build high byte. */
2406 f = m68hc11_new_insn (1);
2407 number_to_chars_bigendian (f, (opcode->opcode >> 8) | 0x08, 1);
2408 operands[0].mode = M6811_OP_HIGH_ADDR;
2409 f = frag_more (1);
2410 fixp = fix_new_exp (frag_now, f - frag_now->fr_literal, 1,
2411 &operands[0].exp, FALSE, BFD_RELOC_M68HC12_HI8XG);
2412 fixp->fx_no_overflow = 1;
2413 number_to_chars_bigendian (f, 0, 1);
2414
2415 }
2416 else if (format & M68XG_OP_REL9)
2417 {
2418 f = m68hc11_new_insn (1);
2419 number_to_chars_bigendian (f, opcode->opcode >> 8, 1); /* High byte. */
2420 fixup8_xg (&operands[0].exp, format, M68XG_OP_REL9);
3739860c 2421 }
6927f982
NC
2422 else if (format & M68XG_OP_REL10)
2423 {
2424 f = m68hc11_new_insn (1);
2425 number_to_chars_bigendian (f, opcode->opcode >> 8, 1); /* High byte. */
2426 fixup8_xg (&operands[0].exp, format, M68XG_OP_REL10);
2427 }
2428 else
2429 {
2430 f = m68hc11_new_insn (2);
2431 number_to_chars_bigendian (f, opcode->opcode, 2);
2432 }
2433 return;
2434}
2435
60bcf0fa 2436/* build_insn takes a pointer to the opcode entry in the opcode table,
67c1ffbe 2437 the array of operand expressions and builds the corresponding instruction.
60bcf0fa
NC
2438 This operation only deals with non relative jumps insn (need special
2439 handling). */
6927f982 2440
60bcf0fa 2441static void
6927f982
NC
2442build_insn (struct m68hc11_opcode *opcode,
2443 operand operands[],
ca43c854 2444 int nb_operands ATTRIBUTE_UNUSED)
60bcf0fa
NC
2445{
2446 int i;
2447 char *f;
60bcf0fa
NC
2448 long format;
2449 int move_insn = 0;
2450
2451 /* Put the page code instruction if there is one. */
2452 format = opcode->format;
e371935f 2453
e371935f 2454 if (format & M6811_OP_BRANCH)
fd99afa7 2455 fix_new (frag_now, frag_now_fix (), 0,
e371935f
SC
2456 &abs_symbol, 0, 1, BFD_RELOC_M68HC11_RL_JUMP);
2457
60bcf0fa
NC
2458 if (format & OP_EXTENDED)
2459 {
2460 int page_code;
2461
2462 f = m68hc11_new_insn (2);
2463 if (format & M6811_OP_PAGE2)
2464 page_code = M6811_OPCODE_PAGE2;
2465 else if (format & M6811_OP_PAGE3)
2466 page_code = M6811_OPCODE_PAGE3;
2467 else
2468 page_code = M6811_OPCODE_PAGE4;
2469
2470 number_to_chars_bigendian (f, page_code, 1);
2471 f++;
60bcf0fa
NC
2472 }
2473 else
2474 f = m68hc11_new_insn (1);
2475
2476 number_to_chars_bigendian (f, opcode->opcode, 1);
2477
2478 i = 0;
2479
2480 /* The 68HC12 movb and movw instructions are special. We have to handle
2481 them in a special way. */
2482 if (format & (M6812_OP_IND16_P2 | M6812_OP_IDX_P2))
2483 {
2484 move_insn = 1;
2485 if (format & M6812_OP_IDX)
2486 {
986c6f4b 2487 build_indexed_byte (&operands[0], format, 1);
60bcf0fa
NC
2488 i = 1;
2489 format &= ~M6812_OP_IDX;
2490 }
2491 if (format & M6812_OP_IDX_P2)
2492 {
986c6f4b 2493 build_indexed_byte (&operands[1], format, 1);
60bcf0fa
NC
2494 i = 0;
2495 format &= ~M6812_OP_IDX_P2;
2496 }
2497 }
2498
2499 if (format & (M6811_OP_DIRECT | M6811_OP_IMM8))
2500 {
60bcf0fa
NC
2501 fixup8 (&operands[i].exp,
2502 format & (M6811_OP_DIRECT | M6811_OP_IMM8 | M6812_OP_TRAP_ID),
2503 operands[i].mode);
2504 i++;
2505 }
7bfda7eb
SC
2506 else if (IS_CALL_SYMBOL (format) && nb_operands == 1)
2507 {
2508 format &= ~M6812_OP_PAGE;
2509 fixup24 (&operands[i].exp, format & M6811_OP_IND16,
2510 operands[i].mode);
2511 i++;
2512 }
60bcf0fa
NC
2513 else if (format & (M6811_OP_IMM16 | M6811_OP_IND16))
2514 {
7bfda7eb
SC
2515 fixup16 (&operands[i].exp,
2516 format & (M6811_OP_IMM16 | M6811_OP_IND16 | M6812_OP_PAGE),
60bcf0fa
NC
2517 operands[i].mode);
2518 i++;
2519 }
2520 else if (format & (M6811_OP_IX | M6811_OP_IY))
2521 {
2522 if ((format & M6811_OP_IX) && (operands[0].reg1 != REG_X))
2523 as_bad (_("Invalid indexed register, expecting register X."));
2524 if ((format & M6811_OP_IY) && (operands[0].reg1 != REG_Y))
2525 as_bad (_("Invalid indexed register, expecting register Y."));
2526
60bcf0fa
NC
2527 fixup8 (&operands[0].exp, M6811_OP_IX, operands[0].mode);
2528 i = 1;
2529 }
2530 else if (format &
7bfda7eb
SC
2531 (M6812_OP_IDX | M6812_OP_IDX_2 | M6812_OP_IDX_1
2532 | M6812_OP_D_IDX | M6812_OP_D_IDX_2))
60bcf0fa 2533 {
986c6f4b 2534 build_indexed_byte (&operands[i], format, move_insn);
60bcf0fa
NC
2535 i++;
2536 }
2537 else if (format & M6812_OP_REG && current_architecture & cpu6812)
2538 {
986c6f4b 2539 build_reg_mode (&operands[i], format);
60bcf0fa
NC
2540 i++;
2541 }
2542 if (format & M6811_OP_BITMASK)
2543 {
60bcf0fa
NC
2544 fixup8 (&operands[i].exp, M6811_OP_BITMASK, operands[i].mode);
2545 i++;
2546 }
2547 if (format & M6811_OP_JUMP_REL)
2548 {
60bcf0fa 2549 fixup8 (&operands[i].exp, M6811_OP_JUMP_REL, operands[i].mode);
60bcf0fa
NC
2550 }
2551 else if (format & M6812_OP_IND16_P2)
2552 {
60bcf0fa
NC
2553 fixup16 (&operands[1].exp, M6811_OP_IND16, operands[1].mode);
2554 }
7bfda7eb
SC
2555 if (format & M6812_OP_PAGE)
2556 {
2557 fixup8 (&operands[i].exp, M6812_OP_PAGE, operands[i].mode);
2558 }
60bcf0fa 2559}
60bcf0fa
NC
2560\f
2561/* Opcode identification and operand analysis. */
2562
2563/* find() gets a pointer to an entry in the opcode table. It must look at all
2564 opcodes with the same name and use the operands to choose the correct
2565 opcode. Returns the opcode pointer if there was a match and 0 if none. */
2566static struct m68hc11_opcode *
ca43c854 2567find (struct m68hc11_opcode_def *opc, operand operands[], int nb_operands)
60bcf0fa
NC
2568{
2569 int i, match, pos;
2570 struct m68hc11_opcode *opcode;
2571 struct m68hc11_opcode *op_indirect;
2572
2573 op_indirect = 0;
2574 opcode = opc->opcode;
2575
6927f982
NC
2576 /* Now search the opcode table table for one with operands
2577 that matches what we've got. */
2578
2579 if (current_architecture & cpuxgate)
2580 {
2581 /* Many XGATE insns are simple enough that we get an exact match. */
2582 for (pos = match = 0; match == 0 && pos < opc->nb_modes; pos++, opcode++)
2583 if (opcode->format == operands[nb_operands-1].mode)
2584 return opcode;
2585
2586 return 0;
2587 }
2588
2589 /* Non XGATE */
2590
60bcf0fa
NC
2591 /* Now search the opcode table table for one with operands
2592 that matches what we've got. We're only done if the operands matched so
2593 far AND there are no more to check. */
2594 for (pos = match = 0; match == 0 && pos < opc->nb_modes; pos++, opcode++)
2595 {
2596 int poss_indirect = 0;
2597 long format = opcode->format;
2598 int expect;
2599
2600 expect = 0;
2601 if (opcode->format & M6811_OP_MASK)
2602 expect++;
2603 if (opcode->format & M6811_OP_BITMASK)
2604 expect++;
2605 if (opcode->format & (M6811_OP_JUMP_REL | M6812_OP_JUMP_REL16))
2606 expect++;
2607 if (opcode->format & (M6812_OP_IND16_P2 | M6812_OP_IDX_P2))
2608 expect++;
7bfda7eb
SC
2609 if ((opcode->format & M6812_OP_PAGE)
2610 && (!IS_CALL_SYMBOL (opcode->format) || nb_operands == 2))
2611 expect++;
60bcf0fa
NC
2612
2613 for (i = 0; expect == nb_operands && i < nb_operands; i++)
2614 {
2615 int mode = operands[i].mode;
2616
2617 if (mode & M6811_OP_IMM16)
2618 {
2619 if (format &
2620 (M6811_OP_IMM8 | M6811_OP_IMM16 | M6811_OP_BITMASK))
2621 continue;
2622 break;
2623 }
2624 if (mode == M6811_OP_DIRECT)
2625 {
2626 if (format & M6811_OP_DIRECT)
2627 continue;
2628
2629 /* If the operand is a page 0 operand, remember a
2630 possible <abs-16> addressing mode. We mark
2631 this and continue to check other operands. */
2632 if (format & M6811_OP_IND16
2633 && flag_strict_direct_addressing && op_indirect == 0)
2634 {
2635 poss_indirect = 1;
2636 continue;
2637 }
2638 break;
2639 }
2640 if (mode & M6811_OP_IND16)
2641 {
2642 if (i == 0 && (format & M6811_OP_IND16) != 0)
2643 continue;
7bfda7eb
SC
2644 if (i != 0 && (format & M6812_OP_PAGE) != 0)
2645 continue;
60bcf0fa
NC
2646 if (i != 0 && (format & M6812_OP_IND16_P2) != 0)
2647 continue;
2648 if (i == 0 && (format & M6811_OP_BITMASK))
2649 break;
2650 }
2651 if (mode & (M6811_OP_JUMP_REL | M6812_OP_JUMP_REL16))
2652 {
2653 if (format & (M6811_OP_JUMP_REL | M6812_OP_JUMP_REL16))
2654 continue;
2655 }
2656 if (mode & M6812_OP_REG)
2657 {
df86943d
NC
2658 if (i == 0
2659 && (format & M6812_OP_REG)
2660 && (operands[i].reg2 == REG_NONE))
60bcf0fa 2661 continue;
df86943d
NC
2662 if (i == 0
2663 && (format & M6812_OP_REG)
2664 && (format & M6812_OP_REG_2)
2665 && (operands[i].reg2 != REG_NONE))
60bcf0fa 2666 continue;
df86943d
NC
2667 if (i == 0
2668 && (format & M6812_OP_IDX)
2669 && (operands[i].reg2 != REG_NONE))
2670 continue;
df86943d
NC
2671 if (i == 0
2672 && (format & M6812_OP_IDX)
60bcf0fa
NC
2673 && (format & (M6812_OP_IND16_P2 | M6812_OP_IDX_P2)))
2674 continue;
df86943d
NC
2675 if (i == 1
2676 && (format & M6812_OP_IDX_P2))
60bcf0fa
NC
2677 continue;
2678 break;
2679 }
2680 if (mode & M6812_OP_IDX)
2681 {
2682 if (format & M6811_OP_IX && operands[i].reg1 == REG_X)
2683 continue;
2684 if (format & M6811_OP_IY && operands[i].reg1 == REG_Y)
2685 continue;
2686 if (i == 0
2687 && format & (M6812_OP_IDX | M6812_OP_IDX_1 | M6812_OP_IDX_2)
2688 && (operands[i].reg1 == REG_X
2689 || operands[i].reg1 == REG_Y
2690 || operands[i].reg1 == REG_SP
2691 || operands[i].reg1 == REG_PC))
2692 continue;
6927f982 2693 if (i == 1 && (format & M6812_OP_IDX_P2))
60bcf0fa
NC
2694 continue;
2695 }
7bfda7eb
SC
2696 if (mode & format & (M6812_OP_D_IDX | M6812_OP_D_IDX_2))
2697 {
2698 if (i == 0)
2699 continue;
2700 }
60bcf0fa
NC
2701 if (mode & M6812_AUTO_INC_DEC)
2702 {
2703 if (i == 0
2704 && format & (M6812_OP_IDX | M6812_OP_IDX_1 |
2705 M6812_OP_IDX_2))
2706 continue;
2707 if (i == 1 && format & M6812_OP_IDX_P2)
2708 continue;
2709 }
2710 break;
2711 }
2712 match = i == nb_operands;
2713
2714 /* Operands are ok but an operand uses page 0 addressing mode
2715 while the insn supports abs-16 mode. Keep a reference to this
2716 insns in case there is no insn supporting page 0 addressing. */
2717 if (match && poss_indirect)
2718 {
2719 op_indirect = opcode;
2720 match = 0;
2721 }
2722 if (match)
2723 break;
2724 }
2725
2726 /* Page 0 addressing is used but not supported by any insn.
2727 If absolute addresses are supported, we use that insn. */
2728 if (match == 0 && op_indirect)
2729 {
2730 opcode = op_indirect;
2731 match = 1;
2732 }
2733
6927f982 2734 return match ? opcode : 0;
60bcf0fa
NC
2735}
2736
60bcf0fa
NC
2737/* Find the real opcode and its associated operands. We use a progressive
2738 approach here. On entry, 'opc' points to the first opcode in the
2739 table that matches the opcode name in the source line. We try to
2740 isolate an operand, find a possible match in the opcode table.
2741 We isolate another operand if no match were found. The table 'operands'
2742 is filled while operands are recognized.
2743
2744 Returns the opcode pointer that matches the opcode name in the
2745 source line and the associated operands. */
2746static struct m68hc11_opcode *
ca43c854
SC
2747find_opcode (struct m68hc11_opcode_def *opc, operand operands[],
2748 int *nb_operands)
60bcf0fa
NC
2749{
2750 struct m68hc11_opcode *opcode;
2751 int i;
2752
2753 if (opc->max_operands == 0)
2754 {
2755 *nb_operands = 0;
2756 return opc->opcode;
2757 }
2758
2759 for (i = 0; i < opc->max_operands;)
2760 {
2761 int result;
2762
2763 result = get_operand (&operands[i], i, opc->format);
2764 if (result <= 0)
fafb6d17 2765 return 0;
60bcf0fa
NC
2766
2767 /* Special case where the bitmask of the bclr/brclr
2768 instructions is not introduced by #.
2769 Example: bclr 3,x $80. */
2770 if (i == 1 && (opc->format & M6811_OP_BITMASK)
2771 && (operands[i].mode & M6811_OP_IND16))
2772 {
2773 operands[i].mode = M6811_OP_IMM16;
2774 }
2775
2776 i += result;
2777 *nb_operands = i;
2778 if (i >= opc->min_operands)
2779 {
2780 opcode = find (opc, operands, i);
577300ce
SC
2781
2782 /* Another special case for 'call foo,page' instructions.
2783 Since we support 'call foo' and 'call foo,page' we must look
2784 if the optional page specification is present otherwise we will
2785 assemble immediately and treat the page spec as garbage. */
7bfda7eb
SC
2786 if (opcode && !(opcode->format & M6812_OP_PAGE))
2787 return opcode;
2788
2789 if (opcode && *input_line_pointer != ',')
fafb6d17 2790 return opcode;
60bcf0fa
NC
2791 }
2792
2793 if (*input_line_pointer == ',')
2794 input_line_pointer++;
2795 }
82efde3a 2796
60bcf0fa
NC
2797 return 0;
2798}
2799
2800#define M6812_XBCC_MARKER (M6812_OP_TBCC_MARKER \
2801 | M6812_OP_DBCC_MARKER \
2802 | M6812_OP_IBCC_MARKER)
60bcf0fa
NC
2803\f
2804/* Gas line assembler entry point. */
2805
2806/* This is the main entry point for the machine-dependent assembler. str
2807 points to a machine-dependent instruction. This function is supposed to
2808 emit the frags/bytes it assembles to. */
2809void
ca43c854 2810md_assemble (char *str)
60bcf0fa
NC
2811{
2812 struct m68hc11_opcode_def *opc;
2813 struct m68hc11_opcode *opcode;
2814
6927f982 2815 struct m68hc11_opcode opcode_local;
2132e3a3
AM
2816 unsigned char *op_start, *op_end;
2817 char *save;
60bcf0fa
NC
2818 char name[20];
2819 int nlen = 0;
2820 operand operands[M6811_MAX_OPERANDS];
878bcc43 2821 int nb_operands = 0;
60bcf0fa
NC
2822 int branch_optimize = 0;
2823 int alias_id = -1;
2824
fafb6d17 2825 /* Drop leading whitespace. */
60bcf0fa
NC
2826 while (*str == ' ')
2827 str++;
2828
2829 /* Find the opcode end and get the opcode in 'name'. The opcode is forced
2830 lower case (the opcode table only has lower case op-codes). */
2132e3a3 2831 for (op_start = op_end = (unsigned char *) str;
4ad7ac30 2832 *op_end && !is_end_of_line[*op_end] && *op_end != ' ';
60bcf0fa
NC
2833 op_end++)
2834 {
3882b010 2835 name[nlen] = TOLOWER (op_start[nlen]);
60bcf0fa 2836 nlen++;
4ad7ac30
AM
2837 if (nlen == sizeof (name) - 1)
2838 break;
60bcf0fa
NC
2839 }
2840 name[nlen] = 0;
2841
2842 if (nlen == 0)
2843 {
2844 as_bad (_("No instruction or missing opcode."));
2845 return;
2846 }
2847
6927f982
NC
2848 if (current_architecture == cpuxgate)
2849 {
2850 /* Find the opcode definition given its name. */
2851 opc = (struct m68hc11_opcode_def *) hash_find (m68hc11_hash, name);
2852 if (opc == NULL)
2853 {
2854 as_bad (_("Opcode `%s' is not recognized."), name);
2855 return;
2856 }
2857
2858 /* Grab a local copy. */
2859 opcode_local.name = opc->opcode->name;
2860 /* These will be incomplete where multiple variants exist. */
2861 opcode_local.opcode = opc->opcode->opcode;
2862 opcode_local.format = opc->opcode->format;
2863
2864 save = input_line_pointer;
2865 input_line_pointer = (char *) op_end;
2866
2867 if (opc->format == M68XG_OP_NONE)
2868 {
2869 /* No special handling required. */
2870 opcode_local.format = M68XG_OP_NONE;
2871 build_insn_xg (opc->opcode, operands, 0);
2872 return;
2873 }
2874
2875 /* Special handling of TFR. */
2876 if (strncmp (opc->opcode->name, "tfr",3) == 0)
2877 {
2878 /* There must be two operands with a comma. */
2879 input_line_pointer = skip_whites (input_line_pointer);
2880 operands[0].reg1 = register_name ();
2881 if (operands[0].reg1 == REG_NONE)
2882 {
2883 as_bad ("Invalid register\n");
2884 return;
2885 }
2886 input_line_pointer = skip_whites (input_line_pointer);
2887 if (*input_line_pointer != ',')
2888 {
2889 as_bad ("Missing comma.\n");
2890 return;
2891 }
2892 input_line_pointer++;
2893 input_line_pointer = skip_whites (input_line_pointer);
2894 operands[1].reg1 = register_name ();
2895 if (operands[1].reg1 == REG_NONE)
2896 {
2897 as_bad ("Invalid register\n");
2898 return;
2899 }
2900 input_line_pointer = skip_whites (input_line_pointer);
2901 if (*input_line_pointer != '\n' && *input_line_pointer)
2902 {
2903 as_bad (_("Garbage at end of instruction: `%s'."),
2904 input_line_pointer);
2905 return;
2906 }
2907 if (operands[1].reg1 == REG_CCR) /* ,CCR */
2908 opc->opcode->opcode = 0x00f8 | ( operands[0].reg1 << 8);
2909 else if (operands[0].reg1 == REG_CCR) /* CCR, */
2910 opc->opcode->opcode = 0x00f9 | ( operands[1].reg1 << 8);
2911 else if (operands[1].reg1 == REG_PC) /* ,PC */
2912 opc->opcode->opcode = 0x00fa | ( operands[0].reg1 << 8);
2913 else
2914 {
2915 as_bad ("Invalid operand to TFR\n");
2916 return;
2917 }
2918 /* no special handling required */
2919 opcode_local.format = M68XG_OP_NONE;
2920 opcode_local.opcode = opc->opcode->opcode;
2921 build_insn_xg (&opcode_local, operands, 0);
2922 return;
2923 }
2924
2925 /* CSEM, SSEM */
2926 if (opc->format & M68XG_OP_IMM3)
2927 {
2928 /* Either IMM3 or R */
2929 input_line_pointer = skip_whites (input_line_pointer);
2930 if ((*input_line_pointer == 'R') || (*input_line_pointer == 'r'))
2931 {
2932 operands[0].reg1 = register_name ();
2933 if (operands[0].reg1 == REG_NONE)
2934 {
2935 as_bad ("Invalid register\n");
2936 return;
2937 }
2938 operands[0].mode = M68XG_OP_R;
2939 /* One opcode has multiple modes, so find right one. */
2940 opcode = find (opc, operands, 1);
2941 if (opcode)
2942 {
2943 opcode_local.opcode = opcode->opcode
2944 | (operands[0].reg1 << 8);
2945 opcode_local.format = M68XG_OP_NONE;
2946 build_insn_xg (&opcode_local, operands, 1);
2947 }
2948 else
2949 as_bad ("No opcode found\n");
3739860c 2950
6927f982
NC
2951 return;
2952 }
2953 else
2954 {
2955 if (*input_line_pointer == '#')
2956 input_line_pointer++;
2957
2958 expression (&operands[0].exp);
2959 if (operands[0].exp.X_op == O_illegal)
2960 {
2961 as_bad (_("Illegal operand."));
2962 return;
2963 }
2964 else if (operands[0].exp.X_op == O_absent)
2965 {
2966 as_bad (_("Missing operand."));
2967 return;
2968 }
2969
2970 if (check_range (operands[0].exp.X_add_number,M68XG_OP_IMM3))
2971 {
2972 opcode_local.opcode |= (operands[0].exp.X_add_number);
2973 operands[0].mode = M68XG_OP_IMM3;
3739860c 2974
6927f982
NC
2975 opcode = find (opc, operands, 1);
2976 if (opcode)
2977 {
2978 opcode_local.opcode = opcode->opcode;
2979 opcode_local.opcode
2980 |= (operands[0].exp.X_add_number) << 8;
2981 opcode_local.format = M68XG_OP_NONE;
2982 build_insn_xg (&opcode_local, operands, 1);
2983 }
2984 else
2985 as_bad ("No opcode found\n");
2986
2987 return;
2988 }
2989 else
2990 {
2991 as_bad ("Number out of range for IMM3\n");
2992 return;
2993 }
2994 }
2995 }
2996
2997 /* Special handling of SIF. */
2998 if (strncmp (opc->opcode->name, "sif",3) == 0)
2999 {
3000 /* Either OP_NONE or OP_RS. */
3001 if (*input_line_pointer != '\n')
3002 input_line_pointer = skip_whites (input_line_pointer);
3003
3004 if ((*input_line_pointer == '\n') || (*input_line_pointer == '\r')
3005 || (*input_line_pointer == '\0'))
3006 opc->opcode->opcode = 0x0300;
3007 else
3008 {
3009 operands[0].reg1 = register_name ();
3010 if (operands[0].reg1 == REG_NONE)
3011 {
3012 as_bad ("Invalid register\n");
3013 return;
3014 }
3015 opcode_local.opcode = 0x00f7 | (operands[0].reg1 << 8);
3016 }
3017 opcode_local.format = M68XG_OP_NONE;
3018 build_insn_xg (&opcode_local, operands, 0);
3019 return;
3020 }
3021
3022 /* SEX, PAR, JAL plus aliases NEG, TST, COM */
3023 if (opc->format & M68XG_OP_R)
3024 {
3025 input_line_pointer = skip_whites (input_line_pointer);
3026 operands[0].reg1 = register_name ();
3027 if (operands[0].reg1 == REG_NONE)
3028 {
3029 as_bad ("Invalid register\n");
3030 return;
3031 }
3032 if ((*input_line_pointer == '\n') || (*input_line_pointer == '\r')
3033 || (*input_line_pointer == '\0'))
3034 {
3035 /* Likely to be OP R. */
3036 if (opc->format & M68XG_OP_R)
3037 {
3038 operands[0].mode = M68XG_OP_R;
3039
3040 opcode = find (opc, operands, 1);
3041 if (opcode)
3042 {
3043 if ((strncmp (opc->opcode->name, "com",3) == 0)
3044 || (strncmp (opc->opcode->name, "neg",3) == 0))
3045 /* Special case for com RD as alias for sub RD,R0,RS */
3046 /* Special case for neg RD as alias for sub RD,R0,RS */
3047 opcode_local.opcode = opcode->opcode
3048 | (operands[0].reg1 << 8) | (operands[0].reg1 << 2);
3049 else if (strncmp (opc->opcode->name, "tst",3) == 0)
3050 /* Special case for tst RS alias for sub R0, RS, R0 */
3051 opcode_local.opcode = opcode->opcode
3052 | (operands[0].reg1 << 5);
3053 else
3054 opcode_local.opcode |= (operands[0].reg1 << 8);
3055 }
3056 opcode_local.format = M68XG_OP_NONE;
3057 build_insn_xg (&opcode_local, operands, 0);
3058 }
3059 else
3060 as_bad ("No valid mode found\n");
3061
3062 return;
3063 }
3064 }
3065
3066 if (opc->format & (M68XG_OP_REL9 | M68XG_OP_REL10))
3067 {
3739860c 3068 opcode_local.format = opc->format;
6927f982
NC
3069 input_line_pointer = skip_whites (input_line_pointer);
3070 expression (&operands[0].exp);
3071 if (operands[0].exp.X_op == O_illegal)
3072 {
3073 as_bad (_("Illegal operand."));
3074 return;
3075 }
3076 else if (operands[0].exp.X_op == O_absent)
3077 {
3078 as_bad (_("Missing operand."));
3079 return;
3080 }
3081 opcode_local.opcode = opc->opcode->opcode;
3082 build_insn_xg (&opcode_local, operands, 1);
3083 return;
3084 }
3085
3086
3087 /* For other command formats, parse input line and determine the mode
3088 we are using as we go. */
3089
3090 input_line_pointer = skip_whites (input_line_pointer);
3091 if ((*input_line_pointer == '\n') || (*input_line_pointer == '\r')
3092 || (*input_line_pointer == '\0'))
3093 return; /* nothing left */
3739860c 3094
6927f982
NC
3095 if (*input_line_pointer == '#')
3096 {
3097 as_bad ("No register specified before hash\n");
3098 return;
3739860c 3099 }
6927f982
NC
3100
3101 /* first operand is expected to be a register */
3102 if ((*input_line_pointer == 'R') || (*input_line_pointer == 'r'))
3103 {
3104 operands[0].reg1 = register_name ();
3105 if (operands[0].reg1 == REG_NONE)
3106 {
3107 as_bad ("Invalid register\n");
3108 return;
3109 }
3110 }
3111
3112 input_line_pointer = skip_whites (input_line_pointer);
3113 if (*input_line_pointer != ',')
3114 {
3115 as_bad ("Missing operand\n");
3116 return;
3117 }
3118 input_line_pointer++;
3119 input_line_pointer = skip_whites (input_line_pointer);
3120
3121 if (*input_line_pointer == '#')
3122 {
3123 /* Some kind of immediate mode, check if this is possible. */
3124 if (!(opc->format
3125 & (M68XG_OP_R_IMM8 | M68XG_OP_R_IMM16 | M68XG_OP_R_IMM4)))
3126 as_bad ("Invalid immediate mode for `%s'", opc->opcode->name);
3127 else
3128 {
3129 input_line_pointer++;
3130 input_line_pointer = skip_whites (input_line_pointer);
3131 if (strncmp (input_line_pointer, "%hi", 3) == 0)
3132 {
3133 input_line_pointer += 3;
3134 operands[0].mode = M6811_OP_HIGH_ADDR;
3135 }
3136 else if (strncmp (input_line_pointer, "%lo", 3) == 0)
3137 {
3138 input_line_pointer += 3;
3139 operands[0].mode = M6811_OP_LOW_ADDR;
3140 }
3141 else
3142 operands[0].mode = 0;
3143
3144 expression (&operands[0].exp);
3145 if (operands[0].exp.X_op == O_illegal)
3146 {
3147 as_bad (_("Illegal operand."));
3148 return;
3149 }
3150 else if (operands[0].exp.X_op == O_absent)
3151 {
3152 as_bad (_("Missing operand."));
3153 return;
3154 }
3155 /* ok so far, can only be one mode */
3156 opcode_local.format = opc->format
3157 & (M68XG_OP_R_IMM8 | M68XG_OP_R_IMM16 | M68XG_OP_R_IMM4);
3158 if (opcode_local.format & M68XG_OP_R_IMM4)
3159 {
3160 operands[0].mode = M68XG_OP_R_IMM4;
3161 /* same opcodes have multiple modes, so find right one */
3162 opcode = find (opc, operands, 1);
3163 if (opcode)
3164 opcode_local.opcode = opcode->opcode
3165 | (operands[0].reg1 << 8);
3739860c 3166
6927f982
NC
3167 if (operands[0].exp.X_op != O_constant)
3168 as_bad ("Only constants supported at for IMM4 mode\n");
3169 else
3170 {
3739860c 3171 if (check_range
6927f982
NC
3172 (operands[0].exp.X_add_number,M68XG_OP_R_IMM4))
3173 opcode_local.opcode
3174 |= (operands[0].exp.X_add_number << 4);
3175 else
3176 as_bad ("Number out of range for IMM4\n");
3177 }
3178 opcode_local.format = M68XG_OP_NONE;
3179 }
3180 else if (opcode_local.format & M68XG_OP_R_IMM16)
3181 {
3182 operands[0].mode = M68XG_OP_R_IMM16;
3183
3184 opcode = find (opc, operands, 1);
3185 if (opcode)
3186 {
3187 opcode_local.opcode = opcode->opcode
3188 | (operands[0].reg1 << 8);
3189 }
3190 }
3191 else
3192 {
3193 opcode_local.opcode = opc->opcode->opcode
3194 | (operands[0].reg1 << 8);
3195 }
3196 build_insn_xg (&opcode_local, operands, 1);
3197 }
3198 }
3199 else if ((*input_line_pointer == 'R') || (*input_line_pointer == 'r'))
3200 {
3201 /* we've got as far as OP R, R */
3202 operands[1].reg1 = register_name ();
3203 if (operands[1].reg1 == REG_NONE)
3204 {
3205 as_bad ("Invalid register\n");
3206 return;
3207 }
3208 if ((*input_line_pointer == '\n') || (*input_line_pointer == '\r')
3209 || (*input_line_pointer == '\0'))
3210 {
3211 /* looks like OP_R_R */
3212 if (opc->format & M68XG_OP_R_R)
3213 {
3214 operands[0].mode = M68XG_OP_R_R;
3215 /* same opcodes have multiple modes, so find right one */
3216 opcode = find (opc, operands, 1);
3217 if (opcode)
3218 {
3219 if ((strncmp (opc->opcode->name, "com",3) == 0)
3220 || (strncmp (opc->opcode->name, "mov",3) == 0)
3221 || (strncmp (opc->opcode->name, "neg",3) == 0))
3222 {
3223 /* Special cases for:
3224 com RD, RS alias for xnor RD,R0,RS
3225 mov RD, RS alias for or RD, R0, RS
3226 neg RD, RS alias for sub RD, R0, RS */
3739860c 3227 opcode_local.opcode = opcode->opcode
6927f982
NC
3228 | (operands[0].reg1 << 8) | (operands[1].reg1 << 2);
3229 }
3230 else if ((strncmp (opc->opcode->name, "cmp",3) == 0)
3231 || (strncmp (opc->opcode->name, "cpc",3) == 0))
3232 {
3233 /* special cases for:
3234 cmp RS1, RS2 alias for sub R0, RS1, RS2
3235 cpc RS1, RS2 alias for sbc R0, RS1, RS2 */
3739860c 3236 opcode_local.opcode = opcode->opcode
6927f982
NC
3237 | (operands[0].reg1 << 5) | (operands[1].reg1 << 2);
3238 }
3239 else
3240 {
3241 opcode_local.opcode = opcode->opcode
3242 | (operands[0].reg1 << 8) | (operands[1].reg1 << 5);
3243 }
3244 opcode_local.format = M68XG_OP_NONE;
3245 build_insn_xg (&opcode_local, operands, 1);
3246 }
3247 }
3248 else
3249 {
3250 as_bad ("No valid mode found\n");
3251 }
3252 }
3253 else
3254 {
3255 /* more data */
3256 if (*input_line_pointer != ',')
3257 {
3258 as_bad (_("Missing operand."));
3259 return;
3260 }
3261 input_line_pointer++;
3262 input_line_pointer = skip_whites (input_line_pointer);
3263 if ((*input_line_pointer == 'R') || (*input_line_pointer == 'r'))
3264 {
3265 operands[2].reg1 = register_name ();
3266 if (operands[2].reg1 == REG_NONE)
3267 {
3268 as_bad ("Invalid register\n");
3269 return;
3270 }
3271 if (opc->format & M68XG_OP_R_R_R)
3272 {
3273 operands[0].mode = M68XG_OP_R_R_R;
3274
3275 opcode = find (opc, operands, 1);
3276 if (opcode)
3277 {
3739860c 3278 opcode_local.opcode = opcode->opcode
6927f982
NC
3279 | (operands[0].reg1 << 8) | (operands[1].reg1 << 5)
3280 | (operands[2].reg1 << 2);
3281 opcode_local.format = M68XG_OP_NONE;
3282 build_insn_xg (&opcode_local, operands, 1);
3283 }
3284 }
3285 else
3286 {
3287 as_bad ("No valid mode found\n");
3288 }
3289 }
3290 }
3291 }
3292 else if (*input_line_pointer == '(') /* Indexed modes */
3293 {
3294 input_line_pointer++;
3295 input_line_pointer = skip_whites (input_line_pointer);
3296 if ((*input_line_pointer == 'R') || (*input_line_pointer == 'r'))
3297 {
3298 /* we've got as far as OP R, (R */
3299 operands[1].reg1 = register_name ();
3300 if (operands[1].reg1 == REG_NONE)
3301 {
3302 as_bad ("Invalid register\n");
3303 return;
3304 }
3305
3306 if ((*input_line_pointer == '\n') || (*input_line_pointer == '\r')
3307 || (*input_line_pointer == '\0'))
3308 {
3309 /* Looks like OP_R_R. */
3310 as_bad (_("Missing operand."));
3311 return;
3312 }
3313
3314 input_line_pointer = skip_whites (input_line_pointer);
3739860c 3315
6927f982
NC
3316 if (*input_line_pointer != ',')
3317 {
3318 as_bad (_("Missing operand."));
3319 return;
3320 }
3321 input_line_pointer++;
3322 input_line_pointer = skip_whites (input_line_pointer);
3323
3324 if (*input_line_pointer == '#')
3325 {
3326 input_line_pointer++;
3327 input_line_pointer = skip_whites (input_line_pointer);
3328 expression (&operands[0].exp);
3329 if (operands[0].exp.X_op == O_illegal)
3330 {
3331 as_bad (_("Illegal operand."));
3332 return;
3333 }
3334 else if (operands[0].exp.X_op == O_absent)
3335 {
3336 as_bad (_("Missing operand."));
3337 return;
3338 }
3339
3340 input_line_pointer = skip_whites (input_line_pointer);
3341 if (*input_line_pointer != ')')
3342 {
3343 as_bad ("Missing `)' to close register indirect operand.");
3344 return;
3345 }
3346 else
3347 {
3348 input_line_pointer++;
3349 }
3739860c 3350
6927f982
NC
3351 /* Ok so far, can only be one mode. */
3352 opcode_local.format = M68XG_OP_R_R_OFFS5;
3353 operands[0].mode = M68XG_OP_R_R_OFFS5;
3354
3355 opcode = find (opc, operands, 1);
3356 if (opcode)
3357 {
3358 opcode_local.opcode = opcode->opcode
3359 | (operands[0].reg1 << 8) | (operands[1].reg1 << 5);
3360 if (operands[0].exp.X_op != O_constant)
3361 {
3362 as_bad
3363 ("Only constants supported for indexed OFFS5 mode\n");
3364 }
3365 else
3366 {
3367 if (check_range (operands[0].exp.X_add_number,
3368 M68XG_OP_R_R_OFFS5))
3369 {
3370 opcode_local.opcode
3371 |= (operands[0].exp.X_add_number);
3372 opcode_local.format = M68XG_OP_NONE;
3373 build_insn_xg (&opcode_local, operands, 1);
3374 }
3375 else
3376 {
3377 as_bad ("Number out of range for OFFS5\n");
3378 }
3379 }
3380 }
3381 }
3382 else
3383 {
3384 operands[0].mode = M68XG_OP_RD_RB_RI;
3385
3386 if (*input_line_pointer == '-')
3387 {
3388 operands[0].mode = M68XG_OP_RD_RB_mRI;
3389 input_line_pointer++;
3390 }
3391 operands[2].reg1 = register_name ();
3392 if (operands[2].reg1 == REG_NONE)
3393 {
3394 as_bad ("Invalid register\n");
3395 return;
3396 }
3397
3398 if (*input_line_pointer == '+')
3399 {
3400 if (opcode_local.format == M68XG_OP_RD_RB_mRI)
3401 {
3402 as_bad (_("Illegal operand."));
3403 return;
3404 }
3405 operands[0].mode = M68XG_OP_RD_RB_RIp;
3406 input_line_pointer++;
3407 }
3408
3409 input_line_pointer = skip_whites (input_line_pointer);
3410 if (*input_line_pointer != ')')
3411 {
3412 as_bad
3413 ("Missing `)' to close register indirect operand.");
3414 return;
3415 }
3416 else
3417 {
3418 input_line_pointer++;
3419 }
3420
3421 opcode = find (opc, operands, 1);
3422 if (opcode)
3423 {
3424 opcode_local.opcode = opcode->opcode
3425 | (operands[0].reg1 << 8) | (operands[1].reg1 << 5)
3426 | (operands[2].reg1 << 2);
3427 opcode_local.format = M68XG_OP_NONE;
3428 build_insn_xg (&opcode_local, operands, 1);
3429 }
3430 else
3431 {
3432 as_bad ("Failed to find opcode for %s %s\n",
3433 opc->opcode->name, (char *)op_end);
3434 }
3435 }
3436 }
3437 }
3438 else
3439 {
3440 as_bad (_("Failed to find a valid mode for `%s'."),
3441 opc->opcode->name);
3442 }
3443
3444 if (opc->opcode && !flag_mri)
3445 {
3446 char *p = input_line_pointer;
3447
3448 while (*p == ' ' || *p == '\t' || *p == '\n' || *p == '\r')
3449 p++;
3450
3451 if (*p != '\n' && *p)
3452 as_bad (_("Garbage at end of instruction: `%s'."), p);
3453 }
3454
3455 input_line_pointer = save;
3456
3457 /* Opcode is known but does not have valid operands. Print out the
3458 syntax for this opcode. */
3459 if (opc->opcode == 0)
3460 {
3461 if (flag_print_insn_syntax)
3462 print_insn_format (name);
3463
3464 as_bad (_("Invalid operand for `%s'"), name);
3465 return;
3466 }
3467
3468 return;
3469 }
3470
60bcf0fa
NC
3471 /* Find the opcode definition given its name. */
3472 opc = (struct m68hc11_opcode_def *) hash_find (m68hc11_hash, name);
3473
3474 /* If it's not recognized, look for 'jbsr' and 'jbxx'. These are
1370e33d
NC
3475 pseudo insns for relative branch. For these branches, we always
3476 optimize them (turned into absolute branches) even if --short-branches
60bcf0fa
NC
3477 is given. */
3478 if (opc == NULL && name[0] == 'j' && name[1] == 'b')
3479 {
3480 opc = (struct m68hc11_opcode_def *) hash_find (m68hc11_hash, &name[1]);
3481 if (opc
3482 && (!(opc->format & M6811_OP_JUMP_REL)
3483 || (opc->format & M6811_OP_BITMASK)))
3484 opc = 0;
3485 if (opc)
3486 branch_optimize = 1;
3487 }
3488
6927f982 3489 /* The following test should probably be removed. This does not conform
60bcf0fa
NC
3490 to Motorola assembler specs. */
3491 if (opc == NULL && flag_mri)
3492 {
3493 if (*op_end == ' ' || *op_end == '\t')
3494 {
3495 while (*op_end == ' ' || *op_end == '\t')
3496 op_end++;
3497
3498 if (nlen < 19
3499 && (*op_end &&
3500 (is_end_of_line[op_end[1]]
3501 || op_end[1] == ' ' || op_end[1] == '\t'
3882b010 3502 || !ISALNUM (op_end[1])))
60bcf0fa
NC
3503 && (*op_end == 'a' || *op_end == 'b'
3504 || *op_end == 'A' || *op_end == 'B'
3505 || *op_end == 'd' || *op_end == 'D'
3506 || *op_end == 'x' || *op_end == 'X'
3507 || *op_end == 'y' || *op_end == 'Y'))
3508 {
3882b010 3509 name[nlen++] = TOLOWER (*op_end++);
60bcf0fa
NC
3510 name[nlen] = 0;
3511 opc = (struct m68hc11_opcode_def *) hash_find (m68hc11_hash,
3512 name);
3513 }
3514 }
3515 }
3516
3517 /* Identify a possible instruction alias. There are some on the
986c6f4b 3518 68HC12 to emulate a few 68HC11 instructions. */
60bcf0fa
NC
3519 if (opc == NULL && (current_architecture & cpu6812))
3520 {
3521 int i;
3522
3523 for (i = 0; i < m68hc12_num_alias; i++)
3524 if (strcmp (m68hc12_alias[i].name, name) == 0)
3525 {
3526 alias_id = i;
3527 break;
3528 }
3529 }
3530 if (opc == NULL && alias_id < 0)
3531 {
3532 as_bad (_("Opcode `%s' is not recognized."), name);
3533 return;
3534 }
3535 save = input_line_pointer;
2132e3a3 3536 input_line_pointer = (char *) op_end;
60bcf0fa
NC
3537
3538 if (opc)
3539 {
3540 opc->used++;
3541 opcode = find_opcode (opc, operands, &nb_operands);
3542 }
3543 else
3544 opcode = 0;
3545
3546 if ((opcode || alias_id >= 0) && !flag_mri)
3547 {
3548 char *p = input_line_pointer;
3549
3550 while (*p == ' ' || *p == '\t' || *p == '\n' || *p == '\r')
3551 p++;
3552
3553 if (*p != '\n' && *p)
3554 as_bad (_("Garbage at end of instruction: `%s'."), p);
3555 }
3556
3557 input_line_pointer = save;
3558
3559 if (alias_id >= 0)
3560 {
3561 char *f = m68hc11_new_insn (m68hc12_alias[alias_id].size);
fafb6d17 3562
60bcf0fa
NC
3563 number_to_chars_bigendian (f, m68hc12_alias[alias_id].code1, 1);
3564 if (m68hc12_alias[alias_id].size > 1)
3565 number_to_chars_bigendian (f + 1, m68hc12_alias[alias_id].code2, 1);
3566
3567 return;
3568 }
3569
3570 /* Opcode is known but does not have valid operands. Print out the
3571 syntax for this opcode. */
3572 if (opcode == 0)
3573 {
3574 if (flag_print_insn_syntax)
3575 print_insn_format (name);
3576
6927f982
NC
3577 if (((strcmp (name, "movb") == 0) || (strcmp (name, "movw") == 0))
3578 && (current_architecture & cpu9s12x))
3579 {
3580 char *f;
3581 int movb;
3582 if (strcmp (name, "movb") == 0)
3583 movb = 8;
3584 else
3585 movb = 0;
3586
3587 /* The existing operand extract code fell over if these additional modes
3588 were enabled in m68hc11-opc.c. So they are commented there and
3589 decoded here instead. */
3590
3591 if (operands[1].mode & (M6812_OP_IDX | M6812_OP_IDX_1
3592 | M6812_OP_IDX_2 | M6812_OP_D_IDX | M6812_OP_D_IDX_2 | M6812_PRE_INC
3593 | M6812_PRE_DEC | M6812_POST_INC | M6812_POST_DEC ))
3594 {
3595 /* first check if valid mode then start building it up */
3596 if (operands[0].mode & (M6811_OP_IMM8 | M6811_OP_IMM16
3597 | M6811_OP_IND16 | M6812_OP_IDX | M6812_OP_IDX_1
3598 | M6812_OP_IDX_2 | M6812_OP_D_IDX | M6812_OP_D_IDX_2))
3599 {
3600 int opr16a;
3601 if (operands[1].mode & (M6811_OP_IND16))
3602 opr16a = 3;
3603 else
3604 opr16a = 0;
3605
3606 f = m68hc11_new_insn (2);
3607
3608 if (operands[0].mode & (M6811_OP_IMM8 | M6811_OP_IMM16))
3609 {
3610 number_to_chars_bigendian (f, 0x1800 + movb + opr16a, 2);
3611 build_indexed_byte (&operands[1], operands[1].mode, 1);
3612 if (movb)
3613 fixup8 (&operands[0].exp, M6811_OP_IMM8,
3614 operands[0].mode);
3615 else
3616 fixup16 (&operands[0].exp, M6811_OP_IMM16,
3617 operands[0].mode);
3618
3619 return;
3620 }
3621 else if (operands[0].mode & M6811_OP_IND16)
3622 {
3623 number_to_chars_bigendian (f, 0x1801 + movb + opr16a, 2);
3624 build_indexed_byte (&operands[1], operands[1].mode, 1);
3625 fixup16 (&operands[0].exp, M6811_OP_IND16, operands[0].mode);
3626 return;
3627 }
3628 else
3629 {
3630 number_to_chars_bigendian (f, 0x1802 + movb + opr16a, 2);
3631 build_indexed_byte (&operands[0], operands[0].mode, 1);
3632 build_indexed_byte (&operands[1], operands[1].mode, 1);
3633 return;
3634 }
3635 }
3636 }
3637 else if (operands[1].mode & M6811_OP_IND16)
3638 {
3639 /* First check if this is valid mode, then start building it up. */
3640 if (operands[0].mode & (M6811_OP_IMM8 | M6811_OP_IMM16
3641 | M6811_OP_IND16 | M6812_OP_IDX | M6812_OP_IDX_1
3642 | M6812_OP_IDX_2 | M6812_OP_D_IDX | M6812_OP_D_IDX_2))
3643 {
3644 int opr16a;
3645 if (operands[1].mode & (M6811_OP_IND16))
3646 opr16a = 3;
3647 else
3648 opr16a = 0;
3649
3650 f = m68hc11_new_insn (2);
3651
3652 /* The first two cases here should actually be covered by the
3653 normal operand code. */
3654 if (operands[0].mode & (M6811_OP_IMM8 | M6811_OP_IMM16))
3655 {
3656 number_to_chars_bigendian (f, 0x1800 + movb + opr16a, 2);
3657 if (movb)
3658 fixup8 (&operands[0].exp, M6811_OP_IMM8, operands[0].mode);
3659 else
3660 fixup16 (&operands[0].exp, M6811_OP_IMM16, operands[0].mode);
3661
3662 fixup16 (&operands[0].exp, M6811_OP_IND16, operands[0].mode);
3663 return;
3664 }
3665 else if (operands[0].mode & M6811_OP_IND16)
3666 {
3667 number_to_chars_bigendian (f, 0x1801 + movb + opr16a, 2);
3668 build_indexed_byte (&operands[1], operands[1].mode, 1);
3669 fixup16 (&operands[0].exp, M6811_OP_IND16, operands[0].mode);
3670 return;
3671 }
3672 else
3673 {
3674 number_to_chars_bigendian (f, 0x1802 + movb + opr16a, 2);
3675 build_indexed_byte (&operands[0], operands[0].mode, 1);
3676 fixup16 (&operands[1].exp, M6811_OP_IND16, operands[1].mode);
3677 return;
3678 }
3679 }
3680 }
3681
3682 as_bad (_("Invalid operand for `%s'"), name);
3683 return;
3684
3685 }
3686 else
3687 {
3688 as_bad (_("Invalid operand for `%s'"), name);
3689 return;
3690 }
60bcf0fa
NC
3691 }
3692
3693 /* Treat dbeq/ibeq/tbeq instructions in a special way. The branch is
3694 relative and must be in the range -256..255 (9-bits). */
3695 if ((opcode->format & M6812_XBCC_MARKER)
3696 && (opcode->format & M6811_OP_JUMP_REL))
27302d63 3697 build_dbranch_insn (opcode, operands, nb_operands, branch_optimize);
60bcf0fa
NC
3698
3699 /* Relative jumps instructions are taken care of separately. We have to make
3700 sure that the relative branch is within the range -128..127. If it's out
3701 of range, the instructions are changed into absolute instructions.
3702 This is not supported for the brset and brclr instructions. */
3703 else if ((opcode->format & (M6811_OP_JUMP_REL | M6812_OP_JUMP_REL16))
3704 && !(opcode->format & M6811_OP_BITMASK))
3705 build_jump_insn (opcode, operands, nb_operands, branch_optimize);
3706 else
3707 build_insn (opcode, operands, nb_operands);
3708}
eb086b59
SC
3709
3710\f
3711/* Pseudo op to control the ELF flags. */
3712static void
ca43c854 3713s_m68hc11_mode (int x ATTRIBUTE_UNUSED)
eb086b59
SC
3714{
3715 char *name = input_line_pointer, ch;
3716
3717 while (!is_end_of_line[(unsigned char) *input_line_pointer])
3718 input_line_pointer++;
3719 ch = *input_line_pointer;
3720 *input_line_pointer = '\0';
3721
3722 if (strcmp (name, "mshort") == 0)
3723 {
3724 elf_flags &= ~E_M68HC11_I32;
3725 }
3726 else if (strcmp (name, "mlong") == 0)
3727 {
3728 elf_flags |= E_M68HC11_I32;
3729 }
3730 else if (strcmp (name, "mshort-double") == 0)
3731 {
3732 elf_flags &= ~E_M68HC11_F64;
3733 }
3734 else if (strcmp (name, "mlong-double") == 0)
3735 {
3736 elf_flags |= E_M68HC11_F64;
3737 }
3738 else
3739 {
3740 as_warn (_("Invalid mode: %s\n"), name);
3741 }
3742 *input_line_pointer = ch;
3743 demand_empty_rest_of_line ();
3744}
3745
3746/* Mark the symbols with STO_M68HC12_FAR to indicate the functions
3747 are using 'rtc' for returning. It is necessary to use 'call'
3748 to invoke them. This is also used by the debugger to correctly
3749 find the stack frame. */
3750static void
ca43c854 3751s_m68hc11_mark_symbol (int mark)
eb086b59
SC
3752{
3753 char *name;
3754 int c;
3755 symbolS *symbolP;
3756 asymbol *bfdsym;
3757 elf_symbol_type *elfsym;
3758
3759 do
3760 {
d02603dc 3761 c = get_symbol_name (&name);
eb086b59 3762 symbolP = symbol_find_or_make (name);
d02603dc 3763 (void) restore_line_pointer (c);
eb086b59
SC
3764
3765 SKIP_WHITESPACE ();
3766
3767 bfdsym = symbol_get_bfdsym (symbolP);
3768 elfsym = elf_symbol_from (bfd_asymbol_bfd (bfdsym), bfdsym);
3769
9c2799c2 3770 gas_assert (elfsym);
eb086b59
SC
3771
3772 /* Mark the symbol far (using rtc for function return). */
3773 elfsym->internal_elf_sym.st_other |= mark;
3774
3775 if (c == ',')
3776 {
3777 input_line_pointer ++;
3778
3779 SKIP_WHITESPACE ();
3780
3781 if (*input_line_pointer == '\n')
3782 c = '\n';
3783 }
3784 }
3785 while (c == ',');
3786
3787 demand_empty_rest_of_line ();
3788}
e371935f
SC
3789
3790static void
ca43c854 3791s_m68hc11_relax (int ignore ATTRIBUTE_UNUSED)
e371935f
SC
3792{
3793 expressionS ex;
3794
3795 expression (&ex);
3796
3797 if (ex.X_op != O_symbol || ex.X_add_number != 0)
3798 {
3799 as_bad (_("bad .relax format"));
3800 ignore_rest_of_line ();
3801 return;
3802 }
3803
fd99afa7 3804 fix_new_exp (frag_now, frag_now_fix (), 0, &ex, 1,
e371935f
SC
3805 BFD_RELOC_M68HC11_RL_GROUP);
3806
3807 demand_empty_rest_of_line ();
3808}
3809
60bcf0fa
NC
3810\f
3811/* Relocation, relaxation and frag conversions. */
e371935f
SC
3812
3813/* PC-relative offsets are relative to the start of the
3814 next instruction. That is, the address of the offset, plus its
3815 size, since the offset is always the last part of the insn. */
60bcf0fa 3816long
ca43c854 3817md_pcrel_from (fixS *fixP)
60bcf0fa 3818{
e371935f 3819 if (fixP->fx_r_type == BFD_RELOC_M68HC11_RL_JUMP)
60bcf0fa
NC
3820 return 0;
3821
e371935f 3822 return fixP->fx_size + fixP->fx_where + fixP->fx_frag->fr_address;
60bcf0fa
NC
3823}
3824
3825/* If while processing a fixup, a reloc really needs to be created
3826 then it is done here. */
3827arelent *
ca43c854 3828tc_gen_reloc (asection *section ATTRIBUTE_UNUSED, fixS *fixp)
60bcf0fa
NC
3829{
3830 arelent *reloc;
3831
add39d23
TS
3832 reloc = XNEW (arelent);
3833 reloc->sym_ptr_ptr = XNEW (asymbol *);
60bcf0fa
NC
3834 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
3835 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
3836 if (fixp->fx_r_type == 0)
3837 reloc->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_16);
3838 else
3839 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
3840 if (reloc->howto == (reloc_howto_type *) NULL)
3841 {
3842 as_bad_where (fixp->fx_file, fixp->fx_line,
3843 _("Relocation %d is not supported by object file format."),
3844 (int) fixp->fx_r_type);
3845 return NULL;
3846 }
3847
a161fe53
AM
3848 /* Since we use Rel instead of Rela, encode the vtable entry to be
3849 used in the relocation's section offset. */
3850 if (fixp->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
3851 reloc->address = fixp->fx_offset;
3852
3853 reloc->addend = 0;
60bcf0fa
NC
3854 return reloc;
3855}
3856
c9e03e8b
SC
3857/* We need a port-specific relaxation function to cope with sym2 - sym1
3858 relative expressions with both symbols in the same segment (but not
3859 necessarily in the same frag as this insn), for example:
3860 ldab sym2-(sym1-2),pc
3861 sym1:
3862 The offset can be 5, 9 or 16 bits long. */
3863
3864long
ca43c854
SC
3865m68hc11_relax_frag (segT seg ATTRIBUTE_UNUSED, fragS *fragP,
3866 long stretch ATTRIBUTE_UNUSED)
c9e03e8b
SC
3867{
3868 long growth;
3869 offsetT aim = 0;
3870 symbolS *symbolP;
3871 const relax_typeS *this_type;
3872 const relax_typeS *start_type;
3873 relax_substateT next_state;
3874 relax_substateT this_state;
3875 const relax_typeS *table = TC_GENERIC_RELAX_TABLE;
3876
3877 /* We only have to cope with frags as prepared by
3878 md_estimate_size_before_relax. The STATE_BITS16 case may geet here
3879 because of the different reasons that it's not relaxable. */
3880 switch (fragP->fr_subtype)
3881 {
75538612 3882 case ENCODE_RELAX (STATE_INDEXED_PCREL, STATE_BITS16):
c9e03e8b
SC
3883 case ENCODE_RELAX (STATE_INDEXED_OFFSET, STATE_BITS16):
3884 /* When we get to this state, the frag won't grow any more. */
3885 return 0;
3886
75538612 3887 case ENCODE_RELAX (STATE_INDEXED_PCREL, STATE_BITS5):
c9e03e8b 3888 case ENCODE_RELAX (STATE_INDEXED_OFFSET, STATE_BITS5):
75538612 3889 case ENCODE_RELAX (STATE_INDEXED_PCREL, STATE_BITS9):
c9e03e8b
SC
3890 case ENCODE_RELAX (STATE_INDEXED_OFFSET, STATE_BITS9):
3891 if (fragP->fr_symbol == NULL
3892 || S_GET_SEGMENT (fragP->fr_symbol) != absolute_section)
3893 as_fatal (_("internal inconsistency problem in %s: fr_symbol %lx"),
3894 __FUNCTION__, (long) fragP->fr_symbol);
3895 symbolP = fragP->fr_symbol;
3896 if (symbol_resolved_p (symbolP))
3897 as_fatal (_("internal inconsistency problem in %s: resolved symbol"),
3898 __FUNCTION__);
3899 aim = S_GET_VALUE (symbolP);
3900 break;
3901
3902 default:
3903 as_fatal (_("internal inconsistency problem in %s: fr_subtype %d"),
3904 __FUNCTION__, fragP->fr_subtype);
3905 }
3906
3907 /* The rest is stolen from relax_frag. There's no obvious way to
3908 share the code, but fortunately no requirement to keep in sync as
3909 long as fragP->fr_symbol does not have its segment changed. */
3910
3911 this_state = fragP->fr_subtype;
3912 start_type = this_type = table + this_state;
3913
3914 if (aim < 0)
3915 {
3916 /* Look backwards. */
3917 for (next_state = this_type->rlx_more; next_state;)
3918 if (aim >= this_type->rlx_backward)
3919 next_state = 0;
3920 else
3921 {
3922 /* Grow to next state. */
3923 this_state = next_state;
3924 this_type = table + this_state;
3925 next_state = this_type->rlx_more;
3926 }
3927 }
3928 else
3929 {
3930 /* Look forwards. */
3931 for (next_state = this_type->rlx_more; next_state;)
3932 if (aim <= this_type->rlx_forward)
3933 next_state = 0;
3934 else
3935 {
3936 /* Grow to next state. */
3937 this_state = next_state;
3938 this_type = table + this_state;
3939 next_state = this_type->rlx_more;
3940 }
3941 }
3942
3943 growth = this_type->rlx_length - start_type->rlx_length;
3944 if (growth != 0)
3945 fragP->fr_subtype = this_state;
3946 return growth;
3947}
3948
60bcf0fa 3949void
ca43c854
SC
3950md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED, asection *sec ATTRIBUTE_UNUSED,
3951 fragS *fragP)
60bcf0fa 3952{
88051039 3953 long value;
60bcf0fa
NC
3954 long disp;
3955 char *buffer_address = fragP->fr_literal;
3956
3957 /* Address in object code of the displacement. */
ed9e98c2 3958 int object_address = fragP->fr_fix + fragP->fr_address;
60bcf0fa
NC
3959
3960 buffer_address += fragP->fr_fix;
3961
3962 /* The displacement of the address, from current location. */
ac62c346 3963 value = S_GET_VALUE (fragP->fr_symbol);
88051039 3964 disp = (value + fragP->fr_offset) - object_address;
60bcf0fa
NC
3965
3966 switch (fragP->fr_subtype)
3967 {
3968 case ENCODE_RELAX (STATE_PC_RELATIVE, STATE_BYTE):
3969 fragP->fr_opcode[1] = disp;
3970 break;
3971
3972 case ENCODE_RELAX (STATE_PC_RELATIVE, STATE_WORD):
3973 /* This relax is only for bsr and bra. */
9c2799c2 3974 gas_assert (IS_OPCODE (fragP->fr_opcode[0], M6811_BSR)
60bcf0fa
NC
3975 || IS_OPCODE (fragP->fr_opcode[0], M6811_BRA)
3976 || IS_OPCODE (fragP->fr_opcode[0], M6812_BSR));
3977
3978 fragP->fr_opcode[0] = convert_branch (fragP->fr_opcode[0]);
3979
3980 fix_new (fragP, fragP->fr_fix - 1, 2,
3981 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_16);
3982 fragP->fr_fix += 1;
3983 break;
3984
3985 case ENCODE_RELAX (STATE_CONDITIONAL_BRANCH, STATE_BYTE):
3986 case ENCODE_RELAX (STATE_CONDITIONAL_BRANCH_6812, STATE_BYTE):
3987 fragP->fr_opcode[1] = disp;
3988 break;
3989
3990 case ENCODE_RELAX (STATE_CONDITIONAL_BRANCH, STATE_WORD):
3991 /* Invert branch. */
3992 fragP->fr_opcode[0] ^= 1;
fafb6d17 3993 fragP->fr_opcode[1] = 3; /* Branch offset. */
60bcf0fa
NC
3994 buffer_address[0] = M6811_JMP;
3995 fix_new (fragP, fragP->fr_fix + 1, 2,
3996 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_16);
3997 fragP->fr_fix += 3;
3998 break;
3999
4000 case ENCODE_RELAX (STATE_CONDITIONAL_BRANCH_6812, STATE_WORD):
4001 /* Translate branch into a long branch. */
4002 fragP->fr_opcode[1] = fragP->fr_opcode[0];
4003 fragP->fr_opcode[0] = M6811_OPCODE_PAGE2;
4004
9798e45d
SK
4005 fix_new (fragP, fragP->fr_fix, 2,
4006 fragP->fr_symbol, fragP->fr_offset, 1,
60bcf0fa 4007 BFD_RELOC_16_PCREL);
60bcf0fa
NC
4008 fragP->fr_fix += 2;
4009 break;
4010
75538612
SC
4011 case ENCODE_RELAX (STATE_INDEXED_PCREL, STATE_BITS5):
4012 if (fragP->fr_symbol != 0
c9e03e8b
SC
4013 && S_GET_SEGMENT (fragP->fr_symbol) != absolute_section)
4014 value = disp;
75538612
SC
4015 /* fall through */
4016
4017 case ENCODE_RELAX (STATE_INDEXED_OFFSET, STATE_BITS5):
88051039 4018 fragP->fr_opcode[0] = fragP->fr_opcode[0] << 6;
c9e03e8b 4019 fragP->fr_opcode[0] |= value & 0x1f;
60bcf0fa
NC
4020 break;
4021
75538612
SC
4022 case ENCODE_RELAX (STATE_INDEXED_PCREL, STATE_BITS9):
4023 /* For a PC-relative offset, use the displacement with a -1 correction
4024 to take into account the additional byte of the insn. */
4025 if (fragP->fr_symbol != 0
c9e03e8b 4026 && S_GET_SEGMENT (fragP->fr_symbol) != absolute_section)
75538612
SC
4027 value = disp - 1;
4028 /* fall through */
4029
4030 case ENCODE_RELAX (STATE_INDEXED_OFFSET, STATE_BITS9):
60bcf0fa
NC
4031 fragP->fr_opcode[0] = (fragP->fr_opcode[0] << 3);
4032 fragP->fr_opcode[0] |= 0xE0;
c9e03e8b
SC
4033 fragP->fr_opcode[0] |= (value >> 8) & 1;
4034 fragP->fr_opcode[1] = value;
60bcf0fa
NC
4035 fragP->fr_fix += 1;
4036 break;
4037
75538612 4038 case ENCODE_RELAX (STATE_INDEXED_PCREL, STATE_BITS16):
60bcf0fa
NC
4039 case ENCODE_RELAX (STATE_INDEXED_OFFSET, STATE_BITS16):
4040 fragP->fr_opcode[0] = (fragP->fr_opcode[0] << 3);
88051039 4041 fragP->fr_opcode[0] |= 0xe2;
c9e03e8b
SC
4042 if ((fragP->fr_opcode[0] & 0x0ff) == 0x0fa
4043 && fragP->fr_symbol != 0
4044 && S_GET_SEGMENT (fragP->fr_symbol) != absolute_section)
098f2ec3 4045 {
9798e45d
SK
4046 fix_new (fragP, fragP->fr_fix, 2,
4047 fragP->fr_symbol, fragP->fr_offset,
4048 1, BFD_RELOC_16_PCREL);
098f2ec3 4049 }
88051039 4050 else
098f2ec3
KH
4051 {
4052 fix_new (fragP, fragP->fr_fix, 2,
4053 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_16);
4054 }
88051039 4055 fragP->fr_fix += 2;
60bcf0fa
NC
4056 break;
4057
4058 case ENCODE_RELAX (STATE_XBCC_BRANCH, STATE_BYTE):
4059 if (disp < 0)
4060 fragP->fr_opcode[0] |= 0x10;
4061
4062 fragP->fr_opcode[1] = disp & 0x0FF;
4063 break;
4064
4065 case ENCODE_RELAX (STATE_XBCC_BRANCH, STATE_WORD):
4066 /* Invert branch. */
4067 fragP->fr_opcode[0] ^= 0x20;
4068 fragP->fr_opcode[1] = 3; /* Branch offset. */
4069 buffer_address[0] = M6812_JMP;
4070 fix_new (fragP, fragP->fr_fix + 1, 2,
4071 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_16);
4072 fragP->fr_fix += 3;
4073 break;
4074
4075 default:
4076 break;
4077 }
4078}
4079
dbb8ad49
SC
4080/* On an ELF system, we can't relax a weak symbol. The weak symbol
4081 can be overridden at final link time by a non weak symbol. We can
4082 relax externally visible symbol because there is no shared library
4083 and such symbol can't be overridden (unless they are weak). */
d8273f3b 4084static int
ca43c854 4085relaxable_symbol (symbolS *symbol)
d8273f3b 4086{
dbb8ad49 4087 return ! S_IS_WEAK (symbol);
d8273f3b
SC
4088}
4089
60bcf0fa
NC
4090/* Force truly undefined symbols to their maximum size, and generally set up
4091 the frag list to be relaxed. */
4092int
ca43c854 4093md_estimate_size_before_relax (fragS *fragP, asection *segment)
60bcf0fa 4094{
606ab118
AM
4095 if (RELAX_LENGTH (fragP->fr_subtype) == STATE_UNDF)
4096 {
4097 if (S_GET_SEGMENT (fragP->fr_symbol) != segment
577300ce
SC
4098 || !relaxable_symbol (fragP->fr_symbol)
4099 || (segment != absolute_section
4100 && RELAX_STATE (fragP->fr_subtype) == STATE_INDEXED_OFFSET))
606ab118
AM
4101 {
4102 /* Non-relaxable cases. */
4103 int old_fr_fix;
4104 char *buffer_address;
60bcf0fa 4105
606ab118
AM
4106 old_fr_fix = fragP->fr_fix;
4107 buffer_address = fragP->fr_fix + fragP->fr_literal;
60bcf0fa 4108
606ab118
AM
4109 switch (RELAX_STATE (fragP->fr_subtype))
4110 {
4111 case STATE_PC_RELATIVE:
4112
4113 /* This relax is only for bsr and bra. */
9c2799c2 4114 gas_assert (IS_OPCODE (fragP->fr_opcode[0], M6811_BSR)
606ab118
AM
4115 || IS_OPCODE (fragP->fr_opcode[0], M6811_BRA)
4116 || IS_OPCODE (fragP->fr_opcode[0], M6812_BSR));
4117
1370e33d 4118 if (flag_fixed_branches)
606ab118
AM
4119 as_bad_where (fragP->fr_file, fragP->fr_line,
4120 _("bra or bsr with undefined symbol."));
4121
4122 /* The symbol is undefined or in a separate section.
4123 Turn bra into a jmp and bsr into a jsr. The insn
4124 becomes 3 bytes long (instead of 2). A fixup is
4125 necessary for the unresolved symbol address. */
4126 fragP->fr_opcode[0] = convert_branch (fragP->fr_opcode[0]);
4127
13283e2d 4128 fix_new (fragP, fragP->fr_fix - 1, 2, fragP->fr_symbol,
606ab118 4129 fragP->fr_offset, 0, BFD_RELOC_16);
13283e2d 4130 fragP->fr_fix++;
606ab118 4131 break;
60bcf0fa 4132
606ab118 4133 case STATE_CONDITIONAL_BRANCH:
9c2799c2 4134 gas_assert (current_architecture & cpu6811);
60bcf0fa 4135
606ab118
AM
4136 fragP->fr_opcode[0] ^= 1; /* Reverse sense of branch. */
4137 fragP->fr_opcode[1] = 3; /* Skip next jmp insn (3 bytes). */
60bcf0fa 4138
606ab118
AM
4139 /* Don't use fr_opcode[2] because this may be
4140 in a different frag. */
4141 buffer_address[0] = M6811_JMP;
60bcf0fa 4142
606ab118
AM
4143 fragP->fr_fix++;
4144 fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
4145 fragP->fr_offset, 0, BFD_RELOC_16);
4146 fragP->fr_fix += 2;
4147 break;
60bcf0fa 4148
606ab118 4149 case STATE_INDEXED_OFFSET:
9c2799c2 4150 gas_assert (current_architecture & cpu6812);
60bcf0fa 4151
c9e03e8b
SC
4152 if (fragP->fr_symbol
4153 && S_GET_SEGMENT (fragP->fr_symbol) == absolute_section)
4154 {
4155 fragP->fr_subtype = ENCODE_RELAX (STATE_INDEXED_OFFSET,
4156 STATE_BITS5);
4157 /* Return the size of the variable part of the frag. */
4158 return md_relax_table[fragP->fr_subtype].rlx_length;
4159 }
4160 else
4161 {
4162 /* Switch the indexed operation to 16-bit mode. */
4163 fragP->fr_opcode[0] = fragP->fr_opcode[0] << 3;
4164 fragP->fr_opcode[0] |= 0xe2;
4165 fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
4166 fragP->fr_offset, 0, BFD_RELOC_16);
4167 fragP->fr_fix += 2;
4168 }
606ab118 4169 break;
60bcf0fa 4170
75538612 4171 case STATE_INDEXED_PCREL:
9c2799c2 4172 gas_assert (current_architecture & cpu6812);
75538612
SC
4173
4174 if (fragP->fr_symbol
4175 && S_GET_SEGMENT (fragP->fr_symbol) == absolute_section)
4176 {
4177 fragP->fr_subtype = ENCODE_RELAX (STATE_INDEXED_PCREL,
4178 STATE_BITS5);
4179 /* Return the size of the variable part of the frag. */
4180 return md_relax_table[fragP->fr_subtype].rlx_length;
4181 }
4182 else
4183 {
75538612
SC
4184 fragP->fr_opcode[0] = fragP->fr_opcode[0] << 3;
4185 fragP->fr_opcode[0] |= 0xe2;
87975d2a
AM
4186 fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
4187 fragP->fr_offset, 1, BFD_RELOC_16_PCREL);
75538612
SC
4188 fragP->fr_fix += 2;
4189 }
4190 break;
4191
606ab118 4192 case STATE_XBCC_BRANCH:
9c2799c2 4193 gas_assert (current_architecture & cpu6812);
606ab118
AM
4194
4195 fragP->fr_opcode[0] ^= 0x20; /* Reverse sense of branch. */
4196 fragP->fr_opcode[1] = 3; /* Skip next jmp insn (3 bytes). */
60bcf0fa 4197
606ab118
AM
4198 /* Don't use fr_opcode[2] because this may be
4199 in a different frag. */
4200 buffer_address[0] = M6812_JMP;
4201
4202 fragP->fr_fix++;
4203 fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
4204 fragP->fr_offset, 0, BFD_RELOC_16);
4205 fragP->fr_fix += 2;
4206 break;
60bcf0fa 4207
606ab118 4208 case STATE_CONDITIONAL_BRANCH_6812:
9c2799c2 4209 gas_assert (current_architecture & cpu6812);
606ab118
AM
4210
4211 /* Translate into a lbcc branch. */
4212 fragP->fr_opcode[1] = fragP->fr_opcode[0];
4213 fragP->fr_opcode[0] = M6811_OPCODE_PAGE2;
4214
4215 fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
e371935f 4216 fragP->fr_offset, 1, BFD_RELOC_16_PCREL);
606ab118
AM
4217 fragP->fr_fix += 2;
4218 break;
4219
4220 default:
4221 as_fatal (_("Subtype %d is not recognized."), fragP->fr_subtype);
4222 }
60bcf0fa 4223 frag_wane (fragP);
60bcf0fa 4224
606ab118
AM
4225 /* Return the growth in the fixed part of the frag. */
4226 return fragP->fr_fix - old_fr_fix;
4227 }
60bcf0fa 4228
606ab118
AM
4229 /* Relaxable cases. */
4230 switch (RELAX_STATE (fragP->fr_subtype))
60bcf0fa 4231 {
606ab118
AM
4232 case STATE_PC_RELATIVE:
4233 /* This relax is only for bsr and bra. */
9c2799c2 4234 gas_assert (IS_OPCODE (fragP->fr_opcode[0], M6811_BSR)
606ab118
AM
4235 || IS_OPCODE (fragP->fr_opcode[0], M6811_BRA)
4236 || IS_OPCODE (fragP->fr_opcode[0], M6812_BSR));
4237
4238 fragP->fr_subtype = ENCODE_RELAX (STATE_PC_RELATIVE, STATE_BYTE);
4239 break;
4240
4241 case STATE_CONDITIONAL_BRANCH:
9c2799c2 4242 gas_assert (current_architecture & cpu6811);
606ab118
AM
4243
4244 fragP->fr_subtype = ENCODE_RELAX (STATE_CONDITIONAL_BRANCH,
4245 STATE_BYTE);
4246 break;
4247
4248 case STATE_INDEXED_OFFSET:
9c2799c2 4249 gas_assert (current_architecture & cpu6812);
606ab118 4250
60bcf0fa
NC
4251 fragP->fr_subtype = ENCODE_RELAX (STATE_INDEXED_OFFSET,
4252 STATE_BITS5);
606ab118 4253 break;
60bcf0fa 4254
75538612 4255 case STATE_INDEXED_PCREL:
9c2799c2 4256 gas_assert (current_architecture & cpu6812);
75538612
SC
4257
4258 fragP->fr_subtype = ENCODE_RELAX (STATE_INDEXED_PCREL,
4259 STATE_BITS5);
4260 break;
4261
606ab118 4262 case STATE_XBCC_BRANCH:
9c2799c2 4263 gas_assert (current_architecture & cpu6812);
60bcf0fa 4264
60bcf0fa 4265 fragP->fr_subtype = ENCODE_RELAX (STATE_XBCC_BRANCH, STATE_BYTE);
606ab118 4266 break;
60bcf0fa 4267
606ab118 4268 case STATE_CONDITIONAL_BRANCH_6812:
9c2799c2 4269 gas_assert (current_architecture & cpu6812);
60bcf0fa 4270
60bcf0fa
NC
4271 fragP->fr_subtype = ENCODE_RELAX (STATE_CONDITIONAL_BRANCH_6812,
4272 STATE_BYTE);
606ab118 4273 break;
60bcf0fa 4274 }
60bcf0fa
NC
4275 }
4276
606ab118
AM
4277 if (fragP->fr_subtype >= sizeof (md_relax_table) / sizeof (md_relax_table[0]))
4278 as_fatal (_("Subtype %d is not recognized."), fragP->fr_subtype);
4279
4280 /* Return the size of the variable part of the frag. */
4281 return md_relax_table[fragP->fr_subtype].rlx_length;
60bcf0fa
NC
4282}
4283
e371935f
SC
4284/* See whether we need to force a relocation into the output file. */
4285int
ca43c854 4286tc_m68hc11_force_relocation (fixS *fixP)
e371935f 4287{
ae6063d4
AM
4288 if (fixP->fx_r_type == BFD_RELOC_M68HC11_RL_GROUP)
4289 return 1;
a161fe53 4290
ae6063d4 4291 return generic_force_reloc (fixP);
e371935f
SC
4292}
4293
4294/* Here we decide which fixups can be adjusted to make them relative
4295 to the beginning of the section instead of the symbol. Basically
4296 we need to make sure that the linker relaxation is done
4297 correctly, so in some cases we force the original symbol to be
4298 used. */
4299int
ca43c854 4300tc_m68hc11_fix_adjustable (fixS *fixP)
e371935f 4301{
e371935f
SC
4302 switch (fixP->fx_r_type)
4303 {
4304 /* For the linker relaxation to work correctly, these relocs
4305 need to be on the symbol itself. */
4306 case BFD_RELOC_16:
e371935f
SC
4307 case BFD_RELOC_M68HC11_RL_JUMP:
4308 case BFD_RELOC_M68HC11_RL_GROUP:
4309 case BFD_RELOC_VTABLE_INHERIT:
4310 case BFD_RELOC_VTABLE_ENTRY:
577300ce 4311 case BFD_RELOC_32:
2d94a61a
SC
4312
4313 /* The memory bank addressing translation also needs the original
4314 symbol. */
577300ce 4315 case BFD_RELOC_M68HC11_LO16:
2d94a61a
SC
4316 case BFD_RELOC_M68HC11_PAGE:
4317 case BFD_RELOC_M68HC11_24:
e371935f
SC
4318 return 0;
4319
e371935f
SC
4320 default:
4321 return 1;
4322 }
4323}
4324
94f592af 4325void
55cf6793 4326md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
60bcf0fa
NC
4327{
4328 char *where;
94f592af 4329 long value = * valP;
60bcf0fa 4330
94f592af
NC
4331 if (fixP->fx_addsy == (symbolS *) NULL)
4332 fixP->fx_done = 1;
4333
a161fe53
AM
4334 /* We don't actually support subtracting a symbol. */
4335 if (fixP->fx_subsy != (symbolS *) NULL)
4336 as_bad_where (fixP->fx_file, fixP->fx_line, _("Expression too complex."));
60bcf0fa 4337
60bcf0fa
NC
4338 /* Patch the instruction with the resolved operand. Elf relocation
4339 info will also be generated to take care of linker/loader fixups.
4340 The 68HC11 addresses only 64Kb, we are only concerned by 8 and 16-bit
4341 relocs. BFD_RELOC_8 is basically used for .page0 access (the linker
4342 will warn for overflows). BFD_RELOC_8_PCREL should not be generated
4343 because it's either resolved or turned out into non-relative insns (see
4344 relax table, bcc, bra, bsr transformations)
4345
4346 The BFD_RELOC_32 is necessary for the support of --gstabs. */
94f592af 4347 where = fixP->fx_frag->fr_literal + fixP->fx_where;
60bcf0fa 4348
94f592af 4349 switch (fixP->fx_r_type)
60bcf0fa
NC
4350 {
4351 case BFD_RELOC_32:
4352 bfd_putb32 ((bfd_vma) value, (unsigned char *) where);
4353 break;
4354
7bfda7eb
SC
4355 case BFD_RELOC_24:
4356 case BFD_RELOC_M68HC11_24:
4357 bfd_putb16 ((bfd_vma) (value & 0x0ffff), (unsigned char *) where);
4358 ((bfd_byte*) where)[2] = ((value >> 16) & 0x0ff);
4359 break;
4360
60bcf0fa
NC
4361 case BFD_RELOC_16:
4362 case BFD_RELOC_16_PCREL:
7bfda7eb 4363 case BFD_RELOC_M68HC11_LO16:
60bcf0fa
NC
4364 bfd_putb16 ((bfd_vma) value, (unsigned char *) where);
4365 if (value < -65537 || value > 65535)
94f592af 4366 as_bad_where (fixP->fx_file, fixP->fx_line,
60bcf0fa
NC
4367 _("Value out of 16-bit range."));
4368 break;
4369
4370 case BFD_RELOC_M68HC11_HI8:
6927f982
NC
4371 /* Caution, %hi(<symbol>+%ld) will generate incorrect code if %lo
4372 causes a carry. */
4373 case BFD_RELOC_M68HC12_HI8XG:
60bcf0fa 4374 value = value >> 8;
fafb6d17 4375 /* Fall through. */
60bcf0fa 4376
6927f982 4377 case BFD_RELOC_M68HC12_LO8XG:
60bcf0fa
NC
4378 case BFD_RELOC_M68HC11_LO8:
4379 case BFD_RELOC_8:
7bfda7eb 4380 case BFD_RELOC_M68HC11_PAGE:
60bcf0fa
NC
4381 ((bfd_byte *) where)[0] = (bfd_byte) value;
4382 break;
4383
4384 case BFD_RELOC_8_PCREL:
60bcf0fa
NC
4385 ((bfd_byte *) where)[0] = (bfd_byte) value;
4386
4387 if (value < -128 || value > 127)
94f592af 4388 as_bad_where (fixP->fx_file, fixP->fx_line,
60bcf0fa
NC
4389 _("Value %ld too large for 8-bit PC-relative branch."),
4390 value);
4391 break;
4392
6927f982
NC
4393 /* These next two are for XGATE. */
4394 case BFD_RELOC_M68HC12_9_PCREL:
4395 ((bfd_byte *) where)[0] |= (bfd_byte) ((value >>9) & 0x01);
4396 ((bfd_byte *) where)[1] = (bfd_byte) ((value>>1) & 0xff);
4397 if (value < -512 || value > 511)
4398 as_bad_where (fixP->fx_file, fixP->fx_line,
4399 _("Value %ld too large for 9-bit PC-relative branch."),
4400 value);
4401 break;
4402
4403 case BFD_RELOC_M68HC12_10_PCREL:
4404 ((bfd_byte *) where)[0] |= (bfd_byte) ((value >>9) & 0x03);
4405 ((bfd_byte *) where)[1] = (bfd_byte) ((value>>1) & 0xff);
4406 if (value < -1024 || value > 1023)
4407 as_bad_where (fixP->fx_file, fixP->fx_line,
4408 _("Value %ld too large for 10-bit PC-relative branch."),
4409 value);
4410
4411 break;
4412
60bcf0fa
NC
4413 case BFD_RELOC_M68HC11_3B:
4414 if (value <= 0 || value > 8)
94f592af 4415 as_bad_where (fixP->fx_file, fixP->fx_line,
60bcf0fa
NC
4416 _("Auto increment/decrement offset '%ld' is out of range."),
4417 value);
4418 if (where[0] & 0x8)
4419 value = 8 - value;
4420 else
4421 value--;
4422
4423 where[0] = where[0] | (value & 0x07);
4424 break;
4425
28d39d1a
NC
4426 case BFD_RELOC_M68HC12_5B:
4427 if (value < -16 || value > 15)
4428 as_bad_where (fixP->fx_file, fixP->fx_line,
4429 _("Offset out of 5-bit range for movw/movb insn: %ld"),
4430 value);
4431 if (value >= 0)
4432 where[0] |= value;
3739860c 4433 else
28d39d1a
NC
4434 where[0] |= (0x10 | (16 + value));
4435 break;
4436
6927f982
NC
4437 case BFD_RELOC_M68HC12_9B:
4438 if (value < -256 || value > 255)
4439 as_bad_where (fixP->fx_file, fixP->fx_line,
4440 _("Offset out of 9-bit range for movw/movb insn: %ld"),
4441 value);
4442 /* sign bit already in xb postbyte */
4443 if (value >= 0)
4444 where[1] = value;
3739860c 4445 else
6927f982
NC
4446 where[1] = (256 + value);
4447 break;
4448
4449 case BFD_RELOC_M68HC12_16B:
4450 if (value < -32768 || value > 32767)
4451 as_bad_where (fixP->fx_file, fixP->fx_line,
4452 _("Offset out of 16-bit range for movw/movb insn: %ld"),
4453 value);
4454 if (value < 0)
4455 value += 65536;
4456
fcdc4d0c
SK
4457 where[0] = (value >> 8);
4458 where[1] = (value & 0xff);
6927f982
NC
4459 break;
4460
e371935f
SC
4461 case BFD_RELOC_M68HC11_RL_JUMP:
4462 case BFD_RELOC_M68HC11_RL_GROUP:
4463 case BFD_RELOC_VTABLE_INHERIT:
4464 case BFD_RELOC_VTABLE_ENTRY:
4465 fixP->fx_done = 0;
4466 return;
4467
60bcf0fa
NC
4468 default:
4469 as_fatal (_("Line %d: unknown relocation type: 0x%x."),
94f592af 4470 fixP->fx_line, fixP->fx_r_type);
60bcf0fa 4471 }
60bcf0fa 4472}
eb086b59
SC
4473
4474/* Set the ELF specific flags. */
4475void
ca43c854 4476m68hc11_elf_final_processing (void)
eb086b59 4477{
d01030e6
SC
4478 if (current_architecture & cpu6812s)
4479 elf_flags |= EF_M68HCS12_MACH;
eb086b59
SC
4480 elf_elfheader (stdoutput)->e_flags &= ~EF_M68HC11_ABI;
4481 elf_elfheader (stdoutput)->e_flags |= elf_flags;
4482}
bdfd67fa
SK
4483
4484/* Process directives specified via pseudo ops */
4485static void
4486s_m68hc11_parse_pseudo_instruction (int pseudo_insn)
4487{
4488 switch (pseudo_insn)
4489 {
4490 case E_M68HC11_NO_BANK_WARNING:
4491 elf_flags |= E_M68HC11_NO_BANK_WARNING;
4492 break;
4493 default:
4494 as_bad (_("Invalid directive"));
4495 }
4496}
This page took 0.915447 seconds and 4 git commands to generate.