; RUN: llc -mtriple=x86_64-apple-darwin -mcpu=corei7 < %s | FileCheck %s
; RUN: llc -mtriple=x86_64-linux-gnu -mcpu=corei7 < %s | FileCheck %s
; RUN: llc -mtriple=x86_64-windows-gnu -mcpu=corei7 < %s | FileCheck %s
; RUN: llc -mtriple=x86_64-windows-msvc -mcpu=corei7 < %s | FileCheck %s

define webkit_jscc i32 @simple_jscall(i32 %a, i32 %b, i32 %c) {
  %ab = add i32 %a, %b
  %abc = add i32 %ab, %c
  ret i32 %abc
}

; 32-bit integers are only aligned to 4 bytes, even on x64. They are *not*
; promoted to i64.

; CHECK: simple_jscall:
; CHECK: addl 8(%rsp), %eax
; CHECK-NEXT: addl 12(%rsp), %eax
; CHECK-NEXT: retq