From 469669155fcb8ab201f235ab7b7f31fb8511a1e8 Mon Sep 17 00:00:00 2001
From: Chris Fallin <chris@cfallin.org>
Date: Sat, 22 May 2021 14:37:56 -0700
Subject: [PATCH] Another fuzzbug fix: proper checker-hint ordering when V-R
 and V-V moves are back-to-back and RReg ownership changes

---
 src/ion/mod.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ion/mod.rs b/src/ion/mod.rs
index c2cd78a..1db10b8 100644
--- 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),