diff options
author | Mike Pall <mike> | 2023-04-16 13:24:08 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2023-04-16 13:24:08 +0200 |
commit | 96fc114a7a3be3fd2c227d5a0ac53aa50cfb85d1 (patch) | |
tree | d5a57bfc7241158ac5c7196448022b8fa009ec64 | |
parent | 8135de2a0204e6acd92b231131c4a1e0be03ac1c (diff) | |
download | luajit-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.c | 2 |
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 | } |