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; }