head 1.1; branch 1.1.1; access; symbols netbsd-11-0-RELEASE:1.1.1.3 netbsd-11-0-RC7:1.1.1.3 netbsd-11-0-RC6:1.1.1.3 netbsd-11-0-RC5:1.1.1.3 netbsd-11-0-RC4:1.1.1.3 netbsd-11-0-RC3:1.1.1.3 netbsd-11-0-RC2:1.1.1.3 netbsd-11-0-RC1:1.1.1.3 gcc-14-3-0:1.1.1.4 perseant-exfatfs-base-20250801:1.1.1.3 netbsd-11:1.1.1.3.0.4 netbsd-11-base:1.1.1.3 gcc-12-5-0:1.1.1.3 netbsd-10-1-RELEASE:1.1.1.2 perseant-exfatfs-base-20240630:1.1.1.3 gcc-12-4-0:1.1.1.3 perseant-exfatfs:1.1.1.3.0.2 perseant-exfatfs-base:1.1.1.3 netbsd-10-0-RELEASE:1.1.1.2 netbsd-10-0-RC6:1.1.1.2 netbsd-10-0-RC5:1.1.1.2 netbsd-10-0-RC4:1.1.1.2 netbsd-10-0-RC3:1.1.1.2 netbsd-10-0-RC2:1.1.1.2 netbsd-10-0-RC1:1.1.1.2 gcc-12-3-0:1.1.1.3 gcc-10-5-0:1.1.1.2 netbsd-10:1.1.1.2.0.6 netbsd-10-base:1.1.1.2 gcc-10-4-0:1.1.1.2 cjep_sun2x-base1:1.1.1.2 cjep_sun2x:1.1.1.2.0.4 cjep_sun2x-base:1.1.1.2 cjep_staticlib_x-base1:1.1.1.2 cjep_staticlib_x:1.1.1.2.0.2 cjep_staticlib_x-base:1.1.1.2 gcc-10-3-0:1.1.1.2 gcc-9-3-0:1.1.1.1 FSF:1.1.1; locks; strict; comment @# @; 1.1 date 2020.09.05.07.52.55; author mrg; state Exp; branches 1.1.1.1; next ; commitid ZRYA7IOuwfMjAPmC; 1.1.1.1 date 2020.09.05.07.52.55; author mrg; state Exp; branches; next 1.1.1.2; commitid ZRYA7IOuwfMjAPmC; 1.1.1.2 date 2021.04.10.22.10.14; author mrg; state Exp; branches; next 1.1.1.3; commitid eC4g0MRpqTvEkNOC; 1.1.1.3 date 2023.07.30.05.21.29; author mrg; state Exp; branches; next 1.1.1.4; commitid tk6nV4mbc9nVEMyE; 1.1.1.4 date 2025.09.13.23.45.59; author mrg; state Exp; branches; next ; commitid KwhwN4krNWa6XBaG; desc @@ 1.1 log @Initial revision @ text @! Implementation of the IEEE_EXCEPTIONS standard intrinsic module ! Copyright (C) 2013-2019 Free Software Foundation, Inc. ! Contributed by Francois-Xavier Coudert ! ! This file is part of the GNU Fortran runtime library (libgfortran). ! ! Libgfortran is free software; you can redistribute it and/or ! modify it under the terms of the GNU General Public ! License as published by the Free Software Foundation; either ! version 3 of the License, or (at your option) any later version. ! ! Libgfortran 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 General Public License for more details. ! ! 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 ! . */ #include "config.h" #include "kinds.inc" #include "c99_protos.inc" #include "fpu-target.inc" module IEEE_EXCEPTIONS implicit none private ! Derived types and named constants type, public :: IEEE_FLAG_TYPE private integer :: hidden end type type(IEEE_FLAG_TYPE), parameter, public :: & IEEE_INVALID = IEEE_FLAG_TYPE(GFC_FPE_INVALID), & IEEE_OVERFLOW = IEEE_FLAG_TYPE(GFC_FPE_OVERFLOW), & IEEE_DIVIDE_BY_ZERO = IEEE_FLAG_TYPE(GFC_FPE_ZERO), & IEEE_UNDERFLOW = IEEE_FLAG_TYPE(GFC_FPE_UNDERFLOW), & IEEE_INEXACT = IEEE_FLAG_TYPE(GFC_FPE_INEXACT) type(IEEE_FLAG_TYPE), parameter, public :: & IEEE_USUAL(3) = [ IEEE_OVERFLOW, IEEE_DIVIDE_BY_ZERO, IEEE_INVALID ], & IEEE_ALL(5) = [ IEEE_USUAL, IEEE_UNDERFLOW, IEEE_INEXACT ] type, public :: IEEE_STATUS_TYPE private character(len=GFC_FPE_STATE_BUFFER_SIZE) :: hidden end type interface IEEE_SUPPORT_FLAG module procedure IEEE_SUPPORT_FLAG_4, & IEEE_SUPPORT_FLAG_8, & #ifdef HAVE_GFC_REAL_10 IEEE_SUPPORT_FLAG_10, & #endif #ifdef HAVE_GFC_REAL_16 IEEE_SUPPORT_FLAG_16, & #endif IEEE_SUPPORT_FLAG_NOARG end interface IEEE_SUPPORT_FLAG public :: IEEE_SUPPORT_FLAG, IEEE_SUPPORT_HALTING public :: IEEE_SET_HALTING_MODE, IEEE_GET_HALTING_MODE public :: IEEE_SET_FLAG, IEEE_GET_FLAG public :: IEEE_SET_STATUS, IEEE_GET_STATUS contains ! Saving and restoring floating-point status subroutine IEEE_GET_STATUS (STATUS_VALUE) implicit none type(IEEE_STATUS_TYPE), intent(out) :: STATUS_VALUE interface subroutine helper(ptr) & bind(c, name="_gfortrani_get_fpu_state") use, intrinsic :: iso_c_binding, only : c_char character(kind=c_char) :: ptr(*) end subroutine end interface call helper(STATUS_VALUE%hidden) end subroutine subroutine IEEE_SET_STATUS (STATUS_VALUE) implicit none type(IEEE_STATUS_TYPE), intent(in) :: STATUS_VALUE interface subroutine helper(ptr) & bind(c, name="_gfortrani_set_fpu_state") use, intrinsic :: iso_c_binding, only : c_char character(kind=c_char) :: ptr(*) end subroutine end interface call helper(STATUS_VALUE%hidden) end subroutine ! Getting and setting flags elemental subroutine IEEE_GET_FLAG (FLAG, FLAG_VALUE) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG logical, intent(out) :: FLAG_VALUE interface pure integer function helper() & bind(c, name="_gfortrani_get_fpu_except_flags") end function end interface FLAG_VALUE = (IAND(helper(), FLAG%hidden) /= 0) end subroutine elemental subroutine IEEE_SET_FLAG (FLAG, FLAG_VALUE) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG logical, intent(in) :: FLAG_VALUE interface pure subroutine helper(set, clear) & bind(c, name="_gfortrani_set_fpu_except_flags") integer, intent(in), value :: set, clear end subroutine end interface if (FLAG_VALUE) then call helper(FLAG%hidden, 0) else call helper(0, FLAG%hidden) end if end subroutine ! Querying and changing the halting mode elemental subroutine IEEE_GET_HALTING_MODE (FLAG, HALTING) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG logical, intent(out) :: HALTING interface pure integer function helper() & bind(c, name="_gfortrani_get_fpu_trap_exceptions") end function end interface HALTING = (IAND(helper(), FLAG%hidden) /= 0) end subroutine elemental subroutine IEEE_SET_HALTING_MODE (FLAG, HALTING) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG logical, intent(in) :: HALTING interface pure subroutine helper(trap, notrap) & bind(c, name="_gfortrani_set_fpu_trap_exceptions") integer, intent(in), value :: trap, notrap end subroutine end interface if (HALTING) then call helper(FLAG%hidden, 0) else call helper(0, FLAG%hidden) end if end subroutine ! Querying support pure logical function IEEE_SUPPORT_HALTING (FLAG) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG interface pure integer function helper(flag) & bind(c, name="_gfortrani_support_fpu_trap") integer, intent(in), value :: flag end function end interface IEEE_SUPPORT_HALTING = (helper(FLAG%hidden) /= 0) end function pure logical function IEEE_SUPPORT_FLAG_NOARG (FLAG) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG interface pure integer function helper(flag) & bind(c, name="_gfortrani_support_fpu_flag") integer, intent(in), value :: flag end function end interface IEEE_SUPPORT_FLAG_NOARG = (helper(FLAG%hidden) /= 0) end function pure logical function IEEE_SUPPORT_FLAG_4 (FLAG, X) result(res) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG real(kind=4), intent(in) :: X res = IEEE_SUPPORT_FLAG_NOARG(FLAG) end function pure logical function IEEE_SUPPORT_FLAG_8 (FLAG, X) result(res) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG real(kind=8), intent(in) :: X res = IEEE_SUPPORT_FLAG_NOARG(FLAG) end function #ifdef HAVE_GFC_REAL_10 pure logical function IEEE_SUPPORT_FLAG_10 (FLAG, X) result(res) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG real(kind=10), intent(in) :: X res = IEEE_SUPPORT_FLAG_NOARG(FLAG) end function #endif #ifdef HAVE_GFC_REAL_16 pure logical function IEEE_SUPPORT_FLAG_16 (FLAG, X) result(res) implicit none type(IEEE_FLAG_TYPE), intent(in) :: FLAG real(kind=16), intent(in) :: X res = IEEE_SUPPORT_FLAG_NOARG(FLAG) end function #endif end module IEEE_EXCEPTIONS @ 1.1.1.1 log @initial import of GCC 9.3.0. changes include: - live patching support - shell completion help - generally better diagnostic output (less verbose/more useful) - diagnostics and optimisation choices can be emitted in json - asan memory usage reduction - many general, and specific to switch, inter-procedure, profile and link-time optimisations. from the release notes: "Overall compile time of Firefox 66 and LibreOffice 6.2.3 on an 8-core machine was reduced by about 5% compared to GCC 8.3" - OpenMP 5.0 support - better spell-guesser - partial experimental support for c2x and c++2a - c++17 is no longer experimental - arm AAPCS GCC 6-8 structure passing bug fixed, may cause incompatibility (restored compat with GCC 5 and earlier.) - openrisc support @ text @@ 1.1.1.2 log @initial import of GCC 10.3.0. main changes include: caveats: - ABI issue between c++14 and c++17 fixed - profile mode is removed from libstdc++ - -fno-common is now the default new features: - new flags -fallocation-dce, -fprofile-partial-training, -fprofile-reproducible, -fprofile-prefix-path, and -fanalyzer - many new compile and link time optimisations - enhanced drive optimisations - openacc 2.6 support - openmp 5.0 features - new warnings: -Wstring-compare and -Wzero-length-bounds - extended warnings: -Warray-bounds, -Wformat-overflow, -Wrestrict, -Wreturn-local-addr, -Wstringop-overflow, -Warith-conversion, -Wmismatched-tags, and -Wredundant-tags - some likely C2X features implemented - more C++20 implemented - many new arm & intel CPUs known hundreds of reported bugs are fixed. full list of changes can be found at: https://gcc.gnu.org/gcc-10/changes.html @ text @d2 1 a2 1 ! Copyright (C) 2013-2020 Free Software Foundation, Inc. @ 1.1.1.3 log @initial import of GCC 12.3.0. major changes in GCC 11 included: - The default mode for C++ is now -std=gnu++17 instead of -std=gnu++14. - When building GCC itself, the host compiler must now support C++11, rather than C++98. - Some short options of the gcov tool have been renamed: -i to -j and -j to -H. - ThreadSanitizer improvements. - Introduce Hardware-assisted AddressSanitizer support. - For targets that produce DWARF debugging information GCC now defaults to DWARF version 5. This can produce up to 25% more compact debug information compared to earlier versions. - Many optimisations. - The existing malloc attribute has been extended so that it can be used to identify allocator/deallocator API pairs. A pair of new -Wmismatched-dealloc and -Wmismatched-new-delete warnings are added. - Other new warnings: -Wsizeof-array-div, enabled by -Wall, warns about divisions of two sizeof operators when the first one is applied to an array and the divisor does not equal the size of the array element. -Wstringop-overread, enabled by default, warns about calls to string functions reading past the end of the arrays passed to them as arguments. -Wtsan, enabled by default, warns about unsupported features in ThreadSanitizer (currently std::atomic_thread_fence). - Enchanced warnings: -Wfree-nonheap-object detects many more instances of calls to deallocation functions with pointers not returned from a dynamic memory allocation function. -Wmaybe-uninitialized diagnoses passing pointers or references to uninitialized memory to functions taking const-qualified arguments. -Wuninitialized detects reads from uninitialized dynamically allocated memory. -Warray-parameter warns about functions with inconsistent array forms. -Wvla-parameter warns about functions with inconsistent VLA forms. - Several new features from the upcoming C2X revision of the ISO C standard are supported with -std=c2x and -std=gnu2x. - Several C++20 features have been implemented. - The C++ front end has experimental support for some of the upcoming C++23 draft. - Several new C++ warnings. - Enhanced Arm, AArch64, x86, and RISC-V CPU support. - The implementation of how program state is tracked within -fanalyzer has been completely rewritten with many enhancements. see https://gcc.gnu.org/gcc-11/changes.html for a full list. major changes in GCC 12 include: - An ABI incompatibility between C and C++ when passing or returning by value certain aggregates containing zero width bit-fields has been discovered on various targets. x86-64, ARM and AArch64 will always ignore them (so there is a C ABI incompatibility between GCC 11 and earlier with GCC 12 or later), PowerPC64 ELFv2 always take them into account (so there is a C++ ABI incompatibility, GCC 4.4 and earlier compatible with GCC 12 or later, incompatible with GCC 4.5 through GCC 11). RISC-V has changed the handling of these already starting with GCC 10. As the ABI requires, MIPS takes them into account handling function return values so there is a C++ ABI incompatibility with GCC 4.5 through 11. - STABS: Support for emitting the STABS debugging format is deprecated and will be removed in the next release. All ports now default to emit DWARF (version 2 or later) debugging info or are obsoleted. - Vectorization is enabled at -O2 which is now equivalent to the original -O2 -ftree-vectorize -fvect-cost-model=very-cheap. - GCC now supports the ShadowCallStack sanitizer. - Support for __builtin_shufflevector compatible with the clang language extension was added. - Support for attribute unavailable was added. - Support for __builtin_dynamic_object_size compatible with the clang language extension was added. - New warnings: -Wbidi-chars warns about potentially misleading UTF-8 bidirectional control characters. -Warray-compare warns about comparisons between two operands of array type. - Some new features from the upcoming C2X revision of the ISO C standard are supported with -std=c2x and -std=gnu2x. - Several C++23 features have been implemented. - Many C++ enhancements across warnings and -f options. see https://gcc.gnu.org/gcc-12/changes.html for a full list. @ text @d2 1 a2 1 ! Copyright (C) 2013-2022 Free Software Foundation, Inc. @ 1.1.1.4 log @initial import of GCC 14.3.0. major changes in GCC 13: - improved sanitizer - zstd debug info compression - LTO improvements - SARIF based diagnostic support - new warnings: -Wxor-used-as-pow, -Wenum-int-mismatch, -Wself-move, -Wdangling-reference - many new -Wanalyzer* specific warnings - enhanced warnings: -Wpessimizing-move, -Wredundant-move - new attributes to mark file descriptors, c++23 "assume" - several C23 features added - several C++23 features added - many new features for Arm, x86, RISC-V major changes in GCC 14: - more strict C99 or newer support - ia64* marked deprecated (but seemingly still in GCC 15.) - several new hardening features - support for "hardbool", which can have user supplied values of true/false - explicit support for stack scrubbing upon function exit - better auto-vectorisation support - added clang-compatible __has_feature and __has_extension - more C23, including -std=c23 - several C++26 features added - better diagnostics in C++ templates - new warnings: -Wnrvo, Welaborated-enum-base - many new features for Arm, x86, RISC-V - possible ABI breaking change for SPARC64 and small structures with arrays of floats. @ text @d2 1 a2 1 ! Copyright (C) 2013-2024 Free Software Foundation, Inc. a58 7 type, public :: IEEE_MODES_TYPE private integer :: rounding integer :: underflow integer :: halting end type a74 1 public :: IEEE_SET_MODES, IEEE_GET_MODES a77 55 ! Fortran 2018: Saving and restoring floating-point modes ! (rounding modes, underflow mode, and halting mode) ! ! For now, we only have one rounding mode for all kinds. ! Some targets could optimize getting/setting all modes at once, but for now ! we make three calls. This code must be kept in sync with: ! - IEEE_{GET,SET}_ROUNDING_MODE ! - IEEE_{GET,SET}_UNDERFLOW_MODE ! - IEEE_{GET,SET}_HALTING_MODE subroutine IEEE_GET_MODES (MODES) implicit none type(IEEE_MODES_TYPE), intent(out) :: MODES interface integer function helper_rounding() & bind(c, name="_gfortrani_get_fpu_rounding_mode") end function integer function helper_underflow() & bind(c, name="_gfortrani_get_fpu_underflow_mode") end function pure integer function helper_halting() & bind(c, name="_gfortrani_get_fpu_trap_exceptions") end function end interface MODES%rounding = helper_rounding() MODES%underflow = helper_underflow() MODES%halting = helper_halting() end subroutine subroutine IEEE_SET_MODES (MODES) implicit none type(IEEE_MODES_TYPE), intent(in) :: MODES interface subroutine helper_rounding(val) & bind(c, name="_gfortrani_set_fpu_rounding_mode") integer, value :: val end subroutine subroutine helper_underflow(val) & bind(c, name="_gfortrani_set_fpu_underflow_mode") integer, value :: val end subroutine pure subroutine helper_halting(trap, notrap) & bind(c, name="_gfortrani_set_fpu_trap_exceptions") integer, intent(in), value :: trap, notrap end subroutine end interface call helper_rounding(MODES%rounding) call helper_underflow(MODES%underflow) call helper_halting(MODES%halting, NOT(MODES%halting)) end subroutine @