diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-11-24 09:25:04 +0100 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-11-24 09:25:04 +0100 |
commit | a9677e1706d2a93be3cb8e3148abec924d0c3dbb (patch) | |
tree | a070c8ada7d38716f87baf48a6753157f790e952 | |
parent | 1fc9e3b1f4cf32e88888c5277894f5ed1e74f7af (diff) | |
download | compcert-kvx-a9677e1706d2a93be3cb8e3148abec924d0c3dbb.tar.gz compcert-kvx-a9677e1706d2a93be3cb8e3148abec924d0c3dbb.zip |
tiny simplification in Tunnelingaux.ml
-rw-r--r-- | backend/Tunnelingaux.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backend/Tunnelingaux.ml b/backend/Tunnelingaux.ml index af89adea..87e6d303 100644 --- a/backend/Tunnelingaux.ml +++ b/backend/Tunnelingaux.ml @@ -178,11 +178,11 @@ let final_export f c = ) else ( n.dist <- undef_dist; (* force [dist] to compute the actual [n.dist] *) count := !count+1; - (tn, n)::acc + n::acc ) in let nops = Hashtbl.fold filter_nops_init_dist c.nodes [] in - let res = List.fold_left (fun acc (tn,n) -> PTree.set (lab_p n) (lab_p tn, Z.of_uint (dist n)) acc) PTree.empty nops in + let res = List.fold_left (fun acc n -> PTree.set (lab_p n) (lab_p n.link, Z.of_uint (dist n)) acc) PTree.empty nops in debug "* Tunneling.branch_target: final number of eliminated nops = %d\n" !count; res |