Lines Matching refs:Ity_F64
5984 vassert(ty == Ity_F64 || ty == Ity_I64);
6002 vassert(e->Iex.Load.ty == Ity_F64 || e->Iex.Load.ty == Ity_I64);
6119 //ZZ if (ty == Ity_F64
6366 if (tyd == Ity_F64) {
6409 //ZZ if (tyd == Ity_F64) {
6548 if (tyd == Ity_F64 && 0 == (offs & 7) && offs < (8<<12)) {
6582 //ZZ if (tyd == Ity_F64) {
6634 if (ty == Ity_F64) {
7035 case Ity_F64: