user: 请从给定的汇编指令推导出C源代码:

```asm
<confirm_cover>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %r9,%r12
  push   %rbp
  mov    %edi,%ebp
  push   %rbx
  mov    %rcx,%rbx
  sub    $0x48,%rsp
  mov    0x80(%rsp),%rax
  mov    %rdx,0x10(%rsp)
  lea    (%rdi,%rsi,1),%edx
  movslq %edx,%r15
  mov    %edx,0x8(%rsp)
  mov    0x90(%rsp),%r13
  mov    %rax,0x28(%rsp)
  mov    0x88(%rsp),%eax
  shl    $0x2,%r15
  mov    %r15,%rdi
  mov    %esi,0x30(%rsp)
  mov    %eax,0x1c(%rsp)
  xor    %eax,%eax
  mov    %r8,0x20(%rsp)
  call   <smalloc@plt>
  mov    0x8(%rsp),%edx
  movslq %eax,%r14
  test   %edx,%edx
  jle    L115
  mov    %r15,%rdx
  xor    %esi,%esi
  mov    %r14,%rdi
  call   <memset@plt>
L115:
  mov    0x1c(%rsp),%ecx
  xor    %r15d,%r15d
  test   %ecx,%ecx
  jle    L52
  mov    0x1c(%rsp),%eax
  xor    %r15d,%r15d
  sub    $0x1,%eax
  lea    0x4(%r13,%rax,4),%rdx
  nopw   0x0(%rax,%rax,1)
L143:
  movslq 0x0(%r13),%rax
  add    $0x4,%r13
  movl   $0x1,(%r14,%rax,4)
  movslq -0x4(%r13),%rax
  add    (%r12,%rax,4),%r15d
  cmp    %r13,%rdx
  jne    L143
L52:
  mov    0x10(%rsp),%rax
  mov    $0xfffffffffffffffc,%r13
  xor    %esi,%esi
  sub    %rax,%r13
  lea    0x4(%rax),%r9
  mov    %r13,0x8(%rsp)
  test   %ebp,%ebp
  jle    L149
  mov    %r15d,0x34(%rsp)
  mov    %rbx,%r15
  mov    %r14,%rbx
  mov    %r9,%r14
  mov    %r12,0x38(%rsp)
  mov    %esi,%r12d
  jmp    L18
  nop
L92:
  add    $0x1,%r12d
  add    $0x4,%r14
  cmp    %r12d,%ebp
  je     L0
L18:
  mov    0x8(%rsp),%rax
  add    %r14,%rax
  mov    (%rax,%rbx,1),%edx
  test   %edx,%edx
  jne    L92
  movslq -0x4(%r14),%r13
  mov    (%r14),%edi
  cmp    %edi,%r13d
  jge    L92
L84:
  movslq (%r15,%r13,4),%rax
  mov    %rax,%rdx
  mov    (%rbx,%rax,4),%eax
  test   %eax,%eax
  je     L107
L6:
  add    $0x1,%r13
  cmp    %r13d,%edi
  jle    L92
  movslq (%r15,%r13,4),%rax
  mov    %rax,%rdx
  mov    (%rbx,%rax,4),%eax
  test   %eax,%eax
  jne    L6
L107:
  lea    D24(%rip),%rdi
  mov    %r12d,%esi
  xor    %eax,%eax
  add    $0x1,%r13
  call   <printf@plt>
  mov    (%r14),%edi
  cmp    %r13d,%edi
  jg     L84
  add    $0x1,%r12d
  add    $0x4,%r14
  cmp    %r12d,%ebp
  jne    L18
  nopw   0x0(%rax,%rax,1)
L0:
  mov    %rbx,%r14
  mov    0x38(%rsp),%r12
  mov    %r15,%rbx
  mov    0x34(%rsp),%r15d
L149:
  mov    0x30(%rsp),%esi
  mov    0x20(%rsp),%rcx
  mov    %ebp,%edi
  xor    %eax,%eax
  mov    0x10(%rsp),%rdx
  call   <count_flow@plt>
  mov    %eax,%esi
  cmp    %r15d,%eax
  je     L108
  mov    0x1c(%rsp),%ecx
  mov    %r15d,%edx
  lea    D4(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L131:
  mov    0x28(%rsp),%r13
  mov    0x30(%rsp),%r15d
  mov    %r14,%r8
  mov    %r12,%rcx
  mov    %ebp,%edi
  xor    %eax,%eax
  mov    %r13,%rdx
  mov    %r15d,%esi
  call   <count_resid@plt>
  sub    $0x8,%rsp
  mov    %ebp,%edi
  mov    %rbx,%r9
  push   0x28(%rsp)
  mov    0x20(%rsp),%r8
  mov    %r13,%rcx
  mov    %r12,%rdx
  mov    %r15d,%esi
  xor    %eax,%eax
  call   <check_resid@plt>
  add    $0x58,%rsp
  mov    %r14,%rdi
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10e0 <sfree@plt>
  nopl   0x0(%rax)
L108:
  mov    0x1c(%rsp),%ecx
  mov    %r15d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  lea    D12(%rip),%rdi
  call   <printf@plt>
  jmp    L131
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D24
data_type: string
name: extract_symbolic_data
arguments: data_tag: D4
data_type: string
name: extract_symbolic_data
arguments: data_tag: D12
data_type: string

tool: D24: Edge (%d, %d) not covered


tool: D4: ERROR: total_flow = %d, sep_weight = %d, sep_size = %d


tool: D12: total_flow = %d, sep_weight = %d, sep_size = %d


assistant: ```c
void confirm_cover(int n_left, int n_right, int *pointers, int *indices, int *flow, int *vweight, int *resid, int sep_size, int *sep_nodes) {
  int *marked;
  int sep_weight;
  int i, j, neighbor;
  int count_flow();
  void count_resid(), check_resid();
  marked = smalloc((n_left + n_right) * sizeof(int));
  for (i = 0; i < n_left + n_right; i++) {
    marked[i] = 0;
  }
  sep_weight = 0;
  for (i = 0; i < sep_size; i++) {
    marked[sep_nodes[i]] = 1;
    sep_weight += vweight[sep_nodes[i]];
  }
  for (i = 0; i < n_left; i++) {
    if (!marked[i]) {
      for (j = pointers[i]; j < pointers[i + 1]; j++) {
        neighbor = indices[j];
        if (!marked[neighbor]) {
          printf("Edge (%d, %d) not covered\n", i, neighbor);
        }
      }
    }
  }
  i = count_flow(n_left, n_right, pointers, flow);
  if (i != sep_weight) {
    printf("ERROR: total_flow = %d, sep_weight = %d, sep_size = %d\n", i, sep_weight, sep_size);
  } else {
    printf("total_flow = %d, sep_weight = %d, sep_size = %d\n", i, sep_weight, sep_size);
  }
  count_resid(n_left, n_right, resid, vweight, marked);
  check_resid(n_left, n_right, vweight, resid, pointers, indices, flow);
  sfree(marked);
}
```