uint32x1_t test_vqmovnd_u64 (uint64_t a) { return vqmovnd_u64 (a); }
// CHECK: test_vqmovnd_u64 uint32_t test_vqmovnd_u64(uint64_t a) { return vqmovnd_u64(a); // CHECK: uqxtn {{s[0-9]+}}, {{d[0-9]+}} }