[llvm] [LLVM][Verifier] Move intrinsic signature verification to declarations (PR #204478)

Rahul Joshi via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 30 06:52:07 PDT 2026


jurahul wrote:

Its:

```
23:41:54  error: invalid LLVM IR input: intrinsic argument 0 type (overload type 0) expected any pointer type, but got i64
23:41:54  declare void @llvm.lifetime.start.i64(i64)
23:41:54  intrinsic argument 0 type (overload type 0) expected any pointer type, but got i64
23:41:54  declare void @llvm.lifetime.end.i64(i64)
23:41:54  
23:41:54  1 error generated.
```

These invalid lifetime intrinsics were created by Autoupgrade due to a bug that was fixed with https://github.com/llvm/llvm-project/pull/204601

One idea that @jayfoad had suggested is to cleanup unused intrinsics in the bitcode reader. Other is to specifically handle these two. @cofibrant how can I get the bitcode file that's failing to test any fix? Additionally, what's the urgency of fixing this? 

https://github.com/llvm/llvm-project/pull/204478


More information about the llvm-commits mailing list