void test_vst3f32 (void) { float32_t *arg0_float32_t; float32x2x3_t arg1_float32x2x3_t; vst3_f32 (arg0_float32_t, arg1_float32x2x3_t); }
inline void vst3(f32 * ptr, const float32x2x3_t & v) { return vst3_f32(ptr, v); }
void test_vst3f32 (void) { float32_t *arg0_float32_t; float32x2x3_t arg1_float32x2x3_t; vst3_f32 (arg0_float32_t, arg1_float32x2x3_t); }
inline void vst3(f32 * ptr, const float32x2x3_t & v) { return vst3_f32(ptr, v); }