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

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

; 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: inlinehint nounwind uwtable
declare hidden void @chacha20_init_32(ptr noundef, ptr noundef, ptr noundef, i32 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @chacha20_core_32(ptr noundef, ptr noundef, i32 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @__uint32_identity(i32 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @load32(ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @store32(ptr noundef, i32 noundef) #2

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

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

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_Chacha20_Vec32_chacha20_decrypt_32(i32 noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, i32 noundef %5) #4 {
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca [16 x i32], align 16
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca [16 x i32], align 16
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca i32, align 4
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca i32, align 4
  %45 = alloca i32, align 4
  %46 = alloca i32, align 4
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca i32, align 4
  %50 = alloca i32, align 4
  %51 = alloca i32, align 4
  %52 = alloca i32, align 4
  %53 = alloca i32, align 4
  %54 = alloca i32, align 4
  %55 = alloca i32, align 4
  %56 = alloca i32, align 4
  %57 = alloca i32, align 4
  %58 = alloca i32, align 4
  %59 = alloca i32, align 4
  %60 = alloca i32, align 4
  %61 = alloca i32, align 4
  %62 = alloca i32, align 4
  %63 = alloca i32, align 4
  %64 = alloca i32, align 4
  %65 = alloca i32, align 4
  %66 = alloca i32, align 4
  %67 = alloca i32, align 4
  %68 = alloca i32, align 4
  %69 = alloca i32, align 4
  %70 = alloca ptr, align 8
  %71 = alloca [64 x i8], align 16
  %72 = alloca [16 x i32], align 16
  %73 = alloca i32, align 4
  %74 = alloca i32, align 4
  %75 = alloca i32, align 4
  %76 = alloca i32, align 4
  %77 = alloca i32, align 4
  %78 = alloca i32, align 4
  %79 = alloca i32, align 4
  %80 = alloca i32, align 4
  %81 = alloca i32, align 4
  %82 = alloca i32, align 4
  %83 = alloca i32, align 4
  %84 = alloca i32, align 4
  %85 = alloca i32, align 4
  %86 = alloca i32, align 4
  %87 = alloca i32, align 4
  %88 = alloca i32, align 4
  %89 = alloca i32, align 4
  %90 = alloca i32, align 4
  %91 = alloca i32, align 4
  %92 = alloca i32, align 4
  %93 = alloca i32, align 4
  %94 = alloca i32, align 4
  %95 = alloca i32, align 4
  %96 = alloca i32, align 4
  %97 = alloca i32, align 4
  %98 = alloca i32, align 4
  %99 = alloca i32, align 4
  %100 = alloca i32, align 4
  %101 = alloca i32, align 4
  %102 = alloca i32, align 4
  %103 = alloca i32, align 4
  %104 = alloca i32, align 4
  %105 = alloca i32, align 4
  %106 = alloca i32, align 4
  %107 = alloca i32, align 4
  %108 = alloca i32, align 4
  %109 = alloca i32, align 4
  %110 = alloca i32, align 4
  %111 = alloca i32, align 4
  %112 = alloca i32, align 4
  %113 = alloca i32, align 4
  %114 = alloca i32, align 4
  %115 = alloca i32, align 4
  %116 = alloca i32, align 4
  %117 = alloca i32, align 4
  %118 = alloca i32, align 4
  %119 = alloca i32, align 4
  %120 = alloca i32, align 4
  %121 = alloca i32, align 4
  store i32 %0, ptr %7, align 4, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !9
  store ptr %2, ptr %9, align 8, !tbaa !9
  store ptr %3, ptr %10, align 8, !tbaa !9
  store ptr %4, ptr %11, align 8, !tbaa !9
  store i32 %5, ptr %12, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 64, ptr %13) #5
  call void @llvm.memset.p0.i64(ptr align 16 %13, i8 0, i64 64, i1 false)
  %122 = getelementptr inbounds [16 x i32], ptr %13, i64 0, i64 0
  %123 = load ptr, ptr %10, align 8, !tbaa !9
  %124 = load ptr, ptr %11, align 8, !tbaa !9
  %125 = load i32, ptr %12, align 4, !tbaa !5
  call void @chacha20_init_32(ptr noundef %122, ptr noundef %123, ptr noundef %124, i32 noundef %125)
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #5
  %126 = load i32, ptr %7, align 4, !tbaa !5
  %127 = urem i32 %126, 64
  store i32 %127, ptr %14, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  %128 = load i32, ptr %7, align 4, !tbaa !5
  %129 = udiv i32 %128, 64
  store i32 %129, ptr %15, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  %130 = load i32, ptr %7, align 4, !tbaa !5
  %131 = urem i32 %130, 64
  store i32 %131, ptr %16, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #5
  store i32 0, ptr %17, align 4, !tbaa !5
  br label %132

132:                                              ; preds = %538, %6
  %133 = load i32, ptr %17, align 4, !tbaa !5
  %134 = load i32, ptr %15, align 4, !tbaa !5
  %135 = icmp ult i32 %133, %134
  br i1 %135, label %137, label %136

136:                                              ; preds = %132
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  br label %541

137:                                              ; preds = %132
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #5
  %138 = load ptr, ptr %8, align 8, !tbaa !9
  %139 = load i32, ptr %17, align 4, !tbaa !5
  %140 = mul i32 %139, 64
  %141 = zext i32 %140 to i64
  %142 = getelementptr inbounds i8, ptr %138, i64 %141
  store ptr %142, ptr %18, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #5
  %143 = load ptr, ptr %9, align 8, !tbaa !9
  %144 = load i32, ptr %17, align 4, !tbaa !5
  %145 = mul i32 %144, 64
  %146 = zext i32 %145 to i64
  %147 = getelementptr inbounds i8, ptr %143, i64 %146
  store ptr %147, ptr %19, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 64, ptr %20) #5
  call void @llvm.memset.p0.i64(ptr align 16 %20, i8 0, i64 64, i1 false)
  %148 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 0
  %149 = getelementptr inbounds [16 x i32], ptr %13, i64 0, i64 0
  %150 = load i32, ptr %17, align 4, !tbaa !5
  call void @chacha20_core_32(ptr noundef %148, ptr noundef %149, i32 noundef %150)
  br label %151

151:                                              ; preds = %137
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #5
  store i32 0, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #5
  %152 = load ptr, ptr %19, align 8, !tbaa !9
  %153 = load i32, ptr %21, align 4, !tbaa !5
  %154 = mul i32 %153, 4
  %155 = zext i32 %154 to i64
  %156 = getelementptr inbounds i8, ptr %152, i64 %155
  %157 = call i32 @load32(ptr noundef %156)
  %158 = call i32 @__uint32_identity(i32 noundef %157)
  store i32 %158, ptr %22, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  %159 = load i32, ptr %22, align 4, !tbaa !5
  store i32 %159, ptr %23, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #5
  %160 = load i32, ptr %23, align 4, !tbaa !5
  %161 = load i32, ptr %21, align 4, !tbaa !5
  %162 = zext i32 %161 to i64
  %163 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %162
  %164 = load i32, ptr %163, align 4, !tbaa !5
  %165 = xor i32 %160, %164
  store i32 %165, ptr %24, align 4, !tbaa !5
  %166 = load ptr, ptr %18, align 8, !tbaa !9
  %167 = load i32, ptr %21, align 4, !tbaa !5
  %168 = mul i32 %167, 4
  %169 = zext i32 %168 to i64
  %170 = getelementptr inbounds i8, ptr %166, i64 %169
  %171 = load i32, ptr %24, align 4, !tbaa !5
  %172 = call i32 @__uint32_identity(i32 noundef %171)
  call void @store32(ptr noundef %170, i32 noundef %172)
  %173 = load i32, ptr %21, align 4, !tbaa !5
  %174 = add i32 %173, 1
  store i32 %174, ptr %21, align 4, !tbaa !5
  %175 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #5
  %176 = load ptr, ptr %19, align 8, !tbaa !9
  %177 = load i32, ptr %21, align 4, !tbaa !5
  %178 = mul i32 %177, 4
  %179 = zext i32 %178 to i64
  %180 = getelementptr inbounds i8, ptr %176, i64 %179
  %181 = call i32 @load32(ptr noundef %180)
  %182 = call i32 @__uint32_identity(i32 noundef %181)
  store i32 %182, ptr %25, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #5
  %183 = load i32, ptr %25, align 4, !tbaa !5
  store i32 %183, ptr %26, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #5
  %184 = load i32, ptr %26, align 4, !tbaa !5
  %185 = load i32, ptr %21, align 4, !tbaa !5
  %186 = zext i32 %185 to i64
  %187 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %186
  %188 = load i32, ptr %187, align 4, !tbaa !5
  %189 = xor i32 %184, %188
  store i32 %189, ptr %27, align 4, !tbaa !5
  %190 = load ptr, ptr %18, align 8, !tbaa !9
  %191 = load i32, ptr %21, align 4, !tbaa !5
  %192 = mul i32 %191, 4
  %193 = zext i32 %192 to i64
  %194 = getelementptr inbounds i8, ptr %190, i64 %193
  %195 = load i32, ptr %27, align 4, !tbaa !5
  %196 = call i32 @__uint32_identity(i32 noundef %195)
  call void @store32(ptr noundef %194, i32 noundef %196)
  %197 = load i32, ptr %21, align 4, !tbaa !5
  %198 = add i32 %197, 1
  store i32 %198, ptr %21, align 4, !tbaa !5
  %199 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #5
  %200 = load ptr, ptr %19, align 8, !tbaa !9
  %201 = load i32, ptr %21, align 4, !tbaa !5
  %202 = mul i32 %201, 4
  %203 = zext i32 %202 to i64
  %204 = getelementptr inbounds i8, ptr %200, i64 %203
  %205 = call i32 @load32(ptr noundef %204)
  %206 = call i32 @__uint32_identity(i32 noundef %205)
  store i32 %206, ptr %28, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #5
  %207 = load i32, ptr %28, align 4, !tbaa !5
  store i32 %207, ptr %29, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #5
  %208 = load i32, ptr %29, align 4, !tbaa !5
  %209 = load i32, ptr %21, align 4, !tbaa !5
  %210 = zext i32 %209 to i64
  %211 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %210
  %212 = load i32, ptr %211, align 4, !tbaa !5
  %213 = xor i32 %208, %212
  store i32 %213, ptr %30, align 4, !tbaa !5
  %214 = load ptr, ptr %18, align 8, !tbaa !9
  %215 = load i32, ptr %21, align 4, !tbaa !5
  %216 = mul i32 %215, 4
  %217 = zext i32 %216 to i64
  %218 = getelementptr inbounds i8, ptr %214, i64 %217
  %219 = load i32, ptr %30, align 4, !tbaa !5
  %220 = call i32 @__uint32_identity(i32 noundef %219)
  call void @store32(ptr noundef %218, i32 noundef %220)
  %221 = load i32, ptr %21, align 4, !tbaa !5
  %222 = add i32 %221, 1
  store i32 %222, ptr %21, align 4, !tbaa !5
  %223 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #5
  %224 = load ptr, ptr %19, align 8, !tbaa !9
  %225 = load i32, ptr %21, align 4, !tbaa !5
  %226 = mul i32 %225, 4
  %227 = zext i32 %226 to i64
  %228 = getelementptr inbounds i8, ptr %224, i64 %227
  %229 = call i32 @load32(ptr noundef %228)
  %230 = call i32 @__uint32_identity(i32 noundef %229)
  store i32 %230, ptr %31, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #5
  %231 = load i32, ptr %31, align 4, !tbaa !5
  store i32 %231, ptr %32, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #5
  %232 = load i32, ptr %32, align 4, !tbaa !5
  %233 = load i32, ptr %21, align 4, !tbaa !5
  %234 = zext i32 %233 to i64
  %235 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %234
  %236 = load i32, ptr %235, align 4, !tbaa !5
  %237 = xor i32 %232, %236
  store i32 %237, ptr %33, align 4, !tbaa !5
  %238 = load ptr, ptr %18, align 8, !tbaa !9
  %239 = load i32, ptr %21, align 4, !tbaa !5
  %240 = mul i32 %239, 4
  %241 = zext i32 %240 to i64
  %242 = getelementptr inbounds i8, ptr %238, i64 %241
  %243 = load i32, ptr %33, align 4, !tbaa !5
  %244 = call i32 @__uint32_identity(i32 noundef %243)
  call void @store32(ptr noundef %242, i32 noundef %244)
  %245 = load i32, ptr %21, align 4, !tbaa !5
  %246 = add i32 %245, 1
  store i32 %246, ptr %21, align 4, !tbaa !5
  %247 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #5
  %248 = load ptr, ptr %19, align 8, !tbaa !9
  %249 = load i32, ptr %21, align 4, !tbaa !5
  %250 = mul i32 %249, 4
  %251 = zext i32 %250 to i64
  %252 = getelementptr inbounds i8, ptr %248, i64 %251
  %253 = call i32 @load32(ptr noundef %252)
  %254 = call i32 @__uint32_identity(i32 noundef %253)
  store i32 %254, ptr %34, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #5
  %255 = load i32, ptr %34, align 4, !tbaa !5
  store i32 %255, ptr %35, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #5
  %256 = load i32, ptr %35, align 4, !tbaa !5
  %257 = load i32, ptr %21, align 4, !tbaa !5
  %258 = zext i32 %257 to i64
  %259 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %258
  %260 = load i32, ptr %259, align 4, !tbaa !5
  %261 = xor i32 %256, %260
  store i32 %261, ptr %36, align 4, !tbaa !5
  %262 = load ptr, ptr %18, align 8, !tbaa !9
  %263 = load i32, ptr %21, align 4, !tbaa !5
  %264 = mul i32 %263, 4
  %265 = zext i32 %264 to i64
  %266 = getelementptr inbounds i8, ptr %262, i64 %265
  %267 = load i32, ptr %36, align 4, !tbaa !5
  %268 = call i32 @__uint32_identity(i32 noundef %267)
  call void @store32(ptr noundef %266, i32 noundef %268)
  %269 = load i32, ptr %21, align 4, !tbaa !5
  %270 = add i32 %269, 1
  store i32 %270, ptr %21, align 4, !tbaa !5
  %271 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, 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
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #5
  %272 = load ptr, ptr %19, align 8, !tbaa !9
  %273 = load i32, ptr %21, align 4, !tbaa !5
  %274 = mul i32 %273, 4
  %275 = zext i32 %274 to i64
  %276 = getelementptr inbounds i8, ptr %272, i64 %275
  %277 = call i32 @load32(ptr noundef %276)
  %278 = call i32 @__uint32_identity(i32 noundef %277)
  store i32 %278, ptr %37, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #5
  %279 = load i32, ptr %37, align 4, !tbaa !5
  store i32 %279, ptr %38, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #5
  %280 = load i32, ptr %38, align 4, !tbaa !5
  %281 = load i32, ptr %21, align 4, !tbaa !5
  %282 = zext i32 %281 to i64
  %283 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %282
  %284 = load i32, ptr %283, align 4, !tbaa !5
  %285 = xor i32 %280, %284
  store i32 %285, ptr %39, align 4, !tbaa !5
  %286 = load ptr, ptr %18, align 8, !tbaa !9
  %287 = load i32, ptr %21, align 4, !tbaa !5
  %288 = mul i32 %287, 4
  %289 = zext i32 %288 to i64
  %290 = getelementptr inbounds i8, ptr %286, i64 %289
  %291 = load i32, ptr %39, align 4, !tbaa !5
  %292 = call i32 @__uint32_identity(i32 noundef %291)
  call void @store32(ptr noundef %290, i32 noundef %292)
  %293 = load i32, ptr %21, align 4, !tbaa !5
  %294 = add i32 %293, 1
  store i32 %294, ptr %21, align 4, !tbaa !5
  %295 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #5
  %296 = load ptr, ptr %19, align 8, !tbaa !9
  %297 = load i32, ptr %21, align 4, !tbaa !5
  %298 = mul i32 %297, 4
  %299 = zext i32 %298 to i64
  %300 = getelementptr inbounds i8, ptr %296, i64 %299
  %301 = call i32 @load32(ptr noundef %300)
  %302 = call i32 @__uint32_identity(i32 noundef %301)
  store i32 %302, ptr %40, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #5
  %303 = load i32, ptr %40, align 4, !tbaa !5
  store i32 %303, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #5
  %304 = load i32, ptr %41, align 4, !tbaa !5
  %305 = load i32, ptr %21, align 4, !tbaa !5
  %306 = zext i32 %305 to i64
  %307 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %306
  %308 = load i32, ptr %307, align 4, !tbaa !5
  %309 = xor i32 %304, %308
  store i32 %309, ptr %42, align 4, !tbaa !5
  %310 = load ptr, ptr %18, align 8, !tbaa !9
  %311 = load i32, ptr %21, align 4, !tbaa !5
  %312 = mul i32 %311, 4
  %313 = zext i32 %312 to i64
  %314 = getelementptr inbounds i8, ptr %310, i64 %313
  %315 = load i32, ptr %42, align 4, !tbaa !5
  %316 = call i32 @__uint32_identity(i32 noundef %315)
  call void @store32(ptr noundef %314, i32 noundef %316)
  %317 = load i32, ptr %21, align 4, !tbaa !5
  %318 = add i32 %317, 1
  store i32 %318, ptr %21, align 4, !tbaa !5
  %319 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #5
  %320 = load ptr, ptr %19, align 8, !tbaa !9
  %321 = load i32, ptr %21, align 4, !tbaa !5
  %322 = mul i32 %321, 4
  %323 = zext i32 %322 to i64
  %324 = getelementptr inbounds i8, ptr %320, i64 %323
  %325 = call i32 @load32(ptr noundef %324)
  %326 = call i32 @__uint32_identity(i32 noundef %325)
  store i32 %326, ptr %43, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #5
  %327 = load i32, ptr %43, align 4, !tbaa !5
  store i32 %327, ptr %44, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #5
  %328 = load i32, ptr %44, align 4, !tbaa !5
  %329 = load i32, ptr %21, align 4, !tbaa !5
  %330 = zext i32 %329 to i64
  %331 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %330
  %332 = load i32, ptr %331, align 4, !tbaa !5
  %333 = xor i32 %328, %332
  store i32 %333, ptr %45, align 4, !tbaa !5
  %334 = load ptr, ptr %18, align 8, !tbaa !9
  %335 = load i32, ptr %21, align 4, !tbaa !5
  %336 = mul i32 %335, 4
  %337 = zext i32 %336 to i64
  %338 = getelementptr inbounds i8, ptr %334, i64 %337
  %339 = load i32, ptr %45, align 4, !tbaa !5
  %340 = call i32 @__uint32_identity(i32 noundef %339)
  call void @store32(ptr noundef %338, i32 noundef %340)
  %341 = load i32, ptr %21, align 4, !tbaa !5
  %342 = add i32 %341, 1
  store i32 %342, ptr %21, align 4, !tbaa !5
  %343 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #5
  %344 = load ptr, ptr %19, align 8, !tbaa !9
  %345 = load i32, ptr %21, align 4, !tbaa !5
  %346 = mul i32 %345, 4
  %347 = zext i32 %346 to i64
  %348 = getelementptr inbounds i8, ptr %344, i64 %347
  %349 = call i32 @load32(ptr noundef %348)
  %350 = call i32 @__uint32_identity(i32 noundef %349)
  store i32 %350, ptr %46, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #5
  %351 = load i32, ptr %46, align 4, !tbaa !5
  store i32 %351, ptr %47, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #5
  %352 = load i32, ptr %47, align 4, !tbaa !5
  %353 = load i32, ptr %21, align 4, !tbaa !5
  %354 = zext i32 %353 to i64
  %355 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %354
  %356 = load i32, ptr %355, align 4, !tbaa !5
  %357 = xor i32 %352, %356
  store i32 %357, ptr %48, align 4, !tbaa !5
  %358 = load ptr, ptr %18, align 8, !tbaa !9
  %359 = load i32, ptr %21, align 4, !tbaa !5
  %360 = mul i32 %359, 4
  %361 = zext i32 %360 to i64
  %362 = getelementptr inbounds i8, ptr %358, i64 %361
  %363 = load i32, ptr %48, align 4, !tbaa !5
  %364 = call i32 @__uint32_identity(i32 noundef %363)
  call void @store32(ptr noundef %362, i32 noundef %364)
  %365 = load i32, ptr %21, align 4, !tbaa !5
  %366 = add i32 %365, 1
  store i32 %366, ptr %21, align 4, !tbaa !5
  %367 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #5
  %368 = load ptr, ptr %19, align 8, !tbaa !9
  %369 = load i32, ptr %21, align 4, !tbaa !5
  %370 = mul i32 %369, 4
  %371 = zext i32 %370 to i64
  %372 = getelementptr inbounds i8, ptr %368, i64 %371
  %373 = call i32 @load32(ptr noundef %372)
  %374 = call i32 @__uint32_identity(i32 noundef %373)
  store i32 %374, ptr %49, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #5
  %375 = load i32, ptr %49, align 4, !tbaa !5
  store i32 %375, ptr %50, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #5
  %376 = load i32, ptr %50, align 4, !tbaa !5
  %377 = load i32, ptr %21, align 4, !tbaa !5
  %378 = zext i32 %377 to i64
  %379 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %378
  %380 = load i32, ptr %379, align 4, !tbaa !5
  %381 = xor i32 %376, %380
  store i32 %381, ptr %51, align 4, !tbaa !5
  %382 = load ptr, ptr %18, align 8, !tbaa !9
  %383 = load i32, ptr %21, align 4, !tbaa !5
  %384 = mul i32 %383, 4
  %385 = zext i32 %384 to i64
  %386 = getelementptr inbounds i8, ptr %382, i64 %385
  %387 = load i32, ptr %51, align 4, !tbaa !5
  %388 = call i32 @__uint32_identity(i32 noundef %387)
  call void @store32(ptr noundef %386, i32 noundef %388)
  %389 = load i32, ptr %21, align 4, !tbaa !5
  %390 = add i32 %389, 1
  store i32 %390, ptr %21, align 4, !tbaa !5
  %391 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #5
  %392 = load ptr, ptr %19, align 8, !tbaa !9
  %393 = load i32, ptr %21, align 4, !tbaa !5
  %394 = mul i32 %393, 4
  %395 = zext i32 %394 to i64
  %396 = getelementptr inbounds i8, ptr %392, i64 %395
  %397 = call i32 @load32(ptr noundef %396)
  %398 = call i32 @__uint32_identity(i32 noundef %397)
  store i32 %398, ptr %52, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #5
  %399 = load i32, ptr %52, align 4, !tbaa !5
  store i32 %399, ptr %53, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #5
  %400 = load i32, ptr %53, align 4, !tbaa !5
  %401 = load i32, ptr %21, align 4, !tbaa !5
  %402 = zext i32 %401 to i64
  %403 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %402
  %404 = load i32, ptr %403, align 4, !tbaa !5
  %405 = xor i32 %400, %404
  store i32 %405, ptr %54, align 4, !tbaa !5
  %406 = load ptr, ptr %18, align 8, !tbaa !9
  %407 = load i32, ptr %21, align 4, !tbaa !5
  %408 = mul i32 %407, 4
  %409 = zext i32 %408 to i64
  %410 = getelementptr inbounds i8, ptr %406, i64 %409
  %411 = load i32, ptr %54, align 4, !tbaa !5
  %412 = call i32 @__uint32_identity(i32 noundef %411)
  call void @store32(ptr noundef %410, i32 noundef %412)
  %413 = load i32, ptr %21, align 4, !tbaa !5
  %414 = add i32 %413, 1
  store i32 %414, ptr %21, align 4, !tbaa !5
  %415 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #5
  %416 = load ptr, ptr %19, align 8, !tbaa !9
  %417 = load i32, ptr %21, align 4, !tbaa !5
  %418 = mul i32 %417, 4
  %419 = zext i32 %418 to i64
  %420 = getelementptr inbounds i8, ptr %416, i64 %419
  %421 = call i32 @load32(ptr noundef %420)
  %422 = call i32 @__uint32_identity(i32 noundef %421)
  store i32 %422, ptr %55, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %56) #5
  %423 = load i32, ptr %55, align 4, !tbaa !5
  store i32 %423, ptr %56, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #5
  %424 = load i32, ptr %56, align 4, !tbaa !5
  %425 = load i32, ptr %21, align 4, !tbaa !5
  %426 = zext i32 %425 to i64
  %427 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %426
  %428 = load i32, ptr %427, align 4, !tbaa !5
  %429 = xor i32 %424, %428
  store i32 %429, ptr %57, align 4, !tbaa !5
  %430 = load ptr, ptr %18, align 8, !tbaa !9
  %431 = load i32, ptr %21, align 4, !tbaa !5
  %432 = mul i32 %431, 4
  %433 = zext i32 %432 to i64
  %434 = getelementptr inbounds i8, ptr %430, i64 %433
  %435 = load i32, ptr %57, align 4, !tbaa !5
  %436 = call i32 @__uint32_identity(i32 noundef %435)
  call void @store32(ptr noundef %434, i32 noundef %436)
  %437 = load i32, ptr %21, align 4, !tbaa !5
  %438 = add i32 %437, 1
  store i32 %438, ptr %21, align 4, !tbaa !5
  %439 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %58) #5
  %440 = load ptr, ptr %19, align 8, !tbaa !9
  %441 = load i32, ptr %21, align 4, !tbaa !5
  %442 = mul i32 %441, 4
  %443 = zext i32 %442 to i64
  %444 = getelementptr inbounds i8, ptr %440, i64 %443
  %445 = call i32 @load32(ptr noundef %444)
  %446 = call i32 @__uint32_identity(i32 noundef %445)
  store i32 %446, ptr %58, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %59) #5
  %447 = load i32, ptr %58, align 4, !tbaa !5
  store i32 %447, ptr %59, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %60) #5
  %448 = load i32, ptr %59, align 4, !tbaa !5
  %449 = load i32, ptr %21, align 4, !tbaa !5
  %450 = zext i32 %449 to i64
  %451 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %450
  %452 = load i32, ptr %451, align 4, !tbaa !5
  %453 = xor i32 %448, %452
  store i32 %453, ptr %60, align 4, !tbaa !5
  %454 = load ptr, ptr %18, align 8, !tbaa !9
  %455 = load i32, ptr %21, align 4, !tbaa !5
  %456 = mul i32 %455, 4
  %457 = zext i32 %456 to i64
  %458 = getelementptr inbounds i8, ptr %454, i64 %457
  %459 = load i32, ptr %60, align 4, !tbaa !5
  %460 = call i32 @__uint32_identity(i32 noundef %459)
  call void @store32(ptr noundef %458, i32 noundef %460)
  %461 = load i32, ptr %21, align 4, !tbaa !5
  %462 = add i32 %461, 1
  store i32 %462, ptr %21, align 4, !tbaa !5
  %463 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %60) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %59) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %61) #5
  %464 = load ptr, ptr %19, align 8, !tbaa !9
  %465 = load i32, ptr %21, align 4, !tbaa !5
  %466 = mul i32 %465, 4
  %467 = zext i32 %466 to i64
  %468 = getelementptr inbounds i8, ptr %464, i64 %467
  %469 = call i32 @load32(ptr noundef %468)
  %470 = call i32 @__uint32_identity(i32 noundef %469)
  store i32 %470, ptr %61, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %62) #5
  %471 = load i32, ptr %61, align 4, !tbaa !5
  store i32 %471, ptr %62, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %63) #5
  %472 = load i32, ptr %62, align 4, !tbaa !5
  %473 = load i32, ptr %21, align 4, !tbaa !5
  %474 = zext i32 %473 to i64
  %475 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %474
  %476 = load i32, ptr %475, align 4, !tbaa !5
  %477 = xor i32 %472, %476
  store i32 %477, ptr %63, align 4, !tbaa !5
  %478 = load ptr, ptr %18, align 8, !tbaa !9
  %479 = load i32, ptr %21, align 4, !tbaa !5
  %480 = mul i32 %479, 4
  %481 = zext i32 %480 to i64
  %482 = getelementptr inbounds i8, ptr %478, i64 %481
  %483 = load i32, ptr %63, align 4, !tbaa !5
  %484 = call i32 @__uint32_identity(i32 noundef %483)
  call void @store32(ptr noundef %482, i32 noundef %484)
  %485 = load i32, ptr %21, align 4, !tbaa !5
  %486 = add i32 %485, 1
  store i32 %486, ptr %21, align 4, !tbaa !5
  %487 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %63) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %62) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %64) #5
  %488 = load ptr, ptr %19, align 8, !tbaa !9
  %489 = load i32, ptr %21, align 4, !tbaa !5
  %490 = mul i32 %489, 4
  %491 = zext i32 %490 to i64
  %492 = getelementptr inbounds i8, ptr %488, i64 %491
  %493 = call i32 @load32(ptr noundef %492)
  %494 = call i32 @__uint32_identity(i32 noundef %493)
  store i32 %494, ptr %64, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %65) #5
  %495 = load i32, ptr %64, align 4, !tbaa !5
  store i32 %495, ptr %65, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %66) #5
  %496 = load i32, ptr %65, align 4, !tbaa !5
  %497 = load i32, ptr %21, align 4, !tbaa !5
  %498 = zext i32 %497 to i64
  %499 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %498
  %500 = load i32, ptr %499, align 4, !tbaa !5
  %501 = xor i32 %496, %500
  store i32 %501, ptr %66, align 4, !tbaa !5
  %502 = load ptr, ptr %18, align 8, !tbaa !9
  %503 = load i32, ptr %21, align 4, !tbaa !5
  %504 = mul i32 %503, 4
  %505 = zext i32 %504 to i64
  %506 = getelementptr inbounds i8, ptr %502, i64 %505
  %507 = load i32, ptr %66, align 4, !tbaa !5
  %508 = call i32 @__uint32_identity(i32 noundef %507)
  call void @store32(ptr noundef %506, i32 noundef %508)
  %509 = load i32, ptr %21, align 4, !tbaa !5
  %510 = add i32 %509, 1
  store i32 %510, ptr %21, align 4, !tbaa !5
  %511 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %66) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %65) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %64) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %67) #5
  %512 = load ptr, ptr %19, align 8, !tbaa !9
  %513 = load i32, ptr %21, align 4, !tbaa !5
  %514 = mul i32 %513, 4
  %515 = zext i32 %514 to i64
  %516 = getelementptr inbounds i8, ptr %512, i64 %515
  %517 = call i32 @load32(ptr noundef %516)
  %518 = call i32 @__uint32_identity(i32 noundef %517)
  store i32 %518, ptr %67, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %68) #5
  %519 = load i32, ptr %67, align 4, !tbaa !5
  store i32 %519, ptr %68, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %69) #5
  %520 = load i32, ptr %68, align 4, !tbaa !5
  %521 = load i32, ptr %21, align 4, !tbaa !5
  %522 = zext i32 %521 to i64
  %523 = getelementptr inbounds [16 x i32], ptr %20, i64 0, i64 %522
  %524 = load i32, ptr %523, align 4, !tbaa !5
  %525 = xor i32 %520, %524
  store i32 %525, ptr %69, align 4, !tbaa !5
  %526 = load ptr, ptr %18, align 8, !tbaa !9
  %527 = load i32, ptr %21, align 4, !tbaa !5
  %528 = mul i32 %527, 4
  %529 = zext i32 %528 to i64
  %530 = getelementptr inbounds i8, ptr %526, i64 %529
  %531 = load i32, ptr %69, align 4, !tbaa !5
  %532 = call i32 @__uint32_identity(i32 noundef %531)
  call void @store32(ptr noundef %530, i32 noundef %532)
  %533 = load i32, ptr %21, align 4, !tbaa !5
  %534 = add i32 %533, 1
  store i32 %534, ptr %21, align 4, !tbaa !5
  %535 = load i32, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %69) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %68) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %67) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #5
  br label %536

