[LLVMbugs] [Bug 2857] New: Attempt to use a SCEVCouldNotCompute object!

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Attempt to use a SCEVCouldNotCompute object!
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Loop Optimizer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nlewycky at google.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=2056)
 --> (http://llvm.org/bugs/attachment.cgi?id=2056)
testcase

This testcase crashes:

$ llvm-as < b2.ll | opt -indvars
WARNING: You're attempting to print out a bitcode file.
This is inadvisable as it may cause display problems. If
you REALLY want to taste LLVM bitcode first-hand, you
can force output with the `-f' option.

opt: ScalarEvolution.cpp:136: virtual bool
llvm::SCEVCouldNotCompute::isLoopInvariant(const llvm::Loop*) const: Assertion
`0 && "Attempt to use a SCEVCouldNotCompute object!"' failed.
opt[0x86b068e]
opt[0x86b08f0]
[0xffffe500]
[0x6]
/lib/tls/i686/cmov/libc.so.6(abort+0xe9)[0x49739619]
/lib/tls/i686/cmov/libc.so.6(__assert_fail+0x101)[0x49731031]
opt(_ZNK4llvm19SCEVCouldNotCompute7getTypeEv+0x0)[0x8576c34]
opt(_ZNK4llvm19SCEVCommutativeExpr15isLoopInvariantEPKNS_8LoopBaseINS_10BasicBlockEEE+0x4c)[0x85875fa]
opt(_ZNK4llvm19SCEVCommutativeExpr15isLoopInvariantEPKNS_8LoopBaseINS_10BasicBlockEEE+0x4c)[0x85875fa]
opt[0x8410d0a]
opt[0x841181c]
opt(_ZN4llvm13LPPassManager13runOnFunctionERNS_8FunctionE+0x392)[0x8563cec]
opt(_ZN4llvm13FPPassManager13runOnFunctionERNS_8FunctionE+0x102)[0x863c5bc]
opt(_ZN4llvm13FPPassManager11runOnModuleERNS_6ModuleE+0x6e)[0x863c766]
opt(_ZN4llvm13MPPassManager11runOnModuleERNS_6ModuleE+0xcd)[0x863c289]
opt(_ZN4llvm15PassManagerImpl3runERNS_6ModuleE+0x74)[0x863c426]
opt(_ZN4llvm11PassManager3runERNS_6ModuleE+0x1b)[0x863c481]
opt(main+0x105d)[0x83712cd]
/lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xd2)[0x49723ec2]
opt(__gxx_personality_v0+0x341)[0x8362911]
Aborted

The stacktrace is:

#0  0xffffe410 in __kernel_vsyscall ()
#1  0x49737c51 in raise () from /lib/tls/i686/cmov/libc.so.6
#2  0x49739619 in abort () from /lib/tls/i686/cmov/libc.so.6
#3  0x49731031 in __assert_fail () from /lib/tls/i686/cmov/libc.so.6
#4  0x08576c34 in llvm::SCEVCouldNotCompute::isLoopInvariant (this=0x87d0088, 
    L=0x87cfc80) at ScalarEvolution.cpp:136
#5  0x085875fa in llvm::SCEVCommutativeExpr::isLoopInvariant (this=0x87d0a30, 
    L=0x87cfc80)
    at
/usr/local/src/llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h:230
#6  0x085875fa in llvm::SCEVCommutativeExpr::isLoopInvariant (this=0x87d0a98, 
    L=0x87cfc80)
    at
/usr/local/src/llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h:230
#7  0x08410d0a in (anonymous namespace)::IndVarSimplify::RewriteLoopExitValues
    (this=0x87cb408, L=0x87cfc80, IterationCount=0x87d0430)
    at IndVarSimplify.cpp:379
#8  0x0841181c in (anonymous namespace)::IndVarSimplify::runOnLoop (
    this=0x87cb408, L=0x87cfc80, LPM=@0x87c7a98) at IndVarSimplify.cpp:463
#9  0x08563cec in llvm::LPPassManager::runOnFunction (this=0x87c7a98, 
    F=@0x87c9810) at LoopPass.cpp:226
#10 0x0863c5bc in llvm::FPPassManager::runOnFunction (this=0x87c7778, 
    F=@0x87c9810) at PassManager.cpp:1310
#11 0x0863c766 in llvm::FPPassManager::runOnModule (this=0x87c7778, 
    M=@0x87c6010) at PassManager.cpp:1333
#12 0x0863c289 in llvm::MPPassManager::runOnModule (this=0x87c6100, 
    M=@0x87c6010) at PassManager.cpp:1380
#13 0x0863c426 in llvm::PassManagerImpl::run (this=0x87c78b0, M=@0x87c6010)
    at PassManager.cpp:1454
#14 0x0863c481 in llvm::PassManager::run (this=0xffffd5ec, M=@0x87c6010)
    at PassManager.cpp:1486
#15 0x083712cd in main (argc=3, argv=0xffffd7e4) at opt.cpp:582


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