patch-gcc_ada_system-openbsd-mips64_ads 7.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149
  1. $OpenBSD: patch-gcc_ada_system-openbsd-mips64_ads,v 1.1 2015/09/24 22:29:59 tobiasu Exp $
  2. --- gcc/ada/system-openbsd-mips64.ads.orig Wed Sep 16 16:53:13 2015
  3. +++ gcc/ada/system-openbsd-mips64.ads Wed Sep 16 18:58:44 2015
  4. @@ -0,0 +1,144 @@
  5. +------------------------------------------------------------------------------
  6. +-- --
  7. +-- GNAT RUN-TIME COMPONENTS --
  8. +-- --
  9. +-- S Y S T E M --
  10. +-- --
  11. +-- S p e c --
  12. +-- (OpenBSD/mips64 Version) --
  13. +-- --
  14. +-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
  15. +-- --
  16. +-- This specification is derived from the Ada Reference Manual for use with --
  17. +-- GNAT. The copyright notice above, and the license provisions that follow --
  18. +-- apply solely to the contents of the part following the private keyword. --
  19. +-- --
  20. +-- GNAT is free software; you can redistribute it and/or modify it under --
  21. +-- terms of the GNU General Public License as published by the Free Soft- --
  22. +-- ware Foundation; either version 3, or (at your option) any later ver- --
  23. +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
  24. +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
  25. +-- or FITNESS FOR A PARTICULAR PURPOSE. --
  26. +-- --
  27. +-- As a special exception under Section 7 of GPL version 3, you are granted --
  28. +-- additional permissions described in the GCC Runtime Library Exception, --
  29. +-- version 3.1, as published by the Free Software Foundation. --
  30. +-- --
  31. +-- You should have received a copy of the GNU General Public License and --
  32. +-- a copy of the GCC Runtime Library Exception along with this program; --
  33. +-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
  34. +-- <http://www.gnu.org/licenses/>. --
  35. +-- --
  36. +-- GNAT was originally developed by the GNAT team at New York University. --
  37. +-- Extensive contributions were provided by Ada Core Technologies Inc. --
  38. +-- --
  39. +------------------------------------------------------------------------------
  40. +
  41. +package System is
  42. + pragma Pure;
  43. + -- Note that we take advantage of the implementation permission to make
  44. + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
  45. + -- 2005, this is Pure in any case (AI-362).
  46. +
  47. + type Name is (SYSTEM_NAME_GNAT);
  48. + System_Name : constant Name := SYSTEM_NAME_GNAT;
  49. +
  50. + -- System-Dependent Named Numbers
  51. +
  52. + Min_Int : constant := Long_Long_Integer'First;
  53. + Max_Int : constant := Long_Long_Integer'Last;
  54. +
  55. + Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
  56. + Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
  57. +
  58. + Max_Base_Digits : constant := Long_Long_Float'Digits;
  59. + Max_Digits : constant := Long_Long_Float'Digits;
  60. +
  61. + Max_Mantissa : constant := 63;
  62. + Fine_Delta : constant := 2.0 ** (-Max_Mantissa);
  63. +
  64. + Tick : constant := 0.000_001;
  65. +
  66. + -- Storage-related Declarations
  67. +
  68. + type Address is private;
  69. + pragma Preelaborable_Initialization (Address);
  70. + Null_Address : constant Address;
  71. +
  72. + Storage_Unit : constant := 8;
  73. + Word_Size : constant := 64;
  74. + Memory_Size : constant := 2 ** 64;
  75. +
  76. + -- Address comparison
  77. +
  78. + function "<" (Left, Right : Address) return Boolean;
  79. + function "<=" (Left, Right : Address) return Boolean;
  80. + function ">" (Left, Right : Address) return Boolean;
  81. + function ">=" (Left, Right : Address) return Boolean;
  82. + function "=" (Left, Right : Address) return Boolean;
  83. +
  84. + pragma Import (Intrinsic, "<");
  85. + pragma Import (Intrinsic, "<=");
  86. + pragma Import (Intrinsic, ">");
  87. + pragma Import (Intrinsic, ">=");
  88. + pragma Import (Intrinsic, "=");
  89. +
  90. + -- Other System-Dependent Declarations
  91. +
  92. + type Bit_Order is (High_Order_First, Low_Order_First);
  93. + Default_Bit_Order : constant Bit_Order := High_Order_First;
  94. + pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
  95. +
  96. + -- Priority-related Declarations (RM D.1)
  97. +
  98. + Max_Priority : constant Positive := 30;
  99. + Max_Interrupt_Priority : constant Positive := 31;
  100. +
  101. + subtype Any_Priority is Integer range 0 .. 31;
  102. + subtype Priority is Any_Priority range 0 .. 30;
  103. + subtype Interrupt_Priority is Any_Priority range 31 .. 31;
  104. +
  105. + Default_Priority : constant Priority := 15;
  106. +
  107. +private
  108. +
  109. + type Address is mod Memory_Size;
  110. + Null_Address : constant Address := 0;
  111. +
  112. + --------------------------------------
  113. + -- System Implementation Parameters --
  114. + --------------------------------------
  115. +
  116. + -- These parameters provide information about the target that is used
  117. + -- by the compiler. They are in the private part of System, where they
  118. + -- can be accessed using the special circuitry in the Targparm unit
  119. + -- whose source should be consulted for more detailed descriptions
  120. + -- of the individual switch values.
  121. +
  122. + Backend_Divide_Checks : constant Boolean := False;
  123. + Backend_Overflow_Checks : constant Boolean := True;
  124. + Command_Line_Args : constant Boolean := True;
  125. + Configurable_Run_Time : constant Boolean := False;
  126. + Denorm : constant Boolean := True;
  127. + Duration_32_Bits : constant Boolean := False;
  128. + Exit_Status_Supported : constant Boolean := True;
  129. + Fractional_Fixed_Ops : constant Boolean := False;
  130. + Frontend_Layout : constant Boolean := False;
  131. + Machine_Overflows : constant Boolean := False;
  132. + Machine_Rounds : constant Boolean := True;
  133. + Preallocated_Stacks : constant Boolean := False;
  134. + Signed_Zeros : constant Boolean := True;
  135. + Stack_Check_Default : constant Boolean := False;
  136. + Stack_Check_Probes : constant Boolean := True;
  137. + Stack_Check_Limits : constant Boolean := False;
  138. + Support_Aggregates : constant Boolean := True;
  139. + Support_Atomic_Primitives : constant Boolean := True;
  140. + Support_Composite_Assign : constant Boolean := True;
  141. + Support_Composite_Compare : constant Boolean := True;
  142. + Support_Long_Shifts : constant Boolean := True;
  143. + Always_Compatible_Rep : constant Boolean := False;
  144. + Suppress_Standard_Library : constant Boolean := False;
  145. + Use_Ada_Main_Program_Name : constant Boolean := False;
  146. + ZCX_By_Default : constant Boolean := False;
  147. +
  148. +end System;