maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

LiveIntervalAnalysis: Fix handleMove() extending liverange for undef inputs 

Fix handleMove() incorrectly extending liveranges when an undef input of
a vreg was moved past the (current) end of the liverange.

llvm-svn: 268805
This commit is contained in:
Matthias Braun 2016-05-06 21:47:41 +00:00
parent 4a3c3b66d7
commit 71474e8d22
2 changed files with 17 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
llvm/lib/CodeGen/LiveIntervalAnalysis.cpp
View File

@ -939,10 +939,13 @@ public:
hasRegMask = true;
if (!MO.isReg())
continue;
// Aggressively clear all kill flags.
// They are reinserted by VirtRegRewriter.
if (MO.isUse())
if (MO.isUse()) {
if (!MO.readsReg())
continue;
// Aggressively clear all kill flags.
// They are reinserted by VirtRegRewriter.
MO.setIsKill(false);
}
unsigned Reg = MO.getReg();
if (!Reg)

11
llvm/unittests/MI/LiveIntervalTest.cpp
View File

@ -300,6 +300,17 @@ TEST(LiveIntervalTest, MoveDownKillFollowing) {
});
}
TEST(LiveIntervalTest, MoveUndefUse) {
liveIntervalTest(
" %0 = IMPLICIT_DEF\n"
" NOOP implicit undef %0\n"
" NOOP implicit %0\n"
" NOOP\n",
[](MachineFunction &MF, LiveIntervals &LIS) {
testHandleMove(MF, LIS, 1, 3);
});
}
int main(int argc, char **argv) {
::testing::InitGoogleTest(&argc, argv);
initLLVM();