uint16x1_t test_vqmovns_u32 (uint32x1_t a) { return vqmovns_u32 (a); }
// CHECK: test_vqmovns_u32 uint16_t test_vqmovns_u32(uint32_t a) { return vqmovns_u32(a); // CHECK: uqxtn.4h {{v[0-9]+}}, {{v[0-9]+}} }