[Bug target/70007] New: [4.9/5/6 Regression] wrong code with -mbmi2

[zsojka at seznam dot cz]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70007

            Bug ID: 70007
           Summary: [4.9/5/6 Regression] wrong code with -mbmi2
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
            Target: x86_64-pc-linux-gnu

Created attachment 37816
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37816&action=edit
reduced testcase

Output:
$ /repo/gcc-trunk/binary-latest/bin/x86_64-pc-linux-gnu-gcc -O -fgcse -mbmi2 -w
testcase.c 
testcase.c: In function 'foo':
testcase.c:7:1: note: The ABI for passing parameters with 32-byte alignment has
changed in GCC 4.6
 foo (v32u16 v32u16_0, v32u64 v32u64_0, v32u64 v32u64_1)
 ^~~
$ sde64 -- ./a.out 
000000000000000004e70027533ff80f
Aborted

$ x86_64-pc-linux-gnu-gcc -v                             
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-233775-checking-yes-rtl-df-nobootstrap-nographite/bin/../libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-checking=yes,rtl,df --disable-bootstrap --without-cloog --without-ppl
--without-isl --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-233775-checking-yes-rtl-df-nobootstrap-nographite
Thread model: posix
gcc version 6.0.0 20160227 (experimental) (GCC) 

Tested revisions:
trunk r233775 - FAIL
5-branch r233581 - FAIL
4_9-branch r233576 - FAIL
4_8-branch r224828 - FAIL
4_7-branch r211571 - OK