int32x1_t test_vqmovnd_s64 (int64_t a) { return vqmovnd_s64 (a); }
// CHECK: test_vqmovnd_s64 int32_t test_vqmovnd_s64(int64_t a) { return vqmovnd_s64(a); // CHECK: sqxtn {{s[0-9]+}}, {{d[0-9]+}} }