; 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_nblocks(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 i32, align 4
  %9 = alloca [256 x i8], align 16
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca [32 x i64], align 16
  %14 = alloca ptr, align 8
  %15 = alloca i64, 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 i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca [5 x i64], align 16
  %50 = alloca i32, align 4
  %51 = alloca i32, align 4
  %52 = alloca i64, align 8
  %53 = alloca i64, align 8
  %54 = alloca i32, align 4
  %55 = alloca i64, align 8
  %56 = alloca i64, align 8
  %57 = alloca i32, align 4
  %58 = alloca i64, align 8
  %59 = alloca i64, align 8
  %60 = alloca i32, align 4
  %61 = alloca i64, align 8
  %62 = alloca i64, align 8
  %63 = alloca i32, align 4
  %64 = alloca i64, align 8
  %65 = alloca i64, align 8
  %66 = alloca i32, align 4
  %67 = alloca i64, align 8
  %68 = alloca i64, align 8
  %69 = alloca i32, align 4
  %70 = alloca i32, align 4
  %71 = alloca i32, align 4
  %72 = alloca i64, align 8
  %73 = alloca i64, align 8
  %74 = alloca i32, align 4
  %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 i64, align 8
  %87 = alloca i64, align 8
  %88 = alloca i64, align 8
  %89 = alloca i64, align 8
  %90 = alloca i64, align 8
  %91 = alloca i64, align 8
  %92 = alloca i64, align 8
  %93 = alloca i64, align 8
  %94 = alloca i64, align 8
  %95 = alloca i64, align 8
  %96 = alloca i64, align 8
  %97 = alloca i64, align 8
  %98 = alloca i64, align 8
  %99 = alloca i64, align 8
  %100 = 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
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %101

101:                                              ; preds = %2013, %3
  %102 = load i32, ptr %7, align 4, !tbaa !9
  %103 = load i32, ptr %6, align 4, !tbaa !9
  %104 = udiv i32 %103, 168
  %105 = icmp ult i32 %102, %104
  br i1 %105, label %107, label %106

106:                                              ; preds = %101
  store i32 2, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  br label %2016

107:                                              ; preds = %101
  call void @llvm.lifetime.start.p0(i64 256, ptr %9) #5
  call void @llvm.memset.p0.i64(ptr align 16 %9, i8 0, i64 256, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #5
  %108 = getelementptr inbounds [256 x i8], ptr %9, i64 0, i64 0
  store ptr %108, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #5
  %109 = load ptr, ptr %5, align 8, !tbaa !5
  store ptr %109, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  %110 = load ptr, ptr %10, align 8, !tbaa !5
  store ptr %110, ptr %12, align 8, !tbaa !5
  %111 = load ptr, ptr %12, align 8, !tbaa !5
  %112 = load ptr, ptr %11, align 8, !tbaa !5
  %113 = load i32, ptr %7, align 4, !tbaa !9
  %114 = mul i32 %113, 168
  %115 = zext i32 %114 to i64
  %116 = getelementptr inbounds i8, ptr %112, i64 %115
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %111, ptr align 1 %116, i64 168, i1 false)
  call void @llvm.lifetime.start.p0(i64 256, ptr %13) #5
  call void @llvm.memset.p0.i64(ptr align 16 %13, i8 0, i64 256, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #5
  %117 = load ptr, ptr %10, align 8, !tbaa !5
  store ptr %117, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #5
  %118 = load ptr, ptr %14, align 8, !tbaa !5
  %119 = call i64 @load64(ptr noundef %118)
  %120 = call i64 @__uint64_identity(i64 noundef %119)
  store i64 %120, ptr %15, align 8, !tbaa !11
  %121 = load i64, ptr %15, align 8, !tbaa !11
  %122 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 0
  store i64 %121, ptr %122, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #5
  %123 = load ptr, ptr %14, align 8, !tbaa !5
  %124 = getelementptr inbounds i8, ptr %123, i64 8
  %125 = call i64 @load64(ptr noundef %124)
  %126 = call i64 @__uint64_identity(i64 noundef %125)
  store i64 %126, ptr %16, align 8, !tbaa !11
  %127 = load i64, ptr %16, align 8, !tbaa !11
  %128 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 1
  store i64 %127, ptr %128, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #5
  %129 = load ptr, ptr %14, align 8, !tbaa !5
  %130 = getelementptr inbounds i8, ptr %129, i64 16
  %131 = call i64 @load64(ptr noundef %130)
  %132 = call i64 @__uint64_identity(i64 noundef %131)
  store i64 %132, ptr %17, align 8, !tbaa !11
  %133 = load i64, ptr %17, align 8, !tbaa !11
  %134 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 2
  store i64 %133, ptr %134, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #5
  %135 = load ptr, ptr %14, align 8, !tbaa !5
  %136 = getelementptr inbounds i8, ptr %135, i64 24
  %137 = call i64 @load64(ptr noundef %136)
  %138 = call i64 @__uint64_identity(i64 noundef %137)
  store i64 %138, ptr %18, align 8, !tbaa !11
  %139 = load i64, ptr %18, align 8, !tbaa !11
  %140 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 3
  store i64 %139, ptr %140, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #5
  %141 = load ptr, ptr %14, align 8, !tbaa !5
  %142 = getelementptr inbounds i8, ptr %141, i64 32
  %143 = call i64 @load64(ptr noundef %142)
  %144 = call i64 @__uint64_identity(i64 noundef %143)
  store i64 %144, ptr %19, align 8, !tbaa !11
  %145 = load i64, ptr %19, align 8, !tbaa !11
  %146 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 4
  store i64 %145, ptr %146, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #5
  %147 = load ptr, ptr %14, align 8, !tbaa !5
  %148 = getelementptr inbounds i8, ptr %147, i64 40
  %149 = call i64 @load64(ptr noundef %148)
  %150 = call i64 @__uint64_identity(i64 noundef %149)
  store i64 %150, ptr %20, align 8, !tbaa !11
  %151 = load i64, ptr %20, align 8, !tbaa !11
  %152 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 5
  store i64 %151, ptr %152, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #5
  %153 = load ptr, ptr %14, align 8, !tbaa !5
  %154 = getelementptr inbounds i8, ptr %153, i64 48
  %155 = call i64 @load64(ptr noundef %154)
  %156 = call i64 @__uint64_identity(i64 noundef %155)
  store i64 %156, ptr %21, align 8, !tbaa !11
  %157 = load i64, ptr %21, align 8, !tbaa !11
  %158 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 6
  store i64 %157, ptr %158, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #5
  %159 = load ptr, ptr %14, align 8, !tbaa !5
  %160 = getelementptr inbounds i8, ptr %159, i64 56
  %161 = call i64 @load64(ptr noundef %160)
  %162 = call i64 @__uint64_identity(i64 noundef %161)
  store i64 %162, ptr %22, align 8, !tbaa !11
  %163 = load i64, ptr %22, align 8, !tbaa !11
  %164 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 7
  store i64 %163, ptr %164, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #5
  %165 = load ptr, ptr %14, align 8, !tbaa !5
  %166 = getelementptr inbounds i8, ptr %165, i64 64
  %167 = call i64 @load64(ptr noundef %166)
  %168 = call i64 @__uint64_identity(i64 noundef %167)
  store i64 %168, ptr %23, align 8, !tbaa !11
  %169 = load i64, ptr %23, align 8, !tbaa !11
  %170 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 8
  store i64 %169, ptr %170, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #5
  %171 = load ptr, ptr %14, align 8, !tbaa !5
  %172 = getelementptr inbounds i8, ptr %171, i64 72
  %173 = call i64 @load64(ptr noundef %172)
  %174 = call i64 @__uint64_identity(i64 noundef %173)
  store i64 %174, ptr %24, align 8, !tbaa !11
  %175 = load i64, ptr %24, align 8, !tbaa !11
  %176 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 9
  store i64 %175, ptr %176, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #5
  %177 = load ptr, ptr %14, align 8, !tbaa !5
  %178 = getelementptr inbounds i8, ptr %177, i64 80
  %179 = call i64 @load64(ptr noundef %178)
  %180 = call i64 @__uint64_identity(i64 noundef %179)
  store i64 %180, ptr %25, align 8, !tbaa !11
  %181 = load i64, ptr %25, align 8, !tbaa !11
  %182 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 10
  store i64 %181, ptr %182, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #5
  %183 = load ptr, ptr %14, align 8, !tbaa !5
  %184 = getelementptr inbounds i8, ptr %183, i64 88
  %185 = call i64 @load64(ptr noundef %184)
  %186 = call i64 @__uint64_identity(i64 noundef %185)
  store i64 %186, ptr %26, align 8, !tbaa !11
  %187 = load i64, ptr %26, align 8, !tbaa !11
  %188 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 11
  store i64 %187, ptr %188, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #5
  %189 = load ptr, ptr %14, align 8, !tbaa !5
  %190 = getelementptr inbounds i8, ptr %189, i64 96
  %191 = call i64 @load64(ptr noundef %190)
  %192 = call i64 @__uint64_identity(i64 noundef %191)
  store i64 %192, ptr %27, align 8, !tbaa !11
  %193 = load i64, ptr %27, align 8, !tbaa !11
  %194 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 12
  store i64 %193, ptr %194, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #5
  %195 = load ptr, ptr %14, align 8, !tbaa !5
  %196 = getelementptr inbounds i8, ptr %195, i64 104
  %197 = call i64 @load64(ptr noundef %196)
  %198 = call i64 @__uint64_identity(i64 noundef %197)
  store i64 %198, ptr %28, align 8, !tbaa !11
  %199 = load i64, ptr %28, align 8, !tbaa !11
  %200 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 13
  store i64 %199, ptr %200, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #5
  %201 = load ptr, ptr %14, align 8, !tbaa !5
  %202 = getelementptr inbounds i8, ptr %201, i64 112
  %203 = call i64 @load64(ptr noundef %202)
  %204 = call i64 @__uint64_identity(i64 noundef %203)
  store i64 %204, ptr %29, align 8, !tbaa !11
  %205 = load i64, ptr %29, align 8, !tbaa !11
  %206 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 14
  store i64 %205, ptr %206, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #5
  %207 = load ptr, ptr %14, align 8, !tbaa !5
  %208 = getelementptr inbounds i8, ptr %207, i64 120
  %209 = call i64 @load64(ptr noundef %208)
  %210 = call i64 @__uint64_identity(i64 noundef %209)
  store i64 %210, ptr %30, align 8, !tbaa !11
  %211 = load i64, ptr %30, align 8, !tbaa !11
  %212 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 15
  store i64 %211, ptr %212, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #5
  %213 = load ptr, ptr %14, align 8, !tbaa !5
  %214 = getelementptr inbounds i8, ptr %213, i64 128
  %215 = call i64 @load64(ptr noundef %214)
  %216 = call i64 @__uint64_identity(i64 noundef %215)
  store i64 %216, ptr %31, align 8, !tbaa !11
  %217 = load i64, ptr %31, align 8, !tbaa !11
  %218 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 16
  store i64 %217, ptr %218, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #5
  %219 = load ptr, ptr %14, align 8, !tbaa !5
  %220 = getelementptr inbounds i8, ptr %219, i64 136
  %221 = call i64 @load64(ptr noundef %220)
  %222 = call i64 @__uint64_identity(i64 noundef %221)
  store i64 %222, ptr %32, align 8, !tbaa !11
  %223 = load i64, ptr %32, align 8, !tbaa !11
  %224 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 17
  store i64 %223, ptr %224, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #5
  %225 = load ptr, ptr %14, align 8, !tbaa !5
  %226 = getelementptr inbounds i8, ptr %225, i64 144
  %227 = call i64 @load64(ptr noundef %226)
  %228 = call i64 @__uint64_identity(i64 noundef %227)
  store i64 %228, ptr %33, align 8, !tbaa !11
  %229 = load i64, ptr %33, align 8, !tbaa !11
  %230 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 18
  store i64 %229, ptr %230, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #5
  %231 = load ptr, ptr %14, align 8, !tbaa !5
  %232 = getelementptr inbounds i8, ptr %231, i64 152
  %233 = call i64 @load64(ptr noundef %232)
  %234 = call i64 @__uint64_identity(i64 noundef %233)
  store i64 %234, ptr %34, align 8, !tbaa !11
  %235 = load i64, ptr %34, align 8, !tbaa !11
  %236 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 19
  store i64 %235, ptr %236, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #5
  %237 = load ptr, ptr %14, align 8, !tbaa !5
  %238 = getelementptr inbounds i8, ptr %237, i64 160
  %239 = call i64 @load64(ptr noundef %238)
  %240 = call i64 @__uint64_identity(i64 noundef %239)
  store i64 %240, ptr %35, align 8, !tbaa !11
  %241 = load i64, ptr %35, align 8, !tbaa !11
  %242 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 20
  store i64 %241, ptr %242, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #5
  %243 = load ptr, ptr %14, align 8, !tbaa !5
  %244 = getelementptr inbounds i8, ptr %243, i64 168
  %245 = call i64 @load64(ptr noundef %244)
  %246 = call i64 @__uint64_identity(i64 noundef %245)
  store i64 %246, ptr %36, align 8, !tbaa !11
  %247 = load i64, ptr %36, align 8, !tbaa !11
  %248 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 21
  store i64 %247, ptr %248, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #5
  %249 = load ptr, ptr %14, align 8, !tbaa !5
  %250 = getelementptr inbounds i8, ptr %249, i64 176
  %251 = call i64 @load64(ptr noundef %250)
  %252 = call i64 @__uint64_identity(i64 noundef %251)
  store i64 %252, ptr %37, align 8, !tbaa !11
  %253 = load i64, ptr %37, align 8, !tbaa !11
  %254 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 22
  store i64 %253, ptr %254, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #5
  %255 = load ptr, ptr %14, align 8, !tbaa !5
  %256 = getelementptr inbounds i8, ptr %255, i64 184
  %257 = call i64 @load64(ptr noundef %256)
  %258 = call i64 @__uint64_identity(i64 noundef %257)
  store i64 %258, ptr %38, align 8, !tbaa !11
  %259 = load i64, ptr %38, align 8, !tbaa !11
  %260 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 23
  store i64 %259, ptr %260, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #5
  %261 = load ptr, ptr %14, align 8, !tbaa !5
  %262 = getelementptr inbounds i8, ptr %261, i64 192
  %263 = call i64 @load64(ptr noundef %262)
  %264 = call i64 @__uint64_identity(i64 noundef %263)
  store i64 %264, ptr %39, align 8, !tbaa !11
  %265 = load i64, ptr %39, align 8, !tbaa !11
  %266 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 24
  store i64 %265, ptr %266, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #5
  %267 = load ptr, ptr %14, align 8, !tbaa !5
  %268 = getelementptr inbounds i8, ptr %267, i64 200
  %269 = call i64 @load64(ptr noundef %268)
  %270 = call i64 @__uint64_identity(i64 noundef %269)
  store i64 %270, ptr %40, align 8, !tbaa !11
  %271 = load i64, ptr %40, align 8, !tbaa !11
  %272 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 25
  store i64 %271, ptr %272, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #5
  %273 = load ptr, ptr %14, align 8, !tbaa !5
  %274 = getelementptr inbounds i8, ptr %273, i64 208
  %275 = call i64 @load64(ptr noundef %274)
  %276 = call i64 @__uint64_identity(i64 noundef %275)
  store i64 %276, ptr %41, align 8, !tbaa !11
  %277 = load i64, ptr %41, align 8, !tbaa !11
  %278 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 26
  store i64 %277, ptr %278, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #5
  %279 = load ptr, ptr %14, align 8, !tbaa !5
  %280 = getelementptr inbounds i8, ptr %279, i64 216
  %281 = call i64 @load64(ptr noundef %280)
  %282 = call i64 @__uint64_identity(i64 noundef %281)
  store i64 %282, ptr %42, align 8, !tbaa !11
  %283 = load i64, ptr %42, align 8, !tbaa !11
  %284 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 27
  store i64 %283, ptr %284, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #5
  %285 = load ptr, ptr %14, align 8, !tbaa !5
  %286 = getelementptr inbounds i8, ptr %285, i64 224
  %287 = call i64 @load64(ptr noundef %286)
  %288 = call i64 @__uint64_identity(i64 noundef %287)
  store i64 %288, ptr %43, align 8, !tbaa !11
  %289 = load i64, ptr %43, align 8, !tbaa !11
  %290 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 28
  store i64 %289, ptr %290, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #5
  %291 = load ptr, ptr %14, align 8, !tbaa !5
  %292 = getelementptr inbounds i8, ptr %291, i64 232
  %293 = call i64 @load64(ptr noundef %292)
  %294 = call i64 @__uint64_identity(i64 noundef %293)
  store i64 %294, ptr %44, align 8, !tbaa !11
  %295 = load i64, ptr %44, align 8, !tbaa !11
  %296 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 29
  store i64 %295, ptr %296, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #5
  %297 = load ptr, ptr %14, align 8, !tbaa !5
  %298 = getelementptr inbounds i8, ptr %297, i64 240
  %299 = call i64 @load64(ptr noundef %298)
  %300 = call i64 @__uint64_identity(i64 noundef %299)
  store i64 %300, ptr %45, align 8, !tbaa !11
  %301 = load i64, ptr %45, align 8, !tbaa !11
  %302 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 30
  store i64 %301, ptr %302, align 16, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #5
  %303 = load ptr, ptr %14, align 8, !tbaa !5
  %304 = getelementptr inbounds i8, ptr %303, i64 248
  %305 = call i64 @load64(ptr noundef %304)
  %306 = call i64 @__uint64_identity(i64 noundef %305)
  store i64 %306, ptr %46, align 8, !tbaa !11
  %307 = load i64, ptr %46, align 8, !tbaa !11
  %308 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 31
  store i64 %307, ptr %308, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #5
  store i32 0, ptr %47, align 4, !tbaa !9
  br label %309

309:                                              ; preds = %328, %107
  %310 = load i32, ptr %47, align 4, !tbaa !9
  %311 = icmp ult i32 %310, 25
  br i1 %311, label %313, label %312

312:                                              ; preds = %309
  store i32 5, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #5
  br label %331

313:                                              ; preds = %309
  %314 = load ptr, ptr %4, align 8, !tbaa !5
  %315 = load i32, ptr %47, align 4, !tbaa !9
  %316 = zext i32 %315 to i64
  %317 = getelementptr inbounds i64, ptr %314, i64 %316
  %318 = load i64, ptr %317, align 8, !tbaa !11
  %319 = load i32, ptr %47, align 4, !tbaa !9
  %320 = zext i32 %319 to i64
  %321 = getelementptr inbounds [32 x i64], ptr %13, i64 0, i64 %320
  %322 = load i64, ptr %321, align 8, !tbaa !11
  %323 = xor i64 %318, %322
  %324 = load ptr, ptr %4, align 8, !tbaa !5
  %325 = load i32, ptr %47, align 4, !tbaa !9
  %326 = zext i32 %325 to i64
  %327 = getelementptr inbounds i64, ptr %324, i64 %326
  store i64 %323, ptr %327, align 8, !tbaa !11
  br label %328

328:                                              ; preds = %313
  %329 = load i32, ptr %47, align 4, !tbaa !9
  %330 = add i32 %329, 1
  store i32 %330, ptr %47, align 4, !tbaa !9
  br label %309, !llvm.loop !13

331:                                              ; preds = %312
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #5
  store i32 0, ptr %48, align 4, !tbaa !9
  br label %332

332:                                              ; preds = %2009, %331
  %333 = load i32, ptr %48, align 4, !tbaa !9
  %334 = icmp ult i32 %333, 24
  br i1 %334, label %336, label %335

335:                                              ; preds = %332
  store i32 8, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #5
  br label %2012

336:                                              ; preds = %332
  call void @llvm.lifetime.start.p0(i64 40, ptr %49) #5
  call void @llvm.memset.p0.i64(ptr align 16 %49, i8 0, i64 40, i1 false)
  br label %337

337:                                              ; preds = %336
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #5
  store i32 0, ptr %50, align 4, !tbaa !9
  %338 = load ptr, ptr %4, align 8, !tbaa !5
  %339 = load i32, ptr %50, align 4, !tbaa !9
  %340 = add i32 %339, 0
  %341 = zext i32 %340 to i64
  %342 = getelementptr inbounds i64, ptr %338, i64 %341
  %343 = load i64, ptr %342, align 8, !tbaa !11
  %344 = load ptr, ptr %4, align 8, !tbaa !5
  %345 = load i32, ptr %50, align 4, !tbaa !9
  %346 = add i32 %345, 5
  %347 = zext i32 %346 to i64
  %348 = getelementptr inbounds i64, ptr %344, i64 %347
  %349 = load i64, ptr %348, align 8, !tbaa !11
  %350 = load ptr, ptr %4, align 8, !tbaa !5
  %351 = load i32, ptr %50, align 4, !tbaa !9
  %352 = add i32 %351, 10
  %353 = zext i32 %352 to i64
  %354 = getelementptr inbounds i64, ptr %350, i64 %353
  %355 = load i64, ptr %354, align 8, !tbaa !11
  %356 = load ptr, ptr %4, align 8, !tbaa !5
  %357 = load i32, ptr %50, align 4, !tbaa !9
  %358 = add i32 %357, 15
  %359 = zext i32 %358 to i64
  %360 = getelementptr inbounds i64, ptr %356, i64 %359
  %361 = load i64, ptr %360, align 8, !tbaa !11
  %362 = load ptr, ptr %4, align 8, !tbaa !5
  %363 = load i32, ptr %50, align 4, !tbaa !9
  %364 = add i32 %363, 20
  %365 = zext i32 %364 to i64
  %366 = getelementptr inbounds i64, ptr %362, i64 %365
  %367 = load i64, ptr %366, align 8, !tbaa !11
  %368 = xor i64 %361, %367
  %369 = xor i64 %355, %368
  %370 = xor i64 %349, %369
  %371 = xor i64 %343, %370
  %372 = load i32, ptr %50, align 4, !tbaa !9
  %373 = zext i32 %372 to i64
  %374 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %373
  store i64 %371, ptr %374, align 8, !tbaa !11
  %375 = load i32, ptr %50, align 4, !tbaa !9
  %376 = add i32 %375, 1
  store i32 %376, ptr %50, align 4, !tbaa !9
  %377 = load i32, ptr %50, align 4, !tbaa !9
  %378 = load ptr, ptr %4, align 8, !tbaa !5
  %379 = load i32, ptr %50, align 4, !tbaa !9
  %380 = add i32 %379, 0
  %381 = zext i32 %380 to i64
  %382 = getelementptr inbounds i64, ptr %378, i64 %381
  %383 = load i64, ptr %382, align 8, !tbaa !11
  %384 = load ptr, ptr %4, align 8, !tbaa !5
  %385 = load i32, ptr %50, align 4, !tbaa !9
  %386 = add i32 %385, 5
  %387 = zext i32 %386 to i64
  %388 = getelementptr inbounds i64, ptr %384, i64 %387
  %389 = load i64, ptr %388, align 8, !tbaa !11
  %390 = load ptr, ptr %4, align 8, !tbaa !5
  %391 = load i32, ptr %50, align 4, !tbaa !9
  %392 = add i32 %391, 10
  %393 = zext i32 %392 to i64
  %394 = getelementptr inbounds i64, ptr %390, i64 %393
  %395 = load i64, ptr %394, align 8, !tbaa !11
  %396 = load ptr, ptr %4, align 8, !tbaa !5
  %397 = load i32, ptr %50, align 4, !tbaa !9
  %398 = add i32 %397, 15
  %399 = zext i32 %398 to i64
  %400 = getelementptr inbounds i64, ptr %396, i64 %399
  %401 = load i64, ptr %400, align 8, !tbaa !11
  %402 = load ptr, ptr %4, align 8, !tbaa !5
  %403 = load i32, ptr %50, align 4, !tbaa !9
  %404 = add i32 %403, 20
  %405 = zext i32 %404 to i64
  %406 = getelementptr inbounds i64, ptr %402, i64 %405
  %407 = load i64, ptr %406, align 8, !tbaa !11
  %408 = xor i64 %401, %407
  %409 = xor i64 %395, %408
  %410 = xor i64 %389, %409
  %411 = xor i64 %383, %410
  %412 = load i32, ptr %50, align 4, !tbaa !9
  %413 = zext i32 %412 to i64
  %414 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %413
  store i64 %411, ptr %414, align 8, !tbaa !11
  %415 = load i32, ptr %50, align 4, !tbaa !9
  %416 = add i32 %415, 1
  store i32 %416, ptr %50, align 4, !tbaa !9
  %417 = load i32, ptr %50, align 4, !tbaa !9
  %418 = load ptr, ptr %4, align 8, !tbaa !5
  %419 = load i32, ptr %50, align 4, !tbaa !9
  %420 = add i32 %419, 0
  %421 = zext i32 %420 to i64
  %422 = getelementptr inbounds i64, ptr %418, i64 %421
  %423 = load i64, ptr %422, align 8, !tbaa !11
  %424 = load ptr, ptr %4, align 8, !tbaa !5
  %425 = load i32, ptr %50, align 4, !tbaa !9
  %426 = add i32 %425, 5
  %427 = zext i32 %426 to i64
  %428 = getelementptr inbounds i64, ptr %424, i64 %427
  %429 = load i64, ptr %428, align 8, !tbaa !11
  %430 = load ptr, ptr %4, align 8, !tbaa !5
  %431 = load i32, ptr %50, align 4, !tbaa !9
  %432 = add i32 %431, 10
  %433 = zext i32 %432 to i64
  %434 = getelementptr inbounds i64, ptr %430, i64 %433
  %435 = load i64, ptr %434, align 8, !tbaa !11
  %436 = load ptr, ptr %4, align 8, !tbaa !5
  %437 = load i32, ptr %50, align 4, !tbaa !9
  %438 = add i32 %437, 15
  %439 = zext i32 %438 to i64
  %440 = getelementptr inbounds i64, ptr %436, i64 %439
  %441 = load i64, ptr %440, align 8, !tbaa !11
  %442 = load ptr, ptr %4, align 8, !tbaa !5
  %443 = load i32, ptr %50, align 4, !tbaa !9
  %444 = add i32 %443, 20
  %445 = zext i32 %444 to i64
  %446 = getelementptr inbounds i64, ptr %442, i64 %445
  %447 = load i64, ptr %446, align 8, !tbaa !11
  %448 = xor i64 %441, %447
  %449 = xor i64 %435, %448
  %450 = xor i64 %429, %449
  %451 = xor i64 %423, %450
  %452 = load i32, ptr %50, align 4, !tbaa !9
  %453 = zext i32 %452 to i64
  %454 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %453
  store i64 %451, ptr %454, align 8, !tbaa !11
  %455 = load i32, ptr %50, align 4, !tbaa !9
  %456 = add i32 %455, 1
  store i32 %456, ptr %50, align 4, !tbaa !9
  %457 = load i32, ptr %50, align 4, !tbaa !9
  %458 = load ptr, ptr %4, align 8, !tbaa !5
  %459 = load i32, ptr %50, align 4, !tbaa !9
  %460 = add i32 %459, 0
  %461 = zext i32 %460 to i64
  %462 = getelementptr inbounds i64, ptr %458, i64 %461
  %463 = load i64, ptr %462, align 8, !tbaa !11
  %464 = load ptr, ptr %4, align 8, !tbaa !5
  %465 = load i32, ptr %50, align 4, !tbaa !9
  %466 = add i32 %465, 5
  %467 = zext i32 %466 to i64
  %468 = getelementptr inbounds i64, ptr %464, i64 %467
  %469 = load i64, ptr %468, align 8, !tbaa !11
  %470 = load ptr, ptr %4, align 8, !tbaa !5
  %471 = load i32, ptr %50, align 4, !tbaa !9
  %472 = add i32 %471, 10
  %473 = zext i32 %472 to i64
  %474 = getelementptr inbounds i64, ptr %470, i64 %473
  %475 = load i64, ptr %474, align 8, !tbaa !11
  %476 = load ptr, ptr %4, align 8, !tbaa !5
  %477 = load i32, ptr %50, align 4, !tbaa !9
  %478 = add i32 %477, 15
  %479 = zext i32 %478 to i64
  %480 = getelementptr inbounds i64, ptr %476, i64 %479
  %481 = load i64, ptr %480, align 8, !tbaa !11
  %482 = load ptr, ptr %4, align 8, !tbaa !5
  %483 = load i32, ptr %50, align 4, !tbaa !9
  %484 = add i32 %483, 20
  %485 = zext i32 %484 to i64
  %486 = getelementptr inbounds i64, ptr %482, i64 %485
  %487 = load i64, ptr %486, align 8, !tbaa !11
  %488 = xor i64 %481, %487
  %489 = xor i64 %475, %488
  %490 = xor i64 %469, %489
  %491 = xor i64 %463, %490
  %492 = load i32, ptr %50, align 4, !tbaa !9
  %493 = zext i32 %492 to i64
  %494 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %493
  store i64 %491, ptr %494, align 8, !tbaa !11
  %495 = load i32, ptr %50, align 4, !tbaa !9
  %496 = add i32 %495, 1
  store i32 %496, ptr %50, align 4, !tbaa !9
  %497 = load i32, ptr %50, align 4, !tbaa !9
  %498 = load ptr, ptr %4, align 8, !tbaa !5
  %499 = load i32, ptr %50, align 4, !tbaa !9
  %500 = add i32 %499, 0
  %501 = zext i32 %500 to i64
  %502 = getelementptr inbounds i64, ptr %498, i64 %501
  %503 = load i64, ptr %502, align 8, !tbaa !11
  %504 = load ptr, ptr %4, align 8, !tbaa !5
  %505 = load i32, ptr %50, align 4, !tbaa !9
  %506 = add i32 %505, 5
  %507 = zext i32 %506 to i64
  %508 = getelementptr inbounds i64, ptr %504, i64 %507
  %509 = load i64, ptr %508, align 8, !tbaa !11
  %510 = load ptr, ptr %4, align 8, !tbaa !5
  %511 = load i32, ptr %50, align 4, !tbaa !9
  %512 = add i32 %511, 10
  %513 = zext i32 %512 to i64
  %514 = getelementptr inbounds i64, ptr %510, i64 %513
  %515 = load i64, ptr %514, align 8, !tbaa !11
  %516 = load ptr, ptr %4, align 8, !tbaa !5
  %517 = load i32, ptr %50, align 4, !tbaa !9
  %518 = add i32 %517, 15
  %519 = zext i32 %518 to i64
  %520 = getelementptr inbounds i64, ptr %516, i64 %519
  %521 = load i64, ptr %520, align 8, !tbaa !11
  %522 = load ptr, ptr %4, align 8, !tbaa !5
  %523 = load i32, ptr %50, align 4, !tbaa !9
  %524 = add i32 %523, 20
  %525 = zext i32 %524 to i64
  %526 = getelementptr inbounds i64, ptr %522, i64 %525
  %527 = load i64, ptr %526, align 8, !tbaa !11
  %528 = xor i64 %521, %527
  %529 = xor i64 %515, %528
  %530 = xor i64 %509, %529
  %531 = xor i64 %503, %530
  %532 = load i32, ptr %50, align 4, !tbaa !9
  %533 = zext i32 %532 to i64
  %534 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %533
  store i64 %531, ptr %534, align 8, !tbaa !11
  %535 = load i32, ptr %50, align 4, !tbaa !9
  %536 = add i32 %535, 1
  store i32 %536, ptr %50, align 4, !tbaa !9
  %537 = load i32, ptr %50, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #5
  br label %538

538:                                              ; preds = %337
  br label %539

539:                                              ; preds = %538
  br label %540

540:                                              ; preds = %539
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #5
  store i32 0, ptr %51, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #5
  %541 = load i32, ptr %51, align 4, !tbaa !9
  %542 = add i32 %541, 1
  %543 = urem i32 %542, 5
  %544 = zext i32 %543 to i64
  %545 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %544
  %546 = load i64, ptr %545, align 8, !tbaa !11
  store i64 %546, ptr %52, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #5
  %547 = load i32, ptr %51, align 4, !tbaa !9
  %548 = add i32 %547, 4
  %549 = urem i32 %548, 5
  %550 = zext i32 %549 to i64
  %551 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %550
  %552 = load i64, ptr %551, align 8, !tbaa !11
  %553 = load i64, ptr %52, align 8, !tbaa !11
  %554 = shl i64 %553, 1
  %555 = load i64, ptr %52, align 8, !tbaa !11
  %556 = lshr i64 %555, 63
  %557 = or i64 %554, %556
  %558 = xor i64 %552, %557
  store i64 %558, ptr %53, align 8, !tbaa !11
  br label %559

559:                                              ; preds = %540
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #5
  store i32 0, ptr %54, align 4, !tbaa !9
  %560 = load ptr, ptr %4, align 8, !tbaa !5
  %561 = load i32, ptr %51, align 4, !tbaa !9
  %562 = load i32, ptr %54, align 4, !tbaa !9
  %563 = mul i32 5, %562
  %564 = add i32 %561, %563
  %565 = zext i32 %564 to i64
  %566 = getelementptr inbounds i64, ptr %560, i64 %565
  %567 = load i64, ptr %566, align 8, !tbaa !11
  %568 = load i64, ptr %53, align 8, !tbaa !11
  %569 = xor i64 %567, %568
  %570 = load ptr, ptr %4, align 8, !tbaa !5
  %571 = load i32, ptr %51, align 4, !tbaa !9
  %572 = load i32, ptr %54, align 4, !tbaa !9
  %573 = mul i32 5, %572
  %574 = add i32 %571, %573
  %575 = zext i32 %574 to i64
  %576 = getelementptr inbounds i64, ptr %570, i64 %575
  store i64 %569, ptr %576, align 8, !tbaa !11
  %577 = load i32, ptr %54, align 4, !tbaa !9
  %578 = add i32 %577, 1
  store i32 %578, ptr %54, align 4, !tbaa !9
  %579 = load i32, ptr %54, align 4, !tbaa !9
  %580 = load ptr, ptr %4, align 8, !tbaa !5
  %581 = load i32, ptr %51, align 4, !tbaa !9
  %582 = load i32, ptr %54, align 4, !tbaa !9
  %583 = mul i32 5, %582
  %584 = add i32 %581, %583
  %585 = zext i32 %584 to i64
  %586 = getelementptr inbounds i64, ptr %580, i64 %585
  %587 = load i64, ptr %586, align 8, !tbaa !11
  %588 = load i64, ptr %53, align 8, !tbaa !11
  %589 = xor i64 %587, %588
  %590 = load ptr, ptr %4, align 8, !tbaa !5
  %591 = load i32, ptr %51, align 4, !tbaa !9
  %592 = load i32, ptr %54, align 4, !tbaa !9
  %593 = mul i32 5, %592
  %594 = add i32 %591, %593
  %595 = zext i32 %594 to i64
  %596 = getelementptr inbounds i64, ptr %590, i64 %595
  store i64 %589, ptr %596, align 8, !tbaa !11
  %597 = load i32, ptr %54, align 4, !tbaa !9
  %598 = add i32 %597, 1
  store i32 %598, ptr %54, align 4, !tbaa !9
  %599 = load i32, ptr %54, align 4, !tbaa !9
  %600 = load ptr, ptr %4, align 8, !tbaa !5
  %601 = load i32, ptr %51, align 4, !tbaa !9
  %602 = load i32, ptr %54, align 4, !tbaa !9
  %603 = mul i32 5, %602
  %604 = add i32 %601, %603
  %605 = zext i32 %604 to i64
  %606 = getelementptr inbounds i64, ptr %600, i64 %605
  %607 = load i64, ptr %606, align 8, !tbaa !11
  %608 = load i64, ptr %53, align 8, !tbaa !11
  %609 = xor i64 %607, %608
  %610 = load ptr, ptr %4, align 8, !tbaa !5
  %611 = load i32, ptr %51, align 4, !tbaa !9
  %612 = load i32, ptr %54, align 4, !tbaa !9
  %613 = mul i32 5, %612
  %614 = add i32 %611, %613
  %615 = zext i32 %614 to i64
  %616 = getelementptr inbounds i64, ptr %610, i64 %615
  store i64 %609, ptr %616, align 8, !tbaa !11
  %617 = load i32, ptr %54, align 4, !tbaa !9
  %618 = add i32 %617, 1
  store i32 %618, ptr %54, align 4, !tbaa !9
  %619 = load i32, ptr %54, align 4, !tbaa !9
  %620 = load ptr, ptr %4, align 8, !tbaa !5
  %621 = load i32, ptr %51, align 4, !tbaa !9
  %622 = load i32, ptr %54, align 4, !tbaa !9
  %623 = mul i32 5, %622
  %624 = add i32 %621, %623
  %625 = zext i32 %624 to i64
  %626 = getelementptr inbounds i64, ptr %620, i64 %625
  %627 = load i64, ptr %626, align 8, !tbaa !11
  %628 = load i64, ptr %53, align 8, !tbaa !11
  %629 = xor i64 %627, %628
  %630 = load ptr, ptr %4, align 8, !tbaa !5
  %631 = load i32, ptr %51, align 4, !tbaa !9
  %632 = load i32, ptr %54, align 4, !tbaa !9
  %633 = mul i32 5, %632
  %634 = add i32 %631, %633
  %635 = zext i32 %634 to i64
  %636 = getelementptr inbounds i64, ptr %630, i64 %635
  store i64 %629, ptr %636, align 8, !tbaa !11
  %637 = load i32, ptr %54, align 4, !tbaa !9
  %638 = add i32 %637, 1
  store i32 %638, ptr %54, align 4, !tbaa !9
  %639 = load i32, ptr %54, align 4, !tbaa !9
  %640 = load ptr, ptr %4, align 8, !tbaa !5
  %641 = load i32, ptr %51, align 4, !tbaa !9
  %642 = load i32, ptr %54, align 4, !tbaa !9
  %643 = mul i32 5, %642
  %644 = add i32 %641, %643
  %645 = zext i32 %644 to i64
  %646 = getelementptr inbounds i64, ptr %640, i64 %645
  %647 = load i64, ptr %646, align 8, !tbaa !11
  %648 = load i64, ptr %53, align 8, !tbaa !11
  %649 = xor i64 %647, %648
  %650 = load ptr, ptr %4, align 8, !tbaa !5
  %651 = load i32, ptr %51, align 4, !tbaa !9
  %652 = load i32, ptr %54, align 4, !tbaa !9
  %653 = mul i32 5, %652
  %654 = add i32 %651, %653
  %655 = zext i32 %654 to i64
  %656 = getelementptr inbounds i64, ptr %650, i64 %655
  store i64 %649, ptr %656, align 8, !tbaa !11
  %657 = load i32, ptr %54, align 4, !tbaa !9
  %658 = add i32 %657, 1
  store i32 %658, ptr %54, align 4, !tbaa !9
  %659 = load i32, ptr %54, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #5
  br label %660

660:                                              ; preds = %559
  br label %661

661:                                              ; preds = %660
  %662 = load i32, ptr %51, align 4, !tbaa !9
  %663 = add i32 %662, 1
  store i32 %663, ptr %51, align 4, !tbaa !9
  %664 = load i32, ptr %51, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #5
  %665 = load i32, ptr %51, align 4, !tbaa !9
  %666 = add i32 %665, 1
  %667 = urem i32 %666, 5
  %668 = zext i32 %667 to i64
  %669 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %668
  %670 = load i64, ptr %669, align 8, !tbaa !11
  store i64 %670, ptr %55, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #5
  %671 = load i32, ptr %51, align 4, !tbaa !9
  %672 = add i32 %671, 4
  %673 = urem i32 %672, 5
  %674 = zext i32 %673 to i64
  %675 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %674
  %676 = load i64, ptr %675, align 8, !tbaa !11
  %677 = load i64, ptr %55, align 8, !tbaa !11
  %678 = shl i64 %677, 1
  %679 = load i64, ptr %55, align 8, !tbaa !11
  %680 = lshr i64 %679, 63
  %681 = or i64 %678, %680
  %682 = xor i64 %676, %681
  store i64 %682, ptr %56, align 8, !tbaa !11
  br label %683

683:                                              ; preds = %661
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #5
  store i32 0, ptr %57, align 4, !tbaa !9
  %684 = load ptr, ptr %4, align 8, !tbaa !5
  %685 = load i32, ptr %51, align 4, !tbaa !9
  %686 = load i32, ptr %57, align 4, !tbaa !9
  %687 = mul i32 5, %686
  %688 = add i32 %685, %687
  %689 = zext i32 %688 to i64
  %690 = getelementptr inbounds i64, ptr %684, i64 %689
  %691 = load i64, ptr %690, align 8, !tbaa !11
  %692 = load i64, ptr %56, align 8, !tbaa !11
  %693 = xor i64 %691, %692
  %694 = load ptr, ptr %4, align 8, !tbaa !5
  %695 = load i32, ptr %51, align 4, !tbaa !9
  %696 = load i32, ptr %57, align 4, !tbaa !9
  %697 = mul i32 5, %696
  %698 = add i32 %695, %697
  %699 = zext i32 %698 to i64
  %700 = getelementptr inbounds i64, ptr %694, i64 %699
  store i64 %693, ptr %700, align 8, !tbaa !11
  %701 = load i32, ptr %57, align 4, !tbaa !9
  %702 = add i32 %701, 1
  store i32 %702, ptr %57, align 4, !tbaa !9
  %703 = load i32, ptr %57, align 4, !tbaa !9
  %704 = load ptr, ptr %4, align 8, !tbaa !5
  %705 = load i32, ptr %51, align 4, !tbaa !9
  %706 = load i32, ptr %57, align 4, !tbaa !9
  %707 = mul i32 5, %706
  %708 = add i32 %705, %707
  %709 = zext i32 %708 to i64
  %710 = getelementptr inbounds i64, ptr %704, i64 %709
  %711 = load i64, ptr %710, align 8, !tbaa !11
  %712 = load i64, ptr %56, align 8, !tbaa !11
  %713 = xor i64 %711, %712
  %714 = load ptr, ptr %4, align 8, !tbaa !5
  %715 = load i32, ptr %51, align 4, !tbaa !9
  %716 = load i32, ptr %57, align 4, !tbaa !9
  %717 = mul i32 5, %716
  %718 = add i32 %715, %717
  %719 = zext i32 %718 to i64
  %720 = getelementptr inbounds i64, ptr %714, i64 %719
  store i64 %713, ptr %720, align 8, !tbaa !11
  %721 = load i32, ptr %57, align 4, !tbaa !9
  %722 = add i32 %721, 1
  store i32 %722, ptr %57, align 4, !tbaa !9
  %723 = load i32, ptr %57, align 4, !tbaa !9
  %724 = load ptr, ptr %4, align 8, !tbaa !5
  %725 = load i32, ptr %51, align 4, !tbaa !9
  %726 = load i32, ptr %57, align 4, !tbaa !9
  %727 = mul i32 5, %726
  %728 = add i32 %725, %727
  %729 = zext i32 %728 to i64
  %730 = getelementptr inbounds i64, ptr %724, i64 %729
  %731 = load i64, ptr %730, align 8, !tbaa !11
  %732 = load i64, ptr %56, align 8, !tbaa !11
  %733 = xor i64 %731, %732
  %734 = load ptr, ptr %4, align 8, !tbaa !5
  %735 = load i32, ptr %51, align 4, !tbaa !9
  %736 = load i32, ptr %57, align 4, !tbaa !9
  %737 = mul i32 5, %736
  %738 = add i32 %735, %737
  %739 = zext i32 %738 to i64
  %740 = getelementptr inbounds i64, ptr %734, i64 %739
  store i64 %733, ptr %740, align 8, !tbaa !11
  %741 = load i32, ptr %57, align 4, !tbaa !9
  %742 = add i32 %741, 1
  store i32 %742, ptr %57, align 4, !tbaa !9
  %743 = load i32, ptr %57, align 4, !tbaa !9
  %744 = load ptr, ptr %4, align 8, !tbaa !5
  %745 = load i32, ptr %51, align 4, !tbaa !9
  %746 = load i32, ptr %57, align 4, !tbaa !9
  %747 = mul i32 5, %746
  %748 = add i32 %745, %747
  %749 = zext i32 %748 to i64
  %750 = getelementptr inbounds i64, ptr %744, i64 %749
  %751 = load i64, ptr %750, align 8, !tbaa !11
  %752 = load i64, ptr %56, align 8, !tbaa !11
  %753 = xor i64 %751, %752
  %754 = load ptr, ptr %4, align 8, !tbaa !5
  %755 = load i32, ptr %51, align 4, !tbaa !9
  %756 = load i32, ptr %57, align 4, !tbaa !9
  %757 = mul i32 5, %756
  %758 = add i32 %755, %757
  %759 = zext i32 %758 to i64
  %760 = getelementptr inbounds i64, ptr %754, i64 %759
  store i64 %753, ptr %760, align 8, !tbaa !11
  %761 = load i32, ptr %57, align 4, !tbaa !9
  %762 = add i32 %761, 1
  store i32 %762, ptr %57, align 4, !tbaa !9
  %763 = load i32, ptr %57, align 4, !tbaa !9
  %764 = load ptr, ptr %4, align 8, !tbaa !5
  %765 = load i32, ptr %51, align 4, !tbaa !9
  %766 = load i32, ptr %57, align 4, !tbaa !9
  %767 = mul i32 5, %766
  %768 = add i32 %765, %767
  %769 = zext i32 %768 to i64
  %770 = getelementptr inbounds i64, ptr %764, i64 %769
  %771 = load i64, ptr %770, align 8, !tbaa !11
  %772 = load i64, ptr %56, align 8, !tbaa !11
  %773 = xor i64 %771, %772
  %774 = load ptr, ptr %4, align 8, !tbaa !5
  %775 = load i32, ptr %51, align 4, !tbaa !9
  %776 = load i32, ptr %57, align 4, !tbaa !9
  %777 = mul i32 5, %776
  %778 = add i32 %775, %777
  %779 = zext i32 %778 to i64
  %780 = getelementptr inbounds i64, ptr %774, i64 %779
  store i64 %773, ptr %780, align 8, !tbaa !11
  %781 = load i32, ptr %57, align 4, !tbaa !9
  %782 = add i32 %781, 1
  store i32 %782, ptr %57, align 4, !tbaa !9
  %783 = load i32, ptr %57, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #5
  br label %784

784:                                              ; preds = %683
  br label %785

785:                                              ; preds = %784
  %786 = load i32, ptr %51, align 4, !tbaa !9
  %787 = add i32 %786, 1
  store i32 %787, ptr %51, align 4, !tbaa !9
  %788 = load i32, ptr %51, align 4, !tbaa !9
  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.start.p0(i64 8, ptr %58) #5
  %789 = load i32, ptr %51, align 4, !tbaa !9
  %790 = add i32 %789, 1
  %791 = urem i32 %790, 5
  %792 = zext i32 %791 to i64
  %793 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %792
  %794 = load i64, ptr %793, align 8, !tbaa !11
  store i64 %794, ptr %58, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #5
  %795 = load i32, ptr %51, align 4, !tbaa !9
  %796 = add i32 %795, 4
  %797 = urem i32 %796, 5
  %798 = zext i32 %797 to i64
  %799 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %798
  %800 = load i64, ptr %799, align 8, !tbaa !11
  %801 = load i64, ptr %58, align 8, !tbaa !11
  %802 = shl i64 %801, 1
  %803 = load i64, ptr %58, align 8, !tbaa !11
  %804 = lshr i64 %803, 63
  %805 = or i64 %802, %804
  %806 = xor i64 %800, %805
  store i64 %806, ptr %59, align 8, !tbaa !11
  br label %807

807:                                              ; preds = %785
  call void @llvm.lifetime.start.p0(i64 4, ptr %60) #5
  store i32 0, ptr %60, align 4, !tbaa !9
  %808 = load ptr, ptr %4, align 8, !tbaa !5
  %809 = load i32, ptr %51, align 4, !tbaa !9
  %810 = load i32, ptr %60, align 4, !tbaa !9
  %811 = mul i32 5, %810
  %812 = add i32 %809, %811
  %813 = zext i32 %812 to i64
  %814 = getelementptr inbounds i64, ptr %808, i64 %813
  %815 = load i64, ptr %814, align 8, !tbaa !11
  %816 = load i64, ptr %59, align 8, !tbaa !11
  %817 = xor i64 %815, %816
  %818 = load ptr, ptr %4, align 8, !tbaa !5
  %819 = load i32, ptr %51, align 4, !tbaa !9
  %820 = load i32, ptr %60, align 4, !tbaa !9
  %821 = mul i32 5, %820
  %822 = add i32 %819, %821
  %823 = zext i32 %822 to i64
  %824 = getelementptr inbounds i64, ptr %818, i64 %823
  store i64 %817, ptr %824, align 8, !tbaa !11
  %825 = load i32, ptr %60, align 4, !tbaa !9
  %826 = add i32 %825, 1
  store i32 %826, ptr %60, align 4, !tbaa !9
  %827 = load i32, ptr %60, align 4, !tbaa !9
  %828 = load ptr, ptr %4, align 8, !tbaa !5
  %829 = load i32, ptr %51, align 4, !tbaa !9
  %830 = load i32, ptr %60, align 4, !tbaa !9
  %831 = mul i32 5, %830
  %832 = add i32 %829, %831
  %833 = zext i32 %832 to i64
  %834 = getelementptr inbounds i64, ptr %828, i64 %833
  %835 = load i64, ptr %834, align 8, !tbaa !11
  %836 = load i64, ptr %59, align 8, !tbaa !11
  %837 = xor i64 %835, %836
  %838 = load ptr, ptr %4, align 8, !tbaa !5
  %839 = load i32, ptr %51, align 4, !tbaa !9
  %840 = load i32, ptr %60, align 4, !tbaa !9
  %841 = mul i32 5, %840
  %842 = add i32 %839, %841
  %843 = zext i32 %842 to i64
  %844 = getelementptr inbounds i64, ptr %838, i64 %843
  store i64 %837, ptr %844, align 8, !tbaa !11
  %845 = load i32, ptr %60, align 4, !tbaa !9
  %846 = add i32 %845, 1
  store i32 %846, ptr %60, align 4, !tbaa !9
  %847 = load i32, ptr %60, align 4, !tbaa !9
  %848 = load ptr, ptr %4, align 8, !tbaa !5
  %849 = load i32, ptr %51, align 4, !tbaa !9
  %850 = load i32, ptr %60, align 4, !tbaa !9
  %851 = mul i32 5, %850
  %852 = add i32 %849, %851
  %853 = zext i32 %852 to i64
  %854 = getelementptr inbounds i64, ptr %848, i64 %853
  %855 = load i64, ptr %854, align 8, !tbaa !11
  %856 = load i64, ptr %59, align 8, !tbaa !11
  %857 = xor i64 %855, %856
  %858 = load ptr, ptr %4, align 8, !tbaa !5
  %859 = load i32, ptr %51, align 4, !tbaa !9
  %860 = load i32, ptr %60, align 4, !tbaa !9
  %861 = mul i32 5, %860
  %862 = add i32 %859, %861
  %863 = zext i32 %862 to i64
  %864 = getelementptr inbounds i64, ptr %858, i64 %863
  store i64 %857, ptr %864, align 8, !tbaa !11
  %865 = load i32, ptr %60, align 4, !tbaa !9
  %866 = add i32 %865, 1
  store i32 %866, ptr %60, align 4, !tbaa !9
  %867 = load i32, ptr %60, align 4, !tbaa !9
  %868 = load ptr, ptr %4, align 8, !tbaa !5
  %869 = load i32, ptr %51, align 4, !tbaa !9
  %870 = load i32, ptr %60, align 4, !tbaa !9
  %871 = mul i32 5, %870
  %872 = add i32 %869, %871
  %873 = zext i32 %872 to i64
  %874 = getelementptr inbounds i64, ptr %868, i64 %873
  %875 = load i64, ptr %874, align 8, !tbaa !11
  %876 = load i64, ptr %59, align 8, !tbaa !11
  %877 = xor i64 %875, %876
  %878 = load ptr, ptr %4, align 8, !tbaa !5
  %879 = load i32, ptr %51, align 4, !tbaa !9
  %880 = load i32, ptr %60, align 4, !tbaa !9
  %881 = mul i32 5, %880
  %882 = add i32 %879, %881
  %883 = zext i32 %882 to i64
  %884 = getelementptr inbounds i64, ptr %878, i64 %883
  store i64 %877, ptr %884, align 8, !tbaa !11
  %885 = load i32, ptr %60, align 4, !tbaa !9
  %886 = add i32 %885, 1
  store i32 %886, ptr %60, align 4, !tbaa !9
  %887 = load i32, ptr %60, align 4, !tbaa !9
  %888 = load ptr, ptr %4, align 8, !tbaa !5
  %889 = load i32, ptr %51, align 4, !tbaa !9
  %890 = load i32, ptr %60, align 4, !tbaa !9
  %891 = mul i32 5, %890
  %892 = add i32 %889, %891
  %893 = zext i32 %892 to i64
  %894 = getelementptr inbounds i64, ptr %888, i64 %893
  %895 = load i64, ptr %894, align 8, !tbaa !11
  %896 = load i64, ptr %59, align 8, !tbaa !11
  %897 = xor i64 %895, %896
  %898 = load ptr, ptr %4, align 8, !tbaa !5
  %899 = load i32, ptr %51, align 4, !tbaa !9
  %900 = load i32, ptr %60, align 4, !tbaa !9
  %901 = mul i32 5, %900
  %902 = add i32 %899, %901
  %903 = zext i32 %902 to i64
  %904 = getelementptr inbounds i64, ptr %898, i64 %903
  store i64 %897, ptr %904, align 8, !tbaa !11
  %905 = load i32, ptr %60, align 4, !tbaa !9
  %906 = add i32 %905, 1
  store i32 %906, ptr %60, align 4, !tbaa !9
  %907 = load i32, ptr %60, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %60) #5
  br label %908

908:                                              ; preds = %807
  br label %909

909:                                              ; preds = %908
  %910 = load i32, ptr %51, align 4, !tbaa !9
  %911 = add i32 %910, 1
  store i32 %911, ptr %51, align 4, !tbaa !9
  %912 = load i32, ptr %51, align 4, !tbaa !9
  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.start.p0(i64 8, ptr %61) #5
  %913 = load i32, ptr %51, align 4, !tbaa !9
  %914 = add i32 %913, 1
  %915 = urem i32 %914, 5
  %916 = zext i32 %915 to i64
  %917 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %916
  %918 = load i64, ptr %917, align 8, !tbaa !11
  store i64 %918, ptr %61, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #5
  %919 = load i32, ptr %51, align 4, !tbaa !9
  %920 = add i32 %919, 4
  %921 = urem i32 %920, 5
  %922 = zext i32 %921 to i64
  %923 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %922
  %924 = load i64, ptr %923, align 8, !tbaa !11
  %925 = load i64, ptr %61, align 8, !tbaa !11
  %926 = shl i64 %925, 1
  %927 = load i64, ptr %61, align 8, !tbaa !11
  %928 = lshr i64 %927, 63
  %929 = or i64 %926, %928
  %930 = xor i64 %924, %929
  store i64 %930, ptr %62, align 8, !tbaa !11
  br label %931

931:                                              ; preds = %909
  call void @llvm.lifetime.start.p0(i64 4, ptr %63) #5
  store i32 0, ptr %63, align 4, !tbaa !9
  %932 = load ptr, ptr %4, align 8, !tbaa !5
  %933 = load i32, ptr %51, align 4, !tbaa !9
  %934 = load i32, ptr %63, align 4, !tbaa !9
  %935 = mul i32 5, %934
  %936 = add i32 %933, %935
  %937 = zext i32 %936 to i64
  %938 = getelementptr inbounds i64, ptr %932, i64 %937
  %939 = load i64, ptr %938, align 8, !tbaa !11
  %940 = load i64, ptr %62, align 8, !tbaa !11
  %941 = xor i64 %939, %940
  %942 = load ptr, ptr %4, align 8, !tbaa !5
  %943 = load i32, ptr %51, align 4, !tbaa !9
  %944 = load i32, ptr %63, align 4, !tbaa !9
  %945 = mul i32 5, %944
  %946 = add i32 %943, %945
  %947 = zext i32 %946 to i64
  %948 = getelementptr inbounds i64, ptr %942, i64 %947
  store i64 %941, ptr %948, align 8, !tbaa !11
  %949 = load i32, ptr %63, align 4, !tbaa !9
  %950 = add i32 %949, 1
  store i32 %950, ptr %63, align 4, !tbaa !9
  %951 = load i32, ptr %63, align 4, !tbaa !9
  %952 = load ptr, ptr %4, align 8, !tbaa !5
  %953 = load i32, ptr %51, align 4, !tbaa !9
  %954 = load i32, ptr %63, align 4, !tbaa !9
  %955 = mul i32 5, %954
  %956 = add i32 %953, %955
  %957 = zext i32 %956 to i64
  %958 = getelementptr inbounds i64, ptr %952, i64 %957
  %959 = load i64, ptr %958, align 8, !tbaa !11
  %960 = load i64, ptr %62, align 8, !tbaa !11
  %961 = xor i64 %959, %960
  %962 = load ptr, ptr %4, align 8, !tbaa !5
  %963 = load i32, ptr %51, align 4, !tbaa !9
  %964 = load i32, ptr %63, align 4, !tbaa !9
  %965 = mul i32 5, %964
  %966 = add i32 %963, %965
  %967 = zext i32 %966 to i64
  %968 = getelementptr inbounds i64, ptr %962, i64 %967
  store i64 %961, ptr %968, align 8, !tbaa !11
  %969 = load i32, ptr %63, align 4, !tbaa !9
  %970 = add i32 %969, 1
  store i32 %970, ptr %63, align 4, !tbaa !9
  %971 = load i32, ptr %63, align 4, !tbaa !9
  %972 = load ptr, ptr %4, align 8, !tbaa !5
  %973 = load i32, ptr %51, align 4, !tbaa !9
  %974 = load i32, ptr %63, align 4, !tbaa !9
  %975 = mul i32 5, %974
  %976 = add i32 %973, %975
  %977 = zext i32 %976 to i64
  %978 = getelementptr inbounds i64, ptr %972, i64 %977
  %979 = load i64, ptr %978, align 8, !tbaa !11
  %980 = load i64, ptr %62, align 8, !tbaa !11
  %981 = xor i64 %979, %980
  %982 = load ptr, ptr %4, align 8, !tbaa !5
  %983 = load i32, ptr %51, align 4, !tbaa !9
  %984 = load i32, ptr %63, align 4, !tbaa !9
  %985 = mul i32 5, %984
  %986 = add i32 %983, %985
  %987 = zext i32 %986 to i64
  %988 = getelementptr inbounds i64, ptr %982, i64 %987
  store i64 %981, ptr %988, align 8, !tbaa !11
  %989 = load i32, ptr %63, align 4, !tbaa !9
  %990 = add i32 %989, 1
  store i32 %990, ptr %63, align 4, !tbaa !9
  %991 = load i32, ptr %63, align 4, !tbaa !9
  %992 = load ptr, ptr %4, align 8, !tbaa !5
  %993 = load i32, ptr %51, align 4, !tbaa !9
  %994 = load i32, ptr %63, align 4, !tbaa !9
  %995 = mul i32 5, %994
  %996 = add i32 %993, %995
  %997 = zext i32 %996 to i64
  %998 = getelementptr inbounds i64, ptr %992, i64 %997
  %999 = load i64, ptr %998, align 8, !tbaa !11
  %1000 = load i64, ptr %62, align 8, !tbaa !11
  %1001 = xor i64 %999, %1000
  %1002 = load ptr, ptr %4, align 8, !tbaa !5
  %1003 = load i32, ptr %51, align 4, !tbaa !9
  %1004 = load i32, ptr %63, align 4, !tbaa !9
  %1005 = mul i32 5, %1004
  %1006 = add i32 %1003, %1005
  %1007 = zext i32 %1006 to i64
  %1008 = getelementptr inbounds i64, ptr %1002, i64 %1007
  store i64 %1001, ptr %1008, align 8, !tbaa !11
  %1009 = load i32, ptr %63, align 4, !tbaa !9
  %1010 = add i32 %1009, 1
  store i32 %1010, ptr %63, align 4, !tbaa !9
  %1011 = load i32, ptr %63, align 4, !tbaa !9
  %1012 = load ptr, ptr %4, align 8, !tbaa !5
  %1013 = load i32, ptr %51, align 4, !tbaa !9
  %1014 = load i32, ptr %63, align 4, !tbaa !9
  %1015 = mul i32 5, %1014
  %1016 = add i32 %1013, %1015
  %1017 = zext i32 %1016 to i64
  %1018 = getelementptr inbounds i64, ptr %1012, i64 %1017
  %1019 = load i64, ptr %1018, align 8, !tbaa !11
  %1020 = load i64, ptr %62, align 8, !tbaa !11
  %1021 = xor i64 %1019, %1020
  %1022 = load ptr, ptr %4, align 8, !tbaa !5
  %1023 = load i32, ptr %51, align 4, !tbaa !9
  %1024 = load i32, ptr %63, align 4, !tbaa !9
  %1025 = mul i32 5, %1024
  %1026 = add i32 %1023, %1025
  %1027 = zext i32 %1026 to i64
  %1028 = getelementptr inbounds i64, ptr %1022, i64 %1027
  store i64 %1021, ptr %1028, align 8, !tbaa !11
  %1029 = load i32, ptr %63, align 4, !tbaa !9
  %1030 = add i32 %1029, 1
  store i32 %1030, ptr %63, align 4, !tbaa !9
  %1031 = load i32, ptr %63, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %63) #5
  br label %1032

1032:                                             ; preds = %931
  br label %1033

1033:                                             ; preds = %1032
  %1034 = load i32, ptr %51, align 4, !tbaa !9
  %1035 = add i32 %1034, 1
  store i32 %1035, ptr %51, align 4, !tbaa !9
  %1036 = load i32, ptr %51, align 4, !tbaa !9
  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.start.p0(i64 8, ptr %64) #5
  %1037 = load i32, ptr %51, align 4, !tbaa !9
  %1038 = add i32 %1037, 1
  %1039 = urem i32 %1038, 5
  %1040 = zext i32 %1039 to i64
  %1041 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %1040
  %1042 = load i64, ptr %1041, align 8, !tbaa !11
  store i64 %1042, ptr %64, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #5
  %1043 = load i32, ptr %51, align 4, !tbaa !9
  %1044 = add i32 %1043, 4
  %1045 = urem i32 %1044, 5
  %1046 = zext i32 %1045 to i64
  %1047 = getelementptr inbounds [5 x i64], ptr %49, i64 0, i64 %1046
  %1048 = load i64, ptr %1047, align 8, !tbaa !11
  %1049 = load i64, ptr %64, align 8, !tbaa !11
  %1050 = shl i64 %1049, 1
  %1051 = load i64, ptr %64, align 8, !tbaa !11
  %1052 = lshr i64 %1051, 63
  %1053 = or i64 %1050, %1052
  %1054 = xor i64 %1048, %1053
  store i64 %1054, ptr %65, align 8, !tbaa !11
  br label %1055

1055:                                             ; preds = %1033
  call void @llvm.lifetime.start.p0(i64 4, ptr %66) #5
  store i32 0, ptr %66, align 4, !tbaa !9
  %1056 = load ptr, ptr %4, align 8, !tbaa !5
  %1057 = load i32, ptr %51, align 4, !tbaa !9
  %1058 = load i32, ptr %66, align 4, !tbaa !9
  %1059 = mul i32 5, %1058
  %1060 = add i32 %1057, %1059
  %1061 = zext i32 %1060 to i64
  %1062 = getelementptr inbounds i64, ptr %1056, i64 %1061
  %1063 = load i64, ptr %1062, align 8, !tbaa !11
  %1064 = load i64, ptr %65, align 8, !tbaa !11
  %1065 = xor i64 %1063, %1064
  %1066 = load ptr, ptr %4, align 8, !tbaa !5
  %1067 = load i32, ptr %51, align 4, !tbaa !9
  %1068 = load i32, ptr %66, align 4, !tbaa !9
  %1069 = mul i32 5, %1068
  %1070 = add i32 %1067, %1069
  %1071 = zext i32 %1070 to i64
  %1072 = getelementptr inbounds i64, ptr %1066, i64 %1071
  store i64 %1065, ptr %1072, align 8, !tbaa !11
  %1073 = load i32, ptr %66, align 4, !tbaa !9
  %1074 = add i32 %1073, 1
  store i32 %1074, ptr %66, align 4, !tbaa !9
  %1075 = load i32, ptr %66, align 4, !tbaa !9
  %1076 = load ptr, ptr %4, align 8, !tbaa !5
  %1077 = load i32, ptr %51, align 4, !tbaa !9
  %1078 = load i32, ptr %66, align 4, !tbaa !9
  %1079 = mul i32 5, %1078
  %1080 = add i32 %1077, %1079
  %1081 = zext i32 %1080 to i64
  %1082 = getelementptr inbounds i64, ptr %1076, i64 %1081
  %1083 = load i64, ptr %1082, align 8, !tbaa !11
  %1084 = load i64, ptr %65, align 8, !tbaa !11
  %1085 = xor i64 %1083, %1084
  %1086 = load ptr, ptr %4, align 8, !tbaa !5
  %1087 = load i32, ptr %51, align 4, !tbaa !9
  %1088 = load i32, ptr %66, align 4, !tbaa !9
  %1089 = mul i32 5, %1088
  %1090 = add i32 %1087, %1089
  %1091 = zext i32 %1090 to i64
  %1092 = getelementptr inbounds i64, ptr %1086, i64 %1091
  store i64 %1085, ptr %1092, align 8, !tbaa !11
  %1093 = load i32, ptr %66, align 4, !tbaa !9
  %1094 = add i32 %1093, 1
  store i32 %1094, ptr %66, align 4, !tbaa !9
  %1095 = load i32, ptr %66, align 4, !tbaa !9
  %1096 = load ptr, ptr %4, align 8, !tbaa !5
  %1097 = load i32, ptr %51, align 4, !tbaa !9
  %1098 = load i32, ptr %66, align 4, !tbaa !9
  %1099 = mul i32 5, %1098
  %1100 = add i32 %1097, %1099
  %1101 = zext i32 %1100 to i64
  %1102 = getelementptr inbounds i64, ptr %1096, i64 %1101
  %1103 = load i64, ptr %1102, align 8, !tbaa !11
  %1104 = load i64, ptr %65, align 8, !tbaa !11
  %1105 = xor i64 %1103, %1104
  %1106 = load ptr, ptr %4, align 8, !tbaa !5
  %1107 = load i32, ptr %51, align 4, !tbaa !9
  %1108 = load i32, ptr %66, align 4, !tbaa !9
  %1109 = mul i32 5, %1108
  %1110 = add i32 %1107, %1109
  %1111 = zext i32 %1110 to i64
  %1112 = getelementptr inbounds i64, ptr %1106, i64 %1111
  store i64 %1105, ptr %1112, align 8, !tbaa !11
  %1113 = load i32, ptr %66, align 4, !tbaa !9
  %1114 = add i32 %1113, 1
  store i32 %1114, ptr %66, align 4, !tbaa !9
  %1115 = load i32, ptr %66, align 4, !tbaa !9
  %1116 = load ptr, ptr %4, align 8, !tbaa !5
  %1117 = load i32, ptr %51, align 4, !tbaa !9
  %1118 = load i32, ptr %66, align 4, !tbaa !9
  %1119 = mul i32 5, %1118
  %1120 = add i32 %1117, %1119
  %1121 = zext i32 %1120 to i64
  %1122 = getelementptr inbounds i64, ptr %1116, i64 %1121
  %1123 = load i64, ptr %1122, align 8, !tbaa !11
  %1124 = load i64, ptr %65, align 8, !tbaa !11
  %1125 = xor i64 %1123, %1124
  %1126 = load ptr, ptr %4, align 8, !tbaa !5
  %1127 = load i32, ptr %51, align 4, !tbaa !9
  %1128 = load i32, ptr %66, align 4, !tbaa !9
  %1129 = mul i32 5, %1128
  %1130 = add i32 %1127, %1129
  %1131 = zext i32 %1130 to i64
  %1132 = getelementptr inbounds i64, ptr %1126, i64 %1131
  store i64 %1125, ptr %1132, align 8, !tbaa !11
  %1133 = load i32, ptr %66, align 4, !tbaa !9
  %1134 = add i32 %1133, 1
  store i32 %1134, ptr %66, align 4, !tbaa !9
  %1135 = load i32, ptr %66, align 4, !tbaa !9
  %1136 = load ptr, ptr %4, align 8, !tbaa !5
  %1137 = load i32, ptr %51, align 4, !tbaa !9
  %1138 = load i32, ptr %66, align 4, !tbaa !9
  %1139 = mul i32 5, %1138
  %1140 = add i32 %1137, %1139
  %1141 = zext i32 %1140 to i64
  %1142 = getelementptr inbounds i64, ptr %1136, i64 %1141
  %1143 = load i64, ptr %1142, align 8, !tbaa !11
  %1144 = load i64, ptr %65, align 8, !tbaa !11
  %1145 = xor i64 %1143, %1144
  %1146 = load ptr, ptr %4, align 8, !tbaa !5
  %1147 = load i32, ptr %51, align 4, !tbaa !9
  %1148 = load i32, ptr %66, align 4, !tbaa !9
  %1149 = mul i32 5, %1148
  %1150 = add i32 %1147, %1149
  %1151 = zext i32 %1150 to i64
  %1152 = getelementptr inbounds i64, ptr %1146, i64 %1151
  store i64 %1145, ptr %1152, align 8, !tbaa !11
  %1153 = load i32, ptr %66, align 4, !tbaa !9
  %1154 = add i32 %1153, 1
  store i32 %1154, ptr %66, align 4, !tbaa !9
  %1155 = load i32, ptr %66, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %66) #5
  br label %1156

1156:                                             ; preds = %1055
  br label %1157

1157:                                             ; preds = %1156
  %1158 = load i32, ptr %51, align 4, !tbaa !9
  %1159 = add i32 %1158, 1
  store i32 %1159, ptr %51, align 4, !tbaa !9
  %1160 = load i32, ptr %51, align 4, !tbaa !9
  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 4, ptr %51) #5
  br label %1161

1161:                                             ; preds = %1157
  br label %1162

1162:                                             ; preds = %1161
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #5
  %1163 = load ptr, ptr %4, align 8, !tbaa !5
  %1164 = getelementptr inbounds i64, ptr %1163, i64 1
  %1165 = load i64, ptr %1164, align 8, !tbaa !11
  store i64 %1165, ptr %67, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %68) #5
  %1166 = load i64, ptr %67, align 8, !tbaa !11
  store i64 %1166, ptr %68, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %69) #5
  store i32 0, ptr %69, align 4, !tbaa !9
  br label %1167

1167:                                             ; preds = %1201, %1162
  %1168 = load i32, ptr %69, align 4, !tbaa !9
  %1169 = icmp ult i32 %1168, 24
  br i1 %1169, label %1171, label %1170

1170:                                             ; preds = %1167
  store i32 25, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %69) #5
  br label %1204

1171:                                             ; preds = %1167
  call void @llvm.lifetime.start.p0(i64 4, ptr %70) #5
  %1172 = load i32, ptr %69, align 4, !tbaa !9
  %1173 = zext i32 %1172 to i64
  %1174 = getelementptr inbounds [24 x i32], ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 0, i64 %1173
  %1175 = load i32, ptr %1174, align 4, !tbaa !9
  store i32 %1175, ptr %70, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %71) #5
  %1176 = load i32, ptr %69, align 4, !tbaa !9
  %1177 = zext i32 %1176 to i64
  %1178 = getelementptr inbounds [24 x i32], ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 0, i64 %1177
  %1179 = load i32, ptr %1178, align 4, !tbaa !9
  store i32 %1179, ptr %71, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %72) #5
  %1180 = load ptr, ptr %4, align 8, !tbaa !5
  %1181 = load i32, ptr %70, align 4, !tbaa !9
  %1182 = zext i32 %1181 to i64
  %1183 = getelementptr inbounds i64, ptr %1180, i64 %1182
  %1184 = load i64, ptr %1183, align 8, !tbaa !11
  store i64 %1184, ptr %72, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #5
  %1185 = load i64, ptr %68, align 8, !tbaa !11
  store i64 %1185, ptr %73, align 8, !tbaa !11
  %1186 = load i64, ptr %73, align 8, !tbaa !11
  %1187 = load i32, ptr %71, align 4, !tbaa !9
  %1188 = zext i32 %1187 to i64
  %1189 = shl i64 %1186, %1188
  %1190 = load i64, ptr %73, align 8, !tbaa !11
  %1191 = load i32, ptr %71, align 4, !tbaa !9
  %1192 = sub i32 64, %1191
  %1193 = zext i32 %1192 to i64
  %1194 = lshr i64 %1190, %1193
  %1195 = or i64 %1189, %1194
  %1196 = load ptr, ptr %4, align 8, !tbaa !5
  %1197 = load i32, ptr %70, align 4, !tbaa !9
  %1198 = zext i32 %1197 to i64
  %1199 = getelementptr inbounds i64, ptr %1196, i64 %1198
  store i64 %1195, ptr %1199, align 8, !tbaa !11
  %1200 = load i64, ptr %72, align 8, !tbaa !11
  store i64 %1200, ptr %68, align 8, !tbaa !11
  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 4, ptr %71) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %70) #5
  br label %1201

1201:                                             ; preds = %1171
  %1202 = load i32, ptr %69, align 4, !tbaa !9
  %1203 = add i32 %1202, 1
  store i32 %1203, ptr %69, align 4, !tbaa !9
  br label %1167, !llvm.loop !15

1204:                                             ; preds = %1170
  br label %1205

1205:                                             ; preds = %1204
  call void @llvm.lifetime.start.p0(i64 4, ptr %74) #5
  store i32 0, ptr %74, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %75) #5
  %1206 = load ptr, ptr %4, align 8, !tbaa !5
  %1207 = load i32, ptr %74, align 4, !tbaa !9
  %1208 = mul i32 5, %1207
  %1209 = add i32 0, %1208
  %1210 = zext i32 %1209 to i64
  %1211 = getelementptr inbounds i64, ptr %1206, i64 %1210
  %1212 = load i64, ptr %1211, align 8, !tbaa !11
  %1213 = load ptr, ptr %4, align 8, !tbaa !5
  %1214 = load i32, ptr %74, align 4, !tbaa !9
  %1215 = mul i32 5, %1214
  %1216 = add i32 1, %1215
  %1217 = zext i32 %1216 to i64
  %1218 = getelementptr inbounds i64, ptr %1213, i64 %1217
  %1219 = load i64, ptr %1218, align 8, !tbaa !11
  %1220 = xor i64 %1219, -1
  %1221 = load ptr, ptr %4, align 8, !tbaa !5
  %1222 = load i32, ptr %74, align 4, !tbaa !9
  %1223 = mul i32 5, %1222
  %1224 = add i32 2, %1223
  %1225 = zext i32 %1224 to i64
  %1226 = getelementptr inbounds i64, ptr %1221, i64 %1225
  %1227 = load i64, ptr %1226, align 8, !tbaa !11
  %1228 = and i64 %1220, %1227
  %1229 = xor i64 %1212, %1228
  store i64 %1229, ptr %75, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %76) #5
  %1230 = load ptr, ptr %4, align 8, !tbaa !5
  %1231 = load i32, ptr %74, align 4, !tbaa !9
  %1232 = mul i32 5, %1231
  %1233 = add i32 1, %1232
  %1234 = zext i32 %1233 to i64
  %1235 = getelementptr inbounds i64, ptr %1230, i64 %1234
  %1236 = load i64, ptr %1235, align 8, !tbaa !11
  %1237 = load ptr, ptr %4, align 8, !tbaa !5
  %1238 = load i32, ptr %74, align 4, !tbaa !9
  %1239 = mul i32 5, %1238
  %1240 = add i32 2, %1239
  %1241 = zext i32 %1240 to i64
  %1242 = getelementptr inbounds i64, ptr %1237, i64 %1241
  %1243 = load i64, ptr %1242, align 8, !tbaa !11
  %1244 = xor i64 %1243, -1
  %1245 = load ptr, ptr %4, align 8, !tbaa !5
  %1246 = load i32, ptr %74, align 4, !tbaa !9
  %1247 = mul i32 5, %1246
  %1248 = add i32 3, %1247
  %1249 = zext i32 %1248 to i64
  %1250 = getelementptr inbounds i64, ptr %1245, i64 %1249
  %1251 = load i64, ptr %1250, align 8, !tbaa !11
  %1252 = and i64 %1244, %1251
  %1253 = xor i64 %1236, %1252
  store i64 %1253, ptr %76, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %77) #5
  %1254 = load ptr, ptr %4, align 8, !tbaa !5
  %1255 = load i32, ptr %74, align 4, !tbaa !9
  %1256 = mul i32 5, %1255
  %1257 = add i32 2, %1256
  %1258 = zext i32 %1257 to i64
  %1259 = getelementptr inbounds i64, ptr %1254, i64 %1258
  %1260 = load i64, ptr %1259, align 8, !tbaa !11
  %1261 = load ptr, ptr %4, align 8, !tbaa !5
  %1262 = load i32, ptr %74, align 4, !tbaa !9
  %1263 = mul i32 5, %1262
  %1264 = add i32 3, %1263
  %1265 = zext i32 %1264 to i64
  %1266 = getelementptr inbounds i64, ptr %1261, i64 %1265
  %1267 = load i64, ptr %1266, align 8, !tbaa !11
  %1268 = xor i64 %1267, -1
  %1269 = load ptr, ptr %4, align 8, !tbaa !5
  %1270 = load i32, ptr %74, align 4, !tbaa !9
  %1271 = mul i32 5, %1270
  %1272 = add i32 4, %1271
  %1273 = zext i32 %1272 to i64
  %1274 = getelementptr inbounds i64, ptr %1269, i64 %1273
  %1275 = load i64, ptr %1274, align 8, !tbaa !11
  %1276 = and i64 %1268, %1275
  %1277 = xor i64 %1260, %1276
  store i64 %1277, ptr %77, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %78) #5
  %1278 = load ptr, ptr %4, align 8, !tbaa !5
  %1279 = load i32, ptr %74, align 4, !tbaa !9
  %1280 = mul i32 5, %1279
  %1281 = add i32 3, %1280
  %1282 = zext i32 %1281 to i64
  %1283 = getelementptr inbounds i64, ptr %1278, i64 %1282
  %1284 = load i64, ptr %1283, align 8, !tbaa !11
  %1285 = load ptr, ptr %4, align 8, !tbaa !5
  %1286 = load i32, ptr %74, align 4, !tbaa !9
  %1287 = mul i32 5, %1286
  %1288 = add i32 4, %1287
  %1289 = zext i32 %1288 to i64
  %1290 = getelementptr inbounds i64, ptr %1285, i64 %1289
  %1291 = load i64, ptr %1290, align 8, !tbaa !11
  %1292 = xor i64 %1291, -1
  %1293 = load ptr, ptr %4, align 8, !tbaa !5
  %1294 = load i32, ptr %74, align 4, !tbaa !9
  %1295 = mul i32 5, %1294
  %1296 = add i32 0, %1295
  %1297 = zext i32 %1296 to i64
  %1298 = getelementptr inbounds i64, ptr %1293, i64 %1297
  %1299 = load i64, ptr %1298, align 8, !tbaa !11
  %1300 = and i64 %1292, %1299
  %1301 = xor i64 %1284, %1300
  store i64 %1301, ptr %78, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %79) #5
  %1302 = load ptr, ptr %4, align 8, !tbaa !5
  %1303 = load i32, ptr %74, align 4, !tbaa !9
  %1304 = mul i32 5, %1303
  %1305 = add i32 4, %1304
  %1306 = zext i32 %1305 to i64
  %1307 = getelementptr inbounds i64, ptr %1302, i64 %1306
  %1308 = load i64, ptr %1307, align 8, !tbaa !11
  %1309 = load ptr, ptr %4, align 8, !tbaa !5
  %1310 = load i32, ptr %74, align 4, !tbaa !9
  %1311 = mul i32 5, %1310
  %1312 = add i32 0, %1311
  %1313 = zext i32 %1312 to i64
  %1314 = getelementptr inbounds i64, ptr %1309, i64 %1313
  %1315 = load i64, ptr %1314, align 8, !tbaa !11
  %1316 = xor i64 %1315, -1
  %1317 = load ptr, ptr %4, align 8, !tbaa !5
  %1318 = load i32, ptr %74, align 4, !tbaa !9
  %1319 = mul i32 5, %1318
  %1320 = add i32 1, %1319
  %1321 = zext i32 %1320 to i64
  %1322 = getelementptr inbounds i64, ptr %1317, i64 %1321
  %1323 = load i64, ptr %1322, align 8, !tbaa !11
  %1324 = and i64 %1316, %1323
  %1325 = xor i64 %1308, %1324
  store i64 %1325, ptr %79, align 8, !tbaa !11
  %1326 = load i64, ptr %75, align 8, !tbaa !11
  %1327 = load ptr, ptr %4, align 8, !tbaa !5
  %1328 = load i32, ptr %74, align 4, !tbaa !9
  %1329 = mul i32 5, %1328
  %1330 = add i32 0, %1329
  %1331 = zext i32 %1330 to i64
  %1332 = getelementptr inbounds i64, ptr %1327, i64 %1331
  store i64 %1326, ptr %1332, align 8, !tbaa !11
  %1333 = load i64, ptr %76, align 8, !tbaa !11
  %1334 = load ptr, ptr %4, align 8, !tbaa !5
  %1335 = load i32, ptr %74, align 4, !tbaa !9
  %1336 = mul i32 5, %1335
  %1337 = add i32 1, %1336
  %1338 = zext i32 %1337 to i64
  %1339 = getelementptr inbounds i64, ptr %1334, i64 %1338
  store i64 %1333, ptr %1339, align 8, !tbaa !11
  %1340 = load i64, ptr %77, align 8, !tbaa !11
  %1341 = load ptr, ptr %4, align 8, !tbaa !5
  %1342 = load i32, ptr %74, align 4, !tbaa !9
  %1343 = mul i32 5, %1342
  %1344 = add i32 2, %1343
  %1345 = zext i32 %1344 to i64
  %1346 = getelementptr inbounds i64, ptr %1341, i64 %1345
  store i64 %1340, ptr %1346, align 8, !tbaa !11
  %1347 = load i64, ptr %78, align 8, !tbaa !11
  %1348 = load ptr, ptr %4, align 8, !tbaa !5
  %1349 = load i32, ptr %74, align 4, !tbaa !9
  %1350 = mul i32 5, %1349
  %1351 = add i32 3, %1350
  %1352 = zext i32 %1351 to i64
  %1353 = getelementptr inbounds i64, ptr %1348, i64 %1352
  store i64 %1347, ptr %1353, align 8, !tbaa !11
  %1354 = load i64, ptr %79, align 8, !tbaa !11
  %1355 = load ptr, ptr %4, align 8, !tbaa !5
  %1356 = load i32, ptr %74, align 4, !tbaa !9
  %1357 = mul i32 5, %1356
  %1358 = add i32 4, %1357
  %1359 = zext i32 %1358 to i64
  %1360 = getelementptr inbounds i64, ptr %1355, i64 %1359
  store i64 %1354, ptr %1360, align 8, !tbaa !11
  %1361 = load i32, ptr %74, align 4, !tbaa !9
  %1362 = add i32 %1361, 1
  store i32 %1362, ptr %74, align 4, !tbaa !9
  %1363 = load i32, ptr %74, align 4, !tbaa !9
  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.start.p0(i64 8, ptr %80) #5
  %1364 = load ptr, ptr %4, align 8, !tbaa !5
  %1365 = load i32, ptr %74, align 4, !tbaa !9
  %1366 = mul i32 5, %1365
  %1367 = add i32 0, %1366
  %1368 = zext i32 %1367 to i64
  %1369 = getelementptr inbounds i64, ptr %1364, i64 %1368
  %1370 = load i64, ptr %1369, align 8, !tbaa !11
  %1371 = load ptr, ptr %4, align 8, !tbaa !5
  %1372 = load i32, ptr %74, align 4, !tbaa !9
  %1373 = mul i32 5, %1372
  %1374 = add i32 1, %1373
  %1375 = zext i32 %1374 to i64
  %1376 = getelementptr inbounds i64, ptr %1371, i64 %1375
  %1377 = load i64, ptr %1376, align 8, !tbaa !11
  %1378 = xor i64 %1377, -1
  %1379 = load ptr, ptr %4, align 8, !tbaa !5
  %1380 = load i32, ptr %74, align 4, !tbaa !9
  %1381 = mul i32 5, %1380
  %1382 = add i32 2, %1381
  %1383 = zext i32 %1382 to i64
  %1384 = getelementptr inbounds i64, ptr %1379, i64 %1383
  %1385 = load i64, ptr %1384, align 8, !tbaa !11
  %1386 = and i64 %1378, %1385
  %1387 = xor i64 %1370, %1386
  store i64 %1387, ptr %80, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %81) #5
  %1388 = load ptr, ptr %4, align 8, !tbaa !5
  %1389 = load i32, ptr %74, align 4, !tbaa !9
  %1390 = mul i32 5, %1389
  %1391 = add i32 1, %1390
  %1392 = zext i32 %1391 to i64
  %1393 = getelementptr inbounds i64, ptr %1388, i64 %1392
  %1394 = load i64, ptr %1393, align 8, !tbaa !11
  %1395 = load ptr, ptr %4, align 8, !tbaa !5
  %1396 = load i32, ptr %74, align 4, !tbaa !9
  %1397 = mul i32 5, %1396
  %1398 = add i32 2, %1397
  %1399 = zext i32 %1398 to i64
  %1400 = getelementptr inbounds i64, ptr %1395, i64 %1399
  %1401 = load i64, ptr %1400, align 8, !tbaa !11
  %1402 = xor i64 %1401, -1
  %1403 = load ptr, ptr %4, align 8, !tbaa !5
  %1404 = load i32, ptr %74, align 4, !tbaa !9
  %1405 = mul i32 5, %1404
  %1406 = add i32 3, %1405
  %1407 = zext i32 %1406 to i64
  %1408 = getelementptr inbounds i64, ptr %1403, i64 %1407
  %1409 = load i64, ptr %1408, align 8, !tbaa !11
  %1410 = and i64 %1402, %1409
  %1411 = xor i64 %1394, %1410
  store i64 %1411, ptr %81, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %82) #5
  %1412 = load ptr, ptr %4, align 8, !tbaa !5
  %1413 = load i32, ptr %74, align 4, !tbaa !9
  %1414 = mul i32 5, %1413
  %1415 = add i32 2, %1414
  %1416 = zext i32 %1415 to i64
  %1417 = getelementptr inbounds i64, ptr %1412, i64 %1416
  %1418 = load i64, ptr %1417, align 8, !tbaa !11
  %1419 = load ptr, ptr %4, align 8, !tbaa !5
  %1420 = load i32, ptr %74, align 4, !tbaa !9
  %1421 = mul i32 5, %1420
  %1422 = add i32 3, %1421
  %1423 = zext i32 %1422 to i64
  %1424 = getelementptr inbounds i64, ptr %1419, i64 %1423
  %1425 = load i64, ptr %1424, align 8, !tbaa !11
  %1426 = xor i64 %1425, -1
  %1427 = load ptr, ptr %4, align 8, !tbaa !5
  %1428 = load i32, ptr %74, align 4, !tbaa !9
  %1429 = mul i32 5, %1428
  %1430 = add i32 4, %1429
  %1431 = zext i32 %1430 to i64
  %1432 = getelementptr inbounds i64, ptr %1427, i64 %1431
  %1433 = load i64, ptr %1432, align 8, !tbaa !11
  %1434 = and i64 %1426, %1433
  %1435 = xor i64 %1418, %1434
  store i64 %1435, ptr %82, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %83) #5
  %1436 = load ptr, ptr %4, align 8, !tbaa !5
  %1437 = load i32, ptr %74, align 4, !tbaa !9
  %1438 = mul i32 5, %1437
  %1439 = add i32 3, %1438
  %1440 = zext i32 %1439 to i64
  %1441 = getelementptr inbounds i64, ptr %1436, i64 %1440
  %1442 = load i64, ptr %1441, align 8, !tbaa !11
  %1443 = load ptr, ptr %4, align 8, !tbaa !5
  %1444 = load i32, ptr %74, align 4, !tbaa !9
  %1445 = mul i32 5, %1444
  %1446 = add i32 4, %1445
  %1447 = zext i32 %1446 to i64
  %1448 = getelementptr inbounds i64, ptr %1443, i64 %1447
  %1449 = load i64, ptr %1448, align 8, !tbaa !11
  %1450 = xor i64 %1449, -1
  %1451 = load ptr, ptr %4, align 8, !tbaa !5
  %1452 = load i32, ptr %74, align 4, !tbaa !9
  %1453 = mul i32 5, %1452
  %1454 = add i32 0, %1453
  %1455 = zext i32 %1454 to i64
  %1456 = getelementptr inbounds i64, ptr %1451, i64 %1455
  %1457 = load i64, ptr %1456, align 8, !tbaa !11
  %1458 = and i64 %1450, %1457
  %1459 = xor i64 %1442, %1458
  store i64 %1459, ptr %83, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %84) #5
  %1460 = load ptr, ptr %4, align 8, !tbaa !5
  %1461 = load i32, ptr %74, align 4, !tbaa !9
  %1462 = mul i32 5, %1461
  %1463 = add i32 4, %1462
  %1464 = zext i32 %1463 to i64
  %1465 = getelementptr inbounds i64, ptr %1460, i64 %1464
  %1466 = load i64, ptr %1465, align 8, !tbaa !11
  %1467 = load ptr, ptr %4, align 8, !tbaa !5
  %1468 = load i32, ptr %74, align 4, !tbaa !9
  %1469 = mul i32 5, %1468
  %1470 = add i32 0, %1469
  %1471 = zext i32 %1470 to i64
  %1472 = getelementptr inbounds i64, ptr %1467, i64 %1471
  %1473 = load i64, ptr %1472, align 8, !tbaa !11
  %1474 = xor i64 %1473, -1
  %1475 = load ptr, ptr %4, align 8, !tbaa !5
  %1476 = load i32, ptr %74, align 4, !tbaa !9
  %1477 = mul i32 5, %1476
  %1478 = add i32 1, %1477
  %1479 = zext i32 %1478 to i64
  %1480 = getelementptr inbounds i64, ptr %1475, i64 %1479
  %1481 = load i64, ptr %1480, align 8, !tbaa !11
  %1482 = and i64 %1474, %1481
  %1483 = xor i64 %1466, %1482
  store i64 %1483, ptr %84, align 8, !tbaa !11
  %1484 = load i64, ptr %80, align 8, !tbaa !11
  %1485 = load ptr, ptr %4, align 8, !tbaa !5
  %1486 = load i32, ptr %74, align 4, !tbaa !9
  %1487 = mul i32 5, %1486
  %1488 = add i32 0, %1487
  %1489 = zext i32 %1488 to i64
  %1490 = getelementptr inbounds i64, ptr %1485, i64 %1489
  store i64 %1484, ptr %1490, align 8, !tbaa !11
  %1491 = load i64, ptr %81, align 8, !tbaa !11
  %1492 = load ptr, ptr %4, align 8, !tbaa !5
  %1493 = load i32, ptr %74, align 4, !tbaa !9
  %1494 = mul i32 5, %1493
  %1495 = add i32 1, %1494
  %1496 = zext i32 %1495 to i64
  %1497 = getelementptr inbounds i64, ptr %1492, i64 %1496
  store i64 %1491, ptr %1497, align 8, !tbaa !11
  %1498 = load i64, ptr %82, align 8, !tbaa !11
  %1499 = load ptr, ptr %4, align 8, !tbaa !5
  %1500 = load i32, ptr %74, align 4, !tbaa !9
  %1501 = mul i32 5, %1500
  %1502 = add i32 2, %1501
  %1503 = zext i32 %1502 to i64
  %1504 = getelementptr inbounds i64, ptr %1499, i64 %1503
  store i64 %1498, ptr %1504, align 8, !tbaa !11
  %1505 = load i64, ptr %83, align 8, !tbaa !11
  %1506 = load ptr, ptr %4, align 8, !tbaa !5
  %1507 = load i32, ptr %74, align 4, !tbaa !9
  %1508 = mul i32 5, %1507
  %1509 = add i32 3, %1508
  %1510 = zext i32 %1509 to i64
  %1511 = getelementptr inbounds i64, ptr %1506, i64 %1510
  store i64 %1505, ptr %1511, align 8, !tbaa !11
  %1512 = load i64, ptr %84, align 8, !tbaa !11
  %1513 = load ptr, ptr %4, align 8, !tbaa !5
  %1514 = load i32, ptr %74, align 4, !tbaa !9
  %1515 = mul i32 5, %1514
  %1516 = add i32 4, %1515
  %1517 = zext i32 %1516 to i64
  %1518 = getelementptr inbounds i64, ptr %1513, i64 %1517
  store i64 %1512, ptr %1518, align 8, !tbaa !11
  %1519 = load i32, ptr %74, align 4, !tbaa !9
  %1520 = add i32 %1519, 1
  store i32 %1520, ptr %74, align 4, !tbaa !9
  %1521 = load i32, ptr %74, align 4, !tbaa !9
  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.start.p0(i64 8, ptr %85) #5
  %1522 = load ptr, ptr %4, align 8, !tbaa !5
  %1523 = load i32, ptr %74, align 4, !tbaa !9
  %1524 = mul i32 5, %1523
  %1525 = add i32 0, %1524
  %1526 = zext i32 %1525 to i64
  %1527 = getelementptr inbounds i64, ptr %1522, i64 %1526
  %1528 = load i64, ptr %1527, align 8, !tbaa !11
  %1529 = load ptr, ptr %4, align 8, !tbaa !5
  %1530 = load i32, ptr %74, align 4, !tbaa !9
  %1531 = mul i32 5, %1530
  %1532 = add i32 1, %1531
  %1533 = zext i32 %1532 to i64
  %1534 = getelementptr inbounds i64, ptr %1529, i64 %1533
  %1535 = load i64, ptr %1534, align 8, !tbaa !11
  %1536 = xor i64 %1535, -1
  %1537 = load ptr, ptr %4, align 8, !tbaa !5
  %1538 = load i32, ptr %74, align 4, !tbaa !9
  %1539 = mul i32 5, %1538
  %1540 = add i32 2, %1539
  %1541 = zext i32 %1540 to i64
  %1542 = getelementptr inbounds i64, ptr %1537, i64 %1541
  %1543 = load i64, ptr %1542, align 8, !tbaa !11
  %1544 = and i64 %1536, %1543
  %1545 = xor i64 %1528, %1544
  store i64 %1545, ptr %85, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %86) #5
  %1546 = load ptr, ptr %4, align 8, !tbaa !5
  %1547 = load i32, ptr %74, align 4, !tbaa !9
  %1548 = mul i32 5, %1547
  %1549 = add i32 1, %1548
  %1550 = zext i32 %1549 to i64
  %1551 = getelementptr inbounds i64, ptr %1546, i64 %1550
  %1552 = load i64, ptr %1551, align 8, !tbaa !11
  %1553 = load ptr, ptr %4, align 8, !tbaa !5
  %1554 = load i32, ptr %74, align 4, !tbaa !9
  %1555 = mul i32 5, %1554
  %1556 = add i32 2, %1555
  %1557 = zext i32 %1556 to i64
  %1558 = getelementptr inbounds i64, ptr %1553, i64 %1557
  %1559 = load i64, ptr %1558, align 8, !tbaa !11
  %1560 = xor i64 %1559, -1
  %1561 = load ptr, ptr %4, align 8, !tbaa !5
  %1562 = load i32, ptr %74, align 4, !tbaa !9
  %1563 = mul i32 5, %1562
  %1564 = add i32 3, %1563
  %1565 = zext i32 %1564 to i64
  %1566 = getelementptr inbounds i64, ptr %1561, i64 %1565
  %1567 = load i64, ptr %1566, align 8, !tbaa !11
  %1568 = and i64 %1560, %1567
  %1569 = xor i64 %1552, %1568
  store i64 %1569, ptr %86, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %87) #5
  %1570 = load ptr, ptr %4, align 8, !tbaa !5
  %1571 = load i32, ptr %74, align 4, !tbaa !9
  %1572 = mul i32 5, %1571
  %1573 = add i32 2, %1572
  %1574 = zext i32 %1573 to i64
  %1575 = getelementptr inbounds i64, ptr %1570, i64 %1574
  %1576 = load i64, ptr %1575, align 8, !tbaa !11
  %1577 = load ptr, ptr %4, align 8, !tbaa !5
  %1578 = load i32, ptr %74, align 4, !tbaa !9
  %1579 = mul i32 5, %1578
  %1580 = add i32 3, %1579
  %1581 = zext i32 %1580 to i64
  %1582 = getelementptr inbounds i64, ptr %1577, i64 %1581
  %1583 = load i64, ptr %1582, align 8, !tbaa !11
  %1584 = xor i64 %1583, -1
  %1585 = load ptr, ptr %4, align 8, !tbaa !5
  %1586 = load i32, ptr %74, align 4, !tbaa !9
  %1587 = mul i32 5, %1586
  %1588 = add i32 4, %1587
  %1589 = zext i32 %1588 to i64
  %1590 = getelementptr inbounds i64, ptr %1585, i64 %1589
  %1591 = load i64, ptr %1590, align 8, !tbaa !11
  %1592 = and i64 %1584, %1591
  %1593 = xor i64 %1576, %1592
  store i64 %1593, ptr %87, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %88) #5
  %1594 = load ptr, ptr %4, align 8, !tbaa !5
  %1595 = load i32, ptr %74, align 4, !tbaa !9
  %1596 = mul i32 5, %1595
  %1597 = add i32 3, %1596
  %1598 = zext i32 %1597 to i64
  %1599 = getelementptr inbounds i64, ptr %1594, i64 %1598
  %1600 = load i64, ptr %1599, align 8, !tbaa !11
  %1601 = load ptr, ptr %4, align 8, !tbaa !5
  %1602 = load i32, ptr %74, align 4, !tbaa !9
  %1603 = mul i32 5, %1602
  %1604 = add i32 4, %1603
  %1605 = zext i32 %1604 to i64
  %1606 = getelementptr inbounds i64, ptr %1601, i64 %1605
  %1607 = load i64, ptr %1606, align 8, !tbaa !11
  %1608 = xor i64 %1607, -1
  %1609 = load ptr, ptr %4, align 8, !tbaa !5
  %1610 = load i32, ptr %74, align 4, !tbaa !9
  %1611 = mul i32 5, %1610
  %1612 = add i32 0, %1611
  %1613 = zext i32 %1612 to i64
  %1614 = getelementptr inbounds i64, ptr %1609, i64 %1613
  %1615 = load i64, ptr %1614, align 8, !tbaa !11
  %1616 = and i64 %1608, %1615
  %1617 = xor i64 %1600, %1616
  store i64 %1617, ptr %88, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %89) #5
  %1618 = load ptr, ptr %4, align 8, !tbaa !5
  %1619 = load i32, ptr %74, align 4, !tbaa !9
  %1620 = mul i32 5, %1619
  %1621 = add i32 4, %1620
  %1622 = zext i32 %1621 to i64
  %1623 = getelementptr inbounds i64, ptr %1618, i64 %1622
  %1624 = load i64, ptr %1623, align 8, !tbaa !11
  %1625 = load ptr, ptr %4, align 8, !tbaa !5
  %1626 = load i32, ptr %74, align 4, !tbaa !9
  %1627 = mul i32 5, %1626
  %1628 = add i32 0, %1627
  %1629 = zext i32 %1628 to i64
  %1630 = getelementptr inbounds i64, ptr %1625, i64 %1629
  %1631 = load i64, ptr %1630, align 8, !tbaa !11
  %1632 = xor i64 %1631, -1
  %1633 = load ptr, ptr %4, align 8, !tbaa !5
  %1634 = load i32, ptr %74, align 4, !tbaa !9
  %1635 = mul i32 5, %1634
  %1636 = add i32 1, %1635
  %1637 = zext i32 %1636 to i64
  %1638 = getelementptr inbounds i64, ptr %1633, i64 %1637
  %1639 = load i64, ptr %1638, align 8, !tbaa !11
  %1640 = and i64 %1632, %1639
  %1641 = xor i64 %1624, %1640
  store i64 %1641, ptr %89, align 8, !tbaa !11
  %1642 = load i64, ptr %85, align 8, !tbaa !11
  %1643 = load ptr, ptr %4, align 8, !tbaa !5
  %1644 = load i32, ptr %74, align 4, !tbaa !9
  %1645 = mul i32 5, %1644
  %1646 = add i32 0, %1645
  %1647 = zext i32 %1646 to i64
  %1648 = getelementptr inbounds i64, ptr %1643, i64 %1647
  store i64 %1642, ptr %1648, align 8, !tbaa !11
  %1649 = load i64, ptr %86, align 8, !tbaa !11
  %1650 = load ptr, ptr %4, align 8, !tbaa !5
  %1651 = load i32, ptr %74, align 4, !tbaa !9
  %1652 = mul i32 5, %1651
  %1653 = add i32 1, %1652
  %1654 = zext i32 %1653 to i64
  %1655 = getelementptr inbounds i64, ptr %1650, i64 %1654
  store i64 %1649, ptr %1655, align 8, !tbaa !11
  %1656 = load i64, ptr %87, align 8, !tbaa !11
  %1657 = load ptr, ptr %4, align 8, !tbaa !5
  %1658 = load i32, ptr %74, align 4, !tbaa !9
  %1659 = mul i32 5, %1658
  %1660 = add i32 2, %1659
  %1661 = zext i32 %1660 to i64
  %1662 = getelementptr inbounds i64, ptr %1657, i64 %1661
  store i64 %1656, ptr %1662, align 8, !tbaa !11
  %1663 = load i64, ptr %88, align 8, !tbaa !11
  %1664 = load ptr, ptr %4, align 8, !tbaa !5
  %1665 = load i32, ptr %74, align 4, !tbaa !9
  %1666 = mul i32 5, %1665
  %1667 = add i32 3, %1666
  %1668 = zext i32 %1667 to i64
  %1669 = getelementptr inbounds i64, ptr %1664, i64 %1668
  store i64 %1663, ptr %1669, align 8, !tbaa !11
  %1670 = load i64, ptr %89, align 8, !tbaa !11
  %1671 = load ptr, ptr %4, align 8, !tbaa !5
  %1672 = load i32, ptr %74, align 4, !tbaa !9
  %1673 = mul i32 5, %1672
  %1674 = add i32 4, %1673
  %1675 = zext i32 %1674 to i64
  %1676 = getelementptr inbounds i64, ptr %1671, i64 %1675
  store i64 %1670, ptr %1676, align 8, !tbaa !11
  %1677 = load i32, ptr %74, align 4, !tbaa !9
  %1678 = add i32 %1677, 1
  store i32 %1678, ptr %74, align 4, !tbaa !9
  %1679 = load i32, ptr %74, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %89) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %88) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %87) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %86) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %90) #5
  %1680 = load ptr, ptr %4, align 8, !tbaa !5
  %1681 = load i32, ptr %74, align 4, !tbaa !9
  %1682 = mul i32 5, %1681
  %1683 = add i32 0, %1682
  %1684 = zext i32 %1683 to i64
  %1685 = getelementptr inbounds i64, ptr %1680, i64 %1684
  %1686 = load i64, ptr %1685, align 8, !tbaa !11
  %1687 = load ptr, ptr %4, align 8, !tbaa !5
  %1688 = load i32, ptr %74, align 4, !tbaa !9
  %1689 = mul i32 5, %1688
  %1690 = add i32 1, %1689
  %1691 = zext i32 %1690 to i64
  %1692 = getelementptr inbounds i64, ptr %1687, i64 %1691
  %1693 = load i64, ptr %1692, align 8, !tbaa !11
  %1694 = xor i64 %1693, -1
  %1695 = load ptr, ptr %4, align 8, !tbaa !5
  %1696 = load i32, ptr %74, align 4, !tbaa !9
  %1697 = mul i32 5, %1696
  %1698 = add i32 2, %1697
  %1699 = zext i32 %1698 to i64
  %1700 = getelementptr inbounds i64, ptr %1695, i64 %1699
  %1701 = load i64, ptr %1700, align 8, !tbaa !11
  %1702 = and i64 %1694, %1701
  %1703 = xor i64 %1686, %1702
  store i64 %1703, ptr %90, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %91) #5
  %1704 = load ptr, ptr %4, align 8, !tbaa !5
  %1705 = load i32, ptr %74, align 4, !tbaa !9
  %1706 = mul i32 5, %1705
  %1707 = add i32 1, %1706
  %1708 = zext i32 %1707 to i64
  %1709 = getelementptr inbounds i64, ptr %1704, i64 %1708
  %1710 = load i64, ptr %1709, align 8, !tbaa !11
  %1711 = load ptr, ptr %4, align 8, !tbaa !5
  %1712 = load i32, ptr %74, align 4, !tbaa !9
  %1713 = mul i32 5, %1712
  %1714 = add i32 2, %1713
  %1715 = zext i32 %1714 to i64
  %1716 = getelementptr inbounds i64, ptr %1711, i64 %1715
  %1717 = load i64, ptr %1716, align 8, !tbaa !11
  %1718 = xor i64 %1717, -1
  %1719 = load ptr, ptr %4, align 8, !tbaa !5
  %1720 = load i32, ptr %74, align 4, !tbaa !9
  %1721 = mul i32 5, %1720
  %1722 = add i32 3, %1721
  %1723 = zext i32 %1722 to i64
  %1724 = getelementptr inbounds i64, ptr %1719, i64 %1723
  %1725 = load i64, ptr %1724, align 8, !tbaa !11
  %1726 = and i64 %1718, %1725
  %1727 = xor i64 %1710, %1726
  store i64 %1727, ptr %91, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %92) #5
  %1728 = load ptr, ptr %4, align 8, !tbaa !5
  %1729 = load i32, ptr %74, align 4, !tbaa !9
  %1730 = mul i32 5, %1729
  %1731 = add i32 2, %1730
  %1732 = zext i32 %1731 to i64
  %1733 = getelementptr inbounds i64, ptr %1728, i64 %1732
  %1734 = load i64, ptr %1733, align 8, !tbaa !11
  %1735 = load ptr, ptr %4, align 8, !tbaa !5
  %1736 = load i32, ptr %74, align 4, !tbaa !9
  %1737 = mul i32 5, %1736
  %1738 = add i32 3, %1737
  %1739 = zext i32 %1738 to i64
  %1740 = getelementptr inbounds i64, ptr %1735, i64 %1739
  %1741 = load i64, ptr %1740, align 8, !tbaa !11
  %1742 = xor i64 %1741, -1
  %1743 = load ptr, ptr %4, align 8, !tbaa !5
  %1744 = load i32, ptr %74, align 4, !tbaa !9
  %1745 = mul i32 5, %1744
  %1746 = add i32 4, %1745
  %1747 = zext i32 %1746 to i64
  %1748 = getelementptr inbounds i64, ptr %1743, i64 %1747
  %1749 = load i64, ptr %1748, align 8, !tbaa !11
  %1750 = and i64 %1742, %1749
  %1751 = xor i64 %1734, %1750
  store i64 %1751, ptr %92, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %93) #5
  %1752 = load ptr, ptr %4, align 8, !tbaa !5
  %1753 = load i32, ptr %74, align 4, !tbaa !9
  %1754 = mul i32 5, %1753
  %1755 = add i32 3, %1754
  %1756 = zext i32 %1755 to i64
  %1757 = getelementptr inbounds i64, ptr %1752, i64 %1756
  %1758 = load i64, ptr %1757, align 8, !tbaa !11
  %1759 = load ptr, ptr %4, align 8, !tbaa !5
  %1760 = load i32, ptr %74, align 4, !tbaa !9
  %1761 = mul i32 5, %1760
  %1762 = add i32 4, %1761
  %1763 = zext i32 %1762 to i64
  %1764 = getelementptr inbounds i64, ptr %1759, i64 %1763
  %1765 = load i64, ptr %1764, align 8, !tbaa !11
  %1766 = xor i64 %1765, -1
  %1767 = load ptr, ptr %4, align 8, !tbaa !5
  %1768 = load i32, ptr %74, align 4, !tbaa !9
  %1769 = mul i32 5, %1768
  %1770 = add i32 0, %1769
  %1771 = zext i32 %1770 to i64
  %1772 = getelementptr inbounds i64, ptr %1767, i64 %1771
  %1773 = load i64, ptr %1772, align 8, !tbaa !11
  %1774 = and i64 %1766, %1773
  %1775 = xor i64 %1758, %1774
  store i64 %1775, ptr %93, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %94) #5
  %1776 = load ptr, ptr %4, align 8, !tbaa !5
  %1777 = load i32, ptr %74, align 4, !tbaa !9
  %1778 = mul i32 5, %1777
  %1779 = add i32 4, %1778
  %1780 = zext i32 %1779 to i64
  %1781 = getelementptr inbounds i64, ptr %1776, i64 %1780
  %1782 = load i64, ptr %1781, align 8, !tbaa !11
  %1783 = load ptr, ptr %4, align 8, !tbaa !5
  %1784 = load i32, ptr %74, align 4, !tbaa !9
  %1785 = mul i32 5, %1784
  %1786 = add i32 0, %1785
  %1787 = zext i32 %1786 to i64
  %1788 = getelementptr inbounds i64, ptr %1783, i64 %1787
  %1789 = load i64, ptr %1788, align 8, !tbaa !11
  %1790 = xor i64 %1789, -1
  %1791 = load ptr, ptr %4, align 8, !tbaa !5
  %1792 = load i32, ptr %74, align 4, !tbaa !9
  %1793 = mul i32 5, %1792
  %1794 = add i32 1, %1793
  %1795 = zext i32 %1794 to i64
  %1796 = getelementptr inbounds i64, ptr %1791, i64 %1795
  %1797 = load i64, ptr %1796, align 8, !tbaa !11
  %1798 = and i64 %1790, %1797
  %1799 = xor i64 %1782, %1798
  store i64 %1799, ptr %94, align 8, !tbaa !11
  %1800 = load i64, ptr %90, align 8, !tbaa !11
  %1801 = load ptr, ptr %4, align 8, !tbaa !5
  %1802 = load i32, ptr %74, align 4, !tbaa !9
  %1803 = mul i32 5, %1802
  %1804 = add i32 0, %1803
  %1805 = zext i32 %1804 to i64
  %1806 = getelementptr inbounds i64, ptr %1801, i64 %1805
  store i64 %1800, ptr %1806, align 8, !tbaa !11
  %1807 = load i64, ptr %91, align 8, !tbaa !11
  %1808 = load ptr, ptr %4, align 8, !tbaa !5
  %1809 = load i32, ptr %74, align 4, !tbaa !9
  %1810 = mul i32 5, %1809
  %1811 = add i32 1, %1810
  %1812 = zext i32 %1811 to i64
  %1813 = getelementptr inbounds i64, ptr %1808, i64 %1812
  store i64 %1807, ptr %1813, align 8, !tbaa !11
  %1814 = load i64, ptr %92, align 8, !tbaa !11
  %1815 = load ptr, ptr %4, align 8, !tbaa !5
  %1816 = load i32, ptr %74, align 4, !tbaa !9
  %1817 = mul i32 5, %1816
  %1818 = add i32 2, %1817
  %1819 = zext i32 %1818 to i64
  %1820 = getelementptr inbounds i64, ptr %1815, i64 %1819
  store i64 %1814, ptr %1820, align 8, !tbaa !11
  %1821 = load i64, ptr %93, align 8, !tbaa !11
  %1822 = load ptr, ptr %4, align 8, !tbaa !5
  %1823 = load i32, ptr %74, align 4, !tbaa !9
  %1824 = mul i32 5, %1823
  %1825 = add i32 3, %1824
  %1826 = zext i32 %1825 to i64
  %1827 = getelementptr inbounds i64, ptr %1822, i64 %1826
  store i64 %1821, ptr %1827, align 8, !tbaa !11
  %1828 = load i64, ptr %94, align 8, !tbaa !11
  %1829 = load ptr, ptr %4, align 8, !tbaa !5
  %1830 = load i32, ptr %74, align 4, !tbaa !9
  %1831 = mul i32 5, %1830
  %1832 = add i32 4, %1831
  %1833 = zext i32 %1832 to i64
  %1834 = getelementptr inbounds i64, ptr %1829, i64 %1833
  store i64 %1828, ptr %1834, align 8, !tbaa !11
  %1835 = load i32, ptr %74, align 4, !tbaa !9
  %1836 = add i32 %1835, 1
  store i32 %1836, ptr %74, align 4, !tbaa !9
  %1837 = load i32, ptr %74, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %94) #5
  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.end.p0(i64 8, ptr %91) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %90) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %95) #5
  %1838 = load ptr, ptr %4, align 8, !tbaa !5
  %1839 = load i32, ptr %74, align 4, !tbaa !9
  %1840 = mul i32 5, %1839
  %1841 = add i32 0, %1840
  %1842 = zext i32 %1841 to i64
  %1843 = getelementptr inbounds i64, ptr %1838, i64 %1842
  %1844 = load i64, ptr %1843, align 8, !tbaa !11
  %1845 = load ptr, ptr %4, align 8, !tbaa !5
  %1846 = load i32, ptr %74, align 4, !tbaa !9
  %1847 = mul i32 5, %1846
  %1848 = add i32 1, %1847
  %1849 = zext i32 %1848 to i64
  %1850 = getelementptr inbounds i64, ptr %1845, i64 %1849
  %1851 = load i64, ptr %1850, align 8, !tbaa !11
  %1852 = xor i64 %1851, -1
  %1853 = load ptr, ptr %4, align 8, !tbaa !5
  %1854 = load i32, ptr %74, align 4, !tbaa !9
  %1855 = mul i32 5, %1854
  %1856 = add i32 2, %1855
  %1857 = zext i32 %1856 to i64
  %1858 = getelementptr inbounds i64, ptr %1853, i64 %1857
  %1859 = load i64, ptr %1858, align 8, !tbaa !11
  %1860 = and i64 %1852, %1859
  %1861 = xor i64 %1844, %1860
  store i64 %1861, ptr %95, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %96) #5
  %1862 = load ptr, ptr %4, align 8, !tbaa !5
  %1863 = load i32, ptr %74, align 4, !tbaa !9
  %1864 = mul i32 5, %1863
  %1865 = add i32 1, %1864
  %1866 = zext i32 %1865 to i64
  %1867 = getelementptr inbounds i64, ptr %1862, i64 %1866
  %1868 = load i64, ptr %1867, align 8, !tbaa !11
  %1869 = load ptr, ptr %4, align 8, !tbaa !5
  %1870 = load i32, ptr %74, align 4, !tbaa !9
  %1871 = mul i32 5, %1870
  %1872 = add i32 2, %1871
  %1873 = zext i32 %1872 to i64
  %1874 = getelementptr inbounds i64, ptr %1869, i64 %1873
  %1875 = load i64, ptr %1874, align 8, !tbaa !11
  %1876 = xor i64 %1875, -1
  %1877 = load ptr, ptr %4, align 8, !tbaa !5
  %1878 = load i32, ptr %74, align 4, !tbaa !9
  %1879 = mul i32 5, %1878
  %1880 = add i32 3, %1879
  %1881 = zext i32 %1880 to i64
  %1882 = getelementptr inbounds i64, ptr %1877, i64 %1881
  %1883 = load i64, ptr %1882, align 8, !tbaa !11
  %1884 = and i64 %1876, %1883
  %1885 = xor i64 %1868, %1884
  store i64 %1885, ptr %96, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %97) #5
  %1886 = load ptr, ptr %4, align 8, !tbaa !5
  %1887 = load i32, ptr %74, align 4, !tbaa !9
  %1888 = mul i32 5, %1887
  %1889 = add i32 2, %1888
  %1890 = zext i32 %1889 to i64
  %1891 = getelementptr inbounds i64, ptr %1886, i64 %1890
  %1892 = load i64, ptr %1891, align 8, !tbaa !11
  %1893 = load ptr, ptr %4, align 8, !tbaa !5
  %1894 = load i32, ptr %74, align 4, !tbaa !9
  %1895 = mul i32 5, %1894
  %1896 = add i32 3, %1895
  %1897 = zext i32 %1896 to i64
  %1898 = getelementptr inbounds i64, ptr %1893, i64 %1897
  %1899 = load i64, ptr %1898, align 8, !tbaa !11
  %1900 = xor i64 %1899, -1
  %1901 = load ptr, ptr %4, align 8, !tbaa !5
  %1902 = load i32, ptr %74, align 4, !tbaa !9
  %1903 = mul i32 5, %1902
  %1904 = add i32 4, %1903
  %1905 = zext i32 %1904 to i64
  %1906 = getelementptr inbounds i64, ptr %1901, i64 %1905
  %1907 = load i64, ptr %1906, align 8, !tbaa !11
  %1908 = and i64 %1900, %1907
  %1909 = xor i64 %1892, %1908
  store i64 %1909, ptr %97, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %98) #5
  %1910 = load ptr, ptr %4, align 8, !tbaa !5
  %1911 = load i32, ptr %74, align 4, !tbaa !9
  %1912 = mul i32 5, %1911
  %1913 = add i32 3, %1912
  %1914 = zext i32 %1913 to i64
  %1915 = getelementptr inbounds i64, ptr %1910, i64 %1914
  %1916 = load i64, ptr %1915, align 8, !tbaa !11
  %1917 = load ptr, ptr %4, align 8, !tbaa !5
  %1918 = load i32, ptr %74, align 4, !tbaa !9
  %1919 = mul i32 5, %1918
  %1920 = add i32 4, %1919
  %1921 = zext i32 %1920 to i64
  %1922 = getelementptr inbounds i64, ptr %1917, i64 %1921
  %1923 = load i64, ptr %1922, align 8, !tbaa !11
  %1924 = xor i64 %1923, -1
  %1925 = load ptr, ptr %4, align 8, !tbaa !5
  %1926 = load i32, ptr %74, align 4, !tbaa !9
  %1927 = mul i32 5, %1926
  %1928 = add i32 0, %1927
  %1929 = zext i32 %1928 to i64
  %1930 = getelementptr inbounds i64, ptr %1925, i64 %1929
  %1931 = load i64, ptr %1930, align 8, !tbaa !11
  %1932 = and i64 %1924, %1931
  %1933 = xor i64 %1916, %1932
  store i64 %1933, ptr %98, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %99) #5
  %1934 = load ptr, ptr %4, align 8, !tbaa !5
  %1935 = load i32, ptr %74, align 4, !tbaa !9
  %1936 = mul i32 5, %1935
  %1937 = add i32 4, %1936
  %1938 = zext i32 %1937 to i64
  %1939 = getelementptr inbounds i64, ptr %1934, i64 %1938
  %1940 = load i64, ptr %1939, align 8, !tbaa !11
  %1941 = load ptr, ptr %4, align 8, !tbaa !5
  %1942 = load i32, ptr %74, align 4, !tbaa !9
  %1943 = mul i32 5, %1942
  %1944 = add i32 0, %1943
  %1945 = zext i32 %1944 to i64
  %1946 = getelementptr inbounds i64, ptr %1941, i64 %1945
  %1947 = load i64, ptr %1946, align 8, !tbaa !11
  %1948 = xor i64 %1947, -1
  %1949 = load ptr, ptr %4, align 8, !tbaa !5
  %1950 = load i32, ptr %74, align 4, !tbaa !9
  %1951 = mul i32 5, %1950
  %1952 = add i32 1, %1951
  %1953 = zext i32 %1952 to i64
  %1954 = getelementptr inbounds i64, ptr %1949, i64 %1953
  %1955 = load i64, ptr %1954, align 8, !tbaa !11
  %1956 = and i64 %1948, %1955
  %1957 = xor i64 %1940, %1956
  store i64 %1957, ptr %99, align 8, !tbaa !11
  %1958 = load i64, ptr %95, align 8, !tbaa !11
  %1959 = load ptr, ptr %4, align 8, !tbaa !5
  %1960 = load i32, ptr %74, align 4, !tbaa !9
  %1961 = mul i32 5, %1960
  %1962 = add i32 0, %1961
  %1963 = zext i32 %1962 to i64
  %1964 = getelementptr inbounds i64, ptr %1959, i64 %1963
  store i64 %1958, ptr %1964, align 8, !tbaa !11
  %1965 = load i64, ptr %96, align 8, !tbaa !11
  %1966 = load ptr, ptr %4, align 8, !tbaa !5
  %1967 = load i32, ptr %74, align 4, !tbaa !9
  %1968 = mul i32 5, %1967
  %1969 = add i32 1, %1968
  %1970 = zext i32 %1969 to i64
  %1971 = getelementptr inbounds i64, ptr %1966, i64 %1970
  store i64 %1965, ptr %1971, align 8, !tbaa !11
  %1972 = load i64, ptr %97, align 8, !tbaa !11
  %1973 = load ptr, ptr %4, align 8, !tbaa !5
  %1974 = load i32, ptr %74, align 4, !tbaa !9
  %1975 = mul i32 5, %1974
  %1976 = add i32 2, %1975
  %1977 = zext i32 %1976 to i64
  %1978 = getelementptr inbounds i64, ptr %1973, i64 %1977
  store i64 %1972, ptr %1978, align 8, !tbaa !11
  %1979 = load i64, ptr %98, align 8, !tbaa !11
  %1980 = load ptr, ptr %4, align 8, !tbaa !5
  %1981 = load i32, ptr %74, align 4, !tbaa !9
  %1982 = mul i32 5, %1981
  %1983 = add i32 3, %1982
  %1984 = zext i32 %1983 to i64
  %1985 = getelementptr inbounds i64, ptr %1980, i64 %1984
  store i64 %1979, ptr %1985, align 8, !tbaa !11
  %1986 = load i64, ptr %99, align 8, !tbaa !11
  %1987 = load ptr, ptr %4, align 8, !tbaa !5
  %1988 = load i32, ptr %74, align 4, !tbaa !9
  %1989 = mul i32 5, %1988
  %1990 = add i32 4, %1989
  %1991 = zext i32 %1990 to i64
  %1992 = getelementptr inbounds i64, ptr %1987, i64 %1991
  store i64 %1986, ptr %1992, align 8, !tbaa !11
  %1993 = load i32, ptr %74, align 4, !tbaa !9
  %1994 = add i32 %1993, 1
  store i32 %1994, ptr %74, align 4, !tbaa !9
  %1995 = load i32, ptr %74, 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.end.p0(i64 8, ptr %97) #5
  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.end.p0(i64 4, ptr %74) #5
  br label %1996

1996:                                             ; preds = %1205
  br label %1997

1997:                                             ; preds = %1996
  call void @llvm.lifetime.start.p0(i64 8, ptr %100) #5
  %1998 = load i32, ptr %48, align 4, !tbaa !9
  %1999 = zext i32 %1998 to i64
  %2000 = getelementptr inbounds [24 x i64], ptr @Hacl_Impl_SHA3_Vec_keccak_rndc, i64 0, i64 %1999
  %2001 = load i64, ptr %2000, align 8, !tbaa !11
  store i64 %2001, ptr %100, align 8, !tbaa !11
  %2002 = load ptr, ptr %4, align 8, !tbaa !5
  %2003 = getelementptr inbounds i64, ptr %2002, i64 0
  %2004 = load i64, ptr %2003, align 8, !tbaa !11
  %2005 = load i64, ptr %100, align 8, !tbaa !11
  %2006 = xor i64 %2004, %2005
  %2007 = load ptr, ptr %4, align 8, !tbaa !5
  %2008 = getelementptr inbounds i64, ptr %2007, i64 0
  store i64 %2006, ptr %2008, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %100) #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 40, ptr %49) #5
  br label %2009

2009:                                             ; preds = %1997
  %2010 = load i32, ptr %48, align 4, !tbaa !9
  %2011 = add i32 %2010, 1
  store i32 %2011, ptr %48, align 4, !tbaa !9
  br label %332, !llvm.loop !16

2012:                                             ; preds = %335
  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 8, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 256, 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 8, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 256, ptr %9) #5
  br label %2013

2013:                                             ; preds = %2012
  %2014 = load i32, ptr %7, align 4, !tbaa !9
  %2015 = add i32 %2014, 1
  store i32 %2015, ptr %7, align 4, !tbaa !9
  br label %101, !llvm.loop !17

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


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

@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_nblocks(ptr noundef %0, ptr nocapture noundef readonly %1, i32 noundef %2) local_unnamed_addr #4 {
  %4 = alloca [256 x i8], align 16
  %.not = icmp ult i32 %2, 168
  br i1 %.not, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %3
  %5 = udiv i32 %2, 168
  %6 = getelementptr inbounds i8, ptr %4, i64 8
  %7 = getelementptr inbounds i8, ptr %4, i64 16
  %8 = getelementptr inbounds i8, ptr %4, i64 24
  %9 = getelementptr inbounds i8, ptr %4, i64 32
  %10 = getelementptr inbounds i8, ptr %4, i64 40
  %11 = getelementptr inbounds i8, ptr %4, i64 48
  %12 = getelementptr inbounds i8, ptr %4, i64 56
  %13 = getelementptr inbounds i8, ptr %4, i64 64
  %14 = getelementptr inbounds i8, ptr %4, i64 72
  %15 = getelementptr inbounds i8, ptr %4, i64 80
  %16 = getelementptr inbounds i8, ptr %4, i64 88
  %17 = getelementptr inbounds i8, ptr %4, i64 96
  %18 = getelementptr inbounds i8, ptr %4, i64 104
  %19 = getelementptr inbounds i8, ptr %4, i64 112
  %20 = getelementptr inbounds i8, ptr %4, i64 120
  %21 = getelementptr inbounds i8, ptr %4, i64 128
  %22 = getelementptr inbounds i8, ptr %4, i64 136
  %23 = getelementptr inbounds i8, ptr %4, i64 144
  %24 = getelementptr inbounds i8, ptr %4, i64 152
  %25 = getelementptr inbounds i8, ptr %4, i64 160
  %26 = getelementptr inbounds i8, ptr %4, i64 168
  %27 = getelementptr inbounds i8, ptr %4, i64 176
  %28 = getelementptr inbounds i8, ptr %4, i64 184
  %29 = getelementptr inbounds i8, ptr %4, i64 192
  %30 = getelementptr inbounds i8, ptr %4, i64 200
  %31 = getelementptr inbounds i8, ptr %4, i64 208
  %32 = getelementptr inbounds i8, ptr %4, i64 216
  %33 = getelementptr inbounds i8, ptr %4, i64 224
  %34 = getelementptr inbounds i8, ptr %4, i64 232
  %35 = getelementptr inbounds i8, ptr %4, i64 240
  %36 = getelementptr inbounds i8, ptr %4, i64 248
  %37 = getelementptr inbounds i8, ptr %0, i64 40
  %38 = getelementptr inbounds i8, ptr %0, i64 80
  %39 = getelementptr inbounds i8, ptr %0, i64 120
  %40 = getelementptr inbounds i8, ptr %0, i64 160
  %41 = getelementptr inbounds i8, ptr %0, i64 8
  %42 = getelementptr inbounds i8, ptr %0, i64 48
  %43 = getelementptr inbounds i8, ptr %0, i64 88
  %44 = getelementptr inbounds i8, ptr %0, i64 128
  %45 = getelementptr inbounds i8, ptr %0, i64 168
  %46 = getelementptr inbounds i8, ptr %0, i64 16
  %47 = getelementptr inbounds i8, ptr %0, i64 56
  %48 = getelementptr inbounds i8, ptr %0, i64 96
  %49 = getelementptr inbounds i8, ptr %0, i64 136
  %50 = getelementptr inbounds i8, ptr %0, i64 176
  %51 = getelementptr inbounds i8, ptr %0, i64 24
  %52 = getelementptr inbounds i8, ptr %0, i64 64
  %53 = getelementptr inbounds i8, ptr %0, i64 104
  %54 = getelementptr inbounds i8, ptr %0, i64 144
  %55 = getelementptr inbounds i8, ptr %0, i64 184
  %56 = getelementptr inbounds i8, ptr %0, i64 32
  %57 = getelementptr inbounds i8, ptr %0, i64 72
  %58 = getelementptr inbounds i8, ptr %0, i64 112
  %59 = getelementptr inbounds i8, ptr %0, i64 152
  %60 = getelementptr inbounds i8, ptr %0, i64 192
  %wide.trip.count = zext nneg i32 %5 to i64
  %61 = getelementptr inbounds i8, ptr %4, i64 168
  %62 = load i32, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, align 16
  %63 = load i32, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, align 16
  %64 = zext i32 %62 to i64
  %65 = getelementptr inbounds i64, ptr %0, i64 %64
  %66 = zext nneg i32 %63 to i64
  %67 = sub i32 64, %63
  %68 = zext nneg i32 %67 to i64
  %69 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 4), align 4
  %70 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 4), align 4
  %71 = zext i32 %69 to i64
  %72 = getelementptr inbounds i64, ptr %0, i64 %71
  %73 = zext nneg i32 %70 to i64
  %74 = sub i32 64, %70
  %75 = zext nneg i32 %74 to i64
  %76 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 8), align 8
  %77 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 8), align 8
  %78 = zext i32 %76 to i64
  %79 = getelementptr inbounds i64, ptr %0, i64 %78
  %80 = zext nneg i32 %77 to i64
  %81 = sub i32 64, %77
  %82 = zext nneg i32 %81 to i64
  %83 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 12), align 4
  %84 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 12), align 4
  %85 = zext i32 %83 to i64
  %86 = getelementptr inbounds i64, ptr %0, i64 %85
  %87 = zext nneg i32 %84 to i64
  %88 = sub i32 64, %84
  %89 = zext nneg i32 %88 to i64
  %90 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 16), align 16
  %91 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 16), align 16
  %92 = zext i32 %90 to i64
  %93 = getelementptr inbounds i64, ptr %0, i64 %92
  %94 = zext nneg i32 %91 to i64
  %95 = sub i32 64, %91
  %96 = zext nneg i32 %95 to i64
  %97 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 20), align 4
  %98 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 20), align 4
  %99 = zext i32 %97 to i64
  %100 = getelementptr inbounds i64, ptr %0, i64 %99
  %101 = zext nneg i32 %98 to i64
  %102 = sub i32 64, %98
  %103 = zext nneg i32 %102 to i64
  %104 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 24), align 8
  %105 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 24), align 8
  %106 = zext i32 %104 to i64
  %107 = getelementptr inbounds i64, ptr %0, i64 %106
  %108 = zext nneg i32 %105 to i64
  %109 = sub i32 64, %105
  %110 = zext nneg i32 %109 to i64
  %111 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 28), align 4
  %112 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 28), align 4
  %113 = zext i32 %111 to i64
  %114 = getelementptr inbounds i64, ptr %0, i64 %113
  %115 = zext nneg i32 %112 to i64
  %116 = sub i32 64, %112
  %117 = zext nneg i32 %116 to i64
  %118 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 32), align 16
  %119 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 32), align 16
  %120 = zext i32 %118 to i64
  %121 = getelementptr inbounds i64, ptr %0, i64 %120
  %122 = zext nneg i32 %119 to i64
  %123 = sub i32 64, %119
  %124 = zext nneg i32 %123 to i64
  %125 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 36), align 4
  %126 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 36), align 4
  %127 = zext i32 %125 to i64
  %128 = getelementptr inbounds i64, ptr %0, i64 %127
  %129 = zext nneg i32 %126 to i64
  %130 = sub i32 64, %126
  %131 = zext nneg i32 %130 to i64
  %132 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 40), align 8
  %133 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 40), align 8
  %134 = zext i32 %132 to i64
  %135 = getelementptr inbounds i64, ptr %0, i64 %134
  %136 = zext nneg i32 %133 to i64
  %137 = sub i32 64, %133
  %138 = zext nneg i32 %137 to i64
  %139 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 44), align 4
  %140 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 44), align 4
  %141 = zext i32 %139 to i64
  %142 = getelementptr inbounds i64, ptr %0, i64 %141
  %143 = zext nneg i32 %140 to i64
  %144 = sub i32 64, %140
  %145 = zext nneg i32 %144 to i64
  %146 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 48), align 16
  %147 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 48), align 16
  %148 = zext i32 %146 to i64
  %149 = getelementptr inbounds i64, ptr %0, i64 %148
  %150 = zext nneg i32 %147 to i64
  %151 = sub i32 64, %147
  %152 = zext nneg i32 %151 to i64
  %153 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 52), align 4
  %154 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 52), align 4
  %155 = zext i32 %153 to i64
  %156 = getelementptr inbounds i64, ptr %0, i64 %155
  %157 = zext nneg i32 %154 to i64
  %158 = sub i32 64, %154
  %159 = zext nneg i32 %158 to i64
  %160 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 56), align 8
  %161 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 56), align 8
  %162 = zext i32 %160 to i64
  %163 = getelementptr inbounds i64, ptr %0, i64 %162
  %164 = zext nneg i32 %161 to i64
  %165 = sub i32 64, %161
  %166 = zext nneg i32 %165 to i64
  %167 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 60), align 4
  %168 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 60), align 4
  %169 = zext i32 %167 to i64
  %170 = getelementptr inbounds i64, ptr %0, i64 %169
  %171 = zext nneg i32 %168 to i64
  %172 = sub i32 64, %168
  %173 = zext nneg i32 %172 to i64
  %174 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 64), align 16
  %175 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 64), align 16
  %176 = zext i32 %174 to i64
  %177 = getelementptr inbounds i64, ptr %0, i64 %176
  %178 = zext nneg i32 %175 to i64
  %179 = sub i32 64, %175
  %180 = zext nneg i32 %179 to i64
  %181 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 68), align 4
  %182 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 68), align 4
  %183 = zext i32 %181 to i64
  %184 = getelementptr inbounds i64, ptr %0, i64 %183
  %185 = zext nneg i32 %182 to i64
  %186 = sub i32 64, %182
  %187 = zext nneg i32 %186 to i64
  %188 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 72), align 8
  %189 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 72), align 8
  %190 = zext i32 %188 to i64
  %191 = getelementptr inbounds i64, ptr %0, i64 %190
  %192 = zext nneg i32 %189 to i64
  %193 = sub i32 64, %189
  %194 = zext nneg i32 %193 to i64
  %195 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 76), align 4
  %196 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 76), align 4
  %197 = zext i32 %195 to i64
  %198 = getelementptr inbounds i64, ptr %0, i64 %197
  %199 = zext nneg i32 %196 to i64
  %200 = sub i32 64, %196
  %201 = zext nneg i32 %200 to i64
  %202 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 80), align 16
  %203 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 80), align 16
  %204 = zext i32 %202 to i64
  %205 = getelementptr inbounds i64, ptr %0, i64 %204
  %206 = zext nneg i32 %203 to i64
  %207 = sub i32 64, %203
  %208 = zext nneg i32 %207 to i64
  %209 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 84), align 4
  %210 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 84), align 4
  %211 = zext i32 %209 to i64
  %212 = getelementptr inbounds i64, ptr %0, i64 %211
  %213 = zext nneg i32 %210 to i64
  %214 = sub i32 64, %210
  %215 = zext nneg i32 %214 to i64
  %216 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 88), align 8
  %217 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 88), align 8
  %218 = zext i32 %216 to i64
  %219 = getelementptr inbounds i64, ptr %0, i64 %218
  %220 = zext nneg i32 %217 to i64
  %221 = sub i32 64, %217
  %222 = zext nneg i32 %221 to i64
  %223 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 92), align 4
  %224 = load i32, ptr getelementptr inbounds (i8, ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 92), align 4
  %225 = zext i32 %223 to i64
  %226 = getelementptr inbounds i64, ptr %0, i64 %225
  %227 = zext nneg i32 %224 to i64
  %228 = sub i32 64, %224
  %229 = zext nneg i32 %228 to i64
  br label %.preheader.preheader

._crit_edge:                                      ; preds = %346, %3
  ret void

.preheader.preheader:                             ; preds = %.lr.ph, %346
  %indvars.iv676 = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next677, %346 ]
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %4) #6
  %230 = mul nuw nsw i64 %indvars.iv676, 168
  %231 = getelementptr inbounds i8, ptr %1, i64 %230
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(88) %61, i8 0, i64 88, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(168) %4, ptr noundef nonnull align 1 dereferenceable(168) %231, i64 168, i1 false)
  %232 = call i64 @load64(ptr noundef nonnull %4)
  %233 = call i64 @__uint64_identity(i64 noundef %232)
  %234 = call i64 @load64(ptr noundef nonnull %6)
  %235 = call i64 @__uint64_identity(i64 noundef %234)
  %236 = call i64 @load64(ptr noundef nonnull %7)
  %237 = call i64 @__uint64_identity(i64 noundef %236)
  %238 = call i64 @load64(ptr noundef nonnull %8)
  %239 = call i64 @__uint64_identity(i64 noundef %238)
  %240 = call i64 @load64(ptr noundef nonnull %9)
  %241 = call i64 @__uint64_identity(i64 noundef %240)
  %242 = call i64 @load64(ptr noundef nonnull %10)
  %243 = call i64 @__uint64_identity(i64 noundef %242)
  %244 = call i64 @load64(ptr noundef nonnull %11)
  %245 = call i64 @__uint64_identity(i64 noundef %244)
  %246 = call i64 @load64(ptr noundef nonnull %12)
  %247 = call i64 @__uint64_identity(i64 noundef %246)
  %248 = call i64 @load64(ptr noundef nonnull %13)
  %249 = call i64 @__uint64_identity(i64 noundef %248)
  %250 = call i64 @load64(ptr noundef nonnull %14)
  %251 = call i64 @__uint64_identity(i64 noundef %250)
  %252 = call i64 @load64(ptr noundef nonnull %15)
  %253 = call i64 @__uint64_identity(i64 noundef %252)
  %254 = call i64 @load64(ptr noundef nonnull %16)
  %255 = call i64 @__uint64_identity(i64 noundef %254)
  %256 = call i64 @load64(ptr noundef nonnull %17)
  %257 = call i64 @__uint64_identity(i64 noundef %256)
  %258 = call i64 @load64(ptr noundef nonnull %18)
  %259 = call i64 @__uint64_identity(i64 noundef %258)
  %260 = call i64 @load64(ptr noundef nonnull %19)
  %261 = call i64 @__uint64_identity(i64 noundef %260)
  %262 = call i64 @load64(ptr noundef nonnull %20)
  %263 = call i64 @__uint64_identity(i64 noundef %262)
  %264 = call i64 @load64(ptr noundef nonnull %21)
  %265 = call i64 @__uint64_identity(i64 noundef %264)
  %266 = call i64 @load64(ptr noundef nonnull %22)
  %267 = call i64 @__uint64_identity(i64 noundef %266)
  %268 = call i64 @load64(ptr noundef nonnull %23)
  %269 = call i64 @__uint64_identity(i64 noundef %268)
  %270 = call i64 @load64(ptr noundef nonnull %24)
  %271 = call i64 @__uint64_identity(i64 noundef %270)
  %272 = call i64 @load64(ptr noundef nonnull %25)
  %273 = call i64 @__uint64_identity(i64 noundef %272)
  %274 = call i64 @load64(ptr noundef nonnull %26)
  %275 = call i64 @__uint64_identity(i64 noundef %274)
  %276 = call i64 @load64(ptr noundef nonnull %27)
  %277 = call i64 @__uint64_identity(i64 noundef %276)
  %278 = call i64 @load64(ptr noundef nonnull %28)
  %279 = call i64 @__uint64_identity(i64 noundef %278)
  %280 = call i64 @load64(ptr noundef nonnull %29)
  %281 = call i64 @__uint64_identity(i64 noundef %280)
  %282 = call i64 @load64(ptr noundef nonnull %30)
  %283 = call i64 @__uint64_identity(i64 noundef %282)
  %284 = call i64 @load64(ptr noundef nonnull %31)
  %285 = call i64 @__uint64_identity(i64 noundef %284)
  %286 = call i64 @load64(ptr noundef nonnull %32)
  %287 = call i64 @__uint64_identity(i64 noundef %286)
  %288 = call i64 @load64(ptr noundef nonnull %33)
  %289 = call i64 @__uint64_identity(i64 noundef %288)
  %290 = call i64 @load64(ptr noundef nonnull %34)
  %291 = call i64 @__uint64_identity(i64 noundef %290)
  %292 = call i64 @load64(ptr noundef nonnull %35)
  %293 = call i64 @__uint64_identity(i64 noundef %292)
  %294 = call i64 @load64(ptr noundef nonnull %36)
  %295 = call i64 @__uint64_identity(i64 noundef %294)
  %296 = load i64, ptr %0, align 8, !tbaa !5
  %297 = xor i64 %233, %296
  store i64 %297, ptr %0, align 8, !tbaa !5
  %298 = load i64, ptr %41, align 8, !tbaa !5
  %299 = xor i64 %235, %298
  store i64 %299, ptr %41, align 8, !tbaa !5
  %300 = load i64, ptr %46, align 8, !tbaa !5
  %301 = xor i64 %237, %300
  store i64 %301, ptr %46, align 8, !tbaa !5
  %302 = load i64, ptr %51, align 8, !tbaa !5
  %303 = xor i64 %239, %302
  store i64 %303, ptr %51, align 8, !tbaa !5
  %304 = load i64, ptr %56, align 8, !tbaa !5
  %305 = xor i64 %241, %304
  store i64 %305, ptr %56, align 8, !tbaa !5
  %306 = load i64, ptr %37, align 8, !tbaa !5
  %307 = xor i64 %243, %306
  store i64 %307, ptr %37, align 8, !tbaa !5
  %308 = load i64, ptr %42, align 8, !tbaa !5
  %309 = xor i64 %245, %308
  %310 = load i64, ptr %47, align 8, !tbaa !5
  %311 = xor i64 %247, %310
  %312 = load i64, ptr %52, align 8, !tbaa !5
  %313 = xor i64 %249, %312
  %314 = load i64, ptr %57, align 8, !tbaa !5
  %315 = xor i64 %251, %314
  %316 = load i64, ptr %38, align 8, !tbaa !5
  %317 = xor i64 %253, %316
  %318 = load i64, ptr %43, align 8, !tbaa !5
  %319 = xor i64 %255, %318
  %320 = load i64, ptr %48, align 8, !tbaa !5
  %321 = xor i64 %257, %320
  %322 = load i64, ptr %53, align 8, !tbaa !5
  %323 = xor i64 %259, %322
  %324 = load i64, ptr %58, align 8, !tbaa !5
  %325 = xor i64 %261, %324
  %326 = load i64, ptr %39, align 8, !tbaa !5
  %327 = xor i64 %263, %326
  %328 = load i64, ptr %44, align 8, !tbaa !5
  %329 = xor i64 %265, %328
  %330 = load i64, ptr %49, align 8, !tbaa !5
  %331 = xor i64 %267, %330
  %332 = load i64, ptr %54, align 8, !tbaa !5
  %333 = xor i64 %269, %332
  %334 = load i64, ptr %59, align 8, !tbaa !5
  %335 = xor i64 %271, %334
  %336 = load i64, ptr %40, align 8, !tbaa !5
  %337 = xor i64 %273, %336
  %338 = load i64, ptr %45, align 8, !tbaa !5
  %339 = xor i64 %275, %338
  %340 = load i64, ptr %50, align 8, !tbaa !5
  %341 = xor i64 %277, %340
  %342 = load i64, ptr %55, align 8, !tbaa !5
  %343 = xor i64 %279, %342
  %344 = load i64, ptr %60, align 8, !tbaa !5
  %345 = xor i64 %281, %344
  br label %.preheader

346:                                              ; preds = %.preheader
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %4) #6
  %indvars.iv.next677 = add nuw nsw i64 %indvars.iv676, 1
  %exitcond679.not = icmp eq i64 %indvars.iv.next677, %wide.trip.count
  br i1 %exitcond679.not, label %._crit_edge, label %.preheader.preheader, !llvm.loop !9

.preheader:                                       ; preds = %.preheader.preheader, %.preheader
  %347 = phi i64 [ %345, %.preheader.preheader ], [ %615, %.preheader ]
  %348 = phi i64 [ %335, %.preheader.preheader ], [ %595, %.preheader ]
  %349 = phi i64 [ %325, %.preheader.preheader ], [ %575, %.preheader ]
  %350 = phi i64 [ %315, %.preheader.preheader ], [ %555, %.preheader ]
  %351 = phi i64 [ %343, %.preheader.preheader ], [ %612, %.preheader ]
  %352 = phi i64 [ %333, %.preheader.preheader ], [ %592, %.preheader ]
  %353 = phi i64 [ %323, %.preheader.preheader ], [ %572, %.preheader ]
  %354 = phi i64 [ %313, %.preheader.preheader ], [ %552, %.preheader ]
  %355 = phi i64 [ %341, %.preheader.preheader ], [ %609, %.preheader ]
  %356 = phi i64 [ %331, %.preheader.preheader ], [ %589, %.preheader ]
  %357 = phi i64 [ %321, %.preheader.preheader ], [ %569, %.preheader ]
  %358 = phi i64 [ %311, %.preheader.preheader ], [ %549, %.preheader ]
  %359 = phi i64 [ %339, %.preheader.preheader ], [ %605, %.preheader ]
  %360 = phi i64 [ %329, %.preheader.preheader ], [ %585, %.preheader ]
  %361 = phi i64 [ %319, %.preheader.preheader ], [ %565, %.preheader ]
  %362 = phi i64 [ %309, %.preheader.preheader ], [ %545, %.preheader ]
  %363 = phi i64 [ %337, %.preheader.preheader ], [ %601, %.preheader ]
  %364 = phi i64 [ %327, %.preheader.preheader ], [ %581, %.preheader ]
  %365 = phi i64 [ %317, %.preheader.preheader ], [ %561, %.preheader ]
  %366 = phi i64 [ %307, %.preheader.preheader ], [ %541, %.preheader ]
  %367 = phi i64 [ %297, %.preheader.preheader ], [ %619, %.preheader ]
  %indvars.iv = phi i64 [ 0, %.preheader.preheader ], [ %indvars.iv.next, %.preheader ]
  %368 = xor i64 %366, %367
  %369 = xor i64 %368, %365
  %370 = xor i64 %369, %364
  %371 = xor i64 %370, %363
  %372 = load i64, ptr %41, align 8, !tbaa !5
  %373 = xor i64 %362, %372
  %374 = xor i64 %373, %361
  %375 = xor i64 %374, %360
  %376 = xor i64 %375, %359
  %377 = load i64, ptr %46, align 8, !tbaa !5
  %378 = xor i64 %358, %377
  %379 = xor i64 %378, %357
  %380 = xor i64 %379, %356
  %381 = xor i64 %380, %355
  %382 = load i64, ptr %51, align 8, !tbaa !5
  %383 = xor i64 %354, %382
  %384 = xor i64 %383, %353
  %385 = xor i64 %384, %352
  %386 = xor i64 %385, %351
  %387 = load i64, ptr %56, align 8, !tbaa !5
  %388 = xor i64 %350, %387
  %389 = xor i64 %388, %349
  %390 = xor i64 %389, %348
  %391 = xor i64 %390, %347
  %392 = call i64 @llvm.fshl.i64(i64 %376, i64 %376, i64 1)
  %393 = xor i64 %391, %392
  %394 = xor i64 %393, %367
  store i64 %394, ptr %0, align 8, !tbaa !5
  %395 = xor i64 %393, %366
  store i64 %395, ptr %37, align 8, !tbaa !5
  %396 = xor i64 %393, %365
  store i64 %396, ptr %38, align 8, !tbaa !5
  %397 = xor i64 %393, %364
  store i64 %397, ptr %39, align 8, !tbaa !5
  %398 = xor i64 %393, %363
  store i64 %398, ptr %40, align 8, !tbaa !5
  %399 = call i64 @llvm.fshl.i64(i64 %381, i64 %381, i64 1)
  %400 = xor i64 %399, %371
  %401 = xor i64 %400, %372
  store i64 %401, ptr %41, align 8, !tbaa !5
  %402 = xor i64 %400, %362
  store i64 %402, ptr %42, align 8, !tbaa !5
  %403 = xor i64 %400, %361
  store i64 %403, ptr %43, align 8, !tbaa !5
  %404 = xor i64 %400, %360
  store i64 %404, ptr %44, align 8, !tbaa !5
  %405 = xor i64 %400, %359
  store i64 %405, ptr %45, align 8, !tbaa !5
  %406 = call i64 @llvm.fshl.i64(i64 %386, i64 %386, i64 1)
  %407 = xor i64 %406, %376
  %408 = xor i64 %407, %377
  store i64 %408, ptr %46, align 8, !tbaa !5
  %409 = xor i64 %407, %358
  store i64 %409, ptr %47, align 8, !tbaa !5
  %410 = xor i64 %407, %357
  store i64 %410, ptr %48, align 8, !tbaa !5
  %411 = xor i64 %407, %356
  store i64 %411, ptr %49, align 8, !tbaa !5
  %412 = xor i64 %407, %355
  store i64 %412, ptr %50, align 8, !tbaa !5
  %413 = call i64 @llvm.fshl.i64(i64 %391, i64 %391, i64 1)
  %414 = xor i64 %413, %381
  %415 = xor i64 %414, %382
  store i64 %415, ptr %51, align 8, !tbaa !5
  %416 = xor i64 %414, %354
  store i64 %416, ptr %52, align 8, !tbaa !5
  %417 = xor i64 %414, %353
  store i64 %417, ptr %53, align 8, !tbaa !5
  %418 = xor i64 %414, %352
  store i64 %418, ptr %54, align 8, !tbaa !5
  %419 = xor i64 %414, %351
  store i64 %419, ptr %55, align 8, !tbaa !5
  %420 = call i64 @llvm.fshl.i64(i64 %371, i64 %371, i64 1)
  %421 = xor i64 %386, %420
  %422 = xor i64 %421, %387
  store i64 %422, ptr %56, align 8, !tbaa !5
  %423 = xor i64 %421, %350
  store i64 %423, ptr %57, align 8, !tbaa !5
  %424 = xor i64 %421, %349
  store i64 %424, ptr %58, align 8, !tbaa !5
  %425 = xor i64 %421, %348
  store i64 %425, ptr %59, align 8, !tbaa !5
  %426 = xor i64 %347, %421
  store i64 %426, ptr %60, align 8, !tbaa !5
  %427 = load i64, ptr %65, align 8, !tbaa !5
  %428 = shl i64 %401, %66
  %429 = lshr i64 %401, %68
  %430 = or i64 %429, %428
  store i64 %430, ptr %65, align 8, !tbaa !5
  %431 = load i64, ptr %72, align 8, !tbaa !5
  %432 = shl i64 %427, %73
  %433 = lshr i64 %427, %75
  %434 = or i64 %433, %432
  store i64 %434, ptr %72, align 8, !tbaa !5
  %435 = load i64, ptr %79, align 8, !tbaa !5
  %436 = shl i64 %431, %80
  %437 = lshr i64 %431, %82
  %438 = or i64 %437, %436
  store i64 %438, ptr %79, align 8, !tbaa !5
  %439 = load i64, ptr %86, align 8, !tbaa !5
  %440 = shl i64 %435, %87
  %441 = lshr i64 %435, %89
  %442 = or i64 %441, %440
  store i64 %442, ptr %86, align 8, !tbaa !5
  %443 = load i64, ptr %93, align 8, !tbaa !5
  %444 = shl i64 %439, %94
  %445 = lshr i64 %439, %96
  %446 = or i64 %445, %444
  store i64 %446, ptr %93, align 8, !tbaa !5
  %447 = load i64, ptr %100, align 8, !tbaa !5
  %448 = shl i64 %443, %101
  %449 = lshr i64 %443, %103
  %450 = or i64 %449, %448
  store i64 %450, ptr %100, align 8, !tbaa !5
  %451 = load i64, ptr %107, align 8, !tbaa !5
  %452 = shl i64 %447, %108
  %453 = lshr i64 %447, %110
  %454 = or i64 %453, %452
  store i64 %454, ptr %107, align 8, !tbaa !5
  %455 = load i64, ptr %114, align 8, !tbaa !5
  %456 = shl i64 %451, %115
  %457 = lshr i64 %451, %117
  %458 = or i64 %457, %456
  store i64 %458, ptr %114, align 8, !tbaa !5
  %459 = load i64, ptr %121, align 8, !tbaa !5
  %460 = shl i64 %455, %122
  %461 = lshr i64 %455, %124
  %462 = or i64 %461, %460
  store i64 %462, ptr %121, align 8, !tbaa !5
  %463 = load i64, ptr %128, align 8, !tbaa !5
  %464 = shl i64 %459, %129
  %465 = lshr i64 %459, %131
  %466 = or i64 %465, %464
  store i64 %466, ptr %128, align 8, !tbaa !5
  %467 = load i64, ptr %135, align 8, !tbaa !5
  %468 = shl i64 %463, %136
  %469 = lshr i64 %463, %138
  %470 = or i64 %469, %468
  store i64 %470, ptr %135, align 8, !tbaa !5
  %471 = load i64, ptr %142, align 8, !tbaa !5
  %472 = shl i64 %467, %143
  %473 = lshr i64 %467, %145
  %474 = or i64 %473, %472
  store i64 %474, ptr %142, align 8, !tbaa !5
  %475 = load i64, ptr %149, align 8, !tbaa !5
  %476 = shl i64 %471, %150
  %477 = lshr i64 %471, %152
  %478 = or i64 %477, %476
  store i64 %478, ptr %149, align 8, !tbaa !5
  %479 = load i64, ptr %156, align 8, !tbaa !5
  %480 = shl i64 %475, %157
  %481 = lshr i64 %475, %159
  %482 = or i64 %481, %480
  store i64 %482, ptr %156, align 8, !tbaa !5
  %483 = load i64, ptr %163, align 8, !tbaa !5
  %484 = shl i64 %479, %164
  %485 = lshr i64 %479, %166
  %486 = or i64 %485, %484
  store i64 %486, ptr %163, align 8, !tbaa !5
  %487 = load i64, ptr %170, align 8, !tbaa !5
  %488 = shl i64 %483, %171
  %489 = lshr i64 %483, %173
  %490 = or i64 %489, %488
  store i64 %490, ptr %170, align 8, !tbaa !5
  %491 = load i64, ptr %177, align 8, !tbaa !5
  %492 = shl i64 %487, %178
  %493 = lshr i64 %487, %180
  %494 = or i64 %493, %492
  store i64 %494, ptr %177, align 8, !tbaa !5
  %495 = load i64, ptr %184, align 8, !tbaa !5
  %496 = shl i64 %491, %185
  %497 = lshr i64 %491, %187
  %498 = or i64 %497, %496
  store i64 %498, ptr %184, align 8, !tbaa !5
  %499 = load i64, ptr %191, align 8, !tbaa !5
  %500 = shl i64 %495, %192
  %501 = lshr i64 %495, %194
  %502 = or i64 %501, %500
  store i64 %502, ptr %191, align 8, !tbaa !5
  %503 = load i64, ptr %198, align 8, !tbaa !5
  %504 = shl i64 %499, %199
  %505 = lshr i64 %499, %201
  %506 = or i64 %505, %504
  store i64 %506, ptr %198, align 8, !tbaa !5
  %507 = load i64, ptr %205, align 8, !tbaa !5
  %508 = shl i64 %503, %206
  %509 = lshr i64 %503, %208
  %510 = or i64 %509, %508
  store i64 %510, ptr %205, align 8, !tbaa !5
  %511 = load i64, ptr %212, align 8, !tbaa !5
  %512 = shl i64 %507, %213
  %513 = lshr i64 %507, %215
  %514 = or i64 %513, %512
  store i64 %514, ptr %212, align 8, !tbaa !5
  %515 = load i64, ptr %219, align 8, !tbaa !5
  %516 = shl i64 %511, %220
  %517 = lshr i64 %511, %222
  %518 = or i64 %517, %516
  store i64 %518, ptr %219, align 8, !tbaa !5
  %519 = shl i64 %515, %227
  %520 = lshr i64 %515, %229
  %521 = or i64 %520, %519
  store i64 %521, ptr %226, align 8, !tbaa !5
  %522 = load i64, ptr %0, align 8, !tbaa !5
  %523 = xor i64 %522, -1
  %524 = load <4 x i64>, ptr %41, align 8, !tbaa !5
  %525 = xor <4 x i64> %524, <i64 -1, i64 -1, i64 -1, i64 -1>
  %526 = shufflevector <4 x i64> %524, <4 x i64> poison, <4 x i32> <i32 1, i32 2, i32 3, i32 poison>
  %527 = insertelement <4 x i64> %526, i64 %522, i64 3
  %528 = and <4 x i64> %527, %525
  %529 = insertelement <4 x i64> poison, i64 %522, i64 0
  %530 = shufflevector <4 x i64> %529, <4 x i64> %524, <4 x i32> <i32 0, i32 4, i32 5, i32 6>
  %531 = xor <4 x i64> %528, %530
  %532 = extractelement <4 x i64> %524, i64 0
  %533 = and i64 %532, %523
  %534 = extractelement <4 x i64> %524, i64 3
  %535 = xor i64 %534, %533
  store <4 x i64> %531, ptr %0, align 8, !tbaa !5
  store i64 %535, ptr %56, align 8, !tbaa !5
  %536 = load i64, ptr %37, align 8, !tbaa !5
  %537 = load i64, ptr %42, align 8, !tbaa !5
  %538 = xor i64 %537, -1
  %539 = load i64, ptr %47, align 8, !tbaa !5
  %540 = and i64 %539, %538
  %541 = xor i64 %540, %536
  %542 = xor i64 %539, -1
  %543 = load i64, ptr %52, align 8, !tbaa !5
  %544 = and i64 %543, %542
  %545 = xor i64 %544, %537
  %546 = xor i64 %543, -1
  %547 = load i64, ptr %57, align 8, !tbaa !5
  %548 = and i64 %547, %546
  %549 = xor i64 %548, %539
  %550 = xor i64 %547, -1
  %551 = and i64 %536, %550
  %552 = xor i64 %551, %543
  %553 = xor i64 %536, -1
  %554 = and i64 %537, %553
  %555 = xor i64 %547, %554
  store i64 %541, ptr %37, align 8, !tbaa !5
  store i64 %545, ptr %42, align 8, !tbaa !5
  store i64 %549, ptr %47, align 8, !tbaa !5
  store i64 %552, ptr %52, align 8, !tbaa !5
  store i64 %555, ptr %57, align 8, !tbaa !5
  %556 = load i64, ptr %38, align 8, !tbaa !5
  %557 = load i64, ptr %43, align 8, !tbaa !5
  %558 = xor i64 %557, -1
  %559 = load i64, ptr %48, align 8, !tbaa !5
  %560 = and i64 %559, %558
  %561 = xor i64 %560, %556
  %562 = xor i64 %559, -1
  %563 = load i64, ptr %53, align 8, !tbaa !5
  %564 = and i64 %563, %562
  %565 = xor i64 %564, %557
  %566 = xor i64 %563, -1
  %567 = load i64, ptr %58, align 8, !tbaa !5
  %568 = and i64 %567, %566
  %569 = xor i64 %568, %559
  %570 = xor i64 %567, -1
  %571 = and i64 %556, %570
  %572 = xor i64 %571, %563
  %573 = xor i64 %556, -1
  %574 = and i64 %557, %573
  %575 = xor i64 %567, %574
  store i64 %561, ptr %38, align 8, !tbaa !5
  store i64 %565, ptr %43, align 8, !tbaa !5
  store i64 %569, ptr %48, align 8, !tbaa !5
  store i64 %572, ptr %53, align 8, !tbaa !5
  store i64 %575, ptr %58, align 8, !tbaa !5
  %576 = load i64, ptr %39, align 8, !tbaa !5
  %577 = load i64, ptr %44, align 8, !tbaa !5
  %578 = xor i64 %577, -1
  %579 = load i64, ptr %49, align 8, !tbaa !5
  %580 = and i64 %579, %578
  %581 = xor i64 %580, %576
  %582 = xor i64 %579, -1
  %583 = load i64, ptr %54, align 8, !tbaa !5
  %584 = and i64 %583, %582
  %585 = xor i64 %584, %577
  %586 = xor i64 %583, -1
  %587 = load i64, ptr %59, align 8, !tbaa !5
  %588 = and i64 %587, %586
  %589 = xor i64 %588, %579
  %590 = xor i64 %587, -1
  %591 = and i64 %576, %590
  %592 = xor i64 %591, %583
  %593 = xor i64 %576, -1
  %594 = and i64 %577, %593
  %595 = xor i64 %587, %594
  store i64 %581, ptr %39, align 8, !tbaa !5
  store i64 %585, ptr %44, align 8, !tbaa !5
  store i64 %589, ptr %49, align 8, !tbaa !5
  store i64 %592, ptr %54, align 8, !tbaa !5
  store i64 %595, ptr %59, align 8, !tbaa !5
  %596 = load i64, ptr %40, align 8, !tbaa !5
  %597 = load i64, ptr %45, align 8, !tbaa !5
  %598 = xor i64 %597, -1
  %599 = load i64, ptr %50, align 8, !tbaa !5
  %600 = and i64 %599, %598
  %601 = xor i64 %600, %596
  %602 = xor i64 %599, -1
  %603 = load i64, ptr %55, align 8, !tbaa !5
  %604 = and i64 %603, %602
  %605 = xor i64 %604, %597
  %606 = xor i64 %603, -1
  %607 = load i64, ptr %60, align 8, !tbaa !5
  %608 = and i64 %607, %606
  %609 = xor i64 %608, %599
  %610 = xor i64 %607, -1
  %611 = and i64 %596, %610
  %612 = xor i64 %611, %603
  %613 = xor i64 %596, -1
  %614 = and i64 %597, %613
  %615 = xor i64 %607, %614
  store i64 %601, ptr %40, align 8, !tbaa !5
  store i64 %605, ptr %45, align 8, !tbaa !5
  store i64 %609, ptr %50, align 8, !tbaa !5
  store i64 %612, ptr %55, align 8, !tbaa !5
  store i64 %615, ptr %60, align 8, !tbaa !5
  %616 = getelementptr inbounds [24 x i64], ptr @Hacl_Impl_SHA3_Vec_keccak_rndc, i64 0, i64 %indvars.iv
  %617 = load i64, ptr %616, align 8, !tbaa !5
  %618 = extractelement <4 x i64> %531, i64 0
  %619 = xor i64 %617, %618
  store i64 %619, ptr %0, align 8, !tbaa !5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 24
  br i1 %exitcond.not, label %346, label %.preheader, !llvm.loop !11
}

; 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 = !{!"long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}


; Effective O3 passes: BDCEPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,MemCpyOptPass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass