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

; 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_sha256_context = type { [2 x i32], [8 x i32], [64 x i8], i32 }

@K = external hidden constant [64 x i32], align 16

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

16:                                               ; preds = %29, %15
  %17 = load i32, ptr %9, align 4, !tbaa !9
  %18 = icmp ult 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_sha256_context, ptr %20, i32 0, i32 1
  %22 = load i32, ptr %9, align 4, !tbaa !9
  %23 = zext i32 %22 to i64
  %24 = getelementptr inbounds [8 x i32], ptr %21, i64 0, i64 %23
  %25 = load i32, ptr %24, align 4, !tbaa !9
  %26 = load i32, ptr %9, align 4, !tbaa !9
  %27 = zext i32 %26 to i64
  %28 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 %27
  store i32 %25, ptr %28, align 4, !tbaa !9
  br label %29

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

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

33:                                               ; preds = %80, %32
  %34 = load i32, ptr %9, align 4, !tbaa !9
  %35 = icmp ult i32 %34, 16
  br i1 %35, label %36, label %83

36:                                               ; preds = %33
  br label %37

37:                                               ; preds = %36
  %38 = load ptr, ptr %4, align 8, !tbaa !5
  %39 = load i32, ptr %9, align 4, !tbaa !9
  %40 = mul i32 4, %39
  %41 = zext i32 %40 to i64
  %42 = getelementptr inbounds i8, ptr %38, i64 %41
  %43 = load i8, ptr %42, align 1, !tbaa !13
  %44 = zext i8 %43 to i32
  %45 = shl i32 %44, 24
  %46 = load ptr, ptr %4, align 8, !tbaa !5
  %47 = load i32, ptr %9, align 4, !tbaa !9
  %48 = mul i32 4, %47
  %49 = add i32 %48, 1
  %50 = zext i32 %49 to i64
  %51 = getelementptr inbounds i8, ptr %46, i64 %50
  %52 = load i8, ptr %51, align 1, !tbaa !13
  %53 = zext i8 %52 to i32
  %54 = shl i32 %53, 16
  %55 = or i32 %45, %54
  %56 = load ptr, ptr %4, align 8, !tbaa !5
  %57 = load i32, ptr %9, align 4, !tbaa !9
  %58 = mul i32 4, %57
  %59 = add i32 %58, 2
  %60 = zext i32 %59 to i64
  %61 = getelementptr inbounds i8, ptr %56, i64 %60
  %62 = load i8, ptr %61, align 1, !tbaa !13
  %63 = zext i8 %62 to i32
  %64 = shl i32 %63, 8
  %65 = or i32 %55, %64
  %66 = load ptr, ptr %4, align 8, !tbaa !5
  %67 = load i32, ptr %9, align 4, !tbaa !9
  %68 = mul i32 4, %67
  %69 = add i32 %68, 3
  %70 = zext i32 %69 to i64
  %71 = getelementptr inbounds i8, ptr %66, i64 %70
  %72 = load i8, ptr %71, align 1, !tbaa !13
  %73 = zext i8 %72 to i32
  %74 = or i32 %65, %73
  %75 = load i32, ptr %9, align 4, !tbaa !9
  %76 = zext i32 %75 to i64
  %77 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %76
  store i32 %74, ptr %77, align 4, !tbaa !9
  br label %78

78:                                               ; preds = %37
  br label %79

79:                                               ; preds = %78
  br label %80

80:                                               ; preds = %79
  %81 = load i32, ptr %9, align 4, !tbaa !9
  %82 = add i32 %81, 1
  store i32 %82, ptr %9, align 4, !tbaa !9
  br label %33, !llvm.loop !14

83:                                               ; preds = %33
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %84

84:                                               ; preds = %928, %83
  %85 = load i32, ptr %9, align 4, !tbaa !9
  %86 = icmp ult i32 %85, 16
  br i1 %86, label %87, label %931

87:                                               ; preds = %84
  br label %88

88:                                               ; preds = %87
  %89 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %90 = load i32, ptr %89, align 4, !tbaa !9
  %91 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %92 = load i32, ptr %91, align 16, !tbaa !9
  %93 = and i32 %92, -1
  %94 = lshr i32 %93, 6
  %95 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %96 = load i32, ptr %95, align 16, !tbaa !9
  %97 = shl i32 %96, 26
  %98 = or i32 %94, %97
  %99 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %100 = load i32, ptr %99, align 16, !tbaa !9
  %101 = and i32 %100, -1
  %102 = lshr i32 %101, 11
  %103 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %104 = load i32, ptr %103, align 16, !tbaa !9
  %105 = shl i32 %104, 21
  %106 = or i32 %102, %105
  %107 = xor i32 %98, %106
  %108 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %109 = load i32, ptr %108, align 16, !tbaa !9
  %110 = and i32 %109, -1
  %111 = lshr i32 %110, 25
  %112 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %113 = load i32, ptr %112, align 16, !tbaa !9
  %114 = shl i32 %113, 7
  %115 = or i32 %111, %114
  %116 = xor i32 %107, %115
  %117 = add i32 %90, %116
  %118 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %119 = load i32, ptr %118, align 8, !tbaa !9
  %120 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %121 = load i32, ptr %120, align 16, !tbaa !9
  %122 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %123 = load i32, ptr %122, align 4, !tbaa !9
  %124 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %125 = load i32, ptr %124, align 8, !tbaa !9
  %126 = xor i32 %123, %125
  %127 = and i32 %121, %126
  %128 = xor i32 %119, %127
  %129 = add i32 %117, %128
  %130 = load i32, ptr %9, align 4, !tbaa !9
  %131 = add i32 %130, 0
  %132 = zext i32 %131 to i64
  %133 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %132
  %134 = load i32, ptr %133, align 4, !tbaa !9
  %135 = add i32 %129, %134
  %136 = load i32, ptr %9, align 4, !tbaa !9
  %137 = add i32 %136, 0
  %138 = zext i32 %137 to i64
  %139 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %138
  %140 = load i32, ptr %139, align 4, !tbaa !9
  %141 = add i32 %135, %140
  store i32 %141, ptr %5, align 4, !tbaa !9
  %142 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %143 = load i32, ptr %142, align 16, !tbaa !9
  %144 = and i32 %143, -1
  %145 = lshr i32 %144, 2
  %146 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %147 = load i32, ptr %146, align 16, !tbaa !9
  %148 = shl i32 %147, 30
  %149 = or i32 %145, %148
  %150 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %151 = load i32, ptr %150, align 16, !tbaa !9
  %152 = and i32 %151, -1
  %153 = lshr i32 %152, 13
  %154 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %155 = load i32, ptr %154, align 16, !tbaa !9
  %156 = shl i32 %155, 19
  %157 = or i32 %153, %156
  %158 = xor i32 %149, %157
  %159 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %160 = load i32, ptr %159, align 16, !tbaa !9
  %161 = and i32 %160, -1
  %162 = lshr i32 %161, 22
  %163 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %164 = load i32, ptr %163, align 16, !tbaa !9
  %165 = shl i32 %164, 10
  %166 = or i32 %162, %165
  %167 = xor i32 %158, %166
  %168 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %169 = load i32, ptr %168, align 16, !tbaa !9
  %170 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %171 = load i32, ptr %170, align 4, !tbaa !9
  %172 = and i32 %169, %171
  %173 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %174 = load i32, ptr %173, align 8, !tbaa !9
  %175 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %176 = load i32, ptr %175, align 16, !tbaa !9
  %177 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %178 = load i32, ptr %177, align 4, !tbaa !9
  %179 = or i32 %176, %178
  %180 = and i32 %174, %179
  %181 = or i32 %172, %180
  %182 = add i32 %167, %181
  store i32 %182, ptr %6, align 4, !tbaa !9
  %183 = load i32, ptr %5, align 4, !tbaa !9
  %184 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %185 = load i32, ptr %184, align 4, !tbaa !9
  %186 = add i32 %185, %183
  store i32 %186, ptr %184, align 4, !tbaa !9
  %187 = load i32, ptr %5, align 4, !tbaa !9
  %188 = load i32, ptr %6, align 4, !tbaa !9
  %189 = add i32 %187, %188
  %190 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  store i32 %189, ptr %190, align 4, !tbaa !9
  br label %191

191:                                              ; preds = %88
  br label %192

192:                                              ; preds = %191
  br label %193

193:                                              ; preds = %192
  %194 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %195 = load i32, ptr %194, align 8, !tbaa !9
  %196 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %197 = load i32, ptr %196, align 4, !tbaa !9
  %198 = and i32 %197, -1
  %199 = lshr i32 %198, 6
  %200 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %201 = load i32, ptr %200, align 4, !tbaa !9
  %202 = shl i32 %201, 26
  %203 = or i32 %199, %202
  %204 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %205 = load i32, ptr %204, align 4, !tbaa !9
  %206 = and i32 %205, -1
  %207 = lshr i32 %206, 11
  %208 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %209 = load i32, ptr %208, align 4, !tbaa !9
  %210 = shl i32 %209, 21
  %211 = or i32 %207, %210
  %212 = xor i32 %203, %211
  %213 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %214 = load i32, ptr %213, align 4, !tbaa !9
  %215 = and i32 %214, -1
  %216 = lshr i32 %215, 25
  %217 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %218 = load i32, ptr %217, align 4, !tbaa !9
  %219 = shl i32 %218, 7
  %220 = or i32 %216, %219
  %221 = xor i32 %212, %220
  %222 = add i32 %195, %221
  %223 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %224 = load i32, ptr %223, align 4, !tbaa !9
  %225 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %226 = load i32, ptr %225, align 4, !tbaa !9
  %227 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %228 = load i32, ptr %227, align 16, !tbaa !9
  %229 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %230 = load i32, ptr %229, align 4, !tbaa !9
  %231 = xor i32 %228, %230
  %232 = and i32 %226, %231
  %233 = xor i32 %224, %232
  %234 = add i32 %222, %233
  %235 = load i32, ptr %9, align 4, !tbaa !9
  %236 = add i32 %235, 1
  %237 = zext i32 %236 to i64
  %238 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %237
  %239 = load i32, ptr %238, align 4, !tbaa !9
  %240 = add i32 %234, %239
  %241 = load i32, ptr %9, align 4, !tbaa !9
  %242 = add i32 %241, 1
  %243 = zext i32 %242 to i64
  %244 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %243
  %245 = load i32, ptr %244, align 4, !tbaa !9
  %246 = add i32 %240, %245
  store i32 %246, ptr %5, align 4, !tbaa !9
  %247 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %248 = load i32, ptr %247, align 4, !tbaa !9
  %249 = and i32 %248, -1
  %250 = lshr i32 %249, 2
  %251 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %252 = load i32, ptr %251, align 4, !tbaa !9
  %253 = shl i32 %252, 30
  %254 = or i32 %250, %253
  %255 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %256 = load i32, ptr %255, align 4, !tbaa !9
  %257 = and i32 %256, -1
  %258 = lshr i32 %257, 13
  %259 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %260 = load i32, ptr %259, align 4, !tbaa !9
  %261 = shl i32 %260, 19
  %262 = or i32 %258, %261
  %263 = xor i32 %254, %262
  %264 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %265 = load i32, ptr %264, align 4, !tbaa !9
  %266 = and i32 %265, -1
  %267 = lshr i32 %266, 22
  %268 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %269 = load i32, ptr %268, align 4, !tbaa !9
  %270 = shl i32 %269, 10
  %271 = or i32 %267, %270
  %272 = xor i32 %263, %271
  %273 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %274 = load i32, ptr %273, align 4, !tbaa !9
  %275 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %276 = load i32, ptr %275, align 16, !tbaa !9
  %277 = and i32 %274, %276
  %278 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %279 = load i32, ptr %278, align 4, !tbaa !9
  %280 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %281 = load i32, ptr %280, align 4, !tbaa !9
  %282 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %283 = load i32, ptr %282, align 16, !tbaa !9
  %284 = or i32 %281, %283
  %285 = and i32 %279, %284
  %286 = or i32 %277, %285
  %287 = add i32 %272, %286
  store i32 %287, ptr %6, align 4, !tbaa !9
  %288 = load i32, ptr %5, align 4, !tbaa !9
  %289 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %290 = load i32, ptr %289, align 8, !tbaa !9
  %291 = add i32 %290, %288
  store i32 %291, ptr %289, align 8, !tbaa !9
  %292 = load i32, ptr %5, align 4, !tbaa !9
  %293 = load i32, ptr %6, align 4, !tbaa !9
  %294 = add i32 %292, %293
  %295 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  store i32 %294, ptr %295, align 8, !tbaa !9
  br label %296

296:                                              ; preds = %193
  br label %297

297:                                              ; preds = %296
  br label %298

298:                                              ; preds = %297
  %299 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %300 = load i32, ptr %299, align 4, !tbaa !9
  %301 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %302 = load i32, ptr %301, align 8, !tbaa !9
  %303 = and i32 %302, -1
  %304 = lshr i32 %303, 6
  %305 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %306 = load i32, ptr %305, align 8, !tbaa !9
  %307 = shl i32 %306, 26
  %308 = or i32 %304, %307
  %309 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %310 = load i32, ptr %309, align 8, !tbaa !9
  %311 = and i32 %310, -1
  %312 = lshr i32 %311, 11
  %313 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %314 = load i32, ptr %313, align 8, !tbaa !9
  %315 = shl i32 %314, 21
  %316 = or i32 %312, %315
  %317 = xor i32 %308, %316
  %318 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %319 = load i32, ptr %318, align 8, !tbaa !9
  %320 = and i32 %319, -1
  %321 = lshr i32 %320, 25
  %322 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %323 = load i32, ptr %322, align 8, !tbaa !9
  %324 = shl i32 %323, 7
  %325 = or i32 %321, %324
  %326 = xor i32 %317, %325
  %327 = add i32 %300, %326
  %328 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %329 = load i32, ptr %328, align 16, !tbaa !9
  %330 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %331 = load i32, ptr %330, align 8, !tbaa !9
  %332 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %333 = load i32, ptr %332, align 4, !tbaa !9
  %334 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %335 = load i32, ptr %334, align 16, !tbaa !9
  %336 = xor i32 %333, %335
  %337 = and i32 %331, %336
  %338 = xor i32 %329, %337
  %339 = add i32 %327, %338
  %340 = load i32, ptr %9, align 4, !tbaa !9
  %341 = add i32 %340, 2
  %342 = zext i32 %341 to i64
  %343 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %342
  %344 = load i32, ptr %343, align 4, !tbaa !9
  %345 = add i32 %339, %344
  %346 = load i32, ptr %9, align 4, !tbaa !9
  %347 = add i32 %346, 2
  %348 = zext i32 %347 to i64
  %349 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %348
  %350 = load i32, ptr %349, align 4, !tbaa !9
  %351 = add i32 %345, %350
  store i32 %351, ptr %5, align 4, !tbaa !9
  %352 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %353 = load i32, ptr %352, align 8, !tbaa !9
  %354 = and i32 %353, -1
  %355 = lshr i32 %354, 2
  %356 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %357 = load i32, ptr %356, align 8, !tbaa !9
  %358 = shl i32 %357, 30
  %359 = or i32 %355, %358
  %360 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %361 = load i32, ptr %360, align 8, !tbaa !9
  %362 = and i32 %361, -1
  %363 = lshr i32 %362, 13
  %364 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %365 = load i32, ptr %364, align 8, !tbaa !9
  %366 = shl i32 %365, 19
  %367 = or i32 %363, %366
  %368 = xor i32 %359, %367
  %369 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %370 = load i32, ptr %369, align 8, !tbaa !9
  %371 = and i32 %370, -1
  %372 = lshr i32 %371, 22
  %373 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %374 = load i32, ptr %373, align 8, !tbaa !9
  %375 = shl i32 %374, 10
  %376 = or i32 %372, %375
  %377 = xor i32 %368, %376
  %378 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %379 = load i32, ptr %378, align 8, !tbaa !9
  %380 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %381 = load i32, ptr %380, align 4, !tbaa !9
  %382 = and i32 %379, %381
  %383 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %384 = load i32, ptr %383, align 16, !tbaa !9
  %385 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %386 = load i32, ptr %385, align 8, !tbaa !9
  %387 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %388 = load i32, ptr %387, align 4, !tbaa !9
  %389 = or i32 %386, %388
  %390 = and i32 %384, %389
  %391 = or i32 %382, %390
  %392 = add i32 %377, %391
  store i32 %392, ptr %6, align 4, !tbaa !9
  %393 = load i32, ptr %5, align 4, !tbaa !9
  %394 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %395 = load i32, ptr %394, align 4, !tbaa !9
  %396 = add i32 %395, %393
  store i32 %396, ptr %394, align 4, !tbaa !9
  %397 = load i32, ptr %5, align 4, !tbaa !9
  %398 = load i32, ptr %6, align 4, !tbaa !9
  %399 = add i32 %397, %398
  %400 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  store i32 %399, ptr %400, align 4, !tbaa !9
  br label %401

401:                                              ; preds = %298
  br label %402

402:                                              ; preds = %401
  br label %403

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

506:                                              ; preds = %403
  br label %507

507:                                              ; preds = %506
  br label %508

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

611:                                              ; preds = %508
  br label %612

612:                                              ; preds = %611
  br label %613

613:                                              ; preds = %612
  %614 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %615 = load i32, ptr %614, align 8, !tbaa !9
  %616 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %617 = load i32, ptr %616, align 4, !tbaa !9
  %618 = and i32 %617, -1
  %619 = lshr i32 %618, 6
  %620 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %621 = load i32, ptr %620, align 4, !tbaa !9
  %622 = shl i32 %621, 26
  %623 = or i32 %619, %622
  %624 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %625 = load i32, ptr %624, align 4, !tbaa !9
  %626 = and i32 %625, -1
  %627 = lshr i32 %626, 11
  %628 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %629 = load i32, ptr %628, align 4, !tbaa !9
  %630 = shl i32 %629, 21
  %631 = or i32 %627, %630
  %632 = xor i32 %623, %631
  %633 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %634 = load i32, ptr %633, align 4, !tbaa !9
  %635 = and i32 %634, -1
  %636 = lshr i32 %635, 25
  %637 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %638 = load i32, ptr %637, align 4, !tbaa !9
  %639 = shl i32 %638, 7
  %640 = or i32 %636, %639
  %641 = xor i32 %632, %640
  %642 = add i32 %615, %641
  %643 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %644 = load i32, ptr %643, align 4, !tbaa !9
  %645 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %646 = load i32, ptr %645, align 4, !tbaa !9
  %647 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %648 = load i32, ptr %647, align 16, !tbaa !9
  %649 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %650 = load i32, ptr %649, align 4, !tbaa !9
  %651 = xor i32 %648, %650
  %652 = and i32 %646, %651
  %653 = xor i32 %644, %652
  %654 = add i32 %642, %653
  %655 = load i32, ptr %9, align 4, !tbaa !9
  %656 = add i32 %655, 5
  %657 = zext i32 %656 to i64
  %658 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %657
  %659 = load i32, ptr %658, align 4, !tbaa !9
  %660 = add i32 %654, %659
  %661 = load i32, ptr %9, align 4, !tbaa !9
  %662 = add i32 %661, 5
  %663 = zext i32 %662 to i64
  %664 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %663
  %665 = load i32, ptr %664, align 4, !tbaa !9
  %666 = add i32 %660, %665
  store i32 %666, ptr %5, align 4, !tbaa !9
  %667 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %668 = load i32, ptr %667, align 4, !tbaa !9
  %669 = and i32 %668, -1
  %670 = lshr i32 %669, 2
  %671 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %672 = load i32, ptr %671, align 4, !tbaa !9
  %673 = shl i32 %672, 30
  %674 = or i32 %670, %673
  %675 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %676 = load i32, ptr %675, align 4, !tbaa !9
  %677 = and i32 %676, -1
  %678 = lshr i32 %677, 13
  %679 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %680 = load i32, ptr %679, align 4, !tbaa !9
  %681 = shl i32 %680, 19
  %682 = or i32 %678, %681
  %683 = xor i32 %674, %682
  %684 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %685 = load i32, ptr %684, align 4, !tbaa !9
  %686 = and i32 %685, -1
  %687 = lshr i32 %686, 22
  %688 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %689 = load i32, ptr %688, align 4, !tbaa !9
  %690 = shl i32 %689, 10
  %691 = or i32 %687, %690
  %692 = xor i32 %683, %691
  %693 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %694 = load i32, ptr %693, align 4, !tbaa !9
  %695 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %696 = load i32, ptr %695, align 16, !tbaa !9
  %697 = and i32 %694, %696
  %698 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %699 = load i32, ptr %698, align 4, !tbaa !9
  %700 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %701 = load i32, ptr %700, align 4, !tbaa !9
  %702 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %703 = load i32, ptr %702, align 16, !tbaa !9
  %704 = or i32 %701, %703
  %705 = and i32 %699, %704
  %706 = or i32 %697, %705
  %707 = add i32 %692, %706
  store i32 %707, ptr %6, align 4, !tbaa !9
  %708 = load i32, ptr %5, align 4, !tbaa !9
  %709 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %710 = load i32, ptr %709, align 8, !tbaa !9
  %711 = add i32 %710, %708
  store i32 %711, ptr %709, align 8, !tbaa !9
  %712 = load i32, ptr %5, align 4, !tbaa !9
  %713 = load i32, ptr %6, align 4, !tbaa !9
  %714 = add i32 %712, %713
  %715 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  store i32 %714, ptr %715, align 8, !tbaa !9
  br label %716

716:                                              ; preds = %613
  br label %717

717:                                              ; preds = %716
  br label %718

718:                                              ; preds = %717
  %719 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %720 = load i32, ptr %719, align 4, !tbaa !9
  %721 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %722 = load i32, ptr %721, align 8, !tbaa !9
  %723 = and i32 %722, -1
  %724 = lshr i32 %723, 6
  %725 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %726 = load i32, ptr %725, align 8, !tbaa !9
  %727 = shl i32 %726, 26
  %728 = or i32 %724, %727
  %729 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %730 = load i32, ptr %729, align 8, !tbaa !9
  %731 = and i32 %730, -1
  %732 = lshr i32 %731, 11
  %733 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %734 = load i32, ptr %733, align 8, !tbaa !9
  %735 = shl i32 %734, 21
  %736 = or i32 %732, %735
  %737 = xor i32 %728, %736
  %738 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %739 = load i32, ptr %738, align 8, !tbaa !9
  %740 = and i32 %739, -1
  %741 = lshr i32 %740, 25
  %742 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %743 = load i32, ptr %742, align 8, !tbaa !9
  %744 = shl i32 %743, 7
  %745 = or i32 %741, %744
  %746 = xor i32 %737, %745
  %747 = add i32 %720, %746
  %748 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %749 = load i32, ptr %748, align 16, !tbaa !9
  %750 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %751 = load i32, ptr %750, align 8, !tbaa !9
  %752 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %753 = load i32, ptr %752, align 4, !tbaa !9
  %754 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %755 = load i32, ptr %754, align 16, !tbaa !9
  %756 = xor i32 %753, %755
  %757 = and i32 %751, %756
  %758 = xor i32 %749, %757
  %759 = add i32 %747, %758
  %760 = load i32, ptr %9, align 4, !tbaa !9
  %761 = add i32 %760, 6
  %762 = zext i32 %761 to i64
  %763 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %762
  %764 = load i32, ptr %763, align 4, !tbaa !9
  %765 = add i32 %759, %764
  %766 = load i32, ptr %9, align 4, !tbaa !9
  %767 = add i32 %766, 6
  %768 = zext i32 %767 to i64
  %769 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %768
  %770 = load i32, ptr %769, align 4, !tbaa !9
  %771 = add i32 %765, %770
  store i32 %771, ptr %5, align 4, !tbaa !9
  %772 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %773 = load i32, ptr %772, align 8, !tbaa !9
  %774 = and i32 %773, -1
  %775 = lshr i32 %774, 2
  %776 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %777 = load i32, ptr %776, align 8, !tbaa !9
  %778 = shl i32 %777, 30
  %779 = or i32 %775, %778
  %780 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %781 = load i32, ptr %780, align 8, !tbaa !9
  %782 = and i32 %781, -1
  %783 = lshr i32 %782, 13
  %784 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %785 = load i32, ptr %784, align 8, !tbaa !9
  %786 = shl i32 %785, 19
  %787 = or i32 %783, %786
  %788 = xor i32 %779, %787
  %789 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %790 = load i32, ptr %789, align 8, !tbaa !9
  %791 = and i32 %790, -1
  %792 = lshr i32 %791, 22
  %793 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %794 = load i32, ptr %793, align 8, !tbaa !9
  %795 = shl i32 %794, 10
  %796 = or i32 %792, %795
  %797 = xor i32 %788, %796
  %798 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %799 = load i32, ptr %798, align 8, !tbaa !9
  %800 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %801 = load i32, ptr %800, align 4, !tbaa !9
  %802 = and i32 %799, %801
  %803 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %804 = load i32, ptr %803, align 16, !tbaa !9
  %805 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %806 = load i32, ptr %805, align 8, !tbaa !9
  %807 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %808 = load i32, ptr %807, align 4, !tbaa !9
  %809 = or i32 %806, %808
  %810 = and i32 %804, %809
  %811 = or i32 %802, %810
  %812 = add i32 %797, %811
  store i32 %812, ptr %6, align 4, !tbaa !9
  %813 = load i32, ptr %5, align 4, !tbaa !9
  %814 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %815 = load i32, ptr %814, align 4, !tbaa !9
  %816 = add i32 %815, %813
  store i32 %816, ptr %814, align 4, !tbaa !9
  %817 = load i32, ptr %5, align 4, !tbaa !9
  %818 = load i32, ptr %6, align 4, !tbaa !9
  %819 = add i32 %817, %818
  %820 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  store i32 %819, ptr %820, align 4, !tbaa !9
  br label %821

821:                                              ; preds = %718
  br label %822

822:                                              ; preds = %821
  br label %823

823:                                              ; preds = %822
  %824 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %825 = load i32, ptr %824, align 16, !tbaa !9
  %826 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %827 = load i32, ptr %826, align 4, !tbaa !9
  %828 = and i32 %827, -1
  %829 = lshr i32 %828, 6
  %830 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %831 = load i32, ptr %830, align 4, !tbaa !9
  %832 = shl i32 %831, 26
  %833 = or i32 %829, %832
  %834 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %835 = load i32, ptr %834, align 4, !tbaa !9
  %836 = and i32 %835, -1
  %837 = lshr i32 %836, 11
  %838 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %839 = load i32, ptr %838, align 4, !tbaa !9
  %840 = shl i32 %839, 21
  %841 = or i32 %837, %840
  %842 = xor i32 %833, %841
  %843 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %844 = load i32, ptr %843, align 4, !tbaa !9
  %845 = and i32 %844, -1
  %846 = lshr i32 %845, 25
  %847 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %848 = load i32, ptr %847, align 4, !tbaa !9
  %849 = shl i32 %848, 7
  %850 = or i32 %846, %849
  %851 = xor i32 %842, %850
  %852 = add i32 %825, %851
  %853 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %854 = load i32, ptr %853, align 4, !tbaa !9
  %855 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %856 = load i32, ptr %855, align 4, !tbaa !9
  %857 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %858 = load i32, ptr %857, align 8, !tbaa !9
  %859 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %860 = load i32, ptr %859, align 4, !tbaa !9
  %861 = xor i32 %858, %860
  %862 = and i32 %856, %861
  %863 = xor i32 %854, %862
  %864 = add i32 %852, %863
  %865 = load i32, ptr %9, align 4, !tbaa !9
  %866 = add i32 %865, 7
  %867 = zext i32 %866 to i64
  %868 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %867
  %869 = load i32, ptr %868, align 4, !tbaa !9
  %870 = add i32 %864, %869
  %871 = load i32, ptr %9, align 4, !tbaa !9
  %872 = add i32 %871, 7
  %873 = zext i32 %872 to i64
  %874 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %873
  %875 = load i32, ptr %874, align 4, !tbaa !9
  %876 = add i32 %870, %875
  store i32 %876, ptr %5, align 4, !tbaa !9
  %877 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %878 = load i32, ptr %877, align 4, !tbaa !9
  %879 = and i32 %878, -1
  %880 = lshr i32 %879, 2
  %881 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %882 = load i32, ptr %881, align 4, !tbaa !9
  %883 = shl i32 %882, 30
  %884 = or i32 %880, %883
  %885 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %886 = load i32, ptr %885, align 4, !tbaa !9
  %887 = and i32 %886, -1
  %888 = lshr i32 %887, 13
  %889 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %890 = load i32, ptr %889, align 4, !tbaa !9
  %891 = shl i32 %890, 19
  %892 = or i32 %888, %891
  %893 = xor i32 %884, %892
  %894 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %895 = load i32, ptr %894, align 4, !tbaa !9
  %896 = and i32 %895, -1
  %897 = lshr i32 %896, 22
  %898 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %899 = load i32, ptr %898, align 4, !tbaa !9
  %900 = shl i32 %899, 10
  %901 = or i32 %897, %900
  %902 = xor i32 %893, %901
  %903 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %904 = load i32, ptr %903, align 4, !tbaa !9
  %905 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %906 = load i32, ptr %905, align 8, !tbaa !9
  %907 = and i32 %904, %906
  %908 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %909 = load i32, ptr %908, align 4, !tbaa !9
  %910 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %911 = load i32, ptr %910, align 4, !tbaa !9
  %912 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %913 = load i32, ptr %912, align 8, !tbaa !9
  %914 = or i32 %911, %913
  %915 = and i32 %909, %914
  %916 = or i32 %907, %915
  %917 = add i32 %902, %916
  store i32 %917, ptr %6, align 4, !tbaa !9
  %918 = load i32, ptr %5, align 4, !tbaa !9
  %919 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %920 = load i32, ptr %919, align 16, !tbaa !9
  %921 = add i32 %920, %918
  store i32 %921, ptr %919, align 16, !tbaa !9
  %922 = load i32, ptr %5, align 4, !tbaa !9
  %923 = load i32, ptr %6, align 4, !tbaa !9
  %924 = add i32 %922, %923
  %925 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  store i32 %924, ptr %925, align 16, !tbaa !9
  br label %926

926:                                              ; preds = %823
  br label %927

927:                                              ; preds = %926
  br label %928

928:                                              ; preds = %927
  %929 = load i32, ptr %9, align 4, !tbaa !9
  %930 = add i32 %929, 8
  store i32 %930, ptr %9, align 4, !tbaa !9
  br label %84, !llvm.loop !15

931:                                              ; preds = %84
  store i32 16, ptr %9, align 4, !tbaa !9
  br label %932

932:                                              ; preds = %2560, %931
  %933 = load i32, ptr %9, align 4, !tbaa !9
  %934 = icmp ult i32 %933, 64
  br i1 %934, label %935, label %2563

935:                                              ; preds = %932
  br label %936

936:                                              ; preds = %935
  %937 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %938 = load i32, ptr %937, align 4, !tbaa !9
  %939 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %940 = load i32, ptr %939, align 16, !tbaa !9
  %941 = and i32 %940, -1
  %942 = lshr i32 %941, 6
  %943 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %944 = load i32, ptr %943, align 16, !tbaa !9
  %945 = shl i32 %944, 26
  %946 = or i32 %942, %945
  %947 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %948 = load i32, ptr %947, align 16, !tbaa !9
  %949 = and i32 %948, -1
  %950 = lshr i32 %949, 11
  %951 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %952 = load i32, ptr %951, align 16, !tbaa !9
  %953 = shl i32 %952, 21
  %954 = or i32 %950, %953
  %955 = xor i32 %946, %954
  %956 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %957 = load i32, ptr %956, align 16, !tbaa !9
  %958 = and i32 %957, -1
  %959 = lshr i32 %958, 25
  %960 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %961 = load i32, ptr %960, align 16, !tbaa !9
  %962 = shl i32 %961, 7
  %963 = or i32 %959, %962
  %964 = xor i32 %955, %963
  %965 = add i32 %938, %964
  %966 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %967 = load i32, ptr %966, align 8, !tbaa !9
  %968 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %969 = load i32, ptr %968, align 16, !tbaa !9
  %970 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %971 = load i32, ptr %970, align 4, !tbaa !9
  %972 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %973 = load i32, ptr %972, align 8, !tbaa !9
  %974 = xor i32 %971, %973
  %975 = and i32 %969, %974
  %976 = xor i32 %967, %975
  %977 = add i32 %965, %976
  %978 = load i32, ptr %9, align 4, !tbaa !9
  %979 = add i32 %978, 0
  %980 = zext i32 %979 to i64
  %981 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %980
  %982 = load i32, ptr %981, align 4, !tbaa !9
  %983 = add i32 %977, %982
  %984 = load i32, ptr %9, align 4, !tbaa !9
  %985 = add i32 %984, 0
  %986 = sub i32 %985, 2
  %987 = zext i32 %986 to i64
  %988 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %987
  %989 = load i32, ptr %988, align 4, !tbaa !9
  %990 = and i32 %989, -1
  %991 = lshr i32 %990, 17
  %992 = load i32, ptr %9, align 4, !tbaa !9
  %993 = add i32 %992, 0
  %994 = sub i32 %993, 2
  %995 = zext i32 %994 to i64
  %996 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %995
  %997 = load i32, ptr %996, align 4, !tbaa !9
  %998 = shl i32 %997, 15
  %999 = or i32 %991, %998
  %1000 = load i32, ptr %9, align 4, !tbaa !9
  %1001 = add i32 %1000, 0
  %1002 = sub i32 %1001, 2
  %1003 = zext i32 %1002 to i64
  %1004 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1003
  %1005 = load i32, ptr %1004, align 4, !tbaa !9
  %1006 = and i32 %1005, -1
  %1007 = lshr i32 %1006, 19
  %1008 = load i32, ptr %9, align 4, !tbaa !9
  %1009 = add i32 %1008, 0
  %1010 = sub i32 %1009, 2
  %1011 = zext i32 %1010 to i64
  %1012 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1011
  %1013 = load i32, ptr %1012, align 4, !tbaa !9
  %1014 = shl i32 %1013, 13
  %1015 = or i32 %1007, %1014
  %1016 = xor i32 %999, %1015
  %1017 = load i32, ptr %9, align 4, !tbaa !9
  %1018 = add i32 %1017, 0
  %1019 = sub i32 %1018, 2
  %1020 = zext i32 %1019 to i64
  %1021 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1020
  %1022 = load i32, ptr %1021, align 4, !tbaa !9
  %1023 = and i32 %1022, -1
  %1024 = lshr i32 %1023, 10
  %1025 = xor i32 %1016, %1024
  %1026 = load i32, ptr %9, align 4, !tbaa !9
  %1027 = add i32 %1026, 0
  %1028 = sub i32 %1027, 7
  %1029 = zext i32 %1028 to i64
  %1030 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1029
  %1031 = load i32, ptr %1030, align 4, !tbaa !9
  %1032 = add i32 %1025, %1031
  %1033 = load i32, ptr %9, align 4, !tbaa !9
  %1034 = add i32 %1033, 0
  %1035 = sub i32 %1034, 15
  %1036 = zext i32 %1035 to i64
  %1037 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1036
  %1038 = load i32, ptr %1037, align 4, !tbaa !9
  %1039 = and i32 %1038, -1
  %1040 = lshr i32 %1039, 7
  %1041 = load i32, ptr %9, align 4, !tbaa !9
  %1042 = add i32 %1041, 0
  %1043 = sub i32 %1042, 15
  %1044 = zext i32 %1043 to i64
  %1045 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1044
  %1046 = load i32, ptr %1045, align 4, !tbaa !9
  %1047 = shl i32 %1046, 25
  %1048 = or i32 %1040, %1047
  %1049 = load i32, ptr %9, align 4, !tbaa !9
  %1050 = add i32 %1049, 0
  %1051 = sub i32 %1050, 15
  %1052 = zext i32 %1051 to i64
  %1053 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1052
  %1054 = load i32, ptr %1053, align 4, !tbaa !9
  %1055 = and i32 %1054, -1
  %1056 = lshr i32 %1055, 18
  %1057 = load i32, ptr %9, align 4, !tbaa !9
  %1058 = add i32 %1057, 0
  %1059 = sub i32 %1058, 15
  %1060 = zext i32 %1059 to i64
  %1061 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1060
  %1062 = load i32, ptr %1061, align 4, !tbaa !9
  %1063 = shl i32 %1062, 14
  %1064 = or i32 %1056, %1063
  %1065 = xor i32 %1048, %1064
  %1066 = load i32, ptr %9, align 4, !tbaa !9
  %1067 = add i32 %1066, 0
  %1068 = sub i32 %1067, 15
  %1069 = zext i32 %1068 to i64
  %1070 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1069
  %1071 = load i32, ptr %1070, align 4, !tbaa !9
  %1072 = and i32 %1071, -1
  %1073 = lshr i32 %1072, 3
  %1074 = xor i32 %1065, %1073
  %1075 = add i32 %1032, %1074
  %1076 = load i32, ptr %9, align 4, !tbaa !9
  %1077 = add i32 %1076, 0
  %1078 = sub i32 %1077, 16
  %1079 = zext i32 %1078 to i64
  %1080 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1079
  %1081 = load i32, ptr %1080, align 4, !tbaa !9
  %1082 = add i32 %1075, %1081
  %1083 = load i32, ptr %9, align 4, !tbaa !9
  %1084 = add i32 %1083, 0
  %1085 = zext i32 %1084 to i64
  %1086 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1085
  store i32 %1082, ptr %1086, align 4, !tbaa !9
  %1087 = add i32 %983, %1082
  store i32 %1087, ptr %5, align 4, !tbaa !9
  %1088 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1089 = load i32, ptr %1088, align 16, !tbaa !9
  %1090 = and i32 %1089, -1
  %1091 = lshr i32 %1090, 2
  %1092 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1093 = load i32, ptr %1092, align 16, !tbaa !9
  %1094 = shl i32 %1093, 30
  %1095 = or i32 %1091, %1094
  %1096 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1097 = load i32, ptr %1096, align 16, !tbaa !9
  %1098 = and i32 %1097, -1
  %1099 = lshr i32 %1098, 13
  %1100 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1101 = load i32, ptr %1100, align 16, !tbaa !9
  %1102 = shl i32 %1101, 19
  %1103 = or i32 %1099, %1102
  %1104 = xor i32 %1095, %1103
  %1105 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1106 = load i32, ptr %1105, align 16, !tbaa !9
  %1107 = and i32 %1106, -1
  %1108 = lshr i32 %1107, 22
  %1109 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1110 = load i32, ptr %1109, align 16, !tbaa !9
  %1111 = shl i32 %1110, 10
  %1112 = or i32 %1108, %1111
  %1113 = xor i32 %1104, %1112
  %1114 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1115 = load i32, ptr %1114, align 16, !tbaa !9
  %1116 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1117 = load i32, ptr %1116, align 4, !tbaa !9
  %1118 = and i32 %1115, %1117
  %1119 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1120 = load i32, ptr %1119, align 8, !tbaa !9
  %1121 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1122 = load i32, ptr %1121, align 16, !tbaa !9
  %1123 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1124 = load i32, ptr %1123, align 4, !tbaa !9
  %1125 = or i32 %1122, %1124
  %1126 = and i32 %1120, %1125
  %1127 = or i32 %1118, %1126
  %1128 = add i32 %1113, %1127
  store i32 %1128, ptr %6, align 4, !tbaa !9
  %1129 = load i32, ptr %5, align 4, !tbaa !9
  %1130 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1131 = load i32, ptr %1130, align 4, !tbaa !9
  %1132 = add i32 %1131, %1129
  store i32 %1132, ptr %1130, align 4, !tbaa !9
  %1133 = load i32, ptr %5, align 4, !tbaa !9
  %1134 = load i32, ptr %6, align 4, !tbaa !9
  %1135 = add i32 %1133, %1134
  %1136 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  store i32 %1135, ptr %1136, align 4, !tbaa !9
  br label %1137

1137:                                             ; preds = %936
  br label %1138

1138:                                             ; preds = %1137
  br label %1139

