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

```asm
<confirm_cover>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %edi,0xc(%rsp)
  mov    %esi,0x38(%rsp)
  mov    %rdx,0x20(%rsp)
  mov    %rcx,%r14
  mov    %r8,0x28(%rsp)
  mov    %r9,0x30(%rsp)
  mov    0x90(%rsp),%rbp
  add    %esi,%edi
  mov    %edi,%ebx
  movslq %edi,%rdi
  shl    $0x2,%rdi
  mov    $0x0,%eax
  call   <smalloc@plt>
  mov    %eax,%esi
  movslq %eax,%r13
  test   %ebx,%ebx
  jle    L67
  mov    %r13,%rax
  mov    %ebx,%ebx
  lea    0x0(%r13,%rbx,4),%rdx
L28:
  movl   $0x0,(%rax)
  add    $0x4,%rax
  cmp    %rdx,%rax
  jne    L28
L67:
  cmpl   $0x0,0x88(%rsp)
  jle    L33
  mov    %rbp,%rax
  mov    0x88(%rsp),%edi
  lea    -0x1(%rdi),%edx
  lea    0x4(%rbp,%rdx,4),%rcx
  mov    $0x0,%r15d
  mov    0x30(%rsp),%rdi
L145:
  movslq (%rax),%rdx
  movl   $0x1,0x0(%r13,%rdx,4)
  movslq (%rax),%rdx
  add    (%rdi,%rdx,4),%r15d
  add    $0x4,%rax
  cmp    %rcx,%rax
  jne    L145
L114:
  cmpl   $0x0,0xc(%rsp)
  jle    L137
  mov    0x20(%rsp),%rcx
  lea    0x4(%rcx),%rbp
  mov    $0x0,%r12d
  mov    $0xfffffffffffffffc,%rax
  sub    %rcx,%rax
  mov    %rax,0x10(%rsp)
  movslq %esi,%rax
  mov    %rax,0x18(%rsp)
  mov    %r15d,0x3c(%rsp)
  jmp    L118
L33:
  mov    $0x0,%r15d
  jmp    L114
L77:
  add    $0x1,%rbx
  cmp    %ebx,(%r15)
  jle    L6
L63:
  mov    (%r14,%rbx,4),%edx
  movslq %edx,%rax
  cmpl   $0x0,0x0(%r13,%rax,4)
  jne    L77
  mov    %r12d,%esi
  lea    D9(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L77
L6:
  add    $0x1,%r12d
  add    $0x4,%rbp
  cmp    %r12d,0xc(%rsp)
  je     L121
L118:
  mov    0x10(%rsp),%rax
  add    %rbp,%rax
  mov    0x18(%rsp),%rcx
  cmpl   $0x0,(%rax,%rcx,1)
  jne    L6
  mov    %rbp,%r15
  mov    -0x4(%rbp),%ebx
  cmp    0x0(%rbp),%ebx
  jge    L6
  movslq %ebx,%rbx
  jmp    L63
L121:
  mov    0x3c(%rsp),%r15d
L137:
  mov    0x28(%rsp),%rcx
  mov    0x20(%rsp),%rdx
  mov    0x38(%rsp),%esi
  mov    0xc(%rsp),%edi
  mov    $0x0,%eax
  call   <count_flow@plt>
  cmp    %r15d,%eax
  je     L153
  mov    0x88(%rsp),%ecx
  mov    %r15d,%edx
  mov    %eax,%esi
  lea    D14(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L80:
  mov    %r13,%r8
  mov    0x30(%rsp),%rbp
  mov    %rbp,%rcx
  mov    0x80(%rsp),%rdx
  mov    0x38(%rsp),%r15d
  mov    %r15d,%esi
  mov    0xc(%rsp),%ebx
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <count_resid@plt>
  sub    $0x8,%rsp
  push   0x30(%rsp)
  mov    %r14,%r9
  mov    0x30(%rsp),%r8
  mov    0x90(%rsp),%rcx
  mov    %rbp,%rdx
  mov    %r15d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <check_resid@plt>
  mov    %r13,%rdi
  mov    $0x0,%eax
  call   <sfree@plt>
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L153:
  mov    0x88(%rsp),%ecx
  mov    %r15d,%edx
  mov    %r15d,%esi
  lea    D26(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L80
```

tool_calls: name: disassemble_data
arguments: label: D9
type_infered: string
name: disassemble_data
arguments: label: D14
type_infered: string
name: disassemble_data
arguments: label: D26
type_infered: string

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


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


tool: D26: 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);
}
```