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

```asm
<getHumanDate>:
  endbr64
  push   %rbx
  test   %esi,%esi
  jne    L89
  jmp    L309
  nopl   0x0(%rax,%rax,1)
L80:
  cmp    $0x53,%al
  jne    L350
  cmpb   $0x70,0x1(%rdi)
  je     L250
L454:
  sub    $0x1,%rdi
L309:
  movzbl (%rdi),%eax
  mov    %rdi,%r8
  cmp    $0xa,%al
  jne    L80
  cmpb   $0xa,0x1(%rdi)
  jne    L454
  cmpb   $0x4e,0x2(%rdi)
  jne    L454
  cmpb   $0x6f,0x3(%rdi)
  jne    L454
  cmpb   $0x20,0x4(%rdi)
  jne    L454
  jmp    L102
  nopl   0x0(%rax)
L178:
  cmpb   $0x20,0x1(%rdi)
  je     L58
L4:
  sub    $0x1,%rdi
L89:
  cmpb   $0x20,(%rdi)
  mov    %rdi,%r8
  jne    L4
  jmp    L178
  nopl   0x0(%rax)
L58:
  cmpb   $0x20,0x2(%rdi)
  jne    L4
  cmpb   $0x4e,0x3(%rdi)
  jne    L4
  cmpb   $0x6f,0x4(%rdi)
  jne    L4
  cmpb   $0x2e,0x5(%rdi)
  jne    L4
  mov    $0x5,%ebx
  jmp    L93
  nopw   0x0(%rax,%rax,1)
L350:
  cmp    $0x20,%al
  jne    L454
  cmpb   $0xa,0x1(%rdi)
  jne    L454
  cmpb   $0x20,0x2(%rdi)
  jne    L454
  cmpb   $0xa,0x3(%rdi)
  jne    L454
  cmpb   $0x4e,0x4(%rdi)
  jne    L454
  cmpb   $0x6f,0x5(%rdi)
  jne    L454
  cmpb   $0x20,0x6(%rdi)
  jne    L454
  jmp    L102
  xchg   %ax,%ax
L250:
  cmpb   $0x65,0x2(%rdi)
  jne    L454
  cmpb   $0x61,0x3(%rdi)
  jne    L454
  cmpb   $0x6b,0x4(%rdi)
  jne    L454
  cmpb   $0x65,0x5(%rdi)
  jne    L454
  cmpb   $0x72,0x6(%rdi)
  jne    L454
  cmpb   $0xa,0x7(%rdi)
  jne    L454
  cmpb   $0x4e,0x8(%rdi)
  jne    L454
  cmpb   $0x6f,0x9(%rdi)
  jne    L454
  cmpb   $0x20,0xa(%rdi)
  jne    L454
L102:
  mov    $0x4,%ebx
L93:
  lea    D2(%rip),%rsi
  mov    %r8,%rdi
  call   <strstr@plt>
  mov    %rax,%rsi
  test   %rax,%rax
  je     L218
  add    %rbx,%rsi
  mov    $0x1,%eax
  lea    D39(%rip),%rdi
  xor    %ecx,%ecx
  movzbl (%rsi),%edx
  cmp    $0xa,%dl
  je     L221
L78:
  mov    %dl,(%rdi,%rax,1)
  mov    %eax,%ecx
  add    $0x1,%rax
  movzbl -0x1(%rsi,%rax,1),%edx
  cmp    $0xa,%dl
  jne    L78
  lea    D10(%rip),%r8
  cmp    $0x64,%ecx
  je     L301
L221:
  mov    $0x64,%edx
  movslq %ecx,%rax
  lea    D10(%rip),%r8
  sub    %ecx,%edx
  add    %r8,%rax
  cmp    $0x8,%edx
  jae    L332
  test   $0x4,%dl
  jne    L254
  test   %edx,%edx
  je     L301
  movb   $0x0,(%rax)
  test   $0x2,%dl
  jne    L304
L301:
  mov    %r8,%rax
  pop    %rbx
  ret
L332:
  lea    0x8(%rax),%rdi
  mov    %edx,%ecx
  movq   $0x0,(%rax)
  movq   $0x0,-0x8(%rax,%rcx,1)
  and    $0xfffffffffffffff8,%rdi
  sub    %rdi,%rax
  lea    (%rdx,%rax,1),%ecx
  xor    %eax,%eax
  shr    $0x3,%ecx
  rep stos %rax,%es:(%rdi)
  jmp    L301
L218:
  movzbl 0x0,%eax
  ud2
L254:
  movl   $0x0,(%rax)
  movl   $0x0,-0x4(%rax,%rdx,1)
  jmp    L301
L304:
  xor    %ecx,%ecx
  mov    %cx,-0x2(%rax,%rdx,1)
  jmp    L301
```

tool_calls: name: extract_symbolic_data
arguments: label: D2
type_infered: string

tool: D2: day

assistant: ```c
char *getHumanDate(char *pointer, int isCouncil) {
  int shift;
  int pos = 0;
  if (isCouncil == 0) {
    while (!((*(pointer - pos) == 0x0a && *(pointer - pos + 1) == 0x0a && *(pointer - pos + 2) == 0x4e && *(pointer - pos + 3) == 0x6f && *(pointer - pos + 4) == 0x20) || (*(pointer - pos) == 0x53 && *(pointer - pos + 1) == 0x70 && *(pointer - pos + 2) == 0x65 && *(pointer - pos + 3) == 0x61 && *(pointer - pos + 4) == 0x6b && *(pointer - pos + 5) == 0x65 && *(pointer - pos + 6) == 0x72 && *(pointer - pos + 7) == 0x0a && *(pointer - pos + 8) == 0x4e && *(pointer - pos + 9) == 0x6f && *(pointer - pos + 10) == 0x20) || (*(pointer - pos) == 0x20 && *(pointer - pos + 1) == 0x0a && *(pointer - pos + 2) == 0x20 && *(pointer - pos + 3) == 0x0a && *(pointer - pos + 4) == 0x4e && *(pointer - pos + 5) == 0x6f && *(pointer - pos + 6) == 0x20))) {
      pos++;
    }
    shift = 4;
  } else {
    while (!(*(pointer - pos) == 0x20 && *(pointer - pos + 1) == 0x20 && *(pointer - pos + 2) == 0x20 && *(pointer - pos + 3) == 0x4e && *(pointer - pos + 4) == 0x6f && *(pointer - pos + 5) == 0x2e)) {
      pos++;
    }
    shift = 5;
  }
  pointer = strstr(pointer - pos, "day");
  if (pointer != 0)
    pointer = pointer + shift;
  static char humandate[100] = {0};
  int hdatepos = 0;
  while (!(*pointer == 0x0a)) {
    humandate[hdatepos] = *pointer;
    hdatepos++;
    pointer++;
  }
  while (hdatepos <= 99) {
    humandate[hdatepos] = 0;
    hdatepos++;
  }
  return humandate;
}
```