[PATCH] D37611: [IfConversion] More simple, correct dead/kill liveness handling

[Jesper Antonsson via Phabricator via llvm-commits]

JesperAntonsson created this revision.

The MachineVerifier reports of issues with liveness after IfConversion in randomized testing for our out-of-tree target. This patch is replacing the complex handling of dead/kill-flags with a simpler, reusable fix-up subpass that is run at the end of each transformation.

A Hexagon MIR test was adjusted since it had somewhat inconsistent liveness info, which was exposed by this change. (%r0 and %r1 are halves of %d0, %r17 one half of %d8.)


https://reviews.llvm.org/D37611

Files:
  include/llvm/CodeGen/MachineBasicBlock.h
  lib/CodeGen/IfConversion.cpp
  lib/CodeGen/MachineBasicBlock.cpp
  test/CodeGen/Hexagon/ifcvt-live-subreg.mir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D37611.114310.patch
Type: text/x-patch
Size: 7584 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170908/5f61e97c/attachment.bin>