Home | History | Annotate | Download | only in priv

Lines Matching refs:Ity_F32

597    return IRExpr_Get( xmmGuestRegLane32offset(xmmreg,laneno), Ity_F32 );
620 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);
3661 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr)))
3686 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr))),
3800 loadLE(Ity_F32,mkexpr(addr)))),
3815 loadLE(Ity_F32,mkexpr(addr)))),
3922 loadLE(Ity_F32, mkexpr(addr))));
8349 IRTemp argL = newTemp(Ity_F32);
8350 IRTemp argR = newTemp(Ity_F32);
8359 assign( argR, loadLE(Ity_F32, mkexpr(addr)) );
8462 IRTemp f32lo = newTemp(Ity_F32);
8463 IRTemp f32hi = newTemp(Ity_F32);
8478 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
8479 assign(f32hi, loadLE(Ity_F32, binop( Iop_Add32,
8517 IRTemp f32lo = newTemp(Ity_F32);
8530 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
9731 IRTemp f32lo = newTemp(Ity_F32);
9732 IRTemp f32hi = newTemp(Ity_F32);
9743 assign( f32lo, loadLE(Ity_F32, mkexpr(addr)) );
9744 assign( f32hi, loadLE(Ity_F32,
9858 IRTemp f32lo = newTemp(Ity_F32);
9869 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
12705 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
12706 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
12724 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));