#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*/ da_renorm10(double, double, double, double, double, double,
                               double, double, double, double, double, double *,
                               double *, double *, double *, double *, double *,
                               double *, double *, double *, double *,
                               double *);
double dd_two_sum(double, double, double *);
void da_renorm_add1(double x0, double x1, double x2, double x3, double x4,
                    double x5, double x6, double x7, double x8, double x9,
                    double y, double *r0, double *r1, double *r2, double *r3,
                    double *r4, double *r5, double *r6, double *r7, double *r8,
                    double *r9) {
  double f0, f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, pr;
  pr = dd_two_sum(x9, y, &f10);
  pr = dd_two_sum(x8, pr, &f9);
  pr = dd_two_sum(x7, pr, &f8);
  pr = dd_two_sum(x6, pr, &f7);
  pr = dd_two_sum(x5, pr, &f6);
  pr = dd_two_sum(x4, pr, &f5);
  pr = dd_two_sum(x3, pr, &f4);
  pr = dd_two_sum(x2, pr, &f3);
  pr = dd_two_sum(x1, pr, &f2);
  f0 = dd_two_sum(x0, pr, &f1);
  da_renorm10(f0, f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, &pr, r0, r1, r2, r3,
              r4, r5, r6, r7, r8, r9);
}


x86 assembly (clang, -O0):
<da_renorm_add1>:
push   %rbp
mov    %rsp,%rbp
push   %r14
push   %rbx
sub    $0x110,%rsp
mov    0x40(%rbp),%rax
mov    0x38(%rbp),%rax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%rax
movsd  0x20(%rbp),%xmm8
movsd  0x18(%rbp),%xmm8
movsd  0x10(%rbp),%xmm8
movsd  %xmm0,-0x18(%rbp)
movsd  %xmm1,-0x20(%rbp)
movsd  %xmm2,-0x28(%rbp)
movsd  %xmm3,-0x30(%rbp)
movsd  %xmm4,-0x38(%rbp)
movsd  %xmm5,-0x40(%rbp)
movsd  %xmm6,-0x48(%rbp)
movsd  %xmm7,-0x50(%rbp)
mov    %rdi,-0x58(%rbp)
mov    %rsi,-0x60(%rbp)
mov    %rdx,-0x68(%rbp)
mov    %rcx,-0x70(%rbp)
mov    %r8,-0x78(%rbp)
mov    %r9,-0x80(%rbp)
movsd  0x18(%rbp),%xmm0
movsd  0x20(%rbp),%xmm1
lea    -0xd8(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  0x10(%rbp),%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
lea    -0xd0(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
lea    -0xc8(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
lea    -0xc0(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
lea    -0xb8(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
lea    -0xb0(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x30(%rbp),%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
lea    -0xa8(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x28(%rbp),%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
lea    -0xa0(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
lea    -0x98(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
lea    -0x90(%rbp),%rdi
call   1040 <dd_two_sum@plt>
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movsd  -0x90(%rbp),%xmm1
ff
movsd  -0x98(%rbp),%xmm2
ff
movsd  -0xa0(%rbp),%xmm3
ff
movsd  -0xa8(%rbp),%xmm4
ff
movsd  -0xb0(%rbp),%xmm5
ff
movsd  -0xb8(%rbp),%xmm6
ff
movsd  -0xc0(%rbp),%xmm7
ff
movsd  -0xc8(%rbp),%xmm10
ff ff
movsd  -0xd0(%rbp),%xmm9
ff ff
movsd  -0xd8(%rbp),%xmm8
ff ff
mov    -0x58(%rbp),%rsi
mov    -0x60(%rbp),%rdx
mov    -0x68(%rbp),%rcx
mov    -0x70(%rbp),%r8
mov    -0x78(%rbp),%r9
mov    -0x80(%rbp),%r14
mov    0x28(%rbp),%rbx
mov    0x30(%rbp),%r11
mov    0x38(%rbp),%r10
mov    0x40(%rbp),%rax
lea    -0xe0(%rbp),%rdi
movsd  %xmm10,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm8,0x10(%rsp)
mov    %r14,0x18(%rsp)
mov    %rbx,0x20(%rsp)
mov    %r11,0x28(%rsp)
mov    %r10,0x30(%rsp)
mov    %rax,0x38(%rsp)
call   1030 <da_renorm10@plt>
add    $0x110,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

x86 assembly (clang, -O2):
<da_renorm_add1>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xd8,%rsp
mov    %r9,%rbp
mov    %r8,%r14
mov    %rcx,%r15
mov    %rdx,%r12
mov    %rsi,%r13
mov    %rdi,%rbx
movsd  %xmm7,0x40(%rsp)
movsd  %xmm6,0x48(%rsp)
movsd  %xmm5,0x50(%rsp)
movsd  %xmm4,0x58(%rsp)
movsd  %xmm3,0x60(%rsp)
movsd  %xmm2,0x68(%rsp)
movsd  %xmm1,0x70(%rsp)
movsd  %xmm0,0x78(%rsp)
movsd  0x118(%rsp),%xmm0
movsd  0x120(%rsp),%xmm1
lea    0x88(%rsp),%rdi
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0x90(%rsp),%rdi
movsd  0x110(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0x98(%rsp),%rdi
movsd  0x40(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0xa0(%rsp),%rdi
movsd  0x48(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0xa8(%rsp),%rdi
movsd  0x50(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0xb0(%rsp),%rdi
movsd  0x58(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0xb8(%rsp),%rdi
movsd  0x60(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0xc0(%rsp),%rdi
movsd  0x68(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0xc8(%rsp),%rdi
movsd  0x70(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
movsd  %xmm0,0x80(%rsp)
lea    0xd0(%rsp),%rdi
movsd  0x78(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movsd  0xd0(%rsp),%xmm1
movsd  0xc8(%rsp),%xmm2
movsd  0xc0(%rsp),%xmm3
movsd  0xb8(%rsp),%xmm4
movsd  0xb0(%rsp),%xmm5
movsd  0xa8(%rsp),%xmm6
movsd  0xa0(%rsp),%xmm7
movsd  0x98(%rsp),%xmm8
movsd  0x90(%rsp),%xmm9
movsd  0x88(%rsp),%xmm10
movups 0x138(%rsp),%xmm11
movups %xmm11,0x30(%rsp)
movups 0x128(%rsp),%xmm11
movups %xmm11,0x20(%rsp)
mov    %rbp,0x18(%rsp)
movsd  %xmm10,0x10(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm8,(%rsp)
lea    0x80(%rsp),%rdi
mov    %rbx,%rsi
mov    %r13,%rdx
mov    %r12,%rcx
mov    %r15,%r8
mov    %r14,%r9
call   1030 <da_renorm10@plt>
add    $0xd8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @da_renorm_add1(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double %10, double* %11, double* %12, double* %13, double* %14, double* %15, double* %16, double* %17, double* %18, double* %19, double* %20) {
%22 = alloca double
%23 = alloca double
%24 = alloca double
%25 = alloca double
%26 = alloca double
%27 = alloca double
%28 = alloca double
%29 = alloca double
%30 = alloca double
%31 = alloca double
%32 = alloca double
%33 = alloca double*
%34 = alloca double*
%35 = alloca double*
%36 = alloca double*
%37 = alloca double*
%38 = alloca double*
%39 = alloca double*
%40 = alloca double*
%41 = alloca double*
%42 = alloca double*
%43 = alloca double
%44 = alloca double
%45 = alloca double
%46 = alloca double
%47 = alloca double
%48 = alloca double
%49 = alloca double
%50 = alloca double
%51 = alloca double
%52 = alloca double
%53 = alloca double
%54 = alloca double
store double %0, double* %22
store double %1, double* %23
store double %2, double* %24
store double %3, double* %25
store double %4, double* %26
store double %5, double* %27
store double %6, double* %28
store double %7, double* %29
store double %8, double* %30
store double %9, double* %31
store double %10, double* %32
store double* %11, double** %33
store double* %12, double** %34
store double* %13, double** %35
store double* %14, double** %36
store double* %15, double** %37
store double* %16, double** %38
store double* %17, double** %39
store double* %18, double** %40
store double* %19, double** %41
store double* %20, double** %42
%55 = load double, double* %31
%56 = load double, double* %32
%57 = call double @dd_two_sum(double %55, double %56, double* %53)
store double %57, double* %54
%58 = load double, double* %30
%59 = load double, double* %54
%60 = call double @dd_two_sum(double %58, double %59, double* %52)
store double %60, double* %54
%61 = load double, double* %29
%62 = load double, double* %54
%63 = call double @dd_two_sum(double %61, double %62, double* %51)
store double %63, double* %54
%64 = load double, double* %28
%65 = load double, double* %54
%66 = call double @dd_two_sum(double %64, double %65, double* %50)
store double %66, double* %54
%67 = load double, double* %27
%68 = load double, double* %54
%69 = call double @dd_two_sum(double %67, double %68, double* %49)
store double %69, double* %54
%70 = load double, double* %26
%71 = load double, double* %54
%72 = call double @dd_two_sum(double %70, double %71, double* %48)
store double %72, double* %54
%73 = load double, double* %25
%74 = load double, double* %54
%75 = call double @dd_two_sum(double %73, double %74, double* %47)
store double %75, double* %54
%76 = load double, double* %24
%77 = load double, double* %54
%78 = call double @dd_two_sum(double %76, double %77, double* %46)
store double %78, double* %54
%79 = load double, double* %23
%80 = load double, double* %54
%81 = call double @dd_two_sum(double %79, double %80, double* %45)
store double %81, double* %54
%82 = load double, double* %22
%83 = load double, double* %54
%84 = call double @dd_two_sum(double %82, double %83, double* %44)
store double %84, double* %43
%85 = load double, double* %43
%86 = load double, double* %44
%87 = load double, double* %45
%88 = load double, double* %46
%89 = load double, double* %47
%90 = load double, double* %48
%91 = load double, double* %49
%92 = load double, double* %50
%93 = load double, double* %51
%94 = load double, double* %52
%95 = load double, double* %53
%96 = load double*, double** %33
%97 = load double*, double** %34
%98 = load double*, double** %35
%99 = load double*, double** %36
%100 = load double*, double** %37
%101 = load double*, double** %38
%102 = load double*, double** %39
%103 = load double*, double** %40
%104 = load double*, double** %41
%105 = load double*, double** %42
%106 = call i32 @da_renorm10(double %85, double %86, double %87, double %88, double %89, double %90, double %91, double %92, double %93, double %94, double %95, double* %54, double* %96, double* %97, double* %98, double* %99, double* %100, double* %101, double* %102, double* %103, double* %104, double* %105)
ret void
}

LLVM IR (-O2):
define void @da_renorm_add1(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double %10, double* %11, double* %12, double* %13, double* %14, double* %15, double* %16, double* %17, double* %18, double* %19, double* %20) {
%22 = alloca double
%23 = alloca double
%24 = alloca double
%25 = alloca double
%26 = alloca double
%27 = alloca double
%28 = alloca double
%29 = alloca double
%30 = alloca double
%31 = alloca double
%32 = alloca double
%33 = bitcast double* %22 to i8*
%34 = bitcast double* %23 to i8*
%35 = bitcast double* %24 to i8*
%36 = bitcast double* %25 to i8*
%37 = bitcast double* %26 to i8*
%38 = bitcast double* %27 to i8*
%39 = bitcast double* %28 to i8*
%40 = bitcast double* %29 to i8*
%41 = bitcast double* %30 to i8*
%42 = bitcast double* %31 to i8*
%43 = bitcast double* %32 to i8*
%44 = call double @dd_two_sum(double %9, double %10, double* %31)
%45 = call double @dd_two_sum(double %8, double %44, double* %30)
%46 = call double @dd_two_sum(double %7, double %45, double* %29)
%47 = call double @dd_two_sum(double %6, double %46, double* %28)
%48 = call double @dd_two_sum(double %5, double %47, double* %27)
%49 = call double @dd_two_sum(double %4, double %48, double* %26)
%50 = call double @dd_two_sum(double %3, double %49, double* %25)
%51 = call double @dd_two_sum(double %2, double %50, double* %24)
%52 = call double @dd_two_sum(double %1, double %51, double* %23)
store double %52, double* %32
%53 = call double @dd_two_sum(double %0, double %52, double* %22)
%54 = load double, double* %22
%55 = load double, double* %23
%56 = load double, double* %24
%57 = load double, double* %25
%58 = load double, double* %26
%59 = load double, double* %27
%60 = load double, double* %28
%61 = load double, double* %29
%62 = load double, double* %30
%63 = load double, double* %31
%64 = call i32 @da_renorm10(double %53, double %54, double %55, double %56, double %57, double %58, double %59, double %60, double %61, double %62, double %63, double* %32, double* %11, double* %12, double* %13, double* %14, double* %15, double* %16, double* %17, double* %18, double* %19, double* %20)
ret void
}