| ; 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 |
