diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-13 11:06:28 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-13 11:06:28 +0200 |
commit | 3bb90e439a9b07028e10a545998b72c837be5d16 (patch) | |
tree | c6e67f9fff85a10cf6ac6fb1f4763a5bcb260173 /riscV | |
parent | 1d843c1a93ea5037fc1a0bbf7e23f415081f493e (diff) | |
download | compcert-kvx-3bb90e439a9b07028e10a545998b72c837be5d16.tar.gz compcert-kvx-3bb90e439a9b07028e10a545998b72c837be5d16.zip |
update weights FU74...
Diffstat (limited to 'riscV')
-rw-r--r-- | riscV/OpWeights.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml index 2ec663cf..aba025a8 100644 --- a/riscV/OpWeights.ml +++ b/riscV/OpWeights.ml @@ -95,9 +95,9 @@ module FU74 = struct | CEbneuw _ | CEbltw _ | CEbltuw _ | CEbgew _ | CEbgeuw _ | CEbeql _ | CEbnel _ | CEbequl _ | CEbneul _ | CEbltl _ | CEbltul _ | CEbgel _ | CEbgeul _ -> - [| 1; 0; 1; 0; 0 |] + [| 1; 0; 0; 0; 0 |] | Ccompf _ | Cnotcompf _ | Ccompfs _ | Cnotcompfs _ -> - [| 1; 0; 1; 1; 0 |]) + [| 1; 0; 0; 1; 0 |]) | _ -> [| 1; 0; 0; 0; 0 |] let non_pipelined_resources_of_op (op : operation) (nargs : int) = |