Subzero: Align the stack at the point of function calls.

tests_lit/llvm2ice_tests/64bit.pnacl.ll

 ; This tries to be a comprehensive test of i64 operations, in
 ; particular the patterns for lowering i64 operations into constituent
 ; i32 operations on x86-32.
 
 ; RUN: %llvm2ice -O2 --verbose none %s | FileCheck %s
 ; RUN: %llvm2ice -Om1 --verbose none %s | FileCheck --check-prefix=OPTM1 %s
 ; RUN: %llvm2ice -O2 --verbose none %s \
 ; RUN:               | llvm-mc -arch=x86 -x86-asm-syntax=intel -filetype=obj
 ; RUN: %llvm2ice -Om1 --verbose none %s \
 ; RUN:               | llvm-mc -arch=x86 -x86-asm-syntax=intel -filetype=obj
@@ skipping 15 matching lines @@
 define internal i32 @pass64BitArg(i64 %a, i64 %b, i64 %c, i64 %d, i64 %e, i64 %f) {
 entry:
   %call = call i32 @ignore64BitArgNoInline(i64 %a, i32 123, i64 %b)
   %call1 = call i32 @ignore64BitArgNoInline(i64 %c, i32 123, i64 %d)
   %call2 = call i32 @ignore64BitArgNoInline(i64 %e, i32 123, i64 %f)
   %add = add i32 %call1, %call
   %add3 = add i32 %add, %call2
   ret i32 %add3
 }
 ; CHECK: pass64BitArg:
-; CHECK:      push    123
-; CHECK-NEXT: push
-; CHECK-NEXT: push
-; CHECK-NEXT: call    ignore64BitArgNoInline
-; CHECK:      push
-; CHECK-NEXT: push
-; CHECK-NEXT: push    123
-; CHECK-NEXT: push
-; CHECK-NEXT: push
-; CHECK-NEXT: call    ignore64BitArgNoInline
-; CHECK:      push
-; CHECK-NEXT: push
-; CHECK-NEXT: push    123
-; CHECK-NEXT: push
-; CHECK-NEXT: push
-; CHECK-NEXT: call    ignore64BitArgNoInline
+; CHECK:      sub     esp
+; CHECK:      mov     dword ptr [esp+4]
+; CHECK:      mov     dword ptr [esp]
+; CHECK:      mov     dword ptr [esp+8], 123
+; CHECK:      mov     dword ptr [esp+16]
+; CHECK:      mov     dword ptr [esp+12]
+; CHECK:      call    ignore64BitArgNoInline
+; CHECK       sub     esp
+; CHECK:      mov     dword ptr [esp+4]
+; CHECK:      mov     dword ptr [esp]
+; CHECK:      mov     dword ptr [esp+8], 123
+; CHECK:      mov     dword ptr [esp+16]
+; CHECK:      mov     dword ptr [esp+12]
+; CHECK:      call    ignore64BitArgNoInline
+; CHECK:      sub     esp
+; CHECK:      mov     dword ptr [esp+4]
+; CHECK:      mov     dword ptr [esp]
+; CHECK:      mov     dword ptr [esp+8], 123
+; CHECK:      mov     dword ptr [esp+16]
+; CHECK:      mov     dword ptr [esp+12]
+; CHECK:      call    ignore64BitArgNoInline
 ;
 ; OPTM1: pass64BitArg:
-; OPTM1:      push    123
-; OPTM1-NEXT: push
-; OPTM1-NEXT: push
-; OPTM1-NEXT: call    ignore64BitArgNoInline
-; OPTM1:      push
-; OPTM1-NEXT: push
-; OPTM1-NEXT: push    123
-; OPTM1-NEXT: push
-; OPTM1-NEXT: push
-; OPTM1-NEXT: call    ignore64BitArgNoInline
-; OPTM1:      push
-; OPTM1-NEXT: push
-; OPTM1-NEXT: push    123
-; OPTM1-NEXT: push
-; OPTM1-NEXT: push
-; OPTM1-NEXT: call    ignore64BitArgNoInline
+; OPTM1:      sub     esp
+; OPTM1:      mov     dword ptr [esp+4]
+; OPTM1:      mov     dword ptr [esp]
+; OPTM1:      mov     dword ptr [esp+8], 123
+; OPTM1:      mov     dword ptr [esp+16]
+; OPTM1:      mov     dword ptr [esp+12]
+; OPTM1:      call    ignore64BitArgNoInline
+; OPTM1       sub     esp
+; OPTM1:      mov     dword ptr [esp+4]
+; OPTM1:      mov     dword ptr [esp]
+; OPTM1:      mov     dword ptr [esp+8], 123
+; OPTM1:      mov     dword ptr [esp+16]
+; OPTM1:      mov     dword ptr [esp+12]
+; OPTM1:      call    ignore64BitArgNoInline
+; OPTM1:      sub     esp
+; OPTM1:      mov     dword ptr [esp+4]
+; OPTM1:      mov     dword ptr [esp]
+; OPTM1:      mov     dword ptr [esp+8], 123
+; OPTM1:      mov     dword ptr [esp+16]
+; OPTM1:      mov     dword ptr [esp+12]
+; OPTM1:      call    ignore64BitArgNoInline
 
 declare i32 @ignore64BitArgNoInline(i64, i32, i64)
 
 define internal i32 @pass64BitConstArg(i64 %a, i64 %b) {
 entry:
   %call = call i32 @ignore64BitArgNoInline(i64 %a, i32 123, i64 -2401053092306725256)
   ret i32 %call
 }
 ; CHECK: pass64BitConstArg:
-; CHECK:      push    3735928559
-; CHECK-NEXT: push    305419896
-; CHECK-NEXT: push    123
-; CHECK-NEXT: push    ecx
-; CHECK-NEXT: push    eax
+; CHECK:      sub     esp
+; CHECK:      mov     dword ptr [esp+4]
+; CHECK-NEXT: mov     dword ptr [esp]
+; CHECK-NEXT: mov     dword ptr [esp+8], 123
+; CHECK-NEXT: mov     dword ptr [esp+16], 3735928559
+; CHECK-NEXT: mov     dword ptr [esp+12], 305419896
 ; CHECK-NEXT: call    ignore64BitArgNoInline
 ;
 ; OPTM1: pass64BitConstArg:
-; OPTM1:      push    3735928559
-; OPTM1-NEXT: push    305419896
-; OPTM1-NEXT: push    123
-; OPTM1-NEXT: push    dword ptr [
-; OPTM1-NEXT: push    dword ptr [
+; OPTM1:      sub     esp
+; OPTM1:      mov     dword ptr [esp+4]
+; OPTM1-NEXT: mov     dword ptr [esp]
+; OPTM1-NEXT: mov     dword ptr [esp+8], 123
+; OPTM1-NEXT: mov     dword ptr [esp+16], 3735928559
+; OPTM1-NEXT: mov     dword ptr [esp+12], 305419896
 ; OPTM1-NEXT: call    ignore64BitArgNoInline
 
 define internal i64 @return64BitArg(i64 %a) {
 entry:
   ret i64 %a
 }
 ; CHECK: return64BitArg:
 ; CHECK: mov     {{.*}}, dword ptr [esp+4]
 ; CHECK: mov     {{.*}}, dword ptr [esp+8]
 ; CHECK: ret
@@ skipping 131 matching lines @@
 ; OPTM1: div64BitSigned:
 ; OPTM1: call    __divdi3
 ; OPTM1: ret
 
 define internal i64 @div64BitSignedConst(i64 %a) {
 entry:
   %div = sdiv i64 %a, 12345678901234
   ret i64 %div
 }
 ; CHECK-LABEL: div64BitSignedConst:
-; CHECK: push 2874
-; CHECK: push 1942892530
+; CHECK: mov     dword ptr [esp+12], 2874
+; CHECK: mov     dword ptr [esp+8],  1942892530
 ; CHECK: call    __divdi3
 ; CHECK: ret
 ;
 ; OPTM1-LABEL: div64BitSignedConst:
-; OPTM1: push 2874
-; OPTM1: push 1942892530
+; OPTM1: mov     dword ptr [esp+12], 2874
+; OPTM1: mov     dword ptr [esp+8],  1942892530
 ; OPTM1: call    __divdi3
 ; OPTM1: ret
 
 define internal i64 @div64BitUnsigned(i64 %a, i64 %b) {
 entry:
   %div = udiv i64 %a, %b
   ret i64 %div
 }
 ; CHECK: div64BitUnsigned:
 ; CHECK: call    __udivdi3
@@ skipping 939 matching lines @@
 ; OPTM1: cmp
 ; OPTM1: jb
 ; OPTM1: ja
 ; OPTM1: cmp
 ; OPTM1: jb
 ; OPTM1: cmp
 ; OPTM1: jne
 
 ; ERRORS-NOT: ICE translation error
 ; DUMP-NOT: SZ