Question

我转换了以下llvm-IR

; Function Attrs: noinline norecurse nounwind uwtable
define i32 @main() #0{
entry:
%sub = sub nsw i32 5, 3
%cmp = icmp slt i32 %sub, 3
br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
%mul = mul nsw i32 %sub, 2
br label %if.end

if.else:                                          ; preds = %entry
%sub1 = sub nsw i32 %sub, 3
br label %if.end

if.end:                                           ; preds = %if.else, 
%if.then
%y.0 = phi i32 [ %mul, %if.then ], [ %sub1, %if.else ]
%sub2 = sub nsw i32 %sub, %y.0
%add = add nsw i32 %sub, %y.0
ret i32 0
}

到x86_64-unknown-linux-gnu的汇编代码使用llc sample.ll 生成汇编代码：

    .text
    .file   "phi.cpp"
    .globl  main                    # -- Begin function main
    .p2align        4, 0x90
    .type   main,@function
main:                                   # @main
    .cfi_startproc
# BB#0:                                 # %entry
    pushq   %rbp
.Lcfi0:
    .cfi_def_cfa_offset 16
.Lcfi1:
    .cfi_offset %rbp, -16
    movq    %rsp, %rbp
.Lcfi2:
    .cfi_def_cfa_register %rbp
    xorl    %eax, %eax
    testb   %al, %al
    xorl    %eax, %eax
    popq    %rbp
    retq
.Lfunc_end0:
    .size   main, .Lfunc_end0-main
    .cfi_endproc
                                    # -- End function

上面代码中的寄存器：%rbp是基指针，指向当前堆栈帧的基数，%rsp是堆栈指针，指向当前堆栈的顶部堆栈帧和操作数存储在%eax和%al中以进行算术运算，但无法在%eax和%al寄存器中找到加载值的指令我也想知道

如何在装配级别上处理phi节点

Answer 1

lli默认为-O2，您的代码以常量表达式sub nsw i32 5, 3开头。因此，你的函数基本上没有，并且LLVM应该保留的唯一内容是使EAX无效。

如果你运行lli -O0 your.ll，你会得到很多冗长的代码，它们会在堆栈上执行溢出并注册负载。

顺便说一下，有一对名为mem2reg和reg2mem的传递，它们来自SSA表格的代码来回转换。具体来说，这些传递会将phi节点转换为分支，并在IR中引入显式存储和加载。

了解llvm-ir到x86_64-unknown-linux-gnu的程序集

1 个答案: