parent
db42c8d23d
commit
ab62196c9d
|
@ -1581,7 +1581,7 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
|
||||||
|
|
||||||
// If the intrinsic takes MDNode arguments, verify that they are either global
|
// If the intrinsic takes MDNode arguments, verify that they are either global
|
||||||
// or are local to *this* function.
|
// or are local to *this* function.
|
||||||
for (unsigned i = 1, e = CI.getNumOperands(); i != e; ++i)
|
for (unsigned i = 0, e = CI.getNumOperands(); i != e; ++i)
|
||||||
if (MDNode *MD = dyn_cast<MDNode>(CI.getOperand(i))) {
|
if (MDNode *MD = dyn_cast<MDNode>(CI.getOperand(i))) {
|
||||||
if (!MD->isFunctionLocal()) continue;
|
if (!MD->isFunctionLocal()) continue;
|
||||||
SmallPtrSet<MDNode *, 32> Visited;
|
SmallPtrSet<MDNode *, 32> Visited;
|
||||||
|
@ -1591,17 +1591,12 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
|
||||||
switch (ID) {
|
switch (ID) {
|
||||||
default:
|
default:
|
||||||
break;
|
break;
|
||||||
case Intrinsic::dbg_declare: { // llvm.dbg.declare
|
case Intrinsic::dbg_declare: // llvm.dbg.declare
|
||||||
Assert1(CI.getOperand(1) && isa<MDNode>(CI.getOperand(1)),
|
if (MDNode *MD = dyn_cast<MDNode>(CI.getOperand(1)))
|
||||||
"invalid llvm.dbg.declare intrinsic call", &CI);
|
|
||||||
MDNode *MD = cast<MDNode>(CI.getOperand(1));
|
|
||||||
Assert1(MD->getNumOperands() == 1,
|
|
||||||
"invalid llvm.dbg.declare intrinsic call", &CI);
|
|
||||||
if (MD->getOperand(0))
|
|
||||||
if (Constant *C = dyn_cast<Constant>(MD->getOperand(0)))
|
if (Constant *C = dyn_cast<Constant>(MD->getOperand(0)))
|
||||||
Assert1(C && !isa<ConstantPointerNull>(C),
|
Assert1(C && !isa<ConstantPointerNull>(C),
|
||||||
"invalid llvm.dbg.declare intrinsic call", &CI);
|
"invalid llvm.dbg.declare intrinsic call", &CI);
|
||||||
} break;
|
break;
|
||||||
case Intrinsic::memcpy:
|
case Intrinsic::memcpy:
|
||||||
case Intrinsic::memmove:
|
case Intrinsic::memmove:
|
||||||
case Intrinsic::memset:
|
case Intrinsic::memset:
|
||||||
|
|
Loading…
Reference in New Issue