; LLVM IR from tolgaatam/react-native-hashcash :: cpp/react-native-hashcash.ll (ZN8hashcash6SHA25612processBlockEPKv)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.hashcash::SHA256" = type { i64, i64, [64 x i8], [8 x i32] }

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN8hashcash6SHA25612processBlockEPKv(ptr noundef nonnull align 8 dereferenceable(112) %0, ptr noundef %1) #0 align 2 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca [64 x i32], align 16
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  %18 = load ptr, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #4
  %19 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %20 = getelementptr inbounds [8 x i32], ptr %19, i64 0, i64 0
  %21 = load i32, ptr %20, align 8, !tbaa !9
  store i32 %21, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #4
  %22 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %23 = getelementptr inbounds [8 x i32], ptr %22, i64 0, i64 1
  %24 = load i32, ptr %23, align 4, !tbaa !9
  store i32 %24, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #4
  %25 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %26 = getelementptr inbounds [8 x i32], ptr %25, i64 0, i64 2
  %27 = load i32, ptr %26, align 8, !tbaa !9
  store i32 %27, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #4
  %28 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %29 = getelementptr inbounds [8 x i32], ptr %28, i64 0, i64 3
  %30 = load i32, ptr %29, align 4, !tbaa !9
  store i32 %30, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #4
  %31 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %32 = getelementptr inbounds [8 x i32], ptr %31, i64 0, i64 4
  %33 = load i32, ptr %32, align 8, !tbaa !9
  store i32 %33, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #4
  %34 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %35 = getelementptr inbounds [8 x i32], ptr %34, i64 0, i64 5
  %36 = load i32, ptr %35, align 4, !tbaa !9
  store i32 %36, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #4
  %37 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %38 = getelementptr inbounds [8 x i32], ptr %37, i64 0, i64 6
  %39 = load i32, ptr %38, align 8, !tbaa !9
  store i32 %39, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  %40 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %41 = getelementptr inbounds [8 x i32], ptr %40, i64 0, i64 7
  %42 = load i32, ptr %41, align 4, !tbaa !9
  store i32 %42, ptr %12, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #4
  %43 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %43, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 256, ptr %14) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #4
  store i32 0, ptr %15, align 4, !tbaa !9
  br label %44

44:                                               ; preds = %57, %2
  %45 = load i32, ptr %15, align 4, !tbaa !9
  %46 = icmp slt i32 %45, 16
  br i1 %46, label %47, label %60

47:                                               ; preds = %44
  %48 = load ptr, ptr %13, align 8, !tbaa !5
  %49 = load i32, ptr %15, align 4, !tbaa !9
  %50 = sext i32 %49 to i64
  %51 = getelementptr inbounds i32, ptr %48, i64 %50
  %52 = load i32, ptr %51, align 4, !tbaa !9
  %53 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %52)
  %54 = load i32, ptr %15, align 4, !tbaa !9
  %55 = sext i32 %54 to i64
  %56 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %55
  store i32 %53, ptr %56, align 4, !tbaa !9
  br label %57

57:                                               ; preds = %47
  %58 = load i32, ptr %15, align 4, !tbaa !9
  %59 = add nsw i32 %58, 1
  store i32 %59, ptr %15, align 4, !tbaa !9
  br label %44, !llvm.loop !11

60:                                               ; preds = %44
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  %61 = load i32, ptr %12, align 4, !tbaa !9
  %62 = load i32, ptr %9, align 4, !tbaa !9
  %63 = load i32, ptr %10, align 4, !tbaa !9
  %64 = load i32, ptr %11, align 4, !tbaa !9
  %65 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %62, i32 noundef %63, i32 noundef %64)
  %66 = add i32 %61, %65
  %67 = add i32 %66, 1116352408
  %68 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 0
  %69 = load i32, ptr %68, align 16, !tbaa !9
  %70 = add i32 %67, %69
  store i32 %70, ptr %16, align 4, !tbaa !9
  %71 = load i32, ptr %5, align 4, !tbaa !9
  %72 = load i32, ptr %6, align 4, !tbaa !9
  %73 = load i32, ptr %7, align 4, !tbaa !9
  %74 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %71, i32 noundef %72, i32 noundef %73)
  store i32 %74, ptr %17, align 4, !tbaa !9
  %75 = load i32, ptr %16, align 4, !tbaa !9
  %76 = load i32, ptr %8, align 4, !tbaa !9
  %77 = add i32 %76, %75
  store i32 %77, ptr %8, align 4, !tbaa !9
  %78 = load i32, ptr %16, align 4, !tbaa !9
  %79 = load i32, ptr %17, align 4, !tbaa !9
  %80 = add i32 %78, %79
  store i32 %80, ptr %12, align 4, !tbaa !9
  %81 = load i32, ptr %11, align 4, !tbaa !9
  %82 = load i32, ptr %8, align 4, !tbaa !9
  %83 = load i32, ptr %9, align 4, !tbaa !9
  %84 = load i32, ptr %10, align 4, !tbaa !9
  %85 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %82, i32 noundef %83, i32 noundef %84)
  %86 = add i32 %81, %85
  %87 = add i32 %86, 1899447441
  %88 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 1
  %89 = load i32, ptr %88, align 4, !tbaa !9
  %90 = add i32 %87, %89
  store i32 %90, ptr %16, align 4, !tbaa !9
  %91 = load i32, ptr %12, align 4, !tbaa !9
  %92 = load i32, ptr %5, align 4, !tbaa !9
  %93 = load i32, ptr %6, align 4, !tbaa !9
  %94 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %91, i32 noundef %92, i32 noundef %93)
  store i32 %94, ptr %17, align 4, !tbaa !9
  %95 = load i32, ptr %16, align 4, !tbaa !9
  %96 = load i32, ptr %7, align 4, !tbaa !9
  %97 = add i32 %96, %95
  store i32 %97, ptr %7, align 4, !tbaa !9
  %98 = load i32, ptr %16, align 4, !tbaa !9
  %99 = load i32, ptr %17, align 4, !tbaa !9
  %100 = add i32 %98, %99
  store i32 %100, ptr %11, align 4, !tbaa !9
  %101 = load i32, ptr %10, align 4, !tbaa !9
  %102 = load i32, ptr %7, align 4, !tbaa !9
  %103 = load i32, ptr %8, align 4, !tbaa !9
  %104 = load i32, ptr %9, align 4, !tbaa !9
  %105 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %102, i32 noundef %103, i32 noundef %104)
  %106 = add i32 %101, %105
  %107 = add i32 %106, -1245643825
  %108 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 2
  %109 = load i32, ptr %108, align 8, !tbaa !9
  %110 = add i32 %107, %109
  store i32 %110, ptr %16, align 4, !tbaa !9
  %111 = load i32, ptr %11, align 4, !tbaa !9
  %112 = load i32, ptr %12, align 4, !tbaa !9
  %113 = load i32, ptr %5, align 4, !tbaa !9
  %114 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %111, i32 noundef %112, i32 noundef %113)
  store i32 %114, ptr %17, align 4, !tbaa !9
  %115 = load i32, ptr %16, align 4, !tbaa !9
  %116 = load i32, ptr %6, align 4, !tbaa !9
  %117 = add i32 %116, %115
  store i32 %117, ptr %6, align 4, !tbaa !9
  %118 = load i32, ptr %16, align 4, !tbaa !9
  %119 = load i32, ptr %17, align 4, !tbaa !9
  %120 = add i32 %118, %119
  store i32 %120, ptr %10, align 4, !tbaa !9
  %121 = load i32, ptr %9, align 4, !tbaa !9
  %122 = load i32, ptr %6, align 4, !tbaa !9
  %123 = load i32, ptr %7, align 4, !tbaa !9
  %124 = load i32, ptr %8, align 4, !tbaa !9
  %125 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %122, i32 noundef %123, i32 noundef %124)
  %126 = add i32 %121, %125
  %127 = add i32 %126, -373957723
  %128 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 3
  %129 = load i32, ptr %128, align 4, !tbaa !9
  %130 = add i32 %127, %129
  store i32 %130, ptr %16, align 4, !tbaa !9
  %131 = load i32, ptr %10, align 4, !tbaa !9
  %132 = load i32, ptr %11, align 4, !tbaa !9
  %133 = load i32, ptr %12, align 4, !tbaa !9
  %134 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %131, i32 noundef %132, i32 noundef %133)
  store i32 %134, ptr %17, align 4, !tbaa !9
  %135 = load i32, ptr %16, align 4, !tbaa !9
  %136 = load i32, ptr %5, align 4, !tbaa !9
  %137 = add i32 %136, %135
  store i32 %137, ptr %5, align 4, !tbaa !9
  %138 = load i32, ptr %16, align 4, !tbaa !9
  %139 = load i32, ptr %17, align 4, !tbaa !9
  %140 = add i32 %138, %139
  store i32 %140, ptr %9, align 4, !tbaa !9
  %141 = load i32, ptr %8, align 4, !tbaa !9
  %142 = load i32, ptr %5, align 4, !tbaa !9
  %143 = load i32, ptr %6, align 4, !tbaa !9
  %144 = load i32, ptr %7, align 4, !tbaa !9
  %145 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %142, i32 noundef %143, i32 noundef %144)
  %146 = add i32 %141, %145
  %147 = add i32 %146, 961987163
  %148 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 4
  %149 = load i32, ptr %148, align 16, !tbaa !9
  %150 = add i32 %147, %149
  store i32 %150, ptr %16, align 4, !tbaa !9
  %151 = load i32, ptr %9, align 4, !tbaa !9
  %152 = load i32, ptr %10, align 4, !tbaa !9
  %153 = load i32, ptr %11, align 4, !tbaa !9
  %154 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %151, i32 noundef %152, i32 noundef %153)
  store i32 %154, ptr %17, align 4, !tbaa !9
  %155 = load i32, ptr %16, align 4, !tbaa !9
  %156 = load i32, ptr %12, align 4, !tbaa !9
  %157 = add i32 %156, %155
  store i32 %157, ptr %12, align 4, !tbaa !9
  %158 = load i32, ptr %16, align 4, !tbaa !9
  %159 = load i32, ptr %17, align 4, !tbaa !9
  %160 = add i32 %158, %159
  store i32 %160, ptr %8, align 4, !tbaa !9
  %161 = load i32, ptr %7, align 4, !tbaa !9
  %162 = load i32, ptr %12, align 4, !tbaa !9
  %163 = load i32, ptr %5, align 4, !tbaa !9
  %164 = load i32, ptr %6, align 4, !tbaa !9
  %165 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %162, i32 noundef %163, i32 noundef %164)
  %166 = add i32 %161, %165
  %167 = add i32 %166, 1508970993
  %168 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 5
  %169 = load i32, ptr %168, align 4, !tbaa !9
  %170 = add i32 %167, %169
  store i32 %170, ptr %16, align 4, !tbaa !9
  %171 = load i32, ptr %8, align 4, !tbaa !9
  %172 = load i32, ptr %9, align 4, !tbaa !9
  %173 = load i32, ptr %10, align 4, !tbaa !9
  %174 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %171, i32 noundef %172, i32 noundef %173)
  store i32 %174, ptr %17, align 4, !tbaa !9
  %175 = load i32, ptr %16, align 4, !tbaa !9
  %176 = load i32, ptr %11, align 4, !tbaa !9
  %177 = add i32 %176, %175
  store i32 %177, ptr %11, align 4, !tbaa !9
  %178 = load i32, ptr %16, align 4, !tbaa !9
  %179 = load i32, ptr %17, align 4, !tbaa !9
  %180 = add i32 %178, %179
  store i32 %180, ptr %7, align 4, !tbaa !9
  %181 = load i32, ptr %6, align 4, !tbaa !9
  %182 = load i32, ptr %11, align 4, !tbaa !9
  %183 = load i32, ptr %12, align 4, !tbaa !9
  %184 = load i32, ptr %5, align 4, !tbaa !9
  %185 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %182, i32 noundef %183, i32 noundef %184)
  %186 = add i32 %181, %185
  %187 = add i32 %186, -1841331548
  %188 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 6
  %189 = load i32, ptr %188, align 8, !tbaa !9
  %190 = add i32 %187, %189
  store i32 %190, ptr %16, align 4, !tbaa !9
  %191 = load i32, ptr %7, align 4, !tbaa !9
  %192 = load i32, ptr %8, align 4, !tbaa !9
  %193 = load i32, ptr %9, align 4, !tbaa !9
  %194 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %191, i32 noundef %192, i32 noundef %193)
  store i32 %194, ptr %17, align 4, !tbaa !9
  %195 = load i32, ptr %16, align 4, !tbaa !9
  %196 = load i32, ptr %10, align 4, !tbaa !9
  %197 = add i32 %196, %195
  store i32 %197, ptr %10, align 4, !tbaa !9
  %198 = load i32, ptr %16, align 4, !tbaa !9
  %199 = load i32, ptr %17, align 4, !tbaa !9
  %200 = add i32 %198, %199
  store i32 %200, ptr %6, align 4, !tbaa !9
  %201 = load i32, ptr %5, align 4, !tbaa !9
  %202 = load i32, ptr %10, align 4, !tbaa !9
  %203 = load i32, ptr %11, align 4, !tbaa !9
  %204 = load i32, ptr %12, align 4, !tbaa !9
  %205 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %202, i32 noundef %203, i32 noundef %204)
  %206 = add i32 %201, %205
  %207 = add i32 %206, -1424204075
  %208 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 7
  %209 = load i32, ptr %208, align 4, !tbaa !9
  %210 = add i32 %207, %209
  store i32 %210, ptr %16, align 4, !tbaa !9
  %211 = load i32, ptr %6, align 4, !tbaa !9
  %212 = load i32, ptr %7, align 4, !tbaa !9
  %213 = load i32, ptr %8, align 4, !tbaa !9
  %214 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %211, i32 noundef %212, i32 noundef %213)
  store i32 %214, ptr %17, align 4, !tbaa !9
  %215 = load i32, ptr %16, align 4, !tbaa !9
  %216 = load i32, ptr %9, align 4, !tbaa !9
  %217 = add i32 %216, %215
  store i32 %217, ptr %9, align 4, !tbaa !9
  %218 = load i32, ptr %16, align 4, !tbaa !9
  %219 = load i32, ptr %17, align 4, !tbaa !9
  %220 = add i32 %218, %219
  store i32 %220, ptr %5, align 4, !tbaa !9
  %221 = load i32, ptr %12, align 4, !tbaa !9
  %222 = load i32, ptr %9, align 4, !tbaa !9
  %223 = load i32, ptr %10, align 4, !tbaa !9
  %224 = load i32, ptr %11, align 4, !tbaa !9
  %225 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %222, i32 noundef %223, i32 noundef %224)
  %226 = add i32 %221, %225
  %227 = add i32 %226, -670586216
  %228 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 8
  %229 = load i32, ptr %228, align 16, !tbaa !9
  %230 = add i32 %227, %229
  store i32 %230, ptr %16, align 4, !tbaa !9
  %231 = load i32, ptr %5, align 4, !tbaa !9
  %232 = load i32, ptr %6, align 4, !tbaa !9
  %233 = load i32, ptr %7, align 4, !tbaa !9
  %234 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %231, i32 noundef %232, i32 noundef %233)
  store i32 %234, ptr %17, align 4, !tbaa !9
  %235 = load i32, ptr %16, align 4, !tbaa !9
  %236 = load i32, ptr %8, align 4, !tbaa !9
  %237 = add i32 %236, %235
  store i32 %237, ptr %8, align 4, !tbaa !9
  %238 = load i32, ptr %16, align 4, !tbaa !9
  %239 = load i32, ptr %17, align 4, !tbaa !9
  %240 = add i32 %238, %239
  store i32 %240, ptr %12, align 4, !tbaa !9
  %241 = load i32, ptr %11, align 4, !tbaa !9
  %242 = load i32, ptr %8, align 4, !tbaa !9
  %243 = load i32, ptr %9, align 4, !tbaa !9
  %244 = load i32, ptr %10, align 4, !tbaa !9
  %245 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %242, i32 noundef %243, i32 noundef %244)
  %246 = add i32 %241, %245
  %247 = add i32 %246, 310598401
  %248 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 9
  %249 = load i32, ptr %248, align 4, !tbaa !9
  %250 = add i32 %247, %249
  store i32 %250, ptr %16, align 4, !tbaa !9
  %251 = load i32, ptr %12, align 4, !tbaa !9
  %252 = load i32, ptr %5, align 4, !tbaa !9
  %253 = load i32, ptr %6, align 4, !tbaa !9
  %254 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %251, i32 noundef %252, i32 noundef %253)
  store i32 %254, ptr %17, align 4, !tbaa !9
  %255 = load i32, ptr %16, align 4, !tbaa !9
  %256 = load i32, ptr %7, align 4, !tbaa !9
  %257 = add i32 %256, %255
  store i32 %257, ptr %7, align 4, !tbaa !9
  %258 = load i32, ptr %16, align 4, !tbaa !9
  %259 = load i32, ptr %17, align 4, !tbaa !9
  %260 = add i32 %258, %259
  store i32 %260, ptr %11, align 4, !tbaa !9
  %261 = load i32, ptr %10, align 4, !tbaa !9
  %262 = load i32, ptr %7, align 4, !tbaa !9
  %263 = load i32, ptr %8, align 4, !tbaa !9
  %264 = load i32, ptr %9, align 4, !tbaa !9
  %265 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %262, i32 noundef %263, i32 noundef %264)
  %266 = add i32 %261, %265
  %267 = add i32 %266, 607225278
  %268 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 10
  %269 = load i32, ptr %268, align 8, !tbaa !9
  %270 = add i32 %267, %269
  store i32 %270, ptr %16, align 4, !tbaa !9
  %271 = load i32, ptr %11, align 4, !tbaa !9
  %272 = load i32, ptr %12, align 4, !tbaa !9
  %273 = load i32, ptr %5, align 4, !tbaa !9
  %274 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %271, i32 noundef %272, i32 noundef %273)
  store i32 %274, ptr %17, align 4, !tbaa !9
  %275 = load i32, ptr %16, align 4, !tbaa !9
  %276 = load i32, ptr %6, align 4, !tbaa !9
  %277 = add i32 %276, %275
  store i32 %277, ptr %6, align 4, !tbaa !9
  %278 = load i32, ptr %16, align 4, !tbaa !9
  %279 = load i32, ptr %17, align 4, !tbaa !9
  %280 = add i32 %278, %279
  store i32 %280, ptr %10, align 4, !tbaa !9
  %281 = load i32, ptr %9, align 4, !tbaa !9
  %282 = load i32, ptr %6, align 4, !tbaa !9
  %283 = load i32, ptr %7, align 4, !tbaa !9
  %284 = load i32, ptr %8, align 4, !tbaa !9
  %285 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %282, i32 noundef %283, i32 noundef %284)
  %286 = add i32 %281, %285
  %287 = add i32 %286, 1426881987
  %288 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 11
  %289 = load i32, ptr %288, align 4, !tbaa !9
  %290 = add i32 %287, %289
  store i32 %290, ptr %16, align 4, !tbaa !9
  %291 = load i32, ptr %10, align 4, !tbaa !9
  %292 = load i32, ptr %11, align 4, !tbaa !9
  %293 = load i32, ptr %12, align 4, !tbaa !9
  %294 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %291, i32 noundef %292, i32 noundef %293)
  store i32 %294, ptr %17, align 4, !tbaa !9
  %295 = load i32, ptr %16, align 4, !tbaa !9
  %296 = load i32, ptr %5, align 4, !tbaa !9
  %297 = add i32 %296, %295
  store i32 %297, ptr %5, align 4, !tbaa !9
  %298 = load i32, ptr %16, align 4, !tbaa !9
  %299 = load i32, ptr %17, align 4, !tbaa !9
  %300 = add i32 %298, %299
  store i32 %300, ptr %9, align 4, !tbaa !9
  %301 = load i32, ptr %8, align 4, !tbaa !9
  %302 = load i32, ptr %5, align 4, !tbaa !9
  %303 = load i32, ptr %6, align 4, !tbaa !9
  %304 = load i32, ptr %7, align 4, !tbaa !9
  %305 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %302, i32 noundef %303, i32 noundef %304)
  %306 = add i32 %301, %305
  %307 = add i32 %306, 1925078388
  %308 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 12
  %309 = load i32, ptr %308, align 16, !tbaa !9
  %310 = add i32 %307, %309
  store i32 %310, ptr %16, align 4, !tbaa !9
  %311 = load i32, ptr %9, align 4, !tbaa !9
  %312 = load i32, ptr %10, align 4, !tbaa !9
  %313 = load i32, ptr %11, align 4, !tbaa !9
  %314 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %311, i32 noundef %312, i32 noundef %313)
  store i32 %314, ptr %17, align 4, !tbaa !9
  %315 = load i32, ptr %16, align 4, !tbaa !9
  %316 = load i32, ptr %12, align 4, !tbaa !9
  %317 = add i32 %316, %315
  store i32 %317, ptr %12, align 4, !tbaa !9
  %318 = load i32, ptr %16, align 4, !tbaa !9
  %319 = load i32, ptr %17, align 4, !tbaa !9
  %320 = add i32 %318, %319
  store i32 %320, ptr %8, align 4, !tbaa !9
  %321 = load i32, ptr %7, align 4, !tbaa !9
  %322 = load i32, ptr %12, align 4, !tbaa !9
  %323 = load i32, ptr %5, align 4, !tbaa !9
  %324 = load i32, ptr %6, align 4, !tbaa !9
  %325 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %322, i32 noundef %323, i32 noundef %324)
  %326 = add i32 %321, %325
  %327 = add i32 %326, -2132889090
  %328 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 13
  %329 = load i32, ptr %328, align 4, !tbaa !9
  %330 = add i32 %327, %329
  store i32 %330, ptr %16, align 4, !tbaa !9
  %331 = load i32, ptr %8, align 4, !tbaa !9
  %332 = load i32, ptr %9, align 4, !tbaa !9
  %333 = load i32, ptr %10, align 4, !tbaa !9
  %334 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %331, i32 noundef %332, i32 noundef %333)
  store i32 %334, ptr %17, align 4, !tbaa !9
  %335 = load i32, ptr %16, align 4, !tbaa !9
  %336 = load i32, ptr %11, align 4, !tbaa !9
  %337 = add i32 %336, %335
  store i32 %337, ptr %11, align 4, !tbaa !9
  %338 = load i32, ptr %16, align 4, !tbaa !9
  %339 = load i32, ptr %17, align 4, !tbaa !9
  %340 = add i32 %338, %339
  store i32 %340, ptr %7, align 4, !tbaa !9
  %341 = load i32, ptr %6, align 4, !tbaa !9
  %342 = load i32, ptr %11, align 4, !tbaa !9
  %343 = load i32, ptr %12, align 4, !tbaa !9
  %344 = load i32, ptr %5, align 4, !tbaa !9
  %345 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %342, i32 noundef %343, i32 noundef %344)
  %346 = add i32 %341, %345
  %347 = add i32 %346, -1680079193
  %348 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 14
  %349 = load i32, ptr %348, align 8, !tbaa !9
  %350 = add i32 %347, %349
  store i32 %350, ptr %16, align 4, !tbaa !9
  %351 = load i32, ptr %7, align 4, !tbaa !9
  %352 = load i32, ptr %8, align 4, !tbaa !9
  %353 = load i32, ptr %9, align 4, !tbaa !9
  %354 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %351, i32 noundef %352, i32 noundef %353)
  store i32 %354, ptr %17, align 4, !tbaa !9
  %355 = load i32, ptr %16, align 4, !tbaa !9
  %356 = load i32, ptr %10, align 4, !tbaa !9
  %357 = add i32 %356, %355
  store i32 %357, ptr %10, align 4, !tbaa !9
  %358 = load i32, ptr %16, align 4, !tbaa !9
  %359 = load i32, ptr %17, align 4, !tbaa !9
  %360 = add i32 %358, %359
  store i32 %360, ptr %6, align 4, !tbaa !9
  %361 = load i32, ptr %5, align 4, !tbaa !9
  %362 = load i32, ptr %10, align 4, !tbaa !9
  %363 = load i32, ptr %11, align 4, !tbaa !9
  %364 = load i32, ptr %12, align 4, !tbaa !9
  %365 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %362, i32 noundef %363, i32 noundef %364)
  %366 = add i32 %361, %365
  %367 = add i32 %366, -1046744716
  %368 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 15
  %369 = load i32, ptr %368, align 4, !tbaa !9
  %370 = add i32 %367, %369
  store i32 %370, ptr %16, align 4, !tbaa !9
  %371 = load i32, ptr %6, align 4, !tbaa !9
  %372 = load i32, ptr %7, align 4, !tbaa !9
  %373 = load i32, ptr %8, align 4, !tbaa !9
  %374 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %371, i32 noundef %372, i32 noundef %373)
  store i32 %374, ptr %17, align 4, !tbaa !9
  %375 = load i32, ptr %16, align 4, !tbaa !9
  %376 = load i32, ptr %9, align 4, !tbaa !9
  %377 = add i32 %376, %375
  store i32 %377, ptr %9, align 4, !tbaa !9
  %378 = load i32, ptr %16, align 4, !tbaa !9
  %379 = load i32, ptr %17, align 4, !tbaa !9
  %380 = add i32 %378, %379
  store i32 %380, ptr %5, align 4, !tbaa !9
  br label %381

