[llvm-bugs] [Bug 33077] New: [Loop Reduce] Assertion failure due to invalid canonicalization for formula

[via llvm-bugs]

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

            Bug ID: 33077
           Summary: [Loop Reduce] Assertion failure due to invalid
                    canonicalization for formula
           Product: tools
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: llc
          Assignee: unassignedbugs at nondot.org
          Reporter: anna at azul.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 18459
  --> https://bugs.llvm.org/attachment.cgi?id=18459&action=edit
Input IR for loop-reduce

Testcase causing an assertion failure in formula canonicalization in LSR. This
was added in patch: https://reviews.llvm.org/rL295884

Assertion failed: (F.isCanonical(L) && "Invalid canonical representation"),
function InsertFormula, Transforms/Scalar/LoopStrengthReduce.cpp, line 1431

Added a test case reduced using bugpoint. By reverting rL295884, the test case
passes.


Reproduce: opt -loop-reduce bugpoint.ll

-- 
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/20170517/523b73dd/attachment.html>