2010-06-15 10:49:03 +02:00
|
|
|
open Misc
|
|
|
|
open Minils
|
|
|
|
open Names
|
|
|
|
open Ident
|
|
|
|
open Format
|
|
|
|
open Location
|
|
|
|
open Printf
|
|
|
|
open Static
|
2010-06-18 11:20:35 +02:00
|
|
|
open Signature
|
2010-06-15 10:49:03 +02:00
|
|
|
|
|
|
|
let nodes_instances = ref NamesEnv.empty
|
|
|
|
let global_env = ref NamesEnv.empty
|
|
|
|
|
|
|
|
let rec string_of_int_list = function
|
|
|
|
| [] -> ""
|
|
|
|
| [n] -> (string_of_int n)
|
|
|
|
| n::l -> (string_of_int n)^", "^(string_of_int_list l)
|
|
|
|
|
|
|
|
let add_node_params n params =
|
2010-06-26 16:53:25 +02:00
|
|
|
if NamesEnv.mem n !nodes_instances then
|
|
|
|
nodes_instances := NamesEnv.add n
|
2010-06-18 11:20:35 +02:00
|
|
|
(params::(NamesEnv.find n !nodes_instances)) !nodes_instances
|
2010-06-15 10:49:03 +02:00
|
|
|
else
|
|
|
|
nodes_instances := NamesEnv.add n [params] !nodes_instances
|
|
|
|
|
|
|
|
let rec node_by_name s = function
|
|
|
|
| [] -> raise Not_found
|
2010-06-26 16:53:25 +02:00
|
|
|
| n::l ->
|
2010-06-15 10:49:03 +02:00
|
|
|
if n.n_name = s then
|
2010-06-26 16:53:25 +02:00
|
|
|
n
|
2010-06-15 10:49:03 +02:00
|
|
|
else
|
2010-06-26 16:53:25 +02:00
|
|
|
node_by_name s l
|
2010-06-15 10:49:03 +02:00
|
|
|
|
2010-06-26 16:53:25 +02:00
|
|
|
let build env params_names params_values =
|
|
|
|
List.fold_left2 (fun m { p_name = n } v -> NamesEnv.add n (SConst v) m)
|
2010-06-18 11:20:35 +02:00
|
|
|
env params_names params_values
|
2010-06-15 10:49:03 +02:00
|
|
|
|
|
|
|
let rec collect_exp nodes env e =
|
|
|
|
match e.e_desc with
|
|
|
|
| Emerge(_, c_e_list) ->
|
2010-06-26 16:53:25 +02:00
|
|
|
List.iter (fun (_, e) -> collect_exp nodes env e) c_e_list
|
2010-06-15 10:49:03 +02:00
|
|
|
| Eifthenelse(e1, e2, e3) ->
|
2010-06-26 16:53:25 +02:00
|
|
|
collect_exp nodes env e1;
|
|
|
|
collect_exp nodes env e2;
|
|
|
|
collect_exp nodes env e3
|
2010-06-18 11:20:35 +02:00
|
|
|
| Ewhen(e, _, _) | Efby(_, e) | Efield(e, _) ->
|
2010-06-26 16:53:25 +02:00
|
|
|
collect_exp nodes env e
|
2010-06-18 11:20:35 +02:00
|
|
|
| Evar _ | Econstvar _ | Econst _ -> ()
|
2010-06-15 10:49:03 +02:00
|
|
|
| Estruct(f_e_list) ->
|
2010-06-26 16:53:25 +02:00
|
|
|
List.iter (fun (_, e) -> collect_exp nodes env e) f_e_list
|
2010-06-18 11:20:35 +02:00
|
|
|
| Etuple e_list | Earray e_list ->
|
2010-06-26 16:53:25 +02:00
|
|
|
List.iter (collect_exp nodes env) e_list
|
2010-06-18 11:20:35 +02:00
|
|
|
| Efield_update(_, e1, e2) ->
|
2010-06-26 16:53:25 +02:00
|
|
|
collect_exp nodes env e1;
|
|
|
|
collect_exp nodes env e2
|
|
|
|
(* Do the real work: call node *)
|
|
|
|
| Ecall( { op_name = ln; op_params = params; op_kind = Eop }, e_list, _) ->
|
2010-06-18 11:20:35 +02:00
|
|
|
List.iter (collect_exp nodes env) e_list
|
2010-06-26 16:53:25 +02:00
|
|
|
| Ecall( { op_name = ln; op_params = params; op_kind = Enode },
|
|
|
|
e_list, _) ->
|
|
|
|
List.iter (collect_exp nodes env) e_list;
|
|
|
|
let params = List.map (int_of_size_exp env) params in
|
|
|
|
call_node_instance nodes ln params
|
2010-06-18 11:20:35 +02:00
|
|
|
| Earray_op op ->
|
|
|
|
collect_array_exp nodes env op
|
|
|
|
|
|
|
|
and collect_array_exp nodes env = function
|
2010-06-26 16:53:25 +02:00
|
|
|
| Eselect_dyn (e_list, _, e1, e2) ->
|
|
|
|
List.iter (collect_exp nodes env) e_list;
|
|
|
|
collect_exp nodes env e1;
|
|
|
|
collect_exp nodes env e2
|
2010-06-18 11:20:35 +02:00
|
|
|
| Eupdate (_, e1, e2) | Econcat (e1, e2) ->
|
2010-06-26 16:53:25 +02:00
|
|
|
collect_exp nodes env e1;
|
|
|
|
collect_exp nodes env e2
|
2010-06-18 11:20:35 +02:00
|
|
|
| Eselect (_,e) | Eselect_slice (_ , _, e) | Erepeat (_,e) ->
|
2010-06-26 16:53:25 +02:00
|
|
|
collect_exp nodes env e
|
2010-06-18 11:20:35 +02:00
|
|
|
| Eiterator (_, { op_name = ln; op_params = params }, _, e_list, _) ->
|
2010-06-26 16:53:25 +02:00
|
|
|
List.iter (collect_exp nodes env) e_list;
|
|
|
|
let params = List.map (int_of_size_exp env) params in
|
|
|
|
call_node_instance nodes ln params
|
|
|
|
|
|
|
|
and collect_eqs nodes env eq =
|
2010-06-15 15:08:14 +02:00
|
|
|
collect_exp nodes env eq.eq_rhs
|
2010-06-15 10:49:03 +02:00
|
|
|
|
2010-06-18 11:20:35 +02:00
|
|
|
and call_node_instance nodes ln params =
|
2010-06-26 16:53:25 +02:00
|
|
|
match params with
|
|
|
|
| [] -> ()
|
|
|
|
| params ->
|
|
|
|
let n = node_by_name (shortname ln) nodes in
|
|
|
|
node_call nodes n params
|
2010-06-18 11:20:35 +02:00
|
|
|
|
2010-06-15 10:49:03 +02:00
|
|
|
and node_call nodes n params =
|
|
|
|
match params with
|
2010-06-26 16:53:25 +02:00
|
|
|
| [] ->
|
|
|
|
List.iter (collect_eqs nodes !global_env) n.n_equs
|
2010-06-15 10:49:03 +02:00
|
|
|
| params ->
|
2010-06-26 16:53:25 +02:00
|
|
|
add_node_params n.n_name params;
|
|
|
|
let env = build !global_env n.n_params params in
|
|
|
|
List.iter (collect_eqs nodes env) n.n_equs
|
2010-06-15 10:49:03 +02:00
|
|
|
|
|
|
|
let node n =
|
2010-06-26 16:53:25 +02:00
|
|
|
let inst =
|
|
|
|
if NamesEnv.mem n.n_name !nodes_instances then
|
2010-06-15 10:49:03 +02:00
|
|
|
NamesEnv.find n.n_name !nodes_instances
|
|
|
|
else
|
|
|
|
[] in
|
2010-06-26 16:53:25 +02:00
|
|
|
{ n with n_params_instances = inst }
|
2010-06-15 10:49:03 +02:00
|
|
|
|
|
|
|
let build_const_env cd_list =
|
2010-06-26 16:53:25 +02:00
|
|
|
List.fold_left (fun env cd -> NamesEnv.add
|
|
|
|
cd.Minils.c_name cd.Minils.c_value env)
|
2010-06-18 11:20:35 +02:00
|
|
|
NamesEnv.empty cd_list
|
2010-06-15 10:49:03 +02:00
|
|
|
|
|
|
|
let program p =
|
|
|
|
let try_call_node n =
|
|
|
|
match n.n_params with
|
|
|
|
| [] -> node_call p.p_nodes n []
|
|
|
|
| _ -> ()
|
|
|
|
in
|
2010-06-26 16:53:25 +02:00
|
|
|
global_env := build_const_env p.p_consts;
|
|
|
|
List.iter try_call_node p.p_nodes;
|
|
|
|
{ p with p_nodes = List.map node p.p_nodes }
|
2010-06-18 11:20:35 +02:00
|
|
|
|