diff options
| author | Robert Norton | 2017-01-26 13:59:36 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-01-26 13:59:52 +0000 |
| commit | d761de19d1b6194f1f7a86cb4fbf1a549d252a1e (patch) | |
| tree | ae00eec93159ddb0568665fc80b9c0a094f962b7 /src | |
| parent | edfa323d992916541bbaa0d25a0088d60ee7288f (diff) | |
c128: xor E with 48 when storing in memory so that null cap is all zeros but has non-zero E (latest spec.)
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/run_with_elf_cheri128.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/run_with_elf_cheri128.ml b/src/lem_interp/run_with_elf_cheri128.ml index 99a6e681..bfffb562 100644 --- a/src/lem_interp/run_with_elf_cheri128.ml +++ b/src/lem_interp/run_with_elf_cheri128.ml @@ -623,7 +623,7 @@ let cheri_register_data_all = mips_register_data_all @ [ let initial_stack_and_reg_data_of_MIPS_elf_file e_entry all_data_memory = let initial_stack_data = [] in - let initial_cap_val_int = Nat_big_num.of_string "0x1fffe5a00000800000000000000000000" in (* hex((0x80000 << 64) + (45 << 105) + (0x7fff << 113) + (1 << 128)) *) + let initial_cap_val_int = Nat_big_num.of_string "0x1fffe0000000800000000000000000000" in (* hex((0x80000 << 64) + (0x7fff << 113) + (1 << 128)) *) let initial_cap_val_reg = Sail_impl_base.register_value_of_integer 129 128 D_decreasing initial_cap_val_int in let initial_register_abi_data : (string * Sail_impl_base.register_value) list = [ ("CP0Status", Sail_impl_base.register_value_of_integer 32 31 D_decreasing (Nat_big_num.of_string "0x00400000")); |