void test_vmins32 (void) { int32x2_t out_int32x2_t; int32x2_t arg0_int32x2_t; int32x2_t arg1_int32x2_t; out_int32x2_t = vmin_s32 (arg0_int32x2_t, arg1_int32x2_t); }
inline int32x2_t vmin(const int32x2_t & v0, const int32x2_t & v1) { return vmin_s32(v0, v1); }
int32x2_t test_vmin_s32 (int32x2_t __a, int32x2_t __b) { return vmin_s32(__a, __b); }