test/CFrontend/exact-div-expr.c

// RUN: %llvmgcc -S %s -o - -O | grep ashr
// RUN: %llvmgcc -S %s -o - -O | not grep sdiv

int test(int *A, int *B) {
  return A-B;
}