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

```asm
<k_check_epi32_overflow_4>:
  endbr64
  push   %r15
  mov    %rsi,%r15
  push   %r14
  mov    %rcx,%r14
  push   %r13
  mov    %rdi,%r13
  mov    $0xffffffff,%edi
  push   %r12
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %r8,%rbx
  sub    $0x8,%rsp
  call   <_mm_set1_epi32@plt>
  mov    0x0(%r13),%edi
  mov    $0x1,%esi
  mov    %eax,%r12d
  call   <_mm_slli_epi64@plt>
  mov    (%r15),%edi
  mov    $0x1,%esi
  mov    %eax,%r13d
  call   <_mm_slli_epi64@plt>
  mov    0x0(%rbp),%edi
  mov    $0x1,%esi
  mov    %eax,%r15d
  call   <_mm_slli_epi64@plt>
  mov    (%r14),%edi
  mov    $0x1,%esi
  mov    %eax,%ebp
  call   <_mm_slli_epi64@plt>
  mov    $0x1,%ecx
  xor    %esi,%esi
  xor    %edi,%edi
  mov    $0x3,%edx
  mov    %eax,%r14d
  call   <_MM_SHUFFLE@plt>
  mov    %r13d,%edi
  mov    %eax,%esi
  call   <_mm_shuffle_epi32@plt>
  mov    $0x1,%ecx
  xor    %esi,%esi
  xor    %edi,%edi
  mov    $0x3,%edx
  mov    %eax,%r13d
  call   <_MM_SHUFFLE@plt>
  mov    %r15d,%edi
  mov    %eax,%esi
  call   <_mm_shuffle_epi32@plt>
  mov    $0x1,%ecx
  xor    %esi,%esi
  xor    %edi,%edi
  mov    $0x3,%edx
  mov    %eax,%r15d
  call   <_MM_SHUFFLE@plt>
  mov    %ebp,%edi
  mov    %eax,%esi
  call   <_mm_shuffle_epi32@plt>
  mov    $0x1,%ecx
  xor    %esi,%esi
  xor    %edi,%edi
  mov    $0x3,%edx
  mov    %eax,%ebp
  call   <_MM_SHUFFLE@plt>
  mov    %r14d,%edi
  mov    %eax,%esi
  call   <_mm_shuffle_epi32@plt>
  mov    %r15d,%esi
  mov    %r13d,%edi
  mov    %eax,%r14d
  call   <_mm_unpacklo_epi64@plt>
  mov    %r14d,%esi
  mov    %ebp,%edi
  mov    %eax,%r13d
  call   <_mm_unpacklo_epi64@plt>
  mov    (%rbx),%esi
  mov    %r13d,%edi
  mov    %eax,%ebp
  call   <_mm_cmpeq_epi32@plt>
  mov    (%rbx),%esi
  mov    %ebp,%edi
  mov    %eax,%r15d
  call   <_mm_cmpeq_epi32@plt>
  mov    %r12d,%esi
  mov    %r13d,%edi
  mov    %eax,%r14d
  call   <_mm_cmpeq_epi32@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  mov    %eax,%r13d
  call   <_mm_cmpeq_epi32@plt>
  mov    %r13d,%esi
  mov    %r15d,%edi
  mov    %eax,%ebp
  call   <_mm_cmpeq_epi32@plt>
  mov    %eax,%edi
  call   <_mm_movemask_epi8@plt>
  mov    %ebp,%esi
  mov    %r14d,%edi
  mov    %eax,%ebx
  call   <_mm_cmpeq_epi32@plt>
  mov    %eax,%edi
  call   <_mm_movemask_epi8@plt>
  add    %ebx,%eax
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
int k_check_epi32_overflow_4(const __m128i *preg0, const __m128i *preg1, const __m128i *preg2, const __m128i *preg3, const __m128i *zero) {
  __m128i minus_one = _mm_set1_epi32(-1);
  __m128i reg0_shifted = _mm_slli_epi64(*preg0, 1);
  __m128i reg1_shifted = _mm_slli_epi64(*preg1, 1);
  __m128i reg2_shifted = _mm_slli_epi64(*preg2, 1);
  __m128i reg3_shifted = _mm_slli_epi64(*preg3, 1);
  __m128i reg0_top_dwords = _mm_shuffle_epi32(reg0_shifted, _MM_SHUFFLE(0, 0, 3, 1));
  __m128i reg1_top_dwords = _mm_shuffle_epi32(reg1_shifted, _MM_SHUFFLE(0, 0, 3, 1));
  __m128i reg2_top_dwords = _mm_shuffle_epi32(reg2_shifted, _MM_SHUFFLE(0, 0, 3, 1));
  __m128i reg3_top_dwords = _mm_shuffle_epi32(reg3_shifted, _MM_SHUFFLE(0, 0, 3, 1));
  __m128i top_dwords_01 = _mm_unpacklo_epi64(reg0_top_dwords, reg1_top_dwords);
  __m128i top_dwords_23 = _mm_unpacklo_epi64(reg2_top_dwords, reg3_top_dwords);
  __m128i valid_positve_01 = _mm_cmpeq_epi32(top_dwords_01, *zero);
  __m128i valid_positve_23 = _mm_cmpeq_epi32(top_dwords_23, *zero);
  __m128i valid_negative_01 = _mm_cmpeq_epi32(top_dwords_01, minus_one);
  __m128i valid_negative_23 = _mm_cmpeq_epi32(top_dwords_23, minus_one);
  int overflow_01 = _mm_movemask_epi8(_mm_cmpeq_epi32(valid_positve_01, valid_negative_01));
  int overflow_23 = _mm_movemask_epi8(_mm_cmpeq_epi32(valid_positve_23, valid_negative_23));
  return (overflow_01 + overflow_23);
}
```