src/SoftwarePipelining/SPMVE.mli


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

(***********************************************************************)
(*                                                                     *)
(*                        Compcert Extensions                          *)
(*                                                                     *)
(*                       Jean-Baptiste Tristan                         *)
(*                                                                     *)
(*  All rights reserved.  This file is distributed under the terms     *)
(*  described in file ../../LICENSE.                                   *)
(*                                                                     *)
(***********************************************************************)


open Basic
open IMS

val mve : G.t -> int NI.t -> int -> 
  (G.V.t option) array * G.V.t list * G.V.t list * int * int * (reg * reg) list * (reg * reg) list