blob: 2da367d6b6d442a2d4973b89c35c3f833d8db883 (
plain)
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 SPBasic
open SPIMS
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
|