Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
powerpc
Asmgenproof.v
Find file
Blame
History
Permalink
PowerPC modeling of registers destroyed by pseudo-instructions
· 5e389894
Xavier Leroy
authored
Dec 06, 2020
Inlined built-in functions destroy GPR0
5e389894