[multiple changes]

2009-07-23  Gary Dismukes  <dismukes@adacore.com>

	* sem_ch6.adb (Check_Return_Subtype_Indication): Replace type equality
	with test of coverage, to allow specific type objects in extended
	returns of class-wide functions. Remove now-unnecessary special-case
	tests that allowed this in certain cases of expanded extended returns.

2009-07-23  Javier Miranda  <miranda@adacore.com>

	* sinfo.ads,sinfo.adb (Entity/Set_Entity): Attribute available in
	N_Null_Statements (for SCIL nodes).
	(Is_Scil_Node/Set_Is_Scil_Node): New attribute (for SCIL nodes).
	(Scil_Nkind/Set_Scil_Nkind): New attribute (for SCIL nodes).
	(Scil_Related_Node/Set_Scil_Related_Node): New attribute (for SCIL
	nodes).
	(Scil_Target_Prim/Set_Scil_Target_Prim): New attribute (for SCIL nodes).
	* exp_disp.adb (Expand_Dispatching_Call): Add generation of SCIL node
	associated with dispatching call.
	(Get_Scil_Node_Kind): New function that returns the kind of SCIL node.
	(Make_DT, Make_Tags): Add generation of SCIL nodes associated with
	initialization of dispatch tables and initialization of tags.
	(New_Scil_Node): New function that creates a new SCIL node.
	(Build_Init_Procedure): Add generation of SCIL node associated with the
	initialization of tags done in the IP subprogram.

2009-07-23  Ed Schonberg  <schonberg@adacore.com>

	* errout.adb (Error_Msg_NEL): If the entity in the initial message has
	Warnings_Off, do not emit continuation messages.

	* sem_ch10.adb: Set Is_Compilation_Unit on generated child subprogram
	spec.

2009-07-23  Emmanuel Briot  <briot@adacore.com>

	* ali.adb: Minor comment update

2009-07-23  Vasiliy Fofanov  <fofanov@adacore.com>

	* s-win32.ads (HANDLE): Define to be the same size as address type.
	Fix copyright.

2009-07-23  Olivier Hainque  <hainque@adacore.com>

	* g-sse.ads: New file. Root of the SSE facilities trees, with
	general description and common declarations.
	* g-ssvety.ads: New file. Expose user level SSE vector types.
	* impunit.adb (Non_Imp_File_Names_95): Register new units.
	* gcc-interface/Makefile.in (x86 32/64 linux, win32): Add
	EXTRA_GNATRTL_NONTASKING_OBJS entries for SSE units.

2009-07-23  Ben Brosgol  <brosgol@adacore.com>

	* gnat_ugn.texi: Wordsmithing.

From-SVN: r149974

1 files changed, 102 insertions, 0 deletions

diff --git a/gcc/ada/g-sse.ads b/gcc/ada/g-sse.ads
new file mode 100644
index 0000000..d0c3ec3
--- /dev/null
+++ b/gcc/ada/g-sse.ads
@@ -0,0 +1,102 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                         GNAT COMPILER COMPONENTS                         --
+--                                                                          --
+--                             G N A T . S S E                              --
+--                                                                          --
+--                                 S p e c                                  --
+--                                                                          --
+--             Copyright (C) 2009, 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 unit is the root of a set aimed at offering Ada bindings to a subset
+--  of the Intel(r) Streaming SIMD Extensions with GNAT.  It exposes vector
+--  _component_ types together with general comments on the binding contents.
+
+--  The purpose is to allow access from Ada to the SSE facilities defined in
+--  the Intel(r) compiler manuals, in particular in the Intrinsics Reference
+--  of the C++ Compiler User's Guide, available from http://www.intel.com.
+
+--  As of today, essentially one unit is offered: GNAT.SSE.Vector__Types,
+--  which exposes Ada types corresponding to the reference types (__m128 and
+--  the like) over which GCC builtins will operate.
+
+--  The exposed Ada types are private. Object initializations or value
+--  observations may be performed with unchecked conversions or address
+--  overlays, for example:
+
+--  with Ada.Unchecked_Conversion;
+--  with GNAT.SSE.Vector_Types; use GNAT.SSE; use GNAT.SSE.Vector_Types;
+--
+--  procedure SSE_Base is
+--
+--     --  Core operations
+--
+--     function mm_add_ss (A, B : M128) return M128;
+--     pragma Import (Intrinsic, mm_add_ss, "__builtin_ia32_addss");
+--
+--     --  User views / conversions or overlays
+--
+--     type Vf32_View is array (1 .. 4) of Float;
+--     for Vf32_View'Alignment use VECTOR_ALIGN;
+--
+--     function To_M128 is new Ada.Unchecked_Conversion (Vf32_View, M128);
+--
+--     X, Y, Z : M128;
+--
+--     Vz : Vf32_View;
+--     for Vz'Address use Z'Address;
+--  begin
+--     X := To_M128 ((1.0, 1.0, 2.0, 2.0));
+--     Y := To_M128 ((2.0, 2.0, 1.0, 1.0));
+--     Z := mm_add_ss (X, Y);
+--
+--     if vz /= (3.0, 1.0, 2.0, 2.0) then
+--        raise Program_Error;
+--     end if;
+--  end;
+
+--  Use of Unchecked_Union is very tempting, however hits difficulties with
+--  e.g. implicit front-end expanded equality operators, which typically
+--  feature a subcase comparing the m128 components, not supported by the
+--  middle-end.
+
+package GNAT.SSE is
+   type Float32 is new Float;
+   type Float64 is new Long_Float;
+   type Integer64 is new Long_Long_Integer;
+
+   VECTOR_BYTES : constant := 16;
+   --  Common size of all the SSE vector types, in bytes.
+
+   VECTOR_ALIGN : constant := 16;
+   --  Common alignment of all the SSE vector types, in bytes.
+
+   --  Alignment-wise, the reference document reads:
+   --  << The compiler aligns __m128d and _m128i local and global data to
+   --     16-byte boundaries on the stack. >>
+   --
+   --  We apply that consistently to all the Ada vector types, as GCC does
+   --  for the corresponding C types.
+
+end GNAT.SSE;