基于6502汇编实现斐波那契序列的技术求助：分支与比较指令困惑

先给你理清楚比较和分支指令的核心逻辑——这俩是配套用的：

• 比较指令（比如CPY、CMP）不会改变寄存器的值，只会根据比较结果设置状态寄存器里的标志位（比如Z=0/1表示不等/相等，C=0/1表示小于/大于等于）。
• 分支指令（比如BNE、BEQ）完全依赖这些标志位决定是否跳转：比如BNE就是“结果不等就跳”，BEQ是“结果相等就跳”。

下面是符合要求的斐波那契实现代码，生成前10项并存在内存$00到$09地址里，代码里包含加法、比较、分支三种指令：

; 初始化前两项：F(0)=0，F(1)=1
START:
    LDA #$00
    STA $00        ; 存F(0)到内存$00
    LDA #$01
    STA $01        ; 存F(1)到内存$01

    LDX #$02       ; X作为当前项的索引，从第3项（索引2）开始
    LDY #$0A       ; Y存总项数（10项，索引0-9）

; 循环计算后续项
NEXT:
    LDA $00        ; 加载F(n-2)到累加器A
    ADC $01        ; 加法指令：A = F(n-2) + F(n-1)
    STA $00,X      ; 把计算出的F(n)存到对应内存地址

    ; 更新前两项的值，为下一次计算做准备
    LDA $01
    STA $00
    LDA $00,X
    STA $01

    INX            ; 索引+1，准备计算下一项
    CPY X          ; 比较指令：拿总项数Y和当前索引X比，设置标志位
    BNE NEXT       ; 分支指令：如果X≠Y（还没算完10项），跳回NEXT继续循环

END:
    BRK            ; 程序结束

重点讲你困惑的比较和分支部分 #

代码里的CPY X是把Y里的10和X里的当前索引做比较：

• 当X还没到10时，两者不等，状态寄存器的Z标志会被设为0，这时BNE NEXT就会触发跳转，回到循环开头继续计算。
• 当X等于10时，两者相等，Z标志被设为1，BNE就不会跳转，程序直接走到BRK终止。

各指令对应要求 #

• 加法指令：ADC（实现斐波那契的核心求和逻辑）
• 比较指令：CPY（判断是否生成完所有项）
• 分支指令：BNE（控制循环的执行与终止）

内容的提问来源于stack exchange，提问作者Liam Knipper