Lines Matching refs:CCall
1019 ppIRCallee(e->Iex.CCall.cee);
1021 for (i = 0; e->Iex.CCall.args[i] != NULL; i++) {
1022 ppIRExpr(e->Iex.CCall.args[i]);
1023 if (e->Iex.CCall.args[i+1] != NULL)
1027 ppIRType(e->Iex.CCall.retty);
1470 e->Iex.CCall.cee = cee;
1471 e->Iex.CCall.retty = retty;
1472 e->Iex.CCall.args = args;
1840 return IRExpr_CCall(deepCopyIRCallee(e->Iex.CCall.cee),
1841 e->Iex.CCall.retty,
1842 deepCopyIRExprVec(e->Iex.CCall.args));
2718 return e->Iex.CCall.retty;
2802 case Iex_CCall: for (i = 0; e->Iex.CCall.args[i]; i++)
2803 if (!isIRAtom(e->Iex.CCall.args[i]))
2969 for (i = 0; expr->Iex.CCall.args[i]; i++)
2970 useBeforeDef_Expr(bb,stmt,expr->Iex.CCall.args[i],def_counts);
3210 if (!saneIRCallee(expr->Iex.CCall.cee))
3211 sanityCheckFail(bb,stmt,"Iex.CCall.cee: bad IRCallee");
3212 if (expr->Iex.CCall.cee->regparms > countArgs(expr->Iex.CCall.args))
3213 sanityCheckFail(bb,stmt,"Iex.CCall.cee: #regparms > #args");
3214 for (i = 0; expr->Iex.CCall.args[i]; i++) {
3216 sanityCheckFail(bb,stmt,"Iex.CCall: > 32 args");
3217 tcExpr(bb,stmt, expr->Iex.CCall.args[i], gWordTy);
3219 if (expr->Iex.CCall.retty == Ity_I1)
3220 sanityCheckFail(bb,stmt,"Iex.CCall.retty: cannot return :: Ity_I1");
3221 for (i = 0; expr->Iex.CCall.args[i]; i++)
3222 if (typeOfIRExpr(tyenv, expr->Iex.CCall.args[i]) == Ity_I1)
3223 sanityCheckFail(bb,stmt,"Iex.CCall.arg: arg :: Ity_I1");
