void test_vqdmull_ns32 (void)
{
int64x2_t out_int64x2_t;
int32x2_t arg0_int32x2_t;
int32_t arg1_int32_t;
out_int64x2_t = vqdmull_n_s32 (arg0_int32x2_t, arg1_int32_t);
}
int64x2_t
test_vqdmull_n_s32 (int32x2_t __a, int32_t __b)
{
return vqdmull_n_s32 (__a, __b);
}