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

```asm
<MixColumns>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x18(%rbp)
  xor    %eax,%eax
  movb   $0x0,-0x1d(%rbp)
  jmp    L11
L4:
  movb   $0x0,-0x1e(%rbp)
  jmp    L17
L20:
  movzbl -0x1d(%rbp),%eax
  lea    0x0(,%rax,4),%edx
  movzbl -0x1e(%rbp),%eax
  add    %edx,%eax
  movslq %eax,%rdx
  mov    -0x28(%rbp),%rax
  add    %rax,%rdx
  movzbl -0x1e(%rbp),%eax
  movzbl (%rdx),%edx
  cltq
  mov    %dl,-0x1c(%rbp,%rax,1)
  movzbl -0x1e(%rbp),%eax
  add    $0x1,%eax
  mov    %al,-0x1e(%rbp)
L17:
  cmpb   $0x3,-0x1e(%rbp)
  jbe    L20
  movzbl -0x1c(%rbp),%eax
  movzbl %al,%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  mov    %eax,%ebx
  movzbl -0x19(%rbp),%eax
  movzbl %al,%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  xor    %eax,%ebx
  movzbl -0x1a(%rbp),%eax
  movzbl %al,%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  xor    %eax,%ebx
  movzbl -0x1b(%rbp),%eax
  movzbl %al,%eax
  mov    $0x3,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  mov    %eax,%edx
  movzbl -0x1d(%rbp),%eax
  shl    $0x2,%eax
  movslq %eax,%rcx
  mov    -0x28(%rbp),%rax
  add    %rcx,%rax
  xor    %ebx,%edx
  mov    %dl,(%rax)
  movzbl -0x1b(%rbp),%eax
  movzbl %al,%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  mov    %eax,%ebx
  movzbl -0x1c(%rbp),%eax
  movzbl %al,%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  xor    %eax,%ebx
  movzbl -0x19(%rbp),%eax
  movzbl %al,%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  xor    %eax,%ebx
  movzbl -0x1a(%rbp),%eax
  movzbl %al,%eax
  mov    $0x3,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  mov    %eax,%edx
  movzbl -0x1d(%rbp),%eax
  shl    $0x2,%eax
  cltq
  lea    0x1(%rax),%rcx
  mov    -0x28(%rbp),%rax
  add    %rcx,%rax
  xor    %ebx,%edx
  mov    %dl,(%rax)
  movzbl -0x1a(%rbp),%eax
  movzbl %al,%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  mov    %eax,%ebx
  movzbl -0x1b(%rbp),%eax
  movzbl %al,%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  xor    %eax,%ebx
  movzbl -0x1c(%rbp),%eax
  movzbl %al,%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  xor    %eax,%ebx
  movzbl -0x19(%rbp),%eax
  movzbl %al,%eax
  mov    $0x3,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  mov    %eax,%edx
  movzbl -0x1d(%rbp),%eax
  shl    $0x2,%eax
  cltq
  lea    0x2(%rax),%rcx
  mov    -0x28(%rbp),%rax
  add    %rcx,%rax
  xor    %ebx,%edx
  mov    %dl,(%rax)
  movzbl -0x19(%rbp),%eax
  movzbl %al,%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  mov    %eax,%ebx
  movzbl -0x1a(%rbp),%eax
  movzbl %al,%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  xor    %eax,%ebx
  movzbl -0x1b(%rbp),%eax
  movzbl %al,%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  xor    %eax,%ebx
  movzbl -0x1c(%rbp),%eax
  movzbl %al,%eax
  mov    $0x3,%esi
  mov    %eax,%edi
  call   <gmul@plt>
  mov    %eax,%edx
  movzbl -0x1d(%rbp),%eax
  shl    $0x2,%eax
  cltq
  lea    0x3(%rax),%rcx
  mov    -0x28(%rbp),%rax
  add    %rcx,%rax
  xor    %ebx,%edx
  mov    %dl,(%rax)
  movzbl -0x1d(%rbp),%eax
  add    $0x1,%eax
  mov    %al,-0x1d(%rbp)
L11:
  cmpb   $0x3,-0x1d(%rbp)
  jbe    L4
  nop
  mov    -0x18(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L8
  call   <__stack_chk_fail@plt>
L8:
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
void MixColumns(unsigned char state[16]) {
  unsigned char a[4];
  unsigned char c;
  unsigned char i;
  for (i = 0; i < 4; i++) {
    for (c = 0; c < 4; c++) {
      a[c] = state[i * 4 + c];
    }
    state[i * 4] = gmul(a[0], 2) ^ gmul(a[3], 1) ^ gmul(a[2], 1) ^ gmul(a[1], 3);
    state[i * 4 + 1] = gmul(a[1], 2) ^ gmul(a[0], 1) ^ gmul(a[3], 1) ^ gmul(a[2], 3);
    state[i * 4 + 2] = gmul(a[2], 2) ^ gmul(a[1], 1) ^ gmul(a[0], 1) ^ gmul(a[3], 3);
    state[i * 4 + 3] = gmul(a[3], 2) ^ gmul(a[2], 1) ^ gmul(a[1], 1) ^ gmul(a[0], 3);
  }
}
```