forked from OSchip/llvm-project
[opaque pointer type] Query the GEP for its source element type directly rather than finding it through the pointer type of the first operand in the Verifier
llvm-svn: 235235
This commit is contained in:
parent
09e3c8f766
commit
cc2cd581cf
|
@ -2451,8 +2451,7 @@ void Verifier::visitGetElementPtrInst(GetElementPtrInst &GEP) {
|
|||
|
||||
Assert(isa<PointerType>(TargetTy),
|
||||
"GEP base pointer is not a vector or a vector of pointers", &GEP);
|
||||
Assert(cast<PointerType>(TargetTy)->getElementType()->isSized(),
|
||||
"GEP into unsized type!", &GEP);
|
||||
Assert(GEP.getSourceElementType()->isSized(), "GEP into unsized type!", &GEP);
|
||||
Assert(GEP.getPointerOperandType()->isVectorTy() ==
|
||||
GEP.getType()->isVectorTy(),
|
||||
"Vector GEP must return a vector value", &GEP);
|
||||
|
|
Loading…
Reference in New Issue