diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-29 19:35:36 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-29 19:35:36 +0200 |
| commit | f6b0bfa541f69b4a563ac99a864284939067e994 (patch) | |
| tree | 166d9721cd047c24c2d6d1e8294424f8f5b58210 /aarch64/OpWeights.ml | |
| parent | 1f0c8cf821d310e405f3ad6327870fe3321ad6e6 (diff) | |
| download | compcert-kvx-f6b0bfa541f69b4a563ac99a864284939067e994.tar.gz compcert-kvx-f6b0bfa541f69b4a563ac99a864284939067e994.zip | |
attempt at separating the divisions
Diffstat (limited to 'aarch64/OpWeights.ml')
| -rw-r--r-- | aarch64/OpWeights.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/aarch64/OpWeights.ml b/aarch64/OpWeights.ml index d19f34af..01a1a553 100644 --- a/aarch64/OpWeights.ml +++ b/aarch64/OpWeights.ml @@ -298,6 +298,11 @@ let resources_of_op (op : operation) (nargs : int) = [| 1; 1; 1; 0 |] | _ -> [| 1; 1; 0; 0 |] );; +let non_pipelined_resources_of_op (op : operation) (nargs : int) = + match op with + | Odiv | Odivu -> [| 29 |] + | Odivl | Odivlu -> [| 50 |] + | _ -> [| -1 |];; let resources_of_cond (cmp : condition) (nargs : int) = (match cmp with |