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/SelectOp.vp | |
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/SelectOp.vp')
-rw-r--r-- | mppa_k1c/SelectOp.vp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mppa_k1c/SelectOp.vp b/mppa_k1c/SelectOp.vp index f6605c11..d82fe238 100644 --- a/mppa_k1c/SelectOp.vp +++ b/mppa_k1c/SelectOp.vp @@ -481,6 +481,7 @@ Nondetfunction addressing (chunk: memory_chunk) (e: expr) := | Eop (Oaddrsymbol id ofs) Enil => if Archi.pic_code tt then (Aindexed Ptrofs.zero, e:::Enil) else (Aglobal id ofs, Enil) | Eop (Oaddimm n) (e1:::Enil) => (Aindexed (Ptrofs.of_int n), e1:::Enil) | Eop (Oaddlimm n) (e1:::Enil) => (Aindexed (Ptrofs.of_int64 n), e1:::Enil) + | Eop Oaddl (e1:::e2:::Enil) => (Aindexed2, e1:::e2:::Enil) | _ => (Aindexed Ptrofs.zero, e:::Enil) end. |