void test_vtbx1s8 (void) { int8x8_t out_int8x8_t; int8x8_t arg0_int8x8_t; int8x8_t arg1_int8x8_t; int8x8_t arg2_int8x8_t; out_int8x8_t = vtbx1_s8 (arg0_int8x8_t, arg1_int8x8_t, arg2_int8x8_t); }
int8x8_t test_vtbx1_s8(int8x8_t a, int8x8_t b, int8x8_t c) { // CHECK: test_vtbx1_s8 return vtbx1_s8(a, b, c); // CHECK: movi {{v[0-9]+}}.8b, #0 // CHECK: ins {{v[0-9]+}}.d[1], {{v[0-9]+}}.d[0] // CHECK: tbl {{v[0-9]+}}.8b, {{{v[0-9]+}}.16b}, {{v[0-9]+}}.8b // CHECK: cmhs {{v[0-9]+}}.8b, {{v[0-9]+}}.8b, {{v[0-9]+}}.8b // CHECK: bsl {{v[0-9]+}}.8b, {{v[0-9]+}}.8b, {{v[0-9]+}}.8b }
int8x8_t tb_tests8_ (int8x8_t r, int8x8_t tab, int8x8_t idx) { return vtbx1_s8 (r, tab, idx); }