void test_vreinterpretQp128_u32 (void)
{
  poly128_t out_poly128_t;
  uint32x4_t arg0_uint32x4_t;

  out_poly128_t = vreinterpretq_p128_u32 (arg0_uint32x4_t);
}
// CHECK-LABEL: test_vreinterpretq_p128_u32
// CHECK: ret
poly128_t test_vreinterpretq_p128_u32(uint32x4_t a) {
  return vreinterpretq_p128_u32(a);
}