mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
Revert r236912.
Author: dblaikie Date: Fri May 8 17:47:50 2015 New Revision: 236912 URL: http://llvm.org/viewvc/llvm-project?rev=236912&view=rev Log: [opaque pointer type] Cleanup a few references to pointee types using nearby non-pointee types of the same value & cleanup a convoluted return expression while I'm here llvm-svn: 236919
This commit is contained in:
parent
2db346656e
commit
c81e79150e
@ -1503,7 +1503,7 @@ void Verifier::VerifyStatepoint(ImmutableCallSite CS) {
|
||||
const PointerType *PT = dyn_cast<PointerType>(Target->getType());
|
||||
Assert(PT && PT->getElementType()->isFunctionTy(),
|
||||
"gc.statepoint callee must be of function pointer type", &CI, Target);
|
||||
FunctionType *TargetFuncType = CS.getFunctionType();
|
||||
FunctionType *TargetFuncType = cast<FunctionType>(PT->getElementType());
|
||||
|
||||
const Value *NumCallArgsV = CS.getArgument(1);
|
||||
Assert(isa<ConstantInt>(NumCallArgsV),
|
||||
@ -3065,8 +3065,8 @@ bool Verifier::VerifyIntrinsicType(Type *Ty,
|
||||
dyn_cast<PointerType>(ThisArgVecTy->getVectorElementType());
|
||||
if (!ThisArgEltTy)
|
||||
return true;
|
||||
return ThisArgEltTy->getElementType() !=
|
||||
ReferenceType->getVectorElementType();
|
||||
return (!(ThisArgEltTy->getElementType() ==
|
||||
ReferenceType->getVectorElementType()));
|
||||
}
|
||||
}
|
||||
llvm_unreachable("unhandled");
|
||||
@ -3192,7 +3192,7 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
|
||||
Assert(AI, "llvm.gcroot parameter #1 must be an alloca.", &CI);
|
||||
Assert(isa<Constant>(CI.getArgOperand(1)),
|
||||
"llvm.gcroot parameter #2 must be a constant.", &CI);
|
||||
if (!AI->getAllocatedType()->isPointerTy()) {
|
||||
if (!AI->getType()->getElementType()->isPointerTy()) {
|
||||
Assert(!isa<ConstantPointerNull>(CI.getArgOperand(1)),
|
||||
"llvm.gcroot parameter #1 must either be a pointer alloca, "
|
||||
"or argument #2 must be a non-null constant.",
|
||||
|
Loading…
x
Reference in New Issue
Block a user