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

```asm
<aggiungi>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %ecx,%r13d
  push   %r12
  mov    %r8,%r12
  push   %rbp
  mov    %rdi,%rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %esi,0xc(%rsp)
  lea    0x8(%rsp),%rbx
  mov    %edx,%esi
  mov    %edx,0x8(%rsp)
  test   %edx,%edx
  jns    L232
  jmp    L164
  nopl   0x0(%rax,%rax,1)
L260:
  mov    %rbx,%rsi
  lea    0xc(%rsp),%rdi
  call   <sposta@plt>
  mov    0x8(%rsp),%esi
  test   %esi,%esi
  js     L164
L232:
  movslq 0xc(%rsp),%rdx
  movslq %esi,%rax
  mov    0x0(%rbp,%rdx,8),%rdx
  cmpb   $0x5f,(%rdx,%rax,1)
  jne    L260
  mov    %rbp,%rdi
  call   <ultimo@plt>
  test   %rax,%rax
  je     L302
  movslq 0xc(%rsp),%rax
  xor    %ebx,%ebx
L225:
  cmp    $0x1,%eax
  je     L138
L257:
  cmp    $0x2,%eax
  jne    L293
  movslq 0x8(%rsp),%rdx
  mov    0x18(%rbp),%rcx
  movsbl (%rcx,%rdx,1),%r14d
  test   %ebx,%ebx
  je     L459
  mov    0x0(%rbp),%rcx
  add    $0xa,%r14d
  movsbl (%rcx,%rdx,1),%ecx
  sub    %ecx,%r14d
  mov    0x8(%rbp),%rcx
  movsbl (%rcx,%rdx,1),%edx
  sub    %edx,%r14d
  add    $0x30,%r14d
L84:
  lea    -0x1(%r14),%edx
  cmp    $0x8,%edx
  ja     L156
  nop
L44:
  movslq %r14d,%rdx
  lea    (%r12,%rdx,4),%r9
  mov    (%r9),%r15d
  test   %r15d,%r15d
  jne    L366
  movslq 0x8(%rsp),%rdx
  cmp    $0x1,%ebx
  je     L32
  mov    0x0(%rbp,%rax,8),%rax
  lea    0x30(%r14),%ecx
  mov    %r12,%r8
  mov    %rbp,%rdi
  movl   $0x1,(%r9)
  mov    %cl,(%rax,%rdx,1)
  mov    0x8(%rsp),%edx
  mov    %r13d,%ecx
  mov    0xc(%rsp),%esi
  mov    %r9,(%rsp)
  call   <aggiungi>
  mov    (%rsp),%r9
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,(%r9)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
L366:
  cmp    $0x1,%ebx
  je     L156
L49:
  movslq 0xc(%rsp),%rax
  mov    $0x1,%ebx
  cmp    $0x1,%eax
  jne    L257
L138:
  movslq 0x8(%rsp),%rdx
  mov    0x18(%rbp),%rcx
  movsbl (%rcx,%rdx,1),%r14d
  test   %ebx,%ebx
  je     L278
  add    $0xa,%r14d
L278:
  mov    0x0(%rbp),%rcx
  movsbl (%rcx,%rdx,1),%ecx
  sub    %ecx,%r14d
  mov    0x10(%rbp),%rcx
  movsbl (%rcx,%rdx,1),%edx
  sub    %edx,%r14d
  add    $0x30,%r14d
L201:
  lea    -0x1(%r14),%edx
  cmp    $0x8,%edx
  jbe    L44
  cmp    $0x1,%ebx
  jne    L49
  nopl   0x0(%rax,%rax,1)
L156:
  xor    %r15d,%r15d
  jmp    L508
  nopl   (%rax)
L164:
  mov    %r13d,%esi
  mov    %rbp,%rdi
  xor    %r15d,%r15d
  call   <verifica_somma@plt>
  test   %rax,%rax
  setne  %r15b
L508:
  add    $0x18,%rsp
  mov    %r15d,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nop
L302:
  mov    0x4(%r12),%r11d
  test   %r11d,%r11d
  je     L305
L441:
  mov    0x8(%r12),%r10d
  test   %r10d,%r10d
  je     L12
L98:
  mov    0xc(%r12),%r9d
  test   %r9d,%r9d
  je     L233
L303:
  mov    0x10(%r12),%r8d
  test   %r8d,%r8d
  je     L31
L470:
  mov    0x14(%r12),%edi
  test   %edi,%edi
  je     L87
L9:
  mov    0x18(%r12),%esi
  test   %esi,%esi
  je     L184
L259:
  mov    0x1c(%r12),%ecx
  test   %ecx,%ecx
  je     L256
L28:
  mov    0x20(%r12),%edx
  test   %edx,%edx
  je     L76
L247:
  mov    0x24(%r12),%eax
  test   %eax,%eax
  jne    L156
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  mov    %r12,%r8
  mov    %r13d,%ecx
  movl   $0x1,0x24(%r12)
  mov    %rbp,%rdi
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x39,(%rdx,%rax,1)
  mov    0x8(%rsp),%edx
  mov    0xc(%rsp),%esi
  call   <aggiungi>
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,0x24(%r12)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  jmp    L156
  nopl   (%rax)
L293:
  cmp    $0x3,%eax
  jne    L201
  movslq 0x8(%rsp),%rcx
  mov    0x0(%rbp),%rdx
  mov    0x8(%rbp),%rsi
  movsbl (%rdx,%rcx,1),%edx
  movsbl (%rsi,%rcx,1),%esi
  add    %esi,%edx
  mov    0x10(%rbp),%rsi
  movsbl (%rsi,%rcx,1),%ecx
  lea    -0x90(%rdx,%rcx,1),%r14d
  test   %ebx,%ebx
  je     L92
  lea    -0x90(%rdx,%rcx,1),%ecx
  movslq %ecx,%r14
  mov    %ecx,%edx
  imul   $0x66666667,%r14,%r14
  sar    $0x1f,%edx
  sar    $0x22,%r14
  sub    %edx,%r14d
  lea    (%r14,%r14,4),%edx
  add    %edx,%edx
  sub    %edx,%ecx
  mov    %ecx,%r14d
  jmp    L84
  nopl   (%rax)
L305:
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  mov    %r12,%r8
  mov    %r13d,%ecx
  movl   $0x1,0x4(%r12)
  mov    %rbp,%rdi
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x31,(%rdx,%rax,1)
  mov    0x8(%rsp),%edx
  mov    0xc(%rsp),%esi
  call   <aggiungi>
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,0x4(%r12)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  jmp    L441
  nopl   0x0(%rax)
L12:
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  mov    %r12,%r8
  mov    %r13d,%ecx
  movl   $0x1,0x8(%r12)
  mov    %rbp,%rdi
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x32,(%rdx,%rax,1)
  mov    0x8(%rsp),%edx
  mov    0xc(%rsp),%esi
  call   <aggiungi>
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,0x8(%r12)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  jmp    L98
L233:
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  mov    %r12,%r8
  mov    %r13d,%ecx
  movl   $0x1,0xc(%r12)
  mov    %rbp,%rdi
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x33,(%rdx,%rax,1)
  mov    0x8(%rsp),%edx
  mov    0xc(%rsp),%esi
  call   <aggiungi>
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,0xc(%r12)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  jmp    L303
L31:
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  mov    %r12,%r8
  mov    %r13d,%ecx
  movl   $0x1,0x10(%r12)
  mov    %rbp,%rdi
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x34,(%rdx,%rax,1)
  mov    0x8(%rsp),%edx
  mov    0xc(%rsp),%esi
  call   <aggiungi>
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,0x10(%r12)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  jmp    L470
L87:
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  mov    %r12,%r8
  mov    %r13d,%ecx
  movl   $0x1,0x14(%r12)
  mov    %rbp,%rdi
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x35,(%rdx,%rax,1)
  mov    0x8(%rsp),%edx
  mov    0xc(%rsp),%esi
  call   <aggiungi>
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,0x14(%r12)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  jmp    L9
L184:
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  mov    %r12,%r8
  mov    %r13d,%ecx
  movl   $0x1,0x18(%r12)
  mov    %rbp,%rdi
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x36,(%rdx,%rax,1)
  mov    0x8(%rsp),%edx
  mov    0xc(%rsp),%esi
  call   <aggiungi>
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,0x18(%r12)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  jmp    L259
L256:
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  mov    %r12,%r8
  mov    %r13d,%ecx
  movl   $0x1,0x1c(%r12)
  mov    %rbp,%rdi
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x37,(%rdx,%rax,1)
  mov    0x8(%rsp),%edx
  mov    0xc(%rsp),%esi
  call   <aggiungi>
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,0x1c(%r12)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  jmp    L28
L76:
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  mov    %r12,%r8
  mov    %r13d,%ecx
  movl   $0x1,0x20(%r12)
  mov    %rbp,%rdi
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x38,(%rdx,%rax,1)
  mov    0x8(%rsp),%edx
  mov    0xc(%rsp),%esi
  call   <aggiungi>
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,0x20(%r12)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  jmp    L247
L459:
  mov    0x0(%rbp),%rcx
  movsbl (%rcx,%rdx,1),%ecx
  sub    %ecx,%r14d
  mov    0x8(%rbp),%rcx
  movsbl (%rcx,%rdx,1),%edx
  sub    %edx,%r14d
  add    $0x30,%r14d
L92:
  lea    -0x1(%r14),%edx
  cmp    $0x8,%edx
  jbe    L44
  mov    $0x1,%ebx
  jmp    L225
  nopl   0x0(%rax)
L231:
  mov    $0x1,%r15d
  jmp    L508
L32:
  test   %edx,%edx
  je     L156
  mov    0x0(%rbp,%rax,8),%rax
  add    $0x30,%r14d
  movl   $0x1,(%r9)
  mov    %r14b,(%rax,%rdx,1)
  movslq 0x8(%rsp),%rdx
  test   %edx,%edx
  jle    L397
  mov    0x0(%rbp),%rax
  movb   $0x31,-0x1(%rax,%rdx,1)
  mov    0x8(%rsp),%edx
L397:
  mov    0xc(%rsp),%esi
  mov    %r12,%r8
  mov    %r13d,%ecx
  mov    %rbp,%rdi
  mov    %r9,(%rsp)
  call   <aggiungi>
  mov    (%rsp),%r9
  cmp    $0x1,%eax
  je     L231
  movslq 0xc(%rsp),%rdx
  movslq 0x8(%rsp),%rax
  movl   $0x0,(%r9)
  mov    0x0(%rbp,%rdx,8),%rdx
  movb   $0x5f,(%rdx,%rax,1)
  movslq 0x8(%rsp),%rax
  mov    0x0(%rbp),%rdx
  movb   $0x30,-0x1(%rdx,%rax,1)
  jmp    L508
```

