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

```asm
<cpi_vercmp>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%rbp
  mov    %rsi,%r12
  mov    %rdi,%rax
  or     %rsi,%rax
  test   %rsi,%rsi
  setne  %dil
  test   %rbp,%rbp
  jne    L34
  test   %dil,%dil
  jne    L165
L34:
  mov    $0x0,%ebx
  test   %rax,%rax
  je     L120
  test   %rbp,%rbp
  setne  %al
  test   %r12,%r12
  jne    L164
  mov    $0x1,%ebx
  test   %al,%al
  je     L164
L120:
  mov    %ebx,%eax
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L164:
  and    %eax,%edi
  movzbl %dil,%edi
  call   <assert@plt>
L35:
  cmpb   $0x0,0x0(%rbp)
  jne    L113
  cmpb   $0x0,(%r12)
  je     L169
L113:
  mov    %rbp,%rdi
  call   <vercmp_nondigit_end@plt>
  mov    %rax,%r14
  mov    %r12,%rdi
  call   <vercmp_nondigit_end@plt>
  mov    %rax,%r15
  cmp    %r14,%rbp
  jb     L189
  cmp    %rax,%r12
  jae    L150
L189:
  mov    $0x0,%edi
  cmp    %rbp,%r14
  jbe    L69
  movzbl 0x0(%rbp),%edi
  lea    0x1(%rbp),%rbp
L69:
  mov    $0x0,%r13d
  cmp    %r12,%r15
  jbe    L147
  movzbl (%r12),%r13d
  lea    0x1(%r12),%r12
L147:
  movsbl %dil,%edi
  call   <vercmp_char_value@plt>
  mov    %eax,%ebx
  movsbl %r13b,%edi
  call   <vercmp_char_value@plt>
  sub    %eax,%ebx
  jne    L120
  cmp    %r14,%rbp
  setbe  %al
  cmp    %r15,%r12
  setbe  %dil
  movzbl %dil,%edi
  and    %eax,%edi
  call   <assert@plt>
  cmp    %r14,%rbp
  jb     L189
  cmp    %r15,%r12
  jb     L189
  mov    %r12,%r13
  mov    %rbp,%rbx
L44:
  cmp    %rbx,%r14
  sete   %al
  cmp    %r13,%r15
  sete   %dil
  movzbl %dil,%edi
  and    %eax,%edi
  call   <assert@plt>
  mov    %rbx,%rdi
  call   <vercmp_digit_end@plt>
  mov    %rax,%rbp
  mov    %r13,%rdi
  call   <vercmp_digit_end@plt>
  mov    %rax,%r12
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <vercmp_num_value@plt>
  mov    %eax,%ebx
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <vercmp_num_value@plt>
  sub    %eax,%ebx
  je     L35
  jmp    L120
L150:
  mov    %r12,%r13
  mov    %rbp,%rbx
  jmp    L44
L169:
  mov    $0x0,%ebx
  jmp    L120
L165:
  mov    $0xffffffff,%ebx
  jmp    L120
```

assistant: ```c
__attribute__((visibility("hidden"))) int cpi_vercmp(const char *v1, const char *v2) {
  const char *v1n;
  const char *v2n;
  int diff;
  if (v1 == NULL && v2 != NULL) {
    return -1;
  } else if (v1 == NULL && v2 == NULL) {
    return 0;
  } else if (v1 != NULL && v2 == NULL) {
    return 1;
  }
  assert(v1 != NULL && v2 != NULL);
  while (*v1 != '\0' || *v2 != '\0') {
    v1n = vercmp_nondigit_end(v1);
    v2n = vercmp_nondigit_end(v2);
    while (v1 < v1n || v2 < v2n) {
      char c1 = '\0';
      char c2 = '\0';
      if (v1 < v1n) {
        c1 = *v1++;
      }
      if (v2 < v2n) {
        c2 = *v2++;
      }
      diff = vercmp_char_value(c1) - vercmp_char_value(c2);
      if (diff != 0) {
        return diff;
      }
      assert(v1 <= v1n && v2 <= v2n);
    }
    assert(v1 == v1n && v2 == v2n);
    v1n = vercmp_digit_end(v1);
    v2n = vercmp_digit_end(v2);
    {
      int i1 = vercmp_num_value(v1, v1n);
      int i2 = vercmp_num_value(v2, v2n);
      int diff = i1 - i2;
      if (diff != 0) {
        return diff;
      }
    }
    v1 = v1n;
    v2 = v2n;
  }
  return 0;
}
```