Есть разные соглашения о вызовах. Где-то вызываемая функция подчищает за собой (восстанавливает регистры), где-то вызывающая, где-то обе - каждая свои регистры. Для простоты интеграции с сишными либами и скорости работы с ними, имеет смысл использовать то же соглашение.

Это то да, но речь идёт о своей виртуальной машине где свои законы.

Полагаю результат «скопировать» к себе вы можете только положив его на стэк.

вот у меня была такая же задача как раз, поэтому отказался от двух стеков

есть: a b c
нужно: a b c a
единственный вариант что я придумал

// a b c |
>r
// a b | c
>r
// a | b c
dup
// a a | b c
r>
// a a b | c
swap
// a b a | c
r>
// a b a c |
swap
// a b c a |


>r >r dup r> swap r> swap

просто чтобы достать первый аргумент (это при условии что в стеке после аргументов ничего нет)

Для произвольной адресации достаточно pick и roll.

Логически - достаточно, но ведь этот pick будет работать за O(N) на ровном месте. Или я что-то упускаю?

что почитать про то, как генерировать байткод стекового языка для функциональных языков?

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


; fib(N) -> fib(N, 1, 1).
; fib(0, _, B) -> B;
; fib(N, A, B) -> fib(N-1, B, A+B).

; A B | C D -- это дата стек [A, B] и return stack [D, C]

fib/1:           ; N |
fib/1[0]:        ; N |
 lit 1          ; N 1 |
 lit 1          ; N 1 1 |
 call fib/3     ; fib/3(N, 1, 1) |
 ret            ; fib/3(N, 1, 1) |

fib/3:
fib/3[0]:        ; N A B |
 rpush          ; N A | B
 rpush          ; N | A B
 dup            ; N N | A B
 rpop           ; N N A | B
 swap           ; N A N | B
 rpop           ; N A N B |
 swap           ; N A B N |
 lit 0          ; N A B N 0 |
 eq             ; N A B [0 или 1] |
 jmpf fib/3[1]  ; N A B
 rpush          ; N A | B
 drop           ; N | B
 drop           ; | B
 rpop           ; B |
 ret            ; B |
fib/3[1]:        ; N A B |
 rpush          ; N A | B
 rpush          ; N | A B
 lit 1          ; N 1 | A B
 sub            ; (N-1) | A B
 rpop           ; (N-1) A | B
 rpop           ; (N-1) A B |
 swap           ; (N-1) B A |
 rpush          ; (N-1) B | A
 dup            ; (N-1) B B | A
 rpop           ; (N-1) B B A |
 swap           ; (N-1) B A B |
 add            ; (N-1) B (A+B) |
 jmp fib/3      ; (N-1) B (A+B) |


rpush/rpop - это return stack, перекидывание из основно стека во вторичный и обратно