Work around GCC PR94413

With the array-based simd implementation, GCC might auto-vectorize the classification functions, hitting PR94413 (auto-vectorization of isfinite raises FP exception). ChangeLog: * testsuite/tests/fpclassify.cc: Only test FP exceptions with the libstdc++ implementation. * vir/simd.h: Define VIR_HAVE_STD_SIMD or VIR_HAVE_VIR_SIMD.
mattkretz · Sep 11, 2023 · b04d4bf · b04d4bf
1 parent 4381108
commit b04d4bf
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/testsuite/tests/fpclassify.cc b/testsuite/tests/fpclassify.cc
@@ -30,7 +30,14 @@ template <typename F>
     return r;
   }
 
+#if VIR_HAVE_STD_SIMD
 #define NOFPEXCEPT(...) verify_no_fp_exceptions([&]() { return __VA_ARGS__; })
+#elif VIR_HAVE_VIR_SIMD
+// With the array-based simd implementation, GCC might auto-vectorize the classification functions,
+// hitting PR94413 (auto-vectorization of isfinite raises FP exception). Therefore, simply ignore FP
+// exceptions then.
+#define NOFPEXCEPT(...) [&]() { return __VA_ARGS__; }()
+#endif
 
 template <typename V>
   void

diff --git a/vir/simd.h b/vir/simd.h
@@ -24,6 +24,8 @@
 
 #if defined __cpp_lib_experimental_parallel_simd && __cpp_lib_experimental_parallel_simd >= 201803
 
+#define VIR_HAVE_STD_SIMD 1
+
 namespace vir::stdx
 {
   using namespace std::experimental::parallelism_v2;
@@ -43,6 +45,8 @@ namespace vir::stdx
 #include <type_traits>
 #include <utility>
 
+#define VIR_HAVE_VIR_SIMD 1
+
 #ifdef VIR_SIMD_TS_DROPIN
 namespace std::experimental
 {