diff options
| author | jofrn <jofernau@amd.com> | 2025-09-08 10:15:20 -0400 |
|---|---|---|
| committer | jofrn <jofernau@amd.com> | 2025-09-08 10:15:20 -0400 |
| commit | d2e4f3f2c4e32bc4f192271537c0eaa2c133b696 (patch) | |
| tree | 819bf8d3b365abb645fac9a784154fb4b9ac4736 /llvm/lib/IR/Verifier.cpp | |
| parent | ccd35e5b2f1438646d11c27eaa475f34681f9cbe (diff) | |
| download | llvm-users/jofrn/chain-cc.invalid-arch.zip llvm-users/jofrn/chain-cc.invalid-arch.tar.gz llvm-users/jofrn/chain-cc.invalid-arch.tar.bz2 | |
[Verifier][AMDGPU] The chain calling convention is invalid in particular situations like being on an architecture it cannot compile to.users/jofrn/chain-cc.invalid-arch
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index 1d3c379..63ae083 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -2938,10 +2938,16 @@ void Verifier::visitFunction(const Function &F) { "Calling convention parameter requires byval", &F); break; } - case CallingConv::AMDGPU_KERNEL: - case CallingConv::SPIR_KERNEL: case CallingConv::AMDGPU_CS_Chain: case CallingConv::AMDGPU_CS_ChainPreserve: + { + auto TT = M.getTargetTriple().str(); + if (TT.find("gfx1200") || TT.find("gfx942")) + Check(false, "Chain calling convention is invalid on this target", &F); + } + [[fallthrough]]; + case CallingConv::AMDGPU_KERNEL: + case CallingConv::SPIR_KERNEL: Check(F.getReturnType()->isVoidTy(), "Calling convention requires void return type", &F); [[fallthrough]]; |