[llvm-bugs] [Bug 33049] New: Lanai check has a bunch of machine verifier errors

via llvm-bugs llvm-bugs at lists.llvm.org
Mon May 15 11:42:48 PDT 2017


            Bug ID: 33049
           Summary: Lanai check has a bunch of machine verifier errors
           Product: new-bugs
           Version: unspecified
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          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-lanai`:

Failing Tests (18):
    LLVM :: CodeGen/Lanai/codemodel.ll
    LLVM :: CodeGen/Lanai/comparisons_i32.ll
    LLVM :: CodeGen/Lanai/comparisons_i64.ll
    LLVM :: CodeGen/Lanai/constant_multiply.ll
    LLVM :: CodeGen/Lanai/delay_filler.ll
    LLVM :: CodeGen/Lanai/i32.ll
    LLVM :: CodeGen/Lanai/lanai-misched-trivial-disjoint.ll
    LLVM :: CodeGen/Lanai/lshift64.ll
    LLVM :: CodeGen/Lanai/masking_setccs.ll
    LLVM :: CodeGen/Lanai/mem_alu_combiner.ll
    LLVM :: CodeGen/Lanai/multiply.ll
    LLVM :: CodeGen/Lanai/rshift64.ll
    LLVM :: CodeGen/Lanai/select.ll
    LLVM :: CodeGen/Lanai/set_and_hi.ll
    LLVM :: CodeGen/Lanai/shift.ll
    LLVM :: CodeGen/Lanai/stack-frame.ll
    LLVM :: CodeGen/Lanai/sub-cmp-peephole.ll
    LLVM :: CodeGen/Lanai/subword.ll

Referenced Bugs:

[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/01c32c90/attachment.html>

More information about the llvm-bugs mailing list