// File: /workspace/github_c_makefile_star2_O3/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 $0xf8, %rsp
movapd %xmm3, %xmm6
movapd %xmm2, %xmm7
movapd %xmm1, %xmm9
movapd %xmm0, %xmm10
movq %rsi, %rbx
movl %edi, %r12d
shlq $0x4, %r12
movupd (%rsi,%r12), %xmm3
leal (%rdi,%rdi), %r15d
shlq $0x4, %r15
leal (%rdi,%rdi,2), %r14d
shlq $0x4, %r14
movupd (%rsi), %xmm14
movupd (%rsi,%r15), %xmm11
movupd (%rsi,%r14), %xmm8
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
mulpd %xmm11, %xmm0
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
movapd %xmm11, %xmm4
shufpd $0x1, %xmm11, %xmm4     # xmm4 = xmm4[1],xmm11[0]
mulpd %xmm1, %xmm4
movapd %xmm0, %xmm5
subpd %xmm4, %xmm5
addpd %xmm0, %xmm4
movapd %xmm4, %xmm15
movsd %xmm5, %xmm15           # xmm15 = xmm5[0],xmm15[1]
ucomisd %xmm5, %xmm5
unpckhpd %xmm4, %xmm4            # xmm4 = xmm4[1,1]
movapd %xmm15, %xmm2
movapd %xmm6, 0xd0(%rsp)
jp 0x23a6
movapd %xmm7, %xmm0
unpcklpd %xmm7, %xmm0            # xmm0 = xmm0[0],xmm7[0]
mulpd %xmm8, %xmm0
movapd %xmm6, %xmm1
unpcklpd %xmm6, %xmm1            # xmm1 = xmm1[0],xmm6[0]
movapd %xmm8, %xmm12
shufpd $0x1, %xmm8, %xmm12     # xmm12 = xmm12[1],xmm8[0]
mulpd %xmm1, %xmm12
movapd %xmm0, %xmm13
subpd %xmm12, %xmm13
addpd %xmm0, %xmm12
movapd %xmm12, %xmm1
movsd %xmm13, %xmm1           # xmm1 = xmm13[0],xmm1[1]
ucomisd %xmm13, %xmm13
unpckhpd %xmm12, %xmm12          # xmm12 = xmm12[1,1]
movapd %xmm1, %xmm0
movapd %xmm1, 0xc0(%rsp)
jp 0x2483
ucomisd %xmm5, %xmm5
addpd %xmm0, %xmm2
addpd %xmm14, %xmm2
movupd %xmm2, (%rbx)
movapd %xmm15, %xmm2
jp 0x2588
movapd %xmm7, %xmm6
ucomisd %xmm13, %xmm13
movapd %xmm1, %xmm0
jp 0x2681
subpd %xmm0, %xmm2
addq %rbx, %r12
xorpd %xmm0, %xmm0
mulpd %xmm2, %xmm0
movapd %xmm2, %xmm1
shufpd $0x1, %xmm2, %xmm1      # xmm1 = xmm1[1],xmm2[0]
movapd %xmm2, %xmm7
movapd %xmm0, %xmm2
subpd %xmm1, %xmm2
addpd %xmm0, %xmm1
movapd %xmm1, %xmm0
movsd %xmm2, %xmm0            # xmm0 = xmm2[0],xmm0[1]
ucomisd %xmm2, %xmm2
jp 0x2787
ucomisd %xmm5, %xmm5
movapd %xmm3, %xmm1
subpd %xmm0, %xmm1
movupd %xmm1, (%r12)
jp 0x2871
movapd 0xc0(%rsp), %xmm0
addq %rbx, %r15
ucomisd %xmm13, %xmm13
jp 0x2953
addpd %xmm0, %xmm15
ucomisd %xmm5, %xmm5
subpd %xmm15, %xmm14
movupd %xmm14, (%r15)
jp 0x2a3e
ucomisd %xmm13, %xmm13
jp 0x2ab3
subsd %xmm12, %xmm4
subsd %xmm13, %xmm5
addq %r14, %rbx
xorpd %xmm1, %xmm1
movapd %xmm5, %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm4, %xmm1
subsd %xmm4, %xmm0
addsd %xmm5, %xmm1
ucomisd %xmm0, %xmm0
jp 0x2b10
addsd %xmm3, %xmm0
unpckhpd %xmm3, %xmm3            # xmm3 = xmm3[1,1]
addsd %xmm1, %xmm3
movsd %xmm0, (%rbx)
movsd %xmm3, 0x8(%rbx)
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
ucomisd %xmm4, %xmm4
movapd %xmm15, %xmm2
jnp 0x223c
movapd %xmm3, (%rsp)
movapd %xmm11, %xmm3
unpckhpd %xmm11, %xmm3           # xmm3 = xmm3[1],xmm11[1]
movapd %xmm10, %xmm0
movapd %xmm9, %xmm1
movapd %xmm11, %xmm2
movapd %xmm4, 0x40(%rsp)
movapd %xmm5, 0x30(%rsp)
movapd %xmm7, 0x20(%rsp)
movapd %xmm8, 0x10(%rsp)
movapd %xmm9, 0xa0(%rsp)
movapd %xmm10, 0x90(%rsp)
movapd %xmm11, 0x80(%rsp)
movapd %xmm14, 0x50(%rsp)
movapd %xmm15, 0xb0(%rsp)
callq 0x2b80
movapd 0xb0(%rsp), %xmm15
movapd 0x50(%rsp), %xmm14
movapd 0x80(%rsp), %xmm11
movapd 0x90(%rsp), %xmm10
movapd 0xa0(%rsp), %xmm9
movapd 0x10(%rsp), %xmm8
movapd 0x20(%rsp), %xmm7
movapd 0xd0(%rsp), %xmm6
movapd 0x30(%rsp), %xmm5
movapd 0x40(%rsp), %xmm4
movapd (%rsp), %xmm3
movapd %xmm0, %xmm2
unpcklpd %xmm1, %xmm2            # xmm2 = xmm2[0],xmm1[0]
jmp 0x223c
ucomisd %xmm12, %xmm12
movapd %xmm1, %xmm0
jnp 0x2297
movapd %xmm3, (%rsp)
movapd %xmm8, %xmm3
unpckhpd %xmm8, %xmm3            # xmm3 = xmm3[1],xmm8[1]
movapd %xmm7, %xmm0
movapd %xmm6, %xmm1
movapd %xmm2, 0xe0(%rsp)
movapd %xmm8, %xmm2
movapd %xmm4, 0x40(%rsp)
movapd %xmm5, 0x30(%rsp)
movapd %xmm7, 0x20(%rsp)
movapd %xmm8, 0x10(%rsp)
movapd %xmm9, 0xa0(%rsp)
movapd %xmm10, 0x90(%rsp)
movapd %xmm11, 0x80(%rsp)
movapd %xmm12, 0x70(%rsp)
movapd %xmm13, 0x60(%rsp)
movapd %xmm14, 0x50(%rsp)
movapd %xmm15, 0xb0(%rsp)
callq 0x2b80
movapd 0xe0(%rsp), %xmm2
movapd 0xb0(%rsp), %xmm15
movapd 0x50(%rsp), %xmm14
movapd 0x60(%rsp), %xmm13
movapd 0x70(%rsp), %xmm12
movapd 0x80(%rsp), %xmm11
movapd 0x90(%rsp), %xmm10
movapd 0xa0(%rsp), %xmm9
movapd 0x10(%rsp), %xmm8
movapd 0x20(%rsp), %xmm7
movapd 0x30(%rsp), %xmm5
movapd 0x40(%rsp), %xmm4
movapd (%rsp), %xmm3
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd 0xc0(%rsp), %xmm1
jmp 0x2297
ucomisd %xmm4, %xmm4
movapd %xmm15, %xmm2
jnp 0x22b3
movapd %xmm3, (%rsp)
movapd %xmm11, %xmm3
unpckhpd %xmm11, %xmm3           # xmm3 = xmm3[1],xmm11[1]
movapd %xmm10, %xmm0
movapd %xmm9, %xmm1
movapd %xmm11, %xmm2
movapd %xmm4, 0x40(%rsp)
movapd %xmm5, 0x30(%rsp)
movapd %xmm7, 0x20(%rsp)
movapd %xmm8, 0x10(%rsp)
movapd %xmm9, 0xa0(%rsp)
movapd %xmm10, 0x90(%rsp)
movapd %xmm11, 0x80(%rsp)
movapd %xmm12, 0x70(%rsp)
movapd %xmm13, 0x60(%rsp)
movapd %xmm14, 0x50(%rsp)
movapd %xmm15, 0xb0(%rsp)
callq 0x2b80
movapd 0xb0(%rsp), %xmm15
movapd 0x50(%rsp), %xmm14
movapd 0x60(%rsp), %xmm13
movapd 0x70(%rsp), %xmm12
movapd 0x80(%rsp), %xmm11
movapd 0x90(%rsp), %xmm10
movapd 0xa0(%rsp), %xmm9
movapd 0x10(%rsp), %xmm8
movapd 0x20(%rsp), %xmm7
movapd 0x30(%rsp), %xmm5
movapd 0x40(%rsp), %xmm4
movapd (%rsp), %xmm3
movapd %xmm0, %xmm2
unpcklpd %xmm1, %xmm2            # xmm2 = xmm2[0],xmm1[0]
movapd 0xc0(%rsp), %xmm1
jmp 0x22b3
ucomisd %xmm12, %xmm12
movapd 0xc0(%rsp), %xmm0
jnp 0x22c6
movapd %xmm3, (%rsp)
movapd %xmm8, %xmm3
unpckhpd %xmm8, %xmm3            # xmm3 = xmm3[1],xmm8[1]
movapd %xmm6, %xmm0
movapd 0xd0(%rsp), %xmm1
movapd %xmm2, 0xe0(%rsp)
movapd %xmm8, %xmm2
movapd %xmm4, 0x40(%rsp)
movapd %xmm5, 0x30(%rsp)
movapd %xmm6, 0x20(%rsp)
movapd %xmm8, 0x10(%rsp)
movapd %xmm9, 0xa0(%rsp)
movapd %xmm10, 0x90(%rsp)
movapd %xmm11, 0x80(%rsp)
movapd %xmm12, 0x70(%rsp)
movapd %xmm13, 0x60(%rsp)
movapd %xmm14, 0x50(%rsp)
movapd %xmm15, 0xb0(%rsp)
callq 0x2b80
movapd 0xe0(%rsp), %xmm2
movapd 0xb0(%rsp), %xmm15
movapd 0x50(%rsp), %xmm14
movapd 0x60(%rsp), %xmm13
movapd 0x70(%rsp), %xmm12
movapd 0x80(%rsp), %xmm11
movapd 0x90(%rsp), %xmm10
movapd 0xa0(%rsp), %xmm9
movapd 0x10(%rsp), %xmm8
movapd 0x20(%rsp), %xmm6
movapd 0x30(%rsp), %xmm5
movapd 0x40(%rsp), %xmm4
movapd (%rsp), %xmm3
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
jmp 0x22c6
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
ucomisd %xmm1, %xmm1
jnp 0x2300
movapd %xmm3, (%rsp)
movapd %xmm7, %xmm3
unpckhpd %xmm7, %xmm3            # xmm3 = xmm3[1],xmm7[1]
movsd 0xad6(%rip), %xmm1      # 0x3280
xorpd %xmm0, %xmm0
movapd %xmm7, %xmm2
movapd %xmm4, 0x40(%rsp)
movapd %xmm5, 0x30(%rsp)
movapd %xmm6, 0x20(%rsp)
movapd %xmm8, 0x10(%rsp)
movapd %xmm9, 0xa0(%rsp)
movapd %xmm10, 0x90(%rsp)
movapd %xmm11, 0x80(%rsp)
movapd %xmm12, 0x70(%rsp)
movapd %xmm13, 0x60(%rsp)
movapd %xmm14, 0x50(%rsp)
movapd %xmm15, 0xb0(%rsp)
callq 0x2b80
movapd 0xb0(%rsp), %xmm15
movapd 0x50(%rsp), %xmm14
movapd 0x60(%rsp), %xmm13
movapd 0x70(%rsp), %xmm12
movapd 0x80(%rsp), %xmm11
movapd 0x90(%rsp), %xmm10
movapd 0xa0(%rsp), %xmm9
movapd 0x10(%rsp), %xmm8
movapd 0x20(%rsp), %xmm6
movapd 0x30(%rsp), %xmm5
movapd 0x40(%rsp), %xmm4
movapd (%rsp), %xmm3
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
jmp 0x2300
ucomisd %xmm4, %xmm4
movapd 0xc0(%rsp), %xmm0
jnp 0x2321
movapd %xmm3, (%rsp)
movapd %xmm11, %xmm3
unpckhpd %xmm11, %xmm3           # xmm3 = xmm3[1],xmm11[1]
movapd %xmm10, %xmm0
movapd %xmm9, %xmm1
movapd %xmm11, %xmm2
movapd %xmm4, 0x40(%rsp)
movapd %xmm5, 0x30(%rsp)
movapd %xmm6, 0x20(%rsp)
movapd %xmm8, 0x10(%rsp)
movapd %xmm9, 0xa0(%rsp)
movapd %xmm10, 0x90(%rsp)
movapd %xmm11, 0x80(%rsp)
movapd %xmm12, 0x70(%rsp)
movapd %xmm13, 0x60(%rsp)
movapd %xmm14, 0x50(%rsp)
callq 0x2b80
movapd 0x50(%rsp), %xmm14
movapd 0x60(%rsp), %xmm13
movapd 0x70(%rsp), %xmm12
movapd 0x80(%rsp), %xmm11
movapd 0x90(%rsp), %xmm10
movapd 0xa0(%rsp), %xmm9
movapd 0x10(%rsp), %xmm8
movapd 0x20(%rsp), %xmm6
movapd 0x30(%rsp), %xmm5
movapd 0x40(%rsp), %xmm4
movapd (%rsp), %xmm3
movapd %xmm0, %xmm15
unpcklpd %xmm1, %xmm15           # xmm15 = xmm15[0],xmm1[0]
jmp 0x2318
ucomisd %xmm12, %xmm12
jnp 0x232f
movapd %xmm3, (%rsp)
movapd %xmm8, %xmm3
unpckhpd %xmm8, %xmm3            # xmm3 = xmm3[1],xmm8[1]
movapd %xmm6, %xmm0
movapd 0xd0(%rsp), %xmm1
movapd %xmm8, %xmm2
movapd %xmm4, 0x40(%rsp)
movapd %xmm5, 0x30(%rsp)
movapd %xmm6, 0x20(%rsp)
movapd %xmm8, 0x10(%rsp)
movapd %xmm9, 0xa0(%rsp)
movapd %xmm10, 0x90(%rsp)
movapd %xmm11, 0x80(%rsp)
movapd %xmm12, 0x70(%rsp)
movapd %xmm13, 0x60(%rsp)
movapd %xmm14, 0x50(%rsp)
movapd %xmm15, 0xb0(%rsp)
callq 0x2b80
movapd 0xb0(%rsp), %xmm15
movapd 0x50(%rsp), %xmm14
movapd 0x60(%rsp), %xmm13
movapd 0x70(%rsp), %xmm12
movapd 0x80(%rsp), %xmm11
movapd 0x90(%rsp), %xmm10
movapd 0xa0(%rsp), %xmm9
movapd 0x10(%rsp), %xmm8
movapd 0x20(%rsp), %xmm6
movapd 0x30(%rsp), %xmm5
movapd 0x40(%rsp), %xmm4
movapd (%rsp), %xmm3
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
jmp 0x232f
ucomisd %xmm4, %xmm4
jnp 0x2348
movapd %xmm3, (%rsp)
movapd %xmm11, %xmm3
unpckhpd %xmm11, %xmm3           # xmm3 = xmm3[1],xmm11[1]
movapd %xmm10, %xmm0
movapd %xmm9, %xmm1
movapd %xmm11, %xmm2
movapd %xmm6, 0x20(%rsp)
movapd %xmm8, 0x10(%rsp)
movapd %xmm12, 0x70(%rsp)
movapd %xmm13, 0x60(%rsp)
callq 0x2b80
movapd 0x60(%rsp), %xmm13
movapd 0x70(%rsp), %xmm12
movapd 0x10(%rsp), %xmm8
movapd 0x20(%rsp), %xmm6
movapd (%rsp), %xmm3
movapd %xmm0, %xmm5
movapd %xmm1, %xmm4
jmp 0x2348
movapd 0xd0(%rsp), %xmm1
ucomisd %xmm12, %xmm12
jnp 0x2353
movapd %xmm3, (%rsp)
movapd %xmm8, %xmm3
unpckhpd %xmm8, %xmm3            # xmm3 = xmm3[1],xmm8[1]
movapd %xmm6, %xmm0
movapd %xmm8, %xmm2
movapd %xmm4, 0x40(%rsp)
movapd %xmm5, 0x30(%rsp)
callq 0x2b80
movapd 0x30(%rsp), %xmm5
movapd 0x40(%rsp), %xmm4
movapd (%rsp), %xmm3
movapd %xmm0, %xmm13
movapd %xmm1, %xmm12
jmp 0x2353
ucomisd %xmm1, %xmm1
jnp 0x2382
movsd 0x75e(%rip), %xmm1      # 0x3280
xorpd %xmm0, %xmm0
movapd %xmm5, %xmm2
movapd %xmm3, (%rsp)
movapd %xmm4, %xmm3
callq 0x2b80
movapd (%rsp), %xmm3
jmp 0x2382