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

Improve alias analysis for vararg loads.

Browse Source
This commit is contained in:
Mike Pall 2010-09-14 16:48:52 +02:00
parent b69c02eb68
commit 23655bd52e
1 changed files with 11 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/lj_opt_mem.c
View File

@ -102,13 +102,16 @@ static TRef fwd_ahload(jit_State *J, IRRef xref)
IRRef lim = xref; /* Search limit. */ IRRef lim = xref; /* Search limit. */
IRRef ref; IRRef ref;
if (IR(xr->op1)->o != IR_FLOAD) /* Varargs have no corresponding stores. */
goto cselim;
/* Search for conflicting stores. */ /* Search for conflicting stores. */
ref = J->chain[fins->o+IRDELTA_L2S]; ref = J->chain[fins->o+IRDELTA_L2S];
while (ref > xref) { while (ref > xref) {
IRIns *store = IR(ref); IRIns *store = IR(ref);
switch (aa_ahref(J, xr, IR(store->op1))) { switch (aa_ahref(J, xr, IR(store->op1))) {
case ALIAS_NO: break; /* Continue searching. */ case ALIAS_NO: break; /* Continue searching. */
case ALIAS_MAY: lim = ref; goto conflict; /* Limit search for load. */ case ALIAS_MAY: lim = ref; goto cselim; /* Limit search for load. */
case ALIAS_MUST: return store->op2; /* Store forwarding. */ case ALIAS_MUST: return store->op2; /* Store forwarding. */
} }
ref = store->prev; ref = store->prev;
@ -129,7 +132,7 @@ static TRef fwd_ahload(jit_State *J, IRRef xref)
while (ref2 > tab) { while (ref2 > tab) {
IRIns *newref = IR(ref2); IRIns *newref = IR(ref2);
if (irt_isnum(IR(newref->op2)->t)) if (irt_isnum(IR(newref->op2)->t))
goto conflict; goto cselim;
ref2 = newref->prev; ref2 = newref->prev;
} }
} }
@ -142,7 +145,7 @@ static TRef fwd_ahload(jit_State *J, IRRef xref)
IRIns *store = IR(ref); IRIns *store = IR(ref);
switch (aa_ahref(J, xr, IR(store->op1))) { switch (aa_ahref(J, xr, IR(store->op1))) {
case ALIAS_NO: break; /* Continue searching. */ case ALIAS_NO: break; /* Continue searching. */
case ALIAS_MAY: goto conflict; /* Conflicting store. */ case ALIAS_MAY: goto cselim; /* Conflicting store. */
case ALIAS_MUST: return store->op2; /* Store forwarding. */ case ALIAS_MUST: return store->op2; /* Store forwarding. */
} }
ref = store->prev; ref = store->prev;
@ -167,7 +170,7 @@ static TRef fwd_ahload(jit_State *J, IRRef xref)
} }
} }
conflict: cselim:
/* Try to find a matching load. Below the conflicting store, if any. */ /* Try to find a matching load. Below the conflicting store, if any. */
ref = J->chain[fins->o]; ref = J->chain[fins->o];
while (ref > lim) { while (ref > lim) {
@ -333,13 +336,13 @@ TRef LJ_FASTCALL lj_opt_fwd_uload(jit_State *J)
IRIns *store = IR(ref); IRIns *store = IR(ref);
switch (aa_uref(xr, IR(store->op1))) { switch (aa_uref(xr, IR(store->op1))) {
case ALIAS_NO: break; /* Continue searching. */ case ALIAS_NO: break; /* Continue searching. */
case ALIAS_MAY: lim = ref; goto conflict; /* Limit search for load. */ case ALIAS_MAY: lim = ref; goto cselim; /* Limit search for load. */
case ALIAS_MUST: return store->op2; /* Store forwarding. */ case ALIAS_MUST: return store->op2; /* Store forwarding. */
} }
ref = store->prev; ref = store->prev;
} }
conflict: cselim:
/* Try to find a matching load. Below the conflicting store, if any. */ /* Try to find a matching load. Below the conflicting store, if any. */
return lj_opt_cselim(J, lim); return lj_opt_cselim(J, lim);
} }
@ -417,7 +420,7 @@ TRef LJ_FASTCALL lj_opt_fwd_fload(jit_State *J)
IRIns *store = IR(ref); IRIns *store = IR(ref);
switch (aa_fref(fins, IR(store->op1))) { switch (aa_fref(fins, IR(store->op1))) {
case ALIAS_NO: break; /* Continue searching. */ case ALIAS_NO: break; /* Continue searching. */
case ALIAS_MAY: lim = ref; goto conflict; /* Limit search for load. */ case ALIAS_MAY: lim = ref; goto cselim; /* Limit search for load. */
case ALIAS_MUST: return store->op2; /* Store forwarding. */ case ALIAS_MUST: return store->op2; /* Store forwarding. */
} }
ref = store->prev; ref = store->prev;
@ -430,7 +433,7 @@ TRef LJ_FASTCALL lj_opt_fwd_fload(jit_State *J)
return lj_ir_knull(J, IRT_TAB); return lj_ir_knull(J, IRT_TAB);
} }
conflict: cselim:
/* Try to find a matching load. Below the conflicting store, if any. */ /* Try to find a matching load. Below the conflicting store, if any. */
return lj_opt_cselim(J, lim); return lj_opt_cselim(J, lim);
} }