user: What is the c source code of the assembly code below?

```asm
<debcmp>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  mov    %rdi,%rbx
  mov    %rbx,%r12
  sub    $0x8,%rsp
  movsbl (%rdi),%edi
  test   %dil,%dil
  jne    L39
  jmp    L34
  nopl   0x0(%rax)
L84:
  movsbl 0x1(%r12),%edi
  add    $0x1,%r12
  test   %dil,%dil
  je     L34
L39:
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L84
L34:
  movsbl 0x0(%rbp),%edi
  mov    %rbp,%r13
  test   %dil,%dil
  jne    L221
  jmp    L183
  nop
L44:
  movsbl 0x1(%r13),%edi
  add    $0x1,%r13
  test   %dil,%dil
  je     L183
L221:
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L44
  cmpb   $0x3a,(%r12)
  movzbl 0x0(%r13),%eax
  je     L71
  cmp    $0x3a,%al
  jne    L33
L229:
  mov    $0xffffffff,%eax
L22:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   0x0(%rax)
L183:
  cmpb   $0x3a,(%r12)
  jne    L33
L169:
  add    $0x8,%rsp
  mov    $0x1,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopw   0x0(%rax,%rax,1)
L152:
  movsbl 0x0(%rbp),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L264
  movsbl 0x0(%rbp),%esi
  movsbl (%rbx),%edi
  call   <debccmp@plt>
  test   %eax,%eax
  jne    L22
  add    $0x1,%rbx
  add    $0x1,%rbp
L33:
  movsbl (%rbx),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L152
L264:
  mov    %rbx,%r13
  jmp    L50
  nopl   0x0(%rax,%rax,1)
L236:
  add    $0x1,%r13
L50:
  movsbl 0x0(%r13),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L236
  mov    %rbp,%r12
  jmp    L63
  nopl   0x0(%rax,%rax,1)
L132:
  add    $0x1,%r12
L63:
  movsbl (%r12),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L132
  sub    %rbx,%r13
  sub    %rbp,%r12
  cmp    %r12,%r13
  jg     L169
  setl   %al
  add    $0x8,%rsp
  movzbl %al,%eax
  pop    %rbx
  pop    %rbp
  neg    %eax
  pop    %r12
  pop    %r13
  ret
  nopl   (%rax)
L71:
  cmp    $0x3a,%al
  jne    L169
  mov    %r12,%rdx
  mov    %r13,%rax
  sub    %rbx,%rdx
  sub    %rbp,%rax
  cmp    %rax,%rdx
  jg     L169
  jge    L232
  jmp    L229
  nopl   0x0(%rax)
L56:
  movzbl 0x0(%rbp),%eax
  cmp    %al,(%rbx)
  jl     L229
  jg     L169
  add    $0x1,%rbx
  add    $0x1,%rbp
L232:
  cmp    %r12,%rbx
  jne    L56
  lea    0x1(%r12),%rbx
  lea    0x1(%r13),%rbp
  jmp    L33
```

assistant: ```c
int debcmp(const char *d1, const char *d2) {
  const char *sd1 = d1, *sd2 = d2;
  while (*d1) {
    if (!isdigit(*d1)) {
      break;
    }
    ++d1;
  }
  while (*d2) {
    if (!isdigit(*d2)) {
      break;
    }
    ++d2;
  }
  if (*d1 == ':') {
    if (*d2 != ':') {
      return 1;
    }
    if (d1 - sd1 > d2 - sd2) {
      return 1;
    } else if (d1 - sd1 < d2 - sd2) {
      return -1;
    }
    while (sd1 != d1) {
      if (*sd1 < *sd2) {
        return -1;
      } else if (*sd2 < *sd1) {
        return 1;
      }
      ++sd1;
      ++sd2;
    }
    ++sd1;
    ++sd2;
    ++d1;
    ++d2;
  } else if (*d2 == ':') {
    return -1;
  } else {
    d1 = sd1;
    d2 = sd2;
  }
  while (!isdigit(*d1) && !isdigit(*d2)) {
    int r = debccmp(*d1, *d2);
    if (r) {
      return r;
    }
    ++d1;
    ++d2;
  }
  sd1 = d1;
  sd2 = d2;
  while (isdigit(*d1)) {
    ++d1;
  }
  while (isdigit(*d2)) {
    ++d2;
  }
  if (d1 - sd1 > d2 - sd2) {
    return 1;
  } else if (d1 - sd1 < d2 - sd2) {
    return -1;
  }
  return 0;
}
```