user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<softfloat_shiftRightJam256M>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %esi,-0x2c(%rbp)
  mov    %rdx,-0x38(%rbp)
  movl   $0x0,-0x18(%rbp)
  mov    -0x2c(%rbp),%eax
  sar    $0x6,%eax
  mov    %eax,-0x14(%rbp)
  cmpl   $0x0,-0x14(%rbp)
  je     L37
  cmpl   $0x4,-0x14(%rbp)
  jle    L80
  movl   $0x4,-0x14(%rbp)
L80:
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x14(%rbp),%eax
  mov    %eax,-0x10(%rbp)
L121:
  mov    -0x8(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  mov    (%rax),%eax
  mov    %eax,-0x18(%rbp)
  cmpl   $0x0,-0x18(%rbp)
  jne    L74
  subl   $0x1,-0x10(%rbp)
  cmpl   $0x0,-0x10(%rbp)
  jne    L121
  jmp    L50
L74:
  nop
L50:
  mov    -0x38(%rbp),%rax
  mov    %rax,-0x8(%rbp)
L37:
  cmpl   $0x3,-0x14(%rbp)
  jg     L119
  mov    -0x14(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rax,-0x28(%rbp)
  mov    -0x2c(%rbp),%eax
  and    $0x3f,%eax
  mov    %eax,-0xc(%rbp)
  cmpl   $0x0,-0xc(%rbp)
  je     L48
  mov    $0x4,%eax
  sub    -0x14(%rbp),%eax
  mov    -0x38(%rbp),%rcx
  mov    -0xc(%rbp),%edx
  mov    -0x28(%rbp),%rsi
  mov    %eax,%edi
  call   <softfloat_shortShiftRightJamM@plt>
  cmpl   $0x0,-0x14(%rbp)
  jne    L91
  jmp    L115
L48:
  mov    -0x38(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    $0x4,%eax
  sub    -0x14(%rbp),%eax
  mov    %eax,-0x10(%rbp)
  jmp    L49
L86:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    %edx,(%rax)
  addq   $0x4,-0x28(%rbp)
  addq   $0x4,-0x8(%rbp)
  subl   $0x1,-0x10(%rbp)
L49:
  cmpl   $0x0,-0x10(%rbp)
  jne    L86
L91:
  mov    $0x4,%eax
  sub    -0x14(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x8(%rbp)
L119:
  mov    -0x8(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movl   $0x0,(%rax)
  subl   $0x1,-0x14(%rbp)
  cmpl   $0x0,-0x14(%rbp)
  jne    L119
  nop
L115:
  cmpl   $0x0,-0x18(%rbp)
  je     L83
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  or     $0x1,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
L83:
  nop
  leave
  ret
```

assistant: ```c
void softfloat_shiftRightJam256M(const uint64_t *aPtr, uint_fast32_t count, uint64_t *zPtr) {
  uint64_t wordJam;
  uint_fast32_t wordCount;
  uint64_t *ptr;
  uint_fast8_t i, innerCount;
  wordJam = 0;
  wordCount = count >> 6;
  if (wordCount) {
    if (4 < wordCount)
      wordCount = 4;
    ptr = (uint64_t *)(aPtr + 0);
    i = wordCount;
    do {
      wordJam = *ptr++;
      if (wordJam)
        break;
      --i;
    } while (i);
    ptr = zPtr;
  }
  if (wordCount < 4) {
    aPtr += (wordCount);
    innerCount = count & 63;
    if (innerCount) {
      softfloat_shortShiftRightJamM(4 - wordCount, aPtr, innerCount, zPtr + 0);
      if (!wordCount)
        goto wordJam;
    } else {
      aPtr += 0;
      ptr = zPtr + 0;
      for (i = 4 - wordCount; i; --i) {
        *ptr = *aPtr;
        aPtr += 1;
        ptr += 1;
      }
    }
    ptr = zPtr + ((4) - (wordCount));
  }
  do {
    *ptr++ = 0;
    --wordCount;
  } while (wordCount);
wordJam:
  if (wordJam)
    zPtr[0] |= 1;
}
```