user: Demonstrate the C code that generates the assembly output below:

```asm
<append_uint32>:
  endbr64
  mov    %rdi,%rcx
  test   %esi,%esi
  je     L183
  cmp    $0x63,%esi
  jle    L140
  cmp    $0x270f,%esi
  jle    L109
  cmp    $0xf423f,%esi
  jle    L138
  cmp    $0x5f5e0ff,%esi
  jle    L77
  movslq %esi,%rdx
  imul   $0x44b82fa1,%rdx,%rdx
  sar    $0x3c,%rdx
  mov    %esi,%eax
  sar    $0x1f,%eax
  sub    %eax,%edx
  jne    L121
  movslq %esi,%rax
  imul   $0x55e63b89,%rax,%rax
  sar    $0x39,%rax
  mov    %esi,%edx
  sar    $0x1f,%edx
  sub    %edx,%eax
  lea    0x1(%rdi),%rdi
  lea    0x30(%rax),%edx
  mov    %dl,(%rcx)
  imul   $0xfa0a1f00,%eax,%eax
  add    %esi,%eax
L34:
  lea    0x1(%rdi),%r8
  movslq %eax,%rdx
  imul   $0x6b5fca6b,%rdx,%rdx
  sar    $0x36,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  mov    %cl,(%rdi)
  imul   $0x989680,%edx,%edx
  sub    %edx,%eax
L177:
  lea    0x1(%r8),%rdi
  movslq %eax,%rdx
  imul   $0x431bde83,%rdx,%rdx
  sar    $0x32,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  mov    %cl,(%r8)
  imul   $0xf4240,%edx,%edx
  sub    %edx,%eax
L59:
  lea    0x1(%rdi),%r8
  movslq %eax,%rdx
  imul   $0x14f8b589,%rdx,%rdx
  sar    $0x2d,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  mov    %cl,(%rdi)
  imul   $0x186a0,%edx,%edx
  sub    %edx,%eax
L178:
  lea    0x1(%r8),%rdi
  movslq %eax,%rdx
  imul   $0x68db8bad,%rdx,%rdx
  sar    $0x2c,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  mov    %cl,(%r8)
  imul   $0x2710,%edx,%edx
  sub    %edx,%eax
L192:
  lea    0x1(%rdi),%r8
  movslq %eax,%rdx
  imul   $0x10624dd3,%rdx,%rdx
  sar    $0x26,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  mov    %cl,(%rdi)
  imul   $0x3e8,%edx,%edx
  sub    %edx,%eax
L166:
  lea    0x1(%r8),%rdi
  movslq %eax,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  sar    $0x25,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  mov    %cl,(%r8)
  imul   $0x64,%edx,%edx
  sub    %edx,%eax
L92:
  lea    0x1(%rdi),%r8
  movslq %eax,%rdx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x22,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  mov    %cl,(%rdi)
  lea    (%rdx,%rdx,4),%edx
  add    %edx,%edx
  sub    %edx,%eax
L81:
  lea    0x1(%r8),%rdx
  add    $0x30,%eax
  mov    %al,(%r8)
L149:
  mov    %rdx,%rax
  ret
L183:
  lea    0x1(%rdi),%rdx
  movb   $0x30,(%rdi)
  jmp    L149
L121:
  lea    0x30(%rdx),%eax
  mov    %al,(%rdi)
  imul   $0xc4653600,%edx,%eax
  add    %esi,%eax
  lea    0x2(%rdi),%rdi
  movslq %eax,%rdx
  imul   $0x55e63b89,%rdx,%rdx
  sar    $0x39,%rdx
  mov    %eax,%esi
  sar    $0x1f,%esi
  sub    %esi,%edx
  lea    0x30(%rdx),%esi
  mov    %sil,0x1(%rcx)
  imul   $0x5f5e100,%edx,%edx
  sub    %edx,%eax
  jmp    L34
L77:
  movslq %esi,%rax
  imul   $0x6b5fca6b,%rax,%rax
  sar    $0x36,%rax
  mov    %esi,%edx
  sar    $0x1f,%edx
  sub    %edx,%eax
  jne    L74
  movslq %esi,%rax
  imul   $0x431bde83,%rax,%rax
  sar    $0x32,%rax
  mov    %esi,%edx
  sar    $0x1f,%edx
  sub    %edx,%eax
  lea    0x1(%rdi),%rdi
  lea    0x30(%rax),%edx
  mov    %dl,(%rcx)
  imul   $0xfff0bdc0,%eax,%eax
  add    %esi,%eax
  jmp    L59
L74:
  lea    0x1(%rdi),%r8
  lea    0x30(%rax),%edx
  mov    %dl,(%rdi)
  imul   $0xff676980,%eax,%eax
  add    %esi,%eax
  jmp    L177
L138:
  movslq %esi,%rax
  imul   $0x14f8b589,%rax,%rax
  sar    $0x2d,%rax
  mov    %esi,%edx
  sar    $0x1f,%edx
  sub    %edx,%eax
  jne    L29
  movslq %esi,%rax
  imul   $0x68db8bad,%rax,%rax
  sar    $0x2c,%rax
  mov    %esi,%edx
  sar    $0x1f,%edx
  sub    %edx,%eax
  lea    0x1(%rdi),%rdi
  lea    0x30(%rax),%edx
  mov    %dl,(%rcx)
  imul   $0xffffd8f0,%eax,%eax
  add    %esi,%eax
  jmp    L192
L29:
  lea    0x1(%rdi),%r8
  lea    0x30(%rax),%edx
  mov    %dl,(%rdi)
  imul   $0xfffe7960,%eax,%eax
  add    %esi,%eax
  jmp    L178
L109:
  movslq %esi,%rax
  imul   $0x10624dd3,%rax,%rax
  sar    $0x26,%rax
  mov    %esi,%edx
  sar    $0x1f,%edx
  sub    %edx,%eax
  jne    L119
  movslq %esi,%rax
  imul   $0x51eb851f,%rax,%rax
  sar    $0x25,%rax
  mov    %esi,%edx
  sar    $0x1f,%edx
  sub    %edx,%eax
  lea    0x1(%rdi),%rdi
  lea    0x30(%rax),%edx
  mov    %dl,(%rcx)
  imul   $0xffffff9c,%eax,%eax
  add    %esi,%eax
  jmp    L92
L119:
  lea    0x1(%rdi),%r8
  lea    0x30(%rax),%edx
  mov    %dl,(%rdi)
  imul   $0xfffffc18,%eax,%eax
  add    %esi,%eax
  jmp    L166
L140:
  movslq %esi,%rax
  imul   $0x66666667,%rax,%rax
  sar    $0x22,%rax
  mov    %esi,%edx
  sar    $0x1f,%edx
  sub    %edx,%eax
  jne    L159
  lea    0x1(%rdi),%rdx
  add    $0x30,%esi
  mov    %sil,(%rdi)
  jmp    L149
L159:
  lea    0x1(%rdi),%r8
  lea    0x30(%rax),%edx
  mov    %dl,(%rdi)
  imul   $0xfffffff6,%eax,%eax
  add    %esi,%eax
  jmp    L81
```

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