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

entry:
  %stack = alloca [100 x i8]
  ;%A64 = bitcast [100 x i8]* %stack to i64*
  %A = getelementptr inbounds [100 x i8], [100 x i8]* %stack, i64 0, i64 8
  %A64 = bitcast i8* %A to i64*
  %B = getelementptr inbounds [100 x i8], [100 x i8]* %stack, i64 0, i64 16
  %B32 = bitcast i8* %B 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
}