aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMike Pall <mike>2023-04-16 13:24:08 +0200
committerMike Pall <mike>2023-04-16 13:24:08 +0200
commit96fc114a7a3be3fd2c227d5a0ac53aa50cfb85d1 (patch)
treed5a57bfc7241158ac5c7196448022b8fa009ec64
parent8135de2a0204e6acd92b231131c4a1e0be03ac1c (diff)
downloadluajit-96fc114a7a3be3fd2c227d5a0ac53aa50cfb85d1.tar.gz
luajit-96fc114a7a3be3fd2c227d5a0ac53aa50cfb85d1.tar.bz2
luajit-96fc114a7a3be3fd2c227d5a0ac53aa50cfb85d1.zip
Fix canonicalization of +-0.0 keys for IR_NEWREF.
Reported by Sergey Kaplun. #981
-rw-r--r--src/lj_record.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lj_record.c b/src/lj_record.c
index dee53327..10a14a6f 100644
--- a/src/lj_record.c
+++ b/src/lj_record.c
@@ -1256,6 +1256,8 @@ TRef lj_record_idx(jit_State *J, RecordIndex *ix)
1256 TRef key = ix->key; 1256 TRef key = ix->key;
1257 if (tref_isinteger(key)) /* NEWREF needs a TValue as a key. */ 1257 if (tref_isinteger(key)) /* NEWREF needs a TValue as a key. */
1258 key = emitir(IRTN(IR_CONV), key, IRCONV_NUM_INT); 1258 key = emitir(IRTN(IR_CONV), key, IRCONV_NUM_INT);
1259 else if (tref_isnumber(key) && tref_isk(key) && tvismzero(&ix->keyv))
1260 key = lj_ir_knum_zero(J); /* Canonicalize -0.0 to +0.0. */
1259 xref = emitir(IRT(IR_NEWREF, IRT_P32), ix->tab, key); 1261 xref = emitir(IRT(IR_NEWREF, IRT_P32), ix->tab, key);
1260 keybarrier = 0; /* NEWREF already takes care of the key barrier. */ 1262 keybarrier = 0; /* NEWREF already takes care of the key barrier. */
1261 } 1263 }