uint32x1_t test_vqsubs_u32 (uint32x1_t a, uint32x1_t b) { return vqsubs_u32 (a, b); }
// CHECK: test_vqsubs_u32 uint32_t test_vqsubs_u32(uint32_t a, uint32_t b) { return vqsubs_u32(a, b); // CHECK: uqsub {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}} }