vtbl1_u8
(uint64_t)vtbl1_u8((uint8x8_t)x64[0], rol8_tab),
(uint64_t)vtbl1_u8((uint8x8_t)x64[1], rol8_tab),