Lines Matching defs:t32
5375 IRTemp t32 = newTemp(Ity_I32);
5376 assign( t32, e32 );
5381 binop(Iop_Add32, mkexpr(t32), mkU32(32768))),
5383 unop(Iop_32to16, mkexpr(t32)),
28348 IRTemp t32 = newTemp(Ity_I32);
28349 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
28351 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
28365 IRTemp t32 = newTemp(Ity_I32);
28366 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
28368 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
28382 IRTemp t32 = newTemp(Ity_I32);
28383 assign(t32, getXMMRegLane32(rE, 0));
28385 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
28399 IRTemp t32 = newTemp(Ity_I32);
28400 assign(t32, getXMMRegLane32(rE, 0));
28402 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
29096 IRTemp t32 = newTemp(Ity_I32);
29101 assign(t32, getXMMRegLane32(rE, 0));
29106 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
29109 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
29119 IRTemp t32 = newTemp(Ity_I32);
29124 assign(t32, getXMMRegLane32(rE, 0));
29129 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
29132 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
29223 IRTemp t32 = newTemp(Ity_I32);
29224 assign(t32
29226 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
29250 IRTemp t32 = newTemp(Ity_I32);
29251 assign(t32, binop(Iop_16HLto32, mkexpr(t16), mkexpr(t16)));
29253 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
29279 IRTemp t32 = newTemp(Ity_I32);
29280 assign(t32, binop(Iop_16HLto32, mkexpr(t16), mkexpr(t16)));
29282 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
29304 IRTemp t32 = newTemp(Ity_I32);
29305 assign(t32, binop(Iop_16HLto32, mkexpr(t16), mkexpr(t16)));
29307 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
