<html>
<head>
<base href="http://llvm.org/bugs/" />
</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 --- - Different pass sequences can cause LICM to assert during doFinalization"
href="http://llvm.org/bugs/show_bug.cgi?id=18589">18589</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Different pass sequences can cause LICM to assert during doFinalization
</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>All
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</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>chandlerc@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>% ./bin/opt -basicaa -loop-rotate -licm -instcombine -scalar-evolution
-loop-simplify -licm -indvars -loop-unroll -debug-pass=Structure -S
llvm/test/Transforms/LoopSimplify/ashr-crash.ll
Pass Arguments: -targetlibinfo -datalayout -notti -basictti -x86tti -no-aa
-basicaa -domtree -loops -loop-simplify -lcssa -loop-rotate -licm -instcombine
-scalar-evolution -loop-simplify -licm -lcssa -indvars -loop-unroll -verify
-print-module
Target Library Information
Data Layout
No target information
Target independent code generator's TTI
X86 Target Transform Info
No Alias Analysis (always returns 'may' alias)
Basic Alias Analysis (stateless AA impl)
ModulePass Manager
FunctionPass Manager
Dominator Tree Construction
Natural Loop Information
Canonicalize natural loops
Loop Pass Manager
Loop-Closed SSA Form Pass
Rotate Loops
Loop Invariant Code Motion
Combine redundant instructions
Scalar Evolution Analysis
Canonicalize natural loops
Loop Pass Manager
Loop Invariant Code Motion
Loop-Closed SSA Form Pass
Induction Variable Simplification
Unroll loops
Module Verifier
Print module to stderr
opt: ../lib/Transforms/Scalar/LICM.cpp:97: virtual bool <anonymous
namespace>::LICM::doFinalization(): Assertion `LoopToAliasSetMap.empty() &&
"Didn't free loop alias sets"' failed.</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>