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

```asm
<branchfree_search8>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %r8d,-0x10(%rsp)
  mov    %r9d,-0xc(%rsp)
  test   %rsi,%rsi
  je     L25
  mov    %edx,%r12d
  mov    %ecx,%r13d
  mov    %rdi,%rbx
  mov    %rdi,%rdx
  mov    %rdi,%rcx
  mov    %rdi,%r8
  mov    %rdi,%r9
  mov    %rdi,%r10
  mov    %rdi,%r11
  mov    %rdi,%rbp
  cmp    $0x1,%rsi
  je     L3
  mov    %rdi,-0x8(%rsp)
  xchg   %ax,%ax
L1:
  mov    %rsi,%rbx
  mov    -0x10(%rsp),%r15d
  shr    %rbx
  lea    0x0(,%rbx,4),%rax
  lea    0x0(%rbp,%rax,1),%r14
  cmp    %r12d,(%r14)
  cmovl  %r14,%rbp
  lea    (%r11,%rax,1),%r14
  cmp    %r13d,(%r14)
  cmovl  %r14,%r11
  lea    (%r10,%rax,1),%r14
  cmp    %r15d,(%r14)
  mov    -0xc(%rsp),%r15d
  cmovl  %r14,%r10
  lea    (%r9,%rax,1),%r14
  cmp    %r15d,(%r14)
  mov    0x38(%rsp),%r15d
  cmovl  %r14,%r9
  lea    (%r8,%rax,1),%r14
  cmp    %r15d,(%r14)
  mov    0x40(%rsp),%r15d
  cmovl  %r14,%r8
  lea    (%rdi,%rax,1),%r14
  cmp    %r15d,(%r14)
  mov    0x48(%rsp),%r15d
  cmovl  %r14,%rdi
  lea    (%rcx,%rax,1),%r14
  cmp    %r15d,(%r14)
  mov    0x50(%rsp),%r15d
  cmovl  %r14,%rcx
  add    %rdx,%rax
  cmp    %r15d,(%rax)
  cmovl  %rax,%rdx
  sub    %rbx,%rsi
  cmp    $0x1,%rsi
  ja     L1
  mov    -0x8(%rsp),%rbx
L3:
  xor    %eax,%eax
  cmp    %r12d,0x0(%rbp)
  mov    0x58(%rsp),%rsi
  setl   %al
  lea    0x0(%rbp,%rax,4),%rax
  sub    %rbx,%rax
  sar    $0x2,%rax
  mov    %rax,(%rsi)
  xor    %eax,%eax
  cmp    %r13d,(%r11)
  setl   %al
  mov    0x60(%rsp),%rsi
  lea    (%r11,%rax,4),%rax
  sub    %rbx,%rax
  sar    $0x2,%rax
  mov    %rax,(%rsi)
  mov    -0x10(%rsp),%eax
  cmp    %eax,(%r10)
  mov    0x68(%rsp),%rsi
  setl   %al
  movzbl %al,%eax
  lea    (%r10,%rax,4),%rax
  sub    %rbx,%rax
  sar    $0x2,%rax
  mov    %rax,(%rsi)
  mov    -0xc(%rsp),%eax
  cmp    %eax,(%r9)
  mov    0x70(%rsp),%rsi
  setl   %al
  movzbl %al,%eax
  lea    (%r9,%rax,4),%rax
  sub    %rbx,%rax
  sar    $0x2,%rax
  mov    %rax,(%rsi)
  mov    0x38(%rsp),%eax
  cmp    %eax,(%r8)
  mov    0x78(%rsp),%rsi
  setl   %al
  movzbl %al,%eax
  lea    (%r8,%rax,4),%rax
  sub    %rbx,%rax
  sar    $0x2,%rax
  mov    %rax,(%rsi)
  mov    0x40(%rsp),%eax
  cmp    %eax,(%rdi)
  mov    0x80(%rsp),%rsi
  setl   %al
  movzbl %al,%eax
  lea    (%rdi,%rax,4),%rax
  sub    %rbx,%rax
  sar    $0x2,%rax
  mov    %rax,(%rsi)
  mov    0x48(%rsp),%eax
  cmp    %eax,(%rcx)
  setl   %al
  movzbl %al,%eax
  lea    (%rcx,%rax,4),%rax
  mov    0x88(%rsp),%rcx
  sub    %rbx,%rax
  sar    $0x2,%rax
  mov    %rax,(%rcx)
  mov    0x50(%rsp),%eax
  cmp    %eax,(%rdx)
  setl   %al
  movzbl %al,%eax
  lea    (%rdx,%rax,4),%rax
  mov    0x90(%rsp),%rdx
  sub    %rbx,%rax
  sar    $0x2,%rax
  mov    %rax,(%rdx)
L25:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  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;
}
```