1/* { dg-do compile } */
2/* { dg-options "-O2 -mavx" } */
3
4#include <immintrin.h>
5
6__m128i
7foo (__m256i x, __m128i y)
8{
9  __m256i r = _mm256_insertf128_si256(x, y, 1);
10  __m128i a = _mm256_extractf128_si256(r, 1);
11  return a;
12}
13
14/* { dg-final { scan-assembler-not "vinsertf" } } */
15/* { dg-final { scan-assembler-not "vextractf" } } */
16