<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 - [SIMD] min / max patterns not recognized"
href="https://bugs.llvm.org/show_bug.cgi?id=50805">50805</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>[SIMD] min / max patterns not recognized
</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>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>Backend: WebAssembly
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>clang@evan.coeusgroup.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Similar to #50793, but for min/max instead of pmin/pmax. Probably less
important than pmin/pmax since most code doesn't bother checking for NaN, but
still nice to have.
If we add a quick check so the the code will return NaN if it is found, we end
up with the behavior of min/max instead of pmin/pmax. Example
(<a href="https://godbolt.org/z/WEr9173h6">https://godbolt.org/z/WEr9173h6</a>):
#include <wasm_simd128.h>
#pragma clang diagnostic ignored "-Wmissing-prototypes"
#pragma clang diagnostic ignored "-Wvector-conversion"
typedef float f32x4 __attribute__((__vector_size__(16)));
typedef int32_t i32x4 __attribute__((__vector_size__(16)));
typedef double f64x2 __attribute__((__vector_size__(16)));
typedef int64_t i64x2 __attribute__((__vector_size__(16)));
f32x4
min32(f32x4 a, f32x4 b) {
i32x4 mask = (a != a) | (a < b);
return (f32x4) (
(((i32x4) a) & mask) |
(((i32x4) b) & ~mask));
}
f64x2
min64(f64x2 a, f64x2 b) {
i64x2 mask = (a != a) | (a < b);
return (f64x2) (
(((i64x2) a) & mask) |
(((i64x2) b) & ~mask));
}
f32x4
max32(f32x4 a, f32x4 b) {
i32x4 mask = (a != a) | (a > b);
return (f32x4) (
(((i32x4) a) & mask) |
(((i32x4) b) & ~mask));
}
f64x2
max64(f64x2 a, f64x2 b) {
i64x2 mask = (a != a) | (a > b);
return (f64x2) (
(((i64x2) a) & mask) |
(((i64x2) b) & ~mask));
}</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>