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)
L220:
  cmp    %r14,%rbp
  jb     L167
  cmp    0x8(%rsp),%rbx
  jae    L42
L167:
  mov    0x18(%rsp),%rax
  lea    (%r15,%rbx,1),%r12
  lea    (%rax,%rbp,1),%r13
  jmp    L88
  nopl   (%rax)
L141:
  movsbl (%r12),%edi
  cmp    0x8(%rsp),%rbx
  jae    L103
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L103
  xor    %edx,%edx
  cmp    %r14,%rbp
  je     L50
  movsbl 0x0(%r13),%edi
  call   <order@plt>
  mov    %eax,%edx
L50:
  movsbl (%r12),%edi
  mov    %edx,0x10(%rsp)
  add    $0x1,%r12
  add    $0x1,%r13
  call   <order@plt>
  mov    0x10(%rsp),%edx
  cmp    %edx,%eax
  jne    L11
L180:
  add    $0x1,%rbp
  add    $0x1,%rbx
L88:
  cmp    %r14,%rbp
  jae    L141
  movsbl 0x0(%r13),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L141
  movsbl 0x0(%r13),%edi
  call   <order@plt>
  mov    %eax,%edx
  cmp    0x8(%rsp),%rbx
  jne    L50
  xor    %eax,%eax
  add    $0x1,%r12
  add    $0x1,%r13
  cmp    %edx,%eax
  je     L180
L11:
  sub    %eax,%edx
  mov    %edx,%r13d
L14:
  add    $0x28,%rsp
  mov    %r13d,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L119:
  add    $0x1,%rbp
L103:
  mov    0x18(%rsp),%rax
  cmpb   $0x30,(%rax,%rbp,1)
  je     L119
  cmpb   $0x30,(%r12)
  jne    L5
  cs nopw 0x0(%rax,%rax,1)
L20:
  add    $0x1,%rbx
  cmpb   $0x30,(%r15,%rbx,1)
  je     L20
L5:
  mov    0x18(%rsp),%rax
  xor    %r13d,%r13d
  lea    (%rax,%rbp,1),%r12
  sub    %rbx,%rbp
  mov    %rbp,0x10(%rsp)
  jmp    L221
  nopl   0x0(%rax)
L23:
  movsbl (%r15,%rbx,1),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L206
  test   %r13d,%r13d
  jne    L92
  movsbl (%r12),%r13d
  movsbl (%r15,%rbx,1),%eax
  sub    %eax,%r13d
L92:
  add    $0x1,%rbx
  add    $0x1,%r12
L221:
  mov    0x10(%rsp),%rax
  movsbl (%r12),%edi
  lea    (%rax,%rbx,1),%rbp
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L23
L206:
  movsbl (%r12),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L168
  movsbl (%r15,%rbx,1),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L111
  test   %r13d,%r13d
  je     L220
  jmp    L14
L42:
  xor    %r13d,%r13d
  jmp    L14
L168:
  mov    $0x1,%r13d
  jmp    L14
L111:
  mov    $0xffffffff,%r13d
  jmp    L14
```

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