Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
riscV
Asm.v
Find file
Blame
History
Permalink
Register X1 is destroyed by some built-in functions
· 39710f78
Xavier Leroy
authored
May 13, 2021
E.g. __builtin_bswap. Update Asm modeling of builtins accordingly.
39710f78