Revision 89b9e25c
Added by Xavier Thirioux about 8 years ago
| src/machine_code.ml | ||
|---|---|---|
| 240 | 240 |
LocalVar (Corelang.var_decl_of_const (Hashtbl.find Corelang.consts_table id)) |
| 241 | 241 |
|
| 242 | 242 |
let rec control_on_clock node ((m, si, j, d, s) as args) ck inst = |
| 243 |
match ck.cdesc with
|
|
| 243 |
match (Clocks.repr ck).cdesc with
|
|
| 244 | 244 |
| Con (ck1, cr, l) -> |
| 245 | 245 |
let id = const_of_carrier cr in |
| 246 | 246 |
control_on_clock node args ck1 (MBranch (translate_ident node args id, |
| ... | ... | |
| 331 | 331 |
| Some (x, l) -> [control_on_clock node args c (MBranch (translate_ident node args x, [l, [MReset i]]))] |
| 332 | 332 |
|
| 333 | 333 |
let translate_eq node ((m, si, j, d, s) as args) eq = |
| 334 |
(*Format.eprintf "translate_eq %a@." Printers.pp_node_eq eq;*)
|
|
| 334 |
(*Format.eprintf "translate_eq %a with clock %a@." Printers.pp_node_eq eq Clocks.print_ck eq.eq_rhs.expr_clock;*)
|
|
| 335 | 335 |
match eq.eq_lhs, eq.eq_rhs.expr_desc with |
| 336 | 336 |
| [x], Expr_arrow (e1, e2) -> |
| 337 | 337 |
let var_x = node_var x node in |
Also available in: Unified diff
corrected bugs in clock generalization that produced pessimistic C code (not wrong though); corrected bug with node importation policy wrt (re)declaration, (re)definition...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@194 041b043f-8d7c-46b2-b46e-ef0dd855326e