1 /* tc-tic54x.c -- Assembly code for the Texas Instruments TMS320C54X
2 Copyright (C) 1999-2017 Free Software Foundation, Inc.
3 Contributed by Timothy Wall (twall@cygnus.com)
5 This file is part of GAS, the GNU Assembler.
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 3, or (at your option)
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.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
22 /* Texas Instruments TMS320C54X machine specific gas.
23 Written by Timothy Wall (twall@alum.mit.edu).
25 Valuable things to do:
26 Pipeline conflict warnings
27 We encode/decode "ld #_label, dp" differently in relocatable files
28 This means we're not compatible with TI output containing those
29 expressions. We store the upper nine bits; TI stores the lower nine
30 bits. How they recover the original upper nine bits is beyond me.
32 Tests to add to expect testsuite:
33 '=' and '==' with .if, .elseif, and .break
35 Incompatibilities (mostly trivial):
37 We fill text section with zeroes instead of "nop"s
38 We don't convert '' or "" to a single instance
39 We don't convert '' to '\0'
40 We don't allow strings with .byte/.half/.short/.long
41 Probably details of the subsym stuff are different
42 TI sets labels to be data type 4 (T_INT); GAS uses T_NULL.
44 COFF1 limits section names to 8 characters.
45 Some of the default behavior changed from COFF1 to COFF2. */
49 #include "safe-ctype.h"
53 #include "struc-symbol.h"
54 #include "opcode/tic54x.h"
61 symbolS *sym; /* Symbol for this stag; value is offset. */
62 const char *name; /* Shortcut to symbol name. */
63 bfd_vma size; /* Size of struct/union. */
64 int current_bitfield_offset; /* Temporary for tracking fields. */
66 struct stag_field /* List of fields. */
69 bfd_vma offset; /* Of start of this field. */
70 int bitfield_offset; /* Of start of this field. */
71 struct stag *stag; /* If field is struct/union. */
72 struct stag_field *next;
74 /* For nesting; used only in stag construction. */
75 struct stag *inner; /* Enclosed .struct. */
76 struct stag *outer; /* Enclosing .struct. */
77 } *current_stag = NULL;
79 #define MAX_LINE 256 /* Lines longer than this are truncated by TI's asm. */
81 typedef struct _tic54x_insn
83 const insn_template *tm; /* Opcode template. */
85 char mnemonic[MAX_LINE]; /* Opcode name/mnemonic. */
86 char parmnemonic[MAX_LINE]; /* 2nd mnemonic of parallel insn. */
94 } operands[MAX_OPERANDS];
97 struct opstruct paroperands[MAX_OPERANDS];
101 int words; /* Size of insn in 16-bit words. */
102 int using_default_dst; /* Do we need to explicitly set an
103 omitted OP_DST operand? */
106 unsigned short word; /* Final encoded opcode data. */
108 int r_nchars; /* Relocation size. */
109 bfd_reloc_code_real_type r_type; /* Relocation type. */
110 expressionS addr_expr; /* Storage for unresolved expressions. */
116 VNONE = 0, V541 = 1, V542 = 2, V543 = 3, V545 = 5, V548 = 8, V549 = 9,
117 V545LP = 15, V546LP = 16
122 c_mode, /* 16-bit addresses. */
123 far_mode /* >16-bit addresses. */
126 static segT stag_saved_seg;
127 static subsegT stag_saved_subseg;
129 const char comment_chars[] = ";";
130 const char line_comment_chars[] = ";*#"; /* At column zero only. */
131 const char line_separator_chars[] = ""; /* Not permitted. */
133 int emitting_long = 0;
135 /* Characters which indicate that this is a floating point constant. */
136 const char FLT_CHARS[] = "fF";
138 /* Characters that can be used to separate mantissa from exp in FP
140 const char EXP_CHARS[] = "eE";
142 const char *md_shortopts = "";
144 #define OPTION_ADDRESS_MODE (OPTION_MD_BASE)
145 #define OPTION_CPU_VERSION (OPTION_ADDRESS_MODE + 1)
146 #define OPTION_COFF_VERSION (OPTION_CPU_VERSION + 1)
147 #define OPTION_STDERR_TO_FILE (OPTION_COFF_VERSION + 1)
149 struct option md_longopts[] =
151 { "mfar-mode", no_argument, NULL, OPTION_ADDRESS_MODE },
152 { "mf", no_argument, NULL, OPTION_ADDRESS_MODE },
153 { "mcpu", required_argument, NULL, OPTION_CPU_VERSION },
154 { "merrors-to-file", required_argument, NULL, OPTION_STDERR_TO_FILE },
155 { "me", required_argument, NULL, OPTION_STDERR_TO_FILE },
156 { NULL, no_argument, NULL, 0},
159 size_t md_longopts_size = sizeof (md_longopts);
161 static int assembly_begun = 0;
162 /* Addressing mode is not entirely implemented; the latest rev of the Other
163 assembler doesn't seem to make any distinction whatsoever; all relocations
164 are stored as extended relocations. Older versions used REL16 vs RELEXT16,
165 but now it seems all relocations are RELEXT16. We use all RELEXT16.
167 The cpu version is kind of a waste of time as well. There is one
168 instruction (RND) for LP devices only, and several for devices with
169 extended addressing only. We include it for compatibility. */
170 static enum address_mode amode = c_mode;
171 static enum cpu_version cpu = VNONE;
173 /* Include string substitutions in listing? */
174 static int listing_sslist = 0;
176 /* Did we do subsym substitutions on the line? */
177 static int substitution_line = 0;
179 /* Last label seen. */
180 static symbolS *last_label_seen = NULL;
182 /* This ensures that all new labels are unique. */
183 static int local_label_id;
185 static struct hash_control *subsym_recurse_hash; /* Prevent infinite recurse. */
186 static struct hash_control *math_hash; /* Built-in math functions. */
187 /* Allow maximum levels of macro nesting; level 0 is the main substitution
188 symbol table. The other assembler only does 32 levels, so there! */
189 static struct hash_control *subsym_hash[100];
191 /* Keep track of local labels so we can substitute them before GAS sees them
192 since macros use their own 'namespace' for local labels, use a separate hash
194 We do our own local label handling 'cuz it's subtly different from the
197 We use our own macro nesting counter, since GAS overloads it when expanding
198 other things (like conditionals and repeat loops). */
199 static int macro_level = 0;
200 static struct hash_control *local_label_hash[100];
201 /* Keep track of struct/union tags. */
202 static struct hash_control *stag_hash;
203 static struct hash_control *op_hash;
204 static struct hash_control *parop_hash;
205 static struct hash_control *reg_hash;
206 static struct hash_control *mmreg_hash;
207 static struct hash_control *cc_hash;
208 static struct hash_control *cc2_hash;
209 static struct hash_control *cc3_hash;
210 static struct hash_control *sbit_hash;
211 static struct hash_control *misc_symbol_hash;
213 /* Only word (et al.), align, or conditionals are allowed within
215 #define ILLEGAL_WITHIN_STRUCT() \
217 if (current_stag != NULL) \
219 as_bad (_("pseudo-op illegal within .struct/.union")); \
225 static void subsym_create_or_replace (char *, char *);
226 static char *subsym_lookup (char *, int);
227 static char *subsym_substitute (char *, int);
231 md_show_usage (FILE *stream)
233 fprintf (stream, _("C54x-specific command line options:\n"));
234 fprintf (stream, _("-mfar-mode | -mf Use extended addressing\n"));
235 fprintf (stream, _("-mcpu=<CPU version> Specify the CPU version\n"));
236 fprintf (stream, _("-merrors-to-file <filename>\n"));
237 fprintf (stream, _("-me <filename> Redirect errors to a file\n"));
240 /* Output a single character (upper octet is zero). */
243 tic54x_emit_char (char c)
247 expn.X_op = O_constant;
248 expn.X_add_number = c;
249 emit_expr (&expn, 2);
252 /* Walk backwards in the frag chain. */
255 frag_prev (fragS *frag, segT seg)
257 segment_info_type *seginfo = seg_info (seg);
260 for (fragp = seginfo->frchainP->frch_root; fragp; fragp = fragp->fr_next)
261 if (fragp->fr_next == frag)
268 bit_offset_frag (fragS *frag, segT seg)
272 if (frag->fr_fix == 0
273 && frag->fr_opcode == NULL
274 && frag->tc_frag_data == 0)
275 frag = frag_prev (frag, seg);
282 /* Return the number of bits allocated in the most recent word, or zero if
283 none. .field/.space/.bes may leave words partially allocated. */
286 frag_bit_offset (fragS *frag, segT seg)
288 frag = bit_offset_frag (frag, seg);
291 return frag->fr_opcode != NULL ? -1 : frag->tc_frag_data;
296 /* Read an expression from a C string; returns a pointer past the end of the
300 parse_expression (char *str, expressionS *expn)
305 tmp = input_line_pointer; /* Save line pointer. */
306 input_line_pointer = str;
308 s = input_line_pointer;
309 input_line_pointer = tmp; /* Restore line pointer. */
310 return s; /* Return pointer to where parsing stopped. */
313 /* .asg "character-string"|character-string, symbol
315 .eval is the only pseudo-op allowed to perform arithmetic on substitution
316 symbols. all other use of symbols defined with .asg are currently
320 tic54x_asg (int x ATTRIBUTE_UNUSED)
325 int quoted = *input_line_pointer == '"';
327 ILLEGAL_WITHIN_STRUCT ();
332 str = demand_copy_C_string (&len);
333 c = *input_line_pointer;
337 str = input_line_pointer;
338 while ((c = *input_line_pointer) != ',')
340 if (is_end_of_line[(int) *input_line_pointer])
342 ++input_line_pointer;
344 *input_line_pointer = 0;
348 as_bad (_("Comma and symbol expected for '.asg STRING, SYMBOL'"));
349 ignore_rest_of_line ();
353 ++input_line_pointer;
354 c = get_symbol_name (&name); /* Get terminator. */
355 if (!ISALPHA (*name))
357 as_bad (_("symbols assigned with .asg must begin with a letter"));
358 ignore_rest_of_line ();
363 name = xstrdup (name);
364 subsym_create_or_replace (name, str);
365 (void) restore_line_pointer (c);
366 demand_empty_rest_of_line ();
369 /* .eval expression, symbol
370 There's something screwy about this. The other assembler sometimes does and
371 sometimes doesn't substitute symbols defined with .eval.
372 We'll put the symbols into the subsym table as well as the normal symbol
373 table, since that's what works best. */
376 tic54x_eval (int x ATTRIBUTE_UNUSED)
382 char valuestr[32], *tmp;
385 ILLEGAL_WITHIN_STRUCT ();
389 quoted = *input_line_pointer == '"';
391 ++input_line_pointer;
392 value = get_absolute_expression ();
395 if (*input_line_pointer != '"')
397 as_bad (_("Unterminated string after absolute expression"));
398 ignore_rest_of_line ();
401 ++input_line_pointer;
403 if (*input_line_pointer++ != ',')
405 as_bad (_("Comma and symbol expected for '.eval EXPR, SYMBOL'"));
406 ignore_rest_of_line ();
409 c = get_symbol_name (&name); /* Get terminator. */
410 name = xstrdup (name);
411 (void) restore_line_pointer (c);
413 if (!ISALPHA (*name))
415 as_bad (_("symbols assigned with .eval must begin with a letter"));
416 ignore_rest_of_line ();
419 symbolP = symbol_new (name, absolute_section,
420 (valueT) value, &zero_address_frag);
421 SF_SET_LOCAL (symbolP);
422 symbol_table_insert (symbolP);
424 /* The "other" assembler sometimes doesn't put .eval's in the subsym table
425 But since there's not written rule as to when, don't even bother trying
426 to match their behavior. */
427 sprintf (valuestr, "%d", value);
428 tmp = xstrdup (valuestr);
429 subsym_create_or_replace (name, tmp);
431 demand_empty_rest_of_line ();
434 /* .bss symbol, size [, [blocking flag] [, alignment flag]
436 alignment is to a longword boundary; blocking is to 128-word boundary.
438 1) if there is a hole in memory, this directive should attempt to fill it
439 (not yet implemented).
441 2) if the blocking flag is not set, allocate at the current SPC
442 otherwise, check to see if the current SPC plus the space to be
443 allocated crosses the page boundary (128 words).
444 if there's not enough space, create a hole and align with the next page
446 (not yet implemented). */
449 tic54x_bss (int x ATTRIBUTE_UNUSED)
456 subsegT current_subseg;
461 ILLEGAL_WITHIN_STRUCT ();
463 current_seg = now_seg; /* Save current seg. */
464 current_subseg = now_subseg; /* Save current subseg. */
466 c = get_symbol_name (&name); /* Get terminator. */
468 c = * ++ input_line_pointer;
471 as_bad (_(".bss size argument missing\n"));
472 ignore_rest_of_line ();
476 ++input_line_pointer;
477 words = get_absolute_expression ();
480 as_bad (_(".bss size %d < 0!"), words);
481 ignore_rest_of_line ();
485 if (*input_line_pointer == ',')
487 /* The blocking flag may be missing. */
488 ++input_line_pointer;
489 if (*input_line_pointer != ',')
490 block = get_absolute_expression ();
494 if (*input_line_pointer == ',')
496 ++input_line_pointer;
497 align = get_absolute_expression ();
505 subseg_set (bss_section, 0);
506 symbolP = symbol_find_or_make (name);
508 if (S_GET_SEGMENT (symbolP) == bss_section)
509 symbolP->sy_frag->fr_symbol = (symbolS *) NULL;
511 symbol_set_frag (symbolP, frag_now);
512 p = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP,
513 (offsetT) (words * OCTETS_PER_BYTE), (char *) 0);
514 *p = 0; /* Fill char. */
516 S_SET_SEGMENT (symbolP, bss_section);
518 /* The symbol may already have been created with a preceding
519 ".globl" directive -- be careful not to step on storage class
520 in that case. Otherwise, set it to static. */
521 if (S_GET_STORAGE_CLASS (symbolP) != C_EXT)
522 S_SET_STORAGE_CLASS (symbolP, C_STAT);
526 /* s_align eats end of line; restore it */
528 --input_line_pointer;
532 bss_section->flags |= SEC_TIC54X_BLOCK;
534 subseg_set (current_seg, current_subseg); /* Restore current seg. */
535 demand_empty_rest_of_line ();
539 stag_add_field_symbols (struct stag *stag,
543 const char *root_stag_name)
546 struct stag_field *field = stag->field;
548 /* Construct a symbol for every field contained within this structure
549 including fields within structure fields. */
550 prefix = concat (path, *path ? "." : "", NULL);
552 while (field != NULL)
554 char *name = concat (prefix, field->name, NULL);
559 sym = symbol_new (name, absolute_section,
560 (field->stag ? field->offset :
561 (valueT) (base_offset + field->offset)),
564 symbol_table_insert (sym);
570 replacement = concat (S_GET_NAME (rootsym), "+", root_stag_name,
571 name + strlen (S_GET_NAME (rootsym)), NULL);
572 hash_insert (subsym_hash[0], name, replacement);
575 /* Recurse if the field is a structure.
576 Note the field offset is relative to the outermost struct. */
577 if (field->stag != NULL)
578 stag_add_field_symbols (field->stag, name,
580 rootsym, root_stag_name);
587 /* Keep track of stag fields so that when structures are nested we can add the
588 complete dereferencing symbols to the symbol table. */
591 stag_add_field (struct stag *parent,
596 struct stag_field *sfield = XCNEW (struct stag_field);
598 sfield->name = xstrdup (name);
599 sfield->offset = offset;
600 sfield->bitfield_offset = parent->current_bitfield_offset;
602 if (parent->field == NULL)
603 parent->field = sfield;
606 struct stag_field *sf = parent->field;
607 while (sf->next != NULL)
611 /* Only create a symbol for this field if the parent has no name. */
612 if (!strncmp (".fake", parent->name, 5))
614 symbolS *sym = symbol_new (name, absolute_section,
615 (valueT) offset, &zero_address_frag);
617 symbol_table_insert (sym);
621 /* [STAG] .struct [OFFSET]
622 Start defining structure offsets (symbols in absolute section). */
625 tic54x_struct (int arg)
627 int start_offset = 0;
632 /* Starting a new struct, switch to absolute section. */
633 stag_saved_seg = now_seg;
634 stag_saved_subseg = now_subseg;
635 subseg_set (absolute_section, 0);
637 /* Align the current pointer. */
638 else if (current_stag->current_bitfield_offset != 0)
640 ++abs_section_offset;
641 current_stag->current_bitfield_offset = 0;
644 /* Offset expression is only meaningful for global .structs. */
647 /* Offset is ignored in inner structs. */
649 if (!is_end_of_line[(int) *input_line_pointer])
650 start_offset = get_absolute_expression ();
657 /* Nesting, link to outer one. */
658 current_stag->inner = XCNEW (struct stag);
659 current_stag->inner->outer = current_stag;
660 current_stag = current_stag->inner;
662 as_warn (_("Offset on nested structures is ignored"));
663 start_offset = abs_section_offset;
667 current_stag = XCNEW (struct stag);
668 abs_section_offset = start_offset;
670 current_stag->is_union = is_union;
672 if (line_label == NULL)
674 static int struct_count = 0;
675 char fake[] = ".fake_stagNNNNNNN";
676 sprintf (fake, ".fake_stag%d", struct_count++);
677 current_stag->sym = symbol_new (fake, absolute_section,
678 (valueT) abs_section_offset,
683 char * label = xstrdup (S_GET_NAME (line_label));
684 current_stag->sym = symbol_new (label,
686 (valueT) abs_section_offset,
690 current_stag->name = S_GET_NAME (current_stag->sym);
691 SF_SET_LOCAL (current_stag->sym);
692 /* Nested .structs don't go into the symbol table. */
693 if (current_stag->outer == NULL)
694 symbol_table_insert (current_stag->sym);
699 /* [LABEL] .endstruct
700 finish defining structure offsets; optional LABEL's value will be the size
704 tic54x_endstruct (int is_union)
708 !strncmp (current_stag->name, ".fake", 5) ? "" : current_stag->name;
710 if (!current_stag || current_stag->is_union != is_union)
712 as_bad (_(".end%s without preceding .%s"),
713 is_union ? "union" : "struct",
714 is_union ? "union" : "struct");
715 ignore_rest_of_line ();
719 /* Align end of structures. */
720 if (current_stag->current_bitfield_offset)
722 ++abs_section_offset;
723 current_stag->current_bitfield_offset = 0;
726 if (current_stag->is_union)
727 size = current_stag->size;
729 size = abs_section_offset - S_GET_VALUE (current_stag->sym);
730 if (line_label != NULL)
732 S_SET_VALUE (line_label, size);
733 symbol_table_insert (line_label);
737 /* Union size has already been calculated. */
738 if (!current_stag->is_union)
739 current_stag->size = size;
740 /* Nested .structs don't get put in the stag table. */
741 if (current_stag->outer == NULL)
743 hash_insert (stag_hash, current_stag->name, current_stag);
744 stag_add_field_symbols (current_stag, path,
745 S_GET_VALUE (current_stag->sym),
748 current_stag = current_stag->outer;
750 /* If this is a nested .struct/.union, add it as a field to the enclosing
751 one. otherwise, restore the section we were in. */
752 if (current_stag != NULL)
754 stag_add_field (current_stag, current_stag->inner->name,
755 S_GET_VALUE (current_stag->inner->sym),
756 current_stag->inner);
759 subseg_set (stag_saved_seg, stag_saved_subseg);
763 Reference a structure within a structure, as a sized field with an optional
765 If used outside of a .struct/.endstruct, overlays the given structure
766 format on the existing allocated space. */
769 tic54x_tag (int ignore ATTRIBUTE_UNUSED)
772 int c = get_symbol_name (&name);
773 struct stag *stag = (struct stag *) hash_find (stag_hash, name);
778 as_bad (_("Unrecognized struct/union tag '%s'"), name);
780 as_bad (_(".tag requires a structure tag"));
781 ignore_rest_of_line ();
784 if (line_label == NULL)
786 as_bad (_("Label required for .tag"));
787 ignore_rest_of_line ();
794 label = xstrdup (S_GET_NAME (line_label));
795 if (current_stag != NULL)
796 stag_add_field (current_stag, label,
797 abs_section_offset - S_GET_VALUE (current_stag->sym),
801 symbolS *sym = symbol_find (label);
805 as_bad (_(".tag target '%s' undefined"), label);
806 ignore_rest_of_line ();
810 stag_add_field_symbols (stag, S_GET_NAME (sym),
811 S_GET_VALUE (stag->sym), sym, stag->name);
816 /* Bump by the struct size, but only if we're within a .struct section. */
817 if (current_stag != NULL && !current_stag->is_union)
818 abs_section_offset += stag->size;
820 (void) restore_line_pointer (c);
821 demand_empty_rest_of_line ();
825 /* Handle all .byte, .char, .double, .field, .float, .half, .int, .long,
826 .short, .string, .ubyte, .uchar, .uhalf, .uint, .ulong, .ushort, .uword,
830 tic54x_struct_field (int type)
834 int new_bitfield_offset = 0;
835 int field_align = current_stag->current_bitfield_offset != 0;
836 int longword_align = 0;
839 if (!is_end_of_line[(int) *input_line_pointer])
840 count = get_absolute_expression ();
856 case '*': /* String. */
865 case '.': /* Bitfield. */
867 if (count < 1 || count > 32)
869 as_bad (_(".field count '%d' out of range (1 <= X <= 32)"), count);
870 ignore_rest_of_line ();
873 if (current_stag->current_bitfield_offset + count > 16)
875 /* Set the appropriate size and new field offset. */
885 new_bitfield_offset = count - 16;
888 new_bitfield_offset = count;
893 new_bitfield_offset = current_stag->current_bitfield_offset + count;
897 as_bad (_("Unrecognized field type '%c'"), type);
898 ignore_rest_of_line ();
904 /* Align to the actual starting position of the field. */
905 current_stag->current_bitfield_offset = 0;
906 ++abs_section_offset;
908 /* Align to longword boundary. */
909 if (longword_align && (abs_section_offset & 0x1))
910 ++abs_section_offset;
912 if (line_label == NULL)
914 static int fieldno = 0;
915 char fake[] = ".fake_fieldNNNNN";
917 sprintf (fake, ".fake_field%d", fieldno++);
918 stag_add_field (current_stag, fake,
919 abs_section_offset - S_GET_VALUE (current_stag->sym),
926 label = xstrdup (S_GET_NAME (line_label));
927 stag_add_field (current_stag, label,
928 abs_section_offset - S_GET_VALUE (current_stag->sym),
933 if (current_stag->is_union)
935 /* Note we treat the element as if it were an array of COUNT. */
936 if (current_stag->size < (unsigned) size * count)
937 current_stag->size = size * count;
941 abs_section_offset += (unsigned) size * count;
942 current_stag->current_bitfield_offset = new_bitfield_offset;
947 /* Handle .byte, .word. .int, .long and all variants. */
950 tic54x_cons (int type)
955 /* If we're within a .struct construct, don't actually allocate space. */
956 if (current_stag != NULL)
958 tic54x_struct_field (type);
962 #ifdef md_flush_pending_output
963 md_flush_pending_output ();
966 generate_lineno_debug ();
968 /* Align long words to long word boundaries (4 octets). */
969 if (type == 'l' || type == 'L')
971 frag_align (2, 0, 2);
972 /* If there's a label, assign it to the first allocated word. */
973 if (line_label != NULL)
975 symbol_set_frag (line_label, frag_now);
976 S_SET_VALUE (line_label, frag_now_fix ());
1000 if (*input_line_pointer == '"')
1002 input_line_pointer++;
1003 while (is_a_char (c = next_char_of_string ()))
1004 tic54x_emit_char (c);
1005 know (input_line_pointer[-1] == '\"');
1011 input_line_pointer = parse_expression (input_line_pointer, &expn);
1012 if (expn.X_op == O_constant)
1014 offsetT value = expn.X_add_number;
1015 /* Truncate overflows. */
1019 if ((value > 0 && value > 0xFF)
1020 || (value < 0 && value < - 0x100))
1021 as_warn (_("Overflow in expression, truncated to 8 bits"));
1024 if ((value > 0 && value > 0xFFFF)
1025 || (value < 0 && value < - 0x10000))
1026 as_warn (_("Overflow in expression, truncated to 16 bits"));
1030 if (expn.X_op != O_constant && octets < 2)
1032 /* Disallow .byte with a non constant expression that will
1033 require relocation. */
1034 as_bad (_("Relocatable values require at least WORD storage"));
1035 ignore_rest_of_line ();
1039 if (expn.X_op != O_constant
1043 /* FIXME -- at one point TI tools used to output REL16
1044 relocations, but I don't think the latest tools do at all
1045 The current tools output extended relocations regardless of
1046 the addressing mode (I actually think that ".c_mode" is
1047 totally ignored in the latest tools). */
1050 emit_expr (&expn, 4);
1056 emitting_long = octets == 4;
1057 emit_expr (&expn, (octets == 1) ? 2 : octets);
1062 while (*input_line_pointer++ == ',');
1064 input_line_pointer--; /* Put terminator back into stream. */
1065 demand_empty_rest_of_line ();
1068 /* .global <symbol>[,...,<symbolN>]
1069 .def <symbol>[,...,<symbolN>]
1070 .ref <symbol>[,...,<symbolN>]
1072 These all identify global symbols.
1074 .def means the symbol is defined in the current module and can be accessed
1075 by other files. The symbol should be placed in the symbol table.
1077 .ref means the symbol is used in the current module but defined in another
1078 module. The linker is to resolve this symbol's definition at link time.
1080 .global should act as a .ref or .def, as needed.
1082 global, def and ref all have symbol storage classes of C_EXT.
1084 I can't identify any difference in how the "other" c54x assembler treats
1085 these, so we ignore the type here. */
1088 tic54x_global (int type)
1095 as_warn (_("Use of .def/.ref is deprecated. Use .global instead"));
1097 ILLEGAL_WITHIN_STRUCT ();
1101 c = get_symbol_name (&name);
1102 symbolP = symbol_find_or_make (name);
1103 c = restore_line_pointer (c);
1105 S_SET_STORAGE_CLASS (symbolP, C_EXT);
1108 input_line_pointer++;
1109 if (is_end_of_line[(int) *input_line_pointer])
1110 c = *input_line_pointer;
1115 demand_empty_rest_of_line ();
1118 /* Remove the symbol from the local label hash lookup. */
1121 tic54x_remove_local_label (const char *key, void *value ATTRIBUTE_UNUSED)
1123 void *elem = hash_delete (local_label_hash[macro_level], key, FALSE);
1127 /* Reset all local labels. */
1130 tic54x_clear_local_labels (int ignored ATTRIBUTE_UNUSED)
1132 hash_traverse (local_label_hash[macro_level], tic54x_remove_local_label);
1137 .sect "section name"
1140 make sure local labels get cleared when changing sections
1142 ARG is 't' for text, 'd' for data, or '*' for a named section
1144 For compatibility, '*' sections are SEC_CODE if instructions are
1145 encountered, or SEC_DATA if not.
1149 tic54x_sect (int arg)
1151 ILLEGAL_WITHIN_STRUCT ();
1153 /* Local labels are cleared when changing sections. */
1154 tic54x_clear_local_labels (0);
1158 else if (arg == 'd')
1164 /* Make sure all named initialized sections flagged properly. If we
1165 encounter instructions, we'll flag it with SEC_CODE as well. */
1166 const char *flags = ",\"w\"\n";
1168 /* If there are quotes, remove them. */
1169 if (*input_line_pointer == '"')
1171 name = demand_copy_C_string (&len);
1172 demand_empty_rest_of_line ();
1173 name = concat (name, flags, (char *) NULL);
1179 c = get_symbol_name (&name);
1180 name = concat (name, flags, (char *) NULL);
1181 (void) restore_line_pointer (c);
1182 demand_empty_rest_of_line ();
1185 input_scrub_insert_line (name);
1186 obj_coff_section (0);
1188 /* If there was a line label, make sure that it gets assigned the proper
1189 section. This is for compatibility, even though the actual behavior
1190 is not explicitly defined. For consistency, we make .sect behave
1191 like .usect, since that is probably what people expect. */
1192 if (line_label != NULL)
1194 S_SET_SEGMENT (line_label, now_seg);
1195 symbol_set_frag (line_label, frag_now);
1196 S_SET_VALUE (line_label, frag_now_fix ());
1197 if (S_GET_STORAGE_CLASS (line_label) != C_EXT)
1198 S_SET_STORAGE_CLASS (line_label, C_LABEL);
1203 /* [symbol] .space space_in_bits
1204 [symbol] .bes space_in_bits
1205 BES puts the symbol at the *last* word allocated
1207 cribbed from s_space. */
1210 tic54x_space (int arg)
1216 int bits_per_byte = (OCTETS_PER_BYTE * 8);
1218 symbolS *label = line_label;
1221 ILLEGAL_WITHIN_STRUCT ();
1223 #ifdef md_flush_pending_output
1224 md_flush_pending_output ();
1227 /* Read the bit count. */
1230 /* Some expressions are unresolvable until later in the assembly pass;
1231 postpone until relaxation/fixup. we also have to postpone if a previous
1232 partial allocation has not been completed yet. */
1233 if (expn.X_op != O_constant || frag_bit_offset (frag_now, now_seg) == -1)
1235 struct bit_info *bi = XNEW (struct bit_info);
1240 p = frag_var (rs_machine_dependent,
1241 65536 * 2, 1, (relax_substateT) 0,
1242 make_expr_symbol (&expn), (offsetT) 0,
1250 /* Reduce the required size by any bit offsets currently left over
1251 from a previous .space/.bes/.field directive. */
1252 bit_offset = frag_now->tc_frag_data;
1253 if (bit_offset != 0 && bit_offset < 16)
1255 int spare_bits = bits_per_byte - bit_offset;
1257 if (spare_bits >= expn.X_add_number)
1259 /* Don't have to do anything; sufficient bits have already been
1260 allocated; just point the label to the right place. */
1263 symbol_set_frag (label, frag_now);
1264 S_SET_VALUE (label, frag_now_fix () - 1);
1267 frag_now->tc_frag_data += expn.X_add_number;
1270 expn.X_add_number -= spare_bits;
1271 /* Set the label to point to the first word allocated, which in this
1272 case is the previous word, which was only partially filled. */
1273 if (!bes && label != NULL)
1275 symbol_set_frag (label, frag_now);
1276 S_SET_VALUE (label, frag_now_fix () - 1);
1280 /* Convert bits to bytes/words and octets, rounding up. */
1281 words = ((expn.X_add_number + bits_per_byte - 1) / bits_per_byte);
1282 /* How many do we have left over? */
1283 bit_offset = expn.X_add_number % bits_per_byte;
1284 octets = words * OCTETS_PER_BYTE;
1287 as_warn (_(".space/.bes repeat count is negative, ignored"));
1290 else if (octets == 0)
1292 as_warn (_(".space/.bes repeat count is zero, ignored"));
1296 /* If we are in the absolute section, just bump the offset. */
1297 if (now_seg == absolute_section)
1299 abs_section_offset += words;
1300 if (bes && label != NULL)
1301 S_SET_VALUE (label, abs_section_offset - 1);
1302 frag_now->tc_frag_data = bit_offset;
1307 p = frag_var (rs_fill, 1, 1,
1308 (relax_substateT) 0, (symbolS *) 0,
1309 (offsetT) octets, (char *) 0);
1311 /* Make note of how many bits of this word we've allocated so far. */
1312 frag_now->tc_frag_data = bit_offset;
1314 /* .bes puts label at *last* word allocated. */
1315 if (bes && label != NULL)
1317 symbol_set_frag (label, frag_now);
1318 S_SET_VALUE (label, frag_now_fix () - 1);
1326 demand_empty_rest_of_line ();
1329 /* [symbol] .usect "section-name", size-in-words
1330 [, [blocking-flag] [, alignment-flag]]
1332 Uninitialized section.
1333 Non-zero blocking means that if the section would cross a page (128-word)
1334 boundary, it will be page-aligned.
1335 Non-zero alignment aligns on a longword boundary.
1337 Has no effect on the current section. */
1340 tic54x_usect (int x ATTRIBUTE_UNUSED)
1347 int size, blocking_flag, alignment_flag;
1349 subsegT current_subseg;
1352 ILLEGAL_WITHIN_STRUCT ();
1354 current_seg = now_seg; /* Save current seg. */
1355 current_subseg = now_subseg; /* Save current subseg. */
1357 c = get_symbol_name (§ion_name); /* Get terminator. */
1358 name = xstrdup (section_name);
1359 c = restore_line_pointer (c);
1362 ++input_line_pointer;
1365 as_bad (_("Missing size argument"));
1366 ignore_rest_of_line ();
1370 size = get_absolute_expression ();
1372 /* Read a possibly present third argument (blocking flag). */
1373 if (*input_line_pointer == ',')
1375 ++input_line_pointer;
1376 if (*input_line_pointer != ',')
1377 blocking_flag = get_absolute_expression ();
1381 /* Read a possibly present fourth argument (alignment flag). */
1382 if (*input_line_pointer == ',')
1384 ++input_line_pointer;
1385 alignment_flag = get_absolute_expression ();
1391 blocking_flag = alignment_flag = 0;
1393 seg = subseg_new (name, 0);
1394 flags = bfd_get_section_flags (stdoutput, seg) | SEC_ALLOC;
1398 /* s_align eats end of line; restore it. */
1400 --input_line_pointer;
1403 if (line_label != NULL)
1405 S_SET_SEGMENT (line_label, seg);
1406 symbol_set_frag (line_label, frag_now);
1407 S_SET_VALUE (line_label, frag_now_fix ());
1408 /* Set scl to label, since that's what TI does. */
1409 if (S_GET_STORAGE_CLASS (line_label) != C_EXT)
1410 S_SET_STORAGE_CLASS (line_label, C_LABEL);
1413 seg_info (seg)->bss = 1; /* Uninitialized data. */
1415 p = frag_var (rs_fill, 1, 1,
1416 (relax_substateT) 0, (symbolS *) line_label,
1417 size * OCTETS_PER_BYTE, (char *) 0);
1421 flags |= SEC_TIC54X_BLOCK;
1423 if (!bfd_set_section_flags (stdoutput, seg, flags))
1424 as_warn (_("Error setting flags for \"%s\": %s"), name,
1425 bfd_errmsg (bfd_get_error ()));
1427 subseg_set (current_seg, current_subseg); /* Restore current seg. */
1428 demand_empty_rest_of_line ();
1431 static enum cpu_version
1432 lookup_version (const char *ver)
1434 enum cpu_version version = VNONE;
1436 if (ver[0] == '5' && ver[1] == '4')
1438 if (strlen (ver) == 3
1439 && (ver[2] == '1' || ver[2] == '2' || ver[2] == '3'
1440 || ver[2] == '5' || ver[2] == '8' || ver[2] == '9'))
1441 version = ver[2] - '0';
1442 else if (strlen (ver) == 5
1443 && TOUPPER (ver[3]) == 'L'
1444 && TOUPPER (ver[4]) == 'P'
1445 && (ver[2] == '5' || ver[2] == '6'))
1446 version = ver[2] - '0' + 10;
1453 set_cpu (enum cpu_version version)
1456 if (version == V545LP || version == V546LP)
1458 symbolS *symbolP = symbol_new ("__allow_lp", absolute_section,
1459 (valueT) 1, &zero_address_frag);
1460 SF_SET_LOCAL (symbolP);
1461 symbol_table_insert (symbolP);
1465 /* .version cpu-version
1466 cpu-version may be one of the following:
1476 This is for compatibility only. It currently has no affect on assembly. */
1477 static int cpu_needs_set = 1;
1480 tic54x_version (int x ATTRIBUTE_UNUSED)
1482 enum cpu_version version = VNONE;
1483 enum cpu_version old_version = cpu;
1487 ILLEGAL_WITHIN_STRUCT ();
1490 ver = input_line_pointer;
1491 while (!is_end_of_line[(int) *input_line_pointer])
1492 ++input_line_pointer;
1493 c = *input_line_pointer;
1494 *input_line_pointer = 0;
1496 version = lookup_version (ver);
1498 if (cpu != VNONE && cpu != version)
1499 as_warn (_("CPU version has already been set"));
1501 if (version == VNONE)
1503 as_bad (_("Unrecognized version '%s'"), ver);
1504 ignore_rest_of_line ();
1507 else if (assembly_begun && version != old_version)
1509 as_bad (_("Changing of CPU version on the fly not supported"));
1510 ignore_rest_of_line ();
1516 *input_line_pointer = c;
1517 demand_empty_rest_of_line ();
1520 /* 'f' = float, 'x' = xfloat, 'd' = double, 'l' = ldouble. */
1523 tic54x_float_cons (int type)
1525 if (current_stag != 0)
1526 tic54x_struct_field ('f');
1528 #ifdef md_flush_pending_output
1529 md_flush_pending_output ();
1532 /* Align to long word boundary (4 octets) unless it's ".xfloat". */
1535 frag_align (2, 0, 2);
1536 /* If there's a label, assign it to the first allocated word. */
1537 if (line_label != NULL)
1539 symbol_set_frag (line_label, frag_now);
1540 S_SET_VALUE (line_label, frag_now_fix ());
1547 /* The argument is capitalized if it should be zero-terminated
1548 's' is normal string with upper 8-bits zero-filled, 'p' is packed.
1549 Code copied from stringer, and slightly modified so that strings are packed
1550 and encoded into the correct octets. */
1553 tic54x_stringer (int type)
1556 int append_zero = type == 'S' || type == 'P';
1557 int packed = type == 'p' || type == 'P';
1558 int last_char = -1; /* Packed strings need two bytes at a time to encode. */
1560 if (current_stag != NULL)
1562 tic54x_struct_field ('*');
1566 #ifdef md_flush_pending_output
1567 md_flush_pending_output ();
1570 c = ','; /* Do loop. */
1574 switch (*input_line_pointer)
1578 unsigned short value = get_absolute_expression ();
1579 FRAG_APPEND_1_CHAR ( value & 0xFF);
1580 FRAG_APPEND_1_CHAR ((value >> 8) & 0xFF);
1584 ++input_line_pointer; /* -> 1st char of string. */
1585 while (is_a_char (c = next_char_of_string ()))
1589 FRAG_APPEND_1_CHAR (c);
1590 FRAG_APPEND_1_CHAR (0);
1594 /* Packed strings are filled MS octet first. */
1595 if (last_char == -1)
1599 FRAG_APPEND_1_CHAR (c);
1600 FRAG_APPEND_1_CHAR (last_char);
1607 if (packed && last_char != -1)
1609 FRAG_APPEND_1_CHAR (0);
1610 FRAG_APPEND_1_CHAR (last_char);
1615 FRAG_APPEND_1_CHAR (0);
1616 FRAG_APPEND_1_CHAR (0);
1619 know (input_line_pointer[-1] == '\"');
1623 c = *input_line_pointer;
1624 if (!is_end_of_line[c])
1625 ++input_line_pointer;
1628 /* Finish up any leftover packed string. */
1629 if (packed && last_char != -1)
1631 FRAG_APPEND_1_CHAR (0);
1632 FRAG_APPEND_1_CHAR (last_char);
1634 demand_empty_rest_of_line ();
1638 tic54x_p2align (int arg ATTRIBUTE_UNUSED)
1640 as_bad (_("p2align not supported on this target"));
1644 tic54x_align_words (int arg)
1646 /* Only ".align" with no argument is allowed within .struct/.union. */
1649 if (!is_end_of_line[(int) *input_line_pointer])
1652 as_warn (_("Argument to .even ignored"));
1654 count = get_absolute_expression ();
1657 if (current_stag != NULL && arg == 128)
1659 if (current_stag->current_bitfield_offset != 0)
1661 current_stag->current_bitfield_offset = 0;
1662 ++abs_section_offset;
1664 demand_empty_rest_of_line ();
1668 ILLEGAL_WITHIN_STRUCT ();
1670 s_align_bytes (count << 1);
1673 /* Initialize multiple-bit fields within a single word of memory. */
1676 tic54x_field (int ignore ATTRIBUTE_UNUSED)
1682 symbolS *label = line_label;
1684 if (current_stag != NULL)
1686 tic54x_struct_field ('.');
1690 input_line_pointer = parse_expression (input_line_pointer, &expn);
1692 if (*input_line_pointer == ',')
1694 ++input_line_pointer;
1695 size = get_absolute_expression ();
1696 if (size < 1 || size > 32)
1698 as_bad (_("Invalid field size, must be from 1 to 32"));
1699 ignore_rest_of_line ();
1704 /* Truncate values to the field width. */
1705 if (expn.X_op != O_constant)
1707 /* If the expression value is relocatable, the field size *must*
1711 as_bad (_("field size must be 16 when value is relocatable"));
1712 ignore_rest_of_line ();
1716 frag_now->tc_frag_data = 0;
1717 emit_expr (&expn, 2);
1721 unsigned long fmask = (size == 32) ? 0xFFFFFFFF : (1ul << size) - 1;
1723 value = expn.X_add_number;
1724 expn.X_add_number &= fmask;
1725 if (value != (valueT) expn.X_add_number)
1726 as_warn (_("field value truncated"));
1727 value = expn.X_add_number;
1728 /* Bits are stored MS first. */
1731 frag_now->tc_frag_data = 0;
1733 md_number_to_chars (p, (value >> (size - 16)) & 0xFFFF, 2);
1738 int bit_offset = frag_bit_offset (frag_now, now_seg);
1740 fragS *alloc_frag = bit_offset_frag (frag_now, now_seg);
1741 if (bit_offset == -1)
1743 struct bit_info *bi = XNEW (struct bit_info);
1744 /* We don't know the previous offset at this time, so store the
1745 info we need and figure it out later. */
1746 expressionS size_exp;
1748 size_exp.X_op = O_constant;
1749 size_exp.X_add_number = size;
1751 bi->type = TYPE_FIELD;
1753 p = frag_var (rs_machine_dependent,
1754 4, 1, (relax_substateT) 0,
1755 make_expr_symbol (&size_exp), (offsetT) 0,
1759 else if (bit_offset == 0 || bit_offset + size > 16)
1761 /* Align a new field. */
1763 frag_now->tc_frag_data = 0;
1764 alloc_frag = frag_now;
1768 /* Put the new value entirely within the existing one. */
1769 p = alloc_frag == frag_now ?
1770 frag_now->fr_literal + frag_now_fix_octets () - 2 :
1771 alloc_frag->fr_literal;
1774 symbol_set_frag (label, alloc_frag);
1775 if (alloc_frag == frag_now)
1776 S_SET_VALUE (label, frag_now_fix () - 1);
1780 value <<= 16 - alloc_frag->tc_frag_data - size;
1782 /* OR in existing value. */
1783 if (alloc_frag->tc_frag_data)
1784 value |= ((unsigned short) p[1] << 8) | p[0];
1785 md_number_to_chars (p, value, 2);
1786 alloc_frag->tc_frag_data += size;
1787 if (alloc_frag->tc_frag_data == 16)
1788 alloc_frag->tc_frag_data = 0;
1792 demand_empty_rest_of_line ();
1795 /* Ideally, we want to check SEC_LOAD and SEC_HAS_CONTENTS, but those aren't
1796 available yet. seg_info ()->bss is the next best thing. */
1799 tic54x_initialized_section (segT seg)
1801 return !seg_info (seg)->bss;
1804 /* .clink ["section name"]
1806 Marks the section as conditionally linked (link only if contents are
1807 referenced elsewhere.
1808 Without a name, refers to the current initialized section.
1809 Name is required for uninitialized sections. */
1812 tic54x_clink (int ignored ATTRIBUTE_UNUSED)
1816 ILLEGAL_WITHIN_STRUCT ();
1818 if (*input_line_pointer == '\"')
1820 char *section_name = ++input_line_pointer;
1823 while (is_a_char (next_char_of_string ()))
1825 know (input_line_pointer[-1] == '\"');
1826 input_line_pointer[-1] = 0;
1827 name = xstrdup (section_name);
1829 seg = bfd_get_section_by_name (stdoutput, name);
1832 as_bad (_("Unrecognized section '%s'"), section_name);
1833 ignore_rest_of_line ();
1839 if (!tic54x_initialized_section (seg))
1841 as_bad (_("Current section is uninitialized, "
1842 "section name required for .clink"));
1843 ignore_rest_of_line ();
1848 seg->flags |= SEC_TIC54X_CLINK;
1850 demand_empty_rest_of_line ();
1853 /* Change the default include directory to be the current source file's
1854 directory, instead of the current working directory. If DOT is non-zero,
1855 set to "." instead. */
1858 tic54x_set_default_include (void)
1860 char *dir, *tmp = NULL;
1861 const char *curfile;
1864 curfile = as_where (&lineno);
1865 dir = xstrdup (curfile);
1866 tmp = strrchr (dir, '/');
1873 if (include_dir_count == 0)
1875 include_dirs = XNEWVEC (const char *, 1);
1876 include_dir_count = 1;
1878 include_dirs[0] = dir;
1879 if (len > include_dir_maxlen)
1880 include_dir_maxlen = len;
1882 else if (include_dirs != NULL)
1883 include_dirs[0] = ".";
1886 /* .include "filename" | filename
1887 .copy "filename" | filename
1889 FIXME 'include' file should be omitted from any output listing,
1890 'copy' should be included in any output listing
1891 FIXME -- prevent any included files from changing listing (compat only)
1892 FIXME -- need to include source file directory in search path; what's a
1893 good way to do this?
1895 Entering/exiting included/copied file clears all local labels. */
1898 tic54x_include (int ignored ATTRIBUTE_UNUSED)
1900 char newblock[] = " .newblock\n";
1905 ILLEGAL_WITHIN_STRUCT ();
1909 if (*input_line_pointer == '"')
1911 filename = demand_copy_C_string (&len);
1912 demand_empty_rest_of_line ();
1916 filename = input_line_pointer;
1917 while (!is_end_of_line[(int) *input_line_pointer])
1918 ++input_line_pointer;
1919 c = *input_line_pointer;
1920 *input_line_pointer = '\0';
1921 filename = xstrdup (filename);
1922 *input_line_pointer = c;
1923 demand_empty_rest_of_line ();
1925 /* Insert a partial line with the filename (for the sake of s_include)
1927 The included file will be inserted before the newblock, so that the
1928 newblock is executed after the included file is processed. */
1929 input = concat ("\"", filename, "\"\n", newblock, (char *) NULL);
1930 input_scrub_insert_line (input);
1932 tic54x_clear_local_labels (0);
1934 tic54x_set_default_include ();
1940 tic54x_message (int type)
1946 ILLEGAL_WITHIN_STRUCT ();
1948 if (*input_line_pointer == '"')
1949 msg = demand_copy_C_string (&len);
1952 msg = input_line_pointer;
1953 while (!is_end_of_line[(int) *input_line_pointer])
1954 ++input_line_pointer;
1955 c = *input_line_pointer;
1956 *input_line_pointer = 0;
1957 msg = xstrdup (msg);
1958 *input_line_pointer = c;
1964 as_tsktsk ("%s", msg);
1967 as_warn ("%s", msg);
1974 demand_empty_rest_of_line ();
1978 Define a special symbol that refers to the loadtime address rather than the
1979 runtime address within the current section.
1981 This symbol gets a special storage class so that when it is resolved, it is
1982 resolved relative to the load address (lma) of the section rather than the
1983 run address (vma). */
1986 tic54x_label (int ignored ATTRIBUTE_UNUSED)
1992 ILLEGAL_WITHIN_STRUCT ();
1994 c = get_symbol_name (&name);
1995 symbolP = colon (name);
1996 S_SET_STORAGE_CLASS (symbolP, C_STATLAB);
1998 (void) restore_line_pointer (c);
1999 demand_empty_rest_of_line ();
2003 Install all memory-mapped register names into the symbol table as
2004 absolute local symbols. */
2007 tic54x_mmregs (int ignored ATTRIBUTE_UNUSED)
2011 ILLEGAL_WITHIN_STRUCT ();
2013 for (sym = (tic54x_symbol *) mmregs; sym->name; sym++)
2015 symbolS *symbolP = symbol_new (sym->name, absolute_section,
2016 (valueT) sym->value, &zero_address_frag);
2017 SF_SET_LOCAL (symbolP);
2018 symbol_table_insert (symbolP);
2023 Count defaults to 1024. */
2026 tic54x_loop (int count)
2028 ILLEGAL_WITHIN_STRUCT ();
2031 if (!is_end_of_line[(int) *input_line_pointer])
2032 count = get_absolute_expression ();
2034 do_repeat (count, "LOOP", "ENDLOOP");
2037 /* Normally, endloop gets eaten by the preceding loop. */
2040 tic54x_endloop (int ignore ATTRIBUTE_UNUSED)
2042 as_bad (_("ENDLOOP without corresponding LOOP"));
2043 ignore_rest_of_line ();
2046 /* .break [condition]. */
2049 tic54x_break (int ignore ATTRIBUTE_UNUSED)
2053 ILLEGAL_WITHIN_STRUCT ();
2056 if (!is_end_of_line[(int) *input_line_pointer])
2057 cond = get_absolute_expression ();
2060 end_repeat (substitution_line ? 1 : 0);
2064 set_address_mode (int mode)
2067 if (mode == far_mode)
2069 symbolS *symbolP = symbol_new ("__allow_far", absolute_section,
2070 (valueT) 1, &zero_address_frag);
2071 SF_SET_LOCAL (symbolP);
2072 symbol_table_insert (symbolP);
2076 static int address_mode_needs_set = 1;
2079 tic54x_address_mode (int mode)
2081 if (assembly_begun && amode != (unsigned) mode)
2083 as_bad (_("Mixing of normal and extended addressing not supported"));
2084 ignore_rest_of_line ();
2087 if (mode == far_mode && cpu != VNONE && cpu != V548 && cpu != V549)
2089 as_bad (_("Extended addressing not supported on the specified CPU"));
2090 ignore_rest_of_line ();
2094 set_address_mode (mode);
2095 demand_empty_rest_of_line ();
2098 /* .sblock "section"|section [,...,"section"|section]
2099 Designate initialized sections for blocking. */
2102 tic54x_sblock (int ignore ATTRIBUTE_UNUSED)
2106 ILLEGAL_WITHIN_STRUCT ();
2113 if (*input_line_pointer == '"')
2117 name = demand_copy_C_string (&len);
2123 c = get_symbol_name (§ion_name);
2124 name = xstrdup (section_name);
2125 (void) restore_line_pointer (c);
2128 seg = bfd_get_section_by_name (stdoutput, name);
2131 as_bad (_("Unrecognized section '%s'"), name);
2132 ignore_rest_of_line ();
2135 else if (!tic54x_initialized_section (seg))
2137 as_bad (_(".sblock may be used for initialized sections only"));
2138 ignore_rest_of_line ();
2141 seg->flags |= SEC_TIC54X_BLOCK;
2143 c = *input_line_pointer;
2144 if (!is_end_of_line[(int) c])
2145 ++input_line_pointer;
2148 demand_empty_rest_of_line ();
2151 /* symbol .set value
2154 value must be defined externals; no forward-referencing allowed
2155 symbols assigned with .set/.equ may not be redefined. */
2158 tic54x_set (int ignore ATTRIBUTE_UNUSED)
2163 ILLEGAL_WITHIN_STRUCT ();
2167 as_bad (_("Symbol missing for .set/.equ"));
2168 ignore_rest_of_line ();
2171 name = xstrdup (S_GET_NAME (line_label));
2173 if ((symbolP = symbol_find (name)) == NULL
2174 && (symbolP = md_undefined_symbol (name)) == NULL)
2176 symbolP = symbol_new (name, absolute_section, 0, &zero_address_frag);
2177 S_SET_STORAGE_CLASS (symbolP, C_STAT);
2180 S_SET_DATA_TYPE (symbolP, T_INT);
2181 S_SET_SEGMENT (symbolP, absolute_section);
2182 symbol_table_insert (symbolP);
2183 pseudo_set (symbolP);
2184 demand_empty_rest_of_line ();
2189 List false conditional blocks. */
2192 tic54x_fclist (int show)
2195 listing &= ~LISTING_NOCOND;
2197 listing |= LISTING_NOCOND;
2198 demand_empty_rest_of_line ();
2202 tic54x_sslist (int show)
2204 ILLEGAL_WITHIN_STRUCT ();
2206 listing_sslist = show;
2209 /* .var SYM[,...,SYMN]
2210 Define a substitution string to be local to a macro. */
2213 tic54x_var (int ignore ATTRIBUTE_UNUSED)
2215 static char empty[] = "";
2219 ILLEGAL_WITHIN_STRUCT ();
2221 if (macro_level == 0)
2223 as_bad (_(".var may only be used within a macro definition"));
2224 ignore_rest_of_line ();
2229 if (!ISALPHA (*input_line_pointer))
2231 as_bad (_("Substitution symbols must begin with a letter"));
2232 ignore_rest_of_line ();
2235 c = get_symbol_name (&name);
2236 /* .var symbols start out with a null string. */
2237 name = xstrdup (name);
2238 hash_insert (subsym_hash[macro_level], name, empty);
2239 c = restore_line_pointer (c);
2242 ++input_line_pointer;
2243 if (is_end_of_line[(int) *input_line_pointer])
2244 c = *input_line_pointer;
2249 demand_empty_rest_of_line ();
2252 /* .mlib <macro library filename>
2254 Macro libraries are archived (standard AR-format) text macro definitions
2255 Expand the file and include it.
2257 FIXME need to try the source file directory as well. */
2260 tic54x_mlib (int ignore ATTRIBUTE_UNUSED)
2267 ILLEGAL_WITHIN_STRUCT ();
2269 /* Parse the filename. */
2270 if (*input_line_pointer == '"')
2272 if ((filename = demand_copy_C_string (&len)) == NULL)
2279 while (!is_end_of_line[(int) *input_line_pointer]
2280 && !ISSPACE (*input_line_pointer))
2282 obstack_1grow (¬es, *input_line_pointer);
2283 ++input_line_pointer;
2286 obstack_1grow (¬es, '\0');
2287 filename = obstack_finish (¬es);
2289 demand_empty_rest_of_line ();
2291 tic54x_set_default_include ();
2292 path = XNEWVEC (char, (unsigned long) len + include_dir_maxlen + 5);
2294 for (i = 0; i < include_dir_count; i++)
2298 strcpy (path, include_dirs[i]);
2300 strcat (path, filename);
2301 if ((try = fopen (path, "r")) != NULL)
2308 if (i >= include_dir_count)
2314 /* FIXME: if path is found, malloc'd storage is not freed. Of course, this
2315 happens all over the place, and since the assembler doesn't usually keep
2316 running for a very long time, it really doesn't matter. */
2317 register_dependency (path);
2319 /* Expand all archive entries to temporary files and include them. */
2320 abfd = bfd_openr (path, NULL);
2323 as_bad (_("can't open macro library file '%s' for reading: %s"),
2324 path, bfd_errmsg (bfd_get_error ()));
2325 ignore_rest_of_line ();
2328 if (!bfd_check_format (abfd, bfd_archive))
2330 as_bad (_("File '%s' not in macro archive format"), path);
2331 ignore_rest_of_line ();
2335 /* Open each BFD as binary (it should be straight ASCII text). */
2336 for (mbfd = bfd_openr_next_archived_file (abfd, NULL);
2337 mbfd != NULL; mbfd = bfd_openr_next_archived_file (abfd, mbfd))
2339 /* Get a size at least as big as the archive member. */
2340 bfd_size_type size = bfd_get_size (mbfd);
2341 char *buf = XNEWVEC (char, size);
2342 char *fname = tmpnam (NULL);
2345 /* We're not sure how big it is, but it will be smaller than "size". */
2346 size = bfd_bread (buf, size, mbfd);
2348 /* Write to a temporary file, then use s_include to include it
2350 ftmp = fopen (fname, "w+b");
2351 fwrite ((void *) buf, size, 1, ftmp);
2352 if (size == 0 || buf[size - 1] != '\n')
2353 fwrite ("\n", 1, 1, ftmp);
2356 input_scrub_insert_file (fname);
2361 const pseudo_typeS md_pseudo_table[] =
2363 { "algebraic", s_ignore , 0 },
2364 { "align" , tic54x_align_words , 128 },
2365 { "ascii" , tic54x_stringer , 'p' },
2366 { "asciz" , tic54x_stringer , 'P' },
2367 { "even" , tic54x_align_words , 2 },
2368 { "asg" , tic54x_asg , 0 },
2369 { "eval" , tic54x_eval , 0 },
2370 { "bss" , tic54x_bss , 0 },
2371 { "byte" , tic54x_cons , 'b' },
2372 { "ubyte" , tic54x_cons , 'B' },
2373 { "char" , tic54x_cons , 'c' },
2374 { "uchar" , tic54x_cons , 'C' },
2375 { "clink" , tic54x_clink , 0 },
2376 { "c_mode" , tic54x_address_mode , c_mode },
2377 { "copy" , tic54x_include , 'c' },
2378 { "include" , tic54x_include , 'i' },
2379 { "data" , tic54x_sect , 'd' },
2380 { "double" , tic54x_float_cons , 'd' },
2381 { "ldouble" , tic54x_float_cons , 'l' },
2382 { "drlist" , s_ignore , 0 },
2383 { "drnolist" , s_ignore , 0 },
2384 { "emsg" , tic54x_message , 'e' },
2385 { "mmsg" , tic54x_message , 'm' },
2386 { "wmsg" , tic54x_message , 'w' },
2387 { "far_mode" , tic54x_address_mode , far_mode },
2388 { "fclist" , tic54x_fclist , 1 },
2389 { "fcnolist" , tic54x_fclist , 0 },
2390 { "field" , tic54x_field , -1 },
2391 { "float" , tic54x_float_cons , 'f' },
2392 { "xfloat" , tic54x_float_cons , 'x' },
2393 { "global" , tic54x_global , 'g' },
2394 { "def" , tic54x_global , 'd' },
2395 { "ref" , tic54x_global , 'r' },
2396 { "half" , tic54x_cons , 'h' },
2397 { "uhalf" , tic54x_cons , 'H' },
2398 { "short" , tic54x_cons , 's' },
2399 { "ushort" , tic54x_cons , 'S' },
2400 { "if" , s_if , (int) O_ne },
2401 { "elseif" , s_elseif , (int) O_ne },
2402 { "else" , s_else , 0 },
2403 { "endif" , s_endif , 0 },
2404 { "int" , tic54x_cons , 'i' },
2405 { "uint" , tic54x_cons , 'I' },
2406 { "word" , tic54x_cons , 'w' },
2407 { "uword" , tic54x_cons , 'W' },
2408 { "label" , tic54x_label , 0 }, /* Loadtime
2410 { "length" , s_ignore , 0 },
2411 { "width" , s_ignore , 0 },
2412 { "long" , tic54x_cons , 'l' },
2413 { "ulong" , tic54x_cons , 'L' },
2414 { "xlong" , tic54x_cons , 'x' },
2415 { "loop" , tic54x_loop , 1024 },
2416 { "break" , tic54x_break , 0 },
2417 { "endloop" , tic54x_endloop , 0 },
2418 { "mlib" , tic54x_mlib , 0 },
2419 { "mlist" , s_ignore , 0 },
2420 { "mnolist" , s_ignore , 0 },
2421 { "mmregs" , tic54x_mmregs , 0 },
2422 { "newblock" , tic54x_clear_local_labels, 0 },
2423 { "option" , s_ignore , 0 },
2424 { "p2align" , tic54x_p2align , 0 },
2425 { "sblock" , tic54x_sblock , 0 },
2426 { "sect" , tic54x_sect , '*' },
2427 { "set" , tic54x_set , 0 },
2428 { "equ" , tic54x_set , 0 },
2429 { "space" , tic54x_space , 0 },
2430 { "bes" , tic54x_space , 1 },
2431 { "sslist" , tic54x_sslist , 1 },
2432 { "ssnolist" , tic54x_sslist , 0 },
2433 { "string" , tic54x_stringer , 's' },
2434 { "pstring" , tic54x_stringer , 'p' },
2435 { "struct" , tic54x_struct , 0 },
2436 { "tag" , tic54x_tag , 0 },
2437 { "endstruct", tic54x_endstruct , 0 },
2438 { "tab" , s_ignore , 0 },
2439 { "text" , tic54x_sect , 't' },
2440 { "union" , tic54x_struct , 1 },
2441 { "endunion" , tic54x_endstruct , 1 },
2442 { "usect" , tic54x_usect , 0 },
2443 { "var" , tic54x_var , 0 },
2444 { "version" , tic54x_version , 0 },
2449 md_parse_option (int c, const char *arg)
2455 case OPTION_COFF_VERSION:
2457 int version = atoi (arg);
2459 if (version != 0 && version != 1 && version != 2)
2460 as_fatal (_("Bad COFF version '%s'"), arg);
2461 /* FIXME -- not yet implemented. */
2464 case OPTION_CPU_VERSION:
2466 cpu = lookup_version (arg);
2469 as_fatal (_("Bad CPU version '%s'"), arg);
2472 case OPTION_ADDRESS_MODE:
2474 address_mode_needs_set = 1;
2476 case OPTION_STDERR_TO_FILE:
2478 const char *filename = arg;
2479 FILE *fp = fopen (filename, "w+");
2482 as_fatal (_("Can't redirect stderr to the file '%s'"), filename);
2484 if ((fp = freopen (filename, "w+", stderr)) == NULL)
2485 as_fatal (_("Can't redirect stderr to the file '%s'"), filename);
2493 /* Create a "local" substitution string hash table for a new macro level
2494 Some docs imply that macros have to use .newblock in order to be able
2495 to re-use a local label. We effectively do an automatic .newblock by
2496 deleting the local label hash between macro invocations. */
2499 tic54x_macro_start (void)
2502 subsym_hash[macro_level] = hash_new ();
2503 local_label_hash[macro_level] = hash_new ();
2507 tic54x_macro_info (const macro_entry *macro)
2509 const formal_entry *entry;
2511 /* Put the formal args into the substitution symbol table. */
2512 for (entry = macro->formals; entry; entry = entry->next)
2514 char *name = xstrndup (entry->name.ptr, entry->name.len);
2515 char *value = xstrndup (entry->actual.ptr, entry->actual.len);
2517 name[entry->name.len] = '\0';
2518 value[entry->actual.len] = '\0';
2519 hash_insert (subsym_hash[macro_level], name, value);
2523 /* Get rid of this macro's .var's, arguments, and local labels. */
2526 tic54x_macro_end (void)
2528 hash_die (subsym_hash[macro_level]);
2529 subsym_hash[macro_level] = NULL;
2530 hash_die (local_label_hash[macro_level]);
2531 local_label_hash[macro_level] = NULL;
2536 subsym_symlen (char *a, char *ignore ATTRIBUTE_UNUSED)
2541 /* Compare symbol A to string B. */
2544 subsym_symcmp (char *a, char *b)
2546 return strcmp (a, b);
2549 /* Return the index of the first occurrence of B in A, or zero if none
2550 assumes b is an integer char value as a string. Index is one-based. */
2553 subsym_firstch (char *a, char *b)
2556 char *tmp = strchr (a, val);
2558 return tmp ? tmp - a + 1 : 0;
2561 /* Similar to firstch, but returns index of last occurrence of B in A. */
2564 subsym_lastch (char *a, char *b)
2567 char *tmp = strrchr (a, val);
2569 return tmp ? tmp - a + 1 : 0;
2572 /* Returns 1 if string A is defined in the symbol table (NOT the substitution
2576 subsym_isdefed (char *a, char *ignore ATTRIBUTE_UNUSED)
2578 symbolS *symbolP = symbol_find (a);
2580 return symbolP != NULL;
2583 /* Assign first member of comma-separated list B (e.g. "1,2,3") to the symbol
2584 A, or zero if B is a null string. Both arguments *must* be substitution
2585 symbols, unsubstituted. */
2588 subsym_ismember (char *sym, char *list)
2590 char *elem, *ptr, *listv;
2595 listv = subsym_lookup (list, macro_level);
2598 as_bad (_("Undefined substitution symbol '%s'"), list);
2599 ignore_rest_of_line ();
2603 ptr = elem = xstrdup (listv);
2604 while (*ptr && *ptr != ',')
2608 subsym_create_or_replace (sym, elem);
2610 /* Reassign the list. */
2611 subsym_create_or_replace (list, ptr);
2613 /* Assume this value, docs aren't clear. */
2617 /* Return zero if not a constant; otherwise:
2625 subsym_iscons (char *a, char *ignore ATTRIBUTE_UNUSED)
2629 parse_expression (a, &expn);
2631 if (expn.X_op == O_constant)
2633 int len = strlen (a);
2635 switch (TOUPPER (a[len - 1]))
2648 /* No suffix; either octal, hex, or decimal. */
2649 if (*a == '0' && len > 1)
2651 if (TOUPPER (a[1]) == 'X')
2661 /* Return 1 if A is a valid symbol name. Expects string input. */
2664 subsym_isname (char *a, char *ignore ATTRIBUTE_UNUSED)
2666 if (!is_name_beginner (*a))
2670 if (!is_part_of_name (*a))
2677 /* Return whether the string is a register; accepts ar0-7, unless .mmregs has
2678 been seen; if so, recognize any memory-mapped register.
2679 Note this does not recognize "A" or "B" accumulators. */
2682 subsym_isreg (char *a, char *ignore ATTRIBUTE_UNUSED)
2684 if (hash_find (reg_hash, a))
2686 if (hash_find (mmreg_hash, a))
2691 /* Return the structure size, given the stag. */
2694 subsym_structsz (char *name, char *ignore ATTRIBUTE_UNUSED)
2696 struct stag *stag = (struct stag *) hash_find (stag_hash, name);
2704 /* If anybody actually uses this, they can fix it :)
2705 FIXME I'm not sure what the "reference point" of a structure is. It might
2706 be either the initial offset given .struct, or it may be the offset of the
2707 structure within another structure, or it might be something else
2708 altogether. since the TI assembler doesn't seem to ever do anything but
2709 return zero, we punt and return zero. */
2712 subsym_structacc (char *stag_name ATTRIBUTE_UNUSED,
2713 char *ignore ATTRIBUTE_UNUSED)
2719 math_ceil (float arg1, float ignore ATTRIBUTE_UNUSED)
2721 return (float) ceil (arg1);
2725 math_cvi (float arg1, float ignore ATTRIBUTE_UNUSED)
2731 math_floor (float arg1, float ignore ATTRIBUTE_UNUSED)
2733 return (float) floor (arg1);
2737 math_fmod (float arg1, float arg2)
2739 return (int) arg1 % (int) arg2;
2743 math_int (float arg1, float ignore ATTRIBUTE_UNUSED)
2745 return ((float) ((int) arg1)) == arg1;
2749 math_round (float arg1, float ignore ATTRIBUTE_UNUSED)
2751 return arg1 > 0 ? (int) (arg1 + 0.5) : (int) (arg1 - 0.5);
2755 math_sgn (float arg1, float ignore ATTRIBUTE_UNUSED)
2757 return (arg1 < 0) ? -1 : (arg1 ? 1 : 0);
2761 math_trunc (float arg1, float ignore ATTRIBUTE_UNUSED)
2767 math_acos (float arg1, float ignore ATTRIBUTE_UNUSED)
2769 return (float) acos (arg1);
2773 math_asin (float arg1, float ignore ATTRIBUTE_UNUSED)
2775 return (float) asin (arg1);
2779 math_atan (float arg1, float ignore ATTRIBUTE_UNUSED)
2781 return (float) atan (arg1);
2785 math_atan2 (float arg1, float arg2)
2787 return (float) atan2 (arg1, arg2);
2791 math_cosh (float arg1, float ignore ATTRIBUTE_UNUSED)
2793 return (float) cosh (arg1);
2797 math_cos (float arg1, float ignore ATTRIBUTE_UNUSED)
2799 return (float) cos (arg1);
2803 math_cvf (float arg1, float ignore ATTRIBUTE_UNUSED)
2805 return (float) arg1;
2809 math_exp (float arg1, float ignore ATTRIBUTE_UNUSED)
2811 return (float) exp (arg1);
2815 math_fabs (float arg1, float ignore ATTRIBUTE_UNUSED)
2817 return (float) fabs (arg1);
2820 /* expr1 * 2^expr2. */
2823 math_ldexp (float arg1, float arg2)
2825 return arg1 * (float) pow (2.0, arg2);
2829 math_log10 (float arg1, float ignore ATTRIBUTE_UNUSED)
2831 return (float) log10 (arg1);
2835 math_log (float arg1, float ignore ATTRIBUTE_UNUSED)
2837 return (float) log (arg1);
2841 math_max (float arg1, float arg2)
2843 return (arg1 > arg2) ? arg1 : arg2;
2847 math_min (float arg1, float arg2)
2849 return (arg1 < arg2) ? arg1 : arg2;
2853 math_pow (float arg1, float arg2)
2855 return (float) pow (arg1, arg2);
2859 math_sin (float arg1, float ignore ATTRIBUTE_UNUSED)
2861 return (float) sin (arg1);
2865 math_sinh (float arg1, float ignore ATTRIBUTE_UNUSED)
2867 return (float) sinh (arg1);
2871 math_sqrt (float arg1, float ignore ATTRIBUTE_UNUSED)
2873 return (float) sqrt (arg1);
2877 math_tan (float arg1, float ignore ATTRIBUTE_UNUSED)
2879 return (float) tan (arg1);
2883 math_tanh (float arg1, float ignore ATTRIBUTE_UNUSED)
2885 return (float) tanh (arg1);
2888 /* Built-in substitution symbol functions and math functions. */
2892 int (*proc) (char *, char *);
2894 } subsym_proc_entry;
2896 static const subsym_proc_entry subsym_procs[] =
2898 /* Assembler built-in string substitution functions. */
2899 { "$symlen", subsym_symlen, 1, },
2900 { "$symcmp", subsym_symcmp, 2, },
2901 { "$firstch", subsym_firstch, 2, },
2902 { "$lastch", subsym_lastch, 2, },
2903 { "$isdefed", subsym_isdefed, 1, },
2904 { "$ismember", subsym_ismember, 2, },
2905 { "$iscons", subsym_iscons, 1, },
2906 { "$isname", subsym_isname, 1, },
2907 { "$isreg", subsym_isreg, 1, },
2908 { "$structsz", subsym_structsz, 1, },
2909 { "$structacc", subsym_structacc, 1, },
2916 float (*proc) (float, float);
2921 static const math_proc_entry math_procs[] =
2923 /* Integer-returning built-in math functions. */
2924 { "$cvi", math_cvi, 1, 1 },
2925 { "$int", math_int, 1, 1 },
2926 { "$sgn", math_sgn, 1, 1 },
2928 /* Float-returning built-in math functions. */
2929 { "$acos", math_acos, 1, 0 },
2930 { "$asin", math_asin, 1, 0 },
2931 { "$atan", math_atan, 1, 0 },
2932 { "$atan2", math_atan2, 2, 0 },
2933 { "$ceil", math_ceil, 1, 0 },
2934 { "$cosh", math_cosh, 1, 0 },
2935 { "$cos", math_cos, 1, 0 },
2936 { "$cvf", math_cvf, 1, 0 },
2937 { "$exp", math_exp, 1, 0 },
2938 { "$fabs", math_fabs, 1, 0 },
2939 { "$floor", math_floor, 1, 0 },
2940 { "$fmod", math_fmod, 2, 0 },
2941 { "$ldexp", math_ldexp, 2, 0 },
2942 { "$log10", math_log10, 1, 0 },
2943 { "$log", math_log, 1, 0 },
2944 { "$max", math_max, 2, 0 },
2945 { "$min", math_min, 2, 0 },
2946 { "$pow", math_pow, 2, 0 },
2947 { "$round", math_round, 1, 0 },
2948 { "$sin", math_sin, 1, 0 },
2949 { "$sinh", math_sinh, 1, 0 },
2950 { "$sqrt", math_sqrt, 1, 0 },
2951 { "$tan", math_tan, 1, 0 },
2952 { "$tanh", math_tanh, 1, 0 },
2953 { "$trunc", math_trunc, 1, 0 },
2954 { NULL, NULL, 0, 0 },
2962 const subsym_proc_entry *subsym_proc;
2963 const math_proc_entry *math_proc;
2964 const char *hash_err;
2966 char *TIC54X_DIR = getenv ("TIC54X_DIR");
2967 char *A_DIR = TIC54X_DIR ? TIC54X_DIR : getenv ("A_DIR");
2971 /* Look for A_DIR and add it to the include list. */
2974 char *tmp = xstrdup (A_DIR);
2978 char *next = strchr (tmp, ';');
2982 add_include_dir (tmp);
2985 while (tmp != NULL);
2988 op_hash = hash_new ();
2989 for (tm = (insn_template *) tic54x_optab; tm->name; tm++)
2991 if (hash_find (op_hash, tm->name))
2993 hash_err = hash_insert (op_hash, tm->name, (char *) tm);
2995 as_fatal ("Internal Error: Can't hash %s: %s",
2996 tm->name, hash_err);
2998 parop_hash = hash_new ();
2999 for (tm = (insn_template *) tic54x_paroptab; tm->name; tm++)
3001 if (hash_find (parop_hash, tm->name))
3003 hash_err = hash_insert (parop_hash, tm->name, (char *) tm);
3005 as_fatal ("Internal Error: Can't hash %s: %s",
3006 tm->name, hash_err);
3008 reg_hash = hash_new ();
3009 for (sym = (tic54x_symbol *) regs; sym->name; sym++)
3011 /* Add basic registers to the symbol table. */
3012 symbolS *symbolP = symbol_new (sym->name, absolute_section,
3013 (valueT) sym->value, &zero_address_frag);
3014 SF_SET_LOCAL (symbolP);
3015 symbol_table_insert (symbolP);
3016 hash_err = hash_insert (reg_hash, sym->name, (char *) sym);
3018 for (sym = (tic54x_symbol *) mmregs; sym->name; sym++)
3019 hash_err = hash_insert (reg_hash, sym->name, (char *) sym);
3020 mmreg_hash = hash_new ();
3021 for (sym = (tic54x_symbol *) mmregs; sym->name; sym++)
3022 hash_err = hash_insert (mmreg_hash, sym->name, (char *) sym);
3024 cc_hash = hash_new ();
3025 for (sym = (tic54x_symbol *) condition_codes; sym->name; sym++)
3026 hash_err = hash_insert (cc_hash, sym->name, (char *) sym);
3028 cc2_hash = hash_new ();
3029 for (sym = (tic54x_symbol *) cc2_codes; sym->name; sym++)
3030 hash_err = hash_insert (cc2_hash, sym->name, (char *) sym);
3032 cc3_hash = hash_new ();
3033 for (sym = (tic54x_symbol *) cc3_codes; sym->name; sym++)
3034 hash_err = hash_insert (cc3_hash, sym->name, (char *) sym);
3036 sbit_hash = hash_new ();
3037 for (sym = (tic54x_symbol *) status_bits; sym->name; sym++)
3038 hash_err = hash_insert (sbit_hash, sym->name, (char *) sym);
3040 misc_symbol_hash = hash_new ();
3041 for (symname = (char **) misc_symbols; *symname; symname++)
3042 hash_err = hash_insert (misc_symbol_hash, *symname, *symname);
3044 /* Only the base substitution table and local label table are initialized;
3045 the others (for local macro substitution) get instantiated as needed. */
3046 local_label_hash[0] = hash_new ();
3047 subsym_hash[0] = hash_new ();
3048 for (subsym_proc = subsym_procs; subsym_proc->name; subsym_proc++)
3049 hash_err = hash_insert (subsym_hash[0], subsym_proc->name,
3050 (char *) subsym_proc);
3052 math_hash = hash_new ();
3053 for (math_proc = math_procs; math_proc->name; math_proc++)
3055 /* Insert into the main subsym hash for recognition; insert into
3056 the math hash to actually store information. */
3057 hash_err = hash_insert (subsym_hash[0], math_proc->name,
3058 (char *) math_proc);
3059 hash_err = hash_insert (math_hash, math_proc->name,
3060 (char *) math_proc);
3062 subsym_recurse_hash = hash_new ();
3063 stag_hash = hash_new ();
3067 is_accumulator (struct opstruct *operand)
3069 return strcasecmp (operand->buf, "a") == 0
3070 || strcasecmp (operand->buf, "b") == 0;
3073 /* Return the number of operands found, or -1 on error, copying the
3074 operands into the given array and the accompanying expressions into
3078 get_operands (struct opstruct operands[], char *line)
3082 int expecting_operand = 0;
3085 while (numexp < MAX_OPERANDS && !is_end_of_line[(int) *lptr])
3087 int paren_not_balanced = 0;
3088 char *op_start, *op_end;
3090 while (*lptr && ISSPACE (*lptr))
3093 while (paren_not_balanced || *lptr != ',')
3097 if (paren_not_balanced)
3099 as_bad (_("Unbalanced parenthesis in operand %d"), numexp);
3106 ++paren_not_balanced;
3107 else if (*lptr == ')')
3108 --paren_not_balanced;
3112 if (op_end != op_start)
3114 int len = op_end - op_start;
3116 strncpy (operands[numexp].buf, op_start, len);
3117 operands[numexp].buf[len] = 0;
3118 /* Trim trailing spaces; while the preprocessor gets rid of most,
3119 there are weird usage patterns that can introduce them
3120 (i.e. using strings for macro args). */
3121 while (len > 0 && ISSPACE (operands[numexp].buf[len - 1]))
3122 operands[numexp].buf[--len] = 0;
3128 if (expecting_operand || *lptr == ',')
3130 as_bad (_("Expecting operand after ','"));
3136 if (*++lptr == '\0')
3138 as_bad (_("Expecting operand after ','"));
3141 expecting_operand = 1;
3145 while (*lptr && ISSPACE (*lptr++))
3147 if (!is_end_of_line[(int) *lptr])
3149 as_bad (_("Extra junk on line"));
3153 /* OK, now parse them into expressions. */
3154 for (i = 0; i < numexp; i++)
3156 memset (&operands[i].exp, 0, sizeof (operands[i].exp));
3157 if (operands[i].buf[0] == '#')
3160 parse_expression (operands[i].buf + 1, &operands[i].exp);
3162 else if (operands[i].buf[0] == '@')
3164 /* Direct notation. */
3165 parse_expression (operands[i].buf + 1, &operands[i].exp);
3167 else if (operands[i].buf[0] == '*')
3170 char *paren = strchr (operands[i].buf, '(');
3172 /* Allow immediate syntax in the inner expression. */
3173 if (paren && paren[1] == '#')
3176 /* Pull out the lk expression or SP offset, if present. */
3179 int len = strlen (paren);
3180 char *end = paren + len;
3183 while (end[-1] != ')')
3186 as_bad (_("Badly formed address expression"));
3191 parse_expression (paren, &operands[i].exp);
3195 operands[i].exp.X_op = O_absent;
3198 parse_expression (operands[i].buf, &operands[i].exp);
3204 /* Predicates for different operand types. */
3207 is_immediate (struct opstruct *operand)
3209 return *operand->buf == '#';
3212 /* This is distinguished from immediate because some numbers must be constants
3213 and must *not* have the '#' prefix. */
3216 is_absolute (struct opstruct *operand)
3218 return operand->exp.X_op == O_constant && !is_immediate (operand);
3221 /* Is this an indirect operand? */
3224 is_indirect (struct opstruct *operand)
3226 return operand->buf[0] == '*';
3229 /* Is this a valid dual-memory operand? */
3232 is_dual (struct opstruct *operand)
3234 if (is_indirect (operand) && strncasecmp (operand->buf, "*ar", 3) == 0)
3236 char *tmp = operand->buf + 3;
3241 /* Only allow *ARx, *ARx-, *ARx+, or *ARx+0%. */
3242 valid_mod = *tmp == '\0' ||
3243 strcasecmp (tmp, "-") == 0 ||
3244 strcasecmp (tmp, "+") == 0 ||
3245 strcasecmp (tmp, "+0%") == 0;
3246 return arf >= 2 && arf <= 5 && valid_mod;
3252 is_mmreg (struct opstruct *operand)
3254 return (is_absolute (operand)
3255 || is_immediate (operand)
3256 || hash_find (mmreg_hash, operand->buf) != 0);
3260 is_type (struct opstruct *operand, enum optype type)
3265 return operand->buf[0] == 0;
3268 return is_dual (operand);
3270 return is_indirect (operand);
3272 /* This one *must* be immediate. */
3273 return is_immediate (operand);
3282 /* Address may be a numeric, indirect, or an expression. */
3283 return !is_immediate (operand);
3286 return is_mmreg (operand);
3291 return is_accumulator (operand);
3293 return is_accumulator (operand) && TOUPPER (operand->buf[0]) == 'B';
3295 return is_accumulator (operand) && TOUPPER (operand->buf[0]) == 'A';
3297 return strncasecmp ("ar", operand->buf, 2) == 0
3298 && ISDIGIT (operand->buf[2]);
3300 return hash_find (sbit_hash, operand->buf) != 0 || is_absolute (operand);
3302 return hash_find (cc_hash, operand->buf) != 0;
3304 return hash_find (cc2_hash, operand->buf) != 0;
3306 return hash_find (cc3_hash, operand->buf) != 0
3307 || is_immediate (operand) || is_absolute (operand);
3309 return (is_immediate (operand) || is_absolute (operand))
3310 && operand->exp.X_add_number == 16;
3312 /* Allow st0 or st1 instead of a numeric. */
3313 return is_absolute (operand) || is_immediate (operand) ||
3314 strcasecmp ("st0", operand->buf) == 0 ||
3315 strcasecmp ("st1", operand->buf) == 0;
3318 return is_absolute (operand) || is_immediate (operand);
3320 return (is_immediate (operand) || is_absolute (operand))
3321 && operand->exp.X_add_number >= 0 && operand->exp.X_add_number < 16;
3323 /* Let this one catch out-of-range values. */
3324 return (is_immediate (operand) || is_absolute (operand))
3325 && operand->exp.X_add_number != 16;
3329 return is_absolute (operand) || is_immediate (operand);
3331 return is_immediate (operand)
3332 && operand->exp.X_op == O_constant
3333 && operand->exp.X_add_number >= 0
3334 && operand->exp.X_add_number < 256;
3337 /* Allow anything; assumes opcodes are ordered with Smem operands
3343 /* Just make sure it's an integer; check range later. */
3344 return is_immediate (operand);
3346 return strcasecmp ("t", operand->buf) == 0 ||
3347 strcasecmp ("treg", operand->buf) == 0;
3349 return strcasecmp ("ts", operand->buf) == 0;
3351 return strcasecmp ("asm", operand->buf) == 0;
3353 return strcasecmp ("trn", operand->buf) == 0;
3355 return strcasecmp ("dp", operand->buf) == 0;
3357 return strcasecmp ("arp", operand->buf) == 0;
3364 operands_match (tic54x_insn *insn,
3365 struct opstruct *operands,
3367 const enum optype *refoptype,
3371 int op = 0, refop = 0;
3373 if (opcount == 0 && minops == 0)
3376 while (op <= maxops && refop <= maxops)
3378 while (!is_type (&operands[op], OPTYPE (refoptype[refop])))
3380 /* Skip an optional template operand if it doesn't agree
3381 with the current operand. */
3382 if (refoptype[refop] & OPT)
3393 /* Save the actual operand type for later use. */
3394 operands[op].type = OPTYPE (refoptype[refop]);
3397 /* Have we matched them all yet? */
3402 /* If a later operand is *not* optional, no match. */
3403 if ((refoptype[refop] & OPT) == 0)
3405 /* Flag any implicit default OP_DST operands so we know to add
3406 them explicitly when encoding the operand later. */
3407 if (OPTYPE (refoptype[refop]) == OP_DST)
3408 insn->using_default_dst = 1;
3420 /* 16-bit direct memory address
3421 Explicit dmad operands are always in last word of insn (usually second
3422 word, but bumped to third if lk addressing is used)
3424 We allow *(dmad) notation because the TI assembler allows it.
3427 0 for 16-bit addresses
3428 1 for full 23-bit addresses
3429 2 for the upper 7 bits of a 23-bit address (LDX). */
3432 encode_dmad (tic54x_insn *insn, struct opstruct *operand, int xpc_code)
3434 int op = 1 + insn->is_lkaddr;
3436 /* Only allow *(dmad) expressions; all others are invalid. */
3437 if (is_indirect (operand) && operand->buf[strlen (operand->buf) - 1] != ')')
3439 as_bad (_("Invalid dmad syntax '%s'"), operand->buf);
3443 insn->opcode[op].addr_expr = operand->exp;
3445 if (insn->opcode[op].addr_expr.X_op == O_constant)
3447 valueT value = insn->opcode[op].addr_expr.X_add_number;
3451 insn->opcode[0].word &= 0xFF80;
3452 insn->opcode[0].word |= (value >> 16) & 0x7F;
3453 insn->opcode[1].word = value & 0xFFFF;
3455 else if (xpc_code == 2)
3456 insn->opcode[op].word = (value >> 16) & 0xFFFF;
3458 insn->opcode[op].word = value;
3462 /* Do the fixup later; just store the expression. */
3463 insn->opcode[op].word = 0;
3464 insn->opcode[op].r_nchars = 2;
3466 if (amode == c_mode)
3467 insn->opcode[op].r_type = BFD_RELOC_TIC54X_16_OF_23;
3468 else if (xpc_code == 1)
3470 /* This relocation spans two words, so adjust accordingly. */
3471 insn->opcode[0].addr_expr = operand->exp;
3472 insn->opcode[0].r_type = BFD_RELOC_TIC54X_23;
3473 insn->opcode[0].r_nchars = 4;
3474 insn->opcode[0].unresolved = 1;
3475 /* It's really 2 words, but we want to stop encoding after the
3476 first, since we must encode both words at once. */
3479 else if (xpc_code == 2)
3480 insn->opcode[op].r_type = BFD_RELOC_TIC54X_MS7_OF_23;
3482 insn->opcode[op].r_type = BFD_RELOC_TIC54X_16_OF_23;
3484 insn->opcode[op].unresolved = 1;
3490 /* 7-bit direct address encoding. */
3493 encode_address (tic54x_insn *insn, struct opstruct *operand)
3495 /* Assumes that dma addresses are *always* in word 0 of the opcode. */
3496 insn->opcode[0].addr_expr = operand->exp;
3498 if (operand->exp.X_op == O_constant)
3499 insn->opcode[0].word |= (operand->exp.X_add_number & 0x7F);
3502 if (operand->exp.X_op == O_register)
3503 as_bad (_("Use the .mmregs directive to use memory-mapped register names such as '%s'"), operand->buf);
3504 /* Do the fixup later; just store the expression. */
3505 insn->opcode[0].r_nchars = 1;
3506 insn->opcode[0].r_type = BFD_RELOC_TIC54X_PARTLS7;
3507 insn->opcode[0].unresolved = 1;
3514 encode_indirect (tic54x_insn *insn, struct opstruct *operand)
3519 if (insn->is_lkaddr)
3521 /* lk addresses always go in the second insn word. */
3522 mod = ((TOUPPER (operand->buf[1]) == 'A') ? 12 :
3523 (operand->buf[1] == '(') ? 15 :
3524 (strchr (operand->buf, '%') != NULL) ? 14 : 13);
3525 arf = ((mod == 12) ? operand->buf[3] - '0' :
3526 (mod == 15) ? 0 : operand->buf[4] - '0');
3528 insn->opcode[1].addr_expr = operand->exp;
3530 if (operand->exp.X_op == O_constant)
3531 insn->opcode[1].word = operand->exp.X_add_number;
3534 insn->opcode[1].word = 0;
3535 insn->opcode[1].r_nchars = 2;
3536 insn->opcode[1].r_type = BFD_RELOC_TIC54X_16_OF_23;
3537 insn->opcode[1].unresolved = 1;
3540 else if (strncasecmp (operand->buf, "*sp (", 4) == 0)
3542 /* Stack offsets look the same as 7-bit direct addressing. */
3543 return encode_address (insn, operand);
3547 arf = (TOUPPER (operand->buf[1]) == 'A' ?
3548 operand->buf[3] : operand->buf[4]) - '0';
3550 if (operand->buf[1] == '+')
3552 mod = 3; /* *+ARx */
3553 if (insn->tm->flags & FL_SMR)
3554 as_warn (_("Address mode *+ARx is write-only. "
3555 "Results of reading are undefined."));
3557 else if (operand->buf[4] == '\0')
3559 else if (operand->buf[5] == '\0')
3560 mod = (operand->buf[4] == '-' ? 1 : 2); /* *ARx+ / *ARx- */
3561 else if (operand->buf[6] == '\0')
3563 if (operand->buf[5] == '0')
3564 mod = (operand->buf[4] == '-' ? 5 : 6); /* *ARx+0 / *ARx-0 */
3566 mod = (operand->buf[4] == '-' ? 8 : 10);/* *ARx+% / *ARx-% */
3568 else if (TOUPPER (operand->buf[6]) == 'B')
3569 mod = (operand->buf[4] == '-' ? 4 : 7); /* ARx+0B / *ARx-0B */
3570 else if (TOUPPER (operand->buf[6]) == '%')
3571 mod = (operand->buf[4] == '-' ? 9 : 11); /* ARx+0% / *ARx - 0% */
3574 as_bad (_("Unrecognized indirect address format \"%s\""),
3580 insn->opcode[0].word |= 0x80 | (mod << 3) | arf;
3586 encode_integer (tic54x_insn *insn,
3587 struct opstruct *operand,
3591 unsigned short mask)
3593 long parse, integer;
3595 insn->opcode[which].addr_expr = operand->exp;
3597 if (operand->exp.X_op == O_constant)
3599 parse = operand->exp.X_add_number;
3600 /* Hack -- fixup for 16-bit hex quantities that get converted positive
3601 instead of negative. */
3602 if ((parse & 0x8000) && min == -32768 && max == 32767)
3603 integer = (short) parse;
3607 if (integer >= min && integer <= max)
3609 insn->opcode[which].word |= (integer & mask);
3612 as_bad (_("Operand '%s' out of range (%d <= x <= %d)"),
3613 operand->buf, min, max);
3617 if (insn->opcode[which].addr_expr.X_op == O_constant)
3619 insn->opcode[which].word |=
3620 insn->opcode[which].addr_expr.X_add_number & mask;
3624 /* Do the fixup later; just store the expression. */
3625 bfd_reloc_code_real_type rtype =
3626 (mask == 0x1FF ? BFD_RELOC_TIC54X_PARTMS9 :
3627 mask == 0xFFFF ? BFD_RELOC_TIC54X_16_OF_23 :
3628 mask == 0x7F ? BFD_RELOC_TIC54X_PARTLS7 : BFD_RELOC_8);
3629 int size = (mask == 0x1FF || mask == 0xFFFF) ? 2 : 1;
3631 if (rtype == BFD_RELOC_8)
3632 as_bad (_("Error in relocation handling"));
3634 insn->opcode[which].r_nchars = size;
3635 insn->opcode[which].r_type = rtype;
3636 insn->opcode[which].unresolved = 1;
3646 encode_condition (tic54x_insn *insn, struct opstruct *operand)
3648 tic54x_symbol *cc = (tic54x_symbol *) hash_find (cc_hash, operand->buf);
3651 as_bad (_("Unrecognized condition code \"%s\""), operand->buf);
3654 #define CC_GROUP 0x40
3656 #define CATG_A1 0x07
3657 #define CATG_B1 0x30
3658 #define CATG_A2 0x30
3659 #define CATG_B2 0x0C
3660 #define CATG_C2 0x03
3661 /* Disallow group 1 conditions mixed with group 2 conditions
3662 if group 1, allow only one category A and one category B
3663 if group 2, allow only one each of category A, B, and C. */
3664 if (((insn->opcode[0].word & 0xFF) != 0))
3666 if ((insn->opcode[0].word & CC_GROUP) != (cc->value & CC_GROUP))
3668 as_bad (_("Condition \"%s\" does not match preceding group"),
3672 if (insn->opcode[0].word & CC_GROUP)
3674 if ((insn->opcode[0].word & CC_ACC) != (cc->value & CC_ACC))
3676 as_bad (_("Condition \"%s\" uses a different accumulator from "
3677 "a preceding condition"),
3681 if ((insn->opcode[0].word & CATG_A1) && (cc->value & CATG_A1))
3683 as_bad (_("Only one comparison conditional allowed"));
3686 if ((insn->opcode[0].word & CATG_B1) && (cc->value & CATG_B1))
3688 as_bad (_("Only one overflow conditional allowed"));
3692 else if ( ((insn->opcode[0].word & CATG_A2) && (cc->value & CATG_A2))
3693 || ((insn->opcode[0].word & CATG_B2) && (cc->value & CATG_B2))
3694 || ((insn->opcode[0].word & CATG_C2) && (cc->value & CATG_C2)))
3696 as_bad (_("Duplicate %s conditional"), operand->buf);
3701 insn->opcode[0].word |= cc->value;
3706 encode_cc3 (tic54x_insn *insn, struct opstruct *operand)
3708 tic54x_symbol *cc3 = (tic54x_symbol *) hash_find (cc3_hash, operand->buf);
3709 int value = cc3 ? cc3->value : operand->exp.X_add_number << 8;
3711 if ((value & 0x0300) != value)
3713 as_bad (_("Unrecognized condition code \"%s\""), operand->buf);
3716 insn->opcode[0].word |= value;
3721 encode_arx (tic54x_insn *insn, struct opstruct *operand)
3723 int arf = strlen (operand->buf) >= 3 ? operand->buf[2] - '0' : -1;
3725 if (strncasecmp ("ar", operand->buf, 2) || arf < 0 || arf > 7)
3727 as_bad (_("Invalid auxiliary register (use AR0-AR7)"));
3730 insn->opcode[0].word |= arf;
3735 encode_cc2 (tic54x_insn *insn, struct opstruct *operand)
3737 tic54x_symbol *cc2 = (tic54x_symbol *) hash_find (cc2_hash, operand->buf);
3741 as_bad (_("Unrecognized condition code \"%s\""), operand->buf);
3744 insn->opcode[0].word |= cc2->value;
3749 encode_operand (tic54x_insn *insn, enum optype type, struct opstruct *operand)
3751 int ext = (insn->tm->flags & FL_EXT) != 0;
3753 if (type == OP_MMR && operand->exp.X_op != O_constant)
3755 /* Disallow long-constant addressing for memory-mapped addressing. */
3756 if (insn->is_lkaddr)
3758 as_bad (_("lk addressing modes are invalid for memory-mapped "
3759 "register addressing"));
3763 /* Warn about *+ARx when used with MMR operands. */
3764 if (strncasecmp (operand->buf, "*+ar", 4) == 0)
3766 as_warn (_("Address mode *+ARx is not allowed in memory-mapped "
3767 "register addressing. Resulting behavior is "
3777 /* 16-bit immediate value. */
3778 return encode_dmad (insn, operand, 0);
3780 if (TOUPPER (*operand->buf) == 'B')
3782 insn->opcode[ext ? (1 + insn->is_lkaddr) : 0].word |= (1 << 9);
3783 if (insn->using_default_dst)
3784 insn->opcode[ext ? (1 + insn->is_lkaddr) : 0].word |= (1 << 8);
3788 /* Make sure this agrees with the OP_DST operand. */
3789 if (!((TOUPPER (operand->buf[0]) == 'B') ^
3790 ((insn->opcode[0].word & (1 << 8)) != 0)))
3792 as_bad (_("Destination accumulator for each part of this parallel "
3793 "instruction must be different"));
3799 if (TOUPPER (operand->buf[0]) == 'B')
3800 insn->opcode[ext ? (1 + insn->is_lkaddr) : 0].word |= (1 << 8);
3805 int mod = (operand->buf[4] == '\0' ? 0 : /* *arx */
3806 operand->buf[4] == '-' ? 1 : /* *arx- */
3807 operand->buf[5] == '\0' ? 2 : 3); /* *arx+, *arx+0% */
3808 int arf = operand->buf[3] - '0' - 2;
3809 int code = (mod << 2) | arf;
3810 insn->opcode[0].word |= (code << (type == OP_Xmem ? 4 : 0));
3815 if (!is_indirect (operand))
3816 return encode_address (insn, operand);
3819 return encode_indirect (insn, operand);
3821 return encode_dmad (insn, operand, 2);
3823 return encode_dmad (insn, operand, 1);
3826 return encode_dmad (insn, operand, 0);
3828 return encode_arx (insn, operand);
3833 int value = operand->exp.X_add_number;
3836 insn->opcode[0].word |= value;
3839 if (value < 16 || value > 24)
3841 as_bad (_("Memory mapped register \"%s\" out of range"),
3845 if (type == OP_MMRX)
3846 insn->opcode[0].word |= (value - 16) << 4;
3848 insn->opcode[0].word |= (value - 16);
3856 return encode_integer (insn, operand, ext + insn->is_lkaddr,
3859 return encode_integer (insn, operand, ext + insn->is_lkaddr,
3862 return encode_integer (insn, operand, 1 + insn->is_lkaddr,
3863 -32768, 32767, 0xFFFF);
3865 return encode_condition (insn, operand);
3867 return encode_cc2 (insn, operand);
3869 return encode_cc3 (insn, operand);
3871 return encode_integer (insn, operand, 0, 0, 15, 0xF);
3873 return encode_integer (insn, operand, 0, -128, 127, 0xFF);
3876 int value = operand->exp.X_add_number;
3878 if (value < 1 || value > 3)
3880 as_bad (_("Invalid operand (use 1, 2, or 3)"));
3883 code = value == 1 ? 0 : value == 2 ? 0x2 : 0x1;
3884 insn->opcode[0].word |= (code << 8);
3888 return encode_integer (insn, operand, 0, 0, 31, 0x1F);
3890 return encode_integer (insn, operand, 0, 0, 255, 0xFF);
3892 return encode_integer (insn, operand, 1 + insn->is_lkaddr,
3896 tic54x_symbol *sbit = (tic54x_symbol *)
3897 hash_find (sbit_hash, operand->buf);
3898 int value = is_absolute (operand) ?
3899 operand->exp.X_add_number : (sbit ? sbit->value : -1);
3902 if (insn->opcount == 1)
3906 as_bad (_("A status register or status bit name is required"));
3909 /* Guess the register based on the status bit; "ovb" is the last
3910 status bit defined for st0. */
3911 if (sbit > (tic54x_symbol *) hash_find (sbit_hash, "ovb"))
3916 as_bad (_("Unrecognized status bit \"%s\""), operand->buf);
3919 insn->opcode[0].word |= value;
3920 insn->opcode[0].word |= (reg << 9);
3924 if (strcasecmp (operand->buf, "st0") == 0
3925 || strcasecmp (operand->buf, "st1") == 0)
3927 insn->opcode[0].word |=
3928 ((unsigned short) (operand->buf[2] - '0')) << 9;
3931 else if (operand->exp.X_op == O_constant
3932 && (operand->exp.X_add_number == 0
3933 || operand->exp.X_add_number == 1))
3935 insn->opcode[0].word |=
3936 ((unsigned short) (operand->exp.X_add_number)) << 9;
3939 as_bad (_("Invalid status register \"%s\""), operand->buf);
3942 return encode_integer (insn, operand, 0, -16, 15, 0x1F);
3944 return encode_integer (insn, operand, 0, 0, 7, 0x7);
3946 return encode_integer (insn, operand, 0, 0, 0x1FF, 0x1FF);
3948 if (operand->exp.X_add_number != 1
3949 && operand->exp.X_add_number != 2)
3951 as_bad (_("Operand \"%s\" out of range (use 1 or 2)"), operand->buf);
3954 insn->opcode[0].word |= (operand->exp.X_add_number - 1) << 9;
3963 /* No encoding necessary. */
3973 emit_insn (tic54x_insn *insn)
3976 flagword oldflags = bfd_get_section_flags (stdoutput, now_seg);
3977 flagword flags = oldflags | SEC_CODE;
3979 if (! bfd_set_section_flags (stdoutput, now_seg, flags))
3980 as_warn (_("error setting flags for \"%s\": %s"),
3981 bfd_section_name (stdoutput, now_seg),
3982 bfd_errmsg (bfd_get_error ()));
3984 for (i = 0; i < insn->words; i++)
3986 int size = (insn->opcode[i].unresolved
3987 && insn->opcode[i].r_type == BFD_RELOC_TIC54X_23) ? 4 : 2;
3988 char *p = frag_more (size);
3991 md_number_to_chars (p, (valueT) insn->opcode[i].word, 2);
3993 md_number_to_chars (p, (valueT) insn->opcode[i].word << 16, 4);
3995 if (insn->opcode[i].unresolved)
3996 fix_new_exp (frag_now, p - frag_now->fr_literal,
3997 insn->opcode[i].r_nchars, &insn->opcode[i].addr_expr,
3998 FALSE, insn->opcode[i].r_type);
4002 /* Convert the operand strings into appropriate opcode values
4003 return the total number of words used by the instruction. */
4006 build_insn (tic54x_insn *insn)
4010 /* Only non-parallel instructions support lk addressing. */
4011 if (!(insn->tm->flags & FL_PAR))
4013 for (i = 0; i < insn->opcount; i++)
4015 if ((OPTYPE (insn->operands[i].type) == OP_Smem
4016 || OPTYPE (insn->operands[i].type) == OP_Lmem
4017 || OPTYPE (insn->operands[i].type) == OP_Sind)
4018 && strchr (insn->operands[i].buf, '(')
4019 /* Don't mistake stack-relative addressing for lk addressing. */
4020 && strncasecmp (insn->operands[i].buf, "*sp (", 4) != 0)
4022 insn->is_lkaddr = 1;
4023 insn->lkoperand = i;
4028 insn->words = insn->tm->words + insn->is_lkaddr;
4030 insn->opcode[0].word = insn->tm->opcode;
4031 if (insn->tm->flags & FL_EXT)
4032 insn->opcode[1 + insn->is_lkaddr].word = insn->tm->opcode2;
4034 for (i = 0; i < insn->opcount; i++)
4036 enum optype type = insn->operands[i].type;
4038 if (!encode_operand (insn, type, &insn->operands[i]))
4041 if (insn->tm->flags & FL_PAR)
4042 for (i = 0; i < insn->paropcount; i++)
4044 enum optype partype = insn->paroperands[i].type;
4046 if (!encode_operand (insn, partype, &insn->paroperands[i]))
4056 optimize_insn (tic54x_insn *insn)
4058 /* Optimize some instructions, helping out the brain-dead programmer. */
4059 #define is_zero(op) ((op).exp.X_op == O_constant && (op).exp.X_add_number == 0)
4060 if (strcasecmp (insn->tm->name, "add") == 0)
4062 if (insn->opcount > 1
4063 && is_accumulator (&insn->operands[insn->opcount - 2])
4064 && is_accumulator (&insn->operands[insn->opcount - 1])
4065 && strcasecmp (insn->operands[insn->opcount - 2].buf,
4066 insn->operands[insn->opcount - 1].buf) == 0)
4069 insn->using_default_dst = 1;
4073 /* Try to collapse if Xmem and shift count is zero. */
4074 if ((OPTYPE (insn->tm->operand_types[0]) == OP_Xmem
4075 && OPTYPE (insn->tm->operand_types[1]) == OP_SHFT
4076 && is_zero (insn->operands[1]))
4077 /* Or if Smem, shift is zero or absent, and SRC == DST. */
4078 || (OPTYPE (insn->tm->operand_types[0]) == OP_Smem
4079 && OPTYPE (insn->tm->operand_types[1]) == OP_SHIFT
4080 && is_type (&insn->operands[1], OP_SHIFT)
4081 && is_zero (insn->operands[1]) && insn->opcount == 3))
4083 insn->operands[1] = insn->operands[2];
4088 else if (strcasecmp (insn->tm->name, "ld") == 0)
4090 if (insn->opcount == 3 && insn->operands[0].type != OP_SRC)
4092 if ((OPTYPE (insn->tm->operand_types[1]) == OP_SHIFT
4093 || OPTYPE (insn->tm->operand_types[1]) == OP_SHFT)
4094 && is_zero (insn->operands[1])
4095 && (OPTYPE (insn->tm->operand_types[0]) != OP_lk
4096 || (insn->operands[0].exp.X_op == O_constant
4097 && insn->operands[0].exp.X_add_number <= 255
4098 && insn->operands[0].exp.X_add_number >= 0)))
4100 insn->operands[1] = insn->operands[2];
4106 else if (strcasecmp (insn->tm->name, "sth") == 0
4107 || strcasecmp (insn->tm->name, "stl") == 0)
4109 if ((OPTYPE (insn->tm->operand_types[1]) == OP_SHIFT
4110 || OPTYPE (insn->tm->operand_types[1]) == OP_SHFT)
4111 && is_zero (insn->operands[1]))
4113 insn->operands[1] = insn->operands[2];
4118 else if (strcasecmp (insn->tm->name, "sub") == 0)
4120 if (insn->opcount > 1
4121 && is_accumulator (&insn->operands[insn->opcount - 2])
4122 && is_accumulator (&insn->operands[insn->opcount - 1])
4123 && strcasecmp (insn->operands[insn->opcount - 2].buf,
4124 insn->operands[insn->opcount - 1].buf) == 0)
4127 insn->using_default_dst = 1;
4131 if ( ((OPTYPE (insn->tm->operand_types[0]) == OP_Smem
4132 && OPTYPE (insn->tm->operand_types[1]) == OP_SHIFT)
4133 || (OPTYPE (insn->tm->operand_types[0]) == OP_Xmem
4134 && OPTYPE (insn->tm->operand_types[1]) == OP_SHFT))
4135 && is_zero (insn->operands[1])
4136 && insn->opcount == 3)
4138 insn->operands[1] = insn->operands[2];
4146 /* Find a matching template if possible, and get the operand strings. */
4149 tic54x_parse_insn (tic54x_insn *insn, char *line)
4151 insn->tm = (insn_template *) hash_find (op_hash, insn->mnemonic);
4154 as_bad (_("Unrecognized instruction \"%s\""), insn->mnemonic);
4158 insn->opcount = get_operands (insn->operands, line);
4159 if (insn->opcount < 0)
4162 /* Check each variation of operands for this mnemonic. */
4163 while (insn->tm->name && strcasecmp (insn->tm->name, insn->mnemonic) == 0)
4165 if (insn->opcount >= insn->tm->minops
4166 && insn->opcount <= insn->tm->maxops
4167 && operands_match (insn, &insn->operands[0], insn->opcount,
4168 insn->tm->operand_types,
4169 insn->tm->minops, insn->tm->maxops))
4171 /* SUCCESS! now try some optimizations. */
4172 if (optimize_insn (insn))
4174 insn->tm = (insn_template *) hash_find (op_hash,
4183 as_bad (_("Unrecognized operand list '%s' for instruction '%s'"),
4184 line, insn->mnemonic);
4188 /* We set this in start_line_hook, 'cause if we do a line replacement, we
4189 won't be able to see the next line. */
4190 static int parallel_on_next_line_hint = 0;
4192 /* See if this is part of a parallel instruction
4193 Look for a subsequent line starting with "||". */
4196 next_line_shows_parallel (char *next_line)
4198 /* Look for the second half. */
4199 while (ISSPACE (*next_line))
4202 return (next_line[0] == PARALLEL_SEPARATOR
4203 && next_line[1] == PARALLEL_SEPARATOR);
4207 tic54x_parse_parallel_insn_firstline (tic54x_insn *insn, char *line)
4209 insn->tm = (insn_template *) hash_find (parop_hash, insn->mnemonic);
4212 as_bad (_("Unrecognized parallel instruction \"%s\""),
4217 while (insn->tm->name && strcasecmp (insn->tm->name,
4218 insn->mnemonic) == 0)
4220 insn->opcount = get_operands (insn->operands, line);
4221 if (insn->opcount < 0)
4223 if (insn->opcount == 2
4224 && operands_match (insn, &insn->operands[0], insn->opcount,
4225 insn->tm->operand_types, 2, 2))
4231 /* Didn't find a matching parallel; try for a normal insn. */
4235 /* Parse the second line of a two-line parallel instruction. */
4238 tic54x_parse_parallel_insn_lastline (tic54x_insn *insn, char *line)
4240 int valid_mnemonic = 0;
4242 insn->paropcount = get_operands (insn->paroperands, line);
4243 while (insn->tm->name && strcasecmp (insn->tm->name,
4244 insn->mnemonic) == 0)
4246 if (strcasecmp (insn->tm->parname, insn->parmnemonic) == 0)
4250 if (insn->paropcount >= insn->tm->minops
4251 && insn->paropcount <= insn->tm->maxops
4252 && operands_match (insn, insn->paroperands,
4254 insn->tm->paroperand_types,
4255 insn->tm->minops, insn->tm->maxops))
4261 as_bad (_("Invalid operand (s) for parallel instruction \"%s\""),
4264 as_bad (_("Unrecognized parallel instruction combination \"%s || %s\""),
4265 insn->mnemonic, insn->parmnemonic);
4270 /* If quotes found, return copy of line up to closing quote;
4271 otherwise up until terminator.
4272 If it's a string, pass as-is; otherwise attempt substitution symbol
4273 replacement on the value. */
4276 subsym_get_arg (char *line, const char *terminators, char **str, int nosub)
4280 int is_string = *line == '"';
4281 int is_char = ISDIGIT (*line);
4285 while (ISDIGIT (*ptr))
4288 *str = xmemdup0 (line, ptr - line);
4292 char *savedp = input_line_pointer;
4295 input_line_pointer = ptr;
4296 *str = demand_copy_C_string (&len);
4297 endp = input_line_pointer;
4298 input_line_pointer = savedp;
4300 /* Do forced substitutions if requested. */
4301 if (!nosub && **str == ':')
4302 *str = subsym_substitute (*str, 1);
4306 const char *term = terminators;
4309 while (*ptr && *ptr != *term)
4320 *str = xmemdup0 (line, ptr - line);
4321 /* Do simple substitution, if available. */
4322 if (!nosub && (value = subsym_lookup (*str, macro_level)) != NULL)
4329 /* Replace the given substitution string.
4330 We start at the innermost macro level, so that existing locals remain local
4331 Note: we're treating macro args identically to .var's; I don't know if
4332 that's compatible w/TI's assembler. */
4335 subsym_create_or_replace (char *name, char *value)
4339 for (i = macro_level; i > 0; i--)
4341 if (hash_find (subsym_hash[i], name))
4343 hash_replace (subsym_hash[i], name, value);
4347 if (hash_find (subsym_hash[0], name))
4348 hash_replace (subsym_hash[0], name, value);
4350 hash_insert (subsym_hash[0], name, value);
4353 /* Look up the substitution string replacement for the given symbol.
4354 Start with the innermost macro substitution table given and work
4358 subsym_lookup (char *name, int nest_level)
4360 char *value = hash_find (subsym_hash[nest_level], name);
4362 if (value || nest_level == 0)
4365 return subsym_lookup (name, nest_level - 1);
4368 /* Do substitution-symbol replacement on the given line (recursively).
4369 return the argument if no substitution was done
4371 Also look for built-in functions ($func (arg)) and local labels.
4373 If FORCED is set, look for forced substitutions of the form ':SYMBOL:'. */
4376 subsym_substitute (char *line, int forced)
4378 /* For each apparent symbol, see if it's a substitution symbol, and if so,
4379 replace it in the input. */
4380 char *replacement; /* current replacement for LINE. */
4381 char *head; /* Start of line. */
4382 char *ptr; /* Current examination point. */
4383 int changed = 0; /* Did we make a substitution? */
4384 int eval_line = 0; /* Is this line a .eval/.asg statement? */
4385 int eval_symbol = 0; /* Are we in the middle of the symbol for
4387 char *eval_end = NULL;
4389 int line_conditional = 0;
4392 /* Work with a copy of the input line. */
4393 replacement = xstrdup (line);
4395 ptr = head = replacement;
4397 /* Flag lines where we might need to replace a single '=' with two;
4398 GAS uses single '=' to assign macro args values, and possibly other
4399 places, so limit what we replace. */
4400 if (strstr (line, ".if")
4401 || strstr (line, ".elseif")
4402 || strstr (line, ".break"))
4403 line_conditional = 1;
4405 /* Watch out for .eval, so that we avoid doing substitution on the
4406 symbol being assigned a value. */
4407 if (strstr (line, ".eval") || strstr (line, ".asg"))
4410 /* If it's a macro definition, don't do substitution on the argument
4412 if (strstr (line, ".macro"))
4415 while (!is_end_of_line[(int) *ptr])
4417 int current_char = *ptr;
4419 /* Need to update this since LINE may have been modified. */
4421 eval_end = strrchr (ptr, ',');
4423 /* Replace triple double quotes with bounding quote/escapes. */
4424 if (current_char == '"' && ptr[1] == '"' && ptr[2] == '"')
4427 tmp = strstr (ptr + 2, "\"\"\"");
4433 /* Replace a single '=' with a '==';
4434 for compatibility with older code only. */
4435 if (line_conditional && current_char == '=')
4443 tmp = concat (head, "==", ptr, (char *) NULL);
4444 /* Continue examining after the '=='. */
4445 ptr = tmp + strlen (head) + 2;
4447 head = replacement = tmp;
4451 /* Flag when we've reached the symbol part of .eval/.asg. */
4452 if (eval_line && ptr >= eval_end)
4455 /* For each apparent symbol, see if it's a substitution symbol, and if
4456 so, replace it in the input. */
4457 if ((forced && current_char == ':')
4458 || (!forced && is_name_beginner (current_char)))
4460 char *name; /* Symbol to be replaced. */
4461 char *savedp = input_line_pointer;
4464 char *tail; /* Rest of line after symbol. */
4466 /* Skip the colon. */
4470 input_line_pointer = ptr;
4471 c = get_symbol_name (&name);
4472 /* '?' is not normally part of a symbol, but it IS part of a local
4476 *input_line_pointer++ = c;
4477 c = *input_line_pointer;
4478 *input_line_pointer = '\0';
4480 /* Avoid infinite recursion; if a symbol shows up a second time for
4481 substitution, leave it as is. */
4482 if (hash_find (subsym_recurse_hash, name) == NULL)
4483 value = subsym_lookup (name, macro_level);
4485 as_warn (_("%s symbol recursion stopped at "
4486 "second appearance of '%s'"),
4487 forced ? "Forced substitution" : "Substitution", name);
4488 ptr = tail = input_line_pointer;
4489 input_line_pointer = savedp;
4491 /* Check for local labels; replace them with the appropriate
4493 if ((*name == '$' && ISDIGIT (name[1]) && name[2] == '\0')
4494 || name[strlen (name) - 1] == '?')
4496 /* Use an existing identifier for that label if, available, or
4497 create a new, unique identifier. */
4498 value = hash_find (local_label_hash[macro_level], name);
4502 char *namecopy = xstrdup (name);
4504 value = strcpy (xmalloc (strlen (name) + sizeof (digit) + 1),
4507 value[strlen (value) - 1] = '\0';
4508 sprintf (digit, ".%d", local_label_id++);
4509 strcat (value, digit);
4510 hash_insert (local_label_hash[macro_level], namecopy, value);
4512 /* Indicate where to continue looking for substitutions. */
4515 /* Check for built-in subsym and math functions. */
4516 else if (value != NULL && *name == '$')
4518 subsym_proc_entry *entry = (subsym_proc_entry *) value;
4519 math_proc_entry *math_entry = hash_find (math_hash, name);
4520 char *arg1, *arg2 = NULL;
4525 as_bad (_("Unrecognized substitution symbol function"));
4528 else if (*ptr != '(')
4530 as_bad (_("Missing '(' after substitution symbol function"));
4534 if (math_entry != NULL)
4536 float farg1, farg2 = 0;
4537 volatile float fresult;
4539 farg1 = (float) strtod (ptr, &ptr);
4540 if (math_entry->nargs == 2)
4544 as_bad (_("Expecting second argument"));
4547 farg2 = (float) strtod (ptr, &ptr);
4549 fresult = (*math_entry->proc) (farg1, farg2);
4550 value = XNEWVEC (char, 128);
4551 if (math_entry->int_return)
4552 sprintf (value, "%d", (int) fresult);
4554 sprintf (value, "%f", fresult);
4557 as_bad (_("Extra junk in function call, expecting ')'"));
4560 /* Don't bother recursing; the replacement isn't a
4567 int arg_type[2] = { *ptr == '"' , 0 };
4568 int ismember = !strcmp (entry->name, "$ismember");
4570 /* Parse one or two args, which must be a substitution
4571 symbol, string or a character-string constant. */
4572 /* For all functions, a string or substitution symbol may be
4573 used, with the following exceptions:
4574 firstch/lastch: 2nd arg must be character constant
4575 ismember: both args must be substitution symbols. */
4576 ptr = subsym_get_arg (ptr, ",)", &arg1, ismember);
4579 if (entry->nargs == 2)
4583 as_bad (_("Function expects two arguments"));
4586 /* Character constants are converted to numerics
4587 by the preprocessor. */
4588 arg_type[1] = (ISDIGIT (*ptr)) ? 2 : (*ptr == '"');
4589 ptr = subsym_get_arg (ptr, ")", &arg2, ismember);
4591 /* Args checking. */
4592 if ((!strcmp (entry->name, "$firstch")
4593 || !strcmp (entry->name, "$lastch"))
4594 && arg_type[1] != 2)
4596 as_bad (_("Expecting character constant argument"));
4600 && (arg_type[0] != 0 || arg_type[1] != 0))
4602 as_bad (_("Both arguments must be substitution symbols"));
4607 as_bad (_("Extra junk in function call, expecting ')'"));
4610 val = (*entry->proc) (arg1, arg2);
4611 value = XNEWVEC (char, 64);
4612 sprintf (value, "%d", val);
4614 /* Fix things up to replace the entire expression, not just the
4620 if (value != NULL && !eval_symbol)
4622 /* Replace the symbol with its string replacement and
4623 continue. Recursively replace VALUE until either no
4624 substitutions are performed, or a substitution that has been
4625 previously made is encountered again.
4627 Put the symbol into the recursion hash table so we only
4628 try to replace a symbol once. */
4631 hash_insert (subsym_recurse_hash, name, name);
4632 value = subsym_substitute (value, macro_level > 0);
4633 hash_delete (subsym_recurse_hash, name, FALSE);
4636 /* Temporarily zero-terminate where the symbol started. */
4642 /* Subscripted substitution symbol -- use just the
4643 indicated portion of the string; the description
4644 kinda indicates that forced substitution is not
4645 supposed to be recursive, but I'm not sure. */
4646 unsigned beg, len = 1; /* default to a single char */
4647 char *newval = xstrdup (value);
4649 savedp = input_line_pointer;
4650 input_line_pointer = tail + 1;
4651 beg = get_absolute_expression ();
4654 as_bad (_("Invalid subscript (use 1 to %d)"),
4655 (int) strlen (value));
4658 if (*input_line_pointer == ',')
4660 ++input_line_pointer;
4661 len = get_absolute_expression ();
4662 if (beg + len > strlen (value))
4664 as_bad (_("Invalid length (use 0 to %d)"),
4665 (int) strlen (value) - beg);
4671 tail = input_line_pointer;
4674 as_bad (_("Missing ')' in subscripted substitution "
4675 "symbol expression"));
4679 input_line_pointer = savedp;
4685 tmp = xmalloc (strlen (head) + strlen (value) +
4686 strlen (tail + 1) + 2);
4688 strcat (tmp, value);
4689 /* Make sure forced substitutions are properly terminated. */
4694 as_bad (_("Missing forced substitution terminator ':'"));
4700 /* Restore the character after the symbol end. */
4703 /* Continue examining after the replacement value. */
4704 ptr = tmp + strlen (head) + strlen (value);
4706 head = replacement = tmp;
4724 /* We use this to handle substitution symbols
4725 hijack input_line_pointer, replacing it with our substituted string.
4727 .sslist should enable listing the line after replacements are made...
4729 returns the new buffer limit. */
4732 tic54x_start_line_hook (void)
4735 char *replacement = NULL;
4737 /* Work with a copy of the input line, including EOL char. */
4738 endp = input_line_pointer;
4739 while (!is_end_of_line[(int) *endp++])
4741 line = xmemdup0 (input_line_pointer, endp - input_line_pointer);
4743 /* Scan ahead for parallel insns. */
4744 parallel_on_next_line_hint = next_line_shows_parallel (endp);
4746 /* If within a macro, first process forced replacements. */
4747 if (macro_level > 0)
4748 replacement = subsym_substitute (line, 1);
4751 replacement = subsym_substitute (replacement, 0);
4753 if (replacement != line)
4755 char *tmp = replacement;
4756 char *comment = strchr (replacement, ';');
4757 char endc = replacement[strlen (replacement) - 1];
4759 /* Clean up the replacement; we'd prefer to have this done by the
4760 standard preprocessing equipment (maybe do_scrub_chars?)
4761 but for now, do a quick-and-dirty. */
4762 if (comment != NULL)
4769 comment = replacement + strlen (replacement) - 1;
4771 /* Trim trailing whitespace. */
4772 while (ISSPACE (*comment))
4779 /* Compact leading whitespace. */
4780 while (ISSPACE (tmp[0]) && ISSPACE (tmp[1]))
4783 input_line_pointer = endp;
4784 input_scrub_insert_line (tmp);
4787 /* Keep track of whether we've done a substitution. */
4788 substitution_line = 1;
4794 substitution_line = 0;
4798 /* This is the guts of the machine-dependent assembler. STR points to a
4799 machine dependent instruction. This function is supposed to emit
4800 the frags/bytes it assembles to. */
4802 md_assemble (char *line)
4804 static int repeat_slot = 0;
4805 static int delay_slots = 0; /* How many delay slots left to fill? */
4806 static int is_parallel = 0;
4807 static tic54x_insn insn;
4809 char *savedp = input_line_pointer;
4812 input_line_pointer = line;
4813 c = get_symbol_name (&line);
4817 if (address_mode_needs_set)
4819 set_address_mode (amode);
4820 address_mode_needs_set = 0;
4833 strcpy (insn.parmnemonic, line);
4834 lptr = input_line_pointer;
4836 input_line_pointer = savedp;
4838 if (tic54x_parse_parallel_insn_lastline (&insn, lptr))
4840 int words = build_insn (&insn);
4842 if (delay_slots != 0)
4844 if (words > delay_slots)
4846 as_bad (_("Instruction does not fit in available delay "
4847 "slots (%d-word insn, %d slots left)"),
4848 words, delay_slots);
4852 delay_slots -= words;
4858 memset (&insn, 0, sizeof (insn));
4859 strcpy (insn.mnemonic, line);
4860 lptr = input_line_pointer;
4862 input_line_pointer = savedp;
4864 /* See if this line is part of a parallel instruction; if so, either this
4865 line or the next line will have the "||" specifier preceding the
4866 mnemonic, and we look for it in the parallel insn hash table. */
4867 if (strstr (line, "||") != NULL || parallel_on_next_line_hint)
4869 char *tmp = strstr (line, "||");
4873 if (tic54x_parse_parallel_insn_firstline (&insn, lptr))
4876 /* If the parallel part is on the same line, process it now,
4877 otherwise let the assembler pick up the next line for us. */
4880 while (ISSPACE (tmp[2]))
4882 md_assemble (tmp + 2);
4887 as_bad (_("Unrecognized parallel instruction '%s'"), line);
4892 if (tic54x_parse_insn (&insn, lptr))
4896 if ((insn.tm->flags & FL_LP)
4897 && cpu != V545LP && cpu != V546LP)
4899 as_bad (_("Instruction '%s' requires an LP cpu version"),
4903 if ((insn.tm->flags & FL_FAR)
4904 && amode != far_mode)
4906 as_bad (_("Instruction '%s' requires far mode addressing"),
4911 words = build_insn (&insn);
4913 /* Is this instruction in a delay slot? */
4916 if (words > delay_slots)
4918 as_warn (_("Instruction does not fit in available delay "
4919 "slots (%d-word insn, %d slots left). "
4920 "Resulting behavior is undefined."),
4921 words, delay_slots);
4925 /* Branches in delay slots are not allowed. */
4926 if (insn.tm->flags & FL_BMASK)
4928 as_warn (_("Instructions which cause PC discontinuity are not "
4929 "allowed in a delay slot. "
4930 "Resulting behavior is undefined."));
4932 delay_slots -= words;
4935 /* Is this instruction the target of a repeat? */
4938 if (insn.tm->flags & FL_NR)
4939 as_warn (_("'%s' is not repeatable. "
4940 "Resulting behavior is undefined."),
4942 else if (insn.is_lkaddr)
4943 as_warn (_("Instructions using long offset modifiers or absolute "
4944 "addresses are not repeatable. "
4945 "Resulting behavior is undefined."));
4949 /* Make sure we check the target of a repeat instruction. */
4950 if (insn.tm->flags & B_REPEAT)
4953 /* FIXME -- warn if repeat_slot == 1 at EOF. */
4955 /* Make sure we check our delay slots for validity. */
4956 if (insn.tm->flags & FL_DELAY)
4959 /* FIXME -- warn if delay_slots != 0 at EOF. */
4964 /* Do a final adjustment on the symbol table; in this case, make sure we have
4965 a ".file" symbol. */
4968 tic54x_adjust_symtab (void)
4970 if (symbol_rootP == NULL
4971 || S_GET_STORAGE_CLASS (symbol_rootP) != C_FILE)
4974 const char * filename = as_where (&lineno);
4975 c_dot_file_symbol (filename, 0);
4979 /* In order to get gas to ignore any | chars at the start of a line,
4980 this function returns true if a | is found in a line.
4981 This lets us process parallel instructions, which span two lines. */
4984 tic54x_unrecognized_line (int c)
4986 return c == PARALLEL_SEPARATOR;
4989 /* Watch for local labels of the form $[0-9] and [_a-zA-Z][_a-zA-Z0-9]*?
4990 Encode their names so that only we see them and can map them to the
4992 FIXME -- obviously this isn't done yet. These locals still show up in the
4995 tic54x_define_label (symbolS *sym)
4997 /* Just in case we need this later; note that this is not necessarily the
4998 same thing as line_label...
4999 When aligning or assigning labels to fields, sometimes the label is
5000 assigned other than the address at which the label appears.
5001 FIXME -- is this really needed? I think all the proper label assignment
5002 is done in tic54x_cons. */
5003 last_label_seen = sym;
5006 /* Try to parse something that normal parsing failed at. */
5009 tic54x_undefined_symbol (char *name)
5013 /* Not sure how to handle predefined symbols. */
5014 if ((sym = (tic54x_symbol *) hash_find (cc_hash, name)) != NULL ||
5015 (sym = (tic54x_symbol *) hash_find (cc2_hash, name)) != NULL ||
5016 (sym = (tic54x_symbol *) hash_find (cc3_hash, name)) != NULL ||
5017 (sym = (tic54x_symbol *) hash_find (misc_symbol_hash, name)) != NULL ||
5018 (sym = (tic54x_symbol *) hash_find (sbit_hash, name)) != NULL)
5020 return symbol_new (name, reg_section,
5021 (valueT) sym->value,
5022 &zero_address_frag);
5025 if ((sym = (tic54x_symbol *) hash_find (reg_hash, name)) != NULL ||
5026 (sym = (tic54x_symbol *) hash_find (mmreg_hash, name)) != NULL ||
5027 !strcasecmp (name, "a") || !strcasecmp (name, "b"))
5029 return symbol_new (name, reg_section,
5030 (valueT) sym ? sym->value : 0,
5031 &zero_address_frag);
5037 /* Parse a name in an expression before the expression parser takes a stab at
5041 tic54x_parse_name (char *name ATTRIBUTE_UNUSED,
5042 expressionS *expn ATTRIBUTE_UNUSED)
5048 md_atof (int type, char *literalP, int *sizeP)
5050 /* Target data is little-endian, but floats are stored
5051 big-"word"ian. ugh. */
5052 return ieee_md_atof (type, literalP, sizeP, TRUE);
5056 tc_gen_reloc (asection *section, fixS *fixP)
5059 bfd_reloc_code_real_type code = fixP->fx_r_type;
5060 asymbol *sym = symbol_get_bfdsym (fixP->fx_addsy);
5062 rel = XNEW (arelent);
5063 rel->sym_ptr_ptr = XNEW (asymbol *);
5064 *rel->sym_ptr_ptr = sym;
5065 /* We assume that all rel->address are host byte offsets. */
5066 rel->address = fixP->fx_frag->fr_address + fixP->fx_where;
5067 rel->address /= OCTETS_PER_BYTE;
5068 rel->howto = bfd_reloc_type_lookup (stdoutput, code);
5069 if (!strcmp (sym->name, section->name))
5070 rel->howto += HOWTO_BANK;
5074 const char *name = S_GET_NAME (fixP->fx_addsy);
5077 as_fatal ("Cannot generate relocation type for symbol %s, code %s",
5078 name, bfd_get_reloc_code_name (code));
5084 /* Handle cons expressions. */
5087 tic54x_cons_fix_new (fragS *frag, int where, int octets, expressionS *expn,
5088 bfd_reloc_code_real_type r)
5093 as_bad (_("Unsupported relocation size %d"), octets);
5094 r = BFD_RELOC_TIC54X_16_OF_23;
5097 r = BFD_RELOC_TIC54X_16_OF_23;
5100 /* TI assembler always uses this, regardless of addressing mode. */
5102 r = BFD_RELOC_TIC54X_23;
5104 /* We never want to directly generate this; this is provided for
5105 stabs support only. */
5109 fix_new_exp (frag, where, octets, expn, 0, r);
5112 /* Attempt to simplify or even eliminate a fixup.
5113 To indicate that a fixup has been eliminated, set fixP->fx_done.
5115 If fixp->fx_addsy is non-NULL, we'll have to generate a reloc entry. */
5118 md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
5120 char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
5121 valueT val = * valP;
5123 switch (fixP->fx_r_type)
5126 as_fatal ("Bad relocation type: 0x%02x", fixP->fx_r_type);
5128 case BFD_RELOC_TIC54X_MS7_OF_23:
5129 val = (val >> 16) & 0x7F;
5131 case BFD_RELOC_TIC54X_16_OF_23:
5133 bfd_put_16 (stdoutput, val, buf);
5134 /* Indicate what we're actually writing, so that we don't get warnings
5135 about exceeding available space. */
5136 *valP = val & 0xFFFF;
5138 case BFD_RELOC_TIC54X_PARTLS7:
5139 bfd_put_16 (stdoutput,
5140 (bfd_get_16 (stdoutput, buf) & 0xFF80) | (val & 0x7F),
5142 /* Indicate what we're actually writing, so that we don't get warnings
5143 about exceeding available space. */
5146 case BFD_RELOC_TIC54X_PARTMS9:
5147 /* TI assembler doesn't shift its encoding for relocatable files, and is
5148 thus incompatible with this implementation's relocatable files. */
5149 bfd_put_16 (stdoutput,
5150 (bfd_get_16 (stdoutput, buf) & 0xFE00) | (val >> 7),
5154 case BFD_RELOC_TIC54X_23:
5155 bfd_put_32 (stdoutput,
5156 (bfd_get_32 (stdoutput, buf) & 0xFF800000) | val,
5161 if (fixP->fx_addsy == NULL && fixP->fx_pcrel == 0)
5165 /* This is our chance to record section alignment
5166 don't need to do anything here, since BFD does the proper encoding. */
5169 md_section_align (segT segment ATTRIBUTE_UNUSED, valueT section_size)
5171 return section_size;
5175 md_pcrel_from (fixS *fixP ATTRIBUTE_UNUSED)
5180 /* Mostly little-endian, but longwords (4 octets) get MS word stored
5184 tic54x_number_to_chars (char *buf, valueT val, int n)
5187 number_to_chars_littleendian (buf, val, n);
5190 number_to_chars_littleendian (buf , val >> 16 , 2);
5191 number_to_chars_littleendian (buf + 2, val & 0xFFFF, 2);
5196 tic54x_estimate_size_before_relax (fragS *frag ATTRIBUTE_UNUSED,
5197 segT seg ATTRIBUTE_UNUSED)
5202 /* We use this to handle bit allocations which we couldn't handle before due
5203 to symbols being in different frags. return number of octets added. */
5206 tic54x_relax_frag (fragS *frag, long stretch ATTRIBUTE_UNUSED)
5208 symbolS *sym = frag->fr_symbol;
5214 struct bit_info *bi = (struct bit_info *) frag->fr_opcode;
5215 int bit_offset = frag_bit_offset (frag_prev (frag, bi->seg), bi->seg);
5216 int size = S_GET_VALUE (sym);
5217 fragS *prev_frag = bit_offset_frag (frag_prev (frag, bi->seg), bi->seg);
5218 int available = 16 - bit_offset;
5220 if (symbol_get_frag (sym) != &zero_address_frag
5221 || S_IS_COMMON (sym)
5222 || !S_IS_DEFINED (sym))
5223 as_bad_where (frag->fr_file, frag->fr_line,
5224 _("non-absolute value used with .space/.bes"));
5228 as_warn (_("negative value ignored in %s"),
5229 bi->type == TYPE_SPACE ? ".space" :
5230 bi->type == TYPE_BES ? ".bes" : ".field");
5232 frag->tc_frag_data = frag->fr_fix = 0;
5236 if (bi->type == TYPE_FIELD)
5238 /* Bit fields of 16 or larger will have already been handled. */
5239 if (bit_offset != 0 && available >= size)
5241 char *p = prev_frag->fr_literal;
5243 valueT value = bi->value;
5244 value <<= available - size;
5245 value |= ((unsigned short) p[1] << 8) | p[0];
5246 md_number_to_chars (p, value, 2);
5247 if ((prev_frag->tc_frag_data += size) == 16)
5248 prev_frag->tc_frag_data = 0;
5250 symbol_set_frag (bi->sym, prev_frag);
5251 /* This frag is no longer used. */
5252 growth = -frag->fr_fix;
5254 frag->tc_frag_data = 0;
5258 char *p = frag->fr_literal;
5260 valueT value = bi->value << (16 - size);
5261 md_number_to_chars (p, value, 2);
5262 if ((frag->tc_frag_data = size) == 16)
5263 frag->tc_frag_data = 0;
5269 if (bit_offset != 0 && bit_offset < 16)
5271 if (available >= size)
5273 if ((prev_frag->tc_frag_data += size) == 16)
5274 prev_frag->tc_frag_data = 0;
5276 symbol_set_frag (bi->sym, prev_frag);
5277 /* This frag is no longer used. */
5278 growth = -frag->fr_fix;
5280 frag->tc_frag_data = 0;
5283 if (bi->type == TYPE_SPACE && bi->sym)
5284 symbol_set_frag (bi->sym, prev_frag);
5287 growth = (size + 15) / 16 * OCTETS_PER_BYTE - frag->fr_fix;
5288 for (i = 0; i < growth; i++)
5289 frag->fr_literal[i] = 0;
5290 frag->fr_fix = growth;
5291 frag->tc_frag_data = size % 16;
5292 /* Make sure any BES label points to the LAST word allocated. */
5293 if (bi->type == TYPE_BES && bi->sym)
5294 S_SET_VALUE (bi->sym, frag->fr_fix / OCTETS_PER_BYTE - 1);
5297 frag->fr_symbol = 0;
5298 frag->fr_opcode = 0;
5305 tic54x_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
5306 segT seg ATTRIBUTE_UNUSED,
5309 /* Offset is in bytes. */
5310 frag->fr_offset = (frag->fr_next->fr_address
5312 - frag->fr_fix) / frag->fr_var;
5313 if (frag->fr_offset < 0)
5315 as_bad_where (frag->fr_file, frag->fr_line,
5316 _("attempt to .space/.bes backwards? (%ld)"),
5317 (long) frag->fr_offset);
5319 frag->fr_type = rs_space;
5322 /* We need to avoid having labels defined for certain directives/pseudo-ops
5323 since once the label is defined, it's in the symbol table for good. TI
5324 syntax puts the symbol *before* the pseudo (which is kinda like MRI syntax,
5325 I guess, except I've never seen a definition of MRI syntax).
5327 Don't allow labels to start with '.' */
5330 tic54x_start_label (int nul_char, int next_char)
5334 /* If within .struct/.union, no auto line labels, please. */
5335 if (current_stag != NULL)
5338 /* Disallow labels starting with "." */
5339 if (next_char != ':')
5341 char *label = input_line_pointer;
5343 while (!is_end_of_line[(int) label[-1]])
5347 as_bad (_("Invalid label '%s'"), label);
5352 if (is_end_of_line[(int) next_char])
5355 rest = input_line_pointer;
5356 if (nul_char == '"')
5358 while (ISSPACE (next_char))
5359 next_char = *++rest;
5360 if (next_char != '.')
5363 /* Don't let colon () define a label for any of these... */
5364 return ((strncasecmp (rest, ".tag", 4) != 0 || !ISSPACE (rest[4]))
5365 && (strncasecmp (rest, ".struct", 7) != 0 || !ISSPACE (rest[7]))
5366 && (strncasecmp (rest, ".union", 6) != 0 || !ISSPACE (rest[6]))
5367 && (strncasecmp (rest, ".macro", 6) != 0 || !ISSPACE (rest[6]))
5368 && (strncasecmp (rest, ".set", 4) != 0 || !ISSPACE (rest[4]))
5369 && (strncasecmp (rest, ".equ", 4) != 0 || !ISSPACE (rest[4])));