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

```asm
<unpackforblock12_64>:
  endbr64
  push   %r14
  mov    %edi,%r9d
  movd   %edi,%xmm3
  mov    %rdx,%r11
  push   %rbp
  pshufd $0x0,%xmm3,%xmm2
  push   %rbx
  mov    (%rsi),%rbp
  mov    (%rdx),%r8
  mov    0x0(%rbp),%r14d
  mov    0x4(%rbp),%ebx
  add    $0xc0,%rbp
  mov    -0xb4(%rbp),%eax
  mov    -0xb0(%rbp),%edi
  mov    %r14d,%ecx
  mov    -0xb8(%rbp),%edx
  movd   %r14d,%xmm0
  mov    -0xac(%rbp),%r10d
  sar    $0x18,%ecx
  mov    %rbp,(%rsi)
  mov    %r14d,%esi
  mov    %r14d,%ebp
  sar    $0xc,%esi
  movd   %ecx,%xmm1
  mov    $0x24,%ecx
  sar    %cl,%ebp
  movd   %esi,%xmm5
  mov    $0x30,%ecx
  mov    %r14d,%esi
  sar    %cl,%esi
  movd   %ebp,%xmm4
  mov    $0x3c,%ecx
  mov    %ebx,%ebp
  and    $0xfff,%esi
  sar    %cl,%r14d
  punpckldq %xmm4,%xmm1
  punpckldq %xmm5,%xmm0
  add    %r9d,%esi
  mov    %r14d,%ecx
  punpcklqdq %xmm1,%xmm0
  mov    %esi,0x10(%r8)
  mov    %ebx,%esi
  pand   D8(%rip),%xmm0
  shl    $0x4,%esi
  or     %esi,%ecx
  mov    %ebx,%esi
  paddd  %xmm2,%xmm0
  and    $0xfff,%ecx
  sar    $0x8,%esi
  movups %xmm0,(%r8)
  add    %r9d,%ecx
  mov    %ecx,0x14(%r8)
  mov    %esi,%ecx
  mov    %ebx,%esi
  and    $0xfff,%ecx
  shr    $0x14,%esi
  add    %r9d,%ecx
  movd   %esi,%xmm0
  mov    %ebx,%esi
  mov    %ecx,0x18(%r8)
  mov    $0x20,%ecx
  sar    %cl,%esi
  mov    $0x2c,%ecx
  sar    %cl,%ebp
  and    $0xfff,%esi
  mov    %ebp,%ecx
  mov    %edx,%ebp
  movd   %esi,%xmm7
  and    $0xfff,%ecx
  shl    $0x8,%ebp
  punpckldq %xmm7,%xmm0
  movd   %ecx,%xmm3
  mov    $0x38,%ecx
  sar    %cl,%ebx
  movdqa %xmm3,%xmm1
  or     %ebp,%ebx
  and    $0xfff,%ebx
  movd   %ebx,%xmm6
  mov    %edx,%ebx
  punpckldq %xmm6,%xmm1
  sar    $0x4,%ebx
  punpcklqdq %xmm1,%xmm0
  and    $0xfff,%ebx
  paddd  %xmm2,%xmm0
  movups %xmm0,0x1c(%r8)
  movd   %ebx,%xmm0
  mov    %edx,%ebx
  sar    $0x10,%ebx
  mov    %ebx,%esi
  mov    %edx,%ebx
  sar    $0x1c,%ebx
  and    $0xfff,%esi
  mov    %ebx,%ecx
  mov    %edx,%ebx
  and    $0xfff,%ecx
  movd   %ecx,%xmm4
  mov    $0x28,%ecx
  sar    %cl,%ebx
  movdqa %xmm4,%xmm1
  movd   %esi,%xmm4
  mov    $0x34,%ecx
  and    $0xfff,%ebx
  punpckldq %xmm4,%xmm0
  sar    %cl,%edx
  mov    %eax,%esi
  movd   %ebx,%xmm3
  mov    %eax,%ebx
  and    $0xfff,%esi
  punpckldq %xmm3,%xmm1
  sar    $0x18,%ebx
  movd   %esi,%xmm6
  punpcklqdq %xmm1,%xmm0
  mov    %ebx,%ecx
  mov    %edi,%ebx
  paddd  %xmm2,%xmm0
  and    $0xfff,%ecx
  shl    $0x4,%ebx
  movups %xmm0,0x2c(%r8)
  movd   %edx,%xmm0
  mov    %eax,%edx
  movd   %ecx,%xmm5
  sar    $0xc,%edx
  mov    $0x24,%ecx
  punpckldq %xmm6,%xmm0
  and    $0xfff,%edx
  movd   %edx,%xmm1
  mov    %eax,%edx
  sar    %cl,%edx
  punpckldq %xmm5,%xmm1
  mov    $0x30,%ecx
  and    $0xfff,%edx
  punpcklqdq %xmm1,%xmm0
  movd   %edx,%xmm1
  mov    %eax,%edx
  paddd  %xmm2,%xmm0
  sar    %cl,%edx
  mov    $0x3c,%ecx
  movups %xmm0,0x3c(%r8)
  sar    %cl,%eax
  and    $0xfff,%edx
  or     %ebx,%eax
  mov    %edi,%ebx
  movd   %edx,%xmm3
  sar    $0x8,%ebx
  and    $0xfff,%eax
  punpckldq %xmm3,%xmm1
  mov    %ebx,%ecx
  movd   %eax,%xmm0
  mov    %edi,%eax
  mov    %r10d,%ebx
  shr    $0x14,%eax
  and    $0xfff,%ecx
  shl    $0x8,%ebx
  movd   %ecx,%xmm7
  mov    $0x20,%ecx
  punpckldq %xmm7,%xmm0
  punpcklqdq %xmm0,%xmm1
  movd   %eax,%xmm0
  mov    %edi,%eax
  sar    %cl,%eax
  mov    $0x2c,%ecx
  paddd  %xmm2,%xmm1
  and    $0xfff,%eax
  movups %xmm1,0x4c(%r8)
  mov    %eax,%edx
  mov    %edi,%eax
  sar    %cl,%eax
  mov    $0x38,%ecx
  movd   %edx,%xmm5
  sar    %cl,%edi
  and    $0xfff,%eax
  punpckldq %xmm5,%xmm0
  mov    $0x28,%ecx
  or     %ebx,%edi
  movd   %eax,%xmm1
  mov    %r10d,%eax
  and    $0xfff,%edi
  sar    $0x4,%eax
  movd   %edi,%xmm4
  and    $0xfff,%eax
  mov    %r10d,%edi
  punpckldq %xmm4,%xmm1
  sar    %cl,%edi
  punpcklqdq %xmm1,%xmm0
  mov    %edi,%ecx
  paddd  %xmm2,%xmm0
  movups %xmm0,0x5c(%r8)
  movd   %eax,%xmm0
  mov    %r10d,%eax
  sar    $0x10,%eax
  and    $0xfff,%eax
  mov    %eax,%edx
  mov    %r10d,%eax
  sar    $0x1c,%eax
  movd   %edx,%xmm7
  and    $0xfff,%eax
  and    $0xfff,%ecx
  punpckldq %xmm7,%xmm0
  movd   %ecx,%xmm6
  movd   %eax,%xmm1
  mov    $0x34,%ecx
  punpckldq %xmm6,%xmm1
  sar    %cl,%r10d
  punpcklqdq %xmm1,%xmm0
  add    %r9d,%r10d
  paddd  %xmm2,%xmm0
  mov    %r10d,0x7c(%r8)
  movups %xmm0,0x6c(%r8)
  pop    %rbx
  pop    %rbp
  subq   $0xffffffffffffff80,(%r11)
  pop    %r14
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D8
datatype: byte[16]

tool: {"D8": [0xff,0x0f,0x00,0x00,0xff,0x0f,0x00,0x00,0xff,0x0f,0x00,0x00,0xff,0x0f,0x00,0x00]}

assistant: ```c
void unpackforblock12_64(const uint64_t base, const uint8_t **pw, uint64_t **pout) {
  const uint64_t *pw64 = *(const uint64_t **)pw;
  uint64_t *out = *pout;
  const uint64_t mask = (4095ULL);
  uint64_t w0 = pw64[0];
  uint64_t w1 = pw64[1];
  uint64_t w2 = pw64[2];
  uint64_t w3 = pw64[3];
  uint64_t w4 = pw64[4];
  uint64_t w5 = pw64[5];
  *pw += 48;
  out[0] = base + ((w0)&mask);
  out[1] = base + ((w0 >> 12) & mask);
  out[2] = base + ((w0 >> 24) & mask);
  out[3] = base + ((w0 >> 36) & mask);
  out[4] = base + ((w0 >> 48) & mask);
  out[5] = base + (((w0 >> 60) | (w1 << 4)) & mask);
  out[6] = base + ((w1 >> 8) & mask);
  out[7] = base + ((w1 >> 20) & mask);
  out[8] = base + ((w1 >> 32) & mask);
  out[9] = base + ((w1 >> 44) & mask);
  out[10] = base + (((w1 >> 56) | (w2 << 8)) & mask);
  out[11] = base + ((w2 >> 4) & mask);
  out[12] = base + ((w2 >> 16) & mask);
  out[13] = base + ((w2 >> 28) & mask);
  out[14] = base + ((w2 >> 40) & mask);
  out[15] = base + (w2 >> 52);
  out[16] = base + ((w3)&mask);
  out[17] = base + ((w3 >> 12) & mask);
  out[18] = base + ((w3 >> 24) & mask);
  out[19] = base + ((w3 >> 36) & mask);
  out[20] = base + ((w3 >> 48) & mask);
  out[21] = base + (((w3 >> 60) | (w4 << 4)) & mask);
  out[22] = base + ((w4 >> 8) & mask);
  out[23] = base + ((w4 >> 20) & mask);
  out[24] = base + ((w4 >> 32) & mask);
  out[25] = base + ((w4 >> 44) & mask);
  out[26] = base + (((w4 >> 56) | (w5 << 8)) & mask);
  out[27] = base + ((w5 >> 4) & mask);
  out[28] = base + ((w5 >> 16) & mask);
  out[29] = base + ((w5 >> 28) & mask);
  out[30] = base + ((w5 >> 40) & mask);
  out[31] = base + (w5 >> 52);
  *pout += 32;
}
```