381:                                              ; preds = %441, %60
  %382 = load i32, ptr %15, align 4, !tbaa !9
  %383 = icmp slt i32 %382, 24
  br i1 %383, label %384, label %444

384:                                              ; preds = %381
  %385 = load i32, ptr %15, align 4, !tbaa !9
  %386 = sub nsw i32 %385, 16
  %387 = sext i32 %386 to i64
  %388 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %387
  %389 = load i32, ptr %388, align 4, !tbaa !9
  %390 = load i32, ptr %15, align 4, !tbaa !9
  %391 = sub nsw i32 %390, 15
  %392 = sext i32 %391 to i64
  %393 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %392
  %394 = load i32, ptr %393, align 4, !tbaa !9
  %395 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %394, i32 noundef 7)
  %396 = load i32, ptr %15, align 4, !tbaa !9
  %397 = sub nsw i32 %396, 15
  %398 = sext i32 %397 to i64
  %399 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %398
  %400 = load i32, ptr %399, align 4, !tbaa !9
  %401 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %400, i32 noundef 18)
  %402 = xor i32 %395, %401
  %403 = load i32, ptr %15, align 4, !tbaa !9
  %404 = sub nsw i32 %403, 15
  %405 = sext i32 %404 to i64
  %406 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %405
  %407 = load i32, ptr %406, align 4, !tbaa !9
  %408 = lshr i32 %407, 3
  %409 = xor i32 %402, %408
  %410 = add i32 %389, %409
  %411 = load i32, ptr %15, align 4, !tbaa !9
  %412 = sub nsw i32 %411, 7
  %413 = sext i32 %412 to i64
  %414 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %413
  %415 = load i32, ptr %414, align 4, !tbaa !9
  %416 = add i32 %410, %415
  %417 = load i32, ptr %15, align 4, !tbaa !9
  %418 = sub nsw i32 %417, 2
  %419 = sext i32 %418 to i64
  %420 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %419
  %421 = load i32, ptr %420, align 4, !tbaa !9
  %422 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %421, i32 noundef 17)
  %423 = load i32, ptr %15, align 4, !tbaa !9
  %424 = sub nsw i32 %423, 2
  %425 = sext i32 %424 to i64
  %426 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %425
  %427 = load i32, ptr %426, align 4, !tbaa !9
  %428 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %427, i32 noundef 19)
  %429 = xor i32 %422, %428
  %430 = load i32, ptr %15, align 4, !tbaa !9
  %431 = sub nsw i32 %430, 2
  %432 = sext i32 %431 to i64
  %433 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %432
  %434 = load i32, ptr %433, align 4, !tbaa !9
  %435 = lshr i32 %434, 10
  %436 = xor i32 %429, %435
  %437 = add i32 %416, %436
  %438 = load i32, ptr %15, align 4, !tbaa !9
  %439 = sext i32 %438 to i64
  %440 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %439
  store i32 %437, ptr %440, align 4, !tbaa !9
  br label %441

441:                                              ; preds = %384
  %442 = load i32, ptr %15, align 4, !tbaa !9
  %443 = add nsw i32 %442, 1
  store i32 %443, ptr %15, align 4, !tbaa !9
  br label %381, !llvm.loop !13

444:                                              ; preds = %381
  %445 = load i32, ptr %12, align 4, !tbaa !9
  %446 = load i32, ptr %9, align 4, !tbaa !9
  %447 = load i32, ptr %10, align 4, !tbaa !9
  %448 = load i32, ptr %11, align 4, !tbaa !9
  %449 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %446, i32 noundef %447, i32 noundef %448)
  %450 = add i32 %445, %449
  %451 = add i32 %450, -459576895
  %452 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 16
  %453 = load i32, ptr %452, align 16, !tbaa !9
  %454 = add i32 %451, %453
  store i32 %454, ptr %16, align 4, !tbaa !9
  %455 = load i32, ptr %5, align 4, !tbaa !9
  %456 = load i32, ptr %6, align 4, !tbaa !9
  %457 = load i32, ptr %7, align 4, !tbaa !9
  %458 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %455, i32 noundef %456, i32 noundef %457)
  store i32 %458, ptr %17, align 4, !tbaa !9
  %459 = load i32, ptr %16, align 4, !tbaa !9
  %460 = load i32, ptr %8, align 4, !tbaa !9
  %461 = add i32 %460, %459
  store i32 %461, ptr %8, align 4, !tbaa !9
  %462 = load i32, ptr %16, align 4, !tbaa !9
  %463 = load i32, ptr %17, align 4, !tbaa !9
  %464 = add i32 %462, %463
  store i32 %464, ptr %12, align 4, !tbaa !9
  %465 = load i32, ptr %11, align 4, !tbaa !9
  %466 = load i32, ptr %8, align 4, !tbaa !9
  %467 = load i32, ptr %9, align 4, !tbaa !9
  %468 = load i32, ptr %10, align 4, !tbaa !9
  %469 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %466, i32 noundef %467, i32 noundef %468)
  %470 = add i32 %465, %469
  %471 = add i32 %470, -272742522
  %472 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 17
  %473 = load i32, ptr %472, align 4, !tbaa !9
  %474 = add i32 %471, %473
  store i32 %474, ptr %16, align 4, !tbaa !9
  %475 = load i32, ptr %12, align 4, !tbaa !9
  %476 = load i32, ptr %5, align 4, !tbaa !9
  %477 = load i32, ptr %6, align 4, !tbaa !9
  %478 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %475, i32 noundef %476, i32 noundef %477)
  store i32 %478, ptr %17, align 4, !tbaa !9
  %479 = load i32, ptr %16, align 4, !tbaa !9
  %480 = load i32, ptr %7, align 4, !tbaa !9
  %481 = add i32 %480, %479
  store i32 %481, ptr %7, align 4, !tbaa !9
  %482 = load i32, ptr %16, align 4, !tbaa !9
  %483 = load i32, ptr %17, align 4, !tbaa !9
  %484 = add i32 %482, %483
  store i32 %484, ptr %11, align 4, !tbaa !9
  %485 = load i32, ptr %10, align 4, !tbaa !9
  %486 = load i32, ptr %7, align 4, !tbaa !9
  %487 = load i32, ptr %8, align 4, !tbaa !9
  %488 = load i32, ptr %9, align 4, !tbaa !9
  %489 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %486, i32 noundef %487, i32 noundef %488)
  %490 = add i32 %485, %489
  %491 = add i32 %490, 264347078
  %492 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 18
  %493 = load i32, ptr %492, align 8, !tbaa !9
  %494 = add i32 %491, %493
  store i32 %494, ptr %16, align 4, !tbaa !9
  %495 = load i32, ptr %11, align 4, !tbaa !9
  %496 = load i32, ptr %12, align 4, !tbaa !9
  %497 = load i32, ptr %5, align 4, !tbaa !9
  %498 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %495, i32 noundef %496, i32 noundef %497)
  store i32 %498, ptr %17, align 4, !tbaa !9
  %499 = load i32, ptr %16, align 4, !tbaa !9
  %500 = load i32, ptr %6, align 4, !tbaa !9
  %501 = add i32 %500, %499
  store i32 %501, ptr %6, align 4, !tbaa !9
  %502 = load i32, ptr %16, align 4, !tbaa !9
  %503 = load i32, ptr %17, align 4, !tbaa !9
  %504 = add i32 %502, %503
  store i32 %504, ptr %10, align 4, !tbaa !9
  %505 = load i32, ptr %9, align 4, !tbaa !9
  %506 = load i32, ptr %6, align 4, !tbaa !9
  %507 = load i32, ptr %7, align 4, !tbaa !9
  %508 = load i32, ptr %8, align 4, !tbaa !9
  %509 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %506, i32 noundef %507, i32 noundef %508)
  %510 = add i32 %505, %509
  %511 = add i32 %510, 604807628
  %512 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 19
  %513 = load i32, ptr %512, align 4, !tbaa !9
  %514 = add i32 %511, %513
  store i32 %514, ptr %16, align 4, !tbaa !9
  %515 = load i32, ptr %10, align 4, !tbaa !9
  %516 = load i32, ptr %11, align 4, !tbaa !9
  %517 = load i32, ptr %12, align 4, !tbaa !9
  %518 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %515, i32 noundef %516, i32 noundef %517)
  store i32 %518, ptr %17, align 4, !tbaa !9
  %519 = load i32, ptr %16, align 4, !tbaa !9
  %520 = load i32, ptr %5, align 4, !tbaa !9
  %521 = add i32 %520, %519
  store i32 %521, ptr %5, align 4, !tbaa !9
  %522 = load i32, ptr %16, align 4, !tbaa !9
  %523 = load i32, ptr %17, align 4, !tbaa !9
  %524 = add i32 %522, %523
  store i32 %524, ptr %9, align 4, !tbaa !9
  %525 = load i32, ptr %8, align 4, !tbaa !9
  %526 = load i32, ptr %5, align 4, !tbaa !9
  %527 = load i32, ptr %6, align 4, !tbaa !9
  %528 = load i32, ptr %7, align 4, !tbaa !9
  %529 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %526, i32 noundef %527, i32 noundef %528)
  %530 = add i32 %525, %529
  %531 = add i32 %530, 770255983
  %532 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 20
  %533 = load i32, ptr %532, align 16, !tbaa !9
  %534 = add i32 %531, %533
  store i32 %534, ptr %16, align 4, !tbaa !9
  %535 = load i32, ptr %9, align 4, !tbaa !9
  %536 = load i32, ptr %10, align 4, !tbaa !9
  %537 = load i32, ptr %11, align 4, !tbaa !9
  %538 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %535, i32 noundef %536, i32 noundef %537)
  store i32 %538, ptr %17, align 4, !tbaa !9
  %539 = load i32, ptr %16, align 4, !tbaa !9
  %540 = load i32, ptr %12, align 4, !tbaa !9
  %541 = add i32 %540, %539
  store i32 %541, ptr %12, align 4, !tbaa !9
  %542 = load i32, ptr %16, align 4, !tbaa !9
  %543 = load i32, ptr %17, align 4, !tbaa !9
  %544 = add i32 %542, %543
  store i32 %544, ptr %8, align 4, !tbaa !9
  %545 = load i32, ptr %7, align 4, !tbaa !9
  %546 = load i32, ptr %12, align 4, !tbaa !9
  %547 = load i32, ptr %5, align 4, !tbaa !9
  %548 = load i32, ptr %6, align 4, !tbaa !9
  %549 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %546, i32 noundef %547, i32 noundef %548)
  %550 = add i32 %545, %549
  %551 = add i32 %550, 1249150122
  %552 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 21
  %553 = load i32, ptr %552, align 4, !tbaa !9
  %554 = add i32 %551, %553
  store i32 %554, ptr %16, align 4, !tbaa !9
  %555 = load i32, ptr %8, align 4, !tbaa !9
  %556 = load i32, ptr %9, align 4, !tbaa !9
  %557 = load i32, ptr %10, align 4, !tbaa !9
  %558 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %555, i32 noundef %556, i32 noundef %557)
  store i32 %558, ptr %17, align 4, !tbaa !9
  %559 = load i32, ptr %16, align 4, !tbaa !9
  %560 = load i32, ptr %11, align 4, !tbaa !9
  %561 = add i32 %560, %559
  store i32 %561, ptr %11, align 4, !tbaa !9
  %562 = load i32, ptr %16, align 4, !tbaa !9
  %563 = load i32, ptr %17, align 4, !tbaa !9
  %564 = add i32 %562, %563
  store i32 %564, ptr %7, align 4, !tbaa !9
  %565 = load i32, ptr %6, align 4, !tbaa !9
  %566 = load i32, ptr %11, align 4, !tbaa !9
  %567 = load i32, ptr %12, align 4, !tbaa !9
  %568 = load i32, ptr %5, align 4, !tbaa !9
  %569 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %566, i32 noundef %567, i32 noundef %568)
  %570 = add i32 %565, %569
  %571 = add i32 %570, 1555081692
  %572 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 22
  %573 = load i32, ptr %572, align 8, !tbaa !9
  %574 = add i32 %571, %573
  store i32 %574, ptr %16, align 4, !tbaa !9
  %575 = load i32, ptr %7, align 4, !tbaa !9
  %576 = load i32, ptr %8, align 4, !tbaa !9
  %577 = load i32, ptr %9, align 4, !tbaa !9
  %578 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %575, i32 noundef %576, i32 noundef %577)
  store i32 %578, ptr %17, align 4, !tbaa !9
  %579 = load i32, ptr %16, align 4, !tbaa !9
  %580 = load i32, ptr %10, align 4, !tbaa !9
  %581 = add i32 %580, %579
  store i32 %581, ptr %10, align 4, !tbaa !9
  %582 = load i32, ptr %16, align 4, !tbaa !9
  %583 = load i32, ptr %17, align 4, !tbaa !9
  %584 = add i32 %582, %583
  store i32 %584, ptr %6, align 4, !tbaa !9
  %585 = load i32, ptr %5, align 4, !tbaa !9
  %586 = load i32, ptr %10, align 4, !tbaa !9
  %587 = load i32, ptr %11, align 4, !tbaa !9
  %588 = load i32, ptr %12, align 4, !tbaa !9
  %589 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %586, i32 noundef %587, i32 noundef %588)
  %590 = add i32 %585, %589
  %591 = add i32 %590, 1996064986
  %592 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 23
  %593 = load i32, ptr %592, align 4, !tbaa !9
  %594 = add i32 %591, %593
  store i32 %594, ptr %16, align 4, !tbaa !9
  %595 = load i32, ptr %6, align 4, !tbaa !9
  %596 = load i32, ptr %7, align 4, !tbaa !9
  %597 = load i32, ptr %8, align 4, !tbaa !9
  %598 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %595, i32 noundef %596, i32 noundef %597)
  store i32 %598, ptr %17, align 4, !tbaa !9
  %599 = load i32, ptr %16, align 4, !tbaa !9
  %600 = load i32, ptr %9, align 4, !tbaa !9
  %601 = add i32 %600, %599
  store i32 %601, ptr %9, align 4, !tbaa !9
  %602 = load i32, ptr %16, align 4, !tbaa !9
  %603 = load i32, ptr %17, align 4, !tbaa !9
  %604 = add i32 %602, %603
  store i32 %604, ptr %5, align 4, !tbaa !9
  br label %605

605:                                              ; preds = %665, %444
  %606 = load i32, ptr %15, align 4, !tbaa !9
  %607 = icmp slt i32 %606, 32
  br i1 %607, label %608, label %668

608:                                              ; preds = %605
  %609 = load i32, ptr %15, align 4, !tbaa !9
  %610 = sub nsw i32 %609, 16
  %611 = sext i32 %610 to i64
  %612 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %611
  %613 = load i32, ptr %612, align 4, !tbaa !9
  %614 = load i32, ptr %15, align 4, !tbaa !9
  %615 = sub nsw i32 %614, 15
  %616 = sext i32 %615 to i64
  %617 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %616
  %618 = load i32, ptr %617, align 4, !tbaa !9
  %619 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %618, i32 noundef 7)
  %620 = load i32, ptr %15, align 4, !tbaa !9
  %621 = sub nsw i32 %620, 15
  %622 = sext i32 %621 to i64
  %623 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %622
  %624 = load i32, ptr %623, align 4, !tbaa !9
  %625 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %624, i32 noundef 18)
  %626 = xor i32 %619, %625
  %627 = load i32, ptr %15, align 4, !tbaa !9
  %628 = sub nsw i32 %627, 15
  %629 = sext i32 %628 to i64
  %630 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %629
  %631 = load i32, ptr %630, align 4, !tbaa !9
  %632 = lshr i32 %631, 3
  %633 = xor i32 %626, %632
  %634 = add i32 %613, %633
  %635 = load i32, ptr %15, align 4, !tbaa !9
  %636 = sub nsw i32 %635, 7
  %637 = sext i32 %636 to i64
  %638 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %637
  %639 = load i32, ptr %638, align 4, !tbaa !9
  %640 = add i32 %634, %639
  %641 = load i32, ptr %15, align 4, !tbaa !9
  %642 = sub nsw i32 %641, 2
  %643 = sext i32 %642 to i64
  %644 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %643
  %645 = load i32, ptr %644, align 4, !tbaa !9
  %646 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %645, i32 noundef 17)
  %647 = load i32, ptr %15, align 4, !tbaa !9
  %648 = sub nsw i32 %647, 2
  %649 = sext i32 %648 to i64
  %650 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %649
  %651 = load i32, ptr %650, align 4, !tbaa !9
  %652 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %651, i32 noundef 19)
  %653 = xor i32 %646, %652
  %654 = load i32, ptr %15, align 4, !tbaa !9
  %655 = sub nsw i32 %654, 2
  %656 = sext i32 %655 to i64
  %657 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %656
  %658 = load i32, ptr %657, align 4, !tbaa !9
  %659 = lshr i32 %658, 10
  %660 = xor i32 %653, %659
  %661 = add i32 %640, %660
  %662 = load i32, ptr %15, align 4, !tbaa !9
  %663 = sext i32 %662 to i64
  %664 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %663
  store i32 %661, ptr %664, align 4, !tbaa !9
  br label %665

