; LLVM IR from ARMmbed/mbed-crypto :: library (sha512)

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

%struct.mbedtls_sha512_context = type { [2 x i64], [8 x i64], [128 x i8], i32 }

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

; Function Attrs: nounwind uwtable
define dso_local i32 @mbedtls_internal_sha512_process(ptr noundef %0, ptr noundef %1) #0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i64, align 8
  %7 = alloca i64, align 8
  %8 = alloca [80 x i64], align 16
  %9 = alloca [8 x i64], align 16
  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 4, ptr %5) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #2
  call void @llvm.lifetime.start.p0(i64 640, ptr %8) #2
  call void @llvm.lifetime.start.p0(i64 64, ptr %9) #2
  br label %10

10:                                               ; preds = %2
  br label %11

11:                                               ; preds = %10
  br label %12

12:                                               ; preds = %11
  br label %13

13:                                               ; preds = %12
  br label %14

14:                                               ; preds = %13
  br label %15

15:                                               ; preds = %14
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %16

16:                                               ; preds = %29, %15
  %17 = load i32, ptr %5, align 4, !tbaa !9
  %18 = icmp slt i32 %17, 8
  br i1 %18, label %19, label %32

19:                                               ; preds = %16
  %20 = load ptr, ptr %3, align 8, !tbaa !5
  %21 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %20, i32 0, i32 1
  %22 = load i32, ptr %5, align 4, !tbaa !9
  %23 = sext i32 %22 to i64
  %24 = getelementptr inbounds [8 x i64], ptr %21, i64 0, i64 %23
  %25 = load i64, ptr %24, align 8, !tbaa !11
  %26 = load i32, ptr %5, align 4, !tbaa !9
  %27 = sext i32 %26 to i64
  %28 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 %27
  store i64 %25, ptr %28, align 8, !tbaa !11
  br label %29

29:                                               ; preds = %19
  %30 = load i32, ptr %5, align 4, !tbaa !9
  %31 = add nsw i32 %30, 1
  store i32 %31, ptr %5, align 4, !tbaa !9
  br label %16, !llvm.loop !13

32:                                               ; preds = %16
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %33

33:                                               ; preds = %117, %32
  %34 = load i32, ptr %5, align 4, !tbaa !9
  %35 = icmp slt i32 %34, 16
  br i1 %35, label %36, label %120

36:                                               ; preds = %33
  %37 = load ptr, ptr %4, align 8, !tbaa !5
  %38 = load i32, ptr %5, align 4, !tbaa !9
  %39 = shl i32 %38, 3
  %40 = sext i32 %39 to i64
  %41 = getelementptr inbounds i8, ptr %37, i64 %40
  %42 = load i8, ptr %41, align 1, !tbaa !15
  %43 = zext i8 %42 to i64
  %44 = shl i64 %43, 56
  %45 = load ptr, ptr %4, align 8, !tbaa !5
  %46 = load i32, ptr %5, align 4, !tbaa !9
  %47 = shl i32 %46, 3
  %48 = add nsw i32 %47, 1
  %49 = sext i32 %48 to i64
  %50 = getelementptr inbounds i8, ptr %45, i64 %49
  %51 = load i8, ptr %50, align 1, !tbaa !15
  %52 = zext i8 %51 to i64
  %53 = shl i64 %52, 48
  %54 = or i64 %44, %53
  %55 = load ptr, ptr %4, align 8, !tbaa !5
  %56 = load i32, ptr %5, align 4, !tbaa !9
  %57 = shl i32 %56, 3
  %58 = add nsw i32 %57, 2
  %59 = sext i32 %58 to i64
  %60 = getelementptr inbounds i8, ptr %55, i64 %59
  %61 = load i8, ptr %60, align 1, !tbaa !15
  %62 = zext i8 %61 to i64
  %63 = shl i64 %62, 40
  %64 = or i64 %54, %63
  %65 = load ptr, ptr %4, align 8, !tbaa !5
  %66 = load i32, ptr %5, align 4, !tbaa !9
  %67 = shl i32 %66, 3
  %68 = add nsw i32 %67, 3
  %69 = sext i32 %68 to i64
  %70 = getelementptr inbounds i8, ptr %65, i64 %69
  %71 = load i8, ptr %70, align 1, !tbaa !15
  %72 = zext i8 %71 to i64
  %73 = shl i64 %72, 32
  %74 = or i64 %64, %73
  %75 = load ptr, ptr %4, align 8, !tbaa !5
  %76 = load i32, ptr %5, align 4, !tbaa !9
  %77 = shl i32 %76, 3
  %78 = add nsw i32 %77, 4
  %79 = sext i32 %78 to i64
  %80 = getelementptr inbounds i8, ptr %75, i64 %79
  %81 = load i8, ptr %80, align 1, !tbaa !15
  %82 = zext i8 %81 to i64
  %83 = shl i64 %82, 24
  %84 = or i64 %74, %83
  %85 = load ptr, ptr %4, align 8, !tbaa !5
  %86 = load i32, ptr %5, align 4, !tbaa !9
  %87 = shl i32 %86, 3
  %88 = add nsw i32 %87, 5
  %89 = sext i32 %88 to i64
  %90 = getelementptr inbounds i8, ptr %85, i64 %89
  %91 = load i8, ptr %90, align 1, !tbaa !15
  %92 = zext i8 %91 to i64
  %93 = shl i64 %92, 16
  %94 = or i64 %84, %93
  %95 = load ptr, ptr %4, align 8, !tbaa !5
  %96 = load i32, ptr %5, align 4, !tbaa !9
  %97 = shl i32 %96, 3
  %98 = add nsw i32 %97, 6
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds i8, ptr %95, i64 %99
  %101 = load i8, ptr %100, align 1, !tbaa !15
  %102 = zext i8 %101 to i64
  %103 = shl i64 %102, 8
  %104 = or i64 %94, %103
  %105 = load ptr, ptr %4, align 8, !tbaa !5
  %106 = load i32, ptr %5, align 4, !tbaa !9
  %107 = shl i32 %106, 3
  %108 = add nsw i32 %107, 7
  %109 = sext i32 %108 to i64
  %110 = getelementptr inbounds i8, ptr %105, i64 %109
  %111 = load i8, ptr %110, align 1, !tbaa !15
  %112 = zext i8 %111 to i64
  %113 = or i64 %104, %112
  %114 = load i32, ptr %5, align 4, !tbaa !9
  %115 = sext i32 %114 to i64
  %116 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %115
  store i64 %113, ptr %116, align 8, !tbaa !11
  br label %117

117:                                              ; preds = %36
  %118 = load i32, ptr %5, align 4, !tbaa !9
  %119 = add nsw i32 %118, 1
  store i32 %119, ptr %5, align 4, !tbaa !9
  br label %33, !llvm.loop !16

120:                                              ; preds = %33
  br label %121

121:                                              ; preds = %209, %120
  %122 = load i32, ptr %5, align 4, !tbaa !9
  %123 = icmp slt i32 %122, 80
  br i1 %123, label %124, label %212

124:                                              ; preds = %121
  %125 = load i32, ptr %5, align 4, !tbaa !9
  %126 = sub nsw i32 %125, 2
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %127
  %129 = load i64, ptr %128, align 8, !tbaa !11
  %130 = lshr i64 %129, 19
  %131 = load i32, ptr %5, align 4, !tbaa !9
  %132 = sub nsw i32 %131, 2
  %133 = sext i32 %132 to i64
  %134 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %133
  %135 = load i64, ptr %134, align 8, !tbaa !11
  %136 = shl i64 %135, 45
  %137 = or i64 %130, %136
  %138 = load i32, ptr %5, align 4, !tbaa !9
  %139 = sub nsw i32 %138, 2
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %140
  %142 = load i64, ptr %141, align 8, !tbaa !11
  %143 = lshr i64 %142, 61
  %144 = load i32, ptr %5, align 4, !tbaa !9
  %145 = sub nsw i32 %144, 2
  %146 = sext i32 %145 to i64
  %147 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %146
  %148 = load i64, ptr %147, align 8, !tbaa !11
  %149 = shl i64 %148, 3
  %150 = or i64 %143, %149
  %151 = xor i64 %137, %150
  %152 = load i32, ptr %5, align 4, !tbaa !9
  %153 = sub nsw i32 %152, 2
  %154 = sext i32 %153 to i64
  %155 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %154
  %156 = load i64, ptr %155, align 8, !tbaa !11
  %157 = lshr i64 %156, 6
  %158 = xor i64 %151, %157
  %159 = load i32, ptr %5, align 4, !tbaa !9
  %160 = sub nsw i32 %159, 7
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %161
  %163 = load i64, ptr %162, align 8, !tbaa !11
  %164 = add i64 %158, %163
  %165 = load i32, ptr %5, align 4, !tbaa !9
  %166 = sub nsw i32 %165, 15
  %167 = sext i32 %166 to i64
  %168 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %167
  %169 = load i64, ptr %168, align 8, !tbaa !11
  %170 = lshr i64 %169, 1
  %171 = load i32, ptr %5, align 4, !tbaa !9
  %172 = sub nsw i32 %171, 15
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %173
  %175 = load i64, ptr %174, align 8, !tbaa !11
  %176 = shl i64 %175, 63
  %177 = or i64 %170, %176
  %178 = load i32, ptr %5, align 4, !tbaa !9
  %179 = sub nsw i32 %178, 15
  %180 = sext i32 %179 to i64
  %181 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %180
  %182 = load i64, ptr %181, align 8, !tbaa !11
  %183 = lshr i64 %182, 8
  %184 = load i32, ptr %5, align 4, !tbaa !9
  %185 = sub nsw i32 %184, 15
  %186 = sext i32 %185 to i64
  %187 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %186
  %188 = load i64, ptr %187, align 8, !tbaa !11
  %189 = shl i64 %188, 56
  %190 = or i64 %183, %189
  %191 = xor i64 %177, %190
  %192 = load i32, ptr %5, align 4, !tbaa !9
  %193 = sub nsw i32 %192, 15
  %194 = sext i32 %193 to i64
  %195 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %194
  %196 = load i64, ptr %195, align 8, !tbaa !11
  %197 = lshr i64 %196, 7
  %198 = xor i64 %191, %197
  %199 = add i64 %164, %198
  %200 = load i32, ptr %5, align 4, !tbaa !9
  %201 = sub nsw i32 %200, 16
  %202 = sext i32 %201 to i64
  %203 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %202
  %204 = load i64, ptr %203, align 8, !tbaa !11
  %205 = add i64 %199, %204
  %206 = load i32, ptr %5, align 4, !tbaa !9
  %207 = sext i32 %206 to i64
  %208 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %207
  store i64 %205, ptr %208, align 8, !tbaa !11
  br label %209

209:                                              ; preds = %124
  %210 = load i32, ptr %5, align 4, !tbaa !9
  %211 = add nsw i32 %210, 1
  store i32 %211, ptr %5, align 4, !tbaa !9
  br label %121, !llvm.loop !17

212:                                              ; preds = %121
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %213

213:                                              ; preds = %1006, %212
  br label %214

214:                                              ; preds = %213
  %215 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %216 = load i64, ptr %215, align 8, !tbaa !11
  %217 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %218 = load i64, ptr %217, align 16, !tbaa !11
  %219 = lshr i64 %218, 14
  %220 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %221 = load i64, ptr %220, align 16, !tbaa !11
  %222 = shl i64 %221, 50
  %223 = or i64 %219, %222
  %224 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %225 = load i64, ptr %224, align 16, !tbaa !11
  %226 = lshr i64 %225, 18
  %227 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %228 = load i64, ptr %227, align 16, !tbaa !11
  %229 = shl i64 %228, 46
  %230 = or i64 %226, %229
  %231 = xor i64 %223, %230
  %232 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %233 = load i64, ptr %232, align 16, !tbaa !11
  %234 = lshr i64 %233, 41
  %235 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %236 = load i64, ptr %235, align 16, !tbaa !11
  %237 = shl i64 %236, 23
  %238 = or i64 %234, %237
  %239 = xor i64 %231, %238
  %240 = add i64 %216, %239
  %241 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %242 = load i64, ptr %241, align 16, !tbaa !11
  %243 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %244 = load i64, ptr %243, align 16, !tbaa !11
  %245 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %246 = load i64, ptr %245, align 8, !tbaa !11
  %247 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %248 = load i64, ptr %247, align 16, !tbaa !11
  %249 = xor i64 %246, %248
  %250 = and i64 %244, %249
  %251 = xor i64 %242, %250
  %252 = add i64 %240, %251
  %253 = load i32, ptr %5, align 4, !tbaa !9
  %254 = sext i32 %253 to i64
  %255 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %254
  %256 = load i64, ptr %255, align 8, !tbaa !11
  %257 = add i64 %252, %256
  %258 = load i32, ptr %5, align 4, !tbaa !9
  %259 = sext i32 %258 to i64
  %260 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %259
  %261 = load i64, ptr %260, align 8, !tbaa !11
  %262 = add i64 %257, %261
  store i64 %262, ptr %6, align 8, !tbaa !11
  %263 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %264 = load i64, ptr %263, align 16, !tbaa !11
  %265 = lshr i64 %264, 28
  %266 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %267 = load i64, ptr %266, align 16, !tbaa !11
  %268 = shl i64 %267, 36
  %269 = or i64 %265, %268
  %270 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %271 = load i64, ptr %270, align 16, !tbaa !11
  %272 = lshr i64 %271, 34
  %273 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %274 = load i64, ptr %273, align 16, !tbaa !11
  %275 = shl i64 %274, 30
  %276 = or i64 %272, %275
  %277 = xor i64 %269, %276
  %278 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %279 = load i64, ptr %278, align 16, !tbaa !11
  %280 = lshr i64 %279, 39
  %281 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %282 = load i64, ptr %281, align 16, !tbaa !11
  %283 = shl i64 %282, 25
  %284 = or i64 %280, %283
  %285 = xor i64 %277, %284
  %286 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %287 = load i64, ptr %286, align 16, !tbaa !11
  %288 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %289 = load i64, ptr %288, align 8, !tbaa !11
  %290 = and i64 %287, %289
  %291 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %292 = load i64, ptr %291, align 16, !tbaa !11
  %293 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %294 = load i64, ptr %293, align 16, !tbaa !11
  %295 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %296 = load i64, ptr %295, align 8, !tbaa !11
  %297 = or i64 %294, %296
  %298 = and i64 %292, %297
  %299 = or i64 %290, %298
  %300 = add i64 %285, %299
  store i64 %300, ptr %7, align 8, !tbaa !11
  %301 = load i64, ptr %6, align 8, !tbaa !11
  %302 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %303 = load i64, ptr %302, align 8, !tbaa !11
  %304 = add i64 %303, %301
  store i64 %304, ptr %302, align 8, !tbaa !11
  %305 = load i64, ptr %6, align 8, !tbaa !11
  %306 = load i64, ptr %7, align 8, !tbaa !11
  %307 = add i64 %305, %306
  %308 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  store i64 %307, ptr %308, align 8, !tbaa !11
  br label %309

309:                                              ; preds = %214
  br label %310

310:                                              ; preds = %309
  %311 = load i32, ptr %5, align 4, !tbaa !9
  %312 = add nsw i32 %311, 1
  store i32 %312, ptr %5, align 4, !tbaa !9
  br label %313

313:                                              ; preds = %310
  %314 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %315 = load i64, ptr %314, align 16, !tbaa !11
  %316 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %317 = load i64, ptr %316, align 8, !tbaa !11
  %318 = lshr i64 %317, 14
  %319 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %320 = load i64, ptr %319, align 8, !tbaa !11
  %321 = shl i64 %320, 50
  %322 = or i64 %318, %321
  %323 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %324 = load i64, ptr %323, align 8, !tbaa !11
  %325 = lshr i64 %324, 18
  %326 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %327 = load i64, ptr %326, align 8, !tbaa !11
  %328 = shl i64 %327, 46
  %329 = or i64 %325, %328
  %330 = xor i64 %322, %329
  %331 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %332 = load i64, ptr %331, align 8, !tbaa !11
  %333 = lshr i64 %332, 41
  %334 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %335 = load i64, ptr %334, align 8, !tbaa !11
  %336 = shl i64 %335, 23
  %337 = or i64 %333, %336
  %338 = xor i64 %330, %337
  %339 = add i64 %315, %338
  %340 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %341 = load i64, ptr %340, align 8, !tbaa !11
  %342 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %343 = load i64, ptr %342, align 8, !tbaa !11
  %344 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %345 = load i64, ptr %344, align 16, !tbaa !11
  %346 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %347 = load i64, ptr %346, align 8, !tbaa !11
  %348 = xor i64 %345, %347
  %349 = and i64 %343, %348
  %350 = xor i64 %341, %349
  %351 = add i64 %339, %350
  %352 = load i32, ptr %5, align 4, !tbaa !9
  %353 = sext i32 %352 to i64
  %354 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %353
  %355 = load i64, ptr %354, align 8, !tbaa !11
  %356 = add i64 %351, %355
  %357 = load i32, ptr %5, align 4, !tbaa !9
  %358 = sext i32 %357 to i64
  %359 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %358
  %360 = load i64, ptr %359, align 8, !tbaa !11
  %361 = add i64 %356, %360
  store i64 %361, ptr %6, align 8, !tbaa !11
  %362 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %363 = load i64, ptr %362, align 8, !tbaa !11
  %364 = lshr i64 %363, 28
  %365 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %366 = load i64, ptr %365, align 8, !tbaa !11
  %367 = shl i64 %366, 36
  %368 = or i64 %364, %367
  %369 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %370 = load i64, ptr %369, align 8, !tbaa !11
  %371 = lshr i64 %370, 34
  %372 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %373 = load i64, ptr %372, align 8, !tbaa !11
  %374 = shl i64 %373, 30
  %375 = or i64 %371, %374
  %376 = xor i64 %368, %375
  %377 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %378 = load i64, ptr %377, align 8, !tbaa !11
  %379 = lshr i64 %378, 39
  %380 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %381 = load i64, ptr %380, align 8, !tbaa !11
  %382 = shl i64 %381, 25
  %383 = or i64 %379, %382
  %384 = xor i64 %376, %383
  %385 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %386 = load i64, ptr %385, align 8, !tbaa !11
  %387 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %388 = load i64, ptr %387, align 16, !tbaa !11
  %389 = and i64 %386, %388
  %390 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %391 = load i64, ptr %390, align 8, !tbaa !11
  %392 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %393 = load i64, ptr %392, align 8, !tbaa !11
  %394 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %395 = load i64, ptr %394, align 16, !tbaa !11
  %396 = or i64 %393, %395
  %397 = and i64 %391, %396
  %398 = or i64 %389, %397
  %399 = add i64 %384, %398
  store i64 %399, ptr %7, align 8, !tbaa !11
  %400 = load i64, ptr %6, align 8, !tbaa !11
  %401 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %402 = load i64, ptr %401, align 16, !tbaa !11
  %403 = add i64 %402, %400
  store i64 %403, ptr %401, align 16, !tbaa !11
  %404 = load i64, ptr %6, align 8, !tbaa !11
  %405 = load i64, ptr %7, align 8, !tbaa !11
  %406 = add i64 %404, %405
  %407 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  store i64 %406, ptr %407, align 16, !tbaa !11
  br label %408

408:                                              ; preds = %313
  br label %409

409:                                              ; preds = %408
  %410 = load i32, ptr %5, align 4, !tbaa !9
  %411 = add nsw i32 %410, 1
  store i32 %411, ptr %5, align 4, !tbaa !9
  br label %412

412:                                              ; preds = %409
  %413 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %414 = load i64, ptr %413, align 8, !tbaa !11
  %415 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %416 = load i64, ptr %415, align 16, !tbaa !11
  %417 = lshr i64 %416, 14
  %418 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %419 = load i64, ptr %418, align 16, !tbaa !11
  %420 = shl i64 %419, 50
  %421 = or i64 %417, %420
  %422 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %423 = load i64, ptr %422, align 16, !tbaa !11
  %424 = lshr i64 %423, 18
  %425 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %426 = load i64, ptr %425, align 16, !tbaa !11
  %427 = shl i64 %426, 46
  %428 = or i64 %424, %427
  %429 = xor i64 %421, %428
  %430 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %431 = load i64, ptr %430, align 16, !tbaa !11
  %432 = lshr i64 %431, 41
  %433 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %434 = load i64, ptr %433, align 16, !tbaa !11
  %435 = shl i64 %434, 23
  %436 = or i64 %432, %435
  %437 = xor i64 %429, %436
  %438 = add i64 %414, %437
  %439 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %440 = load i64, ptr %439, align 16, !tbaa !11
  %441 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %442 = load i64, ptr %441, align 16, !tbaa !11
  %443 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %444 = load i64, ptr %443, align 8, !tbaa !11
  %445 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %446 = load i64, ptr %445, align 16, !tbaa !11
  %447 = xor i64 %444, %446
  %448 = and i64 %442, %447
  %449 = xor i64 %440, %448
  %450 = add i64 %438, %449
  %451 = load i32, ptr %5, align 4, !tbaa !9
  %452 = sext i32 %451 to i64
  %453 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %452
  %454 = load i64, ptr %453, align 8, !tbaa !11
  %455 = add i64 %450, %454
  %456 = load i32, ptr %5, align 4, !tbaa !9
  %457 = sext i32 %456 to i64
  %458 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %457
  %459 = load i64, ptr %458, align 8, !tbaa !11
  %460 = add i64 %455, %459
  store i64 %460, ptr %6, align 8, !tbaa !11
  %461 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %462 = load i64, ptr %461, align 16, !tbaa !11
  %463 = lshr i64 %462, 28
  %464 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %465 = load i64, ptr %464, align 16, !tbaa !11
  %466 = shl i64 %465, 36
  %467 = or i64 %463, %466
  %468 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %469 = load i64, ptr %468, align 16, !tbaa !11
  %470 = lshr i64 %469, 34
  %471 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %472 = load i64, ptr %471, align 16, !tbaa !11
  %473 = shl i64 %472, 30
  %474 = or i64 %470, %473
  %475 = xor i64 %467, %474
  %476 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %477 = load i64, ptr %476, align 16, !tbaa !11
  %478 = lshr i64 %477, 39
  %479 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %480 = load i64, ptr %479, align 16, !tbaa !11
  %481 = shl i64 %480, 25
  %482 = or i64 %478, %481
  %483 = xor i64 %475, %482
  %484 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %485 = load i64, ptr %484, align 16, !tbaa !11
  %486 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %487 = load i64, ptr %486, align 8, !tbaa !11
  %488 = and i64 %485, %487
  %489 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %490 = load i64, ptr %489, align 16, !tbaa !11
  %491 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %492 = load i64, ptr %491, align 16, !tbaa !11
  %493 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %494 = load i64, ptr %493, align 8, !tbaa !11
  %495 = or i64 %492, %494
  %496 = and i64 %490, %495
  %497 = or i64 %488, %496
  %498 = add i64 %483, %497
  store i64 %498, ptr %7, align 8, !tbaa !11
  %499 = load i64, ptr %6, align 8, !tbaa !11
  %500 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %501 = load i64, ptr %500, align 8, !tbaa !11
  %502 = add i64 %501, %499
  store i64 %502, ptr %500, align 8, !tbaa !11
  %503 = load i64, ptr %6, align 8, !tbaa !11
  %504 = load i64, ptr %7, align 8, !tbaa !11
  %505 = add i64 %503, %504
  %506 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  store i64 %505, ptr %506, align 8, !tbaa !11
  br label %507

507:                                              ; preds = %412
  br label %508

508:                                              ; preds = %507
  %509 = load i32, ptr %5, align 4, !tbaa !9
  %510 = add nsw i32 %509, 1
  store i32 %510, ptr %5, align 4, !tbaa !9
  br label %511

511:                                              ; preds = %508
  %512 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %513 = load i64, ptr %512, align 16, !tbaa !11
  %514 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %515 = load i64, ptr %514, align 8, !tbaa !11
  %516 = lshr i64 %515, 14
  %517 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %518 = load i64, ptr %517, align 8, !tbaa !11
  %519 = shl i64 %518, 50
  %520 = or i64 %516, %519
  %521 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %522 = load i64, ptr %521, align 8, !tbaa !11
  %523 = lshr i64 %522, 18
  %524 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %525 = load i64, ptr %524, align 8, !tbaa !11
  %526 = shl i64 %525, 46
  %527 = or i64 %523, %526
  %528 = xor i64 %520, %527
  %529 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %530 = load i64, ptr %529, align 8, !tbaa !11
  %531 = lshr i64 %530, 41
  %532 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %533 = load i64, ptr %532, align 8, !tbaa !11
  %534 = shl i64 %533, 23
  %535 = or i64 %531, %534
  %536 = xor i64 %528, %535
  %537 = add i64 %513, %536
  %538 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %539 = load i64, ptr %538, align 8, !tbaa !11
  %540 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %541 = load i64, ptr %540, align 8, !tbaa !11
  %542 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %543 = load i64, ptr %542, align 16, !tbaa !11
  %544 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %545 = load i64, ptr %544, align 8, !tbaa !11
  %546 = xor i64 %543, %545
  %547 = and i64 %541, %546
  %548 = xor i64 %539, %547
  %549 = add i64 %537, %548
  %550 = load i32, ptr %5, align 4, !tbaa !9
  %551 = sext i32 %550 to i64
  %552 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %551
  %553 = load i64, ptr %552, align 8, !tbaa !11
  %554 = add i64 %549, %553
  %555 = load i32, ptr %5, align 4, !tbaa !9
  %556 = sext i32 %555 to i64
  %557 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %556
  %558 = load i64, ptr %557, align 8, !tbaa !11
  %559 = add i64 %554, %558
  store i64 %559, ptr %6, align 8, !tbaa !11
  %560 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %561 = load i64, ptr %560, align 8, !tbaa !11
  %562 = lshr i64 %561, 28
  %563 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %564 = load i64, ptr %563, align 8, !tbaa !11
  %565 = shl i64 %564, 36
  %566 = or i64 %562, %565
  %567 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %568 = load i64, ptr %567, align 8, !tbaa !11
  %569 = lshr i64 %568, 34
  %570 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %571 = load i64, ptr %570, align 8, !tbaa !11
  %572 = shl i64 %571, 30
  %573 = or i64 %569, %572
  %574 = xor i64 %566, %573
  %575 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %576 = load i64, ptr %575, align 8, !tbaa !11
  %577 = lshr i64 %576, 39
  %578 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %579 = load i64, ptr %578, align 8, !tbaa !11
  %580 = shl i64 %579, 25
  %581 = or i64 %577, %580
  %582 = xor i64 %574, %581
  %583 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %584 = load i64, ptr %583, align 8, !tbaa !11
  %585 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %586 = load i64, ptr %585, align 16, !tbaa !11
  %587 = and i64 %584, %586
  %588 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %589 = load i64, ptr %588, align 8, !tbaa !11
  %590 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %591 = load i64, ptr %590, align 8, !tbaa !11
  %592 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %593 = load i64, ptr %592, align 16, !tbaa !11
  %594 = or i64 %591, %593
  %595 = and i64 %589, %594
  %596 = or i64 %587, %595
  %597 = add i64 %582, %596
  store i64 %597, ptr %7, align 8, !tbaa !11
  %598 = load i64, ptr %6, align 8, !tbaa !11
  %599 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %600 = load i64, ptr %599, align 16, !tbaa !11
  %601 = add i64 %600, %598
  store i64 %601, ptr %599, align 16, !tbaa !11
  %602 = load i64, ptr %6, align 8, !tbaa !11
  %603 = load i64, ptr %7, align 8, !tbaa !11
  %604 = add i64 %602, %603
  %605 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  store i64 %604, ptr %605, align 16, !tbaa !11
  br label %606

606:                                              ; preds = %511
  br label %607

607:                                              ; preds = %606
  %608 = load i32, ptr %5, align 4, !tbaa !9
  %609 = add nsw i32 %608, 1
  store i32 %609, ptr %5, align 4, !tbaa !9
  br label %610

610:                                              ; preds = %607
  %611 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %612 = load i64, ptr %611, align 8, !tbaa !11
  %613 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %614 = load i64, ptr %613, align 16, !tbaa !11
  %615 = lshr i64 %614, 14
  %616 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %617 = load i64, ptr %616, align 16, !tbaa !11
  %618 = shl i64 %617, 50
  %619 = or i64 %615, %618
  %620 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %621 = load i64, ptr %620, align 16, !tbaa !11
  %622 = lshr i64 %621, 18
  %623 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %624 = load i64, ptr %623, align 16, !tbaa !11
  %625 = shl i64 %624, 46
  %626 = or i64 %622, %625
  %627 = xor i64 %619, %626
  %628 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %629 = load i64, ptr %628, align 16, !tbaa !11
  %630 = lshr i64 %629, 41
  %631 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %632 = load i64, ptr %631, align 16, !tbaa !11
  %633 = shl i64 %632, 23
  %634 = or i64 %630, %633
  %635 = xor i64 %627, %634
  %636 = add i64 %612, %635
  %637 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %638 = load i64, ptr %637, align 16, !tbaa !11
  %639 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %640 = load i64, ptr %639, align 16, !tbaa !11
  %641 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %642 = load i64, ptr %641, align 8, !tbaa !11
  %643 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %644 = load i64, ptr %643, align 16, !tbaa !11
  %645 = xor i64 %642, %644
  %646 = and i64 %640, %645
  %647 = xor i64 %638, %646
  %648 = add i64 %636, %647
  %649 = load i32, ptr %5, align 4, !tbaa !9
  %650 = sext i32 %649 to i64
  %651 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %650
  %652 = load i64, ptr %651, align 8, !tbaa !11
  %653 = add i64 %648, %652
  %654 = load i32, ptr %5, align 4, !tbaa !9
  %655 = sext i32 %654 to i64
  %656 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %655
  %657 = load i64, ptr %656, align 8, !tbaa !11
  %658 = add i64 %653, %657
  store i64 %658, ptr %6, align 8, !tbaa !11
  %659 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %660 = load i64, ptr %659, align 16, !tbaa !11
  %661 = lshr i64 %660, 28
  %662 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %663 = load i64, ptr %662, align 16, !tbaa !11
  %664 = shl i64 %663, 36
  %665 = or i64 %661, %664
  %666 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %667 = load i64, ptr %666, align 16, !tbaa !11
  %668 = lshr i64 %667, 34
  %669 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %670 = load i64, ptr %669, align 16, !tbaa !11
  %671 = shl i64 %670, 30
  %672 = or i64 %668, %671
  %673 = xor i64 %665, %672
  %674 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %675 = load i64, ptr %674, align 16, !tbaa !11
  %676 = lshr i64 %675, 39
  %677 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %678 = load i64, ptr %677, align 16, !tbaa !11
  %679 = shl i64 %678, 25
  %680 = or i64 %676, %679
  %681 = xor i64 %673, %680
  %682 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %683 = load i64, ptr %682, align 16, !tbaa !11
  %684 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %685 = load i64, ptr %684, align 8, !tbaa !11
  %686 = and i64 %683, %685
  %687 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %688 = load i64, ptr %687, align 16, !tbaa !11
  %689 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %690 = load i64, ptr %689, align 16, !tbaa !11
  %691 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %692 = load i64, ptr %691, align 8, !tbaa !11
  %693 = or i64 %690, %692
  %694 = and i64 %688, %693
  %695 = or i64 %686, %694
  %696 = add i64 %681, %695
  store i64 %696, ptr %7, align 8, !tbaa !11
  %697 = load i64, ptr %6, align 8, !tbaa !11
  %698 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %699 = load i64, ptr %698, align 8, !tbaa !11
  %700 = add i64 %699, %697
  store i64 %700, ptr %698, align 8, !tbaa !11
  %701 = load i64, ptr %6, align 8, !tbaa !11
  %702 = load i64, ptr %7, align 8, !tbaa !11
  %703 = add i64 %701, %702
  %704 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  store i64 %703, ptr %704, align 8, !tbaa !11
  br label %705

705:                                              ; preds = %610
  br label %706

706:                                              ; preds = %705
  %707 = load i32, ptr %5, align 4, !tbaa !9
  %708 = add nsw i32 %707, 1
  store i32 %708, ptr %5, align 4, !tbaa !9
  br label %709

709:                                              ; preds = %706
  %710 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %711 = load i64, ptr %710, align 16, !tbaa !11
  %712 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %713 = load i64, ptr %712, align 8, !tbaa !11
  %714 = lshr i64 %713, 14
  %715 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %716 = load i64, ptr %715, align 8, !tbaa !11
  %717 = shl i64 %716, 50
  %718 = or i64 %714, %717
  %719 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %720 = load i64, ptr %719, align 8, !tbaa !11
  %721 = lshr i64 %720, 18
  %722 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %723 = load i64, ptr %722, align 8, !tbaa !11
  %724 = shl i64 %723, 46
  %725 = or i64 %721, %724
  %726 = xor i64 %718, %725
  %727 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %728 = load i64, ptr %727, align 8, !tbaa !11
  %729 = lshr i64 %728, 41
  %730 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %731 = load i64, ptr %730, align 8, !tbaa !11
  %732 = shl i64 %731, 23
  %733 = or i64 %729, %732
  %734 = xor i64 %726, %733
  %735 = add i64 %711, %734
  %736 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %737 = load i64, ptr %736, align 8, !tbaa !11
  %738 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %739 = load i64, ptr %738, align 8, !tbaa !11
  %740 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %741 = load i64, ptr %740, align 16, !tbaa !11
  %742 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %743 = load i64, ptr %742, align 8, !tbaa !11
  %744 = xor i64 %741, %743
  %745 = and i64 %739, %744
  %746 = xor i64 %737, %745
  %747 = add i64 %735, %746
  %748 = load i32, ptr %5, align 4, !tbaa !9
  %749 = sext i32 %748 to i64
  %750 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %749
  %751 = load i64, ptr %750, align 8, !tbaa !11
  %752 = add i64 %747, %751
  %753 = load i32, ptr %5, align 4, !tbaa !9
  %754 = sext i32 %753 to i64
  %755 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %754
  %756 = load i64, ptr %755, align 8, !tbaa !11
  %757 = add i64 %752, %756
  store i64 %757, ptr %6, align 8, !tbaa !11
  %758 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %759 = load i64, ptr %758, align 8, !tbaa !11
  %760 = lshr i64 %759, 28
  %761 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %762 = load i64, ptr %761, align 8, !tbaa !11
  %763 = shl i64 %762, 36
  %764 = or i64 %760, %763
  %765 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %766 = load i64, ptr %765, align 8, !tbaa !11
  %767 = lshr i64 %766, 34
  %768 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %769 = load i64, ptr %768, align 8, !tbaa !11
  %770 = shl i64 %769, 30
  %771 = or i64 %767, %770
  %772 = xor i64 %764, %771
  %773 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %774 = load i64, ptr %773, align 8, !tbaa !11
  %775 = lshr i64 %774, 39
  %776 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %777 = load i64, ptr %776, align 8, !tbaa !11
  %778 = shl i64 %777, 25
  %779 = or i64 %775, %778
  %780 = xor i64 %772, %779
  %781 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %782 = load i64, ptr %781, align 8, !tbaa !11
  %783 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %784 = load i64, ptr %783, align 16, !tbaa !11
  %785 = and i64 %782, %784
  %786 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %787 = load i64, ptr %786, align 8, !tbaa !11
  %788 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %789 = load i64, ptr %788, align 8, !tbaa !11
  %790 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %791 = load i64, ptr %790, align 16, !tbaa !11
  %792 = or i64 %789, %791
  %793 = and i64 %787, %792
  %794 = or i64 %785, %793
  %795 = add i64 %780, %794
  store i64 %795, ptr %7, align 8, !tbaa !11
  %796 = load i64, ptr %6, align 8, !tbaa !11
  %797 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %798 = load i64, ptr %797, align 16, !tbaa !11
  %799 = add i64 %798, %796
  store i64 %799, ptr %797, align 16, !tbaa !11
  %800 = load i64, ptr %6, align 8, !tbaa !11
  %801 = load i64, ptr %7, align 8, !tbaa !11
  %802 = add i64 %800, %801
  %803 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  store i64 %802, ptr %803, align 16, !tbaa !11
  br label %804

804:                                              ; preds = %709
  br label %805

805:                                              ; preds = %804
  %806 = load i32, ptr %5, align 4, !tbaa !9
  %807 = add nsw i32 %806, 1
  store i32 %807, ptr %5, align 4, !tbaa !9
  br label %808

808:                                              ; preds = %805
  %809 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %810 = load i64, ptr %809, align 8, !tbaa !11
  %811 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %812 = load i64, ptr %811, align 16, !tbaa !11
  %813 = lshr i64 %812, 14
  %814 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %815 = load i64, ptr %814, align 16, !tbaa !11
  %816 = shl i64 %815, 50
  %817 = or i64 %813, %816
  %818 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %819 = load i64, ptr %818, align 16, !tbaa !11
  %820 = lshr i64 %819, 18
  %821 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %822 = load i64, ptr %821, align 16, !tbaa !11
  %823 = shl i64 %822, 46
  %824 = or i64 %820, %823
  %825 = xor i64 %817, %824
  %826 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %827 = load i64, ptr %826, align 16, !tbaa !11
  %828 = lshr i64 %827, 41
  %829 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %830 = load i64, ptr %829, align 16, !tbaa !11
  %831 = shl i64 %830, 23
  %832 = or i64 %828, %831
  %833 = xor i64 %825, %832
  %834 = add i64 %810, %833
  %835 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %836 = load i64, ptr %835, align 16, !tbaa !11
  %837 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %838 = load i64, ptr %837, align 16, !tbaa !11
  %839 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %840 = load i64, ptr %839, align 8, !tbaa !11
  %841 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %842 = load i64, ptr %841, align 16, !tbaa !11
  %843 = xor i64 %840, %842
  %844 = and i64 %838, %843
  %845 = xor i64 %836, %844
  %846 = add i64 %834, %845
  %847 = load i32, ptr %5, align 4, !tbaa !9
  %848 = sext i32 %847 to i64
  %849 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %848
  %850 = load i64, ptr %849, align 8, !tbaa !11
  %851 = add i64 %846, %850
  %852 = load i32, ptr %5, align 4, !tbaa !9
  %853 = sext i32 %852 to i64
  %854 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %853
  %855 = load i64, ptr %854, align 8, !tbaa !11
  %856 = add i64 %851, %855
  store i64 %856, ptr %6, align 8, !tbaa !11
  %857 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %858 = load i64, ptr %857, align 16, !tbaa !11
  %859 = lshr i64 %858, 28
  %860 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %861 = load i64, ptr %860, align 16, !tbaa !11
  %862 = shl i64 %861, 36
  %863 = or i64 %859, %862
  %864 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %865 = load i64, ptr %864, align 16, !tbaa !11
  %866 = lshr i64 %865, 34
  %867 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %868 = load i64, ptr %867, align 16, !tbaa !11
  %869 = shl i64 %868, 30
  %870 = or i64 %866, %869
  %871 = xor i64 %863, %870
  %872 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %873 = load i64, ptr %872, align 16, !tbaa !11
  %874 = lshr i64 %873, 39
  %875 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %876 = load i64, ptr %875, align 16, !tbaa !11
  %877 = shl i64 %876, 25
  %878 = or i64 %874, %877
  %879 = xor i64 %871, %878
  %880 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %881 = load i64, ptr %880, align 16, !tbaa !11
  %882 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %883 = load i64, ptr %882, align 8, !tbaa !11
  %884 = and i64 %881, %883
  %885 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %886 = load i64, ptr %885, align 16, !tbaa !11
  %887 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %888 = load i64, ptr %887, align 16, !tbaa !11
  %889 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %890 = load i64, ptr %889, align 8, !tbaa !11
  %891 = or i64 %888, %890
  %892 = and i64 %886, %891
  %893 = or i64 %884, %892
  %894 = add i64 %879, %893
  store i64 %894, ptr %7, align 8, !tbaa !11
  %895 = load i64, ptr %6, align 8, !tbaa !11
  %896 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %897 = load i64, ptr %896, align 8, !tbaa !11
  %898 = add i64 %897, %895
  store i64 %898, ptr %896, align 8, !tbaa !11
  %899 = load i64, ptr %6, align 8, !tbaa !11
  %900 = load i64, ptr %7, align 8, !tbaa !11
  %901 = add i64 %899, %900
  %902 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  store i64 %901, ptr %902, align 8, !tbaa !11
  br label %903

903:                                              ; preds = %808
  br label %904

904:                                              ; preds = %903
  %905 = load i32, ptr %5, align 4, !tbaa !9
  %906 = add nsw i32 %905, 1
  store i32 %906, ptr %5, align 4, !tbaa !9
  br label %907

907:                                              ; preds = %904
  %908 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  %909 = load i64, ptr %908, align 16, !tbaa !11
  %910 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %911 = load i64, ptr %910, align 8, !tbaa !11
  %912 = lshr i64 %911, 14
  %913 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %914 = load i64, ptr %913, align 8, !tbaa !11
  %915 = shl i64 %914, 50
  %916 = or i64 %912, %915
  %917 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %918 = load i64, ptr %917, align 8, !tbaa !11
  %919 = lshr i64 %918, 18
  %920 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %921 = load i64, ptr %920, align 8, !tbaa !11
  %922 = shl i64 %921, 46
  %923 = or i64 %919, %922
  %924 = xor i64 %916, %923
  %925 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %926 = load i64, ptr %925, align 8, !tbaa !11
  %927 = lshr i64 %926, 41
  %928 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %929 = load i64, ptr %928, align 8, !tbaa !11
  %930 = shl i64 %929, 23
  %931 = or i64 %927, %930
  %932 = xor i64 %924, %931
  %933 = add i64 %909, %932
  %934 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %935 = load i64, ptr %934, align 8, !tbaa !11
  %936 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 5
  %937 = load i64, ptr %936, align 8, !tbaa !11
  %938 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 6
  %939 = load i64, ptr %938, align 16, !tbaa !11
  %940 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 7
  %941 = load i64, ptr %940, align 8, !tbaa !11
  %942 = xor i64 %939, %941
  %943 = and i64 %937, %942
  %944 = xor i64 %935, %943
  %945 = add i64 %933, %944
  %946 = load i32, ptr %5, align 4, !tbaa !9
  %947 = sext i32 %946 to i64
  %948 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %947
  %949 = load i64, ptr %948, align 8, !tbaa !11
  %950 = add i64 %945, %949
  %951 = load i32, ptr %5, align 4, !tbaa !9
  %952 = sext i32 %951 to i64
  %953 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %952
  %954 = load i64, ptr %953, align 8, !tbaa !11
  %955 = add i64 %950, %954
  store i64 %955, ptr %6, align 8, !tbaa !11
  %956 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %957 = load i64, ptr %956, align 8, !tbaa !11
  %958 = lshr i64 %957, 28
  %959 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %960 = load i64, ptr %959, align 8, !tbaa !11
  %961 = shl i64 %960, 36
  %962 = or i64 %958, %961
  %963 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %964 = load i64, ptr %963, align 8, !tbaa !11
  %965 = lshr i64 %964, 34
  %966 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %967 = load i64, ptr %966, align 8, !tbaa !11
  %968 = shl i64 %967, 30
  %969 = or i64 %965, %968
  %970 = xor i64 %962, %969
  %971 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %972 = load i64, ptr %971, align 8, !tbaa !11
  %973 = lshr i64 %972, 39
  %974 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %975 = load i64, ptr %974, align 8, !tbaa !11
  %976 = shl i64 %975, 25
  %977 = or i64 %973, %976
  %978 = xor i64 %970, %977
  %979 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %980 = load i64, ptr %979, align 8, !tbaa !11
  %981 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %982 = load i64, ptr %981, align 16, !tbaa !11
  %983 = and i64 %980, %982
  %984 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 3
  %985 = load i64, ptr %984, align 8, !tbaa !11
  %986 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 1
  %987 = load i64, ptr %986, align 8, !tbaa !11
  %988 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 2
  %989 = load i64, ptr %988, align 16, !tbaa !11
  %990 = or i64 %987, %989
  %991 = and i64 %985, %990
  %992 = or i64 %983, %991
  %993 = add i64 %978, %992
  store i64 %993, ptr %7, align 8, !tbaa !11
  %994 = load i64, ptr %6, align 8, !tbaa !11
  %995 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 4
  %996 = load i64, ptr %995, align 16, !tbaa !11
  %997 = add i64 %996, %994
  store i64 %997, ptr %995, align 16, !tbaa !11
  %998 = load i64, ptr %6, align 8, !tbaa !11
  %999 = load i64, ptr %7, align 8, !tbaa !11
  %1000 = add i64 %998, %999
  %1001 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 0
  store i64 %1000, ptr %1001, align 16, !tbaa !11
  br label %1002

1002:                                             ; preds = %907
  br label %1003

1003:                                             ; preds = %1002
  %1004 = load i32, ptr %5, align 4, !tbaa !9
  %1005 = add nsw i32 %1004, 1
  store i32 %1005, ptr %5, align 4, !tbaa !9
  br label %1006

1006:                                             ; preds = %1003
  %1007 = load i32, ptr %5, align 4, !tbaa !9
  %1008 = icmp slt i32 %1007, 80
  br i1 %1008, label %213, label %1009, !llvm.loop !18

1009:                                             ; preds = %1006
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %1010

1010:                                             ; preds = %1025, %1009
  %1011 = load i32, ptr %5, align 4, !tbaa !9
  %1012 = icmp slt i32 %1011, 8
  br i1 %1012, label %1013, label %1028

1013:                                             ; preds = %1010
  %1014 = load i32, ptr %5, align 4, !tbaa !9
  %1015 = sext i32 %1014 to i64
  %1016 = getelementptr inbounds [8 x i64], ptr %9, i64 0, i64 %1015
  %1017 = load i64, ptr %1016, align 8, !tbaa !11
  %1018 = load ptr, ptr %3, align 8, !tbaa !5
  %1019 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %1018, i32 0, i32 1
  %1020 = load i32, ptr %5, align 4, !tbaa !9
  %1021 = sext i32 %1020 to i64
  %1022 = getelementptr inbounds [8 x i64], ptr %1019, i64 0, i64 %1021
  %1023 = load i64, ptr %1022, align 8, !tbaa !11
  %1024 = add i64 %1023, %1017
  store i64 %1024, ptr %1022, align 8, !tbaa !11
  br label %1025

1025:                                             ; preds = %1013
  %1026 = load i32, ptr %5, align 4, !tbaa !9
  %1027 = add nsw i32 %1026, 1
  store i32 %1027, ptr %5, align 4, !tbaa !9
  br label %1010, !llvm.loop !19

1028:                                             ; preds = %1010
  call void @llvm.lifetime.end.p0(i64 64, ptr %9) #2
  call void @llvm.lifetime.end.p0(i64 640, ptr %8) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #2
  ret i32 0
}

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

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

attributes #0 = { 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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"long", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = !{!7, !7, i64 0}
!16 = distinct !{!16, !14}
!17 = distinct !{!17, !14}
!18 = distinct !{!18, !14}
!19 = distinct !{!19, !14}


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

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

; Function Attrs: nofree norecurse nosync nounwind memory(argmem: readwrite) uwtable
define dso_local noundef i32 @mbedtls_internal_sha512_process(ptr nocapture noundef %0, ptr nocapture noundef readonly %1) local_unnamed_addr #0 {
.preheader94.preheader:
  %2 = alloca [80 x i64], align 16
  call void @llvm.lifetime.start.p0(i64 640, ptr nonnull %2) #3
  %3 = getelementptr inbounds i8, ptr %0, i64 16
  %.sroa.0.0.copyload = load i64, ptr %3, align 8, !tbaa !5
  %.sroa.6.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 24
  %.sroa.6.0.copyload = load i64, ptr %.sroa.6.0..sroa_idx, align 8, !tbaa !5
  %.sroa.9.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 32
  %.sroa.9.0.copyload = load i64, ptr %.sroa.9.0..sroa_idx, align 8, !tbaa !5
  %.sroa.12.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 40
  %.sroa.12.0.copyload = load i64, ptr %.sroa.12.0..sroa_idx, align 8, !tbaa !5
  %.sroa.15.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 48
  %.sroa.15.0.copyload = load i64, ptr %.sroa.15.0..sroa_idx, align 8, !tbaa !5
  %.sroa.18.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 56
  %.sroa.18.0.copyload = load i64, ptr %.sroa.18.0..sroa_idx, align 8, !tbaa !5
  %.sroa.21.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 64
  %.sroa.21.0.copyload = load i64, ptr %.sroa.21.0..sroa_idx, align 8, !tbaa !5
  %.sroa.24.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 72
  %.sroa.24.0.copyload = load i64, ptr %.sroa.24.0..sroa_idx, align 8, !tbaa !5
  br label %.preheader94

.lr.ph.preheader:                                 ; preds = %.preheader94
  %.pre = load i64, ptr %2, align 16, !tbaa !5
  br label %.lr.ph

.preheader94:                                     ; preds = %.preheader94.preheader, %.preheader94
  %indvars.iv = phi i64 [ 0, %.preheader94.preheader ], [ %indvars.iv.next, %.preheader94 ]
  %4 = shl nuw nsw i64 %indvars.iv, 3
  %5 = getelementptr inbounds i8, ptr %1, i64 %4
  %6 = load i8, ptr %5, align 1, !tbaa !9
  %7 = zext i8 %6 to i64
  %8 = shl nuw i64 %7, 56
  %9 = or disjoint i64 %4, 1
  %10 = getelementptr inbounds i8, ptr %1, i64 %9
  %11 = load i8, ptr %10, align 1, !tbaa !9
  %12 = zext i8 %11 to i64
  %13 = shl nuw nsw i64 %12, 48
  %14 = or disjoint i64 %13, %8
  %15 = or disjoint i64 %4, 2
  %16 = getelementptr inbounds i8, ptr %1, i64 %15
  %17 = load i8, ptr %16, align 1, !tbaa !9
  %18 = zext i8 %17 to i64
  %19 = shl nuw nsw i64 %18, 40
  %20 = or disjoint i64 %14, %19
  %21 = or disjoint i64 %4, 3
  %22 = getelementptr inbounds i8, ptr %1, i64 %21
  %23 = load i8, ptr %22, align 1, !tbaa !9
  %24 = zext i8 %23 to i64
  %25 = shl nuw nsw i64 %24, 32
  %26 = or disjoint i64 %20, %25
  %27 = or disjoint i64 %4, 4
  %28 = getelementptr inbounds i8, ptr %1, i64 %27
  %29 = load i8, ptr %28, align 1, !tbaa !9
  %30 = zext i8 %29 to i64
  %31 = shl nuw nsw i64 %30, 24
  %32 = or disjoint i64 %26, %31
  %33 = or disjoint i64 %4, 5
  %34 = getelementptr inbounds i8, ptr %1, i64 %33
  %35 = load i8, ptr %34, align 1, !tbaa !9
  %36 = zext i8 %35 to i64
  %37 = shl nuw nsw i64 %36, 16
  %38 = or disjoint i64 %32, %37
  %39 = or disjoint i64 %4, 6
  %40 = getelementptr inbounds i8, ptr %1, i64 %39
  %41 = load i8, ptr %40, align 1, !tbaa !9
  %42 = zext i8 %41 to i64
  %43 = shl nuw nsw i64 %42, 8
  %44 = or i64 %38, %43
  %45 = or disjoint i64 %4, 7
  %46 = getelementptr inbounds i8, ptr %1, i64 %45
  %47 = load i8, ptr %46, align 1, !tbaa !9
  %48 = zext i8 %47 to i64
  %49 = or i64 %44, %48
  %50 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %indvars.iv
  store i64 %49, ptr %50, align 8, !tbaa !5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 16
  br i1 %exitcond.not, label %.lr.ph.preheader, label %.preheader94, !llvm.loop !10

.lr.ph:                                           ; preds = %.lr.ph.preheader, %.lr.ph
  %51 = phi i64 [ %.pre, %.lr.ph.preheader ], [ %66, %.lr.ph ]
  %indvars.iv123 = phi i64 [ 16, %.lr.ph.preheader ], [ %indvars.iv.next124, %.lr.ph ]
  %52 = add nsw i64 %indvars.iv123, -2
  %53 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %52
  %54 = load i64, ptr %53, align 8, !tbaa !5
  %55 = tail call i64 @llvm.fshl.i64(i64 %54, i64 %54, i64 45)
  %56 = tail call i64 @llvm.fshl.i64(i64 %54, i64 %54, i64 3)
  %57 = xor i64 %55, %56
  %58 = lshr i64 %54, 6
  %59 = xor i64 %57, %58
  %60 = add nsw i64 %indvars.iv123, -7
  %61 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %60
  %62 = load i64, ptr %61, align 8, !tbaa !5
  %63 = add i64 %59, %62
  %64 = add nsw i64 %indvars.iv123, -15
  %65 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %64
  %66 = load i64, ptr %65, align 8, !tbaa !5
  %67 = tail call i64 @llvm.fshl.i64(i64 %66, i64 %66, i64 63)
  %68 = tail call i64 @llvm.fshl.i64(i64 %66, i64 %66, i64 56)
  %69 = xor i64 %67, %68
  %70 = lshr i64 %66, 7
  %71 = xor i64 %69, %70
  %72 = add i64 %63, %51
  %73 = add i64 %72, %71
  %74 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %indvars.iv123
  store i64 %73, ptr %74, align 8, !tbaa !5
  %indvars.iv.next124 = add nuw nsw i64 %indvars.iv123, 1
  %exitcond126.not = icmp eq i64 %indvars.iv.next124, 80
  br i1 %exitcond126.not, label %.preheader92, label %.lr.ph, !llvm.loop !12

.preheader92:                                     ; preds = %.lr.ph, %.preheader92
  %indvars.iv127 = phi i64 [ %indvars.iv.next128, %.preheader92 ], [ 0, %.lr.ph ]
  %75 = phi i64 [ %226, %.preheader92 ], [ %.sroa.12.0.copyload, %.lr.ph ]
  %76 = phi i64 [ %255, %.preheader92 ], [ %.sroa.9.0.copyload, %.lr.ph ]
  %77 = phi i64 [ %284, %.preheader92 ], [ %.sroa.6.0.copyload, %.lr.ph ]
  %78 = phi i64 [ %313, %.preheader92 ], [ %.sroa.0.0.copyload, %.lr.ph ]
  %79 = phi i64 [ %283, %.preheader92 ], [ %.sroa.18.0.copyload, %.lr.ph ]
  %80 = phi i64 [ %254, %.preheader92 ], [ %.sroa.21.0.copyload, %.lr.ph ]
  %81 = phi i64 [ %312, %.preheader92 ], [ %.sroa.15.0.copyload, %.lr.ph ]
  %82 = phi i64 [ %225, %.preheader92 ], [ %.sroa.24.0.copyload, %.lr.ph ]
  %83 = tail call i64 @llvm.fshl.i64(i64 %81, i64 %81, i64 50)
  %84 = tail call i64 @llvm.fshl.i64(i64 %81, i64 %81, i64 46)
  %85 = xor i64 %83, %84
  %86 = tail call i64 @llvm.fshl.i64(i64 %81, i64 %81, i64 23)
  %87 = xor i64 %85, %86
  %88 = add i64 %87, %82
  %89 = xor i64 %79, %80
  %90 = and i64 %89, %81
  %91 = xor i64 %90, %80
  %92 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %indvars.iv127
  %93 = load i64, ptr %92, align 16, !tbaa !5
  %94 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %indvars.iv127
  %95 = load i64, ptr %94, align 16, !tbaa !5
  %96 = add i64 %88, %93
  %97 = add i64 %96, %95
  %98 = add i64 %97, %91
  %99 = tail call i64 @llvm.fshl.i64(i64 %78, i64 %78, i64 36)
  %100 = tail call i64 @llvm.fshl.i64(i64 %78, i64 %78, i64 30)
  %101 = xor i64 %99, %100
  %102 = tail call i64 @llvm.fshl.i64(i64 %78, i64 %78, i64 25)
  %103 = xor i64 %101, %102
  %104 = and i64 %77, %78
  %105 = or i64 %77, %78
  %106 = and i64 %76, %105
  %107 = or i64 %106, %104
  %108 = add i64 %75, %98
  %109 = add i64 %98, %103
  %110 = add i64 %109, %107
  %111 = or disjoint i64 %indvars.iv127, 1
  %112 = tail call i64 @llvm.fshl.i64(i64 %108, i64 %108, i64 50)
  %113 = tail call i64 @llvm.fshl.i64(i64 %108, i64 %108, i64 46)
  %114 = xor i64 %112, %113
  %115 = tail call i64 @llvm.fshl.i64(i64 %108, i64 %108, i64 23)
  %116 = xor i64 %114, %115
  %117 = xor i64 %79, %81
  %118 = and i64 %108, %117
  %119 = xor i64 %118, %79
  %120 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %111
  %121 = load i64, ptr %120, align 8, !tbaa !5
  %122 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %111
  %123 = load i64, ptr %122, align 8, !tbaa !5
  %124 = add i64 %119, %80
  %125 = add i64 %124, %121
  %126 = add i64 %125, %116
  %127 = add i64 %126, %123
  %128 = tail call i64 @llvm.fshl.i64(i64 %110, i64 %110, i64 36)
  %129 = tail call i64 @llvm.fshl.i64(i64 %110, i64 %110, i64 30)
  %130 = xor i64 %128, %129
  %131 = tail call i64 @llvm.fshl.i64(i64 %110, i64 %110, i64 25)
  %132 = xor i64 %130, %131
  %133 = and i64 %110, %78
  %134 = or i64 %110, %78
  %135 = and i64 %134, %77
  %136 = or i64 %135, %133
  %137 = add i64 %132, %136
  %138 = add i64 %127, %76
  %139 = add i64 %137, %127
  %140 = or disjoint i64 %indvars.iv127, 2
  %141 = tail call i64 @llvm.fshl.i64(i64 %138, i64 %138, i64 50)
  %142 = tail call i64 @llvm.fshl.i64(i64 %138, i64 %138, i64 46)
  %143 = xor i64 %141, %142
  %144 = tail call i64 @llvm.fshl.i64(i64 %138, i64 %138, i64 23)
  %145 = xor i64 %143, %144
  %146 = xor i64 %108, %81
  %147 = and i64 %138, %146
  %148 = xor i64 %147, %81
  %149 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %140
  %150 = load i64, ptr %149, align 16, !tbaa !5
  %151 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %140
  %152 = load i64, ptr %151, align 16, !tbaa !5
  %153 = add i64 %150, %79
  %154 = add i64 %153, %152
  %155 = add i64 %154, %148
  %156 = add i64 %155, %145
  %157 = tail call i64 @llvm.fshl.i64(i64 %139, i64 %139, i64 36)
  %158 = tail call i64 @llvm.fshl.i64(i64 %139, i64 %139, i64 30)
  %159 = xor i64 %157, %158
  %160 = tail call i64 @llvm.fshl.i64(i64 %139, i64 %139, i64 25)
  %161 = xor i64 %159, %160
  %162 = and i64 %139, %110
  %163 = or i64 %139, %110
  %164 = and i64 %163, %78
  %165 = or i64 %164, %162
  %166 = add i64 %161, %165
  %167 = add i64 %156, %77
  %168 = add i64 %166, %156
  %169 = or disjoint i64 %indvars.iv127, 3
  %170 = tail call i64 @llvm.fshl.i64(i64 %167, i64 %167, i64 50)
  %171 = tail call i64 @llvm.fshl.i64(i64 %167, i64 %167, i64 46)
  %172 = xor i64 %170, %171
  %173 = tail call i64 @llvm.fshl.i64(i64 %167, i64 %167, i64 23)
  %174 = xor i64 %172, %173
  %175 = xor i64 %138, %108
  %176 = and i64 %167, %175
  %177 = xor i64 %176, %108
  %178 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %169
  %179 = load i64, ptr %178, align 8, !tbaa !5
  %180 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %169
  %181 = load i64, ptr %180, align 8, !tbaa !5
  %182 = add i64 %179, %81
  %183 = add i64 %182, %181
  %184 = add i64 %183, %177
  %185 = add i64 %184, %174
  %186 = tail call i64 @llvm.fshl.i64(i64 %168, i64 %168, i64 36)
  %187 = tail call i64 @llvm.fshl.i64(i64 %168, i64 %168, i64 30)
  %188 = xor i64 %186, %187
  %189 = tail call i64 @llvm.fshl.i64(i64 %168, i64 %168, i64 25)
  %190 = xor i64 %188, %189
  %191 = and i64 %168, %139
  %192 = or i64 %168, %139
  %193 = and i64 %192, %110
  %194 = or i64 %193, %191
  %195 = add i64 %190, %194
  %196 = add i64 %185, %78
  %197 = add i64 %195, %185
  %198 = or disjoint i64 %indvars.iv127, 4
  %199 = tail call i64 @llvm.fshl.i64(i64 %196, i64 %196, i64 50)
  %200 = tail call i64 @llvm.fshl.i64(i64 %196, i64 %196, i64 46)
  %201 = xor i64 %199, %200
  %202 = tail call i64 @llvm.fshl.i64(i64 %196, i64 %196, i64 23)
  %203 = xor i64 %201, %202
  %204 = xor i64 %167, %138
  %205 = and i64 %196, %204
  %206 = xor i64 %205, %138
  %207 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %198
  %208 = load i64, ptr %207, align 16, !tbaa !5
  %209 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %198
  %210 = load i64, ptr %209, align 16, !tbaa !5
  %211 = add i64 %208, %108
  %212 = add i64 %211, %210
  %213 = add i64 %212, %206
  %214 = add i64 %213, %203
  %215 = tail call i64 @llvm.fshl.i64(i64 %197, i64 %197, i64 36)
  %216 = tail call i64 @llvm.fshl.i64(i64 %197, i64 %197, i64 30)
  %217 = xor i64 %215, %216
  %218 = tail call i64 @llvm.fshl.i64(i64 %197, i64 %197, i64 25)
  %219 = xor i64 %217, %218
  %220 = and i64 %197, %168
  %221 = or i64 %197, %168
  %222 = and i64 %221, %139
  %223 = or i64 %222, %220
  %224 = add i64 %219, %223
  %225 = add i64 %214, %110
  %226 = add i64 %224, %214
  %227 = or disjoint i64 %indvars.iv127, 5
  %228 = tail call i64 @llvm.fshl.i64(i64 %225, i64 %225, i64 50)
  %229 = tail call i64 @llvm.fshl.i64(i64 %225, i64 %225, i64 46)
  %230 = xor i64 %228, %229
  %231 = tail call i64 @llvm.fshl.i64(i64 %225, i64 %225, i64 23)
  %232 = xor i64 %230, %231
  %233 = xor i64 %196, %167
  %234 = and i64 %225, %233
  %235 = xor i64 %234, %167
  %236 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %227
  %237 = load i64, ptr %236, align 8, !tbaa !5
  %238 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %227
  %239 = load i64, ptr %238, align 8, !tbaa !5
  %240 = add i64 %237, %138
  %241 = add i64 %240, %239
  %242 = add i64 %241, %235
  %243 = add i64 %242, %232
  %244 = tail call i64 @llvm.fshl.i64(i64 %226, i64 %226, i64 36)
  %245 = tail call i64 @llvm.fshl.i64(i64 %226, i64 %226, i64 30)
  %246 = xor i64 %244, %245
  %247 = tail call i64 @llvm.fshl.i64(i64 %226, i64 %226, i64 25)
  %248 = xor i64 %246, %247
  %249 = and i64 %226, %197
  %250 = or i64 %226, %197
  %251 = and i64 %250, %168
  %252 = or i64 %251, %249
  %253 = add i64 %248, %252
  %254 = add i64 %243, %139
  %255 = add i64 %253, %243
  %256 = or disjoint i64 %indvars.iv127, 6
  %257 = tail call i64 @llvm.fshl.i64(i64 %254, i64 %254, i64 50)
  %258 = tail call i64 @llvm.fshl.i64(i64 %254, i64 %254, i64 46)
  %259 = xor i64 %257, %258
  %260 = tail call i64 @llvm.fshl.i64(i64 %254, i64 %254, i64 23)
  %261 = xor i64 %259, %260
  %262 = xor i64 %225, %196
  %263 = and i64 %254, %262
  %264 = xor i64 %263, %196
  %265 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %256
  %266 = load i64, ptr %265, align 16, !tbaa !5
  %267 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %256
  %268 = load i64, ptr %267, align 16, !tbaa !5
  %269 = add i64 %266, %167
  %270 = add i64 %269, %268
  %271 = add i64 %270, %264
  %272 = add i64 %271, %261
  %273 = tail call i64 @llvm.fshl.i64(i64 %255, i64 %255, i64 36)
  %274 = tail call i64 @llvm.fshl.i64(i64 %255, i64 %255, i64 30)
  %275 = xor i64 %273, %274
  %276 = tail call i64 @llvm.fshl.i64(i64 %255, i64 %255, i64 25)
  %277 = xor i64 %275, %276
  %278 = and i64 %255, %226
  %279 = or i64 %255, %226
  %280 = and i64 %279, %197
  %281 = or i64 %280, %278
  %282 = add i64 %277, %281
  %283 = add i64 %272, %168
  %284 = add i64 %282, %272
  %285 = or disjoint i64 %indvars.iv127, 7
  %286 = tail call i64 @llvm.fshl.i64(i64 %283, i64 %283, i64 50)
  %287 = tail call i64 @llvm.fshl.i64(i64 %283, i64 %283, i64 46)
  %288 = xor i64 %286, %287
  %289 = tail call i64 @llvm.fshl.i64(i64 %283, i64 %283, i64 23)
  %290 = xor i64 %288, %289
  %291 = xor i64 %254, %225
  %292 = and i64 %283, %291
  %293 = xor i64 %292, %225
  %294 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %285
  %295 = load i64, ptr %294, align 8, !tbaa !5
  %296 = getelementptr inbounds [80 x i64], ptr %2, i64 0, i64 %285
  %297 = load i64, ptr %296, align 8, !tbaa !5
  %298 = add i64 %295, %196
  %299 = add i64 %298, %297
  %300 = add i64 %299, %293
  %301 = add i64 %300, %290
  %302 = tail call i64 @llvm.fshl.i64(i64 %284, i64 %284, i64 36)
  %303 = tail call i64 @llvm.fshl.i64(i64 %284, i64 %284, i64 30)
  %304 = xor i64 %302, %303
  %305 = tail call i64 @llvm.fshl.i64(i64 %284, i64 %284, i64 25)
  %306 = xor i64 %304, %305
  %307 = and i64 %284, %255
  %308 = or i64 %284, %255
  %309 = and i64 %308, %226
  %310 = or i64 %309, %307
  %311 = add i64 %306, %310
  %312 = add i64 %301, %197
  %313 = add i64 %311, %301
  %indvars.iv.next128 = add nuw nsw i64 %indvars.iv127, 8
  %314 = icmp ult i64 %indvars.iv127, 72
  br i1 %314, label %.preheader92, label %.preheader, !llvm.loop !13

.preheader:                                       ; preds = %.preheader92
  %315 = load i64, ptr %3, align 8, !tbaa !5
  %316 = add i64 %315, %313
  store i64 %316, ptr %3, align 8, !tbaa !5
  %317 = load i64, ptr %.sroa.6.0..sroa_idx, align 8, !tbaa !5
  %318 = add i64 %317, %284
  store i64 %318, ptr %.sroa.6.0..sroa_idx, align 8, !tbaa !5
  %319 = load i64, ptr %.sroa.9.0..sroa_idx, align 8, !tbaa !5
  %320 = add i64 %319, %255
  store i64 %320, ptr %.sroa.9.0..sroa_idx, align 8, !tbaa !5
  %321 = load i64, ptr %.sroa.12.0..sroa_idx, align 8, !tbaa !5
  %322 = add i64 %321, %226
  store i64 %322, ptr %.sroa.12.0..sroa_idx, align 8, !tbaa !5
  %323 = load i64, ptr %.sroa.15.0..sroa_idx, align 8, !tbaa !5
  %324 = add i64 %323, %312
  store i64 %324, ptr %.sroa.15.0..sroa_idx, align 8, !tbaa !5
  %325 = load i64, ptr %.sroa.18.0..sroa_idx, align 8, !tbaa !5
  %326 = add i64 %325, %283
  store i64 %326, ptr %.sroa.18.0..sroa_idx, align 8, !tbaa !5
  %327 = load i64, ptr %.sroa.21.0..sroa_idx, align 8, !tbaa !5
  %328 = add i64 %327, %254
  store i64 %328, ptr %.sroa.21.0..sroa_idx, align 8, !tbaa !5
  %329 = load i64, ptr %.sroa.24.0..sroa_idx, align 8, !tbaa !5
  %330 = add i64 %329, %225
  store i64 %330, ptr %.sroa.24.0..sroa_idx, align 8, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 640, ptr nonnull %2) #3
  ret i32 0
}

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

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.fshl.i64(i64, i64, i64) #2

attributes #0 = { nofree norecurse nosync nounwind memory(argmem: readwrite) 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 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { 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 = !{!"long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}
!12 = distinct !{!12, !11}
!13 = distinct !{!13, !11}


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