user: What would the C source look like for the assembly code provided here:

```asm
<SHA1_Update>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r12
  push   %rbx
  sub    $0x60,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %rsi,-0x60(%rbp)
  mov    %rdx,-0x68(%rbp)
  mov    -0x60(%rbp),%rax
  mov    %rax,-0x38(%rbp)
  cmpq   $0x0,-0x68(%rbp)
  jne    L296
  mov    $0x1,%eax
  jmp    L123
L296:
  mov    -0x58(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x68(%rbp),%rax
  shl    $0x3,%eax
  lea    (%rdx,%rax,1),%ebx
  mov    -0x58(%rbp),%rax
  mov    (%rax),%eax
  cmp    %eax,%ebx
  jae    L159
  mov    -0x58(%rbp),%rax
  mov    0x10(%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x58(%rbp),%rax
  mov    %rdx,0x10(%rax)
L159:
  mov    -0x58(%rbp),%rax
  mov    0x10(%rax),%rax
  mov    %rax,%rdx
  mov    -0x68(%rbp),%rax
  shr    $0x1d,%rax
  add    %rdx,%rax
  mov    %rax,%rdx
  mov    -0x58(%rbp),%rax
  mov    %rdx,0x10(%rax)
  mov    -0x58(%rbp),%rax
  mov    %ebx,(%rax)
  mov    -0x58(%rbp),%rax
  mov    0x4(%rax),%eax
  test   %eax,%eax
  je     L266
  mov    -0x58(%rbp),%rax
  mov    0x8(%rax),%r12
  mov    -0x58(%rbp),%rax
  mov    0x4(%rax),%eax
  sar    $0x2,%eax
  cltq
  mov    %rax,-0x30(%rbp)
  mov    -0x58(%rbp),%rax
  mov    0x4(%rax),%eax
  cltq
  and    $0x3,%eax
  mov    %rax,-0x20(%rbp)
  mov    -0x58(%rbp),%rax
  mov    0x4(%rax),%eax
  movslq %eax,%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  cmp    $0x3f,%rax
  jbe    L322
  mov    -0x30(%rbp),%rax
  shl    $0x2,%rax
  add    %r12,%rax
  mov    (%rax),%ebx
  cmpq   $0x3,-0x20(%rbp)
  je     L140
  cmpq   $0x3,-0x20(%rbp)
  ja     L270
  cmpq   $0x2,-0x20(%rbp)
  je     L256
  cmpq   $0x2,-0x20(%rbp)
  ja     L270
  cmpq   $0x0,-0x20(%rbp)
  je     L461
  cmpq   $0x1,-0x20(%rbp)
  je     L113
  jmp    L270
L461:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x18,%eax
  mov    %eax,%ebx
L113:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%rax
  or     %eax,%ebx
L256:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%rax
  or     %eax,%ebx
L140:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  or     %eax,%ebx
L270:
  mov    -0x30(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x30(%rbp)
  shl    $0x2,%rax
  add    %r12,%rax
  mov    %ebx,(%rax)
  jmp    L369
L29:
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x40(%rbp),%eax
  bswap  %eax
  mov    %eax,-0x40(%rbp)
  addq   $0x4,-0x38(%rbp)
  mov    -0x40(%rbp),%ebx
  mov    -0x30(%rbp),%rax
  shl    $0x2,%rax
  add    %r12,%rax
  mov    %ebx,(%rax)
  addq   $0x1,-0x30(%rbp)
L369:
  cmpq   $0xf,-0x30(%rbp)
  jbe    L29
  mov    -0x58(%rbp),%rax
  mov    $0x1,%edx
  mov    %r12,%rsi
  mov    %rax,%rdi
  call   <sha1_block_host_order@plt>
  mov    -0x58(%rbp),%rax
  mov    0x4(%rax),%edx
  mov    $0x40,%eax
  sub    %edx,%eax
  cltq
  sub    %rax,-0x68(%rbp)
  mov    -0x58(%rbp),%rax
  movl   $0x0,0x4(%rax)
  jmp    L266
L322:
  mov    -0x58(%rbp),%rax
  mov    0x4(%rax),%eax
  mov    %eax,%edx
  mov    -0x68(%rbp),%rax
  add    %edx,%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%rax
  mov    %edx,0x4(%rax)
  mov    -0x20(%rbp),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  cmp    $0x3,%rax
  ja     L512
  mov    -0x30(%rbp),%rax
  shl    $0x2,%rax
  add    %r12,%rax
  mov    (%rax),%ebx
  cmpq   $0x2,-0x20(%rbp)
  je     L398
  cmpq   $0x2,-0x20(%rbp)
  ja     L38
  cmpq   $0x0,-0x20(%rbp)
  je     L378
  cmpq   $0x1,-0x20(%rbp)
  je     L19
  jmp    L38
L378:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x18,%eax
  mov    %eax,%ebx
  subq   $0x1,-0x68(%rbp)
  cmpq   $0x0,-0x68(%rbp)
  je     L152
L19:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%rax
  or     %eax,%ebx
  subq   $0x1,-0x68(%rbp)
  cmpq   $0x0,-0x68(%rbp)
  je     L20
L398:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%rax
  or     %eax,%ebx
  jmp    L38
L152:
  nop
  jmp    L38
L20:
  nop
L38:
  mov    -0x30(%rbp),%rax
  shl    $0x2,%rax
  add    %r12,%rax
  mov    %ebx,(%rax)
  jmp    L138
L512:
  mov    -0x58(%rbp),%rax
  mov    0x4(%rax),%eax
  sar    $0x2,%eax
  cltq
  mov    %rax,-0x28(%rbp)
  mov    -0x58(%rbp),%rax
  mov    0x4(%rax),%eax
  cltq
  and    $0x3,%eax
  mov    %rax,-0x18(%rbp)
  cmpq   $0x0,-0x20(%rbp)
  je     L516
  mov    -0x30(%rbp),%rax
  shl    $0x2,%rax
  add    %r12,%rax
  mov    (%rax),%ebx
L516:
  cmpq   $0x3,-0x20(%rbp)
  je     L463
  cmpq   $0x3,-0x20(%rbp)
  ja     L131
  cmpq   $0x2,-0x20(%rbp)
  je     L1
  cmpq   $0x2,-0x20(%rbp)
  ja     L131
  cmpq   $0x0,-0x20(%rbp)
  je     L382
  cmpq   $0x1,-0x20(%rbp)
  je     L181
  jmp    L131
L382:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x18,%eax
  mov    %eax,%ebx
L181:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%rax
  or     %eax,%ebx
L1:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%rax
  or     %eax,%ebx
L463:
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  or     %eax,%ebx
L131:
  mov    -0x30(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x30(%rbp)
  shl    $0x2,%rax
  add    %r12,%rax
  mov    %ebx,(%rax)
  jmp    L470
L104:
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x44(%rbp),%eax
  bswap  %eax
  mov    %eax,-0x44(%rbp)
  addq   $0x4,-0x38(%rbp)
  mov    -0x44(%rbp),%ebx
  mov    -0x30(%rbp),%rax
  shl    $0x2,%rax
  add    %r12,%rax
  mov    %ebx,(%rax)
  addq   $0x1,-0x30(%rbp)
L470:
  mov    -0x30(%rbp),%rax
  cmp    -0x28(%rbp),%rax
  jb     L104
  cmpq   $0x0,-0x18(%rbp)
  je     L138
  mov    $0x0,%ebx
  mov    -0x18(%rbp),%rax
  add    %rax,-0x38(%rbp)
  cmpq   $0x3,-0x18(%rbp)
  je     L433
  cmpq   $0x3,-0x18(%rbp)
  ja     L95
  cmpq   $0x1,-0x18(%rbp)
  je     L119
  cmpq   $0x2,-0x18(%rbp)
  je     L478
  jmp    L95
L433:
  subq   $0x1,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%eax
  mov    %eax,%ebx
L478:
  subq   $0x1,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%rax
  or     %eax,%ebx
L119:
  subq   $0x1,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x18,%rax
  or     %eax,%ebx
L95:
  mov    -0x30(%rbp),%rax
  shl    $0x2,%rax
  add    %r12,%rax
  mov    %ebx,(%rax)
L138:
  mov    $0x1,%eax
  jmp    L123
L266:
  mov    -0x68(%rbp),%rax
  shr    $0x6,%rax
  mov    %rax,-0x30(%rbp)
  cmpq   $0x0,-0x30(%rbp)
  je     L351
  mov    -0x30(%rbp),%rdx
  mov    -0x38(%rbp),%rcx
  mov    -0x58(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <sha1_block_data_order@plt>
  shlq   $0x6,-0x30(%rbp)
  mov    -0x30(%rbp),%rax
  add    %rax,-0x38(%rbp)
  mov    -0x30(%rbp),%rax
  sub    %rax,-0x68(%rbp)
L351:
  cmpq   $0x0,-0x68(%rbp)
  je     L16
  mov    -0x58(%rbp),%rax
  mov    0x8(%rax),%r12
  mov    -0x68(%rbp),%rax
  mov    %eax,%edx
  mov    -0x58(%rbp),%rax
  mov    %edx,0x4(%rax)
  mov    -0x68(%rbp),%rax
  shr    $0x2,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x68(%rbp),%rax
  and    $0x3,%eax
  mov    %rax,-0x18(%rbp)
  jmp    L304
L359:
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  bswap  %eax
  mov    %eax,-0x3c(%rbp)
  addq   $0x4,-0x38(%rbp)
  mov    -0x3c(%rbp),%ebx
  mov    %ebx,(%r12)
  subq   $0x1,-0x28(%rbp)
  add    $0x4,%r12
L304:
  cmpq   $0x0,-0x28(%rbp)
  jne    L359
  mov    $0x0,%ebx
  mov    -0x18(%rbp),%rax
  add    %rax,-0x38(%rbp)
  cmpq   $0x3,-0x18(%rbp)
  je     L307
  cmpq   $0x3,-0x18(%rbp)
  ja     L267
  cmpq   $0x1,-0x18(%rbp)
  je     L298
  cmpq   $0x2,-0x18(%rbp)
  je     L46
  jmp    L267
L307:
  subq   $0x1,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%eax
  mov    %eax,%ebx
L46:
  subq   $0x1,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%rax
  or     %eax,%ebx
L298:
  subq   $0x1,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x18,%rax
  or     %eax,%ebx
L267:
  mov    %ebx,(%r12)
L16:
  mov    $0x1,%eax
L123:
  add    $0x60,%rsp
  pop    %rbx
  pop    %r12
  pop    %rbp
  ret
```

assistant: ```c
int SHA1_Update(SHA_CTX *c, const void *data_, size_t len) {
  const unsigned char *data = data_;
  register unsigned int *p;
  register unsigned int l;
  size_t sw, sc, ew, ec;
  if (len == 0)
    return 1;
  l = (c->Nl + (((unsigned int)len) << 3)) & 0xffffffffUL;
  if (l < c->Nl)
    c->Nh++;
  c->Nh += (len >> 29);
  c->Nl = l;
  if (c->num != 0) {
    p = c->data;
    sw = c->num >> 2;
    sc = c->num & 0x03;
    if ((c->num + len) >= (16 * 4)) {
      l = p[sw];
      {
        switch (sc) {
        case 0:
          l = ((unsigned long)(*((data)++))) << 24;
        case 1:
          l |= ((unsigned long)(*((data)++))) << 16;
        case 2:
          l |= ((unsigned long)(*((data)++))) << 8;
        case 3:
          l |= ((unsigned long)(*((data)++)));
        }
      };
      p[sw++] = l;
      for (; sw < 16; sw++) {
        ({
          unsigned int r = *((const unsigned int *)(data));
          asm("bswapl %0" : "=r"(r) : "0"(r));
          (data) += 4;
          (l) = r;
        });
        p[sw] = l;
      }
      sha1_block_host_order(c, p, 1);
      len -= ((16 * 4) - c->num);
      c->num = 0;
    } else {
      c->num += (unsigned int)len;
      if ((sc + len) < 4) {
        l = p[sw];
        {
          switch (sc) {
          case 0:
            l = ((unsigned long)(*((data)++))) << 24;
            if (--len == 0)
              break;
          case 1:
            l |= ((unsigned long)(*((data)++))) << 16;
            if (--len == 0)
              break;
          case 2:
            l |= ((unsigned long)(*((data)++))) << 8;
          }
        };
        p[sw] = l;
      } else {
        ew = (c->num >> 2);
        ec = (c->num & 0x03);
        if (sc)
          l = p[sw];
        {
          switch (sc) {
          case 0:
            l = ((unsigned long)(*((data)++))) << 24;
          case 1:
            l |= ((unsigned long)(*((data)++))) << 16;
          case 2:
            l |= ((unsigned long)(*((data)++))) << 8;
          case 3:
            l |= ((unsigned long)(*((data)++)));
          }
        };
        p[sw++] = l;
        for (; sw < ew; sw++) {
          ({
            unsigned int r = *((const unsigned int *)(data));
            asm("bswapl %0" : "=r"(r) : "0"(r));
            (data) += 4;
            (l) = r;
          });
          p[sw] = l;
        }
        if (ec) {
          {
            l = 0;
            (data) += ec;
            switch (ec) {
            case 3:
              l = ((unsigned long)(*(--(data)))) << 8;
            case 2:
              l |= ((unsigned long)(*(--(data)))) << 16;
            case 1:
              l |= ((unsigned long)(*(--(data)))) << 24;
            }
          };
          p[sw] = l;
        }
      }
      return 1;
    }
  }
  sw = len / (16 * 4);
  if (sw > 0) {
    {
      sha1_block_data_order(c, data, sw);
      sw *= (16 * 4);
      data += sw;
      len -= sw;
    }
  }
  if (len != 0) {
    p = c->data;
    c->num = len;
    ew = len >> 2;
    ec = len & 0x03;
    for (; ew; ew--, p++) {
      ({
        unsigned int r = *((const unsigned int *)(data));
        asm("bswapl %0" : "=r"(r) : "0"(r));
        (data) += 4;
        (l) = r;
      });
      *p = l;
    }
    {
      l = 0;
      (data) += ec;
      switch (ec) {
      case 3:
        l = ((unsigned long)(*(--(data)))) << 8;
      case 2:
        l |= ((unsigned long)(*(--(data)))) << 16;
      case 1:
        l |= ((unsigned long)(*(--(data)))) << 24;
      }
    };
    *p = l;
  }
  return 1;
}
```