#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 */
typedef int uint32_t;

/* Variables and functions */
int /*<<< orphan*/ memset(int *, int /*<<< orphan*/, int);
int /*<<< orphan*/ sha256_transform(int *, int *);
void sha256_finish(uint32_t *state, const unsigned char *block, int blcklen,
                   int swap) {
  unsigned int i;
  int j;
  uint32_t S[16];
  j = 0;
  do {
    memset(S, 0, 16 * sizeof(uint32_t));
    if (j < blcklen - 64) {
      for (i = 0; i < 64; i++) {
        S[i >> 2] ^= (uint32_t)*block++ << (8 * ((3 - i) & 3));
      }
      sha256_transform(state, S);
    } else {
      if (j < blcklen + 9) {
        for (i = 0; i < blcklen - j; i++) {
          S[i >> 2] ^= (uint32_t)*block++ << (8 * ((3 - i) & 3));
        }
        S[i >> 2] ^= (uint32_t)1 << (8 * ((3 - i) & 3) + 7);
        S[14] = (blcklen >> 29);
        S[15] = blcklen << 3;
      } else {
        for (i = 0; i < blcklen - j; i++) {
          S[i >> 2] ^= (uint32_t)*block++ << (8 * ((3 - i) & 3));
        }
        S[i >> 2] ^= (uint32_t)1 << (8 * (i & 3) + 7);
        sha256_transform(state, S);
        memset(S, 0, 16 * sizeof(uint32_t));
        S[14] = (blcklen >> 29);
        S[15] = blcklen << 3;
      }
    }
    j = j + 64;
  } while (j < blcklen);
  sha256_transform(state, S);
  return;
}


x86 assembly (clang, -O0):
<sha256_finish>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
lea    -0x60(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1030 <memset@plt>
mov    -0x20(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x40,%ecx
cmp    %ecx,%eax
jge    11c3 <sha256_finish+0xa3>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x40,-0x1c(%rbp)
jae    11b1 <sha256_finish+0x91>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
mov    $0x3,%ecx
sub    -0x1c(%rbp),%ecx
and    $0x3,%ecx
shl    $0x3,%ecx
shl    %cl,%eax
mov    %eax,%ecx
mov    -0x1c(%rbp),%eax
shr    $0x2,%eax
mov    %eax,%eax
xor    -0x60(%rbp,%rax,4),%ecx
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1165 <sha256_finish+0x45>
mov    -0x8(%rbp),%rdi
lea    -0x60(%rbp),%rsi
call   1040 <sha256_transform@plt>
jmp    1322 <sha256_finish+0x202>
mov    -0x20(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    $0x9,%ecx
cmp    %ecx,%eax
jge    126f <sha256_finish+0x14f>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    -0x20(%rbp),%ecx
cmp    %ecx,%eax
jae    122e <sha256_finish+0x10e>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
mov    $0x3,%ecx
sub    -0x1c(%rbp),%ecx
and    $0x3,%ecx
shl    $0x3,%ecx
shl    %cl,%eax
mov    %eax,%ecx
mov    -0x1c(%rbp),%eax
shr    $0x2,%eax
mov    %eax,%eax
xor    -0x60(%rbp,%rax,4),%ecx
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11db <sha256_finish+0xbb>
mov    $0x3,%ecx
sub    -0x1c(%rbp),%ecx
and    $0x3,%ecx
shl    $0x3,%ecx
add    $0x7,%ecx
mov    $0x1,%eax
shl    %cl,%eax
mov    %eax,%ecx
mov    -0x1c(%rbp),%eax
shr    $0x2,%eax
mov    %eax,%eax
xor    -0x60(%rbp,%rax,4),%ecx
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
sar    $0x1d,%eax
mov    %eax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
shl    $0x3,%eax
mov    %eax,-0x24(%rbp)
jmp    131d <sha256_finish+0x1fd>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    -0x20(%rbp),%ecx
cmp    %ecx,%eax
jae    12c9 <sha256_finish+0x1a9>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
mov    $0x3,%ecx
sub    -0x1c(%rbp),%ecx
and    $0x3,%ecx
shl    $0x3,%ecx
shl    %cl,%eax
mov    %eax,%ecx
mov    -0x1c(%rbp),%eax
shr    $0x2,%eax
mov    %eax,%eax
xor    -0x60(%rbp,%rax,4),%ecx
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1276 <sha256_finish+0x156>
mov    -0x1c(%rbp),%ecx
and    $0x3,%ecx
shl    $0x3,%ecx
add    $0x7,%ecx
mov    $0x1,%eax
shl    %cl,%eax
mov    %eax,%ecx
mov    -0x1c(%rbp),%eax
shr    $0x2,%eax
mov    %eax,%eax
xor    -0x60(%rbp,%rax,4),%ecx
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x8(%rbp),%rdi
lea    -0x60(%rbp),%rsi
call   1040 <sha256_transform@plt>
lea    -0x60(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1030 <memset@plt>
mov    -0x14(%rbp),%eax
sar    $0x1d,%eax
mov    %eax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
shl    $0x3,%eax
mov    %eax,-0x24(%rbp)
jmp    1322 <sha256_finish+0x202>
mov    -0x20(%rbp),%eax
add    $0x40,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jl     113d <sha256_finish+0x1d>
mov    -0x8(%rbp),%rdi
lea    -0x60(%rbp),%rsi
call   1040 <sha256_transform@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sha256_finish>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %edx,%r12d
mov    %rsi,%rbx
mov    %rdi,0x10(%rsp)
lea    -0x40(%r12),%eax
mov    %eax,0x1c(%rsp)
lea    0x9(%r12),%eax
mov    %eax,0x18(%rsp)
mov    %edx,%eax
sar    $0x1d,%eax
mov    %eax,0xc(%rsp)
lea    0x0(,%r12,8),%eax
mov    %eax,0x8(%rsp)
lea    -0x1(%r12),%eax
mov    %eax,0x4(%rsp)
xor    %r13d,%r13d
lea    0x20(%rsp),%rbp
mov    %edx,%r15d
xor    %r14d,%r14d
mov    %r12,0x60(%rsp)
jmp    11c9 <sha256_finish+0xa9>
xchg   %ax,%ax
lea    0x0(,%rsi,8),%eax
mov    $0x18,%cl
sub    %al,%cl
and    $0x18,%cl
or     $0x7,%cl
mov    $0x1,%eax
shl    %cl,%eax
and    $0xfffffffc,%esi
xor    %eax,0x20(%rsp,%rsi,1)
mov    0xc(%rsp),%eax
mov    %eax,0x58(%rsp)
mov    0x8(%rsp),%eax
mov    %eax,0x5c(%rsp)
lea    0x20(%rsp),%rbp
add    $0x40,%r14d
add    $0xffffffc0,%r15d
add    $0x1,%r13d
cmp    %r12d,%r14d
jge    13d3 <sha256_finish+0x2b3>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1030 <memset@plt>
cmp    0x1c(%rsp),%r14d
jge    1250 <sha256_finish+0x130>
mov    $0x10,%eax
mov    $0x18,%edx
xor    %r12d,%r12d
nopl   0x0(%rax)
movzbl (%rbx,%r12,1),%esi
mov    %edx,%ecx
and    $0x18,%cl
shl    %cl,%esi
mov    %r12d,%edi
and    $0xfffffffc,%edi
xor    0x20(%rsp,%rdi,1),%esi
mov    %esi,0x20(%rsp,%rdi,1)
movzbl 0x1(%rbx,%r12,1),%ebp
mov    %eax,%ecx
and    $0x10,%cl
shl    %cl,%ebp
xor    %esi,%ebp
mov    %ebp,0x20(%rsp,%rdi,1)
add    $0xfffffff0,%eax
add    $0x2,%r12
add    $0xfffffff0,%edx
cmp    $0x40,%r12d
jne    11f0 <sha256_finish+0xd0>
mov    0x10(%rsp),%rdi
lea    0x20(%rsp),%rbp
mov    %rbp,%rsi
call   1040 <sha256_transform@plt>
add    %r12,%rbx
mov    0x60(%rsp),%r12
jmp    11b4 <sha256_finish+0x94>
nopl   0x0(%rax)
mov    %r15d,%r8d
and    $0xfffffffe,%r8d
mov    %r13d,%ecx
shl    $0x6,%ecx
cmp    0x18(%rsp),%r14d
jge    1300 <sha256_finish+0x1e0>
xor    %esi,%esi
cmp    %r12d,%r14d
je     1180 <sha256_finish+0x60>
xor    %ebp,%ebp
cmp    %ecx,0x4(%rsp)
je     12ca <sha256_finish+0x1aa>
mov    $0x10,%esi
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rbx,%rbp,1),%edi
lea    0x8(%rsi),%ecx
and    $0x18,%cl
shl    %cl,%edi
mov    %ebp,%edx
and    $0xfffffffc,%edx
xor    0x20(%rsp,%rdx,1),%edi
mov    %edi,0x20(%rsp,%rdx,1)
movzbl 0x1(%rbx,%rbp,1),%eax
mov    %esi,%ecx
and    $0x10,%cl
shl    %cl,%eax
xor    %edi,%eax
mov    %eax,0x20(%rsp,%rdx,1)
add    $0xfffffff0,%esi
add    $0x2,%rbp
cmp    %ebp,%r8d
jne    1290 <sha256_finish+0x170>
add    %rbp,%rbx
mov    %r15d,%esi
test   $0x1,%r15b
je     1180 <sha256_finish+0x60>
movzbl (%rbx),%eax
add    $0x1,%rbx
lea    0x0(,%rbp,8),%edx
mov    $0x18,%cl
sub    %dl,%cl
shl    %cl,%eax
and    $0xfffffffc,%ebp
xor    %eax,0x20(%rsp,%rbp,1)
mov    %r15d,%esi
jmp    1180 <sha256_finish+0x60>
nopw   0x0(%rax,%rax,1)
xor    %esi,%esi
cmp    %r12d,%r14d
je     1387 <sha256_finish+0x267>
xor    %edx,%edx
cmp    %ecx,0x4(%rsp)
je     135f <sha256_finish+0x23f>
mov    $0x10,%esi
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movzbl (%rbx,%rdx,1),%eax
lea    0x8(%rsi),%ecx
and    $0x18,%cl
shl    %cl,%eax
mov    %edx,%edi
and    $0xfffffffc,%edi
xor    0x20(%rsp,%rdi,1),%eax
mov    %eax,0x20(%rsp,%rdi,1)
movzbl 0x1(%rbx,%rdx,1),%ebp
mov    %esi,%ecx
and    $0x10,%cl
shl    %cl,%ebp
xor    %eax,%ebp
mov    %ebp,0x20(%rsp,%rdi,1)
add    $0xfffffff0,%esi
add    $0x2,%rdx
cmp    %edx,%r8d
jne    1320 <sha256_finish+0x200>
add    %rdx,%rbx
lea    0x20(%rsp),%rbp
mov    %r15d,%esi
test   $0x1,%r15b
je     1387 <sha256_finish+0x267>
movzbl (%rbx),%eax
add    $0x1,%rbx
lea    0x0(,%rdx,8),%esi
mov    $0x18,%cl
sub    %sil,%cl
shl    %cl,%eax
and    $0xfffffffc,%edx
xor    %eax,0x20(%rsp,%rdx,1)
mov    %r15d,%esi
lea    0x0(,%rsi,8),%ecx
and    $0x18,%cl
or     $0x7,%cl
mov    $0x1,%eax
shl    %cl,%eax
and    $0xfffffffc,%esi
xor    %eax,0x20(%rsp,%rsi,1)
mov    0x10(%rsp),%rdi
mov    %rbp,%rsi
call   1040 <sha256_transform@plt>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1030 <memset@plt>
mov    0xc(%rsp),%eax
mov    %eax,0x58(%rsp)
mov    0x8(%rsp),%eax
mov    %eax,0x5c(%rsp)
jmp    11b4 <sha256_finish+0x94>
lea    0x20(%rsp),%rsi
mov    0x10(%rsp),%rdi
call   1040 <sha256_transform@plt>
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @sha256_finish(i32* %0, i8* nocapture %1, i32 %2, i32 %3) {
%5 = alloca [16 x i32]
%6 = bitcast [16 x i32]* %5 to i8*
%7 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 0
%8 = add nsw i32 %2, -64
%9 = add nsw i32 %2, 9
%10 = ashr i32 %2, 29
%11 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 14
%12 = shl i32 %2, 3
%13 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 15
%14 = add i32 %2, -1
br label %15
15: ; preds = %198, %4
%16 = phi i32 [ %203, %198 ], [ 0, %4 ]
%17 = phi i32 [ %202, %198 ], [ %2, %4 ]
%18 = phi i8* [ %199, %198 ], [ %1, %4 ]
%19 = phi i32 [ %200, %198 ], [ 0, %4 ]
%20 = shl i32 %16, 6
%21 = shl i32 %16, 6
%22 = call i32 @memset(i32* %7, i32 0, i32 64)
%23 = icmp slt i32 %19, %8
br i1 %23, label %24, label %56
24: ; preds = %15, %24
%25 = phi i32 [ %52, %24 ], [ 0, %15 ]
%26 = phi i8* [ %40, %24 ], [ %18, %15 ]
%27 = getelementptr inbounds i8, i8* %26, i64 1
%28 = load i8, i8* %26
%29 = zext i8 %28 to i32
%30 = mul nsw i32 %25, -8
%31 = add nsw i32 %30, 24
%32 = and i32 %31, 24
%33 = shl nuw i32 %29, %32
%34 = lshr i32 %25, 2
%35 = zext i32 %34 to i64
%36 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %35
%37 = load i32, i32* %36
%38 = xor i32 %33, %37
store i32 %38, i32* %36
%39 = xor i32 %25, -1
%40 = getelementptr inbounds i8, i8* %26, i64 2
%41 = load i8, i8* %27
%42 = zext i8 %41 to i32
%43 = shl i32 %39, 3
%44 = add nsw i32 %43, 24
%45 = and i32 %44, 16
%46 = shl nuw i32 %42, %45
%47 = lshr i32 %25, 2
%48 = zext i32 %47 to i64
%49 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %48
%50 = load i32, i32* %49
%51 = xor i32 %46, %50
store i32 %51, i32* %49
%52 = add nuw nsw i32 %25, 2
%53 = icmp eq i32 %52, 64
br i1 %53, label %54, label %24
54: ; preds = %24
%55 = call i32 @sha256_transform(i32* %0, i32* %7)
br label %198
56: ; preds = %15
%57 = icmp slt i32 %19, %9
%58 = icmp eq i32 %19, %2
br i1 %57, label %65, label %59
59: ; preds = %56
br i1 %58, label %184, label %60
60: ; preds = %59
%61 = and i32 %17, 1
%62 = icmp eq i32 %14, %21
br i1 %62, label %166, label %63
63: ; preds = %60
%64 = and i32 %17, -2
br label %134
65: ; preds = %56
br i1 %58, label %121, label %66
66: ; preds = %65
%67 = and i32 %17, 1
%68 = icmp eq i32 %14, %20
br i1 %68, label %103, label %69
69: ; preds = %66
%70 = and i32 %17, -2
br label %71
71: ; preds = %71, %69
%72 = phi i32 [ 0, %69 ], [ %100, %71 ]
%73 = phi i8* [ %18, %69 ], [ %88, %71 ]
%74 = phi i32 [ 0, %69 ], [ %101, %71 ]
%75 = getelementptr inbounds i8, i8* %73, i64 1
%76 = load i8, i8* %73
%77 = zext i8 %76 to i32
%78 = mul i32 %72, -8
%79 = add i32 %78, 24
%80 = and i32 %79, 24
%81 = shl nuw i32 %77, %80
%82 = lshr i32 %72, 2
%83 = zext i32 %82 to i64
%84 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %83
%85 = load i32, i32* %84
%86 = xor i32 %81, %85
store i32 %86, i32* %84
%87 = xor i32 %72, -1
%88 = getelementptr inbounds i8, i8* %73, i64 2
%89 = load i8, i8* %75
%90 = zext i8 %89 to i32
%91 = shl i32 %87, 3
%92 = add i32 %91, 24
%93 = and i32 %92, 16
%94 = shl nuw i32 %90, %93
%95 = lshr i32 %72, 2
%96 = zext i32 %95 to i64
%97 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %96
%98 = load i32, i32* %97
%99 = xor i32 %94, %98
store i32 %99, i32* %97
%100 = add nuw i32 %72, 2
%101 = add i32 %74, 2
%102 = icmp eq i32 %101, %70
br i1 %102, label %103, label %71
103: ; preds = %71, %66
%104 = phi i8* [ undef, %66 ], [ %88, %71 ]
%105 = phi i32 [ 0, %66 ], [ %100, %71 ]
%106 = phi i8* [ %18, %66 ], [ %88, %71 ]
%107 = icmp eq i32 %67, 0
br i1 %107, label %121, label %108
108: ; preds = %103
%109 = getelementptr inbounds i8, i8* %106, i64 1
%110 = load i8, i8* %106
%111 = zext i8 %110 to i32
%112 = mul i32 %105, -8
%113 = add i32 %112, 24
%114 = and i32 %113, 24
%115 = shl nuw i32 %111, %114
%116 = lshr i32 %105, 2
%117 = zext i32 %116 to i64
%118 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %117
%119 = load i32, i32* %118
%120 = xor i32 %115, %119
store i32 %120, i32* %118
br label %121
121: ; preds = %108, %103, %65
%122 = phi i8* [ %18, %65 ], [ %104, %103 ], [ %109, %108 ]
%123 = phi i32 [ 0, %65 ], [ %17, %103 ], [ %17, %108 ]
%124 = mul i32 %123, -8
%125 = add i32 %124, 24
%126 = and i32 %125, 24
%127 = or i32 %126, 7
%128 = shl nuw i32 1, %127
%129 = lshr i32 %123, 2
%130 = zext i32 %129 to i64
%131 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %130
%132 = load i32, i32* %131
%133 = xor i32 %132, %128
store i32 %133, i32* %131
store i32 %10, i32* %11
store i32 %12, i32* %13
br label %198
134: ; preds = %134, %63
%135 = phi i32 [ 0, %63 ], [ %163, %134 ]
%136 = phi i8* [ %18, %63 ], [ %151, %134 ]
%137 = phi i32 [ 0, %63 ], [ %164, %134 ]
%138 = getelementptr inbounds i8, i8* %136, i64 1
%139 = load i8, i8* %136
%140 = zext i8 %139 to i32
%141 = mul i32 %135, -8
%142 = add i32 %141, 24
%143 = and i32 %142, 24
%144 = shl nuw i32 %140, %143
%145 = lshr i32 %135, 2
%146 = zext i32 %145 to i64
%147 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %146
%148 = load i32, i32* %147
%149 = xor i32 %144, %148
store i32 %149, i32* %147
%150 = xor i32 %135, -1
%151 = getelementptr inbounds i8, i8* %136, i64 2
%152 = load i8, i8* %138
%153 = zext i8 %152 to i32
%154 = shl i32 %150, 3
%155 = add i32 %154, 24
%156 = and i32 %155, 16
%157 = shl nuw i32 %153, %156
%158 = lshr i32 %135, 2
%159 = zext i32 %158 to i64
%160 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %159
%161 = load i32, i32* %160
%162 = xor i32 %157, %161
store i32 %162, i32* %160
%163 = add nuw i32 %135, 2
%164 = add i32 %137, 2
%165 = icmp eq i32 %164, %64
br i1 %165, label %166, label %134
166: ; preds = %134, %60
%167 = phi i8* [ undef, %60 ], [ %151, %134 ]
%168 = phi i32 [ 0, %60 ], [ %163, %134 ]
%169 = phi i8* [ %18, %60 ], [ %151, %134 ]
%170 = icmp eq i32 %61, 0
br i1 %170, label %184, label %171
171: ; preds = %166
%172 = getelementptr inbounds i8, i8* %169, i64 1
%173 = load i8, i8* %169
%174 = zext i8 %173 to i32
%175 = mul i32 %168, -8
%176 = add i32 %175, 24
%177 = and i32 %176, 24
%178 = shl nuw i32 %174, %177
%179 = lshr i32 %168, 2
%180 = zext i32 %179 to i64
%181 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %180
%182 = load i32, i32* %181
%183 = xor i32 %178, %182
store i32 %183, i32* %181
br label %184
184: ; preds = %171, %166, %59
%185 = phi i8* [ %18, %59 ], [ %167, %166 ], [ %172, %171 ]
%186 = phi i32 [ 0, %59 ], [ %17, %166 ], [ %17, %171 ]
%187 = shl i32 %186, 3
%188 = and i32 %187, 24
%189 = or i32 %188, 7
%190 = shl nuw i32 1, %189
%191 = lshr i32 %186, 2
%192 = zext i32 %191 to i64
%193 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 %192
%194 = load i32, i32* %193
%195 = xor i32 %194, %190
store i32 %195, i32* %193
%196 = call i32 @sha256_transform(i32* %0, i32* %7)
%197 = call i32 @memset(i32* %7, i32 0, i32 64)
store i32 %10, i32* %11
store i32 %12, i32* %13
br label %198
198: ; preds = %121, %184, %54
%199 = phi i8* [ %40, %54 ], [ %122, %121 ], [ %185, %184 ]
%200 = add nuw nsw i32 %19, 64
%201 = icmp slt i32 %200, %2
%202 = add i32 %17, -64
%203 = add i32 %16, 1
br i1 %201, label %15, label %204
204: ; preds = %198
%205 = call i32 @sha256_transform(i32* %0, i32* %7)
ret void
}