diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-10 23:28:55 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-10 23:28:55 +0200 |
commit | a53d367401dabe395972413088aeb23fae733f31 (patch) | |
tree | 03e8b22222ca1fe3d724b696f9b7371c2318831b | |
parent | b98a9f7e611bd671e06d45c3b40e0eaf996ce677 (diff) | |
download | compcert-kvx-a53d367401dabe395972413088aeb23fae733f31.tar.gz compcert-kvx-a53d367401dabe395972413088aeb23fae733f31.zip |
rocket is default choice
-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 e4bf7629..66cf6ce9 100644 --- a/riscV/OpWeights.ml +++ b/riscV/OpWeights.ml @@ -260,7 +260,7 @@ end let get_opweights () : opweights = match !Clflags.option_mtune with - | "rocket" -> + | "rocket" | "" -> { pipelined_resource_bounds = Rocket.resource_bounds; nr_non_pipelined_units = Rocket.nr_non_pipelined_units; |