2 files changed, 3 insertions, 0 deletions

diff --git a/src/lj_ir.h b/src/lj_ir.h
index 9fd4e275..6d974ed2 100644
--- a/src/lj_ir.h
+++ b/src/lj_ir.h
@@ -346,6 +346,7 @@ typedef struct IRType1 { uint8_t irt; } IRType1;
 #define irt_isu32(t)            (irt_type(t) == IRT_U32)
 #define irt_isi64(t)            (irt_type(t) == IRT_I64)
 #define irt_isu64(t)            (irt_type(t) == IRT_U64)
+#define irt_isp32(t)            (irt_type(t) == IRT_P32)
 
 #define irt_isfp(t)             (irt_isnum(t) || irt_isfloat(t))
 #define irt_isinteger(t)        (irt_typerange((t), IRT_I8, IRT_INT))
diff --git a/src/lj_opt_mem.c b/src/lj_opt_mem.c
index 04b95a6f..214fb632 100644
--- a/src/lj_opt_mem.c
+++ b/src/lj_opt_mem.c
@@ -879,6 +879,8 @@ int lj_opt_fwd_wasnonnil(jit_State *J, IROpT loadop, IRRef xref)
         if (skref == xkref || !irref_isk(skref) || !irref_isk(xkref))
           return 0;  /* A nil store with same const key or var key MAY alias. */
         /* Different const keys CANNOT alias. */
+      } else if (irt_isp32(IR(skref)->t) != irt_isp32(IR(xkref)->t)) {
+        return 0;  /* HREF and HREFK MAY alias. */
       }  /* Different key types CANNOT alias. */
     }  /* Other non-nil stores MAY alias. */
     ref = store->prev;