void test_vdupQ_lanes32 (void) { int32x4_t out_int32x4_t; int32x2_t arg0_int32x2_t; out_int32x4_t = vdupq_lane_s32 (arg0_int32x2_t, 1); }
int32x4_t test_vdupq_lane_s32(int32x2_t v1) { // CHECK: test_vdupq_lane_s32 return vdupq_lane_s32(v1, 1); // CHECK: dup {{v[0-9]+}}.4s, {{v[0-9]+}}.s[1] }
wrap_vdupq_lane_s32_1 (int32x2_t a) { return vdupq_lane_s32 (a, 1); }
wrap_vdupq_lane_s32_0 (int32x2_t a) { return vdupq_lane_s32 (a, 0); }