10

我一直在为 MOS 6502 开发仿真器，但我似乎无法让 ADC 和 SBC 正常工作。我正在使用在模拟内存中加载到 0x4000 的AllSuiteA 程序测试我的模拟器，对于 test09，我当前的 ADC 和 SBC 实现没有得到正确的标志。我无数次尝试改变他们的算法，但每次，进位标志和溢出标志都足够重要，并导致测试分支/不分支。

我的两个功能都基于此。

memory[0x10000] 是累加器。它存储在内存范围之外，所以我可以有一个单独的寻址开关语句。

这是我对这些功能的实现之一：

case "ADC":
    var t = memory[0x10000] + memory[address] + getFlag(flag_carry);
    (memory[0x10000] & 0x80) != (t & 0x80) ? setFlag(flag_overflow) : clearFlag(flag_overflow);
    signCalc(memory[0x10000]);
    zeroCalc(t);
    
    t > 255 ? setFlag(flag_carry) : clearFlag(flag_carry);
    
    memory[0x10000] = t & 0xFF;
break;

case "SBC":
    var t = memory[0x10000] - memory[address] - (!getFlag(flag_carry));
    (t > 127 || t < -128) ? setFlag(flag_overflow) : clearFlag(flag_overflow);
    
    t >= 0 ? setFlag(flag_carry) : clearFlag(flag_carry);
    signCalc(t);
    zeroCalc(t);
    
    memory[0x10000] = t & 0xFF;
break;

在这一点上我完全没有想法，但我也遇到了与这里提供的数据相同的问题。 因此，我在这里失败的不仅仅是一个实施计划。

4

3 回答 3

17

（在写下面的答案时，我忘记了十进制模式——NES 的 6502 缺少这种模式。无论如何我都会留下它，因为它可能对编写 NES 模拟器的人有用。）

SBC一旦你的模拟器有ADC. 您需要做的就是反转参数的位并将其传递给ADC实现。要直观地了解其工作原理，请注意将 的所有位反转arg生成二进制补码，并研究标志设置和未设置-arg - 1时会发生什么。carry

SBC这是我的模拟器中的完整源代码。所有标志也将正确设置。

static void sbc(uint8_t arg) { adc(~arg); /* -arg - 1 */ }

实现时最棘手的部分ADC是溢出标志的计算。设置它的条件是结果具有“错误”符号。由于范围的计算方式，事实证明这只能在两种情况下发生：

  1. 两个正数相加，结果为负数。
  2. 两个负数相加，结果为正数。

(1) 和 (2) 可以简化为以下条件：

  • 两个符号相同的数相加，结果符号不同。

使用一些 XOR 技巧，这允许将overflow标志设置为以下代码（ADC我的模拟器的完整实现）：

static void adc(uint8_t arg) {
    unsigned const sum = a + arg + carry;
    carry = sum > 0xFF;
    // The overflow flag is set when the sign of the addends is the same and
    // differs from the sign of the sum
    overflow = ~(a ^ arg) & (a ^ sum) & 0x80;
    zn = a /* (uint8_t) */ = sum;
}

(a ^ arg)如果寄存器和符号不同，则给出0x80符号位位置。翻转位，以便您得到if和具有相同的符号。用更简单的英语，条件可以写成aarg~0x80aarg

overflow = <'a' and 'arg' have the same sign> &  
           <the sign of 'a' and 'sum' differs> &  
           <extract sign bit>

该ADC实现（以及许多其他指令）还使用一种技巧将zero和negative标志存储在一起。

顺便说一下，我的 CPU 实现（来自 NES 模拟器）可以在这里找到。搜索“核心指令逻辑”将为您提供所有指令（包括非官方指令）的简单实现。

我已经通过大量测试 ROM 运行它而没有失败（NES 仿真的优点之一是有很多很棒的测试 ROM 可用），我认为此时它应该几乎没有错误（除了一些非常模糊的在某些情况下涉及例如开放总线值的东西）。

于 2015-03-24T03:45:33.080 回答
15

欢迎，勇敢的冒险家，来到 6502“加”和“减”命令的神秘大厅！许多人已经走在你前面这些步骤，尽管很少有人完成等待你的考验。坚强的心！

