From 9c7724e98003699072d3af77a545401cd4249f2d Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 24 Sep 2020 15:23:09 +0200 Subject: attempt at "zigzag" scheduler; not quite testable due to issues in the duplicate/linearize passes --- scheduling/InstructionScheduler.mli | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'scheduling/InstructionScheduler.mli') diff --git a/scheduling/InstructionScheduler.mli b/scheduling/InstructionScheduler.mli index 85e2a5c6..fb7af3f6 100644 --- a/scheduling/InstructionScheduler.mli +++ b/scheduling/InstructionScheduler.mli @@ -33,6 +33,12 @@ type problem = { (** Print problem for human readability. *) val print_problem : out_channel -> problem -> unit;; +(** Get the number of instructions in a problem *) +val get_nr_instructions : problem -> int;; + +(** Get the number of resources in a problem *) +val get_nr_resources : problem -> int;; + (** Scheduling solution. For {i n} instructions to schedule, and 0≤{i i}<{i n}, position {i i} contains the time to which instruction {i i} should be scheduled. Position {i n} contains the final output latency. *) type solution = int array -- cgit