diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-08 14:32:22 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-08 14:32:22 +0100 |
| commit | 1d054a0f22ef3a24648af2620611ffc69e65d785 (patch) | |
| tree | e9ca0173f04c9abd11b011f7355e34b890ff2f50 /backend/SelectDiv.vp | |
| parent | de098d0ea0ea48e6d13a4922ef58a4b918f1b551 (diff) | |
| download | compcert-kvx-1d054a0f22ef3a24648af2620611ffc69e65d785.tar.gz compcert-kvx-1d054a0f22ef3a24648af2620611ffc69e65d785.zip | |
Désactivé toutes les optim division par constante --> Omulhs etc..
Diffstat (limited to 'backend/SelectDiv.vp')
| -rw-r--r-- | backend/SelectDiv.vp | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/backend/SelectDiv.vp b/backend/SelectDiv.vp index e1ba0bff..315e0996 100644 --- a/backend/SelectDiv.vp +++ b/backend/SelectDiv.vp @@ -118,8 +118,8 @@ Definition divuimm (e1: expr) (n2: int) := divu_base e1 (Eop (Ointconst n2) Enil) else match divu_mul_params (Int.unsigned n2) with - | None => divu_base e1 (Eop (Ointconst n2) Enil) - | Some(p, m) => Elet e1 (divu_mul p m) + | _ => divu_base e1 (Eop (Ointconst n2) Enil) + (* | Some(p, m) => Elet e1 (divu_mul p m) *) (* FIXME - hack K1 *) end end. @@ -144,8 +144,8 @@ Definition moduimm (e1: expr) (n2: int) := modu_base e1 (Eop (Ointconst n2) Enil) else match divu_mul_params (Int.unsigned n2) with - | None => modu_base e1 (Eop (Ointconst n2) Enil) - | Some(p, m) => Elet e1 (mod_from_div (divu_mul p m) n2) + | _ => modu_base e1 (Eop (Ointconst n2) Enil) + (* | Some(p, m) => Elet e1 (mod_from_div (divu_mul p m) n2) *) (* FIXME - hack K1 *) end end. @@ -241,8 +241,8 @@ Definition divlu (e1 e2: expr) := divlu_base e1 e2 else match divlu_mul_params (Int64.unsigned n2) with - | None => divlu_base e1 e2 - | Some(p, m) => Elet e1 (divlu_mull p m) + | _ => divlu_base e1 e2 + (* | Some(p, m) => Elet e1 (divlu_mull p m) *) (* FIXME - hack K1 *) end end | _, _ => divlu_base e1 e2 @@ -258,8 +258,8 @@ Definition modlu (e1 e2: expr) := modlu_base e1 e2 else match divlu_mul_params (Int64.unsigned n2) with - | None => modlu_base e1 e2 - | Some(p, m) => Elet e1 (modl_from_divl (divlu_mull p m) n2) + | _ => modlu_base e1 e2 + (* | Some(p, m) => Elet e1 (modl_from_divl (divlu_mull p m) n2) *) (* FIXME - hack K1 *) end end | _, _ => modlu_base e1 e2 @@ -285,8 +285,8 @@ Definition divls (e1 e2: expr) := divls_base e1 e2 else match divls_mul_params (Int64.signed n2) with - | None => divls_base e1 e2 - | Some(p, m) => Elet e1 (divls_mull p m) + | _ => divls_base e1 e2 + (* | Some(p, m) => Elet e1 (divls_mull p m) *) (* FIXME - hack K1 *) end end | _, _ => divls_base e1 e2 @@ -304,8 +304,8 @@ Definition modls (e1 e2: expr) := modls_base e1 e2 else match divls_mul_params (Int64.signed n2) with - | None => modls_base e1 e2 - | Some(p, m) => Elet e1 (modl_from_divl (divls_mull p m) n2) + | _ => modls_base e1 e2 + (* | Some(p, m) => Elet e1 (modl_from_divl (divls_mull p m) n2) *) (* FIXME - hack K1 *) end end | _, _ => modls_base e1 e2 |