Searched refs:ARMdval (Results 1 – 3 of 3) sorted by relevance
1135 ARMdval val = VFP_dval (srcN) * VFP_dval (srcM); in handle_VFP_op()1181 ARMdval product = VFP_dval (srcN) * VFP_dval (srcM); in handle_VFP_op()1219 ARMdval product = VFP_dval (srcN) * VFP_dval (srcM); in handle_VFP_op()1304 ARMdval res = VFP_dval (srcN) / VFP_dval (srcM); in handle_VFP_op()1351 ARMdval src = VFP_dval (srcM); in handle_VFP_op()1404 ARMdval res = VFP_dval (dest); in handle_VFP_op()1408 ARMdval src = VFP_dval (srcM); in handle_VFP_op()
55 typedef double ARMdval; /* FIXME: Must be a 64-bit floating point type. */ typedef64 ARMdval dval;
443 * armdefs.h (ARMdval, ARMfval): New types.