[Bug target/60205] New: No ABU warning for AVX-512

["hjl.tools at gmail dot com" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 60205
           Summary: No ABU warning for AVX-512
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
                CC: kirill.yukhin at intel dot com

[hjl@gnu-6 avx512-1]$ cat w.i
typedef long long __m512i __attribute__ ((__vector_size__ (64),
__may_alias__));
typedef long long __m256i __attribute__ ((__vector_size__ (32),
__may_alias__));

__m256i
foo1 (__m256i x, __m256i y, __m256i z)
{
  return z;
}

__m512i
foo2 (__m512i x, __m512i y, __m512i z)
{
  return z;
}
[hjl@gnu-6 avx512-1]$ make w.s
/export/build/gnu/gcc/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/ -mavx512f -O2 -S w.i
[hjl@gnu-6 avx512-1]$ make clean
rm -f *.s *.o *.i.* *.c.*
[hjl@gnu-6 avx512-1]$ cat w.i
typedef long long __m512i __attribute__ ((__vector_size__ (64),
__may_alias__));
typedef long long __m256i __attribute__ ((__vector_size__ (32),
__may_alias__));

__m256i
foo1 (__m256i x, __m256i y, __m256i z)
{
  return z;
}

__m512i
foo2 (__m512i x, __m512i y, __m512i z)
{
  return z;
}
[hjl@gnu-6 avx512-1]$ /export/build/gnu/gcc/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/  -O2 -S w.i
w.i: In function ‘foo1’:
w.i:6:1: warning: AVX vector return without AVX enabled changes the ABI
 {
 ^
w.i:5:1: note: The ABI for passing parameters with 32-byte alignment has
changed in GCC 4.6
 foo1 (__m256i x, __m256i y, __m256i z)
 ^
w.i:5:1: warning: AVX vector argument without AVX enabled changes the ABI
[hjl@gnu-6 avx512-1]$ 

I am expecting similar warnings for AVX-512.
>From gcc-bugs-return-443610-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Feb 14 20:32:47 2014
Return-Path: <gcc-bugs-return-443610-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 25116 invoked by alias); 14 Feb 2014 20:32:47 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 25059 invoked by uid 48); 14 Feb 2014 20:32:43 -0000
From: "law at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/59535] [4.9 regression] -Os code size regressions for Thumb1/Thumb2 with LRA
Date: Fri, 14 Feb 2014 20:32:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: missed-optimization, ra
X-Bugzilla-Severity: normal
X-Bugzilla-Who: law at redhat dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: vmakarov at redhat dot com
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-59535-4-HM5rmSJDNw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59535-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59535-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-02/txt/msg01367.txt.bz2
Content-length: 451

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY535

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #17 from Jeffrey A. Law <law at redhat dot com> ---
Should be fixed by Vlad's trunk commit.