diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-03-16 15:06:28 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:08 +0200 |
commit | 348aa9268bb3f7f2fe4357586a4e1d3181e0c9b3 (patch) | |
tree | f2b03f61284e350803a7dbd137cce34e106bf22e /mppa_k1c/Asmexpand.ml | |
parent | f677664f63ca17c0a514c449f62ad958b5f9eb68 (diff) | |
download | compcert-kvx-348aa9268bb3f7f2fe4357586a4e1d3181e0c9b3.tar.gz compcert-kvx-348aa9268bb3f7f2fe4357586a4e1d3181e0c9b3.zip |
MPPA - code cleaning
Diffstat (limited to 'mppa_k1c/Asmexpand.ml')
-rw-r--r-- | mppa_k1c/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml index fea71f61..f21ad2eb 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -604,7 +604,7 @@ let int_reg_to_dwarf = function let preg_to_dwarf = function | IR r -> int_reg_to_dwarf r | FR r -> int_reg_to_dwarf r - | RA -> 65 (* FIXME - No idea *) + | RA -> 65 (* FIXME - No idea what is $ra DWARF number in k1-gdb *) | _ -> assert false let expand_function id fn = |