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

```asm
<fibonacci>:
  endbr64
  xor    %r8d,%r8d
  test   %edi,%edi
  je     L43
  lea    -0x1(%rdi),%eax
  cmp    $0x1,%eax
  jbe    L39
  cmp    $0x2,%edi
  jle    L43
  mov    $0x1,%ecx
  mov    $0x1,%edx
  mov    $0x2,%eax
  jmp    L8
  nopl   0x0(%rax)
L17:
  mov    %r8,%rdx
L8:
  add    $0x1,%eax
  lea    (%rdx,%rcx,1),%r8
  mov    %rdx,%rcx
  cmp    %eax,%edi
  jne    L17
L43:
  mov    %r8,%rax
  ret
  nopl   (%rax)
L39:
  mov    $0x1,%r8d
  mov    %r8,%rax
  ret
```

assistant: ```c
long long int fibonacci(int number) {
  long long int temporary;
  int i;
  if (number == 0)
    temporary = 0;
  else if (number == 1 || number == 2)
    temporary = 1;
  else {
    long long int before = 1, beforeBefore = 1;
    for (i = 2; i < number; i++) {
      temporary = beforeBefore + before;
      beforeBefore = before;
      before = temporary;
    }
  }
  return temporary;
}
```
user: 提供的汇编代码用C语言表示会是什么样子:

```asm
<glmGenerateTranslationMatrix5d>:
  endbr64
  movsd  D6(%rip),%xmm0
  movsd  %xmm0,(%rdi)
  movq   $0x0,0x28(%rdi)
  movq   $0x0,0x50(%rdi)
  movq   $0x0,0x78(%rdi)
  movsd  (%rsi),%xmm1
  movsd  %xmm1,0xa0(%rdi)
  movq   $0x0,0x8(%rdi)
  movsd  %xmm0,0x30(%rdi)
  movq   $0x0,0x58(%rdi)
  movq   $0x0,0x80(%rdi)
  movsd  0x8(%rsi),%xmm1
  movsd  %xmm1,0xa8(%rdi)
  movq   $0x0,0x10(%rdi)
  movq   $0x0,0x38(%rdi)
  movsd  %xmm0,0x60(%rdi)
  movq   $0x0,0x88(%rdi)
  movsd  0x10(%rsi),%xmm1
  movsd  %xmm1,0xb0(%rdi)
  movq   $0x0,0x18(%rdi)
  movq   $0x0,0x40(%rdi)
  movq   $0x0,0x68(%rdi)
  movsd  %xmm0,0x90(%rdi)
  movsd  0x18(%rsi),%xmm1
  movsd  %xmm1,0xb8(%rdi)
  movq   $0x0,0x20(%rdi)
  movq   $0x0,0x48(%rdi)
  movq   $0x0,0x70(%rdi)
  movq   $0x0,0x98(%rdi)
  movsd  %xmm0,0xc0(%rdi)
  ret
```

tool_calls: name: read_data
arguments: tag: D6
data_type: byte[8]

