Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-IntrinSec
Repository
compcert-intrinsec
aarch64
Asm.v
Find file
Blame
History
Permalink
AArch64 implementation of __builtin_ctz*
· a56e0c65
Xavier Leroy
authored
Jul 25, 2020
Using the "rbit" instruction (reverse bits).
a56e0c65