ARM: Fix IR splitting for softfp XLOAD.

1 files changed, 3 insertions, 1 deletions

diff --git a/src/lj_asm.c b/src/lj_asm.c
index 9fe53416..49fd45b4 100644
--- a/src/lj_asm.c
+++ b/src/lj_asm.c
@@ -809,8 +809,10 @@ static void asm_snap_alloc(ASMState *as)
     IRRef ref = snap_ref(sn);
     if (!irref_isk(ref)) {
       asm_snap_alloc1(as, ref);
-      if (LJ_SOFTFP && (sn & SNAP_SOFTFPNUM))
+      if (LJ_SOFTFP && (sn & SNAP_SOFTFPNUM)) {
+        lua_assert(irt_type(IR(ref+1)->t) == IRT_SOFTFP);
         asm_snap_alloc1(as, ref+1);
+      }
     }
   }
 }