user: 这段汇编代码用C语言表示是什么样的：

```asm
<bn_mul_high>:
  endbr64
  push   %r15
  mov    %rsi,%r10
  push   %r14
  push   %r13
  push   %r12
  mov    %r9,%r12
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %rdi,%rbx
  mov    %r10,%rdi
  sub    $0x48,%rsp
  mov    %rcx,0x20(%rsp)
  mov    %r8d,%ecx
  shr    $0x1f,%ecx
  mov    %r8d,0x14(%rsp)
  add    %r8d,%ecx
  mov    %r10,0x18(%rsp)
  sar    %ecx
  movslq %ecx,%rax
  lea    0x0(,%rax,4),%r15
  mov    %eax,%edx
  mov    %rax,%r13
  mov    %rax,0x30(%rsp)
  lea    (%rsi,%r15,1),%r14
  mov    %r14,%rsi
  call   <bn_cmp_words@plt>
  mov    %r15,0x8(%rsp)
  add    %rbp,%r15
  mov    %r13d,%edx
  mov    %r15,%rdi
  mov    %rbp,%rsi
  mov    %eax,(%rsp)
  call   <bn_cmp_words@plt>
  mov    (%rsp),%ecx
  mov    0x8(%rsp),%rdi
  mov    %eax,%r8d
  mov    0x18(%rsp),%r10
  lea    (%rcx,%rcx,2),%eax
  add    %rbx,%rdi
  add    %r8d,%eax
  mov    %rdi,(%rsp)
  cmp    $0x2,%eax
  je     L140
  jg     L62
  cmp    $0xfffffffc,%eax
  je     L239
  cmp    $0xfffffffe,%eax
  jne    L246
  mov    %r10,%rdx
  mov    %r13d,%ecx
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <bn_sub_words@plt>
  mov    (%rsp),%rdi
  mov    %r13d,%ecx
  mov    %rbp,%rdx
  mov    %r15,%rsi
  call   <bn_sub_words@plt>
  movl   $0x1,0x18(%rsp)
  xchg   %ax,%ax
L223:
  movslq 0x14(%rsp),%rax
  mov    %rax,0x28(%rsp)
  shl    $0x2,%rax
  mov    %rax,0x38(%rsp)
  lea    (%r12,%rax,1),%rbp
  cmp    $0x8,%r13d
  je     L150
  sub    $0x8,%rsp
  xor    %r9d,%r9d
  xor    %r8d,%r8d
  mov    %r13d,%ecx
  push   %rbp
  mov    0x10(%rsp),%rdx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <bn_mul_recursive@plt>
  xor    %r9d,%r9d
  xor    %r8d,%r8d
  mov    %r13d,%ecx
  mov    %r15,%rdx
  mov    %r14,%rsi
  mov    %rbx,%rdi
  mov    %rbp,(%rsp)
  call   <bn_mul_recursive@plt>
  pop    %r9
  pop    %r10
L109:
  mov    0x14(%rsp),%eax
  mov    %rbx,%rsi
  add    %r13d,%eax
  movslq %eax,%r15
  mov    0x20(%rsp),%rax
  lea    (%r12,%r15,4),%r14
  test   %rax,%rax
  je     L291
  mov    %r13d,%ecx
  mov    %rax,%rdx
  mov    %r14,%rdi
  call   <bn_add_words@plt>
  mov    %r14,%rsi
L291:
  mov    0x18(%rsp),%r8d
  mov    %r13d,%ecx
  mov    %r12,%rdx
  mov    %rbp,%rdi
  test   %r8d,%r8d
  je     L145
  call   <bn_sub_words@plt>
  mov    0x20(%rsp),%rax
  test   %rax,%rax
  je     L328
L224:
  mov    0x8(%rsp),%rsi
  mov    %rax,%r15
  mov    %r13d,%ecx
  mov    %rbp,%rdx
  mov    %r14,%rdi
  add    %rax,%rsi
  call   <bn_sub_words@plt>
  mov    %r15,%rdx
  mov    %r14,%rsi
  mov    %r13d,%ecx
  mov    %rbp,%rdi
  call   <bn_add_words@plt>
  mov    %rbp,%rsi
  mov    %eax,%r15d
L272:
  mov    %r13d,%ecx
  mov    %rbx,%rdx
  mov    %rbp,%rdi
  call   <bn_add_words@plt>
  mov    0x8(%rsp),%r8
  mov    %r13d,%ecx
  mov    %r12,%rdx
  add    %eax,%r15d
  mov    0x18(%rsp),%eax
  mov    %rbp,%rsi
  mov    %rbp,%rdi
  add    %r12,%r8
  test   %eax,%eax
  mov    %r8,0x8(%rsp)
  je     L298
  call   <bn_sub_words@plt>
  mov    %r13d,%ecx
  mov    %r14,%rdx
  mov    %rbx,%rsi
  mov    %rbx,%rdi
  sub    %eax,%r15d
  call   <bn_add_words@plt>
  mov    (%rsp),%rdx
  mov    %r13d,%ecx
  mov    %rbx,%rsi
  mov    %rbx,%rdi
  mov    %rax,%r12
  call   <bn_add_words@plt>
  mov    0x8(%rsp),%rdx
  mov    %r13d,%ecx
  mov    %rbx,%rsi
  mov    %rbx,%rdi
  add    %eax,%r12d
  call   <bn_sub_words@plt>
  mov    %rax,%r8
  mov    %r12d,%eax
  sub    %r8d,%eax
L199:
  test   %r15d,%r15d
  je     L329
  mov    %r15d,%edx
  jle    L214
  nopl   (%rax)
L107:
  xor    %ecx,%ecx
  add    (%rbx),%edx
  setb   %cl
  mov    %edx,(%rbx)
  add    $0x4,%rbx
  mov    $0x1,%edx
  test   %ecx,%ecx
  jne    L107
L329:
  test   %eax,%eax
  je     L114
  jle    L308
  mov    (%rsp),%rbp
  nopl   0x0(%rax)
L108:
  xor    %edx,%edx
  add    0x0(%rbp),%eax
  setb   %dl
  mov    %eax,0x0(%rbp)
  add    $0x4,%rbp
  mov    $0x1,%eax
  test   %edx,%edx
  jne    L108
L114:
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
L62:
  cmp    $0x4,%eax
  jne    L246
  mov    %r13d,%ecx
  mov    %r14,%rdx
  mov    %r10,%rsi
  mov    %rbx,%rdi
  call   <bn_sub_words@plt>
  mov    (%rsp),%rdi
  mov    %r13d,%ecx
  mov    %rbp,%rdx
  mov    %r15,%rsi
  call   <bn_sub_words@plt>
L246:
  movl   $0x0,0x18(%rsp)
  jmp    L223
  nopl   (%rax)
L298:
  call   <bn_add_words@plt>
  mov    %r13d,%ecx
  mov    %r14,%rdx
  mov    %rbx,%rsi
  mov    %rbx,%rdi
  add    %eax,%r15d
  call   <bn_add_words@plt>
  mov    (%rsp),%rdx
  mov    %r13d,%ecx
  mov    %rbx,%rsi
  mov    %rbx,%rdi
  mov    %rax,%r12
  call   <bn_add_words@plt>
  mov    0x8(%rsp),%rdx
  mov    %r13d,%ecx
  mov    %rbx,%rsi
  mov    %rbx,%rdi
  add    %eax,%r12d
  call   <bn_add_words@plt>
  add    %r12d,%eax
  jmp    L199
  nopl   0x0(%rax)
L145:
  call   <bn_add_words@plt>
  mov    0x20(%rsp),%rax
  test   %rax,%rax
  jne    L224
L328:
  mov    0x14(%rsp),%edi
  cmp    $0x1,%edi
  jle    L2
  mov    0x30(%rsp),%rdx
  mov    0x38(%rsp),%rax
  add    0x28(%rsp),%rdx
  shl    $0x2,%rdx
  add    $0x4,%rax
  mov    %rdx,%rsi
  sub    %rax,%rsi
  cmp    $0x8,%rsi
  jbe    L56
  cmp    $0x7,%edi
  jle    L56
  mov    %r13d,%esi
  add    %r12,%rdx
  pxor   %xmm1,%xmm1
  xor    %eax,%eax
  shr    $0x2,%esi
  shl    $0x4,%rsi
  nopl   0x0(%rax,%rax,1)
L248:
  movdqu 0x0(%rbp,%rax,1),%xmm2
  movdqa %xmm1,%xmm0
  psubd  %xmm2,%xmm0
  movups %xmm0,(%rdx,%rax,1)
  add    $0x10,%rax
  cmp    %rsi,%rax
  jne    L248
  mov    %r13d,%eax
  and    $0xfffffffc,%eax
  test   $0x3,%r13b
  je     L2
  mov    0x28(%rsp),%rdi
  mov    %eax,%edx
  lea    (%rdx,%r15,1),%rsi
  add    %rdi,%rdx
  mov    (%r12,%rdx,4),%edx
  neg    %edx
  mov    %edx,(%r12,%rsi,4)
  lea    0x1(%rax),%edx
  cmp    %edx,%r13d
  jle    L2
  movslq %edx,%rdx
  add    $0x2,%eax
  lea    (%rdx,%r15,1),%rsi
  add    %rdi,%rdx
  mov    (%r12,%rdx,4),%edx
  neg    %edx
  mov    %edx,(%r12,%rsi,4)
  cmp    %eax,%r13d
  jle    L2
  cltq
  add    %rax,%r15
  add    %rdi,%rax
  mov    (%r12,%rax,4),%eax
  neg    %eax
  mov    %eax,(%r12,%r15,4)
L2:
  mov    %r14,%rsi
  xor    %r15d,%r15d
  jmp    L272
L214:
  neg    %edx
  jmp    L59
  nopl   0x0(%rax)
L206:
  mov    $0x1,%edx
L59:
  mov    (%rbx),%ecx
  add    $0x4,%rbx
  mov    %ecx,%esi
  sub    %edx,%esi
  mov    %esi,-0x4(%rbx)
  cmp    %ecx,%edx
  ja     L206
  jmp    L329
  nopl   0x0(%rax,%rax,1)
L308:
  mov    (%rsp),%rbp
  neg    %eax
  jmp    L202
L266:
  mov    $0x1,%eax
L202:
  mov    0x0(%rbp),%edx
  add    $0x4,%rbp
  mov    %edx,%ecx
  sub    %eax,%ecx
  mov    %ecx,-0x4(%rbp)
  cmp    %edx,%eax
  ja     L266
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  cs nopw 0x0(%rax,%rax,1)
L150:
  mov    (%rsp),%rdx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <bn_mul_comba8@plt>
  mov    %r15,%rdx
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <bn_mul_comba8@plt>
  jmp    L109
  nopw   0x0(%rax,%rax,1)
L140:
  mov    %r10,%rsi
  mov    %r13d,%ecx
  mov    %r14,%rdx
  mov    %rbx,%rdi
  call   <bn_sub_words@plt>
  mov    (%rsp),%rdi
  mov    %r13d,%ecx
  mov    %r15,%rdx
  mov    %rbp,%rsi
  call   <bn_sub_words@plt>
  movl   $0x1,0x18(%rsp)
  jmp    L223
  nopl   0x0(%rax,%rax,1)
L239:
  mov    %r10,%rdx
  mov    %r13d,%ecx
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <bn_sub_words@plt>
  mov    (%rsp),%rdi
  mov    %r13d,%ecx
  mov    %r15,%rdx
  mov    %rbp,%rsi
  call   <bn_sub_words@plt>
  movl   $0x0,0x18(%rsp)
  jmp    L223
L56:
  xor    %eax,%eax
  nopw   0x0(%rax,%rax,1)
L183:
  mov    0x0(%rbp,%rax,4),%edx
  neg    %edx
  mov    %edx,(%r14,%rax,4)
  add    $0x1,%rax
  cmp    %eax,%r13d
  jg     L183
  jmp    L2
```

