diff options
| author | Robert Norton | 2017-10-24 15:44:10 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-10-24 15:44:10 +0100 |
| commit | 29182cd14e228529b3e26ef901e927bde8d27345 (patch) | |
| tree | 6b1e9b83458cbf7f9a6fcc22a4f1bec0f39e04e1 /src/test/hello4.objdump-D | |
| parent | 99a7462a88a186faf817e21c065e25f04d30aea7 (diff) | |
fix default cap value on cheri128 following previous changes -- E stored in registers is no longer xored with 48 so need to initialise it. Also use E and T values used by CHERI hw and adjust decoding functions appropriately. Fix shift functions for ocaml shallow embedding which failed to handle shifts greater than vector length.
Diffstat (limited to 'src/test/hello4.objdump-D')
0 files changed, 0 insertions, 0 deletions