1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-O -fdump-tree-cddce1" } */
       3  
       4  typedef unsigned __int128 u128;
       5  
       6  u128 a, b;
       7  
       8  static inline u128
       9  foo (u128 p1)
      10  {
      11    p1 += ~b;
      12    return -p1;
      13  }
      14  
      15  int
      16  main ()
      17  {
      18    u128 x = foo (~0x7fffffffffffffff);
      19    if (x != 0x8000000000000001)
      20      __builtin_abort();
      21    return 0;
      22  }
      23  
      24  /* { dg-final { scan-tree-dump "if \\(b.0_\[0-9\]+ != 0\\)" "cddce1" { target { ! mmix-knuth-mmixware } } } } */
      25  /* { dg-final { scan-tree-dump "if \\(b::1_\[0-9\]+ != 0\\)" "cddce1" { target { mmix-knuth-mmixware } } } } */