user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<triBoxOverlap>:
  endbr64
  sub    $0x58,%rsp
  movss  0x14(%rdx),%xmm4
  movss  0x4(%rdi),%xmm3
  movss  0x8(%rdi),%xmm2
  movss  0x8(%rdx),%xmm0
  movss  D0(%rip),%xmm11
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  movss  0x10(%rdx),%xmm10
  movaps %xmm4,%xmm5
  movss  0x4(%rdx),%xmm1
  subss  %xmm2,%xmm0
  subss  %xmm2,%xmm5
  movss  0x1c(%rdx),%xmm4
  movss  0x20(%rdx),%xmm7
  subss  %xmm3,%xmm10
  subss  %xmm3,%xmm1
  movss  (%rdi),%xmm14
  movss  (%rdx),%xmm6
  subss  %xmm3,%xmm4
  subss  %xmm2,%xmm7
  movss  %xmm5,0xc(%rsp)
  subss  %xmm0,%xmm5
  movaps %xmm0,%xmm3
  subss  %xmm14,%xmm6
  movaps %xmm10,%xmm9
  movaps %xmm1,%xmm2
  movss  %xmm1,0x34(%rsp)
  subss  %xmm1,%xmm9
  movss  %xmm4,0x8(%rsp)
  movaps %xmm5,%xmm8
  movss  %xmm6,0x30(%rsp)
  andps  %xmm11,%xmm5
  mulss  %xmm8,%xmm2
  movss  %xmm0,0x38(%rsp)
  mulss  %xmm9,%xmm3
  movaps %xmm9,%xmm12
  mulss  %xmm8,%xmm4
  andps  %xmm11,%xmm12
  subss  %xmm3,%xmm2
  movaps %xmm7,%xmm3
  mulss  %xmm9,%xmm3
  subss  %xmm3,%xmm4
  comiss %xmm2,%xmm4
  ja     L178
  movaps %xmm2,%xmm3
  movaps %xmm4,%xmm2
  movaps %xmm3,%xmm4
L178:
  movss  0x4(%rsi),%xmm3
  movss  0x8(%rsi),%xmm13
  xor    %eax,%eax
  movaps %xmm3,%xmm15
  movss  %xmm3,0x4(%rsp)
  movaps %xmm13,%xmm3
  mulss  %xmm5,%xmm15
  mulss  %xmm12,%xmm3
  addss  %xmm15,%xmm3
  comiss %xmm3,%xmm2
  ja     L339
  xorps  D121(%rip),%xmm3
  comiss %xmm4,%xmm3
  ja     L339
  movss  0xc(%rdx),%xmm3
  movaps %xmm3,%xmm4
  movss  0x18(%rdx),%xmm3
  subss  %xmm14,%xmm4
  subss  %xmm14,%xmm3
  movaps %xmm0,%xmm14
  movss  %xmm4,0x10(%rsp)
  subss  %xmm6,%xmm4
  movaps %xmm3,%xmm2
  movss  %xmm3,0x18(%rsp)
  movaps %xmm4,%xmm15
  movaps %xmm8,%xmm4
  xorps  D121(%rip),%xmm4
  mulss  %xmm15,%xmm14
  movaps %xmm4,%xmm3
  movaps %xmm6,%xmm4
  mulss  %xmm3,%xmm4
  mulss  %xmm2,%xmm3
  addss  %xmm14,%xmm4
  movaps %xmm7,%xmm14
  mulss  %xmm15,%xmm14
  addss  %xmm14,%xmm3
  comiss %xmm4,%xmm3
  ja     L180
  movaps %xmm4,%xmm14
  movaps %xmm3,%xmm4
  movaps %xmm14,%xmm3
L180:
  movss  (%rsi),%xmm2
  movaps %xmm15,%xmm14
  xor    %eax,%eax
  andps  %xmm11,%xmm14
  mulss  %xmm2,%xmm5
  movss  %xmm2,0x14(%rsp)
  movaps %xmm13,%xmm2
  mulss  %xmm14,%xmm2
  addss  %xmm2,%xmm5
  comiss %xmm5,%xmm4
  ja     L339
  xorps  D121(%rip),%xmm5
  comiss %xmm3,%xmm5
  ja     L339
  movss  0x10(%rsp),%xmm4
  movaps %xmm10,%xmm3
  movss  0x8(%rsp),%xmm5
  mulss  %xmm15,%xmm3
  mulss  %xmm9,%xmm4
  mulss  %xmm15,%xmm5
  subss  %xmm3,%xmm4
  movss  0x18(%rsp),%xmm3
  mulss  %xmm9,%xmm3
  subss  %xmm5,%xmm3
  comiss %xmm3,%xmm4
  ja     L186
  movaps %xmm3,%xmm5
  movaps %xmm4,%xmm3
  movaps %xmm5,%xmm4
