source: Deliverables/D2.2/8051-indexed-labels-branch/src/options.mli @ 1507

Last change on this file since 1507 was 1507, checked in by tranquil, 8 years ago
  • added an option to not use ternary expressions in costs, to accomodate frama-c explosion of such expressions
  • corrected some typos in comments
  • added a check for well behaved for loops in loop unrolling, but intelligent unrolling is not done yet
  • TODO: peeling and unrolling can contradict preciseness (with difference between introduced branches around 2 cycles). I guess it can be corrected easily
File size: 1.2 KB
Line 
1(** This module defines the compiler general options. *)
2
3(** {2 Source language} *)
4val set_source_language : string -> unit
5val get_source_language : unit -> Languages.name
6
7(** {2 Target language} *)
8val set_target_language : string -> unit
9val get_target_language : unit -> Languages.name
10
11(** {2 Interpretation requests} *)
12val request_interpretation   : bool -> unit
13val interpretation_requested : unit -> bool
14
15(** {2 Trace requests} *)
16val request_trace   : bool -> unit
17val trace_requested : unit -> bool
18
19(** {2 Annotation requests} *)
20val request_annotation   : bool -> unit
21val annotation_requested : unit -> bool
22
23(** {2 Input files} *)
24val add_input_file : string -> unit
25val input_files    : unit -> string list
26
27(** {2 Output files} *)
28val set_output_files : string -> unit
29val get_output_files : unit -> string option
30
31(** {2 Verbose mode} *)
32val is_debug_enabled : unit -> bool
33
34(** {2 Cost ternary expressions} *)
35val is_cost_ternary_enabled : unit -> bool
36
37(** {2 Intermediate transformations } *)
38val get_transformations : unit -> Languages.transformation list
39(*
40(** {2 Print results requests} *)
41val is_print_result_enabled : unit -> bool
42*)
43
44(** {2 Developers' playground} *)
45val is_dev_test_enabled : unit -> bool
Note: See TracBrowser for help on using the repository browser.