diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-18 21:01:04 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-18 21:01:04 +0200 |
commit | 1f42a62b6f7694206f805b3317e76341f2da066b (patch) | |
tree | 59b0e9f7bfc2ab837f62841237e169d9aec06855 /riscV | |
parent | d87dc1bde1d962fd1192f9176396c4bc7d151041 (diff) | |
download | compcert-kvx-1f42a62b6f7694206f805b3317e76341f2da066b.tar.gz compcert-kvx-1f42a62b6f7694206f805b3317e76341f2da066b.zip |
wrong resources
Diffstat (limited to 'riscV')
-rw-r--r-- | riscV/OpWeights.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml index 02187067..88ef5216 100644 --- a/riscV/OpWeights.ml +++ b/riscV/OpWeights.ml @@ -19,7 +19,7 @@ let resources_of_op (op : operation) (nargs : int) = | Odiv | Odivu | Odivl | Odivlu -> [| 0 ; 0; 0; 1 |] | _ -> [| 1; 0; 0; 0 |];; -let resources_of_cond (cond : condition) (nargs : int) = [| 1 |];; +let resources_of_cond (cond : condition) (nargs : int) = [| 1; 0; 0; 0 |];; let latency_of_load trap chunk (addr : addressing) (nargs : int) = 3;; let latency_of_call _ _ = 6;; |