diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-10-20 09:33:23 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-10-20 09:33:23 +0200 |
commit | 2a3fbd104656979a4be6ac8e0ec74f01c925c254 (patch) | |
tree | 33b8e50b2522f32829cc34bcb34ff1ccea9ed0f5 /kvx/PostpassSchedulingOracle.ml | |
parent | e19d179d1f30d5893e5f30dbd33188350656831e (diff) | |
download | compcert-kvx-2a3fbd104656979a4be6ac8e0ec74f01c925c254.tar.gz compcert-kvx-2a3fbd104656979a4be6ac8e0ec74f01c925c254.zip |
documentation says it's 15
Diffstat (limited to 'kvx/PostpassSchedulingOracle.ml')
-rw-r--r-- | kvx/PostpassSchedulingOracle.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kvx/PostpassSchedulingOracle.ml b/kvx/PostpassSchedulingOracle.ml index 5ebad421..3f4520a6 100644 --- a/kvx/PostpassSchedulingOracle.ml +++ b/kvx/PostpassSchedulingOracle.ml @@ -689,8 +689,9 @@ let real_inst_to_latency = function | Set -> 4 (* According to the manual should be 3, but I measured 4 *) | Icall | Call | Cb | Igoto | Goto | Ret -> 42 (* Should not matter since it's the final instruction of the basic block *) | Fnegd | Fnegw | Fabsd | Fabsw | Fwidenlwd | Fnarrowdw -> 1 - | Faddd | Faddw | Fsbfd | Fsbfw | Fmuld | Fmulw | Finvw + | Faddd | Faddw | Fsbfd | Fsbfw | Fmuld | Fmulw | Ffmaw | Ffmad | Ffmsw | Ffmsd -> 4 + | Finvw -> 15 let rec empty_inter la = function | [] -> true |