void test_vcreates64 (void)
{
int64x1_t out_int64x1_t;
uint64_t arg0_uint64_t;
out_int64x1_t = vcreate_s64 (arg0_uint64_t);
}
int64x1_t test_vcreate_s64(uint64_t v1) {
// CHECK: test_vcreate_s64
return vcreate_s64(v1);
// CHECK: fmov {{d[0-9]+}}, {{x[0-9]+}}
}