Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-IntrinSec
Repository
compcert-intrinsec
riscV
Asmexpand.ml
Find file
Blame
History
Permalink
RISC-V implementation of __builtin_clz* and __builtin_ctz*
· 094ac30c
Xavier Leroy
authored
Jul 25, 2020
Using binary search loops expanded at point of use.
094ac30c