问题描述
我正在编写一个Lisp编译器，该编译器为x86_64体系结构（特别是针对OS X）生成代码。我使用Chez Scheme作为参考编译器，以检查编译器的输出是否正确。 Chez为下面的表达式提供了32的输出，但是我的编译器代码给了我8的输出（在Lisp代码下面）。我无法弄清楚原因，也无法弄清楚如何调整程序集以使其返回正确的结果。如果您精通x86_64（GAS，Intel语法），可以在这里给我一些建议吗？
(define (f x y) (* (* y 2) (+ x 3)))
(define x (f 5 2)); expecting an output of 32
.global _main
.text
_main:
push 2 # push argument to f
push 5 # push argument to f
call f
mov [x + rip],rax
mov rdi,rax
mov rax,0x2000001
syscall
f:
push rbp
mov rbp,rsp
push 3 # push argument to +
push [rbp + 16] # push argument to +
call plus
push rax # result of +
push 2 # push argument to *
push [rbp + 24] # push argument to *
call multiply
push rax # result of *
call multiply
mov rsp,rbp
pop rbp
ret
.data
x:
.quad 0
这是add和multiply函数：
.macro operator mnemonic
push rbp
mov rbp,rsp
mov rdi,[rbp + 24]
mov rsi,[rbp + 16]
\mnemonic rdi,rsi
mov rax,rdi
mov rsp,rbp
pop rbp
ret
.endm
plus: operator add
multiply: operator imul
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）