options.ml 1.02 KB
Newer Older
1
2
3
4
5
6
7
8
9

let heapsize = ref 10000
let show_tokens : string option ref = ref None
let ast_tree : string option ref = ref None
let ast_dump = ref false
let e_dump : string option ref = ref None
let e_run = ref false
let cfg_dump : string option ref = ref None
let cfg_run = ref false
10
let cfg_run_after_loop = ref false
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
let cfg_run_after_cp = ref false
let cfg_run_after_dae = ref false
let cfg_run_after_ne = ref false
let rtl_dump : string option ref = ref None
let rtl_run = ref false
let linear_dump : string option ref = ref None
let linear_run = ref false
let linear_run_after_dse = ref false
let ltl_dump : string option ref = ref None
let ltl_run = ref false
let ltl_debug = ref false
let riscv_dump : string option ref = ref None
let riscv_run = ref false
let show = ref false
let params : int list ref = ref []
let input_file : string option ref = ref None
27
let output_json : string ref = ref "-"
28
29
30
31
32
33
34
let nostart = ref false
let nostats = ref false
let has_mul = ref true
let no_dump = ref false
let no_dot = ref false

let alloc_order_st = ref true