Fix pr4100. Do not remove no-op copies when they are dead. The register
authorBob Wilson <bob.wilson@apple.com>
Thu, 7 May 2009 23:47:03 +0000 (23:47 +0000)
committerBob Wilson <bob.wilson@apple.com>
Thu, 7 May 2009 23:47:03 +0000 (23:47 +0000)
commit9d928c223fce575edb67273823f6d76ae05166f2
tree0ea9ab6c413f83ea7c445746f55857583ec182f6
parent8d24f4124ea7478fa289f581681c9dff61368c8f
Fix pr4100.  Do not remove no-op copies when they are dead.  The register
scavenger gets confused about register liveness if it doesn't see them.
I'm not thrilled with this solution, but it only comes up when there are dead
copies in the code, which is something that hopefully doesn't happen much.

Here is what happens in pr4100: As shown in the following excerpt from the
debug output of llc, the source of a move gets reloaded from the stack,
inserting a new load instruction before the move.  Since that source operand
is a kill, the physical register is free to be reused for the destination
of the move.  The move ends up being a no-op, copying R3 to R3, so it is
deleted.  But, it leaves behind the load to reload %reg1028 into R3, and
that load is not updated to show that it's destination operand (R3) is dead.
The scavenger gets confused by that load because it thinks that R3 is live.

Starting RegAlloc of: %reg1025<def,dead> = MOVr %reg1028<kill>, 14, %reg0, %reg0
  Regs have values:
  Reloading %reg1028 into R3
  Last use of R3[%reg1028], removing it from live set
  Assigning R3 to %reg1025
  Register R3 [%reg1025] is never used, removing it from live set

Alternative solutions might be either marking the load as dead, or zapping
the load along with the no-op copy.  I couldn't see an easy way to do
either of those, though.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71196 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/RegAllocLocal.cpp
test/CodeGen/ARM/2009-05-07-RegAllocLocal.ll [new file with mode: 0644]