Home | History | Annotate | Download | only in priv

Lines Matching refs:Ity_F32

594    return IRExpr_Get( xmmGuestRegLane32offset(xmmreg,laneno), Ity_F32 );
617 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);
3748 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr)))
3773 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr))),
3887 loadLE(Ity_F32,mkexpr(addr)))),
3902 loadLE(Ity_F32,mkexpr(addr)))),
4009 loadLE(Ity_F32, mkexpr(addr))));
8527 IRTemp argL = newTemp(Ity_F32);
8528 IRTemp argR = newTemp(Ity_F32);
8537 assign( argR, loadLE(Ity_F32, mkexpr(addr)) );
8640 IRTemp f32lo = newTemp(Ity_F32);
8641 IRTemp f32hi = newTemp(Ity_F32);
8656 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
8657 assign(f32hi, loadLE(Ity_F32, binop( Iop_Add32,
8695 IRTemp f32lo = newTemp(Ity_F32);
8708 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
9915 IRTemp f32lo = newTemp(Ity_F32);
9916 IRTemp f32hi = newTemp(Ity_F32);
9927 assign( f32lo, loadLE(Ity_F32, mkexpr(addr)) );
9928 assign( f32hi, loadLE(Ity_F32,
10042 IRTemp f32lo = newTemp(Ity_F32);
10053 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
12891 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
12892 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
12910 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));