m68k fixes from Andreas Schwab, with minor changes

gas/ChangeLog

@@ -1,5 +1,31 @@
 Wed Jun 21 18:07:59 1995  Ken Raeburn  <raeburn@cujo.cygnus.com>
 
+	Changes from Andreas Schwab <schwab@issan.informatik.uni-dortmund.de>:
+	* config/tc-m68k.c (insword): Increment the frag offsets.
+	(struct m68k_it): Add reloc[].pcrel_fix field to hold pc-rel
+	fixup.
+	(add_fix): Accept additional parameter, the pc-rel fixup. All
+	callers changed.  Fix offset address if width == 'b'.
+	(m68k_ip) [case AINDX]: Allow explicit size spec.  Don't make the
+	outer displacement pc-relative.
+	(md_pcrel_from): Make it relative to the first extension word of
+	the operand.
+	(opcode_ptr): Make it a macro if DO_BREAK_UP_BIG_DECL is
+	undefined.
+	(md_convert_frag_1): Don't reference fragP->fr_opcode[2..].
+	(md_estimate_size_before_relax) [case TAB (FBRANCH, SZ_UNDEF)]:
+	Turn on long bit.
+	(m68k_ip) [case 'C']: Don't set set long bit, set it in the opcode
+ 	table.
+	(md_estimate_size_before_relax) [case TAB (PCINDEX, SZ_UNDEF)]:
+	Variable part increases by four, not six.
+	* write.c (fixup_segment) [TC_M68K]: Don't do further pcrel
+	processing after converting difference of two symbols in the
+	same segment.
+
+	* write.c (fixup_segment): Don't conditionalize the pcrel fix on
+	TC_M68K.
+
 	* config/tc-sparc.c (sparc_ip, case 'A'): If ASI is not a "#"
 	value, don't shift it an extra time.
 

gas/write.c

@@ -430,7 +430,11 @@ cvt_frag_to_fill (headersP, fragP)
       fragP->fr_offset = (fragP->fr_next->fr_address
 			  - fragP->fr_address
 			  - fragP->fr_fix) / fragP->fr_var;
-      assert (fragP->fr_offset >= 0);
+      if (fragP->fr_offset < 0)
+	{
+	  as_bad ("attempt to .org/.space backwards? (%ld)",
+		  (long) fragP->fr_offset);
+	}
       fragP->fr_type = rs_fill;
       break;
 
@@ -962,7 +966,8 @@ write_contents (abfd, sec, xxx)
 		x = bfd_set_section_contents (stdoutput, sec,
 					      buf, (file_ptr) offset,
 					      (bfd_size_type) n_per_buf * fill_size);
-		assert (x == true);
+		if (x != true)
+		  as_fatal ("Cannot write to output file.");
 		offset += n_per_buf * fill_size;
 	      }
 	  }
@@ -973,7 +978,8 @@ write_contents (abfd, sec, xxx)
 	    x = bfd_set_section_contents (stdoutput, sec,
 					  fill_literal, (file_ptr) offset,
 					  (bfd_size_type) fill_size);
-	    assert (x == true);
+	    if (x != true)
+	      as_fatal ("Cannot write to output file.");
 	    offset += fill_size;
 	  }
 #endif
@@ -1463,6 +1469,7 @@ write_object_file ()
 	register char *fill_literal;
 	register long fill_size;
 
+	PROGRESS (1);
 	know (fragP->fr_type == rs_fill);
 	append (&next_object_file_charP, fragP->fr_literal, (unsigned long) fragP->fr_fix);
 	fill_literal = fragP->fr_literal + fragP->fr_fix;
@@ -1548,6 +1555,8 @@ write_object_file ()
 	  resolve_symbol_value (symp);
     }
 
+  PROGRESS (1);
+
   bfd_map_over_sections (stdoutput, adjust_reloc_syms, (char *)0);
 
   /* Set up symbol table, and write it out.  */
