如何在LLVM组件中实现推送和弹出?

| 我想在LLVM组装中实现推送和弹出操作。 alloca指令不遵循堆栈,推入和弹出的概念。 例子: 推 x86
subl  $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, $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,则应首先定义干净的语义。例如。这如何与后端插入的堆栈运动相互作用,如果您将基本块中间推入而没有任何弹出声,将会发生什么情况,等等。但是,这似乎不是一个好主意,为什么呢?根本需要这个吗?     

要回复问题请先登录注册