[llvm-bugs] [Bug 33046] New: ARM/Thumb2 check has a bunch of machine verifier errors

[via llvm-bugs]

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

            Bug ID: 33046
           Summary: ARM/Thumb2 check has a bunch of machine verifier
                    errors
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Backend: ARM
          Assignee: unassignedbugs at nondot.org
          Reporter: llvm-dev at redking.me.uk
                CC: llvm-bugs at lists.llvm.org
            Blocks: 32146

Enabling machine code verification with EXPENSIVE_CHECKS
(https://reviews.llvm.org/D30625) causes a number of machine verifier errors
with `ninja check-codegen-arm` or `ninja check-codegen-thumb2`:

Failing Tests (7):
    LLVM :: CodeGen/ARM/2011-04-11-MachineLICMBug.ll
    LLVM :: CodeGen/ARM/2016-08-24-ARM-LDST-dbginfo-bug.ll
    LLVM :: CodeGen/ARM/arm-position-independence-jump-table.ll
    LLVM :: CodeGen/ARM/execute-only.ll
    LLVM :: CodeGen/ARM/jump-table-tbh.ll
    LLVM :: CodeGen/ARM/unschedule-first-call.ll
    LLVM :: CodeGen/ARM/v6-jumptable-clobber.mir

Failing Tests (4):
    LLVM :: CodeGen/Thumb2/2010-08-10-VarSizedAllocaBug.ll
    LLVM :: CodeGen/Thumb2/thumb2-ifcvt1.ll
    LLVM :: CodeGen/Thumb2/thumb2-tbb.ll
    LLVM :: CodeGen/Thumb2/thumb2-tbh.ll


Referenced Bugs:

https://bugs.llvm.org/show_bug.cgi?id=32146
[Bug 32146] Enable -verify-machineinstrs with EXPENSIVE_CHECKS
-- 
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/20170515/ac61924d/attachment.html>