Project

General

Profile

« Previous | Next » 

Revision c4780a6a

Added by LĂ©lio Brun 7 months ago

work on new reset functions generation

View differences:

src/machine_code_common.ml
34 34
  | Access (t, i) -> fprintf fmt "%a[%a]" pp_val t pp_val i
35 35
  | Power (v, n)  -> fprintf fmt "(%a^%a)" pp_val v pp_val n
36 36
  | Fun (n, vl)   -> fprintf fmt "%s%a" n (pp_print_parenthesized pp_val) vl
37
  | ResetFlag     -> fprintf fmt "RESET"
37 38

  
38 39
module PrintSpec = struct
39 40

  
......
120 121
  begin match i.instr_desc with
121 122
    | MLocalAssign (i,v) -> fprintf fmt "%s := %a" i.var_id pp_val v
122 123
    | MStateAssign (i,v) -> fprintf fmt "{%s} := %a" i.var_id pp_val v
124
    | MResetAssign b     -> fprintf fmt "RESET := %a" pp_print_bool b
123 125
    | MSetReset i        -> fprintf fmt "set_reset %s" i
124 126
    | MClearReset        -> fprintf fmt "clear_reset %s" m.mname.node_id
125 127
    | MNoReset i         -> fprintf fmt "noreset %s" i
......
312 314
    (* (And (List.map (fun (l, instrs) ->
313 315
     *      Imply (Equal (Val c, Tag l), And (List.map get_instr_spec instrs)))
314 316
     *      br)) *)
315
    (MBranch (vdecl_to_val c, br))
317
    (MBranch (c, br))
318

  
319
let mk_branch' ?lustre_eq v =
320
  mk_branch ?lustre_eq (vdecl_to_val v)
316 321

  
317 322
let mk_assign ?lustre_eq x v =
318 323
  mkinstr ?lustre_eq

Also available in: Unified diff