test_case (float64_t v1, float64_t v2, float64_t e1) { float64_t actual1 = vmulxd_f64 (v1, v2); if (actual1 != e1) abort (); }
// CHECK: test_vmulxd_f64 float64_t test_vmulxd_f64(float64_t a, float64_t b) { return vmulxd_f64(a, b); // CHECK: fmulx {{d[0-9]+}}, {{d[0-9]+}} }