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

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 18 21:37:22 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)
----------------
arsenm wrote:

No it doesn't. This is still a UB call that can be treated as a no-op

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


More information about the llvm-commits mailing list