http://llvm.org/bugs/show_bug.cgi?id=7649

           Summary: dominance frontier not updated correctly
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Loop Optimizer
        AssignedTo: [email protected]
        ReportedBy: [email protected]
                CC: [email protected]


With llvm trunk this fails for me:

> opt -mem2reg -indvars /tmp/bug.ll  -verify-dom-info

opt: lib/VMCore/Dominators.cpp:119: virtual void
llvm::DominanceFrontier::verifyAnalysis() const: Assertion `!compare(OtherDF)
&& "Invalid DominanceFrontier info!"' failed.
Stack dump:
0.    Program arguments: opt -mem2reg -indvars /tmp/bug.ll -verify-dom-info 
1.    Running pass 'Function Pass Manager' on module '/tmp/bug.ll'.
2.    Running pass 'Loop Pass Manager' on function '@VBR_iteration_loop_new'
zsh: abort      opt -mem2reg -indvars /tmp/bug.ll -verify-dom-info

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs

Reply via email to