void test_vtbl3u8 (void)
{
uint8x8_t out_uint8x8_t;
uint8x8x3_t arg0_uint8x8x3_t;
uint8x8_t arg1_uint8x8_t;
out_uint8x8_t = vtbl3_u8 (arg0_uint8x8x3_t, arg1_uint8x8_t);
}
uint8x8_t
tbl_testu8_3 (uint8x8x3_t tab, uint8x8_t idx)
{
return vtbl3_u8 (tab, idx);
}
uint8x8_t test_vtbl3_u8(uint8x8x3_t a, uint8x8_t b) {
// CHECK: test_vtbl3_u8
return vtbl3_u8(a, b);
// CHECK: tbl {{v[0-9]+}}.8b, {{{v[0-9]+}}.16b, {{v[0-9]+}}.16b}, {{v[0-9]+}}.8b
}