如何在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,4

编辑1： 我需要一个独立于平台的解决方案。 第一 我想使用堆栈的顶部来存储临时对象。 表达式“ a * b + c * d + e * f \”将需要存储三个乘法的结果，操作数是一类的大对象，并且运算符已重载。运算“ a * b \”将采用许多指令，在乘法过程中无法修改“ a”和“ b”，这意味着由“ a * b”产生的对象不能使用\“ a \”或\“ b \”的相同存储位置。 在假设语言的代码中，

call_function( &Object(),&(a + b) );

\“＆Object（）\”将在堆栈上创建一个对象并获取其指针，该指针是该函数的参数，并且该对象在函数返回后将被删除。 第二 我想优化递归函数。我想将递归函数转换为迭代函数，并使用堆栈来推送将在以后使用的数据。我无法使用数组，因为我不知道将在堆栈中进行最多的递归调用。     

解决方法

        如果您想“只是”推送并弹出-那么您绝对应该使用内联汇编器。 如果要以这种方式扩展LLVM IR，则应首先定义干净的语义。例如。这如何与后端插入的堆栈运动相互作用，如果您将基本块中间推入而没有任何弹出声，将会发生什么情况，等等。但是，这似乎不是一个好主意，为什么呢？根本需要这个吗？