[llvm-bugs] [Bug 28825] New: Assertion `NewOuter->isRecursivelyLCSSAForm(*DT) && "LCSSA is broken after separating nested loops!"' failed.

[via llvm-bugs]

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

            Bug ID: 28825
           Summary: Assertion `NewOuter->isRecursivelyLCSSAForm(*DT) &&
                    "LCSSA is broken after separating nested loops!"'
                    failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Core LLVM classes
          Assignee: unassignedbugs at nondot.org
          Reporter: chisophugis at gmail.com
                CC: chandlerc at gmail.com, dberlin at dberlin.org,
                    llvm-bugs at lists.llvm.org,
                    michael.v.zolotukhin at gmail.com
            Blocks: 28315
    Classification: Unclassified

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

opt: /home/sean/pg/llvm/lib/Transforms/Utils/LoopSimplify.cpp:383: llvm::Loop*
separateNestedLoop(llvm::Loop*, llvm::BasicBlock*, llvm::DominatorTree*,
llvm::LoopInfo*, llvm::ScalarEvolution*, bool, llvm::AssumptionCache*):
Assertion `NewOuter->isRecursivelyLCSSAForm(*DT) && "LCSSA is broken after
separating nested loops!"' failed.


For some reason this only manifests with the new PM.

opt -passes='function(lcssa,loop-simplify)' -disable-output $1

(
but this succeeds:
opt -lcssa -loop-simplify -disable-output $1
)


Sorry for the enormous testcase (attached). Even with the new hotness for CFG
reduction that DannyB added recently this is the best that bugpoint can do.

-- 
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/20160803/23cd97c9/attachment.html>