665:                                              ; preds = %608
  %666 = load i32, ptr %15, align 4, !tbaa !9
  %667 = add nsw i32 %666, 1
  store i32 %667, ptr %15, align 4, !tbaa !9
  br label %605, !llvm.loop !14

668:                                              ; preds = %605
  %669 = load i32, ptr %12, align 4, !tbaa !9
  %670 = load i32, ptr %9, align 4, !tbaa !9
  %671 = load i32, ptr %10, align 4, !tbaa !9
  %672 = load i32, ptr %11, align 4, !tbaa !9
  %673 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %670, i32 noundef %671, i32 noundef %672)
  %674 = add i32 %669, %673
  %675 = add i32 %674, -1740746414
  %676 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 24
  %677 = load i32, ptr %676, align 16, !tbaa !9
  %678 = add i32 %675, %677
  store i32 %678, ptr %16, align 4, !tbaa !9
  %679 = load i32, ptr %5, align 4, !tbaa !9
  %680 = load i32, ptr %6, align 4, !tbaa !9
  %681 = load i32, ptr %7, align 4, !tbaa !9
  %682 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %679, i32 noundef %680, i32 noundef %681)
  store i32 %682, ptr %17, align 4, !tbaa !9
  %683 = load i32, ptr %16, align 4, !tbaa !9
  %684 = load i32, ptr %8, align 4, !tbaa !9
  %685 = add i32 %684, %683
  store i32 %685, ptr %8, align 4, !tbaa !9
  %686 = load i32, ptr %16, align 4, !tbaa !9
  %687 = load i32, ptr %17, align 4, !tbaa !9
  %688 = add i32 %686, %687
  store i32 %688, ptr %12, align 4, !tbaa !9
  %689 = load i32, ptr %11, align 4, !tbaa !9
  %690 = load i32, ptr %8, align 4, !tbaa !9
  %691 = load i32, ptr %9, align 4, !tbaa !9
  %692 = load i32, ptr %10, align 4, !tbaa !9
  %693 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %690, i32 noundef %691, i32 noundef %692)
  %694 = add i32 %689, %693
  %695 = add i32 %694, -1473132947
  %696 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 25
  %697 = load i32, ptr %696, align 4, !tbaa !9
  %698 = add i32 %695, %697
  store i32 %698, ptr %16, align 4, !tbaa !9
  %699 = load i32, ptr %12, align 4, !tbaa !9
  %700 = load i32, ptr %5, align 4, !tbaa !9
  %701 = load i32, ptr %6, align 4, !tbaa !9
  %702 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %699, i32 noundef %700, i32 noundef %701)
  store i32 %702, ptr %17, align 4, !tbaa !9
  %703 = load i32, ptr %16, align 4, !tbaa !9
  %704 = load i32, ptr %7, align 4, !tbaa !9
  %705 = add i32 %704, %703
  store i32 %705, ptr %7, align 4, !tbaa !9
  %706 = load i32, ptr %16, align 4, !tbaa !9
  %707 = load i32, ptr %17, align 4, !tbaa !9
  %708 = add i32 %706, %707
  store i32 %708, ptr %11, align 4, !tbaa !9
  %709 = load i32, ptr %10, align 4, !tbaa !9
  %710 = load i32, ptr %7, align 4, !tbaa !9
  %711 = load i32, ptr %8, align 4, !tbaa !9
  %712 = load i32, ptr %9, align 4, !tbaa !9
  %713 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %710, i32 noundef %711, i32 noundef %712)
  %714 = add i32 %709, %713
  %715 = add i32 %714, -1341970488
  %716 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 26
  %717 = load i32, ptr %716, align 8, !tbaa !9
  %718 = add i32 %715, %717
  store i32 %718, ptr %16, align 4, !tbaa !9
  %719 = load i32, ptr %11, align 4, !tbaa !9
  %720 = load i32, ptr %12, align 4, !tbaa !9
  %721 = load i32, ptr %5, align 4, !tbaa !9
  %722 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %719, i32 noundef %720, i32 noundef %721)
  store i32 %722, ptr %17, align 4, !tbaa !9
  %723 = load i32, ptr %16, align 4, !tbaa !9
  %724 = load i32, ptr %6, align 4, !tbaa !9
  %725 = add i32 %724, %723
  store i32 %725, ptr %6, align 4, !tbaa !9
  %726 = load i32, ptr %16, align 4, !tbaa !9
  %727 = load i32, ptr %17, align 4, !tbaa !9
  %728 = add i32 %726, %727
  store i32 %728, ptr %10, align 4, !tbaa !9
  %729 = load i32, ptr %9, align 4, !tbaa !9
  %730 = load i32, ptr %6, align 4, !tbaa !9
  %731 = load i32, ptr %7, align 4, !tbaa !9
  %732 = load i32, ptr %8, align 4, !tbaa !9
  %733 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %730, i32 noundef %731, i32 noundef %732)
  %734 = add i32 %729, %733
  %735 = add i32 %734, -1084653625
  %736 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 27
  %737 = load i32, ptr %736, align 4, !tbaa !9
  %738 = add i32 %735, %737
  store i32 %738, ptr %16, align 4, !tbaa !9
  %739 = load i32, ptr %10, align 4, !tbaa !9
  %740 = load i32, ptr %11, align 4, !tbaa !9
  %741 = load i32, ptr %12, align 4, !tbaa !9
  %742 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %739, i32 noundef %740, i32 noundef %741)
  store i32 %742, ptr %17, align 4, !tbaa !9
  %743 = load i32, ptr %16, align 4, !tbaa !9
  %744 = load i32, ptr %5, align 4, !tbaa !9
  %745 = add i32 %744, %743
  store i32 %745, ptr %5, align 4, !tbaa !9
  %746 = load i32, ptr %16, align 4, !tbaa !9
  %747 = load i32, ptr %17, align 4, !tbaa !9
  %748 = add i32 %746, %747
  store i32 %748, ptr %9, align 4, !tbaa !9
  %749 = load i32, ptr %8, align 4, !tbaa !9
  %750 = load i32, ptr %5, align 4, !tbaa !9
  %751 = load i32, ptr %6, align 4, !tbaa !9
  %752 = load i32, ptr %7, align 4, !tbaa !9
  %753 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %750, i32 noundef %751, i32 noundef %752)
  %754 = add i32 %749, %753
  %755 = add i32 %754, -958395405
  %756 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 28
  %757 = load i32, ptr %756, align 16, !tbaa !9
  %758 = add i32 %755, %757
  store i32 %758, ptr %16, align 4, !tbaa !9
  %759 = load i32, ptr %9, align 4, !tbaa !9
  %760 = load i32, ptr %10, align 4, !tbaa !9
  %761 = load i32, ptr %11, align 4, !tbaa !9
  %762 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %759, i32 noundef %760, i32 noundef %761)
  store i32 %762, ptr %17, align 4, !tbaa !9
  %763 = load i32, ptr %16, align 4, !tbaa !9
  %764 = load i32, ptr %12, align 4, !tbaa !9
  %765 = add i32 %764, %763
  store i32 %765, ptr %12, align 4, !tbaa !9
  %766 = load i32, ptr %16, align 4, !tbaa !9
  %767 = load i32, ptr %17, align 4, !tbaa !9
  %768 = add i32 %766, %767
  store i32 %768, ptr %8, align 4, !tbaa !9
  %769 = load i32, ptr %7, align 4, !tbaa !9
  %770 = load i32, ptr %12, align 4, !tbaa !9
  %771 = load i32, ptr %5, align 4, !tbaa !9
  %772 = load i32, ptr %6, align 4, !tbaa !9
  %773 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %770, i32 noundef %771, i32 noundef %772)
  %774 = add i32 %769, %773
  %775 = add i32 %774, -710438585
  %776 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 29
  %777 = load i32, ptr %776, align 4, !tbaa !9
  %778 = add i32 %775, %777
  store i32 %778, ptr %16, align 4, !tbaa !9
  %779 = load i32, ptr %8, align 4, !tbaa !9
  %780 = load i32, ptr %9, align 4, !tbaa !9
  %781 = load i32, ptr %10, align 4, !tbaa !9
  %782 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %779, i32 noundef %780, i32 noundef %781)
  store i32 %782, ptr %17, align 4, !tbaa !9
  %783 = load i32, ptr %16, align 4, !tbaa !9
  %784 = load i32, ptr %11, align 4, !tbaa !9
  %785 = add i32 %784, %783
  store i32 %785, ptr %11, align 4, !tbaa !9
  %786 = load i32, ptr %16, align 4, !tbaa !9
  %787 = load i32, ptr %17, align 4, !tbaa !9
  %788 = add i32 %786, %787
  store i32 %788, ptr %7, align 4, !tbaa !9
  %789 = load i32, ptr %6, align 4, !tbaa !9
  %790 = load i32, ptr %11, align 4, !tbaa !9
  %791 = load i32, ptr %12, align 4, !tbaa !9
  %792 = load i32, ptr %5, align 4, !tbaa !9
  %793 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %790, i32 noundef %791, i32 noundef %792)
  %794 = add i32 %789, %793
  %795 = add i32 %794, 113926993
  %796 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 30
  %797 = load i32, ptr %796, align 8, !tbaa !9
  %798 = add i32 %795, %797
  store i32 %798, ptr %16, align 4, !tbaa !9
  %799 = load i32, ptr %7, align 4, !tbaa !9
  %800 = load i32, ptr %8, align 4, !tbaa !9
  %801 = load i32, ptr %9, align 4, !tbaa !9
  %802 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %799, i32 noundef %800, i32 noundef %801)
  store i32 %802, ptr %17, align 4, !tbaa !9
  %803 = load i32, ptr %16, align 4, !tbaa !9
  %804 = load i32, ptr %10, align 4, !tbaa !9
  %805 = add i32 %804, %803
  store i32 %805, ptr %10, align 4, !tbaa !9
  %806 = load i32, ptr %16, align 4, !tbaa !9
  %807 = load i32, ptr %17, align 4, !tbaa !9
  %808 = add i32 %806, %807
  store i32 %808, ptr %6, align 4, !tbaa !9
  %809 = load i32, ptr %5, align 4, !tbaa !9
  %810 = load i32, ptr %10, align 4, !tbaa !9
  %811 = load i32, ptr %11, align 4, !tbaa !9
  %812 = load i32, ptr %12, align 4, !tbaa !9
  %813 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %810, i32 noundef %811, i32 noundef %812)
  %814 = add i32 %809, %813
  %815 = add i32 %814, 338241895
  %816 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 31
  %817 = load i32, ptr %816, align 4, !tbaa !9
  %818 = add i32 %815, %817
  store i32 %818, ptr %16, align 4, !tbaa !9
  %819 = load i32, ptr %6, align 4, !tbaa !9
  %820 = load i32, ptr %7, align 4, !tbaa !9
  %821 = load i32, ptr %8, align 4, !tbaa !9
  %822 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %819, i32 noundef %820, i32 noundef %821)
  store i32 %822, ptr %17, align 4, !tbaa !9
  %823 = load i32, ptr %16, align 4, !tbaa !9
  %824 = load i32, ptr %9, align 4, !tbaa !9
  %825 = add i32 %824, %823
  store i32 %825, ptr %9, align 4, !tbaa !9
  %826 = load i32, ptr %16, align 4, !tbaa !9
  %827 = load i32, ptr %17, align 4, !tbaa !9
  %828 = add i32 %826, %827
  store i32 %828, ptr %5, align 4, !tbaa !9
  br label %829

829:                                              ; preds = %889, %668
  %830 = load i32, ptr %15, align 4, !tbaa !9
  %831 = icmp slt i32 %830, 40
  br i1 %831, label %832, label %892

832:                                              ; preds = %829
  %833 = load i32, ptr %15, align 4, !tbaa !9
  %834 = sub nsw i32 %833, 16
  %835 = sext i32 %834 to i64
  %836 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %835
  %837 = load i32, ptr %836, align 4, !tbaa !9
  %838 = load i32, ptr %15, align 4, !tbaa !9
  %839 = sub nsw i32 %838, 15
  %840 = sext i32 %839 to i64
  %841 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %840
  %842 = load i32, ptr %841, align 4, !tbaa !9
  %843 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %842, i32 noundef 7)
  %844 = load i32, ptr %15, align 4, !tbaa !9
  %845 = sub nsw i32 %844, 15
  %846 = sext i32 %845 to i64
  %847 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %846
  %848 = load i32, ptr %847, align 4, !tbaa !9
  %849 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %848, i32 noundef 18)
  %850 = xor i32 %843, %849
  %851 = load i32, ptr %15, align 4, !tbaa !9
  %852 = sub nsw i32 %851, 15
  %853 = sext i32 %852 to i64
  %854 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %853
  %855 = load i32, ptr %854, align 4, !tbaa !9
  %856 = lshr i32 %855, 3
  %857 = xor i32 %850, %856
  %858 = add i32 %837, %857
  %859 = load i32, ptr %15, align 4, !tbaa !9
  %860 = sub nsw i32 %859, 7
  %861 = sext i32 %860 to i64
  %862 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %861
  %863 = load i32, ptr %862, align 4, !tbaa !9
  %864 = add i32 %858, %863
  %865 = load i32, ptr %15, align 4, !tbaa !9
  %866 = sub nsw i32 %865, 2
  %867 = sext i32 %866 to i64
  %868 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %867
  %869 = load i32, ptr %868, align 4, !tbaa !9
  %870 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %869, i32 noundef 17)
  %871 = load i32, ptr %15, align 4, !tbaa !9
  %872 = sub nsw i32 %871, 2
  %873 = sext i32 %872 to i64
  %874 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %873
  %875 = load i32, ptr %874, align 4, !tbaa !9
  %876 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %875, i32 noundef 19)
  %877 = xor i32 %870, %876
  %878 = load i32, ptr %15, align 4, !tbaa !9
  %879 = sub nsw i32 %878, 2
  %880 = sext i32 %879 to i64
  %881 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %880
  %882 = load i32, ptr %881, align 4, !tbaa !9
  %883 = lshr i32 %882, 10
  %884 = xor i32 %877, %883
  %885 = add i32 %864, %884
  %886 = load i32, ptr %15, align 4, !tbaa !9
  %887 = sext i32 %886 to i64
  %888 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %887
  store i32 %885, ptr %888, align 4, !tbaa !9
  br label %889

889:                                              ; preds = %832
  %890 = load i32, ptr %15, align 4, !tbaa !9
  %891 = add nsw i32 %890, 1
  store i32 %891, ptr %15, align 4, !tbaa !9
  br label %829, !llvm.loop !15

892:                                              ; preds = %829
  %893 = load i32, ptr %12, align 4, !tbaa !9
  %894 = load i32, ptr %9, align 4, !tbaa !9
  %895 = load i32, ptr %10, align 4, !tbaa !9
  %896 = load i32, ptr %11, align 4, !tbaa !9
  %897 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %894, i32 noundef %895, i32 noundef %896)
  %898 = add i32 %893, %897
  %899 = add i32 %898, 666307205
  %900 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 32
  %901 = load i32, ptr %900, align 16, !tbaa !9
  %902 = add i32 %899, %901
  store i32 %902, ptr %16, align 4, !tbaa !9
  %903 = load i32, ptr %5, align 4, !tbaa !9
  %904 = load i32, ptr %6, align 4, !tbaa !9
  %905 = load i32, ptr %7, align 4, !tbaa !9
  %906 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %903, i32 noundef %904, i32 noundef %905)
  store i32 %906, ptr %17, align 4, !tbaa !9
  %907 = load i32, ptr %16, align 4, !tbaa !9
  %908 = load i32, ptr %8, align 4, !tbaa !9
  %909 = add i32 %908, %907
  store i32 %909, ptr %8, align 4, !tbaa !9
  %910 = load i32, ptr %16, align 4, !tbaa !9
  %911 = load i32, ptr %17, align 4, !tbaa !9
  %912 = add i32 %910, %911
  store i32 %912, ptr %12, align 4, !tbaa !9
  %913 = load i32, ptr %11, align 4, !tbaa !9
  %914 = load i32, ptr %8, align 4, !tbaa !9
  %915 = load i32, ptr %9, align 4, !tbaa !9
  %916 = load i32, ptr %10, align 4, !tbaa !9
  %917 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %914, i32 noundef %915, i32 noundef %916)
  %918 = add i32 %913, %917
  %919 = add i32 %918, 773529912
  %920 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 33
  %921 = load i32, ptr %920, align 4, !tbaa !9
  %922 = add i32 %919, %921
  store i32 %922, ptr %16, align 4, !tbaa !9
  %923 = load i32, ptr %12, align 4, !tbaa !9
  %924 = load i32, ptr %5, align 4, !tbaa !9
  %925 = load i32, ptr %6, align 4, !tbaa !9
  %926 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %923, i32 noundef %924, i32 noundef %925)
  store i32 %926, ptr %17, align 4, !tbaa !9
  %927 = load i32, ptr %16, align 4, !tbaa !9
  %928 = load i32, ptr %7, align 4, !tbaa !9
  %929 = add i32 %928, %927
  store i32 %929, ptr %7, align 4, !tbaa !9
  %930 = load i32, ptr %16, align 4, !tbaa !9
  %931 = load i32, ptr %17, align 4, !tbaa !9
  %932 = add i32 %930, %931
  store i32 %932, ptr %11, align 4, !tbaa !9
  %933 = load i32, ptr %10, align 4, !tbaa !9
  %934 = load i32, ptr %7, align 4, !tbaa !9
  %935 = load i32, ptr %8, align 4, !tbaa !9
  %936 = load i32, ptr %9, align 4, !tbaa !9
  %937 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %934, i32 noundef %935, i32 noundef %936)
  %938 = add i32 %933, %937
  %939 = add i32 %938, 1294757372
  %940 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 34
  %941 = load i32, ptr %940, align 8, !tbaa !9
  %942 = add i32 %939, %941
  store i32 %942, ptr %16, align 4, !tbaa !9
  %943 = load i32, ptr %11, align 4, !tbaa !9
  %944 = load i32, ptr %12, align 4, !tbaa !9
  %945 = load i32, ptr %5, align 4, !tbaa !9
  %946 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %943, i32 noundef %944, i32 noundef %945)
  store i32 %946, ptr %17, align 4, !tbaa !9
  %947 = load i32, ptr %16, align 4, !tbaa !9
  %948 = load i32, ptr %6, align 4, !tbaa !9
  %949 = add i32 %948, %947
  store i32 %949, ptr %6, align 4, !tbaa !9
  %950 = load i32, ptr %16, align 4, !tbaa !9
  %951 = load i32, ptr %17, align 4, !tbaa !9
  %952 = add i32 %950, %951
  store i32 %952, ptr %10, align 4, !tbaa !9
  %953 = load i32, ptr %9, align 4, !tbaa !9
  %954 = load i32, ptr %6, align 4, !tbaa !9
  %955 = load i32, ptr %7, align 4, !tbaa !9
  %956 = load i32, ptr %8, align 4, !tbaa !9
  %957 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %954, i32 noundef %955, i32 noundef %956)
  %958 = add i32 %953, %957
  %959 = add i32 %958, 1396182291
  %960 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 35
  %961 = load i32, ptr %960, align 4, !tbaa !9
  %962 = add i32 %959, %961
  store i32 %962, ptr %16, align 4, !tbaa !9
  %963 = load i32, ptr %10, align 4, !tbaa !9
  %964 = load i32, ptr %11, align 4, !tbaa !9
  %965 = load i32, ptr %12, align 4, !tbaa !9
  %966 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %963, i32 noundef %964, i32 noundef %965)
  store i32 %966, ptr %17, align 4, !tbaa !9
  %967 = load i32, ptr %16, align 4, !tbaa !9
  %968 = load i32, ptr %5, align 4, !tbaa !9
  %969 = add i32 %968, %967
  store i32 %969, ptr %5, align 4, !tbaa !9
  %970 = load i32, ptr %16, align 4, !tbaa !9
  %971 = load i32, ptr %17, align 4, !tbaa !9
  %972 = add i32 %970, %971
  store i32 %972, ptr %9, align 4, !tbaa !9
  %973 = load i32, ptr %8, align 4, !tbaa !9
  %974 = load i32, ptr %5, align 4, !tbaa !9
  %975 = load i32, ptr %6, align 4, !tbaa !9
  %976 = load i32, ptr %7, align 4, !tbaa !9
  %977 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %974, i32 noundef %975, i32 noundef %976)
  %978 = add i32 %973, %977
  %979 = add i32 %978, 1695183700
  %980 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 36
  %981 = load i32, ptr %980, align 16, !tbaa !9
  %982 = add i32 %979, %981
  store i32 %982, ptr %16, align 4, !tbaa !9
  %983 = load i32, ptr %9, align 4, !tbaa !9
  %984 = load i32, ptr %10, align 4, !tbaa !9
  %985 = load i32, ptr %11, align 4, !tbaa !9
  %986 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %983, i32 noundef %984, i32 noundef %985)
  store i32 %986, ptr %17, align 4, !tbaa !9
  %987 = load i32, ptr %16, align 4, !tbaa !9
  %988 = load i32, ptr %12, align 4, !tbaa !9
  %989 = add i32 %988, %987
  store i32 %989, ptr %12, align 4, !tbaa !9
  %990 = load i32, ptr %16, align 4, !tbaa !9
  %991 = load i32, ptr %17, align 4, !tbaa !9
  %992 = add i32 %990, %991
  store i32 %992, ptr %8, align 4, !tbaa !9
  %993 = load i32, ptr %7, align 4, !tbaa !9
  %994 = load i32, ptr %12, align 4, !tbaa !9
  %995 = load i32, ptr %5, align 4, !tbaa !9
  %996 = load i32, ptr %6, align 4, !tbaa !9
  %997 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %994, i32 noundef %995, i32 noundef %996)
  %998 = add i32 %993, %997
  %999 = add i32 %998, 1986661051
  %1000 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 37
  %1001 = load i32, ptr %1000, align 4, !tbaa !9
  %1002 = add i32 %999, %1001
  store i32 %1002, ptr %16, align 4, !tbaa !9
  %1003 = load i32, ptr %8, align 4, !tbaa !9
  %1004 = load i32, ptr %9, align 4, !tbaa !9
  %1005 = load i32, ptr %10, align 4, !tbaa !9
  %1006 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1003, i32 noundef %1004, i32 noundef %1005)
  store i32 %1006, ptr %17, align 4, !tbaa !9
  %1007 = load i32, ptr %16, align 4, !tbaa !9
  %1008 = load i32, ptr %11, align 4, !tbaa !9
  %1009 = add i32 %1008, %1007
  store i32 %1009, ptr %11, align 4, !tbaa !9
  %1010 = load i32, ptr %16, align 4, !tbaa !9
  %1011 = load i32, ptr %17, align 4, !tbaa !9
  %1012 = add i32 %1010, %1011
  store i32 %1012, ptr %7, align 4, !tbaa !9
  %1013 = load i32, ptr %6, align 4, !tbaa !9
  %1014 = load i32, ptr %11, align 4, !tbaa !9
  %1015 = load i32, ptr %12, align 4, !tbaa !9
  %1016 = load i32, ptr %5, align 4, !tbaa !9
  %1017 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1014, i32 noundef %1015, i32 noundef %1016)
  %1018 = add i32 %1013, %1017
  %1019 = add i32 %1018, -2117940946
  %1020 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 38
  %1021 = load i32, ptr %1020, align 8, !tbaa !9
  %1022 = add i32 %1019, %1021
  store i32 %1022, ptr %16, align 4, !tbaa !9
  %1023 = load i32, ptr %7, align 4, !tbaa !9
  %1024 = load i32, ptr %8, align 4, !tbaa !9
  %1025 = load i32, ptr %9, align 4, !tbaa !9
  %1026 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1023, i32 noundef %1024, i32 noundef %1025)
  store i32 %1026, ptr %17, align 4, !tbaa !9
  %1027 = load i32, ptr %16, align 4, !tbaa !9
  %1028 = load i32, ptr %10, align 4, !tbaa !9
  %1029 = add i32 %1028, %1027
  store i32 %1029, ptr %10, align 4, !tbaa !9
  %1030 = load i32, ptr %16, align 4, !tbaa !9
  %1031 = load i32, ptr %17, align 4, !tbaa !9
  %1032 = add i32 %1030, %1031
  store i32 %1032, ptr %6, align 4, !tbaa !9
  %1033 = load i32, ptr %5, align 4, !tbaa !9
  %1034 = load i32, ptr %10, align 4, !tbaa !9
  %1035 = load i32, ptr %11, align 4, !tbaa !9
  %1036 = load i32, ptr %12, align 4, !tbaa !9
  %1037 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1034, i32 noundef %1035, i32 noundef %1036)
  %1038 = add i32 %1033, %1037
  %1039 = add i32 %1038, -1838011259
  %1040 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 39
  %1041 = load i32, ptr %1040, align 4, !tbaa !9
  %1042 = add i32 %1039, %1041
  store i32 %1042, ptr %16, align 4, !tbaa !9
  %1043 = load i32, ptr %6, align 4, !tbaa !9
  %1044 = load i32, ptr %7, align 4, !tbaa !9
  %1045 = load i32, ptr %8, align 4, !tbaa !9
  %1046 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1043, i32 noundef %1044, i32 noundef %1045)
  store i32 %1046, ptr %17, align 4, !tbaa !9
  %1047 = load i32, ptr %16, align 4, !tbaa !9
  %1048 = load i32, ptr %9, align 4, !tbaa !9
  %1049 = add i32 %1048, %1047
  store i32 %1049, ptr %9, align 4, !tbaa !9
  %1050 = load i32, ptr %16, align 4, !tbaa !9
  %1051 = load i32, ptr %17, align 4, !tbaa !9
  %1052 = add i32 %1050, %1051
  store i32 %1052, ptr %5, align 4, !tbaa !9
  br label %1053

