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/OpWeights.ml | |
| parent | d87dc1bde1d962fd1192f9176396c4bc7d151041 (diff) | |
| download | compcert-kvx-1f42a62b6f7694206f805b3317e76341f2da066b.tar.gz compcert-kvx-1f42a62b6f7694206f805b3317e76341f2da066b.zip | |
wrong resources
Diffstat (limited to 'riscV/OpWeights.ml')
| -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;; |