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: unassignedb...@nondot.org
          Reporter: a...@azul.com
                CC: llvm-bugs@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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to