1999-06-22 Jonathan Larmour <jlarmour@cygnus.co.uk>
[platform/upstream/binutils.git] / gas / config / tc-d30v.c
1 /* tc-d30v.c -- Assembler code for the Mitsubishi D30V
2    Copyright (C) 1997, 1998, 1999 Free Software Foundation.
3
4    This file is part of GAS, the GNU Assembler.
5
6    GAS is free software; you can redistribute it and/or modify
7    it under the terms of the GNU General Public License as published by
8    the Free Software Foundation; either version 2, or (at your option)
9    any later version.
10
11    GAS is distributed in the hope that it will be useful,
12    but WITHOUT ANY WARRANTY; without even the implied warranty of
13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14    GNU General Public License for more details.
15
16    You should have received a copy of the GNU General Public License
17    along with GAS; see the file COPYING.  If not, write to
18    the Free Software Foundation, 59 Temple Place - Suite 330,
19    Boston, MA 02111-1307, USA.  */
20
21 #include <stdio.h>
22 #include <ctype.h>
23 #include "as.h"
24 #include "subsegs.h"     
25 #include "opcode/d30v.h"
26
27 const char comment_chars[] = ";";
28 const char line_comment_chars[] = "#";
29 const char line_separator_chars[] = "";
30 const char *md_shortopts = "OnNcC";
31 const char EXP_CHARS[] = "eE";
32 const char FLT_CHARS[] = "dD";
33
34 #define NOP_MULTIPLY 1
35 #define NOP_ALL 2
36 static int warn_nops = 0;
37 static int Optimizing = 0;
38 static int warn_register_name_conflicts = 1;
39
40 #define FORCE_SHORT     1
41 #define FORCE_LONG      2
42
43 /* EXEC types.  */
44 typedef enum _exec_type
45 {
46   EXEC_UNKNOWN,                 /* no order specified */
47   EXEC_PARALLEL,                /* done in parallel (FM=00) */
48   EXEC_SEQ,                     /* sequential (FM=01) */
49   EXEC_REVSEQ                   /* reverse sequential (FM=10) */
50 } exec_type_enum;
51
52 /* fixups */
53 #define MAX_INSN_FIXUPS (5)
54 struct d30v_fixup
55 {
56   expressionS exp;
57   int operand;
58   int pcrel;
59   int size;
60   bfd_reloc_code_real_type reloc;
61 };
62
63 typedef struct _fixups
64 {
65   int fc;
66   struct d30v_fixup fix[MAX_INSN_FIXUPS];
67   struct _fixups *next;
68 } Fixups;
69
70 static Fixups FixUps[2];
71 static Fixups *fixups;
72
73 /* Whether current and previous instruction are word multiply insns.  */
74 static int cur_mul32_p = 0;
75 static int prev_mul32_p = 0;
76
77 /*  The flag_explicitly_parallel is true iff the instruction being assembled
78     has been explicitly written as a parallel short-instruction pair by the
79     human programmer.  It is used in parallel_ok() to distinguish between
80     those dangerous parallelizations attempted by the human, which are to be
81     allowed, and those attempted by the assembler, which are not.  It is set
82     from md_assemble().  */
83 static int flag_explicitly_parallel = 0; 
84 static int flag_xp_state = 0;
85
86 /* Whether current and previous left sub-instruction disables
87    execution of right sub-instruction.  */
88 static int cur_left_kills_right_p = 0;
89 static int prev_left_kills_right_p = 0;
90
91 /* The known current alignment of the current section.  */
92 static int d30v_current_align;
93 static segT d30v_current_align_seg;
94
95 /* The last seen label in the current section.  This is used to auto-align
96    labels preceeding instructions.  */
97 static symbolS *d30v_last_label;
98
99 /* Two nops */
100 #define NOP_LEFT   ((long long) NOP << 32)
101 #define NOP_RIGHT  ((long long) NOP)
102 #define NOP2 (FM00 | NOP_LEFT | NOP_RIGHT)
103
104 /* local functions */
105 static int reg_name_search PARAMS ((char *name));
106 static int register_name PARAMS ((expressionS *expressionP));
107 static int check_range PARAMS ((unsigned long num, int bits, int flags));
108 static int postfix PARAMS ((char *p));
109 static bfd_reloc_code_real_type get_reloc PARAMS ((struct d30v_operand *op, int rel_flag));
110 static int get_operands PARAMS ((expressionS exp[], int cmp_hack));
111 static struct d30v_format *find_format PARAMS ((struct d30v_opcode *opcode, 
112                         expressionS ops[],int fsize, int cmp_hack));
113 static long long build_insn PARAMS ((struct d30v_insn *opcode, expressionS *opers));
114 static void write_long PARAMS ((struct d30v_insn *opcode, long long insn, Fixups *fx));
115 static void write_1_short PARAMS ((struct d30v_insn *opcode, long long insn,
116                                    Fixups *fx, int use_sequential));
117 static int write_2_short PARAMS ((struct d30v_insn *opcode1, long long insn1, 
118                    struct d30v_insn *opcode2, long long insn2, exec_type_enum exec_type, Fixups *fx));
119 static long long do_assemble PARAMS ((char *str, struct d30v_insn *opcode,
120                                       int shortp, int is_parallel));
121 static int parallel_ok PARAMS ((struct d30v_insn *opcode1, unsigned long insn1, 
122                                 struct d30v_insn *opcode2, unsigned long insn2,
123                                 exec_type_enum exec_type));
124 static void d30v_number_to_chars PARAMS ((char *buf, long long value, int nbytes));
125 static void check_size PARAMS ((long value, int bits, char *file, int line));
126 static void d30v_align PARAMS ((int, char *, symbolS *));
127 static void s_d30v_align PARAMS ((int));
128 static void s_d30v_text PARAMS ((int));
129 static void s_d30v_data PARAMS ((int));
130 static void s_d30v_section PARAMS ((int));
131
132 struct option md_longopts[] = {
133   {NULL, no_argument, NULL, 0}
134 };
135 size_t md_longopts_size = sizeof(md_longopts);       
136
137
138 /* The target specific pseudo-ops which we support.  */
139 const pseudo_typeS md_pseudo_table[] =
140 {
141   { "word", cons, 4 },
142   { "hword", cons, 2 },
143   { "align", s_d30v_align, 0 },
144   { "text", s_d30v_text, 0 },
145   { "data", s_d30v_data, 0 },
146   { "section", s_d30v_section, 0 },
147   { "section.s", s_d30v_section, 0 },
148   { "sect", s_d30v_section, 0 },
149   { "sect.s", s_d30v_section, 0 },
150   { NULL, NULL, 0 }
151 };
152
153 /* Opcode hash table.  */
154 static struct hash_control *d30v_hash;
155
156 /* reg_name_search does a binary search of the pre_defined_registers
157    array to see if "name" is a valid regiter name.  Returns the register
158    number from the array on success, or -1 on failure. */
159
160 static int
161 reg_name_search (name)
162      char *name;
163 {
164   int middle, low, high;
165   int cmp;
166
167   low = 0;
168   high = reg_name_cnt () - 1;
169
170   do
171     {
172       middle = (low + high) / 2;
173       cmp = strcasecmp (name, pre_defined_registers[middle].name);
174       if (cmp < 0)
175         high = middle - 1;
176       else if (cmp > 0)
177         low = middle + 1;
178       else
179         {
180           if (symbol_find (name) != NULL)
181             {
182               if (warn_register_name_conflicts)
183                 as_warn (_("Register name %s conflicts with symbol of the same name"),
184                          name);
185             }
186   
187           return pre_defined_registers[middle].value;
188         }
189     }
190   while (low <= high);
191   
192   return -1;
193 }
194
195 /* register_name() checks the string at input_line_pointer
196    to see if it is a valid register name.  */
197
198 static int
199 register_name (expressionP)
200      expressionS *expressionP;
201 {
202   int reg_number;
203   char c, *p = input_line_pointer;
204   
205   while (*p && *p!='\n' && *p!='\r' && *p !=',' && *p!=' ' && *p!=')')
206     p++;
207
208   c = *p;
209   if (c)
210     *p++ = 0;
211
212   /* look to see if it's in the register table */
213   reg_number = reg_name_search (input_line_pointer);
214   if (reg_number >= 0) 
215     {
216       expressionP->X_op = O_register;
217       /* temporarily store a pointer to the string here */
218       expressionP->X_op_symbol = (symbolS *)input_line_pointer;
219       expressionP->X_add_number = reg_number;
220       input_line_pointer = p;
221       return 1;
222     }
223   if (c)
224     *(p-1) = c;
225   return 0;
226 }
227
228
229 static int
230 check_range (num, bits, flags)
231      unsigned long num;
232      int bits;
233      int flags;
234 {
235   long min, max;
236   int retval=0;
237
238   /* don't bother checking 32-bit values */
239   if (bits == 32)
240     return 0;
241
242   if (flags & OPERAND_SHIFT)
243     {
244       /* We know that all shifts are right by three bits.... */
245       
246       if (flags & OPERAND_SIGNED)
247         num = (unsigned long) (((/*signed*/ long) num) >> 3);
248       else
249         num >>= 3;
250     }
251
252   if (flags & OPERAND_SIGNED)
253     {
254       max = (1 << (bits - 1))-1; 
255       min = - (1 << (bits - 1));
256       if (((long)num > max) || ((long)num < min))
257         retval = 1;
258     }
259   else
260     {
261       max = (1 << bits) - 1;
262       min = 0;
263       if ((num > max) || (num < min))
264         retval = 1;
265     }
266   
267   return retval;
268 }
269
270
271 void
272 md_show_usage (stream)
273   FILE *stream;
274 {
275   fprintf (stream, _("\nD30V options:\n\
276 -O                      Make adjacent short instructions parallel if possible.\n\
277 -n                      Warn about all NOPs inserted by the assembler.\n\
278 -N                      Warn about NOPs inserted after word multiplies.\n\
279 -c                      Warn about symbols whoes names match register names.\n\
280 -C                      Opposite of -C.  -c is the default.\n"));
281 }
282
283 int
284 md_parse_option (c, arg)
285      int c;
286      char *arg;
287 {
288   switch (c)
289     {
290       /* Optimize. Will attempt to parallelize operations */
291     case 'O':
292       Optimizing = 1;
293       break;
294
295       /* Warn about all NOPS that the assembler inserts.  */
296     case 'n':
297       warn_nops = NOP_ALL;
298       break;
299
300       /* Warn about the NOPS that the assembler inserts because of the
301          multiply hazard.  */
302     case 'N':
303       warn_nops = NOP_MULTIPLY;
304       break;
305
306     case 'c':
307       warn_register_name_conflicts = 1;
308       break;
309
310     case 'C':
311       warn_register_name_conflicts = 0;
312       break;
313       
314     default:
315       return 0;
316     }
317   return 1;
318 }
319
320 symbolS *
321 md_undefined_symbol (name)
322   char *name;
323 {
324   return 0;
325 }
326
327 /* Turn a string in input_line_pointer into a floating point constant of type
328    type, and store the appropriate bytes in *litP.  The number of LITTLENUMS
329    emitted is stored in *sizeP .  An error message is returned, or NULL on OK.
330  */
331 char *
332 md_atof (type, litP, sizeP)
333      int type;
334      char *litP;
335      int *sizeP;
336 {
337   int prec;
338   LITTLENUM_TYPE words[4];
339   char *t;
340   int i;
341   
342   switch (type)
343     {
344     case 'f':
345       prec = 2;
346       break;
347     case 'd':
348       prec = 4;
349       break;
350     default:
351       *sizeP = 0;
352       return _("bad call to md_atof");
353     }
354
355   t = atof_ieee (input_line_pointer, type, words);
356   if (t)
357     input_line_pointer = t;
358   
359   *sizeP = prec * 2;
360   
361   for (i = 0; i < prec; i++)
362     {
363       md_number_to_chars (litP, (valueT) words[i], 2);
364           litP += 2;
365     }
366   return NULL;
367 }
368
369 void
370 md_convert_frag (abfd, sec, fragP)
371   bfd *abfd;
372   asection *sec;
373   fragS *fragP;
374 {
375   abort ();
376 }
377
378 valueT
379 md_section_align (seg, addr)
380      asection *seg;
381      valueT addr;
382 {
383   int align = bfd_get_section_alignment (stdoutput, seg);
384   return ((addr + (1 << align) - 1) & (-1 << align));
385 }
386
387
388 void
389 md_begin ()
390 {
391   struct d30v_opcode * opcode;
392   d30v_hash = hash_new ();
393
394   /* Insert opcode names into a hash table. */
395   for (opcode = (struct d30v_opcode *)d30v_opcode_table; opcode->name; opcode++)
396       hash_insert (d30v_hash, opcode->name, (char *) opcode);
397
398   fixups = &FixUps[0];
399   FixUps[0].next = &FixUps[1];
400   FixUps[1].next = &FixUps[0];
401
402   d30v_current_align_seg = now_seg;
403 }
404
405
406 /* this function removes the postincrement or postdecrement
407    operator ( '+' or '-' ) from an expression */
408
409 static int postfix (p) 
410      char *p;
411 {
412   while (*p != '-' && *p != '+') 
413     {
414       if (*p==0 || *p=='\n' || *p=='\r' || *p==' ' || *p==',') 
415         break;
416       p++;
417     }
418
419   if (*p == '-') 
420     {
421       *p = ' ';
422       return (-1);
423     }
424   if (*p == '+') 
425     {
426       *p = ' ';
427       return (1);
428     }
429
430   return (0);
431 }
432
433
434 static bfd_reloc_code_real_type 
435 get_reloc (op, rel_flag) 
436      struct d30v_operand *op;
437      int rel_flag;
438 {
439   switch (op->bits)
440     {
441     case 6:
442       if (op->flags & OPERAND_SHIFT)
443         return BFD_RELOC_D30V_9_PCREL;
444       else
445         return BFD_RELOC_D30V_6;
446       break;
447     case 12:
448       if (!(op->flags & OPERAND_SHIFT))
449         as_warn (_("unexpected 12-bit reloc type"));
450       if (rel_flag == RELOC_PCREL)
451         return BFD_RELOC_D30V_15_PCREL;
452       else
453         return BFD_RELOC_D30V_15;
454     case 18:
455       if (!(op->flags & OPERAND_SHIFT))
456         as_warn (_("unexpected 18-bit reloc type"));
457       if (rel_flag == RELOC_PCREL)
458         return BFD_RELOC_D30V_21_PCREL;
459       else
460         return BFD_RELOC_D30V_21;
461     case 32:
462       if (rel_flag == RELOC_PCREL)
463         return BFD_RELOC_D30V_32_PCREL;
464       else
465         return BFD_RELOC_D30V_32;
466     default:
467       return 0;
468     }
469 }
470
471 /* get_operands parses a string of operands and returns
472    an array of expressions */
473
474 static int
475 get_operands (exp, cmp_hack) 
476      expressionS exp[];
477      int cmp_hack;
478 {
479   char *p = input_line_pointer;
480   int numops = 0;
481   int post = 0;
482
483   if (cmp_hack)
484     {
485       exp[numops].X_op = O_absent;
486       exp[numops++].X_add_number = cmp_hack - 1;
487     }
488
489   while (*p)  
490     {
491       while (*p == ' ' || *p == '\t' || *p == ',') 
492         p++;
493       if (*p==0 || *p=='\n' || *p=='\r') 
494         break;
495       
496       if (*p == '@') 
497         {
498           p++;
499           exp[numops].X_op = O_absent;
500           if (*p == '(') 
501             {
502               p++;
503               exp[numops].X_add_number = OPERAND_ATPAR;
504               post = postfix (p);
505             }
506           else if (*p == '-') 
507             {
508               p++;
509               exp[numops].X_add_number = OPERAND_ATMINUS;
510             }
511           else
512             {
513               exp[numops].X_add_number = OPERAND_ATSIGN;
514               post = postfix (p);
515             }
516           numops++;
517           continue;
518         }
519
520       if (*p == ')') 
521         {
522           /* just skip the trailing paren */
523           p++;
524           continue;
525         }
526
527       input_line_pointer = p;
528
529       /* check to see if it might be a register name */
530       if (!register_name (&exp[numops]))
531         {
532           /* parse as an expression */
533           expression (&exp[numops]);
534         }
535
536       if (exp[numops].X_op == O_illegal) 
537         as_bad (_("illegal operand"));
538       else if (exp[numops].X_op == O_absent) 
539         as_bad (_("missing operand"));
540
541       numops++;
542       p = input_line_pointer;
543
544       switch (post) 
545         {
546         case -1:        /* postdecrement mode */
547           exp[numops].X_op = O_absent;
548           exp[numops++].X_add_number = OPERAND_MINUS;
549           break;
550         case 1: /* postincrement mode */
551           exp[numops].X_op = O_absent;
552           exp[numops++].X_add_number = OPERAND_PLUS;
553           break;
554         }
555       post = 0;
556     }
557
558   exp[numops].X_op = 0;
559   return (numops);
560 }
561
562 /* build_insn generates the instruction.  It does everything */
563 /* but write the FM bits. */
564
565 static long long
566 build_insn (opcode, opers) 
567      struct d30v_insn *opcode;
568      expressionS *opers;
569 {
570   int i, length, bits, shift, flags;
571   unsigned int number, id=0;
572   long long insn;
573   struct d30v_opcode *op = opcode->op;
574   struct d30v_format *form = opcode->form;
575
576   insn = opcode->ecc << 28 | op->op1 << 25 | op->op2 << 20 | form->modifier << 18;
577
578   for (i=0; form->operands[i]; i++) 
579     { 
580       flags = d30v_operand_table[form->operands[i]].flags;
581
582       /* must be a register or number */
583       if (!(flags & OPERAND_REG) && !(flags & OPERAND_NUM) && 
584           !(flags & OPERAND_NAME) && !(flags & OPERAND_SPECIAL))
585         continue;
586
587       bits = d30v_operand_table[form->operands[i]].bits;
588       if (flags & OPERAND_SHIFT)
589         bits += 3;
590
591       length = d30v_operand_table[form->operands[i]].length;
592       shift = 12 - d30v_operand_table[form->operands[i]].position;
593       if (opers[i].X_op != O_symbol)
594         number = opers[i].X_add_number;
595       else
596         number = 0;
597       if (flags & OPERAND_REG)
598         {
599           /* check for mvfsys or mvtsys control registers */
600           if (flags & OPERAND_CONTROL && (number & 0x7f) > MAX_CONTROL_REG)
601             {
602               /* PSWL or PSWH */
603               id = (number & 0x7f) - MAX_CONTROL_REG;
604               number = 0;
605             }
606           else if (number & OPERAND_FLAG)
607             {
608               id = 3;  /* number is a flag register */
609             }
610           number &= 0x7F;
611         }
612       else if (flags & OPERAND_SPECIAL)
613         {
614           number = id;
615         }
616
617       if (opers[i].X_op != O_register && opers[i].X_op != O_constant && !(flags & OPERAND_NAME))
618         {
619           /* now create a fixup */
620
621           if (fixups->fc >= MAX_INSN_FIXUPS)
622             as_fatal (_("too many fixups"));
623
624           fixups->fix[fixups->fc].reloc = 
625             get_reloc ((struct d30v_operand *)&d30v_operand_table[form->operands[i]], op->reloc_flag);
626           fixups->fix[fixups->fc].size = 4;
627           fixups->fix[fixups->fc].exp = opers[i];
628           fixups->fix[fixups->fc].operand = form->operands[i];
629           if (fixups->fix[fixups->fc].reloc == BFD_RELOC_D30V_9_PCREL)
630             fixups->fix[fixups->fc].pcrel = RELOC_PCREL;
631           else
632             fixups->fix[fixups->fc].pcrel = op->reloc_flag;
633           (fixups->fc)++;
634         }
635
636       /* truncate to the proper number of bits */
637       if ((opers[i].X_op == O_constant) && check_range (number, bits, flags))
638         as_bad (_("operand out of range: %d"),number);
639       if (bits < 31)
640         number &= 0x7FFFFFFF >> (31 - bits);
641       if (flags & OPERAND_SHIFT)
642         number >>= 3;
643       if (bits == 32)
644         {
645           /* it's a LONG instruction */
646           insn |= (number >> 26);       /* top 6 bits */
647           insn <<= 32;                  /* shift the first word over */
648           insn |= ((number & 0x03FC0000) << 2);  /* next 8 bits */ 
649           insn |= number & 0x0003FFFF;          /* bottom 18 bits */
650         }
651       else
652         insn |= number << shift;
653     }
654   return insn;
655 }
656
657
658 /* write out a long form instruction */
659 static void
660 write_long (opcode, insn, fx) 
661      struct d30v_insn *opcode;
662      long long insn;
663      Fixups *fx;
664 {
665   int i, where;
666   char *f = frag_more (8);
667
668   insn |= FM11;
669   d30v_number_to_chars (f, insn, 8);
670
671   for (i=0; i < fx->fc; i++) 
672     {
673       if (fx->fix[i].reloc)
674         { 
675           where = f - frag_now->fr_literal; 
676           fix_new_exp (frag_now,
677                        where,
678                        fx->fix[i].size,
679                        &(fx->fix[i].exp),
680                        fx->fix[i].pcrel,
681                        fx->fix[i].reloc);
682         }
683     }
684   fx->fc = 0;
685 }
686
687
688 /* Write out a short form instruction by itself.  */
689 static void
690 write_1_short (opcode, insn, fx, use_sequential) 
691      struct d30v_insn *opcode;
692      long long insn;
693      Fixups *fx;
694      int use_sequential;
695 {
696   char *f = frag_more (8);
697   int i, where;
698
699   if (warn_nops == NOP_ALL)
700     as_warn (_("%s NOP inserted"), use_sequential ?
701              _("sequential") : _("parallel"));
702
703   /* The other container needs to be NOP. */
704   if (use_sequential)
705     {
706       /* Use a sequential NOP rather than a parallel one,
707          as the current instruction is a FLAG_MUL32 type one
708          and the next instruction is a load.  */
709       
710       /* According to 4.3.1: for FM=01, sub-instructions performed
711          only by IU cannot be encoded in L-container. */
712       
713       if (opcode->op->unit == IU)
714         insn |= FM10 | NOP_LEFT;        /* right then left */
715       else
716         insn = FM01 | (insn << 32) | NOP_RIGHT; /* left then right */
717     }
718   else
719     {
720       /* According to 4.3.1: for FM=00, sub-instructions performed
721          only by IU cannot be encoded in L-container. */
722       
723       if (opcode->op->unit == IU)
724         insn |= FM00 | NOP_LEFT;                /* right container */
725       else
726         insn = FM00 | (insn << 32) | NOP_RIGHT; /* left container */
727     }
728
729   d30v_number_to_chars (f, insn, 8);
730
731   for (i=0; i < fx->fc; i++) 
732     {
733       if (fx->fix[i].reloc)
734         { 
735           where = f - frag_now->fr_literal; 
736           fix_new_exp (frag_now,
737                        where, 
738                        fx->fix[i].size,
739                        &(fx->fix[i].exp),
740                        fx->fix[i].pcrel,
741                        fx->fix[i].reloc);
742         }
743     }
744   fx->fc = 0;
745 }
746
747 /* Write out a short form instruction if possible.
748    Return number of instructions not written out.  */
749 static int
750 write_2_short (opcode1, insn1, opcode2, insn2, exec_type, fx) 
751      struct d30v_insn *opcode1, *opcode2;
752      long long insn1, insn2;
753      exec_type_enum exec_type;
754      Fixups *fx;
755 {
756   long long insn = NOP2;
757   char *f;
758   int i,j, where;
759
760   if (exec_type == EXEC_SEQ
761       && (opcode1->op->flags_used & (FLAG_JMP | FLAG_JSR))
762       && ((opcode1->op->flags_used & FLAG_DELAY) == 0)
763       && ((opcode1->ecc == ECC_AL) || ! Optimizing))
764     {
765       /* Unconditional, non-delayed branches kill instructions in
766          the right bin.  Conditional branches don't always but if
767          we are not optimizing, then we have been asked to produce
768          an error about such constructs.  For the purposes of this
769          test, subroutine calls are considered to be branches.  */
770       write_1_short (opcode1, insn1, fx->next, false);
771       return 1;
772     }
773   
774   /* Note: we do not have to worry about subroutine calls occuring
775      in the right hand container.  The return address is always
776      aligned to the next 64 bit boundary, be that 64 or 32 bit away.  */
777   
778   switch (exec_type) 
779     {
780     case EXEC_UNKNOWN:  /* Order not specified. */
781       if (Optimizing
782           && parallel_ok (opcode1, insn1, opcode2, insn2, exec_type)
783           && ! (   (opcode1->op->unit == EITHER_BUT_PREFER_MU
784                  || opcode1->op->unit == MU)
785                 &&
786                 (   opcode2->op->unit == EITHER_BUT_PREFER_MU
787                  || opcode2->op->unit == MU)))
788         {
789           /* parallel */
790           exec_type = EXEC_PARALLEL;
791           
792           if (opcode1->op->unit == IU
793               || opcode2->op->unit == MU
794               || opcode2->op->unit == EITHER_BUT_PREFER_MU)
795             insn = FM00 | (insn2 << 32) | insn1;
796           else
797             {
798               insn = FM00 | (insn1 << 32) | insn2;  
799               fx = fx->next;
800             }
801         }
802       else if (opcode1->op->flags_used & (FLAG_JMP | FLAG_JSR)
803                && ((opcode1->op->flags_used & FLAG_DELAY) == 0)
804                && ((opcode1->ecc == ECC_AL) || ! Optimizing))
805         {
806           /* We must emit (non-delayed) branch type instructions
807              on their own with nothing in the right container.  */
808           write_1_short (opcode1, insn1, fx->next, false);
809           return 1;
810         }
811       else if (prev_left_kills_right_p)
812         {
813           /* The left instruction kils the right slot, so we
814              must leave it empty.  */
815           write_1_short (opcode1, insn1, fx->next, false);
816           return 1;
817         }
818       else if (opcode1->op->unit == IU
819                || (opcode1->op->unit == EITHER
820                    && opcode2->op->unit == EITHER_BUT_PREFER_MU))
821         {
822           /* reverse sequential */
823           insn = FM10 | (insn2 << 32) | insn1;
824           exec_type = EXEC_REVSEQ;
825         }
826       else
827         {
828           /* sequential */
829           insn = FM01 | (insn1 << 32) | insn2;
830           fx = fx->next;
831           exec_type = EXEC_SEQ;
832         }
833       break;
834
835     case EXEC_PARALLEL: /* parallel */
836       flag_explicitly_parallel = flag_xp_state;
837       if (! parallel_ok (opcode1, insn1, opcode2, insn2, exec_type))
838         as_bad (_("Instructions may not be executed in parallel"));
839       else if (opcode1->op->unit == IU)
840         {
841           if (opcode2->op->unit == IU)
842             as_bad (_("Two IU instructions may not be executed in parallel"));
843           as_warn (_("Swapping instruction order"));
844           insn = FM00 | (insn2 << 32) | insn1;
845         }
846       else if (opcode2->op->unit == MU)
847         {
848           if (opcode1->op->unit == MU)
849             as_bad (_("Two MU instructions may not be executed in parallel"));
850           else if (opcode1->op->unit == EITHER_BUT_PREFER_MU)
851             as_warn (_("Executing %s in IU may not work"), opcode1->op->name);
852           as_warn (_("Swapping instruction order"));
853           insn = FM00 | (insn2 << 32) | insn1;
854         }
855       else
856         {
857           if (opcode2->op->unit == EITHER_BUT_PREFER_MU)
858             as_warn (_("Executing %s in IU may not work"), opcode2->op->name);
859           
860           insn = FM00 | (insn1 << 32) | insn2;  
861           fx = fx->next;
862         }
863       flag_explicitly_parallel = 0;
864       break;
865
866     case EXEC_SEQ:      /* sequential */
867       if (opcode1->op->unit == IU)
868         as_bad (_("IU instruction may not be in the left container"));
869       if (prev_left_kills_right_p)
870         as_bad (_("special left instruction `%s' kills instruction "
871                    "`%s' in right container"),
872                  opcode1->op->name, opcode2->op->name);
873       if (opcode2->op->unit == EITHER_BUT_PREFER_MU)
874         as_warn (_("Executing %s in IU may not work"), opcode2->op->name);
875       insn = FM01 | (insn1 << 32) | insn2;  
876       fx = fx->next;
877       break;
878
879     case EXEC_REVSEQ:   /* reverse sequential */
880       if (opcode2->op->unit == MU)
881         as_bad (_("MU instruction may not be in the right container"));
882       if (opcode2->op->unit == EITHER_BUT_PREFER_MU)
883         as_warn (_("Executing %s in IU may not work"), opcode2->op->name);
884       insn = FM10 | (insn1 << 32) | insn2;  
885       fx = fx->next;
886       break;
887
888     default:
889       as_fatal (_("unknown execution type passed to write_2_short()"));
890     }
891
892   /*  printf ("writing out %llx\n",insn); */
893   f = frag_more (8);
894   d30v_number_to_chars (f, insn, 8);
895
896   /* If the previous instruction was a 32-bit multiply but it is put into a
897      parallel container, mark the current instruction as being a 32-bit
898      multiply.  */
899   if (prev_mul32_p && exec_type == EXEC_PARALLEL)
900     cur_mul32_p = 1;
901
902   for (j=0; j<2; j++) 
903     {
904       for (i=0; i < fx->fc; i++) 
905         {
906           if (fx->fix[i].reloc)
907             {
908               where = (f - frag_now->fr_literal) + 4*j;
909
910               fix_new_exp (frag_now,
911                            where, 
912                            fx->fix[i].size,
913                            &(fx->fix[i].exp),
914                            fx->fix[i].pcrel,
915                            fx->fix[i].reloc);
916             }
917         }
918       
919       fx->fc = 0;
920       fx = fx->next;
921     }
922   
923   return 0;
924 }
925
926
927 /* Check 2 instructions and determine if they can be safely */
928 /* executed in parallel.  Returns 1 if they can be.         */
929 static int
930 parallel_ok (op1, insn1, op2, insn2, exec_type)
931      struct d30v_insn *op1, *op2;
932      unsigned long insn1, insn2;
933      exec_type_enum exec_type;
934 {
935   int i, j, shift, regno, bits, ecc;
936   unsigned long flags, mask, flags_set1, flags_set2, flags_used1, flags_used2;
937   unsigned long ins, mod_reg[2][3], used_reg[2][3], flag_reg[2];
938   struct d30v_format *f;
939   struct d30v_opcode *op;
940
941   /* section 4.3: both instructions must not be IU or MU only */
942   if ((op1->op->unit == IU && op2->op->unit == IU)
943       || (op1->op->unit == MU && op2->op->unit == MU))
944     return 0;
945
946   /* first instruction must not be a jump to safely optimize, unless this
947      is an explicit parallel operation.  */
948   if (exec_type != EXEC_PARALLEL
949       && (op1->op->flags_used & (FLAG_JMP | FLAG_JSR)))
950     return 0;
951
952   /* If one instruction is /TX or /XT and the other is /FX or /XF respectively,
953      then it is safe to allow the two to be done as parallel ops, since only
954      one will ever be executed at a time.  */
955   if ((op1->ecc == ECC_TX && op2->ecc == ECC_FX)
956       || (op1->ecc == ECC_FX && op2->ecc == ECC_TX)
957       || (op1->ecc == ECC_XT && op2->ecc == ECC_XF)
958       || (op1->ecc == ECC_XF && op2->ecc == ECC_XT))
959      return 1;
960
961   /* [0] r0-r31
962      [1] r32-r63
963      [2] a0, a1, flag registers */
964
965   for (j = 0; j < 2; j++)
966     {
967       if (j == 0)
968         {
969           f = op1->form;
970           op = op1->op;
971           ecc = op1->ecc;
972           ins = insn1;
973         }
974       else
975         {
976           f = op2->form;
977           op = op2->op;
978           ecc = op2->ecc;
979           ins = insn2;
980         }
981       flag_reg[j] = 0;
982       mod_reg[j][0] = mod_reg[j][1] = 0;
983       used_reg[j][0] = used_reg[j][1] = 0;
984
985       if (flag_explicitly_parallel)
986         {
987           /* For human specified parallel instructions we have been asked
988              to ignore the possibility that both instructions could modify
989              bits in the PSW, so we initialise the mod & used arrays to 0.
990              We have been asked, however, to refuse to allow parallel
991              instructions which explicitly set the same flag register,
992              eg "cmpne f0,r1,0x10 || cmpeq f0, r5, 0x2", so further on we test
993              for the use of a flag register and set a bit in the mod or used
994              array appropriately.  */
995              
996           mod_reg[j][2]  = 0;
997           used_reg[j][2] = 0;
998         }
999       else
1000         {
1001           mod_reg[j][2] = (op->flags_set & FLAG_ALL);
1002           used_reg[j][2] = (op->flags_used & FLAG_ALL);
1003         }
1004       
1005       /* BSR/JSR always sets R62 */
1006       if (op->flags_used & FLAG_JSR)
1007         mod_reg[j][1] = (1L << (62-32));
1008
1009       /* conditional execution affects the flags_used */
1010       switch (ecc)
1011         {
1012         case ECC_TX:
1013         case ECC_FX:
1014           used_reg[j][2] |= flag_reg[j] = FLAG_0;
1015           break;
1016
1017         case ECC_XT:
1018         case ECC_XF:
1019           used_reg[j][2] |= flag_reg[j] = FLAG_1;
1020           break;
1021
1022         case ECC_TT:
1023         case ECC_TF:
1024           used_reg[j][2] |= flag_reg[j] = (FLAG_0 | FLAG_1);
1025           break;
1026         }
1027
1028       for (i = 0; f->operands[i]; i++)
1029         {
1030           flags = d30v_operand_table[f->operands[i]].flags;
1031           shift = 12 - d30v_operand_table[f->operands[i]].position;
1032           bits = d30v_operand_table[f->operands[i]].bits;
1033           if (bits == 32)
1034             mask = 0xffffffff;
1035           else
1036             mask = 0x7FFFFFFF >> (31 - bits);
1037
1038           if ((flags & OPERAND_PLUS) || (flags & OPERAND_MINUS))
1039             {
1040               /* this is a post-increment or post-decrement */
1041               /* the previous register needs to be marked as modified */
1042
1043               shift = 12 - d30v_operand_table[f->operands[i-1]].position;
1044               regno = (ins >> shift) & 0x3f;
1045               if (regno >= 32)
1046                 mod_reg[j][1] |= 1L << (regno - 32);
1047               else
1048                 mod_reg[j][0] |= 1L << regno;
1049             }
1050           else if (flags & OPERAND_REG)
1051             {
1052               regno = (ins >> shift) & mask;
1053               /* the memory write functions don't have a destination register */
1054               if ((flags & OPERAND_DEST) && !(op->flags_set & FLAG_MEM))
1055                 {
1056                   /* MODIFIED registers and flags */
1057                   if (flags & OPERAND_ACC)
1058                     {
1059                       if (regno == 0)
1060                         mod_reg[j][2] |= FLAG_A0;
1061                       else if (regno == 1)
1062                         mod_reg[j][2] |= FLAG_A1;
1063                       else
1064                         abort ();
1065                     }
1066                   else if (flags & OPERAND_FLAG)
1067                     mod_reg[j][2] |= 1L << regno;
1068                   else if (!(flags & OPERAND_CONTROL))
1069                     {
1070                       int r, z;
1071
1072                       /* need to check if there are two destination */
1073                       /* registers, for example ld2w */
1074                       if (flags & OPERAND_2REG)
1075                         z = 1;
1076                       else
1077                         z = 0;
1078
1079                       for (r = regno; r <= regno + z; r++)
1080                         { 
1081                           if (r >= 32)
1082                             mod_reg[j][1] |= 1L << (r - 32);
1083                           else
1084                             mod_reg[j][0] |= 1L << r;
1085                         }
1086                     }
1087                 }
1088               else
1089                 {
1090                   /* USED, but not modified registers and flags */
1091                   if (flags & OPERAND_ACC)
1092                     {
1093                       if (regno == 0)
1094                         used_reg[j][2] |= FLAG_A0;
1095                       else if (regno == 1)
1096                         used_reg[j][2] |= FLAG_A1;
1097                       else
1098                         abort ();
1099                     }
1100                   else if (flags & OPERAND_FLAG)
1101                     used_reg[j][2] |= 1L << regno;
1102                   else if (!(flags & OPERAND_CONTROL))
1103                     {
1104                       int r, z;
1105
1106                       /* need to check if there are two source */
1107                       /* registers, for example st2w */
1108                       if (flags & OPERAND_2REG)
1109                         z = 1;
1110                       else
1111                         z = 0;
1112
1113                       for (r = regno; r <= regno + z; r++)
1114                         { 
1115                           if (r >= 32)
1116                             used_reg[j][1] |= 1L << (r - 32);
1117                           else
1118                             used_reg[j][0] |= 1L << r;
1119                         }
1120                     }
1121                 }
1122             }
1123         }
1124     }
1125   
1126   flags_set1 = op1->op->flags_set;
1127   flags_set2 = op2->op->flags_set;
1128   flags_used1 = op1->op->flags_used;
1129   flags_used2 = op2->op->flags_used;
1130
1131   /* ST2W/ST4HB combined with ADDppp/SUBppp is illegal.  */
1132   if (((flags_set1 & (FLAG_MEM | FLAG_2WORD)) == (FLAG_MEM | FLAG_2WORD)
1133        && (flags_used2 & FLAG_ADDSUBppp) != 0)
1134       || ((flags_set2 & (FLAG_MEM | FLAG_2WORD)) == (FLAG_MEM | FLAG_2WORD)
1135           && (flags_used1 & FLAG_ADDSUBppp) != 0))
1136     return 0;
1137
1138   /* Load instruction combined with half-word multiply is illegal.  */
1139   if (((flags_used1 & FLAG_MEM) != 0 && (flags_used2 & FLAG_MUL16))
1140       || ((flags_used2 & FLAG_MEM) != 0 && (flags_used1 & FLAG_MUL16)))
1141     return 0;
1142
1143   /* Specifically allow add || add by removing carry, overflow bits dependency.
1144      This is safe, even if an addc follows since the IU takes the argument in
1145      the right container, and it writes its results last.
1146      However, don't paralellize add followed by addc or sub followed by
1147      subb.  */
1148
1149   if (mod_reg[0][2] == FLAG_CVVA && mod_reg[1][2] == FLAG_CVVA
1150       && (used_reg[0][2] & ~flag_reg[0]) == 0
1151       && (used_reg[1][2] & ~flag_reg[1]) == 0
1152       && op1->op->unit == EITHER && op2->op->unit == EITHER)
1153     {
1154       mod_reg[0][2] = mod_reg[1][2] = 0;
1155     }
1156
1157   for (j = 0; j < 3; j++)
1158     {
1159       /* If the second instruction depends on the first, we obviously
1160          cannot parallelize.  Note, the mod flag implies use, so
1161          check that as well.  */
1162       /* If flag_explicitly_parallel is set, then the case of the 
1163          second instruction using a register the first instruction
1164          modifies is assumed to be okay; we trust the human.  We
1165          don't trust the human if both instructions modify the same
1166          register but we do trust the human if they modify the same
1167          flags. */
1168       /* We have now been requested not to trust the human if the
1169          instructions modify the same flag registers either.  */
1170       if (flag_explicitly_parallel)
1171         {
1172           if ((mod_reg[0][j] & mod_reg[1][j]) != 0)
1173             return 0;
1174         }
1175       else
1176         if ((mod_reg[0][j] & (mod_reg[1][j] | used_reg[1][j])) != 0)
1177           return 0;
1178     }
1179
1180   return 1;
1181 }
1182
1183
1184 /* This is the main entry point for the machine-dependent assembler.  str points to a
1185    machine-dependent instruction.  This function is supposed to emit the frags/bytes 
1186    it assembles to.  For the D30V, it mostly handles the special VLIW parsing and packing
1187    and leaves the difficult stuff to do_assemble().  */
1188
1189 static long long prev_insn = -1;
1190 static struct d30v_insn prev_opcode;
1191 static subsegT prev_subseg;
1192 static segT prev_seg = 0;
1193
1194 void
1195 md_assemble (str)
1196      char *str;
1197 {
1198   struct d30v_insn opcode;
1199   long long insn;
1200   exec_type_enum extype = EXEC_UNKNOWN;         /* execution type; parallel, etc */
1201   static exec_type_enum etype = EXEC_UNKNOWN;   /* saved extype.  used for multiline instructions */
1202   char *str2;
1203
1204   if ((prev_insn != -1) && prev_seg
1205        && ((prev_seg != now_seg) || (prev_subseg != now_subseg)))
1206     d30v_cleanup (false);
1207
1208   if (d30v_current_align < 3)
1209     d30v_align (3, NULL, d30v_last_label);
1210   else if (d30v_current_align > 3)
1211     d30v_current_align = 3;
1212   d30v_last_label = NULL;
1213
1214   flag_explicitly_parallel = 0;
1215   flag_xp_state = 0;
1216   if (etype == EXEC_UNKNOWN)
1217     {
1218       /* look for the special multiple instruction separators */
1219       str2 = strstr (str, "||");
1220       if (str2) 
1221         {
1222           extype = EXEC_PARALLEL;
1223           flag_xp_state = 1;
1224         }
1225       else
1226         {
1227           str2 = strstr (str, "->");
1228           if (str2) 
1229             extype = EXEC_SEQ;
1230           else
1231             {
1232               str2 = strstr (str, "<-");
1233               if (str2) 
1234                 extype = EXEC_REVSEQ;
1235             }
1236         }
1237       /* str2 points to the separator, if one */
1238       if (str2) 
1239         {
1240           *str2 = 0;
1241           
1242           /* if two instructions are present and we already have one saved
1243              then first write it out */
1244           d30v_cleanup (false);
1245           
1246           /* Assemble first instruction and save it.  */
1247           prev_insn = do_assemble (str, &prev_opcode, 1, 0);
1248           if (prev_insn == -1)
1249             as_bad (_("Cannot assemble instruction"));
1250           if (prev_opcode.form != NULL && prev_opcode.form->form >= LONG)
1251             as_bad (_("First opcode is long.  Unable to mix instructions as specified.")); 
1252           fixups = fixups->next;
1253           str = str2 + 2;
1254           prev_seg = now_seg;
1255           prev_subseg = now_subseg;
1256         }
1257     }
1258
1259   insn = do_assemble (str, &opcode,
1260                       (extype != EXEC_UNKNOWN || etype != EXEC_UNKNOWN),
1261                       extype == EXEC_PARALLEL);
1262   if (insn == -1)
1263     {
1264       if (extype != EXEC_UNKNOWN)
1265         etype = extype;
1266       as_bad (_("Cannot assemble instruction"));
1267       return;
1268     }
1269
1270   if (etype != EXEC_UNKNOWN)
1271     {
1272       extype = etype;
1273       etype = EXEC_UNKNOWN;
1274     }
1275
1276   /* Word multiply instructions must not be followed by either a load or a
1277      16-bit multiply instruction in the next cycle.  */
1278   if (   (extype != EXEC_REVSEQ)
1279       && prev_mul32_p
1280       && (opcode.op->flags_used & (FLAG_MEM | FLAG_MUL16)))
1281     {
1282       /* However, load and multiply should able to be combined in a parallel
1283          operation, so check for that first.  */
1284       if (prev_insn != -1
1285           && (opcode.op->flags_used & FLAG_MEM)
1286           && opcode.form->form < LONG
1287           && (extype == EXEC_PARALLEL || (Optimizing && extype == EXEC_UNKNOWN))
1288           && parallel_ok (&prev_opcode, (long)prev_insn,
1289                           &opcode, (long)insn, extype)
1290           && write_2_short (&prev_opcode, (long)prev_insn,
1291                             &opcode, (long)insn, extype, fixups) == 0)
1292         {
1293           /* no instructions saved */
1294           prev_insn = -1;
1295           return;
1296         }
1297       else
1298         {
1299           /* Can't parallelize, flush previous instruction and emit a word of NOPS,
1300              unless the previous instruction is a NOP, in which case just flush it,
1301              as this will generate a word of NOPs for us.  */
1302
1303           if (prev_insn != -1 && (strcmp (prev_opcode.op->name, "nop") == 0))
1304             d30v_cleanup (false);
1305           else
1306             {
1307               char * f;
1308               
1309               if (prev_insn != -1)
1310                 d30v_cleanup (true);
1311               else
1312                 {
1313                   f = frag_more (8);
1314                   d30v_number_to_chars (f, NOP2, 8);
1315                   
1316                   if (warn_nops == NOP_ALL || warn_nops == NOP_MULTIPLY)
1317                     {
1318                       if (opcode.op->flags_used & FLAG_MEM)
1319                         as_warn (_("word of NOPs added between word multiply and load"));
1320                       else
1321                         as_warn (_("word of NOPs added between word multiply and 16-bit multiply"));
1322                     }
1323                 }
1324             }
1325           
1326           extype = EXEC_UNKNOWN;
1327         }
1328     }
1329   else if (   (extype == EXEC_REVSEQ)
1330            && cur_mul32_p
1331            && (prev_opcode.op->flags_used & (FLAG_MEM | FLAG_MUL16)))
1332     {
1333       /* Can't parallelize, flush current instruction and add a sequential NOP. */
1334       write_1_short (& opcode, (long) insn, fixups->next->next, true);
1335       
1336       /* Make the previous instruction the current one.  */
1337       extype = EXEC_UNKNOWN;
1338       insn = prev_insn;
1339       now_seg = prev_seg;
1340       now_subseg = prev_subseg;
1341       prev_insn = -1;
1342       cur_mul32_p = prev_mul32_p;
1343       prev_mul32_p = 0;
1344       memcpy (&opcode, &prev_opcode, sizeof (prev_opcode));
1345     }
1346
1347   /* If this is a long instruction, write it and any previous short instruction.  */
1348   if (opcode.form->form >= LONG) 
1349     {
1350       if (extype != EXEC_UNKNOWN) 
1351         as_bad (_("Instruction uses long version, so it cannot be mixed as specified"));
1352       d30v_cleanup (false);
1353       write_long (& opcode, insn, fixups);
1354       prev_insn = -1;
1355     }
1356   else if ((prev_insn != -1)
1357            && (write_2_short
1358                (& prev_opcode, (long) prev_insn, & opcode,
1359                 (long) insn, extype, fixups) == 0)) 
1360     {
1361       /* No instructions saved.  */
1362       prev_insn = -1;
1363     }
1364   else
1365     {
1366       if (extype != EXEC_UNKNOWN) 
1367         as_bad (_("Unable to mix instructions as specified"));
1368       
1369       /* Save off last instruction so it may be packed on next pass.  */
1370       memcpy (&prev_opcode, &opcode, sizeof (prev_opcode));
1371       prev_insn = insn;
1372       prev_seg = now_seg;
1373       prev_subseg = now_subseg;
1374       fixups = fixups->next;
1375       prev_mul32_p = cur_mul32_p;
1376     }
1377 }
1378
1379
1380 /* do_assemble assembles a single instruction and returns an opcode */
1381 /* it returns -1 (an invalid opcode) on error */
1382
1383 #define NAME_BUF_LEN    20
1384
1385 static long long
1386 do_assemble (str, opcode, shortp, is_parallel) 
1387      char *str;
1388      struct d30v_insn *opcode;
1389      int shortp;
1390      int is_parallel;
1391 {
1392   unsigned char * op_start;
1393   unsigned char * save;
1394   unsigned char * op_end;
1395   char            name [NAME_BUF_LEN];
1396   int             cmp_hack;
1397   int             nlen = 0;
1398   int             fsize = (shortp ? FORCE_SHORT : 0);
1399   expressionS     myops [6];
1400   long long       insn;
1401
1402   /* Drop leading whitespace */
1403   while (* str == ' ')
1404     str ++;
1405
1406   /* find the opcode end */
1407   for (op_start = op_end = (unsigned char *) (str);
1408        * op_end
1409        && nlen < (NAME_BUF_LEN - 1)
1410        && * op_end != '/'
1411        && !is_end_of_line[*op_end] && *op_end != ' ';
1412        op_end++)
1413     {
1414       name[nlen] = tolower (op_start[nlen]);
1415       nlen++;
1416     }
1417
1418   if (nlen == 0)
1419     return -1;
1420
1421   name[nlen] = 0;
1422
1423   /* if there is an execution condition code, handle it */
1424   if (*op_end == '/')
1425     {
1426       int i = 0;
1427       while ( (i < ECC_MAX) && strncasecmp (d30v_ecc_names[i], op_end + 1, 2))
1428         i++;
1429       
1430       if (i == ECC_MAX)
1431         {
1432           char tmp[4];
1433           strncpy (tmp, op_end + 1, 2);
1434           tmp[2] = 0;
1435           as_bad (_("unknown condition code: %s"),tmp);
1436           return -1;
1437         }
1438       /*      printf ("condition code=%d\n",i); */
1439       opcode->ecc = i;
1440       op_end += 3;
1441     }
1442   else
1443     opcode->ecc = ECC_AL;
1444   
1445
1446   /* CMP and CMPU change their name based on condition codes */
1447   if (!strncmp (name, "cmp", 3))
1448     {
1449       int p,i;
1450       char **str = (char **)d30v_cc_names;
1451       if (name[3] == 'u')
1452         p = 4;
1453       else
1454         p = 3;
1455
1456       for (i=1; *str && strncmp (*str, & name[p], 2); i++, str++)
1457         ;
1458
1459       /* cmpu only supports some condition codes */
1460       if (p == 4)
1461         {
1462           if (i < 3 || i > 6)
1463             {
1464               name[p+2]=0;
1465               as_bad (_("cmpu doesn't support condition code %s"),&name[p]);
1466             }
1467         }
1468
1469       if (!*str)
1470         {
1471           name[p+2]=0;
1472           as_bad (_("unknown condition code: %s"),&name[p]);      
1473         }
1474       
1475       cmp_hack = i;
1476       name[p] = 0;
1477     }
1478   else
1479     cmp_hack = 0;
1480   
1481   /*  printf("cmp_hack=%d\n",cmp_hack); */
1482
1483   /* need to look for .s or .l */
1484   if (name[nlen-2] == '.')
1485     {
1486       switch (name[nlen-1])
1487         {
1488         case 's':
1489           fsize = FORCE_SHORT;
1490           break;
1491         case 'l':
1492           fsize = FORCE_LONG;
1493           break;
1494         }
1495       name[nlen-2] = 0;
1496     }
1497
1498   /* find the first opcode with the proper name */  
1499   opcode->op = (struct d30v_opcode *)hash_find (d30v_hash, name);
1500   if (opcode->op == NULL)
1501     {
1502       as_bad (_("unknown opcode: %s"),name);
1503       return -1;
1504     }
1505
1506   save = input_line_pointer;
1507   input_line_pointer = op_end;
1508   while (!(opcode->form = find_format (opcode->op, myops, fsize, cmp_hack)))
1509     {
1510       opcode->op++;
1511       if (opcode->op->name == NULL || strcmp (opcode->op->name, name))
1512         {
1513           as_bad (_("operands for opcode `%s' do not match any valid format"), name);
1514           return -1;
1515         }
1516     }
1517   input_line_pointer = save;
1518
1519   insn = build_insn (opcode, myops); 
1520
1521   /* Propigate multiply status */
1522   if (insn != -1)
1523     {
1524       if (is_parallel && prev_mul32_p)
1525         cur_mul32_p = 1;
1526       else
1527         {
1528           prev_mul32_p = cur_mul32_p;
1529           cur_mul32_p  = (opcode->op->flags_used & FLAG_MUL32) != 0;
1530         }
1531     }
1532
1533   /* Propagate left_kills_right status */
1534   if (insn != -1)
1535     {
1536       prev_left_kills_right_p = cur_left_kills_right_p;
1537
1538       if (opcode->op->flags_set & FLAG_LKR)
1539         {
1540           cur_left_kills_right_p = 1;
1541           
1542           if (strcmp (opcode->op->name, "mvtsys") == 0)
1543             {
1544               /* Left kills right for only mvtsys only for PSW/PSWH/PSWL/flags target. */
1545               if ((myops[0].X_op == O_register) &&
1546                   ((myops[0].X_add_number == OPERAND_CONTROL) || /* psw */
1547                    (myops[0].X_add_number == OPERAND_CONTROL+MAX_CONTROL_REG+2) || /* pswh */
1548                    (myops[0].X_add_number == OPERAND_CONTROL+MAX_CONTROL_REG+1) || /* pswl */
1549                    (myops[0].X_add_number == OPERAND_FLAG+0) || /* f0 */
1550                    (myops[0].X_add_number == OPERAND_FLAG+1) || /* f1 */
1551                    (myops[0].X_add_number == OPERAND_FLAG+2) || /* f2 */
1552                    (myops[0].X_add_number == OPERAND_FLAG+3) || /* f3 */
1553                    (myops[0].X_add_number == OPERAND_FLAG+4) || /* f4 */
1554                    (myops[0].X_add_number == OPERAND_FLAG+5) || /* f5 */
1555                    (myops[0].X_add_number == OPERAND_FLAG+6) || /* f6 */
1556                    (myops[0].X_add_number == OPERAND_FLAG+7))) /* f7 */
1557                 {
1558                   cur_left_kills_right_p = 1;
1559                 }
1560               else
1561                 {
1562                   /* Other mvtsys target registers don't kill right instruction. */
1563                   cur_left_kills_right_p = 0;
1564                 }
1565             } /* mvtsys */
1566         }
1567       else
1568         cur_left_kills_right_p = 0;
1569     }
1570
1571   return insn;
1572 }
1573
1574
1575 /* find_format() gets a pointer to an entry in the format table.
1576    It must look at all formats for an opcode and use the operands
1577    to choose the correct one.  Returns NULL on error. */
1578
1579 static struct d30v_format *
1580 find_format (opcode, myops, fsize, cmp_hack)
1581      struct d30v_opcode *opcode;
1582      expressionS myops[];
1583      int fsize;
1584      int cmp_hack;
1585 {
1586   int numops, match, index, i=0, j, k;
1587   struct d30v_format *fm;
1588
1589   if (opcode == NULL)
1590     return NULL;
1591   
1592   /* Get all the operands and save them as expressions.  */
1593   numops = get_operands (myops, cmp_hack);
1594
1595   while ((index = opcode->format[i++]) != 0)
1596     {
1597       if (fsize == FORCE_SHORT && index >= LONG)
1598         continue;
1599
1600       if (fsize == FORCE_LONG && index < LONG)
1601         continue;
1602
1603       fm = (struct d30v_format *)&d30v_format_table[index];
1604       k = index;
1605       while (fm->form == index)
1606         {
1607           match = 1;
1608           /* Now check the operands for compatibility.  */
1609           for (j = 0; match && fm->operands[j]; j++)
1610             {
1611               int flags = d30v_operand_table[fm->operands[j]].flags;
1612               int bits = d30v_operand_table[fm->operands[j]].bits;
1613               int X_op = myops[j].X_op;
1614               int num = myops[j].X_add_number;
1615               
1616               if (flags & OPERAND_SPECIAL)
1617                 break;
1618               else if (X_op == O_illegal)
1619                 match = 0;
1620               else if (flags & OPERAND_REG)
1621                 {
1622                   if (X_op != O_register
1623                       || ((flags & OPERAND_ACC) && !(num & OPERAND_ACC))
1624                       || (!(flags & OPERAND_ACC) && (num & OPERAND_ACC))
1625                       || ((flags & OPERAND_FLAG) && !(num & OPERAND_FLAG))
1626                       || (!(flags & (OPERAND_FLAG | OPERAND_CONTROL)) && (num & OPERAND_FLAG))
1627                       || ((flags & OPERAND_CONTROL)
1628                           && !(num & (OPERAND_CONTROL | OPERAND_FLAG))))
1629                     {
1630                       match = 0;
1631                     }
1632                 }
1633               else if (((flags & OPERAND_MINUS)
1634                         && (X_op != O_absent || num != OPERAND_MINUS))
1635                        || ((flags & OPERAND_PLUS)
1636                            && (X_op != O_absent || num != OPERAND_PLUS))
1637                        || ((flags & OPERAND_ATMINUS)
1638                            && (X_op != O_absent || num != OPERAND_ATMINUS))
1639                        || ((flags & OPERAND_ATPAR)
1640                            && (X_op != O_absent || num != OPERAND_ATPAR))
1641                        || ((flags & OPERAND_ATSIGN)
1642                            && (X_op != O_absent || num != OPERAND_ATSIGN)))
1643                 {
1644                   match=0;
1645                 }
1646               else if (flags & OPERAND_NUM)
1647                 {
1648                   /* A number can be a constant or symbol expression.  */
1649
1650                   /* If we have found a register name, but that name also
1651                      matches a symbol, then re-parse the name as an expression.  */
1652                   if (X_op == O_register
1653                       && symbol_find ((char *) myops[j].X_op_symbol))
1654                     {
1655                       input_line_pointer = (char *) myops[j].X_op_symbol;
1656                       expression (& myops[j]);
1657                     }
1658                       
1659                   /* Turn an expression into a symbol for later resolution.  */
1660                   if (X_op != O_absent && X_op != O_constant
1661                       && X_op != O_symbol && X_op != O_register
1662                       && X_op != O_big)
1663                     {
1664                       symbolS *sym = make_expr_symbol (&myops[j]);
1665                       myops[j].X_op = X_op = O_symbol;
1666                       myops[j].X_add_symbol = sym;
1667                       myops[j].X_add_number = num = 0;
1668                     }
1669
1670                   if (fm->form >= LONG)
1671                     {
1672                       /* If we're testing for a LONG format, either fits. */
1673                       if (X_op != O_constant && X_op != O_symbol)
1674                         match = 0;
1675                     }
1676                   else if (fm->form < LONG
1677                            && ((fsize == FORCE_SHORT && X_op == O_symbol)
1678                                || (fm->form == SHORT_D2 && j == 0)))
1679                     match = 1;
1680                   /* This is the tricky part.  Will the constant or symbol
1681                      fit into the space in the current format? */
1682                   else if (X_op == O_constant)
1683                     {
1684                       if (check_range (num, bits, flags))
1685                         match = 0;
1686                     }
1687                   else if (X_op == O_symbol
1688                            && S_IS_DEFINED (myops[j].X_add_symbol)
1689                            && S_GET_SEGMENT (myops[j].X_add_symbol) == now_seg
1690                            && opcode->reloc_flag == RELOC_PCREL)
1691                     {
1692                       /* If the symbol is defined, see if the value will fit
1693                          into the form we're considering. */
1694                       fragS *f;
1695                       long value;
1696
1697                       /* Calculate the current address by running through the
1698                          previous frags and adding our current offset.  */
1699                       value = 0;
1700                       for (f = frchain_now->frch_root; f; f = f->fr_next)
1701                         value += f->fr_fix + f->fr_offset;
1702                       value = (S_GET_VALUE (myops[j].X_add_symbol) - value
1703                                - (obstack_next_free (&frchain_now->frch_obstack)
1704                                   - frag_now->fr_literal));
1705                       if (check_range (value, bits, flags)) 
1706                         match = 0;
1707                     }
1708                   else
1709                     match = 0;
1710                 }
1711             }
1712           /* printf("through the loop: match=%d\n",match);  */
1713           /* We're only done if the operands matched so far AND there
1714              are no more to check.  */
1715           if (match && myops[j].X_op == 0)
1716             {
1717               /* Final check - issue a warning if an odd numbered register
1718                  is used as the first register in an instruction that reads
1719                  or writes 2 registers.  */
1720
1721               for (j = 0; fm->operands[j]; j++)
1722                 if (myops[j].X_op == O_register
1723                     && (myops[j].X_add_number & 1)
1724                     && (d30v_operand_table[fm->operands[j]].flags & OPERAND_2REG))
1725                   as_warn (\
1726 _("Odd numbered register used as target of multi-register instruction"));
1727               
1728               return fm;
1729             }
1730           fm = (struct d30v_format *)&d30v_format_table[++k];
1731         }
1732       /* printf("trying another format: i=%d\n",i); */
1733     }
1734   return NULL;
1735 }
1736
1737 /* if while processing a fixup, a reloc really needs to be created */
1738 /* then it is done here */
1739                  
1740 arelent *
1741 tc_gen_reloc (seg, fixp)
1742      asection *seg;
1743      fixS *fixp;
1744 {
1745   arelent *reloc;
1746   reloc = (arelent *) xmalloc (sizeof (arelent));
1747   reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
1748   *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
1749   reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
1750   reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
1751   if (reloc->howto == (reloc_howto_type *) NULL)
1752     {
1753       as_bad_where (fixp->fx_file, fixp->fx_line,
1754                     _("reloc %d not supported by object file format"), (int)fixp->fx_r_type);
1755       return NULL;
1756     }
1757   reloc->addend = fixp->fx_addnumber;
1758   return reloc;
1759 }
1760
1761 int
1762 md_estimate_size_before_relax (fragp, seg)
1763      fragS *fragp;
1764      asection *seg;
1765 {
1766   abort ();
1767   return 0;
1768
1769
1770 long
1771 md_pcrel_from_section (fixp, sec)
1772      fixS *fixp;
1773      segT sec;
1774 {
1775   if (fixp->fx_addsy != (symbolS *)NULL && (!S_IS_DEFINED (fixp->fx_addsy) ||
1776      (S_GET_SEGMENT (fixp->fx_addsy) != sec)))
1777     return 0;
1778   return fixp->fx_frag->fr_address + fixp->fx_where;
1779 }
1780
1781 int
1782 md_apply_fix3 (fixp, valuep, seg)
1783      fixS * fixp;
1784      valueT * valuep;
1785      segT seg;
1786 {
1787   char * where;
1788   unsigned long insn, insn2;
1789   long value;
1790   
1791   if (fixp->fx_addsy == (symbolS *) NULL)
1792     {
1793       value = * valuep;
1794       fixp->fx_done = 1;
1795     }
1796   else if (fixp->fx_pcrel)
1797     value = * valuep;
1798   else
1799     {
1800       value = fixp->fx_offset;
1801       
1802       if (fixp->fx_subsy != (symbolS *) NULL)
1803         {
1804           if (S_GET_SEGMENT (fixp->fx_subsy) == absolute_section) 
1805             value -= S_GET_VALUE (fixp->fx_subsy);
1806           else
1807             {
1808               /* We don't actually support subtracting a symbol.  */
1809               as_bad_where (fixp->fx_file, fixp->fx_line,
1810                             _("expression too complex"));
1811             }
1812         }
1813     }
1814   
1815   /* Fetch the instruction, insert the fully resolved operand
1816      value, and stuff the instruction back again.  */
1817   where = fixp->fx_frag->fr_literal + fixp->fx_where;
1818   insn = bfd_getb32 ((unsigned char *) where);
1819   
1820   switch (fixp->fx_r_type)
1821     {
1822     case BFD_RELOC_8:  /* Check for a bad .byte directive.  */
1823       if (fixp->fx_addsy != NULL)
1824         as_bad (_("line %d: unable to place address of symbol '%s' into a byte"),
1825                 fixp->fx_line, S_GET_NAME (fixp->fx_addsy));
1826       else if (((unsigned)value) > 0xff)
1827           as_bad (_("line %d: unable to place value %x into a byte"),
1828                     fixp->fx_line, value);
1829       else
1830         * (unsigned char *) where = value;
1831       break;
1832       
1833     case BFD_RELOC_16:  /* Check for a bad .short directive.  */
1834       if (fixp->fx_addsy != NULL)
1835         as_bad (_("line %d: unable to place address of symbol '%s' into a short"),
1836                 fixp->fx_line, S_GET_NAME (fixp->fx_addsy));
1837       else if (((unsigned)value) > 0xffff)
1838           as_bad (_("line %d: unable to place value %x into a short"),
1839                     fixp->fx_line, value);
1840       else
1841         bfd_putb16 ((bfd_vma) value, (unsigned char *) where);
1842       break;
1843       
1844     case BFD_RELOC_64:  /* Check for a bad .quad directive.  */
1845       if (fixp->fx_addsy != NULL)
1846         as_bad (_("line %d: unable to place address of symbol '%s' into a quad"),
1847                 fixp->fx_line, S_GET_NAME (fixp->fx_addsy));
1848       else
1849         {
1850           bfd_putb32 ((bfd_vma) value, (unsigned char *) where);
1851           bfd_putb32 (0, ((unsigned char *) where) + 4);
1852         }
1853       break;
1854       
1855     case BFD_RELOC_D30V_6:
1856       check_size (value, 6, fixp->fx_file, fixp->fx_line);
1857       insn |= value & 0x3F;
1858       bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
1859       break;
1860
1861     case BFD_RELOC_D30V_9_PCREL:
1862       if (fixp->fx_where & 0x7)
1863         {
1864           if (fixp->fx_done)
1865             value += 4;
1866           else
1867             fixp->fx_r_type = BFD_RELOC_D30V_9_PCREL_R;
1868         }
1869       check_size (value, 9, fixp->fx_file, fixp->fx_line);
1870       insn |= ((value >> 3) & 0x3F) << 12;
1871       bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
1872       break;
1873
1874     case BFD_RELOC_D30V_15:
1875       check_size (value, 15, fixp->fx_file, fixp->fx_line);
1876       insn |= (value >> 3) & 0xFFF;
1877       bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
1878       break;
1879
1880     case BFD_RELOC_D30V_15_PCREL:
1881       if (fixp->fx_where & 0x7)
1882         {
1883           if (fixp->fx_done)
1884             value += 4;
1885           else
1886             fixp->fx_r_type = BFD_RELOC_D30V_15_PCREL_R;
1887         }
1888       check_size (value, 15, fixp->fx_file, fixp->fx_line);
1889       insn |= (value >> 3) & 0xFFF;
1890       bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
1891       break;
1892
1893     case BFD_RELOC_D30V_21:
1894       check_size (value, 21, fixp->fx_file, fixp->fx_line);
1895       insn |= (value >> 3) & 0x3FFFF;
1896       bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
1897       break;
1898
1899     case BFD_RELOC_D30V_21_PCREL:
1900       if (fixp->fx_where & 0x7)
1901         {
1902           if (fixp->fx_done)
1903             value += 4;
1904           else
1905             fixp->fx_r_type = BFD_RELOC_D30V_21_PCREL_R;
1906         }
1907       check_size (value, 21, fixp->fx_file, fixp->fx_line);
1908       insn |= (value >> 3) & 0x3FFFF;
1909       bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
1910       break;
1911
1912     case BFD_RELOC_D30V_32:
1913       insn2 = bfd_getb32 ((unsigned char *) where + 4);
1914       insn |= (value >> 26) & 0x3F;             /* top 6 bits */
1915       insn2 |= ((value & 0x03FC0000) << 2);     /* next 8 bits */ 
1916       insn2 |= value & 0x0003FFFF;              /* bottom 18 bits */
1917       bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
1918       bfd_putb32 ((bfd_vma) insn2, (unsigned char *) where + 4);
1919       break;
1920
1921     case BFD_RELOC_D30V_32_PCREL:
1922       insn2 = bfd_getb32 ((unsigned char *) where + 4);
1923       insn |= (value >> 26) & 0x3F;             /* top 6 bits */
1924       insn2 |= ((value & 0x03FC0000) << 2);     /* next 8 bits */ 
1925       insn2 |= value & 0x0003FFFF;              /* bottom 18 bits */
1926       bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
1927       bfd_putb32 ((bfd_vma) insn2, (unsigned char *) where + 4);
1928       break;
1929
1930     case BFD_RELOC_32:
1931       bfd_putb32 ((bfd_vma) value, (unsigned char *) where);
1932       break;
1933
1934     default:
1935       as_bad (_("line %d: unknown relocation type: 0x%x"),
1936               fixp->fx_line,fixp->fx_r_type);
1937     }
1938   
1939   return 0;
1940 }
1941
1942
1943 /* d30v_cleanup() is called after the assembler has finished parsing the input 
1944    file or after a label is defined.  Because the D30V assembler sometimes saves short 
1945    instructions to see if it can package them with the next instruction, there may
1946    be a short instruction that still needs written.  */
1947 int
1948 d30v_cleanup (use_sequential)
1949      int use_sequential;
1950 {
1951   segT seg;
1952   subsegT subseg;
1953
1954   if (prev_insn != -1)
1955     {
1956       seg = now_seg;
1957       subseg = now_subseg;
1958       subseg_set (prev_seg, prev_subseg);
1959       write_1_short (&prev_opcode, (long)prev_insn, fixups->next, use_sequential);
1960       subseg_set (seg, subseg);
1961       prev_insn = -1;
1962       if (use_sequential)
1963         prev_mul32_p = false;
1964     }
1965   return 1;
1966 }
1967
1968 static void                      
1969 d30v_number_to_chars (buf, value, n)
1970      char *buf;                 /* Return 'nbytes' of chars here. */
1971      long long value;           /* The value of the bits. */
1972      int n;                     /* Number of bytes in the output. */
1973 {
1974   while (n--)
1975     {
1976       buf[n] = value & 0xff;
1977       value >>= 8;
1978     }
1979 }
1980
1981
1982 /* This function is called at the start of every line. */
1983 /* it checks to see if the first character is a '.' */
1984 /* which indicates the start of a pseudo-op.  If it is, */
1985 /* then write out any unwritten instructions */
1986
1987 void 
1988 d30v_start_line ()
1989 {
1990   char *c = input_line_pointer;
1991
1992   while (isspace (*c))
1993     c++;
1994
1995   if (*c == '.')
1996     d30v_cleanup (false);
1997 }
1998
1999 static void 
2000 check_size (value, bits, file, line)
2001      long value;
2002      int bits;
2003      char *file;
2004      int line;
2005 {
2006   int tmp, max;
2007
2008   if (value < 0)
2009     tmp = ~value;
2010   else
2011     tmp = value;
2012     
2013   max = (1 << (bits - 1)) - 1;
2014
2015   if (tmp > max)
2016     as_bad_where (file, line, _("value too large to fit in %d bits"), bits);
2017
2018   return;
2019 }
2020
2021 /* d30v_frob_label() is called when after a label is recognized.  */
2022
2023 void
2024 d30v_frob_label (lab)
2025      symbolS *lab;
2026 {
2027   /* Emit any pending instructions.  */
2028   d30v_cleanup (false);
2029
2030   /* Update the label's address with the current output pointer.  */
2031   lab->sy_frag = frag_now;
2032   S_SET_VALUE (lab, (valueT) frag_now_fix ());
2033
2034   /* Record this label for future adjustment after we find out what
2035      kind of data it references, and the required alignment therewith.  */
2036   d30v_last_label = lab;
2037 }
2038
2039 /* Hook into cons for capturing alignment changes.  */
2040
2041 void
2042 d30v_cons_align (size)
2043      int size;
2044 {
2045   int log_size;
2046
2047   log_size = 0;
2048   while ((size >>= 1) != 0)
2049     ++log_size;
2050
2051   if (d30v_current_align < log_size)
2052     d30v_align (log_size, (char *) NULL, NULL);
2053   else if (d30v_current_align > log_size)
2054     d30v_current_align = log_size;
2055   d30v_last_label = NULL;
2056 }
2057
2058 /* Called internally to handle all alignment needs.  This takes care
2059    of eliding calls to frag_align if'n the cached current alignment
2060    says we've already got it, as well as taking care of the auto-aligning
2061    labels wrt code.  */
2062
2063 static void
2064 d30v_align (n, pfill, label)
2065      int n;
2066      char *pfill;
2067      symbolS *label;
2068 {
2069   /* The front end is prone to changing segments out from under us
2070      temporarily when -g is in effect.  */
2071   int switched_seg_p = (d30v_current_align_seg != now_seg);
2072
2073   /* Do not assume that if 'd30v_current_align >= n' and
2074      '! switched_seg_p' that it is safe to avoid performing
2075      this alignement request.  The alignment of the current frag
2076      can be changed under our feet, for example by a .ascii
2077      directive in the source code.  cf testsuite/gas/d30v/reloc.s  */
2078   
2079   d30v_cleanup (false);
2080
2081   if (pfill == NULL)
2082     {
2083       if (n > 2
2084           && (bfd_get_section_flags (stdoutput, now_seg) & SEC_CODE) != 0)
2085         {
2086           static char const nop[4] = { 0x00, 0xf0, 0x00, 0x00 };
2087
2088           /* First, make sure we're on a four-byte boundary, in case
2089              someone has been putting .byte values the text section.  */
2090           if (d30v_current_align < 2 || switched_seg_p)
2091             frag_align (2, 0, 0);
2092           frag_align_pattern (n, nop, sizeof nop, 0);
2093         }
2094       else
2095         frag_align (n, 0, 0);
2096     }
2097   else
2098     frag_align (n, *pfill, 0);
2099
2100   if (!switched_seg_p)
2101     d30v_current_align = n;
2102
2103   if (label != NULL)
2104     {
2105       symbolS *     sym;
2106       int           label_seen = false;
2107       struct frag * old_frag;
2108       valueT        old_value;
2109       valueT        new_value;
2110       
2111       assert (S_GET_SEGMENT (label) == now_seg);
2112
2113       old_frag  = label->sy_frag;
2114       old_value = S_GET_VALUE (label);
2115       new_value = (valueT) frag_now_fix ();
2116       
2117       /* It is possible to have more than one label at a particular
2118          address, especially if debugging is enabled, so we must
2119          take care to adjust all the labels at this address in this
2120          fragment.  To save time we search from the end of the symbol
2121          list, backwards, since the symbols we are interested in are
2122          almost certainly the ones that were most recently added.
2123          Also to save time we stop searching once we have seen at least
2124          one matching label, and we encounter a label that is no longer
2125          in the target fragment.  Note, this search is guaranteed to
2126          find at least one match when sym == label, so no special case
2127          code is necessary.  */
2128       for (sym = symbol_lastP; sym != NULL; sym = sym->sy_previous)
2129         {
2130           if (sym->sy_frag == old_frag && S_GET_VALUE (sym) == old_value)
2131             {
2132               label_seen = true;
2133               sym->sy_frag = frag_now;
2134               S_SET_VALUE (sym, new_value);
2135             }
2136           else if (label_seen && sym->sy_frag != old_frag)
2137             break;
2138         }
2139     }
2140
2141   record_alignment (now_seg, n);
2142 }
2143
2144 /* Handle the .align pseudo-op.  This aligns to a power of two.  We
2145    hook here to latch the current alignment.  */
2146
2147 static void
2148 s_d30v_align (ignore)
2149      int ignore;
2150 {
2151   int align;
2152   char fill, *pfill = NULL;
2153   long max_alignment = 15;
2154
2155   align = get_absolute_expression ();
2156   if (align > max_alignment)
2157     {
2158       align = max_alignment;
2159       as_warn (_("Alignment too large: %d assumed"), align);
2160     }
2161   else if (align < 0)
2162     {
2163       as_warn (_("Alignment negative: 0 assumed"));
2164       align = 0;
2165     }
2166
2167   if (*input_line_pointer == ',')
2168     {
2169       input_line_pointer++;
2170       fill = get_absolute_expression ();
2171       pfill = &fill;
2172     }
2173
2174   d30v_last_label = NULL;
2175   d30v_align (align, pfill, NULL);
2176
2177   demand_empty_rest_of_line ();
2178 }
2179
2180 /* Handle the .text pseudo-op.  This is like the usual one, but it
2181    clears the saved last label and resets known alignment.  */
2182
2183 static void
2184 s_d30v_text (i)
2185      int i;
2186
2187 {
2188   s_text (i);
2189   d30v_last_label = NULL;
2190   d30v_current_align = 0;
2191   d30v_current_align_seg = now_seg;
2192 }
2193
2194 /* Handle the .data pseudo-op.  This is like the usual one, but it
2195    clears the saved last label and resets known alignment.  */
2196
2197 static void
2198 s_d30v_data (i)
2199      int i;
2200 {
2201   s_data (i);
2202   d30v_last_label = NULL;
2203   d30v_current_align = 0;
2204   d30v_current_align_seg = now_seg;
2205 }
2206
2207 /* Handle the .section pseudo-op.  This is like the usual one, but it
2208    clears the saved last label and resets known alignment.  */
2209
2210 static void
2211 s_d30v_section (ignore)
2212      int ignore;
2213 {
2214   obj_elf_section (ignore);
2215   d30v_last_label = NULL;
2216   d30v_current_align = 0;
2217   d30v_current_align_seg = now_seg;
2218 }