gh-mirror/mikepaul-LuaJIT
1
0
Fork 0
mirror of https://github.com/LuaJIT/LuaJIT.git synced 2025-02-07 23:24:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge branch 'master' into v2.1

Browse Source
This commit is contained in:
Mike Pall 2021-03-23 00:48:27 +01:00
commit a4c9fc3d6c
1 changed files with 12 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/lj_asm.c
View File

@ -72,6 +72,7 @@ typedef struct ASMState {
SnapNo snapno; /* Current snapshot number. */ SnapNo snapno; /* Current snapshot number. */
SnapNo loopsnapno; /* Loop snapshot number. */ SnapNo loopsnapno; /* Loop snapshot number. */
int snapalloc; /* Current snapshot needs allocation. */ int snapalloc; /* Current snapshot needs allocation. */
BloomFilter snapfilt1, snapfilt2; /* Filled with snapshot refs. */
IRRef fuseref; /* Fusion limit (loopref, 0 or FUSE_DISABLED). */ IRRef fuseref; /* Fusion limit (loopref, 0 or FUSE_DISABLED). */
IRRef sectref; /* Section base reference (loopref or 0). */ IRRef sectref; /* Section base reference (loopref or 0). */
@ -894,7 +895,10 @@ static int asm_sunk_store(ASMState *as, IRIns *ira, IRIns *irs)
static void asm_snap_alloc1(ASMState *as, IRRef ref) static void asm_snap_alloc1(ASMState *as, IRRef ref)
{ {
IRIns *ir = IR(ref); IRIns *ir = IR(ref);
if (!irref_isk(ref) && (!(ra_used(ir) || ir->r == RID_SUNK))) { if (!irref_isk(ref) && ir->r != RID_SUNK) {
bloomset(as->snapfilt1, ref);
bloomset(as->snapfilt2, hashrot(ref, ref + HASH_BIAS));
if (ra_used(ir)) return;
if (ir->r == RID_SINK) { if (ir->r == RID_SINK) {
ir->r = RID_SUNK; ir->r = RID_SUNK;
#if LJ_HASFFI #if LJ_HASFFI
@ -954,6 +958,7 @@ static void asm_snap_alloc(ASMState *as, int snapno)
SnapShot *snap = &as->T->snap[snapno]; SnapShot *snap = &as->T->snap[snapno];
SnapEntry *map = &as->T->snapmap[snap->mapofs]; SnapEntry *map = &as->T->snapmap[snap->mapofs];
MSize n, nent = snap->nent; MSize n, nent = snap->nent;
as->snapfilt1 = as->snapfilt2 = 0;
for (n = 0; n < nent; n++) { for (n = 0; n < nent; n++) {
SnapEntry sn = map[n]; SnapEntry sn = map[n];
IRRef ref = snap_ref(sn); IRRef ref = snap_ref(sn);
@ -978,18 +983,12 @@ static void asm_snap_alloc(ASMState *as, int snapno)
*/ */
static int asm_snap_checkrename(ASMState *as, IRRef ren) static int asm_snap_checkrename(ASMState *as, IRRef ren)
{ {
SnapShot *snap = &as->T->snap[as->snapno]; if (bloomtest(as->snapfilt1, ren) &&
SnapEntry *map = &as->T->snapmap[snap->mapofs]; bloomtest(as->snapfilt2, hashrot(ren, ren + HASH_BIAS))) {
MSize n, nent = snap->nent; IRIns *ir = IR(ren);
for (n = 0; n < nent; n++) { ra_spill(as, ir); /* Register renamed, so force a spill slot. */
SnapEntry sn = map[n]; RA_DBGX((as, "snaprensp $f $s", ren, ir->s));
IRRef ref = snap_ref(sn); return 1; /* Found. */
if (ref == ren || (LJ_SOFTFP && (sn & SNAP_SOFTFPNUM) && ++ref == ren)) {
IRIns *ir = IR(ref);
ra_spill(as, ir); /* Register renamed, so force a spill slot. */
RA_DBGX((as, "snaprensp $f $s", ref, ir->s));
return 1; /* Found. */
}
} }
return 0; /* Not found. */ return 0; /* Not found. */
} }