ylfeng/ReF-Decompile-dataset huggingface dataset:
user: 这段汇编代码用C语言表示是什么样的:

```asm
<fget_ignore_newline>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  movl   $0x0,-0x4(%rbp)
  jmp    L39
L16:
  mov    -0x4(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0xa,%al
  jne    L8
  mov    -0x4(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movb   $0x0,(%rax)
  jmp    L33
L8:
  addl   $0x1,-0x4(%rbp)
L39:
  mov    -0x4(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L16
  nop
L33:
  nop
  pop    %rbp
  ret
```

assistant: ```c
extern void fget_ignore_newline(char *arr_no_newline) {
  int i = 0;
  while (arr_no_newline[i] != '\0') {
    if (arr_no_newline[i] == '\n') {
      arr_no_newline[i] = '\0';
      break;
    }
    i++;
  }
}
```
user: 请从给定的汇编指令推导出C源代码:

```asm
<fget_ignore_newline>:
  endbr64
  movzbl (%rdi),%eax
  test   %al,%al
  je     L5
L14:
  cmp    $0xa,%al
  je     L20
  add    $0x1,%rdi
  movzbl (%rdi),%eax
  test   %al,%al
  jne    L14
L5:
  ret
L20:
  movb   $0x0,(%rdi)
  ret
```

assistant: ```c
extern void fget_ignore_newline(char *arr_no_newline) {
  int i = 0;
  while (arr_no_newline[i] != '\0') {
    if (arr_no_newline[i] == '\n') {
      arr_no_newline[i] = '\0';
      break;
    }
    i++;
  }
}
```
user: 提供的汇编代码用C语言表示会是什么样子：

```asm
<fget_ignore_newline>:
  endbr64
  jmp    L22
  cs nopw 0x0(%rax,%rax,1)
L15:
  cmp    $0xa,%al
  je     L16
  add    $0x1,%rdi
L22:
  movzbl (%rdi),%eax
  test   %al,%al
  jne    L15
  ret
L16:
  movb   $0x0,(%rdi)
  ret
```

assistant: ```c
extern void fget_ignore_newline(char *arr_no_newline) {
  int i = 0;
  while (arr_no_newline[i] != '\0') {
    if (arr_no_newline[i] == '\n') {
      arr_no_newline[i] = '\0';
      break;
    }
    i++;
  }
}
```
user: Converte this assembly snippet into its equivalent C code:

```asm
<fget_ignore_newline>:
  endbr64
  jmp    L20
  cs nopw 0x0(%rax,%rax,1)
L15:
  cmp    $0xa,%al
  je     L5
  add    $0x1,%rdi
L20:
  movzbl (%rdi),%eax
  test   %al,%al
  jne    L15
  ret
L5:
  movb   $0x0,(%rdi)
  ret
```

assistant: ```c
extern void fget_ignore_newline(char *arr_no_newline) {
  int i = 0;
  while (arr_no_newline[i] != '\0') {
    if (arr_no_newline[i] == '\n') {
      arr_no_newline[i] = '\0';
      break;
    }
    i++;
  }
}
```
user: Converte this assembly snippet into its equivalent C code:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %edi,-0x24(%rbp)
  mov    %rsi,-0x30(%rbp)
  movl   $0x0,-0x14(%rbp)
  cmpl   $0x2,-0x24(%rbp)
  jle    L0
  mov    -0x30(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  mov    %rax,%rdi
  call   <atoi@plt>
  mov    %eax,%ebx
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  mov    %rax,%rdi
  call   <atoi@plt>
  mov    %ebx,%esi
  mov    %eax,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
  jmp    L19
L0:
  mov    $0x1,%esi
  mov    $0x2710,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
  mov    $0x2,%esi
  mov    $0x30d40,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
  mov    $0x3,%esi
  mov    $0x1e8480,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
  mov    $0x4,%esi
  mov    $0x208956,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
  mov    $0x7,%esi
  mov    $0x125a2a,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
  mov    $0x8,%esi
  mov    $0x1213c6,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
  mov    $0xc,%esi
  mov    $0x42946,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
  mov    $0x20,%esi
  mov    $0x375a,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
  mov    $0x140,%esi
  mov    $0x104a,%edi
  call   <test@plt>
  or     %eax,-0x14(%rbp)
L19:
  mov    -0x14(%rbp),%eax
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
int main(int argc, char **argv) {
  int ret = 0;
  if (argc >= 3)
    ret |= test(atoi(argv[1]), atoi(argv[2]));
  else {
    ret |= test(10000, 1);
    ret |= test(200000, 2);
    ret |= test(2000000, 3);
    ret |= test(2132310, 4);
    ret |= test(1202730, 7);
    ret |= test(1184710, 8);
    ret |= test(272710, 12);
    ret |= test(14170, 32);
    ret |= test(4170, 320);
  }
  return ret;
}
```
user: Translate the below assembly code into C programming language:

```asm
<main>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  cmp    $0x2,%edi
  jle    L16
  mov    %rsi,%rbx
  mov    0x10(%rsi),%rdi
  call   <atoi@plt>
  mov    %eax,%ebp
  mov    0x8(%rbx),%rdi
  call   <atoi@plt>
  mov    %eax,%edi
  mov    %ebp,%esi
  call   <test@plt>
L14:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  ret
L16:
  mov    $0x1,%esi
  mov    $0x2710,%edi
  call   <test@plt>
  mov    %eax,%ebx
  mov    $0x2,%esi
  mov    $0x30d40,%edi
  call   <test@plt>
  or     %eax,%ebx
  mov    $0x3,%esi
  mov    $0x1e8480,%edi
  call   <test@plt>
  or     %eax,%ebx
  mov    $0x4,%esi
  mov    $0x208956,%edi
  call   <test@plt>
  or     %eax,%ebx
  mov    $0x7,%esi
  mov    $0x125a2a,%edi
  call   <test@plt>
  or     %eax,%ebx
  mov    $0x8,%esi
  mov    $0x1213c6,%edi
  call   <test@plt>
  or     %eax,%ebx
  mov    $0xc,%esi
  mov    $0x42946,%edi
  call   <test@plt>
  or     %eax,%ebx
  mov    $0x20,%esi
  mov    $0x375a,%edi
  call   <test@plt>
  or     %eax,%ebx
  mov    $0x140,%esi
  mov    $0x104a,%edi
  call   <test@plt>
  or     %ebx,%eax
  jmp    L14
```

assistant: ```c
int main(int argc, char **argv) {
  int ret = 0;
  if (argc >= 3)
    ret |= test(atoi(argv[1]), atoi(argv[2]));
  else {
    ret |= test(10000, 1);
    ret |= test(200000, 2);
    ret |= test(2000000, 3);
    ret |= test(2132310, 4);
    ret |= test(1202730, 7);
    ret |= test(1184710, 8);
    ret |= test(272710, 12);
    ret |= test(14170, 32);
    ret |= test(4170, 320);
  }
  return ret;
}
```
user: Demonstrate the C code that generates the assembly output below:

```asm
<main>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  cmp    $0x2,%edi
  jle    L5
  mov    0x10(%rsi),%rdi
  mov    %rsi,%rbx
  call   <atoi@plt>
  mov    0x8(%rbx),%rdi
  mov    %eax,%ebp
  call   <atoi@plt>
  pop    %rcx
  mov    %ebp,%esi
  pop    %rbx
  mov    %eax,%edi
  pop    %rbp
  jmp    1070 <test@plt>
L5:
  mov    $0x1,%esi
  mov    $0x2710,%edi
  call   <test@plt>
  mov    $0x2,%esi
  mov    $0x30d40,%edi
  mov    %eax,%ebx
  call   <test@plt>
  mov    $0x3,%esi
  mov    $0x1e8480,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x4,%esi
  mov    $0x208956,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x7,%esi
  mov    $0x125a2a,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x8,%esi
  mov    $0x1213c6,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0xc,%esi
  mov    $0x42946,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x20,%esi
  mov    $0x375a,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x140,%esi
  mov    $0x104a,%edi
  or     %eax,%ebx
  call   <test@plt>
  pop    %rdx
  or     %ebx,%eax
  pop    %rbx
  pop    %rbp
  ret
```

assistant: ```c
int main(int argc, char **argv) {
  int ret = 0;
  if (argc >= 3)
    ret |= test(atoi(argv[1]), atoi(argv[2]));
  else {
    ret |= test(10000, 1);
    ret |= test(200000, 2);
    ret |= test(2000000, 3);
    ret |= test(2132310, 4);
    ret |= test(1202730, 7);
    ret |= test(1184710, 8);
    ret |= test(272710, 12);
    ret |= test(14170, 32);
    ret |= test(4170, 320);
  }
  return ret;
}
```
user: 请从给定的汇编指令推导出C源代码：

```asm
<main>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  cmp    $0x2,%edi
  jle    L3
  mov    0x10(%rsi),%rdi
  mov    %rsi,%rbx
  call   <atoi@plt>
  mov    0x8(%rbx),%rdi
  mov    %eax,%ebp
  call   <atoi@plt>
  pop    %rcx
  mov    %ebp,%esi
  pop    %rbx
  mov    %eax,%edi
  pop    %rbp
  jmp    1070 <test@plt>
L3:
  mov    $0x1,%esi
  mov    $0x2710,%edi
  call   <test@plt>
  mov    $0x2,%esi
  mov    $0x30d40,%edi
  mov    %eax,%ebx
  call   <test@plt>
  mov    $0x3,%esi
  mov    $0x1e8480,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x4,%esi
  mov    $0x208956,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x7,%esi
  mov    $0x125a2a,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x8,%esi
  mov    $0x1213c6,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0xc,%esi
  mov    $0x42946,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x20,%esi
  mov    $0x375a,%edi
  or     %eax,%ebx
  call   <test@plt>
  mov    $0x140,%esi
  mov    $0x104a,%edi
  or     %eax,%ebx
  call   <test@plt>
  pop    %rdx
  or     %ebx,%eax
  pop    %rbx
  pop    %rbp
  ret
```

assistant: ```c
int main(int argc, char **argv) {
  int ret = 0;
  if (argc >= 3)
    ret |= test(atoi(argv[1]), atoi(argv[2]));
  else {
    ret |= test(10000, 1);
    ret |= test(200000, 2);
    ret |= test(2000000, 3);
    ret |= test(2132310, 4);
    ret |= test(1202730, 7);
    ret |= test(1184710, 8);
    ret |= test(272710, 12);
    ret |= test(14170, 32);
    ret |= test(4170, 320);
  }
  return ret;
}
```
user: Converte this assembly snippet into its equivalent C code:

```asm
<ux00ddr_writeregmap>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %rdx,-0x38(%rbp)
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x2000,%rax
  mov    %rax,-0x8(%rbp)
  movl   $0x0,-0x18(%rbp)
  jmp    L7
L16:
  mov    -0x18(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x18(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x10(%rbp),%rax
  add    %rax,%rdx
  mov    -0x14(%rbp),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x18(%rbp)
L7:
  cmpl   $0x108,-0x18(%rbp)
  jbe    L16
  mov    -0x38(%rbp),%rdx
  mov    -0x8(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <phy_reset@plt>
  nop
  leave
  ret
```

assistant: ```c
void ux00ddr_writeregmap(size_t ahbregaddr, const uint32_t *ctlsettings, const uint32_t *physettings) {
  volatile uint32_t *ddrctlreg = (volatile uint32_t *)ahbregaddr;
  volatile uint32_t *ddrphyreg = ((volatile uint32_t *)ahbregaddr) + (0x2000 / sizeof(uint32_t));
  unsigned int i;
  for (i = 0; i <= 264; i++) {
    uint32_t ctlset = ctlsettings[i];
    ddrctlreg[i] = ctlset;
  }
  phy_reset(ddrphyreg, physettings);
}
```
user: Please show me the C implementation that matches the assembly code listed below:

```asm
<ux00ddr_writeregmap>:
  endbr64
  sub    $0x8,%rsp
  lea    0x2000(%rdi),%r9
  lea    0x424(%rdi),%r8
  mov    %rdi,%rax
  sub    %rdi,%rsi
L9:
  mov    (%rsi,%rax,1),%ecx
  mov    %ecx,(%rax)
  add    $0x4,%rax
  cmp    %r8,%rax
  jne    L9
  mov    %rdx,%rsi
  mov    %r9,%rdi
  call   <phy_reset@plt>
  add    $0x8,%rsp
  ret
```

assistant: ```c
void ux00ddr_writeregmap(size_t ahbregaddr, const uint32_t *ctlsettings, const uint32_t *physettings) {
  volatile uint32_t *ddrctlreg = (volatile uint32_t *)ahbregaddr;
  volatile uint32_t *ddrphyreg = ((volatile uint32_t *)ahbregaddr) + (0x2000 / sizeof(uint32_t));
  unsigned int i;
  for (i = 0; i <= 264; i++) {
    uint32_t ctlset = ctlsettings[i];
    ddrctlreg[i] = ctlset;
  }
  phy_reset(ddrphyreg, physettings);
}
```
user: 这段汇编代码用C语言表示是什么样的？

```asm
<ux00ddr_writeregmap>:
  endbr64
  mov    %rdx,%r8
  lea    0x2000(%rdi),%r9
  lea    0x424(%rdi),%rcx
  sub    %rdi,%rsi
  nopl   0x0(%rax,%rax,1)
L5:
  mov    (%rsi,%rdi,1),%eax
  add    $0x4,%rdi
  mov    %eax,-0x4(%rdi)
  cmp    %rcx,%rdi
  jne    L5
  mov    %r8,%rsi
  mov    %r9,%rdi
  jmp    1050 <phy_reset@plt>
```

assistant: ```c
void ux00ddr_writeregmap(size_t ahbregaddr, const uint32_t *ctlsettings, const uint32_t *physettings) {
  volatile uint32_t *ddrctlreg = (volatile uint32_t *)ahbregaddr;
  volatile uint32_t *ddrphyreg = ((volatile uint32_t *)ahbregaddr) + (0x2000 / sizeof(uint32_t));
  unsigned int i;
  for (i = 0; i <= 264; i++) {
    uint32_t ctlset = ctlsettings[i];
    ddrctlreg[i] = ctlset;
  }
  phy_reset(ddrphyreg, physettings);
}
```
user: 请将这段汇编代码片段转换成等效的C代码:

```asm
<ux00ddr_writeregmap>:
  endbr64
  mov    %rdx,%r8
  lea    0x2000(%rdi),%r9
  lea    0x424(%rdi),%rcx
  sub    %rdi,%rsi
  nopl   0x0(%rax,%rax,1)
L0:
  mov    (%rsi,%rdi,1),%eax
  add    $0x4,%rdi
  mov    %eax,-0x4(%rdi)
  cmp    %rcx,%rdi
  jne    L0
  mov    %r8,%rsi
  mov    %r9,%rdi
  jmp    1050 <phy_reset@plt>
```

assistant: ```c
void ux00ddr_writeregmap(size_t ahbregaddr, const uint32_t *ctlsettings, const uint32_t *physettings) {
  volatile uint32_t *ddrctlreg = (volatile uint32_t *)ahbregaddr;
  volatile uint32_t *ddrphyreg = ((volatile uint32_t *)ahbregaddr) + (0x2000 / sizeof(uint32_t));
  unsigned int i;
  for (i = 0; i <= 264; i++) {
    uint32_t ctlset = ctlsettings[i];
    ddrctlreg[i] = ctlset;
  }
  phy_reset(ddrphyreg, physettings);
}
```
user: Converte this assembly snippet into its equivalent C code:

```asm
<EQUALS>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %rdx,-0x28(%rbp)
  movq   $0x0,-0x8(%rbp)
  jmp    L31
L33:
  mov    -0x18(%rbp),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%edx
  mov    -0x20(%rbp),%rcx
  mov    -0x8(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  cmp    %eax,%edx
  je     L23
  mov    $0x0,%eax
  jmp    L54
L23:
  addq   $0x1,-0x8(%rbp)
L31:
  mov    -0x8(%rbp),%rax
  cmp    -0x28(%rbp),%rax
  jb     L33
  mov    -0x18(%rbp),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L27
  mov    $0x0,%eax
  jmp    L54
L27:
  mov    $0x1,%eax
L54:
  pop    %rbp
  ret
```

assistant: ```c
int EQUALS(const char *str, const unsigned char *value, size_t value_length) {
  size_t i;
  for (i = 0; i < value_length; i++) {
    if (str[i] != value[i])
      return 0;
  }
  if (str[i] != '\0')
    return 0;
  return 1;
}
```
user: Please show me the C implementation that matches the assembly code listed below:

```asm
<EQUALS>:
  endbr64
  test   %rdx,%rdx
  je     L21
  mov    $0x0,%eax
L22:
  movsbl (%rdi,%rax,1),%r8d
  movzbl (%rsi,%rax,1),%ecx
  cmp    %ecx,%r8d
  jne    L24
  add    $0x1,%rax
  cmp    %rax,%rdx
  jne    L22
L21:
  cmpb   $0x0,(%rdi,%rdx,1)
  sete   %al
  movzbl %al,%eax
  ret
L24:
  mov    $0x0,%eax
  ret
```

assistant: ```c
int EQUALS(const char *str, const unsigned char *value, size_t value_length) {
  size_t i;
  for (i = 0; i < value_length; i++) {
    if (str[i] != value[i])
      return 0;
  }
  if (str[i] != '\0')
    return 0;
  return 1;
}
```
user: What would the C source look like for the assembly code provided here:

```asm
<EQUALS>:
  endbr64
  test   %rdx,%rdx
  je     L18
  xor    %eax,%eax
  jmp    L34
  nopl   (%rax)
L20:
  add    $0x1,%rax
  cmp    %rax,%rdx
  je     L19
L34:
  movsbl (%rdi,%rax,1),%r8d
  movzbl (%rsi,%rax,1),%ecx
  cmp    %ecx,%r8d
  je     L20
  xor    %eax,%eax
  ret
  nopw   0x0(%rax,%rax,1)
L19:
  add    %rdx,%rdi
L18:
  xor    %eax,%eax
  cmpb   $0x0,(%rdi)
  sete   %al
  ret
```

assistant: ```c
int EQUALS(const char *str, const unsigned char *value, size_t value_length) {
  size_t i;
  for (i = 0; i < value_length; i++) {
    if (str[i] != value[i])
      return 0;
  }
  if (str[i] != '\0')
    return 0;
  return 1;
}
```
user: 下面的汇编指令对应的C源代码是什么:

```asm
<EQUALS>:
  endbr64
  test   %rdx,%rdx
  je     L29
  xor    %eax,%eax
  jmp    L16
  nopl   (%rax)
L23:
  add    $0x1,%rax
  cmp    %rax,%rdx
  je     L5
L16:
  movsbl (%rdi,%rax,1),%r8d
  movzbl (%rsi,%rax,1),%ecx
  cmp    %ecx,%r8d
  je     L23
  xor    %eax,%eax
  ret
  nopw   0x0(%rax,%rax,1)
L5:
  add    %rdx,%rdi
L29:
  xor    %eax,%eax
  cmpb   $0x0,(%rdi)
  sete   %al
  ret
```

assistant: ```c
int EQUALS(const char *str, const unsigned char *value, size_t value_length) {
  size_t i;
  for (i = 0; i < value_length; i++) {
    if (str[i] != value[i])
      return 0;
  }
  if (str[i] != '\0')
    return 0;
  return 1;
}
```
user: 下面的汇编指令对应的C源代码是什么:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movabs $0x4f6f496945654161,%rax
  mov    %rax,-0x13(%rbp)
  movw   $0x5575,-0xb(%rbp)
  movb   $0x0,-0x9(%rbp)
  movl   $0x0,-0x2c(%rbp)
  jmp    L30
L136:
  mov    $0x0,%eax
  call   <nondet_char@plt>
  mov    -0x2c(%rbp),%edx
  mov    %al,-0x18(%rbp,%rdx,1)
  addl   $0x1,-0x2c(%rbp)
L30:
  cmpl   $0x4,-0x2c(%rbp)
  jbe    L136
  movzbl -0x14(%rbp),%eax
  test   %al,%al
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <__ESBMC_assume@plt>
  movl   $0x0,-0x20(%rbp)
  jmp    L8
L86:
  addl   $0x1,-0x20(%rbp)
L8:
  mov    -0x20(%rbp),%eax
  movzbl -0x18(%rbp,%rax,1),%eax
  test   %al,%al
  jne    L86
  movl   $0x0,-0x24(%rbp)
  movl   $0x0,-0x2c(%rbp)
  jmp    L12
L113:
  movl   $0x0,-0x28(%rbp)
  jmp    L5
L103:
  mov    -0x2c(%rbp),%eax
  movzbl -0x18(%rbp,%rax,1),%edx
  mov    -0x28(%rbp),%eax
  movzbl -0x13(%rbp,%rax,1),%eax
  cmp    %al,%dl
  jne    L58
  addl   $0x1,-0x24(%rbp)
L58:
  addl   $0x1,-0x28(%rbp)
L5:
  cmpl   $0x1,-0x28(%rbp)
  jbe    L103
  addl   $0x1,-0x2c(%rbp)
L12:
  mov    -0x2c(%rbp),%eax
  cmp    -0x20(%rbp),%eax
  jb     L113
  movl   $0x0,-0x2c(%rbp)
  movl   $0x0,-0x1c(%rbp)
  jmp    L142
L145:
  movl   $0x0,-0x28(%rbp)
  jmp    L119
L102:
  mov    -0x2c(%rbp),%eax
  movzbl -0x18(%rbp,%rax,1),%edx
  mov    -0x28(%rbp),%eax
  movzbl -0x13(%rbp,%rax,1),%eax
  cmp    %al,%dl
  jne    L34
  addl   $0x1,-0x1c(%rbp)
L34:
  addl   $0x1,-0x28(%rbp)
L119:
  cmpl   $0x1,-0x28(%rbp)
  jbe    L102
  addl   $0x1,-0x2c(%rbp)
L142:
  mov    -0x2c(%rbp),%eax
  movzbl -0x18(%rbp,%rax,1),%eax
  test   %al,%al
  jne    L145
  mov    -0x1c(%rbp),%eax
  cmp    %eax,-0x24(%rbp)
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L131
  call   <__stack_chk_fail@plt>
L131:
  leave
  ret
```

assistant: ```c
main(void) {
  char string_entrada[5], vetor_vogais[] = {'a', 'A', 'e', 'E', 'i', 'I', 'o', 'O', 'u', 'U', '\0'};
  ;
  unsigned int i, j, cont, tam_string, n_caracter;
  for (i = 0; i < 5; i++)
    string_entrada[i] = nondet_char();
  __ESBMC_assume(string_entrada[5 - 1] == '\0');
  n_caracter = 0;
  while (string_entrada[n_caracter] != '\0')
    n_caracter++;
  cont = 0;
  for (i = 0; i < n_caracter; i++)
    for (j = 0; j < 5 / 2; j++)
      if (string_entrada[i] == vetor_vogais[j])
        cont++;
  i = 0;
  int cont_aux = 0;
  while (string_entrada[i] != '\0') {
    for (j = 0; j < 5 / 2; j++) {
      if (string_entrada[i] == vetor_vogais[j])
        cont_aux++;
    }
    i++;
  }
  assert(cont_aux == cont);
}
```
user: What is the c source code of the assembly code below?

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x20,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  movabs $0x4f6f496945654161,%rax
  mov    %rax,0xd(%rsp)
  movw   $0x5575,0x15(%rsp)
  movb   $0x0,0x17(%rsp)
  lea    0x8(%rsp),%rbp
  lea    0xd(%rsp),%r12
  mov    %rbp,%rbx
L35:
  mov    $0x0,%eax
  call   <nondet_char@plt>
  mov    %al,(%rbx)
  add    $0x1,%rbx
  cmp    %rbx,%r12
  jne    L35
  cmpb   $0x0,0xc(%rsp)
  sete   %dil
  movzbl %dil,%edi
  call   <__ESBMC_assume@plt>
  movzbl 0x8(%rsp),%ecx
  test   %cl,%cl
  je     L12
  mov    $0x1,%edx
  lea    0x7(%rsp),%rsi
L54:
  mov    %edx,%eax
  add    $0x1,%rdx
  cmpb   $0x0,(%rsi,%rdx,1)
  jne    L54
  test   %eax,%eax
  je     L13
  lea    -0x1(%rax),%eax
  lea    0x1(%rbp,%rax,1),%r10
  movzbl 0xd(%rsp),%r9d
  movzbl 0xe(%rsp),%r8d
  mov    %rbp,%rdx
  mov    $0x0,%eax
L23:
  movzbl (%rdx),%esi
  cmp    %r9b,%sil
  sete   %dil
  movzbl %dil,%edi
  add    %edi,%eax
  cmp    %r8b,%sil
  sete   %sil
  movzbl %sil,%esi
  add    %esi,%eax
  add    $0x1,%rdx
  cmp    %rdx,%r10
  jne    L23
L13:
  movzbl 0xd(%rsp),%r8d
  movzbl 0xe(%rsp),%edi
  mov    $0x0,%edx
L6:
  cmp    %cl,%r8b
  sete   %sil
  movzbl %sil,%esi
  add    %esi,%edx
  cmp    %cl,%dil
  sete   %cl
  movzbl %cl,%ecx
  add    %ecx,%edx
  add    $0x1,%rbp
  movzbl 0x0(%rbp),%ecx
  test   %cl,%cl
  jne    L6
L51:
  cmp    %eax,%edx
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L8
  mov    $0x0,%eax
  add    $0x20,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L12:
  mov    $0x0,%eax
  mov    $0x0,%edx
  jmp    L51
L8:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
main(void) {
  char string_entrada[5], vetor_vogais[] = {'a', 'A', 'e', 'E', 'i', 'I', 'o', 'O', 'u', 'U', '\0'};
  ;
  unsigned int i, j, cont, tam_string, n_caracter;
  for (i = 0; i < 5; i++)
    string_entrada[i] = nondet_char();
  __ESBMC_assume(string_entrada[5 - 1] == '\0');
  n_caracter = 0;
  while (string_entrada[n_caracter] != '\0')
    n_caracter++;
  cont = 0;
  for (i = 0; i < n_caracter; i++)
    for (j = 0; j < 5 / 2; j++)
      if (string_entrada[i] == vetor_vogais[j])
        cont++;
  i = 0;
  int cont_aux = 0;
  while (string_entrada[i] != '\0') {
    for (j = 0; j < 5 / 2; j++) {
      if (string_entrada[i] == vetor_vogais[j])
        cont_aux++;
    }
    i++;
  }
  assert(cont_aux == cont);
}
```
user: Please show me the C implementation that matches the assembly code listed below:

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x10,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x8(%rsp)
  xor    %eax,%eax
  lea    0x3(%rsp),%rbp
  lea    0x8(%rsp),%r12
  mov    %rbp,%rbx
L115:
  xor    %eax,%eax
  add    $0x1,%rbx
  call   <nondet_char@plt>
  mov    %al,-0x1(%rbx)
  cmp    %r12,%rbx
  jne    L115
  xor    %edi,%edi
  cmpb   $0x0,0x7(%rsp)
  sete   %dil
  call   <__ESBMC_assume@plt>
  movzbl 0x3(%rsp),%eax
  test   %al,%al
  je     L110
  mov    $0x1,%edx
  lea    0x2(%rsp),%rsi
L29:
  mov    %edx,%ecx
  add    $0x1,%rdx
  cmpb   $0x0,(%rsi,%rdx,1)
  jne    L29
  lea    -0x1(%rcx),%edi
  mov    %eax,%ecx
  mov    %rbp,%rdx
  xor    %esi,%esi
  add    %rbp,%rdi
  cmp    $0x61,%cl
  je     L90
L73:
  cmp    $0x41,%cl
  sete   %cl
  movzbl %cl,%ecx
  add    %ecx,%esi
  cmp    %rdx,%rdi
  je     L42
L36:
  movzbl 0x1(%rdx),%ecx
  add    $0x1,%rdx
  cmp    $0x61,%cl
  jne    L73
L90:
  add    $0x1,%esi
  cmp    %rdx,%rdi
  jne    L36
L42:
  xor    %edx,%edx
L22:
  cmp    $0x61,%al
  je     L80
  cmp    $0x41,%al
  sete   %al
  movzbl %al,%eax
  add    %eax,%edx
L24:
  movzbl 0x1(%rbp),%eax
  add    $0x1,%rbp
  test   %al,%al
  jne    L22
L76:
  xor    %edi,%edi
  cmp    %esi,%edx
  sete   %dil
  call   <assert@plt>
  mov    0x8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L68
  add    $0x10,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  nopw   0x0(%rax,%rax,1)
L80:
  add    $0x1,%edx
  jmp    L24
L110:
  xor    %esi,%esi
  xor    %edx,%edx
  jmp    L76
L68:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
main(void) {
  char string_entrada[5], vetor_vogais[] = {'a', 'A', 'e', 'E', 'i', 'I', 'o', 'O', 'u', 'U', '\0'};
  ;
  unsigned int i, j, cont, tam_string, n_caracter;
  for (i = 0; i < 5; i++)
    string_entrada[i] = nondet_char();
  __ESBMC_assume(string_entrada[5 - 1] == '\0');
  n_caracter = 0;
  while (string_entrada[n_caracter] != '\0')
    n_caracter++;
  cont = 0;
  for (i = 0; i < n_caracter; i++)
    for (j = 0; j < 5 / 2; j++)
      if (string_entrada[i] == vetor_vogais[j])
        cont++;
  i = 0;
  int cont_aux = 0;
  while (string_entrada[i] != '\0') {
    for (j = 0; j < 5 / 2; j++) {
      if (string_entrada[i] == vetor_vogais[j])
        cont_aux++;
    }
    i++;
  }
  assert(cont_aux == cont);
}
```