; RUN: llvm-upgrade < %s | llvm-as | opt -ds-aa -load-vn -gcse -instcombine | llvm-dis | grep sub

void %bar(int* %p) {
  store int 15, int* %p
  ret void
}

int %foo(int* %a) {
  %b = load int* %a
  call void %bar(int* %a)
  %d = load int* %a
  %e = sub int %b, %d
  ret int %e
}
