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

tests_lit/llvm2ice_tests/fp.pnacl.ll

 ; This tries to be a comprehensive test of f32 and f64 operations.
 ; The CHECK lines are only checking for basic instruction patterns
 ; that should be present regardless of the optimization level, so
 ; there are no special OPTM1 match lines.
 
 ; RUN: %llvm2ice -O2 --verbose none %s | FileCheck %s
 ; RUN: %llvm2ice -Om1 --verbose none %s | FileCheck %s
 ; RUN: %llvm2ice -O2 --verbose none %s \
 ; RUN:               | llvm-mc -arch=x86 -x86-asm-syntax=intel -filetype=obj
 ; RUN: %llvm2ice -Om1 --verbose none %s \
@@ skipping 27 matching lines @@
 define internal i32 @passFpArgs(float %a, double %b, float %c, double %d, float %e, double %f) {
 entry:
   %call = call i32 @ignoreFpArgsNoInline(float %a, i32 123, double %b)
   %call1 = call i32 @ignoreFpArgsNoInline(float %c, i32 123, double %d)
   %call2 = call i32 @ignoreFpArgsNoInline(float %e, i32 123, double %f)
   %add = add i32 %call1, %call
   %add3 = add i32 %add, %call2
   ret i32 %add3
 }
 ; CHECK-LABEL: passFpArgs
-; CHECK: push 123
+; CHECK: mov dword ptr [esp+4], 123
 ; CHECK: call ignoreFpArgsNoInline
-; CHECK: push 123
+; CHECK: mov dword ptr [esp+4], 123
 ; CHECK: call ignoreFpArgsNoInline
-; CHECK: push 123
+; CHECK: mov dword ptr [esp+4], 123
 ; CHECK: call ignoreFpArgsNoInline
 
 declare i32 @ignoreFpArgsNoInline(float, i32, double)
 
 define internal i32 @passFpConstArg(float %a, double %b) {
 entry:
   %call = call i32 @ignoreFpArgsNoInline(float %a, i32 123, double 2.340000e+00)
   ret i32 %call
 }
 ; CHECK-LABEL: passFpConstArg
-; CHECK: push 123
+; CHECK: mov dword ptr [esp+4], 123
 ; CHECK: call ignoreFpArgsNoInline
 
 define internal i32 @passFp32ConstArg(float %a) {
 entry:
   %call = call i32 @ignoreFp32ArgsNoInline(float %a, i32 123, float 2.0)
   ret i32 %call
 }
 ; CHECK-LABEL: passFp32ConstArg
-; CHECK: push dword
-; CHECK: push 123
+; CHECK: mov dword ptr [esp+4], 123
+; CHECK: movss dword ptr [esp+8]
 ; CHECK: call ignoreFp32ArgsNoInline
 
 declare i32 @ignoreFp32ArgsNoInline(float, i32, float)
 
 define internal float @returnFloatArg(float %a) {
 entry:
   ret float %a
 }
 ; CHECK-LABEL: returnFloatArg
 ; CHECK: fld dword ptr [esp
@@ skipping 324 matching lines @@
 ; CHECK-LABEL: unsigned64ToFloat
 ; CHECK: call cvtui64tof
 ; CHECK: fstp
 
 define internal double @unsigned64ToDoubleConst() {
 entry:
   %conv = uitofp i64 12345678901234 to double
   ret double %conv
 }
 ; CHECK-LABEL: unsigned64ToDouble
-; CHECK: push 2874
-; CHECK: push 1942892530
+; CHECK: mov dword ptr [esp+4], 2874
+; CHECK: mov dword ptr [esp], 1942892530
 ; CHECK: call cvtui64tod
 ; CHECK: fstp
 
 define internal double @signed32ToDouble(i32 %a) {
 entry:
   %conv = sitofp i32 %a to double
   ret double %conv
 }
 ; CHECK-LABEL: signed32ToDouble
 ; CHECK: cvtsi2sd
@@ skipping 697 matching lines @@
   %cond = select i1 %cmp, double %a, double %b
   ret double %cond
 }
 ; CHECK-LABEL: selectDoubleVarVar
 ; CHECK: ucomisd
 ; CHECK: ja .
 ; CHECK: fld
 
 ; ERRORS-NOT: ICE translation error
 ; DUMP-NOT: SZ