; LLVM IR from chronokings/huntercoin :: src/cryptopp/sha.ll (ZN8CryptoPP6SHA5129TransformEPyPKy)

; 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"

@_ZN8CryptoPPL8SHA512_KE = external hidden constant [80 x i64], align 16

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

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN8CryptoPP6SHA5129TransformEPyPKy(ptr noundef %0, ptr noundef %1) #2 align 2 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca [16 x i64], align 16
  %6 = alloca [8 x i64], align 16
  %7 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 128, ptr %5) #4
  call void @llvm.lifetime.start.p0(i64 64, ptr %6) #4
  %8 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %9 = load ptr, ptr %3, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %8, ptr align 8 %9, i64 64, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #4
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %10

10:                                               ; preds = %1711, %2
  %11 = load i32, ptr %7, align 4, !tbaa !9
  %12 = icmp ult i32 %11, 80
  br i1 %12, label %14, label %13

13:                                               ; preds = %10
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #4
  br label %1714

14:                                               ; preds = %10
  %15 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %16 = load i64, ptr %15, align 16, !tbaa !11
  %17 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %16, i32 noundef 14)
  %18 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %19 = load i64, ptr %18, align 16, !tbaa !11
  %20 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %19, i32 noundef 18)
  %21 = xor i64 %17, %20
  %22 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %23 = load i64, ptr %22, align 16, !tbaa !11
  %24 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %23, i32 noundef 41)
  %25 = xor i64 %21, %24
  %26 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %27 = load i64, ptr %26, align 16, !tbaa !11
  %28 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %29 = load i64, ptr %28, align 16, !tbaa !11
  %30 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %31 = load i64, ptr %30, align 8, !tbaa !11
  %32 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %33 = load i64, ptr %32, align 16, !tbaa !11
  %34 = xor i64 %31, %33
  %35 = and i64 %29, %34
  %36 = xor i64 %27, %35
  %37 = add i64 %25, %36
  %38 = load i32, ptr %7, align 4, !tbaa !9
  %39 = add i32 0, %38
  %40 = zext i32 %39 to i64
  %41 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %40
  %42 = load i64, ptr %41, align 8, !tbaa !11
  %43 = add i64 %37, %42
  %44 = load i32, ptr %7, align 4, !tbaa !9
  %45 = icmp ne i32 %44, 0
  br i1 %45, label %46, label %76

46:                                               ; preds = %14
  %47 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 14
  %48 = load i64, ptr %47, align 16, !tbaa !11
  %49 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %48, i32 noundef 19)
  %50 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 14
  %51 = load i64, ptr %50, align 16, !tbaa !11
  %52 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %51, i32 noundef 61)
  %53 = xor i64 %49, %52
  %54 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 14
  %55 = load i64, ptr %54, align 16, !tbaa !11
  %56 = lshr i64 %55, 6
  %57 = xor i64 %53, %56
  %58 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 9
  %59 = load i64, ptr %58, align 8, !tbaa !11
  %60 = add i64 %57, %59
  %61 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 1
  %62 = load i64, ptr %61, align 8, !tbaa !11
  %63 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %62, i32 noundef 1)
  %64 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 1
  %65 = load i64, ptr %64, align 8, !tbaa !11
  %66 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %65, i32 noundef 8)
  %67 = xor i64 %63, %66
  %68 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 1
  %69 = load i64, ptr %68, align 8, !tbaa !11
  %70 = lshr i64 %69, 7
  %71 = xor i64 %67, %70
  %72 = add i64 %60, %71
  %73 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 0
  %74 = load i64, ptr %73, align 16, !tbaa !11
  %75 = add i64 %74, %72
  store i64 %75, ptr %73, align 16, !tbaa !11
  br label %81

76:                                               ; preds = %14
  %77 = load ptr, ptr %4, align 8, !tbaa !5
  %78 = getelementptr inbounds i64, ptr %77, i64 0
  %79 = load i64, ptr %78, align 8, !tbaa !11
  %80 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 0
  store i64 %79, ptr %80, align 16, !tbaa !11
  br label %81

81:                                               ; preds = %76, %46
  %82 = phi i64 [ %75, %46 ], [ %79, %76 ]
  %83 = add i64 %43, %82
  %84 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %85 = load i64, ptr %84, align 8, !tbaa !11
  %86 = add i64 %85, %83
  store i64 %86, ptr %84, align 8, !tbaa !11
  %87 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %88 = load i64, ptr %87, align 8, !tbaa !11
  %89 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %90 = load i64, ptr %89, align 8, !tbaa !11
  %91 = add i64 %90, %88
  store i64 %91, ptr %89, align 8, !tbaa !11
  %92 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %93 = load i64, ptr %92, align 16, !tbaa !11
  %94 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %93, i32 noundef 28)
  %95 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %96 = load i64, ptr %95, align 16, !tbaa !11
  %97 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %96, i32 noundef 34)
  %98 = xor i64 %94, %97
  %99 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %100 = load i64, ptr %99, align 16, !tbaa !11
  %101 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %100, i32 noundef 39)
  %102 = xor i64 %98, %101
  %103 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %104 = load i64, ptr %103, align 8, !tbaa !11
  %105 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %106 = load i64, ptr %105, align 16, !tbaa !11
  %107 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %108 = load i64, ptr %107, align 8, !tbaa !11
  %109 = xor i64 %106, %108
  %110 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %111 = load i64, ptr %110, align 8, !tbaa !11
  %112 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %113 = load i64, ptr %112, align 16, !tbaa !11
  %114 = xor i64 %111, %113
  %115 = and i64 %109, %114
  %116 = xor i64 %104, %115
  %117 = add i64 %102, %116
  %118 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %119 = load i64, ptr %118, align 8, !tbaa !11
  %120 = add i64 %119, %117
  store i64 %120, ptr %118, align 8, !tbaa !11
  %121 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %122 = load i64, ptr %121, align 8, !tbaa !11
  %123 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %122, i32 noundef 14)
  %124 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %125 = load i64, ptr %124, align 8, !tbaa !11
  %126 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %125, i32 noundef 18)
  %127 = xor i64 %123, %126
  %128 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %129 = load i64, ptr %128, align 8, !tbaa !11
  %130 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %129, i32 noundef 41)
  %131 = xor i64 %127, %130
  %132 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %133 = load i64, ptr %132, align 8, !tbaa !11
  %134 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %135 = load i64, ptr %134, align 8, !tbaa !11
  %136 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %137 = load i64, ptr %136, align 16, !tbaa !11
  %138 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %139 = load i64, ptr %138, align 8, !tbaa !11
  %140 = xor i64 %137, %139
  %141 = and i64 %135, %140
  %142 = xor i64 %133, %141
  %143 = add i64 %131, %142
  %144 = load i32, ptr %7, align 4, !tbaa !9
  %145 = add i32 1, %144
  %146 = zext i32 %145 to i64
  %147 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %146
  %148 = load i64, ptr %147, align 8, !tbaa !11
  %149 = add i64 %143, %148
  %150 = load i32, ptr %7, align 4, !tbaa !9
  %151 = icmp ne i32 %150, 0
  br i1 %151, label %152, label %182

152:                                              ; preds = %81
  %153 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 15
  %154 = load i64, ptr %153, align 8, !tbaa !11
  %155 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %154, i32 noundef 19)
  %156 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 15
  %157 = load i64, ptr %156, align 8, !tbaa !11
  %158 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %157, i32 noundef 61)
  %159 = xor i64 %155, %158
  %160 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 15
  %161 = load i64, ptr %160, align 8, !tbaa !11
  %162 = lshr i64 %161, 6
  %163 = xor i64 %159, %162
  %164 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 10
  %165 = load i64, ptr %164, align 16, !tbaa !11
  %166 = add i64 %163, %165
  %167 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 2
  %168 = load i64, ptr %167, align 16, !tbaa !11
  %169 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %168, i32 noundef 1)
  %170 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 2
  %171 = load i64, ptr %170, align 16, !tbaa !11
  %172 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %171, i32 noundef 8)
  %173 = xor i64 %169, %172
  %174 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 2
  %175 = load i64, ptr %174, align 16, !tbaa !11
  %176 = lshr i64 %175, 7
  %177 = xor i64 %173, %176
  %178 = add i64 %166, %177
  %179 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 1
  %180 = load i64, ptr %179, align 8, !tbaa !11
  %181 = add i64 %180, %178
  store i64 %181, ptr %179, align 8, !tbaa !11
  br label %187

182:                                              ; preds = %81
  %183 = load ptr, ptr %4, align 8, !tbaa !5
  %184 = getelementptr inbounds i64, ptr %183, i64 1
  %185 = load i64, ptr %184, align 8, !tbaa !11
  %186 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 1
  store i64 %185, ptr %186, align 8, !tbaa !11
  br label %187

187:                                              ; preds = %182, %152
  %188 = phi i64 [ %181, %152 ], [ %185, %182 ]
  %189 = add i64 %149, %188
  %190 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %191 = load i64, ptr %190, align 16, !tbaa !11
  %192 = add i64 %191, %189
  store i64 %192, ptr %190, align 16, !tbaa !11
  %193 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %194 = load i64, ptr %193, align 16, !tbaa !11
  %195 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %196 = load i64, ptr %195, align 16, !tbaa !11
  %197 = add i64 %196, %194
  store i64 %197, ptr %195, align 16, !tbaa !11
  %198 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %199 = load i64, ptr %198, align 8, !tbaa !11
  %200 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %199, i32 noundef 28)
  %201 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %202 = load i64, ptr %201, align 8, !tbaa !11
  %203 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %202, i32 noundef 34)
  %204 = xor i64 %200, %203
  %205 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %206 = load i64, ptr %205, align 8, !tbaa !11
  %207 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %206, i32 noundef 39)
  %208 = xor i64 %204, %207
  %209 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %210 = load i64, ptr %209, align 16, !tbaa !11
  %211 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %212 = load i64, ptr %211, align 8, !tbaa !11
  %213 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %214 = load i64, ptr %213, align 16, !tbaa !11
  %215 = xor i64 %212, %214
  %216 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %217 = load i64, ptr %216, align 16, !tbaa !11
  %218 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %219 = load i64, ptr %218, align 8, !tbaa !11
  %220 = xor i64 %217, %219
  %221 = and i64 %215, %220
  %222 = xor i64 %210, %221
  %223 = add i64 %208, %222
  %224 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %225 = load i64, ptr %224, align 16, !tbaa !11
  %226 = add i64 %225, %223
  store i64 %226, ptr %224, align 16, !tbaa !11
  %227 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %228 = load i64, ptr %227, align 16, !tbaa !11
  %229 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %228, i32 noundef 14)
  %230 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %231 = load i64, ptr %230, align 16, !tbaa !11
  %232 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %231, i32 noundef 18)
  %233 = xor i64 %229, %232
  %234 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %235 = load i64, ptr %234, align 16, !tbaa !11
  %236 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %235, i32 noundef 41)
  %237 = xor i64 %233, %236
  %238 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %239 = load i64, ptr %238, align 16, !tbaa !11
  %240 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %241 = load i64, ptr %240, align 16, !tbaa !11
  %242 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %243 = load i64, ptr %242, align 8, !tbaa !11
  %244 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %245 = load i64, ptr %244, align 16, !tbaa !11
  %246 = xor i64 %243, %245
  %247 = and i64 %241, %246
  %248 = xor i64 %239, %247
  %249 = add i64 %237, %248
  %250 = load i32, ptr %7, align 4, !tbaa !9
  %251 = add i32 2, %250
  %252 = zext i32 %251 to i64
  %253 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %252
  %254 = load i64, ptr %253, align 8, !tbaa !11
  %255 = add i64 %249, %254
  %256 = load i32, ptr %7, align 4, !tbaa !9
  %257 = icmp ne i32 %256, 0
  br i1 %257, label %258, label %288

258:                                              ; preds = %187
  %259 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 0
  %260 = load i64, ptr %259, align 16, !tbaa !11
  %261 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %260, i32 noundef 19)
  %262 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 0
  %263 = load i64, ptr %262, align 16, !tbaa !11
  %264 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %263, i32 noundef 61)
  %265 = xor i64 %261, %264
  %266 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 0
  %267 = load i64, ptr %266, align 16, !tbaa !11
  %268 = lshr i64 %267, 6
  %269 = xor i64 %265, %268
  %270 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 11
  %271 = load i64, ptr %270, align 8, !tbaa !11
  %272 = add i64 %269, %271
  %273 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 3
  %274 = load i64, ptr %273, align 8, !tbaa !11
  %275 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %274, i32 noundef 1)
  %276 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 3
  %277 = load i64, ptr %276, align 8, !tbaa !11
  %278 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %277, i32 noundef 8)
  %279 = xor i64 %275, %278
  %280 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 3
  %281 = load i64, ptr %280, align 8, !tbaa !11
  %282 = lshr i64 %281, 7
  %283 = xor i64 %279, %282
  %284 = add i64 %272, %283
  %285 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 2
  %286 = load i64, ptr %285, align 16, !tbaa !11
  %287 = add i64 %286, %284
  store i64 %287, ptr %285, align 16, !tbaa !11
  br label %293

288:                                              ; preds = %187
  %289 = load ptr, ptr %4, align 8, !tbaa !5
  %290 = getelementptr inbounds i64, ptr %289, i64 2
  %291 = load i64, ptr %290, align 8, !tbaa !11
  %292 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 2
  store i64 %291, ptr %292, align 16, !tbaa !11
  br label %293

293:                                              ; preds = %288, %258
  %294 = phi i64 [ %287, %258 ], [ %291, %288 ]
  %295 = add i64 %255, %294
  %296 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %297 = load i64, ptr %296, align 8, !tbaa !11
  %298 = add i64 %297, %295
  store i64 %298, ptr %296, align 8, !tbaa !11
  %299 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %300 = load i64, ptr %299, align 8, !tbaa !11
  %301 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %302 = load i64, ptr %301, align 8, !tbaa !11
  %303 = add i64 %302, %300
  store i64 %303, ptr %301, align 8, !tbaa !11
  %304 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %305 = load i64, ptr %304, align 16, !tbaa !11
  %306 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %305, i32 noundef 28)
  %307 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %308 = load i64, ptr %307, align 16, !tbaa !11
  %309 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %308, i32 noundef 34)
  %310 = xor i64 %306, %309
  %311 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %312 = load i64, ptr %311, align 16, !tbaa !11
  %313 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %312, i32 noundef 39)
  %314 = xor i64 %310, %313
  %315 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %316 = load i64, ptr %315, align 8, !tbaa !11
  %317 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %318 = load i64, ptr %317, align 16, !tbaa !11
  %319 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %320 = load i64, ptr %319, align 8, !tbaa !11
  %321 = xor i64 %318, %320
  %322 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %323 = load i64, ptr %322, align 8, !tbaa !11
  %324 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %325 = load i64, ptr %324, align 16, !tbaa !11
  %326 = xor i64 %323, %325
  %327 = and i64 %321, %326
  %328 = xor i64 %316, %327
  %329 = add i64 %314, %328
  %330 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %331 = load i64, ptr %330, align 8, !tbaa !11
  %332 = add i64 %331, %329
  store i64 %332, ptr %330, align 8, !tbaa !11
  %333 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %334 = load i64, ptr %333, align 8, !tbaa !11
  %335 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %334, i32 noundef 14)
  %336 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %337 = load i64, ptr %336, align 8, !tbaa !11
  %338 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %337, i32 noundef 18)
  %339 = xor i64 %335, %338
  %340 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %341 = load i64, ptr %340, align 8, !tbaa !11
  %342 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %341, i32 noundef 41)
  %343 = xor i64 %339, %342
  %344 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %345 = load i64, ptr %344, align 8, !tbaa !11
  %346 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %347 = load i64, ptr %346, align 8, !tbaa !11
  %348 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %349 = load i64, ptr %348, align 16, !tbaa !11
  %350 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %351 = load i64, ptr %350, align 8, !tbaa !11
  %352 = xor i64 %349, %351
  %353 = and i64 %347, %352
  %354 = xor i64 %345, %353
  %355 = add i64 %343, %354
  %356 = load i32, ptr %7, align 4, !tbaa !9
  %357 = add i32 3, %356
  %358 = zext i32 %357 to i64
  %359 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %358
  %360 = load i64, ptr %359, align 8, !tbaa !11
  %361 = add i64 %355, %360
  %362 = load i32, ptr %7, align 4, !tbaa !9
  %363 = icmp ne i32 %362, 0
  br i1 %363, label %364, label %394

