define i64 @test2(i64 %X, i32 %Y) {
; CHECK-LABEL: @test2(
; CHECK-NOT: alloca
; CHECK: ret i64 %X

entry:
  %stack = alloca [100 x i8]
  %stack_int = ptrtoint [100 x i8]* %stack to i64
  %Aint = add i64 %stack_int, 8
  %A64 = inttoptr i64 %Aint to i64*
  %Bint = add i64 %stack_int, 16
  %B32 = inttoptr i64 %Bint to i32*
  store i64 %X, i64* %A64
  ;store i32 %Y, i32* %B32
  br label %L2

L2:
  %Z = load i64, i64* %A64
  %W = load i32, i32* %B32
  %WW = zext i32 %W to i64
  %R = add i64 %Z, %WW
  ret i64 %R
}