// File: /workspace/github_c_makefile_star2_O0/diaxen[P]fft-garden/ct_dit_bi_G_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);
        }

      unsigned k;
      for (k = 1; k < l / 4; k++)
        {
          complex double tw = get_twiddle(k << s, log2_N);
          for (unsigned i = 0; i < (1 << s); i++)
            ct_dit_bf2(l, out + k + (i << (j + 1)), tw);
	}
      for (k++; k < l / 2; k++)
        {
          complex double tw = get_twiddle(k << s, log2_N);
          for (unsigned i = 0; i < (1 << s); i++)
            ct_dit_bf2(l, out + k + (i << (j + 1)), tw);
	}
      for (k++; k < 3 * l / 4; k++)
        {
          complex double tw = get_twiddle(k << s, log2_N);
          for (unsigned i = 0; i < (1 << s); i++)
            ct_dit_bf2(l, out + k + (i << (j + 1)), tw);
	}
      for (k++; k < l; k++)
        {
          complex double tw = get_twiddle(k << s, log2_N);
          for (unsigned i = 0; i < (1 << s); i++)
            ct_dit_bf2(l, out + k + (i << (j + 1)), tw);
	}
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
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 0x1cda
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 0x21a0
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 0x1c72
jmp 0x1cdc
movl $0x0, -0x30(%rbp)
movl -0x30(%rbp), %eax
movl -0x18(%rbp), %ecx
shrl $0x2, %ecx
cmpl %ecx, %eax
jae 0x1d38
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 0x21a0
movq -0x38(%rbp), %rsi
addq $0x10, %rsi
movl $0x2, %edi
callq 0x2250
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x1ce3
movl $0x2, -0x3c(%rbp)
movl -0x3c(%rbp), %eax
cmpl -0x14(%rbp), %eax
jae 0x215d
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 0x1e12
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 0x21a0
movl -0x44(%rbp), %edi
movq -0x50(%rbp), %rsi
movl -0x44(%rbp), %eax
shrl %eax
movl %eax, %eax
shlq $0x4, %rax
addq %rax, %rsi
callq 0x2250
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 0x2330
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 0x2420
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0x1d6b
movl $0x1, -0x54(%rbp)
movl -0x54(%rbp), %eax
movl -0x44(%rbp), %ecx
shrl $0x2, %ecx
cmpl %ecx, %eax
jae 0x1ec1
movl -0x54(%rbp), %edi
movl -0x40(%rbp), %ecx
shll %cl, %edi
movl -0x14(%rbp), %esi
callq 0x2540
movsd %xmm0, -0x68(%rbp)
movsd %xmm1, -0x60(%rbp)
movl $0x0, -0x6c(%rbp)
movl -0x6c(%rbp), %eax
movl -0x40(%rbp), %ecx
movl $0x1, %edx
shll %cl, %edx
movl %edx, %ecx
cmpl %ecx, %eax
jae 0x1eb1
movl -0x44(%rbp), %edi
movq -0x10(%rbp), %rsi
movl -0x54(%rbp), %eax
shlq $0x4, %rax
addq %rax, %rsi
movl -0x6c(%rbp), %eax
movl -0x3c(%rbp), %ecx
addl $0x1, %ecx
shll %cl, %eax
movl %eax, %eax
shlq $0x4, %rax
addq %rax, %rsi
movsd -0x68(%rbp), %xmm1
movsd -0x60(%rbp), %xmm0
movsd %xmm1, -0x80(%rbp)
movsd %xmm0, -0x78(%rbp)
movsd -0x80(%rbp), %xmm0
movsd -0x78(%rbp), %xmm1
callq 0x25c0
movl -0x6c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x6c(%rbp)
jmp 0x1e4b
jmp 0x1eb3
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
jmp 0x1e19
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
movl -0x54(%rbp), %eax
movl -0x44(%rbp), %ecx
shrl %ecx
cmpl %ecx, %eax
jae 0x1f9b
movl -0x54(%rbp), %edi
movl -0x40(%rbp), %ecx
shll %cl, %edi
movl -0x14(%rbp), %esi
callq 0x2540
movsd %xmm0, -0x90(%rbp)
movsd %xmm1, -0x88(%rbp)
movl $0x0, -0x94(%rbp)
movl -0x94(%rbp), %eax
movl -0x40(%rbp), %ecx
movl $0x1, %edx
shll %cl, %edx
movl %edx, %ecx
cmpl %ecx, %eax
jae 0x1f8b
movl -0x44(%rbp), %edi
movq -0x10(%rbp), %rsi
movl -0x54(%rbp), %eax
shlq $0x4, %rax
addq %rax, %rsi
movl -0x94(%rbp), %eax
movl -0x3c(%rbp), %ecx
addl $0x1, %ecx
shll %cl, %eax
movl %eax, %eax
shlq $0x4, %rax
addq %rax, %rsi
movsd -0x90(%rbp), %xmm1
movsd -0x88(%rbp), %xmm0
movsd %xmm1, -0xa8(%rbp)
movsd %xmm0, -0xa0(%rbp)
movsd -0xa8(%rbp), %xmm0
movsd -0xa0(%rbp), %xmm1
callq 0x25c0
movl -0x94(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x94(%rbp)
jmp 0x1f04
jmp 0x1f8d
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
jmp 0x1eca
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
movl -0x54(%rbp), %eax
imull $0x3, -0x44(%rbp), %ecx
shrl $0x2, %ecx
cmpl %ecx, %eax
jae 0x2077
movl -0x54(%rbp), %edi
movl -0x40(%rbp), %ecx
shll %cl, %edi
movl -0x14(%rbp), %esi
callq 0x2540
movsd %xmm0, -0xb8(%rbp)
movsd %xmm1, -0xb0(%rbp)
movl $0x0, -0xbc(%rbp)
movl -0xbc(%rbp), %eax
movl -0x40(%rbp), %ecx
movl $0x1, %edx
shll %cl, %edx
movl %edx, %ecx
cmpl %ecx, %eax
jae 0x2067
movl -0x44(%rbp), %edi
movq -0x10(%rbp), %rsi
movl -0x54(%rbp), %eax
shlq $0x4, %rax
addq %rax, %rsi
movl -0xbc(%rbp), %eax
movl -0x3c(%rbp), %ecx
addl $0x1, %ecx
shll %cl, %eax
movl %eax, %eax
shlq $0x4, %rax
addq %rax, %rsi
movsd -0xb8(%rbp), %xmm1
movsd -0xb0(%rbp), %xmm0
movsd %xmm1, -0xd0(%rbp)
movsd %xmm0, -0xc8(%rbp)
movsd -0xd0(%rbp), %xmm0
movsd -0xc8(%rbp), %xmm1
callq 0x25c0
movl -0xbc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xbc(%rbp)
jmp 0x1fe0
jmp 0x2069
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
jmp 0x1fa4
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
movl -0x54(%rbp), %eax
cmpl -0x44(%rbp), %eax
jae 0x214d
movl -0x54(%rbp), %edi
movl -0x40(%rbp), %ecx
shll %cl, %edi
movl -0x14(%rbp), %esi
callq 0x2540
movsd %xmm0, -0xe0(%rbp)
movsd %xmm1, -0xd8(%rbp)
movl $0x0, -0xe4(%rbp)
movl -0xe4(%rbp), %eax
movl -0x40(%rbp), %ecx
movl $0x1, %edx
shll %cl, %edx
movl %edx, %ecx
cmpl %ecx, %eax
jae 0x213d
movl -0x44(%rbp), %edi
movq -0x10(%rbp), %rsi
movl -0x54(%rbp), %eax
shlq $0x4, %rax
addq %rax, %rsi
movl -0xe4(%rbp), %eax
movl -0x3c(%rbp), %ecx
addl $0x1, %ecx
shll %cl, %eax
movl %eax, %eax
shlq $0x4, %rax
addq %rax, %rsi
movsd -0xe0(%rbp), %xmm1
movsd -0xd8(%rbp), %xmm0
movsd %xmm1, -0xf8(%rbp)
movsd %xmm0, -0xf0(%rbp)
movsd -0xf8(%rbp), %xmm0
movsd -0xf0(%rbp), %xmm1
callq 0x25c0
movl -0xe4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xe4(%rbp)
jmp 0x20b6
jmp 0x213f
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
jmp 0x2080
jmp 0x214f
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x1d3f
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
nopw %cs:(%rax,%rax)