364:                                              ; preds = %293
  %365 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 1
  %366 = load i64, ptr %365, align 8, !tbaa !11
  %367 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %366, i32 noundef 19)
  %368 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 1
  %369 = load i64, ptr %368, align 8, !tbaa !11
  %370 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %369, i32 noundef 61)
  %371 = xor i64 %367, %370
  %372 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 1
  %373 = load i64, ptr %372, align 8, !tbaa !11
  %374 = lshr i64 %373, 6
  %375 = xor i64 %371, %374
  %376 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 12
  %377 = load i64, ptr %376, align 16, !tbaa !11
  %378 = add i64 %375, %377
  %379 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 4
  %380 = load i64, ptr %379, align 16, !tbaa !11
  %381 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %380, i32 noundef 1)
  %382 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 4
  %383 = load i64, ptr %382, align 16, !tbaa !11
  %384 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %383, i32 noundef 8)
  %385 = xor i64 %381, %384
  %386 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 4
  %387 = load i64, ptr %386, align 16, !tbaa !11
  %388 = lshr i64 %387, 7
  %389 = xor i64 %385, %388
  %390 = add i64 %378, %389
  %391 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 3
  %392 = load i64, ptr %391, align 8, !tbaa !11
  %393 = add i64 %392, %390
  store i64 %393, ptr %391, align 8, !tbaa !11
  br label %399

394:                                              ; preds = %293
  %395 = load ptr, ptr %4, align 8, !tbaa !5
  %396 = getelementptr inbounds i64, ptr %395, i64 3
  %397 = load i64, ptr %396, align 8, !tbaa !11
  %398 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 3
  store i64 %397, ptr %398, align 8, !tbaa !11
  br label %399

399:                                              ; preds = %394, %364
  %400 = phi i64 [ %393, %364 ], [ %397, %394 ]
  %401 = add i64 %361, %400
  %402 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %403 = load i64, ptr %402, align 16, !tbaa !11
  %404 = add i64 %403, %401
  store i64 %404, ptr %402, align 16, !tbaa !11
  %405 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %406 = load i64, ptr %405, align 16, !tbaa !11
  %407 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %408 = load i64, ptr %407, align 16, !tbaa !11
  %409 = add i64 %408, %406
  store i64 %409, ptr %407, align 16, !tbaa !11
  %410 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %411 = load i64, ptr %410, align 8, !tbaa !11
  %412 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %411, i32 noundef 28)
  %413 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %414 = load i64, ptr %413, align 8, !tbaa !11
  %415 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %414, i32 noundef 34)
  %416 = xor i64 %412, %415
  %417 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %418 = load i64, ptr %417, align 8, !tbaa !11
  %419 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %418, i32 noundef 39)
  %420 = xor i64 %416, %419
  %421 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %422 = load i64, ptr %421, align 16, !tbaa !11
  %423 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %424 = load i64, ptr %423, align 8, !tbaa !11
  %425 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %426 = load i64, ptr %425, align 16, !tbaa !11
  %427 = xor i64 %424, %426
  %428 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %429 = load i64, ptr %428, align 16, !tbaa !11
  %430 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %431 = load i64, ptr %430, align 8, !tbaa !11
  %432 = xor i64 %429, %431
  %433 = and i64 %427, %432
  %434 = xor i64 %422, %433
  %435 = add i64 %420, %434
  %436 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %437 = load i64, ptr %436, align 16, !tbaa !11
  %438 = add i64 %437, %435
  store i64 %438, ptr %436, align 16, !tbaa !11
  %439 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %440 = load i64, ptr %439, align 16, !tbaa !11
  %441 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %440, i32 noundef 14)
  %442 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %443 = load i64, ptr %442, align 16, !tbaa !11
  %444 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %443, i32 noundef 18)
  %445 = xor i64 %441, %444
  %446 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %447 = load i64, ptr %446, align 16, !tbaa !11
  %448 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %447, i32 noundef 41)
  %449 = xor i64 %445, %448
  %450 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %451 = load i64, ptr %450, align 16, !tbaa !11
  %452 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %453 = load i64, ptr %452, align 16, !tbaa !11
  %454 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %455 = load i64, ptr %454, align 8, !tbaa !11
  %456 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %457 = load i64, ptr %456, align 16, !tbaa !11
  %458 = xor i64 %455, %457
  %459 = and i64 %453, %458
  %460 = xor i64 %451, %459
  %461 = add i64 %449, %460
  %462 = load i32, ptr %7, align 4, !tbaa !9
  %463 = add i32 4, %462
  %464 = zext i32 %463 to i64
  %465 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %464
  %466 = load i64, ptr %465, align 8, !tbaa !11
  %467 = add i64 %461, %466
  %468 = load i32, ptr %7, align 4, !tbaa !9
  %469 = icmp ne i32 %468, 0
  br i1 %469, label %470, label %500

470:                                              ; preds = %399
  %471 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 2
  %472 = load i64, ptr %471, align 16, !tbaa !11
  %473 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %472, i32 noundef 19)
  %474 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 2
  %475 = load i64, ptr %474, align 16, !tbaa !11
  %476 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %475, i32 noundef 61)
  %477 = xor i64 %473, %476
  %478 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 2
  %479 = load i64, ptr %478, align 16, !tbaa !11
  %480 = lshr i64 %479, 6
  %481 = xor i64 %477, %480
  %482 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 13
  %483 = load i64, ptr %482, align 8, !tbaa !11
  %484 = add i64 %481, %483
  %485 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 5
  %486 = load i64, ptr %485, align 8, !tbaa !11
  %487 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %486, i32 noundef 1)
  %488 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 5
  %489 = load i64, ptr %488, align 8, !tbaa !11
  %490 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %489, i32 noundef 8)
  %491 = xor i64 %487, %490
  %492 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 5
  %493 = load i64, ptr %492, align 8, !tbaa !11
  %494 = lshr i64 %493, 7
  %495 = xor i64 %491, %494
  %496 = add i64 %484, %495
  %497 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 4
  %498 = load i64, ptr %497, align 16, !tbaa !11
  %499 = add i64 %498, %496
  store i64 %499, ptr %497, align 16, !tbaa !11
  br label %505

500:                                              ; preds = %399
  %501 = load ptr, ptr %4, align 8, !tbaa !5
  %502 = getelementptr inbounds i64, ptr %501, i64 4
  %503 = load i64, ptr %502, align 8, !tbaa !11
  %504 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 4
  store i64 %503, ptr %504, align 16, !tbaa !11
  br label %505

505:                                              ; preds = %500, %470
  %506 = phi i64 [ %499, %470 ], [ %503, %500 ]
  %507 = add i64 %467, %506
  %508 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %509 = load i64, ptr %508, align 8, !tbaa !11
  %510 = add i64 %509, %507
  store i64 %510, ptr %508, align 8, !tbaa !11
  %511 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %512 = load i64, ptr %511, align 8, !tbaa !11
  %513 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %514 = load i64, ptr %513, align 8, !tbaa !11
  %515 = add i64 %514, %512
  store i64 %515, ptr %513, align 8, !tbaa !11
  %516 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %517 = load i64, ptr %516, align 16, !tbaa !11
  %518 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %517, i32 noundef 28)
  %519 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %520 = load i64, ptr %519, align 16, !tbaa !11
  %521 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %520, i32 noundef 34)
  %522 = xor i64 %518, %521
  %523 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %524 = load i64, ptr %523, align 16, !tbaa !11
  %525 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %524, i32 noundef 39)
  %526 = xor i64 %522, %525
  %527 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %528 = load i64, ptr %527, align 8, !tbaa !11
  %529 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %530 = load i64, ptr %529, align 16, !tbaa !11
  %531 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %532 = load i64, ptr %531, align 8, !tbaa !11
  %533 = xor i64 %530, %532
  %534 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %535 = load i64, ptr %534, align 8, !tbaa !11
  %536 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %537 = load i64, ptr %536, align 16, !tbaa !11
  %538 = xor i64 %535, %537
  %539 = and i64 %533, %538
  %540 = xor i64 %528, %539
  %541 = add i64 %526, %540
  %542 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %543 = load i64, ptr %542, align 8, !tbaa !11
  %544 = add i64 %543, %541
  store i64 %544, ptr %542, align 8, !tbaa !11
  %545 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %546 = load i64, ptr %545, align 8, !tbaa !11
  %547 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %546, i32 noundef 14)
  %548 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %549 = load i64, ptr %548, align 8, !tbaa !11
  %550 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %549, i32 noundef 18)
  %551 = xor i64 %547, %550
  %552 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %553 = load i64, ptr %552, align 8, !tbaa !11
  %554 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %553, i32 noundef 41)
  %555 = xor i64 %551, %554
  %556 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %557 = load i64, ptr %556, align 8, !tbaa !11
  %558 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %559 = load i64, ptr %558, align 8, !tbaa !11
  %560 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %561 = load i64, ptr %560, align 16, !tbaa !11
  %562 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %563 = load i64, ptr %562, align 8, !tbaa !11
  %564 = xor i64 %561, %563
  %565 = and i64 %559, %564
  %566 = xor i64 %557, %565
  %567 = add i64 %555, %566
  %568 = load i32, ptr %7, align 4, !tbaa !9
  %569 = add i32 5, %568
  %570 = zext i32 %569 to i64
  %571 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %570
  %572 = load i64, ptr %571, align 8, !tbaa !11
  %573 = add i64 %567, %572
  %574 = load i32, ptr %7, align 4, !tbaa !9
  %575 = icmp ne i32 %574, 0
  br i1 %575, label %576, label %606

576:                                              ; preds = %505
  %577 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 3
  %578 = load i64, ptr %577, align 8, !tbaa !11
  %579 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %578, i32 noundef 19)
  %580 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 3
  %581 = load i64, ptr %580, align 8, !tbaa !11
  %582 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %581, i32 noundef 61)
  %583 = xor i64 %579, %582
  %584 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 3
  %585 = load i64, ptr %584, align 8, !tbaa !11
  %586 = lshr i64 %585, 6
  %587 = xor i64 %583, %586
  %588 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 14
  %589 = load i64, ptr %588, align 16, !tbaa !11
  %590 = add i64 %587, %589
  %591 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 6
  %592 = load i64, ptr %591, align 16, !tbaa !11
  %593 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %592, i32 noundef 1)
  %594 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 6
  %595 = load i64, ptr %594, align 16, !tbaa !11
  %596 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %595, i32 noundef 8)
  %597 = xor i64 %593, %596
  %598 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 6
  %599 = load i64, ptr %598, align 16, !tbaa !11
  %600 = lshr i64 %599, 7
  %601 = xor i64 %597, %600
  %602 = add i64 %590, %601
  %603 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 5
  %604 = load i64, ptr %603, align 8, !tbaa !11
  %605 = add i64 %604, %602
  store i64 %605, ptr %603, align 8, !tbaa !11
  br label %611

606:                                              ; preds = %505
  %607 = load ptr, ptr %4, align 8, !tbaa !5
  %608 = getelementptr inbounds i64, ptr %607, i64 5
  %609 = load i64, ptr %608, align 8, !tbaa !11
  %610 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 5
  store i64 %609, ptr %610, align 8, !tbaa !11
  br label %611

611:                                              ; preds = %606, %576
  %612 = phi i64 [ %605, %576 ], [ %609, %606 ]
  %613 = add i64 %573, %612
  %614 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %615 = load i64, ptr %614, align 16, !tbaa !11
  %616 = add i64 %615, %613
  store i64 %616, ptr %614, align 16, !tbaa !11
  %617 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %618 = load i64, ptr %617, align 16, !tbaa !11
  %619 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %620 = load i64, ptr %619, align 16, !tbaa !11
  %621 = add i64 %620, %618
  store i64 %621, ptr %619, align 16, !tbaa !11
  %622 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %623 = load i64, ptr %622, align 8, !tbaa !11
  %624 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %623, i32 noundef 28)
  %625 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %626 = load i64, ptr %625, align 8, !tbaa !11
  %627 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %626, i32 noundef 34)
  %628 = xor i64 %624, %627
  %629 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %630 = load i64, ptr %629, align 8, !tbaa !11
  %631 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %630, i32 noundef 39)
  %632 = xor i64 %628, %631
  %633 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %634 = load i64, ptr %633, align 16, !tbaa !11
  %635 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %636 = load i64, ptr %635, align 8, !tbaa !11
  %637 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %638 = load i64, ptr %637, align 16, !tbaa !11
  %639 = xor i64 %636, %638
  %640 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %641 = load i64, ptr %640, align 16, !tbaa !11
  %642 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %643 = load i64, ptr %642, align 8, !tbaa !11
  %644 = xor i64 %641, %643
  %645 = and i64 %639, %644
  %646 = xor i64 %634, %645
  %647 = add i64 %632, %646
  %648 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %649 = load i64, ptr %648, align 16, !tbaa !11
  %650 = add i64 %649, %647
  store i64 %650, ptr %648, align 16, !tbaa !11
  %651 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %652 = load i64, ptr %651, align 16, !tbaa !11
  %653 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %652, i32 noundef 14)
  %654 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %655 = load i64, ptr %654, align 16, !tbaa !11
  %656 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %655, i32 noundef 18)
  %657 = xor i64 %653, %656
  %658 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %659 = load i64, ptr %658, align 16, !tbaa !11
  %660 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %659, i32 noundef 41)
  %661 = xor i64 %657, %660
  %662 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %663 = load i64, ptr %662, align 16, !tbaa !11
  %664 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %665 = load i64, ptr %664, align 16, !tbaa !11
  %666 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %667 = load i64, ptr %666, align 8, !tbaa !11
  %668 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %669 = load i64, ptr %668, align 16, !tbaa !11
  %670 = xor i64 %667, %669
  %671 = and i64 %665, %670
  %672 = xor i64 %663, %671
  %673 = add i64 %661, %672
  %674 = load i32, ptr %7, align 4, !tbaa !9
  %675 = add i32 6, %674
  %676 = zext i32 %675 to i64
  %677 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %676
  %678 = load i64, ptr %677, align 8, !tbaa !11
  %679 = add i64 %673, %678
  %680 = load i32, ptr %7, align 4, !tbaa !9
  %681 = icmp ne i32 %680, 0
  br i1 %681, label %682, label %712

