user: 请将以下的汇编代码转换成C语言代码:

```asm
<bn_mul_words>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x90,%rsp
  mov    %rdi,-0x78(%rbp)
  mov    %rsi,-0x80(%rbp)
  mov    %edx,-0x84(%rbp)
  mov    %ecx,-0x88(%rbp)
  movl   $0x0,-0x6c(%rbp)
  mov    -0x84(%rbp),%eax
  not    %eax
  shr    $0x1f,%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x0,-0x84(%rbp)
  jg     L113
  mov    $0x0,%eax
  jmp    L54
L113:
  mov    -0x88(%rbp),%eax
  movzwl %ax,%eax
  mov    %eax,-0x48(%rbp)
  mov    -0x88(%rbp),%eax
  shr    $0x10,%eax
  mov    %eax,-0x44(%rbp)
L165:
  mov    -0x80(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,-0x68(%rbp)
  mov    -0x68(%rbp),%eax
  movzwl %ax,%eax
  mov    %eax,-0x40(%rbp)
  shrl   $0x10,-0x68(%rbp)
  mov    -0x40(%rbp),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x68(%rbp),%eax
  mov    %eax,-0x64(%rbp)
  mov    -0x44(%rbp),%eax
  imul   -0x3c(%rbp),%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  imul   -0x48(%rbp),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x48(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x64(%rbp),%eax
  imul   -0x44(%rbp),%eax
  mov    %eax,-0x64(%rbp)
  mov    -0x34(%rbp),%eax
  add    %eax,-0x38(%rbp)
  mov    -0x38(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jae    L62
  addl   $0x10000,-0x64(%rbp)
L62:
  mov    -0x38(%rbp),%eax
  shr    $0x10,%eax
  add    %eax,-0x64(%rbp)
  mov    -0x38(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x34(%rbp),%eax
  add    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jae    L207
  addl   $0x1,-0x64(%rbp)
L207:
  mov    -0x3c(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x64(%rbp),%eax
  mov    %eax,-0x68(%rbp)
  mov    -0x6c(%rbp),%eax
  add    %eax,-0x40(%rbp)
  mov    -0x40(%rbp),%eax
  cmp    -0x6c(%rbp),%eax
  jae    L32
  addl   $0x1,-0x68(%rbp)
L32:
  mov    -0x68(%rbp),%eax
  mov    %eax,-0x6c(%rbp)
  mov    -0x78(%rbp),%rax
  mov    -0x40(%rbp),%edx
  mov    %edx,(%rax)
  subl   $0x1,-0x84(%rbp)
  cmpl   $0x0,-0x84(%rbp)
  je     L87
  mov    -0x80(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  mov    %eax,-0x60(%rbp)
  mov    -0x60(%rbp),%eax
  movzwl %ax,%eax
  mov    %eax,-0x30(%rbp)
  shrl   $0x10,-0x60(%rbp)
  mov    -0x30(%rbp),%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x60(%rbp),%eax
  mov    %eax,-0x5c(%rbp)
  mov    -0x44(%rbp),%eax
  imul   -0x2c(%rbp),%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x2c(%rbp),%eax
  imul   -0x48(%rbp),%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x48(%rbp),%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x5c(%rbp),%eax
  imul   -0x44(%rbp),%eax
  mov    %eax,-0x5c(%rbp)
  mov    -0x24(%rbp),%eax
  add    %eax,-0x28(%rbp)
  mov    -0x28(%rbp),%eax
  cmp    -0x24(%rbp),%eax
  jae    L139
  addl   $0x10000,-0x5c(%rbp)
L139:
  mov    -0x28(%rbp),%eax
  shr    $0x10,%eax
  add    %eax,-0x5c(%rbp)
  mov    -0x28(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  add    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  cmp    -0x24(%rbp),%eax
  jae    L200
  addl   $0x1,-0x5c(%rbp)
L200:
  mov    -0x2c(%rbp),%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x5c(%rbp),%eax
  mov    %eax,-0x60(%rbp)
  mov    -0x6c(%rbp),%eax
  add    %eax,-0x30(%rbp)
  mov    -0x30(%rbp),%eax
  cmp    -0x6c(%rbp),%eax
  jae    L188
  addl   $0x1,-0x60(%rbp)
L188:
  mov    -0x60(%rbp),%eax
  mov    %eax,-0x6c(%rbp)
  mov    -0x78(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    -0x30(%rbp),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x84(%rbp)
  cmpl   $0x0,-0x84(%rbp)
  je     L193
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  mov    %eax,-0x58(%rbp)
  mov    -0x58(%rbp),%eax
  movzwl %ax,%eax
  mov    %eax,-0x20(%rbp)
  shrl   $0x10,-0x58(%rbp)
  mov    -0x20(%rbp),%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x58(%rbp),%eax
  mov    %eax,-0x54(%rbp)
  mov    -0x44(%rbp),%eax
  imul   -0x1c(%rbp),%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x1c(%rbp),%eax
  imul   -0x48(%rbp),%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x48(%rbp),%eax
  imul   -0x54(%rbp),%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x54(%rbp),%eax
  imul   -0x44(%rbp),%eax
  mov    %eax,-0x54(%rbp)
  mov    -0x14(%rbp),%eax
  add    %eax,-0x18(%rbp)
  mov    -0x18(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  jae    L141
  addl   $0x10000,-0x54(%rbp)
L141:
  mov    -0x18(%rbp),%eax
  shr    $0x10,%eax
  add    %eax,-0x54(%rbp)
  mov    -0x18(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  add    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  jae    L131
  addl   $0x1,-0x54(%rbp)
L131:
  mov    -0x1c(%rbp),%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x54(%rbp),%eax
  mov    %eax,-0x58(%rbp)
  mov    -0x6c(%rbp),%eax
  add    %eax,-0x20(%rbp)
  mov    -0x20(%rbp),%eax
  cmp    -0x6c(%rbp),%eax
  jae    L175
  addl   $0x1,-0x58(%rbp)
L175:
  mov    -0x58(%rbp),%eax
  mov    %eax,-0x6c(%rbp)
  mov    -0x78(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    -0x20(%rbp),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x84(%rbp)
  cmpl   $0x0,-0x84(%rbp)
  je     L48
  mov    -0x80(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  mov    %eax,-0x50(%rbp)
  mov    -0x50(%rbp),%eax
  movzwl %ax,%eax
  mov    %eax,-0x10(%rbp)
  shrl   $0x10,-0x50(%rbp)
  mov    -0x10(%rbp),%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x50(%rbp),%eax
  mov    %eax,-0x4c(%rbp)
  mov    -0x44(%rbp),%eax
  imul   -0xc(%rbp),%eax
  mov    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  imul   -0x48(%rbp),%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x48(%rbp),%eax
  imul   -0x4c(%rbp),%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4c(%rbp),%eax
  imul   -0x44(%rbp),%eax
  mov    %eax,-0x4c(%rbp)
  mov    -0x4(%rbp),%eax
  add    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  cmp    -0x4(%rbp),%eax
  jae    L95
  addl   $0x10000,-0x4c(%rbp)
L95:
  mov    -0x8(%rbp),%eax
  shr    $0x10,%eax
  add    %eax,-0x4c(%rbp)
  mov    -0x8(%rbp),%eax
  shl    $0x10,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  add    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%eax
  cmp    -0x4(%rbp),%eax
  jae    L148
  addl   $0x1,-0x4c(%rbp)
L148:
  mov    -0xc(%rbp),%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x4c(%rbp),%eax
  mov    %eax,-0x50(%rbp)
  mov    -0x6c(%rbp),%eax
  add    %eax,-0x10(%rbp)
  mov    -0x10(%rbp),%eax
  cmp    -0x6c(%rbp),%eax
  jae    L108
  addl   $0x1,-0x50(%rbp)
L108:
  mov    -0x50(%rbp),%eax
  mov    %eax,-0x6c(%rbp)
  mov    -0x78(%rbp),%rax
  lea    0xc(%rax),%rdx
  mov    -0x10(%rbp),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x84(%rbp)
  cmpl   $0x0,-0x84(%rbp)
  je     L191
  addq   $0x10,-0x80(%rbp)
  addq   $0x10,-0x78(%rbp)
  jmp    L165
L87:
  nop
  jmp    L101
L193:
  nop
  jmp    L101
L48:
  nop
  jmp    L101
L191:
  nop
L101:
  mov    -0x6c(%rbp),%eax
L54:
  leave
  ret
```

