; 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: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

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

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_Hash_SHA3_Scalar_shake128_squeeze_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 [32 x i64], align 16
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca [5 x i64], align 16
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i64, align 8
  %17 = alloca i64, align 8
  %18 = alloca i32, align 4
  %19 = alloca i64, align 8
  %20 = alloca i64, align 8
  %21 = alloca i32, align 4
  %22 = alloca i64, align 8
  %23 = alloca i64, align 8
  %24 = alloca i32, align 4
  %25 = alloca i64, align 8
  %26 = alloca i64, align 8
  %27 = alloca i32, align 4
  %28 = alloca i64, align 8
  %29 = alloca i64, align 8
  %30 = alloca i32, align 4
  %31 = alloca i64, align 8
  %32 = alloca i64, align 8
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca i64, align 8
  %37 = alloca i64, align 8
  %38 = alloca i32, align 4
  %39 = alloca i64, align 8
  %40 = alloca i64, align 8
  %41 = alloca i64, align 8
  %42 = alloca i64, align 8
  %43 = alloca i64, align 8
  %44 = alloca i64, align 8
  %45 = alloca i64, align 8
  %46 = alloca i64, align 8
  %47 = alloca i64, align 8
  %48 = alloca i64, align 8
  %49 = alloca i64, align 8
  %50 = alloca i64, align 8
  %51 = alloca i64, align 8
  %52 = alloca i64, align 8
  %53 = alloca i64, align 8
  %54 = alloca i64, align 8
  %55 = alloca i64, align 8
  %56 = alloca i64, align 8
  %57 = alloca i64, align 8
  %58 = alloca i64, align 8
  %59 = alloca i64, align 8
  %60 = alloca i64, align 8
  %61 = alloca i64, align 8
  %62 = alloca i64, align 8
  %63 = alloca i64, align 8
  %64 = alloca i64, align 8
  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 %65

65:                                               ; preds = %1780, %3
  %66 = load i32, ptr %7, align 4, !tbaa !9
  %67 = load i32, ptr %6, align 4, !tbaa !9
  %68 = udiv i32 %67, 168
  %69 = icmp ult i32 %66, %68
  br i1 %69, label %71, label %70

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

71:                                               ; preds = %65
  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 256, ptr %10) #5
  call void @llvm.memset.p0.i64(ptr align 16 %10, i8 0, i64 256, i1 false)
  %72 = getelementptr inbounds [32 x i64], ptr %10, i64 0, i64 0
  %73 = load ptr, ptr %4, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %72, ptr align 8 %73, i64 200, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  store i32 0, ptr %11, align 4, !tbaa !9
  br label %74

74:                                               ; preds = %89, %71
  %75 = load i32, ptr %11, align 4, !tbaa !9
  %76 = icmp ult i32 %75, 32
  br i1 %76, label %78, label %77

77:                                               ; preds = %74
  store i32 5, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  br label %92

78:                                               ; preds = %74
  %79 = getelementptr inbounds [256 x i8], ptr %9, i64 0, i64 0
  %80 = load i32, ptr %11, align 4, !tbaa !9
  %81 = mul i32 %80, 8
  %82 = zext i32 %81 to i64
  %83 = getelementptr inbounds i8, ptr %79, i64 %82
  %84 = load i32, ptr %11, align 4, !tbaa !9
  %85 = zext i32 %84 to i64
  %86 = getelementptr inbounds [32 x i64], ptr %10, i64 0, i64 %85
  %87 = load i64, ptr %86, align 8, !tbaa !11
  %88 = call i64 @__uint64_identity(i64 noundef %87)
  call void @store64(ptr noundef %83, i64 noundef %88)
  br label %89

89:                                               ; preds = %78
  %90 = load i32, ptr %11, align 4, !tbaa !9
  %91 = add i32 %90, 1
  store i32 %91, ptr %11, align 4, !tbaa !9
  br label %74, !llvm.loop !13

92:                                               ; preds = %77
  %93 = load ptr, ptr %5, align 8, !tbaa !5
  %94 = load i32, ptr %7, align 4, !tbaa !9
  %95 = mul i32 %94, 168
  %96 = zext i32 %95 to i64
  %97 = getelementptr inbounds i8, ptr %93, i64 %96
  %98 = getelementptr inbounds [256 x i8], ptr %9, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %97, ptr align 16 %98, i64 168, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #5
  store i32 0, ptr %12, align 4, !tbaa !9
  br label %99

99:                                               ; preds = %1776, %92
  %100 = load i32, ptr %12, align 4, !tbaa !9
  %101 = icmp ult i32 %100, 24
  br i1 %101, label %103, label %102

102:                                              ; preds = %99
  store i32 8, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #5
  br label %1779

103:                                              ; preds = %99
  call void @llvm.lifetime.start.p0(i64 40, ptr %13) #5
  call void @llvm.memset.p0.i64(ptr align 16 %13, i8 0, i64 40, i1 false)
  br label %104

104:                                              ; preds = %103
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #5
  store i32 0, ptr %14, align 4, !tbaa !9
  %105 = load ptr, ptr %4, align 8, !tbaa !5
  %106 = load i32, ptr %14, align 4, !tbaa !9
  %107 = add i32 %106, 0
  %108 = zext i32 %107 to i64
  %109 = getelementptr inbounds i64, ptr %105, i64 %108
  %110 = load i64, ptr %109, align 8, !tbaa !11
  %111 = load ptr, ptr %4, align 8, !tbaa !5
  %112 = load i32, ptr %14, align 4, !tbaa !9
  %113 = add i32 %112, 5
  %114 = zext i32 %113 to i64
  %115 = getelementptr inbounds i64, ptr %111, i64 %114
  %116 = load i64, ptr %115, align 8, !tbaa !11
  %117 = load ptr, ptr %4, align 8, !tbaa !5
  %118 = load i32, ptr %14, align 4, !tbaa !9
  %119 = add i32 %118, 10
  %120 = zext i32 %119 to i64
  %121 = getelementptr inbounds i64, ptr %117, i64 %120
  %122 = load i64, ptr %121, align 8, !tbaa !11
  %123 = load ptr, ptr %4, align 8, !tbaa !5
  %124 = load i32, ptr %14, align 4, !tbaa !9
  %125 = add i32 %124, 15
  %126 = zext i32 %125 to i64
  %127 = getelementptr inbounds i64, ptr %123, i64 %126
  %128 = load i64, ptr %127, align 8, !tbaa !11
  %129 = load ptr, ptr %4, align 8, !tbaa !5
  %130 = load i32, ptr %14, align 4, !tbaa !9
  %131 = add i32 %130, 20
  %132 = zext i32 %131 to i64
  %133 = getelementptr inbounds i64, ptr %129, i64 %132
  %134 = load i64, ptr %133, align 8, !tbaa !11
  %135 = xor i64 %128, %134
  %136 = xor i64 %122, %135
  %137 = xor i64 %116, %136
  %138 = xor i64 %110, %137
  %139 = load i32, ptr %14, align 4, !tbaa !9
  %140 = zext i32 %139 to i64
  %141 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %140
  store i64 %138, ptr %141, align 8, !tbaa !11
  %142 = load i32, ptr %14, align 4, !tbaa !9
  %143 = add i32 %142, 1
  store i32 %143, ptr %14, align 4, !tbaa !9
  %144 = load i32, ptr %14, align 4, !tbaa !9
  %145 = load ptr, ptr %4, align 8, !tbaa !5
  %146 = load i32, ptr %14, align 4, !tbaa !9
  %147 = add i32 %146, 0
  %148 = zext i32 %147 to i64
  %149 = getelementptr inbounds i64, ptr %145, i64 %148
  %150 = load i64, ptr %149, align 8, !tbaa !11
  %151 = load ptr, ptr %4, align 8, !tbaa !5
  %152 = load i32, ptr %14, align 4, !tbaa !9
  %153 = add i32 %152, 5
  %154 = zext i32 %153 to i64
  %155 = getelementptr inbounds i64, ptr %151, i64 %154
  %156 = load i64, ptr %155, align 8, !tbaa !11
  %157 = load ptr, ptr %4, align 8, !tbaa !5
  %158 = load i32, ptr %14, align 4, !tbaa !9
  %159 = add i32 %158, 10
  %160 = zext i32 %159 to i64
  %161 = getelementptr inbounds i64, ptr %157, i64 %160
  %162 = load i64, ptr %161, align 8, !tbaa !11
  %163 = load ptr, ptr %4, align 8, !tbaa !5
  %164 = load i32, ptr %14, align 4, !tbaa !9
  %165 = add i32 %164, 15
  %166 = zext i32 %165 to i64
  %167 = getelementptr inbounds i64, ptr %163, i64 %166
  %168 = load i64, ptr %167, align 8, !tbaa !11
  %169 = load ptr, ptr %4, align 8, !tbaa !5
  %170 = load i32, ptr %14, align 4, !tbaa !9
  %171 = add i32 %170, 20
  %172 = zext i32 %171 to i64
  %173 = getelementptr inbounds i64, ptr %169, i64 %172
  %174 = load i64, ptr %173, align 8, !tbaa !11
  %175 = xor i64 %168, %174
  %176 = xor i64 %162, %175
  %177 = xor i64 %156, %176
  %178 = xor i64 %150, %177
  %179 = load i32, ptr %14, align 4, !tbaa !9
  %180 = zext i32 %179 to i64
  %181 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %180
  store i64 %178, ptr %181, align 8, !tbaa !11
  %182 = load i32, ptr %14, align 4, !tbaa !9
  %183 = add i32 %182, 1
  store i32 %183, ptr %14, align 4, !tbaa !9
  %184 = load i32, ptr %14, align 4, !tbaa !9
  %185 = load ptr, ptr %4, align 8, !tbaa !5
  %186 = load i32, ptr %14, align 4, !tbaa !9
  %187 = add i32 %186, 0
  %188 = zext i32 %187 to i64
  %189 = getelementptr inbounds i64, ptr %185, i64 %188
  %190 = load i64, ptr %189, align 8, !tbaa !11
  %191 = load ptr, ptr %4, align 8, !tbaa !5
  %192 = load i32, ptr %14, align 4, !tbaa !9
  %193 = add i32 %192, 5
  %194 = zext i32 %193 to i64
  %195 = getelementptr inbounds i64, ptr %191, i64 %194
  %196 = load i64, ptr %195, align 8, !tbaa !11
  %197 = load ptr, ptr %4, align 8, !tbaa !5
  %198 = load i32, ptr %14, align 4, !tbaa !9
  %199 = add i32 %198, 10
  %200 = zext i32 %199 to i64
  %201 = getelementptr inbounds i64, ptr %197, i64 %200
  %202 = load i64, ptr %201, align 8, !tbaa !11
  %203 = load ptr, ptr %4, align 8, !tbaa !5
  %204 = load i32, ptr %14, align 4, !tbaa !9
  %205 = add i32 %204, 15
  %206 = zext i32 %205 to i64
  %207 = getelementptr inbounds i64, ptr %203, i64 %206
  %208 = load i64, ptr %207, align 8, !tbaa !11
  %209 = load ptr, ptr %4, align 8, !tbaa !5
  %210 = load i32, ptr %14, align 4, !tbaa !9
  %211 = add i32 %210, 20
  %212 = zext i32 %211 to i64
  %213 = getelementptr inbounds i64, ptr %209, i64 %212
  %214 = load i64, ptr %213, align 8, !tbaa !11
  %215 = xor i64 %208, %214
  %216 = xor i64 %202, %215
  %217 = xor i64 %196, %216
  %218 = xor i64 %190, %217
  %219 = load i32, ptr %14, align 4, !tbaa !9
  %220 = zext i32 %219 to i64
  %221 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %220
  store i64 %218, ptr %221, align 8, !tbaa !11
  %222 = load i32, ptr %14, align 4, !tbaa !9
  %223 = add i32 %222, 1
  store i32 %223, ptr %14, align 4, !tbaa !9
  %224 = load i32, ptr %14, align 4, !tbaa !9
  %225 = load ptr, ptr %4, align 8, !tbaa !5
  %226 = load i32, ptr %14, align 4, !tbaa !9
  %227 = add i32 %226, 0
  %228 = zext i32 %227 to i64
  %229 = getelementptr inbounds i64, ptr %225, i64 %228
  %230 = load i64, ptr %229, align 8, !tbaa !11
  %231 = load ptr, ptr %4, align 8, !tbaa !5
  %232 = load i32, ptr %14, align 4, !tbaa !9
  %233 = add i32 %232, 5
  %234 = zext i32 %233 to i64
  %235 = getelementptr inbounds i64, ptr %231, i64 %234
  %236 = load i64, ptr %235, align 8, !tbaa !11
  %237 = load ptr, ptr %4, align 8, !tbaa !5
  %238 = load i32, ptr %14, align 4, !tbaa !9
  %239 = add i32 %238, 10
  %240 = zext i32 %239 to i64
  %241 = getelementptr inbounds i64, ptr %237, i64 %240
  %242 = load i64, ptr %241, align 8, !tbaa !11
  %243 = load ptr, ptr %4, align 8, !tbaa !5
  %244 = load i32, ptr %14, align 4, !tbaa !9
  %245 = add i32 %244, 15
  %246 = zext i32 %245 to i64
  %247 = getelementptr inbounds i64, ptr %243, i64 %246
  %248 = load i64, ptr %247, align 8, !tbaa !11
  %249 = load ptr, ptr %4, align 8, !tbaa !5
  %250 = load i32, ptr %14, align 4, !tbaa !9
  %251 = add i32 %250, 20
  %252 = zext i32 %251 to i64
  %253 = getelementptr inbounds i64, ptr %249, i64 %252
  %254 = load i64, ptr %253, align 8, !tbaa !11
  %255 = xor i64 %248, %254
  %256 = xor i64 %242, %255
  %257 = xor i64 %236, %256
  %258 = xor i64 %230, %257
  %259 = load i32, ptr %14, align 4, !tbaa !9
  %260 = zext i32 %259 to i64
  %261 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %260
  store i64 %258, ptr %261, align 8, !tbaa !11
  %262 = load i32, ptr %14, align 4, !tbaa !9
  %263 = add i32 %262, 1
  store i32 %263, ptr %14, align 4, !tbaa !9
  %264 = load i32, ptr %14, align 4, !tbaa !9
  %265 = load ptr, ptr %4, align 8, !tbaa !5
  %266 = load i32, ptr %14, align 4, !tbaa !9
  %267 = add i32 %266, 0
  %268 = zext i32 %267 to i64
  %269 = getelementptr inbounds i64, ptr %265, i64 %268
  %270 = load i64, ptr %269, align 8, !tbaa !11
  %271 = load ptr, ptr %4, align 8, !tbaa !5
  %272 = load i32, ptr %14, align 4, !tbaa !9
  %273 = add i32 %272, 5
  %274 = zext i32 %273 to i64
  %275 = getelementptr inbounds i64, ptr %271, i64 %274
  %276 = load i64, ptr %275, align 8, !tbaa !11
  %277 = load ptr, ptr %4, align 8, !tbaa !5
  %278 = load i32, ptr %14, align 4, !tbaa !9
  %279 = add i32 %278, 10
  %280 = zext i32 %279 to i64
  %281 = getelementptr inbounds i64, ptr %277, i64 %280
  %282 = load i64, ptr %281, align 8, !tbaa !11
  %283 = load ptr, ptr %4, align 8, !tbaa !5
  %284 = load i32, ptr %14, align 4, !tbaa !9
  %285 = add i32 %284, 15
  %286 = zext i32 %285 to i64
  %287 = getelementptr inbounds i64, ptr %283, i64 %286
  %288 = load i64, ptr %287, align 8, !tbaa !11
  %289 = load ptr, ptr %4, align 8, !tbaa !5
  %290 = load i32, ptr %14, align 4, !tbaa !9
  %291 = add i32 %290, 20
  %292 = zext i32 %291 to i64
  %293 = getelementptr inbounds i64, ptr %289, i64 %292
  %294 = load i64, ptr %293, align 8, !tbaa !11
  %295 = xor i64 %288, %294
  %296 = xor i64 %282, %295
  %297 = xor i64 %276, %296
  %298 = xor i64 %270, %297
  %299 = load i32, ptr %14, align 4, !tbaa !9
  %300 = zext i32 %299 to i64
  %301 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %300
  store i64 %298, ptr %301, align 8, !tbaa !11
  %302 = load i32, ptr %14, align 4, !tbaa !9
  %303 = add i32 %302, 1
  store i32 %303, ptr %14, align 4, !tbaa !9
  %304 = load i32, ptr %14, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  br label %305

305:                                              ; preds = %104
  br label %306

306:                                              ; preds = %305
  br label %307

307:                                              ; preds = %306
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  store i32 0, ptr %15, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #5
  %308 = load i32, ptr %15, align 4, !tbaa !9
  %309 = add i32 %308, 1
  %310 = urem i32 %309, 5
  %311 = zext i32 %310 to i64
  %312 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %311
  %313 = load i64, ptr %312, align 8, !tbaa !11
  store i64 %313, ptr %16, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #5
  %314 = load i32, ptr %15, align 4, !tbaa !9
  %315 = add i32 %314, 4
  %316 = urem i32 %315, 5
  %317 = zext i32 %316 to i64
  %318 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %317
  %319 = load i64, ptr %318, align 8, !tbaa !11
  %320 = load i64, ptr %16, align 8, !tbaa !11
  %321 = shl i64 %320, 1
  %322 = load i64, ptr %16, align 8, !tbaa !11
  %323 = lshr i64 %322, 63
  %324 = or i64 %321, %323
  %325 = xor i64 %319, %324
  store i64 %325, ptr %17, align 8, !tbaa !11
  br label %326

326:                                              ; preds = %307
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #5
  store i32 0, ptr %18, align 4, !tbaa !9
  %327 = load ptr, ptr %4, align 8, !tbaa !5
  %328 = load i32, ptr %15, align 4, !tbaa !9
  %329 = load i32, ptr %18, align 4, !tbaa !9
  %330 = mul i32 5, %329
  %331 = add i32 %328, %330
  %332 = zext i32 %331 to i64
  %333 = getelementptr inbounds i64, ptr %327, i64 %332
  %334 = load i64, ptr %333, align 8, !tbaa !11
  %335 = load i64, ptr %17, align 8, !tbaa !11
  %336 = xor i64 %334, %335
  %337 = load ptr, ptr %4, align 8, !tbaa !5
  %338 = load i32, ptr %15, align 4, !tbaa !9
  %339 = load i32, ptr %18, align 4, !tbaa !9
  %340 = mul i32 5, %339
  %341 = add i32 %338, %340
  %342 = zext i32 %341 to i64
  %343 = getelementptr inbounds i64, ptr %337, i64 %342
  store i64 %336, ptr %343, align 8, !tbaa !11
  %344 = load i32, ptr %18, align 4, !tbaa !9
  %345 = add i32 %344, 1
  store i32 %345, ptr %18, align 4, !tbaa !9
  %346 = load i32, ptr %18, align 4, !tbaa !9
  %347 = load ptr, ptr %4, align 8, !tbaa !5
  %348 = load i32, ptr %15, align 4, !tbaa !9
  %349 = load i32, ptr %18, align 4, !tbaa !9
  %350 = mul i32 5, %349
  %351 = add i32 %348, %350
  %352 = zext i32 %351 to i64
  %353 = getelementptr inbounds i64, ptr %347, i64 %352
  %354 = load i64, ptr %353, align 8, !tbaa !11
  %355 = load i64, ptr %17, align 8, !tbaa !11
  %356 = xor i64 %354, %355
  %357 = load ptr, ptr %4, align 8, !tbaa !5
  %358 = load i32, ptr %15, align 4, !tbaa !9
  %359 = load i32, ptr %18, align 4, !tbaa !9
  %360 = mul i32 5, %359
  %361 = add i32 %358, %360
  %362 = zext i32 %361 to i64
  %363 = getelementptr inbounds i64, ptr %357, i64 %362
  store i64 %356, ptr %363, align 8, !tbaa !11
  %364 = load i32, ptr %18, align 4, !tbaa !9
  %365 = add i32 %364, 1
  store i32 %365, ptr %18, align 4, !tbaa !9
  %366 = load i32, ptr %18, align 4, !tbaa !9
  %367 = load ptr, ptr %4, align 8, !tbaa !5
  %368 = load i32, ptr %15, align 4, !tbaa !9
  %369 = load i32, ptr %18, align 4, !tbaa !9
  %370 = mul i32 5, %369
  %371 = add i32 %368, %370
  %372 = zext i32 %371 to i64
  %373 = getelementptr inbounds i64, ptr %367, i64 %372
  %374 = load i64, ptr %373, align 8, !tbaa !11
  %375 = load i64, ptr %17, align 8, !tbaa !11
  %376 = xor i64 %374, %375
  %377 = load ptr, ptr %4, align 8, !tbaa !5
  %378 = load i32, ptr %15, align 4, !tbaa !9
  %379 = load i32, ptr %18, align 4, !tbaa !9
  %380 = mul i32 5, %379
  %381 = add i32 %378, %380
  %382 = zext i32 %381 to i64
  %383 = getelementptr inbounds i64, ptr %377, i64 %382
  store i64 %376, ptr %383, align 8, !tbaa !11
  %384 = load i32, ptr %18, align 4, !tbaa !9
  %385 = add i32 %384, 1
  store i32 %385, ptr %18, align 4, !tbaa !9
  %386 = load i32, ptr %18, align 4, !tbaa !9
  %387 = load ptr, ptr %4, align 8, !tbaa !5
  %388 = load i32, ptr %15, align 4, !tbaa !9
  %389 = load i32, ptr %18, align 4, !tbaa !9
  %390 = mul i32 5, %389
  %391 = add i32 %388, %390
  %392 = zext i32 %391 to i64
  %393 = getelementptr inbounds i64, ptr %387, i64 %392
  %394 = load i64, ptr %393, align 8, !tbaa !11
  %395 = load i64, ptr %17, align 8, !tbaa !11
  %396 = xor i64 %394, %395
  %397 = load ptr, ptr %4, align 8, !tbaa !5
  %398 = load i32, ptr %15, align 4, !tbaa !9
  %399 = load i32, ptr %18, align 4, !tbaa !9
  %400 = mul i32 5, %399
  %401 = add i32 %398, %400
  %402 = zext i32 %401 to i64
  %403 = getelementptr inbounds i64, ptr %397, i64 %402
  store i64 %396, ptr %403, align 8, !tbaa !11
  %404 = load i32, ptr %18, align 4, !tbaa !9
  %405 = add i32 %404, 1
  store i32 %405, ptr %18, align 4, !tbaa !9
  %406 = load i32, ptr %18, align 4, !tbaa !9
  %407 = load ptr, ptr %4, align 8, !tbaa !5
  %408 = load i32, ptr %15, align 4, !tbaa !9
  %409 = load i32, ptr %18, align 4, !tbaa !9
  %410 = mul i32 5, %409
  %411 = add i32 %408, %410
  %412 = zext i32 %411 to i64
  %413 = getelementptr inbounds i64, ptr %407, i64 %412
  %414 = load i64, ptr %413, align 8, !tbaa !11
  %415 = load i64, ptr %17, align 8, !tbaa !11
  %416 = xor i64 %414, %415
  %417 = load ptr, ptr %4, align 8, !tbaa !5
  %418 = load i32, ptr %15, align 4, !tbaa !9
  %419 = load i32, ptr %18, align 4, !tbaa !9
  %420 = mul i32 5, %419
  %421 = add i32 %418, %420
  %422 = zext i32 %421 to i64
  %423 = getelementptr inbounds i64, ptr %417, i64 %422
  store i64 %416, ptr %423, align 8, !tbaa !11
  %424 = load i32, ptr %18, align 4, !tbaa !9
  %425 = add i32 %424, 1
  store i32 %425, ptr %18, align 4, !tbaa !9
  %426 = load i32, ptr %18, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #5
  br label %427

427:                                              ; preds = %326
  br label %428

428:                                              ; preds = %427
  %429 = load i32, ptr %15, align 4, !tbaa !9
  %430 = add i32 %429, 1
  store i32 %430, ptr %15, align 4, !tbaa !9
  %431 = load i32, ptr %15, align 4, !tbaa !9
  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.start.p0(i64 8, ptr %19) #5
  %432 = load i32, ptr %15, align 4, !tbaa !9
  %433 = add i32 %432, 1
  %434 = urem i32 %433, 5
  %435 = zext i32 %434 to i64
  %436 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %435
  %437 = load i64, ptr %436, align 8, !tbaa !11
  store i64 %437, ptr %19, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #5
  %438 = load i32, ptr %15, align 4, !tbaa !9
  %439 = add i32 %438, 4
  %440 = urem i32 %439, 5
  %441 = zext i32 %440 to i64
  %442 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %441
  %443 = load i64, ptr %442, align 8, !tbaa !11
  %444 = load i64, ptr %19, align 8, !tbaa !11
  %445 = shl i64 %444, 1
  %446 = load i64, ptr %19, align 8, !tbaa !11
  %447 = lshr i64 %446, 63
  %448 = or i64 %445, %447
  %449 = xor i64 %443, %448
  store i64 %449, ptr %20, align 8, !tbaa !11
  br label %450

450:                                              ; preds = %428
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #5
  store i32 0, ptr %21, align 4, !tbaa !9
  %451 = load ptr, ptr %4, align 8, !tbaa !5
  %452 = load i32, ptr %15, align 4, !tbaa !9
  %453 = load i32, ptr %21, align 4, !tbaa !9
  %454 = mul i32 5, %453
  %455 = add i32 %452, %454
  %456 = zext i32 %455 to i64
  %457 = getelementptr inbounds i64, ptr %451, i64 %456
  %458 = load i64, ptr %457, align 8, !tbaa !11
  %459 = load i64, ptr %20, align 8, !tbaa !11
  %460 = xor i64 %458, %459
  %461 = load ptr, ptr %4, align 8, !tbaa !5
  %462 = load i32, ptr %15, align 4, !tbaa !9
  %463 = load i32, ptr %21, align 4, !tbaa !9
  %464 = mul i32 5, %463
  %465 = add i32 %462, %464
  %466 = zext i32 %465 to i64
  %467 = getelementptr inbounds i64, ptr %461, i64 %466
  store i64 %460, ptr %467, align 8, !tbaa !11
  %468 = load i32, ptr %21, align 4, !tbaa !9
  %469 = add i32 %468, 1
  store i32 %469, ptr %21, align 4, !tbaa !9
  %470 = load i32, ptr %21, align 4, !tbaa !9
  %471 = load ptr, ptr %4, align 8, !tbaa !5
  %472 = load i32, ptr %15, align 4, !tbaa !9
  %473 = load i32, ptr %21, align 4, !tbaa !9
  %474 = mul i32 5, %473
  %475 = add i32 %472, %474
  %476 = zext i32 %475 to i64
  %477 = getelementptr inbounds i64, ptr %471, i64 %476
  %478 = load i64, ptr %477, align 8, !tbaa !11
  %479 = load i64, ptr %20, align 8, !tbaa !11
  %480 = xor i64 %478, %479
  %481 = load ptr, ptr %4, align 8, !tbaa !5
  %482 = load i32, ptr %15, align 4, !tbaa !9
  %483 = load i32, ptr %21, align 4, !tbaa !9
  %484 = mul i32 5, %483
  %485 = add i32 %482, %484
  %486 = zext i32 %485 to i64
  %487 = getelementptr inbounds i64, ptr %481, i64 %486
  store i64 %480, ptr %487, align 8, !tbaa !11
  %488 = load i32, ptr %21, align 4, !tbaa !9
  %489 = add i32 %488, 1
  store i32 %489, ptr %21, align 4, !tbaa !9
  %490 = load i32, ptr %21, align 4, !tbaa !9
  %491 = load ptr, ptr %4, align 8, !tbaa !5
  %492 = load i32, ptr %15, align 4, !tbaa !9
  %493 = load i32, ptr %21, align 4, !tbaa !9
  %494 = mul i32 5, %493
  %495 = add i32 %492, %494
  %496 = zext i32 %495 to i64
  %497 = getelementptr inbounds i64, ptr %491, i64 %496
  %498 = load i64, ptr %497, align 8, !tbaa !11
  %499 = load i64, ptr %20, align 8, !tbaa !11
  %500 = xor i64 %498, %499
  %501 = load ptr, ptr %4, align 8, !tbaa !5
  %502 = load i32, ptr %15, align 4, !tbaa !9
  %503 = load i32, ptr %21, align 4, !tbaa !9
  %504 = mul i32 5, %503
  %505 = add i32 %502, %504
  %506 = zext i32 %505 to i64
  %507 = getelementptr inbounds i64, ptr %501, i64 %506
  store i64 %500, ptr %507, align 8, !tbaa !11
  %508 = load i32, ptr %21, align 4, !tbaa !9
  %509 = add i32 %508, 1
  store i32 %509, ptr %21, align 4, !tbaa !9
  %510 = load i32, ptr %21, align 4, !tbaa !9
  %511 = load ptr, ptr %4, align 8, !tbaa !5
  %512 = load i32, ptr %15, align 4, !tbaa !9
  %513 = load i32, ptr %21, align 4, !tbaa !9
  %514 = mul i32 5, %513
  %515 = add i32 %512, %514
  %516 = zext i32 %515 to i64
  %517 = getelementptr inbounds i64, ptr %511, i64 %516
  %518 = load i64, ptr %517, align 8, !tbaa !11
  %519 = load i64, ptr %20, align 8, !tbaa !11
  %520 = xor i64 %518, %519
  %521 = load ptr, ptr %4, align 8, !tbaa !5
  %522 = load i32, ptr %15, align 4, !tbaa !9
  %523 = load i32, ptr %21, align 4, !tbaa !9
  %524 = mul i32 5, %523
  %525 = add i32 %522, %524
  %526 = zext i32 %525 to i64
  %527 = getelementptr inbounds i64, ptr %521, i64 %526
  store i64 %520, ptr %527, align 8, !tbaa !11
  %528 = load i32, ptr %21, align 4, !tbaa !9
  %529 = add i32 %528, 1
  store i32 %529, ptr %21, align 4, !tbaa !9
  %530 = load i32, ptr %21, align 4, !tbaa !9
  %531 = load ptr, ptr %4, align 8, !tbaa !5
  %532 = load i32, ptr %15, align 4, !tbaa !9
  %533 = load i32, ptr %21, align 4, !tbaa !9
  %534 = mul i32 5, %533
  %535 = add i32 %532, %534
  %536 = zext i32 %535 to i64
  %537 = getelementptr inbounds i64, ptr %531, i64 %536
  %538 = load i64, ptr %537, align 8, !tbaa !11
  %539 = load i64, ptr %20, align 8, !tbaa !11
  %540 = xor i64 %538, %539
  %541 = load ptr, ptr %4, align 8, !tbaa !5
  %542 = load i32, ptr %15, align 4, !tbaa !9
  %543 = load i32, ptr %21, align 4, !tbaa !9
  %544 = mul i32 5, %543
  %545 = add i32 %542, %544
  %546 = zext i32 %545 to i64
  %547 = getelementptr inbounds i64, ptr %541, i64 %546
  store i64 %540, ptr %547, align 8, !tbaa !11
  %548 = load i32, ptr %21, align 4, !tbaa !9
  %549 = add i32 %548, 1
  store i32 %549, ptr %21, align 4, !tbaa !9
  %550 = load i32, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #5
  br label %551

551:                                              ; preds = %450
  br label %552

552:                                              ; preds = %551
  %553 = load i32, ptr %15, align 4, !tbaa !9
  %554 = add i32 %553, 1
  store i32 %554, ptr %15, align 4, !tbaa !9
  %555 = load i32, ptr %15, align 4, !tbaa !9
  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.start.p0(i64 8, ptr %22) #5
  %556 = load i32, ptr %15, align 4, !tbaa !9
  %557 = add i32 %556, 1
  %558 = urem i32 %557, 5
  %559 = zext i32 %558 to i64
  %560 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %559
  %561 = load i64, ptr %560, align 8, !tbaa !11
  store i64 %561, ptr %22, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #5
  %562 = load i32, ptr %15, align 4, !tbaa !9
  %563 = add i32 %562, 4
  %564 = urem i32 %563, 5
  %565 = zext i32 %564 to i64
  %566 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %565
  %567 = load i64, ptr %566, align 8, !tbaa !11
  %568 = load i64, ptr %22, align 8, !tbaa !11
  %569 = shl i64 %568, 1
  %570 = load i64, ptr %22, align 8, !tbaa !11
  %571 = lshr i64 %570, 63
  %572 = or i64 %569, %571
  %573 = xor i64 %567, %572
  store i64 %573, ptr %23, align 8, !tbaa !11
  br label %574

574:                                              ; preds = %552
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #5
  store i32 0, ptr %24, align 4, !tbaa !9
  %575 = load ptr, ptr %4, align 8, !tbaa !5
  %576 = load i32, ptr %15, align 4, !tbaa !9
  %577 = load i32, ptr %24, align 4, !tbaa !9
  %578 = mul i32 5, %577
  %579 = add i32 %576, %578
  %580 = zext i32 %579 to i64
  %581 = getelementptr inbounds i64, ptr %575, i64 %580
  %582 = load i64, ptr %581, align 8, !tbaa !11
  %583 = load i64, ptr %23, align 8, !tbaa !11
  %584 = xor i64 %582, %583
  %585 = load ptr, ptr %4, align 8, !tbaa !5
  %586 = load i32, ptr %15, align 4, !tbaa !9
  %587 = load i32, ptr %24, align 4, !tbaa !9
  %588 = mul i32 5, %587
  %589 = add i32 %586, %588
  %590 = zext i32 %589 to i64
  %591 = getelementptr inbounds i64, ptr %585, i64 %590
  store i64 %584, ptr %591, align 8, !tbaa !11
  %592 = load i32, ptr %24, align 4, !tbaa !9
  %593 = add i32 %592, 1
  store i32 %593, ptr %24, align 4, !tbaa !9
  %594 = load i32, ptr %24, align 4, !tbaa !9
  %595 = load ptr, ptr %4, align 8, !tbaa !5
  %596 = load i32, ptr %15, align 4, !tbaa !9
  %597 = load i32, ptr %24, align 4, !tbaa !9
  %598 = mul i32 5, %597
  %599 = add i32 %596, %598
  %600 = zext i32 %599 to i64
  %601 = getelementptr inbounds i64, ptr %595, i64 %600
  %602 = load i64, ptr %601, align 8, !tbaa !11
  %603 = load i64, ptr %23, align 8, !tbaa !11
  %604 = xor i64 %602, %603
  %605 = load ptr, ptr %4, align 8, !tbaa !5
  %606 = load i32, ptr %15, align 4, !tbaa !9
  %607 = load i32, ptr %24, align 4, !tbaa !9
  %608 = mul i32 5, %607
  %609 = add i32 %606, %608
  %610 = zext i32 %609 to i64
  %611 = getelementptr inbounds i64, ptr %605, i64 %610
  store i64 %604, ptr %611, align 8, !tbaa !11
  %612 = load i32, ptr %24, align 4, !tbaa !9
  %613 = add i32 %612, 1
  store i32 %613, ptr %24, align 4, !tbaa !9
  %614 = load i32, ptr %24, align 4, !tbaa !9
  %615 = load ptr, ptr %4, align 8, !tbaa !5
  %616 = load i32, ptr %15, align 4, !tbaa !9
  %617 = load i32, ptr %24, align 4, !tbaa !9
  %618 = mul i32 5, %617
  %619 = add i32 %616, %618
  %620 = zext i32 %619 to i64
  %621 = getelementptr inbounds i64, ptr %615, i64 %620
  %622 = load i64, ptr %621, align 8, !tbaa !11
  %623 = load i64, ptr %23, align 8, !tbaa !11
  %624 = xor i64 %622, %623
  %625 = load ptr, ptr %4, align 8, !tbaa !5
  %626 = load i32, ptr %15, align 4, !tbaa !9
  %627 = load i32, ptr %24, align 4, !tbaa !9
  %628 = mul i32 5, %627
  %629 = add i32 %626, %628
  %630 = zext i32 %629 to i64
  %631 = getelementptr inbounds i64, ptr %625, i64 %630
  store i64 %624, ptr %631, align 8, !tbaa !11
  %632 = load i32, ptr %24, align 4, !tbaa !9
  %633 = add i32 %632, 1
  store i32 %633, ptr %24, align 4, !tbaa !9
  %634 = load i32, ptr %24, align 4, !tbaa !9
  %635 = load ptr, ptr %4, align 8, !tbaa !5
  %636 = load i32, ptr %15, align 4, !tbaa !9
  %637 = load i32, ptr %24, align 4, !tbaa !9
  %638 = mul i32 5, %637
  %639 = add i32 %636, %638
  %640 = zext i32 %639 to i64
  %641 = getelementptr inbounds i64, ptr %635, i64 %640
  %642 = load i64, ptr %641, align 8, !tbaa !11
  %643 = load i64, ptr %23, align 8, !tbaa !11
  %644 = xor i64 %642, %643
  %645 = load ptr, ptr %4, align 8, !tbaa !5
  %646 = load i32, ptr %15, align 4, !tbaa !9
  %647 = load i32, ptr %24, align 4, !tbaa !9
  %648 = mul i32 5, %647
  %649 = add i32 %646, %648
  %650 = zext i32 %649 to i64
  %651 = getelementptr inbounds i64, ptr %645, i64 %650
  store i64 %644, ptr %651, align 8, !tbaa !11
  %652 = load i32, ptr %24, align 4, !tbaa !9
  %653 = add i32 %652, 1
  store i32 %653, ptr %24, align 4, !tbaa !9
  %654 = load i32, ptr %24, align 4, !tbaa !9
  %655 = load ptr, ptr %4, align 8, !tbaa !5
  %656 = load i32, ptr %15, align 4, !tbaa !9
  %657 = load i32, ptr %24, align 4, !tbaa !9
  %658 = mul i32 5, %657
  %659 = add i32 %656, %658
  %660 = zext i32 %659 to i64
  %661 = getelementptr inbounds i64, ptr %655, i64 %660
  %662 = load i64, ptr %661, align 8, !tbaa !11
  %663 = load i64, ptr %23, align 8, !tbaa !11
  %664 = xor i64 %662, %663
  %665 = load ptr, ptr %4, align 8, !tbaa !5
  %666 = load i32, ptr %15, align 4, !tbaa !9
  %667 = load i32, ptr %24, align 4, !tbaa !9
  %668 = mul i32 5, %667
  %669 = add i32 %666, %668
  %670 = zext i32 %669 to i64
  %671 = getelementptr inbounds i64, ptr %665, i64 %670
  store i64 %664, ptr %671, align 8, !tbaa !11
  %672 = load i32, ptr %24, align 4, !tbaa !9
  %673 = add i32 %672, 1
  store i32 %673, ptr %24, align 4, !tbaa !9
  %674 = load i32, ptr %24, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #5
  br label %675

675:                                              ; preds = %574
  br label %676

676:                                              ; preds = %675
  %677 = load i32, ptr %15, align 4, !tbaa !9
  %678 = add i32 %677, 1
  store i32 %678, ptr %15, align 4, !tbaa !9
  %679 = load i32, ptr %15, align 4, !tbaa !9
  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.start.p0(i64 8, ptr %25) #5
  %680 = load i32, ptr %15, align 4, !tbaa !9
  %681 = add i32 %680, 1
  %682 = urem i32 %681, 5
  %683 = zext i32 %682 to i64
  %684 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %683
  %685 = load i64, ptr %684, align 8, !tbaa !11
  store i64 %685, ptr %25, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #5
  %686 = load i32, ptr %15, align 4, !tbaa !9
  %687 = add i32 %686, 4
  %688 = urem i32 %687, 5
  %689 = zext i32 %688 to i64
  %690 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %689
  %691 = load i64, ptr %690, align 8, !tbaa !11
  %692 = load i64, ptr %25, align 8, !tbaa !11
  %693 = shl i64 %692, 1
  %694 = load i64, ptr %25, align 8, !tbaa !11
  %695 = lshr i64 %694, 63
  %696 = or i64 %693, %695
  %697 = xor i64 %691, %696
  store i64 %697, ptr %26, align 8, !tbaa !11
  br label %698

698:                                              ; preds = %676
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #5
  store i32 0, ptr %27, align 4, !tbaa !9
  %699 = load ptr, ptr %4, align 8, !tbaa !5
  %700 = load i32, ptr %15, align 4, !tbaa !9
  %701 = load i32, ptr %27, align 4, !tbaa !9
  %702 = mul i32 5, %701
  %703 = add i32 %700, %702
  %704 = zext i32 %703 to i64
  %705 = getelementptr inbounds i64, ptr %699, i64 %704
  %706 = load i64, ptr %705, align 8, !tbaa !11
  %707 = load i64, ptr %26, align 8, !tbaa !11
  %708 = xor i64 %706, %707
  %709 = load ptr, ptr %4, align 8, !tbaa !5
  %710 = load i32, ptr %15, align 4, !tbaa !9
  %711 = load i32, ptr %27, align 4, !tbaa !9
  %712 = mul i32 5, %711
  %713 = add i32 %710, %712
  %714 = zext i32 %713 to i64
  %715 = getelementptr inbounds i64, ptr %709, i64 %714
  store i64 %708, ptr %715, align 8, !tbaa !11
  %716 = load i32, ptr %27, align 4, !tbaa !9
  %717 = add i32 %716, 1
  store i32 %717, ptr %27, align 4, !tbaa !9
  %718 = load i32, ptr %27, align 4, !tbaa !9
  %719 = load ptr, ptr %4, align 8, !tbaa !5
  %720 = load i32, ptr %15, align 4, !tbaa !9
  %721 = load i32, ptr %27, align 4, !tbaa !9
  %722 = mul i32 5, %721
  %723 = add i32 %720, %722
  %724 = zext i32 %723 to i64
  %725 = getelementptr inbounds i64, ptr %719, i64 %724
  %726 = load i64, ptr %725, align 8, !tbaa !11
  %727 = load i64, ptr %26, align 8, !tbaa !11
  %728 = xor i64 %726, %727
  %729 = load ptr, ptr %4, align 8, !tbaa !5
  %730 = load i32, ptr %15, align 4, !tbaa !9
  %731 = load i32, ptr %27, align 4, !tbaa !9
  %732 = mul i32 5, %731
  %733 = add i32 %730, %732
  %734 = zext i32 %733 to i64
  %735 = getelementptr inbounds i64, ptr %729, i64 %734
  store i64 %728, ptr %735, align 8, !tbaa !11
  %736 = load i32, ptr %27, align 4, !tbaa !9
  %737 = add i32 %736, 1
  store i32 %737, ptr %27, align 4, !tbaa !9
  %738 = load i32, ptr %27, align 4, !tbaa !9
  %739 = load ptr, ptr %4, align 8, !tbaa !5
  %740 = load i32, ptr %15, align 4, !tbaa !9
  %741 = load i32, ptr %27, align 4, !tbaa !9
  %742 = mul i32 5, %741
  %743 = add i32 %740, %742
  %744 = zext i32 %743 to i64
  %745 = getelementptr inbounds i64, ptr %739, i64 %744
  %746 = load i64, ptr %745, align 8, !tbaa !11
  %747 = load i64, ptr %26, align 8, !tbaa !11
  %748 = xor i64 %746, %747
  %749 = load ptr, ptr %4, align 8, !tbaa !5
  %750 = load i32, ptr %15, align 4, !tbaa !9
  %751 = load i32, ptr %27, align 4, !tbaa !9
  %752 = mul i32 5, %751
  %753 = add i32 %750, %752
  %754 = zext i32 %753 to i64
  %755 = getelementptr inbounds i64, ptr %749, i64 %754
  store i64 %748, ptr %755, align 8, !tbaa !11
  %756 = load i32, ptr %27, align 4, !tbaa !9
  %757 = add i32 %756, 1
  store i32 %757, ptr %27, align 4, !tbaa !9
  %758 = load i32, ptr %27, align 4, !tbaa !9
  %759 = load ptr, ptr %4, align 8, !tbaa !5
  %760 = load i32, ptr %15, align 4, !tbaa !9
  %761 = load i32, ptr %27, align 4, !tbaa !9
  %762 = mul i32 5, %761
  %763 = add i32 %760, %762
  %764 = zext i32 %763 to i64
  %765 = getelementptr inbounds i64, ptr %759, i64 %764
  %766 = load i64, ptr %765, align 8, !tbaa !11
  %767 = load i64, ptr %26, align 8, !tbaa !11
  %768 = xor i64 %766, %767
  %769 = load ptr, ptr %4, align 8, !tbaa !5
  %770 = load i32, ptr %15, align 4, !tbaa !9
  %771 = load i32, ptr %27, align 4, !tbaa !9
  %772 = mul i32 5, %771
  %773 = add i32 %770, %772
  %774 = zext i32 %773 to i64
  %775 = getelementptr inbounds i64, ptr %769, i64 %774
  store i64 %768, ptr %775, align 8, !tbaa !11
  %776 = load i32, ptr %27, align 4, !tbaa !9
  %777 = add i32 %776, 1
  store i32 %777, ptr %27, align 4, !tbaa !9
  %778 = load i32, ptr %27, align 4, !tbaa !9
  %779 = load ptr, ptr %4, align 8, !tbaa !5
  %780 = load i32, ptr %15, align 4, !tbaa !9
  %781 = load i32, ptr %27, align 4, !tbaa !9
  %782 = mul i32 5, %781
  %783 = add i32 %780, %782
  %784 = zext i32 %783 to i64
  %785 = getelementptr inbounds i64, ptr %779, i64 %784
  %786 = load i64, ptr %785, align 8, !tbaa !11
  %787 = load i64, ptr %26, align 8, !tbaa !11
  %788 = xor i64 %786, %787
  %789 = load ptr, ptr %4, align 8, !tbaa !5
  %790 = load i32, ptr %15, align 4, !tbaa !9
  %791 = load i32, ptr %27, align 4, !tbaa !9
  %792 = mul i32 5, %791
  %793 = add i32 %790, %792
  %794 = zext i32 %793 to i64
  %795 = getelementptr inbounds i64, ptr %789, i64 %794
  store i64 %788, ptr %795, align 8, !tbaa !11
  %796 = load i32, ptr %27, align 4, !tbaa !9
  %797 = add i32 %796, 1
  store i32 %797, ptr %27, align 4, !tbaa !9
  %798 = load i32, ptr %27, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #5
  br label %799

799:                                              ; preds = %698
  br label %800

800:                                              ; preds = %799
  %801 = load i32, ptr %15, align 4, !tbaa !9
  %802 = add i32 %801, 1
  store i32 %802, ptr %15, align 4, !tbaa !9
  %803 = load i32, ptr %15, align 4, !tbaa !9
  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.start.p0(i64 8, ptr %28) #5
  %804 = load i32, ptr %15, align 4, !tbaa !9
  %805 = add i32 %804, 1
  %806 = urem i32 %805, 5
  %807 = zext i32 %806 to i64
  %808 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %807
  %809 = load i64, ptr %808, align 8, !tbaa !11
  store i64 %809, ptr %28, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #5
  %810 = load i32, ptr %15, align 4, !tbaa !9
  %811 = add i32 %810, 4
  %812 = urem i32 %811, 5
  %813 = zext i32 %812 to i64
  %814 = getelementptr inbounds [5 x i64], ptr %13, i64 0, i64 %813
  %815 = load i64, ptr %814, align 8, !tbaa !11
  %816 = load i64, ptr %28, align 8, !tbaa !11
  %817 = shl i64 %816, 1
  %818 = load i64, ptr %28, align 8, !tbaa !11
  %819 = lshr i64 %818, 63
  %820 = or i64 %817, %819
  %821 = xor i64 %815, %820
  store i64 %821, ptr %29, align 8, !tbaa !11
  br label %822

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

923:                                              ; preds = %822
  br label %924

924:                                              ; preds = %923
  %925 = load i32, ptr %15, align 4, !tbaa !9
  %926 = add i32 %925, 1
  store i32 %926, ptr %15, align 4, !tbaa !9
  %927 = load i32, ptr %15, align 4, !tbaa !9
  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 4, ptr %15) #5
  br label %928

928:                                              ; preds = %924
  br label %929

929:                                              ; preds = %928
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #5
  %930 = load ptr, ptr %4, align 8, !tbaa !5
  %931 = getelementptr inbounds i64, ptr %930, i64 1
  %932 = load i64, ptr %931, align 8, !tbaa !11
  store i64 %932, ptr %31, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #5
  %933 = load i64, ptr %31, align 8, !tbaa !11
  store i64 %933, ptr %32, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #5
  store i32 0, ptr %33, align 4, !tbaa !9
  br label %934

934:                                              ; preds = %968, %929
  %935 = load i32, ptr %33, align 4, !tbaa !9
  %936 = icmp ult i32 %935, 24
  br i1 %936, label %938, label %937

937:                                              ; preds = %934
  store i32 25, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #5
  br label %971

938:                                              ; preds = %934
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #5
  %939 = load i32, ptr %33, align 4, !tbaa !9
  %940 = zext i32 %939 to i64
  %941 = getelementptr inbounds [24 x i32], ptr @Hacl_Impl_SHA3_Vec_keccak_piln, i64 0, i64 %940
  %942 = load i32, ptr %941, align 4, !tbaa !9
  store i32 %942, ptr %34, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #5
  %943 = load i32, ptr %33, align 4, !tbaa !9
  %944 = zext i32 %943 to i64
  %945 = getelementptr inbounds [24 x i32], ptr @Hacl_Impl_SHA3_Vec_keccak_rotc, i64 0, i64 %944
  %946 = load i32, ptr %945, align 4, !tbaa !9
  store i32 %946, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #5
  %947 = load ptr, ptr %4, align 8, !tbaa !5
  %948 = load i32, ptr %34, align 4, !tbaa !9
  %949 = zext i32 %948 to i64
  %950 = getelementptr inbounds i64, ptr %947, i64 %949
  %951 = load i64, ptr %950, align 8, !tbaa !11
  store i64 %951, ptr %36, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #5
  %952 = load i64, ptr %32, align 8, !tbaa !11
  store i64 %952, ptr %37, align 8, !tbaa !11
  %953 = load i64, ptr %37, align 8, !tbaa !11
  %954 = load i32, ptr %35, align 4, !tbaa !9
  %955 = zext i32 %954 to i64
  %956 = shl i64 %953, %955
  %957 = load i64, ptr %37, align 8, !tbaa !11
  %958 = load i32, ptr %35, align 4, !tbaa !9
  %959 = sub i32 64, %958
  %960 = zext i32 %959 to i64
  %961 = lshr i64 %957, %960
  %962 = or i64 %956, %961
  %963 = load ptr, ptr %4, align 8, !tbaa !5
  %964 = load i32, ptr %34, align 4, !tbaa !9
  %965 = zext i32 %964 to i64
  %966 = getelementptr inbounds i64, ptr %963, i64 %965
  store i64 %962, ptr %966, align 8, !tbaa !11
  %967 = load i64, ptr %36, align 8, !tbaa !11
  store i64 %967, ptr %32, align 8, !tbaa !11
  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 4, ptr %35) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #5
  br label %968

968:                                              ; preds = %938
  %969 = load i32, ptr %33, align 4, !tbaa !9
  %970 = add i32 %969, 1
  store i32 %970, ptr %33, align 4, !tbaa !9
  br label %934, !llvm.loop !15

971:                                              ; preds = %937
  br label %972

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

1763:                                             ; preds = %972
  br label %1764

1764:                                             ; preds = %1763
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #5
  %1765 = load i32, ptr %12, align 4, !tbaa !9
  %1766 = zext i32 %1765 to i64
  %1767 = getelementptr inbounds [24 x i64], ptr @Hacl_Impl_SHA3_Vec_keccak_rndc, i64 0, i64 %1766
  %1768 = load i64, ptr %1767, align 8, !tbaa !11
  store i64 %1768, ptr %64, align 8, !tbaa !11
  %1769 = load ptr, ptr %4, align 8, !tbaa !5
  %1770 = getelementptr inbounds i64, ptr %1769, i64 0
  %1771 = load i64, ptr %1770, align 8, !tbaa !11
  %1772 = load i64, ptr %64, align 8, !tbaa !11
  %1773 = xor i64 %1771, %1772
  %1774 = load ptr, ptr %4, align 8, !tbaa !5
  %1775 = getelementptr inbounds i64, ptr %1774, i64 0
  store i64 %1773, ptr %1775, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #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 40, ptr %13) #5
  br label %1776

1776:                                             ; preds = %1764
  %1777 = load i32, ptr %12, align 4, !tbaa !9
  %1778 = add i32 %1777, 1
  store i32 %1778, ptr %12, align 4, !tbaa !9
  br label %99, !llvm.loop !16

1779:                                             ; preds = %102
  call void @llvm.lifetime.end.p0(i64 256, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 256, ptr %9) #5
  br label %1780

1780:                                             ; preds = %1779
  %1781 = load i32, ptr %7, align 4, !tbaa !9
  %1782 = add i32 %1781, 1
  store i32 %1782, ptr %7, align 4, !tbaa !9
  br label %65, !llvm.loop !17

1783:                                             ; preds = %70
  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: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

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

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

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

229:                                              ; preds = %.lr.ph, %264
  %.sroa.28.0.copyload = phi i64 [ %.sroa.28.0.copyload.pre, %.lr.ph ], [ %539, %264 ]
  %.sroa.27.0.copyload = phi i64 [ %.sroa.27.0.copyload.pre, %.lr.ph ], [ %536, %264 ]
  %.sroa.26.0.copyload = phi i64 [ %.sroa.26.0.copyload.pre, %.lr.ph ], [ %533, %264 ]
  %.sroa.25.0.copyload = phi i64 [ %.sroa.25.0.copyload.pre, %.lr.ph ], [ %529, %264 ]
  %.sroa.24.0.copyload = phi i64 [ %.sroa.24.0.copyload.pre, %.lr.ph ], [ %525, %264 ]
  %.sroa.23.0.copyload = phi i64 [ %.sroa.23.0.copyload.pre, %.lr.ph ], [ %519, %264 ]
  %.sroa.22.0.copyload = phi i64 [ %.sroa.22.0.copyload.pre, %.lr.ph ], [ %516, %264 ]
  %.sroa.21.0.copyload = phi i64 [ %.sroa.21.0.copyload.pre, %.lr.ph ], [ %513, %264 ]
  %.sroa.20.0.copyload = phi i64 [ %.sroa.20.0.copyload.pre, %.lr.ph ], [ %509, %264 ]
  %.sroa.19.0.copyload = phi i64 [ %.sroa.19.0.copyload.pre, %.lr.ph ], [ %505, %264 ]
  %.sroa.18.0.copyload = phi i64 [ %.sroa.18.0.copyload.pre, %.lr.ph ], [ %499, %264 ]
  %.sroa.17.0.copyload = phi i64 [ %.sroa.17.0.copyload.pre, %.lr.ph ], [ %496, %264 ]
  %.sroa.16.0.copyload = phi i64 [ %.sroa.16.0.copyload.pre, %.lr.ph ], [ %493, %264 ]
  %.sroa.15.0.copyload = phi i64 [ %.sroa.15.0.copyload.pre, %.lr.ph ], [ %489, %264 ]
  %.sroa.14.0.copyload = phi i64 [ %.sroa.14.0.copyload.pre, %.lr.ph ], [ %485, %264 ]
  %.sroa.13.0.copyload = phi i64 [ %.sroa.13.0.copyload.pre, %.lr.ph ], [ %479, %264 ]
  %.sroa.12.0.copyload = phi i64 [ %.sroa.12.0.copyload.pre, %.lr.ph ], [ %476, %264 ]
  %.sroa.11.0.copyload = phi i64 [ %.sroa.11.0.copyload.pre, %.lr.ph ], [ %473, %264 ]
  %.sroa.10.0.copyload = phi i64 [ %.sroa.10.0.copyload.pre, %.lr.ph ], [ %469, %264 ]
  %.sroa.9.0.copyload = phi i64 [ %.sroa.9.0.copyload.pre, %.lr.ph ], [ %465, %264 ]
  %.sroa.0.0.copyload = phi i64 [ %.sroa.0.0.copyload.pre, %.lr.ph ], [ %543, %264 ]
  %indvars.iv606 = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next607, %264 ]
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %4) #6
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(256) %4, i8 0, i64 256, i1 false)
  %.sroa.5.0.copyload = load i64, ptr %10, align 8
  %.sroa.6.0.copyload = load i64, ptr %15, align 8
  %.sroa.7.0.copyload = load i64, ptr %20, align 8
  %.sroa.8.0.copyload = load i64, ptr %25, align 8
  %230 = call i64 @__uint64_identity(i64 noundef %.sroa.0.0.copyload)
  call void @store64(ptr noundef nonnull %4, i64 noundef %230)
  %231 = call i64 @__uint64_identity(i64 noundef %.sroa.5.0.copyload)
  call void @store64(ptr noundef nonnull %30, i64 noundef %231)
  %232 = call i64 @__uint64_identity(i64 noundef %.sroa.6.0.copyload)
  call void @store64(ptr noundef nonnull %31, i64 noundef %232)
  %233 = call i64 @__uint64_identity(i64 noundef %.sroa.7.0.copyload)
  call void @store64(ptr noundef nonnull %32, i64 noundef %233)
  %234 = call i64 @__uint64_identity(i64 noundef %.sroa.8.0.copyload)
  call void @store64(ptr noundef nonnull %33, i64 noundef %234)
  %235 = call i64 @__uint64_identity(i64 noundef %.sroa.9.0.copyload)
  call void @store64(ptr noundef nonnull %34, i64 noundef %235)
  %236 = call i64 @__uint64_identity(i64 noundef %.sroa.10.0.copyload)
  call void @store64(ptr noundef nonnull %35, i64 noundef %236)
  %237 = call i64 @__uint64_identity(i64 noundef %.sroa.11.0.copyload)
  call void @store64(ptr noundef nonnull %36, i64 noundef %237)
  %238 = call i64 @__uint64_identity(i64 noundef %.sroa.12.0.copyload)
  call void @store64(ptr noundef nonnull %37, i64 noundef %238)
  %239 = call i64 @__uint64_identity(i64 noundef %.sroa.13.0.copyload)
  call void @store64(ptr noundef nonnull %38, i64 noundef %239)
  %240 = call i64 @__uint64_identity(i64 noundef %.sroa.14.0.copyload)
  call void @store64(ptr noundef nonnull %39, i64 noundef %240)
  %241 = call i64 @__uint64_identity(i64 noundef %.sroa.15.0.copyload)
  call void @store64(ptr noundef nonnull %40, i64 noundef %241)
  %242 = call i64 @__uint64_identity(i64 noundef %.sroa.16.0.copyload)
  call void @store64(ptr noundef nonnull %41, i64 noundef %242)
  %243 = call i64 @__uint64_identity(i64 noundef %.sroa.17.0.copyload)
  call void @store64(ptr noundef nonnull %42, i64 noundef %243)
  %244 = call i64 @__uint64_identity(i64 noundef %.sroa.18.0.copyload)
  call void @store64(ptr noundef nonnull %43, i64 noundef %244)
  %245 = call i64 @__uint64_identity(i64 noundef %.sroa.19.0.copyload)
  call void @store64(ptr noundef nonnull %44, i64 noundef %245)
  %246 = call i64 @__uint64_identity(i64 noundef %.sroa.20.0.copyload)
  call void @store64(ptr noundef nonnull %45, i64 noundef %246)
  %247 = call i64 @__uint64_identity(i64 noundef %.sroa.21.0.copyload)
  call void @store64(ptr noundef nonnull %46, i64 noundef %247)
  %248 = call i64 @__uint64_identity(i64 noundef %.sroa.22.0.copyload)
  call void @store64(ptr noundef nonnull %47, i64 noundef %248)
  %249 = call i64 @__uint64_identity(i64 noundef %.sroa.23.0.copyload)
  call void @store64(ptr noundef nonnull %48, i64 noundef %249)
  %250 = call i64 @__uint64_identity(i64 noundef %.sroa.24.0.copyload)
  call void @store64(ptr noundef nonnull %49, i64 noundef %250)
  %251 = call i64 @__uint64_identity(i64 noundef %.sroa.25.0.copyload)
  call void @store64(ptr noundef nonnull %50, i64 noundef %251)
  %252 = call i64 @__uint64_identity(i64 noundef %.sroa.26.0.copyload)
  call void @store64(ptr noundef nonnull %51, i64 noundef %252)
  %253 = call i64 @__uint64_identity(i64 noundef %.sroa.27.0.copyload)
  call void @store64(ptr noundef nonnull %52, i64 noundef %253)
  %254 = call i64 @__uint64_identity(i64 noundef %.sroa.28.0.copyload)
  call void @store64(ptr noundef nonnull %53, i64 noundef %254)
  %255 = call i64 @__uint64_identity(i64 noundef 0)
  call void @store64(ptr noundef nonnull %54, i64 noundef %255)
  %256 = call i64 @__uint64_identity(i64 noundef 0)
  call void @store64(ptr noundef nonnull %55, i64 noundef %256)
  %257 = call i64 @__uint64_identity(i64 noundef 0)
  call void @store64(ptr noundef nonnull %56, i64 noundef %257)
  %258 = call i64 @__uint64_identity(i64 noundef 0)
  call void @store64(ptr noundef nonnull %57, i64 noundef %258)
  %259 = call i64 @__uint64_identity(i64 noundef 0)
  call void @store64(ptr noundef nonnull %58, i64 noundef %259)
  %260 = call i64 @__uint64_identity(i64 noundef 0)
  call void @store64(ptr noundef nonnull %59, i64 noundef %260)
  %261 = call i64 @__uint64_identity(i64 noundef 0)
  call void @store64(ptr noundef nonnull %60, i64 noundef %261)
  %262 = mul nuw nsw i64 %indvars.iv606, 168
  %263 = getelementptr inbounds i8, ptr %1, i64 %262
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(168) %263, ptr noundef nonnull align 16 dereferenceable(168) %4, i64 168, i1 false)
  %.pre = load i64, ptr %0, align 8, !tbaa !5
  %.pre631 = load i64, ptr %6, align 8, !tbaa !5
  %.pre632 = load i64, ptr %7, align 8, !tbaa !5
  %.pre633 = load i64, ptr %8, align 8, !tbaa !5
  %.pre634 = load i64, ptr %9, align 8, !tbaa !5
  %.pre635 = load i64, ptr %11, align 8, !tbaa !5
  %.pre636 = load i64, ptr %12, align 8, !tbaa !5
  %.pre637 = load i64, ptr %13, align 8, !tbaa !5
  %.pre638 = load i64, ptr %14, align 8, !tbaa !5
  %.pre639 = load i64, ptr %16, align 8, !tbaa !5
  %.pre640 = load i64, ptr %17, align 8, !tbaa !5
  %.pre641 = load i64, ptr %18, align 8, !tbaa !5
  %.pre642 = load i64, ptr %19, align 8, !tbaa !5
  %.pre643 = load i64, ptr %21, align 8, !tbaa !5
  %.pre644 = load i64, ptr %22, align 8, !tbaa !5
  %.pre645 = load i64, ptr %23, align 8, !tbaa !5
  %.pre646 = load i64, ptr %24, align 8, !tbaa !5
  %.pre647 = load i64, ptr %26, align 8, !tbaa !5
  %.pre648 = load i64, ptr %27, align 8, !tbaa !5
  %.pre649 = load i64, ptr %28, align 8, !tbaa !5
  %.pre650 = load i64, ptr %29, align 8, !tbaa !5
  br label %265

264:                                              ; preds = %265
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %4) #6
  %indvars.iv.next607 = add nuw nsw i64 %indvars.iv606, 1
  %exitcond609.not = icmp eq i64 %indvars.iv.next607, %wide.trip.count
  br i1 %exitcond609.not, label %._crit_edge, label %229, !llvm.loop !9

265:                                              ; preds = %229, %265
  %266 = phi i64 [ %.pre650, %229 ], [ %539, %265 ]
  %267 = phi i64 [ %.pre649, %229 ], [ %519, %265 ]
  %268 = phi i64 [ %.pre648, %229 ], [ %499, %265 ]
  %269 = phi i64 [ %.pre647, %229 ], [ %479, %265 ]
  %270 = phi i64 [ %.pre646, %229 ], [ %536, %265 ]
  %271 = phi i64 [ %.pre645, %229 ], [ %516, %265 ]
  %272 = phi i64 [ %.pre644, %229 ], [ %496, %265 ]
  %273 = phi i64 [ %.pre643, %229 ], [ %476, %265 ]
  %274 = phi i64 [ %.pre642, %229 ], [ %533, %265 ]
  %275 = phi i64 [ %.pre641, %229 ], [ %513, %265 ]
  %276 = phi i64 [ %.pre640, %229 ], [ %493, %265 ]
  %277 = phi i64 [ %.pre639, %229 ], [ %473, %265 ]
  %278 = phi i64 [ %.pre638, %229 ], [ %529, %265 ]
  %279 = phi i64 [ %.pre637, %229 ], [ %509, %265 ]
  %280 = phi i64 [ %.pre636, %229 ], [ %489, %265 ]
  %281 = phi i64 [ %.pre635, %229 ], [ %469, %265 ]
  %282 = phi i64 [ %.pre634, %229 ], [ %525, %265 ]
  %283 = phi i64 [ %.pre633, %229 ], [ %505, %265 ]
  %284 = phi i64 [ %.pre632, %229 ], [ %485, %265 ]
  %285 = phi i64 [ %.pre631, %229 ], [ %465, %265 ]
  %286 = phi i64 [ %.pre, %229 ], [ %543, %265 ]
  %indvars.iv = phi i64 [ 0, %229 ], [ %indvars.iv.next, %265 ]
  %287 = xor i64 %285, %286
  %288 = xor i64 %287, %284
  %289 = xor i64 %288, %283
  %290 = xor i64 %289, %282
  %291 = load i64, ptr %10, align 8, !tbaa !5
  %292 = xor i64 %281, %291
  %293 = xor i64 %292, %280
  %294 = xor i64 %293, %279
  %295 = xor i64 %294, %278
  %296 = load i64, ptr %15, align 8, !tbaa !5
  %297 = xor i64 %277, %296
  %298 = xor i64 %297, %276
  %299 = xor i64 %298, %275
  %300 = xor i64 %299, %274
  %301 = load i64, ptr %20, align 8, !tbaa !5
  %302 = xor i64 %273, %301
  %303 = xor i64 %302, %272
  %304 = xor i64 %303, %271
  %305 = xor i64 %304, %270
  %306 = load i64, ptr %25, align 8, !tbaa !5
  %307 = xor i64 %269, %306
  %308 = xor i64 %307, %268
  %309 = xor i64 %308, %267
  %310 = xor i64 %309, %266
  %311 = call i64 @llvm.fshl.i64(i64 %295, i64 %295, i64 1)
  %312 = xor i64 %310, %311
  %313 = xor i64 %312, %286
  store i64 %313, ptr %0, align 8, !tbaa !5
  %314 = xor i64 %312, %285
  store i64 %314, ptr %6, align 8, !tbaa !5
  %315 = xor i64 %312, %284
  store i64 %315, ptr %7, align 8, !tbaa !5
  %316 = xor i64 %312, %283
  store i64 %316, ptr %8, align 8, !tbaa !5
  %317 = xor i64 %312, %282
  store i64 %317, ptr %9, align 8, !tbaa !5
  %318 = call i64 @llvm.fshl.i64(i64 %300, i64 %300, i64 1)
  %319 = xor i64 %318, %290
  %320 = xor i64 %319, %291
  store i64 %320, ptr %10, align 8, !tbaa !5
  %321 = xor i64 %319, %281
  store i64 %321, ptr %11, align 8, !tbaa !5
  %322 = xor i64 %319, %280
  store i64 %322, ptr %12, align 8, !tbaa !5
  %323 = xor i64 %319, %279
  store i64 %323, ptr %13, align 8, !tbaa !5
  %324 = xor i64 %319, %278
  store i64 %324, ptr %14, align 8, !tbaa !5
  %325 = call i64 @llvm.fshl.i64(i64 %305, i64 %305, i64 1)
  %326 = xor i64 %325, %295
  %327 = xor i64 %326, %296
  store i64 %327, ptr %15, align 8, !tbaa !5
  %328 = xor i64 %326, %277
  store i64 %328, ptr %16, align 8, !tbaa !5
  %329 = xor i64 %326, %276
  store i64 %329, ptr %17, align 8, !tbaa !5
  %330 = xor i64 %326, %275
  store i64 %330, ptr %18, align 8, !tbaa !5
  %331 = xor i64 %326, %274
  store i64 %331, ptr %19, align 8, !tbaa !5
  %332 = call i64 @llvm.fshl.i64(i64 %310, i64 %310, i64 1)
  %333 = xor i64 %332, %300
  %334 = xor i64 %333, %301
  store i64 %334, ptr %20, align 8, !tbaa !5
  %335 = xor i64 %333, %273
  store i64 %335, ptr %21, align 8, !tbaa !5
  %336 = xor i64 %333, %272
  store i64 %336, ptr %22, align 8, !tbaa !5
  %337 = xor i64 %333, %271
  store i64 %337, ptr %23, align 8, !tbaa !5
  %338 = xor i64 %333, %270
  store i64 %338, ptr %24, align 8, !tbaa !5
  %339 = call i64 @llvm.fshl.i64(i64 %290, i64 %290, i64 1)
  %340 = xor i64 %305, %339
  %341 = xor i64 %340, %306
  store i64 %341, ptr %25, align 8, !tbaa !5
  %342 = xor i64 %340, %269
  store i64 %342, ptr %26, align 8, !tbaa !5
  %343 = xor i64 %340, %268
  store i64 %343, ptr %27, align 8, !tbaa !5
  %344 = xor i64 %340, %267
  store i64 %344, ptr %28, align 8, !tbaa !5
  %345 = xor i64 %266, %340
  store i64 %345, ptr %29, align 8, !tbaa !5
  %346 = load i64, ptr %64, align 8, !tbaa !5
  %347 = shl i64 %320, %65
  %348 = lshr i64 %320, %67
  %349 = or i64 %348, %347
  store i64 %349, ptr %64, align 8, !tbaa !5
  %350 = load i64, ptr %71, align 8, !tbaa !5
  %351 = shl i64 %346, %72
  %352 = lshr i64 %346, %74
  %353 = or i64 %352, %351
  store i64 %353, ptr %71, align 8, !tbaa !5
  %354 = load i64, ptr %78, align 8, !tbaa !5
  %355 = shl i64 %350, %79
  %356 = lshr i64 %350, %81
  %357 = or i64 %356, %355
  store i64 %357, ptr %78, align 8, !tbaa !5
  %358 = load i64, ptr %85, align 8, !tbaa !5
  %359 = shl i64 %354, %86
  %360 = lshr i64 %354, %88
  %361 = or i64 %360, %359
  store i64 %361, ptr %85, align 8, !tbaa !5
  %362 = load i64, ptr %92, align 8, !tbaa !5
  %363 = shl i64 %358, %93
  %364 = lshr i64 %358, %95
  %365 = or i64 %364, %363
  store i64 %365, ptr %92, align 8, !tbaa !5
  %366 = load i64, ptr %99, align 8, !tbaa !5
  %367 = shl i64 %362, %100
  %368 = lshr i64 %362, %102
  %369 = or i64 %368, %367
  store i64 %369, ptr %99, align 8, !tbaa !5
  %370 = load i64, ptr %106, align 8, !tbaa !5
  %371 = shl i64 %366, %107
  %372 = lshr i64 %366, %109
  %373 = or i64 %372, %371
  store i64 %373, ptr %106, align 8, !tbaa !5
  %374 = load i64, ptr %113, align 8, !tbaa !5
  %375 = shl i64 %370, %114
  %376 = lshr i64 %370, %116
  %377 = or i64 %376, %375
  store i64 %377, ptr %113, align 8, !tbaa !5
  %378 = load i64, ptr %120, align 8, !tbaa !5
  %379 = shl i64 %374, %121
  %380 = lshr i64 %374, %123
  %381 = or i64 %380, %379
  store i64 %381, ptr %120, align 8, !tbaa !5
  %382 = load i64, ptr %127, align 8, !tbaa !5
  %383 = shl i64 %378, %128
  %384 = lshr i64 %378, %130
  %385 = or i64 %384, %383
  store i64 %385, ptr %127, align 8, !tbaa !5
  %386 = load i64, ptr %134, align 8, !tbaa !5
  %387 = shl i64 %382, %135
  %388 = lshr i64 %382, %137
  %389 = or i64 %388, %387
  store i64 %389, ptr %134, align 8, !tbaa !5
  %390 = load i64, ptr %141, align 8, !tbaa !5
  %391 = shl i64 %386, %142
  %392 = lshr i64 %386, %144
  %393 = or i64 %392, %391
  store i64 %393, ptr %141, align 8, !tbaa !5
  %394 = load i64, ptr %148, align 8, !tbaa !5
  %395 = shl i64 %390, %149
  %396 = lshr i64 %390, %151
  %397 = or i64 %396, %395
  store i64 %397, ptr %148, align 8, !tbaa !5
  %398 = load i64, ptr %155, align 8, !tbaa !5
  %399 = shl i64 %394, %156
  %400 = lshr i64 %394, %158
  %401 = or i64 %400, %399
  store i64 %401, ptr %155, align 8, !tbaa !5
  %402 = load i64, ptr %162, align 8, !tbaa !5
  %403 = shl i64 %398, %163
  %404 = lshr i64 %398, %165
  %405 = or i64 %404, %403
  store i64 %405, ptr %162, align 8, !tbaa !5
  %406 = load i64, ptr %169, align 8, !tbaa !5
  %407 = shl i64 %402, %170
  %408 = lshr i64 %402, %172
  %409 = or i64 %408, %407
  store i64 %409, ptr %169, align 8, !tbaa !5
  %410 = load i64, ptr %176, align 8, !tbaa !5
  %411 = shl i64 %406, %177
  %412 = lshr i64 %406, %179
  %413 = or i64 %412, %411
  store i64 %413, ptr %176, align 8, !tbaa !5
  %414 = load i64, ptr %183, align 8, !tbaa !5
  %415 = shl i64 %410, %184
  %416 = lshr i64 %410, %186
  %417 = or i64 %416, %415
  store i64 %417, ptr %183, align 8, !tbaa !5
  %418 = load i64, ptr %190, align 8, !tbaa !5
  %419 = shl i64 %414, %191
  %420 = lshr i64 %414, %193
  %421 = or i64 %420, %419
  store i64 %421, ptr %190, align 8, !tbaa !5
  %422 = load i64, ptr %197, align 8, !tbaa !5
  %423 = shl i64 %418, %198
  %424 = lshr i64 %418, %200
  %425 = or i64 %424, %423
  store i64 %425, ptr %197, align 8, !tbaa !5
  %426 = load i64, ptr %204, align 8, !tbaa !5
  %427 = shl i64 %422, %205
  %428 = lshr i64 %422, %207
  %429 = or i64 %428, %427
  store i64 %429, ptr %204, align 8, !tbaa !5
  %430 = load i64, ptr %211, align 8, !tbaa !5
  %431 = shl i64 %426, %212
  %432 = lshr i64 %426, %214
  %433 = or i64 %432, %431
  store i64 %433, ptr %211, align 8, !tbaa !5
  %434 = load i64, ptr %218, align 8, !tbaa !5
  %435 = shl i64 %430, %219
  %436 = lshr i64 %430, %221
  %437 = or i64 %436, %435
  store i64 %437, ptr %218, align 8, !tbaa !5
  %438 = shl i64 %434, %226
  %439 = lshr i64 %434, %228
  %440 = or i64 %439, %438
  store i64 %440, ptr %225, align 8, !tbaa !5
  %441 = load i64, ptr %0, align 8, !tbaa !5
  %442 = load i64, ptr %10, align 8, !tbaa !5
  %443 = xor i64 %442, -1
  %444 = load i64, ptr %15, align 8, !tbaa !5
  %445 = and i64 %444, %443
  %446 = xor i64 %444, -1
  %447 = load i64, ptr %20, align 8, !tbaa !5
  %448 = and i64 %447, %446
  %449 = xor i64 %448, %442
  %450 = xor i64 %447, -1
  %451 = load i64, ptr %25, align 8, !tbaa !5
  %452 = and i64 %451, %450
  %453 = xor i64 %452, %444
  %454 = xor i64 %451, -1
  %455 = and i64 %441, %454
  %456 = xor i64 %455, %447
  %457 = xor i64 %441, -1
  %458 = and i64 %442, %457
  %459 = xor i64 %451, %458
  store i64 %449, ptr %10, align 8, !tbaa !5
  store i64 %453, ptr %15, align 8, !tbaa !5
  store i64 %456, ptr %20, align 8, !tbaa !5
  store i64 %459, ptr %25, align 8, !tbaa !5
  %460 = load i64, ptr %6, align 8, !tbaa !5
  %461 = load i64, ptr %11, align 8, !tbaa !5
  %462 = xor i64 %461, -1
  %463 = load i64, ptr %16, align 8, !tbaa !5
  %464 = and i64 %463, %462
  %465 = xor i64 %464, %460
  %466 = xor i64 %463, -1
  %467 = load i64, ptr %21, align 8, !tbaa !5
  %468 = and i64 %467, %466
  %469 = xor i64 %468, %461
  %470 = xor i64 %467, -1
  %471 = load i64, ptr %26, align 8, !tbaa !5
  %472 = and i64 %471, %470
  %473 = xor i64 %472, %463
  %474 = xor i64 %471, -1
  %475 = and i64 %460, %474
  %476 = xor i64 %475, %467
  %477 = xor i64 %460, -1
  %478 = and i64 %461, %477
  %479 = xor i64 %471, %478
  store i64 %465, ptr %6, align 8, !tbaa !5
  store i64 %469, ptr %11, align 8, !tbaa !5
  store i64 %473, ptr %16, align 8, !tbaa !5
  store i64 %476, ptr %21, align 8, !tbaa !5
  store i64 %479, ptr %26, align 8, !tbaa !5
  %480 = load i64, ptr %7, align 8, !tbaa !5
  %481 = load i64, ptr %12, align 8, !tbaa !5
  %482 = xor i64 %481, -1
  %483 = load i64, ptr %17, align 8, !tbaa !5
  %484 = and i64 %483, %482
  %485 = xor i64 %484, %480
  %486 = xor i64 %483, -1
  %487 = load i64, ptr %22, align 8, !tbaa !5
  %488 = and i64 %487, %486
  %489 = xor i64 %488, %481
  %490 = xor i64 %487, -1
  %491 = load i64, ptr %27, align 8, !tbaa !5
  %492 = and i64 %491, %490
  %493 = xor i64 %492, %483
  %494 = xor i64 %491, -1
  %495 = and i64 %480, %494
  %496 = xor i64 %495, %487
  %497 = xor i64 %480, -1
  %498 = and i64 %481, %497
  %499 = xor i64 %491, %498
  store i64 %485, ptr %7, align 8, !tbaa !5
  store i64 %489, ptr %12, align 8, !tbaa !5
  store i64 %493, ptr %17, align 8, !tbaa !5
  store i64 %496, ptr %22, align 8, !tbaa !5
  store i64 %499, ptr %27, align 8, !tbaa !5
  %500 = load i64, ptr %8, align 8, !tbaa !5
  %501 = load i64, ptr %13, align 8, !tbaa !5
  %502 = xor i64 %501, -1
  %503 = load i64, ptr %18, align 8, !tbaa !5
  %504 = and i64 %503, %502
  %505 = xor i64 %504, %500
  %506 = xor i64 %503, -1
  %507 = load i64, ptr %23, align 8, !tbaa !5
  %508 = and i64 %507, %506
  %509 = xor i64 %508, %501
  %510 = xor i64 %507, -1
  %511 = load i64, ptr %28, align 8, !tbaa !5
  %512 = and i64 %511, %510
  %513 = xor i64 %512, %503
  %514 = xor i64 %511, -1
  %515 = and i64 %500, %514
  %516 = xor i64 %515, %507
  %517 = xor i64 %500, -1
  %518 = and i64 %501, %517
  %519 = xor i64 %511, %518
  store i64 %505, ptr %8, align 8, !tbaa !5
  store i64 %509, ptr %13, align 8, !tbaa !5
  store i64 %513, ptr %18, align 8, !tbaa !5
  store i64 %516, ptr %23, align 8, !tbaa !5
  store i64 %519, ptr %28, align 8, !tbaa !5
  %520 = load i64, ptr %9, align 8, !tbaa !5
  %521 = load i64, ptr %14, align 8, !tbaa !5
  %522 = xor i64 %521, -1
  %523 = load i64, ptr %19, align 8, !tbaa !5
  %524 = and i64 %523, %522
  %525 = xor i64 %524, %520
  %526 = xor i64 %523, -1
  %527 = load i64, ptr %24, align 8, !tbaa !5
  %528 = and i64 %527, %526
  %529 = xor i64 %528, %521
  %530 = xor i64 %527, -1
  %531 = load i64, ptr %29, align 8, !tbaa !5
  %532 = and i64 %531, %530
  %533 = xor i64 %532, %523
  %534 = xor i64 %531, -1
  %535 = and i64 %520, %534
  %536 = xor i64 %535, %527
  %537 = xor i64 %520, -1
  %538 = and i64 %521, %537
  %539 = xor i64 %531, %538
  store i64 %525, ptr %9, align 8, !tbaa !5
  store i64 %529, ptr %14, align 8, !tbaa !5
  store i64 %533, ptr %19, align 8, !tbaa !5
  store i64 %536, ptr %24, align 8, !tbaa !5
  store i64 %539, ptr %29, align 8, !tbaa !5
  %540 = getelementptr inbounds [24 x i64], ptr @Hacl_Impl_SHA3_Vec_keccak_rndc, i64 0, i64 %indvars.iv
  %541 = load i64, ptr %540, align 8, !tbaa !5
  %542 = xor i64 %445, %541
  %543 = xor i64 %542, %441
  store i64 %543, 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 %264, label %265, !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,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SROAPass,SimplifyCFGPass