int32x1_t test_vqadds_s32 (int32x1_t a, int32x1_t b) { return vqadds_s32 (a, b); }
// CHECK: test_vqadds_s32 int32_t test_vqadds_s32(int32_t a, int32_t b) { return vqadds_s32(a, b); // CHECK: sqadd {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}} }