user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<bitrv2conj>:
  endbr64
  push   %r15
  mov    %edi,%eax
  sar    %edi
  push   %r14
  sar    $0x2,%eax
  push   %r13
  mov    %rsi,%r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xc8,%rsp
  mov    %eax,-0x4(%rsp)
  mov    %edi,-0x8(%rsp)
  cmp    $0x8,%eax
  jle    L138
  mov    $0x4,%r14d
  cs nopw 0x0(%rax,%rax,1)
L143:
  sar    $0x2,%eax
  add    %r14d,%r14d
  cmp    $0x8,%eax
  jg     L143
  je     L194
  test   %r14d,%r14d
  jle    L201
L197:
  movslq -0x8(%rsp),%r15
  mov    $0x2,%eax
  xor    %r12d,%r12d
  xor    %r9d,%r9d
  mov    %r12d,-0x78(%rsp)
  mov    -0x4(%rsp),%r10d
  xor    %edx,%edx
  movslq %r14d,%rdi
  sub    %r15,%rax
  mov    %r15,-0x60(%rsp)
  movss  D5(%rip),%xmm0
  mov    %r15,%r11
  mov    %rax,-0x70(%rsp)
  lea    0x10(%r13),%rax
  mov    %rax,-0x68(%rsp)
  nopw   0x0(%rax,%rax,1)
L123:
  mov    -0x78(%rsp),%ebx
  xor    %r10d,%r9d
  lea    0x2(%rbx),%eax
  lea    (%rbx,%r11,1),%ecx
  movslq %eax,%rsi
  add    %r14d,%eax
  shl    $0x2,%rsi
  cltq
  lea    -0x4(%r13,%rsi,1),%r8
  lea    0x4(%r13,%rsi,1),%rbp
  shl    $0x2,%rax
  movss  (%r8),%xmm1
  xorps  %xmm0,%xmm1
  movss  %xmm1,(%r8)
  movslq %ecx,%r8
  add    %r14d,%ecx
  movss  0x0(%rbp),%xmm1
  movss  0x0(%r13,%rsi,1),%xmm2
  shl    $0x2,%r8
  movslq %ecx,%rcx
  lea    0x0(%r13,%r8,1),%rbx
  xorps  %xmm0,%xmm1
  shl    $0x2,%rcx
  movss  (%rbx),%xmm3
  unpcklps %xmm1,%xmm2
  movss  0x4(%r13,%r8,1),%xmm1
  movss  %xmm3,0x0(%r13,%rsi,1)
  xorps  %xmm0,%xmm1
  lea    0xc(%r13,%r8,1),%rsi
  lea    0x0(%r13,%rcx,1),%r8
  movss  %xmm1,0x0(%rbp)
  movlps %xmm2,(%rbx)
  movss  (%rsi),%xmm1
  xorps  %xmm0,%xmm1
  movss  %xmm1,(%rsi)
  lea    -0x4(%r13,%rax,1),%rsi
  movss  (%rsi),%xmm1
  xorps  %xmm0,%xmm1
  movss  %xmm1,(%rsi)
  lea    0x4(%r13,%rax,1),%rsi
  movss  0x0(%r13,%rax,1),%xmm2
  movss  (%r8),%xmm3
  movss  (%rsi),%xmm1
  xorps  %xmm0,%xmm1
  unpcklps %xmm1,%xmm2
  movss  0x4(%r13,%rcx,1),%xmm1
  movss  %xmm3,0x0(%r13,%rax,1)
  lea    0xc(%r13,%rcx,1),%rax
  xorps  %xmm0,%xmm1
  movss  %xmm1,(%rsi)
  movlps %xmm2,(%r8)
  movss  (%rax),%xmm1
  xorps  %xmm0,%xmm1
  movss  %xmm1,(%rax)
  cmp    %r9d,%r10d
  jle    L101
  mov    %r10d,%eax
  nopl   0x0(%rax,%rax,1)
L52:
  sar    %eax
  xor    %eax,%r9d
  cmp    %eax,%r9d
  jl     L52
L101:
  lea    0x4(%rdx),%ebp
  cmp    %ebp,%r14d
  jle    L201
  lea    0x0(%rbp,%r9,1),%eax
  mov    %eax,-0x78(%rsp)
  cmp    %eax,%r9d
  jge    L34
  mov    -0x60(%rsp),%rbx
  add    $0x3,%rdx
  movslq %r9d,%rax
  lea    (%r9,%r11,1),%r8d
  and    $0xfffffffc,%edx
  lea    0x0(%r13,%rax,4),%rsi
  movslq %r8d,%r8
  add    -0x70(%rsp),%r8
  lea    (%rbx,%rax,1),%rcx
  add    %rax,%rdx
  mov    -0x68(%rsp),%rax
  lea    0x0(%r13,%r8,4),%r8
  lea    0x0(%r13,%rcx,4),%rcx
  lea    (%rax,%rdx,4),%rbx
  mov    %ebp,%eax
  nopl   0x0(%rax)
L74:
  movslq %eax,%rdx
  movss  0x4(%rsi),%xmm1
  movss  (%rsi),%xmm3
  shl    $0x2,%rdx
  lea    0x0(%r13,%rdx,1),%r12
  lea    0x4(%r13,%rdx,1),%rdx
  xorps  %xmm0,%xmm1
  movss  (%rdx),%xmm2
  movss  (%r12),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%rsi)
  movss  %xmm2,0x4(%rsi)
  movss  %xmm3,(%r12)
  movss  %xmm1,(%rdx)
  lea    (%r14,%rax,1),%edx
  movss  0x4(%rsi,%rdi,4),%xmm1
  xor    %r10d,%eax
  movslq %edx,%r12
  movss  (%rsi,%rdi,4),%xmm3
  add    $0x2,%edx
  shl    $0x2,%r12
  xorps  %xmm0,%xmm1
  lea    0x0(%r13,%r12,1),%r15
  lea    0x4(%r13,%r12,1),%r12
  movss  (%r12),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%rsi,%rdi,4)
  movss  %xmm2,0x4(%rsi,%rdi,4)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r12)
  movslq %edx,%r12
  movss  (%rcx,%rdi,4),%xmm3
  movss  0x4(%rcx,%rdi,4),%xmm1
  shl    $0x2,%r12
  sub    %r14d,%edx
  lea    0x0(%r13,%r12,1),%r15
  lea    0x4(%r13,%r12,1),%r12
  xorps  %xmm0,%xmm1
  movss  (%r12),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%rcx,%rdi,4)
  movss  %xmm2,0x4(%rcx,%rdi,4)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r12)
  movslq %edx,%r12
  movss  0x4(%rcx),%xmm1
  add    %r11d,%edx
  shl    $0x2,%r12
  movss  (%rcx),%xmm3
  lea    0x0(%r13,%r12,1),%r15
  lea    0x4(%r13,%r12,1),%r12
  xorps  %xmm0,%xmm1
  movss  (%r12),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%rcx)
  movss  %xmm2,0x4(%rcx)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r12)
  movslq %edx,%r12
  movss  0x8(%rcx),%xmm3
  add    %r14d,%edx
  shl    $0x2,%r12
  movss  0xc(%rcx),%xmm1
  lea    0x0(%r13,%r12,1),%r15
  lea    0x4(%r13,%r12,1),%r12
  movss  (%r12),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm1
  xorps  %xmm0,%xmm2
  movss  %xmm4,0x8(%rcx)
  movss  %xmm2,0xc(%rcx)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r12)
  movslq %edx,%r12
  sub    $0x2,%edx
  movss  0xc(%rcx,%rdi,4),%xmm1
  shl    $0x2,%r12
  movss  0x8(%rcx,%rdi,4),%xmm3
  lea    0x0(%r13,%r12,1),%r15
  lea    0x4(%r13,%r12,1),%r12
  xorps  %xmm0,%xmm1
  movss  (%r12),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,0x8(%rcx,%rdi,4)
  movss  %xmm2,0xc(%rcx,%rdi,4)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r12)
  movslq %edx,%r12
  sub    %r14d,%edx
  movss  0xc(%rsi,%rdi,4),%xmm1
  shl    $0x2,%r12
  movss  0x8(%rsi,%rdi,4),%xmm3
  movslq %edx,%rdx
  lea    0x0(%r13,%r12,1),%r15
  lea    0x4(%r13,%r12,1),%r12
  xorps  %xmm0,%xmm1
  shl    $0x2,%rdx
  movss  (%r12),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,0x8(%rsi,%rdi,4)
  movss  %xmm2,0xc(%rsi,%rdi,4)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r12)
  lea    0x0(%r13,%rdx,1),%r12
  lea    0x4(%r13,%rdx,1),%rdx
  movss  0xc(%rsi),%xmm1
  movss  (%rdx),%xmm2
  movss  (%r8),%xmm3
  movss  (%r12),%xmm4
  xorps  %xmm0,%xmm1
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%r8)
  movss  %xmm2,0xc(%rsi)
  movss  %xmm3,(%r12)
  movss  %xmm1,(%rdx)
  cmp    %eax,%r10d
  jle    L211
  mov    %r10d,%edx
  nopl   (%rax)
L4:
  sar    %edx
  xor    %edx,%eax
  cmp    %edx,%eax
  jl     L4
L211:
  add    $0x10,%rsi
  add    $0x10,%rcx
  add    $0x10,%r8
  cmp    %rsi,%rbx
  jne    L74
L34:
  mov    %ebp,%edx
  jmp    L123
L201:
  add    $0xc8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L194:
  test   %r14d,%r14d
  jle    L201
  lea    (%r14,%r14,1),%r12d
  lea    -0x2(%r12),%eax
  mov    %eax,0x74(%rsp)
