[PATCH 14/15] MIPS/GAS/test: Run the LD test with forward references

Richard Sandiford rdsandiford@googlemail.com
Sun Oct 10 10:19:00 GMT 2010


"Maciej W. Rozycki" <macro@linux-mips.org> writes:
>  Note this has revealed a deficiency in our relaxation code.  In theory 
> the machine code generated from a single piece of assembly source should 
> be the same regardless of whether any data objects referenced have been 
> provided before the respective references or after.  This is not the case.  
> A couple of unnecesary load-delay NOPs are output for platforms that have
> load-delay slots.
>
>  The reason for this is the load-delay slot dependency is only checked 
> against the first relaxation variant and any requirements are fulfilled by 
> appending these NOPs (or one only, as other cases such as HI/LO 
> dependencies do not apply here) to the code before the variant frag, 
> rather then the relaxed sequence itself.  If in the end the second variant 
> is chosen then the stray NOP remains.
>
>  Any particular reason we take this approach these days?  I understand 
> with the old relaxation code resolving such things was somewhat tricky if 
> possible at all, but I see no reason for the extra NOP to be emitted to 
> the variant frags as a need arises these days.  In no case it would seem 
> the dependency would cross beyond a variant frag to any code that follows 
> so no need to fear choosing the second variant would cause any NOPs to be 
> missing to satisfy code after the frag it would seem (to me anyway).

No particular reason, no.  It just wasn't part of the motivation for
the original relaxation changes.  Improving the quality of MIPS I code
is always very low down the priority list.

> 2010-10-03  Maciej W. Rozycki  <macro@linux-mips.org>
>
> 	gas/testsuite/
> 	* gas/mips/ld.s: Adjust to let data objects be only 
> 	defined/declared (as appropriate) at the end of assembly, based
> 	on the presence or not of the "forward" symbol.
> 	* gas/mips/ld-f.d: New test.
> 	* gas/mips/mips1@ld-f.d: Likewise. MIPS I version.
> 	* gas/mips/r3000@ld-f.d: Likewise, R3000 version.
> 	* gas/mips/ecoff@ld-f.d: Likewise, ECOFF version.
> 	* gas/mips/r3900@ecoff@ld-f.d: Likewise, R3900/ECOFF version.
> 	* gas/mips/mips2@ecoff@ld-f.d: Likewise, MIPS II/ECOFF version.
> 	* gas/mips/mips32@ecoff@ld-f.d: Likewise, MIPS32/ECOFF version.
> 	* gas/mips/mips32r2@ecoff@ld-f.d: Likewise, MIPS32r2/ECOFF 
> 	version.
> 	* gas/mips/ld-n32-f.d: New test.
> 	* gas/mips/ld-n64-f.d: Likewise.
> 	* gas/mips/mips.exp: Run the new tests.

Let's use "-forward" rather than "-f", for consistency with the
symbol name and to avoid any possible confusion with "floating point".

OK otherwise, thanks.

Richard



More information about the Binutils mailing list