Project

General

Profile

« Previous | Next » 

Revision c1adf235

Added by Pierre-Loïc Garoche over 7 years ago

Restructured the main: call to optimization, scheduling performed out of machine_code, etc
Merge Xavier last commits
Unfinished lustre backend

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/simplifier@271 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/scheduling.ml
125 125
    pp_error Format.err_formatter v;
126 126
    raise exc
127 127

  
128
let schedule_prog prog =
129
  List.fold_right (
130
    fun top_decl (accu_prog, sch_map)  ->
131
      match top_decl.top_decl_desc with
132
	| Node nd -> 
133
	  let nd', sch = schedule_node nd in
134
	  {top_decl with top_decl_desc = Node nd'}::accu_prog, (nd.node_id, sch)::sch_map
135
	| _ -> top_decl::accu_prog, sch_map
136
    ) 
137
    prog
138
    ([],[])
139

  
128 140

  
129 141
(* Local Variables: *)
130 142
(* compile-command:"make -C .." *)

Also available in: Unified diff