[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