<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 - [DebugInfo@O2][Dexter] Vectorized loop presents constant-valued iterator to debugger"
href="https://bugs.llvm.org/show_bug.cgi?id=39018">39018</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>[DebugInfo@O2][Dexter] Vectorized loop presents constant-valued iterator to debugger
</td>
</tr>
<tr>
<th>Product</th>
<td>new-bugs
</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>Keywords</th>
<td>wrong-debug
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>new bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>jeremy.morse.llvm@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>chackz0x12@gmail.com, greg.bedwell@sony.com, international.phantom@gmail.com, llvm-bugs@lists.llvm.org, paul.robinson@am.sony.com
</td>
</tr>
<tr>
<th>Blocks</th>
<td>38768
</td>
</tr></table>
<p>
<div>
<pre>The vectorized loop below has a constant valued iterator according to debug
info in optimised programs. Using clang/llvm r342527, compiling "-O2 -g
-fno-inline" targeting x86_64, and running under gdb or lldb, printing 'i' on
any iteration of the first loop will yield the value zero. Obviously this is
misleading to the developer.
Running dwarfdump shows that there's just one debug location for 'i', where
it's assigned the constant value of zero. My feeling is that the vectorizer
discards all debug data in the loop, leaving only one dbg.value call in the
program (the constant initializer) and no indication of what the liveness of
that value is. [This class of bug is likely to be a theme].
I imagine putting dbg.value(undef, ...) in the vectorized loop might fix this,
however I'm not really familiar with the vectorizer at all.
The problem replicates if you add -fno-unroll-loops to the command line, and
gives you assembly you have a chance of understanding.
-------->8--------
#include <string.h>
#define BUFSZ 192
int
main()
{
int foo[BUFSZ];
int bar[BUFSZ];
memset(foo, 0, sizeof(foo));
memset(bar, 1, sizeof(bar));
for (int i = 0; i < BUFSZ; i++)
foo[i] += bar[i];
unsigned int sum = 0;
for (int j; j < BUFSZ; j++)
sum += foo[j];
return sum;
}
--------8<--------</pre>
</div>
</p>
<div id="referenced">
<hr style="border: 1px dashed #969696">
<b>Referenced Bugs:</b>
<ul>
<li>
[<a class="bz_bug_link
bz_status_NEW "
title="NEW - [meta][DebugInfo] Umbrella bug for poor debug experiences"
href="https://bugs.llvm.org/show_bug.cgi?id=38768">Bug 38768</a>] [meta][DebugInfo] Umbrella bug for poor debug experiences
</li>
</ul>
</div>
<br>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>