void test_vqdmlsl_ns32 (void) { int64x2_t out_int64x2_t; int64x2_t arg0_int64x2_t; int32x2_t arg1_int32x2_t; int32_t arg2_int32_t; out_int64x2_t = vqdmlsl_n_s32 (arg0_int64x2_t, arg1_int32x2_t, arg2_int32_t); }
int64x2_t test_vqdmlsl_n_s32 (int64x2_t __a, int32x2_t __b, int32_t __c) { return vqdmlsl_n_s32 (__a, __b, __c); }