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

```asm
<Barcode_isbn_verify>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %rdi,-0x18(%rbp)
  movl   $0x0,-0x4(%rbp)
  movl   $0x0,-0x8(%rbp)
  jmp    L152
L213:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x2d,%al
  je     L7
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L120
  addl   $0x1,-0x4(%rbp)
  cmpl   $0x9,-0x4(%rbp)
  jne    L92
  addl   $0x1,-0x8(%rbp)
  jmp    L206
L120:
  mov    $0xffffffff,%eax
  jmp    L26
L7:
  nop
  jmp    L96
L92:
  nop
L96:
  addl   $0x1,-0x8(%rbp)
L152:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L213
L206:
  cmpl   $0x9,-0x4(%rbp)
  je     L210
  mov    $0xffffffff,%eax
  jmp    L26
L210:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x2d,%al
  jne    L175
  addl   $0x1,-0x8(%rbp)
L175:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L215
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <toupper@plt>
  cmp    $0x58,%al
  jne    L38
L215:
  addl   $0x1,-0x8(%rbp)
L38:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L23
  mov    $0x0,%eax
  jmp    L26
L23:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  cmp    $0x6,%eax
  je     L15
  mov    $0xffffffff,%eax
  jmp    L26
L15:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x20,%al
  je     L163
  mov    $0xffffffff,%eax
  jmp    L26
L163:
  addl   $0x1,-0x8(%rbp)
  jmp    L107
L121:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L224
  mov    $0xffffffff,%eax
  jmp    L26
L224:
  addl   $0x1,-0x8(%rbp)
L107:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L121
  mov    $0x0,%eax
L26:
  leave
  ret
```

assistant: ```c
int Barcode_isbn_verify(unsigned char *text) {
  int i, ndigit = 0;
  for (i = 0; text[i]; i++) {
    if (text[i] == '-')
      continue;
    if (isdigit(text[i])) {
      ndigit++;
      if (ndigit == 9) {
        i++;
        break;
      }
      continue;
    }
    return -1;
  }
  if (ndigit != 9)
    return -1;
  if (text[i] == '-')
    i++;
  if (isdigit(text[i]) || toupper(text[i]) == 'X')
    i++;
  if (text[i] == '\0')
    return 0;
  if (strlen(text + i) != 6)
    return -1;
  if (text[i] != ' ')
    return -1;
  i++;
  while (text[i]) {
    if (!isdigit(text[i]))
      return -1;
    i++;
  }
  return 0;
}
```