[llvm-bugs] [Bug 46362] New: Function verification fails after instcombine

[via llvm-bugs]

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

            Bug ID: 46362
           Summary: Function verification fails after instcombine
           Product: libraries
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: evgueni.brevnov at gmail.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 23621
  --> https://bugs.llvm.org/attachment.cgi?id=23621&action=edit
test case

https://reviews.llvm.org/rG21f7cf4057b75ac3bc46597415499dd0fc214e97 enabled
function verification after SLP. Now it catches illegal IR which is produced by
instcombine:

opt -passes=instcombine -S test.ll 
PHI node has multiple entries for the same basic block with different incoming
values!
  %local_4_5.lcssa96.neg = phi i32 [ %.neg, %bci_77 ], [ %.neg1, %bci_77 ], [
%.neg2, %bci_112 ], [ -2, %bci_186 ]
label %bci_77
  %.neg = xor i32 %local_4_.ph, -1
  %.neg1 = xor i32 %local_4_.ph, -1
LLVM ERROR: Broken module found, compilation aborted!

-- 
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/20200617/c0b94d85/attachment.html>