1 /* tc-tic54x.c -- Assembly code for the Texas Instruments TMS320C54X
2 Copyright 1999, 2000, 2001, 2002, 2003, 2004, 2005
3 Free Software Foundation, Inc.
4 Contributed by Timothy Wall (twall@cygnus.com)
6 This file is part of GAS, the GNU Assembler.
8 GAS is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GAS is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GAS; see the file COPYING. If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
23 /* Texas Instruments TMS320C54X machine specific gas.
24 Written by Timothy Wall (twall@alum.mit.edu).
26 Valuable things to do:
27 Pipeline conflict warnings
28 We encode/decode "ld #_label, dp" differently in relocatable files
29 This means we're not compatible with TI output containing those
30 expressions. We store the upper nine bits; TI stores the lower nine
31 bits. How they recover the original upper nine bits is beyond me.
33 Tests to add to expect testsuite:
34 '=' and '==' with .if, .elseif, and .break
36 Incompatibilities (mostly trivial):
38 We fill text section with zeroes instead of "nop"s
39 We don't convert '' or "" to a single instance
40 We don't convert '' to '\0'
41 We don't allow strings with .byte/.half/.short/.long
42 Probably details of the subsym stuff are different
43 TI sets labels to be data type 4 (T_INT); GAS uses T_NULL.
45 COFF1 limits section names to 8 characters.
46 Some of the default behavior changed from COFF1 to COFF2. */
52 #include "safe-ctype.h"
56 #include "struc-symbol.h"
57 #include "opcode/tic54x.h"
64 symbolS *sym; /* Symbol for this stag; value is offset. */
65 const char *name; /* Shortcut to symbol name. */
66 bfd_vma size; /* Size of struct/union. */
67 int current_bitfield_offset; /* Temporary for tracking fields. */
69 struct stag_field /* List of fields. */
72 bfd_vma offset; /* Of start of this field. */
73 int bitfield_offset; /* Of start of this field. */
74 struct stag *stag; /* If field is struct/union. */
75 struct stag_field *next;
77 /* For nesting; used only in stag construction. */
78 struct stag *inner; /* Enclosed .struct. */
79 struct stag *outer; /* Enclosing .struct. */
80 } *current_stag = NULL;
82 #define MAX_LINE 256 /* Lines longer than this are truncated by TI's asm. */
84 typedef struct _tic54x_insn
86 const template *tm; /* Opcode template. */
88 char mnemonic[MAX_LINE]; /* Opcode name/mnemonic. */
89 char parmnemonic[MAX_LINE]; /* 2nd mnemonic of parallel insn. */
97 } operands[MAX_OPERANDS];
100 struct opstruct paroperands[MAX_OPERANDS];
104 int words; /* Size of insn in 16-bit words. */
105 int using_default_dst; /* Do we need to explicitly set an
106 omitted OP_DST operand? */
109 unsigned short word; /* Final encoded opcode data. */
111 int r_nchars; /* Relocation size. */
112 bfd_reloc_code_real_type r_type; /* Relocation type. */
113 expressionS addr_expr; /* Storage for unresolved expressions. */
119 VNONE = 0, V541 = 1, V542 = 2, V543 = 3, V545 = 5, V548 = 8, V549 = 9,
120 V545LP = 15, V546LP = 16
125 c_mode, /* 16-bit addresses. */
126 far_mode /* >16-bit addresses. */
129 static segT stag_saved_seg;
130 static subsegT stag_saved_subseg;
132 const char comment_chars[] = ";";
133 const char line_comment_chars[] = ";*#"; /* At column zero only. */
134 const char line_separator_chars[] = ""; /* Not permitted. */
136 int emitting_long = 0;
138 /* Characters which indicate that this is a floating point constant. */
139 const char FLT_CHARS[] = "fF";
141 /* Characters that can be used to separate mantissa from exp in FP
143 const char EXP_CHARS[] = "eE";
145 const char *md_shortopts = "";
147 #define OPTION_ADDRESS_MODE (OPTION_MD_BASE)
148 #define OPTION_CPU_VERSION (OPTION_ADDRESS_MODE + 1)
149 #define OPTION_COFF_VERSION (OPTION_CPU_VERSION + 1)
150 #define OPTION_STDERR_TO_FILE (OPTION_COFF_VERSION + 1)
152 struct option md_longopts[] =
154 { "mfar-mode", no_argument, NULL, OPTION_ADDRESS_MODE },
155 { "mf", no_argument, NULL, OPTION_ADDRESS_MODE },
156 { "mcpu", required_argument, NULL, OPTION_CPU_VERSION },
157 { "merrors-to-file", required_argument, NULL, OPTION_STDERR_TO_FILE },
158 { "me", required_argument, NULL, OPTION_STDERR_TO_FILE },
159 { NULL, no_argument, NULL, 0},
162 size_t md_longopts_size = sizeof (md_longopts);
164 static int assembly_begun = 0;
165 /* Addressing mode is not entirely implemented; the latest rev of the Other
166 assembler doesn't seem to make any distinction whatsoever; all relocations
167 are stored as extended relocatiosn. Older versions used REL16 vs RELEXT16,
168 but now it seems all relocations are RELEXT16. We use all RELEXT16.
170 The cpu version is kind of a waste of time as well. There is one
171 instruction (RND) for LP devices only, and several for devices with
172 extended addressing only. We include it for compatibility. */
173 static enum address_mode amode = c_mode;
174 static enum cpu_version cpu = VNONE;
176 /* Include string substitutions in listing? */
177 static int listing_sslist = 0;
179 /* Did we do subsym substitutions on the line? */
180 static int substitution_line = 0;
182 /* Last label seen. */
183 static symbolS *last_label_seen = NULL;
185 /* This ensures that all new labels are unique. */
186 static int local_label_id;
188 static struct hash_control *subsym_recurse_hash; /* Prevent infinite recurse. */
189 static struct hash_control *math_hash; /* Built-in math functions. */
190 /* Allow maximum levels of macro nesting; level 0 is the main substitution
191 symbol table. The other assembler only does 32 levels, so there! */
192 static struct hash_control *subsym_hash[100];
194 /* Keep track of local labels so we can substitute them before GAS sees them
195 since macros use their own 'namespace' for local labels, use a separate hash
197 We do our own local label handling 'cuz it's subtly different from the
200 We use our own macro nesting counter, since GAS overloads it when expanding
201 other things (like conditionals and repeat loops). */
202 static int macro_level = 0;
203 static struct hash_control *local_label_hash[100];
204 /* Keep track of struct/union tags. */
205 static struct hash_control *stag_hash;
206 static struct hash_control *op_hash;
207 static struct hash_control *parop_hash;
208 static struct hash_control *reg_hash;
209 static struct hash_control *mmreg_hash;
210 static struct hash_control *cc_hash;
211 static struct hash_control *cc2_hash;
212 static struct hash_control *cc3_hash;
213 static struct hash_control *sbit_hash;
214 static struct hash_control *misc_symbol_hash;
216 /* Only word (et al.), align, or conditionals are allowed within
218 #define ILLEGAL_WITHIN_STRUCT() \
220 if (current_stag != NULL) \
222 as_bad (_("pseudo-op illegal within .struct/.union")); \
227 static void tic54x_emit_char PARAMS ((char));
228 static fragS * frag_prev PARAMS ((fragS *, segT));
229 static fragS * bit_offset_frag PARAMS ((fragS *, segT));
230 static int frag_bit_offset PARAMS ((fragS *, segT));
231 static char * parse_expression PARAMS ((char *, expressionS *));
232 static void tic54x_asg PARAMS ((int));
233 static void tic54x_eval PARAMS ((int));
234 static void tic54x_bss PARAMS ((int));
235 static void stag_add_field_symbols PARAMS ((struct stag *, const char *, bfd_vma, symbolS *, const char *));
236 static void stag_add_field PARAMS ((struct stag *, const char *, bfd_vma, struct stag *));
237 static void tic54x_struct PARAMS ((int));
238 static void tic54x_endstruct PARAMS ((int));
239 static void tic54x_tag PARAMS ((int));
240 static void tic54x_struct_field PARAMS ((int));
241 static void tic54x_cons PARAMS ((int));
242 static void tic54x_remove_local_label PARAMS ((const char *, PTR));
243 static void tic54x_clear_local_labels PARAMS ((int));
244 static void tic54x_sect PARAMS ((int));
245 static void tic54x_space PARAMS ((int));
246 static void tic54x_usect PARAMS ((int));
247 static enum cpu_version lookup_version PARAMS ((const char *));
248 static void set_cpu PARAMS ((enum cpu_version));
249 static void tic54x_version PARAMS ((int));
250 static void tic54x_float_cons PARAMS ((int));
251 static void tic54x_stringer PARAMS ((int));
252 static void tic54x_p2align PARAMS ((int));
253 static void tic54x_align_words PARAMS ((int));
254 static void tic54x_field PARAMS ((int));
255 static int tic54x_initialized_section PARAMS ((segT));
256 static void tic54x_clink PARAMS ((int));
257 static void tic54x_set_default_include PARAMS ((int));
258 static void tic54x_include PARAMS ((int));
259 static void tic54x_message PARAMS ((int));
260 static void tic54x_label PARAMS ((int));
261 static void tic54x_mmregs PARAMS ((int));
262 static void tic54x_loop PARAMS ((int));
263 static void tic54x_endloop PARAMS ((int));
264 static void tic54x_break PARAMS ((int));
265 static void set_address_mode PARAMS ((int));
266 static void tic54x_address_mode PARAMS ((int));
267 static void tic54x_sblock PARAMS ((int));
268 static void tic54x_set PARAMS ((int));
269 static void tic54x_fclist PARAMS ((int));
270 static void tic54x_sslist PARAMS ((int));
271 static void tic54x_var PARAMS ((int));
272 static void tic54x_mlib PARAMS ((int));
273 static int subsym_symlen PARAMS ((char *, char *));
274 static int subsym_symcmp PARAMS ((char *, char *));
275 static int subsym_firstch PARAMS ((char *, char *));
276 static int subsym_lastch PARAMS ((char *, char *));
277 static int subsym_isdefed PARAMS ((char *, char *));
278 static int subsym_ismember PARAMS ((char *, char *));
279 static int subsym_iscons PARAMS ((char *, char *));
280 static int subsym_isname PARAMS ((char *, char *));
281 static int subsym_isreg PARAMS ((char *, char *));
282 static int subsym_structsz PARAMS ((char *, char *));
283 static int subsym_structacc PARAMS ((char *, char *));
284 static float math_ceil PARAMS ((float, float));
285 static float math_cvi PARAMS ((float, float));
286 static float math_floor PARAMS ((float, float));
287 static float math_fmod PARAMS ((float, float));
288 static float math_int PARAMS ((float, float));
289 static float math_round PARAMS ((float, float));
290 static float math_sgn PARAMS ((float, float));
291 static float math_trunc PARAMS ((float, float));
292 static float math_acos PARAMS ((float, float));
293 static float math_asin PARAMS ((float, float));
294 static float math_atan PARAMS ((float, float));
295 static float math_atan2 PARAMS ((float, float));
296 static float math_cosh PARAMS ((float, float));
297 static float math_cos PARAMS ((float, float));
298 static float math_cvf PARAMS ((float, float));
299 static float math_exp PARAMS ((float, float));
300 static float math_fabs PARAMS ((float, float));
301 static float math_ldexp PARAMS ((float, float));
302 static float math_log10 PARAMS ((float, float));
303 static float math_log PARAMS ((float, float));
304 static float math_max PARAMS ((float, float));
305 static float math_min PARAMS ((float, float));
306 static float math_pow PARAMS ((float, float));
307 static float math_sin PARAMS ((float, float));
308 static float math_sinh PARAMS ((float, float));
309 static float math_sqrt PARAMS ((float, float));
310 static float math_tan PARAMS ((float, float));
311 static float math_tanh PARAMS ((float, float));
312 static int is_accumulator PARAMS ((struct opstruct *));
313 static int get_operands PARAMS ((struct opstruct operands[], char *));
314 static int is_immediate PARAMS ((struct opstruct *));
315 static int is_absolute PARAMS ((struct opstruct *));
316 static int is_indirect PARAMS ((struct opstruct *));
317 static int is_dual PARAMS ((struct opstruct *));
318 static int is_mmreg PARAMS ((struct opstruct *));
319 static int is_type PARAMS ((struct opstruct *, enum optype));
320 static int operands_match PARAMS ((tic54x_insn *, struct opstruct *, int, const enum optype *, int, int));
321 static int encode_dmad PARAMS ((tic54x_insn *, struct opstruct *, int));
322 static int encode_address PARAMS ((tic54x_insn *, struct opstruct *));
323 static int encode_indirect PARAMS ((tic54x_insn *, struct opstruct *));
324 static int encode_integer PARAMS ((tic54x_insn *, struct opstruct *, int, int, int, unsigned short));
325 static int encode_condition PARAMS ((tic54x_insn *, struct opstruct *));
326 static int encode_cc3 PARAMS ((tic54x_insn *, struct opstruct *));
327 static int encode_arx PARAMS ((tic54x_insn *, struct opstruct *));
328 static int encode_cc2 PARAMS ((tic54x_insn *, struct opstruct *));
329 static int encode_operand PARAMS ((tic54x_insn *, enum optype, struct opstruct *));
330 static void emit_insn PARAMS ((tic54x_insn *));
331 static int build_insn PARAMS ((tic54x_insn *));
332 static int optimize_insn PARAMS ((tic54x_insn *));
333 static int tic54x_parse_insn PARAMS ((tic54x_insn *, char *));
334 static int next_line_shows_parallel PARAMS ((char *));
335 static int tic54x_parse_parallel_insn_firstline PARAMS ((tic54x_insn *, char *));
336 static int tic54x_parse_parallel_insn_lastline PARAMS ((tic54x_insn *, char *));
337 static char * subsym_get_arg PARAMS ((char *, char *, char **, int));
338 static void subsym_create_or_replace PARAMS ((char *, char *));
339 static char * subsym_lookup PARAMS ((char *, int));
340 static char * subsym_substitute PARAMS ((char *, int));
344 md_show_usage (stream)
347 fprintf (stream, _("C54x-specific command line options:\n"));
348 fprintf (stream, _("-mfar-mode | -mf Use extended addressing\n"));
349 fprintf (stream, _("-mcpu=<CPU version> Specify the CPU version\n"));
350 fprintf (stream, _("-merrors-to-file <filename>\n"));
351 fprintf (stream, _("-me <filename> Redirect errors to a file\n"));
354 /* Output a single character (upper octect is zero). */
362 exp.X_op = O_constant;
363 exp.X_add_number = c;
367 /* Walk backwards in the frag chain. */
370 frag_prev (frag, seg)
374 segment_info_type *seginfo = seg_info (seg);
377 for (fragp = seginfo->frchainP->frch_root; fragp; fragp = fragp->fr_next)
378 if (fragp->fr_next == frag)
385 bit_offset_frag (frag, seg)
391 if (frag->fr_fix == 0
392 && frag->fr_opcode == NULL
393 && frag->tc_frag_data == 0)
394 frag = frag_prev (frag, seg);
401 /* Return the number of bits allocated in the most recent word, or zero if
402 none. .field/.space/.bes may leave words partially allocated. */
405 frag_bit_offset (frag, seg)
409 frag = bit_offset_frag (frag, seg);
412 return frag->fr_opcode != NULL ? -1 : frag->tc_frag_data;
417 /* Read an expression from a C string; returns a pointer past the end of the
421 parse_expression (str, exp)
428 tmp = input_line_pointer; /* Save line pointer. */
429 input_line_pointer = str;
431 s = input_line_pointer;
432 input_line_pointer = tmp; /* Restore line pointer. */
433 return s; /* Return pointer to where parsing stopped. */
436 /* .asg "character-string"|character-string, symbol
438 .eval is the only pseudo-op allowed to perform arithmetic on substitution
439 symbols. all other use of symbols defined with .asg are currently
444 int x ATTRIBUTE_UNUSED;
450 int quoted = *input_line_pointer == '"';
452 ILLEGAL_WITHIN_STRUCT ();
457 str = demand_copy_C_string (&len);
458 c = *input_line_pointer;
462 str = input_line_pointer;
463 while ((c = *input_line_pointer) != ',')
465 if (is_end_of_line[(int) *input_line_pointer])
467 ++input_line_pointer;
469 *input_line_pointer = 0;
473 as_bad (_("Comma and symbol expected for '.asg STRING, SYMBOL'"));
474 ignore_rest_of_line ();
478 name = ++input_line_pointer;
479 c = get_symbol_end (); /* Get terminator. */
480 if (!ISALPHA (*name))
482 as_bad ("symbols assigned with .asg must begin with a letter");
483 ignore_rest_of_line ();
487 tmp = xmalloc (strlen (str) + 1);
490 tmp = xmalloc (strlen (name) + 1);
493 subsym_create_or_replace (name, str);
494 *input_line_pointer = c;
495 demand_empty_rest_of_line ();
498 /* .eval expression, symbol
499 There's something screwy about this. The other assembler sometimes does and
500 sometimes doesn't substitute symbols defined with .eval.
501 We'll put the symbols into the subsym table as well as the normal symbol
502 table, since that's what works best. */
506 int x ATTRIBUTE_UNUSED;
512 char valuestr[32], *tmp;
515 ILLEGAL_WITHIN_STRUCT ();
519 quoted = *input_line_pointer == '"';
521 ++input_line_pointer;
522 value = get_absolute_expression ();
525 if (*input_line_pointer != '"')
527 as_bad (_("Unterminated string after absolute expression"));
528 ignore_rest_of_line ();
531 ++input_line_pointer;
533 if (*input_line_pointer++ != ',')
535 as_bad (_("Comma and symbol expected for '.eval EXPR, SYMBOL'"));
536 ignore_rest_of_line ();
539 name = input_line_pointer;
540 c = get_symbol_end (); /* Get terminator. */
541 tmp = xmalloc (strlen (name) + 1);
542 name = strcpy (tmp, name);
543 *input_line_pointer = c;
545 if (!ISALPHA (*name))
547 as_bad (_("symbols assigned with .eval must begin with a letter"));
548 ignore_rest_of_line ();
551 symbolP = symbol_new (name, absolute_section,
552 (valueT) value, &zero_address_frag);
553 SF_SET_LOCAL (symbolP);
554 symbol_table_insert (symbolP);
556 /* The "other" assembler sometimes doesn't put .eval's in the subsym table
557 But since there's not written rule as to when, don't even bother trying
558 to match their behavior. */
559 sprintf (valuestr, "%d", value);
560 tmp = xmalloc (strlen (valuestr) + 1);
561 strcpy (tmp, valuestr);
562 subsym_create_or_replace (name, tmp);
564 demand_empty_rest_of_line ();
567 /* .bss symbol, size [, [blocking flag] [, alignment flag]
569 alignment is to a longword boundary; blocking is to 128-word boundary.
571 1) if there is a hole in memory, this directive should attempt to fill it
572 (not yet implemented).
574 2) if the blocking flag is not set, allocate at the current SPC
575 otherwise, check to see if the current SPC plus the space to be
576 allocated crosses the page boundary (128 words).
577 if there's not enough space, create a hole and align with the next page
579 (not yet implemented). */
583 int x ATTRIBUTE_UNUSED;
590 subsegT current_subseg;
595 ILLEGAL_WITHIN_STRUCT ();
597 current_seg = now_seg; /* Save current seg. */
598 current_subseg = now_subseg; /* Save current subseg. */
600 name = input_line_pointer;
601 c = get_symbol_end (); /* Get terminator. */
604 as_bad (".bss size argument missing\n");
605 ignore_rest_of_line ();
609 ++input_line_pointer;
610 words = get_absolute_expression ();
613 as_bad (".bss size %d < 0!", words);
614 ignore_rest_of_line ();
618 if (*input_line_pointer == ',')
620 /* The blocking flag may be missing. */
621 ++input_line_pointer;
622 if (*input_line_pointer != ',')
623 block = get_absolute_expression ();
627 if (*input_line_pointer == ',')
629 ++input_line_pointer;
630 align = get_absolute_expression ();
638 subseg_set (bss_section, 0);
639 symbolP = symbol_find_or_make (name);
641 if (S_GET_SEGMENT (symbolP) == bss_section)
642 symbolP->sy_frag->fr_symbol = (symbolS *) NULL;
644 symbol_set_frag (symbolP, frag_now);
645 p = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP,
646 (offsetT) (words * OCTETS_PER_BYTE), (char *) 0);
647 *p = 0; /* Fill char. */
649 S_SET_SEGMENT (symbolP, bss_section);
651 /* The symbol may already have been created with a preceding
652 ".globl" directive -- be careful not to step on storage class
653 in that case. Otherwise, set it to static. */
654 if (S_GET_STORAGE_CLASS (symbolP) != C_EXT)
655 S_SET_STORAGE_CLASS (symbolP, C_STAT);
659 /* s_align eats end of line; restore it */
661 --input_line_pointer;
665 bss_section->flags |= SEC_TIC54X_BLOCK;
667 subseg_set (current_seg, current_subseg); /* Restore current seg. */
668 demand_empty_rest_of_line ();
672 stag_add_field_symbols (stag, path, base_offset, rootsym, root_stag_name)
677 const char *root_stag_name;
679 char prefix[strlen (path) + 2];
680 struct stag_field *field = stag->field;
682 /* Construct a symbol for every field contained within this structure
683 including fields within structure fields. */
684 strcpy (prefix, path);
686 strcat (prefix, ".");
688 while (field != NULL)
690 int len = strlen (prefix) + strlen (field->name) + 2;
691 char *name = xmalloc (len);
692 strcpy (name, prefix);
693 strcat (name, field->name);
698 sym = symbol_new (name, absolute_section,
699 (field->stag ? field->offset :
700 (valueT) (base_offset + field->offset)),
703 symbol_table_insert (sym);
707 char *replacement = xmalloc (strlen (name)
708 + strlen (stag->name) + 2);
709 strcpy (replacement, S_GET_NAME (rootsym));
710 strcat (replacement, "+");
711 strcat (replacement, root_stag_name);
712 strcat (replacement, name + strlen (S_GET_NAME (rootsym)));
713 hash_insert (subsym_hash[0], name, replacement);
716 /* Recurse if the field is a structure.
717 Note the field offset is relative to the outermost struct. */
718 if (field->stag != NULL)
719 stag_add_field_symbols (field->stag, name,
721 rootsym, root_stag_name);
726 /* Keep track of stag fields so that when structures are nested we can add the
727 complete dereferencing symbols to the symbol table. */
730 stag_add_field (parent, name, offset, stag)
736 struct stag_field *sfield = xmalloc (sizeof (struct stag_field));
738 memset (sfield, 0, sizeof (*sfield));
739 sfield->name = strcpy (xmalloc (strlen (name) + 1), name);
740 sfield->offset = offset;
741 sfield->bitfield_offset = parent->current_bitfield_offset;
743 if (parent->field == NULL)
744 parent->field = sfield;
747 struct stag_field *sf = parent->field;
748 while (sf->next != NULL)
752 /* Only create a symbol for this field if the parent has no name. */
753 if (!strncmp (".fake", parent->name, 5))
755 symbolS *sym = symbol_new (name, absolute_section,
756 (valueT) offset, &zero_address_frag);
758 symbol_table_insert (sym);
762 /* [STAG] .struct [OFFSET]
763 Start defining structure offsets (symbols in absolute section). */
769 int start_offset = 0;
774 /* Starting a new struct, switch to absolute section. */
775 stag_saved_seg = now_seg;
776 stag_saved_subseg = now_subseg;
777 subseg_set (absolute_section, 0);
779 /* Align the current pointer. */
780 else if (current_stag->current_bitfield_offset != 0)
782 ++abs_section_offset;
783 current_stag->current_bitfield_offset = 0;
786 /* Offset expression is only meaningful for global .structs. */
789 /* Offset is ignored in inner structs. */
791 if (!is_end_of_line[(int) *input_line_pointer])
792 start_offset = get_absolute_expression ();
799 /* Nesting, link to outer one. */
800 current_stag->inner = (struct stag *) xmalloc (sizeof (struct stag));
801 memset (current_stag->inner, 0, sizeof (struct stag));
802 current_stag->inner->outer = current_stag;
803 current_stag = current_stag->inner;
805 as_warn (_("Offset on nested structures is ignored"));
806 start_offset = abs_section_offset;
810 current_stag = (struct stag *) xmalloc (sizeof (struct stag));
811 memset (current_stag, 0, sizeof (struct stag));
812 abs_section_offset = start_offset;
814 current_stag->is_union = is_union;
816 if (line_label == NULL)
818 static int struct_count = 0;
819 char fake[] = ".fake_stagNNNNNNN";
820 sprintf (fake, ".fake_stag%d", struct_count++);
821 current_stag->sym = symbol_new (fake, absolute_section,
822 (valueT) abs_section_offset,
827 char label[strlen (S_GET_NAME (line_label)) + 1];
828 strcpy (label, S_GET_NAME (line_label));
829 current_stag->sym = symbol_new (label, absolute_section,
830 (valueT) abs_section_offset,
833 current_stag->name = S_GET_NAME (current_stag->sym);
834 SF_SET_LOCAL (current_stag->sym);
835 /* Nested .structs don't go into the symbol table. */
836 if (current_stag->outer == NULL)
837 symbol_table_insert (current_stag->sym);
842 /* [LABEL] .endstruct
843 finish defining structure offsets; optional LABEL's value will be the size
847 tic54x_endstruct (is_union)
852 !strncmp (current_stag->name, ".fake", 5) ? "" : current_stag->name;
854 if (!current_stag || current_stag->is_union != is_union)
856 as_bad (_(".end%s without preceding .%s"),
857 is_union ? "union" : "struct",
858 is_union ? "union" : "struct");
859 ignore_rest_of_line ();
863 /* Align end of structures. */
864 if (current_stag->current_bitfield_offset)
866 ++abs_section_offset;
867 current_stag->current_bitfield_offset = 0;
870 if (current_stag->is_union)
871 size = current_stag->size;
873 size = abs_section_offset - S_GET_VALUE (current_stag->sym);
874 if (line_label != NULL)
876 S_SET_VALUE (line_label, size);
877 symbol_table_insert (line_label);
881 /* Union size has already been calculated. */
882 if (!current_stag->is_union)
883 current_stag->size = size;
884 /* Nested .structs don't get put in the stag table. */
885 if (current_stag->outer == NULL)
887 hash_insert (stag_hash, current_stag->name, current_stag);
888 stag_add_field_symbols (current_stag, path,
889 S_GET_VALUE (current_stag->sym),
892 current_stag = current_stag->outer;
894 /* If this is a nested .struct/.union, add it as a field to the enclosing
895 one. otherwise, restore the section we were in. */
896 if (current_stag != NULL)
898 stag_add_field (current_stag, current_stag->inner->name,
899 S_GET_VALUE (current_stag->inner->sym),
900 current_stag->inner);
903 subseg_set (stag_saved_seg, stag_saved_subseg);
907 Reference a structure within a structure, as a sized field with an optional
909 If used outside of a .struct/.endstruct, overlays the given structure
910 format on the existing allocated space. */
914 int ignore ATTRIBUTE_UNUSED;
916 char *name = input_line_pointer;
917 int c = get_symbol_end ();
918 struct stag *stag = (struct stag *) hash_find (stag_hash, name);
923 as_bad (_("Unrecognized struct/union tag '%s'"), name);
925 as_bad (_(".tag requires a structure tag"));
926 ignore_rest_of_line ();
929 if (line_label == NULL)
931 as_bad (_("Label required for .tag"));
932 ignore_rest_of_line ();
937 char label[strlen (S_GET_NAME (line_label)) + 1];
939 strcpy (label, S_GET_NAME (line_label));
940 if (current_stag != NULL)
941 stag_add_field (current_stag, label,
942 abs_section_offset - S_GET_VALUE (current_stag->sym),
946 symbolS *sym = symbol_find (label);
950 as_bad (_(".tag target '%s' undefined"), label);
951 ignore_rest_of_line ();
954 stag_add_field_symbols (stag, S_GET_NAME (sym),
955 S_GET_VALUE (stag->sym), sym, stag->name);
959 /* Bump by the struct size, but only if we're within a .struct section. */
960 if (current_stag != NULL && !current_stag->is_union)
961 abs_section_offset += stag->size;
963 *input_line_pointer = c;
964 demand_empty_rest_of_line ();
968 /* Handle all .byte, .char, .double, .field, .float, .half, .int, .long,
969 .short, .string, .ubyte, .uchar, .uhalf, .uint, .ulong, .ushort, .uword,
973 tic54x_struct_field (type)
978 int new_bitfield_offset = 0;
979 int field_align = current_stag->current_bitfield_offset != 0;
980 int longword_align = 0;
983 if (!is_end_of_line[(int) *input_line_pointer])
984 count = get_absolute_expression ();
1000 case '*': /* String. */
1009 case '.': /* Bitfield. */
1011 if (count < 1 || count > 32)
1013 as_bad (_(".field count '%d' out of range (1 <= X <= 32)"), count);
1014 ignore_rest_of_line ();
1017 if (current_stag->current_bitfield_offset + count > 16)
1019 /* Set the appropriate size and new field offset. */
1025 else if (count > 16)
1029 new_bitfield_offset = count - 16;
1032 new_bitfield_offset = count;
1037 new_bitfield_offset = current_stag->current_bitfield_offset + count;
1041 as_bad (_("Unrecognized field type '%c'"), type);
1042 ignore_rest_of_line ();
1048 /* Align to the actual starting position of the field. */
1049 current_stag->current_bitfield_offset = 0;
1050 ++abs_section_offset;
1052 /* Align to longword boundary. */
1053 if (longword_align && (abs_section_offset & 0x1))
1054 ++abs_section_offset;
1056 if (line_label == NULL)
1058 static int fieldno = 0;
1059 char fake[] = ".fake_fieldNNNNN";
1061 sprintf (fake, ".fake_field%d", fieldno++);
1062 stag_add_field (current_stag, fake,
1063 abs_section_offset - S_GET_VALUE (current_stag->sym),
1068 char label[strlen (S_GET_NAME (line_label) + 1)];
1070 strcpy (label, S_GET_NAME (line_label));
1071 stag_add_field (current_stag, label,
1072 abs_section_offset - S_GET_VALUE (current_stag->sym),
1076 if (current_stag->is_union)
1078 /* Note we treat the element as if it were an array of COUNT. */
1079 if (current_stag->size < (unsigned) size * count)
1080 current_stag->size = size * count;
1084 abs_section_offset += (unsigned) size * count;
1085 current_stag->current_bitfield_offset = new_bitfield_offset;
1090 /* Handle .byte, .word. .int, .long and all variants. */
1099 /* If we're within a .struct construct, don't actually allocate space. */
1100 if (current_stag != NULL)
1102 tic54x_struct_field (type);
1106 #ifdef md_flush_pending_output
1107 md_flush_pending_output ();
1110 generate_lineno_debug ();
1112 /* Align long words to long word boundaries (4 octets). */
1113 if (type == 'l' || type == 'L')
1115 frag_align (2, 0, 2);
1116 /* If there's a label, assign it to the first allocated word. */
1117 if (line_label != NULL)
1119 symbol_set_frag (line_label, frag_now);
1120 S_SET_VALUE (line_label, frag_now_fix ());
1144 if (*input_line_pointer == '"')
1146 input_line_pointer++;
1147 while (is_a_char (c = next_char_of_string ()))
1148 tic54x_emit_char (c);
1149 know (input_line_pointer[-1] == '\"');
1155 input_line_pointer = parse_expression (input_line_pointer, &exp);
1156 if (exp.X_op == O_constant)
1158 offsetT value = exp.X_add_number;
1159 /* Truncate overflows. */
1163 if ((value > 0 && value > 0xFF)
1164 || (value < 0 && value < - 0x100))
1165 as_warn ("Overflow in expression, truncated to 8 bits");
1168 if ((value > 0 && value > 0xFFFF)
1169 || (value < 0 && value < - 0x10000))
1170 as_warn ("Overflow in expression, truncated to 16 bits");
1174 if (exp.X_op != O_constant && octets < 2)
1176 /* Disallow .byte with a non constant expression that will
1177 require relocation. */
1178 as_bad (_("Relocatable values require at least WORD storage"));
1179 ignore_rest_of_line ();
1183 if (exp.X_op != O_constant
1187 /* FIXME -- at one point TI tools used to output REL16
1188 relocations, but I don't think the latest tools do at all
1189 The current tools output extended relocations regardless of
1190 the addressing mode (I actually think that ".c_mode" is
1191 totally ignored in the latest tools). */
1194 emit_expr (&exp, 4);
1200 emitting_long = octets == 4;
1201 emit_expr (&exp, (octets == 1) ? 2 : octets);
1206 while (*input_line_pointer++ == ',');
1208 input_line_pointer--; /* Put terminator back into stream. */
1209 demand_empty_rest_of_line ();
1212 /* .global <symbol>[,...,<symbolN>]
1213 .def <symbol>[,...,<symbolN>]
1214 .ref <symbol>[,...,<symbolN>]
1216 These all identify global symbols.
1218 .def means the symbol is defined in the current module and can be accessed
1219 by other files. The symbol should be placed in the symbol table.
1221 .ref means the symbol is used in the current module but defined in another
1222 module. The linker is to resolve this symbol's definition at link time.
1224 .global should act as a .ref or .def, as needed.
1226 global, def and ref all have symbol storage classes of C_EXT.
1228 I can't identify any difference in how the "other" c54x assembler treats
1229 these, so we ignore the type here. */
1232 tic54x_global (type)
1240 as_warn (_("Use of .def/.ref is deprecated. Use .global instead"));
1242 ILLEGAL_WITHIN_STRUCT ();
1246 name = input_line_pointer;
1247 c = get_symbol_end ();
1248 symbolP = symbol_find_or_make (name);
1250 *input_line_pointer = c;
1251 S_SET_STORAGE_CLASS (symbolP, C_EXT);
1254 input_line_pointer++;
1255 if (is_end_of_line[(int) *input_line_pointer])
1256 c = *input_line_pointer;
1261 demand_empty_rest_of_line ();
1264 /* Remove the symbol from the local label hash lookup. */
1267 tic54x_remove_local_label (key, value)
1269 PTR value ATTRIBUTE_UNUSED;
1271 PTR *elem = hash_delete (local_label_hash[macro_level], key);
1275 /* Reset all local labels. */
1278 tic54x_clear_local_labels (ignored)
1279 int ignored ATTRIBUTE_UNUSED;
1281 hash_traverse (local_label_hash[macro_level], tic54x_remove_local_label);
1286 .sect "section name"
1289 make sure local labels get cleared when changing sections
1291 ARG is 't' for text, 'd' for data, or '*' for a named section
1293 For compatibility, '*' sections are SEC_CODE if instructions are
1294 encountered, or SEC_DATA if not.
1301 ILLEGAL_WITHIN_STRUCT ();
1303 /* Local labels are cleared when changing sections. */
1304 tic54x_clear_local_labels (0);
1308 else if (arg == 'd')
1315 /* If there are quotes, remove them. */
1316 if (*input_line_pointer == '"')
1318 name = demand_copy_C_string (&len);
1319 demand_empty_rest_of_line ();
1320 name = strcpy (xmalloc (len + 10), name);
1325 name = input_line_pointer;
1326 c = get_symbol_end ();
1328 name = strcpy (xmalloc (len + 10), name);
1329 *input_line_pointer = c;
1330 demand_empty_rest_of_line ();
1332 /* Make sure all named initialized sections flagged properly. If we
1333 encounter instructions, we'll flag it with SEC_CODE as well. */
1334 strcat (name, ",\"w\"\n");
1335 input_scrub_insert_line (name);
1336 obj_coff_section (0);
1338 /* If there was a line label, make sure that it gets assigned the proper
1339 section. This is for compatibility, even though the actual behavior
1340 is not explicitly defined. For consistency, we make .sect behave
1341 like .usect, since that is probably what people expect. */
1342 if (line_label != NULL)
1344 S_SET_SEGMENT (line_label, now_seg);
1345 symbol_set_frag (line_label, frag_now);
1346 S_SET_VALUE (line_label, frag_now_fix ());
1347 if (S_GET_STORAGE_CLASS (line_label) != C_EXT)
1348 S_SET_STORAGE_CLASS (line_label, C_LABEL);
1353 /* [symbol] .space space_in_bits
1354 [symbol] .bes space_in_bits
1355 BES puts the symbol at the *last* word allocated
1357 cribbed from s_space. */
1367 int bits_per_byte = (OCTETS_PER_BYTE * 8);
1369 symbolS *label = line_label;
1372 ILLEGAL_WITHIN_STRUCT ();
1374 #ifdef md_flush_pending_output
1375 md_flush_pending_output ();
1378 /* Read the bit count. */
1381 /* Some expressions are unresolvable until later in the assembly pass;
1382 postpone until relaxation/fixup. we also have to postpone if a previous
1383 partial allocation has not been completed yet. */
1384 if (exp.X_op != O_constant || frag_bit_offset (frag_now, now_seg) == -1)
1386 struct bit_info *bi = xmalloc (sizeof (struct bit_info));
1392 p = frag_var (rs_machine_dependent,
1393 65536 * 2, 1, (relax_substateT) 0,
1394 make_expr_symbol (&exp), (offsetT) 0,
1402 /* Reduce the required size by any bit offsets currently left over
1403 from a previous .space/.bes/.field directive. */
1404 bit_offset = frag_now->tc_frag_data;
1405 if (bit_offset != 0 && bit_offset < 16)
1407 int spare_bits = bits_per_byte - bit_offset;
1409 if (spare_bits >= exp.X_add_number)
1411 /* Don't have to do anything; sufficient bits have already been
1412 allocated; just point the label to the right place. */
1415 symbol_set_frag (label, frag_now);
1416 S_SET_VALUE (label, frag_now_fix () - 1);
1419 frag_now->tc_frag_data += exp.X_add_number;
1422 exp.X_add_number -= spare_bits;
1423 /* Set the label to point to the first word allocated, which in this
1424 case is the previous word, which was only partially filled. */
1425 if (!bes && label != NULL)
1427 symbol_set_frag (label, frag_now);
1428 S_SET_VALUE (label, frag_now_fix () - 1);
1432 /* Convert bits to bytes/words and octets, rounding up. */
1433 words = ((exp.X_add_number + bits_per_byte - 1) / bits_per_byte);
1434 /* How many do we have left over? */
1435 bit_offset = exp.X_add_number % bits_per_byte;
1436 octets = words * OCTETS_PER_BYTE;
1439 as_warn (_(".space/.bes repeat count is negative, ignored"));
1442 else if (octets == 0)
1444 as_warn (_(".space/.bes repeat count is zero, ignored"));
1448 /* If we are in the absolute section, just bump the offset. */
1449 if (now_seg == absolute_section)
1451 abs_section_offset += words;
1452 if (bes && label != NULL)
1453 S_SET_VALUE (label, abs_section_offset - 1);
1454 frag_now->tc_frag_data = bit_offset;
1459 p = frag_var (rs_fill, 1, 1,
1460 (relax_substateT) 0, (symbolS *) 0,
1461 (offsetT) octets, (char *) 0);
1463 /* Make note of how many bits of this word we've allocated so far. */
1464 frag_now->tc_frag_data = bit_offset;
1466 /* .bes puts label at *last* word allocated. */
1467 if (bes && label != NULL)
1469 symbol_set_frag (label, frag_now);
1470 S_SET_VALUE (label, frag_now_fix () - 1);
1478 demand_empty_rest_of_line ();
1481 /* [symbol] .usect "section-name", size-in-words
1482 [, [blocking-flag] [, alignment-flag]]
1484 Uninitialized section.
1485 Non-zero blocking means that if the section would cross a page (128-word)
1486 boundary, it will be page-aligned.
1487 Non-zero alignment aligns on a longword boundary.
1489 Has no effect on the current section. */
1493 int x ATTRIBUTE_UNUSED;
1500 int size, blocking_flag, alignment_flag;
1502 subsegT current_subseg;
1505 ILLEGAL_WITHIN_STRUCT ();
1507 current_seg = now_seg; /* Save current seg. */
1508 current_subseg = now_subseg; /* Save current subseg. */
1510 if (*input_line_pointer == '"')
1511 input_line_pointer++;
1512 section_name = input_line_pointer;
1513 c = get_symbol_end (); /* Get terminator. */
1514 input_line_pointer++; /* Skip null symbol terminator. */
1515 name = xmalloc (input_line_pointer - section_name + 1);
1516 strcpy (name, section_name);
1518 if (*input_line_pointer == ',')
1519 ++input_line_pointer;
1522 as_bad (_("Missing size argument"));
1523 ignore_rest_of_line ();
1527 size = get_absolute_expression ();
1529 /* Read a possibly present third argument (blocking flag). */
1530 if (*input_line_pointer == ',')
1532 ++input_line_pointer;
1533 if (*input_line_pointer != ',')
1534 blocking_flag = get_absolute_expression ();
1538 /* Read a possibly present fourth argument (alignment flag). */
1539 if (*input_line_pointer == ',')
1541 ++input_line_pointer;
1542 alignment_flag = get_absolute_expression ();
1548 blocking_flag = alignment_flag = 0;
1550 seg = subseg_new (name, 0);
1551 flags = bfd_get_section_flags (stdoutput, seg) | SEC_ALLOC;
1555 /* s_align eats end of line; restore it. */
1557 --input_line_pointer;
1560 if (line_label != NULL)
1562 S_SET_SEGMENT (line_label, seg);
1563 symbol_set_frag (line_label, frag_now);
1564 S_SET_VALUE (line_label, frag_now_fix ());
1565 /* Set scl to label, since that's what TI does. */
1566 if (S_GET_STORAGE_CLASS (line_label) != C_EXT)
1567 S_SET_STORAGE_CLASS (line_label, C_LABEL);
1570 seg_info (seg)->bss = 1; /* Uninitialized data. */
1572 p = frag_var (rs_fill, 1, 1,
1573 (relax_substateT) 0, (symbolS *) line_label,
1574 size * OCTETS_PER_BYTE, (char *) 0);
1578 flags |= SEC_TIC54X_BLOCK;
1580 if (!bfd_set_section_flags (stdoutput, seg, flags))
1581 as_warn ("Error setting flags for \"%s\": %s", name,
1582 bfd_errmsg (bfd_get_error ()));
1584 subseg_set (current_seg, current_subseg); /* Restore current seg. */
1585 demand_empty_rest_of_line ();
1588 static enum cpu_version
1589 lookup_version (ver)
1592 enum cpu_version version = VNONE;
1594 if (ver[0] == '5' && ver[1] == '4')
1596 if (strlen (ver) == 3
1597 && (ver[2] == '1' || ver[2] == '2' || ver[2] == '3'
1598 || ver[2] == '5' || ver[2] == '8' || ver[2] == '9'))
1599 version = ver[2] - '0';
1600 else if (strlen (ver) == 5
1601 && TOUPPER (ver[3]) == 'L'
1602 && TOUPPER (ver[4]) == 'P'
1603 && (ver[2] == '5' || ver[2] == '6'))
1604 version = ver[2] - '0' + 10;
1612 enum cpu_version version;
1615 if (version == V545LP || version == V546LP)
1617 symbolS *symbolP = symbol_new ("__allow_lp", absolute_section,
1618 (valueT) 1, &zero_address_frag);
1619 SF_SET_LOCAL (symbolP);
1620 symbol_table_insert (symbolP);
1624 /* .version cpu-version
1625 cpu-version may be one of the following:
1635 This is for compatibility only. It currently has no affect on assembly. */
1636 static int cpu_needs_set = 1;
1640 int x ATTRIBUTE_UNUSED;
1642 enum cpu_version version = VNONE;
1643 enum cpu_version old_version = cpu;
1647 ILLEGAL_WITHIN_STRUCT ();
1650 ver = input_line_pointer;
1651 while (!is_end_of_line[(int) *input_line_pointer])
1652 ++input_line_pointer;
1653 c = *input_line_pointer;
1654 *input_line_pointer = 0;
1656 version = lookup_version (ver);
1658 if (cpu != VNONE && cpu != version)
1659 as_warn (_("CPU version has already been set"));
1661 if (version == VNONE)
1663 as_bad (_("Unrecognized version '%s'"), ver);
1664 ignore_rest_of_line ();
1667 else if (assembly_begun && version != old_version)
1669 as_bad (_("Changing of CPU version on the fly not supported"));
1670 ignore_rest_of_line ();
1676 *input_line_pointer = c;
1677 demand_empty_rest_of_line ();
1680 /* 'f' = float, 'x' = xfloat, 'd' = double, 'l' = ldouble. */
1683 tic54x_float_cons (type)
1686 if (current_stag != 0)
1687 tic54x_struct_field ('f');
1689 #ifdef md_flush_pending_output
1690 md_flush_pending_output ();
1693 /* Align to long word boundary (4 octets) unless it's ".xfloat". */
1696 frag_align (2, 0, 2);
1697 /* If there's a label, assign it to the first allocated word. */
1698 if (line_label != NULL)
1700 symbol_set_frag (line_label, frag_now);
1701 S_SET_VALUE (line_label, frag_now_fix ());
1708 /* The argument is capitalized if it should be zero-terminated
1709 's' is normal string with upper 8-bits zero-filled, 'p' is packed.
1710 Code copied from stringer, and slightly modified so that strings are packed
1711 and encoded into the correct octets. */
1714 tic54x_stringer (type)
1719 int append_zero = type == 'S' || type == 'P';
1720 int packed = type == 'p' || type == 'P';
1721 int last_char = -1; /* Packed strings need two bytes at a time to encode. */
1723 if (current_stag != NULL)
1725 tic54x_struct_field ('*');
1729 #ifdef md_flush_pending_output
1730 md_flush_pending_output ();
1733 c = ','; /* Do loop. */
1737 switch (*input_line_pointer)
1741 unsigned short value = get_absolute_expression ();
1742 FRAG_APPEND_1_CHAR ( value & 0xFF);
1743 FRAG_APPEND_1_CHAR ((value >> 8) & 0xFF);
1747 ++input_line_pointer; /* -> 1st char of string. */
1748 start = input_line_pointer;
1749 while (is_a_char (c = next_char_of_string ()))
1753 FRAG_APPEND_1_CHAR (c);
1754 FRAG_APPEND_1_CHAR (0);
1758 /* Packed strings are filled MS octet first. */
1759 if (last_char == -1)
1763 FRAG_APPEND_1_CHAR (c);
1764 FRAG_APPEND_1_CHAR (last_char);
1771 if (packed && last_char != -1)
1773 FRAG_APPEND_1_CHAR (0);
1774 FRAG_APPEND_1_CHAR (last_char);
1779 FRAG_APPEND_1_CHAR (0);
1780 FRAG_APPEND_1_CHAR (0);
1783 know (input_line_pointer[-1] == '\"');
1787 c = *input_line_pointer;
1788 if (!is_end_of_line[c])
1789 ++input_line_pointer;
1792 /* Finish up any leftover packed string. */
1793 if (packed && last_char != -1)
1795 FRAG_APPEND_1_CHAR (0);
1796 FRAG_APPEND_1_CHAR (last_char);
1798 demand_empty_rest_of_line ();
1802 tic54x_p2align (arg)
1803 int arg ATTRIBUTE_UNUSED;
1805 as_bad (_("p2align not supported on this target"));
1809 tic54x_align_words (arg)
1812 /* Only ".align" with no argument is allowed within .struct/.union. */
1815 if (!is_end_of_line[(int) *input_line_pointer])
1818 as_warn (_("Argument to .even ignored"));
1820 count = get_absolute_expression ();
1823 if (current_stag != NULL && arg == 128)
1825 if (current_stag->current_bitfield_offset != 0)
1827 current_stag->current_bitfield_offset = 0;
1828 ++abs_section_offset;
1830 demand_empty_rest_of_line ();
1834 ILLEGAL_WITHIN_STRUCT ();
1836 s_align_bytes (count << 1);
1839 /* Initialize multiple-bit fields withing a single word of memory. */
1842 tic54x_field (ignore)
1843 int ignore ATTRIBUTE_UNUSED;
1849 symbolS *label = line_label;
1851 if (current_stag != NULL)
1853 tic54x_struct_field ('.');
1857 input_line_pointer = parse_expression (input_line_pointer, &exp);
1859 if (*input_line_pointer == ',')
1861 ++input_line_pointer;
1862 size = get_absolute_expression ();
1863 if (size < 1 || size > 32)
1865 as_bad (_("Invalid field size, must be from 1 to 32"));
1866 ignore_rest_of_line ();
1871 /* Truncate values to the field width. */
1872 if (exp.X_op != O_constant)
1874 /* If the expression value is relocatable, the field size *must*
1878 as_bad (_("field size must be 16 when value is relocatable"));
1879 ignore_rest_of_line ();
1883 frag_now->tc_frag_data = 0;
1884 emit_expr (&exp, 2);
1888 unsigned long fmask = (size == 32) ? 0xFFFFFFFF : (1ul << size) - 1;
1890 value = exp.X_add_number;
1891 exp.X_add_number &= fmask;
1892 if (value != (valueT) exp.X_add_number)
1893 as_warn (_("field value truncated"));
1894 value = exp.X_add_number;
1895 /* Bits are stored MS first. */
1898 frag_now->tc_frag_data = 0;
1900 md_number_to_chars (p, (value >> (size - 16)) & 0xFFFF, 2);
1905 int bit_offset = frag_bit_offset (frag_now, now_seg);
1907 fragS *alloc_frag = bit_offset_frag (frag_now, now_seg);
1908 if (bit_offset == -1)
1910 struct bit_info *bi = xmalloc (sizeof (struct bit_info));
1911 /* We don't know the previous offset at this time, so store the
1912 info we need and figure it out later. */
1913 expressionS size_exp;
1915 size_exp.X_op = O_constant;
1916 size_exp.X_add_number = size;
1918 bi->type = TYPE_FIELD;
1920 p = frag_var (rs_machine_dependent,
1921 4, 1, (relax_substateT) 0,
1922 make_expr_symbol (&size_exp), (offsetT) 0,
1926 else if (bit_offset == 0 || bit_offset + size > 16)
1928 /* Align a new field. */
1930 frag_now->tc_frag_data = 0;
1931 alloc_frag = frag_now;
1935 /* Put the new value entirely within the existing one. */
1936 p = alloc_frag == frag_now ?
1937 frag_now->fr_literal + frag_now_fix_octets () - 2 :
1938 alloc_frag->fr_literal;
1941 symbol_set_frag (label, alloc_frag);
1942 if (alloc_frag == frag_now)
1943 S_SET_VALUE (label, frag_now_fix () - 1);
1947 value <<= 16 - alloc_frag->tc_frag_data - size;
1949 /* OR in existing value. */
1950 if (alloc_frag->tc_frag_data)
1951 value |= ((unsigned short) p[1] << 8) | p[0];
1952 md_number_to_chars (p, value, 2);
1953 alloc_frag->tc_frag_data += size;
1954 if (alloc_frag->tc_frag_data == 16)
1955 alloc_frag->tc_frag_data = 0;
1959 demand_empty_rest_of_line ();
1962 /* Ideally, we want to check SEC_LOAD and SEC_HAS_CONTENTS, but those aren't
1963 available yet. seg_info ()->bss is the next best thing. */
1966 tic54x_initialized_section (seg)
1969 return !seg_info (seg)->bss;
1972 /* .clink ["section name"]
1974 Marks the section as conditionally linked (link only if contents are
1975 referenced elsewhere.
1976 Without a name, refers to the current initialized section.
1977 Name is required for uninitialized sections. */
1980 tic54x_clink (ignored)
1981 int ignored ATTRIBUTE_UNUSED;
1985 ILLEGAL_WITHIN_STRUCT ();
1987 if (*input_line_pointer == '\"')
1989 char *section_name = ++input_line_pointer;
1992 while (is_a_char (next_char_of_string ()))
1994 know (input_line_pointer[-1] == '\"');
1995 input_line_pointer[-1] = 0;
1996 name = xmalloc (input_line_pointer - section_name + 1);
1997 strcpy (name, section_name);
1999 seg = bfd_get_section_by_name (stdoutput, name);
2002 as_bad (_("Unrecognized section '%s'"), section_name);
2003 ignore_rest_of_line ();
2009 if (!tic54x_initialized_section (seg))
2011 as_bad (_("Current section is unitialized, "
2012 "section name required for .clink"));
2013 ignore_rest_of_line ();
2018 seg->flags |= SEC_TIC54X_CLINK;
2020 demand_empty_rest_of_line ();
2023 /* Change the default include directory to be the current source file's
2024 directory, instead of the current working directory. If DOT is non-zero,
2025 set to "." instead. */
2028 tic54x_set_default_include (dot)
2039 as_where (&curfile, &lineno);
2040 dir = strcpy (xmalloc (strlen (curfile) + 1), curfile);
2041 tmp = strrchr (dir, '/');
2049 if (include_dir_count == 0)
2051 include_dirs = (char **) xmalloc (sizeof (*include_dirs));
2052 include_dir_count = 1;
2054 include_dirs[0] = dir;
2055 if (len > include_dir_maxlen)
2056 include_dir_maxlen = len;
2058 else if (include_dirs != NULL)
2059 include_dirs[0] = ".";
2062 /* .include "filename" | filename
2063 .copy "filename" | filename
2065 FIXME 'include' file should be omitted from any output listing,
2066 'copy' should be included in any output listing
2067 FIXME -- prevent any included files from changing listing (compat only)
2068 FIXME -- need to include source file directory in search path; what's a
2069 good way to do this?
2071 Entering/exiting included/copied file clears all local labels. */
2074 tic54x_include (ignored)
2075 int ignored ATTRIBUTE_UNUSED;
2077 char newblock[] = " .newblock\n";
2082 ILLEGAL_WITHIN_STRUCT ();
2086 if (*input_line_pointer == '"')
2088 filename = demand_copy_C_string (&len);
2089 demand_empty_rest_of_line ();
2093 filename = input_line_pointer;
2094 while (!is_end_of_line[(int) *input_line_pointer])
2095 ++input_line_pointer;
2096 c = *input_line_pointer;
2097 *input_line_pointer = '\0';
2098 filename = strcpy (xmalloc (strlen (filename) + 1), filename);
2099 *input_line_pointer = c;
2100 demand_empty_rest_of_line ();
2102 /* Insert a partial line with the filename (for the sake of s_include)
2104 The included file will be inserted before the newblock, so that the
2105 newblock is executed after the included file is processed. */
2106 input = xmalloc (sizeof (newblock) + strlen (filename) + 4);
2107 sprintf (input, "\"%s\"\n%s", filename, newblock);
2108 input_scrub_insert_line (input);
2110 tic54x_clear_local_labels (0);
2112 tic54x_set_default_include (0);
2118 tic54x_message (type)
2125 ILLEGAL_WITHIN_STRUCT ();
2127 if (*input_line_pointer == '"')
2128 msg = demand_copy_C_string (&len);
2131 msg = input_line_pointer;
2132 while (!is_end_of_line[(int) *input_line_pointer])
2133 ++input_line_pointer;
2134 c = *input_line_pointer;
2135 *input_line_pointer = 0;
2136 msg = strcpy (xmalloc (strlen (msg) + 1), msg);
2137 *input_line_pointer = c;
2143 as_tsktsk ("%s", msg);
2146 as_warn ("%s", msg);
2153 demand_empty_rest_of_line ();
2157 Define a special symbol that refers to the loadtime address rather than the
2158 runtime address within the current section.
2160 This symbol gets a special storage class so that when it is resolved, it is
2161 resolved relative to the load address (lma) of the section rather than the
2162 run address (vma). */
2165 tic54x_label (ignored)
2166 int ignored ATTRIBUTE_UNUSED;
2168 char *name = input_line_pointer;
2172 ILLEGAL_WITHIN_STRUCT ();
2174 c = get_symbol_end ();
2175 symbolP = colon (name);
2176 S_SET_STORAGE_CLASS (symbolP, C_STATLAB);
2178 *input_line_pointer = c;
2179 demand_empty_rest_of_line ();
2183 Install all memory-mapped register names into the symbol table as
2184 absolute local symbols. */
2187 tic54x_mmregs (ignored)
2188 int ignored ATTRIBUTE_UNUSED;
2192 ILLEGAL_WITHIN_STRUCT ();
2194 for (sym = (symbol *) mmregs; sym->name; sym++)
2196 symbolS *symbolP = symbol_new (sym->name, absolute_section,
2197 (valueT) sym->value, &zero_address_frag);
2198 SF_SET_LOCAL (symbolP);
2199 symbol_table_insert (symbolP);
2204 Count defaults to 1024. */
2210 ILLEGAL_WITHIN_STRUCT ();
2213 if (!is_end_of_line[(int) *input_line_pointer])
2214 count = get_absolute_expression ();
2216 do_repeat (count, "LOOP", "ENDLOOP");
2219 /* Normally, endloop gets eaten by the preceding loop. */
2222 tic54x_endloop (ignore)
2223 int ignore ATTRIBUTE_UNUSED;
2225 as_bad (_("ENDLOOP without corresponding LOOP"));
2226 ignore_rest_of_line ();
2229 /* .break [condition]. */
2232 tic54x_break (ignore)
2233 int ignore ATTRIBUTE_UNUSED;
2237 ILLEGAL_WITHIN_STRUCT ();
2240 if (!is_end_of_line[(int) *input_line_pointer])
2241 cond = get_absolute_expression ();
2244 end_repeat (substitution_line ? 1 : 0);
2248 set_address_mode (mode)
2252 if (mode == far_mode)
2254 symbolS *symbolP = symbol_new ("__allow_far", absolute_section,
2255 (valueT) 1, &zero_address_frag);
2256 SF_SET_LOCAL (symbolP);
2257 symbol_table_insert (symbolP);
2261 static int address_mode_needs_set = 1;
2264 tic54x_address_mode (mode)
2267 if (assembly_begun && amode != (unsigned) mode)
2269 as_bad (_("Mixing of normal and extended addressing not supported"));
2270 ignore_rest_of_line ();
2273 if (mode == far_mode && cpu != VNONE && cpu != V548 && cpu != V549)
2275 as_bad (_("Extended addressing not supported on the specified CPU"));
2276 ignore_rest_of_line ();
2280 set_address_mode (mode);
2281 demand_empty_rest_of_line ();
2284 /* .sblock "section"|section [,...,"section"|section]
2285 Designate initialized sections for blocking. */
2288 tic54x_sblock (ignore)
2289 int ignore ATTRIBUTE_UNUSED;
2293 ILLEGAL_WITHIN_STRUCT ();
2300 if (*input_line_pointer == '"')
2304 name = demand_copy_C_string (&len);
2308 char *section_name = input_line_pointer;
2310 c = get_symbol_end ();
2311 name = xmalloc (strlen (section_name) + 1);
2312 strcpy (name, section_name);
2313 *input_line_pointer = c;
2316 seg = bfd_get_section_by_name (stdoutput, name);
2319 as_bad (_("Unrecognized section '%s'"), name);
2320 ignore_rest_of_line ();
2323 else if (!tic54x_initialized_section (seg))
2325 as_bad (_(".sblock may be used for initialized sections only"));
2326 ignore_rest_of_line ();
2329 seg->flags |= SEC_TIC54X_BLOCK;
2331 c = *input_line_pointer;
2332 if (!is_end_of_line[(int) c])
2333 ++input_line_pointer;
2336 demand_empty_rest_of_line ();
2339 /* symbol .set value
2342 value must be defined externals; no forward-referencing allowed
2343 symbols assigned with .set/.equ may not be redefined. */
2347 int ignore ATTRIBUTE_UNUSED;
2352 ILLEGAL_WITHIN_STRUCT ();
2356 as_bad (_("Symbol missing for .set/.equ"));
2357 ignore_rest_of_line ();
2360 name = xstrdup (S_GET_NAME (line_label));
2362 if ((symbolP = symbol_find (name)) == NULL
2363 && (symbolP = md_undefined_symbol (name)) == NULL)
2365 symbolP = symbol_new (name, absolute_section, 0, &zero_address_frag);
2366 S_SET_STORAGE_CLASS (symbolP, C_STAT);
2369 S_SET_DATA_TYPE (symbolP, T_INT);
2370 S_SET_SEGMENT (symbolP, absolute_section);
2371 symbol_table_insert (symbolP);
2372 pseudo_set (symbolP);
2373 demand_empty_rest_of_line ();
2378 List false conditional blocks. */
2381 tic54x_fclist (show)
2385 listing &= ~LISTING_NOCOND;
2387 listing |= LISTING_NOCOND;
2388 demand_empty_rest_of_line ();
2392 tic54x_sslist (show)
2395 ILLEGAL_WITHIN_STRUCT ();
2397 listing_sslist = show;
2400 /* .var SYM[,...,SYMN]
2401 Define a substitution string to be local to a macro. */
2405 int ignore ATTRIBUTE_UNUSED;
2407 static char empty[] = "";
2411 ILLEGAL_WITHIN_STRUCT ();
2413 if (macro_level == 0)
2415 as_bad (_(".var may only be used within a macro definition"));
2416 ignore_rest_of_line ();
2421 if (!ISALPHA (*input_line_pointer))
2423 as_bad (_("Substitution symbols must begin with a letter"));
2424 ignore_rest_of_line ();
2427 name = input_line_pointer;
2428 c = get_symbol_end ();
2429 /* .var symbols start out with a null string. */
2430 name = strcpy (xmalloc (strlen (name) + 1), name);
2431 hash_insert (subsym_hash[macro_level], name, empty);
2432 *input_line_pointer = c;
2435 ++input_line_pointer;
2436 if (is_end_of_line[(int) *input_line_pointer])
2437 c = *input_line_pointer;
2442 demand_empty_rest_of_line ();
2445 /* .mlib <macro library filename>
2447 Macro libraries are archived (standard AR-format) text macro definitions
2448 Expand the file and include it.
2450 FIXME need to try the source file directory as well. */
2453 tic54x_mlib (ignore)
2454 int ignore ATTRIBUTE_UNUSED;
2461 ILLEGAL_WITHIN_STRUCT ();
2463 /* Parse the filename. */
2464 if (*input_line_pointer == '"')
2466 if ((filename = demand_copy_C_string (&len)) == NULL)
2473 while (!is_end_of_line[(int) *input_line_pointer]
2474 && !ISSPACE (*input_line_pointer))
2476 obstack_1grow (¬es, *input_line_pointer);
2477 ++input_line_pointer;
2480 obstack_1grow (¬es, '\0');
2481 filename = obstack_finish (¬es);
2483 demand_empty_rest_of_line ();
2485 tic54x_set_default_include (0);
2486 path = xmalloc ((unsigned long) len + include_dir_maxlen + 5);
2488 for (i = 0; i < include_dir_count; i++)
2492 strcpy (path, include_dirs[i]);
2494 strcat (path, filename);
2495 if ((try = fopen (path, "r")) != NULL)
2502 if (i >= include_dir_count)
2508 /* FIXME: if path is found, malloc'd storage is not freed. Of course, this
2509 happens all over the place, and since the assembler doesn't usually keep
2510 running for a very long time, it really doesn't matter. */
2511 register_dependency (path);
2513 /* Expand all archive entries to temporary files and include them. */
2514 abfd = bfd_openr (path, NULL);
2517 as_bad (_("Can't open macro library file '%s' for reading."), path);
2518 as_perror ("%s", path);
2519 ignore_rest_of_line ();
2522 if (!bfd_check_format (abfd, bfd_archive))
2524 as_bad (_("File '%s' not in macro archive format"), path);
2525 ignore_rest_of_line ();
2529 /* Open each BFD as binary (it should be straight ASCII text). */
2530 for (mbfd = bfd_openr_next_archived_file (abfd, NULL);
2531 mbfd != NULL; mbfd = bfd_openr_next_archived_file (abfd, mbfd))
2533 /* Get a size at least as big as the archive member. */
2534 bfd_size_type size = bfd_get_size (mbfd);
2535 char *buf = xmalloc (size);
2536 char *fname = tmpnam (NULL);
2539 /* We're not sure how big it is, but it will be smaller than "size". */
2540 bfd_bread (buf, size, mbfd);
2542 /* Write to a temporary file, then use s_include to include it
2544 ftmp = fopen (fname, "w+b");
2545 fwrite ((void *) buf, size, 1, ftmp);
2546 if (buf[size - 1] != '\n')
2547 fwrite ("\n", 1, 1, ftmp);
2550 input_scrub_insert_file (fname);
2555 const pseudo_typeS md_pseudo_table[] =
2557 { "algebraic", s_ignore , 0 },
2558 { "align" , tic54x_align_words , 128 },
2559 { "ascii" , tic54x_stringer , 'p' },
2560 { "asciz" , tic54x_stringer , 'P' },
2561 { "even" , tic54x_align_words , 2 },
2562 { "asg" , tic54x_asg , 0 },
2563 { "eval" , tic54x_eval , 0 },
2564 { "bss" , tic54x_bss , 0 },
2565 { "byte" , tic54x_cons , 'b' },
2566 { "ubyte" , tic54x_cons , 'B' },
2567 { "char" , tic54x_cons , 'c' },
2568 { "uchar" , tic54x_cons , 'C' },
2569 { "clink" , tic54x_clink , 0 },
2570 { "c_mode" , tic54x_address_mode , c_mode },
2571 { "copy" , tic54x_include , 'c' },
2572 { "include" , tic54x_include , 'i' },
2573 { "data" , tic54x_sect , 'd' },
2574 { "double" , tic54x_float_cons , 'd' },
2575 { "ldouble" , tic54x_float_cons , 'l' },
2576 { "drlist" , s_ignore , 0 },
2577 { "drnolist" , s_ignore , 0 },
2578 { "emsg" , tic54x_message , 'e' },
2579 { "mmsg" , tic54x_message , 'm' },
2580 { "wmsg" , tic54x_message , 'w' },
2581 { "far_mode" , tic54x_address_mode , far_mode },
2582 { "fclist" , tic54x_fclist , 1 },
2583 { "fcnolist" , tic54x_fclist , 0 },
2584 { "field" , tic54x_field , -1 },
2585 { "float" , tic54x_float_cons , 'f' },
2586 { "xfloat" , tic54x_float_cons , 'x' },
2587 { "global" , tic54x_global , 'g' },
2588 { "def" , tic54x_global , 'd' },
2589 { "ref" , tic54x_global , 'r' },
2590 { "half" , tic54x_cons , 'h' },
2591 { "uhalf" , tic54x_cons , 'H' },
2592 { "short" , tic54x_cons , 's' },
2593 { "ushort" , tic54x_cons , 'S' },
2594 { "if" , s_if , (int) O_ne },
2595 { "elseif" , s_elseif , (int) O_ne },
2596 { "else" , s_else , 0 },
2597 { "endif" , s_endif , 0 },
2598 { "int" , tic54x_cons , 'i' },
2599 { "uint" , tic54x_cons , 'I' },
2600 { "word" , tic54x_cons , 'w' },
2601 { "uword" , tic54x_cons , 'W' },
2602 { "label" , tic54x_label , 0 }, /* Loadtime
2604 { "length" , s_ignore , 0 },
2605 { "width" , s_ignore , 0 },
2606 { "long" , tic54x_cons , 'l' },
2607 { "ulong" , tic54x_cons , 'L' },
2608 { "xlong" , tic54x_cons , 'x' },
2609 { "loop" , tic54x_loop , 1024 },
2610 { "break" , tic54x_break , 0 },
2611 { "endloop" , tic54x_endloop , 0 },
2612 { "mlib" , tic54x_mlib , 0 },
2613 { "mlist" , s_ignore , 0 },
2614 { "mnolist" , s_ignore , 0 },
2615 { "mmregs" , tic54x_mmregs , 0 },
2616 { "newblock" , tic54x_clear_local_labels, 0 },
2617 { "option" , s_ignore , 0 },
2618 { "p2align" , tic54x_p2align , 0 },
2619 { "sblock" , tic54x_sblock , 0 },
2620 { "sect" , tic54x_sect , '*' },
2621 { "set" , tic54x_set , 0 },
2622 { "equ" , tic54x_set , 0 },
2623 { "space" , tic54x_space , 0 },
2624 { "bes" , tic54x_space , 1 },
2625 { "sslist" , tic54x_sslist , 1 },
2626 { "ssnolist" , tic54x_sslist , 0 },
2627 { "string" , tic54x_stringer , 's' },
2628 { "pstring" , tic54x_stringer , 'p' },
2629 { "struct" , tic54x_struct , 0 },
2630 { "tag" , tic54x_tag , 0 },
2631 { "endstruct", tic54x_endstruct , 0 },
2632 { "tab" , s_ignore , 0 },
2633 { "text" , tic54x_sect , 't' },
2634 { "union" , tic54x_struct , 1 },
2635 { "endunion" , tic54x_endstruct , 1 },
2636 { "usect" , tic54x_usect , 0 },
2637 { "var" , tic54x_var , 0 },
2638 { "version" , tic54x_version , 0 },
2643 md_parse_option (c, arg)
2651 case OPTION_COFF_VERSION:
2653 int version = atoi (arg);
2655 if (version != 0 && version != 1 && version != 2)
2656 as_fatal (_("Bad COFF version '%s'"), arg);
2657 /* FIXME -- not yet implemented. */
2660 case OPTION_CPU_VERSION:
2662 cpu = lookup_version (arg);
2665 as_fatal (_("Bad CPU version '%s'"), arg);
2668 case OPTION_ADDRESS_MODE:
2670 address_mode_needs_set = 1;
2672 case OPTION_STDERR_TO_FILE:
2674 char *filename = arg;
2675 FILE *fp = fopen (filename, "w+");
2678 as_fatal (_("Can't redirect stderr to the file '%s'"), filename);
2680 if ((fp = freopen (filename, "w+", stderr)) == NULL)
2681 as_fatal (_("Can't redirect stderr to the file '%s'"), filename);
2689 /* Create a "local" substitution string hash table for a new macro level
2690 Some docs imply that macros have to use .newblock in order to be able
2691 to re-use a local label. We effectively do an automatic .newblock by
2692 deleting the local label hash between macro invocations. */
2695 tic54x_macro_start ()
2698 subsym_hash[macro_level] = hash_new ();
2699 local_label_hash[macro_level] = hash_new ();
2703 tic54x_macro_info (macro)
2704 const macro_entry *macro;
2706 const formal_entry *entry;
2708 /* Put the formal args into the substitution symbol table. */
2709 for (entry = macro->formals; entry; entry = entry->next)
2711 char *name = strncpy (xmalloc (entry->name.len + 1),
2712 entry->name.ptr, entry->name.len);
2713 char *value = strncpy (xmalloc (entry->actual.len + 1),
2714 entry->actual.ptr, entry->actual.len);
2716 name[entry->name.len] = '\0';
2717 value[entry->actual.len] = '\0';
2718 hash_insert (subsym_hash[macro_level], name, value);
2722 /* Get rid of this macro's .var's, arguments, and local labels. */
2727 hash_die (subsym_hash[macro_level]);
2728 subsym_hash[macro_level] = NULL;
2729 hash_die (local_label_hash[macro_level]);
2730 local_label_hash[macro_level] = NULL;
2735 subsym_symlen (a, ignore)
2737 char *ignore ATTRIBUTE_UNUSED;
2742 /* Compare symbol A to string B. */
2745 subsym_symcmp (a, b)
2749 return strcmp (a, b);
2752 /* Return the index of the first occurrence of B in A, or zero if none
2753 assumes b is an integer char value as a string. Index is one-based. */
2756 subsym_firstch (a, b)
2761 char *tmp = strchr (a, val);
2763 return tmp ? tmp - a + 1 : 0;
2766 /* Similar to firstch, but returns index of last occurrence of B in A. */
2769 subsym_lastch (a, b)
2774 char *tmp = strrchr (a, val);
2776 return tmp ? tmp - a + 1 : 0;
2779 /* Returns 1 if string A is defined in the symbol table (NOT the substitution
2783 subsym_isdefed (a, ignore)
2785 char *ignore ATTRIBUTE_UNUSED;
2787 symbolS *symbolP = symbol_find (a);
2789 return symbolP != NULL;
2792 /* Assign first member of comma-separated list B (e.g. "1,2,3") to the symbol
2793 A, or zero if B is a null string. Both arguments *must* be substitution
2794 symbols, unsubstituted. */
2797 subsym_ismember (sym, list)
2801 char *elem, *ptr, *listv;
2806 listv = subsym_lookup (list, macro_level);
2809 as_bad (_("Undefined substitution symbol '%s'"), list);
2810 ignore_rest_of_line ();
2814 ptr = elem = xmalloc (strlen (listv) + 1);
2815 strcpy (elem, listv);
2816 while (*ptr && *ptr != ',')
2820 subsym_create_or_replace (sym, elem);
2822 /* Reassign the list. */
2823 subsym_create_or_replace (list, ptr);
2825 /* Assume this value, docs aren't clear. */
2829 /* Return zero if not a constant; otherwise:
2837 subsym_iscons (a, ignore)
2839 char *ignore ATTRIBUTE_UNUSED;
2843 parse_expression (a, &exp);
2845 if (exp.X_op == O_constant)
2847 int len = strlen (a);
2849 switch (TOUPPER (a[len - 1]))
2862 /* No suffix; either octal, hex, or decimal. */
2863 if (*a == '0' && len > 1)
2865 if (TOUPPER (a[1]) == 'X')
2875 /* Return 1 if A is a valid symbol name. Expects string input. */
2878 subsym_isname (a, ignore)
2880 char *ignore ATTRIBUTE_UNUSED;
2882 if (!is_name_beginner (*a))
2886 if (!is_part_of_name (*a))
2893 /* Return whether the string is a register; accepts ar0-7, unless .mmregs has
2894 been seen; if so, recognize any memory-mapped register.
2895 Note this does not recognize "A" or "B" accumulators. */
2898 subsym_isreg (a, ignore)
2900 char *ignore ATTRIBUTE_UNUSED;
2902 if (hash_find (reg_hash, a))
2904 if (hash_find (mmreg_hash, a))
2909 /* Return the structure size, given the stag. */
2912 subsym_structsz (name, ignore)
2914 char *ignore ATTRIBUTE_UNUSED;
2916 struct stag *stag = (struct stag *) hash_find (stag_hash, name);
2924 /* If anybody actually uses this, they can fix it :)
2925 FIXME I'm not sure what the "reference point" of a structure is. It might
2926 be either the initial offset given .struct, or it may be the offset of the
2927 structure within another structure, or it might be something else
2928 altogether. since the TI assembler doesn't seem to ever do anything but
2929 return zero, we punt and return zero. */
2932 subsym_structacc (stag_name, ignore)
2933 char *stag_name ATTRIBUTE_UNUSED;
2934 char *ignore ATTRIBUTE_UNUSED;
2940 math_ceil (arg1, ignore)
2942 float ignore ATTRIBUTE_UNUSED;
2944 return (float) ceil (arg1);
2948 math_cvi (arg1, ignore)
2950 float ignore ATTRIBUTE_UNUSED;
2956 math_floor (arg1, ignore)
2958 float ignore ATTRIBUTE_UNUSED;
2960 return (float) floor (arg1);
2964 math_fmod (arg1, arg2)
2968 return (int) arg1 % (int) arg2;
2972 math_int (arg1, ignore)
2974 float ignore ATTRIBUTE_UNUSED;
2976 return ((float) ((int) arg1)) == arg1;
2980 math_round (arg1, ignore)
2982 float ignore ATTRIBUTE_UNUSED;
2984 return arg1 > 0 ? (int) (arg1 + 0.5) : (int) (arg1 - 0.5);
2988 math_sgn (arg1, ignore)
2990 float ignore ATTRIBUTE_UNUSED;
2992 return (arg1 < 0) ? -1 : (arg1 ? 1 : 0);
2996 math_trunc (arg1, ignore)
2998 float ignore ATTRIBUTE_UNUSED;
3004 math_acos (arg1, ignore)
3006 float ignore ATTRIBUTE_UNUSED;
3008 return (float) acos (arg1);
3012 math_asin (arg1, ignore)
3014 float ignore ATTRIBUTE_UNUSED;
3016 return (float) asin (arg1);
3020 math_atan (arg1, ignore)
3022 float ignore ATTRIBUTE_UNUSED;
3024 return (float) atan (arg1);
3028 math_atan2 (arg1, arg2)
3032 return (float) atan2 (arg1, arg2);
3036 math_cosh (arg1, ignore)
3038 float ignore ATTRIBUTE_UNUSED;
3040 return (float) cosh (arg1);
3044 math_cos (arg1, ignore)
3046 float ignore ATTRIBUTE_UNUSED;
3048 return (float) cos (arg1);
3052 math_cvf (arg1, ignore)
3054 float ignore ATTRIBUTE_UNUSED;
3056 return (float) arg1;
3060 math_exp (arg1, ignore)
3062 float ignore ATTRIBUTE_UNUSED;
3064 return (float) exp (arg1);
3068 math_fabs (arg1, ignore)
3070 float ignore ATTRIBUTE_UNUSED;
3072 return (float) fabs (arg1);
3075 /* expr1 * 2^expr2. */
3078 math_ldexp (arg1, arg2)
3082 return arg1 * (float) pow (2.0, arg2);
3086 math_log10 (arg1, ignore)
3088 float ignore ATTRIBUTE_UNUSED;
3090 return (float) log10 (arg1);
3094 math_log (arg1, ignore)
3096 float ignore ATTRIBUTE_UNUSED;
3098 return (float) log (arg1);
3102 math_max (arg1, arg2)
3106 return (arg1 > arg2) ? arg1 : arg2;
3110 math_min (arg1, arg2)
3114 return (arg1 < arg2) ? arg1 : arg2;
3118 math_pow (arg1, arg2)
3122 return (float) pow (arg1, arg2);
3126 math_sin (arg1, ignore)
3128 float ignore ATTRIBUTE_UNUSED;
3130 return (float) sin (arg1);
3134 math_sinh (arg1, ignore)
3136 float ignore ATTRIBUTE_UNUSED;
3138 return (float) sinh (arg1);
3142 math_sqrt (arg1, ignore)
3144 float ignore ATTRIBUTE_UNUSED;
3146 return (float) sqrt (arg1);
3150 math_tan (arg1, ignore)
3152 float ignore ATTRIBUTE_UNUSED;
3154 return (float) tan (arg1);
3158 math_tanh (arg1, ignore)
3160 float ignore ATTRIBUTE_UNUSED;
3162 return (float) tanh (arg1);
3165 /* Built-in substitution symbol functions and math functions. */
3169 int (*proc) PARAMS ((char *, char *));
3171 } subsym_proc_entry;
3173 static const subsym_proc_entry subsym_procs[] =
3175 /* Assembler built-in string substitution functions. */
3176 { "$symlen", subsym_symlen, 1, },
3177 { "$symcmp", subsym_symcmp, 2, },
3178 { "$firstch", subsym_firstch, 2, },
3179 { "$lastch", subsym_lastch, 2, },
3180 { "$isdefed", subsym_isdefed, 1, },
3181 { "$ismember", subsym_ismember, 2, },
3182 { "$iscons", subsym_iscons, 1, },
3183 { "$isname", subsym_isname, 1, },
3184 { "$isreg", subsym_isreg, 1, },
3185 { "$structsz", subsym_structsz, 1, },
3186 { "$structacc", subsym_structacc, 1, },
3193 float (*proc) PARAMS ((float, float));
3198 static const math_proc_entry math_procs[] =
3200 /* Integer-returning built-in math functions. */
3201 { "$cvi", math_cvi, 1, 1 },
3202 { "$int", math_int, 1, 1 },
3203 { "$sgn", math_sgn, 1, 1 },
3205 /* Float-returning built-in math functions. */
3206 { "$acos", math_acos, 1, 0 },
3207 { "$asin", math_asin, 1, 0 },
3208 { "$atan", math_atan, 1, 0 },
3209 { "$atan2", math_atan2, 2, 0 },
3210 { "$ceil", math_ceil, 1, 0 },
3211 { "$cosh", math_cosh, 1, 0 },
3212 { "$cos", math_cos, 1, 0 },
3213 { "$cvf", math_cvf, 1, 0 },
3214 { "$exp", math_exp, 1, 0 },
3215 { "$fabs", math_fabs, 1, 0 },
3216 { "$floor", math_floor, 1, 0 },
3217 { "$fmod", math_fmod, 2, 0 },
3218 { "$ldexp", math_ldexp, 2, 0 },
3219 { "$log10", math_log10, 1, 0 },
3220 { "$log", math_log, 1, 0 },
3221 { "$max", math_max, 2, 0 },
3222 { "$min", math_min, 2, 0 },
3223 { "$pow", math_pow, 2, 0 },
3224 { "$round", math_round, 1, 0 },
3225 { "$sin", math_sin, 1, 0 },
3226 { "$sinh", math_sinh, 1, 0 },
3227 { "$sqrt", math_sqrt, 1, 0 },
3228 { "$tan", math_tan, 1, 0 },
3229 { "$tanh", math_tanh, 1, 0 },
3230 { "$trunc", math_trunc, 1, 0 },
3231 { NULL, NULL, 0, 0 },
3239 const subsym_proc_entry *subsym_proc;
3240 const math_proc_entry *math_proc;
3241 const char *hash_err;
3243 char *TIC54X_DIR = getenv ("TIC54X_DIR");
3244 char *A_DIR = TIC54X_DIR ? TIC54X_DIR : getenv ("A_DIR");
3248 /* Look for A_DIR and add it to the include list. */
3251 char *tmp = xstrdup (A_DIR);
3255 char *next = strchr (tmp, ';');
3259 add_include_dir (tmp);
3262 while (tmp != NULL);
3265 op_hash = hash_new ();
3266 for (tm = (template *) tic54x_optab; tm->name; tm++)
3268 if (hash_find (op_hash, tm->name))
3270 hash_err = hash_insert (op_hash, tm->name, (char *) tm);
3272 as_fatal ("Internal Error: Can't hash %s: %s",
3273 tm->name, hash_err);
3275 parop_hash = hash_new ();
3276 for (tm = (template *) tic54x_paroptab; tm->name; tm++)
3278 if (hash_find (parop_hash, tm->name))
3280 hash_err = hash_insert (parop_hash, tm->name, (char *) tm);
3282 as_fatal ("Internal Error: Can't hash %s: %s",
3283 tm->name, hash_err);
3285 reg_hash = hash_new ();
3286 for (sym = (symbol *) regs; sym->name; sym++)
3288 /* Add basic registers to the symbol table. */
3289 symbolS *symbolP = symbol_new (sym->name, absolute_section,
3290 (valueT) sym->value, &zero_address_frag);
3291 SF_SET_LOCAL (symbolP);
3292 symbol_table_insert (symbolP);
3293 hash_err = hash_insert (reg_hash, sym->name, (char *) sym);
3295 for (sym = (symbol *) mmregs; sym->name; sym++)
3296 hash_err = hash_insert (reg_hash, sym->name, (char *) sym);
3297 mmreg_hash = hash_new ();
3298 for (sym = (symbol *) mmregs; sym->name; sym++)
3299 hash_err = hash_insert (mmreg_hash, sym->name, (char *) sym);
3301 cc_hash = hash_new ();
3302 for (sym = (symbol *) condition_codes; sym->name; sym++)
3303 hash_err = hash_insert (cc_hash, sym->name, (char *) sym);
3305 cc2_hash = hash_new ();
3306 for (sym = (symbol *) cc2_codes; sym->name; sym++)
3307 hash_err = hash_insert (cc2_hash, sym->name, (char *) sym);
3309 cc3_hash = hash_new ();
3310 for (sym = (symbol *) cc3_codes; sym->name; sym++)
3311 hash_err = hash_insert (cc3_hash, sym->name, (char *) sym);
3313 sbit_hash = hash_new ();
3314 for (sym = (symbol *) status_bits; sym->name; sym++)
3315 hash_err = hash_insert (sbit_hash, sym->name, (char *) sym);
3317 misc_symbol_hash = hash_new ();
3318 for (symname = (char **) misc_symbols; *symname; symname++)
3319 hash_err = hash_insert (misc_symbol_hash, *symname, *symname);
3321 /* Only the base substitution table and local label table are initialized;
3322 the others (for local macro substitution) get instantiated as needed. */
3323 local_label_hash[0] = hash_new ();
3324 subsym_hash[0] = hash_new ();
3325 for (subsym_proc = subsym_procs; subsym_proc->name; subsym_proc++)
3326 hash_err = hash_insert (subsym_hash[0], subsym_proc->name,
3327 (char *) subsym_proc);
3329 math_hash = hash_new ();
3330 for (math_proc = math_procs; math_proc->name; math_proc++)
3332 /* Insert into the main subsym hash for recognition; insert into
3333 the math hash to actually store information. */
3334 hash_err = hash_insert (subsym_hash[0], math_proc->name,
3335 (char *) math_proc);
3336 hash_err = hash_insert (math_hash, math_proc->name,
3337 (char *) math_proc);
3339 subsym_recurse_hash = hash_new ();
3340 stag_hash = hash_new ();
3344 is_accumulator (operand)
3345 struct opstruct *operand;
3347 return strcasecmp (operand->buf, "a") == 0
3348 || strcasecmp (operand->buf, "b") == 0;
3351 /* Return the number of operands found, or -1 on error, copying the
3352 operands into the given array and the accompanying expressions into
3356 get_operands (operands, line)
3357 struct opstruct operands[];
3362 int expecting_operand = 0;
3365 while (numexp < MAX_OPERANDS && !is_end_of_line[(int) *lptr])
3367 int paren_not_balanced = 0;
3368 char *op_start, *op_end;
3370 while (*lptr && ISSPACE (*lptr))
3373 while (paren_not_balanced || *lptr != ',')
3377 if (paren_not_balanced)
3379 as_bad ("Unbalanced parenthesis in operand %d", numexp);
3386 ++paren_not_balanced;
3387 else if (*lptr == ')')
3388 --paren_not_balanced;
3392 if (op_end != op_start)
3394 int len = op_end - op_start;
3396 strncpy (operands[numexp].buf, op_start, len);
3397 operands[numexp].buf[len] = 0;
3398 /* Trim trailing spaces; while the preprocessor gets rid of most,
3399 there are weird usage patterns that can introduce them
3400 (i.e. using strings for macro args). */
3401 while (len > 0 && ISSPACE (operands[numexp].buf[len - 1]))
3402 operands[numexp].buf[--len] = 0;
3408 if (expecting_operand || *lptr == ',')
3410 as_bad ("Expecting operand after ','");
3416 if (*++lptr == '\0')
3418 as_bad ("Expecting operand after ','");
3421 expecting_operand = 1;
3425 while (*lptr && ISSPACE (*lptr++))
3427 if (!is_end_of_line[(int) *lptr])
3429 as_bad ("Extra junk on line");
3433 /* OK, now parse them into expressions. */
3434 for (i = 0; i < numexp; i++)
3436 memset (&operands[i].exp, 0, sizeof (operands[i].exp));
3437 if (operands[i].buf[0] == '#')
3440 parse_expression (operands[i].buf + 1, &operands[i].exp);
3442 else if (operands[i].buf[0] == '@')
3444 /* Direct notation. */
3445 parse_expression (operands[i].buf + 1, &operands[i].exp);
3447 else if (operands[i].buf[0] == '*')
3450 char *paren = strchr (operands[i].buf, '(');
3452 /* Allow immediate syntax in the inner expression. */
3453 if (paren && paren[1] == '#')
3456 /* Pull out the lk expression or SP offset, if present. */
3459 int len = strlen (paren);
3460 char *end = paren + len;
3463 while (end[-1] != ')')
3466 as_bad (_("Badly formed address expression"));
3471 parse_expression (paren, &operands[i].exp);
3475 operands[i].exp.X_op = O_absent;
3478 parse_expression (operands[i].buf, &operands[i].exp);
3484 /* Predicates for different operand types. */
3487 is_immediate (operand)
3488 struct opstruct *operand;
3490 return *operand->buf == '#';
3493 /* This is distinguished from immediate because some numbers must be constants
3494 and must *not* have the '#' prefix. */
3497 is_absolute (operand)
3498 struct opstruct *operand;
3500 return operand->exp.X_op == O_constant && !is_immediate (operand);
3503 /* Is this an indirect operand? */
3506 is_indirect (operand)
3507 struct opstruct *operand;
3509 return operand->buf[0] == '*';
3512 /* Is this a valid dual-memory operand? */
3516 struct opstruct *operand;
3518 if (is_indirect (operand) && strncasecmp (operand->buf, "*ar", 3) == 0)
3520 char *tmp = operand->buf + 3;
3525 /* Only allow *ARx, *ARx-, *ARx+, or *ARx+0%. */
3526 valid_mod = *tmp == '\0' ||
3527 strcasecmp (tmp, "-") == 0 ||
3528 strcasecmp (tmp, "+") == 0 ||
3529 strcasecmp (tmp, "+0%") == 0;
3530 return arf >= 2 && arf <= 5 && valid_mod;
3537 struct opstruct *operand;
3539 return (is_absolute (operand)
3540 || is_immediate (operand)
3541 || hash_find (mmreg_hash, operand->buf) != 0);
3545 is_type (operand, type)
3546 struct opstruct *operand;
3552 return operand->buf[0] == 0;
3555 return is_dual (operand);
3557 return is_indirect (operand);
3559 /* This one *must* be immediate. */
3560 return is_immediate (operand);
3569 /* Address may be a numeric, indirect, or an expression. */
3570 return !is_immediate (operand);
3573 return is_mmreg (operand);
3578 return is_accumulator (operand);
3580 return is_accumulator (operand) && TOUPPER (operand->buf[0]) == 'B';
3582 return is_accumulator (operand) && TOUPPER (operand->buf[0]) == 'A';
3584 return strncasecmp ("ar", operand->buf, 2) == 0
3585 && ISDIGIT (operand->buf[2]);
3587 return hash_find (sbit_hash, operand->buf) != 0 || is_absolute (operand);
3589 return hash_find (cc_hash, operand->buf) != 0;
3591 return hash_find (cc2_hash, operand->buf) != 0;
3593 return hash_find (cc3_hash, operand->buf) != 0
3594 || is_immediate (operand) || is_absolute (operand);
3596 return (is_immediate (operand) || is_absolute (operand))
3597 && operand->exp.X_add_number == 16;
3599 /* Allow st0 or st1 instead of a numeric. */
3600 return is_absolute (operand) || is_immediate (operand) ||
3601 strcasecmp ("st0", operand->buf) == 0 ||
3602 strcasecmp ("st1", operand->buf) == 0;
3605 return is_absolute (operand) || is_immediate (operand);
3607 return (is_immediate (operand) || is_absolute (operand))
3608 && operand->exp.X_add_number >= 0 && operand->exp.X_add_number < 16;
3610 /* Let this one catch out-of-range values. */
3611 return (is_immediate (operand) || is_absolute (operand))
3612 && operand->exp.X_add_number != 16;
3616 return is_absolute (operand) || is_immediate (operand);
3618 return is_immediate (operand)
3619 && operand->exp.X_op == O_constant
3620 && operand->exp.X_add_number >= 0
3621 && operand->exp.X_add_number < 256;
3624 /* Allow anything; assumes opcodes are ordered with Smem operands
3630 /* Just make sure it's an integer; check range later. */
3631 return is_immediate (operand);
3633 return strcasecmp ("t", operand->buf) == 0 ||
3634 strcasecmp ("treg", operand->buf) == 0;
3636 return strcasecmp ("ts", operand->buf) == 0;
3638 return strcasecmp ("asm", operand->buf) == 0;
3640 return strcasecmp ("trn", operand->buf) == 0;
3642 return strcasecmp ("dp", operand->buf) == 0;
3644 return strcasecmp ("arp", operand->buf) == 0;
3651 operands_match (insn, operands, opcount, refoptype, minops, maxops)
3653 struct opstruct *operands;
3655 const enum optype *refoptype;
3659 int op = 0, refop = 0;
3661 if (opcount == 0 && minops == 0)
3664 while (op <= maxops && refop <= maxops)
3666 while (!is_type (&operands[op], OPTYPE (refoptype[refop])))
3668 /* Skip an optional template operand if it doesn't agree
3669 with the current operand. */
3670 if (refoptype[refop] & OPT)
3681 /* Save the actual operand type for later use. */
3682 operands[op].type = OPTYPE (refoptype[refop]);
3685 /* Have we matched them all yet? */
3690 /* If a later operand is *not* optional, no match. */
3691 if ((refoptype[refop] & OPT) == 0)
3693 /* Flag any implicit default OP_DST operands so we know to add
3694 them explicitly when encoding the operand later. */
3695 if (OPTYPE (refoptype[refop]) == OP_DST)
3696 insn->using_default_dst = 1;
3708 /* 16-bit direct memory address
3709 Explicit dmad operands are always in last word of insn (usually second
3710 word, but bumped to third if lk addressing is used)
3712 We allow *(dmad) notation because the TI assembler allows it.
3715 0 for 16-bit addresses
3716 1 for full 23-bit addresses
3717 2 for the upper 7 bits of a 23-bit address (LDX). */
3720 encode_dmad (insn, operand, xpc_code)
3722 struct opstruct *operand;
3725 int op = 1 + insn->is_lkaddr;
3727 /* Only allow *(dmad) expressions; all others are invalid. */
3728 if (is_indirect (operand) && operand->buf[strlen (operand->buf) - 1] != ')')
3730 as_bad (_("Invalid dmad syntax '%s'"), operand->buf);
3734 insn->opcode[op].addr_expr = operand->exp;
3736 if (insn->opcode[op].addr_expr.X_op == O_constant)
3738 valueT value = insn->opcode[op].addr_expr.X_add_number;
3742 insn->opcode[0].word &= 0xFF80;
3743 insn->opcode[0].word |= (value >> 16) & 0x7F;
3744 insn->opcode[1].word = value & 0xFFFF;
3746 else if (xpc_code == 2)
3747 insn->opcode[op].word = (value >> 16) & 0xFFFF;
3749 insn->opcode[op].word = value;
3753 /* Do the fixup later; just store the expression. */
3754 insn->opcode[op].word = 0;
3755 insn->opcode[op].r_nchars = 2;
3757 if (amode == c_mode)
3758 insn->opcode[op].r_type = BFD_RELOC_TIC54X_16_OF_23;
3759 else if (xpc_code == 1)
3761 /* This relocation spans two words, so adjust accordingly. */
3762 insn->opcode[0].addr_expr = operand->exp;
3763 insn->opcode[0].r_type = BFD_RELOC_TIC54X_23;
3764 insn->opcode[0].r_nchars = 4;
3765 insn->opcode[0].unresolved = 1;
3766 /* It's really 2 words, but we want to stop encoding after the
3767 first, since we must encode both words at once. */
3770 else if (xpc_code == 2)
3771 insn->opcode[op].r_type = BFD_RELOC_TIC54X_MS7_OF_23;
3773 insn->opcode[op].r_type = BFD_RELOC_TIC54X_16_OF_23;
3775 insn->opcode[op].unresolved = 1;
3781 /* 7-bit direct address encoding. */
3784 encode_address (insn, operand)
3786 struct opstruct *operand;
3788 /* Assumes that dma addresses are *always* in word 0 of the opcode. */
3789 insn->opcode[0].addr_expr = operand->exp;
3791 if (operand->exp.X_op == O_constant)
3792 insn->opcode[0].word |= (operand->exp.X_add_number & 0x7F);
3795 if (operand->exp.X_op == O_register)
3796 as_bad (_("Use the .mmregs directive to use memory-mapped register names such as '%s'"), operand->buf);
3797 /* Do the fixup later; just store the expression. */
3798 insn->opcode[0].r_nchars = 1;
3799 insn->opcode[0].r_type = BFD_RELOC_TIC54X_PARTLS7;
3800 insn->opcode[0].unresolved = 1;
3807 encode_indirect (insn, operand)
3809 struct opstruct *operand;
3814 if (insn->is_lkaddr)
3816 /* lk addresses always go in the second insn word. */
3817 mod = ((TOUPPER (operand->buf[1]) == 'A') ? 12 :
3818 (operand->buf[1] == '(') ? 15 :
3819 (strchr (operand->buf, '%') != NULL) ? 14 : 13);
3820 arf = ((mod == 12) ? operand->buf[3] - '0' :
3821 (mod == 15) ? 0 : operand->buf[4] - '0');
3823 insn->opcode[1].addr_expr = operand->exp;
3825 if (operand->exp.X_op == O_constant)
3826 insn->opcode[1].word = operand->exp.X_add_number;
3829 insn->opcode[1].word = 0;
3830 insn->opcode[1].r_nchars = 2;
3831 insn->opcode[1].r_type = BFD_RELOC_TIC54X_16_OF_23;
3832 insn->opcode[1].unresolved = 1;
3835 else if (strncasecmp (operand->buf, "*sp (", 4) == 0)
3837 /* Stack offsets look the same as 7-bit direct addressing. */
3838 return encode_address (insn, operand);
3842 arf = (TOUPPER (operand->buf[1]) == 'A' ?
3843 operand->buf[3] : operand->buf[4]) - '0';
3845 if (operand->buf[1] == '+')
3847 mod = 3; /* *+ARx */
3848 if (insn->tm->flags & FL_SMR)
3849 as_warn (_("Address mode *+ARx is write-only. "
3850 "Results of reading are undefined."));
3852 else if (operand->buf[4] == '\0')
3854 else if (operand->buf[5] == '\0')
3855 mod = (operand->buf[4] == '-' ? 1 : 2); /* *ARx+ / *ARx- */
3856 else if (operand->buf[6] == '\0')
3858 if (operand->buf[5] == '0')
3859 mod = (operand->buf[4] == '-' ? 5 : 6); /* *ARx+0 / *ARx-0 */
3861 mod = (operand->buf[4] == '-' ? 8 : 10);/* *ARx+% / *ARx-% */
3863 else if (TOUPPER (operand->buf[6]) == 'B')
3864 mod = (operand->buf[4] == '-' ? 4 : 7); /* ARx+0B / *ARx-0B */
3865 else if (TOUPPER (operand->buf[6]) == '%')
3866 mod = (operand->buf[4] == '-' ? 9 : 11); /* ARx+0% / *ARx - 0% */
3869 as_bad (_("Unrecognized indirect address format \"%s\""),
3875 insn->opcode[0].word |= 0x80 | (mod << 3) | arf;
3881 encode_integer (insn, operand, which, min, max, mask)
3883 struct opstruct *operand;
3887 unsigned short mask;
3889 long parse, integer;
3891 insn->opcode[which].addr_expr = operand->exp;
3893 if (operand->exp.X_op == O_constant)
3895 parse = operand->exp.X_add_number;
3896 /* Hack -- fixup for 16-bit hex quantities that get converted positive
3897 instead of negative. */
3898 if ((parse & 0x8000) && min == -32768 && max == 32767)
3899 integer = (short) parse;
3903 if (integer >= min && integer <= max)
3905 insn->opcode[which].word |= (integer & mask);
3908 as_bad (_("Operand '%s' out of range (%d <= x <= %d)"),
3909 operand->buf, min, max);
3913 if (insn->opcode[which].addr_expr.X_op == O_constant)
3915 insn->opcode[which].word |=
3916 insn->opcode[which].addr_expr.X_add_number & mask;
3920 /* Do the fixup later; just store the expression. */
3921 bfd_reloc_code_real_type rtype =
3922 (mask == 0x1FF ? BFD_RELOC_TIC54X_PARTMS9 :
3923 mask == 0xFFFF ? BFD_RELOC_TIC54X_16_OF_23 :
3924 mask == 0x7F ? BFD_RELOC_TIC54X_PARTLS7 : BFD_RELOC_8);
3925 int size = (mask == 0x1FF || mask == 0xFFFF) ? 2 : 1;
3927 if (rtype == BFD_RELOC_8)
3928 as_bad (_("Error in relocation handling"));
3930 insn->opcode[which].r_nchars = size;
3931 insn->opcode[which].r_type = rtype;
3932 insn->opcode[which].unresolved = 1;
3942 encode_condition (insn, operand)
3944 struct opstruct *operand;
3946 symbol *cc = (symbol *) hash_find (cc_hash, operand->buf);
3949 as_bad (_("Unrecognized condition code \"%s\""), operand->buf);
3952 #define CC_GROUP 0x40
3954 #define CATG_A1 0x07
3955 #define CATG_B1 0x30
3956 #define CATG_A2 0x30
3957 #define CATG_B2 0x0C
3958 #define CATG_C2 0x03
3959 /* Disallow group 1 conditions mixed with group 2 conditions
3960 if group 1, allow only one category A and one category B
3961 if group 2, allow only one each of category A, B, and C. */
3962 if (((insn->opcode[0].word & 0xFF) != 0))
3964 if ((insn->opcode[0].word & CC_GROUP) != (cc->value & CC_GROUP))
3966 as_bad (_("Condition \"%s\" does not match preceding group"),
3970 if (insn->opcode[0].word & CC_GROUP)
3972 if ((insn->opcode[0].word & CC_ACC) != (cc->value & CC_ACC))
3974 as_bad (_("Condition \"%s\" uses a different accumulator from "
3975 "a preceding condition"),
3979 if ((insn->opcode[0].word & CATG_A1) && (cc->value & CATG_A1))
3981 as_bad (_("Only one comparison conditional allowed"));
3984 if ((insn->opcode[0].word & CATG_B1) && (cc->value & CATG_B1))
3986 as_bad (_("Only one overflow conditional allowed"));
3990 else if ( ((insn->opcode[0].word & CATG_A2) && (cc->value & CATG_A2))
3991 || ((insn->opcode[0].word & CATG_B2) && (cc->value & CATG_B2))
3992 || ((insn->opcode[0].word & CATG_C2) && (cc->value & CATG_C2)))
3994 as_bad (_("Duplicate %s conditional"), operand->buf);
3999 insn->opcode[0].word |= cc->value;
4004 encode_cc3 (insn, operand)
4006 struct opstruct *operand;
4008 symbol *cc3 = (symbol *) hash_find (cc3_hash, operand->buf);
4009 int value = cc3 ? cc3->value : operand->exp.X_add_number << 8;
4011 if ((value & 0x0300) != value)
4013 as_bad (_("Unrecognized condition code \"%s\""), operand->buf);
4016 insn->opcode[0].word |= value;
4021 encode_arx (insn, operand)
4023 struct opstruct *operand;
4025 int arf = strlen (operand->buf) >= 3 ? operand->buf[2] - '0' : -1;
4027 if (strncasecmp ("ar", operand->buf, 2) || arf < 0 || arf > 7)
4029 as_bad (_("Invalid auxiliary register (use AR0-AR7)"));
4032 insn->opcode[0].word |= arf;
4037 encode_cc2 (insn, operand)
4039 struct opstruct *operand;
4041 symbol *cc2 = (symbol *) hash_find (cc2_hash, operand->buf);
4045 as_bad (_("Unrecognized condition code \"%s\""), operand->buf);
4048 insn->opcode[0].word |= cc2->value;
4053 encode_operand (insn, type, operand)
4056 struct opstruct *operand;
4058 int ext = (insn->tm->flags & FL_EXT) != 0;
4060 if (type == OP_MMR && operand->exp.X_op != O_constant)
4062 /* Disallow long-constant addressing for memory-mapped addressing. */
4063 if (insn->is_lkaddr)
4065 as_bad (_("lk addressing modes are invalid for memory-mapped "
4066 "register addressing"));
4070 /* Warn about *+ARx when used with MMR operands. */
4071 if (strncasecmp (operand->buf, "*+ar", 4) == 0)
4073 as_warn (_("Address mode *+ARx is not allowed in memory-mapped "
4074 "register addressing. Resulting behavior is "
4084 /* 16-bit immediate value. */
4085 return encode_dmad (insn, operand, 0);
4087 if (TOUPPER (*operand->buf) == 'B')
4089 insn->opcode[ext ? (1 + insn->is_lkaddr) : 0].word |= (1 << 9);
4090 if (insn->using_default_dst)
4091 insn->opcode[ext ? (1 + insn->is_lkaddr) : 0].word |= (1 << 8);
4095 /* Make sure this agrees with the OP_DST operand. */
4096 if (!((TOUPPER (operand->buf[0]) == 'B') ^
4097 ((insn->opcode[0].word & (1 << 8)) != 0)))
4099 as_bad (_("Destination accumulator for each part of this parallel "
4100 "instruction must be different"));
4106 if (TOUPPER (operand->buf[0]) == 'B')
4107 insn->opcode[ext ? (1 + insn->is_lkaddr) : 0].word |= (1 << 8);
4112 int mod = (operand->buf[4] == '\0' ? 0 : /* *arx */
4113 operand->buf[4] == '-' ? 1 : /* *arx- */
4114 operand->buf[5] == '\0' ? 2 : 3); /* *arx+, *arx+0% */
4115 int arf = operand->buf[3] - '0' - 2;
4116 int code = (mod << 2) | arf;
4117 insn->opcode[0].word |= (code << (type == OP_Xmem ? 4 : 0));
4122 if (!is_indirect (operand))
4123 return encode_address (insn, operand);
4126 return encode_indirect (insn, operand);
4128 return encode_dmad (insn, operand, 2);
4130 return encode_dmad (insn, operand, 1);
4133 return encode_dmad (insn, operand, 0);
4135 return encode_arx (insn, operand);
4140 int value = operand->exp.X_add_number;
4143 insn->opcode[0].word |= value;
4146 if (value < 16 || value > 24)
4148 as_bad (_("Memory mapped register \"%s\" out of range"),
4152 if (type == OP_MMRX)
4153 insn->opcode[0].word |= (value - 16) << 4;
4155 insn->opcode[0].word |= (value - 16);
4163 return encode_integer (insn, operand, ext + insn->is_lkaddr,
4166 return encode_integer (insn, operand, ext + insn->is_lkaddr,
4169 return encode_integer (insn, operand, 1 + insn->is_lkaddr,
4170 -32768, 32767, 0xFFFF);
4172 return encode_condition (insn, operand);
4174 return encode_cc2 (insn, operand);
4176 return encode_cc3 (insn, operand);
4178 return encode_integer (insn, operand, 0, 0, 15, 0xF);
4180 return encode_integer (insn, operand, 0, -128, 127, 0xFF);
4183 int value = operand->exp.X_add_number;
4185 if (value < 1 || value > 3)
4187 as_bad (_("Invalid operand (use 1, 2, or 3)"));
4190 code = value == 1 ? 0 : value == 2 ? 0x2 : 0x1;
4191 insn->opcode[0].word |= (code << 8);
4195 return encode_integer (insn, operand, 0, 0, 31, 0x1F);
4197 return encode_integer (insn, operand, 0, 0, 255, 0xFF);
4199 return encode_integer (insn, operand, 1 + insn->is_lkaddr,
4203 symbol *sbit = (symbol *) hash_find (sbit_hash, operand->buf);
4204 int value = is_absolute (operand) ?
4205 operand->exp.X_add_number : (sbit ? sbit->value : -1);
4208 if (insn->opcount == 1)
4212 as_bad (_("A status register or status bit name is required"));
4215 /* Guess the register based on the status bit; "ovb" is the last
4216 status bit defined for st0. */
4217 if (sbit > (symbol *) hash_find (sbit_hash, "ovb"))
4222 as_bad (_("Unrecognized status bit \"%s\""), operand->buf);
4225 insn->opcode[0].word |= value;
4226 insn->opcode[0].word |= (reg << 9);
4230 if (strcasecmp (operand->buf, "st0") == 0
4231 || strcasecmp (operand->buf, "st1") == 0)
4233 insn->opcode[0].word |=
4234 ((unsigned short) (operand->buf[2] - '0')) << 9;
4237 else if (operand->exp.X_op == O_constant
4238 && (operand->exp.X_add_number == 0
4239 || operand->exp.X_add_number == 1))
4241 insn->opcode[0].word |=
4242 ((unsigned short) (operand->exp.X_add_number)) << 9;
4245 as_bad (_("Invalid status register \"%s\""), operand->buf);
4248 return encode_integer (insn, operand, 0, -16, 15, 0x1F);
4250 return encode_integer (insn, operand, 0, 0, 7, 0x7);
4252 return encode_integer (insn, operand, 0, 0, 0x1FF, 0x1FF);
4254 if (operand->exp.X_add_number != 1
4255 && operand->exp.X_add_number != 2)
4257 as_bad (_("Operand \"%s\" out of range (use 1 or 2)"), operand->buf);
4260 insn->opcode[0].word |= (operand->exp.X_add_number - 1) << 9;
4269 /* No encoding necessary. */
4283 flagword oldflags = bfd_get_section_flags (stdoutput, now_seg);
4284 flagword flags = oldflags | SEC_CODE;
4286 if (! bfd_set_section_flags (stdoutput, now_seg, flags))
4287 as_warn (_("error setting flags for \"%s\": %s"),
4288 bfd_section_name (stdoutput, now_seg),
4289 bfd_errmsg (bfd_get_error ()));
4291 for (i = 0; i < insn->words; i++)
4293 int size = (insn->opcode[i].unresolved
4294 && insn->opcode[i].r_type == BFD_RELOC_TIC54X_23) ? 4 : 2;
4295 char *p = frag_more (size);
4298 md_number_to_chars (p, (valueT) insn->opcode[i].word, 2);
4300 md_number_to_chars (p, (valueT) insn->opcode[i].word << 16, 4);
4302 if (insn->opcode[i].unresolved)
4303 fix_new_exp (frag_now, p - frag_now->fr_literal,
4304 insn->opcode[i].r_nchars, &insn->opcode[i].addr_expr,
4305 FALSE, insn->opcode[i].r_type);
4309 /* Convert the operand strings into appropriate opcode values
4310 return the total number of words used by the instruction. */
4318 /* Only non-parallel instructions support lk addressing. */
4319 if (!(insn->tm->flags & FL_PAR))
4321 for (i = 0; i < insn->opcount; i++)
4323 if ((OPTYPE (insn->operands[i].type) == OP_Smem
4324 || OPTYPE (insn->operands[i].type) == OP_Lmem
4325 || OPTYPE (insn->operands[i].type) == OP_Sind)
4326 && strchr (insn->operands[i].buf, '(')
4327 /* Don't mistake stack-relative addressing for lk addressing. */
4328 && strncasecmp (insn->operands[i].buf, "*sp (", 4) != 0)
4330 insn->is_lkaddr = 1;
4331 insn->lkoperand = i;
4336 insn->words = insn->tm->words + insn->is_lkaddr;
4338 insn->opcode[0].word = insn->tm->opcode;
4339 if (insn->tm->flags & FL_EXT)
4340 insn->opcode[1 + insn->is_lkaddr].word = insn->tm->opcode2;
4342 for (i = 0; i < insn->opcount; i++)
4344 enum optype type = insn->operands[i].type;
4346 if (!encode_operand (insn, type, &insn->operands[i]))
4349 if (insn->tm->flags & FL_PAR)
4350 for (i = 0; i < insn->paropcount; i++)
4352 enum optype partype = insn->paroperands[i].type;
4354 if (!encode_operand (insn, partype, &insn->paroperands[i]))
4364 optimize_insn (insn)
4367 /* Optimize some instructions, helping out the brain-dead programmer. */
4368 #define is_zero(op) ((op).exp.X_op == O_constant && (op).exp.X_add_number == 0)
4369 if (strcasecmp (insn->tm->name, "add") == 0)
4371 if (insn->opcount > 1
4372 && is_accumulator (&insn->operands[insn->opcount - 2])
4373 && is_accumulator (&insn->operands[insn->opcount - 1])
4374 && strcasecmp (insn->operands[insn->opcount - 2].buf,
4375 insn->operands[insn->opcount - 1].buf) == 0)
4378 insn->using_default_dst = 1;
4382 /* Try to collapse if Xmem and shift count is zero. */
4383 if ((OPTYPE (insn->tm->operand_types[0]) == OP_Xmem
4384 && OPTYPE (insn->tm->operand_types[1]) == OP_SHFT
4385 && is_zero (insn->operands[1]))
4386 /* Or if Smem, shift is zero or absent, and SRC == DST. */
4387 || (OPTYPE (insn->tm->operand_types[0]) == OP_Smem
4388 && OPTYPE (insn->tm->operand_types[1]) == OP_SHIFT
4389 && is_type (&insn->operands[1], OP_SHIFT)
4390 && is_zero (insn->operands[1]) && insn->opcount == 3))
4392 insn->operands[1] = insn->operands[2];
4397 else if (strcasecmp (insn->tm->name, "ld") == 0)
4399 if (insn->opcount == 3 && insn->operands[0].type != OP_SRC)
4401 if ((OPTYPE (insn->tm->operand_types[1]) == OP_SHIFT
4402 || OPTYPE (insn->tm->operand_types[1]) == OP_SHFT)
4403 && is_zero (insn->operands[1])
4404 && (OPTYPE (insn->tm->operand_types[0]) != OP_lk
4405 || (insn->operands[0].exp.X_op == O_constant
4406 && insn->operands[0].exp.X_add_number <= 255
4407 && insn->operands[0].exp.X_add_number >= 0)))
4409 insn->operands[1] = insn->operands[2];
4415 else if (strcasecmp (insn->tm->name, "sth") == 0
4416 || strcasecmp (insn->tm->name, "stl") == 0)
4418 if ((OPTYPE (insn->tm->operand_types[1]) == OP_SHIFT
4419 || OPTYPE (insn->tm->operand_types[1]) == OP_SHFT)
4420 && is_zero (insn->operands[1]))
4422 insn->operands[1] = insn->operands[2];
4427 else if (strcasecmp (insn->tm->name, "sub") == 0)
4429 if (insn->opcount > 1
4430 && is_accumulator (&insn->operands[insn->opcount - 2])
4431 && is_accumulator (&insn->operands[insn->opcount - 1])
4432 && strcasecmp (insn->operands[insn->opcount - 2].buf,
4433 insn->operands[insn->opcount - 1].buf) == 0)
4436 insn->using_default_dst = 1;
4440 if ( ((OPTYPE (insn->tm->operand_types[0]) == OP_Smem
4441 && OPTYPE (insn->tm->operand_types[1]) == OP_SHIFT)
4442 || (OPTYPE (insn->tm->operand_types[0]) == OP_Xmem
4443 && OPTYPE (insn->tm->operand_types[1]) == OP_SHFT))
4444 && is_zero (insn->operands[1])
4445 && insn->opcount == 3)
4447 insn->operands[1] = insn->operands[2];
4455 /* Find a matching template if possible, and get the operand strings. */
4458 tic54x_parse_insn (insn, line)
4462 insn->tm = (template *) hash_find (op_hash, insn->mnemonic);
4465 as_bad (_("Unrecognized instruction \"%s\""), insn->mnemonic);
4469 insn->opcount = get_operands (insn->operands, line);
4470 if (insn->opcount < 0)
4473 /* Check each variation of operands for this mnemonic. */
4474 while (insn->tm->name && strcasecmp (insn->tm->name, insn->mnemonic) == 0)
4476 if (insn->opcount >= insn->tm->minops
4477 && insn->opcount <= insn->tm->maxops
4478 && operands_match (insn, &insn->operands[0], insn->opcount,
4479 insn->tm->operand_types,
4480 insn->tm->minops, insn->tm->maxops))
4482 /* SUCCESS! now try some optimizations. */
4483 if (optimize_insn (insn))
4485 insn->tm = (template *) hash_find (op_hash,
4494 as_bad (_("Unrecognized operand list '%s' for instruction '%s'"),
4495 line, insn->mnemonic);
4499 /* We set this in start_line_hook, 'cause if we do a line replacement, we
4500 won't be able to see the next line. */
4501 static int parallel_on_next_line_hint = 0;
4503 /* See if this is part of a parallel instruction
4504 Look for a subsequent line starting with "||". */
4507 next_line_shows_parallel (next_line)
4510 /* Look for the second half. */
4511 while (ISSPACE (*next_line))
4514 return (next_line[0] == PARALLEL_SEPARATOR
4515 && next_line[1] == PARALLEL_SEPARATOR);
4519 tic54x_parse_parallel_insn_firstline (insn, line)
4523 insn->tm = (template *) hash_find (parop_hash, insn->mnemonic);
4526 as_bad (_("Unrecognized parallel instruction \"%s\""),
4531 while (insn->tm->name && strcasecmp (insn->tm->name,
4532 insn->mnemonic) == 0)
4534 insn->opcount = get_operands (insn->operands, line);
4535 if (insn->opcount < 0)
4537 if (insn->opcount == 2
4538 && operands_match (insn, &insn->operands[0], insn->opcount,
4539 insn->tm->operand_types, 2, 2))
4545 /* Didn't find a matching parallel; try for a normal insn. */
4549 /* Parse the second line of a two-line parallel instruction. */
4552 tic54x_parse_parallel_insn_lastline (insn, line)
4556 int valid_mnemonic = 0;
4558 insn->paropcount = get_operands (insn->paroperands, line);
4559 while (insn->tm->name && strcasecmp (insn->tm->name,
4560 insn->mnemonic) == 0)
4562 if (strcasecmp (insn->tm->parname, insn->parmnemonic) == 0)
4566 if (insn->paropcount >= insn->tm->minops
4567 && insn->paropcount <= insn->tm->maxops
4568 && operands_match (insn, insn->paroperands,
4570 insn->tm->paroperand_types,
4571 insn->tm->minops, insn->tm->maxops))
4577 as_bad (_("Invalid operand (s) for parallel instruction \"%s\""),
4580 as_bad (_("Unrecognized parallel instruction combination \"%s || %s\""),
4581 insn->mnemonic, insn->parmnemonic);
4586 /* If quotes found, return copy of line up to closing quote;
4587 otherwise up until terminator.
4588 If it's a string, pass as-is; otherwise attempt substitution symbol
4589 replacement on the value. */
4592 subsym_get_arg (line, terminators, str, nosub)
4600 int is_string = *line == '"';
4601 int is_char = ISDIGIT (*line);
4605 while (ISDIGIT (*ptr))
4608 *str = xmalloc (ptr - line + 1);
4609 strncpy (*str, line, ptr - line);
4610 (*str)[ptr - line] = 0;
4614 char *savedp = input_line_pointer;
4617 input_line_pointer = ptr;
4618 *str = demand_copy_C_string (&len);
4619 endp = input_line_pointer;
4620 input_line_pointer = savedp;
4622 /* Do forced substitutions if requested. */
4623 if (!nosub && **str == ':')
4624 *str = subsym_substitute (*str, 1);
4628 char *term = terminators;
4631 while (*ptr && *ptr != *term)
4642 *str = xmalloc (ptr - line + 1);
4643 strncpy (*str, line, ptr - line);
4644 (*str)[ptr - line] = 0;
4645 /* Do simple substitution, if available. */
4646 if (!nosub && (value = subsym_lookup (*str, macro_level)) != NULL)
4653 /* Replace the given substitution string.
4654 We start at the innermost macro level, so that existing locals remain local
4655 Note: we're treating macro args identically to .var's; I don't know if
4656 that's compatible w/TI's assembler. */
4659 subsym_create_or_replace (name, value)
4665 for (i = macro_level; i > 0; i--)
4667 if (hash_find (subsym_hash[i], name))
4669 hash_replace (subsym_hash[i], name, value);
4673 if (hash_find (subsym_hash[0], name))
4674 hash_replace (subsym_hash[0], name, value);
4676 hash_insert (subsym_hash[0], name, value);
4679 /* Look up the substitution string replacement for the given symbol.
4680 Start with the innermost macro substitution table given and work
4684 subsym_lookup (name, nest_level)
4688 char *value = hash_find (subsym_hash[nest_level], name);
4690 if (value || nest_level == 0)
4693 return subsym_lookup (name, nest_level - 1);
4696 /* Do substitution-symbol replacement on the given line (recursively).
4697 return the argument if no substitution was done
4699 Also look for built-in functions ($func (arg)) and local labels.
4701 If FORCED is set, look for forced substitutions of the form ':SYMBOL:'. */
4704 subsym_substitute (line, forced)
4708 /* For each apparent symbol, see if it's a substitution symbol, and if so,
4709 replace it in the input. */
4710 char *replacement; /* current replacement for LINE. */
4711 char *head; /* Start of line. */
4712 char *ptr; /* Current examination point. */
4713 int changed = 0; /* Did we make a substitution? */
4714 int eval_line = 0; /* Is this line a .eval/.asg statement? */
4715 int eval_symbol = 0; /* Are we in the middle of the symbol for
4717 char *eval_end = NULL;
4719 int line_conditional = 0;
4722 /* Work with a copy of the input line. */
4723 replacement = xmalloc (strlen (line) + 1);
4724 strcpy (replacement, line);
4726 ptr = head = replacement;
4728 /* Flag lines where we might need to replace a single '=' with two;
4729 GAS uses single '=' to assign macro args values, and possibly other
4730 places, so limit what we replace. */
4731 if (strstr (line, ".if")
4732 || strstr (line, ".elseif")
4733 || strstr (line, ".break"))
4734 line_conditional = 1;
4736 /* Watch out for .eval, so that we avoid doing substitution on the
4737 symbol being assigned a value. */
4738 if (strstr (line, ".eval") || strstr (line, ".asg"))
4741 /* If it's a macro definition, don't do substitution on the argument
4743 if (strstr (line, ".macro"))
4746 while (!is_end_of_line[(int) *ptr])
4748 int current_char = *ptr;
4750 /* Need to update this since LINE may have been modified. */
4752 eval_end = strrchr (ptr, ',');
4754 /* Replace triple double quotes with bounding quote/escapes. */
4755 if (current_char == '"' && ptr[1] == '"' && ptr[2] == '"')
4758 tmp = strstr (ptr + 2, "\"\"\"");
4764 /* Replace a single '=' with a '==';
4765 for compatibility with older code only. */
4766 if (line_conditional && current_char == '=')
4774 tmp = xmalloc (strlen (head) + 2 + strlen (ptr) + 1);
4775 sprintf (tmp, "%s==%s", head, ptr);
4776 /* Continue examining after the '=='. */
4777 ptr = tmp + strlen (head) + 2;
4779 head = replacement = tmp;
4783 /* Flag when we've reached the symbol part of .eval/.asg. */
4784 if (eval_line && ptr >= eval_end)
4787 /* For each apparent symbol, see if it's a substitution symbol, and if
4788 so, replace it in the input. */
4789 if ((forced && current_char == ':')
4790 || (!forced && is_name_beginner (current_char)))
4792 char *name; /* Symbol to be replaced. */
4793 char *savedp = input_line_pointer;
4796 char *tail; /* Rest of line after symbol. */
4798 /* Skip the colon. */
4802 name = input_line_pointer = ptr;
4803 c = get_symbol_end ();
4804 /* '?' is not normally part of a symbol, but it IS part of a local
4808 *input_line_pointer++ = c;
4809 c = *input_line_pointer;
4810 *input_line_pointer = '\0';
4812 /* Avoid infinite recursion; if a symbol shows up a second time for
4813 substitution, leave it as is. */
4814 if (hash_find (subsym_recurse_hash, name) == NULL)
4815 value = subsym_lookup (name, macro_level);
4817 as_warn (_("%s symbol recursion stopped at "
4818 "second appearance of '%s'"),
4819 forced ? "Forced substitution" : "Substitution", name);
4820 ptr = tail = input_line_pointer;
4821 input_line_pointer = savedp;
4823 /* Check for local labels; replace them with the appropriate
4825 if ((*name == '$' && ISDIGIT (name[1]) && name[2] == '\0')
4826 || name[strlen (name) - 1] == '?')
4828 /* Use an existing identifier for that label if, available, or
4829 create a new, unique identifier. */
4830 value = hash_find (local_label_hash[macro_level], name);
4834 char *namecopy = strcpy (xmalloc (strlen (name) + 1), name);
4836 value = strcpy (xmalloc (strlen (name) + sizeof (digit) + 1),
4839 value[strlen (value) - 1] = '\0';
4840 sprintf (digit, ".%d", local_label_id++);
4841 strcat (value, digit);
4842 hash_insert (local_label_hash[macro_level], namecopy, value);
4844 /* Indicate where to continue looking for substitutions. */
4847 /* Check for built-in subsym and math functions. */
4848 else if (value != NULL && *name == '$')
4850 subsym_proc_entry *entry = (subsym_proc_entry *) value;
4851 math_proc_entry *math_entry = hash_find (math_hash, name);
4852 char *arg1, *arg2 = NULL;
4857 as_bad (_("Unrecognized substitution symbol function"));
4860 else if (*ptr != '(')
4862 as_bad (_("Missing '(' after substitution symbol function"));
4866 if (math_entry != NULL)
4868 float arg1, arg2 = 0;
4869 volatile float fresult;
4871 arg1 = (float) strtod (ptr, &ptr);
4872 if (math_entry->nargs == 2)
4876 as_bad (_("Expecting second argument"));
4879 arg2 = (float) strtod (ptr, &ptr);
4881 fresult = (*math_entry->proc) (arg1, arg2);
4882 value = xmalloc (128);
4883 if (math_entry->int_return)
4884 sprintf (value, "%d", (int) fresult);
4886 sprintf (value, "%f", fresult);
4889 as_bad (_("Extra junk in function call, expecting ')'"));
4892 /* Don't bother recursing; the replacement isn't a
4899 int arg_type[2] = { *ptr == '"' , 0 };
4900 int ismember = !strcmp (entry->name, "$ismember");
4902 /* Parse one or two args, which must be a substitution
4903 symbol, string or a character-string constant. */
4904 /* For all functions, a string or substitution symbol may be
4905 used, with the following exceptions:
4906 firstch/lastch: 2nd arg must be character constant
4907 ismember: both args must be substitution symbols. */
4908 ptr = subsym_get_arg (ptr, ",)", &arg1, ismember);
4911 if (entry->nargs == 2)
4915 as_bad (_("Function expects two arguments"));
4918 /* Character constants are converted to numerics
4919 by the preprocessor. */
4920 arg_type[1] = (ISDIGIT (*ptr)) ? 2 : (*ptr == '"');
4921 ptr = subsym_get_arg (ptr, ")", &arg2, ismember);
4923 /* Args checking. */
4924 if ((!strcmp (entry->name, "$firstch")
4925 || !strcmp (entry->name, "$lastch"))
4926 && arg_type[1] != 2)
4928 as_bad (_("Expecting character constant argument"));
4932 && (arg_type[0] != 0 || arg_type[1] != 0))
4934 as_bad (_("Both arguments must be substitution symbols"));
4939 as_bad (_("Extra junk in function call, expecting ')'"));
4942 val = (*entry->proc) (arg1, arg2);
4943 value = xmalloc (64);
4944 sprintf (value, "%d", val);
4946 /* Fix things up to replace the entire expression, not just the
4952 if (value != NULL && !eval_symbol)
4954 /* Replace the symbol with its string replacement and
4955 continue. Recursively replace VALUE until either no
4956 substitutions are performed, or a substitution that has been
4957 previously made is encountered again.
4959 put the symbol into the recursion hash table so we only
4960 try to replace a symbol once. */
4963 hash_insert (subsym_recurse_hash, name, name);
4964 value = subsym_substitute (value, macro_level > 0);
4965 hash_delete (subsym_recurse_hash, name);
4968 /* Temporarily zero-terminate where the symbol started. */
4974 /* Subscripted substitution symbol -- use just the
4975 indicated portion of the string; the description
4976 kinda indicates that forced substitution is not
4977 supposed to be recursive, but I'm not sure. */
4978 unsigned beg, len = 1; /* default to a single char */
4979 char *newval = strcpy (xmalloc (strlen (value) + 1),
4982 savedp = input_line_pointer;
4983 input_line_pointer = tail + 1;
4984 beg = get_absolute_expression ();
4987 as_bad (_("Invalid subscript (use 1 to %d)"),
4991 if (*input_line_pointer == ',')
4993 ++input_line_pointer;
4994 len = get_absolute_expression ();
4995 if (beg + len > strlen (value))
4997 as_bad (_("Invalid length (use 0 to %d"),
4998 strlen (value) - beg);
5004 tail = input_line_pointer;
5007 as_bad (_("Missing ')' in subscripted substitution "
5008 "symbol expression"));
5012 input_line_pointer = savedp;
5018 tmp = xmalloc (strlen (head) + strlen (value) +
5019 strlen (tail + 1) + 2);
5021 strcat (tmp, value);
5022 /* Make sure forced substitutions are properly terminated. */
5027 as_bad (_("Missing forced substitution terminator ':'"));
5033 /* Restore the character after the symbol end. */
5036 /* Continue examining after the replacement value. */
5037 ptr = tmp + strlen (head) + strlen (value);
5039 head = replacement = tmp;
5057 /* We use this to handle substitution symbols
5058 hijack input_line_pointer, replacing it with our substituted string.
5060 .sslist should enable listing the line after replacements are made...
5062 returns the new buffer limit. */
5065 tic54x_start_line_hook ()
5068 char *replacement = NULL;
5070 /* Work with a copy of the input line, including EOL char. */
5071 endp = input_line_pointer;
5072 while (!is_end_of_line[(int) *endp++])
5074 line = xmalloc (endp - input_line_pointer + 1);
5075 strncpy (line, input_line_pointer, endp - input_line_pointer + 1);
5076 line[endp - input_line_pointer] = 0;
5078 /* Scan ahead for parallel insns. */
5079 parallel_on_next_line_hint = next_line_shows_parallel (endp + 1);
5081 /* If within a macro, first process forced replacements. */
5082 if (macro_level > 0)
5083 replacement = subsym_substitute (line, 1);
5086 replacement = subsym_substitute (replacement, 0);
5088 if (replacement != line)
5090 char *tmp = replacement;
5091 char *comment = strchr (replacement, ';');
5092 char endc = replacement[strlen (replacement) - 1];
5094 /* Clean up the replacement; we'd prefer to have this done by the
5095 standard preprocessing equipment (maybe do_scrub_chars?)
5096 but for now, do a quick-and-dirty. */
5097 if (comment != NULL)
5104 comment = replacement + strlen (replacement) - 1;
5106 /* Trim trailing whitespace. */
5107 while (ISSPACE (*comment))
5114 /* Compact leading whitespace. */
5115 while (ISSPACE (tmp[0]) && ISSPACE (tmp[1]))
5118 input_line_pointer = endp;
5119 input_scrub_insert_line (tmp);
5122 /* Keep track of whether we've done a substitution. */
5123 substitution_line = 1;
5129 substitution_line = 0;
5133 /* This is the guts of the machine-dependent assembler. STR points to a
5134 machine dependent instruction. This function is supposed to emit
5135 the frags/bytes it assembles to. */
5140 static int repeat_slot = 0;
5141 static int delay_slots = 0; /* How many delay slots left to fill? */
5142 static int is_parallel = 0;
5143 static tic54x_insn insn;
5145 char *savedp = input_line_pointer;
5148 input_line_pointer = line;
5149 c = get_symbol_end ();
5153 if (address_mode_needs_set)
5155 set_address_mode (amode);
5156 address_mode_needs_set = 0;
5169 strcpy (insn.parmnemonic, line);
5170 lptr = input_line_pointer;
5172 input_line_pointer = savedp;
5174 if (tic54x_parse_parallel_insn_lastline (&insn, lptr))
5176 int words = build_insn (&insn);
5178 if (delay_slots != 0)
5180 if (words > delay_slots)
5182 as_bad (_("Instruction does not fit in available delay "
5183 "slots (%d-word insn, %d slots left)"),
5184 words, delay_slots);
5188 delay_slots -= words;
5194 memset (&insn, 0, sizeof (insn));
5195 strcpy (insn.mnemonic, line);
5196 lptr = input_line_pointer;
5198 input_line_pointer = savedp;
5200 /* See if this line is part of a parallel instruction; if so, either this
5201 line or the next line will have the "||" specifier preceding the
5202 mnemonic, and we look for it in the parallel insn hash table. */
5203 if (strstr (line, "||") != NULL || parallel_on_next_line_hint)
5205 char *tmp = strstr (line, "||");
5209 if (tic54x_parse_parallel_insn_firstline (&insn, lptr))
5212 /* If the parallel part is on the same line, process it now,
5213 otherwise let the assembler pick up the next line for us. */
5216 while (ISSPACE (tmp[2]))
5218 md_assemble (tmp + 2);
5223 as_bad (_("Unrecognized parallel instruction '%s'"), line);
5228 if (tic54x_parse_insn (&insn, lptr))
5232 if ((insn.tm->flags & FL_LP)
5233 && cpu != V545LP && cpu != V546LP)
5235 as_bad (_("Instruction '%s' requires an LP cpu version"),
5239 if ((insn.tm->flags & FL_FAR)
5240 && amode != far_mode)
5242 as_bad (_("Instruction '%s' requires far mode addressing"),
5247 words = build_insn (&insn);
5249 /* Is this instruction in a delay slot? */
5252 if (words > delay_slots)
5254 as_warn (_("Instruction does not fit in available delay "
5255 "slots (%d-word insn, %d slots left). "
5256 "Resulting behavior is undefined."),
5257 words, delay_slots);
5261 /* Branches in delay slots are not allowed. */
5262 if (insn.tm->flags & FL_BMASK)
5264 as_warn (_("Instructions which cause PC discontinuity are not "
5265 "allowed in a delay slot. "
5266 "Resulting behavior is undefined."));
5268 delay_slots -= words;
5271 /* Is this instruction the target of a repeat? */
5274 if (insn.tm->flags & FL_NR)
5275 as_warn (_("'%s' is not repeatable. "
5276 "Resulting behavior is undefined."),
5278 else if (insn.is_lkaddr)
5279 as_warn (_("Instructions using long offset modifiers or absolute "
5280 "addresses are not repeatable. "
5281 "Resulting behavior is undefined."));
5285 /* Make sure we check the target of a repeat instruction. */
5286 if (insn.tm->flags & B_REPEAT)
5289 /* FIXME -- warn if repeat_slot == 1 at EOF. */
5291 /* Make sure we check our delay slots for validity. */
5292 if (insn.tm->flags & FL_DELAY)
5295 /* FIXME -- warn if delay_slots != 0 at EOF. */
5300 /* Do a final adjustment on the symbol table; in this case, make sure we have
5301 a ".file" symbol. */
5304 tic54x_adjust_symtab ()
5306 if (symbol_rootP == NULL
5307 || S_GET_STORAGE_CLASS (symbol_rootP) != C_FILE)
5311 as_where (&filename, &lineno);
5312 c_dot_file_symbol (filename, 0);
5316 /* In order to get gas to ignore any | chars at the start of a line,
5317 this function returns true if a | is found in a line.
5318 This lets us process parallel instructions, which span two lines. */
5321 tic54x_unrecognized_line (int c)
5323 return c == PARALLEL_SEPARATOR;
5326 /* Watch for local labels of the form $[0-9] and [_a-zA-Z][_a-zA-Z0-9]*?
5327 Encode their names so that only we see them and can map them to the
5329 FIXME -- obviously this isn't done yet. These locals still show up in the
5332 tic54x_define_label (sym)
5335 /* Just in case we need this later; note that this is not necessarily the
5336 same thing as line_label...
5337 When aligning or assigning labels to fields, sometimes the label is
5338 assigned other than the address at which the label appears.
5339 FIXME -- is this really needed? I think all the proper label assignment
5340 is done in tic54x_cons. */
5341 last_label_seen = sym;
5344 /* Try to parse something that normal parsing failed at. */
5347 tic54x_undefined_symbol (name)
5352 /* Not sure how to handle predefined symbols. */
5353 if ((sym = (symbol *) hash_find (cc_hash, name)) != NULL ||
5354 (sym = (symbol *) hash_find (cc2_hash, name)) != NULL ||
5355 (sym = (symbol *) hash_find (cc3_hash, name)) != NULL ||
5356 (sym = (symbol *) hash_find (misc_symbol_hash, name)) != NULL ||
5357 (sym = (symbol *) hash_find (sbit_hash, name)) != NULL)
5359 return symbol_new (name, reg_section,
5360 (valueT) sym->value,
5361 &zero_address_frag);
5364 if ((sym = (symbol *) hash_find (reg_hash, name)) != NULL ||
5365 (sym = (symbol *) hash_find (mmreg_hash, name)) != NULL ||
5366 !strcasecmp (name, "a") || !strcasecmp (name, "b"))
5368 return symbol_new (name, reg_section,
5369 (valueT) sym ? sym->value : 0,
5370 &zero_address_frag);
5376 /* Parse a name in an expression before the expression parser takes a stab at
5380 tic54x_parse_name (name, exp)
5381 char *name ATTRIBUTE_UNUSED;
5382 expressionS *exp ATTRIBUTE_UNUSED;
5388 md_atof (type, literalP, sizeP)
5393 #define MAX_LITTLENUMS 2
5394 LITTLENUM_TYPE words[MAX_LITTLENUMS];
5395 LITTLENUM_TYPE *word;
5396 /* Only one precision on the c54x. */
5398 char *t = atof_ieee (input_line_pointer, type, words);
5400 input_line_pointer = t;
5403 /* Target data is little-endian, but floats are stored
5404 big-"word"ian. ugh. */
5405 for (word = words; prec--;)
5407 md_number_to_chars (literalP, (long) (*word++), sizeof (LITTLENUM_TYPE));
5408 literalP += sizeof (LITTLENUM_TYPE);
5415 tc_gen_reloc (section, fixP)
5420 bfd_reloc_code_real_type code = fixP->fx_r_type;
5421 asymbol *sym = symbol_get_bfdsym (fixP->fx_addsy);
5423 rel = (arelent *) xmalloc (sizeof (arelent));
5424 rel->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
5425 *rel->sym_ptr_ptr = sym;
5426 /* We assume that all rel->address are host byte offsets. */
5427 rel->address = fixP->fx_frag->fr_address + fixP->fx_where;
5428 rel->address /= OCTETS_PER_BYTE;
5429 rel->howto = bfd_reloc_type_lookup (stdoutput, code);
5430 if (!strcmp (sym->name, section->name))
5431 rel->howto += HOWTO_BANK;
5435 const char *name = S_GET_NAME (fixP->fx_addsy);
5438 as_fatal ("Cannot generate relocation type for symbol %s, code %s",
5439 name, bfd_get_reloc_code_name (code));
5445 /* Handle cons expressions. */
5448 tic54x_cons_fix_new (frag, where, octets, exp)
5454 bfd_reloc_code_real_type r;
5459 as_bad (_("Unsupported relocation size %d"), octets);
5460 r = BFD_RELOC_TIC54X_16_OF_23;
5463 r = BFD_RELOC_TIC54X_16_OF_23;
5466 /* TI assembler always uses this, regardless of addressing mode. */
5468 r = BFD_RELOC_TIC54X_23;
5470 /* We never want to directly generate this; this is provided for
5471 stabs support only. */
5475 fix_new_exp (frag, where, octets, exp, 0, r);
5478 /* Attempt to simplify or even eliminate a fixup.
5479 To indicate that a fixup has been eliminated, set fixP->fx_done.
5481 If fixp->fx_addsy is non-NULL, we'll have to generate a reloc entry. */
5484 md_apply_fix3 (fixP, valP, seg)
5487 segT seg ATTRIBUTE_UNUSED;
5489 char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
5490 valueT val = * valP;
5492 switch (fixP->fx_r_type)
5495 as_fatal ("Bad relocation type: 0x%02x", fixP->fx_r_type);
5497 case BFD_RELOC_TIC54X_MS7_OF_23:
5498 val = (val >> 16) & 0x7F;
5500 case BFD_RELOC_TIC54X_16_OF_23:
5502 bfd_put_16 (stdoutput, val, buf);
5503 /* Indicate what we're actually writing, so that we don't get warnings
5504 about exceeding available space. */
5505 *valP = val & 0xFFFF;
5507 case BFD_RELOC_TIC54X_PARTLS7:
5508 bfd_put_16 (stdoutput,
5509 (bfd_get_16 (stdoutput, buf) & 0xFF80) | (val & 0x7F),
5511 /* Indicate what we're actually writing, so that we don't get warnings
5512 about exceeding available space. */
5515 case BFD_RELOC_TIC54X_PARTMS9:
5516 /* TI assembler doesn't shift its encoding for relocatable files, and is
5517 thus incompatible with this implementation's relocatable files. */
5518 bfd_put_16 (stdoutput,
5519 (bfd_get_16 (stdoutput, buf) & 0xFE00) | (val >> 7),
5523 case BFD_RELOC_TIC54X_23:
5524 bfd_put_32 (stdoutput,
5525 (bfd_get_32 (stdoutput, buf) & 0xFF800000) | val,
5530 if (fixP->fx_addsy == NULL && fixP->fx_pcrel == 0)
5534 /* This is our chance to record section alignment
5535 don't need to do anything here, since BFD does the proper encoding. */
5538 md_section_align (segment, section_size)
5539 segT segment ATTRIBUTE_UNUSED;
5540 valueT section_size;
5542 return section_size;
5546 md_pcrel_from (fixP)
5547 fixS *fixP ATTRIBUTE_UNUSED;
5552 #if defined OBJ_COFF
5555 tc_coff_fix2rtype (fixP)
5558 return (fixP->fx_r_type);
5561 #endif /* OBJ_COFF */
5563 /* Mostly little-endian, but longwords (4 octets) get MS word stored
5567 tic54x_number_to_chars (buf, val, n)
5573 number_to_chars_littleendian (buf, val, n);
5576 number_to_chars_littleendian (buf , val >> 16 , 2);
5577 number_to_chars_littleendian (buf + 2, val & 0xFFFF, 2);
5582 tic54x_estimate_size_before_relax (frag, seg)
5583 fragS *frag ATTRIBUTE_UNUSED;
5584 segT seg ATTRIBUTE_UNUSED;
5589 /* We use this to handle bit allocations which we couldn't handle before due
5590 to symbols being in different frags. return number of octets added. */
5593 tic54x_relax_frag (frag, stretch)
5595 long stretch ATTRIBUTE_UNUSED;
5597 symbolS *sym = frag->fr_symbol;
5603 struct bit_info *bi = (struct bit_info *) frag->fr_opcode;
5604 int bit_offset = frag_bit_offset (frag_prev (frag, bi->seg), bi->seg);
5605 int size = S_GET_VALUE (sym);
5606 fragS *prev_frag = bit_offset_frag (frag_prev (frag, bi->seg), bi->seg);
5607 int available = 16 - bit_offset;
5609 if (symbol_get_frag (sym) != &zero_address_frag
5610 || S_IS_COMMON (sym)
5611 || !S_IS_DEFINED (sym))
5612 as_bad_where (frag->fr_file, frag->fr_line,
5613 _("non-absolute value used with .space/.bes"));
5617 as_warn (_("negative value ignored in %s"),
5618 bi->type == TYPE_SPACE ? ".space" :
5619 bi->type == TYPE_BES ? ".bes" : ".field");
5621 frag->tc_frag_data = frag->fr_fix = 0;
5625 if (bi->type == TYPE_FIELD)
5627 /* Bit fields of 16 or larger will have already been handled. */
5628 if (bit_offset != 0 && available >= size)
5630 char *p = prev_frag->fr_literal;
5632 valueT value = bi->value;
5633 value <<= available - size;
5634 value |= ((unsigned short) p[1] << 8) | p[0];
5635 md_number_to_chars (p, value, 2);
5636 if ((prev_frag->tc_frag_data += size) == 16)
5637 prev_frag->tc_frag_data = 0;
5639 symbol_set_frag (bi->sym, prev_frag);
5640 /* This frag is no longer used. */
5641 growth = -frag->fr_fix;
5643 frag->tc_frag_data = 0;
5647 char *p = frag->fr_literal;
5649 valueT value = bi->value << (16 - size);
5650 md_number_to_chars (p, value, 2);
5651 if ((frag->tc_frag_data = size) == 16)
5652 frag->tc_frag_data = 0;
5658 if (bit_offset != 0 && bit_offset < 16)
5660 if (available >= size)
5662 if ((prev_frag->tc_frag_data += size) == 16)
5663 prev_frag->tc_frag_data = 0;
5665 symbol_set_frag (bi->sym, prev_frag);
5666 /* This frag is no longer used. */
5667 growth = -frag->fr_fix;
5669 frag->tc_frag_data = 0;
5672 if (bi->type == TYPE_SPACE && bi->sym)
5673 symbol_set_frag (bi->sym, prev_frag);
5676 growth = (size + 15) / 16 * OCTETS_PER_BYTE - frag->fr_fix;
5677 for (i = 0; i < growth; i++)
5678 frag->fr_literal[i] = 0;
5679 frag->fr_fix = growth;
5680 frag->tc_frag_data = size % 16;
5681 /* Make sure any BES label points to the LAST word allocated. */
5682 if (bi->type == TYPE_BES && bi->sym)
5683 S_SET_VALUE (bi->sym, frag->fr_fix / OCTETS_PER_BYTE - 1);
5686 frag->fr_symbol = 0;
5687 frag->fr_opcode = 0;
5694 tic54x_convert_frag (abfd, seg, frag)
5695 bfd *abfd ATTRIBUTE_UNUSED;
5696 segT seg ATTRIBUTE_UNUSED;
5699 /* Offset is in bytes. */
5700 frag->fr_offset = (frag->fr_next->fr_address
5702 - frag->fr_fix) / frag->fr_var;
5703 if (frag->fr_offset < 0)
5705 as_bad_where (frag->fr_file, frag->fr_line,
5706 _("attempt to .space/.bes backwards? (%ld)"),
5707 (long) frag->fr_offset);
5709 frag->fr_type = rs_space;
5712 /* We need to avoid having labels defined for certain directives/pseudo-ops
5713 since once the label is defined, it's in the symbol table for good. TI
5714 syntax puts the symbol *before* the pseudo (which is kinda like MRI syntax,
5715 I guess, except I've never seen a definition of MRI syntax).
5717 C is the character that used to be at *REST, which points to the end of the
5720 Don't allow labels to start with '.' */
5723 tic54x_start_label (c, rest)
5727 /* If within .struct/.union, no auto line labels, please. */
5728 if (current_stag != NULL)
5731 /* Disallow labels starting with "." */
5736 while (!is_end_of_line[(int) label[-1]])
5740 as_bad (_("Invalid label '%s'"), label);
5745 if (is_end_of_line[(int) c])
5749 while (ISSPACE (c = *++rest))
5753 /* Don't let colon () define a label for any of these... */
5754 return (strncasecmp (rest, ".tag", 4) != 0 || !ISSPACE (rest[4]))
5755 && (strncasecmp (rest, ".struct", 7) != 0 || !ISSPACE (rest[7]))
5756 && (strncasecmp (rest, ".union", 6) != 0 || !ISSPACE (rest[6]))
5757 && (strncasecmp (rest, ".macro", 6) != 0 || !ISSPACE (rest[6]))
5758 && (strncasecmp (rest, ".set", 4) != 0 || !ISSPACE (rest[4]))
5759 && (strncasecmp (rest, ".equ", 4) != 0 || !ISSPACE (rest[4]));