user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<bn_add_part_words>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %rdx,-0x38(%rbp)
  mov    %ecx,-0x3c(%rbp)
  mov    %r8d,-0x40(%rbp)
  mov    -0x3c(%rbp),%eax
  not    %eax
  shr    $0x1f,%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  mov    -0x3c(%rbp),%ecx
  mov    -0x38(%rbp),%rdx
  mov    -0x30(%rbp),%rsi
  mov    -0x28(%rbp),%rax
  mov    %rax,%rdi
  call   <bn_add_words@plt>
  mov    %eax,-0x14(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jne    L179
  mov    -0x14(%rbp),%eax
  jmp    L288
L179:
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rax,-0x28(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rax,-0x30(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rax,-0x38(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L482
  mov    -0x40(%rbp),%eax
  mov    %eax,-0x10(%rbp)
  jmp    L123
L584:
  mov    -0x38(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  setb   %al
  movzbl %al,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  mov    -0x4(%rbp),%edx
  mov    %edx,(%rax)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L557
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  setb   %al
  movzbl %al,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    -0x4(%rbp),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L329
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  setb   %al
  movzbl %al,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    -0x4(%rbp),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L83
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  setb   %al
  movzbl %al,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  lea    0xc(%rax),%rdx
  mov    -0x4(%rbp),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L182
  mov    -0x40(%rbp),%eax
  mov    %eax,-0x10(%rbp)
  addq   $0x10,-0x38(%rbp)
  addq   $0x10,-0x28(%rbp)
L123:
  cmpl   $0x0,-0x14(%rbp)
  jne    L584
  jmp    L527
L557:
  nop
  jmp    L527
L329:
  nop
  jmp    L527
L83:
  nop
  jmp    L527
L182:
  nop
L527:
  cmpl   $0x0,-0x40(%rbp)
  jns    L525
  mov    -0x10(%rbp),%eax
  cmp    -0x40(%rbp),%eax
  jge    L525
  mov    -0x40(%rbp),%eax
  sub    -0x10(%rbp),%eax
  cmp    $0x3,%eax
  je     L548
  cmp    $0x3,%eax
  jg     L446
  cmp    $0x1,%eax
  je     L419
  cmp    $0x2,%eax
  je     L47
  jmp    L446
L419:
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    -0x28(%rbp),%rdx
  add    $0x4,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L284
L47:
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    -0x28(%rbp),%rdx
  add    $0x8,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L62
L548:
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    -0x28(%rbp),%rdx
  add    $0xc,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jmp    L446
L284:
  nop
  jmp    L446
L62:
  nop
L446:
  addq   $0x10,-0x38(%rbp)
  addq   $0x10,-0x28(%rbp)
L525:
  cmpl   $0x0,-0x40(%rbp)
  jns    L263
L14:
  mov    -0x38(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x28(%rbp),%rax
  mov    %edx,(%rax)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L32
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    -0x28(%rbp),%rdx
  add    $0x4,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L13
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    -0x28(%rbp),%rdx
  add    $0x8,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L49
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    -0x28(%rbp),%rdx
  add    $0xc,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jns    L588
  addq   $0x10,-0x38(%rbp)
  addq   $0x10,-0x28(%rbp)
  jmp    L14
L482:
  mov    -0x40(%rbp),%eax
  mov    %eax,-0xc(%rbp)
  jmp    L448
L638:
  mov    -0x30(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  setb   %al
  movzbl %al,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  mov    -0x8(%rbp),%edx
  mov    %edx,(%rax)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L468
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  setb   %al
  movzbl %al,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    -0x8(%rbp),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L260
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  setb   %al
  movzbl %al,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    -0x8(%rbp),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L502
  mov    -0x30(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  setb   %al
  movzbl %al,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  lea    0xc(%rax),%rdx
  mov    -0x8(%rbp),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L5
  mov    -0x40(%rbp),%eax
  mov    %eax,-0xc(%rbp)
  addq   $0x10,-0x30(%rbp)
  addq   $0x10,-0x28(%rbp)
L448:
  cmpl   $0x0,-0x14(%rbp)
  jne    L638
  jmp    L282
L468:
  nop
  jmp    L282
L260:
  nop
  jmp    L282
L502:
  nop
  jmp    L282
L5:
  nop
L282:
  cmpl   $0x0,-0x40(%rbp)
  jle    L162
  mov    -0xc(%rbp),%eax
  cmp    -0x40(%rbp),%eax
  jle    L162
  mov    -0xc(%rbp),%eax
  sub    -0x40(%rbp),%eax
  cmp    $0x3,%eax
  je     L383
  cmp    $0x3,%eax
  jg     L447
  cmp    $0x1,%eax
  je     L541
  cmp    $0x2,%eax
  je     L624
  jmp    L447
L541:
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  mov    -0x28(%rbp),%rdx
  add    $0x4,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L488
L624:
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  mov    -0x28(%rbp),%rdx
  add    $0x8,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L570
L383:
  mov    -0x30(%rbp),%rax
  add    $0xc,%rax
  mov    -0x28(%rbp),%rdx
  add    $0xc,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jmp    L447
L488:
  nop
  jmp    L447
L570:
  nop
L447:
  addq   $0x10,-0x30(%rbp)
  addq   $0x10,-0x28(%rbp)
L162:
  cmpl   $0x0,-0x40(%rbp)
  jle    L263
L100:
  mov    -0x30(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x28(%rbp),%rax
  mov    %edx,(%rax)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L208
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  mov    -0x28(%rbp),%rdx
  add    $0x4,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L610
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  mov    -0x28(%rbp),%rdx
  add    $0x8,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L36
  mov    -0x30(%rbp),%rax
  add    $0xc,%rax
  mov    -0x28(%rbp),%rdx
  add    $0xc,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  subl   $0x1,-0x40(%rbp)
  cmpl   $0x0,-0x40(%rbp)
  jle    L582
  addq   $0x10,-0x30(%rbp)
  addq   $0x10,-0x28(%rbp)
  jmp    L100
L32:
  nop
  jmp    L263
L13:
  nop
  jmp    L263
L49:
  nop
  jmp    L263
L588:
  nop
  jmp    L263
L208:
  nop
  jmp    L263
L610:
  nop
  jmp    L263
L36:
  nop
  jmp    L263
L582:
  nop
L263:
  mov    -0x14(%rbp),%eax
L288:
  leave
  ret
```

assistant: ```c
unsigned int bn_add_part_words(unsigned int *r, const unsigned int *a, const unsigned int *b, int cl, int dl) {
  unsigned int c, l, t;
  assert(cl >= 0);
  c = bn_add_words(r, a, b, cl);
  if (dl == 0)
    return c;
  r += cl;
  a += cl;
  b += cl;
  if (dl < 0) {
    int save_dl = dl;
    while (c) {
      l = (c + b[0]) & (0xffffffffL);
      c = (l < c);
      r[0] = l;
      if (++dl >= 0)
        break;
      l = (c + b[1]) & (0xffffffffL);
      c = (l < c);
      r[1] = l;
      if (++dl >= 0)
        break;
      l = (c + b[2]) & (0xffffffffL);
      c = (l < c);
      r[2] = l;
      if (++dl >= 0)
        break;
      l = (c + b[3]) & (0xffffffffL);
      c = (l < c);
      r[3] = l;
      if (++dl >= 0)
        break;
      save_dl = dl;
      b += 4;
      r += 4;
    }
    if (dl < 0) {
      if (save_dl < dl) {
        switch (dl - save_dl) {
        case 1:
          r[1] = b[1];
          if (++dl >= 0)
            break;
        case 2:
          r[2] = b[2];
          if (++dl >= 0)
            break;
        case 3:
          r[3] = b[3];
          if (++dl >= 0)
            break;
        }
        b += 4;
        r += 4;
      }
    }
    if (dl < 0) {
      for (;;) {
        r[0] = b[0];
        if (++dl >= 0)
          break;
        r[1] = b[1];
        if (++dl >= 0)
          break;
        r[2] = b[2];
        if (++dl >= 0)
          break;
        r[3] = b[3];
        if (++dl >= 0)
          break;
        b += 4;
        r += 4;
      }
    }
  } else {
    int save_dl = dl;
    while (c) {
      t = (a[0] + c) & (0xffffffffL);
      c = (t < c);
      r[0] = t;
      if (--dl <= 0)
        break;
      t = (a[1] + c) & (0xffffffffL);
      c = (t < c);
      r[1] = t;
      if (--dl <= 0)
        break;
      t = (a[2] + c) & (0xffffffffL);
      c = (t < c);
      r[2] = t;
      if (--dl <= 0)
        break;
      t = (a[3] + c) & (0xffffffffL);
      c = (t < c);
      r[3] = t;
      if (--dl <= 0)
        break;
      save_dl = dl;
      a += 4;
      r += 4;
    }
    if (dl > 0)
      if (save_dl > dl) {
        switch (save_dl - dl) {
        case 1:
          r[1] = a[1];
          if (--dl <= 0)
            break;
        case 2:
          r[2] = a[2];
          if (--dl <= 0)
            break;
        case 3:
          r[3] = a[3];
          if (--dl <= 0)
            break;
        }
        a += 4;
        r += 4;
      }
    if (dl > 0) {
      for (;;) {
        r[0] = a[0];
        if (--dl <= 0)
          break;
        r[1] = a[1];
        if (--dl <= 0)
          break;
        r[2] = a[2];
        if (--dl <= 0)
          break;
        r[3] = a[3];
        if (--dl <= 0)
          break;
        a += 4;
        r += 4;
      }
    }
  }
  return c;
}
```