void test_vtbl2s8 (void) { int8x8_t out_int8x8_t; int8x8x2_t arg0_int8x8x2_t; int8x8_t arg1_int8x8_t; out_int8x8_t = vtbl2_s8 (arg0_int8x8x2_t, arg1_int8x8_t); }
int8x8_t tbl_tests8_2 (int8x8x2_t tab, int8x8_t idx) { return vtbl2_s8 (tab, idx); }
int8x8_t test_vtbl2_s8(int8x8x2_t a, int8x8_t b) { // CHECK: test_vtbl2_s8 return vtbl2_s8(a, b); // CHECK: tbl {{v[0-9]+}}.8b, {{{v[0-9]+}}.16b}, {{v[0-9]+}}.8b }