536:                                              ; preds = %151
  br label %537

537:                                              ; preds = %536
  call void @llvm.lifetime.end.p0(i64 64, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #5
  br label %538

538:                                              ; preds = %537
  %539 = load i32, ptr %17, align 4, !tbaa !5
  %540 = add i32 %539, 1
  store i32 %540, ptr %17, align 4, !tbaa !5
  br label %132, !llvm.loop !11

541:                                              ; preds = %136
  %542 = load i32, ptr %16, align 4, !tbaa !5
  %543 = icmp ugt i32 %542, 0
  br i1 %543, label %544, label %954

544:                                              ; preds = %541
  call void @llvm.lifetime.start.p0(i64 8, ptr %70) #5
  %545 = load ptr, ptr %8, align 8, !tbaa !9
  %546 = load i32, ptr %15, align 4, !tbaa !5
  %547 = mul i32 %546, 64
  %548 = zext i32 %547 to i64
  %549 = getelementptr inbounds i8, ptr %545, i64 %548
  store ptr %549, ptr %70, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 64, ptr %71) #5
  call void @llvm.memset.p0.i64(ptr align 16 %71, i8 0, i64 64, i1 false)
  %550 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %551 = load ptr, ptr %9, align 8, !tbaa !9
  %552 = load i32, ptr %15, align 4, !tbaa !5
  %553 = mul i32 %552, 64
  %554 = zext i32 %553 to i64
  %555 = getelementptr inbounds i8, ptr %551, i64 %554
  %556 = load i32, ptr %14, align 4, !tbaa !5
  %557 = zext i32 %556 to i64
  %558 = mul i64 %557, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %550, ptr align 1 %555, i64 %558, i1 false)
  call void @llvm.lifetime.start.p0(i64 64, ptr %72) #5
  call void @llvm.memset.p0.i64(ptr align 16 %72, i8 0, i64 64, i1 false)
  %559 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 0
  %560 = getelementptr inbounds [16 x i32], ptr %13, i64 0, i64 0
  %561 = load i32, ptr %15, align 4, !tbaa !5
  call void @chacha20_core_32(ptr noundef %559, ptr noundef %560, i32 noundef %561)
  br label %562

562:                                              ; preds = %544
  call void @llvm.lifetime.start.p0(i64 4, ptr %73) #5
  store i32 0, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %74) #5
  %563 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %564 = load i32, ptr %73, align 4, !tbaa !5
  %565 = mul i32 %564, 4
  %566 = zext i32 %565 to i64
  %567 = getelementptr inbounds i8, ptr %563, i64 %566
  %568 = call i32 @load32(ptr noundef %567)
  %569 = call i32 @__uint32_identity(i32 noundef %568)
  store i32 %569, ptr %74, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %75) #5
  %570 = load i32, ptr %74, align 4, !tbaa !5
  store i32 %570, ptr %75, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %76) #5
  %571 = load i32, ptr %75, align 4, !tbaa !5
  %572 = load i32, ptr %73, align 4, !tbaa !5
  %573 = zext i32 %572 to i64
  %574 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %573
  %575 = load i32, ptr %574, align 4, !tbaa !5
  %576 = xor i32 %571, %575
  store i32 %576, ptr %76, align 4, !tbaa !5
  %577 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %578 = load i32, ptr %73, align 4, !tbaa !5
  %579 = mul i32 %578, 4
  %580 = zext i32 %579 to i64
  %581 = getelementptr inbounds i8, ptr %577, i64 %580
  %582 = load i32, ptr %76, align 4, !tbaa !5
  %583 = call i32 @__uint32_identity(i32 noundef %582)
  call void @store32(ptr noundef %581, i32 noundef %583)
  %584 = load i32, ptr %73, align 4, !tbaa !5
  %585 = add i32 %584, 1
  store i32 %585, ptr %73, align 4, !tbaa !5
  %586 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %76) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %75) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %74) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %77) #5
  %587 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %588 = load i32, ptr %73, align 4, !tbaa !5
  %589 = mul i32 %588, 4
  %590 = zext i32 %589 to i64
  %591 = getelementptr inbounds i8, ptr %587, i64 %590
  %592 = call i32 @load32(ptr noundef %591)
  %593 = call i32 @__uint32_identity(i32 noundef %592)
  store i32 %593, ptr %77, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %78) #5
  %594 = load i32, ptr %77, align 4, !tbaa !5
  store i32 %594, ptr %78, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %79) #5
  %595 = load i32, ptr %78, align 4, !tbaa !5
  %596 = load i32, ptr %73, align 4, !tbaa !5
  %597 = zext i32 %596 to i64
  %598 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %597
  %599 = load i32, ptr %598, align 4, !tbaa !5
  %600 = xor i32 %595, %599
  store i32 %600, ptr %79, align 4, !tbaa !5
  %601 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %602 = load i32, ptr %73, align 4, !tbaa !5
  %603 = mul i32 %602, 4
  %604 = zext i32 %603 to i64
  %605 = getelementptr inbounds i8, ptr %601, i64 %604
  %606 = load i32, ptr %79, align 4, !tbaa !5
  %607 = call i32 @__uint32_identity(i32 noundef %606)
  call void @store32(ptr noundef %605, i32 noundef %607)
  %608 = load i32, ptr %73, align 4, !tbaa !5
  %609 = add i32 %608, 1
  store i32 %609, ptr %73, align 4, !tbaa !5
  %610 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %79) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %78) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %77) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %80) #5
  %611 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %612 = load i32, ptr %73, align 4, !tbaa !5
  %613 = mul i32 %612, 4
  %614 = zext i32 %613 to i64
  %615 = getelementptr inbounds i8, ptr %611, i64 %614
  %616 = call i32 @load32(ptr noundef %615)
  %617 = call i32 @__uint32_identity(i32 noundef %616)
  store i32 %617, ptr %80, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %81) #5
  %618 = load i32, ptr %80, align 4, !tbaa !5
  store i32 %618, ptr %81, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %82) #5
  %619 = load i32, ptr %81, align 4, !tbaa !5
  %620 = load i32, ptr %73, align 4, !tbaa !5
  %621 = zext i32 %620 to i64
  %622 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %621
  %623 = load i32, ptr %622, align 4, !tbaa !5
  %624 = xor i32 %619, %623
  store i32 %624, ptr %82, align 4, !tbaa !5
  %625 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %626 = load i32, ptr %73, align 4, !tbaa !5
  %627 = mul i32 %626, 4
  %628 = zext i32 %627 to i64
  %629 = getelementptr inbounds i8, ptr %625, i64 %628
  %630 = load i32, ptr %82, align 4, !tbaa !5
  %631 = call i32 @__uint32_identity(i32 noundef %630)
  call void @store32(ptr noundef %629, i32 noundef %631)
  %632 = load i32, ptr %73, align 4, !tbaa !5
  %633 = add i32 %632, 1
  store i32 %633, ptr %73, align 4, !tbaa !5
  %634 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %82) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %81) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %80) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %83) #5
  %635 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %636 = load i32, ptr %73, align 4, !tbaa !5
  %637 = mul i32 %636, 4
  %638 = zext i32 %637 to i64
  %639 = getelementptr inbounds i8, ptr %635, i64 %638
  %640 = call i32 @load32(ptr noundef %639)
  %641 = call i32 @__uint32_identity(i32 noundef %640)
  store i32 %641, ptr %83, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %84) #5
  %642 = load i32, ptr %83, align 4, !tbaa !5
  store i32 %642, ptr %84, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %85) #5
  %643 = load i32, ptr %84, align 4, !tbaa !5
  %644 = load i32, ptr %73, align 4, !tbaa !5
  %645 = zext i32 %644 to i64
  %646 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %645
  %647 = load i32, ptr %646, align 4, !tbaa !5
  %648 = xor i32 %643, %647
  store i32 %648, ptr %85, align 4, !tbaa !5
  %649 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %650 = load i32, ptr %73, align 4, !tbaa !5
  %651 = mul i32 %650, 4
  %652 = zext i32 %651 to i64
  %653 = getelementptr inbounds i8, ptr %649, i64 %652
  %654 = load i32, ptr %85, align 4, !tbaa !5
  %655 = call i32 @__uint32_identity(i32 noundef %654)
  call void @store32(ptr noundef %653, i32 noundef %655)
  %656 = load i32, ptr %73, align 4, !tbaa !5
  %657 = add i32 %656, 1
  store i32 %657, ptr %73, align 4, !tbaa !5
  %658 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %85) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %84) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %83) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %86) #5
  %659 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %660 = load i32, ptr %73, align 4, !tbaa !5
  %661 = mul i32 %660, 4
  %662 = zext i32 %661 to i64
  %663 = getelementptr inbounds i8, ptr %659, i64 %662
  %664 = call i32 @load32(ptr noundef %663)
  %665 = call i32 @__uint32_identity(i32 noundef %664)
  store i32 %665, ptr %86, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %87) #5
  %666 = load i32, ptr %86, align 4, !tbaa !5
  store i32 %666, ptr %87, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %88) #5
  %667 = load i32, ptr %87, align 4, !tbaa !5
  %668 = load i32, ptr %73, align 4, !tbaa !5
  %669 = zext i32 %668 to i64
  %670 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %669
  %671 = load i32, ptr %670, align 4, !tbaa !5
  %672 = xor i32 %667, %671
  store i32 %672, ptr %88, align 4, !tbaa !5
  %673 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %674 = load i32, ptr %73, align 4, !tbaa !5
  %675 = mul i32 %674, 4
  %676 = zext i32 %675 to i64
  %677 = getelementptr inbounds i8, ptr %673, i64 %676
  %678 = load i32, ptr %88, align 4, !tbaa !5
  %679 = call i32 @__uint32_identity(i32 noundef %678)
  call void @store32(ptr noundef %677, i32 noundef %679)
  %680 = load i32, ptr %73, align 4, !tbaa !5
  %681 = add i32 %680, 1
  store i32 %681, ptr %73, align 4, !tbaa !5
  %682 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %88) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %87) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %86) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %89) #5
  %683 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %684 = load i32, ptr %73, align 4, !tbaa !5
  %685 = mul i32 %684, 4
  %686 = zext i32 %685 to i64
  %687 = getelementptr inbounds i8, ptr %683, i64 %686
  %688 = call i32 @load32(ptr noundef %687)
  %689 = call i32 @__uint32_identity(i32 noundef %688)
  store i32 %689, ptr %89, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %90) #5
  %690 = load i32, ptr %89, align 4, !tbaa !5
  store i32 %690, ptr %90, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %91) #5
  %691 = load i32, ptr %90, align 4, !tbaa !5
  %692 = load i32, ptr %73, align 4, !tbaa !5
  %693 = zext i32 %692 to i64
  %694 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %693
  %695 = load i32, ptr %694, align 4, !tbaa !5
  %696 = xor i32 %691, %695
  store i32 %696, ptr %91, align 4, !tbaa !5
  %697 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %698 = load i32, ptr %73, align 4, !tbaa !5
  %699 = mul i32 %698, 4
  %700 = zext i32 %699 to i64
  %701 = getelementptr inbounds i8, ptr %697, i64 %700
  %702 = load i32, ptr %91, align 4, !tbaa !5
  %703 = call i32 @__uint32_identity(i32 noundef %702)
  call void @store32(ptr noundef %701, i32 noundef %703)
  %704 = load i32, ptr %73, align 4, !tbaa !5
  %705 = add i32 %704, 1
  store i32 %705, ptr %73, align 4, !tbaa !5
  %706 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %91) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %90) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %89) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %92) #5
  %707 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %708 = load i32, ptr %73, align 4, !tbaa !5
  %709 = mul i32 %708, 4
  %710 = zext i32 %709 to i64
  %711 = getelementptr inbounds i8, ptr %707, i64 %710
  %712 = call i32 @load32(ptr noundef %711)
  %713 = call i32 @__uint32_identity(i32 noundef %712)
  store i32 %713, ptr %92, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %93) #5
  %714 = load i32, ptr %92, align 4, !tbaa !5
  store i32 %714, ptr %93, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %94) #5
  %715 = load i32, ptr %93, align 4, !tbaa !5
  %716 = load i32, ptr %73, align 4, !tbaa !5
  %717 = zext i32 %716 to i64
  %718 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %717
  %719 = load i32, ptr %718, align 4, !tbaa !5
  %720 = xor i32 %715, %719
  store i32 %720, ptr %94, align 4, !tbaa !5
  %721 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %722 = load i32, ptr %73, align 4, !tbaa !5
  %723 = mul i32 %722, 4
  %724 = zext i32 %723 to i64
  %725 = getelementptr inbounds i8, ptr %721, i64 %724
  %726 = load i32, ptr %94, align 4, !tbaa !5
  %727 = call i32 @__uint32_identity(i32 noundef %726)
  call void @store32(ptr noundef %725, i32 noundef %727)
  %728 = load i32, ptr %73, align 4, !tbaa !5
  %729 = add i32 %728, 1
  store i32 %729, ptr %73, align 4, !tbaa !5
  %730 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %94) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %93) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %92) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %95) #5
  %731 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %732 = load i32, ptr %73, align 4, !tbaa !5
  %733 = mul i32 %732, 4
  %734 = zext i32 %733 to i64
  %735 = getelementptr inbounds i8, ptr %731, i64 %734
  %736 = call i32 @load32(ptr noundef %735)
  %737 = call i32 @__uint32_identity(i32 noundef %736)
  store i32 %737, ptr %95, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %96) #5
  %738 = load i32, ptr %95, align 4, !tbaa !5
  store i32 %738, ptr %96, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %97) #5
  %739 = load i32, ptr %96, align 4, !tbaa !5
  %740 = load i32, ptr %73, align 4, !tbaa !5
  %741 = zext i32 %740 to i64
  %742 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %741
  %743 = load i32, ptr %742, align 4, !tbaa !5
  %744 = xor i32 %739, %743
  store i32 %744, ptr %97, align 4, !tbaa !5
  %745 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %746 = load i32, ptr %73, align 4, !tbaa !5
  %747 = mul i32 %746, 4
  %748 = zext i32 %747 to i64
  %749 = getelementptr inbounds i8, ptr %745, i64 %748
  %750 = load i32, ptr %97, align 4, !tbaa !5
  %751 = call i32 @__uint32_identity(i32 noundef %750)
  call void @store32(ptr noundef %749, i32 noundef %751)
  %752 = load i32, ptr %73, align 4, !tbaa !5
  %753 = add i32 %752, 1
  store i32 %753, ptr %73, align 4, !tbaa !5
  %754 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %97) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %96) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %95) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %98) #5
  %755 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %756 = load i32, ptr %73, align 4, !tbaa !5
  %757 = mul i32 %756, 4
  %758 = zext i32 %757 to i64
  %759 = getelementptr inbounds i8, ptr %755, i64 %758
  %760 = call i32 @load32(ptr noundef %759)
  %761 = call i32 @__uint32_identity(i32 noundef %760)
  store i32 %761, ptr %98, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %99) #5
  %762 = load i32, ptr %98, align 4, !tbaa !5
  store i32 %762, ptr %99, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %100) #5
  %763 = load i32, ptr %99, align 4, !tbaa !5
  %764 = load i32, ptr %73, align 4, !tbaa !5
  %765 = zext i32 %764 to i64
  %766 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %765
  %767 = load i32, ptr %766, align 4, !tbaa !5
  %768 = xor i32 %763, %767
  store i32 %768, ptr %100, align 4, !tbaa !5
  %769 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %770 = load i32, ptr %73, align 4, !tbaa !5
  %771 = mul i32 %770, 4
  %772 = zext i32 %771 to i64
  %773 = getelementptr inbounds i8, ptr %769, i64 %772
  %774 = load i32, ptr %100, align 4, !tbaa !5
  %775 = call i32 @__uint32_identity(i32 noundef %774)
  call void @store32(ptr noundef %773, i32 noundef %775)
  %776 = load i32, ptr %73, align 4, !tbaa !5
  %777 = add i32 %776, 1
  store i32 %777, ptr %73, align 4, !tbaa !5
  %778 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %100) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %99) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %98) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %101) #5
  %779 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %780 = load i32, ptr %73, align 4, !tbaa !5
  %781 = mul i32 %780, 4
  %782 = zext i32 %781 to i64
  %783 = getelementptr inbounds i8, ptr %779, i64 %782
  %784 = call i32 @load32(ptr noundef %783)
  %785 = call i32 @__uint32_identity(i32 noundef %784)
  store i32 %785, ptr %101, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %102) #5
  %786 = load i32, ptr %101, align 4, !tbaa !5
  store i32 %786, ptr %102, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %103) #5
  %787 = load i32, ptr %102, align 4, !tbaa !5
  %788 = load i32, ptr %73, align 4, !tbaa !5
  %789 = zext i32 %788 to i64
  %790 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %789
  %791 = load i32, ptr %790, align 4, !tbaa !5
  %792 = xor i32 %787, %791
  store i32 %792, ptr %103, align 4, !tbaa !5
  %793 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %794 = load i32, ptr %73, align 4, !tbaa !5
  %795 = mul i32 %794, 4
  %796 = zext i32 %795 to i64
  %797 = getelementptr inbounds i8, ptr %793, i64 %796
  %798 = load i32, ptr %103, align 4, !tbaa !5
  %799 = call i32 @__uint32_identity(i32 noundef %798)
  call void @store32(ptr noundef %797, i32 noundef %799)
  %800 = load i32, ptr %73, align 4, !tbaa !5
  %801 = add i32 %800, 1
  store i32 %801, ptr %73, align 4, !tbaa !5
  %802 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %103) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %102) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %101) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %104) #5
  %803 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %804 = load i32, ptr %73, align 4, !tbaa !5
  %805 = mul i32 %804, 4
  %806 = zext i32 %805 to i64
  %807 = getelementptr inbounds i8, ptr %803, i64 %806
  %808 = call i32 @load32(ptr noundef %807)
  %809 = call i32 @__uint32_identity(i32 noundef %808)
  store i32 %809, ptr %104, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %105) #5
  %810 = load i32, ptr %104, align 4, !tbaa !5
  store i32 %810, ptr %105, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %106) #5
  %811 = load i32, ptr %105, align 4, !tbaa !5
  %812 = load i32, ptr %73, align 4, !tbaa !5
  %813 = zext i32 %812 to i64
  %814 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %813
  %815 = load i32, ptr %814, align 4, !tbaa !5
  %816 = xor i32 %811, %815
  store i32 %816, ptr %106, align 4, !tbaa !5
  %817 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %818 = load i32, ptr %73, align 4, !tbaa !5
  %819 = mul i32 %818, 4
  %820 = zext i32 %819 to i64
  %821 = getelementptr inbounds i8, ptr %817, i64 %820
  %822 = load i32, ptr %106, align 4, !tbaa !5
  %823 = call i32 @__uint32_identity(i32 noundef %822)
  call void @store32(ptr noundef %821, i32 noundef %823)
  %824 = load i32, ptr %73, align 4, !tbaa !5
  %825 = add i32 %824, 1
  store i32 %825, ptr %73, align 4, !tbaa !5
  %826 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %106) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %105) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %104) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %107) #5
  %827 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %828 = load i32, ptr %73, align 4, !tbaa !5
  %829 = mul i32 %828, 4
  %830 = zext i32 %829 to i64
  %831 = getelementptr inbounds i8, ptr %827, i64 %830
  %832 = call i32 @load32(ptr noundef %831)
  %833 = call i32 @__uint32_identity(i32 noundef %832)
  store i32 %833, ptr %107, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %108) #5
  %834 = load i32, ptr %107, align 4, !tbaa !5
  store i32 %834, ptr %108, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %109) #5
  %835 = load i32, ptr %108, align 4, !tbaa !5
  %836 = load i32, ptr %73, align 4, !tbaa !5
  %837 = zext i32 %836 to i64
  %838 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %837
  %839 = load i32, ptr %838, align 4, !tbaa !5
  %840 = xor i32 %835, %839
  store i32 %840, ptr %109, align 4, !tbaa !5
  %841 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %842 = load i32, ptr %73, align 4, !tbaa !5
  %843 = mul i32 %842, 4
  %844 = zext i32 %843 to i64
  %845 = getelementptr inbounds i8, ptr %841, i64 %844
  %846 = load i32, ptr %109, align 4, !tbaa !5
  %847 = call i32 @__uint32_identity(i32 noundef %846)
  call void @store32(ptr noundef %845, i32 noundef %847)
  %848 = load i32, ptr %73, align 4, !tbaa !5
  %849 = add i32 %848, 1
  store i32 %849, ptr %73, align 4, !tbaa !5
  %850 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %109) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %108) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %107) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %110) #5
  %851 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %852 = load i32, ptr %73, align 4, !tbaa !5
  %853 = mul i32 %852, 4
  %854 = zext i32 %853 to i64
  %855 = getelementptr inbounds i8, ptr %851, i64 %854
  %856 = call i32 @load32(ptr noundef %855)
  %857 = call i32 @__uint32_identity(i32 noundef %856)
  store i32 %857, ptr %110, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %111) #5
  %858 = load i32, ptr %110, align 4, !tbaa !5
  store i32 %858, ptr %111, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %112) #5
  %859 = load i32, ptr %111, align 4, !tbaa !5
  %860 = load i32, ptr %73, align 4, !tbaa !5
  %861 = zext i32 %860 to i64
  %862 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %861
  %863 = load i32, ptr %862, align 4, !tbaa !5
  %864 = xor i32 %859, %863
  store i32 %864, ptr %112, align 4, !tbaa !5
  %865 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %866 = load i32, ptr %73, align 4, !tbaa !5
  %867 = mul i32 %866, 4
  %868 = zext i32 %867 to i64
  %869 = getelementptr inbounds i8, ptr %865, i64 %868
  %870 = load i32, ptr %112, align 4, !tbaa !5
  %871 = call i32 @__uint32_identity(i32 noundef %870)
  call void @store32(ptr noundef %869, i32 noundef %871)
  %872 = load i32, ptr %73, align 4, !tbaa !5
  %873 = add i32 %872, 1
  store i32 %873, ptr %73, align 4, !tbaa !5
  %874 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %112) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %111) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %110) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %113) #5
  %875 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %876 = load i32, ptr %73, align 4, !tbaa !5
  %877 = mul i32 %876, 4
  %878 = zext i32 %877 to i64
  %879 = getelementptr inbounds i8, ptr %875, i64 %878
  %880 = call i32 @load32(ptr noundef %879)
  %881 = call i32 @__uint32_identity(i32 noundef %880)
  store i32 %881, ptr %113, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %114) #5
  %882 = load i32, ptr %113, align 4, !tbaa !5
  store i32 %882, ptr %114, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %115) #5
  %883 = load i32, ptr %114, align 4, !tbaa !5
  %884 = load i32, ptr %73, align 4, !tbaa !5
  %885 = zext i32 %884 to i64
  %886 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %885
  %887 = load i32, ptr %886, align 4, !tbaa !5
  %888 = xor i32 %883, %887
  store i32 %888, ptr %115, align 4, !tbaa !5
  %889 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %890 = load i32, ptr %73, align 4, !tbaa !5
  %891 = mul i32 %890, 4
  %892 = zext i32 %891 to i64
  %893 = getelementptr inbounds i8, ptr %889, i64 %892
  %894 = load i32, ptr %115, align 4, !tbaa !5
  %895 = call i32 @__uint32_identity(i32 noundef %894)
  call void @store32(ptr noundef %893, i32 noundef %895)
  %896 = load i32, ptr %73, align 4, !tbaa !5
  %897 = add i32 %896, 1
  store i32 %897, ptr %73, align 4, !tbaa !5
  %898 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %115) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %114) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %113) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %116) #5
  %899 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %900 = load i32, ptr %73, align 4, !tbaa !5
  %901 = mul i32 %900, 4
  %902 = zext i32 %901 to i64
  %903 = getelementptr inbounds i8, ptr %899, i64 %902
  %904 = call i32 @load32(ptr noundef %903)
  %905 = call i32 @__uint32_identity(i32 noundef %904)
  store i32 %905, ptr %116, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %117) #5
  %906 = load i32, ptr %116, align 4, !tbaa !5
  store i32 %906, ptr %117, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %118) #5
  %907 = load i32, ptr %117, align 4, !tbaa !5
  %908 = load i32, ptr %73, align 4, !tbaa !5
  %909 = zext i32 %908 to i64
  %910 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %909
  %911 = load i32, ptr %910, align 4, !tbaa !5
  %912 = xor i32 %907, %911
  store i32 %912, ptr %118, align 4, !tbaa !5
  %913 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %914 = load i32, ptr %73, align 4, !tbaa !5
  %915 = mul i32 %914, 4
  %916 = zext i32 %915 to i64
  %917 = getelementptr inbounds i8, ptr %913, i64 %916
  %918 = load i32, ptr %118, align 4, !tbaa !5
  %919 = call i32 @__uint32_identity(i32 noundef %918)
  call void @store32(ptr noundef %917, i32 noundef %919)
  %920 = load i32, ptr %73, align 4, !tbaa !5
  %921 = add i32 %920, 1
  store i32 %921, ptr %73, align 4, !tbaa !5
  %922 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %118) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %117) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %116) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %119) #5
  %923 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %924 = load i32, ptr %73, align 4, !tbaa !5
  %925 = mul i32 %924, 4
  %926 = zext i32 %925 to i64
  %927 = getelementptr inbounds i8, ptr %923, i64 %926
  %928 = call i32 @load32(ptr noundef %927)
  %929 = call i32 @__uint32_identity(i32 noundef %928)
  store i32 %929, ptr %119, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %120) #5
  %930 = load i32, ptr %119, align 4, !tbaa !5
  store i32 %930, ptr %120, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %121) #5
  %931 = load i32, ptr %120, align 4, !tbaa !5
  %932 = load i32, ptr %73, align 4, !tbaa !5
  %933 = zext i32 %932 to i64
  %934 = getelementptr inbounds [16 x i32], ptr %72, i64 0, i64 %933
  %935 = load i32, ptr %934, align 4, !tbaa !5
  %936 = xor i32 %931, %935
  store i32 %936, ptr %121, align 4, !tbaa !5
  %937 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %938 = load i32, ptr %73, align 4, !tbaa !5
  %939 = mul i32 %938, 4
  %940 = zext i32 %939 to i64
  %941 = getelementptr inbounds i8, ptr %937, i64 %940
  %942 = load i32, ptr %121, align 4, !tbaa !5
  %943 = call i32 @__uint32_identity(i32 noundef %942)
  call void @store32(ptr noundef %941, i32 noundef %943)
  %944 = load i32, ptr %73, align 4, !tbaa !5
  %945 = add i32 %944, 1
  store i32 %945, ptr %73, align 4, !tbaa !5
  %946 = load i32, ptr %73, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %121) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %120) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %119) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %73) #5
  br label %947

947:                                              ; preds = %562
  br label %948

948:                                              ; preds = %947
  %949 = load ptr, ptr %70, align 8, !tbaa !9
  %950 = getelementptr inbounds [64 x i8], ptr %71, i64 0, i64 0
  %951 = load i32, ptr %14, align 4, !tbaa !5
  %952 = zext i32 %951 to i64
  %953 = mul i64 %952, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %949, ptr align 16 %950, i64 %953, i1 false)
  call void @llvm.lifetime.end.p0(i64 64, ptr %72) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %71) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %70) #5
  br label %954

954:                                              ; preds = %948, %541
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %13) #5
  ret void
}

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


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

; 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: inlinehint nounwind uwtable
declare hidden void @chacha20_init_32(ptr noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @chacha20_core_32(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @__uint32_identity(i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @load32(ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @store32(ptr noundef, i32 noundef) local_unnamed_addr #2

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

; 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) #3

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_Chacha20_Vec32_chacha20_decrypt_32(i32 noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, i32 noundef %5) local_unnamed_addr #4 {
  %7 = alloca [16 x i32], align 16
  %8 = alloca [16 x i32], align 16
  %9 = alloca [64 x i8], align 16
  %10 = alloca [16 x i32], align 16
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %7) #5
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(64) %7, i8 0, i64 64, i1 false)
  call void @chacha20_init_32(ptr noundef nonnull %7, ptr noundef %3, ptr noundef %4, i32 noundef %5)
  %11 = and i32 %0, 63
  %12 = lshr i32 %0, 6
  %.not313 = icmp ult i32 %0, 64
  br i1 %.not313, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %6
  %13 = getelementptr inbounds i8, ptr %8, i64 4
  %14 = getelementptr inbounds i8, ptr %8, i64 8
  %15 = getelementptr inbounds i8, ptr %8, i64 12
  %16 = getelementptr inbounds i8, ptr %8, i64 16
  %17 = getelementptr inbounds i8, ptr %8, i64 20
  %18 = getelementptr inbounds i8, ptr %8, i64 24
  %19 = getelementptr inbounds i8, ptr %8, i64 28
  %20 = getelementptr inbounds i8, ptr %8, i64 32
  %21 = getelementptr inbounds i8, ptr %8, i64 36
  %22 = getelementptr inbounds i8, ptr %8, i64 40
  %23 = getelementptr inbounds i8, ptr %8, i64 44
  %24 = getelementptr inbounds i8, ptr %8, i64 48
  %25 = getelementptr inbounds i8, ptr %8, i64 52
  %26 = getelementptr inbounds i8, ptr %8, i64 56
  %27 = getelementptr inbounds i8, ptr %8, i64 60
  %wide.trip.count = zext nneg i32 %12 to i64
  br label %28

._crit_edge:                                      ; preds = %28, %6
  %.not = icmp eq i32 %11, 0
  br i1 %.not, label %261, label %143

28:                                               ; preds = %.lr.ph, %28
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %28 ]
  %29 = shl nuw i64 %indvars.iv, 6
  %30 = getelementptr inbounds i8, ptr %1, i64 %29
  %31 = getelementptr inbounds i8, ptr %2, i64 %29
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %8) #5
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(64) %8, i8 0, i64 64, i1 false)
  %32 = trunc nuw nsw i64 %indvars.iv to i32
  call void @chacha20_core_32(ptr noundef nonnull %8, ptr noundef nonnull %7, i32 noundef %32)
  %33 = call i32 @load32(ptr noundef %31)
  %34 = call i32 @__uint32_identity(i32 noundef %33)
  %35 = load i32, ptr %8, align 16, !tbaa !5
  %36 = xor i32 %35, %34
  %37 = call i32 @__uint32_identity(i32 noundef %36)
  call void @store32(ptr noundef %30, i32 noundef %37)
  %38 = getelementptr inbounds i8, ptr %31, i64 4
  %39 = call i32 @load32(ptr noundef nonnull %38)
  %40 = call i32 @__uint32_identity(i32 noundef %39)
  %41 = load i32, ptr %13, align 4, !tbaa !5
  %42 = xor i32 %41, %40
  %43 = getelementptr inbounds i8, ptr %30, i64 4
  %44 = call i32 @__uint32_identity(i32 noundef %42)
  call void @store32(ptr noundef nonnull %43, i32 noundef %44)
  %45 = getelementptr inbounds i8, ptr %31, i64 8
  %46 = call i32 @load32(ptr noundef nonnull %45)
  %47 = call i32 @__uint32_identity(i32 noundef %46)
  %48 = load i32, ptr %14, align 8, !tbaa !5
  %49 = xor i32 %48, %47
  %50 = getelementptr inbounds i8, ptr %30, i64 8
  %51 = call i32 @__uint32_identity(i32 noundef %49)
  call void @store32(ptr noundef nonnull %50, i32 noundef %51)
  %52 = getelementptr inbounds i8, ptr %31, i64 12
  %53 = call i32 @load32(ptr noundef nonnull %52)
  %54 = call i32 @__uint32_identity(i32 noundef %53)
  %55 = load i32, ptr %15, align 4, !tbaa !5
  %56 = xor i32 %55, %54
  %57 = getelementptr inbounds i8, ptr %30, i64 12
  %58 = call i32 @__uint32_identity(i32 noundef %56)
  call void @store32(ptr noundef nonnull %57, i32 noundef %58)
  %59 = getelementptr inbounds i8, ptr %31, i64 16
  %60 = call i32 @load32(ptr noundef nonnull %59)
  %61 = call i32 @__uint32_identity(i32 noundef %60)
  %62 = load i32, ptr %16, align 16, !tbaa !5
  %63 = xor i32 %62, %61
  %64 = getelementptr inbounds i8, ptr %30, i64 16
  %65 = call i32 @__uint32_identity(i32 noundef %63)
  call void @store32(ptr noundef nonnull %64, i32 noundef %65)
  %66 = getelementptr inbounds i8, ptr %31, i64 20
  %67 = call i32 @load32(ptr noundef nonnull %66)
  %68 = call i32 @__uint32_identity(i32 noundef %67)
  %69 = load i32, ptr %17, align 4, !tbaa !5
  %70 = xor i32 %69, %68
  %71 = getelementptr inbounds i8, ptr %30, i64 20
  %72 = call i32 @__uint32_identity(i32 noundef %70)
  call void @store32(ptr noundef nonnull %71, i32 noundef %72)
  %73 = getelementptr inbounds i8, ptr %31, i64 24
  %74 = call i32 @load32(ptr noundef nonnull %73)
  %75 = call i32 @__uint32_identity(i32 noundef %74)
  %76 = load i32, ptr %18, align 8, !tbaa !5
  %77 = xor i32 %76, %75
  %78 = getelementptr inbounds i8, ptr %30, i64 24
  %79 = call i32 @__uint32_identity(i32 noundef %77)
  call void @store32(ptr noundef nonnull %78, i32 noundef %79)
  %80 = getelementptr inbounds i8, ptr %31, i64 28
  %81 = call i32 @load32(ptr noundef nonnull %80)
  %82 = call i32 @__uint32_identity(i32 noundef %81)
  %83 = load i32, ptr %19, align 4, !tbaa !5
  %84 = xor i32 %83, %82
  %85 = getelementptr inbounds i8, ptr %30, i64 28
  %86 = call i32 @__uint32_identity(i32 noundef %84)
  call void @store32(ptr noundef nonnull %85, i32 noundef %86)
  %87 = getelementptr inbounds i8, ptr %31, i64 32
  %88 = call i32 @load32(ptr noundef nonnull %87)
  %89 = call i32 @__uint32_identity(i32 noundef %88)
  %90 = load i32, ptr %20, align 16, !tbaa !5
  %91 = xor i32 %90, %89
  %92 = getelementptr inbounds i8, ptr %30, i64 32
  %93 = call i32 @__uint32_identity(i32 noundef %91)
  call void @store32(ptr noundef nonnull %92, i32 noundef %93)
  %94 = getelementptr inbounds i8, ptr %31, i64 36
  %95 = call i32 @load32(ptr noundef nonnull %94)
  %96 = call i32 @__uint32_identity(i32 noundef %95)
  %97 = load i32, ptr %21, align 4, !tbaa !5
  %98 = xor i32 %97, %96
  %99 = getelementptr inbounds i8, ptr %30, i64 36
  %100 = call i32 @__uint32_identity(i32 noundef %98)
  call void @store32(ptr noundef nonnull %99, i32 noundef %100)
  %101 = getelementptr inbounds i8, ptr %31, i64 40
  %102 = call i32 @load32(ptr noundef nonnull %101)
  %103 = call i32 @__uint32_identity(i32 noundef %102)
  %104 = load i32, ptr %22, align 8, !tbaa !5
  %105 = xor i32 %104, %103
  %106 = getelementptr inbounds i8, ptr %30, i64 40
  %107 = call i32 @__uint32_identity(i32 noundef %105)
  call void @store32(ptr noundef nonnull %106, i32 noundef %107)
  %108 = getelementptr inbounds i8, ptr %31, i64 44
  %109 = call i32 @load32(ptr noundef nonnull %108)
  %110 = call i32 @__uint32_identity(i32 noundef %109)
  %111 = load i32, ptr %23, align 4, !tbaa !5
  %112 = xor i32 %111, %110
  %113 = getelementptr inbounds i8, ptr %30, i64 44
  %114 = call i32 @__uint32_identity(i32 noundef %112)
  call void @store32(ptr noundef nonnull %113, i32 noundef %114)
  %115 = getelementptr inbounds i8, ptr %31, i64 48
  %116 = call i32 @load32(ptr noundef nonnull %115)
  %117 = call i32 @__uint32_identity(i32 noundef %116)
  %118 = load i32, ptr %24, align 16, !tbaa !5
  %119 = xor i32 %118, %117
  %120 = getelementptr inbounds i8, ptr %30, i64 48
  %121 = call i32 @__uint32_identity(i32 noundef %119)
  call void @store32(ptr noundef nonnull %120, i32 noundef %121)
  %122 = getelementptr inbounds i8, ptr %31, i64 52
  %123 = call i32 @load32(ptr noundef nonnull %122)
  %124 = call i32 @__uint32_identity(i32 noundef %123)
  %125 = load i32, ptr %25, align 4, !tbaa !5
  %126 = xor i32 %125, %124
  %127 = getelementptr inbounds i8, ptr %30, i64 52
  %128 = call i32 @__uint32_identity(i32 noundef %126)
  call void @store32(ptr noundef nonnull %127, i32 noundef %128)
  %129 = getelementptr inbounds i8, ptr %31, i64 56
  %130 = call i32 @load32(ptr noundef nonnull %129)
  %131 = call i32 @__uint32_identity(i32 noundef %130)
  %132 = load i32, ptr %26, align 8, !tbaa !5
  %133 = xor i32 %132, %131
  %134 = getelementptr inbounds i8, ptr %30, i64 56
  %135 = call i32 @__uint32_identity(i32 noundef %133)
  call void @store32(ptr noundef nonnull %134, i32 noundef %135)
  %136 = getelementptr inbounds i8, ptr %31, i64 60
  %137 = call i32 @load32(ptr noundef nonnull %136)
  %138 = call i32 @__uint32_identity(i32 noundef %137)
  %139 = load i32, ptr %27, align 4, !tbaa !5
  %140 = xor i32 %139, %138
  %141 = getelementptr inbounds i8, ptr %30, i64 60
  %142 = call i32 @__uint32_identity(i32 noundef %140)
  call void @store32(ptr noundef nonnull %141, i32 noundef %142)
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %8) #5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %28, !llvm.loop !9

143:                                              ; preds = %._crit_edge
  %144 = and i32 %0, -64
  %145 = zext i32 %144 to i64
  %146 = getelementptr inbounds i8, ptr %1, i64 %145
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %9) #5
  %147 = getelementptr inbounds i8, ptr %2, i64 %145
  %148 = zext nneg i32 %11 to i64
  %149 = sub nuw nsw i64 64, %148
  %150 = getelementptr i8, ptr %9, i64 %148
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(1) %150, i8 0, i64 %149, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %9, ptr align 1 %147, i64 %148, i1 false)
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %10) #5
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(64) %10, i8 0, i64 64, i1 false)
  call void @chacha20_core_32(ptr noundef nonnull %10, ptr noundef nonnull %7, i32 noundef %12)
  %151 = call i32 @load32(ptr noundef nonnull %9)
  %152 = call i32 @__uint32_identity(i32 noundef %151)
  %153 = load i32, ptr %10, align 16, !tbaa !5
  %154 = xor i32 %153, %152
  %155 = call i32 @__uint32_identity(i32 noundef %154)
  call void @store32(ptr noundef nonnull %9, i32 noundef %155)
  %156 = getelementptr inbounds i8, ptr %9, i64 4
  %157 = call i32 @load32(ptr noundef nonnull %156)
  %158 = call i32 @__uint32_identity(i32 noundef %157)
  %159 = getelementptr inbounds i8, ptr %10, i64 4
  %160 = load i32, ptr %159, align 4, !tbaa !5
  %161 = xor i32 %160, %158
  %162 = call i32 @__uint32_identity(i32 noundef %161)
  call void @store32(ptr noundef nonnull %156, i32 noundef %162)
  %163 = getelementptr inbounds i8, ptr %9, i64 8
  %164 = call i32 @load32(ptr noundef nonnull %163)
  %165 = call i32 @__uint32_identity(i32 noundef %164)
  %166 = getelementptr inbounds i8, ptr %10, i64 8
  %167 = load i32, ptr %166, align 8, !tbaa !5
  %168 = xor i32 %167, %165
  %169 = call i32 @__uint32_identity(i32 noundef %168)
  call void @store32(ptr noundef nonnull %163, i32 noundef %169)
  %170 = getelementptr inbounds i8, ptr %9, i64 12
  %171 = call i32 @load32(ptr noundef nonnull %170)
  %172 = call i32 @__uint32_identity(i32 noundef %171)
  %173 = getelementptr inbounds i8, ptr %10, i64 12
  %174 = load i32, ptr %173, align 4, !tbaa !5
  %175 = xor i32 %174, %172
  %176 = call i32 @__uint32_identity(i32 noundef %175)
  call void @store32(ptr noundef nonnull %170, i32 noundef %176)
  %177 = getelementptr inbounds i8, ptr %9, i64 16
  %178 = call i32 @load32(ptr noundef nonnull %177)
  %179 = call i32 @__uint32_identity(i32 noundef %178)
  %180 = getelementptr inbounds i8, ptr %10, i64 16
  %181 = load i32, ptr %180, align 16, !tbaa !5
  %182 = xor i32 %181, %179
  %183 = call i32 @__uint32_identity(i32 noundef %182)
  call void @store32(ptr noundef nonnull %177, i32 noundef %183)
  %184 = getelementptr inbounds i8, ptr %9, i64 20
  %185 = call i32 @load32(ptr noundef nonnull %184)
  %186 = call i32 @__uint32_identity(i32 noundef %185)
  %187 = getelementptr inbounds i8, ptr %10, i64 20
  %188 = load i32, ptr %187, align 4, !tbaa !5
  %189 = xor i32 %188, %186
  %190 = call i32 @__uint32_identity(i32 noundef %189)
  call void @store32(ptr noundef nonnull %184, i32 noundef %190)
  %191 = getelementptr inbounds i8, ptr %9, i64 24
  %192 = call i32 @load32(ptr noundef nonnull %191)
  %193 = call i32 @__uint32_identity(i32 noundef %192)
  %194 = getelementptr inbounds i8, ptr %10, i64 24
  %195 = load i32, ptr %194, align 8, !tbaa !5
  %196 = xor i32 %195, %193
  %197 = call i32 @__uint32_identity(i32 noundef %196)
  call void @store32(ptr noundef nonnull %191, i32 noundef %197)
  %198 = getelementptr inbounds i8, ptr %9, i64 28
  %199 = call i32 @load32(ptr noundef nonnull %198)
  %200 = call i32 @__uint32_identity(i32 noundef %199)
  %201 = getelementptr inbounds i8, ptr %10, i64 28
  %202 = load i32, ptr %201, align 4, !tbaa !5
  %203 = xor i32 %202, %200
  %204 = call i32 @__uint32_identity(i32 noundef %203)
  call void @store32(ptr noundef nonnull %198, i32 noundef %204)
  %205 = getelementptr inbounds i8, ptr %9, i64 32
  %206 = call i32 @load32(ptr noundef nonnull %205)
  %207 = call i32 @__uint32_identity(i32 noundef %206)
  %208 = getelementptr inbounds i8, ptr %10, i64 32
  %209 = load i32, ptr %208, align 16, !tbaa !5
  %210 = xor i32 %209, %207
  %211 = call i32 @__uint32_identity(i32 noundef %210)
  call void @store32(ptr noundef nonnull %205, i32 noundef %211)
  %212 = getelementptr inbounds i8, ptr %9, i64 36
  %213 = call i32 @load32(ptr noundef nonnull %212)
  %214 = call i32 @__uint32_identity(i32 noundef %213)
  %215 = getelementptr inbounds i8, ptr %10, i64 36
  %216 = load i32, ptr %215, align 4, !tbaa !5
  %217 = xor i32 %216, %214
  %218 = call i32 @__uint32_identity(i32 noundef %217)
  call void @store32(ptr noundef nonnull %212, i32 noundef %218)
  %219 = getelementptr inbounds i8, ptr %9, i64 40
  %220 = call i32 @load32(ptr noundef nonnull %219)
  %221 = call i32 @__uint32_identity(i32 noundef %220)
  %222 = getelementptr inbounds i8, ptr %10, i64 40
  %223 = load i32, ptr %222, align 8, !tbaa !5
  %224 = xor i32 %223, %221
  %225 = call i32 @__uint32_identity(i32 noundef %224)
  call void @store32(ptr noundef nonnull %219, i32 noundef %225)
  %226 = getelementptr inbounds i8, ptr %9, i64 44
  %227 = call i32 @load32(ptr noundef nonnull %226)
  %228 = call i32 @__uint32_identity(i32 noundef %227)
  %229 = getelementptr inbounds i8, ptr %10, i64 44
  %230 = load i32, ptr %229, align 4, !tbaa !5
  %231 = xor i32 %230, %228
  %232 = call i32 @__uint32_identity(i32 noundef %231)
  call void @store32(ptr noundef nonnull %226, i32 noundef %232)
  %233 = getelementptr inbounds i8, ptr %9, i64 48
  %234 = call i32 @load32(ptr noundef nonnull %233)
  %235 = call i32 @__uint32_identity(i32 noundef %234)
  %236 = getelementptr inbounds i8, ptr %10, i64 48
  %237 = load i32, ptr %236, align 16, !tbaa !5
  %238 = xor i32 %237, %235
  %239 = call i32 @__uint32_identity(i32 noundef %238)
  call void @store32(ptr noundef nonnull %233, i32 noundef %239)
  %240 = getelementptr inbounds i8, ptr %9, i64 52
  %241 = call i32 @load32(ptr noundef nonnull %240)
  %242 = call i32 @__uint32_identity(i32 noundef %241)
  %243 = getelementptr inbounds i8, ptr %10, i64 52
  %244 = load i32, ptr %243, align 4, !tbaa !5
  %245 = xor i32 %244, %242
  %246 = call i32 @__uint32_identity(i32 noundef %245)
  call void @store32(ptr noundef nonnull %240, i32 noundef %246)
  %247 = getelementptr inbounds i8, ptr %9, i64 56
  %248 = call i32 @load32(ptr noundef nonnull %247)
  %249 = call i32 @__uint32_identity(i32 noundef %248)
  %250 = getelementptr inbounds i8, ptr %10, i64 56
  %251 = load i32, ptr %250, align 8, !tbaa !5
  %252 = xor i32 %251, %249
  %253 = call i32 @__uint32_identity(i32 noundef %252)
  call void @store32(ptr noundef nonnull %247, i32 noundef %253)
  %254 = getelementptr inbounds i8, ptr %9, i64 60
  %255 = call i32 @load32(ptr noundef nonnull %254)
  %256 = call i32 @__uint32_identity(i32 noundef %255)
  %257 = getelementptr inbounds i8, ptr %10, i64 60
  %258 = load i32, ptr %257, align 4, !tbaa !5
  %259 = xor i32 %258, %256
  %260 = call i32 @__uint32_identity(i32 noundef %259)
  call void @store32(ptr noundef nonnull %254, i32 noundef %260)
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %146, ptr nonnull align 16 %9, i64 %148, i1 false)
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %10) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %9) #5
  br label %261

261:                                              ; preds = %143, %._crit_edge
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %7) #5
  ret void
}

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


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