Home | History | Annotate | Download | only in priv

Lines Matching full:ccall

1817    /* --------- CCALL --------- */
1820       vassert(ty == e->Iex.CCall.retty);
1824       if (e->Iex.CCall.retty != Ity_I64 && e->Iex.CCall.retty != Ity_I32)
1831                     e->Iex.CCall.cee, e->Iex.CCall.retty, e->Iex.CCall.args );
1838       if (e->Iex.CCall.retty == Ity_I64)
2366    /* CmpNE64(ccall, 64-bit constant) (--smc-check=all optimisation).
2376       vassert(cal->Iex.CCall.retty == Ity_I64); /* else ill-typed IR */
2382                     cal->Iex.CCall.cee,
2383                     cal->Iex.CCall.retty, cal->Iex.CCall.args );