[llvm-bugs] [Bug 28764] New: IRCE breaks simplified of loops

[via llvm-bugs]

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

            Bug ID: 28764
           Summary: IRCE breaks simplified of loops
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Loop Optimizer
          Assignee: unassignedbugs at nondot.org
          Reporter: michael.v.zolotukhin at gmail.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 16833
  --> https://llvm.org/bugs/attachment.cgi?id=16833&action=edit
Patch for enabling verification in loop-simplify

IRCE seems to break simplified form of loops, i.e. after it loops might be
missing a preheader or their exits might be not dedicated (i.e. exits have a
predecessors outside the loop).

That (along with some other problems) stops us from enabling loop-simplify
verification in the pass pipeline.

To reproduce the issue apply the attached patch (it enables verification in
loop-simplify) and then run 'ninja check'. I get the following failures:

Failing Tests (8):
    LLVM :: Transforms/IRCE/conjunctive-checks.ll
    LLVM :: Transforms/IRCE/decrementing-loop.ll
    LLVM :: Transforms/IRCE/multiple-access-no-preloop.ll
    LLVM :: Transforms/IRCE/only-upper-check.ll
    LLVM :: Transforms/IRCE/single-access-no-preloop.ll
    LLVM :: Transforms/IRCE/single-access-with-preloop.ll
    LLVM :: Transforms/IRCE/skip-profitability-checks.ll
    LLVM :: Transforms/IRCE/with-parent-loops.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/20160729/0652b176/attachment.html>