user: What would the C source look like for the assembly code provided here:

```asm
<branchfree_search8>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x58(%rbp)
  mov    %rsi,-0x60(%rbp)
  mov    %edx,-0x64(%rbp)
  mov    %ecx,-0x68(%rbp)
  mov    %r8d,-0x6c(%rbp)
  mov    %r9d,-0x70(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x30(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  cmpq   $0x0,-0x60(%rbp)
  je     L297
  jmp    L17
L185:
  mov    -0x60(%rbp),%rax
  shr    %rax
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,-0x64(%rbp)
  jle    L304
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  jmp    L93
L304:
  mov    -0x48(%rbp),%rax
L93:
  mov    %rax,-0x48(%rbp)
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,-0x68(%rbp)
  jle    L109
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  jmp    L198
L109:
  mov    -0x40(%rbp),%rax
L198:
  mov    %rax,-0x40(%rbp)
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,-0x6c(%rbp)
  jle    L160
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  jmp    L175
L160:
  mov    -0x38(%rbp),%rax
L175:
  mov    %rax,-0x38(%rbp)
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,-0x70(%rbp)
  jle    L353
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  jmp    L355
L353:
  mov    -0x30(%rbp),%rax
L355:
  mov    %rax,-0x30(%rbp)
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,0x10(%rbp)
  jle    L91
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  jmp    L359
L91:
  mov    -0x28(%rbp),%rax
L359:
  mov    %rax,-0x28(%rbp)
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,0x18(%rbp)
  jle    L98
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  jmp    L67
L98:
  mov    -0x20(%rbp),%rax
L67:
  mov    %rax,-0x20(%rbp)
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,0x20(%rbp)
  jle    L18
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  jmp    L265
L18:
  mov    -0x18(%rbp),%rax
L265:
  mov    %rax,-0x18(%rbp)
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,0x28(%rbp)
  jle    L137
  mov    -0x8(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  jmp    L14
L137:
  mov    -0x10(%rbp),%rax
L14:
  mov    %rax,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  sub    %rax,-0x60(%rbp)
L17:
  cmpq   $0x1,-0x60(%rbp)
  ja     L185
  mov    -0x48(%rbp),%rax
  mov    (%rax),%eax
  cmp    %eax,-0x64(%rbp)
  jle    L286
  mov    $0x4,%edx
  jmp    L317
L286:
  mov    $0x0,%edx
L317:
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  sub    -0x58(%rbp),%rax
  sar    $0x2,%rax
  mov    %rax,%rdx
  mov    0x30(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  cmp    %eax,-0x68(%rbp)
  jle    L229
  mov    $0x4,%edx
  jmp    L114
L229:
  mov    $0x0,%edx
L114:
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  sub    -0x58(%rbp),%rax
  sar    $0x2,%rax
  mov    %rax,%rdx
  mov    0x38(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  cmp    %eax,-0x6c(%rbp)
  jle    L22
  mov    $0x4,%edx
  jmp    L332
L22:
  mov    $0x0,%edx
L332:
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  sub    -0x58(%rbp),%rax
  sar    $0x2,%rax
  mov    %rax,%rdx
  mov    0x40(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x30(%rbp),%rax
  mov    (%rax),%eax
  cmp    %eax,-0x70(%rbp)
  jle    L289
  mov    $0x4,%edx
  jmp    L250
L289:
  mov    $0x0,%edx
L250:
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  sub    -0x58(%rbp),%rax
  sar    $0x2,%rax
  mov    %rax,%rdx
  mov    0x48(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    %eax,0x10(%rbp)
  jle    L19
  mov    $0x4,%edx
  jmp    L300
L19:
  mov    $0x0,%edx
L300:
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  sub    -0x58(%rbp),%rax
  sar    $0x2,%rax
  mov    %rax,%rdx
  mov    0x50(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  cmp    %eax,0x18(%rbp)
  jle    L266
  mov    $0x4,%edx
  jmp    L7
L266:
  mov    $0x0,%edx
L7:
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  sub    -0x58(%rbp),%rax
  sar    $0x2,%rax
  mov    %rax,%rdx
  mov    0x58(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x18(%rbp),%rax
  mov    (%rax),%eax
  cmp    %eax,0x20(%rbp)
  jle    L132
  mov    $0x4,%edx
  jmp    L20
L132:
  mov    $0x0,%edx
L20:
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  sub    -0x58(%rbp),%rax
  sar    $0x2,%rax
  mov    %rax,%rdx
  mov    0x60(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x10(%rbp),%rax
  mov    (%rax),%eax
  cmp    %eax,0x28(%rbp)
  jle    L264
  mov    $0x4,%edx
  jmp    L130
L264:
  mov    $0x0,%edx
L130:
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  sub    -0x58(%rbp),%rax
  sar    $0x2,%rax
  mov    %rax,%rdx
  mov    0x68(%rbp),%rax
  mov    %rdx,(%rax)
  jmp    L281
L297:
  nop
L281:
  pop    %rbp
  ret
```

assistant: ```c
void branchfree_search8(int *source, size_t n, int target1, int target2, int target3, int target4, int target5, int target6, int target7, int target8, size_t *index1, size_t *index2, size_t *index3, size_t *index4, size_t *index5, size_t *index6, size_t *index7, size_t *index8) {
  int *base1 = source;
  int *base2 = source;
  int *base3 = source;
  int *base4 = source;
  int *base5 = source;
  int *base6 = source;
  int *base7 = source;
  int *base8 = source;
  if (n == 0)
    return;
  while (n > 1) {
    size_t half = n >> 1;
    base1 = (base1[half] < target1) ? &base1[half] : base1;
    base2 = (base2[half] < target2) ? &base2[half] : base2;
    base3 = (base3[half] < target3) ? &base3[half] : base3;
    base4 = (base4[half] < target4) ? &base4[half] : base4;
    base5 = (base5[half] < target5) ? &base5[half] : base5;
    base6 = (base6[half] < target6) ? &base6[half] : base6;
    base7 = (base7[half] < target7) ? &base7[half] : base7;
    base8 = (base8[half] < target8) ? &base8[half] : base8;
    n -= half;
  }
  *index1 = (*base1 < target1) + base1 - source;
  *index2 = (*base2 < target2) + base2 - source;
  *index3 = (*base3 < target3) + base3 - source;
  *index4 = (*base4 < target4) + base4 - source;
  *index5 = (*base5 < target5) + base5 - source;
  *index6 = (*base6 < target6) + base6 - source;
  *index7 = (*base7 < target7) + base7 - source;
  *index8 = (*base8 < target8) + base8 - source;
}
```