gcc/testsuite/gcc.dg/pr116588.c

   1 /* PR tree-optimization/116588 */
   2 /* { dg-do run { target bitint575 } } */
   3 /* { dg-require-effective-target int128 } */
   4 /* { dg-options "-O2 -fno-vect-cost-model -fno-tree-dominator-opts -fno-tree-fre --param=vrp-block-limit=0 -fdump-tree-vrp2-details" } */
   5
   6 int a;
   7 __int128 b, c;
   8
   9 __int128
  10 foo (_BitInt (129) e)
  11 {
  12   _BitInt (129) f = e << (128 - c);
  13   __builtin_memset (&b, a, 4);
  14   __int128 r = e + f;
  15   return r;
  16 }
  17
  18 int
  19 main ()
  20 {
  21   if (foo (0))
  22     __builtin_abort ();
  23 }
  24
  25 /* { dg-final { scan-tree-dump-not "0 != 0" "vrp2" } } */