mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 19:12:56 +02:00
Make the Verifier more strict about gc.statepoints
The recently added documentation for statepoints claimed that we checked the parameters of the various intrinsics for validity. This patch adds the code to actually do so. I also removed a couple of redundant checks for conditions which are checked elsewhere in the Verifier and simplified the logic using the helper functions from Statepoint.h. llvm-svn: 223259
This commit is contained in:
Philip Reames
parent
67ea953093
commit
00e65093bc
@ -68,6 +68,7 @@
|
||||
#include "llvm/IR/Metadata.h"
|
||||
#include "llvm/IR/Module.h"
|
||||
#include "llvm/IR/PassManager.h"
|
||||
#include "llvm/IR/Statepoint.h"
|
||||
#include "llvm/Pass.h"
|
||||
#include "llvm/Support/CommandLine.h"
|
||||
#include "llvm/Support/Debug.h"
|
||||
@ -2561,28 +2562,60 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
|
||||
break;
|
||||
|
||||
case Intrinsic::experimental_gc_statepoint: {
|
||||
// target, # call args = 0, # deopt args = 0, #gc args = 0 -> 4 args
|
||||
assert(CI.getNumArgOperands() >= 4 &&
|
||||
"not enough arguments to statepoint");
|
||||
for (User* U : CI.users()) {
|
||||
const CallInst* GCRelocCall = cast<const CallInst>(U);
|
||||
const Function *GCRelocFn = GCRelocCall->getCalledFunction();
|
||||
Assert1(GCRelocFn && GCRelocFn->isDeclaration() &&
|
||||
(GCRelocFn->getIntrinsicID() == Intrinsic::experimental_gc_result_int ||
|
||||
GCRelocFn->getIntrinsicID() == Intrinsic::experimental_gc_result_float ||
|
||||
GCRelocFn->getIntrinsicID() == Intrinsic::experimental_gc_result_ptr ||
|
||||
GCRelocFn->getIntrinsicID() == Intrinsic::experimental_gc_relocate),
|
||||
"gc.result or gc.relocate are the only value uses of statepoint", &CI);
|
||||
if (GCRelocFn->getIntrinsicID() == Intrinsic::experimental_gc_result_int ||
|
||||
GCRelocFn->getIntrinsicID() == Intrinsic::experimental_gc_result_float ||
|
||||
GCRelocFn->getIntrinsicID() == Intrinsic::experimental_gc_result_ptr ) {
|
||||
Assert1(GCRelocCall->getNumArgOperands() == 1, "wrong number of arguments", &CI);
|
||||
Assert2(GCRelocCall->getArgOperand(0) == &CI, "connected to wrong statepoint", &CI, GCRelocCall);
|
||||
} else if (GCRelocFn->getIntrinsicID() == Intrinsic::experimental_gc_relocate) {
|
||||
Assert1(GCRelocCall->getNumArgOperands() == 3, "wrong number of arguments", &CI);
|
||||
Assert2(GCRelocCall->getArgOperand(0) == &CI, "connected to wrong statepoint", &CI, GCRelocCall);
|
||||
} else {
|
||||
llvm_unreachable("unsupported use type - how'd we get past the assert?");
|
||||
const Value *Target = CI.getArgOperand(0);
|
||||
const PointerType *PT = dyn_cast<PointerType>(Target->getType());
|
||||
Assert2(PT && PT->getElementType()->isFunctionTy(),
|
||||
"gc.statepoint callee must be of function pointer type",
|
||||
&CI, Target);
|
||||
|
||||
const Value *NumCallArgsV = CI.getArgOperand(1);
|
||||
Assert1(isa<ConstantInt>(NumCallArgsV),
|
||||
"gc.statepoint number of arguments to underlying call "
|
||||
"must be constant integer", &CI);
|
||||
const int NumCallArgs = cast<ConstantInt>(NumCallArgsV)->getZExtValue();
|
||||
Assert1(NumCallArgs >= 0,
|
||||
"gc.statepoint number of arguments to underlying call "
|
||||
"must be positive", &CI);
|
||||
|
||||
const Value *Unused = CI.getArgOperand(2);
|
||||
Assert1(isa<ConstantInt>(Unused) &&
|
||||
cast<ConstantInt>(Unused)->isNullValue(),
|
||||
"gc.statepoint parameter #3 must be zero", &CI);
|
||||
|
||||
// TODO: Verify that the types of the call parameter arguments match
|
||||
// the type of the callee.
|
||||
|
||||
const int EndCallArgsInx = 2+NumCallArgs;
|
||||
const Value *NumDeoptArgsV = CI.getArgOperand(EndCallArgsInx+1);
|
||||
Assert1(isa<ConstantInt>(NumDeoptArgsV),
|
||||
"gc.statepoint number of deoptimization arguments "
|
||||
"must be constant integer", &CI);
|
||||
const int NumDeoptArgs = cast<ConstantInt>(NumDeoptArgsV)->getZExtValue();
|
||||
Assert1(NumDeoptArgs >= 0,
|
||||
"gc.statepoint number of deoptimization arguments "
|
||||
"must be positive", &CI);
|
||||
|
||||
Assert1(4 + NumCallArgs + NumDeoptArgs <= (int)CI.getNumArgOperands(),
|
||||
"gc.statepoint too few arguments according to length fields", &CI);
|
||||
|
||||
// Check that the only uses of this gc.statepoint are gc.result or
|
||||
// gc.relocate calls which are tied to this statepoint and thus part
|
||||
// of the same statepoint sequence
|
||||
for (User *U : CI.users()) {
|
||||
const CallInst *Call = dyn_cast<const CallInst>(U);
|
||||
Assert2(Call, "illegal use of statepoint token", &CI, U);
|
||||
if (!Call) continue;
|
||||
Assert2(isGCRelocate(Call) || isGCResult(Call),
|
||||
"gc.result or gc.relocate are the only value uses"
|
||||
"of a gc.statepoint", &CI, U);
|
||||
if (isGCResult(Call)) {
|
||||
Assert2(Call->getArgOperand(0) == &CI,
|
||||
"gc.result connected to wrong gc.statepoint",
|
||||
&CI, Call);
|
||||
} else if (isGCRelocate(Call)) {
|
||||
Assert2(Call->getArgOperand(0) == &CI,
|
||||
"gc.relocate connected to wrong gc.statepoint",
|
||||
&CI, Call);
|
||||
}
|
||||
}
|
||||
|
||||
@ -2599,21 +2632,17 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
|
||||
case Intrinsic::experimental_gc_result_int:
|
||||
case Intrinsic::experimental_gc_result_float:
|
||||
case Intrinsic::experimental_gc_result_ptr: {
|
||||
Assert1(CI.getNumArgOperands() == 1, "wrong number of arguments", &CI);
|
||||
|
||||
// Are we tied to a statepoint properly?
|
||||
CallSite StatepointCS(CI.getArgOperand(0));
|
||||
const Function *StatepointFn = StatepointCS.getCalledFunction();
|
||||
Assert2(StatepointFn && StatepointFn->isDeclaration() &&
|
||||
StatepointFn->getIntrinsicID() == Intrinsic::experimental_gc_statepoint,
|
||||
"token must be from a statepoint", &CI, CI.getArgOperand(0));
|
||||
|
||||
//TODO: assert that result type matches wrapped callee
|
||||
break;
|
||||
}
|
||||
case Intrinsic::experimental_gc_relocate: {
|
||||
// Some checks to ensure gc.relocate has the correct set of
|
||||
// parameters. TODO: we can make these tests much stricter.
|
||||
Assert1(CI.getNumArgOperands() == 3, "wrong number of arguments", &CI);
|
||||
|
||||
// Are we tied to a statepoint properly?
|
||||
CallSite StatepointCS(CI.getArgOperand(0));
|
||||
const Function *StatepointFn =
|
||||
@ -2638,6 +2667,9 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
|
||||
Assert1(0 <= DerivedIndex &&
|
||||
DerivedIndex < (int)StatepointCS.arg_size(),
|
||||
"index out of bounds", &CI);
|
||||
|
||||
// TODO: assert that the result type matches the type of the
|
||||
// relocated pointer
|
||||
break;
|
||||
}
|
||||
};
|
||||
|
||||
Loading…
Reference in New Issue
Block a user