1  /* { dg-do compile } */
       2  /* { dg-options "-Og -ffloat-store -msse2" } */
       3  
       4  #include <emmintrin.h>
       5  typedef float vFloat __attribute__((__vector_size__(16)));
       6  float bar_dr;
       7  vFloat bar_f1;
       8  void bar() {
       9    static vFloat m0;
      10    vFloat fa1 = _mm_andnot_ps(m0, bar_f1);
      11    __attribute__((__vector_size__(2 * sizeof(double)))) double v3 =
      12        _mm_cvtps_pd(fa1);
      13    vFloat r1 = _mm_cvtpd_ps(v3);
      14    _mm_storeu_ps(&bar_dr, r1);
      15  }
      16