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

```asm
<Encrypt>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x38,%rsp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    -0x38(%rbp),%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x40(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x20(%rbp),%rax
  mov    (%rax),%ebx
  mov    -0x18(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  lea    (%rbx,%rax,1),%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%ebx
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  add    %ebx,%edx
  mov    %edx,(%rax)
  movl   $0x1,-0x24(%rbp)
  jmp    L8
L16:
  mov    -0x20(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  and    $0x1f,%eax
  mov    %edx,%esi
  mov    %eax,%ecx
  shl    %cl,%esi
  mov    -0x20(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  and    $0x1f,%eax
  mov    %eax,%ecx
  mov    $0x20,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  sar    %cl,%edx
  mov    %edx,%eax
  or     %eax,%esi
  mov    %esi,%ebx
  mov    -0x24(%rbp),%eax
  add    %eax,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  lea    (%rbx,%rax,1),%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  and    $0x1f,%eax
  mov    %edx,%esi
  mov    %eax,%ecx
  shl    %cl,%esi
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  and    $0x1f,%eax
  mov    %eax,%ecx
  mov    $0x20,%eax
  sub    %ecx,%eax
  mov    %eax,%ecx
  sar    %cl,%edx
  mov    %edx,%eax
  mov    %esi,%ebx
  or     %eax,%ebx
  mov    -0x24(%rbp),%eax
  add    %eax,%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  add    %ebx,%edx
  mov    %edx,(%rax)
  addl   $0x1,-0x24(%rbp)
L8:
  cmpl   $0x14,-0x24(%rbp)
  jle    L16
  nop
  nop
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
void Encrypt(uint8_t *block, uint8_t *roundKeys) {
  uint8_t i;
  uint32_t *Block = (uint32_t *)block;
  uint32_t *RoundKeys = (uint32_t *)roundKeys;
  Block[0] = Block[0] + READ_ROUND_KEY_DOUBLE_WORD(RoundKeys[0]);
  Block[1] = Block[1] + READ_ROUND_KEY_DOUBLE_WORD(RoundKeys[1]);
  for (i = 1; i <= 20; i++) {
    Block[0] = (((Block[0] ^ Block[1]) << (Block[1] & (32 - 1))) | ((Block[0] ^ Block[1]) >> (32 - (Block[1] & (32 - 1))))) + READ_ROUND_KEY_DOUBLE_WORD(RoundKeys[2 * i]);
    Block[1] = (((Block[1] ^ Block[0]) << (Block[0] & (32 - 1))) | ((Block[1] ^ Block[0]) >> (32 - (Block[0] & (32 - 1))))) + READ_ROUND_KEY_DOUBLE_WORD(RoundKeys[2 * i + 1]);
  }
}
```