void test_vmov_nf32 (void) { float32x2_t out_float32x2_t; float32_t arg0_float32_t; out_float32x2_t = vmov_n_f32 (arg0_float32_t); }
float32x2_t test_vmov_n_f32(float32_t v1) { // CHECK: test_vmov_n_f32 return vmov_n_f32(v1); // CHECK: dup {{v[0-9]+}}.2s, {{v[0-9]+}}.s[0] }