void test_vtbx2u8 (void) { uint8x8_t out_uint8x8_t; uint8x8_t arg0_uint8x8_t; uint8x8x2_t arg1_uint8x8x2_t; uint8x8_t arg2_uint8x8_t; out_uint8x8_t = vtbx2_u8 (arg0_uint8x8_t, arg1_uint8x8x2_t, arg2_uint8x8_t); }
uint8x8_t tb_testu8_2 (uint8x8_t r, uint8x8x2_t tab, uint8x8_t idx) { return vtbx2_u8 (r, tab, idx); }
uint8x8_t test_vtbx2_u8(uint8x8_t a, uint8x8x2_t b, uint8x8_t c) { // CHECK: test_vtbx2_u8 return vtbx2_u8(a, b, c); // CHECK: tbx {{v[0-9]+}}.8b, {{{v[0-9]+}}.16b}, {{v[0-9]+}}.8b }