user: 提供的汇编代码用C语言表示会是什么样子:

```asm
<main>:
  endbr64
  sub    $0x178,%rsp
  movd   %edi,%xmm6
  mov    %edi,%ecx
  mov    %edi,%r9d
  mov    %fs:0x28,%rax
  mov    %rax,0x168(%rsp)
  xor    %eax,%eax
  movdqa D417(%rip),%xmm1
  xor    %edx,%edx
  xor    %r10d,%r10d
  movdqa D387(%rip),%xmm0
  lea    0x30(%rsp),%rax
  movdqa %xmm1,%xmm2
  movss  %xmm6,%xmm2
  movaps %xmm0,0x20(%rsp)
  movdqa %xmm2,%xmm3
  movaps %xmm2,0x10(%rsp)
  pcmpgtd %xmm0,%xmm3
  movaps %xmm3,0x30(%rsp)
L46:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r8d
  cmp    %r9d,%r10d
  setl   %sil
  add    %r8d,%esi
  jne    L935
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L1189
  mov    0x10(%rsp,%rdx,1),%r9d
  mov    0x20(%rsp,%rdx,1),%r10d
  jmp    L46
  nopl   0x0(%rax)
L1189:
  movdqa %xmm0,%xmm3
  mov    %ecx,%r9d
  xor    %edx,%edx
  xor    %r10d,%r10d
  pcmpgtd %xmm2,%xmm3
  movaps %xmm3,0x30(%rsp)
L1037:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r8d
  cmp    %r10d,%r9d
  setl   %sil
  add    %r8d,%esi
  jne    L442
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L730
  mov    0x10(%rsp,%rdx,1),%r9d
  mov    0x20(%rsp,%rdx,1),%r10d
  jmp    L1037
  nopl   0x0(%rax)
L730:
  movdqa %xmm0,%xmm3
  pxor   %xmm4,%xmm4
  mov    %ecx,%r9d
  xor    %edx,%edx
  pcmpgtd %xmm2,%xmm3
  xor    %r10d,%r10d
  pcmpeqd %xmm4,%xmm3
  movaps %xmm3,0x30(%rsp)
L301:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r8d
  cmp    %r10d,%r9d
  setge  %sil
  add    %r8d,%esi
  jne    L762
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L1233
  mov    0x10(%rsp,%rdx,1),%r9d
  mov    0x20(%rsp,%rdx,1),%r10d
  jmp    L301
  nopl   0x0(%rax)
L1233:
  movdqa %xmm2,%xmm3
  pxor   %xmm4,%xmm4
  mov    %ecx,%r9d
  xor    %edx,%edx
  pcmpgtd %xmm0,%xmm3
  xor    %r10d,%r10d
  pcmpeqd %xmm4,%xmm3
  movaps %xmm3,0x30(%rsp)
L755:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r8d
  cmp    %r9d,%r10d
  setge  %sil
  add    %r8d,%esi
  jne    L114
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L437
  mov    0x10(%rsp,%rdx,1),%r9d
  mov    0x20(%rsp,%rdx,1),%r10d
  jmp    L755
  nopl   0x0(%rax)
L437:
  movdqa %xmm2,%xmm3
  mov    %ecx,%r9d
  xor    %edx,%edx
  xor    %r10d,%r10d
  pcmpeqd %xmm0,%xmm3
  movaps %xmm3,0x30(%rsp)
L784:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r8d
  cmp    %r10d,%r9d
  sete   %sil
  add    %r8d,%esi
  jne    L953
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L654
  mov    0x10(%rsp,%rdx,1),%r9d
  mov    0x20(%rsp,%rdx,1),%r10d
  jmp    L784
  nopl   0x0(%rax)
L654:
  pcmpeqd %xmm0,%xmm2
  pxor   %xmm3,%xmm3
  mov    %ecx,%r9d
  xor    %edx,%edx
  xor    %r10d,%r10d
  pcmpeqd %xmm3,%xmm2
  movaps %xmm2,0x30(%rsp)
L1271:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r8d
  cmp    %r10d,%r9d
  setne  %sil
  add    %r8d,%esi
  jne    L91
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L826
  mov    0x10(%rsp,%rdx,1),%r9d
  mov    0x20(%rsp,%rdx,1),%r10d
  jmp    L1271
  nopl   (%rax)
L826:
  movd   %ecx,%xmm7
  movdqa %xmm0,%xmm4
  xor    %edx,%edx
  mov    %ecx,%r9d
  movss  %xmm7,%xmm1
  xor    %r10d,%r10d
  lea    0x40(%rsp),%rax
  mov    %ecx,%r8d
  movdqa D154(%rip),%xmm2
  movdqa %xmm1,%xmm3
  cmp    %r9d,%r10d
  movaps %xmm1,0x50(%rsp)
  sbb    %edi,%edi
  movaps %xmm0,0x60(%rsp)
  psubd  %xmm2,%xmm3
  psubd  %xmm2,%xmm4
  pcmpgtd %xmm4,%xmm3
  movaps %xmm3,0x40(%rsp)
  mov    (%rax,%rdx,1),%esi
  cmp    %edi,%esi
  jne    L155
L960:
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L811
  mov    0x50(%rsp,%rdx,1),%r9d
  mov    0x60(%rsp,%rdx,1),%r10d
  mov    (%rax,%rdx,1),%esi
  cmp    %r9d,%r10d
  sbb    %edi,%edi
  cmp    %edi,%esi
  je     L960
L155:
  mov    %r10d,%ecx
  mov    %r9d,%edx
  lea    D167(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  call   <abort@plt>
L811:
  movdqa %xmm0,%xmm3
  movdqa %xmm1,%xmm4
  xor    %edx,%edx
  mov    %ecx,%r9d
  psubd  %xmm2,%xmm3
  psubd  %xmm2,%xmm4
  xor    %r10d,%r10d
  pcmpgtd %xmm4,%xmm3
  cmp    %r10d,%r9d
  sbb    %edi,%edi
  movaps %xmm3,0x40(%rsp)
  mov    (%rax,%rdx,1),%esi
  cmp    %edi,%esi
  jne    L171
L1070:
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L760
  mov    0x50(%rsp,%rdx,1),%r9d
  mov    0x60(%rsp,%rdx,1),%r10d
  mov    (%rax,%rdx,1),%esi
  cmp    %r10d,%r9d
  sbb    %edi,%edi
  cmp    %edi,%esi
  je     L1070
L171:
  mov    %r10d,%ecx
  mov    %r9d,%edx
  lea    D361(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  call   <abort@plt>
  cs nopw 0x0(%rax,%rax,1)
L760:
  movdqa %xmm0,%xmm3
  movdqa %xmm1,%xmm4
  mov    %ecx,%r10d
  xor    %edx,%edx
  psubd  %xmm2,%xmm4
  psubd  %xmm2,%xmm3
  xor    %r11d,%r11d
  pcmpgtd %xmm4,%xmm3
  pxor   %xmm4,%xmm4
  pcmpeqd %xmm4,%xmm3
  movaps %xmm3,0x40(%rsp)
L324:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r9d
  cmp    %r10d,%r11d
  setbe  %sil
  add    %r9d,%esi
  jne    L705
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L141
  mov    0x50(%rsp,%rdx,1),%r10d
  mov    0x60(%rsp,%rdx,1),%r11d
  jmp    L324
  nopl   (%rax)
L141:
  movdqa %xmm1,%xmm3
  movdqa %xmm0,%xmm4
  mov    %ecx,%r10d
  xor    %edx,%edx
  psubd  %xmm2,%xmm3
  psubd  %xmm2,%xmm4
  xor    %r11d,%r11d
  pcmpgtd %xmm4,%xmm3
  movdqa %xmm3,%xmm2
  pxor   %xmm3,%xmm3
  pcmpeqd %xmm3,%xmm2
  movaps %xmm2,0x40(%rsp)
L1376:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r9d
  cmp    %r11d,%r10d
  setbe  %sil
  add    %r9d,%esi
  jne    L1490
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L802
  mov    0x50(%rsp,%rdx,1),%r10d
  mov    0x60(%rsp,%rdx,1),%r11d
  jmp    L1376
  nopl   0x0(%rax)
L802:
  movdqa %xmm1,%xmm2
  mov    %ecx,%r10d
  xor    %edx,%edx
  xor    %r11d,%r11d
  pcmpeqd %xmm0,%xmm2
  movaps %xmm2,0x40(%rsp)
L1390:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r9d
  cmp    %r11d,%r10d
  sete   %sil
  add    %r9d,%esi
  jne    L392
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L1026
  mov    0x50(%rsp,%rdx,1),%r10d
  mov    0x60(%rsp,%rdx,1),%r11d
  jmp    L1390
  nopl   0x0(%rax)
L1026:
  pcmpeqd %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  xor    %edx,%edx
  xor    %r10d,%r10d
  pcmpeqd %xmm0,%xmm1
  movaps %xmm1,0x40(%rsp)
L618:
  xor    %esi,%esi
  mov    (%rax,%rdx,1),%r9d
  cmp    %r10d,%r8d
  setne  %sil
  add    %r9d,%esi
  jne    L1171
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L929
  mov    0x50(%rsp,%rdx,1),%r8d
  mov    0x60(%rsp,%rdx,1),%r10d
  jmp    L618
  nopw   0x0(%rax,%rax,1)
L929:
  movdqa D208(%rip),%xmm1
  mov    %ecx,%edi
  mov    %ecx,%r8d
  xor    %edx,%edx
  movdqa D552(%rip),%xmm0
  xor    %r9d,%r9d
  lea    0x90(%rsp),%rax
  movdqa %xmm1,%xmm2
  pinsrw $0x0,%ecx,%xmm2
  movaps %xmm0,0x80(%rsp)
  movdqa %xmm2,%xmm3
  movaps %xmm2,0x70(%rsp)
  pcmpgtw %xmm0,%xmm3
  movaps %xmm3,0x90(%rsp)
  jmp    L1038
  nopw   0x0(%rax,%rax,1)
L531:
  movzwl 0x80(%rsp,%rdx,1),%r9d
  movzwl 0x70(%rsp,%rdx,1),%r8d
L1038:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r10d
  cmp    %r9w,%r8w
  setg   %sil
  add    %r10d,%esi
  jne    L1427
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L531
  movdqa %xmm0,%xmm3
  mov    %ecx,%r8d
  xor    %edx,%edx
  xor    %r9d,%r9d
  pcmpgtw %xmm2,%xmm3
  movaps %xmm3,0x90(%rsp)
  jmp    L606
  nopl   0x0(%rax,%rax,1)
L981:
  movzwl 0x80(%rsp,%rdx,1),%r9d
  movzwl 0x70(%rsp,%rdx,1),%r8d
L606:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r10d
  cmp    %r9w,%r8w
  setl   %sil
  add    %r10d,%esi
  jne    L70
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L981
  movdqa %xmm0,%xmm3
  mov    %ecx,%r8d
  xor    %edx,%edx
  xor    %r9d,%r9d
  pminsw %xmm2,%xmm3
  pcmpeqw %xmm0,%xmm3
  movaps %xmm3,0x90(%rsp)
  jmp    L1214
  nopw   0x0(%rax,%rax,1)
L816:
  movzwl 0x80(%rsp,%rdx,1),%r9d
  movzwl 0x70(%rsp,%rdx,1),%r8d
L1214:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r10d
  cmp    %r9w,%r8w
  setge  %sil
  add    %r10d,%esi
  jne    L1290
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L816
  movdqa %xmm2,%xmm3
  mov    %ecx,%r8d
  xor    %edx,%edx
  xor    %r9d,%r9d
  pminsw %xmm0,%xmm3
  pcmpeqw %xmm2,%xmm3
  movaps %xmm3,0x90(%rsp)
  jmp    L413
  nop
L319:
  movzwl 0x80(%rsp,%rdx,1),%r9d
  movzwl 0x70(%rsp,%rdx,1),%r8d
L413:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r10d
  cmp    %r9w,%r8w
  setle  %sil
  add    %r10d,%esi
  jne    L230
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L319
  movdqa %xmm2,%xmm3
  mov    %ecx,%r8d
  xor    %edx,%edx
  xor    %r9d,%r9d
  pcmpeqw %xmm0,%xmm3
  movaps %xmm3,0x90(%rsp)
  jmp    L1128
  nopl   0x0(%rax,%rax,1)
L967:
  movzwl 0x80(%rsp,%rdx,1),%r9d
  movzwl 0x70(%rsp,%rdx,1),%r8d
L1128:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r10d
  cmp    %r9w,%r8w
  sete   %sil
  add    %r10d,%esi
  jne    L1077
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L967
  pcmpeqw %xmm0,%xmm2
  pxor   %xmm3,%xmm3
  xor    %edx,%edx
  xor    %r8d,%r8d
  pcmpeqw %xmm3,%xmm2
  movaps %xmm2,0x90(%rsp)
  jmp    L468
  nopl   0x0(%rax)
L168:
  movzwl 0x80(%rsp,%rdx,1),%r8d
  movzwl 0x70(%rsp,%rdx,1),%edi
L468:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r9d
  cmp    %r8w,%di
  setne  %sil
  add    %r9d,%esi
  jne    L1316
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L168
  pinsrw $0x0,%ecx,%xmm1
  pxor   %xmm3,%xmm3
  mov    %ecx,%edi
  mov    %ecx,%r8d
  movdqa %xmm1,%xmm2
  movaps %xmm1,0xa0(%rsp)
  xor    %edx,%edx
  xor    %r9d,%r9d
  psubusw %xmm0,%xmm2
  movaps %xmm0,0xb0(%rsp)
  lea    0xc0(%rsp),%rax
  pcmpeqw %xmm3,%xmm2
  pcmpeqw %xmm3,%xmm2
  movaps %xmm2,0xc0(%rsp)
  jmp    L956
  nopl   (%rax)
L868:
  movzwl 0xa0(%rsp,%rdx,1),%r8d
  movzwl 0xb0(%rsp,%rdx,1),%r9d
L956:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r10d
  cmp    %r9w,%r8w
  seta   %sil
  add    %r10d,%esi
  jne    L689
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L868
  movdqa %xmm0,%xmm2
  pxor   %xmm3,%xmm3
  mov    %ecx,%esi
  xor    %edx,%edx
  psubusw %xmm1,%xmm2
  xor    %r8d,%r8d
  pcmpeqw %xmm3,%xmm2
  pcmpeqw %xmm3,%xmm2
  movaps %xmm2,0xc0(%rsp)
  jmp    L398
  nopl   0x0(%rax)
L1458:
  movzwl 0xa0(%rsp,%rdx,1),%esi
  movzwl 0xb0(%rsp,%rdx,1),%r8d
L398:
  cmp    %r8w,%si
  movswl (%rax,%rdx,1),%r9d
  sbb    %r10d,%r10d
  cmp    %r10d,%r9d
  jne    L408
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L1458
  movdqa %xmm0,%xmm2
  pxor   %xmm3,%xmm3
  mov    %ecx,%r8d
  xor    %edx,%edx
  psubusw %xmm1,%xmm2
  xor    %r9d,%r9d
  pcmpeqw %xmm3,%xmm2
  movaps %xmm2,0xc0(%rsp)
  jmp    L721
  nopw   0x0(%rax,%rax,1)
L218:
  movzwl 0xa0(%rsp,%rdx,1),%r8d
  movzwl 0xb0(%rsp,%rdx,1),%r9d
L721:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r10d
  cmp    %r9w,%r8w
  setae  %sil
  add    %r10d,%esi
  jne    L717
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L218
  movdqa %xmm1,%xmm2
  pxor   %xmm3,%xmm3
  mov    %ecx,%r8d
  xor    %edx,%edx
  psubusw %xmm0,%xmm2
  xor    %r9d,%r9d
  pcmpeqw %xmm3,%xmm2
  movaps %xmm2,0xc0(%rsp)
  jmp    L296
  cs nopw 0x0(%rax,%rax,1)
L1392:
  movzwl 0xa0(%rsp,%rdx,1),%r8d
  movzwl 0xb0(%rsp,%rdx,1),%r9d
L296:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r10d
  cmp    %r9w,%r8w
  setbe  %sil
  add    %r10d,%esi
  jne    L912
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L1392
  movdqa %xmm1,%xmm2
  mov    %ecx,%r8d
  xor    %edx,%edx
  xor    %r9d,%r9d
  pcmpeqw %xmm0,%xmm2
  movaps %xmm2,0xc0(%rsp)
  jmp    L147
  xchg   %ax,%ax
L151:
  movzwl 0xa0(%rsp,%rdx,1),%r8d
  movzwl 0xb0(%rsp,%rdx,1),%r9d
L147:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r10d
  cmp    %r9w,%r8w
  sete   %sil
  add    %r10d,%esi
  jne    L785
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L151
  pcmpeqw %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  xor    %edx,%edx
  xor    %r8d,%r8d
  pcmpeqw %xmm0,%xmm1
  movaps %xmm1,0xc0(%rsp)
  jmp    L536
  nop
L127:
  movzwl 0xa0(%rsp,%rdx,1),%edi
  movzwl 0xb0(%rsp,%rdx,1),%r8d
L536:
  xor    %esi,%esi
  movswl (%rax,%rdx,1),%r9d
  cmp    %r8w,%di
  setne  %sil
  add    %r9d,%esi
  jne    L473
  add    $0x2,%rdx
  cmp    $0x10,%rdx
  jne    L127
  movzbl %cl,%r8d
  movdqa D357(%rip),%xmm1
  mov    %ecx,%edi
  xor    %edx,%edx
  movabs $0x2fb57060a020100,%rax
  mov    %ecx,%r9d
  xor    %r10d,%r10d
  or     %r8,%rax
  movaps %xmm1,0xe0(%rsp)
  mov    %rax,(%rsp)
  mov    %rax,0x8(%rsp)
  movdqa (%rsp),%xmm6
  lea    0xf0(%rsp),%rax
  movdqa %xmm6,%xmm0
  movaps %xmm6,0xd0(%rsp)
  pcmpgtb %xmm1,%xmm0
  movaps %xmm0,0xf0(%rsp)
  jmp    L693
  xchg   %ax,%ax
L303:
  movzbl 0xd0(%rsp,%rdx,1),%r9d
  movzbl 0xe0(%rsp,%rdx,1),%r10d
L693:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r11d
  cmp    %r10b,%r9b
  setg   %sil
  add    %r11d,%esi
  jne    L653
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L303
  movdqa %xmm1,%xmm0
  mov    %ecx,%r9d
  xor    %edx,%edx
  xor    %r10d,%r10d
  pcmpgtb (%rsp),%xmm0
  movaps %xmm0,0xf0(%rsp)
  jmp    L1023
  xchg   %ax,%ax
L124:
  movzbl 0xd0(%rsp,%rdx,1),%r9d
  movzbl 0xe0(%rsp,%rdx,1),%r10d
L1023:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r11d
  cmp    %r10b,%r9b
  setl   %sil
  add    %r11d,%esi
  jne    L1073
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L124
  movdqa %xmm1,%xmm0
  pxor   %xmm2,%xmm2
  mov    %ecx,%r9d
  xor    %edx,%edx
  pcmpgtb (%rsp),%xmm0
  xor    %r10d,%r10d
  pcmpeqb %xmm2,%xmm0
  movaps %xmm0,0xf0(%rsp)
  jmp    L971
  cs nopw 0x0(%rax,%rax,1)
L123:
  movzbl 0xd0(%rsp,%rdx,1),%r9d
  movzbl 0xe0(%rsp,%rdx,1),%r10d
L971:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r11d
  cmp    %r10b,%r9b
  setge  %sil
  add    %r11d,%esi
  jne    L1009
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L123
  movdqa (%rsp),%xmm0
  pxor   %xmm2,%xmm2
  mov    %ecx,%r9d
  xor    %edx,%edx
  xor    %r10d,%r10d
  pcmpgtb %xmm1,%xmm0
  pcmpeqb %xmm2,%xmm0
  movaps %xmm0,0xf0(%rsp)
  jmp    L452
  cs nopw 0x0(%rax,%rax,1)
L1328:
  movzbl 0xd0(%rsp,%rdx,1),%r9d
  movzbl 0xe0(%rsp,%rdx,1),%r10d
L452:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r11d
  cmp    %r10b,%r9b
  setle  %sil
  add    %r11d,%esi
  jne    L451
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L1328
  movdqa (%rsp),%xmm0
  mov    %ecx,%r9d
  xor    %edx,%edx
  xor    %r10d,%r10d
  pcmpeqb %xmm1,%xmm0
  movaps %xmm0,0xf0(%rsp)
  jmp    L267
  xchg   %ax,%ax
L1034:
  movzbl 0xd0(%rsp,%rdx,1),%r9d
  movzbl 0xe0(%rsp,%rdx,1),%r10d
L267:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r11d
  cmp    %r10b,%r9b
  sete   %sil
  add    %r11d,%esi
  jne    L615
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L1034
  movdqa (%rsp),%xmm0
  pxor   %xmm2,%xmm2
  xor    %edx,%edx
  xor    %r9d,%r9d
  pcmpeqb %xmm1,%xmm0
  pcmpeqb %xmm2,%xmm0
  movaps %xmm0,0xf0(%rsp)
  jmp    L1342
  nopl   0x0(%rax,%rax,1)
L1202:
  movzbl 0xd0(%rsp,%rdx,1),%edi
  movzbl 0xe0(%rsp,%rdx,1),%r9d
L1342:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r10d
  cmp    %r9b,%dil
  setne  %sil
  add    %r10d,%esi
  jne    L547
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L1202
  pxor   %xmm2,%xmm2
  mov    %ecx,%edi
  movaps %xmm1,0x110(%rsp)
  xor    %edx,%edx
  movabs $0x2fb57060a020100,%rax
  xor    %r9d,%r9d
  or     %r8,%rax
  mov    %ecx,%r8d
  mov    %rax,(%rsp)
  mov    %rax,0x8(%rsp)
  movdqa (%rsp),%xmm6
  lea    0x120(%rsp),%rax
  movdqa %xmm6,%xmm0
  movaps %xmm6,0x100(%rsp)
  psubusb %xmm1,%xmm0
  pcmpeqb %xmm2,%xmm0
  pcmpeqb %xmm2,%xmm0
  movaps %xmm0,0x120(%rsp)
  jmp    L976
  nopl   (%rax)
L763:
  movzbl 0x100(%rsp,%rdx,1),%r8d
  movzbl 0x110(%rsp,%rdx,1),%r9d
L976:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r10d
  cmp    %r9b,%r8b
  seta   %sil
  add    %r10d,%esi
  jne    L513
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L763
  movdqa %xmm1,%xmm0
  psubusb (%rsp),%xmm0
  pxor   %xmm2,%xmm2
  mov    %ecx,%esi
  xor    %edx,%edx
  xor    %r8d,%r8d
  pcmpeqb %xmm2,%xmm0
  pcmpeqb %xmm2,%xmm0
  movaps %xmm0,0x120(%rsp)
  jmp    L1311
  nopl   0x0(%rax)
L690:
  movzbl 0x100(%rsp,%rdx,1),%esi
  movzbl 0x110(%rsp,%rdx,1),%r8d
L1311:
  cmp    %r8b,%sil
  movsbl (%rax,%rdx,1),%r9d
  sbb    %r10d,%r10d
  cmp    %r10d,%r9d
  jne    L180
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L690
  movdqa (%rsp),%xmm0
  mov    %ecx,%r8d
  xor    %edx,%edx
  xor    %r9d,%r9d
  pminub %xmm1,%xmm0
  pcmpeqb %xmm1,%xmm0
  movaps %xmm0,0x120(%rsp)
  jmp    L276
  cs nopw 0x0(%rax,%rax,1)
L578:
  movzbl 0x100(%rsp,%rdx,1),%r8d
  movzbl 0x110(%rsp,%rdx,1),%r9d
L276:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r10d
  cmp    %r9b,%r8b
  setae  %sil
  add    %r10d,%esi
  jne    L744
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L578
  movdqa (%rsp),%xmm0
  mov    %ecx,%r8d
  xor    %edx,%edx
  xor    %r9d,%r9d
  pminub %xmm1,%xmm0
  pcmpeqb (%rsp),%xmm0
  movaps %xmm0,0x120(%rsp)
  jmp    L1103
  nopl   0x0(%rax,%rax,1)
L544:
  movzbl 0x100(%rsp,%rdx,1),%r8d
  movzbl 0x110(%rsp,%rdx,1),%r9d
L1103:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r10d
  cmp    %r9b,%r8b
  setbe  %sil
  add    %r10d,%esi
  jne    L488
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L544
  movdqa (%rsp),%xmm0
  mov    %ecx,%r8d
  xor    %edx,%edx
  xor    %r9d,%r9d
  pcmpeqb %xmm1,%xmm0
  movaps %xmm0,0x120(%rsp)
  jmp    L1454
  cs nopw 0x0(%rax,%rax,1)
L612:
  movzbl 0x100(%rsp,%rdx,1),%r8d
  movzbl 0x110(%rsp,%rdx,1),%r9d
L1454:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r10d
  cmp    %r9b,%r8b
  sete   %sil
  add    %r10d,%esi
  jne    L750
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L612
  movdqa (%rsp),%xmm0
  xor    %edx,%edx
  xor    %r8d,%r8d
  pcmpeqb %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  pcmpeqb %xmm1,%xmm0
  movaps %xmm0,0x120(%rsp)
  jmp    L889
  nopl   0x0(%rax,%rax,1)
L412:
  movzbl 0x100(%rsp,%rdx,1),%edi
  movzbl 0x110(%rsp,%rdx,1),%r8d
L889:
  xor    %esi,%esi
  movsbl (%rax,%rdx,1),%r9d
  cmp    %r8b,%dil
  setne  %sil
  add    %r9d,%esi
  jne    L1193
  add    $0x1,%rdx
  cmp    $0x10,%rdx
  jne    L412
  movaps D319(%rip),%xmm3
  pxor   %xmm2,%xmm2
  pxor   %xmm1,%xmm1
  xor    %edx,%edx
  movaps D587(%rip),%xmm5
  cvtsi2ss %ecx,%xmm2
  movaps %xmm1,%xmm4
  lea    0x150(%rsp),%rax
  cvtsi2ss %ecx,%xmm3
  movaps %xmm5,%xmm0
  movaps %xmm5,0x140(%rsp)
  cmpltps %xmm3,%xmm0
  movaps %xmm3,0x130(%rsp)
  movaps %xmm0,0x150(%rsp)
  movaps %xmm2,%xmm0
L1408:
  xor    %esi,%esi
  comiss %xmm4,%xmm0
  mov    (%rax,%rdx,1),%r8d
  seta   %sil
  add    %r8d,%esi
  jne    L1207
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L1339
  movss  0x130(%rsp,%rdx,1),%xmm0
  movss  0x140(%rsp,%rdx,1),%xmm4
  jmp    L1408
  nopl   0x0(%rax,%rax,1)
L1339:
  movaps %xmm3,%xmm0
  xor    %edx,%edx
  movaps %xmm1,%xmm4
  cmpltps %xmm5,%xmm0
  movaps %xmm0,0x150(%rsp)
  movaps %xmm2,%xmm0
L1447:
  xor    %esi,%esi
  comiss %xmm0,%xmm4
  mov    (%rax,%rdx,1),%r8d
  seta   %sil
  add    %r8d,%esi
  jne    L955
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L471
  movss  0x130(%rsp,%rdx,1),%xmm0
  movss  0x140(%rsp,%rdx,1),%xmm4
  jmp    L1447
  nopl   0x0(%rax,%rax,1)
L471:
  movaps %xmm5,%xmm0
  xor    %edx,%edx
  movaps %xmm1,%xmm4
  cmpleps %xmm3,%xmm0
  movaps %xmm0,0x150(%rsp)
  movaps %xmm2,%xmm0
L1383:
  xor    %esi,%esi
  comiss %xmm4,%xmm0
  mov    (%rax,%rdx,1),%r8d
  setae  %sil
  add    %r8d,%esi
  jne    L970
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L1139
  movss  0x130(%rsp,%rdx,1),%xmm0
  movss  0x140(%rsp,%rdx,1),%xmm4
  jmp    L1383
  nopl   0x0(%rax,%rax,1)
L1139:
  movaps %xmm3,%xmm0
  xor    %edx,%edx
  movaps %xmm1,%xmm4
  cmpleps %xmm5,%xmm0
  movaps %xmm0,0x150(%rsp)
  movaps %xmm2,%xmm0
L1050:
  xor    %esi,%esi
  comiss %xmm0,%xmm4
  mov    (%rax,%rdx,1),%r8d
  setae  %sil
  add    %r8d,%esi
  jne    L1059
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L779
  movss  0x130(%rsp,%rdx,1),%xmm0
  movss  0x140(%rsp,%rdx,1),%xmm4
  jmp    L1050
  nopl   0x0(%rax,%rax,1)
L779:
  movaps %xmm3,%xmm0
  xor    %edx,%edx
  movaps %xmm1,%xmm4
  xor    %edi,%edi
  cmpeqps %xmm5,%xmm0
  movaps %xmm0,0x150(%rsp)
  movaps %xmm2,%xmm0
L769:
  xor    %esi,%esi
  ucomiss %xmm4,%xmm0
  mov    (%rax,%rdx,1),%r8d
  setnp  %sil
  cmovne %edi,%esi
  add    %r8d,%esi
  jne    L229
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L415
  movss  0x130(%rsp,%rdx,1),%xmm0
  movss  0x140(%rsp,%rdx,1),%xmm4
  jmp    L769
L415:
  cmpneqps %xmm5,%xmm3
  xor    %edx,%edx
  mov    $0x1,%edi
  movaps %xmm3,0x150(%rsp)
L262:
  xor    %esi,%esi
  ucomiss %xmm1,%xmm2
  mov    (%rax,%rdx,1),%r8d
  setp   %sil
  cmovne %edi,%esi
  add    %r8d,%esi
  jne    L111
  add    $0x4,%rdx
  cmp    $0x10,%rdx
  je     L520
  movss  0x130(%rsp,%rdx,1),%xmm2
  movss  0x140(%rsp,%rdx,1),%xmm1
  jmp    L262
  nopw   0x0(%rax,%rax,1)
L520:
  pxor   %xmm3,%xmm3
  movapd D68(%rip),%xmm1
  xor    %eax,%eax
  test   %ecx,%ecx
  cvtsi2sd %ecx,%xmm3
  setg   %al
  movapd %xmm1,%xmm2
  movapd %xmm3,%xmm0
  movhpd D441(%rip),%xmm0
  cmpltpd %xmm0,%xmm2
  movq   %xmm2,%rsi
  add    %rsi,%rax
  jne    L1462
  movhlps %xmm2,%xmm5
  movq   %xmm5,%rsi
  cmp    $0xffffffffffffffff,%rsi
  jne    L1130
  movapd %xmm0,%xmm2
  movslq %ecx,%rax
  cmpltpd %xmm1,%xmm2
  cqto
  movq   %xmm2,%rsi
  cmp    %rdx,%rsi
  jne    L1117
  movhlps %xmm2,%xmm7
  movq   %xmm7,%rsi
  test   %rsi,%rsi
  jne    L641
  movapd %xmm1,%xmm2
  not    %rax
  cmplepd %xmm0,%xmm2
  sar    $0x3f,%rax
  movq   %xmm2,%rsi
  cmp    %rax,%rsi
  jne    L796
  movhlps %xmm2,%xmm6
  movq   %xmm6,%rsi
  cmp    $0xffffffffffffffff,%rsi
  jne    L1324
  movapd %xmm0,%xmm2
  xor    %eax,%eax
  test   %ecx,%ecx
  cmplepd %xmm1,%xmm2
  setle  %al
  movq   %xmm2,%rsi
  add    %rsi,%rax
  jne    L166
  movhlps %xmm2,%xmm5
  movq   %xmm5,%rsi
  test   %rsi,%rsi
  jne    L496
  movapd %xmm0,%xmm2
  cmp    $0x1,%ecx
  cmpeqpd %xmm1,%xmm2
  sbb    %rax,%rax
  movq   %xmm2,%rsi
  cmp    %rax,%rsi
  jne    L1409
  movhlps %xmm2,%xmm7
  movq   %xmm7,%rsi
  test   %rsi,%rsi
  jne    L1211
  cmpneqpd %xmm1,%xmm0
  neg    %ecx
  sbb    %rax,%rax
  movq   %xmm0,%rsi
  cmp    %rax,%rsi
  jne    L596
  movhlps %xmm0,%xmm6
  movq   %xmm6,%rsi
  cmp    $0xffffffffffffffff,%rsi
  jne    L1210
  mov    0x168(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L1421
  xor    %eax,%eax
  add    $0x178,%rsp
  ret
L1193:
  movzbl %r8b,%ecx
  movzbl %dil,%edx
L7:
  mov    %r9d,%esi
  lea    D40(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  call   <abort@plt>
L750:
  movzbl %r9b,%ecx
  movzbl %r8b,%edx
L1068:
  mov    %r10d,%esi
  lea    D505(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  call   <abort@plt>
L488:
  movzbl %r9b,%ecx
  movzbl %r8b,%edx
L642:
  mov    %r10d,%esi
  lea    D420(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  call   <abort@plt>
L744:
  movzbl %r9b,%ecx
  movzbl %r8b,%edx
L876:
  mov    %r10d,%esi
  lea    D236(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  call   <abort@plt>
L180:
  movzbl %r8b,%ecx
  movzbl %sil,%edx
L1174:
  mov    %r9d,%esi
  lea    D361(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  call   <abort@plt>
L513:
  movzbl %r9b,%ecx
  movzbl %r8b,%edx
L1463:
  mov    %r10d,%esi
  lea    D167(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  call   <abort@plt>
L547:
  movsbl %dil,%edx
  movsbl %r9b,%ecx
  mov    %r10d,%esi
  xor    %eax,%eax
  lea    D479(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L615:
  movsbl %r10b,%ecx
  movsbl %r9b,%edx
  mov    %r11d,%esi
  xor    %eax,%eax
  lea    D102(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L451:
  movsbl %r10b,%ecx
  movsbl %r9b,%edx
  mov    %r11d,%esi
  xor    %eax,%eax
  lea    D463(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L1009:
  movsbl %r10b,%ecx
  movsbl %r9b,%edx
  mov    %r11d,%esi
  xor    %eax,%eax
  lea    D210(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L1073:
  movsbl %r10b,%ecx
  movsbl %r9b,%edx
  mov    %r11d,%esi
  xor    %eax,%eax
  lea    D258(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L653:
  movsbl %r10b,%ecx
  movsbl %r9b,%edx
  mov    %r11d,%esi
  xor    %eax,%eax
  lea    D524(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L473:
  movzwl %r8w,%ecx
  movzwl %di,%edx
  jmp    L7
L785:
  movzwl %r9w,%ecx
  movzwl %r8w,%edx
  jmp    L1068
L912:
  movzwl %r9w,%ecx
  movzwl %r8w,%edx
  jmp    L642
L717:
  movzwl %r9w,%ecx
  movzwl %r8w,%edx
  jmp    L876
L408:
  movzwl %r8w,%ecx
  movzwl %si,%edx
  jmp    L1174
L689:
  movzwl %r9w,%ecx
  movzwl %r8w,%edx
  jmp    L1463
L1316:
  movswl %di,%edx
  movswl %r8w,%ecx
  mov    %r9d,%esi
  xor    %eax,%eax
  lea    D479(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L1077:
  movswl %r9w,%ecx
  movswl %r8w,%edx
  mov    %r10d,%esi
  xor    %eax,%eax
  lea    D102(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L230:
  movswl %r9w,%ecx
  movswl %r8w,%edx
  mov    %r10d,%esi
  xor    %eax,%eax
  lea    D463(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L1290:
  movswl %r9w,%ecx
  movswl %r8w,%edx
  mov    %r10d,%esi
  xor    %eax,%eax
  lea    D210(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L70:
  movswl %r9w,%ecx
  movswl %r8w,%edx
  mov    %r10d,%esi
  xor    %eax,%eax
  lea    D258(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L1427:
  movswl %r9w,%ecx
  movswl %r8w,%edx
  mov    %r10d,%esi
  xor    %eax,%eax
  lea    D524(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L91:
  mov    %r10d,%ecx
  mov    %r9d,%edx
  mov    %r8d,%esi
  xor    %eax,%eax
  lea    D479(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L1171:
  mov    %r10d,%ecx
  mov    %r8d,%edx
  jmp    L7
L392:
  mov    %r11d,%ecx
  mov    %r10d,%edx
  mov    %r9d,%esi
  xor    %eax,%eax
  lea    D505(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L1490:
  mov    %r11d,%ecx
  mov    %r10d,%edx
  mov    %r9d,%esi
  xor    %eax,%eax
  lea    D420(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L705:
  mov    %r11d,%ecx
  mov    %r10d,%edx
  mov    %r9d,%esi
  xor    %eax,%eax
  lea    D236(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L953:
  mov    %r10d,%ecx
  mov    %r9d,%edx
  mov    %r8d,%esi
  xor    %eax,%eax
  lea    D102(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L114:
  mov    %r10d,%ecx
  mov    %r9d,%edx
  mov    %r8d,%esi
  xor    %eax,%eax
  lea    D463(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L762:
  mov    %r10d,%ecx
  mov    %r9d,%edx
  mov    %r8d,%esi
  xor    %eax,%eax
  lea    D210(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L442:
  mov    %r10d,%ecx
  mov    %r9d,%edx
  mov    %r8d,%esi
  xor    %eax,%eax
  lea    D258(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L1059:
  pxor   %xmm1,%xmm1
  mov    %r8d,%esi
  lea    D412(%rip),%rdi
  mov    $0x2,%eax
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm4,%xmm1
  call   <printf@plt>
  call   <abort@plt>
L970:
  pxor   %xmm1,%xmm1
  mov    %r8d,%esi
  lea    D37(%rip),%rdi
  mov    $0x2,%eax
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm4,%xmm1
  call   <printf@plt>
  call   <abort@plt>
L955:
  pxor   %xmm1,%xmm1
  mov    %r8d,%esi
  lea    D58(%rip),%rdi
  mov    $0x2,%eax
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm4,%xmm1
  call   <printf@plt>
  call   <abort@plt>
L1207:
  pxor   %xmm1,%xmm1
  mov    %r8d,%esi
  lea    D605(%rip),%rdi
  mov    $0x2,%eax
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm4,%xmm1
  call   <printf@plt>
  call   <abort@plt>
L935:
  mov    %r10d,%ecx
  mov    %r9d,%edx
  mov    %r8d,%esi
  xor    %eax,%eax
  lea    D524(%rip),%rdi
  call   <printf@plt>
  call   <abort@plt>
L111:
  pxor   %xmm0,%xmm0
  mov    %r8d,%esi
  lea    D320(%rip),%rdi
  mov    $0x2,%eax
  cvtss2sd %xmm2,%xmm0
  cvtss2sd %xmm1,%xmm1
  call   <printf@plt>
  call   <abort@plt>
L229:
  pxor   %xmm1,%xmm1
  mov    %r8d,%esi
  lea    D226(%rip),%rdi
  mov    $0x2,%eax
  cvtss2sd %xmm0,%xmm0
  cvtss2sd %xmm4,%xmm1
  call   <printf@plt>
  call   <abort@plt>
L1421:
  call   <__stack_chk_fail@plt>
L1210:
  mov    D441(%rip),%rax
  movsd  D564(%rip),%xmm1
  movq   %rax,%xmm3
L528:
  movapd %xmm3,%xmm0
  lea    D320(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L596:
  pxor   %xmm1,%xmm1
  jmp    L528
L1211:
  mov    D441(%rip),%rax
  movsd  D564(%rip),%xmm1
  movq   %rax,%xmm3
L1433:
  movapd %xmm3,%xmm0
  lea    D226(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L1409:
  pxor   %xmm1,%xmm1
  jmp    L1433
L496:
  mov    D441(%rip),%rax
  movsd  D564(%rip),%xmm1
  movq   %rax,%xmm3
L307:
  movapd %xmm3,%xmm0
  lea    D412(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L166:
  pxor   %xmm1,%xmm1
  jmp    L307
L1324:
  mov    D441(%rip),%rax
  movsd  D564(%rip),%xmm1
  movq   %rax,%xmm3
L1503:
  movapd %xmm3,%xmm0
  lea    D37(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L796:
  pxor   %xmm1,%xmm1
  jmp    L1503
L641:
  mov    D441(%rip),%rax
  movsd  D564(%rip),%xmm1
  movq   %rax,%xmm3
L1364:
  movapd %xmm3,%xmm0
  lea    D58(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L1117:
  pxor   %xmm1,%xmm1
  jmp    L1364
L1130:
  mov    D441(%rip),%rax
  movsd  D564(%rip),%xmm1
  movq   %rax,%xmm3
L815:
  movapd %xmm3,%xmm0
  lea    D605(%rip),%rdi
  mov    $0x2,%eax
  call   <printf@plt>
  call   <abort@plt>
L1462:
  pxor   %xmm1,%xmm1
  jmp    L815
```

tool_calls: name: read_data
arguments: label: D417
data_type: f32[4]
name: read_data
arguments: label: D387
data_type: f32[4]
name: read_data
arguments: label: D154
data_type: byte[16]
name: read_data
arguments: label: D167
data_type: string
name: read_data
arguments: label: D361
data_type: string
name: read_data
arguments: label: D208
data_type: byte[16]
name: read_data
arguments: label: D552
data_type: byte[16]
name: read_data
arguments: label: D357
data_type: byte[16]
name: read_data
arguments: label: D319
data_type: f32[4]
name: read_data
arguments: label: D587
data_type: f32[4]
name: read_data
arguments: label: D68
data_type: f32[4]
name: read_data
arguments: label: D441
data_type: f64
name: read_data
arguments: label: D40
data_type: string
name: read_data
arguments: label: D505
data_type: string
name: read_data
arguments: label: D420
data_type: string
name: read_data
arguments: label: D236
data_type: string
name: read_data
arguments: label: D479
data_type: string
name: read_data
arguments: label: D102
data_type: string
name: read_data
arguments: label: D463
data_type: string
name: read_data
arguments: label: D210
data_type: string
name: read_data
arguments: label: D258
data_type: string
name: read_data
arguments: label: D524
data_type: string
name: read_data
arguments: label: D412
data_type: string
name: read_data
arguments: label: D37
data_type: string
name: read_data
arguments: label: D58
data_type: string
name: read_data
arguments: label: D605
data_type: string
name: read_data
arguments: label: D320
data_type: string
name: read_data
arguments: label: D226
data_type: string
name: read_data
arguments: label: D564
data_type: f32[2]

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

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

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

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

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

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

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

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

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

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

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

tool: D441: 10

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

tool: {"D564": [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;
}
```