user: 请从给定的汇编指令推导出C源代码:

```asm
<verrevcmp>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %rdi,%r15
  mov    %rsi,%r14
  mov    %rdx,%r12
  mov    %rcx,(%rsp)
  mov    $0x0,%ebx
  mov    $0x0,%ebp
  jmp    L223
L28:
  sub    %eax,%r13d
  mov    %r13d,0xc(%rsp)
L19:
  mov    0xc(%rsp),%eax
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L150:
  movsbl (%r15,%rbp,1),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L18
  movsbl (%r15,%rbp,1),%edi
  call   <order@plt>
  mov    %eax,%r13d
  mov    $0x0,%eax
  cmp    (%rsp),%rbx
  je     L196
L130:
  movsbl (%r12,%rbx,1),%edi
  call   <order@plt>
L196:
  cmp    %r13d,%eax
  jne    L28
  add    $0x1,%rbp
  add    $0x1,%rbx
L180:
  cmp    %r14,%rbp
  jb     L150
L18:
  cmp    (%rsp),%rbx
  jae    L187
  movsbl (%r12,%rbx,1),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L187
  mov    $0x0,%r13d
  cmp    %r14,%rbp
  je     L130
  movsbl (%r15,%rbp,1),%edi
  call   <order@plt>
  mov    %eax,%r13d
  jmp    L130
L187:
  cmpb   $0x30,(%r15,%rbp,1)
  jne    L266
L221:
  add    $0x1,%rbp
  cmpb   $0x30,(%r15,%rbp,1)
  je     L221
L266:
  cmpb   $0x30,(%r12,%rbx,1)
  jne    L85
L88:
  add    $0x1,%rbx
  cmpb   $0x30,(%r12,%rbx,1)
  je     L88
  mov    %rbx,%rax
L10:
  lea    (%r15,%rbp,1),%r13
  mov    %rax,%rbx
  movl   $0x0,0xc(%rsp)
  sub    %rax,%rbp
  mov    %rbp,0x18(%rsp)
  jmp    L96
L85:
  mov    %rbx,%rax
  jmp    L10
L70:
  add    $0x1,%rbx
  add    $0x1,%r13
L96:
  mov    0x18(%rsp),%rax
  lea    (%rax,%rbx,1),%rbp
  mov    %r13,0x10(%rsp)
  movsbl 0x0(%r13),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L168
  movsbl (%r12,%rbx,1),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L168
  cmpl   $0x0,0xc(%rsp)
  jne    L70
  mov    0x10(%rsp),%rax
  movsbl (%rax),%edx
  movsbl (%r12,%rbx,1),%eax
  sub    %eax,%edx
  mov    %edx,0xc(%rsp)
  jmp    L70
L168:
  mov    0x10(%rsp),%rax
  movsbl (%rax),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L44
  movsbl (%r12,%rbx,1),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L16
  cmpl   $0x0,0xc(%rsp)
  jne    L19
L223:
  cmp    %r14,%rbp
  jb     L180
  cmp    (%rsp),%rbx
  jb     L180
  movl   $0x0,0xc(%rsp)
  jmp    L19
L44:
  movl   $0x1,0xc(%rsp)
  jmp    L19
L16:
  movl   $0xffffffff,0xc(%rsp)
  jmp    L19
```

assistant: ```c
int verrevcmp(const char *s1, size_t s1_len, const char *s2, size_t s2_len) {
  size_t s1_pos = 0;
  size_t s2_pos = 0;
  while (s1_pos < s1_len || s2_pos < s2_len) {
    int first_diff = 0;
    while ((s1_pos < s1_len && !isdigit(s1[s1_pos])) || (s2_pos < s2_len && !isdigit(s2[s2_pos]))) {
      int s1_c = (s1_pos == s1_len) ? 0 : order(s1[s1_pos]);
      int s2_c = (s2_pos == s2_len) ? 0 : order(s2[s2_pos]);
      if (s1_c != s2_c)
        return s1_c - s2_c;
      s1_pos++;
      s2_pos++;
    }
    while (s1[s1_pos] == '0')
      s1_pos++;
    while (s2[s2_pos] == '0')
      s2_pos++;
    while (isdigit(s1[s1_pos]) && isdigit(s2[s2_pos])) {
      if (!first_diff)
        first_diff = s1[s1_pos] - s2[s2_pos];
      s1_pos++;
      s2_pos++;
    }
    if (isdigit(s1[s1_pos]))
      return 1;
    if (isdigit(s2[s2_pos]))
      return -1;
    if (first_diff)
      return first_diff;
  }
  return 0;
}
```