Home | History | Annotate | Download | only in priv

Lines Matching refs:Ity_F32

810    vassert(ty == Ity_F32 || ty == Ity_F64);
824    vassert(ty == Ity_F32 || ty == Ity_F64);
878    IRType ty = mode64 ? Ity_F64 : Ity_F32;
885    IRTemp t0 = newTemp(Ity_F32);
886    IRTemp t1 = newTemp(Ity_F32);
906    IRType ty = mode64 ? Ity_F64 : Ity_F32;
1321    IRType tyF = mode64 ? Ity_F64 : Ity_F32;
2139       putFReg(ft, load(Ity_F32, mkexpr(t1)));
2163       putFReg(ft, load(Ity_F32, mkexpr(t1)));
2164       putFReg(ft + 1, load(Ity_F32, mkexpr(t2)));
2166       putFReg(ft + 1, load(Ity_F32, mkexpr(t1)));
2167       putFReg(ft, load(Ity_F32, mkexpr(t2)));
2235          putFReg(fd, load(Ity_F32, mkexpr(t0)));
2248          putFReg(fd, load(Ity_F32, mkexpr(t0)));
2249          putFReg(fd + 1, load(Ity_F32, mkexpr(t1)));
2251          putFReg(fd + 1, load(Ity_F32, mkexpr(t0)));
2252          putFReg(fd, load(Ity_F32, mkexpr(t1)));
2304          t1 = newTemp(Ity_F32);
2324          t1 = newTemp(Ity_F32);
2344          t1 = newTemp(Ity_F32);
2345          t2 = newTemp(Ity_F32);
2369          t1 = newTemp(Ity_F32);
2370          t2 = newTemp(Ity_F32);