diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-04-09 15:19:27 +0200 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-04-09 15:19:27 +0200 |
| commit | b0252257587f375408c4521dab1ca1396e96ab79 (patch) | |
| tree | 049d2487d77d8424f31870f430341dcb23e2254d /riscV | |
| parent | 18312f0470cfb96e44ae1a26a24710cc1df3440d (diff) | |
| download | compcert-kvx-b0252257587f375408c4521dab1ca1396e96ab79.tar.gz compcert-kvx-b0252257587f375408c4521dab1ca1396e96ab79.zip | |
Remove flags
Diffstat (limited to 'riscV')
| -rw-r--r-- | riscV/ExpansionOracle.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/riscV/ExpansionOracle.ml b/riscV/ExpansionOracle.ml index 092bf0d1..b8a7f6e7 100644 --- a/riscV/ExpansionOracle.ml +++ b/riscV/ExpansionOracle.ml @@ -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"; |