RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
Code Issues Projects Releases Wiki Activity

Make wrong preallocated arg count verifier error clearer

Browse Source 
Reviewers: rnk

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D79128
This commit is contained in:
Arthur Eubanks 2020-04-29 13:50:19 -07:00
parent 7cb813a632
commit ef49e838aa
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/IR/Verifier.cpp
View File

@ -4507,8 +4507,9 @@ void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &Call) {
} }
Assert(NumArgs->equalsInt(NumPreallocatedArgs), Assert(NumArgs->equalsInt(NumPreallocatedArgs),
"llvm.call.preallocated.setup arg size must be equal to number " "llvm.call.preallocated.setup arg size must be equal to number "
"of arguments " "of preallocated arguments "
"at call site"); "at call site",
Call, *UseCall);
// getOperandBundle() cannot be called if more than one of the operand // getOperandBundle() cannot be called if more than one of the operand
// bundle exists. There is already a check elsewhere for this, so skip // bundle exists. There is already a check elsewhere for this, so skip
// here if we see more than one. // here if we see more than one.

2
test/Verifier/preallocated-invalid.ll
View File

@ -98,7 +98,7 @@ define void @preallocated_require_bundle() {
ret void ret void
} }
; CHECK: arg size must be equal to number of arguments ; CHECK: arg size must be equal to number of preallocated arguments
define void @preallocated_num_args() { define void @preallocated_num_args() {
%cs = call token @llvm.call.preallocated.setup(i32 3) %cs = call token @llvm.call.preallocated.setup(i32 3)
%x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32) %x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)