From 632a6cbe44cdd41dba7242887992cdca7b42922a Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Thu, 17 May 2018 00:40:52 +0000 Subject: Add narrowing divide functions. This patch adds the narrowing divide functions from TS 18661-1 to glibc's libm: fdiv, fdivl, ddivl, f32divf64, f32divf32x, f32xdivf64 for all configurations; f32divf64x, f32divf128, f64divf64x, f64divf128, f32xdivf64x, f32xdivf128, f64xdivf128 for configurations with _Float64x and _Float128; __nldbl_ddivl for ldbl-opt. The changes are mostly essentially the same as for the other narrowing functions, so the description of those generally applies to this patch as well. Tested for x86_64, x86, mips64 (all three ABIs, both hard and soft float) and powerpc, and with build-many-glibcs.py. * math/Makefile (libm-narrow-fns): Add div. (libm-test-funcs-narrow): Likewise. * math/Versions (GLIBC_2.28): Add narrowing divide functions. * math/bits/mathcalls-narrow.h (div): Use __MATHCALL_NARROW. * math/gen-auto-libm-tests.c (test_functions): Add div. * math/math-narrow.h (CHECK_NARROW_DIV): New macro. (NARROW_DIV_ROUND_TO_ODD): Likewise. (NARROW_DIV_TRIVIAL): Likewise. * sysdeps/ieee754/float128/float128_private.h (__fdivl): New macro. (__ddivl): Likewise. * sysdeps/ieee754/ldbl-opt/Makefile (libnldbl-calls): Add fdiv and ddiv. (CFLAGS-nldbl-ddiv.c): New variable. (CFLAGS-nldbl-fdiv.c): Likewise. * sysdeps/ieee754/ldbl-opt/Versions (GLIBC_2.28): Add __nldbl_ddivl. * sysdeps/ieee754/ldbl-opt/nldbl-compat.h (__nldbl_ddivl): New prototype. * manual/arith.texi (Misc FP Arithmetic): Document fdiv, fdivl, ddivl, fMdivfN, fMdivfNx, fMxdivfN and fMxdivfNx. * math/auto-libm-test-in: Add tests of div. * math/auto-libm-test-out-narrow-div: New generated file. * math/libm-test-narrow-div.inc: New file. * sysdeps/i386/fpu/s_f32xdivf64.c: Likewise. * sysdeps/ieee754/dbl-64/s_f32xdivf64.c: Likewise. * sysdeps/ieee754/dbl-64/s_fdiv.c: Likewise. * sysdeps/ieee754/float128/s_f32divf128.c: Likewise. * sysdeps/ieee754/float128/s_f64divf128.c: Likewise. * sysdeps/ieee754/float128/s_f64xdivf128.c: Likewise. * sysdeps/ieee754/ldbl-128/s_ddivl.c: Likewise. * sysdeps/ieee754/ldbl-128/s_f64xdivf128.c: Likewise. * sysdeps/ieee754/ldbl-128/s_fdivl.c: Likewise. * sysdeps/ieee754/ldbl-128ibm/s_ddivl.c: Likewise. * sysdeps/ieee754/ldbl-128ibm/s_fdivl.c: Likewise. * sysdeps/ieee754/ldbl-96/s_ddivl.c: Likewise. * sysdeps/ieee754/ldbl-96/s_fdivl.c: Likewise. * sysdeps/ieee754/ldbl-opt/nldbl-ddiv.c: Likewise. * sysdeps/ieee754/ldbl-opt/nldbl-fdiv.c: Likewise. * sysdeps/ieee754/soft-fp/s_ddivl.c: Likewise. * sysdeps/ieee754/soft-fp/s_fdiv.c: Likewise. * sysdeps/ieee754/soft-fp/s_fdivl.c: Likewise. * sysdeps/powerpc/fpu/libm-test-ulps: Update. * sysdeps/mach/hurd/i386/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/aarch64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/alpha/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/arm/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/hppa/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/i386/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/ia64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/m68k/coldfire/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/m68k/m680x0/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/microblaze/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/mips/mips32/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/mips/mips64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/nios2/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/powerpc/powerpc32/nofpu/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/powerpc/powerpc64/libm-le.abilist: Likewise. * sysdeps/unix/sysv/linux/powerpc/powerpc64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/riscv/rv64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/s390/s390-32/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/s390/s390-64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/sh/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/sparc/sparc32/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/sparc/sparc64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/x86_64/64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/x86_64/x32/libm.abilist: Likewise. --- sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu/libm.abilist | 7 +++++++ .../unix/sysv/linux/powerpc/powerpc32/nofpu/libm.abilist | 7 +++++++ sysdeps/unix/sysv/linux/powerpc/powerpc64/libm-le.abilist | 14 ++++++++++++++ sysdeps/unix/sysv/linux/powerpc/powerpc64/libm.abilist | 7 +++++++ 4 files changed, 35 insertions(+) (limited to 'sysdeps/unix/sysv/linux/powerpc') diff --git a/sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu/libm.abilist b/sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu/libm.abilist index 3110eeab81..511b24b764 100644 --- a/sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu/libm.abilist +++ b/sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu/libm.abilist @@ -783,22 +783,29 @@ GLIBC_2.27 ynf32 F GLIBC_2.27 ynf32x F GLIBC_2.27 ynf64 F GLIBC_2.28 __nldbl_daddl F +GLIBC_2.28 __nldbl_ddivl F GLIBC_2.28 __nldbl_dmull F GLIBC_2.28 __nldbl_dsubl F GLIBC_2.28 daddl F +GLIBC_2.28 ddivl F GLIBC_2.28 dmull F GLIBC_2.28 dsubl F GLIBC_2.28 f32addf32x F GLIBC_2.28 f32addf64 F +GLIBC_2.28 f32divf32x F +GLIBC_2.28 f32divf64 F GLIBC_2.28 f32mulf32x F GLIBC_2.28 f32mulf64 F GLIBC_2.28 f32subf32x F GLIBC_2.28 f32subf64 F GLIBC_2.28 f32xaddf64 F +GLIBC_2.28 f32xdivf64 F GLIBC_2.28 f32xmulf64 F GLIBC_2.28 f32xsubf64 F GLIBC_2.28 fadd F GLIBC_2.28 faddl F +GLIBC_2.28 fdiv F +GLIBC_2.28 fdivl F GLIBC_2.28 fmul F GLIBC_2.28 fmull F GLIBC_2.28 fsub F diff --git a/sysdeps/unix/sysv/linux/powerpc/powerpc32/nofpu/libm.abilist b/sysdeps/unix/sysv/linux/powerpc/powerpc32/nofpu/libm.abilist index c3c38792d8..a6e4e4edaa 100644 --- a/sysdeps/unix/sysv/linux/powerpc/powerpc32/nofpu/libm.abilist +++ b/sysdeps/unix/sysv/linux/powerpc/powerpc32/nofpu/libm.abilist @@ -782,22 +782,29 @@ GLIBC_2.27 ynf32 F GLIBC_2.27 ynf32x F GLIBC_2.27 ynf64 F GLIBC_2.28 __nldbl_daddl F +GLIBC_2.28 __nldbl_ddivl F GLIBC_2.28 __nldbl_dmull F GLIBC_2.28 __nldbl_dsubl F GLIBC_2.28 daddl F +GLIBC_2.28 ddivl F GLIBC_2.28 dmull F GLIBC_2.28 dsubl F GLIBC_2.28 f32addf32x F GLIBC_2.28 f32addf64 F +GLIBC_2.28 f32divf32x F +GLIBC_2.28 f32divf64 F GLIBC_2.28 f32mulf32x F GLIBC_2.28 f32mulf64 F GLIBC_2.28 f32subf32x F GLIBC_2.28 f32subf64 F GLIBC_2.28 f32xaddf64 F +GLIBC_2.28 f32xdivf64 F GLIBC_2.28 f32xmulf64 F GLIBC_2.28 f32xsubf64 F GLIBC_2.28 fadd F GLIBC_2.28 faddl F +GLIBC_2.28 fdiv F +GLIBC_2.28 fdivl F GLIBC_2.28 fmul F GLIBC_2.28 fmull F GLIBC_2.28 fsub F diff --git a/sysdeps/unix/sysv/linux/powerpc/powerpc64/libm-le.abilist b/sysdeps/unix/sysv/linux/powerpc/powerpc64/libm-le.abilist index 19956e049d..1e1f2b8d6e 100644 --- a/sysdeps/unix/sysv/linux/powerpc/powerpc64/libm-le.abilist +++ b/sysdeps/unix/sysv/linux/powerpc/powerpc64/libm-le.abilist @@ -1021,15 +1021,21 @@ GLIBC_2.27 ynf32x F GLIBC_2.27 ynf64 F GLIBC_2.27 ynf64x F GLIBC_2.28 __nldbl_daddl F +GLIBC_2.28 __nldbl_ddivl F GLIBC_2.28 __nldbl_dmull F GLIBC_2.28 __nldbl_dsubl F GLIBC_2.28 daddl F +GLIBC_2.28 ddivl F GLIBC_2.28 dmull F GLIBC_2.28 dsubl F GLIBC_2.28 f32addf128 F GLIBC_2.28 f32addf32x F GLIBC_2.28 f32addf64 F GLIBC_2.28 f32addf64x F +GLIBC_2.28 f32divf128 F +GLIBC_2.28 f32divf32x F +GLIBC_2.28 f32divf64 F +GLIBC_2.28 f32divf64x F GLIBC_2.28 f32mulf128 F GLIBC_2.28 f32mulf32x F GLIBC_2.28 f32mulf64 F @@ -1041,6 +1047,9 @@ GLIBC_2.28 f32subf64x F GLIBC_2.28 f32xaddf128 F GLIBC_2.28 f32xaddf64 F GLIBC_2.28 f32xaddf64x F +GLIBC_2.28 f32xdivf128 F +GLIBC_2.28 f32xdivf64 F +GLIBC_2.28 f32xdivf64x F GLIBC_2.28 f32xmulf128 F GLIBC_2.28 f32xmulf64 F GLIBC_2.28 f32xmulf64x F @@ -1049,15 +1058,20 @@ GLIBC_2.28 f32xsubf64 F GLIBC_2.28 f32xsubf64x F GLIBC_2.28 f64addf128 F GLIBC_2.28 f64addf64x F +GLIBC_2.28 f64divf128 F +GLIBC_2.28 f64divf64x F GLIBC_2.28 f64mulf128 F GLIBC_2.28 f64mulf64x F GLIBC_2.28 f64subf128 F GLIBC_2.28 f64subf64x F GLIBC_2.28 f64xaddf128 F +GLIBC_2.28 f64xdivf128 F GLIBC_2.28 f64xmulf128 F GLIBC_2.28 f64xsubf128 F GLIBC_2.28 fadd F GLIBC_2.28 faddl F +GLIBC_2.28 fdiv F +GLIBC_2.28 fdivl F GLIBC_2.28 fmul F GLIBC_2.28 fmull F GLIBC_2.28 fsub F diff --git a/sysdeps/unix/sysv/linux/powerpc/powerpc64/libm.abilist b/sysdeps/unix/sysv/linux/powerpc/powerpc64/libm.abilist index dc97d82bfd..331449dfcb 100644 --- a/sysdeps/unix/sysv/linux/powerpc/powerpc64/libm.abilist +++ b/sysdeps/unix/sysv/linux/powerpc/powerpc64/libm.abilist @@ -461,22 +461,29 @@ GLIBC_2.27 ynf32 F GLIBC_2.27 ynf32x F GLIBC_2.27 ynf64 F GLIBC_2.28 __nldbl_daddl F +GLIBC_2.28 __nldbl_ddivl F GLIBC_2.28 __nldbl_dmull F GLIBC_2.28 __nldbl_dsubl F GLIBC_2.28 daddl F +GLIBC_2.28 ddivl F GLIBC_2.28 dmull F GLIBC_2.28 dsubl F GLIBC_2.28 f32addf32x F GLIBC_2.28 f32addf64 F +GLIBC_2.28 f32divf32x F +GLIBC_2.28 f32divf64 F GLIBC_2.28 f32mulf32x F GLIBC_2.28 f32mulf64 F GLIBC_2.28 f32subf32x F GLIBC_2.28 f32subf64 F GLIBC_2.28 f32xaddf64 F +GLIBC_2.28 f32xdivf64 F GLIBC_2.28 f32xmulf64 F GLIBC_2.28 f32xsubf64 F GLIBC_2.28 fadd F GLIBC_2.28 faddl F +GLIBC_2.28 fdiv F +GLIBC_2.28 fdivl F GLIBC_2.28 fmul F GLIBC_2.28 fmull F GLIBC_2.28 fsub F -- cgit 1.4.1