user: Translate the below assembly code into C programming language:

```asm
<Householder2>:
  endbr64
  push   %r15
  movslq %edi,%rax
  push   %r14
  shl    $0x3,%rax
  push   %r13
  push   %r12
  mov    %rsi,%r12
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %rcx,%rbx
  sub    $0x58,%rsp
  mov    %rax,0x40(%rsp)
  lea    -0x8(%rsi,%rax,1),%rax
  mov    %edi,0x34(%rsp)
  mov    %rax,0x38(%rsp)
  test   %edi,%edi
  jle    L568
  mov    (%rax),%rdx
  lea    -0x1(%rdi),%eax
  mov    %eax,0x48(%rsp)
  cmp    $0x2,%eax
  jbe    L233
  lea    0x8(%rdx),%rax
  cmp    %rax,%rbp
  je     L233
  shr    %edi
  xor    %eax,%eax
  mov    %edi,%ecx
  shl    $0x4,%rcx
  nopw   0x0(%rax,%rax,1)
L271:
  movupd (%rdx,%rax,1),%xmm7
  movups %xmm7,0x0(%rbp,%rax,1)
  add    $0x10,%rax
  cmp    %rax,%rcx
  jne    L271
  mov    0x34(%rsp),%edi
  mov    %edi,%eax
  and    $0xfffffffe,%eax
  and    $0x1,%edi
  je     L131
  movsd  (%rdx,%rax,8),%xmm0
  movsd  %xmm0,0x0(%rbp,%rax,8)
L131:
  mov    0x34(%rsp),%eax
  movslq 0x48(%rsp),%r14
  pxor   %xmm2,%xmm2
  movapd D38(%rip),%xmm5
  sub    $0x2,%eax
  mov    %eax,0x4c(%rsp)
  movslq %eax,%r10
  nopl   0x0(%rax,%rax,1)
L253:
  test   %r14d,%r14d
  mov    $0x1,%r15d
  mov    %r14d,%r11d
  mov    %r14d,%r13d
  mov    %r14d,0x30(%rsp)
  cmovg  %r14d,%r15d
  cmp    $0x1,%r14d
  jle    L453
  mov    %r15d,%edx
  lea    0x10(%rbp),%rsi
  mov    %rbp,%rax
  shr    %edx
  movapd %xmm2,%xmm1
  sub    $0x1,%edx
  shl    $0x4,%rdx
  add    %rsi,%rdx
  nopl   0x0(%rax)
L538:
  movupd (%rax),%xmm0
  add    $0x10,%rax
  andpd  %xmm5,%xmm0
  addsd  %xmm0,%xmm1
  unpckhpd %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  cmp    %rdx,%rax
  jne    L538
  mov    %r15d,%eax
  and    $0xfffffffe,%eax
  test   $0x1,%r15b
  je     L273
  cltq
  movsd  0x0(%rbp,%rax,8),%xmm0
  andpd  D53(%rip),%xmm0
  addsd  %xmm0,%xmm1
L273:
  ucomisd %xmm2,%xmm1
  lea    0x0(,%r14,8),%rcx
  jp     L303
  jne    L303
L223:
  movsd  0x0(%rbp,%r10,8),%xmm0
  mov    (%r12,%r10,8),%rdi
  xor    %eax,%eax
  mov    (%r12,%r14,8),%rsi
  movsd  %xmm0,(%rbx,%r14,8)
  nopl   0x0(%rax)
L499:
  movsd  (%rdi,%rax,8),%xmm0
  mov    (%r12,%rax,8),%rdx
  movsd  %xmm0,0x0(%rbp,%rax,8)
  movq   $0x0,(%rsi,%rax,8)
  add    $0x1,%rax
  movq   $0x0,(%rdx,%rcx,1)
  cmp    %eax,%r13d
  jg     L499
  movapd %xmm2,%xmm6
L571:
  movsd  %xmm6,0x0(%rbp,%r14,8)
  sub    $0x1,%r14
  sub    $0x1,%r10
  test   %r14d,%r14d
  jg     L253
  mov    0x38(%rsp),%rax
  lea    0x8(%r12),%rdi
  mov    $0x8,%edx
  movsd  D27(%rip),%xmm4
  mov    (%rax),%r8
  mov    0x4c(%rsp),%eax
  lea    0x10(,%rax,8),%r9
  nopw   0x0(%rax,%rax,1)
L113:
  mov    -0x8(%rdi),%rax
  lea    -0x8(%rax,%rdx,1),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x8(%r8,%rdx,1)
  movsd  %xmm4,(%rax)
  movsd  0x0(%rbp,%rdx,1),%xmm1
  ucomisd %xmm2,%xmm1
  jp     L456
  jne    L456
L47:
  mov    %r12,%rax
  nopl   0x0(%rax)
L563:
  mov    (%rax),%rcx
  add    $0x8,%rax
  movq   $0x0,(%rcx,%rdx,1)
  cmp    %rax,%rdi
  jne    L563
  add    $0x8,%rdx
  add    $0x8,%rdi
  cmp    %r9,%rdx
  jne    L113
L506:
  mov    0x34(%rsp),%ecx
  test   %ecx,%ecx
  jle    L382
  lea    0xf(%rbp),%rax
  sub    %r8,%rax
  cmp    $0x1e,%rax
  jbe    L267
  cmpl   $0x1,0x48(%rsp)
  jbe    L267
  mov    0x34(%rsp),%edx
  xor    %eax,%eax
  pxor   %xmm0,%xmm0
  shr    %edx
  shl    $0x4,%rdx
  nopl   (%rax)
L490:
  movupd (%r8,%rax,1),%xmm7
  movups %xmm7,0x0(%rbp,%rax,1)
  movups %xmm0,(%r8,%rax,1)
  add    $0x10,%rax
  cmp    %rax,%rdx
  jne    L490
  mov    0x34(%rsp),%edi
  mov    %edi,%eax
  and    $0xfffffffe,%eax
  and    $0x1,%edi
  je     L382
  lea    (%r8,%rax,8),%rdx
  movsd  (%rdx),%xmm0
  movsd  %xmm0,0x0(%rbp,%rax,8)
  movq   $0x0,(%rdx)
L382:
  mov    0x40(%rsp),%rax
  movsd  %xmm4,-0x8(%r8,%rax,1)
  movq   $0x0,(%rbx)
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  xchg   %ax,%ax
L303:
  mov    %r15d,%edx
  movapd %xmm1,%xmm4
  movapd %xmm2,%xmm6
  mov    %rbp,%rax
  shr    %edx
  unpcklpd %xmm4,%xmm4
  sub    $0x1,%edx
  shl    $0x4,%rdx
  add    %rsi,%rdx
  xchg   %ax,%ax
L514:
  movupd (%rax),%xmm0
  add    $0x10,%rax
  divpd  %xmm4,%xmm0
  movups %xmm0,-0x10(%rax)
  mulpd  %xmm0,%xmm0
  addsd  %xmm0,%xmm6
  unpckhpd %xmm0,%xmm0
  addsd  %xmm0,%xmm6
  cmp    %rdx,%rax
  jne    L514
  mov    %r15d,%eax
  and    $0xfffffffe,%eax
  test   $0x1,%r15b
  je     L502
L99:
  cltq
  lea    0x0(%rbp,%rax,8),%rax
  movsd  (%rax),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mulsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm6
L502:
  ucomisd %xmm6,%xmm2
  movsd  0x0(%rbp,%r10,8),%xmm3
  ja     L204
  movapd %xmm6,%xmm0
  sqrtsd %xmm0,%xmm0
L446:
  comisd %xmm2,%xmm3
  jbe    L187
  xorpd  D18(%rip),%xmm0
L187:
  mulsd  %xmm0,%xmm1
  mov    0x30(%rsp),%edi
  mov    %r10d,%r8d
  mov    $0x8,%edx
  lea    0x8(,%r8,8),%r9
  mov    %rcx,0x20(%rsp)
  test   %edi,%edi
  mov    %rbx,%rdi
  mov    %r10,0x10(%rsp)
  cmovg  %r9,%rdx
  xor    %esi,%esi
  mov    %r8,0x8(%rsp)
  mov    %r9,(%rsp)
  movsd  %xmm1,(%rbx,%r14,8)
  movapd %xmm0,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm0,%xmm3
  mov    %r11d,0x28(%rsp)
  movsd  %xmm3,0x0(%rbp,%r10,8)
  subsd  %xmm1,%xmm6
  movsd  %xmm6,0x18(%rsp)
  call   <memset@plt>
  movsd  0x0(%rbp),%xmm4
  mov    (%r12),%rax
  cmp    $0x1,%r13d
  mov    0x20(%rsp),%rcx
  mov    (%rsp),%r9
  pxor   %xmm2,%xmm2
  mov    0x8(%rsp),%r8
  mov    0x10(%rsp),%r10
  movsd  %xmm4,(%rax,%rcx,1)
  movsd  (%rax),%xmm1
  movsd  0x18(%rsp),%xmm6
  movapd D38(%rip),%xmm5
  mulsd  %xmm4,%xmm1
  addsd  (%rbx),%xmm1
  jle    L368
  mov    0x28(%rsp),%r11d
  mov    $0x1,%edi
  xor    %esi,%esi
  sub    $0x2,%r11d
  add    $0x2,%r11
  nopl   0x0(%rax,%rax,1)
L347:
  mov    %rdi,%rax
  nopl   0x0(%rax,%rax,1)
L465:
  mov    (%r12,%rax,8),%rdx
  movsd  0x0(%rbp,%rax,8),%xmm3
  movsd  (%rdx,%rsi,1),%xmm0
  mulsd  %xmm0,%xmm3
  mulsd  %xmm4,%xmm0
  addsd  (%rbx,%rax,8),%xmm0
  movsd  %xmm0,(%rbx,%rax,8)
  add    $0x1,%rax
  addsd  %xmm3,%xmm1
  cmp    %eax,%r13d
  jg     L465
  movsd  %xmm1,(%rbx,%rsi,1)
  add    $0x8,%rsi
  add    $0x1,%rdi
  movsd  0x0(%rbp,%rsi,1),%xmm4
  mov    (%r12,%rsi,1),%rax
  movsd  %xmm4,(%rax,%rcx,1)
  movsd  (%rax,%rsi,1),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  (%rbx,%rsi,1),%xmm1
  cmp    %r11,%rdi
  jne    L347
  mov    0x30(%rsp),%esi
  xor    %eax,%eax
  sub    $0x8,%r9
  test   %esi,%esi
  cmovle %rax,%r9
  lea    0xf(%rbx),%rax
  sub    %rbp,%rax
  movsd  %xmm1,(%rbx,%r9,1)
  cmp    $0x1e,%rax
  jbe    L201
  mov    %r15d,%edx
  movapd %xmm6,%xmm4
  movapd %xmm2,%xmm0
  xor    %eax,%eax
  shr    %edx
  unpcklpd %xmm4,%xmm4
  shl    $0x4,%rdx
  nopl   0x0(%rax,%rax,1)
L89:
  movupd (%rbx,%rax,1),%xmm1
  divpd  %xmm4,%xmm1
  movups %xmm1,(%rbx,%rax,1)
  movupd 0x0(%rbp,%rax,1),%xmm3
  add    $0x10,%rax
  mulpd  %xmm1,%xmm3
  addsd  %xmm3,%xmm0
  unpckhpd %xmm3,%xmm3
  addsd  %xmm3,%xmm0
  cmp    %rax,%rdx
  jne    L89
  mov    %r15d,%eax
  and    $0xfffffffe,%eax
  test   $0x1,%r15b
  je     L443
  cltq
  lea    (%rbx,%rax,8),%rdx
  movsd  (%rdx),%xmm1
  divsd  %xmm6,%xmm1
  movsd  %xmm1,(%rdx)
  mulsd  0x0(%rbp,%rax,8),%xmm1
  addsd  %xmm1,%xmm0
L443:
  mov    $0x1,%edx
L342:
  movapd %xmm6,%xmm1
  lea    0x8(%rbp),%rax
  addsd  %xmm6,%xmm1
  divsd  %xmm1,%xmm0
  cmp    %rax,%rbx
  je     L430
  test   %dl,%dl
  je     L430
  mov    %r15d,%edx
  movapd %xmm0,%xmm4
  xor    %eax,%eax
  shr    %edx
  unpcklpd %xmm4,%xmm4
  shl    $0x4,%rdx
  nopl   (%rax)
L161:
  movupd 0x0(%rbp,%rax,1),%xmm3
  movupd (%rbx,%rax,1),%xmm1
  mulpd  %xmm4,%xmm3
  subpd  %xmm3,%xmm1
  movups %xmm1,(%rbx,%rax,1)
  add    $0x10,%rax
  cmp    %rax,%rdx
  jne    L161
  mov    %r15d,%eax
  and    $0xfffffffe,%eax
  and    $0x1,%r15d
  je     L451
  cltq
  mulsd  0x0(%rbp,%rax,8),%xmm0
  lea    (%rbx,%rax,8),%rdx
  movsd  (%rdx),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,(%rdx)
L451:
  mov    (%r12,%r10,8),%r9
  mov    (%r12,%r14,8),%rdi
L464:
  xor    %ecx,%ecx
  xchg   %ax,%ax
L102:
  movsd  0x0(%rbp,%rcx,8),%xmm4
  movsd  (%rbx,%rcx,8),%xmm3
  lea    0x0(,%rcx,8),%rsi
  mov    %rcx,%rax
  cs nopw 0x0(%rax,%rax,1)
L90:
  movsd  (%rbx,%rax,8),%xmm1
  movsd  0x0(%rbp,%rax,8),%xmm0
  mov    (%r12,%rax,8),%rdx
  add    $0x1,%rax
  mulsd  %xmm3,%xmm0
  mulsd  %xmm4,%xmm1
  add    %rsi,%rdx
  addsd  %xmm0,%xmm1
  movsd  (%rdx),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rdx)
  cmp    %eax,%r13d
  jg     L90
  movsd  (%r9,%rcx,8),%xmm0
  lea    0x1(%rcx),%rax
  movsd  %xmm0,0x0(%rbp,%rcx,8)
  movq   $0x0,(%rdi,%rcx,8)
  cmp    %r8,%rcx
  je     L571
  mov    %rax,%rcx
  jmp    L102
L456:
  xor    %eax,%eax
  nopl   0x0(%rax,%rax,1)
L305:
  mov    (%r12,%rax,1),%rcx
  movsd  (%rcx,%rdx,1),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,0x0(%rbp,%rax,1)
  add    $0x8,%rax
  cmp    %rax,%rdx
  jne    L305
  xor    %esi,%esi
  xchg   %ax,%ax
L39:
  mov    %r12,%rax
  movapd %xmm2,%xmm1
  nopw   0x0(%rax,%rax,1)
L445:
  mov    (%rax),%rcx
  add    $0x8,%rax
  movsd  (%rcx,%rdx,1),%xmm0
  mulsd  (%rcx,%rsi,1),%xmm0
  addsd  %xmm0,%xmm1
  cmp    %rax,%rdi
  jne    L445
  xor    %eax,%eax
  nopl   0x0(%rax)
L211:
  movsd  0x0(%rbp,%rax,1),%xmm3
  mov    (%r12,%rax,1),%rcx
  add    $0x8,%rax
  mulsd  %xmm1,%xmm3
  add    %rsi,%rcx
  movsd  (%rcx),%xmm0
  subsd  %xmm3,%xmm0
  movsd  %xmm0,(%rcx)
  cmp    %rax,%rdx
  jne    L211
  add    $0x8,%rsi
  cmp    %rsi,%rdx
  jne    L39
  jmp    L47
L430:
  xor    %eax,%eax
  cs nopw 0x0(%rax,%rax,1)
L422:
  movsd  0x0(%rbp,%rax,8),%xmm3
  movsd  (%rbx,%rax,8),%xmm1
  mulsd  %xmm0,%xmm3
  subsd  %xmm3,%xmm1
  movsd  %xmm1,(%rbx,%rax,8)
  add    $0x1,%rax
  cmp    %eax,%r13d
  jg     L422
  mov    (%r12,%r10,8),%r9
  mov    (%r12,%r14,8),%rdi
  test   %r13d,%r13d
  jg     L464
  movsd  (%r9),%xmm0
  movsd  %xmm0,0x0(%rbp)
  movq   $0x0,(%rdi)
  jmp    L571
L453:
  movsd  0x0(%rbp),%xmm1
  andpd  D53(%rip),%xmm1
  lea    0x0(,%r14,8),%rcx
  addsd  %xmm2,%xmm1
  ucomisd %xmm2,%xmm1
  jp     L542
  je     L223
L542:
  movapd %xmm2,%xmm6
  xor    %eax,%eax
  jmp    L99
L368:
  mov    0x30(%rsp),%edx
  sub    $0x8,%r9
  xor    %eax,%eax
  test   %edx,%edx
  cmovle %rax,%r9
  xor    %edx,%edx
  movsd  %xmm1,(%rbx,%r9,1)
  movsd  (%rbx),%xmm0
  divsd  %xmm6,%xmm0
  movsd  %xmm0,(%rbx)
  mulsd  0x0(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  jmp    L342
L201:
  xor    %eax,%eax
  movapd %xmm2,%xmm0
L40:
  movsd  (%rbx,%rax,8),%xmm1
  divsd  %xmm6,%xmm1
  movsd  %xmm1,(%rbx,%rax,8)
  mulsd  0x0(%rbp,%rax,8),%xmm1
  add    $0x1,%rax
  addsd  %xmm1,%xmm0
  cmp    %eax,%r13d
  jg     L40
  jmp    L443
L267:
  mov    0x34(%rsp),%eax
  xor    %edx,%edx
L265:
  movsd  (%r8,%rdx,8),%xmm0
  movsd  %xmm0,0x0(%rbp,%rdx,8)
  movq   $0x0,(%r8,%rdx,8)
  add    $0x1,%rdx
  cmp    %rdx,%rax
  jne    L265
  jmp    L382
L233:
  mov    0x34(%rsp),%ecx
  xor    %eax,%eax
L378:
  movsd  (%rdx,%rax,8),%xmm0
  movsd  %xmm0,0x0(%rbp,%rax,8)
  add    $0x1,%rax
  cmp    %rcx,%rax
  jne    L378
L235:
  mov    0x48(%rsp),%r8d
  test   %r8d,%r8d
  jg     L131
  mov    0x38(%rsp),%rax
  movsd  D27(%rip),%xmm4
  mov    (%rax),%r8
  jmp    L506
L568:
  mov    %edi,%eax
  sub    $0x1,%eax
  mov    %eax,0x48(%rsp)
  jmp    L235
L204:
  movapd %xmm6,%xmm0
  mov    %r10,0x28(%rsp)
  mov    %r11d,0x18(%rsp)
  mov    %rcx,0x8(%rsp)
  movsd  %xmm1,0x20(%rsp)
  movsd  %xmm3,0x10(%rsp)
  movsd  %xmm6,(%rsp)
  call   <sqrt@plt>
  mov    0x28(%rsp),%r10
  mov    0x18(%rsp),%r11d
  pxor   %xmm2,%xmm2
  movsd  0x20(%rsp),%xmm1
  movsd  0x10(%rsp),%xmm3
  mov    0x8(%rsp),%rcx
  movsd  (%rsp),%xmm6
  jmp    L446
```

