uint32_t set_cc_f64(CPUS390XState *env, float64 v1, float64 v2) { return float_comp_to_cc(env, float64_compare_quiet(v1, v2, &env->fpu_status)); }
uint64_t HELPER(vfp_cmpd_a64)(float64 x, float64 y, void *fp_status) { return float_rel_to_flags(float64_compare_quiet(x, y, fp_status)); }