tool: {"D6": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

assistant: ```c
void glmGenerateTranslationMatrix5d(double m[25], const double p[4]) {
  m[0] = 1;
  m[5] = 0;
  m[10] = 0;
  m[15] = 0;
  m[20] = p[0];
  m[1] = 0;
  m[6] = 1;
  m[11] = 0;
  m[16] = 0;
  m[21] = p[1];
  m[2] = 0;
  m[7] = 0;
  m[12] = 1;
  m[17] = 0;
  m[22] = p[2];
  m[3] = 0;
  m[8] = 0;
  m[13] = 0;
  m[18] = 1;
  m[23] = p[3];
  m[4] = 0;
  m[9] = 0;
  m[14] = 0;
  m[19] = 0;
  m[24] = 1;
}
```
user: 请将以下的汇编代码转换成C语言代码：

```asm
<glmGenerateTranslationMatrix5d>:
  endbr64
  movsd  D0(%rip),%xmm0
  movq   $0x0,0x28(%rdi)
  movq   $0x0,0x50(%rdi)
  movq   $0x0,0x78(%rdi)
  movsd  %xmm0,(%rdi)
  movsd  (%rsi),%xmm1
  movq   $0x0,0x8(%rdi)
  movq   $0x0,0x58(%rdi)
  movq   $0x0,0x80(%rdi)
  movsd  %xmm1,0xa0(%rdi)
  movsd  %xmm0,0x30(%rdi)
  movsd  0x8(%rsi),%xmm1
  movq   $0x0,0x10(%rdi)
  movq   $0x0,0x38(%rdi)
  movq   $0x0,0x88(%rdi)
  movsd  %xmm1,0xa8(%rdi)
  movsd  %xmm0,0x60(%rdi)
  movsd  0x10(%rsi),%xmm1
  movq   $0x0,0x18(%rdi)
  movq   $0x0,0x40(%rdi)
  movq   $0x0,0x68(%rdi)
  movsd  %xmm1,0xb0(%rdi)
  movsd  %xmm0,0x90(%rdi)
  movsd  0x18(%rsi),%xmm1
  movq   $0x0,0x20(%rdi)
  movq   $0x0,0x48(%rdi)
  movq   $0x0,0x70(%rdi)
  movq   $0x0,0x98(%rdi)
  movsd  %xmm1,0xb8(%rdi)
  movsd  %xmm0,0xc0(%rdi)
  ret
```

tool_calls: name: read_data
arguments: data_tag: D0
type: byte[8]

tool: {"D0": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

assistant: ```c
void glmGenerateTranslationMatrix5d(double m[25], const double p[4]) {
  m[0] = 1;
  m[5] = 0;
  m[10] = 0;
  m[15] = 0;
  m[20] = p[0];
  m[1] = 0;
  m[6] = 1;
  m[11] = 0;
  m[16] = 0;
  m[21] = p[1];
  m[2] = 0;
  m[7] = 0;
  m[12] = 1;
  m[17] = 0;
  m[22] = p[2];
  m[3] = 0;
  m[8] = 0;
  m[13] = 0;
  m[18] = 1;
  m[23] = p[3];
  m[4] = 0;
  m[9] = 0;
  m[14] = 0;
  m[19] = 0;
  m[24] = 1;
}
```
user: 下面的汇编指令对应的C源代码是什么:

```asm
<glmGenerateTranslationMatrix5d>:
  endbr64
  movsd  D1(%rip),%xmm0
  movq   $0x0,0x28(%rdi)
  movq   $0x0,0x50(%rdi)
  movq   $0x0,0x78(%rdi)
  movsd  %xmm0,(%rdi)
  movsd  (%rsi),%xmm1
  movq   $0x0,0x8(%rdi)
  movq   $0x0,0x58(%rdi)
  movq   $0x0,0x80(%rdi)
  movsd  %xmm1,0xa0(%rdi)
  movsd  %xmm0,0x30(%rdi)
  movsd  0x8(%rsi),%xmm1
  movq   $0x0,0x10(%rdi)
  movq   $0x0,0x38(%rdi)
  movq   $0x0,0x88(%rdi)
  movsd  %xmm1,0xa8(%rdi)
  movsd  %xmm0,0x60(%rdi)
  movsd  0x10(%rsi),%xmm1
  movq   $0x0,0x18(%rdi)
  movq   $0x0,0x40(%rdi)
  movq   $0x0,0x68(%rdi)
  movsd  %xmm1,0xb0(%rdi)
  movsd  %xmm0,0x90(%rdi)
  movsd  0x18(%rsi),%xmm1
  movq   $0x0,0x20(%rdi)
  movq   $0x0,0x48(%rdi)
  movq   $0x0,0x70(%rdi)
  movq   $0x0,0x98(%rdi)
  movsd  %xmm1,0xb8(%rdi)
  movsd  %xmm0,0xc0(%rdi)
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D1
data_type: byte[8]

tool: {"D1": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

assistant: ```c
void glmGenerateTranslationMatrix5d(double m[25], const double p[4]) {
  m[0] = 1;
  m[5] = 0;
  m[10] = 0;
  m[15] = 0;
  m[20] = p[0];
  m[1] = 0;
  m[6] = 1;
  m[11] = 0;
  m[16] = 0;
  m[21] = p[1];
  m[2] = 0;
  m[7] = 0;
  m[12] = 1;
  m[17] = 0;
  m[22] = p[2];
  m[3] = 0;
  m[8] = 0;
  m[13] = 0;
  m[18] = 1;
  m[23] = p[3];
  m[4] = 0;
  m[9] = 0;
  m[14] = 0;
  m[19] = 0;
  m[24] = 1;
}
```
user: 这段汇编代码用C语言表示是什么样的?

```asm
<validate_edit_times_errorstr>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %edx,-0x24(%rbp)
  mov    -0x18(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  sub    $0xffffffffffffff80,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  movb   $0x0,(%rax)
  cmpl   $0x5,-0x24(%rbp)
  je     L26
  cmpl   $0x5,-0x24(%rbp)
  jg     L23
  cmpl   $0x4,-0x24(%rbp)
  je     L94
  cmpl   $0x4,-0x24(%rbp)
  jg     L23
  cmpl   $0x1,-0x24(%rbp)
  je     L34
  cmpl   $0x0,-0x24(%rbp)
  jle    L23
  mov    -0x24(%rbp),%eax
  sub    $0x2,%eax
  cmp    $0x1,%eax
  ja     L23
  jmp    L2
L34:
  mov    -0x18(%rbp),%rdx
  mov    -0x8(%rbp),%rax
  lea    D31(%rip),%rcx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L40
L2:
  mov    -0x20(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  mov    -0x8(%rbp),%rax
  lea    D29(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L40
L94:
  mov    -0x20(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  mov    -0x8(%rbp),%rax
  lea    D25(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L40
L26:
  mov    -0x20(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  mov    -0x8(%rbp),%rax
  lea    D38(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L40
L23:
  nop
L40:
  mov    -0x8(%rbp),%rax
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: label: D31
type_guessed: string
name: retrieve_data
arguments: label: D29
type_guessed: string
name: retrieve_data
arguments: label: D25
type_guessed: string
name: retrieve_data
arguments: label: D38
type_guessed: string

tool: D31: file name '%s' invalid

tool: D29: file '%s', bad start time '%s'

tool: D25: file '%s', start time is larger than end time '%s'

tool: D38: file '%s', bad end time '%s'

assistant: ```c
char *validate_edit_times_errorstr(char *filename, char *timespec, int status) {
  char *errstr = malloc(128 + strlen(filename));
  *errstr = '\0';
  switch (status) {
  case 1:
    sprintf(errstr, "file name '%s' invalid", filename);
    break;
  case 2:
  case 3:
    sprintf(errstr, "file '%s', bad start time '%s'", filename, timespec);
    break;
  case 4:
    sprintf(errstr, "file '%s', start time is larger than end time '%s'", filename, timespec);
    break;
  case 5:
    sprintf(errstr, "file '%s', bad end time '%s'", filename, timespec);
    break;
  default:
    break;
  }
  return errstr;
}
```
user: Converte this assembly snippet into its equivalent C code:

```asm
<validate_edit_times_errorstr>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%r12
  mov    %rsi,%r13
  mov    %edx,%ebx
  call   <strlen@plt>
  lea    0x80(%rax),%rdi
  call   <malloc@plt>
  mov    %rax,%rbp
  movb   $0x0,(%rax)
  cmp    $0x4,%ebx
  je     L60
  jg     L59
  cmp    $0x1,%ebx
  je     L54
  sub    $0x2,%ebx
  cmp    $0x1,%ebx
  ja     L7
  mov    %r13,%rcx
  mov    %r12,%rdx
  lea    D8(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
L7:
  mov    %rbp,%rax
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L59:
  cmp    $0x5,%ebx
  jne    L7
  mov    %r13,%rcx
  mov    %r12,%rdx
  lea    D4(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L7
L54:
  mov    %r12,%rdx
  lea    D34(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L7
L60:
  mov    %r13,%rcx
  mov    %r12,%rdx
  lea    D6(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L7
```

tool_calls: name: extract_symbolic_data
arguments: label: D8
type: string
name: extract_symbolic_data
arguments: label: D4
type: string
name: extract_symbolic_data
arguments: label: D34
type: string
name: extract_symbolic_data
arguments: label: D6
type: string

tool: D8: file '%s', bad start time '%s'

tool: D4: file '%s', bad end time '%s'

tool: D34: file name '%s' invalid

tool: D6: file '%s', start time is larger than end time '%s'

assistant: ```c
char *validate_edit_times_errorstr(char *filename, char *timespec, int status) {
  char *errstr = malloc(128 + strlen(filename));
  *errstr = '\0';
  switch (status) {
  case 1:
    sprintf(errstr, "file name '%s' invalid", filename);
    break;
  case 2:
  case 3:
    sprintf(errstr, "file '%s', bad start time '%s'", filename, timespec);
    break;
  case 4:
    sprintf(errstr, "file '%s', start time is larger than end time '%s'", filename, timespec);
    break;
  case 5:
    sprintf(errstr, "file '%s', bad end time '%s'", filename, timespec);
    break;
  default:
    break;
  }
  return errstr;
}
```
user: Translate the below assembly code into C programming language:

```asm
<validate_edit_times_errorstr>:
  endbr64
  push   %r14
  mov    %rsi,%r14
  push   %r13
  mov    %rdi,%r13
  push   %r12
  push   %rbx
  mov    %edx,%ebx
  sub    $0x8,%rsp
  call   <strlen@plt>
  lea    0x80(%rax),%rdi
  call   <malloc@plt>
  movb   $0x0,(%rax)
  mov    %rax,%r12
  cmp    $0x4,%ebx
  je     L11
  jg     L49
  cmp    $0x1,%ebx
  je     L45
  sub    $0x2,%ebx
  cmp    $0x1,%ebx
  ja     L13
  mov    %rax,%rdi
  mov    %r14,%rcx
  mov    %r13,%rdx
  xor    %eax,%eax
  lea    D28(%rip),%rsi
  call   <sprintf@plt>
L13:
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  nopl   0x0(%rax)
L49:
  cmp    $0x5,%ebx
  jne    L13
  mov    %r14,%rcx
  mov    %r13,%rdx
  lea    D16(%rip),%rsi
  mov    %rax,%rdi
  xor    %eax,%eax
  call   <sprintf@plt>
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  nopl   0x0(%rax,%rax,1)
L11:
  mov    %r14,%rcx
  mov    %r13,%rdx
  lea    D30(%rip),%rsi
  mov    %rax,%rdi
  xor    %eax,%eax
  call   <sprintf@plt>
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  cs nopw 0x0(%rax,%rax,1)
L45:
  mov    %r13,%rdx
  mov    %rax,%rdi
  lea    D5(%rip),%rsi
  xor    %eax,%eax
  call   <sprintf@plt>
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D28
type_guessed: string
name: extract_symbolic_data
arguments: tag: D16
type_guessed: string
name: extract_symbolic_data
arguments: tag: D30
type_guessed: string
name: extract_symbolic_data
arguments: tag: D5
type_guessed: string

tool: D28: file '%s', bad start time '%s'

tool: D16: file '%s', bad end time '%s'

tool: D30: file '%s', start time is larger than end time '%s'

tool: D5: file name '%s' invalid

assistant: ```c
char *validate_edit_times_errorstr(char *filename, char *timespec, int status) {
  char *errstr = malloc(128 + strlen(filename));
  *errstr = '\0';
  switch (status) {
  case 1:
    sprintf(errstr, "file name '%s' invalid", filename);
    break;
  case 2:
  case 3:
    sprintf(errstr, "file '%s', bad start time '%s'", filename, timespec);
    break;
  case 4:
    sprintf(errstr, "file '%s', start time is larger than end time '%s'", filename, timespec);
    break;
  case 5:
    sprintf(errstr, "file '%s', bad end time '%s'", filename, timespec);
    break;
  default:
    break;
  }
  return errstr;
}
```
user: Converte this assembly snippet into its equivalent C code:

```asm
<validate_edit_times_errorstr>:
  endbr64
  push   %r14
  mov    %rsi,%r14
  push   %r13
  mov    %rdi,%r13
  push   %r12
  push   %rbx
  mov    %edx,%ebx
  sub    $0x8,%rsp
  call   <strlen@plt>
  lea    0x80(%rax),%rdi
  call   <malloc@plt>
  movb   $0x0,(%rax)
  mov    %rax,%r12
  cmp    $0x4,%ebx
  je     L44
  jg     L46
  cmp    $0x1,%ebx
  je     L30
  sub    $0x2,%ebx
  cmp    $0x1,%ebx
  ja     L34
  mov    %rax,%rdi
  mov    %r14,%rcx
  mov    %r13,%rdx
  xor    %eax,%eax
  lea    D30(%rip),%rsi
  call   <sprintf@plt>
L34:
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  nopl   0x0(%rax)
L46:
  cmp    $0x5,%ebx
  jne    L34
  mov    %r14,%rcx
  mov    %r13,%rdx
  lea    D20(%rip),%rsi
  mov    %rax,%rdi
  xor    %eax,%eax
  call   <sprintf@plt>
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  nopl   0x0(%rax,%rax,1)
L44:
  mov    %r14,%rcx
  mov    %r13,%rdx
  lea    D37(%rip),%rsi
  mov    %rax,%rdi
  xor    %eax,%eax
  call   <sprintf@plt>
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  cs nopw 0x0(%rax,%rax,1)
L30:
  mov    %r13,%rdx
  mov    %rax,%rdi
  lea    D0(%rip),%rsi
  xor    %eax,%eax
  call   <sprintf@plt>
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  ret
```

tool_calls: name: parse_data
arguments: data_tag: D30
type_guessed: string
name: parse_data
arguments: data_tag: D20
type_guessed: string
name: parse_data
arguments: data_tag: D37
type_guessed: string
name: parse_data
arguments: data_tag: D0
type_guessed: string

tool: D30: file '%s', bad start time '%s'

tool: D20: file '%s', bad end time '%s'

tool: D37: file '%s', start time is larger than end time '%s'

tool: D0: file name '%s' invalid

assistant: ```c
char *validate_edit_times_errorstr(char *filename, char *timespec, int status) {
  char *errstr = malloc(128 + strlen(filename));
  *errstr = '\0';
  switch (status) {
  case 1:
    sprintf(errstr, "file name '%s' invalid", filename);
    break;
  case 2:
  case 3:
    sprintf(errstr, "file '%s', bad start time '%s'", filename, timespec);
    break;
  case 4:
    sprintf(errstr, "file '%s', start time is larger than end time '%s'", filename, timespec);
    break;
  case 5:
    sprintf(errstr, "file '%s', bad end time '%s'", filename, timespec);
    break;
  default:
    break;
  }
  return errstr;
}
```
user: What is the c source code of the assembly code below:

```asm
<matprod_trans12>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x8(%rbp)
  mov    %rsi,-0x10(%rbp)
  mov    %rdx,-0x18(%rbp)
  mov    %ecx,-0x1c(%rbp)
  mov    %r8d,-0x20(%rbp)
  mov    %r9d,-0x24(%rbp)
  mov    $0x1,%edi
  call   <assert@plt>
  mov    $0x1,%edi
  call   <assert@plt>
  mov    $0x1,%edi
  call   <assert@plt>
  cmpl   $0x1,-0x20(%rbp)
  jg     L97
  cmpl   $0x1,-0x20(%rbp)
  jne    L1
  mov    -0x24(%rbp),%edi
  mov    -0x1c(%rbp),%ecx
  mov    -0x18(%rbp),%rdx
  mov    -0x10(%rbp),%rsi
  mov    -0x8(%rbp),%rax
  mov    %edi,%r8d
  mov    %rax,%rdi
  call   <matprod_outer@plt>
  jmp    L21
L1:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x24(%rbp),%eax
  cltq
  imul   %rax,%rdx
  mov    -0x18(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <set_to_zeros@plt>
  jmp    L21
L97:
  cmpl   $0x1,-0x1c(%rbp)
  jg     L94
  cmpl   $0x1,-0x1c(%rbp)
  jne    L27
  mov    -0x20(%rbp),%edi
  mov    -0x24(%rbp),%ecx
  mov    -0x18(%rbp),%rdx
  mov    -0x8(%rbp),%rsi
  mov    -0x10(%rbp),%rax
  mov    %edi,%r8d
  mov    %rax,%rdi
  call   <matprod_mat_vec@plt>
  jmp    L27
L94:
  cmpl   $0x1,-0x24(%rbp)
  jg     L48
  cmpl   $0x1,-0x24(%rbp)
  jne    L62
  mov    -0x1c(%rbp),%edi
  mov    -0x20(%rbp),%ecx
  mov    -0x18(%rbp),%rdx
  mov    -0x8(%rbp),%rsi
  mov    -0x10(%rbp),%rax
  mov    %edi,%r8d
  mov    %rax,%rdi
  call   <matprod_vec_mat@plt>
  jmp    L62
L48:
  mov    -0x24(%rbp),%r9d
  mov    -0x20(%rbp),%r8d
  mov    -0x1c(%rbp),%ecx
  mov    -0x18(%rbp),%rdx
  mov    -0x10(%rbp),%rsi
  mov    -0x8(%rbp),%rax
  sub    $0x8,%rsp
  mov    -0x24(%rbp),%edi
  push   %rdi
  mov    %rax,%rdi
  call   <matprod_trans12_sub@plt>
  add    $0x10,%rsp
  jmp    L21
L27:
  nop
  jmp    L21
L62:
  nop
L21:
  leave
  ret
```

assistant: ```c
void matprod_trans12(double *restrict x, double *restrict y, double *restrict z, int n, int k, int m) {
  assert(((uintptr_t)(x) & (1 - 1)) == 0);
  assert(((uintptr_t)(y) & (1 - 1)) == 0);
  assert(((uintptr_t)(z) & (1 - 1)) == 0);
  x = (x);
  y = (y);
  z = (z);
  if (k <= 1) {
    if (k == 1) {
      matprod_outer(x, y, z, n, m);
    } else {
      set_to_zeros(z, (size_t)n * m);
    }
    return;
  }
  if (n <= 1) {
    if (n == 1) {
      matprod_mat_vec(y, x, z, m, k);
    }
    return;
  }
  if (m <= 1) {
    if (m == 1) {
      matprod_vec_mat(y, x, z, k, n);
    }
    return;
  }
  matprod_trans12_sub(x, y, z, n, k, m, m);
}
```
user: 这段汇编代码用C语言表示是什么样的?

```asm
<matprod_trans12>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%r14
  mov    %rsi,%r15
  mov    %rdx,%r13
  mov    %ecx,%ebx
  mov    %r8d,%r12d
  mov    %r9d,%ebp
  mov    $0x1,%edi
  call   <assert@plt>
  mov    $0x1,%edi
  call   <assert@plt>
  mov    $0x1,%edi
  call   <assert@plt>
  cmp    $0x1,%r12d
  jle    L40
  cmp    $0x1,%ebx
  jle    L63
  cmp    $0x1,%ebp
  jle    L85
  sub    $0x8,%rsp
  push   %rbp
  mov    %ebp,%r9d
  mov    %r12d,%r8d
  mov    %ebx,%ecx
  mov    %r13,%rdx
  mov    %r15,%rsi
  mov    %r14,%rdi
  call   <matprod_trans12_sub@plt>
  add    $0x10,%rsp
L86:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L40:
  je     L93
  movslq %ebx,%rsi
  movslq %ebp,%rbp
  imul   %rbp,%rsi
  mov    %r13,%rdi
  call   <set_to_zeros@plt>
  jmp    L86
L93:
  mov    %ebp,%r8d
  mov    %ebx,%ecx
  mov    %r13,%rdx
  mov    %r15,%rsi
  mov    %r14,%rdi
  call   <matprod_outer@plt>
  jmp    L86
L63:
  jne    L86
  mov    %r12d,%r8d
  mov    %ebp,%ecx
  mov    %r13,%rdx
  mov    %r14,%rsi
  mov    %r15,%rdi
  call   <matprod_mat_vec@plt>
  jmp    L86
L85:
  jne    L86
  mov    %ebx,%r8d
  mov    %r12d,%ecx
  mov    %r13,%rdx
  mov    %r14,%rsi
  mov    %r15,%rdi
  call   <matprod_vec_mat@plt>
  jmp    L86
```

assistant: ```c
void matprod_trans12(double *restrict x, double *restrict y, double *restrict z, int n, int k, int m) {
  assert(((uintptr_t)(x) & (1 - 1)) == 0);
  assert(((uintptr_t)(y) & (1 - 1)) == 0);
  assert(((uintptr_t)(z) & (1 - 1)) == 0);
  x = (x);
  y = (y);
  z = (z);
  if (k <= 1) {
    if (k == 1) {
      matprod_outer(x, y, z, n, m);
    } else {
      set_to_zeros(z, (size_t)n * m);
    }
    return;
  }
  if (n <= 1) {
    if (n == 1) {
      matprod_mat_vec(y, x, z, m, k);
    }
    return;
  }
  if (m <= 1) {
    if (m == 1) {
      matprod_vec_mat(y, x, z, k, n);
    }
    return;
  }
  matprod_trans12_sub(x, y, z, n, k, m, m);
}
```
user: 下面的汇编指令对应的C源代码是什么:

```asm
<matprod_trans12>:
  endbr64
  push   %r15
  mov    %rdx,%r15
  push   %r14
  mov    %rsi,%r14
  push   %r13
  movslq %r9d,%r13
  push   %r12
  mov    %ecx,%r12d
  push   %rbp
  mov    %rdi,%rbp
  mov    $0x1,%edi
  push   %rbx
  mov    %r8d,%ebx
  sub    $0x8,%rsp
  call   <assert@plt>
  mov    $0x1,%edi
  call   <assert@plt>
  mov    $0x1,%edi
  call   <assert@plt>
  cmp    $0x1,%ebx
  jle    L35
  cmp    $0x1,%r12d
  jle    L51
  cmp    $0x1,%r13d
  jle    L0
  sub    $0x8,%rsp
  mov    %r15,%rdx
  mov    %r13d,%r9d
  mov    %ebx,%r8d
  push   %r13
  mov    %r12d,%ecx
  mov    %r14,%rsi
  mov    %rbp,%rdi
  call   <matprod_trans12_sub@plt>
  pop    %rax
  pop    %rdx
L31:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L0:
  jne    L31
  add    $0x8,%rsp
  mov    %r12d,%r8d
  mov    %ebx,%ecx
  mov    %r15,%rdx
  pop    %rbx
  mov    %rbp,%rsi
  mov    %r14,%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10d0 <matprod_vec_mat@plt>
  nopl   0x0(%rax,%rax,1)
L35:
  je     L8
  movslq %r12d,%rsi
  add    $0x8,%rsp
  mov    %r15,%rdi
  imul   %r13,%rsi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10a0 <set_to_zeros@plt>
  nop
L8:
  add    $0x8,%rsp
  mov    %r13d,%r8d
  mov    %r12d,%ecx
  mov    %r15,%rdx
  pop    %rbx
  mov    %r14,%rsi
  mov    %rbp,%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10e0 <matprod_outer@plt>
  nopw   0x0(%rax,%rax,1)
L51:
  jne    L31
  add    $0x8,%rsp
  mov    %ebx,%r8d
  mov    %r13d,%ecx
  mov    %r15,%rdx
  pop    %rbx
  mov    %rbp,%rsi
  mov    %r14,%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10b0 <matprod_mat_vec@plt>
```

assistant: ```c
void matprod_trans12(double *restrict x, double *restrict y, double *restrict z, int n, int k, int m) {
  assert(((uintptr_t)(x) & (1 - 1)) == 0);
  assert(((uintptr_t)(y) & (1 - 1)) == 0);
  assert(((uintptr_t)(z) & (1 - 1)) == 0);
  x = (x);
  y = (y);
  z = (z);
  if (k <= 1) {
    if (k == 1) {
      matprod_outer(x, y, z, n, m);
    } else {
      set_to_zeros(z, (size_t)n * m);
    }
    return;
  }
  if (n <= 1) {
    if (n == 1) {
      matprod_mat_vec(y, x, z, m, k);
    }
    return;
  }
  if (m <= 1) {
    if (m == 1) {
      matprod_vec_mat(y, x, z, k, n);
    }
    return;
  }
  matprod_trans12_sub(x, y, z, n, k, m, m);
}
```