user: 请从给定的汇编指令推导出C源代码:

```asm
<f18>:
  endbr64
  mov    %edi,%eax
  and    $0xc0000001,%eax
  cmp    $0xc0000001,%eax
  je     L93
  cmp    $0xffffffc0,%edi
  je     L127
  cmp    $0xffffffc1,%edi
  jge    L55
  cmp    $0xc0000001,%edi
  jge    L105
  cmp    $0xbfffffff,%edi
  jge    L127
  cmp    $0x90000001,%edi
  jge    L341
  cmp    $0x8fffffff,%edi
  jge    L127
  cmp    $0x80000009,%edi
  jge    L428
  mov    $0x121,%eax
  bt     %rdi,%rax
  jae    L428
  ret
L323:
  movabs $0x8000000101000020,%rax
  bt     %rdi,%rax
  jb     L266
L428:
  sub    $0x8,%rsp
  mov    $0x0,%eax
  call   <abort@plt>
  add    $0x8,%rsp
  ret
L266:
  ret
L341:
  cmp    $0xa030ffff,%edi
  je     L127
  cmp    $0xbfbf0000,%edi
  jne    L428
  ret
L105:
  cmp    $0xffffdfc0,%edi
  je     L127
  cmp    $0xffffdfc1,%edi
  jl     L10
  cmp    $0xffffdfc6,%edi
  je     L127
  cmp    $0xffffe000,%edi
  jne    L428
  ret
L10:
  mov    %edi,%eax
  and    $0xfffffffd,%eax
  cmp    $0xffffc340,%eax
  je     L127
  cmp    $0xf0000000,%edi
  jne    L428
  ret
L55:
  cmp    $0x1cc0,%edi
  jg     L232
  cmp    $0x1cbe,%edi
  jg     L127
  cmp    $0x3f,%edi
  jg     L428
  cmp    $0x4,%edi
  jg     L323
  cmp    $0xffffffe0,%edi
  je     L127
  cmp    $0x2,%edi
  ja     L428
  ret
L232:
  cmp    $0x60000002,%edi
  je     L127
  jle    L357
  cmp    $0x70000000,%edi
  jle    L119
  cmp    $0x7fffffff,%edi
  jne    L428
  ret
L357:
  cmp    $0x3cc0,%edi
  jg     L362
  cmp    $0x3cbe,%edi
  jg     L127
  sub    $0x1fff,%edi
  cmp    $0x1,%edi
  ja     L428
  ret
L362:
  sub    $0x1fffffff,%edi
  cmp    $0x1,%edi
  ja     L428
  ret
L119:
  cmp    $0x6ffffffe,%edi
  jle    L428
  ret
L93:
  cmp    $0xffffe004,%edi
  jge    L268
  cmp    $0xffffdfff,%edi
  jge    L61
  cmp    $0xffffdfbf,%edi
  je     L127
  cmp    $0xffffdfc0,%edi
  jl     L94
  cmp    $0xffffdfc1,%edi
  jne    L428
  ret
L94:
  cmp    $0xc0000001,%edi
  je     L127
  cmp    $0xefffffff,%edi
  jne    L428
  ret
L61:
  add    $0x2001,%edi
  mov    $0x15,%eax
  bt     %rdi,%rax
  jae    L428
L127:
  ret
L268:
  cmp    $0xffffffbf,%edi
  je     L127
  add    $0x3f,%edi
  cmp    $0x3e,%edi
  ja     L428
  movabs $0x4401000000000001,%rax
  bt     %rdi,%rax
  jae    L428
  ret
```

assistant: ```c
void f18(int s) {
  if ((s & ((-0x4000 << ((sizeof(int) - sizeof(short)) * 8)) | 1)) != ((-0x4000 << ((sizeof(int) - sizeof(short)) * 8)) | 1)) {
    if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f || s == (-0x4000 << ((sizeof(int) - sizeof(short)) * 8)) - 1 || s == (-0x7000 << ((sizeof(int) - sizeof(short)) * 8)) - 1 || s == (-0x5fcf << ((sizeof(int) - sizeof(short)) * 8)) - 1 || s == (-0x4041 << ((sizeof(int) - sizeof(short)) * 8)) || s == (-0x4000 << ((sizeof(int) - sizeof(short)) * 8)) || s == (-0x1000 << ((sizeof(int) - sizeof(short)) * 8)) || s == (-0x7000 << ((sizeof(int) - sizeof(short)) * 8)) || s == 1 || s == -15550 || s == -15552 || s == (0x7000 << ((sizeof(int) - sizeof(short)) * 8)) - 1 || s == (0x7000 << ((sizeof(int) - sizeof(short)) * 8)) || s == (1 << ((sizeof(int) * 8 - 1) - 2)) || s == (1 << ((sizeof(int) * 8 - 1) - 2)) - 1 || s == -0x7fffffff - 1 || s == 2 || s == 24 || s == -32 || s == (3 << ((sizeof(int) * 8 - 1) - 2)) + 2 || s == 5 || s == -64 || s == -0x7fffffff + 4 || s == -8192 || s == -8250 || s == -8256 || s == 0x7fffffff || s == -0x7fffffff + 7)
      return;
  } else {
    if (s == (-0x1000 << ((sizeof(int) - sizeof(short)) * 8)) - 1 || s == (-0x4000 << ((sizeof(int) - sizeof(short)) * 8)) + 1 || s == -1 || s == -15 || s == -5 || s == -63 || s == -65 || s == -8189 || s == -8191 || s == -8193 || s == -8255 || s == -8257)
      return;
  }
  abort();
}
```