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  
       8  static void
       9  __attribute__((noinline))
      10  avx_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  }