1053:                                             ; preds = %1113, %892
  %1054 = load i32, ptr %15, align 4, !tbaa !9
  %1055 = icmp slt i32 %1054, 48
  br i1 %1055, label %1056, label %1116

1056:                                             ; preds = %1053
  %1057 = load i32, ptr %15, align 4, !tbaa !9
  %1058 = sub nsw i32 %1057, 16
  %1059 = sext i32 %1058 to i64
  %1060 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1059
  %1061 = load i32, ptr %1060, align 4, !tbaa !9
  %1062 = load i32, ptr %15, align 4, !tbaa !9
  %1063 = sub nsw i32 %1062, 15
  %1064 = sext i32 %1063 to i64
  %1065 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1064
  %1066 = load i32, ptr %1065, align 4, !tbaa !9
  %1067 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1066, i32 noundef 7)
  %1068 = load i32, ptr %15, align 4, !tbaa !9
  %1069 = sub nsw i32 %1068, 15
  %1070 = sext i32 %1069 to i64
  %1071 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1070
  %1072 = load i32, ptr %1071, align 4, !tbaa !9
  %1073 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1072, i32 noundef 18)
  %1074 = xor i32 %1067, %1073
  %1075 = load i32, ptr %15, align 4, !tbaa !9
  %1076 = sub nsw i32 %1075, 15
  %1077 = sext i32 %1076 to i64
  %1078 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1077
  %1079 = load i32, ptr %1078, align 4, !tbaa !9
  %1080 = lshr i32 %1079, 3
  %1081 = xor i32 %1074, %1080
  %1082 = add i32 %1061, %1081
  %1083 = load i32, ptr %15, align 4, !tbaa !9
  %1084 = sub nsw i32 %1083, 7
  %1085 = sext i32 %1084 to i64
  %1086 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1085
  %1087 = load i32, ptr %1086, align 4, !tbaa !9
  %1088 = add i32 %1082, %1087
  %1089 = load i32, ptr %15, align 4, !tbaa !9
  %1090 = sub nsw i32 %1089, 2
  %1091 = sext i32 %1090 to i64
  %1092 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1091
  %1093 = load i32, ptr %1092, align 4, !tbaa !9
  %1094 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1093, i32 noundef 17)
  %1095 = load i32, ptr %15, align 4, !tbaa !9
  %1096 = sub nsw i32 %1095, 2
  %1097 = sext i32 %1096 to i64
  %1098 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1097
  %1099 = load i32, ptr %1098, align 4, !tbaa !9
  %1100 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1099, i32 noundef 19)
  %1101 = xor i32 %1094, %1100
  %1102 = load i32, ptr %15, align 4, !tbaa !9
  %1103 = sub nsw i32 %1102, 2
  %1104 = sext i32 %1103 to i64
  %1105 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1104
  %1106 = load i32, ptr %1105, align 4, !tbaa !9
  %1107 = lshr i32 %1106, 10
  %1108 = xor i32 %1101, %1107
  %1109 = add i32 %1088, %1108
  %1110 = load i32, ptr %15, align 4, !tbaa !9
  %1111 = sext i32 %1110 to i64
  %1112 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1111
  store i32 %1109, ptr %1112, align 4, !tbaa !9
  br label %1113

1113:                                             ; preds = %1056
  %1114 = load i32, ptr %15, align 4, !tbaa !9
  %1115 = add nsw i32 %1114, 1
  store i32 %1115, ptr %15, align 4, !tbaa !9
  br label %1053, !llvm.loop !16

1116:                                             ; preds = %1053
  %1117 = load i32, ptr %12, align 4, !tbaa !9
  %1118 = load i32, ptr %9, align 4, !tbaa !9
  %1119 = load i32, ptr %10, align 4, !tbaa !9
  %1120 = load i32, ptr %11, align 4, !tbaa !9
  %1121 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1118, i32 noundef %1119, i32 noundef %1120)
  %1122 = add i32 %1117, %1121
  %1123 = add i32 %1122, -1564481375
  %1124 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 40
  %1125 = load i32, ptr %1124, align 16, !tbaa !9
  %1126 = add i32 %1123, %1125
  store i32 %1126, ptr %16, align 4, !tbaa !9
  %1127 = load i32, ptr %5, align 4, !tbaa !9
  %1128 = load i32, ptr %6, align 4, !tbaa !9
  %1129 = load i32, ptr %7, align 4, !tbaa !9
  %1130 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1127, i32 noundef %1128, i32 noundef %1129)
  store i32 %1130, ptr %17, align 4, !tbaa !9
  %1131 = load i32, ptr %16, align 4, !tbaa !9
  %1132 = load i32, ptr %8, align 4, !tbaa !9
  %1133 = add i32 %1132, %1131
  store i32 %1133, ptr %8, align 4, !tbaa !9
  %1134 = load i32, ptr %16, align 4, !tbaa !9
  %1135 = load i32, ptr %17, align 4, !tbaa !9
  %1136 = add i32 %1134, %1135
  store i32 %1136, ptr %12, align 4, !tbaa !9
  %1137 = load i32, ptr %11, align 4, !tbaa !9
  %1138 = load i32, ptr %8, align 4, !tbaa !9
  %1139 = load i32, ptr %9, align 4, !tbaa !9
  %1140 = load i32, ptr %10, align 4, !tbaa !9
  %1141 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1138, i32 noundef %1139, i32 noundef %1140)
  %1142 = add i32 %1137, %1141
  %1143 = add i32 %1142, -1474664885
  %1144 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 41
  %1145 = load i32, ptr %1144, align 4, !tbaa !9
  %1146 = add i32 %1143, %1145
  store i32 %1146, ptr %16, align 4, !tbaa !9
  %1147 = load i32, ptr %12, align 4, !tbaa !9
  %1148 = load i32, ptr %5, align 4, !tbaa !9
  %1149 = load i32, ptr %6, align 4, !tbaa !9
  %1150 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1147, i32 noundef %1148, i32 noundef %1149)
  store i32 %1150, ptr %17, align 4, !tbaa !9
  %1151 = load i32, ptr %16, align 4, !tbaa !9
  %1152 = load i32, ptr %7, align 4, !tbaa !9
  %1153 = add i32 %1152, %1151
  store i32 %1153, ptr %7, align 4, !tbaa !9
  %1154 = load i32, ptr %16, align 4, !tbaa !9
  %1155 = load i32, ptr %17, align 4, !tbaa !9
  %1156 = add i32 %1154, %1155
  store i32 %1156, ptr %11, align 4, !tbaa !9
  %1157 = load i32, ptr %10, align 4, !tbaa !9
  %1158 = load i32, ptr %7, align 4, !tbaa !9
  %1159 = load i32, ptr %8, align 4, !tbaa !9
  %1160 = load i32, ptr %9, align 4, !tbaa !9
  %1161 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1158, i32 noundef %1159, i32 noundef %1160)
  %1162 = add i32 %1157, %1161
  %1163 = add i32 %1162, -1035236496
  %1164 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 42
  %1165 = load i32, ptr %1164, align 8, !tbaa !9
  %1166 = add i32 %1163, %1165
  store i32 %1166, ptr %16, align 4, !tbaa !9
  %1167 = load i32, ptr %11, align 4, !tbaa !9
  %1168 = load i32, ptr %12, align 4, !tbaa !9
  %1169 = load i32, ptr %5, align 4, !tbaa !9
  %1170 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1167, i32 noundef %1168, i32 noundef %1169)
  store i32 %1170, ptr %17, align 4, !tbaa !9
  %1171 = load i32, ptr %16, align 4, !tbaa !9
  %1172 = load i32, ptr %6, align 4, !tbaa !9
  %1173 = add i32 %1172, %1171
  store i32 %1173, ptr %6, align 4, !tbaa !9
  %1174 = load i32, ptr %16, align 4, !tbaa !9
  %1175 = load i32, ptr %17, align 4, !tbaa !9
  %1176 = add i32 %1174, %1175
  store i32 %1176, ptr %10, align 4, !tbaa !9
  %1177 = load i32, ptr %9, align 4, !tbaa !9
  %1178 = load i32, ptr %6, align 4, !tbaa !9
  %1179 = load i32, ptr %7, align 4, !tbaa !9
  %1180 = load i32, ptr %8, align 4, !tbaa !9
  %1181 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1178, i32 noundef %1179, i32 noundef %1180)
  %1182 = add i32 %1177, %1181
  %1183 = add i32 %1182, -949202525
  %1184 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 43
  %1185 = load i32, ptr %1184, align 4, !tbaa !9
  %1186 = add i32 %1183, %1185
  store i32 %1186, ptr %16, align 4, !tbaa !9
  %1187 = load i32, ptr %10, align 4, !tbaa !9
  %1188 = load i32, ptr %11, align 4, !tbaa !9
  %1189 = load i32, ptr %12, align 4, !tbaa !9
  %1190 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1187, i32 noundef %1188, i32 noundef %1189)
  store i32 %1190, ptr %17, align 4, !tbaa !9
  %1191 = load i32, ptr %16, align 4, !tbaa !9
  %1192 = load i32, ptr %5, align 4, !tbaa !9
  %1193 = add i32 %1192, %1191
  store i32 %1193, ptr %5, align 4, !tbaa !9
  %1194 = load i32, ptr %16, align 4, !tbaa !9
  %1195 = load i32, ptr %17, align 4, !tbaa !9
  %1196 = add i32 %1194, %1195
  store i32 %1196, ptr %9, align 4, !tbaa !9
  %1197 = load i32, ptr %8, align 4, !tbaa !9
  %1198 = load i32, ptr %5, align 4, !tbaa !9
  %1199 = load i32, ptr %6, align 4, !tbaa !9
  %1200 = load i32, ptr %7, align 4, !tbaa !9
  %1201 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1198, i32 noundef %1199, i32 noundef %1200)
  %1202 = add i32 %1197, %1201
  %1203 = add i32 %1202, -778901479
  %1204 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 44
  %1205 = load i32, ptr %1204, align 16, !tbaa !9
  %1206 = add i32 %1203, %1205
  store i32 %1206, ptr %16, align 4, !tbaa !9
  %1207 = load i32, ptr %9, align 4, !tbaa !9
  %1208 = load i32, ptr %10, align 4, !tbaa !9
  %1209 = load i32, ptr %11, align 4, !tbaa !9
  %1210 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1207, i32 noundef %1208, i32 noundef %1209)
  store i32 %1210, ptr %17, align 4, !tbaa !9
  %1211 = load i32, ptr %16, align 4, !tbaa !9
  %1212 = load i32, ptr %12, align 4, !tbaa !9
  %1213 = add i32 %1212, %1211
  store i32 %1213, ptr %12, align 4, !tbaa !9
  %1214 = load i32, ptr %16, align 4, !tbaa !9
  %1215 = load i32, ptr %17, align 4, !tbaa !9
  %1216 = add i32 %1214, %1215
  store i32 %1216, ptr %8, align 4, !tbaa !9
  %1217 = load i32, ptr %7, align 4, !tbaa !9
  %1218 = load i32, ptr %12, align 4, !tbaa !9
  %1219 = load i32, ptr %5, align 4, !tbaa !9
  %1220 = load i32, ptr %6, align 4, !tbaa !9
  %1221 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1218, i32 noundef %1219, i32 noundef %1220)
  %1222 = add i32 %1217, %1221
  %1223 = add i32 %1222, -694614492
  %1224 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 45
  %1225 = load i32, ptr %1224, align 4, !tbaa !9
  %1226 = add i32 %1223, %1225
  store i32 %1226, ptr %16, align 4, !tbaa !9
  %1227 = load i32, ptr %8, align 4, !tbaa !9
  %1228 = load i32, ptr %9, align 4, !tbaa !9
  %1229 = load i32, ptr %10, align 4, !tbaa !9
  %1230 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1227, i32 noundef %1228, i32 noundef %1229)
  store i32 %1230, ptr %17, align 4, !tbaa !9
  %1231 = load i32, ptr %16, align 4, !tbaa !9
  %1232 = load i32, ptr %11, align 4, !tbaa !9
  %1233 = add i32 %1232, %1231
  store i32 %1233, ptr %11, align 4, !tbaa !9
  %1234 = load i32, ptr %16, align 4, !tbaa !9
  %1235 = load i32, ptr %17, align 4, !tbaa !9
  %1236 = add i32 %1234, %1235
  store i32 %1236, ptr %7, align 4, !tbaa !9
  %1237 = load i32, ptr %6, align 4, !tbaa !9
  %1238 = load i32, ptr %11, align 4, !tbaa !9
  %1239 = load i32, ptr %12, align 4, !tbaa !9
  %1240 = load i32, ptr %5, align 4, !tbaa !9
  %1241 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1238, i32 noundef %1239, i32 noundef %1240)
  %1242 = add i32 %1237, %1241
  %1243 = add i32 %1242, -200395387
  %1244 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 46
  %1245 = load i32, ptr %1244, align 8, !tbaa !9
  %1246 = add i32 %1243, %1245
  store i32 %1246, ptr %16, align 4, !tbaa !9
  %1247 = load i32, ptr %7, align 4, !tbaa !9
  %1248 = load i32, ptr %8, align 4, !tbaa !9
  %1249 = load i32, ptr %9, align 4, !tbaa !9
  %1250 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1247, i32 noundef %1248, i32 noundef %1249)
  store i32 %1250, ptr %17, align 4, !tbaa !9
  %1251 = load i32, ptr %16, align 4, !tbaa !9
  %1252 = load i32, ptr %10, align 4, !tbaa !9
  %1253 = add i32 %1252, %1251
  store i32 %1253, ptr %10, align 4, !tbaa !9
  %1254 = load i32, ptr %16, align 4, !tbaa !9
  %1255 = load i32, ptr %17, align 4, !tbaa !9
  %1256 = add i32 %1254, %1255
  store i32 %1256, ptr %6, align 4, !tbaa !9
  %1257 = load i32, ptr %5, align 4, !tbaa !9
  %1258 = load i32, ptr %10, align 4, !tbaa !9
  %1259 = load i32, ptr %11, align 4, !tbaa !9
  %1260 = load i32, ptr %12, align 4, !tbaa !9
  %1261 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1258, i32 noundef %1259, i32 noundef %1260)
  %1262 = add i32 %1257, %1261
  %1263 = add i32 %1262, 275423344
  %1264 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 47
  %1265 = load i32, ptr %1264, align 4, !tbaa !9
  %1266 = add i32 %1263, %1265
  store i32 %1266, ptr %16, align 4, !tbaa !9
  %1267 = load i32, ptr %6, align 4, !tbaa !9
  %1268 = load i32, ptr %7, align 4, !tbaa !9
  %1269 = load i32, ptr %8, align 4, !tbaa !9
  %1270 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1267, i32 noundef %1268, i32 noundef %1269)
  store i32 %1270, ptr %17, align 4, !tbaa !9
  %1271 = load i32, ptr %16, align 4, !tbaa !9
  %1272 = load i32, ptr %9, align 4, !tbaa !9
  %1273 = add i32 %1272, %1271
  store i32 %1273, ptr %9, align 4, !tbaa !9
  %1274 = load i32, ptr %16, align 4, !tbaa !9
  %1275 = load i32, ptr %17, align 4, !tbaa !9
  %1276 = add i32 %1274, %1275
  store i32 %1276, ptr %5, align 4, !tbaa !9
  br label %1277

1277:                                             ; preds = %1337, %1116
  %1278 = load i32, ptr %15, align 4, !tbaa !9
  %1279 = icmp slt i32 %1278, 56
  br i1 %1279, label %1280, label %1340

1280:                                             ; preds = %1277
  %1281 = load i32, ptr %15, align 4, !tbaa !9
  %1282 = sub nsw i32 %1281, 16
  %1283 = sext i32 %1282 to i64
  %1284 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1283
  %1285 = load i32, ptr %1284, align 4, !tbaa !9
  %1286 = load i32, ptr %15, align 4, !tbaa !9
  %1287 = sub nsw i32 %1286, 15
  %1288 = sext i32 %1287 to i64
  %1289 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1288
  %1290 = load i32, ptr %1289, align 4, !tbaa !9
  %1291 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1290, i32 noundef 7)
  %1292 = load i32, ptr %15, align 4, !tbaa !9
  %1293 = sub nsw i32 %1292, 15
  %1294 = sext i32 %1293 to i64
  %1295 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1294
  %1296 = load i32, ptr %1295, align 4, !tbaa !9
  %1297 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1296, i32 noundef 18)
  %1298 = xor i32 %1291, %1297
  %1299 = load i32, ptr %15, align 4, !tbaa !9
  %1300 = sub nsw i32 %1299, 15
  %1301 = sext i32 %1300 to i64
  %1302 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1301
  %1303 = load i32, ptr %1302, align 4, !tbaa !9
  %1304 = lshr i32 %1303, 3
  %1305 = xor i32 %1298, %1304
  %1306 = add i32 %1285, %1305
  %1307 = load i32, ptr %15, align 4, !tbaa !9
  %1308 = sub nsw i32 %1307, 7
  %1309 = sext i32 %1308 to i64
  %1310 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1309
  %1311 = load i32, ptr %1310, align 4, !tbaa !9
  %1312 = add i32 %1306, %1311
  %1313 = load i32, ptr %15, align 4, !tbaa !9
  %1314 = sub nsw i32 %1313, 2
  %1315 = sext i32 %1314 to i64
  %1316 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1315
  %1317 = load i32, ptr %1316, align 4, !tbaa !9
  %1318 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1317, i32 noundef 17)
  %1319 = load i32, ptr %15, align 4, !tbaa !9
  %1320 = sub nsw i32 %1319, 2
  %1321 = sext i32 %1320 to i64
  %1322 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1321
  %1323 = load i32, ptr %1322, align 4, !tbaa !9
  %1324 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1323, i32 noundef 19)
  %1325 = xor i32 %1318, %1324
  %1326 = load i32, ptr %15, align 4, !tbaa !9
  %1327 = sub nsw i32 %1326, 2
  %1328 = sext i32 %1327 to i64
  %1329 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1328
  %1330 = load i32, ptr %1329, align 4, !tbaa !9
  %1331 = lshr i32 %1330, 10
  %1332 = xor i32 %1325, %1331
  %1333 = add i32 %1312, %1332
  %1334 = load i32, ptr %15, align 4, !tbaa !9
  %1335 = sext i32 %1334 to i64
  %1336 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1335
  store i32 %1333, ptr %1336, align 4, !tbaa !9
  br label %1337

1337:                                             ; preds = %1280
  %1338 = load i32, ptr %15, align 4, !tbaa !9
  %1339 = add nsw i32 %1338, 1
  store i32 %1339, ptr %15, align 4, !tbaa !9
  br label %1277, !llvm.loop !17

1340:                                             ; preds = %1277
  %1341 = load i32, ptr %12, align 4, !tbaa !9
  %1342 = load i32, ptr %9, align 4, !tbaa !9
  %1343 = load i32, ptr %10, align 4, !tbaa !9
  %1344 = load i32, ptr %11, align 4, !tbaa !9
  %1345 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1342, i32 noundef %1343, i32 noundef %1344)
  %1346 = add i32 %1341, %1345
  %1347 = add i32 %1346, 430227734
  %1348 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 48
  %1349 = load i32, ptr %1348, align 16, !tbaa !9
  %1350 = add i32 %1347, %1349
  store i32 %1350, ptr %16, align 4, !tbaa !9
  %1351 = load i32, ptr %5, align 4, !tbaa !9
  %1352 = load i32, ptr %6, align 4, !tbaa !9
  %1353 = load i32, ptr %7, align 4, !tbaa !9
  %1354 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1351, i32 noundef %1352, i32 noundef %1353)
  store i32 %1354, ptr %17, align 4, !tbaa !9
  %1355 = load i32, ptr %16, align 4, !tbaa !9
  %1356 = load i32, ptr %8, align 4, !tbaa !9
  %1357 = add i32 %1356, %1355
  store i32 %1357, ptr %8, align 4, !tbaa !9
  %1358 = load i32, ptr %16, align 4, !tbaa !9
  %1359 = load i32, ptr %17, align 4, !tbaa !9
  %1360 = add i32 %1358, %1359
  store i32 %1360, ptr %12, align 4, !tbaa !9
  %1361 = load i32, ptr %11, align 4, !tbaa !9
  %1362 = load i32, ptr %8, align 4, !tbaa !9
  %1363 = load i32, ptr %9, align 4, !tbaa !9
  %1364 = load i32, ptr %10, align 4, !tbaa !9
  %1365 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1362, i32 noundef %1363, i32 noundef %1364)
  %1366 = add i32 %1361, %1365
  %1367 = add i32 %1366, 506948616
  %1368 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 49
  %1369 = load i32, ptr %1368, align 4, !tbaa !9
  %1370 = add i32 %1367, %1369
  store i32 %1370, ptr %16, align 4, !tbaa !9
  %1371 = load i32, ptr %12, align 4, !tbaa !9
  %1372 = load i32, ptr %5, align 4, !tbaa !9
  %1373 = load i32, ptr %6, align 4, !tbaa !9
  %1374 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1371, i32 noundef %1372, i32 noundef %1373)
  store i32 %1374, ptr %17, align 4, !tbaa !9
  %1375 = load i32, ptr %16, align 4, !tbaa !9
  %1376 = load i32, ptr %7, align 4, !tbaa !9
  %1377 = add i32 %1376, %1375
  store i32 %1377, ptr %7, align 4, !tbaa !9
  %1378 = load i32, ptr %16, align 4, !tbaa !9
  %1379 = load i32, ptr %17, align 4, !tbaa !9
  %1380 = add i32 %1378, %1379
  store i32 %1380, ptr %11, align 4, !tbaa !9
  %1381 = load i32, ptr %10, align 4, !tbaa !9
  %1382 = load i32, ptr %7, align 4, !tbaa !9
  %1383 = load i32, ptr %8, align 4, !tbaa !9
  %1384 = load i32, ptr %9, align 4, !tbaa !9
  %1385 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1382, i32 noundef %1383, i32 noundef %1384)
  %1386 = add i32 %1381, %1385
  %1387 = add i32 %1386, 659060556
  %1388 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 50
  %1389 = load i32, ptr %1388, align 8, !tbaa !9
  %1390 = add i32 %1387, %1389
  store i32 %1390, ptr %16, align 4, !tbaa !9
  %1391 = load i32, ptr %11, align 4, !tbaa !9
  %1392 = load i32, ptr %12, align 4, !tbaa !9
  %1393 = load i32, ptr %5, align 4, !tbaa !9
  %1394 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1391, i32 noundef %1392, i32 noundef %1393)
  store i32 %1394, ptr %17, align 4, !tbaa !9
  %1395 = load i32, ptr %16, align 4, !tbaa !9
  %1396 = load i32, ptr %6, align 4, !tbaa !9
  %1397 = add i32 %1396, %1395
  store i32 %1397, ptr %6, align 4, !tbaa !9
  %1398 = load i32, ptr %16, align 4, !tbaa !9
  %1399 = load i32, ptr %17, align 4, !tbaa !9
  %1400 = add i32 %1398, %1399
  store i32 %1400, ptr %10, align 4, !tbaa !9
  %1401 = load i32, ptr %9, align 4, !tbaa !9
  %1402 = load i32, ptr %6, align 4, !tbaa !9
  %1403 = load i32, ptr %7, align 4, !tbaa !9
  %1404 = load i32, ptr %8, align 4, !tbaa !9
  %1405 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1402, i32 noundef %1403, i32 noundef %1404)
  %1406 = add i32 %1401, %1405
  %1407 = add i32 %1406, 883997877
  %1408 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 51
  %1409 = load i32, ptr %1408, align 4, !tbaa !9
  %1410 = add i32 %1407, %1409
  store i32 %1410, ptr %16, align 4, !tbaa !9
  %1411 = load i32, ptr %10, align 4, !tbaa !9
  %1412 = load i32, ptr %11, align 4, !tbaa !9
  %1413 = load i32, ptr %12, align 4, !tbaa !9
  %1414 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1411, i32 noundef %1412, i32 noundef %1413)
  store i32 %1414, ptr %17, align 4, !tbaa !9
  %1415 = load i32, ptr %16, align 4, !tbaa !9
  %1416 = load i32, ptr %5, align 4, !tbaa !9
  %1417 = add i32 %1416, %1415
  store i32 %1417, ptr %5, align 4, !tbaa !9
  %1418 = load i32, ptr %16, align 4, !tbaa !9
  %1419 = load i32, ptr %17, align 4, !tbaa !9
  %1420 = add i32 %1418, %1419
  store i32 %1420, ptr %9, align 4, !tbaa !9
  %1421 = load i32, ptr %8, align 4, !tbaa !9
  %1422 = load i32, ptr %5, align 4, !tbaa !9
  %1423 = load i32, ptr %6, align 4, !tbaa !9
  %1424 = load i32, ptr %7, align 4, !tbaa !9
  %1425 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1422, i32 noundef %1423, i32 noundef %1424)
  %1426 = add i32 %1421, %1425
  %1427 = add i32 %1426, 958139571
  %1428 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 52
  %1429 = load i32, ptr %1428, align 16, !tbaa !9
  %1430 = add i32 %1427, %1429
  store i32 %1430, ptr %16, align 4, !tbaa !9
  %1431 = load i32, ptr %9, align 4, !tbaa !9
  %1432 = load i32, ptr %10, align 4, !tbaa !9
  %1433 = load i32, ptr %11, align 4, !tbaa !9
  %1434 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1431, i32 noundef %1432, i32 noundef %1433)
  store i32 %1434, ptr %17, align 4, !tbaa !9
  %1435 = load i32, ptr %16, align 4, !tbaa !9
  %1436 = load i32, ptr %12, align 4, !tbaa !9
  %1437 = add i32 %1436, %1435
  store i32 %1437, ptr %12, align 4, !tbaa !9
  %1438 = load i32, ptr %16, align 4, !tbaa !9
  %1439 = load i32, ptr %17, align 4, !tbaa !9
  %1440 = add i32 %1438, %1439
  store i32 %1440, ptr %8, align 4, !tbaa !9
  %1441 = load i32, ptr %7, align 4, !tbaa !9
  %1442 = load i32, ptr %12, align 4, !tbaa !9
  %1443 = load i32, ptr %5, align 4, !tbaa !9
  %1444 = load i32, ptr %6, align 4, !tbaa !9
  %1445 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1442, i32 noundef %1443, i32 noundef %1444)
  %1446 = add i32 %1441, %1445
  %1447 = add i32 %1446, 1322822218
  %1448 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 53
  %1449 = load i32, ptr %1448, align 4, !tbaa !9
  %1450 = add i32 %1447, %1449
  store i32 %1450, ptr %16, align 4, !tbaa !9
  %1451 = load i32, ptr %8, align 4, !tbaa !9
  %1452 = load i32, ptr %9, align 4, !tbaa !9
  %1453 = load i32, ptr %10, align 4, !tbaa !9
  %1454 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1451, i32 noundef %1452, i32 noundef %1453)
  store i32 %1454, ptr %17, align 4, !tbaa !9
  %1455 = load i32, ptr %16, align 4, !tbaa !9
  %1456 = load i32, ptr %11, align 4, !tbaa !9
  %1457 = add i32 %1456, %1455
  store i32 %1457, ptr %11, align 4, !tbaa !9
  %1458 = load i32, ptr %16, align 4, !tbaa !9
  %1459 = load i32, ptr %17, align 4, !tbaa !9
  %1460 = add i32 %1458, %1459
  store i32 %1460, ptr %7, align 4, !tbaa !9
  %1461 = load i32, ptr %6, align 4, !tbaa !9
  %1462 = load i32, ptr %11, align 4, !tbaa !9
  %1463 = load i32, ptr %12, align 4, !tbaa !9
  %1464 = load i32, ptr %5, align 4, !tbaa !9
  %1465 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1462, i32 noundef %1463, i32 noundef %1464)
  %1466 = add i32 %1461, %1465
  %1467 = add i32 %1466, 1537002063
  %1468 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 54
  %1469 = load i32, ptr %1468, align 8, !tbaa !9
  %1470 = add i32 %1467, %1469
  store i32 %1470, ptr %16, align 4, !tbaa !9
  %1471 = load i32, ptr %7, align 4, !tbaa !9
  %1472 = load i32, ptr %8, align 4, !tbaa !9
  %1473 = load i32, ptr %9, align 4, !tbaa !9
  %1474 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1471, i32 noundef %1472, i32 noundef %1473)
  store i32 %1474, ptr %17, align 4, !tbaa !9
  %1475 = load i32, ptr %16, align 4, !tbaa !9
  %1476 = load i32, ptr %10, align 4, !tbaa !9
  %1477 = add i32 %1476, %1475
  store i32 %1477, ptr %10, align 4, !tbaa !9
  %1478 = load i32, ptr %16, align 4, !tbaa !9
  %1479 = load i32, ptr %17, align 4, !tbaa !9
  %1480 = add i32 %1478, %1479
  store i32 %1480, ptr %6, align 4, !tbaa !9
  %1481 = load i32, ptr %5, align 4, !tbaa !9
  %1482 = load i32, ptr %10, align 4, !tbaa !9
  %1483 = load i32, ptr %11, align 4, !tbaa !9
  %1484 = load i32, ptr %12, align 4, !tbaa !9
  %1485 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1482, i32 noundef %1483, i32 noundef %1484)
  %1486 = add i32 %1481, %1485
  %1487 = add i32 %1486, 1747873779
  %1488 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 55
  %1489 = load i32, ptr %1488, align 4, !tbaa !9
  %1490 = add i32 %1487, %1489
  store i32 %1490, ptr %16, align 4, !tbaa !9
  %1491 = load i32, ptr %6, align 4, !tbaa !9
  %1492 = load i32, ptr %7, align 4, !tbaa !9
  %1493 = load i32, ptr %8, align 4, !tbaa !9
  %1494 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1491, i32 noundef %1492, i32 noundef %1493)
  store i32 %1494, ptr %17, align 4, !tbaa !9
  %1495 = load i32, ptr %16, align 4, !tbaa !9
  %1496 = load i32, ptr %9, align 4, !tbaa !9
  %1497 = add i32 %1496, %1495
  store i32 %1497, ptr %9, align 4, !tbaa !9
  %1498 = load i32, ptr %16, align 4, !tbaa !9
  %1499 = load i32, ptr %17, align 4, !tbaa !9
  %1500 = add i32 %1498, %1499
  store i32 %1500, ptr %5, align 4, !tbaa !9
  br label %1501

1501:                                             ; preds = %1561, %1340
  %1502 = load i32, ptr %15, align 4, !tbaa !9
  %1503 = icmp slt i32 %1502, 64
  br i1 %1503, label %1504, label %1564

1504:                                             ; preds = %1501
  %1505 = load i32, ptr %15, align 4, !tbaa !9
  %1506 = sub nsw i32 %1505, 16
  %1507 = sext i32 %1506 to i64
  %1508 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1507
  %1509 = load i32, ptr %1508, align 4, !tbaa !9
  %1510 = load i32, ptr %15, align 4, !tbaa !9
  %1511 = sub nsw i32 %1510, 15
  %1512 = sext i32 %1511 to i64
  %1513 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1512
  %1514 = load i32, ptr %1513, align 4, !tbaa !9
  %1515 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1514, i32 noundef 7)
  %1516 = load i32, ptr %15, align 4, !tbaa !9
  %1517 = sub nsw i32 %1516, 15
  %1518 = sext i32 %1517 to i64
  %1519 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1518
  %1520 = load i32, ptr %1519, align 4, !tbaa !9
  %1521 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1520, i32 noundef 18)
  %1522 = xor i32 %1515, %1521
  %1523 = load i32, ptr %15, align 4, !tbaa !9
  %1524 = sub nsw i32 %1523, 15
  %1525 = sext i32 %1524 to i64
  %1526 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1525
  %1527 = load i32, ptr %1526, align 4, !tbaa !9
  %1528 = lshr i32 %1527, 3
  %1529 = xor i32 %1522, %1528
  %1530 = add i32 %1509, %1529
  %1531 = load i32, ptr %15, align 4, !tbaa !9
  %1532 = sub nsw i32 %1531, 7
  %1533 = sext i32 %1532 to i64
  %1534 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1533
  %1535 = load i32, ptr %1534, align 4, !tbaa !9
  %1536 = add i32 %1530, %1535
  %1537 = load i32, ptr %15, align 4, !tbaa !9
  %1538 = sub nsw i32 %1537, 2
  %1539 = sext i32 %1538 to i64
  %1540 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1539
  %1541 = load i32, ptr %1540, align 4, !tbaa !9
  %1542 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1541, i32 noundef 17)
  %1543 = load i32, ptr %15, align 4, !tbaa !9
  %1544 = sub nsw i32 %1543, 2
  %1545 = sext i32 %1544 to i64
  %1546 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1545
  %1547 = load i32, ptr %1546, align 4, !tbaa !9
  %1548 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1547, i32 noundef 19)
  %1549 = xor i32 %1542, %1548
  %1550 = load i32, ptr %15, align 4, !tbaa !9
  %1551 = sub nsw i32 %1550, 2
  %1552 = sext i32 %1551 to i64
  %1553 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1552
  %1554 = load i32, ptr %1553, align 4, !tbaa !9
  %1555 = lshr i32 %1554, 10
  %1556 = xor i32 %1549, %1555
  %1557 = add i32 %1536, %1556
  %1558 = load i32, ptr %15, align 4, !tbaa !9
  %1559 = sext i32 %1558 to i64
  %1560 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 %1559
  store i32 %1557, ptr %1560, align 4, !tbaa !9
  br label %1561

1561:                                             ; preds = %1504
  %1562 = load i32, ptr %15, align 4, !tbaa !9
  %1563 = add nsw i32 %1562, 1
  store i32 %1563, ptr %15, align 4, !tbaa !9
  br label %1501, !llvm.loop !18

