Bad 8-bit registers

[kavon]

Opening issue related to this bug, since the workaround below was removed from trunk:

    (* MLRISC is incorrectly naming some of the 8-bit registers, so as a simple
     * workaround, we are just going to find/replace them in the output text file
     *)
    fun replace8BitRegisters asmFile = let
	  val cmd = "sed -i \"s/%ah/%spl/g; s/%ch/%bpl/g; s/%dh/%sil/g; s/%bh/%dil/g\" " ^ asmFile
	  in
	    ignore (OS.Process.system cmd)
	  end

[JohnReppy]

The bug is really in MLRisc, so a description of the problem should be submitted to the SML/NJ bug form.