Wrong parameter type for _mm256_insert_epi64 in avxintrin.h

[Jérémie Detrey <Jeremie dot Detrey at loria dot fr>]

Dear all,

Attached is a patch which fixes bug target/51393:

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

Also attached, avx_bug.c is a minimal example to reproduce the bug
(requires an AVX-capable CPU):

  $ gcc -O3 -mavx avx_bug.c
  $ ./a.out 0x80000000
  in  = 0x0000000080000000
  out = 0xffffffff80000000

The correct output should be:

  $ ./a.out 0x80000000
  in  = 0x0000000080000000
  out = 0x0000000080000000

As explained in the bug report, it's just a matter of the second
parameter of _mm256_insert_epi64 being declared as int where it should
be long long (avxintrin.h:762). A simple typo, trivially fixed by the
attached patch.

Thanks a lot!
Cheers,
Jérémie.

Attachment: fix_mm256_insert_epi64.patch
Description: Text document

Attachment: ChangeLog
Description: Text document