user: What is the c source code of the assembly code below:

```asm
<convertFromUTF8ToUTF16>:
  endbr64
  mov    %rdi,%r9
  mov    %rsi,%rdi
  mov    %rdx,%r8
  mov    (%rdx),%rsi
  movzbl (%r9),%eax
  test   %rsi,%rsi
  jle    L187
  test   %al,%al
  je     L187
  mov    $0x0,%ecx
  jmp    L130
L56:
  movsbl %al,%edx
  mov    %eax,%r10d
  and    $0xe0,%r10d
  cmp    $0xc0,%r10d
  je     L25
  mov    %edx,%eax
  and    $0xf0,%eax
  cmp    $0xe0,%eax
  je     L37
  mov    %edx,%eax
  and    $0xf8,%eax
  cmp    $0xf0,%eax
  jne    L3
  mov    %edx,%eax
  shl    $0xc,%eax
  and    $0x3f000,%eax
  shl    $0x12,%edx
  and    $0x1c0000,%edx
  or     %eax,%edx
  movsbl 0x1(%r9),%eax
  shl    $0x6,%eax
  and    $0xfc0,%eax
  or     %eax,%edx
  movslq %edx,%rdx
  lea    0x3(%r9),%r10
  movzbl 0x2(%r9),%eax
  and    $0x3f,%eax
  or     %rdx,%rax
  lea    (%rdi,%rcx,8),%rdx
  cmp    $0xd7ff,%rax
  jle    L160
  cmp    $0xffff,%rax
  jle    L66
  lea    -0x10000(%rax),%r9
  and    $0x3ff,%eax
  add    $0xdc00,%rax
  sar    $0xa,%r9
  add    $0xd800,%r9
  mov    %r9,(%rdx)
  lea    0x2(%rcx),%r9
  cmp    %r9,%rsi
  jle    L36
  mov    %rax,0x8(%rdx)
  add    $0x4,%rcx
  mov    %r10,%r9
L3:
  movzbl (%r9),%eax
  cmp    %rsi,%rcx
  jge    L198
  test   %al,%al
  je     L198
L130:
  test   %al,%al
  js     L56
  movsbq %al,%rax
L143:
  lea    (%rdi,%rcx,8),%rdx
L157:
  mov    %rax,(%rdx)
  add    $0x2,%rcx
  jmp    L3
L25:
  shl    $0x6,%edx
  and    $0x7c0,%edx
  add    $0x1,%r9
  and    $0x3f,%eax
  or     %rdx,%rax
  jmp    L143
L37:
  mov    %edx,%eax
  shl    $0xc,%eax
  movzwl %ax,%eax
  shl    $0x6,%edx
  and    $0xfc0,%edx
  or     %eax,%edx
  movslq %edx,%rdx
  lea    0x2(%r9),%r10
  movzbl 0x1(%r9),%eax
  and    $0x3f,%eax
  or     %rdx,%rax
  cmp    $0xd7ff,%rax
  jle    L71
  mov    %r10,%r9
  jmp    L3
L71:
  lea    (%rdi,%rcx,8),%rdx
  mov    %r10,%r9
  jmp    L157
L160:
  mov    %r10,%r9
  jmp    L157
L36:
  movq   $0x0,(%rdx)
L198:
  mov    %rcx,(%r8)
  ret
L66:
  mov    %r10,%r9
  jmp    L3
L187:
  mov    $0x0,%ecx
  jmp    L198
```

assistant: ```c
void convertFromUTF8ToUTF16(char *source, uint16_t *destination, uint32_t *destinationByteLen) {
  uint32_t desti = 0;
  uint32_t destinationMaxLen = *destinationByteLen;
  while (*source && desti < destinationMaxLen) {
    char a = *source;
    uint32_t codepoint;
    if (a == 0) {
      break;
    } else if ((a & 0x80) == 0) {
      codepoint = a;
    } else if ((a & 0xE0) == 0xC0) {
      codepoint = (a & 0x1F) << 6;
      a = *(source++);
      codepoint |= (a & 0x3F);
    } else if ((a & 0xF0) == 0xE0) {
      codepoint = (a & 0x0F) << 12;
      a = *(source++);
      codepoint |= (a & 0x3F) << 6;
      a = *(source++);
      codepoint |= (a & 0x3F);
    } else if ((a & 0xF8) == 0xF0) {
      codepoint = (a & 0x07) << 18;
      a = *(source++);
      codepoint |= (a & 0x3F) << 12;
      a = *(source++);
      codepoint |= (a & 0x3F) << 6;
      a = *(source++);
      codepoint |= (a & 0x3F);
    } else {
      continue;
    }
    uint16_t *dst = (uint16_t *)((char *)destination) + desti;
    if (codepoint <= 0xD7FF) {
      *dst = codepoint;
      desti += 2;
    } else if (codepoint >= 0x10000) {
      codepoint -= 0x10000;
      uint16_t first = (codepoint >> 10) + 0xD800;
      uint16_t second = (codepoint & 0x3FF) + 0xDC00;
      *dst = first;
      desti += 2;
      if (desti >= destinationMaxLen) {
        *dst = 0;
        desti -= 2;
        break;
      }
      dst++;
      *dst = second;
      desti += 2;
    }
  }
  *destinationByteLen = desti;
}
```