Skip to content

Commit

Permalink
baseline: -regalloc cfg -cfg-cse-vectorize -cfgzero-alloc-checker
Browse files Browse the repository at this point in the history
  • Loading branch information
gretay-js committed Jan 17, 2025
1 parent 7b93134 commit c566ca1
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions driver/flambda_backend_flags.ml
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ let use_ocamlcfg = ref true (* -[no-]ocamlcfg *)
let dump_cfg = ref false (* -dcfg *)
let cfg_invariants = ref false (* -dcfg-invariants *)
let cfg_equivalence_check = ref false (* -dcfg-equivalence-check *)
let regalloc = ref "" (* -regalloc *)
let regalloc = ref "cfg" (* -regalloc *)
let regalloc_params = ref ([] : string list) (* -regalloc-param *)
let regalloc_validate = ref true (* -[no-]regalloc-validate *)

Expand All @@ -32,8 +32,8 @@ let cfg_selection = ref false (* -[no-]cfg-selection *)

let cfg_peephole_optimize = ref true (* -[no-]cfg-peephole-optimize *)

let cfg_cse_optimize = ref false (* -[no-]cfg-cse-optimize *)
let cfg_zero_alloc_checker = ref false (* -[no-]cfg-zero-alloc-checker *)
let cfg_cse_optimize = ref true (* -[no-]cfg-cse-optimize *)
let cfg_zero_alloc_checker = ref true (* -[no-]cfg-zero-alloc-checker *)

let cfg_stack_checks = ref true (* -[no-]cfg-stack-check *)
let cfg_stack_checks_threshold = ref 16384 (* -cfg-stack-threshold *)
Expand Down

0 comments on commit c566ca1

Please sign in to comment.