On 5/1/07, Lutz Euler <lutz.euler@...> wrote:
> with the x86-64 backend taking more and more advantage of 32-bit
> operations it seems helpful to avoid confusion if reading "ECX" in the
> sources or a disassembly really means the 32-bit register, so I'd like
> to get this instruction's name right. (The 64-bit mode of the processor
> only supports a 16-bit and a 64-bit variant of this instruction, named
> JCXZ and JRCXZ, respectively, of which SBCL only uses the 64-bit one.)
> Here is a patch to this effect. This is purely cosmetic; no change
> in functionality.
Finally merged as 22.214.171.124, thank you!