L48:
  movslq -0x8(%rsp),%rsi
  xor    %r15d,%r15d
  mov    %r12d,%ebp
  movl   $0x0,0x70(%rsp)
  mov    %r15d,-0x70(%rsp)
  movss  D5(%rip),%xmm0
  mov    %r14d,%r12d
  lea    0x2(%rsi),%ebx
  mov    %rsi,0x50(%rsp)
  mov    %ebx,0x78(%rsp)
  mov    %esi,%ebx
  sub    %r14d,%ebx
  movl   $0x0,0x38(%rsp)
  mov    %ebx,0x7c(%rsp)
  movslq %r14d,%rbx
  lea    (%rbx,%rbx,1),%rdi
  lea    0x0(,%rbx,4),%rdx
  mov    %rbx,0x30(%rsp)
  mov    %rdi,%rax
  mov    %rdi,0x40(%rsp)
  add    %rsi,%rax
  mov    %rax,0x48(%rsp)
  mov    %rbx,%rax
  neg    %rax
  lea    0x0(,%rax,4),%rcx
  shl    $0x3,%rax
  mov    %rax,0x98(%rsp)
  mov    %rbx,%rax
  sub    %rdx,%rax
  mov    %rcx,0x90(%rsp)
  lea    0x0(,%rsi,4),%rcx
  shl    $0x2,%rax
  mov    %rcx,0x88(%rsp)
  neg    %rcx
  mov    %rax,0xa0(%rsp)
  mov    %rdi,%rax
  add    %rbx,%rax
  mov    %rcx,0x80(%rsp)
  mov    %rax,0x58(%rsp)
  mov    %rsi,%rax
  sub    %rdi,%rax
  sub    %rsi,%rdi
  sub    %rbx,%rax
  mov    %rax,0xa8(%rsp)
  mov    %rdi,%rax
  sub    %rbx,%rax
  mov    %rax,0xb0(%rsp)
  sub    %rbx,%rax
  mov    %rax,0xb8(%rsp)
  mov    $0x1,%eax
  sub    %rsi,%rax
  sub    %rbx,%rax
  sub    %rbx,%rax
  mov    %rax,0xc0(%rsp)
L75:
  mov    -0x8(%rsp),%ebx
  mov    0x70(%rsp),%eax
  lea    0x2(%rax),%ecx
  add    %ebx,%eax
  mov    %eax,%edx
  movslq %ecx,%rax
  shl    $0x2,%rax
  lea    -0x4(%r13,%rax,1),%rsi
  lea    0x4(%r13,%rax,1),%r8
  movss  (%rsi),%xmm1
  xorps  %xmm0,%xmm1
  movss  %xmm1,(%rsi)
  movslq %edx,%rsi
  movss  (%r8),%xmm1
  movss  0x0(%r13,%rax,1),%xmm2
  shl    $0x2,%rsi
  lea    0x0(%r13,%rsi,1),%rdi
  xorps  %xmm0,%xmm1
  movss  (%rdi),%xmm3
  unpcklps %xmm1,%xmm2
  movss  0x4(%r13,%rsi,1),%xmm1
  movss  %xmm3,0x0(%r13,%rax,1)
  xorps  %xmm0,%xmm1
  lea    0xc(%r13,%rsi,1),%rax
  lea    (%rdx,%rbp,1),%esi
  movss  %xmm1,(%r8)
  movlps %xmm2,(%rdi)
  movss  (%rax),%xmm1
  movslq %esi,%rdi
  sub    %r12d,%esi
  shl    $0x2,%rdi
  xorps  %xmm0,%xmm1
  movss  %xmm1,(%rax)
  lea    (%r12,%rcx,1),%eax
  movss  0x0(%r13,%rdi,1),%xmm3
  movslq %eax,%rdx
  add    %r12d,%eax
  shl    $0x2,%rdx
  movss  0x4(%r13,%rdx,1),%xmm1
  movss  0x0(%r13,%rdx,1),%xmm2
  xorps  %xmm0,%xmm1
  unpcklps %xmm1,%xmm2
  movss  0x4(%r13,%rdi,1),%xmm1
  xorps  %xmm0,%xmm1
  unpcklps %xmm1,%xmm3
  movlps %xmm3,0x0(%r13,%rdx,1)
  movslq %eax,%rdx
  sub    $0x2,%eax
  shl    $0x2,%rdx
  movlps %xmm2,0x0(%r13,%rdi,1)
  lea    0x0(%r13,%rdx,1),%r8
  lea    0x4(%r13,%rdx,1),%rdi
  movslq %esi,%rdx
  shl    $0x2,%rdx
  movss  (%r8),%xmm3
  movss  (%rdi),%xmm1
  lea    0x0(%r13,%rdx,1),%rcx
  lea    0x4(%r13,%rdx,1),%rdx
  movss  (%rdx),%xmm2
  movss  (%rcx),%xmm4
  xorps  %xmm0,%xmm1
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%r8)
  movss  %xmm2,(%rdi)
  movss  %xmm3,(%rcx)
  movslq %eax,%rcx
  shl    $0x2,%rcx
  movss  %xmm1,(%rdx)
  mov    %esi,%edx
  add    $0x2,%esi
  lea    0x4(%r13,%rcx,1),%r8
  sub    %ebx,%edx
  movss  0x0(%r13,%rcx,1),%xmm2
  movss  (%r8),%xmm1
  movslq %edx,%rdx
  shl    $0x2,%rdx
  xorps  %xmm0,%xmm1
  lea    0x0(%r13,%rdx,1),%rdi
  unpcklps %xmm1,%xmm2
  movss  0x4(%r13,%rdx,1),%xmm1
  movss  (%rdi),%xmm3
  xorps  %xmm0,%xmm1
  movss  %xmm3,0x0(%r13,%rcx,1)
  movss  %xmm1,(%r8)
  add    0x78(%rsp),%eax
  mov    0x74(%rsp),%ebx
  movslq %eax,%rdx
  movlps %xmm2,(%rdi)
  sub    0x7c(%rsp),%eax
  shl    $0x2,%rdx
  cltq
  movss  0x4(%r13,%rdx,1),%xmm1
  lea    0x0(%r13,%rdx,1),%rdi
  movslq %esi,%rdx
  shl    $0x2,%rax
  shl    $0x2,%rdx
  movss  (%rdi),%xmm3
  lea    0x4(%r13,%rdx,1),%rcx
  movss  0x0(%r13,%rdx,1),%xmm4
  xorps  %xmm0,%xmm1
  movss  (%rcx),%xmm2
  xorps  %xmm0,%xmm2
  unpcklps %xmm2,%xmm4
  movlps %xmm4,(%rdi)
  movss  %xmm3,0x0(%r13,%rdx,1)
  lea    -0x4(%r13,%rax,1),%rdx
  movss  %xmm1,(%rcx)
  movss  (%rdx),%xmm1
  lea    0x4(%r13,%rax,1),%rcx
  xorps  %xmm0,%xmm1
  movss  %xmm1,(%rdx)
  lea    (%rsi,%rbx,1),%edx
  movss  (%rcx),%xmm1
  movss  0x0(%r13,%rax,1),%xmm2
  movslq %edx,%rdx
  shl    $0x2,%rdx
  xorps  %xmm0,%xmm1
  lea    0x0(%r13,%rdx,1),%rsi
  unpcklps %xmm1,%xmm2
  movss  0x4(%r13,%rdx,1),%xmm1
  movss  (%rsi),%xmm3
  xorps  %xmm0,%xmm1
  movss  %xmm3,0x0(%r13,%rax,1)
  lea    0xc(%r13,%rdx,1),%rax
  movss  %xmm1,(%rcx)
  movlps %xmm2,(%rsi)
  movss  (%rax),%xmm1
  xorps  %xmm0,%xmm1
  movss  %xmm1,(%rax)
  mov    -0x4(%rsp),%eax
  xor    %eax,0x38(%rsp)
  mov    0x38(%rsp),%edx
  cmp    %eax,%edx
  jge    L109
  mov    -0x70(%rsp),%r15d
  xchg   %ax,%ax
