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

```asm
<internal_fiat_p224_opp>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %rdi,%rbx
  mov    %rsi,%rbp
  mov    $0x8,%esi
  mov    %ebp,%edi
  call   <_br2_load@plt>
  mov    %rax,%r15
  lea    0x4(%rbp),%edi
  mov    $0x8,%esi
  call   <_br2_load@plt>
  mov    %rax,%r14
  lea    0x8(%rbp),%edi
  mov    $0x8,%esi
  call   <_br2_load@plt>
  mov    %rax,%r13
  lea    0xc(%rbp),%edi
  mov    $0x8,%esi
  call   <_br2_load@plt>
  mov    %rax,%r12
  lea    0x10(%rbp),%edi
  mov    $0x8,%esi
  call   <_br2_load@plt>
  mov    %rax,(%rsp)
  lea    0x14(%rbp),%edi
  mov    $0x8,%esi
  call   <_br2_load@plt>
  mov    %rax,0x8(%rsp)
  lea    0x18(%rbp),%edi
  mov    $0x8,%esi
  call   <_br2_load@plt>
  neg    %r14
  mov    %r15,%rbp
  neg    %rbp
  setne  %dl
  movzbl %dl,%edx
  mov    %r14,%r11
  sub    %rdx,%r11
  neg    %r13
  test   %r14,%r14
  setne  %dl
  movzbl %dl,%edx
  cmp    %r11,%r14
  adc    $0x0,%edx
  movslq %edx,%rdx
  mov    %r13,%r9
  sub    %rdx,%r9
  neg    %r12
  test   %r13,%r13
  setne  %dl
  movzbl %dl,%edx
  cmp    %r9,%r13
  adc    $0x0,%edx
  movslq %edx,%rdx
  mov    %r12,%r8
  sub    %rdx,%r8
  mov    (%rsp),%rcx
  neg    %rcx
  test   %r12,%r12
  setne  %dl
  movzbl %dl,%edx
  cmp    %r8,%r12
  adc    $0x0,%edx
  movslq %edx,%rdx
  mov    %rcx,%rdi
  sub    %rdx,%rdi
  mov    0x8(%rsp),%r10
  neg    %r10
  test   %rcx,%rcx
  setne  %dl
  movzbl %dl,%edx
  cmp    %rdi,%rcx
  adc    $0x0,%edx
  movslq %edx,%rdx
  mov    %r10,%rsi
  sub    %rdx,%rsi
  neg    %rax
  test   %r10,%r10
  setne  %cl
  movzbl %cl,%ecx
  cmp    %rsi,%r10
  adc    $0x0,%ecx
  movslq %ecx,%rcx
  mov    %rax,%rdx
  sub    %rcx,%rdx
  test   %rax,%rax
  setne  %cl
  movzbl %cl,%ecx
  cmp    %rdx,%rax
  mov    %ecx,%eax
  adc    $0x0,%eax
  test   %eax,%eax
  setne  %al
  movzbl %al,%eax
  mov    %rax,%rcx
  neg    %rcx
  mov    %rax,%r10
  sub    %r15,%r10
  cmp    %r10,%rbp
  seta   %bpl
  movzbl %bpl,%ebp
  add    %r11,%rbp
  mov    %r9,%r15
  adc    $0x0,%r15
  cmp    %r15,%r9
  seta   %r9b
  movzbl %r9b,%r9d
  add    %r8,%r9
  mov    %r9,%r14
  sub    %rax,%r14
  cmp    %r9,%r8
  seta   %r8b
  movzbl %r8b,%r8d
  cmp    %rcx,%r14
  adc    $0x0,%r8d
  movslq %r8d,%r8
  add    %rdi,%r8
  mov    %r8,%r13
  sub    %rax,%r13
  cmp    %r8,%rdi
  seta   %dil
  movzbl %dil,%edi
  cmp    %r13,%rcx
  seta   %r8b
  movzbl %r8b,%r8d
  add    %r8d,%edi
  movslq %edi,%rdi
  add    %rsi,%rdi
  mov    %rdi,%r12
  sub    %rax,%r12
  cmp    %rdi,%rsi
  seta   %sil
  movzbl %sil,%esi
  cmp    %r12,%rcx
  seta   %cl
  movzbl %cl,%ecx
  add    %esi,%ecx
  movslq %ecx,%rcx
  sub    %rax,%rdx
  lea    (%rcx,%rdx,1),%rax
  mov    %rax,(%rsp)
  mov    $0x8,%edx
  mov    %r10,%rsi
  mov    %ebx,%edi
  call   <_br2_store@plt>
  lea    0x4(%rbx),%edi
  mov    $0x8,%edx
  mov    %rbp,%rsi
  call   <_br2_store@plt>
  lea    0x8(%rbx),%edi
  mov    $0x8,%edx
  mov    %r15,%rsi
  call   <_br2_store@plt>
  lea    0xc(%rbx),%edi
  mov    $0x8,%edx
  mov    %r14,%rsi
  call   <_br2_store@plt>
  lea    0x10(%rbx),%edi
  mov    $0x8,%edx
  mov    %r13,%rsi
  call   <_br2_store@plt>
  lea    0x14(%rbx),%edi
  mov    $0x8,%edx
  mov    %r12,%rsi
  call   <_br2_store@plt>
  lea    0x18(%rbx),%edi
  mov    $0x8,%edx
  mov    (%rsp),%rsi
  call   <_br2_store@plt>
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void internal_fiat_p224_opp(uintptr_t out0, uintptr_t in0) {
  uintptr_t x0, x1, x2, x8, x3, x10, x4, x12, x5, x14, x6, x16, x18, x7, x9, x11, x24, x13, x26, x15, x28, x17, x19, x20, x21, x22, x23, x25, x27, x29, x30, x31, x32, x33, x34, x35, x36, x37;
  x0 = _br2_load((in0) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x1 = _br2_load((in0) + ((uintptr_t)4ULL), sizeof(uintptr_t));
  x2 = _br2_load((in0) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x3 = _br2_load((in0) + ((uintptr_t)12ULL), sizeof(uintptr_t));
  x4 = _br2_load((in0) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x5 = _br2_load((in0) + ((uintptr_t)20ULL), sizeof(uintptr_t));
  x6 = _br2_load((in0) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x7 = ((uintptr_t)0ULL) - (x0);
  x8 = ((uintptr_t)0ULL) - (x1);
  x9 = (x8) - (((uintptr_t)0ULL) < (x7));
  x10 = ((uintptr_t)0ULL) - (x2);
  x11 = (x10) - ((((uintptr_t)0ULL) < (x8)) + ((x8) < (x9)));
  x12 = ((uintptr_t)0ULL) - (x3);
  x13 = (x12) - ((((uintptr_t)0ULL) < (x10)) + ((x10) < (x11)));
  x14 = ((uintptr_t)0ULL) - (x4);
  x15 = (x14) - ((((uintptr_t)0ULL) < (x12)) + ((x12) < (x13)));
  x16 = ((uintptr_t)0ULL) - (x5);
  x17 = (x16) - ((((uintptr_t)0ULL) < (x14)) + ((x14) < (x15)));
  x18 = ((uintptr_t)0ULL) - (x6);
  x19 = (x18) - ((((uintptr_t)0ULL) < (x16)) + ((x16) < (x17)));
  x20 = ((uintptr_t)-1ULL) + (((((uintptr_t)0ULL) < (x18)) + ((x18) < (x19))) == ((uintptr_t)0ULL));
  x21 = (x7) + ((x20) & ((uintptr_t)1ULL));
  x22 = ((x21) < (x7)) + (x9);
  x23 = ((x22) < (x9)) + (x11);
  x24 = ((x23) < (x11)) + (x13);
  x25 = (x24) + (x20);
  x26 = (((x24) < (x13)) + ((x25) < (x20))) + (x15);
  x27 = (x26) + (x20);
  x28 = (((x26) < (x15)) + ((x27) < (x20))) + (x17);
  x29 = (x28) + (x20);
  x30 = ((((x28) < (x17)) + ((x29) < (x20))) + (x19)) + (x20);
  x31 = x21;
  x32 = x22;
  x33 = x23;
  x34 = x25;
  x35 = x27;
  x36 = x29;
  x37 = x30;
  _br2_store((out0) + ((uintptr_t)0ULL), x31, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)4ULL), x32, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x33, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)12ULL), x34, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x35, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)20ULL), x36, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x37, sizeof(uintptr_t));
  return;
}
```