1139:                                             ; preds = %1138
  %1140 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1141 = load i32, ptr %1140, align 8, !tbaa !9
  %1142 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1143 = load i32, ptr %1142, align 4, !tbaa !9
  %1144 = and i32 %1143, -1
  %1145 = lshr i32 %1144, 6
  %1146 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1147 = load i32, ptr %1146, align 4, !tbaa !9
  %1148 = shl i32 %1147, 26
  %1149 = or i32 %1145, %1148
  %1150 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1151 = load i32, ptr %1150, align 4, !tbaa !9
  %1152 = and i32 %1151, -1
  %1153 = lshr i32 %1152, 11
  %1154 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1155 = load i32, ptr %1154, align 4, !tbaa !9
  %1156 = shl i32 %1155, 21
  %1157 = or i32 %1153, %1156
  %1158 = xor i32 %1149, %1157
  %1159 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1160 = load i32, ptr %1159, align 4, !tbaa !9
  %1161 = and i32 %1160, -1
  %1162 = lshr i32 %1161, 25
  %1163 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1164 = load i32, ptr %1163, align 4, !tbaa !9
  %1165 = shl i32 %1164, 7
  %1166 = or i32 %1162, %1165
  %1167 = xor i32 %1158, %1166
  %1168 = add i32 %1141, %1167
  %1169 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1170 = load i32, ptr %1169, align 4, !tbaa !9
  %1171 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1172 = load i32, ptr %1171, align 4, !tbaa !9
  %1173 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1174 = load i32, ptr %1173, align 16, !tbaa !9
  %1175 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1176 = load i32, ptr %1175, align 4, !tbaa !9
  %1177 = xor i32 %1174, %1176
  %1178 = and i32 %1172, %1177
  %1179 = xor i32 %1170, %1178
  %1180 = add i32 %1168, %1179
  %1181 = load i32, ptr %9, align 4, !tbaa !9
  %1182 = add i32 %1181, 1
  %1183 = zext i32 %1182 to i64
  %1184 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1183
  %1185 = load i32, ptr %1184, align 4, !tbaa !9
  %1186 = add i32 %1180, %1185
  %1187 = load i32, ptr %9, align 4, !tbaa !9
  %1188 = add i32 %1187, 1
  %1189 = sub i32 %1188, 2
  %1190 = zext i32 %1189 to i64
  %1191 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1190
  %1192 = load i32, ptr %1191, align 4, !tbaa !9
  %1193 = and i32 %1192, -1
  %1194 = lshr i32 %1193, 17
  %1195 = load i32, ptr %9, align 4, !tbaa !9
  %1196 = add i32 %1195, 1
  %1197 = sub i32 %1196, 2
  %1198 = zext i32 %1197 to i64
  %1199 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1198
  %1200 = load i32, ptr %1199, align 4, !tbaa !9
  %1201 = shl i32 %1200, 15
  %1202 = or i32 %1194, %1201
  %1203 = load i32, ptr %9, align 4, !tbaa !9
  %1204 = add i32 %1203, 1
  %1205 = sub i32 %1204, 2
  %1206 = zext i32 %1205 to i64
  %1207 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1206
  %1208 = load i32, ptr %1207, align 4, !tbaa !9
  %1209 = and i32 %1208, -1
  %1210 = lshr i32 %1209, 19
  %1211 = load i32, ptr %9, align 4, !tbaa !9
  %1212 = add i32 %1211, 1
  %1213 = sub i32 %1212, 2
  %1214 = zext i32 %1213 to i64
  %1215 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1214
  %1216 = load i32, ptr %1215, align 4, !tbaa !9
  %1217 = shl i32 %1216, 13
  %1218 = or i32 %1210, %1217
  %1219 = xor i32 %1202, %1218
  %1220 = load i32, ptr %9, align 4, !tbaa !9
  %1221 = add i32 %1220, 1
  %1222 = sub i32 %1221, 2
  %1223 = zext i32 %1222 to i64
  %1224 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1223
  %1225 = load i32, ptr %1224, align 4, !tbaa !9
  %1226 = and i32 %1225, -1
  %1227 = lshr i32 %1226, 10
  %1228 = xor i32 %1219, %1227
  %1229 = load i32, ptr %9, align 4, !tbaa !9
  %1230 = add i32 %1229, 1
  %1231 = sub i32 %1230, 7
  %1232 = zext i32 %1231 to i64
  %1233 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1232
  %1234 = load i32, ptr %1233, align 4, !tbaa !9
  %1235 = add i32 %1228, %1234
  %1236 = load i32, ptr %9, align 4, !tbaa !9
  %1237 = add i32 %1236, 1
  %1238 = sub i32 %1237, 15
  %1239 = zext i32 %1238 to i64
  %1240 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1239
  %1241 = load i32, ptr %1240, align 4, !tbaa !9
  %1242 = and i32 %1241, -1
  %1243 = lshr i32 %1242, 7
  %1244 = load i32, ptr %9, align 4, !tbaa !9
  %1245 = add i32 %1244, 1
  %1246 = sub i32 %1245, 15
  %1247 = zext i32 %1246 to i64
  %1248 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1247
  %1249 = load i32, ptr %1248, align 4, !tbaa !9
  %1250 = shl i32 %1249, 25
  %1251 = or i32 %1243, %1250
  %1252 = load i32, ptr %9, align 4, !tbaa !9
  %1253 = add i32 %1252, 1
  %1254 = sub i32 %1253, 15
  %1255 = zext i32 %1254 to i64
  %1256 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1255
  %1257 = load i32, ptr %1256, align 4, !tbaa !9
  %1258 = and i32 %1257, -1
  %1259 = lshr i32 %1258, 18
  %1260 = load i32, ptr %9, align 4, !tbaa !9
  %1261 = add i32 %1260, 1
  %1262 = sub i32 %1261, 15
  %1263 = zext i32 %1262 to i64
  %1264 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1263
  %1265 = load i32, ptr %1264, align 4, !tbaa !9
  %1266 = shl i32 %1265, 14
  %1267 = or i32 %1259, %1266
  %1268 = xor i32 %1251, %1267
  %1269 = load i32, ptr %9, align 4, !tbaa !9
  %1270 = add i32 %1269, 1
  %1271 = sub i32 %1270, 15
  %1272 = zext i32 %1271 to i64
  %1273 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1272
  %1274 = load i32, ptr %1273, align 4, !tbaa !9
  %1275 = and i32 %1274, -1
  %1276 = lshr i32 %1275, 3
  %1277 = xor i32 %1268, %1276
  %1278 = add i32 %1235, %1277
  %1279 = load i32, ptr %9, align 4, !tbaa !9
  %1280 = add i32 %1279, 1
  %1281 = sub i32 %1280, 16
  %1282 = zext i32 %1281 to i64
  %1283 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1282
  %1284 = load i32, ptr %1283, align 4, !tbaa !9
  %1285 = add i32 %1278, %1284
  %1286 = load i32, ptr %9, align 4, !tbaa !9
  %1287 = add i32 %1286, 1
  %1288 = zext i32 %1287 to i64
  %1289 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1288
  store i32 %1285, ptr %1289, align 4, !tbaa !9
  %1290 = add i32 %1186, %1285
  store i32 %1290, ptr %5, align 4, !tbaa !9
  %1291 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1292 = load i32, ptr %1291, align 4, !tbaa !9
  %1293 = and i32 %1292, -1
  %1294 = lshr i32 %1293, 2
  %1295 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1296 = load i32, ptr %1295, align 4, !tbaa !9
  %1297 = shl i32 %1296, 30
  %1298 = or i32 %1294, %1297
  %1299 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1300 = load i32, ptr %1299, align 4, !tbaa !9
  %1301 = and i32 %1300, -1
  %1302 = lshr i32 %1301, 13
  %1303 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1304 = load i32, ptr %1303, align 4, !tbaa !9
  %1305 = shl i32 %1304, 19
  %1306 = or i32 %1302, %1305
  %1307 = xor i32 %1298, %1306
  %1308 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1309 = load i32, ptr %1308, align 4, !tbaa !9
  %1310 = and i32 %1309, -1
  %1311 = lshr i32 %1310, 22
  %1312 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1313 = load i32, ptr %1312, align 4, !tbaa !9
  %1314 = shl i32 %1313, 10
  %1315 = or i32 %1311, %1314
  %1316 = xor i32 %1307, %1315
  %1317 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1318 = load i32, ptr %1317, align 4, !tbaa !9
  %1319 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1320 = load i32, ptr %1319, align 16, !tbaa !9
  %1321 = and i32 %1318, %1320
  %1322 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1323 = load i32, ptr %1322, align 4, !tbaa !9
  %1324 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1325 = load i32, ptr %1324, align 4, !tbaa !9
  %1326 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1327 = load i32, ptr %1326, align 16, !tbaa !9
  %1328 = or i32 %1325, %1327
  %1329 = and i32 %1323, %1328
  %1330 = or i32 %1321, %1329
  %1331 = add i32 %1316, %1330
  store i32 %1331, ptr %6, align 4, !tbaa !9
  %1332 = load i32, ptr %5, align 4, !tbaa !9
  %1333 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1334 = load i32, ptr %1333, align 8, !tbaa !9
  %1335 = add i32 %1334, %1332
  store i32 %1335, ptr %1333, align 8, !tbaa !9
  %1336 = load i32, ptr %5, align 4, !tbaa !9
  %1337 = load i32, ptr %6, align 4, !tbaa !9
  %1338 = add i32 %1336, %1337
  %1339 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  store i32 %1338, ptr %1339, align 8, !tbaa !9
  br label %1340

1340:                                             ; preds = %1139
  br label %1341

1341:                                             ; preds = %1340
  br label %1342

1342:                                             ; preds = %1341
  %1343 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1344 = load i32, ptr %1343, align 4, !tbaa !9
  %1345 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1346 = load i32, ptr %1345, align 8, !tbaa !9
  %1347 = and i32 %1346, -1
  %1348 = lshr i32 %1347, 6
  %1349 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1350 = load i32, ptr %1349, align 8, !tbaa !9
  %1351 = shl i32 %1350, 26
  %1352 = or i32 %1348, %1351
  %1353 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1354 = load i32, ptr %1353, align 8, !tbaa !9
  %1355 = and i32 %1354, -1
  %1356 = lshr i32 %1355, 11
  %1357 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1358 = load i32, ptr %1357, align 8, !tbaa !9
  %1359 = shl i32 %1358, 21
  %1360 = or i32 %1356, %1359
  %1361 = xor i32 %1352, %1360
  %1362 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1363 = load i32, ptr %1362, align 8, !tbaa !9
  %1364 = and i32 %1363, -1
  %1365 = lshr i32 %1364, 25
  %1366 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1367 = load i32, ptr %1366, align 8, !tbaa !9
  %1368 = shl i32 %1367, 7
  %1369 = or i32 %1365, %1368
  %1370 = xor i32 %1361, %1369
  %1371 = add i32 %1344, %1370
  %1372 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1373 = load i32, ptr %1372, align 16, !tbaa !9
  %1374 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1375 = load i32, ptr %1374, align 8, !tbaa !9
  %1376 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1377 = load i32, ptr %1376, align 4, !tbaa !9
  %1378 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1379 = load i32, ptr %1378, align 16, !tbaa !9
  %1380 = xor i32 %1377, %1379
  %1381 = and i32 %1375, %1380
  %1382 = xor i32 %1373, %1381
  %1383 = add i32 %1371, %1382
  %1384 = load i32, ptr %9, align 4, !tbaa !9
  %1385 = add i32 %1384, 2
  %1386 = zext i32 %1385 to i64
  %1387 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1386
  %1388 = load i32, ptr %1387, align 4, !tbaa !9
  %1389 = add i32 %1383, %1388
  %1390 = load i32, ptr %9, align 4, !tbaa !9
  %1391 = add i32 %1390, 2
  %1392 = sub i32 %1391, 2
  %1393 = zext i32 %1392 to i64
  %1394 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1393
  %1395 = load i32, ptr %1394, align 4, !tbaa !9
  %1396 = and i32 %1395, -1
  %1397 = lshr i32 %1396, 17
  %1398 = load i32, ptr %9, align 4, !tbaa !9
  %1399 = add i32 %1398, 2
  %1400 = sub i32 %1399, 2
  %1401 = zext i32 %1400 to i64
  %1402 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1401
  %1403 = load i32, ptr %1402, align 4, !tbaa !9
  %1404 = shl i32 %1403, 15
  %1405 = or i32 %1397, %1404
  %1406 = load i32, ptr %9, align 4, !tbaa !9
  %1407 = add i32 %1406, 2
  %1408 = sub i32 %1407, 2
  %1409 = zext i32 %1408 to i64
  %1410 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1409
  %1411 = load i32, ptr %1410, align 4, !tbaa !9
  %1412 = and i32 %1411, -1
  %1413 = lshr i32 %1412, 19
  %1414 = load i32, ptr %9, align 4, !tbaa !9
  %1415 = add i32 %1414, 2
  %1416 = sub i32 %1415, 2
  %1417 = zext i32 %1416 to i64
  %1418 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1417
  %1419 = load i32, ptr %1418, align 4, !tbaa !9
  %1420 = shl i32 %1419, 13
  %1421 = or i32 %1413, %1420
  %1422 = xor i32 %1405, %1421
  %1423 = load i32, ptr %9, align 4, !tbaa !9
  %1424 = add i32 %1423, 2
  %1425 = sub i32 %1424, 2
  %1426 = zext i32 %1425 to i64
  %1427 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1426
  %1428 = load i32, ptr %1427, align 4, !tbaa !9
  %1429 = and i32 %1428, -1
  %1430 = lshr i32 %1429, 10
  %1431 = xor i32 %1422, %1430
  %1432 = load i32, ptr %9, align 4, !tbaa !9
  %1433 = add i32 %1432, 2
  %1434 = sub i32 %1433, 7
  %1435 = zext i32 %1434 to i64
  %1436 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1435
  %1437 = load i32, ptr %1436, align 4, !tbaa !9
  %1438 = add i32 %1431, %1437
  %1439 = load i32, ptr %9, align 4, !tbaa !9
  %1440 = add i32 %1439, 2
  %1441 = sub i32 %1440, 15
  %1442 = zext i32 %1441 to i64
  %1443 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1442
  %1444 = load i32, ptr %1443, align 4, !tbaa !9
  %1445 = and i32 %1444, -1
  %1446 = lshr i32 %1445, 7
  %1447 = load i32, ptr %9, align 4, !tbaa !9
  %1448 = add i32 %1447, 2
  %1449 = sub i32 %1448, 15
  %1450 = zext i32 %1449 to i64
  %1451 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1450
  %1452 = load i32, ptr %1451, align 4, !tbaa !9
  %1453 = shl i32 %1452, 25
  %1454 = or i32 %1446, %1453
  %1455 = load i32, ptr %9, align 4, !tbaa !9
  %1456 = add i32 %1455, 2
  %1457 = sub i32 %1456, 15
  %1458 = zext i32 %1457 to i64
  %1459 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1458
  %1460 = load i32, ptr %1459, align 4, !tbaa !9
  %1461 = and i32 %1460, -1
  %1462 = lshr i32 %1461, 18
  %1463 = load i32, ptr %9, align 4, !tbaa !9
  %1464 = add i32 %1463, 2
  %1465 = sub i32 %1464, 15
  %1466 = zext i32 %1465 to i64
  %1467 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1466
  %1468 = load i32, ptr %1467, align 4, !tbaa !9
  %1469 = shl i32 %1468, 14
  %1470 = or i32 %1462, %1469
  %1471 = xor i32 %1454, %1470
  %1472 = load i32, ptr %9, align 4, !tbaa !9
  %1473 = add i32 %1472, 2
  %1474 = sub i32 %1473, 15
  %1475 = zext i32 %1474 to i64
  %1476 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1475
  %1477 = load i32, ptr %1476, align 4, !tbaa !9
  %1478 = and i32 %1477, -1
  %1479 = lshr i32 %1478, 3
  %1480 = xor i32 %1471, %1479
  %1481 = add i32 %1438, %1480
  %1482 = load i32, ptr %9, align 4, !tbaa !9
  %1483 = add i32 %1482, 2
  %1484 = sub i32 %1483, 16
  %1485 = zext i32 %1484 to i64
  %1486 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1485
  %1487 = load i32, ptr %1486, align 4, !tbaa !9
  %1488 = add i32 %1481, %1487
  %1489 = load i32, ptr %9, align 4, !tbaa !9
  %1490 = add i32 %1489, 2
  %1491 = zext i32 %1490 to i64
  %1492 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1491
  store i32 %1488, ptr %1492, align 4, !tbaa !9
  %1493 = add i32 %1389, %1488
  store i32 %1493, ptr %5, align 4, !tbaa !9
  %1494 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1495 = load i32, ptr %1494, align 8, !tbaa !9
  %1496 = and i32 %1495, -1
  %1497 = lshr i32 %1496, 2
  %1498 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1499 = load i32, ptr %1498, align 8, !tbaa !9
  %1500 = shl i32 %1499, 30
  %1501 = or i32 %1497, %1500
  %1502 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1503 = load i32, ptr %1502, align 8, !tbaa !9
  %1504 = and i32 %1503, -1
  %1505 = lshr i32 %1504, 13
  %1506 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1507 = load i32, ptr %1506, align 8, !tbaa !9
  %1508 = shl i32 %1507, 19
  %1509 = or i32 %1505, %1508
  %1510 = xor i32 %1501, %1509
  %1511 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1512 = load i32, ptr %1511, align 8, !tbaa !9
  %1513 = and i32 %1512, -1
  %1514 = lshr i32 %1513, 22
  %1515 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1516 = load i32, ptr %1515, align 8, !tbaa !9
  %1517 = shl i32 %1516, 10
  %1518 = or i32 %1514, %1517
  %1519 = xor i32 %1510, %1518
  %1520 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1521 = load i32, ptr %1520, align 8, !tbaa !9
  %1522 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1523 = load i32, ptr %1522, align 4, !tbaa !9
  %1524 = and i32 %1521, %1523
  %1525 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1526 = load i32, ptr %1525, align 16, !tbaa !9
  %1527 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1528 = load i32, ptr %1527, align 8, !tbaa !9
  %1529 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1530 = load i32, ptr %1529, align 4, !tbaa !9
  %1531 = or i32 %1528, %1530
  %1532 = and i32 %1526, %1531
  %1533 = or i32 %1524, %1532
  %1534 = add i32 %1519, %1533
  store i32 %1534, ptr %6, align 4, !tbaa !9
  %1535 = load i32, ptr %5, align 4, !tbaa !9
  %1536 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1537 = load i32, ptr %1536, align 4, !tbaa !9
  %1538 = add i32 %1537, %1535
  store i32 %1538, ptr %1536, align 4, !tbaa !9
  %1539 = load i32, ptr %5, align 4, !tbaa !9
  %1540 = load i32, ptr %6, align 4, !tbaa !9
  %1541 = add i32 %1539, %1540
  %1542 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  store i32 %1541, ptr %1542, align 4, !tbaa !9
  br label %1543

1543:                                             ; preds = %1342
  br label %1544

1544:                                             ; preds = %1543
  br label %1545

1545:                                             ; preds = %1544
  %1546 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1547 = load i32, ptr %1546, align 16, !tbaa !9
  %1548 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1549 = load i32, ptr %1548, align 4, !tbaa !9
  %1550 = and i32 %1549, -1
  %1551 = lshr i32 %1550, 6
  %1552 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1553 = load i32, ptr %1552, align 4, !tbaa !9
  %1554 = shl i32 %1553, 26
  %1555 = or i32 %1551, %1554
  %1556 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1557 = load i32, ptr %1556, align 4, !tbaa !9
  %1558 = and i32 %1557, -1
  %1559 = lshr i32 %1558, 11
  %1560 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1561 = load i32, ptr %1560, align 4, !tbaa !9
  %1562 = shl i32 %1561, 21
  %1563 = or i32 %1559, %1562
  %1564 = xor i32 %1555, %1563
  %1565 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1566 = load i32, ptr %1565, align 4, !tbaa !9
  %1567 = and i32 %1566, -1
  %1568 = lshr i32 %1567, 25
  %1569 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1570 = load i32, ptr %1569, align 4, !tbaa !9
  %1571 = shl i32 %1570, 7
  %1572 = or i32 %1568, %1571
  %1573 = xor i32 %1564, %1572
  %1574 = add i32 %1547, %1573
  %1575 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1576 = load i32, ptr %1575, align 4, !tbaa !9
  %1577 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1578 = load i32, ptr %1577, align 4, !tbaa !9
  %1579 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1580 = load i32, ptr %1579, align 8, !tbaa !9
  %1581 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1582 = load i32, ptr %1581, align 4, !tbaa !9
  %1583 = xor i32 %1580, %1582
  %1584 = and i32 %1578, %1583
  %1585 = xor i32 %1576, %1584
  %1586 = add i32 %1574, %1585
  %1587 = load i32, ptr %9, align 4, !tbaa !9
  %1588 = add i32 %1587, 3
  %1589 = zext i32 %1588 to i64
  %1590 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1589
  %1591 = load i32, ptr %1590, align 4, !tbaa !9
  %1592 = add i32 %1586, %1591
  %1593 = load i32, ptr %9, align 4, !tbaa !9
  %1594 = add i32 %1593, 3
  %1595 = sub i32 %1594, 2
  %1596 = zext i32 %1595 to i64
  %1597 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1596
  %1598 = load i32, ptr %1597, align 4, !tbaa !9
  %1599 = and i32 %1598, -1
  %1600 = lshr i32 %1599, 17
  %1601 = load i32, ptr %9, align 4, !tbaa !9
  %1602 = add i32 %1601, 3
  %1603 = sub i32 %1602, 2
  %1604 = zext i32 %1603 to i64
  %1605 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1604
  %1606 = load i32, ptr %1605, align 4, !tbaa !9
  %1607 = shl i32 %1606, 15
  %1608 = or i32 %1600, %1607
  %1609 = load i32, ptr %9, align 4, !tbaa !9
  %1610 = add i32 %1609, 3
  %1611 = sub i32 %1610, 2
  %1612 = zext i32 %1611 to i64
  %1613 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1612
  %1614 = load i32, ptr %1613, align 4, !tbaa !9
  %1615 = and i32 %1614, -1
  %1616 = lshr i32 %1615, 19
  %1617 = load i32, ptr %9, align 4, !tbaa !9
  %1618 = add i32 %1617, 3
  %1619 = sub i32 %1618, 2
  %1620 = zext i32 %1619 to i64
  %1621 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1620
  %1622 = load i32, ptr %1621, align 4, !tbaa !9
  %1623 = shl i32 %1622, 13
  %1624 = or i32 %1616, %1623
  %1625 = xor i32 %1608, %1624
  %1626 = load i32, ptr %9, align 4, !tbaa !9
  %1627 = add i32 %1626, 3
  %1628 = sub i32 %1627, 2
  %1629 = zext i32 %1628 to i64
  %1630 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1629
  %1631 = load i32, ptr %1630, align 4, !tbaa !9
  %1632 = and i32 %1631, -1
  %1633 = lshr i32 %1632, 10
  %1634 = xor i32 %1625, %1633
  %1635 = load i32, ptr %9, align 4, !tbaa !9
  %1636 = add i32 %1635, 3
  %1637 = sub i32 %1636, 7
  %1638 = zext i32 %1637 to i64
  %1639 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1638
  %1640 = load i32, ptr %1639, align 4, !tbaa !9
  %1641 = add i32 %1634, %1640
  %1642 = load i32, ptr %9, align 4, !tbaa !9
  %1643 = add i32 %1642, 3
  %1644 = sub i32 %1643, 15
  %1645 = zext i32 %1644 to i64
  %1646 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1645
  %1647 = load i32, ptr %1646, align 4, !tbaa !9
  %1648 = and i32 %1647, -1
  %1649 = lshr i32 %1648, 7
  %1650 = load i32, ptr %9, align 4, !tbaa !9
  %1651 = add i32 %1650, 3
  %1652 = sub i32 %1651, 15
  %1653 = zext i32 %1652 to i64
  %1654 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1653
  %1655 = load i32, ptr %1654, align 4, !tbaa !9
  %1656 = shl i32 %1655, 25
  %1657 = or i32 %1649, %1656
  %1658 = load i32, ptr %9, align 4, !tbaa !9
  %1659 = add i32 %1658, 3
  %1660 = sub i32 %1659, 15
  %1661 = zext i32 %1660 to i64
  %1662 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1661
  %1663 = load i32, ptr %1662, align 4, !tbaa !9
  %1664 = and i32 %1663, -1
  %1665 = lshr i32 %1664, 18
  %1666 = load i32, ptr %9, align 4, !tbaa !9
  %1667 = add i32 %1666, 3
  %1668 = sub i32 %1667, 15
  %1669 = zext i32 %1668 to i64
  %1670 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1669
  %1671 = load i32, ptr %1670, align 4, !tbaa !9
  %1672 = shl i32 %1671, 14
  %1673 = or i32 %1665, %1672
  %1674 = xor i32 %1657, %1673
  %1675 = load i32, ptr %9, align 4, !tbaa !9
  %1676 = add i32 %1675, 3
  %1677 = sub i32 %1676, 15
  %1678 = zext i32 %1677 to i64
  %1679 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1678
  %1680 = load i32, ptr %1679, align 4, !tbaa !9
  %1681 = and i32 %1680, -1
  %1682 = lshr i32 %1681, 3
  %1683 = xor i32 %1674, %1682
  %1684 = add i32 %1641, %1683
  %1685 = load i32, ptr %9, align 4, !tbaa !9
  %1686 = add i32 %1685, 3
  %1687 = sub i32 %1686, 16
  %1688 = zext i32 %1687 to i64
  %1689 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1688
  %1690 = load i32, ptr %1689, align 4, !tbaa !9
  %1691 = add i32 %1684, %1690
  %1692 = load i32, ptr %9, align 4, !tbaa !9
  %1693 = add i32 %1692, 3
  %1694 = zext i32 %1693 to i64
  %1695 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1694
  store i32 %1691, ptr %1695, align 4, !tbaa !9
  %1696 = add i32 %1592, %1691
  store i32 %1696, ptr %5, align 4, !tbaa !9
  %1697 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1698 = load i32, ptr %1697, align 4, !tbaa !9
  %1699 = and i32 %1698, -1
  %1700 = lshr i32 %1699, 2
  %1701 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1702 = load i32, ptr %1701, align 4, !tbaa !9
  %1703 = shl i32 %1702, 30
  %1704 = or i32 %1700, %1703
  %1705 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1706 = load i32, ptr %1705, align 4, !tbaa !9
  %1707 = and i32 %1706, -1
  %1708 = lshr i32 %1707, 13
  %1709 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1710 = load i32, ptr %1709, align 4, !tbaa !9
  %1711 = shl i32 %1710, 19
  %1712 = or i32 %1708, %1711
  %1713 = xor i32 %1704, %1712
  %1714 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1715 = load i32, ptr %1714, align 4, !tbaa !9
  %1716 = and i32 %1715, -1
  %1717 = lshr i32 %1716, 22
  %1718 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1719 = load i32, ptr %1718, align 4, !tbaa !9
  %1720 = shl i32 %1719, 10
  %1721 = or i32 %1717, %1720
  %1722 = xor i32 %1713, %1721
  %1723 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1724 = load i32, ptr %1723, align 4, !tbaa !9
  %1725 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1726 = load i32, ptr %1725, align 8, !tbaa !9
  %1727 = and i32 %1724, %1726
  %1728 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1729 = load i32, ptr %1728, align 4, !tbaa !9
  %1730 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1731 = load i32, ptr %1730, align 4, !tbaa !9
  %1732 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1733 = load i32, ptr %1732, align 8, !tbaa !9
  %1734 = or i32 %1731, %1733
  %1735 = and i32 %1729, %1734
  %1736 = or i32 %1727, %1735
  %1737 = add i32 %1722, %1736
  store i32 %1737, ptr %6, align 4, !tbaa !9
  %1738 = load i32, ptr %5, align 4, !tbaa !9
  %1739 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1740 = load i32, ptr %1739, align 16, !tbaa !9
  %1741 = add i32 %1740, %1738
  store i32 %1741, ptr %1739, align 16, !tbaa !9
  %1742 = load i32, ptr %5, align 4, !tbaa !9
  %1743 = load i32, ptr %6, align 4, !tbaa !9
  %1744 = add i32 %1742, %1743
  %1745 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  store i32 %1744, ptr %1745, align 16, !tbaa !9
  br label %1746

1746:                                             ; preds = %1545
  br label %1747

1747:                                             ; preds = %1746
  br label %1748

1748:                                             ; preds = %1747
  %1749 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1750 = load i32, ptr %1749, align 4, !tbaa !9
  %1751 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1752 = load i32, ptr %1751, align 16, !tbaa !9
  %1753 = and i32 %1752, -1
  %1754 = lshr i32 %1753, 6
  %1755 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1756 = load i32, ptr %1755, align 16, !tbaa !9
  %1757 = shl i32 %1756, 26
  %1758 = or i32 %1754, %1757
  %1759 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1760 = load i32, ptr %1759, align 16, !tbaa !9
  %1761 = and i32 %1760, -1
  %1762 = lshr i32 %1761, 11
  %1763 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1764 = load i32, ptr %1763, align 16, !tbaa !9
  %1765 = shl i32 %1764, 21
  %1766 = or i32 %1762, %1765
  %1767 = xor i32 %1758, %1766
  %1768 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1769 = load i32, ptr %1768, align 16, !tbaa !9
  %1770 = and i32 %1769, -1
  %1771 = lshr i32 %1770, 25
  %1772 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1773 = load i32, ptr %1772, align 16, !tbaa !9
  %1774 = shl i32 %1773, 7
  %1775 = or i32 %1771, %1774
  %1776 = xor i32 %1767, %1775
  %1777 = add i32 %1750, %1776
  %1778 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1779 = load i32, ptr %1778, align 8, !tbaa !9
  %1780 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1781 = load i32, ptr %1780, align 16, !tbaa !9
  %1782 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1783 = load i32, ptr %1782, align 4, !tbaa !9
  %1784 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1785 = load i32, ptr %1784, align 8, !tbaa !9
  %1786 = xor i32 %1783, %1785
  %1787 = and i32 %1781, %1786
  %1788 = xor i32 %1779, %1787
  %1789 = add i32 %1777, %1788
  %1790 = load i32, ptr %9, align 4, !tbaa !9
  %1791 = add i32 %1790, 4
  %1792 = zext i32 %1791 to i64
  %1793 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1792
  %1794 = load i32, ptr %1793, align 4, !tbaa !9
  %1795 = add i32 %1789, %1794
  %1796 = load i32, ptr %9, align 4, !tbaa !9
  %1797 = add i32 %1796, 4
  %1798 = sub i32 %1797, 2
  %1799 = zext i32 %1798 to i64
  %1800 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1799
  %1801 = load i32, ptr %1800, align 4, !tbaa !9
  %1802 = and i32 %1801, -1
  %1803 = lshr i32 %1802, 17
  %1804 = load i32, ptr %9, align 4, !tbaa !9
  %1805 = add i32 %1804, 4
  %1806 = sub i32 %1805, 2
  %1807 = zext i32 %1806 to i64
  %1808 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1807
  %1809 = load i32, ptr %1808, align 4, !tbaa !9
  %1810 = shl i32 %1809, 15
  %1811 = or i32 %1803, %1810
  %1812 = load i32, ptr %9, align 4, !tbaa !9
  %1813 = add i32 %1812, 4
  %1814 = sub i32 %1813, 2
  %1815 = zext i32 %1814 to i64
  %1816 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1815
  %1817 = load i32, ptr %1816, align 4, !tbaa !9
  %1818 = and i32 %1817, -1
  %1819 = lshr i32 %1818, 19
  %1820 = load i32, ptr %9, align 4, !tbaa !9
  %1821 = add i32 %1820, 4
  %1822 = sub i32 %1821, 2
  %1823 = zext i32 %1822 to i64
  %1824 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1823
  %1825 = load i32, ptr %1824, align 4, !tbaa !9
  %1826 = shl i32 %1825, 13
  %1827 = or i32 %1819, %1826
  %1828 = xor i32 %1811, %1827
  %1829 = load i32, ptr %9, align 4, !tbaa !9
  %1830 = add i32 %1829, 4
  %1831 = sub i32 %1830, 2
  %1832 = zext i32 %1831 to i64
  %1833 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1832
  %1834 = load i32, ptr %1833, align 4, !tbaa !9
  %1835 = and i32 %1834, -1
  %1836 = lshr i32 %1835, 10
  %1837 = xor i32 %1828, %1836
  %1838 = load i32, ptr %9, align 4, !tbaa !9
  %1839 = add i32 %1838, 4
  %1840 = sub i32 %1839, 7
  %1841 = zext i32 %1840 to i64
  %1842 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1841
  %1843 = load i32, ptr %1842, align 4, !tbaa !9
  %1844 = add i32 %1837, %1843
  %1845 = load i32, ptr %9, align 4, !tbaa !9
  %1846 = add i32 %1845, 4
  %1847 = sub i32 %1846, 15
  %1848 = zext i32 %1847 to i64
  %1849 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1848
  %1850 = load i32, ptr %1849, align 4, !tbaa !9
  %1851 = and i32 %1850, -1
  %1852 = lshr i32 %1851, 7
  %1853 = load i32, ptr %9, align 4, !tbaa !9
  %1854 = add i32 %1853, 4
  %1855 = sub i32 %1854, 15
  %1856 = zext i32 %1855 to i64
  %1857 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1856
  %1858 = load i32, ptr %1857, align 4, !tbaa !9
  %1859 = shl i32 %1858, 25
  %1860 = or i32 %1852, %1859
  %1861 = load i32, ptr %9, align 4, !tbaa !9
  %1862 = add i32 %1861, 4
  %1863 = sub i32 %1862, 15
  %1864 = zext i32 %1863 to i64
  %1865 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1864
  %1866 = load i32, ptr %1865, align 4, !tbaa !9
  %1867 = and i32 %1866, -1
  %1868 = lshr i32 %1867, 18
  %1869 = load i32, ptr %9, align 4, !tbaa !9
  %1870 = add i32 %1869, 4
  %1871 = sub i32 %1870, 15
  %1872 = zext i32 %1871 to i64
  %1873 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1872
  %1874 = load i32, ptr %1873, align 4, !tbaa !9
  %1875 = shl i32 %1874, 14
  %1876 = or i32 %1868, %1875
  %1877 = xor i32 %1860, %1876
  %1878 = load i32, ptr %9, align 4, !tbaa !9
  %1879 = add i32 %1878, 4
  %1880 = sub i32 %1879, 15
  %1881 = zext i32 %1880 to i64
  %1882 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1881
  %1883 = load i32, ptr %1882, align 4, !tbaa !9
  %1884 = and i32 %1883, -1
  %1885 = lshr i32 %1884, 3
  %1886 = xor i32 %1877, %1885
  %1887 = add i32 %1844, %1886
  %1888 = load i32, ptr %9, align 4, !tbaa !9
  %1889 = add i32 %1888, 4
  %1890 = sub i32 %1889, 16
  %1891 = zext i32 %1890 to i64
  %1892 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1891
  %1893 = load i32, ptr %1892, align 4, !tbaa !9
  %1894 = add i32 %1887, %1893
  %1895 = load i32, ptr %9, align 4, !tbaa !9
  %1896 = add i32 %1895, 4
  %1897 = zext i32 %1896 to i64
  %1898 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1897
  store i32 %1894, ptr %1898, align 4, !tbaa !9
  %1899 = add i32 %1795, %1894
  store i32 %1899, ptr %5, align 4, !tbaa !9
  %1900 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1901 = load i32, ptr %1900, align 16, !tbaa !9
  %1902 = and i32 %1901, -1
  %1903 = lshr i32 %1902, 2
  %1904 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1905 = load i32, ptr %1904, align 16, !tbaa !9
  %1906 = shl i32 %1905, 30
  %1907 = or i32 %1903, %1906
  %1908 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1909 = load i32, ptr %1908, align 16, !tbaa !9
  %1910 = and i32 %1909, -1
  %1911 = lshr i32 %1910, 13
  %1912 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1913 = load i32, ptr %1912, align 16, !tbaa !9
  %1914 = shl i32 %1913, 19
  %1915 = or i32 %1911, %1914
  %1916 = xor i32 %1907, %1915
  %1917 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1918 = load i32, ptr %1917, align 16, !tbaa !9
  %1919 = and i32 %1918, -1
  %1920 = lshr i32 %1919, 22
  %1921 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1922 = load i32, ptr %1921, align 16, !tbaa !9
  %1923 = shl i32 %1922, 10
  %1924 = or i32 %1920, %1923
  %1925 = xor i32 %1916, %1924
  %1926 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1927 = load i32, ptr %1926, align 16, !tbaa !9
  %1928 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1929 = load i32, ptr %1928, align 4, !tbaa !9
  %1930 = and i32 %1927, %1929
  %1931 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1932 = load i32, ptr %1931, align 8, !tbaa !9
  %1933 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1934 = load i32, ptr %1933, align 16, !tbaa !9
  %1935 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1936 = load i32, ptr %1935, align 4, !tbaa !9
  %1937 = or i32 %1934, %1936
  %1938 = and i32 %1932, %1937
  %1939 = or i32 %1930, %1938
  %1940 = add i32 %1925, %1939
  store i32 %1940, ptr %6, align 4, !tbaa !9
  %1941 = load i32, ptr %5, align 4, !tbaa !9
  %1942 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1943 = load i32, ptr %1942, align 4, !tbaa !9
  %1944 = add i32 %1943, %1941
  store i32 %1944, ptr %1942, align 4, !tbaa !9
  %1945 = load i32, ptr %5, align 4, !tbaa !9
  %1946 = load i32, ptr %6, align 4, !tbaa !9
  %1947 = add i32 %1945, %1946
  %1948 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  store i32 %1947, ptr %1948, align 4, !tbaa !9
  br label %1949

1949:                                             ; preds = %1748
  br label %1950

1950:                                             ; preds = %1949
  br label %1951

