#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 *, double *);
int /*<<< orphan*/ dd_inc(double *, double *);
int /*<<< orphan*/ dd_inc_d(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_mul_pwr2(double *, double, double *);
int /*<<< orphan*/ dd_sqr(double const *, double *);
void dd_cos_taylor(const double *a, double *b) {
  if (dd_is_zero(a) == 1) {
    b[0] = 1.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 = 1;
    dd_sqr(a, x);
    dd_minus(x);
    dd_copy(x, r);
    dd_mul_pwr2(r, 0.5, s);
    dd_inc_d(s, 1.0);
    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_cos_taylor>:
push   %rbp
mov    %rsp,%rbp
sub    $0x170,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <dd_is_zero@plt>
cmp    $0x1,%eax
jne    11d6 <dd_cos_taylor+0x46>
mov    -0x10(%rbp),%rax
movsd  0xe3f(%rip),%xmm0
movsd  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,0x8(%rax)
jmp    14eb <dd_cos_taylor+0x35b>
movl   $0xf,-0x14(%rbp)
movsd  0xf1b(%rip),%xmm0
movsd  %xmm0,-0x110(%rbp)
ff
movsd  0xf03(%rip),%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
movsd  0xeeb(%rip),%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  0xed3(%rip),%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  0xebb(%rip),%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  0xea3(%rip),%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  0xe8b(%rip),%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  0xe73(%rip),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  0xe5b(%rip),%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  0xe43(%rip),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  0xe2b(%rip),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  0xe13(%rip),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  0xdfb(%rip),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  0xde3(%rip),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  0xdcb(%rip),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  0xdb3(%rip),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  0xd9b(%rip),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  0xd83(%rip),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xd6b(%rip),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  0xd56(%rip),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  0xd41(%rip),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xd2c(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xd17(%rip),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xd02(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xced(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xcd8(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0xcc3(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xcae(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xc99(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xc84(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xc6f(%rip),%xmm0
movsd  %xmm0,-0x118(%rbp)
ff
mov    -0x8(%rbp),%rax
movsd  0xc53(%rip),%xmm0
mulsd  (%rax),%xmm0
movsd  0xc4f(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x120(%rbp)
ff
movl   $0x1,-0x164(%rbp)
mov    -0x8(%rbp),%rdi
lea    -0x130(%rbp),%rsi
call   1090 <dd_sqr@plt>
lea    -0x130(%rbp),%rdi
call   10b0 <dd_minus@plt>
lea    -0x130(%rbp),%rdi
lea    -0x140(%rbp),%rsi
call   10a0 <dd_copy@plt>
lea    -0x140(%rbp),%rdi
lea    -0x150(%rbp),%rsi
movsd  0xbec(%rip),%xmm0
call   1030 <dd_mul_pwr2@plt>
lea    -0x150(%rbp),%rdi
movsd  0xbd0(%rip),%xmm0
call   1070 <dd_inc_d@plt>
lea    -0x140(%rbp),%rdi
lea    -0x130(%rbp),%rsi
call   1040 <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   1080 <dd_mul@plt>
lea    -0x150(%rbp),%rdi
lea    -0x160(%rbp),%rsi
call   1050 <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    14cd <dd_cos_taylor+0x33d>
movsd  -0x160(%rbp),%xmm0
ff
ucomisd -0x120(%rbp),%xmm0
ff
seta   %al
mov    %al,-0x165(%rbp)
mov    -0x165(%rbp),%al
test   $0x1,%al
jne    1435 <dd_cos_taylor+0x2a5>
lea    -0x150(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   10a0 <dd_copy@plt>
add    $0x170,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dd_cos_taylor>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x148,%rsp
mov    %rsi,%rbx
mov    %rdi,%r12
call   1060 <dd_is_zero@plt>
cmp    $0x1,%eax
jne    11c2 <dd_cos_taylor+0x32>
movsd  0xf47(%rip),%xmm0
movupd %xmm0,(%rbx)
jmp    136e <dd_cos_taylor+0x1de>
mov    %rbx,(%rsp)
movaps 0xe33(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
lea    0x40(%rsp),%rbx
movaps 0xe32(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
movaps 0xe36(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
movaps 0xe3a(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movaps 0xe3e(%rip),%xmm0
movaps %xmm0,0x70(%rsp)
movaps 0xe42(%rip),%xmm0
movaps %xmm0,0x80(%rsp)
movaps 0xe43(%rip),%xmm0
movaps %xmm0,0x90(%rsp)
movaps 0xe44(%rip),%xmm0
movaps %xmm0,0xa0(%rsp)
movaps 0xe45(%rip),%xmm0
movaps %xmm0,0xb0(%rsp)
movaps 0xe46(%rip),%xmm0
movaps %xmm0,0xc0(%rsp)
movaps 0xe47(%rip),%xmm0
movaps %xmm0,0xd0(%rsp)
movaps 0xe48(%rip),%xmm0
movaps %xmm0,0xe0(%rsp)
movaps 0xe49(%rip),%xmm0
movaps %xmm0,0xf0(%rsp)
movaps 0xe4a(%rip),%xmm0
movaps %xmm0,0x100(%rsp)
movaps 0xe4b(%rip),%xmm0
movaps %xmm0,0x110(%rsp)
movsd  (%r12),%xmm0
mulsd  0xe45(%rip),%xmm0
mulsd  0xe45(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
lea    0x130(%rsp),%r15
mov    %r12,%rdi
mov    %r15,%rsi
call   1090 <dd_sqr@plt>
mov    %r15,%rdi
call   10b0 <dd_minus@plt>
lea    0x120(%rsp),%r12
mov    %r15,%rdi
mov    %r12,%rsi
call   10a0 <dd_copy@plt>
lea    0x20(%rsp),%r13
mov    %r12,%rdi
movsd  0xdf9(%rip),%xmm0
mov    %r13,%rsi
call   1030 <dd_mul_pwr2@plt>
movsd  0xdf9(%rip),%xmm0
mov    %r13,%rdi
call   1070 <dd_inc_d@plt>
mov    $0x1,%r14d
lea    0x10(%rsp),%rbp
nopw   0x0(%rax,%rax,1)
mov    %r12,%rdi
mov    %r15,%rsi
call   1040 <dd_mlt@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
mov    %rbp,%rdx
call   1080 <dd_mul@plt>
mov    %r13,%rdi
mov    %rbp,%rsi
call   1050 <dd_inc@plt>
cmp    $0xc,%r14
ja     1360 <dd_cos_taylor+0x1d0>
add    $0x2,%r14
add    $0x20,%rbx
movsd  0x10(%rsp),%xmm0
ucomisd 0x8(%rsp),%xmm0
ja     1320 <dd_cos_taylor+0x190>
lea    0x20(%rsp),%rdi
mov    (%rsp),%rsi
call   10a0 <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_cos_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 1.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 %103
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 1, 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 = getelementptr inbounds [2 x double], [2 x double]* %10, i64 0, i64 0
%65 = getelementptr inbounds [2 x double], [2 x double]* %11, i64 0, i64 0
%66 = call i32 @dd_copy(double* %64, double* %65)
%67 = getelementptr inbounds [2 x double], [2 x double]* %11, i64 0, i64 0
%68 = getelementptr inbounds [2 x double], [2 x double]* %12, i64 0, i64 0
%69 = call i32 @dd_mul_pwr2(double* %67, double 5.000000e-01, double* %68)
%70 = getelementptr inbounds [2 x double], [2 x double]* %12, i64 0, i64 0
%71 = call i32 @dd_inc_d(double* %70, double 1.000000e+00)
br label %72
72: ; preds = %97, %23
%73 = getelementptr inbounds [2 x double], [2 x double]* %11, i64 0, i64 0
%74 = getelementptr inbounds [2 x double], [2 x double]* %10, i64 0, i64 0
%75 = call i32 @dd_mlt(double* %73, double* %74)
%76 = load i32, i32* %14
%77 = mul nsw i32 2, %76
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [30 x double], [30 x double]* %7, i64 0, i64 %78
store double* %79, double** %6
%80 = getelementptr inbounds [2 x double], [2 x double]* %11, i64 0, i64 0
%81 = load double*, double** %6
%82 = getelementptr inbounds [2 x double], [2 x double]* %13, i64 0, i64 0
%83 = call i32 @dd_mul(double* %80, double* %81, double* %82)
%84 = getelementptr inbounds [2 x double], [2 x double]* %12, i64 0, i64 0
%85 = getelementptr inbounds [2 x double], [2 x double]* %13, i64 0, i64 0
%86 = call i32 @dd_inc(double* %84, double* %85)
%87 = load i32, i32* %14
%88 = add nsw i32 %87, 2
store i32 %88, i32* %14
br label %89
89: ; preds = %72
%90 = load i32, i32* %14
%91 = icmp slt i32 %90, 15
br i1 %91, label %92, label %97
92: ; preds = %89
%93 = getelementptr inbounds [2 x double], [2 x double]* %13, i64 0, i64 0
%94 = load double, double* %93
%95 = load double, double* %9
%96 = fcmp ogt double %94, %95
br label %97
97: ; preds = %92, %89
%98 = phi i1 [ false, %89 ], [ %96, %92 ]
br i1 %98, label %72, label %99
99: ; preds = %97
%100 = getelementptr inbounds [2 x double], [2 x double]* %12, i64 0, i64 0
%101 = load double*, double** %4
%102 = call i32 @dd_copy(double* %100, double* %101)
br label %103
103: ; preds = %99, %18
ret void
}

LLVM IR (-O2):
define void @dd_cos_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 <2 x double>*
store <2 x double> <double 1.000000e+00, double 0.000000e+00>, <2 x double>* %11
br label %73
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]* %5, i64 0, i64 0
%54 = call i32 @dd_copy(double* %50, double* %53)
%55 = getelementptr inbounds [2 x double], [2 x double]* %6, i64 0, i64 0
%56 = call i32 @dd_mul_pwr2(double* %53, double 5.000000e-01, double* %55)
%57 = call i32 @dd_inc_d(double* %55, double 1.000000e+00)
%58 = getelementptr inbounds [2 x double], [2 x double]* %7, i64 0, i64 0
br label %59
59: ; preds = %59, %12
%60 = phi i64 [ %66, %59 ], [ 1, %12 ]
%61 = call i32 @dd_mlt(double* %53, double* %50)
%62 = shl nuw nsw i64 %60, 1
%63 = getelementptr inbounds [30 x double], [30 x double]* %3, i64 0, i64 %62
%64 = call i32 @dd_mul(double* %53, double* %63, double* %58)
%65 = call i32 @dd_inc(double* %55, double* %58)
%66 = add nuw nsw i64 %60, 2
%67 = icmp ult i64 %60, 13
%68 = load double, double* %58
%69 = fcmp ogt double %68, %45
%70 = select i1 %67, i1 %69, i1 false
br i1 %70, label %59, label %71
71: ; preds = %59
%72 = call i32 @dd_copy(double* %55, double* %1)
br label %73
73: ; preds = %71, %10
ret void
}