好了，剧情结束。简而言之，ADC 和 SBC 几乎是最难模拟的 6502 指令，主要是因为它们是极其复杂和精密的小逻辑块。它们处理进位、溢出和十进制模式，当然实际上依赖于可以被认为是“隐藏”的伪寄存器工作存储。

更糟糕的是，关于这些说明已经写了很多，而且很大一部分文献都是错误的。我在 2008 年解决了这个问题，花了很多时间研究和分离小麦和谷壳。结果是我在这里复制的一些 C# 代码：

case 105: // ADC Immediate
_memTemp = _mem[++_PC.Contents];
_TR.Contents = _AC.Contents + _memTemp + _SR[_BIT0_SR_CARRY];
if (_SR[_BIT3_SR_DECIMAL] == 1)
{
  if (((_AC.Contents ^ _memTemp ^ _TR.Contents) & 0x10) == 0x10)
  {
    _TR.Contents += 0x06;
  }
  if ((_TR.Contents & 0xf0) > 0x90)
  {
    _TR.Contents += 0x60;
  }
}
_SR[_BIT6_SR_OVERFLOW] = ((_AC.Contents ^ _TR.Contents) & (_memTemp ^ _TR.Contents) & 0x80) == 0x80 ? 1 : 0;
_SR[_BIT0_SR_CARRY] = (_TR.Contents & 0x100) == 0x100 ? 1 : 0;
_SR[_BIT1_SR_ZERO] = _TR.Contents == 0 ? 1 : 0;
_SR[_BIT7_SR_NEGATIVE] = _TR[_BIT7_SR_NEGATIVE];
_AC.Contents = _TR.Contents & 0xff;
break;
于 2015-03-22T11:46:25.173 回答
2

以下是我的 C64、VIC 20 和 Atari 2600 模拟器 ( http://www.z64k.com ) 的 6502 内核的代码片段，它实现了十进制模式并通过了所有 Lorenzes、bclark 和 asap 测试。如果您需要我解释其中任何一个，请告诉我。我也有旧代码仍然通过所有测试程序，但将指令和指令的十进制模式拆分为单独的类。如果您更愿意破译它，那么理解我的旧代码可能会更简单。我所有的仿真器都使用附加的代码来实现 ADC、SBC 和 ARR（不包括 ARR 的完整代码）指令。

public ALU ADC=new ALU(9,1,-1);
public ALU SBC=new ALU(15,-1,0);
public ALU ARR=new ALU(5,1,-1){
    protected void setSB(){AC.ror.execute();SB=AC.value;}
    protected void fixlo(){SB=(SB&0xf0)|((SB+c0)&0x0f);}
    protected void setVC(){V.set(((AC.value^(SB>>1))&0x20)==0x20);C.set((SB&0x40)==0x40);if((P&8)==8){Dhi(hb);}}
};
public class ALU{
protected final int base,s,m,c0,c1,c2;
protected int lb,hb;
public ALU(int base,int s,int m){this.base=base;this.s=s;this.m=m;c0=6*s;c1=0x10*s;c2=c0<<4;}
public void execute(int c){// c= P&1 for ADC and ARR, c=(~P)&1 for SBC, P=status register
    lb=(AC.value&0x0f)+(((DL.value&0x0f)+c)*s);
    hb=(AC.value&0xf0)+((DL.value&0xf0)*s);
    setSB();
    if(((P&8)==8)&&(lb&0x1f)>base){fixlo();}//((P&8)==8)=Decimal mode
    N.set((SB&0x80)==0x80);
    setVC();
    AC.value=SB&0xff;
}
protected void setSB(){SB=hb+lb;Z.set((SB&0xff)==0);}
protected void fixlo(){SB=(hb+c1)|((SB+c0)&0x0f);}
protected void Dhi(int a){if((a&0x1f0)>base<<4){SB+=c2;C.set(s==1);}}
protected void setVC(){V.set(((AC.value^SB)&(AC.value^DL.value^m)&0x80)==0x80);C.set(SB>=(0x100&m));if((P&8)==8){Dhi(SB);}}

}

于 2015-11-06T07:59:50.920 回答