; RUN: llvm-as < %s | opt -sretpromotion | llvm-dis > %t
; RUN: cat %t | grep sret | count 1

; This function is promotable
define internal void @promotable({i32, i32}* sret %s) {
  %A = getelementptr {i32, i32}* %s, i32 0, i32 0
  store i32 0, i32* %A
  %B = getelementptr {i32, i32}* %s, i32 0, i32 0
  store i32 1, i32* %B
  ret void
}

; This function is not promotable (due to it's use below)
define internal void @notpromotable({i32, i32}* sret %s) {
  %A = getelementptr {i32, i32}* %s, i32 0, i32 0
  store i32 0, i32* %A
  %B = getelementptr {i32, i32}* %s, i32 0, i32 0
  store i32 1, i32* %B
  ret void
}

define void @caller({i32, i32}* %t) {
  %s = alloca {i32, i32}
  call void @promotable({i32, i32}* %s)
  %A = getelementptr {i32, i32}* %s, i32 0, i32 0
  %a = load i32* %A
  %B = getelementptr {i32, i32}* %s, i32 0, i32 0
  %b = load i32* %B
  ; This passes in something that's not an alloca, which makes the argument not
  ; promotable
  call void @notpromotable({i32, i32}* %t)
  ret void
}

Add a basic test for the SRETPromotion pass.
Add a basic test for the SRETPromotion pass.


git-svn-id: 0ff597fd157e6f4fc38580e8d64ab130330d2411@54466 91177308-0d34-0410-b5e6-96231b3b80d8
