From 5673d04d22334c2493efe5a2ff8108768e089be2 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Thu, 30 Sep 2021 15:35:21 +0200 Subject: fix issue #247 by using a BTL's ghostfield --- scheduling/RTLtoBTLaux.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scheduling/RTLtoBTLaux.ml') diff --git a/scheduling/RTLtoBTLaux.ml b/scheduling/RTLtoBTLaux.ml index 3c06f4cb..0ed6ec61 100644 --- a/scheduling/RTLtoBTLaux.ml +++ b/scheduling/RTLtoBTLaux.ml @@ -33,7 +33,7 @@ let translate_inst (iinfo : BTL.inst_info) inst is_final = | Ibuiltin (ef, lr, rd, s) -> BF (Bbuiltin (ef, lr, rd, s), iinfo) | Icond (cond, lr, ifso, ifnot, info) -> osucc := Some ifnot; - iinfo.pcond <- info; + iinfo.opt_info <- info; Bcond ( cond, lr, @@ -70,7 +70,7 @@ let translate_function code entry join_points liveness (typing : RTLtyping.regen | Icond (cond, lr, ifso, ifnot, info) -> assert (s = ifnot); next_nodes := !next_nodes @ non_predicted_successors inst psucc; - iinfo.pcond <- info; + iinfo.opt_info <- info; Bseq ( Bcond (cond, lr, BF (Bgoto ifso, def_iinfo ()), Bnop None, iinfo), -- cgit