void
f_vst4q_lane_f32 (float32_t * p, float32x4x4_t v)
{
  /* { dg-error "lane 4 out of range 0 - 3" "" { xfail arm*-*-* } 0 } */
  vst4q_lane_f32 (p, v, 4);
  /* { dg-error "lane -1 out of range 0 - 3" "" { xfail arm*-*-* } 0 } */
  vst4q_lane_f32 (p, v, -1);
  return;
}
void test_vst4Q_lanef32 (void)
{
  float32_t *arg0_float32_t;
  float32x4x4_t arg1_float32x4x4_t;

  vst4q_lane_f32 (arg0_float32_t, arg1_float32x4x4_t, 1);
}