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

```asm
<student_t_p_2tail>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  movss  %xmm0,0x4(%rsp)
  movaps %xmm1,%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  lea    0x14(%rsp),%rsi
  lea    0x10(%rsp),%rdi
  call   <df_to_index@plt>
  pxor   %xmm0,%xmm0
  movss  0x4(%rsp),%xmm5
  comiss %xmm5,%xmm0
  ja     L73
L63:
  movss  0x14(%rsp),%xmm0
  mov    0x10(%rsp),%esi
  mov    $0x0,%edi
  call   <get_t@plt>
  movaps %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  movss  0x4(%rsp),%xmm6
  comiss %xmm1,%xmm6
  jbe    L87
L80:
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L129
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L73:
  xorps  D19(%rip),%xmm5
  movss  %xmm5,0x4(%rsp)
  jmp    L63
L87:
  movss  0x14(%rsp),%xmm0
  mov    0x10(%rsp),%esi
  mov    $0xbd,%edi
  call   <get_t@plt>
  movaps %xmm0,%xmm1
  movss  D17(%rip),%xmm0
  comiss 0x4(%rsp),%xmm1
  ja     L80
  mov    $0xbd,%ebp
  mov    $0x0,%r12d
  jmp    L118
L18:
  mov    %r12d,%r13d
  jmp    L44
L103:
  mov    %r13d,%ebp
L44:
  movss  0x14(%rsp),%xmm0
  mov    0x10(%rsp),%esi
  mov    %r13d,%edi
  call   <get_t@plt>
  movss  %xmm0,0x8(%rsp)
  movss  0x14(%rsp),%xmm0
  mov    0x10(%rsp),%esi
  mov    %ebp,%edi
  call   <get_t@plt>
  movss  0x4(%rsp),%xmm7
  movss  %xmm0,0xc(%rsp)
  comiss %xmm0,%xmm7
  setae  %dil
  movzbl %dil,%edi
  call   <assert@plt>
  movss  0x8(%rsp),%xmm6
  comiss 0x4(%rsp),%xmm6
  setae  %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %ebp,%edi
  call   <index_to_p@plt>
  mov    %eax,%ebx
  mov    %r13d,%edi
  call   <index_to_p@plt>
  mov    %eax,%edi
  mov    %ebx,%esi
  movss  0xc(%rsp),%xmm2
  movss  0x8(%rsp),%xmm1
  movss  0x4(%rsp),%xmm0
  call   <linear@plt>
  jmp    L80
L36:
  movss  0x4(%rsp),%xmm4
  ucomiss %xmm0,%xmm4
  jp     L89
  je     L103
L89:
  mov    %ebx,%r12d
L21:
  mov    %ebp,%eax
  sub    %r12d,%eax
  cmp    $0x1,%eax
  jle    L18
L118:
  lea    (%r12,%rbp,1),%eax
  mov    %eax,%ebx
  shr    $0x1f,%ebx
  add    %eax,%ebx
  sar    %ebx
  mov    %ebx,%r13d
  movss  0x14(%rsp),%xmm0
  mov    0x10(%rsp),%esi
  mov    %ebx,%edi
  call   <get_t@plt>
  movss  0x4(%rsp),%xmm3
  comiss %xmm3,%xmm0
  jae    L36
  ucomiss %xmm0,%xmm3
  cmovae %ebx,%ebp
  jmp    L21
L129:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: data_tag: D19
type: byte[16]
name: disassemble_data
arguments: data_tag: D17
type: f32

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

tool: D17: 1

assistant: ```c
float student_t_p_2tail(float t, float df) {
  int df_index1, p_index_min, p_index_mid, p_index_max;
  float df_weight1, t_max, t_mid, t_min;
  p_index_min = 0;
  p_index_max = 189;
  df_to_index(df, &df_index1, &df_weight1);
  if (t < 0)
    t = -t;
  if (t > get_t(p_index_min, df_index1, df_weight1))
    return 0.000;
  if (t < get_t(p_index_max, df_index1, df_weight1))
    return 1.000;
  while (p_index_max - p_index_min > 1) {
    p_index_mid = (p_index_min + p_index_max) / 2;
    t_mid = get_t(p_index_mid, df_index1, df_weight1);
    if (t_mid >= t)
      p_index_min = p_index_mid;
    if (t_mid <= t)
      p_index_max = p_index_mid;
  }
  t_max = get_t(p_index_min, df_index1, df_weight1);
  t_min = get_t(p_index_max, df_index1, df_weight1);
  assert(t >= t_min);
  assert(t <= t_max);
  return linear(t, t_max, index_to_p(p_index_min), t_min, index_to_p(p_index_max));
}
```