diff options
| author | Robert Norton | 2018-05-01 15:33:00 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-01 15:33:00 +0100 |
| commit | 6e9c2b9d526d81fc0fc28ea3be60ba61436407f1 (patch) | |
| tree | e41046a199cd65c236dd8b79a59845b09df77f62 /src/initial_check.mli | |
| parent | 4db05909b63223083b119a9890e2adc070d9db8a (diff) | |
cheri128: remove unnecessary xor of E with 48. The zeroing of E in memory is achieved by xoring with null_cap_bits so this was only affecting register representation.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions