poly8x8_t tb_testp8_2 (poly8x8_t r, poly8x8x2_t tab, uint8x8_t idx) { return vtbx2_p8 (r, tab, idx); }
poly8x8_t test_vtbx2_p8(poly8x8_t a, poly8x8x2_t b, uint8x8_t c) { // CHECK: test_vtbx2_p8 return vtbx2_p8(a, b, c); // CHECK: tbx {{v[0-9]+}}.8b, {{{v[0-9]+}}.16b}, {{v[0-9]+}}.8b }