int64_t test_vqdmulls_s32 (int32x1_t a, int32x1_t b) { return vqdmulls_s32 (a, b); }
// CHECK: test_vqdmulls_s32 int64_t test_vqdmulls_s32(int32_t a, int32_t b) { return vqdmulls_s32(a, b); // CHECK: sqdmull {{d[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}} }