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

```asm
<internal_fiat_p224_selectznz>:
  endbr64
  push   %r15
  mov    %rcx,%r15
  push   %r14
  push   %r13
  mov    %rdi,%r13
  mov    %edx,%edi
  push   %r12
  mov    %rdx,%r12
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %rsi,0x18(%rsp)
  mov    $0x8,%esi
  call   <_br2_load@plt>
  lea    0x8(%r12),%edi
  mov    $0x8,%esi
  mov    %rax,%rbx
  call   <_br2_load@plt>
  lea    0x10(%r12),%edi
  mov    $0x8,%esi
  mov    %rax,0x10(%rsp)
  call   <_br2_load@plt>
  lea    0x18(%r12),%edi
  mov    $0x8,%esi
  mov    %rax,%r14
  call   <_br2_load@plt>
  mov    %r15d,%edi
  mov    $0x8,%esi
  mov    %rax,%r12
  call   <_br2_load@plt>
  lea    0x8(%r15),%edi
  mov    $0x8,%esi
  mov    %rax,(%rsp)
  call   <_br2_load@plt>
  lea    0x10(%r15),%edi
  mov    $0x8,%esi
  mov    %rax,%rbp
  call   <_br2_load@plt>
  lea    0x18(%r15),%edi
  mov    $0x8,%esi
  mov    %rax,0x8(%rsp)
  call   <_br2_load@plt>
  mov    0x18(%rsp),%r8
  mov    0x10(%rsp),%r9
  mov    $0x8,%edx
  mov    (%rsp),%rsi
  mov    0x8(%rsp),%r15
  neg    %r8
  sbb    %rdi,%rdi
  xor    %r9,%rbp
  xor    %rbx,%rsi
  xor    %r14,%r15
  and    %rdi,%rbp
  xor    %r12,%rax
  and    %rdi,%rsi
  and    %rdi,%r15
  xor    %r9,%rbp
  and    %rdi,%rax
  xor    %rbx,%rsi
  mov    %r13d,%edi
  xor    %r14,%r15
  xor    %rax,%r12
  call   <_br2_store@plt>
  lea    0x8(%r13),%edi
  mov    %rbp,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  lea    0x10(%r13),%edi
  mov    %r15,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  add    $0x28,%rsp
  lea    0x18(%r13),%edi
  mov    %r12,%rsi
  pop    %rbx
  mov    $0x8,%edx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1060 <_br2_store@plt>
```

assistant: ```c
void internal_fiat_p224_selectznz(uintptr_t out0, uintptr_t in0, uintptr_t in1, uintptr_t in2) {
  uintptr_t x4, x8, x0, x9, x5, x11, x1, x12, x6, x14, x2, x15, x7, x17, x3, x18, x10, x13, x16, x19, x20, x21, x22, x23;
  x0 = _br2_load((in1) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x1 = _br2_load((in1) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x2 = _br2_load((in1) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x3 = _br2_load((in1) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x4 = _br2_load((in2) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x5 = _br2_load((in2) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x6 = _br2_load((in2) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x7 = _br2_load((in2) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x8 = ((uintptr_t)-1ULL) + ((in0) == ((uintptr_t)0ULL));
  x9 = (x8) ^ ((uintptr_t)18446744073709551615ULL);
  x10 = ((x4) & (x8)) | ((x0) & (x9));
  x11 = ((uintptr_t)-1ULL) + ((in0) == ((uintptr_t)0ULL));
  x12 = (x11) ^ ((uintptr_t)18446744073709551615ULL);
  x13 = ((x5) & (x11)) | ((x1) & (x12));
  x14 = ((uintptr_t)-1ULL) + ((in0) == ((uintptr_t)0ULL));
  x15 = (x14) ^ ((uintptr_t)18446744073709551615ULL);
  x16 = ((x6) & (x14)) | ((x2) & (x15));
  x17 = ((uintptr_t)-1ULL) + ((in0) == ((uintptr_t)0ULL));
  x18 = (x17) ^ ((uintptr_t)18446744073709551615ULL);
  x19 = ((x7) & (x17)) | ((x3) & (x18));
  x20 = x10;
  x21 = x13;
  x22 = x16;
  x23 = x19;
  _br2_store((out0) + ((uintptr_t)0ULL), x20, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x21, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x22, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x23, sizeof(uintptr_t));
  return;
}
```