user: 这段汇编代码用C语言表示是什么样的？

```asm
<_glp_lib_bigdiv>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %edi,-0x24(%rbp)
  mov    %esi,-0x28(%rbp)
  mov    %rdx,-0x30(%rbp)
  mov    %rcx,-0x38(%rbp)
  cmpl   $0x0,-0x24(%rbp)
  jns    L15
  mov    $0x88,%edx
  lea    D26(%rip),%rax
  mov    %rax,%rsi
  lea    D6(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <glp_assert_@plt>
L15:
  cmpl   $0x0,-0x28(%rbp)
  jg     L201
  mov    $0x89,%edx
  lea    D26(%rip),%rax
  mov    %rax,%rsi
  lea    D49(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <glp_assert_@plt>
L201:
  mov    -0x28(%rbp),%eax
  cltq
  add    %rax,%rax
  lea    -0x2(%rax),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  test   %ax,%ax
  jne    L42
  mov    $0x8a,%edx
  lea    D26(%rip),%rax
  mov    %rax,%rsi
  lea    D22(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <glp_assert_@plt>
L42:
  cmpl   $0x1,-0x28(%rbp)
  jne    L80
  movw   $0x0,-0x12(%rbp)
  mov    -0x24(%rbp),%eax
  mov    %eax,-0xc(%rbp)
  jmp    L241
L239:
  movzwl -0x12(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x38(%rbp),%rax
  movzwl (%rax),%eax
  movzwl %ax,%edi
  mov    -0x4(%rbp),%eax
  mov    $0x0,%edx
  div    %edi
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  cltq
  add    $0x1,%rax
  lea    (%rax,%rax,1),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  mov    %dx,(%rax)
  mov    -0x38(%rbp),%rax
  movzwl (%rax),%eax
  movzwl %ax,%ecx
  mov    -0x4(%rbp),%eax
  mov    $0x0,%edx
  div    %ecx
  mov    %edx,%eax
  mov    %ax,-0x12(%rbp)
  subl   $0x1,-0xc(%rbp)
L241:
  cmpl   $0x0,-0xc(%rbp)
  jns    L239
  mov    -0x30(%rbp),%rax
  movzwl -0x12(%rbp),%edx
  mov    %dx,(%rax)
  jmp    L112
L80:
  mov    -0x28(%rbp),%eax
  cltq
  add    %rax,%rax
  lea    -0x2(%rax),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%eax
  lea    0x1(%rax),%esi
  mov    $0x10000,%eax
  mov    $0x0,%edx
  div    %esi
  mov    %ax,-0x12(%rbp)
  cmpw   $0x1,-0x12(%rbp)
  jne    L322
  mov    -0x24(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movw   $0x0,(%rax)
  jmp    L390
L322:
  movl   $0x0,-0x4(%rbp)
  movl   $0x0,-0xc(%rbp)
  jmp    L389
L206:
  mov    -0xc(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%edx
  movzwl -0x12(%rbp),%eax
  imul   %edx,%eax
  add    %eax,-0x4(%rbp)
  mov    -0xc(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  mov    -0x4(%rbp),%edx
  mov    %dx,(%rax)
  shrl   $0x10,-0x4(%rbp)
  addl   $0x1,-0xc(%rbp)
L389:
  mov    -0x24(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cmp    %eax,-0xc(%rbp)
  jl     L206
  mov    -0x24(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  mov    -0x4(%rbp),%edx
  mov    %dx,(%rax)
  movl   $0x0,-0x4(%rbp)
  movl   $0x0,-0x8(%rbp)
  jmp    L221
L127:
  mov    -0x8(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%edx
  movzwl -0x12(%rbp),%eax
  imul   %edx,%eax
  add    %eax,-0x4(%rbp)
  mov    -0x8(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  mov    -0x4(%rbp),%edx
  mov    %dx,(%rax)
  shrl   $0x10,-0x4(%rbp)
  addl   $0x1,-0x8(%rbp)
L221:
  mov    -0x8(%rbp),%eax
  cmp    -0x28(%rbp),%eax
  jl     L127
L390:
  mov    -0x24(%rbp),%eax
  mov    %eax,-0xc(%rbp)
  jmp    L37
L358:
  mov    -0xc(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%edx
  mov    -0x28(%rbp),%eax
  cltq
  add    %rax,%rax
  lea    -0x2(%rax),%rcx
  mov    -0x38(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  cmp    %ax,%dx
  jae    L81
  mov    -0xc(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%eax
  shl    $0x10,%eax
  mov    %eax,%ecx
  mov    -0xc(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  add    %rax,%rax
  lea    -0x2(%rax),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%eax
  add    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x28(%rbp),%eax
  cltq
  add    %rax,%rax
  lea    -0x2(%rax),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%edi
  mov    -0x4(%rbp),%eax
  mov    $0x0,%edx
  div    %edi
  mov    %ax,-0x10(%rbp)
  mov    -0x28(%rbp),%eax
  cltq
  add    %rax,%rax
  lea    -0x2(%rax),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%ecx
  mov    -0x4(%rbp),%eax
  mov    $0x0,%edx
  div    %ecx
  mov    %edx,%eax
  mov    %ax,-0xe(%rbp)
  cmpw   $0x0,-0x10(%rbp)
  jne    L261
  jmp    L148
L81:
  movw   $0x0,-0x10(%rbp)
  mov    -0xc(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  add    %rax,%rax
  lea    -0x2(%rax),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  mov    %ax,-0xe(%rbp)
  jmp    L316
L90:
  nop
  jmp    L316
L92:
  nop
L316:
  movzwl -0x10(%rbp),%eax
  sub    $0x1,%eax
  mov    %ax,-0x10(%rbp)
  movzwl -0xe(%rbp),%edx
  mov    -0x28(%rbp),%eax
  cltq
  add    %rax,%rax
  lea    -0x2(%rax),%rcx
  mov    -0x38(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  mov    %ax,-0xe(%rbp)
  cmpl   $0xffff,-0x4(%rbp)
  ja     L274
  jmp    L233
L261:
  nop
L233:
  mov    -0x28(%rbp),%eax
  cltq
  add    %rax,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%edx
  movzwl -0x10(%rbp),%eax
  imul   %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  shr    $0x10,%eax
  cmp    %ax,-0xe(%rbp)
  jb     L90
  mov    -0x4(%rbp),%eax
  shr    $0x10,%eax
  cmp    %ax,-0xe(%rbp)
  ja     L169
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0xc(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  add    %rax,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  cmp    %ax,%cx
  ja     L92
  jmp    L179
L274:
  nop
  jmp    L179
L169:
  nop
L179:
  cmpw   $0x0,-0x10(%rbp)
  je     L117
  movl   $0x0,-0x4(%rbp)
  movl   $0x0,-0x8(%rbp)
  jmp    L365
L2:
  mov    -0x8(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%edx
  movzwl -0x10(%rbp),%eax
  imul   %edx,%eax
  add    %eax,-0x4(%rbp)
  mov    -0xc(%rbp),%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  mov    -0x4(%rbp),%edx
  cmp    %dx,%ax
  jae    L224
  addl   $0x10000,-0x4(%rbp)
L224:
  mov    -0xc(%rbp),%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%edx
  mov    -0x4(%rbp),%eax
  mov    %eax,%esi
  mov    -0xc(%rbp),%ecx
  mov    -0x8(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  sub    %esi,%edx
  mov    %dx,(%rax)
  shrl   $0x10,-0x4(%rbp)
  addl   $0x1,-0x8(%rbp)
L365:
  mov    -0x8(%rbp),%eax
  cmp    -0x28(%rbp),%eax
  jl     L2
  mov    -0xc(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  mov    -0x4(%rbp),%edx
  cmp    %dx,%ax
  jae    L174
  movzwl -0x10(%rbp),%eax
  sub    $0x1,%eax
  mov    %ax,-0x10(%rbp)
  movl   $0x0,-0x4(%rbp)
  movl   $0x0,-0x8(%rbp)
  jmp    L255
L19:
  mov    -0xc(%rbp),%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%edx
  mov    -0x8(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x38(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%eax
  add    %edx,%eax
  add    %eax,-0x4(%rbp)
  mov    -0xc(%rbp),%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  mov    -0x4(%rbp),%edx
  mov    %dx,(%rax)
  shrl   $0x10,-0x4(%rbp)
  addl   $0x1,-0x8(%rbp)
L255:
  mov    -0x8(%rbp),%eax
  cmp    -0x28(%rbp),%eax
  jl     L19
  jmp    L148
L117:
  nop
  jmp    L148
L174:
  nop
L148:
  mov    -0xc(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x30(%rbp),%rax
  add    %rax,%rdx
  movzwl -0x10(%rbp),%eax
  mov    %ax,(%rdx)
  subl   $0x1,-0xc(%rbp)
L37:
  cmpl   $0x0,-0xc(%rbp)
  jns    L358
  cmpw   $0x1,-0x12(%rbp)
  jbe    L361
  movl   $0x0,-0x4(%rbp)
  mov    -0x28(%rbp),%eax
  sub    $0x1,%eax
  mov    %eax,-0xc(%rbp)
  jmp    L28
L8:
  mov    -0x4(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  movzwl -0x12(%rbp),%esi
  mov    -0x4(%rbp),%eax
  mov    $0x0,%edx
  div    %esi
  mov    %eax,%edx
  mov    -0xc(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  mov    %dx,(%rax)
  movzwl -0x12(%rbp),%ecx
  mov    -0x4(%rbp),%eax
  mov    $0x0,%edx
  div    %ecx
  mov    %edx,-0x4(%rbp)
  subl   $0x1,-0xc(%rbp)
L28:
  cmpl   $0x0,-0xc(%rbp)
  jns    L8
  movl   $0x0,-0x4(%rbp)
  mov    -0x28(%rbp),%eax
  sub    $0x1,%eax
  mov    %eax,-0x8(%rbp)
  jmp    L69
L283:
  mov    -0x4(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0x8(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x38(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  movzwl %ax,%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  movzwl -0x12(%rbp),%edi
  mov    -0x4(%rbp),%eax
  mov    $0x0,%edx
  div    %edi
  mov    %eax,%edx
  mov    -0x8(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x38(%rbp),%rax
  add    %rcx,%rax
  mov    %dx,(%rax)
  movzwl -0x12(%rbp),%ecx
  mov    -0x4(%rbp),%eax
  mov    $0x0,%edx
  div    %ecx
  mov    %edx,-0x4(%rbp)
  subl   $0x1,-0x8(%rbp)
L69:
  cmpl   $0x0,-0x8(%rbp)
  jns    L283
L361:
  nop
L112:
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D26
datatype: string
name: extract_symbolic_data
arguments: tag: D6
datatype: string
name: extract_symbolic_data
arguments: tag: D49
datatype: string
name: extract_symbolic_data
arguments: tag: D22
datatype: string

tool: D26: /scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Erez-Buchnik/Bouma2/refs/heads/master/dep/glpk/glplib01.c

tool: D6: n >= 0

tool: D49: m >= 1

tool: D22: y[m-1] != 0

assistant: ```c
void _glp_lib_bigdiv(int n, int m, unsigned short x[], unsigned short y[]) {
  int i, j;
  unsigned int t;
  unsigned short d, q, r;
  ((void)((n >= 0) || (glp_assert_("n >= 0", "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Erez-Buchnik/Bouma2/refs/heads/master/dep/glpk/glplib01.c", 136), 1)));
  ((void)((m >= 1) || (glp_assert_("m >= 1", "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Erez-Buchnik/Bouma2/refs/heads/master/dep/glpk/glplib01.c", 137), 1)));
  ((void)((y[m - 1] != 0) || (glp_assert_("y[m-1] != 0", "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Erez-Buchnik/Bouma2/refs/heads/master/dep/glpk/glplib01.c", 138), 1)));
  if (m == 1) {
    d = 0;
    for (i = n; i >= 0; i--) {
      t = ((unsigned int)d << 16) + (unsigned int)x[i];
      x[i + 1] = (unsigned short)(t / y[0]);
      d = (unsigned short)(t % y[0]);
    }
    x[0] = d;
    goto done;
  }
  d = (unsigned short)(0x10000 / ((unsigned int)y[m - 1] + 1));
  if (d == 1)
    x[n + m] = 0;
  else {
    t = 0;
    for (i = 0; i < n + m; i++) {
      t += (unsigned int)x[i] * (unsigned int)d;
      x[i] = (unsigned short)t;
      t >>= 16;
    }
    x[n + m] = (unsigned short)t;
    t = 0;
    for (j = 0; j < m; j++) {
      t += (unsigned int)y[j] * (unsigned int)d;
      y[j] = (unsigned short)t;
      t >>= 16;
    }
  }
  for (i = n; i >= 0; i--) {
    if (x[i + m] < y[m - 1]) {
      t = ((unsigned int)x[i + m] << 16) + (unsigned int)x[i + m - 1];
      q = (unsigned short)(t / (unsigned int)y[m - 1]);
      r = (unsigned short)(t % (unsigned int)y[m - 1]);
      if (q == 0)
        goto putq;
      else
        goto test;
    }
    q = 0;
    r = x[i + m - 1];
  decr:
    q--;
    t = (unsigned int)r + (unsigned int)y[m - 1];
    r = (unsigned short)t;
    if (t > 0xFFFF)
      goto msub;
  test:
    t = (unsigned int)y[m - 2] * (unsigned int)q;
    if ((unsigned short)(t >> 16) > r)
      goto decr;
    if ((unsigned short)(t >> 16) < r)
      goto msub;
    if ((unsigned short)t > x[i + m - 2])
      goto decr;
  msub:
    if (q == 0)
      goto putq;
    t = 0;
    for (j = 0; j < m; j++) {
      t += (unsigned int)y[j] * (unsigned int)q;
      if (x[i + j] < (unsigned short)t)
        t += 0x10000;
      x[i + j] -= (unsigned short)t;
      t >>= 16;
    }
    if (x[i + m] >= (unsigned short)t)
      goto putq;
    q--;
    t = 0;
    for (j = 0; j < m; j++) {
      t += (unsigned int)x[i + j] + (unsigned int)y[j];
      x[i + j] = (unsigned short)t;
      t >>= 16;
    }
  putq:
    x[i + m] = q;
  }
  if (d > 1) {
    t = 0;
    for (i = m - 1; i >= 0; i--) {
      t = (t << 16) + (unsigned int)x[i];
      x[i] = (unsigned short)(t / (unsigned int)d);
      t %= (unsigned int)d;
    }
    t = 0;
    for (j = m - 1; j >= 0; j--) {
      t = (t << 16) + (unsigned int)y[j];
      y[j] = (unsigned short)(t / (unsigned int)d);
      t %= (unsigned int)d;
    }
  }
done:
  return;
}
```