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

```asm
<mat4_ortho>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x8(%rbp)
  movss  %xmm0,-0xc(%rbp)
  movss  %xmm1,-0x10(%rbp)
  movss  %xmm2,-0x14(%rbp)
  movss  %xmm3,-0x18(%rbp)
  movss  %xmm4,-0x1c(%rbp)
  movss  %xmm5,-0x20(%rbp)
  movss  -0x10(%rbp),%xmm0
  movaps %xmm0,%xmm1
  subss  -0xc(%rbp),%xmm1
  movss  D47(%rip),%xmm0
  divss  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xc,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x18(%rbp),%xmm0
  movaps %xmm0,%xmm1
  subss  -0x14(%rbp),%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x14,%rax
  movss  D47(%rip),%xmm0
  divss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x1c,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x24,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x20(%rbp),%xmm0
  movaps %xmm0,%xmm1
  subss  -0x1c(%rbp),%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x28,%rax
  movss  D68(%rip),%xmm0
  divss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x2c,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x10(%rbp),%xmm0
  addss  -0xc(%rbp),%xmm0
  movss  -0x10(%rbp),%xmm1
  subss  -0xc(%rbp),%xmm1
  divss  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x30,%rax
  movss  D48(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x18(%rbp),%xmm0
  addss  -0x14(%rbp),%xmm0
  movss  -0x18(%rbp),%xmm1
  subss  -0x14(%rbp),%xmm1
  divss  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x34,%rax
  movss  D48(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x20(%rbp),%xmm0
  addss  -0x1c(%rbp),%xmm0
  movss  -0x20(%rbp),%xmm1
  subss  -0x1c(%rbp),%xmm1
  divss  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x38,%rax
  movss  D48(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x3c,%rax
  movss  D7(%rip),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  pop    %rbp
  ret
```

tool_calls: name: read_data
arguments: tag: D47
type: byte[4]
name: read_data
arguments: tag: D68
type: byte[4]
name: read_data
arguments: tag: D48
type: byte[4]
name: read_data
arguments: tag: D7
type: byte[4]

tool: {"D47": [0x00,0x00,0x00,0x40]}

tool: {"D68": [0x00,0x00,0x00,0xc0]}

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

tool: {"D7": [0x00,0x00,0x80,0x3f]}

assistant: ```c
float *mat4_ortho(float *result, float l, float r, float b, float t, float n, float f) {
  result[0] = 2.0f / (r - l);
  result[1] = 0.0f;
  result[2] = 0.0f;
  result[3] = 0.0f;
  result[4] = 0.0f;
  result[5] = 2.0f / (t - b);
  result[6] = 0.0f;
  result[7] = 0.0f;
  result[8] = 0.0f;
  result[9] = 0.0f;
  result[10] = -2.0f / (f - n);
  result[11] = 0.0f;
  result[12] = -((r + l) / (r - l));
  result[13] = -((t + b) / (t - b));
  result[14] = -((f + n) / (f - n));
  result[15] = 1.0f;
  return result;
}
```