<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 - ssertion `Phi.ValidRewrite && "Now that the SCEV is strict wrt pointer/integer types, this invariant is expected to be uphold by SCEV itself."' failed."
href="https://bugs.llvm.org/show_bug.cgi?id=51490">51490</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>ssertion `Phi.ValidRewrite && "Now that the SCEV is strict wrt pointer/integer types, this invariant is expected to be uphold by SCEV itself."' 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>Scalar Optimizations
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>bjorn.a.pettersson@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=25136" name="attach_25136" title="indvars2.ll (LLVM IR orgininating from a csmith generated test case, not reduced very much)">attachment 25136</a> <a href="attachment.cgi?id=25136&action=edit" title="indvars2.ll (LLVM IR orgininating from a csmith generated test case, not reduced very much)">[details]</a></span>
indvars2.ll (LLVM IR orgininating from a csmith generated test case, not
reduced very much)
The assert added in <a href="https://reviews.llvm.org/D108043">https://reviews.llvm.org/D108043</a> was triggered.
<span class="quote">> opt -Oz -enable-new-pm=0 indvars2.ll -S -o /dev/null</span >
opt: ../lib/Transforms/Utils/LoopUtils.cpp:1351: int
llvm::rewriteLoopExitValues(llvm::Loop *, llvm::LoopInfo *,
llvm::TargetLibraryInfo *, llvm::ScalarEvolution *, const
llvm::TargetTransformInfo *, llvm::SCEVExpander &, llvm::DominatorTree *,
llvm::ReplaceExitVal, SmallVector<llvm::WeakTrackingVH, 16> &): Assertion
`Phi.ValidRewrite && "Now that the SCEV is strict wrt pointer/integer types,
this " "invariant is expected to be uphold by SCEV itself."' 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: opt -Oz -enable-new-pm=0 indvars2.ll -S -o /dev/null
1. Running pass 'CallGraph Pass Manager' on module 'indvars2.ll'.
2. Running pass 'Loop Pass Manager' on function '@func_2'
3. Running pass 'Induction Variable Simplification' on basic block
'%for.cond884'
#0 0x0000000002b74323 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(opt+0x2b74323)
#1 0x0000000002b71f9e llvm::sys::RunSignalHandlers() (opt+0x2b71f9e)
#2 0x0000000002b746a6 SignalHandler(int) Signals.cpp:0:0
#3 0x00007f59a55bb630 __restore_rt sigaction.c:0:0
#4 0x00007f59a2cee387 raise (/lib64/libc.so.6+0x36387)
#5 0x00007f59a2cefa78 abort (/lib64/libc.so.6+0x37a78)
#6 0x00007f59a2ce71a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
#7 0x00007f59a2ce7252 (/lib64/libc.so.6+0x2f252)
#8 0x0000000002c44a3d llvm::rewriteLoopExitValues(llvm::Loop*,
llvm::LoopInfo*, llvm::TargetLibraryInfo*, llvm::ScalarEvolution*,
llvm::TargetTransformInfo const*, llvm::SCEVExpander&, llvm::DominatorTree*,
llvm::ReplaceExitVal, llvm::SmallVector<llvm::WeakTrackingVH, 16u>&)
(opt+0x2c44a3d)
#9 0x00000000028a9e2d (anonymous namespace)::IndVarSimplify::run(llvm::Loop*)
IndVarSimplify.cpp:0:0
#10 0x00000000028b1ef3 (anonymous
namespace)::IndVarSimplifyLegacyPass::runOnLoop(llvm::Loop*,
llvm::LPPassManager&) IndVarSimplify.cpp:0:0
#11 0x0000000001b5e33b llvm::LPPassManager::runOnFunction(llvm::Function&)
(opt+0x1b5e33b)
#12 0x0000000002302d0f llvm::FPPassManager::runOnFunction(llvm::Function&)
(opt+0x2302d0f)
#13 0x0000000001a5f7e5 (anonymous
namespace)::CGPassManager::runOnModule(llvm::Module&) CallGraphSCCPass.cpp:0:0
#14 0x00000000023032dd llvm::legacy::PassManagerImpl::run(llvm::Module&)
(opt+0x23032dd)
#15 0x0000000000821e3f main (opt+0x821e3f)
#16 0x00007f59a2cda555 __libc_start_main (/lib64/libc.so.6+0x22555)
#17 0x000000000080b02c _start (opt+0x80b02c)
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>