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

```asm
<encrypt_32bits>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x58(%rbp)
  mov    %esi,-0x5c(%rbp)
  mov    %rdx,-0x68(%rbp)
  mov    %rcx,-0x70(%rbp)
  mov    %r8d,-0x60(%rbp)
  mov    %r9d,-0x74(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  shr    $0x5,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  shr    $0x3,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  shr    $0x6,%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  shr    $0x4,%rax
  mov    %rax,-0x30(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  shr    $0x5,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  shr    $0x17,%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  shr    $0xe,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  shr    $0xc,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  xor    -0x48(%rbp),%rax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  xor    -0x40(%rbp),%rax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  xor    -0x38(%rbp),%rax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  xor    -0x30(%rbp),%rax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  xor    -0x28(%rbp),%rax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  xor    -0x20(%rbp),%rax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  mov    %eax,%edx
  mov    -0x10(%rbp),%rax
  xor    %eax,%edx
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  xor    %eax,%ecx
  mov    -0x48(%rbp),%rax
  and    %eax,%ecx
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  mov    %eax,%esi
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  and    %esi,%eax
  xor    %ecx,%eax
  xor    %eax,%edx
  mov    -0x70(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  mov    %rdx,%rcx
  xor    %rax,%rcx
  mov    -0x20(%rbp),%rax
  xor    -0x38(%rbp),%rax
  and    -0x18(%rbp),%rax
  mov    %rax,%rdx
  mov    -0x20(%rbp),%rax
  and    -0x38(%rbp),%rax
  xor    %rdx,%rax
  xor    %rax,%rcx
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  and    -0x30(%rbp),%rax
  mov    %rax,%rdx
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  not    %rax
  and    -0x28(%rbp),%rax
  xor    %rdx,%rax
  xor    %rax,%rcx
  mov    %rcx,%rdx
  mov    -0x60(%rbp),%eax
  and    -0x40(%rbp),%rax
  xor    %rax,%rdx
  mov    -0x70(%rbp),%rax
  mov    (%rax),%eax
  and    -0x74(%rbp),%eax
  mov    %eax,%eax
  xor    %rax,%rdx
  mov    $0xffffffff,%eax
  xor    %rdx,%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x70(%rbp),%rax
  mov    (%rax),%eax
  xor    -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x68(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x5c(%rbp),%eax
  xor    -0x8(%rbp),%rax
  and    $0xffffffff,%eax
  mov    %rax,-0x8(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x8(%rbp),%rax
  shl    $0x4,%rax
  mov    %rax,%rcx
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  shr    $0x20,%rax
  mov    %rax,%rdx
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  shl    $0x1d,%rax
  mov    %rax,%rcx
  movabs $0x1fffffffe0000000,%rax
  and    %rcx,%rax
  or     %rax,%rdx
  mov    -0x58(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  shr    $0x20,%rax
  mov    %rax,%rcx
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  shl    $0xe,%rax
  mov    %rax,%rdx
  movabs $0x3fffffffc000,%rax
  and    %rax,%rdx
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  or     %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  shr    $0x20,%rax
  mov    %rax,%rcx
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  shl    $0xf,%rax
  mov    %rax,%rdx
  movabs $0x7fffffff8000,%rax
  and    %rax,%rdx
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  or     %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  shr    $0x20,%rax
  mov    %rax,%rcx
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  shl    $0x7,%rax
  mov    %rax,%rdx
  movabs $0x7fffffff80,%rax
  and    %rax,%rdx
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  or     %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  shr    $0x20,%rax
  mov    %rax,%rcx
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  shl    $0x5,%rax
  mov    %rax,%rdx
  movabs $0x1fffffffe0,%rax
  and    %rax,%rdx
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  or     %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  shr    $0x20,%rax
  mov    %rax,%rcx
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rax
  shl    $0x1b,%rax
  mov    %rax,%rdx
  movabs $0x7fffffff8000000,%rax
  and    %rax,%rdx
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  or     %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  shr    $0x20,%rdx
  mov    %rdx,(%rax)
  nop
  pop    %rbp
  ret
```

assistant: ```c
void encrypt_32bits(unsigned long long *state, unsigned int plaintextword, unsigned int *ciphertextword, unsigned int *ks, unsigned int ca, unsigned int cb) {
  unsigned long long f;
  unsigned long long word_244, word_23, word_160, word_111, word_66, word_196, word_0, word_107, word_230;
  unsigned long long word_12, word_154, word_235, word_61, word_193;
  word_235 = state[5] >> 5;
  word_196 = state[4] >> 3;
  word_160 = state[3] >> 6;
  word_111 = state[2] >> 4;
  word_66 = state[1] >> 5;
  word_23 = state[0] >> 23;
  word_244 = state[5] >> 14;
  word_12 = state[0] >> 12;
  state[6] ^= (state[5] ^ word_235) & 0xffffffff;
  state[5] ^= (state[4] ^ word_196) & 0xffffffff;
  state[4] ^= (state[3] ^ word_160) & 0xffffffff;
  state[3] ^= (state[2] ^ word_111) & 0xffffffff;
  state[2] ^= (state[1] ^ word_66) & 0xffffffff;
  state[1] ^= (state[0] ^ word_23) & 0xffffffff;
  *ks = word_12 ^ state[3] ^ (((word_235) & (state[1])) ^ ((word_235) & (state[4])) ^ ((state[1]) & (state[4])));
  f = state[0] ^ (state[2] ^ 0xffffffff) ^ (((word_244) & (word_23)) ^ ((word_244) & (word_160)) ^ ((word_23) & (word_160))) ^ (((state[5]) & (word_111)) ^ ((~state[5]) & (word_66))) ^ (word_196 & ca) ^ (cb & *ks);
  *ciphertextword = plaintextword ^ *ks;
  f = (f ^ plaintextword) & 0xffffffff;
  state[6] = state[6] ^ (f << 4);
  state[0] = (state[0] >> 32) | ((state[1] & 0xffffffff) << 29);
  state[1] = (state[1] >> 32) | ((state[2] & 0xffffffff) << 14);
  state[2] = (state[2] >> 32) | ((state[3] & 0xffffffff) << 15);
  state[3] = (state[3] >> 32) | ((state[4] & 0xffffffff) << 7);
  state[4] = (state[4] >> 32) | ((state[5] & 0xffffffff) << 5);
  state[5] = (state[5] >> 32) | ((state[6] & 0xffffffff) << 27);
  state[6] = state[6] >> 32;
  return;
}
```