[PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

[-- Attachment #1: Type: text/plain, Size: 350 bytes --]

This patch (3rd of 4) contains changes to gcc-interface/Makefile.in and DJGPP own implementation of 
system.ads.

ChangeLog entry:

2016-07-30 Andris Pavenis <andris.pavenis@iki.fi>

* ada/gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for DJGPP target
   (EH_MECHANISM): Define to -gcc for DJGPP
* ada/system-djgpp.ads: New file

Andris



[-- Attachment #2: 0003-DJGPP-Ada-DJGPP-support.patch --]
[-- Type: text/x-patch, Size: 9043 bytes --]

From f1141f462de62c22fa6edde0a9f90ad78a7d6cd2 Mon Sep 17 00:00:00 2001
From: Andris Pavenis <andris.pavenis@iki.fi>
Date: Mon, 25 Jul 2016 19:41:04 +0300
Subject: [PATCH 3/4] [DJGPP, Ada] DJGPP support

* ada/gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for DJGPP target
  (EH_MECHANISM): Define to -gcc for DJGPP
* ada/system-djgpp.ads: New file
---
 gcc/ada/gcc-interface/Makefile.in |  17 +++++
 gcc/ada/system-djgpp.ads          | 148 ++++++++++++++++++++++++++++++++++++++
 2 files changed, 165 insertions(+)
 create mode 100644 gcc/ada/system-djgpp.ads

diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in
index 0df7f89..dcb7c93 100644
--- a/gcc/ada/gcc-interface/Makefile.in
+++ b/gcc/ada/gcc-interface/Makefile.in
@@ -1773,6 +1773,23 @@ ifeq ($(strip $(filter-out elf eabi eabispe,$(target_os))),)
   indepsw.adb<indepsw-gnu.adb
 endif
 
+ifeq ($(strip $(filter-out %djgpp,$(target_os))),)
+  GNATRTL_SOCKETS_OBJS =
+
+  LIBGNAT_TARGET_PAIRS = \
+	a-intnam.ads<a-intnam-dummy.ads \
+	s-inmaop.adb<s-inmaop-dummy.adb \
+	s-intman.adb<s-intman-dummy.adb \
+	s-osinte.ads<s-osinte-dummy.ads \
+	s-osprim.adb<s-osprim-unix.adb \
+	s-taprop.adb<s-taprop-dummy.adb \
+	s-taspri.ads<s-taspri-dummy.ads \
+	system.ads<system-djgpp.ads \
+	$(DUMMY_SOCKETS_TARGET_PAIRS)
+
+  EH_MECHANISM=-gcc
+endif
+
 # Cygwin/Mingw32
 ifeq ($(strip $(filter-out cygwin% mingw32% pe,$(target_os))),)
   # Cygwin provides a full Posix environment, and so we use the default
diff --git a/gcc/ada/system-djgpp.ads b/gcc/ada/system-djgpp.ads
new file mode 100644
index 0000000..2457231
--- /dev/null
+++ b/gcc/ada/system-djgpp.ads
@@ -0,0 +1,148 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                        GNAT RUN-TIME COMPONENTS                          --
+--                                                                          --
+--                               S Y S T E M                                --
+--                                                                          --
+--                                 S p e c                                  --
+--                            (DJGPP Version)                             --
+--                                                                          --
+--          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
+--                                                                          --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT. The copyright notice above, and the license provisions that follow --
+-- apply solely to the  contents of the part following the private keyword. --
+--                                                                          --
+-- 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.      --
+--                                                                          --
+------------------------------------------------------------------------------
+
+package System is
+   pragma Pure;
+   --  Note that we take advantage of the implementation permission to make
+   --  this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
+   --  2005, this is Pure in any case (AI-362).
+
+   pragma No_Elaboration_Code_All;
+   --  Allow the use of that restriction in units that WITH this unit
+
+   type Name is (SYSTEM_NAME_GNAT);
+   System_Name : constant Name := SYSTEM_NAME_GNAT;
+
+   --  System-Dependent Named Numbers
+
+   Min_Int               : constant := Long_Long_Integer'First;
+   Max_Int               : constant := Long_Long_Integer'Last;
+
+   Max_Binary_Modulus    : constant := 2 ** Long_Long_Integer'Size;
+   Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
+
+   Max_Base_Digits       : constant := Long_Long_Float'Digits;
+   Max_Digits            : constant := Long_Long_Float'Digits;
+
+   Max_Mantissa          : constant := 63;
+   Fine_Delta            : constant := 2.0 ** (-Max_Mantissa);
+
+   Tick                  : constant := 0.01;
+
+   --  Storage-related Declarations
+
+   type Address is private;
+   pragma Preelaborable_Initialization (Address);
+   Null_Address : constant Address;
+
+   Storage_Unit : constant := 8;
+   Word_Size    : constant := 32;
+   Memory_Size  : constant := 2 ** 32;
+
+   --  Address comparison
+
+   function "<"  (Left, Right : Address) return Boolean;
+   function "<=" (Left, Right : Address) return Boolean;
+   function ">"  (Left, Right : Address) return Boolean;
+   function ">=" (Left, Right : Address) return Boolean;
+   function "="  (Left, Right : Address) return Boolean;
+
+   pragma Import (Intrinsic, "<");
+   pragma Import (Intrinsic, "<=");
+   pragma Import (Intrinsic, ">");
+   pragma Import (Intrinsic, ">=");
+   pragma Import (Intrinsic, "=");
+
+   --  Other System-Dependent Declarations
+
+   type Bit_Order is (High_Order_First, Low_Order_First);
+   Default_Bit_Order : constant Bit_Order := Low_Order_First;
+   pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
+
+   --  Priority-related Declarations (RM D.1)
+
+   Max_Priority           : constant Positive := 30;
+   Max_Interrupt_Priority : constant Positive := 31;
+
+   subtype Any_Priority       is Integer      range  0 .. 31;
+   subtype Priority           is Any_Priority range  0 .. 30;
+   subtype Interrupt_Priority is Any_Priority range 31 .. 31;
+
+   Default_Priority : constant Priority := 15;
+
+private
+
+   type Address is mod Memory_Size;
+   Null_Address : constant Address := 0;
+
+   --------------------------------------
+   -- System Implementation Parameters --
+   --------------------------------------
+
+   --  These parameters provide information about the target that is used
+   --  by the compiler. They are in the private part of System, where they
+   --  can be accessed using the special circuitry in the Targparm unit
+   --  whose source should be consulted for more detailed descriptions
+   --  of the individual switch values.
+
+   Backend_Divide_Checks     : constant Boolean := False;
+   Backend_Overflow_Checks   : constant Boolean := True;
+   Command_Line_Args         : constant Boolean := True;
+   Configurable_Run_Time     : constant Boolean := False;
+   Denorm                    : constant Boolean := True;
+   Duration_32_Bits          : constant Boolean := False;
+   Exit_Status_Supported     : constant Boolean := True;
+   Fractional_Fixed_Ops      : constant Boolean := False;
+   Frontend_Layout           : constant Boolean := False;
+   Machine_Overflows         : constant Boolean := False;
+   Machine_Rounds            : constant Boolean := True;
+   Preallocated_Stacks       : constant Boolean := False;
+   Signed_Zeros              : constant Boolean := True;
+   Stack_Check_Default       : constant Boolean := False;
+   Stack_Check_Probes        : constant Boolean := True;
+   Stack_Check_Limits        : constant Boolean := False;
+   Support_Aggregates        : constant Boolean := True;
+   Support_Atomic_Primitives : constant Boolean := False;
+   Support_Composite_Assign  : constant Boolean := True;
+   Support_Composite_Compare : constant Boolean := True;
+   Support_Long_Shifts       : constant Boolean := True;
+   Always_Compatible_Rep     : constant Boolean := False;
+   Suppress_Standard_Library : constant Boolean := False;
+   Use_Ada_Main_Program_Name : constant Boolean := False;
+   Frontend_Exceptions       : constant Boolean := False;
+   ZCX_By_Default            : constant Boolean := False;
+
+end System;
-- 
2.7.4

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Arnaud Charlet]

> 2016-07-30 Andris Pavenis <andris.pavenis@iki.fi>
> 
> * ada/gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for
> DJGPP target
>   (EH_MECHANISM): Define to -gcc for DJGPP
> * ada/system-djgpp.ads: New file
> 
> Andris

> +++ b/gcc/ada/system-djgpp.ads
> @@ -0,0 +1,148 @@
> +------------------------------------------------------------------------------
> 
> +--                                                                          --
> +--                        GNAT RUN-TIME COMPONENTS                          --
> +--                                                                          --
> +--                               S Y S T E M                                --
> +--                                                                          --
> +--                                 S p e c                                  --
> +--                            (DJGPP Version)                             --

Wrong formatting here.

> +--                                                                          --
> +--          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --

Wrong copyright here.

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

[-- Attachment #1: Type: text/plain, Size: 1279 bytes --]

On 08/18/2016 12:41 PM, Arnaud Charlet wrote:
>> 2016-07-30 Andris Pavenis <andris.pavenis@iki.fi>
>>
>> * ada/gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for
>> DJGPP target
>>    (EH_MECHANISM): Define to -gcc for DJGPP
>> * ada/system-djgpp.ads: New file
>>
>> Andris
>> +++ b/gcc/ada/system-djgpp.ads
>> @@ -0,0 +1,148 @@
>> +------------------------------------------------------------------------------
>>
>> +--                                                                          --
>> +--                        GNAT RUN-TIME COMPONENTS                          --
>> +--                                                                          --
>> +--                               S Y S T E M                                --
>> +--                                                                          --
>> +--                                 S p e c                                  --
>> +--                            (DJGPP Version)                             --
> Wrong formatting here.
Fixed
>
>> +--                                                                          --
>> +--          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
> Wrong copyright here.

Also fixed. New patch is in attachment.

Andris




[-- Attachment #2: 0003-DJGPP-Ada-DJGPP-support.patch --]
[-- Type: text/x-patch, Size: 9044 bytes --]

From 3cfe377c3d5b798e39209518ebdf15752818e5ee Mon Sep 17 00:00:00 2001
From: Andris Pavenis <andris.pavenis@iki.fi>
Date: Sun, 21 Aug 2016 13:30:10 +0300
Subject: [PATCH 3/4] [DJGPP, Ada] DJGPP support

* ada/gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for DJGPP target
  (EH_MECHANISM): Define to -gcc for DJGPP
* ada/system-djgpp.ads: New file
---
 gcc/ada/gcc-interface/Makefile.in |  17 +++++
 gcc/ada/system-djgpp.ads          | 148 ++++++++++++++++++++++++++++++++++++++
 2 files changed, 165 insertions(+)
 create mode 100644 gcc/ada/system-djgpp.ads

diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in
index 0df7f89..dcb7c93 100644
--- a/gcc/ada/gcc-interface/Makefile.in
+++ b/gcc/ada/gcc-interface/Makefile.in
@@ -1773,6 +1773,23 @@ ifeq ($(strip $(filter-out elf eabi eabispe,$(target_os))),)
   indepsw.adb<indepsw-gnu.adb
 endif
 
+ifeq ($(strip $(filter-out %djgpp,$(target_os))),)
+  GNATRTL_SOCKETS_OBJS =
+
+  LIBGNAT_TARGET_PAIRS = \
+	a-intnam.ads<a-intnam-dummy.ads \
+	s-inmaop.adb<s-inmaop-dummy.adb \
+	s-intman.adb<s-intman-dummy.adb \
+	s-osinte.ads<s-osinte-dummy.ads \
+	s-osprim.adb<s-osprim-unix.adb \
+	s-taprop.adb<s-taprop-dummy.adb \
+	s-taspri.ads<s-taspri-dummy.ads \
+	system.ads<system-djgpp.ads \
+	$(DUMMY_SOCKETS_TARGET_PAIRS)
+
+  EH_MECHANISM=-gcc
+endif
+
 # Cygwin/Mingw32
 ifeq ($(strip $(filter-out cygwin% mingw32% pe,$(target_os))),)
   # Cygwin provides a full Posix environment, and so we use the default
diff --git a/gcc/ada/system-djgpp.ads b/gcc/ada/system-djgpp.ads
new file mode 100644
index 0000000..18018cb
--- /dev/null
+++ b/gcc/ada/system-djgpp.ads
@@ -0,0 +1,148 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                        GNAT RUN-TIME COMPONENTS                          --
+--                                                                          --
+--                               S Y S T E M                                --
+--                                                                          --
+--                                 S p e c                                  --
+--                            (DJGPP Version)                               --
+--                                                                          --
+--          Copyright (C) 1992-2016, Free Software Foundation, Inc.         --
+--                                                                          --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT. The copyright notice above, and the license provisions that follow --
+-- apply solely to the  contents of the part following the private keyword. --
+--                                                                          --
+-- 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.      --
+--                                                                          --
+------------------------------------------------------------------------------
+
+package System is
+   pragma Pure;
+   --  Note that we take advantage of the implementation permission to make
+   --  this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
+   --  2005, this is Pure in any case (AI-362).
+
+   pragma No_Elaboration_Code_All;
+   --  Allow the use of that restriction in units that WITH this unit
+
+   type Name is (SYSTEM_NAME_GNAT);
+   System_Name : constant Name := SYSTEM_NAME_GNAT;
+
+   --  System-Dependent Named Numbers
+
+   Min_Int               : constant := Long_Long_Integer'First;
+   Max_Int               : constant := Long_Long_Integer'Last;
+
+   Max_Binary_Modulus    : constant := 2 ** Long_Long_Integer'Size;
+   Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
+
+   Max_Base_Digits       : constant := Long_Long_Float'Digits;
+   Max_Digits            : constant := Long_Long_Float'Digits;
+
+   Max_Mantissa          : constant := 63;
+   Fine_Delta            : constant := 2.0 ** (-Max_Mantissa);
+
+   Tick                  : constant := 0.01;
+
+   --  Storage-related Declarations
+
+   type Address is private;
+   pragma Preelaborable_Initialization (Address);
+   Null_Address : constant Address;
+
+   Storage_Unit : constant := 8;
+   Word_Size    : constant := 32;
+   Memory_Size  : constant := 2 ** 32;
+
+   --  Address comparison
+
+   function "<"  (Left, Right : Address) return Boolean;
+   function "<=" (Left, Right : Address) return Boolean;
+   function ">"  (Left, Right : Address) return Boolean;
+   function ">=" (Left, Right : Address) return Boolean;
+   function "="  (Left, Right : Address) return Boolean;
+
+   pragma Import (Intrinsic, "<");
+   pragma Import (Intrinsic, "<=");
+   pragma Import (Intrinsic, ">");
+   pragma Import (Intrinsic, ">=");
+   pragma Import (Intrinsic, "=");
+
+   --  Other System-Dependent Declarations
+
+   type Bit_Order is (High_Order_First, Low_Order_First);
+   Default_Bit_Order : constant Bit_Order := Low_Order_First;
+   pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
+
+   --  Priority-related Declarations (RM D.1)
+
+   Max_Priority           : constant Positive := 30;
+   Max_Interrupt_Priority : constant Positive := 31;
+
+   subtype Any_Priority       is Integer      range  0 .. 31;
+   subtype Priority           is Any_Priority range  0 .. 30;
+   subtype Interrupt_Priority is Any_Priority range 31 .. 31;
+
+   Default_Priority : constant Priority := 15;
+
+private
+
+   type Address is mod Memory_Size;
+   Null_Address : constant Address := 0;
+
+   --------------------------------------
+   -- System Implementation Parameters --
+   --------------------------------------
+
+   --  These parameters provide information about the target that is used
+   --  by the compiler. They are in the private part of System, where they
+   --  can be accessed using the special circuitry in the Targparm unit
+   --  whose source should be consulted for more detailed descriptions
+   --  of the individual switch values.
+
+   Backend_Divide_Checks     : constant Boolean := False;
+   Backend_Overflow_Checks   : constant Boolean := True;
+   Command_Line_Args         : constant Boolean := True;
+   Configurable_Run_Time     : constant Boolean := False;
+   Denorm                    : constant Boolean := True;
+   Duration_32_Bits          : constant Boolean := False;
+   Exit_Status_Supported     : constant Boolean := True;
+   Fractional_Fixed_Ops      : constant Boolean := False;
+   Frontend_Layout           : constant Boolean := False;
+   Machine_Overflows         : constant Boolean := False;
+   Machine_Rounds            : constant Boolean := True;
+   Preallocated_Stacks       : constant Boolean := False;
+   Signed_Zeros              : constant Boolean := True;
+   Stack_Check_Default       : constant Boolean := False;
+   Stack_Check_Probes        : constant Boolean := True;
+   Stack_Check_Limits        : constant Boolean := False;
+   Support_Aggregates        : constant Boolean := True;
+   Support_Atomic_Primitives : constant Boolean := False;
+   Support_Composite_Assign  : constant Boolean := True;
+   Support_Composite_Compare : constant Boolean := True;
+   Support_Long_Shifts       : constant Boolean := True;
+   Always_Compatible_Rep     : constant Boolean := False;
+   Suppress_Standard_Library : constant Boolean := False;
+   Use_Ada_Main_Program_Name : constant Boolean := False;
+   Frontend_Exceptions       : constant Boolean := False;
+   ZCX_By_Default            : constant Boolean := False;
+
+end System;
-- 
2.7.4

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Arnaud Charlet]

Which exception handling mechanism is used by the DJGPP port?
Is it (GCC) SJLJ?

Arno

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

[-- Attachment #1: Type: text/plain, Size: 213 bytes --]

On 08/25/2016 12:46 PM, Arnaud Charlet wrote:
> Which exception handling mechanism is used by the DJGPP port?
> Is it (GCC) SJLJ?
No. Updated to set ZCX_By_Default := true for DJGPP.

New patch attached.

Andris


[-- Attachment #2: 0003-DJGPP-Ada-DJGPP-support.patch --]
[-- Type: text/x-patch, Size: 9043 bytes --]

From 45d1e01d7b29e88eea85a284733efdd7f38cc604 Mon Sep 17 00:00:00 2001
From: Andris Pavenis <andris.pavenis@iki.fi>
Date: Fri, 26 Aug 2016 19:46:24 +0300
Subject: [PATCH 3/4] [DJGPP, Ada] DJGPP support

* ada/gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for DJGPP target
  (EH_MECHANISM): Define to -gcc for DJGPP
* ada/system-djgpp.ads: New file
---
 gcc/ada/gcc-interface/Makefile.in |  17 +++++
 gcc/ada/system-djgpp.ads          | 148 ++++++++++++++++++++++++++++++++++++++
 2 files changed, 165 insertions(+)
 create mode 100644 gcc/ada/system-djgpp.ads

diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in
index 0df7f89..dcb7c93 100644
--- a/gcc/ada/gcc-interface/Makefile.in
+++ b/gcc/ada/gcc-interface/Makefile.in
@@ -1773,6 +1773,23 @@ ifeq ($(strip $(filter-out elf eabi eabispe,$(target_os))),)
   indepsw.adb<indepsw-gnu.adb
 endif
 
+ifeq ($(strip $(filter-out %djgpp,$(target_os))),)
+  GNATRTL_SOCKETS_OBJS =
+
+  LIBGNAT_TARGET_PAIRS = \
+	a-intnam.ads<a-intnam-dummy.ads \
+	s-inmaop.adb<s-inmaop-dummy.adb \
+	s-intman.adb<s-intman-dummy.adb \
+	s-osinte.ads<s-osinte-dummy.ads \
+	s-osprim.adb<s-osprim-unix.adb \
+	s-taprop.adb<s-taprop-dummy.adb \
+	s-taspri.ads<s-taspri-dummy.ads \
+	system.ads<system-djgpp.ads \
+	$(DUMMY_SOCKETS_TARGET_PAIRS)
+
+  EH_MECHANISM=-gcc
+endif
+
 # Cygwin/Mingw32
 ifeq ($(strip $(filter-out cygwin% mingw32% pe,$(target_os))),)
   # Cygwin provides a full Posix environment, and so we use the default
diff --git a/gcc/ada/system-djgpp.ads b/gcc/ada/system-djgpp.ads
new file mode 100644
index 0000000..4b0ecd9
--- /dev/null
+++ b/gcc/ada/system-djgpp.ads
@@ -0,0 +1,148 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                        GNAT RUN-TIME COMPONENTS                          --
+--                                                                          --
+--                               S Y S T E M                                --
+--                                                                          --
+--                                 S p e c                                  --
+--                            (DJGPP Version)                               --
+--                                                                          --
+--          Copyright (C) 1992-2016, Free Software Foundation, Inc.         --
+--                                                                          --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT. The copyright notice above, and the license provisions that follow --
+-- apply solely to the  contents of the part following the private keyword. --
+--                                                                          --
+-- 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.      --
+--                                                                          --
+------------------------------------------------------------------------------
+
+package System is
+   pragma Pure;
+   --  Note that we take advantage of the implementation permission to make
+   --  this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
+   --  2005, this is Pure in any case (AI-362).
+
+   pragma No_Elaboration_Code_All;
+   --  Allow the use of that restriction in units that WITH this unit
+
+   type Name is (SYSTEM_NAME_GNAT);
+   System_Name : constant Name := SYSTEM_NAME_GNAT;
+
+   --  System-Dependent Named Numbers
+
+   Min_Int               : constant := Long_Long_Integer'First;
+   Max_Int               : constant := Long_Long_Integer'Last;
+
+   Max_Binary_Modulus    : constant := 2 ** Long_Long_Integer'Size;
+   Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
+
+   Max_Base_Digits       : constant := Long_Long_Float'Digits;
+   Max_Digits            : constant := Long_Long_Float'Digits;
+
+   Max_Mantissa          : constant := 63;
+   Fine_Delta            : constant := 2.0 ** (-Max_Mantissa);
+
+   Tick                  : constant := 0.01;
+
+   --  Storage-related Declarations
+
+   type Address is private;
+   pragma Preelaborable_Initialization (Address);
+   Null_Address : constant Address;
+
+   Storage_Unit : constant := 8;
+   Word_Size    : constant := 32;
+   Memory_Size  : constant := 2 ** 32;
+
+   --  Address comparison
+
+   function "<"  (Left, Right : Address) return Boolean;
+   function "<=" (Left, Right : Address) return Boolean;
+   function ">"  (Left, Right : Address) return Boolean;
+   function ">=" (Left, Right : Address) return Boolean;
+   function "="  (Left, Right : Address) return Boolean;
+
+   pragma Import (Intrinsic, "<");
+   pragma Import (Intrinsic, "<=");
+   pragma Import (Intrinsic, ">");
+   pragma Import (Intrinsic, ">=");
+   pragma Import (Intrinsic, "=");
+
+   --  Other System-Dependent Declarations
+
+   type Bit_Order is (High_Order_First, Low_Order_First);
+   Default_Bit_Order : constant Bit_Order := Low_Order_First;
+   pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
+
+   --  Priority-related Declarations (RM D.1)
+
+   Max_Priority           : constant Positive := 30;
+   Max_Interrupt_Priority : constant Positive := 31;
+
+   subtype Any_Priority       is Integer      range  0 .. 31;
+   subtype Priority           is Any_Priority range  0 .. 30;
+   subtype Interrupt_Priority is Any_Priority range 31 .. 31;
+
+   Default_Priority : constant Priority := 15;
+
+private
+
+   type Address is mod Memory_Size;
+   Null_Address : constant Address := 0;
+
+   --------------------------------------
+   -- System Implementation Parameters --
+   --------------------------------------
+
+   --  These parameters provide information about the target that is used
+   --  by the compiler. They are in the private part of System, where they
+   --  can be accessed using the special circuitry in the Targparm unit
+   --  whose source should be consulted for more detailed descriptions
+   --  of the individual switch values.
+
+   Backend_Divide_Checks     : constant Boolean := False;
+   Backend_Overflow_Checks   : constant Boolean := True;
+   Command_Line_Args         : constant Boolean := True;
+   Configurable_Run_Time     : constant Boolean := False;
+   Denorm                    : constant Boolean := True;
+   Duration_32_Bits          : constant Boolean := False;
+   Exit_Status_Supported     : constant Boolean := True;
+   Fractional_Fixed_Ops      : constant Boolean := False;
+   Frontend_Layout           : constant Boolean := False;
+   Machine_Overflows         : constant Boolean := False;
+   Machine_Rounds            : constant Boolean := True;
+   Preallocated_Stacks       : constant Boolean := False;
+   Signed_Zeros              : constant Boolean := True;
+   Stack_Check_Default       : constant Boolean := False;
+   Stack_Check_Probes        : constant Boolean := True;
+   Stack_Check_Limits        : constant Boolean := False;
+   Support_Aggregates        : constant Boolean := True;
+   Support_Atomic_Primitives : constant Boolean := False;
+   Support_Composite_Assign  : constant Boolean := True;
+   Support_Composite_Compare : constant Boolean := True;
+   Support_Long_Shifts       : constant Boolean := True;
+   Always_Compatible_Rep     : constant Boolean := False;
+   Suppress_Standard_Library : constant Boolean := False;
+   Use_Ada_Main_Program_Name : constant Boolean := False;
+   Frontend_Exceptions       : constant Boolean := False;
+   ZCX_By_Default            : constant Boolean := True;
+
+end System;
-- 
2.7.4

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Arnaud Charlet]

> On 08/25/2016 12:46 PM, Arnaud Charlet wrote:
> >Which exception handling mechanism is used by the DJGPP port?
> >Is it (GCC) SJLJ?
> No. Updated to set ZCX_By_Default := true for DJGPP.

Well I'm confused now. How could this work before? In other words, has the
target runtime been tested/used by anyone?

Arno

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

[-- Attachment #1: Type: text/plain, Size: 920 bytes --]

On 09/04/2016 09:50 PM, Arnaud Charlet wrote:
>> On 08/25/2016 12:46 PM, Arnaud Charlet wrote:
>>> Which exception handling mechanism is used by the DJGPP port?
>>> Is it (GCC) SJLJ?
>> No. Updated to set ZCX_By_Default := true for DJGPP.
> Well I'm confused now. How could this work before? In other words, has the
> target runtime been tested/used by anyone?
GCC Ada compiler itself uses exceptions. I mentioned bootstrap failure of GCC recent trunk version 
for traget libada. It causes an exception to be raised. That worked in last test build (r239639 
with DJGPP related patches applied, last version of patches for Ada). I also got identical failure 
with 20160831 trunk version where XCZ_By_Default was still false (my old patch set version that was 
maintained for a long time)

Attached output is from last test build (r239639 with DJGPP related patches applied, last version 
of patches for Ada).

Andris





[-- Attachment #2: 20160820-fail.txt --]
[-- Type: text/plain, Size: 3012 bytes --]

/dev/f/build.gcc/./gcc/xgcc -B/dev/f/build.gcc/./gcc/ -B/dev/env/DJDIR/djgpp/bin/ -B/dev/env/DJDIR/djgpp/lib/ -isystem /dev/env/DJDIR/djgpp/include -isystem /dev/env/DJDIR/djgpp/sys-include    -c -g -O2   -W -Wall -gnatpg -nostdinc   a-rttiev.adb -o a-rttiev.o
+===========================GNAT BUG DETECTED==============================+
| 7.0.0 20160820 (experimental) (djgpp) GCC error:                         |
| tree check: expected tree that contains 'common' structure, have         |
|     'optimization_node' in gt_ggc_mx_lang_tree_node, at ./gtype-ada.h:28 |
| Error detected around a-cdlili.ads:46:24                                 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact command that you entered.                              |
| Also include sources listed below.                                       |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).

system.ads
a-rttiev.adb
a-rttiev.ads
a-reatim.ads
ada.ads
s-taspri.ads
s-taprop.ads
s-parame.ads
s-taskin.ads
a-except.ads
s-stalib.ads
a-unccon.ads
s-traent.ads
s-tasinf.ads
s-soflin.ads
s-stache.ads
s-stoele.ads
s-stausa.ads
s-atacco.ads
interfac.ads
s-multip.ads
s-osinte.ads
a-finali.ads
s-finroo.ads
s-tasuti.ads
s-intman.ads
i-c.ads
s-inmaop.ads
a-contai.ads
a-cdlili.ads
a-iteint.ads
a-conhel.ads
s-atocou.ads
a-stream.ads
s-unstyp.ads
s-exctab.ads
a-tags.ads
s-stopoo.ads
s-stratt.ads
s-secsta.ads
s-finmas.ads
s-stposu.ads
s-tassta.ads
a-retide.ads
a-cdlili.adb
a-uncdea.ads
a-conhel.adb
s-stoele.adb
s-stalib.adb
s-memory.ads


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:406
../gcc-interface/Makefile:295: recipe for target 'a-rttiev.o' failed
make.exe[5]: *** [a-rttiev.o] Error 1
make.exe[5]: Leaving directory 'f:/build.gcc/gcc/ada/rts'
gcc-interface/Makefile:2862: recipe for target 'gnatlib' failed
make.exe[4]: *** [gnatlib] Error 2
make.exe[4]: Leaving directory 'f:/build.gcc/gcc/ada'
gcc-interface/Makefile:3039: recipe for target 'gnatlib-shared' failed
make.exe[3]: *** [gnatlib-shared] Error 2
make.exe[3]: Leaving directory 'f:/build.gcc/gcc/ada'
Makefile:113: recipe for target 'gnatlib-shared' failed
make.exe[2]: *** [gnatlib-shared] Error 2
make.exe[2]: Leaving directory 'f:/build.gcc/djgpp/libada'
Makefile:19070: recipe for target 'all-target-libada' failed
make.exe[1]: *** [all-target-libada] Error 2
make.exe[1]: Leaving directory 'f:/build.gcc'
Makefile:20224: recipe for target 'bootstrap' failed
make.exe: *** [bootstrap] Error 2

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Arnaud Charlet]

> GCC Ada compiler itself uses exceptions.

Yes, but the bootstrap doesn't use system-dgjpp.ads, it uses the generic
system.ads which uses front-end (GNAT) SJLJ, hence my question. Your
answer isn't very reassuring.

Arno

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Eric Botcazou]

> Attached output is from last test build (r239639 with DJGPP related patches
> applied, last version of patches for Ada).

Very strange error, line 28 of gtype-ada.h is supposed to have a guard for 
nodes containing the 'common' structure.  Can you post an excerpt of the file?

-- 
Eric Botcazou

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

On 09/05/2016 09:42 AM, Eric Botcazou wrote:
>> Attached output is from last test build (r239639 with DJGPP related patches
>> applied, last version of patches for Ada).
> Very strange error, line 28 of gtype-ada.h is supposed to have a guard for
> nodes containing the 'common' structure.  Can you post an excerpt of the file?
>
Verified that contents of gtype-ada.h from DJGPP build is identical with one from my Linux build of 
yesterdays trunk (except of CR LF used for line separator in DJGPP build).

I'll try to find the revision from which the problem appears.

Andris

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

On 09/07/2016 08:59 PM, Andris Pavenis wrote:
> On 09/05/2016 09:42 AM, Eric Botcazou wrote:
>>> Attached output is from last test build (r239639 with DJGPP related patches
>>> applied, last version of patches for Ada).
>> Very strange error, line 28 of gtype-ada.h is supposed to have a guard for
>> nodes containing the 'common' structure.  Can you post an excerpt of the file?
>>
> Verified that contents of gtype-ada.h from DJGPP build is identical with one from my Linux build 
> of yesterdays trunk (except of CR LF used for line separator in DJGPP build).
>
> I'll try to find the revision from which the problem appears.
>
>
Found that the first revision causing this problem (of course with DJGPP related patches applied) 
is 239113. Native bootstrap with same DJGPP related patches applied on top of revision 239112 
succeeds without problems.

[andris@ap gcc]$ git bisect good
4bfa373ed2bfd022628609751ff34b8e51e0c2b9 is the first bad commit
commit 4bfa373ed2bfd022628609751ff34b8e51e0c2b9
Author: kugan <kugan@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Thu Aug 4 04:20:01 2016 +0000

     gcc/ChangeLog:

     2016-08-04  Kugan Vivekanandarajah  <kuganv@linaro.org>

         * tree-vrp.c (set_value_range): Use vrp_equiv_obstack with
         BITMAP_ALLOC.
         (add_equivalence): Likewise.
         (get_value_range): Allocate value range with vrp_value_range_pool.
         (vrp_initialize): Initialize vrp_equiv_obstack for equiv allocation.
         (vrp_finalize): Relase vrp_equiv_obstack and vrp_value_range_pool.




     git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@239113 138bc75d-0d04-0410-961f-82ee72b054a4

:040000 040000 ea9efdfd9af7e141b09b184c3762d26aab61a020 feebee01cfdca66d04fd88cf345a693f248e24cd 
M      gcc


Andris

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Eric Botcazou]

> Found that the first revision causing this problem (of course with DJGPP
> related patches applied) is 239113. Native bootstrap with same DJGPP
> related patches applied on top of revision 239112 succeeds without
> problems.
> 
> [andris@ap gcc]$ git bisect good
> 4bfa373ed2bfd022628609751ff34b8e51e0c2b9 is the first bad commit
> commit 4bfa373ed2bfd022628609751ff34b8e51e0c2b9
> Author: kugan <kugan@138bc75d-0d04-0410-961f-82ee72b054a4>
> Date:   Thu Aug 4 04:20:01 2016 +0000
> 
>      gcc/ChangeLog:
> 
>      2016-08-04  Kugan Vivekanandarajah  <kuganv@linaro.org>
> 
>          * tree-vrp.c (set_value_range): Use vrp_equiv_obstack with
>          BITMAP_ALLOC.
>          (add_equivalence): Likewise.
>          (get_value_range): Allocate value range with vrp_value_range_pool.
>          (vrp_initialize): Initialize vrp_equiv_obstack for equiv
> allocation. (vrp_finalize): Relase vrp_equiv_obstack and
> vrp_value_range_pool.

Ugh, this looks like a memory corruption issue.

-- 
Eric Botcazou

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

On 09/13/2016 11:39 PM, Eric Botcazou wrote:
>> Found that the first revision causing this problem (of course with DJGPP
>> related patches applied) is 239113. Native bootstrap with same DJGPP
>> related patches applied on top of revision 239112 succeeds without
>> problems.
>>
>> [andris@ap gcc]$ git bisect good
>> 4bfa373ed2bfd022628609751ff34b8e51e0c2b9 is the first bad commit
>> commit 4bfa373ed2bfd022628609751ff34b8e51e0c2b9
>> Author: kugan <kugan@138bc75d-0d04-0410-961f-82ee72b054a4>
>> Date:   Thu Aug 4 04:20:01 2016 +0000
>>
>>       gcc/ChangeLog:
>>
>>       2016-08-04  Kugan Vivekanandarajah<kuganv@linaro.org>
>>
>>           * tree-vrp.c (set_value_range): Use vrp_equiv_obstack with
>>           BITMAP_ALLOC.
>>           (add_equivalence): Likewise.
>>           (get_value_range): Allocate value range with vrp_value_range_pool.
>>           (vrp_initialize): Initialize vrp_equiv_obstack for equiv
>> allocation. (vrp_finalize): Relase vrp_equiv_obstack and
>> vrp_value_range_pool.
> Ugh, this looks like a memory corruption issue.
>
Thanks for good hint.

Problem solved (fixed stack size for gnat1.exe was insufficient after mentioned change). Increasing 
it causes problem to go away. I'll recheck with full native DJGPP bootstrap. Currently only quick 
test done (by editing stack size of 3rd stage gnat1.exe).

Andris

Re: [PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

On 09/05/2016 08:39 AM, Arnaud Charlet wrote:
>> GCC Ada compiler itself uses exceptions.
> Yes, but the bootstrap doesn't use system-dgjpp.ads, it uses the generic
> system.ads which uses front-end (GNAT) SJLJ, hence my question. Your
> answer isn't very reassuring.
Tried several test examples which uses exceptions. These examples worked for DJGPP as expected with 
today
build of gcc-7.0.0-20160914. ZCX_By_Default in system-djgpp.ads had value true as in last version 
of patch.

Andris

[PING][PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

I'd like to ping patch

https://gcc.gnu.org/ml/gcc-patches/2016-09/msg00164.html

Additional comments about using ZCX_By_Default := true are in

https://gcc.gnu.org/ml/gcc-patches/2016-09/msg00845.html

Andris

Re: [PING][PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Arnaud Charlet]

> I'd like to ping patch
> 
> https://gcc.gnu.org/ml/gcc-patches/2016-09/msg00164.html
> 
> Additional comments about using ZCX_By_Default := true are in
> https://gcc.gnu.org/ml/gcc-patches/2016-09/msg00845.html

Well this patch doesn't inspire lots of confidence since the initial
version had the wrong setting and this got unnoticed.

It's OK on principle, but really shows that beyond building the compiler,
this port hasn't been used in practice.

Arno

Re: [PING][PATCH 3/4][Ada,DJGPP] Ada support for DJGPP

[Andris Pavenis]

On 10/11/2016 11:46 AM, Arnaud Charlet wrote:
>> I'd like to ping patch
>>
>> https://gcc.gnu.org/ml/gcc-patches/2016-09/msg00164.html
>>
>> Additional comments about using ZCX_By_Default := true are in
>> https://gcc.gnu.org/ml/gcc-patches/2016-09/msg00845.html
> Well this patch doesn't inspire lots of confidence since the initial
> version had the wrong setting and this got unnoticed.
>
> It's OK on principle, but really shows that beyond building the compiler,
> this port hasn't been used in practice.
>
Committed patches (except rejected 1/4)

About value of  ZCX_By_Default: exceptions work for DJGPP for both values true and false. So it is 
not too surprising that wrong setting got unnoticed.

Andris