Home | History | Annotate | Download | only in priv

Lines Matching refs:CCall

1460    /* --------- CCALL --------- */
1463       vassert(ty == e->Iex.CCall.retty);
1468       if (e->Iex.CCall.retty != Ity_I32)
1475                     e->Iex.CCall.cee, e->Iex.CCall.retty, e->Iex.CCall.args );
1984    /* CmpNE32(ccall, 32-bit constant) (--smc-check=all optimisation).
1993       vassert(cal->Iex.CCall.retty == Ity_I32); /* else ill-typed IR */
1999                     cal->Iex.CCall.cee,
2000                     cal->Iex.CCall.retty, cal->Iex.CCall.args );
2841    /* --------- CCALL --------- */
2850                     e->Iex.CCall.cee,
2851                     e->Iex.CCall.retty, e->Iex.CCall.args );