diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-30 15:35:21 +0200 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-30 15:35:21 +0200 |
| commit | 5673d04d22334c2493efe5a2ff8108768e089be2 (patch) | |
| tree | 00fc7f0de1f0e62b5857635135053ff029986e95 /scheduling/RTLtoBTLaux.ml | |
| parent | 1b87b2abead3751eb0564ac36030501a9cec748c (diff) | |
| download | compcert-kvx-5673d04d22334c2493efe5a2ff8108768e089be2.tar.gz compcert-kvx-5673d04d22334c2493efe5a2ff8108768e089be2.zip | |
fix issue #247 by using a BTL's ghostfield
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), |