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

```asm
<append_uint32>:
  endbr64
  mov    %esi,%ecx
  test   %esi,%esi
  je     L63
  cmp    $0x63,%esi
  jle    L105
  cmp    $0x270f,%esi
  jle    L8
  cmp    $0xf423f,%esi
  jle    L11
  cmp    $0x5f5e0ff,%esi
  jle    L177
  movslq %esi,%rdx
  sar    $0x1f,%esi
  imul   $0x44b82fa1,%rdx,%rax
  sar    $0x3c,%rax
  sub    %esi,%eax
  je     L178
  lea    0x30(%rax),%edx
  lea    0x2(%rdi),%rsi
  imul   $0xc4653600,%eax,%eax
  mov    %dl,(%rdi)
  add    %ecx,%eax
  movslq %eax,%rdx
  mov    %eax,%ecx
  imul   $0x55e63b89,%rdx,%rdx
  sar    $0x1f,%ecx
  sar    $0x39,%rdx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  imul   $0x5f5e100,%edx,%edx
  mov    %cl,0x1(%rdi)
  sub    %edx,%eax
L34:
  movslq %eax,%rdx
  mov    %eax,%edi
  lea    0x1(%rsi),%rcx
  imul   $0x6b5fca6b,%rdx,%rdx
  sar    $0x1f,%edi
  sar    $0x36,%rdx
  sub    %edi,%edx
  lea    0x30(%rdx),%edi
  imul   $0x989680,%edx,%edx
  mov    %dil,(%rsi)
  sub    %edx,%eax
L6:
  movslq %eax,%rdx
  mov    %eax,%edi
  lea    0x1(%rcx),%rsi
  imul   $0x431bde83,%rdx,%rdx
  sar    $0x1f,%edi
  sar    $0x32,%rdx
  sub    %edi,%edx
  lea    0x30(%rdx),%edi
  imul   $0xf4240,%edx,%edx
  mov    %dil,(%rcx)
  sub    %edx,%eax
L48:
  movslq %eax,%rdx
  mov    %eax,%edi
  lea    0x1(%rsi),%rcx
  imul   $0x14f8b589,%rdx,%rdx
  sar    $0x1f,%edi
  sar    $0x2d,%rdx
  sub    %edi,%edx
  lea    0x30(%rdx),%edi
  imul   $0x186a0,%edx,%edx
  mov    %dil,(%rsi)
  sub    %edx,%eax
L35:
  movslq %eax,%rdx
  mov    %eax,%edi
  lea    0x1(%rcx),%rsi
  imul   $0x68db8bad,%rdx,%rdx
  sar    $0x1f,%edi
  sar    $0x2c,%rdx
  sub    %edi,%edx
  lea    0x30(%rdx),%edi
  imul   $0x2710,%edx,%edx
  mov    %dil,(%rcx)
  sub    %edx,%eax
L100:
  movslq %eax,%rdx
  mov    %eax,%edi
  lea    0x1(%rsi),%rcx
  imul   $0x10624dd3,%rdx,%rdx
  sar    $0x1f,%edi
  sar    $0x26,%rdx
  sub    %edi,%edx
  lea    0x30(%rdx),%edi
  imul   $0x3e8,%edx,%edx
  mov    %dil,(%rsi)
  sub    %edx,%eax
L77:
  movslq %eax,%rdx
  mov    %eax,%edi
  lea    0x1(%rcx),%rsi
  imul   $0x51eb851f,%rdx,%rdx
  sar    $0x1f,%edi
  sar    $0x25,%rdx
  sub    %edi,%edx
  lea    0x30(%rdx),%edi
  imul   $0x64,%edx,%edx
  mov    %dil,(%rcx)
  sub    %edx,%eax
L122:
  movslq %eax,%rdx
  mov    %eax,%edi
  lea    0x1(%rsi),%rcx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x1f,%edi
  sar    $0x22,%rdx
  sub    %edi,%edx
  lea    0x30(%rdx),%edi
  lea    (%rdx,%rdx,4),%edx
  mov    %dil,(%rsi)
  add    %edx,%edx
  sub    %edx,%eax
L126:
  add    $0x30,%eax
  lea    0x1(%rcx),%r8
  mov    %al,(%rcx)
  mov    %r8,%rax
  ret
  nopw   0x0(%rax,%rax,1)
L105:
  movslq %esi,%rax
  mov    %esi,%edx
  lea    0x1(%rdi),%r8
  imul   $0x66666667,%rax,%rax
  sar    $0x1f,%edx
  sar    $0x22,%rax
  sub    %edx,%eax
  jne    L45
  add    $0x30,%ecx
  mov    %r8,%rax
  mov    %cl,(%rdi)
  ret
  nopl   0x0(%rax)
L63:
  lea    0x1(%rdi),%r8
  movb   $0x30,(%rdi)
  mov    %r8,%rax
  ret
  nopl   0x0(%rax,%rax,1)
L11:
  movslq %esi,%rax
  mov    %esi,%r8d
  lea    0x1(%rdi),%rsi
  imul   $0x14f8b589,%rax,%rdx
  sar    $0x1f,%r8d
  sar    $0x2d,%rdx
  sub    %r8d,%edx
  je     L154
  lea    0x30(%rdx),%eax
  imul   $0xfffe7960,%edx,%edx
  mov    %al,(%rdi)
  lea    (%rdx,%rcx,1),%eax
  mov    %rsi,%rcx
  jmp    L35
  nopl   0x0(%rax,%rax,1)
L45:
  lea    0x30(%rax),%edx
  mov    %r8,%rcx
  imul   $0xfffffff6,%eax,%eax
  mov    %dl,(%rdi)
  add    %esi,%eax
  jmp    L126
  nopw   0x0(%rax,%rax,1)
L8:
  movslq %esi,%rdx
  mov    %esi,%r8d
  lea    0x1(%rdi),%rsi
  imul   $0x10624dd3,%rdx,%rax
  sar    $0x1f,%r8d
  sar    $0x26,%rax
  sub    %r8d,%eax
  je     L9
  lea    0x30(%rax),%edx
  imul   $0xfffffc18,%eax,%eax
  mov    %dl,(%rdi)
  add    %ecx,%eax
  mov    %rsi,%rcx
  jmp    L77
  nopl   0x0(%rax,%rax,1)
L9:
  imul   $0x51eb851f,%rdx,%rdx
  sar    $0x25,%rdx
  sub    %r8d,%edx
  lea    0x30(%rdx),%eax
  mov    %al,(%rdi)
  imul   $0xffffff9c,%edx,%eax
  add    %ecx,%eax
  jmp    L122
  nopl   (%rax)
L177:
  movslq %esi,%rax
  mov    %esi,%r8d
  lea    0x1(%rdi),%rsi
  imul   $0x6b5fca6b,%rax,%rdx
  sar    $0x1f,%r8d
  sar    $0x36,%rdx
  sub    %r8d,%edx
  je     L179
  lea    0x30(%rdx),%eax
  imul   $0xff676980,%edx,%edx
  mov    %al,(%rdi)
  lea    (%rdx,%rcx,1),%eax
  mov    %rsi,%rcx
  jmp    L6
  nopl   0x0(%rax)
L178:
  imul   $0x55e63b89,%rdx,%rdx
  sar    $0x39,%rdx
  sub    %esi,%edx
  lea    0x1(%rdi),%rsi
  lea    0x30(%rdx),%eax
  mov    %al,(%rdi)
  imul   $0xfa0a1f00,%edx,%eax
  add    %ecx,%eax
  jmp    L34
  nopl   0x0(%rax,%rax,1)
L154:
  imul   $0x68db8bad,%rax,%rax
  sar    $0x2c,%rax
  sub    %r8d,%eax
  lea    0x30(%rax),%edx
  imul   $0xffffd8f0,%eax,%eax
  mov    %dl,(%rdi)
  add    %ecx,%eax
  jmp    L100
L179:
  imul   $0x431bde83,%rax,%rax
  sar    $0x32,%rax
  sub    %r8d,%eax
  lea    0x30(%rax),%edx
  imul   $0xfff0bdc0,%eax,%eax
  mov    %dl,(%rdi)
  add    %ecx,%eax
  jmp    L48
```

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;
}
```