void test_vst4u32 (void)
{
  uint32_t *arg0_uint32_t;
  uint32x2x4_t arg1_uint32x2x4_t;

  vst4_u32 (arg0_uint32_t, arg1_uint32x2x4_t);
}
Beispiel #2
0
inline void vst4(u32 * ptr, const uint32x2x4_t  & v) { return vst4_u32(ptr, v); }