Lines Matching refs:Ity_F32
1481 return IRExpr_Get( xmmGuestRegLane32offset(xmmreg,laneno), Ity_F32 ); in getXMMRegLane32F()
1509 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32); in putXMMRegLane32F()
1565 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32); in putYMMRegLane32F()
5223 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr))) in fp_do_op_mem_ST_0()
5248 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr))), in fp_do_oprev_mem_ST_0()
5381 loadLE(Ity_F32,mkexpr(addr)))), in dis_FPU()
5399 loadLE(Ity_F32,mkexpr(addr)))), in dis_FPU()
5508 loadLE(Ity_F32, mkexpr(addr)))); in dis_FPU()
10006 IRTemp argL = newTemp(Ity_F32); in dis_COMISS()
10007 IRTemp argR = newTemp(Ity_F32); in dis_COMISS()
10020 assign( argR, loadLE(Ity_F32, mkexpr(addr)) ); in dis_COMISS()
10283 IRTemp f32lo = newTemp(Ity_F32); in dis_CVTxSS2SI()
10295 assign(f32lo, loadLE(Ity_F32, mkexpr(addr))); in dis_CVTxSS2SI()
10332 IRTemp f32lo = newTemp(Ity_F32); in dis_CVTPS2PD_128()
10333 IRTemp f32hi = newTemp(Ity_F32); in dis_CVTPS2PD_128()
10345 assign( f32lo, loadLE(Ity_F32, mkexpr(addr)) ); in dis_CVTPS2PD_128()
10346 assign( f32hi, loadLE(Ity_F32, in dis_CVTPS2PD_128()
10367 IRTemp f32_0 = newTemp(Ity_F32); in dis_CVTPS2PD_256()
10368 IRTemp f32_1 = newTemp(Ity_F32); in dis_CVTPS2PD_256()
10369 IRTemp f32_2 = newTemp(Ity_F32); in dis_CVTPS2PD_256()
10370 IRTemp f32_3 = newTemp(Ity_F32); in dis_CVTPS2PD_256()
10383 assign( f32_0, loadLE(Ity_F32, mkexpr(addr)) ); in dis_CVTPS2PD_256()
10384 assign( f32_1, loadLE(Ity_F32, in dis_CVTPS2PD_256()
10386 assign( f32_2, loadLE(Ity_F32, in dis_CVTPS2PD_256()
10388 assign( f32_3, loadLE(Ity_F32, in dis_CVTPS2PD_256()
12466 IRTemp f32lo = newTemp(Ity_F32); in dis_ESC_0F__SSE2()
12467 IRTemp f32hi = newTemp(Ity_F32); in dis_ESC_0F__SSE2()
12482 assign(f32lo, loadLE(Ity_F32, mkexpr(addr))); in dis_ESC_0F__SSE2()
12483 assign(f32hi, loadLE(Ity_F32, binop( Iop_Add64, in dis_ESC_0F__SSE2()
12823 IRTemp f32lo = newTemp(Ity_F32); in dis_ESC_0F__SSE2()
12833 assign(f32lo, loadLE(Ity_F32, mkexpr(addr))); in dis_ESC_0F__SSE2()
18677 IRTemp src0 = newTemp(Ity_F32); in dis_ESC_0F3A__SSE4()
18678 IRTemp src1 = newTemp(Ity_F32); in dis_ESC_0F3A__SSE4()
18679 IRTemp src2 = newTemp(Ity_F32); in dis_ESC_0F3A__SSE4()
18680 IRTemp src3 = newTemp(Ity_F32); in dis_ESC_0F3A__SSE4()
18681 IRTemp res0 = newTemp(Ity_F32); in dis_ESC_0F3A__SSE4()
18682 IRTemp res1 = newTemp(Ity_F32); in dis_ESC_0F3A__SSE4()
18683 IRTemp res2 = newTemp(Ity_F32); in dis_ESC_0F3A__SSE4()
18684 IRTemp res3 = newTemp(Ity_F32); in dis_ESC_0F3A__SSE4()
18708 assign( src0, loadLE(Ity_F32, in dis_ESC_0F3A__SSE4()
18710 assign( src1, loadLE(Ity_F32, in dis_ESC_0F3A__SSE4()
18712 assign( src2, loadLE(Ity_F32, in dis_ESC_0F3A__SSE4()
18714 assign( src3, loadLE(Ity_F32, in dis_ESC_0F3A__SSE4()
18805 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32); in dis_ESC_0F3A__SSE4()
18806 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32); in dis_ESC_0F3A__SSE4()
18824 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) )); in dis_ESC_0F3A__SSE4()
24705 IRTemp f32lo = newTemp(Ity_F32); in dis_ESC_0F__VEX()
24714 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)) ); in dis_ESC_0F__VEX()
27072 IRType ty = getRexW(pfx) ? Ity_F64 : Ity_F32; in dis_FMA()
27200 } else if (ty == Ity_F32) { in dis_FMA()
30183 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32); in dis_ESC_0F3A__VEX()
30184 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32); in dis_ESC_0F3A__VEX()
30199 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) )); in dis_ESC_0F3A__VEX()