AArch64: Use FLOAT_MODE_P macro and add FLAG_AUTO_FP [PR94442]
authorxiezhiheng <xiezhiheng@huawei.com>
Tue, 4 Aug 2020 16:25:29 +0000 (17:25 +0100)
committerRichard Sandiford <richard.sandiford@arm.com>
Tue, 4 Aug 2020 16:25:29 +0000 (17:25 +0100)
Since all FP intrinsics are set by FLAG_FP by default, but not all FP intrinsics
raise FP exceptions or read FPCR register.  So we add a global flag FLAG_AUTO_FP
to suppress the flag FLAG_FP.

2020-08-04  Zhiheng Xie  <xiezhiheng@huawei.com>

gcc/ChangeLog:

* config/aarch64/aarch64-builtins.c (aarch64_call_properties):
Use FLOAT_MODE_P macro instead of enumerating all floating-point
modes and add global flag FLAG_AUTO_FP.

gcc/config/aarch64/aarch64-builtins.c

index 892ef9495e1070e0cf31dc9239bb1d8b1e38eb6b..4f33dd936c7aa54c773cca2e1d779216506fbb44 100644 (file)
@@ -125,6 +125,10 @@ const unsigned int FLAG_READ_MEMORY = 1U << 2;
 const unsigned int FLAG_PREFETCH_MEMORY = 1U << 3;
 const unsigned int FLAG_WRITE_MEMORY = 1U << 4;
 
+/* Not all FP intrinsics raise FP exceptions or read FPCR register,
+   use this flag to suppress it.  */
+const unsigned int FLAG_AUTO_FP = 1U << 5;
+
 const unsigned int FLAG_FP = FLAG_READ_FPCR | FLAG_RAISE_FP_EXCEPTIONS;
 const unsigned int FLAG_ALL = FLAG_READ_FPCR | FLAG_RAISE_FP_EXCEPTIONS
   | FLAG_READ_MEMORY | FLAG_PREFETCH_MEMORY | FLAG_WRITE_MEMORY;
@@ -900,27 +904,9 @@ static unsigned int
 aarch64_call_properties (aarch64_simd_builtin_datum *d)
 {
   unsigned int flags = d->flags;
-  switch (d->mode)
-    {
-    /* Floating-point.  */
-    case E_BFmode:
-    case E_V4BFmode:
-    case E_V8BFmode:
-    case E_HFmode:
-    case E_V4HFmode:
-    case E_V8HFmode:
-    case E_SFmode:
-    case E_V2SFmode:
-    case E_V4SFmode:
-    case E_DFmode:
-    case E_V1DFmode:
-    case E_V2DFmode:
-      flags |= FLAG_FP;
-      break;
 
-    default:
-      break;
-    }
+  if (!(flags & FLAG_AUTO_FP) && FLOAT_MODE_P (d->mode))
+    flags |= FLAG_FP;
 
   /* -fno-trapping-math means that we can assume any FP exceptions
      are not user-visible.  */