Check that the second parameter of init_trampoline

can be resolved to a function.  This is required
for codegen and used by instcombine.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42469 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Duncan Sands 2007-09-29 16:25:54 +00:00
parent 078f5e1875
commit f51edadfe8

View File

@ -1120,6 +1120,10 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
"Call to llvm.gcread must be with type '%ty* (%ty2*, %ty**).'", "Call to llvm.gcread must be with type '%ty* (%ty2*, %ty**).'",
&CI); &CI);
break; break;
case Intrinsic::init_trampoline:
Assert1(isa<Function>(IntrinsicInst::StripPointerCasts(CI.getOperand(2))),
"llvm.init_trampoline parameter #2 must resolve to a function.",
&CI);
} }
} }