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

```asm
<gf8_muladd_95>:
  endbr64
  test   %edx,%edx
  je     L11
  push   %r15
  lea    (%rdx,%rdx,1),%r15d
  mov    %rsi,%rcx
  mov    %rdi,%rax
  push   %r14
  mov    %edx,%r14d
  push   %r13
  shl    $0x2,%r14
  push   %r12
  mov    %r15,%r12
  shl    $0x2,%r15
  push   %rbp
  lea    (%r12,%rdx,1),%esi
  push   %rbx
  mov    %rsi,%r12
  shl    $0x2,%rsi
  add    %r12d,%r12d
  shl    $0x2,%r12
  mov    %rsi,-0x28(%rsp)
  mov    %r14d,%esi
  shl    $0x2,%rsi
  mov    %rsi,-0x20(%rsp)
  lea    (%rdx,%rdx,4),%esi
  shl    $0x2,%rsi
  mov    %rsi,-0x18(%rsp)
  lea    0x0(,%rdx,8),%esi
  sub    %edx,%esi
  shl    $0x2,%rsi
  mov    %rsi,-0x10(%rsp)
  lea    (%rdi,%r14,1),%rsi
  mov    %rsi,-0x8(%rsp)
  nopl   0x0(%rax,%rax,1)
L4:
  mov    (%rax,%r15,1),%esi
  mov    (%rax,%r12,1),%r11d
  add    $0x4,%rcx
  add    $0x4,%rax
  mov    -0x28(%rsp),%r10
  mov    -0x10(%rsp),%rdx
  mov    -0x20(%rsp),%rbp
  mov    -0x4(%rax),%r9d
  mov    -0x4(%rax,%r10,1),%r8d
  mov    -0x18(%rsp),%rbx
  mov    -0x4(%rax,%r14,1),%r13d
  xor    %esi,%r8d
  mov    -0x4(%rax,%rbx,1),%edi
  xor    %r8d,%r11d
  xor    -0x4(%rax,%rdx,1),%r8d
  mov    -0x4(%rax,%rbp,1),%edx
  xor    %r11d,%r9d
  xor    %r9d,%edx
  xor    %edx,%esi
  xor    %edi,%edx
  xor    %edx,%r13d
  mov    %esi,%ebp
  mov    %r13d,%ebx
  xor    -0x4(%rax,%r12,1),%r13d
  mov    %r13d,%r10d
  xor    %r13d,%ebp
  mov    -0x4(%rcx),%r13d
  xor    %ebp,%r9d
  xor    %r8d,%r13d
  xor    %r10d,%r13d
  mov    -0x28(%rsp),%r10
  mov    %r13d,-0x4(%rax)
  xor    -0x4(%rcx,%r14,1),%ebp
  mov    %ebp,-0x4(%rax,%r14,1)
  xor    -0x4(%rcx,%r15,1),%ebx
  mov    %ebx,-0x4(%rax,%r15,1)
  xor    -0x4(%rcx,%r10,1),%r11d
  mov    %r11d,-0x4(%rax,%r10,1)
  mov    -0x20(%rsp),%r11
  mov    -0x18(%rsp),%rbx
  mov    -0x4(%rcx,%r11,1),%r10d
  xor    %r9d,%r10d
  mov    %r10d,-0x4(%rax,%r11,1)
  xor    -0x4(%rcx,%rbx,1),%edx
  xor    %r9d,%edx
  mov    %edx,-0x4(%rax,%rbx,1)
  xor    -0x4(%rcx,%r12,1),%edi
  xor    %r8d,%edi
  mov    %edi,-0x4(%rax,%r12,1)
  mov    -0x10(%rsp),%rdi
  xor    -0x4(%rcx,%rdi,1),%esi
  mov    %esi,-0x4(%rax,%rdi,1)
  cmp    -0x8(%rsp),%rax
  jne    L4
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L11:
  ret
```

assistant: ```c
void gf8_muladd_95(uint8_t *out, uint8_t *in, unsigned int width) {
  unsigned int i;
  uint64_t *in_ptr = (uint64_t *)in;
  uint64_t *out_ptr = (uint64_t *)out;
  for (i = 0; i < width; i++) {
    uint64_t out0, out1, out2, out3, out4, out5, out6, out7;
    uint64_t tmp0, tmp1, tmp2, tmp3, tmp4, tmp5;
    uint64_t in0 = out_ptr[0];
    uint64_t in1 = out_ptr[width];
    uint64_t in2 = out_ptr[width * 2];
    uint64_t in3 = out_ptr[width * 3];
    uint64_t in4 = out_ptr[width * 4];
    uint64_t in5 = out_ptr[width * 5];
    uint64_t in6 = out_ptr[width * 6];
    uint64_t in7 = out_ptr[width * 7];
    tmp0 = in2 ^ in3;
    out3 = tmp0 ^ in6;
    tmp1 = tmp0 ^ in7;
    tmp2 = out3 ^ in0;
    out6 = tmp1 ^ in5;
    tmp3 = tmp2 ^ in4;
    out7 = tmp3 ^ in2;
    tmp4 = tmp3 ^ in5;
    out2 = tmp4 ^ in1;
    tmp5 = out2 ^ in6;
    out0 = tmp1 ^ tmp5;
    out1 = tmp5 ^ out7;
    out4 = tmp2 ^ out1;
    out5 = tmp4 ^ out4;
    out_ptr[0] = out0 ^ in_ptr[0];
    out_ptr[width] = out1 ^ in_ptr[width];
    out_ptr[width * 2] = out2 ^ in_ptr[width * 2];
    out_ptr[width * 3] = out3 ^ in_ptr[width * 3];
    out_ptr[width * 4] = out4 ^ in_ptr[width * 4];
    out_ptr[width * 5] = out5 ^ in_ptr[width * 5];
    out_ptr[width * 6] = out6 ^ in_ptr[width * 6];
    out_ptr[width * 7] = out7 ^ in_ptr[width * 7];
    in_ptr++;
    out_ptr++;
  }
}
```