[llvm-bugs] [Bug 33182] New: MachineVerifier doesn't check live-in lists
llvm-bugs at lists.llvm.org
Fri May 26 10:55:34 PDT 2017
Bug ID: 33182
Summary: MachineVerifier doesn't check live-in lists
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:
> cat t.mir
# RUN: llc -o - %s -mtriple=aarch64-- -run-pass=none -verify-machineinstrs |
# CHECK-LABEL: name: func
%x5 = ADDXrr killed %x5, killed %x5
%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...
More information about the llvm-bugs