tool_calls: name: extract_symbolic_data
arguments: tag: D38
type_guessed: qword[2]
name: extract_symbolic_data
arguments: tag: D53
type_guessed: qword[2]
name: extract_symbolic_data
arguments: tag: D27
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D18
type_guessed: f32[4]

tool: {"D38": [0x7fffffffffffffff,0x7fffffffffffffff]}

tool: {"D53": [0x7fffffffffffffff,0x0000000000000000]}

tool: D27: 1

tool: {"D18": [0.0,-0.0,0.0,0.0]}

assistant: ```c
void Householder2(int n, double **V, double *d, double *e) {
  int i, j, k;
  for (j = 0; j < n; j++) {
    d[j] = V[n - 1][j];
  }
  for (i = n - 1; i > 0; i--) {
    double scale = 0.0;
    double h = 0.0;
    for (k = 0; k < i; k++) {
      scale = scale + fabs(d[k]);
    }
    if (scale == 0.0) {
      e[i] = d[i - 1];
      for (j = 0; j < i; j++) {
        d[j] = V[i - 1][j];
        V[i][j] = 0.0;
        V[j][i] = 0.0;
      }
    } else {
      double f, g, hh;
      for (k = 0; k < i; k++) {
        d[k] /= scale;
        h += d[k] * d[k];
      }
      f = d[i - 1];
      g = sqrt(h);
      if (f > 0) {
        g = -g;
      }
      e[i] = scale * g;
      h = h - f * g;
      d[i - 1] = f - g;
      for (j = 0; j < i; j++) {
        e[j] = 0.0;
      }
      for (j = 0; j < i; j++) {
        f = d[j];
        V[j][i] = f;
        g = e[j] + V[j][j] * f;
        for (k = j + 1; k <= i - 1; k++) {
          g += V[k][j] * d[k];
          e[k] += V[k][j] * f;
        }
        e[j] = g;
      }
      f = 0.0;
      for (j = 0; j < i; j++) {
        e[j] /= h;
        f += e[j] * d[j];
      }
      hh = f / (h + h);
      for (j = 0; j < i; j++) {
        e[j] -= hh * d[j];
      }
      for (j = 0; j < i; j++) {
        f = d[j];
        g = e[j];
        for (k = j; k <= i - 1; k++) {
          V[k][j] -= (f * e[k] + g * d[k]);
        }
        d[j] = V[i - 1][j];
        V[i][j] = 0.0;
      }
    }
    d[i] = h;
  }
  for (i = 0; i < n - 1; i++) {
    double h;
    V[n - 1][i] = V[i][i];
    V[i][i] = 1.0;
    h = d[i + 1];
    if (h != 0.0) {
      for (k = 0; k <= i; k++) {
        d[k] = V[k][i + 1] / h;
      }
      for (j = 0; j <= i; j++) {
        double g = 0.0;
        for (k = 0; k <= i; k++) {
          g += V[k][i + 1] * V[k][j];
        }
        for (k = 0; k <= i; k++) {
          V[k][j] -= g * d[k];
        }
      }
    }
    for (k = 0; k <= i; k++) {
      V[k][i + 1] = 0.0;
    }
  }
  for (j = 0; j < n; j++) {
    d[j] = V[n - 1][j];
    V[n - 1][j] = 0.0;
  }
  V[n - 1][n - 1] = 1.0;
  e[0] = 0.0;
}
```