Searched defs:scaledF64 (Results 1 – 1 of 1) sorted by relevance
15856 IRTemp scaledF64 = newTemp(Ity_F64); in decode_CP10_CP11_instruction() local15878 IRTemp scaledF64 = newTemp(Ity_F64); in decode_CP10_CP11_instruction() local