1564:                                             ; preds = %1501
  %1565 = load i32, ptr %12, align 4, !tbaa !9
  %1566 = load i32, ptr %9, align 4, !tbaa !9
  %1567 = load i32, ptr %10, align 4, !tbaa !9
  %1568 = load i32, ptr %11, align 4, !tbaa !9
  %1569 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1566, i32 noundef %1567, i32 noundef %1568)
  %1570 = add i32 %1565, %1569
  %1571 = add i32 %1570, 1955562222
  %1572 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 56
  %1573 = load i32, ptr %1572, align 16, !tbaa !9
  %1574 = add i32 %1571, %1573
  store i32 %1574, ptr %16, align 4, !tbaa !9
  %1575 = load i32, ptr %5, align 4, !tbaa !9
  %1576 = load i32, ptr %6, align 4, !tbaa !9
  %1577 = load i32, ptr %7, align 4, !tbaa !9
  %1578 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1575, i32 noundef %1576, i32 noundef %1577)
  store i32 %1578, ptr %17, align 4, !tbaa !9
  %1579 = load i32, ptr %16, align 4, !tbaa !9
  %1580 = load i32, ptr %8, align 4, !tbaa !9
  %1581 = add i32 %1580, %1579
  store i32 %1581, ptr %8, align 4, !tbaa !9
  %1582 = load i32, ptr %16, align 4, !tbaa !9
  %1583 = load i32, ptr %17, align 4, !tbaa !9
  %1584 = add i32 %1582, %1583
  store i32 %1584, ptr %12, align 4, !tbaa !9
  %1585 = load i32, ptr %11, align 4, !tbaa !9
  %1586 = load i32, ptr %8, align 4, !tbaa !9
  %1587 = load i32, ptr %9, align 4, !tbaa !9
  %1588 = load i32, ptr %10, align 4, !tbaa !9
  %1589 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1586, i32 noundef %1587, i32 noundef %1588)
  %1590 = add i32 %1585, %1589
  %1591 = add i32 %1590, 2024104815
  %1592 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 57
  %1593 = load i32, ptr %1592, align 4, !tbaa !9
  %1594 = add i32 %1591, %1593
  store i32 %1594, ptr %16, align 4, !tbaa !9
  %1595 = load i32, ptr %12, align 4, !tbaa !9
  %1596 = load i32, ptr %5, align 4, !tbaa !9
  %1597 = load i32, ptr %6, align 4, !tbaa !9
  %1598 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1595, i32 noundef %1596, i32 noundef %1597)
  store i32 %1598, ptr %17, align 4, !tbaa !9
  %1599 = load i32, ptr %16, align 4, !tbaa !9
  %1600 = load i32, ptr %7, align 4, !tbaa !9
  %1601 = add i32 %1600, %1599
  store i32 %1601, ptr %7, align 4, !tbaa !9
  %1602 = load i32, ptr %16, align 4, !tbaa !9
  %1603 = load i32, ptr %17, align 4, !tbaa !9
  %1604 = add i32 %1602, %1603
  store i32 %1604, ptr %11, align 4, !tbaa !9
  %1605 = load i32, ptr %10, align 4, !tbaa !9
  %1606 = load i32, ptr %7, align 4, !tbaa !9
  %1607 = load i32, ptr %8, align 4, !tbaa !9
  %1608 = load i32, ptr %9, align 4, !tbaa !9
  %1609 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1606, i32 noundef %1607, i32 noundef %1608)
  %1610 = add i32 %1605, %1609
  %1611 = add i32 %1610, -2067236844
  %1612 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 58
  %1613 = load i32, ptr %1612, align 8, !tbaa !9
  %1614 = add i32 %1611, %1613
  store i32 %1614, ptr %16, align 4, !tbaa !9
  %1615 = load i32, ptr %11, align 4, !tbaa !9
  %1616 = load i32, ptr %12, align 4, !tbaa !9
  %1617 = load i32, ptr %5, align 4, !tbaa !9
  %1618 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1615, i32 noundef %1616, i32 noundef %1617)
  store i32 %1618, ptr %17, align 4, !tbaa !9
  %1619 = load i32, ptr %16, align 4, !tbaa !9
  %1620 = load i32, ptr %6, align 4, !tbaa !9
  %1621 = add i32 %1620, %1619
  store i32 %1621, ptr %6, align 4, !tbaa !9
  %1622 = load i32, ptr %16, align 4, !tbaa !9
  %1623 = load i32, ptr %17, align 4, !tbaa !9
  %1624 = add i32 %1622, %1623
  store i32 %1624, ptr %10, align 4, !tbaa !9
  %1625 = load i32, ptr %9, align 4, !tbaa !9
  %1626 = load i32, ptr %6, align 4, !tbaa !9
  %1627 = load i32, ptr %7, align 4, !tbaa !9
  %1628 = load i32, ptr %8, align 4, !tbaa !9
  %1629 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1626, i32 noundef %1627, i32 noundef %1628)
  %1630 = add i32 %1625, %1629
  %1631 = add i32 %1630, -1933114872
  %1632 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 59
  %1633 = load i32, ptr %1632, align 4, !tbaa !9
  %1634 = add i32 %1631, %1633
  store i32 %1634, ptr %16, align 4, !tbaa !9
  %1635 = load i32, ptr %10, align 4, !tbaa !9
  %1636 = load i32, ptr %11, align 4, !tbaa !9
  %1637 = load i32, ptr %12, align 4, !tbaa !9
  %1638 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1635, i32 noundef %1636, i32 noundef %1637)
  store i32 %1638, ptr %17, align 4, !tbaa !9
  %1639 = load i32, ptr %16, align 4, !tbaa !9
  %1640 = load i32, ptr %5, align 4, !tbaa !9
  %1641 = add i32 %1640, %1639
  store i32 %1641, ptr %5, align 4, !tbaa !9
  %1642 = load i32, ptr %16, align 4, !tbaa !9
  %1643 = load i32, ptr %17, align 4, !tbaa !9
  %1644 = add i32 %1642, %1643
  store i32 %1644, ptr %9, align 4, !tbaa !9
  %1645 = load i32, ptr %8, align 4, !tbaa !9
  %1646 = load i32, ptr %5, align 4, !tbaa !9
  %1647 = load i32, ptr %6, align 4, !tbaa !9
  %1648 = load i32, ptr %7, align 4, !tbaa !9
  %1649 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1646, i32 noundef %1647, i32 noundef %1648)
  %1650 = add i32 %1645, %1649
  %1651 = add i32 %1650, -1866530822
  %1652 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 60
  %1653 = load i32, ptr %1652, align 16, !tbaa !9
  %1654 = add i32 %1651, %1653
  store i32 %1654, ptr %16, align 4, !tbaa !9
  %1655 = load i32, ptr %9, align 4, !tbaa !9
  %1656 = load i32, ptr %10, align 4, !tbaa !9
  %1657 = load i32, ptr %11, align 4, !tbaa !9
  %1658 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1655, i32 noundef %1656, i32 noundef %1657)
  store i32 %1658, ptr %17, align 4, !tbaa !9
  %1659 = load i32, ptr %16, align 4, !tbaa !9
  %1660 = load i32, ptr %12, align 4, !tbaa !9
  %1661 = add i32 %1660, %1659
  store i32 %1661, ptr %12, align 4, !tbaa !9
  %1662 = load i32, ptr %16, align 4, !tbaa !9
  %1663 = load i32, ptr %17, align 4, !tbaa !9
  %1664 = add i32 %1662, %1663
  store i32 %1664, ptr %8, align 4, !tbaa !9
  %1665 = load i32, ptr %7, align 4, !tbaa !9
  %1666 = load i32, ptr %12, align 4, !tbaa !9
  %1667 = load i32, ptr %5, align 4, !tbaa !9
  %1668 = load i32, ptr %6, align 4, !tbaa !9
  %1669 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1666, i32 noundef %1667, i32 noundef %1668)
  %1670 = add i32 %1665, %1669
  %1671 = add i32 %1670, -1538233109
  %1672 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 61
  %1673 = load i32, ptr %1672, align 4, !tbaa !9
  %1674 = add i32 %1671, %1673
  store i32 %1674, ptr %16, align 4, !tbaa !9
  %1675 = load i32, ptr %8, align 4, !tbaa !9
  %1676 = load i32, ptr %9, align 4, !tbaa !9
  %1677 = load i32, ptr %10, align 4, !tbaa !9
  %1678 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1675, i32 noundef %1676, i32 noundef %1677)
  store i32 %1678, ptr %17, align 4, !tbaa !9
  %1679 = load i32, ptr %16, align 4, !tbaa !9
  %1680 = load i32, ptr %11, align 4, !tbaa !9
  %1681 = add i32 %1680, %1679
  store i32 %1681, ptr %11, align 4, !tbaa !9
  %1682 = load i32, ptr %16, align 4, !tbaa !9
  %1683 = load i32, ptr %17, align 4, !tbaa !9
  %1684 = add i32 %1682, %1683
  store i32 %1684, ptr %7, align 4, !tbaa !9
  %1685 = load i32, ptr %6, align 4, !tbaa !9
  %1686 = load i32, ptr %11, align 4, !tbaa !9
  %1687 = load i32, ptr %12, align 4, !tbaa !9
  %1688 = load i32, ptr %5, align 4, !tbaa !9
  %1689 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1686, i32 noundef %1687, i32 noundef %1688)
  %1690 = add i32 %1685, %1689
  %1691 = add i32 %1690, -1090935817
  %1692 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 62
  %1693 = load i32, ptr %1692, align 8, !tbaa !9
  %1694 = add i32 %1691, %1693
  store i32 %1694, ptr %16, align 4, !tbaa !9
  %1695 = load i32, ptr %7, align 4, !tbaa !9
  %1696 = load i32, ptr %8, align 4, !tbaa !9
  %1697 = load i32, ptr %9, align 4, !tbaa !9
  %1698 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1695, i32 noundef %1696, i32 noundef %1697)
  store i32 %1698, ptr %17, align 4, !tbaa !9
  %1699 = load i32, ptr %16, align 4, !tbaa !9
  %1700 = load i32, ptr %10, align 4, !tbaa !9
  %1701 = add i32 %1700, %1699
  store i32 %1701, ptr %10, align 4, !tbaa !9
  %1702 = load i32, ptr %16, align 4, !tbaa !9
  %1703 = load i32, ptr %17, align 4, !tbaa !9
  %1704 = add i32 %1702, %1703
  store i32 %1704, ptr %6, align 4, !tbaa !9
  %1705 = load i32, ptr %5, align 4, !tbaa !9
  %1706 = load i32, ptr %10, align 4, !tbaa !9
  %1707 = load i32, ptr %11, align 4, !tbaa !9
  %1708 = load i32, ptr %12, align 4, !tbaa !9
  %1709 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1706, i32 noundef %1707, i32 noundef %1708)
  %1710 = add i32 %1705, %1709
  %1711 = add i32 %1710, -965641998
  %1712 = getelementptr inbounds [64 x i32], ptr %14, i64 0, i64 63
  %1713 = load i32, ptr %1712, align 4, !tbaa !9
  %1714 = add i32 %1711, %1713
  store i32 %1714, ptr %16, align 4, !tbaa !9
  %1715 = load i32, ptr %6, align 4, !tbaa !9
  %1716 = load i32, ptr %7, align 4, !tbaa !9
  %1717 = load i32, ptr %8, align 4, !tbaa !9
  %1718 = call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1715, i32 noundef %1716, i32 noundef %1717)
  store i32 %1718, ptr %17, align 4, !tbaa !9
  %1719 = load i32, ptr %16, align 4, !tbaa !9
  %1720 = load i32, ptr %9, align 4, !tbaa !9
  %1721 = add i32 %1720, %1719
  store i32 %1721, ptr %9, align 4, !tbaa !9
  %1722 = load i32, ptr %16, align 4, !tbaa !9
  %1723 = load i32, ptr %17, align 4, !tbaa !9
  %1724 = add i32 %1722, %1723
  store i32 %1724, ptr %5, align 4, !tbaa !9
  %1725 = load i32, ptr %5, align 4, !tbaa !9
  %1726 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %1727 = getelementptr inbounds [8 x i32], ptr %1726, i64 0, i64 0
  %1728 = load i32, ptr %1727, align 8, !tbaa !9
  %1729 = add i32 %1728, %1725
  store i32 %1729, ptr %1727, align 8, !tbaa !9
  %1730 = load i32, ptr %6, align 4, !tbaa !9
  %1731 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %1732 = getelementptr inbounds [8 x i32], ptr %1731, i64 0, i64 1
  %1733 = load i32, ptr %1732, align 4, !tbaa !9
  %1734 = add i32 %1733, %1730
  store i32 %1734, ptr %1732, align 4, !tbaa !9
  %1735 = load i32, ptr %7, align 4, !tbaa !9
  %1736 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %1737 = getelementptr inbounds [8 x i32], ptr %1736, i64 0, i64 2
  %1738 = load i32, ptr %1737, align 8, !tbaa !9
  %1739 = add i32 %1738, %1735
  store i32 %1739, ptr %1737, align 8, !tbaa !9
  %1740 = load i32, ptr %8, align 4, !tbaa !9
  %1741 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %1742 = getelementptr inbounds [8 x i32], ptr %1741, i64 0, i64 3
  %1743 = load i32, ptr %1742, align 4, !tbaa !9
  %1744 = add i32 %1743, %1740
  store i32 %1744, ptr %1742, align 4, !tbaa !9
  %1745 = load i32, ptr %9, align 4, !tbaa !9
  %1746 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %1747 = getelementptr inbounds [8 x i32], ptr %1746, i64 0, i64 4
  %1748 = load i32, ptr %1747, align 8, !tbaa !9
  %1749 = add i32 %1748, %1745
  store i32 %1749, ptr %1747, align 8, !tbaa !9
  %1750 = load i32, ptr %10, align 4, !tbaa !9
  %1751 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %1752 = getelementptr inbounds [8 x i32], ptr %1751, i64 0, i64 5
  %1753 = load i32, ptr %1752, align 4, !tbaa !9
  %1754 = add i32 %1753, %1750
  store i32 %1754, ptr %1752, align 4, !tbaa !9
  %1755 = load i32, ptr %11, align 4, !tbaa !9
  %1756 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %1757 = getelementptr inbounds [8 x i32], ptr %1756, i64 0, i64 6
  %1758 = load i32, ptr %1757, align 8, !tbaa !9
  %1759 = add i32 %1758, %1755
  store i32 %1759, ptr %1757, align 8, !tbaa !9
  %1760 = load i32, ptr %12, align 4, !tbaa !9
  %1761 = getelementptr inbounds %"class.hashcash::SHA256", ptr %18, i32 0, i32 3
  %1762 = getelementptr inbounds [8 x i32], ptr %1761, i64 0, i64 7
  %1763 = load i32, ptr %1762, align 4, !tbaa !9
  %1764 = add i32 %1763, %1760
  store i32 %1764, ptr %1762, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 256, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #4
  ret void
}

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef) #2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef, i32 noundef, i32 noundef) #3

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef, i32 noundef, i32 noundef) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef, i32 noundef) #2

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !12}
!16 = distinct !{!16, !12}
!17 = distinct !{!17, !12}
!18 = distinct !{!18, !12}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN8hashcash6SHA25612processBlockEPKv(ptr nocapture noundef nonnull align 8 dereferenceable(112) %0, ptr nocapture noundef readonly %1) local_unnamed_addr #0 align 2 {
._crit_edge809:
  %2 = getelementptr inbounds i8, ptr %0, i64 80
  %3 = load i32, ptr %2, align 8, !tbaa !5
  %4 = getelementptr inbounds i8, ptr %0, i64 84
  %5 = load i32, ptr %4, align 4, !tbaa !5
  %6 = getelementptr inbounds i8, ptr %0, i64 88
  %7 = load i32, ptr %6, align 8, !tbaa !5
  %8 = getelementptr inbounds i8, ptr %0, i64 92
  %9 = load i32, ptr %8, align 4, !tbaa !5
  %10 = getelementptr inbounds i8, ptr %0, i64 96
  %11 = load i32, ptr %10, align 8, !tbaa !5
  %12 = getelementptr inbounds i8, ptr %0, i64 100
  %13 = load i32, ptr %12, align 4, !tbaa !5
  %14 = getelementptr inbounds i8, ptr %0, i64 104
  %15 = load i32, ptr %14, align 8, !tbaa !5
  %16 = getelementptr inbounds i8, ptr %0, i64 108
  %17 = load i32, ptr %16, align 4, !tbaa !5
  %18 = load i32, ptr %1, align 4, !tbaa !5
  %19 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %18)
  %20 = getelementptr inbounds i8, ptr %1, i64 4
  %21 = load i32, ptr %20, align 4, !tbaa !5
  %22 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %21)
  %23 = getelementptr inbounds i8, ptr %1, i64 8
  %24 = load i32, ptr %23, align 4, !tbaa !5
  %25 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %24)
  %26 = getelementptr inbounds i8, ptr %1, i64 12
  %27 = load i32, ptr %26, align 4, !tbaa !5
  %28 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %27)
  %29 = getelementptr inbounds i8, ptr %1, i64 16
  %30 = load i32, ptr %29, align 4, !tbaa !5
  %31 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %30)
  %32 = getelementptr inbounds i8, ptr %1, i64 20
  %33 = load i32, ptr %32, align 4, !tbaa !5
  %34 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %33)
  %35 = getelementptr inbounds i8, ptr %1, i64 24
  %36 = load i32, ptr %35, align 4, !tbaa !5
  %37 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %36)
  %38 = getelementptr inbounds i8, ptr %1, i64 28
  %39 = load i32, ptr %38, align 4, !tbaa !5
  %40 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %39)
  %41 = getelementptr inbounds i8, ptr %1, i64 32
  %42 = load i32, ptr %41, align 4, !tbaa !5
  %43 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %42)
  %44 = getelementptr inbounds i8, ptr %1, i64 36
  %45 = load i32, ptr %44, align 4, !tbaa !5
  %46 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %45)
  %47 = getelementptr inbounds i8, ptr %1, i64 40
  %48 = load i32, ptr %47, align 4, !tbaa !5
  %49 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %48)
  %50 = getelementptr inbounds i8, ptr %1, i64 44
  %51 = load i32, ptr %50, align 4, !tbaa !5
  %52 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %51)
  %53 = getelementptr inbounds i8, ptr %1, i64 48
  %54 = load i32, ptr %53, align 4, !tbaa !5
  %55 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %54)
  %56 = getelementptr inbounds i8, ptr %1, i64 52
  %57 = load i32, ptr %56, align 4, !tbaa !5
  %58 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %57)
  %59 = getelementptr inbounds i8, ptr %1, i64 56
  %60 = load i32, ptr %59, align 4, !tbaa !5
  %61 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %60)
  %62 = getelementptr inbounds i8, ptr %1, i64 60
  %63 = load i32, ptr %62, align 4, !tbaa !5
  %64 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef %63)
  %65 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %11, i32 noundef %13, i32 noundef %15)
  %66 = add i32 %17, 1116352408
  %67 = add i32 %66, %65
  %68 = add i32 %67, %19
  %69 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %3, i32 noundef %5, i32 noundef %7)
  %70 = add i32 %68, %9
  %71 = add i32 %68, %69
  %72 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %70, i32 noundef %11, i32 noundef %13)
  %73 = add i32 %15, 1899447441
  %74 = add i32 %73, %72
  %75 = add i32 %74, %22
  %76 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %71, i32 noundef %3, i32 noundef %5)
  %77 = add i32 %75, %7
  %78 = add i32 %75, %76
  %79 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %77, i32 noundef %70, i32 noundef %11)
  %80 = add i32 %13, -1245643825
  %81 = add i32 %80, %79
  %82 = add i32 %81, %25
  %83 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %78, i32 noundef %71, i32 noundef %3)
  %84 = add i32 %82, %5
  %85 = add i32 %82, %83
  %86 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %84, i32 noundef %77, i32 noundef %70)
  %87 = add i32 %11, -373957723
  %88 = add i32 %87, %86
  %89 = add i32 %88, %28
  %90 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %85, i32 noundef %78, i32 noundef %71)
  %91 = add i32 %89, %3
  %92 = add i32 %89, %90
  %93 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %91, i32 noundef %84, i32 noundef %77)
  %94 = add i32 %70, 961987163
  %95 = add i32 %94, %93
  %96 = add i32 %95, %31
  %97 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %92, i32 noundef %85, i32 noundef %78)
  %98 = add i32 %96, %71
  %99 = add i32 %96, %97
  %100 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %98, i32 noundef %91, i32 noundef %84)
  %101 = add i32 %77, 1508970993
  %102 = add i32 %101, %100
  %103 = add i32 %102, %34
  %104 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %99, i32 noundef %92, i32 noundef %85)
  %105 = add i32 %103, %78
  %106 = add i32 %103, %104
  %107 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %105, i32 noundef %98, i32 noundef %91)
  %108 = add i32 %84, -1841331548
  %109 = add i32 %108, %107
  %110 = add i32 %109, %37
  %111 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %106, i32 noundef %99, i32 noundef %92)
  %112 = add i32 %110, %85
  %113 = add i32 %110, %111
  %114 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %112, i32 noundef %105, i32 noundef %98)
  %115 = add i32 %91, -1424204075
  %116 = add i32 %115, %114
  %117 = add i32 %116, %40
  %118 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %113, i32 noundef %106, i32 noundef %99)
  %119 = add i32 %117, %92
  %120 = add i32 %117, %118
  %121 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %119, i32 noundef %112, i32 noundef %105)
  %122 = add i32 %98, -670586216
  %123 = add i32 %122, %121
  %124 = add i32 %123, %43
  %125 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %120, i32 noundef %113, i32 noundef %106)
  %126 = add i32 %124, %99
  %127 = add i32 %124, %125
  %128 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %126, i32 noundef %119, i32 noundef %112)
  %129 = add i32 %105, 310598401
  %130 = add i32 %129, %128
  %131 = add i32 %130, %46
  %132 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %127, i32 noundef %120, i32 noundef %113)
  %133 = add i32 %131, %106
  %134 = add i32 %131, %132
  %135 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %133, i32 noundef %126, i32 noundef %119)
  %136 = add i32 %112, 607225278
  %137 = add i32 %136, %135
  %138 = add i32 %137, %49
  %139 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %134, i32 noundef %127, i32 noundef %120)
  %140 = add i32 %138, %113
  %141 = add i32 %138, %139
  %142 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %140, i32 noundef %133, i32 noundef %126)
  %143 = add i32 %119, 1426881987
  %144 = add i32 %143, %142
  %145 = add i32 %144, %52
  %146 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %141, i32 noundef %134, i32 noundef %127)
  %147 = add i32 %145, %120
  %148 = add i32 %145, %146
  %149 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %147, i32 noundef %140, i32 noundef %133)
  %150 = add i32 %126, 1925078388
  %151 = add i32 %150, %149
  %152 = add i32 %151, %55
  %153 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %148, i32 noundef %141, i32 noundef %134)
  %154 = add i32 %152, %127
  %155 = add i32 %152, %153
  %156 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %154, i32 noundef %147, i32 noundef %140)
  %157 = add i32 %133, -2132889090
  %158 = add i32 %157, %156
  %159 = add i32 %158, %58
  %160 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %155, i32 noundef %148, i32 noundef %141)
  %161 = add i32 %159, %134
  %162 = add i32 %159, %160
  %163 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %161, i32 noundef %154, i32 noundef %147)
  %164 = add i32 %140, -1680079193
  %165 = add i32 %164, %163
  %166 = add i32 %165, %61
  %167 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %162, i32 noundef %155, i32 noundef %148)
  %168 = add i32 %166, %141
  %169 = add i32 %166, %167
  %170 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %168, i32 noundef %161, i32 noundef %154)
  %171 = add i32 %147, -1046744716
  %172 = add i32 %171, %170
  %173 = add i32 %172, %64
  %174 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %169, i32 noundef %162, i32 noundef %155)
  %175 = add i32 %173, %148
  %176 = add i32 %173, %174
  %177 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %22, i32 noundef 7)
  %178 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %22, i32 noundef 18)
  %179 = xor i32 %178, %177
  %180 = lshr i32 %22, 3
  %181 = xor i32 %179, %180
  %182 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %61, i32 noundef 17)
  %183 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %61, i32 noundef 19)
  %184 = xor i32 %183, %182
  %185 = lshr i32 %61, 10
  %186 = xor i32 %184, %185
  %187 = add i32 %46, %19
  %188 = add i32 %187, %181
  %189 = add i32 %188, %186
  %190 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %25, i32 noundef 7)
  %191 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %25, i32 noundef 18)
  %192 = xor i32 %191, %190
  %193 = lshr i32 %25, 3
  %194 = xor i32 %192, %193
  %195 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %64, i32 noundef 17)
  %196 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %64, i32 noundef 19)
  %197 = xor i32 %196, %195
  %198 = lshr i32 %64, 10
  %199 = xor i32 %197, %198
  %200 = add i32 %49, %22
  %201 = add i32 %200, %194
  %202 = add i32 %201, %199
  %203 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %28, i32 noundef 7)
  %204 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %28, i32 noundef 18)
  %205 = xor i32 %204, %203
  %206 = lshr i32 %28, 3
  %207 = xor i32 %205, %206
  %208 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %189, i32 noundef 17)
  %209 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %189, i32 noundef 19)
  %210 = xor i32 %209, %208
  %211 = lshr i32 %189, 10
  %212 = xor i32 %210, %211
  %213 = add i32 %52, %25
  %214 = add i32 %213, %207
  %215 = add i32 %214, %212
  %216 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %31, i32 noundef 7)
  %217 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %31, i32 noundef 18)
  %218 = xor i32 %217, %216
  %219 = lshr i32 %31, 3
  %220 = xor i32 %218, %219
  %221 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %202, i32 noundef 17)
  %222 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %202, i32 noundef 19)
  %223 = xor i32 %222, %221
  %224 = lshr i32 %202, 10
  %225 = xor i32 %223, %224
  %226 = add i32 %55, %28
  %227 = add i32 %226, %220
  %228 = add i32 %227, %225
  %229 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %34, i32 noundef 7)
  %230 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %34, i32 noundef 18)
  %231 = xor i32 %230, %229
  %232 = lshr i32 %34, 3
  %233 = xor i32 %231, %232
  %234 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %215, i32 noundef 17)
  %235 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %215, i32 noundef 19)
  %236 = xor i32 %235, %234
  %237 = lshr i32 %215, 10
  %238 = xor i32 %236, %237
  %239 = add i32 %58, %31
  %240 = add i32 %239, %233
  %241 = add i32 %240, %238
  %242 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %37, i32 noundef 7)
  %243 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %37, i32 noundef 18)
  %244 = xor i32 %243, %242
  %245 = lshr i32 %37, 3
  %246 = xor i32 %244, %245
  %247 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %228, i32 noundef 17)
  %248 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %228, i32 noundef 19)
  %249 = xor i32 %248, %247
  %250 = lshr i32 %228, 10
  %251 = xor i32 %249, %250
  %252 = add i32 %61, %34
  %253 = add i32 %252, %246
  %254 = add i32 %253, %251
  %255 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %40, i32 noundef 7)
  %256 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %40, i32 noundef 18)
  %257 = xor i32 %256, %255
  %258 = lshr i32 %40, 3
  %259 = xor i32 %257, %258
  %260 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %241, i32 noundef 17)
  %261 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %241, i32 noundef 19)
  %262 = xor i32 %261, %260
  %263 = lshr i32 %241, 10
  %264 = xor i32 %262, %263
  %265 = add i32 %64, %37
  %266 = add i32 %265, %259
  %267 = add i32 %266, %264
  %268 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %43, i32 noundef 7)
  %269 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %43, i32 noundef 18)
  %270 = xor i32 %269, %268
  %271 = lshr i32 %43, 3
  %272 = xor i32 %270, %271
  %273 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %254, i32 noundef 17)
  %274 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %254, i32 noundef 19)
  %275 = xor i32 %274, %273
  %276 = lshr i32 %254, 10
  %277 = xor i32 %275, %276
  %278 = add i32 %189, %40
  %279 = add i32 %278, %272
  %280 = add i32 %279, %277
  %281 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %175, i32 noundef %168, i32 noundef %161)
  %282 = add i32 %154, -459576895
  %283 = add i32 %282, %281
  %284 = add i32 %283, %189
  %285 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %176, i32 noundef %169, i32 noundef %162)
  %286 = add i32 %284, %155
  %287 = add i32 %284, %285
  %288 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %286, i32 noundef %175, i32 noundef %168)
  %289 = add i32 %161, -272742522
  %290 = add i32 %289, %288
  %291 = add i32 %290, %202
  %292 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %287, i32 noundef %176, i32 noundef %169)
  %293 = add i32 %291, %162
  %294 = add i32 %291, %292
  %295 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %293, i32 noundef %286, i32 noundef %175)
  %296 = add i32 %168, 264347078
  %297 = add i32 %296, %295
  %298 = add i32 %297, %215
  %299 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %294, i32 noundef %287, i32 noundef %176)
  %300 = add i32 %298, %169
  %301 = add i32 %298, %299
  %302 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %300, i32 noundef %293, i32 noundef %286)
  %303 = add i32 %175, 604807628
  %304 = add i32 %303, %302
  %305 = add i32 %304, %228
  %306 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %301, i32 noundef %294, i32 noundef %287)
  %307 = add i32 %305, %176
  %308 = add i32 %305, %306
  %309 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %307, i32 noundef %300, i32 noundef %293)
  %310 = add i32 %286, 770255983
  %311 = add i32 %310, %309
  %312 = add i32 %311, %241
  %313 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %308, i32 noundef %301, i32 noundef %294)
  %314 = add i32 %312, %287
  %315 = add i32 %312, %313
  %316 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %314, i32 noundef %307, i32 noundef %300)
  %317 = add i32 %293, 1249150122
  %318 = add i32 %317, %316
  %319 = add i32 %318, %254
  %320 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %315, i32 noundef %308, i32 noundef %301)
  %321 = add i32 %319, %294
  %322 = add i32 %319, %320
  %323 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %321, i32 noundef %314, i32 noundef %307)
  %324 = add i32 %300, 1555081692
  %325 = add i32 %324, %323
  %326 = add i32 %325, %267
  %327 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %322, i32 noundef %315, i32 noundef %308)
  %328 = add i32 %326, %301
  %329 = add i32 %326, %327
  %330 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %328, i32 noundef %321, i32 noundef %314)
  %331 = add i32 %307, 1996064986
  %332 = add i32 %331, %330
  %333 = add i32 %332, %280
  %334 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %329, i32 noundef %322, i32 noundef %315)
  %335 = add i32 %333, %308
  %336 = add i32 %333, %334
  %337 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %46, i32 noundef 7)
  %338 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %46, i32 noundef 18)
  %339 = xor i32 %338, %337
  %340 = lshr i32 %46, 3
  %341 = xor i32 %339, %340
  %342 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %267, i32 noundef 17)
  %343 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %267, i32 noundef 19)
  %344 = xor i32 %343, %342
  %345 = lshr i32 %267, 10
  %346 = xor i32 %344, %345
  %347 = add i32 %202, %43
  %348 = add i32 %347, %341
  %349 = add i32 %348, %346
  %350 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %49, i32 noundef 7)
  %351 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %49, i32 noundef 18)
  %352 = xor i32 %351, %350
  %353 = lshr i32 %49, 3
  %354 = xor i32 %352, %353
  %355 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %280, i32 noundef 17)
  %356 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %280, i32 noundef 19)
  %357 = xor i32 %356, %355
  %358 = lshr i32 %280, 10
  %359 = xor i32 %357, %358
  %360 = add i32 %215, %46
  %361 = add i32 %360, %354
  %362 = add i32 %361, %359
  %363 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %52, i32 noundef 7)
  %364 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %52, i32 noundef 18)
  %365 = xor i32 %364, %363
  %366 = lshr i32 %52, 3
  %367 = xor i32 %365, %366
  %368 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %349, i32 noundef 17)
  %369 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %349, i32 noundef 19)
  %370 = xor i32 %369, %368
  %371 = lshr i32 %349, 10
  %372 = xor i32 %370, %371
  %373 = add i32 %228, %49
  %374 = add i32 %373, %367
  %375 = add i32 %374, %372
  %376 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %55, i32 noundef 7)
  %377 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %55, i32 noundef 18)
  %378 = xor i32 %377, %376
  %379 = lshr i32 %55, 3
  %380 = xor i32 %378, %379
  %381 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %362, i32 noundef 17)
  %382 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %362, i32 noundef 19)
  %383 = xor i32 %382, %381
  %384 = lshr i32 %362, 10
  %385 = xor i32 %383, %384
  %386 = add i32 %241, %52
  %387 = add i32 %386, %380
  %388 = add i32 %387, %385
  %389 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %58, i32 noundef 7)
  %390 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %58, i32 noundef 18)
  %391 = xor i32 %390, %389
  %392 = lshr i32 %58, 3
  %393 = xor i32 %391, %392
  %394 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %375, i32 noundef 17)
  %395 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %375, i32 noundef 19)
  %396 = xor i32 %395, %394
  %397 = lshr i32 %375, 10
  %398 = xor i32 %396, %397
  %399 = add i32 %254, %55
  %400 = add i32 %399, %393
  %401 = add i32 %400, %398
  %402 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %61, i32 noundef 7)
  %403 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %61, i32 noundef 18)
  %404 = xor i32 %403, %402
  %405 = lshr i32 %61, 3
  %406 = xor i32 %404, %405
  %407 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %388, i32 noundef 17)
  %408 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %388, i32 noundef 19)
  %409 = xor i32 %408, %407
  %410 = lshr i32 %388, 10
  %411 = xor i32 %409, %410
  %412 = add i32 %267, %58
  %413 = add i32 %412, %406
  %414 = add i32 %413, %411
  %415 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %64, i32 noundef 7)
  %416 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %64, i32 noundef 18)
  %417 = xor i32 %416, %415
  %418 = lshr i32 %64, 3
  %419 = xor i32 %417, %418
  %420 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %401, i32 noundef 17)
  %421 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %401, i32 noundef 19)
  %422 = xor i32 %421, %420
  %423 = lshr i32 %401, 10
  %424 = xor i32 %422, %423
  %425 = add i32 %280, %61
  %426 = add i32 %425, %419
  %427 = add i32 %426, %424
  %428 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %189, i32 noundef 7)
  %429 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %189, i32 noundef 18)
  %430 = xor i32 %429, %428
  %431 = lshr i32 %189, 3
  %432 = xor i32 %430, %431
  %433 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %414, i32 noundef 17)
  %434 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %414, i32 noundef 19)
  %435 = xor i32 %434, %433
  %436 = lshr i32 %414, 10
  %437 = xor i32 %435, %436
  %438 = add i32 %349, %64
  %439 = add i32 %438, %432
  %440 = add i32 %439, %437
  %441 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %335, i32 noundef %328, i32 noundef %321)
  %442 = add i32 %314, -1740746414
  %443 = add i32 %442, %441
  %444 = add i32 %443, %349
  %445 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %336, i32 noundef %329, i32 noundef %322)
  %446 = add i32 %444, %315
  %447 = add i32 %444, %445
  %448 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %446, i32 noundef %335, i32 noundef %328)
  %449 = add i32 %321, -1473132947
  %450 = add i32 %449, %448
  %451 = add i32 %450, %362
  %452 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %447, i32 noundef %336, i32 noundef %329)
  %453 = add i32 %451, %322
  %454 = add i32 %451, %452
  %455 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %453, i32 noundef %446, i32 noundef %335)
  %456 = add i32 %328, -1341970488
  %457 = add i32 %456, %455
  %458 = add i32 %457, %375
  %459 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %454, i32 noundef %447, i32 noundef %336)
  %460 = add i32 %458, %329
  %461 = add i32 %458, %459
  %462 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %460, i32 noundef %453, i32 noundef %446)
  %463 = add i32 %335, -1084653625
  %464 = add i32 %463, %462
  %465 = add i32 %464, %388
  %466 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %461, i32 noundef %454, i32 noundef %447)
  %467 = add i32 %465, %336
  %468 = add i32 %465, %466
  %469 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %467, i32 noundef %460, i32 noundef %453)
  %470 = add i32 %446, -958395405
  %471 = add i32 %470, %469
  %472 = add i32 %471, %401
  %473 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %468, i32 noundef %461, i32 noundef %454)
  %474 = add i32 %472, %447
  %475 = add i32 %472, %473
  %476 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %474, i32 noundef %467, i32 noundef %460)
  %477 = add i32 %453, -710438585
  %478 = add i32 %477, %476
  %479 = add i32 %478, %414
  %480 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %475, i32 noundef %468, i32 noundef %461)
  %481 = add i32 %479, %454
  %482 = add i32 %479, %480
  %483 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %481, i32 noundef %474, i32 noundef %467)
  %484 = add i32 %460, 113926993
  %485 = add i32 %484, %483
  %486 = add i32 %485, %427
  %487 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %482, i32 noundef %475, i32 noundef %468)
  %488 = add i32 %486, %461
  %489 = add i32 %486, %487
  %490 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %488, i32 noundef %481, i32 noundef %474)
  %491 = add i32 %467, 338241895
  %492 = add i32 %491, %490
  %493 = add i32 %492, %440
  %494 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %489, i32 noundef %482, i32 noundef %475)
  %495 = add i32 %493, %468
  %496 = add i32 %493, %494
  %497 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %202, i32 noundef 7)
  %498 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %202, i32 noundef 18)
  %499 = xor i32 %498, %497
  %500 = lshr i32 %202, 3
  %501 = xor i32 %499, %500
  %502 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %427, i32 noundef 17)
  %503 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %427, i32 noundef 19)
  %504 = xor i32 %503, %502
  %505 = lshr i32 %427, 10
  %506 = xor i32 %504, %505
  %507 = add i32 %362, %189
  %508 = add i32 %507, %501
  %509 = add i32 %508, %506
  %510 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %215, i32 noundef 7)
  %511 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %215, i32 noundef 18)
  %512 = xor i32 %511, %510
  %513 = lshr i32 %215, 3
  %514 = xor i32 %512, %513
  %515 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %440, i32 noundef 17)
  %516 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %440, i32 noundef 19)
  %517 = xor i32 %516, %515
  %518 = lshr i32 %440, 10
  %519 = xor i32 %517, %518
  %520 = add i32 %375, %202
  %521 = add i32 %520, %514
  %522 = add i32 %521, %519
  %523 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %228, i32 noundef 7)
  %524 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %228, i32 noundef 18)
  %525 = xor i32 %524, %523
  %526 = lshr i32 %228, 3
  %527 = xor i32 %525, %526
  %528 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %509, i32 noundef 17)
  %529 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %509, i32 noundef 19)
  %530 = xor i32 %529, %528
  %531 = lshr i32 %509, 10
  %532 = xor i32 %530, %531
  %533 = add i32 %388, %215
  %534 = add i32 %533, %527
  %535 = add i32 %534, %532
  %536 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %241, i32 noundef 7)
  %537 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %241, i32 noundef 18)
  %538 = xor i32 %537, %536
  %539 = lshr i32 %241, 3
  %540 = xor i32 %538, %539
  %541 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %522, i32 noundef 17)
  %542 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %522, i32 noundef 19)
  %543 = xor i32 %542, %541
  %544 = lshr i32 %522, 10
  %545 = xor i32 %543, %544
  %546 = add i32 %401, %228
  %547 = add i32 %546, %540
  %548 = add i32 %547, %545
  %549 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %254, i32 noundef 7)
  %550 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %254, i32 noundef 18)
  %551 = xor i32 %550, %549
  %552 = lshr i32 %254, 3
  %553 = xor i32 %551, %552
  %554 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %535, i32 noundef 17)
  %555 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %535, i32 noundef 19)
  %556 = xor i32 %555, %554
  %557 = lshr i32 %535, 10
  %558 = xor i32 %556, %557
  %559 = add i32 %414, %241
  %560 = add i32 %559, %553
  %561 = add i32 %560, %558
  %562 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %267, i32 noundef 7)
  %563 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %267, i32 noundef 18)
  %564 = xor i32 %563, %562
  %565 = lshr i32 %267, 3
  %566 = xor i32 %564, %565
  %567 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %548, i32 noundef 17)
  %568 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %548, i32 noundef 19)
  %569 = xor i32 %568, %567
  %570 = lshr i32 %548, 10
  %571 = xor i32 %569, %570
  %572 = add i32 %427, %254
  %573 = add i32 %572, %566
  %574 = add i32 %573, %571
  %575 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %280, i32 noundef 7)
  %576 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %280, i32 noundef 18)
  %577 = xor i32 %576, %575
  %578 = lshr i32 %280, 3
  %579 = xor i32 %577, %578
  %580 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %561, i32 noundef 17)
  %581 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %561, i32 noundef 19)
  %582 = xor i32 %581, %580
  %583 = lshr i32 %561, 10
  %584 = xor i32 %582, %583
  %585 = add i32 %440, %267
  %586 = add i32 %585, %579
  %587 = add i32 %586, %584
  %588 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %349, i32 noundef 7)
  %589 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %349, i32 noundef 18)
  %590 = xor i32 %589, %588
  %591 = lshr i32 %349, 3
  %592 = xor i32 %590, %591
  %593 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %574, i32 noundef 17)
  %594 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %574, i32 noundef 19)
  %595 = xor i32 %594, %593
  %596 = lshr i32 %574, 10
  %597 = xor i32 %595, %596
  %598 = add i32 %509, %280
  %599 = add i32 %598, %592
  %600 = add i32 %599, %597
  %601 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %495, i32 noundef %488, i32 noundef %481)
  %602 = add i32 %474, 666307205
  %603 = add i32 %602, %601
  %604 = add i32 %603, %509
  %605 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %496, i32 noundef %489, i32 noundef %482)
  %606 = add i32 %604, %475
  %607 = add i32 %604, %605
  %608 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %606, i32 noundef %495, i32 noundef %488)
  %609 = add i32 %481, 773529912
  %610 = add i32 %609, %608
  %611 = add i32 %610, %522
  %612 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %607, i32 noundef %496, i32 noundef %489)
  %613 = add i32 %611, %482
  %614 = add i32 %611, %612
  %615 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %613, i32 noundef %606, i32 noundef %495)
  %616 = add i32 %488, 1294757372
  %617 = add i32 %616, %615
  %618 = add i32 %617, %535
  %619 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %614, i32 noundef %607, i32 noundef %496)
  %620 = add i32 %618, %489
  %621 = add i32 %618, %619
  %622 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %620, i32 noundef %613, i32 noundef %606)
  %623 = add i32 %495, 1396182291
  %624 = add i32 %623, %622
  %625 = add i32 %624, %548
  %626 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %621, i32 noundef %614, i32 noundef %607)
  %627 = add i32 %625, %496
  %628 = add i32 %625, %626
  %629 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %627, i32 noundef %620, i32 noundef %613)
  %630 = add i32 %606, 1695183700
  %631 = add i32 %630, %629
  %632 = add i32 %631, %561
  %633 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %628, i32 noundef %621, i32 noundef %614)
  %634 = add i32 %632, %607
  %635 = add i32 %632, %633
  %636 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %634, i32 noundef %627, i32 noundef %620)
  %637 = add i32 %613, 1986661051
  %638 = add i32 %637, %636
  %639 = add i32 %638, %574
  %640 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %635, i32 noundef %628, i32 noundef %621)
  %641 = add i32 %639, %614
  %642 = add i32 %639, %640
  %643 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %641, i32 noundef %634, i32 noundef %627)
  %644 = add i32 %620, -2117940946
  %645 = add i32 %644, %643
  %646 = add i32 %645, %587
  %647 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %642, i32 noundef %635, i32 noundef %628)
  %648 = add i32 %646, %621
  %649 = add i32 %646, %647
  %650 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %648, i32 noundef %641, i32 noundef %634)
  %651 = add i32 %627, -1838011259
  %652 = add i32 %651, %650
  %653 = add i32 %652, %600
  %654 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %649, i32 noundef %642, i32 noundef %635)
  %655 = add i32 %653, %628
  %656 = add i32 %653, %654
  %657 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %362, i32 noundef 7)
  %658 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %362, i32 noundef 18)
  %659 = xor i32 %658, %657
  %660 = lshr i32 %362, 3
  %661 = xor i32 %659, %660
  %662 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %587, i32 noundef 17)
  %663 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %587, i32 noundef 19)
  %664 = xor i32 %663, %662
  %665 = lshr i32 %587, 10
  %666 = xor i32 %664, %665
  %667 = add i32 %522, %349
  %668 = add i32 %667, %661
  %669 = add i32 %668, %666
  %670 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %375, i32 noundef 7)
  %671 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %375, i32 noundef 18)
  %672 = xor i32 %671, %670
  %673 = lshr i32 %375, 3
  %674 = xor i32 %672, %673
  %675 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %600, i32 noundef 17)
  %676 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %600, i32 noundef 19)
  %677 = xor i32 %676, %675
  %678 = lshr i32 %600, 10
  %679 = xor i32 %677, %678
  %680 = add i32 %535, %362
  %681 = add i32 %680, %674
  %682 = add i32 %681, %679
  %683 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %388, i32 noundef 7)
  %684 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %388, i32 noundef 18)
  %685 = xor i32 %684, %683
  %686 = lshr i32 %388, 3
  %687 = xor i32 %685, %686
  %688 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %669, i32 noundef 17)
  %689 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %669, i32 noundef 19)
  %690 = xor i32 %689, %688
  %691 = lshr i32 %669, 10
  %692 = xor i32 %690, %691
  %693 = add i32 %548, %375
  %694 = add i32 %693, %687
  %695 = add i32 %694, %692
  %696 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %401, i32 noundef 7)
  %697 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %401, i32 noundef 18)
  %698 = xor i32 %697, %696
  %699 = lshr i32 %401, 3
  %700 = xor i32 %698, %699
  %701 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %682, i32 noundef 17)
  %702 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %682, i32 noundef 19)
  %703 = xor i32 %702, %701
  %704 = lshr i32 %682, 10
  %705 = xor i32 %703, %704
  %706 = add i32 %561, %388
  %707 = add i32 %706, %700
  %708 = add i32 %707, %705
  %709 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %414, i32 noundef 7)
  %710 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %414, i32 noundef 18)
  %711 = xor i32 %710, %709
  %712 = lshr i32 %414, 3
  %713 = xor i32 %711, %712
  %714 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %695, i32 noundef 17)
  %715 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %695, i32 noundef 19)
  %716 = xor i32 %715, %714
  %717 = lshr i32 %695, 10
  %718 = xor i32 %716, %717
  %719 = add i32 %574, %401
  %720 = add i32 %719, %713
  %721 = add i32 %720, %718
  %722 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %427, i32 noundef 7)
  %723 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %427, i32 noundef 18)
  %724 = xor i32 %723, %722
  %725 = lshr i32 %427, 3
  %726 = xor i32 %724, %725
  %727 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %708, i32 noundef 17)
  %728 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %708, i32 noundef 19)
  %729 = xor i32 %728, %727
  %730 = lshr i32 %708, 10
  %731 = xor i32 %729, %730
  %732 = add i32 %587, %414
  %733 = add i32 %732, %726
  %734 = add i32 %733, %731
  %735 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %440, i32 noundef 7)
  %736 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %440, i32 noundef 18)
  %737 = xor i32 %736, %735
  %738 = lshr i32 %440, 3
  %739 = xor i32 %737, %738
  %740 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %721, i32 noundef 17)
  %741 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %721, i32 noundef 19)
  %742 = xor i32 %741, %740
  %743 = lshr i32 %721, 10
  %744 = xor i32 %742, %743
  %745 = add i32 %600, %427
  %746 = add i32 %745, %739
  %747 = add i32 %746, %744
  %748 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %509, i32 noundef 7)
  %749 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %509, i32 noundef 18)
  %750 = xor i32 %749, %748
  %751 = lshr i32 %509, 3
  %752 = xor i32 %750, %751
  %753 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %734, i32 noundef 17)
  %754 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %734, i32 noundef 19)
  %755 = xor i32 %754, %753
  %756 = lshr i32 %734, 10
  %757 = xor i32 %755, %756
  %758 = add i32 %669, %440
  %759 = add i32 %758, %752
  %760 = add i32 %759, %757
  %761 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %655, i32 noundef %648, i32 noundef %641)
  %762 = add i32 %634, -1564481375
  %763 = add i32 %762, %761
  %764 = add i32 %763, %669
  %765 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %656, i32 noundef %649, i32 noundef %642)
  %766 = add i32 %764, %635
  %767 = add i32 %764, %765
  %768 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %766, i32 noundef %655, i32 noundef %648)
  %769 = add i32 %641, -1474664885
  %770 = add i32 %769, %768
  %771 = add i32 %770, %682
  %772 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %767, i32 noundef %656, i32 noundef %649)
  %773 = add i32 %771, %642
  %774 = add i32 %771, %772
  %775 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %773, i32 noundef %766, i32 noundef %655)
  %776 = add i32 %648, -1035236496
  %777 = add i32 %776, %775
  %778 = add i32 %777, %695
  %779 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %774, i32 noundef %767, i32 noundef %656)
  %780 = add i32 %778, %649
  %781 = add i32 %778, %779
  %782 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %780, i32 noundef %773, i32 noundef %766)
  %783 = add i32 %655, -949202525
  %784 = add i32 %783, %782
  %785 = add i32 %784, %708
  %786 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %781, i32 noundef %774, i32 noundef %767)
  %787 = add i32 %785, %656
  %788 = add i32 %785, %786
  %789 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %787, i32 noundef %780, i32 noundef %773)
  %790 = add i32 %766, -778901479
  %791 = add i32 %790, %789
  %792 = add i32 %791, %721
  %793 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %788, i32 noundef %781, i32 noundef %774)
  %794 = add i32 %792, %767
  %795 = add i32 %792, %793
  %796 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %794, i32 noundef %787, i32 noundef %780)
  %797 = add i32 %773, -694614492
  %798 = add i32 %797, %796
  %799 = add i32 %798, %734
  %800 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %795, i32 noundef %788, i32 noundef %781)
  %801 = add i32 %799, %774
  %802 = add i32 %799, %800
  %803 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %801, i32 noundef %794, i32 noundef %787)
  %804 = add i32 %780, -200395387
  %805 = add i32 %804, %803
  %806 = add i32 %805, %747
  %807 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %802, i32 noundef %795, i32 noundef %788)
  %808 = add i32 %806, %781
  %809 = add i32 %806, %807
  %810 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %808, i32 noundef %801, i32 noundef %794)
  %811 = add i32 %787, 275423344
  %812 = add i32 %811, %810
  %813 = add i32 %812, %760
  %814 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %809, i32 noundef %802, i32 noundef %795)
  %815 = add i32 %813, %788
  %816 = add i32 %813, %814
  %817 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %522, i32 noundef 7)
  %818 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %522, i32 noundef 18)
  %819 = xor i32 %818, %817
  %820 = lshr i32 %522, 3
  %821 = xor i32 %819, %820
  %822 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %747, i32 noundef 17)
  %823 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %747, i32 noundef 19)
  %824 = xor i32 %823, %822
  %825 = lshr i32 %747, 10
  %826 = xor i32 %824, %825
  %827 = add i32 %682, %509
  %828 = add i32 %827, %821
  %829 = add i32 %828, %826
  %830 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %535, i32 noundef 7)
  %831 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %535, i32 noundef 18)
  %832 = xor i32 %831, %830
  %833 = lshr i32 %535, 3
  %834 = xor i32 %832, %833
  %835 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %760, i32 noundef 17)
  %836 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %760, i32 noundef 19)
  %837 = xor i32 %836, %835
  %838 = lshr i32 %760, 10
  %839 = xor i32 %837, %838
  %840 = add i32 %695, %522
  %841 = add i32 %840, %834
  %842 = add i32 %841, %839
  %843 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %548, i32 noundef 7)
  %844 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %548, i32 noundef 18)
  %845 = xor i32 %844, %843
  %846 = lshr i32 %548, 3
  %847 = xor i32 %845, %846
  %848 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %829, i32 noundef 17)
  %849 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %829, i32 noundef 19)
  %850 = xor i32 %849, %848
  %851 = lshr i32 %829, 10
  %852 = xor i32 %850, %851
  %853 = add i32 %708, %535
  %854 = add i32 %853, %847
  %855 = add i32 %854, %852
  %856 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %561, i32 noundef 7)
  %857 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %561, i32 noundef 18)
  %858 = xor i32 %857, %856
  %859 = lshr i32 %561, 3
  %860 = xor i32 %858, %859
  %861 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %842, i32 noundef 17)
  %862 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %842, i32 noundef 19)
  %863 = xor i32 %862, %861
  %864 = lshr i32 %842, 10
  %865 = xor i32 %863, %864
  %866 = add i32 %721, %548
  %867 = add i32 %866, %860
  %868 = add i32 %867, %865
  %869 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %574, i32 noundef 7)
  %870 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %574, i32 noundef 18)
  %871 = xor i32 %870, %869
  %872 = lshr i32 %574, 3
  %873 = xor i32 %871, %872
  %874 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %855, i32 noundef 17)
  %875 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %855, i32 noundef 19)
  %876 = xor i32 %875, %874
  %877 = lshr i32 %855, 10
  %878 = xor i32 %876, %877
  %879 = add i32 %734, %561
  %880 = add i32 %879, %873
  %881 = add i32 %880, %878
  %882 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %587, i32 noundef 7)
  %883 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %587, i32 noundef 18)
  %884 = xor i32 %883, %882
  %885 = lshr i32 %587, 3
  %886 = xor i32 %884, %885
  %887 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %868, i32 noundef 17)
  %888 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %868, i32 noundef 19)
  %889 = xor i32 %888, %887
  %890 = lshr i32 %868, 10
  %891 = xor i32 %889, %890
  %892 = add i32 %747, %574
  %893 = add i32 %892, %886
  %894 = add i32 %893, %891
  %895 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %600, i32 noundef 7)
  %896 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %600, i32 noundef 18)
  %897 = xor i32 %896, %895
  %898 = lshr i32 %600, 3
  %899 = xor i32 %897, %898
  %900 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %881, i32 noundef 17)
  %901 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %881, i32 noundef 19)
  %902 = xor i32 %901, %900
  %903 = lshr i32 %881, 10
  %904 = xor i32 %902, %903
  %905 = add i32 %760, %587
  %906 = add i32 %905, %899
  %907 = add i32 %906, %904
  %908 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %669, i32 noundef 7)
  %909 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %669, i32 noundef 18)
  %910 = xor i32 %909, %908
  %911 = lshr i32 %669, 3
  %912 = xor i32 %910, %911
  %913 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %894, i32 noundef 17)
  %914 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %894, i32 noundef 19)
  %915 = xor i32 %914, %913
  %916 = lshr i32 %894, 10
  %917 = xor i32 %915, %916
  %918 = add i32 %829, %600
  %919 = add i32 %918, %912
  %920 = add i32 %919, %917
  %921 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %815, i32 noundef %808, i32 noundef %801)
  %922 = add i32 %794, 430227734
  %923 = add i32 %922, %921
  %924 = add i32 %923, %829
  %925 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %816, i32 noundef %809, i32 noundef %802)
  %926 = add i32 %924, %795
  %927 = add i32 %924, %925
  %928 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %926, i32 noundef %815, i32 noundef %808)
  %929 = add i32 %801, 506948616
  %930 = add i32 %929, %928
  %931 = add i32 %930, %842
  %932 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %927, i32 noundef %816, i32 noundef %809)
  %933 = add i32 %931, %802
  %934 = add i32 %931, %932
  %935 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %933, i32 noundef %926, i32 noundef %815)
  %936 = add i32 %808, 659060556
  %937 = add i32 %936, %935
  %938 = add i32 %937, %855
  %939 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %934, i32 noundef %927, i32 noundef %816)
  %940 = add i32 %938, %809
  %941 = add i32 %938, %939
  %942 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %940, i32 noundef %933, i32 noundef %926)
  %943 = add i32 %815, 883997877
  %944 = add i32 %943, %942
  %945 = add i32 %944, %868
  %946 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %941, i32 noundef %934, i32 noundef %927)
  %947 = add i32 %945, %816
  %948 = add i32 %945, %946
  %949 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %947, i32 noundef %940, i32 noundef %933)
  %950 = add i32 %926, 958139571
  %951 = add i32 %950, %949
  %952 = add i32 %951, %881
  %953 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %948, i32 noundef %941, i32 noundef %934)
  %954 = add i32 %952, %927
  %955 = add i32 %952, %953
  %956 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %954, i32 noundef %947, i32 noundef %940)
  %957 = add i32 %933, 1322822218
  %958 = add i32 %957, %956
  %959 = add i32 %958, %894
  %960 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %955, i32 noundef %948, i32 noundef %941)
  %961 = add i32 %959, %934
  %962 = add i32 %959, %960
  %963 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %961, i32 noundef %954, i32 noundef %947)
  %964 = add i32 %940, 1537002063
  %965 = add i32 %964, %963
  %966 = add i32 %965, %907
  %967 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %962, i32 noundef %955, i32 noundef %948)
  %968 = add i32 %966, %941
  %969 = add i32 %966, %967
  %970 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %968, i32 noundef %961, i32 noundef %954)
  %971 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %969, i32 noundef %962, i32 noundef %955)
  %972 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %682, i32 noundef 7)
  %973 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %682, i32 noundef 18)
  %974 = xor i32 %973, %972
  %975 = lshr i32 %682, 3
  %976 = xor i32 %974, %975
  %977 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %907, i32 noundef 17)
  %978 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %907, i32 noundef 19)
  %979 = xor i32 %978, %977
  %980 = lshr i32 %907, 10
  %981 = xor i32 %979, %980
  %982 = add i32 %842, %669
  %983 = add i32 %982, %976
  %984 = add i32 %983, %981
  %985 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %695, i32 noundef 7)
  %986 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %695, i32 noundef 18)
  %987 = xor i32 %986, %985
  %988 = lshr i32 %695, 3
  %989 = xor i32 %987, %988
  %990 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %920, i32 noundef 17)
  %991 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %920, i32 noundef 19)
  %992 = xor i32 %991, %990
  %993 = lshr i32 %920, 10
  %994 = xor i32 %992, %993
  %995 = add i32 %855, %682
  %996 = add i32 %995, %989
  %997 = add i32 %996, %994
  %998 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %708, i32 noundef 7)
  %999 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %708, i32 noundef 18)
  %1000 = xor i32 %999, %998
  %1001 = lshr i32 %708, 3
  %1002 = xor i32 %1000, %1001
  %1003 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %984, i32 noundef 17)
  %1004 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %984, i32 noundef 19)
  %1005 = xor i32 %1004, %1003
  %1006 = lshr i32 %984, 10
  %1007 = xor i32 %1005, %1006
  %1008 = add i32 %868, %695
  %1009 = add i32 %1008, %1002
  %1010 = add i32 %1009, %1007
  %1011 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %721, i32 noundef 7)
  %1012 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %721, i32 noundef 18)
  %1013 = xor i32 %1012, %1011
  %1014 = lshr i32 %721, 3
  %1015 = xor i32 %1013, %1014
  %1016 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %997, i32 noundef 17)
  %1017 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %997, i32 noundef 19)
  %1018 = xor i32 %1017, %1016
  %1019 = lshr i32 %997, 10
  %1020 = xor i32 %1018, %1019
  %1021 = add i32 %881, %708
  %1022 = add i32 %1021, %1015
  %1023 = add i32 %1022, %1020
  %1024 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %734, i32 noundef 7)
  %1025 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %734, i32 noundef 18)
  %1026 = xor i32 %1025, %1024
  %1027 = lshr i32 %734, 3
  %1028 = xor i32 %1026, %1027
  %1029 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1010, i32 noundef 17)
  %1030 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1010, i32 noundef 19)
  %1031 = xor i32 %1030, %1029
  %1032 = lshr i32 %1010, 10
  %1033 = xor i32 %1031, %1032
  %1034 = add i32 %894, %721
  %1035 = add i32 %1034, %1028
  %1036 = add i32 %1035, %1033
  %1037 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %747, i32 noundef 7)
  %1038 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %747, i32 noundef 18)
  %1039 = xor i32 %1038, %1037
  %1040 = lshr i32 %747, 3
  %1041 = xor i32 %1039, %1040
  %1042 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1023, i32 noundef 17)
  %1043 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1023, i32 noundef 19)
  %1044 = xor i32 %1043, %1042
  %1045 = lshr i32 %1023, 10
  %1046 = xor i32 %1044, %1045
  %1047 = add i32 %907, %734
  %1048 = add i32 %1047, %1041
  %1049 = add i32 %1048, %1046
  %1050 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %760, i32 noundef 7)
  %1051 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %760, i32 noundef 18)
  %1052 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1036, i32 noundef 17)
  %1053 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1036, i32 noundef 19)
  %1054 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %829, i32 noundef 7)
  %1055 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %829, i32 noundef 18)
  %1056 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1049, i32 noundef 17)
  %1057 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef %1049, i32 noundef 19)
  %1058 = add i32 %984, %760
  %1059 = xor i32 %1055, %1054
  %1060 = lshr i32 %829, 3
  %1061 = xor i32 %1059, %1060
  %1062 = add i32 %1058, %1061
  %1063 = xor i32 %1057, %1056
  %1064 = lshr i32 %1049, 10
  %1065 = xor i32 %1063, %1064
  %1066 = add i32 %1062, %1065
  %1067 = add i32 %920, %747
  %1068 = xor i32 %1051, %1050
  %1069 = lshr i32 %760, 3
  %1070 = xor i32 %1068, %1069
  %1071 = add i32 %1067, %1070
  %1072 = xor i32 %1053, %1052
  %1073 = lshr i32 %1036, 10
  %1074 = xor i32 %1072, %1073
  %1075 = add i32 %1071, %1074
  %1076 = add i32 %947, 1747873779
  %1077 = add i32 %1076, %970
  %1078 = add i32 %1077, %920
  %1079 = add i32 %1078, %971
  %1080 = add i32 %1078, %948
  %1081 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1080, i32 noundef %968, i32 noundef %961)
  %1082 = add i32 %954, 1955562222
  %1083 = add i32 %1082, %1081
  %1084 = add i32 %1083, %984
  %1085 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1079, i32 noundef %969, i32 noundef %962)
  %1086 = add i32 %1084, %955
  %1087 = add i32 %1084, %1085
  %1088 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1086, i32 noundef %1080, i32 noundef %968)
  %1089 = add i32 %961, 2024104815
  %1090 = add i32 %1089, %1088
  %1091 = add i32 %1090, %997
  %1092 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1087, i32 noundef %1079, i32 noundef %969)
  %1093 = add i32 %1091, %962
  %1094 = add i32 %1091, %1092
  %1095 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1093, i32 noundef %1086, i32 noundef %1080)
  %1096 = add i32 %968, -2067236844
  %1097 = add i32 %1096, %1095
  %1098 = add i32 %1097, %1010
  %1099 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1094, i32 noundef %1087, i32 noundef %1079)
  %1100 = add i32 %1098, %969
  %1101 = add i32 %1098, %1099
  %1102 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1100, i32 noundef %1093, i32 noundef %1086)
  %1103 = add i32 %1080, -1933114872
  %1104 = add i32 %1103, %1102
  %1105 = add i32 %1104, %1023
  %1106 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1101, i32 noundef %1094, i32 noundef %1087)
  %1107 = add i32 %1105, %1079
  %1108 = add i32 %1105, %1106
  %1109 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1107, i32 noundef %1100, i32 noundef %1093)
  %1110 = add i32 %1086, -1866530822
  %1111 = add i32 %1110, %1109
  %1112 = add i32 %1111, %1036
  %1113 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1108, i32 noundef %1101, i32 noundef %1094)
  %1114 = add i32 %1093, -1538233109
  %1115 = add i32 %1100, -1090935817
  %1116 = add i32 %1107, -965641998
  %1117 = add i32 %1112, %1113
  %1118 = add i32 %1112, %1087
  %1119 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1118, i32 noundef %1107, i32 noundef %1100)
  %1120 = add i32 %1114, %1119
  %1121 = add i32 %1120, %1049
  %1122 = add i32 %1121, %1094
  %1123 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1117, i32 noundef %1108, i32 noundef %1101)
  %1124 = add i32 %1121, %1123
  %1125 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1122, i32 noundef %1118, i32 noundef %1107)
  %1126 = add i32 %1115, %1125
  %1127 = add i32 %1126, %1075
  %1128 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1124, i32 noundef %1117, i32 noundef %1108)
  %1129 = add i32 %1127, %1101
  %1130 = add i32 %1127, %1128
  %1131 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef %1129, i32 noundef %1122, i32 noundef %1118)
  %1132 = add i32 %1116, %1131
  %1133 = add i32 %1132, %1066
  %1134 = tail call noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef %1130, i32 noundef %1124, i32 noundef %1117)
  %1135 = add i32 %1133, %1108
  %1136 = add i32 %1133, %1134
  %1137 = load <4 x i32>, ptr %2, align 8, !tbaa !5
  %1138 = insertelement <4 x i32> poison, i32 %1136, i64 0
  %1139 = insertelement <4 x i32> %1138, i32 %1130, i64 1
  %1140 = insertelement <4 x i32> %1139, i32 %1124, i64 2
  %1141 = insertelement <4 x i32> %1140, i32 %1117, i64 3
  %1142 = add <4 x i32> %1141, %1137
  store <4 x i32> %1142, ptr %2, align 8, !tbaa !5
  %1143 = load <4 x i32>, ptr %10, align 8, !tbaa !5
  %1144 = insertelement <4 x i32> poison, i32 %1135, i64 0
  %1145 = insertelement <4 x i32> %1144, i32 %1129, i64 1
  %1146 = insertelement <4 x i32> %1145, i32 %1122, i64 2
  %1147 = insertelement <4 x i32> %1146, i32 %1118, i64 3
  %1148 = add <4 x i32> %1147, %1143
  store <4 x i32> %1148, ptr %10, align 8, !tbaa !5
  ret void
}

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @_ZN8hashcash12_GLOBAL__N_14swapEj(i32 noundef) local_unnamed_addr #1

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef i32 @_ZN8hashcash12_GLOBAL__N_12f1Ejjj(i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef i32 @_ZN8hashcash12_GLOBAL__N_12f2Ejjj(i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @_ZN8hashcash12_GLOBAL__N_16rotateEjj(i32 noundef, i32 noundef) local_unnamed_addr #1

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LCSSAPass,LoopRotatePass,LoopSimplifyPass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass