gcc/testsuite/gcc.dg/tree-ssa/mulexactdiv-7.c

   1 /* { dg-options "-O2 -fdump-tree-optimized-raw" } */
   2
   3 typedef __PTRDIFF_TYPE__ ptrdiff_t;
   4 typedef __SIZE_TYPE__ size_t;
   5
   6 void
   7 cmp1 (int *ptr1, int *ptr2)
   8 {
   9   unsigned char x1 = ptr2 - ptr1;
  10   x1 += 0x40;
  11   ptrdiff_t x2 = (ptrdiff_t) x1 * (ptrdiff_t) 4;
  12
  13   ptrdiff_t y = ((char *) ptr2 - (char *) ptr1) + (ptrdiff_t) 0x100;
  14
  15   size_t z = (char *) ptr2 - (char *) ptr1;
  16   z += (size_t) 0x100;
  17
  18   if (x2 != y && x2 != (ptrdiff_t) z)
  19     __builtin_abort ();
  20 }
  21
  22 /* { dg-final { scan-tree-dump {gimple_call <} "optimized" } } */