user: What would the C source look like for the assembly code provided here?

```asm
<unpack3_32_avx2>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  mov    %rdi,%rbx
  mov    $0x7,%edi
  sub    $0x8,%rsp
  call   <_mm256_set1_epi32@plt>
  push   $0x0
  mov    $0x6,%r9d
  mov    $0x9,%r8d
  push   $0x3
  mov    $0xc,%ecx
  mov    $0xf,%edx
  mov    %eax,%r12d
  mov    $0x12,%esi
  mov    $0x15,%edi
  call   <_mm256_set_epi32@plt>
  mov    (%rbx),%edi
  mov    %eax,%r13d
  push   %rdi
  mov    %edi,%r9d
  mov    %edi,%r8d
  mov    %edi,%ecx
  push   %rdi
  mov    %edi,%edx
  mov    %edi,%esi
  call   <_mm256_set_epi32@plt>
  add    $0x20,%rsp
  mov    %r13d,%esi
  mov    %eax,%edi
  call   <_mm256_srlv_epi32@plt>
  mov    %r12d,%esi
  mov    %eax,%edi
  call   <_mm256_and_si256@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  call   <_mm256_storeu_si256@plt>
  push   $0x18
  xor    %r9d,%r9d
  mov    $0x1,%r8d
  push   $0x1b
  mov    $0x4,%ecx
  mov    $0x7,%edx
  mov    $0xa,%esi
  mov    $0xd,%edi
  call   <_mm256_set_epi32@plt>
  mov    0x4(%rbx),%edi
  mov    %eax,%r13d
  mov    (%rbx),%eax
  lea    0x0(,%rdi,4),%edx
  mov    %edi,%r8d
  mov    %edi,%ecx
  mov    %edi,%esi
  push   %rax
  mov    %eax,%r9d
  push   %rax
  sar    $0x1e,%r9d
  or     %edx,%r9d
  mov    %edi,%edx
  call   <_mm256_set_epi32@plt>
  add    $0x20,%rsp
  mov    %r13d,%esi
  mov    %eax,%edi
  call   <_mm256_srlv_epi32@plt>
  mov    %r12d,%esi
  mov    %eax,%edi
  call   <_mm256_and_si256@plt>
  lea    0x20(%rbp),%rdi
  mov    %eax,%esi
  call   <_mm256_storeu_si256@plt>
  push   $0x10
  xor    %edx,%edx
  mov    $0x16,%r9d
  push   $0x13
  mov    $0x19,%r8d
  mov    $0x1c,%ecx
  mov    $0x2,%esi
  mov    $0x5,%edi
  call   <_mm256_set_epi32@plt>
  mov    0x4(%rbx),%ecx
  mov    0x8(%rbx),%edi
  mov    %eax,%r13d
  push   %rcx
  mov    %ecx,%edx
  lea    (%rdi,%rdi,1),%eax
  mov    %ecx,%r9d
  push   %rcx
  sar    $0x1f,%edx
  mov    %ecx,%r8d
  mov    %edi,%esi
  or     %eax,%edx
  call   <_mm256_set_epi32@plt>
  add    $0x20,%rsp
  mov    %r13d,%esi
  mov    %eax,%edi
  call   <_mm256_srlv_epi32@plt>
  mov    %r12d,%esi
  mov    %eax,%edi
  call   <_mm256_and_si256@plt>
  lea    0x40(%rbp),%rdi
  mov    %eax,%esi
  call   <_mm256_storeu_si256@plt>
  push   $0x8
  mov    $0xe,%r9d
  mov    $0x11,%r8d
  push   $0xb
  mov    $0x14,%ecx
  mov    $0x17,%edx
  mov    $0x1a,%esi
  mov    $0x1d,%edi
  call   <_mm256_set_epi32@plt>
  mov    0x8(%rbx),%edi
  mov    %eax,%r13d
  push   %rdi
  mov    %edi,%r9d
  mov    %edi,%r8d
  mov    %edi,%ecx
  push   %rdi
  mov    %edi,%edx
  mov    %edi,%esi
  call   <_mm256_set_epi32@plt>
  add    $0x20,%rsp
  mov    %r13d,%esi
  mov    %eax,%edi
  call   <_mm256_srlv_epi32@plt>
  mov    %r12d,%esi
  mov    %eax,%edi
  call   <_mm256_and_si256@plt>
  lea    0x60(%rbp),%rdi
  mov    %eax,%esi
  call   <_mm256_storeu_si256@plt>
  add    $0x8,%rsp
  lea    0xc(%rbx),%rax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
```

assistant: ```c
const uint32_t *unpack3_32_avx2(const uint32_t *in, uint32_t *out) {
  uint32_t mask = 0x7;
  __m256i reg_shifts, reg_inls, reg_masks;
  __m256i results;
  reg_masks = _mm256_set1_epi32(mask);
  reg_shifts = _mm256_set_epi32(21, 18, 15, 12, 9, 6, 3, 0);
  reg_inls = _mm256_set_epi32(in[0], in[0], in[0], in[0], in[0], in[0], in[0], in[0]);
  results = _mm256_and_si256(_mm256_srlv_epi32(reg_inls, reg_shifts), reg_masks);
  _mm256_storeu_si256((__m256i *)(out), results);
  out += 8;
  reg_shifts = _mm256_set_epi32(13, 10, 7, 4, 1, 0, 27, 24);
  reg_inls = _mm256_set_epi32(in[1], in[1], in[1], in[1], in[1], in[0] >> 30 | in[1] << 2, in[0], in[0]);
  results = _mm256_and_si256(_mm256_srlv_epi32(reg_inls, reg_shifts), reg_masks);
  _mm256_storeu_si256((__m256i *)(out), results);
  out += 8;
  reg_shifts = _mm256_set_epi32(5, 2, 0, 28, 25, 22, 19, 16);
  reg_inls = _mm256_set_epi32(in[2], in[2], in[1] >> 31 | in[2] << 1, in[1], in[1], in[1], in[1], in[1]);
  results = _mm256_and_si256(_mm256_srlv_epi32(reg_inls, reg_shifts), reg_masks);
  _mm256_storeu_si256((__m256i *)(out), results);
  out += 8;
  reg_shifts = _mm256_set_epi32(29, 26, 23, 20, 17, 14, 11, 8);
  reg_inls = _mm256_set_epi32(in[2], in[2], in[2], in[2], in[2], in[2], in[2], in[2]);
  results = _mm256_and_si256(_mm256_srlv_epi32(reg_inls, reg_shifts), reg_masks);
  _mm256_storeu_si256((__m256i *)(out), results);
  out += 8;
  in += 3;
  return in;
}
```