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

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

@Hacl_Impl_SHA3_Vec_keccak_rotc = external dso_local constant [24 x i32], align 16
@Hacl_Impl_SHA3_Vec_keccak_piln = external dso_local constant [24 x i32], align 16
@Hacl_Impl_SHA3_Vec_keccak_rndc = external dso_local 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 nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #1

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @__uint64_identity(i64 noundef) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @load64(ptr noundef) #3

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

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_Hash_SHA3_Scalar_shake128_absorb_final(ptr noundef %0, ptr noundef %1, i32 noundef %2) #4 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca [256 x i8], align 16
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca [32 x i64], align 16
  %15 = alloca ptr, align 8
  %16 = alloca i64, align 8
  %17 = alloca i64, align 8
  %18 = alloca i64, align 8
  %19 = alloca i64, align 8
  %20 = alloca i64, align 8
  %21 = alloca i64, align 8
  %22 = alloca i64, align 8
  %23 = alloca i64, align 8
  %24 = alloca i64, align 8
  %25 = alloca i64, align 8
  %26 = alloca i64, align 8
  %27 = alloca i64, align 8
  %28 = alloca i64, align 8
  %29 = alloca i64, align 8
  %30 = alloca i64, align 8
  %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 i32, align 4
  %49 = alloca [256 x i8], align 16
  %50 = alloca ptr, align 8
  %51 = alloca ptr, align 8
  %52 = alloca [32 x i64], align 16
  %53 = alloca ptr, align 8
  %54 = alloca i64, align 8
  %55 = alloca i64, align 8
  %56 = alloca i64, align 8
  %57 = alloca i64, align 8
  %58 = alloca i64, align 8
  %59 = alloca i64, align 8
  %60 = alloca i64, align 8
  %61 = alloca i64, align 8
  %62 = alloca i64, align 8
  %63 = alloca i64, align 8
  %64 = alloca i64, align 8
  %65 = alloca i64, align 8
  %66 = alloca i64, align 8
  %67 = alloca i64, align 8
  %68 = alloca i64, align 8
  %69 = alloca i64, align 8
  %70 = alloca i64, align 8
  %71 = alloca i64, align 8
  %72 = alloca i64, align 8
  %73 = alloca i64, align 8
  %74 = alloca i64, align 8
  %75 = alloca i64, align 8
  %76 = alloca i64, align 8
  %77 = alloca i64, align 8
  %78 = alloca i64, align 8
  %79 = alloca i64, align 8
  %80 = alloca i64, align 8
  %81 = alloca i64, align 8
  %82 = alloca i64, align 8
  %83 = alloca i64, align 8
  %84 = alloca i64, align 8
  %85 = alloca i64, align 8
  %86 = alloca i32, align 4
  %87 = alloca i32, align 4
  %88 = alloca i32, align 4
  %89 = alloca [5 x i64], align 16
  %90 = alloca i32, align 4
  %91 = alloca i32, align 4
  %92 = alloca i64, align 8
  %93 = alloca i64, align 8
  %94 = alloca i32, align 4
  %95 = alloca i64, align 8
  %96 = alloca i64, align 8
  %97 = alloca i32, align 4
  %98 = alloca i64, align 8
  %99 = alloca i64, align 8
  %100 = alloca i32, align 4
  %101 = alloca i64, align 8
  %102 = alloca i64, align 8
  %103 = alloca i32, align 4
  %104 = alloca i64, align 8
  %105 = alloca i64, align 8
  %106 = alloca i32, align 4
  %107 = alloca i64, align 8
  %108 = alloca i64, align 8
  %109 = alloca i32, align 4
  %110 = alloca i32, align 4
  %111 = alloca i32, align 4
  %112 = alloca i64, align 8
  %113 = alloca i64, align 8
  %114 = alloca i32, align 4
  %115 = alloca i64, align 8
  %116 = alloca i64, align 8
  %117 = alloca i64, align 8
  %118 = alloca i64, align 8
  %119 = alloca i64, align 8
  %120 = alloca i64, align 8
  %121 = alloca i64, align 8
  %122 = alloca i64, align 8
  %123 = alloca i64, align 8
  %124 = alloca i64, align 8
  %125 = alloca i64, align 8
  %126 = alloca i64, align 8
  %127 = alloca i64, align 8
  %128 = alloca i64, align 8
  %129 = alloca i64, align 8
  %130 = alloca i64, align 8
  %131 = alloca i64, align 8
  %132 = alloca i64, align 8
  %133 = alloca i64, align 8
  %134 = alloca i64, align 8
  %135 = alloca i64, align 8
  %136 = alloca i64, align 8
  %137 = alloca i64, align 8
  %138 = alloca i64, align 8
  %139 = alloca i64, align 8
  %140 = alloca i64, align 8
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  store i32 %2, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  %141 = load i32, ptr %6, align 4, !tbaa !9
  %142 = urem i32 %141, 168
  store i32 %142, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 256, ptr %8) #5
  call void @llvm.memset.p0.i64(ptr align 16 %8, i8 0, i64 256, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #5
  %143 = getelementptr inbounds [256 x i8], ptr %8, i64 0, i64 0
  store ptr %143, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  %144 = load i32, ptr %6, align 4, !tbaa !9
  %145 = urem i32 %144, 168
  store i32 %145, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #5
  %146 = load ptr, ptr %5, align 8, !tbaa !5
  store ptr %146, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  %147 = load ptr, ptr %9, align 8, !tbaa !5
  store ptr %147, ptr %12, align 8, !tbaa !5
  %148 = load ptr, ptr %12, align 8, !tbaa !5
  %149 = load ptr, ptr %11, align 8, !tbaa !5
  %150 = load i32, ptr %6, align 4, !tbaa !9
  %151 = zext i32 %150 to i64
  %152 = getelementptr inbounds i8, ptr %149, i64 %151
  %153 = load i32, ptr %10, align 4, !tbaa !9
  %154 = zext i32 %153 to i64
  %155 = sub i64 0, %154
  %156 = getelementptr inbounds i8, ptr %152, i64 %155
  %157 = load i32, ptr %10, align 4, !tbaa !9
  %158 = zext i32 %157 to i64
  %159 = mul i64 %158, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %148, ptr align 1 %156, i64 %159, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #5
  %160 = load ptr, ptr %9, align 8, !tbaa !5
  store ptr %160, ptr %13, align 8, !tbaa !5
  %161 = load ptr, ptr %13, align 8, !tbaa !5
  %162 = load i32, ptr %7, align 4, !tbaa !9
  %163 = zext i32 %162 to i64
  %164 = getelementptr inbounds i8, ptr %161, i64 %163
  store i8 31, ptr %164, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 256, ptr %14) #5
  call void @llvm.memset.p0.i64(ptr align 16 %14, i8 0, i64 256, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #5
  %165 = load ptr, ptr %9, align 8, !tbaa !5
  store ptr %165, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #5
  %166 = load ptr, ptr %15, align 8, !tbaa !5
  %167 = call i64 @load64(ptr noundef %166)
  %168 = call i64 @__uint64_identity(i64 noundef %167)
  store i64 %168, ptr %16, align 8, !tbaa !12
  %169 = load i64, ptr %16, align 8, !tbaa !12
  %170 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 0
  store i64 %169, ptr %170, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #5
  %171 = load ptr, ptr %15, align 8, !tbaa !5
  %172 = getelementptr inbounds i8, ptr %171, i64 8
  %173 = call i64 @load64(ptr noundef %172)
  %174 = call i64 @__uint64_identity(i64 noundef %173)
  store i64 %174, ptr %17, align 8, !tbaa !12
  %175 = load i64, ptr %17, align 8, !tbaa !12
  %176 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 1
  store i64 %175, ptr %176, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #5
  %177 = load ptr, ptr %15, align 8, !tbaa !5
  %178 = getelementptr inbounds i8, ptr %177, i64 16
  %179 = call i64 @load64(ptr noundef %178)
  %180 = call i64 @__uint64_identity(i64 noundef %179)
  store i64 %180, ptr %18, align 8, !tbaa !12
  %181 = load i64, ptr %18, align 8, !tbaa !12
  %182 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 2
  store i64 %181, ptr %182, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #5
  %183 = load ptr, ptr %15, align 8, !tbaa !5
  %184 = getelementptr inbounds i8, ptr %183, i64 24
  %185 = call i64 @load64(ptr noundef %184)
  %186 = call i64 @__uint64_identity(i64 noundef %185)
  store i64 %186, ptr %19, align 8, !tbaa !12
  %187 = load i64, ptr %19, align 8, !tbaa !12
  %188 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 3
  store i64 %187, ptr %188, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #5
  %189 = load ptr, ptr %15, align 8, !tbaa !5
  %190 = getelementptr inbounds i8, ptr %189, i64 32
  %191 = call i64 @load64(ptr noundef %190)
  %192 = call i64 @__uint64_identity(i64 noundef %191)
  store i64 %192, ptr %20, align 8, !tbaa !12
  %193 = load i64, ptr %20, align 8, !tbaa !12
  %194 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 4
  store i64 %193, ptr %194, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #5
  %195 = load ptr, ptr %15, align 8, !tbaa !5
  %196 = getelementptr inbounds i8, ptr %195, i64 40
  %197 = call i64 @load64(ptr noundef %196)
  %198 = call i64 @__uint64_identity(i64 noundef %197)
  store i64 %198, ptr %21, align 8, !tbaa !12
  %199 = load i64, ptr %21, align 8, !tbaa !12
  %200 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 5
  store i64 %199, ptr %200, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #5
  %201 = load ptr, ptr %15, align 8, !tbaa !5
  %202 = getelementptr inbounds i8, ptr %201, i64 48
  %203 = call i64 @load64(ptr noundef %202)
  %204 = call i64 @__uint64_identity(i64 noundef %203)
  store i64 %204, ptr %22, align 8, !tbaa !12
  %205 = load i64, ptr %22, align 8, !tbaa !12
  %206 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 6
  store i64 %205, ptr %206, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #5
  %207 = load ptr, ptr %15, align 8, !tbaa !5
  %208 = getelementptr inbounds i8, ptr %207, i64 56
  %209 = call i64 @load64(ptr noundef %208)
  %210 = call i64 @__uint64_identity(i64 noundef %209)
  store i64 %210, ptr %23, align 8, !tbaa !12
  %211 = load i64, ptr %23, align 8, !tbaa !12
  %212 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 7
  store i64 %211, ptr %212, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #5
  %213 = load ptr, ptr %15, align 8, !tbaa !5
  %214 = getelementptr inbounds i8, ptr %213, i64 64
  %215 = call i64 @load64(ptr noundef %214)
  %216 = call i64 @__uint64_identity(i64 noundef %215)
  store i64 %216, ptr %24, align 8, !tbaa !12
  %217 = load i64, ptr %24, align 8, !tbaa !12
  %218 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 8
  store i64 %217, ptr %218, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #5
  %219 = load ptr, ptr %15, align 8, !tbaa !5
  %220 = getelementptr inbounds i8, ptr %219, i64 72
  %221 = call i64 @load64(ptr noundef %220)
  %222 = call i64 @__uint64_identity(i64 noundef %221)
  store i64 %222, ptr %25, align 8, !tbaa !12
  %223 = load i64, ptr %25, align 8, !tbaa !12
  %224 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 9
  store i64 %223, ptr %224, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #5
  %225 = load ptr, ptr %15, align 8, !tbaa !5
  %226 = getelementptr inbounds i8, ptr %225, i64 80
  %227 = call i64 @load64(ptr noundef %226)
  %228 = call i64 @__uint64_identity(i64 noundef %227)
  store i64 %228, ptr %26, align 8, !tbaa !12
  %229 = load i64, ptr %26, align 8, !tbaa !12
  %230 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 10
  store i64 %229, ptr %230, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #5
  %231 = load ptr, ptr %15, align 8, !tbaa !5
  %232 = getelementptr inbounds i8, ptr %231, i64 88
  %233 = call i64 @load64(ptr noundef %232)
  %234 = call i64 @__uint64_identity(i64 noundef %233)
  store i64 %234, ptr %27, align 8, !tbaa !12
  %235 = load i64, ptr %27, align 8, !tbaa !12
  %236 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 11
  store i64 %235, ptr %236, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #5
  %237 = load ptr, ptr %15, align 8, !tbaa !5
  %238 = getelementptr inbounds i8, ptr %237, i64 96
  %239 = call i64 @load64(ptr noundef %238)
  %240 = call i64 @__uint64_identity(i64 noundef %239)
  store i64 %240, ptr %28, align 8, !tbaa !12
  %241 = load i64, ptr %28, align 8, !tbaa !12
  %242 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 12
  store i64 %241, ptr %242, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #5
  %243 = load ptr, ptr %15, align 8, !tbaa !5
  %244 = getelementptr inbounds i8, ptr %243, i64 104
  %245 = call i64 @load64(ptr noundef %244)
  %246 = call i64 @__uint64_identity(i64 noundef %245)
  store i64 %246, ptr %29, align 8, !tbaa !12
  %247 = load i64, ptr %29, align 8, !tbaa !12
  %248 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 13
  store i64 %247, ptr %248, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #5
  %249 = load ptr, ptr %15, align 8, !tbaa !5
  %250 = getelementptr inbounds i8, ptr %249, i64 112
  %251 = call i64 @load64(ptr noundef %250)
  %252 = call i64 @__uint64_identity(i64 noundef %251)
  store i64 %252, ptr %30, align 8, !tbaa !12
  %253 = load i64, ptr %30, align 8, !tbaa !12
  %254 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 14
  store i64 %253, ptr %254, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #5
  %255 = load ptr, ptr %15, align 8, !tbaa !5
  %256 = getelementptr inbounds i8, ptr %255, i64 120
  %257 = call i64 @load64(ptr noundef %256)
  %258 = call i64 @__uint64_identity(i64 noundef %257)
  store i64 %258, ptr %31, align 8, !tbaa !12
  %259 = load i64, ptr %31, align 8, !tbaa !12
  %260 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 15
  store i64 %259, ptr %260, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #5
  %261 = load ptr, ptr %15, align 8, !tbaa !5
  %262 = getelementptr inbounds i8, ptr %261, i64 128
  %263 = call i64 @load64(ptr noundef %262)
  %264 = call i64 @__uint64_identity(i64 noundef %263)
  store i64 %264, ptr %32, align 8, !tbaa !12
  %265 = load i64, ptr %32, align 8, !tbaa !12
  %266 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 16
  store i64 %265, ptr %266, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #5
  %267 = load ptr, ptr %15, align 8, !tbaa !5
  %268 = getelementptr inbounds i8, ptr %267, i64 136
  %269 = call i64 @load64(ptr noundef %268)
  %270 = call i64 @__uint64_identity(i64 noundef %269)
  store i64 %270, ptr %33, align 8, !tbaa !12
  %271 = load i64, ptr %33, align 8, !tbaa !12
  %272 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 17
  store i64 %271, ptr %272, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #5
  %273 = load ptr, ptr %15, align 8, !tbaa !5
  %274 = getelementptr inbounds i8, ptr %273, i64 144
  %275 = call i64 @load64(ptr noundef %274)
  %276 = call i64 @__uint64_identity(i64 noundef %275)
  store i64 %276, ptr %34, align 8, !tbaa !12
  %277 = load i64, ptr %34, align 8, !tbaa !12
  %278 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 18
  store i64 %277, ptr %278, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #5
  %279 = load ptr, ptr %15, align 8, !tbaa !5
  %280 = getelementptr inbounds i8, ptr %279, i64 152
  %281 = call i64 @load64(ptr noundef %280)
  %282 = call i64 @__uint64_identity(i64 noundef %281)
  store i64 %282, ptr %35, align 8, !tbaa !12
  %283 = load i64, ptr %35, align 8, !tbaa !12
  %284 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 19
  store i64 %283, ptr %284, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #5
  %285 = load ptr, ptr %15, align 8, !tbaa !5
  %286 = getelementptr inbounds i8, ptr %285, i64 160
  %287 = call i64 @load64(ptr noundef %286)
  %288 = call i64 @__uint64_identity(i64 noundef %287)
  store i64 %288, ptr %36, align 8, !tbaa !12
  %289 = load i64, ptr %36, align 8, !tbaa !12
  %290 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 20
  store i64 %289, ptr %290, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #5
  %291 = load ptr, ptr %15, align 8, !tbaa !5
  %292 = getelementptr inbounds i8, ptr %291, i64 168
  %293 = call i64 @load64(ptr noundef %292)
  %294 = call i64 @__uint64_identity(i64 noundef %293)
  store i64 %294, ptr %37, align 8, !tbaa !12
  %295 = load i64, ptr %37, align 8, !tbaa !12
  %296 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 21
  store i64 %295, ptr %296, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #5
  %297 = load ptr, ptr %15, align 8, !tbaa !5
  %298 = getelementptr inbounds i8, ptr %297, i64 176
  %299 = call i64 @load64(ptr noundef %298)
  %300 = call i64 @__uint64_identity(i64 noundef %299)
  store i64 %300, ptr %38, align 8, !tbaa !12
  %301 = load i64, ptr %38, align 8, !tbaa !12
  %302 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 22
  store i64 %301, ptr %302, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #5
  %303 = load ptr, ptr %15, align 8, !tbaa !5
  %304 = getelementptr inbounds i8, ptr %303, i64 184
  %305 = call i64 @load64(ptr noundef %304)
  %306 = call i64 @__uint64_identity(i64 noundef %305)
  store i64 %306, ptr %39, align 8, !tbaa !12
  %307 = load i64, ptr %39, align 8, !tbaa !12
  %308 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 23
  store i64 %307, ptr %308, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #5
  %309 = load ptr, ptr %15, align 8, !tbaa !5
  %310 = getelementptr inbounds i8, ptr %309, i64 192
  %311 = call i64 @load64(ptr noundef %310)
  %312 = call i64 @__uint64_identity(i64 noundef %311)
  store i64 %312, ptr %40, align 8, !tbaa !12
  %313 = load i64, ptr %40, align 8, !tbaa !12
  %314 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 24
  store i64 %313, ptr %314, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #5
  %315 = load ptr, ptr %15, align 8, !tbaa !5
  %316 = getelementptr inbounds i8, ptr %315, i64 200
  %317 = call i64 @load64(ptr noundef %316)
  %318 = call i64 @__uint64_identity(i64 noundef %317)
  store i64 %318, ptr %41, align 8, !tbaa !12
  %319 = load i64, ptr %41, align 8, !tbaa !12
  %320 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 25
  store i64 %319, ptr %320, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #5
  %321 = load ptr, ptr %15, align 8, !tbaa !5
  %322 = getelementptr inbounds i8, ptr %321, i64 208
  %323 = call i64 @load64(ptr noundef %322)
  %324 = call i64 @__uint64_identity(i64 noundef %323)
  store i64 %324, ptr %42, align 8, !tbaa !12
  %325 = load i64, ptr %42, align 8, !tbaa !12
  %326 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 26
  store i64 %325, ptr %326, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #5
  %327 = load ptr, ptr %15, align 8, !tbaa !5
  %328 = getelementptr inbounds i8, ptr %327, i64 216
  %329 = call i64 @load64(ptr noundef %328)
  %330 = call i64 @__uint64_identity(i64 noundef %329)
  store i64 %330, ptr %43, align 8, !tbaa !12
  %331 = load i64, ptr %43, align 8, !tbaa !12
  %332 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 27
  store i64 %331, ptr %332, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #5
  %333 = load ptr, ptr %15, align 8, !tbaa !5
  %334 = getelementptr inbounds i8, ptr %333, i64 224
  %335 = call i64 @load64(ptr noundef %334)
  %336 = call i64 @__uint64_identity(i64 noundef %335)
  store i64 %336, ptr %44, align 8, !tbaa !12
  %337 = load i64, ptr %44, align 8, !tbaa !12
  %338 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 28
  store i64 %337, ptr %338, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #5
  %339 = load ptr, ptr %15, align 8, !tbaa !5
  %340 = getelementptr inbounds i8, ptr %339, i64 232
  %341 = call i64 @load64(ptr noundef %340)
  %342 = call i64 @__uint64_identity(i64 noundef %341)
  store i64 %342, ptr %45, align 8, !tbaa !12
  %343 = load i64, ptr %45, align 8, !tbaa !12
  %344 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 29
  store i64 %343, ptr %344, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #5
  %345 = load ptr, ptr %15, align 8, !tbaa !5
  %346 = getelementptr inbounds i8, ptr %345, i64 240
  %347 = call i64 @load64(ptr noundef %346)
  %348 = call i64 @__uint64_identity(i64 noundef %347)
  store i64 %348, ptr %46, align 8, !tbaa !12
  %349 = load i64, ptr %46, align 8, !tbaa !12
  %350 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 30
  store i64 %349, ptr %350, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #5
  %351 = load ptr, ptr %15, align 8, !tbaa !5
  %352 = getelementptr inbounds i8, ptr %351, i64 248
  %353 = call i64 @load64(ptr noundef %352)
  %354 = call i64 @__uint64_identity(i64 noundef %353)
  store i64 %354, ptr %47, align 8, !tbaa !12
  %355 = load i64, ptr %47, align 8, !tbaa !12
  %356 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 31
  store i64 %355, ptr %356, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #5
  store i32 0, ptr %48, align 4, !tbaa !9
  br label %357

357:                                              ; preds = %376, %3
  %358 = load i32, ptr %48, align 4, !tbaa !9
  %359 = icmp ult i32 %358, 25
  br i1 %359, label %361, label %360

360:                                              ; preds = %357
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #5
  br label %379

361:                                              ; preds = %357
  %362 = load ptr, ptr %4, align 8, !tbaa !5
  %363 = load i32, ptr %48, align 4, !tbaa !9
  %364 = zext i32 %363 to i64
  %365 = getelementptr inbounds i64, ptr %362, i64 %364
  %366 = load i64, ptr %365, align 8, !tbaa !12
  %367 = load i32, ptr %48, align 4, !tbaa !9
  %368 = zext i32 %367 to i64
  %369 = getelementptr inbounds [32 x i64], ptr %14, i64 0, i64 %368
  %370 = load i64, ptr %369, align 8, !tbaa !12
  %371 = xor i64 %366, %370
  %372 = load ptr, ptr %4, align 8, !tbaa !5
  %373 = load i32, ptr %48, align 4, !tbaa !9
  %374 = zext i32 %373 to i64
  %375 = getelementptr inbounds i64, ptr %372, i64 %374
  store i64 %371, ptr %375, align 8, !tbaa !12
  br label %376

376:                                              ; preds = %361
  %377 = load i32, ptr %48, align 4, !tbaa !9
  %378 = add i32 %377, 1
  store i32 %378, ptr %48, align 4, !tbaa !9
  br label %357, !llvm.loop !14

379:                                              ; preds = %360
  call void @llvm.lifetime.start.p0(i64 256, ptr %49) #5
  call void @llvm.memset.p0.i64(ptr align 16 %49, i8 0, i64 256, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #5
  %380 = getelementptr inbounds [256 x i8], ptr %49, i64 0, i64 0
  store ptr %380, ptr %50, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #5
  %381 = load ptr, ptr %50, align 8, !tbaa !5
  store ptr %381, ptr %51, align 8, !tbaa !5
  %382 = load ptr, ptr %51, align 8, !tbaa !5
  %383 = getelementptr inbounds i8, ptr %382, i64 167
  store i8 -128, ptr %383, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 256, ptr %52) #5
  call void @llvm.memset.p0.i64(ptr align 16 %52, i8 0, i64 256, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #5
  %384 = load ptr, ptr %50, align 8, !tbaa !5
  store ptr %384, ptr %53, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #5
  %385 = load ptr, ptr %53, align 8, !tbaa !5
  %386 = call i64 @load64(ptr noundef %385)
  %387 = call i64 @__uint64_identity(i64 noundef %386)
  store i64 %387, ptr %54, align 8, !tbaa !12
  %388 = load i64, ptr %54, align 8, !tbaa !12
  %389 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 0
  store i64 %388, ptr %389, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #5
  %390 = load ptr, ptr %53, align 8, !tbaa !5
  %391 = getelementptr inbounds i8, ptr %390, i64 8
  %392 = call i64 @load64(ptr noundef %391)
  %393 = call i64 @__uint64_identity(i64 noundef %392)
  store i64 %393, ptr %55, align 8, !tbaa !12
  %394 = load i64, ptr %55, align 8, !tbaa !12
  %395 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 1
  store i64 %394, ptr %395, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #5
  %396 = load ptr, ptr %53, align 8, !tbaa !5
  %397 = getelementptr inbounds i8, ptr %396, i64 16
  %398 = call i64 @load64(ptr noundef %397)
  %399 = call i64 @__uint64_identity(i64 noundef %398)
  store i64 %399, ptr %56, align 8, !tbaa !12
  %400 = load i64, ptr %56, align 8, !tbaa !12
  %401 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 2
  store i64 %400, ptr %401, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #5
  %402 = load ptr, ptr %53, align 8, !tbaa !5
  %403 = getelementptr inbounds i8, ptr %402, i64 24
  %404 = call i64 @load64(ptr noundef %403)
  %405 = call i64 @__uint64_identity(i64 noundef %404)
  store i64 %405, ptr %57, align 8, !tbaa !12
  %406 = load i64, ptr %57, align 8, !tbaa !12
  %407 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 3
  store i64 %406, ptr %407, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #5
  %408 = load ptr, ptr %53, align 8, !tbaa !5
  %409 = getelementptr inbounds i8, ptr %408, i64 32
  %410 = call i64 @load64(ptr noundef %409)
  %411 = call i64 @__uint64_identity(i64 noundef %410)
  store i64 %411, ptr %58, align 8, !tbaa !12
  %412 = load i64, ptr %58, align 8, !tbaa !12
  %413 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 4
  store i64 %412, ptr %413, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #5
  %414 = load ptr, ptr %53, align 8, !tbaa !5
  %415 = getelementptr inbounds i8, ptr %414, i64 40
  %416 = call i64 @load64(ptr noundef %415)
  %417 = call i64 @__uint64_identity(i64 noundef %416)
  store i64 %417, ptr %59, align 8, !tbaa !12
  %418 = load i64, ptr %59, align 8, !tbaa !12
  %419 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 5
  store i64 %418, ptr %419, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #5
  %420 = load ptr, ptr %53, align 8, !tbaa !5
  %421 = getelementptr inbounds i8, ptr %420, i64 48
  %422 = call i64 @load64(ptr noundef %421)
  %423 = call i64 @__uint64_identity(i64 noundef %422)
  store i64 %423, ptr %60, align 8, !tbaa !12
  %424 = load i64, ptr %60, align 8, !tbaa !12
  %425 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 6
  store i64 %424, ptr %425, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #5
  %426 = load ptr, ptr %53, align 8, !tbaa !5
  %427 = getelementptr inbounds i8, ptr %426, i64 56
  %428 = call i64 @load64(ptr noundef %427)
  %429 = call i64 @__uint64_identity(i64 noundef %428)
  store i64 %429, ptr %61, align 8, !tbaa !12
  %430 = load i64, ptr %61, align 8, !tbaa !12
  %431 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 7
  store i64 %430, ptr %431, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #5
  %432 = load ptr, ptr %53, align 8, !tbaa !5
  %433 = getelementptr inbounds i8, ptr %432, i64 64
  %434 = call i64 @load64(ptr noundef %433)
  %435 = call i64 @__uint64_identity(i64 noundef %434)
  store i64 %435, ptr %62, align 8, !tbaa !12
  %436 = load i64, ptr %62, align 8, !tbaa !12
  %437 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 8
  store i64 %436, ptr %437, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #5
  %438 = load ptr, ptr %53, align 8, !tbaa !5
  %439 = getelementptr inbounds i8, ptr %438, i64 72
  %440 = call i64 @load64(ptr noundef %439)
  %441 = call i64 @__uint64_identity(i64 noundef %440)
  store i64 %441, ptr %63, align 8, !tbaa !12
  %442 = load i64, ptr %63, align 8, !tbaa !12
  %443 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 9
  store i64 %442, ptr %443, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #5
  %444 = load ptr, ptr %53, align 8, !tbaa !5
  %445 = getelementptr inbounds i8, ptr %444, i64 80
  %446 = call i64 @load64(ptr noundef %445)
  %447 = call i64 @__uint64_identity(i64 noundef %446)
  store i64 %447, ptr %64, align 8, !tbaa !12
  %448 = load i64, ptr %64, align 8, !tbaa !12
  %449 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 10
  store i64 %448, ptr %449, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #5
  %450 = load ptr, ptr %53, align 8, !tbaa !5
  %451 = getelementptr inbounds i8, ptr %450, i64 88
  %452 = call i64 @load64(ptr noundef %451)
  %453 = call i64 @__uint64_identity(i64 noundef %452)
  store i64 %453, ptr %65, align 8, !tbaa !12
  %454 = load i64, ptr %65, align 8, !tbaa !12
  %455 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 11
  store i64 %454, ptr %455, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %66) #5
  %456 = load ptr, ptr %53, align 8, !tbaa !5
  %457 = getelementptr inbounds i8, ptr %456, i64 96
  %458 = call i64 @load64(ptr noundef %457)
  %459 = call i64 @__uint64_identity(i64 noundef %458)
  store i64 %459, ptr %66, align 8, !tbaa !12
  %460 = load i64, ptr %66, align 8, !tbaa !12
  %461 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 12
  store i64 %460, ptr %461, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #5
  %462 = load ptr, ptr %53, align 8, !tbaa !5
  %463 = getelementptr inbounds i8, ptr %462, i64 104
  %464 = call i64 @load64(ptr noundef %463)
  %465 = call i64 @__uint64_identity(i64 noundef %464)
  store i64 %465, ptr %67, align 8, !tbaa !12
  %466 = load i64, ptr %67, align 8, !tbaa !12
  %467 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 13
  store i64 %466, ptr %467, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %68) #5
  %468 = load ptr, ptr %53, align 8, !tbaa !5
  %469 = getelementptr inbounds i8, ptr %468, i64 112
  %470 = call i64 @load64(ptr noundef %469)
  %471 = call i64 @__uint64_identity(i64 noundef %470)
  store i64 %471, ptr %68, align 8, !tbaa !12
  %472 = load i64, ptr %68, align 8, !tbaa !12
  %473 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 14
  store i64 %472, ptr %473, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #5
  %474 = load ptr, ptr %53, align 8, !tbaa !5
  %475 = getelementptr inbounds i8, ptr %474, i64 120
  %476 = call i64 @load64(ptr noundef %475)
  %477 = call i64 @__uint64_identity(i64 noundef %476)
  store i64 %477, ptr %69, align 8, !tbaa !12
  %478 = load i64, ptr %69, align 8, !tbaa !12
  %479 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 15
  store i64 %478, ptr %479, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %70) #5
  %480 = load ptr, ptr %53, align 8, !tbaa !5
  %481 = getelementptr inbounds i8, ptr %480, i64 128
  %482 = call i64 @load64(ptr noundef %481)
  %483 = call i64 @__uint64_identity(i64 noundef %482)
  store i64 %483, ptr %70, align 8, !tbaa !12
  %484 = load i64, ptr %70, align 8, !tbaa !12
  %485 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 16
  store i64 %484, ptr %485, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #5
  %486 = load ptr, ptr %53, align 8, !tbaa !5
  %487 = getelementptr inbounds i8, ptr %486, i64 136
  %488 = call i64 @load64(ptr noundef %487)
  %489 = call i64 @__uint64_identity(i64 noundef %488)
  store i64 %489, ptr %71, align 8, !tbaa !12
  %490 = load i64, ptr %71, align 8, !tbaa !12
  %491 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 17
  store i64 %490, ptr %491, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %72) #5
  %492 = load ptr, ptr %53, align 8, !tbaa !5
  %493 = getelementptr inbounds i8, ptr %492, i64 144
  %494 = call i64 @load64(ptr noundef %493)
  %495 = call i64 @__uint64_identity(i64 noundef %494)
  store i64 %495, ptr %72, align 8, !tbaa !12
  %496 = load i64, ptr %72, align 8, !tbaa !12
  %497 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 18
  store i64 %496, ptr %497, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #5
  %498 = load ptr, ptr %53, align 8, !tbaa !5
  %499 = getelementptr inbounds i8, ptr %498, i64 152
  %500 = call i64 @load64(ptr noundef %499)
  %501 = call i64 @__uint64_identity(i64 noundef %500)
  store i64 %501, ptr %73, align 8, !tbaa !12
  %502 = load i64, ptr %73, align 8, !tbaa !12
  %503 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 19
  store i64 %502, ptr %503, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %74) #5
  %504 = load ptr, ptr %53, align 8, !tbaa !5
  %505 = getelementptr inbounds i8, ptr %504, i64 160
  %506 = call i64 @load64(ptr noundef %505)
  %507 = call i64 @__uint64_identity(i64 noundef %506)
  store i64 %507, ptr %74, align 8, !tbaa !12
  %508 = load i64, ptr %74, align 8, !tbaa !12
  %509 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 20
  store i64 %508, ptr %509, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %75) #5
  %510 = load ptr, ptr %53, align 8, !tbaa !5
  %511 = getelementptr inbounds i8, ptr %510, i64 168
  %512 = call i64 @load64(ptr noundef %511)
  %513 = call i64 @__uint64_identity(i64 noundef %512)
  store i64 %513, ptr %75, align 8, !tbaa !12
  %514 = load i64, ptr %75, align 8, !tbaa !12
  %515 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 21
  store i64 %514, ptr %515, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %76) #5
  %516 = load ptr, ptr %53, align 8, !tbaa !5
  %517 = getelementptr inbounds i8, ptr %516, i64 176
  %518 = call i64 @load64(ptr noundef %517)
  %519 = call i64 @__uint64_identity(i64 noundef %518)
  store i64 %519, ptr %76, align 8, !tbaa !12
  %520 = load i64, ptr %76, align 8, !tbaa !12
  %521 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 22
  store i64 %520, ptr %521, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %77) #5
  %522 = load ptr, ptr %53, align 8, !tbaa !5
  %523 = getelementptr inbounds i8, ptr %522, i64 184
  %524 = call i64 @load64(ptr noundef %523)
  %525 = call i64 @__uint64_identity(i64 noundef %524)
  store i64 %525, ptr %77, align 8, !tbaa !12
  %526 = load i64, ptr %77, align 8, !tbaa !12
  %527 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 23
  store i64 %526, ptr %527, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %78) #5
  %528 = load ptr, ptr %53, align 8, !tbaa !5
  %529 = getelementptr inbounds i8, ptr %528, i64 192
  %530 = call i64 @load64(ptr noundef %529)
  %531 = call i64 @__uint64_identity(i64 noundef %530)
  store i64 %531, ptr %78, align 8, !tbaa !12
  %532 = load i64, ptr %78, align 8, !tbaa !12
  %533 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 24
  store i64 %532, ptr %533, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %79) #5
  %534 = load ptr, ptr %53, align 8, !tbaa !5
  %535 = getelementptr inbounds i8, ptr %534, i64 200
  %536 = call i64 @load64(ptr noundef %535)
  %537 = call i64 @__uint64_identity(i64 noundef %536)
  store i64 %537, ptr %79, align 8, !tbaa !12
  %538 = load i64, ptr %79, align 8, !tbaa !12
  %539 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 25
  store i64 %538, ptr %539, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %80) #5
  %540 = load ptr, ptr %53, align 8, !tbaa !5
  %541 = getelementptr inbounds i8, ptr %540, i64 208
  %542 = call i64 @load64(ptr noundef %541)
  %543 = call i64 @__uint64_identity(i64 noundef %542)
  store i64 %543, ptr %80, align 8, !tbaa !12
  %544 = load i64, ptr %80, align 8, !tbaa !12
  %545 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 26
  store i64 %544, ptr %545, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %81) #5
  %546 = load ptr, ptr %53, align 8, !tbaa !5
  %547 = getelementptr inbounds i8, ptr %546, i64 216
  %548 = call i64 @load64(ptr noundef %547)
  %549 = call i64 @__uint64_identity(i64 noundef %548)
  store i64 %549, ptr %81, align 8, !tbaa !12
  %550 = load i64, ptr %81, align 8, !tbaa !12
  %551 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 27
  store i64 %550, ptr %551, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %82) #5
  %552 = load ptr, ptr %53, align 8, !tbaa !5
  %553 = getelementptr inbounds i8, ptr %552, i64 224
  %554 = call i64 @load64(ptr noundef %553)
  %555 = call i64 @__uint64_identity(i64 noundef %554)
  store i64 %555, ptr %82, align 8, !tbaa !12
  %556 = load i64, ptr %82, align 8, !tbaa !12
  %557 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 28
  store i64 %556, ptr %557, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %83) #5
  %558 = load ptr, ptr %53, align 8, !tbaa !5
  %559 = getelementptr inbounds i8, ptr %558, i64 232
  %560 = call i64 @load64(ptr noundef %559)
  %561 = call i64 @__uint64_identity(i64 noundef %560)
  store i64 %561, ptr %83, align 8, !tbaa !12
  %562 = load i64, ptr %83, align 8, !tbaa !12
  %563 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 29
  store i64 %562, ptr %563, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %84) #5
  %564 = load ptr, ptr %53, align 8, !tbaa !5
  %565 = getelementptr inbounds i8, ptr %564, i64 240
  %566 = call i64 @load64(ptr noundef %565)
  %567 = call i64 @__uint64_identity(i64 noundef %566)
  store i64 %567, ptr %84, align 8, !tbaa !12
  %568 = load i64, ptr %84, align 8, !tbaa !12
  %569 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 30
  store i64 %568, ptr %569, align 16, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %85) #5
  %570 = load ptr, ptr %53, align 8, !tbaa !5
  %571 = getelementptr inbounds i8, ptr %570, i64 248
  %572 = call i64 @load64(ptr noundef %571)
  %573 = call i64 @__uint64_identity(i64 noundef %572)
  store i64 %573, ptr %85, align 8, !tbaa !12
  %574 = load i64, ptr %85, align 8, !tbaa !12
  %575 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 31
  store i64 %574, ptr %575, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 4, ptr %86) #5
  store i32 0, ptr %86, align 4, !tbaa !9
  br label %576

576:                                              ; preds = %595, %379
  %577 = load i32, ptr %86, align 4, !tbaa !9
  %578 = icmp ult i32 %577, 25
  br i1 %578, label %580, label %579

579:                                              ; preds = %576
  call void @llvm.lifetime.end.p0(i64 4, ptr %86) #5
  br label %598

580:                                              ; preds = %576
  %581 = load ptr, ptr %4, align 8, !tbaa !5
  %582 = load i32, ptr %86, align 4, !tbaa !9
  %583 = zext i32 %582 to i64
  %584 = getelementptr inbounds i64, ptr %581, i64 %583
  %585 = load i64, ptr %584, align 8, !tbaa !12
  %586 = load i32, ptr %86, align 4, !tbaa !9
  %587 = zext i32 %586 to i64
  %588 = getelementptr inbounds [32 x i64], ptr %52, i64 0, i64 %587
  %589 = load i64, ptr %588, align 8, !tbaa !12
  %590 = xor i64 %585, %589
  %591 = load ptr, ptr %4, align 8, !tbaa !5
  %592 = load i32, ptr %86, align 4, !tbaa !9
  %593 = zext i32 %592 to i64
  %594 = getelementptr inbounds i64, ptr %591, i64 %593
  store i64 %590, ptr %594, align 8, !tbaa !12
  br label %595

595:                                              ; preds = %580
  %596 = load i32, ptr %86, align 4, !tbaa !9
  %597 = add i32 %596, 1
  store i32 %597, ptr %86, align 4, !tbaa !9
  br label %576, !llvm.loop !16

598:                                              ; preds = %579
  call void @llvm.lifetime.start.p0(i64 4, ptr %87) #5
  store i32 0, ptr %87, align 4, !tbaa !9
  br label %599

599:                                              ; preds = %2276, %598
  %600 = load i32, ptr %87, align 4, !tbaa !9
  %601 = icmp ult i32 %600, 24
  br i1 %601, label %603, label %602

602:                                              ; preds = %599
  store i32 8, ptr %88, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %87) #5
  br label %2279

603:                                              ; preds = %599
  call void @llvm.lifetime.start.p0(i64 40, ptr %89) #5
  call void @llvm.memset.p0.i64(ptr align 16 %89, i8 0, i64 40, i1 false)
  br label %604

604:                                              ; preds = %603
  call void @llvm.lifetime.start.p0(i64 4, ptr %90) #5
  store i32 0, ptr %90, align 4, !tbaa !9
  %605 = load ptr, ptr %4, align 8, !tbaa !5
  %606 = load i32, ptr %90, align 4, !tbaa !9
  %607 = add i32 %606, 0
  %608 = zext i32 %607 to i64
  %609 = getelementptr inbounds i64, ptr %605, i64 %608
  %610 = load i64, ptr %609, align 8, !tbaa !12
  %611 = load ptr, ptr %4, align 8, !tbaa !5
  %612 = load i32, ptr %90, align 4, !tbaa !9
  %613 = add i32 %612, 5
  %614 = zext i32 %613 to i64
  %615 = getelementptr inbounds i64, ptr %611, i64 %614
  %616 = load i64, ptr %615, align 8, !tbaa !12
  %617 = load ptr, ptr %4, align 8, !tbaa !5
  %618 = load i32, ptr %90, align 4, !tbaa !9
  %619 = add i32 %618, 10
  %620 = zext i32 %619 to i64
  %621 = getelementptr inbounds i64, ptr %617, i64 %620
  %622 = load i64, ptr %621, align 8, !tbaa !12
  %623 = load ptr, ptr %4, align 8, !tbaa !5
  %624 = load i32, ptr %90, align 4, !tbaa !9
  %625 = add i32 %624, 15
  %626 = zext i32 %625 to i64
  %627 = getelementptr inbounds i64, ptr %623, i64 %626
  %628 = load i64, ptr %627, align 8, !tbaa !12
  %629 = load ptr, ptr %4, align 8, !tbaa !5
  %630 = load i32, ptr %90, align 4, !tbaa !9
  %631 = add i32 %630, 20
  %632 = zext i32 %631 to i64
  %633 = getelementptr inbounds i64, ptr %629, i64 %632
  %634 = load i64, ptr %633, align 8, !tbaa !12
  %635 = xor i64 %628, %634
  %636 = xor i64 %622, %635
  %637 = xor i64 %616, %636
  %638 = xor i64 %610, %637
  %639 = load i32, ptr %90, align 4, !tbaa !9
  %640 = zext i32 %639 to i64
  %641 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %640
  store i64 %638, ptr %641, align 8, !tbaa !12
  %642 = load i32, ptr %90, align 4, !tbaa !9
  %643 = add i32 %642, 1
  store i32 %643, ptr %90, align 4, !tbaa !9
  %644 = load i32, ptr %90, align 4, !tbaa !9
  %645 = load ptr, ptr %4, align 8, !tbaa !5
  %646 = load i32, ptr %90, align 4, !tbaa !9
  %647 = add i32 %646, 0
  %648 = zext i32 %647 to i64
  %649 = getelementptr inbounds i64, ptr %645, i64 %648
  %650 = load i64, ptr %649, align 8, !tbaa !12
  %651 = load ptr, ptr %4, align 8, !tbaa !5
  %652 = load i32, ptr %90, align 4, !tbaa !9
  %653 = add i32 %652, 5
  %654 = zext i32 %653 to i64
  %655 = getelementptr inbounds i64, ptr %651, i64 %654
  %656 = load i64, ptr %655, align 8, !tbaa !12
  %657 = load ptr, ptr %4, align 8, !tbaa !5
  %658 = load i32, ptr %90, align 4, !tbaa !9
  %659 = add i32 %658, 10
  %660 = zext i32 %659 to i64
  %661 = getelementptr inbounds i64, ptr %657, i64 %660
  %662 = load i64, ptr %661, align 8, !tbaa !12
  %663 = load ptr, ptr %4, align 8, !tbaa !5
  %664 = load i32, ptr %90, align 4, !tbaa !9
  %665 = add i32 %664, 15
  %666 = zext i32 %665 to i64
  %667 = getelementptr inbounds i64, ptr %663, i64 %666
  %668 = load i64, ptr %667, align 8, !tbaa !12
  %669 = load ptr, ptr %4, align 8, !tbaa !5
  %670 = load i32, ptr %90, align 4, !tbaa !9
  %671 = add i32 %670, 20
  %672 = zext i32 %671 to i64
  %673 = getelementptr inbounds i64, ptr %669, i64 %672
  %674 = load i64, ptr %673, align 8, !tbaa !12
  %675 = xor i64 %668, %674
  %676 = xor i64 %662, %675
  %677 = xor i64 %656, %676
  %678 = xor i64 %650, %677
  %679 = load i32, ptr %90, align 4, !tbaa !9
  %680 = zext i32 %679 to i64
  %681 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %680
  store i64 %678, ptr %681, align 8, !tbaa !12
  %682 = load i32, ptr %90, align 4, !tbaa !9
  %683 = add i32 %682, 1
  store i32 %683, ptr %90, align 4, !tbaa !9
  %684 = load i32, ptr %90, align 4, !tbaa !9
  %685 = load ptr, ptr %4, align 8, !tbaa !5
  %686 = load i32, ptr %90, align 4, !tbaa !9
  %687 = add i32 %686, 0
  %688 = zext i32 %687 to i64
  %689 = getelementptr inbounds i64, ptr %685, i64 %688
  %690 = load i64, ptr %689, align 8, !tbaa !12
  %691 = load ptr, ptr %4, align 8, !tbaa !5
  %692 = load i32, ptr %90, align 4, !tbaa !9
  %693 = add i32 %692, 5
  %694 = zext i32 %693 to i64
  %695 = getelementptr inbounds i64, ptr %691, i64 %694
  %696 = load i64, ptr %695, align 8, !tbaa !12
  %697 = load ptr, ptr %4, align 8, !tbaa !5
  %698 = load i32, ptr %90, align 4, !tbaa !9
  %699 = add i32 %698, 10
  %700 = zext i32 %699 to i64
  %701 = getelementptr inbounds i64, ptr %697, i64 %700
  %702 = load i64, ptr %701, align 8, !tbaa !12
  %703 = load ptr, ptr %4, align 8, !tbaa !5
  %704 = load i32, ptr %90, align 4, !tbaa !9
  %705 = add i32 %704, 15
  %706 = zext i32 %705 to i64
  %707 = getelementptr inbounds i64, ptr %703, i64 %706
  %708 = load i64, ptr %707, align 8, !tbaa !12
  %709 = load ptr, ptr %4, align 8, !tbaa !5
  %710 = load i32, ptr %90, align 4, !tbaa !9
  %711 = add i32 %710, 20
  %712 = zext i32 %711 to i64
  %713 = getelementptr inbounds i64, ptr %709, i64 %712
  %714 = load i64, ptr %713, align 8, !tbaa !12
  %715 = xor i64 %708, %714
  %716 = xor i64 %702, %715
  %717 = xor i64 %696, %716
  %718 = xor i64 %690, %717
  %719 = load i32, ptr %90, align 4, !tbaa !9
  %720 = zext i32 %719 to i64
  %721 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %720
  store i64 %718, ptr %721, align 8, !tbaa !12
  %722 = load i32, ptr %90, align 4, !tbaa !9
  %723 = add i32 %722, 1
  store i32 %723, ptr %90, align 4, !tbaa !9
  %724 = load i32, ptr %90, align 4, !tbaa !9
  %725 = load ptr, ptr %4, align 8, !tbaa !5
  %726 = load i32, ptr %90, align 4, !tbaa !9
  %727 = add i32 %726, 0
  %728 = zext i32 %727 to i64
  %729 = getelementptr inbounds i64, ptr %725, i64 %728
  %730 = load i64, ptr %729, align 8, !tbaa !12
  %731 = load ptr, ptr %4, align 8, !tbaa !5
  %732 = load i32, ptr %90, align 4, !tbaa !9
  %733 = add i32 %732, 5
  %734 = zext i32 %733 to i64
  %735 = getelementptr inbounds i64, ptr %731, i64 %734
  %736 = load i64, ptr %735, align 8, !tbaa !12
  %737 = load ptr, ptr %4, align 8, !tbaa !5
  %738 = load i32, ptr %90, align 4, !tbaa !9
  %739 = add i32 %738, 10
  %740 = zext i32 %739 to i64
  %741 = getelementptr inbounds i64, ptr %737, i64 %740
  %742 = load i64, ptr %741, align 8, !tbaa !12
  %743 = load ptr, ptr %4, align 8, !tbaa !5
  %744 = load i32, ptr %90, align 4, !tbaa !9
  %745 = add i32 %744, 15
  %746 = zext i32 %745 to i64
  %747 = getelementptr inbounds i64, ptr %743, i64 %746
  %748 = load i64, ptr %747, align 8, !tbaa !12
  %749 = load ptr, ptr %4, align 8, !tbaa !5
  %750 = load i32, ptr %90, align 4, !tbaa !9
  %751 = add i32 %750, 20
  %752 = zext i32 %751 to i64
  %753 = getelementptr inbounds i64, ptr %749, i64 %752
  %754 = load i64, ptr %753, align 8, !tbaa !12
  %755 = xor i64 %748, %754
  %756 = xor i64 %742, %755
  %757 = xor i64 %736, %756
  %758 = xor i64 %730, %757
  %759 = load i32, ptr %90, align 4, !tbaa !9
  %760 = zext i32 %759 to i64
  %761 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %760
  store i64 %758, ptr %761, align 8, !tbaa !12
  %762 = load i32, ptr %90, align 4, !tbaa !9
  %763 = add i32 %762, 1
  store i32 %763, ptr %90, align 4, !tbaa !9
  %764 = load i32, ptr %90, align 4, !tbaa !9
  %765 = load ptr, ptr %4, align 8, !tbaa !5
  %766 = load i32, ptr %90, align 4, !tbaa !9
  %767 = add i32 %766, 0
  %768 = zext i32 %767 to i64
  %769 = getelementptr inbounds i64, ptr %765, i64 %768
  %770 = load i64, ptr %769, align 8, !tbaa !12
  %771 = load ptr, ptr %4, align 8, !tbaa !5
  %772 = load i32, ptr %90, align 4, !tbaa !9
  %773 = add i32 %772, 5
  %774 = zext i32 %773 to i64
  %775 = getelementptr inbounds i64, ptr %771, i64 %774
  %776 = load i64, ptr %775, align 8, !tbaa !12
  %777 = load ptr, ptr %4, align 8, !tbaa !5
  %778 = load i32, ptr %90, align 4, !tbaa !9
  %779 = add i32 %778, 10
  %780 = zext i32 %779 to i64
  %781 = getelementptr inbounds i64, ptr %777, i64 %780
  %782 = load i64, ptr %781, align 8, !tbaa !12
  %783 = load ptr, ptr %4, align 8, !tbaa !5
  %784 = load i32, ptr %90, align 4, !tbaa !9
  %785 = add i32 %784, 15
  %786 = zext i32 %785 to i64
  %787 = getelementptr inbounds i64, ptr %783, i64 %786
  %788 = load i64, ptr %787, align 8, !tbaa !12
  %789 = load ptr, ptr %4, align 8, !tbaa !5
  %790 = load i32, ptr %90, align 4, !tbaa !9
  %791 = add i32 %790, 20
  %792 = zext i32 %791 to i64
  %793 = getelementptr inbounds i64, ptr %789, i64 %792
  %794 = load i64, ptr %793, align 8, !tbaa !12
  %795 = xor i64 %788, %794
  %796 = xor i64 %782, %795
  %797 = xor i64 %776, %796
  %798 = xor i64 %770, %797
  %799 = load i32, ptr %90, align 4, !tbaa !9
  %800 = zext i32 %799 to i64
  %801 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %800
  store i64 %798, ptr %801, align 8, !tbaa !12
  %802 = load i32, ptr %90, align 4, !tbaa !9
  %803 = add i32 %802, 1
  store i32 %803, ptr %90, align 4, !tbaa !9
  %804 = load i32, ptr %90, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %90) #5
  br label %805

805:                                              ; preds = %604
  br label %806

806:                                              ; preds = %805
  br label %807

807:                                              ; preds = %806
  call void @llvm.lifetime.start.p0(i64 4, ptr %91) #5
  store i32 0, ptr %91, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %92) #5
  %808 = load i32, ptr %91, align 4, !tbaa !9
  %809 = add i32 %808, 1
  %810 = urem i32 %809, 5
  %811 = zext i32 %810 to i64
  %812 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %811
  %813 = load i64, ptr %812, align 8, !tbaa !12
  store i64 %813, ptr %92, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %93) #5
  %814 = load i32, ptr %91, align 4, !tbaa !9
  %815 = add i32 %814, 4
  %816 = urem i32 %815, 5
  %817 = zext i32 %816 to i64
  %818 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %817
  %819 = load i64, ptr %818, align 8, !tbaa !12
  %820 = load i64, ptr %92, align 8, !tbaa !12
  %821 = shl i64 %820, 1
  %822 = load i64, ptr %92, align 8, !tbaa !12
  %823 = lshr i64 %822, 63
  %824 = or i64 %821, %823
  %825 = xor i64 %819, %824
  store i64 %825, ptr %93, align 8, !tbaa !12
  br label %826

826:                                              ; preds = %807
  call void @llvm.lifetime.start.p0(i64 4, ptr %94) #5
  store i32 0, ptr %94, align 4, !tbaa !9
  %827 = load ptr, ptr %4, align 8, !tbaa !5
  %828 = load i32, ptr %91, align 4, !tbaa !9
  %829 = load i32, ptr %94, align 4, !tbaa !9
  %830 = mul i32 5, %829
  %831 = add i32 %828, %830
  %832 = zext i32 %831 to i64
  %833 = getelementptr inbounds i64, ptr %827, i64 %832
  %834 = load i64, ptr %833, align 8, !tbaa !12
  %835 = load i64, ptr %93, align 8, !tbaa !12
  %836 = xor i64 %834, %835
  %837 = load ptr, ptr %4, align 8, !tbaa !5
  %838 = load i32, ptr %91, align 4, !tbaa !9
  %839 = load i32, ptr %94, align 4, !tbaa !9
  %840 = mul i32 5, %839
  %841 = add i32 %838, %840
  %842 = zext i32 %841 to i64
  %843 = getelementptr inbounds i64, ptr %837, i64 %842
  store i64 %836, ptr %843, align 8, !tbaa !12
  %844 = load i32, ptr %94, align 4, !tbaa !9
  %845 = add i32 %844, 1
  store i32 %845, ptr %94, align 4, !tbaa !9
  %846 = load i32, ptr %94, align 4, !tbaa !9
  %847 = load ptr, ptr %4, align 8, !tbaa !5
  %848 = load i32, ptr %91, align 4, !tbaa !9
  %849 = load i32, ptr %94, align 4, !tbaa !9
  %850 = mul i32 5, %849
  %851 = add i32 %848, %850
  %852 = zext i32 %851 to i64
  %853 = getelementptr inbounds i64, ptr %847, i64 %852
  %854 = load i64, ptr %853, align 8, !tbaa !12
  %855 = load i64, ptr %93, align 8, !tbaa !12
  %856 = xor i64 %854, %855
  %857 = load ptr, ptr %4, align 8, !tbaa !5
  %858 = load i32, ptr %91, align 4, !tbaa !9
  %859 = load i32, ptr %94, align 4, !tbaa !9
  %860 = mul i32 5, %859
  %861 = add i32 %858, %860
  %862 = zext i32 %861 to i64
  %863 = getelementptr inbounds i64, ptr %857, i64 %862
  store i64 %856, ptr %863, align 8, !tbaa !12
  %864 = load i32, ptr %94, align 4, !tbaa !9
  %865 = add i32 %864, 1
  store i32 %865, ptr %94, align 4, !tbaa !9
  %866 = load i32, ptr %94, align 4, !tbaa !9
  %867 = load ptr, ptr %4, align 8, !tbaa !5
  %868 = load i32, ptr %91, align 4, !tbaa !9
  %869 = load i32, ptr %94, align 4, !tbaa !9
  %870 = mul i32 5, %869
  %871 = add i32 %868, %870
  %872 = zext i32 %871 to i64
  %873 = getelementptr inbounds i64, ptr %867, i64 %872
  %874 = load i64, ptr %873, align 8, !tbaa !12
  %875 = load i64, ptr %93, align 8, !tbaa !12
  %876 = xor i64 %874, %875
  %877 = load ptr, ptr %4, align 8, !tbaa !5
  %878 = load i32, ptr %91, align 4, !tbaa !9
  %879 = load i32, ptr %94, align 4, !tbaa !9
  %880 = mul i32 5, %879
  %881 = add i32 %878, %880
  %882 = zext i32 %881 to i64
  %883 = getelementptr inbounds i64, ptr %877, i64 %882
  store i64 %876, ptr %883, align 8, !tbaa !12
  %884 = load i32, ptr %94, align 4, !tbaa !9
  %885 = add i32 %884, 1
  store i32 %885, ptr %94, align 4, !tbaa !9
  %886 = load i32, ptr %94, align 4, !tbaa !9
  %887 = load ptr, ptr %4, align 8, !tbaa !5
  %888 = load i32, ptr %91, align 4, !tbaa !9
  %889 = load i32, ptr %94, align 4, !tbaa !9
  %890 = mul i32 5, %889
  %891 = add i32 %888, %890
  %892 = zext i32 %891 to i64
  %893 = getelementptr inbounds i64, ptr %887, i64 %892
  %894 = load i64, ptr %893, align 8, !tbaa !12
  %895 = load i64, ptr %93, align 8, !tbaa !12
  %896 = xor i64 %894, %895
  %897 = load ptr, ptr %4, align 8, !tbaa !5
  %898 = load i32, ptr %91, align 4, !tbaa !9
  %899 = load i32, ptr %94, align 4, !tbaa !9
  %900 = mul i32 5, %899
  %901 = add i32 %898, %900
  %902 = zext i32 %901 to i64
  %903 = getelementptr inbounds i64, ptr %897, i64 %902
  store i64 %896, ptr %903, align 8, !tbaa !12
  %904 = load i32, ptr %94, align 4, !tbaa !9
  %905 = add i32 %904, 1
  store i32 %905, ptr %94, align 4, !tbaa !9
  %906 = load i32, ptr %94, align 4, !tbaa !9
  %907 = load ptr, ptr %4, align 8, !tbaa !5
  %908 = load i32, ptr %91, align 4, !tbaa !9
  %909 = load i32, ptr %94, align 4, !tbaa !9
  %910 = mul i32 5, %909
  %911 = add i32 %908, %910
  %912 = zext i32 %911 to i64
  %913 = getelementptr inbounds i64, ptr %907, i64 %912
  %914 = load i64, ptr %913, align 8, !tbaa !12
  %915 = load i64, ptr %93, align 8, !tbaa !12
  %916 = xor i64 %914, %915
  %917 = load ptr, ptr %4, align 8, !tbaa !5
  %918 = load i32, ptr %91, align 4, !tbaa !9
  %919 = load i32, ptr %94, align 4, !tbaa !9
  %920 = mul i32 5, %919
  %921 = add i32 %918, %920
  %922 = zext i32 %921 to i64
  %923 = getelementptr inbounds i64, ptr %917, i64 %922
  store i64 %916, ptr %923, align 8, !tbaa !12
  %924 = load i32, ptr %94, align 4, !tbaa !9
  %925 = add i32 %924, 1
  store i32 %925, ptr %94, align 4, !tbaa !9
  %926 = load i32, ptr %94, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %94) #5
  br label %927

927:                                              ; preds = %826
  br label %928

928:                                              ; preds = %927
  %929 = load i32, ptr %91, align 4, !tbaa !9
  %930 = add i32 %929, 1
  store i32 %930, ptr %91, align 4, !tbaa !9
  %931 = load i32, ptr %91, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %93) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %92) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %95) #5
  %932 = load i32, ptr %91, align 4, !tbaa !9
  %933 = add i32 %932, 1
  %934 = urem i32 %933, 5
  %935 = zext i32 %934 to i64
  %936 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %935
  %937 = load i64, ptr %936, align 8, !tbaa !12
  store i64 %937, ptr %95, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %96) #5
  %938 = load i32, ptr %91, align 4, !tbaa !9
  %939 = add i32 %938, 4
  %940 = urem i32 %939, 5
  %941 = zext i32 %940 to i64
  %942 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %941
  %943 = load i64, ptr %942, align 8, !tbaa !12
  %944 = load i64, ptr %95, align 8, !tbaa !12
  %945 = shl i64 %944, 1
  %946 = load i64, ptr %95, align 8, !tbaa !12
  %947 = lshr i64 %946, 63
  %948 = or i64 %945, %947
  %949 = xor i64 %943, %948
  store i64 %949, ptr %96, align 8, !tbaa !12
  br label %950

950:                                              ; preds = %928
  call void @llvm.lifetime.start.p0(i64 4, ptr %97) #5
  store i32 0, ptr %97, align 4, !tbaa !9
  %951 = load ptr, ptr %4, align 8, !tbaa !5
  %952 = load i32, ptr %91, align 4, !tbaa !9
  %953 = load i32, ptr %97, align 4, !tbaa !9
  %954 = mul i32 5, %953
  %955 = add i32 %952, %954
  %956 = zext i32 %955 to i64
  %957 = getelementptr inbounds i64, ptr %951, i64 %956
  %958 = load i64, ptr %957, align 8, !tbaa !12
  %959 = load i64, ptr %96, align 8, !tbaa !12
  %960 = xor i64 %958, %959
  %961 = load ptr, ptr %4, align 8, !tbaa !5
  %962 = load i32, ptr %91, align 4, !tbaa !9
  %963 = load i32, ptr %97, align 4, !tbaa !9
  %964 = mul i32 5, %963
  %965 = add i32 %962, %964
  %966 = zext i32 %965 to i64
  %967 = getelementptr inbounds i64, ptr %961, i64 %966
  store i64 %960, ptr %967, align 8, !tbaa !12
  %968 = load i32, ptr %97, align 4, !tbaa !9
  %969 = add i32 %968, 1
  store i32 %969, ptr %97, align 4, !tbaa !9
  %970 = load i32, ptr %97, align 4, !tbaa !9
  %971 = load ptr, ptr %4, align 8, !tbaa !5
  %972 = load i32, ptr %91, align 4, !tbaa !9
  %973 = load i32, ptr %97, align 4, !tbaa !9
  %974 = mul i32 5, %973
  %975 = add i32 %972, %974
  %976 = zext i32 %975 to i64
  %977 = getelementptr inbounds i64, ptr %971, i64 %976
  %978 = load i64, ptr %977, align 8, !tbaa !12
  %979 = load i64, ptr %96, align 8, !tbaa !12
  %980 = xor i64 %978, %979
  %981 = load ptr, ptr %4, align 8, !tbaa !5
  %982 = load i32, ptr %91, align 4, !tbaa !9
  %983 = load i32, ptr %97, align 4, !tbaa !9
  %984 = mul i32 5, %983
  %985 = add i32 %982, %984
  %986 = zext i32 %985 to i64
  %987 = getelementptr inbounds i64, ptr %981, i64 %986
  store i64 %980, ptr %987, align 8, !tbaa !12
  %988 = load i32, ptr %97, align 4, !tbaa !9
  %989 = add i32 %988, 1
  store i32 %989, ptr %97, align 4, !tbaa !9
  %990 = load i32, ptr %97, align 4, !tbaa !9
  %991 = load ptr, ptr %4, align 8, !tbaa !5
  %992 = load i32, ptr %91, align 4, !tbaa !9
  %993 = load i32, ptr %97, align 4, !tbaa !9
  %994 = mul i32 5, %993
  %995 = add i32 %992, %994
  %996 = zext i32 %995 to i64
  %997 = getelementptr inbounds i64, ptr %991, i64 %996
  %998 = load i64, ptr %997, align 8, !tbaa !12
  %999 = load i64, ptr %96, align 8, !tbaa !12
  %1000 = xor i64 %998, %999
  %1001 = load ptr, ptr %4, align 8, !tbaa !5
  %1002 = load i32, ptr %91, align 4, !tbaa !9
  %1003 = load i32, ptr %97, align 4, !tbaa !9
  %1004 = mul i32 5, %1003
  %1005 = add i32 %1002, %1004
  %1006 = zext i32 %1005 to i64
  %1007 = getelementptr inbounds i64, ptr %1001, i64 %1006
  store i64 %1000, ptr %1007, align 8, !tbaa !12
  %1008 = load i32, ptr %97, align 4, !tbaa !9
  %1009 = add i32 %1008, 1
  store i32 %1009, ptr %97, align 4, !tbaa !9
  %1010 = load i32, ptr %97, align 4, !tbaa !9
  %1011 = load ptr, ptr %4, align 8, !tbaa !5
  %1012 = load i32, ptr %91, align 4, !tbaa !9
  %1013 = load i32, ptr %97, align 4, !tbaa !9
  %1014 = mul i32 5, %1013
  %1015 = add i32 %1012, %1014
  %1016 = zext i32 %1015 to i64
  %1017 = getelementptr inbounds i64, ptr %1011, i64 %1016
  %1018 = load i64, ptr %1017, align 8, !tbaa !12
  %1019 = load i64, ptr %96, align 8, !tbaa !12
  %1020 = xor i64 %1018, %1019
  %1021 = load ptr, ptr %4, align 8, !tbaa !5
  %1022 = load i32, ptr %91, align 4, !tbaa !9
  %1023 = load i32, ptr %97, align 4, !tbaa !9
  %1024 = mul i32 5, %1023
  %1025 = add i32 %1022, %1024
  %1026 = zext i32 %1025 to i64
  %1027 = getelementptr inbounds i64, ptr %1021, i64 %1026
  store i64 %1020, ptr %1027, align 8, !tbaa !12
  %1028 = load i32, ptr %97, align 4, !tbaa !9
  %1029 = add i32 %1028, 1
  store i32 %1029, ptr %97, align 4, !tbaa !9
  %1030 = load i32, ptr %97, align 4, !tbaa !9
  %1031 = load ptr, ptr %4, align 8, !tbaa !5
  %1032 = load i32, ptr %91, align 4, !tbaa !9
  %1033 = load i32, ptr %97, align 4, !tbaa !9
  %1034 = mul i32 5, %1033
  %1035 = add i32 %1032, %1034
  %1036 = zext i32 %1035 to i64
  %1037 = getelementptr inbounds i64, ptr %1031, i64 %1036
  %1038 = load i64, ptr %1037, align 8, !tbaa !12
  %1039 = load i64, ptr %96, align 8, !tbaa !12
  %1040 = xor i64 %1038, %1039
  %1041 = load ptr, ptr %4, align 8, !tbaa !5
  %1042 = load i32, ptr %91, align 4, !tbaa !9
  %1043 = load i32, ptr %97, align 4, !tbaa !9
  %1044 = mul i32 5, %1043
  %1045 = add i32 %1042, %1044
  %1046 = zext i32 %1045 to i64
  %1047 = getelementptr inbounds i64, ptr %1041, i64 %1046
  store i64 %1040, ptr %1047, align 8, !tbaa !12
  %1048 = load i32, ptr %97, align 4, !tbaa !9
  %1049 = add i32 %1048, 1
  store i32 %1049, ptr %97, align 4, !tbaa !9
  %1050 = load i32, ptr %97, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %97) #5
  br label %1051

1051:                                             ; preds = %950
  br label %1052

1052:                                             ; preds = %1051
  %1053 = load i32, ptr %91, align 4, !tbaa !9
  %1054 = add i32 %1053, 1
  store i32 %1054, ptr %91, align 4, !tbaa !9
  %1055 = load i32, ptr %91, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %96) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %95) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %98) #5
  %1056 = load i32, ptr %91, align 4, !tbaa !9
  %1057 = add i32 %1056, 1
  %1058 = urem i32 %1057, 5
  %1059 = zext i32 %1058 to i64
  %1060 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %1059
  %1061 = load i64, ptr %1060, align 8, !tbaa !12
  store i64 %1061, ptr %98, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %99) #5
  %1062 = load i32, ptr %91, align 4, !tbaa !9
  %1063 = add i32 %1062, 4
  %1064 = urem i32 %1063, 5
  %1065 = zext i32 %1064 to i64
  %1066 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %1065
  %1067 = load i64, ptr %1066, align 8, !tbaa !12
  %1068 = load i64, ptr %98, align 8, !tbaa !12
  %1069 = shl i64 %1068, 1
  %1070 = load i64, ptr %98, align 8, !tbaa !12
  %1071 = lshr i64 %1070, 63
  %1072 = or i64 %1069, %1071
  %1073 = xor i64 %1067, %1072
  store i64 %1073, ptr %99, align 8, !tbaa !12
  br label %1074

1074:                                             ; preds = %1052
  call void @llvm.lifetime.start.p0(i64 4, ptr %100) #5
  store i32 0, ptr %100, align 4, !tbaa !9
  %1075 = load ptr, ptr %4, align 8, !tbaa !5
  %1076 = load i32, ptr %91, align 4, !tbaa !9
  %1077 = load i32, ptr %100, align 4, !tbaa !9
  %1078 = mul i32 5, %1077
  %1079 = add i32 %1076, %1078
  %1080 = zext i32 %1079 to i64
  %1081 = getelementptr inbounds i64, ptr %1075, i64 %1080
  %1082 = load i64, ptr %1081, align 8, !tbaa !12
  %1083 = load i64, ptr %99, align 8, !tbaa !12
  %1084 = xor i64 %1082, %1083
  %1085 = load ptr, ptr %4, align 8, !tbaa !5
  %1086 = load i32, ptr %91, align 4, !tbaa !9
  %1087 = load i32, ptr %100, align 4, !tbaa !9
  %1088 = mul i32 5, %1087
  %1089 = add i32 %1086, %1088
  %1090 = zext i32 %1089 to i64
  %1091 = getelementptr inbounds i64, ptr %1085, i64 %1090
  store i64 %1084, ptr %1091, align 8, !tbaa !12
  %1092 = load i32, ptr %100, align 4, !tbaa !9
  %1093 = add i32 %1092, 1
  store i32 %1093, ptr %100, align 4, !tbaa !9
  %1094 = load i32, ptr %100, align 4, !tbaa !9
  %1095 = load ptr, ptr %4, align 8, !tbaa !5
  %1096 = load i32, ptr %91, align 4, !tbaa !9
  %1097 = load i32, ptr %100, align 4, !tbaa !9
  %1098 = mul i32 5, %1097
  %1099 = add i32 %1096, %1098
  %1100 = zext i32 %1099 to i64
  %1101 = getelementptr inbounds i64, ptr %1095, i64 %1100
  %1102 = load i64, ptr %1101, align 8, !tbaa !12
  %1103 = load i64, ptr %99, align 8, !tbaa !12
  %1104 = xor i64 %1102, %1103
  %1105 = load ptr, ptr %4, align 8, !tbaa !5
  %1106 = load i32, ptr %91, align 4, !tbaa !9
  %1107 = load i32, ptr %100, align 4, !tbaa !9
  %1108 = mul i32 5, %1107
  %1109 = add i32 %1106, %1108
  %1110 = zext i32 %1109 to i64
  %1111 = getelementptr inbounds i64, ptr %1105, i64 %1110
  store i64 %1104, ptr %1111, align 8, !tbaa !12
  %1112 = load i32, ptr %100, align 4, !tbaa !9
  %1113 = add i32 %1112, 1
  store i32 %1113, ptr %100, align 4, !tbaa !9
  %1114 = load i32, ptr %100, align 4, !tbaa !9
  %1115 = load ptr, ptr %4, align 8, !tbaa !5
  %1116 = load i32, ptr %91, align 4, !tbaa !9
  %1117 = load i32, ptr %100, align 4, !tbaa !9
  %1118 = mul i32 5, %1117
  %1119 = add i32 %1116, %1118
  %1120 = zext i32 %1119 to i64
  %1121 = getelementptr inbounds i64, ptr %1115, i64 %1120
  %1122 = load i64, ptr %1121, align 8, !tbaa !12
  %1123 = load i64, ptr %99, align 8, !tbaa !12
  %1124 = xor i64 %1122, %1123
  %1125 = load ptr, ptr %4, align 8, !tbaa !5
  %1126 = load i32, ptr %91, align 4, !tbaa !9
  %1127 = load i32, ptr %100, align 4, !tbaa !9
  %1128 = mul i32 5, %1127
  %1129 = add i32 %1126, %1128
  %1130 = zext i32 %1129 to i64
  %1131 = getelementptr inbounds i64, ptr %1125, i64 %1130
  store i64 %1124, ptr %1131, align 8, !tbaa !12
  %1132 = load i32, ptr %100, align 4, !tbaa !9
  %1133 = add i32 %1132, 1
  store i32 %1133, ptr %100, align 4, !tbaa !9
  %1134 = load i32, ptr %100, align 4, !tbaa !9
  %1135 = load ptr, ptr %4, align 8, !tbaa !5
  %1136 = load i32, ptr %91, align 4, !tbaa !9
  %1137 = load i32, ptr %100, align 4, !tbaa !9
  %1138 = mul i32 5, %1137
  %1139 = add i32 %1136, %1138
  %1140 = zext i32 %1139 to i64
  %1141 = getelementptr inbounds i64, ptr %1135, i64 %1140
  %1142 = load i64, ptr %1141, align 8, !tbaa !12
  %1143 = load i64, ptr %99, align 8, !tbaa !12
  %1144 = xor i64 %1142, %1143
  %1145 = load ptr, ptr %4, align 8, !tbaa !5
  %1146 = load i32, ptr %91, align 4, !tbaa !9
  %1147 = load i32, ptr %100, align 4, !tbaa !9
  %1148 = mul i32 5, %1147
  %1149 = add i32 %1146, %1148
  %1150 = zext i32 %1149 to i64
  %1151 = getelementptr inbounds i64, ptr %1145, i64 %1150
  store i64 %1144, ptr %1151, align 8, !tbaa !12
  %1152 = load i32, ptr %100, align 4, !tbaa !9
  %1153 = add i32 %1152, 1
  store i32 %1153, ptr %100, align 4, !tbaa !9
  %1154 = load i32, ptr %100, align 4, !tbaa !9
  %1155 = load ptr, ptr %4, align 8, !tbaa !5
  %1156 = load i32, ptr %91, align 4, !tbaa !9
  %1157 = load i32, ptr %100, align 4, !tbaa !9
  %1158 = mul i32 5, %1157
  %1159 = add i32 %1156, %1158
  %1160 = zext i32 %1159 to i64
  %1161 = getelementptr inbounds i64, ptr %1155, i64 %1160
  %1162 = load i64, ptr %1161, align 8, !tbaa !12
  %1163 = load i64, ptr %99, align 8, !tbaa !12
  %1164 = xor i64 %1162, %1163
  %1165 = load ptr, ptr %4, align 8, !tbaa !5
  %1166 = load i32, ptr %91, align 4, !tbaa !9
  %1167 = load i32, ptr %100, align 4, !tbaa !9
  %1168 = mul i32 5, %1167
  %1169 = add i32 %1166, %1168
  %1170 = zext i32 %1169 to i64
  %1171 = getelementptr inbounds i64, ptr %1165, i64 %1170
  store i64 %1164, ptr %1171, align 8, !tbaa !12
  %1172 = load i32, ptr %100, align 4, !tbaa !9
  %1173 = add i32 %1172, 1
  store i32 %1173, ptr %100, align 4, !tbaa !9
  %1174 = load i32, ptr %100, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %100) #5
  br label %1175

1175:                                             ; preds = %1074
  br label %1176

1176:                                             ; preds = %1175
  %1177 = load i32, ptr %91, align 4, !tbaa !9
  %1178 = add i32 %1177, 1
  store i32 %1178, ptr %91, align 4, !tbaa !9
  %1179 = load i32, ptr %91, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %99) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %98) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %101) #5
  %1180 = load i32, ptr %91, align 4, !tbaa !9
  %1181 = add i32 %1180, 1
  %1182 = urem i32 %1181, 5
  %1183 = zext i32 %1182 to i64
  %1184 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %1183
  %1185 = load i64, ptr %1184, align 8, !tbaa !12
  store i64 %1185, ptr %101, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %102) #5
  %1186 = load i32, ptr %91, align 4, !tbaa !9
  %1187 = add i32 %1186, 4
  %1188 = urem i32 %1187, 5
  %1189 = zext i32 %1188 to i64
  %1190 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %1189
  %1191 = load i64, ptr %1190, align 8, !tbaa !12
  %1192 = load i64, ptr %101, align 8, !tbaa !12
  %1193 = shl i64 %1192, 1
  %1194 = load i64, ptr %101, align 8, !tbaa !12
  %1195 = lshr i64 %1194, 63
  %1196 = or i64 %1193, %1195
  %1197 = xor i64 %1191, %1196
  store i64 %1197, ptr %102, align 8, !tbaa !12
  br label %1198

1198:                                             ; preds = %1176
  call void @llvm.lifetime.start.p0(i64 4, ptr %103) #5
  store i32 0, ptr %103, align 4, !tbaa !9
  %1199 = load ptr, ptr %4, align 8, !tbaa !5
  %1200 = load i32, ptr %91, align 4, !tbaa !9
  %1201 = load i32, ptr %103, align 4, !tbaa !9
  %1202 = mul i32 5, %1201
  %1203 = add i32 %1200, %1202
  %1204 = zext i32 %1203 to i64
  %1205 = getelementptr inbounds i64, ptr %1199, i64 %1204
  %1206 = load i64, ptr %1205, align 8, !tbaa !12
  %1207 = load i64, ptr %102, align 8, !tbaa !12
  %1208 = xor i64 %1206, %1207
  %1209 = load ptr, ptr %4, align 8, !tbaa !5
  %1210 = load i32, ptr %91, align 4, !tbaa !9
  %1211 = load i32, ptr %103, align 4, !tbaa !9
  %1212 = mul i32 5, %1211
  %1213 = add i32 %1210, %1212
  %1214 = zext i32 %1213 to i64
  %1215 = getelementptr inbounds i64, ptr %1209, i64 %1214
  store i64 %1208, ptr %1215, align 8, !tbaa !12
  %1216 = load i32, ptr %103, align 4, !tbaa !9
  %1217 = add i32 %1216, 1
  store i32 %1217, ptr %103, align 4, !tbaa !9
  %1218 = load i32, ptr %103, align 4, !tbaa !9
  %1219 = load ptr, ptr %4, align 8, !tbaa !5
  %1220 = load i32, ptr %91, align 4, !tbaa !9
  %1221 = load i32, ptr %103, align 4, !tbaa !9
  %1222 = mul i32 5, %1221
  %1223 = add i32 %1220, %1222
  %1224 = zext i32 %1223 to i64
  %1225 = getelementptr inbounds i64, ptr %1219, i64 %1224
  %1226 = load i64, ptr %1225, align 8, !tbaa !12
  %1227 = load i64, ptr %102, align 8, !tbaa !12
  %1228 = xor i64 %1226, %1227
  %1229 = load ptr, ptr %4, align 8, !tbaa !5
  %1230 = load i32, ptr %91, align 4, !tbaa !9
  %1231 = load i32, ptr %103, align 4, !tbaa !9
  %1232 = mul i32 5, %1231
  %1233 = add i32 %1230, %1232
  %1234 = zext i32 %1233 to i64
  %1235 = getelementptr inbounds i64, ptr %1229, i64 %1234
  store i64 %1228, ptr %1235, align 8, !tbaa !12
  %1236 = load i32, ptr %103, align 4, !tbaa !9
  %1237 = add i32 %1236, 1
  store i32 %1237, ptr %103, align 4, !tbaa !9
  %1238 = load i32, ptr %103, align 4, !tbaa !9
  %1239 = load ptr, ptr %4, align 8, !tbaa !5
  %1240 = load i32, ptr %91, align 4, !tbaa !9
  %1241 = load i32, ptr %103, align 4, !tbaa !9
  %1242 = mul i32 5, %1241
  %1243 = add i32 %1240, %1242
  %1244 = zext i32 %1243 to i64
  %1245 = getelementptr inbounds i64, ptr %1239, i64 %1244
  %1246 = load i64, ptr %1245, align 8, !tbaa !12
  %1247 = load i64, ptr %102, align 8, !tbaa !12
  %1248 = xor i64 %1246, %1247
  %1249 = load ptr, ptr %4, align 8, !tbaa !5
  %1250 = load i32, ptr %91, align 4, !tbaa !9
  %1251 = load i32, ptr %103, align 4, !tbaa !9
  %1252 = mul i32 5, %1251
  %1253 = add i32 %1250, %1252
  %1254 = zext i32 %1253 to i64
  %1255 = getelementptr inbounds i64, ptr %1249, i64 %1254
  store i64 %1248, ptr %1255, align 8, !tbaa !12
  %1256 = load i32, ptr %103, align 4, !tbaa !9
  %1257 = add i32 %1256, 1
  store i32 %1257, ptr %103, align 4, !tbaa !9
  %1258 = load i32, ptr %103, align 4, !tbaa !9
  %1259 = load ptr, ptr %4, align 8, !tbaa !5
  %1260 = load i32, ptr %91, align 4, !tbaa !9
  %1261 = load i32, ptr %103, align 4, !tbaa !9
  %1262 = mul i32 5, %1261
  %1263 = add i32 %1260, %1262
  %1264 = zext i32 %1263 to i64
  %1265 = getelementptr inbounds i64, ptr %1259, i64 %1264
  %1266 = load i64, ptr %1265, align 8, !tbaa !12
  %1267 = load i64, ptr %102, align 8, !tbaa !12
  %1268 = xor i64 %1266, %1267
  %1269 = load ptr, ptr %4, align 8, !tbaa !5
  %1270 = load i32, ptr %91, align 4, !tbaa !9
  %1271 = load i32, ptr %103, align 4, !tbaa !9
  %1272 = mul i32 5, %1271
  %1273 = add i32 %1270, %1272
  %1274 = zext i32 %1273 to i64
  %1275 = getelementptr inbounds i64, ptr %1269, i64 %1274
  store i64 %1268, ptr %1275, align 8, !tbaa !12
  %1276 = load i32, ptr %103, align 4, !tbaa !9
  %1277 = add i32 %1276, 1
  store i32 %1277, ptr %103, align 4, !tbaa !9
  %1278 = load i32, ptr %103, align 4, !tbaa !9
  %1279 = load ptr, ptr %4, align 8, !tbaa !5
  %1280 = load i32, ptr %91, align 4, !tbaa !9
  %1281 = load i32, ptr %103, align 4, !tbaa !9
  %1282 = mul i32 5, %1281
  %1283 = add i32 %1280, %1282
  %1284 = zext i32 %1283 to i64
  %1285 = getelementptr inbounds i64, ptr %1279, i64 %1284
  %1286 = load i64, ptr %1285, align 8, !tbaa !12
  %1287 = load i64, ptr %102, align 8, !tbaa !12
  %1288 = xor i64 %1286, %1287
  %1289 = load ptr, ptr %4, align 8, !tbaa !5
  %1290 = load i32, ptr %91, align 4, !tbaa !9
  %1291 = load i32, ptr %103, align 4, !tbaa !9
  %1292 = mul i32 5, %1291
  %1293 = add i32 %1290, %1292
  %1294 = zext i32 %1293 to i64
  %1295 = getelementptr inbounds i64, ptr %1289, i64 %1294
  store i64 %1288, ptr %1295, align 8, !tbaa !12
  %1296 = load i32, ptr %103, align 4, !tbaa !9
  %1297 = add i32 %1296, 1
  store i32 %1297, ptr %103, align 4, !tbaa !9
  %1298 = load i32, ptr %103, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %103) #5
  br label %1299

1299:                                             ; preds = %1198
  br label %1300

1300:                                             ; preds = %1299
  %1301 = load i32, ptr %91, align 4, !tbaa !9
  %1302 = add i32 %1301, 1
  store i32 %1302, ptr %91, align 4, !tbaa !9
  %1303 = load i32, ptr %91, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %102) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %101) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %104) #5
  %1304 = load i32, ptr %91, align 4, !tbaa !9
  %1305 = add i32 %1304, 1
  %1306 = urem i32 %1305, 5
  %1307 = zext i32 %1306 to i64
  %1308 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %1307
  %1309 = load i64, ptr %1308, align 8, !tbaa !12
  store i64 %1309, ptr %104, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %105) #5
  %1310 = load i32, ptr %91, align 4, !tbaa !9
  %1311 = add i32 %1310, 4
  %1312 = urem i32 %1311, 5
  %1313 = zext i32 %1312 to i64
  %1314 = getelementptr inbounds [5 x i64], ptr %89, i64 0, i64 %1313
  %1315 = load i64, ptr %1314, align 8, !tbaa !12
  %1316 = load i64, ptr %104, align 8, !tbaa !12
  %1317 = shl i64 %1316, 1
  %1318 = load i64, ptr %104, align 8, !tbaa !12
  %1319 = lshr i64 %1318, 63
  %1320 = or i64 %1317, %1319
  %1321 = xor i64 %1315, %1320
  store i64 %1321, ptr %105, align 8, !tbaa !12
  br label %1322

1322:                                             ; preds = %1300
  call void @llvm.lifetime.start.p0(i64 4, ptr %106) #5
  store i32 0, ptr %106, align 4, !tbaa !9
  %1323 = load ptr, ptr %4, align 8, !tbaa !5
  %1324 = load i32, ptr %91, align 4, !tbaa !9
  %1325 = load i32, ptr %106, align 4, !tbaa !9
  %1326 = mul i32 5, %1325
  %1327 = add i32 %1324, %1326
  %1328 = zext i32 %1327 to i64
  %1329 = getelementptr inbounds i64, ptr %1323, i64 %1328
  %1330 = load i64, ptr %1329, align 8, !tbaa !12
  %1331 = load i64, ptr %105, align 8, !tbaa !12
  %1332 = xor i64 %1330, %1331
  %1333 = load ptr, ptr %4, align 8, !tbaa !5
  %1334 = load i32, ptr %91, align 4, !tbaa !9
  %1335 = load i32, ptr %106, align 4, !tbaa !9
  %1336 = mul i32 5, %1335
  %1337 = add i32 %1334, %1336
  %1338 = zext i32 %1337 to i64
  %1339 = getelementptr inbounds i64, ptr %1333, i64 %1338
  store i64 %1332, ptr %1339, align 8, !tbaa !12
  %1340 = load i32, ptr %106, align 4, !tbaa !9
  %1341 = add i32 %1340, 1
  store i32 %1341, ptr %106, align 4, !tbaa !9
  %1342 = load i32, ptr %106, align 4, !tbaa !9
  %1343 = load ptr, ptr %4, align 8, !tbaa !5
  %1344 = load i32, ptr %91, align 4, !tbaa !9
  %1345 = load i32, ptr %106, align 4, !tbaa !9
  %1346 = mul i32 5, %1345
  %1347 = add i32 %1344, %1346
  %1348 = zext i32 %1347 to i64
  %1349 = getelementptr inbounds i64, ptr %1343, i64 %1348
  %1350 = load i64, ptr %1349, align 8, !tbaa !12
  %1351 = load i64, ptr %105, align 8, !tbaa !12
  %1352 = xor i64 %1350, %1351
  %1353 = load ptr, ptr %4, align 8, !tbaa !5
  %1354 = load i32, ptr %91, align 4, !tbaa !9
  %1355 = load i32, ptr %106, align 4, !tbaa !9
  %1356 = mul i32 5, %1355
  %1357 = add i32 %1354, %1356
  %1358 = zext i32 %1357 to i64
  %1359 = getelementptr inbounds i64, ptr %1353, i64 %1358
  store i64 %1352, ptr %1359, align 8, !tbaa !12
  %1360 = load i32, ptr %106, align 4, !tbaa !9
  %1361 = add i32 %1360, 1
  store i32 %1361, ptr %106, align 4, !tbaa !9
  %1362 = load i32, ptr %106, align 4, !tbaa !9
  %1363 = load ptr, ptr %4, align 8, !tbaa !5
  %1364 = load i32, ptr %91, align 4, !tbaa !9
  %1365 = load i32, ptr %106, align 4, !tbaa !9
  %1366 = mul i32 5, %1365
  %1367 = add i32 %1364, %1366
  %1368 = zext i32 %1367 to i64
  %1369 = getelementptr inbounds i64, ptr %1363, i64 %1368
  %1370 = load i64, ptr %1369, align 8, !tbaa !12
  %1371 = load i64, ptr %105, align 8, !tbaa !12
  %1372 = xor i64 %1370, %1371
  %1373 = load ptr, ptr %4, align 8, !tbaa !5
  %1374 = load i32, ptr %91, align 4, !tbaa !9
  %1375 = load i32, ptr %106, align 4, !tbaa !9
  %1376 = mul i32 5, %1375
  %1377 = add i32 %1374, %1376
  %1378 = zext i32 %1377 to i64
  %1379 = getelementptr inbounds i64, ptr %1373, i64 %1378
  store i64 %1372, ptr %1379, align 8, !tbaa !12
  %1380 = load i32, ptr %106, align 4, !tbaa !9
  %1381 = add i32 %1380, 1
  store i32 %1381, ptr %106, align 4, !tbaa !9
  %1382 = load i32, ptr %106, align 4, !tbaa !9
  %1383 = load ptr, ptr %4, align 8, !tbaa !5
  %1384 = load i32, ptr %91, align 4, !tbaa !9
  %1385 = load i32, ptr %106, align 4, !tbaa !9
  %1386 = mul i32 5, %1385
  %1387 = add i32 %1384, %1386
  %1388 = zext i32 %1387 to i64
  %1389 = getelementptr inbounds i64, ptr %1383, i64 %1388
  %1390 = load i64, ptr %1389, align 8, !tbaa !12
  %1391 = load i64, ptr %105, align 8, !tbaa !12
  %1392 = xor i64 %1390, %1391
  %1393 = load ptr, ptr %4, align 8, !tbaa !5
  %1394 = load i32, ptr %91, align 4, !tbaa !9
  %1395 = load i32, ptr %106, align 4, !tbaa !9
  %1396 = mul i32 5, %1395
  %1397 = add i32 %1394, %1396
  %1398 = zext i32 %1397 to i64
  %1399 = getelementptr inbounds i64, ptr %1393, i64 %1398
  store i64 %1392, ptr %1399, align 8, !tbaa !12
  %1400 = load i32, ptr %106, align 4, !tbaa !9
  %1401 = add i32 %1400, 1
  store i32 %1401, ptr %106, align 4, !tbaa !9
  %1402 = load i32, ptr %106, align 4, !tbaa !9
  %1403 = load ptr, ptr %4, align 8, !tbaa !5
  %1404 = load i32, ptr %91, align 4, !tbaa !9
  %1405 = load i32, ptr %106, align 4, !tbaa !9
  %1406 = mul i32 5, %1405
  %1407 = add i32 %1404, %1406
  %1408 = zext i32 %1407 to i64
  %1409 = getelementptr inbounds i64, ptr %1403, i64 %1408
  %1410 = load i64, ptr %1409, align 8, !tbaa !12
  %1411 = load i64, ptr %105, align 8, !tbaa !12
  %1412 = xor i64 %1410, %1411
  %1413 = load ptr, ptr %4, align 8, !tbaa !5
  %1414 = load i32, ptr %91, align 4, !tbaa !9
  %1415 = load i32, ptr %106, align 4, !tbaa !9
  %1416 = mul i32 5, %1415
  %1417 = add i32 %1414, %1416
  %1418 = zext i32 %1417 to i64
  %1419 = getelementptr inbounds i64, ptr %1413, i64 %1418
  store i64 %1412, ptr %1419, align 8, !tbaa !12
  %1420 = load i32, ptr %106, align 4, !tbaa !9
  %1421 = add i32 %1420, 1
  store i32 %1421, ptr %106, align 4, !tbaa !9
  %1422 = load i32, ptr %106, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %106) #5
  br label %1423

1423:                                             ; preds = %1322
  br label %1424

1424:                                             ; preds = %1423
  %1425 = load i32, ptr %91, align 4, !tbaa !9
  %1426 = add i32 %1425, 1
  store i32 %1426, ptr %91, align 4, !tbaa !9
  %1427 = load i32, ptr %91, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %105) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %104) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %91) #5
  br label %1428

1428:                                             ; preds = %1424
  br label %1429

1429:                                             ; preds = %1428
  call void @llvm.lifetime.start.p0(i64 8, ptr %107) #5
  %1430 = load ptr, ptr %4, align 8, !tbaa !5
  %1431 = getelementptr inbounds i64, ptr %1430, i64 1
  %1432 = load i64, ptr %1431, align 8, !tbaa !12
  store i64 %1432, ptr %107, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %108) #5
  %1433 = load i64, ptr %107, align 8, !tbaa !12
  store i64 %1433, ptr %108, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 4, ptr %109) #5
  store i32 0, ptr %109, align 4, !tbaa !9
  br label %1434

1434:                                             ; preds = %1468, %1429
  %1435 = load i32, ptr %109, align 4, !tbaa !9
  %1436 = icmp ult i32 %1435, 24
  br i1 %1436, label %1438, label %1437

1437:                                             ; preds = %1434
  store i32 25, ptr %88, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %109) #5
  br label %1471

1438:                                             ; preds = %1434
  call void @llvm.lifetime.start.p0(i64 4, ptr %110) #5
  %1439 = load i32, ptr %109, align 4, !tbaa !9
  %1440 = zext i32 %1439 to i64
  %1441 = getelementptr inbounds [24 x i32], ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 0, i64 %1440
  %1442 = load i32, ptr %1441, align 4, !tbaa !9
  store i32 %1442, ptr %110, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %111) #5
  %1443 = load i32, ptr %109, align 4, !tbaa !9
  %1444 = zext i32 %1443 to i64
  %1445 = getelementptr inbounds [24 x i32], ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 0, i64 %1444
  %1446 = load i32, ptr %1445, align 4, !tbaa !9
  store i32 %1446, ptr %111, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %112) #5
  %1447 = load ptr, ptr %4, align 8, !tbaa !5
  %1448 = load i32, ptr %110, align 4, !tbaa !9
  %1449 = zext i32 %1448 to i64
  %1450 = getelementptr inbounds i64, ptr %1447, i64 %1449
  %1451 = load i64, ptr %1450, align 8, !tbaa !12
  store i64 %1451, ptr %112, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %113) #5
  %1452 = load i64, ptr %108, align 8, !tbaa !12
  store i64 %1452, ptr %113, align 8, !tbaa !12
  %1453 = load i64, ptr %113, align 8, !tbaa !12
  %1454 = load i32, ptr %111, align 4, !tbaa !9
  %1455 = zext i32 %1454 to i64
  %1456 = shl i64 %1453, %1455
  %1457 = load i64, ptr %113, align 8, !tbaa !12
  %1458 = load i32, ptr %111, align 4, !tbaa !9
  %1459 = sub i32 64, %1458
  %1460 = zext i32 %1459 to i64
  %1461 = lshr i64 %1457, %1460
  %1462 = or i64 %1456, %1461
  %1463 = load ptr, ptr %4, align 8, !tbaa !5
  %1464 = load i32, ptr %110, align 4, !tbaa !9
  %1465 = zext i32 %1464 to i64
  %1466 = getelementptr inbounds i64, ptr %1463, i64 %1465
  store i64 %1462, ptr %1466, align 8, !tbaa !12
  %1467 = load i64, ptr %112, align 8, !tbaa !12
  store i64 %1467, ptr %108, align 8, !tbaa !12
  call void @llvm.lifetime.end.p0(i64 8, ptr %113) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %112) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %111) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %110) #5
  br label %1468

1468:                                             ; preds = %1438
  %1469 = load i32, ptr %109, align 4, !tbaa !9
  %1470 = add i32 %1469, 1
  store i32 %1470, ptr %109, align 4, !tbaa !9
  br label %1434, !llvm.loop !17

1471:                                             ; preds = %1437
  br label %1472

1472:                                             ; preds = %1471
  call void @llvm.lifetime.start.p0(i64 4, ptr %114) #5
  store i32 0, ptr %114, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %115) #5
  %1473 = load ptr, ptr %4, align 8, !tbaa !5
  %1474 = load i32, ptr %114, align 4, !tbaa !9
  %1475 = mul i32 5, %1474
  %1476 = add i32 0, %1475
  %1477 = zext i32 %1476 to i64
  %1478 = getelementptr inbounds i64, ptr %1473, i64 %1477
  %1479 = load i64, ptr %1478, align 8, !tbaa !12
  %1480 = load ptr, ptr %4, align 8, !tbaa !5
  %1481 = load i32, ptr %114, align 4, !tbaa !9
  %1482 = mul i32 5, %1481
  %1483 = add i32 1, %1482
  %1484 = zext i32 %1483 to i64
  %1485 = getelementptr inbounds i64, ptr %1480, i64 %1484
  %1486 = load i64, ptr %1485, align 8, !tbaa !12
  %1487 = xor i64 %1486, -1
  %1488 = load ptr, ptr %4, align 8, !tbaa !5
  %1489 = load i32, ptr %114, align 4, !tbaa !9
  %1490 = mul i32 5, %1489
  %1491 = add i32 2, %1490
  %1492 = zext i32 %1491 to i64
  %1493 = getelementptr inbounds i64, ptr %1488, i64 %1492
  %1494 = load i64, ptr %1493, align 8, !tbaa !12
  %1495 = and i64 %1487, %1494
  %1496 = xor i64 %1479, %1495
  store i64 %1496, ptr %115, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %116) #5
  %1497 = load ptr, ptr %4, align 8, !tbaa !5
  %1498 = load i32, ptr %114, align 4, !tbaa !9
  %1499 = mul i32 5, %1498
  %1500 = add i32 1, %1499
  %1501 = zext i32 %1500 to i64
  %1502 = getelementptr inbounds i64, ptr %1497, i64 %1501
  %1503 = load i64, ptr %1502, align 8, !tbaa !12
  %1504 = load ptr, ptr %4, align 8, !tbaa !5
  %1505 = load i32, ptr %114, align 4, !tbaa !9
  %1506 = mul i32 5, %1505
  %1507 = add i32 2, %1506
  %1508 = zext i32 %1507 to i64
  %1509 = getelementptr inbounds i64, ptr %1504, i64 %1508
  %1510 = load i64, ptr %1509, align 8, !tbaa !12
  %1511 = xor i64 %1510, -1
  %1512 = load ptr, ptr %4, align 8, !tbaa !5
  %1513 = load i32, ptr %114, align 4, !tbaa !9
  %1514 = mul i32 5, %1513
  %1515 = add i32 3, %1514
  %1516 = zext i32 %1515 to i64
  %1517 = getelementptr inbounds i64, ptr %1512, i64 %1516
  %1518 = load i64, ptr %1517, align 8, !tbaa !12
  %1519 = and i64 %1511, %1518
  %1520 = xor i64 %1503, %1519
  store i64 %1520, ptr %116, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %117) #5
  %1521 = load ptr, ptr %4, align 8, !tbaa !5
  %1522 = load i32, ptr %114, align 4, !tbaa !9
  %1523 = mul i32 5, %1522
  %1524 = add i32 2, %1523
  %1525 = zext i32 %1524 to i64
  %1526 = getelementptr inbounds i64, ptr %1521, i64 %1525
  %1527 = load i64, ptr %1526, align 8, !tbaa !12
  %1528 = load ptr, ptr %4, align 8, !tbaa !5
  %1529 = load i32, ptr %114, align 4, !tbaa !9
  %1530 = mul i32 5, %1529
  %1531 = add i32 3, %1530
  %1532 = zext i32 %1531 to i64
  %1533 = getelementptr inbounds i64, ptr %1528, i64 %1532
  %1534 = load i64, ptr %1533, align 8, !tbaa !12
  %1535 = xor i64 %1534, -1
  %1536 = load ptr, ptr %4, align 8, !tbaa !5
  %1537 = load i32, ptr %114, align 4, !tbaa !9
  %1538 = mul i32 5, %1537
  %1539 = add i32 4, %1538
  %1540 = zext i32 %1539 to i64
  %1541 = getelementptr inbounds i64, ptr %1536, i64 %1540
  %1542 = load i64, ptr %1541, align 8, !tbaa !12
  %1543 = and i64 %1535, %1542
  %1544 = xor i64 %1527, %1543
  store i64 %1544, ptr %117, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %118) #5
  %1545 = load ptr, ptr %4, align 8, !tbaa !5
  %1546 = load i32, ptr %114, align 4, !tbaa !9
  %1547 = mul i32 5, %1546
  %1548 = add i32 3, %1547
  %1549 = zext i32 %1548 to i64
  %1550 = getelementptr inbounds i64, ptr %1545, i64 %1549
  %1551 = load i64, ptr %1550, align 8, !tbaa !12
  %1552 = load ptr, ptr %4, align 8, !tbaa !5
  %1553 = load i32, ptr %114, align 4, !tbaa !9
  %1554 = mul i32 5, %1553
  %1555 = add i32 4, %1554
  %1556 = zext i32 %1555 to i64
  %1557 = getelementptr inbounds i64, ptr %1552, i64 %1556
  %1558 = load i64, ptr %1557, align 8, !tbaa !12
  %1559 = xor i64 %1558, -1
  %1560 = load ptr, ptr %4, align 8, !tbaa !5
  %1561 = load i32, ptr %114, align 4, !tbaa !9
  %1562 = mul i32 5, %1561
  %1563 = add i32 0, %1562
  %1564 = zext i32 %1563 to i64
  %1565 = getelementptr inbounds i64, ptr %1560, i64 %1564
  %1566 = load i64, ptr %1565, align 8, !tbaa !12
  %1567 = and i64 %1559, %1566
  %1568 = xor i64 %1551, %1567
  store i64 %1568, ptr %118, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %119) #5
  %1569 = load ptr, ptr %4, align 8, !tbaa !5
  %1570 = load i32, ptr %114, align 4, !tbaa !9
  %1571 = mul i32 5, %1570
  %1572 = add i32 4, %1571
  %1573 = zext i32 %1572 to i64
  %1574 = getelementptr inbounds i64, ptr %1569, i64 %1573
  %1575 = load i64, ptr %1574, align 8, !tbaa !12
  %1576 = load ptr, ptr %4, align 8, !tbaa !5
  %1577 = load i32, ptr %114, align 4, !tbaa !9
  %1578 = mul i32 5, %1577
  %1579 = add i32 0, %1578
  %1580 = zext i32 %1579 to i64
  %1581 = getelementptr inbounds i64, ptr %1576, i64 %1580
  %1582 = load i64, ptr %1581, align 8, !tbaa !12
  %1583 = xor i64 %1582, -1
  %1584 = load ptr, ptr %4, align 8, !tbaa !5
  %1585 = load i32, ptr %114, align 4, !tbaa !9
  %1586 = mul i32 5, %1585
  %1587 = add i32 1, %1586
  %1588 = zext i32 %1587 to i64
  %1589 = getelementptr inbounds i64, ptr %1584, i64 %1588
  %1590 = load i64, ptr %1589, align 8, !tbaa !12
  %1591 = and i64 %1583, %1590
  %1592 = xor i64 %1575, %1591
  store i64 %1592, ptr %119, align 8, !tbaa !12
  %1593 = load i64, ptr %115, align 8, !tbaa !12
  %1594 = load ptr, ptr %4, align 8, !tbaa !5
  %1595 = load i32, ptr %114, align 4, !tbaa !9
  %1596 = mul i32 5, %1595
  %1597 = add i32 0, %1596
  %1598 = zext i32 %1597 to i64
  %1599 = getelementptr inbounds i64, ptr %1594, i64 %1598
  store i64 %1593, ptr %1599, align 8, !tbaa !12
  %1600 = load i64, ptr %116, align 8, !tbaa !12
  %1601 = load ptr, ptr %4, align 8, !tbaa !5
  %1602 = load i32, ptr %114, align 4, !tbaa !9
  %1603 = mul i32 5, %1602
  %1604 = add i32 1, %1603
  %1605 = zext i32 %1604 to i64
  %1606 = getelementptr inbounds i64, ptr %1601, i64 %1605
  store i64 %1600, ptr %1606, align 8, !tbaa !12
  %1607 = load i64, ptr %117, align 8, !tbaa !12
  %1608 = load ptr, ptr %4, align 8, !tbaa !5
  %1609 = load i32, ptr %114, align 4, !tbaa !9
  %1610 = mul i32 5, %1609
  %1611 = add i32 2, %1610
  %1612 = zext i32 %1611 to i64
  %1613 = getelementptr inbounds i64, ptr %1608, i64 %1612
  store i64 %1607, ptr %1613, align 8, !tbaa !12
  %1614 = load i64, ptr %118, align 8, !tbaa !12
  %1615 = load ptr, ptr %4, align 8, !tbaa !5
  %1616 = load i32, ptr %114, align 4, !tbaa !9
  %1617 = mul i32 5, %1616
  %1618 = add i32 3, %1617
  %1619 = zext i32 %1618 to i64
  %1620 = getelementptr inbounds i64, ptr %1615, i64 %1619
  store i64 %1614, ptr %1620, align 8, !tbaa !12
  %1621 = load i64, ptr %119, align 8, !tbaa !12
  %1622 = load ptr, ptr %4, align 8, !tbaa !5
  %1623 = load i32, ptr %114, align 4, !tbaa !9
  %1624 = mul i32 5, %1623
  %1625 = add i32 4, %1624
  %1626 = zext i32 %1625 to i64
  %1627 = getelementptr inbounds i64, ptr %1622, i64 %1626
  store i64 %1621, ptr %1627, align 8, !tbaa !12
  %1628 = load i32, ptr %114, align 4, !tbaa !9
  %1629 = add i32 %1628, 1
  store i32 %1629, ptr %114, align 4, !tbaa !9
  %1630 = load i32, ptr %114, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %119) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %118) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %117) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %116) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %115) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %120) #5
  %1631 = load ptr, ptr %4, align 8, !tbaa !5
  %1632 = load i32, ptr %114, align 4, !tbaa !9
  %1633 = mul i32 5, %1632
  %1634 = add i32 0, %1633
  %1635 = zext i32 %1634 to i64
  %1636 = getelementptr inbounds i64, ptr %1631, i64 %1635
  %1637 = load i64, ptr %1636, align 8, !tbaa !12
  %1638 = load ptr, ptr %4, align 8, !tbaa !5
  %1639 = load i32, ptr %114, align 4, !tbaa !9
  %1640 = mul i32 5, %1639
  %1641 = add i32 1, %1640
  %1642 = zext i32 %1641 to i64
  %1643 = getelementptr inbounds i64, ptr %1638, i64 %1642
  %1644 = load i64, ptr %1643, align 8, !tbaa !12
  %1645 = xor i64 %1644, -1
  %1646 = load ptr, ptr %4, align 8, !tbaa !5
  %1647 = load i32, ptr %114, align 4, !tbaa !9
  %1648 = mul i32 5, %1647
  %1649 = add i32 2, %1648
  %1650 = zext i32 %1649 to i64
  %1651 = getelementptr inbounds i64, ptr %1646, i64 %1650
  %1652 = load i64, ptr %1651, align 8, !tbaa !12
  %1653 = and i64 %1645, %1652
  %1654 = xor i64 %1637, %1653
  store i64 %1654, ptr %120, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %121) #5
  %1655 = load ptr, ptr %4, align 8, !tbaa !5
  %1656 = load i32, ptr %114, align 4, !tbaa !9
  %1657 = mul i32 5, %1656
  %1658 = add i32 1, %1657
  %1659 = zext i32 %1658 to i64
  %1660 = getelementptr inbounds i64, ptr %1655, i64 %1659
  %1661 = load i64, ptr %1660, align 8, !tbaa !12
  %1662 = load ptr, ptr %4, align 8, !tbaa !5
  %1663 = load i32, ptr %114, align 4, !tbaa !9
  %1664 = mul i32 5, %1663
  %1665 = add i32 2, %1664
  %1666 = zext i32 %1665 to i64
  %1667 = getelementptr inbounds i64, ptr %1662, i64 %1666
  %1668 = load i64, ptr %1667, align 8, !tbaa !12
  %1669 = xor i64 %1668, -1
  %1670 = load ptr, ptr %4, align 8, !tbaa !5
  %1671 = load i32, ptr %114, align 4, !tbaa !9
  %1672 = mul i32 5, %1671
  %1673 = add i32 3, %1672
  %1674 = zext i32 %1673 to i64
  %1675 = getelementptr inbounds i64, ptr %1670, i64 %1674
  %1676 = load i64, ptr %1675, align 8, !tbaa !12
  %1677 = and i64 %1669, %1676
  %1678 = xor i64 %1661, %1677
  store i64 %1678, ptr %121, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %122) #5
  %1679 = load ptr, ptr %4, align 8, !tbaa !5
  %1680 = load i32, ptr %114, align 4, !tbaa !9
  %1681 = mul i32 5, %1680
  %1682 = add i32 2, %1681
  %1683 = zext i32 %1682 to i64
  %1684 = getelementptr inbounds i64, ptr %1679, i64 %1683
  %1685 = load i64, ptr %1684, align 8, !tbaa !12
  %1686 = load ptr, ptr %4, align 8, !tbaa !5
  %1687 = load i32, ptr %114, align 4, !tbaa !9
  %1688 = mul i32 5, %1687
  %1689 = add i32 3, %1688
  %1690 = zext i32 %1689 to i64
  %1691 = getelementptr inbounds i64, ptr %1686, i64 %1690
  %1692 = load i64, ptr %1691, align 8, !tbaa !12
  %1693 = xor i64 %1692, -1
  %1694 = load ptr, ptr %4, align 8, !tbaa !5
  %1695 = load i32, ptr %114, align 4, !tbaa !9
  %1696 = mul i32 5, %1695
  %1697 = add i32 4, %1696
  %1698 = zext i32 %1697 to i64
  %1699 = getelementptr inbounds i64, ptr %1694, i64 %1698
  %1700 = load i64, ptr %1699, align 8, !tbaa !12
  %1701 = and i64 %1693, %1700
  %1702 = xor i64 %1685, %1701
  store i64 %1702, ptr %122, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %123) #5
  %1703 = load ptr, ptr %4, align 8, !tbaa !5
  %1704 = load i32, ptr %114, align 4, !tbaa !9
  %1705 = mul i32 5, %1704
  %1706 = add i32 3, %1705
  %1707 = zext i32 %1706 to i64
  %1708 = getelementptr inbounds i64, ptr %1703, i64 %1707
  %1709 = load i64, ptr %1708, align 8, !tbaa !12
  %1710 = load ptr, ptr %4, align 8, !tbaa !5
  %1711 = load i32, ptr %114, align 4, !tbaa !9
  %1712 = mul i32 5, %1711
  %1713 = add i32 4, %1712
  %1714 = zext i32 %1713 to i64
  %1715 = getelementptr inbounds i64, ptr %1710, i64 %1714
  %1716 = load i64, ptr %1715, align 8, !tbaa !12
  %1717 = xor i64 %1716, -1
  %1718 = load ptr, ptr %4, align 8, !tbaa !5
  %1719 = load i32, ptr %114, align 4, !tbaa !9
  %1720 = mul i32 5, %1719
  %1721 = add i32 0, %1720
  %1722 = zext i32 %1721 to i64
  %1723 = getelementptr inbounds i64, ptr %1718, i64 %1722
  %1724 = load i64, ptr %1723, align 8, !tbaa !12
  %1725 = and i64 %1717, %1724
  %1726 = xor i64 %1709, %1725
  store i64 %1726, ptr %123, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %124) #5
  %1727 = load ptr, ptr %4, align 8, !tbaa !5
  %1728 = load i32, ptr %114, align 4, !tbaa !9
  %1729 = mul i32 5, %1728
  %1730 = add i32 4, %1729
  %1731 = zext i32 %1730 to i64
  %1732 = getelementptr inbounds i64, ptr %1727, i64 %1731
  %1733 = load i64, ptr %1732, align 8, !tbaa !12
  %1734 = load ptr, ptr %4, align 8, !tbaa !5
  %1735 = load i32, ptr %114, align 4, !tbaa !9
  %1736 = mul i32 5, %1735
  %1737 = add i32 0, %1736
  %1738 = zext i32 %1737 to i64
  %1739 = getelementptr inbounds i64, ptr %1734, i64 %1738
  %1740 = load i64, ptr %1739, align 8, !tbaa !12
  %1741 = xor i64 %1740, -1
  %1742 = load ptr, ptr %4, align 8, !tbaa !5
  %1743 = load i32, ptr %114, align 4, !tbaa !9
  %1744 = mul i32 5, %1743
  %1745 = add i32 1, %1744
  %1746 = zext i32 %1745 to i64
  %1747 = getelementptr inbounds i64, ptr %1742, i64 %1746
  %1748 = load i64, ptr %1747, align 8, !tbaa !12
  %1749 = and i64 %1741, %1748
  %1750 = xor i64 %1733, %1749
  store i64 %1750, ptr %124, align 8, !tbaa !12
  %1751 = load i64, ptr %120, align 8, !tbaa !12
  %1752 = load ptr, ptr %4, align 8, !tbaa !5
  %1753 = load i32, ptr %114, align 4, !tbaa !9
  %1754 = mul i32 5, %1753
  %1755 = add i32 0, %1754
  %1756 = zext i32 %1755 to i64
  %1757 = getelementptr inbounds i64, ptr %1752, i64 %1756
  store i64 %1751, ptr %1757, align 8, !tbaa !12
  %1758 = load i64, ptr %121, align 8, !tbaa !12
  %1759 = load ptr, ptr %4, align 8, !tbaa !5
  %1760 = load i32, ptr %114, align 4, !tbaa !9
  %1761 = mul i32 5, %1760
  %1762 = add i32 1, %1761
  %1763 = zext i32 %1762 to i64
  %1764 = getelementptr inbounds i64, ptr %1759, i64 %1763
  store i64 %1758, ptr %1764, align 8, !tbaa !12
  %1765 = load i64, ptr %122, align 8, !tbaa !12
  %1766 = load ptr, ptr %4, align 8, !tbaa !5
  %1767 = load i32, ptr %114, align 4, !tbaa !9
  %1768 = mul i32 5, %1767
  %1769 = add i32 2, %1768
  %1770 = zext i32 %1769 to i64
  %1771 = getelementptr inbounds i64, ptr %1766, i64 %1770
  store i64 %1765, ptr %1771, align 8, !tbaa !12
  %1772 = load i64, ptr %123, align 8, !tbaa !12
  %1773 = load ptr, ptr %4, align 8, !tbaa !5
  %1774 = load i32, ptr %114, align 4, !tbaa !9
  %1775 = mul i32 5, %1774
  %1776 = add i32 3, %1775
  %1777 = zext i32 %1776 to i64
  %1778 = getelementptr inbounds i64, ptr %1773, i64 %1777
  store i64 %1772, ptr %1778, align 8, !tbaa !12
  %1779 = load i64, ptr %124, align 8, !tbaa !12
  %1780 = load ptr, ptr %4, align 8, !tbaa !5
  %1781 = load i32, ptr %114, align 4, !tbaa !9
  %1782 = mul i32 5, %1781
  %1783 = add i32 4, %1782
  %1784 = zext i32 %1783 to i64
  %1785 = getelementptr inbounds i64, ptr %1780, i64 %1784
  store i64 %1779, ptr %1785, align 8, !tbaa !12
  %1786 = load i32, ptr %114, align 4, !tbaa !9
  %1787 = add i32 %1786, 1
  store i32 %1787, ptr %114, align 4, !tbaa !9
  %1788 = load i32, ptr %114, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %124) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %123) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %122) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %121) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %120) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %125) #5
  %1789 = load ptr, ptr %4, align 8, !tbaa !5
  %1790 = load i32, ptr %114, align 4, !tbaa !9
  %1791 = mul i32 5, %1790
  %1792 = add i32 0, %1791
  %1793 = zext i32 %1792 to i64
  %1794 = getelementptr inbounds i64, ptr %1789, i64 %1793
  %1795 = load i64, ptr %1794, align 8, !tbaa !12
  %1796 = load ptr, ptr %4, align 8, !tbaa !5
  %1797 = load i32, ptr %114, align 4, !tbaa !9
  %1798 = mul i32 5, %1797
  %1799 = add i32 1, %1798
  %1800 = zext i32 %1799 to i64
  %1801 = getelementptr inbounds i64, ptr %1796, i64 %1800
  %1802 = load i64, ptr %1801, align 8, !tbaa !12
  %1803 = xor i64 %1802, -1
  %1804 = load ptr, ptr %4, align 8, !tbaa !5
  %1805 = load i32, ptr %114, align 4, !tbaa !9
  %1806 = mul i32 5, %1805
  %1807 = add i32 2, %1806
  %1808 = zext i32 %1807 to i64
  %1809 = getelementptr inbounds i64, ptr %1804, i64 %1808
  %1810 = load i64, ptr %1809, align 8, !tbaa !12
  %1811 = and i64 %1803, %1810
  %1812 = xor i64 %1795, %1811
  store i64 %1812, ptr %125, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %126) #5
  %1813 = load ptr, ptr %4, align 8, !tbaa !5
  %1814 = load i32, ptr %114, align 4, !tbaa !9
  %1815 = mul i32 5, %1814
  %1816 = add i32 1, %1815
  %1817 = zext i32 %1816 to i64
  %1818 = getelementptr inbounds i64, ptr %1813, i64 %1817
  %1819 = load i64, ptr %1818, align 8, !tbaa !12
  %1820 = load ptr, ptr %4, align 8, !tbaa !5
  %1821 = load i32, ptr %114, align 4, !tbaa !9
  %1822 = mul i32 5, %1821
  %1823 = add i32 2, %1822
  %1824 = zext i32 %1823 to i64
  %1825 = getelementptr inbounds i64, ptr %1820, i64 %1824
  %1826 = load i64, ptr %1825, align 8, !tbaa !12
  %1827 = xor i64 %1826, -1
  %1828 = load ptr, ptr %4, align 8, !tbaa !5
  %1829 = load i32, ptr %114, align 4, !tbaa !9
  %1830 = mul i32 5, %1829
  %1831 = add i32 3, %1830
  %1832 = zext i32 %1831 to i64
  %1833 = getelementptr inbounds i64, ptr %1828, i64 %1832
  %1834 = load i64, ptr %1833, align 8, !tbaa !12
  %1835 = and i64 %1827, %1834
  %1836 = xor i64 %1819, %1835
  store i64 %1836, ptr %126, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %127) #5
  %1837 = load ptr, ptr %4, align 8, !tbaa !5
  %1838 = load i32, ptr %114, align 4, !tbaa !9
  %1839 = mul i32 5, %1838
  %1840 = add i32 2, %1839
  %1841 = zext i32 %1840 to i64
  %1842 = getelementptr inbounds i64, ptr %1837, i64 %1841
  %1843 = load i64, ptr %1842, align 8, !tbaa !12
  %1844 = load ptr, ptr %4, align 8, !tbaa !5
  %1845 = load i32, ptr %114, align 4, !tbaa !9
  %1846 = mul i32 5, %1845
  %1847 = add i32 3, %1846
  %1848 = zext i32 %1847 to i64
  %1849 = getelementptr inbounds i64, ptr %1844, i64 %1848
  %1850 = load i64, ptr %1849, align 8, !tbaa !12
  %1851 = xor i64 %1850, -1
  %1852 = load ptr, ptr %4, align 8, !tbaa !5
  %1853 = load i32, ptr %114, align 4, !tbaa !9
  %1854 = mul i32 5, %1853
  %1855 = add i32 4, %1854
  %1856 = zext i32 %1855 to i64
  %1857 = getelementptr inbounds i64, ptr %1852, i64 %1856
  %1858 = load i64, ptr %1857, align 8, !tbaa !12
  %1859 = and i64 %1851, %1858
  %1860 = xor i64 %1843, %1859
  store i64 %1860, ptr %127, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %128) #5
  %1861 = load ptr, ptr %4, align 8, !tbaa !5
  %1862 = load i32, ptr %114, align 4, !tbaa !9
  %1863 = mul i32 5, %1862
  %1864 = add i32 3, %1863
  %1865 = zext i32 %1864 to i64
  %1866 = getelementptr inbounds i64, ptr %1861, i64 %1865
  %1867 = load i64, ptr %1866, align 8, !tbaa !12
  %1868 = load ptr, ptr %4, align 8, !tbaa !5
  %1869 = load i32, ptr %114, align 4, !tbaa !9
  %1870 = mul i32 5, %1869
  %1871 = add i32 4, %1870
  %1872 = zext i32 %1871 to i64
  %1873 = getelementptr inbounds i64, ptr %1868, i64 %1872
  %1874 = load i64, ptr %1873, align 8, !tbaa !12
  %1875 = xor i64 %1874, -1
  %1876 = load ptr, ptr %4, align 8, !tbaa !5
  %1877 = load i32, ptr %114, align 4, !tbaa !9
  %1878 = mul i32 5, %1877
  %1879 = add i32 0, %1878
  %1880 = zext i32 %1879 to i64
  %1881 = getelementptr inbounds i64, ptr %1876, i64 %1880
  %1882 = load i64, ptr %1881, align 8, !tbaa !12
  %1883 = and i64 %1875, %1882
  %1884 = xor i64 %1867, %1883
  store i64 %1884, ptr %128, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %129) #5
  %1885 = load ptr, ptr %4, align 8, !tbaa !5
  %1886 = load i32, ptr %114, align 4, !tbaa !9
  %1887 = mul i32 5, %1886
  %1888 = add i32 4, %1887
  %1889 = zext i32 %1888 to i64
  %1890 = getelementptr inbounds i64, ptr %1885, i64 %1889
  %1891 = load i64, ptr %1890, align 8, !tbaa !12
  %1892 = load ptr, ptr %4, align 8, !tbaa !5
  %1893 = load i32, ptr %114, align 4, !tbaa !9
  %1894 = mul i32 5, %1893
  %1895 = add i32 0, %1894
  %1896 = zext i32 %1895 to i64
  %1897 = getelementptr inbounds i64, ptr %1892, i64 %1896
  %1898 = load i64, ptr %1897, align 8, !tbaa !12
  %1899 = xor i64 %1898, -1
  %1900 = load ptr, ptr %4, align 8, !tbaa !5
  %1901 = load i32, ptr %114, align 4, !tbaa !9
  %1902 = mul i32 5, %1901
  %1903 = add i32 1, %1902
  %1904 = zext i32 %1903 to i64
  %1905 = getelementptr inbounds i64, ptr %1900, i64 %1904
  %1906 = load i64, ptr %1905, align 8, !tbaa !12
  %1907 = and i64 %1899, %1906
  %1908 = xor i64 %1891, %1907
  store i64 %1908, ptr %129, align 8, !tbaa !12
  %1909 = load i64, ptr %125, align 8, !tbaa !12
  %1910 = load ptr, ptr %4, align 8, !tbaa !5
  %1911 = load i32, ptr %114, align 4, !tbaa !9
  %1912 = mul i32 5, %1911
  %1913 = add i32 0, %1912
  %1914 = zext i32 %1913 to i64
  %1915 = getelementptr inbounds i64, ptr %1910, i64 %1914
  store i64 %1909, ptr %1915, align 8, !tbaa !12
  %1916 = load i64, ptr %126, align 8, !tbaa !12
  %1917 = load ptr, ptr %4, align 8, !tbaa !5
  %1918 = load i32, ptr %114, align 4, !tbaa !9
  %1919 = mul i32 5, %1918
  %1920 = add i32 1, %1919
  %1921 = zext i32 %1920 to i64
  %1922 = getelementptr inbounds i64, ptr %1917, i64 %1921
  store i64 %1916, ptr %1922, align 8, !tbaa !12
  %1923 = load i64, ptr %127, align 8, !tbaa !12
  %1924 = load ptr, ptr %4, align 8, !tbaa !5
  %1925 = load i32, ptr %114, align 4, !tbaa !9
  %1926 = mul i32 5, %1925
  %1927 = add i32 2, %1926
  %1928 = zext i32 %1927 to i64
  %1929 = getelementptr inbounds i64, ptr %1924, i64 %1928
  store i64 %1923, ptr %1929, align 8, !tbaa !12
  %1930 = load i64, ptr %128, align 8, !tbaa !12
  %1931 = load ptr, ptr %4, align 8, !tbaa !5
  %1932 = load i32, ptr %114, align 4, !tbaa !9
  %1933 = mul i32 5, %1932
  %1934 = add i32 3, %1933
  %1935 = zext i32 %1934 to i64
  %1936 = getelementptr inbounds i64, ptr %1931, i64 %1935
  store i64 %1930, ptr %1936, align 8, !tbaa !12
  %1937 = load i64, ptr %129, align 8, !tbaa !12
  %1938 = load ptr, ptr %4, align 8, !tbaa !5
  %1939 = load i32, ptr %114, align 4, !tbaa !9
  %1940 = mul i32 5, %1939
  %1941 = add i32 4, %1940
  %1942 = zext i32 %1941 to i64
  %1943 = getelementptr inbounds i64, ptr %1938, i64 %1942
  store i64 %1937, ptr %1943, align 8, !tbaa !12
  %1944 = load i32, ptr %114, align 4, !tbaa !9
  %1945 = add i32 %1944, 1
  store i32 %1945, ptr %114, align 4, !tbaa !9
  %1946 = load i32, ptr %114, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %129) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %128) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %127) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %126) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %125) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %130) #5
  %1947 = load ptr, ptr %4, align 8, !tbaa !5
  %1948 = load i32, ptr %114, align 4, !tbaa !9
  %1949 = mul i32 5, %1948
  %1950 = add i32 0, %1949
  %1951 = zext i32 %1950 to i64
  %1952 = getelementptr inbounds i64, ptr %1947, i64 %1951
  %1953 = load i64, ptr %1952, align 8, !tbaa !12
  %1954 = load ptr, ptr %4, align 8, !tbaa !5
  %1955 = load i32, ptr %114, align 4, !tbaa !9
  %1956 = mul i32 5, %1955
  %1957 = add i32 1, %1956
  %1958 = zext i32 %1957 to i64
  %1959 = getelementptr inbounds i64, ptr %1954, i64 %1958
  %1960 = load i64, ptr %1959, align 8, !tbaa !12
  %1961 = xor i64 %1960, -1
  %1962 = load ptr, ptr %4, align 8, !tbaa !5
  %1963 = load i32, ptr %114, align 4, !tbaa !9
  %1964 = mul i32 5, %1963
  %1965 = add i32 2, %1964
  %1966 = zext i32 %1965 to i64
  %1967 = getelementptr inbounds i64, ptr %1962, i64 %1966
  %1968 = load i64, ptr %1967, align 8, !tbaa !12
  %1969 = and i64 %1961, %1968
  %1970 = xor i64 %1953, %1969
  store i64 %1970, ptr %130, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %131) #5
  %1971 = load ptr, ptr %4, align 8, !tbaa !5
  %1972 = load i32, ptr %114, align 4, !tbaa !9
  %1973 = mul i32 5, %1972
  %1974 = add i32 1, %1973
  %1975 = zext i32 %1974 to i64
  %1976 = getelementptr inbounds i64, ptr %1971, i64 %1975
  %1977 = load i64, ptr %1976, align 8, !tbaa !12
  %1978 = load ptr, ptr %4, align 8, !tbaa !5
  %1979 = load i32, ptr %114, align 4, !tbaa !9
  %1980 = mul i32 5, %1979
  %1981 = add i32 2, %1980
  %1982 = zext i32 %1981 to i64
  %1983 = getelementptr inbounds i64, ptr %1978, i64 %1982
  %1984 = load i64, ptr %1983, align 8, !tbaa !12
  %1985 = xor i64 %1984, -1
  %1986 = load ptr, ptr %4, align 8, !tbaa !5
  %1987 = load i32, ptr %114, align 4, !tbaa !9
  %1988 = mul i32 5, %1987
  %1989 = add i32 3, %1988
  %1990 = zext i32 %1989 to i64
  %1991 = getelementptr inbounds i64, ptr %1986, i64 %1990
  %1992 = load i64, ptr %1991, align 8, !tbaa !12
  %1993 = and i64 %1985, %1992
  %1994 = xor i64 %1977, %1993
  store i64 %1994, ptr %131, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %132) #5
  %1995 = load ptr, ptr %4, align 8, !tbaa !5
  %1996 = load i32, ptr %114, align 4, !tbaa !9
  %1997 = mul i32 5, %1996
  %1998 = add i32 2, %1997
  %1999 = zext i32 %1998 to i64
  %2000 = getelementptr inbounds i64, ptr %1995, i64 %1999
  %2001 = load i64, ptr %2000, align 8, !tbaa !12
  %2002 = load ptr, ptr %4, align 8, !tbaa !5
  %2003 = load i32, ptr %114, align 4, !tbaa !9
  %2004 = mul i32 5, %2003
  %2005 = add i32 3, %2004
  %2006 = zext i32 %2005 to i64
  %2007 = getelementptr inbounds i64, ptr %2002, i64 %2006
  %2008 = load i64, ptr %2007, align 8, !tbaa !12
  %2009 = xor i64 %2008, -1
  %2010 = load ptr, ptr %4, align 8, !tbaa !5
  %2011 = load i32, ptr %114, align 4, !tbaa !9
  %2012 = mul i32 5, %2011
  %2013 = add i32 4, %2012
  %2014 = zext i32 %2013 to i64
  %2015 = getelementptr inbounds i64, ptr %2010, i64 %2014
  %2016 = load i64, ptr %2015, align 8, !tbaa !12
  %2017 = and i64 %2009, %2016
  %2018 = xor i64 %2001, %2017
  store i64 %2018, ptr %132, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %133) #5
  %2019 = load ptr, ptr %4, align 8, !tbaa !5
  %2020 = load i32, ptr %114, align 4, !tbaa !9
  %2021 = mul i32 5, %2020
  %2022 = add i32 3, %2021
  %2023 = zext i32 %2022 to i64
  %2024 = getelementptr inbounds i64, ptr %2019, i64 %2023
  %2025 = load i64, ptr %2024, align 8, !tbaa !12
  %2026 = load ptr, ptr %4, align 8, !tbaa !5
  %2027 = load i32, ptr %114, align 4, !tbaa !9
  %2028 = mul i32 5, %2027
  %2029 = add i32 4, %2028
  %2030 = zext i32 %2029 to i64
  %2031 = getelementptr inbounds i64, ptr %2026, i64 %2030
  %2032 = load i64, ptr %2031, align 8, !tbaa !12
  %2033 = xor i64 %2032, -1
  %2034 = load ptr, ptr %4, align 8, !tbaa !5
  %2035 = load i32, ptr %114, align 4, !tbaa !9
  %2036 = mul i32 5, %2035
  %2037 = add i32 0, %2036
  %2038 = zext i32 %2037 to i64
  %2039 = getelementptr inbounds i64, ptr %2034, i64 %2038
  %2040 = load i64, ptr %2039, align 8, !tbaa !12
  %2041 = and i64 %2033, %2040
  %2042 = xor i64 %2025, %2041
  store i64 %2042, ptr %133, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %134) #5
  %2043 = load ptr, ptr %4, align 8, !tbaa !5
  %2044 = load i32, ptr %114, align 4, !tbaa !9
  %2045 = mul i32 5, %2044
  %2046 = add i32 4, %2045
  %2047 = zext i32 %2046 to i64
  %2048 = getelementptr inbounds i64, ptr %2043, i64 %2047
  %2049 = load i64, ptr %2048, align 8, !tbaa !12
  %2050 = load ptr, ptr %4, align 8, !tbaa !5
  %2051 = load i32, ptr %114, align 4, !tbaa !9
  %2052 = mul i32 5, %2051
  %2053 = add i32 0, %2052
  %2054 = zext i32 %2053 to i64
  %2055 = getelementptr inbounds i64, ptr %2050, i64 %2054
  %2056 = load i64, ptr %2055, align 8, !tbaa !12
  %2057 = xor i64 %2056, -1
  %2058 = load ptr, ptr %4, align 8, !tbaa !5
  %2059 = load i32, ptr %114, align 4, !tbaa !9
  %2060 = mul i32 5, %2059
  %2061 = add i32 1, %2060
  %2062 = zext i32 %2061 to i64
  %2063 = getelementptr inbounds i64, ptr %2058, i64 %2062
  %2064 = load i64, ptr %2063, align 8, !tbaa !12
  %2065 = and i64 %2057, %2064
  %2066 = xor i64 %2049, %2065
  store i64 %2066, ptr %134, align 8, !tbaa !12
  %2067 = load i64, ptr %130, align 8, !tbaa !12
  %2068 = load ptr, ptr %4, align 8, !tbaa !5
  %2069 = load i32, ptr %114, align 4, !tbaa !9
  %2070 = mul i32 5, %2069
  %2071 = add i32 0, %2070
  %2072 = zext i32 %2071 to i64
  %2073 = getelementptr inbounds i64, ptr %2068, i64 %2072
  store i64 %2067, ptr %2073, align 8, !tbaa !12
  %2074 = load i64, ptr %131, align 8, !tbaa !12
  %2075 = load ptr, ptr %4, align 8, !tbaa !5
  %2076 = load i32, ptr %114, align 4, !tbaa !9
  %2077 = mul i32 5, %2076
  %2078 = add i32 1, %2077
  %2079 = zext i32 %2078 to i64
  %2080 = getelementptr inbounds i64, ptr %2075, i64 %2079
  store i64 %2074, ptr %2080, align 8, !tbaa !12
  %2081 = load i64, ptr %132, align 8, !tbaa !12
  %2082 = load ptr, ptr %4, align 8, !tbaa !5
  %2083 = load i32, ptr %114, align 4, !tbaa !9
  %2084 = mul i32 5, %2083
  %2085 = add i32 2, %2084
  %2086 = zext i32 %2085 to i64
  %2087 = getelementptr inbounds i64, ptr %2082, i64 %2086
  store i64 %2081, ptr %2087, align 8, !tbaa !12
  %2088 = load i64, ptr %133, align 8, !tbaa !12
  %2089 = load ptr, ptr %4, align 8, !tbaa !5
  %2090 = load i32, ptr %114, align 4, !tbaa !9
  %2091 = mul i32 5, %2090
  %2092 = add i32 3, %2091
  %2093 = zext i32 %2092 to i64
  %2094 = getelementptr inbounds i64, ptr %2089, i64 %2093
  store i64 %2088, ptr %2094, align 8, !tbaa !12
  %2095 = load i64, ptr %134, align 8, !tbaa !12
  %2096 = load ptr, ptr %4, align 8, !tbaa !5
  %2097 = load i32, ptr %114, align 4, !tbaa !9
  %2098 = mul i32 5, %2097
  %2099 = add i32 4, %2098
  %2100 = zext i32 %2099 to i64
  %2101 = getelementptr inbounds i64, ptr %2096, i64 %2100
  store i64 %2095, ptr %2101, align 8, !tbaa !12
  %2102 = load i32, ptr %114, align 4, !tbaa !9
  %2103 = add i32 %2102, 1
  store i32 %2103, ptr %114, align 4, !tbaa !9
  %2104 = load i32, ptr %114, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %134) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %133) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %132) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %131) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %130) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %135) #5
  %2105 = load ptr, ptr %4, align 8, !tbaa !5
  %2106 = load i32, ptr %114, align 4, !tbaa !9
  %2107 = mul i32 5, %2106
  %2108 = add i32 0, %2107
  %2109 = zext i32 %2108 to i64
  %2110 = getelementptr inbounds i64, ptr %2105, i64 %2109
  %2111 = load i64, ptr %2110, align 8, !tbaa !12
  %2112 = load ptr, ptr %4, align 8, !tbaa !5
  %2113 = load i32, ptr %114, align 4, !tbaa !9
  %2114 = mul i32 5, %2113
  %2115 = add i32 1, %2114
  %2116 = zext i32 %2115 to i64
  %2117 = getelementptr inbounds i64, ptr %2112, i64 %2116
  %2118 = load i64, ptr %2117, align 8, !tbaa !12
  %2119 = xor i64 %2118, -1
  %2120 = load ptr, ptr %4, align 8, !tbaa !5
  %2121 = load i32, ptr %114, align 4, !tbaa !9
  %2122 = mul i32 5, %2121
  %2123 = add i32 2, %2122
  %2124 = zext i32 %2123 to i64
  %2125 = getelementptr inbounds i64, ptr %2120, i64 %2124
  %2126 = load i64, ptr %2125, align 8, !tbaa !12
  %2127 = and i64 %2119, %2126
  %2128 = xor i64 %2111, %2127
  store i64 %2128, ptr %135, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %136) #5
  %2129 = load ptr, ptr %4, align 8, !tbaa !5
  %2130 = load i32, ptr %114, align 4, !tbaa !9
  %2131 = mul i32 5, %2130
  %2132 = add i32 1, %2131
  %2133 = zext i32 %2132 to i64
  %2134 = getelementptr inbounds i64, ptr %2129, i64 %2133
  %2135 = load i64, ptr %2134, align 8, !tbaa !12
  %2136 = load ptr, ptr %4, align 8, !tbaa !5
  %2137 = load i32, ptr %114, align 4, !tbaa !9
  %2138 = mul i32 5, %2137
  %2139 = add i32 2, %2138
  %2140 = zext i32 %2139 to i64
  %2141 = getelementptr inbounds i64, ptr %2136, i64 %2140
  %2142 = load i64, ptr %2141, align 8, !tbaa !12
  %2143 = xor i64 %2142, -1
  %2144 = load ptr, ptr %4, align 8, !tbaa !5
  %2145 = load i32, ptr %114, align 4, !tbaa !9
  %2146 = mul i32 5, %2145
  %2147 = add i32 3, %2146
  %2148 = zext i32 %2147 to i64
  %2149 = getelementptr inbounds i64, ptr %2144, i64 %2148
  %2150 = load i64, ptr %2149, align 8, !tbaa !12
  %2151 = and i64 %2143, %2150
  %2152 = xor i64 %2135, %2151
  store i64 %2152, ptr %136, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %137) #5
  %2153 = load ptr, ptr %4, align 8, !tbaa !5
  %2154 = load i32, ptr %114, align 4, !tbaa !9
  %2155 = mul i32 5, %2154
  %2156 = add i32 2, %2155
  %2157 = zext i32 %2156 to i64
  %2158 = getelementptr inbounds i64, ptr %2153, i64 %2157
  %2159 = load i64, ptr %2158, align 8, !tbaa !12
  %2160 = load ptr, ptr %4, align 8, !tbaa !5
  %2161 = load i32, ptr %114, align 4, !tbaa !9
  %2162 = mul i32 5, %2161
  %2163 = add i32 3, %2162
  %2164 = zext i32 %2163 to i64
  %2165 = getelementptr inbounds i64, ptr %2160, i64 %2164
  %2166 = load i64, ptr %2165, align 8, !tbaa !12
  %2167 = xor i64 %2166, -1
  %2168 = load ptr, ptr %4, align 8, !tbaa !5
  %2169 = load i32, ptr %114, align 4, !tbaa !9
  %2170 = mul i32 5, %2169
  %2171 = add i32 4, %2170
  %2172 = zext i32 %2171 to i64
  %2173 = getelementptr inbounds i64, ptr %2168, i64 %2172
  %2174 = load i64, ptr %2173, align 8, !tbaa !12
  %2175 = and i64 %2167, %2174
  %2176 = xor i64 %2159, %2175
  store i64 %2176, ptr %137, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %138) #5
  %2177 = load ptr, ptr %4, align 8, !tbaa !5
  %2178 = load i32, ptr %114, align 4, !tbaa !9
  %2179 = mul i32 5, %2178
  %2180 = add i32 3, %2179
  %2181 = zext i32 %2180 to i64
  %2182 = getelementptr inbounds i64, ptr %2177, i64 %2181
  %2183 = load i64, ptr %2182, align 8, !tbaa !12
  %2184 = load ptr, ptr %4, align 8, !tbaa !5
  %2185 = load i32, ptr %114, align 4, !tbaa !9
  %2186 = mul i32 5, %2185
  %2187 = add i32 4, %2186
  %2188 = zext i32 %2187 to i64
  %2189 = getelementptr inbounds i64, ptr %2184, i64 %2188
  %2190 = load i64, ptr %2189, align 8, !tbaa !12
  %2191 = xor i64 %2190, -1
  %2192 = load ptr, ptr %4, align 8, !tbaa !5
  %2193 = load i32, ptr %114, align 4, !tbaa !9
  %2194 = mul i32 5, %2193
  %2195 = add i32 0, %2194
  %2196 = zext i32 %2195 to i64
  %2197 = getelementptr inbounds i64, ptr %2192, i64 %2196
  %2198 = load i64, ptr %2197, align 8, !tbaa !12
  %2199 = and i64 %2191, %2198
  %2200 = xor i64 %2183, %2199
  store i64 %2200, ptr %138, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr %139) #5
  %2201 = load ptr, ptr %4, align 8, !tbaa !5
  %2202 = load i32, ptr %114, align 4, !tbaa !9
  %2203 = mul i32 5, %2202
  %2204 = add i32 4, %2203
  %2205 = zext i32 %2204 to i64
  %2206 = getelementptr inbounds i64, ptr %2201, i64 %2205
  %2207 = load i64, ptr %2206, align 8, !tbaa !12
  %2208 = load ptr, ptr %4, align 8, !tbaa !5
  %2209 = load i32, ptr %114, align 4, !tbaa !9
  %2210 = mul i32 5, %2209
  %2211 = add i32 0, %2210
  %2212 = zext i32 %2211 to i64
  %2213 = getelementptr inbounds i64, ptr %2208, i64 %2212
  %2214 = load i64, ptr %2213, align 8, !tbaa !12
  %2215 = xor i64 %2214, -1
  %2216 = load ptr, ptr %4, align 8, !tbaa !5
  %2217 = load i32, ptr %114, align 4, !tbaa !9
  %2218 = mul i32 5, %2217
  %2219 = add i32 1, %2218
  %2220 = zext i32 %2219 to i64
  %2221 = getelementptr inbounds i64, ptr %2216, i64 %2220
  %2222 = load i64, ptr %2221, align 8, !tbaa !12
  %2223 = and i64 %2215, %2222
  %2224 = xor i64 %2207, %2223
  store i64 %2224, ptr %139, align 8, !tbaa !12
  %2225 = load i64, ptr %135, align 8, !tbaa !12
  %2226 = load ptr, ptr %4, align 8, !tbaa !5
  %2227 = load i32, ptr %114, align 4, !tbaa !9
  %2228 = mul i32 5, %2227
  %2229 = add i32 0, %2228
  %2230 = zext i32 %2229 to i64
  %2231 = getelementptr inbounds i64, ptr %2226, i64 %2230
  store i64 %2225, ptr %2231, align 8, !tbaa !12
  %2232 = load i64, ptr %136, align 8, !tbaa !12
  %2233 = load ptr, ptr %4, align 8, !tbaa !5
  %2234 = load i32, ptr %114, align 4, !tbaa !9
  %2235 = mul i32 5, %2234
  %2236 = add i32 1, %2235
  %2237 = zext i32 %2236 to i64
  %2238 = getelementptr inbounds i64, ptr %2233, i64 %2237
  store i64 %2232, ptr %2238, align 8, !tbaa !12
  %2239 = load i64, ptr %137, align 8, !tbaa !12
  %2240 = load ptr, ptr %4, align 8, !tbaa !5
  %2241 = load i32, ptr %114, align 4, !tbaa !9
  %2242 = mul i32 5, %2241
  %2243 = add i32 2, %2242
  %2244 = zext i32 %2243 to i64
  %2245 = getelementptr inbounds i64, ptr %2240, i64 %2244
  store i64 %2239, ptr %2245, align 8, !tbaa !12
  %2246 = load i64, ptr %138, align 8, !tbaa !12
  %2247 = load ptr, ptr %4, align 8, !tbaa !5
  %2248 = load i32, ptr %114, align 4, !tbaa !9
  %2249 = mul i32 5, %2248
  %2250 = add i32 3, %2249
  %2251 = zext i32 %2250 to i64
  %2252 = getelementptr inbounds i64, ptr %2247, i64 %2251
  store i64 %2246, ptr %2252, align 8, !tbaa !12
  %2253 = load i64, ptr %139, align 8, !tbaa !12
  %2254 = load ptr, ptr %4, align 8, !tbaa !5
  %2255 = load i32, ptr %114, align 4, !tbaa !9
  %2256 = mul i32 5, %2255
  %2257 = add i32 4, %2256
  %2258 = zext i32 %2257 to i64
  %2259 = getelementptr inbounds i64, ptr %2254, i64 %2258
  store i64 %2253, ptr %2259, align 8, !tbaa !12
  %2260 = load i32, ptr %114, align 4, !tbaa !9
  %2261 = add i32 %2260, 1
  store i32 %2261, ptr %114, align 4, !tbaa !9
  %2262 = load i32, ptr %114, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %139) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %138) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %137) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %136) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %135) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %114) #5
  br label %2263

2263:                                             ; preds = %1472
  br label %2264

2264:                                             ; preds = %2263
  call void @llvm.lifetime.start.p0(i64 8, ptr %140) #5
  %2265 = load i32, ptr %87, align 4, !tbaa !9
  %2266 = zext i32 %2265 to i64
  %2267 = getelementptr inbounds [24 x i64], ptr @Hacl_Impl_SHA3_Vec_keccak_rndc, i64 0, i64 %2266
  %2268 = load i64, ptr %2267, align 8, !tbaa !12
  store i64 %2268, ptr %140, align 8, !tbaa !12
  %2269 = load ptr, ptr %4, align 8, !tbaa !5
  %2270 = getelementptr inbounds i64, ptr %2269, i64 0
  %2271 = load i64, ptr %2270, align 8, !tbaa !12
  %2272 = load i64, ptr %140, align 8, !tbaa !12
  %2273 = xor i64 %2271, %2272
  %2274 = load ptr, ptr %4, align 8, !tbaa !5
  %2275 = getelementptr inbounds i64, ptr %2274, i64 0
  store i64 %2273, ptr %2275, align 8, !tbaa !12
  call void @llvm.lifetime.end.p0(i64 8, ptr %140) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %108) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %107) #5
  call void @llvm.lifetime.end.p0(i64 40, ptr %89) #5
  br label %2276

2276:                                             ; preds = %2264
  %2277 = load i32, ptr %87, align 4, !tbaa !9
  %2278 = add i32 %2277, 1
  store i32 %2278, ptr %87, align 4, !tbaa !9
  br label %599, !llvm.loop !18

2279:                                             ; preds = %602
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %84) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %83) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %82) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %81) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %80) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %79) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %78) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %77) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %76) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %70) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %68) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #5
  call void @llvm.lifetime.end.p0(i64 256, ptr %52) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #5
  call void @llvm.lifetime.end.p0(i64 256, ptr %49) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 256, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 256, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  ret void
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #2 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { inlinehint 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 #4 = { 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 #5 = { nounwind }

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

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


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

@Hacl_Impl_SHA3_Vec_keccak_rotc = external dso_local local_unnamed_addr constant [24 x i32], align 16
@Hacl_Impl_SHA3_Vec_keccak_piln = external dso_local local_unnamed_addr constant [24 x i32], align 16
@Hacl_Impl_SHA3_Vec_keccak_rndc = external dso_local local_unnamed_addr constant [24 x i64], align 16

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

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @__uint64_identity(i64 noundef) local_unnamed_addr #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @load64(ptr noundef) local_unnamed_addr #3

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

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_Hash_SHA3_Scalar_shake128_absorb_final(ptr noundef %0, ptr nocapture noundef readonly %1, i32 noundef %2) local_unnamed_addr #4 {
.preheader:
  %3 = alloca [256 x i8], align 16
  %4 = alloca [256 x i8], align 16
  %5 = urem i32 %2, 168
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %3) #6
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(256) %3, i8 0, i64 256, i1 false)
  %6 = zext i32 %2 to i64
  %7 = getelementptr inbounds i8, ptr %1, i64 %6
  %8 = zext nneg i32 %5 to i64
  %9 = sub nsw i64 0, %8
  %10 = getelementptr inbounds i8, ptr %7, i64 %9
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %3, ptr align 1 %10, i64 %8, i1 false)
  %11 = getelementptr inbounds i8, ptr %3, i64 %8
  store i8 31, ptr %11, align 1, !tbaa !5
  %12 = call i64 @load64(ptr noundef nonnull %3)
  %13 = call i64 @__uint64_identity(i64 noundef %12)
  %14 = getelementptr inbounds i8, ptr %3, i64 8
  %15 = call i64 @load64(ptr noundef nonnull %14)
  %16 = call i64 @__uint64_identity(i64 noundef %15)
  %17 = getelementptr inbounds i8, ptr %3, i64 16
  %18 = call i64 @load64(ptr noundef nonnull %17)
  %19 = call i64 @__uint64_identity(i64 noundef %18)
  %20 = getelementptr inbounds i8, ptr %3, i64 24
  %21 = call i64 @load64(ptr noundef nonnull %20)
  %22 = call i64 @__uint64_identity(i64 noundef %21)
  %23 = getelementptr inbounds i8, ptr %3, i64 32
  %24 = call i64 @load64(ptr noundef nonnull %23)
  %25 = call i64 @__uint64_identity(i64 noundef %24)
  %26 = getelementptr inbounds i8, ptr %3, i64 40
  %27 = call i64 @load64(ptr noundef nonnull %26)
  %28 = call i64 @__uint64_identity(i64 noundef %27)
  %29 = getelementptr inbounds i8, ptr %3, i64 48
  %30 = call i64 @load64(ptr noundef nonnull %29)
  %31 = call i64 @__uint64_identity(i64 noundef %30)
  %32 = getelementptr inbounds i8, ptr %3, i64 56
  %33 = call i64 @load64(ptr noundef nonnull %32)
  %34 = call i64 @__uint64_identity(i64 noundef %33)
  %35 = getelementptr inbounds i8, ptr %3, i64 64
  %36 = call i64 @load64(ptr noundef nonnull %35)
  %37 = call i64 @__uint64_identity(i64 noundef %36)
  %38 = getelementptr inbounds i8, ptr %3, i64 72
  %39 = call i64 @load64(ptr noundef nonnull %38)
  %40 = call i64 @__uint64_identity(i64 noundef %39)
  %41 = getelementptr inbounds i8, ptr %3, i64 80
  %42 = call i64 @load64(ptr noundef nonnull %41)
  %43 = call i64 @__uint64_identity(i64 noundef %42)
  %44 = getelementptr inbounds i8, ptr %3, i64 88
  %45 = call i64 @load64(ptr noundef nonnull %44)
  %46 = call i64 @__uint64_identity(i64 noundef %45)
  %47 = getelementptr inbounds i8, ptr %3, i64 96
  %48 = call i64 @load64(ptr noundef nonnull %47)
  %49 = call i64 @__uint64_identity(i64 noundef %48)
  %50 = getelementptr inbounds i8, ptr %3, i64 104
  %51 = call i64 @load64(ptr noundef nonnull %50)
  %52 = call i64 @__uint64_identity(i64 noundef %51)
  %53 = getelementptr inbounds i8, ptr %3, i64 112
  %54 = call i64 @load64(ptr noundef nonnull %53)
  %55 = call i64 @__uint64_identity(i64 noundef %54)
  %56 = getelementptr inbounds i8, ptr %3, i64 120
  %57 = call i64 @load64(ptr noundef nonnull %56)
  %58 = call i64 @__uint64_identity(i64 noundef %57)
  %59 = getelementptr inbounds i8, ptr %3, i64 128
  %60 = call i64 @load64(ptr noundef nonnull %59)
  %61 = call i64 @__uint64_identity(i64 noundef %60)
  %62 = getelementptr inbounds i8, ptr %3, i64 136
  %63 = call i64 @load64(ptr noundef nonnull %62)
  %64 = call i64 @__uint64_identity(i64 noundef %63)
  %65 = getelementptr inbounds i8, ptr %3, i64 144
  %66 = call i64 @load64(ptr noundef nonnull %65)
  %67 = call i64 @__uint64_identity(i64 noundef %66)
  %68 = getelementptr inbounds i8, ptr %3, i64 152
  %69 = call i64 @load64(ptr noundef nonnull %68)
  %70 = call i64 @__uint64_identity(i64 noundef %69)
  %71 = getelementptr inbounds i8, ptr %3, i64 160
  %72 = call i64 @load64(ptr noundef nonnull %71)
  %73 = call i64 @__uint64_identity(i64 noundef %72)
  %74 = getelementptr inbounds i8, ptr %3, i64 168
  %75 = call i64 @load64(ptr noundef nonnull %74)
  %76 = call i64 @__uint64_identity(i64 noundef %75)
  %77 = getelementptr inbounds i8, ptr %3, i64 176
  %78 = call i64 @load64(ptr noundef nonnull %77)
  %79 = call i64 @__uint64_identity(i64 noundef %78)
  %80 = getelementptr inbounds i8, ptr %3, i64 184
  %81 = call i64 @load64(ptr noundef nonnull %80)
  %82 = call i64 @__uint64_identity(i64 noundef %81)
  %83 = getelementptr inbounds i8, ptr %3, i64 192
  %84 = call i64 @load64(ptr noundef nonnull %83)
  %85 = call i64 @__uint64_identity(i64 noundef %84)
  %86 = getelementptr inbounds i8, ptr %3, i64 200
  %87 = call i64 @load64(ptr noundef nonnull %86)
  %88 = call i64 @__uint64_identity(i64 noundef %87)
  %89 = getelementptr inbounds i8, ptr %3, i64 208
  %90 = call i64 @load64(ptr noundef nonnull %89)
  %91 = call i64 @__uint64_identity(i64 noundef %90)
  %92 = getelementptr inbounds i8, ptr %3, i64 216
  %93 = call i64 @load64(ptr noundef nonnull %92)
  %94 = call i64 @__uint64_identity(i64 noundef %93)
  %95 = getelementptr inbounds i8, ptr %3, i64 224
  %96 = call i64 @load64(ptr noundef nonnull %95)
  %97 = call i64 @__uint64_identity(i64 noundef %96)
  %98 = getelementptr inbounds i8, ptr %3, i64 232
  %99 = call i64 @load64(ptr noundef nonnull %98)
  %100 = call i64 @__uint64_identity(i64 noundef %99)
  %101 = getelementptr inbounds i8, ptr %3, i64 240
  %102 = call i64 @load64(ptr noundef nonnull %101)
  %103 = call i64 @__uint64_identity(i64 noundef %102)
  %104 = getelementptr inbounds i8, ptr %3, i64 248
  %105 = call i64 @load64(ptr noundef nonnull %104)
  %106 = call i64 @__uint64_identity(i64 noundef %105)
  %107 = load i64, ptr %0, align 8, !tbaa !8
  %108 = xor i64 %13, %107
  store i64 %108, ptr %0, align 8, !tbaa !8
  %109 = getelementptr inbounds i8, ptr %0, i64 8
  %110 = load i64, ptr %109, align 8, !tbaa !8
  %111 = xor i64 %16, %110
  store i64 %111, ptr %109, align 8, !tbaa !8
  %112 = getelementptr inbounds i8, ptr %0, i64 16
  %113 = load i64, ptr %112, align 8, !tbaa !8
  %114 = xor i64 %19, %113
  store i64 %114, ptr %112, align 8, !tbaa !8
  %115 = getelementptr inbounds i8, ptr %0, i64 24
  %116 = load i64, ptr %115, align 8, !tbaa !8
  %117 = xor i64 %22, %116
  store i64 %117, ptr %115, align 8, !tbaa !8
  %118 = getelementptr inbounds i8, ptr %0, i64 32
  %119 = load i64, ptr %118, align 8, !tbaa !8
  %120 = xor i64 %25, %119
  store i64 %120, ptr %118, align 8, !tbaa !8
  %121 = getelementptr inbounds i8, ptr %0, i64 40
  %122 = load i64, ptr %121, align 8, !tbaa !8
  %123 = xor i64 %28, %122
  store i64 %123, ptr %121, align 8, !tbaa !8
  %124 = getelementptr inbounds i8, ptr %0, i64 48
  %125 = load i64, ptr %124, align 8, !tbaa !8
  %126 = xor i64 %31, %125
  store i64 %126, ptr %124, align 8, !tbaa !8
  %127 = getelementptr inbounds i8, ptr %0, i64 56
  %128 = load i64, ptr %127, align 8, !tbaa !8
  %129 = xor i64 %34, %128
  store i64 %129, ptr %127, align 8, !tbaa !8
  %130 = getelementptr inbounds i8, ptr %0, i64 64
  %131 = load i64, ptr %130, align 8, !tbaa !8
  %132 = xor i64 %37, %131
  store i64 %132, ptr %130, align 8, !tbaa !8
  %133 = getelementptr inbounds i8, ptr %0, i64 72
  %134 = load i64, ptr %133, align 8, !tbaa !8
  %135 = xor i64 %40, %134
  store i64 %135, ptr %133, align 8, !tbaa !8
  %136 = getelementptr inbounds i8, ptr %0, i64 80
  %137 = load i64, ptr %136, align 8, !tbaa !8
  %138 = xor i64 %43, %137
  store i64 %138, ptr %136, align 8, !tbaa !8
  %139 = getelementptr inbounds i8, ptr %0, i64 88
  %140 = load i64, ptr %139, align 8, !tbaa !8
  %141 = xor i64 %46, %140
  store i64 %141, ptr %139, align 8, !tbaa !8
  %142 = getelementptr inbounds i8, ptr %0, i64 96
  %143 = load i64, ptr %142, align 8, !tbaa !8
  %144 = xor i64 %49, %143
  store i64 %144, ptr %142, align 8, !tbaa !8
  %145 = getelementptr inbounds i8, ptr %0, i64 104
  %146 = load i64, ptr %145, align 8, !tbaa !8
  %147 = xor i64 %52, %146
  store i64 %147, ptr %145, align 8, !tbaa !8
  %148 = getelementptr inbounds i8, ptr %0, i64 112
  %149 = load i64, ptr %148, align 8, !tbaa !8
  %150 = xor i64 %55, %149
  store i64 %150, ptr %148, align 8, !tbaa !8
  %151 = getelementptr inbounds i8, ptr %0, i64 120
  %152 = load i64, ptr %151, align 8, !tbaa !8
  %153 = xor i64 %58, %152
  store i64 %153, ptr %151, align 8, !tbaa !8
  %154 = getelementptr inbounds i8, ptr %0, i64 128
  %155 = load i64, ptr %154, align 8, !tbaa !8
  %156 = xor i64 %61, %155
  store i64 %156, ptr %154, align 8, !tbaa !8
  %157 = getelementptr inbounds i8, ptr %0, i64 136
  %158 = load i64, ptr %157, align 8, !tbaa !8
  %159 = xor i64 %64, %158
  store i64 %159, ptr %157, align 8, !tbaa !8
  %160 = getelementptr inbounds i8, ptr %0, i64 144
  %161 = load i64, ptr %160, align 8, !tbaa !8
  %162 = xor i64 %67, %161
  store i64 %162, ptr %160, align 8, !tbaa !8
  %163 = getelementptr inbounds i8, ptr %0, i64 152
  %164 = load i64, ptr %163, align 8, !tbaa !8
  %165 = xor i64 %70, %164
  store i64 %165, ptr %163, align 8, !tbaa !8
  %166 = getelementptr inbounds i8, ptr %0, i64 160
  %167 = load i64, ptr %166, align 8, !tbaa !8
  %168 = xor i64 %73, %167
  store i64 %168, ptr %166, align 8, !tbaa !8
  %169 = getelementptr inbounds i8, ptr %0, i64 168
  %170 = load i64, ptr %169, align 8, !tbaa !8
  %171 = xor i64 %76, %170
  store i64 %171, ptr %169, align 8, !tbaa !8
  %172 = getelementptr inbounds i8, ptr %0, i64 176
  %173 = load i64, ptr %172, align 8, !tbaa !8
  %174 = xor i64 %79, %173
  store i64 %174, ptr %172, align 8, !tbaa !8
  %175 = getelementptr inbounds i8, ptr %0, i64 184
  %176 = load i64, ptr %175, align 8, !tbaa !8
  %177 = xor i64 %82, %176
  store i64 %177, ptr %175, align 8, !tbaa !8
  %178 = getelementptr inbounds i8, ptr %0, i64 192
  %179 = load i64, ptr %178, align 8, !tbaa !8
  %180 = xor i64 %85, %179
  store i64 %180, ptr %178, align 8, !tbaa !8
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %4) #6
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(256) %4, i8 0, i64 256, i1 false)
  %181 = getelementptr inbounds i8, ptr %4, i64 167
  store i8 -128, ptr %181, align 1, !tbaa !5
  %182 = call i64 @load64(ptr noundef nonnull %4)
  %183 = call i64 @__uint64_identity(i64 noundef %182)
  %184 = getelementptr inbounds i8, ptr %4, i64 8
  %185 = call i64 @load64(ptr noundef nonnull %184)
  %186 = call i64 @__uint64_identity(i64 noundef %185)
  %187 = getelementptr inbounds i8, ptr %4, i64 16
  %188 = call i64 @load64(ptr noundef nonnull %187)
  %189 = call i64 @__uint64_identity(i64 noundef %188)
  %190 = getelementptr inbounds i8, ptr %4, i64 24
  %191 = call i64 @load64(ptr noundef nonnull %190)
  %192 = call i64 @__uint64_identity(i64 noundef %191)
  %193 = getelementptr inbounds i8, ptr %4, i64 32
  %194 = call i64 @load64(ptr noundef nonnull %193)
  %195 = call i64 @__uint64_identity(i64 noundef %194)
  %196 = getelementptr inbounds i8, ptr %4, i64 40
  %197 = call i64 @load64(ptr noundef nonnull %196)
  %198 = call i64 @__uint64_identity(i64 noundef %197)
  %199 = getelementptr inbounds i8, ptr %4, i64 48
  %200 = call i64 @load64(ptr noundef nonnull %199)
  %201 = call i64 @__uint64_identity(i64 noundef %200)
  %202 = getelementptr inbounds i8, ptr %4, i64 56
  %203 = call i64 @load64(ptr noundef nonnull %202)
  %204 = call i64 @__uint64_identity(i64 noundef %203)
  %205 = getelementptr inbounds i8, ptr %4, i64 64
  %206 = call i64 @load64(ptr noundef nonnull %205)
  %207 = call i64 @__uint64_identity(i64 noundef %206)
  %208 = getelementptr inbounds i8, ptr %4, i64 72
  %209 = call i64 @load64(ptr noundef nonnull %208)
  %210 = call i64 @__uint64_identity(i64 noundef %209)
  %211 = getelementptr inbounds i8, ptr %4, i64 80
  %212 = call i64 @load64(ptr noundef nonnull %211)
  %213 = call i64 @__uint64_identity(i64 noundef %212)
  %214 = getelementptr inbounds i8, ptr %4, i64 88
  %215 = call i64 @load64(ptr noundef nonnull %214)
  %216 = call i64 @__uint64_identity(i64 noundef %215)
  %217 = getelementptr inbounds i8, ptr %4, i64 96
  %218 = call i64 @load64(ptr noundef nonnull %217)
  %219 = call i64 @__uint64_identity(i64 noundef %218)
  %220 = getelementptr inbounds i8, ptr %4, i64 104
  %221 = call i64 @load64(ptr noundef nonnull %220)
  %222 = call i64 @__uint64_identity(i64 noundef %221)
  %223 = getelementptr inbounds i8, ptr %4, i64 112
  %224 = call i64 @load64(ptr noundef nonnull %223)
  %225 = call i64 @__uint64_identity(i64 noundef %224)
  %226 = getelementptr inbounds i8, ptr %4, i64 120
  %227 = call i64 @load64(ptr noundef nonnull %226)
  %228 = call i64 @__uint64_identity(i64 noundef %227)
  %229 = getelementptr inbounds i8, ptr %4, i64 128
  %230 = call i64 @load64(ptr noundef nonnull %229)
  %231 = call i64 @__uint64_identity(i64 noundef %230)
  %232 = getelementptr inbounds i8, ptr %4, i64 136
  %233 = call i64 @load64(ptr noundef nonnull %232)
  %234 = call i64 @__uint64_identity(i64 noundef %233)
  %235 = getelementptr inbounds i8, ptr %4, i64 144
  %236 = call i64 @load64(ptr noundef nonnull %235)
  %237 = call i64 @__uint64_identity(i64 noundef %236)
  %238 = getelementptr inbounds i8, ptr %4, i64 152
  %239 = call i64 @load64(ptr noundef nonnull %238)
  %240 = call i64 @__uint64_identity(i64 noundef %239)
  %241 = getelementptr inbounds i8, ptr %4, i64 160
  %242 = call i64 @load64(ptr noundef nonnull %241)
  %243 = call i64 @__uint64_identity(i64 noundef %242)
  %244 = getelementptr inbounds i8, ptr %4, i64 168
  %245 = call i64 @load64(ptr noundef nonnull %244)
  %246 = call i64 @__uint64_identity(i64 noundef %245)
  %247 = getelementptr inbounds i8, ptr %4, i64 176
  %248 = call i64 @load64(ptr noundef nonnull %247)
  %249 = call i64 @__uint64_identity(i64 noundef %248)
  %250 = getelementptr inbounds i8, ptr %4, i64 184
  %251 = call i64 @load64(ptr noundef nonnull %250)
  %252 = call i64 @__uint64_identity(i64 noundef %251)
  %253 = getelementptr inbounds i8, ptr %4, i64 192
  %254 = call i64 @load64(ptr noundef nonnull %253)
  %255 = call i64 @__uint64_identity(i64 noundef %254)
  %256 = getelementptr inbounds i8, ptr %4, i64 200
  %257 = call i64 @load64(ptr noundef nonnull %256)
  %258 = call i64 @__uint64_identity(i64 noundef %257)
  %259 = getelementptr inbounds i8, ptr %4, i64 208
  %260 = call i64 @load64(ptr noundef nonnull %259)
  %261 = call i64 @__uint64_identity(i64 noundef %260)
  %262 = getelementptr inbounds i8, ptr %4, i64 216
  %263 = call i64 @load64(ptr noundef nonnull %262)
  %264 = call i64 @__uint64_identity(i64 noundef %263)
  %265 = getelementptr inbounds i8, ptr %4, i64 224
  %266 = call i64 @load64(ptr noundef nonnull %265)
  %267 = call i64 @__uint64_identity(i64 noundef %266)
  %268 = getelementptr inbounds i8, ptr %4, i64 232
  %269 = call i64 @load64(ptr noundef nonnull %268)
  %270 = call i64 @__uint64_identity(i64 noundef %269)
  %271 = getelementptr inbounds i8, ptr %4, i64 240
  %272 = call i64 @load64(ptr noundef nonnull %271)
  %273 = call i64 @__uint64_identity(i64 noundef %272)
  %274 = getelementptr inbounds i8, ptr %4, i64 248
  %275 = call i64 @load64(ptr noundef nonnull %274)
  %276 = call i64 @__uint64_identity(i64 noundef %275)
  %277 = load i64, ptr %0, align 8, !tbaa !8
  %278 = xor i64 %183, %277
  store i64 %278, ptr %0, align 8, !tbaa !8
  %279 = load i64, ptr %109, align 8, !tbaa !8
  %280 = xor i64 %186, %279
  store i64 %280, ptr %109, align 8, !tbaa !8
  %281 = load i64, ptr %112, align 8, !tbaa !8
  %282 = xor i64 %189, %281
  store i64 %282, ptr %112, align 8, !tbaa !8
  %283 = load i64, ptr %115, align 8, !tbaa !8
  %284 = xor i64 %192, %283
  store i64 %284, ptr %115, align 8, !tbaa !8
  %285 = load i64, ptr %118, align 8, !tbaa !8
  %286 = xor i64 %195, %285
  store i64 %286, ptr %118, align 8, !tbaa !8
  %287 = load i64, ptr %121, align 8, !tbaa !8
  %288 = xor i64 %198, %287
  store i64 %288, ptr %121, align 8, !tbaa !8
  %289 = load i64, ptr %124, align 8, !tbaa !8
  %290 = xor i64 %201, %289
  %291 = load i64, ptr %127, align 8, !tbaa !8
  %292 = xor i64 %204, %291
  %293 = load i64, ptr %130, align 8, !tbaa !8
  %294 = xor i64 %207, %293
  %295 = load i64, ptr %133, align 8, !tbaa !8
  %296 = xor i64 %210, %295
  %297 = load i64, ptr %136, align 8, !tbaa !8
  %298 = xor i64 %213, %297
  %299 = load i64, ptr %139, align 8, !tbaa !8
  %300 = xor i64 %216, %299
  %301 = load i64, ptr %142, align 8, !tbaa !8
  %302 = xor i64 %219, %301
  %303 = load i64, ptr %145, align 8, !tbaa !8
  %304 = xor i64 %222, %303
  %305 = load i64, ptr %148, align 8, !tbaa !8
  %306 = xor i64 %225, %305
  %307 = load i64, ptr %151, align 8, !tbaa !8
  %308 = xor i64 %228, %307
  %309 = load i64, ptr %154, align 8, !tbaa !8
  %310 = xor i64 %231, %309
  %311 = load i64, ptr %157, align 8, !tbaa !8
  %312 = xor i64 %234, %311
  %313 = load i64, ptr %160, align 8, !tbaa !8
  %314 = xor i64 %237, %313
  %315 = load i64, ptr %163, align 8, !tbaa !8
  %316 = xor i64 %240, %315
  %317 = load i64, ptr %166, align 8, !tbaa !8
  %318 = xor i64 %243, %317
  %319 = load i64, ptr %169, align 8, !tbaa !8
  %320 = xor i64 %246, %319
  %321 = load i64, ptr %172, align 8, !tbaa !8
  %322 = xor i64 %249, %321
  %323 = load i64, ptr %175, align 8, !tbaa !8
  %324 = xor i64 %252, %323
  %325 = load i64, ptr %178, align 8, !tbaa !8
  %326 = xor i64 %255, %325
  %327 = load i32, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, align 16, !tbaa !10
  %328 = load i32, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, align 16, !tbaa !10
  %329 = zext i32 %327 to i64
  %330 = getelementptr inbounds i64, ptr %0, i64 %329
  %331 = zext nneg i32 %328 to i64
  %332 = sub i32 64, %328
  %333 = zext nneg i32 %332 to i64
  %334 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 4), align 4, !tbaa !10
  %335 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 4), align 4, !tbaa !10
  %336 = zext i32 %334 to i64
  %337 = getelementptr inbounds i64, ptr %0, i64 %336
  %338 = zext nneg i32 %335 to i64
  %339 = sub i32 64, %335
  %340 = zext nneg i32 %339 to i64
  %341 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 8), align 8, !tbaa !10
  %342 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 8), align 8, !tbaa !10
  %343 = zext i32 %341 to i64
  %344 = getelementptr inbounds i64, ptr %0, i64 %343
  %345 = zext nneg i32 %342 to i64
  %346 = sub i32 64, %342
  %347 = zext nneg i32 %346 to i64
  %348 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 12), align 4, !tbaa !10
  %349 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 12), align 4, !tbaa !10
  %350 = zext i32 %348 to i64
  %351 = getelementptr inbounds i64, ptr %0, i64 %350
  %352 = zext nneg i32 %349 to i64
  %353 = sub i32 64, %349
  %354 = zext nneg i32 %353 to i64
  %355 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 16), align 16, !tbaa !10
  %356 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 16), align 16, !tbaa !10
  %357 = zext i32 %355 to i64
  %358 = getelementptr inbounds i64, ptr %0, i64 %357
  %359 = zext nneg i32 %356 to i64
  %360 = sub i32 64, %356
  %361 = zext nneg i32 %360 to i64
  %362 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 20), align 4, !tbaa !10
  %363 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 20), align 4, !tbaa !10
  %364 = zext i32 %362 to i64
  %365 = getelementptr inbounds i64, ptr %0, i64 %364
  %366 = zext nneg i32 %363 to i64
  %367 = sub i32 64, %363
  %368 = zext nneg i32 %367 to i64
  %369 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 24), align 8, !tbaa !10
  %370 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 24), align 8, !tbaa !10
  %371 = zext i32 %369 to i64
  %372 = getelementptr inbounds i64, ptr %0, i64 %371
  %373 = zext nneg i32 %370 to i64
  %374 = sub i32 64, %370
  %375 = zext nneg i32 %374 to i64
  %376 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 28), align 4, !tbaa !10
  %377 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 28), align 4, !tbaa !10
  %378 = zext i32 %376 to i64
  %379 = getelementptr inbounds i64, ptr %0, i64 %378
  %380 = zext nneg i32 %377 to i64
  %381 = sub i32 64, %377
  %382 = zext nneg i32 %381 to i64
  %383 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 32), align 16, !tbaa !10
  %384 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 32), align 16, !tbaa !10
  %385 = zext i32 %383 to i64
  %386 = getelementptr inbounds i64, ptr %0, i64 %385
  %387 = zext nneg i32 %384 to i64
  %388 = sub i32 64, %384
  %389 = zext nneg i32 %388 to i64
  %390 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 36), align 4, !tbaa !10
  %391 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 36), align 4, !tbaa !10
  %392 = zext i32 %390 to i64
  %393 = getelementptr inbounds i64, ptr %0, i64 %392
  %394 = zext nneg i32 %391 to i64
  %395 = sub i32 64, %391
  %396 = zext nneg i32 %395 to i64
  %397 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 40), align 8, !tbaa !10
  %398 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 40), align 8, !tbaa !10
  %399 = zext i32 %397 to i64
  %400 = getelementptr inbounds i64, ptr %0, i64 %399
  %401 = zext nneg i32 %398 to i64
  %402 = sub i32 64, %398
  %403 = zext nneg i32 %402 to i64
  %404 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 44), align 4, !tbaa !10
  %405 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 44), align 4, !tbaa !10
  %406 = zext i32 %404 to i64
  %407 = getelementptr inbounds i64, ptr %0, i64 %406
  %408 = zext nneg i32 %405 to i64
  %409 = sub i32 64, %405
  %410 = zext nneg i32 %409 to i64
  %411 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 48), align 16, !tbaa !10
  %412 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 48), align 16, !tbaa !10
  %413 = zext i32 %411 to i64
  %414 = getelementptr inbounds i64, ptr %0, i64 %413
  %415 = zext nneg i32 %412 to i64
  %416 = sub i32 64, %412
  %417 = zext nneg i32 %416 to i64
  %418 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 52), align 4, !tbaa !10
  %419 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 52), align 4, !tbaa !10
  %420 = zext i32 %418 to i64
  %421 = getelementptr inbounds i64, ptr %0, i64 %420
  %422 = zext nneg i32 %419 to i64
  %423 = sub i32 64, %419
  %424 = zext nneg i32 %423 to i64
  %425 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 56), align 8, !tbaa !10
  %426 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 56), align 8, !tbaa !10
  %427 = zext i32 %425 to i64
  %428 = getelementptr inbounds i64, ptr %0, i64 %427
  %429 = zext nneg i32 %426 to i64
  %430 = sub i32 64, %426
  %431 = zext nneg i32 %430 to i64
  %432 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 60), align 4, !tbaa !10
  %433 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 60), align 4, !tbaa !10
  %434 = zext i32 %432 to i64
  %435 = getelementptr inbounds i64, ptr %0, i64 %434
  %436 = zext nneg i32 %433 to i64
  %437 = sub i32 64, %433
  %438 = zext nneg i32 %437 to i64
  %439 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 64), align 16, !tbaa !10
  %440 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 64), align 16, !tbaa !10
  %441 = zext i32 %439 to i64
  %442 = getelementptr inbounds i64, ptr %0, i64 %441
  %443 = zext nneg i32 %440 to i64
  %444 = sub i32 64, %440
  %445 = zext nneg i32 %444 to i64
  %446 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 68), align 4, !tbaa !10
  %447 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 68), align 4, !tbaa !10
  %448 = zext i32 %446 to i64
  %449 = getelementptr inbounds i64, ptr %0, i64 %448
  %450 = zext nneg i32 %447 to i64
  %451 = sub i32 64, %447
  %452 = zext nneg i32 %451 to i64
  %453 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 72), align 8, !tbaa !10
  %454 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 72), align 8, !tbaa !10
  %455 = zext i32 %453 to i64
  %456 = getelementptr inbounds i64, ptr %0, i64 %455
  %457 = zext nneg i32 %454 to i64
  %458 = sub i32 64, %454
  %459 = zext nneg i32 %458 to i64
  %460 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 76), align 4, !tbaa !10
  %461 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 76), align 4, !tbaa !10
  %462 = zext i32 %460 to i64
  %463 = getelementptr inbounds i64, ptr %0, i64 %462
  %464 = zext nneg i32 %461 to i64
  %465 = sub i32 64, %461
  %466 = zext nneg i32 %465 to i64
  %467 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 80), align 16, !tbaa !10
  %468 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 80), align 16, !tbaa !10
  %469 = zext i32 %467 to i64
  %470 = getelementptr inbounds i64, ptr %0, i64 %469
  %471 = zext nneg i32 %468 to i64
  %472 = sub i32 64, %468
  %473 = zext nneg i32 %472 to i64
  %474 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 84), align 4, !tbaa !10
  %475 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 84), align 4, !tbaa !10
  %476 = zext i32 %474 to i64
  %477 = getelementptr inbounds i64, ptr %0, i64 %476
  %478 = zext nneg i32 %475 to i64
  %479 = sub i32 64, %475
  %480 = zext nneg i32 %479 to i64
  %481 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 88), align 8, !tbaa !10
  %482 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 88), align 8, !tbaa !10
  %483 = zext i32 %481 to i64
  %484 = getelementptr inbounds i64, ptr %0, i64 %483
  %485 = zext nneg i32 %482 to i64
  %486 = sub i32 64, %482
  %487 = zext nneg i32 %486 to i64
  %488 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 92), align 4, !tbaa !10
  %489 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 92), align 4, !tbaa !10
  %490 = zext i32 %488 to i64
  %491 = getelementptr inbounds i64, ptr %0, i64 %490
  %492 = zext nneg i32 %489 to i64
  %493 = sub i32 64, %489
  %494 = zext nneg i32 %493 to i64
  br label %496

495:                                              ; preds = %496
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %3) #6
  ret void

496:                                              ; preds = %.preheader, %496
  %497 = phi i64 [ %326, %.preheader ], [ %770, %496 ]
  %498 = phi i64 [ %316, %.preheader ], [ %750, %496 ]
  %499 = phi i64 [ %306, %.preheader ], [ %730, %496 ]
  %500 = phi i64 [ %296, %.preheader ], [ %710, %496 ]
  %501 = phi i64 [ %324, %.preheader ], [ %767, %496 ]
  %502 = phi i64 [ %314, %.preheader ], [ %747, %496 ]
  %503 = phi i64 [ %304, %.preheader ], [ %727, %496 ]
  %504 = phi i64 [ %294, %.preheader ], [ %707, %496 ]
  %505 = phi i64 [ %322, %.preheader ], [ %764, %496 ]
  %506 = phi i64 [ %312, %.preheader ], [ %744, %496 ]
  %507 = phi i64 [ %302, %.preheader ], [ %724, %496 ]
  %508 = phi i64 [ %292, %.preheader ], [ %704, %496 ]
  %509 = phi i64 [ %320, %.preheader ], [ %760, %496 ]
  %510 = phi i64 [ %310, %.preheader ], [ %740, %496 ]
  %511 = phi i64 [ %300, %.preheader ], [ %720, %496 ]
  %512 = phi i64 [ %290, %.preheader ], [ %700, %496 ]
  %513 = phi i64 [ %318, %.preheader ], [ %756, %496 ]
  %514 = phi i64 [ %308, %.preheader ], [ %736, %496 ]
  %515 = phi i64 [ %298, %.preheader ], [ %716, %496 ]
  %516 = phi i64 [ %288, %.preheader ], [ %696, %496 ]
  %517 = phi i64 [ %278, %.preheader ], [ %774, %496 ]
  %indvars.iv = phi i64 [ 0, %.preheader ], [ %indvars.iv.next, %496 ]
  %518 = xor i64 %516, %517
  %519 = xor i64 %518, %515
  %520 = xor i64 %519, %514
  %521 = xor i64 %520, %513
  %522 = load i64, ptr %109, align 8, !tbaa !8
  %523 = xor i64 %512, %522
  %524 = xor i64 %523, %511
  %525 = xor i64 %524, %510
  %526 = xor i64 %525, %509
  %527 = load i64, ptr %112, align 8, !tbaa !8
  %528 = xor i64 %508, %527
  %529 = xor i64 %528, %507
  %530 = xor i64 %529, %506
  %531 = xor i64 %530, %505
  %532 = load i64, ptr %115, align 8, !tbaa !8
  %533 = xor i64 %504, %532
  %534 = xor i64 %533, %503
  %535 = xor i64 %534, %502
  %536 = xor i64 %535, %501
  %537 = load i64, ptr %118, align 8, !tbaa !8
  %538 = xor i64 %500, %537
  %539 = xor i64 %538, %499
  %540 = xor i64 %539, %498
  %541 = xor i64 %540, %497
  %542 = call i64 @llvm.fshl.i64(i64 %526, i64 %526, i64 1)
  %543 = xor i64 %541, %542
  %544 = xor i64 %543, %517
  store i64 %544, ptr %0, align 8, !tbaa !8
  %545 = xor i64 %543, %516
  store i64 %545, ptr %121, align 8, !tbaa !8
  %546 = xor i64 %543, %515
  store i64 %546, ptr %136, align 8, !tbaa !8
  %547 = xor i64 %543, %514
  store i64 %547, ptr %151, align 8, !tbaa !8
  %548 = xor i64 %543, %513
  store i64 %548, ptr %166, align 8, !tbaa !8
  %549 = call i64 @llvm.fshl.i64(i64 %531, i64 %531, i64 1)
  %550 = xor i64 %549, %521
  %551 = xor i64 %550, %522
  store i64 %551, ptr %109, align 8, !tbaa !8
  %552 = xor i64 %550, %512
  store i64 %552, ptr %124, align 8, !tbaa !8
  %553 = xor i64 %550, %511
  store i64 %553, ptr %139, align 8, !tbaa !8
  %554 = xor i64 %550, %510
  store i64 %554, ptr %154, align 8, !tbaa !8
  %555 = xor i64 %550, %509
  store i64 %555, ptr %169, align 8, !tbaa !8
  %556 = call i64 @llvm.fshl.i64(i64 %536, i64 %536, i64 1)
  %557 = xor i64 %556, %526
  %558 = xor i64 %557, %527
  store i64 %558, ptr %112, align 8, !tbaa !8
  %559 = xor i64 %557, %508
  store i64 %559, ptr %127, align 8, !tbaa !8
  %560 = xor i64 %557, %507
  store i64 %560, ptr %142, align 8, !tbaa !8
  %561 = xor i64 %557, %506
  store i64 %561, ptr %157, align 8, !tbaa !8
  %562 = xor i64 %557, %505
  store i64 %562, ptr %172, align 8, !tbaa !8
  %563 = call i64 @llvm.fshl.i64(i64 %541, i64 %541, i64 1)
  %564 = xor i64 %563, %531
  %565 = xor i64 %564, %532
  store i64 %565, ptr %115, align 8, !tbaa !8
  %566 = xor i64 %564, %504
  store i64 %566, ptr %130, align 8, !tbaa !8
  %567 = xor i64 %564, %503
  store i64 %567, ptr %145, align 8, !tbaa !8
  %568 = xor i64 %564, %502
  store i64 %568, ptr %160, align 8, !tbaa !8
  %569 = xor i64 %564, %501
  store i64 %569, ptr %175, align 8, !tbaa !8
  %570 = call i64 @llvm.fshl.i64(i64 %521, i64 %521, i64 1)
  %571 = xor i64 %536, %570
  %572 = xor i64 %571, %537
  store i64 %572, ptr %118, align 8, !tbaa !8
  %573 = xor i64 %571, %500
  store i64 %573, ptr %133, align 8, !tbaa !8
  %574 = xor i64 %571, %499
  store i64 %574, ptr %148, align 8, !tbaa !8
  %575 = xor i64 %571, %498
  store i64 %575, ptr %163, align 8, !tbaa !8
  %576 = xor i64 %497, %571
  store i64 %576, ptr %178, align 8, !tbaa !8
  %577 = load i64, ptr %330, align 8, !tbaa !8
  %578 = shl i64 %551, %331
  %579 = lshr i64 %551, %333
  %580 = or i64 %579, %578
  store i64 %580, ptr %330, align 8, !tbaa !8
  %581 = load i64, ptr %337, align 8, !tbaa !8
  %582 = shl i64 %577, %338
  %583 = lshr i64 %577, %340
  %584 = or i64 %583, %582
  store i64 %584, ptr %337, align 8, !tbaa !8
  %585 = load i64, ptr %344, align 8, !tbaa !8
  %586 = shl i64 %581, %345
  %587 = lshr i64 %581, %347
  %588 = or i64 %587, %586
  store i64 %588, ptr %344, align 8, !tbaa !8
  %589 = load i64, ptr %351, align 8, !tbaa !8
  %590 = shl i64 %585, %352
  %591 = lshr i64 %585, %354
  %592 = or i64 %591, %590
  store i64 %592, ptr %351, align 8, !tbaa !8
  %593 = load i64, ptr %358, align 8, !tbaa !8
  %594 = shl i64 %589, %359
  %595 = lshr i64 %589, %361
  %596 = or i64 %595, %594
  store i64 %596, ptr %358, align 8, !tbaa !8
  %597 = load i64, ptr %365, align 8, !tbaa !8
  %598 = shl i64 %593, %366
  %599 = lshr i64 %593, %368
  %600 = or i64 %599, %598
  store i64 %600, ptr %365, align 8, !tbaa !8
  %601 = load i64, ptr %372, align 8, !tbaa !8
  %602 = shl i64 %597, %373
  %603 = lshr i64 %597, %375
  %604 = or i64 %603, %602
  store i64 %604, ptr %372, align 8, !tbaa !8
  %605 = load i64, ptr %379, align 8, !tbaa !8
  %606 = shl i64 %601, %380
  %607 = lshr i64 %601, %382
  %608 = or i64 %607, %606
  store i64 %608, ptr %379, align 8, !tbaa !8
  %609 = load i64, ptr %386, align 8, !tbaa !8
  %610 = shl i64 %605, %387
  %611 = lshr i64 %605, %389
  %612 = or i64 %611, %610
  store i64 %612, ptr %386, align 8, !tbaa !8
  %613 = load i64, ptr %393, align 8, !tbaa !8
  %614 = shl i64 %609, %394
  %615 = lshr i64 %609, %396
  %616 = or i64 %615, %614
  store i64 %616, ptr %393, align 8, !tbaa !8
  %617 = load i64, ptr %400, align 8, !tbaa !8
  %618 = shl i64 %613, %401
  %619 = lshr i64 %613, %403
  %620 = or i64 %619, %618
  store i64 %620, ptr %400, align 8, !tbaa !8
  %621 = load i64, ptr %407, align 8, !tbaa !8
  %622 = shl i64 %617, %408
  %623 = lshr i64 %617, %410
  %624 = or i64 %623, %622
  store i64 %624, ptr %407, align 8, !tbaa !8
  %625 = load i64, ptr %414, align 8, !tbaa !8
  %626 = shl i64 %621, %415
  %627 = lshr i64 %621, %417
  %628 = or i64 %627, %626
  store i64 %628, ptr %414, align 8, !tbaa !8
  %629 = load i64, ptr %421, align 8, !tbaa !8
  %630 = shl i64 %625, %422
  %631 = lshr i64 %625, %424
  %632 = or i64 %631, %630
  store i64 %632, ptr %421, align 8, !tbaa !8
  %633 = load i64, ptr %428, align 8, !tbaa !8
  %634 = shl i64 %629, %429
  %635 = lshr i64 %629, %431
  %636 = or i64 %635, %634
  store i64 %636, ptr %428, align 8, !tbaa !8
  %637 = load i64, ptr %435, align 8, !tbaa !8
  %638 = shl i64 %633, %436
  %639 = lshr i64 %633, %438
  %640 = or i64 %639, %638
  store i64 %640, ptr %435, align 8, !tbaa !8
  %641 = load i64, ptr %442, align 8, !tbaa !8
  %642 = shl i64 %637, %443
  %643 = lshr i64 %637, %445
  %644 = or i64 %643, %642
  store i64 %644, ptr %442, align 8, !tbaa !8
  %645 = load i64, ptr %449, align 8, !tbaa !8
  %646 = shl i64 %641, %450
  %647 = lshr i64 %641, %452
  %648 = or i64 %647, %646
  store i64 %648, ptr %449, align 8, !tbaa !8
  %649 = load i64, ptr %456, align 8, !tbaa !8
  %650 = shl i64 %645, %457
  %651 = lshr i64 %645, %459
  %652 = or i64 %651, %650
  store i64 %652, ptr %456, align 8, !tbaa !8
  %653 = load i64, ptr %463, align 8, !tbaa !8
  %654 = shl i64 %649, %464
  %655 = lshr i64 %649, %466
  %656 = or i64 %655, %654
  store i64 %656, ptr %463, align 8, !tbaa !8
  %657 = load i64, ptr %470, align 8, !tbaa !8
  %658 = shl i64 %653, %471
  %659 = lshr i64 %653, %473
  %660 = or i64 %659, %658
  store i64 %660, ptr %470, align 8, !tbaa !8
  %661 = load i64, ptr %477, align 8, !tbaa !8
  %662 = shl i64 %657, %478
  %663 = lshr i64 %657, %480
  %664 = or i64 %663, %662
  store i64 %664, ptr %477, align 8, !tbaa !8
  %665 = load i64, ptr %484, align 8, !tbaa !8
  %666 = shl i64 %661, %485
  %667 = lshr i64 %661, %487
  %668 = or i64 %667, %666
  store i64 %668, ptr %484, align 8, !tbaa !8
  %669 = shl i64 %665, %492
  %670 = lshr i64 %665, %494
  %671 = or i64 %670, %669
  store i64 %671, ptr %491, align 8, !tbaa !8
  %672 = load i64, ptr %0, align 8, !tbaa !8
  %673 = load i64, ptr %109, align 8, !tbaa !8
  %674 = xor i64 %673, -1
  %675 = load i64, ptr %112, align 8, !tbaa !8
  %676 = and i64 %675, %674
  %677 = xor i64 %675, -1
  %678 = load i64, ptr %115, align 8, !tbaa !8
  %679 = and i64 %678, %677
  %680 = xor i64 %679, %673
  %681 = xor i64 %678, -1
  %682 = load i64, ptr %118, align 8, !tbaa !8
  %683 = and i64 %682, %681
  %684 = xor i64 %683, %675
  %685 = xor i64 %682, -1
  %686 = and i64 %672, %685
  %687 = xor i64 %686, %678
  %688 = xor i64 %672, -1
  %689 = and i64 %673, %688
  %690 = xor i64 %682, %689
  store i64 %680, ptr %109, align 8, !tbaa !8
  store i64 %684, ptr %112, align 8, !tbaa !8
  store i64 %687, ptr %115, align 8, !tbaa !8
  store i64 %690, ptr %118, align 8, !tbaa !8
  %691 = load i64, ptr %121, align 8, !tbaa !8
  %692 = load i64, ptr %124, align 8, !tbaa !8
  %693 = xor i64 %692, -1
  %694 = load i64, ptr %127, align 8, !tbaa !8
  %695 = and i64 %694, %693
  %696 = xor i64 %695, %691
  %697 = xor i64 %694, -1
  %698 = load i64, ptr %130, align 8, !tbaa !8
  %699 = and i64 %698, %697
  %700 = xor i64 %699, %692
  %701 = xor i64 %698, -1
  %702 = load i64, ptr %133, align 8, !tbaa !8
  %703 = and i64 %702, %701
  %704 = xor i64 %703, %694
  %705 = xor i64 %702, -1
  %706 = and i64 %691, %705
  %707 = xor i64 %706, %698
  %708 = xor i64 %691, -1
  %709 = and i64 %692, %708
  %710 = xor i64 %702, %709
  store i64 %696, ptr %121, align 8, !tbaa !8
  store i64 %700, ptr %124, align 8, !tbaa !8
  store i64 %704, ptr %127, align 8, !tbaa !8
  store i64 %707, ptr %130, align 8, !tbaa !8
  store i64 %710, ptr %133, align 8, !tbaa !8
  %711 = load i64, ptr %136, align 8, !tbaa !8
  %712 = load i64, ptr %139, align 8, !tbaa !8
  %713 = xor i64 %712, -1
  %714 = load i64, ptr %142, align 8, !tbaa !8
  %715 = and i64 %714, %713
  %716 = xor i64 %715, %711
  %717 = xor i64 %714, -1
  %718 = load i64, ptr %145, align 8, !tbaa !8
  %719 = and i64 %718, %717
  %720 = xor i64 %719, %712
  %721 = xor i64 %718, -1
  %722 = load i64, ptr %148, align 8, !tbaa !8
  %723 = and i64 %722, %721
  %724 = xor i64 %723, %714
  %725 = xor i64 %722, -1
  %726 = and i64 %711, %725
  %727 = xor i64 %726, %718
  %728 = xor i64 %711, -1
  %729 = and i64 %712, %728
  %730 = xor i64 %722, %729
  store i64 %716, ptr %136, align 8, !tbaa !8
  store i64 %720, ptr %139, align 8, !tbaa !8
  store i64 %724, ptr %142, align 8, !tbaa !8
  store i64 %727, ptr %145, align 8, !tbaa !8
  store i64 %730, ptr %148, align 8, !tbaa !8
  %731 = load i64, ptr %151, align 8, !tbaa !8
  %732 = load i64, ptr %154, align 8, !tbaa !8
  %733 = xor i64 %732, -1
  %734 = load i64, ptr %157, align 8, !tbaa !8
  %735 = and i64 %734, %733
  %736 = xor i64 %735, %731
  %737 = xor i64 %734, -1
  %738 = load i64, ptr %160, align 8, !tbaa !8
  %739 = and i64 %738, %737
  %740 = xor i64 %739, %732
  %741 = xor i64 %738, -1
  %742 = load i64, ptr %163, align 8, !tbaa !8
  %743 = and i64 %742, %741
  %744 = xor i64 %743, %734
  %745 = xor i64 %742, -1
  %746 = and i64 %731, %745
  %747 = xor i64 %746, %738
  %748 = xor i64 %731, -1
  %749 = and i64 %732, %748
  %750 = xor i64 %742, %749
  store i64 %736, ptr %151, align 8, !tbaa !8
  store i64 %740, ptr %154, align 8, !tbaa !8
  store i64 %744, ptr %157, align 8, !tbaa !8
  store i64 %747, ptr %160, align 8, !tbaa !8
  store i64 %750, ptr %163, align 8, !tbaa !8
  %751 = load i64, ptr %166, align 8, !tbaa !8
  %752 = load i64, ptr %169, align 8, !tbaa !8
  %753 = xor i64 %752, -1
  %754 = load i64, ptr %172, align 8, !tbaa !8
  %755 = and i64 %754, %753
  %756 = xor i64 %755, %751
  %757 = xor i64 %754, -1
  %758 = load i64, ptr %175, align 8, !tbaa !8
  %759 = and i64 %758, %757
  %760 = xor i64 %759, %752
  %761 = xor i64 %758, -1
  %762 = load i64, ptr %178, align 8, !tbaa !8
  %763 = and i64 %762, %761
  %764 = xor i64 %763, %754
  %765 = xor i64 %762, -1
  %766 = and i64 %751, %765
  %767 = xor i64 %766, %758
  %768 = xor i64 %751, -1
  %769 = and i64 %752, %768
  %770 = xor i64 %762, %769
  store i64 %756, ptr %166, align 8, !tbaa !8
  store i64 %760, ptr %169, align 8, !tbaa !8
  store i64 %764, ptr %172, align 8, !tbaa !8
  store i64 %767, ptr %175, align 8, !tbaa !8
  store i64 %770, ptr %178, align 8, !tbaa !8
  %771 = getelementptr inbounds [24 x i64], ptr @Hacl_Impl_SHA3_Vec_keccak_rndc, i64 0, i64 %indvars.iv
  %772 = load i64, ptr %771, align 8, !tbaa !8
  %773 = xor i64 %676, %772
  %774 = xor i64 %773, %672
  store i64 %774, ptr %0, align 8, !tbaa !8
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 24
  br i1 %exitcond.not, label %495, label %496, !llvm.loop !12
}

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

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


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