diff options
| author | Robert Norton | 2016-01-20 14:06:22 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-21 10:50:46 +0000 |
| commit | 7d97452b129036126a8738ebff2a9300a25707c8 (patch) | |
| tree | d18f35f35976a13de1f7574f59b785ddf516242a /src/lem_interp | |
| parent | cc295141edaf8f337471b4432755222145240b6b (diff) | |
mips: rename GPRs so that they sort lexicographically for display.
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/run_with_elf.ml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/lem_interp/run_with_elf.ml b/src/lem_interp/run_with_elf.ml index f1b19c9c..bcc49173 100644 --- a/src/lem_interp/run_with_elf.ml +++ b/src/lem_interp/run_with_elf.ml @@ -450,16 +450,16 @@ let mips_register_data_all = [ ("exceptionSignalled", (D_decreasing, 1, 0)); ("delayedPC", (D_decreasing, 64, 0)); (* General purpose registers *) - ("GPR0", (D_decreasing, 64, 0)); - ("GPR1", (D_decreasing, 64, 0)); - ("GPR2", (D_decreasing, 64, 0)); - ("GPR3", (D_decreasing, 64, 0)); - ("GPR4", (D_decreasing, 64, 0)); - ("GPR5", (D_decreasing, 64, 0)); - ("GPR6", (D_decreasing, 64, 0)); - ("GPR7", (D_decreasing, 64, 0)); - ("GPR8", (D_decreasing, 64, 0)); - ("GPR9", (D_decreasing, 64, 0)); + ("GPR00", (D_decreasing, 64, 0)); + ("GPR01", (D_decreasing, 64, 0)); + ("GPR02", (D_decreasing, 64, 0)); + ("GPR03", (D_decreasing, 64, 0)); + ("GPR04", (D_decreasing, 64, 0)); + ("GPR05", (D_decreasing, 64, 0)); + ("GPR06", (D_decreasing, 64, 0)); + ("GPR07", (D_decreasing, 64, 0)); + ("GPR08", (D_decreasing, 64, 0)); + ("GPR09", (D_decreasing, 64, 0)); ("GPR10", (D_decreasing, 64, 0)); ("GPR11", (D_decreasing, 64, 0)); ("GPR12", (D_decreasing, 64, 0)); |