Searched refs:srcF64 (Results 1 – 1 of 1) sorted by relevance
15854 IRTemp srcF64 = newTemp(Ity_F64); in decode_CP10_CP11_instruction() local15855 assign(srcF64, getDReg(d)); in decode_CP10_CP11_instruction()15858 rm, mkexpr(srcF64), in decode_CP10_CP11_instruction()