user: 请将以下的汇编代码转换成C语言代码：

```asm
<NoDivTriTriIsect>:
  endbr64
  push   %r15
  mov    %rsi,%r11
  mov    %rcx,%rax
  mov    %rdi,%r10
  push   %r14
  push   %r13
  mov    %rdx,%r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  movq   0x4(%rdi),%xmm1
  movq   0x4(%r11),%xmm3
  mov    %fs:0x28,%rdx
  mov    %rdx,0x48(%rsp)
  xor    %edx,%edx
  movq   0x4(%r13),%xmm2
  movss  (%rsi),%xmm0
  movaps %xmm1,%xmm4
  movaps %xmm3,%xmm5
  movss  (%rdi),%xmm7
  movaps %xmm1,%xmm15
  shufps $0xe5,%xmm4,%xmm4
  movaps %xmm4,%xmm10
  shufps $0xe5,%xmm5,%xmm5
  movd   %xmm5,%ebx
  movss  %xmm4,0x24(%rsp)
  movss  0x8(%r11),%xmm4
  movss  0x8(%rdi),%xmm5
  movd   %xmm0,%esi
  movlps %xmm2,0x8(%rsp)
  mov    0x0(%r13),%edi
  mov    0xc(%rsp),%ecx
  movd   %xmm3,%r14d
  unpcklps %xmm0,%xmm4
  movaps %xmm2,%xmm0
  subps  %xmm1,%xmm3
  movss  %xmm1,0x28(%rsp)
  subps  %xmm1,%xmm0
  movd   %xmm2,%edx
  movd   %ecx,%xmm1
  movss  (%r8),%xmm11
  movd   %edi,%xmm2
  unpcklps %xmm7,%xmm5
  movss  %xmm7,0x1c(%rsp)
  unpcklps %xmm2,%xmm1
  subps  %xmm5,%xmm4
  movaps %xmm11,%xmm8
  subps  %xmm5,%xmm1
  movaps %xmm0,%xmm5
  mulps  %xmm4,%xmm5
  shufps $0xe5,%xmm4,%xmm4
  mulss  %xmm4,%xmm0
  movaps %xmm1,%xmm2
  shufps $0xe5,%xmm1,%xmm1
  mulps  %xmm3,%xmm2
  mulss  %xmm3,%xmm1
  movss  0x4(%rax),%xmm3
  movss  %xmm3,0x18(%rsp)
  subps  %xmm5,%xmm2
  subss  %xmm1,%xmm0
  movaps %xmm15,%xmm1
  movss  0x8(%rax),%xmm15
  mulss  %xmm2,%xmm7
  movaps %xmm2,%xmm5
  movaps %xmm2,%xmm14
  movlps %xmm2,0x38(%rsp)
  shufps $0xe5,%xmm5,%xmm5
  mulss  %xmm5,%xmm1
  movaps %xmm5,%xmm13
  movss  %xmm0,0x40(%rsp)
  mulss  %xmm5,%xmm3
  movss  0x4(%r8),%xmm5
  mulss  %xmm14,%xmm8
  movaps %xmm5,%xmm4
  mulss  %xmm13,%xmm4
  movaps %xmm7,%xmm6
  movss  (%rax),%xmm7
  addss  %xmm1,%xmm6
  movaps %xmm10,%xmm1
  mulss  %xmm0,%xmm1
  movaps %xmm7,%xmm2
  movss  %xmm7,0x14(%rsp)
  mulss  %xmm14,%xmm2
  addss  %xmm8,%xmm4
  movaps %xmm0,%xmm8
  addss  %xmm1,%xmm6
  movaps %xmm0,%xmm1
  mulss  %xmm15,%xmm1
  addss  %xmm2,%xmm3
  addss  %xmm1,%xmm3
  movss  0x8(%r8),%xmm1
  mulss  %xmm1,%xmm8
  subss  %xmm6,%xmm3
  addss  %xmm8,%xmm4
  subss  %xmm6,%xmm4
  movss  %xmm4,0x8(%rsp)
  movss  (%r9),%xmm7
  movss  0x4(%r9),%xmm8
  movss  D15(%rip),%xmm10
  movss  0x8(%r9),%xmm12
  movaps %xmm7,%xmm9
  movaps %xmm8,%xmm4
  mulss  %xmm14,%xmm9
  movss  %xmm12,0x20(%rsp)
  mulss  %xmm13,%xmm4
  addss  %xmm9,%xmm4
  movaps %xmm12,%xmm9
  movsd  D12(%rip),%xmm12
  mulss  %xmm0,%xmm9
  addss  %xmm9,%xmm4
  pxor   %xmm9,%xmm9
  subss  %xmm6,%xmm4
  movaps %xmm3,%xmm6
  andps  %xmm10,%xmm6
  cvtss2sd %xmm6,%xmm6
  comisd %xmm6,%xmm12
  jbe    L25
  movaps %xmm9,%xmm3
L25:
  movss  0x8(%rsp),%xmm6
  andps  %xmm10,%xmm6
  cvtss2sd %xmm6,%xmm6
  comisd %xmm6,%xmm12
  jbe    L169
  movss  %xmm9,0x8(%rsp)
L169:
  movaps %xmm4,%xmm6
  andps  %xmm10,%xmm6
  cvtss2sd %xmm6,%xmm6
  comisd %xmm6,%xmm12
  jbe    L377
  movaps %xmm9,%xmm4
L377:
  movss  0x8(%rsp),%xmm6
  movaps %xmm3,%xmm2
  mulss  %xmm4,%xmm2
  mulss  %xmm3,%xmm6
  movd   %xmm2,%ebp
  comiss %xmm9,%xmm6
  movd   %xmm6,%r15d
  jbe    L263
  xor    %r12d,%r12d
  comiss %xmm9,%xmm2
  ja     L89
L263:
  movaps %xmm11,%xmm2
  movss  0x14(%rsp),%xmm11
  movss  0x18(%rsp),%xmm6
  subss  %xmm15,%xmm1
  subss  %xmm11,%xmm7
  subss  %xmm11,%xmm2
  movss  0x20(%rsp),%xmm11
  subss  %xmm6,%xmm5
  subss  %xmm6,%xmm8
  subss  %xmm15,%xmm11
  movss  %xmm2,0x2c(%rsp)
  movaps %xmm1,%xmm2
  mulss  %xmm8,%xmm2
  mulss  %xmm7,%xmm1
  movaps %xmm11,%xmm6
  movaps %xmm5,%xmm11
  mulss  %xmm6,%xmm11
  mulss  %xmm7,%xmm5
  movd   %esi,%xmm7
  subss  %xmm2,%xmm11
  movss  0x2c(%rsp),%xmm2
  mulss  %xmm2,%xmm6
  mulss  %xmm2,%xmm8
  movss  0x28(%rsp),%xmm2
  mulss  %xmm11,%xmm7
  subss  %xmm6,%xmm1
  movss  0x18(%rsp),%xmm6
  subss  %xmm5,%xmm8
  movss  0x14(%rsp),%xmm5
  mulss  %xmm1,%xmm6
  mulss  %xmm11,%xmm5
  mulss  %xmm1,%xmm2
  addss  %xmm5,%xmm6
  movaps %xmm15,%xmm5
  movd   %edi,%xmm15
  mulss  %xmm8,%xmm5
  mulss  %xmm11,%xmm15
  addss  %xmm5,%xmm6
  movss  0x1c(%rsp),%xmm5
  mulss  %xmm11,%xmm5
  addss  %xmm2,%xmm5
  movss  0x24(%rsp),%xmm2
  mulss  %xmm8,%xmm2
  addss  %xmm2,%xmm5
  movd   %r14d,%xmm2
  mulss  %xmm1,%xmm2
  subss  %xmm6,%xmm5
  addss  %xmm7,%xmm2
  movd   %ebx,%xmm7
  mulss  %xmm8,%xmm7
  addss  %xmm2,%xmm7
  movd   %edx,%xmm2
  mulss  %xmm1,%xmm2
  subss  %xmm6,%xmm7
  addss  %xmm15,%xmm2
  movd   %ecx,%xmm15
  mulss  %xmm8,%xmm15
  addss  %xmm15,%xmm2
  subss  %xmm6,%xmm2
  movaps %xmm5,%xmm6
  andps  %xmm10,%xmm6
  cvtss2sd %xmm6,%xmm6
  comisd %xmm6,%xmm12
  jbe    L68
  movaps %xmm9,%xmm5
L68:
  movaps %xmm7,%xmm6
  andps  %xmm10,%xmm6
  cvtss2sd %xmm6,%xmm6
  comisd %xmm6,%xmm12
  jbe    L115
  movaps %xmm9,%xmm7
L115:
  movaps %xmm2,%xmm6
  andps  %xmm10,%xmm6
  cvtss2sd %xmm6,%xmm6
  comisd %xmm6,%xmm12
  jbe    L19
  movaps %xmm9,%xmm2
L19:
  movaps %xmm5,%xmm15
  movaps %xmm5,%xmm6
  mulss  %xmm7,%xmm15
  mulss  %xmm2,%xmm6
  comiss %xmm9,%xmm15
  movd   %xmm6,%edx
  jbe    L85
  xor    %r12d,%r12d
  comiss %xmm9,%xmm6
  ja     L89
L85:
  movaps %xmm8,%xmm6
  movaps %xmm0,%xmm12
  xor    %ecx,%ecx
  mulss  %xmm1,%xmm12
  mulss  %xmm11,%xmm0
  mulss  %xmm13,%xmm6
  mulss  %xmm14,%xmm8
  mulss  %xmm14,%xmm1
  mulss  %xmm13,%xmm11
  subss  %xmm12,%xmm6
  subss  %xmm8,%xmm0
  andps  %xmm10,%xmm6
  subss  %xmm11,%xmm1
  andps  %xmm10,%xmm0
  comiss %xmm6,%xmm0
  andps  %xmm10,%xmm1
  jbe    L1
  movaps %xmm0,%xmm6
  mov    $0x4,%ecx
L1:
  ucomiss %xmm6,%xmm1
  mov    $0x8,%edi
  cmova  %rdi,%rcx
  comiss %xmm9,%xmm15
  movss  (%r10,%rcx,1),%xmm13
  movss  (%r11,%rcx,1),%xmm11
  movss  0x0(%r13,%rcx,1),%xmm6
  movss  (%rax,%rcx,1),%xmm14
  movss  (%r8,%rcx,1),%xmm12
  movss  (%r9,%rcx,1),%xmm8
  jbe    L255
  movaps %xmm13,%xmm1
  movaps %xmm11,%xmm0
  subss  %xmm6,%xmm1
  subss  %xmm6,%xmm0
  mulss  %xmm2,%xmm1
L282:
  mulss  %xmm2,%xmm0
  movaps %xmm2,%xmm10
  subss  %xmm5,%xmm10
  movaps %xmm2,%xmm5
  subss  %xmm7,%xmm5
L51:
  movd   %r15d,%xmm7
  comiss %xmm9,%xmm7
  jbe    L198
L9:
  subss  %xmm8,%xmm14
  movaps %xmm12,%xmm2
  subss  %xmm8,%xmm2
  movaps %xmm14,%xmm9
  mulss  %xmm4,%xmm9
L98:
  mulss  %xmm4,%xmm2
  movaps %xmm4,%xmm7
  subss  0x8(%rsp),%xmm4
  subss  %xmm3,%xmm7
  movaps %xmm4,%xmm11
L309:
  mulss  %xmm5,%xmm1
  movaps %xmm10,%xmm4
  movaps %xmm7,%xmm12
  mulss  %xmm5,%xmm4
  mulss  %xmm11,%xmm12
  mulss  %xmm10,%xmm0
  mulss  %xmm4,%xmm2
  movaps %xmm4,%xmm3
  mulss  %xmm12,%xmm3
  mulss  %xmm12,%xmm1
  mulss  %xmm12,%xmm0
  mulss  %xmm7,%xmm2
  mulss  %xmm3,%xmm6
  mulss  %xmm3,%xmm8
  movaps %xmm9,%xmm3
  mulss  %xmm4,%xmm3
  addss  %xmm6,%xmm1
  addss  %xmm6,%xmm0
  addss  %xmm8,%xmm2
  mulss  %xmm11,%xmm3
  comiss %xmm0,%xmm1
  addss  %xmm8,%xmm3
  jbe    L330
  movaps %xmm1,%xmm4
  movaps %xmm0,%xmm1
  movaps %xmm4,%xmm0
L330:
  comiss %xmm2,%xmm3
  jbe    L48
  movaps %xmm3,%xmm4
  movaps %xmm2,%xmm3
  movaps %xmm4,%xmm2
L48:
  xor    %r12d,%r12d
  comiss %xmm0,%xmm3
  ja     L89
  xor    %r12d,%r12d
  comiss %xmm2,%xmm1
  setbe  %r12b
L89:
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L366
  add    $0x58,%rsp
  mov    %r12d,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
L255:
  movd   %edx,%xmm0
  comiss %xmm9,%xmm0
  jbe    L203
L187:
  movaps %xmm6,%xmm0
  movaps %xmm13,%xmm1
  movaps %xmm7,%xmm10
  subss  %xmm11,%xmm1
  subss  %xmm11,%xmm0
  movaps %xmm11,%xmm6
  subss  %xmm5,%xmm10
  mulss  %xmm7,%xmm1
  mulss  %xmm7,%xmm0
  subss  %xmm2,%xmm7
  movaps %xmm7,%xmm5
  movd   %r15d,%xmm7
  comiss %xmm9,%xmm7
  ja     L9
L198:
  movd   %ebp,%xmm7
  comiss %xmm9,%xmm7
  jbe    L396
L181:
  movaps %xmm8,%xmm2
  subss  %xmm12,%xmm14
  movss  0x8(%rsp),%xmm13
  movaps %xmm12,%xmm8
  subss  %xmm12,%xmm2
  movaps %xmm13,%xmm7
  movaps %xmm14,%xmm9
  subss  %xmm3,%xmm7
  mulss  %xmm13,%xmm9
  mulss  %xmm13,%xmm2
  subss  %xmm4,%xmm13
  movaps %xmm13,%xmm11
  jmp    L309
  nopl   (%rax)
L203:
  movaps %xmm7,%xmm0
  mulss  %xmm2,%xmm0
  comiss %xmm9,%xmm0
  jbe    L204
L165:
  movaps %xmm6,%xmm0
  movaps %xmm11,%xmm1
  movaps %xmm5,%xmm10
  subss  %xmm13,%xmm1
  subss  %xmm13,%xmm0
  movaps %xmm13,%xmm6
  subss  %xmm7,%xmm10
  mulss  %xmm5,%xmm1
  mulss  %xmm5,%xmm0
  subss  %xmm2,%xmm5
  jmp    L51
  nopl   0x0(%rax,%rax,1)
L396:
  movss  0x8(%rsp),%xmm2
  mulss  %xmm4,%xmm2
  comiss %xmm9,%xmm2
  jbe    L107
L383:
  movaps %xmm8,%xmm2
  subss  %xmm14,%xmm12
  movaps %xmm3,%xmm7
  subss  %xmm14,%xmm2
  subss  0x8(%rsp),%xmm7
  movaps %xmm14,%xmm8
  movaps %xmm12,%xmm9
  mulss  %xmm3,%xmm9
  mulss  %xmm3,%xmm2
  subss  %xmm4,%xmm3
  movaps %xmm3,%xmm11
  jmp    L309
  nopl   0x0(%rax)
L204:
  ucomiss %xmm9,%xmm5
  jp     L165
  jne    L165
  ucomiss %xmm9,%xmm7
  jp     L187
  jne    L187
  ucomiss %xmm9,%xmm2
  jp     L358
  je     L46
L358:
  subss  %xmm6,%xmm13
  subss  %xmm6,%xmm11
  movaps %xmm13,%xmm1
  movaps %xmm11,%xmm0
  mulss  %xmm2,%xmm1
  jmp    L282
  nopl   0x0(%rax,%rax,1)
L107:
  ucomiss %xmm9,%xmm3
  jp     L383
  jne    L383
  movss  0x8(%rsp),%xmm7
  ucomiss %xmm9,%xmm7
  jp     L181
  jne    L181
  ucomiss %xmm9,%xmm4
  jp     L253
  je     L46
L253:
  subss  %xmm8,%xmm14
  subss  %xmm8,%xmm12
  mulss  %xmm4,%xmm14
  movaps %xmm12,%xmm2
  movaps %xmm14,%xmm9
  jmp    L98
L46:
  lea    0x38(%rsp),%rdi
  sub    $0x8,%rsp
  mov    %r11,%rdx
  mov    %r13,%rcx
  push   %r9
  mov    %r10,%rsi
  mov    %r8,%r9
  mov    %rax,%r8
  xor    %eax,%eax
  call   <coplanar_tri_tri@plt>
  mov    %eax,%r12d
  pop    %rax
  pop    %rdx
  jmp    L89
L366:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D15
type_infered: dword
name: extract_symbolic_data
arguments: data_tag: D12
type_infered: f64

tool: D15: 2147483647

tool: D12: 0.005

assistant: ```c
int NoDivTriTriIsect(float V0[3], float V1[3], float V2[3], float U0[3], float U1[3], float U2[3]) {
  float E1[3], E2[3];
  float N1[3], N2[3], d1, d2;
  float du0, du1, du2, dv0, dv1, dv2;
  float D[3];
  float isect1[2], isect2[2];
  float du0du1, du0du2, dv0dv1, dv0dv2;
  short index;
  float vp0, vp1, vp2;
  float up0, up1, up2;
  float bb, cc, max;
  float a, b, c, x0, x1;
  float d, e, f, y0, y1;
  float xx, yy, xxyy, tmp;
  E1[0] = V1[0] - V0[0];
  E1[1] = V1[1] - V0[1];
  E1[2] = V1[2] - V0[2];
  ;
  E2[0] = V2[0] - V0[0];
  E2[1] = V2[1] - V0[1];
  E2[2] = V2[2] - V0[2];
  ;
  N1[0] = E1[1] * E2[2] - E1[2] * E2[1];
  N1[1] = E1[2] * E2[0] - E1[0] * E2[2];
  N1[2] = E1[0] * E2[1] - E1[1] * E2[0];
  ;
  d1 = -(N1[0] * V0[0] + N1[1] * V0[1] + N1[2] * V0[2]);
  du0 = (N1[0] * U0[0] + N1[1] * U0[1] + N1[2] * U0[2]) + d1;
  du1 = (N1[0] * U1[0] + N1[1] * U1[1] + N1[2] * U1[2]) + d1;
  du2 = (N1[0] * U2[0] + N1[1] * U2[1] + N1[2] * U2[2]) + d1;
  if (((float)fabs(du0)) < 0.005)
    du0 = 0.0;
  if (((float)fabs(du1)) < 0.005)
    du1 = 0.0;
  if (((float)fabs(du2)) < 0.005)
    du2 = 0.0;
  du0du1 = du0 * du1;
  du0du2 = du0 * du2;
  if (du0du1 > 0.0f && du0du2 > 0.0f)
    return 0;
  E1[0] = U1[0] - U0[0];
  E1[1] = U1[1] - U0[1];
  E1[2] = U1[2] - U0[2];
  ;
  E2[0] = U2[0] - U0[0];
  E2[1] = U2[1] - U0[1];
  E2[2] = U2[2] - U0[2];
  ;
  N2[0] = E1[1] * E2[2] - E1[2] * E2[1];
  N2[1] = E1[2] * E2[0] - E1[0] * E2[2];
  N2[2] = E1[0] * E2[1] - E1[1] * E2[0];
  ;
  d2 = -(N2[0] * U0[0] + N2[1] * U0[1] + N2[2] * U0[2]);
  dv0 = (N2[0] * V0[0] + N2[1] * V0[1] + N2[2] * V0[2]) + d2;
  dv1 = (N2[0] * V1[0] + N2[1] * V1[1] + N2[2] * V1[2]) + d2;
  dv2 = (N2[0] * V2[0] + N2[1] * V2[1] + N2[2] * V2[2]) + d2;
  if (((float)fabs(dv0)) < 0.005)
    dv0 = 0.0;
  if (((float)fabs(dv1)) < 0.005)
    dv1 = 0.0;
  if (((float)fabs(dv2)) < 0.005)
    dv2 = 0.0;
  dv0dv1 = dv0 * dv1;
  dv0dv2 = dv0 * dv2;
  if (dv0dv1 > 0.0f && dv0dv2 > 0.0f)
    return 0;
  D[0] = N1[1] * N2[2] - N1[2] * N2[1];
  D[1] = N1[2] * N2[0] - N1[0] * N2[2];
  D[2] = N1[0] * N2[1] - N1[1] * N2[0];
  ;
  max = (float)((float)fabs(D[0]));
  index = 0;
  bb = (float)((float)fabs(D[1]));
  cc = (float)((float)fabs(D[2]));
  if (bb > max)
    max = bb, index = 1;
  if (cc > max)
    max = cc, index = 2;
  vp0 = V0[index];
  vp1 = V1[index];
  vp2 = V2[index];
  up0 = U0[index];
  up1 = U1[index];
  up2 = U2[index];
  {
    if (dv0dv1 > 0.0f) {
      a = vp2;
      b = (vp0 - vp2) * dv2;
      c = (vp1 - vp2) * dv2;
      x0 = dv2 - dv0;
      x1 = dv2 - dv1;
    } else if (dv0dv2 > 0.0f) {
      a = vp1;
      b = (vp0 - vp1) * dv1;
      c = (vp2 - vp1) * dv1;
      x0 = dv1 - dv0;
      x1 = dv1 - dv2;
    } else if (dv1 * dv2 > 0.0f || dv0 != 0.0f) {
      a = vp0;
      b = (vp1 - vp0) * dv0;
      c = (vp2 - vp0) * dv0;
      x0 = dv0 - dv1;
      x1 = dv0 - dv2;
    } else if (dv1 != 0.0f) {
      a = vp1;
      b = (vp0 - vp1) * dv1;
      c = (vp2 - vp1) * dv1;
      x0 = dv1 - dv0;
      x1 = dv1 - dv2;
    } else if (dv2 != 0.0f) {
      a = vp2;
      b = (vp0 - vp2) * dv2;
      c = (vp1 - vp2) * dv2;
      x0 = dv2 - dv0;
      x1 = dv2 - dv1;
    } else {
      return coplanar_tri_tri(N1, V0, V1, V2, U0, U1, U2);
    }
  };
  {
    if (du0du1 > 0.0f) {
      d = up2;
      e = (up0 - up2) * du2;
      f = (up1 - up2) * du2;
      y0 = du2 - du0;
      y1 = du2 - du1;
    } else if (du0du2 > 0.0f) {
      d = up1;
      e = (up0 - up1) * du1;
      f = (up2 - up1) * du1;
      y0 = du1 - du0;
      y1 = du1 - du2;
    } else if (du1 * du2 > 0.0f || du0 != 0.0f) {
      d = up0;
      e = (up1 - up0) * du0;
      f = (up2 - up0) * du0;
      y0 = du0 - du1;
      y1 = du0 - du2;
    } else if (du1 != 0.0f) {
      d = up1;
      e = (up0 - up1) * du1;
      f = (up2 - up1) * du1;
      y0 = du1 - du0;
      y1 = du1 - du2;
    } else if (du2 != 0.0f) {
      d = up2;
      e = (up0 - up2) * du2;
      f = (up1 - up2) * du2;
      y0 = du2 - du0;
      y1 = du2 - du1;
    } else {
      return coplanar_tri_tri(N1, V0, V1, V2, U0, U1, U2);
    }
  };
  xx = x0 * x1;
  yy = y0 * y1;
  xxyy = xx * yy;
  tmp = a * xxyy;
  isect1[0] = tmp + b * x1 * yy;
  isect1[1] = tmp + c * x0 * yy;
  tmp = d * xxyy;
  isect2[0] = tmp + e * xx * y1;
  isect2[1] = tmp + f * xx * y0;
  if (isect1[0] > isect1[1]) {
    float c;
    c = isect1[0];
    isect1[0] = isect1[1];
    isect1[1] = c;
  };
  if (isect2[0] > isect2[1]) {
    float c;
    c = isect2[0];
    isect2[0] = isect2[1];
    isect2[1] = c;
  };
  if (isect1[1] < isect2[0] || isect2[1] < isect1[0])
    return 0;
  return 1;
}
```