diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-08 14:22:21 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-08 14:22:21 +0100 |
| commit | de098d0ea0ea48e6d13a4922ef58a4b918f1b551 (patch) | |
| tree | 5d9d3190f5fbc587f859a0fd44310f12245e69ef /backend/SelectDiv.vp | |
| parent | 292db3a22261821b759abdca011ab93ed01f3cce (diff) | |
| download | compcert-kvx-de098d0ea0ea48e6d13a4922ef58a4b918f1b551.tar.gz compcert-kvx-de098d0ea0ea48e6d13a4922ef58a4b918f1b551.zip | |
Desactivated Omulhs 32-bits optimization (division by constant)
Diffstat (limited to 'backend/SelectDiv.vp')
| -rw-r--r-- | backend/SelectDiv.vp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/backend/SelectDiv.vp b/backend/SelectDiv.vp index d91797c5..e1ba0bff 100644 --- a/backend/SelectDiv.vp +++ b/backend/SelectDiv.vp @@ -178,8 +178,8 @@ Definition divsimm (e1: expr) (n2: int) := divs_base e1 (Eop (Ointconst n2) Enil) else match divs_mul_params (Int.signed n2) with - | None => divs_base e1 (Eop (Ointconst n2) Enil) - | Some(p, m) => Elet e1 (divs_mul p m) + | _ => divs_base e1 (Eop (Ointconst n2) Enil) + (* | Some(p, m) => Elet e1 (divs_mul p m) *) (* FIXME - hack K1 *) end end. @@ -204,8 +204,8 @@ Definition modsimm (e1: expr) (n2: int) := mods_base e1 (Eop (Ointconst n2) Enil) else match divs_mul_params (Int.signed n2) with - | None => mods_base e1 (Eop (Ointconst n2) Enil) - | Some(p, m) => Elet e1 (mod_from_div (divs_mul p m) n2) + | _ => mods_base e1 (Eop (Ointconst n2) Enil) + (* | Some(p, m) => Elet e1 (mod_from_div (divs_mul p m) n2) *) (* FIXME - hack K1 *) end end. |