diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-04-29 19:57:04 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-04-29 19:57:04 +0200 |
| commit | 38898389f48baac4a319c973d77bb6e69f98d502 (patch) | |
| tree | bbf8a50a8a1952c07aa94487e862016fdf934e81 /x86_64 | |
| parent | f2fe37ccc79649dbb622b1bf2d0d144f2e0a5768 (diff) | |
| download | compcert-kvx-38898389f48baac4a319c973d77bb6e69f98d502.tar.gz compcert-kvx-38898389f48baac4a319c973d77bb6e69f98d502.zip | |
RISC-V vararg.S: a "sw" instruction should be "sptr"
Diffstat (limited to 'x86_64')
0 files changed, 0 insertions, 0 deletions