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


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

x86 assembly (clang, -O2):
<od_renorm_add1>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xa8,%rsp
mov    %r9,%rbp
mov    %r8,%r14
mov    %rcx,%r15
mov    %rdx,%r12
mov    %rsi,%r13
mov    %rdi,%rbx
movsd  %xmm6,0x28(%rsp)
movsd  %xmm5,0x30(%rsp)
movsd  %xmm4,0x38(%rsp)
movsd  %xmm3,0x40(%rsp)
movsd  %xmm2,0x48(%rsp)
movsd  %xmm1,0x50(%rsp)
movsd  %xmm0,0x58(%rsp)
movsd  0xe0(%rsp),%xmm1
lea    0x68(%rsp),%rdi
movaps %xmm7,%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0x70(%rsp),%rdi
movsd  0x28(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0x78(%rsp),%rdi
movsd  0x30(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0x80(%rsp),%rdi
movsd  0x38(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0x88(%rsp),%rdi
movsd  0x40(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0x90(%rsp),%rdi
movsd  0x48(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
lea    0x98(%rsp),%rdi
movsd  0x50(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movaps %xmm0,%xmm1
movsd  %xmm0,0x60(%rsp)
lea    0xa0(%rsp),%rdi
movsd  0x58(%rsp),%xmm0
call   1040 <dd_two_sum@plt>
movsd  0xa0(%rsp),%xmm1
movsd  0x98(%rsp),%xmm2
movsd  0x90(%rsp),%xmm3
movsd  0x88(%rsp),%xmm4
movsd  0x80(%rsp),%xmm5
movsd  0x78(%rsp),%xmm6
movsd  0x70(%rsp),%xmm7
movsd  0x68(%rsp),%xmm8
movups 0xe8(%rsp),%xmm9
movups %xmm9,0x10(%rsp)
mov    %rbp,0x8(%rsp)
movsd  %xmm8,(%rsp)
lea    0x60(%rsp),%rdi
mov    %rbx,%rsi
mov    %r13,%rdx
mov    %r12,%rcx
mov    %r15,%r8
mov    %r14,%r9
call   1030 <od_renorm8@plt>
add    $0xa8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @od_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) {
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca double
%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
store double %0, double* %18
store double %1, double* %19
store double %2, double* %20
store double %3, double* %21
store double %4, double* %22
store double %5, double* %23
store double %6, double* %24
store double %7, double* %25
store double %8, double* %26
store double* %9, double** %27
store double* %10, double** %28
store double* %11, double** %29
store double* %12, double** %30
store double* %13, double** %31
store double* %14, double** %32
store double* %15, double** %33
store double* %16, double** %34
%45 = load double, double* %25
%46 = load double, double* %26
%47 = call double @dd_two_sum(double %45, double %46, double* %43)
store double %47, double* %44
%48 = load double, double* %24
%49 = load double, double* %44
%50 = call double @dd_two_sum(double %48, double %49, double* %42)
store double %50, double* %44
%51 = load double, double* %23
%52 = load double, double* %44
%53 = call double @dd_two_sum(double %51, double %52, double* %41)
store double %53, double* %44
%54 = load double, double* %22
%55 = load double, double* %44
%56 = call double @dd_two_sum(double %54, double %55, double* %40)
store double %56, double* %44
%57 = load double, double* %21
%58 = load double, double* %44
%59 = call double @dd_two_sum(double %57, double %58, double* %39)
store double %59, double* %44
%60 = load double, double* %20
%61 = load double, double* %44
%62 = call double @dd_two_sum(double %60, double %61, double* %38)
store double %62, double* %44
%63 = load double, double* %19
%64 = load double, double* %44
%65 = call double @dd_two_sum(double %63, double %64, double* %37)
store double %65, double* %44
%66 = load double, double* %18
%67 = load double, double* %44
%68 = call double @dd_two_sum(double %66, double %67, double* %36)
store double %68, double* %35
%69 = load double, double* %35
%70 = load double, double* %36
%71 = load double, double* %37
%72 = load double, double* %38
%73 = load double, double* %39
%74 = load double, double* %40
%75 = load double, double* %41
%76 = load double, double* %42
%77 = load double, double* %43
%78 = load double*, double** %27
%79 = load double*, double** %28
%80 = load double*, double** %29
%81 = load double*, double** %30
%82 = load double*, double** %31
%83 = load double*, double** %32
%84 = load double*, double** %33
%85 = load double*, double** %34
%86 = call i32 @od_renorm8(double %69, double %70, double %71, double %72, double %73, double %74, double %75, double %76, double %77, double* %44, double* %78, double* %79, double* %80, double* %81, double* %82, double* %83, double* %84, double* %85)
ret void
}

LLVM IR (-O2):
define void @od_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) {
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca double
%24 = alloca double
%25 = alloca double
%26 = alloca double
%27 = bitcast double* %18 to i8*
%28 = bitcast double* %19 to i8*
%29 = bitcast double* %20 to i8*
%30 = bitcast double* %21 to i8*
%31 = bitcast double* %22 to i8*
%32 = bitcast double* %23 to i8*
%33 = bitcast double* %24 to i8*
%34 = bitcast double* %25 to i8*
%35 = bitcast double* %26 to i8*
%36 = call double @dd_two_sum(double %7, double %8, double* %25)
%37 = call double @dd_two_sum(double %6, double %36, double* %24)
%38 = call double @dd_two_sum(double %5, double %37, double* %23)
%39 = call double @dd_two_sum(double %4, double %38, double* %22)
%40 = call double @dd_two_sum(double %3, double %39, double* %21)
%41 = call double @dd_two_sum(double %2, double %40, double* %20)
%42 = call double @dd_two_sum(double %1, double %41, double* %19)
store double %42, double* %26
%43 = call double @dd_two_sum(double %0, double %42, double* %18)
%44 = load double, double* %18
%45 = load double, double* %19
%46 = load double, double* %20
%47 = load double, double* %21
%48 = load double, double* %22
%49 = load double, double* %23
%50 = load double, double* %24
%51 = load double, double* %25
%52 = call i32 @od_renorm8(double %43, double %44, double %45, double %46, double %47, double %48, double %49, double %50, double %51, double* %26, double* %9, double* %10, double* %11, double* %12, double* %13, double* %14, double* %15, double* %16)
ret void
}