user: 下面的汇编指令对应的C源代码是什么:

```asm
<insert_batch>:
  endbr64
  push   %r13
  mov    %rdi,%rax
  push   %r12
  lea    (%r9,%r9,2),%r12d
  push   %rbp
  mov    %r12d,%r10d
  mov    %esi,%ebp
  mov    %rcx,%rsi
  push   %rbx
  mov    (%rdx),%edi
  mov    0x4(%rdx),%ebx
  mov    0x8(%rdx),%edx
  test   %r9d,%r9d
  je     L56
  jle    L53
  lea    -0x1(%r9),%ecx
  cmp    $0x2,%ecx
  jbe    L18
  movd   %edi,%xmm0
  movd   %ebx,%xmm4
  movd   %edx,%xmm1
  mov    %r9d,%ecx
  shr    $0x2,%ecx
  punpckldq %xmm4,%xmm0
  mov    %r8,%rdx
  sub    $0x1,%ecx
  punpcklqdq %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  lea    (%rcx,%rcx,2),%rcx
  movdqa %xmm1,%xmm2
  shl    $0x4,%rcx
  lea    0x30(%r8,%rcx,1),%rcx
  nopw   0x0(%rax,%rax,1)
L14:
  movdqu (%rdx),%xmm4
  movdqu 0x10(%rdx),%xmm5
  add    $0x30,%rdx
  movdqu -0x10(%rdx),%xmm6
  paddd  %xmm4,%xmm0
  paddd  %xmm5,%xmm2
  paddd  %xmm6,%xmm1
  cmp    %rdx,%rcx
  jne    L14
  pshufd $0xff,%xmm0,%xmm3
  movd   %xmm0,%edi
  mov    %r9d,%r13d
  movd   %xmm3,%edx
  movdqa %xmm2,%xmm3
  and    $0xfffffffc,%r13d
  punpckhdq %xmm2,%xmm3
  add    %edx,%edi
  movd   %xmm3,%edx
  pshufd $0x55,%xmm1,%xmm3
  add    %edx,%edi
  movd   %xmm3,%edx
  pshufd $0x55,%xmm0,%xmm3
  movd   %xmm3,%ebx
  pshufd $0xff,%xmm2,%xmm3
  punpckhdq %xmm0,%xmm0
  add    %edx,%edi
  movd   %xmm2,%edx
  pshufd $0x55,%xmm2,%xmm2
  add    %edx,%ebx
  movd   %xmm3,%edx
  movdqa %xmm1,%xmm3
  punpckhdq %xmm1,%xmm3
  add    %edx,%ebx
  movd   %xmm2,%ecx
  movd   %xmm3,%edx
  add    %edx,%ebx
  movd   %xmm0,%edx
  add    %ecx,%edx
  movd   %xmm1,%ecx
  pshufd $0xff,%xmm1,%xmm1
  add    %ecx,%edx
  movd   %xmm1,%ecx
  add    %ecx,%edx
  mov    %r13d,%ecx
  cmp    %r9d,%r13d
  je     L53
L124:
  mov    %r9d,%r11d
  sub    %r13d,%r11d
  cmp    $0x1,%r11d
  je     L122
  lea    0x0(%r13,%r13,2),%r13
  movd   %ebx,%xmm7
  movd   %edi,%xmm0
  lea    (%r8,%r13,4),%r13
  punpckldq %xmm7,%xmm0
  movd   %edx,%xmm3
  movq   0x0(%r13),%xmm1
  movq   0x10(%r13),%xmm2
  paddd  %xmm0,%xmm1
  movq   0x8(%r13),%xmm0
  movd   %xmm2,%ebx
  paddd  %xmm3,%xmm0
  movd   %xmm1,%edi
  pshufd $0xe5,%xmm0,%xmm7
  movd   %xmm7,%edx
  pshufd $0xe5,%xmm1,%xmm7
  add    %edx,%edi
  movd   %xmm7,%edx
  pshufd $0xe5,%xmm2,%xmm7
  movd   %xmm7,%r13d
  add    %edx,%ebx
  movd   %xmm0,%edx
  add    %r13d,%edx
  mov    %r11d,%r13d
  and    $0xfffffffe,%r13d
  add    %r13d,%ecx
  cmp    %r13d,%r11d
  je     L53
L122:
  lea    (%rcx,%rcx,2),%ecx
  movslq %ecx,%rcx
  add    (%r8,%rcx,4),%edi
  add    0x4(%r8,%rcx,4),%ebx
  add    0x8(%r8,%rcx,4),%edx
L53:
  cmp    $0x14,%r12d
  jg     L121
L56:
  lea    0x0(%rbp,%rbp,2),%r11d
  cmp    %ebp,%r9d
  jge    L121
  movslq %r12d,%r12
  mov    (%rsi),%r9d
  shl    $0x2,%r12
  add    %r12,%rax
  add    %r12,%r8
  jmp    L38
  nopl   (%rax)
L31:
  add    $0xc,%rax
  add    $0xc,%r8
  cmp    %r11d,%r10d
  jge    L121
L38:
  mov    (%rax),%ecx
  add    $0x3,%r10d
  sub    %r9d,%ecx
  sub    %edi,%ecx
  mov    %ecx,(%r8)
  mov    0x4(%rax),%ecx
  sub    0x4(%rsi),%ecx
  sub    %ebx,%ecx
  mov    %ecx,0x4(%r8)
  mov    0x8(%rax),%ecx
  sub    0x8(%rsi),%ecx
  sub    %edx,%ecx
  mov    %ecx,0x8(%r8)
  mov    (%rsi),%r9d
  mov    (%rax),%edi
  mov    0x4(%rax),%ebx
  mov    0x8(%rax),%edx
  sub    0x4(%rsi),%ebx
  sub    %r9d,%edi
  sub    0x8(%rsi),%edx
  cmp    $0x14,%r10d
  jle    L31
L121:
  mov    0x28(%rsp),%rax
  mov    %r10d,(%rax)
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L18:
  xor    %r13d,%r13d
  xor    %ecx,%ecx
  jmp    L124
```

assistant: ```c
void insert_batch(int *input_ptr, int ntriplets_left, const int *prevcoord, int *minint, int *encode_ints, const int startenc, int *nenc) {
  int nencode = startenc * 3;
  int tmp_prevcoord[3];
  tmp_prevcoord[0] = prevcoord[0];
  tmp_prevcoord[1] = prevcoord[1];
  tmp_prevcoord[2] = prevcoord[2];
  if (startenc) {
    int i;
    for (i = 0; i < startenc; i++) {
      tmp_prevcoord[0] += encode_ints[i * 3];
      tmp_prevcoord[1] += encode_ints[i * 3 + 1];
      tmp_prevcoord[2] += encode_ints[i * 3 + 2];
    }
  }
  while ((nencode < 21) && (nencode < ntriplets_left * 3)) {
    encode_ints[nencode] = input_ptr[nencode] - minint[0] - tmp_prevcoord[0];
    encode_ints[nencode + 1] = input_ptr[nencode + 1] - minint[1] - tmp_prevcoord[1];
    encode_ints[nencode + 2] = input_ptr[nencode + 2] - minint[2] - tmp_prevcoord[2];
    tmp_prevcoord[0] = input_ptr[nencode] - minint[0];
    tmp_prevcoord[1] = input_ptr[nencode + 1] - minint[1];
    tmp_prevcoord[2] = input_ptr[nencode + 2] - minint[2];
    nencode += 3;
  }
  *nenc = nencode;
}
```