diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-12 13:15:16 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-12 13:15:16 +0100 |
commit | 98a115dece106f5036452b0c0bac04ad4a6e047e (patch) | |
tree | 06c42be0d7a72eeadd31d11c8e4677d27370490a /kvx | |
parent | 16715e5efd6ce899eb3d544fd71751f367eaa370 (diff) | |
download | compcert-kvx-98a115dece106f5036452b0c0bac04ad4a6e047e.tar.gz compcert-kvx-98a115dece106f5036452b0c0bac04ad4a6e047e.zip |
fix bad reservation table for finvw
Diffstat (limited to 'kvx')
-rw-r--r-- | kvx/PostpassSchedulingOracle.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kvx/PostpassSchedulingOracle.ml b/kvx/PostpassSchedulingOracle.ml index f53da14b..e752624c 100644 --- a/kvx/PostpassSchedulingOracle.ml +++ b/kvx/PostpassSchedulingOracle.ml @@ -657,8 +657,8 @@ let rec_to_usage r = | Get -> bcu_tiny_tiny_mau_xnop | Fnegd | Fnegw | Fabsd | Fabsw | Fwidenlwd | Fmind | Fmaxd | Fminw | Fmaxw -> alu_lite - | Fnarrowdw -> alu_full - | Faddd | Faddw | Fsbfd | Fsbfw | Fmuld | Fmulw | Finvw + | Finvw | Fnarrowdw -> alu_full + | Faddd | Faddw | Fsbfd | Fsbfw | Fmuld | Fmulw | Ffmad | Ffmaw | Ffmsd | Ffmsw -> mau |