Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
riscV
Asmexpand.ml
Find file
Blame
History
Permalink
Add __builtin_sqrt as synonymous for __builtin_fsqrt
· 77ce8ba2
Xavier Leroy
authored
Jul 27, 2020
__builtin_sqrt (no "f") is the name used by GCC and Clang.
77ce8ba2