void f_vst2q_lane_u32 (uint32_t * p, uint32x4x2_t v) { /* { dg-error "lane 4 out of range 0 - 3" "" { target *-*-* } 0 } */ vst2q_lane_u32 (p, v, 4); /* { dg-error "lane -1 out of range 0 - 3" "" { target *-*-* } 0 } */ vst2q_lane_u32 (p, v, -1); return; }
void test_vst2Q_laneu32 (void) { uint32_t *arg0_uint32_t; uint32x4x2_t arg1_uint32x4x2_t; vst2q_lane_u32 (arg0_uint32_t, arg1_uint32x4x2_t, 1); }