void test_vmov_nu32 (void) { uint32x2_t out_uint32x2_t; uint32_t arg0_uint32_t; out_uint32x2_t = vmov_n_u32 (arg0_uint32_t); }
uint32x2_t test_vmov_n_u32(uint32_t v1) { // CHECK: test_vmov_n_u32 return vmov_n_u32(v1); // CHECK: dup {{v[0-9]+}}.2s, {{w[0-9]+}} }