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

```asm
<spec_boundary_val>:
  endbr64
  mov    %rcx,%r9
  mov    %esi,%ecx
  push   %r13
  mov    %rdx,%r10
  shr    $0x1f,%ecx
  push   %r12
  movapd %xmm0,%xmm2
  add    %esi,%ecx
  push   %rbp
  sar    %ecx
  push   %rbx
  cmp    $0x1,%esi
  jle    L133
  mov    (%rdx),%rdx
  mov    (%r9),%r8
  mov    0x8(%r9),%rdi
  lea    0x8(%r8),%r11
  lea    0x10(%rdx),%rax
  cmp    %rax,%r11
  setne  %al
  cmp    $0x7,%esi
  setg   %bl
  and    %ebx,%eax
  lea    0x10(%rdi),%rbx
  cmp    %rbx,%r11
  setne  %r11b
  test   %r11b,%al
  je     L110
  lea    0x18(%rdx),%r11
  lea    0x8(%rdi),%rax
  cmp    %rax,%r11
  lea    0x18(%rdi),%rbx
  lea    0x8(%rdx),%r11
  setbe  %al
  cmp    %r11,%rbx
  setbe  %r11b
  or     %r11b,%al
  je     L110
  mov    %ecx,%eax
  movapd D28(%rip),%xmm4
  pxor   %xmm3,%xmm3
  shr    %eax
  lea    -0x1(%rax),%r11d
  mov    $0x8,%eax
  shl    $0x4,%r11
  add    $0x18,%r11
  nopl   0x0(%rax)
L129:
  movups %xmm3,(%rdx,%rax,1)
  movupd (%rdi,%rax,1),%xmm0
  xorpd  %xmm4,%xmm0
  movups %xmm0,(%r8,%rax,1)
  add    $0x10,%rax
  cmp    %r11,%rax
  jne    L129
  mov    %ecx,%eax
  or     $0x1,%eax
  test   $0x1,%cl
  je     L133
  cltq
  movq   $0x0,(%rdx,%rax,8)
  movsd  (%rdi,%rax,8),%xmm0
  xorpd  D25(%rip),%xmm0
  movsd  %xmm0,(%r8,%rax,8)
L133:
  lea    0x1(%rcx),%edx
  cmp    %edx,%esi
  jl     L52
  movslq %ecx,%rax
  mov    (%r10),%r8
  mov    0x8(%r9),%rdi
  mov    %esi,%r10d
  lea    0x18(,%rax,8),%rbp
  mov    (%r9),%r9
  sub    %ecx,%r10d
  add    $0x1,%rax
  lea    -0x10(%rbp),%rcx
  lea    -0x8(%rbp),%r12
  lea    (%r8,%r12,1),%r13
  lea    (%rdi,%rcx,1),%r11
  lea    (%r8,%rcx,1),%rbx
  add    %r9,%rcx
  addsd  %xmm1,%xmm1
  cmp    %r13,%rcx
  setne  %r13b
  add    %rdi,%r12
  cmp    %r12,%rcx
  setne  %r12b
  and    %r13d,%r12d
  lea    -0x1(%r10),%r13d
  cmp    $0x1,%r13d
  seta   %r13b
  test   %r13b,%r12b
  je     L114
  lea    (%r8,%rbp,1),%r12
  cmp    %r12,%r11
  setae  %r12b
  add    %rdi,%rbp
  cmp    %rbp,%rbx
  setae  %bpl
  or     %r12b,%bpl
  je     L114
  mov    %r10d,%esi
  movapd %xmm2,%xmm4
  movapd %xmm1,%xmm3
  xor    %eax,%eax
  shr    %esi
  unpcklpd %xmm4,%xmm4
  unpcklpd %xmm3,%xmm3
  shl    $0x4,%rsi
  nopl   (%rax)
L67:
  movups %xmm4,(%rbx,%rax,1)
  movupd (%r11,%rax,1),%xmm5
  movapd %xmm3,%xmm0
  subpd  %xmm5,%xmm0
  movups %xmm0,(%rcx,%rax,1)
  add    $0x10,%rax
  cmp    %rsi,%rax
  jne    L67
  mov    %r10d,%ecx
  and    $0xfffffffe,%ecx
  lea    (%rcx,%rdx,1),%eax
  cmp    %ecx,%r10d
  je     L52
  cltq
  movsd  %xmm2,(%r8,%rax,8)
  subsd  (%rdi,%rax,8),%xmm1
  movsd  %xmm1,(%r9,%rax,8)
L52:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopw   0x0(%rax,%rax,1)
L114:
  movsd  %xmm2,(%r8,%rax,8)
  movapd %xmm1,%xmm0
  subsd  (%rdi,%rax,8),%xmm0
  movsd  %xmm0,(%r9,%rax,8)
  add    $0x1,%rax
  cmp    %eax,%esi
  jge    L114
  jmp    L52
  nop
L110:
  movq   D25(%rip),%xmm3
  mov    $0x1,%eax
  nopl   (%rax)
L57:
  movq   $0x0,(%rdx,%rax,8)
  movsd  (%rdi,%rax,8),%xmm0
  xorpd  %xmm3,%xmm0
  movsd  %xmm0,(%r8,%rax,8)
  add    $0x1,%rax
  cmp    %eax,%ecx
  jge    L57
  jmp    L133
```

tool_calls: name: parse_data
arguments: label: D28
type_infered: f32[4]
name: parse_data
arguments: label: D25
type_infered: f32[4]

tool: {"D28": [0.0,-0.0,0.0,-0.0]}

tool: {"D25": [0.0,-0.0,0.0,0.0]}

assistant: ```c
void spec_boundary_val(int imax, int jmax, double **U, double **V, double UI, double VI) {
  int j;
  for (j = 1; j <= jmax / 2; j++) {
    U[0][j] = 0.0;
    V[0][j] = -V[1][j];
  }
  for (j = jmax / 2 + 1; j < jmax + 1; j++) {
    U[0][j] = UI;
    V[0][j] = 2 * VI - V[1][j];
  }
}
```