Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
arm
CBuiltins.ml
Find file
Blame
History
Permalink
bug 19318, add implementation of __builtin_ctz, __builtin_ctzl and __builtin_ctzll for ARM
· 2cb9e645
Michael Schmidt
authored
Jul 08, 2016
2cb9e645