<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><span class="vcard"><a class="email" href="mailto:dan@su-root.co.uk" title="Dan Liew <dan@su-root.co.uk>"> <span class="fn">Dan Liew</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED WONTFIX - x86_64 codegen checks branch conditions in the wrong order"
href="https://bugs.llvm.org/show_bug.cgi?id=32604">bug 32604</a>
<br>
<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>What</th>
<th>Removed</th>
<th>Added</th>
</tr>
<tr>
<td style="text-align:right;">Status</td>
<td>NEW
</td>
<td>RESOLVED
</td>
</tr>
<tr>
<td style="text-align:right;">Resolution</td>
<td>---
</td>
<td>WONTFIX
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED WONTFIX - x86_64 codegen checks branch conditions in the wrong order"
href="https://bugs.llvm.org/show_bug.cgi?id=32604#c8">Comment # 8</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED WONTFIX - x86_64 codegen checks branch conditions in the wrong order"
href="https://bugs.llvm.org/show_bug.cgi?id=32604">bug 32604</a>
from <span class="vcard"><a class="email" href="mailto:dan@su-root.co.uk" title="Dan Liew <dan@su-root.co.uk>"> <span class="fn">Dan Liew</span></a>
</span></b>
<pre>After talking it over with a few people I don't think this is really a bug.
>From the perspective of the original program no new or incorrect behaviour can
be observed from within the program.
I was also silly in thinking that doing something at the assembly level that
would be undefined behaviour in the source language is considered undefined at
the assembly level.
However it should be noted that branching on non initialized memory at the
assembly level might lead to non-determinism in the sequence of instructions
that are executed. This "might" be observable externally if someone was doing
some sort of tracing at the binary level.</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>