Clflags(3) OCaml library Clflags(3) NAME Clflags - Command line flags Module Module Clflags Documentation Module Clflags : sig end Command line flags module Int_arg_helper : sig end Optimization parameters represented as ints indexed by round number. module Float_arg_helper : sig end Optimization parameters represented as floats indexed by round number. type inlining_arguments = { inline_call_cost : int option ; inline_alloc_cost : int option ; inline_prim_cost : int option ; inline_branch_cost : int option ; inline_indirect_cost : int option ; inline_lifting_benefit : int option ; inline_branch_factor : float option ; inline_max_depth : int option ; inline_max_unroll : int option ; inline_threshold : float option ; inline_toplevel_threshold : int option ; } val classic_arguments : inlining_arguments val o1_arguments : inlining_arguments val o2_arguments : inlining_arguments val o3_arguments : inlining_arguments val use_inlining_arguments_set : ?round:int -> inlining_arguments -> unit Set all the inlining arguments for a round. The default is set if no round is provided. val objfiles : string list ref val ccobjs : string list ref val dllibs : string list ref val cmi_file : string option ref val compile_only : bool ref val output_name : string option ref val include_dirs : string list ref val no_std_include : bool ref val no_cwd : bool ref val print_types : bool ref val make_archive : bool ref val debug : bool ref val debug_full : bool ref val unsafe : bool ref val use_linscan : bool ref val link_everything : bool ref val custom_runtime : bool ref val no_check_prims : bool ref val bytecode_compatible_32 : bool ref val output_c_object : bool ref val output_complete_object : bool ref val output_complete_executable : bool ref val all_ccopts : string list ref val classic : bool ref val nopervasives : bool ref val match_context_rows : int ref val safer_matching : bool ref val open_modules : string list ref val preprocessor : string option ref val all_ppx : string list ref val absname : bool ref val annotations : bool ref val binary_annotations : bool ref val use_threads : bool ref val noassert : bool ref val verbose : bool ref val noprompt : bool ref val nopromptcont : bool ref val init_file : string option ref val noinit : bool ref val noversion : bool ref val use_prims : string ref val use_runtime : string ref val plugin : bool ref val principal : bool ref val real_paths : bool ref val recursive_types : bool ref val strict_sequence : bool ref val strict_formats : bool ref val applicative_functors : bool ref val make_runtime : bool ref val c_compiler : string option ref val no_auto_link : bool ref val dllpaths : string list ref val make_package : bool ref val for_package : string option ref val error_size : int ref val float_const_prop : bool ref val transparent_modules : bool ref val unique_ids : bool ref val locations : bool ref val dump_source : bool ref val dump_parsetree : bool ref val dump_typedtree : bool ref val dump_shape : bool ref val dump_rawlambda : bool ref val dump_lambda : bool ref val dump_rawclambda : bool ref val dump_clambda : bool ref val dump_rawflambda : bool ref val dump_flambda : bool ref val dump_flambda_let : int option ref val dump_instr : bool ref val keep_camlprimc_file : bool ref val keep_asm_file : bool ref val optimize_for_speed : bool ref val dump_cmm : bool ref val dump_selection : bool ref val dump_cse : bool ref val dump_live : bool ref val dump_spill : bool ref val dump_split : bool ref val dump_interf : bool ref val dump_prefer : bool ref val dump_regalloc : bool ref val dump_reload : bool ref val dump_scheduling : bool ref val dump_linear : bool ref val dump_interval : bool ref val keep_startup_file : bool ref val dump_combine : bool ref val native_code : bool ref val default_inline_threshold : float val inline_threshold : Float_arg_helper.parsed ref val inlining_report : bool ref val simplify_rounds : int option ref val default_simplify_rounds : int ref val rounds : unit -> int val default_inline_max_unroll : int val inline_max_unroll : Int_arg_helper.parsed ref val default_inline_toplevel_threshold : int val inline_toplevel_threshold : Int_arg_helper.parsed ref val default_inline_call_cost : int val default_inline_alloc_cost : int val default_inline_prim_cost : int val default_inline_branch_cost : int val default_inline_indirect_cost : int val default_inline_lifting_benefit : int val inline_call_cost : Int_arg_helper.parsed ref val inline_alloc_cost : Int_arg_helper.parsed ref val inline_prim_cost : Int_arg_helper.parsed ref val inline_branch_cost : Int_arg_helper.parsed ref val inline_indirect_cost : Int_arg_helper.parsed ref val inline_lifting_benefit : Int_arg_helper.parsed ref val default_inline_branch_factor : float val inline_branch_factor : Float_arg_helper.parsed ref val dont_write_files : bool ref val std_include_flag : string -> string val std_include_dir : unit -> string list val shared : bool ref val dlcode : bool ref val pic_code : bool ref val runtime_variant : string ref val with_runtime : bool ref val force_slash : bool ref val keep_docs : bool ref val keep_locs : bool ref val opaque : bool ref val profile_columns : Profile.column list ref val flambda_invariant_checks : bool ref val unbox_closures : bool ref val unbox_closures_factor : int ref val default_unbox_closures_factor : int val unbox_free_vars_of_closures : bool ref val unbox_specialised_args : bool ref val clambda_checks : bool ref val cmm_invariants : bool ref val default_inline_max_depth : int val inline_max_depth : Int_arg_helper.parsed ref val remove_unused_arguments : bool ref val dump_flambda_verbose : bool ref val classic_inlining : bool ref val afl_instrument : bool ref val afl_inst_ratio : int ref val function_sections : bool ref val all_passes : string list ref val dumped_pass : string -> bool val set_dumped_pass : string -> bool -> unit val dump_into_file : bool ref val dump_dir : string option ref type 'a env_reader = { parse : string -> 'a option ; print : 'a -> string ; usage : string ; env_var : string ; } val color : Misc.Color.setting option ref val color_reader : Misc.Color.setting env_reader val error_style : Misc.Error_style.setting option ref val error_style_reader : Misc.Error_style.setting env_reader val unboxed_types : bool ref val insn_sched : bool ref val insn_sched_default : bool module Compiler_pass : sig end val stop_after : Compiler_pass.t option ref val should_stop_after : Compiler_pass.t -> bool val set_save_ir_after : Compiler_pass.t -> bool -> unit val should_save_ir_after : Compiler_pass.t -> bool val arg_spec : (string * Arg.spec * string) list ref val add_arguments : string -> (string * Arg.spec * string) list -> unit val create_usage_msg : string -> string val print_arguments : string -> unit val reset_arguments : unit -> unit OCamldoc 2024-02-29 Clflags(3)