#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*/ dd_copy(double const *, double *);
int /*<<< orphan*/ dd_inc(double *, double *);
int dd_is_zero(double const *);
int /*<<< orphan*/ dd_minus(double *);
int /*<<< orphan*/ dd_mlt(double *, double *);
int /*<<< orphan*/ dd_mul(double *, double *, double *);
int /*<<< orphan*/ dd_sqr(double const *, double *);
void dd_sin_taylor(const double *a, double *b) {
  if (dd_is_zero(a) == 1) {
    b[0] = 0.0;
    b[1] = 0.0;
  } else {
    const int n_inv_fact = 15;
    double *inv_fac;
    double i_fac[30];
    i_fac[0] = 1.66666666666666657e-01;
    i_fac[1] = 9.25185853854297066e-18;
    i_fac[2] = 4.16666666666666644e-02;
    i_fac[3] = 2.31296463463574266e-18;
    i_fac[4] = 8.33333333333333322e-03;
    i_fac[5] = 1.15648231731787138e-19;
    i_fac[6] = 1.38888888888888894e-03;
    i_fac[7] = -5.30054395437357706e-20;
    i_fac[8] = 1.98412698412698413e-04;
    i_fac[9] = 1.72095582934207053e-22;
    i_fac[10] = 2.48015873015873016e-05;
    i_fac[11] = 2.15119478667758816e-23;
    i_fac[12] = 2.75573192239858925e-06;
    i_fac[13] = -1.85839327404647208e-22;
    i_fac[14] = 2.75573192239858883e-07;
    i_fac[15] = 2.37677146222502973e-23;
    i_fac[16] = 2.50521083854417202e-08;
    i_fac[17] = -1.44881407093591197e-24;
    i_fac[18] = 2.08767569878681002e-09;
    i_fac[19] = -1.20734505911325997e-25;
    i_fac[20] = 1.60590438368216133e-10;
    i_fac[21] = 1.25852945887520981e-26;
    i_fac[22] = 1.14707455977297245e-11;
    i_fac[23] = 2.06555127528307454e-28;
    i_fac[24] = 7.64716373181981641e-13;
    i_fac[25] = 7.03872877733453001e-30;
    i_fac[26] = 4.77947733238738525e-14;
    i_fac[27] = 4.39920548583408126e-31;
    i_fac[28] = 2.81145725434552060e-15;
    i_fac[29] = 1.65088427308614326e-31;
    const double dd_eps = 4.93038065763132e-32;
    const double thresh = 0.5 * a[0] * dd_eps;
    double x[2], r[2], s[2], t[2];
    int i = 0;
    dd_sqr(a, x);
    dd_minus(x);
    dd_copy(a, s);
    dd_copy(a, r);
    do {
      dd_mlt(r, x);
      inv_fac = &i_fac[2 * i];
      dd_mul(r, inv_fac, t);
      dd_inc(s, t);
      i += 2;
    } while ((i < n_inv_fact) && (t[0] > thresh));
    dd_copy(s, b);
  }
}


x86 assembly (clang, -O0):
<dd_sin_taylor>:
push   %rbp
mov    %rsp,%rbp
sub    $0x170,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1050 <dd_is_zero@plt>
cmp    $0x1,%eax
jne    11b1 <dd_sin_taylor+0x41>
mov    -0x10(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,0x8(%rax)
jmp    14a4 <dd_sin_taylor+0x334>
movl   $0xf,-0x14(%rbp)
movsd  0xf38(%rip),%xmm0
movsd  %xmm0,-0x110(%rbp)
ff
movsd  0xf20(%rip),%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
movsd  0xf08(%rip),%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  0xef0(%rip),%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  0xed8(%rip),%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  0xec0(%rip),%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  0xea8(%rip),%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  0xe90(%rip),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  0xe78(%rip),%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  0xe60(%rip),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  0xe48(%rip),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  0xe30(%rip),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  0xe18(%rip),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  0xe00(%rip),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  0xde8(%rip),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  0xdd0(%rip),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  0xdb8(%rip),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  0xda0(%rip),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xd88(%rip),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  0xd73(%rip),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  0xd5e(%rip),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xd49(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xd34(%rip),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xd1f(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xd0a(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xcf5(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0xce0(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xccb(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xcb6(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xca1(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xc84(%rip),%xmm0
movsd  %xmm0,-0x118(%rbp)
ff
mov    -0x8(%rbp),%rax
movsd  0xc78(%rip),%xmm0
mulsd  (%rax),%xmm0
movsd  0xc64(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x120(%rbp)
ff
movl   $0x0,-0x164(%rbp)
mov    -0x8(%rbp),%rdi
lea    -0x130(%rbp),%rsi
call   1070 <dd_sqr@plt>
lea    -0x130(%rbp),%rdi
call   1090 <dd_minus@plt>
mov    -0x8(%rbp),%rdi
lea    -0x150(%rbp),%rsi
call   1080 <dd_copy@plt>
mov    -0x8(%rbp),%rdi
lea    -0x140(%rbp),%rsi
call   1080 <dd_copy@plt>
lea    -0x140(%rbp),%rdi
lea    -0x130(%rbp),%rsi
call   1030 <dd_mlt@plt>
mov    -0x164(%rbp),%eax
shl    $0x1,%eax
movslq %eax,%rcx
lea    -0x110(%rbp),%rax
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
lea    -0x140(%rbp),%rdi
mov    -0x20(%rbp),%rsi
lea    -0x160(%rbp),%rdx
call   1060 <dd_mul@plt>
lea    -0x150(%rbp),%rdi
lea    -0x160(%rbp),%rsi
call   1040 <dd_inc@plt>
mov    -0x164(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x164(%rbp)
xor    %eax,%eax
cmpl   $0xf,-0x164(%rbp)
mov    %al,-0x165(%rbp)
jge    1486 <dd_sin_taylor+0x316>
movsd  -0x160(%rbp),%xmm0
ff
ucomisd -0x120(%rbp),%xmm0
ff
seta   %al
mov    %al,-0x165(%rbp)
mov    -0x165(%rbp),%al
test   $0x1,%al
jne    13ee <dd_sin_taylor+0x27e>
lea    -0x150(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1080 <dd_copy@plt>
add    $0x170,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dd_sin_taylor>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x148,%rsp
mov    %rsi,%rbx
mov    %rdi,%r15
call   1050 <dd_is_zero@plt>
cmp    $0x1,%eax
jne    119e <dd_sin_taylor+0x2e>
xorpd  %xmm0,%xmm0
movupd %xmm0,(%rbx)
jmp    132e <dd_sin_taylor+0x1be>
mov    %rbx,(%rsp)
movaps 0xe57(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xe5b(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
movaps 0xe5f(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
movaps 0xe63(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movaps 0xe67(%rip),%xmm0
movaps %xmm0,0x70(%rsp)
movaps 0xe6b(%rip),%xmm0
movaps %xmm0,0x80(%rsp)
movaps 0xe6c(%rip),%xmm0
movaps %xmm0,0x90(%rsp)
movaps 0xe6d(%rip),%xmm0
movaps %xmm0,0xa0(%rsp)
movaps 0xe6e(%rip),%xmm0
movaps %xmm0,0xb0(%rsp)
movaps 0xe6f(%rip),%xmm0
movaps %xmm0,0xc0(%rsp)
movaps 0xe70(%rip),%xmm0
movaps %xmm0,0xd0(%rsp)
movaps 0xe71(%rip),%xmm0
movaps %xmm0,0xe0(%rsp)
movaps 0xe72(%rip),%xmm0
movaps %xmm0,0xf0(%rsp)
movaps 0xe73(%rip),%xmm0
movaps %xmm0,0x100(%rsp)
movaps 0xe74(%rip),%xmm0
movaps %xmm0,0x110(%rsp)
movsd  (%r15),%xmm0
mulsd  0xe6f(%rip),%xmm0
mulsd  0xe6f(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
lea    0x130(%rsp),%r12
mov    %r15,%rdi
mov    %r12,%rsi
call   1070 <dd_sqr@plt>
mov    %r12,%rdi
call   1090 <dd_minus@plt>
lea    0x20(%rsp),%r13
mov    %r15,%rdi
mov    %r13,%rsi
call   1080 <dd_copy@plt>
lea    0x120(%rsp),%r14
mov    %r15,%rdi
mov    %r14,%rsi
call   1080 <dd_copy@plt>
lea    0x30(%rsp),%rbx
xor    %ebp,%ebp
lea    0x10(%rsp),%r15
nopl   0x0(%rax)
mov    %r14,%rdi
mov    %r12,%rsi
call   1030 <dd_mlt@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
call   1060 <dd_mul@plt>
mov    %r13,%rdi
mov    %r15,%rsi
call   1040 <dd_inc@plt>
cmp    $0xc,%rbp
ja     1320 <dd_sin_taylor+0x1b0>
add    $0x2,%rbp
add    $0x20,%rbx
movsd  0x10(%rsp),%xmm0
ucomisd 0x8(%rsp),%xmm0
ja     12e0 <dd_sin_taylor+0x170>
lea    0x20(%rsp),%rdi
mov    (%rsp),%rsi
call   1080 <dd_copy@plt>
add    $0x148,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @dd_sin_taylor(double* %0, double* %1) {
%3 = alloca double*
%4 = alloca double*
%5 = alloca i32
%6 = alloca double*
%7 = alloca [30 x double]
%8 = alloca double
%9 = alloca double
%10 = alloca [2 x double]
%11 = alloca [2 x double]
%12 = alloca [2 x double]
%13 = alloca [2 x double]
%14 = alloca i32
store double* %0, double** %3
store double* %1, double** %4
%15 = load double*, double** %3
%16 = call i32 @dd_is_zero(double* %15)
%17 = icmp eq i32 %16, 1
br i1 %17, label %18, label %23
18: ; preds = %2
%19 = load double*, double** %4
%20 = getelementptr inbounds double, double* %19, i64 0
store double 0.000000e+00, double* %20
%21 = load double*, double** %4
%22 = getelementptr inbounds double, double* %21, i64 1
store double 0.000000e+00, double* %22
br label %101
23: ; preds = %2
store i32 15, i32* %5
%24 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 0
store double 0x3FC5555555555555, double* %24
%25 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 1
store double 0x3C65555555555555, double* %25
%26 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 2
store double 0x3FA5555555555555, double* %26
%27 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 3
store double 0x3C45555555555555, double* %27
%28 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 4
store double 0x3F81111111111111, double* %28
%29 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 5
store double 0x3C01111111111111, double* %29
%30 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 6
store double 0x3F56C16C16C16C17, double* %30
%31 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 7
store double 0xBBEF49F49F49F49F, double* %31
%32 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 8
store double 0x3F2A01A01A01A01A, double* %32
%33 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 9
store double 0x3B6A01A01A01A01A, double* %33
%34 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 10
store double 0x3EFA01A01A01A01A, double* %34
%35 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 11
store double 0x3B3A01A01A01A01A, double* %35
%36 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 12
store double 0x3EC71DE3A556C734, double* %36
%37 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 13
store double 0xBB6C154F8DDC6C00, double* %37
%38 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 14
store double 0x3E927E4FB7789F5C, double* %38
%39 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 15
store double 0x3B3CBBC05B4FA99A, double* %39
%40 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 16
store double 0x3E5AE64567F544E4, double* %40
%41 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 17
store double 0xBAFC062E06D1F209, double* %41
%42 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 18
store double 0x3E21EED8EFF8D898, double* %42
%43 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 19
store double 0xBAC2AEC959E14C06, double* %43
%44 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 20
store double 0x3DE6124613A86D09, double* %44
%45 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 21
store double 0x3A8F28E0CC748EBE, double* %45
%46 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 22
store double 0x3DA93974A8C07C9D, double* %46
%47 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 23
store double 0x3A305D6F8A2EFD1F, double* %47
%48 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 24
store double 0x3D6AE7F3E733B81F, double* %48
%49 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 25
store double 0x39E1D8656B0EE8CB, double* %49
%50 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 26
store double 0x3D2AE7F3E733B81F, double* %50
%51 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 27
store double 0x39A1D8656B0EE8CB, double* %51
%52 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 28
store double 0x3CE952C77030AD4A, double* %52
%53 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 29
store double 0x398AC981465DDC6C, double* %53
store double 0x396FFFFFFFFFFFF9, double* %8
%54 = load double*, double** %3
%55 = getelementptr inbounds double, double* %54, i64 0
%56 = load double, double* %55
%57 = fmul double 5.000000e-01, %56
%58 = fmul double %57, 0x396FFFFFFFFFFFF9
store double %58, double* %9
store i32 0, i32* %14
%59 = load double*, double** %3
%60 = getelementptr inbounds [2 x double], [2 x double]* %10, i64 0, i64 0
%61 = call i32 @dd_sqr(double* %59, double* %60)
%62 = getelementptr inbounds [2 x double], [2 x double]* %10, i64 0, i64 0
%63 = call i32 @dd_minus(double* %62)
%64 = load double*, double** %3
%65 = getelementptr inbounds [2 x double], [2 x double]* %12, i64 0, i64 0
%66 = call i32 @dd_copy(double* %64, double* %65)
%67 = load double*, double** %3
%68 = getelementptr inbounds [2 x double], [2 x double]* %11, i64 0, i64 0
%69 = call i32 @dd_copy(double* %67, double* %68)
br label %70
70: ; preds = %95, %23
%71 = getelementptr inbounds [2 x double], [2 x double]* %11, i64 0, i64 0
%72 = getelementptr inbounds [2 x double], [2 x double]* %10, i64 0, i64 0
%73 = call i32 @dd_mlt(double* %71, double* %72)
%74 = load i32, i32* %14
%75 = mul nsw i32 2, %74
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 %76
store double* %77, double** %6
%78 = getelementptr inbounds [2 x double], [2 x double]* %11, i64 0, i64 0
%79 = load double*, double** %6
%80 = getelementptr inbounds [2 x double], [2 x double]* %13, i64 0, i64 0
%81 = call i32 @dd_mul(double* %78, double* %79, double* %80)
%82 = getelementptr inbounds [2 x double], [2 x double]* %12, i64 0, i64 0
%83 = getelementptr inbounds [2 x double], [2 x double]* %13, i64 0, i64 0
%84 = call i32 @dd_inc(double* %82, double* %83)
%85 = load i32, i32* %14
%86 = add nsw i32 %85, 2
store i32 %86, i32* %14
br label %87
87: ; preds = %70
%88 = load i32, i32* %14
%89 = icmp slt i32 %88, 15
br i1 %89, label %90, label %95
90: ; preds = %87
%91 = getelementptr inbounds [2 x double], [2 x double]* %13, i64 0, i64 0
%92 = load double, double* %91
%93 = load double, double* %9
%94 = fcmp ogt double %92, %93
br label %95
95: ; preds = %90, %87
%96 = phi i1 [ false, %87 ], [ %94, %90 ]
br i1 %96, label %70, label %97
97: ; preds = %95
%98 = getelementptr inbounds [2 x double], [2 x double]* %12, i64 0, i64 0
%99 = load double*, double** %4
%100 = call i32 @dd_copy(double* %98, double* %99)
br label %101
101: ; preds = %97, %18
ret void
}

LLVM IR (-O2):
define void @dd_sin_taylor(double* %0, double* %1) {
%3 = alloca [30 x double]
%4 = alloca [2 x double]
%5 = alloca [2 x double]
%6 = alloca [2 x double]
%7 = alloca [2 x double]
%8 = tail call i32 @dd_is_zero(double* %0)
%9 = icmp eq i32 %8, 1
br i1 %9, label %10, label %12
10: ; preds = %2
%11 = bitcast double* %1 to i8*
br label %72
12: ; preds = %2
%13 = bitcast [30 x double]* %3 to i8*
%14 = bitcast [30 x double]* %3 to <2 x double>*
store <2 x double> <double 0x3FC5555555555555, double 0x3C65555555555555>, <2 x double>* %14
%15 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 2
%16 = bitcast double* %15 to <2 x double>*
store <2 x double> <double 0x3FA5555555555555, double 0x3C45555555555555>, <2 x double>* %16
%17 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 4
%18 = bitcast double* %17 to <2 x double>*
store <2 x double> <double 0x3F81111111111111, double 0x3C01111111111111>, <2 x double>* %18
%19 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 6
%20 = bitcast double* %19 to <2 x double>*
store <2 x double> <double 0x3F56C16C16C16C17, double 0xBBEF49F49F49F49F>, <2 x double>* %20
%21 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 8
%22 = bitcast double* %21 to <2 x double>*
store <2 x double> <double 0x3F2A01A01A01A01A, double 0x3B6A01A01A01A01A>, <2 x double>* %22
%23 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 10
%24 = bitcast double* %23 to <2 x double>*
store <2 x double> <double 0x3EFA01A01A01A01A, double 0x3B3A01A01A01A01A>, <2 x double>* %24
%25 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 12
%26 = bitcast double* %25 to <2 x double>*
store <2 x double> <double 0x3EC71DE3A556C734, double 0xBB6C154F8DDC6C00>, <2 x double>* %26
%27 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 14
%28 = bitcast double* %27 to <2 x double>*
store <2 x double> <double 0x3E927E4FB7789F5C, double 0x3B3CBBC05B4FA99A>, <2 x double>* %28
%29 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 16
%30 = bitcast double* %29 to <2 x double>*
store <2 x double> <double 0x3E5AE64567F544E4, double 0xBAFC062E06D1F209>, <2 x double>* %30
%31 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 18
%32 = bitcast double* %31 to <2 x double>*
store <2 x double> <double 0x3E21EED8EFF8D898, double 0xBAC2AEC959E14C06>, <2 x double>* %32
%33 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 20
%34 = bitcast double* %33 to <2 x double>*
store <2 x double> <double 0x3DE6124613A86D09, double 0x3A8F28E0CC748EBE>, <2 x double>* %34
%35 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 22
%36 = bitcast double* %35 to <2 x double>*
store <2 x double> <double 0x3DA93974A8C07C9D, double 0x3A305D6F8A2EFD1F>, <2 x double>* %36
%37 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 24
%38 = bitcast double* %37 to <2 x double>*
store <2 x double> <double 0x3D6AE7F3E733B81F, double 0x39E1D8656B0EE8CB>, <2 x double>* %38
%39 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 26
%40 = bitcast double* %39 to <2 x double>*
store <2 x double> <double 0x3D2AE7F3E733B81F, double 0x39A1D8656B0EE8CB>, <2 x double>* %40
%41 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 28
%42 = bitcast double* %41 to <2 x double>*
store <2 x double> <double 0x3CE952C77030AD4A, double 0x398AC981465DDC6C>, <2 x double>* %42
%43 = load double, double* %0
%44 = fmul double %43, 5.000000e-01
%45 = fmul double %44, 0x396FFFFFFFFFFFF9
%46 = bitcast [2 x double]* %4 to i8*
%47 = bitcast [2 x double]* %5 to i8*
%48 = bitcast [2 x double]* %6 to i8*
%49 = bitcast [2 x double]* %7 to i8*
%50 = getelementptr inbounds [2 x double], [2 x double]* %4, i64 0, i64 0
%51 = call i32 @dd_sqr(double* %0, double* %50)
%52 = call i32 @dd_minus(double* %50)
%53 = getelementptr inbounds [2 x double], [2 x double]* %6, i64 0, i64 0
%54 = call i32 @dd_copy(double* %0, double* %53)
%55 = getelementptr inbounds [2 x double], [2 x double]* %5, i64 0, i64 0
%56 = call i32 @dd_copy(double* %0, double* %55)
%57 = getelementptr inbounds [2 x double], [2 x double]* %7, i64 0, i64 0
br label %58
58: ; preds = %58, %12
%59 = phi i64 [ %65, %58 ], [ 0, %12 ]
%60 = call i32 @dd_mlt(double* %55, double* %50)
%61 = shl nuw nsw i64 %59, 1
%62 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 %61
%63 = call i32 @dd_mul(double* %55, double* %62, double* %57)
%64 = call i32 @dd_inc(double* %53, double* %57)
%65 = add nuw nsw i64 %59, 2
%66 = icmp ult i64 %59, 13
%67 = load double, double* %57
%68 = fcmp ogt double %67, %45
%69 = select i1 %66, i1 %68, i1 false
br i1 %69, label %58, label %70
70: ; preds = %58
%71 = call i32 @dd_copy(double* %53, double* %1)
br label %72
72: ; preds = %70, %10
ret void
}