#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 main() {
  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);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x110,%rsp
movl   $0x0,-0x4(%rbp)
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  0xe7a(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xf0d(%rip),%xmm1
movsd  0xe6d(%rip),%xmm2
movsd  0xf05(%rip),%xmm3
movsd  0xe65(%rip),%xmm4
movsd  0xefd(%rip),%xmm5
movsd  0xe5d(%rip),%xmm6
movsd  0xef5(%rip),%xmm7
movsd  0xe54(%rip),%xmm8
movsd  0xeeb(%rip),%xmm15
movsd  0xe4a(%rip),%xmm14
movsd  0xee1(%rip),%xmm13
movsd  0xe40(%rip),%xmm12
movsd  0xed7(%rip),%xmm11
movsd  0xe36(%rip),%xmm10
movsd  0xecd(%rip),%xmm9
movsd  0xe2d(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  %xmm8,(%rsp)
movsd  -0x38(%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  0xd92(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    $0x2,%edi
movsd  0xd88(%rip),%xmm1
mov    $0x4,%esi
movsd  0xd83(%rip),%xmm2
mov    $0x6,%edx
movsd  0xd7e(%rip),%xmm3
mov    $0x8,%ecx
movsd  0xd79(%rip),%xmm4
mov    $0xa,%r8d
movsd  0xd73(%rip),%xmm5
mov    $0xc,%r9d
movsd  0xd6d(%rip),%xmm6
movsd  0xd6d(%rip),%xmm7
movsd  0xd6c(%rip),%xmm8
movsd  0xd6c(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xd67(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xd62(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  0xd5c(%rip),%xmm15
movsd  0xd5b(%rip),%xmm14
movsd  0xd5a(%rip),%xmm13
movsd  0xd59(%rip),%xmm12
movsd  0xd58(%rip),%xmm11
movsd  0xd57(%rip),%xmm10
movsd  0xd56(%rip),%xmm9
movsd  0xd56(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x30(%rbp),%xmm0
movl   $0xe,(%rsp)
movl   $0x10,0x8(%rsp)
movsd  %xmm8,0x10(%rsp)
movsd  -0x28(%rbp),%xmm8
movl   $0x12,0x18(%rsp)
movsd  %xmm8,0x20(%rsp)
movsd  -0x20(%rbp),%xmm8
movl   $0x14,0x28(%rsp)
movsd  %xmm8,0x30(%rsp)
movsd  -0x18(%rbp),%xmm8
movl   $0x16,0x38(%rsp)
movsd  %xmm8,0x40(%rsp)
movsd  -0x10(%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   1050 <mixed@plt>
xor    %eax,%eax
add    $0x110,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
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  0xe30(%rip),%xmm0
movsd  0xe30(%rip),%xmm1
movsd  0xe30(%rip),%xmm2
movsd  0xe30(%rip),%xmm3
movsd  0xe30(%rip),%xmm4
movsd  0xe30(%rip),%xmm5
movsd  0xe30(%rip),%xmm6
movsd  0xe30(%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  0xdc2(%rip),%xmm4
movsd  0xdc2(%rip),%xmm5
movsd  0xdc2(%rip),%xmm6
movsd  0xdc2(%rip),%xmm7
movsd  0xd62(%rip),%xmm0
mov    $0x2,%edi
movsd  0xd65(%rip),%xmm1
mov    $0x4,%esi
movsd  0xd68(%rip),%xmm2
mov    $0x6,%edx
movsd  0xd6b(%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   1050 <mixed@plt>
add    $0xd0,%rsp
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
store i32 0, i32* %1
%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 i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 @many_ints(i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9)
%2 = 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)
%3 = 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 i32 0
}