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

```asm
<poly1305_gmp>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %rdi,(%rsp)
  mov    %rsi,%r15
  mov    %rdx,0x8(%rsp)
  mov    %rcx,%r13
  mov    %r8d,%r12d
  mov    $0x0,%r14d
  mov    %r14d,%edi
  call   <mpz_init@plt>
  mov    $0x0,%ebx
  mov    %ebx,%edi
  call   <mpz_init@plt>
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   <mpz_init@plt>
  mov    %ebp,%edi
  call   <mpz_init@plt>
  sub    $0x8,%rsp
  push   %r15
  mov    $0x0,%r9d
  mov    $0x0,%r8d
  mov    $0x1,%ecx
  mov    $0xffffffff,%edx
  mov    $0x10,%esi
  mov    %r14d,%edi
  call   <mpz_import@plt>
  mov    $0x0,%esi
  mov    %ebx,%edi
  call   <mpz_set_ui@plt>
  mov    $0x1,%esi
  mov    %ebp,%edi
  call   <mpz_set_ui@plt>
  mov    $0x82,%edx
  mov    %ebp,%esi
  mov    %ebp,%edi
  call   <mpz_mul_2exp@plt>
  mov    $0x5,%edx
  mov    %ebp,%esi
  mov    %ebp,%edi
  call   <mpz_sub_ui@plt>
  add    $0x10,%rsp
  test   %r12d,%r12d
  je     L9
  mov    %r12d,%r15d
  and    $0xf,%r15d
  jmp    L3
L23:
  sub    $0x8,%rsp
  push   %r13
  mov    $0x0,%r9d
  mov    $0x0,%r8d
  mov    $0x1,%ecx
  mov    $0xffffffff,%edx
  mov    $0x10,%esi
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   <mpz_import@plt>
  add    $0x10,%r13
  sub    $0x10,%r12d
  mov    %ebp,%edx
  mov    $0x0,%ebx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_add@plt>
  mov    $0x1,%esi
  mov    %ebp,%edi
  call   <mpz_set_ui@plt>
  mov    $0x80,%edx
  mov    %ebp,%esi
  mov    %ebp,%edi
  call   <mpz_mul_2exp@plt>
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_add@plt>
  mov    $0x0,%r14d
  mov    %r14d,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_mul@plt>
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_tdiv_r@plt>
  add    $0x10,%rsp
  test   %r12d,%r12d
  je     L9
L3:
  cmp    %r15d,%r12d
  jne    L23
  sub    $0x8,%rsp
  push   %r13
  mov    $0x0,%r9d
  mov    $0x0,%r8d
  mov    $0x1,%ecx
  mov    $0xffffffff,%edx
  mov    %r12d,%esi
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   <mpz_import@plt>
  mov    %ebp,%edx
  mov    $0x0,%ebx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_add@plt>
  mov    $0x1,%esi
  mov    %ebp,%edi
  call   <mpz_set_ui@plt>
  lea    0x0(,%r12,8),%edx
  mov    %ebp,%esi
  mov    %ebp,%edi
  call   <mpz_mul_2exp@plt>
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_add@plt>
  mov    $0x0,%r14d
  mov    %r14d,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_mul@plt>
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_tdiv_r@plt>
  add    $0x10,%rsp
L9:
  sub    $0x8,%rsp
  push   0x10(%rsp)
  mov    $0x0,%r9d
  mov    $0x0,%r8d
  mov    $0x1,%ecx
  mov    $0xffffffff,%edx
  mov    $0x10,%esi
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   <mpz_import@plt>
  mov    %ebp,%edx
  mov    $0x0,%ebx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_add@plt>
  mov    0x10(%rsp),%r12
  mov    %r12,%rbp
  add    $0x10,%r12
  add    $0x10,%rsp
L22:
  mov    $0x100,%edx
  mov    $0x0,%ebx
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpz_tdiv_q_ui@plt>
  mov    %al,0x0(%rbp)
  add    $0x1,%rbp
  cmp    %r12,%rbp
  jne    L22
  mov    $0x0,%ebp
  mov    %ebp,%edi
  call   <mpz_clear@plt>
  mov    %ebp,%edi
  call   <mpz_clear@plt>
  mov    %ebx,%edi
  call   <mpz_clear@plt>
  mov    $0x0,%r14d
  mov    %r14d,%edi
  call   <mpz_clear@plt>
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void poly1305_gmp(unsigned char out[16], const unsigned char r[16], const unsigned char s[16], const unsigned char m[], unsigned int l) {
  unsigned int j;
  mpz_t rbar;
  mpz_t h;
  mpz_t c;
  mpz_t p;
  mpz_init(rbar);
  mpz_init(h);
  mpz_init(c);
  mpz_init(p);
  mpz_import(rbar, 16, -1, 1, 0, 0, r);
  mpz_set_ui(h, 0);
  mpz_set_ui(p, 1);
  mpz_mul_2exp(p, p, 130);
  mpz_sub_ui(p, p, 5);
  while (l > 0) {
    if (l < 16)
      j = l;
    else
      j = 16;
    mpz_import(c, j, -1, 1, 0, 0, m);
    m += j;
    l -= j;
    mpz_add(h, h, c);
    mpz_set_ui(c, 1);
    mpz_mul_2exp(c, c, 8 * j);
    mpz_add(h, h, c);
    mpz_mul(h, h, rbar);
    mpz_tdiv_r(h, h, p);
  }
  mpz_import(c, 16, -1, 1, 0, 0, s);
  mpz_add(h, h, c);
  for (j = 0; j < 16; ++j)
    out[j] = mpz_tdiv_q_ui(h, h, 256);
  mpz_clear(p);
  mpz_clear(c);
  mpz_clear(h);
  mpz_clear(rbar);
}
```