682:                                              ; preds = %611
  %683 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 4
  %684 = load i64, ptr %683, align 16, !tbaa !11
  %685 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %684, i32 noundef 19)
  %686 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 4
  %687 = load i64, ptr %686, align 16, !tbaa !11
  %688 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %687, i32 noundef 61)
  %689 = xor i64 %685, %688
  %690 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 4
  %691 = load i64, ptr %690, align 16, !tbaa !11
  %692 = lshr i64 %691, 6
  %693 = xor i64 %689, %692
  %694 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 15
  %695 = load i64, ptr %694, align 8, !tbaa !11
  %696 = add i64 %693, %695
  %697 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 7
  %698 = load i64, ptr %697, align 8, !tbaa !11
  %699 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %698, i32 noundef 1)
  %700 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 7
  %701 = load i64, ptr %700, align 8, !tbaa !11
  %702 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %701, i32 noundef 8)
  %703 = xor i64 %699, %702
  %704 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 7
  %705 = load i64, ptr %704, align 8, !tbaa !11
  %706 = lshr i64 %705, 7
  %707 = xor i64 %703, %706
  %708 = add i64 %696, %707
  %709 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 6
  %710 = load i64, ptr %709, align 16, !tbaa !11
  %711 = add i64 %710, %708
  store i64 %711, ptr %709, align 16, !tbaa !11
  br label %717

712:                                              ; preds = %611
  %713 = load ptr, ptr %4, align 8, !tbaa !5
  %714 = getelementptr inbounds i64, ptr %713, i64 6
  %715 = load i64, ptr %714, align 8, !tbaa !11
  %716 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 6
  store i64 %715, ptr %716, align 16, !tbaa !11
  br label %717

717:                                              ; preds = %712, %682
  %718 = phi i64 [ %711, %682 ], [ %715, %712 ]
  %719 = add i64 %679, %718
  %720 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %721 = load i64, ptr %720, align 8, !tbaa !11
  %722 = add i64 %721, %719
  store i64 %722, ptr %720, align 8, !tbaa !11
  %723 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %724 = load i64, ptr %723, align 8, !tbaa !11
  %725 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %726 = load i64, ptr %725, align 8, !tbaa !11
  %727 = add i64 %726, %724
  store i64 %727, ptr %725, align 8, !tbaa !11
  %728 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %729 = load i64, ptr %728, align 16, !tbaa !11
  %730 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %729, i32 noundef 28)
  %731 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %732 = load i64, ptr %731, align 16, !tbaa !11
  %733 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %732, i32 noundef 34)
  %734 = xor i64 %730, %733
  %735 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %736 = load i64, ptr %735, align 16, !tbaa !11
  %737 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %736, i32 noundef 39)
  %738 = xor i64 %734, %737
  %739 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %740 = load i64, ptr %739, align 8, !tbaa !11
  %741 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %742 = load i64, ptr %741, align 16, !tbaa !11
  %743 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %744 = load i64, ptr %743, align 8, !tbaa !11
  %745 = xor i64 %742, %744
  %746 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %747 = load i64, ptr %746, align 8, !tbaa !11
  %748 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %749 = load i64, ptr %748, align 16, !tbaa !11
  %750 = xor i64 %747, %749
  %751 = and i64 %745, %750
  %752 = xor i64 %740, %751
  %753 = add i64 %738, %752
  %754 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %755 = load i64, ptr %754, align 8, !tbaa !11
  %756 = add i64 %755, %753
  store i64 %756, ptr %754, align 8, !tbaa !11
  %757 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %758 = load i64, ptr %757, align 8, !tbaa !11
  %759 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %758, i32 noundef 14)
  %760 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %761 = load i64, ptr %760, align 8, !tbaa !11
  %762 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %761, i32 noundef 18)
  %763 = xor i64 %759, %762
  %764 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %765 = load i64, ptr %764, align 8, !tbaa !11
  %766 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %765, i32 noundef 41)
  %767 = xor i64 %763, %766
  %768 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %769 = load i64, ptr %768, align 8, !tbaa !11
  %770 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %771 = load i64, ptr %770, align 8, !tbaa !11
  %772 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %773 = load i64, ptr %772, align 16, !tbaa !11
  %774 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %775 = load i64, ptr %774, align 8, !tbaa !11
  %776 = xor i64 %773, %775
  %777 = and i64 %771, %776
  %778 = xor i64 %769, %777
  %779 = add i64 %767, %778
  %780 = load i32, ptr %7, align 4, !tbaa !9
  %781 = add i32 7, %780
  %782 = zext i32 %781 to i64
  %783 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %782
  %784 = load i64, ptr %783, align 8, !tbaa !11
  %785 = add i64 %779, %784
  %786 = load i32, ptr %7, align 4, !tbaa !9
  %787 = icmp ne i32 %786, 0
  br i1 %787, label %788, label %818

788:                                              ; preds = %717
  %789 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 5
  %790 = load i64, ptr %789, align 8, !tbaa !11
  %791 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %790, i32 noundef 19)
  %792 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 5
  %793 = load i64, ptr %792, align 8, !tbaa !11
  %794 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %793, i32 noundef 61)
  %795 = xor i64 %791, %794
  %796 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 5
  %797 = load i64, ptr %796, align 8, !tbaa !11
  %798 = lshr i64 %797, 6
  %799 = xor i64 %795, %798
  %800 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 0
  %801 = load i64, ptr %800, align 16, !tbaa !11
  %802 = add i64 %799, %801
  %803 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 8
  %804 = load i64, ptr %803, align 16, !tbaa !11
  %805 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %804, i32 noundef 1)
  %806 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 8
  %807 = load i64, ptr %806, align 16, !tbaa !11
  %808 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %807, i32 noundef 8)
  %809 = xor i64 %805, %808
  %810 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 8
  %811 = load i64, ptr %810, align 16, !tbaa !11
  %812 = lshr i64 %811, 7
  %813 = xor i64 %809, %812
  %814 = add i64 %802, %813
  %815 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 7
  %816 = load i64, ptr %815, align 8, !tbaa !11
  %817 = add i64 %816, %814
  store i64 %817, ptr %815, align 8, !tbaa !11
  br label %823

818:                                              ; preds = %717
  %819 = load ptr, ptr %4, align 8, !tbaa !5
  %820 = getelementptr inbounds i64, ptr %819, i64 7
  %821 = load i64, ptr %820, align 8, !tbaa !11
  %822 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 7
  store i64 %821, ptr %822, align 8, !tbaa !11
  br label %823

823:                                              ; preds = %818, %788
  %824 = phi i64 [ %817, %788 ], [ %821, %818 ]
  %825 = add i64 %785, %824
  %826 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %827 = load i64, ptr %826, align 16, !tbaa !11
  %828 = add i64 %827, %825
  store i64 %828, ptr %826, align 16, !tbaa !11
  %829 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %830 = load i64, ptr %829, align 16, !tbaa !11
  %831 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %832 = load i64, ptr %831, align 16, !tbaa !11
  %833 = add i64 %832, %830
  store i64 %833, ptr %831, align 16, !tbaa !11
  %834 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %835 = load i64, ptr %834, align 8, !tbaa !11
  %836 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %835, i32 noundef 28)
  %837 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %838 = load i64, ptr %837, align 8, !tbaa !11
  %839 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %838, i32 noundef 34)
  %840 = xor i64 %836, %839
  %841 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %842 = load i64, ptr %841, align 8, !tbaa !11
  %843 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %842, i32 noundef 39)
  %844 = xor i64 %840, %843
  %845 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %846 = load i64, ptr %845, align 16, !tbaa !11
  %847 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %848 = load i64, ptr %847, align 8, !tbaa !11
  %849 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %850 = load i64, ptr %849, align 16, !tbaa !11
  %851 = xor i64 %848, %850
  %852 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %853 = load i64, ptr %852, align 16, !tbaa !11
  %854 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %855 = load i64, ptr %854, align 8, !tbaa !11
  %856 = xor i64 %853, %855
  %857 = and i64 %851, %856
  %858 = xor i64 %846, %857
  %859 = add i64 %844, %858
  %860 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %861 = load i64, ptr %860, align 16, !tbaa !11
  %862 = add i64 %861, %859
  store i64 %862, ptr %860, align 16, !tbaa !11
  %863 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %864 = load i64, ptr %863, align 16, !tbaa !11
  %865 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %864, i32 noundef 14)
  %866 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %867 = load i64, ptr %866, align 16, !tbaa !11
  %868 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %867, i32 noundef 18)
  %869 = xor i64 %865, %868
  %870 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %871 = load i64, ptr %870, align 16, !tbaa !11
  %872 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %871, i32 noundef 41)
  %873 = xor i64 %869, %872
  %874 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %875 = load i64, ptr %874, align 16, !tbaa !11
  %876 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %877 = load i64, ptr %876, align 16, !tbaa !11
  %878 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %879 = load i64, ptr %878, align 8, !tbaa !11
  %880 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %881 = load i64, ptr %880, align 16, !tbaa !11
  %882 = xor i64 %879, %881
  %883 = and i64 %877, %882
  %884 = xor i64 %875, %883
  %885 = add i64 %873, %884
  %886 = load i32, ptr %7, align 4, !tbaa !9
  %887 = add i32 8, %886
  %888 = zext i32 %887 to i64
  %889 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %888
  %890 = load i64, ptr %889, align 8, !tbaa !11
  %891 = add i64 %885, %890
  %892 = load i32, ptr %7, align 4, !tbaa !9
  %893 = icmp ne i32 %892, 0
  br i1 %893, label %894, label %924

894:                                              ; preds = %823
  %895 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 6
  %896 = load i64, ptr %895, align 16, !tbaa !11
  %897 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %896, i32 noundef 19)
  %898 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 6
  %899 = load i64, ptr %898, align 16, !tbaa !11
  %900 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %899, i32 noundef 61)
  %901 = xor i64 %897, %900
  %902 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 6
  %903 = load i64, ptr %902, align 16, !tbaa !11
  %904 = lshr i64 %903, 6
  %905 = xor i64 %901, %904
  %906 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 1
  %907 = load i64, ptr %906, align 8, !tbaa !11
  %908 = add i64 %905, %907
  %909 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 9
  %910 = load i64, ptr %909, align 8, !tbaa !11
  %911 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %910, i32 noundef 1)
  %912 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 9
  %913 = load i64, ptr %912, align 8, !tbaa !11
  %914 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %913, i32 noundef 8)
  %915 = xor i64 %911, %914
  %916 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 9
  %917 = load i64, ptr %916, align 8, !tbaa !11
  %918 = lshr i64 %917, 7
  %919 = xor i64 %915, %918
  %920 = add i64 %908, %919
  %921 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 8
  %922 = load i64, ptr %921, align 16, !tbaa !11
  %923 = add i64 %922, %920
  store i64 %923, ptr %921, align 16, !tbaa !11
  br label %929

924:                                              ; preds = %823
  %925 = load ptr, ptr %4, align 8, !tbaa !5
  %926 = getelementptr inbounds i64, ptr %925, i64 8
  %927 = load i64, ptr %926, align 8, !tbaa !11
  %928 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 8
  store i64 %927, ptr %928, align 16, !tbaa !11
  br label %929

929:                                              ; preds = %924, %894
  %930 = phi i64 [ %923, %894 ], [ %927, %924 ]
  %931 = add i64 %891, %930
  %932 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %933 = load i64, ptr %932, align 8, !tbaa !11
  %934 = add i64 %933, %931
  store i64 %934, ptr %932, align 8, !tbaa !11
  %935 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %936 = load i64, ptr %935, align 8, !tbaa !11
  %937 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %938 = load i64, ptr %937, align 8, !tbaa !11
  %939 = add i64 %938, %936
  store i64 %939, ptr %937, align 8, !tbaa !11
  %940 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %941 = load i64, ptr %940, align 16, !tbaa !11
  %942 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %941, i32 noundef 28)
  %943 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %944 = load i64, ptr %943, align 16, !tbaa !11
  %945 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %944, i32 noundef 34)
  %946 = xor i64 %942, %945
  %947 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %948 = load i64, ptr %947, align 16, !tbaa !11
  %949 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %948, i32 noundef 39)
  %950 = xor i64 %946, %949
  %951 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %952 = load i64, ptr %951, align 8, !tbaa !11
  %953 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %954 = load i64, ptr %953, align 16, !tbaa !11
  %955 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %956 = load i64, ptr %955, align 8, !tbaa !11
  %957 = xor i64 %954, %956
  %958 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %959 = load i64, ptr %958, align 8, !tbaa !11
  %960 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %961 = load i64, ptr %960, align 16, !tbaa !11
  %962 = xor i64 %959, %961
  %963 = and i64 %957, %962
  %964 = xor i64 %952, %963
  %965 = add i64 %950, %964
  %966 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %967 = load i64, ptr %966, align 8, !tbaa !11
  %968 = add i64 %967, %965
  store i64 %968, ptr %966, align 8, !tbaa !11
  %969 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %970 = load i64, ptr %969, align 8, !tbaa !11
  %971 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %970, i32 noundef 14)
  %972 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %973 = load i64, ptr %972, align 8, !tbaa !11
  %974 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %973, i32 noundef 18)
  %975 = xor i64 %971, %974
  %976 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %977 = load i64, ptr %976, align 8, !tbaa !11
  %978 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %977, i32 noundef 41)
  %979 = xor i64 %975, %978
  %980 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %981 = load i64, ptr %980, align 8, !tbaa !11
  %982 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %983 = load i64, ptr %982, align 8, !tbaa !11
  %984 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %985 = load i64, ptr %984, align 16, !tbaa !11
  %986 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %987 = load i64, ptr %986, align 8, !tbaa !11
  %988 = xor i64 %985, %987
  %989 = and i64 %983, %988
  %990 = xor i64 %981, %989
  %991 = add i64 %979, %990
  %992 = load i32, ptr %7, align 4, !tbaa !9
  %993 = add i32 9, %992
  %994 = zext i32 %993 to i64
  %995 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %994
  %996 = load i64, ptr %995, align 8, !tbaa !11
  %997 = add i64 %991, %996
  %998 = load i32, ptr %7, align 4, !tbaa !9
  %999 = icmp ne i32 %998, 0
  br i1 %999, label %1000, label %1030

1000:                                             ; preds = %929
  %1001 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 7
  %1002 = load i64, ptr %1001, align 8, !tbaa !11
  %1003 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1002, i32 noundef 19)
  %1004 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 7
  %1005 = load i64, ptr %1004, align 8, !tbaa !11
  %1006 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1005, i32 noundef 61)
  %1007 = xor i64 %1003, %1006
  %1008 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 7
  %1009 = load i64, ptr %1008, align 8, !tbaa !11
  %1010 = lshr i64 %1009, 6
  %1011 = xor i64 %1007, %1010
  %1012 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 2
  %1013 = load i64, ptr %1012, align 16, !tbaa !11
  %1014 = add i64 %1011, %1013
  %1015 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 10
  %1016 = load i64, ptr %1015, align 16, !tbaa !11
  %1017 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1016, i32 noundef 1)
  %1018 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 10
  %1019 = load i64, ptr %1018, align 16, !tbaa !11
  %1020 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1019, i32 noundef 8)
  %1021 = xor i64 %1017, %1020
  %1022 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 10
  %1023 = load i64, ptr %1022, align 16, !tbaa !11
  %1024 = lshr i64 %1023, 7
  %1025 = xor i64 %1021, %1024
  %1026 = add i64 %1014, %1025
  %1027 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 9
  %1028 = load i64, ptr %1027, align 8, !tbaa !11
  %1029 = add i64 %1028, %1026
  store i64 %1029, ptr %1027, align 8, !tbaa !11
  br label %1035

1030:                                             ; preds = %929
  %1031 = load ptr, ptr %4, align 8, !tbaa !5
  %1032 = getelementptr inbounds i64, ptr %1031, i64 9
  %1033 = load i64, ptr %1032, align 8, !tbaa !11
  %1034 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 9
  store i64 %1033, ptr %1034, align 8, !tbaa !11
  br label %1035

1035:                                             ; preds = %1030, %1000
  %1036 = phi i64 [ %1029, %1000 ], [ %1033, %1030 ]
  %1037 = add i64 %997, %1036
  %1038 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1039 = load i64, ptr %1038, align 16, !tbaa !11
  %1040 = add i64 %1039, %1037
  store i64 %1040, ptr %1038, align 16, !tbaa !11
  %1041 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1042 = load i64, ptr %1041, align 16, !tbaa !11
  %1043 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1044 = load i64, ptr %1043, align 16, !tbaa !11
  %1045 = add i64 %1044, %1042
  store i64 %1045, ptr %1043, align 16, !tbaa !11
  %1046 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1047 = load i64, ptr %1046, align 8, !tbaa !11
  %1048 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1047, i32 noundef 28)
  %1049 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1050 = load i64, ptr %1049, align 8, !tbaa !11
  %1051 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1050, i32 noundef 34)
  %1052 = xor i64 %1048, %1051
  %1053 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1054 = load i64, ptr %1053, align 8, !tbaa !11
  %1055 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1054, i32 noundef 39)
  %1056 = xor i64 %1052, %1055
  %1057 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1058 = load i64, ptr %1057, align 16, !tbaa !11
  %1059 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1060 = load i64, ptr %1059, align 8, !tbaa !11
  %1061 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1062 = load i64, ptr %1061, align 16, !tbaa !11
  %1063 = xor i64 %1060, %1062
  %1064 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1065 = load i64, ptr %1064, align 16, !tbaa !11
  %1066 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1067 = load i64, ptr %1066, align 8, !tbaa !11
  %1068 = xor i64 %1065, %1067
  %1069 = and i64 %1063, %1068
  %1070 = xor i64 %1058, %1069
  %1071 = add i64 %1056, %1070
  %1072 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1073 = load i64, ptr %1072, align 16, !tbaa !11
  %1074 = add i64 %1073, %1071
  store i64 %1074, ptr %1072, align 16, !tbaa !11
  %1075 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1076 = load i64, ptr %1075, align 16, !tbaa !11
  %1077 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1076, i32 noundef 14)
  %1078 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1079 = load i64, ptr %1078, align 16, !tbaa !11
  %1080 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1079, i32 noundef 18)
  %1081 = xor i64 %1077, %1080
  %1082 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1083 = load i64, ptr %1082, align 16, !tbaa !11
  %1084 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1083, i32 noundef 41)
  %1085 = xor i64 %1081, %1084
  %1086 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1087 = load i64, ptr %1086, align 16, !tbaa !11
  %1088 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1089 = load i64, ptr %1088, align 16, !tbaa !11
  %1090 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1091 = load i64, ptr %1090, align 8, !tbaa !11
  %1092 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1093 = load i64, ptr %1092, align 16, !tbaa !11
  %1094 = xor i64 %1091, %1093
  %1095 = and i64 %1089, %1094
  %1096 = xor i64 %1087, %1095
  %1097 = add i64 %1085, %1096
  %1098 = load i32, ptr %7, align 4, !tbaa !9
  %1099 = add i32 10, %1098
  %1100 = zext i32 %1099 to i64
  %1101 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %1100
  %1102 = load i64, ptr %1101, align 8, !tbaa !11
  %1103 = add i64 %1097, %1102
  %1104 = load i32, ptr %7, align 4, !tbaa !9
  %1105 = icmp ne i32 %1104, 0
  br i1 %1105, label %1106, label %1136

1106:                                             ; preds = %1035
  %1107 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 8
  %1108 = load i64, ptr %1107, align 16, !tbaa !11
  %1109 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1108, i32 noundef 19)
  %1110 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 8
  %1111 = load i64, ptr %1110, align 16, !tbaa !11
  %1112 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1111, i32 noundef 61)
  %1113 = xor i64 %1109, %1112
  %1114 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 8
  %1115 = load i64, ptr %1114, align 16, !tbaa !11
  %1116 = lshr i64 %1115, 6
  %1117 = xor i64 %1113, %1116
  %1118 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 3
  %1119 = load i64, ptr %1118, align 8, !tbaa !11
  %1120 = add i64 %1117, %1119
  %1121 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 11
  %1122 = load i64, ptr %1121, align 8, !tbaa !11
  %1123 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1122, i32 noundef 1)
  %1124 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 11
  %1125 = load i64, ptr %1124, align 8, !tbaa !11
  %1126 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1125, i32 noundef 8)
  %1127 = xor i64 %1123, %1126
  %1128 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 11
  %1129 = load i64, ptr %1128, align 8, !tbaa !11
  %1130 = lshr i64 %1129, 7
  %1131 = xor i64 %1127, %1130
  %1132 = add i64 %1120, %1131
  %1133 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 10
  %1134 = load i64, ptr %1133, align 16, !tbaa !11
  %1135 = add i64 %1134, %1132
  store i64 %1135, ptr %1133, align 16, !tbaa !11
  br label %1141

1136:                                             ; preds = %1035
  %1137 = load ptr, ptr %4, align 8, !tbaa !5
  %1138 = getelementptr inbounds i64, ptr %1137, i64 10
  %1139 = load i64, ptr %1138, align 8, !tbaa !11
  %1140 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 10
  store i64 %1139, ptr %1140, align 16, !tbaa !11
  br label %1141

1141:                                             ; preds = %1136, %1106
  %1142 = phi i64 [ %1135, %1106 ], [ %1139, %1136 ]
  %1143 = add i64 %1103, %1142
  %1144 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1145 = load i64, ptr %1144, align 8, !tbaa !11
  %1146 = add i64 %1145, %1143
  store i64 %1146, ptr %1144, align 8, !tbaa !11
  %1147 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1148 = load i64, ptr %1147, align 8, !tbaa !11
  %1149 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1150 = load i64, ptr %1149, align 8, !tbaa !11
  %1151 = add i64 %1150, %1148
  store i64 %1151, ptr %1149, align 8, !tbaa !11
  %1152 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1153 = load i64, ptr %1152, align 16, !tbaa !11
  %1154 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1153, i32 noundef 28)
  %1155 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1156 = load i64, ptr %1155, align 16, !tbaa !11
  %1157 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1156, i32 noundef 34)
  %1158 = xor i64 %1154, %1157
  %1159 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1160 = load i64, ptr %1159, align 16, !tbaa !11
  %1161 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1160, i32 noundef 39)
  %1162 = xor i64 %1158, %1161
  %1163 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1164 = load i64, ptr %1163, align 8, !tbaa !11
  %1165 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1166 = load i64, ptr %1165, align 16, !tbaa !11
  %1167 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1168 = load i64, ptr %1167, align 8, !tbaa !11
  %1169 = xor i64 %1166, %1168
  %1170 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1171 = load i64, ptr %1170, align 8, !tbaa !11
  %1172 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1173 = load i64, ptr %1172, align 16, !tbaa !11
  %1174 = xor i64 %1171, %1173
  %1175 = and i64 %1169, %1174
  %1176 = xor i64 %1164, %1175
  %1177 = add i64 %1162, %1176
  %1178 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1179 = load i64, ptr %1178, align 8, !tbaa !11
  %1180 = add i64 %1179, %1177
  store i64 %1180, ptr %1178, align 8, !tbaa !11
  %1181 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1182 = load i64, ptr %1181, align 8, !tbaa !11
  %1183 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1182, i32 noundef 14)
  %1184 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1185 = load i64, ptr %1184, align 8, !tbaa !11
  %1186 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1185, i32 noundef 18)
  %1187 = xor i64 %1183, %1186
  %1188 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1189 = load i64, ptr %1188, align 8, !tbaa !11
  %1190 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1189, i32 noundef 41)
  %1191 = xor i64 %1187, %1190
  %1192 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1193 = load i64, ptr %1192, align 8, !tbaa !11
  %1194 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1195 = load i64, ptr %1194, align 8, !tbaa !11
  %1196 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1197 = load i64, ptr %1196, align 16, !tbaa !11
  %1198 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1199 = load i64, ptr %1198, align 8, !tbaa !11
  %1200 = xor i64 %1197, %1199
  %1201 = and i64 %1195, %1200
  %1202 = xor i64 %1193, %1201
  %1203 = add i64 %1191, %1202
  %1204 = load i32, ptr %7, align 4, !tbaa !9
  %1205 = add i32 11, %1204
  %1206 = zext i32 %1205 to i64
  %1207 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %1206
  %1208 = load i64, ptr %1207, align 8, !tbaa !11
  %1209 = add i64 %1203, %1208
  %1210 = load i32, ptr %7, align 4, !tbaa !9
  %1211 = icmp ne i32 %1210, 0
  br i1 %1211, label %1212, label %1242

1212:                                             ; preds = %1141
  %1213 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 9
  %1214 = load i64, ptr %1213, align 8, !tbaa !11
  %1215 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1214, i32 noundef 19)
  %1216 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 9
  %1217 = load i64, ptr %1216, align 8, !tbaa !11
  %1218 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1217, i32 noundef 61)
  %1219 = xor i64 %1215, %1218
  %1220 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 9
  %1221 = load i64, ptr %1220, align 8, !tbaa !11
  %1222 = lshr i64 %1221, 6
  %1223 = xor i64 %1219, %1222
  %1224 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 4
  %1225 = load i64, ptr %1224, align 16, !tbaa !11
  %1226 = add i64 %1223, %1225
  %1227 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 12
  %1228 = load i64, ptr %1227, align 16, !tbaa !11
  %1229 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1228, i32 noundef 1)
  %1230 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 12
  %1231 = load i64, ptr %1230, align 16, !tbaa !11
  %1232 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1231, i32 noundef 8)
  %1233 = xor i64 %1229, %1232
  %1234 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 12
  %1235 = load i64, ptr %1234, align 16, !tbaa !11
  %1236 = lshr i64 %1235, 7
  %1237 = xor i64 %1233, %1236
  %1238 = add i64 %1226, %1237
  %1239 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 11
  %1240 = load i64, ptr %1239, align 8, !tbaa !11
  %1241 = add i64 %1240, %1238
  store i64 %1241, ptr %1239, align 8, !tbaa !11
  br label %1247

1242:                                             ; preds = %1141
  %1243 = load ptr, ptr %4, align 8, !tbaa !5
  %1244 = getelementptr inbounds i64, ptr %1243, i64 11
  %1245 = load i64, ptr %1244, align 8, !tbaa !11
  %1246 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 11
  store i64 %1245, ptr %1246, align 8, !tbaa !11
  br label %1247

1247:                                             ; preds = %1242, %1212
  %1248 = phi i64 [ %1241, %1212 ], [ %1245, %1242 ]
  %1249 = add i64 %1209, %1248
  %1250 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1251 = load i64, ptr %1250, align 16, !tbaa !11
  %1252 = add i64 %1251, %1249
  store i64 %1252, ptr %1250, align 16, !tbaa !11
  %1253 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1254 = load i64, ptr %1253, align 16, !tbaa !11
  %1255 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1256 = load i64, ptr %1255, align 16, !tbaa !11
  %1257 = add i64 %1256, %1254
  store i64 %1257, ptr %1255, align 16, !tbaa !11
  %1258 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1259 = load i64, ptr %1258, align 8, !tbaa !11
  %1260 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1259, i32 noundef 28)
  %1261 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1262 = load i64, ptr %1261, align 8, !tbaa !11
  %1263 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1262, i32 noundef 34)
  %1264 = xor i64 %1260, %1263
  %1265 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1266 = load i64, ptr %1265, align 8, !tbaa !11
  %1267 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1266, i32 noundef 39)
  %1268 = xor i64 %1264, %1267
  %1269 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1270 = load i64, ptr %1269, align 16, !tbaa !11
  %1271 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1272 = load i64, ptr %1271, align 8, !tbaa !11
  %1273 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1274 = load i64, ptr %1273, align 16, !tbaa !11
  %1275 = xor i64 %1272, %1274
  %1276 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1277 = load i64, ptr %1276, align 16, !tbaa !11
  %1278 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1279 = load i64, ptr %1278, align 8, !tbaa !11
  %1280 = xor i64 %1277, %1279
  %1281 = and i64 %1275, %1280
  %1282 = xor i64 %1270, %1281
  %1283 = add i64 %1268, %1282
  %1284 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1285 = load i64, ptr %1284, align 16, !tbaa !11
  %1286 = add i64 %1285, %1283
  store i64 %1286, ptr %1284, align 16, !tbaa !11
  %1287 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1288 = load i64, ptr %1287, align 16, !tbaa !11
  %1289 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1288, i32 noundef 14)
  %1290 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1291 = load i64, ptr %1290, align 16, !tbaa !11
  %1292 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1291, i32 noundef 18)
  %1293 = xor i64 %1289, %1292
  %1294 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1295 = load i64, ptr %1294, align 16, !tbaa !11
  %1296 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1295, i32 noundef 41)
  %1297 = xor i64 %1293, %1296
  %1298 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1299 = load i64, ptr %1298, align 16, !tbaa !11
  %1300 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1301 = load i64, ptr %1300, align 16, !tbaa !11
  %1302 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1303 = load i64, ptr %1302, align 8, !tbaa !11
  %1304 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1305 = load i64, ptr %1304, align 16, !tbaa !11
  %1306 = xor i64 %1303, %1305
  %1307 = and i64 %1301, %1306
  %1308 = xor i64 %1299, %1307
  %1309 = add i64 %1297, %1308
  %1310 = load i32, ptr %7, align 4, !tbaa !9
  %1311 = add i32 12, %1310
  %1312 = zext i32 %1311 to i64
  %1313 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %1312
  %1314 = load i64, ptr %1313, align 8, !tbaa !11
  %1315 = add i64 %1309, %1314
  %1316 = load i32, ptr %7, align 4, !tbaa !9
  %1317 = icmp ne i32 %1316, 0
  br i1 %1317, label %1318, label %1348

1318:                                             ; preds = %1247
  %1319 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 10
  %1320 = load i64, ptr %1319, align 16, !tbaa !11
  %1321 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1320, i32 noundef 19)
  %1322 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 10
  %1323 = load i64, ptr %1322, align 16, !tbaa !11
  %1324 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1323, i32 noundef 61)
  %1325 = xor i64 %1321, %1324
  %1326 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 10
  %1327 = load i64, ptr %1326, align 16, !tbaa !11
  %1328 = lshr i64 %1327, 6
  %1329 = xor i64 %1325, %1328
  %1330 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 5
  %1331 = load i64, ptr %1330, align 8, !tbaa !11
  %1332 = add i64 %1329, %1331
  %1333 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 13
  %1334 = load i64, ptr %1333, align 8, !tbaa !11
  %1335 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1334, i32 noundef 1)
  %1336 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 13
  %1337 = load i64, ptr %1336, align 8, !tbaa !11
  %1338 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1337, i32 noundef 8)
  %1339 = xor i64 %1335, %1338
  %1340 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 13
  %1341 = load i64, ptr %1340, align 8, !tbaa !11
  %1342 = lshr i64 %1341, 7
  %1343 = xor i64 %1339, %1342
  %1344 = add i64 %1332, %1343
  %1345 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 12
  %1346 = load i64, ptr %1345, align 16, !tbaa !11
  %1347 = add i64 %1346, %1344
  store i64 %1347, ptr %1345, align 16, !tbaa !11
  br label %1353

