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: unassignedb...@nondot.org
          Reporter: chisophu...@gmail.com
                CC: chandl...@gmail.com, dber...@dberlin.org,
                    llvm-bugs@lists.llvm.org,
                    michael.v.zolotuk...@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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to