Lines Matching refs:mkIRExprCCall
1515 = mkIRExprCCall(
1539 = mkIRExprCCall(
1561 = mkIRExprCCall(
2230 //.. mkIRExprCCall(
3319 mkIRExprCCall(
3334 mkIRExprCCall(
5133 assign( t64, mkIRExprCCall(
5209 mkIRExprCCall(
5268 put_C3210(mkIRExprCCall(
5377 mkIRExprCCall(
5385 mkIRExprCCall(
6633 mkIRExprCCall(
9740 assign( t64, mkIRExprCCall(
10251 assign(t1, mkIRExprCCall(
10479 mkIRExprCCall(
12125 assign( dHi, mkIRExprCCall(
12131 assign( dLo, mkIRExprCCall(
12189 assign(t5, mkIRExprCCall(
12339 assign( dHi, mkIRExprCCall(
12345 assign( dLo, mkIRExprCCall(
14221 mkIRExprCCall(Ity_I64,0, "amd64g_calculate_pclmul",
14225 mkIRExprCCall(Ity_I64,0, "amd64g_calculate_pclmul",
16060 mkIRExprCCall(Ity_I64, 0/*regparm*/, nm, fn,
