Commit 8ad8d7d8 authored by Keith Randall's avatar Keith Randall

cmd/compile: Use pre-regalloc value ID in lateSpillUse

The cached copy's ID is sometimes outside the bounds of the orig array.

There's no reason to start at the cached copy and work backwards
to the original value. We already have the original value ID at
all the callsites.

Fixes noopt build

Change-Id: I313508a1917e838a87e8cc83b2ef3c2e4a8db304
Reviewed-on: https://go-review.googlesource.com/22355
Run-TryBot: Keith Randall <khr@golang.org>
Reviewed-by: default avatarDavid Chase <drchase@google.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
parent 40f1d0ca
...@@ -1540,9 +1540,9 @@ func (s *regAllocState) isLoopSpillCandidate(loop *loop, v *Value) bool { ...@@ -1540,9 +1540,9 @@ func (s *regAllocState) isLoopSpillCandidate(loop *loop, v *Value) bool {
return s.values[v.ID].needReg && !s.values[v.ID].spillUsed && s.loopnest.b2l[v.Block.ID] == loop return s.values[v.ID].needReg && !s.values[v.ID].spillUsed && s.loopnest.b2l[v.Block.ID] == loop
} }
// lateSpillUse notes a late (after stack allocation) use of spill c // lateSpillUse notes a late (after stack allocation) use of the spill of value with ID vid.
// This will inhibit spill sinking. // This will inhibit spill sinking.
func (s *regAllocState) lateSpillUse(c *Value) { func (s *regAllocState) lateSpillUse(vid ID) {
// TODO investigate why this is necessary. // TODO investigate why this is necessary.
// It appears that an outside-the-loop use of // It appears that an outside-the-loop use of
// an otherwise sinkable spill makes the spill // an otherwise sinkable spill makes the spill
...@@ -1551,10 +1551,7 @@ func (s *regAllocState) lateSpillUse(c *Value) { ...@@ -1551,10 +1551,7 @@ func (s *regAllocState) lateSpillUse(c *Value) {
// true when isLoopSpillCandidate was called, yet // true when isLoopSpillCandidate was called, yet
// it was shuffled). Such shuffling cuts the amount // it was shuffled). Such shuffling cuts the amount
// of spill sinking by more than half (in make.bash) // of spill sinking by more than half (in make.bash)
v := s.orig[c.ID] s.values[vid].spillUsedShuffle = true
if v != nil {
s.values[v.ID].spillUsedShuffle = true
}
} }
// shuffle fixes up all the merge edges (those going into blocks of indegree > 1). // shuffle fixes up all the merge edges (those going into blocks of indegree > 1).
...@@ -1729,7 +1726,7 @@ func (e *edgeState) process() { ...@@ -1729,7 +1726,7 @@ func (e *edgeState) process() {
if _, isReg := loc.(*Register); isReg { if _, isReg := loc.(*Register); isReg {
c = e.p.NewValue1(c.Line, OpCopy, c.Type, c) c = e.p.NewValue1(c.Line, OpCopy, c.Type, c)
} else { } else {
e.s.lateSpillUse(c) e.s.lateSpillUse(vid)
c = e.p.NewValue1(c.Line, OpLoadReg, c.Type, c) c = e.p.NewValue1(c.Line, OpLoadReg, c.Type, c)
} }
e.set(r, vid, c, false) e.set(r, vid, c, false)
...@@ -1818,7 +1815,7 @@ func (e *edgeState) processDest(loc Location, vid ID, splice **Value) bool { ...@@ -1818,7 +1815,7 @@ func (e *edgeState) processDest(loc Location, vid ID, splice **Value) bool {
} }
} else { } else {
if dstReg { if dstReg {
e.s.lateSpillUse(c) e.s.lateSpillUse(vid)
x = e.p.NewValue1(c.Line, OpLoadReg, c.Type, c) x = e.p.NewValue1(c.Line, OpLoadReg, c.Type, c)
} else { } else {
// mem->mem. Use temp register. // mem->mem. Use temp register.
...@@ -1836,7 +1833,7 @@ func (e *edgeState) processDest(loc Location, vid ID, splice **Value) bool { ...@@ -1836,7 +1833,7 @@ func (e *edgeState) processDest(loc Location, vid ID, splice **Value) bool {
e.erase(loc) e.erase(loc)
r := e.findRegFor(c.Type) r := e.findRegFor(c.Type)
e.s.lateSpillUse(c) e.s.lateSpillUse(vid)
t := e.p.NewValue1(c.Line, OpLoadReg, c.Type, c) t := e.p.NewValue1(c.Line, OpLoadReg, c.Type, c)
e.set(r, vid, t, false) e.set(r, vid, t, false)
x = e.p.NewValue1(c.Line, OpStoreReg, loc.(LocalSlot).Type, t) x = e.p.NewValue1(c.Line, OpStoreReg, loc.(LocalSlot).Type, t)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment