#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*/ od_fast_renorm(double, double, double, double, double,
                                  double, double, double, double, double *,
                                  double *, double *, double *, double *,
                                  double *, double *, double *);
int /*<<< orphan*/ od_mul_od_d(double const *, double, double *);
int /*<<< orphan*/ od_sub(double const *, double *, double *);
void od_div(const double *a, const double *b, double *c) {
  double acc[8];
  double q0, q1, q2, q3, q4, q5, q6, q7, q8;
  q0 = a[0] / b[0];
  od_mul_od_d(b, q0, acc);
  od_sub(a, acc, c);
  q1 = c[0] / b[0];
  od_mul_od_d(b, q1, acc);
  od_sub(c, acc, c);
  q2 = c[0] / b[0];
  od_mul_od_d(b, q2, acc);
  od_sub(c, acc, c);
  q3 = c[0] / b[0];
  od_mul_od_d(b, q3, acc);
  od_sub(c, acc, c);
  q4 = c[0] / b[0];
  od_mul_od_d(b, q4, acc);
  od_sub(c, acc, c);
  q5 = c[0] / b[0];
  od_mul_od_d(b, q5, acc);
  od_sub(c, acc, c);
  q6 = c[0] / b[0];
  od_mul_od_d(b, q6, acc);
  od_sub(c, acc, c);
  q7 = c[0] / b[0];
  od_mul_od_d(b, q7, acc);
  od_sub(c, acc, c);
  q8 = c[0] / b[0];
  od_fast_renorm(q0, q1, q2, q3, q4, q5, q6, q7, q8, &c[0], &c[1], &c[2], &c[3],
                 &c[4], &c[5], &c[6], &c[7]);
}