1348:                                             ; preds = %1247
  %1349 = load ptr, ptr %4, align 8, !tbaa !5
  %1350 = getelementptr inbounds i64, ptr %1349, i64 12
  %1351 = load i64, ptr %1350, align 8, !tbaa !11
  %1352 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 12
  store i64 %1351, ptr %1352, align 16, !tbaa !11
  br label %1353

1353:                                             ; preds = %1348, %1318
  %1354 = phi i64 [ %1347, %1318 ], [ %1351, %1348 ]
  %1355 = add i64 %1315, %1354
  %1356 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1357 = load i64, ptr %1356, align 8, !tbaa !11
  %1358 = add i64 %1357, %1355
  store i64 %1358, ptr %1356, align 8, !tbaa !11
  %1359 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1360 = load i64, ptr %1359, align 8, !tbaa !11
  %1361 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1362 = load i64, ptr %1361, align 8, !tbaa !11
  %1363 = add i64 %1362, %1360
  store i64 %1363, ptr %1361, align 8, !tbaa !11
  %1364 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1365 = load i64, ptr %1364, align 16, !tbaa !11
  %1366 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1365, i32 noundef 28)
  %1367 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1368 = load i64, ptr %1367, align 16, !tbaa !11
  %1369 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1368, i32 noundef 34)
  %1370 = xor i64 %1366, %1369
  %1371 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1372 = load i64, ptr %1371, align 16, !tbaa !11
  %1373 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1372, i32 noundef 39)
  %1374 = xor i64 %1370, %1373
  %1375 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1376 = load i64, ptr %1375, align 8, !tbaa !11
  %1377 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1378 = load i64, ptr %1377, align 16, !tbaa !11
  %1379 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1380 = load i64, ptr %1379, align 8, !tbaa !11
  %1381 = xor i64 %1378, %1380
  %1382 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1383 = load i64, ptr %1382, align 8, !tbaa !11
  %1384 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1385 = load i64, ptr %1384, align 16, !tbaa !11
  %1386 = xor i64 %1383, %1385
  %1387 = and i64 %1381, %1386
  %1388 = xor i64 %1376, %1387
  %1389 = add i64 %1374, %1388
  %1390 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1391 = load i64, ptr %1390, align 8, !tbaa !11
  %1392 = add i64 %1391, %1389
  store i64 %1392, ptr %1390, align 8, !tbaa !11
  %1393 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1394 = load i64, ptr %1393, align 8, !tbaa !11
  %1395 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1394, i32 noundef 14)
  %1396 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1397 = load i64, ptr %1396, align 8, !tbaa !11
  %1398 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1397, i32 noundef 18)
  %1399 = xor i64 %1395, %1398
  %1400 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1401 = load i64, ptr %1400, align 8, !tbaa !11
  %1402 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1401, i32 noundef 41)
  %1403 = xor i64 %1399, %1402
  %1404 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1405 = load i64, ptr %1404, align 8, !tbaa !11
  %1406 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1407 = load i64, ptr %1406, align 8, !tbaa !11
  %1408 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1409 = load i64, ptr %1408, align 16, !tbaa !11
  %1410 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1411 = load i64, ptr %1410, align 8, !tbaa !11
  %1412 = xor i64 %1409, %1411
  %1413 = and i64 %1407, %1412
  %1414 = xor i64 %1405, %1413
  %1415 = add i64 %1403, %1414
  %1416 = load i32, ptr %7, align 4, !tbaa !9
  %1417 = add i32 13, %1416
  %1418 = zext i32 %1417 to i64
  %1419 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %1418
  %1420 = load i64, ptr %1419, align 8, !tbaa !11
  %1421 = add i64 %1415, %1420
  %1422 = load i32, ptr %7, align 4, !tbaa !9
  %1423 = icmp ne i32 %1422, 0
  br i1 %1423, label %1424, label %1454

1424:                                             ; preds = %1353
  %1425 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 11
  %1426 = load i64, ptr %1425, align 8, !tbaa !11
  %1427 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1426, i32 noundef 19)
  %1428 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 11
  %1429 = load i64, ptr %1428, align 8, !tbaa !11
  %1430 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1429, i32 noundef 61)
  %1431 = xor i64 %1427, %1430
  %1432 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 11
  %1433 = load i64, ptr %1432, align 8, !tbaa !11
  %1434 = lshr i64 %1433, 6
  %1435 = xor i64 %1431, %1434
  %1436 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 6
  %1437 = load i64, ptr %1436, align 16, !tbaa !11
  %1438 = add i64 %1435, %1437
  %1439 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 14
  %1440 = load i64, ptr %1439, align 16, !tbaa !11
  %1441 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1440, i32 noundef 1)
  %1442 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 14
  %1443 = load i64, ptr %1442, align 16, !tbaa !11
  %1444 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1443, i32 noundef 8)
  %1445 = xor i64 %1441, %1444
  %1446 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 14
  %1447 = load i64, ptr %1446, align 16, !tbaa !11
  %1448 = lshr i64 %1447, 7
  %1449 = xor i64 %1445, %1448
  %1450 = add i64 %1438, %1449
  %1451 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 13
  %1452 = load i64, ptr %1451, align 8, !tbaa !11
  %1453 = add i64 %1452, %1450
  store i64 %1453, ptr %1451, align 8, !tbaa !11
  br label %1459

1454:                                             ; preds = %1353
  %1455 = load ptr, ptr %4, align 8, !tbaa !5
  %1456 = getelementptr inbounds i64, ptr %1455, i64 13
  %1457 = load i64, ptr %1456, align 8, !tbaa !11
  %1458 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 13
  store i64 %1457, ptr %1458, align 8, !tbaa !11
  br label %1459

1459:                                             ; preds = %1454, %1424
  %1460 = phi i64 [ %1453, %1424 ], [ %1457, %1454 ]
  %1461 = add i64 %1421, %1460
  %1462 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1463 = load i64, ptr %1462, align 16, !tbaa !11
  %1464 = add i64 %1463, %1461
  store i64 %1464, ptr %1462, align 16, !tbaa !11
  %1465 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1466 = load i64, ptr %1465, align 16, !tbaa !11
  %1467 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1468 = load i64, ptr %1467, align 16, !tbaa !11
  %1469 = add i64 %1468, %1466
  store i64 %1469, ptr %1467, align 16, !tbaa !11
  %1470 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1471 = load i64, ptr %1470, align 8, !tbaa !11
  %1472 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1471, i32 noundef 28)
  %1473 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1474 = load i64, ptr %1473, align 8, !tbaa !11
  %1475 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1474, i32 noundef 34)
  %1476 = xor i64 %1472, %1475
  %1477 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1478 = load i64, ptr %1477, align 8, !tbaa !11
  %1479 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1478, i32 noundef 39)
  %1480 = xor i64 %1476, %1479
  %1481 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1482 = load i64, ptr %1481, align 16, !tbaa !11
  %1483 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1484 = load i64, ptr %1483, align 8, !tbaa !11
  %1485 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1486 = load i64, ptr %1485, align 16, !tbaa !11
  %1487 = xor i64 %1484, %1486
  %1488 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1489 = load i64, ptr %1488, align 16, !tbaa !11
  %1490 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1491 = load i64, ptr %1490, align 8, !tbaa !11
  %1492 = xor i64 %1489, %1491
  %1493 = and i64 %1487, %1492
  %1494 = xor i64 %1482, %1493
  %1495 = add i64 %1480, %1494
  %1496 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1497 = load i64, ptr %1496, align 16, !tbaa !11
  %1498 = add i64 %1497, %1495
  store i64 %1498, ptr %1496, align 16, !tbaa !11
  %1499 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1500 = load i64, ptr %1499, align 16, !tbaa !11
  %1501 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1500, i32 noundef 14)
  %1502 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1503 = load i64, ptr %1502, align 16, !tbaa !11
  %1504 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1503, i32 noundef 18)
  %1505 = xor i64 %1501, %1504
  %1506 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1507 = load i64, ptr %1506, align 16, !tbaa !11
  %1508 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1507, i32 noundef 41)
  %1509 = xor i64 %1505, %1508
  %1510 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1511 = load i64, ptr %1510, align 16, !tbaa !11
  %1512 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1513 = load i64, ptr %1512, align 16, !tbaa !11
  %1514 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1515 = load i64, ptr %1514, align 8, !tbaa !11
  %1516 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1517 = load i64, ptr %1516, align 16, !tbaa !11
  %1518 = xor i64 %1515, %1517
  %1519 = and i64 %1513, %1518
  %1520 = xor i64 %1511, %1519
  %1521 = add i64 %1509, %1520
  %1522 = load i32, ptr %7, align 4, !tbaa !9
  %1523 = add i32 14, %1522
  %1524 = zext i32 %1523 to i64
  %1525 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %1524
  %1526 = load i64, ptr %1525, align 8, !tbaa !11
  %1527 = add i64 %1521, %1526
  %1528 = load i32, ptr %7, align 4, !tbaa !9
  %1529 = icmp ne i32 %1528, 0
  br i1 %1529, label %1530, label %1560

1530:                                             ; preds = %1459
  %1531 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 12
  %1532 = load i64, ptr %1531, align 16, !tbaa !11
  %1533 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1532, i32 noundef 19)
  %1534 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 12
  %1535 = load i64, ptr %1534, align 16, !tbaa !11
  %1536 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1535, i32 noundef 61)
  %1537 = xor i64 %1533, %1536
  %1538 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 12
  %1539 = load i64, ptr %1538, align 16, !tbaa !11
  %1540 = lshr i64 %1539, 6
  %1541 = xor i64 %1537, %1540
  %1542 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 7
  %1543 = load i64, ptr %1542, align 8, !tbaa !11
  %1544 = add i64 %1541, %1543
  %1545 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 15
  %1546 = load i64, ptr %1545, align 8, !tbaa !11
  %1547 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1546, i32 noundef 1)
  %1548 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 15
  %1549 = load i64, ptr %1548, align 8, !tbaa !11
  %1550 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1549, i32 noundef 8)
  %1551 = xor i64 %1547, %1550
  %1552 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 15
  %1553 = load i64, ptr %1552, align 8, !tbaa !11
  %1554 = lshr i64 %1553, 7
  %1555 = xor i64 %1551, %1554
  %1556 = add i64 %1544, %1555
  %1557 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 14
  %1558 = load i64, ptr %1557, align 16, !tbaa !11
  %1559 = add i64 %1558, %1556
  store i64 %1559, ptr %1557, align 16, !tbaa !11
  br label %1565

1560:                                             ; preds = %1459
  %1561 = load ptr, ptr %4, align 8, !tbaa !5
  %1562 = getelementptr inbounds i64, ptr %1561, i64 14
  %1563 = load i64, ptr %1562, align 8, !tbaa !11
  %1564 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 14
  store i64 %1563, ptr %1564, align 16, !tbaa !11
  br label %1565

1565:                                             ; preds = %1560, %1530
  %1566 = phi i64 [ %1559, %1530 ], [ %1563, %1560 ]
  %1567 = add i64 %1527, %1566
  %1568 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1569 = load i64, ptr %1568, align 8, !tbaa !11
  %1570 = add i64 %1569, %1567
  store i64 %1570, ptr %1568, align 8, !tbaa !11
  %1571 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1572 = load i64, ptr %1571, align 8, !tbaa !11
  %1573 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1574 = load i64, ptr %1573, align 8, !tbaa !11
  %1575 = add i64 %1574, %1572
  store i64 %1575, ptr %1573, align 8, !tbaa !11
  %1576 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1577 = load i64, ptr %1576, align 16, !tbaa !11
  %1578 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1577, i32 noundef 28)
  %1579 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1580 = load i64, ptr %1579, align 16, !tbaa !11
  %1581 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1580, i32 noundef 34)
  %1582 = xor i64 %1578, %1581
  %1583 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1584 = load i64, ptr %1583, align 16, !tbaa !11
  %1585 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1584, i32 noundef 39)
  %1586 = xor i64 %1582, %1585
  %1587 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1588 = load i64, ptr %1587, align 8, !tbaa !11
  %1589 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1590 = load i64, ptr %1589, align 16, !tbaa !11
  %1591 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1592 = load i64, ptr %1591, align 8, !tbaa !11
  %1593 = xor i64 %1590, %1592
  %1594 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1595 = load i64, ptr %1594, align 8, !tbaa !11
  %1596 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1597 = load i64, ptr %1596, align 16, !tbaa !11
  %1598 = xor i64 %1595, %1597
  %1599 = and i64 %1593, %1598
  %1600 = xor i64 %1588, %1599
  %1601 = add i64 %1586, %1600
  %1602 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1603 = load i64, ptr %1602, align 8, !tbaa !11
  %1604 = add i64 %1603, %1601
  store i64 %1604, ptr %1602, align 8, !tbaa !11
  %1605 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1606 = load i64, ptr %1605, align 8, !tbaa !11
  %1607 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1606, i32 noundef 14)
  %1608 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1609 = load i64, ptr %1608, align 8, !tbaa !11
  %1610 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1609, i32 noundef 18)
  %1611 = xor i64 %1607, %1610
  %1612 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1613 = load i64, ptr %1612, align 8, !tbaa !11
  %1614 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1613, i32 noundef 41)
  %1615 = xor i64 %1611, %1614
  %1616 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1617 = load i64, ptr %1616, align 8, !tbaa !11
  %1618 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1619 = load i64, ptr %1618, align 8, !tbaa !11
  %1620 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1621 = load i64, ptr %1620, align 16, !tbaa !11
  %1622 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1623 = load i64, ptr %1622, align 8, !tbaa !11
  %1624 = xor i64 %1621, %1623
  %1625 = and i64 %1619, %1624
  %1626 = xor i64 %1617, %1625
  %1627 = add i64 %1615, %1626
  %1628 = load i32, ptr %7, align 4, !tbaa !9
  %1629 = add i32 15, %1628
  %1630 = zext i32 %1629 to i64
  %1631 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %1630
  %1632 = load i64, ptr %1631, align 8, !tbaa !11
  %1633 = add i64 %1627, %1632
  %1634 = load i32, ptr %7, align 4, !tbaa !9
  %1635 = icmp ne i32 %1634, 0
  br i1 %1635, label %1636, label %1666

1636:                                             ; preds = %1565
  %1637 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 13
  %1638 = load i64, ptr %1637, align 8, !tbaa !11
  %1639 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1638, i32 noundef 19)
  %1640 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 13
  %1641 = load i64, ptr %1640, align 8, !tbaa !11
  %1642 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1641, i32 noundef 61)
  %1643 = xor i64 %1639, %1642
  %1644 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 13
  %1645 = load i64, ptr %1644, align 8, !tbaa !11
  %1646 = lshr i64 %1645, 6
  %1647 = xor i64 %1643, %1646
  %1648 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 8
  %1649 = load i64, ptr %1648, align 16, !tbaa !11
  %1650 = add i64 %1647, %1649
  %1651 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 0
  %1652 = load i64, ptr %1651, align 16, !tbaa !11
  %1653 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1652, i32 noundef 1)
  %1654 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 0
  %1655 = load i64, ptr %1654, align 16, !tbaa !11
  %1656 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1655, i32 noundef 8)
  %1657 = xor i64 %1653, %1656
  %1658 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 0
  %1659 = load i64, ptr %1658, align 16, !tbaa !11
  %1660 = lshr i64 %1659, 7
  %1661 = xor i64 %1657, %1660
  %1662 = add i64 %1650, %1661
  %1663 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 15
  %1664 = load i64, ptr %1663, align 8, !tbaa !11
  %1665 = add i64 %1664, %1662
  store i64 %1665, ptr %1663, align 8, !tbaa !11
  br label %1671

1666:                                             ; preds = %1565
  %1667 = load ptr, ptr %4, align 8, !tbaa !5
  %1668 = getelementptr inbounds i64, ptr %1667, i64 15
  %1669 = load i64, ptr %1668, align 8, !tbaa !11
  %1670 = getelementptr inbounds [16 x i64], ptr %5, i64 0, i64 15
  store i64 %1669, ptr %1670, align 8, !tbaa !11
  br label %1671

1671:                                             ; preds = %1666, %1636
  %1672 = phi i64 [ %1665, %1636 ], [ %1669, %1666 ]
  %1673 = add i64 %1633, %1672
  %1674 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1675 = load i64, ptr %1674, align 16, !tbaa !11
  %1676 = add i64 %1675, %1673
  store i64 %1676, ptr %1674, align 16, !tbaa !11
  %1677 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1678 = load i64, ptr %1677, align 16, !tbaa !11
  %1679 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1680 = load i64, ptr %1679, align 16, !tbaa !11
  %1681 = add i64 %1680, %1678
  store i64 %1681, ptr %1679, align 16, !tbaa !11
  %1682 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1683 = load i64, ptr %1682, align 8, !tbaa !11
  %1684 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1683, i32 noundef 28)
  %1685 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1686 = load i64, ptr %1685, align 8, !tbaa !11
  %1687 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1686, i32 noundef 34)
  %1688 = xor i64 %1684, %1687
  %1689 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1690 = load i64, ptr %1689, align 8, !tbaa !11
  %1691 = call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %1690, i32 noundef 39)
  %1692 = xor i64 %1688, %1691
  %1693 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1694 = load i64, ptr %1693, align 16, !tbaa !11
  %1695 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1696 = load i64, ptr %1695, align 8, !tbaa !11
  %1697 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1698 = load i64, ptr %1697, align 16, !tbaa !11
  %1699 = xor i64 %1696, %1698
  %1700 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1701 = load i64, ptr %1700, align 16, !tbaa !11
  %1702 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1703 = load i64, ptr %1702, align 8, !tbaa !11
  %1704 = xor i64 %1701, %1703
  %1705 = and i64 %1699, %1704
  %1706 = xor i64 %1694, %1705
  %1707 = add i64 %1692, %1706
  %1708 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1709 = load i64, ptr %1708, align 16, !tbaa !11
  %1710 = add i64 %1709, %1707
  store i64 %1710, ptr %1708, align 16, !tbaa !11
  br label %1711

1711:                                             ; preds = %1671
  %1712 = load i32, ptr %7, align 4, !tbaa !9
  %1713 = add i32 %1712, 16
  store i32 %1713, ptr %7, align 4, !tbaa !9
  br label %10, !llvm.loop !13

1714:                                             ; preds = %13
  %1715 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 0
  %1716 = load i64, ptr %1715, align 16, !tbaa !11
  %1717 = load ptr, ptr %3, align 8, !tbaa !5
  %1718 = getelementptr inbounds i64, ptr %1717, i64 0
  %1719 = load i64, ptr %1718, align 8, !tbaa !11
  %1720 = add i64 %1719, %1716
  store i64 %1720, ptr %1718, align 8, !tbaa !11
  %1721 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 1
  %1722 = load i64, ptr %1721, align 8, !tbaa !11
  %1723 = load ptr, ptr %3, align 8, !tbaa !5
  %1724 = getelementptr inbounds i64, ptr %1723, i64 1
  %1725 = load i64, ptr %1724, align 8, !tbaa !11
  %1726 = add i64 %1725, %1722
  store i64 %1726, ptr %1724, align 8, !tbaa !11
  %1727 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 2
  %1728 = load i64, ptr %1727, align 16, !tbaa !11
  %1729 = load ptr, ptr %3, align 8, !tbaa !5
  %1730 = getelementptr inbounds i64, ptr %1729, i64 2
  %1731 = load i64, ptr %1730, align 8, !tbaa !11
  %1732 = add i64 %1731, %1728
  store i64 %1732, ptr %1730, align 8, !tbaa !11
  %1733 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 3
  %1734 = load i64, ptr %1733, align 8, !tbaa !11
  %1735 = load ptr, ptr %3, align 8, !tbaa !5
  %1736 = getelementptr inbounds i64, ptr %1735, i64 3
  %1737 = load i64, ptr %1736, align 8, !tbaa !11
  %1738 = add i64 %1737, %1734
  store i64 %1738, ptr %1736, align 8, !tbaa !11
  %1739 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 4
  %1740 = load i64, ptr %1739, align 16, !tbaa !11
  %1741 = load ptr, ptr %3, align 8, !tbaa !5
  %1742 = getelementptr inbounds i64, ptr %1741, i64 4
  %1743 = load i64, ptr %1742, align 8, !tbaa !11
  %1744 = add i64 %1743, %1740
  store i64 %1744, ptr %1742, align 8, !tbaa !11
  %1745 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 5
  %1746 = load i64, ptr %1745, align 8, !tbaa !11
  %1747 = load ptr, ptr %3, align 8, !tbaa !5
  %1748 = getelementptr inbounds i64, ptr %1747, i64 5
  %1749 = load i64, ptr %1748, align 8, !tbaa !11
  %1750 = add i64 %1749, %1746
  store i64 %1750, ptr %1748, align 8, !tbaa !11
  %1751 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 6
  %1752 = load i64, ptr %1751, align 16, !tbaa !11
  %1753 = load ptr, ptr %3, align 8, !tbaa !5
  %1754 = getelementptr inbounds i64, ptr %1753, i64 6
  %1755 = load i64, ptr %1754, align 8, !tbaa !11
  %1756 = add i64 %1755, %1752
  store i64 %1756, ptr %1754, align 8, !tbaa !11
  %1757 = getelementptr inbounds [8 x i64], ptr %6, i64 0, i64 7
  %1758 = load i64, ptr %1757, align 8, !tbaa !11
  %1759 = load ptr, ptr %3, align 8, !tbaa !5
  %1760 = getelementptr inbounds i64, ptr %1759, i64 7
  %1761 = load i64, ptr %1760, align 8, !tbaa !11
  %1762 = add i64 %1761, %1758
  store i64 %1762, ptr %1760, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 64, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 128, ptr %5) #4
  ret void
}

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef, i32 noundef) #3

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { 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 #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 = !{!12, !12, i64 0}
!12 = !{!"long long", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}


; 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"

@_ZN8CryptoPPL8SHA512_KE = external hidden local_unnamed_addr constant [80 x i64], align 16

; Function Attrs: mustprogress nounwind uwtable
define dso_local void @_ZN8CryptoPP6SHA5129TransformEPyPKy(ptr nocapture noundef %0, ptr nocapture noundef readonly %1) local_unnamed_addr #0 align 2 {
  %.sroa.0.0.copyload = load i64, ptr %0, align 8
  %.sroa.48.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 8
  %.sroa.48.0.copyload = load i64, ptr %.sroa.48.0..sroa_idx, align 8
  %.sroa.93.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 16
  %.sroa.93.0.copyload = load i64, ptr %.sroa.93.0..sroa_idx, align 8
  %.sroa.138.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 24
  %.sroa.138.0.copyload = load i64, ptr %.sroa.138.0..sroa_idx, align 8
  %.sroa.183.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 32
  %.sroa.183.0.copyload = load i64, ptr %.sroa.183.0..sroa_idx, align 8
  %.sroa.228.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 40
  %.sroa.228.0.copyload = load i64, ptr %.sroa.228.0..sroa_idx, align 8
  %.sroa.273.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 48
  %.sroa.273.0.copyload = load i64, ptr %.sroa.273.0..sroa_idx, align 8
  %.sroa.318.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 56
  %.sroa.318.0.copyload = load i64, ptr %.sroa.318.0..sroa_idx, align 8
  %3 = getelementptr inbounds i8, ptr %1, i64 8
  %4 = getelementptr inbounds i8, ptr %1, i64 16
  %5 = getelementptr inbounds i8, ptr %1, i64 24
  %6 = getelementptr inbounds i8, ptr %1, i64 32
  %7 = getelementptr inbounds i8, ptr %1, i64 40
  %8 = getelementptr inbounds i8, ptr %1, i64 48
  %9 = getelementptr inbounds i8, ptr %1, i64 56
  %10 = getelementptr inbounds i8, ptr %1, i64 64
  %11 = getelementptr inbounds i8, ptr %1, i64 72
  %12 = getelementptr inbounds i8, ptr %1, i64 80
  %13 = getelementptr inbounds i8, ptr %1, i64 88
  %14 = getelementptr inbounds i8, ptr %1, i64 96
  %15 = getelementptr inbounds i8, ptr %1, i64 104
  %16 = getelementptr inbounds i8, ptr %1, i64 112
  %17 = getelementptr inbounds i8, ptr %1, i64 120
  br label %35

18:                                               ; preds = %723
  %19 = load i64, ptr %0, align 8, !tbaa !5
  %20 = add i64 %19, %739
  store i64 %20, ptr %0, align 8, !tbaa !5
  %21 = load i64, ptr %.sroa.48.0..sroa_idx, align 8, !tbaa !5
  %22 = add i64 %21, %695
  store i64 %22, ptr %.sroa.48.0..sroa_idx, align 8, !tbaa !5
  %23 = load i64, ptr %.sroa.93.0..sroa_idx, align 8, !tbaa !5
  %24 = add i64 %23, %651
  store i64 %24, ptr %.sroa.93.0..sroa_idx, align 8, !tbaa !5
  %25 = load i64, ptr %.sroa.138.0..sroa_idx, align 8, !tbaa !5
  %26 = add i64 %25, %607
  store i64 %26, ptr %.sroa.138.0..sroa_idx, align 8, !tbaa !5
  %27 = load i64, ptr %.sroa.183.0..sroa_idx, align 8, !tbaa !5
  %28 = add i64 %27, %729
  store i64 %28, ptr %.sroa.183.0..sroa_idx, align 8, !tbaa !5
  %29 = load i64, ptr %.sroa.228.0..sroa_idx, align 8, !tbaa !5
  %30 = add i64 %29, %685
  store i64 %30, ptr %.sroa.228.0..sroa_idx, align 8, !tbaa !5
  %31 = load i64, ptr %.sroa.273.0..sroa_idx, align 8, !tbaa !5
  %32 = add i64 %31, %641
  store i64 %32, ptr %.sroa.273.0..sroa_idx, align 8, !tbaa !5
  %33 = load i64, ptr %.sroa.318.0..sroa_idx, align 8, !tbaa !5
  %34 = add i64 %33, %597
  store i64 %34, ptr %.sroa.318.0..sroa_idx, align 8, !tbaa !5
  ret void

35:                                               ; preds = %2, %723
  %indvars.iv = phi i64 [ 0, %2 ], [ %indvars.iv.next, %723 ]
  %.sroa.0.0498 = phi i64 [ %.sroa.0.0.copyload, %2 ], [ %739, %723 ]
  %.sroa.48.0497 = phi i64 [ %.sroa.48.0.copyload, %2 ], [ %695, %723 ]
  %.sroa.93.0496 = phi i64 [ %.sroa.93.0.copyload, %2 ], [ %651, %723 ]
  %.sroa.138.0495 = phi i64 [ %.sroa.138.0.copyload, %2 ], [ %607, %723 ]
  %.sroa.183.0494 = phi i64 [ %.sroa.183.0.copyload, %2 ], [ %729, %723 ]
  %.sroa.228.0493 = phi i64 [ %.sroa.228.0.copyload, %2 ], [ %685, %723 ]
  %.sroa.273.0492 = phi i64 [ %.sroa.273.0.copyload, %2 ], [ %641, %723 ]
  %.sroa.318.0491 = phi i64 [ %.sroa.318.0.copyload, %2 ], [ %597, %723 ]
  %.sroa.0338.0490 = phi i64 [ undef, %2 ], [ %63, %723 ]
  %.sroa.12.0489 = phi i64 [ undef, %2 ], [ %108, %723 ]
  %.sroa.22.0488 = phi i64 [ undef, %2 ], [ %152, %723 ]
  %.sroa.32.0487 = phi i64 [ undef, %2 ], [ %196, %723 ]
  %.sroa.42.0486 = phi i64 [ undef, %2 ], [ %240, %723 ]
  %.sroa.52.0485 = phi i64 [ undef, %2 ], [ %284, %723 ]
  %.sroa.62.0484 = phi i64 [ undef, %2 ], [ %328, %723 ]
  %.sroa.72.0483 = phi i64 [ undef, %2 ], [ %372, %723 ]
  %.sroa.82.0482 = phi i64 [ undef, %2 ], [ %416, %723 ]
  %.sroa.92.0481 = phi i64 [ undef, %2 ], [ %460, %723 ]
  %.sroa.102.0480 = phi i64 [ undef, %2 ], [ %504, %723 ]
  %.sroa.112.0479 = phi i64 [ undef, %2 ], [ %548, %723 ]
  %.sroa.122.0478 = phi i64 [ undef, %2 ], [ %592, %723 ]
  %.sroa.132.0477 = phi i64 [ undef, %2 ], [ %636, %723 ]
  %.sroa.142.0476 = phi i64 [ undef, %2 ], [ %680, %723 ]
  %.sroa.152.0475 = phi i64 [ undef, %2 ], [ %724, %723 ]
  %36 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.183.0494, i32 noundef 14)
  %37 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.183.0494, i32 noundef 18)
  %38 = xor i64 %37, %36
  %39 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.183.0494, i32 noundef 41)
  %40 = xor i64 %38, %39
  %41 = xor i64 %.sroa.228.0493, %.sroa.273.0492
  %42 = and i64 %.sroa.183.0494, %41
  %43 = xor i64 %42, %.sroa.273.0492
  %44 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %indvars.iv
  %45 = load i64, ptr %44, align 16, !tbaa !5
  %.not = icmp eq i64 %indvars.iv, 0
  br i1 %.not, label %60, label %46

46:                                               ; preds = %35
  %47 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.142.0476, i32 noundef 19)
  %48 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.142.0476, i32 noundef 61)
  %49 = lshr i64 %.sroa.142.0476, 6
  %50 = xor i64 %47, %49
  %51 = xor i64 %50, %48
  %52 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.12.0489, i32 noundef 1)
  %53 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.12.0489, i32 noundef 8)
  %54 = lshr i64 %.sroa.12.0489, 7
  %55 = xor i64 %52, %54
  %56 = xor i64 %55, %53
  %57 = add i64 %.sroa.0338.0490, %.sroa.92.0481
  %58 = add i64 %57, %51
  %59 = add i64 %58, %56
  br label %62

60:                                               ; preds = %35
  %61 = load i64, ptr %1, align 8, !tbaa !5
  br label %62

62:                                               ; preds = %60, %46
  %63 = phi i64 [ %59, %46 ], [ %61, %60 ]
  %64 = add i64 %43, %.sroa.318.0491
  %65 = add i64 %64, %40
  %66 = add i64 %65, %45
  %67 = add i64 %66, %63
  %68 = add i64 %67, %.sroa.138.0495
  %69 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.0.0498, i32 noundef 28)
  %70 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.0.0498, i32 noundef 34)
  %71 = xor i64 %70, %69
  %72 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.0.0498, i32 noundef 39)
  %73 = xor i64 %71, %72
  %74 = xor i64 %.sroa.0.0498, %.sroa.48.0497
  %75 = xor i64 %.sroa.48.0497, %.sroa.93.0496
  %76 = and i64 %74, %75
  %77 = xor i64 %76, %.sroa.48.0497
  %78 = add i64 %67, %77
  %79 = add i64 %78, %73
  %80 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %68, i32 noundef 14)
  %81 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %68, i32 noundef 18)
  %82 = xor i64 %81, %80
  %83 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %68, i32 noundef 41)
  %84 = xor i64 %82, %83
  %85 = xor i64 %.sroa.183.0494, %.sroa.228.0493
  %86 = and i64 %68, %85
  %87 = xor i64 %86, %.sroa.228.0493
  %88 = or disjoint i64 %indvars.iv, 1
  %89 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %88
  %90 = load i64, ptr %89, align 8, !tbaa !5
  br i1 %.not, label %105, label %91

91:                                               ; preds = %62
  %92 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.152.0475, i32 noundef 19)
  %93 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.152.0475, i32 noundef 61)
  %94 = lshr i64 %.sroa.152.0475, 6
  %95 = xor i64 %92, %94
  %96 = xor i64 %95, %93
  %97 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.22.0488, i32 noundef 1)
  %98 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.22.0488, i32 noundef 8)
  %99 = lshr i64 %.sroa.22.0488, 7
  %100 = xor i64 %97, %99
  %101 = xor i64 %100, %98
  %102 = add i64 %.sroa.12.0489, %.sroa.102.0480
  %103 = add i64 %102, %96
  %104 = add i64 %103, %101
  br label %107

105:                                              ; preds = %62
  %106 = load i64, ptr %3, align 8, !tbaa !5
  br label %107

107:                                              ; preds = %105, %91
  %108 = phi i64 [ %104, %91 ], [ %106, %105 ]
  %109 = add i64 %87, %.sroa.273.0492
  %110 = add i64 %109, %84
  %111 = add i64 %110, %90
  %112 = add i64 %111, %108
  %113 = add i64 %112, %.sroa.93.0496
  %114 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %79, i32 noundef 28)
  %115 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %79, i32 noundef 34)
  %116 = xor i64 %115, %114
  %117 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %79, i32 noundef 39)
  %118 = xor i64 %116, %117
  %119 = xor i64 %79, %.sroa.0.0498
  %120 = and i64 %119, %74
  %121 = xor i64 %120, %.sroa.0.0498
  %122 = add i64 %112, %121
  %123 = add i64 %122, %118
  %124 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %113, i32 noundef 14)
  %125 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %113, i32 noundef 18)
  %126 = xor i64 %125, %124
  %127 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %113, i32 noundef 41)
  %128 = xor i64 %126, %127
  %129 = xor i64 %68, %.sroa.183.0494
  %130 = and i64 %113, %129
  %131 = xor i64 %130, %.sroa.183.0494
  %132 = or disjoint i64 %indvars.iv, 2
  %133 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %132
  %134 = load i64, ptr %133, align 16, !tbaa !5
  br i1 %.not, label %149, label %135

135:                                              ; preds = %107
  %136 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %63, i32 noundef 19)
  %137 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %63, i32 noundef 61)
  %138 = lshr i64 %63, 6
  %139 = xor i64 %136, %138
  %140 = xor i64 %139, %137
  %141 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.32.0487, i32 noundef 1)
  %142 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.32.0487, i32 noundef 8)
  %143 = lshr i64 %.sroa.32.0487, 7
  %144 = xor i64 %141, %143
  %145 = xor i64 %144, %142
  %146 = add i64 %.sroa.22.0488, %.sroa.112.0479
  %147 = add i64 %146, %140
  %148 = add i64 %147, %145
  br label %151

149:                                              ; preds = %107
  %150 = load i64, ptr %4, align 8, !tbaa !5
  br label %151

151:                                              ; preds = %149, %135
  %152 = phi i64 [ %148, %135 ], [ %150, %149 ]
  %153 = add i64 %131, %.sroa.228.0493
  %154 = add i64 %153, %128
  %155 = add i64 %154, %134
  %156 = add i64 %155, %152
  %157 = add i64 %156, %.sroa.48.0497
  %158 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %123, i32 noundef 28)
  %159 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %123, i32 noundef 34)
  %160 = xor i64 %159, %158
  %161 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %123, i32 noundef 39)
  %162 = xor i64 %160, %161
  %163 = xor i64 %123, %79
  %164 = and i64 %163, %119
  %165 = xor i64 %164, %79
  %166 = add i64 %156, %165
  %167 = add i64 %166, %162
  %168 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %157, i32 noundef 14)
  %169 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %157, i32 noundef 18)
  %170 = xor i64 %169, %168
  %171 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %157, i32 noundef 41)
  %172 = xor i64 %170, %171
  %173 = xor i64 %113, %68
  %174 = and i64 %157, %173
  %175 = xor i64 %174, %68
  %176 = or disjoint i64 %indvars.iv, 3
  %177 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %176
  %178 = load i64, ptr %177, align 8, !tbaa !5
  br i1 %.not, label %193, label %179

179:                                              ; preds = %151
  %180 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %108, i32 noundef 19)
  %181 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %108, i32 noundef 61)
  %182 = lshr i64 %108, 6
  %183 = xor i64 %180, %182
  %184 = xor i64 %183, %181
  %185 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.42.0486, i32 noundef 1)
  %186 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.42.0486, i32 noundef 8)
  %187 = lshr i64 %.sroa.42.0486, 7
  %188 = xor i64 %185, %187
  %189 = xor i64 %188, %186
  %190 = add i64 %.sroa.32.0487, %.sroa.122.0478
  %191 = add i64 %190, %184
  %192 = add i64 %191, %189
  br label %195

193:                                              ; preds = %151
  %194 = load i64, ptr %5, align 8, !tbaa !5
  br label %195

195:                                              ; preds = %193, %179
  %196 = phi i64 [ %192, %179 ], [ %194, %193 ]
  %197 = add i64 %175, %.sroa.183.0494
  %198 = add i64 %197, %172
  %199 = add i64 %198, %178
  %200 = add i64 %199, %196
  %201 = add i64 %200, %.sroa.0.0498
  %202 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %167, i32 noundef 28)
  %203 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %167, i32 noundef 34)
  %204 = xor i64 %203, %202
  %205 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %167, i32 noundef 39)
  %206 = xor i64 %204, %205
  %207 = xor i64 %167, %123
  %208 = and i64 %207, %163
  %209 = xor i64 %208, %123
  %210 = add i64 %200, %209
  %211 = add i64 %210, %206
  %212 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %201, i32 noundef 14)
  %213 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %201, i32 noundef 18)
  %214 = xor i64 %213, %212
  %215 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %201, i32 noundef 41)
  %216 = xor i64 %214, %215
  %217 = xor i64 %157, %113
  %218 = and i64 %201, %217
  %219 = xor i64 %218, %113
  %220 = or disjoint i64 %indvars.iv, 4
  %221 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %220
  %222 = load i64, ptr %221, align 16, !tbaa !5
  br i1 %.not, label %237, label %223

223:                                              ; preds = %195
  %224 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %152, i32 noundef 19)
  %225 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %152, i32 noundef 61)
  %226 = lshr i64 %152, 6
  %227 = xor i64 %224, %226
  %228 = xor i64 %227, %225
  %229 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.52.0485, i32 noundef 1)
  %230 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.52.0485, i32 noundef 8)
  %231 = lshr i64 %.sroa.52.0485, 7
  %232 = xor i64 %229, %231
  %233 = xor i64 %232, %230
  %234 = add i64 %.sroa.42.0486, %.sroa.132.0477
  %235 = add i64 %234, %228
  %236 = add i64 %235, %233
  br label %239

237:                                              ; preds = %195
  %238 = load i64, ptr %6, align 8, !tbaa !5
  br label %239

239:                                              ; preds = %237, %223
  %240 = phi i64 [ %236, %223 ], [ %238, %237 ]
  %241 = add i64 %219, %68
  %242 = add i64 %241, %216
  %243 = add i64 %242, %222
  %244 = add i64 %243, %240
  %245 = add i64 %244, %79
  %246 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %211, i32 noundef 28)
  %247 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %211, i32 noundef 34)
  %248 = xor i64 %247, %246
  %249 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %211, i32 noundef 39)
  %250 = xor i64 %248, %249
  %251 = xor i64 %211, %167
  %252 = and i64 %251, %207
  %253 = xor i64 %252, %167
  %254 = add i64 %244, %253
  %255 = add i64 %254, %250
  %256 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %245, i32 noundef 14)
  %257 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %245, i32 noundef 18)
  %258 = xor i64 %257, %256
  %259 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %245, i32 noundef 41)
  %260 = xor i64 %258, %259
  %261 = xor i64 %201, %157
  %262 = and i64 %245, %261
  %263 = xor i64 %262, %157
  %264 = or disjoint i64 %indvars.iv, 5
  %265 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %264
  %266 = load i64, ptr %265, align 8, !tbaa !5
  br i1 %.not, label %281, label %267

267:                                              ; preds = %239
  %268 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %196, i32 noundef 19)
  %269 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %196, i32 noundef 61)
  %270 = lshr i64 %196, 6
  %271 = xor i64 %268, %270
  %272 = xor i64 %271, %269
  %273 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.62.0484, i32 noundef 1)
  %274 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.62.0484, i32 noundef 8)
  %275 = lshr i64 %.sroa.62.0484, 7
  %276 = xor i64 %273, %275
  %277 = xor i64 %276, %274
  %278 = add i64 %.sroa.52.0485, %.sroa.142.0476
  %279 = add i64 %278, %272
  %280 = add i64 %279, %277
  br label %283

281:                                              ; preds = %239
  %282 = load i64, ptr %7, align 8, !tbaa !5
  br label %283

283:                                              ; preds = %281, %267
  %284 = phi i64 [ %280, %267 ], [ %282, %281 ]
  %285 = add i64 %263, %113
  %286 = add i64 %285, %260
  %287 = add i64 %286, %266
  %288 = add i64 %287, %284
  %289 = add i64 %288, %123
  %290 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %255, i32 noundef 28)
  %291 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %255, i32 noundef 34)
  %292 = xor i64 %291, %290
  %293 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %255, i32 noundef 39)
  %294 = xor i64 %292, %293
  %295 = xor i64 %255, %211
  %296 = and i64 %295, %251
  %297 = xor i64 %296, %211
  %298 = add i64 %288, %297
  %299 = add i64 %298, %294
  %300 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %289, i32 noundef 14)
  %301 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %289, i32 noundef 18)
  %302 = xor i64 %301, %300
  %303 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %289, i32 noundef 41)
  %304 = xor i64 %302, %303
  %305 = xor i64 %245, %201
  %306 = and i64 %289, %305
  %307 = xor i64 %306, %201
  %308 = or disjoint i64 %indvars.iv, 6
  %309 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %308
  %310 = load i64, ptr %309, align 16, !tbaa !5
  br i1 %.not, label %325, label %311

311:                                              ; preds = %283
  %312 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %240, i32 noundef 19)
  %313 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %240, i32 noundef 61)
  %314 = lshr i64 %240, 6
  %315 = xor i64 %312, %314
  %316 = xor i64 %315, %313
  %317 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.72.0483, i32 noundef 1)
  %318 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.72.0483, i32 noundef 8)
  %319 = lshr i64 %.sroa.72.0483, 7
  %320 = xor i64 %317, %319
  %321 = xor i64 %320, %318
  %322 = add i64 %.sroa.62.0484, %.sroa.152.0475
  %323 = add i64 %322, %316
  %324 = add i64 %323, %321
  br label %327

325:                                              ; preds = %283
  %326 = load i64, ptr %8, align 8, !tbaa !5
  br label %327

327:                                              ; preds = %325, %311
  %328 = phi i64 [ %324, %311 ], [ %326, %325 ]
  %329 = add i64 %307, %157
  %330 = add i64 %329, %304
  %331 = add i64 %330, %310
  %332 = add i64 %331, %328
  %333 = add i64 %332, %167
  %334 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %299, i32 noundef 28)
  %335 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %299, i32 noundef 34)
  %336 = xor i64 %335, %334
  %337 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %299, i32 noundef 39)
  %338 = xor i64 %336, %337
  %339 = xor i64 %299, %255
  %340 = and i64 %339, %295
  %341 = xor i64 %340, %255
  %342 = add i64 %332, %341
  %343 = add i64 %342, %338
  %344 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %333, i32 noundef 14)
  %345 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %333, i32 noundef 18)
  %346 = xor i64 %345, %344
  %347 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %333, i32 noundef 41)
  %348 = xor i64 %346, %347
  %349 = xor i64 %289, %245
  %350 = and i64 %333, %349
  %351 = xor i64 %350, %245
  %352 = or disjoint i64 %indvars.iv, 7
  %353 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %352
  %354 = load i64, ptr %353, align 8, !tbaa !5
  br i1 %.not, label %369, label %355

355:                                              ; preds = %327
  %356 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %284, i32 noundef 19)
  %357 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %284, i32 noundef 61)
  %358 = lshr i64 %284, 6
  %359 = xor i64 %356, %358
  %360 = xor i64 %359, %357
  %361 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.82.0482, i32 noundef 1)
  %362 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.82.0482, i32 noundef 8)
  %363 = lshr i64 %.sroa.82.0482, 7
  %364 = xor i64 %361, %363
  %365 = xor i64 %364, %362
  %366 = add i64 %63, %.sroa.72.0483
  %367 = add i64 %366, %360
  %368 = add i64 %367, %365
  br label %371

369:                                              ; preds = %327
  %370 = load i64, ptr %9, align 8, !tbaa !5
  br label %371

371:                                              ; preds = %369, %355
  %372 = phi i64 [ %368, %355 ], [ %370, %369 ]
  %373 = add i64 %351, %201
  %374 = add i64 %373, %348
  %375 = add i64 %374, %354
  %376 = add i64 %375, %372
  %377 = add i64 %376, %211
  %378 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %343, i32 noundef 28)
  %379 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %343, i32 noundef 34)
  %380 = xor i64 %379, %378
  %381 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %343, i32 noundef 39)
  %382 = xor i64 %380, %381
  %383 = xor i64 %343, %299
  %384 = and i64 %383, %339
  %385 = xor i64 %384, %299
  %386 = add i64 %376, %385
  %387 = add i64 %386, %382
  %388 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %377, i32 noundef 14)
  %389 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %377, i32 noundef 18)
  %390 = xor i64 %389, %388
  %391 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %377, i32 noundef 41)
  %392 = xor i64 %390, %391
  %393 = xor i64 %333, %289
  %394 = and i64 %377, %393
  %395 = xor i64 %394, %289
  %396 = or disjoint i64 %indvars.iv, 8
  %397 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %396
  %398 = load i64, ptr %397, align 16, !tbaa !5
  br i1 %.not, label %413, label %399

399:                                              ; preds = %371
  %400 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %328, i32 noundef 19)
  %401 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %328, i32 noundef 61)
  %402 = lshr i64 %328, 6
  %403 = xor i64 %400, %402
  %404 = xor i64 %403, %401
  %405 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.92.0481, i32 noundef 1)
  %406 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.92.0481, i32 noundef 8)
  %407 = lshr i64 %.sroa.92.0481, 7
  %408 = xor i64 %405, %407
  %409 = xor i64 %408, %406
  %410 = add i64 %108, %.sroa.82.0482
  %411 = add i64 %410, %404
  %412 = add i64 %411, %409
  br label %415

413:                                              ; preds = %371
  %414 = load i64, ptr %10, align 8, !tbaa !5
  br label %415

415:                                              ; preds = %413, %399
  %416 = phi i64 [ %412, %399 ], [ %414, %413 ]
  %417 = add i64 %395, %245
  %418 = add i64 %417, %392
  %419 = add i64 %418, %398
  %420 = add i64 %419, %416
  %421 = add i64 %420, %255
  %422 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %387, i32 noundef 28)
  %423 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %387, i32 noundef 34)
  %424 = xor i64 %423, %422
  %425 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %387, i32 noundef 39)
  %426 = xor i64 %424, %425
  %427 = xor i64 %387, %343
  %428 = and i64 %427, %383
  %429 = xor i64 %428, %343
  %430 = add i64 %420, %429
  %431 = add i64 %430, %426
  %432 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %421, i32 noundef 14)
  %433 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %421, i32 noundef 18)
  %434 = xor i64 %433, %432
  %435 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %421, i32 noundef 41)
  %436 = xor i64 %434, %435
  %437 = xor i64 %377, %333
  %438 = and i64 %421, %437
  %439 = xor i64 %438, %333
  %440 = or disjoint i64 %indvars.iv, 9
  %441 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %440
  %442 = load i64, ptr %441, align 8, !tbaa !5
  br i1 %.not, label %457, label %443

443:                                              ; preds = %415
  %444 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %372, i32 noundef 19)
  %445 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %372, i32 noundef 61)
  %446 = lshr i64 %372, 6
  %447 = xor i64 %444, %446
  %448 = xor i64 %447, %445
  %449 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.102.0480, i32 noundef 1)
  %450 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.102.0480, i32 noundef 8)
  %451 = lshr i64 %.sroa.102.0480, 7
  %452 = xor i64 %449, %451
  %453 = xor i64 %452, %450
  %454 = add i64 %152, %.sroa.92.0481
  %455 = add i64 %454, %448
  %456 = add i64 %455, %453
  br label %459

457:                                              ; preds = %415
  %458 = load i64, ptr %11, align 8, !tbaa !5
  br label %459

459:                                              ; preds = %457, %443
  %460 = phi i64 [ %456, %443 ], [ %458, %457 ]
  %461 = add i64 %439, %289
  %462 = add i64 %461, %436
  %463 = add i64 %462, %442
  %464 = add i64 %463, %460
  %465 = add i64 %464, %299
  %466 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %431, i32 noundef 28)
  %467 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %431, i32 noundef 34)
  %468 = xor i64 %467, %466
  %469 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %431, i32 noundef 39)
  %470 = xor i64 %468, %469
  %471 = xor i64 %431, %387
  %472 = and i64 %471, %427
  %473 = xor i64 %472, %387
  %474 = add i64 %464, %473
  %475 = add i64 %474, %470
  %476 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %465, i32 noundef 14)
  %477 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %465, i32 noundef 18)
  %478 = xor i64 %477, %476
  %479 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %465, i32 noundef 41)
  %480 = xor i64 %478, %479
  %481 = xor i64 %421, %377
  %482 = and i64 %465, %481
  %483 = xor i64 %482, %377
  %484 = or disjoint i64 %indvars.iv, 10
  %485 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %484
  %486 = load i64, ptr %485, align 16, !tbaa !5
  br i1 %.not, label %501, label %487

487:                                              ; preds = %459
  %488 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %416, i32 noundef 19)
  %489 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %416, i32 noundef 61)
  %490 = lshr i64 %416, 6
  %491 = xor i64 %488, %490
  %492 = xor i64 %491, %489
  %493 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.112.0479, i32 noundef 1)
  %494 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.112.0479, i32 noundef 8)
  %495 = lshr i64 %.sroa.112.0479, 7
  %496 = xor i64 %493, %495
  %497 = xor i64 %496, %494
  %498 = add i64 %196, %.sroa.102.0480
  %499 = add i64 %498, %492
  %500 = add i64 %499, %497
  br label %503

501:                                              ; preds = %459
  %502 = load i64, ptr %12, align 8, !tbaa !5
  br label %503

503:                                              ; preds = %501, %487
  %504 = phi i64 [ %500, %487 ], [ %502, %501 ]
  %505 = add i64 %483, %333
  %506 = add i64 %505, %480
  %507 = add i64 %506, %486
  %508 = add i64 %507, %504
  %509 = add i64 %508, %343
  %510 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %475, i32 noundef 28)
  %511 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %475, i32 noundef 34)
  %512 = xor i64 %511, %510
  %513 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %475, i32 noundef 39)
  %514 = xor i64 %512, %513
  %515 = xor i64 %475, %431
  %516 = and i64 %515, %471
  %517 = xor i64 %516, %431
  %518 = add i64 %508, %517
  %519 = add i64 %518, %514
  %520 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %509, i32 noundef 14)
  %521 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %509, i32 noundef 18)
  %522 = xor i64 %521, %520
  %523 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %509, i32 noundef 41)
  %524 = xor i64 %522, %523
  %525 = xor i64 %465, %421
  %526 = and i64 %509, %525
  %527 = xor i64 %526, %421
  %528 = or disjoint i64 %indvars.iv, 11
  %529 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %528
  %530 = load i64, ptr %529, align 8, !tbaa !5
  br i1 %.not, label %545, label %531

531:                                              ; preds = %503
  %532 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %460, i32 noundef 19)
  %533 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %460, i32 noundef 61)
  %534 = lshr i64 %460, 6
  %535 = xor i64 %532, %534
  %536 = xor i64 %535, %533
  %537 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.122.0478, i32 noundef 1)
  %538 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.122.0478, i32 noundef 8)
  %539 = lshr i64 %.sroa.122.0478, 7
  %540 = xor i64 %537, %539
  %541 = xor i64 %540, %538
  %542 = add i64 %240, %.sroa.112.0479
  %543 = add i64 %542, %536
  %544 = add i64 %543, %541
  br label %547

545:                                              ; preds = %503
  %546 = load i64, ptr %13, align 8, !tbaa !5
  br label %547

547:                                              ; preds = %545, %531
  %548 = phi i64 [ %544, %531 ], [ %546, %545 ]
  %549 = add i64 %527, %377
  %550 = add i64 %549, %524
  %551 = add i64 %550, %530
  %552 = add i64 %551, %548
  %553 = add i64 %552, %387
  %554 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %519, i32 noundef 28)
  %555 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %519, i32 noundef 34)
  %556 = xor i64 %555, %554
  %557 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %519, i32 noundef 39)
  %558 = xor i64 %556, %557
  %559 = xor i64 %519, %475
  %560 = and i64 %559, %515
  %561 = xor i64 %560, %475
  %562 = add i64 %552, %561
  %563 = add i64 %562, %558
  %564 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %553, i32 noundef 14)
  %565 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %553, i32 noundef 18)
  %566 = xor i64 %565, %564
  %567 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %553, i32 noundef 41)
  %568 = xor i64 %566, %567
  %569 = xor i64 %509, %465
  %570 = and i64 %553, %569
  %571 = xor i64 %570, %465
  %572 = or disjoint i64 %indvars.iv, 12
  %573 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %572
  %574 = load i64, ptr %573, align 16, !tbaa !5
  br i1 %.not, label %589, label %575

575:                                              ; preds = %547
  %576 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %504, i32 noundef 19)
  %577 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %504, i32 noundef 61)
  %578 = lshr i64 %504, 6
  %579 = xor i64 %576, %578
  %580 = xor i64 %579, %577
  %581 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.132.0477, i32 noundef 1)
  %582 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.132.0477, i32 noundef 8)
  %583 = lshr i64 %.sroa.132.0477, 7
  %584 = xor i64 %581, %583
  %585 = xor i64 %584, %582
  %586 = add i64 %284, %.sroa.122.0478
  %587 = add i64 %586, %580
  %588 = add i64 %587, %585
  br label %591

589:                                              ; preds = %547
  %590 = load i64, ptr %14, align 8, !tbaa !5
  br label %591

591:                                              ; preds = %589, %575
  %592 = phi i64 [ %588, %575 ], [ %590, %589 ]
  %593 = add i64 %571, %421
  %594 = add i64 %593, %568
  %595 = add i64 %594, %574
  %596 = add i64 %595, %592
  %597 = add i64 %596, %431
  %598 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %563, i32 noundef 28)
  %599 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %563, i32 noundef 34)
  %600 = xor i64 %599, %598
  %601 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %563, i32 noundef 39)
  %602 = xor i64 %600, %601
  %603 = xor i64 %563, %519
  %604 = and i64 %603, %559
  %605 = xor i64 %604, %519
  %606 = add i64 %596, %605
  %607 = add i64 %606, %602
  %608 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %597, i32 noundef 14)
  %609 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %597, i32 noundef 18)
  %610 = xor i64 %609, %608
  %611 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %597, i32 noundef 41)
  %612 = xor i64 %610, %611
  %613 = xor i64 %553, %509
  %614 = and i64 %597, %613
  %615 = xor i64 %614, %509
  %616 = or disjoint i64 %indvars.iv, 13
  %617 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %616
  %618 = load i64, ptr %617, align 8, !tbaa !5
  br i1 %.not, label %633, label %619

619:                                              ; preds = %591
  %620 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %548, i32 noundef 19)
  %621 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %548, i32 noundef 61)
  %622 = lshr i64 %548, 6
  %623 = xor i64 %620, %622
  %624 = xor i64 %623, %621
  %625 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.142.0476, i32 noundef 1)
  %626 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.142.0476, i32 noundef 8)
  %627 = lshr i64 %.sroa.142.0476, 7
  %628 = xor i64 %625, %627
  %629 = xor i64 %628, %626
  %630 = add i64 %328, %.sroa.132.0477
  %631 = add i64 %630, %624
  %632 = add i64 %631, %629
  br label %635

633:                                              ; preds = %591
  %634 = load i64, ptr %15, align 8, !tbaa !5
  br label %635

635:                                              ; preds = %633, %619
  %636 = phi i64 [ %632, %619 ], [ %634, %633 ]
  %637 = add i64 %615, %465
  %638 = add i64 %637, %612
  %639 = add i64 %638, %618
  %640 = add i64 %639, %636
  %641 = add i64 %640, %475
  %642 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %607, i32 noundef 28)
  %643 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %607, i32 noundef 34)
  %644 = xor i64 %643, %642
  %645 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %607, i32 noundef 39)
  %646 = xor i64 %644, %645
  %647 = xor i64 %607, %563
  %648 = and i64 %647, %603
  %649 = xor i64 %648, %563
  %650 = add i64 %640, %649
  %651 = add i64 %650, %646
  %652 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %641, i32 noundef 14)
  %653 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %641, i32 noundef 18)
  %654 = xor i64 %653, %652
  %655 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %641, i32 noundef 41)
  %656 = xor i64 %654, %655
  %657 = xor i64 %597, %553
  %658 = and i64 %641, %657
  %659 = xor i64 %658, %553
  %660 = or disjoint i64 %indvars.iv, 14
  %661 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %660
  %662 = load i64, ptr %661, align 16, !tbaa !5
  br i1 %.not, label %677, label %663

663:                                              ; preds = %635
  %664 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %592, i32 noundef 19)
  %665 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %592, i32 noundef 61)
  %666 = lshr i64 %592, 6
  %667 = xor i64 %664, %666
  %668 = xor i64 %667, %665
  %669 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.152.0475, i32 noundef 1)
  %670 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %.sroa.152.0475, i32 noundef 8)
  %671 = lshr i64 %.sroa.152.0475, 7
  %672 = xor i64 %669, %671
  %673 = xor i64 %672, %670
  %674 = add i64 %372, %.sroa.142.0476
  %675 = add i64 %674, %668
  %676 = add i64 %675, %673
  br label %679

677:                                              ; preds = %635
  %678 = load i64, ptr %16, align 8, !tbaa !5
  br label %679

679:                                              ; preds = %677, %663
  %680 = phi i64 [ %676, %663 ], [ %678, %677 ]
  %681 = add i64 %659, %509
  %682 = add i64 %681, %656
  %683 = add i64 %682, %662
  %684 = add i64 %683, %680
  %685 = add i64 %684, %519
  %686 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %651, i32 noundef 28)
  %687 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %651, i32 noundef 34)
  %688 = xor i64 %687, %686
  %689 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %651, i32 noundef 39)
  %690 = xor i64 %688, %689
  %691 = xor i64 %651, %607
  %692 = and i64 %691, %647
  %693 = xor i64 %692, %607
  %694 = add i64 %684, %693
  %695 = add i64 %694, %690
  %696 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %685, i32 noundef 14)
  %697 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %685, i32 noundef 18)
  %698 = xor i64 %697, %696
  %699 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %685, i32 noundef 41)
  %700 = xor i64 %698, %699
  %701 = xor i64 %641, %597
  %702 = and i64 %685, %701
  %703 = xor i64 %702, %597
  %704 = or disjoint i64 %indvars.iv, 15
  %705 = getelementptr inbounds [80 x i64], ptr @_ZN8CryptoPPL8SHA512_KE, i64 0, i64 %704
  %706 = load i64, ptr %705, align 8, !tbaa !5
  br i1 %.not, label %721, label %707

707:                                              ; preds = %679
  %708 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %636, i32 noundef 19)
  %709 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %636, i32 noundef 61)
  %710 = lshr i64 %636, 6
  %711 = xor i64 %708, %710
  %712 = xor i64 %711, %709
  %713 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %63, i32 noundef 1)
  %714 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %63, i32 noundef 8)
  %715 = lshr i64 %63, 7
  %716 = xor i64 %713, %715
  %717 = xor i64 %716, %714
  %718 = add i64 %416, %.sroa.152.0475
  %719 = add i64 %718, %712
  %720 = add i64 %719, %717
  br label %723

721:                                              ; preds = %679
  %722 = load i64, ptr %17, align 8, !tbaa !5
  br label %723

723:                                              ; preds = %721, %707
  %724 = phi i64 [ %720, %707 ], [ %722, %721 ]
  %725 = add i64 %703, %553
  %726 = add i64 %725, %700
  %727 = add i64 %726, %706
  %728 = add i64 %727, %724
  %729 = add i64 %728, %563
  %730 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %695, i32 noundef 28)
  %731 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %695, i32 noundef 34)
  %732 = xor i64 %731, %730
  %733 = tail call noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef %695, i32 noundef 39)
  %734 = xor i64 %732, %733
  %735 = xor i64 %695, %651
  %736 = and i64 %735, %691
  %737 = xor i64 %736, %651
  %738 = add i64 %728, %737
  %739 = add i64 %738, %734
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 16
  %740 = icmp ult i64 %indvars.iv, 64
  br i1 %740, label %35, label %18, !llvm.loop !9
}

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN8CryptoPP9rotrFixedIyEET_S1_j(i64 noundef, i32 noundef) local_unnamed_addr #1

attributes #0 = { 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 #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" }

!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 = !{!"long long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LICMPass,LoopRotatePass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass