Revision 3b2bd83d src/main_lustre_compiler.ml
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 15 | 15 |
open Utils |
| 16 | 16 |
open LustreSpec |
| 17 | 17 |
open Compiler_common |
| 18 |
|
|
| 19 |
exception StopPhase1 of program |
|
| 18 | 20 |
|
| 19 |
let usage = "Usage: lustrec [options] <source-file>"
|
|
| 21 |
let usage = "Usage: lustrec [options] \x1b[4msource file\x1b[0m"
|
|
| 20 | 22 |
|
| 21 | 23 |
let extensions = [".ec"; ".lus"; ".lusi"] |
| 22 | 24 |
|
| ... | ... | |
| 86 | 88 |
end |
| 87 | 89 |
|
| 88 | 90 |
|
| 91 |
let functional_backend () = |
|
| 92 |
match !Options.output with |
|
| 93 |
| "horn" | "lustre" | "acsl" -> true |
|
| 94 |
| _ -> false |
|
| 89 | 95 |
|
| 90 |
(* compile a .lus source file *) |
|
| 91 |
let rec compile_source dirname basename extension = |
|
| 92 |
|
|
| 93 |
Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>"); |
|
| 94 |
|
|
| 95 |
(* Parsing source *) |
|
| 96 |
let prog = parse_source (dirname ^ "/" ^ basename ^ extension) in |
|
| 96 |
(* From prog to prog *) |
|
| 97 |
let stage1 prog dirname basename = |
|
| 98 |
(* Removing automata *) |
|
| 99 |
let prog = expand_automata prog in |
|
| 97 | 100 |
|
| 98 |
(* Removing automata *) |
|
| 99 |
let prog = Automata.expand_decls prog in |
|
| 100 |
|
|
| 101 |
Log.report ~level:4 (fun fmt -> fprintf fmt "After automata expansion:@.@[<v 2>@ %a@]@," Printers.pp_prog prog); |
|
| 101 |
Log.report ~level:4 (fun fmt -> fprintf fmt ".. after automata expansion:@.@[<v 2>@ %a@]@," Printers.pp_prog prog); |
|
| 102 | 102 |
|
| 103 | 103 |
(* Importing source *) |
| 104 | 104 |
let _ = Modules.load_program ISet.empty prog in |
| ... | ... | |
| 120 | 120 |
in |
| 121 | 121 |
|
| 122 | 122 |
(* Checking stateless/stateful status *) |
| 123 |
check_stateless_decls prog; |
|
| 123 |
if Scopes.Plugin.is_active () then |
|
| 124 |
force_stateful_decls prog |
|
| 125 |
else |
|
| 126 |
check_stateless_decls prog; |
|
| 124 | 127 |
|
| 125 | 128 |
(* Typing *) |
| 126 | 129 |
let computed_types_env = type_decls type_env prog in |
| ... | ... | |
| 130 | 133 |
|
| 131 | 134 |
(* Generating a .lusi header file only *) |
| 132 | 135 |
if !Options.lusi then |
| 133 |
begin |
|
| 134 |
let lusi_ext = extension ^ "i" in |
|
| 135 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating interface file %s@," (dirname ^ "/" ^ basename ^ lusi_ext)); |
|
| 136 |
print_lusi prog dirname basename lusi_ext; |
|
| 137 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@."); |
|
| 138 |
exit 0 |
|
| 139 |
end; |
|
| 136 |
(* We stop here the processing and produce the current prog. It will be |
|
| 137 |
exported as a lusi *) |
|
| 138 |
raise (StopPhase1 prog); |
|
| 140 | 139 |
|
| 140 |
(* Optimization of prog: |
|
| 141 |
- Unfold consts |
|
| 142 |
- eliminate trivial expressions |
|
| 143 |
*) |
|
| 144 |
(* |
|
| 145 |
let prog = |
|
| 146 |
if !Options.const_unfold || !Options.optimization >= 5 then |
|
| 147 |
begin |
|
| 148 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. eliminating constants and aliases@,"); |
|
| 149 |
Optimize_prog.prog_unfold_consts prog |
|
| 150 |
end |
|
| 151 |
else |
|
| 152 |
prog |
|
| 153 |
in |
|
| 154 |
*) |
|
| 141 | 155 |
(* Delay calculus *) |
| 142 | 156 |
(* TO BE DONE LATER (Xavier) |
| 143 | 157 |
if(!Options.delay_calculus) |
| ... | ... | |
| 159 | 173 |
|
| 160 | 174 |
(* Compatibility with Lusi *) |
| 161 | 175 |
(* Checking the existence of a lusi (Lustre Interface file) *) |
| 162 |
(match !Options.output with |
|
| 163 |
"C" -> |
|
| 164 |
begin |
|
| 165 |
let extension = ".lusi" in |
|
| 166 |
compile_source_to_header prog computed_types_env computed_clocks_env dirname basename extension; |
|
| 167 |
end |
|
| 168 |
|_ -> ()); |
|
| 176 |
let extension = ".lusi" in |
|
| 177 |
compile_source_to_header prog computed_types_env computed_clocks_env dirname basename extension; |
|
| 169 | 178 |
|
| 170 | 179 |
Typing.uneval_prog_generics prog; |
| 171 | 180 |
Clock_calculus.uneval_prog_generics prog; |
| ... | ... | |
| 184 | 193 |
!Options.main_node |
| 185 | 194 |
orig prog type_env clock_env |
| 186 | 195 |
end; |
| 187 |
|
|
| 188 |
(*Format.eprintf "Inliner.global_inline<<@.%a@.>>@." Printers.pp_prog prog;*) |
|
| 196 |
|
|
| 189 | 197 |
(* Computes and stores generic calls for each node, |
| 190 | 198 |
only useful for ANSI C90 compliant generic node compilation *) |
| 191 | 199 |
if !Options.ansi then Causality.NodeDep.compute_generic_calls prog; |
| 192 |
(*Hashtbl.iter (fun id td -> match td.Corelang.top_decl_desc with Corelang.Node nd -> Format.eprintf "%s calls %a" id Causality.NodeDep.pp_generic_calls nd | _ -> ()) Corelang.node_table;*) |
|
| 200 |
(*Hashtbl.iter (fun id td -> match td.Corelang.top_decl_desc with |
|
| 201 |
Corelang.Node nd -> Format.eprintf "%s calls %a" id |
|
| 202 |
Causality.NodeDep.pp_generic_calls nd | _ -> ()) Corelang.node_table;*) |
|
| 193 | 203 |
|
| 194 | 204 |
(* Normalization phase *) |
| 195 | 205 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. normalization@,"); |
| ... | ... | |
| 197 | 207 |
if !Options.output = "lustre" then |
| 198 | 208 |
Normalization.unfold_arrow_active := false; |
| 199 | 209 |
let prog = Normalization.normalize_prog prog in |
| 210 |
Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog); |
|
| 200 | 211 |
|
| 212 |
let prog = |
|
| 213 |
if !Options.mpfr |
|
| 214 |
then |
|
| 215 |
begin |
|
| 216 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. targetting MPFR library@,"); |
|
| 217 |
Mpfr.inject_prog prog |
|
| 218 |
end |
|
| 219 |
else |
|
| 220 |
begin |
|
| 221 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. keeping floating-point numbers@,"); |
|
| 222 |
prog |
|
| 223 |
end in |
|
| 201 | 224 |
Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog); |
| 225 |
|
|
| 202 | 226 |
(* Checking array accesses *) |
| 203 | 227 |
if !Options.check then |
| 204 | 228 |
begin |
| 205 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. array access checks@,");
|
|
| 229 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. checking array accesses@,");
|
|
| 206 | 230 |
Access.check_prog prog; |
| 207 | 231 |
end; |
| 208 | 232 |
|
| 233 |
prog, dependencies |
|
| 234 |
|
|
| 235 |
(* from source to machine code, with optimization *) |
|
| 236 |
let stage2 prog = |
|
| 209 | 237 |
(* Computation of node equation scheduling. It also breaks dependency cycles |
| 210 | 238 |
and warns about unused input or memory variables *) |
| 211 | 239 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. scheduling@,"); |
| 212 | 240 |
let prog, node_schs = Scheduling.schedule_prog prog in |
| 213 |
Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_warning_unused node_schs);
|
|
| 241 |
Log.report ~level:1 (fun fmt -> fprintf fmt "%a" Scheduling.pp_warning_unused node_schs);
|
|
| 214 | 242 |
Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_schedule node_schs); |
| 215 | 243 |
Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_fanin_table node_schs); |
| 244 |
Log.report ~level:5 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_dep_graph node_schs); |
|
| 216 | 245 |
Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog); |
| 217 | 246 |
|
| 218 |
(* Optimization of prog: |
|
| 219 |
- Unfold consts |
|
| 220 |
- eliminate trivial expressions |
|
| 221 |
*) |
|
| 222 |
let prog = |
|
| 223 |
if !Options.optimization >= 5 then |
|
| 224 |
begin |
|
| 225 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. constants elimination@,"); |
|
| 226 |
Optimize_prog.prog_unfold_consts prog |
|
| 227 |
end |
|
| 228 |
else |
|
| 229 |
prog |
|
| 230 |
in |
|
| 247 |
|
|
| 248 |
(* TODO Salsa optimize prog: |
|
| 249 |
- emits warning for programs with pre inside expressions |
|
| 250 |
- make sure each node arguments and memory is bounded by a local annotation |
|
| 251 |
- introduce fresh local variables for each real pure subexpression |
|
| 252 |
*) |
|
| 231 | 253 |
(* DFS with modular code generation *) |
| 232 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines generation@,");
|
|
| 254 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines generation@ ");
|
|
| 233 | 255 |
let machine_code = Machine_code.translate_prog prog node_schs in |
| 234 | 256 |
|
| 235 |
Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
|
|
| 257 |
Log.report ~level:4 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
|
|
| 236 | 258 |
(Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine) |
| 237 |
machine_code); |
|
| 259 |
machine_code);
|
|
| 238 | 260 |
|
| 239 | 261 |
(* Optimize machine code *) |
| 240 | 262 |
let machine_code = |
| 241 | 263 |
if !Options.optimization >= 4 && !Options.output <> "horn" then |
| 242 | 264 |
begin |
| 243 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines optimization (phase 3)@,");
|
|
| 265 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines optimization: common sub-expression elimination@,");
|
|
| 244 | 266 |
Optimize_machine.machines_cse machine_code |
| 245 | 267 |
end |
| 246 | 268 |
else |
| 247 | 269 |
machine_code |
| 248 | 270 |
in |
| 249 |
|
|
| 250 | 271 |
(* Optimize machine code *) |
| 251 |
let machine_code =
|
|
| 272 |
let machine_code, removed_table =
|
|
| 252 | 273 |
if !Options.optimization >= 2 && !Options.output <> "horn" then |
| 253 | 274 |
begin |
| 254 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines optimization (phase 1)@,");
|
|
| 275 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines optimization: constants inlining@,");
|
|
| 255 | 276 |
Optimize_machine.machines_unfold (Corelang.get_consts prog) node_schs machine_code |
| 256 | 277 |
end |
| 257 | 278 |
else |
| 258 |
machine_code |
|
| 259 |
in |
|
| 279 |
machine_code, IMap.empty
|
|
| 280 |
in
|
|
| 260 | 281 |
(* Optimize machine code *) |
| 261 |
let machine_code = |
|
| 282 |
let machine_code =
|
|
| 262 | 283 |
if !Options.optimization >= 3 && !Options.output <> "horn" then |
| 263 | 284 |
begin |
| 264 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines optimization (phase 2)@,"); |
|
| 265 |
Optimize_machine.machines_fusion (Optimize_machine.machines_reuse_variables machine_code node_schs) |
|
| 285 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines optimization: minimize stack usage by reusing variables@,"); |
|
| 286 |
let node_schs = Scheduling.remove_prog_inlined_locals removed_table node_schs in |
|
| 287 |
let reuse_tables = Scheduling.compute_prog_reuse_table node_schs in |
|
| 288 |
Optimize_machine.machines_fusion (Optimize_machine.machines_reuse_variables machine_code reuse_tables) |
|
| 266 | 289 |
end |
| 267 | 290 |
else |
| 268 | 291 |
machine_code |
| 269 | 292 |
in |
| 293 |
|
|
| 294 |
(* Salsa optimize machine code *) |
|
| 295 |
(* |
|
| 296 |
let machine_code = |
|
| 297 |
if !Options.salsa_enabled then |
|
| 298 |
begin |
|
| 299 |
check_main (); |
|
| 300 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. salsa machines optimization: optimizing floating-point accuracy with Salsa@,"); |
|
| 301 |
(* Selecting float constants for Salsa *) |
|
| 302 |
let constEnv = List.fold_left ( |
|
| 303 |
fun accu c_topdecl -> |
|
| 304 |
match c_topdecl.top_decl_desc with |
|
| 305 |
| Const c when Types.is_real_type c.const_type -> |
|
| 306 |
(c.const_id, c.const_value) :: accu |
|
| 307 |
| _ -> accu |
|
| 308 |
) [] (Corelang.get_consts prog) |
|
| 309 |
in |
|
| 310 |
List.map |
|
| 311 |
(Machine_salsa_opt.machine_t2machine_t_optimized_by_salsa constEnv) |
|
| 312 |
machine_code |
|
| 313 |
end |
|
| 314 |
else |
|
| 315 |
machine_code |
|
| 316 |
in |
|
| 317 |
Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@ " |
|
| 318 |
(Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine) |
|
| 319 |
machine_code); |
|
| 320 |
*) |
|
| 321 |
machine_code |
|
| 270 | 322 |
|
| 271 |
if !Options.optimization >= 2 then |
|
| 272 |
begin |
|
| 273 |
Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," |
|
| 274 |
(Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine) |
|
| 275 |
machine_code); |
|
| 276 |
end; |
|
| 277 | 323 |
|
| 278 |
(* Printing code *) |
|
| 324 |
(* printing code *) |
|
| 325 |
let stage3 prog machine_code dependencies basename = |
|
| 279 | 326 |
let basename = Filename.basename basename in |
| 280 |
let destname = !Options.dest_dir ^ "/" ^ basename in |
|
| 281 |
let _ = match !Options.output with |
|
| 282 |
| "C" -> |
|
| 283 |
begin |
|
| 284 |
let alloc_header_file = destname ^ "_alloc.h" in (* Could be changed *) |
|
| 285 |
let source_lib_file = destname ^ ".c" in (* Could be changed *) |
|
| 286 |
let source_main_file = destname ^ "_main.c" in (* Could be changed *) |
|
| 287 |
let makefile_file = destname ^ ".makefile" in (* Could be changed *) |
|
| 288 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. C code generation@,"); |
|
| 289 |
C_backend.translate_to_c |
|
| 290 |
alloc_header_file source_lib_file source_main_file makefile_file |
|
| 291 |
basename prog machine_code dependencies |
|
| 292 |
end |
|
| 293 |
| "java" -> |
|
| 294 |
begin |
|
| 295 |
failwith "Sorry, but not yet supported !" |
|
| 296 |
(*let source_file = basename ^ ".java" in |
|
| 297 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. opening file %s@,@?" source_file); |
|
| 298 |
let source_out = open_out source_file in |
|
| 299 |
let source_fmt = formatter_of_out_channel source_out in |
|
| 300 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. java code generation@,@?"); |
|
| 301 |
Java_backend.translate_to_java source_fmt basename normalized_prog machine_code;*) |
|
| 302 |
end |
|
| 303 |
| "horn" -> |
|
| 304 |
begin |
|
| 305 |
let source_file = destname ^ ".smt2" in (* Could be changed *) |
|
| 306 |
let source_out = open_out source_file in |
|
| 307 |
let fmt = formatter_of_out_channel source_out in |
|
| 308 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. hornification@,"); |
|
| 309 |
Horn_backend.translate fmt basename prog machine_code; |
|
| 310 |
(* Tracability file if option is activated *) |
|
| 311 |
if !Options.traces then ( |
|
| 312 |
let traces_file = destname ^ ".traces.xml" in (* Could be changed *) |
|
| 313 |
let traces_out = open_out traces_file in |
|
| 314 |
let fmt = formatter_of_out_channel traces_out in |
|
| 315 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. tracing info@,"); |
|
| 316 |
Horn_backend.traces_file fmt basename prog machine_code; |
|
| 317 |
) |
|
| 318 |
end |
|
| 319 |
| "lustre" -> |
|
| 327 |
match !Options.output with |
|
| 328 |
"C" -> |
|
| 320 | 329 |
begin |
| 321 |
let source_file = destname ^ ".lustrec.lus" in (* Could be changed *) |
|
| 322 |
let source_out = open_out source_file in |
|
| 323 |
let fmt = formatter_of_out_channel source_out in |
|
| 324 |
Printers.pp_prog fmt prog; |
|
| 325 |
(* Lustre_backend.translate fmt basename normalized_prog machine_code *) |
|
| 326 |
() |
|
| 330 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. C code generation@,"); |
|
| 331 |
C_backend.translate_to_c |
|
| 332 |
(* alloc_header_file source_lib_file source_main_file makefile_file *) |
|
| 333 |
basename prog machine_code dependencies |
|
| 327 | 334 |
end |
| 335 |
| "java" -> |
|
| 336 |
begin |
|
| 337 |
(Format.eprintf "internal error: sorry, but not yet supported !"; assert false) |
|
| 338 |
(*let source_file = basename ^ ".java" in |
|
| 339 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. opening file %s@,@?" source_file); |
|
| 340 |
let source_out = open_out source_file in |
|
| 341 |
let source_fmt = formatter_of_out_channel source_out in |
|
| 342 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. java code generation@,@?"); |
|
| 343 |
Java_backend.translate_to_java source_fmt basename normalized_prog machine_code;*) |
|
| 344 |
end |
|
| 345 |
| "horn" -> |
|
| 346 |
begin |
|
| 347 |
let destname = !Options.dest_dir ^ "/" ^ basename in |
|
| 348 |
let source_file = destname ^ ".smt2" in (* Could be changed *) |
|
| 349 |
let source_out = open_out source_file in |
|
| 350 |
let fmt = formatter_of_out_channel source_out in |
|
| 351 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. hornification@,"); |
|
| 352 |
Horn_backend.translate fmt basename prog (Machine_code.arrow_machine::machine_code); |
|
| 353 |
(* Tracability file if option is activated *) |
|
| 354 |
if !Options.traces then ( |
|
| 355 |
let traces_file = destname ^ ".traces.xml" in (* Could be changed *) |
|
| 356 |
let traces_out = open_out traces_file in |
|
| 357 |
let fmt = formatter_of_out_channel traces_out in |
|
| 358 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. tracing info@,"); |
|
| 359 |
Horn_backend_traces.traces_file fmt basename prog machine_code; |
|
| 360 |
) |
|
| 361 |
end |
|
| 362 |
| "lustre" -> |
|
| 363 |
begin |
|
| 364 |
let destname = !Options.dest_dir ^ "/" ^ basename in |
|
| 365 |
let source_file = destname ^ ".lustrec.lus" in (* Could be changed *) |
|
| 366 |
let source_out = open_out source_file in |
|
| 367 |
let fmt = formatter_of_out_channel source_out in |
|
| 368 |
Printers.pp_prog fmt prog; |
|
| 369 |
(* Lustre_backend.translate fmt basename normalized_prog machine_code *) |
|
| 370 |
() |
|
| 371 |
end |
|
| 372 |
|
|
| 373 |
| _ -> assert false |
|
| 374 |
|
|
| 375 |
(* compile a .lus source file *) |
|
| 376 |
let rec compile_source dirname basename extension = |
|
| 377 |
let source_name = dirname ^ "/" ^ basename ^ extension in |
|
| 378 |
|
|
| 379 |
Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>"); |
|
| 328 | 380 |
|
| 329 |
| _ -> assert false |
|
| 381 |
(* Parsing source *) |
|
| 382 |
let prog = parse_source source_name in |
|
| 383 |
|
|
| 384 |
let prog = |
|
| 385 |
if !Options.mpfr then |
|
| 386 |
Mpfr.mpfr_module::prog |
|
| 387 |
else |
|
| 388 |
prog |
|
| 389 |
in |
|
| 390 |
let prog, dependencies = |
|
| 391 |
try |
|
| 392 |
stage1 prog dirname basename |
|
| 393 |
with StopPhase1 prog -> ( |
|
| 394 |
if !Options.lusi then |
|
| 395 |
begin |
|
| 396 |
let lusi_ext = extension ^ "i" in |
|
| 397 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating interface file %s@," (basename ^ lusi_ext)); |
|
| 398 |
print_lusi prog dirname basename lusi_ext; |
|
| 399 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@."); |
|
| 400 |
exit 0 |
|
| 401 |
end |
|
| 402 |
else |
|
| 403 |
assert false |
|
| 404 |
) |
|
| 330 | 405 |
in |
| 331 |
begin |
|
| 332 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. done @ @]@."); |
|
| 333 |
(* We stop the process here *) |
|
| 334 |
exit 0 |
|
| 335 |
end |
|
| 406 |
|
|
| 407 |
let machine_code = |
|
| 408 |
stage2 prog |
|
| 409 |
in |
|
| 410 |
if Scopes.Plugin.show_scopes () then |
|
| 411 |
begin |
|
| 412 |
let all_scopes = Scopes.compute_scopes prog !Options.main_node in |
|
| 413 |
(* Printing scopes *) |
|
| 414 |
if !Options.verbose_level >= 1 then |
|
| 415 |
Format.printf "Possible scopes are:@ "; |
|
| 416 |
Format.printf "@[<v>%a@ @]@.@?" Scopes.print_scopes all_scopes; |
|
| 417 |
exit 0 |
|
| 418 |
|
|
| 419 |
end; |
|
| 420 |
|
|
| 421 |
let machine_code = |
|
| 422 |
if Scopes.Plugin.is_active () then |
|
| 423 |
Scopes.Plugin.process_scopes !Options.main_node prog machine_code |
|
| 424 |
else |
|
| 425 |
machine_code |
|
| 426 |
in |
|
| 427 |
|
|
| 428 |
stage3 prog machine_code dependencies basename; |
|
| 429 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. done @ @]@."); |
|
| 430 |
(* We stop the process here *) |
|
| 431 |
exit 0 |
|
| 336 | 432 |
|
| 337 | 433 |
let compile dirname basename extension = |
| 338 | 434 |
match extension with |
| ... | ... | |
| 356 | 452 |
raise (Arg.Bad ("Can only compile *.lusi, *.lus or *.ec files"))
|
| 357 | 453 |
|
| 358 | 454 |
let _ = |
| 455 |
Global.initialize (); |
|
| 359 | 456 |
Corelang.add_internal_funs (); |
| 360 | 457 |
try |
| 361 | 458 |
Printexc.record_backtrace true; |
| 362 |
Arg.parse Options.options anonymous usage |
|
| 459 |
|
|
| 460 |
let options = Options.options @ |
|
| 461 |
List.flatten ( |
|
| 462 |
List.map Options.plugin_opt [ |
|
| 463 |
Scopes.Plugin.name, Scopes.Plugin.activate, Scopes.Plugin.options |
|
| 464 |
] |
|
| 465 |
) |
|
| 466 |
in |
|
| 467 |
|
|
| 468 |
Arg.parse options anonymous usage |
|
| 363 | 469 |
with |
| 364 |
| Parse.Syntax_err _ | Lexer_lustre.Error _
|
|
| 470 |
| Parse.Error _ |
|
| 365 | 471 |
| Types.Error (_,_) | Clocks.Error (_,_) |
| 366 | 472 |
| Corelang.Error _ (*| Task_set.Error _*) |
| 367 |
| Causality.Cycle _ -> exit 1
|
|
| 473 |
| Causality.Error _ -> exit 1
|
|
| 368 | 474 |
| Sys_error msg -> (eprintf "Failure: %s@." msg) |
| 369 | 475 |
| exc -> (Utils.track_exception (); raise exc) |
| 370 | 476 |
|
Also available in: Unified diff