Lines Matching refs:z3
15633 IRTemp z3 = newTemp(Ity_I64);
15995 assign( z3, binop(Iop_Add64, mkexpr(b3),
16013 putVReg( vD_addr, mkV128from4x64U( mkexpr(z3), mkexpr(z2),
16035 assign( z3, binop(Iop_Add64, mkexpr(b3),
16053 putVReg( vD_addr, mkV128from4x64S( mkexpr(z3), mkexpr(z2),
16069 assign( z3, binop(Iop_Add64, mkexpr(b3),
16079 putVReg( vD_addr, mkV128from4x64S( mkexpr(z3), mkexpr(z2),
16341 IRTemp z3 = newTemp(Ity_I64);
16521 assign( z3, binop(Iop_Add64, mkexpr(c3),
16531 putVReg( vD_addr, mkV128from4x64U( mkexpr(z3), mkexpr(z2),
16559 assign( z3, binop(Iop_Add64, mkexpr(c3),
16569 putVReg( vD_addr, mkV128from4x64S( mkexpr(z3), mkexpr(z2),
17252 IRTemp z3 = newTemp(Ity_V128);
17268 assign( z3, binop(Iop_ShrN16x8,
17272 binop(Iop_OrV128, mkexpr(z2), mkexpr(z3))) );
17285 IRTemp z3 = newTemp(Ity_V128);
17301 assign( z3, binop(Iop_ShrN16x8,
17305 z3))) );