L186:
  mulss  0x14(%rsp),%xmm12
  xor    %eax,%eax
  mulss  0x4(%rsp),%xmm14
  addss  %xmm14,%xmm12
  comiss %xmm12,%xmm3
  ja     L339
  xorps  D121(%rip),%xmm12
  comiss %xmm4,%xmm12
  ja     L339
  movss  0x8(%rsp),%xmm5
  movaps %xmm7,%xmm14
  subss  0xc(%rsp),%xmm14
  movaps %xmm5,%xmm2
  subss  %xmm10,%xmm2
  mulss  %xmm14,%xmm5
  movaps %xmm2,%xmm4
  movaps %xmm2,%xmm3
  movss  %xmm2,0x24(%rsp)
  mulss  %xmm0,%xmm3
  andps  %xmm11,%xmm4
  movss  %xmm4,0x20(%rsp)
  mulss  %xmm7,%xmm2
  movaps %xmm14,%xmm4
  andps  %xmm11,%xmm4
  movss  %xmm4,0x1c(%rsp)
  movaps %xmm1,%xmm4
  mulss  %xmm14,%xmm4
  subss  %xmm2,%xmm5
  subss  %xmm3,%xmm4
  comiss %xmm4,%xmm5
  jbe    L160
L275:
  movss  0x20(%rsp),%xmm12
  movss  0x4(%rsp),%xmm3
  xor    %eax,%eax
  mulss  0x1c(%rsp),%xmm3
  mulss  %xmm13,%xmm12
  addss  %xmm12,%xmm3
  comiss %xmm3,%xmm4
  ja     L339
  xorps  D121(%rip),%xmm3
  comiss %xmm5,%xmm3
  ja     L339
  movss  0x18(%rsp),%xmm2
  movaps %xmm14,%xmm3
  movaps %xmm6,%xmm4
  xorps  D121(%rip),%xmm3
  mulss  %xmm3,%xmm4
  movaps %xmm2,%xmm12
  subss  0x10(%rsp),%xmm12
  mulss  %xmm2,%xmm3
  movaps %xmm12,%xmm5
  movss  %xmm12,0x28(%rsp)
  mulss  %xmm0,%xmm5
  addss  %xmm5,%xmm4
  movaps %xmm12,%xmm5
  mulss  %xmm7,%xmm5
  addss  %xmm5,%xmm3
  comiss %xmm4,%xmm3
  movaps %xmm3,%xmm12
  ja     L76
  movaps %xmm4,%xmm3
  movaps %xmm12,%xmm4
  movaps %xmm3,%xmm12
L76:
  movss  0x28(%rsp),%xmm2
  movss  0x1c(%rsp),%xmm3
  xor    %eax,%eax
  mulss  0x14(%rsp),%xmm3
  movaps %xmm2,%xmm5
  andps  %xmm11,%xmm5
  movss  %xmm5,0x2c(%rsp)
  mulss  %xmm13,%xmm5
  addss  %xmm5,%xmm3
  comiss %xmm3,%xmm4
  ja     L339
  xorps  D121(%rip),%xmm3
  comiss %xmm12,%xmm3
  ja     L339
  movss  0x24(%rsp),%xmm4
  movss  0x10(%rsp),%xmm5
  movaps %xmm2,%xmm3
  mulss  %xmm1,%xmm3
  mulss  %xmm10,%xmm2
  movaps %xmm4,%xmm12
  mulss  %xmm6,%xmm12
  mulss  %xmm4,%xmm5
  subss  %xmm3,%xmm12
  subss  %xmm2,%xmm5
  comiss %xmm12,%xmm5
  ja     L344
  movaps %xmm12,%xmm3
  movaps %xmm5,%xmm12
  movaps %xmm3,%xmm5
L344:
  movss  0x20(%rsp),%xmm3
  movss  0x2c(%rsp),%xmm4
  xor    %eax,%eax
  mulss  0x14(%rsp),%xmm3
  mulss  0x4(%rsp),%xmm4
  addss  %xmm4,%xmm3
  comiss %xmm3,%xmm12
  ja     L339
  xorps  D121(%rip),%xmm3
  comiss %xmm5,%xmm3
  ja     L339
  movaps %xmm1,%xmm2
  subss  0x8(%rsp),%xmm2
  movaps %xmm0,%xmm12
  subss  %xmm7,%xmm12
  movaps %xmm10,%xmm4
  movaps %xmm2,%xmm5
  movaps %xmm2,%xmm3
  movss  %xmm2,0x2c(%rsp)
  mulss  %xmm0,%xmm3
  andps  %xmm11,%xmm5
  movss  %xmm5,0x20(%rsp)
  mulss  %xmm12,%xmm4
  movaps %xmm12,%xmm5
  andps  %xmm11,%xmm5
  movss  %xmm5,0x1c(%rsp)
  movaps %xmm1,%xmm5
  mulss  %xmm12,%xmm5
  subss  %xmm3,%xmm5
  movss  0xc(%rsp),%xmm3
  mulss  %xmm2,%xmm3
  subss  %xmm3,%xmm4
  comiss %xmm5,%xmm4
  ja     L11
  movaps %xmm5,%xmm3
  movaps %xmm4,%xmm5
  movaps %xmm3,%xmm4
L11:
  movss  0x20(%rsp),%xmm2
  movss  0x4(%rsp),%xmm3
  xor    %eax,%eax
  mulss  0x1c(%rsp),%xmm3
  mulss  %xmm13,%xmm2
  addss  %xmm2,%xmm3
  comiss %xmm3,%xmm5
  ja     L339
  xorps  D121(%rip),%xmm3
  comiss %xmm4,%xmm3
  ja     L339
  movaps %xmm6,%xmm2
  subss  0x18(%rsp),%xmm2
  movaps %xmm12,%xmm5
  xorps  D121(%rip),%xmm5
  movaps %xmm6,%xmm4
  mulss  %xmm5,%xmm4
  movaps %xmm2,%xmm3
  mulss  %xmm0,%xmm3
  mulss  0x10(%rsp),%xmm5
  addss  %xmm3,%xmm4
  movaps %xmm4,%xmm12
  movss  0xc(%rsp),%xmm4
  mulss  %xmm2,%xmm4
  addss  %xmm4,%xmm5
  comiss %xmm12,%xmm5
  ja     L321
  movaps %xmm12,%xmm3
  movaps %xmm5,%xmm12
  movaps %xmm3,%xmm5
L321:
  andps  %xmm2,%xmm11
  movaps %xmm13,%xmm4
  movss  0x1c(%rsp),%xmm3
  xor    %eax,%eax
  mulss  0x14(%rsp),%xmm3
  mulss  %xmm11,%xmm4
  addss  %xmm4,%xmm3
  comiss %xmm3,%xmm12
  ja     L339
  xorps  D121(%rip),%xmm3
  comiss %xmm5,%xmm3
  ja     L339
  movss  0x2c(%rsp),%xmm4
  movss  0x10(%rsp),%xmm5
  movaps %xmm2,%xmm3
  mulss  %xmm10,%xmm3
  mulss  %xmm4,%xmm5
  mulss  0x8(%rsp),%xmm2
  mulss  0x18(%rsp),%xmm4
  subss  %xmm3,%xmm5
  subss  %xmm2,%xmm4
  comiss %xmm4,%xmm5
  movaps %xmm4,%xmm12
  ja     L114
  movaps %xmm5,%xmm12
  movaps %xmm4,%xmm5
L114:
  movaps %xmm11,%xmm3
  movss  0x20(%rsp),%xmm4
  movss  0x14(%rsp),%xmm2
  xor    %eax,%eax
  movss  0x4(%rsp),%xmm11
  mulss  %xmm2,%xmm4
  mulss  %xmm11,%xmm3
  addss  %xmm4,%xmm3
  comiss %xmm3,%xmm12
  ja     L339
  xorps  D121(%rip),%xmm3
  comiss %xmm5,%xmm3
  ja     L339
  movss  0x10(%rsp),%xmm5
  movaps %xmm5,%xmm3
  maxss  %xmm6,%xmm5
  minss  %xmm6,%xmm3
  movaps %xmm5,%xmm6
  movss  0x18(%rsp),%xmm5
  movaps %xmm5,%xmm4
  maxss  %xmm6,%xmm5
  minss  %xmm3,%xmm4
  comiss %xmm2,%xmm4
  ja     L339
  xorps  D121(%rip),%xmm2
  comiss %xmm5,%xmm2
  ja     L339
  movaps %xmm10,%xmm3
  movss  0x8(%rsp),%xmm6
  maxss  %xmm1,%xmm10
  minss  %xmm1,%xmm3
  movaps %xmm6,%xmm5
  maxss  %xmm10,%xmm6
  minss  %xmm3,%xmm5
  comiss %xmm11,%xmm5
  ja     L339
  xorps  D121(%rip),%xmm11
  comiss %xmm6,%xmm11
  ja     L339
  movss  0xc(%rsp),%xmm6
  movaps %xmm6,%xmm1
  maxss  %xmm0,%xmm6
  minss  %xmm0,%xmm1
  movaps %xmm6,%xmm0
  movaps %xmm7,%xmm6
  minss  %xmm1,%xmm6
  maxss  %xmm0,%xmm7
  comiss %xmm13,%xmm6
  ja     L339
  xorps  D121(%rip),%xmm13
  comiss %xmm7,%xmm13
  ja     L339
  movss  0x24(%rsp),%xmm7
  movaps %xmm9,%xmm0
  lea    0x30(%rsp),%r8
  mov    %rsi,%rdx
  mulss  %xmm14,%xmm0
  movss  0x28(%rsp),%xmm6
  lea    0x3c(%rsp),%rdi
  mov    %r8,%rsi
  movaps %xmm7,%xmm1
  mulss  %xmm8,%xmm1
  mulss  %xmm15,%xmm7
  mulss  %xmm6,%xmm8
  mulss  %xmm6,%xmm9
  subss  %xmm1,%xmm0
  movss  %xmm0,0x3c(%rsp)
  movaps %xmm14,%xmm0
  mulss  %xmm15,%xmm0
  subss  %xmm0,%xmm8
  movaps %xmm7,%xmm0
  subss  %xmm9,%xmm0
  movss  %xmm8,0x40(%rsp)
  movss  %xmm0,0x44(%rsp)
  call   <planeBoxOverlap@plt>
  test   %eax,%eax
  setne  %al
  movzbl %al,%eax
  nopw   0x0(%rax,%rax,1)
L339:
  mov    0x48(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L53
  add    $0x58,%rsp
  ret
  nopl   (%rax)
L160:
  movaps %xmm4,%xmm3
  movaps %xmm5,%xmm4
  movaps %xmm3,%xmm5
  jmp    L275
L53:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D0
type_guessed: dword
name: extract_symbolic_data
arguments: data_label: D121
type_guessed: byte[16]

tool: D0: 2147483647

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

assistant: ```c
int triBoxOverlap(float boxcenter[3], float boxhalfsize[3], float triverts[3][3]) {
  float v0[3], v1[3], v2[3];
  float min, max, p0, p1, p2, rad, fex, fey, fez;
  float normal[3], e0[3], e1[3], e2[3];
  v0[0] = triverts[0][0] - boxcenter[0];
  v0[1] = triverts[0][1] - boxcenter[1];
  v0[2] = triverts[0][2] - boxcenter[2];
  ;
  v1[0] = triverts[1][0] - boxcenter[0];
  v1[1] = triverts[1][1] - boxcenter[1];
  v1[2] = triverts[1][2] - boxcenter[2];
  ;
  v2[0] = triverts[2][0] - boxcenter[0];
  v2[1] = triverts[2][1] - boxcenter[1];
  v2[2] = triverts[2][2] - boxcenter[2];
  ;
  e0[0] = v1[0] - v0[0];
  e0[1] = v1[1] - v0[1];
  e0[2] = v1[2] - v0[2];
  ;
  e1[0] = v2[0] - v1[0];
  e1[1] = v2[1] - v1[1];
  e1[2] = v2[2] - v1[2];
  ;
  e2[0] = v0[0] - v2[0];
  e2[1] = v0[1] - v2[1];
  e2[2] = v0[2] - v2[2];
  ;
  fex = fabsf(e0[0]);
  fey = fabsf(e0[1]);
  fez = fabsf(e0[2]);
  p0 = e0[2] * v0[1] - e0[1] * v0[2];
  p2 = e0[2] * v2[1] - e0[1] * v2[2];
  if (p0 < p2) {
    min = p0;
    max = p2;
  } else {
    min = p2;
    max = p0;
  }
  rad = fez * boxhalfsize[1] + fey * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p0 = -e0[2] * v0[0] + e0[0] * v0[2];
  p2 = -e0[2] * v2[0] + e0[0] * v2[2];
  if (p0 < p2) {
    min = p0;
    max = p2;
  } else {
    min = p2;
    max = p0;
  }
  rad = fez * boxhalfsize[0] + fex * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p1 = e0[1] * v1[0] - e0[0] * v1[1];
  p2 = e0[1] * v2[0] - e0[0] * v2[1];
  if (p2 < p1) {
    min = p2;
    max = p1;
  } else {
    min = p1;
    max = p2;
  }
  rad = fey * boxhalfsize[0] + fex * boxhalfsize[1];
  if (min > rad || max < -rad)
    return 0;
  ;
  fex = fabsf(e1[0]);
  fey = fabsf(e1[1]);
  fez = fabsf(e1[2]);
  p0 = e1[2] * v0[1] - e1[1] * v0[2];
  p2 = e1[2] * v2[1] - e1[1] * v2[2];
  if (p0 < p2) {
    min = p0;
    max = p2;
  } else {
    min = p2;
    max = p0;
  }
  rad = fez * boxhalfsize[1] + fey * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p0 = -e1[2] * v0[0] + e1[0] * v0[2];
  p2 = -e1[2] * v2[0] + e1[0] * v2[2];
  if (p0 < p2) {
    min = p0;
    max = p2;
  } else {
    min = p2;
    max = p0;
  }
  rad = fez * boxhalfsize[0] + fex * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p0 = e1[1] * v0[0] - e1[0] * v0[1];
  p1 = e1[1] * v1[0] - e1[0] * v1[1];
  if (p0 < p1) {
    min = p0;
    max = p1;
  } else {
    min = p1;
    max = p0;
  }
  rad = fey * boxhalfsize[0] + fex * boxhalfsize[1];
  if (min > rad || max < -rad)
    return 0;
  ;
  fex = fabsf(e2[0]);
  fey = fabsf(e2[1]);
  fez = fabsf(e2[2]);
  p0 = e2[2] * v0[1] - e2[1] * v0[2];
  p1 = e2[2] * v1[1] - e2[1] * v1[2];
  if (p0 < p1) {
    min = p0;
    max = p1;
  } else {
    min = p1;
    max = p0;
  }
  rad = fez * boxhalfsize[1] + fey * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p0 = -e2[2] * v0[0] + e2[0] * v0[2];
  p1 = -e2[2] * v1[0] + e2[0] * v1[2];
  if (p0 < p1) {
    min = p0;
    max = p1;
  } else {
    min = p1;
    max = p0;
  }
  rad = fez * boxhalfsize[0] + fex * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p1 = e2[1] * v1[0] - e2[0] * v1[1];
  p2 = e2[1] * v2[0] - e2[0] * v2[1];
  if (p2 < p1) {
    min = p2;
    max = p1;
  } else {
    min = p1;
    max = p2;
  }
  rad = fey * boxhalfsize[0] + fex * boxhalfsize[1];
  if (min > rad || max < -rad)
    return 0;
  ;
  min = max = v0[0];
  if (v1[0] < min)
    min = v1[0];
  if (v1[0] > max)
    max = v1[0];
  if (v2[0] < min)
    min = v2[0];
  if (v2[0] > max)
    max = v2[0];
  ;
  if (min > boxhalfsize[0] || max < -boxhalfsize[0])
    return 0;
  min = max = v0[1];
  if (v1[1] < min)
    min = v1[1];
  if (v1[1] > max)
    max = v1[1];
  if (v2[1] < min)
    min = v2[1];
  if (v2[1] > max)
    max = v2[1];
  ;
  if (min > boxhalfsize[1] || max < -boxhalfsize[1])
    return 0;
  min = max = v0[2];
  if (v1[2] < min)
    min = v1[2];
  if (v1[2] > max)
    max = v1[2];
  if (v2[2] < min)
    min = v2[2];
  if (v2[2] > max)
    max = v2[2];
  ;
  if (min > boxhalfsize[2] || max < -boxhalfsize[2])
    return 0;
  normal[0] = e0[1] * e1[2] - e0[2] * e1[1];
  normal[1] = e0[2] * e1[0] - e0[0] * e1[2];
  normal[2] = e0[0] * e1[1] - e0[1] * e1[0];
  ;
  if (!planeBoxOverlap(normal, v0, boxhalfsize))
    return 0;
  return 1;
}
```