user: Converte this assembly snippet into its equivalent C code:

```asm
<softfloat_shiftRightJamM>:
  endbr64
  push   %r13
  xor    %r13d,%r13d
  push   %r12
  mov    %rcx,%r12
  push   %rbp
  push   %rbx
  mov    %edx,%ebx
  sub    $0x8,%rsp
  sar    $0x5,%ebx
  je     L134
  cmp    %edi,%ebx
  cmovg  %edi,%ebx
  lea    -0x1(%rbx),%eax
  mov    %ebx,%r13d
  lea    0x4(%rsi,%rax,4),%rcx
  mov    %rsi,%rax
  jmp    L94
L8:
  cmp    %rcx,%rax
  je     L51
L94:
  mov    (%rax),%ebx
  add    $0x4,%rax
  test   %ebx,%ebx
  je     L8
L51:
  mov    %r12,%r8
L134:
  cmp    %edi,%r13d
  jge    L13
  movslq %r13d,%rax
  sub    %r13d,%edi
  shl    $0x2,%rax
  mov    %edi,%ebp
  lea    (%rsi,%rax,1),%r8
  and    $0x1f,%edx
  jne    L147
  lea    0x4(%rsi,%rax,1),%rdx
  mov    %r12,%rax
  sub    %rdx,%rax
  cmp    $0x8,%rax
  jbe    L169
  lea    -0x1(%rdi),%eax
  cmp    $0x2,%eax
  jbe    L169
  mov    %edi,%edx
  xor    %eax,%eax
  shr    $0x2,%edx
  shl    $0x4,%rdx
L11:
  movdqu (%r8,%rax,1),%xmm0
  movups %xmm0,(%r12,%rax,1)
  add    $0x10,%rax
  cmp    %rdx,%rax
  jne    L11
  mov    %ebp,%ecx
  mov    %ebp,%esi
  movslq %ebp,%rdx
  and    $0xfffffffc,%ecx
  mov    %ecx,%eax
  sub    %ecx,%esi
  shl    $0x2,%rax
  add    %rax,%r8
  add    %r12,%rax
  cmp    %ecx,%ebp
  je     L160
  mov    (%r8),%ecx
  mov    %ecx,(%rax)
  cmp    $0x1,%esi
  je     L160
  mov    0x4(%r8),%ecx
  mov    %ecx,0x4(%rax)
  cmp    $0x2,%esi
  je     L160
  mov    0x8(%r8),%ecx
  mov    %ecx,0x8(%rax)
L160:
  lea    (%r12,%rdx,4),%r8
L13:
  lea    -0x1(%r13),%eax
  xor    %esi,%esi
  mov    %r8,%rdi
  lea    0x4(,%rax,4),%rdx
  call   <memset@plt>
L17:
  test   %ebx,%ebx
  je     L129
  orl    $0x1,(%r12)
L129:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   0x0(%rax,%rax,1)
L147:
  mov    %r12,%rcx
  mov    %r8,%rsi
  call   <softfloat_shortShiftRightJamM@plt>
  test   %r13d,%r13d
  je     L17
  movslq %ebp,%rdx
  lea    (%r12,%rdx,4),%r8
  jmp    L13
L169:
  movslq %ebp,%rdx
  xor    %eax,%eax
  xchg   %ax,%ax
L44:
  mov    (%r8,%rax,4),%ecx
  mov    %ecx,(%r12,%rax,4)
  add    $0x1,%rax
  cmp    %rax,%rdx
  jne    L44
  jmp    L160
```

assistant: ```c
void softfloat_shiftRightJamM(uint_fast8_t size_words, const uint32_t *aPtr, uint32_t dist, uint32_t *zPtr) {
  uint32_t wordJam, wordDist, *ptr;
  uint_fast8_t i, innerDist;
  wordJam = 0;
  wordDist = dist >> 5;
  if (wordDist) {
    if (size_words < wordDist)
      wordDist = size_words;
    ptr = (uint32_t *)(aPtr + 0);
    i = wordDist;
    do {
      wordJam = *ptr++;
      if (wordJam)
        break;
      --i;
    } while (i);
    ptr = zPtr;
  }
  if (wordDist < size_words) {
    aPtr += (wordDist);
    innerDist = dist & 31;
    if (innerDist) {
      softfloat_shortShiftRightJamM(size_words - wordDist, aPtr, innerDist, zPtr + 0);
      if (!wordDist)
        goto wordJam;
    } else {
      aPtr += 0;
      ptr = zPtr + 0;
      for (i = size_words - wordDist; i; --i) {
        *ptr = *aPtr;
        aPtr += 1;
        ptr += 1;
      }
    }
    ptr = zPtr + ((size_words) - (wordDist));
  }
  do {
    *ptr++ = 0;
    --wordDist;
  } while (wordDist);
wordJam:
  if (wordJam)
    zPtr[0] |= 1;
}
```