tc-cr16.c revision 1.1.1.2 1 1.1 skrll /* tc-cr16.c -- Assembler code for the CR16 CPU core.
2 1.1.1.2 christos Copyright 2007, 2008, 2009, 2010, 2011
3 1.1.1.2 christos Free Software Foundation, Inc.
4 1.1 skrll
5 1.1 skrll Contributed by M R Swami Reddy <MR.Swami.Reddy (at) nsc.com>
6 1.1 skrll
7 1.1 skrll This file is part of GAS, the GNU Assembler.
8 1.1 skrll
9 1.1 skrll GAS is free software; you can redistribute it and/or modify
10 1.1 skrll it under the terms of the GNU General Public License as published by
11 1.1 skrll the Free Software Foundation; either version 3, or (at your option)
12 1.1 skrll any later version.
13 1.1 skrll
14 1.1 skrll GAS is distributed in the hope that it will be useful,
15 1.1 skrll but WITHOUT ANY WARRANTY; without even the implied warranty of
16 1.1 skrll MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 1.1 skrll GNU General Public License for more details.
18 1.1 skrll
19 1.1 skrll You should have received a copy of the GNU General Public License
20 1.1 skrll along with GAS; see the file COPYING. If not, write to the
21 1.1 skrll Free Software Foundation, 51 Franklin Street - Fifth Floor, Boston,
22 1.1 skrll MA 02110-1301, USA. */
23 1.1 skrll
24 1.1 skrll #include "as.h"
25 1.1 skrll #include "safe-ctype.h"
26 1.1 skrll #include "dwarf2dbg.h"
27 1.1 skrll #include "opcode/cr16.h"
28 1.1 skrll #include "elf/cr16.h"
29 1.1 skrll
30 1.1 skrll
31 1.1 skrll /* Word is considered here as a 16-bit unsigned short int. */
32 1.1 skrll #define WORD_SHIFT 16
33 1.1 skrll
34 1.1 skrll /* Register is 2-byte size. */
35 1.1 skrll #define REG_SIZE 2
36 1.1 skrll
37 1.1 skrll /* Maximum size of a single instruction (in words). */
38 1.1 skrll #define INSN_MAX_SIZE 3
39 1.1 skrll
40 1.1 skrll /* Maximum bits which may be set in a `mask16' operand. */
41 1.1 skrll #define MAX_REGS_IN_MASK16 8
42 1.1 skrll
43 1.1 skrll /* Assign a number NUM, shifted by SHIFT bytes, into a location
44 1.1 skrll pointed by index BYTE of array 'output_opcode'. */
45 1.1 skrll #define CR16_PRINT(BYTE, NUM, SHIFT) output_opcode[BYTE] |= (NUM << SHIFT)
46 1.1 skrll
47 1.1 skrll /* Operand errors. */
48 1.1 skrll typedef enum
49 1.1 skrll {
50 1.1 skrll OP_LEGAL = 0, /* Legal operand. */
51 1.1 skrll OP_OUT_OF_RANGE, /* Operand not within permitted range. */
52 1.1 skrll OP_NOT_EVEN /* Operand is Odd number, should be even. */
53 1.1 skrll }
54 1.1 skrll op_err;
55 1.1 skrll
56 1.1 skrll /* Opcode mnemonics hash table. */
57 1.1 skrll static struct hash_control *cr16_inst_hash;
58 1.1 skrll /* CR16 registers hash table. */
59 1.1 skrll static struct hash_control *reg_hash;
60 1.1 skrll /* CR16 register pair hash table. */
61 1.1 skrll static struct hash_control *regp_hash;
62 1.1 skrll /* CR16 processor registers hash table. */
63 1.1 skrll static struct hash_control *preg_hash;
64 1.1 skrll /* CR16 processor registers 32 bit hash table. */
65 1.1 skrll static struct hash_control *pregp_hash;
66 1.1 skrll /* Current instruction we're assembling. */
67 1.1 skrll const inst *instruction;
68 1.1 skrll
69 1.1 skrll
70 1.1 skrll static int code_label = 0;
71 1.1 skrll
72 1.1 skrll /* Global variables. */
73 1.1 skrll
74 1.1 skrll /* Array to hold an instruction encoding. */
75 1.1 skrll long output_opcode[2];
76 1.1 skrll
77 1.1 skrll /* Nonzero means a relocatable symbol. */
78 1.1 skrll int relocatable;
79 1.1 skrll
80 1.1 skrll /* A copy of the original instruction (used in error messages). */
81 1.1 skrll char ins_parse[MAX_INST_LEN];
82 1.1 skrll
83 1.1 skrll /* The current processed argument number. */
84 1.1 skrll int cur_arg_num;
85 1.1 skrll
86 1.1 skrll /* Generic assembler global variables which must be defined by all targets. */
87 1.1 skrll
88 1.1 skrll /* Characters which always start a comment. */
89 1.1 skrll const char comment_chars[] = "#";
90 1.1 skrll
91 1.1 skrll /* Characters which start a comment at the beginning of a line. */
92 1.1 skrll const char line_comment_chars[] = "#";
93 1.1 skrll
94 1.1 skrll /* This array holds machine specific line separator characters. */
95 1.1 skrll const char line_separator_chars[] = ";";
96 1.1 skrll
97 1.1 skrll /* Chars that can be used to separate mant from exp in floating point nums. */
98 1.1 skrll const char EXP_CHARS[] = "eE";
99 1.1 skrll
100 1.1 skrll /* Chars that mean this number is a floating point constant as in 0f12.456 */
101 1.1 skrll const char FLT_CHARS[] = "f'";
102 1.1 skrll
103 1.1.1.2 christos #ifdef OBJ_ELF
104 1.1.1.2 christos /* Pre-defined "_GLOBAL_OFFSET_TABLE_" */
105 1.1.1.2 christos symbolS * GOT_symbol;
106 1.1.1.2 christos #endif
107 1.1.1.2 christos
108 1.1 skrll /* Target-specific multicharacter options, not const-declared at usage. */
109 1.1 skrll const char *md_shortopts = "";
110 1.1 skrll struct option md_longopts[] =
111 1.1 skrll {
112 1.1 skrll {NULL, no_argument, NULL, 0}
113 1.1 skrll };
114 1.1 skrll size_t md_longopts_size = sizeof (md_longopts);
115 1.1 skrll
116 1.1 skrll static void
117 1.1 skrll l_cons (int nbytes)
118 1.1 skrll {
119 1.1 skrll int c;
120 1.1 skrll expressionS exp;
121 1.1 skrll
122 1.1 skrll #ifdef md_flush_pending_output
123 1.1 skrll md_flush_pending_output ();
124 1.1 skrll #endif
125 1.1 skrll
126 1.1 skrll if (is_it_end_of_statement ())
127 1.1 skrll {
128 1.1 skrll demand_empty_rest_of_line ();
129 1.1 skrll return;
130 1.1 skrll }
131 1.1 skrll
132 1.1 skrll #ifdef TC_ADDRESS_BYTES
133 1.1 skrll if (nbytes == 0)
134 1.1 skrll nbytes = TC_ADDRESS_BYTES ();
135 1.1 skrll #endif
136 1.1 skrll
137 1.1 skrll #ifdef md_cons_align
138 1.1 skrll md_cons_align (nbytes);
139 1.1 skrll #endif
140 1.1 skrll
141 1.1 skrll c = 0;
142 1.1 skrll do
143 1.1 skrll {
144 1.1 skrll unsigned int bits_available = BITS_PER_CHAR * nbytes;
145 1.1 skrll char *hold = input_line_pointer;
146 1.1 skrll
147 1.1 skrll expression (&exp);
148 1.1 skrll
149 1.1 skrll if (*input_line_pointer == ':')
150 1.1 skrll {
151 1.1 skrll /* Bitfields. */
152 1.1 skrll long value = 0;
153 1.1 skrll
154 1.1 skrll for (;;)
155 1.1 skrll {
156 1.1 skrll unsigned long width;
157 1.1 skrll
158 1.1 skrll if (*input_line_pointer != ':')
159 1.1 skrll {
160 1.1 skrll input_line_pointer = hold;
161 1.1 skrll break;
162 1.1 skrll }
163 1.1 skrll if (exp.X_op == O_absent)
164 1.1 skrll {
165 1.1 skrll as_warn (_("using a bit field width of zero"));
166 1.1 skrll exp.X_add_number = 0;
167 1.1 skrll exp.X_op = O_constant;
168 1.1 skrll }
169 1.1 skrll
170 1.1 skrll if (exp.X_op != O_constant)
171 1.1 skrll {
172 1.1 skrll *input_line_pointer = '\0';
173 1.1 skrll as_bad (_("field width \"%s\" too complex for a bitfield"), hold);
174 1.1 skrll *input_line_pointer = ':';
175 1.1 skrll demand_empty_rest_of_line ();
176 1.1 skrll return;
177 1.1 skrll }
178 1.1 skrll
179 1.1 skrll if ((width = exp.X_add_number) >
180 1.1 skrll (unsigned int)(BITS_PER_CHAR * nbytes))
181 1.1 skrll {
182 1.1 skrll as_warn (_("field width %lu too big to fit in %d bytes: truncated to %d bits"), width, nbytes, (BITS_PER_CHAR * nbytes));
183 1.1 skrll width = BITS_PER_CHAR * nbytes;
184 1.1 skrll } /* Too big. */
185 1.1 skrll
186 1.1 skrll
187 1.1 skrll if (width > bits_available)
188 1.1 skrll {
189 1.1 skrll /* FIXME-SOMEDAY: backing up and reparsing is wasteful. */
190 1.1 skrll input_line_pointer = hold;
191 1.1 skrll exp.X_add_number = value;
192 1.1 skrll break;
193 1.1 skrll }
194 1.1 skrll
195 1.1 skrll /* Skip ':'. */
196 1.1 skrll hold = ++input_line_pointer;
197 1.1 skrll
198 1.1 skrll expression (&exp);
199 1.1 skrll if (exp.X_op != O_constant)
200 1.1 skrll {
201 1.1 skrll char cache = *input_line_pointer;
202 1.1 skrll
203 1.1 skrll *input_line_pointer = '\0';
204 1.1 skrll as_bad (_("field value \"%s\" too complex for a bitfield"), hold);
205 1.1 skrll *input_line_pointer = cache;
206 1.1 skrll demand_empty_rest_of_line ();
207 1.1 skrll return;
208 1.1 skrll }
209 1.1 skrll
210 1.1 skrll value |= ((~(-1 << width) & exp.X_add_number)
211 1.1 skrll << ((BITS_PER_CHAR * nbytes) - bits_available));
212 1.1 skrll
213 1.1 skrll if ((bits_available -= width) == 0
214 1.1 skrll || is_it_end_of_statement ()
215 1.1 skrll || *input_line_pointer != ',')
216 1.1 skrll break;
217 1.1 skrll
218 1.1 skrll hold = ++input_line_pointer;
219 1.1 skrll expression (&exp);
220 1.1 skrll }
221 1.1 skrll
222 1.1 skrll exp.X_add_number = value;
223 1.1 skrll exp.X_op = O_constant;
224 1.1 skrll exp.X_unsigned = 1;
225 1.1 skrll }
226 1.1 skrll
227 1.1 skrll if ((*(input_line_pointer) == '@') && (*(input_line_pointer +1) == 'c'))
228 1.1 skrll code_label = 1;
229 1.1 skrll emit_expr (&exp, (unsigned int) nbytes);
230 1.1 skrll ++c;
231 1.1 skrll if ((*(input_line_pointer) == '@') && (*(input_line_pointer +1) == 'c'))
232 1.1 skrll {
233 1.1 skrll input_line_pointer +=3;
234 1.1 skrll break;
235 1.1 skrll }
236 1.1 skrll }
237 1.1 skrll while ((*input_line_pointer++ == ','));
238 1.1 skrll
239 1.1 skrll /* Put terminator back into stream. */
240 1.1 skrll input_line_pointer--;
241 1.1 skrll
242 1.1 skrll demand_empty_rest_of_line ();
243 1.1 skrll }
244 1.1 skrll
245 1.1 skrll /* This table describes all the machine specific pseudo-ops
246 1.1 skrll the assembler has to support. The fields are:
247 1.1 skrll *** Pseudo-op name without dot.
248 1.1 skrll *** Function to call to execute this pseudo-op.
249 1.1 skrll *** Integer arg to pass to the function. */
250 1.1 skrll
251 1.1 skrll const pseudo_typeS md_pseudo_table[] =
252 1.1 skrll {
253 1.1 skrll /* In CR16 machine, align is in bytes (not a ptwo boundary). */
254 1.1 skrll {"align", s_align_bytes, 0},
255 1.1 skrll {"long", l_cons, 4 },
256 1.1.1.2 christos {"4byte", l_cons, 4 },
257 1.1 skrll {0, 0, 0}
258 1.1 skrll };
259 1.1 skrll
260 1.1 skrll /* CR16 relaxation table. */
261 1.1 skrll const relax_typeS md_relax_table[] =
262 1.1 skrll {
263 1.1 skrll /* bCC */
264 1.1 skrll {0x7f, -0x80, 2, 1}, /* 8 */
265 1.1 skrll {0xfffe, -0x10000, 4, 2}, /* 16 */
266 1.1 skrll {0xfffffe, -0x1000000, 6, 0}, /* 24 */
267 1.1 skrll };
268 1.1 skrll
269 1.1 skrll /* Return the bit size for a given operand. */
270 1.1 skrll
271 1.1 skrll static int
272 1.1 skrll get_opbits (operand_type op)
273 1.1 skrll {
274 1.1 skrll if (op < MAX_OPRD)
275 1.1 skrll return cr16_optab[op].bit_size;
276 1.1 skrll
277 1.1 skrll return 0;
278 1.1 skrll }
279 1.1 skrll
280 1.1 skrll /* Return the argument type of a given operand. */
281 1.1 skrll
282 1.1 skrll static argtype
283 1.1 skrll get_optype (operand_type op)
284 1.1 skrll {
285 1.1 skrll if (op < MAX_OPRD)
286 1.1 skrll return cr16_optab[op].arg_type;
287 1.1 skrll else
288 1.1 skrll return nullargs;
289 1.1 skrll }
290 1.1 skrll
291 1.1 skrll /* Return the flags of a given operand. */
292 1.1 skrll
293 1.1 skrll static int
294 1.1 skrll get_opflags (operand_type op)
295 1.1 skrll {
296 1.1 skrll if (op < MAX_OPRD)
297 1.1 skrll return cr16_optab[op].flags;
298 1.1 skrll
299 1.1 skrll return 0;
300 1.1 skrll }
301 1.1 skrll
302 1.1 skrll /* Get the cc code. */
303 1.1 skrll
304 1.1 skrll static int
305 1.1 skrll get_cc (char *cc_name)
306 1.1 skrll {
307 1.1 skrll unsigned int i;
308 1.1 skrll
309 1.1 skrll for (i = 0; i < cr16_num_cc; i++)
310 1.1 skrll if (strcmp (cc_name, cr16_b_cond_tab[i]) == 0)
311 1.1 skrll return i;
312 1.1 skrll
313 1.1 skrll return -1;
314 1.1 skrll }
315 1.1 skrll
316 1.1 skrll /* Get the core processor register 'reg_name'. */
317 1.1 skrll
318 1.1 skrll static reg
319 1.1 skrll get_register (char *reg_name)
320 1.1 skrll {
321 1.1.1.2 christos const reg_entry *rreg;
322 1.1 skrll
323 1.1.1.2 christos rreg = (const reg_entry *) hash_find (reg_hash, reg_name);
324 1.1 skrll
325 1.1.1.2 christos if (rreg != NULL)
326 1.1.1.2 christos return rreg->value.reg_val;
327 1.1 skrll
328 1.1 skrll return nullregister;
329 1.1 skrll }
330 1.1 skrll /* Get the core processor register-pair 'reg_name'. */
331 1.1 skrll
332 1.1 skrll static reg
333 1.1 skrll get_register_pair (char *reg_name)
334 1.1 skrll {
335 1.1.1.2 christos const reg_entry *rreg;
336 1.1 skrll char tmp_rp[16]="\0";
337 1.1 skrll
338 1.1 skrll /* Add '(' and ')' to the reg pair, if its not present. */
339 1.1 skrll if (reg_name[0] != '(')
340 1.1 skrll {
341 1.1 skrll tmp_rp[0] = '(';
342 1.1 skrll strcat (tmp_rp, reg_name);
343 1.1 skrll strcat (tmp_rp,")");
344 1.1.1.2 christos rreg = (const reg_entry *) hash_find (regp_hash, tmp_rp);
345 1.1 skrll }
346 1.1 skrll else
347 1.1.1.2 christos rreg = (const reg_entry *) hash_find (regp_hash, reg_name);
348 1.1 skrll
349 1.1.1.2 christos if (rreg != NULL)
350 1.1.1.2 christos return rreg->value.reg_val;
351 1.1 skrll
352 1.1 skrll return nullregister;
353 1.1 skrll }
354 1.1 skrll
355 1.1 skrll /* Get the index register 'reg_name'. */
356 1.1 skrll
357 1.1 skrll static reg
358 1.1 skrll get_index_register (char *reg_name)
359 1.1 skrll {
360 1.1.1.2 christos const reg_entry *rreg;
361 1.1 skrll
362 1.1.1.2 christos rreg = (const reg_entry *) hash_find (reg_hash, reg_name);
363 1.1 skrll
364 1.1.1.2 christos if ((rreg != NULL)
365 1.1.1.2 christos && ((rreg->value.reg_val == 12) || (rreg->value.reg_val == 13)))
366 1.1.1.2 christos return rreg->value.reg_val;
367 1.1 skrll
368 1.1 skrll return nullregister;
369 1.1 skrll }
370 1.1 skrll /* Get the core processor index register-pair 'reg_name'. */
371 1.1 skrll
372 1.1 skrll static reg
373 1.1 skrll get_index_register_pair (char *reg_name)
374 1.1 skrll {
375 1.1.1.2 christos const reg_entry *rreg;
376 1.1 skrll
377 1.1.1.2 christos rreg = (const reg_entry *) hash_find (regp_hash, reg_name);
378 1.1 skrll
379 1.1.1.2 christos if (rreg != NULL)
380 1.1 skrll {
381 1.1.1.2 christos if ((rreg->value.reg_val != 1) || (rreg->value.reg_val != 7)
382 1.1.1.2 christos || (rreg->value.reg_val != 9) || (rreg->value.reg_val > 10))
383 1.1.1.2 christos return rreg->value.reg_val;
384 1.1 skrll
385 1.1.1.2 christos as_bad (_("Unknown register pair - index relative mode: `%d'"), rreg->value.reg_val);
386 1.1 skrll }
387 1.1 skrll
388 1.1 skrll return nullregister;
389 1.1 skrll }
390 1.1 skrll
391 1.1 skrll /* Get the processor register 'preg_name'. */
392 1.1 skrll
393 1.1 skrll static preg
394 1.1 skrll get_pregister (char *preg_name)
395 1.1 skrll {
396 1.1.1.2 christos const reg_entry *prreg;
397 1.1 skrll
398 1.1.1.2 christos prreg = (const reg_entry *) hash_find (preg_hash, preg_name);
399 1.1 skrll
400 1.1.1.2 christos if (prreg != NULL)
401 1.1.1.2 christos return prreg->value.preg_val;
402 1.1 skrll
403 1.1 skrll return nullpregister;
404 1.1 skrll }
405 1.1 skrll
406 1.1 skrll /* Get the processor register 'preg_name 32 bit'. */
407 1.1 skrll
408 1.1 skrll static preg
409 1.1 skrll get_pregisterp (char *preg_name)
410 1.1 skrll {
411 1.1.1.2 christos const reg_entry *prreg;
412 1.1 skrll
413 1.1.1.2 christos prreg = (const reg_entry *) hash_find (pregp_hash, preg_name);
414 1.1 skrll
415 1.1.1.2 christos if (prreg != NULL)
416 1.1.1.2 christos return prreg->value.preg_val;
417 1.1 skrll
418 1.1 skrll return nullpregister;
419 1.1 skrll }
420 1.1 skrll
421 1.1 skrll
422 1.1 skrll /* Round up a section size to the appropriate boundary. */
423 1.1 skrll
424 1.1 skrll valueT
425 1.1 skrll md_section_align (segT seg, valueT val)
426 1.1 skrll {
427 1.1 skrll /* Round .text section to a multiple of 2. */
428 1.1 skrll if (seg == text_section)
429 1.1 skrll return (val + 1) & ~1;
430 1.1 skrll return val;
431 1.1 skrll }
432 1.1 skrll
433 1.1 skrll /* Parse an operand that is machine-specific (remove '*'). */
434 1.1 skrll
435 1.1 skrll void
436 1.1 skrll md_operand (expressionS * exp)
437 1.1 skrll {
438 1.1 skrll char c = *input_line_pointer;
439 1.1 skrll
440 1.1 skrll switch (c)
441 1.1 skrll {
442 1.1 skrll case '*':
443 1.1 skrll input_line_pointer++;
444 1.1 skrll expression (exp);
445 1.1 skrll break;
446 1.1 skrll default:
447 1.1 skrll break;
448 1.1 skrll }
449 1.1 skrll }
450 1.1 skrll
451 1.1 skrll /* Reset global variables before parsing a new instruction. */
452 1.1 skrll
453 1.1 skrll static void
454 1.1 skrll reset_vars (char *op)
455 1.1 skrll {
456 1.1 skrll cur_arg_num = relocatable = 0;
457 1.1 skrll memset (& output_opcode, '\0', sizeof (output_opcode));
458 1.1 skrll
459 1.1 skrll /* Save a copy of the original OP (used in error messages). */
460 1.1 skrll strncpy (ins_parse, op, sizeof ins_parse - 1);
461 1.1 skrll ins_parse [sizeof ins_parse - 1] = 0;
462 1.1 skrll }
463 1.1 skrll
464 1.1 skrll /* This macro decides whether a particular reloc is an entry in a
465 1.1 skrll switch table. It is used when relaxing, because the linker needs
466 1.1 skrll to know about all such entries so that it can adjust them if
467 1.1 skrll necessary. */
468 1.1 skrll
469 1.1 skrll #define SWITCH_TABLE(fix) \
470 1.1 skrll ( (fix)->fx_addsy != NULL \
471 1.1 skrll && (fix)->fx_subsy != NULL \
472 1.1 skrll && S_GET_SEGMENT ((fix)->fx_addsy) == \
473 1.1 skrll S_GET_SEGMENT ((fix)->fx_subsy) \
474 1.1 skrll && S_GET_SEGMENT (fix->fx_addsy) != undefined_section \
475 1.1 skrll && ( (fix)->fx_r_type == BFD_RELOC_CR16_NUM8 \
476 1.1 skrll || (fix)->fx_r_type == BFD_RELOC_CR16_NUM16 \
477 1.1 skrll || (fix)->fx_r_type == BFD_RELOC_CR16_NUM32 \
478 1.1 skrll || (fix)->fx_r_type == BFD_RELOC_CR16_NUM32a))
479 1.1 skrll
480 1.1 skrll /* See whether we need to force a relocation into the output file.
481 1.1 skrll This is used to force out switch and PC relative relocations when
482 1.1 skrll relaxing. */
483 1.1 skrll
484 1.1 skrll int
485 1.1 skrll cr16_force_relocation (fixS *fix)
486 1.1 skrll {
487 1.1 skrll if (generic_force_reloc (fix) || SWITCH_TABLE (fix))
488 1.1 skrll return 1;
489 1.1 skrll
490 1.1 skrll return 0;
491 1.1 skrll }
492 1.1 skrll
493 1.1 skrll /* Record a fixup for a cons expression. */
494 1.1 skrll
495 1.1 skrll void
496 1.1 skrll cr16_cons_fix_new (fragS *frag, int offset, int len, expressionS *exp)
497 1.1 skrll {
498 1.1.1.2 christos int rtype = BFD_RELOC_UNUSED;
499 1.1.1.2 christos
500 1.1 skrll switch (len)
501 1.1 skrll {
502 1.1 skrll default: rtype = BFD_RELOC_NONE; break;
503 1.1 skrll case 1: rtype = BFD_RELOC_CR16_NUM8 ; break;
504 1.1 skrll case 2: rtype = BFD_RELOC_CR16_NUM16; break;
505 1.1 skrll case 4:
506 1.1 skrll if (code_label)
507 1.1 skrll {
508 1.1 skrll rtype = BFD_RELOC_CR16_NUM32a;
509 1.1 skrll code_label = 0;
510 1.1 skrll }
511 1.1 skrll else
512 1.1 skrll rtype = BFD_RELOC_CR16_NUM32;
513 1.1 skrll break;
514 1.1 skrll }
515 1.1 skrll
516 1.1 skrll fix_new_exp (frag, offset, len, exp, 0, rtype);
517 1.1 skrll }
518 1.1 skrll
519 1.1 skrll /* Generate a relocation entry for a fixup. */
520 1.1 skrll
521 1.1 skrll arelent *
522 1.1 skrll tc_gen_reloc (asection *section ATTRIBUTE_UNUSED, fixS * fixP)
523 1.1 skrll {
524 1.1 skrll arelent * reloc;
525 1.1.1.2 christos bfd_reloc_code_real_type code;
526 1.1.1.2 christos
527 1.1.1.2 christos /* If symbols are local and resolved, then no relocation needed. */
528 1.1.1.2 christos if ( ((fixP->fx_addsy)
529 1.1.1.2 christos && (S_GET_SEGMENT (fixP->fx_addsy) == absolute_section))
530 1.1.1.2 christos || ((fixP->fx_subsy)
531 1.1.1.2 christos && (S_GET_SEGMENT (fixP->fx_subsy) == absolute_section)))
532 1.1.1.2 christos return NULL;
533 1.1 skrll
534 1.1 skrll reloc = xmalloc (sizeof (arelent));
535 1.1 skrll reloc->sym_ptr_ptr = xmalloc (sizeof (asymbol *));
536 1.1 skrll *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixP->fx_addsy);
537 1.1 skrll reloc->address = fixP->fx_frag->fr_address + fixP->fx_where;
538 1.1 skrll reloc->addend = fixP->fx_offset;
539 1.1 skrll
540 1.1 skrll if (fixP->fx_subsy != NULL)
541 1.1 skrll {
542 1.1 skrll if (SWITCH_TABLE (fixP))
543 1.1 skrll {
544 1.1 skrll /* Keep the current difference in the addend. */
545 1.1 skrll reloc->addend = (S_GET_VALUE (fixP->fx_addsy)
546 1.1 skrll - S_GET_VALUE (fixP->fx_subsy) + fixP->fx_offset);
547 1.1 skrll
548 1.1 skrll switch (fixP->fx_r_type)
549 1.1 skrll {
550 1.1 skrll case BFD_RELOC_CR16_NUM8:
551 1.1 skrll fixP->fx_r_type = BFD_RELOC_CR16_SWITCH8;
552 1.1 skrll break;
553 1.1 skrll case BFD_RELOC_CR16_NUM16:
554 1.1 skrll fixP->fx_r_type = BFD_RELOC_CR16_SWITCH16;
555 1.1 skrll break;
556 1.1 skrll case BFD_RELOC_CR16_NUM32:
557 1.1 skrll fixP->fx_r_type = BFD_RELOC_CR16_SWITCH32;
558 1.1 skrll break;
559 1.1 skrll case BFD_RELOC_CR16_NUM32a:
560 1.1 skrll fixP->fx_r_type = BFD_RELOC_CR16_NUM32a;
561 1.1 skrll break;
562 1.1 skrll default:
563 1.1 skrll abort ();
564 1.1 skrll break;
565 1.1 skrll }
566 1.1 skrll }
567 1.1 skrll else
568 1.1 skrll {
569 1.1 skrll /* We only resolve difference expressions in the same section. */
570 1.1 skrll as_bad_where (fixP->fx_file, fixP->fx_line,
571 1.1 skrll _("can't resolve `%s' {%s section} - `%s' {%s section}"),
572 1.1 skrll fixP->fx_addsy ? S_GET_NAME (fixP->fx_addsy) : "0",
573 1.1 skrll segment_name (fixP->fx_addsy
574 1.1 skrll ? S_GET_SEGMENT (fixP->fx_addsy)
575 1.1 skrll : absolute_section),
576 1.1 skrll S_GET_NAME (fixP->fx_subsy),
577 1.1 skrll segment_name (S_GET_SEGMENT (fixP->fx_addsy)));
578 1.1 skrll }
579 1.1 skrll }
580 1.1.1.2 christos #ifdef OBJ_ELF
581 1.1.1.2 christos if ((fixP->fx_r_type == BFD_RELOC_CR16_GOT_REGREL20)
582 1.1.1.2 christos && GOT_symbol
583 1.1.1.2 christos && fixP->fx_addsy == GOT_symbol)
584 1.1.1.2 christos {
585 1.1.1.2 christos code = BFD_RELOC_CR16_GOT_REGREL20;
586 1.1.1.2 christos reloc->addend = fixP->fx_offset = reloc->address;
587 1.1.1.2 christos }
588 1.1.1.2 christos else if ((fixP->fx_r_type == BFD_RELOC_CR16_GOTC_REGREL20)
589 1.1.1.2 christos && GOT_symbol
590 1.1.1.2 christos && fixP->fx_addsy == GOT_symbol)
591 1.1.1.2 christos {
592 1.1.1.2 christos code = BFD_RELOC_CR16_GOTC_REGREL20;
593 1.1.1.2 christos reloc->addend = fixP->fx_offset = reloc->address;
594 1.1.1.2 christos }
595 1.1.1.2 christos #endif
596 1.1 skrll
597 1.1.1.2 christos gas_assert ((int) fixP->fx_r_type > 0);
598 1.1 skrll reloc->howto = bfd_reloc_type_lookup (stdoutput, fixP->fx_r_type);
599 1.1 skrll
600 1.1 skrll if (reloc->howto == NULL)
601 1.1 skrll {
602 1.1 skrll as_bad_where (fixP->fx_file, fixP->fx_line,
603 1.1 skrll _("internal error: reloc %d (`%s') not supported by object file format"),
604 1.1 skrll fixP->fx_r_type,
605 1.1 skrll bfd_get_reloc_code_name (fixP->fx_r_type));
606 1.1 skrll return NULL;
607 1.1 skrll }
608 1.1.1.2 christos gas_assert (!fixP->fx_pcrel == !reloc->howto->pc_relative);
609 1.1 skrll
610 1.1 skrll return reloc;
611 1.1 skrll }
612 1.1 skrll
613 1.1 skrll /* Prepare machine-dependent frags for relaxation. */
614 1.1 skrll
615 1.1 skrll int
616 1.1 skrll md_estimate_size_before_relax (fragS *fragp, asection *seg)
617 1.1 skrll {
618 1.1 skrll /* If symbol is undefined or located in a different section,
619 1.1 skrll select the largest supported relocation. */
620 1.1 skrll relax_substateT subtype;
621 1.1 skrll relax_substateT rlx_state[] = {0, 2};
622 1.1 skrll
623 1.1 skrll for (subtype = 0; subtype < ARRAY_SIZE (rlx_state); subtype += 2)
624 1.1 skrll {
625 1.1 skrll if (fragp->fr_subtype == rlx_state[subtype]
626 1.1 skrll && (!S_IS_DEFINED (fragp->fr_symbol)
627 1.1 skrll || seg != S_GET_SEGMENT (fragp->fr_symbol)))
628 1.1 skrll {
629 1.1 skrll fragp->fr_subtype = rlx_state[subtype + 1];
630 1.1 skrll break;
631 1.1 skrll }
632 1.1 skrll }
633 1.1 skrll
634 1.1 skrll if (fragp->fr_subtype >= ARRAY_SIZE (md_relax_table))
635 1.1 skrll abort ();
636 1.1 skrll
637 1.1 skrll return md_relax_table[fragp->fr_subtype].rlx_length;
638 1.1 skrll }
639 1.1 skrll
640 1.1 skrll void
641 1.1 skrll md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, fragS *fragP)
642 1.1 skrll {
643 1.1 skrll /* 'opcode' points to the start of the instruction, whether
644 1.1 skrll we need to change the instruction's fixed encoding. */
645 1.1 skrll char *opcode = fragP->fr_literal + fragP->fr_fix;
646 1.1 skrll bfd_reloc_code_real_type reloc;
647 1.1 skrll
648 1.1 skrll subseg_change (sec, 0);
649 1.1 skrll
650 1.1 skrll switch (fragP->fr_subtype)
651 1.1 skrll {
652 1.1 skrll case 0:
653 1.1 skrll reloc = BFD_RELOC_CR16_DISP8;
654 1.1 skrll break;
655 1.1 skrll case 1:
656 1.1 skrll /* If the subtype is not changed due to :m operand qualifier,
657 1.1 skrll then no need to update the opcode value. */
658 1.1 skrll if ((int)opcode[1] != 0x18)
659 1.1 skrll {
660 1.1 skrll opcode[0] = (opcode[0] & 0xf0);
661 1.1 skrll opcode[1] = 0x18;
662 1.1 skrll }
663 1.1 skrll reloc = BFD_RELOC_CR16_DISP16;
664 1.1 skrll break;
665 1.1 skrll case 2:
666 1.1 skrll /* If the subtype is not changed due to :l operand qualifier,
667 1.1 skrll then no need to update the opcode value. */
668 1.1 skrll if ((int)opcode[1] != 0)
669 1.1 skrll {
670 1.1 skrll opcode[2] = opcode[0];
671 1.1 skrll opcode[0] = opcode[1];
672 1.1 skrll opcode[1] = 0x0;
673 1.1 skrll }
674 1.1 skrll reloc = BFD_RELOC_CR16_DISP24;
675 1.1 skrll break;
676 1.1 skrll default:
677 1.1 skrll abort();
678 1.1 skrll }
679 1.1 skrll
680 1.1 skrll fix_new (fragP, fragP->fr_fix,
681 1.1 skrll bfd_get_reloc_size (bfd_reloc_type_lookup (stdoutput, reloc)),
682 1.1 skrll fragP->fr_symbol, fragP->fr_offset, 1, reloc);
683 1.1 skrll fragP->fr_var = 0;
684 1.1 skrll fragP->fr_fix += md_relax_table[fragP->fr_subtype].rlx_length;
685 1.1 skrll }
686 1.1 skrll
687 1.1.1.2 christos symbolS *
688 1.1.1.2 christos md_undefined_symbol (char *name)
689 1.1.1.2 christos {
690 1.1.1.2 christos if (*name == '_' && *(name + 1) == 'G'
691 1.1.1.2 christos && strcmp (name, "_GLOBAL_OFFSET_TABLE_") == 0)
692 1.1.1.2 christos {
693 1.1.1.2 christos if (!GOT_symbol)
694 1.1.1.2 christos {
695 1.1.1.2 christos if (symbol_find (name))
696 1.1.1.2 christos as_bad (_("GOT already in symbol table"));
697 1.1.1.2 christos GOT_symbol = symbol_new (name, undefined_section,
698 1.1.1.2 christos (valueT) 0, &zero_address_frag);
699 1.1.1.2 christos }
700 1.1.1.2 christos return GOT_symbol;
701 1.1.1.2 christos }
702 1.1.1.2 christos return 0;
703 1.1.1.2 christos }
704 1.1.1.2 christos
705 1.1 skrll /* Process machine-dependent command line options. Called once for
706 1.1 skrll each option on the command line that the machine-independent part of
707 1.1 skrll GAS does not understand. */
708 1.1 skrll
709 1.1 skrll int
710 1.1 skrll md_parse_option (int c ATTRIBUTE_UNUSED, char *arg ATTRIBUTE_UNUSED)
711 1.1 skrll {
712 1.1 skrll return 0;
713 1.1 skrll }
714 1.1 skrll
715 1.1 skrll /* Machine-dependent usage-output. */
716 1.1 skrll
717 1.1 skrll void
718 1.1 skrll md_show_usage (FILE *stream ATTRIBUTE_UNUSED)
719 1.1 skrll {
720 1.1 skrll return;
721 1.1 skrll }
722 1.1 skrll
723 1.1 skrll char *
724 1.1 skrll md_atof (int type, char *litP, int *sizeP)
725 1.1 skrll {
726 1.1 skrll return ieee_md_atof (type, litP, sizeP, target_big_endian);
727 1.1 skrll }
728 1.1 skrll
729 1.1 skrll /* Apply a fixS (fixup of an instruction or data that we didn't have
730 1.1 skrll enough info to complete immediately) to the data in a frag.
731 1.1 skrll Since linkrelax is nonzero and TC_LINKRELAX_FIXUP is defined to disable
732 1.1 skrll relaxation of debug sections, this function is called only when
733 1.1 skrll fixuping relocations of debug sections. */
734 1.1 skrll
735 1.1 skrll void
736 1.1 skrll md_apply_fix (fixS *fixP, valueT *valP, segT seg)
737 1.1 skrll {
738 1.1 skrll valueT val = * valP;
739 1.1 skrll
740 1.1 skrll if (fixP->fx_addsy == NULL
741 1.1 skrll && fixP->fx_pcrel == 0)
742 1.1 skrll fixP->fx_done = 1;
743 1.1.1.2 christos else if (fixP->fx_pcrel == 1
744 1.1 skrll && fixP->fx_addsy != NULL
745 1.1 skrll && S_GET_SEGMENT (fixP->fx_addsy) == seg)
746 1.1 skrll fixP->fx_done = 1;
747 1.1.1.2 christos else
748 1.1.1.2 christos fixP->fx_done = 0;
749 1.1.1.2 christos
750 1.1.1.2 christos if (fixP->fx_addsy != NULL && !fixP->fx_pcrel)
751 1.1.1.2 christos {
752 1.1.1.2 christos val = fixP->fx_offset;
753 1.1.1.2 christos fixP->fx_done = 1;
754 1.1.1.2 christos }
755 1.1.1.2 christos
756 1.1.1.2 christos if (fixP->fx_done)
757 1.1.1.2 christos {
758 1.1.1.2 christos char *buf = fixP->fx_frag->fr_literal + fixP->fx_where;
759 1.1.1.2 christos
760 1.1.1.2 christos fixP->fx_offset = 0;
761 1.1.1.2 christos
762 1.1.1.2 christos switch (fixP->fx_r_type)
763 1.1.1.2 christos {
764 1.1.1.2 christos case BFD_RELOC_CR16_NUM8:
765 1.1.1.2 christos bfd_put_8 (stdoutput, (unsigned char) val, buf);
766 1.1.1.2 christos break;
767 1.1.1.2 christos case BFD_RELOC_CR16_NUM16:
768 1.1.1.2 christos bfd_put_16 (stdoutput, val, buf);
769 1.1.1.2 christos break;
770 1.1.1.2 christos case BFD_RELOC_CR16_NUM32:
771 1.1.1.2 christos bfd_put_32 (stdoutput, val, buf);
772 1.1.1.2 christos break;
773 1.1.1.2 christos case BFD_RELOC_CR16_NUM32a:
774 1.1.1.2 christos bfd_put_32 (stdoutput, val, buf);
775 1.1.1.2 christos break;
776 1.1.1.2 christos default:
777 1.1.1.2 christos /* We shouldn't ever get here because linkrelax is nonzero. */
778 1.1.1.2 christos abort ();
779 1.1.1.2 christos break;
780 1.1.1.2 christos }
781 1.1.1.2 christos fixP->fx_done = 0;
782 1.1.1.2 christos }
783 1.1.1.2 christos else
784 1.1.1.2 christos fixP->fx_offset = * valP;
785 1.1 skrll }
786 1.1 skrll
787 1.1 skrll /* The location from which a PC relative jump should be calculated,
788 1.1 skrll given a PC relative reloc. */
789 1.1 skrll
790 1.1 skrll long
791 1.1 skrll md_pcrel_from (fixS *fixp)
792 1.1 skrll {
793 1.1 skrll return fixp->fx_frag->fr_address + fixp->fx_where;
794 1.1 skrll }
795 1.1 skrll
796 1.1 skrll static void
797 1.1 skrll initialise_reg_hash_table (struct hash_control ** hash_table,
798 1.1 skrll const reg_entry * register_table,
799 1.1 skrll const unsigned int num_entries)
800 1.1 skrll {
801 1.1.1.2 christos const reg_entry * rreg;
802 1.1 skrll const char *hashret;
803 1.1 skrll
804 1.1 skrll if ((* hash_table = hash_new ()) == NULL)
805 1.1 skrll as_fatal (_("Virtual memory exhausted"));
806 1.1 skrll
807 1.1.1.2 christos for (rreg = register_table;
808 1.1.1.2 christos rreg < (register_table + num_entries);
809 1.1.1.2 christos rreg++)
810 1.1 skrll {
811 1.1.1.2 christos hashret = hash_insert (* hash_table, rreg->name, (char *) rreg);
812 1.1 skrll if (hashret)
813 1.1 skrll as_fatal (_("Internal Error: Can't hash %s: %s"),
814 1.1.1.2 christos rreg->name, hashret);
815 1.1 skrll }
816 1.1 skrll }
817 1.1 skrll
818 1.1 skrll /* This function is called once, at assembler startup time. This should
819 1.1 skrll set up all the tables, etc that the MD part of the assembler needs. */
820 1.1 skrll
821 1.1 skrll void
822 1.1 skrll md_begin (void)
823 1.1 skrll {
824 1.1 skrll int i = 0;
825 1.1 skrll
826 1.1 skrll /* Set up a hash table for the instructions. */
827 1.1 skrll if ((cr16_inst_hash = hash_new ()) == NULL)
828 1.1 skrll as_fatal (_("Virtual memory exhausted"));
829 1.1 skrll
830 1.1 skrll while (cr16_instruction[i].mnemonic != NULL)
831 1.1 skrll {
832 1.1 skrll const char *hashret;
833 1.1 skrll const char *mnemonic = cr16_instruction[i].mnemonic;
834 1.1 skrll
835 1.1 skrll hashret = hash_insert (cr16_inst_hash, mnemonic,
836 1.1 skrll (char *)(cr16_instruction + i));
837 1.1 skrll
838 1.1 skrll if (hashret != NULL && *hashret != '\0')
839 1.1 skrll as_fatal (_("Can't hash `%s': %s\n"), cr16_instruction[i].mnemonic,
840 1.1 skrll *hashret == 0 ? _("(unknown reason)") : hashret);
841 1.1 skrll
842 1.1 skrll /* Insert unique names into hash table. The CR16 instruction set
843 1.1 skrll has many identical opcode names that have different opcodes based
844 1.1 skrll on the operands. This hash table then provides a quick index to
845 1.1 skrll the first opcode with a particular name in the opcode table. */
846 1.1 skrll do
847 1.1 skrll {
848 1.1 skrll ++i;
849 1.1 skrll }
850 1.1 skrll while (cr16_instruction[i].mnemonic != NULL
851 1.1 skrll && streq (cr16_instruction[i].mnemonic, mnemonic));
852 1.1 skrll }
853 1.1 skrll
854 1.1 skrll /* Initialize reg_hash hash table. */
855 1.1 skrll initialise_reg_hash_table (& reg_hash, cr16_regtab, NUMREGS);
856 1.1 skrll /* Initialize regp_hash hash table. */
857 1.1 skrll initialise_reg_hash_table (& regp_hash, cr16_regptab, NUMREGPS);
858 1.1 skrll /* Initialize preg_hash hash table. */
859 1.1 skrll initialise_reg_hash_table (& preg_hash, cr16_pregtab, NUMPREGS);
860 1.1 skrll /* Initialize pregp_hash hash table. */
861 1.1 skrll initialise_reg_hash_table (& pregp_hash, cr16_pregptab, NUMPREGPS);
862 1.1 skrll
863 1.1 skrll /* Set linkrelax here to avoid fixups in most sections. */
864 1.1 skrll linkrelax = 1;
865 1.1 skrll }
866 1.1 skrll
867 1.1 skrll /* Process constants (immediate/absolute)
868 1.1 skrll and labels (jump targets/Memory locations). */
869 1.1 skrll
870 1.1 skrll static void
871 1.1 skrll process_label_constant (char *str, ins * cr16_ins)
872 1.1 skrll {
873 1.1 skrll char *saved_input_line_pointer;
874 1.1 skrll int symbol_with_at = 0;
875 1.1 skrll int symbol_with_s = 0;
876 1.1 skrll int symbol_with_m = 0;
877 1.1 skrll int symbol_with_l = 0;
878 1.1.1.2 christos int symbol_with_at_got = 0;
879 1.1.1.2 christos int symbol_with_at_gotc = 0;
880 1.1 skrll argument *cur_arg = cr16_ins->arg + cur_arg_num; /* Current argument. */
881 1.1 skrll
882 1.1 skrll saved_input_line_pointer = input_line_pointer;
883 1.1 skrll input_line_pointer = str;
884 1.1 skrll
885 1.1 skrll expression (&cr16_ins->exp);
886 1.1 skrll
887 1.1 skrll switch (cr16_ins->exp.X_op)
888 1.1 skrll {
889 1.1 skrll case O_big:
890 1.1 skrll case O_absent:
891 1.1 skrll /* Missing or bad expr becomes absolute 0. */
892 1.1 skrll as_bad (_("missing or invalid displacement expression `%s' taken as 0"),
893 1.1 skrll str);
894 1.1 skrll cr16_ins->exp.X_op = O_constant;
895 1.1 skrll cr16_ins->exp.X_add_number = 0;
896 1.1 skrll cr16_ins->exp.X_add_symbol = NULL;
897 1.1 skrll cr16_ins->exp.X_op_symbol = NULL;
898 1.1 skrll /* Fall through. */
899 1.1 skrll
900 1.1 skrll case O_constant:
901 1.1 skrll cur_arg->X_op = O_constant;
902 1.1 skrll cur_arg->constant = cr16_ins->exp.X_add_number;
903 1.1 skrll break;
904 1.1 skrll
905 1.1 skrll case O_symbol:
906 1.1 skrll case O_subtract:
907 1.1 skrll case O_add:
908 1.1 skrll cur_arg->X_op = O_symbol;
909 1.1.1.2 christos cur_arg->constant = cr16_ins->exp.X_add_number;
910 1.1.1.2 christos cr16_ins->exp.X_add_number = 0;
911 1.1 skrll cr16_ins->rtype = BFD_RELOC_NONE;
912 1.1 skrll relocatable = 1;
913 1.1 skrll
914 1.1 skrll if (strneq (input_line_pointer, "@c", 2))
915 1.1 skrll symbol_with_at = 1;
916 1.1 skrll
917 1.1 skrll if (strneq (input_line_pointer, "@l", 2)
918 1.1 skrll || strneq (input_line_pointer, ":l", 2))
919 1.1 skrll symbol_with_l = 1;
920 1.1 skrll
921 1.1 skrll if (strneq (input_line_pointer, "@m", 2)
922 1.1 skrll || strneq (input_line_pointer, ":m", 2))
923 1.1 skrll symbol_with_m = 1;
924 1.1 skrll
925 1.1 skrll if (strneq (input_line_pointer, "@s", 2)
926 1.1 skrll || strneq (input_line_pointer, ":s", 2))
927 1.1 skrll symbol_with_s = 1;
928 1.1 skrll
929 1.1.1.2 christos if (strneq (input_line_pointer, "@cGOT", 5)
930 1.1.1.2 christos || strneq (input_line_pointer, "@cgot", 5))
931 1.1.1.2 christos {
932 1.1.1.2 christos if (GOT_symbol == NULL)
933 1.1.1.2 christos GOT_symbol = symbol_find_or_make (GLOBAL_OFFSET_TABLE_NAME);
934 1.1.1.2 christos
935 1.1.1.2 christos symbol_with_at_gotc = 1;
936 1.1.1.2 christos }
937 1.1.1.2 christos else if (strneq (input_line_pointer, "@GOT", 4)
938 1.1.1.2 christos || strneq (input_line_pointer, "@got", 4))
939 1.1.1.2 christos {
940 1.1.1.2 christos if ((strneq (input_line_pointer, "+", 1))
941 1.1.1.2 christos || (strneq (input_line_pointer, "-", 1)))
942 1.1.1.2 christos as_warn (_("GOT bad expression with %s."), input_line_pointer);
943 1.1.1.2 christos
944 1.1.1.2 christos if (GOT_symbol == NULL)
945 1.1.1.2 christos GOT_symbol = symbol_find_or_make (GLOBAL_OFFSET_TABLE_NAME);
946 1.1.1.2 christos
947 1.1.1.2 christos symbol_with_at_got = 1;
948 1.1.1.2 christos }
949 1.1.1.2 christos
950 1.1 skrll switch (cur_arg->type)
951 1.1 skrll {
952 1.1 skrll case arg_cr:
953 1.1 skrll if (IS_INSN_TYPE (LD_STOR_INS) || IS_INSN_TYPE (CSTBIT_INS))
954 1.1 skrll {
955 1.1.1.2 christos if (symbol_with_at_got)
956 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOT_REGREL20;
957 1.1.1.2 christos else if (symbol_with_at_gotc)
958 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOTC_REGREL20;
959 1.1.1.2 christos else if (cur_arg->size == 20)
960 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_REGREL20;
961 1.1 skrll else
962 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_REGREL20a;
963 1.1 skrll }
964 1.1 skrll break;
965 1.1 skrll
966 1.1 skrll case arg_crp:
967 1.1 skrll if (IS_INSN_TYPE (LD_STOR_INS) || IS_INSN_TYPE (CSTBIT_INS))
968 1.1.1.2 christos {
969 1.1.1.2 christos if (symbol_with_at_got)
970 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOT_REGREL20;
971 1.1.1.2 christos else if (symbol_with_at_gotc)
972 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOTC_REGREL20;
973 1.1.1.2 christos } else {
974 1.1 skrll switch (instruction->size)
975 1.1 skrll {
976 1.1 skrll case 1:
977 1.1 skrll switch (cur_arg->size)
978 1.1 skrll {
979 1.1 skrll case 0:
980 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_REGREL0;
981 1.1 skrll break;
982 1.1 skrll case 4:
983 1.1 skrll if (IS_INSN_MNEMONIC ("loadb") || IS_INSN_MNEMONIC ("storb"))
984 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_REGREL4;
985 1.1 skrll else
986 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_REGREL4a;
987 1.1 skrll break;
988 1.1 skrll default: break;
989 1.1 skrll }
990 1.1 skrll break;
991 1.1 skrll case 2:
992 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_REGREL16;
993 1.1 skrll break;
994 1.1 skrll case 3:
995 1.1 skrll if (cur_arg->size == 20)
996 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_REGREL20;
997 1.1 skrll else
998 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_REGREL20a;
999 1.1 skrll break;
1000 1.1 skrll default:
1001 1.1 skrll break;
1002 1.1 skrll }
1003 1.1.1.2 christos }
1004 1.1 skrll break;
1005 1.1 skrll
1006 1.1 skrll case arg_idxr:
1007 1.1 skrll if (IS_INSN_TYPE (LD_STOR_INS) || IS_INSN_TYPE (CSTBIT_INS))
1008 1.1.1.2 christos {
1009 1.1.1.2 christos if (symbol_with_at_got)
1010 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOT_REGREL20;
1011 1.1.1.2 christos else if (symbol_with_at_gotc)
1012 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOTC_REGREL20;
1013 1.1.1.2 christos else
1014 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_REGREL20;
1015 1.1.1.2 christos }
1016 1.1 skrll break;
1017 1.1 skrll
1018 1.1 skrll case arg_idxrp:
1019 1.1 skrll if (IS_INSN_TYPE (LD_STOR_INS) || IS_INSN_TYPE (CSTBIT_INS))
1020 1.1.1.2 christos {
1021 1.1.1.2 christos if (symbol_with_at_got)
1022 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOT_REGREL20;
1023 1.1.1.2 christos else if (symbol_with_at_gotc)
1024 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOTC_REGREL20;
1025 1.1.1.2 christos else {
1026 1.1 skrll switch (instruction->size)
1027 1.1 skrll {
1028 1.1 skrll case 1: cr16_ins->rtype = BFD_RELOC_CR16_REGREL0; break;
1029 1.1 skrll case 2: cr16_ins->rtype = BFD_RELOC_CR16_REGREL14; break;
1030 1.1 skrll case 3: cr16_ins->rtype = BFD_RELOC_CR16_REGREL20; break;
1031 1.1 skrll default: break;
1032 1.1 skrll }
1033 1.1.1.2 christos }
1034 1.1.1.2 christos }
1035 1.1 skrll break;
1036 1.1 skrll
1037 1.1 skrll case arg_c:
1038 1.1 skrll if (IS_INSN_MNEMONIC ("bal"))
1039 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_DISP24;
1040 1.1 skrll else if (IS_INSN_TYPE (BRANCH_INS))
1041 1.1 skrll {
1042 1.1 skrll if (symbol_with_l)
1043 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_DISP24;
1044 1.1 skrll else if (symbol_with_m)
1045 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_DISP16;
1046 1.1 skrll else
1047 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_DISP8;
1048 1.1 skrll }
1049 1.1 skrll else if (IS_INSN_TYPE (STOR_IMM_INS) || IS_INSN_TYPE (LD_STOR_INS)
1050 1.1 skrll || IS_INSN_TYPE (CSTBIT_INS))
1051 1.1 skrll {
1052 1.1.1.2 christos if (symbol_with_s)
1053 1.1 skrll as_bad (_("operand %d: illegal use expression: `%s`"), cur_arg_num + 1, str);
1054 1.1.1.2 christos if (symbol_with_at_got)
1055 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOT_REGREL20;
1056 1.1.1.2 christos else if (symbol_with_at_gotc)
1057 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOTC_REGREL20;
1058 1.1.1.2 christos else if (symbol_with_m)
1059 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_ABS20;
1060 1.1 skrll else /* Default to (symbol_with_l) */
1061 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_ABS24;
1062 1.1 skrll }
1063 1.1 skrll else if (IS_INSN_TYPE (BRANCH_NEQ_INS))
1064 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_DISP4;
1065 1.1 skrll break;
1066 1.1 skrll
1067 1.1 skrll case arg_ic:
1068 1.1 skrll if (IS_INSN_TYPE (ARITH_INS))
1069 1.1 skrll {
1070 1.1.1.2 christos if (symbol_with_at_got)
1071 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOT_REGREL20;
1072 1.1.1.2 christos else if (symbol_with_at_gotc)
1073 1.1.1.2 christos cr16_ins->rtype = BFD_RELOC_CR16_GOTC_REGREL20;
1074 1.1.1.2 christos else if (symbol_with_s)
1075 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_IMM4;
1076 1.1 skrll else if (symbol_with_m)
1077 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_IMM20;
1078 1.1 skrll else if (symbol_with_at)
1079 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_IMM32a;
1080 1.1 skrll else /* Default to (symbol_with_l) */
1081 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_IMM32;
1082 1.1 skrll }
1083 1.1 skrll else if (IS_INSN_TYPE (ARITH_BYTE_INS))
1084 1.1 skrll {
1085 1.1 skrll cr16_ins->rtype = BFD_RELOC_CR16_IMM16;
1086 1.1 skrll }
1087 1.1 skrll break;
1088 1.1 skrll default:
1089 1.1 skrll break;
1090 1.1 skrll }
1091 1.1 skrll break;
1092 1.1 skrll
1093 1.1 skrll default:
1094 1.1 skrll cur_arg->X_op = cr16_ins->exp.X_op;
1095 1.1 skrll break;
1096 1.1 skrll }
1097 1.1 skrll
1098 1.1 skrll input_line_pointer = saved_input_line_pointer;
1099 1.1 skrll return;
1100 1.1 skrll }
1101 1.1 skrll
1102 1.1 skrll /* Retrieve the opcode image of a given register.
1103 1.1 skrll If the register is illegal for the current instruction,
1104 1.1 skrll issue an error. */
1105 1.1 skrll
1106 1.1 skrll static int
1107 1.1 skrll getreg_image (reg r)
1108 1.1 skrll {
1109 1.1.1.2 christos const reg_entry *rreg;
1110 1.1 skrll char *reg_name;
1111 1.1 skrll int is_procreg = 0; /* Nonzero means argument should be processor reg. */
1112 1.1 skrll
1113 1.1 skrll /* Check whether the register is in registers table. */
1114 1.1 skrll if (r < MAX_REG)
1115 1.1.1.2 christos rreg = cr16_regtab + r;
1116 1.1 skrll else /* Register not found. */
1117 1.1 skrll {
1118 1.1 skrll as_bad (_("Unknown register: `%d'"), r);
1119 1.1 skrll return 0;
1120 1.1 skrll }
1121 1.1 skrll
1122 1.1.1.2 christos reg_name = rreg->name;
1123 1.1 skrll
1124 1.1 skrll /* Issue a error message when register is illegal. */
1125 1.1 skrll #define IMAGE_ERR \
1126 1.1 skrll as_bad (_("Illegal register (`%s') in Instruction: `%s'"), \
1127 1.1 skrll reg_name, ins_parse); \
1128 1.1 skrll break;
1129 1.1 skrll
1130 1.1.1.2 christos switch (rreg->type)
1131 1.1 skrll {
1132 1.1 skrll case CR16_R_REGTYPE:
1133 1.1 skrll if (! is_procreg)
1134 1.1.1.2 christos return rreg->image;
1135 1.1 skrll else
1136 1.1 skrll IMAGE_ERR;
1137 1.1 skrll
1138 1.1 skrll case CR16_P_REGTYPE:
1139 1.1.1.2 christos return rreg->image;
1140 1.1 skrll break;
1141 1.1 skrll
1142 1.1 skrll default:
1143 1.1 skrll IMAGE_ERR;
1144 1.1 skrll }
1145 1.1 skrll
1146 1.1 skrll return 0;
1147 1.1 skrll }
1148 1.1 skrll
1149 1.1 skrll /* Parsing different types of operands
1150 1.1 skrll -> constants Immediate/Absolute/Relative numbers
1151 1.1 skrll -> Labels Relocatable symbols
1152 1.1 skrll -> (reg pair base) Register pair base
1153 1.1 skrll -> (rbase) Register base
1154 1.1 skrll -> disp(rbase) Register relative
1155 1.1 skrll -> [rinx]disp(reg pair) Register index with reg pair mode
1156 1.1 skrll -> disp(rbase,ridx,scl) Register index mode. */
1157 1.1 skrll
1158 1.1 skrll static void
1159 1.1 skrll set_operand (char *operand, ins * cr16_ins)
1160 1.1 skrll {
1161 1.1 skrll char *operandS; /* Pointer to start of sub-opearand. */
1162 1.1 skrll char *operandE; /* Pointer to end of sub-opearand. */
1163 1.1 skrll
1164 1.1 skrll argument *cur_arg = &cr16_ins->arg[cur_arg_num]; /* Current argument. */
1165 1.1 skrll
1166 1.1 skrll /* Initialize pointers. */
1167 1.1 skrll operandS = operandE = operand;
1168 1.1 skrll
1169 1.1 skrll switch (cur_arg->type)
1170 1.1 skrll {
1171 1.1 skrll case arg_ic: /* Case $0x18. */
1172 1.1 skrll operandS++;
1173 1.1 skrll case arg_c: /* Case 0x18. */
1174 1.1 skrll /* Set constant. */
1175 1.1 skrll process_label_constant (operandS, cr16_ins);
1176 1.1 skrll
1177 1.1 skrll if (cur_arg->type != arg_ic)
1178 1.1 skrll cur_arg->type = arg_c;
1179 1.1 skrll break;
1180 1.1 skrll
1181 1.1 skrll case arg_icr: /* Case $0x18(r1). */
1182 1.1 skrll operandS++;
1183 1.1 skrll case arg_cr: /* Case 0x18(r1). */
1184 1.1 skrll /* Set displacement constant. */
1185 1.1 skrll while (*operandE != '(')
1186 1.1 skrll operandE++;
1187 1.1 skrll *operandE = '\0';
1188 1.1 skrll process_label_constant (operandS, cr16_ins);
1189 1.1 skrll operandS = operandE;
1190 1.1 skrll case arg_rbase: /* Case (r1) or (r1,r0). */
1191 1.1 skrll operandS++;
1192 1.1 skrll /* Set register base. */
1193 1.1 skrll while (*operandE != ')')
1194 1.1 skrll operandE++;
1195 1.1 skrll *operandE = '\0';
1196 1.1 skrll if ((cur_arg->r = get_register (operandS)) == nullregister)
1197 1.1 skrll as_bad (_("Illegal register `%s' in Instruction `%s'"),
1198 1.1 skrll operandS, ins_parse);
1199 1.1 skrll
1200 1.1 skrll /* set the arg->rp, if reg is "r12" or "r13" or "14" or "15" */
1201 1.1 skrll if ((cur_arg->type != arg_rbase)
1202 1.1 skrll && ((getreg_image (cur_arg->r) == 12)
1203 1.1 skrll || (getreg_image (cur_arg->r) == 13)
1204 1.1 skrll || (getreg_image (cur_arg->r) == 14)
1205 1.1 skrll || (getreg_image (cur_arg->r) == 15)))
1206 1.1 skrll {
1207 1.1 skrll cur_arg->type = arg_crp;
1208 1.1 skrll cur_arg->rp = cur_arg->r;
1209 1.1 skrll }
1210 1.1 skrll break;
1211 1.1 skrll
1212 1.1 skrll case arg_crp: /* Case 0x18(r1,r0). */
1213 1.1 skrll /* Set displacement constant. */
1214 1.1 skrll while (*operandE != '(')
1215 1.1 skrll operandE++;
1216 1.1 skrll *operandE = '\0';
1217 1.1 skrll process_label_constant (operandS, cr16_ins);
1218 1.1 skrll operandS = operandE;
1219 1.1 skrll operandS++;
1220 1.1 skrll /* Set register pair base. */
1221 1.1 skrll while (*operandE != ')')
1222 1.1 skrll operandE++;
1223 1.1 skrll *operandE = '\0';
1224 1.1 skrll if ((cur_arg->rp = get_register_pair (operandS)) == nullregister)
1225 1.1 skrll as_bad (_("Illegal register pair `%s' in Instruction `%s'"),
1226 1.1 skrll operandS, ins_parse);
1227 1.1 skrll break;
1228 1.1 skrll
1229 1.1 skrll case arg_idxr:
1230 1.1 skrll /* Set register pair base. */
1231 1.1 skrll if ((strchr (operandS,'(') != NULL))
1232 1.1 skrll {
1233 1.1 skrll while ((*operandE != '(') && (! ISSPACE (*operandE)))
1234 1.1 skrll operandE++;
1235 1.1 skrll if ((cur_arg->rp = get_index_register_pair (operandE)) == nullregister)
1236 1.1 skrll as_bad (_("Illegal register pair `%s' in Instruction `%s'"),
1237 1.1 skrll operandS, ins_parse);
1238 1.1 skrll *operandE++ = '\0';
1239 1.1 skrll cur_arg->type = arg_idxrp;
1240 1.1 skrll }
1241 1.1 skrll else
1242 1.1 skrll cur_arg->rp = -1;
1243 1.1 skrll
1244 1.1 skrll operandE = operandS;
1245 1.1 skrll /* Set displacement constant. */
1246 1.1 skrll while (*operandE != ']')
1247 1.1 skrll operandE++;
1248 1.1 skrll process_label_constant (++operandE, cr16_ins);
1249 1.1 skrll *operandE++ = '\0';
1250 1.1 skrll operandE = operandS;
1251 1.1 skrll
1252 1.1 skrll /* Set index register . */
1253 1.1 skrll operandS = strchr (operandE,'[');
1254 1.1 skrll if (operandS != NULL)
1255 1.1 skrll { /* Eliminate '[', detach from rest of operand. */
1256 1.1 skrll *operandS++ = '\0';
1257 1.1 skrll
1258 1.1 skrll operandE = strchr (operandS, ']');
1259 1.1 skrll
1260 1.1 skrll if (operandE == NULL)
1261 1.1 skrll as_bad (_("unmatched '['"));
1262 1.1 skrll else
1263 1.1 skrll { /* Eliminate ']' and make sure it was the last thing
1264 1.1 skrll in the string. */
1265 1.1 skrll *operandE = '\0';
1266 1.1 skrll if (*(operandE + 1) != '\0')
1267 1.1 skrll as_bad (_("garbage after index spec ignored"));
1268 1.1 skrll }
1269 1.1 skrll }
1270 1.1 skrll
1271 1.1 skrll if ((cur_arg->i_r = get_index_register (operandS)) == nullregister)
1272 1.1 skrll as_bad (_("Illegal register `%s' in Instruction `%s'"),
1273 1.1 skrll operandS, ins_parse);
1274 1.1 skrll *operandE = '\0';
1275 1.1 skrll *operandS = '\0';
1276 1.1 skrll break;
1277 1.1 skrll
1278 1.1 skrll default:
1279 1.1 skrll break;
1280 1.1 skrll }
1281 1.1 skrll }
1282 1.1 skrll
1283 1.1 skrll /* Parse a single operand.
1284 1.1 skrll operand - Current operand to parse.
1285 1.1 skrll cr16_ins - Current assembled instruction. */
1286 1.1 skrll
1287 1.1 skrll static void
1288 1.1 skrll parse_operand (char *operand, ins * cr16_ins)
1289 1.1 skrll {
1290 1.1 skrll int ret_val;
1291 1.1 skrll argument *cur_arg = cr16_ins->arg + cur_arg_num; /* Current argument. */
1292 1.1 skrll
1293 1.1 skrll /* Initialize the type to NULL before parsing. */
1294 1.1 skrll cur_arg->type = nullargs;
1295 1.1 skrll
1296 1.1 skrll /* Check whether this is a condition code . */
1297 1.1 skrll if ((IS_INSN_MNEMONIC ("b")) && ((ret_val = get_cc (operand)) != -1))
1298 1.1 skrll {
1299 1.1 skrll cur_arg->type = arg_cc;
1300 1.1 skrll cur_arg->cc = ret_val;
1301 1.1 skrll cur_arg->X_op = O_register;
1302 1.1 skrll return;
1303 1.1 skrll }
1304 1.1 skrll
1305 1.1 skrll /* Check whether this is a general processor register. */
1306 1.1 skrll if ((ret_val = get_register (operand)) != nullregister)
1307 1.1 skrll {
1308 1.1 skrll cur_arg->type = arg_r;
1309 1.1 skrll cur_arg->r = ret_val;
1310 1.1 skrll cur_arg->X_op = 0;
1311 1.1 skrll return;
1312 1.1 skrll }
1313 1.1 skrll
1314 1.1 skrll /* Check whether this is a general processor register pair. */
1315 1.1 skrll if ((operand[0] == '(')
1316 1.1 skrll && ((ret_val = get_register_pair (operand)) != nullregister))
1317 1.1 skrll {
1318 1.1 skrll cur_arg->type = arg_rp;
1319 1.1 skrll cur_arg->rp = ret_val;
1320 1.1 skrll cur_arg->X_op = O_register;
1321 1.1 skrll return;
1322 1.1 skrll }
1323 1.1 skrll
1324 1.1 skrll /* Check whether the operand is a processor register.
1325 1.1 skrll For "lprd" and "sprd" instruction, only 32 bit
1326 1.1 skrll processor registers used. */
1327 1.1 skrll if (!(IS_INSN_MNEMONIC ("lprd") || (IS_INSN_MNEMONIC ("sprd")))
1328 1.1 skrll && ((ret_val = get_pregister (operand)) != nullpregister))
1329 1.1 skrll {
1330 1.1 skrll cur_arg->type = arg_pr;
1331 1.1 skrll cur_arg->pr = ret_val;
1332 1.1 skrll cur_arg->X_op = O_register;
1333 1.1 skrll return;
1334 1.1 skrll }
1335 1.1 skrll
1336 1.1 skrll /* Check whether this is a processor register - 32 bit. */
1337 1.1 skrll if ((ret_val = get_pregisterp (operand)) != nullpregister)
1338 1.1 skrll {
1339 1.1 skrll cur_arg->type = arg_prp;
1340 1.1 skrll cur_arg->prp = ret_val;
1341 1.1 skrll cur_arg->X_op = O_register;
1342 1.1 skrll return;
1343 1.1 skrll }
1344 1.1 skrll
1345 1.1 skrll /* Deal with special characters. */
1346 1.1 skrll switch (operand[0])
1347 1.1 skrll {
1348 1.1 skrll case '$':
1349 1.1 skrll if (strchr (operand, '(') != NULL)
1350 1.1 skrll cur_arg->type = arg_icr;
1351 1.1 skrll else
1352 1.1 skrll cur_arg->type = arg_ic;
1353 1.1 skrll goto set_params;
1354 1.1 skrll break;
1355 1.1 skrll
1356 1.1 skrll case '(':
1357 1.1 skrll cur_arg->type = arg_rbase;
1358 1.1 skrll goto set_params;
1359 1.1 skrll break;
1360 1.1 skrll
1361 1.1 skrll case '[':
1362 1.1 skrll cur_arg->type = arg_idxr;
1363 1.1 skrll goto set_params;
1364 1.1 skrll break;
1365 1.1 skrll
1366 1.1 skrll default:
1367 1.1 skrll break;
1368 1.1 skrll }
1369 1.1 skrll
1370 1.1 skrll if (strchr (operand, '(') != NULL)
1371 1.1 skrll {
1372 1.1 skrll if (strchr (operand, ',') != NULL
1373 1.1 skrll && (strchr (operand, ',') > strchr (operand, '(')))
1374 1.1 skrll cur_arg->type = arg_crp;
1375 1.1 skrll else
1376 1.1 skrll cur_arg->type = arg_cr;
1377 1.1 skrll }
1378 1.1 skrll else
1379 1.1 skrll cur_arg->type = arg_c;
1380 1.1 skrll
1381 1.1 skrll /* Parse an operand according to its type. */
1382 1.1 skrll set_params:
1383 1.1 skrll cur_arg->constant = 0;
1384 1.1 skrll set_operand (operand, cr16_ins);
1385 1.1 skrll }
1386 1.1 skrll
1387 1.1 skrll /* Parse the various operands. Each operand is then analyzed to fillup
1388 1.1 skrll the fields in the cr16_ins data structure. */
1389 1.1 skrll
1390 1.1 skrll static void
1391 1.1 skrll parse_operands (ins * cr16_ins, char *operands)
1392 1.1 skrll {
1393 1.1 skrll char *operandS; /* Operands string. */
1394 1.1 skrll char *operandH, *operandT; /* Single operand head/tail pointers. */
1395 1.1 skrll int allocated = 0; /* Indicates a new operands string was allocated.*/
1396 1.1 skrll char *operand[MAX_OPERANDS];/* Separating the operands. */
1397 1.1 skrll int op_num = 0; /* Current operand number we are parsing. */
1398 1.1 skrll int bracket_flag = 0; /* Indicates a bracket '(' was found. */
1399 1.1 skrll int sq_bracket_flag = 0; /* Indicates a square bracket '[' was found. */
1400 1.1 skrll
1401 1.1 skrll /* Preprocess the list of registers, if necessary. */
1402 1.1 skrll operandS = operandH = operandT = operands;
1403 1.1 skrll
1404 1.1 skrll while (*operandT != '\0')
1405 1.1 skrll {
1406 1.1 skrll if (*operandT == ',' && bracket_flag != 1 && sq_bracket_flag != 1)
1407 1.1 skrll {
1408 1.1 skrll *operandT++ = '\0';
1409 1.1 skrll operand[op_num++] = strdup (operandH);
1410 1.1 skrll operandH = operandT;
1411 1.1 skrll continue;
1412 1.1 skrll }
1413 1.1 skrll
1414 1.1 skrll if (*operandT == ' ')
1415 1.1 skrll as_bad (_("Illegal operands (whitespace): `%s'"), ins_parse);
1416 1.1 skrll
1417 1.1 skrll if (*operandT == '(')
1418 1.1 skrll bracket_flag = 1;
1419 1.1 skrll else if (*operandT == '[')
1420 1.1 skrll sq_bracket_flag = 1;
1421 1.1 skrll
1422 1.1 skrll if (*operandT == ')')
1423 1.1 skrll {
1424 1.1 skrll if (bracket_flag)
1425 1.1 skrll bracket_flag = 0;
1426 1.1 skrll else
1427 1.1 skrll as_fatal (_("Missing matching brackets : `%s'"), ins_parse);
1428 1.1 skrll }
1429 1.1 skrll else if (*operandT == ']')
1430 1.1 skrll {
1431 1.1 skrll if (sq_bracket_flag)
1432 1.1 skrll sq_bracket_flag = 0;
1433 1.1 skrll else
1434 1.1 skrll as_fatal (_("Missing matching brackets : `%s'"), ins_parse);
1435 1.1 skrll }
1436 1.1 skrll
1437 1.1 skrll if (bracket_flag == 1 && *operandT == ')')
1438 1.1 skrll bracket_flag = 0;
1439 1.1 skrll else if (sq_bracket_flag == 1 && *operandT == ']')
1440 1.1 skrll sq_bracket_flag = 0;
1441 1.1 skrll
1442 1.1 skrll operandT++;
1443 1.1 skrll }
1444 1.1 skrll
1445 1.1 skrll /* Adding the last operand. */
1446 1.1 skrll operand[op_num++] = strdup (operandH);
1447 1.1 skrll cr16_ins->nargs = op_num;
1448 1.1 skrll
1449 1.1 skrll /* Verifying correct syntax of operands (all brackets should be closed). */
1450 1.1 skrll if (bracket_flag || sq_bracket_flag)
1451 1.1 skrll as_fatal (_("Missing matching brackets : `%s'"), ins_parse);
1452 1.1 skrll
1453 1.1 skrll /* Now we parse each operand separately. */
1454 1.1 skrll for (op_num = 0; op_num < cr16_ins->nargs; op_num++)
1455 1.1 skrll {
1456 1.1 skrll cur_arg_num = op_num;
1457 1.1 skrll parse_operand (operand[op_num], cr16_ins);
1458 1.1 skrll free (operand[op_num]);
1459 1.1 skrll }
1460 1.1 skrll
1461 1.1 skrll if (allocated)
1462 1.1 skrll free (operandS);
1463 1.1 skrll }
1464 1.1 skrll
1465 1.1 skrll /* Get the trap index in dispatch table, given its name.
1466 1.1 skrll This routine is used by assembling the 'excp' instruction. */
1467 1.1 skrll
1468 1.1 skrll static int
1469 1.1 skrll gettrap (char *s)
1470 1.1 skrll {
1471 1.1 skrll const trap_entry *trap;
1472 1.1 skrll
1473 1.1 skrll for (trap = cr16_traps; trap < (cr16_traps + NUMTRAPS); trap++)
1474 1.1 skrll if (strcasecmp (trap->name, s) == 0)
1475 1.1 skrll return trap->entry;
1476 1.1 skrll
1477 1.1 skrll /* To make compatable with CR16 4.1 tools, the below 3-lines of
1478 1.1 skrll * code added. Refer: Development Tracker item #123 */
1479 1.1 skrll for (trap = cr16_traps; trap < (cr16_traps + NUMTRAPS); trap++)
1480 1.1 skrll if (trap->entry == (unsigned int) atoi (s))
1481 1.1 skrll return trap->entry;
1482 1.1 skrll
1483 1.1 skrll as_bad (_("Unknown exception: `%s'"), s);
1484 1.1 skrll return 0;
1485 1.1 skrll }
1486 1.1 skrll
1487 1.1 skrll /* Top level module where instruction parsing starts.
1488 1.1 skrll cr16_ins - data structure holds some information.
1489 1.1 skrll operands - holds the operands part of the whole instruction. */
1490 1.1 skrll
1491 1.1 skrll static void
1492 1.1 skrll parse_insn (ins *insn, char *operands)
1493 1.1 skrll {
1494 1.1 skrll int i;
1495 1.1 skrll
1496 1.1 skrll /* Handle instructions with no operands. */
1497 1.1 skrll for (i = 0; cr16_no_op_insn[i] != NULL; i++)
1498 1.1 skrll {
1499 1.1 skrll if (streq (cr16_no_op_insn[i], instruction->mnemonic))
1500 1.1 skrll {
1501 1.1 skrll insn->nargs = 0;
1502 1.1 skrll return;
1503 1.1 skrll }
1504 1.1 skrll }
1505 1.1 skrll
1506 1.1 skrll /* Handle 'excp' instructions. */
1507 1.1 skrll if (IS_INSN_MNEMONIC ("excp"))
1508 1.1 skrll {
1509 1.1 skrll insn->nargs = 1;
1510 1.1 skrll insn->arg[0].type = arg_ic;
1511 1.1 skrll insn->arg[0].constant = gettrap (operands);
1512 1.1 skrll insn->arg[0].X_op = O_constant;
1513 1.1 skrll return;
1514 1.1 skrll }
1515 1.1 skrll
1516 1.1 skrll if (operands != NULL)
1517 1.1 skrll parse_operands (insn, operands);
1518 1.1 skrll }
1519 1.1 skrll
1520 1.1 skrll /* bCC instruction requires special handling. */
1521 1.1 skrll static char *
1522 1.1 skrll get_b_cc (char * op)
1523 1.1 skrll {
1524 1.1 skrll unsigned int i;
1525 1.1 skrll char op1[5];
1526 1.1 skrll
1527 1.1 skrll for (i = 1; i < strlen (op); i++)
1528 1.1 skrll op1[i-1] = op[i];
1529 1.1 skrll
1530 1.1 skrll op1[i-1] = '\0';
1531 1.1 skrll
1532 1.1 skrll for (i = 0; i < cr16_num_cc ; i++)
1533 1.1 skrll if (streq (op1, cr16_b_cond_tab[i]))
1534 1.1 skrll return (char *) cr16_b_cond_tab[i];
1535 1.1 skrll
1536 1.1 skrll return NULL;
1537 1.1 skrll }
1538 1.1 skrll
1539 1.1 skrll /* bCC instruction requires special handling. */
1540 1.1 skrll static int
1541 1.1 skrll is_bcc_insn (char * op)
1542 1.1 skrll {
1543 1.1 skrll if (!(streq (op, "bal") || streq (op, "beq0b") || streq (op, "bnq0b")
1544 1.1 skrll || streq (op, "beq0w") || streq (op, "bnq0w")))
1545 1.1 skrll if ((op[0] == 'b') && (get_b_cc (op) != NULL))
1546 1.1 skrll return 1;
1547 1.1 skrll return 0;
1548 1.1 skrll }
1549 1.1 skrll
1550 1.1 skrll /* Cinv instruction requires special handling. */
1551 1.1 skrll
1552 1.1 skrll static int
1553 1.1 skrll check_cinv_options (char * operand)
1554 1.1 skrll {
1555 1.1 skrll char *p = operand;
1556 1.1 skrll int i_used = 0, u_used = 0, d_used = 0;
1557 1.1 skrll
1558 1.1 skrll while (*++p != ']')
1559 1.1 skrll {
1560 1.1 skrll if (*p == ',' || *p == ' ')
1561 1.1 skrll continue;
1562 1.1 skrll
1563 1.1 skrll else if (*p == 'i')
1564 1.1 skrll i_used = 1;
1565 1.1 skrll else if (*p == 'u')
1566 1.1 skrll u_used = 1;
1567 1.1 skrll else if (*p == 'd')
1568 1.1 skrll d_used = 1;
1569 1.1 skrll else
1570 1.1 skrll as_bad (_("Illegal `cinv' parameter: `%c'"), *p);
1571 1.1 skrll }
1572 1.1 skrll
1573 1.1 skrll return 0;
1574 1.1 skrll }
1575 1.1 skrll
1576 1.1 skrll /* Retrieve the opcode image of a given register pair.
1577 1.1 skrll If the register is illegal for the current instruction,
1578 1.1 skrll issue an error. */
1579 1.1 skrll
1580 1.1 skrll static int
1581 1.1 skrll getregp_image (reg r)
1582 1.1 skrll {
1583 1.1.1.2 christos const reg_entry *rreg;
1584 1.1 skrll char *reg_name;
1585 1.1 skrll
1586 1.1 skrll /* Check whether the register is in registers table. */
1587 1.1 skrll if (r < MAX_REG)
1588 1.1.1.2 christos rreg = cr16_regptab + r;
1589 1.1 skrll /* Register not found. */
1590 1.1 skrll else
1591 1.1 skrll {
1592 1.1 skrll as_bad (_("Unknown register pair: `%d'"), r);
1593 1.1 skrll return 0;
1594 1.1 skrll }
1595 1.1 skrll
1596 1.1.1.2 christos reg_name = rreg->name;
1597 1.1 skrll
1598 1.1 skrll /* Issue a error message when register pair is illegal. */
1599 1.1 skrll #define RPAIR_IMAGE_ERR \
1600 1.1 skrll as_bad (_("Illegal register pair (`%s') in Instruction: `%s'"), \
1601 1.1 skrll reg_name, ins_parse); \
1602 1.1 skrll break;
1603 1.1 skrll
1604 1.1.1.2 christos switch (rreg->type)
1605 1.1 skrll {
1606 1.1 skrll case CR16_RP_REGTYPE:
1607 1.1.1.2 christos return rreg->image;
1608 1.1 skrll default:
1609 1.1 skrll RPAIR_IMAGE_ERR;
1610 1.1 skrll }
1611 1.1 skrll
1612 1.1 skrll return 0;
1613 1.1 skrll }
1614 1.1 skrll
1615 1.1 skrll /* Retrieve the opcode image of a given index register pair.
1616 1.1 skrll If the register is illegal for the current instruction,
1617 1.1 skrll issue an error. */
1618 1.1 skrll
1619 1.1 skrll static int
1620 1.1 skrll getidxregp_image (reg r)
1621 1.1 skrll {
1622 1.1.1.2 christos const reg_entry *rreg;
1623 1.1 skrll char *reg_name;
1624 1.1 skrll
1625 1.1 skrll /* Check whether the register is in registers table. */
1626 1.1 skrll if (r < MAX_REG)
1627 1.1.1.2 christos rreg = cr16_regptab + r;
1628 1.1 skrll /* Register not found. */
1629 1.1 skrll else
1630 1.1 skrll {
1631 1.1 skrll as_bad (_("Unknown register pair: `%d'"), r);
1632 1.1 skrll return 0;
1633 1.1 skrll }
1634 1.1 skrll
1635 1.1.1.2 christos reg_name = rreg->name;
1636 1.1 skrll
1637 1.1 skrll /* Issue a error message when register pair is illegal. */
1638 1.1 skrll #define IDX_RPAIR_IMAGE_ERR \
1639 1.1 skrll as_bad (_("Illegal index register pair (`%s') in Instruction: `%s'"), \
1640 1.1 skrll reg_name, ins_parse); \
1641 1.1 skrll
1642 1.1.1.2 christos if (rreg->type == CR16_RP_REGTYPE)
1643 1.1 skrll {
1644 1.1.1.2 christos switch (rreg->image)
1645 1.1 skrll {
1646 1.1 skrll case 0: return 0; break;
1647 1.1 skrll case 2: return 1; break;
1648 1.1 skrll case 4: return 2; break;
1649 1.1 skrll case 6: return 3; break;
1650 1.1 skrll case 8: return 4; break;
1651 1.1 skrll case 10: return 5; break;
1652 1.1 skrll case 3: return 6; break;
1653 1.1 skrll case 5: return 7; break;
1654 1.1 skrll default:
1655 1.1 skrll break;
1656 1.1 skrll }
1657 1.1 skrll }
1658 1.1 skrll
1659 1.1 skrll IDX_RPAIR_IMAGE_ERR;
1660 1.1 skrll return 0;
1661 1.1 skrll }
1662 1.1 skrll
1663 1.1 skrll /* Retrieve the opcode image of a given processort register.
1664 1.1 skrll If the register is illegal for the current instruction,
1665 1.1 skrll issue an error. */
1666 1.1 skrll static int
1667 1.1 skrll getprocreg_image (reg r)
1668 1.1 skrll {
1669 1.1.1.2 christos const reg_entry *rreg;
1670 1.1 skrll char *reg_name;
1671 1.1 skrll
1672 1.1 skrll /* Check whether the register is in registers table. */
1673 1.1.1.2 christos if (r >= MAX_REG && r < MAX_PREG)
1674 1.1.1.2 christos rreg = &cr16_pregtab[r - MAX_REG];
1675 1.1 skrll /* Register not found. */
1676 1.1 skrll else
1677 1.1 skrll {
1678 1.1 skrll as_bad (_("Unknown processor register : `%d'"), r);
1679 1.1 skrll return 0;
1680 1.1 skrll }
1681 1.1 skrll
1682 1.1.1.2 christos reg_name = rreg->name;
1683 1.1 skrll
1684 1.1 skrll /* Issue a error message when register pair is illegal. */
1685 1.1 skrll #define PROCREG_IMAGE_ERR \
1686 1.1 skrll as_bad (_("Illegal processor register (`%s') in Instruction: `%s'"), \
1687 1.1 skrll reg_name, ins_parse); \
1688 1.1 skrll break;
1689 1.1 skrll
1690 1.1.1.2 christos switch (rreg->type)
1691 1.1 skrll {
1692 1.1 skrll case CR16_P_REGTYPE:
1693 1.1.1.2 christos return rreg->image;
1694 1.1 skrll default:
1695 1.1 skrll PROCREG_IMAGE_ERR;
1696 1.1 skrll }
1697 1.1 skrll
1698 1.1 skrll return 0;
1699 1.1 skrll }
1700 1.1 skrll
1701 1.1 skrll /* Retrieve the opcode image of a given processort register.
1702 1.1 skrll If the register is illegal for the current instruction,
1703 1.1 skrll issue an error. */
1704 1.1 skrll static int
1705 1.1 skrll getprocregp_image (reg r)
1706 1.1 skrll {
1707 1.1.1.2 christos const reg_entry *rreg;
1708 1.1 skrll char *reg_name;
1709 1.1 skrll int pregptab_disp = 0;
1710 1.1 skrll
1711 1.1 skrll /* Check whether the register is in registers table. */
1712 1.1.1.2 christos if (r >= MAX_REG && r < MAX_PREG)
1713 1.1 skrll {
1714 1.1 skrll r = r - MAX_REG;
1715 1.1 skrll switch (r)
1716 1.1 skrll {
1717 1.1 skrll case 4: pregptab_disp = 1; break;
1718 1.1 skrll case 6: pregptab_disp = 2; break;
1719 1.1 skrll case 8:
1720 1.1 skrll case 9:
1721 1.1 skrll case 10:
1722 1.1 skrll pregptab_disp = 3; break;
1723 1.1 skrll case 12:
1724 1.1 skrll pregptab_disp = 4; break;
1725 1.1 skrll case 14:
1726 1.1 skrll pregptab_disp = 5; break;
1727 1.1 skrll default: break;
1728 1.1 skrll }
1729 1.1.1.2 christos rreg = &cr16_pregptab[r - pregptab_disp];
1730 1.1 skrll }
1731 1.1 skrll /* Register not found. */
1732 1.1 skrll else
1733 1.1 skrll {
1734 1.1 skrll as_bad (_("Unknown processor register (32 bit) : `%d'"), r);
1735 1.1 skrll return 0;
1736 1.1 skrll }
1737 1.1 skrll
1738 1.1.1.2 christos reg_name = rreg->name;
1739 1.1 skrll
1740 1.1 skrll /* Issue a error message when register pair is illegal. */
1741 1.1 skrll #define PROCREGP_IMAGE_ERR \
1742 1.1 skrll as_bad (_("Illegal 32 bit - processor register (`%s') in Instruction: `%s'"),\
1743 1.1 skrll reg_name, ins_parse); \
1744 1.1 skrll break;
1745 1.1 skrll
1746 1.1.1.2 christos switch (rreg->type)
1747 1.1 skrll {
1748 1.1 skrll case CR16_P_REGTYPE:
1749 1.1.1.2 christos return rreg->image;
1750 1.1 skrll default:
1751 1.1 skrll PROCREGP_IMAGE_ERR;
1752 1.1 skrll }
1753 1.1 skrll
1754 1.1 skrll return 0;
1755 1.1 skrll }
1756 1.1 skrll
1757 1.1 skrll /* Routine used to represent integer X using NBITS bits. */
1758 1.1 skrll
1759 1.1 skrll static long
1760 1.1 skrll getconstant (long x, int nbits)
1761 1.1 skrll {
1762 1.1 skrll /* The following expression avoids overflow if
1763 1.1 skrll 'nbits' is the number of bits in 'bfd_vma'. */
1764 1.1 skrll return (x & ((((1 << (nbits - 1)) - 1) << 1) | 1));
1765 1.1 skrll }
1766 1.1 skrll
1767 1.1 skrll /* Print a constant value to 'output_opcode':
1768 1.1 skrll ARG holds the operand's type and value.
1769 1.1 skrll SHIFT represents the location of the operand to be print into.
1770 1.1 skrll NBITS determines the size (in bits) of the constant. */
1771 1.1 skrll
1772 1.1 skrll static void
1773 1.1 skrll print_constant (int nbits, int shift, argument *arg)
1774 1.1 skrll {
1775 1.1 skrll unsigned long mask = 0;
1776 1.1 skrll
1777 1.1 skrll long constant = getconstant (arg->constant, nbits);
1778 1.1 skrll
1779 1.1 skrll switch (nbits)
1780 1.1 skrll {
1781 1.1 skrll case 32:
1782 1.1 skrll case 28:
1783 1.1 skrll /* mask the upper part of the constant, that is, the bits
1784 1.1 skrll going to the lowest byte of output_opcode[0].
1785 1.1 skrll The upper part of output_opcode[1] is always filled,
1786 1.1 skrll therefore it is always masked with 0xFFFF. */
1787 1.1 skrll mask = (1 << (nbits - 16)) - 1;
1788 1.1 skrll /* Divide the constant between two consecutive words :
1789 1.1 skrll 0 1 2 3
1790 1.1 skrll +---------+---------+---------+---------+
1791 1.1 skrll | | X X X X | x X x X | |
1792 1.1 skrll +---------+---------+---------+---------+
1793 1.1 skrll output_opcode[0] output_opcode[1] */
1794 1.1 skrll
1795 1.1 skrll CR16_PRINT (0, (constant >> WORD_SHIFT) & mask, 0);
1796 1.1 skrll CR16_PRINT (1, (constant & 0xFFFF), WORD_SHIFT);
1797 1.1 skrll break;
1798 1.1 skrll
1799 1.1 skrll case 21:
1800 1.1 skrll if ((nbits == 21) && (IS_INSN_TYPE (LD_STOR_INS))) nbits = 20;
1801 1.1 skrll case 24:
1802 1.1 skrll case 22:
1803 1.1 skrll case 20:
1804 1.1 skrll /* mask the upper part of the constant, that is, the bits
1805 1.1 skrll going to the lowest byte of output_opcode[0].
1806 1.1 skrll The upper part of output_opcode[1] is always filled,
1807 1.1 skrll therefore it is always masked with 0xFFFF. */
1808 1.1 skrll mask = (1 << (nbits - 16)) - 1;
1809 1.1 skrll /* Divide the constant between two consecutive words :
1810 1.1 skrll 0 1 2 3
1811 1.1 skrll +---------+---------+---------+---------+
1812 1.1 skrll | | X X X X | - X - X | |
1813 1.1 skrll +---------+---------+---------+---------+
1814 1.1 skrll output_opcode[0] output_opcode[1] */
1815 1.1 skrll
1816 1.1 skrll if ((instruction->size > 2) && (shift == WORD_SHIFT))
1817 1.1 skrll {
1818 1.1 skrll if (arg->type == arg_idxrp)
1819 1.1 skrll {
1820 1.1 skrll CR16_PRINT (0, ((constant >> WORD_SHIFT) & mask) << 8, 0);
1821 1.1 skrll CR16_PRINT (1, (constant & 0xFFFF), WORD_SHIFT);
1822 1.1 skrll }
1823 1.1 skrll else
1824 1.1 skrll {
1825 1.1 skrll CR16_PRINT (0, (((((constant >> WORD_SHIFT) & mask) << 8) & 0x0f00) | ((((constant >> WORD_SHIFT) & mask) >> 4) & 0xf)),0);
1826 1.1 skrll CR16_PRINT (1, (constant & 0xFFFF), WORD_SHIFT);
1827 1.1 skrll }
1828 1.1 skrll }
1829 1.1 skrll else
1830 1.1 skrll CR16_PRINT (0, constant, shift);
1831 1.1 skrll break;
1832 1.1 skrll
1833 1.1 skrll case 14:
1834 1.1 skrll if (arg->type == arg_idxrp)
1835 1.1 skrll {
1836 1.1 skrll if (instruction->size == 2)
1837 1.1 skrll {
1838 1.1 skrll CR16_PRINT (0, ((constant) & 0xf), shift); /* 0-3 bits. */
1839 1.1 skrll CR16_PRINT (0, ((constant >> 4) & 0x3), (shift + 20)); /* 4-5 bits. */
1840 1.1 skrll CR16_PRINT (0, ((constant >> 6) & 0x3), (shift + 14)); /* 6-7 bits. */
1841 1.1 skrll CR16_PRINT (0, ((constant >> 8) & 0x3f), (shift + 8)); /* 8-13 bits. */
1842 1.1 skrll }
1843 1.1 skrll else
1844 1.1 skrll CR16_PRINT (0, constant, shift);
1845 1.1 skrll }
1846 1.1 skrll break;
1847 1.1 skrll
1848 1.1 skrll case 16:
1849 1.1 skrll case 12:
1850 1.1 skrll /* When instruction size is 3 and 'shift' is 16, a 16-bit constant is
1851 1.1 skrll always filling the upper part of output_opcode[1]. If we mistakenly
1852 1.1 skrll write it to output_opcode[0], the constant prefix (that is, 'match')
1853 1.1 skrll will be overriden.
1854 1.1 skrll 0 1 2 3
1855 1.1 skrll +---------+---------+---------+---------+
1856 1.1 skrll | 'match' | | X X X X | |
1857 1.1 skrll +---------+---------+---------+---------+
1858 1.1 skrll output_opcode[0] output_opcode[1] */
1859 1.1 skrll
1860 1.1 skrll if ((instruction->size > 2) && (shift == WORD_SHIFT))
1861 1.1 skrll CR16_PRINT (1, constant, WORD_SHIFT);
1862 1.1 skrll else
1863 1.1 skrll CR16_PRINT (0, constant, shift);
1864 1.1 skrll break;
1865 1.1 skrll
1866 1.1 skrll case 8:
1867 1.1 skrll CR16_PRINT (0, ((constant / 2) & 0xf), shift);
1868 1.1 skrll CR16_PRINT (0, ((constant / 2) >> 4), (shift + 8));
1869 1.1 skrll break;
1870 1.1 skrll
1871 1.1 skrll default:
1872 1.1 skrll CR16_PRINT (0, constant, shift);
1873 1.1 skrll break;
1874 1.1 skrll }
1875 1.1 skrll }
1876 1.1 skrll
1877 1.1 skrll /* Print an operand to 'output_opcode', which later on will be
1878 1.1 skrll printed to the object file:
1879 1.1 skrll ARG holds the operand's type, size and value.
1880 1.1 skrll SHIFT represents the printing location of operand.
1881 1.1 skrll NBITS determines the size (in bits) of a constant operand. */
1882 1.1 skrll
1883 1.1 skrll static void
1884 1.1 skrll print_operand (int nbits, int shift, argument *arg)
1885 1.1 skrll {
1886 1.1 skrll switch (arg->type)
1887 1.1 skrll {
1888 1.1 skrll case arg_cc:
1889 1.1 skrll CR16_PRINT (0, arg->cc, shift);
1890 1.1 skrll break;
1891 1.1 skrll
1892 1.1 skrll case arg_r:
1893 1.1 skrll CR16_PRINT (0, getreg_image (arg->r), shift);
1894 1.1 skrll break;
1895 1.1 skrll
1896 1.1 skrll case arg_rp:
1897 1.1 skrll CR16_PRINT (0, getregp_image (arg->rp), shift);
1898 1.1 skrll break;
1899 1.1 skrll
1900 1.1 skrll case arg_pr:
1901 1.1 skrll CR16_PRINT (0, getprocreg_image (arg->pr), shift);
1902 1.1 skrll break;
1903 1.1 skrll
1904 1.1 skrll case arg_prp:
1905 1.1 skrll CR16_PRINT (0, getprocregp_image (arg->prp), shift);
1906 1.1 skrll break;
1907 1.1 skrll
1908 1.1 skrll case arg_idxrp:
1909 1.1 skrll /* 16 12 8 6 0
1910 1.1 skrll +-----------------------------+
1911 1.1 skrll | r_index | disp | rp_base |
1912 1.1 skrll +-----------------------------+ */
1913 1.1 skrll
1914 1.1 skrll if (instruction->size == 3)
1915 1.1 skrll {
1916 1.1 skrll CR16_PRINT (0, getidxregp_image (arg->rp), 0);
1917 1.1 skrll if (getreg_image (arg->i_r) == 12)
1918 1.1 skrll CR16_PRINT (0, 0, 3);
1919 1.1 skrll else
1920 1.1 skrll CR16_PRINT (0, 1, 3);
1921 1.1 skrll }
1922 1.1 skrll else
1923 1.1 skrll {
1924 1.1 skrll CR16_PRINT (0, getidxregp_image (arg->rp), 16);
1925 1.1 skrll if (getreg_image (arg->i_r) == 12)
1926 1.1 skrll CR16_PRINT (0, 0, 19);
1927 1.1 skrll else
1928 1.1 skrll CR16_PRINT (0, 1, 19);
1929 1.1 skrll }
1930 1.1 skrll print_constant (nbits, shift, arg);
1931 1.1 skrll break;
1932 1.1 skrll
1933 1.1 skrll case arg_idxr:
1934 1.1 skrll if (getreg_image (arg->i_r) == 12)
1935 1.1 skrll if (IS_INSN_MNEMONIC ("cbitb") || IS_INSN_MNEMONIC ("sbitb")
1936 1.1 skrll || IS_INSN_MNEMONIC ("tbitb"))
1937 1.1 skrll CR16_PRINT (0, 0, 23);
1938 1.1 skrll else CR16_PRINT (0, 0, 24);
1939 1.1 skrll else
1940 1.1 skrll if (IS_INSN_MNEMONIC ("cbitb") || IS_INSN_MNEMONIC ("sbitb")
1941 1.1 skrll || IS_INSN_MNEMONIC ("tbitb"))
1942 1.1 skrll CR16_PRINT (0, 1, 23);
1943 1.1 skrll else CR16_PRINT (0, 1, 24);
1944 1.1 skrll
1945 1.1 skrll print_constant (nbits, shift, arg);
1946 1.1 skrll break;
1947 1.1 skrll
1948 1.1 skrll case arg_ic:
1949 1.1 skrll case arg_c:
1950 1.1 skrll print_constant (nbits, shift, arg);
1951 1.1 skrll break;
1952 1.1 skrll
1953 1.1 skrll case arg_rbase:
1954 1.1 skrll CR16_PRINT (0, getreg_image (arg->r), shift);
1955 1.1 skrll break;
1956 1.1 skrll
1957 1.1 skrll case arg_cr:
1958 1.1 skrll print_constant (nbits, shift , arg);
1959 1.1 skrll /* Add the register argument to the output_opcode. */
1960 1.1 skrll CR16_PRINT (0, getreg_image (arg->r), (shift+16));
1961 1.1 skrll break;
1962 1.1 skrll
1963 1.1 skrll case arg_crp:
1964 1.1 skrll print_constant (nbits, shift , arg);
1965 1.1 skrll if (instruction->size > 1)
1966 1.1 skrll CR16_PRINT (0, getregp_image (arg->rp), (shift + 16));
1967 1.1 skrll else if (IS_INSN_TYPE (LD_STOR_INS) || (IS_INSN_TYPE (CSTBIT_INS)))
1968 1.1 skrll {
1969 1.1 skrll if (instruction->size == 2)
1970 1.1 skrll CR16_PRINT (0, getregp_image (arg->rp), (shift - 8));
1971 1.1 skrll else if (instruction->size == 1)
1972 1.1 skrll CR16_PRINT (0, getregp_image (arg->rp), 16);
1973 1.1 skrll }
1974 1.1 skrll else
1975 1.1 skrll CR16_PRINT (0, getregp_image (arg->rp), shift);
1976 1.1 skrll break;
1977 1.1 skrll
1978 1.1 skrll default:
1979 1.1 skrll break;
1980 1.1 skrll }
1981 1.1 skrll }
1982 1.1 skrll
1983 1.1 skrll /* Retrieve the number of operands for the current assembled instruction. */
1984 1.1 skrll
1985 1.1 skrll static int
1986 1.1 skrll get_number_of_operands (void)
1987 1.1 skrll {
1988 1.1 skrll int i;
1989 1.1 skrll
1990 1.1 skrll for (i = 0; instruction->operands[i].op_type && i < MAX_OPERANDS; i++)
1991 1.1 skrll ;
1992 1.1 skrll return i;
1993 1.1 skrll }
1994 1.1 skrll
1995 1.1 skrll /* Verify that the number NUM can be represented in BITS bits (that is,
1996 1.1 skrll within its permitted range), based on the instruction's FLAGS.
1997 1.1 skrll If UPDATE is nonzero, update the value of NUM if necessary.
1998 1.1 skrll Return OP_LEGAL upon success, actual error type upon failure. */
1999 1.1 skrll
2000 1.1 skrll static op_err
2001 1.1 skrll check_range (long *num, int bits, int unsigned flags, int update)
2002 1.1 skrll {
2003 1.1 skrll long min, max;
2004 1.1 skrll int retval = OP_LEGAL;
2005 1.1 skrll long value = *num;
2006 1.1 skrll
2007 1.1 skrll if (bits == 0 && value > 0) return OP_OUT_OF_RANGE;
2008 1.1 skrll
2009 1.1 skrll /* For hosts witah longs bigger than 32-bits make sure that the top
2010 1.1 skrll bits of a 32-bit negative value read in by the parser are set,
2011 1.1 skrll so that the correct comparisons are made. */
2012 1.1 skrll if (value & 0x80000000)
2013 1.1 skrll value |= (-1L << 31);
2014 1.1 skrll
2015 1.1 skrll
2016 1.1 skrll /* Verify operand value is even. */
2017 1.1 skrll if (flags & OP_EVEN)
2018 1.1 skrll {
2019 1.1 skrll if (value % 2)
2020 1.1 skrll return OP_NOT_EVEN;
2021 1.1 skrll }
2022 1.1 skrll
2023 1.1 skrll if (flags & OP_DEC)
2024 1.1 skrll {
2025 1.1 skrll value -= 1;
2026 1.1 skrll if (update)
2027 1.1 skrll *num = value;
2028 1.1 skrll }
2029 1.1 skrll
2030 1.1 skrll if (flags & OP_SHIFT)
2031 1.1 skrll {
2032 1.1 skrll value >>= 1;
2033 1.1 skrll if (update)
2034 1.1 skrll *num = value;
2035 1.1 skrll }
2036 1.1 skrll else if (flags & OP_SHIFT_DEC)
2037 1.1 skrll {
2038 1.1 skrll value = (value >> 1) - 1;
2039 1.1 skrll if (update)
2040 1.1 skrll *num = value;
2041 1.1 skrll }
2042 1.1 skrll
2043 1.1 skrll if (flags & OP_ABS20)
2044 1.1 skrll {
2045 1.1 skrll if (value > 0xEFFFF)
2046 1.1 skrll return OP_OUT_OF_RANGE;
2047 1.1 skrll }
2048 1.1 skrll
2049 1.1 skrll if (flags & OP_ESC)
2050 1.1 skrll {
2051 1.1 skrll if (value == 0xB || value == 0x9)
2052 1.1 skrll return OP_OUT_OF_RANGE;
2053 1.1 skrll else if (value == -1)
2054 1.1 skrll {
2055 1.1 skrll if (update)
2056 1.1 skrll *num = 9;
2057 1.1 skrll return retval;
2058 1.1 skrll }
2059 1.1 skrll }
2060 1.1 skrll
2061 1.1 skrll if (flags & OP_ESC1)
2062 1.1 skrll {
2063 1.1 skrll if (value > 13)
2064 1.1 skrll return OP_OUT_OF_RANGE;
2065 1.1 skrll }
2066 1.1 skrll
2067 1.1 skrll if (flags & OP_SIGNED)
2068 1.1 skrll {
2069 1.1 skrll max = (1 << (bits - 1)) - 1;
2070 1.1 skrll min = - (1 << (bits - 1));
2071 1.1 skrll if ((value > max) || (value < min))
2072 1.1 skrll retval = OP_OUT_OF_RANGE;
2073 1.1 skrll }
2074 1.1 skrll else if (flags & OP_UNSIGNED)
2075 1.1 skrll {
2076 1.1 skrll max = ((((1 << (bits - 1)) - 1) << 1) | 1);
2077 1.1 skrll min = 0;
2078 1.1 skrll if (((unsigned long) value > (unsigned long) max)
2079 1.1 skrll || ((unsigned long) value < (unsigned long) min))
2080 1.1 skrll retval = OP_OUT_OF_RANGE;
2081 1.1 skrll }
2082 1.1 skrll else if (flags & OP_NEG)
2083 1.1 skrll {
2084 1.1 skrll max = - 1;
2085 1.1 skrll min = - ((1 << (bits - 1)) - 1);
2086 1.1 skrll if ((value > max) || (value < min))
2087 1.1 skrll retval = OP_OUT_OF_RANGE;
2088 1.1 skrll }
2089 1.1 skrll return retval;
2090 1.1 skrll }
2091 1.1 skrll
2092 1.1 skrll /* Bunch of error checkings.
2093 1.1 skrll The checks are made after a matching instruction was found. */
2094 1.1 skrll
2095 1.1 skrll static void
2096 1.1 skrll warn_if_needed (ins *insn)
2097 1.1 skrll {
2098 1.1 skrll /* If the post-increment address mode is used and the load/store
2099 1.1 skrll source register is the same as rbase, the result of the
2100 1.1 skrll instruction is undefined. */
2101 1.1 skrll if (IS_INSN_TYPE (LD_STOR_INS_INC))
2102 1.1 skrll {
2103 1.1 skrll /* Enough to verify that one of the arguments is a simple reg. */
2104 1.1 skrll if ((insn->arg[0].type == arg_r) || (insn->arg[1].type == arg_r))
2105 1.1 skrll if (insn->arg[0].r == insn->arg[1].r)
2106 1.1 skrll as_bad (_("Same src/dest register is used (`r%d'), result is undefined"), insn->arg[0].r);
2107 1.1 skrll }
2108 1.1 skrll
2109 1.1 skrll if (IS_INSN_MNEMONIC ("pop")
2110 1.1 skrll || IS_INSN_MNEMONIC ("push")
2111 1.1 skrll || IS_INSN_MNEMONIC ("popret"))
2112 1.1 skrll {
2113 1.1 skrll unsigned int count = insn->arg[0].constant, reg_val;
2114 1.1 skrll
2115 1.1 skrll /* Check if count operand caused to save/retrive the RA twice
2116 1.1 skrll to generate warning message. */
2117 1.1 skrll if (insn->nargs > 2)
2118 1.1 skrll {
2119 1.1 skrll reg_val = getreg_image (insn->arg[1].r);
2120 1.1 skrll
2121 1.1 skrll if ( ((reg_val == 9) && (count > 7))
2122 1.1 skrll || ((reg_val == 10) && (count > 6))
2123 1.1 skrll || ((reg_val == 11) && (count > 5))
2124 1.1 skrll || ((reg_val == 12) && (count > 4))
2125 1.1 skrll || ((reg_val == 13) && (count > 2))
2126 1.1 skrll || ((reg_val == 14) && (count > 0)))
2127 1.1 skrll as_warn (_("RA register is saved twice."));
2128 1.1 skrll
2129 1.1 skrll /* Check if the third operand is "RA" or "ra" */
2130 1.1 skrll if (!(((insn->arg[2].r) == ra) || ((insn->arg[2].r) == RA)))
2131 1.1 skrll as_bad (_("`%s' Illegal use of registers."), ins_parse);
2132 1.1 skrll }
2133 1.1 skrll
2134 1.1 skrll if (insn->nargs > 1)
2135 1.1 skrll {
2136 1.1 skrll reg_val = getreg_image (insn->arg[1].r);
2137 1.1 skrll
2138 1.1 skrll /* If register is a register pair ie r12/r13/r14 in operand1, then
2139 1.1 skrll the count constant should be validated. */
2140 1.1 skrll if (((reg_val == 11) && (count > 7))
2141 1.1 skrll || ((reg_val == 12) && (count > 6))
2142 1.1 skrll || ((reg_val == 13) && (count > 4))
2143 1.1 skrll || ((reg_val == 14) && (count > 2))
2144 1.1 skrll || ((reg_val == 15) && (count > 0)))
2145 1.1 skrll as_bad (_("`%s' Illegal count-register combination."), ins_parse);
2146 1.1 skrll }
2147 1.1 skrll else
2148 1.1 skrll {
2149 1.1 skrll /* Check if the operand is "RA" or "ra" */
2150 1.1 skrll if (!(((insn->arg[0].r) == ra) || ((insn->arg[0].r) == RA)))
2151 1.1 skrll as_bad (_("`%s' Illegal use of register."), ins_parse);
2152 1.1 skrll }
2153 1.1 skrll }
2154 1.1 skrll
2155 1.1 skrll /* Some instruction assume the stack pointer as rptr operand.
2156 1.1 skrll Issue an error when the register to be loaded is also SP. */
2157 1.1 skrll if (instruction->flags & NO_SP)
2158 1.1 skrll {
2159 1.1 skrll if (getreg_image (insn->arg[1].r) == getreg_image (sp))
2160 1.1 skrll as_bad (_("`%s' has undefined result"), ins_parse);
2161 1.1 skrll }
2162 1.1 skrll
2163 1.1 skrll /* If the rptr register is specified as one of the registers to be loaded,
2164 1.1 skrll the final contents of rptr are undefined. Thus, we issue an error. */
2165 1.1 skrll if (instruction->flags & NO_RPTR)
2166 1.1 skrll {
2167 1.1 skrll if ((1 << getreg_image (insn->arg[0].r)) & insn->arg[1].constant)
2168 1.1 skrll as_bad (_("Same src/dest register is used (`r%d'),result is undefined"),
2169 1.1 skrll getreg_image (insn->arg[0].r));
2170 1.1 skrll }
2171 1.1 skrll }
2172 1.1 skrll
2173 1.1 skrll /* In some cases, we need to adjust the instruction pointer although a
2174 1.1 skrll match was already found. Here, we gather all these cases.
2175 1.1 skrll Returns 1 if instruction pointer was adjusted, otherwise 0. */
2176 1.1 skrll
2177 1.1 skrll static int
2178 1.1 skrll adjust_if_needed (ins *insn ATTRIBUTE_UNUSED)
2179 1.1 skrll {
2180 1.1 skrll int ret_value = 0;
2181 1.1 skrll
2182 1.1 skrll if ((IS_INSN_TYPE (CSTBIT_INS)) || (IS_INSN_TYPE (LD_STOR_INS)))
2183 1.1 skrll {
2184 1.1 skrll if ((instruction->operands[0].op_type == abs24)
2185 1.1 skrll && ((insn->arg[0].constant) > 0xF00000))
2186 1.1 skrll {
2187 1.1 skrll insn->arg[0].constant &= 0xFFFFF;
2188 1.1 skrll instruction--;
2189 1.1 skrll ret_value = 1;
2190 1.1 skrll }
2191 1.1 skrll }
2192 1.1 skrll
2193 1.1 skrll return ret_value;
2194 1.1 skrll }
2195 1.1 skrll
2196 1.1 skrll /* Assemble a single instruction:
2197 1.1 skrll INSN is already parsed (that is, all operand values and types are set).
2198 1.1 skrll For instruction to be assembled, we need to find an appropriate template in
2199 1.1 skrll the instruction table, meeting the following conditions:
2200 1.1 skrll 1: Has the same number of operands.
2201 1.1 skrll 2: Has the same operand types.
2202 1.1 skrll 3: Each operand size is sufficient to represent the instruction's values.
2203 1.1 skrll Returns 1 upon success, 0 upon failure. */
2204 1.1 skrll
2205 1.1 skrll static int
2206 1.1 skrll assemble_insn (char *mnemonic, ins *insn)
2207 1.1 skrll {
2208 1.1 skrll /* Type of each operand in the current template. */
2209 1.1 skrll argtype cur_type[MAX_OPERANDS];
2210 1.1 skrll /* Size (in bits) of each operand in the current template. */
2211 1.1 skrll unsigned int cur_size[MAX_OPERANDS];
2212 1.1 skrll /* Flags of each operand in the current template. */
2213 1.1 skrll unsigned int cur_flags[MAX_OPERANDS];
2214 1.1 skrll /* Instruction type to match. */
2215 1.1 skrll unsigned int ins_type;
2216 1.1 skrll /* Boolean flag to mark whether a match was found. */
2217 1.1 skrll int match = 0;
2218 1.1 skrll int i;
2219 1.1 skrll /* Nonzero if an instruction with same number of operands was found. */
2220 1.1 skrll int found_same_number_of_operands = 0;
2221 1.1 skrll /* Nonzero if an instruction with same argument types was found. */
2222 1.1 skrll int found_same_argument_types = 0;
2223 1.1 skrll /* Nonzero if a constant was found within the required range. */
2224 1.1 skrll int found_const_within_range = 0;
2225 1.1 skrll /* Argument number of an operand with invalid type. */
2226 1.1 skrll int invalid_optype = -1;
2227 1.1 skrll /* Argument number of an operand with invalid constant value. */
2228 1.1 skrll int invalid_const = -1;
2229 1.1 skrll /* Operand error (used for issuing various constant error messages). */
2230 1.1 skrll op_err op_error, const_err = OP_LEGAL;
2231 1.1 skrll
2232 1.1 skrll /* Retrieve data (based on FUNC) for each operand of a given instruction. */
2233 1.1 skrll #define GET_CURRENT_DATA(FUNC, ARRAY) \
2234 1.1 skrll for (i = 0; i < insn->nargs; i++) \
2235 1.1 skrll ARRAY[i] = FUNC (instruction->operands[i].op_type)
2236 1.1 skrll
2237 1.1 skrll #define GET_CURRENT_TYPE GET_CURRENT_DATA (get_optype, cur_type)
2238 1.1 skrll #define GET_CURRENT_SIZE GET_CURRENT_DATA (get_opbits, cur_size)
2239 1.1 skrll #define GET_CURRENT_FLAGS GET_CURRENT_DATA (get_opflags, cur_flags)
2240 1.1 skrll
2241 1.1 skrll /* Instruction has no operands -> only copy the constant opcode. */
2242 1.1 skrll if (insn->nargs == 0)
2243 1.1 skrll {
2244 1.1 skrll output_opcode[0] = BIN (instruction->match, instruction->match_bits);
2245 1.1 skrll return 1;
2246 1.1 skrll }
2247 1.1 skrll
2248 1.1 skrll /* In some case, same mnemonic can appear with different instruction types.
2249 1.1 skrll For example, 'storb' is supported with 3 different types :
2250 1.1 skrll LD_STOR_INS, LD_STOR_INS_INC, STOR_IMM_INS.
2251 1.1 skrll We assume that when reaching this point, the instruction type was
2252 1.1 skrll pre-determined. We need to make sure that the type stays the same
2253 1.1 skrll during a search for matching instruction. */
2254 1.1 skrll ins_type = CR16_INS_TYPE (instruction->flags);
2255 1.1 skrll
2256 1.1 skrll while (/* Check that match is still not found. */
2257 1.1 skrll match != 1
2258 1.1 skrll /* Check we didn't get to end of table. */
2259 1.1 skrll && instruction->mnemonic != NULL
2260 1.1 skrll /* Check that the actual mnemonic is still available. */
2261 1.1 skrll && IS_INSN_MNEMONIC (mnemonic)
2262 1.1 skrll /* Check that the instruction type wasn't changed. */
2263 1.1 skrll && IS_INSN_TYPE (ins_type))
2264 1.1 skrll {
2265 1.1 skrll /* Check whether number of arguments is legal. */
2266 1.1 skrll if (get_number_of_operands () != insn->nargs)
2267 1.1 skrll goto next_insn;
2268 1.1 skrll found_same_number_of_operands = 1;
2269 1.1 skrll
2270 1.1 skrll /* Initialize arrays with data of each operand in current template. */
2271 1.1 skrll GET_CURRENT_TYPE;
2272 1.1 skrll GET_CURRENT_SIZE;
2273 1.1 skrll GET_CURRENT_FLAGS;
2274 1.1 skrll
2275 1.1 skrll /* Check for type compatibility. */
2276 1.1 skrll for (i = 0; i < insn->nargs; i++)
2277 1.1 skrll {
2278 1.1 skrll if (cur_type[i] != insn->arg[i].type)
2279 1.1 skrll {
2280 1.1 skrll if (invalid_optype == -1)
2281 1.1 skrll invalid_optype = i + 1;
2282 1.1 skrll goto next_insn;
2283 1.1 skrll }
2284 1.1 skrll }
2285 1.1 skrll found_same_argument_types = 1;
2286 1.1 skrll
2287 1.1 skrll for (i = 0; i < insn->nargs; i++)
2288 1.1 skrll {
2289 1.1 skrll /* If 'bal' instruction size is '2' and reg operand is not 'ra'
2290 1.1 skrll then goto next instruction. */
2291 1.1 skrll if (IS_INSN_MNEMONIC ("bal") && (i == 0)
2292 1.1 skrll && (instruction->size == 2) && (insn->arg[i].rp != 14))
2293 1.1 skrll goto next_insn;
2294 1.1 skrll
2295 1.1 skrll /* If 'storb' instruction with 'sp' reg and 16-bit disp of
2296 1.1 skrll * reg-pair, leads to undifined trap, so this should use
2297 1.1 skrll * 20-bit disp of reg-pair. */
2298 1.1 skrll if (IS_INSN_MNEMONIC ("storb") && (instruction->size == 2)
2299 1.1 skrll && (insn->arg[i].r == 15) && (insn->arg[i + 1].type == arg_crp))
2300 1.1 skrll goto next_insn;
2301 1.1 skrll
2302 1.1 skrll /* Only check range - don't update the constant's value, since the
2303 1.1 skrll current instruction may not be the last we try to match.
2304 1.1 skrll The constant's value will be updated later, right before printing
2305 1.1 skrll it to the object file. */
2306 1.1 skrll if ((insn->arg[i].X_op == O_constant)
2307 1.1 skrll && (op_error = check_range (&insn->arg[i].constant, cur_size[i],
2308 1.1 skrll cur_flags[i], 0)))
2309 1.1 skrll {
2310 1.1 skrll if (invalid_const == -1)
2311 1.1 skrll {
2312 1.1 skrll invalid_const = i + 1;
2313 1.1 skrll const_err = op_error;
2314 1.1 skrll }
2315 1.1 skrll goto next_insn;
2316 1.1 skrll }
2317 1.1 skrll /* For symbols, we make sure the relocation size (which was already
2318 1.1 skrll determined) is sufficient. */
2319 1.1 skrll else if ((insn->arg[i].X_op == O_symbol)
2320 1.1 skrll && ((bfd_reloc_type_lookup (stdoutput, insn->rtype))->bitsize
2321 1.1 skrll > cur_size[i]))
2322 1.1 skrll goto next_insn;
2323 1.1 skrll }
2324 1.1 skrll found_const_within_range = 1;
2325 1.1 skrll
2326 1.1 skrll /* If we got till here -> Full match is found. */
2327 1.1 skrll match = 1;
2328 1.1 skrll break;
2329 1.1 skrll
2330 1.1 skrll /* Try again with next instruction. */
2331 1.1 skrll next_insn:
2332 1.1 skrll instruction++;
2333 1.1 skrll }
2334 1.1 skrll
2335 1.1 skrll if (!match)
2336 1.1 skrll {
2337 1.1 skrll /* We haven't found a match - instruction can't be assembled. */
2338 1.1 skrll if (!found_same_number_of_operands)
2339 1.1 skrll as_bad (_("Incorrect number of operands"));
2340 1.1 skrll else if (!found_same_argument_types)
2341 1.1 skrll as_bad (_("Illegal type of operand (arg %d)"), invalid_optype);
2342 1.1 skrll else if (!found_const_within_range)
2343 1.1 skrll {
2344 1.1 skrll switch (const_err)
2345 1.1 skrll {
2346 1.1 skrll case OP_OUT_OF_RANGE:
2347 1.1 skrll as_bad (_("Operand out of range (arg %d)"), invalid_const);
2348 1.1 skrll break;
2349 1.1 skrll case OP_NOT_EVEN:
2350 1.1 skrll as_bad (_("Operand has odd displacement (arg %d)"), invalid_const);
2351 1.1 skrll break;
2352 1.1 skrll default:
2353 1.1 skrll as_bad (_("Illegal operand (arg %d)"), invalid_const);
2354 1.1 skrll break;
2355 1.1 skrll }
2356 1.1 skrll }
2357 1.1 skrll
2358 1.1 skrll return 0;
2359 1.1 skrll }
2360 1.1 skrll else
2361 1.1 skrll /* Full match - print the encoding to output file. */
2362 1.1 skrll {
2363 1.1 skrll /* Make further checkings (such that couldn't be made earlier).
2364 1.1 skrll Warn the user if necessary. */
2365 1.1 skrll warn_if_needed (insn);
2366 1.1 skrll
2367 1.1 skrll /* Check whether we need to adjust the instruction pointer. */
2368 1.1 skrll if (adjust_if_needed (insn))
2369 1.1 skrll /* If instruction pointer was adjusted, we need to update
2370 1.1 skrll the size of the current template operands. */
2371 1.1 skrll GET_CURRENT_SIZE;
2372 1.1 skrll
2373 1.1 skrll for (i = 0; i < insn->nargs; i++)
2374 1.1 skrll {
2375 1.1 skrll int j = instruction->flags & REVERSE_MATCH ?
2376 1.1 skrll i == 0 ? 1 :
2377 1.1 skrll i == 1 ? 0 : i :
2378 1.1 skrll i;
2379 1.1 skrll
2380 1.1 skrll /* This time, update constant value before printing it. */
2381 1.1 skrll if ((insn->arg[j].X_op == O_constant)
2382 1.1 skrll && (check_range (&insn->arg[j].constant, cur_size[j],
2383 1.1 skrll cur_flags[j], 1) != OP_LEGAL))
2384 1.1 skrll as_fatal (_("Illegal operand (arg %d)"), j+1);
2385 1.1 skrll }
2386 1.1 skrll
2387 1.1 skrll /* First, copy the instruction's opcode. */
2388 1.1 skrll output_opcode[0] = BIN (instruction->match, instruction->match_bits);
2389 1.1 skrll
2390 1.1 skrll for (i = 0; i < insn->nargs; i++)
2391 1.1 skrll {
2392 1.1 skrll /* For BAL (ra),disp17 instuction only. And also set the
2393 1.1 skrll DISP24a relocation type. */
2394 1.1 skrll if (IS_INSN_MNEMONIC ("bal") && (instruction->size == 2) && i == 0)
2395 1.1 skrll {
2396 1.1 skrll insn->rtype = BFD_RELOC_CR16_DISP24a;
2397 1.1 skrll continue;
2398 1.1 skrll }
2399 1.1 skrll cur_arg_num = i;
2400 1.1 skrll print_operand (cur_size[i], instruction->operands[i].shift,
2401 1.1 skrll &insn->arg[i]);
2402 1.1 skrll }
2403 1.1 skrll }
2404 1.1 skrll
2405 1.1 skrll return 1;
2406 1.1 skrll }
2407 1.1 skrll
2408 1.1 skrll /* Print the instruction.
2409 1.1 skrll Handle also cases where the instruction is relaxable/relocatable. */
2410 1.1 skrll
2411 1.1 skrll static void
2412 1.1 skrll print_insn (ins *insn)
2413 1.1 skrll {
2414 1.1 skrll unsigned int i, j, insn_size;
2415 1.1 skrll char *this_frag;
2416 1.1 skrll unsigned short words[4];
2417 1.1 skrll int addr_mod;
2418 1.1 skrll
2419 1.1 skrll /* Arrange the insn encodings in a WORD size array. */
2420 1.1 skrll for (i = 0, j = 0; i < 2; i++)
2421 1.1 skrll {
2422 1.1 skrll words[j++] = (output_opcode[i] >> 16) & 0xFFFF;
2423 1.1 skrll words[j++] = output_opcode[i] & 0xFFFF;
2424 1.1 skrll }
2425 1.1 skrll
2426 1.1 skrll /* Handle relocation. */
2427 1.1 skrll if ((instruction->flags & RELAXABLE) && relocatable)
2428 1.1 skrll {
2429 1.1 skrll int relax_subtype;
2430 1.1 skrll /* Write the maximal instruction size supported. */
2431 1.1 skrll insn_size = INSN_MAX_SIZE;
2432 1.1 skrll
2433 1.1 skrll if (IS_INSN_TYPE (BRANCH_INS))
2434 1.1 skrll {
2435 1.1 skrll switch (insn->rtype)
2436 1.1 skrll {
2437 1.1 skrll case BFD_RELOC_CR16_DISP24:
2438 1.1 skrll relax_subtype = 2;
2439 1.1 skrll break;
2440 1.1 skrll case BFD_RELOC_CR16_DISP16:
2441 1.1 skrll relax_subtype = 1;
2442 1.1 skrll break;
2443 1.1 skrll default:
2444 1.1 skrll relax_subtype = 0;
2445 1.1 skrll break;
2446 1.1 skrll }
2447 1.1 skrll }
2448 1.1 skrll else
2449 1.1 skrll abort ();
2450 1.1 skrll
2451 1.1 skrll this_frag = frag_var (rs_machine_dependent, insn_size *2,
2452 1.1 skrll 4, relax_subtype,
2453 1.1 skrll insn->exp.X_add_symbol,
2454 1.1.1.2 christos 0,
2455 1.1 skrll 0);
2456 1.1 skrll }
2457 1.1 skrll else
2458 1.1 skrll {
2459 1.1 skrll insn_size = instruction->size;
2460 1.1 skrll this_frag = frag_more (insn_size * 2);
2461 1.1 skrll
2462 1.1 skrll if ((relocatable) && (insn->rtype != BFD_RELOC_NONE))
2463 1.1 skrll {
2464 1.1 skrll reloc_howto_type *reloc_howto;
2465 1.1 skrll int size;
2466 1.1 skrll
2467 1.1 skrll reloc_howto = bfd_reloc_type_lookup (stdoutput, insn->rtype);
2468 1.1 skrll
2469 1.1 skrll if (!reloc_howto)
2470 1.1 skrll abort ();
2471 1.1 skrll
2472 1.1 skrll size = bfd_get_reloc_size (reloc_howto);
2473 1.1 skrll
2474 1.1 skrll if (size < 1 || size > 4)
2475 1.1 skrll abort ();
2476 1.1 skrll
2477 1.1 skrll fix_new_exp (frag_now, this_frag - frag_now->fr_literal,
2478 1.1 skrll size, &insn->exp, reloc_howto->pc_relative,
2479 1.1 skrll insn->rtype);
2480 1.1 skrll }
2481 1.1 skrll }
2482 1.1 skrll
2483 1.1 skrll /* Verify a 2-byte code alignment. */
2484 1.1 skrll addr_mod = frag_now_fix () & 1;
2485 1.1 skrll if (frag_now->has_code && frag_now->insn_addr != addr_mod)
2486 1.1 skrll as_bad (_("instruction address is not a multiple of 2"));
2487 1.1 skrll frag_now->insn_addr = addr_mod;
2488 1.1 skrll frag_now->has_code = 1;
2489 1.1 skrll
2490 1.1 skrll /* Write the instruction encoding to frag. */
2491 1.1 skrll for (i = 0; i < insn_size; i++)
2492 1.1 skrll {
2493 1.1 skrll md_number_to_chars (this_frag, (valueT) words[i], 2);
2494 1.1 skrll this_frag += 2;
2495 1.1 skrll }
2496 1.1 skrll }
2497 1.1 skrll
2498 1.1 skrll /* This is the guts of the machine-dependent assembler. OP points to a
2499 1.1 skrll machine dependent instruction. This function is supposed to emit
2500 1.1 skrll the frags/bytes it assembles to. */
2501 1.1 skrll
2502 1.1 skrll void
2503 1.1 skrll md_assemble (char *op)
2504 1.1 skrll {
2505 1.1 skrll ins cr16_ins;
2506 1.1 skrll char *param, param1[32];
2507 1.1 skrll char c;
2508 1.1 skrll
2509 1.1 skrll /* Reset global variables for a new instruction. */
2510 1.1 skrll reset_vars (op);
2511 1.1 skrll
2512 1.1 skrll /* Strip the mnemonic. */
2513 1.1 skrll for (param = op; *param != 0 && !ISSPACE (*param); param++)
2514 1.1 skrll ;
2515 1.1 skrll c = *param;
2516 1.1 skrll *param++ = '\0';
2517 1.1 skrll
2518 1.1 skrll /* bCC instuctions and adjust the mnemonic by adding extra white spaces. */
2519 1.1 skrll if (is_bcc_insn (op))
2520 1.1 skrll {
2521 1.1 skrll strcpy (param1, get_b_cc (op));
2522 1.1 skrll op = "b";
2523 1.1 skrll strcat (param1,",");
2524 1.1 skrll strcat (param1, param);
2525 1.1 skrll param = (char *) ¶m1;
2526 1.1 skrll }
2527 1.1 skrll
2528 1.1 skrll /* Checking the cinv options and adjust the mnemonic by removing the
2529 1.1 skrll extra white spaces. */
2530 1.1 skrll if (streq ("cinv", op))
2531 1.1 skrll {
2532 1.1 skrll /* Validate the cinv options. */
2533 1.1 skrll check_cinv_options (param);
2534 1.1 skrll strcat (op, param);
2535 1.1 skrll }
2536 1.1 skrll
2537 1.1 skrll /* MAPPING - SHIFT INSN, if imm4/imm16 positive values
2538 1.1 skrll lsh[b/w] imm4/imm6, reg ==> ashu[b/w] imm4/imm16, reg
2539 1.1 skrll as CR16 core doesn't support lsh[b/w] right shift operaions. */
2540 1.1 skrll if ((streq ("lshb", op) || streq ("lshw", op) || streq ("lshd", op))
2541 1.1 skrll && (param [0] == '$'))
2542 1.1 skrll {
2543 1.1 skrll strcpy (param1, param);
2544 1.1 skrll /* Find the instruction. */
2545 1.1 skrll instruction = (const inst *) hash_find (cr16_inst_hash, op);
2546 1.1 skrll parse_operands (&cr16_ins, param1);
2547 1.1 skrll if (((&cr16_ins)->arg[0].type == arg_ic)
2548 1.1 skrll && ((&cr16_ins)->arg[0].constant >= 0))
2549 1.1 skrll {
2550 1.1 skrll if (streq ("lshb", op))
2551 1.1 skrll op = "ashub";
2552 1.1 skrll else if (streq ("lshd", op))
2553 1.1 skrll op = "ashud";
2554 1.1 skrll else
2555 1.1 skrll op = "ashuw";
2556 1.1 skrll }
2557 1.1 skrll }
2558 1.1 skrll
2559 1.1 skrll /* Find the instruction. */
2560 1.1 skrll instruction = (const inst *) hash_find (cr16_inst_hash, op);
2561 1.1 skrll if (instruction == NULL)
2562 1.1 skrll {
2563 1.1 skrll as_bad (_("Unknown opcode: `%s'"), op);
2564 1.1 skrll return;
2565 1.1 skrll }
2566 1.1 skrll
2567 1.1 skrll /* Tie dwarf2 debug info to the address at the start of the insn. */
2568 1.1 skrll dwarf2_emit_insn (0);
2569 1.1 skrll
2570 1.1 skrll /* Parse the instruction's operands. */
2571 1.1 skrll parse_insn (&cr16_ins, param);
2572 1.1 skrll
2573 1.1 skrll /* Assemble the instruction - return upon failure. */
2574 1.1 skrll if (assemble_insn (op, &cr16_ins) == 0)
2575 1.1 skrll return;
2576 1.1 skrll
2577 1.1 skrll /* Print the instruction. */
2578 1.1 skrll print_insn (&cr16_ins);
2579 1.1 skrll }
2580