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

```asm
<aegis128L_tag_generation>:
  endbr64
  push   %r15
  lea    0x0(,%rsi,8),%r11
  lea    0x60(%r8),%r15
  push   %r14
  lea    0x0(,%rdi,8),%r10
  lea    0x50(%r8),%r14
  push   %r13
  lea    0x40(%r8),%r13
  push   %r12
  lea    0x30(%r8),%r12
  push   %rbp
  lea    0x20(%r8),%rbp
  push   %rbx
  mov    %r8,%rbx
  sub    $0x68,%rsp
  xor    0x20(%r8),%r11
  xor    0x28(%r8),%r10
  mov    %rcx,0x38(%rsp)
  lea    0x70(%r8),%rcx
  mov    %edx,0x34(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x58(%rsp)
  xor    %eax,%eax
  lea    0x10(%r8),%rax
  movl   $0x7,0x30(%rsp)
  mov    %rax,0x8(%rsp)
  lea    0x40(%rsp),%rax
  mov    %rax,0x10(%rsp)
  nopl   0x0(%rax)
L12:
  mov    0x10(%rsp),%rdi
  mov    %rcx,%rsi
  mov    $0x10,%edx
  mov    %r10,0x28(%rsp)
  mov    %r11,0x20(%rsp)
  mov    %rcx,0x18(%rsp)
  call   <memcpy@plt>
  mov    0x18(%rsp),%rcx
  mov    %r15,%rsi
  mov    %rcx,%rdx
  mov    %rcx,%rdi
  call   <AESROUND@plt>
  mov    %r15,%rdx
  mov    %r14,%rsi
  mov    %r15,%rdi
  call   <AESROUND@plt>
  mov    %r14,%rdx
  mov    %r13,%rsi
  mov    %r14,%rdi
  call   <AESROUND@plt>
  mov    %r13,%rdx
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <AESROUND@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  call   <AESROUND@plt>
  mov    0x8(%rsp),%rsi
  mov    %rbp,%rdx
  mov    %rbp,%rdi
  call   <AESROUND@plt>
  mov    0x8(%rsp),%rdx
  mov    %rbx,%rsi
  mov    %rdx,%rdi
  call   <AESROUND@plt>
  mov    0x10(%rsp),%rsi
  mov    %rbx,%rdx
  mov    %rbx,%rdi
  call   <AESROUND@plt>
  mov    0x20(%rsp),%r11
  mov    (%rbx),%rsi
  mov    0x28(%rsp),%r10
  mov    0x8(%rbx),%rdi
  mov    0x40(%rbx),%rdx
  mov    0x48(%rbx),%rax
  xor    %r11,%rsi
  xor    %r10,%rdi
  mov    %rsi,(%rbx)
  mov    0x18(%rsp),%rcx
  xor    %r11,%rdx
  xor    %r10,%rax
  subl   $0x1,0x30(%rsp)
  mov    %rdi,0x8(%rbx)
  mov    %rdx,0x40(%rbx)
  mov    %rax,0x48(%rbx)
  jne    L12
  mov    0x68(%rbx),%rcx
  xor    0x58(%rbx),%rcx
  xor    0x38(%rbx),%rcx
  xor    0x28(%rbx),%rcx
  xor    0x18(%rbx),%rcx
  xor    %rcx,%rdi
  mov    0x60(%rbx),%rcx
  xor    0x50(%rbx),%rcx
  xor    0x30(%rbx),%rcx
  xor    0x20(%rbx),%rcx
  xor    %rdi,%rax
  xor    0x10(%rbx),%rcx
  mov    0x38(%rsp),%rdi
  mov    %rax,0x68(%rbx)
  xor    %rsi,%rcx
  mov    %r15,%rsi
  xor    %rcx,%rdx
  mov    %rdx,0x60(%rbx)
  movzbl 0x34(%rsp),%edx
  call   <memcpy@plt>
  mov    0x58(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0x68,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L7:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void aegis128L_tag_generation(unsigned long msglen, unsigned long adlen, unsigned char maclen, unsigned char *mac, unsigned char *state) {
  int i;
  unsigned char tmp[16];
  unsigned char msgtmp[16];
  ((unsigned long long *)msgtmp)[0] = adlen << 3;
  ((unsigned long long *)msgtmp)[1] = msglen << 3;
  {
    ((unsigned long long *)(msgtmp))[0] = ((unsigned long long *)(msgtmp))[0] ^ ((unsigned long long *)(state + 32))[0];
    ((unsigned long long *)(msgtmp))[1] = ((unsigned long long *)(msgtmp))[1] ^ ((unsigned long long *)(state + 32))[1];
  };
  for (i = 0; i < 7; i++) {
    memcpy(tmp, state + 112, 16);
    AESROUND(state + 112, state + 96, state + 112);
    AESROUND(state + 96, state + 80, state + 96);
    AESROUND(state + 80, state + 64, state + 80);
    AESROUND(state + 64, state + 48, state + 64);
    AESROUND(state + 48, state + 32, state + 48);
    AESROUND(state + 32, state + 16, state + 32);
    AESROUND(state + 16, state + 0, state + 16);
    AESROUND(state + 0, tmp, state + 0);
    {
      ((unsigned long long *)(state))[0] = ((unsigned long long *)(state))[0] ^ ((unsigned long long *)(msgtmp))[0];
      ((unsigned long long *)(state))[1] = ((unsigned long long *)(state))[1] ^ ((unsigned long long *)(msgtmp))[1];
    };
    {
      ((unsigned long long *)(state + 64))[0] = ((unsigned long long *)(state + 64))[0] ^ ((unsigned long long *)(msgtmp))[0];
      ((unsigned long long *)(state + 64))[1] = ((unsigned long long *)(state + 64))[1] ^ ((unsigned long long *)(msgtmp))[1];
    };
  }
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 80))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 80))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 64))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 64))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 48))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 48))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 32))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 32))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 16))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 16))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 0))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 0))[1];
  };
  memcpy(mac, state + 96, maclen);
}
```