void test_vld3Qs32 (void) { int32x4x3_t out_int32x4x3_t; out_int32x4x3_t = vld3q_s32 (0); }
inline int32x4x3_t vld3q(const s32 * ptr) { return vld3q_s32(ptr); }