test/CodeGen/X86/pop-stack-cleanup.ll

   1 ; RUN: llc < %s -mtriple=i686-windows | FileCheck %s -check-prefix=CHECK -check-prefix=NORMAL
   2
   3 declare void @param1(i32 %a)
   4 declare i32 @param2_ret(i32 %a, i32 %b)
   5 declare i64 @param2_ret64(i32 %a, i32 %b)
   6 declare void @param2(i32 %a, i32 %b)
   7 declare void @param3(i32 %a, i32 %b, i32 %c)
   8
   9 define void @test() minsize {
  10 ; CHECK-LABEL: test:
  11 ; CHECK: calll _param1
  12 ; CHECK-NEXT: popl %eax
  13 ; CHECK: calll _param2
  14 ; CHECK-NEXT: popl %eax
  15 ; CHECK-NEXT: popl %ecx
  16 ; CHECK: calll _param2_ret
  17 ; CHECK-NEXT: popl %ecx
  18 ; CHECK-NEXT: popl %edx
  19 ; CHECK-NEXT: pushl %eax
  20 ; CHECK: calll _param3
  21 ; CHECK-NEXT: addl $12, %esp
  22 ; CHECK: calll _param2_ret64
  23 ; CHECK-NEXT: popl %ecx
  24 ; CHECK-NEXT: popl %ecx
  25   call void @param1(i32 1)
  26   call void @param2(i32 1, i32 2)
  27   %ret = call i32 @param2_ret(i32 1, i32 2)
  28   call void @param3(i32 1, i32 2, i32 %ret)
  29   %ret64 = call i64 @param2_ret64(i32 1, i32 2)
  30   ret void
  31 }
  32
  33 define void @negative(i32 %k) {
  34 ; CHECK-LABEL: negative:
  35 ; CHECK: calll _param1
  36 ; CHECK-NEXT: addl $4, %esp
  37 ; CHECK: calll _param2
  38 ; CHECK-NEXT: addl $8, %esp
  39 ; CHECK: calll _param3
  40 ; CHECK-NEXT: movl %ebp, %esp
  41   %v = alloca i32, i32 %k
  42   call void @param1(i32 1)
  43   call void @param2(i32 1, i32 2)
  44   call void @param3(i32 1, i32 2, i32 3)
  45   ret void
  46 }
  47
  48 define void @spill(i32 inreg %a, i32 inreg %b, i32 inreg %c) minsize {
  49 ; CHECK-LABEL: spill:
  50 ; CHECK-DAG: movl %ecx,
  51 ; CHECK-DAG: movl %edx,
  52 ; CHECK: calll _param2_ret
  53 ; CHECK-NEXT: popl %ecx
  54 ; CHECK-NEXT: popl %edx
  55 ; CHECK-DAG: movl {{.*}}, %ecx
  56 ; CHECK-DAG: movl {{.*}}, %edx
  57 ; CHECK: calll _spill
  58   %i = call i32 @param2_ret(i32 1, i32 2)
  59   call void @spill(i32 %a, i32 %b, i32 %c)
  60   ret void
  61 }