/* { dg-options "-O2 -fdump-tree-optimized-raw" } */

typedef __INTPTR_TYPE__ intptr_t;

int
f1 (int x, int y)
{
  if ((x & 1) || (y & 1))
    __builtin_unreachable ();
  x /= 2;
  y /= 2;
  return x < y;
}

int
f2 (void *ptr1, void *ptr2, void *ptr3)
{
  ptr1 = __builtin_assume_aligned (ptr1, 4);
  ptr2 = __builtin_assume_aligned (ptr2, 4);
  ptr3 = __builtin_assume_aligned (ptr3, 4);
  intptr_t diff1 = (intptr_t) ptr1 - (intptr_t) ptr2;
  intptr_t diff2 = (intptr_t) ptr1 - (intptr_t) ptr3;
  diff1 /= 2;
  diff2 /= 2;
  return diff1 < diff2;
}

/* { dg-final { scan-tree-dump-not {<[a-z]*_div_expr,} "optimized" } } */
/* { dg-final { scan-tree-dump-not {<rshift_expr,} "optimized" } } */