Make sure the whole live range is covered when values are pruned twice.
authorJakob Stoklund Olesen <stoklund@2pi.dk>
Tue, 2 Oct 2012 21:46:39 +0000 (21:46 +0000)
committerJakob Stoklund Olesen <stoklund@2pi.dk>
Tue, 2 Oct 2012 21:46:39 +0000 (21:46 +0000)
commit27cb347d0e765175efb2c4d388bcbba84cf1b95e
tree3941172340fa3c1f5c26af2731534f62c2781064
parentabe704309f2958f14ba4b59d9be8c9fba72a48c1
Make sure the whole live range is covered when values are pruned twice.

JoinVals::pruneValues() calls LIS->pruneValue() to avoid conflicts when
overlapping two different values. This produces a set of live range end
points that are used to reconstruct the live range (with SSA update)
after joining the two registers.

When a value is pruned twice, the set of end points was insufficient:

  v1 = DEF
  v1 = REPLACE1
  v1 = REPLACE2
  KILL v1

The end point at KILL would only reconstruct the live range from
REPLACE2 to KILL, leaving the range REPLACE1-REPLACE2 dead.

Add REPLACE2 as an end point in this case so the full live range is
reconstructed.

This fixes PR13999.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165056 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/RegisterCoalescer.cpp
test/CodeGen/ARM/coalesce-subregs.ll