mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-19 07:10:25 +08:00
vxworks float EFs not precise enough -> use long float
Some acats-4 tests that check the precision of Float elementary functions fail with vxworks 7.2's implementations of single-precision math functions. This patch arranges for us to bypass the single-precision functions, and use the Aux_Long_Float implementation, based on the double-typed calls from the C library, for Float and Short_Float. for gcc/ada/ChangeLog * Makefile.rtl (LIBGNAT_TARGET_PAIRS): Use Long Float-based variant of Aux_Short_Float and Aux_Float on vxworks targets. * libgnat/a-nashfl__wraplf.ads: New. * libgnat/a-nuaufl__wraplf.ads: New.
This commit is contained in:
Alexandre Oliva
Alexandre Oliva
parent
9f4e1d10eb
commit
c0baff9be3
@ -1026,6 +1026,8 @@ ifeq ($(strip $(filter-out powerpc% wrs vxworks vxworksspe vxworks7% vxworks7spe
|
||||
LIBGNAT_TARGET_PAIRS = \
|
||||
a-intnam.ads<libgnarl/a-intnam__vxworks.ads \
|
||||
a-naliop.ads<libgnat/a-naliop__nolibm.ads \
|
||||
a-nuaufl.ads<libgnat/a-nuaufl__wraplf.ads \
|
||||
a-nashfl.ads<libgnat/a-nashfl__wraplf.ads \
|
||||
s-inmaop.adb<libgnarl/s-inmaop__vxworks.adb \
|
||||
s-intman.ads<libgnarl/s-intman__vxworks.ads \
|
||||
s-intman.adb<libgnarl/s-intman__vxworks.adb \
|
||||
@ -1149,6 +1151,8 @@ ifeq ($(strip $(filter-out powerpc% wrs vxworksae vxworksaespe,$(target_cpu) $(t
|
||||
a-elchha.adb<libgnat/a-elchha__vxworks-ppc-full.adb \
|
||||
a-intnam.ads<libgnarl/a-intnam__vxworks.ads \
|
||||
a-naliop.ads<libgnat/a-naliop__nolibm.ads \
|
||||
a-nuaufl.ads<libgnat/a-nuaufl__wraplf.ads \
|
||||
a-nashfl.ads<libgnat/a-nashfl__wraplf.ads \
|
||||
g-io.adb<hie/g-io__vxworks-cert.adb \
|
||||
s-inmaop.adb<libgnarl/s-inmaop__vxworks.adb \
|
||||
s-interr.adb<libgnarl/s-interr__vxworks.adb \
|
||||
@ -1205,6 +1209,8 @@ ifeq ($(strip $(filter-out %86 wrs vxworksae,$(target_cpu) $(target_vendor) $(ta
|
||||
a-elchha.adb<libgnat/a-elchha__vxworks-ppc-full.adb \
|
||||
a-intnam.ads<libgnarl/a-intnam__vxworks.ads \
|
||||
a-naliop.ads<libgnat/a-naliop__nolibm.ads \
|
||||
a-nuaufl.ads<libgnat/a-nuaufl__wraplf.ads \
|
||||
a-nashfl.ads<libgnat/a-nashfl__wraplf.ads \
|
||||
g-io.adb<hie/g-io__vxworks-cert.adb \
|
||||
s-inmaop.adb<libgnarl/s-inmaop__vxworks.adb \
|
||||
s-interr.adb<libgnarl/s-interr__vxworks.adb \
|
||||
@ -1425,6 +1431,8 @@ ifeq ($(strip $(filter-out aarch64 arm% coff wrs vx%,$(target_cpu) $(target_vend
|
||||
LIBGNAT_TARGET_PAIRS = \
|
||||
a-intnam.ads<libgnarl/a-intnam__vxworks.ads \
|
||||
a-naliop.ads<libgnat/a-naliop__nolibm.ads \
|
||||
a-nuaufl.ads<libgnat/a-nuaufl__wraplf.ads \
|
||||
a-nashfl.ads<libgnat/a-nashfl__wraplf.ads \
|
||||
s-inmaop.adb<libgnarl/s-inmaop__vxworks.adb \
|
||||
s-interr.adb<libgnarl/s-interr__vxworks.adb \
|
||||
s-intman.ads<libgnarl/s-intman__vxworks.ads \
|
||||
|
||||
87
gcc/ada/libgnat/a-nashfl__wraplf.ads
Normal file
87
gcc/ada/libgnat/a-nashfl__wraplf.ads
Normal file
@ -0,0 +1,87 @@
|
||||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT RUN-TIME COMPONENTS --
|
||||
-- --
|
||||
-- A D A . N U M E R I C S . A U X _ S H O R T _ F L O A T --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- (Short Float Wrapper in terms of Long Float) --
|
||||
-- --
|
||||
-- Copyright (C) 1992-2020, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- GNAT is free software; you can redistribute it and/or modify it under --
|
||||
-- terms of the GNU General Public License as published by the Free Soft- --
|
||||
-- ware Foundation; either version 3, or (at your option) any later ver- --
|
||||
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
||||
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
|
||||
-- or FITNESS FOR A PARTICULAR PURPOSE. --
|
||||
-- --
|
||||
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
||||
-- additional permissions described in the GCC Runtime Library Exception, --
|
||||
-- version 3.1, as published by the Free Software Foundation. --
|
||||
-- --
|
||||
-- You should have received a copy of the GNU General Public License and --
|
||||
-- a copy of the GCC Runtime Library Exception along with this program; --
|
||||
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
||||
-- <http://www.gnu.org/licenses/>. --
|
||||
-- --
|
||||
-- GNAT was originally developed by the GNAT team at New York University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
-- This package provides the basic computational interface for the
|
||||
-- generic elementary functions. The functions in this unit are
|
||||
-- wrappers for those in the Long Float package.
|
||||
|
||||
with Ada.Numerics.Aux_Long_Float;
|
||||
|
||||
package Ada.Numerics.Aux_Short_Float is
|
||||
pragma Pure;
|
||||
|
||||
subtype T is Short_Float;
|
||||
package Aux renames Ada.Numerics.Aux_Long_Float;
|
||||
subtype W is Aux.T;
|
||||
|
||||
-- Use the Aux implementation.
|
||||
|
||||
function Sin (X : T) return T
|
||||
is (T (Aux.Sin (W (X))));
|
||||
|
||||
function Cos (X : T) return T
|
||||
is (T (Aux.Cos (W (X))));
|
||||
|
||||
function Tan (X : T) return T
|
||||
is (T (Aux.Tan (W (X))));
|
||||
|
||||
function Exp (X : T) return T
|
||||
is (T (Aux.Exp (W (X))));
|
||||
|
||||
function Sqrt (X : T) return T
|
||||
is (T (Aux.Sqrt (W (X))));
|
||||
|
||||
function Log (X : T) return T
|
||||
is (T (Aux.Log (W (X))));
|
||||
|
||||
function Acos (X : T) return T
|
||||
is (T (Aux.Acos (W (X))));
|
||||
|
||||
function Asin (X : T) return T
|
||||
is (T (Aux.Asin (W (X))));
|
||||
|
||||
function Atan (X : T) return T
|
||||
is (T (Aux.Atan (W (X))));
|
||||
|
||||
function Sinh (X : T) return T
|
||||
is (T (Aux.Sinh (W (X))));
|
||||
|
||||
function Cosh (X : T) return T
|
||||
is (T (Aux.Cosh (W (X))));
|
||||
|
||||
function Tanh (X : T) return T
|
||||
is (T (Aux.Tanh (W (X))));
|
||||
|
||||
function Pow (X, Y : T) return T
|
||||
is (T (Aux.Pow (W (X), W (Y))));
|
||||
|
||||
end Ada.Numerics.Aux_Short_Float;
|
||||
87
gcc/ada/libgnat/a-nuaufl__wraplf.ads
Normal file
87
gcc/ada/libgnat/a-nuaufl__wraplf.ads
Normal file
@ -0,0 +1,87 @@
|
||||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT RUN-TIME COMPONENTS --
|
||||
-- --
|
||||
-- A D A . N U M E R I C S . A U X _ F L O A T --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- (Double-based Version, Float) --
|
||||
-- --
|
||||
-- Copyright (C) 1992-2020, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- GNAT is free software; you can redistribute it and/or modify it under --
|
||||
-- terms of the GNU General Public License as published by the Free Soft- --
|
||||
-- ware Foundation; either version 3, or (at your option) any later ver- --
|
||||
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
||||
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
|
||||
-- or FITNESS FOR A PARTICULAR PURPOSE. --
|
||||
-- --
|
||||
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
||||
-- additional permissions described in the GCC Runtime Library Exception, --
|
||||
-- version 3.1, as published by the Free Software Foundation. --
|
||||
-- --
|
||||
-- You should have received a copy of the GNU General Public License and --
|
||||
-- a copy of the GCC Runtime Library Exception along with this program; --
|
||||
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
||||
-- <http://www.gnu.org/licenses/>. --
|
||||
-- --
|
||||
-- GNAT was originally developed by the GNAT team at New York University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
-- This package provides the basic computational interface for the
|
||||
-- generic elementary functions. The functions in this unit are
|
||||
-- wrappers for those in the Long_Float package.
|
||||
|
||||
with Ada.Numerics.Aux_Long_Float;
|
||||
|
||||
package Ada.Numerics.Aux_Float is
|
||||
pragma Pure;
|
||||
|
||||
subtype T is Float;
|
||||
package Aux renames Ada.Numerics.Aux_Long_Float;
|
||||
subtype W is Aux.T;
|
||||
|
||||
-- Use the Aux implementation.
|
||||
|
||||
function Sin (X : T) return T
|
||||
is (T (Aux.Sin (W (X))));
|
||||
|
||||
function Cos (X : T) return T
|
||||
is (T (Aux.Cos (W (X))));
|
||||
|
||||
function Tan (X : T) return T
|
||||
is (T (Aux.Tan (W (X))));
|
||||
|
||||
function Exp (X : T) return T
|
||||
is (T (Aux.Exp (W (X))));
|
||||
|
||||
function Sqrt (X : T) return T
|
||||
is (T (Aux.Sqrt (W (X))));
|
||||
|
||||
function Log (X : T) return T
|
||||
is (T (Aux.Log (W (X))));
|
||||
|
||||
function Acos (X : T) return T
|
||||
is (T (Aux.Acos (W (X))));
|
||||
|
||||
function Asin (X : T) return T
|
||||
is (T (Aux.Asin (W (X))));
|
||||
|
||||
function Atan (X : T) return T
|
||||
is (T (Aux.Atan (W (X))));
|
||||
|
||||
function Sinh (X : T) return T
|
||||
is (T (Aux.Sinh (W (X))));
|
||||
|
||||
function Cosh (X : T) return T
|
||||
is (T (Aux.Cosh (W (X))));
|
||||
|
||||
function Tanh (X : T) return T
|
||||
is (T (Aux.Tanh (W (X))));
|
||||
|
||||
function Pow (X, Y : T) return T
|
||||
is (T (Aux.Pow (W (X), W (Y))));
|
||||
|
||||
end Ada.Numerics.Aux_Float;
|
||||
Loading…
x
Reference in New Issue
Block a user