diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-01 18:16:05 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-01 18:23:11 +0200 |
| commit | 0c95673ef97195eae6213db92c2f69ef1d1ff48e (patch) | |
| tree | d586db7c5cc4952e525706e19105256b95bf9a7c /mppa_k1c/PrintOp.ml | |
| parent | 1036dcaa7a99870aa1859a9a1c683ad8f9b3b0d8 (diff) | |
| download | compcert-kvx-0c95673ef97195eae6213db92c2f69ef1d1ff48e.tar.gz compcert-kvx-0c95673ef97195eae6213db92c2f69ef1d1ff48e.zip | |
Started to add addressing with register + register, Mach -> Asm not done yet
Diffstat (limited to 'mppa_k1c/PrintOp.ml')
| -rw-r--r-- | mppa_k1c/PrintOp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mppa_k1c/PrintOp.ml b/mppa_k1c/PrintOp.ml index 9ec474b3..5ac00404 100644 --- a/mppa_k1c/PrintOp.ml +++ b/mppa_k1c/PrintOp.ml @@ -160,6 +160,7 @@ let print_operation reg pp = function let print_addressing reg pp = function | Aindexed n, [r1] -> fprintf pp "%a + %Ld" reg r1 (camlint64_of_ptrofs n) + | Aindexed2, [r1;r2] -> fprintf pp "%a + %a" reg r1 reg r2 | Aglobal(id, ofs), [] -> fprintf pp "\"%s\" + %Ld" (extern_atom id) (camlint64_of_ptrofs ofs) | Ainstack ofs, [] -> fprintf pp "stack(%Ld)" (camlint64_of_ptrofs ofs) |