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
}
