; This is a basic test of the alloca instruction - one test for alloca
; of a fixed size, and one test for variable size.

; RUN: %llvm2ice -O2 --verbose none %s | FileCheck %s
; RUN: %llvm2ice -Om1 --verbose none %s | FileCheck --check-prefix=OPTM1 %s
; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s
; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s
; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \
; RUN:                           | FileCheck --check-prefix=DUMP %s

define void @fixed_400(i32 %n) {
entry:
  %array = alloca i8, i32 400, align 16
  %__2 = ptrtoint i8* %array to i32
  call void @f1(i32 %__2)
  ret void
}
; CHECK: fixed_400:
; CHECK:      sub     esp, 400
; CHECK-NEXT: mov     eax, esp
; CHECK-NEXT: push    eax
; CHECK-NEXT: call    f1
;
; OPTM1: fixed_400:
; OPTM1:      sub     esp, 400
; OPTM1-NEXT: mov     {{.*}}, esp
; OPTM1:      push
; OPTM1-NEXT: call    f1

declare void @f1(i32)

define void @variable_n(i32 %n) {
entry:
  %array = alloca i8, i32 %n, align 16
  %__2 = ptrtoint i8* %array to i32
  call void @f2(i32 %__2)
  ret void
}
; CHECK: variable_n:
; CHECK:      mov     eax, dword ptr [ebp+8]
; CHECK-NEXT: sub     esp, eax
; CHECK-NEXT: mov     eax, esp
; CHECK-NEXT: push    eax
; CHECK-NEXT: call    f2
;
; OPTM1: variable_n:
; OPTM1:      mov     {{.*}}, esp
; OPTM1:      push
; OPTM1-NEXT: call    f2

declare void @f2(i32)

; ERRORS-NOT: ICE translation error
; DUMP-NOT: SZ