#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
unsigned int wby_sha1_rol(unsigned int, int);
void wby_sha1_hash_block(unsigned int state[5], const unsigned char *block) {
  int i;
  unsigned int a, b, c, d, e;
  unsigned int w[80];
  for (i = 0; i < 16; ++i) {
    w[i] = (((unsigned int)block[(i * 4) + 0]) << 24) |
           (((unsigned int)block[(i * 4) + 1]) << 16) |
           (((unsigned int)block[(i * 4) + 2]) << 8) |
           (((unsigned int)block[(i * 4) + 3]) << 0);
  }
  for (i = 16; i < 80; ++i)
    w[i] = wby_sha1_rol(w[i - 3] ^ w[i - 8] ^ w[i - 14] ^ w[i - 16], 1);
  a = state[0];
  b = state[1];
  c = state[2];
  d = state[3];
  e = state[4];
  for (i = (0); i < (20); ++i) {
    unsigned int t =
        wby_sha1_rol(a, 5) + (((b & c) ^ (~b & d))) + e + (0x5a827999) + w[i];
    e = d;
    d = c;
    c = wby_sha1_rol(b, 30);
    b = a;
    a = t;
  }
  for (i = (20); i < (40); ++i) {
    unsigned int t =
        wby_sha1_rol(a, 5) + ((b ^ c ^ d)) + e + (0x6ed9eba1) + w[i];
    e = d;
    d = c;
    c = wby_sha1_rol(b, 30);
    b = a;
    a = t;
  }
  for (i = (40); i < (60); ++i) {
    unsigned int t = wby_sha1_rol(a, 5) + (((b & c) ^ (b & d) ^ (c & d))) + e +
                     (0x8f1bbcdc) + w[i];
    e = d;
    d = c;
    c = wby_sha1_rol(b, 30);
    b = a;
    a = t;
  }
  for (i = (60); i < (80); ++i) {
    unsigned int t =
        wby_sha1_rol(a, 5) + ((b ^ c ^ d)) + e + (0xca62c1d6) + w[i];
    e = d;
    d = c;
    c = wby_sha1_rol(b, 30);
    b = a;
    a = t;
  }
  state[0] += a;
  state[1] += b;
  state[2] += c;
  state[3] += d;
  state[4] += e;
}


x86 assembly (clang, -O0):
<wby_sha1_hash_block>:
push   %rbp
mov    %rsp,%rbp
sub    $0x180,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x10,-0x14(%rbp)
jge    11af <wby_sha1_hash_block+0x9f>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%ecx
shl    $0x18,%ecx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%edx
shl    $0x2,%edx
add    $0x1,%edx
movslq %edx,%rdx
movzbl (%rax,%rdx,1),%eax
shl    $0x10,%eax
or     %eax,%ecx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%edx
shl    $0x2,%edx
add    $0x2,%edx
movslq %edx,%rdx
movzbl (%rax,%rdx,1),%eax
shl    $0x8,%eax
or     %eax,%ecx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%edx
shl    $0x2,%edx
add    $0x3,%edx
movslq %edx,%rdx
movzbl (%rax,%rdx,1),%eax
shl    $0x0,%eax
or     %eax,%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0x170(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    112a <wby_sha1_hash_block+0x1a>
movl   $0x10,-0x14(%rbp)
cmpl   $0x50,-0x14(%rbp)
jge    1221 <wby_sha1_hash_block+0x111>
mov    -0x14(%rbp),%eax
sub    $0x3,%eax
cltq
mov    -0x170(%rbp,%rax,4),%edi
mov    -0x14(%rbp),%eax
sub    $0x8,%eax
cltq
xor    -0x170(%rbp,%rax,4),%edi
mov    -0x14(%rbp),%eax
sub    $0xe,%eax
cltq
xor    -0x170(%rbp,%rax,4),%edi
mov    -0x14(%rbp),%eax
sub    $0x10,%eax
cltq
xor    -0x170(%rbp,%rax,4),%edi
mov    $0x1,%esi
call   1030 <wby_sha1_rol@plt>
mov    %eax,%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0x170(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11b6 <wby_sha1_hash_block+0xa6>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    0x10(%rax),%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x14,-0x14(%rbp)
jge    12d5 <wby_sha1_hash_block+0x1c5>
mov    -0x18(%rbp),%edi
mov    $0x5,%esi
call   1030 <wby_sha1_rol@plt>
mov    -0x1c(%rbp),%ecx
and    -0x20(%rbp),%ecx
mov    -0x1c(%rbp),%edx
xor    $0xffffffff,%edx
and    -0x24(%rbp),%edx
xor    %edx,%ecx
add    %ecx,%eax
add    -0x28(%rbp),%eax
add    $0x5a827999,%eax
movslq -0x14(%rbp),%rcx
add    -0x170(%rbp,%rcx,4),%eax
mov    %eax,-0x174(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%edi
mov    $0x1e,%esi
call   1030 <wby_sha1_rol@plt>
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x174(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1259 <wby_sha1_hash_block+0x149>
movl   $0x14,-0x14(%rbp)
cmpl   $0x28,-0x14(%rbp)
jge    1350 <wby_sha1_hash_block+0x240>
mov    -0x18(%rbp),%edi
mov    $0x5,%esi
call   1030 <wby_sha1_rol@plt>
mov    -0x1c(%rbp),%ecx
xor    -0x20(%rbp),%ecx
xor    -0x24(%rbp),%ecx
add    %ecx,%eax
add    -0x28(%rbp),%eax
add    $0x6ed9eba1,%eax
movslq -0x14(%rbp),%rcx
add    -0x170(%rbp,%rcx,4),%eax
mov    %eax,-0x178(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%edi
mov    $0x1e,%esi
call   1030 <wby_sha1_rol@plt>
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x178(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12dc <wby_sha1_hash_block+0x1cc>
movl   $0x28,-0x14(%rbp)
cmpl   $0x3c,-0x14(%rbp)
jge    13d8 <wby_sha1_hash_block+0x2c8>
mov    -0x18(%rbp),%edi
mov    $0x5,%esi
call   1030 <wby_sha1_rol@plt>
mov    -0x1c(%rbp),%ecx
and    -0x20(%rbp),%ecx
mov    -0x1c(%rbp),%edx
and    -0x24(%rbp),%edx
xor    %edx,%ecx
mov    -0x20(%rbp),%edx
and    -0x24(%rbp),%edx
xor    %edx,%ecx
add    %ecx,%eax
add    -0x28(%rbp),%eax
add    $0x8f1bbcdc,%eax
movslq -0x14(%rbp),%rcx
add    -0x170(%rbp,%rcx,4),%eax
mov    %eax,-0x17c(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%edi
mov    $0x1e,%esi
call   1030 <wby_sha1_rol@plt>
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x17c(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1357 <wby_sha1_hash_block+0x247>
movl   $0x3c,-0x14(%rbp)
cmpl   $0x50,-0x14(%rbp)
jge    1453 <wby_sha1_hash_block+0x343>
mov    -0x18(%rbp),%edi
mov    $0x5,%esi
call   1030 <wby_sha1_rol@plt>
mov    -0x1c(%rbp),%ecx
xor    -0x20(%rbp),%ecx
xor    -0x24(%rbp),%ecx
add    %ecx,%eax
add    -0x28(%rbp),%eax
add    $0xca62c1d6,%eax
movslq -0x14(%rbp),%rcx
add    -0x170(%rbp,%rcx,4),%eax
mov    %eax,-0x180(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%edi
mov    $0x1e,%esi
call   1030 <wby_sha1_rol@plt>
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x180(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    13df <wby_sha1_hash_block+0x2cf>
mov    -0x18(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x1c(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x20(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x10(%rax),%ecx
mov    %ecx,0x10(%rax)
add    $0x180,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wby_sha1_hash_block>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x158,%rsp
mov    %rdi,%r14
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
mov    (%rsi,%rax,4),%ecx
bswap  %ecx
mov    %ecx,0x10(%rsp,%rax,4)
add    $0x1,%rax
cmp    $0x10,%rax
jne    1130 <wby_sha1_hash_block+0x20>
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x30(%rsp,%rbx,4),%edi
xor    0x44(%rsp,%rbx,4),%edi
xor    0x18(%rsp,%rbx,4),%edi
xor    0x10(%rsp,%rbx,4),%edi
mov    $0x1,%esi
call   1030 <wby_sha1_rol@plt>
mov    %eax,0x50(%rsp,%rbx,4)
add    $0x1,%rbx
cmp    $0x40,%rbx
jne    1150 <wby_sha1_hash_block+0x40>
mov    (%r14),%ebp
mov    0x4(%r14),%r12d
mov    0x8(%r14),%eax
mov    0xc(%r14),%r15d
mov    %r14,0x8(%rsp)
mov    0x10(%r14),%ecx
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r15d,%r14d
mov    %eax,%r15d
mov    %r12d,%r13d
mov    %ebp,%r12d
mov    %ebp,%edi
mov    $0x5,%esi
mov    %ecx,%ebp
call   1030 <wby_sha1_rol@plt>
mov    %r13d,%ecx
and    %r15d,%ecx
mov    %r13d,%edx
not    %edx
and    %r14d,%edx
add    %ebp,%edx
add    %ecx,%edx
mov    0x10(%rsp,%rbx,4),%ecx
add    %eax,%edx
lea    (%rcx,%rdx,1),%ebp
add    $0x5a827999,%ebp
mov    %r13d,%edi
mov    $0x1e,%esi
call   1030 <wby_sha1_rol@plt>
add    $0x1,%rbx
mov    %r14d,%ecx
cmp    $0x14,%rbx
jne    11a0 <wby_sha1_hash_block+0x90>
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
mov    %r15d,%r13d
mov    %eax,%r15d
mov    %r12d,0x4(%rsp)
mov    %ebp,%r12d
mov    %ebp,%edi
mov    $0x5,%esi
call   1030 <wby_sha1_rol@plt>
mov    %r15d,%ecx
xor    %r13d,%ecx
mov    0x4(%rsp),%edi
xor    %edi,%ecx
add    %r14d,%ecx
mov    0x60(%rsp,%rbx,4),%edx
add    %eax,%ecx
lea    (%rdx,%rcx,1),%ebp
add    $0x6ed9eba1,%ebp
mov    $0x1e,%esi
call   1030 <wby_sha1_rol@plt>
add    $0x1,%rbx
mov    %r13d,%r14d
cmp    $0x14,%rbx
jne    1200 <wby_sha1_hash_block+0xf0>
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r15d,%ebx
mov    %eax,%r15d
mov    %r12d,0x4(%rsp)
mov    %ebp,%r12d
mov    %ebp,%edi
mov    $0x5,%esi
call   1030 <wby_sha1_rol@plt>
mov    %r15d,%ecx
xor    %ebx,%ecx
mov    0x4(%rsp),%edi
and    %edi,%ecx
mov    %r15d,%edx
and    %ebx,%edx
xor    %ecx,%edx
add    %r13d,%edx
mov    0xb0(%rsp,%r14,4),%ecx
add    %eax,%edx
lea    (%rcx,%rdx,1),%ebp
add    $0x8f1bbcdc,%ebp
mov    $0x1e,%esi
call   1030 <wby_sha1_rol@plt>
add    $0x1,%r14
mov    %ebx,%r13d
cmp    $0x14,%r14
jne    1260 <wby_sha1_hash_block+0x150>
xor    %r13d,%r13d
nopl   0x0(%rax)
mov    %r15d,%r14d
mov    %eax,%r15d
mov    %r12d,0x4(%rsp)
mov    %ebp,%r12d
mov    %ebp,%edi
mov    $0x5,%esi
call   1030 <wby_sha1_rol@plt>
mov    %r15d,%ecx
xor    %r14d,%ecx
mov    0x4(%rsp),%edi
xor    %edi,%ecx
add    %ebx,%ecx
mov    0x100(%rsp,%r13,4),%edx
add    %eax,%ecx
lea    (%rdx,%rcx,1),%ebp
add    $0xca62c1d6,%ebp
mov    $0x1e,%esi
call   1030 <wby_sha1_rol@plt>
add    $0x1,%r13
mov    %r14d,%ebx
cmp    $0x14,%r13
jne    12c0 <wby_sha1_hash_block+0x1b0>
mov    0x8(%rsp),%rcx
movdqu (%rcx),%xmm0
movd   %r15d,%xmm1
movd   %eax,%xmm2
punpckldq %xmm1,%xmm2
movd   %r12d,%xmm1
movd   %ebp,%xmm3
punpckldq %xmm1,%xmm3
punpcklqdq %xmm2,%xmm3
paddd  %xmm0,%xmm3
movdqu %xmm3,(%rcx)
add    %r14d,0x10(%rcx)
add    $0x158,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @wby_sha1_hash_block(i32* %0, i8* %1) {
%3 = alloca i32*
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca [80 x i32]
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store i32* %0, i32** %3
store i8* %1, i8** %4
store i32 0, i32* %5
br label %16
16: ; preds = %62, %2
%17 = load i32, i32* %5
%18 = icmp slt i32 %17, 16
br i1 %18, label %19, label %65
19: ; preds = %16
%20 = load i8*, i8** %4
%21 = load i32, i32* %5
%22 = mul nsw i32 %21, 4
%23 = add nsw i32 %22, 0
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %20, i64 %24
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = shl i32 %27, 24
%29 = load i8*, i8** %4
%30 = load i32, i32* %5
%31 = mul nsw i32 %30, 4
%32 = add nsw i32 %31, 1
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %29, i64 %33
%35 = load i8, i8* %34
%36 = zext i8 %35 to i32
%37 = shl i32 %36, 16
%38 = or i32 %28, %37
%39 = load i8*, i8** %4
%40 = load i32, i32* %5
%41 = mul nsw i32 %40, 4
%42 = add nsw i32 %41, 2
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %39, i64 %43
%45 = load i8, i8* %44
%46 = zext i8 %45 to i32
%47 = shl i32 %46, 8
%48 = or i32 %38, %47
%49 = load i8*, i8** %4
%50 = load i32, i32* %5
%51 = mul nsw i32 %50, 4
%52 = add nsw i32 %51, 3
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i8, i8* %49, i64 %53
%55 = load i8, i8* %54
%56 = zext i8 %55 to i32
%57 = shl i32 %56, 0
%58 = or i32 %48, %57
%59 = load i32, i32* %5
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %60
store i32 %58, i32* %61
br label %62
62: ; preds = %19
%63 = load i32, i32* %5
%64 = add nsw i32 %63, 1
store i32 %64, i32* %5
br label %16
65: ; preds = %16
store i32 16, i32* %5
br label %66
66: ; preds = %97, %65
%67 = load i32, i32* %5
%68 = icmp slt i32 %67, 80
br i1 %68, label %69, label %100
69: ; preds = %66
%70 = load i32, i32* %5
%71 = sub nsw i32 %70, 3
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %72
%74 = load i32, i32* %73
%75 = load i32, i32* %5
%76 = sub nsw i32 %75, 8
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %77
%79 = load i32, i32* %78
%80 = xor i32 %74, %79
%81 = load i32, i32* %5
%82 = sub nsw i32 %81, 14
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %83
%85 = load i32, i32* %84
%86 = xor i32 %80, %85
%87 = load i32, i32* %5
%88 = sub nsw i32 %87, 16
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %89
%91 = load i32, i32* %90
%92 = xor i32 %86, %91
%93 = call i32 @wby_sha1_rol(i32 %92, i32 1)
%94 = load i32, i32* %5
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %95
store i32 %93, i32* %96
br label %97
97: ; preds = %69
%98 = load i32, i32* %5
%99 = add nsw i32 %98, 1
store i32 %99, i32* %5
br label %66
100: ; preds = %66
%101 = load i32*, i32** %3
%102 = getelementptr inbounds i32, i32* %101, i64 0
%103 = load i32, i32* %102
store i32 %103, i32* %6
%104 = load i32*, i32** %3
%105 = getelementptr inbounds i32, i32* %104, i64 1
%106 = load i32, i32* %105
store i32 %106, i32* %7
%107 = load i32*, i32** %3
%108 = getelementptr inbounds i32, i32* %107, i64 2
%109 = load i32, i32* %108
store i32 %109, i32* %8
%110 = load i32*, i32** %3
%111 = getelementptr inbounds i32, i32* %110, i64 3
%112 = load i32, i32* %111
store i32 %112, i32* %9
%113 = load i32*, i32** %3
%114 = getelementptr inbounds i32, i32* %113, i64 4
%115 = load i32, i32* %114
store i32 %115, i32* %10
store i32 0, i32* %5
br label %116
116: ; preds = %145, %100
%117 = load i32, i32* %5
%118 = icmp slt i32 %117, 20
br i1 %118, label %119, label %148
119: ; preds = %116
%120 = load i32, i32* %6
%121 = call i32 @wby_sha1_rol(i32 %120, i32 5)
%122 = load i32, i32* %7
%123 = load i32, i32* %8
%124 = and i32 %122, %123
%125 = load i32, i32* %7
%126 = xor i32 %125, -1
%127 = load i32, i32* %9
%128 = and i32 %126, %127
%129 = xor i32 %124, %128
%130 = add i32 %121, %129
%131 = load i32, i32* %10
%132 = add i32 %130, %131
%133 = add i32 %132, 1518500249
%134 = load i32, i32* %5
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %135
%137 = load i32, i32* %136
%138 = add i32 %133, %137
store i32 %138, i32* %12
%139 = load i32, i32* %9
store i32 %139, i32* %10
%140 = load i32, i32* %8
store i32 %140, i32* %9
%141 = load i32, i32* %7
%142 = call i32 @wby_sha1_rol(i32 %141, i32 30)
store i32 %142, i32* %8
%143 = load i32, i32* %6
store i32 %143, i32* %7
%144 = load i32, i32* %12
store i32 %144, i32* %6
br label %145
145: ; preds = %119
%146 = load i32, i32* %5
%147 = add nsw i32 %146, 1
store i32 %147, i32* %5
br label %116
148: ; preds = %116
store i32 20, i32* %5
br label %149
149: ; preds = %175, %148
%150 = load i32, i32* %5
%151 = icmp slt i32 %150, 40
br i1 %151, label %152, label %178
152: ; preds = %149
%153 = load i32, i32* %6
%154 = call i32 @wby_sha1_rol(i32 %153, i32 5)
%155 = load i32, i32* %7
%156 = load i32, i32* %8
%157 = xor i32 %155, %156
%158 = load i32, i32* %9
%159 = xor i32 %157, %158
%160 = add i32 %154, %159
%161 = load i32, i32* %10
%162 = add i32 %160, %161
%163 = add i32 %162, 1859775393
%164 = load i32, i32* %5
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %165
%167 = load i32, i32* %166
%168 = add i32 %163, %167
store i32 %168, i32* %13
%169 = load i32, i32* %9
store i32 %169, i32* %10
%170 = load i32, i32* %8
store i32 %170, i32* %9
%171 = load i32, i32* %7
%172 = call i32 @wby_sha1_rol(i32 %171, i32 30)
store i32 %172, i32* %8
%173 = load i32, i32* %6
store i32 %173, i32* %7
%174 = load i32, i32* %13
store i32 %174, i32* %6
br label %175
175: ; preds = %152
%176 = load i32, i32* %5
%177 = add nsw i32 %176, 1
store i32 %177, i32* %5
br label %149
178: ; preds = %149
store i32 40, i32* %5
br label %179
179: ; preds = %211, %178
%180 = load i32, i32* %5
%181 = icmp slt i32 %180, 60
br i1 %181, label %182, label %214
182: ; preds = %179
%183 = load i32, i32* %6
%184 = call i32 @wby_sha1_rol(i32 %183, i32 5)
%185 = load i32, i32* %7
%186 = load i32, i32* %8
%187 = and i32 %185, %186
%188 = load i32, i32* %7
%189 = load i32, i32* %9
%190 = and i32 %188, %189
%191 = xor i32 %187, %190
%192 = load i32, i32* %8
%193 = load i32, i32* %9
%194 = and i32 %192, %193
%195 = xor i32 %191, %194
%196 = add i32 %184, %195
%197 = load i32, i32* %10
%198 = add i32 %196, %197
%199 = add i32 %198, -1894007588
%200 = load i32, i32* %5
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %201
%203 = load i32, i32* %202
%204 = add i32 %199, %203
store i32 %204, i32* %14
%205 = load i32, i32* %9
store i32 %205, i32* %10
%206 = load i32, i32* %8
store i32 %206, i32* %9
%207 = load i32, i32* %7
%208 = call i32 @wby_sha1_rol(i32 %207, i32 30)
store i32 %208, i32* %8
%209 = load i32, i32* %6
store i32 %209, i32* %7
%210 = load i32, i32* %14
store i32 %210, i32* %6
br label %211
211: ; preds = %182
%212 = load i32, i32* %5
%213 = add nsw i32 %212, 1
store i32 %213, i32* %5
br label %179
214: ; preds = %179
store i32 60, i32* %5
br label %215
215: ; preds = %241, %214
%216 = load i32, i32* %5
%217 = icmp slt i32 %216, 80
br i1 %217, label %218, label %244
218: ; preds = %215
%219 = load i32, i32* %6
%220 = call i32 @wby_sha1_rol(i32 %219, i32 5)
%221 = load i32, i32* %7
%222 = load i32, i32* %8
%223 = xor i32 %221, %222
%224 = load i32, i32* %9
%225 = xor i32 %223, %224
%226 = add i32 %220, %225
%227 = load i32, i32* %10
%228 = add i32 %226, %227
%229 = add i32 %228, -899497514
%230 = load i32, i32* %5
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds [80 x i32], [80 x i32]* %11, i64 0, i64 %231
%233 = load i32, i32* %232
%234 = add i32 %229, %233
store i32 %234, i32* %15
%235 = load i32, i32* %9
store i32 %235, i32* %10
%236 = load i32, i32* %8
store i32 %236, i32* %9
%237 = load i32, i32* %7
%238 = call i32 @wby_sha1_rol(i32 %237, i32 30)
store i32 %238, i32* %8
%239 = load i32, i32* %6
store i32 %239, i32* %7
%240 = load i32, i32* %15
store i32 %240, i32* %6
br label %241
241: ; preds = %218
%242 = load i32, i32* %5
%243 = add nsw i32 %242, 1
store i32 %243, i32* %5
br label %215
244: ; preds = %215
%245 = load i32, i32* %6
%246 = load i32*, i32** %3
%247 = getelementptr inbounds i32, i32* %246, i64 0
%248 = load i32, i32* %247
%249 = add i32 %248, %245
store i32 %249, i32* %247
%250 = load i32, i32* %7
%251 = load i32*, i32** %3
%252 = getelementptr inbounds i32, i32* %251, i64 1
%253 = load i32, i32* %252
%254 = add i32 %253, %250
store i32 %254, i32* %252
%255 = load i32, i32* %8
%256 = load i32*, i32** %3
%257 = getelementptr inbounds i32, i32* %256, i64 2
%258 = load i32, i32* %257
%259 = add i32 %258, %255
store i32 %259, i32* %257
%260 = load i32, i32* %9
%261 = load i32*, i32** %3
%262 = getelementptr inbounds i32, i32* %261, i64 3
%263 = load i32, i32* %262
%264 = add i32 %263, %260
store i32 %264, i32* %262
%265 = load i32, i32* %10
%266 = load i32*, i32** %3
%267 = getelementptr inbounds i32, i32* %266, i64 4
%268 = load i32, i32* %267
%269 = add i32 %268, %265
store i32 %269, i32* %267
ret void
}

LLVM IR (-O2):
define void @wby_sha1_hash_block(i32* nocapture %0, i8* nocapture %1) {
%3 = alloca [80 x i32]
%4 = bitcast [80 x i32]* %3 to i8*
br label %5
5: ; preds = %2, %5
%6 = phi i64 [ 0, %2 ], [ %30, %5 ]
%7 = shl nuw nsw i64 %6, 2
%8 = getelementptr inbounds i8, i8* %1, i64 %7
%9 = load i8, i8* %8
%10 = zext i8 %9 to i32
%11 = shl nuw i32 %10, 24
%12 = or i64 %7, 1
%13 = getelementptr inbounds i8, i8* %1, i64 %12
%14 = load i8, i8* %13
%15 = zext i8 %14 to i32
%16 = shl nuw nsw i32 %15, 16
%17 = or i32 %16, %11
%18 = or i64 %7, 2
%19 = getelementptr inbounds i8, i8* %1, i64 %18
%20 = load i8, i8* %19
%21 = zext i8 %20 to i32
%22 = shl nuw nsw i32 %21, 8
%23 = or i32 %17, %22
%24 = or i64 %7, 3
%25 = getelementptr inbounds i8, i8* %1, i64 %24
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = or i32 %23, %27
%29 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %6
store i32 %28, i32* %29
%30 = add nuw nsw i64 %6, 1
%31 = icmp eq i64 %30, 16
br i1 %31, label %32, label %5
32: ; preds = %5, %32
%33 = phi i64 [ %51, %32 ], [ 16, %5 ]
%34 = add nsw i64 %33, -3
%35 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %34
%36 = load i32, i32* %35
%37 = add nsw i64 %33, -8
%38 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %37
%39 = load i32, i32* %38
%40 = xor i32 %39, %36
%41 = add nsw i64 %33, -14
%42 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %41
%43 = load i32, i32* %42
%44 = xor i32 %40, %43
%45 = add nsw i64 %33, -16
%46 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %45
%47 = load i32, i32* %46
%48 = xor i32 %44, %47
%49 = tail call i32 @wby_sha1_rol(i32 %48, i32 1)
%50 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %33
store i32 %49, i32* %50
%51 = add nuw nsw i64 %33, 1
%52 = icmp eq i64 %51, 80
br i1 %52, label %53, label %32
53: ; preds = %32
%54 = load i32, i32* %0
%55 = getelementptr inbounds i32, i32* %0, i64 1
%56 = load i32, i32* %55
%57 = getelementptr inbounds i32, i32* %0, i64 2
%58 = load i32, i32* %57
%59 = getelementptr inbounds i32, i32* %0, i64 3
%60 = load i32, i32* %59
%61 = getelementptr inbounds i32, i32* %0, i64 4
%62 = load i32, i32* %61
br label %63
63: ; preds = %53, %63
%64 = phi i64 [ 0, %53 ], [ %82, %63 ]
%65 = phi i32 [ %54, %53 ], [ %80, %63 ]
%66 = phi i32 [ %56, %53 ], [ %65, %63 ]
%67 = phi i32 [ %58, %53 ], [ %81, %63 ]
%68 = phi i32 [ %62, %53 ], [ %69, %63 ]
%69 = phi i32 [ %60, %53 ], [ %67, %63 ]
%70 = tail call i32 @wby_sha1_rol(i32 %65, i32 5)
%71 = and i32 %66, %67
%72 = xor i32 %66, -1
%73 = and i32 %69, %72
%74 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %64
%75 = load i32, i32* %74
%76 = add i32 %68, 1518500249
%77 = add i32 %76, %73
%78 = add i32 %77, %71
%79 = add i32 %78, %70
%80 = add i32 %79, %75
%81 = tail call i32 @wby_sha1_rol(i32 %66, i32 30)
%82 = add nuw nsw i64 %64, 1
%83 = icmp eq i64 %82, 20
br i1 %83, label %84, label %63
84: ; preds = %63, %84
%85 = phi i64 [ %101, %84 ], [ 20, %63 ]
%86 = phi i32 [ %99, %84 ], [ %80, %63 ]
%87 = phi i32 [ %86, %84 ], [ %65, %63 ]
%88 = phi i32 [ %100, %84 ], [ %81, %63 ]
%89 = phi i32 [ %90, %84 ], [ %69, %63 ]
%90 = phi i32 [ %88, %84 ], [ %67, %63 ]
%91 = tail call i32 @wby_sha1_rol(i32 %86, i32 5)
%92 = xor i32 %88, %90
%93 = xor i32 %92, %87
%94 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %85
%95 = load i32, i32* %94
%96 = add i32 %89, 1859775393
%97 = add i32 %96, %93
%98 = add i32 %97, %91
%99 = add i32 %98, %95
%100 = tail call i32 @wby_sha1_rol(i32 %87, i32 30)
%101 = add nuw nsw i64 %85, 1
%102 = icmp eq i64 %101, 40
br i1 %102, label %103, label %84
103: ; preds = %84, %103
%104 = phi i64 [ %122, %103 ], [ 40, %84 ]
%105 = phi i32 [ %120, %103 ], [ %99, %84 ]
%106 = phi i32 [ %105, %103 ], [ %86, %84 ]
%107 = phi i32 [ %121, %103 ], [ %100, %84 ]
%108 = phi i32 [ %109, %103 ], [ %90, %84 ]
%109 = phi i32 [ %107, %103 ], [ %88, %84 ]
%110 = tail call i32 @wby_sha1_rol(i32 %105, i32 5)
%111 = xor i32 %107, %109
%112 = and i32 %106, %111
%113 = and i32 %107, %109
%114 = xor i32 %112, %113
%115 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %104
%116 = load i32, i32* %115
%117 = add i32 %108, -1894007588
%118 = add i32 %117, %114
%119 = add i32 %118, %110
%120 = add i32 %119, %116
%121 = tail call i32 @wby_sha1_rol(i32 %106, i32 30)
%122 = add nuw nsw i64 %104, 1
%123 = icmp eq i64 %122, 60
br i1 %123, label %124, label %103
124: ; preds = %103, %124
%125 = phi i64 [ %141, %124 ], [ 60, %103 ]
%126 = phi i32 [ %139, %124 ], [ %120, %103 ]
%127 = phi i32 [ %126, %124 ], [ %105, %103 ]
%128 = phi i32 [ %140, %124 ], [ %121, %103 ]
%129 = phi i32 [ %130, %124 ], [ %109, %103 ]
%130 = phi i32 [ %128, %124 ], [ %107, %103 ]
%131 = tail call i32 @wby_sha1_rol(i32 %126, i32 5)
%132 = xor i32 %128, %130
%133 = xor i32 %132, %127
%134 = getelementptr inbounds [80 x i32], [80 x i32]* %3, i64 0, i64 %125
%135 = load i32, i32* %134
%136 = add i32 %129, -899497514
%137 = add i32 %136, %133
%138 = add i32 %137, %131
%139 = add i32 %138, %135
%140 = tail call i32 @wby_sha1_rol(i32 %127, i32 30)
%141 = add nuw nsw i64 %125, 1
%142 = icmp eq i64 %141, 80
br i1 %142, label %143, label %124
143: ; preds = %124
%144 = bitcast i32* %0 to <4 x i32>*
%145 = load <4 x i32>, <4 x i32>* %144
%146 = insertelement <4 x i32> poison, i32 %139, i64 0
%147 = insertelement <4 x i32> %146, i32 %126, i64 1
%148 = insertelement <4 x i32> %147, i32 %140, i64 2
%149 = insertelement <4 x i32> %148, i32 %128, i64 3
%150 = add <4 x i32> %145, %149
%151 = bitcast i32* %0 to <4 x i32>*
store <4 x i32> %150, <4 x i32>* %151
%152 = load i32, i32* %61
%153 = add i32 %152, %130
store i32 %153, i32* %61
ret void
}