#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 r_nonsep(double *, int const, int);
int WFG2_t2(double *y, int y_size, int k, double *result) {
  int i;
  const int l = y_size - k;
  for (i = 0; i < k; i++)
    result[i] = y[i];
  for (i = k + 1; i <= k + l / 2; i++) {
    const int head = k + 2 * (i - k) - 2;
    const int tail = k + 2 * (i - k);
    result[i] = r_nonsep(y + head, tail - head, 2);
  }
  return k + l / 2 + 1;
}


x86 assembly (clang, -O0):
<WFG2_t2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x10(%rbp),%eax
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    116a <WFG2_t2+0x5a>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1136 <WFG2_t2+0x26>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%ecx
mov    -0x20(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x2c(%rbp),%eax
add    %edx,%ecx
cmp    %ecx,%eax
jg     11f5 <WFG2_t2+0xe5>
mov    -0x10(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
sub    $0x2,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x24(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%esi
sub    -0x24(%rbp),%esi
mov    $0x2,%edx
call   1030 <r_nonsep@plt>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1173 <WFG2_t2+0x63>
mov    -0x10(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x30(%rbp),%eax
add    %ecx,%eax
add    $0x1,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<WFG2_t2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r14
mov    %edx,%ebx
mov    %rdi,%r15
sub    %edx,%esi
test   %edx,%edx
jle    12a5 <WFG2_t2+0x195>
mov    %ebx,%eax
cmp    $0x4,%ebx
jb     114a <WFG2_t2+0x3a>
lea    (%r15,%rax,8),%rcx
cmp    %r14,%rcx
jbe    11c4 <WFG2_t2+0xb4>
lea    (%r14,%rax,8),%rcx
cmp    %r15,%rcx
jbe    11c4 <WFG2_t2+0xb4>
xor    %ecx,%ecx
mov    %rcx,%rdx
not    %rdx
add    %rax,%rdx
mov    %rax,%rdi
and    $0x3,%rdi
je     1176 <WFG2_t2+0x66>
xchg   %ax,%ax
movsd  (%r15,%rcx,8),%xmm0
movsd  %xmm0,(%r14,%rcx,8)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rdi
jne    1160 <WFG2_t2+0x50>
cmp    $0x3,%rdx
jb     12a5 <WFG2_t2+0x195>
movsd  (%r15,%rcx,8),%xmm0
movsd  %xmm0,(%r14,%rcx,8)
movsd  0x8(%r15,%rcx,8),%xmm0
movsd  %xmm0,0x8(%r14,%rcx,8)
movsd  0x10(%r15,%rcx,8),%xmm0
movsd  %xmm0,0x10(%r14,%rcx,8)
movsd  0x18(%r15,%rcx,8),%xmm0
movsd  %xmm0,0x18(%r14,%rcx,8)
add    $0x4,%rcx
cmp    %rcx,%rax
jne    1180 <WFG2_t2+0x70>
jmp    12a5 <WFG2_t2+0x195>
mov    %eax,%ecx
and    $0xfffffffc,%ecx
lea    -0x4(%rcx),%rdx
mov    %rdx,%rdi
shr    $0x2,%rdi
add    $0x1,%rdi
mov    %edi,%r8d
and    $0x3,%r8d
cmp    $0xc,%rdx
jae    11e9 <WFG2_t2+0xd9>
xor    %ebp,%ebp
jmp    1258 <WFG2_t2+0x148>
and    $0xfffffffffffffffc,%rdi
xor    %ebp,%ebp
nop
movups (%r15,%rbp,8),%xmm0
movups 0x10(%r15,%rbp,8),%xmm1
movups %xmm0,(%r14,%rbp,8)
movups %xmm1,0x10(%r14,%rbp,8)
movups 0x20(%r15,%rbp,8),%xmm0
movups 0x30(%r15,%rbp,8),%xmm1
movups %xmm0,0x20(%r14,%rbp,8)
movups %xmm1,0x30(%r14,%rbp,8)
movups 0x40(%r15,%rbp,8),%xmm0
movups 0x50(%r15,%rbp,8),%xmm1
movups %xmm0,0x40(%r14,%rbp,8)
movups %xmm1,0x50(%r14,%rbp,8)
movups 0x60(%r15,%rbp,8),%xmm0
movups 0x70(%r15,%rbp,8),%xmm1
movups %xmm0,0x60(%r14,%rbp,8)
movups %xmm1,0x70(%r14,%rbp,8)
add    $0x10,%rbp
add    $0xfffffffffffffffc,%rdi
jne    11f0 <WFG2_t2+0xe0>
test   %r8,%r8
je     129c <WFG2_t2+0x18c>
lea    (%r14,%rbp,8),%rdi
add    $0x10,%rdi
lea    (%r15,%rbp,8),%rbp
add    $0x10,%rbp
shl    $0x5,%r8
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rbp,%rdx,1),%xmm0
movups 0x0(%rbp,%rdx,1),%xmm1
movups %xmm0,-0x10(%rdi,%rdx,1)
movups %xmm1,(%rdi,%rdx,1)
add    $0x20,%rdx
cmp    %rdx,%r8
jne    1280 <WFG2_t2+0x170>
cmp    %rax,%rcx
jne    114c <WFG2_t2+0x3c>
mov    %esi,%eax
shr    $0x1f,%eax
add    %esi,%eax
sar    %eax
add    %ebx,%eax
mov    %eax,0x4(%rsp)
cmp    $0x2,%esi
jl     12fc <WFG2_t2+0x1ec>
movslq %ebx,%rbp
movslq 0x4(%rsp),%r13
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0x1(%rbp),%r12
movslq %ebx,%rbx
lea    (%r15,%rbx,8),%rdi
mov    $0x2,%esi
mov    $0x2,%edx
call   1030 <r_nonsep@plt>
movsd  %xmm0,0x8(%r14,%rbp,8)
add    $0x2,%ebx
mov    %r12,%rbp
cmp    %r13,%r12
jl     12d0 <WFG2_t2+0x1c0>
mov    0x4(%rsp),%eax
add    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @WFG2_t2(double* %0, i32 %1, i32 %2, double* %3) {
%5 = alloca double*
%6 = alloca i32
%7 = alloca i32
%8 = alloca double*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store double* %0, double** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store double* %3, double** %8
%13 = load i32, i32* %6
%14 = load i32, i32* %7
%15 = sub nsw i32 %13, %14
store i32 %15, i32* %10
store i32 0, i32* %9
br label %16
16: ; preds = %30, %4
%17 = load i32, i32* %9
%18 = load i32, i32* %7
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %33
20: ; preds = %16
%21 = load double*, double** %5
%22 = load i32, i32* %9
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds double, double* %21, i64 %23
%25 = load double, double* %24
%26 = load double*, double** %8
%27 = load i32, i32* %9
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds double, double* %26, i64 %28
store double %25, double* %29
br label %30
30: ; preds = %20
%31 = load i32, i32* %9
%32 = add nsw i32 %31, 1
store i32 %32, i32* %9
br label %16
33: ; preds = %16
%34 = load i32, i32* %7
%35 = add nsw i32 %34, 1
store i32 %35, i32* %9
br label %36
36: ; preds = %69, %33
%37 = load i32, i32* %9
%38 = load i32, i32* %7
%39 = load i32, i32* %10
%40 = sdiv i32 %39, 2
%41 = add nsw i32 %38, %40
%42 = icmp sle i32 %37, %41
br i1 %42, label %43, label %72
43: ; preds = %36
%44 = load i32, i32* %7
%45 = load i32, i32* %9
%46 = load i32, i32* %7
%47 = sub nsw i32 %45, %46
%48 = mul nsw i32 2, %47
%49 = add nsw i32 %44, %48
%50 = sub nsw i32 %49, 2
store i32 %50, i32* %11
%51 = load i32, i32* %7
%52 = load i32, i32* %9
%53 = load i32, i32* %7
%54 = sub nsw i32 %52, %53
%55 = mul nsw i32 2, %54
%56 = add nsw i32 %51, %55
store i32 %56, i32* %12
%57 = load double*, double** %5
%58 = load i32, i32* %11
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds double, double* %57, i64 %59
%61 = load i32, i32* %12
%62 = load i32, i32* %11
%63 = sub nsw i32 %61, %62
%64 = call double @r_nonsep(double* %60, i32 %63, i32 2)
%65 = load double*, double** %8
%66 = load i32, i32* %9
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds double, double* %65, i64 %67
store double %64, double* %68
br label %69
69: ; preds = %43
%70 = load i32, i32* %9
%71 = add nsw i32 %70, 1
store i32 %71, i32* %9
br label %36
72: ; preds = %36
%73 = load i32, i32* %7
%74 = load i32, i32* %10
%75 = sdiv i32 %74, 2
%76 = add nsw i32 %73, %75
%77 = add nsw i32 %76, 1
ret i32 %77
}

LLVM IR (-O2):
define i32 @WFG2_t2(double* %0, i32 %1, i32 %2, double* nocapture writeonly %3) {
%5 = sub nsw i32 %1, %2
%6 = icmp sgt i32 %2, 0
br i1 %6, label %7, label %113
7: ; preds = %4
%8 = zext i32 %2 to i64
%9 = icmp ult i32 %2, 4
br i1 %9, label %95, label %10
10: ; preds = %7
%11 = getelementptr double, double* %3, i64 %8
%12 = getelementptr double, double* %0, i64 %8
%13 = icmp ugt double* %12, %3
%14 = icmp ugt double* %11, %0
%15 = and i1 %13, %14
br i1 %15, label %95, label %16
16: ; preds = %10
%17 = and i64 %8, 4294967292
%18 = add nsw i64 %17, -4
%19 = lshr exact i64 %18, 2
%20 = add nuw nsw i64 %19, 1
%21 = and i64 %20, 3
%22 = icmp ult i64 %18, 12
br i1 %22, label %74, label %23
23: ; preds = %16
%24 = and i64 %20, 9223372036854775804
br label %25
25: ; preds = %25, %23
%26 = phi i64 [ 0, %23 ], [ %71, %25 ]
%27 = phi i64 [ 0, %23 ], [ %72, %25 ]
%28 = getelementptr inbounds double, double* %0, i64 %26
%29 = bitcast double* %28 to <2 x double>*
%30 = load <2 x double>, <2 x double>* %29
%31 = getelementptr inbounds double, double* %28, i64 2
%32 = bitcast double* %31 to <2 x double>*
%33 = load <2 x double>, <2 x double>* %32
%34 = getelementptr inbounds double, double* %3, i64 %26
%35 = bitcast double* %34 to <2 x double>*
store <2 x double> %30, <2 x double>* %35
%36 = getelementptr inbounds double, double* %34, i64 2
%37 = bitcast double* %36 to <2 x double>*
store <2 x double> %33, <2 x double>* %37
%38 = or i64 %26, 4
%39 = getelementptr inbounds double, double* %0, i64 %38
%40 = bitcast double* %39 to <2 x double>*
%41 = load <2 x double>, <2 x double>* %40
%42 = getelementptr inbounds double, double* %39, i64 2
%43 = bitcast double* %42 to <2 x double>*
%44 = load <2 x double>, <2 x double>* %43
%45 = getelementptr inbounds double, double* %3, i64 %38
%46 = bitcast double* %45 to <2 x double>*
store <2 x double> %41, <2 x double>* %46
%47 = getelementptr inbounds double, double* %45, i64 2
%48 = bitcast double* %47 to <2 x double>*
store <2 x double> %44, <2 x double>* %48
%49 = or i64 %26, 8
%50 = getelementptr inbounds double, double* %0, i64 %49
%51 = bitcast double* %50 to <2 x double>*
%52 = load <2 x double>, <2 x double>* %51
%53 = getelementptr inbounds double, double* %50, i64 2
%54 = bitcast double* %53 to <2 x double>*
%55 = load <2 x double>, <2 x double>* %54
%56 = getelementptr inbounds double, double* %3, i64 %49
%57 = bitcast double* %56 to <2 x double>*
store <2 x double> %52, <2 x double>* %57
%58 = getelementptr inbounds double, double* %56, i64 2
%59 = bitcast double* %58 to <2 x double>*
store <2 x double> %55, <2 x double>* %59
%60 = or i64 %26, 12
%61 = getelementptr inbounds double, double* %0, i64 %60
%62 = bitcast double* %61 to <2 x double>*
%63 = load <2 x double>, <2 x double>* %62
%64 = getelementptr inbounds double, double* %61, i64 2
%65 = bitcast double* %64 to <2 x double>*
%66 = load <2 x double>, <2 x double>* %65
%67 = getelementptr inbounds double, double* %3, i64 %60
%68 = bitcast double* %67 to <2 x double>*
store <2 x double> %63, <2 x double>* %68
%69 = getelementptr inbounds double, double* %67, i64 2
%70 = bitcast double* %69 to <2 x double>*
store <2 x double> %66, <2 x double>* %70
%71 = add nuw i64 %26, 16
%72 = add nuw i64 %27, 4
%73 = icmp eq i64 %72, %24
br i1 %73, label %74, label %25
74: ; preds = %25, %16
%75 = phi i64 [ 0, %16 ], [ %71, %25 ]
%76 = icmp eq i64 %21, 0
br i1 %76, label %93, label %77
77: ; preds = %74, %77
%78 = phi i64 [ %90, %77 ], [ %75, %74 ]
%79 = phi i64 [ %91, %77 ], [ 0, %74 ]
%80 = getelementptr inbounds double, double* %0, i64 %78
%81 = bitcast double* %80 to <2 x double>*
%82 = load <2 x double>, <2 x double>* %81
%83 = getelementptr inbounds double, double* %80, i64 2
%84 = bitcast double* %83 to <2 x double>*
%85 = load <2 x double>, <2 x double>* %84
%86 = getelementptr inbounds double, double* %3, i64 %78
%87 = bitcast double* %86 to <2 x double>*
store <2 x double> %82, <2 x double>* %87
%88 = getelementptr inbounds double, double* %86, i64 2
%89 = bitcast double* %88 to <2 x double>*
store <2 x double> %85, <2 x double>* %89
%90 = add nuw i64 %78, 4
%91 = add i64 %79, 1
%92 = icmp eq i64 %91, %21
br i1 %92, label %93, label %77
93: ; preds = %77, %74
%94 = icmp eq i64 %17, %8
br i1 %94, label %113, label %95
95: ; preds = %10, %7, %93
%96 = phi i64 [ 0, %10 ], [ 0, %7 ], [ %17, %93 ]
%97 = xor i64 %96, -1
%98 = add nsw i64 %97, %8
%99 = and i64 %8, 3
%100 = icmp eq i64 %99, 0
br i1 %100, label %110, label %101
101: ; preds = %95, %101
%102 = phi i64 [ %107, %101 ], [ %96, %95 ]
%103 = phi i64 [ %108, %101 ], [ 0, %95 ]
%104 = getelementptr inbounds double, double* %0, i64 %102
%105 = load double, double* %104
%106 = getelementptr inbounds double, double* %3, i64 %102
store double %105, double* %106
%107 = add nuw nsw i64 %102, 1
%108 = add i64 %103, 1
%109 = icmp eq i64 %108, %99
br i1 %109, label %110, label %101
110: ; preds = %101, %95
%111 = phi i64 [ %96, %95 ], [ %107, %101 ]
%112 = icmp ult i64 %98, 3
br i1 %112, label %113, label %121
113: ; preds = %110, %121, %93, %4
%114 = sdiv i32 %5, 2
%115 = add nsw i32 %114, %2
%116 = icmp sgt i32 %5, 1
br i1 %116, label %117, label %152
117: ; preds = %113
%118 = add i32 %2, -2
%119 = sext i32 %2 to i64
%120 = sext i32 %115 to i64
br label %140
121: ; preds = %110, %121
%122 = phi i64 [ %138, %121 ], [ %111, %110 ]
%123 = getelementptr inbounds double, double* %0, i64 %122
%124 = load double, double* %123
%125 = getelementptr inbounds double, double* %3, i64 %122
store double %124, double* %125
%126 = add nuw nsw i64 %122, 1
%127 = getelementptr inbounds double, double* %0, i64 %126
%128 = load double, double* %127
%129 = getelementptr inbounds double, double* %3, i64 %126
store double %128, double* %129
%130 = add nuw nsw i64 %122, 2
%131 = getelementptr inbounds double, double* %0, i64 %130
%132 = load double, double* %131
%133 = getelementptr inbounds double, double* %3, i64 %130
store double %132, double* %133
%134 = add nuw nsw i64 %122, 3
%135 = getelementptr inbounds double, double* %0, i64 %134
%136 = load double, double* %135
%137 = getelementptr inbounds double, double* %3, i64 %134
store double %136, double* %137
%138 = add nuw nsw i64 %122, 4
%139 = icmp eq i64 %138, %8
br i1 %139, label %113, label %121
140: ; preds = %117, %140
%141 = phi i64 [ %119, %117 ], [ %142, %140 ]
%142 = add nsw i64 %141, 1
%143 = trunc i64 %142 to i32
%144 = sub i32 %143, %2
%145 = shl nsw i32 %144, 1
%146 = add i32 %118, %145
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds double, double* %0, i64 %147
%149 = tail call double @r_nonsep(double* %148, i32 2, i32 2)
%150 = getelementptr inbounds double, double* %3, i64 %142
store double %149, double* %150
%151 = icmp slt i64 %142, %120
br i1 %151, label %140, label %152
152: ; preds = %140, %113
%153 = add nsw i32 %115, 1
ret i32 %153
}