1Clflags(3) OCaml library Clflags(3)
2
6 Clflags - Command line flags
7
9 Module Clflags
10
12 Module Clflags
13 : sig end
14 Command line flags
17 module Int_arg_helper : sig end
23 Optimization parameters represented as ints indexed by round number.
26 module Float_arg_helper : sig end
29 Optimization parameters represented as floats indexed by round number.
32 type inlining_arguments = {
35 inline_call_cost : int option ;
36 inline_alloc_cost : int option ;
37 inline_prim_cost : int option ;
38 inline_branch_cost : int option ;
39 inline_indirect_cost : int option ;
40 inline_lifting_benefit : int option ;
41 inline_branch_factor : float option ;
42 inline_max_depth : int option ;
43 inline_max_unroll : int option ;
44 inline_threshold : float option ;
45 inline_toplevel_threshold : int option ;
46 }
47 val classic_arguments : inlining_arguments
53 val o1_arguments : inlining_arguments
58 val o2_arguments : inlining_arguments
63 val o3_arguments : inlining_arguments
68 val use_inlining_arguments_set : ?round:int -> inlining_arguments ->
73 unit
74 Set all the inlining arguments for a round. The default is set if no
76 round is provided.
77 val objfiles : string list ref
81 val ccobjs : string list ref
86 val dllibs : string list ref
91 val compile_only : bool ref
96 val output_name : string option ref
101 val include_dirs : string list ref
106 val no_std_include : bool ref
111 val print_types : bool ref
116 val make_archive : bool ref
121 val debug : bool ref
126 val debug_full : bool ref
131 val unsafe : bool ref
136 val use_linscan : bool ref
141 val link_everything : bool ref
146 val custom_runtime : bool ref
151 val no_check_prims : bool ref
156 val bytecode_compatible_32 : bool ref
161 val output_c_object : bool ref
166 val output_complete_object : bool ref
171 val output_complete_executable : bool ref
176 val all_ccopts : string list ref
181 val classic : bool ref
186 val nopervasives : bool ref
191 val match_context_rows : int ref
196 val open_modules : string list ref
201 val preprocessor : string option ref
206 val all_ppx : string list ref
211 val absname : bool ref
216 val annotations : bool ref
221 val binary_annotations : bool ref
226 val use_threads : bool ref
231 val noassert : bool ref
236 val verbose : bool ref
241 val noprompt : bool ref
246 val nopromptcont : bool ref
251 val init_file : string option ref
256 val noinit : bool ref
261 val noversion : bool ref
266 val use_prims : string ref
271 val use_runtime : string ref
276 val plugin : bool ref
281 val principal : bool ref
286 val real_paths : bool ref
291 val recursive_types : bool ref
296 val strict_sequence : bool ref
301 val strict_formats : bool ref
306 val applicative_functors : bool ref
311 val make_runtime : bool ref
316 val c_compiler : string option ref
321 val no_auto_link : bool ref
326 val dllpaths : string list ref
331 val make_package : bool ref
336 val for_package : string option ref
341 val error_size : int ref
346 val float_const_prop : bool ref
351 val transparent_modules : bool ref
356 val unique_ids : bool ref
361 val locations : bool ref
366 val dump_source : bool ref
371 val dump_parsetree : bool ref
376 val dump_typedtree : bool ref
381 val dump_rawlambda : bool ref
386 val dump_lambda : bool ref
391 val dump_rawclambda : bool ref
396 val dump_clambda : bool ref
401 val dump_rawflambda : bool ref
406 val dump_flambda : bool ref
411 val dump_flambda_let : int option ref
416 val dump_instr : bool ref
421 val keep_camlprimc_file : bool ref
426 val keep_asm_file : bool ref
431 val optimize_for_speed : bool ref
436 val dump_cmm : bool ref
441 val dump_selection : bool ref
446 val dump_cse : bool ref
451 val dump_live : bool ref
456 val dump_spill : bool ref
461 val dump_split : bool ref
466 val dump_interf : bool ref
471 val dump_prefer : bool ref
476 val dump_regalloc : bool ref
481 val dump_reload : bool ref
486 val dump_scheduling : bool ref
491 val dump_linear : bool ref
496 val dump_interval : bool ref
501 val keep_startup_file : bool ref
506 val dump_combine : bool ref
511 val native_code : bool ref
516 val default_inline_threshold : float
521 val inline_threshold : Float_arg_helper.parsed ref
526 val inlining_report : bool ref
531 val simplify_rounds : int option ref
536 val default_simplify_rounds : int ref
541 val rounds : unit -> int
546 val default_inline_max_unroll : int
551 val inline_max_unroll : Int_arg_helper.parsed ref
556 val default_inline_toplevel_threshold : int
561 val inline_toplevel_threshold : Int_arg_helper.parsed ref
566 val default_inline_call_cost : int
571 val default_inline_alloc_cost : int
576 val default_inline_prim_cost : int
581 val default_inline_branch_cost : int
586 val default_inline_indirect_cost : int
591 val default_inline_lifting_benefit : int
596 val inline_call_cost : Int_arg_helper.parsed ref
601 val inline_alloc_cost : Int_arg_helper.parsed ref
606 val inline_prim_cost : Int_arg_helper.parsed ref
611 val inline_branch_cost : Int_arg_helper.parsed ref
616 val inline_indirect_cost : Int_arg_helper.parsed ref
621 val inline_lifting_benefit : Int_arg_helper.parsed ref
626 val default_inline_branch_factor : float
631 val inline_branch_factor : Float_arg_helper.parsed ref
636 val dont_write_files : bool ref
641 val std_include_flag : string -> string
646 val std_include_dir : unit -> string list
651 val shared : bool ref
656 val dlcode : bool ref
661 val pic_code : bool ref
666 val runtime_variant : string ref
671 val with_runtime : bool ref
676 val force_slash : bool ref
681 val keep_docs : bool ref
686 val keep_locs : bool ref
691 val unsafe_string : bool ref
696 val opaque : bool ref
701 val profile_columns : Profile.column list ref
706 val flambda_invariant_checks : bool ref
711 val unbox_closures : bool ref
716 val unbox_closures_factor : int ref
721 val default_unbox_closures_factor : int
726 val unbox_free_vars_of_closures : bool ref
731 val unbox_specialised_args : bool ref
736 val clambda_checks : bool ref
741 val cmm_invariants : bool ref
746 val default_inline_max_depth : int
751 val inline_max_depth : Int_arg_helper.parsed ref
756 val remove_unused_arguments : bool ref
761 val dump_flambda_verbose : bool ref
766 val classic_inlining : bool ref
771 val afl_instrument : bool ref
776 val afl_inst_ratio : int ref
781 val function_sections : bool ref
786 val all_passes : string list ref
791 val dumped_pass : string -> bool
796 val set_dumped_pass : string -> bool -> unit
801 val dump_into_file : bool ref
806 type 'a env_reader = {
810 parse : string -> 'a option ;
811 print : 'a -> string ;
812 usage : string ;
813 env_var : string ;
814 }
815 val color : Misc.Color.setting option ref
821 val color_reader : Misc.Color.setting env_reader
826 val error_style : Misc.Error_style.setting option ref
831 val error_style_reader : Misc.Error_style.setting env_reader
836 val unboxed_types : bool ref
841 val insn_sched : bool ref
846 val insn_sched_default : bool
851 module Compiler_pass : sig end
855 val stop_after : Compiler_pass.t option ref
861 val should_stop_after : Compiler_pass.t -> bool
866 val set_save_ir_after : Compiler_pass.t -> bool -> unit
871 val should_save_ir_after : Compiler_pass.t -> bool
876 val arg_spec : (string * Arg.spec * string) list ref
881 val add_arguments : string -> (string * Arg.spec * string) list -> unit
886 val create_usage_msg : string -> string
891 val print_arguments : string -> unit
896 val reset_arguments : unit -> unit
901OCamldoc 2022-02-04 Clflags(3)