Какие методы использования потока управления есть в 6502?

На самом деле нет лучшего способа, но может быть улучшение, такое как вызов FlowControl как подпрограммы и возврат с RTS.

Это основной поток.

  jsr ControlFlow
  ; main routine continues here

Вот подпрограмма.

ControlFlow:
  lda mem
  cmp #1
  bne .sub_one
  cmp #2
  bne .sub_two
  cmp #3
  bne .sub_three
    ; case else here
  rts

  .sub_one:
    ; sub routine one goes here
  rts

  .sub_two:
   ; sub routine two goes here
  rts

  .sub_three:
   ; sub routine three goes here
  rts

если подпрограммы слишком длинные, вам нужно использовать JMP, как упоминалось ранее.

.jump_to_sub_one
  jmp .sub_one
.jump_to_sub_two
  jmp .sub_two
.jump_to_sub_three
  jmp .sub_three

ControlFlow:
  lda mem
  cmp #1
  bne .jump_to_sub_one
  cmp #2
  bne .jump_to_sub_two
  cmp #3
  bne .jump_to_sub_three
    ; case else here
  rts

  .sub_one:
    ; sub routine one goes here
  rts

  .sub_two:
   ; sub routine two goes here
  rts

  .sub_three:
   ; sub routine three goes here
  rts

Вот как это делается, и, к сожалению, нет лучшего способа. Это относится ко многим языкам ассемблера, если не ко всем.

Таблицы переходов могут быть полезны, если количество случаев достаточно велико. Слева есть шаблон (непроверенный) для перехода к метке, который помещает правильный адрес в стек и возвращается. Справа есть подпрограмма diff на основе jsr, которая будет продолжаться с метки _out: после возврата из каждой подпрограммы. Логика переноса инвертирована на 6502, что означает, что перенос будет установлен, если (Acc >= Imm).

; goto  label[n]   vs.         call label[n]

lda variable
cmp #MAX_PLUS_ONE                          
bcs _out
tax
lda table_hi, X
pha                vs.         sta jsrcmd+2
lda table_lo, X
pha                vs.         sta jsrcmd+1
rts                vs. jsrcmd: jsr 1000        ; self modify

_out:  

6502 обеспечивает следующее для управления потоком программы, т.е. для изменения регистра ПК.

• абсолютный JMP
• непрямой СПМ
• Относительные инструкции Bxx
• Абсолют JSR с более поздней RTS
• BRK или другой IRQ с более поздним RTI (или RTS, если вы вытащите .P из стека)
• Помещение двух значений в стек, а затем RTS/RTI
• Аппаратный сброс вызывает скачок по вектору сброса

Вот и все. Если вы хотите что-то более сложное, вам нужно создать его, используя один или несколько из вышеперечисленных.

Один из способов реализации оператора switch состоит в том, чтобы сначала создать таблицу указателей на все подпрограммы, задействованные в операторе switch. Разделите их в соответствии с младшими байтами подпрограмм, а затем старшими байтами:

switchtab_lo .db >routine1, >routine2, >routine3

switchtab_hi .db <routine1, <routine2, <routine3

(Я никогда не могу вспомнить, означает ли> младший байт или старший байт, и разные ассемблеры могут иметь разный синтаксис)

а затем, предполагая, что значение, на которое вы хотите переключиться, находится в .X, и что vector - это два байта, которые не начинаются в конце страницы (чтобы избежать косвенной ошибки JMP), и вы убедились, что это допустимый ценность:

lda switchtab_lo,X
sta vector
lda switchtab_hi,X
sta vector+1
jmp (vector)

Утомительно делать это каждый раз, когда вам нужно переключиться, но именно поэтому были изобретены языки высокого уровня.

        lda mem
        asl
        sta jump+1
jump    jmp (vector)

;should be page aligned
vector
        !word func1, func2, func3, func4

если список векторов не выровнен, необходимо добавить индекс * 2 ко всему адресу вектора, медленнее, но более эффективно с точки зрения использования памяти.

другие варианты:

         lda mem
         asl
         clc
         adc mem        ;we assume it does not overflow, so carry stays cleared
         sta branch+1   ;mem * 3
branch   bcc *
         jmp func1
         jmp func2
         jmp func3
         jmp ...

CMOS 6502 (т. е. 65c02) также имеет режим адресации JMP(abs,X), так что вы можете взять ввод в A, сдвинуть влево на 1 бит с помощью ASL A (поскольку каждый адрес в table занимает два места), затем перенесите ее в X и выполните JMP(Addr_Table,X). Гораздо проще. Это одно из многих дополнений кода операции, сделанных в версии CMOS. (В версии CMOS также исправлены все ошибки версии NMOS).

Я не знаю, как бы вы сделали это на 6502, но switches часто компилируются в таблицы переходов.

У меня есть статья об использовании макросов для создания программных структур на ассемблере 6502 по адресу http://wilsonminesco.com/StructureMacros/index.html . Я сделал это и для PIC, и для обоих есть ссылки на исходный код. Дальнейшие дополнения появятся, когда я закончу проект, над которым работаю.

OP — идеальная ситуация для IF...ELSE...END_IF. Когда требуется больше случаев, таблица переходов работает хорошо, если числа идут последовательно, и вам не нужно проверять ограничения, чтобы избежать косвенного перехода из-за пределов таблицы и сбоя. В противном случае оператор CASE работает прекрасно. http://forum.6502.org/viewtopic.php?f=2&t=2311&start=15 — это вторая страница такого обсуждения, и я показываю там, как вы можете тестировать отдельные случаи, диапазон чисел или разброс чисел в одном и том же операторе CASE. У меня еще нет RANGE_OF и SET_OF, записанных как макросы сборки 6502. Эти два у меня есть только в Форте.

Цель этих макросов, конечно же, состоит в том, чтобы получить лучший контроль над кодом, делая более понятным то, что вы делаете, и избавляясь от массы меток и переходов, которые обычно характеризуют ассемблерный код. Макросы позволяют вам полностью контролировать каждую частицу кода, заложенного ассемблером, но вам не нужно постоянно смотреть на внутренние детали. В большинстве случаев абсолютно нулевая потеря памяти программы или скорость выполнения. Вы получаете производительность ассемблера с множеством преимуществ языков более высокого уровня. Код становится быстрее в разработке, без ошибок и легче в обслуживании, а это означает, что легче вернуться позже и выяснить, что вы сделали, когда решили добавить функцию или что-то изменить.