[LLVMbugs] [Bug 6453] New: LSR produces invalid IR

[bugzilla-daemon at llvm.org]

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

           Summary: LSR produces invalid IR
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P5
         Component: Loop Optimizer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: stoklund at 2pi.dk
                CC: llvmbugs at cs.uiuc.edu


This cropped up during a bugpoint session:

$ Release/bin/opt -loop-reduce -verify LoopReduce.ll -o /dev/null
Instruction does not dominate all uses!
  %lsr.iv.next5 = add i32 %lsr.iv4, %lsr.iv2      ; <i32> [#uses=2]
  %tmp9 = sub i32 %lsr.iv.next5, %tmp8            ; <i32> [#uses=1]
Broken module found, compilation aborted!
0  opt               0x000000010041ca92 PrintStackTrace(void*) + 34
1  opt               0x000000010041d27c SignalHandler(int) + 652
2  libSystem.B.dylib 0x00007fff8160deaa _sigtramp + 26
3  libSystem.B.dylib 0x00007fff5fbfeec0 _sigtramp + 3730772016
4  opt               0x00000001003e33b1 (anonymous
namespace)::Verifier::runOnFunction(llvm::Function&) + 2049
5  opt               0x00000001003b7f10
llvm::FPPassManager::runOnFunction(llvm::Function&) + 512
6  opt               0x00000001003b806b
llvm::FPPassManager::runOnModule(llvm::Module&) + 75
7  opt               0x00000001003b97ce
llvm::MPPassManager::runOnModule(llvm::Module&) + 478
8  opt               0x00000001003b9983
llvm::PassManagerImpl::run(llvm::Module&) + 147
9  opt               0x00000001003b9a0d llvm::PassManager::run(llvm::Module&) +
13
10 opt               0x00000001000465d7 main + 2951
11 opt               0x000000010003caa8 start + 52
Stack dump:
0.    Program arguments: Release/bin/opt -loop-reduce -verify LoopReduce.ll -o
/dev/null 
1.    Running pass 'Function Pass Manager' on module 'LoopReduce.ll'.
2.    Running pass 'Module Verifier' on function
'@_ZNK15PolynomialSpaceILi3EE13compute_indexEjRA3_j'
Abort trap

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