void test_vld3s32 (void) { int32x2x3_t out_int32x2x3_t; out_int32x2x3_t = vld3_s32 (0); }
inline int32x2x3_t vld3(const s32 * ptr) { return vld3_s32(ptr); }