1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-O -fno-forward-propagate -fno-split-wide-types -mavx " } */
       3  
       4  typedef unsigned __int128 v32u128 __attribute__ ((vector_size (32)));
       5  
       6  v32u128
       7  foo (v32u128 v32u128_0)
       8  {
       9    v32u128_0[0] *= v32u128_0[1];
      10    return v32u128_0;
      11  }