Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
riscV
TargetPrinter.ml
Find file
Blame
History
Permalink
Fix register naming for stack pointer.
· bbf922a1
Bernhard Schommer
authored
Mar 08, 2018
It should be 'esp' respectively 'rsp' for x86, 'r13' for arm and 'sp' for riscV. Bug 23176.
bbf922a1