tc-h8300.c revision 1.1.1.8 1 1.1 skrll /* tc-h8300.c -- Assemble code for the Renesas H8/300
2 1.1.1.8 christos Copyright (C) 1991-2020 Free Software Foundation, Inc.
3 1.1 skrll
4 1.1 skrll This file is part of GAS, the GNU Assembler.
5 1.1 skrll
6 1.1 skrll GAS is free software; you can redistribute it and/or modify
7 1.1 skrll it under the terms of the GNU General Public License as published by
8 1.1 skrll the Free Software Foundation; either version 3, or (at your option)
9 1.1 skrll any later version.
10 1.1 skrll
11 1.1 skrll GAS is distributed in the hope that it will be useful,
12 1.1 skrll but WITHOUT ANY WARRANTY; without even the implied warranty of
13 1.1 skrll MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 1.1 skrll GNU General Public License for more details.
15 1.1 skrll
16 1.1 skrll You should have received a copy of the GNU General Public License
17 1.1 skrll along with GAS; see the file COPYING. If not, write to the Free
18 1.1 skrll Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
19 1.1 skrll 02110-1301, USA. */
20 1.1 skrll
21 1.1 skrll /* Written By Steve Chamberlain <sac (at) cygnus.com>. */
22 1.1 skrll
23 1.1 skrll #include "as.h"
24 1.1 skrll #include "subsegs.h"
25 1.1 skrll #include "dwarf2dbg.h"
26 1.1 skrll
27 1.1 skrll #define DEFINE_TABLE
28 1.1 skrll #define h8_opcodes ops
29 1.1 skrll #include "opcode/h8300.h"
30 1.1 skrll #include "safe-ctype.h"
31 1.1 skrll #include "elf/h8.h"
32 1.1 skrll
33 1.1 skrll const char comment_chars[] = ";";
34 1.1 skrll const char line_comment_chars[] = "#";
35 1.1.1.4 christos #ifdef TE_LINUX
36 1.1.1.4 christos const char line_separator_chars[] = "!";
37 1.1.1.4 christos #else
38 1.1 skrll const char line_separator_chars[] = "";
39 1.1.1.4 christos #endif
40 1.1 skrll
41 1.1 skrll static void sbranch (int);
42 1.1 skrll static void h8300hmode (int);
43 1.1 skrll static void h8300smode (int);
44 1.1 skrll static void h8300hnmode (int);
45 1.1 skrll static void h8300snmode (int);
46 1.1 skrll static void h8300sxmode (int);
47 1.1 skrll static void h8300sxnmode (int);
48 1.1 skrll static void pint (int);
49 1.1 skrll
50 1.1 skrll int Hmode;
51 1.1 skrll int Smode;
52 1.1 skrll int Nmode;
53 1.1 skrll int SXmode;
54 1.1 skrll
55 1.1.1.4 christos static int default_mach = bfd_mach_h8300;
56 1.1.1.4 christos
57 1.1 skrll #define PSIZE (Hmode && !Nmode ? L_32 : L_16)
58 1.1 skrll
59 1.1 skrll static int bsize = L_8; /* Default branch displacement. */
60 1.1 skrll
61 1.1 skrll struct h8_instruction
62 1.1 skrll {
63 1.1 skrll int length;
64 1.1 skrll int noperands;
65 1.1 skrll int idx;
66 1.1 skrll int size;
67 1.1 skrll const struct h8_opcode *opcode;
68 1.1 skrll };
69 1.1 skrll
70 1.1 skrll static struct h8_instruction *h8_instructions;
71 1.1 skrll
72 1.1 skrll static void
73 1.1 skrll h8300hmode (int arg ATTRIBUTE_UNUSED)
74 1.1 skrll {
75 1.1 skrll Hmode = 1;
76 1.1 skrll Smode = 0;
77 1.1 skrll if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300h))
78 1.1 skrll as_warn (_("could not set architecture and machine"));
79 1.1 skrll }
80 1.1 skrll
81 1.1 skrll static void
82 1.1 skrll h8300smode (int arg ATTRIBUTE_UNUSED)
83 1.1 skrll {
84 1.1 skrll Smode = 1;
85 1.1 skrll Hmode = 1;
86 1.1 skrll if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300s))
87 1.1 skrll as_warn (_("could not set architecture and machine"));
88 1.1 skrll }
89 1.1 skrll
90 1.1 skrll static void
91 1.1 skrll h8300hnmode (int arg ATTRIBUTE_UNUSED)
92 1.1 skrll {
93 1.1 skrll Hmode = 1;
94 1.1 skrll Smode = 0;
95 1.1 skrll Nmode = 1;
96 1.1 skrll if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300hn))
97 1.1 skrll as_warn (_("could not set architecture and machine"));
98 1.1 skrll }
99 1.1 skrll
100 1.1 skrll static void
101 1.1 skrll h8300snmode (int arg ATTRIBUTE_UNUSED)
102 1.1 skrll {
103 1.1 skrll Smode = 1;
104 1.1 skrll Hmode = 1;
105 1.1 skrll Nmode = 1;
106 1.1 skrll if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300sn))
107 1.1 skrll as_warn (_("could not set architecture and machine"));
108 1.1 skrll }
109 1.1 skrll
110 1.1 skrll static void
111 1.1 skrll h8300sxmode (int arg ATTRIBUTE_UNUSED)
112 1.1 skrll {
113 1.1 skrll Smode = 1;
114 1.1 skrll Hmode = 1;
115 1.1 skrll SXmode = 1;
116 1.1 skrll if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300sx))
117 1.1 skrll as_warn (_("could not set architecture and machine"));
118 1.1 skrll }
119 1.1 skrll
120 1.1 skrll static void
121 1.1 skrll h8300sxnmode (int arg ATTRIBUTE_UNUSED)
122 1.1 skrll {
123 1.1 skrll Smode = 1;
124 1.1 skrll Hmode = 1;
125 1.1 skrll SXmode = 1;
126 1.1 skrll Nmode = 1;
127 1.1 skrll if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300sxn))
128 1.1 skrll as_warn (_("could not set architecture and machine"));
129 1.1 skrll }
130 1.1 skrll
131 1.1 skrll static void
132 1.1 skrll sbranch (int size)
133 1.1 skrll {
134 1.1 skrll bsize = size;
135 1.1 skrll }
136 1.1 skrll
137 1.1 skrll static void
138 1.1 skrll pint (int arg ATTRIBUTE_UNUSED)
139 1.1 skrll {
140 1.1 skrll cons (Hmode ? 4 : 2);
141 1.1 skrll }
142 1.1 skrll
143 1.1.1.2 christos /* Like obj_elf_section, but issues a warning for new
144 1.1.1.2 christos sections which do not have an attribute specification. */
145 1.1.1.2 christos
146 1.1.1.2 christos static void
147 1.1.1.2 christos h8300_elf_section (int push)
148 1.1.1.2 christos {
149 1.1.1.2 christos static const char * known_data_sections [] = { ".rodata", ".tdata", ".tbss" };
150 1.1.1.2 christos static const char * known_data_prefixes [] = { ".debug", ".zdebug", ".gnu.warning" };
151 1.1.1.2 christos char * saved_ilp = input_line_pointer;
152 1.1.1.5 christos const char * name;
153 1.1.1.2 christos
154 1.1.1.2 christos name = obj_elf_section_name ();
155 1.1.1.2 christos if (name == NULL)
156 1.1.1.2 christos return;
157 1.1.1.2 christos
158 1.1.1.2 christos if (* input_line_pointer != ','
159 1.1.1.2 christos && bfd_get_section_by_name (stdoutput, name) == NULL)
160 1.1.1.2 christos {
161 1.1.1.2 christos signed int i;
162 1.1.1.2 christos
163 1.1.1.2 christos /* Ignore this warning for well known data sections. */
164 1.1.1.2 christos for (i = ARRAY_SIZE (known_data_sections); i--;)
165 1.1.1.2 christos if (strcmp (name, known_data_sections[i]) == 0)
166 1.1.1.2 christos break;
167 1.1.1.2 christos
168 1.1.1.2 christos if (i < 0)
169 1.1.1.2 christos for (i = ARRAY_SIZE (known_data_prefixes); i--;)
170 1.1.1.2 christos if (strncmp (name, known_data_prefixes[i],
171 1.1.1.2 christos strlen (known_data_prefixes[i])) == 0)
172 1.1.1.2 christos break;
173 1.1.1.2 christos
174 1.1.1.2 christos if (i < 0)
175 1.1.1.2 christos as_warn (_("new section '%s' defined without attributes - this might cause problems"), name);
176 1.1.1.2 christos }
177 1.1.1.2 christos
178 1.1.1.2 christos /* FIXME: We ought to free the memory allocated by obj_elf_section_name()
179 1.1.1.2 christos for 'name', but we do not know if it was taken from the obstack, via
180 1.1.1.2 christos demand_copy_C_string(), or xmalloc()ed. */
181 1.1.1.2 christos input_line_pointer = saved_ilp;
182 1.1.1.2 christos obj_elf_section (push);
183 1.1.1.2 christos }
184 1.1.1.2 christos
185 1.1 skrll /* This table describes all the machine specific pseudo-ops the assembler
186 1.1 skrll has to support. The fields are:
187 1.1 skrll pseudo-op name without dot
188 1.1 skrll function to call to execute this pseudo-op
189 1.1 skrll Integer arg to pass to the function. */
190 1.1 skrll
191 1.1 skrll const pseudo_typeS md_pseudo_table[] =
192 1.1 skrll {
193 1.1 skrll {"h8300h", h8300hmode, 0},
194 1.1 skrll {"h8300hn", h8300hnmode, 0},
195 1.1 skrll {"h8300s", h8300smode, 0},
196 1.1 skrll {"h8300sn", h8300snmode, 0},
197 1.1 skrll {"h8300sx", h8300sxmode, 0},
198 1.1 skrll {"h8300sxn", h8300sxnmode, 0},
199 1.1 skrll {"sbranch", sbranch, L_8},
200 1.1 skrll {"lbranch", sbranch, L_16},
201 1.1 skrll
202 1.1 skrll {"int", pint, 0},
203 1.1 skrll {"data.b", cons, 1},
204 1.1 skrll {"data.w", cons, 2},
205 1.1 skrll {"data.l", cons, 4},
206 1.1 skrll {"form", listing_psize, 0},
207 1.1 skrll {"heading", listing_title, 0},
208 1.1 skrll {"import", s_ignore, 0},
209 1.1 skrll {"page", listing_eject, 0},
210 1.1 skrll {"program", s_ignore, 0},
211 1.1.1.2 christos
212 1.1.1.2 christos {"section", h8300_elf_section, 0},
213 1.1.1.2 christos {"section.s", h8300_elf_section, 0},
214 1.1.1.2 christos {"sect", h8300_elf_section, 0},
215 1.1.1.2 christos {"sect.s", h8300_elf_section, 0},
216 1.1.1.2 christos
217 1.1 skrll {0, 0, 0}
218 1.1 skrll };
219 1.1 skrll
220 1.1 skrll const char EXP_CHARS[] = "eE";
221 1.1 skrll
222 1.1 skrll /* Chars that mean this number is a floating point constant
223 1.1 skrll As in 0f12.456
224 1.1 skrll or 0d1.2345e12. */
225 1.1 skrll const char FLT_CHARS[] = "rRsSfFdDxXpP";
226 1.1 skrll
227 1.1 skrll static struct hash_control *opcode_hash_control; /* Opcode mnemonics. */
228 1.1 skrll
229 1.1 skrll /* This function is called once, at assembler startup time. This
230 1.1 skrll should set up all the tables, etc. that the MD part of the assembler
231 1.1 skrll needs. */
232 1.1 skrll
233 1.1 skrll void
234 1.1 skrll md_begin (void)
235 1.1 skrll {
236 1.1 skrll unsigned int nopcodes;
237 1.1 skrll struct h8_opcode *p, *p1;
238 1.1 skrll struct h8_instruction *pi;
239 1.1 skrll char prev_buffer[100];
240 1.1 skrll int idx = 0;
241 1.1 skrll
242 1.1.1.4 christos if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, default_mach))
243 1.1 skrll as_warn (_("could not set architecture and machine"));
244 1.1 skrll
245 1.1 skrll opcode_hash_control = hash_new ();
246 1.1 skrll prev_buffer[0] = 0;
247 1.1 skrll
248 1.1 skrll nopcodes = sizeof (h8_opcodes) / sizeof (struct h8_opcode);
249 1.1.1.4 christos
250 1.1.1.5 christos h8_instructions = XNEWVEC (struct h8_instruction, nopcodes);
251 1.1 skrll
252 1.1 skrll pi = h8_instructions;
253 1.1 skrll p1 = h8_opcodes;
254 1.1 skrll /* We do a minimum amount of sorting on the opcode table; this is to
255 1.1 skrll make it easy to describe the mova instructions without unnecessary
256 1.1 skrll code duplication.
257 1.1 skrll Sorting only takes place inside blocks of instructions of the form
258 1.1 skrll X/Y, so for example mova/b, mova/w and mova/l can be intermixed. */
259 1.1 skrll while (p1)
260 1.1 skrll {
261 1.1 skrll struct h8_opcode *first_skipped = 0;
262 1.1 skrll int len, cmplen = 0;
263 1.1.1.5 christos const char *src = p1->name;
264 1.1 skrll char *dst, *buffer;
265 1.1 skrll
266 1.1 skrll if (p1->name == 0)
267 1.1 skrll break;
268 1.1 skrll /* Strip off any . part when inserting the opcode and only enter
269 1.1 skrll unique codes into the hash table. */
270 1.1.1.5 christos dst = buffer = XNEWVEC (char, strlen (src) + 1);
271 1.1 skrll while (*src)
272 1.1 skrll {
273 1.1 skrll if (*src == '.')
274 1.1 skrll {
275 1.1 skrll src++;
276 1.1 skrll break;
277 1.1 skrll }
278 1.1 skrll if (*src == '/')
279 1.1 skrll cmplen = src - p1->name + 1;
280 1.1 skrll *dst++ = *src++;
281 1.1 skrll }
282 1.1 skrll *dst = 0;
283 1.1 skrll len = dst - buffer;
284 1.1 skrll if (cmplen == 0)
285 1.1 skrll cmplen = len;
286 1.1 skrll hash_insert (opcode_hash_control, buffer, (char *) pi);
287 1.1 skrll strcpy (prev_buffer, buffer);
288 1.1 skrll idx++;
289 1.1 skrll
290 1.1 skrll for (p = p1; p->name; p++)
291 1.1 skrll {
292 1.1 skrll /* A negative TIME is used to indicate that we've added this opcode
293 1.1 skrll already. */
294 1.1 skrll if (p->time == -1)
295 1.1 skrll continue;
296 1.1 skrll if (strncmp (p->name, buffer, cmplen) != 0
297 1.1 skrll || (p->name[cmplen] != '\0' && p->name[cmplen] != '.'
298 1.1 skrll && p->name[cmplen - 1] != '/'))
299 1.1 skrll {
300 1.1 skrll if (first_skipped == 0)
301 1.1 skrll first_skipped = p;
302 1.1 skrll break;
303 1.1 skrll }
304 1.1 skrll if (strncmp (p->name, buffer, len) != 0)
305 1.1 skrll {
306 1.1 skrll if (first_skipped == 0)
307 1.1 skrll first_skipped = p;
308 1.1 skrll continue;
309 1.1 skrll }
310 1.1 skrll
311 1.1 skrll p->time = -1;
312 1.1 skrll pi->size = p->name[len] == '.' ? p->name[len + 1] : 0;
313 1.1 skrll pi->idx = idx;
314 1.1 skrll
315 1.1 skrll /* Find the number of operands. */
316 1.1 skrll pi->noperands = 0;
317 1.1 skrll while (pi->noperands < 3 && p->args.nib[pi->noperands] != (op_type) E)
318 1.1 skrll pi->noperands++;
319 1.1 skrll
320 1.1 skrll /* Find the length of the opcode in bytes. */
321 1.1 skrll pi->length = 0;
322 1.1 skrll while (p->data.nib[pi->length * 2] != (op_type) E)
323 1.1 skrll pi->length++;
324 1.1 skrll
325 1.1 skrll pi->opcode = p;
326 1.1 skrll pi++;
327 1.1 skrll }
328 1.1 skrll p1 = first_skipped;
329 1.1 skrll }
330 1.1 skrll
331 1.1 skrll /* Add entry for the NULL vector terminator. */
332 1.1 skrll pi->length = 0;
333 1.1 skrll pi->noperands = 0;
334 1.1 skrll pi->idx = 0;
335 1.1 skrll pi->size = 0;
336 1.1 skrll pi->opcode = 0;
337 1.1 skrll
338 1.1 skrll linkrelax = 1;
339 1.1 skrll }
340 1.1 skrll
341 1.1 skrll struct h8_op
342 1.1 skrll {
343 1.1 skrll op_type mode;
344 1.1 skrll unsigned reg;
345 1.1 skrll expressionS exp;
346 1.1 skrll };
347 1.1 skrll
348 1.1 skrll static void clever_message (const struct h8_instruction *, struct h8_op *);
349 1.1 skrll static void fix_operand_size (struct h8_op *, int);
350 1.1 skrll static void build_bytes (const struct h8_instruction *, struct h8_op *);
351 1.1.1.2 christos static void do_a_fix_imm (int, int, struct h8_op *, int, const struct h8_instruction *);
352 1.1.1.5 christos static void check_operand (struct h8_op *, unsigned int, const char *);
353 1.1 skrll static const struct h8_instruction * get_specific (const struct h8_instruction *, struct h8_op *, int) ;
354 1.1 skrll static char *get_operands (unsigned, char *, struct h8_op *);
355 1.1 skrll static void get_operand (char **, struct h8_op *, int);
356 1.1 skrll static int parse_reg (char *, op_type *, unsigned *, int);
357 1.1 skrll static char *skip_colonthing (char *, int *);
358 1.1 skrll static char *parse_exp (char *, struct h8_op *);
359 1.1 skrll
360 1.1 skrll static int constant_fits_size_p (struct h8_op *, int, int);
361 1.1 skrll
362 1.1 skrll /*
363 1.1 skrll parse operands
364 1.1 skrll WREG r0,r1,r2,r3,r4,r5,r6,r7,fp,sp
365 1.1 skrll r0l,r0h,..r7l,r7h
366 1.1 skrll @WREG
367 1.1 skrll @WREG+
368 1.1 skrll @-WREG
369 1.1 skrll #const
370 1.1 skrll ccr
371 1.1 skrll */
372 1.1 skrll
373 1.1 skrll /* Try to parse a reg name. Return the number of chars consumed. */
374 1.1 skrll
375 1.1 skrll static int
376 1.1 skrll parse_reg (char *src, op_type *mode, unsigned int *reg, int direction)
377 1.1 skrll {
378 1.1 skrll char *end;
379 1.1 skrll int len;
380 1.1 skrll
381 1.1.1.4 christos /* Cribbed from get_symbol_name. */
382 1.1 skrll if (!is_name_beginner (*src) || *src == '\001')
383 1.1 skrll return 0;
384 1.1 skrll end = src + 1;
385 1.1 skrll while ((is_part_of_name (*end) && *end != '.') || *end == '\001')
386 1.1 skrll end++;
387 1.1 skrll len = end - src;
388 1.1 skrll
389 1.1 skrll if (len == 2 && TOLOWER (src[0]) == 's' && TOLOWER (src[1]) == 'p')
390 1.1 skrll {
391 1.1 skrll *mode = PSIZE | REG | direction;
392 1.1 skrll *reg = 7;
393 1.1 skrll return len;
394 1.1 skrll }
395 1.1.1.4 christos if (len == 3 &&
396 1.1.1.4 christos TOLOWER (src[0]) == 'c' &&
397 1.1.1.4 christos TOLOWER (src[1]) == 'c' &&
398 1.1 skrll TOLOWER (src[2]) == 'r')
399 1.1 skrll {
400 1.1 skrll *mode = CCR;
401 1.1 skrll *reg = 0;
402 1.1 skrll return len;
403 1.1 skrll }
404 1.1.1.4 christos if (len == 3 &&
405 1.1.1.4 christos TOLOWER (src[0]) == 'e' &&
406 1.1.1.4 christos TOLOWER (src[1]) == 'x' &&
407 1.1 skrll TOLOWER (src[2]) == 'r')
408 1.1 skrll {
409 1.1 skrll *mode = EXR;
410 1.1 skrll *reg = 1;
411 1.1 skrll return len;
412 1.1 skrll }
413 1.1.1.4 christos if (len == 3 &&
414 1.1.1.4 christos TOLOWER (src[0]) == 'v' &&
415 1.1.1.4 christos TOLOWER (src[1]) == 'b' &&
416 1.1 skrll TOLOWER (src[2]) == 'r')
417 1.1 skrll {
418 1.1 skrll *mode = VBR;
419 1.1 skrll *reg = 6;
420 1.1 skrll return len;
421 1.1 skrll }
422 1.1.1.4 christos if (len == 3 &&
423 1.1.1.4 christos TOLOWER (src[0]) == 's' &&
424 1.1.1.4 christos TOLOWER (src[1]) == 'b' &&
425 1.1 skrll TOLOWER (src[2]) == 'r')
426 1.1 skrll {
427 1.1 skrll *mode = SBR;
428 1.1 skrll *reg = 7;
429 1.1 skrll return len;
430 1.1 skrll }
431 1.1 skrll if (len == 2 && TOLOWER (src[0]) == 'f' && TOLOWER (src[1]) == 'p')
432 1.1 skrll {
433 1.1 skrll *mode = PSIZE | REG | direction;
434 1.1 skrll *reg = 6;
435 1.1 skrll return len;
436 1.1 skrll }
437 1.1 skrll if (len == 3 && TOLOWER (src[0]) == 'e' && TOLOWER (src[1]) == 'r' &&
438 1.1 skrll src[2] >= '0' && src[2] <= '7')
439 1.1 skrll {
440 1.1 skrll *mode = L_32 | REG | direction;
441 1.1 skrll *reg = src[2] - '0';
442 1.1 skrll if (!Hmode)
443 1.1 skrll as_warn (_("Reg not valid for H8/300"));
444 1.1 skrll return len;
445 1.1 skrll }
446 1.1 skrll if (len == 2 && TOLOWER (src[0]) == 'e' && src[1] >= '0' && src[1] <= '7')
447 1.1 skrll {
448 1.1 skrll *mode = L_16 | REG | direction;
449 1.1 skrll *reg = src[1] - '0' + 8;
450 1.1 skrll if (!Hmode)
451 1.1 skrll as_warn (_("Reg not valid for H8/300"));
452 1.1 skrll return len;
453 1.1 skrll }
454 1.1 skrll
455 1.1 skrll if (TOLOWER (src[0]) == 'r')
456 1.1 skrll {
457 1.1 skrll if (src[1] >= '0' && src[1] <= '7')
458 1.1 skrll {
459 1.1 skrll if (len == 3 && TOLOWER (src[2]) == 'l')
460 1.1 skrll {
461 1.1 skrll *mode = L_8 | REG | direction;
462 1.1 skrll *reg = (src[1] - '0') + 8;
463 1.1 skrll return len;
464 1.1 skrll }
465 1.1 skrll if (len == 3 && TOLOWER (src[2]) == 'h')
466 1.1 skrll {
467 1.1 skrll *mode = L_8 | REG | direction;
468 1.1 skrll *reg = (src[1] - '0');
469 1.1 skrll return len;
470 1.1 skrll }
471 1.1 skrll if (len == 2)
472 1.1 skrll {
473 1.1 skrll *mode = L_16 | REG | direction;
474 1.1 skrll *reg = (src[1] - '0');
475 1.1 skrll return len;
476 1.1 skrll }
477 1.1 skrll }
478 1.1 skrll }
479 1.1 skrll
480 1.1 skrll return 0;
481 1.1 skrll }
482 1.1 skrll
483 1.1 skrll
484 1.1 skrll /* Parse an immediate or address-related constant and store it in OP.
485 1.1 skrll If the user also specifies the operand's size, store that size
486 1.1 skrll in OP->MODE, otherwise leave it for later code to decide. */
487 1.1 skrll
488 1.1 skrll static char *
489 1.1 skrll parse_exp (char *src, struct h8_op *op)
490 1.1 skrll {
491 1.1 skrll char *save;
492 1.1 skrll
493 1.1 skrll save = input_line_pointer;
494 1.1 skrll input_line_pointer = src;
495 1.1 skrll expression (&op->exp);
496 1.1 skrll if (op->exp.X_op == O_absent)
497 1.1 skrll as_bad (_("missing operand"));
498 1.1 skrll src = input_line_pointer;
499 1.1 skrll input_line_pointer = save;
500 1.1 skrll
501 1.1 skrll return skip_colonthing (src, &op->mode);
502 1.1 skrll }
503 1.1 skrll
504 1.1 skrll
505 1.1 skrll /* If SRC starts with an explicit operand size, skip it and store the size
506 1.1 skrll in *MODE. Leave *MODE unchanged otherwise. */
507 1.1 skrll
508 1.1 skrll static char *
509 1.1 skrll skip_colonthing (char *src, int *mode)
510 1.1 skrll {
511 1.1 skrll if (*src == ':')
512 1.1 skrll {
513 1.1 skrll src++;
514 1.1 skrll *mode &= ~SIZE;
515 1.1 skrll if (src[0] == '8' && !ISDIGIT (src[1]))
516 1.1 skrll *mode |= L_8;
517 1.1 skrll else if (src[0] == '2' && !ISDIGIT (src[1]))
518 1.1 skrll *mode |= L_2;
519 1.1 skrll else if (src[0] == '3' && !ISDIGIT (src[1]))
520 1.1 skrll *mode |= L_3;
521 1.1 skrll else if (src[0] == '4' && !ISDIGIT (src[1]))
522 1.1 skrll *mode |= L_4;
523 1.1 skrll else if (src[0] == '5' && !ISDIGIT (src[1]))
524 1.1 skrll *mode |= L_5;
525 1.1 skrll else if (src[0] == '2' && src[1] == '4' && !ISDIGIT (src[2]))
526 1.1 skrll *mode |= L_24;
527 1.1 skrll else if (src[0] == '3' && src[1] == '2' && !ISDIGIT (src[2]))
528 1.1 skrll *mode |= L_32;
529 1.1 skrll else if (src[0] == '1' && src[1] == '6' && !ISDIGIT (src[2]))
530 1.1 skrll *mode |= L_16;
531 1.1 skrll else
532 1.1 skrll as_bad (_("invalid operand size requested"));
533 1.1 skrll
534 1.1 skrll while (ISDIGIT (*src))
535 1.1 skrll src++;
536 1.1 skrll }
537 1.1 skrll return src;
538 1.1 skrll }
539 1.1 skrll
540 1.1 skrll /* The many forms of operand:
541 1.1 skrll
542 1.1 skrll Rn Register direct
543 1.1 skrll @Rn Register indirect
544 1.1 skrll @(exp[:16], Rn) Register indirect with displacement
545 1.1 skrll @Rn+
546 1.1 skrll @-Rn
547 1.1 skrll @aa:8 absolute 8 bit
548 1.1 skrll @aa:16 absolute 16 bit
549 1.1 skrll @aa absolute 16 bit
550 1.1 skrll
551 1.1 skrll #xx[:size] immediate data
552 1.1 skrll @(exp:[8], pc) pc rel
553 1.1 skrll @@aa[:8] memory indirect. */
554 1.1 skrll
555 1.1 skrll static int
556 1.1.1.3 christos constant_fits_width_p (struct h8_op *operand, offsetT width)
557 1.1 skrll {
558 1.1.1.3 christos offsetT num;
559 1.1.1.3 christos
560 1.1.1.3 christos num = ((operand->exp.X_add_number & 0xffffffff) ^ 0x80000000) - 0x80000000;
561 1.1.1.3 christos return (num & ~width) == 0 || (num | width) == ~0;
562 1.1 skrll }
563 1.1 skrll
564 1.1 skrll static int
565 1.1 skrll constant_fits_size_p (struct h8_op *operand, int size, int no_symbols)
566 1.1 skrll {
567 1.1.1.3 christos offsetT num;
568 1.1.1.3 christos
569 1.1 skrll if (no_symbols
570 1.1 skrll && (operand->exp.X_add_symbol != 0 || operand->exp.X_op_symbol != 0))
571 1.1 skrll return 0;
572 1.1.1.3 christos num = operand->exp.X_add_number & 0xffffffff;
573 1.1 skrll switch (size)
574 1.1 skrll {
575 1.1 skrll case L_2:
576 1.1 skrll return (num & ~3) == 0;
577 1.1 skrll case L_3:
578 1.1 skrll return (num & ~7) == 0;
579 1.1 skrll case L_3NZ:
580 1.1 skrll return num >= 1 && num < 8;
581 1.1 skrll case L_4:
582 1.1 skrll return (num & ~15) == 0;
583 1.1 skrll case L_5:
584 1.1 skrll return num >= 1 && num < 32;
585 1.1 skrll case L_8:
586 1.1.1.3 christos num = (num ^ 0x80000000) - 0x80000000;
587 1.1.1.3 christos return (num & ~0xFF) == 0 || (num | 0x7F) == ~0;
588 1.1 skrll case L_8U:
589 1.1 skrll return (num & ~0xFF) == 0;
590 1.1 skrll case L_16:
591 1.1.1.3 christos num = (num ^ 0x80000000) - 0x80000000;
592 1.1.1.3 christos return (num & ~0xFFFF) == 0 || (num | 0x7FFF) == ~0;
593 1.1 skrll case L_16U:
594 1.1 skrll return (num & ~0xFFFF) == 0;
595 1.1 skrll case L_32:
596 1.1 skrll return 1;
597 1.1 skrll default:
598 1.1 skrll abort ();
599 1.1 skrll }
600 1.1 skrll }
601 1.1 skrll
602 1.1 skrll static void
603 1.1 skrll get_operand (char **ptr, struct h8_op *op, int direction)
604 1.1 skrll {
605 1.1 skrll char *src = *ptr;
606 1.1 skrll op_type mode;
607 1.1 skrll unsigned int num;
608 1.1 skrll unsigned int len;
609 1.1 skrll
610 1.1 skrll op->mode = 0;
611 1.1 skrll
612 1.1 skrll /* Check for '(' and ')' for instructions ldm and stm. */
613 1.1 skrll if (src[0] == '(' && src[8] == ')')
614 1.1 skrll ++ src;
615 1.1 skrll
616 1.1 skrll /* Gross. Gross. ldm and stm have a format not easily handled
617 1.1 skrll by get_operand. We deal with it explicitly here. */
618 1.1.1.4 christos if (TOLOWER (src[0]) == 'e' && TOLOWER (src[1]) == 'r' &&
619 1.1 skrll ISDIGIT (src[2]) && src[3] == '-' &&
620 1.1 skrll TOLOWER (src[4]) == 'e' && TOLOWER (src[5]) == 'r' && ISDIGIT (src[6]))
621 1.1 skrll {
622 1.1 skrll int low, high;
623 1.1 skrll
624 1.1 skrll low = src[2] - '0';
625 1.1 skrll high = src[6] - '0';
626 1.1 skrll
627 1.1 skrll /* Check register pair's validity as per tech note TN-H8*-193A/E
628 1.1 skrll from Renesas for H8S and H8SX hardware manual. */
629 1.1 skrll if ( !(low == 0 && (high == 1 || high == 2 || high == 3))
630 1.1 skrll && !(low == 1 && (high == 2 || high == 3 || high == 4) && SXmode)
631 1.1 skrll && !(low == 2 && (high == 3 || ((high == 4 || high == 5) && SXmode)))
632 1.1 skrll && !(low == 3 && (high == 4 || high == 5 || high == 6) && SXmode)
633 1.1 skrll && !(low == 4 && (high == 5 || high == 6))
634 1.1 skrll && !(low == 4 && high == 7 && SXmode)
635 1.1 skrll && !(low == 5 && (high == 6 || high == 7) && SXmode)
636 1.1 skrll && !(low == 6 && high == 7 && SXmode))
637 1.1 skrll as_bad (_("Invalid register list for ldm/stm\n"));
638 1.1 skrll
639 1.1 skrll /* Even sicker. We encode two registers into op->reg. One
640 1.1 skrll for the low register to save, the other for the high
641 1.1 skrll register to save; we also set the high bit in op->reg
642 1.1 skrll so we know this is "very special". */
643 1.1 skrll op->reg = 0x80000000 | (high << 8) | low;
644 1.1 skrll op->mode = REG;
645 1.1 skrll if (src[7] == ')')
646 1.1 skrll *ptr = src + 8;
647 1.1 skrll else
648 1.1 skrll *ptr = src + 7;
649 1.1 skrll return;
650 1.1 skrll }
651 1.1 skrll
652 1.1 skrll len = parse_reg (src, &op->mode, &op->reg, direction);
653 1.1 skrll if (len)
654 1.1 skrll {
655 1.1 skrll src += len;
656 1.1 skrll if (*src == '.')
657 1.1 skrll {
658 1.1 skrll int size = op->mode & SIZE;
659 1.1 skrll switch (src[1])
660 1.1 skrll {
661 1.1 skrll case 'l': case 'L':
662 1.1 skrll if (size != L_32)
663 1.1 skrll as_warn (_("mismatch between register and suffix"));
664 1.1 skrll op->mode = (op->mode & ~MODE) | LOWREG;
665 1.1 skrll break;
666 1.1 skrll case 'w': case 'W':
667 1.1 skrll if (size != L_32 && size != L_16)
668 1.1 skrll as_warn (_("mismatch between register and suffix"));
669 1.1 skrll op->mode = (op->mode & ~MODE) | LOWREG;
670 1.1 skrll op->mode = (op->mode & ~SIZE) | L_16;
671 1.1 skrll break;
672 1.1 skrll case 'b': case 'B':
673 1.1 skrll op->mode = (op->mode & ~MODE) | LOWREG;
674 1.1 skrll if (size != L_32 && size != L_8)
675 1.1 skrll as_warn (_("mismatch between register and suffix"));
676 1.1 skrll op->mode = (op->mode & ~MODE) | LOWREG;
677 1.1 skrll op->mode = (op->mode & ~SIZE) | L_8;
678 1.1 skrll break;
679 1.1 skrll default:
680 1.1.1.2 christos as_warn (_("invalid suffix after register."));
681 1.1 skrll break;
682 1.1 skrll }
683 1.1 skrll src += 2;
684 1.1 skrll }
685 1.1 skrll *ptr = src;
686 1.1 skrll return;
687 1.1 skrll }
688 1.1 skrll
689 1.1 skrll if (*src == '@')
690 1.1 skrll {
691 1.1 skrll src++;
692 1.1 skrll if (*src == '@')
693 1.1 skrll {
694 1.1 skrll *ptr = parse_exp (src + 1, op);
695 1.1 skrll if (op->exp.X_add_number >= 0x100)
696 1.1 skrll {
697 1.1 skrll int divisor = 1;
698 1.1 skrll
699 1.1 skrll op->mode = VECIND;
700 1.1 skrll /* FIXME : 2? or 4? */
701 1.1 skrll if (op->exp.X_add_number >= 0x400)
702 1.1 skrll as_bad (_("address too high for vector table jmp/jsr"));
703 1.1 skrll else if (op->exp.X_add_number >= 0x200)
704 1.1 skrll divisor = 4;
705 1.1 skrll else
706 1.1 skrll divisor = 2;
707 1.1 skrll
708 1.1 skrll op->exp.X_add_number = op->exp.X_add_number / divisor - 0x80;
709 1.1 skrll }
710 1.1 skrll else
711 1.1 skrll op->mode = MEMIND;
712 1.1 skrll return;
713 1.1 skrll }
714 1.1 skrll
715 1.1 skrll if (*src == '-' || *src == '+')
716 1.1 skrll {
717 1.1 skrll len = parse_reg (src + 1, &mode, &num, direction);
718 1.1 skrll if (len == 0)
719 1.1 skrll {
720 1.1 skrll /* Oops, not a reg after all, must be ordinary exp. */
721 1.1 skrll op->mode = ABS | direction;
722 1.1 skrll *ptr = parse_exp (src, op);
723 1.1 skrll return;
724 1.1 skrll }
725 1.1 skrll
726 1.1 skrll if (((mode & SIZE) != PSIZE)
727 1.1 skrll /* For Normal mode accept 16 bit and 32 bit pointer registers. */
728 1.1 skrll && (!Nmode || ((mode & SIZE) != L_32)))
729 1.1 skrll as_bad (_("Wrong size pointer register for architecture."));
730 1.1 skrll
731 1.1 skrll op->mode = src[0] == '-' ? RDPREDEC : RDPREINC;
732 1.1 skrll op->reg = num;
733 1.1 skrll *ptr = src + 1 + len;
734 1.1 skrll return;
735 1.1 skrll }
736 1.1 skrll if (*src == '(')
737 1.1 skrll {
738 1.1 skrll src++;
739 1.1 skrll
740 1.1 skrll /* See if this is @(ERn.x, PC). */
741 1.1 skrll len = parse_reg (src, &mode, &op->reg, direction);
742 1.1 skrll if (len != 0 && (mode & MODE) == REG && src[len] == '.')
743 1.1 skrll {
744 1.1 skrll switch (TOLOWER (src[len + 1]))
745 1.1 skrll {
746 1.1 skrll case 'b':
747 1.1 skrll mode = PCIDXB | direction;
748 1.1 skrll break;
749 1.1 skrll case 'w':
750 1.1 skrll mode = PCIDXW | direction;
751 1.1 skrll break;
752 1.1 skrll case 'l':
753 1.1 skrll mode = PCIDXL | direction;
754 1.1 skrll break;
755 1.1 skrll default:
756 1.1 skrll mode = 0;
757 1.1 skrll break;
758 1.1 skrll }
759 1.1 skrll if (mode
760 1.1 skrll && src[len + 2] == ','
761 1.1.1.4 christos && TOLOWER (src[len + 3]) != 'p'
762 1.1 skrll && TOLOWER (src[len + 4]) != 'c'
763 1.1 skrll && src[len + 5] != ')')
764 1.1 skrll {
765 1.1 skrll *ptr = src + len + 6;
766 1.1 skrll op->mode |= mode;
767 1.1 skrll return;
768 1.1 skrll }
769 1.1 skrll /* Fall through into disp case - the grammar is somewhat
770 1.1 skrll ambiguous, so we should try whether it's a DISP operand
771 1.1 skrll after all ("ER3.L" might be a poorly named label...). */
772 1.1 skrll }
773 1.1 skrll
774 1.1 skrll /* Disp. */
775 1.1 skrll
776 1.1 skrll /* Start off assuming a 16 bit offset. */
777 1.1 skrll
778 1.1 skrll src = parse_exp (src, op);
779 1.1 skrll if (*src == ')')
780 1.1 skrll {
781 1.1 skrll op->mode |= ABS | direction;
782 1.1 skrll *ptr = src + 1;
783 1.1 skrll return;
784 1.1 skrll }
785 1.1 skrll
786 1.1 skrll if (*src != ',')
787 1.1 skrll {
788 1.1 skrll as_bad (_("expected @(exp, reg16)"));
789 1.1 skrll return;
790 1.1 skrll }
791 1.1 skrll src++;
792 1.1 skrll
793 1.1 skrll len = parse_reg (src, &mode, &op->reg, direction);
794 1.1 skrll if (len == 0 || (mode & MODE) != REG)
795 1.1 skrll {
796 1.1 skrll as_bad (_("expected @(exp, reg16)"));
797 1.1 skrll return;
798 1.1 skrll }
799 1.1 skrll src += len;
800 1.1 skrll if (src[0] == '.')
801 1.1 skrll {
802 1.1 skrll switch (TOLOWER (src[1]))
803 1.1 skrll {
804 1.1 skrll case 'b':
805 1.1 skrll op->mode |= INDEXB | direction;
806 1.1 skrll break;
807 1.1 skrll case 'w':
808 1.1 skrll op->mode |= INDEXW | direction;
809 1.1 skrll break;
810 1.1 skrll case 'l':
811 1.1 skrll op->mode |= INDEXL | direction;
812 1.1 skrll break;
813 1.1 skrll default:
814 1.1 skrll as_bad (_("expected .L, .W or .B for register in indexed addressing mode"));
815 1.1 skrll }
816 1.1 skrll src += 2;
817 1.1 skrll op->reg &= 7;
818 1.1 skrll }
819 1.1 skrll else
820 1.1 skrll op->mode |= DISP | direction;
821 1.1 skrll src = skip_colonthing (src, &op->mode);
822 1.1 skrll
823 1.1.1.5 christos if (*src != ')')
824 1.1 skrll {
825 1.1 skrll as_bad (_("expected @(exp, reg16)"));
826 1.1 skrll return;
827 1.1 skrll }
828 1.1 skrll *ptr = src + 1;
829 1.1 skrll return;
830 1.1 skrll }
831 1.1 skrll len = parse_reg (src, &mode, &num, direction);
832 1.1 skrll
833 1.1 skrll if (len)
834 1.1 skrll {
835 1.1 skrll src += len;
836 1.1 skrll if (*src == '+' || *src == '-')
837 1.1 skrll {
838 1.1 skrll if (((mode & SIZE) != PSIZE)
839 1.1 skrll /* For Normal mode accept 16 bit and 32 bit pointer registers. */
840 1.1 skrll && (!Nmode || ((mode & SIZE) != L_32)))
841 1.1 skrll as_bad (_("Wrong size pointer register for architecture."));
842 1.1 skrll op->mode = *src == '+' ? RSPOSTINC : RSPOSTDEC;
843 1.1 skrll op->reg = num;
844 1.1 skrll src++;
845 1.1 skrll *ptr = src;
846 1.1 skrll return;
847 1.1 skrll }
848 1.1 skrll if (((mode & SIZE) != PSIZE)
849 1.1 skrll /* For Normal mode accept 16 bit and 32 bit pointer registers. */
850 1.1 skrll && (!Nmode || ((mode & SIZE) != L_32)))
851 1.1 skrll as_bad (_("Wrong size pointer register for architecture."));
852 1.1 skrll
853 1.1 skrll op->mode = direction | IND | PSIZE;
854 1.1 skrll op->reg = num;
855 1.1 skrll *ptr = src;
856 1.1 skrll
857 1.1 skrll return;
858 1.1 skrll }
859 1.1 skrll else
860 1.1 skrll {
861 1.1 skrll /* must be a symbol */
862 1.1 skrll
863 1.1 skrll op->mode = ABS | direction;
864 1.1 skrll *ptr = parse_exp (src, op);
865 1.1 skrll return;
866 1.1 skrll }
867 1.1 skrll }
868 1.1 skrll
869 1.1 skrll if (*src == '#')
870 1.1 skrll {
871 1.1 skrll op->mode = IMM;
872 1.1 skrll *ptr = parse_exp (src + 1, op);
873 1.1 skrll return;
874 1.1 skrll }
875 1.1.1.4 christos else if (strncmp (src, "mach", 4) == 0 ||
876 1.1 skrll strncmp (src, "macl", 4) == 0 ||
877 1.1.1.4 christos strncmp (src, "MACH", 4) == 0 ||
878 1.1 skrll strncmp (src, "MACL", 4) == 0)
879 1.1 skrll {
880 1.1 skrll op->reg = TOLOWER (src[3]) == 'l';
881 1.1 skrll op->mode = MACREG;
882 1.1 skrll *ptr = src + 4;
883 1.1 skrll return;
884 1.1 skrll }
885 1.1 skrll else
886 1.1 skrll {
887 1.1 skrll op->mode = PCREL;
888 1.1 skrll *ptr = parse_exp (src, op);
889 1.1 skrll }
890 1.1 skrll }
891 1.1 skrll
892 1.1 skrll static char *
893 1.1 skrll get_operands (unsigned int noperands, char *op_end, struct h8_op *operand)
894 1.1 skrll {
895 1.1 skrll char *ptr = op_end;
896 1.1 skrll
897 1.1 skrll switch (noperands)
898 1.1 skrll {
899 1.1 skrll case 0:
900 1.1 skrll break;
901 1.1 skrll
902 1.1 skrll case 1:
903 1.1 skrll ptr++;
904 1.1 skrll get_operand (&ptr, operand + 0, SRC);
905 1.1 skrll if (*ptr == ',')
906 1.1 skrll {
907 1.1 skrll ptr++;
908 1.1 skrll get_operand (&ptr, operand + 1, DST);
909 1.1 skrll }
910 1.1 skrll break;
911 1.1 skrll
912 1.1 skrll case 2:
913 1.1 skrll ptr++;
914 1.1 skrll get_operand (&ptr, operand + 0, SRC);
915 1.1 skrll if (*ptr == ',')
916 1.1 skrll ptr++;
917 1.1 skrll get_operand (&ptr, operand + 1, DST);
918 1.1 skrll break;
919 1.1 skrll
920 1.1 skrll case 3:
921 1.1 skrll ptr++;
922 1.1 skrll get_operand (&ptr, operand + 0, SRC);
923 1.1 skrll if (*ptr == ',')
924 1.1 skrll ptr++;
925 1.1 skrll get_operand (&ptr, operand + 1, DST);
926 1.1 skrll if (*ptr == ',')
927 1.1 skrll ptr++;
928 1.1 skrll get_operand (&ptr, operand + 2, OP3);
929 1.1 skrll break;
930 1.1 skrll
931 1.1 skrll default:
932 1.1 skrll abort ();
933 1.1 skrll }
934 1.1 skrll
935 1.1 skrll return ptr;
936 1.1 skrll }
937 1.1 skrll
938 1.1 skrll /* MOVA has special requirements. Rather than adding twice the amount of
939 1.1 skrll addressing modes, we simply special case it a bit. */
940 1.1 skrll static void
941 1.1 skrll get_mova_operands (char *op_end, struct h8_op *operand)
942 1.1 skrll {
943 1.1 skrll char *ptr = op_end;
944 1.1 skrll
945 1.1 skrll if (ptr[1] != '@' || ptr[2] != '(')
946 1.1 skrll goto error;
947 1.1 skrll ptr += 3;
948 1.1 skrll operand[0].mode = 0;
949 1.1 skrll ptr = parse_exp (ptr, &operand[0]);
950 1.1 skrll
951 1.1 skrll if (*ptr !=',')
952 1.1 skrll goto error;
953 1.1 skrll ptr++;
954 1.1 skrll get_operand (&ptr, operand + 1, DST);
955 1.1 skrll
956 1.1 skrll if (*ptr =='.')
957 1.1 skrll {
958 1.1 skrll ptr++;
959 1.1 skrll switch (*ptr++)
960 1.1 skrll {
961 1.1 skrll case 'b': case 'B':
962 1.1 skrll operand[0].mode = (operand[0].mode & ~MODE) | INDEXB;
963 1.1 skrll break;
964 1.1 skrll case 'w': case 'W':
965 1.1 skrll operand[0].mode = (operand[0].mode & ~MODE) | INDEXW;
966 1.1 skrll break;
967 1.1 skrll case 'l': case 'L':
968 1.1 skrll operand[0].mode = (operand[0].mode & ~MODE) | INDEXL;
969 1.1 skrll break;
970 1.1 skrll default:
971 1.1 skrll goto error;
972 1.1 skrll }
973 1.1 skrll }
974 1.1 skrll else if ((operand[1].mode & MODE) == LOWREG)
975 1.1 skrll {
976 1.1.1.4 christos switch (operand[1].mode & SIZE)
977 1.1 skrll {
978 1.1 skrll case L_8:
979 1.1 skrll operand[0].mode = (operand[0].mode & ~MODE) | INDEXB;
980 1.1 skrll break;
981 1.1 skrll case L_16:
982 1.1 skrll operand[0].mode = (operand[0].mode & ~MODE) | INDEXW;
983 1.1 skrll break;
984 1.1 skrll case L_32:
985 1.1 skrll operand[0].mode = (operand[0].mode & ~MODE) | INDEXL;
986 1.1 skrll break;
987 1.1 skrll default:
988 1.1 skrll goto error;
989 1.1 skrll }
990 1.1 skrll }
991 1.1 skrll else
992 1.1 skrll goto error;
993 1.1 skrll
994 1.1 skrll if (*ptr++ != ')' || *ptr++ != ',')
995 1.1 skrll goto error;
996 1.1 skrll get_operand (&ptr, operand + 2, OP3);
997 1.1 skrll /* See if we can use the short form of MOVA. */
998 1.1 skrll if (((operand[1].mode & MODE) == REG || (operand[1].mode & MODE) == LOWREG)
999 1.1 skrll && (operand[2].mode & MODE) == REG
1000 1.1 skrll && (operand[1].reg & 7) == (operand[2].reg & 7))
1001 1.1 skrll {
1002 1.1 skrll operand[1].mode = operand[2].mode = 0;
1003 1.1 skrll operand[0].reg = operand[2].reg & 7;
1004 1.1 skrll }
1005 1.1 skrll return;
1006 1.1 skrll
1007 1.1 skrll error:
1008 1.1 skrll as_bad (_("expected valid addressing mode for mova: \"@(disp, ea.sz),ERn\""));
1009 1.1 skrll }
1010 1.1 skrll
1011 1.1 skrll static void
1012 1.1 skrll get_rtsl_operands (char *ptr, struct h8_op *operand)
1013 1.1 skrll {
1014 1.1 skrll int mode, len, type = 0;
1015 1.1 skrll unsigned int num, num2;
1016 1.1 skrll
1017 1.1 skrll ptr++;
1018 1.1 skrll if (*ptr == '(')
1019 1.1 skrll {
1020 1.1 skrll ptr++;
1021 1.1 skrll type = 1;
1022 1.1 skrll }
1023 1.1 skrll len = parse_reg (ptr, &mode, &num, SRC);
1024 1.1 skrll if (len == 0 || (mode & MODE) != REG)
1025 1.1 skrll {
1026 1.1 skrll as_bad (_("expected register"));
1027 1.1 skrll return;
1028 1.1 skrll }
1029 1.1 skrll ptr += len;
1030 1.1 skrll if (*ptr == '-')
1031 1.1 skrll {
1032 1.1 skrll len = parse_reg (++ptr, &mode, &num2, SRC);
1033 1.1 skrll if (len == 0 || (mode & MODE) != REG)
1034 1.1 skrll {
1035 1.1 skrll as_bad (_("expected register"));
1036 1.1 skrll return;
1037 1.1 skrll }
1038 1.1 skrll ptr += len;
1039 1.1 skrll /* CONST_xxx are used as placeholders in the opcode table. */
1040 1.1 skrll num = num2 - num;
1041 1.1 skrll if (num > 3)
1042 1.1 skrll {
1043 1.1 skrll as_bad (_("invalid register list"));
1044 1.1 skrll return;
1045 1.1 skrll }
1046 1.1 skrll }
1047 1.1 skrll else
1048 1.1 skrll num2 = num, num = 0;
1049 1.1 skrll if (type == 1 && *ptr++ != ')')
1050 1.1 skrll {
1051 1.1 skrll as_bad (_("expected closing paren"));
1052 1.1 skrll return;
1053 1.1 skrll }
1054 1.1 skrll operand[0].mode = RS32;
1055 1.1 skrll operand[1].mode = RD32;
1056 1.1 skrll operand[0].reg = num;
1057 1.1 skrll operand[1].reg = num2;
1058 1.1 skrll }
1059 1.1 skrll
1060 1.1 skrll /* Passed a pointer to a list of opcodes which use different
1061 1.1 skrll addressing modes, return the opcode which matches the opcodes
1062 1.1 skrll provided. */
1063 1.1 skrll
1064 1.1 skrll static const struct h8_instruction *
1065 1.1 skrll get_specific (const struct h8_instruction *instruction,
1066 1.1 skrll struct h8_op *operands, int size)
1067 1.1 skrll {
1068 1.1 skrll const struct h8_instruction *this_try = instruction;
1069 1.1 skrll const struct h8_instruction *found_other = 0, *found_mismatched = 0;
1070 1.1 skrll int found = 0;
1071 1.1 skrll int this_index = instruction->idx;
1072 1.1 skrll int noperands = 0;
1073 1.1 skrll
1074 1.1 skrll /* There's only one ldm/stm and it's easier to just
1075 1.1 skrll get out quick for them. */
1076 1.1 skrll if (OP_KIND (instruction->opcode->how) == O_LDM
1077 1.1 skrll || OP_KIND (instruction->opcode->how) == O_STM)
1078 1.1 skrll return this_try;
1079 1.1 skrll
1080 1.1 skrll while (noperands < 3 && operands[noperands].mode != 0)
1081 1.1 skrll noperands++;
1082 1.1 skrll
1083 1.1 skrll while (this_index == instruction->idx && !found)
1084 1.1 skrll {
1085 1.1 skrll int this_size;
1086 1.1 skrll
1087 1.1 skrll found = 1;
1088 1.1 skrll this_try = instruction++;
1089 1.1 skrll this_size = this_try->opcode->how & SN;
1090 1.1 skrll
1091 1.1 skrll if (this_try->noperands != noperands)
1092 1.1 skrll found = 0;
1093 1.1 skrll else if (this_try->noperands > 0)
1094 1.1 skrll {
1095 1.1 skrll int i;
1096 1.1 skrll
1097 1.1 skrll for (i = 0; i < this_try->noperands && found; i++)
1098 1.1 skrll {
1099 1.1 skrll op_type op = this_try->opcode->args.nib[i];
1100 1.1 skrll int op_mode = op & MODE;
1101 1.1 skrll int op_size = op & SIZE;
1102 1.1 skrll int x = operands[i].mode;
1103 1.1 skrll int x_mode = x & MODE;
1104 1.1 skrll int x_size = x & SIZE;
1105 1.1 skrll
1106 1.1 skrll if (op_mode == LOWREG && (x_mode == REG || x_mode == LOWREG))
1107 1.1 skrll {
1108 1.1 skrll if ((x_size == L_8 && (operands[i].reg & 8) == 0)
1109 1.1 skrll || (x_size == L_16 && (operands[i].reg & 8) == 8))
1110 1.1 skrll as_warn (_("can't use high part of register in operand %d"), i);
1111 1.1 skrll
1112 1.1 skrll if (x_size != op_size)
1113 1.1 skrll found = 0;
1114 1.1 skrll }
1115 1.1 skrll else if (op_mode == REG)
1116 1.1 skrll {
1117 1.1 skrll if (x_mode == LOWREG)
1118 1.1 skrll x_mode = REG;
1119 1.1 skrll if (x_mode != REG)
1120 1.1 skrll found = 0;
1121 1.1 skrll
1122 1.1 skrll if (x_size == L_P)
1123 1.1 skrll x_size = (Hmode ? L_32 : L_16);
1124 1.1 skrll if (op_size == L_P)
1125 1.1 skrll op_size = (Hmode ? L_32 : L_16);
1126 1.1 skrll
1127 1.1 skrll /* The size of the reg is v important. */
1128 1.1 skrll if (op_size != x_size)
1129 1.1 skrll found = 0;
1130 1.1 skrll }
1131 1.1 skrll else if (op_mode & CTRL) /* control register */
1132 1.1 skrll {
1133 1.1 skrll if (!(x_mode & CTRL))
1134 1.1 skrll found = 0;
1135 1.1 skrll
1136 1.1 skrll switch (x_mode)
1137 1.1 skrll {
1138 1.1 skrll case CCR:
1139 1.1 skrll if (op_mode != CCR &&
1140 1.1 skrll op_mode != CCR_EXR &&
1141 1.1 skrll op_mode != CC_EX_VB_SB)
1142 1.1 skrll found = 0;
1143 1.1 skrll break;
1144 1.1 skrll case EXR:
1145 1.1 skrll if (op_mode != EXR &&
1146 1.1 skrll op_mode != CCR_EXR &&
1147 1.1 skrll op_mode != CC_EX_VB_SB)
1148 1.1 skrll found = 0;
1149 1.1 skrll break;
1150 1.1 skrll case MACH:
1151 1.1 skrll if (op_mode != MACH &&
1152 1.1 skrll op_mode != MACREG)
1153 1.1 skrll found = 0;
1154 1.1 skrll break;
1155 1.1 skrll case MACL:
1156 1.1 skrll if (op_mode != MACL &&
1157 1.1 skrll op_mode != MACREG)
1158 1.1 skrll found = 0;
1159 1.1 skrll break;
1160 1.1 skrll case VBR:
1161 1.1 skrll if (op_mode != VBR &&
1162 1.1 skrll op_mode != VBR_SBR &&
1163 1.1 skrll op_mode != CC_EX_VB_SB)
1164 1.1 skrll found = 0;
1165 1.1 skrll break;
1166 1.1 skrll case SBR:
1167 1.1 skrll if (op_mode != SBR &&
1168 1.1 skrll op_mode != VBR_SBR &&
1169 1.1 skrll op_mode != CC_EX_VB_SB)
1170 1.1 skrll found = 0;
1171 1.1 skrll break;
1172 1.1 skrll }
1173 1.1 skrll }
1174 1.1 skrll else if ((op & ABSJMP) && (x_mode == ABS || x_mode == PCREL))
1175 1.1 skrll {
1176 1.1 skrll operands[i].mode &= ~MODE;
1177 1.1 skrll operands[i].mode |= ABSJMP;
1178 1.1 skrll /* But it may not be 24 bits long. */
1179 1.1 skrll if (x_mode == ABS && !Hmode)
1180 1.1 skrll {
1181 1.1 skrll operands[i].mode &= ~SIZE;
1182 1.1 skrll operands[i].mode |= L_16;
1183 1.1 skrll }
1184 1.1 skrll if ((operands[i].mode & SIZE) == L_32
1185 1.1 skrll && (op_mode & SIZE) != L_32)
1186 1.1 skrll found = 0;
1187 1.1 skrll }
1188 1.1 skrll else if (x_mode == IMM && op_mode != IMM)
1189 1.1 skrll {
1190 1.1.1.3 christos offsetT num = operands[i].exp.X_add_number & 0xffffffff;
1191 1.1 skrll if (op_mode == KBIT || op_mode == DBIT)
1192 1.1 skrll /* This is ok if the immediate value is sensible. */;
1193 1.1 skrll else if (op_mode == CONST_2)
1194 1.1 skrll found = num == 2;
1195 1.1 skrll else if (op_mode == CONST_4)
1196 1.1 skrll found = num == 4;
1197 1.1 skrll else if (op_mode == CONST_8)
1198 1.1 skrll found = num == 8;
1199 1.1 skrll else if (op_mode == CONST_16)
1200 1.1 skrll found = num == 16;
1201 1.1 skrll else
1202 1.1 skrll found = 0;
1203 1.1 skrll }
1204 1.1 skrll else if (op_mode == PCREL && op_mode == x_mode)
1205 1.1 skrll {
1206 1.1 skrll /* movsd, bsr/bc and bsr/bs only come in PCREL16 flavour:
1207 1.1 skrll If x_size is L_8, promote it. */
1208 1.1 skrll if (OP_KIND (this_try->opcode->how) == O_MOVSD
1209 1.1 skrll || OP_KIND (this_try->opcode->how) == O_BSRBC
1210 1.1 skrll || OP_KIND (this_try->opcode->how) == O_BSRBS)
1211 1.1 skrll if (x_size == L_8)
1212 1.1 skrll x_size = L_16;
1213 1.1 skrll
1214 1.1 skrll /* The size of the displacement is important. */
1215 1.1 skrll if (op_size != x_size)
1216 1.1 skrll found = 0;
1217 1.1 skrll }
1218 1.1 skrll else if ((op_mode == DISP || op_mode == IMM || op_mode == ABS
1219 1.1 skrll || op_mode == INDEXB || op_mode == INDEXW
1220 1.1 skrll || op_mode == INDEXL)
1221 1.1 skrll && op_mode == x_mode)
1222 1.1 skrll {
1223 1.1 skrll /* Promote a L_24 to L_32 if it makes us match. */
1224 1.1 skrll if (x_size == L_24 && op_size == L_32)
1225 1.1 skrll {
1226 1.1 skrll x &= ~SIZE;
1227 1.1 skrll x |= x_size = L_32;
1228 1.1 skrll }
1229 1.1 skrll
1230 1.1 skrll if (((x_size == L_16 && op_size == L_16U)
1231 1.1 skrll || (x_size == L_8 && op_size == L_8U)
1232 1.1 skrll || (x_size == L_3 && op_size == L_3NZ))
1233 1.1 skrll /* We're deliberately more permissive for ABS modes. */
1234 1.1 skrll && (op_mode == ABS
1235 1.1 skrll || constant_fits_size_p (operands + i, op_size,
1236 1.1 skrll op & NO_SYMBOLS)))
1237 1.1 skrll x_size = op_size;
1238 1.1 skrll
1239 1.1 skrll if (x_size != 0 && op_size != x_size)
1240 1.1 skrll found = 0;
1241 1.1 skrll else if (x_size == 0
1242 1.1 skrll && ! constant_fits_size_p (operands + i, op_size,
1243 1.1 skrll op & NO_SYMBOLS))
1244 1.1 skrll found = 0;
1245 1.1 skrll }
1246 1.1 skrll else if (op_mode != x_mode)
1247 1.1 skrll {
1248 1.1 skrll found = 0;
1249 1.1 skrll }
1250 1.1 skrll }
1251 1.1 skrll }
1252 1.1 skrll if (found)
1253 1.1 skrll {
1254 1.1 skrll if ((this_try->opcode->available == AV_H8SX && ! SXmode)
1255 1.1 skrll || (this_try->opcode->available == AV_H8S && ! Smode)
1256 1.1 skrll || (this_try->opcode->available == AV_H8H && ! Hmode))
1257 1.1 skrll found = 0, found_other = this_try;
1258 1.1 skrll else if (this_size != size && (this_size != SN && size != SN))
1259 1.1 skrll found_mismatched = this_try, found = 0;
1260 1.1 skrll
1261 1.1 skrll }
1262 1.1 skrll }
1263 1.1 skrll if (found)
1264 1.1 skrll return this_try;
1265 1.1 skrll if (found_other)
1266 1.1 skrll {
1267 1.1 skrll as_warn (_("Opcode `%s' with these operand types not available in %s mode"),
1268 1.1 skrll found_other->opcode->name,
1269 1.1 skrll (! Hmode && ! Smode ? "H8/300"
1270 1.1 skrll : SXmode ? "H8sx"
1271 1.1 skrll : Smode ? "H8/300S"
1272 1.1 skrll : "H8/300H"));
1273 1.1 skrll }
1274 1.1 skrll else if (found_mismatched)
1275 1.1 skrll {
1276 1.1 skrll as_warn (_("mismatch between opcode size and operand size"));
1277 1.1 skrll return found_mismatched;
1278 1.1 skrll }
1279 1.1 skrll return 0;
1280 1.1 skrll }
1281 1.1 skrll
1282 1.1 skrll static void
1283 1.1.1.5 christos check_operand (struct h8_op *operand, unsigned int width, const char *string)
1284 1.1 skrll {
1285 1.1 skrll if (operand->exp.X_add_symbol == 0
1286 1.1 skrll && operand->exp.X_op_symbol == 0)
1287 1.1 skrll {
1288 1.1 skrll /* No symbol involved, let's look at offset, it's dangerous if
1289 1.1 skrll any of the high bits are not 0 or ff's, find out by oring or
1290 1.1 skrll anding with the width and seeing if the answer is 0 or all
1291 1.1 skrll fs. */
1292 1.1 skrll
1293 1.1 skrll if (! constant_fits_width_p (operand, width))
1294 1.1 skrll {
1295 1.1 skrll if (width == 255
1296 1.1 skrll && (operand->exp.X_add_number & 0xff00) == 0xff00)
1297 1.1 skrll {
1298 1.1 skrll /* Just ignore this one - which happens when trying to
1299 1.1 skrll fit a 16 bit address truncated into an 8 bit address
1300 1.1 skrll of something like bset. */
1301 1.1 skrll }
1302 1.1 skrll else if (strcmp (string, "@") == 0
1303 1.1 skrll && width == 0xffff
1304 1.1 skrll && (operand->exp.X_add_number & 0xff8000) == 0xff8000)
1305 1.1 skrll {
1306 1.1 skrll /* Just ignore this one - which happens when trying to
1307 1.1 skrll fit a 24 bit address truncated into a 16 bit address
1308 1.1 skrll of something like mov.w. */
1309 1.1 skrll }
1310 1.1 skrll else
1311 1.1 skrll {
1312 1.1 skrll as_warn (_("operand %s0x%lx out of range."), string,
1313 1.1 skrll (unsigned long) operand->exp.X_add_number);
1314 1.1 skrll }
1315 1.1 skrll }
1316 1.1 skrll }
1317 1.1 skrll }
1318 1.1 skrll
1319 1.1 skrll /* RELAXMODE has one of 3 values:
1320 1.1 skrll
1321 1.1 skrll 0 Output a "normal" reloc, no relaxing possible for this insn/reloc
1322 1.1 skrll
1323 1.1 skrll 1 Output a relaxable 24bit absolute mov.w address relocation
1324 1.1 skrll (may relax into a 16bit absolute address).
1325 1.1 skrll
1326 1.1 skrll 2 Output a relaxable 16/24 absolute mov.b address relocation
1327 1.1 skrll (may relax into an 8bit absolute address). */
1328 1.1 skrll
1329 1.1 skrll static void
1330 1.1.1.2 christos do_a_fix_imm (int offset, int nibble, struct h8_op *operand, int relaxmode, const struct h8_instruction *this_try)
1331 1.1 skrll {
1332 1.1 skrll int idx;
1333 1.1 skrll int size;
1334 1.1 skrll int where;
1335 1.1 skrll char *bytes = frag_now->fr_literal + offset;
1336 1.1 skrll
1337 1.1.1.5 christos const char *t = ((operand->mode & MODE) == IMM) ? "#" : "@";
1338 1.1 skrll
1339 1.1 skrll if (operand->exp.X_add_symbol == 0)
1340 1.1 skrll {
1341 1.1 skrll switch (operand->mode & SIZE)
1342 1.1 skrll {
1343 1.1 skrll case L_2:
1344 1.1 skrll check_operand (operand, 0x3, t);
1345 1.1 skrll bytes[0] |= (operand->exp.X_add_number & 3) << (nibble ? 0 : 4);
1346 1.1 skrll break;
1347 1.1 skrll case L_3:
1348 1.1 skrll case L_3NZ:
1349 1.1 skrll check_operand (operand, 0x7, t);
1350 1.1 skrll bytes[0] |= (operand->exp.X_add_number & 7) << (nibble ? 0 : 4);
1351 1.1 skrll break;
1352 1.1 skrll case L_4:
1353 1.1 skrll check_operand (operand, 0xF, t);
1354 1.1 skrll bytes[0] |= (operand->exp.X_add_number & 15) << (nibble ? 0 : 4);
1355 1.1 skrll break;
1356 1.1 skrll case L_5:
1357 1.1 skrll check_operand (operand, 0x1F, t);
1358 1.1 skrll bytes[0] |= operand->exp.X_add_number & 31;
1359 1.1 skrll break;
1360 1.1 skrll case L_8:
1361 1.1 skrll case L_8U:
1362 1.1 skrll check_operand (operand, 0xff, t);
1363 1.1 skrll bytes[0] |= operand->exp.X_add_number;
1364 1.1 skrll break;
1365 1.1 skrll case L_16:
1366 1.1 skrll case L_16U:
1367 1.1 skrll check_operand (operand, 0xffff, t);
1368 1.1 skrll bytes[0] |= operand->exp.X_add_number >> 8;
1369 1.1 skrll bytes[1] |= operand->exp.X_add_number >> 0;
1370 1.1.1.2 christos /* MOVA needs both relocs to relax the second operand properly. */
1371 1.1.1.2 christos if (relaxmode != 0
1372 1.1.1.2 christos && (OP_KIND(this_try->opcode->how) == O_MOVAB
1373 1.1.1.2 christos || OP_KIND(this_try->opcode->how) == O_MOVAW
1374 1.1.1.2 christos || OP_KIND(this_try->opcode->how) == O_MOVAL))
1375 1.1.1.2 christos {
1376 1.1.1.2 christos idx = BFD_RELOC_16;
1377 1.1.1.2 christos fix_new_exp (frag_now, offset, 2, &operand->exp, 0, idx);
1378 1.1.1.2 christos }
1379 1.1 skrll break;
1380 1.1 skrll case L_24:
1381 1.1 skrll check_operand (operand, 0xffffff, t);
1382 1.1 skrll bytes[0] |= operand->exp.X_add_number >> 16;
1383 1.1 skrll bytes[1] |= operand->exp.X_add_number >> 8;
1384 1.1 skrll bytes[2] |= operand->exp.X_add_number >> 0;
1385 1.1 skrll break;
1386 1.1 skrll
1387 1.1 skrll case L_32:
1388 1.1 skrll /* This should be done with bfd. */
1389 1.1 skrll bytes[0] |= operand->exp.X_add_number >> 24;
1390 1.1 skrll bytes[1] |= operand->exp.X_add_number >> 16;
1391 1.1 skrll bytes[2] |= operand->exp.X_add_number >> 8;
1392 1.1 skrll bytes[3] |= operand->exp.X_add_number >> 0;
1393 1.1 skrll if (relaxmode != 0)
1394 1.1 skrll {
1395 1.1.1.4 christos if ((operand->mode & MODE) == DISP && relaxmode == 1)
1396 1.1.1.4 christos idx = BFD_RELOC_H8_DISP32A16;
1397 1.1.1.4 christos else
1398 1.1.1.4 christos idx = (relaxmode == 2) ? R_MOV24B1 : R_MOVL1;
1399 1.1 skrll fix_new_exp (frag_now, offset, 4, &operand->exp, 0, idx);
1400 1.1 skrll }
1401 1.1 skrll break;
1402 1.1 skrll }
1403 1.1 skrll }
1404 1.1 skrll else
1405 1.1 skrll {
1406 1.1 skrll switch (operand->mode & SIZE)
1407 1.1 skrll {
1408 1.1 skrll case L_24:
1409 1.1 skrll case L_32:
1410 1.1 skrll size = 4;
1411 1.1 skrll where = (operand->mode & SIZE) == L_24 ? -1 : 0;
1412 1.1.1.4 christos if ((operand->mode & MODE) == DISP && relaxmode == 1)
1413 1.1.1.4 christos idx = BFD_RELOC_H8_DISP32A16;
1414 1.1.1.7 christos else if (relaxmode == 2)
1415 1.1 skrll idx = R_MOV24B1;
1416 1.1 skrll else if (relaxmode == 1)
1417 1.1 skrll idx = R_MOVL1;
1418 1.1 skrll else
1419 1.1 skrll idx = R_RELLONG;
1420 1.1 skrll break;
1421 1.1 skrll default:
1422 1.1 skrll as_bad (_("Can't work out size of operand.\n"));
1423 1.1.1.6 christos /* Fall through. */
1424 1.1 skrll case L_16:
1425 1.1 skrll case L_16U:
1426 1.1 skrll size = 2;
1427 1.1 skrll where = 0;
1428 1.1 skrll if (relaxmode == 2)
1429 1.1 skrll idx = R_MOV16B1;
1430 1.1 skrll else
1431 1.1 skrll idx = R_RELWORD;
1432 1.1 skrll operand->exp.X_add_number =
1433 1.1 skrll ((operand->exp.X_add_number & 0xffff) ^ 0x8000) - 0x8000;
1434 1.1 skrll operand->exp.X_add_number |= (bytes[0] << 8) | bytes[1];
1435 1.1 skrll break;
1436 1.1 skrll case L_8:
1437 1.1 skrll size = 1;
1438 1.1 skrll where = 0;
1439 1.1 skrll idx = R_RELBYTE;
1440 1.1 skrll operand->exp.X_add_number =
1441 1.1 skrll ((operand->exp.X_add_number & 0xff) ^ 0x80) - 0x80;
1442 1.1 skrll operand->exp.X_add_number |= bytes[0];
1443 1.1 skrll }
1444 1.1 skrll
1445 1.1 skrll fix_new_exp (frag_now,
1446 1.1 skrll offset + where,
1447 1.1 skrll size,
1448 1.1 skrll &operand->exp,
1449 1.1 skrll 0,
1450 1.1 skrll idx);
1451 1.1 skrll }
1452 1.1 skrll }
1453 1.1 skrll
1454 1.1 skrll /* Now we know what sort of opcodes it is, let's build the bytes. */
1455 1.1 skrll
1456 1.1 skrll static void
1457 1.1 skrll build_bytes (const struct h8_instruction *this_try, struct h8_op *operand)
1458 1.1 skrll {
1459 1.1 skrll int i;
1460 1.1 skrll char *output = frag_more (this_try->length);
1461 1.1 skrll const op_type *nibble_ptr = this_try->opcode->data.nib;
1462 1.1 skrll op_type c;
1463 1.1 skrll unsigned int nibble_count = 0;
1464 1.1 skrll int op_at[3];
1465 1.1 skrll int nib = 0;
1466 1.1 skrll int movb = 0;
1467 1.1 skrll char asnibbles[100];
1468 1.1 skrll char *p = asnibbles;
1469 1.1 skrll int high, low;
1470 1.1 skrll
1471 1.1 skrll if (!Hmode && this_try->opcode->available != AV_H8)
1472 1.1 skrll as_warn (_("Opcode `%s' with these operand types not available in H8/300 mode"),
1473 1.1 skrll this_try->opcode->name);
1474 1.1.1.4 christos else if (!Smode
1475 1.1.1.4 christos && this_try->opcode->available != AV_H8
1476 1.1 skrll && this_try->opcode->available != AV_H8H)
1477 1.1 skrll as_warn (_("Opcode `%s' with these operand types not available in H8/300H mode"),
1478 1.1 skrll this_try->opcode->name);
1479 1.1.1.4 christos else if (!SXmode
1480 1.1 skrll && this_try->opcode->available != AV_H8
1481 1.1 skrll && this_try->opcode->available != AV_H8H
1482 1.1 skrll && this_try->opcode->available != AV_H8S)
1483 1.1 skrll as_warn (_("Opcode `%s' with these operand types not available in H8/300S mode"),
1484 1.1 skrll this_try->opcode->name);
1485 1.1 skrll
1486 1.1 skrll while (*nibble_ptr != (op_type) E)
1487 1.1 skrll {
1488 1.1 skrll int d;
1489 1.1 skrll
1490 1.1 skrll nib = 0;
1491 1.1 skrll c = *nibble_ptr++;
1492 1.1 skrll
1493 1.1 skrll d = (c & OP3) == OP3 ? 2 : (c & DST) == DST ? 1 : 0;
1494 1.1 skrll
1495 1.1 skrll if (c < 16)
1496 1.1 skrll nib = c;
1497 1.1 skrll else
1498 1.1 skrll {
1499 1.1 skrll int c2 = c & MODE;
1500 1.1 skrll
1501 1.1 skrll if (c2 == REG || c2 == LOWREG
1502 1.1 skrll || c2 == IND || c2 == PREINC || c2 == PREDEC
1503 1.1 skrll || c2 == POSTINC || c2 == POSTDEC)
1504 1.1 skrll {
1505 1.1 skrll nib = operand[d].reg;
1506 1.1 skrll if (c2 == LOWREG)
1507 1.1 skrll nib &= 7;
1508 1.1 skrll }
1509 1.1 skrll
1510 1.1 skrll else if (c & CTRL) /* Control reg operand. */
1511 1.1 skrll nib = operand[d].reg;
1512 1.1 skrll
1513 1.1 skrll else if ((c & DISPREG) == (DISPREG))
1514 1.1 skrll {
1515 1.1 skrll nib = operand[d].reg;
1516 1.1 skrll }
1517 1.1 skrll else if (c2 == ABS)
1518 1.1 skrll {
1519 1.1 skrll operand[d].mode = c;
1520 1.1 skrll op_at[d] = nibble_count;
1521 1.1 skrll nib = 0;
1522 1.1 skrll }
1523 1.1 skrll else if (c2 == IMM || c2 == PCREL || c2 == ABS
1524 1.1 skrll || (c & ABSJMP) || c2 == DISP)
1525 1.1 skrll {
1526 1.1 skrll operand[d].mode = c;
1527 1.1 skrll op_at[d] = nibble_count;
1528 1.1 skrll nib = 0;
1529 1.1 skrll }
1530 1.1 skrll else if ((c & IGNORE) || (c & DATA))
1531 1.1 skrll nib = 0;
1532 1.1 skrll
1533 1.1 skrll else if (c2 == DBIT)
1534 1.1 skrll {
1535 1.1 skrll switch (operand[0].exp.X_add_number)
1536 1.1 skrll {
1537 1.1 skrll case 1:
1538 1.1 skrll nib = c;
1539 1.1 skrll break;
1540 1.1 skrll case 2:
1541 1.1 skrll nib = 0x8 | c;
1542 1.1 skrll break;
1543 1.1 skrll default:
1544 1.1 skrll as_bad (_("Need #1 or #2 here"));
1545 1.1 skrll }
1546 1.1 skrll }
1547 1.1 skrll else if (c2 == KBIT)
1548 1.1 skrll {
1549 1.1 skrll switch (operand[0].exp.X_add_number)
1550 1.1 skrll {
1551 1.1 skrll case 1:
1552 1.1 skrll nib = 0;
1553 1.1 skrll break;
1554 1.1 skrll case 2:
1555 1.1 skrll nib = 8;
1556 1.1 skrll break;
1557 1.1 skrll case 4:
1558 1.1 skrll if (!Hmode)
1559 1.1 skrll as_warn (_("#4 not valid on H8/300."));
1560 1.1 skrll nib = 9;
1561 1.1 skrll break;
1562 1.1 skrll
1563 1.1 skrll default:
1564 1.1 skrll as_bad (_("Need #1 or #2 here"));
1565 1.1 skrll break;
1566 1.1 skrll }
1567 1.1 skrll /* Stop it making a fix. */
1568 1.1 skrll operand[0].mode = 0;
1569 1.1 skrll }
1570 1.1 skrll
1571 1.1 skrll if (c & MEMRELAX)
1572 1.1 skrll operand[d].mode |= MEMRELAX;
1573 1.1 skrll
1574 1.1 skrll if (c & B31)
1575 1.1 skrll nib |= 0x8;
1576 1.1 skrll
1577 1.1 skrll if (c & B21)
1578 1.1 skrll nib |= 0x4;
1579 1.1 skrll
1580 1.1 skrll if (c & B11)
1581 1.1 skrll nib |= 0x2;
1582 1.1 skrll
1583 1.1 skrll if (c & B01)
1584 1.1 skrll nib |= 0x1;
1585 1.1 skrll
1586 1.1 skrll if (c2 == MACREG)
1587 1.1 skrll {
1588 1.1 skrll if (operand[0].mode == MACREG)
1589 1.1 skrll /* stmac has mac[hl] as the first operand. */
1590 1.1 skrll nib = 2 + operand[0].reg;
1591 1.1 skrll else
1592 1.1 skrll /* ldmac has mac[hl] as the second operand. */
1593 1.1 skrll nib = 2 + operand[1].reg;
1594 1.1 skrll }
1595 1.1 skrll }
1596 1.1 skrll nibble_count++;
1597 1.1 skrll
1598 1.1 skrll *p++ = nib;
1599 1.1 skrll }
1600 1.1 skrll
1601 1.1 skrll /* Disgusting. Why, oh why didn't someone ask us for advice
1602 1.1 skrll on the assembler format. */
1603 1.1 skrll if (OP_KIND (this_try->opcode->how) == O_LDM)
1604 1.1 skrll {
1605 1.1 skrll high = (operand[1].reg >> 8) & 0xf;
1606 1.1 skrll low = (operand[1].reg) & 0xf;
1607 1.1 skrll asnibbles[2] = high - low;
1608 1.1 skrll asnibbles[7] = high;
1609 1.1 skrll }
1610 1.1 skrll else if (OP_KIND (this_try->opcode->how) == O_STM)
1611 1.1 skrll {
1612 1.1 skrll high = (operand[0].reg >> 8) & 0xf;
1613 1.1 skrll low = (operand[0].reg) & 0xf;
1614 1.1 skrll asnibbles[2] = high - low;
1615 1.1 skrll asnibbles[7] = low;
1616 1.1 skrll }
1617 1.1 skrll
1618 1.1 skrll for (i = 0; i < this_try->length; i++)
1619 1.1 skrll output[i] = (asnibbles[i * 2] << 4) | asnibbles[i * 2 + 1];
1620 1.1 skrll
1621 1.1.1.4 christos /* Note if this is a mov.b or a bit manipulation instruction
1622 1.1 skrll there is a special relaxation which only applies. */
1623 1.1 skrll if ( this_try->opcode->how == O (O_MOV, SB)
1624 1.1 skrll || this_try->opcode->how == O (O_BCLR, SB)
1625 1.1 skrll || this_try->opcode->how == O (O_BAND, SB)
1626 1.1 skrll || this_try->opcode->how == O (O_BIAND, SB)
1627 1.1 skrll || this_try->opcode->how == O (O_BILD, SB)
1628 1.1 skrll || this_try->opcode->how == O (O_BIOR, SB)
1629 1.1 skrll || this_try->opcode->how == O (O_BIST, SB)
1630 1.1 skrll || this_try->opcode->how == O (O_BIXOR, SB)
1631 1.1 skrll || this_try->opcode->how == O (O_BLD, SB)
1632 1.1 skrll || this_try->opcode->how == O (O_BNOT, SB)
1633 1.1 skrll || this_try->opcode->how == O (O_BOR, SB)
1634 1.1 skrll || this_try->opcode->how == O (O_BSET, SB)
1635 1.1 skrll || this_try->opcode->how == O (O_BST, SB)
1636 1.1 skrll || this_try->opcode->how == O (O_BTST, SB)
1637 1.1 skrll || this_try->opcode->how == O (O_BXOR, SB))
1638 1.1 skrll movb = 1;
1639 1.1 skrll
1640 1.1 skrll /* Output any fixes. */
1641 1.1 skrll for (i = 0; i < this_try->noperands; i++)
1642 1.1 skrll {
1643 1.1 skrll int x = operand[i].mode;
1644 1.1 skrll int x_mode = x & MODE;
1645 1.1 skrll
1646 1.1 skrll if (x_mode == IMM || x_mode == DISP)
1647 1.1.1.7 christos do_a_fix_imm (output - frag_now->fr_literal + op_at[i] / 2,
1648 1.1.1.7 christos op_at[i] & 1, operand + i, (x & MEMRELAX) != 0,
1649 1.1.1.7 christos this_try);
1650 1.1 skrll else if (x_mode == ABS)
1651 1.1 skrll do_a_fix_imm (output - frag_now->fr_literal + op_at[i] / 2,
1652 1.1 skrll op_at[i] & 1, operand + i,
1653 1.1.1.2 christos (x & MEMRELAX) ? movb + 1 : 0,
1654 1.1.1.2 christos this_try);
1655 1.1 skrll
1656 1.1 skrll else if (x_mode == PCREL)
1657 1.1 skrll {
1658 1.1 skrll int size16 = (x & SIZE) == L_16;
1659 1.1 skrll int size = size16 ? 2 : 1;
1660 1.1 skrll int type = size16 ? R_PCRWORD : R_PCRBYTE;
1661 1.1 skrll fixS *fixP;
1662 1.1 skrll
1663 1.1 skrll check_operand (operand + i, size16 ? 0x7fff : 0x7f, "@");
1664 1.1 skrll
1665 1.1 skrll if (operand[i].exp.X_add_number & 1)
1666 1.1 skrll as_warn (_("branch operand has odd offset (%lx)\n"),
1667 1.1 skrll (unsigned long) operand->exp.X_add_number);
1668 1.1 skrll if (size16)
1669 1.1 skrll {
1670 1.1 skrll operand[i].exp.X_add_number =
1671 1.1 skrll ((operand[i].exp.X_add_number & 0xffff) ^ 0x8000) - 0x8000;
1672 1.1 skrll }
1673 1.1 skrll else
1674 1.1 skrll {
1675 1.1 skrll operand[i].exp.X_add_number =
1676 1.1 skrll ((operand[i].exp.X_add_number & 0xff) ^ 0x80) - 0x80;
1677 1.1 skrll }
1678 1.1 skrll
1679 1.1 skrll /* For BRA/S. */
1680 1.1 skrll if (! size16)
1681 1.1 skrll operand[i].exp.X_add_number |= output[op_at[i] / 2];
1682 1.1 skrll
1683 1.1 skrll fixP = fix_new_exp (frag_now,
1684 1.1 skrll output - frag_now->fr_literal + op_at[i] / 2,
1685 1.1 skrll size,
1686 1.1 skrll &operand[i].exp,
1687 1.1 skrll 1,
1688 1.1 skrll type);
1689 1.1 skrll fixP->fx_signed = 1;
1690 1.1 skrll }
1691 1.1 skrll else if (x_mode == MEMIND)
1692 1.1 skrll {
1693 1.1 skrll check_operand (operand + i, 0xff, "@@");
1694 1.1 skrll fix_new_exp (frag_now,
1695 1.1 skrll output - frag_now->fr_literal + 1,
1696 1.1 skrll 1,
1697 1.1 skrll &operand[i].exp,
1698 1.1 skrll 0,
1699 1.1 skrll R_MEM_INDIRECT);
1700 1.1 skrll }
1701 1.1 skrll else if (x_mode == VECIND)
1702 1.1 skrll {
1703 1.1 skrll check_operand (operand + i, 0x7f, "@@");
1704 1.1 skrll /* FIXME: approximating the effect of "B31" here...
1705 1.1 skrll This is very hackish, and ought to be done a better way. */
1706 1.1 skrll operand[i].exp.X_add_number |= 0x80;
1707 1.1 skrll fix_new_exp (frag_now,
1708 1.1 skrll output - frag_now->fr_literal + 1,
1709 1.1 skrll 1,
1710 1.1 skrll &operand[i].exp,
1711 1.1 skrll 0,
1712 1.1 skrll R_MEM_INDIRECT);
1713 1.1 skrll }
1714 1.1 skrll else if (x & ABSJMP)
1715 1.1 skrll {
1716 1.1 skrll int where = 0;
1717 1.1 skrll bfd_reloc_code_real_type reloc_type = R_JMPL1;
1718 1.1 skrll
1719 1.1 skrll /* To be compatible with the proposed H8 ELF format, we
1720 1.1 skrll want the relocation's offset to point to the first byte
1721 1.1 skrll that will be modified, not to the start of the instruction. */
1722 1.1.1.4 christos
1723 1.1 skrll if ((operand->mode & SIZE) == L_32)
1724 1.1 skrll {
1725 1.1 skrll where = 2;
1726 1.1 skrll reloc_type = R_RELLONG;
1727 1.1 skrll }
1728 1.1 skrll else
1729 1.1 skrll where = 1;
1730 1.1 skrll
1731 1.1 skrll /* This jmp may be a jump or a branch. */
1732 1.1 skrll
1733 1.1.1.4 christos check_operand (operand + i,
1734 1.1.1.4 christos SXmode ? 0xffffffff : Hmode ? 0xffffff : 0xffff,
1735 1.1 skrll "@");
1736 1.1 skrll
1737 1.1 skrll if (operand[i].exp.X_add_number & 1)
1738 1.1 skrll as_warn (_("branch operand has odd offset (%lx)\n"),
1739 1.1 skrll (unsigned long) operand->exp.X_add_number);
1740 1.1 skrll
1741 1.1 skrll if (!Hmode)
1742 1.1 skrll operand[i].exp.X_add_number =
1743 1.1 skrll ((operand[i].exp.X_add_number & 0xffff) ^ 0x8000) - 0x8000;
1744 1.1 skrll fix_new_exp (frag_now,
1745 1.1 skrll output - frag_now->fr_literal + where,
1746 1.1 skrll 4,
1747 1.1 skrll &operand[i].exp,
1748 1.1 skrll 0,
1749 1.1 skrll reloc_type);
1750 1.1 skrll }
1751 1.1 skrll }
1752 1.1 skrll }
1753 1.1 skrll
1754 1.1 skrll /* Try to give an intelligent error message for common and simple to
1755 1.1 skrll detect errors. */
1756 1.1 skrll
1757 1.1 skrll static void
1758 1.1 skrll clever_message (const struct h8_instruction *instruction,
1759 1.1 skrll struct h8_op *operand)
1760 1.1 skrll {
1761 1.1 skrll /* Find out if there was more than one possible opcode. */
1762 1.1 skrll
1763 1.1 skrll if ((instruction + 1)->idx != instruction->idx)
1764 1.1 skrll {
1765 1.1 skrll int argn;
1766 1.1 skrll
1767 1.1 skrll /* Only one opcode of this flavour, try to guess which operand
1768 1.1 skrll didn't match. */
1769 1.1 skrll for (argn = 0; argn < instruction->noperands; argn++)
1770 1.1 skrll {
1771 1.1 skrll switch (instruction->opcode->args.nib[argn])
1772 1.1 skrll {
1773 1.1 skrll case RD16:
1774 1.1 skrll if (operand[argn].mode != RD16)
1775 1.1 skrll {
1776 1.1 skrll as_bad (_("destination operand must be 16 bit register"));
1777 1.1 skrll return;
1778 1.1 skrll
1779 1.1 skrll }
1780 1.1 skrll break;
1781 1.1 skrll
1782 1.1 skrll case RS8:
1783 1.1 skrll if (operand[argn].mode != RS8)
1784 1.1 skrll {
1785 1.1 skrll as_bad (_("source operand must be 8 bit register"));
1786 1.1 skrll return;
1787 1.1 skrll }
1788 1.1 skrll break;
1789 1.1 skrll
1790 1.1 skrll case ABS16DST:
1791 1.1 skrll if (operand[argn].mode != ABS16DST)
1792 1.1 skrll {
1793 1.1 skrll as_bad (_("destination operand must be 16bit absolute address"));
1794 1.1 skrll return;
1795 1.1 skrll }
1796 1.1 skrll break;
1797 1.1 skrll case RD8:
1798 1.1 skrll if (operand[argn].mode != RD8)
1799 1.1 skrll {
1800 1.1 skrll as_bad (_("destination operand must be 8 bit register"));
1801 1.1 skrll return;
1802 1.1 skrll }
1803 1.1 skrll break;
1804 1.1 skrll
1805 1.1 skrll case ABS16SRC:
1806 1.1 skrll if (operand[argn].mode != ABS16SRC)
1807 1.1 skrll {
1808 1.1 skrll as_bad (_("source operand must be 16bit absolute address"));
1809 1.1 skrll return;
1810 1.1 skrll }
1811 1.1 skrll break;
1812 1.1 skrll
1813 1.1 skrll }
1814 1.1 skrll }
1815 1.1 skrll }
1816 1.1 skrll as_bad (_("invalid operands"));
1817 1.1 skrll }
1818 1.1 skrll
1819 1.1 skrll
1820 1.1 skrll /* If OPERAND is part of an address, adjust its size and value given
1821 1.1 skrll that it addresses SIZE bytes.
1822 1.1 skrll
1823 1.1 skrll This function decides how big non-immediate constants are when no
1824 1.1 skrll size was explicitly given. It also scales down the assembly-level
1825 1.1 skrll displacement in an @(d:2,ERn) operand. */
1826 1.1 skrll
1827 1.1 skrll static void
1828 1.1 skrll fix_operand_size (struct h8_op *operand, int size)
1829 1.1 skrll {
1830 1.1 skrll if (SXmode && (operand->mode & MODE) == DISP)
1831 1.1 skrll {
1832 1.1 skrll /* If the user didn't specify an operand width, see if we
1833 1.1 skrll can use @(d:2,ERn). */
1834 1.1 skrll if ((operand->mode & SIZE) == 0
1835 1.1 skrll && operand->exp.X_add_symbol == 0
1836 1.1 skrll && operand->exp.X_op_symbol == 0
1837 1.1 skrll && (operand->exp.X_add_number == size
1838 1.1 skrll || operand->exp.X_add_number == size * 2
1839 1.1 skrll || operand->exp.X_add_number == size * 3))
1840 1.1 skrll operand->mode |= L_2;
1841 1.1 skrll
1842 1.1 skrll /* Scale down the displacement in an @(d:2,ERn) operand.
1843 1.1 skrll X_add_number then contains the desired field value. */
1844 1.1 skrll if ((operand->mode & SIZE) == L_2)
1845 1.1 skrll {
1846 1.1 skrll if (operand->exp.X_add_number % size != 0)
1847 1.1 skrll as_warn (_("operand/size mis-match"));
1848 1.1 skrll operand->exp.X_add_number /= size;
1849 1.1 skrll }
1850 1.1 skrll }
1851 1.1 skrll
1852 1.1 skrll if ((operand->mode & SIZE) == 0)
1853 1.1 skrll switch (operand->mode & MODE)
1854 1.1 skrll {
1855 1.1 skrll case DISP:
1856 1.1 skrll case INDEXB:
1857 1.1 skrll case INDEXW:
1858 1.1 skrll case INDEXL:
1859 1.1 skrll case ABS:
1860 1.1 skrll /* Pick a 24-bit address unless we know that a 16-bit address
1861 1.1 skrll is safe. get_specific() will relax L_24 into L_32 where
1862 1.1 skrll necessary. */
1863 1.1 skrll if (Hmode
1864 1.1.1.4 christos && !Nmode
1865 1.1.1.3 christos && ((((addressT) operand->exp.X_add_number + 0x8000)
1866 1.1.1.3 christos & 0xffffffff) > 0xffff
1867 1.1 skrll || operand->exp.X_add_symbol != 0
1868 1.1 skrll || operand->exp.X_op_symbol != 0))
1869 1.1 skrll operand->mode |= L_24;
1870 1.1 skrll else
1871 1.1 skrll operand->mode |= L_16;
1872 1.1 skrll break;
1873 1.1 skrll
1874 1.1 skrll case PCREL:
1875 1.1.1.3 christos if ((((addressT) operand->exp.X_add_number + 0x80)
1876 1.1.1.3 christos & 0xffffffff) <= 0xff)
1877 1.1 skrll {
1878 1.1 skrll if (operand->exp.X_add_symbol != NULL)
1879 1.1 skrll operand->mode |= bsize;
1880 1.1 skrll else
1881 1.1 skrll operand->mode |= L_8;
1882 1.1 skrll }
1883 1.1 skrll else
1884 1.1 skrll operand->mode |= L_16;
1885 1.1 skrll break;
1886 1.1 skrll }
1887 1.1 skrll }
1888 1.1 skrll
1889 1.1 skrll
1890 1.1 skrll /* This is the guts of the machine-dependent assembler. STR points to
1891 1.1 skrll a machine dependent instruction. This function is supposed to emit
1892 1.1 skrll the frags/bytes it assembles. */
1893 1.1 skrll
1894 1.1 skrll void
1895 1.1 skrll md_assemble (char *str)
1896 1.1 skrll {
1897 1.1 skrll char *op_start;
1898 1.1 skrll char *op_end;
1899 1.1 skrll struct h8_op operand[3];
1900 1.1 skrll const struct h8_instruction *instruction;
1901 1.1 skrll const struct h8_instruction *prev_instruction;
1902 1.1 skrll
1903 1.1 skrll char *dot = 0;
1904 1.1 skrll char *slash = 0;
1905 1.1 skrll char c;
1906 1.1 skrll int size, i;
1907 1.1 skrll
1908 1.1 skrll /* Drop leading whitespace. */
1909 1.1 skrll while (*str == ' ')
1910 1.1 skrll str++;
1911 1.1 skrll
1912 1.1 skrll /* Find the op code end. */
1913 1.1 skrll for (op_start = op_end = str;
1914 1.1 skrll *op_end != 0 && *op_end != ' ';
1915 1.1 skrll op_end++)
1916 1.1 skrll {
1917 1.1 skrll if (*op_end == '.')
1918 1.1 skrll {
1919 1.1 skrll dot = op_end + 1;
1920 1.1 skrll *op_end = 0;
1921 1.1 skrll op_end += 2;
1922 1.1 skrll break;
1923 1.1 skrll }
1924 1.1 skrll else if (*op_end == '/' && ! slash)
1925 1.1 skrll slash = op_end;
1926 1.1 skrll }
1927 1.1 skrll
1928 1.1 skrll if (op_end == op_start)
1929 1.1 skrll {
1930 1.1 skrll as_bad (_("can't find opcode "));
1931 1.1 skrll }
1932 1.1 skrll c = *op_end;
1933 1.1 skrll
1934 1.1 skrll *op_end = 0;
1935 1.1 skrll
1936 1.1 skrll /* The assembler stops scanning the opcode at slashes, so it fails
1937 1.1 skrll to make characters following them lower case. Fix them. */
1938 1.1 skrll if (slash)
1939 1.1 skrll while (*++slash)
1940 1.1 skrll *slash = TOLOWER (*slash);
1941 1.1 skrll
1942 1.1 skrll instruction = (const struct h8_instruction *)
1943 1.1 skrll hash_find (opcode_hash_control, op_start);
1944 1.1 skrll
1945 1.1 skrll if (instruction == NULL)
1946 1.1 skrll {
1947 1.1 skrll as_bad (_("unknown opcode"));
1948 1.1 skrll return;
1949 1.1 skrll }
1950 1.1 skrll
1951 1.1 skrll /* We used to set input_line_pointer to the result of get_operands,
1952 1.1 skrll but that is wrong. Our caller assumes we don't change it. */
1953 1.1 skrll
1954 1.1 skrll operand[0].mode = 0;
1955 1.1 skrll operand[1].mode = 0;
1956 1.1 skrll operand[2].mode = 0;
1957 1.1 skrll
1958 1.1 skrll if (OP_KIND (instruction->opcode->how) == O_MOVAB
1959 1.1 skrll || OP_KIND (instruction->opcode->how) == O_MOVAW
1960 1.1 skrll || OP_KIND (instruction->opcode->how) == O_MOVAL)
1961 1.1 skrll get_mova_operands (op_end, operand);
1962 1.1 skrll else if (OP_KIND (instruction->opcode->how) == O_RTEL
1963 1.1 skrll || OP_KIND (instruction->opcode->how) == O_RTSL)
1964 1.1 skrll get_rtsl_operands (op_end, operand);
1965 1.1 skrll else
1966 1.1 skrll get_operands (instruction->noperands, op_end, operand);
1967 1.1 skrll
1968 1.1 skrll *op_end = c;
1969 1.1 skrll prev_instruction = instruction;
1970 1.1 skrll
1971 1.1 skrll /* Now we have operands from instruction.
1972 1.1 skrll Let's check them out for ldm and stm. */
1973 1.1 skrll if (OP_KIND (instruction->opcode->how) == O_LDM)
1974 1.1 skrll {
1975 1.1 skrll /* The first operand must be @er7+, and the
1976 1.1 skrll second operand must be a register pair. */
1977 1.1 skrll if ((operand[0].mode != RSINC)
1978 1.1 skrll || (operand[0].reg != 7)
1979 1.1 skrll || ((operand[1].reg & 0x80000000) == 0))
1980 1.1 skrll as_bad (_("invalid operand in ldm"));
1981 1.1 skrll }
1982 1.1 skrll else if (OP_KIND (instruction->opcode->how) == O_STM)
1983 1.1 skrll {
1984 1.1 skrll /* The first operand must be a register pair,
1985 1.1 skrll and the second operand must be @-er7. */
1986 1.1 skrll if (((operand[0].reg & 0x80000000) == 0)
1987 1.1 skrll || (operand[1].mode != RDDEC)
1988 1.1 skrll || (operand[1].reg != 7))
1989 1.1 skrll as_bad (_("invalid operand in stm"));
1990 1.1 skrll }
1991 1.1 skrll
1992 1.1 skrll size = SN;
1993 1.1 skrll if (dot)
1994 1.1 skrll {
1995 1.1 skrll switch (TOLOWER (*dot))
1996 1.1 skrll {
1997 1.1 skrll case 'b':
1998 1.1 skrll size = SB;
1999 1.1 skrll break;
2000 1.1 skrll
2001 1.1 skrll case 'w':
2002 1.1 skrll size = SW;
2003 1.1 skrll break;
2004 1.1 skrll
2005 1.1 skrll case 'l':
2006 1.1 skrll size = SL;
2007 1.1 skrll break;
2008 1.1 skrll }
2009 1.1 skrll }
2010 1.1 skrll if (OP_KIND (instruction->opcode->how) == O_MOVAB ||
2011 1.1 skrll OP_KIND (instruction->opcode->how) == O_MOVAW ||
2012 1.1 skrll OP_KIND (instruction->opcode->how) == O_MOVAL)
2013 1.1 skrll {
2014 1.1 skrll switch (operand[0].mode & MODE)
2015 1.1 skrll {
2016 1.1 skrll case INDEXB:
2017 1.1 skrll default:
2018 1.1 skrll fix_operand_size (&operand[1], 1);
2019 1.1 skrll break;
2020 1.1 skrll case INDEXW:
2021 1.1 skrll fix_operand_size (&operand[1], 2);
2022 1.1 skrll break;
2023 1.1 skrll case INDEXL:
2024 1.1 skrll fix_operand_size (&operand[1], 4);
2025 1.1 skrll break;
2026 1.1 skrll }
2027 1.1 skrll }
2028 1.1 skrll else
2029 1.1 skrll {
2030 1.1 skrll for (i = 0; i < 3 && operand[i].mode != 0; i++)
2031 1.1 skrll switch (size)
2032 1.1 skrll {
2033 1.1 skrll case SN:
2034 1.1 skrll case SB:
2035 1.1 skrll default:
2036 1.1 skrll fix_operand_size (&operand[i], 1);
2037 1.1 skrll break;
2038 1.1 skrll case SW:
2039 1.1 skrll fix_operand_size (&operand[i], 2);
2040 1.1 skrll break;
2041 1.1 skrll case SL:
2042 1.1 skrll fix_operand_size (&operand[i], 4);
2043 1.1 skrll break;
2044 1.1 skrll }
2045 1.1 skrll }
2046 1.1 skrll
2047 1.1 skrll instruction = get_specific (instruction, operand, size);
2048 1.1 skrll
2049 1.1 skrll if (instruction == 0)
2050 1.1 skrll {
2051 1.1 skrll /* Couldn't find an opcode which matched the operands. */
2052 1.1 skrll char *where = frag_more (2);
2053 1.1 skrll
2054 1.1 skrll where[0] = 0x0;
2055 1.1 skrll where[1] = 0x0;
2056 1.1 skrll clever_message (prev_instruction, operand);
2057 1.1 skrll
2058 1.1 skrll return;
2059 1.1 skrll }
2060 1.1 skrll
2061 1.1 skrll build_bytes (instruction, operand);
2062 1.1 skrll
2063 1.1 skrll dwarf2_emit_insn (instruction->length);
2064 1.1 skrll }
2065 1.1 skrll
2066 1.1 skrll symbolS *
2067 1.1 skrll md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
2068 1.1 skrll {
2069 1.1 skrll return 0;
2070 1.1 skrll }
2071 1.1 skrll
2072 1.1 skrll /* Various routines to kill one day. */
2073 1.1 skrll
2074 1.1.1.5 christos const char *
2075 1.1 skrll md_atof (int type, char *litP, int *sizeP)
2076 1.1 skrll {
2077 1.1 skrll return ieee_md_atof (type, litP, sizeP, TRUE);
2078 1.1 skrll }
2079 1.1 skrll
2080 1.1 skrll #define OPTION_H_TICK_HEX (OPTION_MD_BASE)
2082 1.1 skrll #define OPTION_MACH (OPTION_MD_BASE+1)
2083 1.1 skrll
2084 1.1.1.4 christos const char *md_shortopts = "";
2085 1.1.1.4 christos struct option md_longopts[] =
2086 1.1 skrll {
2087 1.1.1.4 christos { "h-tick-hex", no_argument, NULL, OPTION_H_TICK_HEX },
2088 1.1 skrll { "mach", required_argument, NULL, OPTION_MACH },
2089 1.1 skrll {NULL, no_argument, NULL, 0}
2090 1.1 skrll };
2091 1.1 skrll
2092 1.1 skrll size_t md_longopts_size = sizeof (md_longopts);
2093 1.1.1.4 christos
2094 1.1.1.4 christos struct mach_func
2095 1.1.1.4 christos {
2096 1.1.1.4 christos const char *name;
2097 1.1.1.4 christos void (*func) (void);
2098 1.1.1.4 christos };
2099 1.1.1.4 christos
2100 1.1.1.4 christos static void
2101 1.1.1.4 christos mach_h8300h (void)
2102 1.1.1.4 christos {
2103 1.1.1.4 christos Hmode = 1;
2104 1.1.1.4 christos Smode = 0;
2105 1.1.1.4 christos Nmode = 0;
2106 1.1.1.4 christos SXmode = 0;
2107 1.1.1.4 christos default_mach = bfd_mach_h8300h;
2108 1.1.1.4 christos }
2109 1.1.1.4 christos
2110 1.1.1.4 christos static void
2111 1.1.1.4 christos mach_h8300hn (void)
2112 1.1.1.4 christos {
2113 1.1.1.4 christos Hmode = 1;
2114 1.1.1.4 christos Smode = 0;
2115 1.1.1.4 christos Nmode = 1;
2116 1.1.1.4 christos SXmode = 0;
2117 1.1.1.4 christos default_mach = bfd_mach_h8300hn;
2118 1.1.1.4 christos }
2119 1.1.1.4 christos
2120 1.1.1.4 christos static void
2121 1.1.1.4 christos mach_h8300s (void)
2122 1.1.1.4 christos {
2123 1.1.1.4 christos Hmode = 1;
2124 1.1.1.4 christos Smode = 1;
2125 1.1.1.4 christos Nmode = 0;
2126 1.1.1.4 christos SXmode = 0;
2127 1.1.1.4 christos default_mach = bfd_mach_h8300s;
2128 1.1.1.4 christos }
2129 1.1.1.4 christos
2130 1.1.1.4 christos static void
2131 1.1.1.4 christos mach_h8300sn (void)
2132 1.1.1.4 christos {
2133 1.1.1.4 christos Hmode = 1;
2134 1.1.1.4 christos Smode = 1;
2135 1.1.1.4 christos Nmode = 1;
2136 1.1.1.4 christos SXmode = 0;
2137 1.1.1.4 christos default_mach = bfd_mach_h8300sn;
2138 1.1.1.4 christos }
2139 1.1.1.4 christos
2140 1.1.1.4 christos static void
2141 1.1.1.4 christos mach_h8300sx (void)
2142 1.1.1.4 christos {
2143 1.1.1.4 christos Hmode = 1;
2144 1.1.1.4 christos Smode = 1;
2145 1.1.1.4 christos Nmode = 0;
2146 1.1.1.4 christos SXmode = 1;
2147 1.1.1.4 christos default_mach = bfd_mach_h8300sx;
2148 1.1.1.4 christos }
2149 1.1.1.4 christos
2150 1.1.1.4 christos static void
2151 1.1.1.4 christos mach_h8300sxn (void)
2152 1.1.1.4 christos {
2153 1.1.1.4 christos Hmode = 1;
2154 1.1.1.4 christos Smode = 1;
2155 1.1.1.4 christos Nmode = 1;
2156 1.1.1.4 christos SXmode = 1;
2157 1.1.1.4 christos default_mach = bfd_mach_h8300sxn;
2158 1.1.1.4 christos }
2159 1.1.1.4 christos
2160 1.1.1.4 christos const struct mach_func mach_table[] =
2161 1.1.1.4 christos {
2162 1.1.1.4 christos {"h8300h", mach_h8300h},
2163 1.1.1.4 christos {"h8300hn", mach_h8300hn},
2164 1.1.1.4 christos {"h8300s", mach_h8300s},
2165 1.1.1.4 christos {"h8300sn", mach_h8300sn},
2166 1.1.1.4 christos {"h8300sx", mach_h8300sx},
2167 1.1.1.4 christos {"h8300sxn", mach_h8300sxn}
2168 1.1.1.4 christos };
2169 1.1 skrll
2170 1.1.1.5 christos int
2171 1.1 skrll md_parse_option (int c ATTRIBUTE_UNUSED, const char *arg ATTRIBUTE_UNUSED)
2172 1.1.1.4 christos {
2173 1.1 skrll unsigned int i;
2174 1.1 skrll switch (c)
2175 1.1 skrll {
2176 1.1 skrll case OPTION_H_TICK_HEX:
2177 1.1 skrll enable_h_tick_hex = 1;
2178 1.1.1.4 christos break;
2179 1.1.1.4 christos case OPTION_MACH:
2180 1.1.1.4 christos for (i = 0; i < sizeof(mach_table) / sizeof(struct mach_func); i++)
2181 1.1.1.4 christos {
2182 1.1.1.4 christos if (strcasecmp (arg, mach_table[i].name) == 0)
2183 1.1.1.4 christos {
2184 1.1.1.4 christos mach_table[i].func();
2185 1.1.1.4 christos break;
2186 1.1.1.4 christos }
2187 1.1.1.4 christos }
2188 1.1.1.4 christos if (i >= sizeof(mach_table) / sizeof(struct mach_func))
2189 1.1.1.4 christos as_bad (_("Invalid argument to --mach option: %s"), arg);
2190 1.1 skrll break;
2191 1.1 skrll default:
2192 1.1 skrll return 0;
2193 1.1 skrll }
2194 1.1 skrll return 1;
2195 1.1 skrll }
2196 1.1 skrll
2197 1.1.1.4 christos void
2198 1.1 skrll md_show_usage (FILE *stream)
2199 1.1.1.4 christos {
2200 1.1.1.4 christos fprintf (stream, _(" H8300-specific assembler options:\n"));
2201 1.1.1.4 christos fprintf (stream, _("\
2202 1.1.1.4 christos -mach=<name> Set the H8300 machine type to one of:\n\
2203 1.1.1.4 christos h8300h, h8300hn, h8300s, h8300sn, h8300sx, h8300sxn\n"));
2204 1.1.1.4 christos fprintf (stream, _("\
2205 1.1 skrll -h-tick-hex Support H'00 style hex constants\n"));
2206 1.1 skrll }
2207 1.1 skrll
2208 1.1 skrll void tc_aout_fix_to_chars (void);
2210 1.1 skrll
2211 1.1 skrll void
2212 1.1 skrll tc_aout_fix_to_chars (void)
2213 1.1 skrll {
2214 1.1 skrll printf (_("call to tc_aout_fix_to_chars \n"));
2215 1.1 skrll abort ();
2216 1.1 skrll }
2217 1.1 skrll
2218 1.1 skrll void
2219 1.1 skrll md_convert_frag (bfd *headers ATTRIBUTE_UNUSED,
2220 1.1 skrll segT seg ATTRIBUTE_UNUSED,
2221 1.1 skrll fragS *fragP ATTRIBUTE_UNUSED)
2222 1.1 skrll {
2223 1.1 skrll printf (_("call to md_convert_frag \n"));
2224 1.1 skrll abort ();
2225 1.1 skrll }
2226 1.1 skrll
2227 1.1 skrll valueT
2228 1.1.1.8 christos md_section_align (segT segment, valueT size)
2229 1.1.1.4 christos {
2230 1.1 skrll int align = bfd_section_alignment (segment);
2231 1.1 skrll return ((size + (1 << align) - 1) & (-1U << align));
2232 1.1 skrll }
2233 1.1 skrll
2234 1.1 skrll void
2235 1.1 skrll md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
2236 1.1 skrll {
2237 1.1 skrll char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
2238 1.1 skrll long val = *valP;
2239 1.1 skrll
2240 1.1 skrll switch (fixP->fx_size)
2241 1.1 skrll {
2242 1.1 skrll case 1:
2243 1.1 skrll *buf++ = val;
2244 1.1 skrll break;
2245 1.1 skrll case 2:
2246 1.1 skrll *buf++ = (val >> 8);
2247 1.1 skrll *buf++ = val;
2248 1.1 skrll break;
2249 1.1 skrll case 4:
2250 1.1 skrll *buf++ = (val >> 24);
2251 1.1 skrll *buf++ = (val >> 16);
2252 1.1 skrll *buf++ = (val >> 8);
2253 1.1 skrll *buf++ = val;
2254 1.1 skrll break;
2255 1.1 skrll case 8:
2256 1.1 skrll /* This can arise when the .quad or .8byte pseudo-ops are used.
2257 1.1 skrll Returning here (without setting fx_done) will cause the code
2258 1.1 skrll to attempt to generate a reloc which will then fail with the
2259 1.1 skrll slightly more helpful error message: "Cannot represent
2260 1.1 skrll relocation type BFD_RELOC_64". */
2261 1.1 skrll return;
2262 1.1 skrll default:
2263 1.1 skrll abort ();
2264 1.1 skrll }
2265 1.1 skrll
2266 1.1 skrll if (fixP->fx_addsy == NULL && fixP->fx_pcrel == 0)
2267 1.1 skrll fixP->fx_done = 1;
2268 1.1 skrll }
2269 1.1 skrll
2270 1.1 skrll int
2271 1.1 skrll md_estimate_size_before_relax (fragS *fragP ATTRIBUTE_UNUSED,
2272 1.1 skrll segT segment_type ATTRIBUTE_UNUSED)
2273 1.1 skrll {
2274 1.1 skrll printf (_("call to md_estimate_size_before_relax \n"));
2275 1.1 skrll abort ();
2276 1.1 skrll }
2277 1.1 skrll
2278 1.1 skrll /* Put number into target byte order. */
2279 1.1 skrll void
2280 1.1 skrll md_number_to_chars (char *ptr, valueT use, int nbytes)
2281 1.1 skrll {
2282 1.1 skrll number_to_chars_bigendian (ptr, use, nbytes);
2283 1.1 skrll }
2284 1.1.1.2 christos
2285 1.1 skrll long
2286 1.1.1.2 christos md_pcrel_from (fixS *fixp)
2287 1.1.1.2 christos {
2288 1.1.1.2 christos as_bad_where (fixp->fx_file, fixp->fx_line,
2289 1.1 skrll _("Unexpected reference to a symbol in a non-code section"));
2290 1.1 skrll return 0;
2291 1.1 skrll }
2292 1.1 skrll
2293 1.1 skrll arelent *
2294 1.1 skrll tc_gen_reloc (asection *section ATTRIBUTE_UNUSED, fixS *fixp)
2295 1.1 skrll {
2296 1.1 skrll arelent *rel;
2297 1.1 skrll bfd_reloc_code_real_type r_type;
2298 1.1 skrll
2299 1.1 skrll if (fixp->fx_addsy && fixp->fx_subsy)
2300 1.1 skrll {
2301 1.1 skrll if ((S_GET_SEGMENT (fixp->fx_addsy) != S_GET_SEGMENT (fixp->fx_subsy))
2302 1.1 skrll || S_GET_SEGMENT (fixp->fx_addsy) == undefined_section)
2303 1.1 skrll {
2304 1.1 skrll as_bad_where (fixp->fx_file, fixp->fx_line,
2305 1.1 skrll _("Difference of symbols in different sections is not supported"));
2306 1.1 skrll return NULL;
2307 1.1 skrll }
2308 1.1.1.5 christos }
2309 1.1.1.5 christos
2310 1.1 skrll rel = XNEW (arelent);
2311 1.1 skrll rel->sym_ptr_ptr = XNEW (asymbol *);
2312 1.1 skrll *rel->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
2313 1.1 skrll rel->address = fixp->fx_frag->fr_address + fixp->fx_where;
2314 1.1 skrll rel->addend = fixp->fx_offset;
2315 1.1 skrll
2316 1.1 skrll r_type = fixp->fx_r_type;
2317 1.1 skrll
2318 1.1 skrll #define DEBUG 0
2319 1.1 skrll #if DEBUG
2320 1.1 skrll fprintf (stderr, "%s\n", bfd_get_reloc_code_name (r_type));
2321 1.1 skrll fflush (stderr);
2322 1.1 skrll #endif
2323 1.1 skrll rel->howto = bfd_reloc_type_lookup (stdoutput, r_type);
2324 1.1 skrll if (rel->howto == NULL)
2325 1.1 skrll {
2326 1.1 skrll as_bad_where (fixp->fx_file, fixp->fx_line,
2327 1.1 skrll _("Cannot represent relocation type %s"),
2328 1.1 skrll bfd_get_reloc_code_name (r_type));
2329 1.1 skrll return NULL;
2330 1.1 skrll }
2331 1.1 skrll
2332 return rel;
2333 }
2334