[llvm] IR/Verifier: Do not allow kernel to kernel calls. (PR #144445)

Shilei Tian via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 23 08:03:47 PDT 2025


================
@@ -0,0 +1,9 @@
+; RUN: not llvm-as %s -disable-output 2>&1 | FileCheck %s
+
+define amdgpu_kernel void @kernel(ptr addrspace(1) %out, i32 %n) {
+entry:
+; CHECK: calling convention does not permit calls
+; CHECK-NEXT: call void @kernel(ptr addrspace(1) %out, i32 %n)
+  call void @kernel(ptr addrspace(1) %out, i32 %n)
----------------
shiltian wrote:

> The calling convention is always known at the callsite and is absolute.

That's why I said this IR is ill-formed in the first place.

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


More information about the llvm-commits mailing list