user: 请将以下的汇编代码转换成C语言代码:

```asm
<AES256_CTR_DRBG_Update>:
  endbr64
  push   %r15
  push   %r14
  mov    %rsi,%r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x58,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  lea    0xf(%rdx),%rax
  lea    0x10(%rsp),%r13
  mov    %rax,0x8(%rsp)
  mov    %r13,%r15
  lea    0x40(%rsp),%r12
L174:
  movzbl 0xf(%rbp),%eax
  cmp    $0xff,%al
  jne    L101
  movzbl 0xe(%rbp),%eax
  movb   $0x0,0xf(%rbp)
  lea    0xe(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0xd(%rbp),%eax
  movb   $0x0,0xe(%rbp)
  lea    0xd(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0xc(%rbp),%eax
  movb   $0x0,0xd(%rbp)
  lea    0xc(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0xb(%rbp),%eax
  movb   $0x0,0xc(%rbp)
  lea    0xb(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0xa(%rbp),%eax
  movb   $0x0,0xb(%rbp)
  lea    0xa(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x9(%rbp),%eax
  movb   $0x0,0xa(%rbp)
  lea    0x9(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x8(%rbp),%eax
  movb   $0x0,0x9(%rbp)
  lea    0x8(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x7(%rbp),%eax
  movb   $0x0,0x8(%rbp)
  lea    0x7(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x6(%rbp),%eax
  movb   $0x0,0x7(%rbp)
  lea    0x6(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x5(%rbp),%eax
  movb   $0x0,0x6(%rbp)
  lea    0x5(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x4(%rbp),%eax
  movb   $0x0,0x5(%rbp)
  lea    0x4(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x3(%rbp),%eax
  movb   $0x0,0x4(%rbp)
  lea    0x3(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x2(%rbp),%eax
  movb   $0x0,0x3(%rbp)
  lea    0x2(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x1(%rbp),%eax
  movb   $0x0,0x2(%rbp)
  lea    0x1(%rbp),%rdx
  cmp    $0xff,%al
  jne    L83
  movzbl 0x0(%rbp),%eax
  movb   $0x0,0x1(%rbp)
  cmp    $0xff,%al
  jne    L93
  movb   $0x0,0x0(%rbp)
L97:
  mov    %r15,%rdx
  mov    %rbp,%rsi
  mov    %r14,%rdi
  add    $0x10,%r15
  call   <AES256_ECB@plt>
  cmp    %r12,%r15
  jne    L174
  test   %rbx,%rbx
  je     L59
  movdqu (%rbx),%xmm0
  pxor   0x10(%rsp),%xmm0
  movaps %xmm0,0x10(%rsp)
  movdqu 0x10(%rbx),%xmm0
  pxor   0x20(%rsp),%xmm0
  movaps %xmm0,0x20(%rsp)
  movdqu 0x20(%rbx),%xmm0
  pxor   0x30(%rsp),%xmm0
  movaps %xmm0,0x30(%rsp)
L59:
  mov    $0x20,%edx
  mov    %r13,%rsi
  mov    %r14,%rdi
  call   <memcpy@plt>
  lea    0x30(%rsp),%rsi
  mov    $0x10,%edx
  mov    %rbp,%rdi
  call   <memcpy@plt>
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L192
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L101:
  mov    0x8(%rsp),%rdx
  xchg   %ax,%ax
L83:
  add    $0x1,%eax
  mov    %al,(%rdx)
  jmp    L97
L93:
  mov    %rbp,%rdx
  jmp    L83
L192:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void AES256_CTR_DRBG_Update(unsigned char *provided_data, unsigned char *Key, unsigned char *V) {
  unsigned char temp[48];
  for (int i = 0; i < 3; i++) {
    for (int j = 15; j >= 0; j--) {
      if (V[j] == 0xff)
        V[j] = 0x00;
      else {
        V[j]++;
        break;
      }
    }
    AES256_ECB(Key, V, temp + 16 * i);
  }
  if (provided_data != NULL)
    for (int i = 0; i < 48; i++)
      temp[i] ^= provided_data[i];
  memcpy(Key, temp, 32);
  memcpy(V, temp + 32, 16);
}
```