@@ -1558,6 +1567,17 @@ write_object_file ()
       for (symp = symbol_rootP; symp; symp = symbol_next (symp))
 	{
 	  int punt = 0;
+	  const char *name;
+
+	  name = S_GET_NAME (symp);
+	  if (name)
+	    {
+	      const char *name2 = decode_local_label_name (S_GET_NAME (symp));
+	      /* They only differ if `name' is a fb or dollar local
+		 label name.  */
+	      if (name2 != name && ! S_IS_DEFINED (symp))
+		as_bad ("local label %s is not defined", name2);
+	    }
 
 	  /* Do it again, because adjust_reloc_syms might introduce
 	     more symbols.  They'll probably only be section symbols,
@@ -1633,6 +1653,8 @@ write_object_file ()
 	}
     }
 
+  PROGRESS (1);
+
   /* Now do any format-specific adjustments to the symbol table, such
      as adding file symbols.  */
 #ifdef obj_adjust_symtab
@@ -1896,10 +1918,15 @@ relax_segment (segment_frag_root, segment)
 
 		know (fragP->fr_next);
 		after = fragP->fr_next->fr_address;
-		growth = ((target - after) > 0) ? (target - after) : 0;
+		growth = target - after;
+		if (growth < 0)
+		  {
 		    /* Growth may be negative, but variable part of frag
 		       cannot have fewer than 0 chars.  That is, we can't
 		       .org backwards. */
+		    as_bad ("attempt to .org backwards ignored");
+		    growth = 0;
+		  }
 
 		growth -= stretch;	/* This is an absolute growth factor */
 		break;
@@ -1925,6 +1952,7 @@ relax_segment (segment_frag_root, segment)
 #ifdef md_relax_frag
 		growth = md_relax_frag (fragP, stretch);
 #else
+#ifdef TC_GENERIC_RELAX_TABLE
 		/* The default way to relax a frag is to look through
 		   md_relax_table.  */
 		{
@@ -1933,9 +1961,10 @@ relax_segment (segment_frag_root, segment)
 		  relax_substateT next_state;
 		  relax_substateT this_state;
 		  long aim;
+		  const relax_typeS *table = TC_GENERIC_RELAX_TABLE;
 
 		  this_state = fragP->fr_subtype;
-		  start_type = this_type = md_relax_table + this_state;
+		  start_type = this_type = table + this_state;
 		  target = offset;
 
 		  if (symbolP)
@@ -1991,7 +2020,7 @@ relax_segment (segment_frag_root, segment)
 			  {
 			    /* Grow to next state. */
 			    this_state = next_state;
-			    this_type = md_relax_table + this_state;
+			    this_type = table + this_state;
 			    next_state = this_type->rlx_more;
 			  }
 		    }
@@ -2008,7 +2037,7 @@ relax_segment (segment_frag_root, segment)
 			  {
 			    /* Grow to next state. */
 			    this_state = next_state;
-			    this_type = md_relax_table + this_state;
+			    this_type = table + this_state;
 			    next_state = this_type->rlx_more;
 			  }
 		    }
@@ -2017,6 +2046,7 @@ relax_segment (segment_frag_root, segment)
 		  if (growth != 0)
 		    fragP->fr_subtype = this_state;
 		}
+#endif /* TC_GENERIC_RELAX_TABLE */
 #endif
 		break;
 
@@ -2153,12 +2183,14 @@ fixup_segment (fixP, this_segment_type)
 		S_GET_VALUE (sub_symbolP);
 
 	      add_symbolP = NULL;
+	      pcrel = 0;	/* No further pcrel processing. */
 
 	      /* Let the target machine make the final determination
 		 as to whether or not a relocation will be needed to
 		 handle this fixup.  */
 	      if (!TC_FORCE_RELOCATION (fixP))
 		{
+		  fixP->fx_pcrel = 0;
 		  fixP->fx_addsy = NULL;
 		}
 	    }