This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
[RFC v1 15/16] RISC-V: Fix llrint and llround missing exceptions on RV32
- From: Alistair Francis <alistair dot francis at wdc dot com>
- To: libc-alpha at sourceware dot org
- Cc: alistair dot francis at wdc dot com, alistair23 at gmail dot com
- Date: Fri, 21 Jun 2019 21:37:52 -0700
- Subject: [RFC v1 15/16] RISC-V: Fix llrint and llround missing exceptions on RV32
- Ironport-sdr: 2W8EeuhgSVMJxX9IWGzY1VhpRNTcmsvBIrQTojAHDrmoDxleH+Gd0HtZhqphhBGG2EfVpf9tqw hK3rUS5OEnmY4JlKPVPxmsSp8lXJ8NI8TEIdtfxC3EBN9cTpgotqFIJXaDUZVE0yrkzYhQzot9 ISLj1MKlq2MDgLNQ7F1ctnY1bNcXmCUNs5H5x5fzs7T6IAVnFfqvvBxLV3n+Z7hnuPY/sbSCqD fSdewWjr9mIig3vDZhm5eksxDwjqrrFX46wkgAkUZOnbnEou3MNYyhBiYUX+cruJbmQV0b4MA8 zU4WfpqWyZCk3aoEpTRUPXm9
- Ironport-sdr: 5dkXxgP0m1b+mg0kDJGddlm08lYuE2jxN5tB3a5fLoT77BXIXpMSNCW85LSlXF/RdsnYZOnfyA TWuaBRo4SRthDfwD3NsvOtC4hMymsXFu20IEdFrFTjRpwqaJPiQvy1ZPnwA6chJLqJgYpwAMpx wuYFUuUlyqAMZGELuKXfXSNiCKDeILW1bQw7bA62dZ79WnLa8I00hp+6N22NqxJk1poZpddiGr mhCNnPnAJnzbFgoofMOPll7DtuCo+Ss/ZjqJFgXpyVsCyEBEC6VUEqIPZPKLtNJ0Jkav1aQ2uG 9Yc=
- References: <cover.1561177967.git.alistair.francis@wdc.com>
From: Zong Li <zongbox@gmail.com>
Similar to the recent fix for MIPS, ARM and S/390, RV32 is missing
correct exception on overflow from llrint and llround functions because
cast from floating-point types to long long do not result in correct
exceptions on overflow.
2018-11-29 Zong Li <zong@andestech.com>
* sysdeps/riscv/rv32/fix-fp-int-convert-overflow.h: New file.
---
ChangeLog | 10 +++++
.../riscv/rv32/fix-fp-int-convert-overflow.h | 38 +++++++++++++++++++
2 files changed, 48 insertions(+)
create mode 100644 sysdeps/riscv/rv32/fix-fp-int-convert-overflow.h
diff --git a/ChangeLog b/ChangeLog
index 770dda5373..61984154e0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -92,6 +92,16 @@
* sysdeps/unix/sysv/linux/riscv/configure.ac: Likewise.
* sysdeps/unix/sysv/linux/riscv/shlib-versions: Likewise.
* sysdeps/riscv/preconfigure: Likewise.
+ * sysdeps/riscv/rv32/Implies-after: New file.
+ * sysdeps/riscv/rv32/rvd/Implies: Likewise.
+ * sysdeps/riscv/rv32/rvf/Implies: Likewise.
+ * sysdeps/unix/sysv/linux/riscv/rv32/Implies: Likewise.
+ * sysdeps/unix/sysv/linux/riscv/Makefile: Support rv32.
+ * sysdeps/unix/sysv/linux/riscv/configure: Likewise.
+ * sysdeps/unix/sysv/linux/riscv/configure.ac: Likewise.
+ * sysdeps/unix/sysv/linux/riscv/shlib-versions: Likewise.
+ * sysdeps/riscv/preconfigure: Likewise.
+ * sysdeps/riscv/rv32/fix-fp-int-convert-overflow.h: New file.
2019-06-20 Dmitry V. Levin <ldv@altlinux.org>
Florian Weimer <fweimer@redhat.com>
diff --git a/sysdeps/riscv/rv32/fix-fp-int-convert-overflow.h b/sysdeps/riscv/rv32/fix-fp-int-convert-overflow.h
new file mode 100644
index 0000000000..6b34a8415e
--- /dev/null
+++ b/sysdeps/riscv/rv32/fix-fp-int-convert-overflow.h
@@ -0,0 +1,38 @@
+/* Fix for conversion of floating point to integer overflow. ARM version.
+ Copyright (C) 2015-2018 Free Software Foundation, Inc.
+ This file is part of the GNU C Library.
+
+ The GNU C Library is free software; you can redistribute it and/or
+ modify it under the terms of the GNU Lesser General Public
+ License as published by the Free Software Foundation; either
+ version 2.1 of the License, or (at your option) any later version.
+
+ The GNU C Library is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ Lesser General Public License for more details.
+
+ You should have received a copy of the GNU Lesser General Public
+ License along with the GNU C Library; if not, see
+ <http://www.gnu.org/licenses/>. */
+
+#ifndef FIX_FP_INT_CONVERT_OVERFLOW_H
+#define FIX_FP_INT_CONVERT_OVERFLOW_H 1
+
+/* As of GCC 5, the generic libgcc2.c conversions from floating point
+ to long long may not raise the correct exceptions on overflow (and
+ may raise spurious "inexact" exceptions even in non-overflow cases,
+ see <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59412>). */
+#define FIX_FLT_LONG_CONVERT_OVERFLOW 0
+#define FIX_FLT_LLONG_CONVERT_OVERFLOW 1
+
+#define FIX_DBL_LONG_CONVERT_OVERFLOW 0
+#define FIX_DBL_LLONG_CONVERT_OVERFLOW 1
+
+#define FIX_LDBL_LONG_CONVERT_OVERFLOW 0
+#define FIX_LDBL_LLONG_CONVERT_OVERFLOW 0
+
+#define FIX_FLT128_LONG_CONVERT_OVERFLOW 0
+#define FIX_FLT128_LLONG_CONVERT_OVERFLOW 0
+
+#endif /* fix-fp-int-convert-overflow.h */
--
2.22.0