[LLVMbugs] [Bug 4667] New: LoopIndexSplit problem with ENABLE_EXPENSIVE_CHECKS

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: LoopIndexSplit problem with ENABLE_EXPENSIVE_CHECKS
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: daniel at zuster.org
                CC: dpatel at apple.com, llvmbugs at cs.uiuc.edu


This test fails:
  llvm/test/Transforms/LoopIndexSplit/2008-06-03-DomFrontier.ll
when I run with ENABLE_EXPENSIVE_CHECKS=1 (in a Debug build)

--
FAIL:
/Volumes/Data/Users/ddunbar/llvm/test/Transforms/LoopIndexSplit/2008-06-03-DomFrontier.ll
Failed with signal(SIGABRT) at line 1
while running:  
Dominator Information for WirelessCreatePSK
Pass 'Rotate Loops'
----- Valid -----
  DomFrontier for BB%entry is:  
  DomFrontier for BB%bb52 is:   %bb52
  DomFrontier for BB%bb63 is:   %bb63%bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb68 is:   %bb63
  DomFrontier for BB%bb131 is:  %bb63
  DomFrontier for BB%bb142 is:  %bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb63.clone.bb142.loopexit_crit_edge is:    %bb142.loopexit
  DomFrontier for BB%bb63.preheader is: %bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb142.loopexit is: %bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb142.preheader is:        %bb52.backedge
  DomFrontier for BB%bb52.loopexit is:  %bb52.backedge
  DomFrontier for BB%bb52.backedge is:  %bb52
  DomFrontier for BB%bb63.clone is:     %bb142.loopexit%bb89.clone
  DomFrontier for BB%bb.nph is: %bb142.loopexit
  DomFrontier for BB%bb131.clone is:    %bb142.loopexit%bb89.clone
  DomFrontier for BB%bb89.clone is:     %bb142.loopexit%bb89.clone
  DomFrontier for BB%bb131.bb63.clone_crit_edge is:    
%bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb.nph7 is:        %bb52.loopexit
  DomFrontier for BB%bb142.bb52.loopexit_crit_edge is:  %bb52.loopexit
----- Invalid -----
  DomFrontier for BB%entry is:  
  DomFrontier for BB%bb52 is:   %bb52
  DomFrontier for BB%bb63 is:   %bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb68 is:   %bb63
  DomFrontier for BB%bb131 is:  %bb63
  DomFrontier for BB%bb142 is:  %bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb63.clone.bb142.loopexit_crit_edge is:    %bb142.loopexit
  DomFrontier for BB%bb63.preheader is: %bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb142.loopexit is: %bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb142.preheader is:        %bb52.backedge
  DomFrontier for BB%bb52.loopexit is:  %bb52.backedge
  DomFrontier for BB%bb52.backedge is:  %bb52
  DomFrontier for BB%bb63.clone is:     %bb142.loopexit%bb89.clone
  DomFrontier for BB%bb.nph is: %bb142.loopexit
  DomFrontier for BB%bb131.clone is:    %bb142.loopexit%bb89.clone
  DomFrontier for BB%bb89.clone is:     %bb142.loopexit%bb89.clone
  DomFrontier for BB%bb131.bb63.clone_crit_edge is:    
%bb63.preheader%bb52.loopexit
  DomFrontier for BB%bb.nph7 is:        %bb52.loopexit
  DomFrontier for BB%bb142.bb52.loopexit_crit_edge is:  %bb52.loopexit
Invalid dominator info
UNREACHABLE executed at PassManager.cpp:744!
0   opt               0x000000010050f0dd PrintStackTrace(void*) + 38
1   opt               0x000000010050f769 SignalHandler(int) + 294
2   libSystem.B.dylib 0x00007fff84b3c2fa _sigtramp + 26
3   libstdc++.6.dylib 0x00007fff824eb472
__gnu_debug::_Safe_iterator_base::_M_detach() + 134
4   opt               0x0000000100060387 llvm::llvm_report_error(llvm::Twine
const&) + 0
5   opt               0x000000010046993c
llvm::PMDataManager::verifyDomInfo(llvm::Pass&, llvm::Function&) + 830
6   opt               0x000000010032c4d7
llvm::LPPassManager::runOnFunction(llvm::Function&) + 1365
7   opt               0x0000000100469abd
llvm::FPPassManager::runOnFunction(llvm::Function&) + 341
8   opt               0x0000000100469c9e
llvm::FPPassManager::runOnModule(llvm::Module&) + 82
9   opt               0x00000001004686a0
llvm::MPPassManager::runOnModule(llvm::Module&) + 418
10  opt               0x0000000100469f99
llvm::PassManagerImpl::run(llvm::Module&) + 111
11  opt               0x0000000100469ffb llvm::PassManager::run(llvm::Module&)
+ 33
12  opt               0x000000010007e616 main + 4423
13  opt               0x0000000100063d7c start + 52
14  opt               0x0000000000000006 start + 4294558398
Stack dump:
0.      Running pass 'Function Pass Manager' on module '<stdin>'.
1.      Running pass 'Loop Pass Manager' on function '@WirelessCreatePSK'

--


-- 
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.