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
}

据我所知 phi的唯一优势在 select是 phi支持超过 2 个分支，同时 select只支持 2 个分支。除了这种情况，还有没有其他情况 phi优于 select ?

Answer 1

select 的操作数是 Value仅 s，而 phi操作数是成对的 Value和 BasicBlock .
另一个区别是 phi可以转一个函数的控制流，而select只允许根据 bool 值在两个值之间进行选择。粗略地说，select对应于 ?:三元运算符，和 phi对应 C switch很多情况下的声明。