user: 下面的汇编指令对应的C源代码是什么:

```asm
<debcmp>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%rbx
  mov    %rsi,%rbp
  movzbl (%rdi),%edi
  test   %dil,%dil
  je     L201
  mov    %rbx,%r12
L230:
  movsbl %dil,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L192
  add    $0x1,%r12
  movzbl (%r12),%edi
  test   %dil,%dil
  jne    L230
L192:
  movzbl 0x0(%rbp),%edi
  mov    %rbp,%r13
  test   %dil,%dil
  je     L32
L211:
  movsbl %dil,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L53
  add    $0x1,%r13
  movzbl 0x0(%r13),%edi
  test   %dil,%dil
  jne    L211
  mov    $0x1,%eax
  cmpb   $0x3a,(%r12)
  jne    L283
  jmp    L257
L201:
  mov    %rbx,%r12
  jmp    L192
L53:
  cmpb   $0x3a,(%r12)
  je     L300
L283:
  cmpb   $0x3a,0x0(%r13)
  jne    L319
  mov    $0xffffffff,%eax
  jmp    L257
L300:
  cmpb   $0x3a,0x0(%r13)
  jne    L126
  mov    %r12,%rcx
  sub    %rbx,%rcx
  mov    %r13,%rdx
  sub    %rbp,%rdx
  mov    $0x1,%eax
  cmp    %rdx,%rcx
  jg     L257
  jl     L315
  cmp    %r12,%rbx
  je     L109
L345:
  movzbl (%rbx),%edx
  movzbl 0x0(%rbp),%eax
  cmp    %al,%dl
  jl     L92
  jg     L294
  add    $0x1,%rbx
  add    $0x1,%rbp
  cmp    %r12,%rbx
  jne    L345
L109:
  lea    0x1(%r12),%rbx
  lea    0x1(%r13),%rbp
  jmp    L319
L226:
  add    $0x1,%rbx
  add    $0x1,%rbp
L319:
  movsbl (%rbx),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L327
  movsbl 0x0(%rbp),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L327
  movsbl 0x0(%rbp),%esi
  movsbl (%rbx),%edi
  call   <debccmp@plt>
  test   %eax,%eax
  je     L226
  jmp    L257
L48:
  add    $0x1,%r13
L111:
  movsbl 0x0(%r13),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L48
  mov    %rbp,%r12
  jmp    L2
L327:
  mov    %rbx,%r13
  jmp    L111
L72:
  add    $0x1,%r12
L2:
  movsbl (%r12),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L72
  sub    %rbx,%r13
  sub    %rbp,%r12
  mov    $0x1,%eax
  cmp    %r12,%r13
  jg     L257
  setl   %al
  movzbl %al,%eax
  neg    %eax
L257:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L126:
  mov    $0x1,%eax
  jmp    L257
L315:
  mov    $0xffffffff,%eax
  jmp    L257
L92:
  mov    $0xffffffff,%eax
  jmp    L257
L294:
  mov    $0x1,%eax
  jmp    L257
L32:
  mov    $0x1,%eax
  cmpb   $0x3a,(%r12)
  jne    L319
  jmp    L257
```

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;
}
```