poly128_t test_vmull_high_p64(poly64x2_t a, poly64x2_t b) { // CHECK-LABEL: test_vmull_high_p64 return vmull_high_p64(a, b); // CHECK: pmull2 {{v[0-9]+}}.1q, {{v[0-9]+}}.2d, {{v[0-9]+}}.2d }
poly128_t test_vmull_high_p64 (poly64x2_t a, poly64x2_t b) { return vmull_high_p64 (a, b); }