void test_vtbx1u8 (void) { uint8x8_t out_uint8x8_t; uint8x8_t arg0_uint8x8_t; uint8x8_t arg1_uint8x8_t; uint8x8_t arg2_uint8x8_t; out_uint8x8_t = vtbx1_u8 (arg0_uint8x8_t, arg1_uint8x8_t, arg2_uint8x8_t); }
uint8x8_t test_vtbx1_u8(uint8x8_t a, uint8x8_t b, uint8x8_t c) { // CHECK: test_vtbx1_u8 return vtbx1_u8(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 }
uint8x8_t tb_testu8_ (uint8x8_t r, uint8x8_t tab, uint8x8_t idx) { return vtbx1_u8 (r, tab, idx); }