[Bug c/29092] New: vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[Bug c/29092] New: vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[pinskia at gcc dot gnu dot org]

Testcase:

#define vector __attribute__((vector_size(16)))
vector int a = (vector int){1, 2, 0, 0};

If I used a typedef instead, it works.


-- 
           Summary: vector int a = (vector int) { 1,1,2,2} is rejected as
                    non constant
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug c/29092] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-09-14 23:05 -------
(In reply to comment #0)
> If I used a typedef instead, it works.
In that the following works:
typedef vector int vec_int;
vec_int a = (vec_int){1, 2, 0, 0};


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug c/29092] [4.0/4.1/4.2 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-09-15 05:31 -------
Janis could you do a regression hunt on this bug?
Thanks.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janis at gcc dot gnu dot org
      Known to fail|                            |4.0.0 4.1.0 4.2.0
      Known to work|                            |3.4.0
            Summary|vector int a = (vector int) |[4.0/4.1/4.2 Regression]
                   |{ 1,1,2,2} is rejected as   |vector int a = (vector int)
                   |non constant                |{ 1,1,2,2} is rejected as
                   |                            |non constant
   Target Milestone|---                         |4.0.4


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug c/29092] [4.0/4.1/4.2 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[janis at gcc dot gnu dot org]

------- Comment #3 from janis at gcc dot gnu dot org  2006-09-15 19:17 -------
A regression hunt on powerpc-linux identified this patch:

    http://gcc.gnu.org/viewcvs?view=rev&rev=79544

    r79544 | bonzini | 2004-03-16 20:37:31 +0000 (Tue, 16 Mar 2004)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug c/29092] [4.0/4.1/4.2 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[bonzini at gnu dot org]

------- Comment #4 from bonzini at gnu dot org  2006-09-16 08:19 -------
I can see what's going wrong.  I'll look at it on monday.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug c/29092] [4.0/4.1/4.2 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[bonzini at gnu dot org]

-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |bonzini at gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-09-16 08:20:11
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug c/29092] [4.0/4.1/4.2 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug c/29092] [4.0/4.1/4.2 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[bonzini at gnu dot org]

------- Comment #5 from bonzini at gnu dot org  2006-09-26 08:16 -------
I have a middle-end patch for this but I cannot post it now due to bad
connectivity.

Note that even the

  #define vector __attribute__((vector_size(16)))
  typedef vector int vec_int;
  vec_int a = (vec_int){1, 2, 0, 0};

testcases fails at --std=gnu99, on every gcc version.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug c/29092] [4.0/4.1/4.2 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[patchapp at dberlin dot org]

------- Comment #6 from patchapp at dberlin dot org  2006-09-27 11:25 -------
Subject: Bug number PR c/29092

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-09/msg01215.html


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug middle-end/29092] [4.0/4.1/4.2 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[bonzini at gnu dot org]

------- Comment #7 from bonzini at gnu dot org  2006-09-27 15:14 -------
patch for comment #5 was approved, now it is purely a middle-end bug.


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |middle-end


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug middle-end/29092] [4.0/4.1 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2006-10-15 04:04 -------
http://gcc.gnu.org/ml/gcc-cvs/2006-10/msg00362.html


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.0.0 4.1.0 4.2.0           |4.0.0 4.1.0
      Known to work|3.4.0                       |3.4.0 4.2.0
            Summary|[4.0/4.1/4.2 Regression]    |[4.0/4.1 Regression] vector
                   |vector int a = (vector int) |int a = (vector int) {
                   |{ 1,1,2,2} is rejected as   |1,1,2,2} is rejected as non
                   |non constant                |constant


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug middle-end/29092] [4.0/4.1 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[bonzini at gcc dot gnu dot org]

------- Comment #9 from bonzini at gnu dot org  2006-10-25 08:11 -------
Subject: Bug 29092

Author: bonzini
Date: Wed Oct 25 08:11:26 2006
New Revision: 118025

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118025
Log:
2006-10-25  Paolo Bonzini  <bonzini@gnu.org>

        PR c/29092

        * c-typeck.c (digest_init): Always allow initializing vectors
        that have static storage duration with compound literals.
        * tree.c (build_type_attribute_qual_variant): New, based on
        build_type_attribute_variant.
        (build_type_attribute_variant): Rewrite using the former.
        (make_vector_type): Use build_type_attribute_qual_variant to build
        type variants.  Use type_hash_canon on the others.

2006-10-25  Paolo Bonzini  <bonzini@gnu.org>

        * gcc.dg/simd-5.c, gcc.dg/simd-6: New testcases.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/simd-5.c
      - copied unchanged from r117696, trunk/gcc/testsuite/gcc.dg/simd-5.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/simd-6.c
      - copied unchanged from r117696, trunk/gcc/testsuite/gcc.dg/simd-6.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/c-typeck.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/tree.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug middle-end/29092] [4.0 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[bonzini at gnu dot org]

------- Comment #11 from bonzini at gnu dot org  2006-10-25 14:55 -------
committed to all branches


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|4.0.0 4.1.1                 |4.0.3 4.1.1
      Known to work|3.4.0 4.2.0 4.1.2           |3.4.0 4.2.0 4.1.2 4.0.4
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092

[Bug middle-end/29092] [4.0 Regression] vector int a = (vector int) { 1,1,2,2} is rejected as non constant

[bonzini at gcc dot gnu dot org]

------- Comment #10 from bonzini at gnu dot org  2006-10-25 14:55 -------
Subject: Bug 29092

Author: bonzini
Date: Wed Oct 25 14:55:09 2006
New Revision: 118034

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118034
Log:
2006-10-26  Paolo Bonzini  <bonzini@gnu.org>

        PR c/29092

        * c-typeck.c (digest_init): Always allow initializing vectors
        that have static storage duration with compound literals.
        * tree.c (build_type_attribute_qual_variant): New, based on
        build_type_attribute_variant.
        (build_type_attribute_variant): Rewrite using the former.
        (make_vector_type): Use build_type_attribute_qual_variant to build
        type variants.  Use type_hash_canon on the others.

testsuite:
2006-10-26  Paolo Bonzini  <bonzini@gnu.org>

        * gcc.dg/simd-5.c, gcc.dg/simd-6: New testcases.

Added:
    branches/gcc-4_0-branch/gcc/testsuite/gcc.dg/simd-5.c
      - copied unchanged from r117696, trunk/gcc/testsuite/gcc.dg/simd-5.c
    branches/gcc-4_0-branch/gcc/testsuite/gcc.dg/simd-6.c
      - copied unchanged from r117696, trunk/gcc/testsuite/gcc.dg/simd-6.c
Modified:
    branches/gcc-4_0-branch/gcc/ChangeLog
    branches/gcc-4_0-branch/gcc/c-typeck.c
    branches/gcc-4_0-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_0-branch/gcc/tree.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29092