; This test originally exhibited a bug in ebp-based stack slots.  The
; problem was that during a function call push sequence, the esp
; adjustment was incorrectly added to the stack/frame offset for
; ebp-based frames.

; TODO(kschimpf) Find out why lc2i is needed.
; REQUIRES: allow_llvm_ir_as_input
; RUN: %lc2i -i %s --args -Om1 --target=x8632 --verbose none \
; RUN:   | llvm-mc -triple=i686-none-nacl -filetype=obj \
; RUN:   | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s

declare i32 @memcpy_helper2(i32 %buf, i32 %buf2, i32 %n)

define i32 @memcpy_helper(i32 %buf, i32 %n) {
entry:
  %n.arg_trunc = trunc i32 %n to i8
  %buf2 = alloca i8, i32 128, align 4
  %buf2.asint = ptrtoint i8* %buf2 to i32
  %arg_ext = zext i8 %n.arg_trunc to i32
  %call = call i32 @memcpy_helper2(i32 %buf, i32 %buf2.asint, i32 %arg_ext)
  ret i32 %call
}

; This check sequence is highly specific to the current Om1 lowering
; and stack slot assignment code, and may need to be relaxed if the
; lowering code changes.

; CHECK-LABEL: memcpy_helper:
; CHECK:  push  ebp
; CHECK:  mov   ebp, esp
; CHECK:  sub   esp, 24
; CHECK:  mov   eax, dword ptr [ebp + 12]
; CHECK:  mov   dword ptr [ebp - 4], eax
; CHECK:  sub   esp, 128
; CHECK:  mov   dword ptr [ebp - 8], esp
; CHECK:  mov   eax, dword ptr [ebp - 8]
; CHECK:  mov   dword ptr [ebp - 12], eax
; CHECK:  movzx eax, byte ptr [ebp - 4]
; CHECK:  mov   dword ptr [ebp - 16], eax
; CHECK:  sub   esp, 16
; CHECK:  mov   eax, dword ptr [ebp + 8]
; CHECK:  mov   dword ptr [esp], eax
; CHECK:  mov   eax, dword ptr [ebp - 12]
; CHECK:  mov   dword ptr [esp + 4], eax
; CHECK:  mov   eax, dword ptr [ebp - 16]
; CHECK:  mov   dword ptr [esp + 8], eax
; CHECK:  call  memcpy_helper2