diff options
-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 aba025a8..32cb4c9f 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; @@ -290,7 +290,7 @@ let get_opweights () : opweights = resources_of_call = SweRV_EH1.resources_of_call; resources_of_builtin = SweRV_EH1.resources_of_builtin; } - | "FU74" | "" -> + | "FU74" | "sifive-u74" -> { pipelined_resource_bounds = FU74.resource_bounds; nr_non_pipelined_units = FU74.nr_non_pipelined_units; |