uint32x1_t
test_vqadds_u32 (uint32x1_t a, uint32x1_t b)
{
return vqadds_u32 (a, b);
}
// CHECK: test_vqadds_u32
uint32_t test_vqadds_u32(uint32_t a, uint32_t b) {
return vqadds_u32(a, b);
// CHECK: uqadd {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}}
}