int8x8_t qtb_tests8_3 (int8x8_t r, int8x16x3_t tab, uint8x8_t idx) { return vqtbx3_s8 (r, tab, idx); }
int8x8_t test_vqtbx3_s8(int8x8_t a, int8x16x3_t b, int8x8_t c) { // CHECK: test_vqtbx3_s8 return vqtbx3_s8(a, b, c); // CHECK: tbx {{v[0-9]+}}.8b, {{{v[0-9]+}}.16b, {{v[0-9]+}}.16b, {{v[0-9]+}}.16b}, {{v[0-9]+}}.8b }