assembly - GBDK 编译器中的二次幂乘法错误

Question

我目前正在开发一个 gameboy 模拟器，为了测试我的模拟器的正确性，我正在使用 GBDK 为我的模拟器编译 c 程序。

我注意到编译器(正如预期的那样)通过旋转优化了与 2 的幂的常量的乘法。然而，对于给定的功率，它似乎不会产生正确的旋转量。

例如下面这个非常简单的程序:

#include <gb/gb.h>

unsigned char one() { return 1; }

void main()
{
    unsigned char r;

    // Force compiler to generate muliplication by deferring the '1'
    r = one() * 32;

    // Store result somewhere
    *((unsigned char*)(0xFFFE)) = r;
}

生成以下程序集:

___main_start:
_main:
    push    bc
;   reproduce.c 14
; genCall
    call    _one
    ld  c,e
; genLeftShift
    ld  a,c
    rr  a
    rr  a
    rr  a
    and a,#0xE0
    ld  c,a
;   reproduce.c 16
; genAssign
    ld  de,#0xFFFE
; genAssign (pointer)
    ld  a,c
    ld  (de),a
; genLabel
00101$:
; genEndFunction
    pop bc
    ret
___main_end:
    .area _CODE

在我看来这似乎是不正确的，因为 RR 指令实际上循环通过进位标志，有效地使其成为 9 位循环。这意味着应该有一个额外的旋转来产生正确的结果而不是当前的 (0x40) 错误结果。

可视化:

Start: A = 00000001 Carry = 0
RR A:  A = 00000000 Carry = 1
RR A:  A = 10000000 Carry = 0
RR A:  A = 01000000 Carry = 0 <- WRONG! 

谁能证实这确实是GBDK自带的SDCC编译器的bug？我也对在旋转后使用 and 指令感兴趣。

使用来自 sourceforge 的最新 (3-2.93) 版 GBDK for windows。

Answer 1

这不是您的模拟器的错误——我测试过的其他模拟器也为以下代码提供 64:

#include <stdio.h>

unsigned char one() { return 1; }

void main()
{
    unsigned int r;

    // Force compiler to generate multiplication by deferring the '1'
    r = one() * 32;

    printf("1 * 32 = %u", r);
}

这里是BGB ^{(版本 1.5.1)}:

这是在 VBA-M 上^{(版本 SVN1149)}:

---

至于为什么要包含和a,#0xE0？这其实很简单。它只是确保溢出不会弄乱值。

首先，假设乘法正确，1 * 32 仍然等于 32。(我将添加一个额外的 RR A)。

对于 1 * 32，这看起来像这样:

Start       ; A = 00000001 Carry = 0
RR  A       ; A = 00000000 Carry = 1
RR  A       ; A = 10000000 Carry = 0
RR  A       ; A = 01000000 Carry = 0
RR  A       ; A = 00100000 Carry = 0
AND A,0xE0  ; A = 00100000 Carry = 0

这里，AND 没有作用。但是，假设我们乘以会导致溢出的值，例如 17 * 32:

Start       ; A = 00010001 Carry = 0
RR  A       ; A = 00001000 Carry = 1
RR  A       ; A = 10000100 Carry = 0
RR  A       ; A = 01000010 Carry = 0
RR  A       ; A = 00100001 Carry = 1
AND A,0xE0  ; A = 00100000 Carry = 0

如果没有 and，我们会得到 17 * 32 = 33，而不是 1 个字节的正确答案 (32)。虽然这两个答案都不是真正的答案 (544)，但 32 是它第一个字节的正确值。