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

```asm
<checkEnvPHI>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%r13
  mov    %rsi,%r12
  mov    %rdx,%rbp
  mov    %rcx,%rbx
  lea    D131(%rip),%rdi
  call   <getenv@plt>
  test   %rax,%rax
  je     L89
  lea    D131(%rip),%rdi
  call   <getenv@plt>
  mov    %rax,%rdi
  call   <atoi@plt>
  test   %eax,%eax
  jne    L51
  lea    D1(%rip),%rdi
  call   <fatalError@plt>
L89:
  lea    D153(%rip),%rdi
  call   <getenv@plt>
  test   %rax,%rax
  je     L41
  lea    D153(%rip),%rdi
  call   <getenv@plt>
  mov    %rax,%rdi
  call   <atoi@plt>
  test   %eax,%eax
  jne    L96
  lea    D117(%rip),%rdi
  call   <fatalError@plt>
L41:
  lea    D124(%rip),%rdi
  call   <getenv@plt>
  test   %rax,%rax
  je     L106
  lea    D124(%rip),%rdi
  call   <getenv@plt>
  mov    %rax,%rdi
  call   <atoi@plt>
  test   %eax,%eax
  jne    L68
  lea    D69(%rip),%rdi
  call   <fatalError@plt>
L106:
  lea    D18(%rip),%rdi
  call   <getenv@plt>
  test   %rax,%rax
  je     L114
  lea    D18(%rip),%rdi
  call   <getenv@plt>
  mov    %rax,%rdi
  call   <atoi@plt>
  test   %eax,%eax
  jne    L10
  lea    D58(%rip),%rdi
  call   <fatalError@plt>
L114:
  mov    $0x0,%eax
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L51:
  lea    D131(%rip),%rdi
  call   <getenv@plt>
  mov    %rax,%rdi
  call   <atoi@plt>
  mov    %eax,0x0(%r13)
  jmp    L89
L96:
  lea    D153(%rip),%rdi
  call   <getenv@plt>
  mov    %rax,%rdi
  call   <atoi@plt>
  mov    %eax,(%r12)
  jmp    L41
L68:
  lea    D124(%rip),%rdi
  call   <getenv@plt>
  mov    %rax,%rdi
  call   <atoi@plt>
  mov    %eax,0x0(%rbp)
  jmp    L106
L10:
  lea    D18(%rip),%rdi
  call   <getenv@plt>
  mov    %rax,%rdi
  call   <atoi@plt>
  mov    %eax,(%rbx)
  jmp    L114
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D131
type: string
name: extract_symbolic_data
arguments: data_label: D1
type: string
name: extract_symbolic_data
arguments: data_label: D153
type: string
name: extract_symbolic_data
arguments: data_label: D117
type: string
name: extract_symbolic_data
arguments: data_label: D124
type: string
name: extract_symbolic_data
arguments: data_label: D69
type: string
name: extract_symbolic_data
arguments: data_label: D18
type: string
name: extract_symbolic_data
arguments: data_label: D58
type: string

tool: D131: NLOOP_PHI_MAX

tool: D1: NLOOP_PHI_MAX must be a positive integer

tool: D153: MIN_PHI_SIZE

tool: D117: MIN_PHI_SIZE must be a positive integer

tool: D124: MED_PHI_SIZE

tool: D69: MED_PHI_SIZE must be a positive integer

tool: D18: MAX_PHI_SIZE

tool: D58: MAX_PHI_SIZE must be a positive integer

assistant: ```c
int checkEnvPHI(unsigned int *NLOOP, unsigned int *smin, unsigned int *smed, unsigned int *smax) {
  if (getenv("NLOOP_PHI_MAX") != NULL) {
    if (atoi(getenv("NLOOP_PHI_MAX")) <= 0)
      fatalError("NLOOP_PHI_MAX must be a positive integer");
    else
      *NLOOP = atoi(getenv("NLOOP_PHI_MAX"));
  }
  if (getenv("MIN_PHI_SIZE") != NULL) {
    if (atoi(getenv("MIN_PHI_SIZE")) <= 0)
      fatalError("MIN_PHI_SIZE must be a positive integer");
    else
      *smin = atoi(getenv("MIN_PHI_SIZE"));
  }
  if (getenv("MED_PHI_SIZE") != NULL) {
    if (atoi(getenv("MED_PHI_SIZE")) <= 0)
      fatalError("MED_PHI_SIZE must be a positive integer");
    else
      *smed = atoi(getenv("MED_PHI_SIZE"));
  }
  if (getenv("MAX_PHI_SIZE") != NULL) {
    if (atoi(getenv("MAX_PHI_SIZE")) <= 0)
      fatalError("MAX_PHI_SIZE must be a positive integer");
    else
      *smax = atoi(getenv("MAX_PHI_SIZE"));
  }
  return 0;
}
```