jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Removed unused functions in C generation

Browse source
This commit is contained in:
Brice Gelineau 2011-07-21 18:01:32 +02:00
parent de71831b2c
commit 9fb42a5feb
2 changed files with 2 additions and 55 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

55
compiler/obc/c/cgen.ml
View file

@ -86,9 +86,6 @@ let is_stateful n =
(** {2 Translation from Obc to C using our AST.} *)
(** [fold_stm_list] is an utility function that transforms a list of statements
into one statements using Cseq constructors. *)
(** [ctype_of_type mods oty] translates the Obc type [oty] to a C
type. We assume that identified types have already been defined
before use. [mods] is an accumulator for modules to be opened for
@ -106,14 +103,6 @@ let rec ctype_of_otype oty =
| Tprod _ -> assert false
| Tinvalid -> assert false
let cvarlist_of_ovarlist vl =
let cvar_of_ovar vd =
let ty = ctype_of_otype vd.v_type in
let ty = if Linearity.is_linear vd.v_linearity then pointer_to ty else ty in
name vd.v_ident, ty
in
List.map cvar_of_ovar vl
let copname = function
| "=" -> "==" | "<>" -> "!=" | "&" -> "&&" | "or" -> "||" | "+" -> "+"
| "-" -> "-" | "*" -> "*" | "/" -> "/" | "*." -> "*" | "/." -> "/"
@ -126,28 +115,6 @@ let copname = function
let cvar_of_vd vd =
name vd.v_ident, ctype_of_otype vd.v_type
(** If idx_list = [e1;..;ep], returns the lhs e[e1]...[ep] *)
let rec csubscript_of_e_list e idx_list =
match idx_list with
| [] -> e
| idx::idx_list ->
Carray (csubscript_of_e_list e idx_list, idx)
(** If idx_list = [i1;..;ip], returns the lhs e[i1]...[ip] *)
let csubscript_of_idx_list e idx_list =
csubscript_of_e_list e (List.map (fun i -> Cconst (Ccint i)) idx_list)
(** Generate the expression to copy [src] into [dest], where bounds
represents the bounds of these two arrays. *)
let rec copy_array src dest bounds =
match bounds with
| [] -> [Caffect (dest, src)]
| n::bounds ->
let x = gen_symbol () in
[Cfor(x, Cconst (Ccint 0), n,
copy_array (Carray (src, Cvar x))
(CLarray (dest, Cvar x)) bounds)]
(** @return the unaliased version of a type. *)
let rec unalias_ctype cty = match cty with
| Cty_id ty_name ->
@ -616,7 +583,7 @@ let qn_append q suffix =
(** Builds the argument list of step function*)
let step_fun_args n md =
let args = cvarlist_of_ovarlist md.m_inputs in
let args = List.map cvar_of_vd md.m_inputs in
let out_arg = [("out", Cty_ptr (Cty_id (qn_append n "_out")))] in
let context_arg =
if is_stateful n then
@ -751,26 +718,6 @@ let cdefs_and_cdecls_of_class_def cd =
(** {2 Type translation} *)
let decls_of_type_decl otd =
let name = cname_of_qn otd.t_name in
match otd.t_desc with
| Type_abs -> [] (*assert false*)
| Type_alias ty -> [Cdecl_typedef (ctype_of_otype ty, name)]
| Type_enum nl ->
let name = !global_name ^ "_" ^ name in
[Cdecl_enum (name, List.map cname_of_qn nl);
Cdecl_function (name ^ "_of_string",
Cty_id otd.t_name,
[("s", Cty_ptr Cty_char)]);
Cdecl_function ("string_of_" ^ name,
Cty_ptr Cty_char,
[("x", Cty_id otd.t_name); ("buf", Cty_ptr Cty_char)])]
| Type_struct fl ->
let decls = List.map (fun f -> cname_of_qn f.Signature.f_name,
ctype_of_otype f.Signature.f_type) fl in
[Cdecl_struct (name, decls)];;
(** Translates an Obc type declaration to its C counterpart. *)
let cdefs_and_cdecls_of_type_decl otd =
let name = cname_of_qn otd.t_name in

2
compiler/obc/c/cmain.ml
View file

@ -216,7 +216,7 @@ let main_def_of_class_def cd =
split (map write_lhs_of_ty_for_vd stepm.m_outputs) in
let printf_calls = List.concat printf_calls in
let cinp = cvarlist_of_ovarlist stepm.m_inputs in
let cinp = List.map cvar_of_vd stepm.m_inputs in
let cout = ["res", (Cty_id (qn_append cd.cd_name "_out"))] in
let varlist =