Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-IntrinSec
Repository
compcert-intrinsec
riscV
Asmexpand.ml
Find file
Blame
History
Permalink
No need to process __builtin_fabs in $ARCH/Asmexpand.ml
· 465f6b41
Xavier Leroy
authored
Jul 25, 2020
__builtin_fabs has already been expanded in backend/Selection.v .
465f6b41