uint8x1_t test_vqmovnh_u16 (uint16x1_t a) { return vqmovnh_u16 (a); }
// CHECK: test_vqmovnh_u16 uint8_t test_vqmovnh_u16(uint16_t a) { return vqmovnh_u16(a); // CHECK: uqxtn.8b {{v[0-9]+}}, {{v[0-9]+}} }