user: 下面的汇编指令对应的C源代码是什么:

```asm
<append_uint32>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  mov    %esi,-0x1c(%rbp)
  cmpl   $0x0,-0x1c(%rbp)
  jne    L11
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  movb   $0x30,(%rax)
  mov    -0x18(%rbp),%rax
  jmp    L54
L11:
  cmpl   $0x63,-0x1c(%rbp)
  jle    L64
  cmpl   $0x270f,-0x1c(%rbp)
  jle    L200
  cmpl   $0xf423f,-0x1c(%rbp)
  jle    L61
  cmpl   $0x5f5e0ff,-0x1c(%rbp)
  jle    L264
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x44b82fa1,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x1c,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L209
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x4(%rbp),%eax
  imul   $0xc4653600,%eax,%eax
  add    %eax,-0x1c(%rbp)
  nop
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x55e63b89,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x19,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x55e63b89,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x19,%edx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x5f5e100,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x1c(%rbp)
  jmp    L178
L209:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x55e63b89,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x19,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L248
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x4(%rbp),%eax
  imul   $0xfa0a1f00,%eax,%eax
  add    %eax,-0x1c(%rbp)
  jmp    L178
L264:
  nop
  jmp    L219
L248:
  nop
L219:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x6b5fca6b,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x16,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L170
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x4(%rbp),%eax
  imul   $0xff676980,%eax,%eax
  add    %eax,-0x1c(%rbp)
  jmp    L294
L170:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x431bde83,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x12,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L4
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x4(%rbp),%eax
  imul   $0xfff0bdc0,%eax,%eax
  add    %eax,-0x1c(%rbp)
  jmp    L148
L61:
  nop
  jmp    L172
L4:
  nop
L172:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x14f8b589,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0xd,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L228
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x4(%rbp),%eax
  imul   $0xfffe7960,%eax,%eax
  add    %eax,-0x1c(%rbp)
  jmp    L201
L228:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x68db8bad,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0xc,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L282
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x4(%rbp),%eax
  imul   $0xffffd8f0,%eax,%eax
  add    %eax,-0x1c(%rbp)
  jmp    L53
L200:
  nop
  jmp    L275
L282:
  nop
L275:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x10624dd3,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x6,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L149
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x4(%rbp),%eax
  imul   $0xfffffc18,%eax,%eax
  add    %eax,-0x1c(%rbp)
  jmp    L13
L149:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x5,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L245
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x4(%rbp),%eax
  imul   $0xffffff9c,%eax,%eax
  add    %eax,-0x1c(%rbp)
  jmp    L65
L64:
  nop
  jmp    L247
L245:
  nop
L247:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x66666667,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x2,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L265
  mov    -0x4(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x4(%rbp),%eax
  imul   $0xfffffff6,%eax,%eax
  add    %eax,-0x1c(%rbp)
  jmp    L287
L265:
  cmpl   $0x0,-0x1c(%rbp)
  je     L206
  mov    -0x1c(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
L206:
  mov    -0x18(%rbp),%rax
  jmp    L54
L178:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x6b5fca6b,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x16,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x6b5fca6b,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x16,%edx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x989680,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x1c(%rbp)
L294:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x431bde83,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x12,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x431bde83,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x12,%edx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0xf4240,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x1c(%rbp)
L148:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x14f8b589,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0xd,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x14f8b589,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0xd,%edx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x186a0,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x1c(%rbp)
L201:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x68db8bad,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0xc,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x68db8bad,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0xc,%edx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x2710,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x1c(%rbp)
L53:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x10624dd3,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x6,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x10624dd3,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x6,%edx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x3e8,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x1c(%rbp)
L13:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x5,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x5,%edx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x64,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x1c(%rbp)
L65:
  mov    -0x1c(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x66666667,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x2,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x1c(%rbp),%edx
  movslq %edx,%rax
  imul   $0x66666667,%rax,%rax
  shr    $0x20,%rax
  sar    $0x2,%eax
  mov    %edx,%esi
  sar    $0x1f,%esi
  sub    %esi,%eax
  mov    %eax,%ecx
  mov    %ecx,%eax
  shl    $0x2,%eax
  add    %ecx,%eax
  add    %eax,%eax
  sub    %eax,%edx
  mov    %edx,-0x1c(%rbp)
L287:
  mov    -0x1c(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  mov    -0x18(%rbp),%rax
L54:
  pop    %rbp
  ret
```

assistant: ```c
unsigned char *append_uint32(unsigned char *cp, uint32_t i) {
  uint32_t j;
  if (i == 0) {
    *cp++ = '0';
    return cp;
  }
  if (i < 100)
    goto b1;
  if (i < 10000)
    goto b3;
  if (i < 1000000)
    goto b5;
  if (i < 100000000)
    goto b7;
  if ((j = i / 1000000000)) {
    *cp++ = j + '0';
    i -= j * 1000000000;
    goto x8;
  }
  if ((j = i / 100000000)) {
    *cp++ = j + '0';
    i -= j * 100000000;
    goto x7;
  }
b7:
  if ((j = i / 10000000)) {
    *cp++ = j + '0';
    i -= j * 10000000;
    goto x6;
  }
  if ((j = i / 1000000)) {
    *cp++ = j + '0', i -= j * 1000000;
    goto x5;
  }
b5:
  if ((j = i / 100000)) {
    *cp++ = j + '0', i -= j * 100000;
    goto x4;
  }
  if ((j = i / 10000)) {
    *cp++ = j + '0', i -= j * 10000;
    goto x3;
  }
b3:
  if ((j = i / 1000)) {
    *cp++ = j + '0', i -= j * 1000;
    goto x2;
  }
  if ((j = i / 100)) {
    *cp++ = j + '0', i -= j * 100;
    goto x1;
  }
b1:
  if ((j = i / 10)) {
    *cp++ = j + '0', i -= j * 10;
    goto x0;
  }
  if (i)
    *cp++ = i + '0';
  return cp;
x8:
  *cp++ = i / 100000000 + '0', i %= 100000000;
x7:
  *cp++ = i / 10000000 + '0', i %= 10000000;
x6:
  *cp++ = i / 1000000 + '0', i %= 1000000;
x5:
  *cp++ = i / 100000 + '0', i %= 100000;
x4:
  *cp++ = i / 10000 + '0', i %= 10000;
x3:
  *cp++ = i / 1000 + '0', i %= 1000;
x2:
  *cp++ = i / 100 + '0', i %= 100;
x1:
  *cp++ = i / 10 + '0', i %= 10;
x0:
  *cp++ = i + '0';
  return cp;
}
```