; LLVM IR from tleonhardt/practical_cryptography_engineering :: mbedtls (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 void @mbedtls_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 i64, align 8
  %10 = alloca i64, align 8
  %11 = alloca i64, align 8
  %12 = alloca i64, align 8
  %13 = alloca i64, align 8
  %14 = alloca i64, align 8
  %15 = alloca i64, align 8
  %16 = alloca i64, align 8
  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 8, ptr %9) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #2
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %17

17:                                               ; preds = %101, %2
  %18 = load i32, ptr %5, align 4, !tbaa !9
  %19 = icmp slt i32 %18, 16
  br i1 %19, label %20, label %104

20:                                               ; preds = %17
  %21 = load ptr, ptr %4, align 8, !tbaa !5
  %22 = load i32, ptr %5, align 4, !tbaa !9
  %23 = shl i32 %22, 3
  %24 = sext i32 %23 to i64
  %25 = getelementptr inbounds i8, ptr %21, i64 %24
  %26 = load i8, ptr %25, align 1, !tbaa !11
  %27 = zext i8 %26 to i64
  %28 = shl i64 %27, 56
  %29 = load ptr, ptr %4, align 8, !tbaa !5
  %30 = load i32, ptr %5, align 4, !tbaa !9
  %31 = shl i32 %30, 3
  %32 = add nsw i32 %31, 1
  %33 = sext i32 %32 to i64
  %34 = getelementptr inbounds i8, ptr %29, i64 %33
  %35 = load i8, ptr %34, align 1, !tbaa !11
  %36 = zext i8 %35 to i64
  %37 = shl i64 %36, 48
  %38 = or i64 %28, %37
  %39 = load ptr, ptr %4, align 8, !tbaa !5
  %40 = load i32, ptr %5, align 4, !tbaa !9
  %41 = shl i32 %40, 3
  %42 = add nsw i32 %41, 2
  %43 = sext i32 %42 to i64
  %44 = getelementptr inbounds i8, ptr %39, i64 %43
  %45 = load i8, ptr %44, align 1, !tbaa !11
  %46 = zext i8 %45 to i64
  %47 = shl i64 %46, 40
  %48 = or i64 %38, %47
  %49 = load ptr, ptr %4, align 8, !tbaa !5
  %50 = load i32, ptr %5, align 4, !tbaa !9
  %51 = shl i32 %50, 3
  %52 = add nsw i32 %51, 3
  %53 = sext i32 %52 to i64
  %54 = getelementptr inbounds i8, ptr %49, i64 %53
  %55 = load i8, ptr %54, align 1, !tbaa !11
  %56 = zext i8 %55 to i64
  %57 = shl i64 %56, 32
  %58 = or i64 %48, %57
  %59 = load ptr, ptr %4, align 8, !tbaa !5
  %60 = load i32, ptr %5, align 4, !tbaa !9
  %61 = shl i32 %60, 3
  %62 = add nsw i32 %61, 4
  %63 = sext i32 %62 to i64
  %64 = getelementptr inbounds i8, ptr %59, i64 %63
  %65 = load i8, ptr %64, align 1, !tbaa !11
  %66 = zext i8 %65 to i64
  %67 = shl i64 %66, 24
  %68 = or i64 %58, %67
  %69 = load ptr, ptr %4, align 8, !tbaa !5
  %70 = load i32, ptr %5, align 4, !tbaa !9
  %71 = shl i32 %70, 3
  %72 = add nsw i32 %71, 5
  %73 = sext i32 %72 to i64
  %74 = getelementptr inbounds i8, ptr %69, i64 %73
  %75 = load i8, ptr %74, align 1, !tbaa !11
  %76 = zext i8 %75 to i64
  %77 = shl i64 %76, 16
  %78 = or i64 %68, %77
  %79 = load ptr, ptr %4, align 8, !tbaa !5
  %80 = load i32, ptr %5, align 4, !tbaa !9
  %81 = shl i32 %80, 3
  %82 = add nsw i32 %81, 6
  %83 = sext i32 %82 to i64
  %84 = getelementptr inbounds i8, ptr %79, i64 %83
  %85 = load i8, ptr %84, align 1, !tbaa !11
  %86 = zext i8 %85 to i64
  %87 = shl i64 %86, 8
  %88 = or i64 %78, %87
  %89 = load ptr, ptr %4, align 8, !tbaa !5
  %90 = load i32, ptr %5, align 4, !tbaa !9
  %91 = shl i32 %90, 3
  %92 = add nsw i32 %91, 7
  %93 = sext i32 %92 to i64
  %94 = getelementptr inbounds i8, ptr %89, i64 %93
  %95 = load i8, ptr %94, align 1, !tbaa !11
  %96 = zext i8 %95 to i64
  %97 = or i64 %88, %96
  %98 = load i32, ptr %5, align 4, !tbaa !9
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %99
  store i64 %97, ptr %100, align 8, !tbaa !12
  br label %101

101:                                              ; preds = %20
  %102 = load i32, ptr %5, align 4, !tbaa !9
  %103 = add nsw i32 %102, 1
  store i32 %103, ptr %5, align 4, !tbaa !9
  br label %17, !llvm.loop !14

104:                                              ; preds = %17
  br label %105

105:                                              ; preds = %193, %104
  %106 = load i32, ptr %5, align 4, !tbaa !9
  %107 = icmp slt i32 %106, 80
  br i1 %107, label %108, label %196

