void test_vmov_nu64 (void) { uint64x1_t out_uint64x1_t; uint64_t arg0_uint64_t; out_uint64x1_t = vmov_n_u64 (arg0_uint64_t); }
uint64x1_t test_vmov_n_u64(uint64_t v1) { // CHECK: test_vmov_n_u64 return vmov_n_u64(v1); // CHECK: fmov {{d[0-9]+}}, {{x[0-9]+}} }