From 2a3fbd104656979a4be6ac8e0ec74f01c925c254 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 20 Oct 2021 09:33:23 +0200 Subject: documentation says it's 15 --- kvx/PostpassSchedulingOracle.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'kvx/PostpassSchedulingOracle.ml') 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 -- cgit