#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 */
float cos(float);
int log2(int const);
int reverse(int /*<<< orphan*/);
float sin(float);
void ifft(float in[][2], float out[], const int N) {
  int D = log2(N) - 1;
  float T[D][N][2];
  int n, L;
  int m = 0;
  for (n = 0; n < N; n++) {
    int n1 = reverse(m++);
    int n2 = reverse(m++);
    if (n < 32) {
      T[D - 1][n][0] = in[n1][0] + in[n2][0];
      T[D - 1][n][1] = in[n1][1] + in[n2][1];
    } else {
      T[D - 1][n][0] = in[n1][0] - in[n2][0];
      T[D - 1][n][1] = in[n1][1] - in[n2][1];
    }
  }
  for (L = D - 2; L >= 0; L--) {
    int j = 0;
    for (n = 0; n < 64; n++) {
      int A = D + 1;
      int J = 1 << A;
      float *T0 = T[A][j];
      float *T1 = T[A][j + 1];
      float angle = 2 * 3.14159265358 * ((n >> A) << A) / N;
      float C[2] = {cos(angle), sin(angle)};
      T[L][n][0] = T1[0] * C[0] - T1[1] * C[1];
      T[L][n][1] = T1[0] * C[1] + T1[1] * C[0];
      T[L][n][0] += T0[0];
      T[L][n][1] += T0[1];
      j += 2;
      if (j == J)
        j = 0;
    }
  }
  for (n = 0; n < N; n++) {
    float *T0 = T[0][0];
    float *T1 = T[0][1];
    float angle = 2 * 3.14159265358 * n / N;
    float C[2] = {cos(angle), sin(angle)};
    out[n] = T1[0] * C[0] - T1[1] * C[1];
    out[n] += T0[0];
  }
}


x86 assembly (clang, -O0):
<ifft>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x14(%rbp),%edi
call   1040 <log2@plt>
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,%ecx
mov    -0x14(%rbp),%eax
mov    %rax,-0xa0(%rbp)
mov    %rsp,%rdx
mov    %rdx,-0x20(%rbp)
mov    %rcx,%rdx
imul   %rax,%rdx
lea    0xf(,%rdx,8),%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x98(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x28(%rbp)
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    130b <ifft+0x1cb>
mov    -0x3c(%rbp),%edi
mov    %edi,%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
call   1030 <reverse@plt>
mov    %eax,-0x40(%rbp)
mov    -0x3c(%rbp),%edi
mov    %edi,%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
call   1030 <reverse@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x20,-0x34(%rbp)
jge    1276 <ifft+0x136>
mov    -0x98(%rbp),%rax
mov    -0xa0(%rbp),%rdx
mov    -0x8(%rbp),%rcx
movslq -0x40(%rbp),%rsi
movss  (%rcx,%rsi,8),%xmm0
mov    -0x8(%rbp),%rcx
movslq -0x44(%rbp),%rsi
addss  (%rcx,%rsi,8),%xmm0
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rsi
imul   %rdx,%rsi
shl    $0x3,%rsi
mov    %rax,%rcx
add    %rsi,%rcx
movslq -0x34(%rbp),%rsi
movss  %xmm0,(%rcx,%rsi,8)
mov    -0x8(%rbp),%rcx
movslq -0x40(%rbp),%rsi
movss  0x4(%rcx,%rsi,8),%xmm0
mov    -0x8(%rbp),%rcx
movslq -0x44(%rbp),%rsi
addss  0x4(%rcx,%rsi,8),%xmm0
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
movss  %xmm0,0x4(%rax,%rcx,8)
jmp    12f8 <ifft+0x1b8>
mov    -0x98(%rbp),%rax
mov    -0xa0(%rbp),%rdx
mov    -0x8(%rbp),%rcx
movslq -0x40(%rbp),%rsi
movss  (%rcx,%rsi,8),%xmm0
mov    -0x8(%rbp),%rcx
movslq -0x44(%rbp),%rsi
subss  (%rcx,%rsi,8),%xmm0
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rsi
imul   %rdx,%rsi
shl    $0x3,%rsi
mov    %rax,%rcx
add    %rsi,%rcx
movslq -0x34(%rbp),%rsi
movss  %xmm0,(%rcx,%rsi,8)
mov    -0x8(%rbp),%rcx
movslq -0x40(%rbp),%rsi
movss  0x4(%rcx,%rsi,8),%xmm0
mov    -0x8(%rbp),%rcx
movslq -0x44(%rbp),%rsi
subss  0x4(%rcx,%rsi,8),%xmm0
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
movss  %xmm0,0x4(%rax,%rcx,8)
jmp    12fd <ifft+0x1bd>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11b3 <ifft+0x73>
mov    -0x18(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
jl     1518 <ifft+0x3d8>
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x40,-0x34(%rbp)
jge    1505 <ifft+0x3c5>
mov    -0x98(%rbp),%rax
mov    -0xa0(%rbp),%rdx
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x4c(%rbp)
mov    -0x4c(%rbp),%ecx
mov    $0x1,%esi
shl    %cl,%esi
mov    %esi,%ecx
mov    %ecx,-0x50(%rbp)
movslq -0x4c(%rbp),%rsi
imul   %rdx,%rsi
shl    $0x3,%rsi
mov    %rax,%rcx
add    %rsi,%rcx
movslq -0x48(%rbp),%rsi
shl    $0x3,%rsi
add    %rsi,%rcx
mov    %rcx,-0x58(%rbp)
movslq -0x4c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x48(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x4c(%rbp),%ecx
sar    %cl,%eax
mov    -0x4c(%rbp),%ecx
shl    %cl,%eax
cvtsi2sd %eax,%xmm1
movsd  0xc47(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsi2sdl -0x14(%rbp),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x64(%rbp)
movss  -0x64(%rbp),%xmm0
call   1060 <cos@plt>
movss  %xmm0,-0x6c(%rbp)
movss  -0x64(%rbp),%xmm0
call   1050 <sin@plt>
mov    -0xa0(%rbp),%rdx
mov    -0x98(%rbp),%rax
movss  %xmm0,-0x68(%rbp)
mov    -0x60(%rbp),%rcx
movss  (%rcx),%xmm0
movss  -0x6c(%rbp),%xmm2
mov    -0x60(%rbp),%rcx
movss  0x4(%rcx),%xmm1
mulss  -0x68(%rbp),%xmm1
movd   %xmm1,%ecx
xor    $0x80000000,%ecx
movd   %ecx,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movslq -0x38(%rbp),%rsi
imul   %rdx,%rsi
shl    $0x3,%rsi
mov    %rax,%rcx
add    %rsi,%rcx
movslq -0x34(%rbp),%rsi
movss  %xmm0,(%rcx,%rsi,8)
mov    -0x60(%rbp),%rcx
movss  (%rcx),%xmm0
movss  -0x68(%rbp),%xmm2
mov    -0x60(%rbp),%rcx
movss  0x4(%rcx),%xmm1
mulss  -0x6c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movslq -0x38(%rbp),%rsi
imul   %rdx,%rsi
shl    $0x3,%rsi
mov    %rax,%rcx
add    %rsi,%rcx
movslq -0x34(%rbp),%rsi
movss  %xmm0,0x4(%rcx,%rsi,8)
mov    -0x58(%rbp),%rcx
movss  (%rcx),%xmm0
movslq -0x38(%rbp),%rsi
imul   %rdx,%rsi
shl    $0x3,%rsi
mov    %rax,%rcx
add    %rsi,%rcx
movslq -0x34(%rbp),%rsi
addss  (%rcx,%rsi,8),%xmm0
movss  %xmm0,(%rcx,%rsi,8)
mov    -0x58(%rbp),%rcx
movss  0x4(%rcx),%xmm0
movslq -0x38(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
addss  0x4(%rax,%rcx,8),%xmm0
movss  %xmm0,0x4(%rax,%rcx,8)
mov    -0x48(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x50(%rbp),%eax
jne    14f2 <ifft+0x3b2>
movl   $0x0,-0x48(%rbp)
jmp    14f7 <ifft+0x3b7>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    132c <ifft+0x1ec>
jmp    150a <ifft+0x3ca>
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
jmp    1314 <ifft+0x1d4>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1619 <ifft+0x4d9>
mov    -0x98(%rbp),%rax
mov    -0xa0(%rbp),%rcx
imul   $0x0,%rcx,%rsi
shl    $0x3,%rsi
mov    %rax,%rdx
add    %rsi,%rdx
mov    %rdx,-0x78(%rbp)
imul   $0x0,%rcx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
add    $0x8,%rax
mov    %rax,-0x80(%rbp)
cvtsi2sdl -0x34(%rbp),%xmm1
movsd  0xa95(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsi2sdl -0x14(%rbp),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x84(%rbp)
ff
movss  -0x84(%rbp),%xmm0
ff
call   1060 <cos@plt>
movss  %xmm0,-0x8c(%rbp)
ff
movss  -0x84(%rbp),%xmm0
ff
call   1050 <sin@plt>
movss  %xmm0,-0x88(%rbp)
ff
mov    -0x80(%rbp),%rax
movss  (%rax),%xmm0
movss  -0x8c(%rbp),%xmm2
ff
mov    -0x80(%rbp),%rax
movss  0x4(%rax),%xmm1
mulss  -0x88(%rbp),%xmm1
ff
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x78(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    151f <ifft+0x3df>
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ifft>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %edx,%ebx
mov    %rsi,-0x78(%rbp)
mov    %rdi,%r13
mov    %edx,%edi
call   1040 <log2@plt>
mov    %rax,-0x38(%rbp)
add    $0xffffffff,%eax
mov    %ebx,%ecx
mov    %rcx,-0x48(%rbp)
imul   %rcx,%rax
lea    0xf(,%rax,8),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,-0x50(%rbp)
mov    %rcx,%rsp
mov    %ebx,-0x3c(%rbp)
test   %ebx,%ebx
jle    1233 <ifft+0xf3>
mov    -0x38(%rbp),%rax
add    $0xfffffffe,%eax
cltq
imul   -0x48(%rbp),%rax
mov    -0x50(%rbp),%rcx
lea    (%rcx,%rax,8),%r15
xor    %r12d,%r12d
xor    %ebx,%ebx
jmp    11ec <ifft+0xac>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
subss  %xmm1,%xmm0
movss  %xmm0,(%r15,%r12,8)
movss  0x4(%r13,%rcx,8),%xmm0
subss  0x4(%r13,%rax,8),%xmm0
movss  %xmm0,0x4(%r15,%r12,8)
add    $0x1,%r12
add    $0x1,%ebx
cmp    %r12,-0x48(%rbp)
je     1233 <ifft+0xf3>
mov    %ebx,%edi
call   1030 <reverse@plt>
mov    %eax,%r14d
add    $0x1,%ebx
mov    %ebx,%edi
call   1030 <reverse@plt>
movslq %r14d,%rcx
movss  0x0(%r13,%rcx,8),%xmm0
cltq
movss  0x0(%r13,%rax,8),%xmm1
cmp    $0x1f,%r12
ja     11c0 <ifft+0x80>
addss  %xmm1,%xmm0
movss  %xmm0,(%r15,%r12,8)
movss  0x4(%r13,%rcx,8),%xmm0
addss  0x4(%r13,%rax,8),%xmm0
jmp    11d8 <ifft+0x98>
xorps  %xmm1,%xmm1
cvtsi2sdl -0x3c(%rbp),%xmm1
mov    -0x38(%rbp),%rcx
cmp    $0x3,%ecx
movsd  %xmm1,-0x60(%rbp)
jl     1386 <ifft+0x246>
mov    $0x1,%esi
shl    %cl,%esi
mov    %ecx,%eax
mov    %ecx,%ebx
add    $0xfffffffd,%ebx
mov    $0xffffffff,%r15d
shl    %cl,%r15d
mov    -0x48(%rbp),%r8
imul   %r8,%rax
mov    -0x50(%rbp),%rdi
lea    (%rdi,%rax,8),%rcx
mov    %r8,%rax
imul   %rbx,%rax
lea    (%rdi,%rax,8),%r12
add    $0x4,%r12
lea    0x0(,%r8,8),%rax
neg    %rax
mov    %rax,-0x70(%rbp)
movsd  0xd66(%rip),%xmm2
mov    %esi,-0x2c(%rbp)
nopl   (%rax)
mov    %rbx,-0x58(%rbp)
xor    %r14d,%r14d
xor    %r13d,%r13d
nopw   0x0(%rax,%rax,1)
movslq %r13d,%r13
mov    %r15d,%eax
and    %r14d,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  %xmm2,%xmm0
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x30(%rbp)
mov    %rcx,%rbx
call   1060 <cos@plt>
movss  %xmm0,-0x38(%rbp)
movss  -0x30(%rbp),%xmm0
call   1050 <sin@plt>
xor    %eax,%eax
mov    %rbx,%rcx
mov    -0x2c(%rbp),%esi
movss  0xc(%rbx,%r13,8),%xmm1
movaps %xmm0,%xmm2
mulss  %xmm1,%xmm2
movss  0x8(%rbx,%r13,8),%xmm3
movss  -0x38(%rbp),%xmm4
mulss  %xmm4,%xmm3
subss  %xmm2,%xmm3
movsd  0xce6(%rip),%xmm2
movss  %xmm3,-0x4(%r12,%r14,8)
mulss  %xmm1,%xmm4
movsd  -0x60(%rbp),%xmm1
mulss  0x8(%rbx,%r13,8),%xmm0
addss  %xmm4,%xmm0
movss  %xmm0,(%r12,%r14,8)
addss  (%rbx,%r13,8),%xmm3
movss  %xmm3,-0x4(%r12,%r14,8)
addss  0x4(%rbx,%r13,8),%xmm0
movss  %xmm0,(%r12,%r14,8)
add    $0x2,%r13d
cmp    %esi,%r13d
cmove  %eax,%r13d
add    $0x1,%r14
cmp    $0x40,%r14
jne    12b0 <ifft+0x170>
mov    -0x58(%rbp),%rbx
lea    -0x1(%rbx),%rax
add    -0x70(%rbp),%r12
test   %rbx,%rbx
mov    %rax,%rbx
jg     12a0 <ifft+0x160>
cmpl   $0x0,-0x3c(%rbp)
mov    -0x78(%rbp),%r14
mov    -0x48(%rbp),%r15
jle    142c <ifft+0x2ec>
mov    -0x50(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x58(%rbp)
movss  0xc(%rax),%xmm0
xorps  0xc55(%rip),%xmm0
movaps %xmm0,-0x70(%rbp)
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xorps  %xmm0,%xmm0
cvtsi2sd %ebx,%xmm0
mulsd  0xc21(%rip),%xmm0
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x30(%rbp)
call   1060 <cos@plt>
movss  %xmm0,-0x38(%rbp)
movss  -0x30(%rbp),%xmm0
call   1050 <sin@plt>
movsd  -0x60(%rbp),%xmm1
mulss  -0x70(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
mulss  -0x58(%rbp),%xmm2
addss  %xmm0,%xmm2
addss  -0x2c(%rbp),%xmm2
movss  %xmm2,(%r14,%rbx,4)
add    $0x1,%rbx
cmp    %rbx,%r15
jne    13d0 <ifft+0x290>
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @ifft([2 x float]* %0, float* %1, i32 %2) {
%4 = alloca [2 x float]*
%5 = alloca float*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i64
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca float*
%20 = alloca float*
%21 = alloca float
%22 = alloca [2 x float]
%23 = alloca float*
%24 = alloca float*
%25 = alloca float
%26 = alloca [2 x float]
store [2 x float]* %0, [2 x float]** %4
store float* %1, float** %5
store i32 %2, i32* %6
%27 = load i32, i32* %6
%28 = call i32 @log2(i32 %27)
%29 = sub nsw i32 %28, 1
store i32 %29, i32* %7
%30 = load i32, i32* %7
%31 = zext i32 %30 to i64
%32 = load i32, i32* %6
%33 = zext i32 %32 to i64
%34 = call i8* @llvm.stacksave()
store i8* %34, i8** %8
%35 = mul nuw i64 %31, %33
%36 = alloca [2 x float], i64 %35
store i64 %31, i64* %9
store i64 %33, i64* %10
store i32 0, i32* %13
store i32 0, i32* %11
br label %37
37: ; preds = %141, %3
%38 = load i32, i32* %11
%39 = load i32, i32* %6
%40 = icmp slt i32 %38, %39
br i1 %40, label %41, label %144
41: ; preds = %37
%42 = load i32, i32* %13
%43 = add nsw i32 %42, 1
store i32 %43, i32* %13
%44 = call i32 @reverse(i32 %42)
store i32 %44, i32* %14
%45 = load i32, i32* %13
%46 = add nsw i32 %45, 1
store i32 %46, i32* %13
%47 = call i32 @reverse(i32 %45)
store i32 %47, i32* %15
%48 = load i32, i32* %11
%49 = icmp slt i32 %48, 32
br i1 %49, label %50, label %95
50: ; preds = %41
%51 = load [2 x float]*, [2 x float]** %4
%52 = load i32, i32* %14
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds [2 x float], [2 x float]* %51, i64 %53
%55 = getelementptr inbounds [2 x float], [2 x float]* %54, i64 0, i64 0
%56 = load float, float* %55
%57 = load [2 x float]*, [2 x float]** %4
%58 = load i32, i32* %15
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [2 x float], [2 x float]* %57, i64 %59
%61 = getelementptr inbounds [2 x float], [2 x float]* %60, i64 0, i64 0
%62 = load float, float* %61
%63 = fadd float %56, %62
%64 = load i32, i32* %7
%65 = sub nsw i32 %64, 1
%66 = sext i32 %65 to i64
%67 = mul nsw i64 %66, %33
%68 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %67
%69 = load i32, i32* %11
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [2 x float], [2 x float]* %68, i64 %70
%72 = getelementptr inbounds [2 x float], [2 x float]* %71, i64 0, i64 0
store float %63, float* %72
%73 = load [2 x float]*, [2 x float]** %4
%74 = load i32, i32* %14
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [2 x float], [2 x float]* %73, i64 %75
%77 = getelementptr inbounds [2 x float], [2 x float]* %76, i64 0, i64 1
%78 = load float, float* %77
%79 = load [2 x float]*, [2 x float]** %4
%80 = load i32, i32* %15
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [2 x float], [2 x float]* %79, i64 %81
%83 = getelementptr inbounds [2 x float], [2 x float]* %82, i64 0, i64 1
%84 = load float, float* %83
%85 = fadd float %78, %84
%86 = load i32, i32* %7
%87 = sub nsw i32 %86, 1
%88 = sext i32 %87 to i64
%89 = mul nsw i64 %88, %33
%90 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %89
%91 = load i32, i32* %11
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [2 x float], [2 x float]* %90, i64 %92
%94 = getelementptr inbounds [2 x float], [2 x float]* %93, i64 0, i64 1
store float %85, float* %94
br label %140
95: ; preds = %41
%96 = load [2 x float]*, [2 x float]** %4
%97 = load i32, i32* %14
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds [2 x float], [2 x float]* %96, i64 %98
%100 = getelementptr inbounds [2 x float], [2 x float]* %99, i64 0, i64 0
%101 = load float, float* %100
%102 = load [2 x float]*, [2 x float]** %4
%103 = load i32, i32* %15
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds [2 x float], [2 x float]* %102, i64 %104
%106 = getelementptr inbounds [2 x float], [2 x float]* %105, i64 0, i64 0
%107 = load float, float* %106
%108 = fsub float %101, %107
%109 = load i32, i32* %7
%110 = sub nsw i32 %109, 1
%111 = sext i32 %110 to i64
%112 = mul nsw i64 %111, %33
%113 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %112
%114 = load i32, i32* %11
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds [2 x float], [2 x float]* %113, i64 %115
%117 = getelementptr inbounds [2 x float], [2 x float]* %116, i64 0, i64 0
store float %108, float* %117
%118 = load [2 x float]*, [2 x float]** %4
%119 = load i32, i32* %14
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds [2 x float], [2 x float]* %118, i64 %120
%122 = getelementptr inbounds [2 x float], [2 x float]* %121, i64 0, i64 1
%123 = load float, float* %122
%124 = load [2 x float]*, [2 x float]** %4
%125 = load i32, i32* %15
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds [2 x float], [2 x float]* %124, i64 %126
%128 = getelementptr inbounds [2 x float], [2 x float]* %127, i64 0, i64 1
%129 = load float, float* %128
%130 = fsub float %123, %129
%131 = load i32, i32* %7
%132 = sub nsw i32 %131, 1
%133 = sext i32 %132 to i64
%134 = mul nsw i64 %133, %33
%135 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %134
%136 = load i32, i32* %11
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds [2 x float], [2 x float]* %135, i64 %137
%139 = getelementptr inbounds [2 x float], [2 x float]* %138, i64 0, i64 1
store float %130, float* %139
br label %140
140: ; preds = %95, %50
br label %141
141: ; preds = %140
%142 = load i32, i32* %11
%143 = add nsw i32 %142, 1
store i32 %143, i32* %11
br label %37
144: ; preds = %37
%145 = load i32, i32* %7
%146 = sub nsw i32 %145, 2
store i32 %146, i32* %12
br label %147
147: ; preds = %271, %144
%148 = load i32, i32* %12
%149 = icmp sge i32 %148, 0
br i1 %149, label %150, label %274
150: ; preds = %147
store i32 0, i32* %16
store i32 0, i32* %11
br label %151
151: ; preds = %267, %150
%152 = load i32, i32* %11
%153 = icmp slt i32 %152, 64
br i1 %153, label %154, label %270
154: ; preds = %151
%155 = load i32, i32* %7
%156 = add nsw i32 %155, 1
store i32 %156, i32* %17
%157 = load i32, i32* %17
%158 = shl i32 1, %157
store i32 %158, i32* %18
%159 = load i32, i32* %17
%160 = sext i32 %159 to i64
%161 = mul nsw i64 %160, %33
%162 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %161
%163 = load i32, i32* %16
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds [2 x float], [2 x float]* %162, i64 %164
%166 = getelementptr inbounds [2 x float], [2 x float]* %165, i64 0, i64 0
store float* %166, float** %19
%167 = load i32, i32* %17
%168 = sext i32 %167 to i64
%169 = mul nsw i64 %168, %33
%170 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %169
%171 = load i32, i32* %16
%172 = add nsw i32 %171, 1
%173 = sext i32 %172 to i64
%174 = getelementptr inbounds [2 x float], [2 x float]* %170, i64 %173
%175 = getelementptr inbounds [2 x float], [2 x float]* %174, i64 0, i64 0
store float* %175, float** %20
%176 = load i32, i32* %11
%177 = load i32, i32* %17
%178 = ashr i32 %176, %177
%179 = load i32, i32* %17
%180 = shl i32 %178, %179
%181 = sitofp i32 %180 to double
%182 = fmul double 0x401921FB5443D6F4, %181
%183 = load i32, i32* %6
%184 = sitofp i32 %183 to double
%185 = fdiv double %182, %184
%186 = fptrunc double %185 to float
store float %186, float* %21
%187 = getelementptr inbounds [2 x float], [2 x float]* %22, i64 0, i64 0
%188 = load float, float* %21
%189 = call float @cos(float %188)
store float %189, float* %187
%190 = getelementptr inbounds float, float* %187, i64 1
%191 = load float, float* %21
%192 = call float @sin(float %191)
store float %192, float* %190
%193 = load float*, float** %20
%194 = getelementptr inbounds float, float* %193, i64 0
%195 = load float, float* %194
%196 = getelementptr inbounds [2 x float], [2 x float]* %22, i64 0, i64 0
%197 = load float, float* %196
%198 = load float*, float** %20
%199 = getelementptr inbounds float, float* %198, i64 1
%200 = load float, float* %199
%201 = getelementptr inbounds [2 x float], [2 x float]* %22, i64 0, i64 1
%202 = load float, float* %201
%203 = fmul float %200, %202
%204 = fneg float %203
%205 = call float @llvm.fmuladd.f32(float %195, float %197, float %204)
%206 = load i32, i32* %12
%207 = sext i32 %206 to i64
%208 = mul nsw i64 %207, %33
%209 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %208
%210 = load i32, i32* %11
%211 = sext i32 %210 to i64
%212 = getelementptr inbounds [2 x float], [2 x float]* %209, i64 %211
%213 = getelementptr inbounds [2 x float], [2 x float]* %212, i64 0, i64 0
store float %205, float* %213
%214 = load float*, float** %20
%215 = getelementptr inbounds float, float* %214, i64 0
%216 = load float, float* %215
%217 = getelementptr inbounds [2 x float], [2 x float]* %22, i64 0, i64 1
%218 = load float, float* %217
%219 = load float*, float** %20
%220 = getelementptr inbounds float, float* %219, i64 1
%221 = load float, float* %220
%222 = getelementptr inbounds [2 x float], [2 x float]* %22, i64 0, i64 0
%223 = load float, float* %222
%224 = fmul float %221, %223
%225 = call float @llvm.fmuladd.f32(float %216, float %218, float %224)
%226 = load i32, i32* %12
%227 = sext i32 %226 to i64
%228 = mul nsw i64 %227, %33
%229 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %228
%230 = load i32, i32* %11
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds [2 x float], [2 x float]* %229, i64 %231
%233 = getelementptr inbounds [2 x float], [2 x float]* %232, i64 0, i64 1
store float %225, float* %233
%234 = load float*, float** %19
%235 = getelementptr inbounds float, float* %234, i64 0
%236 = load float, float* %235
%237 = load i32, i32* %12
%238 = sext i32 %237 to i64
%239 = mul nsw i64 %238, %33
%240 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %239
%241 = load i32, i32* %11
%242 = sext i32 %241 to i64
%243 = getelementptr inbounds [2 x float], [2 x float]* %240, i64 %242
%244 = getelementptr inbounds [2 x float], [2 x float]* %243, i64 0, i64 0
%245 = load float, float* %244
%246 = fadd float %245, %236
store float %246, float* %244
%247 = load float*, float** %19
%248 = getelementptr inbounds float, float* %247, i64 1
%249 = load float, float* %248
%250 = load i32, i32* %12
%251 = sext i32 %250 to i64
%252 = mul nsw i64 %251, %33
%253 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %252
%254 = load i32, i32* %11
%255 = sext i32 %254 to i64
%256 = getelementptr inbounds [2 x float], [2 x float]* %253, i64 %255
%257 = getelementptr inbounds [2 x float], [2 x float]* %256, i64 0, i64 1
%258 = load float, float* %257
%259 = fadd float %258, %249
store float %259, float* %257
%260 = load i32, i32* %16
%261 = add nsw i32 %260, 2
store i32 %261, i32* %16
%262 = load i32, i32* %16
%263 = load i32, i32* %18
%264 = icmp eq i32 %262, %263
br i1 %264, label %265, label %266
265: ; preds = %154
store i32 0, i32* %16
br label %266
266: ; preds = %265, %154
br label %267
267: ; preds = %266
%268 = load i32, i32* %11
%269 = add nsw i32 %268, 1
store i32 %269, i32* %11
br label %151
270: ; preds = %151
br label %271
271: ; preds = %270
%272 = load i32, i32* %12
%273 = add nsw i32 %272, -1
store i32 %273, i32* %12
br label %147
274: ; preds = %147
store i32 0, i32* %11
br label %275
275: ; preds = %327, %274
%276 = load i32, i32* %11
%277 = load i32, i32* %6
%278 = icmp slt i32 %276, %277
br i1 %278, label %279, label %330
279: ; preds = %275
%280 = mul nsw i64 0, %33
%281 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %280
%282 = getelementptr inbounds [2 x float], [2 x float]* %281, i64 0
%283 = getelementptr inbounds [2 x float], [2 x float]* %282, i64 0, i64 0
store float* %283, float** %23
%284 = mul nsw i64 0, %33
%285 = getelementptr inbounds [2 x float], [2 x float]* %36, i64 %284
%286 = getelementptr inbounds [2 x float], [2 x float]* %285, i64 1
%287 = getelementptr inbounds [2 x float], [2 x float]* %286, i64 0, i64 0
store float* %287, float** %24
%288 = load i32, i32* %11
%289 = sitofp i32 %288 to double
%290 = fmul double 0x401921FB5443D6F4, %289
%291 = load i32, i32* %6
%292 = sitofp i32 %291 to double
%293 = fdiv double %290, %292
%294 = fptrunc double %293 to float
store float %294, float* %25
%295 = getelementptr inbounds [2 x float], [2 x float]* %26, i64 0, i64 0
%296 = load float, float* %25
%297 = call float @cos(float %296)
store float %297, float* %295
%298 = getelementptr inbounds float, float* %295, i64 1
%299 = load float, float* %25
%300 = call float @sin(float %299)
store float %300, float* %298
%301 = load float*, float** %24
%302 = getelementptr inbounds float, float* %301, i64 0
%303 = load float, float* %302
%304 = getelementptr inbounds [2 x float], [2 x float]* %26, i64 0, i64 0
%305 = load float, float* %304
%306 = load float*, float** %24
%307 = getelementptr inbounds float, float* %306, i64 1
%308 = load float, float* %307
%309 = getelementptr inbounds [2 x float], [2 x float]* %26, i64 0, i64 1
%310 = load float, float* %309
%311 = fmul float %308, %310
%312 = fneg float %311
%313 = call float @llvm.fmuladd.f32(float %303, float %305, float %312)
%314 = load float*, float** %5
%315 = load i32, i32* %11
%316 = sext i32 %315 to i64
%317 = getelementptr inbounds float, float* %314, i64 %316
store float %313, float* %317
%318 = load float*, float** %23
%319 = getelementptr inbounds float, float* %318, i64 0
%320 = load float, float* %319
%321 = load float*, float** %5
%322 = load i32, i32* %11
%323 = sext i32 %322 to i64
%324 = getelementptr inbounds float, float* %321, i64 %323
%325 = load float, float* %324
%326 = fadd float %325, %320
store float %326, float* %324
br label %327
327: ; preds = %279
%328 = load i32, i32* %11
%329 = add nsw i32 %328, 1
store i32 %329, i32* %11
br label %275
330: ; preds = %275
%331 = load i8*, i8** %8
ret void
}

LLVM IR (-O2):
define void @ifft([2 x float]* nocapture %0, float* nocapture writeonly %1, i32 %2) {
%4 = tail call i32 @log2(i32 %2)
%5 = add nsw i32 %4, -1
%6 = zext i32 %5 to i64
%7 = zext i32 %2 to i64
%8 = mul nuw i64 %6, %7
%9 = alloca [2 x float], i64 %8
%10 = icmp sgt i32 %2, 0
br i1 %10, label %11, label %54
11: ; preds = %3
%12 = add nsw i32 %4, -2
%13 = sext i32 %12 to i64
%14 = mul nsw i64 %13, %7
%15 = getelementptr inbounds [2 x float], [2 x float]* %9, i64 %14
br label %16
16: ; preds = %11, %48
%17 = phi i64 [ 0, %11 ], [ %52, %48 ]
%18 = phi i32 [ 0, %11 ], [ %21, %48 ]
%19 = or i32 %18, 1
%20 = tail call i32 @reverse(i32 %18)
%21 = add nuw nsw i32 %18, 2
%22 = tail call i32 @reverse(i32 %19)
%23 = icmp ult i64 %17, 32
%24 = sext i32 %20 to i64
%25 = getelementptr inbounds [2 x float], [2 x float]* %0, i64 %24, i64 0
%26 = load float, float* %25
%27 = sext i32 %22 to i64
%28 = getelementptr inbounds [2 x float], [2 x float]* %0, i64 %27, i64 0
%29 = load float, float* %28
br i1 %23, label %30, label %39
30: ; preds = %16
%31 = fadd float %26, %29
%32 = getelementptr inbounds [2 x float], [2 x float]* %15, i64 %17
%33 = getelementptr inbounds [2 x float], [2 x float]* %32, i64 0, i64 0
store float %31, float* %33
%34 = getelementptr inbounds [2 x float], [2 x float]* %0, i64 %24, i64 1
%35 = load float, float* %34
%36 = getelementptr inbounds [2 x float], [2 x float]* %0, i64 %27, i64 1
%37 = load float, float* %36
%38 = fadd float %35, %37
br label %48
39: ; preds = %16
%40 = fsub float %26, %29
%41 = getelementptr inbounds [2 x float], [2 x float]* %15, i64 %17
%42 = getelementptr inbounds [2 x float], [2 x float]* %41, i64 0, i64 0
store float %40, float* %42
%43 = getelementptr inbounds [2 x float], [2 x float]* %0, i64 %24, i64 1
%44 = load float, float* %43
%45 = getelementptr inbounds [2 x float], [2 x float]* %0, i64 %27, i64 1
%46 = load float, float* %45
%47 = fsub float %44, %46
br label %48
48: ; preds = %39, %30
%49 = phi float [ %47, %39 ], [ %38, %30 ]
%50 = getelementptr inbounds [2 x float], [2 x float]* %15, i64 %17
%51 = getelementptr inbounds [2 x float], [2 x float]* %50, i64 0, i64 1
store float %49, float* %51
%52 = add nuw nsw i64 %17, 1
%53 = icmp eq i64 %52, %7
br i1 %53, label %54, label %16
54: ; preds = %48, %3
%55 = icmp sgt i32 %4, 2
br i1 %55, label %56, label %69
56: ; preds = %54
%57 = add nsw i32 %4, -3
%58 = shl nuw i32 1, %4
%59 = zext i32 %4 to i64
%60 = mul nuw nsw i64 %59, %7
%61 = getelementptr inbounds [2 x float], [2 x float]* %9, i64 %60
%62 = shl nsw i32 -1, %4
%63 = sitofp i32 %2 to double
%64 = zext i32 %57 to i64
br label %65
65: ; preds = %56, %119
%66 = phi i64 [ %64, %56 ], [ %120, %119 ]
%67 = mul nsw i64 %66, %7
%68 = getelementptr inbounds [2 x float], [2 x float]* %9, i64 %67
br label %79
69: ; preds = %119, %54
br i1 %10, label %70, label %137
70: ; preds = %69
%71 = getelementptr inbounds [2 x float], [2 x float]* %9, i64 0, i64 0
%72 = getelementptr inbounds [2 x float], [2 x float]* %9, i64 1, i64 0
%73 = sitofp i32 %2 to double
%74 = load float, float* %72
%75 = getelementptr inbounds [2 x float], [2 x float]* %9, i64 1, i64 1
%76 = load float, float* %75
%77 = fneg float %76
%78 = load float, float* %71
br label %122
79: ; preds = %65, %79
%80 = phi i64 [ 0, %65 ], [ %117, %79 ]
%81 = phi i32 [ 0, %65 ], [ %116, %79 ]
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds [2 x float], [2 x float]* %61, i64 %82
%84 = getelementptr inbounds [2 x float], [2 x float]* %83, i64 0, i64 0
%85 = add nsw i32 %81, 1
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds [2 x float], [2 x float]* %61, i64 %86
%88 = getelementptr inbounds [2 x float], [2 x float]* %87, i64 0, i64 0
%89 = trunc i64 %80 to i32
%90 = and i32 %62, %89
%91 = sitofp i32 %90 to double
%92 = fmul double %91, 0x401921FB5443D6F4
%93 = fdiv double %92, %63
%94 = fptrunc double %93 to float
%95 = tail call float @cos(float %94)
%96 = tail call float @sin(float %94)
%97 = load float, float* %88
%98 = getelementptr inbounds [2 x float], [2 x float]* %87, i64 0, i64 1
%99 = load float, float* %98
%100 = fneg float %99
%101 = fmul float %96, %100
%102 = tail call float @llvm.fmuladd.f32(float %97, float %95, float %101)
%103 = getelementptr inbounds [2 x float], [2 x float]* %68, i64 %80
%104 = getelementptr inbounds [2 x float], [2 x float]* %103, i64 0, i64 0
store float %102, float* %104
%105 = load float, float* %88
%106 = fmul float %95, %99
%107 = tail call float @llvm.fmuladd.f32(float %105, float %96, float %106)
%108 = getelementptr inbounds [2 x float], [2 x float]* %103, i64 0, i64 1
store float %107, float* %108
%109 = load float, float* %84
%110 = fadd float %102, %109
store float %110, float* %104
%111 = getelementptr inbounds [2 x float], [2 x float]* %83, i64 0, i64 1
%112 = load float, float* %111
%113 = fadd float %107, %112
store float %113, float* %108
%114 = add nsw i32 %81, 2
%115 = icmp eq i32 %114, %58
%116 = select i1 %115, i32 0, i32 %114
%117 = add nuw nsw i64 %80, 1
%118 = icmp eq i64 %117, 64
br i1 %118, label %119, label %79
119: ; preds = %79
%120 = add nsw i64 %66, -1
%121 = icmp sgt i64 %66, 0
br i1 %121, label %65, label %69
122: ; preds = %70, %122
%123 = phi i64 [ 0, %70 ], [ %135, %122 ]
%124 = trunc i64 %123 to i32
%125 = sitofp i32 %124 to double
%126 = fmul double %125, 0x401921FB5443D6F4
%127 = fdiv double %126, %73
%128 = fptrunc double %127 to float
%129 = tail call float @cos(float %128)
%130 = tail call float @sin(float %128)
%131 = fmul float %130, %77
%132 = tail call float @llvm.fmuladd.f32(float %74, float %129, float %131)
%133 = getelementptr inbounds float, float* %1, i64 %123
%134 = fadd float %132, %78
store float %134, float* %133
%135 = add nuw nsw i64 %123, 1
%136 = icmp eq i64 %135, %7
br i1 %136, label %137, label %122
137: ; preds = %122, %69
ret void
}