LLVM no-op指令？

Question

我正在为一种有空语句的语言编写一个赋值编译器。对于像if-then-else这样的结构，如果我可以在llvm中使用no-op语句，但我没有找到任何“官方”nop，那就太方便了。我有一些想法，但理想情况下，我希望有llvm来优化这部分代码并删除指令；有什么建议吗？

Answer 1

IR中没有no-op操作码。但是您可以安全地使用任何无副作用的死指令作为替代(也就是说，如果您确实需要发出一个no-op)，因为优化器将非常容易地删除它们。例如，%nop = add i1 0, 0或%nop = alloca i1, i1 0可以工作。

Answer 2

看看这个内在的：

declare void @llvm.donothing() nounwind readnone

来自LLVM Language Reference Manual：

llvm.donothing内部函数不执行任何操作。它是仅有的两个可以用invoke指令调用的内部函数(除了llvm.experimental.patchpoint之外)之一。

Answer 3

为if条件创建标签和分支，而不是noop或优化为noop的语句。

1. 这简化了代码生成，不存在任何特殊情况。
2. 优化器会将这些转换为phi
3. 使代码的intention对开发人员来说是明确的。将来，您或其他人将不需要弄清楚为什么要插入这条额外的指令。

例如：

    %2 = icmp sgt i32 %0, %1
    br i1 %2, label %3, label %7
; <label>:3
;   ;; [instructions in block redacted for simplicity]
    br label %8
; <label>:7
    br label %8
; <label>:8
    %9 = load i32* %x, align 4 ;; continue on our merry way