Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit b0252257 authored by Léo Gourdin's avatar Léo Gourdin
Browse files

Remove flags

parent 18312f04
......@@ -105,8 +105,6 @@ let option_fmadd = ref true
let option_div_i32 = ref "stsud"
let option_div_i64 = ref "stsud"
let option_fcoalesce_mem = ref true
let option_fexpanse_rtlcond = ref true
let option_fexpanse_others = ref true
let option_fforward_moves = ref false
let option_fmove_loop_invariants = ref false
let option_fnontrap_loads = ref true
......
......@@ -444,8 +444,6 @@ let cmdline_actions =
@ f_opt "madd" option_fmadd
@ f_opt "nontrap-loads" option_fnontrap_loads
@ f_opt "coalesce-mem" option_fcoalesce_mem
@ f_opt "expanse-rtlcond" option_fexpanse_rtlcond
@ f_opt "expanse-others" option_fexpanse_others
@ f_opt "all-loads-nontrap" option_all_loads_nontrap
@ f_opt "forward-moves" option_fforward_moves
(* Code generation options *)
......
......@@ -700,8 +700,7 @@ let expanse (sb : superblock) code pm =
was_exp := false;
let inst = get_some @@ PTree.get n code in
if exp_debug then eprintf "We are checking node %d\n" (p2i n);
(if !Clflags.option_fexpanse_rtlcond then
match inst with
(match inst with
(* Expansion of conditions - Ocmp *)
| Iop (Ocmp (Ccomp c), a1 :: a2 :: nil, dest, succ) ->
if exp_debug then eprintf "Iop/Ccomp\n";
......@@ -828,7 +827,7 @@ let expanse (sb : superblock) code pm =
was_branch := true;
was_exp := true
| _ -> ());
(if !Clflags.option_fexpanse_others && not !was_exp then
(if not !was_exp then
match inst with
| Iop (Ofloatconst f, nil, dest, succ) ->
if exp_debug then eprintf "Iop/Ofloatconst\n";
......
......@@ -284,9 +284,7 @@ let rec do_schedule code pm = function
| [] -> (code, pm)
| sb :: lsb ->
(*debug_flag := true;*)
let (code_exp, pm) =
if !Clflags.option_fexpanse_rtlcond then (expanse sb code pm)
else (code, pm) in
let (code_exp, pm) = expanse sb code pm in
(*debug_flag := false;*)
(* Trick: instead of turning loads into non trap as needed..
* First, we turn them all into non-trap.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment