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

```asm
<AddWithCarry>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %edi,-0x44(%rbp)
  mov    %esi,-0x48(%rbp)
  mov    %edx,-0x4c(%rbp)
  mov    %rcx,-0x58(%rbp)
  mov    %r8,-0x60(%rbp)
  mov    %r9,-0x68(%rbp)
  mov    -0x44(%rbp),%eax
  movzwl %ax,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x48(%rbp),%eax
  movzwl %ax,%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x48(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x3c(%rbp),%edx
  mov    -0x34(%rbp),%eax
  add    %eax,%edx
  mov    -0x4c(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  movzwl %ax,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x2c(%rbp),%eax
  cmp    -0x28(%rbp),%eax
  setne  %al
  movzbl %al,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x38(%rbp),%edx
  mov    -0x30(%rbp),%eax
  add    %eax,%edx
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x38(%rbp),%eax
  cltq
  mov    %rax,-0x18(%rbp)
  mov    -0x30(%rbp),%eax
  cltq
  mov    %rax,-0x10(%rbp)
  mov    -0x18(%rbp),%rdx
  mov    -0x10(%rbp),%rax
  add    %rax,%rdx
  mov    -0x24(%rbp),%eax
  cltq
  add    %rdx,%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%eax
  movzwl %ax,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  cltq
  cmp    %rax,-0x8(%rbp)
  setne  %al
  movzbl %al,%edx
  mov    -0x68(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%eax
  cmp    -0x1c(%rbp),%eax
  setne  %al
  movzbl %al,%edx
  mov    -0x60(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x44(%rbp),%edx
  mov    -0x48(%rbp),%eax
  add    %eax,%edx
  mov    -0x4c(%rbp),%eax
  add    %eax,%edx
  mov    -0x58(%rbp),%rax
  mov    %edx,(%rax)
  nop
  pop    %rbp
  ret
```

assistant: ```c
void AddWithCarry(uint32_t op1, uint32_t op2, uint32_t carry_in, uint32_t *result, uint32_t *carry_out, uint32_t *overflow) {
  if (sizeof(uint64_t) == 8) {
    uint64_t unsigned_sum = (uint64_t)op1 + (uint64_t)op2 + (uint64_t)carry_in;
    int64_t op1_64 = (int32_t)op1;
    int64_t op2_64 = (int32_t)op2;
    int64_t signed_sum = op1_64 + op2_64 + (int64_t)carry_in;
    uint32_t _result = unsigned_sum & 0xFFFFFFFFL;
    *overflow = (signed_sum == (int32_t)_result) ? 0 : 1;
    *carry_out = (unsigned_sum == (uint64_t)_result) ? 0 : 1;
    *result = _result;
  } else {
    uint16_t op1_low = op1 & 0xFFFF;
    uint16_t op1_high = (uint32_t)op1 >> 16;
    uint16_t op2_low = op2 & 0xFFFF;
    uint16_t op2_high = (op2) >> 16;
    int low_carry;
    uint32_t ulow_sum = (uint32_t)op1_low + (uint32_t)op2_low + (uint32_t)carry_in;
    uint32_t low_result = ulow_sum & 0xFFFF;
    low_carry = (ulow_sum == (uint32_t)low_result) ? 0 : 1;
    uint32_t uhigh_sum = (uint32_t)op1_high + (uint32_t)op2_high + (uint32_t)low_carry;
    int32_t op1_high_32 = (int16_t)op1_high;
    int32_t op2_high_32 = (int16_t)op2_high;
    int32_t shigh_sum = op1_high_32 + op2_high_32 + (int32_t)low_carry;
    uint16_t high_result = uhigh_sum & 0xFFFF;
    *overflow = (shigh_sum == (int16_t)high_result) ? 0 : 1;
    *carry_out = (uhigh_sum == (uint32_t)high_result) ? 0 : 1;
    *result = op1 + op2 + carry_in;
  }
}
```