commit 7eae251bae797e851045ac4c936a3036c350e651
author Matthias Braun <matze@braunis.de> Mon Dec 04 18:57:48 2017 +0000
committer Matthias Braun <matze@braunis.de> Mon Dec 04 18:57:48 2017 +0000
tree 59fa06438b5a9655b1aa6550b3ea1a10b8489473
parent d4a774d57f343c3650c1b3879bbac6667724d48f

MachineVerifier: undef phi arg doesn't need to be live-out from predecessor

Differential Revision: https://reviews.llvm.org/D40756

llvm-svn: 319674

llvm/lib/CodeGen/MachineVerifier.cpp

diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp
index fd00a2d..6834059 100644
--- a/llvm/lib/CodeGen/MachineVerifier.cpp
+++ b/llvm/lib/CodeGen/MachineVerifier.cpp
@@ -1652,7 +1652,8 @@
       if (MInfo.reachable) {
         seen.insert(&Pre);
         BBInfo &PrInfo = MBBInfoMap[&Pre];
-        if (PrInfo.reachable && !PrInfo.isLiveOut(MO0.getReg()))
+        if (!MO0.isUndef() && PrInfo.reachable &&
+            !PrInfo.isLiveOut(MO0.getReg()))
           report("PHI operand is not live-out from predecessor", &MO0, I);
       }
     }