Lines Matching full:ccall
1102 ppIRCallee(e->Iex.CCall.cee);
1104 for (i = 0; e->Iex.CCall.args[i] != NULL; i++) {
1105 ppIRExpr(e->Iex.CCall.args[i]);
1106 if (e->Iex.CCall.args[i+1] != NULL)
1110 ppIRType(e->Iex.CCall.retty);
1575 e->Iex.CCall.cee = cee;
1576 e->Iex.CCall.retty = retty;
1577 e->Iex.CCall.args = args;
1964 return IRExpr_CCall(deepCopyIRCallee(e->Iex.CCall.cee),
1965 e->Iex.CCall.retty,
1966 deepCopyIRExprVec(e->Iex.CCall.args));
2971 return e->Iex.CCall.retty;
3062 case Iex_CCall: for (i = 0; e->Iex.CCall.args[i]; i++)
3063 if (!isIRAtom(e->Iex.CCall.args[i]))
3233 for (i = 0; expr->Iex.CCall.args[i]; i++)
3234 useBeforeDef_Expr(bb,stmt,expr->Iex.CCall.args[i],def_counts);
3478 if (!saneIRCallee(expr->Iex.CCall.cee))
3479 sanityCheckFail(bb,stmt,"Iex.CCall.cee: bad IRCallee");
3480 if (expr->Iex.CCall.cee->regparms > countArgs(expr->Iex.CCall.args))
3481 sanityCheckFail(bb,stmt,"Iex.CCall.cee: #regparms > #args");
3482 for (i = 0; expr->Iex.CCall.args[i]; i++) {
3484 sanityCheckFail(bb,stmt,"Iex.CCall: > 32 args");
3485 tcExpr(bb,stmt, expr->Iex.CCall.args[i], gWordTy);
3487 if (expr->Iex.CCall.retty == Ity_I1)
3488 sanityCheckFail(bb,stmt,"Iex.CCall.retty: cannot return :: Ity_I1");
3489 for (i = 0; expr->Iex.CCall.args[i]; i++)
3490 if (typeOfIRExpr(tyenv, expr->Iex.CCall.args[i]) == Ity_I1)
3491 sanityCheckFail(bb,stmt,"Iex.CCall.arg: arg :: Ity_I1");
