void test_vextp64 (void)
{
poly64x1_t out_poly64x1_t;
poly64x1_t arg0_poly64x1_t;
poly64x1_t arg1_poly64x1_t;
out_poly64x1_t = vext_p64 (arg0_poly64x1_t, arg1_poly64x1_t, 0);
}
int
main (int argc, char **argv)
{
int i;
poly64x1_t in1 = {0};
poly64x1_t in2 = {1};
poly64x1_t actual = vext_p64 (in1, in2, 0);
if (actual != in1)
abort ();
return 0;
}
