badref是什么意思？

Question

该IR线是什么意思

define i32 <badref>() {

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

Answer 1

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

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