diff options
author | Matthias Braun <matze@braunis.de> | 2017-12-04 18:57:48 +0000 |
---|---|---|
committer | Matthias Braun <matze@braunis.de> | 2017-12-04 18:57:48 +0000 |
commit | 7eae251bae797e851045ac4c936a3036c350e651 (patch) | |
tree | 59fa06438b5a9655b1aa6550b3ea1a10b8489473 /llvm/lib/CodeGen/MachineVerifier.cpp | |
parent | d4a774d57f343c3650c1b3879bbac6667724d48f (diff) | |
download | bcm5719-llvm-7eae251bae797e851045ac4c936a3036c350e651.tar.gz bcm5719-llvm-7eae251bae797e851045ac4c936a3036c350e651.zip |
MachineVerifier: undef phi arg doesn't need to be live-out from predecessor
Differential Revision: https://reviews.llvm.org/D40756
llvm-svn: 319674
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
-rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index fd00a2d7501..6834059234e 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -1652,7 +1652,8 @@ void MachineVerifier::checkPHIOps(const MachineBasicBlock &MBB) { 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); } } |