lustrec / src / backends / backends.ml @ 1bff14ac
History | View | Annotate | Download (531 Bytes)
1 |
(* Backend-specific options *) |
---|---|
2 |
let join_guards = ref true |
3 |
|
4 |
let setup s = |
5 |
match s with |
6 |
| "emf" -> |
7 |
join_guards := false; (* guards should not be joined, in order to have only |
8 |
if c then x = e1 else x = e2 to ease |
9 |
reconstruction of flows. *) |
10 |
Options.optimization := 0; (* Optimization=0 prevents expression |
11 |
elimination. This simplifies largely the |
12 |
association of lustre expression to |
13 |
instructions *) |
14 |
| _ -> () |
15 |
|
16 |
(* Local Variables: *) |
17 |
(* compile-command: "make -k -C .." *) |
18 |
(* End: *) |