Lines Matching defs:CS
325 void VerifyCallSite(CallSite CS);
1503 void Verifier::VerifyCallSite(CallSite CS) {
1504 Instruction *I = CS.getInstruction();
1506 Assert1(CS.getCalledValue()->getType()->isPointerTy(),
1508 PointerType *FPTy = cast<PointerType>(CS.getCalledValue()->getType());
1516 Assert1(CS.arg_size() >= FTy->getNumParams(),
1519 Assert1(CS.arg_size() == FTy->getNumParams(),
1524 Assert3(CS.getArgument(i)->getType() == FTy->getParamType(i),
1526 CS.getArgument(i), FTy->getParamType(i), I);
1528 AttributeSet Attrs = CS.getAttributes();
1530 Assert1(VerifyAttributeCount(Attrs, CS.arg_size()),
1549 for (unsigned Idx = 1 + FTy->getNumParams(); Idx <= CS.arg_size(); ++Idx) {
1550 Type *Ty = CS.getArgument(Idx-1)->getType();
1573 if (CS.getCalledFunction() == 0 ||
1574 !CS.getCalledFunction()->getName().startswith("llvm.")) {