; LLVM IR from tleonhardt/practical_cryptography_engineering :: mbedtls (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 void @mbedtls_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
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %10

10:                                               ; preds = %23, %2
  %11 = load i32, ptr %9, align 4, !tbaa !9
  %12 = icmp ult i32 %11, 8
  br i1 %12, label %13, label %26

13:                                               ; preds = %10
  %14 = load ptr, ptr %3, align 8, !tbaa !5
  %15 = getelementptr inbounds %struct.mbedtls_sha256_context, ptr %14, i32 0, i32 1
  %16 = load i32, ptr %9, align 4, !tbaa !9
  %17 = zext i32 %16 to i64
  %18 = getelementptr inbounds [8 x i32], ptr %15, i64 0, i64 %17
  %19 = load i32, ptr %18, align 4, !tbaa !9
  %20 = load i32, ptr %9, align 4, !tbaa !9
  %21 = zext i32 %20 to i64
  %22 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 %21
  store i32 %19, ptr %22, align 4, !tbaa !9
  br label %23

23:                                               ; preds = %13
  %24 = load i32, ptr %9, align 4, !tbaa !9
  %25 = add i32 %24, 1
  store i32 %25, ptr %9, align 4, !tbaa !9
  br label %10, !llvm.loop !11

26:                                               ; preds = %10
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %27

27:                                               ; preds = %74, %26
  %28 = load i32, ptr %9, align 4, !tbaa !9
  %29 = icmp ult i32 %28, 16
  br i1 %29, label %30, label %77

30:                                               ; preds = %27
  br label %31

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

72:                                               ; preds = %31
  br label %73

73:                                               ; preds = %72
  br label %74

74:                                               ; preds = %73
  %75 = load i32, ptr %9, align 4, !tbaa !9
  %76 = add i32 %75, 1
  store i32 %76, ptr %9, align 4, !tbaa !9
  br label %27, !llvm.loop !14

77:                                               ; preds = %27
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %78

78:                                               ; preds = %898, %77
  %79 = load i32, ptr %9, align 4, !tbaa !9
  %80 = icmp ult i32 %79, 16
  br i1 %80, label %81, label %901

81:                                               ; preds = %78
  %82 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %83 = load i32, ptr %82, align 4, !tbaa !9
  %84 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %85 = load i32, ptr %84, align 16, !tbaa !9
  %86 = and i32 %85, -1
  %87 = lshr i32 %86, 6
  %88 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %89 = load i32, ptr %88, align 16, !tbaa !9
  %90 = shl i32 %89, 26
  %91 = or i32 %87, %90
  %92 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %93 = load i32, ptr %92, align 16, !tbaa !9
  %94 = and i32 %93, -1
  %95 = lshr i32 %94, 11
  %96 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %97 = load i32, ptr %96, align 16, !tbaa !9
  %98 = shl i32 %97, 21
  %99 = or i32 %95, %98
  %100 = xor i32 %91, %99
  %101 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %102 = load i32, ptr %101, align 16, !tbaa !9
  %103 = and i32 %102, -1
  %104 = lshr i32 %103, 25
  %105 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %106 = load i32, ptr %105, align 16, !tbaa !9
  %107 = shl i32 %106, 7
  %108 = or i32 %104, %107
  %109 = xor i32 %100, %108
  %110 = add i32 %83, %109
  %111 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %112 = load i32, ptr %111, align 8, !tbaa !9
  %113 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %114 = load i32, ptr %113, align 16, !tbaa !9
  %115 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %116 = load i32, ptr %115, align 4, !tbaa !9
  %117 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %118 = load i32, ptr %117, align 8, !tbaa !9
  %119 = xor i32 %116, %118
  %120 = and i32 %114, %119
  %121 = xor i32 %112, %120
  %122 = add i32 %110, %121
  %123 = load i32, ptr %9, align 4, !tbaa !9
  %124 = add i32 %123, 0
  %125 = zext i32 %124 to i64
  %126 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %125
  %127 = load i32, ptr %126, align 4, !tbaa !9
  %128 = add i32 %122, %127
  %129 = load i32, ptr %9, align 4, !tbaa !9
  %130 = add i32 %129, 0
  %131 = zext i32 %130 to i64
  %132 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %131
  %133 = load i32, ptr %132, align 4, !tbaa !9
  %134 = add i32 %128, %133
  store i32 %134, ptr %5, align 4, !tbaa !9
  %135 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %136 = load i32, ptr %135, align 16, !tbaa !9
  %137 = and i32 %136, -1
  %138 = lshr i32 %137, 2
  %139 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %140 = load i32, ptr %139, align 16, !tbaa !9
  %141 = shl i32 %140, 30
  %142 = or i32 %138, %141
  %143 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %144 = load i32, ptr %143, align 16, !tbaa !9
  %145 = and i32 %144, -1
  %146 = lshr i32 %145, 13
  %147 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %148 = load i32, ptr %147, align 16, !tbaa !9
  %149 = shl i32 %148, 19
  %150 = or i32 %146, %149
  %151 = xor i32 %142, %150
  %152 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %153 = load i32, ptr %152, align 16, !tbaa !9
  %154 = and i32 %153, -1
  %155 = lshr i32 %154, 22
  %156 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %157 = load i32, ptr %156, align 16, !tbaa !9
  %158 = shl i32 %157, 10
  %159 = or i32 %155, %158
  %160 = xor i32 %151, %159
  %161 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %162 = load i32, ptr %161, align 16, !tbaa !9
  %163 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %164 = load i32, ptr %163, align 4, !tbaa !9
  %165 = and i32 %162, %164
  %166 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %167 = load i32, ptr %166, align 8, !tbaa !9
  %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 = or i32 %169, %171
  %173 = and i32 %167, %172
  %174 = or i32 %165, %173
  %175 = add i32 %160, %174
  store i32 %175, ptr %6, align 4, !tbaa !9
  %176 = load i32, ptr %5, align 4, !tbaa !9
  %177 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %178 = load i32, ptr %177, align 4, !tbaa !9
  %179 = add i32 %178, %176
  store i32 %179, ptr %177, align 4, !tbaa !9
  %180 = load i32, ptr %5, align 4, !tbaa !9
  %181 = load i32, ptr %6, align 4, !tbaa !9
  %182 = add i32 %180, %181
  %183 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  store i32 %182, ptr %183, align 4, !tbaa !9
  %184 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %185 = load i32, ptr %184, align 8, !tbaa !9
  %186 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %187 = load i32, ptr %186, align 4, !tbaa !9
  %188 = and i32 %187, -1
  %189 = lshr i32 %188, 6
  %190 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %191 = load i32, ptr %190, align 4, !tbaa !9
  %192 = shl i32 %191, 26
  %193 = or i32 %189, %192
  %194 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %195 = load i32, ptr %194, align 4, !tbaa !9
  %196 = and i32 %195, -1
  %197 = lshr i32 %196, 11
  %198 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %199 = load i32, ptr %198, align 4, !tbaa !9
  %200 = shl i32 %199, 21
  %201 = or i32 %197, %200
  %202 = xor i32 %193, %201
  %203 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %204 = load i32, ptr %203, align 4, !tbaa !9
  %205 = and i32 %204, -1
  %206 = lshr i32 %205, 25
  %207 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %208 = load i32, ptr %207, align 4, !tbaa !9
  %209 = shl i32 %208, 7
  %210 = or i32 %206, %209
  %211 = xor i32 %202, %210
  %212 = add i32 %185, %211
  %213 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %214 = load i32, ptr %213, align 4, !tbaa !9
  %215 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %216 = load i32, ptr %215, align 4, !tbaa !9
  %217 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %218 = load i32, ptr %217, align 16, !tbaa !9
  %219 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %220 = load i32, ptr %219, align 4, !tbaa !9
  %221 = xor i32 %218, %220
  %222 = and i32 %216, %221
  %223 = xor i32 %214, %222
  %224 = add i32 %212, %223
  %225 = load i32, ptr %9, align 4, !tbaa !9
  %226 = add i32 %225, 1
  %227 = zext i32 %226 to i64
  %228 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %227
  %229 = load i32, ptr %228, align 4, !tbaa !9
  %230 = add i32 %224, %229
  %231 = load i32, ptr %9, align 4, !tbaa !9
  %232 = add i32 %231, 1
  %233 = zext i32 %232 to i64
  %234 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %233
  %235 = load i32, ptr %234, align 4, !tbaa !9
  %236 = add i32 %230, %235
  store i32 %236, ptr %5, align 4, !tbaa !9
  %237 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %238 = load i32, ptr %237, align 4, !tbaa !9
  %239 = and i32 %238, -1
  %240 = lshr i32 %239, 2
  %241 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %242 = load i32, ptr %241, align 4, !tbaa !9
  %243 = shl i32 %242, 30
  %244 = or i32 %240, %243
  %245 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %246 = load i32, ptr %245, align 4, !tbaa !9
  %247 = and i32 %246, -1
  %248 = lshr i32 %247, 13
  %249 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %250 = load i32, ptr %249, align 4, !tbaa !9
  %251 = shl i32 %250, 19
  %252 = or i32 %248, %251
  %253 = xor i32 %244, %252
  %254 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %255 = load i32, ptr %254, align 4, !tbaa !9
  %256 = and i32 %255, -1
  %257 = lshr i32 %256, 22
  %258 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %259 = load i32, ptr %258, align 4, !tbaa !9
  %260 = shl i32 %259, 10
  %261 = or i32 %257, %260
  %262 = xor i32 %253, %261
  %263 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %264 = load i32, ptr %263, align 4, !tbaa !9
  %265 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %266 = load i32, ptr %265, align 16, !tbaa !9
  %267 = and i32 %264, %266
  %268 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %269 = load i32, ptr %268, align 4, !tbaa !9
  %270 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %271 = load i32, ptr %270, align 4, !tbaa !9
  %272 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %273 = load i32, ptr %272, align 16, !tbaa !9
  %274 = or i32 %271, %273
  %275 = and i32 %269, %274
  %276 = or i32 %267, %275
  %277 = add i32 %262, %276
  store i32 %277, ptr %6, align 4, !tbaa !9
  %278 = load i32, ptr %5, align 4, !tbaa !9
  %279 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %280 = load i32, ptr %279, align 8, !tbaa !9
  %281 = add i32 %280, %278
  store i32 %281, ptr %279, align 8, !tbaa !9
  %282 = load i32, ptr %5, align 4, !tbaa !9
  %283 = load i32, ptr %6, align 4, !tbaa !9
  %284 = add i32 %282, %283
  %285 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  store i32 %284, ptr %285, align 8, !tbaa !9
  %286 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %287 = load i32, ptr %286, align 4, !tbaa !9
  %288 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %289 = load i32, ptr %288, align 8, !tbaa !9
  %290 = and i32 %289, -1
  %291 = lshr i32 %290, 6
  %292 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %293 = load i32, ptr %292, align 8, !tbaa !9
  %294 = shl i32 %293, 26
  %295 = or i32 %291, %294
  %296 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %297 = load i32, ptr %296, align 8, !tbaa !9
  %298 = and i32 %297, -1
  %299 = lshr i32 %298, 11
  %300 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %301 = load i32, ptr %300, align 8, !tbaa !9
  %302 = shl i32 %301, 21
  %303 = or i32 %299, %302
  %304 = xor i32 %295, %303
  %305 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %306 = load i32, ptr %305, align 8, !tbaa !9
  %307 = and i32 %306, -1
  %308 = lshr i32 %307, 25
  %309 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %310 = load i32, ptr %309, align 8, !tbaa !9
  %311 = shl i32 %310, 7
  %312 = or i32 %308, %311
  %313 = xor i32 %304, %312
  %314 = add i32 %287, %313
  %315 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %316 = load i32, ptr %315, align 16, !tbaa !9
  %317 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %318 = load i32, ptr %317, align 8, !tbaa !9
  %319 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %320 = load i32, ptr %319, align 4, !tbaa !9
  %321 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %322 = load i32, ptr %321, align 16, !tbaa !9
  %323 = xor i32 %320, %322
  %324 = and i32 %318, %323
  %325 = xor i32 %316, %324
  %326 = add i32 %314, %325
  %327 = load i32, ptr %9, align 4, !tbaa !9
  %328 = add i32 %327, 2
  %329 = zext i32 %328 to i64
  %330 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %329
  %331 = load i32, ptr %330, align 4, !tbaa !9
  %332 = add i32 %326, %331
  %333 = load i32, ptr %9, align 4, !tbaa !9
  %334 = add i32 %333, 2
  %335 = zext i32 %334 to i64
  %336 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %335
  %337 = load i32, ptr %336, align 4, !tbaa !9
  %338 = add i32 %332, %337
  store i32 %338, ptr %5, align 4, !tbaa !9
  %339 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %340 = load i32, ptr %339, align 8, !tbaa !9
  %341 = and i32 %340, -1
  %342 = lshr i32 %341, 2
  %343 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %344 = load i32, ptr %343, align 8, !tbaa !9
  %345 = shl i32 %344, 30
  %346 = or i32 %342, %345
  %347 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %348 = load i32, ptr %347, align 8, !tbaa !9
  %349 = and i32 %348, -1
  %350 = lshr i32 %349, 13
  %351 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %352 = load i32, ptr %351, align 8, !tbaa !9
  %353 = shl i32 %352, 19
  %354 = or i32 %350, %353
  %355 = xor i32 %346, %354
  %356 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %357 = load i32, ptr %356, align 8, !tbaa !9
  %358 = and i32 %357, -1
  %359 = lshr i32 %358, 22
  %360 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %361 = load i32, ptr %360, align 8, !tbaa !9
  %362 = shl i32 %361, 10
  %363 = or i32 %359, %362
  %364 = xor i32 %355, %363
  %365 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %366 = load i32, ptr %365, align 8, !tbaa !9
  %367 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %368 = load i32, ptr %367, align 4, !tbaa !9
  %369 = and i32 %366, %368
  %370 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %371 = load i32, ptr %370, align 16, !tbaa !9
  %372 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %373 = load i32, ptr %372, align 8, !tbaa !9
  %374 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %375 = load i32, ptr %374, align 4, !tbaa !9
  %376 = or i32 %373, %375
  %377 = and i32 %371, %376
  %378 = or i32 %369, %377
  %379 = add i32 %364, %378
  store i32 %379, ptr %6, align 4, !tbaa !9
  %380 = load i32, ptr %5, align 4, !tbaa !9
  %381 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %382 = load i32, ptr %381, align 4, !tbaa !9
  %383 = add i32 %382, %380
  store i32 %383, ptr %381, align 4, !tbaa !9
  %384 = load i32, ptr %5, align 4, !tbaa !9
  %385 = load i32, ptr %6, align 4, !tbaa !9
  %386 = add i32 %384, %385
  %387 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  store i32 %386, ptr %387, align 4, !tbaa !9
  %388 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %389 = load i32, ptr %388, align 16, !tbaa !9
  %390 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %391 = load i32, ptr %390, align 4, !tbaa !9
  %392 = and i32 %391, -1
  %393 = lshr i32 %392, 6
  %394 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %395 = load i32, ptr %394, align 4, !tbaa !9
  %396 = shl i32 %395, 26
  %397 = or i32 %393, %396
  %398 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %399 = load i32, ptr %398, align 4, !tbaa !9
  %400 = and i32 %399, -1
  %401 = lshr i32 %400, 11
  %402 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %403 = load i32, ptr %402, align 4, !tbaa !9
  %404 = shl i32 %403, 21
  %405 = or i32 %401, %404
  %406 = xor i32 %397, %405
  %407 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %408 = load i32, ptr %407, align 4, !tbaa !9
  %409 = and i32 %408, -1
  %410 = lshr i32 %409, 25
  %411 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %412 = load i32, ptr %411, align 4, !tbaa !9
  %413 = shl i32 %412, 7
  %414 = or i32 %410, %413
  %415 = xor i32 %406, %414
  %416 = add i32 %389, %415
  %417 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %418 = load i32, ptr %417, align 4, !tbaa !9
  %419 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %420 = load i32, ptr %419, align 4, !tbaa !9
  %421 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %422 = load i32, ptr %421, align 8, !tbaa !9
  %423 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %424 = load i32, ptr %423, align 4, !tbaa !9
  %425 = xor i32 %422, %424
  %426 = and i32 %420, %425
  %427 = xor i32 %418, %426
  %428 = add i32 %416, %427
  %429 = load i32, ptr %9, align 4, !tbaa !9
  %430 = add i32 %429, 3
  %431 = zext i32 %430 to i64
  %432 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %431
  %433 = load i32, ptr %432, align 4, !tbaa !9
  %434 = add i32 %428, %433
  %435 = load i32, ptr %9, align 4, !tbaa !9
  %436 = add i32 %435, 3
  %437 = zext i32 %436 to i64
  %438 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %437
  %439 = load i32, ptr %438, align 4, !tbaa !9
  %440 = add i32 %434, %439
  store i32 %440, ptr %5, align 4, !tbaa !9
  %441 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %442 = load i32, ptr %441, align 4, !tbaa !9
  %443 = and i32 %442, -1
  %444 = lshr i32 %443, 2
  %445 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %446 = load i32, ptr %445, align 4, !tbaa !9
  %447 = shl i32 %446, 30
  %448 = or i32 %444, %447
  %449 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %450 = load i32, ptr %449, align 4, !tbaa !9
  %451 = and i32 %450, -1
  %452 = lshr i32 %451, 13
  %453 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %454 = load i32, ptr %453, align 4, !tbaa !9
  %455 = shl i32 %454, 19
  %456 = or i32 %452, %455
  %457 = xor i32 %448, %456
  %458 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %459 = load i32, ptr %458, align 4, !tbaa !9
  %460 = and i32 %459, -1
  %461 = lshr i32 %460, 22
  %462 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %463 = load i32, ptr %462, align 4, !tbaa !9
  %464 = shl i32 %463, 10
  %465 = or i32 %461, %464
  %466 = xor i32 %457, %465
  %467 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %468 = load i32, ptr %467, align 4, !tbaa !9
  %469 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %470 = load i32, ptr %469, align 8, !tbaa !9
  %471 = and i32 %468, %470
  %472 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %473 = load i32, ptr %472, align 4, !tbaa !9
  %474 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %475 = load i32, ptr %474, align 4, !tbaa !9
  %476 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %477 = load i32, ptr %476, align 8, !tbaa !9
  %478 = or i32 %475, %477
  %479 = and i32 %473, %478
  %480 = or i32 %471, %479
  %481 = add i32 %466, %480
  store i32 %481, ptr %6, align 4, !tbaa !9
  %482 = load i32, ptr %5, align 4, !tbaa !9
  %483 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %484 = load i32, ptr %483, align 16, !tbaa !9
  %485 = add i32 %484, %482
  store i32 %485, ptr %483, align 16, !tbaa !9
  %486 = load i32, ptr %5, align 4, !tbaa !9
  %487 = load i32, ptr %6, align 4, !tbaa !9
  %488 = add i32 %486, %487
  %489 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  store i32 %488, ptr %489, align 16, !tbaa !9
  %490 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %491 = load i32, ptr %490, align 4, !tbaa !9
  %492 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %493 = load i32, ptr %492, align 16, !tbaa !9
  %494 = and i32 %493, -1
  %495 = lshr i32 %494, 6
  %496 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %497 = load i32, ptr %496, align 16, !tbaa !9
  %498 = shl i32 %497, 26
  %499 = or i32 %495, %498
  %500 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %501 = load i32, ptr %500, align 16, !tbaa !9
  %502 = and i32 %501, -1
  %503 = lshr i32 %502, 11
  %504 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %505 = load i32, ptr %504, align 16, !tbaa !9
  %506 = shl i32 %505, 21
  %507 = or i32 %503, %506
  %508 = xor i32 %499, %507
  %509 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %510 = load i32, ptr %509, align 16, !tbaa !9
  %511 = and i32 %510, -1
  %512 = lshr i32 %511, 25
  %513 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %514 = load i32, ptr %513, align 16, !tbaa !9
  %515 = shl i32 %514, 7
  %516 = or i32 %512, %515
  %517 = xor i32 %508, %516
  %518 = add i32 %491, %517
  %519 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %520 = load i32, ptr %519, align 8, !tbaa !9
  %521 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %522 = load i32, ptr %521, align 16, !tbaa !9
  %523 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %524 = load i32, ptr %523, align 4, !tbaa !9
  %525 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %526 = load i32, ptr %525, align 8, !tbaa !9
  %527 = xor i32 %524, %526
  %528 = and i32 %522, %527
  %529 = xor i32 %520, %528
  %530 = add i32 %518, %529
  %531 = load i32, ptr %9, align 4, !tbaa !9
  %532 = add i32 %531, 4
  %533 = zext i32 %532 to i64
  %534 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %533
  %535 = load i32, ptr %534, align 4, !tbaa !9
  %536 = add i32 %530, %535
  %537 = load i32, ptr %9, align 4, !tbaa !9
  %538 = add i32 %537, 4
  %539 = zext i32 %538 to i64
  %540 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %539
  %541 = load i32, ptr %540, align 4, !tbaa !9
  %542 = add i32 %536, %541
  store i32 %542, ptr %5, align 4, !tbaa !9
  %543 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %544 = load i32, ptr %543, align 16, !tbaa !9
  %545 = and i32 %544, -1
  %546 = lshr i32 %545, 2
  %547 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %548 = load i32, ptr %547, align 16, !tbaa !9
  %549 = shl i32 %548, 30
  %550 = or i32 %546, %549
  %551 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %552 = load i32, ptr %551, align 16, !tbaa !9
  %553 = and i32 %552, -1
  %554 = lshr i32 %553, 13
  %555 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %556 = load i32, ptr %555, align 16, !tbaa !9
  %557 = shl i32 %556, 19
  %558 = or i32 %554, %557
  %559 = xor i32 %550, %558
  %560 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %561 = load i32, ptr %560, align 16, !tbaa !9
  %562 = and i32 %561, -1
  %563 = lshr i32 %562, 22
  %564 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %565 = load i32, ptr %564, align 16, !tbaa !9
  %566 = shl i32 %565, 10
  %567 = or i32 %563, %566
  %568 = xor i32 %559, %567
  %569 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %570 = load i32, ptr %569, align 16, !tbaa !9
  %571 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %572 = load i32, ptr %571, align 4, !tbaa !9
  %573 = and i32 %570, %572
  %574 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %575 = load i32, ptr %574, align 8, !tbaa !9
  %576 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %577 = load i32, ptr %576, align 16, !tbaa !9
  %578 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %579 = load i32, ptr %578, align 4, !tbaa !9
  %580 = or i32 %577, %579
  %581 = and i32 %575, %580
  %582 = or i32 %573, %581
  %583 = add i32 %568, %582
  store i32 %583, ptr %6, align 4, !tbaa !9
  %584 = load i32, ptr %5, align 4, !tbaa !9
  %585 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %586 = load i32, ptr %585, align 4, !tbaa !9
  %587 = add i32 %586, %584
  store i32 %587, ptr %585, align 4, !tbaa !9
  %588 = load i32, ptr %5, align 4, !tbaa !9
  %589 = load i32, ptr %6, align 4, !tbaa !9
  %590 = add i32 %588, %589
  %591 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  store i32 %590, ptr %591, align 4, !tbaa !9
  %592 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %593 = load i32, ptr %592, align 8, !tbaa !9
  %594 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %595 = load i32, ptr %594, align 4, !tbaa !9
  %596 = and i32 %595, -1
  %597 = lshr i32 %596, 6
  %598 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %599 = load i32, ptr %598, align 4, !tbaa !9
  %600 = shl i32 %599, 26
  %601 = or i32 %597, %600
  %602 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %603 = load i32, ptr %602, align 4, !tbaa !9
  %604 = and i32 %603, -1
  %605 = lshr i32 %604, 11
  %606 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %607 = load i32, ptr %606, align 4, !tbaa !9
  %608 = shl i32 %607, 21
  %609 = or i32 %605, %608
  %610 = xor i32 %601, %609
  %611 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %612 = load i32, ptr %611, align 4, !tbaa !9
  %613 = and i32 %612, -1
  %614 = lshr i32 %613, 25
  %615 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %616 = load i32, ptr %615, align 4, !tbaa !9
  %617 = shl i32 %616, 7
  %618 = or i32 %614, %617
  %619 = xor i32 %610, %618
  %620 = add i32 %593, %619
  %621 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %622 = load i32, ptr %621, align 4, !tbaa !9
  %623 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %624 = load i32, ptr %623, align 4, !tbaa !9
  %625 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %626 = load i32, ptr %625, align 16, !tbaa !9
  %627 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %628 = load i32, ptr %627, align 4, !tbaa !9
  %629 = xor i32 %626, %628
  %630 = and i32 %624, %629
  %631 = xor i32 %622, %630
  %632 = add i32 %620, %631
  %633 = load i32, ptr %9, align 4, !tbaa !9
  %634 = add i32 %633, 5
  %635 = zext i32 %634 to i64
  %636 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %635
  %637 = load i32, ptr %636, align 4, !tbaa !9
  %638 = add i32 %632, %637
  %639 = load i32, ptr %9, align 4, !tbaa !9
  %640 = add i32 %639, 5
  %641 = zext i32 %640 to i64
  %642 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %641
  %643 = load i32, ptr %642, align 4, !tbaa !9
  %644 = add i32 %638, %643
  store i32 %644, ptr %5, align 4, !tbaa !9
  %645 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %646 = load i32, ptr %645, align 4, !tbaa !9
  %647 = and i32 %646, -1
  %648 = lshr i32 %647, 2
  %649 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %650 = load i32, ptr %649, align 4, !tbaa !9
  %651 = shl i32 %650, 30
  %652 = or i32 %648, %651
  %653 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %654 = load i32, ptr %653, align 4, !tbaa !9
  %655 = and i32 %654, -1
  %656 = lshr i32 %655, 13
  %657 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %658 = load i32, ptr %657, align 4, !tbaa !9
  %659 = shl i32 %658, 19
  %660 = or i32 %656, %659
  %661 = xor i32 %652, %660
  %662 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %663 = load i32, ptr %662, align 4, !tbaa !9
  %664 = and i32 %663, -1
  %665 = lshr i32 %664, 22
  %666 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %667 = load i32, ptr %666, align 4, !tbaa !9
  %668 = shl i32 %667, 10
  %669 = or i32 %665, %668
  %670 = xor i32 %661, %669
  %671 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %672 = load i32, ptr %671, align 4, !tbaa !9
  %673 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %674 = load i32, ptr %673, align 16, !tbaa !9
  %675 = and i32 %672, %674
  %676 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %677 = load i32, ptr %676, align 4, !tbaa !9
  %678 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %679 = load i32, ptr %678, align 4, !tbaa !9
  %680 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %681 = load i32, ptr %680, align 16, !tbaa !9
  %682 = or i32 %679, %681
  %683 = and i32 %677, %682
  %684 = or i32 %675, %683
  %685 = add i32 %670, %684
  store i32 %685, ptr %6, align 4, !tbaa !9
  %686 = load i32, ptr %5, align 4, !tbaa !9
  %687 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %688 = load i32, ptr %687, align 8, !tbaa !9
  %689 = add i32 %688, %686
  store i32 %689, ptr %687, align 8, !tbaa !9
  %690 = load i32, ptr %5, align 4, !tbaa !9
  %691 = load i32, ptr %6, align 4, !tbaa !9
  %692 = add i32 %690, %691
  %693 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  store i32 %692, ptr %693, align 8, !tbaa !9
  %694 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %695 = load i32, ptr %694, align 4, !tbaa !9
  %696 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %697 = load i32, ptr %696, align 8, !tbaa !9
  %698 = and i32 %697, -1
  %699 = lshr i32 %698, 6
  %700 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %701 = load i32, ptr %700, align 8, !tbaa !9
  %702 = shl i32 %701, 26
  %703 = or i32 %699, %702
  %704 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %705 = load i32, ptr %704, align 8, !tbaa !9
  %706 = and i32 %705, -1
  %707 = lshr i32 %706, 11
  %708 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %709 = load i32, ptr %708, align 8, !tbaa !9
  %710 = shl i32 %709, 21
  %711 = or i32 %707, %710
  %712 = xor i32 %703, %711
  %713 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %714 = load i32, ptr %713, align 8, !tbaa !9
  %715 = and i32 %714, -1
  %716 = lshr i32 %715, 25
  %717 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %718 = load i32, ptr %717, align 8, !tbaa !9
  %719 = shl i32 %718, 7
  %720 = or i32 %716, %719
  %721 = xor i32 %712, %720
  %722 = add i32 %695, %721
  %723 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %724 = load i32, ptr %723, align 16, !tbaa !9
  %725 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %726 = load i32, ptr %725, align 8, !tbaa !9
  %727 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %728 = load i32, ptr %727, align 4, !tbaa !9
  %729 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %730 = load i32, ptr %729, align 16, !tbaa !9
  %731 = xor i32 %728, %730
  %732 = and i32 %726, %731
  %733 = xor i32 %724, %732
  %734 = add i32 %722, %733
  %735 = load i32, ptr %9, align 4, !tbaa !9
  %736 = add i32 %735, 6
  %737 = zext i32 %736 to i64
  %738 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %737
  %739 = load i32, ptr %738, align 4, !tbaa !9
  %740 = add i32 %734, %739
  %741 = load i32, ptr %9, align 4, !tbaa !9
  %742 = add i32 %741, 6
  %743 = zext i32 %742 to i64
  %744 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %743
  %745 = load i32, ptr %744, align 4, !tbaa !9
  %746 = add i32 %740, %745
  store i32 %746, ptr %5, align 4, !tbaa !9
  %747 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %748 = load i32, ptr %747, align 8, !tbaa !9
  %749 = and i32 %748, -1
  %750 = lshr i32 %749, 2
  %751 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %752 = load i32, ptr %751, align 8, !tbaa !9
  %753 = shl i32 %752, 30
  %754 = or i32 %750, %753
  %755 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %756 = load i32, ptr %755, align 8, !tbaa !9
  %757 = and i32 %756, -1
  %758 = lshr i32 %757, 13
  %759 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %760 = load i32, ptr %759, align 8, !tbaa !9
  %761 = shl i32 %760, 19
  %762 = or i32 %758, %761
  %763 = xor i32 %754, %762
  %764 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %765 = load i32, ptr %764, align 8, !tbaa !9
  %766 = and i32 %765, -1
  %767 = lshr i32 %766, 22
  %768 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %769 = load i32, ptr %768, align 8, !tbaa !9
  %770 = shl i32 %769, 10
  %771 = or i32 %767, %770
  %772 = xor i32 %763, %771
  %773 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %774 = load i32, ptr %773, align 8, !tbaa !9
  %775 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %776 = load i32, ptr %775, align 4, !tbaa !9
  %777 = and i32 %774, %776
  %778 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %779 = load i32, ptr %778, align 16, !tbaa !9
  %780 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %781 = load i32, ptr %780, align 8, !tbaa !9
  %782 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %783 = load i32, ptr %782, align 4, !tbaa !9
  %784 = or i32 %781, %783
  %785 = and i32 %779, %784
  %786 = or i32 %777, %785
  %787 = add i32 %772, %786
  store i32 %787, ptr %6, align 4, !tbaa !9
  %788 = load i32, ptr %5, align 4, !tbaa !9
  %789 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %790 = load i32, ptr %789, align 4, !tbaa !9
  %791 = add i32 %790, %788
  store i32 %791, ptr %789, align 4, !tbaa !9
  %792 = load i32, ptr %5, align 4, !tbaa !9
  %793 = load i32, ptr %6, align 4, !tbaa !9
  %794 = add i32 %792, %793
  %795 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  store i32 %794, ptr %795, align 4, !tbaa !9
  %796 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %797 = load i32, ptr %796, align 16, !tbaa !9
  %798 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %799 = load i32, ptr %798, align 4, !tbaa !9
  %800 = and i32 %799, -1
  %801 = lshr i32 %800, 6
  %802 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %803 = load i32, ptr %802, align 4, !tbaa !9
  %804 = shl i32 %803, 26
  %805 = or i32 %801, %804
  %806 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %807 = load i32, ptr %806, align 4, !tbaa !9
  %808 = and i32 %807, -1
  %809 = lshr i32 %808, 11
  %810 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %811 = load i32, ptr %810, align 4, !tbaa !9
  %812 = shl i32 %811, 21
  %813 = or i32 %809, %812
  %814 = xor i32 %805, %813
  %815 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %816 = load i32, ptr %815, align 4, !tbaa !9
  %817 = and i32 %816, -1
  %818 = lshr i32 %817, 25
  %819 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %820 = load i32, ptr %819, align 4, !tbaa !9
  %821 = shl i32 %820, 7
  %822 = or i32 %818, %821
  %823 = xor i32 %814, %822
  %824 = add i32 %797, %823
  %825 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %826 = load i32, ptr %825, align 4, !tbaa !9
  %827 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %828 = load i32, ptr %827, align 4, !tbaa !9
  %829 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %830 = load i32, ptr %829, align 8, !tbaa !9
  %831 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %832 = load i32, ptr %831, align 4, !tbaa !9
  %833 = xor i32 %830, %832
  %834 = and i32 %828, %833
  %835 = xor i32 %826, %834
  %836 = add i32 %824, %835
  %837 = load i32, ptr %9, align 4, !tbaa !9
  %838 = add i32 %837, 7
  %839 = zext i32 %838 to i64
  %840 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %839
  %841 = load i32, ptr %840, align 4, !tbaa !9
  %842 = add i32 %836, %841
  %843 = load i32, ptr %9, align 4, !tbaa !9
  %844 = add i32 %843, 7
  %845 = zext i32 %844 to i64
  %846 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %845
  %847 = load i32, ptr %846, align 4, !tbaa !9
  %848 = add i32 %842, %847
  store i32 %848, ptr %5, align 4, !tbaa !9
  %849 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %850 = load i32, ptr %849, align 4, !tbaa !9
  %851 = and i32 %850, -1
  %852 = lshr i32 %851, 2
  %853 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %854 = load i32, ptr %853, align 4, !tbaa !9
  %855 = shl i32 %854, 30
  %856 = or i32 %852, %855
  %857 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %858 = load i32, ptr %857, align 4, !tbaa !9
  %859 = and i32 %858, -1
  %860 = lshr i32 %859, 13
  %861 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %862 = load i32, ptr %861, align 4, !tbaa !9
  %863 = shl i32 %862, 19
  %864 = or i32 %860, %863
  %865 = xor i32 %856, %864
  %866 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %867 = load i32, ptr %866, align 4, !tbaa !9
  %868 = and i32 %867, -1
  %869 = lshr i32 %868, 22
  %870 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %871 = load i32, ptr %870, align 4, !tbaa !9
  %872 = shl i32 %871, 10
  %873 = or i32 %869, %872
  %874 = xor i32 %865, %873
  %875 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %876 = load i32, ptr %875, align 4, !tbaa !9
  %877 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %878 = load i32, ptr %877, align 8, !tbaa !9
  %879 = and i32 %876, %878
  %880 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %881 = load i32, ptr %880, align 4, !tbaa !9
  %882 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %883 = load i32, ptr %882, align 4, !tbaa !9
  %884 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %885 = load i32, ptr %884, align 8, !tbaa !9
  %886 = or i32 %883, %885
  %887 = and i32 %881, %886
  %888 = or i32 %879, %887
  %889 = add i32 %874, %888
  store i32 %889, ptr %6, align 4, !tbaa !9
  %890 = load i32, ptr %5, align 4, !tbaa !9
  %891 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %892 = load i32, ptr %891, align 16, !tbaa !9
  %893 = add i32 %892, %890
  store i32 %893, ptr %891, align 16, !tbaa !9
  %894 = load i32, ptr %5, align 4, !tbaa !9
  %895 = load i32, ptr %6, align 4, !tbaa !9
  %896 = add i32 %894, %895
  %897 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  store i32 %896, ptr %897, align 16, !tbaa !9
  br label %898

898:                                              ; preds = %81
  %899 = load i32, ptr %9, align 4, !tbaa !9
  %900 = add i32 %899, 8
  store i32 %900, ptr %9, align 4, !tbaa !9
  br label %78, !llvm.loop !15

901:                                              ; preds = %78
  store i32 16, ptr %9, align 4, !tbaa !9
  br label %902

902:                                              ; preds = %2506, %901
  %903 = load i32, ptr %9, align 4, !tbaa !9
  %904 = icmp ult i32 %903, 64
  br i1 %904, label %905, label %2509

905:                                              ; preds = %902
  %906 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %907 = load i32, ptr %906, align 4, !tbaa !9
  %908 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %909 = load i32, ptr %908, align 16, !tbaa !9
  %910 = and i32 %909, -1
  %911 = lshr i32 %910, 6
  %912 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %913 = load i32, ptr %912, align 16, !tbaa !9
  %914 = shl i32 %913, 26
  %915 = or i32 %911, %914
  %916 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %917 = load i32, ptr %916, align 16, !tbaa !9
  %918 = and i32 %917, -1
  %919 = lshr i32 %918, 11
  %920 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %921 = load i32, ptr %920, align 16, !tbaa !9
  %922 = shl i32 %921, 21
  %923 = or i32 %919, %922
  %924 = xor i32 %915, %923
  %925 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %926 = load i32, ptr %925, align 16, !tbaa !9
  %927 = and i32 %926, -1
  %928 = lshr i32 %927, 25
  %929 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %930 = load i32, ptr %929, align 16, !tbaa !9
  %931 = shl i32 %930, 7
  %932 = or i32 %928, %931
  %933 = xor i32 %924, %932
  %934 = add i32 %907, %933
  %935 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %936 = load i32, ptr %935, align 8, !tbaa !9
  %937 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %938 = load i32, ptr %937, align 16, !tbaa !9
  %939 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %940 = load i32, ptr %939, align 4, !tbaa !9
  %941 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %942 = load i32, ptr %941, align 8, !tbaa !9
  %943 = xor i32 %940, %942
  %944 = and i32 %938, %943
  %945 = xor i32 %936, %944
  %946 = add i32 %934, %945
  %947 = load i32, ptr %9, align 4, !tbaa !9
  %948 = add i32 %947, 0
  %949 = zext i32 %948 to i64
  %950 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %949
  %951 = load i32, ptr %950, align 4, !tbaa !9
  %952 = add i32 %946, %951
  %953 = load i32, ptr %9, align 4, !tbaa !9
  %954 = add i32 %953, 0
  %955 = sub i32 %954, 2
  %956 = zext i32 %955 to i64
  %957 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %956
  %958 = load i32, ptr %957, align 4, !tbaa !9
  %959 = and i32 %958, -1
  %960 = lshr i32 %959, 17
  %961 = load i32, ptr %9, align 4, !tbaa !9
  %962 = add i32 %961, 0
  %963 = sub i32 %962, 2
  %964 = zext i32 %963 to i64
  %965 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %964
  %966 = load i32, ptr %965, align 4, !tbaa !9
  %967 = shl i32 %966, 15
  %968 = or i32 %960, %967
  %969 = load i32, ptr %9, align 4, !tbaa !9
  %970 = add i32 %969, 0
  %971 = sub i32 %970, 2
  %972 = zext i32 %971 to i64
  %973 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %972
  %974 = load i32, ptr %973, align 4, !tbaa !9
  %975 = and i32 %974, -1
  %976 = lshr i32 %975, 19
  %977 = load i32, ptr %9, align 4, !tbaa !9
  %978 = add i32 %977, 0
  %979 = sub i32 %978, 2
  %980 = zext i32 %979 to i64
  %981 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %980
  %982 = load i32, ptr %981, align 4, !tbaa !9
  %983 = shl i32 %982, 13
  %984 = or i32 %976, %983
  %985 = xor i32 %968, %984
  %986 = load i32, ptr %9, align 4, !tbaa !9
  %987 = add i32 %986, 0
  %988 = sub i32 %987, 2
  %989 = zext i32 %988 to i64
  %990 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %989
  %991 = load i32, ptr %990, align 4, !tbaa !9
  %992 = and i32 %991, -1
  %993 = lshr i32 %992, 10
  %994 = xor i32 %985, %993
  %995 = load i32, ptr %9, align 4, !tbaa !9
  %996 = add i32 %995, 0
  %997 = sub i32 %996, 7
  %998 = zext i32 %997 to i64
  %999 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %998
  %1000 = load i32, ptr %999, align 4, !tbaa !9
  %1001 = add i32 %994, %1000
  %1002 = load i32, ptr %9, align 4, !tbaa !9
  %1003 = add i32 %1002, 0
  %1004 = sub i32 %1003, 15
  %1005 = zext i32 %1004 to i64
  %1006 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1005
  %1007 = load i32, ptr %1006, align 4, !tbaa !9
  %1008 = and i32 %1007, -1
  %1009 = lshr i32 %1008, 7
  %1010 = load i32, ptr %9, align 4, !tbaa !9
  %1011 = add i32 %1010, 0
  %1012 = sub i32 %1011, 15
  %1013 = zext i32 %1012 to i64
  %1014 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1013
  %1015 = load i32, ptr %1014, align 4, !tbaa !9
  %1016 = shl i32 %1015, 25
  %1017 = or i32 %1009, %1016
  %1018 = load i32, ptr %9, align 4, !tbaa !9
  %1019 = add i32 %1018, 0
  %1020 = sub i32 %1019, 15
  %1021 = zext i32 %1020 to i64
  %1022 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1021
  %1023 = load i32, ptr %1022, align 4, !tbaa !9
  %1024 = and i32 %1023, -1
  %1025 = lshr i32 %1024, 18
  %1026 = load i32, ptr %9, align 4, !tbaa !9
  %1027 = add i32 %1026, 0
  %1028 = sub i32 %1027, 15
  %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 = shl i32 %1031, 14
  %1033 = or i32 %1025, %1032
  %1034 = xor i32 %1017, %1033
  %1035 = load i32, ptr %9, align 4, !tbaa !9
  %1036 = add i32 %1035, 0
  %1037 = sub i32 %1036, 15
  %1038 = zext i32 %1037 to i64
  %1039 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1038
  %1040 = load i32, ptr %1039, align 4, !tbaa !9
  %1041 = and i32 %1040, -1
  %1042 = lshr i32 %1041, 3
  %1043 = xor i32 %1034, %1042
  %1044 = add i32 %1001, %1043
  %1045 = load i32, ptr %9, align 4, !tbaa !9
  %1046 = add i32 %1045, 0
  %1047 = sub i32 %1046, 16
  %1048 = zext i32 %1047 to i64
  %1049 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1048
  %1050 = load i32, ptr %1049, align 4, !tbaa !9
  %1051 = add i32 %1044, %1050
  %1052 = load i32, ptr %9, align 4, !tbaa !9
  %1053 = add i32 %1052, 0
  %1054 = zext i32 %1053 to i64
  %1055 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1054
  store i32 %1051, ptr %1055, align 4, !tbaa !9
  %1056 = add i32 %952, %1051
  store i32 %1056, ptr %5, align 4, !tbaa !9
  %1057 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1058 = load i32, ptr %1057, align 16, !tbaa !9
  %1059 = and i32 %1058, -1
  %1060 = lshr i32 %1059, 2
  %1061 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1062 = load i32, ptr %1061, align 16, !tbaa !9
  %1063 = shl i32 %1062, 30
  %1064 = or i32 %1060, %1063
  %1065 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1066 = load i32, ptr %1065, align 16, !tbaa !9
  %1067 = and i32 %1066, -1
  %1068 = lshr i32 %1067, 13
  %1069 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1070 = load i32, ptr %1069, align 16, !tbaa !9
  %1071 = shl i32 %1070, 19
  %1072 = or i32 %1068, %1071
  %1073 = xor i32 %1064, %1072
  %1074 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1075 = load i32, ptr %1074, align 16, !tbaa !9
  %1076 = and i32 %1075, -1
  %1077 = lshr i32 %1076, 22
  %1078 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1079 = load i32, ptr %1078, align 16, !tbaa !9
  %1080 = shl i32 %1079, 10
  %1081 = or i32 %1077, %1080
  %1082 = xor i32 %1073, %1081
  %1083 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1084 = load i32, ptr %1083, align 16, !tbaa !9
  %1085 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1086 = load i32, ptr %1085, align 4, !tbaa !9
  %1087 = and i32 %1084, %1086
  %1088 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1089 = load i32, ptr %1088, align 8, !tbaa !9
  %1090 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1091 = load i32, ptr %1090, align 16, !tbaa !9
  %1092 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1093 = load i32, ptr %1092, align 4, !tbaa !9
  %1094 = or i32 %1091, %1093
  %1095 = and i32 %1089, %1094
  %1096 = or i32 %1087, %1095
  %1097 = add i32 %1082, %1096
  store i32 %1097, ptr %6, align 4, !tbaa !9
  %1098 = load i32, ptr %5, align 4, !tbaa !9
  %1099 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1100 = load i32, ptr %1099, align 4, !tbaa !9
  %1101 = add i32 %1100, %1098
  store i32 %1101, ptr %1099, align 4, !tbaa !9
  %1102 = load i32, ptr %5, align 4, !tbaa !9
  %1103 = load i32, ptr %6, align 4, !tbaa !9
  %1104 = add i32 %1102, %1103
  %1105 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  store i32 %1104, ptr %1105, align 4, !tbaa !9
  %1106 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1107 = load i32, ptr %1106, align 8, !tbaa !9
  %1108 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1109 = load i32, ptr %1108, align 4, !tbaa !9
  %1110 = and i32 %1109, -1
  %1111 = lshr i32 %1110, 6
  %1112 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1113 = load i32, ptr %1112, align 4, !tbaa !9
  %1114 = shl i32 %1113, 26
  %1115 = or i32 %1111, %1114
  %1116 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1117 = load i32, ptr %1116, align 4, !tbaa !9
  %1118 = and i32 %1117, -1
  %1119 = lshr i32 %1118, 11
  %1120 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1121 = load i32, ptr %1120, align 4, !tbaa !9
  %1122 = shl i32 %1121, 21
  %1123 = or i32 %1119, %1122
  %1124 = xor i32 %1115, %1123
  %1125 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1126 = load i32, ptr %1125, align 4, !tbaa !9
  %1127 = and i32 %1126, -1
  %1128 = lshr i32 %1127, 25
  %1129 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1130 = load i32, ptr %1129, align 4, !tbaa !9
  %1131 = shl i32 %1130, 7
  %1132 = or i32 %1128, %1131
  %1133 = xor i32 %1124, %1132
  %1134 = add i32 %1107, %1133
  %1135 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1136 = load i32, ptr %1135, align 4, !tbaa !9
  %1137 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1138 = load i32, ptr %1137, align 4, !tbaa !9
  %1139 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1140 = load i32, ptr %1139, align 16, !tbaa !9
  %1141 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1142 = load i32, ptr %1141, align 4, !tbaa !9
  %1143 = xor i32 %1140, %1142
  %1144 = and i32 %1138, %1143
  %1145 = xor i32 %1136, %1144
  %1146 = add i32 %1134, %1145
  %1147 = load i32, ptr %9, align 4, !tbaa !9
  %1148 = add i32 %1147, 1
  %1149 = zext i32 %1148 to i64
  %1150 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1149
  %1151 = load i32, ptr %1150, align 4, !tbaa !9
  %1152 = add i32 %1146, %1151
  %1153 = load i32, ptr %9, align 4, !tbaa !9
  %1154 = add i32 %1153, 1
  %1155 = sub i32 %1154, 2
  %1156 = zext i32 %1155 to i64
  %1157 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1156
  %1158 = load i32, ptr %1157, align 4, !tbaa !9
  %1159 = and i32 %1158, -1
  %1160 = lshr i32 %1159, 17
  %1161 = load i32, ptr %9, align 4, !tbaa !9
  %1162 = add i32 %1161, 1
  %1163 = sub i32 %1162, 2
  %1164 = zext i32 %1163 to i64
  %1165 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1164
  %1166 = load i32, ptr %1165, align 4, !tbaa !9
  %1167 = shl i32 %1166, 15
  %1168 = or i32 %1160, %1167
  %1169 = load i32, ptr %9, align 4, !tbaa !9
  %1170 = add i32 %1169, 1
  %1171 = sub i32 %1170, 2
  %1172 = zext i32 %1171 to i64
  %1173 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1172
  %1174 = load i32, ptr %1173, align 4, !tbaa !9
  %1175 = and i32 %1174, -1
  %1176 = lshr i32 %1175, 19
  %1177 = load i32, ptr %9, align 4, !tbaa !9
  %1178 = add i32 %1177, 1
  %1179 = sub i32 %1178, 2
  %1180 = zext i32 %1179 to i64
  %1181 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1180
  %1182 = load i32, ptr %1181, align 4, !tbaa !9
  %1183 = shl i32 %1182, 13
  %1184 = or i32 %1176, %1183
  %1185 = xor i32 %1168, %1184
  %1186 = load i32, ptr %9, align 4, !tbaa !9
  %1187 = add i32 %1186, 1
  %1188 = sub i32 %1187, 2
  %1189 = zext i32 %1188 to i64
  %1190 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1189
  %1191 = load i32, ptr %1190, align 4, !tbaa !9
  %1192 = and i32 %1191, -1
  %1193 = lshr i32 %1192, 10
  %1194 = xor i32 %1185, %1193
  %1195 = load i32, ptr %9, align 4, !tbaa !9
  %1196 = add i32 %1195, 1
  %1197 = sub i32 %1196, 7
  %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 = add i32 %1194, %1200
  %1202 = load i32, ptr %9, align 4, !tbaa !9
  %1203 = add i32 %1202, 1
  %1204 = sub i32 %1203, 15
  %1205 = zext i32 %1204 to i64
  %1206 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1205
  %1207 = load i32, ptr %1206, align 4, !tbaa !9
  %1208 = and i32 %1207, -1
  %1209 = lshr i32 %1208, 7
  %1210 = load i32, ptr %9, align 4, !tbaa !9
  %1211 = add i32 %1210, 1
  %1212 = sub i32 %1211, 15
  %1213 = zext i32 %1212 to i64
  %1214 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1213
  %1215 = load i32, ptr %1214, align 4, !tbaa !9
  %1216 = shl i32 %1215, 25
  %1217 = or i32 %1209, %1216
  %1218 = load i32, ptr %9, align 4, !tbaa !9
  %1219 = add i32 %1218, 1
  %1220 = sub i32 %1219, 15
  %1221 = zext i32 %1220 to i64
  %1222 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1221
  %1223 = load i32, ptr %1222, align 4, !tbaa !9
  %1224 = and i32 %1223, -1
  %1225 = lshr i32 %1224, 18
  %1226 = load i32, ptr %9, align 4, !tbaa !9
  %1227 = add i32 %1226, 1
  %1228 = sub i32 %1227, 15
  %1229 = zext i32 %1228 to i64
  %1230 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1229
  %1231 = load i32, ptr %1230, align 4, !tbaa !9
  %1232 = shl i32 %1231, 14
  %1233 = or i32 %1225, %1232
  %1234 = xor i32 %1217, %1233
  %1235 = load i32, ptr %9, align 4, !tbaa !9
  %1236 = add i32 %1235, 1
  %1237 = sub i32 %1236, 15
  %1238 = zext i32 %1237 to i64
  %1239 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1238
  %1240 = load i32, ptr %1239, align 4, !tbaa !9
  %1241 = and i32 %1240, -1
  %1242 = lshr i32 %1241, 3
  %1243 = xor i32 %1234, %1242
  %1244 = add i32 %1201, %1243
  %1245 = load i32, ptr %9, align 4, !tbaa !9
  %1246 = add i32 %1245, 1
  %1247 = sub i32 %1246, 16
  %1248 = zext i32 %1247 to i64
  %1249 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1248
  %1250 = load i32, ptr %1249, align 4, !tbaa !9
  %1251 = add i32 %1244, %1250
  %1252 = load i32, ptr %9, align 4, !tbaa !9
  %1253 = add i32 %1252, 1
  %1254 = zext i32 %1253 to i64
  %1255 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1254
  store i32 %1251, ptr %1255, align 4, !tbaa !9
  %1256 = add i32 %1152, %1251
  store i32 %1256, ptr %5, align 4, !tbaa !9
  %1257 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1258 = load i32, ptr %1257, align 4, !tbaa !9
  %1259 = and i32 %1258, -1
  %1260 = lshr i32 %1259, 2
  %1261 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1262 = load i32, ptr %1261, align 4, !tbaa !9
  %1263 = shl i32 %1262, 30
  %1264 = or i32 %1260, %1263
  %1265 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1266 = load i32, ptr %1265, align 4, !tbaa !9
  %1267 = and i32 %1266, -1
  %1268 = lshr i32 %1267, 13
  %1269 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1270 = load i32, ptr %1269, align 4, !tbaa !9
  %1271 = shl i32 %1270, 19
  %1272 = or i32 %1268, %1271
  %1273 = xor i32 %1264, %1272
  %1274 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1275 = load i32, ptr %1274, align 4, !tbaa !9
  %1276 = and i32 %1275, -1
  %1277 = lshr i32 %1276, 22
  %1278 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1279 = load i32, ptr %1278, align 4, !tbaa !9
  %1280 = shl i32 %1279, 10
  %1281 = or i32 %1277, %1280
  %1282 = xor i32 %1273, %1281
  %1283 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1284 = load i32, ptr %1283, align 4, !tbaa !9
  %1285 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1286 = load i32, ptr %1285, align 16, !tbaa !9
  %1287 = and i32 %1284, %1286
  %1288 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1289 = load i32, ptr %1288, align 4, !tbaa !9
  %1290 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1291 = load i32, ptr %1290, align 4, !tbaa !9
  %1292 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1293 = load i32, ptr %1292, align 16, !tbaa !9
  %1294 = or i32 %1291, %1293
  %1295 = and i32 %1289, %1294
  %1296 = or i32 %1287, %1295
  %1297 = add i32 %1282, %1296
  store i32 %1297, ptr %6, align 4, !tbaa !9
  %1298 = load i32, ptr %5, align 4, !tbaa !9
  %1299 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1300 = load i32, ptr %1299, align 8, !tbaa !9
  %1301 = add i32 %1300, %1298
  store i32 %1301, ptr %1299, align 8, !tbaa !9
  %1302 = load i32, ptr %5, align 4, !tbaa !9
  %1303 = load i32, ptr %6, align 4, !tbaa !9
  %1304 = add i32 %1302, %1303
  %1305 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  store i32 %1304, ptr %1305, align 8, !tbaa !9
  %1306 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1307 = load i32, ptr %1306, align 4, !tbaa !9
  %1308 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1309 = load i32, ptr %1308, align 8, !tbaa !9
  %1310 = and i32 %1309, -1
  %1311 = lshr i32 %1310, 6
  %1312 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1313 = load i32, ptr %1312, align 8, !tbaa !9
  %1314 = shl i32 %1313, 26
  %1315 = or i32 %1311, %1314
  %1316 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1317 = load i32, ptr %1316, align 8, !tbaa !9
  %1318 = and i32 %1317, -1
  %1319 = lshr i32 %1318, 11
  %1320 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1321 = load i32, ptr %1320, align 8, !tbaa !9
  %1322 = shl i32 %1321, 21
  %1323 = or i32 %1319, %1322
  %1324 = xor i32 %1315, %1323
  %1325 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1326 = load i32, ptr %1325, align 8, !tbaa !9
  %1327 = and i32 %1326, -1
  %1328 = lshr i32 %1327, 25
  %1329 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1330 = load i32, ptr %1329, align 8, !tbaa !9
  %1331 = shl i32 %1330, 7
  %1332 = or i32 %1328, %1331
  %1333 = xor i32 %1324, %1332
  %1334 = add i32 %1307, %1333
  %1335 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1336 = load i32, ptr %1335, align 16, !tbaa !9
  %1337 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1338 = load i32, ptr %1337, align 8, !tbaa !9
  %1339 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1340 = load i32, ptr %1339, align 4, !tbaa !9
  %1341 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1342 = load i32, ptr %1341, align 16, !tbaa !9
  %1343 = xor i32 %1340, %1342
  %1344 = and i32 %1338, %1343
  %1345 = xor i32 %1336, %1344
  %1346 = add i32 %1334, %1345
  %1347 = load i32, ptr %9, align 4, !tbaa !9
  %1348 = add i32 %1347, 2
  %1349 = zext i32 %1348 to i64
  %1350 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1349
  %1351 = load i32, ptr %1350, align 4, !tbaa !9
  %1352 = add i32 %1346, %1351
  %1353 = load i32, ptr %9, align 4, !tbaa !9
  %1354 = add i32 %1353, 2
  %1355 = sub i32 %1354, 2
  %1356 = zext i32 %1355 to i64
  %1357 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1356
  %1358 = load i32, ptr %1357, align 4, !tbaa !9
  %1359 = and i32 %1358, -1
  %1360 = lshr i32 %1359, 17
  %1361 = load i32, ptr %9, align 4, !tbaa !9
  %1362 = add i32 %1361, 2
  %1363 = sub i32 %1362, 2
  %1364 = zext i32 %1363 to i64
  %1365 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1364
  %1366 = load i32, ptr %1365, align 4, !tbaa !9
  %1367 = shl i32 %1366, 15
  %1368 = or i32 %1360, %1367
  %1369 = load i32, ptr %9, align 4, !tbaa !9
  %1370 = add i32 %1369, 2
  %1371 = sub i32 %1370, 2
  %1372 = zext i32 %1371 to i64
  %1373 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1372
  %1374 = load i32, ptr %1373, align 4, !tbaa !9
  %1375 = and i32 %1374, -1
  %1376 = lshr i32 %1375, 19
  %1377 = load i32, ptr %9, align 4, !tbaa !9
  %1378 = add i32 %1377, 2
  %1379 = sub i32 %1378, 2
  %1380 = zext i32 %1379 to i64
  %1381 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1380
  %1382 = load i32, ptr %1381, align 4, !tbaa !9
  %1383 = shl i32 %1382, 13
  %1384 = or i32 %1376, %1383
  %1385 = xor i32 %1368, %1384
  %1386 = load i32, ptr %9, align 4, !tbaa !9
  %1387 = add i32 %1386, 2
  %1388 = sub i32 %1387, 2
  %1389 = zext i32 %1388 to i64
  %1390 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1389
  %1391 = load i32, ptr %1390, align 4, !tbaa !9
  %1392 = and i32 %1391, -1
  %1393 = lshr i32 %1392, 10
  %1394 = xor i32 %1385, %1393
  %1395 = load i32, ptr %9, align 4, !tbaa !9
  %1396 = add i32 %1395, 2
  %1397 = sub i32 %1396, 7
  %1398 = zext i32 %1397 to i64
  %1399 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1398
  %1400 = load i32, ptr %1399, align 4, !tbaa !9
  %1401 = add i32 %1394, %1400
  %1402 = load i32, ptr %9, align 4, !tbaa !9
  %1403 = add i32 %1402, 2
  %1404 = sub i32 %1403, 15
  %1405 = zext i32 %1404 to i64
  %1406 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1405
  %1407 = load i32, ptr %1406, align 4, !tbaa !9
  %1408 = and i32 %1407, -1
  %1409 = lshr i32 %1408, 7
  %1410 = load i32, ptr %9, align 4, !tbaa !9
  %1411 = add i32 %1410, 2
  %1412 = sub i32 %1411, 15
  %1413 = zext i32 %1412 to i64
  %1414 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1413
  %1415 = load i32, ptr %1414, align 4, !tbaa !9
  %1416 = shl i32 %1415, 25
  %1417 = or i32 %1409, %1416
  %1418 = load i32, ptr %9, align 4, !tbaa !9
  %1419 = add i32 %1418, 2
  %1420 = sub i32 %1419, 15
  %1421 = zext i32 %1420 to i64
  %1422 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1421
  %1423 = load i32, ptr %1422, align 4, !tbaa !9
  %1424 = and i32 %1423, -1
  %1425 = lshr i32 %1424, 18
  %1426 = load i32, ptr %9, align 4, !tbaa !9
  %1427 = add i32 %1426, 2
  %1428 = sub i32 %1427, 15
  %1429 = zext i32 %1428 to i64
  %1430 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1429
  %1431 = load i32, ptr %1430, align 4, !tbaa !9
  %1432 = shl i32 %1431, 14
  %1433 = or i32 %1425, %1432
  %1434 = xor i32 %1417, %1433
  %1435 = load i32, ptr %9, align 4, !tbaa !9
  %1436 = add i32 %1435, 2
  %1437 = sub i32 %1436, 15
  %1438 = zext i32 %1437 to i64
  %1439 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1438
  %1440 = load i32, ptr %1439, align 4, !tbaa !9
  %1441 = and i32 %1440, -1
  %1442 = lshr i32 %1441, 3
  %1443 = xor i32 %1434, %1442
  %1444 = add i32 %1401, %1443
  %1445 = load i32, ptr %9, align 4, !tbaa !9
  %1446 = add i32 %1445, 2
  %1447 = sub i32 %1446, 16
  %1448 = zext i32 %1447 to i64
  %1449 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1448
  %1450 = load i32, ptr %1449, align 4, !tbaa !9
  %1451 = add i32 %1444, %1450
  %1452 = load i32, ptr %9, align 4, !tbaa !9
  %1453 = add i32 %1452, 2
  %1454 = zext i32 %1453 to i64
  %1455 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1454
  store i32 %1451, ptr %1455, align 4, !tbaa !9
  %1456 = add i32 %1352, %1451
  store i32 %1456, ptr %5, align 4, !tbaa !9
  %1457 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1458 = load i32, ptr %1457, align 8, !tbaa !9
  %1459 = and i32 %1458, -1
  %1460 = lshr i32 %1459, 2
  %1461 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1462 = load i32, ptr %1461, align 8, !tbaa !9
  %1463 = shl i32 %1462, 30
  %1464 = or i32 %1460, %1463
  %1465 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1466 = load i32, ptr %1465, align 8, !tbaa !9
  %1467 = and i32 %1466, -1
  %1468 = lshr i32 %1467, 13
  %1469 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1470 = load i32, ptr %1469, align 8, !tbaa !9
  %1471 = shl i32 %1470, 19
  %1472 = or i32 %1468, %1471
  %1473 = xor i32 %1464, %1472
  %1474 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1475 = load i32, ptr %1474, align 8, !tbaa !9
  %1476 = and i32 %1475, -1
  %1477 = lshr i32 %1476, 22
  %1478 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1479 = load i32, ptr %1478, align 8, !tbaa !9
  %1480 = shl i32 %1479, 10
  %1481 = or i32 %1477, %1480
  %1482 = xor i32 %1473, %1481
  %1483 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1484 = load i32, ptr %1483, align 8, !tbaa !9
  %1485 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1486 = load i32, ptr %1485, align 4, !tbaa !9
  %1487 = and i32 %1484, %1486
  %1488 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1489 = load i32, ptr %1488, align 16, !tbaa !9
  %1490 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1491 = load i32, ptr %1490, align 8, !tbaa !9
  %1492 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1493 = load i32, ptr %1492, align 4, !tbaa !9
  %1494 = or i32 %1491, %1493
  %1495 = and i32 %1489, %1494
  %1496 = or i32 %1487, %1495
  %1497 = add i32 %1482, %1496
  store i32 %1497, ptr %6, align 4, !tbaa !9
  %1498 = load i32, ptr %5, align 4, !tbaa !9
  %1499 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1500 = load i32, ptr %1499, align 4, !tbaa !9
  %1501 = add i32 %1500, %1498
  store i32 %1501, ptr %1499, align 4, !tbaa !9
  %1502 = load i32, ptr %5, align 4, !tbaa !9
  %1503 = load i32, ptr %6, align 4, !tbaa !9
  %1504 = add i32 %1502, %1503
  %1505 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  store i32 %1504, ptr %1505, align 4, !tbaa !9
  %1506 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1507 = load i32, ptr %1506, align 16, !tbaa !9
  %1508 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1509 = load i32, ptr %1508, align 4, !tbaa !9
  %1510 = and i32 %1509, -1
  %1511 = lshr i32 %1510, 6
  %1512 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1513 = load i32, ptr %1512, align 4, !tbaa !9
  %1514 = shl i32 %1513, 26
  %1515 = or i32 %1511, %1514
  %1516 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1517 = load i32, ptr %1516, align 4, !tbaa !9
  %1518 = and i32 %1517, -1
  %1519 = lshr i32 %1518, 11
  %1520 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1521 = load i32, ptr %1520, align 4, !tbaa !9
  %1522 = shl i32 %1521, 21
  %1523 = or i32 %1519, %1522
  %1524 = xor i32 %1515, %1523
  %1525 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1526 = load i32, ptr %1525, align 4, !tbaa !9
  %1527 = and i32 %1526, -1
  %1528 = lshr i32 %1527, 25
  %1529 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1530 = load i32, ptr %1529, align 4, !tbaa !9
  %1531 = shl i32 %1530, 7
  %1532 = or i32 %1528, %1531
  %1533 = xor i32 %1524, %1532
  %1534 = add i32 %1507, %1533
  %1535 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1536 = load i32, ptr %1535, align 4, !tbaa !9
  %1537 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1538 = load i32, ptr %1537, align 4, !tbaa !9
  %1539 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1540 = load i32, ptr %1539, align 8, !tbaa !9
  %1541 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1542 = load i32, ptr %1541, align 4, !tbaa !9
  %1543 = xor i32 %1540, %1542
  %1544 = and i32 %1538, %1543
  %1545 = xor i32 %1536, %1544
  %1546 = add i32 %1534, %1545
  %1547 = load i32, ptr %9, align 4, !tbaa !9
  %1548 = add i32 %1547, 3
  %1549 = zext i32 %1548 to i64
  %1550 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1549
  %1551 = load i32, ptr %1550, align 4, !tbaa !9
  %1552 = add i32 %1546, %1551
  %1553 = load i32, ptr %9, align 4, !tbaa !9
  %1554 = add i32 %1553, 3
  %1555 = sub i32 %1554, 2
  %1556 = zext i32 %1555 to i64
  %1557 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1556
  %1558 = load i32, ptr %1557, align 4, !tbaa !9
  %1559 = and i32 %1558, -1
  %1560 = lshr i32 %1559, 17
  %1561 = load i32, ptr %9, align 4, !tbaa !9
  %1562 = add i32 %1561, 3
  %1563 = sub i32 %1562, 2
  %1564 = zext i32 %1563 to i64
  %1565 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1564
  %1566 = load i32, ptr %1565, align 4, !tbaa !9
  %1567 = shl i32 %1566, 15
  %1568 = or i32 %1560, %1567
  %1569 = load i32, ptr %9, align 4, !tbaa !9
  %1570 = add i32 %1569, 3
  %1571 = sub i32 %1570, 2
  %1572 = zext i32 %1571 to i64
  %1573 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1572
  %1574 = load i32, ptr %1573, align 4, !tbaa !9
  %1575 = and i32 %1574, -1
  %1576 = lshr i32 %1575, 19
  %1577 = load i32, ptr %9, align 4, !tbaa !9
  %1578 = add i32 %1577, 3
  %1579 = sub i32 %1578, 2
  %1580 = zext i32 %1579 to i64
  %1581 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1580
  %1582 = load i32, ptr %1581, align 4, !tbaa !9
  %1583 = shl i32 %1582, 13
  %1584 = or i32 %1576, %1583
  %1585 = xor i32 %1568, %1584
  %1586 = load i32, ptr %9, align 4, !tbaa !9
  %1587 = add i32 %1586, 3
  %1588 = sub i32 %1587, 2
  %1589 = zext i32 %1588 to i64
  %1590 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1589
  %1591 = load i32, ptr %1590, align 4, !tbaa !9
  %1592 = and i32 %1591, -1
  %1593 = lshr i32 %1592, 10
  %1594 = xor i32 %1585, %1593
  %1595 = load i32, ptr %9, align 4, !tbaa !9
  %1596 = add i32 %1595, 3
  %1597 = sub i32 %1596, 7
  %1598 = zext i32 %1597 to i64
  %1599 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1598
  %1600 = load i32, ptr %1599, align 4, !tbaa !9
  %1601 = add i32 %1594, %1600
  %1602 = load i32, ptr %9, align 4, !tbaa !9
  %1603 = add i32 %1602, 3
  %1604 = sub i32 %1603, 15
  %1605 = zext i32 %1604 to i64
  %1606 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1605
  %1607 = load i32, ptr %1606, align 4, !tbaa !9
  %1608 = and i32 %1607, -1
  %1609 = lshr i32 %1608, 7
  %1610 = load i32, ptr %9, align 4, !tbaa !9
  %1611 = add i32 %1610, 3
  %1612 = sub i32 %1611, 15
  %1613 = zext i32 %1612 to i64
  %1614 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1613
  %1615 = load i32, ptr %1614, align 4, !tbaa !9
  %1616 = shl i32 %1615, 25
  %1617 = or i32 %1609, %1616
  %1618 = load i32, ptr %9, align 4, !tbaa !9
  %1619 = add i32 %1618, 3
  %1620 = sub i32 %1619, 15
  %1621 = zext i32 %1620 to i64
  %1622 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1621
  %1623 = load i32, ptr %1622, align 4, !tbaa !9
  %1624 = and i32 %1623, -1
  %1625 = lshr i32 %1624, 18
  %1626 = load i32, ptr %9, align 4, !tbaa !9
  %1627 = add i32 %1626, 3
  %1628 = sub i32 %1627, 15
  %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 = shl i32 %1631, 14
  %1633 = or i32 %1625, %1632
  %1634 = xor i32 %1617, %1633
  %1635 = load i32, ptr %9, align 4, !tbaa !9
  %1636 = add i32 %1635, 3
  %1637 = sub i32 %1636, 15
  %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 = and i32 %1640, -1
  %1642 = lshr i32 %1641, 3
  %1643 = xor i32 %1634, %1642
  %1644 = add i32 %1601, %1643
  %1645 = load i32, ptr %9, align 4, !tbaa !9
  %1646 = add i32 %1645, 3
  %1647 = sub i32 %1646, 16
  %1648 = zext i32 %1647 to i64
  %1649 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1648
  %1650 = load i32, ptr %1649, align 4, !tbaa !9
  %1651 = add i32 %1644, %1650
  %1652 = load i32, ptr %9, align 4, !tbaa !9
  %1653 = add i32 %1652, 3
  %1654 = zext i32 %1653 to i64
  %1655 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1654
  store i32 %1651, ptr %1655, align 4, !tbaa !9
  %1656 = add i32 %1552, %1651
  store i32 %1656, ptr %5, align 4, !tbaa !9
  %1657 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1658 = load i32, ptr %1657, align 4, !tbaa !9
  %1659 = and i32 %1658, -1
  %1660 = lshr i32 %1659, 2
  %1661 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1662 = load i32, ptr %1661, align 4, !tbaa !9
  %1663 = shl i32 %1662, 30
  %1664 = or i32 %1660, %1663
  %1665 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1666 = load i32, ptr %1665, align 4, !tbaa !9
  %1667 = and i32 %1666, -1
  %1668 = lshr i32 %1667, 13
  %1669 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1670 = load i32, ptr %1669, align 4, !tbaa !9
  %1671 = shl i32 %1670, 19
  %1672 = or i32 %1668, %1671
  %1673 = xor i32 %1664, %1672
  %1674 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1675 = load i32, ptr %1674, align 4, !tbaa !9
  %1676 = and i32 %1675, -1
  %1677 = lshr i32 %1676, 22
  %1678 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1679 = load i32, ptr %1678, align 4, !tbaa !9
  %1680 = shl i32 %1679, 10
  %1681 = or i32 %1677, %1680
  %1682 = xor i32 %1673, %1681
  %1683 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1684 = load i32, ptr %1683, align 4, !tbaa !9
  %1685 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1686 = load i32, ptr %1685, align 8, !tbaa !9
  %1687 = and i32 %1684, %1686
  %1688 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1689 = load i32, ptr %1688, align 4, !tbaa !9
  %1690 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1691 = load i32, ptr %1690, align 4, !tbaa !9
  %1692 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1693 = load i32, ptr %1692, align 8, !tbaa !9
  %1694 = or i32 %1691, %1693
  %1695 = and i32 %1689, %1694
  %1696 = or i32 %1687, %1695
  %1697 = add i32 %1682, %1696
  store i32 %1697, ptr %6, align 4, !tbaa !9
  %1698 = load i32, ptr %5, align 4, !tbaa !9
  %1699 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1700 = load i32, ptr %1699, align 16, !tbaa !9
  %1701 = add i32 %1700, %1698
  store i32 %1701, ptr %1699, align 16, !tbaa !9
  %1702 = load i32, ptr %5, align 4, !tbaa !9
  %1703 = load i32, ptr %6, align 4, !tbaa !9
  %1704 = add i32 %1702, %1703
  %1705 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  store i32 %1704, ptr %1705, align 16, !tbaa !9
  %1706 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %1707 = load i32, ptr %1706, align 4, !tbaa !9
  %1708 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1709 = load i32, ptr %1708, align 16, !tbaa !9
  %1710 = and i32 %1709, -1
  %1711 = lshr i32 %1710, 6
  %1712 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1713 = load i32, ptr %1712, align 16, !tbaa !9
  %1714 = shl i32 %1713, 26
  %1715 = or i32 %1711, %1714
  %1716 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1717 = load i32, ptr %1716, align 16, !tbaa !9
  %1718 = and i32 %1717, -1
  %1719 = lshr i32 %1718, 11
  %1720 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1721 = load i32, ptr %1720, align 16, !tbaa !9
  %1722 = shl i32 %1721, 21
  %1723 = or i32 %1719, %1722
  %1724 = xor i32 %1715, %1723
  %1725 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1726 = load i32, ptr %1725, align 16, !tbaa !9
  %1727 = and i32 %1726, -1
  %1728 = lshr i32 %1727, 25
  %1729 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1730 = load i32, ptr %1729, align 16, !tbaa !9
  %1731 = shl i32 %1730, 7
  %1732 = or i32 %1728, %1731
  %1733 = xor i32 %1724, %1732
  %1734 = add i32 %1707, %1733
  %1735 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1736 = load i32, ptr %1735, align 8, !tbaa !9
  %1737 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1738 = load i32, ptr %1737, align 16, !tbaa !9
  %1739 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1740 = load i32, ptr %1739, align 4, !tbaa !9
  %1741 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1742 = load i32, ptr %1741, align 8, !tbaa !9
  %1743 = xor i32 %1740, %1742
  %1744 = and i32 %1738, %1743
  %1745 = xor i32 %1736, %1744
  %1746 = add i32 %1734, %1745
  %1747 = load i32, ptr %9, align 4, !tbaa !9
  %1748 = add i32 %1747, 4
  %1749 = zext i32 %1748 to i64
  %1750 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1749
  %1751 = load i32, ptr %1750, align 4, !tbaa !9
  %1752 = add i32 %1746, %1751
  %1753 = load i32, ptr %9, align 4, !tbaa !9
  %1754 = add i32 %1753, 4
  %1755 = sub i32 %1754, 2
  %1756 = zext i32 %1755 to i64
  %1757 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1756
  %1758 = load i32, ptr %1757, align 4, !tbaa !9
  %1759 = and i32 %1758, -1
  %1760 = lshr i32 %1759, 17
  %1761 = load i32, ptr %9, align 4, !tbaa !9
  %1762 = add i32 %1761, 4
  %1763 = sub i32 %1762, 2
  %1764 = zext i32 %1763 to i64
  %1765 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1764
  %1766 = load i32, ptr %1765, align 4, !tbaa !9
  %1767 = shl i32 %1766, 15
  %1768 = or i32 %1760, %1767
  %1769 = load i32, ptr %9, align 4, !tbaa !9
  %1770 = add i32 %1769, 4
  %1771 = sub i32 %1770, 2
  %1772 = zext i32 %1771 to i64
  %1773 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1772
  %1774 = load i32, ptr %1773, align 4, !tbaa !9
  %1775 = and i32 %1774, -1
  %1776 = lshr i32 %1775, 19
  %1777 = load i32, ptr %9, align 4, !tbaa !9
  %1778 = add i32 %1777, 4
  %1779 = sub i32 %1778, 2
  %1780 = zext i32 %1779 to i64
  %1781 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1780
  %1782 = load i32, ptr %1781, align 4, !tbaa !9
  %1783 = shl i32 %1782, 13
  %1784 = or i32 %1776, %1783
  %1785 = xor i32 %1768, %1784
  %1786 = load i32, ptr %9, align 4, !tbaa !9
  %1787 = add i32 %1786, 4
  %1788 = sub i32 %1787, 2
  %1789 = zext i32 %1788 to i64
  %1790 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1789
  %1791 = load i32, ptr %1790, align 4, !tbaa !9
  %1792 = and i32 %1791, -1
  %1793 = lshr i32 %1792, 10
  %1794 = xor i32 %1785, %1793
  %1795 = load i32, ptr %9, align 4, !tbaa !9
  %1796 = add i32 %1795, 4
  %1797 = sub i32 %1796, 7
  %1798 = zext i32 %1797 to i64
  %1799 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1798
  %1800 = load i32, ptr %1799, align 4, !tbaa !9
  %1801 = add i32 %1794, %1800
  %1802 = load i32, ptr %9, align 4, !tbaa !9
  %1803 = add i32 %1802, 4
  %1804 = sub i32 %1803, 15
  %1805 = zext i32 %1804 to i64
  %1806 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1805
  %1807 = load i32, ptr %1806, align 4, !tbaa !9
  %1808 = and i32 %1807, -1
  %1809 = lshr i32 %1808, 7
  %1810 = load i32, ptr %9, align 4, !tbaa !9
  %1811 = add i32 %1810, 4
  %1812 = sub i32 %1811, 15
  %1813 = zext i32 %1812 to i64
  %1814 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1813
  %1815 = load i32, ptr %1814, align 4, !tbaa !9
  %1816 = shl i32 %1815, 25
  %1817 = or i32 %1809, %1816
  %1818 = load i32, ptr %9, align 4, !tbaa !9
  %1819 = add i32 %1818, 4
  %1820 = sub i32 %1819, 15
  %1821 = zext i32 %1820 to i64
  %1822 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1821
  %1823 = load i32, ptr %1822, align 4, !tbaa !9
  %1824 = and i32 %1823, -1
  %1825 = lshr i32 %1824, 18
  %1826 = load i32, ptr %9, align 4, !tbaa !9
  %1827 = add i32 %1826, 4
  %1828 = sub i32 %1827, 15
  %1829 = zext i32 %1828 to i64
  %1830 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1829
  %1831 = load i32, ptr %1830, align 4, !tbaa !9
  %1832 = shl i32 %1831, 14
  %1833 = or i32 %1825, %1832
  %1834 = xor i32 %1817, %1833
  %1835 = load i32, ptr %9, align 4, !tbaa !9
  %1836 = add i32 %1835, 4
  %1837 = sub i32 %1836, 15
  %1838 = zext i32 %1837 to i64
  %1839 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1838
  %1840 = load i32, ptr %1839, align 4, !tbaa !9
  %1841 = and i32 %1840, -1
  %1842 = lshr i32 %1841, 3
  %1843 = xor i32 %1834, %1842
  %1844 = add i32 %1801, %1843
  %1845 = load i32, ptr %9, align 4, !tbaa !9
  %1846 = add i32 %1845, 4
  %1847 = sub i32 %1846, 16
  %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 = add i32 %1844, %1850
  %1852 = load i32, ptr %9, align 4, !tbaa !9
  %1853 = add i32 %1852, 4
  %1854 = zext i32 %1853 to i64
  %1855 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1854
  store i32 %1851, ptr %1855, align 4, !tbaa !9
  %1856 = add i32 %1752, %1851
  store i32 %1856, ptr %5, align 4, !tbaa !9
  %1857 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1858 = load i32, ptr %1857, align 16, !tbaa !9
  %1859 = and i32 %1858, -1
  %1860 = lshr i32 %1859, 2
  %1861 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1862 = load i32, ptr %1861, align 16, !tbaa !9
  %1863 = shl i32 %1862, 30
  %1864 = or i32 %1860, %1863
  %1865 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1866 = load i32, ptr %1865, align 16, !tbaa !9
  %1867 = and i32 %1866, -1
  %1868 = lshr i32 %1867, 13
  %1869 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1870 = load i32, ptr %1869, align 16, !tbaa !9
  %1871 = shl i32 %1870, 19
  %1872 = or i32 %1868, %1871
  %1873 = xor i32 %1864, %1872
  %1874 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1875 = load i32, ptr %1874, align 16, !tbaa !9
  %1876 = and i32 %1875, -1
  %1877 = lshr i32 %1876, 22
  %1878 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1879 = load i32, ptr %1878, align 16, !tbaa !9
  %1880 = shl i32 %1879, 10
  %1881 = or i32 %1877, %1880
  %1882 = xor i32 %1873, %1881
  %1883 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1884 = load i32, ptr %1883, align 16, !tbaa !9
  %1885 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1886 = load i32, ptr %1885, align 4, !tbaa !9
  %1887 = and i32 %1884, %1886
  %1888 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %1889 = load i32, ptr %1888, align 8, !tbaa !9
  %1890 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %1891 = load i32, ptr %1890, align 16, !tbaa !9
  %1892 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %1893 = load i32, ptr %1892, align 4, !tbaa !9
  %1894 = or i32 %1891, %1893
  %1895 = and i32 %1889, %1894
  %1896 = or i32 %1887, %1895
  %1897 = add i32 %1882, %1896
  store i32 %1897, ptr %6, align 4, !tbaa !9
  %1898 = load i32, ptr %5, align 4, !tbaa !9
  %1899 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1900 = load i32, ptr %1899, align 4, !tbaa !9
  %1901 = add i32 %1900, %1898
  store i32 %1901, ptr %1899, align 4, !tbaa !9
  %1902 = load i32, ptr %5, align 4, !tbaa !9
  %1903 = load i32, ptr %6, align 4, !tbaa !9
  %1904 = add i32 %1902, %1903
  %1905 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  store i32 %1904, ptr %1905, align 4, !tbaa !9
  %1906 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %1907 = load i32, ptr %1906, align 8, !tbaa !9
  %1908 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1909 = load i32, ptr %1908, align 4, !tbaa !9
  %1910 = and i32 %1909, -1
  %1911 = lshr i32 %1910, 6
  %1912 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1913 = load i32, ptr %1912, align 4, !tbaa !9
  %1914 = shl i32 %1913, 26
  %1915 = or i32 %1911, %1914
  %1916 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1917 = load i32, ptr %1916, align 4, !tbaa !9
  %1918 = and i32 %1917, -1
  %1919 = lshr i32 %1918, 11
  %1920 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1921 = load i32, ptr %1920, align 4, !tbaa !9
  %1922 = shl i32 %1921, 21
  %1923 = or i32 %1919, %1922
  %1924 = xor i32 %1915, %1923
  %1925 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1926 = load i32, ptr %1925, align 4, !tbaa !9
  %1927 = and i32 %1926, -1
  %1928 = lshr i32 %1927, 25
  %1929 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1930 = load i32, ptr %1929, align 4, !tbaa !9
  %1931 = shl i32 %1930, 7
  %1932 = or i32 %1928, %1931
  %1933 = xor i32 %1924, %1932
  %1934 = add i32 %1907, %1933
  %1935 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1936 = load i32, ptr %1935, align 4, !tbaa !9
  %1937 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %1938 = load i32, ptr %1937, align 4, !tbaa !9
  %1939 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %1940 = load i32, ptr %1939, align 16, !tbaa !9
  %1941 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %1942 = load i32, ptr %1941, align 4, !tbaa !9
  %1943 = xor i32 %1940, %1942
  %1944 = and i32 %1938, %1943
  %1945 = xor i32 %1936, %1944
  %1946 = add i32 %1934, %1945
  %1947 = load i32, ptr %9, align 4, !tbaa !9
  %1948 = add i32 %1947, 5
  %1949 = zext i32 %1948 to i64
  %1950 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %1949
  %1951 = load i32, ptr %1950, align 4, !tbaa !9
  %1952 = add i32 %1946, %1951
  %1953 = load i32, ptr %9, align 4, !tbaa !9
  %1954 = add i32 %1953, 5
  %1955 = sub i32 %1954, 2
  %1956 = zext i32 %1955 to i64
  %1957 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1956
  %1958 = load i32, ptr %1957, align 4, !tbaa !9
  %1959 = and i32 %1958, -1
  %1960 = lshr i32 %1959, 17
  %1961 = load i32, ptr %9, align 4, !tbaa !9
  %1962 = add i32 %1961, 5
  %1963 = sub i32 %1962, 2
  %1964 = zext i32 %1963 to i64
  %1965 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1964
  %1966 = load i32, ptr %1965, align 4, !tbaa !9
  %1967 = shl i32 %1966, 15
  %1968 = or i32 %1960, %1967
  %1969 = load i32, ptr %9, align 4, !tbaa !9
  %1970 = add i32 %1969, 5
  %1971 = sub i32 %1970, 2
  %1972 = zext i32 %1971 to i64
  %1973 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1972
  %1974 = load i32, ptr %1973, align 4, !tbaa !9
  %1975 = and i32 %1974, -1
  %1976 = lshr i32 %1975, 19
  %1977 = load i32, ptr %9, align 4, !tbaa !9
  %1978 = add i32 %1977, 5
  %1979 = sub i32 %1978, 2
  %1980 = zext i32 %1979 to i64
  %1981 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1980
  %1982 = load i32, ptr %1981, align 4, !tbaa !9
  %1983 = shl i32 %1982, 13
  %1984 = or i32 %1976, %1983
  %1985 = xor i32 %1968, %1984
  %1986 = load i32, ptr %9, align 4, !tbaa !9
  %1987 = add i32 %1986, 5
  %1988 = sub i32 %1987, 2
  %1989 = zext i32 %1988 to i64
  %1990 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1989
  %1991 = load i32, ptr %1990, align 4, !tbaa !9
  %1992 = and i32 %1991, -1
  %1993 = lshr i32 %1992, 10
  %1994 = xor i32 %1985, %1993
  %1995 = load i32, ptr %9, align 4, !tbaa !9
  %1996 = add i32 %1995, 5
  %1997 = sub i32 %1996, 7
  %1998 = zext i32 %1997 to i64
  %1999 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %1998
  %2000 = load i32, ptr %1999, align 4, !tbaa !9
  %2001 = add i32 %1994, %2000
  %2002 = load i32, ptr %9, align 4, !tbaa !9
  %2003 = add i32 %2002, 5
  %2004 = sub i32 %2003, 15
  %2005 = zext i32 %2004 to i64
  %2006 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2005
  %2007 = load i32, ptr %2006, align 4, !tbaa !9
  %2008 = and i32 %2007, -1
  %2009 = lshr i32 %2008, 7
  %2010 = load i32, ptr %9, align 4, !tbaa !9
  %2011 = add i32 %2010, 5
  %2012 = sub i32 %2011, 15
  %2013 = zext i32 %2012 to i64
  %2014 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2013
  %2015 = load i32, ptr %2014, align 4, !tbaa !9
  %2016 = shl i32 %2015, 25
  %2017 = or i32 %2009, %2016
  %2018 = load i32, ptr %9, align 4, !tbaa !9
  %2019 = add i32 %2018, 5
  %2020 = sub i32 %2019, 15
  %2021 = zext i32 %2020 to i64
  %2022 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2021
  %2023 = load i32, ptr %2022, align 4, !tbaa !9
  %2024 = and i32 %2023, -1
  %2025 = lshr i32 %2024, 18
  %2026 = load i32, ptr %9, align 4, !tbaa !9
  %2027 = add i32 %2026, 5
  %2028 = sub i32 %2027, 15
  %2029 = zext i32 %2028 to i64
  %2030 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2029
  %2031 = load i32, ptr %2030, align 4, !tbaa !9
  %2032 = shl i32 %2031, 14
  %2033 = or i32 %2025, %2032
  %2034 = xor i32 %2017, %2033
  %2035 = load i32, ptr %9, align 4, !tbaa !9
  %2036 = add i32 %2035, 5
  %2037 = sub i32 %2036, 15
  %2038 = zext i32 %2037 to i64
  %2039 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2038
  %2040 = load i32, ptr %2039, align 4, !tbaa !9
  %2041 = and i32 %2040, -1
  %2042 = lshr i32 %2041, 3
  %2043 = xor i32 %2034, %2042
  %2044 = add i32 %2001, %2043
  %2045 = load i32, ptr %9, align 4, !tbaa !9
  %2046 = add i32 %2045, 5
  %2047 = sub i32 %2046, 16
  %2048 = zext i32 %2047 to i64
  %2049 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2048
  %2050 = load i32, ptr %2049, align 4, !tbaa !9
  %2051 = add i32 %2044, %2050
  %2052 = load i32, ptr %9, align 4, !tbaa !9
  %2053 = add i32 %2052, 5
  %2054 = zext i32 %2053 to i64
  %2055 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2054
  store i32 %2051, ptr %2055, align 4, !tbaa !9
  %2056 = add i32 %1952, %2051
  store i32 %2056, ptr %5, align 4, !tbaa !9
  %2057 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2058 = load i32, ptr %2057, align 4, !tbaa !9
  %2059 = and i32 %2058, -1
  %2060 = lshr i32 %2059, 2
  %2061 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2062 = load i32, ptr %2061, align 4, !tbaa !9
  %2063 = shl i32 %2062, 30
  %2064 = or i32 %2060, %2063
  %2065 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2066 = load i32, ptr %2065, align 4, !tbaa !9
  %2067 = and i32 %2066, -1
  %2068 = lshr i32 %2067, 13
  %2069 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2070 = load i32, ptr %2069, align 4, !tbaa !9
  %2071 = shl i32 %2070, 19
  %2072 = or i32 %2068, %2071
  %2073 = xor i32 %2064, %2072
  %2074 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2075 = load i32, ptr %2074, align 4, !tbaa !9
  %2076 = and i32 %2075, -1
  %2077 = lshr i32 %2076, 22
  %2078 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2079 = load i32, ptr %2078, align 4, !tbaa !9
  %2080 = shl i32 %2079, 10
  %2081 = or i32 %2077, %2080
  %2082 = xor i32 %2073, %2081
  %2083 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2084 = load i32, ptr %2083, align 4, !tbaa !9
  %2085 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %2086 = load i32, ptr %2085, align 16, !tbaa !9
  %2087 = and i32 %2084, %2086
  %2088 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2089 = load i32, ptr %2088, align 4, !tbaa !9
  %2090 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2091 = load i32, ptr %2090, align 4, !tbaa !9
  %2092 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %2093 = load i32, ptr %2092, align 16, !tbaa !9
  %2094 = or i32 %2091, %2093
  %2095 = and i32 %2089, %2094
  %2096 = or i32 %2087, %2095
  %2097 = add i32 %2082, %2096
  store i32 %2097, ptr %6, align 4, !tbaa !9
  %2098 = load i32, ptr %5, align 4, !tbaa !9
  %2099 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2100 = load i32, ptr %2099, align 8, !tbaa !9
  %2101 = add i32 %2100, %2098
  store i32 %2101, ptr %2099, align 8, !tbaa !9
  %2102 = load i32, ptr %5, align 4, !tbaa !9
  %2103 = load i32, ptr %6, align 4, !tbaa !9
  %2104 = add i32 %2102, %2103
  %2105 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  store i32 %2104, ptr %2105, align 8, !tbaa !9
  %2106 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2107 = load i32, ptr %2106, align 4, !tbaa !9
  %2108 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2109 = load i32, ptr %2108, align 8, !tbaa !9
  %2110 = and i32 %2109, -1
  %2111 = lshr i32 %2110, 6
  %2112 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2113 = load i32, ptr %2112, align 8, !tbaa !9
  %2114 = shl i32 %2113, 26
  %2115 = or i32 %2111, %2114
  %2116 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2117 = load i32, ptr %2116, align 8, !tbaa !9
  %2118 = and i32 %2117, -1
  %2119 = lshr i32 %2118, 11
  %2120 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2121 = load i32, ptr %2120, align 8, !tbaa !9
  %2122 = shl i32 %2121, 21
  %2123 = or i32 %2119, %2122
  %2124 = xor i32 %2115, %2123
  %2125 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2126 = load i32, ptr %2125, align 8, !tbaa !9
  %2127 = and i32 %2126, -1
  %2128 = lshr i32 %2127, 25
  %2129 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2130 = load i32, ptr %2129, align 8, !tbaa !9
  %2131 = shl i32 %2130, 7
  %2132 = or i32 %2128, %2131
  %2133 = xor i32 %2124, %2132
  %2134 = add i32 %2107, %2133
  %2135 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %2136 = load i32, ptr %2135, align 16, !tbaa !9
  %2137 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2138 = load i32, ptr %2137, align 8, !tbaa !9
  %2139 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %2140 = load i32, ptr %2139, align 4, !tbaa !9
  %2141 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %2142 = load i32, ptr %2141, align 16, !tbaa !9
  %2143 = xor i32 %2140, %2142
  %2144 = and i32 %2138, %2143
  %2145 = xor i32 %2136, %2144
  %2146 = add i32 %2134, %2145
  %2147 = load i32, ptr %9, align 4, !tbaa !9
  %2148 = add i32 %2147, 6
  %2149 = zext i32 %2148 to i64
  %2150 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %2149
  %2151 = load i32, ptr %2150, align 4, !tbaa !9
  %2152 = add i32 %2146, %2151
  %2153 = load i32, ptr %9, align 4, !tbaa !9
  %2154 = add i32 %2153, 6
  %2155 = sub i32 %2154, 2
  %2156 = zext i32 %2155 to i64
  %2157 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2156
  %2158 = load i32, ptr %2157, align 4, !tbaa !9
  %2159 = and i32 %2158, -1
  %2160 = lshr i32 %2159, 17
  %2161 = load i32, ptr %9, align 4, !tbaa !9
  %2162 = add i32 %2161, 6
  %2163 = sub i32 %2162, 2
  %2164 = zext i32 %2163 to i64
  %2165 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2164
  %2166 = load i32, ptr %2165, align 4, !tbaa !9
  %2167 = shl i32 %2166, 15
  %2168 = or i32 %2160, %2167
  %2169 = load i32, ptr %9, align 4, !tbaa !9
  %2170 = add i32 %2169, 6
  %2171 = sub i32 %2170, 2
  %2172 = zext i32 %2171 to i64
  %2173 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2172
  %2174 = load i32, ptr %2173, align 4, !tbaa !9
  %2175 = and i32 %2174, -1
  %2176 = lshr i32 %2175, 19
  %2177 = load i32, ptr %9, align 4, !tbaa !9
  %2178 = add i32 %2177, 6
  %2179 = sub i32 %2178, 2
  %2180 = zext i32 %2179 to i64
  %2181 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2180
  %2182 = load i32, ptr %2181, align 4, !tbaa !9
  %2183 = shl i32 %2182, 13
  %2184 = or i32 %2176, %2183
  %2185 = xor i32 %2168, %2184
  %2186 = load i32, ptr %9, align 4, !tbaa !9
  %2187 = add i32 %2186, 6
  %2188 = sub i32 %2187, 2
  %2189 = zext i32 %2188 to i64
  %2190 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2189
  %2191 = load i32, ptr %2190, align 4, !tbaa !9
  %2192 = and i32 %2191, -1
  %2193 = lshr i32 %2192, 10
  %2194 = xor i32 %2185, %2193
  %2195 = load i32, ptr %9, align 4, !tbaa !9
  %2196 = add i32 %2195, 6
  %2197 = sub i32 %2196, 7
  %2198 = zext i32 %2197 to i64
  %2199 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2198
  %2200 = load i32, ptr %2199, align 4, !tbaa !9
  %2201 = add i32 %2194, %2200
  %2202 = load i32, ptr %9, align 4, !tbaa !9
  %2203 = add i32 %2202, 6
  %2204 = sub i32 %2203, 15
  %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, 7
  %2210 = load i32, ptr %9, align 4, !tbaa !9
  %2211 = add i32 %2210, 6
  %2212 = sub i32 %2211, 15
  %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, 25
  %2217 = or i32 %2209, %2216
  %2218 = load i32, ptr %9, align 4, !tbaa !9
  %2219 = add i32 %2218, 6
  %2220 = sub i32 %2219, 15
  %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, 18
  %2226 = load i32, ptr %9, align 4, !tbaa !9
  %2227 = add i32 %2226, 6
  %2228 = sub i32 %2227, 15
  %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, 14
  %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, 15
  %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, 3
  %2243 = xor i32 %2234, %2242
  %2244 = add i32 %2201, %2243
  %2245 = load i32, ptr %9, align 4, !tbaa !9
  %2246 = add i32 %2245, 6
  %2247 = sub i32 %2246, 16
  %2248 = zext i32 %2247 to i64
  %2249 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2248
  %2250 = load i32, ptr %2249, align 4, !tbaa !9
  %2251 = add i32 %2244, %2250
  %2252 = load i32, ptr %9, align 4, !tbaa !9
  %2253 = add i32 %2252, 6
  %2254 = zext i32 %2253 to i64
  %2255 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2254
  store i32 %2251, ptr %2255, align 4, !tbaa !9
  %2256 = add i32 %2152, %2251
  store i32 %2256, ptr %5, align 4, !tbaa !9
  %2257 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2258 = load i32, ptr %2257, align 8, !tbaa !9
  %2259 = and i32 %2258, -1
  %2260 = lshr i32 %2259, 2
  %2261 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2262 = load i32, ptr %2261, align 8, !tbaa !9
  %2263 = shl i32 %2262, 30
  %2264 = or i32 %2260, %2263
  %2265 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2266 = load i32, ptr %2265, align 8, !tbaa !9
  %2267 = and i32 %2266, -1
  %2268 = lshr i32 %2267, 13
  %2269 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2270 = load i32, ptr %2269, align 8, !tbaa !9
  %2271 = shl i32 %2270, 19
  %2272 = or i32 %2268, %2271
  %2273 = xor i32 %2264, %2272
  %2274 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2275 = load i32, ptr %2274, align 8, !tbaa !9
  %2276 = and i32 %2275, -1
  %2277 = lshr i32 %2276, 22
  %2278 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2279 = load i32, ptr %2278, align 8, !tbaa !9
  %2280 = shl i32 %2279, 10
  %2281 = or i32 %2277, %2280
  %2282 = xor i32 %2273, %2281
  %2283 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2284 = load i32, ptr %2283, align 8, !tbaa !9
  %2285 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2286 = load i32, ptr %2285, align 4, !tbaa !9
  %2287 = and i32 %2284, %2286
  %2288 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %2289 = load i32, ptr %2288, align 16, !tbaa !9
  %2290 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2291 = load i32, ptr %2290, align 8, !tbaa !9
  %2292 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2293 = load i32, ptr %2292, align 4, !tbaa !9
  %2294 = or i32 %2291, %2293
  %2295 = and i32 %2289, %2294
  %2296 = or i32 %2287, %2295
  %2297 = add i32 %2282, %2296
  store i32 %2297, ptr %6, align 4, !tbaa !9
  %2298 = load i32, ptr %5, align 4, !tbaa !9
  %2299 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2300 = load i32, ptr %2299, align 4, !tbaa !9
  %2301 = add i32 %2300, %2298
  store i32 %2301, ptr %2299, align 4, !tbaa !9
  %2302 = load i32, ptr %5, align 4, !tbaa !9
  %2303 = load i32, ptr %6, align 4, !tbaa !9
  %2304 = add i32 %2302, %2303
  %2305 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  store i32 %2304, ptr %2305, align 4, !tbaa !9
  %2306 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  %2307 = load i32, ptr %2306, align 16, !tbaa !9
  %2308 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2309 = load i32, ptr %2308, align 4, !tbaa !9
  %2310 = and i32 %2309, -1
  %2311 = lshr i32 %2310, 6
  %2312 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2313 = load i32, ptr %2312, align 4, !tbaa !9
  %2314 = shl i32 %2313, 26
  %2315 = or i32 %2311, %2314
  %2316 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2317 = load i32, ptr %2316, align 4, !tbaa !9
  %2318 = and i32 %2317, -1
  %2319 = lshr i32 %2318, 11
  %2320 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2321 = load i32, ptr %2320, align 4, !tbaa !9
  %2322 = shl i32 %2321, 21
  %2323 = or i32 %2319, %2322
  %2324 = xor i32 %2315, %2323
  %2325 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2326 = load i32, ptr %2325, align 4, !tbaa !9
  %2327 = and i32 %2326, -1
  %2328 = lshr i32 %2327, 25
  %2329 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2330 = load i32, ptr %2329, align 4, !tbaa !9
  %2331 = shl i32 %2330, 7
  %2332 = or i32 %2328, %2331
  %2333 = xor i32 %2324, %2332
  %2334 = add i32 %2307, %2333
  %2335 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %2336 = load i32, ptr %2335, align 4, !tbaa !9
  %2337 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 5
  %2338 = load i32, ptr %2337, align 4, !tbaa !9
  %2339 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 6
  %2340 = load i32, ptr %2339, align 8, !tbaa !9
  %2341 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 7
  %2342 = load i32, ptr %2341, align 4, !tbaa !9
  %2343 = xor i32 %2340, %2342
  %2344 = and i32 %2338, %2343
  %2345 = xor i32 %2336, %2344
  %2346 = add i32 %2334, %2345
  %2347 = load i32, ptr %9, align 4, !tbaa !9
  %2348 = add i32 %2347, 7
  %2349 = zext i32 %2348 to i64
  %2350 = getelementptr inbounds [64 x i32], ptr @K, i64 0, i64 %2349
  %2351 = load i32, ptr %2350, align 4, !tbaa !9
  %2352 = add i32 %2346, %2351
  %2353 = load i32, ptr %9, align 4, !tbaa !9
  %2354 = add i32 %2353, 7
  %2355 = sub i32 %2354, 2
  %2356 = zext i32 %2355 to i64
  %2357 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2356
  %2358 = load i32, ptr %2357, align 4, !tbaa !9
  %2359 = and i32 %2358, -1
  %2360 = lshr i32 %2359, 17
  %2361 = load i32, ptr %9, align 4, !tbaa !9
  %2362 = add i32 %2361, 7
  %2363 = sub i32 %2362, 2
  %2364 = zext i32 %2363 to i64
  %2365 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2364
  %2366 = load i32, ptr %2365, align 4, !tbaa !9
  %2367 = shl i32 %2366, 15
  %2368 = or i32 %2360, %2367
  %2369 = load i32, ptr %9, align 4, !tbaa !9
  %2370 = add i32 %2369, 7
  %2371 = sub i32 %2370, 2
  %2372 = zext i32 %2371 to i64
  %2373 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2372
  %2374 = load i32, ptr %2373, align 4, !tbaa !9
  %2375 = and i32 %2374, -1
  %2376 = lshr i32 %2375, 19
  %2377 = load i32, ptr %9, align 4, !tbaa !9
  %2378 = add i32 %2377, 7
  %2379 = sub i32 %2378, 2
  %2380 = zext i32 %2379 to i64
  %2381 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2380
  %2382 = load i32, ptr %2381, align 4, !tbaa !9
  %2383 = shl i32 %2382, 13
  %2384 = or i32 %2376, %2383
  %2385 = xor i32 %2368, %2384
  %2386 = load i32, ptr %9, align 4, !tbaa !9
  %2387 = add i32 %2386, 7
  %2388 = sub i32 %2387, 2
  %2389 = zext i32 %2388 to i64
  %2390 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2389
  %2391 = load i32, ptr %2390, align 4, !tbaa !9
  %2392 = and i32 %2391, -1
  %2393 = lshr i32 %2392, 10
  %2394 = xor i32 %2385, %2393
  %2395 = load i32, ptr %9, align 4, !tbaa !9
  %2396 = add i32 %2395, 7
  %2397 = sub i32 %2396, 7
  %2398 = zext i32 %2397 to i64
  %2399 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2398
  %2400 = load i32, ptr %2399, align 4, !tbaa !9
  %2401 = add i32 %2394, %2400
  %2402 = load i32, ptr %9, align 4, !tbaa !9
  %2403 = add i32 %2402, 7
  %2404 = sub i32 %2403, 15
  %2405 = zext i32 %2404 to i64
  %2406 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2405
  %2407 = load i32, ptr %2406, align 4, !tbaa !9
  %2408 = and i32 %2407, -1
  %2409 = lshr i32 %2408, 7
  %2410 = load i32, ptr %9, align 4, !tbaa !9
  %2411 = add i32 %2410, 7
  %2412 = sub i32 %2411, 15
  %2413 = zext i32 %2412 to i64
  %2414 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2413
  %2415 = load i32, ptr %2414, align 4, !tbaa !9
  %2416 = shl i32 %2415, 25
  %2417 = or i32 %2409, %2416
  %2418 = load i32, ptr %9, align 4, !tbaa !9
  %2419 = add i32 %2418, 7
  %2420 = sub i32 %2419, 15
  %2421 = zext i32 %2420 to i64
  %2422 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2421
  %2423 = load i32, ptr %2422, align 4, !tbaa !9
  %2424 = and i32 %2423, -1
  %2425 = lshr i32 %2424, 18
  %2426 = load i32, ptr %9, align 4, !tbaa !9
  %2427 = add i32 %2426, 7
  %2428 = sub i32 %2427, 15
  %2429 = zext i32 %2428 to i64
  %2430 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2429
  %2431 = load i32, ptr %2430, align 4, !tbaa !9
  %2432 = shl i32 %2431, 14
  %2433 = or i32 %2425, %2432
  %2434 = xor i32 %2417, %2433
  %2435 = load i32, ptr %9, align 4, !tbaa !9
  %2436 = add i32 %2435, 7
  %2437 = sub i32 %2436, 15
  %2438 = zext i32 %2437 to i64
  %2439 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2438
  %2440 = load i32, ptr %2439, align 4, !tbaa !9
  %2441 = and i32 %2440, -1
  %2442 = lshr i32 %2441, 3
  %2443 = xor i32 %2434, %2442
  %2444 = add i32 %2401, %2443
  %2445 = load i32, ptr %9, align 4, !tbaa !9
  %2446 = add i32 %2445, 7
  %2447 = sub i32 %2446, 16
  %2448 = zext i32 %2447 to i64
  %2449 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2448
  %2450 = load i32, ptr %2449, align 4, !tbaa !9
  %2451 = add i32 %2444, %2450
  %2452 = load i32, ptr %9, align 4, !tbaa !9
  %2453 = add i32 %2452, 7
  %2454 = zext i32 %2453 to i64
  %2455 = getelementptr inbounds [64 x i32], ptr %7, i64 0, i64 %2454
  store i32 %2451, ptr %2455, align 4, !tbaa !9
  %2456 = add i32 %2352, %2451
  store i32 %2456, ptr %5, align 4, !tbaa !9
  %2457 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2458 = load i32, ptr %2457, align 4, !tbaa !9
  %2459 = and i32 %2458, -1
  %2460 = lshr i32 %2459, 2
  %2461 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2462 = load i32, ptr %2461, align 4, !tbaa !9
  %2463 = shl i32 %2462, 30
  %2464 = or i32 %2460, %2463
  %2465 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2466 = load i32, ptr %2465, align 4, !tbaa !9
  %2467 = and i32 %2466, -1
  %2468 = lshr i32 %2467, 13
  %2469 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2470 = load i32, ptr %2469, align 4, !tbaa !9
  %2471 = shl i32 %2470, 19
  %2472 = or i32 %2468, %2471
  %2473 = xor i32 %2464, %2472
  %2474 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2475 = load i32, ptr %2474, align 4, !tbaa !9
  %2476 = and i32 %2475, -1
  %2477 = lshr i32 %2476, 22
  %2478 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2479 = load i32, ptr %2478, align 4, !tbaa !9
  %2480 = shl i32 %2479, 10
  %2481 = or i32 %2477, %2480
  %2482 = xor i32 %2473, %2481
  %2483 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2484 = load i32, ptr %2483, align 4, !tbaa !9
  %2485 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2486 = load i32, ptr %2485, align 8, !tbaa !9
  %2487 = and i32 %2484, %2486
  %2488 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 3
  %2489 = load i32, ptr %2488, align 4, !tbaa !9
  %2490 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 1
  %2491 = load i32, ptr %2490, align 4, !tbaa !9
  %2492 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 2
  %2493 = load i32, ptr %2492, align 8, !tbaa !9
  %2494 = or i32 %2491, %2493
  %2495 = and i32 %2489, %2494
  %2496 = or i32 %2487, %2495
  %2497 = add i32 %2482, %2496
  store i32 %2497, ptr %6, align 4, !tbaa !9
  %2498 = load i32, ptr %5, align 4, !tbaa !9
  %2499 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 4
  %2500 = load i32, ptr %2499, align 16, !tbaa !9
  %2501 = add i32 %2500, %2498
  store i32 %2501, ptr %2499, align 16, !tbaa !9
  %2502 = load i32, ptr %5, align 4, !tbaa !9
  %2503 = load i32, ptr %6, align 4, !tbaa !9
  %2504 = add i32 %2502, %2503
  %2505 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 0
  store i32 %2504, ptr %2505, align 16, !tbaa !9
  br label %2506

2506:                                             ; preds = %905
  %2507 = load i32, ptr %9, align 4, !tbaa !9
  %2508 = add i32 %2507, 8
  store i32 %2508, ptr %9, align 4, !tbaa !9
  br label %902, !llvm.loop !16

2509:                                             ; preds = %902
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %2510

2510:                                             ; preds = %2525, %2509
  %2511 = load i32, ptr %9, align 4, !tbaa !9
  %2512 = icmp ult i32 %2511, 8
  br i1 %2512, label %2513, label %2528

2513:                                             ; preds = %2510
  %2514 = load i32, ptr %9, align 4, !tbaa !9
  %2515 = zext i32 %2514 to i64
  %2516 = getelementptr inbounds [8 x i32], ptr %8, i64 0, i64 %2515
  %2517 = load i32, ptr %2516, align 4, !tbaa !9
  %2518 = load ptr, ptr %3, align 8, !tbaa !5
  %2519 = getelementptr inbounds %struct.mbedtls_sha256_context, ptr %2518, i32 0, i32 1
  %2520 = load i32, ptr %9, align 4, !tbaa !9
  %2521 = zext i32 %2520 to i64
  %2522 = getelementptr inbounds [8 x i32], ptr %2519, i64 0, i64 %2521
  %2523 = load i32, ptr %2522, align 4, !tbaa !9
  %2524 = add i32 %2523, %2517
  store i32 %2524, ptr %2522, align 4, !tbaa !9
  br label %2525

2525:                                             ; preds = %2513
  %2526 = load i32, ptr %9, align 4, !tbaa !9
  %2527 = add i32 %2526, 1
  store i32 %2527, ptr %9, align 4, !tbaa !9
  br label %2510, !llvm.loop !17

2528:                                             ; preds = %2510
  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 void
}

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = 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 void @mbedtls_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 void

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