user: Please show me the C implementation that matches the assembly code listed below:

```asm
<unpack12_32_avx2>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%rbx
  mov    %rsi,%rbp
  mov    $0xfff,%edi
  call   <_mm256_set1_epi32@plt>
  mov    %eax,%r12d
  push   $0x0
  push   $0xc
  mov    $0x0,%r9d
  mov    $0x4,%r8d
  mov    $0x10,%ecx
  mov    $0x0,%edx
  mov    $0x8,%esi
  mov    $0x14,%edi
  call   <_mm256_set_epi32@plt>
  mov    %eax,%r13d
  mov    (%rbx),%eax
  mov    0x4(%rbx),%ecx
  mov    0x8(%rbx),%edi
  mov    %eax,%r9d
  sar    $0x18,%r9d
  mov    %ecx,%esi
  shl    $0x8,%esi
  mov    %ecx,%edx
  sar    $0x1c,%edx
  mov    %edi,%r8d
  shl    $0x4,%r8d
  or     %r8d,%edx
  push   %rax
  push   %rax
  or     %esi,%r9d
  mov    %ecx,%r8d
  mov    %edi,%esi
  call   <_mm256_set_epi32@plt>
  mov    %eax,%edi
  add    $0x20,%rsp
  mov    %r13d,%esi
  call   <_mm256_srlv_epi32@plt>
  mov    %eax,%edi
  mov    %r12d,%esi
  call   <_mm256_and_si256@plt>
  mov    %eax,%esi
  mov    %rbp,%rdi
  call   <_mm256_storeu_si256@plt>
  push   $0x0
  push   $0xc
  mov    $0x0,%r9d
  mov    $0x4,%r8d
  mov    $0x10,%ecx
  mov    $0x0,%edx
  mov    $0x8,%esi
  mov    $0x14,%edi
  call   <_mm256_set_epi32@plt>
  mov    %eax,%r13d
  mov    0xc(%rbx),%eax
  mov    0x10(%rbx),%ecx
  mov    0x14(%rbx),%edi
  mov    %eax,%r9d
  sar    $0x18,%r9d
  mov    %ecx,%esi
  shl    $0x8,%esi
  mov    %ecx,%edx
  sar    $0x1c,%edx
  mov    %edi,%r8d
  shl    $0x4,%r8d
  or     %r8d,%edx
  push   %rax
  push   %rax
  or     %esi,%r9d
  mov    %ecx,%r8d
  mov    %edi,%esi
  call   <_mm256_set_epi32@plt>
  mov    %eax,%edi
  add    $0x20,%rsp
  mov    %r13d,%esi
  call   <_mm256_srlv_epi32@plt>
  mov    %eax,%edi
  mov    %r12d,%esi
  call   <_mm256_and_si256@plt>
  mov    %eax,%esi
  lea    0x20(%rbp),%rdi
  call   <_mm256_storeu_si256@plt>
  push   $0x0
  push   $0xc
  mov    $0x0,%r9d
  mov    $0x4,%r8d
  mov    $0x10,%ecx
  mov    $0x0,%edx
  mov    $0x8,%esi
  mov    $0x14,%edi
  call   <_mm256_set_epi32@plt>
  mov    %eax,%r13d
  mov    0x18(%rbx),%eax
  mov    0x1c(%rbx),%ecx
  mov    0x20(%rbx),%edi
  mov    %eax,%r9d
  sar    $0x18,%r9d
  mov    %ecx,%esi
  shl    $0x8,%esi
  mov    %ecx,%edx
  sar    $0x1c,%edx
  mov    %edi,%r8d
  shl    $0x4,%r8d
  or     %r8d,%edx
  push   %rax
  push   %rax
  or     %esi,%r9d
  mov    %ecx,%r8d
  mov    %edi,%esi
  call   <_mm256_set_epi32@plt>
  mov    %eax,%edi
  add    $0x20,%rsp
  mov    %r13d,%esi
  call   <_mm256_srlv_epi32@plt>
  mov    %eax,%edi
  mov    %r12d,%esi
  call   <_mm256_and_si256@plt>
  mov    %eax,%esi
  lea    0x40(%rbp),%rdi
  call   <_mm256_storeu_si256@plt>
  push   $0x0
  push   $0xc
  mov    $0x0,%r9d
  mov    $0x4,%r8d
  mov    $0x10,%ecx
  mov    $0x0,%edx
  mov    $0x8,%esi
  mov    $0x14,%edi
  call   <_mm256_set_epi32@plt>
  mov    %eax,%r13d
  mov    0x24(%rbx),%eax
  mov    0x28(%rbx),%ecx
  mov    0x2c(%rbx),%edi
  mov    %eax,%r9d
  sar    $0x18,%r9d
  mov    %ecx,%esi
  shl    $0x8,%esi
  mov    %ecx,%edx
  sar    $0x1c,%edx
  mov    %edi,%r8d
  shl    $0x4,%r8d
  or     %r8d,%edx
  push   %rax
  push   %rax
  or     %esi,%r9d
  mov    %ecx,%r8d
  mov    %edi,%esi
  call   <_mm256_set_epi32@plt>
  mov    %eax,%edi
  add    $0x20,%rsp
  mov    %r13d,%esi
  call   <_mm256_srlv_epi32@plt>
  mov    %eax,%edi
  mov    %r12d,%esi
  call   <_mm256_and_si256@plt>
  mov    %eax,%esi
  lea    0x60(%rbp),%rdi
  call   <_mm256_storeu_si256@plt>
  lea    0x30(%rbx),%rax
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
```

assistant: ```c
const uint32_t *unpack12_32_avx2(const uint32_t *in, uint32_t *out) {
  uint32_t mask = 0xfff;
  __m256i reg_shifts, reg_inls, reg_masks;
  __m256i results;
  reg_masks = _mm256_set1_epi32(mask);
  reg_shifts = _mm256_set_epi32(20, 8, 0, 16, 4, 0, 12, 0);
  reg_inls = _mm256_set_epi32(in[2], in[2], in[1] >> 28 | in[2] << 4, in[1], in[1], in[0] >> 24 | in[1] << 8, 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(20, 8, 0, 16, 4, 0, 12, 0);
  reg_inls = _mm256_set_epi32(in[5], in[5], in[4] >> 28 | in[5] << 4, in[4], in[4], in[3] >> 24 | in[4] << 8, in[3], in[3]);
  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(20, 8, 0, 16, 4, 0, 12, 0);
  reg_inls = _mm256_set_epi32(in[8], in[8], in[7] >> 28 | in[8] << 4, in[7], in[7], in[6] >> 24 | in[7] << 8, in[6], in[6]);
  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(20, 8, 0, 16, 4, 0, 12, 0);
  reg_inls = _mm256_set_epi32(in[11], in[11], in[10] >> 28 | in[11] << 4, in[10], in[10], in[9] >> 24 | in[10] << 8, in[9], in[9]);
  results = _mm256_and_si256(_mm256_srlv_epi32(reg_inls, reg_shifts), reg_masks);
  _mm256_storeu_si256((__m256i *)(out), results);
  out += 8;
  in += 12;
  return in;
}
```