mleku/wazero
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

regalloc: use less memory in liveness analysis (#2262)

Browse Source 
Signed-off-by: Takeshi Yoneda <t.y.mathetake@gmail.com>
This commit is contained in:
Takeshi Yoneda
2024-06-21 15:05:19 -07:00
committed by GitHub
parent d18cca6382
commit 98d6b90da2
1 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
internal/engine/wazevo/backend/regalloc/regalloc.go
View File

@@ -432,7 +432,7 @@ func (a *Allocator) livenessAnalysis(f Function) {
} }
for _, st := range succInfo.liveIns { for _, st := range succInfo.liveIns {
if st.phiBlk() != succ { if st.phiBlk() != succ && st.spilled != flagLive { //nolint:gosimple
// We use .spilled field to store the flag. // We use .spilled field to store the flag.
st.spilled = flagLive st.spilled = flagLive
a.ss = append(a.ss, st) a.ss = append(a.ss, st)
@@ -448,17 +448,18 @@ func (a *Allocator) livenessAnalysis(f Function) {
if !def.IsRealReg() { if !def.IsRealReg() {
st := s.getOrAllocateVRegState(def) st := s.getOrAllocateVRegState(def)
defIsPhi = st.isPhi defIsPhi = st.isPhi
// We use .spilled field to store the flag. // Note: We use .spilled field to store the flag.
st.spilled = flagDeleted st.spilled = flagDeleted
a.ss = append(a.ss, st)
} }
} }
for _, use = range instr.Uses(&a.vs) { for _, use = range instr.Uses(&a.vs) {
if !use.IsRealReg() { if !use.IsRealReg() {
st := s.getOrAllocateVRegState(use) st := s.getOrAllocateVRegState(use)
// We use .spilled field to store the flag. // Note: We use .spilled field to store the flag.
st.spilled = flagLive if st.spilled != flagLive { //nolint:gosimple
a.ss = append(a.ss, st) st.spilled = flagLive
a.ss = append(a.ss, st)
}
} }
} }