// File: /workspace/github_c_makefile_star2_O0/diaxen[P]fft-garden/ct_dit_bi_G_S_P.c
// Function: ct_fft_bi
static inline void
ct_fft_bi(const complex double * restrict in,
	   complex double * restrict out,
	   int log2_N)
{
  unsigned N = 1 << log2_N;

  /* stage 0 */
  BIT_REVERSE2_LOOP(i, j, N, {
      ct_dit_bf2_0(1, N / 2, out + i, in + j);
  });

  /* stages 1 */
  for (unsigned i = 0; i < N / 4; i++)
    {
      complex double *t = out + (i << 2);
      ct_dit_bf2_0(2, 2, t, t);
      ct_dit_bf2_pi2(2, t + 1);
    }

  /* stages 2 to log2_N - 1 */
  for (unsigned j = 2; j < log2_N; j++)
    {
      unsigned s = log2_N - j - 1;
      unsigned l = 1 << j;

      for (unsigned i = 0; i < (1 << s); i++)
	{
	  complex double *t = out + (i << (j + 1));

	  ct_dit_bf2_0(l, l, t, t);
          ct_dit_bf2_pi2(l, t + l / 2);
          ct_dit_bf2_pi4(l, t + l / 4);
          ct_dit_bf2_3pi4(l, t + 3 * l / 4);
        }

      for (unsigned k = 1; k < l / 4; k++)
        {
          complex double tw = get_twiddle(k << s, log2_N);
          complex double *t = out;

          for (unsigned i = 0; i < (1 << s); i++)
            {
              ct_dit_bf2(l, t + k, tw);
              ct_dit_bf2(l, t + k + l / 2, tw * -I);
              ct_dit_bf2(l, t + l / 2 - k, conj(tw * I));
              ct_dit_bf2(l, t + l - k, conj(-tw));
              t += 1 << (j + 1);
            }
	}
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl -0x14(%rbp), %ecx
movl $0x1, %eax
shll %cl, %eax
movl %eax, -0x18(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
shrl %eax
subl $0x1, %eax
movl %eax, -0x20(%rbp)
movl $0x0, -0x24(%rbp)
movl $0x0, -0x28(%rbp)
movl -0x28(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jae 0x1f3a
movl -0x18(%rbp), %esi
shrl %esi
movq -0x10(%rbp), %rdx
movl -0x28(%rbp), %eax
shlq $0x4, %rax
addq %rax, %rdx
movq -0x8(%rbp), %rcx
movl -0x24(%rbp), %eax
shlq $0x4, %rax
addq %rax, %rcx
movl $0x1, %edi
callq 0x24c0
movl -0x28(%rbp), %eax
addl $0x2, %eax
movl %eax, -0x2c(%rbp)
movl -0x20(%rbp), %eax
xorl $-0x1, %eax
movl -0x28(%rbp), %ecx
xorl -0x2c(%rbp), %ecx
bsrl %ecx, %edx
xorl $0x1f, %edx
movl $0x1f, %ecx
subl %edx, %ecx
shrl %cl, %eax
andl -0x20(%rbp), %eax
xorl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x28(%rbp)
jmp 0x1ed2
jmp 0x1f3c
movl $0x0, -0x30(%rbp)
movl -0x30(%rbp), %eax
movl -0x18(%rbp), %ecx
shrl $0x2, %ecx
cmpl %ecx, %eax
jae 0x1f98
movq -0x10(%rbp), %rax
movl -0x30(%rbp), %ecx
shll $0x2, %ecx
movl %ecx, %ecx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rdx
movq -0x38(%rbp), %rcx
movl $0x2, %esi
movl %esi, %edi
callq 0x24c0
movq -0x38(%rbp), %rsi
addq $0x10, %rsi
movl $0x2, %edi
callq 0x2570
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x1f43
movl $0x2, -0x3c(%rbp)
movl -0x3c(%rbp), %eax
cmpl -0x14(%rbp), %eax
jae 0x2486
movl -0x14(%rbp), %eax
subl -0x3c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x40(%rbp)
movl -0x3c(%rbp), %ecx
movl $0x1, %eax
shll %cl, %eax
movl %eax, -0x44(%rbp)
movl $0x0, -0x48(%rbp)
movl -0x48(%rbp), %eax
movl -0x40(%rbp), %ecx
movl $0x1, %edx
shll %cl, %edx
movl %edx, %ecx
cmpl %ecx, %eax
jae 0x2072
movq -0x10(%rbp), %rax
movl -0x48(%rbp), %edx
movl -0x3c(%rbp), %ecx
addl $0x1, %ecx
shll %cl, %edx
movl %edx, %ecx
movl %ecx, %ecx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movl -0x44(%rbp), %edi
movl -0x44(%rbp), %esi
movq -0x50(%rbp), %rdx
movq -0x50(%rbp), %rcx
callq 0x24c0
movl -0x44(%rbp), %edi
movq -0x50(%rbp), %rsi
movl -0x44(%rbp), %eax
shrl %eax
movl %eax, %eax
shlq $0x4, %rax
addq %rax, %rsi
callq 0x2570
movl -0x44(%rbp), %edi
movq -0x50(%rbp), %rsi
movl -0x44(%rbp), %eax
shrl $0x2, %eax
movl %eax, %eax
shlq $0x4, %rax
addq %rax, %rsi
callq 0x2650
movl -0x44(%rbp), %edi
movq -0x50(%rbp), %rsi
imull $0x3, -0x44(%rbp), %eax
shrl $0x2, %eax
movl %eax, %eax
shlq $0x4, %rax
addq %rax, %rsi
callq 0x2740
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0x1fcb
movl $0x1, -0x54(%rbp)
movl -0x54(%rbp), %eax
movl -0x44(%rbp), %ecx
shrl $0x2, %ecx
cmpl %ecx, %eax
jae 0x2476
movl -0x54(%rbp), %edi
movl -0x40(%rbp), %ecx
shll %cl, %edi
movl -0x14(%rbp), %esi
callq 0x2860
movsd %xmm0, -0x68(%rbp)
movsd %xmm1, -0x60(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x70(%rbp)
movl $0x0, -0x74(%rbp)
movl -0x74(%rbp), %eax
movl -0x40(%rbp), %ecx
movl $0x1, %edx
shll %cl, %edx
movl %edx, %ecx
cmpl %ecx, %eax
jae 0x2466
movl -0x44(%rbp), %edi
movq -0x70(%rbp), %rsi
movl -0x54(%rbp), %eax
shlq $0x4, %rax
addq %rax, %rsi
movsd -0x68(%rbp), %xmm1
movsd -0x60(%rbp), %xmm0
movsd %xmm1, -0x88(%rbp)
movsd %xmm0, -0x80(%rbp)
movsd -0x88(%rbp), %xmm0
movsd -0x80(%rbp), %xmm1
callq 0x28a0
movl -0x44(%rbp), %eax
movl %eax, -0xf4(%rbp)
movq -0x70(%rbp), %rax
movl -0x54(%rbp), %ecx
shlq $0x4, %rcx
addq %rcx, %rax
movl -0x44(%rbp), %ecx
shrl %ecx
movl %ecx, %ecx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0xf0(%rbp)
movsd -0x68(%rbp), %xmm1
movsd %xmm1, -0xe8(%rbp)
movsd -0x60(%rbp), %xmm2
movsd %xmm2, -0xe0(%rbp)
movsd 0xf06(%rip), %xmm3      # 0x3058
movaps %xmm1, %xmm0
mulsd %xmm3, %xmm0
movsd 0x10df(%rip), %xmm4     # 0x3240
movaps %xmm2, %xmm3
mulsd %xmm4, %xmm3
movsd 0x10d0(%rip), %xmm4     # 0x3240
mulsd %xmm4, %xmm1
movsd 0xedc(%rip), %xmm4      # 0x3058
mulsd %xmm4, %xmm2
subsd %xmm3, %xmm0
movsd %xmm0, -0xd8(%rbp)
addsd %xmm2, %xmm1
movsd %xmm1, -0xd0(%rbp)
ucomisd %xmm0, %xmm0
movsd %xmm0, -0xc8(%rbp)
movsd %xmm1, -0xc0(%rbp)
jnp 0x2209
movsd -0xd0(%rbp), %xmm1
movsd -0xd8(%rbp), %xmm0
ucomisd %xmm1, %xmm1
movsd %xmm0, -0xc8(%rbp)
movsd %xmm1, -0xc0(%rbp)
jnp 0x2209
movsd -0xe0(%rbp), %xmm1
movsd -0xe8(%rbp), %xmm0
movsd 0xe6c(%rip), %xmm2      # 0x3058
movsd 0x104c(%rip), %xmm3     # 0x3240
callq 0x2a00
movsd %xmm0, -0xc8(%rbp)
movsd %xmm1, -0xc0(%rbp)
movq -0xf0(%rbp), %rsi
movl -0xf4(%rbp), %edi
movsd -0xc8(%rbp), %xmm1
movsd -0xc0(%rbp), %xmm0
movsd %xmm1, -0x98(%rbp)
movsd %xmm0, -0x90(%rbp)
movsd -0x98(%rbp), %xmm0
movsd -0x90(%rbp), %xmm1
callq 0x28a0
movl -0x44(%rbp), %eax
movl %eax, -0x134(%rbp)
movq -0x70(%rbp), %rax
movl -0x44(%rbp), %ecx
shrl %ecx
movl %ecx, %ecx
shlq $0x4, %rcx
addq %rcx, %rax
movl -0x54(%rbp), %ecx
movl %ecx, %edx
xorl %ecx, %ecx
subq %rdx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x130(%rbp)
movsd -0x68(%rbp), %xmm1
movsd %xmm1, -0x128(%rbp)
movsd -0x60(%rbp), %xmm2
movsd %xmm2, -0x120(%rbp)
xorps %xmm3, %xmm3
movaps %xmm1, %xmm0
mulsd %xmm3, %xmm0
movsd 0xd66(%rip), %xmm4      # 0x3010
movaps %xmm2, %xmm3
mulsd %xmm4, %xmm3
movsd 0xd57(%rip), %xmm4      # 0x3010
mulsd %xmm4, %xmm1
xorps %xmm4, %xmm4
mulsd %xmm4, %xmm2
subsd %xmm3, %xmm0
movsd %xmm0, -0x118(%rbp)
addsd %xmm2, %xmm1
movsd %xmm1, -0x110(%rbp)
ucomisd %xmm0, %xmm0
movsd %xmm0, -0x108(%rbp)
movsd %xmm1, -0x100(%rbp)
jnp 0x2348
movsd -0x110(%rbp), %xmm1
movsd -0x118(%rbp), %xmm0
ucomisd %xmm1, %xmm1
movsd %xmm0, -0x108(%rbp)
movsd %xmm1, -0x100(%rbp)
jnp 0x2348
movsd -0x120(%rbp), %xmm1
movsd -0x128(%rbp), %xmm0
xorps %xmm2, %xmm2
movsd 0xcdd(%rip), %xmm3      # 0x3010
callq 0x2a00
movsd %xmm0, -0x108(%rbp)
movsd %xmm1, -0x100(%rbp)
movq -0x130(%rbp), %rsi
movl -0x134(%rbp), %edi
movsd -0x108(%rbp), %xmm1
movsd -0x100(%rbp), %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movsd %xmm1, -0xa8(%rbp)
movsd %xmm0, -0xa0(%rbp)
movsd -0xa8(%rbp), %xmm0
movsd -0xa0(%rbp), %xmm1
callq 0x28a0
movl -0x44(%rbp), %edi
movq -0x70(%rbp), %rsi
movl -0x44(%rbp), %eax
shlq $0x4, %rax
addq %rax, %rsi
movl -0x54(%rbp), %eax
movl %eax, %ecx
xorl %eax, %eax
subq %rcx, %rax
shlq $0x4, %rax
addq %rax, %rsi
movsd -0x68(%rbp), %xmm1
movsd -0x60(%rbp), %xmm0
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movsd %xmm1, -0xb8(%rbp)
movsd %xmm0, -0xb0(%rbp)
movsd -0xb8(%rbp), %xmm0
movsd -0xb0(%rbp), %xmm1
callq 0x28a0
movl -0x3c(%rbp), %ecx
addl $0x1, %ecx
movl $0x1, %eax
shll %cl, %eax
movl %eax, %ecx
movq -0x70(%rbp), %rax
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x70(%rbp)
movl -0x74(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x74(%rbp)
jmp 0x20b3
jmp 0x2468
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
jmp 0x2079
jmp 0x2478
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x1f9f
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
nop