如何解决如何在LLVM组件中实现推送和弹出?
| 我想在LLVM组装中实现推送和弹出操作。 alloca指令不遵循堆栈,推入和弹出的概念。 例子: 推 x86subl $4,%esp
movl %eax,0(%esp)
要么
pushl %eax
ps
addi $sp,$sp,-4
sw $t2,0($sp)
流行音乐
x86
movl 0(%esp),%eax
addl $4,%esp
要么
popl %eax
ps
lw $t2,0($sp)
addi $sp,4
编辑1:
我需要一个独立于平台的解决方案。
第一
我想使用堆栈的顶部来存储临时对象。
表达式“ a * b + c * d + e * f \”将需要存储三个乘法的结果,操作数是一类的大对象,并且运算符已重载。运算“ a * b \”将采用许多指令,在乘法过程中无法修改“ a”和“ b”,这意味着由“ a * b”产生的对象不能使用\“ a \”或\“ b \”的相同存储位置。
在假设语言的代码中,
call_function( &Object(),&(a + b) );
\“&Object()\”将在堆栈上创建一个对象并获取其指针,该指针是该函数的参数,并且该对象在函数返回后将被删除。
第二
我想优化递归函数。我想将递归函数转换为迭代函数,并使用堆栈来推送将在以后使用的数据。我无法使用数组,因为我不知道将在堆栈中进行最多的递归调用。
解决方法
如果您想“只是”推送并弹出-那么您绝对应该使用内联汇编器。
如果要以这种方式扩展LLVM IR,则应首先定义干净的语义。例如。这如何与后端插入的堆栈运动相互作用,如果您将基本块中间推入而没有任何弹出声,将会发生什么情况,等等。但是,这似乎不是一个好主意,为什么呢?根本需要这个吗?
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。