user: 请从给定的汇编指令推导出C源代码：

```asm
<Update>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %rdx,-0x38(%rbp)
  mov    %rcx,-0x40(%rbp)
  mov    %r8,-0x48(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  lea    0x0(,%rax,4),%edx
  mov    -0x28(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%eax
  sar    $0xe,%eax
  xor    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%eax
  shl    $0xd,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%eax
  sar    $0x3,%eax
  xor    %edx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x14(%rbp),%eax
  xor    -0x10(%rbp),%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x24,%rax
  mov    (%rax),%eax
  lea    0x0(,%rax,4),%edx
  mov    -0x28(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%eax
  sar    $0xe,%eax
  xor    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%eax
  lea    (%rax,%rax,1),%edx
  mov    -0x28(%rbp),%rax
  add    $0x2c,%rax
  mov    (%rax),%eax
  sar    $0xf,%eax
  xor    %edx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x14(%rbp),%eax
  xor    -0x10(%rbp),%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%eax
  lea    0x0(,%rax,8),%edx
  mov    -0x28(%rbp),%rax
  add    $0x3c,%rax
  mov    (%rax),%eax
  sar    $0xd,%eax
  xor    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  mov    0x44(%rax),%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x14(%rbp),%eax
  xor    -0x10(%rbp),%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x48(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x30(%rbp),%rax
  mov    (%rax),%ecx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%ecx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  xor    %ecx,%eax
  xor    %eax,%edx
  mov    -0x48(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%eax
  shl    $0xb,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%eax
  sar    $0x5,%eax
  xor    %edx,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%eax
  shl    $0xc,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%eax
  sar    $0x4,%eax
  xor    %edx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x24,%rax
  mov    (%rax),%eax
  shl    $0xb,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%eax
  sar    $0x5,%eax
  xor    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x30(%rbp),%rax
  mov    (%rax),%edx
  mov    -0xc(%rbp),%eax
  and    -0x8(%rbp),%eax
  xor    -0x4(%rbp),%eax
  xor    %eax,%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x24,%rax
  mov    (%rax),%eax
  shl    $0xf,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%eax
  sar    %eax
  xor    %edx,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x28(%rbp),%rax
  mov    0x28(%rax),%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x3c,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%eax
  sar    $0x8,%eax
  xor    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x38(%rbp),%rax
  mov    (%rax),%edx
  mov    -0xc(%rbp),%eax
  and    -0x8(%rbp),%eax
  xor    -0x4(%rbp),%eax
  xor    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%eax
  shl    $0xe,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x44,%rax
  mov    (%rax),%eax
  sar    $0x2,%eax
  xor    %edx,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%eax
  shl    $0xf,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x44,%rax
  mov    (%rax),%eax
  sar    %eax
  xor    %edx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  shl    $0x5,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%eax
  sar    $0xb,%eax
  xor    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x40(%rbp),%rax
  mov    (%rax),%edx
  mov    -0xc(%rbp),%eax
  and    -0x8(%rbp),%eax
  xor    -0x4(%rbp),%eax
  xor    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  nop
  pop    %rbp
  ret
```

assistant: ```c
void Update(uint16_t *state, uint16_t *t1, uint16_t *t2, uint16_t *t3, uint16_t *stream) {
  uint16_t x1, x2, x3, x4, x5;
  x1 = (state[3] << 2) ^ (state[4] >> 14);
  x4 = (state[4] << 13) ^ (state[5] >> 3);
  *t1 = x1 ^ x4;
  x1 = (state[9] << 2) ^ (state[10] >> 14);
  x4 = (state[10] << 1) ^ (state[11] >> 15);
  *t2 = x1 ^ x4;
  x1 = (state[14] << 3) ^ (state[15] >> 13);
  x4 = state[17];
  *t3 = x1 ^ x4;
  *stream ^= *t1 ^ *t2 ^ *t3;
  x2 = (state[4] << 11) ^ (state[5] >> 5);
  x3 = (state[4] << 12) ^ (state[5] >> 4);
  x5 = (state[9] << 11) ^ (state[10] >> 5);
  *t1 ^= (x2 & x3) ^ x5;
  x2 = (state[9] << 15) ^ (state[10] >> 1);
  x3 = state[10];
  x5 = (state[15] << 8) ^ (state[16] >> 8);
  *t2 ^= (x2 & x3) ^ x5;
  x2 = (state[16] << 14) ^ (state[17] >> 2);
  x3 = (state[16] << 15) ^ (state[17] >> 1);
  x5 = (state[3] << 5) ^ (state[4] >> 11);
  *t3 ^= (x2 & x3) ^ x5;
}
```