user: Converte this assembly snippet into its equivalent C code:

```asm
<kernel>:
  endbr64
  push   %r15
  lea    -0xf78(%rdi),%rax
  mov    %rdi,%rcx
  mov    %rsi,%r10
  push   %r14
  mov    $0x20,%r15d
  mov    $0x2000,%r14d
  lea    -0x80(%rdi),%r11
  push   %r13
  xor    %r13d,%r13d
  push   %r12
  mov    $0xfffffffffffff000,%r12
  push   %rbp
  lea    0x1f84(%rsi),%rbp
  push   %rbx
  lea    0x80(%rdi),%rbx
  mov    %rax,-0x10(%rsp)
L51:
  mov    -0x10(%rsp),%rax
  mov    $0xf8,%edi
  lea    0x0(%r13,%r12,1),%r9
  lea    (%r12,%r14,1),%r8
  lea    -0xf00(%rbp),%rsi
  sub    %r12,%rdi
  add    %rcx,%r9
  add    %rcx,%r8
  sub    %r12,%rax
  jmp    L28
  nopl   0x0(%rax,%rax,1)
L7:
  movups 0x1000(%rax),%xmm2
  movups 0xffc(%rax),%xmm0
  movups 0xff8(%rax),%xmm3
  movups 0x107c(%rax),%xmm4
  addps  %xmm2,%xmm0
  movups 0xf7c(%rax),%xmm5
  movups -0x4(%rax),%xmm6
  movups 0x1ffc(%rax),%xmm7
  addps  %xmm3,%xmm0
  addps  %xmm4,%xmm0
  addps  %xmm5,%xmm0
  addps  %xmm6,%xmm0
  addps  %xmm7,%xmm0
  movups %xmm0,(%rsi)
  movups 0x1010(%rax),%xmm2
  movups 0xc(%rax),%xmm6
  movups 0x100c(%rax),%xmm0
  movups 0x1008(%rax),%xmm3
  movups 0x108c(%rax),%xmm4
  movups 0xf8c(%rax),%xmm5
  addps  %xmm2,%xmm0
  movups 0x200c(%rax),%xmm7
  addps  %xmm3,%xmm0
  addps  %xmm4,%xmm0
  addps  %xmm5,%xmm0
  addps  %xmm6,%xmm0
  addps  %xmm7,%xmm0
  movups %xmm0,0x10(%rsi)
  movups 0x101c(%rax),%xmm2
  movups 0x1c(%rax),%xmm6
  movups 0x1020(%rax),%xmm0
  movups 0x1018(%rax),%xmm3
  movups 0x109c(%rax),%xmm4
  movups 0xf9c(%rax),%xmm5
  addps  %xmm2,%xmm0
  movups 0x201c(%rax),%xmm7
  addps  %xmm3,%xmm0
  addps  %xmm4,%xmm0
  addps  %xmm5,%xmm0
  addps  %xmm6,%xmm0
  addps  %xmm7,%xmm0
  movups %xmm0,0x20(%rsi)
  movups 0x1030(%rax),%xmm2
  movups 0x2c(%rax),%xmm6
  movups 0x102c(%rax),%xmm0
  movups 0x1028(%rax),%xmm3
  movups 0x10ac(%rax),%xmm4
  movups 0xfac(%rax),%xmm5
  addps  %xmm2,%xmm0
  movups 0x202c(%rax),%xmm7
  addps  %xmm3,%xmm0
  addps  %xmm4,%xmm0
  addps  %xmm5,%xmm0
  addps  %xmm6,%xmm0
  addps  %xmm7,%xmm0
  movups %xmm0,0x30(%rsi)
  movups 0x103c(%rax),%xmm0
  movups 0x3c(%rax),%xmm6
  movups 0x1040(%rax),%xmm2
  movups 0x1038(%rax),%xmm3
  movups 0x10bc(%rax),%xmm4
  movups 0xfbc(%rax),%xmm5
  addps  %xmm2,%xmm0
  movups 0x203c(%rax),%xmm7
  addps  %xmm3,%xmm0
  addps  %xmm4,%xmm0
  addps  %xmm5,%xmm0
  addps  %xmm6,%xmm0
  addps  %xmm7,%xmm0
  movups %xmm0,0x40(%rsi)
  movups 0x1050(%rax),%xmm2
  movups 0x4c(%rax),%xmm6
  movups 0x104c(%rax),%xmm0
  movups 0x1048(%rax),%xmm3
  movups 0x10cc(%rax),%xmm4
  movups 0xfcc(%rax),%xmm5
  addps  %xmm2,%xmm0
  movups 0x204c(%rax),%xmm7
  addps  %xmm3,%xmm0
  addps  %xmm4,%xmm0
  addps  %xmm5,%xmm0
  addps  %xmm6,%xmm0
  addps  %xmm7,%xmm0
  movups %xmm0,0x50(%rsi)
  movups 0x1060(%rax),%xmm0
  movups 0x5c(%rax),%xmm6
  movups 0x105c(%rax),%xmm2
  movups 0x1058(%rax),%xmm3
  movups 0x10dc(%rax),%xmm4
  movups 0xfdc(%rax),%xmm5
  addps  %xmm2,%xmm0
  movups 0x205c(%rax),%xmm7
  addps  %xmm3,%xmm0
  addps  %xmm4,%xmm0
  addps  %xmm5,%xmm0
  addps  %xmm6,%xmm0
  addps  %xmm7,%xmm0
  movups %xmm0,0x60(%rsi)
  movq   0x1070(%rax),%xmm1
  movq   0x106c(%rax),%xmm0
  addps  %xmm1,%xmm0
  movq   0x1068(%rax),%xmm1
  addps  %xmm1,%xmm0
  movq   0x10ec(%rax),%xmm1
  addps  %xmm1,%xmm0
  movq   0xfec(%rax),%xmm1
  addps  %xmm1,%xmm0
  movq   0x6c(%rax),%xmm1
  addps  %xmm1,%xmm0
  movq   0x206c(%rax),%xmm1
  addps  %xmm0,%xmm1
  movlps %xmm1,0x70(%rsi)
L45:
  sub    $0xffffffffffffff80,%rsi
  sub    $0xffffffffffffff80,%rax
  sub    $0xffffffffffffff80,%rdi
  cmp    %rbp,%rsi
  je     L53
L28:
  mov    %rsi,%rdx
  sub    %rax,%rdx
  cmp    $0x2008,%rdx
  ja     L7
  lea    -0x78(%rdi),%rdx
  cs nopw 0x0(%rax,%rax,1)
L58:
  movss  0x8(%rcx,%rdx,1),%xmm0
  addss  0x4(%rcx,%rdx,1),%xmm0
  addss  (%rcx,%rdx,1),%xmm0
  addss  0x4(%rbx,%rdx,1),%xmm0
  addss  0x4(%r11,%rdx,1),%xmm0
  addss  0x4(%r9,%rdx,1),%xmm0
  addss  0x4(%r8,%rdx,1),%xmm0
  movss  %xmm0,0x4(%r10,%rdx,1)
  add    $0x4,%rdx
  cmp    %rdi,%rdx
  jne    L58
  jmp    L45
L53:
  add    $0x20,%r15
  lea    0x1000(%rsi),%rbp
  add    $0x1000,%r13
  sub    $0x1000,%r12
  add    $0x1000,%r14
  cmp    $0x3e0,%r15
  jne    L51
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void kernel(float *g1, float *g2) {
  int x, y, z;
  int halo_width = 1;
  for (z = halo_width; z < 32 - halo_width; ++z) {
    for (y = halo_width; y < 32 - halo_width; ++y) {
      for (x = halo_width; x < 32 - halo_width; ++x) {
        float v = g1[((x) + (y)*32 + (z)*32 * 32)] + g1[((x + 1) + (y)*32 + (z)*32 * 32)] + g1[((x - 1) + (y)*32 + (z)*32 * 32)] + g1[((x) + (y + 1) * 32 + (z)*32 * 32)] + g1[((x) + (y - 1) * 32 + (z)*32 * 32)] + g1[((x) + (y)*32 + (z - 1) * 32 * 32)] + g1[((x) + (y)*32 + (z + 1) * 32 * 32)];
        g2[((x) + (y)*32 + (z)*32 * 32)] = v;
      }
    }
  }
  return;
}
```