1951:                                             ; preds = %1950
  %1952 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1953 = load i32, ptr %1952, align 8, !tbaa !9
  %1954 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1955 = load i32, ptr %1954, align 4, !tbaa !9
  %1956 = and i32 %1955, -1
  %1957 = lshr i32 %1956, 6
  %1958 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1959 = load i32, ptr %1958, align 4, !tbaa !9
  %1960 = shl i32 %1959, 26
  %1961 = or i32 %1957, %1960
  %1962 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1963 = load i32, ptr %1962, align 4, !tbaa !9
  %1964 = and i32 %1963, -1
  %1965 = lshr i32 %1964, 11
  %1966 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1967 = load i32, ptr %1966, align 4, !tbaa !9
  %1968 = shl i32 %1967, 21
  %1969 = or i32 %1965, %1968
  %1970 = xor i32 %1961, %1969
  %1971 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1972 = load i32, ptr %1971, align 4, !tbaa !9
  %1973 = and i32 %1972, -1
  %1974 = lshr i32 %1973, 25
  %1975 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1976 = load i32, ptr %1975, align 4, !tbaa !9
  %1977 = shl i32 %1976, 7
  %1978 = or i32 %1974, %1977
  %1979 = xor i32 %1970, %1978
  %1980 = add i32 %1953, %1979
  %1981 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1982 = load i32, ptr %1981, align 4, !tbaa !9
  %1983 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1984 = load i32, ptr %1983, align 4, !tbaa !9
  %1985 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1986 = load i32, ptr %1985, align 16, !tbaa !9
  %1987 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1988 = load i32, ptr %1987, align 4, !tbaa !9
  %1989 = xor i32 %1986, %1988
  %1990 = and i32 %1984, %1989
  %1991 = xor i32 %1982, %1990
  %1992 = add i32 %1980, %1991
  %1993 = load i32, ptr %9, align 4, !tbaa !9
  %1994 = add i32 %1993, 5
  %1995 = zext i32 %1994 to i64
  %1996 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1995
  %1997 = load i32, ptr %1996, align 4, !tbaa !9
  %1998 = add i32 %1992, %1997
  %1999 = load i32, ptr %9, align 4, !tbaa !9
  %2000 = add i32 %1999, 5
  %2001 = sub i32 %2000, 2
  %2002 = zext i32 %2001 to i64
  %2003 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2002
  %2004 = load i32, ptr %2003, align 4, !tbaa !9
  %2005 = and i32 %2004, -1
  %2006 = lshr i32 %2005, 17
  %2007 = load i32, ptr %9, align 4, !tbaa !9
  %2008 = add i32 %2007, 5
  %2009 = sub i32 %2008, 2
  %2010 = zext i32 %2009 to i64
  %2011 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2010
  %2012 = load i32, ptr %2011, align 4, !tbaa !9
  %2013 = shl i32 %2012, 15
  %2014 = or i32 %2006, %2013
  %2015 = load i32, ptr %9, align 4, !tbaa !9
  %2016 = add i32 %2015, 5
  %2017 = sub i32 %2016, 2
  %2018 = zext i32 %2017 to i64
  %2019 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2018
  %2020 = load i32, ptr %2019, align 4, !tbaa !9
  %2021 = and i32 %2020, -1
  %2022 = lshr i32 %2021, 19
  %2023 = load i32, ptr %9, align 4, !tbaa !9
  %2024 = add i32 %2023, 5
  %2025 = sub i32 %2024, 2
  %2026 = zext i32 %2025 to i64
  %2027 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2026
  %2028 = load i32, ptr %2027, align 4, !tbaa !9
  %2029 = shl i32 %2028, 13
  %2030 = or i32 %2022, %2029
  %2031 = xor i32 %2014, %2030
  %2032 = load i32, ptr %9, align 4, !tbaa !9
  %2033 = add i32 %2032, 5
  %2034 = sub i32 %2033, 2
  %2035 = zext i32 %2034 to i64
  %2036 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2035
  %2037 = load i32, ptr %2036, align 4, !tbaa !9
  %2038 = and i32 %2037, -1
  %2039 = lshr i32 %2038, 10
  %2040 = xor i32 %2031, %2039
  %2041 = load i32, ptr %9, align 4, !tbaa !9
  %2042 = add i32 %2041, 5
  %2043 = sub i32 %2042, 7
  %2044 = zext i32 %2043 to i64
  %2045 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2044
  %2046 = load i32, ptr %2045, align 4, !tbaa !9
  %2047 = add i32 %2040, %2046
  %2048 = load i32, ptr %9, align 4, !tbaa !9
  %2049 = add i32 %2048, 5
  %2050 = sub i32 %2049, 15
  %2051 = zext i32 %2050 to i64
  %2052 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2051
  %2053 = load i32, ptr %2052, align 4, !tbaa !9
  %2054 = and i32 %2053, -1
  %2055 = lshr i32 %2054, 7
  %2056 = load i32, ptr %9, align 4, !tbaa !9
  %2057 = add i32 %2056, 5
  %2058 = sub i32 %2057, 15
  %2059 = zext i32 %2058 to i64
  %2060 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2059
  %2061 = load i32, ptr %2060, align 4, !tbaa !9
  %2062 = shl i32 %2061, 25
  %2063 = or i32 %2055, %2062
  %2064 = load i32, ptr %9, align 4, !tbaa !9
  %2065 = add i32 %2064, 5
  %2066 = sub i32 %2065, 15
  %2067 = zext i32 %2066 to i64
  %2068 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2067
  %2069 = load i32, ptr %2068, align 4, !tbaa !9
  %2070 = and i32 %2069, -1
  %2071 = lshr i32 %2070, 18
  %2072 = load i32, ptr %9, align 4, !tbaa !9
  %2073 = add i32 %2072, 5
  %2074 = sub i32 %2073, 15
  %2075 = zext i32 %2074 to i64
  %2076 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2075
  %2077 = load i32, ptr %2076, align 4, !tbaa !9
  %2078 = shl i32 %2077, 14
  %2079 = or i32 %2071, %2078
  %2080 = xor i32 %2063, %2079
  %2081 = load i32, ptr %9, align 4, !tbaa !9
  %2082 = add i32 %2081, 5
  %2083 = sub i32 %2082, 15
  %2084 = zext i32 %2083 to i64
  %2085 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2084
  %2086 = load i32, ptr %2085, align 4, !tbaa !9
  %2087 = and i32 %2086, -1
  %2088 = lshr i32 %2087, 3
  %2089 = xor i32 %2080, %2088
  %2090 = add i32 %2047, %2089
  %2091 = load i32, ptr %9, align 4, !tbaa !9
  %2092 = add i32 %2091, 5
  %2093 = sub i32 %2092, 16
  %2094 = zext i32 %2093 to i64
  %2095 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2094
  %2096 = load i32, ptr %2095, align 4, !tbaa !9
  %2097 = add i32 %2090, %2096
  %2098 = load i32, ptr %9, align 4, !tbaa !9
  %2099 = add i32 %2098, 5
  %2100 = zext i32 %2099 to i64
  %2101 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2100
  store i32 %2097, ptr %2101, align 4, !tbaa !9
  %2102 = add i32 %1998, %2097
  store i32 %2102, ptr %5, align 4, !tbaa !9
  %2103 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2104 = load i32, ptr %2103, align 4, !tbaa !9
  %2105 = and i32 %2104, -1
  %2106 = lshr i32 %2105, 2
  %2107 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2108 = load i32, ptr %2107, align 4, !tbaa !9
  %2109 = shl i32 %2108, 30
  %2110 = or i32 %2106, %2109
  %2111 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2112 = load i32, ptr %2111, align 4, !tbaa !9
  %2113 = and i32 %2112, -1
  %2114 = lshr i32 %2113, 13
  %2115 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2116 = load i32, ptr %2115, align 4, !tbaa !9
  %2117 = shl i32 %2116, 19
  %2118 = or i32 %2114, %2117
  %2119 = xor i32 %2110, %2118
  %2120 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2121 = load i32, ptr %2120, align 4, !tbaa !9
  %2122 = and i32 %2121, -1
  %2123 = lshr i32 %2122, 22
  %2124 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2125 = load i32, ptr %2124, align 4, !tbaa !9
  %2126 = shl i32 %2125, 10
  %2127 = or i32 %2123, %2126
  %2128 = xor i32 %2119, %2127
  %2129 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2130 = load i32, ptr %2129, align 4, !tbaa !9
  %2131 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %2132 = load i32, ptr %2131, align 16, !tbaa !9
  %2133 = and i32 %2130, %2132
  %2134 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2135 = load i32, ptr %2134, align 4, !tbaa !9
  %2136 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2137 = load i32, ptr %2136, align 4, !tbaa !9
  %2138 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %2139 = load i32, ptr %2138, align 16, !tbaa !9
  %2140 = or i32 %2137, %2139
  %2141 = and i32 %2135, %2140
  %2142 = or i32 %2133, %2141
  %2143 = add i32 %2128, %2142
  store i32 %2143, ptr %6, align 4, !tbaa !9
  %2144 = load i32, ptr %5, align 4, !tbaa !9
  %2145 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2146 = load i32, ptr %2145, align 8, !tbaa !9
  %2147 = add i32 %2146, %2144
  store i32 %2147, ptr %2145, align 8, !tbaa !9
  %2148 = load i32, ptr %5, align 4, !tbaa !9
  %2149 = load i32, ptr %6, align 4, !tbaa !9
  %2150 = add i32 %2148, %2149
  %2151 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  store i32 %2150, ptr %2151, align 8, !tbaa !9
  br label %2152

2152:                                             ; preds = %1951
  br label %2153

2153:                                             ; preds = %2152
  br label %2154

2154:                                             ; preds = %2153
  %2155 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2156 = load i32, ptr %2155, align 4, !tbaa !9
  %2157 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2158 = load i32, ptr %2157, align 8, !tbaa !9
  %2159 = and i32 %2158, -1
  %2160 = lshr i32 %2159, 6
  %2161 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2162 = load i32, ptr %2161, align 8, !tbaa !9
  %2163 = shl i32 %2162, 26
  %2164 = or i32 %2160, %2163
  %2165 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2166 = load i32, ptr %2165, align 8, !tbaa !9
  %2167 = and i32 %2166, -1
  %2168 = lshr i32 %2167, 11
  %2169 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2170 = load i32, ptr %2169, align 8, !tbaa !9
  %2171 = shl i32 %2170, 21
  %2172 = or i32 %2168, %2171
  %2173 = xor i32 %2164, %2172
  %2174 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2175 = load i32, ptr %2174, align 8, !tbaa !9
  %2176 = and i32 %2175, -1
  %2177 = lshr i32 %2176, 25
  %2178 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2179 = load i32, ptr %2178, align 8, !tbaa !9
  %2180 = shl i32 %2179, 7
  %2181 = or i32 %2177, %2180
  %2182 = xor i32 %2173, %2181
  %2183 = add i32 %2156, %2182
  %2184 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %2185 = load i32, ptr %2184, align 16, !tbaa !9
  %2186 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2187 = load i32, ptr %2186, align 8, !tbaa !9
  %2188 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %2189 = load i32, ptr %2188, align 4, !tbaa !9
  %2190 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %2191 = load i32, ptr %2190, align 16, !tbaa !9
  %2192 = xor i32 %2189, %2191
  %2193 = and i32 %2187, %2192
  %2194 = xor i32 %2185, %2193
  %2195 = add i32 %2183, %2194
  %2196 = load i32, ptr %9, align 4, !tbaa !9
  %2197 = add i32 %2196, 6
  %2198 = zext i32 %2197 to i64
  %2199 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %2198
  %2200 = load i32, ptr %2199, align 4, !tbaa !9
  %2201 = add i32 %2195, %2200
  %2202 = load i32, ptr %9, align 4, !tbaa !9
  %2203 = add i32 %2202, 6
  %2204 = sub i32 %2203, 2
  %2205 = zext i32 %2204 to i64
  %2206 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2205
  %2207 = load i32, ptr %2206, align 4, !tbaa !9
  %2208 = and i32 %2207, -1
  %2209 = lshr i32 %2208, 17
  %2210 = load i32, ptr %9, align 4, !tbaa !9
  %2211 = add i32 %2210, 6
  %2212 = sub i32 %2211, 2
  %2213 = zext i32 %2212 to i64
  %2214 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2213
  %2215 = load i32, ptr %2214, align 4, !tbaa !9
  %2216 = shl i32 %2215, 15
  %2217 = or i32 %2209, %2216
  %2218 = load i32, ptr %9, align 4, !tbaa !9
  %2219 = add i32 %2218, 6
  %2220 = sub i32 %2219, 2
  %2221 = zext i32 %2220 to i64
  %2222 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2221
  %2223 = load i32, ptr %2222, align 4, !tbaa !9
  %2224 = and i32 %2223, -1
  %2225 = lshr i32 %2224, 19
  %2226 = load i32, ptr %9, align 4, !tbaa !9
  %2227 = add i32 %2226, 6
  %2228 = sub i32 %2227, 2
  %2229 = zext i32 %2228 to i64
  %2230 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2229
  %2231 = load i32, ptr %2230, align 4, !tbaa !9
  %2232 = shl i32 %2231, 13
  %2233 = or i32 %2225, %2232
  %2234 = xor i32 %2217, %2233
  %2235 = load i32, ptr %9, align 4, !tbaa !9
  %2236 = add i32 %2235, 6
  %2237 = sub i32 %2236, 2
  %2238 = zext i32 %2237 to i64
  %2239 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2238
  %2240 = load i32, ptr %2239, align 4, !tbaa !9
  %2241 = and i32 %2240, -1
  %2242 = lshr i32 %2241, 10
  %2243 = xor i32 %2234, %2242
  %2244 = load i32, ptr %9, align 4, !tbaa !9
  %2245 = add i32 %2244, 6
  %2246 = sub i32 %2245, 7
  %2247 = zext i32 %2246 to i64
  %2248 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2247
  %2249 = load i32, ptr %2248, align 4, !tbaa !9
  %2250 = add i32 %2243, %2249
  %2251 = load i32, ptr %9, align 4, !tbaa !9
  %2252 = add i32 %2251, 6
  %2253 = sub i32 %2252, 15
  %2254 = zext i32 %2253 to i64
  %2255 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2254
  %2256 = load i32, ptr %2255, align 4, !tbaa !9
  %2257 = and i32 %2256, -1
  %2258 = lshr i32 %2257, 7
  %2259 = load i32, ptr %9, align 4, !tbaa !9
  %2260 = add i32 %2259, 6
  %2261 = sub i32 %2260, 15
  %2262 = zext i32 %2261 to i64
  %2263 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2262
  %2264 = load i32, ptr %2263, align 4, !tbaa !9
  %2265 = shl i32 %2264, 25
  %2266 = or i32 %2258, %2265
  %2267 = load i32, ptr %9, align 4, !tbaa !9
  %2268 = add i32 %2267, 6
  %2269 = sub i32 %2268, 15
  %2270 = zext i32 %2269 to i64
  %2271 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2270
  %2272 = load i32, ptr %2271, align 4, !tbaa !9
  %2273 = and i32 %2272, -1
  %2274 = lshr i32 %2273, 18
  %2275 = load i32, ptr %9, align 4, !tbaa !9
  %2276 = add i32 %2275, 6
  %2277 = sub i32 %2276, 15
  %2278 = zext i32 %2277 to i64
  %2279 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2278
  %2280 = load i32, ptr %2279, align 4, !tbaa !9
  %2281 = shl i32 %2280, 14
  %2282 = or i32 %2274, %2281
  %2283 = xor i32 %2266, %2282
  %2284 = load i32, ptr %9, align 4, !tbaa !9
  %2285 = add i32 %2284, 6
  %2286 = sub i32 %2285, 15
  %2287 = zext i32 %2286 to i64
  %2288 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2287
  %2289 = load i32, ptr %2288, align 4, !tbaa !9
  %2290 = and i32 %2289, -1
  %2291 = lshr i32 %2290, 3
  %2292 = xor i32 %2283, %2291
  %2293 = add i32 %2250, %2292
  %2294 = load i32, ptr %9, align 4, !tbaa !9
  %2295 = add i32 %2294, 6
  %2296 = sub i32 %2295, 16
  %2297 = zext i32 %2296 to i64
  %2298 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2297
  %2299 = load i32, ptr %2298, align 4, !tbaa !9
  %2300 = add i32 %2293, %2299
  %2301 = load i32, ptr %9, align 4, !tbaa !9
  %2302 = add i32 %2301, 6
  %2303 = zext i32 %2302 to i64
  %2304 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2303
  store i32 %2300, ptr %2304, align 4, !tbaa !9
  %2305 = add i32 %2201, %2300
  store i32 %2305, ptr %5, align 4, !tbaa !9
  %2306 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2307 = load i32, ptr %2306, align 8, !tbaa !9
  %2308 = and i32 %2307, -1
  %2309 = lshr i32 %2308, 2
  %2310 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2311 = load i32, ptr %2310, align 8, !tbaa !9
  %2312 = shl i32 %2311, 30
  %2313 = or i32 %2309, %2312
  %2314 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2315 = load i32, ptr %2314, align 8, !tbaa !9
  %2316 = and i32 %2315, -1
  %2317 = lshr i32 %2316, 13
  %2318 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2319 = load i32, ptr %2318, align 8, !tbaa !9
  %2320 = shl i32 %2319, 19
  %2321 = or i32 %2317, %2320
  %2322 = xor i32 %2313, %2321
  %2323 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2324 = load i32, ptr %2323, align 8, !tbaa !9
  %2325 = and i32 %2324, -1
  %2326 = lshr i32 %2325, 22
  %2327 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2328 = load i32, ptr %2327, align 8, !tbaa !9
  %2329 = shl i32 %2328, 10
  %2330 = or i32 %2326, %2329
  %2331 = xor i32 %2322, %2330
  %2332 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2333 = load i32, ptr %2332, align 8, !tbaa !9
  %2334 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2335 = load i32, ptr %2334, align 4, !tbaa !9
  %2336 = and i32 %2333, %2335
  %2337 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %2338 = load i32, ptr %2337, align 16, !tbaa !9
  %2339 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2340 = load i32, ptr %2339, align 8, !tbaa !9
  %2341 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2342 = load i32, ptr %2341, align 4, !tbaa !9
  %2343 = or i32 %2340, %2342
  %2344 = and i32 %2338, %2343
  %2345 = or i32 %2336, %2344
  %2346 = add i32 %2331, %2345
  store i32 %2346, ptr %6, align 4, !tbaa !9
  %2347 = load i32, ptr %5, align 4, !tbaa !9
  %2348 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2349 = load i32, ptr %2348, align 4, !tbaa !9
  %2350 = add i32 %2349, %2347
  store i32 %2350, ptr %2348, align 4, !tbaa !9
  %2351 = load i32, ptr %5, align 4, !tbaa !9
  %2352 = load i32, ptr %6, align 4, !tbaa !9
  %2353 = add i32 %2351, %2352
  %2354 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  store i32 %2353, ptr %2354, align 4, !tbaa !9
  br label %2355

2355:                                             ; preds = %2154
  br label %2356

2356:                                             ; preds = %2355
  br label %2357

2357:                                             ; preds = %2356
  %2358 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %2359 = load i32, ptr %2358, align 16, !tbaa !9
  %2360 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2361 = load i32, ptr %2360, align 4, !tbaa !9
  %2362 = and i32 %2361, -1
  %2363 = lshr i32 %2362, 6
  %2364 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2365 = load i32, ptr %2364, align 4, !tbaa !9
  %2366 = shl i32 %2365, 26
  %2367 = or i32 %2363, %2366
  %2368 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2369 = load i32, ptr %2368, align 4, !tbaa !9
  %2370 = and i32 %2369, -1
  %2371 = lshr i32 %2370, 11
  %2372 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2373 = load i32, ptr %2372, align 4, !tbaa !9
  %2374 = shl i32 %2373, 21
  %2375 = or i32 %2371, %2374
  %2376 = xor i32 %2367, %2375
  %2377 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2378 = load i32, ptr %2377, align 4, !tbaa !9
  %2379 = and i32 %2378, -1
  %2380 = lshr i32 %2379, 25
  %2381 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2382 = load i32, ptr %2381, align 4, !tbaa !9
  %2383 = shl i32 %2382, 7
  %2384 = or i32 %2380, %2383
  %2385 = xor i32 %2376, %2384
  %2386 = add i32 %2359, %2385
  %2387 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %2388 = load i32, ptr %2387, align 4, !tbaa !9
  %2389 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2390 = load i32, ptr %2389, align 4, !tbaa !9
  %2391 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2392 = load i32, ptr %2391, align 8, !tbaa !9
  %2393 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %2394 = load i32, ptr %2393, align 4, !tbaa !9
  %2395 = xor i32 %2392, %2394
  %2396 = and i32 %2390, %2395
  %2397 = xor i32 %2388, %2396
  %2398 = add i32 %2386, %2397
  %2399 = load i32, ptr %9, align 4, !tbaa !9
  %2400 = add i32 %2399, 7
  %2401 = zext i32 %2400 to i64
  %2402 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %2401
  %2403 = load i32, ptr %2402, align 4, !tbaa !9
  %2404 = add i32 %2398, %2403
  %2405 = load i32, ptr %9, align 4, !tbaa !9
  %2406 = add i32 %2405, 7
  %2407 = sub i32 %2406, 2
  %2408 = zext i32 %2407 to i64
  %2409 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2408
  %2410 = load i32, ptr %2409, align 4, !tbaa !9
  %2411 = and i32 %2410, -1
  %2412 = lshr i32 %2411, 17
  %2413 = load i32, ptr %9, align 4, !tbaa !9
  %2414 = add i32 %2413, 7
  %2415 = sub i32 %2414, 2
  %2416 = zext i32 %2415 to i64
  %2417 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2416
  %2418 = load i32, ptr %2417, align 4, !tbaa !9
  %2419 = shl i32 %2418, 15
  %2420 = or i32 %2412, %2419
  %2421 = load i32, ptr %9, align 4, !tbaa !9
  %2422 = add i32 %2421, 7
  %2423 = sub i32 %2422, 2
  %2424 = zext i32 %2423 to i64
  %2425 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2424
  %2426 = load i32, ptr %2425, align 4, !tbaa !9
  %2427 = and i32 %2426, -1
  %2428 = lshr i32 %2427, 19
  %2429 = load i32, ptr %9, align 4, !tbaa !9
  %2430 = add i32 %2429, 7
  %2431 = sub i32 %2430, 2
  %2432 = zext i32 %2431 to i64
  %2433 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2432
  %2434 = load i32, ptr %2433, align 4, !tbaa !9
  %2435 = shl i32 %2434, 13
  %2436 = or i32 %2428, %2435
  %2437 = xor i32 %2420, %2436
  %2438 = load i32, ptr %9, align 4, !tbaa !9
  %2439 = add i32 %2438, 7
  %2440 = sub i32 %2439, 2
  %2441 = zext i32 %2440 to i64
  %2442 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2441
  %2443 = load i32, ptr %2442, align 4, !tbaa !9
  %2444 = and i32 %2443, -1
  %2445 = lshr i32 %2444, 10
  %2446 = xor i32 %2437, %2445
  %2447 = load i32, ptr %9, align 4, !tbaa !9
  %2448 = add i32 %2447, 7
  %2449 = sub i32 %2448, 7
  %2450 = zext i32 %2449 to i64
  %2451 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2450
  %2452 = load i32, ptr %2451, align 4, !tbaa !9
  %2453 = add i32 %2446, %2452
  %2454 = load i32, ptr %9, align 4, !tbaa !9
  %2455 = add i32 %2454, 7
  %2456 = sub i32 %2455, 15
  %2457 = zext i32 %2456 to i64
  %2458 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2457
  %2459 = load i32, ptr %2458, align 4, !tbaa !9
  %2460 = and i32 %2459, -1
  %2461 = lshr i32 %2460, 7
  %2462 = load i32, ptr %9, align 4, !tbaa !9
  %2463 = add i32 %2462, 7
  %2464 = sub i32 %2463, 15
  %2465 = zext i32 %2464 to i64
  %2466 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2465
  %2467 = load i32, ptr %2466, align 4, !tbaa !9
  %2468 = shl i32 %2467, 25
  %2469 = or i32 %2461, %2468
  %2470 = load i32, ptr %9, align 4, !tbaa !9
  %2471 = add i32 %2470, 7
  %2472 = sub i32 %2471, 15
  %2473 = zext i32 %2472 to i64
  %2474 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2473
  %2475 = load i32, ptr %2474, align 4, !tbaa !9
  %2476 = and i32 %2475, -1
  %2477 = lshr i32 %2476, 18
  %2478 = load i32, ptr %9, align 4, !tbaa !9
  %2479 = add i32 %2478, 7
  %2480 = sub i32 %2479, 15
  %2481 = zext i32 %2480 to i64
  %2482 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2481
  %2483 = load i32, ptr %2482, align 4, !tbaa !9
  %2484 = shl i32 %2483, 14
  %2485 = or i32 %2477, %2484
  %2486 = xor i32 %2469, %2485
  %2487 = load i32, ptr %9, align 4, !tbaa !9
  %2488 = add i32 %2487, 7
  %2489 = sub i32 %2488, 15
  %2490 = zext i32 %2489 to i64
  %2491 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2490
  %2492 = load i32, ptr %2491, align 4, !tbaa !9
  %2493 = and i32 %2492, -1
  %2494 = lshr i32 %2493, 3
  %2495 = xor i32 %2486, %2494
  %2496 = add i32 %2453, %2495
  %2497 = load i32, ptr %9, align 4, !tbaa !9
  %2498 = add i32 %2497, 7
  %2499 = sub i32 %2498, 16
  %2500 = zext i32 %2499 to i64
  %2501 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2500
  %2502 = load i32, ptr %2501, align 4, !tbaa !9
  %2503 = add i32 %2496, %2502
  %2504 = load i32, ptr %9, align 4, !tbaa !9
  %2505 = add i32 %2504, 7
  %2506 = zext i32 %2505 to i64
  %2507 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2506
  store i32 %2503, ptr %2507, align 4, !tbaa !9
  %2508 = add i32 %2404, %2503
  store i32 %2508, ptr %5, align 4, !tbaa !9
  %2509 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2510 = load i32, ptr %2509, align 4, !tbaa !9
  %2511 = and i32 %2510, -1
  %2512 = lshr i32 %2511, 2
  %2513 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2514 = load i32, ptr %2513, align 4, !tbaa !9
  %2515 = shl i32 %2514, 30
  %2516 = or i32 %2512, %2515
  %2517 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2518 = load i32, ptr %2517, align 4, !tbaa !9
  %2519 = and i32 %2518, -1
  %2520 = lshr i32 %2519, 13
  %2521 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2522 = load i32, ptr %2521, align 4, !tbaa !9
  %2523 = shl i32 %2522, 19
  %2524 = or i32 %2520, %2523
  %2525 = xor i32 %2516, %2524
  %2526 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2527 = load i32, ptr %2526, align 4, !tbaa !9
  %2528 = and i32 %2527, -1
  %2529 = lshr i32 %2528, 22
  %2530 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2531 = load i32, ptr %2530, align 4, !tbaa !9
  %2532 = shl i32 %2531, 10
  %2533 = or i32 %2529, %2532
  %2534 = xor i32 %2525, %2533
  %2535 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2536 = load i32, ptr %2535, align 4, !tbaa !9
  %2537 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2538 = load i32, ptr %2537, align 8, !tbaa !9
  %2539 = and i32 %2536, %2538
  %2540 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2541 = load i32, ptr %2540, align 4, !tbaa !9
  %2542 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2543 = load i32, ptr %2542, align 4, !tbaa !9
  %2544 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2545 = load i32, ptr %2544, align 8, !tbaa !9
  %2546 = or i32 %2543, %2545
  %2547 = and i32 %2541, %2546
  %2548 = or i32 %2539, %2547
  %2549 = add i32 %2534, %2548
  store i32 %2549, ptr %6, align 4, !tbaa !9
  %2550 = load i32, ptr %5, align 4, !tbaa !9
  %2551 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %2552 = load i32, ptr %2551, align 16, !tbaa !9
  %2553 = add i32 %2552, %2550
  store i32 %2553, ptr %2551, align 16, !tbaa !9
  %2554 = load i32, ptr %5, align 4, !tbaa !9
  %2555 = load i32, ptr %6, align 4, !tbaa !9
  %2556 = add i32 %2554, %2555
  %2557 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  store i32 %2556, ptr %2557, align 16, !tbaa !9
  br label %2558

