void test_vst2f32 (void) { float32_t *arg0_float32_t; float32x2x2_t arg1_float32x2x2_t; vst2_f32 (arg0_float32_t, arg1_float32x2x2_t); }
inline void vst2(f32 * ptr, const float32x2x2_t & v) { return vst2_f32(ptr, v); }