int32x1_t test_vqmovund_s64 (int64_t a) { return vqmovund_s64 (a); }
// CHECK: test_vqmovund_s64 int32_t test_vqmovund_s64(int64_t a) { return vqmovund_s64(a); // CHECK: sqxtun {{s[0-9]+}}, {{d[0-9]+}} }