1 /* tc-i860.c -- Assembler for the Intel i860 architecture.
2 Copyright (C) 1989-2015 Free Software Foundation, Inc.
4 Brought back from the dead and completely reworked
5 by Jason Eckhardt <jle@cygnus.com>.
7 This file is part of GAS, the GNU Assembler.
9 GAS is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3, or (at your option)
14 GAS is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License along
20 with GAS; see the file COPYING. If not, write to the Free Software
21 Foundation, 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */
24 #include "safe-ctype.h"
26 #include "opcode/i860.h"
30 /* The opcode hash table. */
31 static struct hash_control *op_hash = NULL;
33 /* These characters always start a comment. */
34 const char comment_chars[] = "#!/";
36 /* These characters start a comment at the beginning of a line. */
37 const char line_comment_chars[] = "#/";
39 const char line_separator_chars[] = ";";
41 /* Characters that can be used to separate the mantissa from the exponent
42 in floating point numbers. */
43 const char EXP_CHARS[] = "eE";
45 /* Characters that indicate this number is a floating point constant.
46 As in 0f12.456 or 0d1.2345e12. */
47 const char FLT_CHARS[] = "rRsSfFdDxXpP";
49 /* Register prefix (depends on syntax). */
50 static char reg_prefix;
58 enum expand_type expand;
62 bfd_reloc_code_real_type reloc;
68 /* The current fixup count. */
71 static char *expr_end;
73 /* Indicates error if a pseudo operation was expanded after a branch. */
74 static char last_expand;
76 /* If true, then warn if any pseudo operations were expanded. */
77 static int target_warn_expand = 0;
79 /* If true, then XP support is enabled. */
80 static int target_xp = 0;
82 /* If true, then Intel syntax is enabled (default to AT&T/SVR4 syntax). */
83 static int target_intel_syntax = 0;
87 static void i860_process_insn (char *);
88 static void s_dual (int);
89 static void s_enddual (int);
90 static void s_atmp (int);
91 static void s_align_wrapper (int);
92 static int i860_get_expression (char *);
93 static bfd_reloc_code_real_type obtain_reloc_for_imm16 (fixS *, long *);
95 static void print_insn (struct i860_it *);
98 const pseudo_typeS md_pseudo_table[] =
100 {"align", s_align_wrapper, 0},
102 {"enddual", s_enddual, 0},
107 /* Dual-instruction mode handling. */
110 DUAL_OFF = 0, DUAL_ON, DUAL_DDOT, DUAL_ONDDOT,
112 static enum dual dual_mode = DUAL_OFF;
114 /* Handle ".dual" directive. */
116 s_dual (int ignore ATTRIBUTE_UNUSED)
118 if (target_intel_syntax)
121 as_bad (_("Directive .dual available only with -mintel-syntax option"));
124 /* Handle ".enddual" directive. */
126 s_enddual (int ignore ATTRIBUTE_UNUSED)
128 if (target_intel_syntax)
129 dual_mode = DUAL_OFF;
131 as_bad (_("Directive .enddual available only with -mintel-syntax option"));
134 /* Temporary register used when expanding assembler pseudo operations. */
135 static int atmp = 31;
138 s_atmp (int ignore ATTRIBUTE_UNUSED)
142 if (! target_intel_syntax)
144 as_bad (_("Directive .atmp available only with -mintel-syntax option"));
145 demand_empty_rest_of_line ();
149 if (strncmp (input_line_pointer, "sp", 2) == 0)
151 input_line_pointer += 2;
154 else if (strncmp (input_line_pointer, "fp", 2) == 0)
156 input_line_pointer += 2;
159 else if (strncmp (input_line_pointer, "r", 1) == 0)
161 input_line_pointer += 1;
162 temp = get_absolute_expression ();
163 if (temp >= 0 && temp <= 31)
166 as_bad (_("Unknown temporary pseudo register"));
170 as_bad (_("Unknown temporary pseudo register"));
172 demand_empty_rest_of_line ();
175 /* Handle ".align" directive depending on syntax mode.
176 AT&T/SVR4 syntax uses the standard align directive. However,
177 the Intel syntax additionally allows keywords for the alignment
178 parameter: ".align type", where type is one of {.short, .long,
179 .quad, .single, .double} representing alignments of 2, 4,
180 16, 4, and 8, respectively. */
182 s_align_wrapper (int arg)
184 char *parm = input_line_pointer;
186 if (target_intel_syntax)
188 /* Replace a keyword with the equivalent integer so the
189 standard align routine can parse the directive. */
190 if (strncmp (parm, ".short", 6) == 0)
191 strncpy (parm, " 2", 6);
192 else if (strncmp (parm, ".long", 5) == 0)
193 strncpy (parm, " 4", 5);
194 else if (strncmp (parm, ".quad", 5) == 0)
195 strncpy (parm, " 16", 5);
196 else if (strncmp (parm, ".single", 7) == 0)
197 strncpy (parm, " 4", 7);
198 else if (strncmp (parm, ".double", 7) == 0)
199 strncpy (parm, " 8", 7);
201 while (*input_line_pointer == ' ')
202 ++input_line_pointer;
208 /* This function is called once, at assembler startup time. It should
209 set up all the tables and data structures that the MD part of the
210 assembler will need. */
214 const char *retval = NULL;
218 op_hash = hash_new ();
220 while (i860_opcodes[i].name != NULL)
222 const char *name = i860_opcodes[i].name;
223 retval = hash_insert (op_hash, name, (void *) &i860_opcodes[i]);
226 fprintf (stderr, _("internal error: can't hash `%s': %s\n"),
227 i860_opcodes[i].name, retval);
232 if (i860_opcodes[i].match & i860_opcodes[i].lose)
235 _("internal error: losing opcode: `%s' \"%s\"\n"),
236 i860_opcodes[i].name, i860_opcodes[i].args);
241 while (i860_opcodes[i].name != NULL
242 && strcmp (i860_opcodes[i].name, name) == 0);
246 as_fatal (_("Defective assembler. No assembly attempted."));
248 /* Set the register prefix for either Intel or AT&T/SVR4 syntax. */
249 reg_prefix = target_intel_syntax ? 0 : '%';
252 /* This is the core of the machine-dependent assembler. STR points to a
253 machine dependent instruction. This function emits the frags/bytes
256 md_assemble (char *str)
261 struct i860_it pseudo[3];
266 /* Assemble the instruction. */
267 i860_process_insn (str);
269 /* Check for expandable flag to produce pseudo-instructions. This
270 is an undesirable feature that should be avoided. */
271 if (the_insn.expand != 0 && the_insn.expand != XP_ONLY
272 && ! (the_insn.fi[0].fup & (OP_SEL_HA | OP_SEL_H | OP_SEL_L | OP_SEL_GOT
273 | OP_SEL_GOTOFF | OP_SEL_PLT)))
275 for (i = 0; i < 3; i++)
276 pseudo[i] = the_insn;
279 switch (the_insn.expand)
287 if (the_insn.fi[0].exp.X_add_symbol == NULL
288 && the_insn.fi[0].exp.X_op_symbol == NULL
289 && (the_insn.fi[0].exp.X_add_number < (1 << 15)
290 && the_insn.fi[0].exp.X_add_number >= -(1 << 15)))
293 /* Emit "or l%const,r0,ireg_dest". */
294 pseudo[0].opcode = (the_insn.opcode & 0x001f0000) | 0xe4000000;
295 pseudo[0].fi[0].fup = (OP_IMM_S16 | OP_SEL_L);
297 /* Emit "orh h%const,ireg_dest,ireg_dest". */
298 pseudo[1].opcode = (the_insn.opcode & 0x03ffffff) | 0xec000000
299 | ((the_insn.opcode & 0x001f0000) << 5);
300 pseudo[1].fi[0].fup = (OP_IMM_S16 | OP_SEL_H);
306 if (the_insn.fi[0].exp.X_add_symbol == NULL
307 && the_insn.fi[0].exp.X_op_symbol == NULL
308 && (the_insn.fi[0].exp.X_add_number < (1 << 15)
309 && the_insn.fi[0].exp.X_add_number >= -(1 << 15)))
312 /* Emit "orh ha%addr_expr,ireg_src2,r31". */
313 pseudo[0].opcode = 0xec000000 | (the_insn.opcode & 0x03e00000)
315 pseudo[0].fi[0].fup = (OP_IMM_S16 | OP_SEL_HA);
317 /* Emit "l%addr_expr(r31),ireg_dest". We pick up the fixup
318 information from the original instruction. */
319 pseudo[1].opcode = (the_insn.opcode & ~0x03e00000) | (atmp << 21);
320 pseudo[1].fi[0].fup = the_insn.fi[0].fup | OP_SEL_L;
326 if (the_insn.fi[0].exp.X_add_symbol == NULL
327 && the_insn.fi[0].exp.X_op_symbol == NULL
328 && (the_insn.fi[0].exp.X_add_number < (1 << 16)
329 && the_insn.fi[0].exp.X_add_number >= 0))
332 /* Emit "$(opcode)h h%const,ireg_src2,r31". */
333 pseudo[0].opcode = (the_insn.opcode & 0xf3e0ffff) | 0x0c000000
335 pseudo[0].fi[0].fup = (OP_IMM_S16 | OP_SEL_H);
337 /* Emit "$(opcode) l%const,r31,ireg_dest". */
338 pseudo[1].opcode = (the_insn.opcode & 0xf01f0000) | 0x04000000
340 pseudo[1].fi[0].fup = (OP_IMM_S16 | OP_SEL_L);
346 if (the_insn.fi[0].exp.X_add_symbol == NULL
347 && the_insn.fi[0].exp.X_op_symbol == NULL
348 && (the_insn.fi[0].exp.X_add_number < (1 << 16)
349 && the_insn.fi[0].exp.X_add_number >= 0))
352 /* Emit "andnot h%const,ireg_src2,r31". */
353 pseudo[0].opcode = (the_insn.opcode & 0x03e0ffff) | 0xd4000000
355 pseudo[0].fi[0].fup = (OP_IMM_S16 | OP_SEL_H);
356 pseudo[0].fi[0].exp.X_add_number =
357 -1 - the_insn.fi[0].exp.X_add_number;
359 /* Emit "andnot l%const,r31,ireg_dest". */
360 pseudo[1].opcode = (the_insn.opcode & 0x001f0000) | 0xd4000000
362 pseudo[1].fi[0].fup = (OP_IMM_S16 | OP_SEL_L);
363 pseudo[1].fi[0].exp.X_add_number =
364 -1 - the_insn.fi[0].exp.X_add_number;
370 if (the_insn.fi[0].exp.X_add_symbol == NULL
371 && the_insn.fi[0].exp.X_op_symbol == NULL
372 && (the_insn.fi[0].exp.X_add_number < (1 << 15)
373 && the_insn.fi[0].exp.X_add_number >= -(1 << 15)))
376 /* Emit "orh h%const,r0,r31". */
377 pseudo[0].opcode = 0xec000000 | (atmp << 16);
378 pseudo[0].fi[0].fup = (OP_IMM_S16 | OP_SEL_H);
380 /* Emit "or l%const,r31,r31". */
381 pseudo[1].opcode = 0xe4000000 | (atmp << 21) | (atmp << 16);
382 pseudo[1].fi[0].fup = (OP_IMM_S16 | OP_SEL_L);
384 /* Emit "r31,ireg_src2,ireg_dest". */
385 pseudo[2].opcode = (the_insn.opcode & ~0x0400ffff) | (atmp << 11);
386 pseudo[2].fi[0].fup = OP_IMM_S16;
392 as_fatal (_("failed sanity check."));
395 the_insn = pseudo[0];
397 /* Warn if an opcode is expanded after a delayed branch. */
398 if (num_opcodes > 1 && last_expand == 1)
399 as_warn (_("Expanded opcode after delayed branch: `%s'"), str);
401 /* Warn if an opcode is expanded in dual mode. */
402 if (num_opcodes > 1 && dual_mode != DUAL_OFF)
403 as_warn (_("Expanded opcode in dual mode: `%s'"), str);
405 /* Notify if any expansions happen. */
406 if (target_warn_expand && num_opcodes > 1)
407 as_warn (_("An instruction was expanded (%s)"), str);
410 dwarf2_emit_insn (0);
416 /* Output the opcode. Note that the i860 always reads instructions
417 as little-endian data. */
418 destp = frag_more (4);
419 number_to_chars_littleendian (destp, the_insn.opcode, 4);
421 /* Check for expanded opcode after branch or in dual mode. */
422 last_expand = the_insn.fi[0].pcrel;
424 /* Output the symbol-dependent stuff. Only btne and bte will ever
425 loop more than once here, since only they (possibly) have more
427 for (tmp = 0; tmp < fc; tmp++)
429 if (the_insn.fi[tmp].fup != OP_NONE)
432 fix = fix_new_exp (frag_now,
433 destp - frag_now->fr_literal,
435 &the_insn.fi[tmp].exp,
436 the_insn.fi[tmp].pcrel,
437 the_insn.fi[tmp].reloc);
439 /* Despite the odd name, this is a scratch field. We use
440 it to encode operand type information. */
441 fix->fx_addnumber = the_insn.fi[tmp].fup;
444 the_insn = pseudo[++i];
446 while (--num_opcodes > 0);
450 /* Assemble the instruction pointed to by STR. */
452 i860_process_insn (char *str)
457 struct i860_opcode *insn;
459 unsigned long opcode;
464 #if 1 /* For compiler warnings. */
471 for (s = str; ISLOWER (*s) || *s == '.' || *s == '3'
472 || *s == '2' || *s == '1'; ++s)
490 as_fatal (_("Unknown opcode: `%s'"), str);
493 /* Check for dual mode ("d.") opcode prefix. */
494 if (strncmp (str, "d.", 2) == 0)
496 if (dual_mode == DUAL_ON)
497 dual_mode = DUAL_ONDDOT;
499 dual_mode = DUAL_DDOT;
503 if ((insn = (struct i860_opcode *) hash_find (op_hash, str)) == NULL)
505 if (dual_mode == DUAL_DDOT || dual_mode == DUAL_ONDDOT)
507 as_bad (_("Unknown opcode: `%s'"), str);
518 opcode = insn->match;
519 memset (&the_insn, '\0', sizeof (the_insn));
521 for (t = 0; t < MAX_FIXUPS; t++)
523 the_insn.fi[t].reloc = BFD_RELOC_NONE;
524 the_insn.fi[t].pcrel = 0;
525 the_insn.fi[t].fup = OP_NONE;
528 /* Build the opcode, checking as we go that the operands match. */
529 for (args = insn->args; ; ++args)
543 /* These must match exactly. */
553 /* Must be at least one digit. */
563 /* Next operand must be a register. */
567 /* Check for register prefix if necessary. */
568 if (reg_prefix && *s != reg_prefix)
595 /* Any register r0..r31. */
598 if (!ISDIGIT (c = *s++))
604 if ((c = 10 * (c - '0') + (*s++ - '0')) >= 32)
612 /* Not this opcode. */
617 /* Obtained the register, now place it in the opcode. */
621 opcode |= mask << 11;
625 opcode |= mask << 21;
629 opcode |= mask << 16;
635 /* Next operand is a floating point register. */
639 /* Check for register prefix if necessary. */
640 if (reg_prefix && *s != reg_prefix)
645 if (*s++ == 'f' && ISDIGIT (*s))
650 mask = 10 * (mask - '0') + (*s++ - '0');
663 opcode |= mask << 11;
667 opcode |= mask << 21;
671 opcode |= mask << 16;
672 if ((opcode & (1 << 10)) && mask != 0
673 && (mask == ((opcode >> 11) & 0x1f)))
674 as_warn (_("Pipelined instruction: fsrc1 = fdest"));
680 /* Next operand must be a control register. */
682 /* Check for register prefix if necessary. */
683 if (reg_prefix && *s != reg_prefix)
688 if (strncmp (s, "fir", 3) == 0)
694 if (strncmp (s, "psr", 3) == 0)
700 if (strncmp (s, "dirbase", 7) == 0)
706 if (strncmp (s, "db", 2) == 0)
712 if (strncmp (s, "fsr", 3) == 0)
718 if (strncmp (s, "epsr", 4) == 0)
724 /* The remaining control registers are XP only. */
725 if (target_xp && strncmp (s, "bear", 4) == 0)
731 if (target_xp && strncmp (s, "ccr", 3) == 0)
737 if (target_xp && strncmp (s, "p0", 2) == 0)
743 if (target_xp && strncmp (s, "p1", 2) == 0)
749 if (target_xp && strncmp (s, "p2", 2) == 0)
755 if (target_xp && strncmp (s, "p3", 2) == 0)
763 /* 5-bit immediate in src1. */
765 if (! i860_get_expression (s))
768 the_insn.fi[fc].fup |= OP_IMM_U5;
774 /* 26-bit immediate, relative branch (lbroff). */
776 the_insn.fi[fc].pcrel = 1;
777 the_insn.fi[fc].fup |= OP_IMM_BR26;
780 /* 16-bit split immediate, relative branch (sbroff). */
782 the_insn.fi[fc].pcrel = 1;
783 the_insn.fi[fc].fup |= OP_IMM_BR16;
786 /* 16-bit split immediate. */
788 the_insn.fi[fc].fup |= OP_IMM_SPLIT16;
791 /* 16-bit split immediate, byte aligned (st.b). */
793 the_insn.fi[fc].fup |= OP_IMM_SPLIT16;
796 /* 16-bit split immediate, half-word aligned (st.s). */
798 the_insn.fi[fc].fup |= (OP_IMM_SPLIT16 | OP_ENCODE1 | OP_ALIGN2);
801 /* 16-bit split immediate, word aligned (st.l). */
803 the_insn.fi[fc].fup |= (OP_IMM_SPLIT16 | OP_ENCODE1 | OP_ALIGN4);
806 /* 16-bit immediate. */
808 the_insn.fi[fc].fup |= OP_IMM_S16;
811 /* 16-bit immediate, byte aligned (ld.b). */
813 the_insn.fi[fc].fup |= OP_IMM_S16;
816 /* 16-bit immediate, half-word aligned (ld.s). */
818 the_insn.fi[fc].fup |= (OP_IMM_S16 | OP_ENCODE1 | OP_ALIGN2);
821 /* 16-bit immediate, word aligned (ld.l, {p}fld.l, fst.l). */
823 if (insn->name[0] == 'l')
824 the_insn.fi[fc].fup |= (OP_IMM_S16 | OP_ENCODE1 | OP_ALIGN4);
826 the_insn.fi[fc].fup |= (OP_IMM_S16 | OP_ENCODE2 | OP_ALIGN4);
829 /* 16-bit immediate, double-word aligned ({p}fld.d, fst.d). */
831 the_insn.fi[fc].fup |= (OP_IMM_S16 | OP_ENCODE3 | OP_ALIGN8);
834 /* 16-bit immediate, quad-word aligned (fld.q, fst.q). */
836 the_insn.fi[fc].fup |= (OP_IMM_S16 | OP_ENCODE3 | OP_ALIGN16);
840 /* Handle the immediate for either the Intel syntax or
841 SVR4 syntax. The Intel syntax is "ha%immediate"
842 whereas SVR4 syntax is "[immediate]@ha". */
844 if (target_intel_syntax == 0)
846 /* AT&T/SVR4 syntax. */
850 /* Note that if i860_get_expression() fails, we will still
851 have created U entries in the symbol table for the
852 'symbols' in the input string. Try not to create U
853 symbols for registers, etc. */
854 if (! i860_get_expression (s))
859 if (strncmp (s, "@ha", 3) == 0)
861 the_insn.fi[fc].fup |= OP_SEL_HA;
864 else if (strncmp (s, "@h", 2) == 0)
866 the_insn.fi[fc].fup |= OP_SEL_H;
869 else if (strncmp (s, "@l", 2) == 0)
871 the_insn.fi[fc].fup |= OP_SEL_L;
874 else if (strncmp (s, "@gotoff", 7) == 0
875 || strncmp (s, "@GOTOFF", 7) == 0)
877 as_bad (_("Assembler does not yet support PIC"));
878 the_insn.fi[fc].fup |= OP_SEL_GOTOFF;
881 else if (strncmp (s, "@got", 4) == 0
882 || strncmp (s, "@GOT", 4) == 0)
884 as_bad (_("Assembler does not yet support PIC"));
885 the_insn.fi[fc].fup |= OP_SEL_GOT;
888 else if (strncmp (s, "@plt", 4) == 0
889 || strncmp (s, "@PLT", 4) == 0)
891 as_bad (_("Assembler does not yet support PIC"));
892 the_insn.fi[fc].fup |= OP_SEL_PLT;
896 the_insn.expand = insn->expand;
906 if (strncmp (s, "ha%", 3) == 0)
908 the_insn.fi[fc].fup |= OP_SEL_HA;
911 else if (strncmp (s, "h%", 2) == 0)
913 the_insn.fi[fc].fup |= OP_SEL_H;
916 else if (strncmp (s, "l%", 2) == 0)
918 the_insn.fi[fc].fup |= OP_SEL_L;
921 the_insn.expand = insn->expand;
923 /* Note that if i860_get_expression() fails, we will still
924 have created U entries in the symbol table for the
925 'symbols' in the input string. Try not to create U
926 symbols for registers, etc. */
927 if (! i860_get_expression (s))
938 as_fatal (_("failed sanity check."));
945 /* Args don't match. */
946 if (insn[1].name != NULL
947 && ! strcmp (insn->name, insn[1].name))
955 as_bad (_("Illegal operands for %s"), insn->name);
962 /* Set the dual bit on this instruction if necessary. */
963 if (dual_mode != DUAL_OFF)
965 if ((opcode & 0xfc000000) == 0x48000000 || opcode == 0xb0000000)
967 /* The instruction is a flop or a fnop, so set its dual bit
968 (but check that it is 8-byte aligned). */
969 if (((frag_now->fr_address + frag_now_fix_octets ()) & 7) == 0)
972 as_bad (_("'d.%s' must be 8-byte aligned"), insn->name);
974 if (dual_mode == DUAL_DDOT)
975 dual_mode = DUAL_OFF;
976 else if (dual_mode == DUAL_ONDDOT)
979 else if (dual_mode == DUAL_DDOT || dual_mode == DUAL_ONDDOT)
980 as_bad (_("Prefix 'd.' invalid for instruction `%s'"), insn->name);
983 the_insn.opcode = opcode;
985 /* Only recognize XP instructions when the user has requested it. */
986 if (insn->expand == XP_ONLY && ! target_xp)
987 as_bad (_("Unknown opcode: `%s'"), insn->name);
991 i860_get_expression (char *str)
996 save_in = input_line_pointer;
997 input_line_pointer = str;
998 seg = expression (&the_insn.fi[fc].exp);
999 if (seg != absolute_section
1000 && seg != undefined_section
1001 && ! SEG_NORMAL (seg))
1003 the_insn.error = _("bad segment");
1004 expr_end = input_line_pointer;
1005 input_line_pointer = save_in;
1008 expr_end = input_line_pointer;
1009 input_line_pointer = save_in;
1014 md_atof (int type, char *litP, int *sizeP)
1016 return ieee_md_atof (type, litP, sizeP, TRUE);
1019 /* Write out in current endian mode. */
1021 md_number_to_chars (char *buf, valueT val, int n)
1023 if (target_big_endian)
1024 number_to_chars_bigendian (buf, val, n);
1026 number_to_chars_littleendian (buf, val, n);
1029 /* This should never be called for i860. */
1031 md_estimate_size_before_relax (fragS *fragP ATTRIBUTE_UNUSED,
1032 segT segtype ATTRIBUTE_UNUSED)
1034 as_fatal (_("relaxation not supported\n"));
1039 print_insn (struct i860_it *insn)
1042 fprintf (stderr, "ERROR: %s\n", insn->error);
1044 fprintf (stderr, "opcode = 0x%08lx\t", insn->opcode);
1045 fprintf (stderr, "expand = 0x%x\t", insn->expand);
1046 fprintf (stderr, "reloc = %s\t\n",
1047 bfd_get_reloc_code_name (insn->reloc));
1048 fprintf (stderr, "exp = {\n");
1049 fprintf (stderr, "\t\tX_add_symbol = %s\n",
1050 insn->exp.X_add_symbol ?
1051 (S_GET_NAME (insn->exp.X_add_symbol) ?
1052 S_GET_NAME (insn->exp.X_add_symbol) : "???") : "0");
1053 fprintf (stderr, "\t\tX_op_symbol = %s\n",
1054 insn->exp.X_op_symbol ?
1055 (S_GET_NAME (insn->exp.X_op_symbol) ?
1056 S_GET_NAME (insn->exp.X_op_symbol) : "???") : "0");
1057 fprintf (stderr, "\t\tX_add_number = %lx\n",
1058 insn->exp.X_add_number);
1059 fprintf (stderr, "}\n");
1061 #endif /* DEBUG_I860 */
1065 const char *md_shortopts = "VQ:";
1067 const char *md_shortopts = "";
1070 #define OPTION_EB (OPTION_MD_BASE + 0)
1071 #define OPTION_EL (OPTION_MD_BASE + 1)
1072 #define OPTION_WARN_EXPAND (OPTION_MD_BASE + 2)
1073 #define OPTION_XP (OPTION_MD_BASE + 3)
1074 #define OPTION_INTEL_SYNTAX (OPTION_MD_BASE + 4)
1076 struct option md_longopts[] = {
1077 { "EB", no_argument, NULL, OPTION_EB },
1078 { "EL", no_argument, NULL, OPTION_EL },
1079 { "mwarn-expand", no_argument, NULL, OPTION_WARN_EXPAND },
1080 { "mxp", no_argument, NULL, OPTION_XP },
1081 { "mintel-syntax",no_argument, NULL, OPTION_INTEL_SYNTAX },
1082 { NULL, no_argument, NULL, 0 }
1084 size_t md_longopts_size = sizeof (md_longopts);
1087 md_parse_option (int c, char *arg ATTRIBUTE_UNUSED)
1092 target_big_endian = 1;
1096 target_big_endian = 0;
1099 case OPTION_WARN_EXPAND:
1100 target_warn_expand = 1;
1107 case OPTION_INTEL_SYNTAX:
1108 target_intel_syntax = 1;
1112 /* SVR4 argument compatibility (-V): print version ID. */
1114 print_version_id ();
1117 /* SVR4 argument compatibility (-Qy, -Qn): controls whether
1118 a .comment section should be emitted or not (ignored). */
1131 md_show_usage (FILE *stream)
1133 fprintf (stream, _("\
1134 -EL generate code for little endian mode (default)\n\
1135 -EB generate code for big endian mode\n\
1136 -mwarn-expand warn if pseudo operations are expanded\n\
1137 -mxp enable i860XP support (disabled by default)\n\
1138 -mintel-syntax enable Intel syntax (default to AT&T/SVR4)\n"));
1140 /* SVR4 compatibility flags. */
1141 fprintf (stream, _("\
1142 -V print assembler version number\n\
1143 -Qy, -Qn ignored\n"));
1148 /* We have no need to default values of symbols. */
1150 md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
1155 /* The i860 denotes auto-increment with '++'. */
1157 md_operand (expressionS *exp)
1161 for (s = input_line_pointer; *s; s++)
1163 if (s[0] == '+' && s[1] == '+')
1165 input_line_pointer += 2;
1166 exp->X_op = O_register;
1172 /* Round up a section size to the appropriate boundary. */
1174 md_section_align (segT segment ATTRIBUTE_UNUSED,
1175 valueT size ATTRIBUTE_UNUSED)
1177 /* Byte alignment is fine. */
1181 /* On the i860, a PC-relative offset is relative to the address of the
1182 offset plus its size. */
1184 md_pcrel_from (fixS *fixP)
1186 return fixP->fx_size + fixP->fx_where + fixP->fx_frag->fr_address;
1189 /* Determine the relocation needed for non PC-relative 16-bit immediates.
1190 Also adjust the given immediate as necessary. Finally, check that
1191 all constraints (such as alignment) are satisfied. */
1192 static bfd_reloc_code_real_type
1193 obtain_reloc_for_imm16 (fixS *fix, long *val)
1195 valueT fup = fix->fx_addnumber;
1196 bfd_reloc_code_real_type reloc;
1201 /* Check alignment restrictions. */
1202 if ((fup & OP_ALIGN2) && (*val & 0x1))
1203 as_bad_where (fix->fx_file, fix->fx_line,
1204 _("This immediate requires 0 MOD 2 alignment"));
1205 else if ((fup & OP_ALIGN4) && (*val & 0x3))
1206 as_bad_where (fix->fx_file, fix->fx_line,
1207 _("This immediate requires 0 MOD 4 alignment"));
1208 else if ((fup & OP_ALIGN8) && (*val & 0x7))
1209 as_bad_where (fix->fx_file, fix->fx_line,
1210 _("This immediate requires 0 MOD 8 alignment"));
1211 else if ((fup & OP_ALIGN16) && (*val & 0xf))
1212 as_bad_where (fix->fx_file, fix->fx_line,
1213 _("This immediate requires 0 MOD 16 alignment"));
1215 if (fup & OP_SEL_HA)
1217 *val = (*val >> 16) + (*val & 0x8000 ? 1 : 0);
1218 reloc = BFD_RELOC_860_HIGHADJ;
1220 else if (fup & OP_SEL_H)
1223 reloc = BFD_RELOC_860_HIGH;
1225 else if (fup & OP_SEL_L)
1228 if (fup & OP_IMM_SPLIT16)
1230 if (fup & OP_ENCODE1)
1233 reloc = BFD_RELOC_860_SPLIT1;
1235 else if (fup & OP_ENCODE2)
1238 reloc = BFD_RELOC_860_SPLIT2;
1243 reloc = BFD_RELOC_860_SPLIT0;
1248 if (fup & OP_ENCODE1)
1251 reloc = BFD_RELOC_860_LOW1;
1253 else if (fup & OP_ENCODE2)
1256 reloc = BFD_RELOC_860_LOW2;
1258 else if (fup & OP_ENCODE3)
1261 reloc = BFD_RELOC_860_LOW3;
1266 reloc = BFD_RELOC_860_LOW0;
1270 /* Preserve size encode bits. */
1271 *val &= ~((1 << num_encode) - 1);
1275 /* No selector. What reloc do we generate (???)? */
1276 reloc = BFD_RELOC_32;
1282 /* Attempt to simplify or eliminate a fixup. To indicate that a fixup
1283 has been eliminated, set fix->fx_done. If fix->fx_addsy is non-NULL,
1284 we will have to generate a reloc entry. */
1287 md_apply_fix (fixS *fix, valueT *valP, segT seg ATTRIBUTE_UNUSED)
1294 buf = fix->fx_frag->fr_literal + fix->fx_where;
1296 /* Recall that earlier we stored the opcode little-endian. */
1297 insn = bfd_getl32 (buf);
1299 /* We stored a fix-up in this oddly-named scratch field. */
1300 fup = fix->fx_addnumber;
1302 /* Determine the necessary relocations as well as inserting an
1303 immediate into the instruction. */
1304 if (fup & OP_IMM_U5)
1307 as_bad_where (fix->fx_file, fix->fx_line,
1308 _("5-bit immediate too large"));
1310 as_bad_where (fix->fx_file, fix->fx_line,
1311 _("5-bit field must be absolute"));
1313 insn |= (val & 0x1f) << 11;
1314 bfd_putl32 (insn, buf);
1315 fix->fx_r_type = BFD_RELOC_NONE;
1318 else if (fup & OP_IMM_S16)
1320 fix->fx_r_type = obtain_reloc_for_imm16 (fix, &val);
1322 /* Insert the immediate. */
1327 insn |= val & 0xffff;
1328 bfd_putl32 (insn, buf);
1329 fix->fx_r_type = BFD_RELOC_NONE;
1333 else if (fup & OP_IMM_U16)
1336 else if (fup & OP_IMM_SPLIT16)
1338 fix->fx_r_type = obtain_reloc_for_imm16 (fix, &val);
1340 /* Insert the immediate. */
1345 insn |= val & 0x7ff;
1346 insn |= (val & 0xf800) << 5;
1347 bfd_putl32 (insn, buf);
1348 fix->fx_r_type = BFD_RELOC_NONE;
1352 else if (fup & OP_IMM_BR16)
1355 as_bad_where (fix->fx_file, fix->fx_line,
1356 _("A branch offset requires 0 MOD 4 alignment"));
1360 /* Insert the immediate. */
1364 fix->fx_r_type = BFD_RELOC_860_PC16;
1368 insn |= (val & 0x7ff);
1369 insn |= ((val & 0xf800) << 5);
1370 bfd_putl32 (insn, buf);
1371 fix->fx_r_type = BFD_RELOC_NONE;
1375 else if (fup & OP_IMM_BR26)
1378 as_bad_where (fix->fx_file, fix->fx_line,
1379 _("A branch offset requires 0 MOD 4 alignment"));
1383 /* Insert the immediate. */
1386 fix->fx_r_type = BFD_RELOC_860_PC26;
1391 insn |= (val & 0x3ffffff);
1392 bfd_putl32 (insn, buf);
1393 fix->fx_r_type = BFD_RELOC_NONE;
1397 else if (fup != OP_NONE)
1399 as_bad_where (fix->fx_file, fix->fx_line,
1400 _("Unrecognized fix-up (0x%08lx)"), (unsigned long) fup);
1405 /* I believe only fix-ups such as ".long .ep.main-main+0xc8000000"
1406 reach here (???). */
1409 fix->fx_r_type = BFD_RELOC_32;
1414 insn |= (val & 0xffffffff);
1415 bfd_putl32 (insn, buf);
1416 fix->fx_r_type = BFD_RELOC_NONE;
1422 /* Generate a machine dependent reloc from a fixup. */
1424 tc_gen_reloc (asection *section ATTRIBUTE_UNUSED,
1429 reloc = xmalloc (sizeof (*reloc));
1430 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
1431 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
1432 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
1433 reloc->addend = fixp->fx_offset;
1434 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
1438 as_bad_where (fixp->fx_file, fixp->fx_line,
1439 "Cannot represent %s relocation in object file",
1440 bfd_get_reloc_code_name (fixp->fx_r_type));
1445 /* This is called from HANDLE_ALIGN in write.c. Fill in the contents
1446 of an rs_align_code fragment. */
1449 i860_handle_align (fragS *fragp)
1451 /* Instructions are always stored little-endian on the i860. */
1452 static const unsigned char le_nop[] = { 0x00, 0x00, 0x00, 0xA0 };
1457 if (fragp->fr_type != rs_align_code)
1460 bytes = fragp->fr_next->fr_address - fragp->fr_address - fragp->fr_fix;
1461 p = fragp->fr_literal + fragp->fr_fix;
1463 /* Make sure we are on a 4-byte boundary, in case someone has been
1464 putting data into a text section. */
1467 int fix = bytes & 3;
1470 fragp->fr_fix += fix;
1473 memcpy (p, le_nop, 4);
1477 /* This is called after a user-defined label is seen. We check
1478 if the label has a double colon (valid in Intel syntax mode only),
1479 in which case it should be externalized. */
1482 i860_check_label (symbolS *labelsym)
1484 /* At this point, the current line pointer is sitting on the character
1485 just after the first colon on the label. */
1486 if (target_intel_syntax && *input_line_pointer == ':')
1488 S_SET_EXTERNAL (labelsym);
1489 input_line_pointer++;