diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-05-21 16:34:36 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-05-21 16:39:48 +0200 |
| commit | 479aacd0254605942a3f48c3b8053af4d07f0f6c (patch) | |
| tree | 7ddbddf078b86a30e693ae35721e08f54a0af11e /mppa_k1c/SelectLong.v | |
| parent | b81dbb863781a5f450cad0b01f90f729fb1a2244 (diff) | |
| download | compcert-kvx-479aacd0254605942a3f48c3b8053af4d07f0f6c.tar.gz compcert-kvx-479aacd0254605942a3f48c3b8053af4d07f0f6c.zip | |
MPPA - Added modulo and division 64 bits. Non certified
32 bits version are not yet there.
Right now the code is directly from libgcc, compiled with k1-gcc because
of builtins.
Diffstat (limited to 'mppa_k1c/SelectLong.v')
| -rw-r--r-- | mppa_k1c/SelectLong.v | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/mppa_k1c/SelectLong.v b/mppa_k1c/SelectLong.v index 876d02fb..f2aa6be2 100644 --- a/mppa_k1c/SelectLong.v +++ b/mppa_k1c/SelectLong.v @@ -706,14 +706,10 @@ Definition notl (e: expr) := (** ** Integer division and modulus *) -Definition divlu_base (e1: expr) (e2: expr) := - if Archi.splitlong then SplitLong.divlu_base e1 e2 else Eop Odivlu (e1:::e2:::Enil). -Definition modlu_base (e1: expr) (e2: expr) := - if Archi.splitlong then SplitLong.modlu_base e1 e2 else Eop Omodlu (e1:::e2:::Enil). -Definition divls_base (e1: expr) (e2: expr) := - if Archi.splitlong then SplitLong.divls_base e1 e2 else Eop Odivl (e1:::e2:::Enil). -Definition modls_base (e1: expr) (e2: expr) := - if Archi.splitlong then SplitLong.modls_base e1 e2 else Eop Omodl (e1:::e2:::Enil). +Definition divlu_base (e1: expr) (e2: expr) := SplitLong.divlu_base e1 e2. +Definition modlu_base (e1: expr) (e2: expr) := SplitLong.modlu_base e1 e2. +Definition divls_base (e1: expr) (e2: expr) := SplitLong.divls_base e1 e2. +Definition modls_base (e1: expr) (e2: expr) := SplitLong.modls_base e1 e2. Definition shrxlimm (e: expr) (n: int) := if Archi.splitlong then SplitLong.shrxlimm e n else |