<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 - Wrong optimization when processing vectors"
href="https://bugs.llvm.org/show_bug.cgi?id=48493">48493</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Wrong optimization when processing vectors
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>8.0
</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>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>C++
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>2077213809@qq.com
</td>
</tr>
<tr>
<th>CC</th>
<td>blitzrakete@gmail.com, dgregor@apple.com, erik.pilkington@gmail.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=24270" name="attach_24270" title="the testcase">attachment 24270</a> <a href="attachment.cgi?id=24270&action=edit" title="the testcase">[details]</a></span>
the testcase
I have the following test cases for the Aarch64 backend, but it is found that
the clang frontend is optimized strangely. As a result, the test fails.
I use the vceqq_u8 function to check whether the two vectors are the same, and
use __builtin_neon_vgetq_lane_i16 to set the bit of the unsigned short to 1 if
each position of the vector is the same, and then print the information, i use
a common constructor function to obtain v_zero and v_denom, which arranges
1-16. After compilation, Clang considers that the two values are always equal
and prints 0xffff.
the clang version is 8.0.1,and even O0 the result is the same, build based on
the aarch64 environment,target is aarch64-unknown-linux-gnu
==================process ===============
clang++ -O0/-O2 vector.cpp
./a.out
ffff
================== code ============
typedef unsigned char uchar;
struct v_uint8x16
{
typedef uchar lane_type;
enum { nlanes = 16 };
v_uint8x16() {}
explicit v_uint8x16(uint8x16_t v) : val(v) {}
v_uint8x16(uchar v0, uchar v1, uchar v2, uchar v3, uchar v4, uchar v5,
uchar v6, uchar v7,
uchar v8, uchar v9, uchar v10, uchar v11, uchar v12, uchar v13,
uchar v14, uchar v15)
{
uchar v[] = {v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12,
v13, v14, v15};
val = __extension__ ({ uint8x16_t __ret; __ret = (uint8x16_t)
__builtin_neon_vld1q_v(v, 48); __ret; });
}
uint8x16_t val;
};
template<typename T1, typename T2, typename Tvec>
struct op_div_scale
{
// #pragma clang optimize off
static inline void pre(const Tvec& denom, const Tvec& res)
{
const Tvec v_zero = Tvec();
printf("%x\n", __builtin_neon_vgetq_lane_i16(vceqq_u8(denom.val,
v_zero.val), 0));
}
#pragma clang optimize on
};
void test()
{
v_uint8x16 vdenom(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16);
op_div_scale<int, int, v_uint8x16>::pre(vdenom, vdenom);
}
int main()
{
test();
return 0;
}
================== info ======================
when use O2, IR is Directly printed 655.
; Function Attrs: nounwind
define dso_local void @_Z4testv() local_unnamed_addr #0 {
%1 = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8],
[4 x i8]* @.str, i64 0, i64 0), i32 65535)
ret void
}
when use #pragma clang optimize off, the result is correct, for clang 8.0.1 -O2
35 #pragma clang optimize off
36 static inline void pre(const Tvec& denom, const Tvec& res)
37 {
38 const Tvec v_zero = Tvec();
39 printf("%x\n", __builtin_neon_vgetq_lane_i16(vceqq_u8(denom.val,
v_zero.val), 0));
40 }
41 #pragma clang optimize on
I tried trunk branch O0. It's still wrong. although O2 is correct.</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>