diff options
| author | Robert Norton | 2016-04-19 11:59:43 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-19 12:00:13 +0100 |
| commit | 0f517f09b7708b95cb260e6c297414b0ba4c5075 (patch) | |
| tree | 9eaea6836cd7e92f0031df7fbc68b3d2004af2c7 /src/initial_check.ml | |
| parent | 7de107d34f066ebee1f978ea8a270e17cc055221 (diff) | |
use unsigned for register offset and signed for immediate offset when computing capability relative address. This is a little counter-intuitive but seems to be what is written in the spec. and passes more tests. Will consult with mroe to check logic here and possibly extract into a function for clarity.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions