diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-02-23 19:30:24 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-02-23 19:30:24 +0100 |
commit | 313443c86dfecd9058949ccf58800874eebd22f6 (patch) | |
tree | 582ee8db166f0fea83c7f47324614cd4d25b3903 /riscV/ExpansionOracle.ml | |
parent | 7bc14dbf6e676bcdd0699fc4d4cd0d2a1e495c74 (diff) | |
download | compcert-kvx-313443c86dfecd9058949ccf58800874eebd22f6.tar.gz compcert-kvx-313443c86dfecd9058949ccf58800874eebd22f6.zip |
[Intermediate] Adding fake hsval for Ccomp expansion
Diffstat (limited to 'riscV/ExpansionOracle.ml')
-rw-r--r-- | riscV/ExpansionOracle.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/riscV/ExpansionOracle.ml b/riscV/ExpansionOracle.ml index 9a3518c0..d3805738 100644 --- a/riscV/ExpansionOracle.ml +++ b/riscV/ExpansionOracle.ml @@ -370,7 +370,7 @@ let rec write_tree exp current code' new_order = | _ -> failwith "ExpansionOracle.write_tree: inconsistent instruction." let expanse (sb : superblock) code pm = - (*debug_flag := true;*) + debug_flag := true; let new_order = ref [] in let liveins = ref sb.liveins in let exp = ref [] in @@ -388,7 +388,7 @@ let expanse (sb : superblock) code pm = debug "Iop/Ccomp\n"; exp := cond_int32s false c a1 a2 dest succ []; was_exp := true - | Iop (Ocmp (Ccompu c), a1 :: a2 :: nil, dest, succ) -> + (*| Iop (Ocmp (Ccompu c), a1 :: a2 :: nil, dest, succ) -> debug "Iop/Ccompu\n"; exp := cond_int32u false c a1 a2 dest succ []; was_exp := true @@ -492,7 +492,7 @@ let expanse (sb : superblock) code pm = debug "Icond/Cnotcompfs\n"; exp := expanse_cbranch_fp true cond_single c f1 f2 info succ1 succ2 []; was_branch := true; - was_exp := true + was_exp := true*) | _ -> new_order := n :: !new_order); if !was_exp then ( node := !node + 1; @@ -510,7 +510,7 @@ let expanse (sb : superblock) code pm = sb.instructions; sb.instructions <- Array.of_list (List.rev !new_order); sb.liveins <- !liveins; - (*debug_flag := false;*) + debug_flag := false; (!code', !pm') let rec find_last_node_reg = function |