108:                                              ; preds = %105
  %109 = load i32, ptr %5, align 4, !tbaa !9
  %110 = sub nsw i32 %109, 2
  %111 = sext i32 %110 to i64
  %112 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %111
  %113 = load i64, ptr %112, align 8, !tbaa !12
  %114 = lshr i64 %113, 19
  %115 = load i32, ptr %5, align 4, !tbaa !9
  %116 = sub nsw i32 %115, 2
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %117
  %119 = load i64, ptr %118, align 8, !tbaa !12
  %120 = shl i64 %119, 45
  %121 = or i64 %114, %120
  %122 = load i32, ptr %5, align 4, !tbaa !9
  %123 = sub nsw i32 %122, 2
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %124
  %126 = load i64, ptr %125, align 8, !tbaa !12
  %127 = lshr i64 %126, 61
  %128 = load i32, ptr %5, align 4, !tbaa !9
  %129 = sub nsw i32 %128, 2
  %130 = sext i32 %129 to i64
  %131 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %130
  %132 = load i64, ptr %131, align 8, !tbaa !12
  %133 = shl i64 %132, 3
  %134 = or i64 %127, %133
  %135 = xor i64 %121, %134
  %136 = load i32, ptr %5, align 4, !tbaa !9
  %137 = sub nsw i32 %136, 2
  %138 = sext i32 %137 to i64
  %139 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %138
  %140 = load i64, ptr %139, align 8, !tbaa !12
  %141 = lshr i64 %140, 6
  %142 = xor i64 %135, %141
  %143 = load i32, ptr %5, align 4, !tbaa !9
  %144 = sub nsw i32 %143, 7
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %145
  %147 = load i64, ptr %146, align 8, !tbaa !12
  %148 = add i64 %142, %147
  %149 = load i32, ptr %5, align 4, !tbaa !9
  %150 = sub nsw i32 %149, 15
  %151 = sext i32 %150 to i64
  %152 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %151
  %153 = load i64, ptr %152, align 8, !tbaa !12
  %154 = lshr i64 %153, 1
  %155 = load i32, ptr %5, align 4, !tbaa !9
  %156 = sub nsw i32 %155, 15
  %157 = sext i32 %156 to i64
  %158 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %157
  %159 = load i64, ptr %158, align 8, !tbaa !12
  %160 = shl i64 %159, 63
  %161 = or i64 %154, %160
  %162 = load i32, ptr %5, align 4, !tbaa !9
  %163 = sub nsw i32 %162, 15
  %164 = sext i32 %163 to i64
  %165 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %164
  %166 = load i64, ptr %165, align 8, !tbaa !12
  %167 = lshr i64 %166, 8
  %168 = load i32, ptr %5, align 4, !tbaa !9
  %169 = sub nsw i32 %168, 15
  %170 = sext i32 %169 to i64
  %171 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %170
  %172 = load i64, ptr %171, align 8, !tbaa !12
  %173 = shl i64 %172, 56
  %174 = or i64 %167, %173
  %175 = xor i64 %161, %174
  %176 = load i32, ptr %5, align 4, !tbaa !9
  %177 = sub nsw i32 %176, 15
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %178
  %180 = load i64, ptr %179, align 8, !tbaa !12
  %181 = lshr i64 %180, 7
  %182 = xor i64 %175, %181
  %183 = add i64 %148, %182
  %184 = load i32, ptr %5, align 4, !tbaa !9
  %185 = sub nsw i32 %184, 16
  %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 !12
  %189 = add i64 %183, %188
  %190 = load i32, ptr %5, align 4, !tbaa !9
  %191 = sext i32 %190 to i64
  %192 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %191
  store i64 %189, ptr %192, align 8, !tbaa !12
  br label %193

193:                                              ; preds = %108
  %194 = load i32, ptr %5, align 4, !tbaa !9
  %195 = add nsw i32 %194, 1
  store i32 %195, ptr %5, align 4, !tbaa !9
  br label %105, !llvm.loop !16

196:                                              ; preds = %105
  %197 = load ptr, ptr %3, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %197, i32 0, i32 1
  %199 = getelementptr inbounds [8 x i64], ptr %198, i64 0, i64 0
  %200 = load i64, ptr %199, align 8, !tbaa !12
  store i64 %200, ptr %9, align 8, !tbaa !12
  %201 = load ptr, ptr %3, align 8, !tbaa !5
  %202 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %201, i32 0, i32 1
  %203 = getelementptr inbounds [8 x i64], ptr %202, i64 0, i64 1
  %204 = load i64, ptr %203, align 8, !tbaa !12
  store i64 %204, ptr %10, align 8, !tbaa !12
  %205 = load ptr, ptr %3, align 8, !tbaa !5
  %206 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %205, i32 0, i32 1
  %207 = getelementptr inbounds [8 x i64], ptr %206, i64 0, i64 2
  %208 = load i64, ptr %207, align 8, !tbaa !12
  store i64 %208, ptr %11, align 8, !tbaa !12
  %209 = load ptr, ptr %3, align 8, !tbaa !5
  %210 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %209, i32 0, i32 1
  %211 = getelementptr inbounds [8 x i64], ptr %210, i64 0, i64 3
  %212 = load i64, ptr %211, align 8, !tbaa !12
  store i64 %212, ptr %12, align 8, !tbaa !12
  %213 = load ptr, ptr %3, align 8, !tbaa !5
  %214 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %213, i32 0, i32 1
  %215 = getelementptr inbounds [8 x i64], ptr %214, i64 0, i64 4
  %216 = load i64, ptr %215, align 8, !tbaa !12
  store i64 %216, ptr %13, align 8, !tbaa !12
  %217 = load ptr, ptr %3, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %217, i32 0, i32 1
  %219 = getelementptr inbounds [8 x i64], ptr %218, i64 0, i64 5
  %220 = load i64, ptr %219, align 8, !tbaa !12
  store i64 %220, ptr %14, align 8, !tbaa !12
  %221 = load ptr, ptr %3, align 8, !tbaa !5
  %222 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %221, i32 0, i32 1
  %223 = getelementptr inbounds [8 x i64], ptr %222, i64 0, i64 6
  %224 = load i64, ptr %223, align 8, !tbaa !12
  store i64 %224, ptr %15, align 8, !tbaa !12
  %225 = load ptr, ptr %3, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %225, i32 0, i32 1
  %227 = getelementptr inbounds [8 x i64], ptr %226, i64 0, i64 7
  %228 = load i64, ptr %227, align 8, !tbaa !12
  store i64 %228, ptr %16, align 8, !tbaa !12
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %229