2558:                                             ; preds = %2357
  br label %2559

2559:                                             ; preds = %2558
  br label %2560

2560:                                             ; preds = %2559
  %2561 = load i32, ptr %9, align 4, !tbaa !9
  %2562 = add i32 %2561, 8
  store i32 %2562, ptr %9, align 4, !tbaa !9
  br label %932, !llvm.loop !16

2563:                                             ; preds = %932
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %2564

2564:                                             ; preds = %2579, %2563
  %2565 = load i32, ptr %9, align 4, !tbaa !9
  %2566 = icmp ult i32 %2565, 8
  br i1 %2566, label %2567, label %2582

2567:                                             ; preds = %2564
  %2568 = load i32, ptr %9, align 4, !tbaa !9
  %2569 = zext i32 %2568 to i64
  %2570 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 %2569
  %2571 = load i32, ptr %2570, align 4, !tbaa !9
  %2572 = load ptr, ptr %3, align 8, !tbaa !5
  %2573 = getelementptr inbounds %struct.mbedtls_sha256_context, ptr %2572, i32 0, i32 1
  %2574 = load i32, ptr %9, align 4, !tbaa !9
  %2575 = zext i32 %2574 to i64
  %2576 = getelementptr inbounds [8 x i32], ptr %2573, i64 0, i64 %2575
  %2577 = load i32, ptr %2576, align 4, !tbaa !9
  %2578 = add i32 %2577, %2571
  store i32 %2578, ptr %2576, align 4, !tbaa !9
  br label %2579

2579:                                             ; preds = %2567
  %2580 = load i32, ptr %9, align 4, !tbaa !9
  %2581 = add i32 %2580, 1
  store i32 %2581, ptr %9, align 4, !tbaa !9
  br label %2564, !llvm.loop !17

2582:                                             ; preds = %2564
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #2
  call void @llvm.lifetime.end.p0(i64 32, ptr %8) #2
  call void @llvm.lifetime.end.p0(i64 256, ptr %7) #2
  call void @llvm.lifetime.end.p0(i64 4, 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 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{!7, !7, i64 0}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !12}
!16 = distinct !{!16, !12}
!17 = distinct !{!17, !12}


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

@K = external hidden local_unnamed_addr constant [64 x i32], align 16

; Function Attrs: nofree norecurse nosync nounwind memory(argmem: readwrite) uwtable
define dso_local noundef i32 @mbedtls_internal_sha256_process(ptr nocapture noundef %0, ptr nocapture noundef readonly %1) local_unnamed_addr #0 {
.preheader202.preheader:
  %2 = alloca [64 x i32], align 16
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %2) #3
  %3 = getelementptr inbounds i8, ptr %0, i64 8
  %.sroa.0.0.copyload = load i32, ptr %3, align 4, !tbaa !5
  %.sroa.8.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 12
  %.sroa.8.0.copyload = load i32, ptr %.sroa.8.0..sroa_idx, align 4, !tbaa !5
  %.sroa.13.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 16
  %.sroa.13.0.copyload = load i32, ptr %.sroa.13.0..sroa_idx, align 4, !tbaa !5
  %.sroa.18.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 20
  %.sroa.18.0.copyload = load i32, ptr %.sroa.18.0..sroa_idx, align 4, !tbaa !5
  %.sroa.23.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 24
  %.sroa.23.0.copyload = load i32, ptr %.sroa.23.0..sroa_idx, align 4, !tbaa !5
  %.sroa.28.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 28
  %.sroa.28.0.copyload = load i32, ptr %.sroa.28.0..sroa_idx, align 4, !tbaa !5
  %.sroa.33.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 32
  %.sroa.33.0.copyload = load i32, ptr %.sroa.33.0..sroa_idx, align 4, !tbaa !5
  %.sroa.38.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 36
  %.sroa.38.0.copyload = load i32, ptr %.sroa.38.0..sroa_idx, align 4, !tbaa !5
  %4 = load i8, ptr %1, align 1, !tbaa !9
  %5 = zext i8 %4 to i32
  %6 = shl nuw i32 %5, 24
  %7 = getelementptr inbounds i8, ptr %1, i64 1
  %8 = load i8, ptr %7, align 1, !tbaa !9
  %9 = zext i8 %8 to i32
  %10 = shl nuw nsw i32 %9, 16
  %11 = or disjoint i32 %10, %6
  %12 = getelementptr inbounds i8, ptr %1, i64 2
  %13 = load i8, ptr %12, align 1, !tbaa !9
  %14 = zext i8 %13 to i32
  %15 = shl nuw nsw i32 %14, 8
  %16 = or disjoint i32 %11, %15
  %17 = getelementptr inbounds i8, ptr %1, i64 3
  %18 = load i8, ptr %17, align 1, !tbaa !9
  %19 = zext i8 %18 to i32
  %20 = or disjoint i32 %16, %19
  store i32 %20, ptr %2, align 16, !tbaa !5
  %21 = getelementptr inbounds i8, ptr %1, i64 4
  %22 = load i8, ptr %21, align 1, !tbaa !9
  %23 = zext i8 %22 to i32
  %24 = shl nuw i32 %23, 24
  %25 = getelementptr inbounds i8, ptr %1, i64 5
  %26 = load i8, ptr %25, align 1, !tbaa !9
  %27 = zext i8 %26 to i32
  %28 = shl nuw nsw i32 %27, 16
  %29 = or disjoint i32 %28, %24
  %30 = getelementptr inbounds i8, ptr %1, i64 6
  %31 = load i8, ptr %30, align 1, !tbaa !9
  %32 = zext i8 %31 to i32
  %33 = shl nuw nsw i32 %32, 8
  %34 = or disjoint i32 %29, %33
  %35 = getelementptr inbounds i8, ptr %1, i64 7
  %36 = load i8, ptr %35, align 1, !tbaa !9
  %37 = zext i8 %36 to i32
  %38 = or disjoint i32 %34, %37
  %39 = getelementptr inbounds i8, ptr %2, i64 4
  store i32 %38, ptr %39, align 4, !tbaa !5
  %40 = getelementptr inbounds i8, ptr %1, i64 8
  %41 = load i8, ptr %40, align 1, !tbaa !9
  %42 = zext i8 %41 to i32
  %43 = shl nuw i32 %42, 24
  %44 = getelementptr inbounds i8, ptr %1, i64 9
  %45 = load i8, ptr %44, align 1, !tbaa !9
  %46 = zext i8 %45 to i32
  %47 = shl nuw nsw i32 %46, 16
  %48 = or disjoint i32 %47, %43
  %49 = getelementptr inbounds i8, ptr %1, i64 10
  %50 = load i8, ptr %49, align 1, !tbaa !9
  %51 = zext i8 %50 to i32
  %52 = shl nuw nsw i32 %51, 8
  %53 = or disjoint i32 %48, %52
  %54 = getelementptr inbounds i8, ptr %1, i64 11
  %55 = load i8, ptr %54, align 1, !tbaa !9
  %56 = zext i8 %55 to i32
  %57 = or disjoint i32 %53, %56
  %58 = getelementptr inbounds i8, ptr %2, i64 8
  store i32 %57, ptr %58, align 8, !tbaa !5
  %59 = getelementptr inbounds i8, ptr %1, i64 12
  %60 = load i8, ptr %59, align 1, !tbaa !9
  %61 = zext i8 %60 to i32
  %62 = shl nuw i32 %61, 24
  %63 = getelementptr inbounds i8, ptr %1, i64 13
  %64 = load i8, ptr %63, align 1, !tbaa !9
  %65 = zext i8 %64 to i32
  %66 = shl nuw nsw i32 %65, 16
  %67 = or disjoint i32 %66, %62
  %68 = getelementptr inbounds i8, ptr %1, i64 14
  %69 = load i8, ptr %68, align 1, !tbaa !9
  %70 = zext i8 %69 to i32
  %71 = shl nuw nsw i32 %70, 8
  %72 = or disjoint i32 %67, %71
  %73 = getelementptr inbounds i8, ptr %1, i64 15
  %74 = load i8, ptr %73, align 1, !tbaa !9
  %75 = zext i8 %74 to i32
  %76 = or disjoint i32 %72, %75
  %77 = getelementptr inbounds i8, ptr %2, i64 12
  store i32 %76, ptr %77, align 4, !tbaa !5
  %78 = getelementptr inbounds i8, ptr %1, i64 16
  %79 = load i8, ptr %78, align 1, !tbaa !9
  %80 = zext i8 %79 to i32
  %81 = shl nuw i32 %80, 24
  %82 = getelementptr inbounds i8, ptr %1, i64 17
  %83 = load i8, ptr %82, align 1, !tbaa !9
  %84 = zext i8 %83 to i32
  %85 = shl nuw nsw i32 %84, 16
  %86 = or disjoint i32 %85, %81
  %87 = getelementptr inbounds i8, ptr %1, i64 18
  %88 = load i8, ptr %87, align 1, !tbaa !9
  %89 = zext i8 %88 to i32
  %90 = shl nuw nsw i32 %89, 8
  %91 = or disjoint i32 %86, %90
  %92 = getelementptr inbounds i8, ptr %1, i64 19
  %93 = load i8, ptr %92, align 1, !tbaa !9
  %94 = zext i8 %93 to i32
  %95 = or disjoint i32 %91, %94
  %96 = getelementptr inbounds i8, ptr %2, i64 16
  store i32 %95, ptr %96, align 16, !tbaa !5
  %97 = getelementptr inbounds i8, ptr %1, i64 20
  %98 = load i8, ptr %97, align 1, !tbaa !9
  %99 = zext i8 %98 to i32
  %100 = shl nuw i32 %99, 24
  %101 = getelementptr inbounds i8, ptr %1, i64 21
  %102 = load i8, ptr %101, align 1, !tbaa !9
  %103 = zext i8 %102 to i32
  %104 = shl nuw nsw i32 %103, 16
  %105 = or disjoint i32 %104, %100
  %106 = getelementptr inbounds i8, ptr %1, i64 22
  %107 = load i8, ptr %106, align 1, !tbaa !9
  %108 = zext i8 %107 to i32
  %109 = shl nuw nsw i32 %108, 8
  %110 = or disjoint i32 %105, %109
  %111 = getelementptr inbounds i8, ptr %1, i64 23
  %112 = load i8, ptr %111, align 1, !tbaa !9
  %113 = zext i8 %112 to i32
  %114 = or disjoint i32 %110, %113
  %115 = getelementptr inbounds i8, ptr %2, i64 20
  store i32 %114, ptr %115, align 4, !tbaa !5
  %116 = getelementptr inbounds i8, ptr %1, i64 24
  %117 = load i8, ptr %116, align 1, !tbaa !9
  %118 = zext i8 %117 to i32
  %119 = shl nuw i32 %118, 24
  %120 = getelementptr inbounds i8, ptr %1, i64 25
  %121 = load i8, ptr %120, align 1, !tbaa !9
  %122 = zext i8 %121 to i32
  %123 = shl nuw nsw i32 %122, 16
  %124 = or disjoint i32 %123, %119
  %125 = getelementptr inbounds i8, ptr %1, i64 26
  %126 = load i8, ptr %125, align 1, !tbaa !9
  %127 = zext i8 %126 to i32
  %128 = shl nuw nsw i32 %127, 8
  %129 = or disjoint i32 %124, %128
  %130 = getelementptr inbounds i8, ptr %1, i64 27
  %131 = load i8, ptr %130, align 1, !tbaa !9
  %132 = zext i8 %131 to i32
  %133 = or disjoint i32 %129, %132
  %134 = getelementptr inbounds i8, ptr %2, i64 24
  store i32 %133, ptr %134, align 8, !tbaa !5
  %135 = getelementptr inbounds i8, ptr %1, i64 28
  %136 = load i8, ptr %135, align 1, !tbaa !9
  %137 = zext i8 %136 to i32
  %138 = shl nuw i32 %137, 24
  %139 = getelementptr inbounds i8, ptr %1, i64 29
  %140 = load i8, ptr %139, align 1, !tbaa !9
  %141 = zext i8 %140 to i32
  %142 = shl nuw nsw i32 %141, 16
  %143 = or disjoint i32 %142, %138
  %144 = getelementptr inbounds i8, ptr %1, i64 30
  %145 = load i8, ptr %144, align 1, !tbaa !9
  %146 = zext i8 %145 to i32
  %147 = shl nuw nsw i32 %146, 8
  %148 = or disjoint i32 %143, %147
  %149 = getelementptr inbounds i8, ptr %1, i64 31
  %150 = load i8, ptr %149, align 1, !tbaa !9
  %151 = zext i8 %150 to i32
  %152 = or disjoint i32 %148, %151
  %153 = getelementptr inbounds i8, ptr %2, i64 28
  store i32 %152, ptr %153, align 4, !tbaa !5
  %154 = getelementptr inbounds i8, ptr %1, i64 32
  %155 = load i8, ptr %154, align 1, !tbaa !9
  %156 = zext i8 %155 to i32
  %157 = shl nuw i32 %156, 24
  %158 = getelementptr inbounds i8, ptr %1, i64 33
  %159 = load i8, ptr %158, align 1, !tbaa !9
  %160 = zext i8 %159 to i32
  %161 = shl nuw nsw i32 %160, 16
  %162 = or disjoint i32 %161, %157
  %163 = getelementptr inbounds i8, ptr %1, i64 34
  %164 = load i8, ptr %163, align 1, !tbaa !9
  %165 = zext i8 %164 to i32
  %166 = shl nuw nsw i32 %165, 8
  %167 = or disjoint i32 %162, %166
  %168 = getelementptr inbounds i8, ptr %1, i64 35
  %169 = load i8, ptr %168, align 1, !tbaa !9
  %170 = zext i8 %169 to i32
  %171 = or disjoint i32 %167, %170
  %172 = getelementptr inbounds i8, ptr %2, i64 32
  store i32 %171, ptr %172, align 16, !tbaa !5
  %173 = getelementptr inbounds i8, ptr %1, i64 36
  %174 = load i8, ptr %173, align 1, !tbaa !9
  %175 = zext i8 %174 to i32
  %176 = shl nuw i32 %175, 24
  %177 = getelementptr inbounds i8, ptr %1, i64 37
  %178 = load i8, ptr %177, align 1, !tbaa !9
  %179 = zext i8 %178 to i32
  %180 = shl nuw nsw i32 %179, 16
  %181 = or disjoint i32 %180, %176
  %182 = getelementptr inbounds i8, ptr %1, i64 38
  %183 = load i8, ptr %182, align 1, !tbaa !9
  %184 = zext i8 %183 to i32
  %185 = shl nuw nsw i32 %184, 8
  %186 = or disjoint i32 %181, %185
  %187 = getelementptr inbounds i8, ptr %1, i64 39
  %188 = load i8, ptr %187, align 1, !tbaa !9
  %189 = zext i8 %188 to i32
  %190 = or disjoint i32 %186, %189
  %191 = getelementptr inbounds i8, ptr %2, i64 36
  store i32 %190, ptr %191, align 4, !tbaa !5
  %192 = getelementptr inbounds i8, ptr %1, i64 40
  %193 = load i8, ptr %192, align 1, !tbaa !9
  %194 = zext i8 %193 to i32
  %195 = shl nuw i32 %194, 24
  %196 = getelementptr inbounds i8, ptr %1, i64 41
  %197 = load i8, ptr %196, align 1, !tbaa !9
  %198 = zext i8 %197 to i32
  %199 = shl nuw nsw i32 %198, 16
  %200 = or disjoint i32 %199, %195
  %201 = getelementptr inbounds i8, ptr %1, i64 42
  %202 = load i8, ptr %201, align 1, !tbaa !9
  %203 = zext i8 %202 to i32
  %204 = shl nuw nsw i32 %203, 8
  %205 = or disjoint i32 %200, %204
  %206 = getelementptr inbounds i8, ptr %1, i64 43
  %207 = load i8, ptr %206, align 1, !tbaa !9
  %208 = zext i8 %207 to i32
  %209 = or disjoint i32 %205, %208
  %210 = getelementptr inbounds i8, ptr %2, i64 40
  store i32 %209, ptr %210, align 8, !tbaa !5
  %211 = getelementptr inbounds i8, ptr %1, i64 44
  %212 = load i8, ptr %211, align 1, !tbaa !9
  %213 = zext i8 %212 to i32
  %214 = shl nuw i32 %213, 24
  %215 = getelementptr inbounds i8, ptr %1, i64 45
  %216 = load i8, ptr %215, align 1, !tbaa !9
  %217 = zext i8 %216 to i32
  %218 = shl nuw nsw i32 %217, 16
  %219 = or disjoint i32 %218, %214
  %220 = getelementptr inbounds i8, ptr %1, i64 46
  %221 = load i8, ptr %220, align 1, !tbaa !9
  %222 = zext i8 %221 to i32
  %223 = shl nuw nsw i32 %222, 8
  %224 = or disjoint i32 %219, %223
  %225 = getelementptr inbounds i8, ptr %1, i64 47
  %226 = load i8, ptr %225, align 1, !tbaa !9
  %227 = zext i8 %226 to i32
  %228 = or disjoint i32 %224, %227
  %229 = getelementptr inbounds i8, ptr %2, i64 44
  store i32 %228, ptr %229, align 4, !tbaa !5
  %230 = getelementptr inbounds i8, ptr %1, i64 48
  %231 = load i8, ptr %230, align 1, !tbaa !9
  %232 = zext i8 %231 to i32
  %233 = shl nuw i32 %232, 24
  %234 = getelementptr inbounds i8, ptr %1, i64 49
  %235 = load i8, ptr %234, align 1, !tbaa !9
  %236 = zext i8 %235 to i32
  %237 = shl nuw nsw i32 %236, 16
  %238 = or disjoint i32 %237, %233
  %239 = getelementptr inbounds i8, ptr %1, i64 50
  %240 = load i8, ptr %239, align 1, !tbaa !9
  %241 = zext i8 %240 to i32
  %242 = shl nuw nsw i32 %241, 8
  %243 = or disjoint i32 %238, %242
  %244 = getelementptr inbounds i8, ptr %1, i64 51
  %245 = load i8, ptr %244, align 1, !tbaa !9
  %246 = zext i8 %245 to i32
  %247 = or disjoint i32 %243, %246
  %248 = getelementptr inbounds i8, ptr %2, i64 48
  store i32 %247, ptr %248, align 16, !tbaa !5
  %249 = getelementptr inbounds i8, ptr %1, i64 52
  %250 = load i8, ptr %249, align 1, !tbaa !9
  %251 = zext i8 %250 to i32
  %252 = shl nuw i32 %251, 24
  %253 = getelementptr inbounds i8, ptr %1, i64 53
  %254 = load i8, ptr %253, align 1, !tbaa !9
  %255 = zext i8 %254 to i32
  %256 = shl nuw nsw i32 %255, 16
  %257 = or disjoint i32 %256, %252
  %258 = getelementptr inbounds i8, ptr %1, i64 54
  %259 = load i8, ptr %258, align 1, !tbaa !9
  %260 = zext i8 %259 to i32
  %261 = shl nuw nsw i32 %260, 8
  %262 = or disjoint i32 %257, %261
  %263 = getelementptr inbounds i8, ptr %1, i64 55
  %264 = load i8, ptr %263, align 1, !tbaa !9
  %265 = zext i8 %264 to i32
  %266 = or disjoint i32 %262, %265
  %267 = getelementptr inbounds i8, ptr %2, i64 52
  store i32 %266, ptr %267, align 4, !tbaa !5
  %268 = getelementptr inbounds i8, ptr %1, i64 56
  %269 = load i8, ptr %268, align 1, !tbaa !9
  %270 = zext i8 %269 to i32
  %271 = shl nuw i32 %270, 24
  %272 = getelementptr inbounds i8, ptr %1, i64 57
  %273 = load i8, ptr %272, align 1, !tbaa !9
  %274 = zext i8 %273 to i32
  %275 = shl nuw nsw i32 %274, 16
  %276 = or disjoint i32 %275, %271
  %277 = getelementptr inbounds i8, ptr %1, i64 58
  %278 = load i8, ptr %277, align 1, !tbaa !9
  %279 = zext i8 %278 to i32
  %280 = shl nuw nsw i32 %279, 8
  %281 = or disjoint i32 %276, %280
  %282 = getelementptr inbounds i8, ptr %1, i64 59
  %283 = load i8, ptr %282, align 1, !tbaa !9
  %284 = zext i8 %283 to i32
  %285 = or disjoint i32 %281, %284
  %286 = getelementptr inbounds i8, ptr %2, i64 56
  store i32 %285, ptr %286, align 8, !tbaa !5
  %287 = getelementptr inbounds i8, ptr %1, i64 60
  %288 = load i8, ptr %287, align 1, !tbaa !9
  %289 = zext i8 %288 to i32
  %290 = shl nuw i32 %289, 24
  %291 = getelementptr inbounds i8, ptr %1, i64 61
  %292 = load i8, ptr %291, align 1, !tbaa !9
  %293 = zext i8 %292 to i32
  %294 = shl nuw nsw i32 %293, 16
  %295 = or disjoint i32 %294, %290
  %296 = getelementptr inbounds i8, ptr %1, i64 62
  %297 = load i8, ptr %296, align 1, !tbaa !9
  %298 = zext i8 %297 to i32
  %299 = shl nuw nsw i32 %298, 8
  %300 = or disjoint i32 %295, %299
  %301 = getelementptr inbounds i8, ptr %1, i64 63
  %302 = load i8, ptr %301, align 1, !tbaa !9
  %303 = zext i8 %302 to i32
  %304 = or disjoint i32 %300, %303
  %305 = getelementptr inbounds i8, ptr %2, i64 60
  store i32 %304, ptr %305, align 4, !tbaa !5
  %indvars.iv.sroa.gep309 = getelementptr inbounds i8, ptr %2, i64 32
  br label %306

