diff options
Diffstat (limited to 'scheduling/RTLtoBTLaux.ml')
| -rw-r--r-- | scheduling/RTLtoBTLaux.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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), |