test_case (float32_t v1, float32_t v2, float32_t e) { float32_t actual = vmulxs_f32 (v1, v2); if (actual != e) abort (); }
// CHECK: test_vmulxs_f32 float32_t test_vmulxs_f32(float32_t a, float32_t b) { return vmulxs_f32(a, b); // CHECK: fmulx {{s[0-9]+}}, {{s[0-9]+}} }