1  /* { dg-do compile } */
       2  /* { dg-require-effective-target int128 } */
       3  /* { dg-options "-Os -fno-tree-ter -mavx512bw " } */
       4  typedef __int128 u128;
       5  typedef __int128 v64u128 __attribute__((vector_size(64)));
       6  
       7  v64u128 v64u128_g;
       8  
       9  static inline v64u128
      10  baz(v64u128 v64u128_0, v64u128 v64u128_3)
      11  {
      12    v64u128_0 |= (v64u128){} == v64u128_0;
      13    v64u128_3 = (v64u128){} >= v64u128_3;
      14    return v64u128_0 + v64u128_3;
      15  }
      16  
      17  static void __attribute__((noinline, noclone))
      18  bar(u128 u128_0, v64u128 v64u128_3)
      19  {
      20    v64u128_g = baz((v64u128){(u128)1 << 64, u128_0}, v64u128_3);
      21  }
      22  
      23  void
      24  foo(v64u128 v64u128_3)
      25  {
      26    bar(3, v64u128_3);
      27  }