<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 needs support for multiple fake expressions for instructions"
href="https://llvm.org/bugs/show_bug.cgi?id=31868">31868</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>NewGVN needs support for multiple fake expressions for instructions
</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>dberlin@dberlin.org
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Some canonicalizations can only be represented as multiple expressions.
For example,
F(phi(a,b), phi(c, d)) == phi(F(a, c), F(b, d))
In the attached example, the multiplication %21 = mul nsw i64 %18, %19
is completely redundant
we do not detect it because one of the multiplications is in one of the above
forms, and the other is in the other.
If we canonicalize both to the same (instcombine does this), we would discover
it's completely redundant).
WE can either move that code out of instcombine, and run it first, or we could
support multiple fake expressions that get inserted at elimination time.
We end up needing the latter support for PRE anyway...</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>