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

ARM: Add ARM-specific tuning to generic assembler backend.

Browse Source
This commit is contained in:
Mike Pall 2011-05-22 17:54:28 +02:00
parent aaba681056
commit afad72af25
1 changed files with 35 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
src/lj_asm.c
View File

@ -448,7 +448,7 @@ static void ra_evictset(ASMState *as, RegSet drop)
as->modset |= drop; as->modset |= drop;
drop &= ~as->freeset; drop &= ~as->freeset;
while (drop) { while (drop) {
Reg r = rset_picktop(drop); Reg r = rset_pickbot(drop);
ra_restore(as, regcost_ref(as->cost[r])); ra_restore(as, regcost_ref(as->cost[r]));
rset_clear(drop, r); rset_clear(drop, r);
checkmclim(as); checkmclim(as);
@ -604,7 +604,14 @@ static Reg ra_dest(ASMState *as, IRIns *ir, RegSet allow)
ra_free(as, dest); ra_free(as, dest);
ra_modified(as, dest); ra_modified(as, dest);
} else { } else {
dest = ra_scratch(as, allow); if (ra_hashint(dest) && rset_test(as->freeset, ra_gethint(dest))) {
dest = ra_gethint(dest);
ra_modified(as, dest);
RA_DBGX((as, "dest $r", dest));
} else {
dest = ra_scratch(as, allow);
}
ir->r = dest;
} }
if (LJ_UNLIKELY(ra_hasspill(ir->s))) ra_save(as, ir, dest); if (LJ_UNLIKELY(ra_hasspill(ir->s))) ra_save(as, ir, dest);
return dest; return dest;
@ -932,7 +939,7 @@ static void asm_phi_shuffle(ASMState *as)
RegSet blockedby = RSET_EMPTY; RegSet blockedby = RSET_EMPTY;
RegSet phiset = as->phiset; RegSet phiset = as->phiset;
while (phiset) { /* Check all left PHI operand registers. */ while (phiset) { /* Check all left PHI operand registers. */
Reg r = rset_picktop(phiset); Reg r = rset_pickbot(phiset);
IRIns *irl = IR(as->phireg[r]); IRIns *irl = IR(as->phireg[r]);
Reg left = irl->r; Reg left = irl->r;
if (r != left) { /* Mismatch? */ if (r != left) { /* Mismatch? */
@ -966,7 +973,7 @@ static void asm_phi_shuffle(ASMState *as)
/* Restore/remat invariants whose registers are modified inside the loop. */ /* Restore/remat invariants whose registers are modified inside the loop. */
work = as->modset & ~(as->freeset | as->phiset); work = as->modset & ~(as->freeset | as->phiset);
while (work) { while (work) {
Reg r = rset_picktop(work); Reg r = rset_pickbot(work);
ra_restore(as, regcost_ref(as->cost[r])); ra_restore(as, regcost_ref(as->cost[r]));
rset_clear(work, r); rset_clear(work, r);
checkmclim(as); checkmclim(as);
@ -1311,6 +1318,9 @@ static void asm_setup_regsp(ASMState *as)
GCtrace *T = as->T; GCtrace *T = as->T;
IRRef i, nins; IRRef i, nins;
int inloop; int inloop;
#if LJ_TARGET_ARM
uint32_t rload = 0xa6402a64;
#endif
ra_setup(as); ra_setup(as);
@ -1353,7 +1363,20 @@ static void asm_setup_regsp(ASMState *as)
continue; continue;
} }
} }
#if LJ_TARGET_ARM
if ((ir->op2 & IRSLOAD_TYPECHECK) || (ir+1)->o == IR_HIOP) {
ir->prev = (uint16_t)REGSP_HINT((rload & 15));
rload = lj_ror(rload, 4);
continue;
}
#endif
break; break;
#if LJ_TARGET_ARM
case IR_ALOAD: case IR_HLOAD: case IR_ULOAD: case IR_VLOAD:
ir->prev = (uint16_t)REGSP_HINT((rload & 15));
rload = lj_ror(rload, 4);
continue;
#endif
case IR_CALLXS: { case IR_CALLXS: {
CCallInfo ci; CCallInfo ci;
ci.flags = asm_callx_flags(as, ir); ci.flags = asm_callx_flags(as, ir);
@ -1384,6 +1407,14 @@ static void asm_setup_regsp(ASMState *as)
continue; continue;
} }
} }
#if LJ_TARGET_ARM
/* fallthrough */
case IR_ALOAD: case IR_HLOAD: case IR_ULOAD: case IR_VLOAD:
if (ra_hashint((ir-1)->r)) {
ir->prev = (ir-1)->prev + 1;
continue;
}
#endif
break; break;
#endif #endif
case IR_CALLN: case IR_CALLXS: case IR_CALLN: case IR_CALLXS: