inline int32x2x4_t vld4(const s32 * ptr) { return vld4_s32(ptr); }
void test_vld4s32 (void) { int32x2x4_t out_int32x2x4_t; out_int32x2x4_t = vld4_s32 (0); }