void test_vtbx4p8 (void) { poly8x8_t out_poly8x8_t; poly8x8_t arg0_poly8x8_t; poly8x8x4_t arg1_poly8x8x4_t; uint8x8_t arg2_uint8x8_t; out_poly8x8_t = vtbx4_p8 (arg0_poly8x8_t, arg1_poly8x8x4_t, arg2_uint8x8_t); }
poly8x8_t tb_testp8_4 (poly8x8_t r, poly8x8x4_t tab, uint8x8_t idx) { return vtbx4_p8 (r, tab, idx); }
poly8x8_t test_vtbx4_p8(poly8x8_t a, poly8x8x4_t b, uint8x8_t c) { // CHECK: test_vtbx4_p8 return vtbx4_p8(a, b, c); // CHECK: tbx {{v[0-9]+}}.8b, {{{v[0-9]+}}.16b, {{v[0-9]+}}.16b}, {{v[0-9]+}}.8b }