diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-26 19:30:24 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-26 19:30:24 +0200 |
commit | ae3ff874f99fcde33901ac13f4ee9ea23aa984e5 (patch) | |
tree | 1e05ad24d293f66002436fab12ce1ec097337442 /test/regression/Results/builtins-riscV | |
parent | bfb8a3c330ae3f7cdaa64fd668a65cd102bbe749 (diff) | |
download | compcert-ae3ff874f99fcde33901ac13f4ee9ea23aa984e5.tar.gz compcert-ae3ff874f99fcde33901ac13f4ee9ea23aa984e5.zip |
riscV/Machregs: no printable name was associated to register X31
Diffstat (limited to 'test/regression/Results/builtins-riscV')
0 files changed, 0 insertions, 0 deletions