diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-13 11:06:30 +0200 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-13 11:06:30 +0200 |
| commit | 6215f5076bb88d45020dd067055b3e27486a80f9 (patch) | |
| tree | 87d6b1afc6f532be6e770335dd3c167d420ee216 /riscV | |
| parent | 3bb90e439a9b07028e10a545998b72c837be5d16 (diff) | |
| parent | a53d367401dabe395972413088aeb23fae733f31 (diff) | |
| download | compcert-kvx-6215f5076bb88d45020dd067055b3e27486a80f9.tar.gz compcert-kvx-6215f5076bb88d45020dd067055b3e27486a80f9.zip | |
Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into kvx-work
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 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; |