88 lines · plain
1; RUN: llc < %s -mtriple=i686-windows | FileCheck %s2; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s -check-prefix=LINUX643 4declare void @param1(i32 %a)5declare i32 @param2_ret(i32 %a, i32 %b)6declare i64 @param2_ret64(i32 %a, i32 %b)7declare void @param2(i32 %a, i32 %b)8declare void @param3(i32 %a, i32 %b, i32 %c)9declare void @param8(i64, i64, i64, i64, i64, i64, i64, i64)10declare i32 @param8_ret(i64, i64, i64, i64, i64, i64, i64, i64)11 12 13define void @test() minsize nounwind {14; CHECK-LABEL: test:15; CHECK: calll _param116; CHECK-NEXT: popl %eax17; CHECK: calll _param218; CHECK-NEXT: popl %eax19; CHECK-NEXT: popl %ecx20; CHECK: calll _param2_ret21; CHECK-NEXT: popl %ecx22; CHECK-NEXT: popl %edx23; CHECK-NEXT: pushl %eax24; CHECK: calll _param325; CHECK-NEXT: addl $12, %esp26; CHECK: calll _param2_ret6427; CHECK-NEXT: popl %ecx28; CHECK-NEXT: popl %ecx29 call void @param1(i32 1)30 call void @param2(i32 1, i32 2)31 %ret = call i32 @param2_ret(i32 1, i32 2)32 call void @param3(i32 1, i32 2, i32 %ret)33 %ret64 = call i64 @param2_ret64(i32 1, i32 2) 34 ret void35}36 37define void @negative(i32 %k) {38; CHECK-LABEL: negative:39; CHECK: calll _param140; CHECK-NEXT: addl $4, %esp41; CHECK: calll _param242; CHECK-NEXT: addl $8, %esp43; CHECK: calll _param344; CHECK-NEXT: movl %ebp, %esp45 %v = alloca i32, i32 %k46 call void @param1(i32 1)47 call void @param2(i32 1, i32 2)48 call void @param3(i32 1, i32 2, i32 3)49 ret void50}51 52define void @spill(i32 inreg %a, i32 inreg %b, i32 inreg %c) minsize nounwind {53; CHECK-LABEL: spill:54; CHECK-DAG: movl %ecx,55; CHECK-DAG: movl %edx,56; CHECK: calll _param2_ret57; CHECK-NEXT: popl %ecx58; CHECK-NEXT: popl %edx59; CHECK-DAG: movl {{.*}}, %ecx60; CHECK-DAG: movl {{.*}}, %edx61; CHECK: calll _spill62 %i = call i32 @param2_ret(i32 1, i32 2)63 call void @spill(i32 inreg %a, i32 inreg %b, i32 inreg %c)64 ret void65}66 67define void @test_linux64(i32 %size) minsize nounwind {68; LINUX64-LABEL: test_linux64:69; LINUX64: pushq %rbp70; LINUX64: callq param871; LINUX64-NEXT: popq %rax72; LINUX64-NEXT: popq %rcx73 74 %a = alloca i64, i32 %size, align 875 call void @param8(i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8)76 ret void77}78 79define i32 @test_linux64_i32(i32 %size) minsize nounwind {80; LINUX64-LABEL: test_linux64_i32:81; LINUX64: callq param8_ret82; LINUX64-NOT: popq %rax83; LINUX64: retq84 %a = alloca i64, i32 %size, align 885 %r = call i32 @param8_ret(i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8)86 ret i32 %r87}88