[llvm-bugs] [Bug 52204] New: AMDGPU SILowerControlFlow fails to preserve LiveVariables

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=52204

            Bug ID: 52204
           Summary: AMDGPU SILowerControlFlow fails to preserve
                    LiveVariables
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Backend: AMDGPU
          Assignee: unassignedbugs at nondot.org
          Reporter: jay.foad at gmail.com
                CC: llvm-bugs at lists.llvm.org

AMDGPU's SILowerControlFlow currently (after D111397) does this:

bool SILowerControlFlow::runOnMachineFunction(MachineFunction &MF) {
  // FIXME: This pass causes verification failures.
  MF.getProperties().set(
      MachineFunctionProperties::Property::FailsVerification);
  ...
}

The problem is that the pass claims to preserve LiveVariables, but if you
remove the workaround above and then run the test suite then lots of tests fail
with machine verification errors like:

*** Bad machine code: Kill missing from LiveVariables ***
*** Bad machine code: LiveVariables: Block should not be in AliveBlocks ***

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20211018/a3ed73ea/attachment.html>