From 97882e8d32fd99e1edaf5361bfd3b6852dbb1a3d Mon Sep 17 00:00:00 2001 From: lemon Date: Wed, 10 Dec 2025 21:16:54 +0100 Subject: parallel move; implement reg<->stack swp --- ir/regalloc.c | 21 ++++++++++++++++++--- 1 file changed, 18 insertions(+), 3 deletions(-) (limited to 'ir/regalloc.c') diff --git a/ir/regalloc.c b/ir/regalloc.c index 51ccdab..cf40266 100644 --- a/ir/regalloc.c +++ b/ir/regalloc.c @@ -296,9 +296,24 @@ pmrec(int i, struct block *blk, int curi, enum irclass *k) case PMMOVING: c = j; Swap: - assert(pmove[i].src.t == AREG && pmove[i].dst.t == AREG); - insertinstr(blk, curi, - mkinstr(Oswap, *k, mkref(RREG, pmove[i].dst.a), mkref(RREG, pmove[i].src.a), .keep = 1)); + if (pmove[i].src.t == AREG && pmove[i].dst.t == AREG) { + insertinstr(blk, curi, + mkinstr(Oswap, *k, mkref(RREG, pmove[i].dst.a), mkref(RREG, pmove[i].src.a), .keep = 1)); + } else { + /* FIXME this case should be very uncommon, but this is bad and not portable */ + struct alloc reg, stk; + if (pmove[i].src.t == AREG) { + reg = pmove[i].src, stk = pmove[i].dst; + } else { + stk = pmove[i].src, reg = pmove[i].dst; + } + assert(reg.t == AREG && stk.t == ASTACK); + emitmove(siz2intcls[cls2siz[*k]], areg(mctarg->gprscratch), reg, blk, curi++); + union ref t = insertinstr(blk, curi++, mkinstr(Oswap, siz2intcls[cls2siz[*k]], + mkref(RICON, stk.a*8), mkref(RREG, mctarg->gprscratch), .keep = 1)); + vpush(&stkslotrefs, &instrtab[t.i].l); + emitmove(siz2intcls[cls2siz[*k]], reg, areg(mctarg->gprscratch), blk, curi++); + } break; case PMTOMOVE: pmove[i].stat = PMMOVING; -- cgit v1.2.3