gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-44.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fdump-tree-ccp1" } */
   3
   4 int
   5 test(int* a, int* b)
   6 {
   7   __INTPTR_TYPE__ delta = (int*)__builtin_assume_aligned(b, 32)
   8                - (int*)__builtin_assume_aligned(a, 32);
   9   __INTPTR_TYPE__ x = delta % 8;
  10   return (x == 0);
  11 }
  12
  13 /* { dg-final { scan-tree-dump "return 1;" "ccp1" } } */