Home | History | Annotate | Download | only in priv

Lines Matching refs:Ity_F32

6731                unop(Iop_F32toF64, loadBE(Ity_F32, mkexpr(EA))) );
6740                unop(Iop_F32toF64, loadBE(Ity_F32, mkexpr(EA))) );
6770                                   loadBE(Ity_F32, mkexpr(EA))) );
6779                   unop(Iop_F32toF64, loadBE(Ity_F32, mkexpr(EA))) );