229:                                              ; preds = %806, %196
  %230 = load i64, ptr %16, align 8, !tbaa !12
  %231 = load i64, ptr %13, align 8, !tbaa !12
  %232 = lshr i64 %231, 14
  %233 = load i64, ptr %13, align 8, !tbaa !12
  %234 = shl i64 %233, 50
  %235 = or i64 %232, %234
  %236 = load i64, ptr %13, align 8, !tbaa !12
  %237 = lshr i64 %236, 18
  %238 = load i64, ptr %13, align 8, !tbaa !12
  %239 = shl i64 %238, 46
  %240 = or i64 %237, %239
  %241 = xor i64 %235, %240
  %242 = load i64, ptr %13, align 8, !tbaa !12
  %243 = lshr i64 %242, 41
  %244 = load i64, ptr %13, align 8, !tbaa !12
  %245 = shl i64 %244, 23
  %246 = or i64 %243, %245
  %247 = xor i64 %241, %246
  %248 = add i64 %230, %247
  %249 = load i64, ptr %15, align 8, !tbaa !12
  %250 = load i64, ptr %13, align 8, !tbaa !12
  %251 = load i64, ptr %14, align 8, !tbaa !12
  %252 = load i64, ptr %15, align 8, !tbaa !12
  %253 = xor i64 %251, %252
  %254 = and i64 %250, %253
  %255 = xor i64 %249, %254
  %256 = add i64 %248, %255
  %257 = load i32, ptr %5, align 4, !tbaa !9
  %258 = sext i32 %257 to i64
  %259 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %258
  %260 = load i64, ptr %259, align 8, !tbaa !12
  %261 = add i64 %256, %260
  %262 = load i32, ptr %5, align 4, !tbaa !9
  %263 = sext i32 %262 to i64
  %264 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %263
  %265 = load i64, ptr %264, align 8, !tbaa !12
  %266 = add i64 %261, %265
  store i64 %266, ptr %6, align 8, !tbaa !12
  %267 = load i64, ptr %9, align 8, !tbaa !12
  %268 = lshr i64 %267, 28
  %269 = load i64, ptr %9, align 8, !tbaa !12
  %270 = shl i64 %269, 36
  %271 = or i64 %268, %270
  %272 = load i64, ptr %9, align 8, !tbaa !12
  %273 = lshr i64 %272, 34
  %274 = load i64, ptr %9, align 8, !tbaa !12
  %275 = shl i64 %274, 30
  %276 = or i64 %273, %275
  %277 = xor i64 %271, %276
  %278 = load i64, ptr %9, align 8, !tbaa !12
  %279 = lshr i64 %278, 39
  %280 = load i64, ptr %9, align 8, !tbaa !12
  %281 = shl i64 %280, 25
  %282 = or i64 %279, %281
  %283 = xor i64 %277, %282
  %284 = load i64, ptr %9, align 8, !tbaa !12
  %285 = load i64, ptr %10, align 8, !tbaa !12
  %286 = and i64 %284, %285
  %287 = load i64, ptr %11, align 8, !tbaa !12
  %288 = load i64, ptr %9, align 8, !tbaa !12
  %289 = load i64, ptr %10, align 8, !tbaa !12
  %290 = or i64 %288, %289
  %291 = and i64 %287, %290
  %292 = or i64 %286, %291
  %293 = add i64 %283, %292
  store i64 %293, ptr %7, align 8, !tbaa !12
  %294 = load i64, ptr %6, align 8, !tbaa !12
  %295 = load i64, ptr %12, align 8, !tbaa !12
  %296 = add i64 %295, %294
  store i64 %296, ptr %12, align 8, !tbaa !12
  %297 = load i64, ptr %6, align 8, !tbaa !12
  %298 = load i64, ptr %7, align 8, !tbaa !12
  %299 = add i64 %297, %298
  store i64 %299, ptr %16, align 8, !tbaa !12
  %300 = load i32, ptr %5, align 4, !tbaa !9
  %301 = add nsw i32 %300, 1
  store i32 %301, ptr %5, align 4, !tbaa !9
  %302 = load i64, ptr %15, align 8, !tbaa !12
  %303 = load i64, ptr %12, align 8, !tbaa !12
  %304 = lshr i64 %303, 14
  %305 = load i64, ptr %12, align 8, !tbaa !12
  %306 = shl i64 %305, 50
  %307 = or i64 %304, %306
  %308 = load i64, ptr %12, align 8, !tbaa !12
  %309 = lshr i64 %308, 18
  %310 = load i64, ptr %12, align 8, !tbaa !12
  %311 = shl i64 %310, 46
  %312 = or i64 %309, %311
  %313 = xor i64 %307, %312
  %314 = load i64, ptr %12, align 8, !tbaa !12
  %315 = lshr i64 %314, 41
  %316 = load i64, ptr %12, align 8, !tbaa !12
  %317 = shl i64 %316, 23
  %318 = or i64 %315, %317
  %319 = xor i64 %313, %318
  %320 = add i64 %302, %319
  %321 = load i64, ptr %14, align 8, !tbaa !12
  %322 = load i64, ptr %12, align 8, !tbaa !12
  %323 = load i64, ptr %13, align 8, !tbaa !12
  %324 = load i64, ptr %14, align 8, !tbaa !12
  %325 = xor i64 %323, %324
  %326 = and i64 %322, %325
  %327 = xor i64 %321, %326
  %328 = add i64 %320, %327
  %329 = load i32, ptr %5, align 4, !tbaa !9
  %330 = sext i32 %329 to i64
  %331 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %330
  %332 = load i64, ptr %331, align 8, !tbaa !12
  %333 = add i64 %328, %332
  %334 = load i32, ptr %5, align 4, !tbaa !9
  %335 = sext i32 %334 to i64
  %336 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %335
  %337 = load i64, ptr %336, align 8, !tbaa !12
  %338 = add i64 %333, %337
  store i64 %338, ptr %6, align 8, !tbaa !12
  %339 = load i64, ptr %16, align 8, !tbaa !12
  %340 = lshr i64 %339, 28
  %341 = load i64, ptr %16, align 8, !tbaa !12
  %342 = shl i64 %341, 36
  %343 = or i64 %340, %342
  %344 = load i64, ptr %16, align 8, !tbaa !12
  %345 = lshr i64 %344, 34
  %346 = load i64, ptr %16, align 8, !tbaa !12
  %347 = shl i64 %346, 30
  %348 = or i64 %345, %347
  %349 = xor i64 %343, %348
  %350 = load i64, ptr %16, align 8, !tbaa !12
  %351 = lshr i64 %350, 39
  %352 = load i64, ptr %16, align 8, !tbaa !12
  %353 = shl i64 %352, 25
  %354 = or i64 %351, %353
  %355 = xor i64 %349, %354
  %356 = load i64, ptr %16, align 8, !tbaa !12
  %357 = load i64, ptr %9, align 8, !tbaa !12
  %358 = and i64 %356, %357
  %359 = load i64, ptr %10, align 8, !tbaa !12
  %360 = load i64, ptr %16, align 8, !tbaa !12
  %361 = load i64, ptr %9, align 8, !tbaa !12
  %362 = or i64 %360, %361
  %363 = and i64 %359, %362
  %364 = or i64 %358, %363
  %365 = add i64 %355, %364
  store i64 %365, ptr %7, align 8, !tbaa !12
  %366 = load i64, ptr %6, align 8, !tbaa !12
  %367 = load i64, ptr %11, align 8, !tbaa !12
  %368 = add i64 %367, %366
  store i64 %368, ptr %11, align 8, !tbaa !12
  %369 = load i64, ptr %6, align 8, !tbaa !12
  %370 = load i64, ptr %7, align 8, !tbaa !12
  %371 = add i64 %369, %370
  store i64 %371, ptr %15, align 8, !tbaa !12
  %372 = load i32, ptr %5, align 4, !tbaa !9
  %373 = add nsw i32 %372, 1
  store i32 %373, ptr %5, align 4, !tbaa !9
  %374 = load i64, ptr %14, align 8, !tbaa !12
  %375 = load i64, ptr %11, align 8, !tbaa !12
  %376 = lshr i64 %375, 14
  %377 = load i64, ptr %11, align 8, !tbaa !12
  %378 = shl i64 %377, 50
  %379 = or i64 %376, %378
  %380 = load i64, ptr %11, align 8, !tbaa !12
  %381 = lshr i64 %380, 18
  %382 = load i64, ptr %11, align 8, !tbaa !12
  %383 = shl i64 %382, 46
  %384 = or i64 %381, %383
  %385 = xor i64 %379, %384
  %386 = load i64, ptr %11, align 8, !tbaa !12
  %387 = lshr i64 %386, 41
  %388 = load i64, ptr %11, align 8, !tbaa !12
  %389 = shl i64 %388, 23
  %390 = or i64 %387, %389
  %391 = xor i64 %385, %390
  %392 = add i64 %374, %391
  %393 = load i64, ptr %13, align 8, !tbaa !12
  %394 = load i64, ptr %11, align 8, !tbaa !12
  %395 = load i64, ptr %12, align 8, !tbaa !12
  %396 = load i64, ptr %13, align 8, !tbaa !12
  %397 = xor i64 %395, %396
  %398 = and i64 %394, %397
  %399 = xor i64 %393, %398
  %400 = add i64 %392, %399
  %401 = load i32, ptr %5, align 4, !tbaa !9
  %402 = sext i32 %401 to i64
  %403 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %402
  %404 = load i64, ptr %403, align 8, !tbaa !12
  %405 = add i64 %400, %404
  %406 = load i32, ptr %5, align 4, !tbaa !9
  %407 = sext i32 %406 to i64
  %408 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %407
  %409 = load i64, ptr %408, align 8, !tbaa !12
  %410 = add i64 %405, %409
  store i64 %410, ptr %6, align 8, !tbaa !12
  %411 = load i64, ptr %15, align 8, !tbaa !12
  %412 = lshr i64 %411, 28
  %413 = load i64, ptr %15, align 8, !tbaa !12
  %414 = shl i64 %413, 36
  %415 = or i64 %412, %414
  %416 = load i64, ptr %15, align 8, !tbaa !12
  %417 = lshr i64 %416, 34
  %418 = load i64, ptr %15, align 8, !tbaa !12
  %419 = shl i64 %418, 30
  %420 = or i64 %417, %419
  %421 = xor i64 %415, %420
  %422 = load i64, ptr %15, align 8, !tbaa !12
  %423 = lshr i64 %422, 39
  %424 = load i64, ptr %15, align 8, !tbaa !12
  %425 = shl i64 %424, 25
  %426 = or i64 %423, %425
  %427 = xor i64 %421, %426
  %428 = load i64, ptr %15, align 8, !tbaa !12
  %429 = load i64, ptr %16, align 8, !tbaa !12
  %430 = and i64 %428, %429
  %431 = load i64, ptr %9, align 8, !tbaa !12
  %432 = load i64, ptr %15, align 8, !tbaa !12
  %433 = load i64, ptr %16, align 8, !tbaa !12
  %434 = or i64 %432, %433
  %435 = and i64 %431, %434
  %436 = or i64 %430, %435
  %437 = add i64 %427, %436
  store i64 %437, ptr %7, align 8, !tbaa !12
  %438 = load i64, ptr %6, align 8, !tbaa !12
  %439 = load i64, ptr %10, align 8, !tbaa !12
  %440 = add i64 %439, %438
  store i64 %440, ptr %10, align 8, !tbaa !12
  %441 = load i64, ptr %6, align 8, !tbaa !12
  %442 = load i64, ptr %7, align 8, !tbaa !12
  %443 = add i64 %441, %442
  store i64 %443, ptr %14, align 8, !tbaa !12
  %444 = load i32, ptr %5, align 4, !tbaa !9
  %445 = add nsw i32 %444, 1
  store i32 %445, ptr %5, align 4, !tbaa !9
  %446 = load i64, ptr %13, align 8, !tbaa !12
  %447 = load i64, ptr %10, align 8, !tbaa !12
  %448 = lshr i64 %447, 14
  %449 = load i64, ptr %10, align 8, !tbaa !12
  %450 = shl i64 %449, 50
  %451 = or i64 %448, %450
  %452 = load i64, ptr %10, align 8, !tbaa !12
  %453 = lshr i64 %452, 18
  %454 = load i64, ptr %10, align 8, !tbaa !12
  %455 = shl i64 %454, 46
  %456 = or i64 %453, %455
  %457 = xor i64 %451, %456
  %458 = load i64, ptr %10, align 8, !tbaa !12
  %459 = lshr i64 %458, 41
  %460 = load i64, ptr %10, align 8, !tbaa !12
  %461 = shl i64 %460, 23
  %462 = or i64 %459, %461
  %463 = xor i64 %457, %462
  %464 = add i64 %446, %463
  %465 = load i64, ptr %12, align 8, !tbaa !12
  %466 = load i64, ptr %10, align 8, !tbaa !12
  %467 = load i64, ptr %11, align 8, !tbaa !12
  %468 = load i64, ptr %12, align 8, !tbaa !12
  %469 = xor i64 %467, %468
  %470 = and i64 %466, %469
  %471 = xor i64 %465, %470
  %472 = add i64 %464, %471
  %473 = load i32, ptr %5, align 4, !tbaa !9
  %474 = sext i32 %473 to i64
  %475 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %474
  %476 = load i64, ptr %475, align 8, !tbaa !12
  %477 = add i64 %472, %476
  %478 = load i32, ptr %5, align 4, !tbaa !9
  %479 = sext i32 %478 to i64
  %480 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %479
  %481 = load i64, ptr %480, align 8, !tbaa !12
  %482 = add i64 %477, %481
  store i64 %482, ptr %6, align 8, !tbaa !12
  %483 = load i64, ptr %14, align 8, !tbaa !12
  %484 = lshr i64 %483, 28
  %485 = load i64, ptr %14, align 8, !tbaa !12
  %486 = shl i64 %485, 36
  %487 = or i64 %484, %486
  %488 = load i64, ptr %14, align 8, !tbaa !12
  %489 = lshr i64 %488, 34
  %490 = load i64, ptr %14, align 8, !tbaa !12
  %491 = shl i64 %490, 30
  %492 = or i64 %489, %491
  %493 = xor i64 %487, %492
  %494 = load i64, ptr %14, align 8, !tbaa !12
  %495 = lshr i64 %494, 39
  %496 = load i64, ptr %14, align 8, !tbaa !12
  %497 = shl i64 %496, 25
  %498 = or i64 %495, %497
  %499 = xor i64 %493, %498
  %500 = load i64, ptr %14, align 8, !tbaa !12
  %501 = load i64, ptr %15, align 8, !tbaa !12
  %502 = and i64 %500, %501
  %503 = load i64, ptr %16, align 8, !tbaa !12
  %504 = load i64, ptr %14, align 8, !tbaa !12
  %505 = load i64, ptr %15, align 8, !tbaa !12
  %506 = or i64 %504, %505
  %507 = and i64 %503, %506
  %508 = or i64 %502, %507
  %509 = add i64 %499, %508
  store i64 %509, ptr %7, align 8, !tbaa !12
  %510 = load i64, ptr %6, align 8, !tbaa !12
  %511 = load i64, ptr %9, align 8, !tbaa !12
  %512 = add i64 %511, %510
  store i64 %512, ptr %9, align 8, !tbaa !12
  %513 = load i64, ptr %6, align 8, !tbaa !12
  %514 = load i64, ptr %7, align 8, !tbaa !12
  %515 = add i64 %513, %514
  store i64 %515, ptr %13, align 8, !tbaa !12
  %516 = load i32, ptr %5, align 4, !tbaa !9
  %517 = add nsw i32 %516, 1
  store i32 %517, ptr %5, align 4, !tbaa !9
  %518 = load i64, ptr %12, align 8, !tbaa !12
  %519 = load i64, ptr %9, align 8, !tbaa !12
  %520 = lshr i64 %519, 14
  %521 = load i64, ptr %9, align 8, !tbaa !12
  %522 = shl i64 %521, 50
  %523 = or i64 %520, %522
  %524 = load i64, ptr %9, align 8, !tbaa !12
  %525 = lshr i64 %524, 18
  %526 = load i64, ptr %9, align 8, !tbaa !12
  %527 = shl i64 %526, 46
  %528 = or i64 %525, %527
  %529 = xor i64 %523, %528
  %530 = load i64, ptr %9, align 8, !tbaa !12
  %531 = lshr i64 %530, 41
  %532 = load i64, ptr %9, align 8, !tbaa !12
  %533 = shl i64 %532, 23
  %534 = or i64 %531, %533
  %535 = xor i64 %529, %534
  %536 = add i64 %518, %535
  %537 = load i64, ptr %11, align 8, !tbaa !12
  %538 = load i64, ptr %9, align 8, !tbaa !12
  %539 = load i64, ptr %10, align 8, !tbaa !12
  %540 = load i64, ptr %11, align 8, !tbaa !12
  %541 = xor i64 %539, %540
  %542 = and i64 %538, %541
  %543 = xor i64 %537, %542
  %544 = add i64 %536, %543
  %545 = load i32, ptr %5, align 4, !tbaa !9
  %546 = sext i32 %545 to i64
  %547 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %546
  %548 = load i64, ptr %547, align 8, !tbaa !12
  %549 = add i64 %544, %548
  %550 = load i32, ptr %5, align 4, !tbaa !9
  %551 = sext i32 %550 to i64
  %552 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %551
  %553 = load i64, ptr %552, align 8, !tbaa !12
  %554 = add i64 %549, %553
  store i64 %554, ptr %6, align 8, !tbaa !12
  %555 = load i64, ptr %13, align 8, !tbaa !12
  %556 = lshr i64 %555, 28
  %557 = load i64, ptr %13, align 8, !tbaa !12
  %558 = shl i64 %557, 36
  %559 = or i64 %556, %558
  %560 = load i64, ptr %13, align 8, !tbaa !12
  %561 = lshr i64 %560, 34
  %562 = load i64, ptr %13, align 8, !tbaa !12
  %563 = shl i64 %562, 30
  %564 = or i64 %561, %563
  %565 = xor i64 %559, %564
  %566 = load i64, ptr %13, align 8, !tbaa !12
  %567 = lshr i64 %566, 39
  %568 = load i64, ptr %13, align 8, !tbaa !12
  %569 = shl i64 %568, 25
  %570 = or i64 %567, %569
  %571 = xor i64 %565, %570
  %572 = load i64, ptr %13, align 8, !tbaa !12
  %573 = load i64, ptr %14, align 8, !tbaa !12
  %574 = and i64 %572, %573
  %575 = load i64, ptr %15, align 8, !tbaa !12
  %576 = load i64, ptr %13, align 8, !tbaa !12
  %577 = load i64, ptr %14, align 8, !tbaa !12
  %578 = or i64 %576, %577
  %579 = and i64 %575, %578
  %580 = or i64 %574, %579
  %581 = add i64 %571, %580
  store i64 %581, ptr %7, align 8, !tbaa !12
  %582 = load i64, ptr %6, align 8, !tbaa !12
  %583 = load i64, ptr %16, align 8, !tbaa !12
  %584 = add i64 %583, %582
  store i64 %584, ptr %16, align 8, !tbaa !12
  %585 = load i64, ptr %6, align 8, !tbaa !12
  %586 = load i64, ptr %7, align 8, !tbaa !12
  %587 = add i64 %585, %586
  store i64 %587, ptr %12, align 8, !tbaa !12
  %588 = load i32, ptr %5, align 4, !tbaa !9
  %589 = add nsw i32 %588, 1
  store i32 %589, ptr %5, align 4, !tbaa !9
  %590 = load i64, ptr %11, align 8, !tbaa !12
  %591 = load i64, ptr %16, align 8, !tbaa !12
  %592 = lshr i64 %591, 14
  %593 = load i64, ptr %16, align 8, !tbaa !12
  %594 = shl i64 %593, 50
  %595 = or i64 %592, %594
  %596 = load i64, ptr %16, align 8, !tbaa !12
  %597 = lshr i64 %596, 18
  %598 = load i64, ptr %16, align 8, !tbaa !12
  %599 = shl i64 %598, 46
  %600 = or i64 %597, %599
  %601 = xor i64 %595, %600
  %602 = load i64, ptr %16, align 8, !tbaa !12
  %603 = lshr i64 %602, 41
  %604 = load i64, ptr %16, align 8, !tbaa !12
  %605 = shl i64 %604, 23
  %606 = or i64 %603, %605
  %607 = xor i64 %601, %606
  %608 = add i64 %590, %607
  %609 = load i64, ptr %10, align 8, !tbaa !12
  %610 = load i64, ptr %16, align 8, !tbaa !12
  %611 = load i64, ptr %9, align 8, !tbaa !12
  %612 = load i64, ptr %10, align 8, !tbaa !12
  %613 = xor i64 %611, %612
  %614 = and i64 %610, %613
  %615 = xor i64 %609, %614
  %616 = add i64 %608, %615
  %617 = load i32, ptr %5, align 4, !tbaa !9
  %618 = sext i32 %617 to i64
  %619 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %618
  %620 = load i64, ptr %619, align 8, !tbaa !12
  %621 = add i64 %616, %620
  %622 = load i32, ptr %5, align 4, !tbaa !9
  %623 = sext i32 %622 to i64
  %624 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %623
  %625 = load i64, ptr %624, align 8, !tbaa !12
  %626 = add i64 %621, %625
  store i64 %626, ptr %6, align 8, !tbaa !12
  %627 = load i64, ptr %12, align 8, !tbaa !12
  %628 = lshr i64 %627, 28
  %629 = load i64, ptr %12, align 8, !tbaa !12
  %630 = shl i64 %629, 36
  %631 = or i64 %628, %630
  %632 = load i64, ptr %12, align 8, !tbaa !12
  %633 = lshr i64 %632, 34
  %634 = load i64, ptr %12, align 8, !tbaa !12
  %635 = shl i64 %634, 30
  %636 = or i64 %633, %635
  %637 = xor i64 %631, %636
  %638 = load i64, ptr %12, align 8, !tbaa !12
  %639 = lshr i64 %638, 39
  %640 = load i64, ptr %12, align 8, !tbaa !12
  %641 = shl i64 %640, 25
  %642 = or i64 %639, %641
  %643 = xor i64 %637, %642
  %644 = load i64, ptr %12, align 8, !tbaa !12
  %645 = load i64, ptr %13, align 8, !tbaa !12
  %646 = and i64 %644, %645
  %647 = load i64, ptr %14, align 8, !tbaa !12
  %648 = load i64, ptr %12, align 8, !tbaa !12
  %649 = load i64, ptr %13, align 8, !tbaa !12
  %650 = or i64 %648, %649
  %651 = and i64 %647, %650
  %652 = or i64 %646, %651
  %653 = add i64 %643, %652
  store i64 %653, ptr %7, align 8, !tbaa !12
  %654 = load i64, ptr %6, align 8, !tbaa !12
  %655 = load i64, ptr %15, align 8, !tbaa !12
  %656 = add i64 %655, %654
  store i64 %656, ptr %15, align 8, !tbaa !12
  %657 = load i64, ptr %6, align 8, !tbaa !12
  %658 = load i64, ptr %7, align 8, !tbaa !12
  %659 = add i64 %657, %658
  store i64 %659, ptr %11, align 8, !tbaa !12
  %660 = load i32, ptr %5, align 4, !tbaa !9
  %661 = add nsw i32 %660, 1
  store i32 %661, ptr %5, align 4, !tbaa !9
  %662 = load i64, ptr %10, align 8, !tbaa !12
  %663 = load i64, ptr %15, align 8, !tbaa !12
  %664 = lshr i64 %663, 14
  %665 = load i64, ptr %15, align 8, !tbaa !12
  %666 = shl i64 %665, 50
  %667 = or i64 %664, %666
  %668 = load i64, ptr %15, align 8, !tbaa !12
  %669 = lshr i64 %668, 18
  %670 = load i64, ptr %15, align 8, !tbaa !12
  %671 = shl i64 %670, 46
  %672 = or i64 %669, %671
  %673 = xor i64 %667, %672
  %674 = load i64, ptr %15, align 8, !tbaa !12
  %675 = lshr i64 %674, 41
  %676 = load i64, ptr %15, align 8, !tbaa !12
  %677 = shl i64 %676, 23
  %678 = or i64 %675, %677
  %679 = xor i64 %673, %678
  %680 = add i64 %662, %679
  %681 = load i64, ptr %9, align 8, !tbaa !12
  %682 = load i64, ptr %15, align 8, !tbaa !12
  %683 = load i64, ptr %16, align 8, !tbaa !12
  %684 = load i64, ptr %9, align 8, !tbaa !12
  %685 = xor i64 %683, %684
  %686 = and i64 %682, %685
  %687 = xor i64 %681, %686
  %688 = add i64 %680, %687
  %689 = load i32, ptr %5, align 4, !tbaa !9
  %690 = sext i32 %689 to i64
  %691 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %690
  %692 = load i64, ptr %691, align 8, !tbaa !12
  %693 = add i64 %688, %692
  %694 = load i32, ptr %5, align 4, !tbaa !9
  %695 = sext i32 %694 to i64
  %696 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %695
  %697 = load i64, ptr %696, align 8, !tbaa !12
  %698 = add i64 %693, %697
  store i64 %698, ptr %6, align 8, !tbaa !12
  %699 = load i64, ptr %11, align 8, !tbaa !12
  %700 = lshr i64 %699, 28
  %701 = load i64, ptr %11, align 8, !tbaa !12
  %702 = shl i64 %701, 36
  %703 = or i64 %700, %702
  %704 = load i64, ptr %11, align 8, !tbaa !12
  %705 = lshr i64 %704, 34
  %706 = load i64, ptr %11, align 8, !tbaa !12
  %707 = shl i64 %706, 30
  %708 = or i64 %705, %707
  %709 = xor i64 %703, %708
  %710 = load i64, ptr %11, align 8, !tbaa !12
  %711 = lshr i64 %710, 39
  %712 = load i64, ptr %11, align 8, !tbaa !12
  %713 = shl i64 %712, 25
  %714 = or i64 %711, %713
  %715 = xor i64 %709, %714
  %716 = load i64, ptr %11, align 8, !tbaa !12
  %717 = load i64, ptr %12, align 8, !tbaa !12
  %718 = and i64 %716, %717
  %719 = load i64, ptr %13, align 8, !tbaa !12
  %720 = load i64, ptr %11, align 8, !tbaa !12
  %721 = load i64, ptr %12, align 8, !tbaa !12
  %722 = or i64 %720, %721
  %723 = and i64 %719, %722
  %724 = or i64 %718, %723
  %725 = add i64 %715, %724
  store i64 %725, ptr %7, align 8, !tbaa !12
  %726 = load i64, ptr %6, align 8, !tbaa !12
  %727 = load i64, ptr %14, align 8, !tbaa !12
  %728 = add i64 %727, %726
  store i64 %728, ptr %14, align 8, !tbaa !12
  %729 = load i64, ptr %6, align 8, !tbaa !12
  %730 = load i64, ptr %7, align 8, !tbaa !12
  %731 = add i64 %729, %730
  store i64 %731, ptr %10, align 8, !tbaa !12
  %732 = load i32, ptr %5, align 4, !tbaa !9
  %733 = add nsw i32 %732, 1
  store i32 %733, ptr %5, align 4, !tbaa !9
  %734 = load i64, ptr %9, align 8, !tbaa !12
  %735 = load i64, ptr %14, align 8, !tbaa !12
  %736 = lshr i64 %735, 14
  %737 = load i64, ptr %14, align 8, !tbaa !12
  %738 = shl i64 %737, 50
  %739 = or i64 %736, %738
  %740 = load i64, ptr %14, align 8, !tbaa !12
  %741 = lshr i64 %740, 18
  %742 = load i64, ptr %14, align 8, !tbaa !12
  %743 = shl i64 %742, 46
  %744 = or i64 %741, %743
  %745 = xor i64 %739, %744
  %746 = load i64, ptr %14, align 8, !tbaa !12
  %747 = lshr i64 %746, 41
  %748 = load i64, ptr %14, align 8, !tbaa !12
  %749 = shl i64 %748, 23
  %750 = or i64 %747, %749
  %751 = xor i64 %745, %750
  %752 = add i64 %734, %751
  %753 = load i64, ptr %16, align 8, !tbaa !12
  %754 = load i64, ptr %14, align 8, !tbaa !12
  %755 = load i64, ptr %15, align 8, !tbaa !12
  %756 = load i64, ptr %16, align 8, !tbaa !12
  %757 = xor i64 %755, %756
  %758 = and i64 %754, %757
  %759 = xor i64 %753, %758
  %760 = add i64 %752, %759
  %761 = load i32, ptr %5, align 4, !tbaa !9
  %762 = sext i32 %761 to i64
  %763 = getelementptr inbounds [80 x i64], ptr @K, i64 0, i64 %762
  %764 = load i64, ptr %763, align 8, !tbaa !12
  %765 = add i64 %760, %764
  %766 = load i32, ptr %5, align 4, !tbaa !9
  %767 = sext i32 %766 to i64
  %768 = getelementptr inbounds [80 x i64], ptr %8, i64 0, i64 %767
  %769 = load i64, ptr %768, align 8, !tbaa !12
  %770 = add i64 %765, %769
  store i64 %770, ptr %6, align 8, !tbaa !12
  %771 = load i64, ptr %10, align 8, !tbaa !12
  %772 = lshr i64 %771, 28
  %773 = load i64, ptr %10, align 8, !tbaa !12
  %774 = shl i64 %773, 36
  %775 = or i64 %772, %774
  %776 = load i64, ptr %10, align 8, !tbaa !12
  %777 = lshr i64 %776, 34
  %778 = load i64, ptr %10, align 8, !tbaa !12
  %779 = shl i64 %778, 30
  %780 = or i64 %777, %779
  %781 = xor i64 %775, %780
  %782 = load i64, ptr %10, align 8, !tbaa !12
  %783 = lshr i64 %782, 39
  %784 = load i64, ptr %10, align 8, !tbaa !12
  %785 = shl i64 %784, 25
  %786 = or i64 %783, %785
  %787 = xor i64 %781, %786
  %788 = load i64, ptr %10, align 8, !tbaa !12
  %789 = load i64, ptr %11, align 8, !tbaa !12
  %790 = and i64 %788, %789
  %791 = load i64, ptr %12, align 8, !tbaa !12
  %792 = load i64, ptr %10, align 8, !tbaa !12
  %793 = load i64, ptr %11, align 8, !tbaa !12
  %794 = or i64 %792, %793
  %795 = and i64 %791, %794
  %796 = or i64 %790, %795
  %797 = add i64 %787, %796
  store i64 %797, ptr %7, align 8, !tbaa !12
  %798 = load i64, ptr %6, align 8, !tbaa !12
  %799 = load i64, ptr %13, align 8, !tbaa !12
  %800 = add i64 %799, %798
  store i64 %800, ptr %13, align 8, !tbaa !12
  %801 = load i64, ptr %6, align 8, !tbaa !12
  %802 = load i64, ptr %7, align 8, !tbaa !12
  %803 = add i64 %801, %802
  store i64 %803, ptr %9, align 8, !tbaa !12
  %804 = load i32, ptr %5, align 4, !tbaa !9
  %805 = add nsw i32 %804, 1
  store i32 %805, ptr %5, align 4, !tbaa !9
  br label %806

