[Ada] Improve efficiency of aggregates with <>

The generated code has been improved so that aggregates with <> are more
efficient.  No change in behavior; no test.

2019-08-20  Bob Duff  <duff@adacore.com>

gcc/ada/

	* exp_aggr.adb (Expand_Array_Aggregate): Use build-in-place in
	the nonlimited case in STEP 4. This improves the efficiency of
	things like (1 .. 1000 => <>).  We still generate some code for
	that, unfortunately, but it is much improved.
	(Aggr_Assignment_OK_For_Backend): Return false if <> components
	are present.

From-SVN: r274739

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 56cb308509737631b5416b4700171290de7eb613..ddf17cc61351d6f2f80929649e446e5aa6dff743 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,12 @@
+2019-08-20  Bob Duff  <duff@adacore.com>
+
+       * exp_aggr.adb (Expand_Array_Aggregate): Use build-in-place in
+       the nonlimited case in STEP 4. This improves the efficiency of
+       things like (1 .. 1000 => <>).  We still generate some code for
+       that, unfortunately, but it is much improved.
+       (Aggr_Assignment_OK_For_Backend): Return false if <> components
+       are present.
+
 2019-08-20  Bob Duff  <duff@adacore.com>
 
        * exp_ch6.adb (Needs_BIP_Alloc_Form): Call

diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index c3eba3c3f9334ba2181b6acd50821326beaa4b43..7f11b4105bd0bf08bcd43c3dd18359956e2df58e 100644 (file)
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -5233,6 +5233,12 @@ package body Exp_Aggr is
          Value     : Uint;
 
       begin
+         --  Back end doesn't know about <>
+
+         if Has_Default_Init_Comps (N) then
+            return False;
+         end if;
+
          --  Recurse as far as possible to find the innermost component type
 
          Ctyp := Etype (N);
@@ -6292,9 +6298,7 @@ package body Exp_Aggr is
       --  previously excluded controlled components but this is an old
       --  oversight: the rules in 7.6 (17) are clear.
 
-      if (not Has_Default_Init_Comps (N)
-           or else Is_Limited_Type (Etype (N)))
-        and then Comes_From_Source (Parent_Node)
+      if Comes_From_Source (Parent_Node)
         and then Parent_Kind = N_Object_Declaration
         and then Present (Expression (Parent_Node))
         and then not