user: 这段汇编代码用C语言表示是什么样的：

```asm
<form_component_prediction>:
  endbr64
  push   %r15
  mov    %ecx,%r15d
  push   %r14
  push   %r13
  mov    %edx,%r13d
  push   %r12
  push   %rbp
  mov    %r8d,%ebp
  push   %rbx
  sub    $0x1a8,%rsp
  mov    0x1f8(%rsp),%r8d
  mov    0x1e8(%rsp),%eax
  mov    %r9d,0x18(%rsp)
  mov    0x1f0(%rsp),%ecx
  movslq 0x1e0(%rsp),%r9
  mov    %r8d,%edx
  mov    0x200(%rsp),%r14d
  and    $0x1,%r8d
  sar    %edx
  mov    %ecx,%r10d
  and    $0x1,%ecx
  add    %eax,%edx
  imul   %r13d,%eax
  sar    %r10d
  imul   %r13d,%edx
  movslq %r10d,%r10
  add    %r9,%r10
  cltq
  movslq %edx,%rdx
  add    %r9,%rax
  add    %r10,%rdx
  lea    (%rsi,%rax,1),%rbx
  lea    (%rdi,%rdx,1),%r12
  cmp    %rbx,%r12
  je     L1652
L603:
  test   %ecx,%ecx
  je     L729
  test   %r8d,%r8d
  jne    L1029
  test   %r14d,%r14d
  jne    L270
  mov    0x18(%rsp),%esi
  test   %esi,%esi
  jle    L106
  movslq %r15d,%rax
  test   %ebp,%ebp
  jle    L106
  mov    %ebp,%esi
  mov    %ebp,%edx
  lea    -0x1(%rbp),%ecx
  mov    %ebp,%r8d
  and    $0xf,%esi
  shr    $0x4,%edx
  mov    %ecx,(%rsp)
  and    $0xfffffff0,%r8d
  mov    %esi,0x8(%rsp)
  sub    $0x1,%esi
  lea    -0x1(%rdx),%ecx
  xor    %edi,%edi
  mov    %esi,0x10(%rsp)
  add    $0x1,%rcx
  mov    %ebp,%r13d
  shl    $0x4,%rcx
  nopw   0x0(%rax,%rax,1)
L424:
  lea    0x1(%r12),%rsi
  mov    %rbx,%rdx
  sub    %rsi,%rdx
  cmp    $0xf,%rdx
  jbe    L965
  cmpl   $0x6,(%rsp)
  jbe    L965
  cmpl   $0xe,(%rsp)
  jbe    L1116
  xor    %edx,%edx
  nopl   0x0(%rax,%rax,1)
L1657:
  movdqu (%r12,%rdx,1),%xmm0
  movdqu 0x1(%r12,%rdx,1),%xmm4
  pavgb  %xmm4,%xmm0
  movups %xmm0,(%rbx,%rdx,1)
  add    $0x10,%rdx
  cmp    %rdx,%rcx
  jne    L1657
  cmp    %r8d,%ebp
  je     L1492
  cmpl   $0x6,0x10(%rsp)
  mov    0x8(%rsp),%r9d
  jbe    L1441
  mov    %r8d,%esi
  mov    %r8d,%edx
L1507:
  movq   (%r12,%rsi,1),%xmm0
  movq   0x1(%r12,%rsi,1),%xmm1
  pavgb  %xmm1,%xmm0
  movq   %xmm0,(%rbx,%rsi,1)
  mov    %r9d,%esi
  and    $0xfffffff8,%esi
  add    %esi,%edx
  cmp    %esi,%r9d
  je     L1492
L1553:
  lea    0x1(%rdx),%r9d
  movslq %edx,%rsi
  movslq %r9d,%r10
  movzbl (%r12,%rsi,1),%r15d
  lea    (%r12,%r10,1),%r11
  movzbl (%r11),%r14d
  lea    0x1(%r15,%r14,1),%r14d
  shr    %r14d
  mov    %r14b,(%rbx,%rsi,1)
  cmp    %r9d,%ebp
  jle    L1492
  lea    0x2(%rdx),%esi
  movzbl (%r11),%r15d
  movslq %esi,%r9
  lea    (%r12,%r9,1),%r14
  movzbl (%r14),%r11d
  lea    0x1(%r15,%r11,1),%r11d
  shr    %r11d
  mov    %r11b,(%rbx,%r10,1)
  cmp    %esi,%ebp
  jle    L1492
  lea    0x3(%rdx),%esi
  movzbl (%r14),%r15d
  movslq %esi,%r10
  lea    (%r12,%r10,1),%r11
  movzbl (%r11),%r14d
  lea    0x1(%r15,%r14,1),%r14d
  shr    %r14d
  mov    %r14b,(%rbx,%r9,1)
  cmp    %esi,%ebp
  jle    L1492
  lea    0x4(%rdx),%esi
  movzbl (%r11),%r15d
  movslq %esi,%r9
  lea    (%r12,%r9,1),%r14
  movzbl (%r14),%r11d
  lea    0x1(%r15,%r11,1),%r11d
  shr    %r11d
  mov    %r11b,(%rbx,%r10,1)
  cmp    %esi,%ebp
  jle    L1492
  lea    0x5(%rdx),%esi
  movzbl (%r14),%r15d
  movslq %esi,%r10
  lea    (%r12,%r10,1),%r11
  movzbl (%r11),%r14d
  lea    0x1(%r15,%r14,1),%r14d
  shr    %r14d
  mov    %r14b,(%rbx,%r9,1)
  cmp    %esi,%ebp
  jle    L1492
  lea    0x6(%rdx),%esi
  movzbl (%r11),%r15d
  movslq %esi,%r9
  lea    (%r12,%r9,1),%r14
  movzbl (%r14),%r11d
  lea    0x1(%r15,%r11,1),%r11d
  shr    %r11d
  mov    %r11b,(%rbx,%r10,1)
  cmp    %esi,%ebp
  jle    L1492
  add    $0x7,%edx
  movzbl (%r14),%esi
  movslq %edx,%rdx
  movzbl (%r12,%rdx,1),%edx
  lea    0x1(%rdx,%rsi,1),%edx
  shr    %edx
  mov    %dl,(%rbx,%r9,1)
L1492:
  add    %rax,%r12
  add    %rax,%rbx
  add    $0x1,%edi
  cmp    %edi,0x18(%rsp)
  jne    L424
  jmp    L106
L1029:
  test   %r14d,%r14d
  je     L1655
  mov    0x18(%rsp),%eax
  test   %eax,%eax
  jle    L106
  movslq %r15d,%r8
  test   %ebp,%ebp
  jle    L106
  mov    %ebp,%r14d
  mov    %ebp,%edx
  movslq %r13d,%rcx
  movdqa D38(%rip),%xmm5
  and    $0xfffffff0,%r14d
  shr    $0x4,%edx
  lea    0x1(%r12,%rcx,1),%r9
  xor    %r11d,%r11d
  mov    %r14d,%edi
  lea    -0x1(%rdx),%r10d
  lea    0x1(%r12),%rax
  add    %r12,%rcx
  mov    %rdi,(%rsp)
  add    $0x1,%r10
  lea    -0x1(%rbp),%r13d
  pxor   %xmm2,%xmm2
  movdqa D13(%rip),%xmm4
  movdqa D39(%rip),%xmm3
  shl    $0x4,%r10
  mov    %ebp,%r12d
  nopl   0x0(%rax)
L535:
  mov    %rbx,%rdx
  lea    -0x1(%rax),%rsi
  sub    %r9,%rdx
  cmp    $0xf,%rdx
  mov    %rbx,%rdx
  seta   %dil
  sub    %rax,%rdx
  cmp    $0xf,%rdx
  seta   %dl
  test   %dl,%dil
  je     L1642
  xor    %edx,%edx
  cmp    $0xe,%r13d
  jbe    L1642
  nopl   0x0(%rax)
L307:
  movdqu (%rsi,%rdx,1),%xmm9
  movdqu 0x1(%rsi,%rdx,1),%xmm0
  movdqu (%rcx,%rdx,1),%xmm8
  movdqu (%r9,%rdx,1),%xmm7
  movdqa %xmm9,%xmm10
  movdqa %xmm0,%xmm1
  movdqu (%rbx,%rdx,1),%xmm6
  punpckhbw %xmm2,%xmm9
  punpcklbw %xmm2,%xmm10
  punpcklbw %xmm2,%xmm1
  movdqa %xmm8,%xmm11
  paddw  %xmm10,%xmm1
  movdqa %xmm7,%xmm10
  punpcklbw %xmm2,%xmm11
  punpcklbw %xmm2,%xmm10
  punpckhbw %xmm2,%xmm0
  punpckhbw %xmm2,%xmm8
  punpckhbw %xmm2,%xmm7
  paddw  %xmm11,%xmm10
  paddw  %xmm9,%xmm0
  paddw  %xmm8,%xmm7
  paddw  %xmm10,%xmm1
  movdqa %xmm6,%xmm10
  paddw  %xmm7,%xmm0
  paddw  %xmm5,%xmm1
  punpcklbw %xmm2,%xmm10
  paddw  %xmm5,%xmm0
  punpckhbw %xmm2,%xmm6
  paddw  %xmm4,%xmm10
  psrlw  $0x2,%xmm1
  psrlw  $0x2,%xmm0
  paddw  %xmm4,%xmm6
  paddw  %xmm10,%xmm1
  paddw  %xmm6,%xmm0
  psrlw  $0x1,%xmm1
  psrlw  $0x1,%xmm0
  pand   %xmm3,%xmm1
  pand   %xmm3,%xmm0
  packuswb %xmm0,%xmm1
  movups %xmm1,(%rbx,%rdx,1)
  add    $0x10,%rdx
  cmp    %rdx,%r10
  jne    L307
  cmp    %r14d,%ebp
  je     L233
  mov    (%rsp),%rdx
  nopl   0x0(%rax)
L961:
  movzbl 0x1(%rsi,%rdx,1),%r15d
  movzbl (%rsi,%rdx,1),%edi
  add    %r15d,%edi
  movzbl (%rcx,%rdx,1),%r15d
  add    %r15d,%edi
  movzbl 0x1(%rcx,%rdx,1),%r15d
  lea    0x2(%rdi,%r15,1),%edi
  movzbl (%rbx,%rdx,1),%r15d
  shr    $0x2,%edi
  lea    0x1(%rdi,%r15,1),%edi
  sar    %edi
  mov    %dil,(%rbx,%rdx,1)
  add    $0x1,%rdx
  cmp    %edx,%ebp
  jg     L961
L233:
  add    %r8,%rbx
  add    $0x1,%r11d
  add    %r8,%r9
  add    %r8,%rcx
  add    %r8,%rax
  cmp    %r11d,0x18(%rsp)
  jne    L535
  jmp    L106
  nopl   0x0(%rax,%rax,1)
L729:
  test   %r8d,%r8d
  jne    L682
  test   %r14d,%r14d
  je     L1641
  mov    0x18(%rsp),%ecx
  test   %ecx,%ecx
  jle    L106
  movslq %r15d,%rax
  test   %ebp,%ebp
  jle    L106
  mov    %ebp,%edx
  mov    %ebp,%r13d
  mov    %ebp,%r9d
  xor    %r8d,%r8d
  shr    $0x4,%edx
  and    $0xf,%r13d
  lea    -0x1(%rbp),%r11d
  and    $0xfffffff0,%r9d
  lea    -0x1(%rdx),%esi
  mov    %r13d,0x18(%rsp)
  lea    -0x1(%r13),%r14d
  mov    %ebp,%r10d
  add    $0x1,%rsi
  mov    %ecx,%r13d
  shl    $0x4,%rsi
  nopl   (%rax)
L1279:
  lea    0x1(%r12),%rcx
  mov    %rbx,%rdx
  sub    %rcx,%rdx
  cmp    $0xe,%rdx
  jbe    L635
  cmp    $0x6,%r11d
  jbe    L635
  cmp    $0xe,%r11d
  jbe    L1051
  xor    %edx,%edx
  nopl   0x0(%rax,%rax,1)
L1408:
  movdqu (%rbx,%rdx,1),%xmm0
  movdqu (%r12,%rdx,1),%xmm4
  pavgb  %xmm4,%xmm0
  movups %xmm0,(%rbx,%rdx,1)
  add    $0x10,%rdx
  cmp    %rdx,%rsi
  jne    L1408
  cmp    %r9d,%ebp
  je     L678
  mov    0x18(%rsp),%edi
  cmp    $0x6,%r14d
  jbe    L859
  mov    %r9d,%ecx
  mov    %r9d,%edx
L522:
  lea    (%rbx,%rcx,1),%r15
  movq   (%r12,%rcx,1),%xmm1
  mov    %edi,%ecx
  movq   (%r15),%xmm0
  and    $0xfffffff8,%ecx
  add    %ecx,%edx
  pavgb  %xmm1,%xmm0
  movq   %xmm0,(%r15)
  cmp    %edi,%ecx
  je     L678
L532:
  movslq %edx,%rdi
  lea    (%rbx,%rdi,1),%rcx
  movzbl (%r12,%rdi,1),%r15d
  movzbl (%rcx),%edi
  lea    0x1(%r15,%rdi,1),%edi
  sar    %edi
  mov    %dil,(%rcx)
  lea    0x1(%rdx),%ecx
  cmp    %ecx,%ebp
  jle    L678
  movslq %ecx,%rdi
  lea    (%rbx,%rdi,1),%rcx
  movzbl (%r12,%rdi,1),%r15d
  movzbl (%rcx),%edi
  lea    0x1(%r15,%rdi,1),%edi
  sar    %edi
  mov    %dil,(%rcx)
  lea    0x2(%rdx),%ecx
  cmp    %ecx,%ebp
  jle    L678
  movslq %ecx,%rdi
  lea    (%rbx,%rdi,1),%rcx
  movzbl (%r12,%rdi,1),%r15d
  movzbl (%rcx),%edi
  lea    0x1(%r15,%rdi,1),%edi
  sar    %edi
  mov    %dil,(%rcx)
  lea    0x3(%rdx),%ecx
  cmp    %ecx,%ebp
  jle    L678
  movslq %ecx,%rdi
  lea    (%rbx,%rdi,1),%rcx
  movzbl (%r12,%rdi,1),%r15d
  movzbl (%rcx),%edi
  lea    0x1(%r15,%rdi,1),%edi
  sar    %edi
  mov    %dil,(%rcx)
  lea    0x4(%rdx),%ecx
  cmp    %ecx,%ebp
  jle    L678
  movslq %ecx,%rdi
  lea    (%rbx,%rdi,1),%rcx
  movzbl (%r12,%rdi,1),%r15d
  movzbl (%rcx),%edi
  lea    0x1(%r15,%rdi,1),%edi
  sar    %edi
  mov    %dil,(%rcx)
  lea    0x5(%rdx),%ecx
  cmp    %ecx,%ebp
  jle    L678
  movslq %ecx,%rdi
  add    $0x6,%edx
  lea    (%rbx,%rdi,1),%rcx
  movzbl (%r12,%rdi,1),%r15d
  movzbl (%rcx),%edi
  lea    0x1(%r15,%rdi,1),%edi
  sar    %edi
  mov    %dil,(%rcx)
  cmp    %edx,%ebp
  jle    L678
  movslq %edx,%rdx
  lea    (%rbx,%rdx,1),%rcx
  movzbl (%r12,%rdx,1),%edi
  movzbl (%rcx),%edx
  lea    0x1(%rdi,%rdx,1),%edx
  sar    %edx
  mov    %dl,(%rcx)
L678:
  add    $0x1,%r8d
  add    %rax,%r12
  add    %rax,%rbx
  cmp    %r8d,%r13d
  jne    L1279
  jmp    L106
  nop
L682:
  test   %r14d,%r14d
  je     L23
  mov    0x18(%rsp),%edi
  test   %edi,%edi
  jle    L106
  movslq %r15d,%rax
  test   %ebp,%ebp
  jle    L106
  mov    %ebp,%edx
  movslq %r13d,%rcx
  mov    %ebp,%r11d
  xor    %r10d,%r10d
  shr    $0x4,%edx
  mov    %rcx,0x8(%rsp)
  lea    (%r12,%rcx,1),%rsi
  mov    %ebp,%ecx
  lea    -0x1(%rdx),%edi
  and    $0xf,%ecx
  lea    -0x1(%rbp),%r15d
  and    $0xfffffff0,%r11d
  add    $0x1,%rdi
  mov    %ecx,0x10(%rsp)
  sub    $0x1,%ecx
  mov    %ebp,%r14d
  shl    $0x4,%rdi
  mov    %ecx,0x1c(%rsp)
  mov    %rdi,(%rsp)
  nopl   0x0(%rax)
L212:
  lea    0x1(%rsi),%rcx
  mov    %rbx,%rdx
  sub    %rcx,%rdx
  cmp    $0xe,%rdx
  seta   %cl
  cmp    $0x6,%r15d
  seta   %dl
  test   %dl,%cl
  je     L367
  lea    0x1(%r12),%rcx
  mov    %rbx,%rdx
  sub    %rcx,%rdx
  cmp    $0xe,%rdx
  jbe    L367
  cmp    $0xe,%r15d
  jbe    L1582
  mov    (%rsp),%rdi
  xor    %edx,%edx
  nopl   (%rax)
L949:
  movdqu (%r12,%rdx,1),%xmm0
  movdqu (%rsi,%rdx,1),%xmm4
  movdqu (%rbx,%rdx,1),%xmm5
  pavgb  %xmm4,%xmm0
  pavgb  %xmm5,%xmm0
  movups %xmm0,(%rbx,%rdx,1)
  add    $0x10,%rdx
  cmp    %rdi,%rdx
  jne    L949
  mov    %rdi,(%rsp)
  cmp    %ebp,%r11d
  je     L146
  cmpl   $0x6,0x1c(%rsp)
  mov    0x10(%rsp),%r9d
  mov    %r11d,%edx
  mov    %r11d,%ecx
  jbe    L1232
L1296:
  mov    0x8(%rsp),%rdi
  movq   (%r12,%rcx,1),%xmm1
  lea    (%rbx,%rcx,1),%r8
  add    %r12,%rcx
  movq   (%rcx,%rdi,1),%xmm0
  mov    %r9d,%ecx
  and    $0xfffffff8,%ecx
  pavgb  %xmm0,%xmm1
  movq   (%r8),%xmm0
  add    %ecx,%edx
  pavgb  %xmm1,%xmm0
  movq   %xmm0,(%r8)
  cmp    %r9d,%ecx
  je     L146
L1232:
  lea    0x0(%r13,%rdx,1),%ecx
  movslq %edx,%r9
  movslq %ecx,%rcx
  lea    (%rbx,%r9,1),%r8
  movzbl (%r12,%r9,1),%r9d
  movzbl (%r12,%rcx,1),%ecx
  lea    0x1(%rcx,%r9,1),%ecx
  movzbl (%r8),%r9d
  shr    %ecx
  lea    0x1(%rcx,%r9,1),%ecx
  sar    %ecx
  mov    %cl,(%r8)
  lea    0x1(%rdx),%ecx
  cmp    %ebp,%ecx
  jge    L146
  movslq %ecx,%r9
  add    %r13d,%ecx
  movslq %ecx,%rcx
  lea    (%rbx,%r9,1),%r8
  movzbl (%r12,%r9,1),%r9d
  movzbl (%r12,%rcx,1),%ecx
  lea    0x1(%rcx,%r9,1),%ecx
  movzbl (%r8),%r9d
  shr    %ecx
  lea    0x1(%rcx,%r9,1),%ecx
  sar    %ecx
  mov    %cl,(%r8)
  lea    0x2(%rdx),%ecx
  cmp    %ebp,%ecx
  jge    L146
  movslq %ecx,%r9
  add    %r13d,%ecx
  movslq %ecx,%rcx
  lea    (%rbx,%r9,1),%r8
  movzbl (%r12,%r9,1),%r9d
  movzbl (%r12,%rcx,1),%ecx
  lea    0x1(%rcx,%r9,1),%ecx
  movzbl (%r8),%r9d
  shr    %ecx
  lea    0x1(%rcx,%r9,1),%ecx
  sar    %ecx
  mov    %cl,(%r8)
  lea    0x3(%rdx),%ecx
  cmp    %ebp,%ecx
  jge    L146
  movslq %ecx,%r9
  add    %r13d,%ecx
  movslq %ecx,%rcx
  lea    (%rbx,%r9,1),%r8
  movzbl (%r12,%r9,1),%r9d
  movzbl (%r12,%rcx,1),%ecx
  lea    0x1(%rcx,%r9,1),%ecx
  movzbl (%r8),%r9d
  shr    %ecx
  lea    0x1(%rcx,%r9,1),%ecx
  sar    %ecx
  mov    %cl,(%r8)
  lea    0x4(%rdx),%ecx
  cmp    %ebp,%ecx
  jge    L146
  movslq %ecx,%r9
  add    %r13d,%ecx
  movslq %ecx,%rcx
  lea    (%rbx,%r9,1),%r8
  movzbl (%r12,%r9,1),%r9d
  movzbl (%r12,%rcx,1),%ecx
  lea    0x1(%rcx,%r9,1),%ecx
  movzbl (%r8),%r9d
  shr    %ecx
  lea    0x1(%rcx,%r9,1),%ecx
  sar    %ecx
  mov    %cl,(%r8)
  lea    0x5(%rdx),%ecx
  cmp    %ecx,%ebp
  jle    L146
  movslq %ecx,%r9
  add    %r13d,%ecx
  add    $0x6,%edx
  movslq %ecx,%rcx
  lea    (%rbx,%r9,1),%r8
  movzbl (%r12,%r9,1),%r9d
  movzbl (%r12,%rcx,1),%ecx
  lea    0x1(%rcx,%r9,1),%ecx
  movzbl (%r8),%r9d
  shr    %ecx
  lea    0x1(%rcx,%r9,1),%ecx
  sar    %ecx
  mov    %cl,(%r8)
  cmp    %ebp,%edx
  jge    L146
  movslq %edx,%r8
  add    %r13d,%edx
  movslq %edx,%rdx
  lea    (%rbx,%r8,1),%rcx
  movzbl (%r12,%r8,1),%r8d
  movzbl (%r12,%rdx,1),%edx
  lea    0x1(%rdx,%r8,1),%edx
  movzbl (%rcx),%r8d
  shr    %edx
  lea    0x1(%rdx,%r8,1),%edx
  sar    %edx
  mov    %dl,(%rcx)
L146:
  add    %rax,%r12
  add    %rax,%rbx
  add    $0x1,%r10d
  add    %rax,%rsi
  cmp    %r10d,0x18(%rsp)
  jne    L212
  jmp    L106
  nopw   0x0(%rax,%rax,1)
L1641:
  mov    0x18(%rsp),%edx
  test   %edx,%edx
  jle    L106
  movslq %r15d,%rcx
  test   %ebp,%ebp
  jle    L106
  mov    %ebp,%eax
  mov    %ebp,%r11d
  mov    %ebp,%r8d
  xor    %edi,%edi
  shr    $0x4,%eax
  and    $0xf,%r11d
  lea    -0x1(%rbp),%r10d
  and    $0xfffffff0,%r8d
  lea    -0x1(%rax),%esi
  lea    -0x1(%r11),%r13d
  mov    %ebp,%r9d
  add    $0x1,%rsi
  shl    $0x4,%rsi
  nopw   0x0(%rax,%rax,1)
L1043:
  lea    0x1(%r12),%r14
  mov    %rbx,%rax
  sub    %r14,%rax
  cmp    $0xe,%rax
  jbe    L1631
  cmp    $0x6,%r10d
  jbe    L1631
  cmp    $0xe,%r10d
  jbe    L1065
  xor    %eax,%eax
  nopl   0x0(%rax,%rax,1)
L743:
  movdqu (%r12,%rax,1),%xmm5
  movups %xmm5,(%rbx,%rax,1)
  add    $0x10,%rax
  cmp    %rsi,%rax
  jne    L743
  cmp    %r8d,%ebp
  je     L125
  mov    %r11d,%r15d
  cmp    $0x6,%r13d
  jbe    L122
  mov    %r8d,%r14d
  mov    %r8d,%eax
L881:
  movq   (%r12,%r14,1),%xmm0
  movq   %xmm0,(%rbx,%r14,1)
  mov    %r15d,%r14d
  and    $0xfffffff8,%r14d
  add    %r14d,%eax
  cmp    %r15d,%r14d
  je     L125
L681:
  movslq %eax,%r14
  movzbl (%r12,%r14,1),%r15d
  mov    %r15b,(%rbx,%r14,1)
  lea    0x1(%rax),%r14d
  cmp    %r14d,%ebp
  jle    L125
  movslq %r14d,%r14
  movzbl (%r12,%r14,1),%r15d
  mov    %r15b,(%rbx,%r14,1)
  lea    0x2(%rax),%r14d
  cmp    %r14d,%ebp
  jle    L125
  movslq %r14d,%r14
  movzbl (%r12,%r14,1),%r15d
  mov    %r15b,(%rbx,%r14,1)
  lea    0x3(%rax),%r14d
  cmp    %r14d,%ebp
  jle    L125
  movslq %r14d,%r14
  movzbl (%r12,%r14,1),%r15d
  mov    %r15b,(%rbx,%r14,1)
  lea    0x4(%rax),%r14d
  cmp    %r14d,%ebp
  jle    L125
  movslq %r14d,%r14
  movzbl (%r12,%r14,1),%r15d
  mov    %r15b,(%rbx,%r14,1)
  lea    0x5(%rax),%r14d
  cmp    %r14d,%ebp
  jle    L125
  movslq %r14d,%r14
  add    $0x6,%eax
  movzbl (%r12,%r14,1),%r15d
  mov    %r15b,(%rbx,%r14,1)
  cmp    %eax,%ebp
  jle    L125
  cltq
  movzbl (%r12,%rax,1),%r14d
  mov    %r14b,(%rbx,%rax,1)
L125:
  add    $0x1,%edi
  add    %rcx,%r12
  add    %rcx,%rbx
  cmp    %edi,%edx
  jne    L1043
L106:
  add    $0x1a8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L1655:
  mov    0x18(%rsp),%edx
  test   %edx,%edx
  jle    L106
  movslq %r15d,%rcx
  test   %ebp,%ebp
  jle    L106
  mov    %ebp,%eax
  mov    %ebp,%r8d
  pxor   %xmm2,%xmm2
  movslq %r13d,%rdx
  and    $0xfffffff0,%r8d
  shr    $0x4,%eax
  add    %r12,%rdx
  lea    -0x1(%rax),%edi
  lea    0x0(%r13,%r8,1),%eax
  mov    %r8d,%r9d
  movslq %eax,%r11
  add    $0x1,%eax
  lea    0x1(%r8),%r10d
  add    $0x1,%rdi
  cltq
  lea    0x2(%r8),%r15d
  mov    %r11,0x30(%rsp)
  shl    $0x4,%rdi
  mov    %rax,0x28(%rsp)
  lea    (%r10,%r13,1),%eax
  movslq %eax,%rsi
  add    $0x1,%eax
  mov    %r10d,0x40(%rsp)
  cltq
  mov    %rsi,0x50(%rsp)
  mov    %rax,0x48(%rsp)
  lea    0x3(%r8),%eax
  mov    %rax,%rsi
  mov    %eax,0x78(%rsp)
  mov    %rax,0x198(%rsp)
  lea    (%r15,%r13,1),%eax
  movslq %eax,%r11
  add    $0x1,%eax
  mov    %r15d,0x44(%rsp)
  mov    %r11,0x60(%rsp)
  movslq %eax,%r11
  lea    0x4(%r8),%eax
  mov    %r11,0x68(%rsp)
  mov    %rax,%r11
  mov    %eax,0x7c(%rsp)
  mov    %rax,(%rsp)
  lea    (%rsi,%r13,1),%eax
  movslq %eax,%rsi
  add    $0x1,%eax
  mov    %rsi,0x88(%rsp)
  movslq %eax,%rsi
  lea    0x5(%r8),%eax
  mov    %rsi,0x80(%rsp)
  mov    %rax,%rsi
  mov    %eax,0xb0(%rsp)
  mov    %rax,0x10(%rsp)
  lea    (%r11,%r13,1),%eax
  movslq %eax,%r11
  add    $0x1,%eax
  mov    %r11,0xa0(%rsp)
  movslq %eax,%r11
  lea    0x6(%r8),%eax
  mov    %r11,0x98(%rsp)
  mov    %rax,%r11
  mov    %eax,0xb4(%rsp)
  mov    %rax,0x20(%rsp)
  lea    (%rsi,%r13,1),%eax
  movslq %eax,%rsi
  add    $0x1,%eax
  mov    %rsi,0xc0(%rsp)
  movslq %eax,%rsi
  lea    0x7(%r8),%eax
  mov    %rsi,0xb8(%rsp)
  mov    %rax,%rsi
  mov    %eax,0xe8(%rsp)
  mov    %rax,0x38(%rsp)
  lea    (%r11,%r13,1),%eax
  movslq %eax,%r11
  add    $0x1,%eax
  mov    %r11,0xd8(%rsp)
  movslq %eax,%r11
  lea    0x8(%r8),%eax
  mov    %r11,0xd0(%rsp)
  mov    %rax,%r11
  mov    %eax,0xec(%rsp)
  mov    %rax,0x58(%rsp)
  lea    (%rsi,%r13,1),%eax
  movslq %eax,%rsi
  add    $0x1,%eax
  mov    %rsi,0xf8(%rsp)
  movslq %eax,%rsi
  lea    0x9(%r8),%eax
  mov    %rsi,0xf0(%rsp)
  mov    %rax,%rsi
  mov    %eax,0x120(%rsp)
  mov    %rax,0x70(%rsp)
  lea    (%r11,%r13,1),%eax
  movslq %eax,%r11
  add    $0x1,%eax
  mov    %r11,0x108(%rsp)
  movslq %eax,%r11
  lea    0xa(%r8),%eax
  movdqa D38(%rip),%xmm5
  mov    %r11,0x110(%rsp)
  mov    %rax,%r11
  movdqa D39(%rip),%xmm4
  mov    %eax,0x124(%rsp)
  mov    %rax,0x90(%rsp)
  lea    (%rsi,%r13,1),%eax
  movslq %eax,%rsi
  add    $0x1,%eax
  mov    %r8d,0x1c(%rsp)
  mov    %rsi,0x118(%rsp)
  movslq %eax,%rsi
  lea    0xb(%r8),%eax
  mov    %rsi,0x128(%rsp)
  mov    %rax,%rsi
  mov    %eax,0x140(%rsp)
  mov    %rax,0xa8(%rsp)
  lea    0x0(%r13,%r11,1),%eax
  movslq %eax,%r11
  add    $0x1,%eax
  mov    %r11,0x130(%rsp)
  movslq %eax,%r11
  lea    0xc(%r8),%eax
  mov    %r11,0x138(%rsp)
  mov    %rax,%r11
  mov    %eax,0x144(%rsp)
  mov    %rax,0xc8(%rsp)
  lea    0x0(%r13,%rsi,1),%eax
  movslq %eax,%rsi
  add    $0x1,%eax
  mov    %rsi,0x148(%rsp)
  movslq %eax,%rsi
  lea    0xd(%r8),%eax
  mov    %rsi,0x150(%rsp)
  mov    %rax,%rsi
  mov    %eax,0x168(%rsp)
  mov    %rax,0xe0(%rsp)
  lea    0x0(%r13,%r11,1),%eax
  movslq %eax,%r11
  add    $0x1,%eax
  mov    %r11,0x158(%rsp)
  movslq %eax,%r11
  lea    0xe(%r8),%eax
  mov    %r11,0x160(%rsp)
  mov    %rax,%r11
  mov    %eax,0x16c(%rsp)
  mov    %rax,0x100(%rsp)
  lea    0x0(%r13,%rsi,1),%eax
  add    %r11d,%r13d
  mov    %ebp,%r11d
  movslq %eax,%rsi
  add    $0x1,%eax
  mov    %rsi,0x170(%rsp)
  movslq %eax,%rsi
  mov    %rsi,0x178(%rsp)
  lea    0xf(%r8),%esi
  mov    0x198(%rsp),%r8
  mov    %rsi,0x180(%rsp)
  movslq %r13d,%rsi
  add    $0x1,%r13d
  mov    %rsi,0x188(%rsp)
  movslq %r13d,%rsi
  mov    %rsi,0x190(%rsp)
  lea    -0x1(%rbp),%esi
  mov    %esi,0x8(%rsp)
  nopl   0x0(%rax,%rax,1)
L232:
  cmpl   $0xe,0x8(%rsp)
  lea    0x1(%rdx),%rsi
  mov    %rbx,%rax
  seta   %r13b
  sub    %rsi,%rax
  cmp    $0xf,%rax
  seta   %al
  test   %al,%r13b
  je     L717
  lea    0x1(%r12),%rax
  mov    %rbx,%r13
  sub    %rax,%r13
  xor    %eax,%eax
  cmp    $0xf,%r13
  jbe    L717
  nopw   0x0(%rax,%rax,1)
L1159:
  movdqu (%r12,%rax,1),%xmm7
  movdqu 0x1(%r12,%rax,1),%xmm0
  movdqu (%rdx,%rax,1),%xmm6
  movdqu (%rsi,%rax,1),%xmm3
  movdqa %xmm7,%xmm8
  movdqa %xmm0,%xmm1
  punpckhbw %xmm2,%xmm7
  punpcklbw %xmm2,%xmm8
  punpcklbw %xmm2,%xmm1
  movdqa %xmm6,%xmm9
  paddw  %xmm8,%xmm1
  movdqa %xmm3,%xmm8
  punpcklbw %xmm2,%xmm9
  punpcklbw %xmm2,%xmm8
  punpckhbw %xmm2,%xmm0
  punpckhbw %xmm2,%xmm6
  punpckhbw %xmm2,%xmm3
  paddw  %xmm9,%xmm8
  paddw  %xmm7,%xmm0
  paddw  %xmm6,%xmm3
  paddw  %xmm8,%xmm1
  paddw  %xmm3,%xmm0
  paddw  %xmm5,%xmm1
  paddw  %xmm5,%xmm0
  psrlw  $0x2,%xmm1
  psrlw  $0x2,%xmm0
  pand   %xmm4,%xmm1
  pand   %xmm4,%xmm0
  packuswb %xmm0,%xmm1
  movups %xmm1,(%rbx,%rax,1)
  add    $0x10,%rax
  cmp    %rax,%rdi
  jne    L1159
  cmp    0x1c(%rsp),%ebp
  je     L64
  lea    (%r12,%r10,1),%rsi
  movzbl (%r12,%r9,1),%eax
  movzbl (%rsi),%r13d
  add    %eax,%r13d
  mov    0x30(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %r13d,%eax
  mov    0x28(%rsp),%r13
  movzbl (%r12,%r13,1),%r13d
  lea    0x2(%rax,%r13,1),%eax
  shr    $0x2,%eax
  mov    %al,(%rbx,%r9,1)
  cmp    0x40(%rsp),%ebp
  jle    L64
  lea    (%r12,%r15,1),%r13
  movzbl (%rsi),%eax
  movzbl 0x0(%r13),%esi
  add    %eax,%esi
  mov    0x50(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %esi,%eax
  mov    0x48(%rsp),%rsi
  movzbl (%r12,%rsi,1),%esi
  lea    0x2(%rax,%rsi,1),%eax
  shr    $0x2,%eax
  mov    %al,(%rbx,%r10,1)
  cmp    0x44(%rsp),%ebp
  jle    L64
  lea    (%r12,%r8,1),%rsi
  movzbl 0x0(%r13),%eax
  movzbl (%rsi),%r13d
  add    %eax,%r13d
  mov    0x60(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %r13d,%eax
  mov    0x68(%rsp),%r13
  movzbl (%r12,%r13,1),%r13d
  lea    0x2(%rax,%r13,1),%eax
  shr    $0x2,%eax
  mov    %al,(%rbx,%r15,1)
  cmp    0x78(%rsp),%ebp
  jle    L64
  mov    (%rsp),%rax
  lea    (%r12,%rax,1),%r13
  movzbl (%rsi),%eax
  movzbl 0x0(%r13),%esi
  add    %eax,%esi
  mov    0x88(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %esi,%eax
  mov    0x80(%rsp),%rsi
  movzbl (%r12,%rsi,1),%esi
  lea    0x2(%rax,%rsi,1),%eax
  shr    $0x2,%eax
  mov    %al,(%rbx,%r8,1)
  cmp    0x7c(%rsp),%ebp
  jle    L64
  mov    0x10(%rsp),%rsi
  movzbl 0x0(%r13),%r13d
  add    %r12,%rsi
  movzbl (%rsi),%eax
  add    %eax,%r13d
  mov    0xa0(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %r13d,%eax
  mov    0x98(%rsp),%r13
  movzbl (%r12,%r13,1),%r13d
  lea    0x2(%rax,%r13,1),%eax
  mov    (%rsp),%r13
  shr    $0x2,%eax
  mov    %al,(%rbx,%r13,1)
  cmp    0xb0(%rsp),%ebp
  jle    L64
  mov    0x20(%rsp),%rax
  movzbl (%rsi),%esi
  lea    (%r12,%rax,1),%r13
  movzbl 0x0(%r13),%eax
  add    %eax,%esi
  mov    0xc0(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %esi,%eax
  mov    0xb8(%rsp),%rsi
  movzbl (%r12,%rsi,1),%esi
  lea    0x2(%rax,%rsi,1),%eax
  mov    0x10(%rsp),%rsi
  shr    $0x2,%eax
  mov    %al,(%rbx,%rsi,1)
  cmp    0xb4(%rsp),%ebp
  jle    L64
  mov    0x38(%rsp),%rsi
  movzbl 0x0(%r13),%r13d
  add    %r12,%rsi
  movzbl (%rsi),%eax
  add    %eax,%r13d
  mov    0xd8(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %r13d,%eax
  mov    0xd0(%rsp),%r13
  movzbl (%r12,%r13,1),%r13d
  lea    0x2(%rax,%r13,1),%eax
  mov    0x20(%rsp),%r13
  shr    $0x2,%eax
  mov    %al,(%rbx,%r13,1)
  cmp    0xe8(%rsp),%ebp
  jle    L64
  mov    0x58(%rsp),%rax
  movzbl (%rsi),%esi
  lea    (%r12,%rax,1),%r13
  movzbl 0x0(%r13),%eax
  add    %eax,%esi
  mov    0xf8(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %esi,%eax
  mov    0xf0(%rsp),%rsi
  movzbl (%r12,%rsi,1),%esi
  lea    0x2(%rax,%rsi,1),%eax
  mov    0x38(%rsp),%rsi
  shr    $0x2,%eax
  mov    %al,(%rbx,%rsi,1)
  cmp    0xec(%rsp),%ebp
  jle    L64
  mov    0x70(%rsp),%rsi
  movzbl 0x0(%r13),%r13d
  add    %r12,%rsi
  movzbl (%rsi),%eax
  add    %eax,%r13d
  mov    0x108(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %r13d,%eax
  mov    0x110(%rsp),%r13
  movzbl (%r12,%r13,1),%r13d
  lea    0x2(%rax,%r13,1),%eax
  mov    0x58(%rsp),%r13
  shr    $0x2,%eax
  mov    %al,(%rbx,%r13,1)
  cmp    0x120(%rsp),%ebp
  jle    L64
  mov    0x90(%rsp),%rax
  movzbl (%rsi),%esi
  lea    (%r12,%rax,1),%r13
  movzbl 0x0(%r13),%eax
  add    %eax,%esi
  mov    0x118(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %esi,%eax
  mov    0x128(%rsp),%rsi
  movzbl (%r12,%rsi,1),%esi
  lea    0x2(%rax,%rsi,1),%eax
  mov    0x70(%rsp),%rsi
  shr    $0x2,%eax
  mov    %al,(%rbx,%rsi,1)
  cmp    0x124(%rsp),%ebp
  jle    L64
  mov    0xa8(%rsp),%rsi
  movzbl 0x0(%r13),%eax
  add    %r12,%rsi
  movzbl (%rsi),%r13d
  add    %eax,%r13d
  mov    0x130(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %r13d,%eax
  mov    0x138(%rsp),%r13
  movzbl (%r12,%r13,1),%r13d
  lea    0x2(%rax,%r13,1),%eax
  mov    0x90(%rsp),%r13
  shr    $0x2,%eax
  mov    %al,(%rbx,%r13,1)
  cmp    0x140(%rsp),%ebp
  jle    L64
  mov    0xc8(%rsp),%rax
  lea    (%r12,%rax,1),%r13
  movzbl (%rsi),%eax
  movzbl 0x0(%r13),%esi
  add    %eax,%esi
  mov    0x148(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %esi,%eax
  mov    0x150(%rsp),%rsi
  movzbl (%r12,%rsi,1),%esi
  lea    0x2(%rax,%rsi,1),%eax
  mov    0xa8(%rsp),%rsi
  shr    $0x2,%eax
  mov    %al,(%rbx,%rsi,1)
  cmp    0x144(%rsp),%ebp
  jle    L64
  mov    0xe0(%rsp),%rsi
  movzbl 0x0(%r13),%eax
  add    %r12,%rsi
  movzbl (%rsi),%r13d
  add    %eax,%r13d
  mov    0x158(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %r13d,%eax
  mov    0x160(%rsp),%r13
  movzbl (%r12,%r13,1),%r13d
  lea    0x2(%rax,%r13,1),%eax
  mov    0xc8(%rsp),%r13
  shr    $0x2,%eax
  mov    %al,(%rbx,%r13,1)
  cmp    0x168(%rsp),%ebp
  jle    L64
  mov    0x100(%rsp),%rax
  lea    (%r12,%rax,1),%r13
  movzbl (%rsi),%eax
  movzbl 0x0(%r13),%esi
  add    %eax,%esi
  mov    0x170(%rsp),%rax
  movzbl (%r12,%rax,1),%eax
  add    %esi,%eax
  mov    0x178(%rsp),%rsi
  movzbl (%r12,%rsi,1),%esi
  lea    0x2(%rax,%rsi,1),%eax
  mov    0xe0(%rsp),%rsi
  shr    $0x2,%eax
  mov    %al,(%rbx,%rsi,1)
  cmp    0x16c(%rsp),%ebp
  jle    L64
  mov    0x180(%rsp),%rsi
  movzbl (%r12,%rsi,1),%eax
  movzbl 0x0(%r13),%esi
  mov    0x188(%rsp),%r13
  add    %eax,%esi
  movzbl (%r12,%r13,1),%eax
  mov    0x190(%rsp),%r13
  add    %esi,%eax
  movzbl (%r12,%r13,1),%esi
  lea    0x2(%rax,%rsi,1),%eax
  mov    0x100(%rsp),%rsi
  shr    $0x2,%eax
  mov    %al,(%rbx,%rsi,1)
  xchg   %ax,%ax
L64:
  add    %rcx,%r12
  add    %rcx,%rbx
  add    $0x1,%r14d
  add    %rcx,%rdx
  cmp    %r14d,0x18(%rsp)
  jne    L232
  jmp    L106
L23:
  mov    0x18(%rsp),%r8d
  test   %r8d,%r8d
  jle    L106
  movslq %r15d,%rax
  test   %ebp,%ebp
  jle    L106
  mov    %ebp,%edx
  mov    %ebp,%esi
  movslq %r13d,%rcx
  mov    %ebp,%r10d
  shr    $0x4,%edx
  and    $0xf,%esi
  mov    %rcx,0x8(%rsp)
  lea    -0x1(%rbp),%r15d
  lea    -0x1(%rdx),%edi
  mov    %esi,0x10(%rsp)
  sub    $0x1,%esi
  add    %r12,%rcx
  add    $0x1,%rdi
  mov    %esi,0x1c(%rsp)
  and    $0xfffffff0,%r10d
  xor    %r9d,%r9d
  shl    $0x4,%rdi
  mov    %ebp,%r11d
  mov    %rdi,(%rsp)
  cs nopw 0x0(%rax,%rax,1)
L1528:
  lea    0x1(%rcx),%rsi
  mov    %rbx,%rdx
  sub    %rsi,%rdx
  cmp    $0xe,%rdx
  seta   %sil
  cmp    $0x6,%r15d
  seta   %dl
  test   %dl,%sil
  je     L624
  lea    0x1(%r12),%rsi
  mov    %rbx,%rdx
  sub    %rsi,%rdx
  cmp    $0xe,%rdx
  jbe    L624
  cmp    $0xe,%r15d
  jbe    L219
  mov    (%rsp),%rdi
  xor    %edx,%edx
  nopw   0x0(%rax,%rax,1)
L658:
  movdqu (%r12,%rdx,1),%xmm0
  movdqu (%rcx,%rdx,1),%xmm4
  pavgb  %xmm4,%xmm0
  movups %xmm0,(%rbx,%rdx,1)
  add    $0x10,%rdx
  cmp    %rdx,%rdi
  jne    L658
  mov    %rdi,(%rsp)
  cmp    %ebp,%r10d
  je     L769
  cmpl   $0x6,0x1c(%rsp)
  mov    0x10(%rsp),%r8d
  mov    %r10d,%edx
  mov    %r10d,%esi
  jbe    L1614
L745:
  mov    0x8(%rsp),%rdi
  lea    (%r12,%rsi,1),%r14
  movq   (%r12,%rsi,1),%xmm0
  movq   (%r14,%rdi,1),%xmm1
  pavgb  %xmm1,%xmm0
  movq   %xmm0,(%rbx,%rsi,1)
  mov    %r8d,%esi
  and    $0xfffffff8,%esi
  add    %esi,%edx
  cmp    %esi,%r8d
  je     L769
L1614:
  lea    0x0(%r13,%rdx,1),%r8d
  movslq %edx,%rsi
  movslq %r8d,%r8
  movzbl (%r12,%r8,1),%r14d
  movzbl (%r12,%rsi,1),%r8d
  lea    0x1(%r14,%r8,1),%r8d
  shr    %r8d
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x1(%rdx),%r8d
  cmp    %r8d,%ebp
  jle    L769
  movslq %r8d,%rsi
  add    %r13d,%r8d
  movslq %r8d,%r8
  movzbl (%r12,%r8,1),%r14d
  movzbl (%r12,%rsi,1),%r8d
  lea    0x1(%r14,%r8,1),%r8d
  shr    %r8d
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x2(%rdx),%r8d
  cmp    %r8d,%ebp
  jle    L769
  movslq %r8d,%rsi
  add    %r13d,%r8d
  movslq %r8d,%r8
  movzbl (%r12,%r8,1),%r14d
  movzbl (%r12,%rsi,1),%r8d
  lea    0x1(%r14,%r8,1),%r8d
  shr    %r8d
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x3(%rdx),%r8d
  cmp    %r8d,%ebp
  jle    L769
  movslq %r8d,%rsi
  add    %r13d,%r8d
  movslq %r8d,%r8
  movzbl (%r12,%r8,1),%r14d
  movzbl (%r12,%rsi,1),%r8d
  lea    0x1(%r14,%r8,1),%r8d
  shr    %r8d
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x4(%rdx),%r8d
  cmp    %ebp,%r8d
  jge    L769
  movslq %r8d,%rsi
  add    %r13d,%r8d
  movslq %r8d,%r8
  movzbl (%r12,%r8,1),%r14d
  movzbl (%r12,%rsi,1),%r8d
  lea    0x1(%r14,%r8,1),%r8d
  shr    %r8d
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x5(%rdx),%r8d
  cmp    %r8d,%ebp
  jle    L769
  movslq %r8d,%rsi
  add    %r13d,%r8d
  add    $0x6,%edx
  movslq %r8d,%r8
  movzbl (%r12,%r8,1),%r14d
  movzbl (%r12,%rsi,1),%r8d
  lea    0x1(%r14,%r8,1),%r8d
  shr    %r8d
  mov    %r8b,(%rbx,%rsi,1)
  cmp    %edx,%ebp
  jle    L769
  movslq %edx,%rsi
  add    %r13d,%edx
  movslq %edx,%rdx
  movzbl (%r12,%rdx,1),%r8d
  movzbl (%r12,%rsi,1),%edx
  lea    0x1(%r8,%rdx,1),%edx
  shr    %edx
  mov    %dl,(%rbx,%rsi,1)
L769:
  add    %rax,%r12
  add    %rax,%rbx
  add    $0x1,%r9d
  add    %rax,%rcx
  cmp    %r9d,0x18(%rsp)
  jne    L1528
  jmp    L106
L1631:
  xor    %eax,%eax
  nopw   0x0(%rax,%rax,1)
L588:
  movzbl (%r12,%rax,1),%r14d
  mov    %r14b,(%rbx,%rax,1)
  add    $0x1,%rax
  cmp    %r9,%rax
  jne    L588
  jmp    L125
  nop
L635:
  xor    %edx,%edx
  nopw   0x0(%rax,%rax,1)
L396:
  movzbl (%rbx,%rdx,1),%edi
  movzbl (%r12,%rdx,1),%ecx
  lea    0x1(%rdi,%rcx,1),%ecx
  sar    %ecx
  mov    %cl,(%rbx,%rdx,1)
  add    $0x1,%rdx
  cmp    %r10,%rdx
  jne    L396
  jmp    L678
  nopl   0x0(%rax,%rax,1)
L1642:
  xor    %edx,%edx
  nopw   0x0(%rax,%rax,1)
L545:
  movzbl 0x1(%rsi,%rdx,1),%r15d
  movzbl (%rsi,%rdx,1),%edi
  add    %r15d,%edi
  movzbl (%rcx,%rdx,1),%r15d
  add    %r15d,%edi
  movzbl 0x1(%rcx,%rdx,1),%r15d
  lea    0x2(%rdi,%r15,1),%edi
  movzbl (%rbx,%rdx,1),%r15d
  shr    $0x2,%edi
  lea    0x1(%rdi,%r15,1),%edi
  sar    %edi
  mov    %dil,(%rbx,%rdx,1)
  add    $0x1,%rdx
  cmp    %r12,%rdx
  jne    L545
  jmp    L233
  nopl   0x0(%rax)
L717:
  xor    %eax,%eax
  nopw   0x0(%rax,%rax,1)
L1527:
  movzbl 0x1(%r12,%rax,1),%r13d
  movzbl (%r12,%rax,1),%esi
  add    %r13d,%esi
  movzbl (%rdx,%rax,1),%r13d
  add    %r13d,%esi
  movzbl 0x1(%rdx,%rax,1),%r13d
  lea    0x2(%rsi,%r13,1),%esi
  shr    $0x2,%esi
  mov    %sil,(%rbx,%rax,1)
  add    $0x1,%rax
  cmp    %r11,%rax
  jne    L1527
  jmp    L64
  xchg   %ax,%ax
L1652:
  xor    %edi,%edi
  mov    %r8d,0x8(%rsp)
  mov    %ecx,(%rsp)
  call   <assert@plt>
  mov    0x8(%rsp),%r8d
  mov    (%rsp),%ecx
  jmp    L603
  nopl   0x0(%rax)
L624:
  mov    (%rsp),%rdi
  xor    %edx,%edx
  cs nopw 0x0(%rax,%rax,1)
L527:
  movzbl (%rcx,%rdx,1),%r8d
  movzbl (%r12,%rdx,1),%esi
  lea    0x1(%r8,%rsi,1),%esi
  shr    %esi
  mov    %sil,(%rbx,%rdx,1)
  add    $0x1,%rdx
  cmp    %r11,%rdx
  jne    L527
  mov    %rdi,(%rsp)
  jmp    L769
  nopw   0x0(%rax,%rax,1)
L367:
  mov    (%rsp),%rdi
  xor    %edx,%edx
  cs nopw 0x0(%rax,%rax,1)
L277:
  movzbl (%rsi,%rdx,1),%r8d
  movzbl (%r12,%rdx,1),%ecx
  lea    0x1(%r8,%rcx,1),%ecx
  movzbl (%rbx,%rdx,1),%r8d
  shr    %ecx
  lea    0x1(%rcx,%r8,1),%ecx
  sar    %ecx
  mov    %cl,(%rbx,%rdx,1)
  add    $0x1,%rdx
  cmp    %rdx,%r14
  jne    L277
  mov    %rdi,(%rsp)
  jmp    L146
L965:
  xor    %edx,%edx
  nopl   0x0(%rax)
L1019:
  movzbl (%r12,%rdx,1),%r9d
  movzbl 0x1(%r12,%rdx,1),%esi
  lea    0x1(%r9,%rsi,1),%esi
  shr    %esi
  mov    %sil,(%rbx,%rdx,1)
  add    $0x1,%rdx
  cmp    %r13,%rdx
  jne    L1019
  jmp    L1492
L1051:
  mov    %ebp,%edi
  xor    %edx,%edx
  xor    %ecx,%ecx
  jmp    L522
L1065:
  mov    %ebp,%r15d
  xor    %eax,%eax
  xor    %r14d,%r14d
  jmp    L881
L859:
  mov    %r9d,%edx
  jmp    L532
L122:
  mov    %r8d,%eax
  jmp    L681
L270:
  mov    0x18(%rsp),%ecx
  test   %ecx,%ecx
  jle    L106
  movslq %r15d,%rax
  test   %ebp,%ebp
  jle    L106
  mov    %ebp,%edi
  mov    %ebp,%edx
  lea    -0x1(%rbp),%ecx
  mov    %ebp,%r10d
  and    $0xf,%edi
  shr    $0x4,%edx
  mov    %ecx,(%rsp)
  and    $0xfffffff0,%r10d
  mov    %edi,0x8(%rsp)
  sub    $0x1,%edi
  lea    -0x1(%rdx),%ecx
  xor    %r8d,%r8d
  mov    %edi,0x10(%rsp)
  add    $0x1,%rcx
  mov    %ebp,%r15d
  shl    $0x4,%rcx
  xchg   %ax,%ax
L1290:
  lea    0x1(%r12),%rsi
  mov    %rbx,%rdx
  sub    %rsi,%rdx
  cmp    $0xf,%rdx
  jbe    L196
  cmpl   $0x6,(%rsp)
  jbe    L196
  cmpl   $0xe,(%rsp)
  jbe    L798
  xor    %edx,%edx
  nopl   0x0(%rax,%rax,1)
L1080:
  movdqu 0x1(%r12,%rdx,1),%xmm5
  movdqu (%r12,%rdx,1),%xmm0
  pavgb  %xmm5,%xmm0
  movdqu (%rbx,%rdx,1),%xmm5
  pavgb  %xmm5,%xmm0
  movups %xmm0,(%rbx,%rdx,1)
  add    $0x10,%rdx
  cmp    %rdx,%rcx
  jne    L1080
  cmp    %r10d,%ebp
  je     L1085
  cmpl   $0x6,0x10(%rsp)
  mov    0x8(%rsp),%edi
  jbe    L318
  mov    %r10d,%esi
  mov    %r10d,%edx
L1482:
  movq   0x1(%r12,%rsi,1),%xmm0
  movq   (%r12,%rsi,1),%xmm1
  lea    (%rbx,%rsi,1),%r9
  mov    %edi,%esi
  and    $0xfffffff8,%esi
  pavgb  %xmm0,%xmm1
  movq   (%r9),%xmm0
  add    %esi,%edx
  pavgb  %xmm1,%xmm0
  movq   %xmm0,(%r9)
  cmp    %edi,%esi
  je     L1085
L789:
  lea    0x1(%rdx),%r9d
  movslq %edx,%rdi
  movslq %r9d,%rsi
  movzbl (%r12,%rdi,1),%r14d
  lea    (%rbx,%rdi,1),%r11
  lea    (%r12,%rsi,1),%r13
  movzbl 0x0(%r13),%edi
  lea    0x1(%r14,%rdi,1),%edi
  movzbl (%r11),%r14d
  shr    %edi
  lea    0x1(%rdi,%r14,1),%edi
  sar    %edi
  mov    %dil,(%r11)
  cmp    %r9d,%ebp
  jle    L1085
  lea    0x2(%rdx),%r11d
  movzbl 0x0(%r13),%r13d
  add    %rbx,%rsi
  movslq %r11d,%rdi
  lea    (%r12,%rdi,1),%r14
  movzbl (%r14),%r9d
  lea    0x1(%r13,%r9,1),%r9d
  movzbl (%rsi),%r13d
  shr    %r9d
  lea    0x1(%r9,%r13,1),%r9d
  sar    %r9d
  mov    %r9b,(%rsi)
  cmp    %r11d,%ebp
  jle    L1085
  lea    0x3(%rdx),%r13d
  movzbl (%r14),%r14d
  add    %rbx,%rdi
  movslq %r13d,%rsi
  lea    (%r12,%rsi,1),%r11
  movzbl (%r11),%r9d
  lea    0x1(%r14,%r9,1),%r9d
  movzbl (%rdi),%r14d
  shr    %r9d
  lea    0x1(%r9,%r14,1),%r9d
  sar    %r9d
  mov    %r9b,(%rdi)
  cmp    %r13d,%ebp
  jle    L1085
  lea    0x4(%rdx),%r13d
  movzbl (%r11),%r11d
  add    %rbx,%rsi
  movslq %r13d,%rdi
  lea    (%r12,%rdi,1),%r14
  movzbl (%r14),%r9d
  lea    0x1(%r11,%r9,1),%r9d
  movzbl (%rsi),%r11d
  shr    %r9d
  lea    0x1(%r9,%r11,1),%r9d
  sar    %r9d
  mov    %r9b,(%rsi)
  cmp    %r13d,%ebp
  jle    L1085
  lea    0x5(%rdx),%r11d
  movzbl (%r14),%r14d
  add    %rbx,%rdi
  movslq %r11d,%rsi
  lea    (%r12,%rsi,1),%r13
  movzbl 0x0(%r13),%r9d
  lea    0x1(%r14,%r9,1),%r9d
  movzbl (%rdi),%r14d
  shr    %r9d
  lea    0x1(%r9,%r14,1),%r9d
  sar    %r9d
  mov    %r9b,(%rdi)
  cmp    %r11d,%ebp
  jle    L1085
  lea    0x6(%rdx),%r11d
  movzbl 0x0(%r13),%r13d
  add    %rbx,%rsi
  movslq %r11d,%rdi
  lea    (%r12,%rdi,1),%r14
  movzbl (%r14),%r9d
  lea    0x1(%r13,%r9,1),%r9d
  movzbl (%rsi),%r13d
  shr    %r9d
  lea    0x1(%r9,%r13,1),%r9d
  sar    %r9d
  mov    %r9b,(%rsi)
  cmp    %r11d,%ebp
  jle    L1085
  add    $0x7,%edx
  movzbl (%r14),%esi
  add    %rbx,%rdi
  movslq %edx,%rdx
  movzbl (%r12,%rdx,1),%edx
  lea    0x1(%rdx,%rsi,1),%edx
  movzbl (%rdi),%esi
  shr    %edx
  lea    0x1(%rdx,%rsi,1),%edx
  sar    %edx
  mov    %dl,(%rdi)
L1085:
  add    %rax,%r12
  add    %rax,%rbx
  add    $0x1,%r8d
  cmp    %r8d,0x18(%rsp)
  jne    L1290
  jmp    L106
L196:
  xor    %edx,%edx
  nopl   0x0(%rax)
L126:
  movzbl (%r12,%rdx,1),%edi
  movzbl 0x1(%r12,%rdx,1),%esi
  lea    0x1(%rdi,%rsi,1),%esi
  movzbl (%rbx,%rdx,1),%edi
  shr    %esi
  lea    0x1(%rsi,%rdi,1),%esi
  sar    %esi
  mov    %sil,(%rbx,%rdx,1)
  add    $0x1,%rdx
  cmp    %rdx,%r15
  jne    L126
  jmp    L1085
L1582:
  xor    %edx,%edx
  mov    %ebp,%r9d
  xor    %ecx,%ecx
  jmp    L1296
L219:
  xor    %edx,%edx
  mov    %ebp,%r8d
  xor    %esi,%esi
  jmp    L745
L1116:
  mov    %ebp,%r9d
  xor    %edx,%edx
  xor    %esi,%esi
  jmp    L1507
L798:
  mov    %ebp,%edi
  xor    %edx,%edx
  xor    %esi,%esi
  jmp    L1482
L318:
  mov    %r10d,%edx
  jmp    L789
L1441:
  mov    %r8d,%edx
  jmp    L1553
```

tool_calls: name: read_data
arguments: data_tag: D38
datatype: byte[16]
name: read_data
arguments: data_tag: D13
datatype: byte[16]
name: read_data
arguments: data_tag: D39
datatype: byte[16]

tool: {"D38": [0x02,0x00,0x02,0x00,0x02,0x00,0x02,0x00,0x02,0x00,0x02,0x00,0x02,0x00,0x02,0x00]}

tool: {"D13": [0x01,0x00,0x01,0x00,0x01,0x00,0x01,0x00,0x01,0x00,0x01,0x00,0x01,0x00,0x01,0x00]}

tool: {"D39": [0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00]}

assistant: ```c
void form_component_prediction(unsigned char *src, unsigned char *dst, signed int lx, signed int lx2, signed int w, signed int h, signed int x, signed int y, signed int dx, signed int dy, signed int average_flag) {
  signed int xint;
  signed int yint;
  signed int xh;
  signed int yh;
  signed int i;
  signed int j;
  signed int v;
  unsigned char *s;
  unsigned char *d;
  xint = dx >> 1;
  yint = dy >> 1;
  s = src + (signed long int)(lx * (y + yint)) + (signed long int)x + (signed long int)xint;
  d = dst + (signed long int)(lx * y) + (signed long int)x;
  xh = dx & 1;
  yh = dy & 1;
  if (!(s == d))
    (void)0;
  else
    assert((_Bool)0);
  if (xh == 0) {
    if (yh != 0)
      goto __CPROVER_DUMP_L12;
    if (!(average_flag == 0)) {
      j = 0;
      while (!(j >= h)) {
        i = 0;
        while (!(i >= w)) {
          v = (signed int)d[(signed long int)i] + (signed int)s[(signed long int)i];
          d[(signed long int)i] = (unsigned char)(v + (v >= 0 ? 1 : 0) >> 1);
          i = i + 1;
        }
        s = s + (signed long int)lx2;
        d = d + (signed long int)lx2;
        j = j + 1;
      }
    } else {
      j = 0;
      while (!(j >= h)) {
        i = 0;
        while (!(i >= w)) {
          d[(signed long int)i] = s[(signed long int)i];
          i = i + 1;
        }
        s = s + (signed long int)lx2;
        d = d + (signed long int)lx2;
        j = j + 1;
      }
    }
  } else {
  __CPROVER_DUMP_L12:;
    if (xh == 0) {
      if (yh == 0)
        goto __CPROVER_DUMP_L22;
      if (!(average_flag == 0)) {
        j = 0;
        while (!(j >= h)) {
          i = 0;
          while (!(i >= w)) {
            v = (signed int)((unsigned int)d[(signed long int)i] + ((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + lx)] + 1) >> 1));
            d[(signed long int)i] = (unsigned char)(v + (v >= 0 ? 1 : 0) >> 1);
            i = i + 1;
          }
          s = s + (signed long int)lx2;
          d = d + (signed long int)lx2;
          j = j + 1;
        }
      } else {
        j = 0;
        while (!(j >= h)) {
          i = 0;
          while (!(i >= w)) {
            d[(signed long int)i] = (unsigned char)((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + lx)] + 1) >> 1);
            i = i + 1;
          }
          s = s + (signed long int)lx2;
          d = d + (signed long int)lx2;
          j = j + 1;
        }
      }
    } else {
    __CPROVER_DUMP_L22:;
      if (!(xh == 0)) {
        if (yh != 0)
          goto __CPROVER_DUMP_L32;
        if (!(average_flag == 0)) {
          j = 0;
          while (!(j >= h)) {
            i = 0;
            while (!(i >= w)) {
              v = (signed int)((unsigned int)d[(signed long int)i] + ((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + 1)] + 1) >> 1));
              d[(signed long int)i] = (unsigned char)(v + (v >= 0 ? 1 : 0) >> 1);
              i = i + 1;
            }
            s = s + (signed long int)lx2;
            d = d + (signed long int)lx2;
            j = j + 1;
          }
        } else {
          j = 0;
          while (!(j >= h)) {
            i = 0;
            while (!(i >= w)) {
              d[(signed long int)i] = (unsigned char)((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + 1)] + 1) >> 1);
              i = i + 1;
            }
            s = s + (signed long int)lx2;
            d = d + (signed long int)lx2;
            j = j + 1;
          }
        }
      } else {
      __CPROVER_DUMP_L32:;
        if (!(average_flag == 0)) {
          j = 0;
          while (!(j >= h)) {
            i = 0;
            while (!(i >= w)) {
              v = (signed int)((unsigned int)d[(signed long int)i] + ((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + 1)] + (signed int)s[(signed long int)(i + lx)] + (signed int)s[(signed long int)(i + lx + 1)] + 2) >> 2));
              d[(signed long int)i] = (unsigned char)(v + (v >= 0 ? 1 : 0) >> 1);
              i = i + 1;
            }
            s = s + (signed long int)lx2;
            d = d + (signed long int)lx2;
            j = j + 1;
          }
        } else {
          j = 0;
          while (!(j >= h)) {
            i = 0;
            while (!(i >= w)) {
              d[(signed long int)i] = (unsigned char)((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + 1)] + (signed int)s[(signed long int)(i + lx)] + (signed int)s[(signed long int)(i + lx + 1)] + 2) >> 2);
              i = i + 1;
            }
            s = s + (signed long int)lx2;
            d = d + (signed long int)lx2;
            j = j + 1;
          }
        }
      }
    }
  }
}
```