llvm - 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
}

据我所知，phiover的唯一优势select是phi支持2个以上的分支，而select只支持2个分支。除了这种情况，还有什么phi比这更好的情况select吗？

Answer 1

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

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