diff options
| author | Robert Norton | 2016-01-26 15:48:06 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-26 15:48:06 +0000 |
| commit | b8f1e40445108d436ba17f547cd283dd4ae41b7d (patch) | |
| tree | 668536732a5f33ff21f52d948592342a1705c439 /language/l2_parse.ml | |
| parent | 6c2d0a94ce479444f39b6a163749a6955067c1c9 (diff) | |
mips.sail: 32-bit load linked should sign extend result.
Diffstat (limited to 'language/l2_parse.ml')
0 files changed, 0 insertions, 0 deletions