user: What would the C source look like for the assembly code provided here:

```asm
<strlen>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  mov    %rax,-0x30(%rbp)
  jmp    L97
L188:
  mov    -0x30(%rbp),%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L164
  mov    -0x30(%rbp),%rax
  sub    -0x38(%rbp),%rax
  jmp    L121
L164:
  addq   $0x1,-0x30(%rbp)
L97:
  mov    -0x30(%rbp),%rax
  and    $0x7,%eax
  test   %rax,%rax
  jne    L188
  mov    -0x30(%rbp),%rax
  mov    %rax,-0x28(%rbp)
  mov    $0x80808080,%eax
  mov    %rax,-0x20(%rbp)
  movq   $0x1010101,-0x18(%rbp)
  mov    -0x20(%rbp),%rax
  shl    $0x20,%rax
  or     %rax,-0x20(%rbp)
  mov    -0x18(%rbp),%rax
  shl    $0x20,%rax
  or     %rax,-0x18(%rbp)
L13:
  mov    -0x28(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x28(%rbp)
  mov    (%rax),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  sub    -0x18(%rbp),%rax
  mov    %rax,%rdx
  mov    -0x10(%rbp),%rax
  not    %rax
  and    %rdx,%rax
  and    -0x20(%rbp),%rax
  test   %rax,%rax
  je     L13
  mov    -0x28(%rbp),%rax
  sub    $0x8,%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L68
  mov    -0x8(%rbp),%rax
  sub    -0x38(%rbp),%rax
  jmp    L121
L68:
  mov    -0x8(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L94
  mov    -0x8(%rbp),%rax
  sub    -0x38(%rbp),%rax
  add    $0x1,%rax
  jmp    L121
L94:
  mov    -0x8(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L168
  mov    -0x8(%rbp),%rax
  sub    -0x38(%rbp),%rax
  add    $0x2,%rax
  jmp    L121
L168:
  mov    -0x8(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L184
  mov    -0x8(%rbp),%rax
  sub    -0x38(%rbp),%rax
  add    $0x3,%rax
  jmp    L121
L184:
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L129
  mov    -0x8(%rbp),%rax
  sub    -0x38(%rbp),%rax
  add    $0x4,%rax
  jmp    L121
L129:
  mov    -0x8(%rbp),%rax
  add    $0x5,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L29
  mov    -0x8(%rbp),%rax
  sub    -0x38(%rbp),%rax
  add    $0x5,%rax
  jmp    L121
L29:
  mov    -0x8(%rbp),%rax
  add    $0x6,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L112
  mov    -0x8(%rbp),%rax
  sub    -0x38(%rbp),%rax
  add    $0x6,%rax
  jmp    L121
L112:
  mov    -0x8(%rbp),%rax
  add    $0x7,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L13
  mov    -0x8(%rbp),%rax
  sub    -0x38(%rbp),%rax
  add    $0x7,%rax
L121:
  pop    %rbp
  ret
```

assistant: ```c
size_t strlen(const char *str) {
  const char *char_ptr;
  const unsigned long int *longword_ptr;
  unsigned long int longword, himagic, lomagic;
  for (char_ptr = str; ((unsigned long int)char_ptr & (sizeof(longword) - 1)) != 0; ++char_ptr)
    if (*char_ptr == '\0')
      return char_ptr - str;
  longword_ptr = (unsigned long int *)char_ptr;
  himagic = 0x80808080L;
  lomagic = 0x01010101L;
  if (sizeof(longword) > 4) {
    himagic = ((himagic << 16) << 16) | himagic;
    lomagic = ((lomagic << 16) << 16) | lomagic;
  }
  if (sizeof(longword) > 8)
    abort();
  for (;;) {
    longword = *longword_ptr++;
    if (((longword - lomagic) & ~longword & himagic) != 0) {
      const char *cp = (const char *)(longword_ptr - 1);
      if (cp[0] == 0)
        return cp - str;
      if (cp[1] == 0)
        return cp - str + 1;
      if (cp[2] == 0)
        return cp - str + 2;
      if (cp[3] == 0)
        return cp - str + 3;
      if (sizeof(longword) > 4) {
        if (cp[4] == 0)
          return cp - str + 4;
        if (cp[5] == 0)
          return cp - str + 5;
        if (cp[6] == 0)
          return cp - str + 6;
        if (cp[7] == 0)
          return cp - str + 7;
      }
    }
  }
}
```