void test_vqdmlsls32 (void) { int64x2_t out_int64x2_t; int64x2_t arg0_int64x2_t; int32x2_t arg1_int32x2_t; int32x2_t arg2_int32x2_t; out_int64x2_t = vqdmlsl_s32 (arg0_int64x2_t, arg1_int32x2_t, arg2_int32x2_t); }
int64x2_t test_vqdmlsl_s32 (int64x2_t __a, int32x2_t __b, int32x2_t __c) { return vqdmlsl_s32 (__a, __b, __c); }