Assertion failed: (StartV->getType() == PTy && "Pointer type mismatch for GEP!"), function visitAddRecExpr

[llvmbot]

Bugzilla Link	4271
Resolution	FIXED
Resolved on	Nov 07, 2018 00:21
Version	unspecified
OS	All
Attachments	bugpoint generated testcase
Reporter	LLVM Bugzilla Contributor
CC	@sunfishcode

Extended Description

I'm getting a crash on the attached bitcode file for i686-apple-darwin:

[ssen@virgon]$ /Volumes/HD/ltmp/ssen/llvm/build/Debug/bin/opt bugpoint-reduced-simplified.bc -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.

Assertion failed: (StartV->getType() == PTy && "Pointer type mismatch for GEP!"), function visitAddRecExpr, file /Volumes/HD/ltmp/ssen/llvm/lib/Analysis/ScalarEvolutionExpander.cpp, line 452.
0 opt 0x003ad277 PrintStackTrace(void*) + 45
1 opt 0x003ad7e9 SignalHandler(int) + 351
2 libSystem.B.dylib 0x96872f8b _sigtramp + 43
3 libSystem.B.dylib 0xffffffff _sigtramp + 1769525407
4 libSystem.B.dylib 0x968dd6cf raise + 26
5 libSystem.B.dylib 0x968f4595 abort + 93
6 libSystem.B.dylib 0x968e0422 __assert_rtn + 252
7 opt 0x00291941 llvm::SCEVExpander::visitAddRecExpr(llvm::SCEVAddRecExpr const*) + 569
8 opt 0x002944e0 llvm::SCEVVisitor<llvm::SCEVExpander, llvm::Value*>::visit(llvm::SCEV const*) + 304
9 opt 0x00290da3 llvm::SCEVExpander::expand(llvm::SCEV const*) + 143
10 opt 0x00290e1d llvm::SCEVExpander::expandCodeFor(llvm::SCEVHandle, llvm::Type const*) + 41
11 opt 0x000d771c (anonymous namespace)::IndVarSimplify::RewriteIVExpressions(llvm::LoopBasellvm::BasicBlock, llvm::Type const, llvm::SCEVExpander&) + 2030
12 opt 0x000d8f19 (anonymous namespace)::IndVarSimplify::runOnLoop(llvm::LoopBasellvm::BasicBlock*, llvm::LPPassManager&) + 1265
13 opt 0x00248f60 llvm::LPPassManager::runOnFunction(llvm::Function&) + 952
14 opt 0x003401fe llvm::FPPassManager::runOnFunction(llvm::Function&) + 288
15 opt 0x0034039c llvm::FPPassManager::runOnModule(llvm::Module&) + 84
16 opt 0x0033eaf9 llvm::MPPassManager::runOnModule(llvm::Module&) + 235
17 opt 0x00340620 llvm::PassManagerImpl::run(llvm::Module&) + 112
18 opt 0x00340677 llvm::PassManager::run(llvm::Module&) + 27
19 opt 0x00056c00 main + 5036
20 opt 0x0004a8a9 start + 53
Stack dump:
0. Running pass 'Function Pass Manager' on module 'bugpoint-reduced-simplified.bc'.

1. Running pass 'Loop Pass Manager' on function '@hibernate_kernel_entrypoint'
2. Running pass 'Canonicalize Induction Variables' on basic block '%for.body'
   Abort trap

[llvmbot]

Oops, relevant configuration information: Mac OS X 10.6, which a trunk checkout (r72417)

[llvmbot]

r72250 doesn't crash
72366 crashes

[llvmbot]

r72364 doesn't crash

[sunfishcode]

Confirmed on TOT. ScalarEvolutionExpander isn't properly prepared for
a divide of a pointer value. I'm working on it.

[sunfishcode]

Fixed here:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20090525/078046.html

[llvmbot]

Looks good