в том, что x >> y не определено если y > 31

Понял

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

написал небольшую вм-ку для стекового языка, вручную переписал функцию, но абсолютно 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, перекидывание из основно стека во вторичный и обратно

есть ощущение, что нужно вместо оперирования аргументами со стека записывать их все в какой-нибудь хип, и обращаться всегда через него, так будет намного проще

Кажется ты в первом случае аргумент функции N не положил на стек
Или аргументы уже на стеке лежат?

N уже на стеке, да

А, ок
Просто в JVM по-другому сделано

а как?

Аргументы являются локальными переменными, а локальные переменные хранятся независимо от стека

хм, а как аргументы передаются в функцию? То есть как они могут быть локальными переменными [функции?], если функцию еще не вызвали?

А передаются через стек
А уже на стороне вызванной функции это локальные переменные

То есть fib/1 выглядело бы примерно так:
iload_0 // загрузка значения нулевой локальной переменной -> в данном случае аргумента
iconst_1
iconst_1
call fib/3
ret

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

call знает арность функции и закидывает N значений со стека в локальные переменные?

Ну вм перекинула со стека в значения локалок

Более того вм знает сигнатуры функций и в случае чего может бросить exception

понял, выглядит удобно, сделаю так же

Если что, я совсем немного тыкал JVM и могу ошибаться

https://docs.oracle.com/javase/specs/jvms/se7/html/index.html
Вот можешь спеку почитать)

да, нашел это место - https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html#jvms-6.5.invokespecial