void test_vtbx4u8 (void)
{
uint8x8_t out_uint8x8_t;
uint8x8_t arg0_uint8x8_t;
uint8x8x4_t arg1_uint8x8x4_t;
uint8x8_t arg2_uint8x8_t;
out_uint8x8_t = vtbx4_u8 (arg0_uint8x8_t, arg1_uint8x8x4_t, arg2_uint8x8_t);
}
uint8x8_t
tb_testu8_4 (uint8x8_t r, uint8x8x4_t tab, uint8x8_t idx)
{
return vtbx4_u8 (r, tab, idx);
}
uint8x8_t test_vtbx4_u8(uint8x8_t a, uint8x8x4_t b, uint8x8_t c) {
// CHECK: test_vtbx4_u8
return vtbx4_u8(a, b, c);
// CHECK: tbx {{v[0-9]+}}.8b, {{{v[0-9]+}}.16b, {{v[0-9]+}}.16b}, {{v[0-9]+}}.8b
}