; RUN: opt -S -passes=sroa %s | FileCheck %s
;
;; Check that we do not assert and that we retain the fake_use instruction that
;; uses the address of bar.
;
; CHECK: define{{.*}}foo
; CHECK: call{{.*llvm\.fake\.use.*}}(ptr %bar.addr)

define void @_Z3fooPi(ptr %bar) {
entry:
  %bar.addr = alloca ptr, align 8
  %baz = alloca ptr, align 8
  store ptr %bar, ptr %bar.addr, align 8
  store ptr %bar.addr, ptr %baz, align 8
  %0 = load ptr, ptr %bar.addr, align 8
  %1 = load ptr, ptr %baz, align 8
  call void (...) @llvm.fake.use(ptr %1)
  ret void
}

declare void @llvm.fake.use(...)