Home | History | Annotate | Download | only in priv

Lines Matching refs:Ity_F32

6964                unop(Iop_F32toF64, loadBE(Ity_F32, mkexpr(EA))) );
6973                unop(Iop_F32toF64, loadBE(Ity_F32, mkexpr(EA))) );
7003                                   loadBE(Ity_F32, mkexpr(EA))) );
7012                   unop(Iop_F32toF64, loadBE(Ity_F32, mkexpr(EA))) );