<html>
<head>
<base href="https://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 --- - NewGVN asserts, "instruction processed too many times""
href="https://llvm.org/bugs/show_bug.cgi?id=31613">31613</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>NewGVN asserts, "instruction processed too many times"
</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>Windows NT
</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>davide@freebsd.org
</td>
</tr>
<tr>
<th>CC</th>
<td>dberlin@dberlin.org, llvm-bugs@lists.llvm.org
</td>
</tr>
<tr>
<th>Blocks</th>
<td>30995
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Reduced from one of our games (game7, for the archives).
define void @patatino() {
entry:
br label %while.body
while.body: ; preds =
%while.end129.loopexit, %entry
%foo.0237 = phi i32 [ 0, %entry ], [ -1, %while.end129.loopexit ]
br label %while.cond22.outer
while.cond22.outer: ; preds = %while.cond38,
%while.body
%foo.1.ph211 = phi i32 [ %foo.0237, %while.body ], [ %foo.2, %while.cond38 ]
br label %while.cond22.outer212
while.cond22.outer212: ; preds = %if.else,
%while.cond22.outer
%foo.1.ph214 = phi i32 [ %foo.1.ph211, %while.cond22.outer ], [
%foo.2.lcssa253, %if.else ]
br i1 undef, label %while.end129.loopexit, label %if.end31.us
if.end31.us: ; preds =
%while.cond22.outer212
br label %while.body37
while.body37: ; preds = %cleanup,
%if.end31.us
%foo.2 = phi i32 [ %foo.4, %cleanup ], [ %foo.1.ph214, %if.end31.us ]
br label %while.cond38
while.cond38: ; preds = %land.rhs47,
%while.body37
switch i8 undef, label %land.rhs47 [
i8 0, label %while.cond22.outer
i8 10, label %lor.lhs.false
]
land.rhs47: ; preds = %while.cond38
br label %while.cond38
lor.lhs.false: ; preds = %while.cond38
br i1 undef, label %if.then70, label %if.else
if.then70: ; preds = %lor.lhs.false
br i1 undef, label %if.then77, label %cleanup
if.then77: ; preds = %if.then70
br label %cleanup
if.else: ; preds = %lor.lhs.false
%foo.2.lcssa253 = phi i32 [ %foo.2, %lor.lhs.false ]
br label %while.cond22.outer212
cleanup: ; preds = %if.then77,
%if.then70
%foo.4 = phi i32 [ undef, %if.then77 ], [ %foo.2, %if.then70 ]
br label %while.body37
while.end129.loopexit: ; preds =
%while.cond22.outer212
br label %while.body
}</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>