indvars crash on vector subtract #2186
Description
| Bugzilla Link | 1814 |
| Resolution | FIXED |
| Resolved on | Nov 23, 2007 02:47 |
| Version | trunk |
| OS | Linux |
| Attachments | testcase |
| CC | @efriedma-quic |
Extended Description
This bitcode file crashes -indvars. Here's the stack:
opt: /home/nicholas/llvm-commit/include/llvm/Support/Casting.h:199: typename llvm::cast_retty<To, From>::ret_type llvm::cast(const Y&) [with X = llvm::IntegerType, Y = const llvm::Type*]: Assertion `isa(Val) && "cast() argument of incompatible type!"' failed.
Program received signal SIGABRT, Aborted.
[Switching to Thread 0xf7c9d6c0 (LWP 16580)]
0xffffe405 in __kernel_vsyscall ()
(gdb) bt
#0 0xffffe405 in __kernel_vsyscall ()
#1 0xf7cc97f5 in raise () from /lib/i686/cmov/libc.so.6
#2 0xf7ccb181 in abort () from /lib/i686/cmov/libc.so.6
#3 0xf7cc2b6e in __assert_fail () from /lib/i686/cmov/libc.so.6
#4 0x0833c6b6 in llvm::cast<llvm::IntegerType, llvm::Type const*> (
Val=@0xffaad940)
at /home/nicholas/llvm-commit/include/llvm/Support/Casting.h:199
#5 0x085221a6 in llvm::ConstantInt::get (Ty=0x86ca390,
V=18446744073709551615, isSigned=false) at Constants.cpp:223
#6 0x084bf97b in llvm::ScalarEvolution::getIntegerSCEV (this=0x86ca028,
Val=-1, Ty=0x86ca390) at ScalarEvolution.cpp:513
#7 0x084c2cce in llvm::ScalarEvolution::getNegativeSCEV (this=0x86ca028,
V=@0xffaada50) at ScalarEvolution.cpp:538
#8 0x084c2f3e in llvm::ScalarEvolution::getMinusSCEV (this=0x86ca028,
LHS=@0xffaada54, RHS=@0xffaada50) at ScalarEvolution.cpp:546
#9 0x084c390d in createSCEV (this=0x86cdaf0, V=0x86cb1a8)
at ScalarEvolution.cpp:1531
#10 0x084c4051 in getSCEV (this=0x86cdaf0, V=0x86cb1a8)
at ScalarEvolution.cpp:1325
#11 0x084c7287 in getSCEVAtScope (this=0x86cdaf0, V=0x86ce020, L=0x0)
at ScalarEvolution.cpp:2129
#12 0x084c7d01 in llvm::ScalarEvolution::getSCEVAtScope (this=0x86ca028,
V=0x86cb1f8, L=0x0) at ScalarEvolution.cpp:2672
#13 0x0837d0dd in RewriteLoopExitValues (this=0x86cb288, L=0x86cd8e8)
at IndVarSimplify.cpp:376
#14 0x0837d4a4 in runOnLoop (this=0x86cb288, L=0x86cd8e8, LPM=@0x86c9f58)
at IndVarSimplify.cpp:461
#15 0x084ac1b3 in llvm::LPPassManager::runOnFunction (this=0x86c9f58,
F=@0x86ca4c8) at LoopPass.cpp:225
#16 0x0856a14a in llvm::FPPassManager::runOnFunction (this=0x86c9ad0,
F=@0x86ca4c8) at PassManager.cpp:1171
#17 0x0856a2ec in llvm::FPPassManager::runOnModule (this=0x86c9ad0,
M=@0x86c9870) at PassManager.cpp:1191
#18 0x08569e20 in llvm::MPPassManager::runOnModule (this=0x86cb2f8,
M=@0x86c9870) at PassManager.cpp:1240
#19 0x08569fd8 in llvm::PassManagerImpl::run (this=0x86caec0, M=@0x86c9870)
at PassManager.cpp:1313
#20 0x0856a02a in llvm::PassManager::run (this=0xffaae1c8, M=@0x86c9870)
at PassManager.cpp:1345
#21 0x082dfde3 in main (argc=3, argv=0xffaae3c4) at opt.cpp:427
(gdb) up 9
#9 0x084c390d in createSCEV (this=0x86cdaf0, V=0x86cb1a8)
at ScalarEvolution.cpp:1531
1531 getSCEV(I->getOperand(1)));
(gdb) p V->dump()
sub <4 x i16> zeroinitializer, zeroinitializer ; <<4 x i16>>:22 [#uses=1]
$1 = void