LLVM IR 中的“select”和“phi”有什么区别？

Question

比如我有一段C代码：

void foo(int x) {
    int y;
    if (x > 0) {
        y = 1;
    } else {
        y = 2;
    }
    // do something with y
}

为了简化 LLVM IR 级别的代码（其中 y 可以放在寄存器而不是堆栈中），我可以使用 select:

define void @foo(i32 %x) {
    %result = icmp sgt i32 %x, 0
    %y = select i1 %result, i32 1, i32 2
    ; do something with %y
}

但是，如果我使用phi，代码会变得更长：

define void @foo(i32 %x) {
    %result = icmp sgt i32 %x, 0
    br i1 %result, label %btrue, label %bfalse
btrue:
    br label %end
bfalse:
    br label %end
end:
    %y = phi i32 [1, %btrue], [2, %bfalse]
    ; do something with %y
    ret void
}

据我所知，phi相对于select的唯一优势是phi支持2个以上的分支，而select只支持2个分支。除了这种情况，有没有其他情况phi比select好？

Answer 1

select的操作数只有Value，而phi的操作数是一对Value和BasicBlock。

另一个区别是phi可以翻转函数的控制流，而select只允许根据布尔值在两个值之间进行选择。粗略地说，select对应的是?:三元运算符，phi对应的是Cswitch语句，有很多情况。

LLVM IR 中的“select”和“phi”有什么区别？

What is the difference between `select` and `phi` in LLVM IR?

llvm

ssa

llvm-ir