Another fuzzbug fix: proper checker-hint ordering when V-R and V-V moves are back-to-back and RReg ownership changes

2021-05-22 14:37:56 -07:00
parent 4b46c6388a
commit 469669155f
1 changed files with 2 additions and 2 deletions
--- a/src/ion/mod.rs
+++ b/src/ion/mod.rs
@@ -1310,7 +1310,7 @@ impl<'a, F: Function> Env<'a, F> {
                                    // checker.
                                    self.add_edit(
                                        ProgPoint::before(inst),
-                                        InsertMovePrio::Regular,
+                                        InsertMovePrio::MultiFixedReg,
                                        Edit::DefAlloc {
                                            alloc: Allocation::reg(preg),
                                            vreg: dst.vreg(),
@@ -1347,7 +1347,7 @@ impl<'a, F: Function> Env<'a, F> {
                                    // not the preg. This is used by
                                    // the checker.
                                    self.add_edit(
-                                        ProgPoint::before(inst),
+                                        ProgPoint::after(inst),
                                        InsertMovePrio::Regular,
                                        Edit::DefAlloc {
                                            alloc: Allocation::reg(preg),