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);
3637 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr)))
3662 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr))),
3776 loadLE(Ity_F32,mkexpr(addr)))),
3791 loadLE(Ity_F32,mkexpr(addr)))),
3898 loadLE(Ity_F32, mkexpr(addr))));
8287 IRTemp argL = newTemp(Ity_F32);
8288 IRTemp argR = newTemp(Ity_F32);
8297 assign( argR, loadLE(Ity_F32, mkexpr(addr)) );
8400 IRTemp f32lo = newTemp(Ity_F32);
8401 IRTemp f32hi = newTemp(Ity_F32);
8416 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
8417 assign(f32hi, loadLE(Ity_F32, binop( Iop_Add32,
8455 IRTemp f32lo = newTemp(Ity_F32);
8468 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
9668 IRTemp f32lo = newTemp(Ity_F32);
9669 IRTemp f32hi = newTemp(Ity_F32);
9680 assign( f32lo, loadLE(Ity_F32, mkexpr(addr)) );
9681 assign( f32hi, loadLE(Ity_F32,
9795 IRTemp f32lo = newTemp(Ity_F32);
9806 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
12617 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
12618 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
12636 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));