assistant: ```c
int aggiungi(char **m, int r, int c, int n, int *preso) {
  while (c >= 0 && m[r][c] != '_')
    sposta(&r, &c);
  if (c < 0) {
    if (verifica_somma(m, n))
      return 1;
    return 0;
  }
  if (ultimo(m, c)) {
    int i, x;
    for (i = 0; i < 2; i++) {
      if (r == 1 && i == 0)
        x = m[3][c] - m[0][c] - m[2][c] + '0';
      if (r == 1 && i == 1)
        x = 10 + m[3][c] - m[0][c] - m[2][c] + '0';
      if (r == 2 && i == 0)
        x = m[3][c] - m[0][c] - m[1][c] + '0';
      if (r == 2 && i == 1)
        x = 10 + m[3][c] - m[0][c] - m[1][c] + '0';
      if (r == 3 && i == 0)
        x = m[0][c] + m[1][c] + m[2][c] - 3 * '0';
      if (r == 3 && i == 1)
        x = (m[0][c] + m[1][c] + m[2][c] - 3 * '0') % 10;
      if (x > 0 && x < 10 && !preso[x]) {
        if (i == 1 && c == 0)
          return 0;
        preso[x] = 1;
        m[r][c] = '0' + x;
        if (i == 1 && c > 0)
          m[0][c - 1] = '1';
        if (aggiungi(m, r, c, n, preso) == 1)
          return 1;
        else {
          preso[x] = 0;
          m[r][c] = '_';
          if (i == 1)
            m[0][c - 1] = '0';
        }
      }
    }
    return 0;
  } else {
    int i;
    for (i = 1; i < 10; i++) {
      if (!preso[i]) {
        preso[i] = 1;
        m[r][c] = '0' + i;
        if (aggiungi(m, r, c, n, preso) == 1)
          return 1;
        else {
          preso[i] = 0;
          m[r][c] = '_';
        }
      }
    }
    return 0;
  }
}
```