void test_vst3Qs16 (void) { int16_t *arg0_int16_t; int16x8x3_t arg1_int16x8x3_t; vst3q_s16 (arg0_int16_t, arg1_int16x8x3_t); }
inline void vst3q(s16 * ptr, const int16x8x3_t & v) { return vst3q_s16(ptr, v); }