From 169a221104c37737f12abe79711009fc0d88ce09 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Fri, 16 Jul 2021 13:00:56 +0200
Subject: rm useless code

---
 aarch64/PrepassSchedulingOracle.ml | 48 --------------------------------------
 1 file changed, 48 deletions(-)

(limited to 'aarch64')

diff --git a/aarch64/PrepassSchedulingOracle.ml b/aarch64/PrepassSchedulingOracle.ml
index fe757c99..53a81095 100644
--- a/aarch64/PrepassSchedulingOracle.ml
+++ b/aarch64/PrepassSchedulingOracle.ml
@@ -201,54 +201,6 @@ let get_simple_dependencies (opweights : opweights) (seqa : (instruction*Regset.
     end seqa;
   !latency_constraints;;
 
-
-(** useless  *)
-let get_pressure_deltas (seqa : (instruction * Regset.t) array)
-  (typing : RTLtyping.regenv)
-    : int array array =
-  let nr_types_regs = Array.length Machregsaux.nr_regs in
-  let ret = Array.init (Array.length seqa) (fun i ->
-                Array.make nr_types_regs 0) in
-  Array.iteri (fun i (instr, liveins) -> match instr with
-      | Iop (_, args, dest, _) | Iload (_, _, _, args, dest, _) ->
-         ret.(i).(Machregsaux.class_of_type (typing dest)) <-
-           if List.mem dest args then 0
-           else 1
-      | Istore (_, _, _, src, _) ->
-         ret.(i).(Machregsaux.class_of_type (typing src)) <-
-           -1
-      | Icall (_, fn, args, dest, _) ->
-         ret.(i).(Machregsaux.class_of_type (typing dest)) <-
-           if List.mem dest
-                (match fn with
-                 | Datatypes.Coq_inl reg -> reg::args
-                 | _ -> args)
-           then 0 else 1
-      | Ibuiltin (_, args, dest, _) ->
-         let rec arg_l list = function
-           | AST.BA r -> r::list
-           | AST.BA_splitlong (hi, lo) | AST.BA_addptr (hi, lo) ->
-              arg_l (arg_l list lo) hi
-           | _ -> list
-         in
-         let l = (List.fold_left arg_l [] args) in
-         let rec dest_l = function
-           | AST.BR r ->
-              let t = Machregsaux.class_of_type (typing r) in
-              ret.(i).(t) <-
-              (if List.mem r l
-              then 0 else 1) + ret.(i).(t)
-           | AST.BR_splitlong (hi, lo) ->
-              dest_l hi;
-              dest_l lo
-           | _ -> ()
-         in
-         dest_l dest
-      | _ -> ()
-    ) seqa;
-  ret
-  
-
 let resources_of_instruction (opweights : opweights) = function
   | Inop _ -> Array.map (fun _ -> 0) opweights.pipelined_resource_bounds
   | Iop(op, inputs, output, _) ->
-- 
cgit