1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  #include<immintrin.h>
       5  typedef float __m256 __attribute__((__vector_size__(32)));
       6  __m256 _mm256_blendv_ps___Y, _mm256_blendv_ps___M, _mm256_mul_ps___A,
       7    _mm256_mul_ps___B, IfThenElse___trans_tmp_9;
       8  
       9  void
      10  __attribute__ ((target("avx")))
      11  IfThenElse (__m256 no) {
      12    IfThenElse___trans_tmp_9 = _mm256_blendv_ps (no, _mm256_blendv_ps___Y, _mm256_blendv_ps___M);
      13  }
      14  void
      15  __attribute__ ((target("avx512vl")))
      16  EncodedFromDisplay() {
      17    __m256 __trans_tmp_11 = _mm256_mul_ps___A * _mm256_mul_ps___B;
      18    IfThenElse(__trans_tmp_11);
      19  }