Searched refs:srcF32 (Results 1 – 1 of 1) sorted by relevance
15876 IRTemp srcF32 = newTemp(Ity_F32); in decode_CP10_CP11_instruction() local15877 assign(srcF32, getFReg(d)); in decode_CP10_CP11_instruction()15880 rm, unop(Iop_F32toF64, mkexpr(srcF32)), in decode_CP10_CP11_instruction()