void test_vdup_laneu32 (void) { uint32x2_t out_uint32x2_t; uint32x2_t arg0_uint32x2_t; out_uint32x2_t = vdup_lane_u32 (arg0_uint32x2_t, 1); }
uint32x2_t test_vdup_lane_u32(uint32x2_t v1) { // CHECK: test_vdup_lane_u32 return vdup_lane_u32(v1, 1); // CHECK: dup {{v[0-9]+}}.2s, {{v[0-9]+}}.s[1] }