#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ many_floats(double, double, double, double, double, double,
                               double, double, double, double, double, double,
                               double, double, double, double, double);
int /*<<< orphan*/ many_ints(int, int, int, int, int, int, int, int, int);
int /*<<< orphan*/ mixed(double, int, double, int, double, int, double, int,
                         double, int, double, int, double, int, double, int,
                         double, int, double, int, double, int, double, int,
                         double, int, double, int, double, int, double, int,
                         double, int, double, int, double, int, double, int);
int /*<<< orphan*/ print(char *);
void testmain() {
  print("function argument");
  many_ints(1, 2, 3, 4, 5, 6, 7, 8, 9);
  many_floats(1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0, 11.0, 12.0,
              13.0, 14.0, 15.0, 16.0, 17.0);
  mixed(1.0, 2, 3.0, 4, 5.0, 6, 7.0, 8, 9.0, 10, 11.0, 12, 13.0, 14, 15.0, 16,
        17.0, 18, 19.0, 20, 21.0, 22, 23.0, 24, 25.0, 26, 27.0, 28, 29.0, 30,
        31.0, 32, 33.0, 34, 35.0, 36, 37.0, 38, 39.0, 40);
}


x86 assembly (clang, -O0):
<testmain>:
push   %rbp
mov    %rsp,%rbp
sub    $0x110,%rsp
lea    0xf8e(%rip),%rdi
call   1050 <print@plt>
mov    $0x1,%edi
mov    $0x2,%esi
mov    $0x3,%edx
mov    $0x4,%ecx
mov    $0x5,%r8d
mov    $0x6,%r9d
movl   $0x7,(%rsp)
movl   $0x8,0x8(%rsp)
movl   $0x9,0x10(%rsp)
call   1030 <many_ints@plt>
movsd  0xe65(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xef8(%rip),%xmm1
movsd  0xe58(%rip),%xmm2
movsd  0xef0(%rip),%xmm3
movsd  0xe50(%rip),%xmm4
movsd  0xee8(%rip),%xmm5
movsd  0xe48(%rip),%xmm6
movsd  0xee0(%rip),%xmm7
movsd  0xe3f(%rip),%xmm8
movsd  0xed6(%rip),%xmm15
movsd  0xe35(%rip),%xmm14
movsd  0xecc(%rip),%xmm13
movsd  0xe2b(%rip),%xmm12
movsd  0xec2(%rip),%xmm11
movsd  0xe21(%rip),%xmm10
movsd  0xeb8(%rip),%xmm9
movsd  0xe18(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  %xmm8,(%rsp)
movsd  -0x30(%rbp),%xmm8
movsd  %xmm15,0x8(%rsp)
movsd  %xmm14,0x10(%rsp)
movsd  %xmm13,0x18(%rsp)
movsd  %xmm12,0x20(%rsp)
movsd  %xmm11,0x28(%rsp)
movsd  %xmm10,0x30(%rsp)
movsd  %xmm9,0x38(%rsp)
movsd  %xmm8,0x40(%rsp)
call   1040 <many_floats@plt>
movsd  0xd7d(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    $0x2,%edi
movsd  0xd73(%rip),%xmm1
mov    $0x4,%esi
movsd  0xd6e(%rip),%xmm2
mov    $0x6,%edx
movsd  0xd69(%rip),%xmm3
mov    $0x8,%ecx
movsd  0xd64(%rip),%xmm4
mov    $0xa,%r8d
movsd  0xd5e(%rip),%xmm5
mov    $0xc,%r9d
movsd  0xd58(%rip),%xmm6
movsd  0xd58(%rip),%xmm7
movsd  0xd57(%rip),%xmm8
movsd  0xd57(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xd52(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  0xd4d(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xd47(%rip),%xmm15
movsd  0xd46(%rip),%xmm14
movsd  0xd45(%rip),%xmm13
movsd  0xd44(%rip),%xmm12
movsd  0xd43(%rip),%xmm11
movsd  0xd42(%rip),%xmm10
movsd  0xd41(%rip),%xmm9
movsd  0xd41(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x28(%rbp),%xmm0
movl   $0xe,(%rsp)
movl   $0x10,0x8(%rsp)
movsd  %xmm8,0x10(%rsp)
movsd  -0x20(%rbp),%xmm8
movl   $0x12,0x18(%rsp)
movsd  %xmm8,0x20(%rsp)
movsd  -0x18(%rbp),%xmm8
movl   $0x14,0x28(%rsp)
movsd  %xmm8,0x30(%rsp)
movsd  -0x10(%rbp),%xmm8
movl   $0x16,0x38(%rsp)
movsd  %xmm8,0x40(%rsp)
movsd  -0x8(%rbp),%xmm8
movl   $0x18,0x48(%rsp)
movsd  %xmm15,0x50(%rsp)
movl   $0x1a,0x58(%rsp)
movsd  %xmm14,0x60(%rsp)
movl   $0x1c,0x68(%rsp)
movsd  %xmm13,0x70(%rsp)
movl   $0x1e,0x78(%rsp)
movsd  %xmm12,0x80(%rsp)
movl   $0x20,0x88(%rsp)
movsd  %xmm11,0x90(%rsp)
movl   $0x22,0x98(%rsp)
movsd  %xmm10,0xa0(%rsp)
movl   $0x24,0xa8(%rsp)
movsd  %xmm9,0xb0(%rsp)
movl   $0x26,0xb8(%rsp)
movsd  %xmm8,0xc0(%rsp)
movl   $0x28,0xc8(%rsp)
call   1060 <mixed@plt>
add    $0x110,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<testmain>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
lea    0xf0e(%rip),%rdi
call   1050 <print@plt>
sub    $0x8,%rsp
mov    $0x1,%edi
mov    $0x2,%esi
mov    $0x3,%edx
mov    $0x4,%ecx
mov    $0x5,%r8d
mov    $0x6,%r9d
push   $0x9
push   $0x8
push   $0x7
call   1030 <many_ints@plt>
add    $0x18,%rsp
movabs $0x4031000000000000,%rcx
movabs $0x4030000000000000,%rsi
movabs $0x402e000000000000,%rdi
movabs $0x402c000000000000,%rbp
movabs $0x402a000000000000,%rbx
movabs $0x4028000000000000,%rax
movabs $0x4026000000000000,%rdx
movabs $0x4024000000000000,%r9
movabs $0x4022000000000000,%r8
movsd  0xe14(%rip),%xmm0
movsd  0xe14(%rip),%xmm1
movsd  0xe14(%rip),%xmm2
movsd  0xe14(%rip),%xmm3
movsd  0xe14(%rip),%xmm4
movsd  0xe14(%rip),%xmm5
movsd  0xe14(%rip),%xmm6
movsd  0xe14(%rip),%xmm7
push   %rcx
push   %rsi
push   %rdi
push   %rbp
push   %rbx
push   %rax
push   %rdx
push   %r9
push   %r8
call   1040 <many_floats@plt>
add    $0x50,%rsp
movabs $0x4043800000000000,%r11
80 43 40
movabs $0x4042800000000000,%r10
80 42 40
movabs $0x4041800000000000,%r14
80 41 40
movabs $0x4040800000000000,%rbp
80 40 40
movabs $0x403f000000000000,%rax
movabs $0x403d000000000000,%rbx
movabs $0x403b000000000000,%r13
movabs $0x4039000000000000,%r12
movabs $0x4037000000000000,%r15
movsd  0xda6(%rip),%xmm4
movsd  0xda6(%rip),%xmm5
movsd  0xda6(%rip),%xmm6
movsd  0xda6(%rip),%xmm7
movsd  0xd46(%rip),%xmm0
mov    $0x2,%edi
movsd  0xd49(%rip),%xmm1
mov    $0x4,%esi
movsd  0xd4c(%rip),%xmm2
mov    $0x6,%edx
movsd  0xd4f(%rip),%xmm3
mov    $0x8,%ecx
mov    $0xa,%r8d
mov    $0xc,%r9d
push   $0x28
push   %r11
push   $0x26
push   %r10
push   $0x24
push   %r14
push   $0x22
push   %rbp
push   $0x20
push   %rax
push   $0x1e
push   %rbx
push   $0x1c
push   %r13
push   $0x1a
push   %r12
push   $0x18
push   %r15
push   $0x16
movabs $0x4035000000000000,%rax
push   %rax
push   $0x14
movabs $0x4033000000000000,%rax
push   %rax
push   $0x12
movabs $0x4031000000000000,%rax
push   %rax
push   $0x10
push   $0xe
call   1060 <mixed@plt>
add    $0xd8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [18 x i8] c"function argument\00"
define void @testmain() {
%1 = call i32 @print(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0))
%2 = call i32 @many_ints(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9)
%3 = call i32 @many_floats(double 1.000000e+00, double 2.000000e+00, double 3.000000e+00, double 4.000000e+00, double 5.000000e+00, double 6.000000e+00, double 7.000000e+00, double 8.000000e+00, double 9.000000e+00, double 1.000000e+01, double 1.100000e+01, double 1.200000e+01, double 1.300000e+01, double 1.400000e+01, double 1.500000e+01, double 1.600000e+01, double 1.700000e+01)
%4 = call i32 @mixed(double 1.000000e+00, i32 2, double 3.000000e+00, i32 4, double 5.000000e+00, i32 6, double 7.000000e+00, i32 8, double 9.000000e+00, i32 10, double 1.100000e+01, i32 12, double 1.300000e+01, i32 14, double 1.500000e+01, i32 16, double 1.700000e+01, i32 18, double 1.900000e+01, i32 20, double 2.100000e+01, i32 22, double 2.300000e+01, i32 24, double 2.500000e+01, i32 26, double 2.700000e+01, i32 28, double 2.900000e+01, i32 30, double 3.100000e+01, i32 32, double 3.300000e+01, i32 34, double 3.500000e+01, i32 36, double 3.700000e+01, i32 38, double 3.900000e+01, i32 40)
ret void
}

LLVM IR (-O2):
@.str = [18 x i8] c"function argument\00"
define void @testmain() {
%1 = tail call i32 @print(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0))
%2 = tail call i32 @many_ints(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9)
%3 = tail call i32 @many_floats(double 1.000000e+00, double 2.000000e+00, double 3.000000e+00, double 4.000000e+00, double 5.000000e+00, double 6.000000e+00, double 7.000000e+00, double 8.000000e+00, double 9.000000e+00, double 1.000000e+01, double 1.100000e+01, double 1.200000e+01, double 1.300000e+01, double 1.400000e+01, double 1.500000e+01, double 1.600000e+01, double 1.700000e+01)
%4 = tail call i32 @mixed(double 1.000000e+00, i32 2, double 3.000000e+00, i32 4, double 5.000000e+00, i32 6, double 7.000000e+00, i32 8, double 9.000000e+00, i32 10, double 1.100000e+01, i32 12, double 1.300000e+01, i32 14, double 1.500000e+01, i32 16, double 1.700000e+01, i32 18, double 1.900000e+01, i32 20, double 2.100000e+01, i32 22, double 2.300000e+01, i32 24, double 2.500000e+01, i32 26, double 2.700000e+01, i32 28, double 2.900000e+01, i32 30, double 3.100000e+01, i32 32, double 3.300000e+01, i32 34, double 3.500000e+01, i32 36, double 3.700000e+01, i32 38, double 3.900000e+01, i32 40)
ret void
}