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

```asm
<main>:
  endbr64
  sub    $0x178,%rsp
  mov    %edi,%edx
  mov    %fs:0x28,%rax
  mov    %rax,0x168(%rsp)
  xor    %eax,%eax
  movdqa D898(%rip),%xmm0
  movd   %edi,%xmm4
  movss  %xmm4,%xmm0
  movaps %xmm0,0x10(%rsp)
  movdqa D703(%rip),%xmm1
  movaps %xmm1,0x20(%rsp)
  movdqa %xmm0,%xmm2
  pcmpgtd %xmm1,%xmm2
  movaps %xmm2,0x30(%rsp)
L997:
  mov    0x30(%rsp,%rax,1),%esi
  mov    0x10(%rsp,%rax,1),%edi
  mov    0x20(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  setg   %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L1018
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L997
  movdqa D703(%rip),%xmm1
  pcmpgtd %xmm0,%xmm1
  movaps %xmm1,0x30(%rsp)
  mov    $0x0,%eax
L155:
  mov    0x30(%rsp,%rax,1),%esi
  mov    0x10(%rsp,%rax,1),%edi
  mov    0x20(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  setl   %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L5
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L155
  movdqa D703(%rip),%xmm1
  pcmpgtd %xmm0,%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqd %xmm2,%xmm1
  movaps %xmm1,0x30(%rsp)
  mov    $0x0,%eax
L971:
  mov    0x30(%rsp,%rax,1),%esi
  mov    0x10(%rsp,%rax,1),%edi
  mov    0x20(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  setge  %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L153
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L971
  movdqa %xmm0,%xmm1
  pcmpgtd D703(%rip),%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqd %xmm2,%xmm1
  movaps %xmm1,0x30(%rsp)
  mov    $0x0,%eax
L742:
  mov    0x30(%rsp,%rax,1),%esi
  mov    0x10(%rsp,%rax,1),%edi
  mov    0x20(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  setle  %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L139
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L742
  movdqa %xmm0,%xmm1
  pcmpeqd D703(%rip),%xmm1
  movaps %xmm1,0x30(%rsp)
  mov    $0x0,%eax
L197:
  mov    0x30(%rsp,%rax,1),%esi
  mov    0x10(%rsp,%rax,1),%edi
  mov    0x20(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  sete   %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L865
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L197
  pcmpeqd D703(%rip),%xmm0
  pxor   %xmm1,%xmm1
  pcmpeqd %xmm1,%xmm0
  movaps %xmm0,0x30(%rsp)
  mov    $0x0,%eax
L690:
  mov    0x30(%rsp,%rax,1),%esi
  mov    0x10(%rsp,%rax,1),%edi
  mov    0x20(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  setne  %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L981
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L690
  movdqa D898(%rip),%xmm0
  movd   %edx,%xmm5
  movss  %xmm5,%xmm0
  movaps %xmm0,0x50(%rsp)
  movdqa D703(%rip),%xmm1
  movaps %xmm1,0x60(%rsp)
  movdqa D780(%rip),%xmm3
  movdqa %xmm0,%xmm2
  psubd  %xmm3,%xmm2
  psubd  %xmm3,%xmm1
  pcmpgtd %xmm1,%xmm2
  movaps %xmm2,0x40(%rsp)
  mov    $0x0,%eax
L564:
  mov    0x40(%rsp,%rax,1),%esi
  mov    0x50(%rsp,%rax,1),%edi
  mov    0x60(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  seta   %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L344
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L564
  movdqa D780(%rip),%xmm2
  movdqa D703(%rip),%xmm1
  psubd  %xmm2,%xmm1
  movdqa %xmm0,%xmm3
  psubd  %xmm2,%xmm3
  pcmpgtd %xmm3,%xmm1
  movaps %xmm1,0x40(%rsp)
  mov    $0x0,%eax
L767:
  mov    0x40(%rsp,%rax,1),%esi
  mov    0x50(%rsp,%rax,1),%edi
  mov    0x60(%rsp,%rax,1),%ecx
  cmp    %ecx,%edi
  sbb    %r8d,%r8d
  cmp    %r8d,%esi
  jne    L990
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L767
  movdqa D780(%rip),%xmm2
  movdqa D703(%rip),%xmm1
  psubd  %xmm2,%xmm1
  movdqa %xmm0,%xmm3
  psubd  %xmm2,%xmm3
  pcmpgtd %xmm3,%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqd %xmm2,%xmm1
  movaps %xmm1,0x40(%rsp)
  mov    $0x0,%eax
L944:
  mov    0x40(%rsp,%rax,1),%esi
  mov    0x50(%rsp,%rax,1),%edi
  mov    0x60(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  setae  %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L910
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L944
  movdqa D780(%rip),%xmm3
  movdqa %xmm0,%xmm1
  psubd  %xmm3,%xmm1
  movdqa D703(%rip),%xmm2
  psubd  %xmm3,%xmm2
  pcmpgtd %xmm2,%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqd %xmm2,%xmm1
  movaps %xmm1,0x40(%rsp)
  mov    $0x0,%eax
L823:
  mov    0x40(%rsp,%rax,1),%esi
  mov    0x50(%rsp,%rax,1),%edi
  mov    0x60(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  setbe  %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L989
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L823
  movdqa %xmm0,%xmm1
  pcmpeqd D703(%rip),%xmm1
  movaps %xmm1,0x40(%rsp)
  mov    $0x0,%eax
L640:
  mov    0x40(%rsp,%rax,1),%esi
  mov    0x50(%rsp,%rax,1),%edi
  mov    0x60(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  sete   %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L839
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L640
  pcmpeqd D703(%rip),%xmm0
  pxor   %xmm1,%xmm1
  pcmpeqd %xmm1,%xmm0
  movaps %xmm0,0x40(%rsp)
  mov    $0x0,%eax
L948:
  mov    0x40(%rsp,%rax,1),%esi
  mov    0x50(%rsp,%rax,1),%edi
  mov    0x60(%rsp,%rax,1),%r8d
  cmp    %r8d,%edi
  setne  %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L294
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L948
  movdqa D223(%rip),%xmm0
  pinsrw $0x0,%edx,%xmm0
  movaps %xmm0,0x70(%rsp)
  movdqa D503(%rip),%xmm1
  movaps %xmm1,0x80(%rsp)
  movdqa %xmm0,%xmm2
  pcmpgtw %xmm1,%xmm2
  movaps %xmm2,0x90(%rsp)
  mov    $0x0,%eax
  lea    0x90(%rsp),%r9
L262:
  movswl (%rax,%r9,1),%r8d
  movzwl 0x70(%rsp,%rax,1),%esi
  movzwl 0x80(%rsp,%rax,1),%edi
  cmp    %di,%si
  setg   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L1007
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L262
  movdqa D503(%rip),%xmm1
  pcmpgtw %xmm0,%xmm1
  movaps %xmm1,0x90(%rsp)
  mov    $0x0,%eax
  lea    0x90(%rsp),%r9
L320:
  movswl (%rax,%r9,1),%r8d
  movzwl 0x70(%rsp,%rax,1),%esi
  movzwl 0x80(%rsp,%rax,1),%edi
  cmp    %di,%si
  setl   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L914
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L320
  movdqa D503(%rip),%xmm1
  movdqa %xmm1,%xmm2
  pminsw %xmm0,%xmm2
  pcmpeqw %xmm2,%xmm1
  movaps %xmm1,0x90(%rsp)
  mov    $0x0,%eax
  lea    0x90(%rsp),%r9
L342:
  movswl (%rax,%r9,1),%r8d
  movzwl 0x70(%rsp,%rax,1),%esi
  movzwl 0x80(%rsp,%rax,1),%edi
  cmp    %di,%si
  setge  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L378
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L342
  movdqa %xmm0,%xmm1
  pminsw D503(%rip),%xmm1
  pcmpeqw %xmm0,%xmm1
  movaps %xmm1,0x90(%rsp)
  mov    $0x0,%eax
  lea    0x90(%rsp),%r9
L864:
  movswl (%rax,%r9,1),%r8d
  movzwl 0x70(%rsp,%rax,1),%esi
  movzwl 0x80(%rsp,%rax,1),%edi
  cmp    %di,%si
  setle  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L896
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L864
  movdqa %xmm0,%xmm1
  pcmpeqw D503(%rip),%xmm1
  movaps %xmm1,0x90(%rsp)
  mov    $0x0,%eax
  lea    0x90(%rsp),%r9
L75:
  movswl (%rax,%r9,1),%r8d
  movzwl 0x70(%rsp,%rax,1),%esi
  movzwl 0x80(%rsp,%rax,1),%edi
  cmp    %di,%si
  sete   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L405
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L75
  pcmpeqw D503(%rip),%xmm0
  pxor   %xmm1,%xmm1
  pcmpeqw %xmm1,%xmm0
  movaps %xmm0,0x90(%rsp)
  mov    $0x0,%eax
  lea    0x90(%rsp),%r9
L280:
  movswl (%rax,%r9,1),%r8d
  movzwl 0x70(%rsp,%rax,1),%esi
  movzwl 0x80(%rsp,%rax,1),%edi
  cmp    %di,%si
  setne  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L264
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L280
  movdqa D223(%rip),%xmm0
  pinsrw $0x0,%edx,%xmm0
  movaps %xmm0,0xa0(%rsp)
  movdqa D503(%rip),%xmm2
  movaps %xmm2,0xb0(%rsp)
  movdqa %xmm0,%xmm1
  psubusw %xmm2,%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqw %xmm2,%xmm1
  pcmpeqw %xmm2,%xmm1
  movaps %xmm1,0xc0(%rsp)
  mov    $0x0,%eax
  lea    0xc0(%rsp),%r9
L164:
  movswl (%rax,%r9,1),%r8d
  movzwl 0xa0(%rsp,%rax,1),%esi
  movzwl 0xb0(%rsp,%rax,1),%edi
  cmp    %di,%si
  seta   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L706
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L164
  movdqa D503(%rip),%xmm1
  psubusw %xmm0,%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqw %xmm2,%xmm1
  pcmpeqw %xmm2,%xmm1
  movaps %xmm1,0xc0(%rsp)
  mov    $0x0,%eax
  lea    0xc0(%rsp),%r9
L160:
  movswl (%rax,%r9,1),%edi
  movzwl 0xa0(%rsp,%rax,1),%ecx
  movzwl 0xb0(%rsp,%rax,1),%esi
  cmp    %si,%cx
  sbb    %r8d,%r8d
  cmp    %r8d,%edi
  jne    L393
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L160
  movdqa D503(%rip),%xmm1
  psubusw %xmm0,%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqw %xmm2,%xmm1
  movaps %xmm1,0xc0(%rsp)
  mov    $0x0,%eax
  lea    0xc0(%rsp),%r9
L1020:
  movswl (%rax,%r9,1),%r8d
  movzwl 0xa0(%rsp,%rax,1),%esi
  movzwl 0xb0(%rsp,%rax,1),%edi
  cmp    %di,%si
  setae  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L692
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L1020
  movdqa %xmm0,%xmm1
  psubusw D503(%rip),%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqw %xmm2,%xmm1
  movaps %xmm1,0xc0(%rsp)
  mov    $0x0,%eax
  lea    0xc0(%rsp),%r9
L575:
  movswl (%rax,%r9,1),%r8d
  movzwl 0xa0(%rsp,%rax,1),%esi
  movzwl 0xb0(%rsp,%rax,1),%edi
  cmp    %di,%si
  setbe  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L200
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L575
  movdqa %xmm0,%xmm1
  pcmpeqw D503(%rip),%xmm1
  movaps %xmm1,0xc0(%rsp)
  mov    $0x0,%eax
  lea    0xc0(%rsp),%r9
L371:
  movswl (%rax,%r9,1),%r8d
  movzwl 0xa0(%rsp,%rax,1),%esi
  movzwl 0xb0(%rsp,%rax,1),%edi
  cmp    %di,%si
  sete   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L203
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L371
  pcmpeqw D503(%rip),%xmm0
  pxor   %xmm1,%xmm1
  pcmpeqw %xmm1,%xmm0
  movaps %xmm0,0xc0(%rsp)
  mov    $0x0,%eax
  lea    0xc0(%rsp),%r9
L194:
  movswl (%rax,%r9,1),%r8d
  movzwl 0xa0(%rsp,%rax,1),%esi
  movzwl 0xb0(%rsp,%rax,1),%edi
  cmp    %di,%si
  setne  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L380
  add    $0x2,%rax
  cmp    $0x10,%rax
  jne    L194
  movzbl %dl,%ecx
  movabs $0x2fb57060a020100,%rax
  or     %rcx,%rax
  mov    %rax,(%rsp)
  mov    %rax,0x8(%rsp)
  movdqa (%rsp),%xmm0
  movaps %xmm0,0xd0(%rsp)
  movdqa D924(%rip),%xmm2
  movaps %xmm2,0xe0(%rsp)
  movdqa %xmm0,%xmm1
  pcmpgtb %xmm2,%xmm1
  movaps %xmm1,0xf0(%rsp)
  mov    $0x0,%eax
  lea    0xf0(%rsp),%r9
L395:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0xd0(%rsp,%rax,1),%esi
  movzbl 0xe0(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  setg   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L263
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L395
  movdqa D924(%rip),%xmm1
  pcmpgtb %xmm0,%xmm1
  movaps %xmm1,0xf0(%rsp)
  mov    $0x0,%eax
  lea    0xf0(%rsp),%r9
L951:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0xd0(%rsp,%rax,1),%esi
  movzbl 0xe0(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  setl   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L792
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L951
  movdqa D924(%rip),%xmm1
  pcmpgtb %xmm0,%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqb %xmm2,%xmm1
  movaps %xmm1,0xf0(%rsp)
  mov    $0x0,%eax
  lea    0xf0(%rsp),%r9
L857:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0xd0(%rsp,%rax,1),%esi
  movzbl 0xe0(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  setge  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L523
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L857
  movdqa %xmm0,%xmm1
  pcmpgtb D924(%rip),%xmm1
  pxor   %xmm2,%xmm2
  pcmpeqb %xmm2,%xmm1
  movaps %xmm1,0xf0(%rsp)
  mov    $0x0,%eax
  lea    0xf0(%rsp),%r9
L724:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0xd0(%rsp,%rax,1),%esi
  movzbl 0xe0(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  setle  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L785
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L724
  movdqa %xmm0,%xmm1
  pcmpeqb D924(%rip),%xmm1
  movaps %xmm1,0xf0(%rsp)
  mov    $0x0,%eax
  lea    0xf0(%rsp),%r9
L748:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0xd0(%rsp,%rax,1),%esi
  movzbl 0xe0(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  sete   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L919
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L748
  pcmpeqb D924(%rip),%xmm0
  pxor   %xmm1,%xmm1
  pcmpeqb %xmm1,%xmm0
  movaps %xmm0,0xf0(%rsp)
  mov    $0x0,%eax
  lea    0xf0(%rsp),%r9
L862:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0xd0(%rsp,%rax,1),%esi
  movzbl 0xe0(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  setne  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L879
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L862
  movzbl %dl,%ecx
  movabs $0x2fb57060a020100,%rax
  or     %rcx,%rax
  mov    %rax,(%rsp)
  mov    %rax,0x8(%rsp)
  movdqa (%rsp),%xmm1
  movaps %xmm1,0x100(%rsp)
  movdqa D924(%rip),%xmm2
  movaps %xmm2,0x110(%rsp)
  movdqa %xmm1,%xmm0
  psubusb %xmm2,%xmm0
  pxor   %xmm2,%xmm2
  pcmpeqb %xmm2,%xmm0
  pcmpeqb %xmm2,%xmm0
  movaps %xmm0,0x120(%rsp)
  mov    $0x0,%eax
  lea    0x120(%rsp),%r9
L12:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0x100(%rsp,%rax,1),%esi
  movzbl 0x110(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  seta   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L27
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L12
  movdqa D924(%rip),%xmm0
  psubusb %xmm1,%xmm0
  pxor   %xmm2,%xmm2
  pcmpeqb %xmm2,%xmm0
  pcmpeqb %xmm2,%xmm0
  movaps %xmm0,0x120(%rsp)
  mov    $0x0,%eax
  lea    0x120(%rsp),%r9
L836:
  movsbl (%rax,%r9,1),%edi
  movzbl 0x100(%rsp,%rax,1),%ecx
  movzbl 0x110(%rsp,%rax,1),%esi
  cmp    %sil,%cl
  sbb    %r8d,%r8d
  cmp    %r8d,%edi
  jne    L752
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L836
  movdqa D924(%rip),%xmm0
  movdqa %xmm0,%xmm2
  pminub %xmm1,%xmm2
  pcmpeqb %xmm2,%xmm0
  movaps %xmm0,0x120(%rsp)
  mov    $0x0,%eax
  lea    0x120(%rsp),%r9
L76:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0x100(%rsp,%rax,1),%esi
  movzbl 0x110(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  setae  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L546
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L76
  movdqa %xmm1,%xmm0
  pminub D924(%rip),%xmm0
  pcmpeqb %xmm1,%xmm0
  movaps %xmm0,0x120(%rsp)
  mov    $0x0,%eax
  lea    0x120(%rsp),%r9
L189:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0x100(%rsp,%rax,1),%esi
  movzbl 0x110(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  setbe  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L293
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L189
  movdqa %xmm1,%xmm0
  pcmpeqb D924(%rip),%xmm0
  movaps %xmm0,0x120(%rsp)
  mov    $0x0,%eax
  lea    0x120(%rsp),%r9
L710:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0x100(%rsp,%rax,1),%esi
  movzbl 0x110(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  sete   %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L679
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L710
  movdqa %xmm1,%xmm0
  pcmpeqb D924(%rip),%xmm0
  pxor   %xmm1,%xmm1
  pcmpeqb %xmm1,%xmm0
  movaps %xmm0,0x120(%rsp)
  mov    $0x0,%eax
  lea    0x120(%rsp),%r9
L837:
  movsbl (%rax,%r9,1),%r8d
  movzbl 0x100(%rsp,%rax,1),%esi
  movzbl 0x110(%rsp,%rax,1),%edi
  cmp    %dil,%sil
  setne  %cl
  movzbl %cl,%ecx
  add    %r8d,%ecx
  jne    L386
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L837
  movaps D1060(%rip),%xmm2
  cvtsi2ss %edx,%xmm2
  movaps %xmm2,0x130(%rsp)
  movaps D309(%rip),%xmm0
  movaps %xmm0,0x140(%rsp)
  cmpltps %xmm2,%xmm0
  movaps %xmm0,0x150(%rsp)
  mov    $0x0,%eax
L322:
  mov    0x150(%rsp,%rax,1),%esi
  movss  0x130(%rsp,%rax,1),%xmm0
  movss  0x140(%rsp,%rax,1),%xmm1
  comiss %xmm1,%xmm0
  seta   %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L104
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L322
  movaps %xmm2,%xmm0
  cmpltps D309(%rip),%xmm0
  movaps %xmm0,0x150(%rsp)
  mov    $0x0,%eax
L150:
  mov    0x150(%rsp,%rax,1),%esi
  movss  0x130(%rsp,%rax,1),%xmm0
  movss  0x140(%rsp,%rax,1),%xmm1
  comiss %xmm0,%xmm1
  seta   %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L594
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L150
  movaps D309(%rip),%xmm0
  cmpleps %xmm2,%xmm0
  movaps %xmm0,0x150(%rsp)
  mov    $0x0,%eax
L662:
  mov    0x150(%rsp,%rax,1),%esi
  movss  0x130(%rsp,%rax,1),%xmm0
  movss  0x140(%rsp,%rax,1),%xmm1
  comiss %xmm1,%xmm0
  setae  %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L98
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L662
  movaps %xmm2,%xmm0
  cmpleps D309(%rip),%xmm0
  movaps %xmm0,0x150(%rsp)
  mov    $0x0,%eax
L645:
  mov    0x150(%rsp,%rax,1),%esi
  movss  0x130(%rsp,%rax,1),%xmm0
  movss  0x140(%rsp,%rax,1),%xmm1
  comiss %xmm0,%xmm1
  setae  %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  jne    L861
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L645
  movaps %xmm2,%xmm0
  cmpeqps D309(%rip),%xmm0
  movaps %xmm0,0x150(%rsp)
  mov    $0x0,%eax
  mov    $0x0,%edi
L156:
  mov    0x150(%rsp,%rax,1),%esi
  movss  0x130(%rsp,%rax,1),%xmm0
  movss  0x140(%rsp,%rax,1),%xmm1
  ucomiss %xmm1,%xmm0
  setnp  %cl
  movzbl %cl,%ecx
  cmovne %edi,%ecx
  add    %esi,%ecx
  jne    L321
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L156
  cmpneqps D309(%rip),%xmm2
  movaps %xmm2,0x150(%rsp)
  mov    $0x0,%eax
  mov    $0x1,%edi
L467:
  mov    0x150(%rsp,%rax,1),%esi
  movss  0x130(%rsp,%rax,1),%xmm0
  movss  0x140(%rsp,%rax,1),%xmm1
  ucomiss %xmm1,%xmm0
  setp   %cl
  movzbl %cl,%ecx
  cmovne %edi,%ecx
  add    %esi,%ecx
  jne    L20
  add    $0x4,%rax
  cmp    $0x10,%rax
  jne    L467
  pxor   %xmm2,%xmm2
  cvtsi2sd %edx,%xmm2
  movapd %xmm2,%xmm0
  movhpd D452(%rip),%xmm0
  movapd D76(%rip),%xmm1
  cmpltpd %xmm0,%xmm1
  movq   %xmm1,%rsi
  test   %edx,%edx
  setg   %al
  movzbl %al,%eax
  add    %rsi,%rax
  jne    L313
  movhlps %xmm1,%xmm7
  movq   %xmm7,%rsi
  cmp    $0xffffffffffffffff,%rsi
  jne    L210
  movapd %xmm0,%xmm1
  cmpltpd D76(%rip),%xmm1
  movq   %xmm1,%rsi
  movslq %edx,%rax
  sar    $0x3f,%rax
  cmp    %rax,%rsi
  jne    L110
  movhlps %xmm1,%xmm6
  movq   %xmm6,%rsi
  test   %rsi,%rsi
  jne    L244
  movapd D76(%rip),%xmm1
  cmplepd %xmm0,%xmm1
  movq   %xmm1,%rsi
  movslq %edx,%rax
  not    %rax
  sar    $0x3f,%rax
  cmp    %rax,%rsi
  jne    L15
  movhlps %xmm1,%xmm4
  movq   %xmm4,%rsi
  cmp    $0xffffffffffffffff,%rsi
  jne    L796
  movapd %xmm0,%xmm1
  cmplepd D76(%rip),%xmm1
  movq   %xmm1,%rsi
  test   %edx,%edx
  setle  %al
  movzbl %al,%eax
  add    %rsi,%rax
  jne    L464
  movhlps %xmm1,%xmm5
  movq   %xmm5,%rsi
  test   %rsi,%rsi
  jne    L478
  movapd %xmm0,%xmm1
  cmpeqpd D76(%rip),%xmm1
  movq   %xmm1,%rsi
  cmp    $0x1,%edx
  sbb    %rax,%rax
  cmp    %rax,%rsi
  jne    L885
  movhlps %xmm1,%xmm7
  movq   %xmm7,%rsi
  test   %rsi,%rsi
  jne    L678
  cmpneqpd D76(%rip),%xmm0
  movq   %xmm0,%rsi
  neg    %edx
  sbb    %rax,%rax
  cmp    %rax,%rsi
  jne    L327
  movhlps %xmm0,%xmm6
  movq   %xmm6,%rsi
  cmp    $0xffffffffffffffff,%rsi
  jne    L898
  mov    0x168(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L908
  mov    $0x0,%eax
  add    $0x178,%rsp
  ret
L1018:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D164(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L5:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D212(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L153:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D358(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L139:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D909(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L865:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D538(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L981:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D906(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L344:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D983(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L990:
  mov    %edi,%edx
  lea    D696(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L910:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D1017(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L989:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D424(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L839:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D362(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L294:
  mov    %r8d,%ecx
  mov    %edi,%edx
  lea    D368(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L1007:
  movswl %di,%ecx
  movswl %si,%edx
  mov    %r8d,%esi
  lea    D164(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L914:
  movswl %di,%ecx
  movswl %si,%edx
  mov    %r8d,%esi
  lea    D212(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L378:
  movswl %di,%ecx
  movswl %si,%edx
  mov    %r8d,%esi
  lea    D358(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L896:
  movswl %di,%ecx
  movswl %si,%edx
  mov    %r8d,%esi
  lea    D909(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L405:
  movswl %di,%ecx
  movswl %si,%edx
  mov    %r8d,%esi
  lea    D538(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L264:
  movswl %di,%ecx
  movswl %si,%edx
  mov    %r8d,%esi
  lea    D906(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L706:
  movzwl %di,%ecx
  movzwl %si,%edx
  mov    %r8d,%esi
  lea    D983(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L393:
  movzwl %si,%esi
  movzwl %cx,%edx
  mov    %esi,%ecx
  mov    %edi,%esi
  lea    D696(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L692:
  movzwl %di,%ecx
  movzwl %si,%edx
  mov    %r8d,%esi
  lea    D1017(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L200:
  movzwl %di,%ecx
  movzwl %si,%edx
  mov    %r8d,%esi
  lea    D424(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L203:
  movzwl %di,%ecx
  movzwl %si,%edx
  mov    %r8d,%esi
  lea    D362(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L380:
  movzwl %di,%ecx
  movzwl %si,%edx
  mov    %r8d,%esi
  lea    D368(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L263:
  movsbl %dil,%ecx
  movsbl %sil,%edx
  mov    %r8d,%esi
  lea    D164(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L792:
  movsbl %dil,%ecx
  movsbl %sil,%edx
  mov    %r8d,%esi
  lea    D212(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L523:
  movsbl %dil,%ecx
  movsbl %sil,%edx
  mov    %r8d,%esi
  lea    D358(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L785:
  movsbl %dil,%ecx
  movsbl %sil,%edx
  mov    %r8d,%esi
  lea    D909(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L919:
  movsbl %dil,%ecx
  movsbl %sil,%edx
  mov    %r8d,%esi
  lea    D538(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L879:
  movsbl %dil,%ecx
  movsbl %sil,%edx
  mov    %r8d,%esi
  lea    D906(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L27:
  movzbl %dil,%ecx
  movzbl %sil,%edx
  mov    %r8d,%esi
  lea    D983(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L752:
  movzbl %sil,%esi
  movzbl %cl,%edx
  mov    %esi,%ecx
  mov    %edi,%esi
  lea    D696(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L546:
  movzbl %dil,%ecx
  movzbl %sil,%edx
  mov    %r8d,%esi
  lea    D1017(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L293:
  movzbl %dil,%ecx
  movzbl %sil,%edx
  mov    %r8d,%esi
  lea    D424(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L679:
  movzbl %dil,%ecx
  movzbl %sil,%edx
  mov    %r8d,%esi
  lea    D362(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L386:
  movzbl %dil,%ecx
  movzbl %sil,%edx
  mov    %r8d,%esi
  lea    D368(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  call   <abort@plt>
L104:
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm1,%xmm1
  lea    D658(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L594:
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm1,%xmm1
  lea    D235(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L98:
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm1,%xmm1
  lea    D510(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L861:
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm1,%xmm1
  lea    D461(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L321:
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm1,%xmm1
  lea    D907(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L20:
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm1,%xmm1
  lea    D786(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L210:
  movsd  D985(%rip),%xmm1
  movsd  D452(%rip),%xmm2
  jmp    L961
L313:
  pxor   %xmm1,%xmm1
L961:
  movapd %xmm2,%xmm0
  lea    D658(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L244:
  movsd  D985(%rip),%xmm1
  movsd  D452(%rip),%xmm2
  jmp    L222
L110:
  pxor   %xmm1,%xmm1
L222:
  movapd %xmm2,%xmm0
  lea    D235(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L796:
  movsd  D985(%rip),%xmm1
  movsd  D452(%rip),%xmm2
  jmp    L803
L15:
  pxor   %xmm1,%xmm1
L803:
  movapd %xmm2,%xmm0
  lea    D510(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L478:
  movsd  D985(%rip),%xmm1
  movsd  D452(%rip),%xmm2
  jmp    L782
L464:
  pxor   %xmm1,%xmm1
L782:
  movapd %xmm2,%xmm0
  lea    D461(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L678:
  movsd  D985(%rip),%xmm1
  movsd  D452(%rip),%xmm2
  jmp    L494
L885:
  pxor   %xmm1,%xmm1
L494:
  movapd %xmm2,%xmm0
  lea    D907(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L898:
  movsd  D985(%rip),%xmm1
  movsd  D452(%rip),%xmm2
  jmp    L786
L327:
  pxor   %xmm1,%xmm1
L786:
  movapd %xmm2,%xmm0
  lea    D786(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L908:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D898
data_type: f32[4]
name: extract_symbolic_data
arguments: data_label: D703
data_type: f32[4]
name: extract_symbolic_data
arguments: data_label: D780
data_type: byte[16]
name: extract_symbolic_data
arguments: data_label: D223
data_type: byte[16]
name: extract_symbolic_data
arguments: data_label: D503
data_type: byte[16]
name: extract_symbolic_data
arguments: data_label: D924
data_type: byte[16]
name: extract_symbolic_data
arguments: data_label: D1060
data_type: f32[4]
name: extract_symbolic_data
arguments: data_label: D309
data_type: f32[4]
name: extract_symbolic_data
arguments: data_label: D452
data_type: f64
name: extract_symbolic_data
arguments: data_label: D76
data_type: f32[4]
name: extract_symbolic_data
arguments: data_label: D164
data_type: string
name: extract_symbolic_data
arguments: data_label: D212
data_type: string
name: extract_symbolic_data
arguments: data_label: D358
data_type: string
name: extract_symbolic_data
arguments: data_label: D909
data_type: string
name: extract_symbolic_data
arguments: data_label: D538
data_type: string
name: extract_symbolic_data
arguments: data_label: D906
data_type: string
name: extract_symbolic_data
arguments: data_label: D983
data_type: string
name: extract_symbolic_data
arguments: data_label: D696
data_type: string
name: extract_symbolic_data
arguments: data_label: D1017
data_type: string
name: extract_symbolic_data
arguments: data_label: D424
data_type: string
name: extract_symbolic_data
arguments: data_label: D362
data_type: string
name: extract_symbolic_data
arguments: data_label: D368
data_type: string
name: extract_symbolic_data
arguments: data_label: D658
data_type: string
name: extract_symbolic_data
arguments: data_label: D235
data_type: string
name: extract_symbolic_data
arguments: data_label: D510
data_type: string
name: extract_symbolic_data
arguments: data_label: D461
data_type: string
name: extract_symbolic_data
arguments: data_label: D907
data_type: string
name: extract_symbolic_data
arguments: data_label: D786
data_type: string
name: extract_symbolic_data
arguments: data_label: D985
data_type: f32[2]

tool: {"D898": [0.0,1.401298464324817e-45,2.802596928649634e-45,1.401298464324817e-44]}

tool: {"D703": [0.0,4.203895392974451e-45,2.802596928649634e-45,null]}

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

tool: {"D223": [0x00,0x00,0x01,0x00,0x02,0x00,0x0a,0x00,0x06,0x00,0x57,0x00,0xfb,0xff,0x02,0x00]}

tool: {"D503": [0x00,0x00,0x03,0x00,0x02,0x00,0xe9,0xff,0x0c,0x00,0x0a,0x00,0xfe,0xff,0x00,0x00]}

tool: {"D924": [0x00,0x03,0x02,0xe9,0x0c,0x0a,0xfe,0x00,0x00,0x03,0x02,0xe9,0x0c,0x0a,0xfe,0x00]}

tool: {"D1060": [0.0,1.0,2.0,10.0]}

tool: {"D309": [0.0,3.0,2.0,-23.0]}

tool: D452: 10

tool: {"D76": [0.0,0.0,0.0,-2.859375]}

tool: D164: %i != ((%i > %i ? -1 : 0) 

tool: D212: %i != ((%i < %i ? -1 : 0) 

tool: D358: %i != ((%i >= %i ? -1 : 0) 

tool: D909: %i != ((%i <= %i ? -1 : 0) 

tool: D538: %i != ((%i == %i ? -1 : 0) 

tool: D906: %i != ((%i != %i ? -1 : 0) 

tool: D983: %i != ((%u > %u ? -1 : 0) 

tool: D696: %i != ((%u < %u ? -1 : 0) 

tool: D1017: %i != ((%u >= %u ? -1 : 0) 

tool: D424: %i != ((%u <= %u ? -1 : 0) 

tool: D362: %i != ((%u == %u ? -1 : 0) 

tool: D368: %i != ((%u != %u ? -1 : 0) 

tool: D658: %i != ((%f > %f ? -1 : 0) 

tool: D235: %i != ((%f < %f ? -1 : 0) 

tool: D510: %i != ((%f >= %f ? -1 : 0) 

tool: D461: %i != ((%f <= %f ? -1 : 0) 

tool: D907: %i != ((%f == %f ? -1 : 0) 

tool: D786: %i != ((%f != %f ? -1 : 0) 

tool: {"D985": [0.0,-2.859375]}

assistant: ```c
int main(int argc, char *argv[]) {
  __attribute__((vector_size((4) * sizeof(int)))) int i0;
  __attribute__((vector_size((4) * sizeof(int)))) int i1;
  __attribute__((vector_size((4) * sizeof(int)))) int ires;
  int i;
  i0 = (__attribute__((vector_size((4) * sizeof(int)))) int){argc, 1, 2, 10};
  i1 = (__attribute__((vector_size((4) * sizeof(int)))) int){0, 3, 2, (int)-23};
  ;
  do {
    ires = (i0 > i1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ires)[__i] != ((i0)[__i] > (i1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           ">"
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (ires)[__i], (i0)[__i], (i1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ires = (i0 < i1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ires)[__i] != ((i0)[__i] < (i1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "<"
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (ires)[__i], (i0)[__i], (i1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ires = (i0 >= i1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ires)[__i] != ((i0)[__i] >= (i1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           ">="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (ires)[__i], (i0)[__i], (i1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ires = (i0 <= i1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ires)[__i] != ((i0)[__i] <= (i1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "<="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (ires)[__i], (i0)[__i], (i1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ires = (i0 == i1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ires)[__i] != ((i0)[__i] == (i1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "=="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (ires)[__i], (i0)[__i], (i1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ires = (i0 != i1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ires)[__i] != ((i0)[__i] != (i1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "!="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (ires)[__i], (i0)[__i], (i1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
  } while (0);
  __attribute__((vector_size((4) * sizeof(int)))) int ures;
  __attribute__((vector_size((4) * sizeof(unsigned int)))) unsigned int u0;
  __attribute__((vector_size((4) * sizeof(unsigned int)))) unsigned int u1;
  u0 = (__attribute__((vector_size((4) * sizeof(unsigned int)))) unsigned int){argc, 1, 2, 10};
  u1 = (__attribute__((vector_size((4) * sizeof(unsigned int)))) unsigned int){0, 3, 2, (unsigned int)-23};
  ;
  do {
    ures = (u0 > u1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ures)[__i] != ((u0)[__i] > (u1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           ">"
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ures)[__i], (u0)[__i], (u1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ures = (u0 < u1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ures)[__i] != ((u0)[__i] < (u1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "<"
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ures)[__i], (u0)[__i], (u1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ures = (u0 >= u1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ures)[__i] != ((u0)[__i] >= (u1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           ">="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ures)[__i], (u0)[__i], (u1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ures = (u0 <= u1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ures)[__i] != ((u0)[__i] <= (u1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "<="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ures)[__i], (u0)[__i], (u1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ures = (u0 == u1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ures)[__i] != ((u0)[__i] == (u1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "=="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ures)[__i], (u0)[__i], (u1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ures = (u0 != u1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ures)[__i] != ((u0)[__i] != (u1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "!="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ures)[__i], (u0)[__i], (u1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
  } while (0);
  __attribute__((vector_size((8) * sizeof(short)))) short s0;
  __attribute__((vector_size((8) * sizeof(short)))) short s1;
  __attribute__((vector_size((8) * sizeof(short)))) short sres;
  s0 = (__attribute__((vector_size((8) * sizeof(short)))) short){argc, 1, 2, 10, 6, 87, (short)-5, 2};
  s1 = (__attribute__((vector_size((8) * sizeof(short)))) short){0, 3, 2, (short)-23, 12, 10, (short)-2, 0};
  ;
  do {
    sres = (s0 > s1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((sres)[__i] != ((s0)[__i] > (s1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           ">"
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (sres)[__i], (s0)[__i], (s1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    sres = (s0 < s1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((sres)[__i] != ((s0)[__i] < (s1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "<"
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (sres)[__i], (s0)[__i], (s1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    sres = (s0 >= s1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((sres)[__i] != ((s0)[__i] >= (s1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           ">="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (sres)[__i], (s0)[__i], (s1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    sres = (s0 <= s1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((sres)[__i] != ((s0)[__i] <= (s1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "<="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (sres)[__i], (s0)[__i], (s1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    sres = (s0 == s1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((sres)[__i] != ((s0)[__i] == (s1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "=="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (sres)[__i], (s0)[__i], (s1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    sres = (s0 != s1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((sres)[__i] != ((s0)[__i] != (s1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "!="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (sres)[__i], (s0)[__i], (s1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
  } while (0);
  __attribute__((vector_size((8) * sizeof(unsigned short)))) unsigned short us0;
  __attribute__((vector_size((8) * sizeof(unsigned short)))) unsigned short us1;
  __attribute__((vector_size((8) * sizeof(short)))) short usres;
  us0 = (__attribute__((vector_size((8) * sizeof(unsigned short)))) unsigned short){argc, 1, 2, 10, 6, 87, (unsigned short)-5, 2};
  us1 = (__attribute__((vector_size((8) * sizeof(unsigned short)))) unsigned short){0, 3, 2, (unsigned short)-23, 12, 10, (unsigned short)-2, 0};
  ;
  do {
    usres = (us0 > us1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((usres)[__i] != ((us0)[__i] > (us1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           ">"
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (usres)[__i], (us0)[__i], (us1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    usres = (us0 < us1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((usres)[__i] != ((us0)[__i] < (us1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "<"
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (usres)[__i], (us0)[__i], (us1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    usres = (us0 >= us1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((usres)[__i] != ((us0)[__i] >= (us1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           ">="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (usres)[__i], (us0)[__i], (us1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    usres = (us0 <= us1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((usres)[__i] != ((us0)[__i] <= (us1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "<="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (usres)[__i], (us0)[__i], (us1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    usres = (us0 == us1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((usres)[__i] != ((us0)[__i] == (us1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "=="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (usres)[__i], (us0)[__i], (us1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    usres = (us0 != us1);
    do {
      int __i;
      for (__i = 0; __i < 8; __i++) {
        if ((usres)[__i] != ((us0)[__i] != (us1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "!="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (usres)[__i], (us0)[__i], (us1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
  } while (0);
  __attribute__((vector_size((16) * sizeof(signed char)))) signed char c0;
  __attribute__((vector_size((16) * sizeof(signed char)))) signed char c1;
  __attribute__((vector_size((16) * sizeof(signed char)))) signed char cres;
  c0 = (__attribute__((vector_size((16) * sizeof(signed char)))) signed char){argc, 1, 2, 10, 6, 87, (signed char)-5, 2, argc, 1, 2, 10, 6, 87, (signed char)-5, 2};
  c1 = (__attribute__((vector_size((16) * sizeof(signed char)))) signed char){0, 3, 2, (signed char)-23, 12, 10, (signed char)-2, 0, 0, 3, 2, (signed char)-23, 12, 10, (signed char)-2, 0};
  ;
  do {
    cres = (c0 > c1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((cres)[__i] != ((c0)[__i] > (c1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           ">"
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (cres)[__i], (c0)[__i], (c1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    cres = (c0 < c1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((cres)[__i] != ((c0)[__i] < (c1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "<"
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (cres)[__i], (c0)[__i], (c1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    cres = (c0 >= c1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((cres)[__i] != ((c0)[__i] >= (c1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           ">="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (cres)[__i], (c0)[__i], (c1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    cres = (c0 <= c1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((cres)[__i] != ((c0)[__i] <= (c1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "<="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (cres)[__i], (c0)[__i], (c1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    cres = (c0 == c1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((cres)[__i] != ((c0)[__i] == (c1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "=="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (cres)[__i], (c0)[__i], (c1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    cres = (c0 != c1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((cres)[__i] != ((c0)[__i] != (c1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%i"
                           " "
                           "!="
                           " "
                           "%i"
                           " ? -1 : 0) ",
                           (cres)[__i], (c0)[__i], (c1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
  } while (0);
  __attribute__((vector_size((16) * sizeof(unsigned char)))) unsigned char uc0;
  __attribute__((vector_size((16) * sizeof(unsigned char)))) unsigned char uc1;
  __attribute__((vector_size((16) * sizeof(signed char)))) signed char ucres;
  uc0 = (__attribute__((vector_size((16) * sizeof(unsigned char)))) unsigned char){argc, 1, 2, 10, 6, 87, (unsigned char)-5, 2, argc, 1, 2, 10, 6, 87, (unsigned char)-5, 2};
  uc1 = (__attribute__((vector_size((16) * sizeof(unsigned char)))) unsigned char){0, 3, 2, (unsigned char)-23, 12, 10, (unsigned char)-2, 0, 0, 3, 2, (unsigned char)-23, 12, 10, (unsigned char)-2, 0};
  ;
  do {
    ucres = (uc0 > uc1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((ucres)[__i] != ((uc0)[__i] > (uc1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           ">"
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ucres)[__i], (uc0)[__i], (uc1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ucres = (uc0 < uc1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((ucres)[__i] != ((uc0)[__i] < (uc1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "<"
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ucres)[__i], (uc0)[__i], (uc1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ucres = (uc0 >= uc1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((ucres)[__i] != ((uc0)[__i] >= (uc1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           ">="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ucres)[__i], (uc0)[__i], (uc1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ucres = (uc0 <= uc1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((ucres)[__i] != ((uc0)[__i] <= (uc1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "<="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ucres)[__i], (uc0)[__i], (uc1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ucres = (uc0 == uc1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((ucres)[__i] != ((uc0)[__i] == (uc1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "=="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ucres)[__i], (uc0)[__i], (uc1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ucres = (uc0 != uc1);
    do {
      int __i;
      for (__i = 0; __i < 16; __i++) {
        if ((ucres)[__i] != ((uc0)[__i] != (uc1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%u"
                           " "
                           "!="
                           " "
                           "%u"
                           " ? -1 : 0) ",
                           (ucres)[__i], (uc0)[__i], (uc1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
  } while (0);
  __attribute__((vector_size((4) * sizeof(float)))) float f0;
  __attribute__((vector_size((4) * sizeof(float)))) float f1;
  __typeof(f0 == f1) ifres;
  f0 = (__attribute__((vector_size((4) * sizeof(float)))) float){(float)argc, 1., 2., 10.};
  f1 = (__attribute__((vector_size((4) * sizeof(float)))) float){0., 3., 2., (float)-23};
  ;
  do {
    ifres = (f0 > f1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ifres)[__i] != ((f0)[__i] > (f1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           ">"
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (ifres)[__i], (f0)[__i], (f1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ifres = (f0 < f1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ifres)[__i] != ((f0)[__i] < (f1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           "<"
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (ifres)[__i], (f0)[__i], (f1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ifres = (f0 >= f1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ifres)[__i] != ((f0)[__i] >= (f1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           ">="
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (ifres)[__i], (f0)[__i], (f1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ifres = (f0 <= f1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ifres)[__i] != ((f0)[__i] <= (f1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           "<="
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (ifres)[__i], (f0)[__i], (f1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ifres = (f0 == f1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ifres)[__i] != ((f0)[__i] == (f1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           "=="
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (ifres)[__i], (f0)[__i], (f1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    ifres = (f0 != f1);
    do {
      int __i;
      for (__i = 0; __i < 4; __i++) {
        if ((ifres)[__i] != ((f0)[__i] != (f1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           "!="
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (ifres)[__i], (f0)[__i], (f1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
  } while (0);
  __attribute__((vector_size((2) * sizeof(double)))) double d0;
  __attribute__((vector_size((2) * sizeof(double)))) double d1;
  __typeof(d0 == d1) idres;
  d0 = (__attribute__((vector_size((2) * sizeof(double)))) double){(double)argc, 10.};
  d1 = (__attribute__((vector_size((2) * sizeof(double)))) double){0., (double)-23};
  ;
  do {
    idres = (d0 > d1);
    do {
      int __i;
      for (__i = 0; __i < 2; __i++) {
        if ((idres)[__i] != ((d0)[__i] > (d1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           ">"
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (idres)[__i], (d0)[__i], (d1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    idres = (d0 < d1);
    do {
      int __i;
      for (__i = 0; __i < 2; __i++) {
        if ((idres)[__i] != ((d0)[__i] < (d1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           "<"
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (idres)[__i], (d0)[__i], (d1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    idres = (d0 >= d1);
    do {
      int __i;
      for (__i = 0; __i < 2; __i++) {
        if ((idres)[__i] != ((d0)[__i] >= (d1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           ">="
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (idres)[__i], (d0)[__i], (d1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    idres = (d0 <= d1);
    do {
      int __i;
      for (__i = 0; __i < 2; __i++) {
        if ((idres)[__i] != ((d0)[__i] <= (d1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           "<="
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (idres)[__i], (d0)[__i], (d1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    idres = (d0 == d1);
    do {
      int __i;
      for (__i = 0; __i < 2; __i++) {
        if ((idres)[__i] != ((d0)[__i] == (d1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           "=="
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (idres)[__i], (d0)[__i], (d1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
    idres = (d0 != d1);
    do {
      int __i;
      for (__i = 0; __i < 2; __i++) {
        if ((idres)[__i] != ((d0)[__i] != (d1)[__i] ? -1 : 0)) {
          __builtin_printf("%i != (("
                           "%f"
                           " "
                           "!="
                           " "
                           "%f"
                           " ? -1 : 0) ",
                           (idres)[__i], (d0)[__i], (d1)[__i]);
          __builtin_abort();
        }
      }
    } while (0);
  } while (0);
  return 0;
}
```