llvm - badref 是什么意思？

Question

这条 IR 线是什么意思

define i32 <badref>() {

用于定义新函数并将其写入文件

Answer 1

通常你会得到 <badref>当 IR 格式错误时打印出来。您应该运行 verifier pass在您的模块上查看它是否可以帮助您找出确切的问题。

在这种特殊情况下，我猜您已经创建了一个新的未命名函数，但尚未将其添加到模块中 - 没有模块，它无法对全局值进行编号，因此无法命名该函数。