Differentiate between IR_KPTR and IR_KKPTR.

IR_KPTR holds a const pointer to possibly non-const content.
IR_KKPTR holds a const pointer to definitely const content.
Note that only content known by the VM to be const qualifies.
Content tagged as const by users (e.g. const char *) doesn't.

1 files changed, 3 insertions, 1 deletions

diff --git a/src/lj_ir.h b/src/lj_ir.h
index 11ecdf27..d3104017 100644
--- a/src/lj_ir.h
+++ b/src/lj_ir.h
@@ -42,6 +42,7 @@
   _(KINT,       N , cst, ___) \
   _(KGC,        N , cst, ___) \
   _(KPTR,       N , cst, ___) \
+  _(KKPTR,      N , cst, ___) \
   _(KNULL,      N , cst, ___) \
   _(KNUM,       N , cst, ___) \
   _(KINT64,     N , cst, ___) \
@@ -566,7 +567,8 @@ typedef union IRIns {
 #define ir_kint64(ir)   check_exp((ir)->o == IR_KINT64, mref((ir)->ptr,cTValue))
 #define ir_k64(ir) \
   check_exp((ir)->o == IR_KNUM || (ir)->o == IR_KINT64, mref((ir)->ptr,cTValue))
-#define ir_kptr(ir)     check_exp((ir)->o == IR_KPTR, mref((ir)->ptr, void))
+#define ir_kptr(ir) \
+  check_exp((ir)->o == IR_KPTR || (ir)->o == IR_KKPTR, mref((ir)->ptr, void))
 
 LJ_STATIC_ASSERT((int)IRT_GUARD == (int)IRM_W);