<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - opt -slsr crashing with "../lib/Analysis/ScalarEvolution.cpp:5678: llvm::ConstantRange llvm::ScalarEvolution::getRangeForUnknownRecurrence(const llvm::SCEVUnknown *): Assertion `L->getHeader() == P->getParent()' failed.""
href="https://bugs.llvm.org/show_bug.cgi?id=49768">49768</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>opt -slsr crashing with "../lib/Analysis/ScalarEvolution.cpp:5678: llvm::ConstantRange llvm::ScalarEvolution::getRangeForUnknownRecurrence(const llvm::SCEVUnknown *): Assertion `L->getHeader() == P->getParent()' failed."
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Global Analyses
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>mikael.holmen@ericsson.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=24706" name="attach_24706" title="bbi-54700.ll reproducer">attachment 24706</a> <a href="attachment.cgi?id=24706&action=edit" title="bbi-54700.ll reproducer">[details]</a></span>
bbi-54700.ll reproducer
Reproduce with:
opt -slsr -S -o - bbi-54700.ll
Result:
opt: ../lib/Analysis/ScalarEvolution.cpp:5678: llvm::ConstantRange
llvm::ScalarEvolution::getRangeForUnknownRecurrence(const llvm::SCEVUnknown *):
Assertion `L->getHeader() == P->getParent()' failed.
PLEASE submit a bug report to <a href="https://bugs.llvm.org/">https://bugs.llvm.org/</a> and include the crash
backtrace.
Stack dump:
0. Program arguments: build-all/bin/opt -slsr -S -o -
/home/uabelho/bbi-54700.ll
#0 0x00000000029741c3 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(build-all/bin/opt+0x29741c3)
#1 0x0000000002971e7e llvm::sys::RunSignalHandlers()
(build-all/bin/opt+0x2971e7e)
#2 0x0000000002974686 SignalHandler(int) Signals.cpp:0:0
#3 0x00007f1417136630 __restore_rt sigaction.c:0:0
#4 0x00007f1414869387 raise (/lib64/libc.so.6+0x36387)
#5 0x00007f141486aa78 abort (/lib64/libc.so.6+0x37a78)
#6 0x00007f14148621a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
#7 0x00007f1414862252 (/lib64/libc.so.6+0x2f252)
#8 0x0000000001aa51dc
llvm::ScalarEvolution::getRangeForUnknownRecurrence(llvm::SCEVUnknown const*)
(build-all/bin/opt+0x1aa51dc)
#9 0x0000000001aa7159 llvm::ScalarEvolution::getRangeRef(llvm::SCEV const*,
llvm::ScalarEvolution::RangeSignHint) (build-all/bin/opt+0x1aa7159)
#10 0x0000000001a9091f llvm::ScalarEvolution::getSignExtendExpr(llvm::SCEV
const*, llvm::Type*, unsigned int) (build-all/bin/opt+0x1a9091f)
#11 0x0000000001a96e24 llvm::ScalarEvolution::getGEPExpr(llvm::GEPOperator*,
llvm::SmallVectorImpl<llvm::SCEV const*> const&) (build-all/bin/opt+0x1a96e24)
#12 0x00000000028635d0 (anonymous
namespace)::StraightLineStrengthReduce::runOnFunction(llvm::Function&)
StraightLineStrengthReduce.cpp:0:0
#13 0x0000000002862d0e
llvm::StraightLineStrengthReducePass::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&) (build-all/bin/opt+0x2862d0e)
#14 0x0000000002c3aadd llvm::detail::PassModel<llvm::Function,
llvm::StraightLineStrengthReducePass, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&) crtstuff.c:0:0
#15 0x00000000021a4349 llvm::PassManager<llvm::Function,
llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&) (build-all/bin/opt+0x21a4349)
#16 0x0000000000a8c59d llvm::detail::PassModel<llvm::Function,
llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >,
llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>
<span class="quote">>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) crtstuff.c:0:0</span >
#17 0x00000000021a8b46 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&) (build-all/bin/opt+0x21a8b46)
#18 0x00000000007733ed llvm::detail::PassModel<llvm::Module,
llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&) crtstuff.c:0:0
#19 0x00000000021a31ab llvm::PassManager<llvm::Module,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&) (build-all/bin/opt+0x21a31ab)
#20 0x000000000076c173 llvm::runPassPipeline(llvm::StringRef, llvm::Module&,
llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*,
llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef,
llvm::ArrayRef<llvm::StringRef>, llvm::opt_tool::OutputKind,
llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool)
(build-all/bin/opt+0x76c173)
#21 0x000000000077cfd6 main (build-all/bin/opt+0x77cfd6)
#22 0x00007f1414855555 __libc_start_main (/lib64/libc.so.6+0x22555)
#23 0x0000000000767345 _start (build-all/bin/opt+0x767345)
Abort</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>