assistant: ```c
unsigned int bn_mul_words(unsigned int *rp, const unsigned int *ap, int num, unsigned int w) {
  unsigned int carry = 0;
  unsigned int bl, bh;
  assert(num >= 0);
  if (num <= 0)
    return (unsigned int)0;
  bl = ((w) & (0xffff));
  bh = (((w) >> 16) & (0xffff));
  for (;;) {
    {
      unsigned int l, h;
      h = (ap[0]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned int m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffL);
        if (m < m1)
          ht += ((unsigned int)((1L) & (0xffff)) << 16);
        ht += (((m) >> 16) & (0xffff));
        m1 = ((unsigned int)((m) & (0xffff)) << 16);
        lt = (lt + m1) & (0xffffffffL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l += (carry);
      if ((l & (0xffffffffL)) < (carry))
        h++;
      (carry) = h & (0xffffffffL);
      (rp[0]) = l & (0xffffffffL);
    };
    if (--num == 0)
      break;
    {
      unsigned int l, h;
      h = (ap[1]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned int m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffL);
        if (m < m1)
          ht += ((unsigned int)((1L) & (0xffff)) << 16);
        ht += (((m) >> 16) & (0xffff));
        m1 = ((unsigned int)((m) & (0xffff)) << 16);
        lt = (lt + m1) & (0xffffffffL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l += (carry);
      if ((l & (0xffffffffL)) < (carry))
        h++;
      (carry) = h & (0xffffffffL);
      (rp[1]) = l & (0xffffffffL);
    };
    if (--num == 0)
      break;
    {
      unsigned int l, h;
      h = (ap[2]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned int m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffL);
        if (m < m1)
          ht += ((unsigned int)((1L) & (0xffff)) << 16);
        ht += (((m) >> 16) & (0xffff));
        m1 = ((unsigned int)((m) & (0xffff)) << 16);
        lt = (lt + m1) & (0xffffffffL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l += (carry);
      if ((l & (0xffffffffL)) < (carry))
        h++;
      (carry) = h & (0xffffffffL);
      (rp[2]) = l & (0xffffffffL);
    };
    if (--num == 0)
      break;
    {
      unsigned int l, h;
      h = (ap[3]);
      l = ((h) & (0xffff));
      h = (((h) >> 16) & (0xffff));
      {
        unsigned int m, m1, lt, ht;
        lt = l;
        ht = h;
        m = ((bh)) * (lt);
        lt = ((bl)) * (lt);
        m1 = ((bl)) * (ht);
        ht = ((bh)) * (ht);
        m = (m + m1) & (0xffffffffL);
        if (m < m1)
          ht += ((unsigned int)((1L) & (0xffff)) << 16);
        ht += (((m) >> 16) & (0xffff));
        m1 = ((unsigned int)((m) & (0xffff)) << 16);
        lt = (lt + m1) & (0xffffffffL);
        if (lt < m1)
          ht++;
        (l) = lt;
        (h) = ht;
      };
      l += (carry);
      if ((l & (0xffffffffL)) < (carry))
        h++;
      (carry) = h & (0xffffffffL);
      (rp[3]) = l & (0xffffffffL);
    };
    if (--num == 0)
      break;
    ap += 4;
    rp += 4;
  }
  return carry;
}
```