806:                                              ; preds = %229
  %807 = load i32, ptr %5, align 4, !tbaa !9
  %808 = icmp slt i32 %807, 80
  br i1 %808, label %229, label %809, !llvm.loop !17

809:                                              ; preds = %806
  %810 = load i64, ptr %9, align 8, !tbaa !12
  %811 = load ptr, ptr %3, align 8, !tbaa !5
  %812 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %811, i32 0, i32 1
  %813 = getelementptr inbounds [8 x i64], ptr %812, i64 0, i64 0
  %814 = load i64, ptr %813, align 8, !tbaa !12
  %815 = add i64 %814, %810
  store i64 %815, ptr %813, align 8, !tbaa !12
  %816 = load i64, ptr %10, align 8, !tbaa !12
  %817 = load ptr, ptr %3, align 8, !tbaa !5
  %818 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %817, i32 0, i32 1
  %819 = getelementptr inbounds [8 x i64], ptr %818, i64 0, i64 1
  %820 = load i64, ptr %819, align 8, !tbaa !12
  %821 = add i64 %820, %816
  store i64 %821, ptr %819, align 8, !tbaa !12
  %822 = load i64, ptr %11, align 8, !tbaa !12
  %823 = load ptr, ptr %3, align 8, !tbaa !5
  %824 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %823, i32 0, i32 1
  %825 = getelementptr inbounds [8 x i64], ptr %824, i64 0, i64 2
  %826 = load i64, ptr %825, align 8, !tbaa !12
  %827 = add i64 %826, %822
  store i64 %827, ptr %825, align 8, !tbaa !12
  %828 = load i64, ptr %12, align 8, !tbaa !12
  %829 = load ptr, ptr %3, align 8, !tbaa !5
  %830 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %829, i32 0, i32 1
  %831 = getelementptr inbounds [8 x i64], ptr %830, i64 0, i64 3
  %832 = load i64, ptr %831, align 8, !tbaa !12
  %833 = add i64 %832, %828
  store i64 %833, ptr %831, align 8, !tbaa !12
  %834 = load i64, ptr %13, align 8, !tbaa !12
  %835 = load ptr, ptr %3, align 8, !tbaa !5
  %836 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %835, i32 0, i32 1
  %837 = getelementptr inbounds [8 x i64], ptr %836, i64 0, i64 4
  %838 = load i64, ptr %837, align 8, !tbaa !12
  %839 = add i64 %838, %834
  store i64 %839, ptr %837, align 8, !tbaa !12
  %840 = load i64, ptr %14, align 8, !tbaa !12
  %841 = load ptr, ptr %3, align 8, !tbaa !5
  %842 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %841, i32 0, i32 1
  %843 = getelementptr inbounds [8 x i64], ptr %842, i64 0, i64 5
  %844 = load i64, ptr %843, align 8, !tbaa !12
  %845 = add i64 %844, %840
  store i64 %845, ptr %843, align 8, !tbaa !12
  %846 = load i64, ptr %15, align 8, !tbaa !12
  %847 = load ptr, ptr %3, align 8, !tbaa !5
  %848 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %847, i32 0, i32 1
  %849 = getelementptr inbounds [8 x i64], ptr %848, i64 0, i64 6
  %850 = load i64, ptr %849, align 8, !tbaa !12
  %851 = add i64 %850, %846
  store i64 %851, ptr %849, align 8, !tbaa !12
  %852 = load i64, ptr %16, align 8, !tbaa !12
  %853 = load ptr, ptr %3, align 8, !tbaa !5
  %854 = getelementptr inbounds %struct.mbedtls_sha512_context, ptr %853, i32 0, i32 1
  %855 = getelementptr inbounds [8 x i64], ptr %854, i64 0, i64 7
  %856 = load i64, ptr %855, align 8, !tbaa !12
  %857 = add i64 %856, %852
  store i64 %857, ptr %855, align 8, !tbaa !12
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #2
  call void @llvm.lifetime.end.p0(i64 8, 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 void
}

; 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 = !{!7, !7, i64 0}
!12 = !{!13, !13, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = distinct !{!16, !15}
!17 = distinct !{!17, !15}


; 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 void @mbedtls_sha512_process(ptr nocapture noundef %0, ptr nocapture noundef readonly %1) local_unnamed_addr #0 {
  %3 = alloca [80 x i64], align 16
  call void @llvm.lifetime.start.p0(i64 640, ptr nonnull %3) #3
  br label %4

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

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

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

._crit_edge:                                      ; preds = %.lr.ph
  %76 = getelementptr inbounds i8, ptr %0, i64 16
  %77 = load i64, ptr %76, align 8, !tbaa !5
  %78 = getelementptr inbounds i8, ptr %0, i64 24
  %79 = load i64, ptr %78, align 8, !tbaa !5
  %80 = getelementptr inbounds i8, ptr %0, i64 32
  %81 = load i64, ptr %80, align 8, !tbaa !5
  %82 = getelementptr inbounds i8, ptr %0, i64 40
  %83 = load i64, ptr %82, align 8, !tbaa !5
  %84 = getelementptr inbounds i8, ptr %0, i64 48
  %85 = load i64, ptr %84, align 8, !tbaa !5
  %86 = getelementptr inbounds i8, ptr %0, i64 56
  %87 = load i64, ptr %86, align 8, !tbaa !5
  %88 = getelementptr inbounds i8, ptr %0, i64 64
  %89 = load i64, ptr %88, align 8, !tbaa !5
  %90 = getelementptr inbounds i8, ptr %0, i64 72
  %91 = load i64, ptr %90, align 8, !tbaa !5
  br label %92

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

325:                                              ; preds = %92
  %326 = add i64 %323, %77
  store i64 %326, ptr %76, align 8, !tbaa !5
  %327 = add i64 %294, %79
  store i64 %327, ptr %78, align 8, !tbaa !5
  %328 = add i64 %265, %81
  store i64 %328, ptr %80, align 8, !tbaa !5
  %329 = add i64 %236, %83
  store i64 %329, ptr %82, align 8, !tbaa !5
  %330 = add i64 %322, %85
  store i64 %330, ptr %84, align 8, !tbaa !5
  %331 = add i64 %293, %87
  store i64 %331, ptr %86, align 8, !tbaa !5
  %332 = add i64 %264, %89
  store i64 %332, ptr %88, align 8, !tbaa !5
  %333 = add i64 %235, %91
  store i64 %333, ptr %90, align 8, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 640, ptr nonnull %3) #3
  ret void
}

; 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,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass