Module Jasmin.Glob_optionsSource

Sourceval version_string : string
Sourceval outfile : string ref
Sourceval dwarf : bool ref
Sourceval debug : bool ref
Sourceval timings : bool ref
Sourceval print_list : Compiler.compiler_step list ref
Sourceval print_liveness : bool ref
Sourceval slice : string list ref
Sourceval check_safety : bool ref
Sourceval safety_param : string option ref
Sourceval safety_config : string option ref
Sourceval stop_after : Compiler.compiler_step option ref
Sourceval safety_makeconfigdoc : string option ref
Sourceval trust_aligned : bool ref
Sourceval help_version : bool ref
Sourceval help_intrinsics : bool ref
Sourcetype color =
  1. | Auto
  2. | Always
  3. | Never
Sourceval color : color ref
Sourceval lea : bool ref
Sourceval set0 : bool ref
Sourceval print_stack_alloc : bool ref
Sourceval introduce_array_copy : bool ref
Sourceval print_dependencies : bool ref
Sourceval lazy_regalloc : bool ref
Sourceval verbosity : int ref
Sourceval stack_zero_strategy : Stack_zero_strategy.stack_zero_strategy option ref
Sourceval stack_zero_strategies : (string * Stack_zero_strategy.stack_zero_strategy) list
Sourceval set_stack_zero_strategy : string -> unit
Sourceval stack_zero_size : Annotations.wsize option ref
Sourceval set_stack_zero_size : string -> unit
Sourceval target_arch : Utils.architecture ref
Sourceval set_target_arch : string -> unit
Sourcetype x86_assembly_style = [
  1. | `ATT
  2. | `Intel
]
Sourceval assembly_style : x86_assembly_style ref
Sourceval set_syntax : x86_assembly_style -> unit -> unit
Sourceval set_printing : Compiler.compiler_step -> unit -> unit
Sourceval set_stop_after : Compiler.compiler_step -> unit -> unit
Sourceval set_all_print : unit -> unit
Sourceval set_slice : string -> unit
Sourceval set_checksafety : unit -> unit
Sourceval set_safetyparam : string -> unit
Sourceval set_safetyconfig : string -> unit
Sourceval set_safety_makeconfigdoc : string -> unit
Sourceval set_color : string -> unit
Sourceval idirs : (string * string) list ref
Sourceval set_idirs : string -> unit
Sourcetype call_conv =
  1. | Linux
  2. | Windows
Sourceval call_conv : call_conv ref
Sourceval set_cc : string -> unit
Sourceval print_strings : Compiler.compiler_step -> string * string
Sourceval compiler_step_symbol : string list
Sourceval symbol2pass : string -> Compiler.compiler_step
Sourceval print_option : Compiler.compiler_step -> string * Arg.spec * string
Sourceval stop_after_option : Compiler.compiler_step -> string * Arg.spec * string
Sourceval options : (string * Arg.spec * string) list
Sourceval usage_msg : string
Sourceval eprint : Compiler.compiler_step -> (Format.formatter -> 'a -> unit) -> 'a -> unit