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

```asm
<Project4_123>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  mov    %rdi,%rbx
  mov    %r8,%rbp
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  pxor   %xmm4,%xmm4
  movss  %xmm4,0xc(%rsp)
  movss  %xmm4,0x8(%rsp)
L9:
  movss  (%rbx,%rax,1),%xmm3
  movss  (%rsi,%rax,1),%xmm0
  movaps %xmm3,%xmm2
  subss  %xmm0,%xmm2
  movss  %xmm2,0x18(%rsp,%rax,1)
  movss  (%rdx,%rax,1),%xmm1
  subss  %xmm0,%xmm1
  movss  %xmm1,0x24(%rsp,%rax,1)
  movss  (%rcx,%rax,1),%xmm0
  subss  %xmm3,%xmm0
  movss  %xmm0,0x30(%rsp,%rax,1)
  mulss  %xmm2,%xmm2
  addss  %xmm2,%xmm4
  mulss  %xmm1,%xmm1
  addss  0x8(%rsp),%xmm1
  movss  %xmm1,0x8(%rsp)
  mulss  %xmm0,%xmm0
  addss  0xc(%rsp),%xmm0
  movss  %xmm0,0xc(%rsp)
  add    $0x4,%rax
  cmp    $0xc,%rax
  jne    L9
  movaps %xmm4,%xmm0
  call   <sqrt@plt>
  movss  0x8(%rsp),%xmm0
  call   <sqrt@plt>
  movss  0xc(%rsp),%xmm0
  call   <sqrt@plt>
  movss  %xmm0,0x8(%rsp)
  lea    0x3c(%rsp),%rdx
  lea    0x24(%rsp),%rsi
  lea    0x18(%rsp),%rdi
  call   <VectorProduct@plt>
  movaps %xmm0,%xmm2
  movss  0x3c(%rsp),%xmm3
  divss  %xmm0,%xmm3
  movss  %xmm3,0x3c(%rsp)
  movss  0x40(%rsp),%xmm0
  divss  %xmm2,%xmm0
  movss  %xmm0,0x40(%rsp)
  movss  0x44(%rsp),%xmm1
  divss  %xmm2,%xmm1
  movss  %xmm1,0x44(%rsp)
  mulss  0x30(%rsp),%xmm3
  pxor   %xmm4,%xmm4
  addss  %xmm4,%xmm3
  mulss  0x34(%rsp),%xmm0
  addss  %xmm3,%xmm0
  mulss  0x38(%rsp),%xmm1
  addss  %xmm1,%xmm0
  mulss  0x8(%rsp),%xmm2
  divss  %xmm2,%xmm0
  comiss %xmm0,%xmm4
  ja     L23
L21:
  mulss  0x8(%rsp),%xmm0
  mov    $0x0,%eax
  lea    0x3c(%rsp),%rdx
L14:
  movaps %xmm0,%xmm2
  mulss  (%rax,%rdx,1),%xmm2
  movss  %xmm2,(%rax,%rdx,1)
  movss  0x30(%rsp,%rax,1),%xmm1
  subss  %xmm2,%xmm1
  addss  (%rbx,%rax,1),%xmm1
  movss  %xmm1,0x0(%rbp,%rax,1)
  add    $0x4,%rax
  cmp    $0xc,%rax
  jne    L14
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L44
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  ret
L23:
  call   <fabs@plt>
  movss  D9(%rip),%xmm2
  movss  0x3c(%rsp),%xmm1
  xorps  %xmm2,%xmm1
  movss  %xmm1,0x3c(%rsp)
  movss  0x40(%rsp),%xmm1
  xorps  %xmm2,%xmm1
  movss  %xmm1,0x40(%rsp)
  movss  0x44(%rsp),%xmm1
  xorps  %xmm2,%xmm1
  movss  %xmm1,0x44(%rsp)
  jmp    L21
L44:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: label: D9
datatype: byte[4]

tool: {"D9": [0x00,0x00,0x00,0x80]}

assistant: ```c
void Project4_123(float *Coord1, float *Coord2, float *Coord3, float *Coord4, float *Coord_Proj4_123) {
  float Vector21[3], Vector23[3], Vector14[3], VectorNormal_123[3];
  float Length_21 = 0.0, Length_23 = 0.0, Length_14 = 0.0, NormalLength;
  float COS_Norm_14, Proj_14_Norm;
  int i;
  for (i = 0; i < 3; i++) {
    Vector21[i] = Coord1[i] - Coord2[i];
    Vector23[i] = Coord3[i] - Coord2[i];
    Vector14[i] = Coord4[i] - Coord1[i];
    Length_21 += Vector21[i] * Vector21[i];
    Length_23 += Vector23[i] * Vector23[i];
    Length_14 += Vector14[i] * Vector14[i];
  }
  Length_21 = sqrt(Length_21);
  Length_23 = sqrt(Length_23);
  Length_14 = sqrt(Length_14);
  NormalLength = VectorProduct(Vector21, Vector23, VectorNormal_123);
  for (i = 0; i < 3; i++)
    VectorNormal_123[i] /= NormalLength;
  COS_Norm_14 = 0.0;
  for (i = 0; i < 3; i++)
    COS_Norm_14 += VectorNormal_123[i] * Vector14[i];
  COS_Norm_14 /= (Length_14 * NormalLength);
  if (COS_Norm_14 < 0.0) {
    COS_Norm_14 = fabs(COS_Norm_14);
    for (i = 0; i < 3; i++)
      VectorNormal_123[i] = -VectorNormal_123[i];
  }
  Proj_14_Norm = Length_14 * COS_Norm_14;
  for (i = 0; i < 3; i++) {
    VectorNormal_123[i] *= Proj_14_Norm;
    Coord_Proj4_123[i] = (Vector14[i] - VectorNormal_123[i]) + Coord1[i];
  }
}
```