Source file timer_resolution.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
open! Core

type t =
  | Low
  | Normal
  | High
  | Custom of
      { cyc : bool option [@sexp.option]
      ; cyc_thresh : int option [@sexp.option]
      ; mtc : bool option [@sexp.option]
      ; mtc_period : int option [@sexp.option]
      ; noretcomp : bool option [@sexp.option]
      ; psb_period : int option [@sexp.option]
      }
[@@deriving sexp]

let param =
  let open Command.Param in
  flag
    "-timer-resolution"
    (optional_with_default
       Normal
       (Command.Arg_type.create (fun str -> t_of_sexp (Sexp.of_string str))))
    ~doc:
      "RESOLUTION How granular timing information should be, one of Low, Normal, High, \
       or Custom (default: Normal). More info: magic-trace.org/w/t"
;;