L133:
  sar    %eax
  xor    %eax,%edx
  cmp    %eax,%edx
  jl     L133
  mov    %r15d,-0x70(%rsp)
  mov    %edx,0x38(%rsp)
L109:
  mov    -0x70(%rsp),%eax
  add    $0x4,%eax
  mov    %eax,0x3c(%rsp)
  cmp    %eax,%r12d
  jle    L201
  mov    0x38(%rsp),%ebx
  add    %ebx,%eax
  mov    %eax,0x70(%rsp)
  cmp    %eax,%ebx
  jge    L151
  movslq %ebx,%rax
  mov    0x40(%rsp),%rdi
  mov    0x58(%rsp),%rcx
  lea    0x0(%r13,%rax,4),%rbx
  mov    0x48(%rsp),%r14
  mov    %rax,%rsi
  mov    %rbx,0x60(%rsp)
  mov    0x30(%rsp),%rbx
  add    %r12d,%esi
  mov    %esi,-0x50(%rsp)
  lea    (%rbx,%rax,1),%rdx
  add    %rbx,%r14
  lea    0x0(%r13,%rdx,4),%r11
  lea    (%rdi,%rax,1),%rdx
  lea    0x0(%r13,%rdx,4),%r10
  lea    (%rcx,%rax,1),%rdx
  lea    0x0(%r13,%rdx,4),%r9
  lea    (%r14,%rax,1),%rdx
  lea    0x0(%r13,%rdx,4),%r8
  lea    (%r12,%rsi,1),%edx
  lea    (%r12,%rdx,1),%ecx
  mov    %edx,-0x48(%rsp)
  movslq %ecx,%rdx
  add    -0x8(%rsp),%ecx
  add    0xa8(%rsp),%rdx
  mov    %ecx,%r15d
  lea    0x0(%r13,%rdx,4),%rdi
  sub    %r12d,%r15d
  mov    %r15d,%edx
  movslq %r15d,%r15
  mov    %r15,0x68(%rsp)
  sub    %rbx,%r15
  sub    %r12d,%edx
  lea    0x8(%r13,%r15,4),%rbx
  mov    %edx,0x8(%rsp)
  sub    %r12d,%edx
  mov    %rbx,-0x20(%rsp)
  movslq %ecx,%rbx
  mov    %rbx,%rcx
  sub    0x40(%rsp),%rcx
  mov    %rbx,%r15
  lea    0xc(%r13,%rcx,4),%rbx
  mov    0x58(%rsp),%rcx
  mov    %rbx,-0x78(%rsp)
  movslq %edx,%rbx
  lea    0x2(%r12,%rdx,1),%edx
  add    %rbx,%rcx
  mov    %rbx,-0x58(%rsp)
  movslq %edx,%rbx
  add    %r12d,%edx
  lea    0x0(%r13,%rcx,4),%rcx
  mov    %rcx,-0x18(%rsp)
  mov    0xb0(%rsp),%rcx
  add    %rbx,%rcx
  add    0xb8(%rsp),%rbx
  lea    0x0(%r13,%rcx,4),%rcx
  mov    %rcx,-0x10(%rsp)
  movslq %edx,%rcx
  add    %r12d,%edx
  movslq %edx,%rdx
  mov    %rcx,%rsi
  sub    0x50(%rsp),%rsi
  sub    0x30(%rsp),%rsi
  sub    %r14,%rdx
  add    0xc0(%rsp),%rcx
  lea    0x0(%r13,%rsi,4),%rsi
  lea    0x0(%r13,%rdx,4),%r14
  mov    %rsi,-0x60(%rsp)
  lea    0x0(%r13,%rcx,4),%rcx
  mov    %r14,-0x28(%rsp)
  mov    -0x70(%rsp),%r14d
  lea    0x0(%r13,%rbx,4),%rsi
  mov    0x30(%rsp),%rbx
  mov    %rcx,-0x30(%rsp)
  lea    0x3(%r14),%rdx
  mov    0x50(%rsp),%r14
  mov    %rsi,-0x68(%rsp)
  and    $0xfffffffc,%edx
  add    %rax,%rdx
  lea    0x10(%r13,%rdx,4),%rcx
  movslq -0x50(%rsp),%rdx
  mov    %rcx,(%rsp)
  mov    %rbx,%rcx
  add    %r14,%rcx
  add    %rdx,%rcx
  add    %r14,%rdx
  lea    0x0(%r13,%rcx,4),%rsi
  mov    %rsi,0x28(%rsp)
  add    0x48(%rsp),%rax
  lea    0x0(%r13,%rax,4),%rsi
  movslq -0x48(%rsp),%rax
  mov    %r12d,-0x70(%rsp)
  mov    %rsi,-0x38(%rsp)
  mov    0x90(%rsp),%rcx
  mov    0x88(%rsp),%rsi
  shl    $0x2,%rax
  mov    0x98(%rsp),%r14
  add    %rsi,%rcx
  add    %rax,%rcx
  add    %r13,%rcx
  mov    %rcx,0x20(%rsp)
  lea    0x0(%r13,%rdx,4),%rcx
  mov    %rcx,-0x40(%rsp)
  mov    %r14,%rcx
  add    %rsi,%rcx
  mov    0xa0(%rsp),%rsi
  mov    %rcx,%rdx
  add    %rax,%rdx
  lea    0x0(%r13,%rdx,1),%rax
  mov    %rax,0x18(%rsp)
  lea    (%rsi,%r15,4),%rax
  mov    0x68(%rsp),%r15
  add    %r13,%rax
  mov    %rax,0x10(%rsp)
  movslq 0x8(%rsp),%rax
  lea    (%rax,%rbx,1),%rdx
  mov    -0x58(%rsp),%rbx
  add    0x40(%rsp),%rax
  lea    0x0(%r13,%rdx,4),%rcx
  lea    0x0(%r13,%rax,4),%rax
  mov    %rcx,0x8(%rsp)
  lea    0x0(%r13,%r15,4),%rcx
  mov    %rcx,-0x48(%rsp)
  mov    0x80(%rsp),%rcx
  mov    %rax,-0x50(%rsp)
  lea    0x0(,%rbx,4),%rax
  mov    %rcx,%rbx
  sub    %rsi,%rbx
  sub    %r14,%rcx
  mov    0x60(%rsp),%rsi
  mov    %rcx,%rdx
  add    %rax,%rbx
  xor    %ecx,%ecx
  add    %rax,%rdx
  add    %r13,%rbx
  lea    0x0(%r13,%rdx,1),%rax
  mov    0x3c(%rsp),%edx
  mov    %rax,-0x58(%rsp)
  nopl   0x0(%rax,%rax,1)
L210:
  movslq %edx,%rax
  movss  0x4(%rsi),%xmm1
  movss  (%rsi),%xmm3
  shl    $0x2,%rax
  lea    0x0(%r13,%rax,1),%r14
  lea    0x4(%r13,%rax,1),%rax
  xorps  %xmm0,%xmm1
  movss  (%rax),%xmm2
  movss  (%r14),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%rsi)
  movss  %xmm2,0x4(%rsi)
  movss  %xmm3,(%r14)
  movss  %xmm1,(%rax)
  lea    (%rdx,%rbp,1),%eax
  movss  0x4(%r11),%xmm1
  movss  (%r11),%xmm3
  movslq %eax,%r14
  sub    -0x70(%rsp),%eax
  shl    $0x2,%r14
  xorps  %xmm0,%xmm1
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  movss  (%r14),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%r11)
  movss  %xmm2,0x4(%r11)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  0x4(%r10),%xmm1
  add    %ebp,%eax
  shl    $0x2,%r14
  movss  (%r10),%xmm3
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  xorps  %xmm0,%xmm1
  movss  (%r14),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%r10)
  movss  %xmm2,0x4(%r10)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  0x4(%r9),%xmm1
  add    $0x2,%eax
  shl    $0x2,%r14
  movss  (%r9),%xmm3
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  xorps  %xmm0,%xmm1
  movss  (%r14),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%r9)
  movss  %xmm2,0x4(%r9)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  0x4(%r8),%xmm1
  movss  (%r8),%xmm3
  shl    $0x2,%r14
  sub    %ebp,%eax
  mov    0x28(%rsp),%r12
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  xorps  %xmm0,%xmm1
  movss  (%r14),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%r8)
  movss  %xmm2,0x4(%r8)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r14)
  mov    -0x38(%rsp),%r14
  movss  (%r12,%rcx,1),%xmm3
  movss  0x4(%r14,%rcx,1),%xmm1
  movslq %eax,%r14
  add    -0x70(%rsp),%eax
  shl    $0x2,%r14
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  xorps  %xmm0,%xmm1
  movss  (%r15),%xmm4
  movss  (%r14),%xmm2
  movss  %xmm4,(%r12,%rcx,1)
  mov    -0x38(%rsp),%r12
  xorps  %xmm0,%xmm2
  movss  %xmm2,0x4(%r12,%rcx,1)
  mov    0x20(%rsp),%r12
  movss  %xmm3,(%r15)
  mov    -0x40(%rsp),%r15
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  (%r12,%rcx,1),%xmm3
  sub    %ebp,%eax
  shl    $0x2,%r14
  movss  0x4(%r15,%rcx,1),%xmm1
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  movss  (%r15),%xmm4
  movss  (%r14),%xmm2
  xorps  %xmm0,%xmm1
  movss  %xmm4,(%r12,%rcx,1)
  mov    -0x40(%rsp),%r12
  xorps  %xmm0,%xmm2
  movss  %xmm2,0x4(%r12,%rcx,1)
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  (%rdi),%xmm3
  mov    0x18(%rsp),%r12
  shl    $0x2,%r14
  add    -0x8(%rsp),%eax
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  movss  0x4(%r12,%rcx,1),%xmm1
  movss  (%r14),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm1
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%rdi)
  movss  %xmm2,0x4(%r12,%rcx,1)
  mov    0x10(%rsp),%r12
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  add    %ebp,%eax
  movss  0xc(%rdi),%xmm1
  shl    $0x2,%r14
  movss  0x8(%r12,%rcx,1),%xmm3
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  xorps  %xmm0,%xmm1
  movss  (%r14),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,0x8(%r12,%rcx,1)
  mov    -0x20(%rsp),%r12
  movss  %xmm2,0xc(%rdi)
  movss  %xmm3,(%r15)
  mov    -0x78(%rsp),%r15
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  (%r12),%xmm3
  sub    -0x70(%rsp),%eax
  shl    $0x2,%r14
  movss  (%r15),%xmm1
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  movss  (%r15),%xmm4
  movss  (%r14),%xmm2
  xorps  %xmm0,%xmm1
  movss  %xmm4,(%r12)
  mov    -0x78(%rsp),%r12
  xorps  %xmm0,%xmm2
  movss  %xmm2,(%r12)
  mov    0x8(%rsp),%r12
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  0x8(%r12,%rcx,1),%xmm3
  mov    -0x48(%rsp),%r15
  shl    $0x2,%r14
  add    %ebp,%eax
  movss  0xc(%r15,%rcx,1),%xmm1
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  movss  (%r15),%xmm4
  movss  (%r14),%xmm2
  xorps  %xmm0,%xmm1
  movss  %xmm4,0x8(%r12,%rcx,1)
  mov    -0x48(%rsp),%r12
  xorps  %xmm0,%xmm2
  movss  %xmm2,0xc(%r12,%rcx,1)
  mov    -0x18(%rsp),%r12
  movss  %xmm3,(%r15)
  mov    -0x50(%rsp),%r15
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  0x8(%r12),%xmm3
  sub    $0x2,%eax
  shl    $0x2,%r14
  movss  0xc(%r15,%rcx,1),%xmm1
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  movss  (%r15),%xmm4
  movss  (%r14),%xmm2
  xorps  %xmm0,%xmm1
  movss  %xmm4,0x8(%r12)
  mov    -0x50(%rsp),%r12
  xorps  %xmm0,%xmm2
  movss  %xmm2,0xc(%r12,%rcx,1)
  mov    -0x10(%rsp),%r12
  movss  %xmm3,(%r15)
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  sub    %ebp,%eax
  movss  0xc(%rbx,%rcx,1),%xmm1
  shl    $0x2,%r14
  movss  0x8(%rbx,%rcx,1),%xmm3
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  xorps  %xmm0,%xmm1
  movss  (%r14),%xmm2
  movss  (%r15),%xmm4
  xorps  %xmm0,%xmm2
  movss  %xmm4,0x8(%rbx,%rcx,1)
  movss  %xmm2,0xc(%rbx,%rcx,1)
  movss  %xmm3,(%r15)
  mov    -0x58(%rsp),%r15
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  (%r12),%xmm3
  shl    $0x2,%r14
  movss  0xc(%r15,%rcx,1),%xmm1
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  movss  (%r15),%xmm4
  movss  (%r14),%xmm2
  xorps  %xmm0,%xmm1
  add    -0x70(%rsp),%eax
  movss  %xmm4,(%r12)
  mov    -0x58(%rsp),%r12
  xorps  %xmm0,%xmm2
  movss  %xmm2,0xc(%r12,%rcx,1)
  mov    -0x60(%rsp),%r12
  movss  %xmm3,(%r15)
  mov    -0x68(%rsp),%r15
  movss  %xmm1,(%r14)
  movslq %eax,%r14
  movss  (%r12),%xmm3
  sub    %ebp,%eax
  shl    $0x2,%r14
  movss  0x4(%r15),%xmm1
  cltq
  lea    0x0(%r13,%r14,1),%r15
  lea    0x4(%r13,%r14,1),%r14
  shl    $0x2,%rax
  movss  (%r15),%xmm4
  movss  (%r14),%xmm2
  xorps  %xmm0,%xmm1
  movss  %xmm4,(%r12)
  mov    -0x68(%rsp),%r12
  xorps  %xmm0,%xmm2
  movss  %xmm2,0x4(%r12)
  mov    -0x30(%rsp),%r12
  movss  %xmm3,(%r15)
  mov    -0x28(%rsp),%r15
  movss  %xmm1,(%r14)
  lea    0x0(%r13,%rax,1),%r14
  lea    0x4(%r13,%rax,1),%rax
  movss  (%r12),%xmm1
  movss  (%rax),%xmm2
  movss  (%r15),%xmm3
  movss  (%r14),%xmm4
  xorps  %xmm0,%xmm1
  xorps  %xmm0,%xmm2
  movss  %xmm4,(%r15)
  movss  %xmm2,(%r12)
  movss  %xmm3,(%r14)
  movss  %xmm1,(%rax)
  mov    -0x4(%rsp),%eax
  xor    %eax,%edx
  cmp    %edx,%eax
  jle    L175
  mov    -0x78(%rsp),%r12
  xchg   %ax,%ax
L128:
  sar    %eax
  xor    %eax,%edx
  cmp    %eax,%edx
  jl     L128
  mov    %r12,-0x78(%rsp)
L175:
  addq   $0x10,-0x20(%rsp)
  add    $0x10,%rsi
  add    $0x10,%r11
  add    $0x10,%r10
  addq   $0x10,-0x78(%rsp)
  add    $0x10,%r9
  add    $0x10,%r8
  add    $0x10,%rdi
  addq   $0x10,-0x18(%rsp)
  add    $0x10,%rcx
  addq   $0x10,-0x10(%rsp)
  addq   $0x10,-0x60(%rsp)
  addq   $0x10,-0x68(%rsp)
  addq   $0x10,-0x28(%rsp)
  addq   $0x10,-0x30(%rsp)
  cmp    %rsi,(%rsp)
  jne    L210
  mov    -0x70(%rsp),%r12d
L151:
  mov    0x3c(%rsp),%eax
  mov    %eax,-0x70(%rsp)
  jmp    L75
L138:
  mov    $0x4,%r14d
  jne    L197
  movl   $0x6,0x74(%rsp)
  mov    $0x8,%r12d
  mov    $0x4,%r14d
  jmp    L48
```

tool_calls: name: extract_symbolic_data
arguments: tag: D5
type_infered: byte[4]

tool: {"D5": [0x00,0x00,0x00,0x80]}

assistant: ```c
void bitrv2conj(int n, float *a) {
  int j0, k0, j1, k1, l, m, i, j, k, nh;
  float xr, xi, yr, yi;
  m = 4;
  for (l = n >> 2; l > 8; l >>= 2) {
    m <<= 1;
  }
  nh = n >> 1;
  if (l == 8) {
    j0 = 0;
    for (k0 = 0; k0 < m; k0 += 4) {
      k = k0;
      for (j = j0; j < j0 + k0; j += 4) {
        xr = a[j];
        xi = -a[j + 1];
        yr = a[k];
        yi = -a[k + 1];
        a[j] = yr;
        a[j + 1] = yi;
        a[k] = xr;
        a[k + 1] = xi;
        j1 = j + m;
        k1 = k + 2 * m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += m;
        k1 -= m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += m;
        k1 += 2 * m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += nh;
        k1 += 2;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= m;
        k1 -= 2 * m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= m;
        k1 += m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= m;
        k1 -= 2 * m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += 2;
        k1 += nh;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += m;
        k1 += 2 * m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += m;
        k1 -= m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += m;
        k1 += 2 * m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= nh;
        k1 -= 2;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= m;
        k1 -= 2 * m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= m;
        k1 += m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= m;
        k1 -= 2 * m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        for (i = nh >> 1; i > (k ^= i); i >>= 1)
          ;
      }
      k1 = j0 + k0;
      j1 = k1 + 2;
      k1 += nh;
      a[j1 - 1] = -a[j1 - 1];
      xr = a[j1];
      xi = -a[j1 + 1];
      yr = a[k1];
      yi = -a[k1 + 1];
      a[j1] = yr;
      a[j1 + 1] = yi;
      a[k1] = xr;
      a[k1 + 1] = xi;
      a[k1 + 3] = -a[k1 + 3];
      j1 += m;
      k1 += 2 * m;
      xr = a[j1];
      xi = -a[j1 + 1];
      yr = a[k1];
      yi = -a[k1 + 1];
      a[j1] = yr;
      a[j1 + 1] = yi;
      a[k1] = xr;
      a[k1 + 1] = xi;
      j1 += m;
      k1 -= m;
      xr = a[j1];
      xi = -a[j1 + 1];
      yr = a[k1];
      yi = -a[k1 + 1];
      a[j1] = yr;
      a[j1 + 1] = yi;
      a[k1] = xr;
      a[k1 + 1] = xi;
      j1 -= 2;
      k1 -= nh;
      xr = a[j1];
      xi = -a[j1 + 1];
      yr = a[k1];
      yi = -a[k1 + 1];
      a[j1] = yr;
      a[j1 + 1] = yi;
      a[k1] = xr;
      a[k1 + 1] = xi;
      j1 += nh + 2;
      k1 += nh + 2;
      xr = a[j1];
      xi = -a[j1 + 1];
      yr = a[k1];
      yi = -a[k1 + 1];
      a[j1] = yr;
      a[j1 + 1] = yi;
      a[k1] = xr;
      a[k1 + 1] = xi;
      j1 -= nh - m;
      k1 += 2 * m - 2;
      a[j1 - 1] = -a[j1 - 1];
      xr = a[j1];
      xi = -a[j1 + 1];
      yr = a[k1];
      yi = -a[k1 + 1];
      a[j1] = yr;
      a[j1 + 1] = yi;
      a[k1] = xr;
      a[k1 + 1] = xi;
      a[k1 + 3] = -a[k1 + 3];
      for (i = nh >> 1; i > (j0 ^= i); i >>= 1)
        ;
    }
  } else {
    j0 = 0;
    for (k0 = 0; k0 < m; k0 += 4) {
      k = k0;
      for (j = j0; j < j0 + k0; j += 4) {
        xr = a[j];
        xi = -a[j + 1];
        yr = a[k];
        yi = -a[k + 1];
        a[j] = yr;
        a[j + 1] = yi;
        a[k] = xr;
        a[k + 1] = xi;
        j1 = j + m;
        k1 = k + m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += nh;
        k1 += 2;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= m;
        k1 -= m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += 2;
        k1 += nh;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 += m;
        k1 += m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= nh;
        k1 -= 2;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        j1 -= m;
        k1 -= m;
        xr = a[j1];
        xi = -a[j1 + 1];
        yr = a[k1];
        yi = -a[k1 + 1];
        a[j1] = yr;
        a[j1 + 1] = yi;
        a[k1] = xr;
        a[k1 + 1] = xi;
        for (i = nh >> 1; i > (k ^= i); i >>= 1)
          ;
      }
      k1 = j0 + k0;
      j1 = k1 + 2;
      k1 += nh;
      a[j1 - 1] = -a[j1 - 1];
      xr = a[j1];
      xi = -a[j1 + 1];
      yr = a[k1];
      yi = -a[k1 + 1];
      a[j1] = yr;
      a[j1 + 1] = yi;
      a[k1] = xr;
      a[k1 + 1] = xi;
      a[k1 + 3] = -a[k1 + 3];
      j1 += m;
      k1 += m;
      a[j1 - 1] = -a[j1 - 1];
      xr = a[j1];
      xi = -a[j1 + 1];
      yr = a[k1];
      yi = -a[k1 + 1];
      a[j1] = yr;
      a[j1 + 1] = yi;
      a[k1] = xr;
      a[k1 + 1] = xi;
      a[k1 + 3] = -a[k1 + 3];
      for (i = nh >> 1; i > (j0 ^= i); i >>= 1)
        ;
    }
  }
}
```