ylfeng/ReF-Decompile-dataset huggingface dataset:
user: Please show me the C implementation that matches the assembly code listed below:

```asm
<proto>:
  endbr64
  push   %rbp
  movswl %di,%ebp
  mov    %ebp,%edi
  call   <bin@plt>
  mov    %ebp,%ecx
  mov    %ebp,%edx
  mov    %ebp,%esi
  lea    D7(%rip),%rdi
  pop    %rbp
  jmp    1070 <printf@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D7
type: string

tool: D7:  %X %d %c


assistant: ```c
void proto(short d) {
  bin(d);
  printf(" %X %d %c\n", d, d, d);
}
```
user: Please show me the C implementation that matches the assembly code listed below:

```asm
<proto>:
  endbr64
  push   %rbp
  movswl %di,%ebp
  mov    %ebp,%edi
  call   <bin@plt>
  mov    %ebp,%ecx
  mov    %ebp,%edx
  mov    %ebp,%esi
  lea    D6(%rip),%rdi
  pop    %rbp
  jmp    1070 <printf@plt>
```

tool_calls: name: unpack_data
arguments: tag: D6
type: string

tool: D6:  %X %d %c


assistant: ```c
void proto(short d) {
  bin(d);
  printf(" %X %d %c\n", d, d, d);
}
```
user: 请将这段汇编代码片段转换成等效的C代码:

```asm
<paste_name_part>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %esi,-0x2c(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x28(%rbp),%rax
  mov    %rax,%rdi
  call   <strdup@plt>
  mov    %rax,-0x10(%rbp)
  lea    -0x18(%rbp),%rdx
  lea    -0x1c(%rbp),%rcx
  mov    -0x10(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <split_ext@plt>
  cmpl   $0x0,-0x2c(%rbp)
  je     L17
  mov    -0x10(%rbp),%rax
  jmp    L24
L17:
  mov    -0x18(%rbp),%rax
L24:
  mov    $0x1,%esi
  mov    %rax,%rdi
  call   <paste_str@plt>
  mov    -0x10(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L10
  call   <__stack_chk_fail@plt>
L10:
  leave
  ret
```

assistant: ```c
void paste_name_part(const char name[], int root) {
  int root_len;
  const char *ext;
  char *const name_copy = strdup(name);
  split_ext(name_copy, &root_len, &ext);
  paste_str(root ? name_copy : ext, 1);
  free(name_copy);
}
```
user: What would the C source look like for the assembly code provided here?

```asm
<paste_name_part>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %esi,%ebp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  call   <strdup@plt>
  mov    %rax,%rbx
  lea    0x10(%rsp),%rdx
  lea    0xc(%rsp),%rsi
  mov    %rax,%rdi
  call   <split_ext@plt>
  test   %ebp,%ebp
  mov    %rbx,%rdi
  cmove  0x10(%rsp),%rdi
  mov    $0x1,%esi
  call   <paste_str@plt>
  mov    %rbx,%rdi
  call   <free@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L8
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  ret
L8:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void paste_name_part(const char name[], int root) {
  int root_len;
  const char *ext;
  char *const name_copy = strdup(name);
  split_ext(name_copy, &root_len, &ext);
  paste_str(root ? name_copy : ext, 1);
  free(name_copy);
}
```
user: 下面的汇编指令对应的C源代码是什么:

```asm
<paste_name_part>:
  endbr64
  push   %rbp
  push   %rbx
  mov    %esi,%ebx
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  call   <strdup@plt>
  lea    0x10(%rsp),%rdx
  lea    0xc(%rsp),%rsi
  mov    %rax,%rbp
  mov    %rax,%rdi
  call   <split_ext@plt>
  test   %ebx,%ebx
  mov    %rbp,%rdi
  cmove  0x10(%rsp),%rdi
  mov    $0x1,%esi
  call   <paste_str@plt>
  mov    %rbp,%rdi
  call   <free@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L4
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  ret
L4:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void paste_name_part(const char name[], int root) {
  int root_len;
  const char *ext;
  char *const name_copy = strdup(name);
  split_ext(name_copy, &root_len, &ext);
  paste_str(root ? name_copy : ext, 1);
  free(name_copy);
}
```
user: Translate the below assembly code into C programming language:

```asm
<paste_name_part>:
  endbr64
  push   %rbp
  push   %rbx
  mov    %esi,%ebx
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  call   <strdup@plt>
  lea    0x10(%rsp),%rdx
  lea    0xc(%rsp),%rsi
  mov    %rax,%rbp
  mov    %rax,%rdi
  call   <split_ext@plt>
  test   %ebx,%ebx
  mov    %rbp,%rdi
  cmove  0x10(%rsp),%rdi
  mov    $0x1,%esi
  call   <paste_str@plt>
  mov    %rbp,%rdi
  call   <free@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L3
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  ret
L3:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void paste_name_part(const char name[], int root) {
  int root_len;
  const char *ext;
  char *const name_copy = strdup(name);
  split_ext(name_copy, &root_len, &ext);
  paste_str(root ? name_copy : ext, 1);
  free(name_copy);
}
```
user: 请将以下的汇编代码转换成C语言代码：

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %edi,-0x34(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0x0,-0x24(%rbp)
  lea    D9(%rip),%rax
  mov    %rax,-0x20(%rbp)
  lea    D0(%rip),%rax
  mov    %rax,-0x18(%rbp)
  lea    D4(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rsi
  mov    $0x2,%edi
  call   <dlinit@plt>
  mov    $0x0,%eax
  call   <do_dlopen@plt>
  mov    -0x24(%rbp),%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L2
  call   <__stack_chk_fail@plt>
L2:
  leave
  ret
```

tool_calls: name: unpack_data
arguments: data_label: D9
type_guessed: string
name: unpack_data
arguments: data_label: D0
type_guessed: string
name: unpack_data
arguments: data_label: D4
type_guessed: string

tool: D9: libgcc.so

tool: D0: libc.so

tool: D4: In DSPAL main


assistant: ```c
int main(int argc, char *argv[]) {
  int ret = 0;
  char *builtin[] = {"libgcc.so", "libc.so"};
  printf("In DSPAL main\n");
  dlinit(2, builtin);
  do_dlopen();
  return ret;
}
```
user: 这段汇编代码用C语言表示是什么样的？

```asm
<main>:
  endbr64
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  lea    D14(%rip),%rax
  mov    %rax,(%rsp)
  lea    D18(%rip),%rax
  mov    %rax,0x8(%rsp)
  lea    D15(%rip),%rdi
  call   <printf@plt>
  mov    %rsp,%rsi
  mov    $0x2,%edi
  call   <dlinit@plt>
  mov    $0x0,%eax
  call   <do_dlopen@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L9
  mov    $0x0,%eax
  add    $0x28,%rsp
  ret
L9:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: tag: D14
type: string
name: read_data
arguments: tag: D18
type: string
name: read_data
arguments: tag: D15
type: string

tool: D14: libgcc.so

tool: D18: libc.so

tool: D15: In DSPAL main


assistant: ```c
int main(int argc, char *argv[]) {
  int ret = 0;
  char *builtin[] = {"libgcc.so", "libc.so"};
  printf("In DSPAL main\n");
  dlinit(2, builtin);
  do_dlopen();
  return ret;
}
```
user: 请从给定的汇编指令推导出C源代码：

```asm
<main>:
  endbr64
  sub    $0x28,%rsp
  lea    D0(%rip),%rdi
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  lea    D24(%rip),%rax
  mov    %rax,(%rsp)
  lea    D22(%rip),%rax
  mov    %rax,0x8(%rsp)
  call   <printf@plt>
  mov    %rsp,%rsi
  mov    $0x2,%edi
  call   <dlinit@plt>
  xor    %eax,%eax
  call   <do_dlopen@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L5
  xor    %eax,%eax
  add    $0x28,%rsp
  ret
L5:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: tag: D0
type: string
name: parse_data
arguments: tag: D24
type: string
name: parse_data
arguments: tag: D22
type: string

tool: D0: In DSPAL main


tool: D24: libgcc.so

tool: D22: libc.so

assistant: ```c
int main(int argc, char *argv[]) {
  int ret = 0;
  char *builtin[] = {"libgcc.so", "libc.so"};
  printf("In DSPAL main\n");
  dlinit(2, builtin);
  do_dlopen();
  return ret;
}
```
user: 提供的汇编代码用C语言表示会是什么样子：

```asm
<main>:
  endbr64
  sub    $0x28,%rsp
  lea    D6(%rip),%rdx
  lea    D22(%rip),%rdi
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  lea    D24(%rip),%rax
  movq   %rdx,%xmm0
  movq   %rax,%xmm1
  punpcklqdq %xmm1,%xmm0
  movaps %xmm0,(%rsp)
  call   <printf@plt>
  mov    %rsp,%rsi
  mov    $0x2,%edi
  call   <dlinit@plt>
  xor    %eax,%eax
  call   <do_dlopen@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L5
  xor    %eax,%eax
  add    $0x28,%rsp
  ret
L5:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_tag: D6
type_guessed: string
name: read_data
arguments: data_tag: D22
type_guessed: string
name: read_data
arguments: data_tag: D24
type_guessed: string

tool: D6: libgcc.so

tool: D22: In DSPAL main


tool: D24: libc.so

assistant: ```c
int main(int argc, char *argv[]) {
  int ret = 0;
  char *builtin[] = {"libgcc.so", "libc.so"};
  printf("In DSPAL main\n");
  dlinit(2, builtin);
  do_dlopen();
  return ret;
}
```
user: Translate the below assembly code into C programming language:

```asm
<cpu_init>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    $0x0,%eax
  call   <cortexm_init@plt>
  mov    $0x0,%eax
  call   <cpu_clock_init@plt>
  mov    $0x0,%eax
  call   <periph_init@plt>
  nop
  pop    %rbp
  ret
```

assistant: ```c
void cpu_init(void) {
  cortexm_init();
  cpu_clock_init();
  periph_init();
}
```
user: 这段汇编代码用C语言表示是什么样的？

```asm
<cpu_init>:
  endbr64
  sub    $0x8,%rsp
  mov    $0x0,%eax
  call   <cortexm_init@plt>
  mov    $0x0,%eax
  call   <cpu_clock_init@plt>
  mov    $0x0,%eax
  call   <periph_init@plt>
  add    $0x8,%rsp
  ret
```

assistant: ```c
void cpu_init(void) {
  cortexm_init();
  cpu_clock_init();
  periph_init();
}
```
user: 请将以下的汇编代码转换成C语言代码：

```asm
<cpu_init>:
  endbr64
  sub    $0x8,%rsp
  xor    %eax,%eax
  call   <cortexm_init@plt>
  xor    %eax,%eax
  call   <cpu_clock_init@plt>
  xor    %eax,%eax
  add    $0x8,%rsp
  jmp    1090 <periph_init@plt>
```

assistant: ```c
void cpu_init(void) {
  cortexm_init();
  cpu_clock_init();
  periph_init();
}
```
user: Converte this assembly snippet into its equivalent C code:

```asm
<cpu_init>:
  endbr64
  sub    $0x8,%rsp
  xor    %eax,%eax
  call   <cortexm_init@plt>
  xor    %eax,%eax
  call   <cpu_clock_init@plt>
  xor    %eax,%eax
  add    $0x8,%rsp
  jmp    1090 <periph_init@plt>
```

assistant: ```c
void cpu_init(void) {
  cortexm_init();
  cpu_clock_init();
  periph_init();
}
```
user: 请将这段汇编代码片段转换成等效的C代码:

```asm
<usage>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  lea    D24(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D22(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D16(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D21(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D14(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D42(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  nop
  pop    %rbp
  ret
```

tool_calls: name: retrieve_data
arguments: tag: D24
type_guessed: string
name: retrieve_data
arguments: tag: D22
type_guessed: string
name: retrieve_data
arguments: tag: D16
type_guessed: string
name: retrieve_data
arguments: tag: D21
type_guessed: string
name: retrieve_data
arguments: tag: D14
type_guessed: string
name: retrieve_data
arguments: tag: D42
type_guessed: string

tool: D24: SSI-Browser version 0.9



tool: D22: USAGE: ./SSI-Browser [ADDR]


tool: D16: 	Options:


tool: D21: 	-S [nRouted_address:port]	- The address and port number where the nRouted TCP server is located.


tool: D14: 								  (for example  -S 192.168.0.145:13022 )


tool: D42: 	[ADDR] 			- the 802.15.4 MAC address of the target.



assistant: ```c
void usage(void) {
  printf("SSI-Browser version 0.9\n\n");
  printf("USAGE: ./SSI-Browser [ADDR]\n");
  printf("	Options:\n");
  printf("	-S [nRouted_address:port]	- The address and port number where the nRouted TCP server is located.\n");
  printf("								  (for example  -S 192.168.0.145:13022 )\n");
  printf("	[ADDR] 			- the 802.15.4 MAC address of the target.\n\n");
}
```
user: 下面的汇编指令对应的C源代码是什么：

```asm
<usage>:
  endbr64
  sub    $0x8,%rsp
  lea    D24(%rip),%rdi
  call   <printf@plt>
  lea    D17(%rip),%rdi
  call   <printf@plt>
  lea    D46(%rip),%rdi
  call   <printf@plt>
  lea    D27(%rip),%rdi
  call   <printf@plt>
  lea    D31(%rip),%rdi
  call   <printf@plt>
  lea    D7(%rip),%rdi
  call   <printf@plt>
  add    $0x8,%rsp
  ret
```

tool_calls: name: retrieve_data
arguments: tag: D24
type_guessed: string
name: retrieve_data
arguments: tag: D17
type_guessed: string
name: retrieve_data
arguments: tag: D46
type_guessed: string
name: retrieve_data
arguments: tag: D27
type_guessed: string
name: retrieve_data
arguments: tag: D31
type_guessed: string
name: retrieve_data
arguments: tag: D7
type_guessed: string

tool: D24: SSI-Browser version 0.9



tool: D17: USAGE: ./SSI-Browser [ADDR]


tool: D46: 	Options:


tool: D27: 	-S [nRouted_address:port]	- The address and port number where the nRouted TCP server is located.


tool: D31: 								  (for example  -S 192.168.0.145:13022 )


tool: D7: 	[ADDR] 			- the 802.15.4 MAC address of the target.



assistant: ```c
void usage(void) {
  printf("SSI-Browser version 0.9\n\n");
  printf("USAGE: ./SSI-Browser [ADDR]\n");
  printf("	Options:\n");
  printf("	-S [nRouted_address:port]	- The address and port number where the nRouted TCP server is located.\n");
  printf("								  (for example  -S 192.168.0.145:13022 )\n");
  printf("	[ADDR] 			- the 802.15.4 MAC address of the target.\n\n");
}
```
user: Please show me the C implementation that matches the assembly code listed below:

```asm
<usage>:
  endbr64
  sub    $0x8,%rsp
  lea    D42(%rip),%rdi
  call   <printf@plt>
  lea    D14(%rip),%rdi
  call   <printf@plt>
  lea    D12(%rip),%rdi
  call   <printf@plt>
  lea    D47(%rip),%rdi
  call   <printf@plt>
  lea    D18(%rip),%rdi
  call   <printf@plt>
  lea    D56(%rip),%rdi
  add    $0x8,%rsp
  jmp    1050 <printf@plt>
```

tool_calls: name: disassemble_data
arguments: data_label: D42
type_infered: string
name: disassemble_data
arguments: data_label: D14
type_infered: string
name: disassemble_data
arguments: data_label: D12
type_infered: string
name: disassemble_data
arguments: data_label: D47
type_infered: string
name: disassemble_data
arguments: data_label: D18
type_infered: string
name: disassemble_data
arguments: data_label: D56
type_infered: string

tool: D42: SSI-Browser version 0.9



tool: D14: USAGE: ./SSI-Browser [ADDR]


tool: D12: 	Options:


tool: D47: 	-S [nRouted_address:port]	- The address and port number where the nRouted TCP server is located.


tool: D18: 								  (for example  -S 192.168.0.145:13022 )


tool: D56: 	[ADDR] 			- the 802.15.4 MAC address of the target.



assistant: ```c
void usage(void) {
  printf("SSI-Browser version 0.9\n\n");
  printf("USAGE: ./SSI-Browser [ADDR]\n");
  printf("	Options:\n");
  printf("	-S [nRouted_address:port]	- The address and port number where the nRouted TCP server is located.\n");
  printf("								  (for example  -S 192.168.0.145:13022 )\n");
  printf("	[ADDR] 			- the 802.15.4 MAC address of the target.\n\n");
}
```
user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<usage>:
  endbr64
  sub    $0x8,%rsp
  lea    D20(%rip),%rdi
  call   <printf@plt>
  lea    D19(%rip),%rdi
  call   <printf@plt>
  lea    D41(%rip),%rdi
  call   <printf@plt>
  lea    D57(%rip),%rdi
  call   <printf@plt>
  lea    D45(%rip),%rdi
  call   <printf@plt>
  lea    D29(%rip),%rdi
  add    $0x8,%rsp
  jmp    1050 <printf@plt>
```

tool_calls: name: disassemble_data
arguments: label: D20
data_type: string
name: disassemble_data
arguments: label: D19
data_type: string
name: disassemble_data
arguments: label: D41
data_type: string
name: disassemble_data
arguments: label: D57
data_type: string
name: disassemble_data
arguments: label: D45
data_type: string
name: disassemble_data
arguments: label: D29
data_type: string

tool: D20: SSI-Browser version 0.9



tool: D19: USAGE: ./SSI-Browser [ADDR]


tool: D41: 	Options:


tool: D57: 	-S [nRouted_address:port]	- The address and port number where the nRouted TCP server is located.


tool: D45: 								  (for example  -S 192.168.0.145:13022 )


tool: D29: 	[ADDR] 			- the 802.15.4 MAC address of the target.



assistant: ```c
void usage(void) {
  printf("SSI-Browser version 0.9\n\n");
  printf("USAGE: ./SSI-Browser [ADDR]\n");
  printf("	Options:\n");
  printf("	-S [nRouted_address:port]	- The address and port number where the nRouted TCP server is located.\n");
  printf("								  (for example  -S 192.168.0.145:13022 )\n");
  printf("	[ADDR] 			- the 802.15.4 MAC address of the target.\n\n");
}
```
user: 下面的汇编指令对应的C源代码是什么：

```asm
<mapcon_write_maps>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    -0x8(%rbp),%rcx
  mov    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    %rax,%rsi
  mov    $0x1af,%edi
  call   <_ada_use_c2phc@plt>
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  leave
  ret
```

assistant: ```c
int mapcon_write_maps(void) {
  int *a, *b, fail;
  double *c;
  fail = _ada_use_c2phc(431, a, b, c);
  return fail;
}
```
user: 请将以下的汇编代码转换成C语言代码:

```asm
<mapcon_write_maps>:
  endbr64
  sub    $0x8,%rsp
  mov    $0x0,%ecx
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    $0x1af,%edi
  call   <_ada_use_c2phc@plt>
  add    $0x8,%rsp
  ret
```

assistant: ```c
int mapcon_write_maps(void) {
  int *a, *b, fail;
  double *c;
  fail = _ada_use_c2phc(431, a, b, c);
  return fail;
}
```
user: What is the c source code of the assembly code below?

```asm
<mapcon_write_maps>:
  endbr64
  xor    %ecx,%ecx
  xor    %edx,%edx
  xor    %esi,%esi
  mov    $0x1af,%edi
  jmp    1050 <_ada_use_c2phc@plt>
```

assistant: ```c
int mapcon_write_maps(void) {
  int *a, *b, fail;
  double *c;
  fail = _ada_use_c2phc(431, a, b, c);
  return fail;
}
```
user: What would the C source look like for the assembly code provided here?

```asm
<mapcon_write_maps>:
  endbr64
  xor    %ecx,%ecx
  xor    %edx,%edx
  xor    %esi,%esi
  mov    $0x1af,%edi
  jmp    1050 <_ada_use_c2phc@plt>
```

assistant: ```c
int mapcon_write_maps(void) {
  int *a, *b, fail;
  double *c;
  fail = _ada_use_c2phc(431, a, b, c);
  return fail;
}
```
user: Converte this assembly snippet into its equivalent C code:

```asm
<DiskPerfDispatchPnp>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %edi,-0x24(%rbp)
  mov    %esi,-0x28(%rbp)
  mov    $0x0,%eax
  call   <__VERIFIER_nondet_int@plt>
  mov    %eax,-0x10(%rbp)
  mov    $0x0,%eax
  call   <__VERIFIER_nondet_int@plt>
  mov    %eax,-0xc(%rbp)
  mov    -0x10(%rbp),%eax
  mov    %eax,-0x8(%rbp)
  cmpl   $0x0,-0xc(%rbp)
  je     L26
  cmpl   $0x2,-0xc(%rbp)
  jne    L24
  jmp    L29
L26:
  nop
  mov    -0x28(%rbp),%edx
  mov    -0x24(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <DiskPerfStartDevice@plt>
  mov    %eax,-0x14(%rbp)
  jmp    L38
L29:
  mov    -0x28(%rbp),%edx
  mov    -0x24(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <DiskPerfRemoveDevice@plt>
  mov    %eax,-0x14(%rbp)
  jmp    L38
L24:
  nop
  mov    -0x28(%rbp),%edx
  mov    -0x24(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <DiskPerfSendToNextDriver@plt>
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  jmp    L59
L38:
  mov    -0x14(%rbp),%eax
L59:
  leave
  ret
```

assistant: ```c
int DiskPerfDispatchPnp(int DeviceObject, int Irp) {
  int Irp__Tail__Overlay__CurrentStackLocation = __VERIFIER_nondet_int();
  int irpSp__MinorFunction = __VERIFIER_nondet_int();
  int irpSp;
  int status;
  int tmp;
  {
    irpSp = Irp__Tail__Overlay__CurrentStackLocation;
    if (irpSp__MinorFunction == 0) {
      goto switch_0_0;
    } else {
      if (irpSp__MinorFunction == 2) {
        goto switch_0_2;
      } else {
        goto switch_0_default;
        if (0) {
        switch_0_0 : { status = DiskPerfStartDevice(DeviceObject, Irp); }
          goto switch_0_break;
        switch_0_2 : { status = DiskPerfRemoveDevice(DeviceObject, Irp); }
          goto switch_0_break;
        switch_0_default : { tmp = DiskPerfSendToNextDriver(DeviceObject, Irp); }
          return (tmp);
        } else {
        switch_0_break:;
        }
      }
    }
    return (status);
  }
}
```
user: 请将这段汇编代码片段转换成等效的C代码:

```asm
<DiskPerfDispatchPnp>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %edi,%ebx
  mov    %esi,%ebp
  mov    $0x0,%eax
  call   <__VERIFIER_nondet_int@plt>
  mov    $0x0,%eax
  call   <__VERIFIER_nondet_int@plt>
  test   %eax,%eax
  je     L33
  cmp    $0x2,%eax
  jne    L9
  mov    %ebp,%esi
  mov    %ebx,%edi
  call   <DiskPerfRemoveDevice@plt>
L7:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  ret
L33:
  mov    %ebp,%esi
  mov    %ebx,%edi
  call   <DiskPerfStartDevice@plt>
  jmp    L7
L9:
  mov    %ebp,%esi
  mov    %ebx,%edi
  call   <DiskPerfSendToNextDriver@plt>
  jmp    L7
```

assistant: ```c
int DiskPerfDispatchPnp(int DeviceObject, int Irp) {
  int Irp__Tail__Overlay__CurrentStackLocation = __VERIFIER_nondet_int();
  int irpSp__MinorFunction = __VERIFIER_nondet_int();
  int irpSp;
  int status;
  int tmp;
  {
    irpSp = Irp__Tail__Overlay__CurrentStackLocation;
    if (irpSp__MinorFunction == 0) {
      goto switch_0_0;
    } else {
      if (irpSp__MinorFunction == 2) {
        goto switch_0_2;
      } else {
        goto switch_0_default;
        if (0) {
        switch_0_0 : { status = DiskPerfStartDevice(DeviceObject, Irp); }
          goto switch_0_break;
        switch_0_2 : { status = DiskPerfRemoveDevice(DeviceObject, Irp); }
          goto switch_0_break;
        switch_0_default : { tmp = DiskPerfSendToNextDriver(DeviceObject, Irp); }
          return (tmp);
        } else {
        switch_0_break:;
        }
      }
    }
    return (status);
  }
}
```
user: 下面的汇编指令对应的C源代码是什么：

```asm
<DiskPerfDispatchPnp>:
  endbr64
  push   %r12
  xor    %eax,%eax
  mov    %esi,%r12d
  push   %rbp
  mov    %edi,%ebp
  sub    $0x8,%rsp
  call   <__VERIFIER_nondet_int@plt>
  xor    %eax,%eax
  call   <__VERIFIER_nondet_int@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  test   %eax,%eax
  je     L12
  cmp    $0x2,%eax
  jne    L8
  add    $0x8,%rsp
  pop    %rbp
  pop    %r12
  jmp    10a0 <DiskPerfRemoveDevice@plt>
  nopl   0x0(%rax,%rax,1)
L8:
  add    $0x8,%rsp
  pop    %rbp
  pop    %r12
  jmp    1080 <DiskPerfSendToNextDriver@plt>
  nopl   0x0(%rax)
L12:
  add    $0x8,%rsp
  pop    %rbp
  pop    %r12
  jmp    1090 <DiskPerfStartDevice@plt>
```

assistant: ```c
int DiskPerfDispatchPnp(int DeviceObject, int Irp) {
  int Irp__Tail__Overlay__CurrentStackLocation = __VERIFIER_nondet_int();
  int irpSp__MinorFunction = __VERIFIER_nondet_int();
  int irpSp;
  int status;
  int tmp;
  {
    irpSp = Irp__Tail__Overlay__CurrentStackLocation;
    if (irpSp__MinorFunction == 0) {
      goto switch_0_0;
    } else {
      if (irpSp__MinorFunction == 2) {
        goto switch_0_2;
      } else {
        goto switch_0_default;
        if (0) {
        switch_0_0 : { status = DiskPerfStartDevice(DeviceObject, Irp); }
          goto switch_0_break;
        switch_0_2 : { status = DiskPerfRemoveDevice(DeviceObject, Irp); }
          goto switch_0_break;
        switch_0_default : { tmp = DiskPerfSendToNextDriver(DeviceObject, Irp); }
          return (tmp);
        } else {
        switch_0_break:;
        }
      }
    }
    return (status);
  }
}
```