user: 请将这段汇编代码片段转换成等效的C代码:

```asm
<verrevcmp>:
  endbr64
  push   %r15
  mov    %rdx,%r15
  push   %r14
  mov    %rsi,%r14
  push   %r13
  push   %r12
  push   %rbp
  xor    %ebp,%ebp
  push   %rbx
  xor    %ebx,%ebx
  sub    $0x28,%rsp
  mov    %rdi,0x18(%rsp)
  mov    %rcx,0x8(%rsp)
L133:
  cmp    %r14,%rbp
  jb     L248
  cmp    0x8(%rsp),%rbx
  jae    L4
L248:
  mov    0x18(%rsp),%rax
  lea    (%r15,%rbx,1),%r12
  lea    (%rax,%rbp,1),%r13
  jmp    L25
  nopl   (%rax)
L45:
  movsbl (%r12),%edi
  cmp    0x8(%rsp),%rbx
  jae    L100
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L100
  xor    %edx,%edx
  cmp    %r14,%rbp
  je     L234
  movsbl 0x0(%r13),%edi
  call   <order@plt>
  mov    %eax,%edx
L234:
  movsbl (%r12),%edi
  mov    %edx,0x10(%rsp)
  add    $0x1,%r12
  add    $0x1,%r13
  call   <order@plt>
  mov    0x10(%rsp),%edx
  cmp    %edx,%eax
  jne    L129
L113:
  add    $0x1,%rbp
  add    $0x1,%rbx
L25:
  cmp    %r14,%rbp
  jae    L45
  movsbl 0x0(%r13),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L45
  movsbl 0x0(%r13),%edi
  call   <order@plt>
  mov    %eax,%edx
  cmp    0x8(%rsp),%rbx
  jne    L234
  xor    %eax,%eax
  add    $0x1,%r12
  add    $0x1,%r13
  cmp    %edx,%eax
  je     L113
L129:
  sub    %eax,%edx
  mov    %edx,%r13d
L19:
  add    $0x28,%rsp
  mov    %r13d,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L71:
  add    $0x1,%rbp
L100:
  mov    0x18(%rsp),%rax
  movsbl (%rax,%rbp,1),%edi
  cmp    $0x30,%dil
  je     L71
  cmpb   $0x30,(%r12)
  jne    L219
  nopw   0x0(%rax,%rax,1)
L145:
  add    $0x1,%rbx
  cmpb   $0x30,(%r15,%rbx,1)
  je     L145
L219:
  mov    0x18(%rsp),%rax
  xor    %r13d,%r13d
  lea    (%rax,%rbp,1),%r12
  sub    %rbx,%rbp
  mov    %rbp,0x10(%rsp)
  jmp    L200
  nopl   0x0(%rax)
L61:
  movsbl (%r15,%rbx,1),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L93
  test   %r13d,%r13d
  jne    L127
  movsbl (%r12),%r13d
  movsbl (%r15,%rbx,1),%eax
  sub    %eax,%r13d
L127:
  movsbl 0x1(%r12),%edi
  add    $0x1,%rbx
  add    $0x1,%r12
L200:
  mov    0x10(%rsp),%rax
  lea    (%rax,%rbx,1),%rbp
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L61
L93:
  movsbl (%r12),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L65
  movsbl (%r15,%rbx,1),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L167
  test   %r13d,%r13d
  je     L133
  jmp    L19
L4:
  xor    %r13d,%r13d
  jmp    L19
L65:
  mov    $0x1,%r13d
  jmp    L19
L167:
  mov    $0xffffffff,%r13d
  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;
}
```