Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

[ast2C] print all basic operators

Browse Source
This commit is contained in:
dsac 2022-12-17 23:58:45 +01:00
parent 233b385608
commit 791af71913
1 changed files with 20 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/cprint.ml
View File

@ -90,6 +90,14 @@ let rec cp_value fmt (value, (hloc: (ident * bool, string * int) Hashtbl.t)) =
| BOp_or -> "||" | BOp_or -> "||"
| BOp_arrow -> failwith "[cprint.ml] string_of_binop undefined on (->)" | BOp_arrow -> failwith "[cprint.ml] string_of_binop undefined on (->)"
in in
let string_of_compop = function
| COp_eq -> "=="
| COp_neq -> "!="
| COp_le -> "<="
| COp_lt -> "<"
| COp_ge -> ">="
| COp_gt -> ">"
in
match value with match value with
| CVariable (CVInput s) -> Format.fprintf fmt "%s" s | CVariable (CVInput s) -> Format.fprintf fmt "%s" s
| CVariable (CVStored (arr, idx)) -> Format.fprintf fmt "state->%s[%d]" arr idx | CVariable (CVStored (arr, idx)) -> Format.fprintf fmt "state->%s[%d]" arr idx
@ -114,14 +122,16 @@ let rec cp_value fmt (value, (hloc: (ident * bool, string * int) Hashtbl.t)) =
| CBinOp (op, v, v') -> | CBinOp (op, v, v') ->
Format.fprintf fmt "(%a) %s (%a)" Format.fprintf fmt "(%a) %s (%a)"
cp_value (v, hloc) (string_of_binop op) cp_value (v', hloc) cp_value (v, hloc) (string_of_binop op) cp_value (v', hloc)
(**| CComp of compop * c_value * c_value*) | CComp (op, v, v') ->
| _ -> failwith "[cprint.ml] TODO!" Format.fprintf fmt "(%a) %s (%a)"
cp_value (v, hloc) (string_of_compop op) cp_value (v', hloc)
| CMonOp (MOp_pre, _) ->
failwith "[cprint.ml] The linearization should have removed this case."
(** The following function prints one transformed equation of the program into a (** The following function prints one transformed equation of the program into a
* set of instruction ending in assignments. *) * set of instruction ending in assignments. *)
let cp_expression fmt (expr, hloc) = let rec cp_expression fmt (expr, hloc) =
let prefix = "\t" in let prefix = "\t" in
match expr with match expr with
| CAssign (CVStored (arr, idx), value) -> | CAssign (CVStored (arr, idx), value) ->
@ -130,7 +140,11 @@ let cp_expression fmt (expr, hloc) =
prefix arr idx cp_value (value, hloc) prefix arr idx cp_value (value, hloc)
end end
| CAssign (CVInput _, _) -> failwith "should not happend." | CAssign (CVInput _, _) -> failwith "should not happend."
(*| CSeq of c_expression * c_expression | CSeq (e, e') ->
| CIf of c_value * c_block * c_block Format.fprintf fmt "%a%a"
cp_expression (e, hloc)
cp_expression (e', hloc)
(**| CIf of c_value * c_block * c_block
| CApplication of c_var list * c_expression*) | CApplication of c_var list * c_expression*)
| _ -> failwith "[cprint.ml] TODO!" | _ -> failwith "[cprint.ml] TODO!"