[llvm-bugs] [Bug 33182] New: MachineVerifier doesn't check live-in lists

[via llvm-bugs]

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

            Bug ID: 33182
           Summary: MachineVerifier doesn't check live-in lists
           Product: libraries
           Version: 4.0
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Common Code Generator Code
          Assignee: unassignedbugs at nondot.org
          Reporter: matze at braunis.de
                CC: llvm-bugs at lists.llvm.org

After some recent fixes I wondered why the machine verifier didn't catch the
problems. Turns out we do not check live-in lists:
Example:

> cat t.mir
# RUN: llc -o - %s -mtriple=aarch64-- -run-pass=none -verify-machineinstrs |
FileCheck %s
---
# CHECK-LABEL: name: func
name: func
tracksRegLiveness: true
body: |
  bb.0:
    liveins: %x5
    %x5 = ADDXrr killed %x5, killed %x5

  bb.1:
    liveins: %x10
    %x10 = ADDXrr killed %x10, killed %x10
...

The register %x10 claimed to be live-in in bb.1 is not live at the end of bb.0
yet the MachineVerifier doesn't complain.

-- 
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/20170526/30172e97/attachment.html>