[PATCH, BINUTILS, AARCH64, 1/9] Add -march=armv8.5-a and related internal feature...
[external/binutils.git] / gas / config / tc-visium.c
1 /* This is the machine dependent code of the Visium Assembler.
2
3    Copyright (C) 2005-2018 Free Software Foundation, Inc.
4
5    This file is part of GAS, the GNU Assembler.
6
7    GAS is free software; you can redistribute it and/or modify
8    it under the terms of the GNU General Public License as published by
9    the Free Software Foundation; either version 2, or (at your option)
10    any later version.
11
12    GAS is distributed in the hope that it will be useful,
13    but WITHOUT ANY WARRANTY; without even the implied warranty of
14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15    GNU General Public License for more details.
16
17    You should have received a copy of the GNU General Public License
18    along with this program; if not, write to the Free Software
19    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
20    MA 02110-1301, USA.  */
21
22 #include "as.h"
23 #include "safe-ctype.h"
24 #include "subsegs.h"
25 #include "obstack.h"
26
27 #include "opcode/visium.h"
28 #include "elf/visium.h"
29 #include "dwarf2dbg.h"
30 #include "dw2gencfi.h"
31
32 /* Relocations and fixups:
33
34    There are two different cases where an instruction or data
35    directive operand requires relocation, or fixup.
36
37    1. Relative branch instructions, take an 16-bit signed word
38    offset. The formula for computing the offset is this:
39
40     offset = (destination - pc) / 4
41
42    Branch instructions never branch to a label not declared
43    locally, so the actual offset can always be computed by the assembler.
44    However, we provide a relocation type to support this.
45
46    2. Load literal instructions, such as MOVIU, which take a 16-bit
47    literal operand. The literal may be the top or bottom half of
48    a 32-bit value computed by the assembler, or by the linker. We provide
49    two relocation types here.
50
51    3. Data items (long, word and byte) preset with a value computed by
52    the linker.  */
53
54
55 /* This string holds the chars that always start a comment. If the
56    pre-processor is disabled, these aren't very useful. The macro
57    tc_comment_chars points to this.  */
58 const char *visium_comment_chars = "!;";
59
60 /* This array holds the chars that only start a comment at the beginning
61    of a line.  If the line seems to have the form '# 123 filename' .line
62    and .file directives will appear in the pre-processed output. Note that
63    input_file.c hand checks for '#' at the beginning of the first line of
64    the input file. This is because the compiler outputs #NO_APP at the
65    beginning of its output. Also note that comments like this one will
66    always work.  */
67 const char line_comment_chars[] = "#!;";
68 const char line_separator_chars[] = "";
69
70 /* Chars that can be used to separate mantissa from exponent in floating point
71    numbers.  */
72 const char EXP_CHARS[] = "eE";
73
74 /* Chars that mean this number is a floating point constant, as in
75    "0f12.456" or "0d1.2345e12".
76
77    ...Also be aware that MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT may have to be
78    changed in read.c. Ideally it shouldn't have to know about it at all,
79    but nothing is ideal around here.  */
80 const char FLT_CHARS[] = "rRsSfFdDxXeE";
81
82 /* The size of a relocation record.  */
83 const int md_reloc_size = 8;
84
85 /* The architecture for which we are assembling.  */
86 enum visium_arch_val
87 {
88   VISIUM_ARCH_DEF,
89   VISIUM_ARCH_MCM24,
90   VISIUM_ARCH_MCM,
91   VISIUM_ARCH_GR6
92 };
93
94 static enum visium_arch_val visium_arch = VISIUM_ARCH_DEF;
95
96 /* The opcode architecture for which we are assembling.  In contrast to the
97    previous one, this only determines which instructions are supported.  */
98 static enum visium_opcode_arch_val visium_opcode_arch = VISIUM_OPCODE_ARCH_DEF;
99
100 /* Flags to set in the ELF header e_flags field.  */
101 static flagword visium_flags = 0;
102
103 /* More than this number of nops in an alignment op gets a branch instead.  */
104 static unsigned int nop_limit = 5;
105
106
107 /* Translate internal representation of relocation info to BFD target
108    format.  */
109 arelent *
110 tc_gen_reloc (asection *section ATTRIBUTE_UNUSED, fixS *fixp)
111 {
112   arelent *reloc;
113   bfd_reloc_code_real_type code;
114
115   reloc = XNEW (arelent);
116
117   reloc->sym_ptr_ptr = XNEW (asymbol *);
118   *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
119   reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
120
121   switch (fixp->fx_r_type)
122     {
123     case BFD_RELOC_8:
124     case BFD_RELOC_16:
125     case BFD_RELOC_32:
126     case BFD_RELOC_8_PCREL:
127     case BFD_RELOC_16_PCREL:
128     case BFD_RELOC_32_PCREL:
129     case BFD_RELOC_VISIUM_HI16:
130     case BFD_RELOC_VISIUM_LO16:
131     case BFD_RELOC_VISIUM_IM16:
132     case BFD_RELOC_VISIUM_REL16:
133     case BFD_RELOC_VISIUM_HI16_PCREL:
134     case BFD_RELOC_VISIUM_LO16_PCREL:
135     case BFD_RELOC_VISIUM_IM16_PCREL:
136     case BFD_RELOC_VTABLE_INHERIT:
137     case BFD_RELOC_VTABLE_ENTRY:
138       code = fixp->fx_r_type;
139       break;
140     default:
141       as_bad_where (fixp->fx_file, fixp->fx_line,
142                     "internal error: unknown relocation type %d (`%s')",
143                     fixp->fx_r_type,
144                     bfd_get_reloc_code_name (fixp->fx_r_type));
145       return 0;
146     }
147
148   reloc->howto = bfd_reloc_type_lookup (stdoutput, code);
149   if (reloc->howto == 0)
150     {
151       as_bad_where (fixp->fx_file, fixp->fx_line,
152                     "internal error: can't export reloc type %d (`%s')",
153                     fixp->fx_r_type, bfd_get_reloc_code_name (code));
154       return 0;
155     }
156
157   /* Write the addend.  */
158   if (reloc->howto->pc_relative == 0)
159     reloc->addend = fixp->fx_addnumber;
160   else
161     reloc->addend = fixp->fx_offset;
162
163   return reloc;
164 }
165
166 extern char *input_line_pointer;
167
168
169 static void s_bss (int);
170 static void visium_rdata (int);
171
172 static void visium_update_parity_bit (char *);
173 static char *parse_exp (char *, expressionS *);
174
175 /* These are the back-ends for the various machine dependent pseudo-ops.  */
176 void demand_empty_rest_of_line (void);
177
178
179 static void
180 s_bss (int ignore ATTRIBUTE_UNUSED)
181 {
182   /* We don't support putting frags in the BSS segment, we fake it
183      by marking in_bss, then looking at s_skip for clues.  */
184
185   subseg_set (bss_section, 0);
186   demand_empty_rest_of_line ();
187 }
188
189
190 /* This table describes all the machine specific pseudo-ops the assembler
191    has to support. The fields are:
192
193    1: Pseudo-op name without dot.
194    2: Function to call to execute this pseudo-op.
195    3: Integer arg to pass to the function.  */
196 const pseudo_typeS md_pseudo_table[] =
197 {
198   {"bss", s_bss, 0},
199   {"skip", s_space, 0},
200   {"align", s_align_bytes, 0},
201   {"noopt", s_ignore, 0},
202   {"optim", s_ignore, 0},
203   {"rdata", visium_rdata, 0},
204   {"rodata", visium_rdata, 0},
205   {0, 0, 0}
206 };
207
208
209 static void
210 visium_rdata (int xxx)
211 {
212   char *save_line = input_line_pointer;
213   static char section[] = ".rodata\n";
214
215   /* Just pretend this is .section .rodata */
216   input_line_pointer = section;
217   obj_elf_section (xxx);
218   input_line_pointer = save_line;
219 }
220
221 /* Align a section.  */
222 valueT
223 md_section_align (asection *seg, valueT addr)
224 {
225   int align = bfd_get_section_alignment (stdoutput, seg);
226
227   return ((addr + (1 << align) - 1) & -(1 << align));
228 }
229
230 void
231 md_number_to_chars (char *buf, valueT val, int n)
232 {
233   number_to_chars_bigendian (buf, val, n);
234 }
235
236 symbolS *
237 md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
238 {
239   return 0;
240 }
241
242 /* The parse options.  */
243 const char *md_shortopts = "m:";
244
245 struct option md_longopts[] =
246 {
247   {NULL, no_argument, NULL, 0}
248 };
249
250 size_t md_longopts_size = sizeof (md_longopts);
251
252 struct visium_option_table
253 {
254   char *option;                 /* Option name to match.  */
255   char *help;                   /* Help information.  */
256   int *var;                     /* Variable to change.  */
257   int value;                    /* To what to change it.  */
258   char *deprecated;             /* If non-null, print this message. */
259 };
260
261 static struct visium_option_table visium_opts[] =
262 {
263   {NULL, NULL, NULL, 0, NULL}
264 };
265
266 struct visium_arch_option_table
267 {
268   const char *name;
269   enum visium_arch_val value;
270 };
271
272 static struct visium_arch_option_table visium_archs[] =
273 {
274   {"mcm24", VISIUM_ARCH_MCM24},
275   {"mcm",   VISIUM_ARCH_MCM},
276   {"gr5",   VISIUM_ARCH_MCM},
277   {"gr6",   VISIUM_ARCH_GR6},
278 };
279
280 struct visium_long_option_table
281 {
282   const char *option;                   /* Substring to match.  */
283   const char *help;                     /* Help information.  */
284   int (*func) (const char *subopt);     /* Function to decode sub-option.  */
285   const char *deprecated;               /* If non-null, print this message.  */
286 };
287
288 static int
289 visium_parse_arch (const char *str)
290 {
291   unsigned int i;
292
293   if (strlen (str) == 0)
294     {
295       as_bad ("missing architecture name `%s'", str);
296       return 0;
297     }
298
299   for (i = 0; i < ARRAY_SIZE (visium_archs); i++)
300     if (strcmp (visium_archs[i].name, str) == 0)
301       {
302         visium_arch = visium_archs[i].value;
303         return 1;
304       }
305
306   as_bad ("unknown architecture `%s'\n", str);
307   return 0;
308 }
309
310 static struct visium_long_option_table visium_long_opts[] =
311 {
312   {"mtune=", "<arch_name>\t assemble for architecture <arch name>",
313    visium_parse_arch, NULL},
314   {NULL, NULL, NULL, NULL}
315 };
316
317 int
318 md_parse_option (int c, const char *arg)
319 {
320   struct visium_option_table *opt;
321   struct visium_long_option_table *lopt;
322
323   switch (c)
324     {
325     case 'a':
326       /* Listing option.  Just ignore these, we don't support additional
327          ones.  */
328       return 0;
329
330     default:
331       for (opt = visium_opts; opt->option != NULL; opt++)
332         {
333           if (c == opt->option[0]
334               && ((arg == NULL && opt->option[1] == 0)
335                   || strcmp (arg, opt->option + 1) == 0))
336             {
337               /* If the option is deprecated, tell the user.  */
338               if (opt->deprecated != NULL)
339                 as_tsktsk ("option `-%c%s' is deprecated: %s", c,
340                            arg ? arg : "", opt->deprecated);
341
342               if (opt->var != NULL)
343                 *opt->var = opt->value;
344
345               return 1;
346             }
347         }
348
349       for (lopt = visium_long_opts; lopt->option != NULL; lopt++)
350         {
351           /* These options are expected to have an argument.  */
352           if (c == lopt->option[0]
353               && arg != NULL
354               && strncmp (arg, lopt->option + 1,
355                           strlen (lopt->option + 1)) == 0)
356             {
357               /* If the option is deprecated, tell the user.  */
358               if (lopt->deprecated != NULL)
359                 as_tsktsk ("option `-%c%s' is deprecated: %s", c, arg,
360                            lopt->deprecated);
361
362               /* Call the sup-option parser.  */
363               return lopt->func (arg + strlen (lopt->option) - 1);
364             }
365         }
366
367       return 0;
368     }
369
370   return 1;
371 }
372
373 void
374 md_show_usage (FILE * fp)
375 {
376   struct visium_option_table *opt;
377   struct visium_long_option_table *lopt;
378
379   fprintf (fp, " Visium-specific assembler options:\n");
380
381   for (opt = visium_opts; opt->option != NULL; opt++)
382     if (opt->help != NULL)
383       fprintf (fp, "  -%-23s%s\n", opt->option, opt->help);
384
385   for (lopt = visium_long_opts; lopt->option != NULL; lopt++)
386     if (lopt->help != NULL)
387       fprintf (fp, "  -%s%s\n", lopt->option, lopt->help);
388
389 }
390
391 /* Interface to relax_segment.  */
392
393 /* Return the estimate of the size of a machine dependent frag
394    before any relaxing is done.  It may also create any necessary
395    relocations.  */
396 int
397 md_estimate_size_before_relax (fragS * fragP,
398                                segT segment ATTRIBUTE_UNUSED)
399 {
400   fragP->fr_var = 4;
401   return 4;
402 }
403
404 /* Get the address of a symbol during relaxation.  From tc-arm.c.  */
405 static addressT
406 relaxed_symbol_addr (fragS *fragp, long stretch)
407 {
408   fragS *sym_frag;
409   addressT addr;
410   symbolS *sym;
411
412   sym = fragp->fr_symbol;
413   sym_frag = symbol_get_frag (sym);
414   know (S_GET_SEGMENT (sym) != absolute_section
415         || sym_frag == &zero_address_frag);
416   addr = S_GET_VALUE (sym) + fragp->fr_offset;
417
418   /* If frag has yet to be reached on this pass, assume it will
419      move by STRETCH just as we did.  If this is not so, it will
420      be because some frag between grows, and that will force
421      another pass.  */
422   if (stretch != 0
423       && sym_frag->relax_marker != fragp->relax_marker)
424     {
425       fragS *f;
426
427       /* Adjust stretch for any alignment frag.  Note that if have
428          been expanding the earlier code, the symbol may be
429          defined in what appears to be an earlier frag.  FIXME:
430          This doesn't handle the fr_subtype field, which specifies
431          a maximum number of bytes to skip when doing an
432          alignment.  */
433       for (f = fragp; f != NULL && f != sym_frag; f = f->fr_next)
434         {
435           if (f->fr_type == rs_align || f->fr_type == rs_align_code)
436             {
437               if (stretch < 0)
438                 stretch = - ((- stretch)
439                              & ~ ((1 << (int) f->fr_offset) - 1));
440               else
441                 stretch &= ~ ((1 << (int) f->fr_offset) - 1);
442               if (stretch == 0)
443                 break;
444             }
445         }
446       if (f != NULL)
447         addr += stretch;
448     }
449
450   return addr;
451 }
452
453 /* Relax a machine dependent frag.  This returns the amount by which
454    the current size of the frag should change.  */
455 int
456 visium_relax_frag (asection *sec, fragS *fragP, long stretch)
457 {
458   int old_size, new_size;
459   addressT addr;
460
461   /* We only handle relaxation for the BRR instruction.  */
462   gas_assert (fragP->fr_subtype == mode_ci);
463
464   if (!S_IS_DEFINED (fragP->fr_symbol)
465       || sec != S_GET_SEGMENT (fragP->fr_symbol)
466       || S_IS_WEAK (fragP->fr_symbol))
467     return 0;
468
469   old_size = fragP->fr_var;
470   addr = relaxed_symbol_addr (fragP, stretch);
471
472   /* If the target is the address of the instruction, we'll insert a NOP.  */
473   if (addr == fragP->fr_address + fragP->fr_fix)
474     new_size = 8;
475   else
476     new_size = 4;
477
478   fragP->fr_var = new_size;
479   return new_size - old_size;
480 }
481
482 /* Convert a machine dependent frag.  */
483 void
484 md_convert_frag (bfd * abfd ATTRIBUTE_UNUSED, segT sec ATTRIBUTE_UNUSED,
485                  fragS * fragP)
486 {
487   char *buf = fragP->fr_literal + fragP->fr_fix;
488   expressionS exp;
489   fixS *fixP;
490
491   /* We only handle relaxation for the BRR instruction.  */
492   gas_assert (fragP->fr_subtype == mode_ci);
493
494   /* Insert the NOP if requested.  */
495   if (fragP->fr_var == 8)
496     {
497       memcpy (buf + 4, buf, 4);
498       memset (buf, 0, 4);
499       fragP->fr_fix += 4;
500     }
501
502   exp.X_op = O_symbol;
503   exp.X_add_symbol = fragP->fr_symbol;
504   exp.X_add_number = fragP->fr_offset;
505
506   /* Now we can create the relocation at the correct offset.  */
507   fixP = fix_new_exp (fragP, fragP->fr_fix, 4, &exp, 1, BFD_RELOC_VISIUM_REL16);
508   fixP->fx_file = fragP->fr_file;
509   fixP->fx_line = fragP->fr_line;
510   fragP->fr_fix += 4;
511   fragP->fr_var = 0;
512 }
513
514 /* The location from which a PC relative jump should be calculated,
515    given a PC relative jump reloc.  */
516 long
517 visium_pcrel_from_section (fixS *fixP, segT sec)
518 {
519   if (fixP->fx_addsy != (symbolS *) NULL
520       && (!S_IS_DEFINED (fixP->fx_addsy)
521           || S_GET_SEGMENT (fixP->fx_addsy) != sec))
522     {
523       /* The symbol is undefined (or is defined but not in this section).
524          Let the linker figure it out.  */
525       return 0;
526     }
527
528   /* Return the address of the instruction.  */
529   return fixP->fx_where + fixP->fx_frag->fr_address;
530 }
531
532 /* Indicate whether a fixup against a locally defined
533    symbol should be adjusted to be against the section
534    symbol.  */
535 bfd_boolean
536 visium_fix_adjustable (fixS *fix)
537 {
538   /* We need the symbol name for the VTABLE entries.  */
539   return (fix->fx_r_type != BFD_RELOC_VTABLE_INHERIT
540           && fix->fx_r_type != BFD_RELOC_VTABLE_ENTRY);
541 }
542
543 /* Update the parity bit of the 4-byte instruction in BUF.  */
544 static void
545 visium_update_parity_bit (char *buf)
546 {
547   int p1 = (buf[0] & 0x7f) ^ buf[1] ^ buf[2] ^ buf[3];
548   int p2 = 0;
549   int i;
550
551   for (i = 1; i <= 8; i++)
552     {
553       p2 ^= (p1 & 1);
554       p1 >>= 1;
555     }
556
557   buf[0] = (buf[0] & 0x7f) | ((p2 << 7) & 0x80);
558 }
559
560 /* This is called from HANDLE_ALIGN in write.c.  Fill in the contents
561    of an rs_align_code fragment.  */
562 void
563 visium_handle_align (fragS *fragP)
564 {
565   valueT count
566     = fragP->fr_next->fr_address - (fragP->fr_address + fragP->fr_fix);
567   valueT fix = count & 3;
568   char *p = fragP->fr_literal + fragP->fr_fix;
569
570   if (fix)
571     {
572       memset (p, 0, fix);
573       p += fix;
574       count -= fix;
575       fragP->fr_fix += fix;
576     }
577
578   if (count == 0)
579     return;
580
581   fragP->fr_var = 4;
582
583   if (count > 4 * nop_limit && count <= 131068)
584     {
585       struct frag *rest;
586
587       /* Make a branch, then follow with nops.  Insert another
588          frag to handle the nops.  */
589       md_number_to_chars (p, 0x78000000 + (count >> 2), 4);
590       visium_update_parity_bit (p);
591
592       rest = xmalloc (SIZEOF_STRUCT_FRAG + 4);
593       memcpy (rest, fragP, SIZEOF_STRUCT_FRAG);
594       fragP->fr_next = rest;
595       rest->fr_address += rest->fr_fix + 4;
596       rest->fr_fix = 0;
597       /* If we leave the next frag as rs_align_code we'll come here
598          again, resulting in a bunch of branches rather than a
599          branch followed by nops.  */
600       rest->fr_type = rs_align;
601       p = rest->fr_literal;
602     }
603
604   memset (p, 0, 4);
605 }
606
607 /* Apply a fixS to the frags, now that we know the value it ought to
608    hold.  */
609 void
610 md_apply_fix (fixS * fixP, valueT * value, segT segment)
611 {
612   char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
613   offsetT val;
614   long insn;
615
616   val = *value;
617
618   gas_assert (fixP->fx_r_type < BFD_RELOC_UNUSED);
619
620   /* Remember value for tc_gen_reloc.  */
621   fixP->fx_addnumber = val;
622
623   /* Since DIFF_EXPR_OK is defined, .-foo gets turned into PC
624      relative relocs. If this has happened, a non-PC relative
625      reloc must be reinstalled with its PC relative version here.  */
626   if (fixP->fx_pcrel)
627     {
628       switch (fixP->fx_r_type)
629         {
630         case BFD_RELOC_8:
631           fixP->fx_r_type = BFD_RELOC_8_PCREL;
632           break;
633         case BFD_RELOC_16:
634           fixP->fx_r_type = BFD_RELOC_16_PCREL;
635           break;
636         case BFD_RELOC_32:
637           fixP->fx_r_type = BFD_RELOC_32_PCREL;
638           break;
639         case BFD_RELOC_VISIUM_HI16:
640           fixP->fx_r_type = BFD_RELOC_VISIUM_HI16_PCREL;
641           break;
642         case BFD_RELOC_VISIUM_LO16:
643           fixP->fx_r_type = BFD_RELOC_VISIUM_LO16_PCREL;
644           break;
645         case BFD_RELOC_VISIUM_IM16:
646           fixP->fx_r_type = BFD_RELOC_VISIUM_IM16_PCREL;
647           break;
648         default:
649           break;
650         }
651     }
652
653   /* If this is a data relocation, just output VAL.  */
654   switch (fixP->fx_r_type)
655     {
656     case BFD_RELOC_8:
657     case BFD_RELOC_8_PCREL:
658       md_number_to_chars (buf, val, 1);
659       break;
660     case BFD_RELOC_16:
661     case BFD_RELOC_16_PCREL:
662       md_number_to_chars (buf, val, 2);
663       break;
664     case BFD_RELOC_32:
665     case BFD_RELOC_32_PCREL:
666       md_number_to_chars (buf, val, 4);
667       break;
668     case BFD_RELOC_VTABLE_INHERIT:
669     case BFD_RELOC_VTABLE_ENTRY:
670       fixP->fx_done = 0;
671       break;
672     default:
673       /* It's a relocation against an instruction.  */
674       insn = bfd_getb32 ((unsigned char *) buf);
675
676       switch (fixP->fx_r_type)
677         {
678         case BFD_RELOC_VISIUM_REL16:
679           if (fixP->fx_addsy == NULL
680               || (S_IS_DEFINED (fixP->fx_addsy)
681                   && S_GET_SEGMENT (fixP->fx_addsy) == segment))
682             {
683               if (val > 0x1fffc || val < -0x20000)
684                 as_bad_where
685                  (fixP->fx_file, fixP->fx_line,
686                   "16-bit word displacement out of range: value = %d",
687                   (int) val);
688               val = (val >> 2);
689
690               insn = (insn & 0xffff0000) | (val & 0x0000ffff);
691             }
692           break;
693
694         case BFD_RELOC_VISIUM_HI16:
695         case BFD_RELOC_VISIUM_HI16_PCREL:
696           if (fixP->fx_addsy == NULL)
697             insn = (insn & 0xffff0000) | ((val >> 16) & 0x0000ffff);
698           break;
699
700         case BFD_RELOC_VISIUM_LO16:
701         case BFD_RELOC_VISIUM_LO16_PCREL:
702           if (fixP->fx_addsy == NULL)
703             insn = (insn & 0xffff0000) | (val & 0x0000ffff);
704           break;
705
706         case BFD_RELOC_VISIUM_IM16:
707         case BFD_RELOC_VISIUM_IM16_PCREL:
708           if (fixP->fx_addsy == NULL)
709             {
710               if ((val & 0xffff0000) != 0)
711                 as_bad_where (fixP->fx_file, fixP->fx_line,
712                               "16-bit immediate out of range: value = %d",
713                               (int) val);
714
715               insn = (insn & 0xffff0000) | val;
716             }
717           break;
718
719         case BFD_RELOC_NONE:
720         default:
721           as_bad_where (fixP->fx_file, fixP->fx_line,
722                         "bad or unhandled relocation type: 0x%02x",
723                         fixP->fx_r_type);
724           break;
725         }
726
727       bfd_putb32 (insn, (unsigned char *) buf);
728       visium_update_parity_bit (buf);
729       break;
730     }
731
732   /* Are we finished with this relocation now?  */
733   if (fixP->fx_addsy == NULL)
734     fixP->fx_done = 1;
735 }
736
737 char *
738 parse_exp (char *s, expressionS * op)
739 {
740   char *save = input_line_pointer;
741   char *new;
742
743   if (!s)
744     {
745       return s;
746     }
747
748   input_line_pointer = s;
749   expression (op);
750   new = input_line_pointer;
751   input_line_pointer = save;
752   return new;
753 }
754
755 /* If the given string is a Visium opcode mnemonic return the code
756    otherwise return -1. Use binary chop to find matching entry.  */
757 static int
758 get_opcode (int *code, enum addressing_mode *mode, char *flags, char *mnem)
759 {
760   int l = 0;
761   int r = sizeof (opcode_table) / sizeof (struct opcode_entry) - 1;
762
763   do
764     {
765       int mid = (l + r) / 2;
766       int ans = strcmp (mnem, opcode_table[mid].mnem);
767
768       if (ans < 0)
769         r = mid - 1;
770       else if (ans > 0)
771         l = mid + 1;
772       else
773         {
774           *code = opcode_table[mid].code;
775           *mode = opcode_table[mid].mode;
776           *flags = opcode_table[mid].flags;
777
778           return 0;
779         }
780     }
781   while (l <= r);
782
783   return -1;
784 }
785
786 /* This function is called when the assembler starts up. It is called
787    after the options have been parsed and the output file has been
788    opened.  */
789 void
790 md_begin (void)
791 {
792   switch (visium_arch)
793     {
794     case VISIUM_ARCH_DEF:
795       break;
796     case VISIUM_ARCH_MCM24:
797       visium_opcode_arch = VISIUM_OPCODE_ARCH_GR5;
798       visium_flags |= EF_VISIUM_ARCH_MCM24;
799       break;
800     case VISIUM_ARCH_MCM:
801       visium_opcode_arch = VISIUM_OPCODE_ARCH_GR5;
802       visium_flags |= EF_VISIUM_ARCH_MCM;
803       break;
804     case VISIUM_ARCH_GR6:
805       visium_opcode_arch = VISIUM_OPCODE_ARCH_GR6;
806       visium_flags |= EF_VISIUM_ARCH_MCM | EF_VISIUM_ARCH_GR6;
807       nop_limit = 2;
808       break;
809     default:
810       gas_assert (0);
811     }
812
813   bfd_set_private_flags (stdoutput, visium_flags);
814 }
815
816 /* This is identical to the md_atof in m68k.c.  I think this is right,
817    but I'm not sure.
818
819    Turn a string in input_line_pointer into a floating point constant of type
820    type, and store the appropriate bytes in *litP.  The number of LITTLENUMS
821    emitted is stored in *sizeP .  An error message is returned,
822    or NULL on OK.  */
823
824 /* Equal to MAX_PRECISION in atof-ieee.c.  */
825 #define MAX_LITTLENUMS 6
826
827 const char *
828 md_atof (int type, char *litP, int *sizeP)
829 {
830   int i, prec;
831   LITTLENUM_TYPE words[MAX_LITTLENUMS];
832   char *t;
833
834   switch (type)
835     {
836     case 'f':
837     case 'F':
838     case 's':
839     case 'S':
840       prec = 2;
841       break;
842
843     case 'd':
844     case 'D':
845     case 'r':
846     case 'R':
847       prec = 4;
848       break;
849
850     case 'x':
851     case 'X':
852       prec = 6;
853       break;
854
855     case 'p':
856     case 'P':
857       prec = 6;
858       break;
859
860     default:
861       *sizeP = 0;
862       return _("Bad call to MD_ATOF()");
863     }
864
865   t = atof_ieee (input_line_pointer, type, words);
866   if (t)
867     input_line_pointer = t;
868   *sizeP = prec * sizeof (LITTLENUM_TYPE);
869
870   if (target_big_endian)
871     {
872       for (i = 0; i < prec; i++)
873         {
874           md_number_to_chars (litP, (valueT) words[i],
875                               sizeof (LITTLENUM_TYPE));
876           litP += sizeof (LITTLENUM_TYPE);
877         }
878     }
879   else
880     {
881       for (i = prec - 1; i >= 0; i--)
882         {
883           md_number_to_chars (litP, (valueT) words[i],
884                               sizeof (LITTLENUM_TYPE));
885           litP += sizeof (LITTLENUM_TYPE);
886         }
887     }
888
889   return 0;
890 }
891
892 static inline char *
893 skip_space (char *s)
894 {
895   while (*s == ' ' || *s == '\t')
896     ++s;
897
898   return s;
899 }
900
901 static int
902 parse_gen_reg (char **sptr, int *rptr)
903 {
904   char *s = skip_space (*sptr);
905   char buf[10];
906   int cnt;
907   int l, r;
908
909   cnt = 0;
910   memset (buf, '\0', 10);
911   while ((ISALNUM (*s)) && cnt < 10)
912     buf[cnt++] = TOLOWER (*s++);
913
914   l = 0;
915   r = sizeof (gen_reg_table) / sizeof (struct reg_entry) - 1;
916
917   do
918     {
919       int mid = (l + r) / 2;
920       int ans = strcmp (buf, gen_reg_table[mid].name);
921
922       if (ans < 0)
923         r = mid - 1;
924       else if (ans > 0)
925         l = mid + 1;
926       else
927         {
928           *rptr = gen_reg_table[mid].code;
929           *sptr = s;
930           return 0;
931         }
932     }
933   while (l <= r);
934
935   return -1;
936 }
937
938 static int
939 parse_fp_reg (char **sptr, int *rptr)
940 {
941   char *s = skip_space (*sptr);
942   char buf[10];
943   int cnt;
944   int l, r;
945
946   cnt = 0;
947   memset (buf, '\0', 10);
948   while ((ISALNUM (*s)) && cnt < 10)
949     buf[cnt++] = TOLOWER (*s++);
950
951   l = 0;
952   r = sizeof (fp_reg_table) / sizeof (struct reg_entry) - 1;
953
954   do
955     {
956       int mid = (l + r) / 2;
957       int ans = strcmp (buf, fp_reg_table[mid].name);
958
959       if (ans < 0)
960         r = mid - 1;
961       else if (ans > 0)
962         l = mid + 1;
963       else
964         {
965           *rptr = fp_reg_table[mid].code;
966           *sptr = s;
967           return 0;
968         }
969     }
970   while (l <= r);
971
972   return -1;
973 }
974
975 static int
976 parse_cc (char **sptr, int *rptr)
977 {
978   char *s = skip_space (*sptr);
979   char buf[10];
980   int cnt;
981   int l, r;
982
983   cnt = 0;
984   memset (buf, '\0', 10);
985   while ((ISALNUM (*s)) && cnt < 10)
986     buf[cnt++] = TOLOWER (*s++);
987
988   l = 0;
989   r = sizeof (cc_table) / sizeof (struct cc_entry) - 1;
990
991   do
992     {
993       int mid = (l + r) / 2;
994       int ans = strcmp (buf, cc_table[mid].name);
995
996       if (ans < 0)
997         r = mid - 1;
998       else if (ans > 0)
999         l = mid + 1;
1000       else
1001         {
1002           *rptr = cc_table[mid].code;
1003           *sptr = s;
1004           return 0;
1005         }
1006     }
1007   while (l <= r);
1008
1009   return -1;
1010 }
1011
1012 /* Previous dest is the destination register number of the instruction
1013    before the current one.  */
1014 static int previous_dest = 0;
1015 static int previous_mode = 0;
1016 static int condition_code = 0;
1017 static int this_dest = 0;
1018 static int this_mode = 0;
1019
1020
1021 /* This is the main function in this file. It takes a line of assembly language
1022    source code and assembles it. Note, labels and pseudo ops have already
1023    been removed, so too has leading white space. */
1024 void
1025 md_assemble (char *str0)
1026 {
1027   char *str = str0;
1028   int cnt;
1029   char mnem[10];
1030   int opcode;
1031   enum addressing_mode amode;
1032   char arch_flags;
1033   int ans;
1034
1035   char *output;
1036   int reloc = 0;
1037   relax_substateT relax = 0;
1038   expressionS e1;
1039   int r1, r2, r3;
1040   int cc;
1041   int indx;
1042
1043   /* Initialize the expression.  */
1044   e1.X_op = O_absent;
1045
1046   /* Initialize destination register.
1047      If the instruction we just looked at is in the delay slot of an
1048      unconditional branch, then there is no index hazard.  */
1049   if ((previous_mode == mode_cad || previous_mode == mode_ci)
1050       && condition_code == 15)
1051     this_dest = 0;
1052
1053   previous_dest = this_dest;
1054   previous_mode = this_mode;
1055   this_dest = 0;
1056
1057   /* Drop leading whitespace (probably not required).  */
1058   while (*str == ' ')
1059     str++;
1060
1061   /* Get opcode mnemonic and make sure it's in lower case.  */
1062   cnt = 0;
1063   memset (mnem, '\0', 10);
1064   while ((ISALNUM (*str) || *str == '.' || *str == '_') && cnt < 10)
1065     mnem[cnt++] = TOLOWER (*str++);
1066
1067   /* Look up mnemonic in opcode table, and get the code,
1068      the instruction format, and the flags that indicate
1069      which family members support this mnemonic.  */
1070   if (get_opcode (&opcode, &amode, &arch_flags, mnem) < 0)
1071     {
1072       as_bad ("Unknown instruction mnemonic `%s'", mnem);
1073       return;
1074     }
1075
1076   if ((VISIUM_OPCODE_ARCH_MASK (visium_opcode_arch) & arch_flags) == 0)
1077     {
1078       as_bad ("Architecture mismatch on `%s'", mnem);
1079       return;
1080     }
1081
1082   this_mode = amode;
1083
1084   switch (amode)
1085     {
1086     case mode_d:
1087       /* register :=
1088          Example:
1089          readmda r1  */
1090       ans = parse_gen_reg (&str, &r1);
1091       if (ans < 0)
1092         {
1093           as_bad ("Dest register required");
1094           return;
1095         }
1096       opcode |= (r1 << 10);
1097       this_dest = r1;
1098       break;
1099
1100     case mode_a:
1101       /* op= register
1102          Example: asld r1  */
1103       ans = parse_gen_reg (&str, &r1);
1104       if (ans < 0)
1105         {
1106           as_bad ("SourceA register required");
1107           return;
1108         }
1109       opcode |= (r1 << 16);
1110       break;
1111
1112     case mode_ab:
1113       /* register * register
1114          Example:
1115          mults r1,r2  */
1116       ans = parse_gen_reg (&str, &r1);
1117       if (ans < 0)
1118         {
1119           as_bad ("SourceA register required");
1120           return;
1121         }
1122       str = skip_space (str);
1123       if (*str == ',')
1124         {
1125           str++;
1126           ans = parse_gen_reg (&str, &r2);
1127           if (ans < 0)
1128             {
1129               as_bad ("SourceB register required");
1130               return;
1131             }
1132           opcode |= (r1 << 16) | (r2 << 4);
1133         }
1134       else
1135         {
1136           as_bad ("SourceB register required");
1137           return;
1138         }
1139       break;
1140
1141     case mode_da:
1142       /* register := register
1143          Example:
1144          extb.l  r1,r2  */
1145       ans = parse_gen_reg (&str, &r1);
1146       if (ans < 0)
1147         {
1148           as_bad ("Dest register required");
1149           return;
1150         }
1151       str = skip_space (str);
1152       if (*str == ',')
1153         {
1154           str++;
1155           ans = parse_gen_reg (&str, &r2);
1156           if (ans < 0)
1157             {
1158               as_bad ("SourceA register required");
1159               return;
1160             }
1161           opcode |= (r1 << 10) | (r2 << 16);
1162         }
1163       else
1164         {
1165           as_bad ("SourceB register required");
1166           return;
1167         }
1168       this_dest = r1;
1169       break;
1170
1171     case mode_dab:
1172       /* register := register * register
1173          Example:
1174          add.l r1,r2,r3  */
1175       ans = parse_gen_reg (&str, &r1);
1176       if (ans < 0)
1177         {
1178           as_bad ("Dest register required");
1179           return;
1180         }
1181       str = skip_space (str);
1182       if (*str == ',')
1183         {
1184           str++;
1185           ans = parse_gen_reg (&str, &r2);
1186           if (ans < 0)
1187             {
1188               as_bad ("SourceA register required");
1189               return;
1190             }
1191           str = skip_space (str);
1192           if (*str == ',')
1193             {
1194               str++;
1195               ans = parse_gen_reg (&str, &r3);
1196               if (ans < 0)
1197                 {
1198                   as_bad ("SourceB register required");
1199                   return;
1200                 }
1201
1202               /* Got three regs, assemble instruction.  */
1203               opcode |= (r1 << 10) | (r2 << 16) | (r3 << 4);
1204             }
1205           else
1206             {
1207               as_bad ("SourceA register required");
1208               return;
1209             }
1210         }
1211       else
1212         {
1213           as_bad ("Dest register required");
1214           return;
1215         }
1216       this_dest = r1;
1217       break;
1218
1219     case mode_iab:
1220       /* 5-bit immediate * register * register
1221          Example:
1222          eamwrite 3,r1,r2  */
1223       str = parse_exp (str, &e1);
1224       str = skip_space (str);
1225       if (e1.X_op != O_absent && *str == ',')
1226         {
1227           int eam_op = e1.X_add_number;
1228
1229           str = skip_space (str + 1);
1230           ans = parse_gen_reg (&str, &r2);
1231           if (ans < 0)
1232             {
1233               as_bad ("SourceA register required");
1234               return;
1235             }
1236           str = skip_space (str);
1237           if (*str == ',')
1238             {
1239               str++;
1240               ans = parse_gen_reg (&str, &r3);
1241               if (ans < 0)
1242                 {
1243                   as_bad ("SourceB register required");
1244                   return;
1245                 }
1246
1247               /* Got three operands, assemble instruction.  */
1248               if (eam_op < 0 || eam_op > 31)
1249                 {
1250                   as_bad ("eam_op out of range");
1251                 }
1252               opcode |= ((eam_op & 0x1f) << 10) | (r2 << 16) | (r3 << 4);
1253             }
1254         }
1255       else
1256         {
1257           as_bad ("EAM_OP required");
1258           return;
1259         }
1260       break;
1261
1262     case mode_0ab:
1263       /* zero * register * register
1264          Example:
1265          cmp.l  r1,r2 */
1266       ans = parse_gen_reg (&str, &r1);
1267       if (ans < 0)
1268         {
1269           as_bad ("SourceA register required");
1270           return;
1271         }
1272       str = skip_space (str);
1273       if (*str == ',')
1274         {
1275           str++;
1276           ans = parse_gen_reg (&str, &r2);
1277           if (ans < 0)
1278             {
1279               as_bad ("SourceB register required");
1280               return;
1281             }
1282           opcode |= (r1 << 16) | (r2 << 4);
1283         }
1284       else
1285         {
1286           as_bad ("SourceB register required");
1287           return;
1288         }
1289       break;
1290
1291     case mode_da0:
1292       /* register * register * zero
1293          Example:
1294          move.l  r1,r2  */
1295       ans = parse_gen_reg (&str, &r1);
1296       if (ans < 0)
1297         {
1298           as_bad ("Dest register required");
1299           return;
1300         }
1301       str = skip_space (str);
1302       if (*str == ',')
1303         {
1304           str++;
1305           ans = parse_gen_reg (&str, &r2);
1306           if (ans < 0)
1307             {
1308               as_bad ("SourceA register required");
1309               return;
1310             }
1311           opcode |= (r1 << 10) | (r2 << 16);
1312         }
1313       else
1314         {
1315           as_bad ("SourceA register required");
1316           return;
1317         }
1318       this_dest = r1;
1319       break;
1320
1321     case mode_cad:
1322       /* condition * register * register
1323          Example:
1324          bra  tr,r1,r2  */
1325       ans = parse_cc (&str, &cc);
1326       if (ans < 0)
1327         {
1328           as_bad ("condition code required");
1329           return;
1330         }
1331
1332       str = skip_space (str);
1333       if (*str == ',')
1334         {
1335           str = skip_space (str + 1);
1336           ans = parse_gen_reg (&str, &r2);
1337           if (ans < 0)
1338             {
1339               as_bad ("SourceA register required");
1340               return;
1341             }
1342           str = skip_space (str);
1343           if (*str == ',')
1344             {
1345               str++;
1346               ans = parse_gen_reg (&str, &r3);
1347               if (ans < 0)
1348                 {
1349                   as_bad ("Dest register required");
1350                   return;
1351                 }
1352
1353               /* Got three operands, assemble instruction.  */
1354               opcode |= (cc << 27) | (r2 << 16) | (r3 << 10);
1355             }
1356           else
1357             {
1358               as_bad ("Dest register required");
1359               return;
1360             }
1361         }
1362       else
1363         {
1364           as_bad ("SourceA register required");
1365           return;
1366         }
1367
1368       if (previous_mode == mode_cad || previous_mode == mode_ci)
1369         as_bad ("branch instruction in delay slot");
1370
1371       this_dest = r3;
1372       condition_code = cc;
1373       break;
1374
1375     case mode_das:
1376       /* register := register * 5-bit immediate/register shift count
1377          Example:
1378          asl.l  r1,r2,4  */
1379       ans = parse_gen_reg (&str, &r1);
1380       if (ans < 0)
1381         {
1382           as_bad ("Dest register required");
1383           return;
1384         }
1385       str = skip_space (str);
1386       if (*str == ',')
1387         {
1388           str++;
1389           ans = parse_gen_reg (&str, &r2);
1390           if (ans < 0)
1391             {
1392               as_bad ("SourceA register required");
1393               return;
1394             }
1395           str = skip_space (str);
1396           if (*str == ',')
1397             {
1398               str++;
1399               ans = parse_gen_reg (&str, &r3);
1400               if (ans == 0)
1401                 {
1402                   opcode |= (r1 << 10) | (r2 << 16) | (r3 << 4);
1403                 }
1404               else
1405                 {
1406                   str = parse_exp (str, &e1);
1407                   if (e1.X_op == O_constant)
1408                     {
1409                       int imm = e1.X_add_number;
1410
1411                       if (imm < 0 || imm > 31)
1412                         as_bad ("immediate value out of range");
1413
1414                       opcode |=
1415                         (r1 << 10) | (r2 << 16) | (1 << 9) | ((imm & 0x1f) <<
1416                                                               4);
1417                     }
1418                   else
1419                     {
1420                       as_bad ("immediate operand required");
1421                       return;
1422                     }
1423                 }
1424             }
1425         }
1426       else
1427         {
1428           as_bad ("SourceA register required");
1429           return;
1430         }
1431       this_dest = r1;
1432       break;
1433
1434     case mode_di:
1435       /* register := 5-bit immediate
1436          Example:
1437          eamread r1,3  */
1438       ans = parse_gen_reg (&str, &r1);
1439       if (ans < 0)
1440         {
1441           as_bad ("Dest register required");
1442           return;
1443         }
1444       str = skip_space (str);
1445       if (*str == ',')
1446         {
1447           str++;
1448           str = parse_exp (str, &e1);
1449           if (e1.X_op == O_constant)
1450             {
1451               int opnd2 = e1.X_add_number;
1452
1453               if (opnd2 < 0 || opnd2 > 31)
1454                 {
1455                   as_bad ("immediate operand out of range");
1456                   return;
1457                 }
1458               opcode |= (r1 << 10) | ((opnd2 & 0x1f) << 4);
1459             }
1460           else
1461             {
1462               as_bad ("immediate operand required");
1463               return;
1464             }
1465         }
1466       else
1467         {
1468           as_bad ("immediate operand required");
1469           return;
1470         }
1471       this_dest = r1;
1472       break;
1473
1474     case mode_ir:
1475       /* 5-bit immediate * register, e.g. trace 1,r1  */
1476       str = parse_exp (str, &e1);
1477       str = skip_space (str);
1478       if (e1.X_op == O_constant && *str == ',')
1479         {
1480           int opnd1 = e1.X_add_number;
1481
1482           str = skip_space (str + 1);
1483           ans = parse_gen_reg (&str, &r2);
1484           if (ans < 0)
1485             {
1486               as_bad ("SourceA register required");
1487               return;
1488             }
1489
1490           /* Got two operands, assemble instruction.  */
1491           if (opnd1 < 0 || opnd1 > 31)
1492             {
1493               as_bad ("1st operand out of range");
1494             }
1495           opcode |= ((opnd1 & 0x1f) << 10) | (r2 << 16);
1496         }
1497       else
1498         {
1499           as_bad ("Immediate operand required");
1500           return;
1501         }
1502       break;
1503
1504     case mode_ai:
1505       /* register *= 16-bit unsigned immediate
1506          Example:
1507          addi  r1,123  */
1508       ans = parse_gen_reg (&str, &r1);
1509       if (ans < 0)
1510         {
1511           as_bad ("Dest register required");
1512           return;
1513         }
1514       opcode |= (r1 << 16);
1515
1516       str = skip_space (str);
1517       if (*str != ',')
1518         {
1519           as_bad ("immediate value missing");
1520           return;
1521         }
1522       this_dest = r1;
1523       /* Fall through.  */
1524
1525     case mode_i:
1526       /* MOVIL/WRTL traditionally get an implicit "%l" applied
1527          to their immediate value.  For other opcodes, unless
1528          the immediate value is decorated with "%u" or "%l"
1529          it must be in the range 0 .. 65535.  */
1530       if ((opcode & 0x7fe00000) == 0x04800000
1531           || (opcode & 0x7fe00000) == 0x05000000)
1532         reloc = BFD_RELOC_VISIUM_LO16;
1533       else
1534         reloc = BFD_RELOC_VISIUM_IM16;
1535
1536       str = skip_space (str + 1);
1537
1538       if (*str == '%')
1539         {
1540           if (str[1] == 'u')
1541             reloc = BFD_RELOC_VISIUM_HI16;
1542           else if (str[1] == 'l')
1543             reloc = BFD_RELOC_VISIUM_LO16;
1544           else
1545             {
1546               as_bad ("bad char after %%");
1547               return;
1548             }
1549
1550           str += 2;
1551         }
1552       str = parse_exp (str, &e1);
1553       if (e1.X_op != O_absent)
1554         {
1555           if (e1.X_op == O_constant)
1556             {
1557               int imm = e1.X_add_number;
1558
1559               if (reloc == BFD_RELOC_VISIUM_HI16)
1560                 opcode |= ((imm >> 16) & 0xffff);
1561               else if (reloc == BFD_RELOC_VISIUM_LO16)
1562                 opcode |= (imm & 0xffff);
1563               else
1564                 {
1565                   if (imm < 0 || imm > 0xffff)
1566                     as_bad ("immediate value out of range");
1567
1568                   opcode |= (imm & 0xffff);
1569                 }
1570               /* No relocation is needed.  */
1571               reloc = 0;
1572             }
1573         }
1574       else
1575         {
1576           as_bad ("immediate value missing");
1577           return;
1578         }
1579       break;
1580
1581     case mode_bax:
1582       /* register * register * 5-bit immediate,
1583          SourceB * SourceA * Index
1584          Examples
1585          write.l (r1),r2
1586          write.l 3(r1),r2  */
1587       str = skip_space (str);
1588
1589       indx = 0;
1590       if (*str != '(')
1591         {
1592           str = parse_exp (str, &e1);
1593           if (e1.X_op == O_constant)
1594             {
1595               indx = e1.X_add_number;
1596
1597               if (indx < 0 || indx > 31)
1598                 {
1599                   as_bad ("Index out of range");
1600                   return;
1601                 }
1602             }
1603           else
1604             {
1605               as_bad ("Index(SourceA) required");
1606               return;
1607             }
1608         }
1609
1610       str = skip_space (str);
1611
1612       if (*str != '(')
1613         {
1614           as_bad ("Index(SourceA) required");
1615           return;
1616         }
1617
1618       str = skip_space (str + 1);
1619
1620       ans = parse_gen_reg (&str, &r1);
1621       if (ans < 0)
1622         {
1623           as_bad ("SourceA register required");
1624           return;
1625         }
1626       str = skip_space (str);
1627       if (*str != ')')
1628         {
1629           as_bad ("(SourceA) required");
1630           return;
1631         }
1632       str = skip_space (str + 1);
1633
1634       if (*str == ',')
1635         {
1636           str = skip_space (str + 1);
1637           ans = parse_gen_reg (&str, &r2);
1638           if (ans < 0)
1639             {
1640               as_bad ("SourceB register required");
1641               return;
1642             }
1643         }
1644       else
1645         {
1646           as_bad ("SourceB register required");
1647           return;
1648         }
1649
1650       opcode |= (r1 << 16) | (r2 << 4) | ((indx & 0x1f) << 10);
1651
1652       if (indx != 0 && previous_mode == mode_cad)
1653         {
1654           /* We're in a delay slot.
1655              If the base reg is the destination of the branch, then issue
1656              an error message.
1657              Otherwise it is safe to use the base and index.  */
1658           if (previous_dest != 0 && r1 == previous_dest)
1659             {
1660               as_bad ("base register not ready");
1661               return;
1662             }
1663         }
1664       else if (previous_dest != 0
1665                && r1 == previous_dest
1666                && (visium_arch == VISIUM_ARCH_MCM
1667                    || visium_arch == VISIUM_ARCH_MCM24
1668                    || (visium_arch == VISIUM_ARCH_DEF && indx != 0)))
1669         {
1670           as_warn ("base register not ready, NOP inserted.");
1671           /* Insert a NOP before the write instruction.  */
1672           output = frag_more (4);
1673           memset (output, 0, 4);
1674         }
1675       break;
1676
1677     case mode_dax:
1678       /*  register := register * 5-bit immediate
1679          Examples:
1680          read.b  r1,(r2)
1681          read.w  r1,3(r2)  */
1682       ans = parse_gen_reg (&str, &r1);
1683       if (ans < 0)
1684         {
1685           as_bad ("Dest register required");
1686           return;
1687         }
1688       str = skip_space (str);
1689       if (*str != ',')
1690         {
1691           as_bad ("SourceA required");
1692           return;
1693         }
1694       str = skip_space (str + 1);
1695
1696       indx = 0;
1697       if (*str != '(')
1698         {
1699           str = parse_exp (str, &e1);
1700           if (e1.X_op == O_constant)
1701             {
1702               indx = e1.X_add_number;
1703
1704               if (indx < 0 || indx > 31)
1705                 {
1706                   as_bad ("Index out of range");
1707                   return;
1708                 }
1709             }
1710           else
1711             {
1712               as_bad ("Immediate 0 to 31 required");
1713               return;
1714             }
1715         }
1716       if (*str != '(')
1717         {
1718           as_bad ("(SourceA) required");
1719           return;
1720         }
1721       str++;
1722       ans = parse_gen_reg (&str, &r2);
1723       if (ans < 0)
1724         {
1725           as_bad ("SourceA register required");
1726           return;
1727         }
1728       str = skip_space (str);
1729       if (*str != ')')
1730         {
1731           as_bad ("(SourceA) required");
1732           return;
1733         }
1734       str++;
1735       opcode |= (r1 << 10) | (r2 << 16) | ((indx & 0x1f) << 4);
1736       this_dest = r1;
1737
1738       if (indx != 0 && previous_mode == mode_cad)
1739         {
1740           /* We're in a delay slot.
1741              If the base reg is the destination of the branch, then issue
1742              an error message.
1743              Otherwise it is safe to use the base and index.  */
1744           if (previous_dest != 0 && r2 == previous_dest)
1745             {
1746               as_bad ("base register not ready");
1747               return;
1748             }
1749         }
1750       else if (previous_dest != 0
1751                && r2 == previous_dest
1752                && (visium_arch == VISIUM_ARCH_MCM
1753                    || visium_arch == VISIUM_ARCH_MCM24
1754                    || (visium_arch == VISIUM_ARCH_DEF && indx != 0)))
1755         {
1756           as_warn ("base register not ready, NOP inserted.");
1757           /* Insert a NOP before the read instruction.  */
1758           output = frag_more (4);
1759           memset (output, 0, 4);
1760         }
1761       break;
1762
1763     case mode_s:
1764       /* special mode
1765          Example:
1766          nop  */
1767       str = skip_space (str);
1768       break;
1769
1770     case mode_ci:
1771       /* condition * 16-bit signed word displacement
1772          Example:
1773          brr L1  */
1774       ans = parse_cc (&str, &cc);
1775       if (ans < 0)
1776         {
1777           as_bad ("condition code required");
1778           return;
1779         }
1780       opcode |= (cc << 27);
1781
1782       str = skip_space (str);
1783       if (*str == ',')
1784         {
1785           str = skip_space (str + 1);
1786           str = parse_exp (str, &e1);
1787           if (e1.X_op != O_absent)
1788             {
1789               if (e1.X_op == O_constant)
1790                 {
1791                   int imm = e1.X_add_number;
1792
1793                   if (imm < -32768 || imm > 32767)
1794                     as_bad ("immediate value out of range");
1795
1796                   /* The GR6 doesn't correctly handle a 0 displacement
1797                      so we insert a NOP and change it to -1.  */
1798                   if (imm == 0 && cc != 0 && visium_arch == VISIUM_ARCH_GR6)
1799                     {
1800                       output = frag_more (4);
1801                       memset (output, 0, 4);
1802                       imm = -1;
1803                     }
1804
1805                   opcode |= (imm & 0xffff);
1806                 }
1807               else if (e1.X_op == O_symbol)
1808                 {
1809                   /* The GR6 doesn't correctly handle a 0 displacement
1810                      so the instruction requires relaxation.  */
1811                   if (cc != 0 && visium_arch == VISIUM_ARCH_GR6)
1812                     relax = amode;
1813                   else
1814                     reloc = BFD_RELOC_VISIUM_REL16;
1815                 }
1816               else
1817                 {
1818                   as_bad ("immediate value missing");
1819                   return;
1820                 }
1821             }
1822           else
1823             {
1824               as_bad ("immediate value missing");
1825               return;
1826             }
1827         }
1828       else
1829         {
1830           as_bad ("immediate value missing");
1831           return;
1832         }
1833
1834       if (previous_mode == mode_cad || previous_mode == mode_ci)
1835         as_bad ("branch instruction in delay slot");
1836
1837       condition_code = cc;
1838       break;
1839
1840     case mode_fdab:
1841       /* float := float * float
1842          Example
1843          fadd    f4,f3,f2  */
1844       ans = parse_fp_reg (&str, &r1);
1845       if (ans < 0)
1846         {
1847           as_bad ("floating point destination register required");
1848           return;
1849         }
1850       str = skip_space (str);
1851       if (*str == ',')
1852         {
1853           str++;
1854           ans = parse_fp_reg (&str, &r2);
1855           if (ans < 0)
1856             {
1857               as_bad ("floating point SourceA register required");
1858               return;
1859             }
1860           str = skip_space (str);
1861           if (*str == ',')
1862             {
1863               str++;
1864               ans = parse_fp_reg (&str, &r3);
1865               if (ans < 0)
1866                 {
1867                   as_bad ("floating point SourceB register required");
1868                   return;
1869                 }
1870
1871               /* Got 3 floating regs, assemble instruction.  */
1872               opcode |= (r1 << 10) | (r2 << 16) | (r3 << 4);
1873             }
1874           else
1875             {
1876               as_bad ("floating point SourceB register required");
1877               return;
1878             }
1879         }
1880       else
1881         {
1882           as_bad ("floating point SourceA register required");
1883           return;
1884         }
1885       break;
1886
1887     case mode_ifdab:
1888       /* 4-bit immediate * float * float * float
1889          Example
1890          fpinst   10,f1,f2,f3  */
1891       str = parse_exp (str, &e1);
1892       str = skip_space (str);
1893       if (e1.X_op != O_absent && *str == ',')
1894         {
1895           int finst = e1.X_add_number;
1896
1897           str = skip_space (str + 1);
1898           ans = parse_fp_reg (&str, &r1);
1899           if (ans < 0)
1900             {
1901               as_bad ("floating point destination register required");
1902               return;
1903             }
1904           str = skip_space (str);
1905           if (*str == ',')
1906             {
1907               str++;
1908               ans = parse_fp_reg (&str, &r2);
1909               if (ans < 0)
1910                 {
1911                   as_bad ("floating point SourceA register required");
1912                   return;
1913                 }
1914               str = skip_space (str);
1915               if (*str == ',')
1916                 {
1917                   str++;
1918                   ans = parse_fp_reg (&str, &r3);
1919                   if (ans < 0)
1920                     {
1921                       as_bad ("floating point SourceB register required");
1922                       return;
1923                     }
1924
1925                   /* Got immediate and 3 floating regs,
1926                      assemble instruction.  */
1927                   if (finst < 0 || finst > 15)
1928                     as_bad ("finst out of range");
1929
1930                   opcode |=
1931                     ((finst & 0xf) << 27) | (r1 << 10) | (r2 << 16) | (r3 <<
1932                                                                        4);
1933                 }
1934               else
1935                 {
1936                   as_bad ("floating point SourceB register required");
1937                   return;
1938                 }
1939             }
1940           else
1941             {
1942               as_bad ("floating point SourceA register required");
1943               return;
1944             }
1945         }
1946       else
1947         {
1948           as_bad ("finst missing");
1949           return;
1950         }
1951       break;
1952
1953     case mode_idfab:
1954       /* 4-bit immediate * register * float * float
1955          Example
1956          fpuread   4,r25,f2,f3  */
1957       str = parse_exp (str, &e1);
1958       str = skip_space (str);
1959       if (e1.X_op != O_absent && *str == ',')
1960         {
1961           int finst = e1.X_add_number;
1962
1963           str = skip_space (str + 1);
1964           ans = parse_gen_reg (&str, &r1);
1965           if (ans < 0)
1966             {
1967               as_bad ("destination general register required");
1968               return;
1969             }
1970           str = skip_space (str);
1971           if (*str == ',')
1972             {
1973               str++;
1974               ans = parse_fp_reg (&str, &r2);
1975               if (ans < 0)
1976                 {
1977                   as_bad ("floating point SourceA register required");
1978                   return;
1979                 }
1980               str = skip_space (str);
1981               if (*str == ',')
1982                 {
1983                   str++;
1984                   ans = parse_fp_reg (&str, &r3);
1985                   if (ans < 0)
1986                     {
1987                       as_bad ("floating point SourceB register required");
1988                       return;
1989                     }
1990
1991                   /* Got immediate and 3 floating regs,
1992                      assemble instruction.  */
1993                   if (finst < 0 || finst > 15)
1994                     as_bad ("finst out of range");
1995
1996                   opcode |=
1997                     ((finst & 0xf) << 27) | (r1 << 10) | (r2 << 16) | (r3 <<
1998                                                                        4);
1999                 }
2000               else
2001                 {
2002                   as_bad ("floating point SourceB register required");
2003                   return;
2004                 }
2005             }
2006           else
2007             {
2008               as_bad ("floating point SourceA register required");
2009               return;
2010             }
2011         }
2012       else
2013         {
2014           as_bad ("finst missing");
2015           return;
2016         }
2017       break;
2018
2019     case mode_fda:
2020       /* float := float
2021          Example
2022          fsqrt    f4,f3  */
2023       ans = parse_fp_reg (&str, &r1);
2024       if (ans < 0)
2025         {
2026           as_bad ("floating point destination register required");
2027           return;
2028         }
2029       str = skip_space (str);
2030       if (*str == ',')
2031         {
2032           str++;
2033           ans = parse_fp_reg (&str, &r2);
2034           if (ans < 0)
2035             {
2036               as_bad ("floating point source register required");
2037               return;
2038             }
2039
2040           /* Got 2 floating regs, assemble instruction.  */
2041           opcode |= (r1 << 10) | (r2 << 16);
2042         }
2043       else
2044         {
2045           as_bad ("floating point source register required");
2046           return;
2047         }
2048       break;
2049
2050     case mode_fdra:
2051       /* float := register
2052          Example
2053          fload   f15,r6  */
2054       ans = parse_fp_reg (&str, &r1);
2055       if (ans < 0)
2056         {
2057           as_bad ("floating point destination register required");
2058           return;
2059         }
2060       str = skip_space (str);
2061       if (*str == ',')
2062         {
2063           str++;
2064           ans = parse_gen_reg (&str, &r2);
2065           if (ans < 0)
2066             {
2067               as_bad ("SourceA general register required");
2068               return;
2069             }
2070
2071           /* Got 2 regs, assemble instruction.  */
2072           opcode |= (r1 << 10) | (r2 << 16);
2073         }
2074       else
2075         {
2076           as_bad ("SourceA general register required");
2077           return;
2078         }
2079       break;
2080
2081     case mode_rdfab:
2082       /* register := float * float
2083          Example
2084          fcmp    r0,f4,f8
2085          For the GR6, register must be r0 and can be omitted.  */
2086       ans = parse_gen_reg (&str, &r1);
2087       if (ans < 0)
2088         {
2089           if (visium_opcode_arch == VISIUM_OPCODE_ARCH_GR5)
2090             {
2091               as_bad ("Dest general register required");
2092               return;
2093             }
2094           r1 = 0;
2095         }
2096       else
2097         {
2098           if (r1 != 0 && visium_opcode_arch != VISIUM_OPCODE_ARCH_GR5)
2099             {
2100               as_bad ("FCMP/FCMPE can only use r0 as Dest register");
2101               return;
2102              }
2103
2104           str = skip_space (str);
2105           if (*str == ',')
2106             str++;
2107           else
2108             {
2109               as_bad ("floating point SourceA register required");
2110               return;
2111             }
2112         }
2113
2114       ans = parse_fp_reg (&str, &r2);
2115       if (ans < 0)
2116         {
2117           as_bad ("floating point SourceA register required");
2118           return;
2119         }
2120       str = skip_space (str);
2121       if (*str == ',')
2122         {
2123           str++;
2124           ans = parse_fp_reg (&str, &r3);
2125           if (ans < 0)
2126             {
2127               as_bad ("floating point SourceB register required");
2128               return;
2129             }
2130
2131           /* Got 3 regs, assemble instruction.  */
2132           opcode |= (r1 << 10) | (r2 << 16) | (r3 << 4);
2133         }
2134
2135       this_dest = r1;
2136       break;
2137
2138     case mode_rdfa:
2139       /* register := float
2140          Example
2141          fstore r5,f12  */
2142       ans = parse_gen_reg (&str, &r1);
2143       if (ans < 0)
2144         {
2145           as_bad ("Dest general register required");
2146           return;
2147         }
2148       str = skip_space (str);
2149       if (*str == ',')
2150         {
2151           str++;
2152           ans = parse_fp_reg (&str, &r2);
2153           if (ans < 0)
2154             {
2155               as_bad ("floating point source register required");
2156               return;
2157             }
2158
2159           /* Got 2 regs, assemble instruction.  */
2160           opcode |= (r1 << 10) | (r2 << 16);
2161         }
2162       else
2163         {
2164           as_bad ("floating point source register required");
2165           return;
2166         }
2167
2168       this_dest = r1;
2169       break;
2170
2171     case mode_rrr:
2172       /* register register register, all sources and destinations
2173          Example:
2174          bmd   r1,r2,r3  */
2175
2176       ans = parse_gen_reg (&str, &r1);
2177       if (ans < 0)
2178         {
2179           as_bad ("destination address register required");
2180           return;
2181         }
2182       str = skip_space (str);
2183       if (*str == ',')
2184         {
2185           str++;
2186           ans = parse_gen_reg (&str, &r2);
2187           if (ans < 0)
2188             {
2189               as_bad ("source address register required");
2190               return;
2191             }
2192           str = skip_space (str);
2193           if (*str == ',')
2194             {
2195               str++;
2196               ans = parse_gen_reg (&str, &r3);
2197               if (ans < 0)
2198                 {
2199                   as_bad ("count register required");
2200                   return;
2201                 }
2202
2203               /* We insist on three registers but the opcode can only use
2204                  r1,r2,r3.  */
2205               if (r1 != 1 || r2 != 2 || r3 != 3)
2206                 {
2207                   as_bad ("BMI/BMD can only use format op r1,r2,r3");
2208                   return;
2209                 }
2210
2211               /* Opcode is unmodified by what comes out of the table.  */
2212             }
2213           else
2214             {
2215               as_bad ("register required");
2216               return;
2217             }
2218         }
2219       else
2220         {
2221           as_bad ("register required");
2222           return;
2223         }
2224
2225       this_dest = r1;
2226       break;
2227
2228     default:
2229       break;
2230     }
2231
2232   if (relax)
2233     output = frag_var (rs_machine_dependent, 8, 4, relax, e1.X_add_symbol,
2234                        e1.X_add_number, NULL);
2235   else
2236     output = frag_more (4);
2237
2238   /* Build the 32-bit instruction in a host-endian-neutral fashion.  */
2239   output[0] = (opcode >> 24) & 0xff;
2240   output[1] = (opcode >> 16) & 0xff;
2241   output[2] = (opcode >> 8) & 0xff;
2242   output[3] = (opcode >> 0) & 0xff;
2243
2244   if (relax)
2245     /* The size of the instruction is unknown, so tie the debug info to the
2246        start of the instruction.  */
2247     dwarf2_emit_insn (0);
2248   else
2249     {
2250       if (reloc)
2251         fix_new_exp (frag_now, output - frag_now->fr_literal, 4, &e1,
2252                      reloc == BFD_RELOC_VISIUM_REL16, reloc);
2253       else
2254         visium_update_parity_bit (output);
2255
2256       dwarf2_emit_insn (4);
2257     }
2258
2259   if (*str != '\0')
2260     as_bad ("junk after instruction");
2261 }
2262
2263 void
2264 visium_cfi_frame_initial_instructions (void)
2265 {
2266   /* The CFA is in SP on function entry.  */
2267   cfi_add_CFA_def_cfa (23, 0);
2268 }
2269
2270 int
2271 visium_regname_to_dw2regnum (char *regname)
2272 {
2273   if (!regname[0])
2274     return -1;
2275
2276   if (regname[0] == 'f' && regname[1] == 'p' && !regname[2])
2277     return 22;
2278
2279   if (regname[0] == 's' && regname[1] == 'p' && !regname[2])
2280     return 23;
2281
2282   if (regname[0] == 'm' && regname[1] == 'd' && !regname[3])
2283     switch (regname[2])
2284       {
2285       case 'b': return 32;
2286       case 'a': return 33;
2287       case 'c': return 34;
2288       default : return -1;
2289       }
2290
2291   if (regname[0] == 'f' || regname[0] == 'r')
2292     {
2293       char *p;
2294       unsigned int regnum = strtoul (regname + 1, &p, 10);
2295       if (*p)
2296         return -1;
2297       if (regnum >= (regname[0] == 'f' ? 16 : 32))
2298         return -1;
2299       if (regname[0] == 'f')
2300         regnum += 35;
2301       return regnum;
2302     }
2303
2304   return -1;
2305 }