<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 - [X86] some builtins generate incorrect code for shifts with large (constant) shift counts"
href="https://bugs.llvm.org/show_bug.cgi?id=43922">43922</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>[X86] some builtins generate incorrect code for shifts with large (constant) shift counts
</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>Backend: X86
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>Wolfgang_Pieb@playstation.sony.com
</td>
</tr>
<tr>
<th>CC</th>
<td>craig.topper@gmail.com, llvm-bugs@lists.llvm.org, llvm-dev@redking.me.uk, spatel+llvm@rotateright.com
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=22780" name="attach_22780" title="IR in question">attachment 22780</a> <a href="attachment.cgi?id=22780&action=edit" title="IR in question">[details]</a></span>
IR in question
The attached IR features a call to a builtin that generates a PSRAD
instruction. The shift count is large, and in such cases the instruction's
definition says that the result should be equal to the operand's sign bit (or
the sign bits of its respective elements) extended to the entire width of the
result (i.e. 0 or -1).
The instruction, however, is emitted with a shift count of 0, yielding a result
identical to the input operand.
movq .LCPI0_0(%rip), %mm0 # mm0 = 0x7AAAAAAA7AAAAAAA
psrad $0, %mm0
I do not think undefined behaviour is in play here, since I would expect that
the semantics of a builtin are directly derived from the that of the
instruction they represent, though I could be wrong about that.
The IR has been generated from the following C source:
// -----------------------------------------------------
typedef int __v2si __attribute__((__vector_size__(8)));
typedef long long __m64 __attribute__((__vector_size__(8)));
extern "C" int printf(const char *, ...);
int main()
{
__m64 id17152 = {(long long)0x7aaaaaaa7aaaaaaa};
int id17156 = 0x10000000;
__m64 id17151 = (__m64)__builtin_ia32_psradi((__v2si)id17152,
id17156);
printf("id17151 = %llx\n", id17151[0]);
}
// ------------------------------------------------------
gcc 7.4.0 prints 0 for this code.
In a late stage IR dump the PSRAD instruction shows up with the correct shift
count:
renamable $mm0 = MMX_PSRADri killed renamable $mm0(tied-def 0), 268435456</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>