.preheader200:                                    ; preds = %306
  %.pre = load i32, ptr %2, align 16, !tbaa !5
  br label %558

306:                                              ; preds = %.preheader202.preheader, %306
  %307 = phi i1 [ true, %.preheader202.preheader ], [ false, %306 ]
  %indvars.iv.sroa.phi = phi ptr [ %2, %.preheader202.preheader ], [ %indvars.iv.sroa.gep309, %306 ]
  %indvars.iv = phi i64 [ 0, %.preheader202.preheader ], [ 8, %306 ]
  %308 = phi i32 [ %.sroa.38.0.copyload, %.preheader202.preheader ], [ %457, %306 ]
  %309 = phi i32 [ %.sroa.23.0.copyload, %.preheader202.preheader ], [ %544, %306 ]
  %310 = phi i32 [ %.sroa.33.0.copyload, %.preheader202.preheader ], [ %486, %306 ]
  %311 = phi i32 [ %.sroa.28.0.copyload, %.preheader202.preheader ], [ %515, %306 ]
  %312 = phi i32 [ %.sroa.0.0.copyload, %.preheader202.preheader ], [ %545, %306 ]
  %313 = phi i32 [ %.sroa.8.0.copyload, %.preheader202.preheader ], [ %516, %306 ]
  %314 = phi i32 [ %.sroa.13.0.copyload, %.preheader202.preheader ], [ %487, %306 ]
  %315 = phi i32 [ %.sroa.18.0.copyload, %.preheader202.preheader ], [ %458, %306 ]
  %316 = tail call i32 @llvm.fshl.i32(i32 %309, i32 %309, i32 26)
  %317 = tail call i32 @llvm.fshl.i32(i32 %309, i32 %309, i32 21)
  %318 = xor i32 %316, %317
  %319 = tail call i32 @llvm.fshl.i32(i32 %309, i32 %309, i32 7)
  %320 = xor i32 %318, %319
  %321 = add i32 %320, %308
  %322 = xor i32 %311, %310
  %323 = and i32 %322, %309
  %324 = xor i32 %323, %310
  %325 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %indvars.iv
  %326 = load i32, ptr %325, align 16, !tbaa !5
  %327 = load i32, ptr %indvars.iv.sroa.phi, align 16, !tbaa !5
  %328 = add i32 %321, %326
  %329 = add i32 %328, %327
  %330 = add i32 %329, %324
  %331 = tail call i32 @llvm.fshl.i32(i32 %312, i32 %312, i32 30)
  %332 = tail call i32 @llvm.fshl.i32(i32 %312, i32 %312, i32 19)
  %333 = xor i32 %331, %332
  %334 = tail call i32 @llvm.fshl.i32(i32 %312, i32 %312, i32 10)
  %335 = xor i32 %333, %334
  %336 = and i32 %313, %312
  %337 = or i32 %313, %312
  %338 = and i32 %314, %337
  %339 = or i32 %338, %336
  %340 = add i32 %315, %330
  %341 = add i32 %330, %335
  %342 = add i32 %341, %339
  %343 = tail call i32 @llvm.fshl.i32(i32 %340, i32 %340, i32 26)
  %344 = tail call i32 @llvm.fshl.i32(i32 %340, i32 %340, i32 21)
  %345 = xor i32 %343, %344
  %346 = tail call i32 @llvm.fshl.i32(i32 %340, i32 %340, i32 7)
  %347 = xor i32 %345, %346
  %348 = xor i32 %311, %309
  %349 = and i32 %340, %348
  %350 = xor i32 %349, %311
  %351 = or disjoint i64 %indvars.iv, 1
  %352 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %351
  %353 = load i32, ptr %352, align 4, !tbaa !5
  %354 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %351
  %355 = load i32, ptr %354, align 4, !tbaa !5
  %356 = add i32 %350, %310
  %357 = add i32 %356, %353
  %358 = add i32 %357, %347
  %359 = add i32 %358, %355
  %360 = tail call i32 @llvm.fshl.i32(i32 %342, i32 %342, i32 30)
  %361 = tail call i32 @llvm.fshl.i32(i32 %342, i32 %342, i32 19)
  %362 = xor i32 %360, %361
  %363 = tail call i32 @llvm.fshl.i32(i32 %342, i32 %342, i32 10)
  %364 = xor i32 %362, %363
  %365 = and i32 %342, %312
  %366 = or i32 %342, %312
  %367 = and i32 %366, %313
  %368 = or i32 %367, %365
  %369 = add i32 %364, %368
  %370 = add i32 %359, %314
  %371 = add i32 %369, %359
  %372 = tail call i32 @llvm.fshl.i32(i32 %370, i32 %370, i32 26)
  %373 = tail call i32 @llvm.fshl.i32(i32 %370, i32 %370, i32 21)
  %374 = xor i32 %372, %373
  %375 = tail call i32 @llvm.fshl.i32(i32 %370, i32 %370, i32 7)
  %376 = xor i32 %374, %375
  %377 = xor i32 %340, %309
  %378 = and i32 %370, %377
  %379 = xor i32 %378, %309
  %380 = or disjoint i64 %indvars.iv, 2
  %381 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %380
  %382 = load i32, ptr %381, align 8, !tbaa !5
  %383 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %380
  %384 = load i32, ptr %383, align 8, !tbaa !5
  %385 = add i32 %382, %311
  %386 = add i32 %385, %384
  %387 = add i32 %386, %379
  %388 = add i32 %387, %376
  %389 = tail call i32 @llvm.fshl.i32(i32 %371, i32 %371, i32 30)
  %390 = tail call i32 @llvm.fshl.i32(i32 %371, i32 %371, i32 19)
  %391 = xor i32 %389, %390
  %392 = tail call i32 @llvm.fshl.i32(i32 %371, i32 %371, i32 10)
  %393 = xor i32 %391, %392
  %394 = and i32 %371, %342
  %395 = or i32 %371, %342
  %396 = and i32 %395, %312
  %397 = or i32 %396, %394
  %398 = add i32 %393, %397
  %399 = add i32 %388, %313
  %400 = add i32 %398, %388
  %401 = tail call i32 @llvm.fshl.i32(i32 %399, i32 %399, i32 26)
  %402 = tail call i32 @llvm.fshl.i32(i32 %399, i32 %399, i32 21)
  %403 = xor i32 %401, %402
  %404 = tail call i32 @llvm.fshl.i32(i32 %399, i32 %399, i32 7)
  %405 = xor i32 %403, %404
  %406 = xor i32 %370, %340
  %407 = and i32 %399, %406
  %408 = xor i32 %407, %340
  %409 = or disjoint i64 %indvars.iv, 3
  %410 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %409
  %411 = load i32, ptr %410, align 4, !tbaa !5
  %412 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %409
  %413 = load i32, ptr %412, align 4, !tbaa !5
  %414 = add i32 %411, %309
  %415 = add i32 %414, %413
  %416 = add i32 %415, %408
  %417 = add i32 %416, %405
  %418 = tail call i32 @llvm.fshl.i32(i32 %400, i32 %400, i32 30)
  %419 = tail call i32 @llvm.fshl.i32(i32 %400, i32 %400, i32 19)
  %420 = xor i32 %418, %419
  %421 = tail call i32 @llvm.fshl.i32(i32 %400, i32 %400, i32 10)
  %422 = xor i32 %420, %421
  %423 = and i32 %400, %371
  %424 = or i32 %400, %371
  %425 = and i32 %424, %342
  %426 = or i32 %425, %423
  %427 = add i32 %422, %426
  %428 = add i32 %417, %312
  %429 = add i32 %427, %417
  %430 = tail call i32 @llvm.fshl.i32(i32 %428, i32 %428, i32 26)
  %431 = tail call i32 @llvm.fshl.i32(i32 %428, i32 %428, i32 21)
  %432 = xor i32 %430, %431
  %433 = tail call i32 @llvm.fshl.i32(i32 %428, i32 %428, i32 7)
  %434 = xor i32 %432, %433
  %435 = xor i32 %399, %370
  %436 = and i32 %428, %435
  %437 = xor i32 %436, %370
  %438 = or disjoint i64 %indvars.iv, 4
  %439 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %438
  %440 = load i32, ptr %439, align 16, !tbaa !5
  %441 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %438
  %442 = load i32, ptr %441, align 16, !tbaa !5
  %443 = add i32 %440, %340
  %444 = add i32 %443, %442
  %445 = add i32 %444, %437
  %446 = add i32 %445, %434
  %447 = tail call i32 @llvm.fshl.i32(i32 %429, i32 %429, i32 30)
  %448 = tail call i32 @llvm.fshl.i32(i32 %429, i32 %429, i32 19)
  %449 = xor i32 %447, %448
  %450 = tail call i32 @llvm.fshl.i32(i32 %429, i32 %429, i32 10)
  %451 = xor i32 %449, %450
  %452 = and i32 %429, %400
  %453 = or i32 %429, %400
  %454 = and i32 %453, %371
  %455 = or i32 %454, %452
  %456 = add i32 %451, %455
  %457 = add i32 %446, %342
  %458 = add i32 %456, %446
  %459 = tail call i32 @llvm.fshl.i32(i32 %457, i32 %457, i32 26)
  %460 = tail call i32 @llvm.fshl.i32(i32 %457, i32 %457, i32 21)
  %461 = xor i32 %459, %460
  %462 = tail call i32 @llvm.fshl.i32(i32 %457, i32 %457, i32 7)
  %463 = xor i32 %461, %462
  %464 = xor i32 %428, %399
  %465 = and i32 %457, %464
  %466 = xor i32 %465, %399
  %467 = or disjoint i64 %indvars.iv, 5
  %468 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %467
  %469 = load i32, ptr %468, align 4, !tbaa !5
  %470 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %467
  %471 = load i32, ptr %470, align 4, !tbaa !5
  %472 = add i32 %469, %370
  %473 = add i32 %472, %471
  %474 = add i32 %473, %466
  %475 = add i32 %474, %463
  %476 = tail call i32 @llvm.fshl.i32(i32 %458, i32 %458, i32 30)
  %477 = tail call i32 @llvm.fshl.i32(i32 %458, i32 %458, i32 19)
  %478 = xor i32 %476, %477
  %479 = tail call i32 @llvm.fshl.i32(i32 %458, i32 %458, i32 10)
  %480 = xor i32 %478, %479
  %481 = and i32 %458, %429
  %482 = or i32 %458, %429
  %483 = and i32 %482, %400
  %484 = or i32 %483, %481
  %485 = add i32 %480, %484
  %486 = add i32 %475, %371
  %487 = add i32 %485, %475
  %488 = tail call i32 @llvm.fshl.i32(i32 %486, i32 %486, i32 26)
  %489 = tail call i32 @llvm.fshl.i32(i32 %486, i32 %486, i32 21)
  %490 = xor i32 %488, %489
  %491 = tail call i32 @llvm.fshl.i32(i32 %486, i32 %486, i32 7)
  %492 = xor i32 %490, %491
  %493 = xor i32 %457, %428
  %494 = and i32 %486, %493
  %495 = xor i32 %494, %428
  %496 = or disjoint i64 %indvars.iv, 6
  %497 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %496
  %498 = load i32, ptr %497, align 8, !tbaa !5
  %499 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %496
  %500 = load i32, ptr %499, align 8, !tbaa !5
  %501 = add i32 %498, %399
  %502 = add i32 %501, %500
  %503 = add i32 %502, %495
  %504 = add i32 %503, %492
  %505 = tail call i32 @llvm.fshl.i32(i32 %487, i32 %487, i32 30)
  %506 = tail call i32 @llvm.fshl.i32(i32 %487, i32 %487, i32 19)
  %507 = xor i32 %505, %506
  %508 = tail call i32 @llvm.fshl.i32(i32 %487, i32 %487, i32 10)
  %509 = xor i32 %507, %508
  %510 = and i32 %487, %458
  %511 = or i32 %487, %458
  %512 = and i32 %511, %429
  %513 = or i32 %512, %510
  %514 = add i32 %509, %513
  %515 = add i32 %504, %400
  %516 = add i32 %514, %504
  %517 = tail call i32 @llvm.fshl.i32(i32 %515, i32 %515, i32 26)
  %518 = tail call i32 @llvm.fshl.i32(i32 %515, i32 %515, i32 21)
  %519 = xor i32 %517, %518
  %520 = tail call i32 @llvm.fshl.i32(i32 %515, i32 %515, i32 7)
  %521 = xor i32 %519, %520
  %522 = xor i32 %486, %457
  %523 = and i32 %515, %522
  %524 = xor i32 %523, %457
  %525 = or disjoint i64 %indvars.iv, 7
  %526 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %525
  %527 = load i32, ptr %526, align 4, !tbaa !5
  %528 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %525
  %529 = load i32, ptr %528, align 4, !tbaa !5
  %530 = add i32 %527, %428
  %531 = add i32 %530, %529
  %532 = add i32 %531, %524
  %533 = add i32 %532, %521
  %534 = tail call i32 @llvm.fshl.i32(i32 %516, i32 %516, i32 30)
  %535 = tail call i32 @llvm.fshl.i32(i32 %516, i32 %516, i32 19)
  %536 = xor i32 %534, %535
  %537 = tail call i32 @llvm.fshl.i32(i32 %516, i32 %516, i32 10)
  %538 = xor i32 %536, %537
  %539 = and i32 %516, %487
  %540 = or i32 %516, %487
  %541 = and i32 %540, %458
  %542 = or i32 %541, %539
  %543 = add i32 %538, %542
  %544 = add i32 %533, %429
  %545 = add i32 %543, %533
  br i1 %307, label %306, label %.preheader200, !llvm.loop !10

.preheader:                                       ; preds = %558
  %546 = load <4 x i32>, ptr %3, align 4, !tbaa !5
  %547 = insertelement <4 x i32> poison, i32 %941, i64 0
  %548 = insertelement <4 x i32> %547, i32 %930, i64 1
  %549 = insertelement <4 x i32> %548, i32 %919, i64 2
  %550 = insertelement <4 x i32> %549, i32 %908, i64 3
  %551 = add <4 x i32> %546, %550
  store <4 x i32> %551, ptr %3, align 4, !tbaa !5
  %552 = load <4 x i32>, ptr %.sroa.23.0..sroa_idx, align 4, !tbaa !5
  %553 = insertelement <4 x i32> poison, i32 %907, i64 0
  %554 = insertelement <4 x i32> %553, i32 %896, i64 1
  %555 = insertelement <4 x i32> %554, i32 %885, i64 2
  %556 = insertelement <4 x i32> %555, i32 %875, i64 3
  %557 = add <4 x i32> %552, %556
  store <4 x i32> %557, ptr %.sroa.23.0..sroa_idx, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %2) #3
  ret i32 0

558:                                              ; preds = %.preheader200, %558
  %559 = phi i32 [ %.pre, %.preheader200 ], [ %863, %558 ]
  %indvars.iv256 = phi i64 [ 16, %.preheader200 ], [ %indvars.iv.next257, %558 ]
  %560 = phi i32 [ %457, %.preheader200 ], [ %875, %558 ]
  %561 = phi i32 [ %544, %.preheader200 ], [ %907, %558 ]
  %562 = phi i32 [ %486, %.preheader200 ], [ %885, %558 ]
  %563 = phi i32 [ %515, %.preheader200 ], [ %896, %558 ]
  %564 = phi i32 [ %545, %.preheader200 ], [ %941, %558 ]
  %565 = phi i32 [ %516, %.preheader200 ], [ %930, %558 ]
  %566 = phi i32 [ %487, %.preheader200 ], [ %919, %558 ]
  %567 = phi i32 [ %458, %.preheader200 ], [ %908, %558 ]
  %568 = tail call i32 @llvm.fshl.i32(i32 %561, i32 %561, i32 26)
  %569 = tail call i32 @llvm.fshl.i32(i32 %561, i32 %561, i32 21)
  %570 = xor i32 %568, %569
  %571 = tail call i32 @llvm.fshl.i32(i32 %561, i32 %561, i32 7)
  %572 = xor i32 %570, %571
  %573 = add i32 %572, %560
  %574 = xor i32 %563, %562
  %575 = and i32 %574, %561
  %576 = xor i32 %575, %562
  %577 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %indvars.iv256
  %578 = load i32, ptr %577, align 16, !tbaa !5
  %579 = add nsw i64 %indvars.iv256, -2
  %580 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %579
  %581 = load i32, ptr %580, align 8, !tbaa !5
  %582 = tail call i32 @llvm.fshl.i32(i32 %581, i32 %581, i32 15)
  %583 = tail call i32 @llvm.fshl.i32(i32 %581, i32 %581, i32 13)
  %584 = xor i32 %582, %583
  %585 = lshr i32 %581, 10
  %586 = xor i32 %584, %585
  %587 = add nsw i64 %indvars.iv256, -7
  %588 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %587
  %589 = load i32, ptr %588, align 4, !tbaa !5
  %590 = add i32 %586, %589
  %591 = add nsw i64 %indvars.iv256, -15
  %592 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %591
  %593 = load i32, ptr %592, align 4, !tbaa !5
  %594 = tail call i32 @llvm.fshl.i32(i32 %593, i32 %593, i32 25)
  %595 = tail call i32 @llvm.fshl.i32(i32 %593, i32 %593, i32 14)
  %596 = xor i32 %594, %595
  %597 = lshr i32 %593, 3
  %598 = xor i32 %596, %597
  %599 = add i32 %590, %559
  %600 = add i32 %599, %598
  %601 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %indvars.iv256
  store i32 %600, ptr %601, align 16, !tbaa !5
  %602 = add i32 %573, %578
  %603 = add i32 %602, %576
  %604 = add i32 %603, %600
  %605 = tail call i32 @llvm.fshl.i32(i32 %564, i32 %564, i32 30)
  %606 = tail call i32 @llvm.fshl.i32(i32 %564, i32 %564, i32 19)
  %607 = xor i32 %605, %606
  %608 = tail call i32 @llvm.fshl.i32(i32 %564, i32 %564, i32 10)
  %609 = xor i32 %607, %608
  %610 = and i32 %565, %564
  %611 = or i32 %565, %564
  %612 = and i32 %566, %611
  %613 = or i32 %612, %610
  %614 = add i32 %567, %604
  %615 = add i32 %604, %609
  %616 = add i32 %615, %613
  %617 = tail call i32 @llvm.fshl.i32(i32 %614, i32 %614, i32 26)
  %618 = tail call i32 @llvm.fshl.i32(i32 %614, i32 %614, i32 21)
  %619 = xor i32 %617, %618
  %620 = tail call i32 @llvm.fshl.i32(i32 %614, i32 %614, i32 7)
  %621 = xor i32 %619, %620
  %622 = xor i32 %563, %561
  %623 = and i32 %614, %622
  %624 = xor i32 %623, %563
  %625 = or disjoint i64 %indvars.iv256, 1
  %626 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %625
  %627 = load i32, ptr %626, align 4, !tbaa !5
  %628 = add nsw i64 %indvars.iv256, -1
  %629 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %628
  %630 = load i32, ptr %629, align 4, !tbaa !5
  %631 = tail call i32 @llvm.fshl.i32(i32 %630, i32 %630, i32 15)
  %632 = tail call i32 @llvm.fshl.i32(i32 %630, i32 %630, i32 13)
  %633 = xor i32 %631, %632
  %634 = lshr i32 %630, 10
  %635 = xor i32 %633, %634
  %636 = add nsw i64 %indvars.iv256, -6
  %637 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %636
  %638 = load i32, ptr %637, align 8, !tbaa !5
  %639 = add nsw i64 %indvars.iv256, -14
  %640 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %639
  %641 = load i32, ptr %640, align 8, !tbaa !5
  %642 = tail call i32 @llvm.fshl.i32(i32 %641, i32 %641, i32 25)
  %643 = tail call i32 @llvm.fshl.i32(i32 %641, i32 %641, i32 14)
  %644 = xor i32 %642, %643
  %645 = lshr i32 %641, 3
  %646 = xor i32 %644, %645
  %647 = add i32 %638, %593
  %648 = add i32 %647, %635
  %649 = add i32 %648, %646
  %650 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %625
  store i32 %649, ptr %650, align 4, !tbaa !5
  %651 = add i32 %624, %562
  %652 = add i32 %651, %627
  %653 = add i32 %652, %621
  %654 = add i32 %653, %649
  %655 = tail call i32 @llvm.fshl.i32(i32 %616, i32 %616, i32 30)
  %656 = tail call i32 @llvm.fshl.i32(i32 %616, i32 %616, i32 19)
  %657 = xor i32 %655, %656
  %658 = tail call i32 @llvm.fshl.i32(i32 %616, i32 %616, i32 10)
  %659 = xor i32 %657, %658
  %660 = and i32 %616, %564
  %661 = or i32 %616, %564
  %662 = and i32 %661, %565
  %663 = or i32 %662, %660
  %664 = add i32 %659, %663
  %665 = add i32 %654, %566
  %666 = add i32 %664, %654
  %667 = tail call i32 @llvm.fshl.i32(i32 %665, i32 %665, i32 26)
  %668 = tail call i32 @llvm.fshl.i32(i32 %665, i32 %665, i32 21)
  %669 = xor i32 %667, %668
  %670 = tail call i32 @llvm.fshl.i32(i32 %665, i32 %665, i32 7)
  %671 = xor i32 %669, %670
  %672 = xor i32 %614, %561
  %673 = and i32 %665, %672
  %674 = xor i32 %673, %561
  %675 = or disjoint i64 %indvars.iv256, 2
  %676 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %675
  %677 = load i32, ptr %676, align 8, !tbaa !5
  %678 = tail call i32 @llvm.fshl.i32(i32 %600, i32 %600, i32 15)
  %679 = tail call i32 @llvm.fshl.i32(i32 %600, i32 %600, i32 13)
  %680 = xor i32 %678, %679
  %681 = lshr i32 %600, 10
  %682 = xor i32 %680, %681
  %683 = add nsw i64 %indvars.iv256, -5
  %684 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %683
  %685 = load i32, ptr %684, align 4, !tbaa !5
  %686 = add nsw i64 %indvars.iv256, -13
  %687 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %686
  %688 = load i32, ptr %687, align 4, !tbaa !5
  %689 = tail call i32 @llvm.fshl.i32(i32 %688, i32 %688, i32 25)
  %690 = tail call i32 @llvm.fshl.i32(i32 %688, i32 %688, i32 14)
  %691 = xor i32 %689, %690
  %692 = lshr i32 %688, 3
  %693 = xor i32 %691, %692
  %694 = add i32 %641, %682
  %695 = add i32 %694, %685
  %696 = add i32 %695, %693
  %697 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %675
  store i32 %696, ptr %697, align 8, !tbaa !5
  %698 = add i32 %677, %563
  %699 = add i32 %698, %674
  %700 = add i32 %699, %671
  %701 = add i32 %700, %696
  %702 = tail call i32 @llvm.fshl.i32(i32 %666, i32 %666, i32 30)
  %703 = tail call i32 @llvm.fshl.i32(i32 %666, i32 %666, i32 19)
  %704 = xor i32 %702, %703
  %705 = tail call i32 @llvm.fshl.i32(i32 %666, i32 %666, i32 10)
  %706 = xor i32 %704, %705
  %707 = and i32 %666, %616
  %708 = or i32 %666, %616
  %709 = and i32 %708, %564
  %710 = or i32 %709, %707
  %711 = add i32 %706, %710
  %712 = add i32 %701, %565
  %713 = add i32 %711, %701
  %714 = tail call i32 @llvm.fshl.i32(i32 %712, i32 %712, i32 26)
  %715 = tail call i32 @llvm.fshl.i32(i32 %712, i32 %712, i32 21)
  %716 = xor i32 %714, %715
  %717 = tail call i32 @llvm.fshl.i32(i32 %712, i32 %712, i32 7)
  %718 = xor i32 %716, %717
  %719 = xor i32 %665, %614
  %720 = and i32 %712, %719
  %721 = xor i32 %720, %614
  %722 = or disjoint i64 %indvars.iv256, 3
  %723 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %722
  %724 = load i32, ptr %723, align 4, !tbaa !5
  %725 = tail call i32 @llvm.fshl.i32(i32 %649, i32 %649, i32 15)
  %726 = tail call i32 @llvm.fshl.i32(i32 %649, i32 %649, i32 13)
  %727 = xor i32 %725, %726
  %728 = lshr i32 %649, 10
  %729 = xor i32 %727, %728
  %730 = add nsw i64 %indvars.iv256, -4
  %731 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %730
  %732 = load i32, ptr %731, align 16, !tbaa !5
  %733 = add nsw i64 %indvars.iv256, -12
  %734 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %733
  %735 = load i32, ptr %734, align 16, !tbaa !5
  %736 = tail call i32 @llvm.fshl.i32(i32 %735, i32 %735, i32 25)
  %737 = tail call i32 @llvm.fshl.i32(i32 %735, i32 %735, i32 14)
  %738 = xor i32 %736, %737
  %739 = lshr i32 %735, 3
  %740 = xor i32 %738, %739
  %741 = add i32 %729, %688
  %742 = add i32 %741, %732
  %743 = add i32 %742, %740
  %744 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %722
  store i32 %743, ptr %744, align 4, !tbaa !5
  %745 = add i32 %724, %561
  %746 = add i32 %745, %721
  %747 = add i32 %746, %743
  %748 = add i32 %747, %718
  %749 = tail call i32 @llvm.fshl.i32(i32 %713, i32 %713, i32 30)
  %750 = tail call i32 @llvm.fshl.i32(i32 %713, i32 %713, i32 19)
  %751 = xor i32 %749, %750
  %752 = tail call i32 @llvm.fshl.i32(i32 %713, i32 %713, i32 10)
  %753 = xor i32 %751, %752
  %754 = and i32 %713, %666
  %755 = or i32 %713, %666
  %756 = and i32 %755, %616
  %757 = or i32 %756, %754
  %758 = add i32 %753, %757
  %759 = add i32 %748, %564
  %760 = add i32 %758, %748
  %761 = tail call i32 @llvm.fshl.i32(i32 %759, i32 %759, i32 26)
  %762 = tail call i32 @llvm.fshl.i32(i32 %759, i32 %759, i32 21)
  %763 = xor i32 %761, %762
  %764 = tail call i32 @llvm.fshl.i32(i32 %759, i32 %759, i32 7)
  %765 = xor i32 %763, %764
  %766 = xor i32 %712, %665
  %767 = and i32 %759, %766
  %768 = xor i32 %767, %665
  %769 = or disjoint i64 %indvars.iv256, 4
  %770 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %769
  %771 = load i32, ptr %770, align 16, !tbaa !5
  %772 = tail call i32 @llvm.fshl.i32(i32 %696, i32 %696, i32 15)
  %773 = tail call i32 @llvm.fshl.i32(i32 %696, i32 %696, i32 13)
  %774 = xor i32 %772, %773
  %775 = lshr i32 %696, 10
  %776 = xor i32 %774, %775
  %777 = add nsw i64 %indvars.iv256, -3
  %778 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %777
  %779 = load i32, ptr %778, align 4, !tbaa !5
  %780 = add nsw i64 %indvars.iv256, -11
  %781 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %780
  %782 = load i32, ptr %781, align 4, !tbaa !5
  %783 = tail call i32 @llvm.fshl.i32(i32 %782, i32 %782, i32 25)
  %784 = tail call i32 @llvm.fshl.i32(i32 %782, i32 %782, i32 14)
  %785 = xor i32 %783, %784
  %786 = lshr i32 %782, 3
  %787 = xor i32 %785, %786
  %788 = add i32 %776, %735
  %789 = add i32 %788, %779
  %790 = add i32 %789, %787
  %791 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %769
  store i32 %790, ptr %791, align 16, !tbaa !5
  %792 = add i32 %771, %614
  %793 = add i32 %792, %790
  %794 = add i32 %793, %768
  %795 = add i32 %794, %765
  %796 = tail call i32 @llvm.fshl.i32(i32 %760, i32 %760, i32 30)
  %797 = tail call i32 @llvm.fshl.i32(i32 %760, i32 %760, i32 19)
  %798 = xor i32 %796, %797
  %799 = tail call i32 @llvm.fshl.i32(i32 %760, i32 %760, i32 10)
  %800 = xor i32 %798, %799
  %801 = and i32 %760, %713
  %802 = or i32 %760, %713
  %803 = and i32 %802, %666
  %804 = or i32 %803, %801
  %805 = add i32 %800, %804
  %806 = xor i32 %759, %712
  %807 = or disjoint i64 %indvars.iv256, 5
  %808 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %807
  %809 = load i32, ptr %808, align 4, !tbaa !5
  %810 = tail call i32 @llvm.fshl.i32(i32 %743, i32 %743, i32 15)
  %811 = tail call i32 @llvm.fshl.i32(i32 %743, i32 %743, i32 13)
  %812 = xor i32 %810, %811
  %813 = lshr i32 %743, 10
  %814 = xor i32 %812, %813
  %815 = load i32, ptr %580, align 8, !tbaa !5
  %816 = add nsw i64 %indvars.iv256, -10
  %817 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %816
  %818 = load i32, ptr %817, align 8, !tbaa !5
  %819 = tail call i32 @llvm.fshl.i32(i32 %818, i32 %818, i32 25)
  %820 = tail call i32 @llvm.fshl.i32(i32 %818, i32 %818, i32 14)
  %821 = xor i32 %819, %820
  %822 = lshr i32 %818, 3
  %823 = xor i32 %821, %822
  %824 = add i32 %814, %782
  %825 = add i32 %824, %815
  %826 = add i32 %825, %823
  %827 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %807
  store i32 %826, ptr %827, align 4, !tbaa !5
  %828 = add i32 %809, %665
  %829 = add i32 %828, %826
  %830 = or disjoint i64 %indvars.iv256, 6
  %831 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %830
  %832 = load i32, ptr %831, align 8, !tbaa !5
  %833 = tail call i32 @llvm.fshl.i32(i32 %790, i32 %790, i32 15)
  %834 = tail call i32 @llvm.fshl.i32(i32 %790, i32 %790, i32 13)
  %835 = xor i32 %833, %834
  %836 = lshr i32 %790, 10
  %837 = xor i32 %835, %836
  %838 = load i32, ptr %629, align 4, !tbaa !5
  %839 = add nsw i64 %indvars.iv256, -9
  %840 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %839
  %841 = load i32, ptr %840, align 4, !tbaa !5
  %842 = tail call i32 @llvm.fshl.i32(i32 %841, i32 %841, i32 25)
  %843 = tail call i32 @llvm.fshl.i32(i32 %841, i32 %841, i32 14)
  %844 = xor i32 %842, %843
  %845 = lshr i32 %841, 3
  %846 = xor i32 %844, %845
  %847 = add i32 %837, %818
  %848 = add i32 %847, %838
  %849 = add i32 %848, %846
  %850 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %830
  store i32 %849, ptr %850, align 8, !tbaa !5
  %851 = add i32 %832, %712
  %852 = add i32 %851, %849
  %853 = or disjoint i64 %indvars.iv256, 7
  %854 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %853
  %855 = load i32, ptr %854, align 4, !tbaa !5
  %856 = tail call i32 @llvm.fshl.i32(i32 %826, i32 %826, i32 15)
  %857 = tail call i32 @llvm.fshl.i32(i32 %826, i32 %826, i32 13)
  %858 = xor i32 %856, %857
  %859 = lshr i32 %826, 10
  %860 = xor i32 %858, %859
  %861 = add nsw i64 %indvars.iv256, -8
  %862 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %861
  %863 = load i32, ptr %862, align 16, !tbaa !5
  %864 = tail call i32 @llvm.fshl.i32(i32 %863, i32 %863, i32 25)
  %865 = tail call i32 @llvm.fshl.i32(i32 %863, i32 %863, i32 14)
  %866 = xor i32 %864, %865
  %867 = lshr i32 %863, 3
  %868 = xor i32 %866, %867
  %869 = add i32 %841, %600
  %870 = add i32 %869, %860
  %871 = add i32 %870, %868
  %872 = getelementptr inbounds [64 x i32], ptr %2, i64 0, i64 %853
  store i32 %871, ptr %872, align 4, !tbaa !5
  %873 = add i32 %855, %759
  %874 = add i32 %873, %871
  %875 = add i32 %795, %616
  %876 = tail call i32 @llvm.fshl.i32(i32 %875, i32 %875, i32 26)
  %877 = tail call i32 @llvm.fshl.i32(i32 %875, i32 %875, i32 21)
  %878 = xor i32 %876, %877
  %879 = tail call i32 @llvm.fshl.i32(i32 %875, i32 %875, i32 7)
  %880 = xor i32 %878, %879
  %881 = and i32 %875, %806
  %882 = xor i32 %881, %712
  %883 = add i32 %829, %882
  %884 = add i32 %883, %880
  %885 = add i32 %884, %666
  %886 = tail call i32 @llvm.fshl.i32(i32 %885, i32 %885, i32 26)
  %887 = tail call i32 @llvm.fshl.i32(i32 %885, i32 %885, i32 21)
  %888 = xor i32 %886, %887
  %889 = tail call i32 @llvm.fshl.i32(i32 %885, i32 %885, i32 7)
  %890 = xor i32 %888, %889
  %891 = xor i32 %875, %759
  %892 = and i32 %885, %891
  %893 = xor i32 %892, %759
  %894 = add i32 %852, %893
  %895 = add i32 %894, %890
  %896 = add i32 %895, %713
  %897 = tail call i32 @llvm.fshl.i32(i32 %896, i32 %896, i32 26)
  %898 = tail call i32 @llvm.fshl.i32(i32 %896, i32 %896, i32 21)
  %899 = xor i32 %897, %898
  %900 = tail call i32 @llvm.fshl.i32(i32 %896, i32 %896, i32 7)
  %901 = xor i32 %899, %900
  %902 = xor i32 %885, %875
  %903 = and i32 %896, %902
  %904 = xor i32 %903, %875
  %905 = add i32 %874, %904
  %906 = add i32 %905, %901
  %907 = add i32 %906, %760
  %908 = add i32 %805, %795
  %909 = tail call i32 @llvm.fshl.i32(i32 %908, i32 %908, i32 30)
  %910 = tail call i32 @llvm.fshl.i32(i32 %908, i32 %908, i32 19)
  %911 = xor i32 %909, %910
  %912 = tail call i32 @llvm.fshl.i32(i32 %908, i32 %908, i32 10)
  %913 = xor i32 %911, %912
  %914 = and i32 %908, %760
  %915 = or i32 %908, %760
  %916 = and i32 %915, %713
  %917 = or i32 %916, %914
  %918 = add i32 %913, %917
  %919 = add i32 %918, %884
  %920 = tail call i32 @llvm.fshl.i32(i32 %919, i32 %919, i32 30)
  %921 = tail call i32 @llvm.fshl.i32(i32 %919, i32 %919, i32 19)
  %922 = xor i32 %920, %921
  %923 = tail call i32 @llvm.fshl.i32(i32 %919, i32 %919, i32 10)
  %924 = xor i32 %922, %923
  %925 = and i32 %919, %908
  %926 = or i32 %919, %908
  %927 = and i32 %926, %760
  %928 = or i32 %927, %925
  %929 = add i32 %924, %928
  %930 = add i32 %929, %895
  %931 = tail call i32 @llvm.fshl.i32(i32 %930, i32 %930, i32 30)
  %932 = tail call i32 @llvm.fshl.i32(i32 %930, i32 %930, i32 19)
  %933 = xor i32 %931, %932
  %934 = tail call i32 @llvm.fshl.i32(i32 %930, i32 %930, i32 10)
  %935 = xor i32 %933, %934
  %936 = and i32 %930, %919
  %937 = or i32 %930, %919
  %938 = and i32 %937, %908
  %939 = or i32 %938, %936
  %940 = add i32 %935, %939
  %941 = add i32 %940, %906
  %indvars.iv.next257 = add nuw nsw i64 %indvars.iv256, 8
  %942 = icmp ult i64 %indvars.iv256, 56
  br i1 %942, label %558, label %.preheader, !llvm.loop !12
}

; 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 i32 @llvm.fshl.i32(i32, i32, i32) #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 = !{!"int", !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}


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