; LLVM IR from cryspen/libcrux :: sys/hacl/c/src (Hacl_Hash_SHA3)

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

@keccak_piln = external hidden constant [24 x i32], align 16
@keccak_rotc = external hidden constant [24 x i32], align 16
@keccak_rndc = external hidden constant [24 x i64], align 16

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

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #1

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_Hash_SHA3_state_permute(ptr noundef %0) #2 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca [5 x i64], align 16
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i64, align 8
  %9 = alloca i64, align 8
  %10 = alloca i32, align 4
  %11 = alloca i64, align 8
  %12 = alloca i64, align 8
  %13 = alloca i32, align 4
  %14 = alloca i64, align 8
  %15 = alloca i64, align 8
  %16 = alloca i32, align 4
  %17 = alloca i64, align 8
  %18 = alloca i64, align 8
  %19 = alloca i32, align 4
  %20 = alloca i64, align 8
  %21 = alloca i64, align 8
  %22 = alloca i32, align 4
  %23 = alloca i64, align 8
  %24 = alloca i64, align 8
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i64, align 8
  %29 = alloca i64, align 8
  %30 = alloca i32, align 4
  %31 = alloca i64, align 8
  %32 = alloca i64, align 8
  %33 = alloca i64, align 8
  %34 = alloca i64, align 8
  %35 = alloca i64, align 8
  %36 = alloca i64, align 8
  %37 = alloca i64, align 8
  %38 = alloca i64, align 8
  %39 = alloca i64, align 8
  %40 = alloca i64, align 8
  %41 = alloca i64, align 8
  %42 = alloca i64, align 8
  %43 = alloca i64, align 8
  %44 = alloca i64, align 8
  %45 = alloca i64, align 8
  %46 = alloca i64, align 8
  %47 = alloca i64, align 8
  %48 = alloca i64, align 8
  %49 = alloca i64, align 8
  %50 = alloca i64, align 8
  %51 = alloca i64, align 8
  %52 = alloca i64, align 8
  %53 = alloca i64, align 8
  %54 = alloca i64, align 8
  %55 = alloca i64, align 8
  %56 = alloca i64, align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #3
  store i32 0, ptr %3, align 4, !tbaa !9
  br label %57

57:                                               ; preds = %1734, %1
  %58 = load i32, ptr %3, align 4, !tbaa !9
  %59 = icmp ult i32 %58, 24
  br i1 %59, label %61, label %60

60:                                               ; preds = %57
  store i32 2, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #3
  br label %1737

61:                                               ; preds = %57
  call void @llvm.lifetime.start.p0(i64 40, ptr %5) #3
  call void @llvm.memset.p0.i64(ptr align 16 %5, i8 0, i64 40, i1 false)
  br label %62

62:                                               ; preds = %61
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #3
  store i32 0, ptr %6, align 4, !tbaa !9
  %63 = load ptr, ptr %2, align 8, !tbaa !5
  %64 = load i32, ptr %6, align 4, !tbaa !9
  %65 = add i32 %64, 0
  %66 = zext i32 %65 to i64
  %67 = getelementptr inbounds i64, ptr %63, i64 %66
  %68 = load i64, ptr %67, align 8, !tbaa !11
  %69 = load ptr, ptr %2, align 8, !tbaa !5
  %70 = load i32, ptr %6, align 4, !tbaa !9
  %71 = add i32 %70, 5
  %72 = zext i32 %71 to i64
  %73 = getelementptr inbounds i64, ptr %69, i64 %72
  %74 = load i64, ptr %73, align 8, !tbaa !11
  %75 = load ptr, ptr %2, align 8, !tbaa !5
  %76 = load i32, ptr %6, align 4, !tbaa !9
  %77 = add i32 %76, 10
  %78 = zext i32 %77 to i64
  %79 = getelementptr inbounds i64, ptr %75, i64 %78
  %80 = load i64, ptr %79, align 8, !tbaa !11
  %81 = load ptr, ptr %2, align 8, !tbaa !5
  %82 = load i32, ptr %6, align 4, !tbaa !9
  %83 = add i32 %82, 15
  %84 = zext i32 %83 to i64
  %85 = getelementptr inbounds i64, ptr %81, i64 %84
  %86 = load i64, ptr %85, align 8, !tbaa !11
  %87 = load ptr, ptr %2, align 8, !tbaa !5
  %88 = load i32, ptr %6, align 4, !tbaa !9
  %89 = add i32 %88, 20
  %90 = zext i32 %89 to i64
  %91 = getelementptr inbounds i64, ptr %87, i64 %90
  %92 = load i64, ptr %91, align 8, !tbaa !11
  %93 = xor i64 %86, %92
  %94 = xor i64 %80, %93
  %95 = xor i64 %74, %94
  %96 = xor i64 %68, %95
  %97 = load i32, ptr %6, align 4, !tbaa !9
  %98 = zext i32 %97 to i64
  %99 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %98
  store i64 %96, ptr %99, align 8, !tbaa !11
  %100 = load i32, ptr %6, align 4, !tbaa !9
  %101 = add i32 %100, 1
  store i32 %101, ptr %6, align 4, !tbaa !9
  %102 = load i32, ptr %6, align 4, !tbaa !9
  %103 = load ptr, ptr %2, align 8, !tbaa !5
  %104 = load i32, ptr %6, align 4, !tbaa !9
  %105 = add i32 %104, 0
  %106 = zext i32 %105 to i64
  %107 = getelementptr inbounds i64, ptr %103, i64 %106
  %108 = load i64, ptr %107, align 8, !tbaa !11
  %109 = load ptr, ptr %2, align 8, !tbaa !5
  %110 = load i32, ptr %6, align 4, !tbaa !9
  %111 = add i32 %110, 5
  %112 = zext i32 %111 to i64
  %113 = getelementptr inbounds i64, ptr %109, i64 %112
  %114 = load i64, ptr %113, align 8, !tbaa !11
  %115 = load ptr, ptr %2, align 8, !tbaa !5
  %116 = load i32, ptr %6, align 4, !tbaa !9
  %117 = add i32 %116, 10
  %118 = zext i32 %117 to i64
  %119 = getelementptr inbounds i64, ptr %115, i64 %118
  %120 = load i64, ptr %119, align 8, !tbaa !11
  %121 = load ptr, ptr %2, align 8, !tbaa !5
  %122 = load i32, ptr %6, align 4, !tbaa !9
  %123 = add i32 %122, 15
  %124 = zext i32 %123 to i64
  %125 = getelementptr inbounds i64, ptr %121, i64 %124
  %126 = load i64, ptr %125, align 8, !tbaa !11
  %127 = load ptr, ptr %2, align 8, !tbaa !5
  %128 = load i32, ptr %6, align 4, !tbaa !9
  %129 = add i32 %128, 20
  %130 = zext i32 %129 to i64
  %131 = getelementptr inbounds i64, ptr %127, i64 %130
  %132 = load i64, ptr %131, align 8, !tbaa !11
  %133 = xor i64 %126, %132
  %134 = xor i64 %120, %133
  %135 = xor i64 %114, %134
  %136 = xor i64 %108, %135
  %137 = load i32, ptr %6, align 4, !tbaa !9
  %138 = zext i32 %137 to i64
  %139 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %138
  store i64 %136, ptr %139, align 8, !tbaa !11
  %140 = load i32, ptr %6, align 4, !tbaa !9
  %141 = add i32 %140, 1
  store i32 %141, ptr %6, align 4, !tbaa !9
  %142 = load i32, ptr %6, align 4, !tbaa !9
  %143 = load ptr, ptr %2, align 8, !tbaa !5
  %144 = load i32, ptr %6, align 4, !tbaa !9
  %145 = add i32 %144, 0
  %146 = zext i32 %145 to i64
  %147 = getelementptr inbounds i64, ptr %143, i64 %146
  %148 = load i64, ptr %147, align 8, !tbaa !11
  %149 = load ptr, ptr %2, align 8, !tbaa !5
  %150 = load i32, ptr %6, align 4, !tbaa !9
  %151 = add i32 %150, 5
  %152 = zext i32 %151 to i64
  %153 = getelementptr inbounds i64, ptr %149, i64 %152
  %154 = load i64, ptr %153, align 8, !tbaa !11
  %155 = load ptr, ptr %2, align 8, !tbaa !5
  %156 = load i32, ptr %6, align 4, !tbaa !9
  %157 = add i32 %156, 10
  %158 = zext i32 %157 to i64
  %159 = getelementptr inbounds i64, ptr %155, i64 %158
  %160 = load i64, ptr %159, align 8, !tbaa !11
  %161 = load ptr, ptr %2, align 8, !tbaa !5
  %162 = load i32, ptr %6, align 4, !tbaa !9
  %163 = add i32 %162, 15
  %164 = zext i32 %163 to i64
  %165 = getelementptr inbounds i64, ptr %161, i64 %164
  %166 = load i64, ptr %165, align 8, !tbaa !11
  %167 = load ptr, ptr %2, align 8, !tbaa !5
  %168 = load i32, ptr %6, align 4, !tbaa !9
  %169 = add i32 %168, 20
  %170 = zext i32 %169 to i64
  %171 = getelementptr inbounds i64, ptr %167, i64 %170
  %172 = load i64, ptr %171, align 8, !tbaa !11
  %173 = xor i64 %166, %172
  %174 = xor i64 %160, %173
  %175 = xor i64 %154, %174
  %176 = xor i64 %148, %175
  %177 = load i32, ptr %6, align 4, !tbaa !9
  %178 = zext i32 %177 to i64
  %179 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %178
  store i64 %176, ptr %179, align 8, !tbaa !11
  %180 = load i32, ptr %6, align 4, !tbaa !9
  %181 = add i32 %180, 1
  store i32 %181, ptr %6, align 4, !tbaa !9
  %182 = load i32, ptr %6, align 4, !tbaa !9
  %183 = load ptr, ptr %2, align 8, !tbaa !5
  %184 = load i32, ptr %6, align 4, !tbaa !9
  %185 = add i32 %184, 0
  %186 = zext i32 %185 to i64
  %187 = getelementptr inbounds i64, ptr %183, i64 %186
  %188 = load i64, ptr %187, align 8, !tbaa !11
  %189 = load ptr, ptr %2, align 8, !tbaa !5
  %190 = load i32, ptr %6, align 4, !tbaa !9
  %191 = add i32 %190, 5
  %192 = zext i32 %191 to i64
  %193 = getelementptr inbounds i64, ptr %189, i64 %192
  %194 = load i64, ptr %193, align 8, !tbaa !11
  %195 = load ptr, ptr %2, align 8, !tbaa !5
  %196 = load i32, ptr %6, align 4, !tbaa !9
  %197 = add i32 %196, 10
  %198 = zext i32 %197 to i64
  %199 = getelementptr inbounds i64, ptr %195, i64 %198
  %200 = load i64, ptr %199, align 8, !tbaa !11
  %201 = load ptr, ptr %2, align 8, !tbaa !5
  %202 = load i32, ptr %6, align 4, !tbaa !9
  %203 = add i32 %202, 15
  %204 = zext i32 %203 to i64
  %205 = getelementptr inbounds i64, ptr %201, i64 %204
  %206 = load i64, ptr %205, align 8, !tbaa !11
  %207 = load ptr, ptr %2, align 8, !tbaa !5
  %208 = load i32, ptr %6, align 4, !tbaa !9
  %209 = add i32 %208, 20
  %210 = zext i32 %209 to i64
  %211 = getelementptr inbounds i64, ptr %207, i64 %210
  %212 = load i64, ptr %211, align 8, !tbaa !11
  %213 = xor i64 %206, %212
  %214 = xor i64 %200, %213
  %215 = xor i64 %194, %214
  %216 = xor i64 %188, %215
  %217 = load i32, ptr %6, align 4, !tbaa !9
  %218 = zext i32 %217 to i64
  %219 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %218
  store i64 %216, ptr %219, align 8, !tbaa !11
  %220 = load i32, ptr %6, align 4, !tbaa !9
  %221 = add i32 %220, 1
  store i32 %221, ptr %6, align 4, !tbaa !9
  %222 = load i32, ptr %6, align 4, !tbaa !9
  %223 = load ptr, ptr %2, align 8, !tbaa !5
  %224 = load i32, ptr %6, align 4, !tbaa !9
  %225 = add i32 %224, 0
  %226 = zext i32 %225 to i64
  %227 = getelementptr inbounds i64, ptr %223, i64 %226
  %228 = load i64, ptr %227, align 8, !tbaa !11
  %229 = load ptr, ptr %2, align 8, !tbaa !5
  %230 = load i32, ptr %6, align 4, !tbaa !9
  %231 = add i32 %230, 5
  %232 = zext i32 %231 to i64
  %233 = getelementptr inbounds i64, ptr %229, i64 %232
  %234 = load i64, ptr %233, align 8, !tbaa !11
  %235 = load ptr, ptr %2, align 8, !tbaa !5
  %236 = load i32, ptr %6, align 4, !tbaa !9
  %237 = add i32 %236, 10
  %238 = zext i32 %237 to i64
  %239 = getelementptr inbounds i64, ptr %235, i64 %238
  %240 = load i64, ptr %239, align 8, !tbaa !11
  %241 = load ptr, ptr %2, align 8, !tbaa !5
  %242 = load i32, ptr %6, align 4, !tbaa !9
  %243 = add i32 %242, 15
  %244 = zext i32 %243 to i64
  %245 = getelementptr inbounds i64, ptr %241, i64 %244
  %246 = load i64, ptr %245, align 8, !tbaa !11
  %247 = load ptr, ptr %2, align 8, !tbaa !5
  %248 = load i32, ptr %6, align 4, !tbaa !9
  %249 = add i32 %248, 20
  %250 = zext i32 %249 to i64
  %251 = getelementptr inbounds i64, ptr %247, i64 %250
  %252 = load i64, ptr %251, align 8, !tbaa !11
  %253 = xor i64 %246, %252
  %254 = xor i64 %240, %253
  %255 = xor i64 %234, %254
  %256 = xor i64 %228, %255
  %257 = load i32, ptr %6, align 4, !tbaa !9
  %258 = zext i32 %257 to i64
  %259 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %258
  store i64 %256, ptr %259, align 8, !tbaa !11
  %260 = load i32, ptr %6, align 4, !tbaa !9
  %261 = add i32 %260, 1
  store i32 %261, ptr %6, align 4, !tbaa !9
  %262 = load i32, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #3
  br label %263

263:                                              ; preds = %62
  br label %264

264:                                              ; preds = %263
  br label %265

265:                                              ; preds = %264
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  store i32 0, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  %266 = load i32, ptr %7, align 4, !tbaa !9
  %267 = add i32 %266, 1
  %268 = urem i32 %267, 5
  %269 = zext i32 %268 to i64
  %270 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %269
  %271 = load i64, ptr %270, align 8, !tbaa !11
  store i64 %271, ptr %8, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  %272 = load i32, ptr %7, align 4, !tbaa !9
  %273 = add i32 %272, 4
  %274 = urem i32 %273, 5
  %275 = zext i32 %274 to i64
  %276 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %275
  %277 = load i64, ptr %276, align 8, !tbaa !11
  %278 = load i64, ptr %8, align 8, !tbaa !11
  %279 = shl i64 %278, 1
  %280 = load i64, ptr %8, align 8, !tbaa !11
  %281 = lshr i64 %280, 63
  %282 = or i64 %279, %281
  %283 = xor i64 %277, %282
  store i64 %283, ptr %9, align 8, !tbaa !11
  br label %284

284:                                              ; preds = %265
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #3
  store i32 0, ptr %10, align 4, !tbaa !9
  %285 = load ptr, ptr %2, align 8, !tbaa !5
  %286 = load i32, ptr %7, align 4, !tbaa !9
  %287 = load i32, ptr %10, align 4, !tbaa !9
  %288 = mul i32 5, %287
  %289 = add i32 %286, %288
  %290 = zext i32 %289 to i64
  %291 = getelementptr inbounds i64, ptr %285, i64 %290
  %292 = load i64, ptr %291, align 8, !tbaa !11
  %293 = load i64, ptr %9, align 8, !tbaa !11
  %294 = xor i64 %292, %293
  %295 = load ptr, ptr %2, align 8, !tbaa !5
  %296 = load i32, ptr %7, align 4, !tbaa !9
  %297 = load i32, ptr %10, align 4, !tbaa !9
  %298 = mul i32 5, %297
  %299 = add i32 %296, %298
  %300 = zext i32 %299 to i64
  %301 = getelementptr inbounds i64, ptr %295, i64 %300
  store i64 %294, ptr %301, align 8, !tbaa !11
  %302 = load i32, ptr %10, align 4, !tbaa !9
  %303 = add i32 %302, 1
  store i32 %303, ptr %10, align 4, !tbaa !9
  %304 = load i32, ptr %10, align 4, !tbaa !9
  %305 = load ptr, ptr %2, align 8, !tbaa !5
  %306 = load i32, ptr %7, align 4, !tbaa !9
  %307 = load i32, ptr %10, align 4, !tbaa !9
  %308 = mul i32 5, %307
  %309 = add i32 %306, %308
  %310 = zext i32 %309 to i64
  %311 = getelementptr inbounds i64, ptr %305, i64 %310
  %312 = load i64, ptr %311, align 8, !tbaa !11
  %313 = load i64, ptr %9, align 8, !tbaa !11
  %314 = xor i64 %312, %313
  %315 = load ptr, ptr %2, align 8, !tbaa !5
  %316 = load i32, ptr %7, align 4, !tbaa !9
  %317 = load i32, ptr %10, align 4, !tbaa !9
  %318 = mul i32 5, %317
  %319 = add i32 %316, %318
  %320 = zext i32 %319 to i64
  %321 = getelementptr inbounds i64, ptr %315, i64 %320
  store i64 %314, ptr %321, align 8, !tbaa !11
  %322 = load i32, ptr %10, align 4, !tbaa !9
  %323 = add i32 %322, 1
  store i32 %323, ptr %10, align 4, !tbaa !9
  %324 = load i32, ptr %10, align 4, !tbaa !9
  %325 = load ptr, ptr %2, align 8, !tbaa !5
  %326 = load i32, ptr %7, align 4, !tbaa !9
  %327 = load i32, ptr %10, align 4, !tbaa !9
  %328 = mul i32 5, %327
  %329 = add i32 %326, %328
  %330 = zext i32 %329 to i64
  %331 = getelementptr inbounds i64, ptr %325, i64 %330
  %332 = load i64, ptr %331, align 8, !tbaa !11
  %333 = load i64, ptr %9, align 8, !tbaa !11
  %334 = xor i64 %332, %333
  %335 = load ptr, ptr %2, align 8, !tbaa !5
  %336 = load i32, ptr %7, align 4, !tbaa !9
  %337 = load i32, ptr %10, align 4, !tbaa !9
  %338 = mul i32 5, %337
  %339 = add i32 %336, %338
  %340 = zext i32 %339 to i64
  %341 = getelementptr inbounds i64, ptr %335, i64 %340
  store i64 %334, ptr %341, align 8, !tbaa !11
  %342 = load i32, ptr %10, align 4, !tbaa !9
  %343 = add i32 %342, 1
  store i32 %343, ptr %10, align 4, !tbaa !9
  %344 = load i32, ptr %10, align 4, !tbaa !9
  %345 = load ptr, ptr %2, align 8, !tbaa !5
  %346 = load i32, ptr %7, align 4, !tbaa !9
  %347 = load i32, ptr %10, align 4, !tbaa !9
  %348 = mul i32 5, %347
  %349 = add i32 %346, %348
  %350 = zext i32 %349 to i64
  %351 = getelementptr inbounds i64, ptr %345, i64 %350
  %352 = load i64, ptr %351, align 8, !tbaa !11
  %353 = load i64, ptr %9, align 8, !tbaa !11
  %354 = xor i64 %352, %353
  %355 = load ptr, ptr %2, align 8, !tbaa !5
  %356 = load i32, ptr %7, align 4, !tbaa !9
  %357 = load i32, ptr %10, align 4, !tbaa !9
  %358 = mul i32 5, %357
  %359 = add i32 %356, %358
  %360 = zext i32 %359 to i64
  %361 = getelementptr inbounds i64, ptr %355, i64 %360
  store i64 %354, ptr %361, align 8, !tbaa !11
  %362 = load i32, ptr %10, align 4, !tbaa !9
  %363 = add i32 %362, 1
  store i32 %363, ptr %10, align 4, !tbaa !9
  %364 = load i32, ptr %10, align 4, !tbaa !9
  %365 = load ptr, ptr %2, align 8, !tbaa !5
  %366 = load i32, ptr %7, align 4, !tbaa !9
  %367 = load i32, ptr %10, align 4, !tbaa !9
  %368 = mul i32 5, %367
  %369 = add i32 %366, %368
  %370 = zext i32 %369 to i64
  %371 = getelementptr inbounds i64, ptr %365, i64 %370
  %372 = load i64, ptr %371, align 8, !tbaa !11
  %373 = load i64, ptr %9, align 8, !tbaa !11
  %374 = xor i64 %372, %373
  %375 = load ptr, ptr %2, align 8, !tbaa !5
  %376 = load i32, ptr %7, align 4, !tbaa !9
  %377 = load i32, ptr %10, align 4, !tbaa !9
  %378 = mul i32 5, %377
  %379 = add i32 %376, %378
  %380 = zext i32 %379 to i64
  %381 = getelementptr inbounds i64, ptr %375, i64 %380
  store i64 %374, ptr %381, align 8, !tbaa !11
  %382 = load i32, ptr %10, align 4, !tbaa !9
  %383 = add i32 %382, 1
  store i32 %383, ptr %10, align 4, !tbaa !9
  %384 = load i32, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  br label %385

385:                                              ; preds = %284
  br label %386

386:                                              ; preds = %385
  %387 = load i32, ptr %7, align 4, !tbaa !9
  %388 = add i32 %387, 1
  store i32 %388, ptr %7, align 4, !tbaa !9
  %389 = load i32, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  %390 = load i32, ptr %7, align 4, !tbaa !9
  %391 = add i32 %390, 1
  %392 = urem i32 %391, 5
  %393 = zext i32 %392 to i64
  %394 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %393
  %395 = load i64, ptr %394, align 8, !tbaa !11
  store i64 %395, ptr %11, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  %396 = load i32, ptr %7, align 4, !tbaa !9
  %397 = add i32 %396, 4
  %398 = urem i32 %397, 5
  %399 = zext i32 %398 to i64
  %400 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %399
  %401 = load i64, ptr %400, align 8, !tbaa !11
  %402 = load i64, ptr %11, align 8, !tbaa !11
  %403 = shl i64 %402, 1
  %404 = load i64, ptr %11, align 8, !tbaa !11
  %405 = lshr i64 %404, 63
  %406 = or i64 %403, %405
  %407 = xor i64 %401, %406
  store i64 %407, ptr %12, align 8, !tbaa !11
  br label %408

408:                                              ; preds = %386
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  store i32 0, ptr %13, align 4, !tbaa !9
  %409 = load ptr, ptr %2, align 8, !tbaa !5
  %410 = load i32, ptr %7, align 4, !tbaa !9
  %411 = load i32, ptr %13, align 4, !tbaa !9
  %412 = mul i32 5, %411
  %413 = add i32 %410, %412
  %414 = zext i32 %413 to i64
  %415 = getelementptr inbounds i64, ptr %409, i64 %414
  %416 = load i64, ptr %415, align 8, !tbaa !11
  %417 = load i64, ptr %12, align 8, !tbaa !11
  %418 = xor i64 %416, %417
  %419 = load ptr, ptr %2, align 8, !tbaa !5
  %420 = load i32, ptr %7, align 4, !tbaa !9
  %421 = load i32, ptr %13, align 4, !tbaa !9
  %422 = mul i32 5, %421
  %423 = add i32 %420, %422
  %424 = zext i32 %423 to i64
  %425 = getelementptr inbounds i64, ptr %419, i64 %424
  store i64 %418, ptr %425, align 8, !tbaa !11
  %426 = load i32, ptr %13, align 4, !tbaa !9
  %427 = add i32 %426, 1
  store i32 %427, ptr %13, align 4, !tbaa !9
  %428 = load i32, ptr %13, align 4, !tbaa !9
  %429 = load ptr, ptr %2, align 8, !tbaa !5
  %430 = load i32, ptr %7, align 4, !tbaa !9
  %431 = load i32, ptr %13, align 4, !tbaa !9
  %432 = mul i32 5, %431
  %433 = add i32 %430, %432
  %434 = zext i32 %433 to i64
  %435 = getelementptr inbounds i64, ptr %429, i64 %434
  %436 = load i64, ptr %435, align 8, !tbaa !11
  %437 = load i64, ptr %12, align 8, !tbaa !11
  %438 = xor i64 %436, %437
  %439 = load ptr, ptr %2, align 8, !tbaa !5
  %440 = load i32, ptr %7, align 4, !tbaa !9
  %441 = load i32, ptr %13, align 4, !tbaa !9
  %442 = mul i32 5, %441
  %443 = add i32 %440, %442
  %444 = zext i32 %443 to i64
  %445 = getelementptr inbounds i64, ptr %439, i64 %444
  store i64 %438, ptr %445, align 8, !tbaa !11
  %446 = load i32, ptr %13, align 4, !tbaa !9
  %447 = add i32 %446, 1
  store i32 %447, ptr %13, align 4, !tbaa !9
  %448 = load i32, ptr %13, align 4, !tbaa !9
  %449 = load ptr, ptr %2, align 8, !tbaa !5
  %450 = load i32, ptr %7, align 4, !tbaa !9
  %451 = load i32, ptr %13, align 4, !tbaa !9
  %452 = mul i32 5, %451
  %453 = add i32 %450, %452
  %454 = zext i32 %453 to i64
  %455 = getelementptr inbounds i64, ptr %449, i64 %454
  %456 = load i64, ptr %455, align 8, !tbaa !11
  %457 = load i64, ptr %12, align 8, !tbaa !11
  %458 = xor i64 %456, %457
  %459 = load ptr, ptr %2, align 8, !tbaa !5
  %460 = load i32, ptr %7, align 4, !tbaa !9
  %461 = load i32, ptr %13, align 4, !tbaa !9
  %462 = mul i32 5, %461
  %463 = add i32 %460, %462
  %464 = zext i32 %463 to i64
  %465 = getelementptr inbounds i64, ptr %459, i64 %464
  store i64 %458, ptr %465, align 8, !tbaa !11
  %466 = load i32, ptr %13, align 4, !tbaa !9
  %467 = add i32 %466, 1
  store i32 %467, ptr %13, align 4, !tbaa !9
  %468 = load i32, ptr %13, align 4, !tbaa !9
  %469 = load ptr, ptr %2, align 8, !tbaa !5
  %470 = load i32, ptr %7, align 4, !tbaa !9
  %471 = load i32, ptr %13, align 4, !tbaa !9
  %472 = mul i32 5, %471
  %473 = add i32 %470, %472
  %474 = zext i32 %473 to i64
  %475 = getelementptr inbounds i64, ptr %469, i64 %474
  %476 = load i64, ptr %475, align 8, !tbaa !11
  %477 = load i64, ptr %12, align 8, !tbaa !11
  %478 = xor i64 %476, %477
  %479 = load ptr, ptr %2, align 8, !tbaa !5
  %480 = load i32, ptr %7, align 4, !tbaa !9
  %481 = load i32, ptr %13, align 4, !tbaa !9
  %482 = mul i32 5, %481
  %483 = add i32 %480, %482
  %484 = zext i32 %483 to i64
  %485 = getelementptr inbounds i64, ptr %479, i64 %484
  store i64 %478, ptr %485, align 8, !tbaa !11
  %486 = load i32, ptr %13, align 4, !tbaa !9
  %487 = add i32 %486, 1
  store i32 %487, ptr %13, align 4, !tbaa !9
  %488 = load i32, ptr %13, align 4, !tbaa !9
  %489 = load ptr, ptr %2, align 8, !tbaa !5
  %490 = load i32, ptr %7, align 4, !tbaa !9
  %491 = load i32, ptr %13, align 4, !tbaa !9
  %492 = mul i32 5, %491
  %493 = add i32 %490, %492
  %494 = zext i32 %493 to i64
  %495 = getelementptr inbounds i64, ptr %489, i64 %494
  %496 = load i64, ptr %495, align 8, !tbaa !11
  %497 = load i64, ptr %12, align 8, !tbaa !11
  %498 = xor i64 %496, %497
  %499 = load ptr, ptr %2, align 8, !tbaa !5
  %500 = load i32, ptr %7, align 4, !tbaa !9
  %501 = load i32, ptr %13, align 4, !tbaa !9
  %502 = mul i32 5, %501
  %503 = add i32 %500, %502
  %504 = zext i32 %503 to i64
  %505 = getelementptr inbounds i64, ptr %499, i64 %504
  store i64 %498, ptr %505, align 8, !tbaa !11
  %506 = load i32, ptr %13, align 4, !tbaa !9
  %507 = add i32 %506, 1
  store i32 %507, ptr %13, align 4, !tbaa !9
  %508 = load i32, ptr %13, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  br label %509

509:                                              ; preds = %408
  br label %510

510:                                              ; preds = %509
  %511 = load i32, ptr %7, align 4, !tbaa !9
  %512 = add i32 %511, 1
  store i32 %512, ptr %7, align 4, !tbaa !9
  %513 = load i32, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #3
  %514 = load i32, ptr %7, align 4, !tbaa !9
  %515 = add i32 %514, 1
  %516 = urem i32 %515, 5
  %517 = zext i32 %516 to i64
  %518 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %517
  %519 = load i64, ptr %518, align 8, !tbaa !11
  store i64 %519, ptr %14, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  %520 = load i32, ptr %7, align 4, !tbaa !9
  %521 = add i32 %520, 4
  %522 = urem i32 %521, 5
  %523 = zext i32 %522 to i64
  %524 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %523
  %525 = load i64, ptr %524, align 8, !tbaa !11
  %526 = load i64, ptr %14, align 8, !tbaa !11
  %527 = shl i64 %526, 1
  %528 = load i64, ptr %14, align 8, !tbaa !11
  %529 = lshr i64 %528, 63
  %530 = or i64 %527, %529
  %531 = xor i64 %525, %530
  store i64 %531, ptr %15, align 8, !tbaa !11
  br label %532

532:                                              ; preds = %510
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #3
  store i32 0, ptr %16, align 4, !tbaa !9
  %533 = load ptr, ptr %2, align 8, !tbaa !5
  %534 = load i32, ptr %7, align 4, !tbaa !9
  %535 = load i32, ptr %16, align 4, !tbaa !9
  %536 = mul i32 5, %535
  %537 = add i32 %534, %536
  %538 = zext i32 %537 to i64
  %539 = getelementptr inbounds i64, ptr %533, i64 %538
  %540 = load i64, ptr %539, align 8, !tbaa !11
  %541 = load i64, ptr %15, align 8, !tbaa !11
  %542 = xor i64 %540, %541
  %543 = load ptr, ptr %2, align 8, !tbaa !5
  %544 = load i32, ptr %7, align 4, !tbaa !9
  %545 = load i32, ptr %16, align 4, !tbaa !9
  %546 = mul i32 5, %545
  %547 = add i32 %544, %546
  %548 = zext i32 %547 to i64
  %549 = getelementptr inbounds i64, ptr %543, i64 %548
  store i64 %542, ptr %549, align 8, !tbaa !11
  %550 = load i32, ptr %16, align 4, !tbaa !9
  %551 = add i32 %550, 1
  store i32 %551, ptr %16, align 4, !tbaa !9
  %552 = load i32, ptr %16, align 4, !tbaa !9
  %553 = load ptr, ptr %2, align 8, !tbaa !5
  %554 = load i32, ptr %7, align 4, !tbaa !9
  %555 = load i32, ptr %16, align 4, !tbaa !9
  %556 = mul i32 5, %555
  %557 = add i32 %554, %556
  %558 = zext i32 %557 to i64
  %559 = getelementptr inbounds i64, ptr %553, i64 %558
  %560 = load i64, ptr %559, align 8, !tbaa !11
  %561 = load i64, ptr %15, align 8, !tbaa !11
  %562 = xor i64 %560, %561
  %563 = load ptr, ptr %2, align 8, !tbaa !5
  %564 = load i32, ptr %7, align 4, !tbaa !9
  %565 = load i32, ptr %16, align 4, !tbaa !9
  %566 = mul i32 5, %565
  %567 = add i32 %564, %566
  %568 = zext i32 %567 to i64
  %569 = getelementptr inbounds i64, ptr %563, i64 %568
  store i64 %562, ptr %569, align 8, !tbaa !11
  %570 = load i32, ptr %16, align 4, !tbaa !9
  %571 = add i32 %570, 1
  store i32 %571, ptr %16, align 4, !tbaa !9
  %572 = load i32, ptr %16, align 4, !tbaa !9
  %573 = load ptr, ptr %2, align 8, !tbaa !5
  %574 = load i32, ptr %7, align 4, !tbaa !9
  %575 = load i32, ptr %16, align 4, !tbaa !9
  %576 = mul i32 5, %575
  %577 = add i32 %574, %576
  %578 = zext i32 %577 to i64
  %579 = getelementptr inbounds i64, ptr %573, i64 %578
  %580 = load i64, ptr %579, align 8, !tbaa !11
  %581 = load i64, ptr %15, align 8, !tbaa !11
  %582 = xor i64 %580, %581
  %583 = load ptr, ptr %2, align 8, !tbaa !5
  %584 = load i32, ptr %7, align 4, !tbaa !9
  %585 = load i32, ptr %16, align 4, !tbaa !9
  %586 = mul i32 5, %585
  %587 = add i32 %584, %586
  %588 = zext i32 %587 to i64
  %589 = getelementptr inbounds i64, ptr %583, i64 %588
  store i64 %582, ptr %589, align 8, !tbaa !11
  %590 = load i32, ptr %16, align 4, !tbaa !9
  %591 = add i32 %590, 1
  store i32 %591, ptr %16, align 4, !tbaa !9
  %592 = load i32, ptr %16, align 4, !tbaa !9
  %593 = load ptr, ptr %2, align 8, !tbaa !5
  %594 = load i32, ptr %7, align 4, !tbaa !9
  %595 = load i32, ptr %16, align 4, !tbaa !9
  %596 = mul i32 5, %595
  %597 = add i32 %594, %596
  %598 = zext i32 %597 to i64
  %599 = getelementptr inbounds i64, ptr %593, i64 %598
  %600 = load i64, ptr %599, align 8, !tbaa !11
  %601 = load i64, ptr %15, align 8, !tbaa !11
  %602 = xor i64 %600, %601
  %603 = load ptr, ptr %2, align 8, !tbaa !5
  %604 = load i32, ptr %7, align 4, !tbaa !9
  %605 = load i32, ptr %16, align 4, !tbaa !9
  %606 = mul i32 5, %605
  %607 = add i32 %604, %606
  %608 = zext i32 %607 to i64
  %609 = getelementptr inbounds i64, ptr %603, i64 %608
  store i64 %602, ptr %609, align 8, !tbaa !11
  %610 = load i32, ptr %16, align 4, !tbaa !9
  %611 = add i32 %610, 1
  store i32 %611, ptr %16, align 4, !tbaa !9
  %612 = load i32, ptr %16, align 4, !tbaa !9
  %613 = load ptr, ptr %2, align 8, !tbaa !5
  %614 = load i32, ptr %7, align 4, !tbaa !9
  %615 = load i32, ptr %16, align 4, !tbaa !9
  %616 = mul i32 5, %615
  %617 = add i32 %614, %616
  %618 = zext i32 %617 to i64
  %619 = getelementptr inbounds i64, ptr %613, i64 %618
  %620 = load i64, ptr %619, align 8, !tbaa !11
  %621 = load i64, ptr %15, align 8, !tbaa !11
  %622 = xor i64 %620, %621
  %623 = load ptr, ptr %2, align 8, !tbaa !5
  %624 = load i32, ptr %7, align 4, !tbaa !9
  %625 = load i32, ptr %16, align 4, !tbaa !9
  %626 = mul i32 5, %625
  %627 = add i32 %624, %626
  %628 = zext i32 %627 to i64
  %629 = getelementptr inbounds i64, ptr %623, i64 %628
  store i64 %622, ptr %629, align 8, !tbaa !11
  %630 = load i32, ptr %16, align 4, !tbaa !9
  %631 = add i32 %630, 1
  store i32 %631, ptr %16, align 4, !tbaa !9
  %632 = load i32, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #3
  br label %633

633:                                              ; preds = %532
  br label %634

634:                                              ; preds = %633
  %635 = load i32, ptr %7, align 4, !tbaa !9
  %636 = add i32 %635, 1
  store i32 %636, ptr %7, align 4, !tbaa !9
  %637 = load i32, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  %638 = load i32, ptr %7, align 4, !tbaa !9
  %639 = add i32 %638, 1
  %640 = urem i32 %639, 5
  %641 = zext i32 %640 to i64
  %642 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %641
  %643 = load i64, ptr %642, align 8, !tbaa !11
  store i64 %643, ptr %17, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #3
  %644 = load i32, ptr %7, align 4, !tbaa !9
  %645 = add i32 %644, 4
  %646 = urem i32 %645, 5
  %647 = zext i32 %646 to i64
  %648 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %647
  %649 = load i64, ptr %648, align 8, !tbaa !11
  %650 = load i64, ptr %17, align 8, !tbaa !11
  %651 = shl i64 %650, 1
  %652 = load i64, ptr %17, align 8, !tbaa !11
  %653 = lshr i64 %652, 63
  %654 = or i64 %651, %653
  %655 = xor i64 %649, %654
  store i64 %655, ptr %18, align 8, !tbaa !11
  br label %656

656:                                              ; preds = %634
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #3
  store i32 0, ptr %19, align 4, !tbaa !9
  %657 = load ptr, ptr %2, align 8, !tbaa !5
  %658 = load i32, ptr %7, align 4, !tbaa !9
  %659 = load i32, ptr %19, align 4, !tbaa !9
  %660 = mul i32 5, %659
  %661 = add i32 %658, %660
  %662 = zext i32 %661 to i64
  %663 = getelementptr inbounds i64, ptr %657, i64 %662
  %664 = load i64, ptr %663, align 8, !tbaa !11
  %665 = load i64, ptr %18, align 8, !tbaa !11
  %666 = xor i64 %664, %665
  %667 = load ptr, ptr %2, align 8, !tbaa !5
  %668 = load i32, ptr %7, align 4, !tbaa !9
  %669 = load i32, ptr %19, align 4, !tbaa !9
  %670 = mul i32 5, %669
  %671 = add i32 %668, %670
  %672 = zext i32 %671 to i64
  %673 = getelementptr inbounds i64, ptr %667, i64 %672
  store i64 %666, ptr %673, align 8, !tbaa !11
  %674 = load i32, ptr %19, align 4, !tbaa !9
  %675 = add i32 %674, 1
  store i32 %675, ptr %19, align 4, !tbaa !9
  %676 = load i32, ptr %19, align 4, !tbaa !9
  %677 = load ptr, ptr %2, align 8, !tbaa !5
  %678 = load i32, ptr %7, align 4, !tbaa !9
  %679 = load i32, ptr %19, align 4, !tbaa !9
  %680 = mul i32 5, %679
  %681 = add i32 %678, %680
  %682 = zext i32 %681 to i64
  %683 = getelementptr inbounds i64, ptr %677, i64 %682
  %684 = load i64, ptr %683, align 8, !tbaa !11
  %685 = load i64, ptr %18, align 8, !tbaa !11
  %686 = xor i64 %684, %685
  %687 = load ptr, ptr %2, align 8, !tbaa !5
  %688 = load i32, ptr %7, align 4, !tbaa !9
  %689 = load i32, ptr %19, align 4, !tbaa !9
  %690 = mul i32 5, %689
  %691 = add i32 %688, %690
  %692 = zext i32 %691 to i64
  %693 = getelementptr inbounds i64, ptr %687, i64 %692
  store i64 %686, ptr %693, align 8, !tbaa !11
  %694 = load i32, ptr %19, align 4, !tbaa !9
  %695 = add i32 %694, 1
  store i32 %695, ptr %19, align 4, !tbaa !9
  %696 = load i32, ptr %19, align 4, !tbaa !9
  %697 = load ptr, ptr %2, align 8, !tbaa !5
  %698 = load i32, ptr %7, align 4, !tbaa !9
  %699 = load i32, ptr %19, align 4, !tbaa !9
  %700 = mul i32 5, %699
  %701 = add i32 %698, %700
  %702 = zext i32 %701 to i64
  %703 = getelementptr inbounds i64, ptr %697, i64 %702
  %704 = load i64, ptr %703, align 8, !tbaa !11
  %705 = load i64, ptr %18, align 8, !tbaa !11
  %706 = xor i64 %704, %705
  %707 = load ptr, ptr %2, align 8, !tbaa !5
  %708 = load i32, ptr %7, align 4, !tbaa !9
  %709 = load i32, ptr %19, align 4, !tbaa !9
  %710 = mul i32 5, %709
  %711 = add i32 %708, %710
  %712 = zext i32 %711 to i64
  %713 = getelementptr inbounds i64, ptr %707, i64 %712
  store i64 %706, ptr %713, align 8, !tbaa !11
  %714 = load i32, ptr %19, align 4, !tbaa !9
  %715 = add i32 %714, 1
  store i32 %715, ptr %19, align 4, !tbaa !9
  %716 = load i32, ptr %19, align 4, !tbaa !9
  %717 = load ptr, ptr %2, align 8, !tbaa !5
  %718 = load i32, ptr %7, align 4, !tbaa !9
  %719 = load i32, ptr %19, align 4, !tbaa !9
  %720 = mul i32 5, %719
  %721 = add i32 %718, %720
  %722 = zext i32 %721 to i64
  %723 = getelementptr inbounds i64, ptr %717, i64 %722
  %724 = load i64, ptr %723, align 8, !tbaa !11
  %725 = load i64, ptr %18, align 8, !tbaa !11
  %726 = xor i64 %724, %725
  %727 = load ptr, ptr %2, align 8, !tbaa !5
  %728 = load i32, ptr %7, align 4, !tbaa !9
  %729 = load i32, ptr %19, align 4, !tbaa !9
  %730 = mul i32 5, %729
  %731 = add i32 %728, %730
  %732 = zext i32 %731 to i64
  %733 = getelementptr inbounds i64, ptr %727, i64 %732
  store i64 %726, ptr %733, align 8, !tbaa !11
  %734 = load i32, ptr %19, align 4, !tbaa !9
  %735 = add i32 %734, 1
  store i32 %735, ptr %19, align 4, !tbaa !9
  %736 = load i32, ptr %19, align 4, !tbaa !9
  %737 = load ptr, ptr %2, align 8, !tbaa !5
  %738 = load i32, ptr %7, align 4, !tbaa !9
  %739 = load i32, ptr %19, align 4, !tbaa !9
  %740 = mul i32 5, %739
  %741 = add i32 %738, %740
  %742 = zext i32 %741 to i64
  %743 = getelementptr inbounds i64, ptr %737, i64 %742
  %744 = load i64, ptr %743, align 8, !tbaa !11
  %745 = load i64, ptr %18, align 8, !tbaa !11
  %746 = xor i64 %744, %745
  %747 = load ptr, ptr %2, align 8, !tbaa !5
  %748 = load i32, ptr %7, align 4, !tbaa !9
  %749 = load i32, ptr %19, align 4, !tbaa !9
  %750 = mul i32 5, %749
  %751 = add i32 %748, %750
  %752 = zext i32 %751 to i64
  %753 = getelementptr inbounds i64, ptr %747, i64 %752
  store i64 %746, ptr %753, align 8, !tbaa !11
  %754 = load i32, ptr %19, align 4, !tbaa !9
  %755 = add i32 %754, 1
  store i32 %755, ptr %19, align 4, !tbaa !9
  %756 = load i32, ptr %19, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #3
  br label %757

757:                                              ; preds = %656
  br label %758

758:                                              ; preds = %757
  %759 = load i32, ptr %7, align 4, !tbaa !9
  %760 = add i32 %759, 1
  store i32 %760, ptr %7, align 4, !tbaa !9
  %761 = load i32, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  %762 = load i32, ptr %7, align 4, !tbaa !9
  %763 = add i32 %762, 1
  %764 = urem i32 %763, 5
  %765 = zext i32 %764 to i64
  %766 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %765
  %767 = load i64, ptr %766, align 8, !tbaa !11
  store i64 %767, ptr %20, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #3
  %768 = load i32, ptr %7, align 4, !tbaa !9
  %769 = add i32 %768, 4
  %770 = urem i32 %769, 5
  %771 = zext i32 %770 to i64
  %772 = getelementptr inbounds [5 x i64], ptr %5, i64 0, i64 %771
  %773 = load i64, ptr %772, align 8, !tbaa !11
  %774 = load i64, ptr %20, align 8, !tbaa !11
  %775 = shl i64 %774, 1
  %776 = load i64, ptr %20, align 8, !tbaa !11
  %777 = lshr i64 %776, 63
  %778 = or i64 %775, %777
  %779 = xor i64 %773, %778
  store i64 %779, ptr %21, align 8, !tbaa !11
  br label %780

780:                                              ; preds = %758
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #3
  store i32 0, ptr %22, align 4, !tbaa !9
  %781 = load ptr, ptr %2, align 8, !tbaa !5
  %782 = load i32, ptr %7, align 4, !tbaa !9
  %783 = load i32, ptr %22, align 4, !tbaa !9
  %784 = mul i32 5, %783
  %785 = add i32 %782, %784
  %786 = zext i32 %785 to i64
  %787 = getelementptr inbounds i64, ptr %781, i64 %786
  %788 = load i64, ptr %787, align 8, !tbaa !11
  %789 = load i64, ptr %21, align 8, !tbaa !11
  %790 = xor i64 %788, %789
  %791 = load ptr, ptr %2, align 8, !tbaa !5
  %792 = load i32, ptr %7, align 4, !tbaa !9
  %793 = load i32, ptr %22, align 4, !tbaa !9
  %794 = mul i32 5, %793
  %795 = add i32 %792, %794
  %796 = zext i32 %795 to i64
  %797 = getelementptr inbounds i64, ptr %791, i64 %796
  store i64 %790, ptr %797, align 8, !tbaa !11
  %798 = load i32, ptr %22, align 4, !tbaa !9
  %799 = add i32 %798, 1
  store i32 %799, ptr %22, align 4, !tbaa !9
  %800 = load i32, ptr %22, align 4, !tbaa !9
  %801 = load ptr, ptr %2, align 8, !tbaa !5
  %802 = load i32, ptr %7, align 4, !tbaa !9
  %803 = load i32, ptr %22, align 4, !tbaa !9
  %804 = mul i32 5, %803
  %805 = add i32 %802, %804
  %806 = zext i32 %805 to i64
  %807 = getelementptr inbounds i64, ptr %801, i64 %806
  %808 = load i64, ptr %807, align 8, !tbaa !11
  %809 = load i64, ptr %21, align 8, !tbaa !11
  %810 = xor i64 %808, %809
  %811 = load ptr, ptr %2, align 8, !tbaa !5
  %812 = load i32, ptr %7, align 4, !tbaa !9
  %813 = load i32, ptr %22, align 4, !tbaa !9
  %814 = mul i32 5, %813
  %815 = add i32 %812, %814
  %816 = zext i32 %815 to i64
  %817 = getelementptr inbounds i64, ptr %811, i64 %816
  store i64 %810, ptr %817, align 8, !tbaa !11
  %818 = load i32, ptr %22, align 4, !tbaa !9
  %819 = add i32 %818, 1
  store i32 %819, ptr %22, align 4, !tbaa !9
  %820 = load i32, ptr %22, align 4, !tbaa !9
  %821 = load ptr, ptr %2, align 8, !tbaa !5
  %822 = load i32, ptr %7, align 4, !tbaa !9
  %823 = load i32, ptr %22, align 4, !tbaa !9
  %824 = mul i32 5, %823
  %825 = add i32 %822, %824
  %826 = zext i32 %825 to i64
  %827 = getelementptr inbounds i64, ptr %821, i64 %826
  %828 = load i64, ptr %827, align 8, !tbaa !11
  %829 = load i64, ptr %21, align 8, !tbaa !11
  %830 = xor i64 %828, %829
  %831 = load ptr, ptr %2, align 8, !tbaa !5
  %832 = load i32, ptr %7, align 4, !tbaa !9
  %833 = load i32, ptr %22, align 4, !tbaa !9
  %834 = mul i32 5, %833
  %835 = add i32 %832, %834
  %836 = zext i32 %835 to i64
  %837 = getelementptr inbounds i64, ptr %831, i64 %836
  store i64 %830, ptr %837, align 8, !tbaa !11
  %838 = load i32, ptr %22, align 4, !tbaa !9
  %839 = add i32 %838, 1
  store i32 %839, ptr %22, align 4, !tbaa !9
  %840 = load i32, ptr %22, align 4, !tbaa !9
  %841 = load ptr, ptr %2, align 8, !tbaa !5
  %842 = load i32, ptr %7, align 4, !tbaa !9
  %843 = load i32, ptr %22, align 4, !tbaa !9
  %844 = mul i32 5, %843
  %845 = add i32 %842, %844
  %846 = zext i32 %845 to i64
  %847 = getelementptr inbounds i64, ptr %841, i64 %846
  %848 = load i64, ptr %847, align 8, !tbaa !11
  %849 = load i64, ptr %21, align 8, !tbaa !11
  %850 = xor i64 %848, %849
  %851 = load ptr, ptr %2, align 8, !tbaa !5
  %852 = load i32, ptr %7, align 4, !tbaa !9
  %853 = load i32, ptr %22, align 4, !tbaa !9
  %854 = mul i32 5, %853
  %855 = add i32 %852, %854
  %856 = zext i32 %855 to i64
  %857 = getelementptr inbounds i64, ptr %851, i64 %856
  store i64 %850, ptr %857, align 8, !tbaa !11
  %858 = load i32, ptr %22, align 4, !tbaa !9
  %859 = add i32 %858, 1
  store i32 %859, ptr %22, align 4, !tbaa !9
  %860 = load i32, ptr %22, align 4, !tbaa !9
  %861 = load ptr, ptr %2, align 8, !tbaa !5
  %862 = load i32, ptr %7, align 4, !tbaa !9
  %863 = load i32, ptr %22, align 4, !tbaa !9
  %864 = mul i32 5, %863
  %865 = add i32 %862, %864
  %866 = zext i32 %865 to i64
  %867 = getelementptr inbounds i64, ptr %861, i64 %866
  %868 = load i64, ptr %867, align 8, !tbaa !11
  %869 = load i64, ptr %21, align 8, !tbaa !11
  %870 = xor i64 %868, %869
  %871 = load ptr, ptr %2, align 8, !tbaa !5
  %872 = load i32, ptr %7, align 4, !tbaa !9
  %873 = load i32, ptr %22, align 4, !tbaa !9
  %874 = mul i32 5, %873
  %875 = add i32 %872, %874
  %876 = zext i32 %875 to i64
  %877 = getelementptr inbounds i64, ptr %871, i64 %876
  store i64 %870, ptr %877, align 8, !tbaa !11
  %878 = load i32, ptr %22, align 4, !tbaa !9
  %879 = add i32 %878, 1
  store i32 %879, ptr %22, align 4, !tbaa !9
  %880 = load i32, ptr %22, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #3
  br label %881

881:                                              ; preds = %780
  br label %882

882:                                              ; preds = %881
  %883 = load i32, ptr %7, align 4, !tbaa !9
  %884 = add i32 %883, 1
  store i32 %884, ptr %7, align 4, !tbaa !9
  %885 = load i32, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  br label %886

886:                                              ; preds = %882
  br label %887

887:                                              ; preds = %886
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #3
  %888 = load ptr, ptr %2, align 8, !tbaa !5
  %889 = getelementptr inbounds i64, ptr %888, i64 1
  %890 = load i64, ptr %889, align 8, !tbaa !11
  store i64 %890, ptr %23, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #3
  %891 = load i64, ptr %23, align 8, !tbaa !11
  store i64 %891, ptr %24, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #3
  store i32 0, ptr %25, align 4, !tbaa !9
  br label %892

892:                                              ; preds = %926, %887
  %893 = load i32, ptr %25, align 4, !tbaa !9
  %894 = icmp ult i32 %893, 24
  br i1 %894, label %896, label %895

895:                                              ; preds = %892
  store i32 19, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #3
  br label %929

896:                                              ; preds = %892
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #3
  %897 = load i32, ptr %25, align 4, !tbaa !9
  %898 = zext i32 %897 to i64
  %899 = getelementptr inbounds [24 x i32], ptr @keccak_piln, i64 0, i64 %898
  %900 = load i32, ptr %899, align 4, !tbaa !9
  store i32 %900, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #3
  %901 = load i32, ptr %25, align 4, !tbaa !9
  %902 = zext i32 %901 to i64
  %903 = getelementptr inbounds [24 x i32], ptr @keccak_rotc, i64 0, i64 %902
  %904 = load i32, ptr %903, align 4, !tbaa !9
  store i32 %904, ptr %27, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #3
  %905 = load ptr, ptr %2, align 8, !tbaa !5
  %906 = load i32, ptr %26, align 4, !tbaa !9
  %907 = zext i32 %906 to i64
  %908 = getelementptr inbounds i64, ptr %905, i64 %907
  %909 = load i64, ptr %908, align 8, !tbaa !11
  store i64 %909, ptr %28, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #3
  %910 = load i64, ptr %24, align 8, !tbaa !11
  store i64 %910, ptr %29, align 8, !tbaa !11
  %911 = load i64, ptr %29, align 8, !tbaa !11
  %912 = load i32, ptr %27, align 4, !tbaa !9
  %913 = zext i32 %912 to i64
  %914 = shl i64 %911, %913
  %915 = load i64, ptr %29, align 8, !tbaa !11
  %916 = load i32, ptr %27, align 4, !tbaa !9
  %917 = sub i32 64, %916
  %918 = zext i32 %917 to i64
  %919 = lshr i64 %915, %918
  %920 = or i64 %914, %919
  %921 = load ptr, ptr %2, align 8, !tbaa !5
  %922 = load i32, ptr %26, align 4, !tbaa !9
  %923 = zext i32 %922 to i64
  %924 = getelementptr inbounds i64, ptr %921, i64 %923
  store i64 %920, ptr %924, align 8, !tbaa !11
  %925 = load i64, ptr %28, align 8, !tbaa !11
  store i64 %925, ptr %24, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #3
  br label %926

926:                                              ; preds = %896
  %927 = load i32, ptr %25, align 4, !tbaa !9
  %928 = add i32 %927, 1
  store i32 %928, ptr %25, align 4, !tbaa !9
  br label %892, !llvm.loop !13

929:                                              ; preds = %895
  br label %930

930:                                              ; preds = %929
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #3
  store i32 0, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #3
  %931 = load ptr, ptr %2, align 8, !tbaa !5
  %932 = load i32, ptr %30, align 4, !tbaa !9
  %933 = mul i32 5, %932
  %934 = add i32 0, %933
  %935 = zext i32 %934 to i64
  %936 = getelementptr inbounds i64, ptr %931, i64 %935
  %937 = load i64, ptr %936, align 8, !tbaa !11
  %938 = load ptr, ptr %2, align 8, !tbaa !5
  %939 = load i32, ptr %30, align 4, !tbaa !9
  %940 = mul i32 5, %939
  %941 = add i32 1, %940
  %942 = zext i32 %941 to i64
  %943 = getelementptr inbounds i64, ptr %938, i64 %942
  %944 = load i64, ptr %943, align 8, !tbaa !11
  %945 = xor i64 %944, -1
  %946 = load ptr, ptr %2, align 8, !tbaa !5
  %947 = load i32, ptr %30, align 4, !tbaa !9
  %948 = mul i32 5, %947
  %949 = add i32 2, %948
  %950 = zext i32 %949 to i64
  %951 = getelementptr inbounds i64, ptr %946, i64 %950
  %952 = load i64, ptr %951, align 8, !tbaa !11
  %953 = and i64 %945, %952
  %954 = xor i64 %937, %953
  store i64 %954, ptr %31, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #3
  %955 = load ptr, ptr %2, align 8, !tbaa !5
  %956 = load i32, ptr %30, align 4, !tbaa !9
  %957 = mul i32 5, %956
  %958 = add i32 1, %957
  %959 = zext i32 %958 to i64
  %960 = getelementptr inbounds i64, ptr %955, i64 %959
  %961 = load i64, ptr %960, align 8, !tbaa !11
  %962 = load ptr, ptr %2, align 8, !tbaa !5
  %963 = load i32, ptr %30, align 4, !tbaa !9
  %964 = mul i32 5, %963
  %965 = add i32 2, %964
  %966 = zext i32 %965 to i64
  %967 = getelementptr inbounds i64, ptr %962, i64 %966
  %968 = load i64, ptr %967, align 8, !tbaa !11
  %969 = xor i64 %968, -1
  %970 = load ptr, ptr %2, align 8, !tbaa !5
  %971 = load i32, ptr %30, align 4, !tbaa !9
  %972 = mul i32 5, %971
  %973 = add i32 3, %972
  %974 = zext i32 %973 to i64
  %975 = getelementptr inbounds i64, ptr %970, i64 %974
  %976 = load i64, ptr %975, align 8, !tbaa !11
  %977 = and i64 %969, %976
  %978 = xor i64 %961, %977
  store i64 %978, ptr %32, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #3
  %979 = load ptr, ptr %2, align 8, !tbaa !5
  %980 = load i32, ptr %30, align 4, !tbaa !9
  %981 = mul i32 5, %980
  %982 = add i32 2, %981
  %983 = zext i32 %982 to i64
  %984 = getelementptr inbounds i64, ptr %979, i64 %983
  %985 = load i64, ptr %984, align 8, !tbaa !11
  %986 = load ptr, ptr %2, align 8, !tbaa !5
  %987 = load i32, ptr %30, align 4, !tbaa !9
  %988 = mul i32 5, %987
  %989 = add i32 3, %988
  %990 = zext i32 %989 to i64
  %991 = getelementptr inbounds i64, ptr %986, i64 %990
  %992 = load i64, ptr %991, align 8, !tbaa !11
  %993 = xor i64 %992, -1
  %994 = load ptr, ptr %2, align 8, !tbaa !5
  %995 = load i32, ptr %30, align 4, !tbaa !9
  %996 = mul i32 5, %995
  %997 = add i32 4, %996
  %998 = zext i32 %997 to i64
  %999 = getelementptr inbounds i64, ptr %994, i64 %998
  %1000 = load i64, ptr %999, align 8, !tbaa !11
  %1001 = and i64 %993, %1000
  %1002 = xor i64 %985, %1001
  store i64 %1002, ptr %33, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #3
  %1003 = load ptr, ptr %2, align 8, !tbaa !5
  %1004 = load i32, ptr %30, align 4, !tbaa !9
  %1005 = mul i32 5, %1004
  %1006 = add i32 3, %1005
  %1007 = zext i32 %1006 to i64
  %1008 = getelementptr inbounds i64, ptr %1003, i64 %1007
  %1009 = load i64, ptr %1008, align 8, !tbaa !11
  %1010 = load ptr, ptr %2, align 8, !tbaa !5
  %1011 = load i32, ptr %30, align 4, !tbaa !9
  %1012 = mul i32 5, %1011
  %1013 = add i32 4, %1012
  %1014 = zext i32 %1013 to i64
  %1015 = getelementptr inbounds i64, ptr %1010, i64 %1014
  %1016 = load i64, ptr %1015, align 8, !tbaa !11
  %1017 = xor i64 %1016, -1
  %1018 = load ptr, ptr %2, align 8, !tbaa !5
  %1019 = load i32, ptr %30, align 4, !tbaa !9
  %1020 = mul i32 5, %1019
  %1021 = add i32 0, %1020
  %1022 = zext i32 %1021 to i64
  %1023 = getelementptr inbounds i64, ptr %1018, i64 %1022
  %1024 = load i64, ptr %1023, align 8, !tbaa !11
  %1025 = and i64 %1017, %1024
  %1026 = xor i64 %1009, %1025
  store i64 %1026, ptr %34, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #3
  %1027 = load ptr, ptr %2, align 8, !tbaa !5
  %1028 = load i32, ptr %30, align 4, !tbaa !9
  %1029 = mul i32 5, %1028
  %1030 = add i32 4, %1029
  %1031 = zext i32 %1030 to i64
  %1032 = getelementptr inbounds i64, ptr %1027, i64 %1031
  %1033 = load i64, ptr %1032, align 8, !tbaa !11
  %1034 = load ptr, ptr %2, align 8, !tbaa !5
  %1035 = load i32, ptr %30, align 4, !tbaa !9
  %1036 = mul i32 5, %1035
  %1037 = add i32 0, %1036
  %1038 = zext i32 %1037 to i64
  %1039 = getelementptr inbounds i64, ptr %1034, i64 %1038
  %1040 = load i64, ptr %1039, align 8, !tbaa !11
  %1041 = xor i64 %1040, -1
  %1042 = load ptr, ptr %2, align 8, !tbaa !5
  %1043 = load i32, ptr %30, align 4, !tbaa !9
  %1044 = mul i32 5, %1043
  %1045 = add i32 1, %1044
  %1046 = zext i32 %1045 to i64
  %1047 = getelementptr inbounds i64, ptr %1042, i64 %1046
  %1048 = load i64, ptr %1047, align 8, !tbaa !11
  %1049 = and i64 %1041, %1048
  %1050 = xor i64 %1033, %1049
  store i64 %1050, ptr %35, align 8, !tbaa !11
  %1051 = load i64, ptr %31, align 8, !tbaa !11
  %1052 = load ptr, ptr %2, align 8, !tbaa !5
  %1053 = load i32, ptr %30, align 4, !tbaa !9
  %1054 = mul i32 5, %1053
  %1055 = add i32 0, %1054
  %1056 = zext i32 %1055 to i64
  %1057 = getelementptr inbounds i64, ptr %1052, i64 %1056
  store i64 %1051, ptr %1057, align 8, !tbaa !11
  %1058 = load i64, ptr %32, align 8, !tbaa !11
  %1059 = load ptr, ptr %2, align 8, !tbaa !5
  %1060 = load i32, ptr %30, align 4, !tbaa !9
  %1061 = mul i32 5, %1060
  %1062 = add i32 1, %1061
  %1063 = zext i32 %1062 to i64
  %1064 = getelementptr inbounds i64, ptr %1059, i64 %1063
  store i64 %1058, ptr %1064, align 8, !tbaa !11
  %1065 = load i64, ptr %33, align 8, !tbaa !11
  %1066 = load ptr, ptr %2, align 8, !tbaa !5
  %1067 = load i32, ptr %30, align 4, !tbaa !9
  %1068 = mul i32 5, %1067
  %1069 = add i32 2, %1068
  %1070 = zext i32 %1069 to i64
  %1071 = getelementptr inbounds i64, ptr %1066, i64 %1070
  store i64 %1065, ptr %1071, align 8, !tbaa !11
  %1072 = load i64, ptr %34, align 8, !tbaa !11
  %1073 = load ptr, ptr %2, align 8, !tbaa !5
  %1074 = load i32, ptr %30, align 4, !tbaa !9
  %1075 = mul i32 5, %1074
  %1076 = add i32 3, %1075
  %1077 = zext i32 %1076 to i64
  %1078 = getelementptr inbounds i64, ptr %1073, i64 %1077
  store i64 %1072, ptr %1078, align 8, !tbaa !11
  %1079 = load i64, ptr %35, align 8, !tbaa !11
  %1080 = load ptr, ptr %2, align 8, !tbaa !5
  %1081 = load i32, ptr %30, align 4, !tbaa !9
  %1082 = mul i32 5, %1081
  %1083 = add i32 4, %1082
  %1084 = zext i32 %1083 to i64
  %1085 = getelementptr inbounds i64, ptr %1080, i64 %1084
  store i64 %1079, ptr %1085, align 8, !tbaa !11
  %1086 = load i32, ptr %30, align 4, !tbaa !9
  %1087 = add i32 %1086, 1
  store i32 %1087, ptr %30, align 4, !tbaa !9
  %1088 = load i32, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #3
  %1089 = load ptr, ptr %2, align 8, !tbaa !5
  %1090 = load i32, ptr %30, align 4, !tbaa !9
  %1091 = mul i32 5, %1090
  %1092 = add i32 0, %1091
  %1093 = zext i32 %1092 to i64
  %1094 = getelementptr inbounds i64, ptr %1089, i64 %1093
  %1095 = load i64, ptr %1094, align 8, !tbaa !11
  %1096 = load ptr, ptr %2, align 8, !tbaa !5
  %1097 = load i32, ptr %30, align 4, !tbaa !9
  %1098 = mul i32 5, %1097
  %1099 = add i32 1, %1098
  %1100 = zext i32 %1099 to i64
  %1101 = getelementptr inbounds i64, ptr %1096, i64 %1100
  %1102 = load i64, ptr %1101, align 8, !tbaa !11
  %1103 = xor i64 %1102, -1
  %1104 = load ptr, ptr %2, align 8, !tbaa !5
  %1105 = load i32, ptr %30, align 4, !tbaa !9
  %1106 = mul i32 5, %1105
  %1107 = add i32 2, %1106
  %1108 = zext i32 %1107 to i64
  %1109 = getelementptr inbounds i64, ptr %1104, i64 %1108
  %1110 = load i64, ptr %1109, align 8, !tbaa !11
  %1111 = and i64 %1103, %1110
  %1112 = xor i64 %1095, %1111
  store i64 %1112, ptr %36, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #3
  %1113 = load ptr, ptr %2, align 8, !tbaa !5
  %1114 = load i32, ptr %30, align 4, !tbaa !9
  %1115 = mul i32 5, %1114
  %1116 = add i32 1, %1115
  %1117 = zext i32 %1116 to i64
  %1118 = getelementptr inbounds i64, ptr %1113, i64 %1117
  %1119 = load i64, ptr %1118, align 8, !tbaa !11
  %1120 = load ptr, ptr %2, align 8, !tbaa !5
  %1121 = load i32, ptr %30, align 4, !tbaa !9
  %1122 = mul i32 5, %1121
  %1123 = add i32 2, %1122
  %1124 = zext i32 %1123 to i64
  %1125 = getelementptr inbounds i64, ptr %1120, i64 %1124
  %1126 = load i64, ptr %1125, align 8, !tbaa !11
  %1127 = xor i64 %1126, -1
  %1128 = load ptr, ptr %2, align 8, !tbaa !5
  %1129 = load i32, ptr %30, align 4, !tbaa !9
  %1130 = mul i32 5, %1129
  %1131 = add i32 3, %1130
  %1132 = zext i32 %1131 to i64
  %1133 = getelementptr inbounds i64, ptr %1128, i64 %1132
  %1134 = load i64, ptr %1133, align 8, !tbaa !11
  %1135 = and i64 %1127, %1134
  %1136 = xor i64 %1119, %1135
  store i64 %1136, ptr %37, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #3
  %1137 = load ptr, ptr %2, align 8, !tbaa !5
  %1138 = load i32, ptr %30, align 4, !tbaa !9
  %1139 = mul i32 5, %1138
  %1140 = add i32 2, %1139
  %1141 = zext i32 %1140 to i64
  %1142 = getelementptr inbounds i64, ptr %1137, i64 %1141
  %1143 = load i64, ptr %1142, align 8, !tbaa !11
  %1144 = load ptr, ptr %2, align 8, !tbaa !5
  %1145 = load i32, ptr %30, align 4, !tbaa !9
  %1146 = mul i32 5, %1145
  %1147 = add i32 3, %1146
  %1148 = zext i32 %1147 to i64
  %1149 = getelementptr inbounds i64, ptr %1144, i64 %1148
  %1150 = load i64, ptr %1149, align 8, !tbaa !11
  %1151 = xor i64 %1150, -1
  %1152 = load ptr, ptr %2, align 8, !tbaa !5
  %1153 = load i32, ptr %30, align 4, !tbaa !9
  %1154 = mul i32 5, %1153
  %1155 = add i32 4, %1154
  %1156 = zext i32 %1155 to i64
  %1157 = getelementptr inbounds i64, ptr %1152, i64 %1156
  %1158 = load i64, ptr %1157, align 8, !tbaa !11
  %1159 = and i64 %1151, %1158
  %1160 = xor i64 %1143, %1159
  store i64 %1160, ptr %38, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #3
  %1161 = load ptr, ptr %2, align 8, !tbaa !5
  %1162 = load i32, ptr %30, align 4, !tbaa !9
  %1163 = mul i32 5, %1162
  %1164 = add i32 3, %1163
  %1165 = zext i32 %1164 to i64
  %1166 = getelementptr inbounds i64, ptr %1161, i64 %1165
  %1167 = load i64, ptr %1166, align 8, !tbaa !11
  %1168 = load ptr, ptr %2, align 8, !tbaa !5
  %1169 = load i32, ptr %30, align 4, !tbaa !9
  %1170 = mul i32 5, %1169
  %1171 = add i32 4, %1170
  %1172 = zext i32 %1171 to i64
  %1173 = getelementptr inbounds i64, ptr %1168, i64 %1172
  %1174 = load i64, ptr %1173, align 8, !tbaa !11
  %1175 = xor i64 %1174, -1
  %1176 = load ptr, ptr %2, align 8, !tbaa !5
  %1177 = load i32, ptr %30, align 4, !tbaa !9
  %1178 = mul i32 5, %1177
  %1179 = add i32 0, %1178
  %1180 = zext i32 %1179 to i64
  %1181 = getelementptr inbounds i64, ptr %1176, i64 %1180
  %1182 = load i64, ptr %1181, align 8, !tbaa !11
  %1183 = and i64 %1175, %1182
  %1184 = xor i64 %1167, %1183
  store i64 %1184, ptr %39, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #3
  %1185 = load ptr, ptr %2, align 8, !tbaa !5
  %1186 = load i32, ptr %30, align 4, !tbaa !9
  %1187 = mul i32 5, %1186
  %1188 = add i32 4, %1187
  %1189 = zext i32 %1188 to i64
  %1190 = getelementptr inbounds i64, ptr %1185, i64 %1189
  %1191 = load i64, ptr %1190, align 8, !tbaa !11
  %1192 = load ptr, ptr %2, align 8, !tbaa !5
  %1193 = load i32, ptr %30, align 4, !tbaa !9
  %1194 = mul i32 5, %1193
  %1195 = add i32 0, %1194
  %1196 = zext i32 %1195 to i64
  %1197 = getelementptr inbounds i64, ptr %1192, i64 %1196
  %1198 = load i64, ptr %1197, align 8, !tbaa !11
  %1199 = xor i64 %1198, -1
  %1200 = load ptr, ptr %2, align 8, !tbaa !5
  %1201 = load i32, ptr %30, align 4, !tbaa !9
  %1202 = mul i32 5, %1201
  %1203 = add i32 1, %1202
  %1204 = zext i32 %1203 to i64
  %1205 = getelementptr inbounds i64, ptr %1200, i64 %1204
  %1206 = load i64, ptr %1205, align 8, !tbaa !11
  %1207 = and i64 %1199, %1206
  %1208 = xor i64 %1191, %1207
  store i64 %1208, ptr %40, align 8, !tbaa !11
  %1209 = load i64, ptr %36, align 8, !tbaa !11
  %1210 = load ptr, ptr %2, align 8, !tbaa !5
  %1211 = load i32, ptr %30, align 4, !tbaa !9
  %1212 = mul i32 5, %1211
  %1213 = add i32 0, %1212
  %1214 = zext i32 %1213 to i64
  %1215 = getelementptr inbounds i64, ptr %1210, i64 %1214
  store i64 %1209, ptr %1215, align 8, !tbaa !11
  %1216 = load i64, ptr %37, align 8, !tbaa !11
  %1217 = load ptr, ptr %2, align 8, !tbaa !5
  %1218 = load i32, ptr %30, align 4, !tbaa !9
  %1219 = mul i32 5, %1218
  %1220 = add i32 1, %1219
  %1221 = zext i32 %1220 to i64
  %1222 = getelementptr inbounds i64, ptr %1217, i64 %1221
  store i64 %1216, ptr %1222, align 8, !tbaa !11
  %1223 = load i64, ptr %38, align 8, !tbaa !11
  %1224 = load ptr, ptr %2, align 8, !tbaa !5
  %1225 = load i32, ptr %30, align 4, !tbaa !9
  %1226 = mul i32 5, %1225
  %1227 = add i32 2, %1226
  %1228 = zext i32 %1227 to i64
  %1229 = getelementptr inbounds i64, ptr %1224, i64 %1228
  store i64 %1223, ptr %1229, align 8, !tbaa !11
  %1230 = load i64, ptr %39, align 8, !tbaa !11
  %1231 = load ptr, ptr %2, align 8, !tbaa !5
  %1232 = load i32, ptr %30, align 4, !tbaa !9
  %1233 = mul i32 5, %1232
  %1234 = add i32 3, %1233
  %1235 = zext i32 %1234 to i64
  %1236 = getelementptr inbounds i64, ptr %1231, i64 %1235
  store i64 %1230, ptr %1236, align 8, !tbaa !11
  %1237 = load i64, ptr %40, align 8, !tbaa !11
  %1238 = load ptr, ptr %2, align 8, !tbaa !5
  %1239 = load i32, ptr %30, align 4, !tbaa !9
  %1240 = mul i32 5, %1239
  %1241 = add i32 4, %1240
  %1242 = zext i32 %1241 to i64
  %1243 = getelementptr inbounds i64, ptr %1238, i64 %1242
  store i64 %1237, ptr %1243, align 8, !tbaa !11
  %1244 = load i32, ptr %30, align 4, !tbaa !9
  %1245 = add i32 %1244, 1
  store i32 %1245, ptr %30, align 4, !tbaa !9
  %1246 = load i32, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #3
  %1247 = load ptr, ptr %2, align 8, !tbaa !5
  %1248 = load i32, ptr %30, align 4, !tbaa !9
  %1249 = mul i32 5, %1248
  %1250 = add i32 0, %1249
  %1251 = zext i32 %1250 to i64
  %1252 = getelementptr inbounds i64, ptr %1247, i64 %1251
  %1253 = load i64, ptr %1252, align 8, !tbaa !11
  %1254 = load ptr, ptr %2, align 8, !tbaa !5
  %1255 = load i32, ptr %30, align 4, !tbaa !9
  %1256 = mul i32 5, %1255
  %1257 = add i32 1, %1256
  %1258 = zext i32 %1257 to i64
  %1259 = getelementptr inbounds i64, ptr %1254, i64 %1258
  %1260 = load i64, ptr %1259, align 8, !tbaa !11
  %1261 = xor i64 %1260, -1
  %1262 = load ptr, ptr %2, align 8, !tbaa !5
  %1263 = load i32, ptr %30, align 4, !tbaa !9
  %1264 = mul i32 5, %1263
  %1265 = add i32 2, %1264
  %1266 = zext i32 %1265 to i64
  %1267 = getelementptr inbounds i64, ptr %1262, i64 %1266
  %1268 = load i64, ptr %1267, align 8, !tbaa !11
  %1269 = and i64 %1261, %1268
  %1270 = xor i64 %1253, %1269
  store i64 %1270, ptr %41, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #3
  %1271 = load ptr, ptr %2, align 8, !tbaa !5
  %1272 = load i32, ptr %30, align 4, !tbaa !9
  %1273 = mul i32 5, %1272
  %1274 = add i32 1, %1273
  %1275 = zext i32 %1274 to i64
  %1276 = getelementptr inbounds i64, ptr %1271, i64 %1275
  %1277 = load i64, ptr %1276, align 8, !tbaa !11
  %1278 = load ptr, ptr %2, align 8, !tbaa !5
  %1279 = load i32, ptr %30, align 4, !tbaa !9
  %1280 = mul i32 5, %1279
  %1281 = add i32 2, %1280
  %1282 = zext i32 %1281 to i64
  %1283 = getelementptr inbounds i64, ptr %1278, i64 %1282
  %1284 = load i64, ptr %1283, align 8, !tbaa !11
  %1285 = xor i64 %1284, -1
  %1286 = load ptr, ptr %2, align 8, !tbaa !5
  %1287 = load i32, ptr %30, align 4, !tbaa !9
  %1288 = mul i32 5, %1287
  %1289 = add i32 3, %1288
  %1290 = zext i32 %1289 to i64
  %1291 = getelementptr inbounds i64, ptr %1286, i64 %1290
  %1292 = load i64, ptr %1291, align 8, !tbaa !11
  %1293 = and i64 %1285, %1292
  %1294 = xor i64 %1277, %1293
  store i64 %1294, ptr %42, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #3
  %1295 = load ptr, ptr %2, align 8, !tbaa !5
  %1296 = load i32, ptr %30, align 4, !tbaa !9
  %1297 = mul i32 5, %1296
  %1298 = add i32 2, %1297
  %1299 = zext i32 %1298 to i64
  %1300 = getelementptr inbounds i64, ptr %1295, i64 %1299
  %1301 = load i64, ptr %1300, align 8, !tbaa !11
  %1302 = load ptr, ptr %2, align 8, !tbaa !5
  %1303 = load i32, ptr %30, align 4, !tbaa !9
  %1304 = mul i32 5, %1303
  %1305 = add i32 3, %1304
  %1306 = zext i32 %1305 to i64
  %1307 = getelementptr inbounds i64, ptr %1302, i64 %1306
  %1308 = load i64, ptr %1307, align 8, !tbaa !11
  %1309 = xor i64 %1308, -1
  %1310 = load ptr, ptr %2, align 8, !tbaa !5
  %1311 = load i32, ptr %30, align 4, !tbaa !9
  %1312 = mul i32 5, %1311
  %1313 = add i32 4, %1312
  %1314 = zext i32 %1313 to i64
  %1315 = getelementptr inbounds i64, ptr %1310, i64 %1314
  %1316 = load i64, ptr %1315, align 8, !tbaa !11
  %1317 = and i64 %1309, %1316
  %1318 = xor i64 %1301, %1317
  store i64 %1318, ptr %43, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #3
  %1319 = load ptr, ptr %2, align 8, !tbaa !5
  %1320 = load i32, ptr %30, align 4, !tbaa !9
  %1321 = mul i32 5, %1320
  %1322 = add i32 3, %1321
  %1323 = zext i32 %1322 to i64
  %1324 = getelementptr inbounds i64, ptr %1319, i64 %1323
  %1325 = load i64, ptr %1324, align 8, !tbaa !11
  %1326 = load ptr, ptr %2, align 8, !tbaa !5
  %1327 = load i32, ptr %30, align 4, !tbaa !9
  %1328 = mul i32 5, %1327
  %1329 = add i32 4, %1328
  %1330 = zext i32 %1329 to i64
  %1331 = getelementptr inbounds i64, ptr %1326, i64 %1330
  %1332 = load i64, ptr %1331, align 8, !tbaa !11
  %1333 = xor i64 %1332, -1
  %1334 = load ptr, ptr %2, align 8, !tbaa !5
  %1335 = load i32, ptr %30, align 4, !tbaa !9
  %1336 = mul i32 5, %1335
  %1337 = add i32 0, %1336
  %1338 = zext i32 %1337 to i64
  %1339 = getelementptr inbounds i64, ptr %1334, i64 %1338
  %1340 = load i64, ptr %1339, align 8, !tbaa !11
  %1341 = and i64 %1333, %1340
  %1342 = xor i64 %1325, %1341
  store i64 %1342, ptr %44, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #3
  %1343 = load ptr, ptr %2, align 8, !tbaa !5
  %1344 = load i32, ptr %30, align 4, !tbaa !9
  %1345 = mul i32 5, %1344
  %1346 = add i32 4, %1345
  %1347 = zext i32 %1346 to i64
  %1348 = getelementptr inbounds i64, ptr %1343, i64 %1347
  %1349 = load i64, ptr %1348, align 8, !tbaa !11
  %1350 = load ptr, ptr %2, align 8, !tbaa !5
  %1351 = load i32, ptr %30, align 4, !tbaa !9
  %1352 = mul i32 5, %1351
  %1353 = add i32 0, %1352
  %1354 = zext i32 %1353 to i64
  %1355 = getelementptr inbounds i64, ptr %1350, i64 %1354
  %1356 = load i64, ptr %1355, align 8, !tbaa !11
  %1357 = xor i64 %1356, -1
  %1358 = load ptr, ptr %2, align 8, !tbaa !5
  %1359 = load i32, ptr %30, align 4, !tbaa !9
  %1360 = mul i32 5, %1359
  %1361 = add i32 1, %1360
  %1362 = zext i32 %1361 to i64
  %1363 = getelementptr inbounds i64, ptr %1358, i64 %1362
  %1364 = load i64, ptr %1363, align 8, !tbaa !11
  %1365 = and i64 %1357, %1364
  %1366 = xor i64 %1349, %1365
  store i64 %1366, ptr %45, align 8, !tbaa !11
  %1367 = load i64, ptr %41, align 8, !tbaa !11
  %1368 = load ptr, ptr %2, align 8, !tbaa !5
  %1369 = load i32, ptr %30, align 4, !tbaa !9
  %1370 = mul i32 5, %1369
  %1371 = add i32 0, %1370
  %1372 = zext i32 %1371 to i64
  %1373 = getelementptr inbounds i64, ptr %1368, i64 %1372
  store i64 %1367, ptr %1373, align 8, !tbaa !11
  %1374 = load i64, ptr %42, align 8, !tbaa !11
  %1375 = load ptr, ptr %2, align 8, !tbaa !5
  %1376 = load i32, ptr %30, align 4, !tbaa !9
  %1377 = mul i32 5, %1376
  %1378 = add i32 1, %1377
  %1379 = zext i32 %1378 to i64
  %1380 = getelementptr inbounds i64, ptr %1375, i64 %1379
  store i64 %1374, ptr %1380, align 8, !tbaa !11
  %1381 = load i64, ptr %43, align 8, !tbaa !11
  %1382 = load ptr, ptr %2, align 8, !tbaa !5
  %1383 = load i32, ptr %30, align 4, !tbaa !9
  %1384 = mul i32 5, %1383
  %1385 = add i32 2, %1384
  %1386 = zext i32 %1385 to i64
  %1387 = getelementptr inbounds i64, ptr %1382, i64 %1386
  store i64 %1381, ptr %1387, align 8, !tbaa !11
  %1388 = load i64, ptr %44, align 8, !tbaa !11
  %1389 = load ptr, ptr %2, align 8, !tbaa !5
  %1390 = load i32, ptr %30, align 4, !tbaa !9
  %1391 = mul i32 5, %1390
  %1392 = add i32 3, %1391
  %1393 = zext i32 %1392 to i64
  %1394 = getelementptr inbounds i64, ptr %1389, i64 %1393
  store i64 %1388, ptr %1394, align 8, !tbaa !11
  %1395 = load i64, ptr %45, align 8, !tbaa !11
  %1396 = load ptr, ptr %2, align 8, !tbaa !5
  %1397 = load i32, ptr %30, align 4, !tbaa !9
  %1398 = mul i32 5, %1397
  %1399 = add i32 4, %1398
  %1400 = zext i32 %1399 to i64
  %1401 = getelementptr inbounds i64, ptr %1396, i64 %1400
  store i64 %1395, ptr %1401, align 8, !tbaa !11
  %1402 = load i32, ptr %30, align 4, !tbaa !9
  %1403 = add i32 %1402, 1
  store i32 %1403, ptr %30, align 4, !tbaa !9
  %1404 = load i32, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #3
  %1405 = load ptr, ptr %2, align 8, !tbaa !5
  %1406 = load i32, ptr %30, align 4, !tbaa !9
  %1407 = mul i32 5, %1406
  %1408 = add i32 0, %1407
  %1409 = zext i32 %1408 to i64
  %1410 = getelementptr inbounds i64, ptr %1405, i64 %1409
  %1411 = load i64, ptr %1410, align 8, !tbaa !11
  %1412 = load ptr, ptr %2, align 8, !tbaa !5
  %1413 = load i32, ptr %30, align 4, !tbaa !9
  %1414 = mul i32 5, %1413
  %1415 = add i32 1, %1414
  %1416 = zext i32 %1415 to i64
  %1417 = getelementptr inbounds i64, ptr %1412, i64 %1416
  %1418 = load i64, ptr %1417, align 8, !tbaa !11
  %1419 = xor i64 %1418, -1
  %1420 = load ptr, ptr %2, align 8, !tbaa !5
  %1421 = load i32, ptr %30, align 4, !tbaa !9
  %1422 = mul i32 5, %1421
  %1423 = add i32 2, %1422
  %1424 = zext i32 %1423 to i64
  %1425 = getelementptr inbounds i64, ptr %1420, i64 %1424
  %1426 = load i64, ptr %1425, align 8, !tbaa !11
  %1427 = and i64 %1419, %1426
  %1428 = xor i64 %1411, %1427
  store i64 %1428, ptr %46, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #3
  %1429 = load ptr, ptr %2, align 8, !tbaa !5
  %1430 = load i32, ptr %30, align 4, !tbaa !9
  %1431 = mul i32 5, %1430
  %1432 = add i32 1, %1431
  %1433 = zext i32 %1432 to i64
  %1434 = getelementptr inbounds i64, ptr %1429, i64 %1433
  %1435 = load i64, ptr %1434, align 8, !tbaa !11
  %1436 = load ptr, ptr %2, align 8, !tbaa !5
  %1437 = load i32, ptr %30, align 4, !tbaa !9
  %1438 = mul i32 5, %1437
  %1439 = add i32 2, %1438
  %1440 = zext i32 %1439 to i64
  %1441 = getelementptr inbounds i64, ptr %1436, i64 %1440
  %1442 = load i64, ptr %1441, align 8, !tbaa !11
  %1443 = xor i64 %1442, -1
  %1444 = load ptr, ptr %2, align 8, !tbaa !5
  %1445 = load i32, ptr %30, align 4, !tbaa !9
  %1446 = mul i32 5, %1445
  %1447 = add i32 3, %1446
  %1448 = zext i32 %1447 to i64
  %1449 = getelementptr inbounds i64, ptr %1444, i64 %1448
  %1450 = load i64, ptr %1449, align 8, !tbaa !11
  %1451 = and i64 %1443, %1450
  %1452 = xor i64 %1435, %1451
  store i64 %1452, ptr %47, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #3
  %1453 = load ptr, ptr %2, align 8, !tbaa !5
  %1454 = load i32, ptr %30, align 4, !tbaa !9
  %1455 = mul i32 5, %1454
  %1456 = add i32 2, %1455
  %1457 = zext i32 %1456 to i64
  %1458 = getelementptr inbounds i64, ptr %1453, i64 %1457
  %1459 = load i64, ptr %1458, align 8, !tbaa !11
  %1460 = load ptr, ptr %2, align 8, !tbaa !5
  %1461 = load i32, ptr %30, align 4, !tbaa !9
  %1462 = mul i32 5, %1461
  %1463 = add i32 3, %1462
  %1464 = zext i32 %1463 to i64
  %1465 = getelementptr inbounds i64, ptr %1460, i64 %1464
  %1466 = load i64, ptr %1465, align 8, !tbaa !11
  %1467 = xor i64 %1466, -1
  %1468 = load ptr, ptr %2, align 8, !tbaa !5
  %1469 = load i32, ptr %30, align 4, !tbaa !9
  %1470 = mul i32 5, %1469
  %1471 = add i32 4, %1470
  %1472 = zext i32 %1471 to i64
  %1473 = getelementptr inbounds i64, ptr %1468, i64 %1472
  %1474 = load i64, ptr %1473, align 8, !tbaa !11
  %1475 = and i64 %1467, %1474
  %1476 = xor i64 %1459, %1475
  store i64 %1476, ptr %48, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #3
  %1477 = load ptr, ptr %2, align 8, !tbaa !5
  %1478 = load i32, ptr %30, align 4, !tbaa !9
  %1479 = mul i32 5, %1478
  %1480 = add i32 3, %1479
  %1481 = zext i32 %1480 to i64
  %1482 = getelementptr inbounds i64, ptr %1477, i64 %1481
  %1483 = load i64, ptr %1482, align 8, !tbaa !11
  %1484 = load ptr, ptr %2, align 8, !tbaa !5
  %1485 = load i32, ptr %30, align 4, !tbaa !9
  %1486 = mul i32 5, %1485
  %1487 = add i32 4, %1486
  %1488 = zext i32 %1487 to i64
  %1489 = getelementptr inbounds i64, ptr %1484, i64 %1488
  %1490 = load i64, ptr %1489, align 8, !tbaa !11
  %1491 = xor i64 %1490, -1
  %1492 = load ptr, ptr %2, align 8, !tbaa !5
  %1493 = load i32, ptr %30, align 4, !tbaa !9
  %1494 = mul i32 5, %1493
  %1495 = add i32 0, %1494
  %1496 = zext i32 %1495 to i64
  %1497 = getelementptr inbounds i64, ptr %1492, i64 %1496
  %1498 = load i64, ptr %1497, align 8, !tbaa !11
  %1499 = and i64 %1491, %1498
  %1500 = xor i64 %1483, %1499
  store i64 %1500, ptr %49, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #3
  %1501 = load ptr, ptr %2, align 8, !tbaa !5
  %1502 = load i32, ptr %30, align 4, !tbaa !9
  %1503 = mul i32 5, %1502
  %1504 = add i32 4, %1503
  %1505 = zext i32 %1504 to i64
  %1506 = getelementptr inbounds i64, ptr %1501, i64 %1505
  %1507 = load i64, ptr %1506, align 8, !tbaa !11
  %1508 = load ptr, ptr %2, align 8, !tbaa !5
  %1509 = load i32, ptr %30, align 4, !tbaa !9
  %1510 = mul i32 5, %1509
  %1511 = add i32 0, %1510
  %1512 = zext i32 %1511 to i64
  %1513 = getelementptr inbounds i64, ptr %1508, i64 %1512
  %1514 = load i64, ptr %1513, align 8, !tbaa !11
  %1515 = xor i64 %1514, -1
  %1516 = load ptr, ptr %2, align 8, !tbaa !5
  %1517 = load i32, ptr %30, align 4, !tbaa !9
  %1518 = mul i32 5, %1517
  %1519 = add i32 1, %1518
  %1520 = zext i32 %1519 to i64
  %1521 = getelementptr inbounds i64, ptr %1516, i64 %1520
  %1522 = load i64, ptr %1521, align 8, !tbaa !11
  %1523 = and i64 %1515, %1522
  %1524 = xor i64 %1507, %1523
  store i64 %1524, ptr %50, align 8, !tbaa !11
  %1525 = load i64, ptr %46, align 8, !tbaa !11
  %1526 = load ptr, ptr %2, align 8, !tbaa !5
  %1527 = load i32, ptr %30, align 4, !tbaa !9
  %1528 = mul i32 5, %1527
  %1529 = add i32 0, %1528
  %1530 = zext i32 %1529 to i64
  %1531 = getelementptr inbounds i64, ptr %1526, i64 %1530
  store i64 %1525, ptr %1531, align 8, !tbaa !11
  %1532 = load i64, ptr %47, align 8, !tbaa !11
  %1533 = load ptr, ptr %2, align 8, !tbaa !5
  %1534 = load i32, ptr %30, align 4, !tbaa !9
  %1535 = mul i32 5, %1534
  %1536 = add i32 1, %1535
  %1537 = zext i32 %1536 to i64
  %1538 = getelementptr inbounds i64, ptr %1533, i64 %1537
  store i64 %1532, ptr %1538, align 8, !tbaa !11
  %1539 = load i64, ptr %48, align 8, !tbaa !11
  %1540 = load ptr, ptr %2, align 8, !tbaa !5
  %1541 = load i32, ptr %30, align 4, !tbaa !9
  %1542 = mul i32 5, %1541
  %1543 = add i32 2, %1542
  %1544 = zext i32 %1543 to i64
  %1545 = getelementptr inbounds i64, ptr %1540, i64 %1544
  store i64 %1539, ptr %1545, align 8, !tbaa !11
  %1546 = load i64, ptr %49, align 8, !tbaa !11
  %1547 = load ptr, ptr %2, align 8, !tbaa !5
  %1548 = load i32, ptr %30, align 4, !tbaa !9
  %1549 = mul i32 5, %1548
  %1550 = add i32 3, %1549
  %1551 = zext i32 %1550 to i64
  %1552 = getelementptr inbounds i64, ptr %1547, i64 %1551
  store i64 %1546, ptr %1552, align 8, !tbaa !11
  %1553 = load i64, ptr %50, align 8, !tbaa !11
  %1554 = load ptr, ptr %2, align 8, !tbaa !5
  %1555 = load i32, ptr %30, align 4, !tbaa !9
  %1556 = mul i32 5, %1555
  %1557 = add i32 4, %1556
  %1558 = zext i32 %1557 to i64
  %1559 = getelementptr inbounds i64, ptr %1554, i64 %1558
  store i64 %1553, ptr %1559, align 8, !tbaa !11
  %1560 = load i32, ptr %30, align 4, !tbaa !9
  %1561 = add i32 %1560, 1
  store i32 %1561, ptr %30, align 4, !tbaa !9
  %1562 = load i32, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #3
  %1563 = load ptr, ptr %2, align 8, !tbaa !5
  %1564 = load i32, ptr %30, align 4, !tbaa !9
  %1565 = mul i32 5, %1564
  %1566 = add i32 0, %1565
  %1567 = zext i32 %1566 to i64
  %1568 = getelementptr inbounds i64, ptr %1563, i64 %1567
  %1569 = load i64, ptr %1568, align 8, !tbaa !11
  %1570 = load ptr, ptr %2, align 8, !tbaa !5
  %1571 = load i32, ptr %30, align 4, !tbaa !9
  %1572 = mul i32 5, %1571
  %1573 = add i32 1, %1572
  %1574 = zext i32 %1573 to i64
  %1575 = getelementptr inbounds i64, ptr %1570, i64 %1574
  %1576 = load i64, ptr %1575, align 8, !tbaa !11
  %1577 = xor i64 %1576, -1
  %1578 = load ptr, ptr %2, align 8, !tbaa !5
  %1579 = load i32, ptr %30, align 4, !tbaa !9
  %1580 = mul i32 5, %1579
  %1581 = add i32 2, %1580
  %1582 = zext i32 %1581 to i64
  %1583 = getelementptr inbounds i64, ptr %1578, i64 %1582
  %1584 = load i64, ptr %1583, align 8, !tbaa !11
  %1585 = and i64 %1577, %1584
  %1586 = xor i64 %1569, %1585
  store i64 %1586, ptr %51, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #3
  %1587 = load ptr, ptr %2, align 8, !tbaa !5
  %1588 = load i32, ptr %30, align 4, !tbaa !9
  %1589 = mul i32 5, %1588
  %1590 = add i32 1, %1589
  %1591 = zext i32 %1590 to i64
  %1592 = getelementptr inbounds i64, ptr %1587, i64 %1591
  %1593 = load i64, ptr %1592, align 8, !tbaa !11
  %1594 = load ptr, ptr %2, align 8, !tbaa !5
  %1595 = load i32, ptr %30, align 4, !tbaa !9
  %1596 = mul i32 5, %1595
  %1597 = add i32 2, %1596
  %1598 = zext i32 %1597 to i64
  %1599 = getelementptr inbounds i64, ptr %1594, i64 %1598
  %1600 = load i64, ptr %1599, align 8, !tbaa !11
  %1601 = xor i64 %1600, -1
  %1602 = load ptr, ptr %2, align 8, !tbaa !5
  %1603 = load i32, ptr %30, align 4, !tbaa !9
  %1604 = mul i32 5, %1603
  %1605 = add i32 3, %1604
  %1606 = zext i32 %1605 to i64
  %1607 = getelementptr inbounds i64, ptr %1602, i64 %1606
  %1608 = load i64, ptr %1607, align 8, !tbaa !11
  %1609 = and i64 %1601, %1608
  %1610 = xor i64 %1593, %1609
  store i64 %1610, ptr %52, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #3
  %1611 = load ptr, ptr %2, align 8, !tbaa !5
  %1612 = load i32, ptr %30, align 4, !tbaa !9
  %1613 = mul i32 5, %1612
  %1614 = add i32 2, %1613
  %1615 = zext i32 %1614 to i64
  %1616 = getelementptr inbounds i64, ptr %1611, i64 %1615
  %1617 = load i64, ptr %1616, align 8, !tbaa !11
  %1618 = load ptr, ptr %2, align 8, !tbaa !5
  %1619 = load i32, ptr %30, align 4, !tbaa !9
  %1620 = mul i32 5, %1619
  %1621 = add i32 3, %1620
  %1622 = zext i32 %1621 to i64
  %1623 = getelementptr inbounds i64, ptr %1618, i64 %1622
  %1624 = load i64, ptr %1623, align 8, !tbaa !11
  %1625 = xor i64 %1624, -1
  %1626 = load ptr, ptr %2, align 8, !tbaa !5
  %1627 = load i32, ptr %30, align 4, !tbaa !9
  %1628 = mul i32 5, %1627
  %1629 = add i32 4, %1628
  %1630 = zext i32 %1629 to i64
  %1631 = getelementptr inbounds i64, ptr %1626, i64 %1630
  %1632 = load i64, ptr %1631, align 8, !tbaa !11
  %1633 = and i64 %1625, %1632
  %1634 = xor i64 %1617, %1633
  store i64 %1634, ptr %53, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #3
  %1635 = load ptr, ptr %2, align 8, !tbaa !5
  %1636 = load i32, ptr %30, align 4, !tbaa !9
  %1637 = mul i32 5, %1636
  %1638 = add i32 3, %1637
  %1639 = zext i32 %1638 to i64
  %1640 = getelementptr inbounds i64, ptr %1635, i64 %1639
  %1641 = load i64, ptr %1640, align 8, !tbaa !11
  %1642 = load ptr, ptr %2, align 8, !tbaa !5
  %1643 = load i32, ptr %30, align 4, !tbaa !9
  %1644 = mul i32 5, %1643
  %1645 = add i32 4, %1644
  %1646 = zext i32 %1645 to i64
  %1647 = getelementptr inbounds i64, ptr %1642, i64 %1646
  %1648 = load i64, ptr %1647, align 8, !tbaa !11
  %1649 = xor i64 %1648, -1
  %1650 = load ptr, ptr %2, align 8, !tbaa !5
  %1651 = load i32, ptr %30, align 4, !tbaa !9
  %1652 = mul i32 5, %1651
  %1653 = add i32 0, %1652
  %1654 = zext i32 %1653 to i64
  %1655 = getelementptr inbounds i64, ptr %1650, i64 %1654
  %1656 = load i64, ptr %1655, align 8, !tbaa !11
  %1657 = and i64 %1649, %1656
  %1658 = xor i64 %1641, %1657
  store i64 %1658, ptr %54, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #3
  %1659 = load ptr, ptr %2, align 8, !tbaa !5
  %1660 = load i32, ptr %30, align 4, !tbaa !9
  %1661 = mul i32 5, %1660
  %1662 = add i32 4, %1661
  %1663 = zext i32 %1662 to i64
  %1664 = getelementptr inbounds i64, ptr %1659, i64 %1663
  %1665 = load i64, ptr %1664, align 8, !tbaa !11
  %1666 = load ptr, ptr %2, align 8, !tbaa !5
  %1667 = load i32, ptr %30, align 4, !tbaa !9
  %1668 = mul i32 5, %1667
  %1669 = add i32 0, %1668
  %1670 = zext i32 %1669 to i64
  %1671 = getelementptr inbounds i64, ptr %1666, i64 %1670
  %1672 = load i64, ptr %1671, align 8, !tbaa !11
  %1673 = xor i64 %1672, -1
  %1674 = load ptr, ptr %2, align 8, !tbaa !5
  %1675 = load i32, ptr %30, align 4, !tbaa !9
  %1676 = mul i32 5, %1675
  %1677 = add i32 1, %1676
  %1678 = zext i32 %1677 to i64
  %1679 = getelementptr inbounds i64, ptr %1674, i64 %1678
  %1680 = load i64, ptr %1679, align 8, !tbaa !11
  %1681 = and i64 %1673, %1680
  %1682 = xor i64 %1665, %1681
  store i64 %1682, ptr %55, align 8, !tbaa !11
  %1683 = load i64, ptr %51, align 8, !tbaa !11
  %1684 = load ptr, ptr %2, align 8, !tbaa !5
  %1685 = load i32, ptr %30, align 4, !tbaa !9
  %1686 = mul i32 5, %1685
  %1687 = add i32 0, %1686
  %1688 = zext i32 %1687 to i64
  %1689 = getelementptr inbounds i64, ptr %1684, i64 %1688
  store i64 %1683, ptr %1689, align 8, !tbaa !11
  %1690 = load i64, ptr %52, align 8, !tbaa !11
  %1691 = load ptr, ptr %2, align 8, !tbaa !5
  %1692 = load i32, ptr %30, align 4, !tbaa !9
  %1693 = mul i32 5, %1692
  %1694 = add i32 1, %1693
  %1695 = zext i32 %1694 to i64
  %1696 = getelementptr inbounds i64, ptr %1691, i64 %1695
  store i64 %1690, ptr %1696, align 8, !tbaa !11
  %1697 = load i64, ptr %53, align 8, !tbaa !11
  %1698 = load ptr, ptr %2, align 8, !tbaa !5
  %1699 = load i32, ptr %30, align 4, !tbaa !9
  %1700 = mul i32 5, %1699
  %1701 = add i32 2, %1700
  %1702 = zext i32 %1701 to i64
  %1703 = getelementptr inbounds i64, ptr %1698, i64 %1702
  store i64 %1697, ptr %1703, align 8, !tbaa !11
  %1704 = load i64, ptr %54, align 8, !tbaa !11
  %1705 = load ptr, ptr %2, align 8, !tbaa !5
  %1706 = load i32, ptr %30, align 4, !tbaa !9
  %1707 = mul i32 5, %1706
  %1708 = add i32 3, %1707
  %1709 = zext i32 %1708 to i64
  %1710 = getelementptr inbounds i64, ptr %1705, i64 %1709
  store i64 %1704, ptr %1710, align 8, !tbaa !11
  %1711 = load i64, ptr %55, align 8, !tbaa !11
  %1712 = load ptr, ptr %2, align 8, !tbaa !5
  %1713 = load i32, ptr %30, align 4, !tbaa !9
  %1714 = mul i32 5, %1713
  %1715 = add i32 4, %1714
  %1716 = zext i32 %1715 to i64
  %1717 = getelementptr inbounds i64, ptr %1712, i64 %1716
  store i64 %1711, ptr %1717, align 8, !tbaa !11
  %1718 = load i32, ptr %30, align 4, !tbaa !9
  %1719 = add i32 %1718, 1
  store i32 %1719, ptr %30, align 4, !tbaa !9
  %1720 = load i32, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #3
  br label %1721

1721:                                             ; preds = %930
  br label %1722

1722:                                             ; preds = %1721
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #3
  %1723 = load i32, ptr %3, align 4, !tbaa !9
  %1724 = zext i32 %1723 to i64
  %1725 = getelementptr inbounds [24 x i64], ptr @keccak_rndc, i64 0, i64 %1724
  %1726 = load i64, ptr %1725, align 8, !tbaa !11
  store i64 %1726, ptr %56, align 8, !tbaa !11
  %1727 = load ptr, ptr %2, align 8, !tbaa !5
  %1728 = getelementptr inbounds i64, ptr %1727, i64 0
  %1729 = load i64, ptr %1728, align 8, !tbaa !11
  %1730 = load i64, ptr %56, align 8, !tbaa !11
  %1731 = xor i64 %1729, %1730
  %1732 = load ptr, ptr %2, align 8, !tbaa !5
  %1733 = getelementptr inbounds i64, ptr %1732, i64 0
  store i64 %1731, ptr %1733, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #3
  call void @llvm.lifetime.end.p0(i64 40, ptr %5) #3
  br label %1734

1734:                                             ; preds = %1722
  %1735 = load i32, ptr %3, align 4, !tbaa !9
  %1736 = add i32 %1735, 1
  store i32 %1736, ptr %3, align 4, !tbaa !9
  br label %57, !llvm.loop !15

1737:                                             ; preds = %60
  ret void
}

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


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

@keccak_piln = external hidden local_unnamed_addr constant [24 x i32], align 16
@keccak_rotc = external hidden local_unnamed_addr constant [24 x i32], align 16
@keccak_rndc = external hidden local_unnamed_addr constant [24 x i64], align 16

; Function Attrs: nofree norecurse nosync nounwind memory(argmem: readwrite) uwtable
define dso_local void @Hacl_Hash_SHA3_state_permute(ptr noundef %0) local_unnamed_addr #0 {
  %2 = getelementptr inbounds i8, ptr %0, i64 40
  %3 = getelementptr inbounds i8, ptr %0, i64 80
  %4 = getelementptr inbounds i8, ptr %0, i64 120
  %5 = getelementptr inbounds i8, ptr %0, i64 160
  %6 = getelementptr inbounds i8, ptr %0, i64 8
  %7 = getelementptr inbounds i8, ptr %0, i64 48
  %8 = getelementptr inbounds i8, ptr %0, i64 88
  %9 = getelementptr inbounds i8, ptr %0, i64 128
  %10 = getelementptr inbounds i8, ptr %0, i64 168
  %11 = getelementptr inbounds i8, ptr %0, i64 16
  %12 = getelementptr inbounds i8, ptr %0, i64 56
  %13 = getelementptr inbounds i8, ptr %0, i64 96
  %14 = getelementptr inbounds i8, ptr %0, i64 136
  %15 = getelementptr inbounds i8, ptr %0, i64 176
  %16 = getelementptr inbounds i8, ptr %0, i64 24
  %17 = getelementptr inbounds i8, ptr %0, i64 64
  %18 = getelementptr inbounds i8, ptr %0, i64 104
  %19 = getelementptr inbounds i8, ptr %0, i64 144
  %20 = getelementptr inbounds i8, ptr %0, i64 184
  %21 = getelementptr inbounds i8, ptr %0, i64 32
  %22 = getelementptr inbounds i8, ptr %0, i64 72
  %23 = getelementptr inbounds i8, ptr %0, i64 112
  %24 = getelementptr inbounds i8, ptr %0, i64 152
  %25 = getelementptr inbounds i8, ptr %0, i64 192
  %.pre = load i64, ptr %0, align 8, !tbaa !5
  %.pre591 = load i64, ptr %2, align 8, !tbaa !5
  %.pre592 = load i64, ptr %3, align 8, !tbaa !5
  %.pre593 = load i64, ptr %4, align 8, !tbaa !5
  %.pre594 = load i64, ptr %5, align 8, !tbaa !5
  %.pre595 = load i64, ptr %7, align 8, !tbaa !5
  %.pre596 = load i64, ptr %8, align 8, !tbaa !5
  %.pre597 = load i64, ptr %9, align 8, !tbaa !5
  %.pre598 = load i64, ptr %10, align 8, !tbaa !5
  %.pre599 = load i64, ptr %12, align 8, !tbaa !5
  %.pre600 = load i64, ptr %13, align 8, !tbaa !5
  %.pre601 = load i64, ptr %14, align 8, !tbaa !5
  %.pre602 = load i64, ptr %15, align 8, !tbaa !5
  %.pre603 = load i64, ptr %17, align 8, !tbaa !5
  %.pre604 = load i64, ptr %18, align 8, !tbaa !5
  %.pre605 = load i64, ptr %19, align 8, !tbaa !5
  %.pre606 = load i64, ptr %20, align 8, !tbaa !5
  %.pre607 = load i64, ptr %22, align 8, !tbaa !5
  %.pre608 = load i64, ptr %23, align 8, !tbaa !5
  %.pre609 = load i64, ptr %24, align 8, !tbaa !5
  %.pre610 = load i64, ptr %25, align 8, !tbaa !5
  %26 = load i32, ptr @keccak_piln, align 16, !tbaa !9
  %27 = load i32, ptr @keccak_rotc, align 16, !tbaa !9
  %28 = zext i32 %26 to i64
  %29 = getelementptr inbounds i64, ptr %0, i64 %28
  %30 = zext nneg i32 %27 to i64
  %31 = sub i32 64, %27
  %32 = zext nneg i32 %31 to i64
  %33 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 4), align 4, !tbaa !9
  %34 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 4), align 4, !tbaa !9
  %35 = zext i32 %33 to i64
  %36 = getelementptr inbounds i64, ptr %0, i64 %35
  %37 = zext nneg i32 %34 to i64
  %38 = sub i32 64, %34
  %39 = zext nneg i32 %38 to i64
  %40 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 8), align 8, !tbaa !9
  %41 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 8), align 8, !tbaa !9
  %42 = zext i32 %40 to i64
  %43 = getelementptr inbounds i64, ptr %0, i64 %42
  %44 = zext nneg i32 %41 to i64
  %45 = sub i32 64, %41
  %46 = zext nneg i32 %45 to i64
  %47 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 12), align 4, !tbaa !9
  %48 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 12), align 4, !tbaa !9
  %49 = zext i32 %47 to i64
  %50 = getelementptr inbounds i64, ptr %0, i64 %49
  %51 = zext nneg i32 %48 to i64
  %52 = sub i32 64, %48
  %53 = zext nneg i32 %52 to i64
  %54 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 16), align 16, !tbaa !9
  %55 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 16), align 16, !tbaa !9
  %56 = zext i32 %54 to i64
  %57 = getelementptr inbounds i64, ptr %0, i64 %56
  %58 = zext nneg i32 %55 to i64
  %59 = sub i32 64, %55
  %60 = zext nneg i32 %59 to i64
  %61 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 20), align 4, !tbaa !9
  %62 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 20), align 4, !tbaa !9
  %63 = zext i32 %61 to i64
  %64 = getelementptr inbounds i64, ptr %0, i64 %63
  %65 = zext nneg i32 %62 to i64
  %66 = sub i32 64, %62
  %67 = zext nneg i32 %66 to i64
  %68 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 24), align 8, !tbaa !9
  %69 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 24), align 8, !tbaa !9
  %70 = zext i32 %68 to i64
  %71 = getelementptr inbounds i64, ptr %0, i64 %70
  %72 = zext nneg i32 %69 to i64
  %73 = sub i32 64, %69
  %74 = zext nneg i32 %73 to i64
  %75 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 28), align 4, !tbaa !9
  %76 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 28), align 4, !tbaa !9
  %77 = zext i32 %75 to i64
  %78 = getelementptr inbounds i64, ptr %0, i64 %77
  %79 = zext nneg i32 %76 to i64
  %80 = sub i32 64, %76
  %81 = zext nneg i32 %80 to i64
  %82 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 32), align 16, !tbaa !9
  %83 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 32), align 16, !tbaa !9
  %84 = zext i32 %82 to i64
  %85 = getelementptr inbounds i64, ptr %0, i64 %84
  %86 = zext nneg i32 %83 to i64
  %87 = sub i32 64, %83
  %88 = zext nneg i32 %87 to i64
  %89 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 36), align 4, !tbaa !9
  %90 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 36), align 4, !tbaa !9
  %91 = zext i32 %89 to i64
  %92 = getelementptr inbounds i64, ptr %0, i64 %91
  %93 = zext nneg i32 %90 to i64
  %94 = sub i32 64, %90
  %95 = zext nneg i32 %94 to i64
  %96 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 40), align 8, !tbaa !9
  %97 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 40), align 8, !tbaa !9
  %98 = zext i32 %96 to i64
  %99 = getelementptr inbounds i64, ptr %0, i64 %98
  %100 = zext nneg i32 %97 to i64
  %101 = sub i32 64, %97
  %102 = zext nneg i32 %101 to i64
  %103 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 44), align 4, !tbaa !9
  %104 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 44), align 4, !tbaa !9
  %105 = zext i32 %103 to i64
  %106 = getelementptr inbounds i64, ptr %0, i64 %105
  %107 = zext nneg i32 %104 to i64
  %108 = sub i32 64, %104
  %109 = zext nneg i32 %108 to i64
  %110 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 48), align 16, !tbaa !9
  %111 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 48), align 16, !tbaa !9
  %112 = zext i32 %110 to i64
  %113 = getelementptr inbounds i64, ptr %0, i64 %112
  %114 = zext nneg i32 %111 to i64
  %115 = sub i32 64, %111
  %116 = zext nneg i32 %115 to i64
  %117 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 52), align 4, !tbaa !9
  %118 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 52), align 4, !tbaa !9
  %119 = zext i32 %117 to i64
  %120 = getelementptr inbounds i64, ptr %0, i64 %119
  %121 = zext nneg i32 %118 to i64
  %122 = sub i32 64, %118
  %123 = zext nneg i32 %122 to i64
  %124 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 56), align 8, !tbaa !9
  %125 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 56), align 8, !tbaa !9
  %126 = zext i32 %124 to i64
  %127 = getelementptr inbounds i64, ptr %0, i64 %126
  %128 = zext nneg i32 %125 to i64
  %129 = sub i32 64, %125
  %130 = zext nneg i32 %129 to i64
  %131 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 60), align 4, !tbaa !9
  %132 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 60), align 4, !tbaa !9
  %133 = zext i32 %131 to i64
  %134 = getelementptr inbounds i64, ptr %0, i64 %133
  %135 = zext nneg i32 %132 to i64
  %136 = sub i32 64, %132
  %137 = zext nneg i32 %136 to i64
  %138 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 64), align 16, !tbaa !9
  %139 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 64), align 16, !tbaa !9
  %140 = zext i32 %138 to i64
  %141 = getelementptr inbounds i64, ptr %0, i64 %140
  %142 = zext nneg i32 %139 to i64
  %143 = sub i32 64, %139
  %144 = zext nneg i32 %143 to i64
  %145 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 68), align 4, !tbaa !9
  %146 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 68), align 4, !tbaa !9
  %147 = zext i32 %145 to i64
  %148 = getelementptr inbounds i64, ptr %0, i64 %147
  %149 = zext nneg i32 %146 to i64
  %150 = sub i32 64, %146
  %151 = zext nneg i32 %150 to i64
  %152 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 72), align 8, !tbaa !9
  %153 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 72), align 8, !tbaa !9
  %154 = zext i32 %152 to i64
  %155 = getelementptr inbounds i64, ptr %0, i64 %154
  %156 = zext nneg i32 %153 to i64
  %157 = sub i32 64, %153
  %158 = zext nneg i32 %157 to i64
  %159 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 76), align 4, !tbaa !9
  %160 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 76), align 4, !tbaa !9
  %161 = zext i32 %159 to i64
  %162 = getelementptr inbounds i64, ptr %0, i64 %161
  %163 = zext nneg i32 %160 to i64
  %164 = sub i32 64, %160
  %165 = zext nneg i32 %164 to i64
  %166 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 80), align 16, !tbaa !9
  %167 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 80), align 16, !tbaa !9
  %168 = zext i32 %166 to i64
  %169 = getelementptr inbounds i64, ptr %0, i64 %168
  %170 = zext nneg i32 %167 to i64
  %171 = sub i32 64, %167
  %172 = zext nneg i32 %171 to i64
  %173 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 84), align 4, !tbaa !9
  %174 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 84), align 4, !tbaa !9
  %175 = zext i32 %173 to i64
  %176 = getelementptr inbounds i64, ptr %0, i64 %175
  %177 = zext nneg i32 %174 to i64
  %178 = sub i32 64, %174
  %179 = zext nneg i32 %178 to i64
  %180 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 88), align 8, !tbaa !9
  %181 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 88), align 8, !tbaa !9
  %182 = zext i32 %180 to i64
  %183 = getelementptr inbounds i64, ptr %0, i64 %182
  %184 = zext nneg i32 %181 to i64
  %185 = sub i32 64, %181
  %186 = zext nneg i32 %185 to i64
  %187 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_piln, i64 92), align 4, !tbaa !9
  %188 = load i32, ptr getelementptr inbounds (i8, ptr @keccak_rotc, i64 92), align 4, !tbaa !9
  %189 = zext i32 %187 to i64
  %190 = getelementptr inbounds i64, ptr %0, i64 %189
  %191 = zext nneg i32 %188 to i64
  %192 = sub i32 64, %188
  %193 = zext nneg i32 %192 to i64
  br label %195

194:                                              ; preds = %195
  ret void

195:                                              ; preds = %1, %195
  %196 = phi i64 [ %.pre610, %1 ], [ %469, %195 ]
  %197 = phi i64 [ %.pre609, %1 ], [ %449, %195 ]
  %198 = phi i64 [ %.pre608, %1 ], [ %429, %195 ]
  %199 = phi i64 [ %.pre607, %1 ], [ %409, %195 ]
  %200 = phi i64 [ %.pre606, %1 ], [ %466, %195 ]
  %201 = phi i64 [ %.pre605, %1 ], [ %446, %195 ]
  %202 = phi i64 [ %.pre604, %1 ], [ %426, %195 ]
  %203 = phi i64 [ %.pre603, %1 ], [ %406, %195 ]
  %204 = phi i64 [ %.pre602, %1 ], [ %463, %195 ]
  %205 = phi i64 [ %.pre601, %1 ], [ %443, %195 ]
  %206 = phi i64 [ %.pre600, %1 ], [ %423, %195 ]
  %207 = phi i64 [ %.pre599, %1 ], [ %403, %195 ]
  %208 = phi i64 [ %.pre598, %1 ], [ %459, %195 ]
  %209 = phi i64 [ %.pre597, %1 ], [ %439, %195 ]
  %210 = phi i64 [ %.pre596, %1 ], [ %419, %195 ]
  %211 = phi i64 [ %.pre595, %1 ], [ %399, %195 ]
  %212 = phi i64 [ %.pre594, %1 ], [ %455, %195 ]
  %213 = phi i64 [ %.pre593, %1 ], [ %435, %195 ]
  %214 = phi i64 [ %.pre592, %1 ], [ %415, %195 ]
  %215 = phi i64 [ %.pre591, %1 ], [ %395, %195 ]
  %216 = phi i64 [ %.pre, %1 ], [ %473, %195 ]
  %indvars.iv = phi i64 [ 0, %1 ], [ %indvars.iv.next, %195 ]
  %217 = xor i64 %215, %216
  %218 = xor i64 %217, %214
  %219 = xor i64 %218, %213
  %220 = xor i64 %219, %212
  %221 = load i64, ptr %6, align 8, !tbaa !5
  %222 = xor i64 %211, %221
  %223 = xor i64 %222, %210
  %224 = xor i64 %223, %209
  %225 = xor i64 %224, %208
  %226 = load i64, ptr %11, align 8, !tbaa !5
  %227 = xor i64 %207, %226
  %228 = xor i64 %227, %206
  %229 = xor i64 %228, %205
  %230 = xor i64 %229, %204
  %231 = load i64, ptr %16, align 8, !tbaa !5
  %232 = xor i64 %203, %231
  %233 = xor i64 %232, %202
  %234 = xor i64 %233, %201
  %235 = xor i64 %234, %200
  %236 = load i64, ptr %21, align 8, !tbaa !5
  %237 = xor i64 %199, %236
  %238 = xor i64 %237, %198
  %239 = xor i64 %238, %197
  %240 = xor i64 %239, %196
  %241 = tail call i64 @llvm.fshl.i64(i64 %225, i64 %225, i64 1)
  %242 = xor i64 %240, %241
  %243 = xor i64 %242, %216
  store i64 %243, ptr %0, align 8, !tbaa !5
  %244 = xor i64 %242, %215
  store i64 %244, ptr %2, align 8, !tbaa !5
  %245 = xor i64 %242, %214
  store i64 %245, ptr %3, align 8, !tbaa !5
  %246 = xor i64 %242, %213
  store i64 %246, ptr %4, align 8, !tbaa !5
  %247 = xor i64 %242, %212
  store i64 %247, ptr %5, align 8, !tbaa !5
  %248 = tail call i64 @llvm.fshl.i64(i64 %230, i64 %230, i64 1)
  %249 = xor i64 %248, %220
  %250 = xor i64 %249, %221
  store i64 %250, ptr %6, align 8, !tbaa !5
  %251 = xor i64 %249, %211
  store i64 %251, ptr %7, align 8, !tbaa !5
  %252 = xor i64 %249, %210
  store i64 %252, ptr %8, align 8, !tbaa !5
  %253 = xor i64 %249, %209
  store i64 %253, ptr %9, align 8, !tbaa !5
  %254 = xor i64 %249, %208
  store i64 %254, ptr %10, align 8, !tbaa !5
  %255 = tail call i64 @llvm.fshl.i64(i64 %235, i64 %235, i64 1)
  %256 = xor i64 %255, %225
  %257 = xor i64 %256, %226
  store i64 %257, ptr %11, align 8, !tbaa !5
  %258 = xor i64 %256, %207
  store i64 %258, ptr %12, align 8, !tbaa !5
  %259 = xor i64 %256, %206
  store i64 %259, ptr %13, align 8, !tbaa !5
  %260 = xor i64 %256, %205
  store i64 %260, ptr %14, align 8, !tbaa !5
  %261 = xor i64 %256, %204
  store i64 %261, ptr %15, align 8, !tbaa !5
  %262 = tail call i64 @llvm.fshl.i64(i64 %240, i64 %240, i64 1)
  %263 = xor i64 %262, %230
  %264 = xor i64 %263, %231
  store i64 %264, ptr %16, align 8, !tbaa !5
  %265 = xor i64 %263, %203
  store i64 %265, ptr %17, align 8, !tbaa !5
  %266 = xor i64 %263, %202
  store i64 %266, ptr %18, align 8, !tbaa !5
  %267 = xor i64 %263, %201
  store i64 %267, ptr %19, align 8, !tbaa !5
  %268 = xor i64 %263, %200
  store i64 %268, ptr %20, align 8, !tbaa !5
  %269 = tail call i64 @llvm.fshl.i64(i64 %220, i64 %220, i64 1)
  %270 = xor i64 %235, %269
  %271 = xor i64 %270, %236
  store i64 %271, ptr %21, align 8, !tbaa !5
  %272 = xor i64 %270, %199
  store i64 %272, ptr %22, align 8, !tbaa !5
  %273 = xor i64 %270, %198
  store i64 %273, ptr %23, align 8, !tbaa !5
  %274 = xor i64 %270, %197
  store i64 %274, ptr %24, align 8, !tbaa !5
  %275 = xor i64 %196, %270
  store i64 %275, ptr %25, align 8, !tbaa !5
  %276 = load i64, ptr %29, align 8, !tbaa !5
  %277 = shl i64 %250, %30
  %278 = lshr i64 %250, %32
  %279 = or i64 %278, %277
  store i64 %279, ptr %29, align 8, !tbaa !5
  %280 = load i64, ptr %36, align 8, !tbaa !5
  %281 = shl i64 %276, %37
  %282 = lshr i64 %276, %39
  %283 = or i64 %282, %281
  store i64 %283, ptr %36, align 8, !tbaa !5
  %284 = load i64, ptr %43, align 8, !tbaa !5
  %285 = shl i64 %280, %44
  %286 = lshr i64 %280, %46
  %287 = or i64 %286, %285
  store i64 %287, ptr %43, align 8, !tbaa !5
  %288 = load i64, ptr %50, align 8, !tbaa !5
  %289 = shl i64 %284, %51
  %290 = lshr i64 %284, %53
  %291 = or i64 %290, %289
  store i64 %291, ptr %50, align 8, !tbaa !5
  %292 = load i64, ptr %57, align 8, !tbaa !5
  %293 = shl i64 %288, %58
  %294 = lshr i64 %288, %60
  %295 = or i64 %294, %293
  store i64 %295, ptr %57, align 8, !tbaa !5
  %296 = load i64, ptr %64, align 8, !tbaa !5
  %297 = shl i64 %292, %65
  %298 = lshr i64 %292, %67
  %299 = or i64 %298, %297
  store i64 %299, ptr %64, align 8, !tbaa !5
  %300 = load i64, ptr %71, align 8, !tbaa !5
  %301 = shl i64 %296, %72
  %302 = lshr i64 %296, %74
  %303 = or i64 %302, %301
  store i64 %303, ptr %71, align 8, !tbaa !5
  %304 = load i64, ptr %78, align 8, !tbaa !5
  %305 = shl i64 %300, %79
  %306 = lshr i64 %300, %81
  %307 = or i64 %306, %305
  store i64 %307, ptr %78, align 8, !tbaa !5
  %308 = load i64, ptr %85, align 8, !tbaa !5
  %309 = shl i64 %304, %86
  %310 = lshr i64 %304, %88
  %311 = or i64 %310, %309
  store i64 %311, ptr %85, align 8, !tbaa !5
  %312 = load i64, ptr %92, align 8, !tbaa !5
  %313 = shl i64 %308, %93
  %314 = lshr i64 %308, %95
  %315 = or i64 %314, %313
  store i64 %315, ptr %92, align 8, !tbaa !5
  %316 = load i64, ptr %99, align 8, !tbaa !5
  %317 = shl i64 %312, %100
  %318 = lshr i64 %312, %102
  %319 = or i64 %318, %317
  store i64 %319, ptr %99, align 8, !tbaa !5
  %320 = load i64, ptr %106, align 8, !tbaa !5
  %321 = shl i64 %316, %107
  %322 = lshr i64 %316, %109
  %323 = or i64 %322, %321
  store i64 %323, ptr %106, align 8, !tbaa !5
  %324 = load i64, ptr %113, align 8, !tbaa !5
  %325 = shl i64 %320, %114
  %326 = lshr i64 %320, %116
  %327 = or i64 %326, %325
  store i64 %327, ptr %113, align 8, !tbaa !5
  %328 = load i64, ptr %120, align 8, !tbaa !5
  %329 = shl i64 %324, %121
  %330 = lshr i64 %324, %123
  %331 = or i64 %330, %329
  store i64 %331, ptr %120, align 8, !tbaa !5
  %332 = load i64, ptr %127, align 8, !tbaa !5
  %333 = shl i64 %328, %128
  %334 = lshr i64 %328, %130
  %335 = or i64 %334, %333
  store i64 %335, ptr %127, align 8, !tbaa !5
  %336 = load i64, ptr %134, align 8, !tbaa !5
  %337 = shl i64 %332, %135
  %338 = lshr i64 %332, %137
  %339 = or i64 %338, %337
  store i64 %339, ptr %134, align 8, !tbaa !5
  %340 = load i64, ptr %141, align 8, !tbaa !5
  %341 = shl i64 %336, %142
  %342 = lshr i64 %336, %144
  %343 = or i64 %342, %341
  store i64 %343, ptr %141, align 8, !tbaa !5
  %344 = load i64, ptr %148, align 8, !tbaa !5
  %345 = shl i64 %340, %149
  %346 = lshr i64 %340, %151
  %347 = or i64 %346, %345
  store i64 %347, ptr %148, align 8, !tbaa !5
  %348 = load i64, ptr %155, align 8, !tbaa !5
  %349 = shl i64 %344, %156
  %350 = lshr i64 %344, %158
  %351 = or i64 %350, %349
  store i64 %351, ptr %155, align 8, !tbaa !5
  %352 = load i64, ptr %162, align 8, !tbaa !5
  %353 = shl i64 %348, %163
  %354 = lshr i64 %348, %165
  %355 = or i64 %354, %353
  store i64 %355, ptr %162, align 8, !tbaa !5
  %356 = load i64, ptr %169, align 8, !tbaa !5
  %357 = shl i64 %352, %170
  %358 = lshr i64 %352, %172
  %359 = or i64 %358, %357
  store i64 %359, ptr %169, align 8, !tbaa !5
  %360 = load i64, ptr %176, align 8, !tbaa !5
  %361 = shl i64 %356, %177
  %362 = lshr i64 %356, %179
  %363 = or i64 %362, %361
  store i64 %363, ptr %176, align 8, !tbaa !5
  %364 = load i64, ptr %183, align 8, !tbaa !5
  %365 = shl i64 %360, %184
  %366 = lshr i64 %360, %186
  %367 = or i64 %366, %365
  store i64 %367, ptr %183, align 8, !tbaa !5
  %368 = shl i64 %364, %191
  %369 = lshr i64 %364, %193
  %370 = or i64 %369, %368
  store i64 %370, ptr %190, align 8, !tbaa !5
  %371 = load i64, ptr %0, align 8, !tbaa !5
  %372 = load i64, ptr %6, align 8, !tbaa !5
  %373 = xor i64 %372, -1
  %374 = load i64, ptr %11, align 8, !tbaa !5
  %375 = and i64 %374, %373
  %376 = xor i64 %374, -1
  %377 = load i64, ptr %16, align 8, !tbaa !5
  %378 = and i64 %377, %376
  %379 = xor i64 %378, %372
  %380 = xor i64 %377, -1
  %381 = load i64, ptr %21, align 8, !tbaa !5
  %382 = and i64 %381, %380
  %383 = xor i64 %382, %374
  %384 = xor i64 %381, -1
  %385 = and i64 %371, %384
  %386 = xor i64 %385, %377
  %387 = xor i64 %371, -1
  %388 = and i64 %372, %387
  %389 = xor i64 %381, %388
  store i64 %379, ptr %6, align 8, !tbaa !5
  store i64 %383, ptr %11, align 8, !tbaa !5
  store i64 %386, ptr %16, align 8, !tbaa !5
  store i64 %389, ptr %21, align 8, !tbaa !5
  %390 = load i64, ptr %2, align 8, !tbaa !5
  %391 = load i64, ptr %7, align 8, !tbaa !5
  %392 = xor i64 %391, -1
  %393 = load i64, ptr %12, align 8, !tbaa !5
  %394 = and i64 %393, %392
  %395 = xor i64 %394, %390
  %396 = xor i64 %393, -1
  %397 = load i64, ptr %17, align 8, !tbaa !5
  %398 = and i64 %397, %396
  %399 = xor i64 %398, %391
  %400 = xor i64 %397, -1
  %401 = load i64, ptr %22, align 8, !tbaa !5
  %402 = and i64 %401, %400
  %403 = xor i64 %402, %393
  %404 = xor i64 %401, -1
  %405 = and i64 %390, %404
  %406 = xor i64 %405, %397
  %407 = xor i64 %390, -1
  %408 = and i64 %391, %407
  %409 = xor i64 %401, %408
  store i64 %395, ptr %2, align 8, !tbaa !5
  store i64 %399, ptr %7, align 8, !tbaa !5
  store i64 %403, ptr %12, align 8, !tbaa !5
  store i64 %406, ptr %17, align 8, !tbaa !5
  store i64 %409, ptr %22, align 8, !tbaa !5
  %410 = load i64, ptr %3, align 8, !tbaa !5
  %411 = load i64, ptr %8, align 8, !tbaa !5
  %412 = xor i64 %411, -1
  %413 = load i64, ptr %13, align 8, !tbaa !5
  %414 = and i64 %413, %412
  %415 = xor i64 %414, %410
  %416 = xor i64 %413, -1
  %417 = load i64, ptr %18, align 8, !tbaa !5
  %418 = and i64 %417, %416
  %419 = xor i64 %418, %411
  %420 = xor i64 %417, -1
  %421 = load i64, ptr %23, align 8, !tbaa !5
  %422 = and i64 %421, %420
  %423 = xor i64 %422, %413
  %424 = xor i64 %421, -1
  %425 = and i64 %410, %424
  %426 = xor i64 %425, %417
  %427 = xor i64 %410, -1
  %428 = and i64 %411, %427
  %429 = xor i64 %421, %428
  store i64 %415, ptr %3, align 8, !tbaa !5
  store i64 %419, ptr %8, align 8, !tbaa !5
  store i64 %423, ptr %13, align 8, !tbaa !5
  store i64 %426, ptr %18, align 8, !tbaa !5
  store i64 %429, ptr %23, align 8, !tbaa !5
  %430 = load i64, ptr %4, align 8, !tbaa !5
  %431 = load i64, ptr %9, align 8, !tbaa !5
  %432 = xor i64 %431, -1
  %433 = load i64, ptr %14, align 8, !tbaa !5
  %434 = and i64 %433, %432
  %435 = xor i64 %434, %430
  %436 = xor i64 %433, -1
  %437 = load i64, ptr %19, align 8, !tbaa !5
  %438 = and i64 %437, %436
  %439 = xor i64 %438, %431
  %440 = xor i64 %437, -1
  %441 = load i64, ptr %24, align 8, !tbaa !5
  %442 = and i64 %441, %440
  %443 = xor i64 %442, %433
  %444 = xor i64 %441, -1
  %445 = and i64 %430, %444
  %446 = xor i64 %445, %437
  %447 = xor i64 %430, -1
  %448 = and i64 %431, %447
  %449 = xor i64 %441, %448
  store i64 %435, ptr %4, align 8, !tbaa !5
  store i64 %439, ptr %9, align 8, !tbaa !5
  store i64 %443, ptr %14, align 8, !tbaa !5
  store i64 %446, ptr %19, align 8, !tbaa !5
  store i64 %449, ptr %24, align 8, !tbaa !5
  %450 = load i64, ptr %5, align 8, !tbaa !5
  %451 = load i64, ptr %10, align 8, !tbaa !5
  %452 = xor i64 %451, -1
  %453 = load i64, ptr %15, align 8, !tbaa !5
  %454 = and i64 %453, %452
  %455 = xor i64 %454, %450
  %456 = xor i64 %453, -1
  %457 = load i64, ptr %20, align 8, !tbaa !5
  %458 = and i64 %457, %456
  %459 = xor i64 %458, %451
  %460 = xor i64 %457, -1
  %461 = load i64, ptr %25, align 8, !tbaa !5
  %462 = and i64 %461, %460
  %463 = xor i64 %462, %453
  %464 = xor i64 %461, -1
  %465 = and i64 %450, %464
  %466 = xor i64 %465, %457
  %467 = xor i64 %450, -1
  %468 = and i64 %451, %467
  %469 = xor i64 %461, %468
  store i64 %455, ptr %5, align 8, !tbaa !5
  store i64 %459, ptr %10, align 8, !tbaa !5
  store i64 %463, ptr %15, align 8, !tbaa !5
  store i64 %466, ptr %20, align 8, !tbaa !5
  store i64 %469, ptr %25, align 8, !tbaa !5
  %470 = getelementptr inbounds [24 x i64], ptr @keccak_rndc, i64 0, i64 %indvars.iv
  %471 = load i64, ptr %470, align 8, !tbaa !5
  %472 = xor i64 %375, %471
  %473 = xor i64 %472, %371
  store i64 %473, ptr %0, align 8, !tbaa !5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 24
  br i1 %exitcond.not, label %194, label %195, !llvm.loop !11
}

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

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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}


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