// File: /workspace/github_c_makefile_star2_O1/diaxen[P]fft-garden/./sr_bf.h
// Function: sr_dit_bf4
static inline void
sr_dit_bf4(unsigned s,
       complex double * restrict out,
       complex double w1, complex double w3)
{
  complex double a = out[0];
  complex double b = out[s];
  complex double c = out[s * 2];
  complex double d = out[s * 3];
  out[0]     = a +     (w1 * c + w3 * d);
  out[s]     = b - I * (w1 * c - w3 * d);
  out[s * 2] = a -     (w1 * c + w3 * d);
  out[s * 3] = b + I * (w1 * c - w3 * d);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x98, %rsp
movapd %xmm3, %xmm9
movapd %xmm2, %xmm8
movapd %xmm1, %xmm11
movapd %xmm0, %xmm12
movq %rsi, %rbx
movsd (%rsi), %xmm15
movsd 0x8(%rsi), %xmm2
movl %edi, %r12d
shlq $0x4, %r12
movsd (%rsi,%r12), %xmm3
movsd 0x8(%rsi,%r12), %xmm4
leal (%rdi,%rdi), %r15d
shlq $0x4, %r15
movsd (%rsi,%r15), %xmm13
movsd 0x8(%rsi,%r15), %xmm14
leal (%rdi,%rdi,2), %r14d
shlq $0x4, %r14
movsd (%rsi,%r14), %xmm7
movsd 0x8(%rsi,%r14), %xmm10
movapd %xmm13, %xmm5
mulsd %xmm0, %xmm5
movapd %xmm14, %xmm0
mulsd %xmm1, %xmm0
subsd %xmm0, %xmm5
movapd %xmm14, %xmm0
mulsd %xmm12, %xmm0
movapd %xmm13, %xmm6
mulsd %xmm1, %xmm6
addsd %xmm0, %xmm6
ucomisd %xmm5, %xmm5
movsd %xmm5, 0x78(%rsp)
movsd %xmm6, 0x70(%rsp)
movsd %xmm2, 0x90(%rsp)
movsd %xmm9, 0x88(%rsp)
movsd %xmm8, 0x80(%rsp)
jp 0x2547
movapd %xmm7, %xmm1
mulsd %xmm8, %xmm1
movapd %xmm10, %xmm0
mulsd %xmm9, %xmm0
subsd %xmm0, %xmm1
movapd %xmm10, %xmm0
mulsd %xmm8, %xmm0
movapd %xmm9, %xmm8
movapd %xmm7, %xmm9
mulsd %xmm8, %xmm9
addsd %xmm0, %xmm9
ucomisd %xmm1, %xmm1
movsd %xmm1, 0x68(%rsp)
movapd %xmm1, %xmm0
movsd %xmm9, 0x60(%rsp)
jp 0x2634
movsd 0x70(%rsp), %xmm8
addsd %xmm9, %xmm8
movsd 0x78(%rsp), %xmm1
addsd %xmm0, %xmm1
ucomisd %xmm5, %xmm5
addsd %xmm15, %xmm1
addsd %xmm2, %xmm8
movsd %xmm1, (%rbx)
movsd %xmm8, 0x8(%rbx)
movapd %xmm5, %xmm2
movapd %xmm6, %xmm8
jp 0x270f
movsd 0x68(%rsp), %xmm0
ucomisd %xmm0, %xmm0
movsd 0x60(%rsp), %xmm1
jp 0x27d9
subsd %xmm1, %xmm8
subsd %xmm0, %xmm2
addq %rbx, %r12
xorpd %xmm1, %xmm1
movapd %xmm2, %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm8, %xmm1
subsd %xmm8, %xmm0
addsd %xmm2, %xmm1
ucomisd %xmm0, %xmm0
jp 0x28be
ucomisd %xmm5, %xmm5
movapd %xmm3, %xmm2
subsd %xmm0, %xmm2
movapd %xmm4, %xmm0
subsd %xmm1, %xmm0
movsd %xmm2, (%r12)
movsd %xmm0, 0x8(%r12)
movapd %xmm5, %xmm8
movapd %xmm6, %xmm9
jp 0x2973
addq %rbx, %r15
movsd 0x68(%rsp), %xmm0
ucomisd %xmm0, %xmm0
movsd 0x60(%rsp), %xmm1
movsd 0x90(%rsp), %xmm2
jp 0x2a3f
addsd %xmm1, %xmm9
addsd %xmm0, %xmm8
ucomisd %xmm5, %xmm5
subsd %xmm8, %xmm15
subsd %xmm9, %xmm2
movsd %xmm15, (%r15)
movsd %xmm2, 0x8(%r15)
jp 0x2b2f
movsd 0x68(%rsp), %xmm0
ucomisd %xmm0, %xmm0
jp 0x2b91
subsd 0x60(%rsp), %xmm6
subsd 0x68(%rsp), %xmm5
addq %r14, %rbx
xorpd %xmm1, %xmm1
movapd %xmm5, %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm6, %xmm1
subsd %xmm6, %xmm0
addsd %xmm5, %xmm1
ucomisd %xmm0, %xmm0
jp 0x2c02
addsd %xmm0, %xmm3
addsd %xmm1, %xmm4
movsd %xmm3, (%rbx)
movsd %xmm4, 0x8(%rbx)
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
ucomisd %xmm6, %xmm6
movsd %xmm5, 0x78(%rsp)
movsd %xmm6, 0x70(%rsp)
jnp 0x2397
movapd %xmm12, %xmm0
movapd %xmm11, %xmm1
movapd %xmm13, %xmm2
movsd %xmm3, 0x10(%rsp)
movapd %xmm14, %xmm3
movsd %xmm4, 0x8(%rsp)
movsd %xmm5, 0x30(%rsp)
movsd %xmm6, 0x28(%rsp)
movsd %xmm7, 0x20(%rsp)
movsd %xmm10, 0x18(%rsp)
movsd %xmm11, 0x58(%rsp)
movsd %xmm12, 0x50(%rsp)
movsd %xmm13, 0x48(%rsp)
movsd %xmm14, 0x40(%rsp)
movsd %xmm15, 0x38(%rsp)
callq 0x2c80
movsd 0x90(%rsp), %xmm2
movsd 0x38(%rsp), %xmm15
movsd 0x40(%rsp), %xmm14
movsd 0x48(%rsp), %xmm13
movsd 0x50(%rsp), %xmm12
movsd 0x58(%rsp), %xmm11
movsd 0x18(%rsp), %xmm10
movsd 0x20(%rsp), %xmm7
movsd 0x80(%rsp), %xmm8
movsd 0x88(%rsp), %xmm9
movsd 0x28(%rsp), %xmm6
movsd 0x30(%rsp), %xmm5
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
movsd %xmm0, 0x78(%rsp)
movsd %xmm1, 0x70(%rsp)
jmp 0x2397
movsd 0x60(%rsp), %xmm9
ucomisd %xmm9, %xmm9
movsd 0x68(%rsp), %xmm0
jnp 0x23e7
movsd 0x80(%rsp), %xmm0
movsd 0x88(%rsp), %xmm1
movapd %xmm7, %xmm2
movsd %xmm3, 0x10(%rsp)
movapd %xmm10, %xmm3
movsd %xmm4, 0x8(%rsp)
movsd %xmm5, 0x30(%rsp)
movsd %xmm6, 0x28(%rsp)
movsd %xmm7, 0x20(%rsp)
movsd %xmm10, 0x18(%rsp)
movsd %xmm11, 0x58(%rsp)
movsd %xmm12, 0x50(%rsp)
movsd %xmm13, 0x48(%rsp)
movsd %xmm14, 0x40(%rsp)
movsd %xmm15, 0x38(%rsp)
callq 0x2c80
movsd 0x90(%rsp), %xmm2
movsd 0x38(%rsp), %xmm15
movsd 0x40(%rsp), %xmm14
movsd 0x48(%rsp), %xmm13
movsd 0x50(%rsp), %xmm12
movsd 0x58(%rsp), %xmm11
movsd 0x18(%rsp), %xmm10
movsd 0x20(%rsp), %xmm7
movsd 0x28(%rsp), %xmm6
movsd 0x30(%rsp), %xmm5
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
movapd %xmm1, %xmm9
jmp 0x23e7
ucomisd %xmm6, %xmm6
movapd %xmm5, %xmm2
movapd %xmm6, %xmm8
jnp 0x2424
movapd %xmm12, %xmm0
movapd %xmm11, %xmm1
movapd %xmm13, %xmm2
movsd %xmm3, 0x10(%rsp)
movapd %xmm14, %xmm3
movsd %xmm4, 0x8(%rsp)
movsd %xmm5, 0x30(%rsp)
movsd %xmm6, 0x28(%rsp)
movsd %xmm7, 0x20(%rsp)
movsd %xmm10, 0x18(%rsp)
movsd %xmm11, 0x58(%rsp)
movsd %xmm12, 0x50(%rsp)
movsd %xmm13, 0x48(%rsp)
movsd %xmm14, 0x40(%rsp)
movsd %xmm15, 0x38(%rsp)
callq 0x2c80
movsd 0x38(%rsp), %xmm15
movsd 0x40(%rsp), %xmm14
movsd 0x48(%rsp), %xmm13
movsd 0x50(%rsp), %xmm12
movsd 0x58(%rsp), %xmm11
movsd 0x18(%rsp), %xmm10
movsd 0x20(%rsp), %xmm7
movsd 0x28(%rsp), %xmm6
movsd 0x30(%rsp), %xmm5
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
movapd %xmm0, %xmm2
movapd %xmm1, %xmm8
jmp 0x2424
movsd 0x60(%rsp), %xmm1
ucomisd %xmm1, %xmm1
movsd 0x68(%rsp), %xmm0
jnp 0x243a
movsd 0x80(%rsp), %xmm0
movsd 0x88(%rsp), %xmm1
movsd %xmm2, 0x78(%rsp)
movapd %xmm7, %xmm2
movsd %xmm3, 0x10(%rsp)
movapd %xmm10, %xmm3
movsd %xmm4, 0x8(%rsp)
movsd %xmm5, 0x30(%rsp)
movsd %xmm6, 0x28(%rsp)
movsd %xmm7, 0x20(%rsp)
movsd %xmm10, 0x18(%rsp)
movsd %xmm11, 0x58(%rsp)
movsd %xmm12, 0x50(%rsp)
movsd %xmm13, 0x48(%rsp)
movsd %xmm14, 0x40(%rsp)
movsd %xmm15, 0x38(%rsp)
movsd %xmm8, 0x70(%rsp)
callq 0x2c80
movsd 0x70(%rsp), %xmm8
movsd 0x78(%rsp), %xmm2
movsd 0x38(%rsp), %xmm15
movsd 0x40(%rsp), %xmm14
movsd 0x48(%rsp), %xmm13
movsd 0x50(%rsp), %xmm12
movsd 0x58(%rsp), %xmm11
movsd 0x18(%rsp), %xmm10
movsd 0x20(%rsp), %xmm7
movsd 0x28(%rsp), %xmm6
movsd 0x30(%rsp), %xmm5
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
jmp 0x243a
ucomisd %xmm1, %xmm1
jnp 0x246a
movsd 0x990(%rip), %xmm1      # 0x3260
xorpd %xmm0, %xmm0
movsd %xmm3, 0x10(%rsp)
movapd %xmm8, %xmm3
movsd %xmm4, 0x8(%rsp)
movsd %xmm5, 0x30(%rsp)
movsd %xmm6, 0x28(%rsp)
movsd %xmm7, 0x20(%rsp)
movsd %xmm10, 0x18(%rsp)
movsd %xmm11, 0x58(%rsp)
movsd %xmm12, 0x50(%rsp)
movsd %xmm13, 0x48(%rsp)
movsd %xmm14, 0x40(%rsp)
movsd %xmm15, 0x38(%rsp)
callq 0x2c80
movsd 0x38(%rsp), %xmm15
movsd 0x40(%rsp), %xmm14
movsd 0x48(%rsp), %xmm13
movsd 0x50(%rsp), %xmm12
movsd 0x58(%rsp), %xmm11
movsd 0x18(%rsp), %xmm10
movsd 0x20(%rsp), %xmm7
movsd 0x28(%rsp), %xmm6
movsd 0x30(%rsp), %xmm5
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
jmp 0x246a
ucomisd %xmm6, %xmm6
movapd %xmm5, %xmm8
movapd %xmm6, %xmm9
jnp 0x249b
movapd %xmm12, %xmm0
movapd %xmm11, %xmm1
movapd %xmm13, %xmm2
movsd %xmm3, 0x10(%rsp)
movapd %xmm14, %xmm3
movsd %xmm4, 0x8(%rsp)
movsd %xmm5, 0x30(%rsp)
movsd %xmm6, 0x28(%rsp)
movsd %xmm7, 0x20(%rsp)
movsd %xmm10, 0x18(%rsp)
movsd %xmm11, 0x58(%rsp)
movsd %xmm12, 0x50(%rsp)
movsd %xmm13, 0x48(%rsp)
movsd %xmm14, 0x40(%rsp)
movsd %xmm15, 0x38(%rsp)
callq 0x2c80
movsd 0x38(%rsp), %xmm15
movsd 0x40(%rsp), %xmm14
movsd 0x48(%rsp), %xmm13
movsd 0x50(%rsp), %xmm12
movsd 0x58(%rsp), %xmm11
movsd 0x18(%rsp), %xmm10
movsd 0x20(%rsp), %xmm7
movsd 0x28(%rsp), %xmm6
movsd 0x30(%rsp), %xmm5
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
movapd %xmm0, %xmm8
movapd %xmm1, %xmm9
jmp 0x249b
movsd 0x60(%rsp), %xmm1
ucomisd %xmm1, %xmm1
movsd 0x68(%rsp), %xmm0
jnp 0x24bd
movsd 0x80(%rsp), %xmm0
movsd 0x88(%rsp), %xmm1
movapd %xmm7, %xmm2
movsd %xmm3, 0x10(%rsp)
movapd %xmm10, %xmm3
movsd %xmm4, 0x8(%rsp)
movsd %xmm5, 0x30(%rsp)
movsd %xmm6, 0x28(%rsp)
movsd %xmm7, 0x20(%rsp)
movsd %xmm10, 0x18(%rsp)
movsd %xmm11, 0x58(%rsp)
movsd %xmm12, 0x50(%rsp)
movsd %xmm13, 0x48(%rsp)
movsd %xmm14, 0x40(%rsp)
movsd %xmm15, 0x38(%rsp)
movsd %xmm8, 0x78(%rsp)
movsd %xmm9, 0x70(%rsp)
callq 0x2c80
movsd 0x70(%rsp), %xmm9
movsd 0x78(%rsp), %xmm8
movsd 0x90(%rsp), %xmm2
movsd 0x38(%rsp), %xmm15
movsd 0x40(%rsp), %xmm14
movsd 0x48(%rsp), %xmm13
movsd 0x50(%rsp), %xmm12
movsd 0x58(%rsp), %xmm11
movsd 0x18(%rsp), %xmm10
movsd 0x20(%rsp), %xmm7
movsd 0x28(%rsp), %xmm6
movsd 0x30(%rsp), %xmm5
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
jmp 0x24bd
ucomisd %xmm6, %xmm6
jnp 0x24e6
movapd %xmm12, %xmm0
movapd %xmm11, %xmm1
movapd %xmm13, %xmm2
movsd %xmm3, 0x10(%rsp)
movapd %xmm14, %xmm3
movsd %xmm4, 0x8(%rsp)
movsd %xmm7, 0x20(%rsp)
movsd %xmm10, 0x18(%rsp)
callq 0x2c80
movsd 0x18(%rsp), %xmm10
movsd 0x20(%rsp), %xmm7
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
movapd %xmm0, %xmm5
movapd %xmm1, %xmm6
jmp 0x24e6
movapd %xmm7, %xmm2
movsd 0x80(%rsp), %xmm0
movsd 0x88(%rsp), %xmm1
movsd 0x60(%rsp), %xmm7
ucomisd %xmm7, %xmm7
jnp 0x24f6
movsd %xmm3, 0x10(%rsp)
movapd %xmm10, %xmm3
movsd %xmm4, 0x8(%rsp)
movsd %xmm5, 0x30(%rsp)
movsd %xmm6, 0x28(%rsp)
callq 0x2c80
movsd 0x28(%rsp), %xmm6
movsd 0x30(%rsp), %xmm5
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
movsd %xmm0, 0x68(%rsp)
movsd %xmm1, 0x60(%rsp)
jmp 0x24f6
ucomisd %xmm1, %xmm1
jnp 0x2527
movsd 0x64c(%rip), %xmm1      # 0x3260
xorpd %xmm0, %xmm0
movapd %xmm5, %xmm2
movsd %xmm3, 0x10(%rsp)
movapd %xmm6, %xmm3
movsd %xmm4, 0x8(%rsp)
callq 0x2c80
movsd 0x8(%rsp), %xmm4
movsd 0x10(%rsp), %xmm3
jmp 0x2527