clang/test/CodeGen/exact-div-expr.c

// RUN: %clang_cc1 -emit-llvm %s -o - -O1 | grep ashr
// RUN: %clang_cc1 -emit-llvm %s -o - -O1 | not grep sdiv

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