assistant: ```c
void bn_mul_high(unsigned int *r, unsigned int *a, unsigned int *b, unsigned int *l, int n2, unsigned int *t) {
  int i, n;
  int c1, c2;
  int neg, oneg, zero;
  unsigned int ll, lc, *lp, *mp;
  n = n2 / 2;
  neg = zero = 0;
  c1 = bn_cmp_words(&(a[0]), &(a[n]), n);
  c2 = bn_cmp_words(&(b[n]), &(b[0]), n);
  switch (c1 * 3 + c2) {
  case -4:
    bn_sub_words(&(r[0]), &(a[n]), &(a[0]), n);
    bn_sub_words(&(r[n]), &(b[0]), &(b[n]), n);
    break;
  case -3:
    zero = 1;
    break;
  case -2:
    bn_sub_words(&(r[0]), &(a[n]), &(a[0]), n);
    bn_sub_words(&(r[n]), &(b[n]), &(b[0]), n);
    neg = 1;
    break;
  case -1:
  case 0:
  case 1:
    zero = 1;
    break;
  case 2:
    bn_sub_words(&(r[0]), &(a[0]), &(a[n]), n);
    bn_sub_words(&(r[n]), &(b[0]), &(b[n]), n);
    neg = 1;
    break;
  case 3:
    zero = 1;
    break;
  case 4:
    bn_sub_words(&(r[0]), &(a[0]), &(a[n]), n);
    bn_sub_words(&(r[n]), &(b[n]), &(b[0]), n);
    break;
  }
  oneg = neg;
  if (n == 8) {
    bn_mul_comba8(&(t[0]), &(r[0]), &(r[n]));
    bn_mul_comba8(r, &(a[n]), &(b[n]));
  } else {
    bn_mul_recursive(&(t[0]), &(r[0]), &(r[n]), n, 0, 0, &(t[n2]));
    bn_mul_recursive(r, &(a[n]), &(b[n]), n, 0, 0, &(t[n2]));
  }
  if (l != NULL) {
    lp = &(t[n2 + n]);
    c1 = (int)(bn_add_words(lp, &(r[0]), &(l[0]), n));
  } else {
    c1 = 0;
    lp = &(r[0]);
  }
  if (neg)
    neg = (int)(bn_sub_words(&(t[n2]), lp, &(t[0]), n));
  else {
    bn_add_words(&(t[n2]), lp, &(t[0]), n);
    neg = 0;
  }
  if (l != NULL) {
    bn_sub_words(&(t[n2 + n]), &(l[n]), &(t[n2]), n);
  } else {
    lp = &(t[n2 + n]);
    mp = &(t[n2]);
    for (i = 0; i < n; i++)
      lp[i] = ((~mp[i]) + 1) & (0xffffffffL);
  }
  if (l != NULL) {
    lp = &(t[n2]);
    c1 = (int)(bn_add_words(lp, &(t[n2 + n]), &(l[0]), n));
  } else {
    lp = &(t[n2 + n]);
    c1 = 0;
  }
  c1 += (int)(bn_add_words(&(t[n2]), lp, &(r[0]), n));
  if (oneg)
    c1 -= (int)(bn_sub_words(&(t[n2]), &(t[n2]), &(t[0]), n));
  else
    c1 += (int)(bn_add_words(&(t[n2]), &(t[n2]), &(t[0]), n));
  c2 = (int)(bn_add_words(&(r[0]), &(r[0]), &(t[n2 + n]), n));
  c2 += (int)(bn_add_words(&(r[0]), &(r[0]), &(r[n]), n));
  if (oneg)
    c2 -= (int)(bn_sub_words(&(r[0]), &(r[0]), &(t[n]), n));
  else
    c2 += (int)(bn_add_words(&(r[0]), &(r[0]), &(t[n]), n));
  if (c1 != 0) {
    i = 0;
    if (c1 > 0) {
      lc = c1;
      do {
        ll = (r[i] + lc) & (0xffffffffL);
        r[i++] = ll;
        lc = (lc > ll);
      } while (lc);
    } else {
      lc = -c1;
      do {
        ll = r[i];
        r[i++] = (ll - lc) & (0xffffffffL);
        lc = (lc > ll);
      } while (lc);
    }
  }
  if (c2 != 0) {
    i = n;
    if (c2 > 0) {
      lc = c2;
      do {
        ll = (r[i] + lc) & (0xffffffffL);
        r[i++] = ll;
        lc = (lc > ll);
      } while (lc);
    } else {
      lc = -c2;
      do {
        ll = r[i];
        r[i++] = (ll - lc) & (0xffffffffL);
        lc = (lc > ll);
      } while (lc);
    }
  }
}
```