From f6b0bfa541f69b4a563ac99a864284939067e994 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 29 Sep 2020 19:35:36 +0200
Subject: attempt at separating the divisions

---
 aarch64/OpWeights.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'aarch64/OpWeights.ml')

diff --git a/aarch64/OpWeights.ml b/aarch64/OpWeights.ml
index d19f34af..01a1a553 100644
--- a/aarch64/OpWeights.ml
+++ b/aarch64/OpWeights.ml
@@ -298,6 +298,11 @@ let resources_of_op (op : operation) (nargs : int) =
         [| 1; 1; 1; 0 |]
      | _ -> [| 1; 1; 0; 0 |] );;
   
+let non_pipelined_resources_of_op (op : operation) (nargs : int) =
+  match op with
+  | Odiv | Odivu -> [| 29 |]
+  | Odivl | Odivlu -> [| 50 |]
+  | _ -> [| -1 |];;
 
 let resources_of_cond (cmp : condition) (nargs : int) =
       (match cmp with
-- 
cgit