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

```asm
<avg_422_downsample_r_g_b_vectors_n_save_previous_sse2>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%r12
  mov    %rsi,%r13
  mov    %rdx,%r14
  mov    $0xe,%esi
  mov    0x0(%r13),%rdi
  call   <_mm_srli_si128@plt>
  mov    %rax,%rbx
  mov    $0x10,%esi
  mov    (%r12),%rdi
  call   <_mm_srli_epi32@plt>
  mov    %rax,%rbp
  mov    $0x4,%esi
  mov    %rax,%rdi
  call   <_mm_slli_si128@plt>
  mov    %rax,%rsi
  mov    %rbx,%rdi
  call   <_mm_or_si128@plt>
  mov    %rbp,%rsi
  mov    %rax,%rdi
  call   <_mm_avg_epu16@plt>
  mov    (%r12),%rsi
  mov    %rax,%rdi
  call   <_mm_avg_epu16@plt>
  mov    %rax,%rbx
  mov    %r12,%rdi
  call   <_mm_load_si128@plt>
  mov    %rax,0x0(%r13)
  mov    $0xa0,%esi
  mov    %rbx,%rdi
  call   <_mm_shufflehi_epi16@plt>
  mov    $0xa0,%esi
  mov    %rax,%rdi
  call   <_mm_shufflelo_epi16@plt>
  mov    %rax,(%r14)
  mov    $0xe,%esi
  mov    0x8(%r13),%rdi
  call   <_mm_srli_si128@plt>
  mov    %rax,%rbx
  lea    0x8(%r12),%r15
  mov    $0x10,%esi
  mov    0x8(%r12),%rdi
  call   <_mm_srli_epi32@plt>
  mov    %rax,%rbp
  mov    $0x4,%esi
  mov    %rax,%rdi
  call   <_mm_slli_si128@plt>
  mov    %rax,%rsi
  mov    %rbx,%rdi
  call   <_mm_or_si128@plt>
  mov    %rbp,%rsi
  mov    %rax,%rdi
  call   <_mm_avg_epu16@plt>
  mov    0x8(%r12),%rsi
  mov    %rax,%rdi
  call   <_mm_avg_epu16@plt>
  mov    %rax,%rbx
  mov    %r15,%rdi
  call   <_mm_load_si128@plt>
  mov    %rax,0x8(%r13)
  mov    $0xa0,%esi
  mov    %rbx,%rdi
  call   <_mm_shufflehi_epi16@plt>
  mov    $0xa0,%esi
  mov    %rax,%rdi
  call   <_mm_shufflelo_epi16@plt>
  mov    %rax,0x8(%r14)
  mov    $0xe,%esi
  mov    0x10(%r13),%rdi
  call   <_mm_srli_si128@plt>
  mov    %rax,%rbx
  lea    0x10(%r12),%r15
  mov    $0x10,%esi
  mov    0x10(%r12),%rdi
  call   <_mm_srli_epi32@plt>
  mov    %rax,%rbp
  mov    $0x4,%esi
  mov    %rax,%rdi
  call   <_mm_slli_si128@plt>
  mov    %rax,%rsi
  mov    %rbx,%rdi
  call   <_mm_or_si128@plt>
  mov    %rbp,%rsi
  mov    %rax,%rdi
  call   <_mm_avg_epu16@plt>
  mov    0x10(%r12),%rsi
  mov    %rax,%rdi
  call   <_mm_avg_epu16@plt>
  mov    %rax,%rbx
  mov    %r15,%rdi
  call   <_mm_load_si128@plt>
  mov    %rax,0x10(%r13)
  mov    $0xa0,%esi
  mov    %rbx,%rdi
  call   <_mm_shufflehi_epi16@plt>
  mov    $0xa0,%esi
  mov    %rax,%rdi
  call   <_mm_shufflelo_epi16@plt>
  mov    %rax,0x10(%r14)
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
extern void avg_422_downsample_r_g_b_vectors_n_save_previous_sse2(__m128i *in_3_v16i_current_r_g_b_vectors, __m128i *in_3_v16i_previous_r_g_b_vectors, __m128i *out_3_v16i_avg_422_r_g_b_vectors) {
  __m128i scratch1 = {0x0LL, 0x0LL};
  __m128i scratch2 = {0x0LL, 0x0LL};
  __m128i scratch3 = {0x0LL, 0x0LL};
  (scratch1) = _mm_srli_si128(in_3_v16i_previous_r_g_b_vectors[0], 14);
  (scratch2) = _mm_srli_epi32(in_3_v16i_current_r_g_b_vectors[0], 16);
  (scratch3) = _mm_slli_si128((scratch2), 4);
  (scratch1) = _mm_or_si128((scratch1), (scratch3));
  (scratch1) = _mm_avg_epu16((scratch1), (scratch2));
  (scratch1) = _mm_avg_epu16((scratch1), in_3_v16i_current_r_g_b_vectors[0]);
  in_3_v16i_previous_r_g_b_vectors[0] = _mm_load_si128(&in_3_v16i_current_r_g_b_vectors[0]);
  (scratch1) = _mm_shufflehi_epi16((scratch1), 0xA0);
  out_3_v16i_avg_422_r_g_b_vectors[0] = _mm_shufflelo_epi16((scratch1), 0xA0);
  (scratch1) = _mm_srli_si128(in_3_v16i_previous_r_g_b_vectors[1], 14);
  (scratch2) = _mm_srli_epi32(in_3_v16i_current_r_g_b_vectors[1], 16);
  (scratch3) = _mm_slli_si128((scratch2), 4);
  (scratch1) = _mm_or_si128((scratch1), (scratch3));
  (scratch1) = _mm_avg_epu16((scratch1), (scratch2));
  (scratch1) = _mm_avg_epu16((scratch1), in_3_v16i_current_r_g_b_vectors[1]);
  in_3_v16i_previous_r_g_b_vectors[1] = _mm_load_si128(&in_3_v16i_current_r_g_b_vectors[1]);
  (scratch1) = _mm_shufflehi_epi16((scratch1), 0xA0);
  out_3_v16i_avg_422_r_g_b_vectors[1] = _mm_shufflelo_epi16((scratch1), 0xA0);
  (scratch1) = _mm_srli_si128(in_3_v16i_previous_r_g_b_vectors[2], 14);
  (scratch2) = _mm_srli_epi32(in_3_v16i_current_r_g_b_vectors[2], 16);
  (scratch3) = _mm_slli_si128((scratch2), 4);
  (scratch1) = _mm_or_si128((scratch1), (scratch3));
  (scratch1) = _mm_avg_epu16((scratch1), (scratch2));
  (scratch1) = _mm_avg_epu16((scratch1), in_3_v16i_current_r_g_b_vectors[2]);
  in_3_v16i_previous_r_g_b_vectors[2] = _mm_load_si128(&in_3_v16i_current_r_g_b_vectors[2]);
  (scratch1) = _mm_shufflehi_epi16((scratch1), 0xA0);
  out_3_v16i_avg_422_r_g_b_vectors[2] = _mm_shufflelo_epi16((scratch1), 0xA0);
}
```