1/* { dg-do run { target { ! { ia32 } } } } */
2/* { dg-require-effective-target avx } */
3/* { dg-options "-O -mavx" } */
4
5#include "avx-check.h"
6#include <immintrin.h>
7
8static void
9__attribute__((noinline))
10avx_test (void)
11{
12  long long in = 0x800000000ll;
13  long long out;
14
15  __m256i zero = _mm256_setzero_si256();
16  __m256i tmp  = _mm256_insert_epi64 (zero, in, 0);
17  out = _mm256_extract_epi64(tmp, 0);
18
19  if (in != out)
20    abort ();
21}
22