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

```asm
<unpack15_32_avx2>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  movl   $0x7fff,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  mov    %eax,%edi
  call   <_mm256_set1_epi32@plt>
  mov    %eax,-0x10(%rbp)
  push   $0x0
  push   $0xf
  mov    $0x0,%r9d
  mov    $0xd,%r8d
  mov    $0x0,%ecx
  mov    $0xb,%edx
  mov    $0x0,%esi
  mov    $0x9,%edi
  call   <_mm256_set_epi32@plt>
  add    $0x10,%rsp
  mov    %eax,-0xc(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%r8d
  mov    -0x28(%rbp),%rax
  mov    (%rax),%edi
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  sar    $0x1e,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  shl    $0x2,%eax
  or     %eax,%edx
  mov    %edx,%r9d
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%r10d
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  sar    $0x1c,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  shl    $0x4,%eax
  mov    %edx,%ecx
  or     %eax,%ecx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  sar    $0x1a,%eax
  mov    %eax,%esi
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  shl    $0x6,%eax
  or     %eax,%esi
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  push   %r8
  push   %rdi
  mov    %r10d,%r8d
  mov    %eax,%edi
  call   <_mm256_set_epi32@plt>
  add    $0x10,%rsp
  mov    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%edx
  mov    -0x8(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm256_srlv_epi32@plt>
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  mov    %eax,%esi
  mov    %edx,%edi
  call   <_mm256_and_si256@plt>
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <_mm256_storeu_si256@plt>
  addq   $0x20,-0x30(%rbp)
  push   $0x0
  push   $0x7
  mov    $0x0,%r9d
  mov    $0x5,%r8d
  mov    $0x0,%ecx
  mov    $0x3,%edx
  mov    $0x0,%esi
  mov    $0x1,%edi
  call   <_mm256_set_epi32@plt>
  add    $0x10,%rsp
  mov    %eax,-0xc(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  sar    $0x18,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  or     %eax,%edx
  mov    %edx,%r8d
  mov    -0x28(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%edi
  mov    -0x28(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%eax
  sar    $0x16,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%eax
  shl    $0xa,%eax
  or     %eax,%edx
  mov    %edx,%r9d
  mov    -0x28(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%r10d
  mov    -0x28(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%eax
  sar    $0x14,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%eax
  shl    $0xc,%eax
  mov    %edx,%ecx
  or     %eax,%ecx
  mov    -0x28(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%edx
  mov    -0x28(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%eax
  sar    $0x12,%eax
  mov    %eax,%esi
  mov    -0x28(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%eax
  shl    $0xe,%eax
  or     %eax,%esi
  mov    -0x28(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%eax
  push   %r8
  push   %rdi
  mov    %r10d,%r8d
  mov    %eax,%edi
  call   <_mm256_set_epi32@plt>
  add    $0x10,%rsp
  mov    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%edx
  mov    -0x8(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm256_srlv_epi32@plt>
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  mov    %eax,%esi
  mov    %edx,%edi
  call   <_mm256_and_si256@plt>
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <_mm256_storeu_si256@plt>
  addq   $0x20,-0x30(%rbp)
  push   $0x10
  push   $0x0
  mov    $0xe,%r9d
  mov    $0x0,%r8d
  mov    $0xc,%ecx
  mov    $0x0,%edx
  mov    $0xa,%esi
  mov    $0x0,%edi
  call   <_mm256_set_epi32@plt>
  add    $0x10,%rsp
  mov    %eax,-0xc(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%ecx
  mov    -0x28(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%eax
  cltd
  mov    -0x28(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%eax
  add    %eax,%eax
  or     %eax,%edx
  mov    %edx,%r8d
  mov    -0x28(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%r9d
  mov    -0x28(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%eax
  sar    $0x1d,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x24,%rax
  mov    (%rax),%eax
  shl    $0x3,%eax
  or     %eax,%edx
  mov    %edx,%r10d
  mov    -0x28(%rbp),%rax
  add    $0x24,%rax
  mov    (%rax),%edx
  mov    -0x28(%rbp),%rax
  add    $0x24,%rax
  mov    (%rax),%eax
  sar    $0x1b,%eax
  mov    %eax,%esi
  mov    -0x28(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%eax
  shl    $0x5,%eax
  or     %eax,%esi
  mov    -0x28(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%eax
  mov    -0x28(%rbp),%rdi
  add    $0x28,%rdi
  mov    (%rdi),%edi
  sar    $0x19,%edi
  mov    %edi,%r11d
  mov    -0x28(%rbp),%rdi
  add    $0x2c,%rdi
  mov    (%rdi),%edi
  shl    $0x7,%edi
  or     %r11d,%edi
  push   %rcx
  push   %r8
  mov    %r10d,%r8d
  mov    %edx,%ecx
  mov    %esi,%edx
  mov    %eax,%esi
  call   <_mm256_set_epi32@plt>
  add    $0x10,%rsp
  mov    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%edx
  mov    -0x8(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm256_srlv_epi32@plt>
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  mov    %eax,%esi
  mov    %edx,%edi
  call   <_mm256_and_si256@plt>
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <_mm256_storeu_si256@plt>
  addq   $0x20,-0x30(%rbp)
  push   $0x8
  push   $0x0
  mov    $0x6,%r9d
  mov    $0x0,%r8d
  mov    $0x4,%ecx
  mov    $0x0,%edx
  mov    $0x2,%esi
  mov    $0x11,%edi
  call   <_mm256_set_epi32@plt>
  add    $0x10,%rsp
  mov    %eax,-0xc(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x2c,%rax
  mov    (%rax),%ecx
  mov    -0x28(%rbp),%rax
  add    $0x2c,%rax
  mov    (%rax),%eax
  sar    $0x17,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%eax
  shl    $0x9,%eax
  or     %eax,%edx
  mov    %edx,%r8d
  mov    -0x28(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%r9d
  mov    -0x28(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%eax
  sar    $0x15,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x34,%rax
  mov    (%rax),%eax
  shl    $0xb,%eax
  or     %eax,%edx
  mov    %edx,%r10d
  mov    -0x28(%rbp),%rax
  add    $0x34,%rax
  mov    (%rax),%edx
  mov    -0x28(%rbp),%rax
  add    $0x34,%rax
  mov    (%rax),%eax
  sar    $0x13,%eax
  mov    %eax,%esi
  mov    -0x28(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%eax
  shl    $0xd,%eax
  or     %eax,%esi
  mov    %esi,%edi
  mov    -0x28(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%esi
  mov    -0x28(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%eax
  push   %rcx
  push   %r8
  mov    %r10d,%r8d
  mov    %edx,%ecx
  mov    %edi,%edx
  mov    %eax,%edi
  call   <_mm256_set_epi32@plt>
  add    $0x10,%rsp
  mov    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%edx
  mov    -0x8(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm256_srlv_epi32@plt>
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  mov    %eax,%esi
  mov    %edx,%edi
  call   <_mm256_and_si256@plt>
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <_mm256_storeu_si256@plt>
  addq   $0x20,-0x30(%rbp)
  addq   $0x3c,-0x28(%rbp)
  mov    -0x28(%rbp),%rax
  leave
  ret
```

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