x86 assembly (clang, -O0):
<od_div>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0x68(%rbp)
mov    -0x10(%rbp),%rdi
movsd  -0x68(%rbp),%xmm0
lea    -0x60(%rbp),%rsi
call   1050 <od_mul_od_d@plt>
mov    -0x8(%rbp),%rdi
lea    -0x60(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <od_sub@plt>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x10(%rbp),%rdi
movsd  -0x70(%rbp),%xmm0
lea    -0x60(%rbp),%rsi
call   1050 <od_mul_od_d@plt>
mov    -0x18(%rbp),%rdi
lea    -0x60(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <od_sub@plt>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0x78(%rbp)
mov    -0x10(%rbp),%rdi
movsd  -0x78(%rbp),%xmm0
lea    -0x60(%rbp),%rsi
call   1050 <od_mul_od_d@plt>
mov    -0x18(%rbp),%rdi
lea    -0x60(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <od_sub@plt>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0x80(%rbp)
mov    -0x10(%rbp),%rdi
movsd  -0x80(%rbp),%xmm0
lea    -0x60(%rbp),%rsi
call   1050 <od_mul_od_d@plt>
mov    -0x18(%rbp),%rdi
lea    -0x60(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <od_sub@plt>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
mov    -0x10(%rbp),%rdi
movsd  -0x88(%rbp),%xmm0
ff
lea    -0x60(%rbp),%rsi
call   1050 <od_mul_od_d@plt>
mov    -0x18(%rbp),%rdi
lea    -0x60(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <od_sub@plt>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
mov    -0x10(%rbp),%rdi
movsd  -0x90(%rbp),%xmm0
ff
lea    -0x60(%rbp),%rsi
call   1050 <od_mul_od_d@plt>
mov    -0x18(%rbp),%rdi
lea    -0x60(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <od_sub@plt>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
mov    -0x10(%rbp),%rdi
movsd  -0x98(%rbp),%xmm0
ff
lea    -0x60(%rbp),%rsi
call   1050 <od_mul_od_d@plt>
mov    -0x18(%rbp),%rdi
lea    -0x60(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <od_sub@plt>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
mov    -0x10(%rbp),%rdi
movsd  -0xa0(%rbp),%xmm0
ff
lea    -0x60(%rbp),%rsi
call   1050 <od_mul_od_d@plt>
mov    -0x18(%rbp),%rdi
lea    -0x60(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <od_sub@plt>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x68(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm1
movsd  -0x78(%rbp),%xmm2
movsd  -0x80(%rbp),%xmm3
movsd  -0x88(%rbp),%xmm4
ff
movsd  -0x90(%rbp),%xmm5
ff
movsd  -0x98(%rbp),%xmm6
ff
movsd  -0xa0(%rbp),%xmm7
ff
movsd  -0xa8(%rbp),%xmm8
ff ff
mov    -0x18(%rbp),%rdi
mov    -0x18(%rbp),%rsi
add    $0x8,%rsi
mov    -0x18(%rbp),%rdx
add    $0x10,%rdx
mov    -0x18(%rbp),%rcx
add    $0x18,%rcx
mov    -0x18(%rbp),%r8
add    $0x20,%r8
mov    -0x18(%rbp),%r9
add    $0x28,%r9
mov    -0x18(%rbp),%r10
add    $0x30,%r10
mov    -0x18(%rbp),%rax
add    $0x38,%rax
movsd  %xmm8,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1030 <od_fast_renorm@plt>
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<od_div>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0xa8,%rsp
mov    %rdx,%rbx
mov    %rsi,%r14
mov    %rdi,%r12
movsd  (%rdi),%xmm0
divsd  (%rsi),%xmm0
movsd  %xmm0,0x58(%rsp)
lea    0x60(%rsp),%r15
mov    %rsi,%rdi
mov    %r15,%rsi
call   1050 <od_mul_od_d@plt>
mov    %r12,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1040 <od_sub@plt>
movsd  (%rbx),%xmm0
divsd  (%r14),%xmm0
movsd  %xmm0,0x50(%rsp)
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <od_mul_od_d@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1040 <od_sub@plt>
movsd  (%rbx),%xmm0
divsd  (%r14),%xmm0
movsd  %xmm0,0x48(%rsp)
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <od_mul_od_d@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1040 <od_sub@plt>
movsd  (%rbx),%xmm0
divsd  (%r14),%xmm0
movsd  %xmm0,0x40(%rsp)
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <od_mul_od_d@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1040 <od_sub@plt>
movsd  (%rbx),%xmm0
divsd  (%r14),%xmm0
movsd  %xmm0,0x38(%rsp)
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <od_mul_od_d@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1040 <od_sub@plt>
movsd  (%rbx),%xmm0
divsd  (%r14),%xmm0
movsd  %xmm0,0x30(%rsp)
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <od_mul_od_d@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1040 <od_sub@plt>
movsd  (%rbx),%xmm0
divsd  (%r14),%xmm0
movsd  %xmm0,0x28(%rsp)
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <od_mul_od_d@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1040 <od_sub@plt>
movsd  (%rbx),%xmm0
divsd  (%r14),%xmm0
movsd  %xmm0,0x20(%rsp)
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <od_mul_od_d@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1040 <od_sub@plt>
movsd  (%rbx),%xmm0
divsd  (%r14),%xmm0
lea    0x8(%rbx),%rsi
lea    0x10(%rbx),%rdx
lea    0x18(%rbx),%rcx
lea    0x20(%rbx),%r8
lea    0x28(%rbx),%r9
lea    0x30(%rbx),%rax
lea    0x38(%rbx),%rdi
mov    %rdi,0x10(%rsp)
mov    %rax,0x8(%rsp)
movsd  %xmm0,(%rsp)
movsd  0x58(%rsp),%xmm0
movsd  0x50(%rsp),%xmm1
movsd  0x48(%rsp),%xmm2
movsd  0x40(%rsp),%xmm3
movsd  0x38(%rsp),%xmm4
movsd  0x30(%rsp),%xmm5
movsd  0x28(%rsp),%xmm6
movsd  0x20(%rsp),%xmm7
mov    %rbx,%rdi
call   1030 <od_fast_renorm@plt>
add    $0xa8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @od_div(double* %0, double* %1, double* %2) {
%4 = alloca double*
%5 = alloca double*
%6 = alloca double*
%7 = alloca [8 x double]
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
store double* %0, double** %4
store double* %1, double** %5
store double* %2, double** %6
%17 = load double*, double** %4
%18 = getelementptr inbounds double, double* %17, i64 0
%19 = load double, double* %18
%20 = load double*, double** %5
%21 = getelementptr inbounds double, double* %20, i64 0
%22 = load double, double* %21
%23 = fdiv double %19, %22
store double %23, double* %8
%24 = load double*, double** %5
%25 = load double, double* %8
%26 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%27 = call i32 @od_mul_od_d(double* %24, double %25, double* %26)
%28 = load double*, double** %4
%29 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%30 = load double*, double** %6
%31 = call i32 @od_sub(double* %28, double* %29, double* %30)
%32 = load double*, double** %6
%33 = getelementptr inbounds double, double* %32, i64 0
%34 = load double, double* %33
%35 = load double*, double** %5
%36 = getelementptr inbounds double, double* %35, i64 0
%37 = load double, double* %36
%38 = fdiv double %34, %37
store double %38, double* %9
%39 = load double*, double** %5
%40 = load double, double* %9
%41 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%42 = call i32 @od_mul_od_d(double* %39, double %40, double* %41)
%43 = load double*, double** %6
%44 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%45 = load double*, double** %6
%46 = call i32 @od_sub(double* %43, double* %44, double* %45)
%47 = load double*, double** %6
%48 = getelementptr inbounds double, double* %47, i64 0
%49 = load double, double* %48
%50 = load double*, double** %5
%51 = getelementptr inbounds double, double* %50, i64 0
%52 = load double, double* %51
%53 = fdiv double %49, %52
store double %53, double* %10
%54 = load double*, double** %5
%55 = load double, double* %10
%56 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%57 = call i32 @od_mul_od_d(double* %54, double %55, double* %56)
%58 = load double*, double** %6
%59 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%60 = load double*, double** %6
%61 = call i32 @od_sub(double* %58, double* %59, double* %60)
%62 = load double*, double** %6
%63 = getelementptr inbounds double, double* %62, i64 0
%64 = load double, double* %63
%65 = load double*, double** %5
%66 = getelementptr inbounds double, double* %65, i64 0
%67 = load double, double* %66
%68 = fdiv double %64, %67
store double %68, double* %11
%69 = load double*, double** %5
%70 = load double, double* %11
%71 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%72 = call i32 @od_mul_od_d(double* %69, double %70, double* %71)
%73 = load double*, double** %6
%74 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%75 = load double*, double** %6
%76 = call i32 @od_sub(double* %73, double* %74, double* %75)
%77 = load double*, double** %6
%78 = getelementptr inbounds double, double* %77, i64 0
%79 = load double, double* %78
%80 = load double*, double** %5
%81 = getelementptr inbounds double, double* %80, i64 0
%82 = load double, double* %81
%83 = fdiv double %79, %82
store double %83, double* %12
%84 = load double*, double** %5
%85 = load double, double* %12
%86 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%87 = call i32 @od_mul_od_d(double* %84, double %85, double* %86)
%88 = load double*, double** %6
%89 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%90 = load double*, double** %6
%91 = call i32 @od_sub(double* %88, double* %89, double* %90)
%92 = load double*, double** %6
%93 = getelementptr inbounds double, double* %92, i64 0
%94 = load double, double* %93
%95 = load double*, double** %5
%96 = getelementptr inbounds double, double* %95, i64 0
%97 = load double, double* %96
%98 = fdiv double %94, %97
store double %98, double* %13
%99 = load double*, double** %5
%100 = load double, double* %13
%101 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%102 = call i32 @od_mul_od_d(double* %99, double %100, double* %101)
%103 = load double*, double** %6
%104 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%105 = load double*, double** %6
%106 = call i32 @od_sub(double* %103, double* %104, double* %105)
%107 = load double*, double** %6
%108 = getelementptr inbounds double, double* %107, i64 0
%109 = load double, double* %108
%110 = load double*, double** %5
%111 = getelementptr inbounds double, double* %110, i64 0
%112 = load double, double* %111
%113 = fdiv double %109, %112
store double %113, double* %14
%114 = load double*, double** %5
%115 = load double, double* %14
%116 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%117 = call i32 @od_mul_od_d(double* %114, double %115, double* %116)
%118 = load double*, double** %6
%119 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%120 = load double*, double** %6
%121 = call i32 @od_sub(double* %118, double* %119, double* %120)
%122 = load double*, double** %6
%123 = getelementptr inbounds double, double* %122, i64 0
%124 = load double, double* %123
%125 = load double*, double** %5
%126 = getelementptr inbounds double, double* %125, i64 0
%127 = load double, double* %126
%128 = fdiv double %124, %127
store double %128, double* %15
%129 = load double*, double** %5
%130 = load double, double* %15
%131 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%132 = call i32 @od_mul_od_d(double* %129, double %130, double* %131)
%133 = load double*, double** %6
%134 = getelementptr inbounds [8 x double], [8 x double]* %7, i64 0, i64 0
%135 = load double*, double** %6
%136 = call i32 @od_sub(double* %133, double* %134, double* %135)
%137 = load double*, double** %6
%138 = getelementptr inbounds double, double* %137, i64 0
%139 = load double, double* %138
%140 = load double*, double** %5
%141 = getelementptr inbounds double, double* %140, i64 0
%142 = load double, double* %141
%143 = fdiv double %139, %142
store double %143, double* %16
%144 = load double, double* %8
%145 = load double, double* %9
%146 = load double, double* %10
%147 = load double, double* %11
%148 = load double, double* %12
%149 = load double, double* %13
%150 = load double, double* %14
%151 = load double, double* %15
%152 = load double, double* %16
%153 = load double*, double** %6
%154 = getelementptr inbounds double, double* %153, i64 0
%155 = load double*, double** %6
%156 = getelementptr inbounds double, double* %155, i64 1
%157 = load double*, double** %6
%158 = getelementptr inbounds double, double* %157, i64 2
%159 = load double*, double** %6
%160 = getelementptr inbounds double, double* %159, i64 3
%161 = load double*, double** %6
%162 = getelementptr inbounds double, double* %161, i64 4
%163 = load double*, double** %6
%164 = getelementptr inbounds double, double* %163, i64 5
%165 = load double*, double** %6
%166 = getelementptr inbounds double, double* %165, i64 6
%167 = load double*, double** %6
%168 = getelementptr inbounds double, double* %167, i64 7
%169 = call i32 @od_fast_renorm(double %144, double %145, double %146, double %147, double %148, double %149, double %150, double %151, double %152, double* %154, double* %156, double* %158, double* %160, double* %162, double* %164, double* %166, double* %168)
ret void
}

LLVM IR (-O2):
define void @od_div(double* %0, double* %1, double* %2) {
%4 = alloca [8 x double]
%5 = bitcast [8 x double]* %4 to i8*
%6 = load double, double* %0
%7 = load double, double* %1
%8 = fdiv double %6, %7
%9 = getelementptr inbounds [8 x double], [8 x double]* %4, i64 0, i64 0
%10 = call i32 @od_mul_od_d(double* %1, double %8, double* %9)
%11 = call i32 @od_sub(double* %0, double* %9, double* %2)
%12 = load double, double* %2
%13 = load double, double* %1
%14 = fdiv double %12, %13
%15 = call i32 @od_mul_od_d(double* %1, double %14, double* %9)
%16 = call i32 @od_sub(double* %2, double* %9, double* %2)
%17 = load double, double* %2
%18 = load double, double* %1
%19 = fdiv double %17, %18
%20 = call i32 @od_mul_od_d(double* %1, double %19, double* %9)
%21 = call i32 @od_sub(double* %2, double* %9, double* %2)
%22 = load double, double* %2
%23 = load double, double* %1
%24 = fdiv double %22, %23
%25 = call i32 @od_mul_od_d(double* %1, double %24, double* %9)
%26 = call i32 @od_sub(double* %2, double* %9, double* %2)
%27 = load double, double* %2
%28 = load double, double* %1
%29 = fdiv double %27, %28
%30 = call i32 @od_mul_od_d(double* %1, double %29, double* %9)
%31 = call i32 @od_sub(double* %2, double* %9, double* %2)
%32 = load double, double* %2
%33 = load double, double* %1
%34 = fdiv double %32, %33
%35 = call i32 @od_mul_od_d(double* %1, double %34, double* %9)
%36 = call i32 @od_sub(double* %2, double* %9, double* %2)
%37 = load double, double* %2
%38 = load double, double* %1
%39 = fdiv double %37, %38
%40 = call i32 @od_mul_od_d(double* %1, double %39, double* %9)
%41 = call i32 @od_sub(double* %2, double* %9, double* %2)
%42 = load double, double* %2
%43 = load double, double* %1
%44 = fdiv double %42, %43
%45 = call i32 @od_mul_od_d(double* %1, double %44, double* %9)
%46 = call i32 @od_sub(double* %2, double* %9, double* %2)
%47 = load double, double* %2
%48 = load double, double* %1
%49 = fdiv double %47, %48
%50 = getelementptr inbounds double, double* %2, i64 1
%51 = getelementptr inbounds double, double* %2, i64 2
%52 = getelementptr inbounds double, double* %2, i64 3
%53 = getelementptr inbounds double, double* %2, i64 4
%54 = getelementptr inbounds double, double* %2, i64 5
%55 = getelementptr inbounds double, double* %2, i64 6
%56 = getelementptr inbounds double, double* %2, i64 7
%57 = call i32 @od_fast_renorm(double %8, double %14, double %19, double %24, double %29, double %34, double %39, double %44, double %49, double* %2, double* %50, double* %51, double* %52, double* %53, double* %54, double* %55, double* %56)
ret void
}