; LLVM IR from rweather/lightweight-crypto :: src/combined (ascon128)

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

%union.ascon_state_t = type { [5 x i64] }

; Function Attrs: nounwind uwtable
define dso_local i32 @ascon80pq_aead_encrypt(ptr noundef %0, ptr noundef %1, ptr noundef %2, i64 noundef %3, ptr noundef %4, i64 noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8) #0 {
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i64, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i64, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca %union.ascon_state_t, align 8
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %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 ptr, align 8
  %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 ptr, align 8
  %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 ptr, align 8
  %70 = alloca i32, align 4
  %71 = alloca i32, align 4
  %72 = alloca i32, align 4
  %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 ptr, align 8
  %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 ptr, align 8
  %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 ptr, align 8
  %118 = alloca ptr, align 8
  %119 = alloca ptr, align 8
  %120 = alloca i32, align 4
  store ptr %0, ptr %10, align 8, !tbaa !5
  store ptr %1, ptr %11, align 8, !tbaa !5
  store ptr %2, ptr %12, align 8, !tbaa !5
  store i64 %3, ptr %13, align 8, !tbaa !9
  store ptr %4, ptr %14, align 8, !tbaa !5
  store i64 %5, ptr %15, align 8, !tbaa !9
  store ptr %6, ptr %16, align 8, !tbaa !5
  store ptr %7, ptr %17, align 8, !tbaa !5
  store ptr %8, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 40, ptr %19) #4
  %121 = load ptr, ptr %16, align 8, !tbaa !5
  %122 = load i64, ptr %13, align 8, !tbaa !9
  %123 = add i64 %122, 16
  %124 = load ptr, ptr %11, align 8, !tbaa !5
  store i64 %123, ptr %124, align 8, !tbaa !9
  br label %125

125:                                              ; preds = %9
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #4
  store i32 -1606415354, ptr %20, align 4, !tbaa !11
  %126 = load i32, ptr %20, align 4, !tbaa !11
  %127 = lshr i32 %126, 24
  %128 = trunc i32 %127 to i8
  %129 = getelementptr inbounds [40 x i8], ptr %19, i64 0, i64 0
  store i8 %128, ptr %129, align 8, !tbaa !13
  %130 = load i32, ptr %20, align 4, !tbaa !11
  %131 = lshr i32 %130, 16
  %132 = trunc i32 %131 to i8
  %133 = getelementptr inbounds [40 x i8], ptr %19, i64 0, i64 1
  store i8 %132, ptr %133, align 1, !tbaa !13
  %134 = load i32, ptr %20, align 4, !tbaa !11
  %135 = lshr i32 %134, 8
  %136 = trunc i32 %135 to i8
  %137 = getelementptr inbounds [40 x i8], ptr %19, i64 0, i64 2
  store i8 %136, ptr %137, align 2, !tbaa !13
  %138 = load i32, ptr %20, align 4, !tbaa !11
  %139 = trunc i32 %138 to i8
  %140 = getelementptr inbounds [40 x i8], ptr %19, i64 0, i64 3
  store i8 %139, ptr %140, align 1, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #4
  br label %141

141:                                              ; preds = %125
  br label %142

142:                                              ; preds = %141
  %143 = getelementptr inbounds [40 x i8], ptr %19, i64 0, i64 0
  %144 = getelementptr inbounds i8, ptr %143, i64 4
  %145 = load ptr, ptr %18, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %144, ptr align 1 %145, i64 20, i1 false)
  %146 = getelementptr inbounds [40 x i8], ptr %19, i64 0, i64 0
  %147 = getelementptr inbounds i8, ptr %146, i64 24
  %148 = load ptr, ptr %17, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %147, ptr align 1 %148, i64 16, i1 false)
  call void @ascon_to_sliced(ptr noundef %19)
  call void @ascon_permute_sliced(ptr noundef %19, i8 noundef zeroext 0)
  br label %149

149:                                              ; preds = %142
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #4
  store ptr %19, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #4
  %150 = load ptr, ptr %18, align 8, !tbaa !5
  %151 = getelementptr inbounds i8, ptr %150, i64 0
  %152 = load i8, ptr %151, align 1, !tbaa !13
  %153 = zext i8 %152 to i32
  %154 = shl i32 %153, 24
  %155 = load ptr, ptr %18, align 8, !tbaa !5
  %156 = getelementptr inbounds i8, ptr %155, i64 1
  %157 = load i8, ptr %156, align 1, !tbaa !13
  %158 = zext i8 %157 to i32
  %159 = shl i32 %158, 16
  %160 = or i32 %154, %159
  %161 = load ptr, ptr %18, align 8, !tbaa !5
  %162 = getelementptr inbounds i8, ptr %161, i64 2
  %163 = load i8, ptr %162, align 1, !tbaa !13
  %164 = zext i8 %163 to i32
  %165 = shl i32 %164, 8
  %166 = or i32 %160, %165
  %167 = load ptr, ptr %18, align 8, !tbaa !5
  %168 = getelementptr inbounds i8, ptr %167, i64 3
  %169 = load i8, ptr %168, align 1, !tbaa !13
  %170 = zext i8 %169 to i32
  %171 = or i32 %166, %170
  store i32 %171, ptr %22, align 4, !tbaa !11
  br label %172

172:                                              ; preds = %149
  br label %173

173:                                              ; preds = %172
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #4
  %174 = load i32, ptr %22, align 4, !tbaa !11
  store i32 %174, ptr %23, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #4
  %175 = load i32, ptr %23, align 4, !tbaa !11
  %176 = lshr i32 %175, 1
  %177 = load i32, ptr %23, align 4, !tbaa !11
  %178 = xor i32 %176, %177
  %179 = and i32 %178, 572662306
  store i32 %179, ptr %24, align 4, !tbaa !11
  %180 = load i32, ptr %23, align 4, !tbaa !11
  %181 = load i32, ptr %24, align 4, !tbaa !11
  %182 = xor i32 %180, %181
  %183 = load i32, ptr %24, align 4, !tbaa !11
  %184 = shl i32 %183, 1
  %185 = xor i32 %182, %184
  store i32 %185, ptr %22, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #4
  br label %186

186:                                              ; preds = %173
  br label %187

187:                                              ; preds = %186
  br label %188

188:                                              ; preds = %187
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #4
  %189 = load i32, ptr %22, align 4, !tbaa !11
  store i32 %189, ptr %25, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #4
  %190 = load i32, ptr %25, align 4, !tbaa !11
  %191 = lshr i32 %190, 2
  %192 = load i32, ptr %25, align 4, !tbaa !11
  %193 = xor i32 %191, %192
  %194 = and i32 %193, 202116108
  store i32 %194, ptr %26, align 4, !tbaa !11
  %195 = load i32, ptr %25, align 4, !tbaa !11
  %196 = load i32, ptr %26, align 4, !tbaa !11
  %197 = xor i32 %195, %196
  %198 = load i32, ptr %26, align 4, !tbaa !11
  %199 = shl i32 %198, 2
  %200 = xor i32 %197, %199
  store i32 %200, ptr %22, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #4
  br label %201

201:                                              ; preds = %188
  br label %202

202:                                              ; preds = %201
  br label %203

203:                                              ; preds = %202
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #4
  %204 = load i32, ptr %22, align 4, !tbaa !11
  store i32 %204, ptr %27, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #4
  %205 = load i32, ptr %27, align 4, !tbaa !11
  %206 = lshr i32 %205, 4
  %207 = load i32, ptr %27, align 4, !tbaa !11
  %208 = xor i32 %206, %207
  %209 = and i32 %208, 15728880
  store i32 %209, ptr %28, align 4, !tbaa !11
  %210 = load i32, ptr %27, align 4, !tbaa !11
  %211 = load i32, ptr %28, align 4, !tbaa !11
  %212 = xor i32 %210, %211
  %213 = load i32, ptr %28, align 4, !tbaa !11
  %214 = shl i32 %213, 4
  %215 = xor i32 %212, %214
  store i32 %215, ptr %22, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #4
  br label %216

216:                                              ; preds = %203
  br label %217

217:                                              ; preds = %216
  br label %218

218:                                              ; preds = %217
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #4
  %219 = load i32, ptr %22, align 4, !tbaa !11
  store i32 %219, ptr %29, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #4
  %220 = load i32, ptr %29, align 4, !tbaa !11
  %221 = lshr i32 %220, 8
  %222 = load i32, ptr %29, align 4, !tbaa !11
  %223 = xor i32 %221, %222
  %224 = and i32 %223, 65280
  store i32 %224, ptr %30, align 4, !tbaa !11
  %225 = load i32, ptr %29, align 4, !tbaa !11
  %226 = load i32, ptr %30, align 4, !tbaa !11
  %227 = xor i32 %225, %226
  %228 = load i32, ptr %30, align 4, !tbaa !11
  %229 = shl i32 %228, 8
  %230 = xor i32 %227, %229
  store i32 %230, ptr %22, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #4
  br label %231

231:                                              ; preds = %218
  br label %232

232:                                              ; preds = %231
  br label %233

233:                                              ; preds = %232
  br label %234

234:                                              ; preds = %233
  %235 = load i32, ptr %22, align 4, !tbaa !11
  %236 = and i32 %235, 65535
  %237 = load ptr, ptr %21, align 8, !tbaa !5
  %238 = getelementptr inbounds [10 x i32], ptr %237, i64 0, i64 4
  %239 = load i32, ptr %238, align 8, !tbaa !13
  %240 = xor i32 %239, %236
  store i32 %240, ptr %238, align 8, !tbaa !13
  %241 = load i32, ptr %22, align 4, !tbaa !11
  %242 = lshr i32 %241, 16
  %243 = load ptr, ptr %21, align 8, !tbaa !5
  %244 = getelementptr inbounds [10 x i32], ptr %243, i64 0, i64 5
  %245 = load i32, ptr %244, align 4, !tbaa !13
  %246 = xor i32 %245, %242
  store i32 %246, ptr %244, align 4, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #4
  br label %247

247:                                              ; preds = %234
  br label %248

248:                                              ; preds = %247
  br label %249

249:                                              ; preds = %248
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #4
  store ptr %19, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #4
  %250 = load ptr, ptr %18, align 8, !tbaa !5
  %251 = getelementptr inbounds i8, ptr %250, i64 4
  %252 = getelementptr inbounds i8, ptr %251, i64 0
  %253 = load i8, ptr %252, align 1, !tbaa !13
  %254 = zext i8 %253 to i32
  %255 = shl i32 %254, 24
  %256 = load ptr, ptr %18, align 8, !tbaa !5
  %257 = getelementptr inbounds i8, ptr %256, i64 4
  %258 = getelementptr inbounds i8, ptr %257, i64 1
  %259 = load i8, ptr %258, align 1, !tbaa !13
  %260 = zext i8 %259 to i32
  %261 = shl i32 %260, 16
  %262 = or i32 %255, %261
  %263 = load ptr, ptr %18, align 8, !tbaa !5
  %264 = getelementptr inbounds i8, ptr %263, i64 4
  %265 = getelementptr inbounds i8, ptr %264, i64 2
  %266 = load i8, ptr %265, align 1, !tbaa !13
  %267 = zext i8 %266 to i32
  %268 = shl i32 %267, 8
  %269 = or i32 %262, %268
  %270 = load ptr, ptr %18, align 8, !tbaa !5
  %271 = getelementptr inbounds i8, ptr %270, i64 4
  %272 = getelementptr inbounds i8, ptr %271, i64 3
  %273 = load i8, ptr %272, align 1, !tbaa !13
  %274 = zext i8 %273 to i32
  %275 = or i32 %269, %274
  store i32 %275, ptr %32, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #4
  %276 = load ptr, ptr %18, align 8, !tbaa !5
  %277 = getelementptr inbounds i8, ptr %276, i64 4
  %278 = getelementptr inbounds i8, ptr %277, i64 4
  %279 = getelementptr inbounds i8, ptr %278, i64 0
  %280 = load i8, ptr %279, align 1, !tbaa !13
  %281 = zext i8 %280 to i32
  %282 = shl i32 %281, 24
  %283 = load ptr, ptr %18, align 8, !tbaa !5
  %284 = getelementptr inbounds i8, ptr %283, i64 4
  %285 = getelementptr inbounds i8, ptr %284, i64 4
  %286 = getelementptr inbounds i8, ptr %285, i64 1
  %287 = load i8, ptr %286, align 1, !tbaa !13
  %288 = zext i8 %287 to i32
  %289 = shl i32 %288, 16
  %290 = or i32 %282, %289
  %291 = load ptr, ptr %18, align 8, !tbaa !5
  %292 = getelementptr inbounds i8, ptr %291, i64 4
  %293 = getelementptr inbounds i8, ptr %292, i64 4
  %294 = getelementptr inbounds i8, ptr %293, i64 2
  %295 = load i8, ptr %294, align 1, !tbaa !13
  %296 = zext i8 %295 to i32
  %297 = shl i32 %296, 8
  %298 = or i32 %290, %297
  %299 = load ptr, ptr %18, align 8, !tbaa !5
  %300 = getelementptr inbounds i8, ptr %299, i64 4
  %301 = getelementptr inbounds i8, ptr %300, i64 4
  %302 = getelementptr inbounds i8, ptr %301, i64 3
  %303 = load i8, ptr %302, align 1, !tbaa !13
  %304 = zext i8 %303 to i32
  %305 = or i32 %298, %304
  store i32 %305, ptr %33, align 4, !tbaa !11
  br label %306

306:                                              ; preds = %249
  br label %307

307:                                              ; preds = %306
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #4
  %308 = load i32, ptr %32, align 4, !tbaa !11
  store i32 %308, ptr %34, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #4
  %309 = load i32, ptr %34, align 4, !tbaa !11
  %310 = lshr i32 %309, 1
  %311 = load i32, ptr %34, align 4, !tbaa !11
  %312 = xor i32 %310, %311
  %313 = and i32 %312, 572662306
  store i32 %313, ptr %35, align 4, !tbaa !11
  %314 = load i32, ptr %34, align 4, !tbaa !11
  %315 = load i32, ptr %35, align 4, !tbaa !11
  %316 = xor i32 %314, %315
  %317 = load i32, ptr %35, align 4, !tbaa !11
  %318 = shl i32 %317, 1
  %319 = xor i32 %316, %318
  store i32 %319, ptr %32, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #4
  br label %320

320:                                              ; preds = %307
  br label %321

321:                                              ; preds = %320
  br label %322

322:                                              ; preds = %321
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #4
  %323 = load i32, ptr %32, align 4, !tbaa !11
  store i32 %323, ptr %36, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #4
  %324 = load i32, ptr %36, align 4, !tbaa !11
  %325 = lshr i32 %324, 2
  %326 = load i32, ptr %36, align 4, !tbaa !11
  %327 = xor i32 %325, %326
  %328 = and i32 %327, 202116108
  store i32 %328, ptr %37, align 4, !tbaa !11
  %329 = load i32, ptr %36, align 4, !tbaa !11
  %330 = load i32, ptr %37, align 4, !tbaa !11
  %331 = xor i32 %329, %330
  %332 = load i32, ptr %37, align 4, !tbaa !11
  %333 = shl i32 %332, 2
  %334 = xor i32 %331, %333
  store i32 %334, ptr %32, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #4
  br label %335

335:                                              ; preds = %322
  br label %336

336:                                              ; preds = %335
  br label %337

337:                                              ; preds = %336
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #4
  %338 = load i32, ptr %32, align 4, !tbaa !11
  store i32 %338, ptr %38, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #4
  %339 = load i32, ptr %38, align 4, !tbaa !11
  %340 = lshr i32 %339, 4
  %341 = load i32, ptr %38, align 4, !tbaa !11
  %342 = xor i32 %340, %341
  %343 = and i32 %342, 15728880
  store i32 %343, ptr %39, align 4, !tbaa !11
  %344 = load i32, ptr %38, align 4, !tbaa !11
  %345 = load i32, ptr %39, align 4, !tbaa !11
  %346 = xor i32 %344, %345
  %347 = load i32, ptr %39, align 4, !tbaa !11
  %348 = shl i32 %347, 4
  %349 = xor i32 %346, %348
  store i32 %349, ptr %32, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #4
  br label %350

350:                                              ; preds = %337
  br label %351

351:                                              ; preds = %350
  br label %352

352:                                              ; preds = %351
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #4
  %353 = load i32, ptr %32, align 4, !tbaa !11
  store i32 %353, ptr %40, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #4
  %354 = load i32, ptr %40, align 4, !tbaa !11
  %355 = lshr i32 %354, 8
  %356 = load i32, ptr %40, align 4, !tbaa !11
  %357 = xor i32 %355, %356
  %358 = and i32 %357, 65280
  store i32 %358, ptr %41, align 4, !tbaa !11
  %359 = load i32, ptr %40, align 4, !tbaa !11
  %360 = load i32, ptr %41, align 4, !tbaa !11
  %361 = xor i32 %359, %360
  %362 = load i32, ptr %41, align 4, !tbaa !11
  %363 = shl i32 %362, 8
  %364 = xor i32 %361, %363
  store i32 %364, ptr %32, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #4
  br label %365

365:                                              ; preds = %352
  br label %366

366:                                              ; preds = %365
  br label %367

367:                                              ; preds = %366
  br label %368

368:                                              ; preds = %367
  br label %369

369:                                              ; preds = %368
  br label %370

370:                                              ; preds = %369
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #4
  %371 = load i32, ptr %33, align 4, !tbaa !11
  store i32 %371, ptr %42, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #4
  %372 = load i32, ptr %42, align 4, !tbaa !11
  %373 = lshr i32 %372, 1
  %374 = load i32, ptr %42, align 4, !tbaa !11
  %375 = xor i32 %373, %374
  %376 = and i32 %375, 572662306
  store i32 %376, ptr %43, align 4, !tbaa !11
  %377 = load i32, ptr %42, align 4, !tbaa !11
  %378 = load i32, ptr %43, align 4, !tbaa !11
  %379 = xor i32 %377, %378
  %380 = load i32, ptr %43, align 4, !tbaa !11
  %381 = shl i32 %380, 1
  %382 = xor i32 %379, %381
  store i32 %382, ptr %33, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #4
  br label %383

383:                                              ; preds = %370
  br label %384

384:                                              ; preds = %383
  br label %385

385:                                              ; preds = %384
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #4
  %386 = load i32, ptr %33, align 4, !tbaa !11
  store i32 %386, ptr %44, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #4
  %387 = load i32, ptr %44, align 4, !tbaa !11
  %388 = lshr i32 %387, 2
  %389 = load i32, ptr %44, align 4, !tbaa !11
  %390 = xor i32 %388, %389
  %391 = and i32 %390, 202116108
  store i32 %391, ptr %45, align 4, !tbaa !11
  %392 = load i32, ptr %44, align 4, !tbaa !11
  %393 = load i32, ptr %45, align 4, !tbaa !11
  %394 = xor i32 %392, %393
  %395 = load i32, ptr %45, align 4, !tbaa !11
  %396 = shl i32 %395, 2
  %397 = xor i32 %394, %396
  store i32 %397, ptr %33, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #4
  br label %398

398:                                              ; preds = %385
  br label %399

399:                                              ; preds = %398
  br label %400

400:                                              ; preds = %399
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #4
  %401 = load i32, ptr %33, align 4, !tbaa !11
  store i32 %401, ptr %46, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #4
  %402 = load i32, ptr %46, align 4, !tbaa !11
  %403 = lshr i32 %402, 4
  %404 = load i32, ptr %46, align 4, !tbaa !11
  %405 = xor i32 %403, %404
  %406 = and i32 %405, 15728880
  store i32 %406, ptr %47, align 4, !tbaa !11
  %407 = load i32, ptr %46, align 4, !tbaa !11
  %408 = load i32, ptr %47, align 4, !tbaa !11
  %409 = xor i32 %407, %408
  %410 = load i32, ptr %47, align 4, !tbaa !11
  %411 = shl i32 %410, 4
  %412 = xor i32 %409, %411
  store i32 %412, ptr %33, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #4
  br label %413

413:                                              ; preds = %400
  br label %414

414:                                              ; preds = %413
  br label %415

415:                                              ; preds = %414
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #4
  %416 = load i32, ptr %33, align 4, !tbaa !11
  store i32 %416, ptr %48, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #4
  %417 = load i32, ptr %48, align 4, !tbaa !11
  %418 = lshr i32 %417, 8
  %419 = load i32, ptr %48, align 4, !tbaa !11
  %420 = xor i32 %418, %419
  %421 = and i32 %420, 65280
  store i32 %421, ptr %49, align 4, !tbaa !11
  %422 = load i32, ptr %48, align 4, !tbaa !11
  %423 = load i32, ptr %49, align 4, !tbaa !11
  %424 = xor i32 %422, %423
  %425 = load i32, ptr %49, align 4, !tbaa !11
  %426 = shl i32 %425, 8
  %427 = xor i32 %424, %426
  store i32 %427, ptr %33, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #4
  br label %428

428:                                              ; preds = %415
  br label %429

429:                                              ; preds = %428
  br label %430

430:                                              ; preds = %429
  br label %431

431:                                              ; preds = %430
  %432 = load i32, ptr %32, align 4, !tbaa !11
  %433 = shl i32 %432, 16
  %434 = load i32, ptr %33, align 4, !tbaa !11
  %435 = and i32 %434, 65535
  %436 = or i32 %433, %435
  %437 = load ptr, ptr %31, align 8, !tbaa !5
  %438 = getelementptr inbounds [10 x i32], ptr %437, i64 0, i64 6
  %439 = load i32, ptr %438, align 8, !tbaa !13
  %440 = xor i32 %439, %436
  store i32 %440, ptr %438, align 8, !tbaa !13
  %441 = load i32, ptr %32, align 4, !tbaa !11
  %442 = and i32 %441, -65536
  %443 = load i32, ptr %33, align 4, !tbaa !11
  %444 = lshr i32 %443, 16
  %445 = or i32 %442, %444
  %446 = load ptr, ptr %31, align 8, !tbaa !5
  %447 = getelementptr inbounds [10 x i32], ptr %446, i64 0, i64 7
  %448 = load i32, ptr %447, align 4, !tbaa !13
  %449 = xor i32 %448, %445
  store i32 %449, ptr %447, align 4, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #4
  br label %450

450:                                              ; preds = %431
  br label %451

451:                                              ; preds = %450
  br label %452

452:                                              ; preds = %451
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #4
  store ptr %19, ptr %50, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #4
  %453 = load ptr, ptr %18, align 8, !tbaa !5
  %454 = getelementptr inbounds i8, ptr %453, i64 12
  %455 = getelementptr inbounds i8, ptr %454, i64 0
  %456 = load i8, ptr %455, align 1, !tbaa !13
  %457 = zext i8 %456 to i32
  %458 = shl i32 %457, 24
  %459 = load ptr, ptr %18, align 8, !tbaa !5
  %460 = getelementptr inbounds i8, ptr %459, i64 12
  %461 = getelementptr inbounds i8, ptr %460, i64 1
  %462 = load i8, ptr %461, align 1, !tbaa !13
  %463 = zext i8 %462 to i32
  %464 = shl i32 %463, 16
  %465 = or i32 %458, %464
  %466 = load ptr, ptr %18, align 8, !tbaa !5
  %467 = getelementptr inbounds i8, ptr %466, i64 12
  %468 = getelementptr inbounds i8, ptr %467, i64 2
  %469 = load i8, ptr %468, align 1, !tbaa !13
  %470 = zext i8 %469 to i32
  %471 = shl i32 %470, 8
  %472 = or i32 %465, %471
  %473 = load ptr, ptr %18, align 8, !tbaa !5
  %474 = getelementptr inbounds i8, ptr %473, i64 12
  %475 = getelementptr inbounds i8, ptr %474, i64 3
  %476 = load i8, ptr %475, align 1, !tbaa !13
  %477 = zext i8 %476 to i32
  %478 = or i32 %472, %477
  store i32 %478, ptr %51, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #4
  %479 = load ptr, ptr %18, align 8, !tbaa !5
  %480 = getelementptr inbounds i8, ptr %479, i64 12
  %481 = getelementptr inbounds i8, ptr %480, i64 4
  %482 = getelementptr inbounds i8, ptr %481, i64 0
  %483 = load i8, ptr %482, align 1, !tbaa !13
  %484 = zext i8 %483 to i32
  %485 = shl i32 %484, 24
  %486 = load ptr, ptr %18, align 8, !tbaa !5
  %487 = getelementptr inbounds i8, ptr %486, i64 12
  %488 = getelementptr inbounds i8, ptr %487, i64 4
  %489 = getelementptr inbounds i8, ptr %488, i64 1
  %490 = load i8, ptr %489, align 1, !tbaa !13
  %491 = zext i8 %490 to i32
  %492 = shl i32 %491, 16
  %493 = or i32 %485, %492
  %494 = load ptr, ptr %18, align 8, !tbaa !5
  %495 = getelementptr inbounds i8, ptr %494, i64 12
  %496 = getelementptr inbounds i8, ptr %495, i64 4
  %497 = getelementptr inbounds i8, ptr %496, i64 2
  %498 = load i8, ptr %497, align 1, !tbaa !13
  %499 = zext i8 %498 to i32
  %500 = shl i32 %499, 8
  %501 = or i32 %493, %500
  %502 = load ptr, ptr %18, align 8, !tbaa !5
  %503 = getelementptr inbounds i8, ptr %502, i64 12
  %504 = getelementptr inbounds i8, ptr %503, i64 4
  %505 = getelementptr inbounds i8, ptr %504, i64 3
  %506 = load i8, ptr %505, align 1, !tbaa !13
  %507 = zext i8 %506 to i32
  %508 = or i32 %501, %507
  store i32 %508, ptr %52, align 4, !tbaa !11
  br label %509

509:                                              ; preds = %452
  br label %510

510:                                              ; preds = %509
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #4
  %511 = load i32, ptr %51, align 4, !tbaa !11
  store i32 %511, ptr %53, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #4
  %512 = load i32, ptr %53, align 4, !tbaa !11
  %513 = lshr i32 %512, 1
  %514 = load i32, ptr %53, align 4, !tbaa !11
  %515 = xor i32 %513, %514
  %516 = and i32 %515, 572662306
  store i32 %516, ptr %54, align 4, !tbaa !11
  %517 = load i32, ptr %53, align 4, !tbaa !11
  %518 = load i32, ptr %54, align 4, !tbaa !11
  %519 = xor i32 %517, %518
  %520 = load i32, ptr %54, align 4, !tbaa !11
  %521 = shl i32 %520, 1
  %522 = xor i32 %519, %521
  store i32 %522, ptr %51, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #4
  br label %523

523:                                              ; preds = %510
  br label %524

524:                                              ; preds = %523
  br label %525

525:                                              ; preds = %524
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #4
  %526 = load i32, ptr %51, align 4, !tbaa !11
  store i32 %526, ptr %55, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %56) #4
  %527 = load i32, ptr %55, align 4, !tbaa !11
  %528 = lshr i32 %527, 2
  %529 = load i32, ptr %55, align 4, !tbaa !11
  %530 = xor i32 %528, %529
  %531 = and i32 %530, 202116108
  store i32 %531, ptr %56, align 4, !tbaa !11
  %532 = load i32, ptr %55, align 4, !tbaa !11
  %533 = load i32, ptr %56, align 4, !tbaa !11
  %534 = xor i32 %532, %533
  %535 = load i32, ptr %56, align 4, !tbaa !11
  %536 = shl i32 %535, 2
  %537 = xor i32 %534, %536
  store i32 %537, ptr %51, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #4
  br label %538

538:                                              ; preds = %525
  br label %539

539:                                              ; preds = %538
  br label %540

540:                                              ; preds = %539
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #4
  %541 = load i32, ptr %51, align 4, !tbaa !11
  store i32 %541, ptr %57, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %58) #4
  %542 = load i32, ptr %57, align 4, !tbaa !11
  %543 = lshr i32 %542, 4
  %544 = load i32, ptr %57, align 4, !tbaa !11
  %545 = xor i32 %543, %544
  %546 = and i32 %545, 15728880
  store i32 %546, ptr %58, align 4, !tbaa !11
  %547 = load i32, ptr %57, align 4, !tbaa !11
  %548 = load i32, ptr %58, align 4, !tbaa !11
  %549 = xor i32 %547, %548
  %550 = load i32, ptr %58, align 4, !tbaa !11
  %551 = shl i32 %550, 4
  %552 = xor i32 %549, %551
  store i32 %552, ptr %51, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #4
  br label %553

553:                                              ; preds = %540
  br label %554

554:                                              ; preds = %553
  br label %555

555:                                              ; preds = %554
  call void @llvm.lifetime.start.p0(i64 4, ptr %59) #4
  %556 = load i32, ptr %51, align 4, !tbaa !11
  store i32 %556, ptr %59, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %60) #4
  %557 = load i32, ptr %59, align 4, !tbaa !11
  %558 = lshr i32 %557, 8
  %559 = load i32, ptr %59, align 4, !tbaa !11
  %560 = xor i32 %558, %559
  %561 = and i32 %560, 65280
  store i32 %561, ptr %60, align 4, !tbaa !11
  %562 = load i32, ptr %59, align 4, !tbaa !11
  %563 = load i32, ptr %60, align 4, !tbaa !11
  %564 = xor i32 %562, %563
  %565 = load i32, ptr %60, align 4, !tbaa !11
  %566 = shl i32 %565, 8
  %567 = xor i32 %564, %566
  store i32 %567, ptr %51, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %60) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %59) #4
  br label %568

568:                                              ; preds = %555
  br label %569

569:                                              ; preds = %568
  br label %570

570:                                              ; preds = %569
  br label %571

571:                                              ; preds = %570
  br label %572

572:                                              ; preds = %571
  br label %573

573:                                              ; preds = %572
  call void @llvm.lifetime.start.p0(i64 4, ptr %61) #4
  %574 = load i32, ptr %52, align 4, !tbaa !11
  store i32 %574, ptr %61, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %62) #4
  %575 = load i32, ptr %61, align 4, !tbaa !11
  %576 = lshr i32 %575, 1
  %577 = load i32, ptr %61, align 4, !tbaa !11
  %578 = xor i32 %576, %577
  %579 = and i32 %578, 572662306
  store i32 %579, ptr %62, align 4, !tbaa !11
  %580 = load i32, ptr %61, align 4, !tbaa !11
  %581 = load i32, ptr %62, align 4, !tbaa !11
  %582 = xor i32 %580, %581
  %583 = load i32, ptr %62, align 4, !tbaa !11
  %584 = shl i32 %583, 1
  %585 = xor i32 %582, %584
  store i32 %585, ptr %52, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %62) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #4
  br label %586

586:                                              ; preds = %573
  br label %587

587:                                              ; preds = %586
  br label %588

588:                                              ; preds = %587
  call void @llvm.lifetime.start.p0(i64 4, ptr %63) #4
  %589 = load i32, ptr %52, align 4, !tbaa !11
  store i32 %589, ptr %63, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %64) #4
  %590 = load i32, ptr %63, align 4, !tbaa !11
  %591 = lshr i32 %590, 2
  %592 = load i32, ptr %63, align 4, !tbaa !11
  %593 = xor i32 %591, %592
  %594 = and i32 %593, 202116108
  store i32 %594, ptr %64, align 4, !tbaa !11
  %595 = load i32, ptr %63, align 4, !tbaa !11
  %596 = load i32, ptr %64, align 4, !tbaa !11
  %597 = xor i32 %595, %596
  %598 = load i32, ptr %64, align 4, !tbaa !11
  %599 = shl i32 %598, 2
  %600 = xor i32 %597, %599
  store i32 %600, ptr %52, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %64) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %63) #4
  br label %601

601:                                              ; preds = %588
  br label %602

602:                                              ; preds = %601
  br label %603

603:                                              ; preds = %602
  call void @llvm.lifetime.start.p0(i64 4, ptr %65) #4
  %604 = load i32, ptr %52, align 4, !tbaa !11
  store i32 %604, ptr %65, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %66) #4
  %605 = load i32, ptr %65, align 4, !tbaa !11
  %606 = lshr i32 %605, 4
  %607 = load i32, ptr %65, align 4, !tbaa !11
  %608 = xor i32 %606, %607
  %609 = and i32 %608, 15728880
  store i32 %609, ptr %66, align 4, !tbaa !11
  %610 = load i32, ptr %65, align 4, !tbaa !11
  %611 = load i32, ptr %66, align 4, !tbaa !11
  %612 = xor i32 %610, %611
  %613 = load i32, ptr %66, align 4, !tbaa !11
  %614 = shl i32 %613, 4
  %615 = xor i32 %612, %614
  store i32 %615, ptr %52, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %66) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %65) #4
  br label %616

616:                                              ; preds = %603
  br label %617

617:                                              ; preds = %616
  br label %618

618:                                              ; preds = %617
  call void @llvm.lifetime.start.p0(i64 4, ptr %67) #4
  %619 = load i32, ptr %52, align 4, !tbaa !11
  store i32 %619, ptr %67, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %68) #4
  %620 = load i32, ptr %67, align 4, !tbaa !11
  %621 = lshr i32 %620, 8
  %622 = load i32, ptr %67, align 4, !tbaa !11
  %623 = xor i32 %621, %622
  %624 = and i32 %623, 65280
  store i32 %624, ptr %68, align 4, !tbaa !11
  %625 = load i32, ptr %67, align 4, !tbaa !11
  %626 = load i32, ptr %68, align 4, !tbaa !11
  %627 = xor i32 %625, %626
  %628 = load i32, ptr %68, align 4, !tbaa !11
  %629 = shl i32 %628, 8
  %630 = xor i32 %627, %629
  store i32 %630, ptr %52, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %68) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %67) #4
  br label %631

631:                                              ; preds = %618
  br label %632

632:                                              ; preds = %631
  br label %633

633:                                              ; preds = %632
  br label %634

634:                                              ; preds = %633
  %635 = load i32, ptr %51, align 4, !tbaa !11
  %636 = shl i32 %635, 16
  %637 = load i32, ptr %52, align 4, !tbaa !11
  %638 = and i32 %637, 65535
  %639 = or i32 %636, %638
  %640 = load ptr, ptr %50, align 8, !tbaa !5
  %641 = getelementptr inbounds [10 x i32], ptr %640, i64 0, i64 8
  %642 = load i32, ptr %641, align 8, !tbaa !13
  %643 = xor i32 %642, %639
  store i32 %643, ptr %641, align 8, !tbaa !13
  %644 = load i32, ptr %51, align 4, !tbaa !11
  %645 = and i32 %644, -65536
  %646 = load i32, ptr %52, align 4, !tbaa !11
  %647 = lshr i32 %646, 16
  %648 = or i32 %645, %647
  %649 = load ptr, ptr %50, align 8, !tbaa !5
  %650 = getelementptr inbounds [10 x i32], ptr %649, i64 0, i64 9
  %651 = load i32, ptr %650, align 4, !tbaa !13
  %652 = xor i32 %651, %648
  store i32 %652, ptr %650, align 4, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #4
  br label %653

653:                                              ; preds = %634
  br label %654

654:                                              ; preds = %653
  %655 = load i64, ptr %15, align 8, !tbaa !9
  %656 = icmp ugt i64 %655, 0
  br i1 %656, label %657, label %660

657:                                              ; preds = %654
  %658 = load ptr, ptr %14, align 8, !tbaa !5
  %659 = load i64, ptr %15, align 8, !tbaa !9
  call void @ascon_absorb_8(ptr noundef %19, ptr noundef %658, i64 noundef %659, i8 noundef zeroext 6)
  br label %660

660:                                              ; preds = %657, %654
  %661 = getelementptr inbounds [10 x i32], ptr %19, i64 0, i64 8
  %662 = load i32, ptr %661, align 8, !tbaa !13
  %663 = xor i32 %662, 1
  store i32 %663, ptr %661, align 8, !tbaa !13
  %664 = load ptr, ptr %10, align 8, !tbaa !5
  %665 = load ptr, ptr %12, align 8, !tbaa !5
  %666 = load i64, ptr %13, align 8, !tbaa !9
  call void @ascon_encrypt_8(ptr noundef %19, ptr noundef %664, ptr noundef %665, i64 noundef %666, i8 noundef zeroext 6)
  br label %667

667:                                              ; preds = %660
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #4
  store ptr %19, ptr %69, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %70) #4
  %668 = load ptr, ptr %18, align 8, !tbaa !5
  %669 = getelementptr inbounds i8, ptr %668, i64 0
  %670 = load i8, ptr %669, align 1, !tbaa !13
  %671 = zext i8 %670 to i32
  %672 = shl i32 %671, 24
  %673 = load ptr, ptr %18, align 8, !tbaa !5
  %674 = getelementptr inbounds i8, ptr %673, i64 1
  %675 = load i8, ptr %674, align 1, !tbaa !13
  %676 = zext i8 %675 to i32
  %677 = shl i32 %676, 16
  %678 = or i32 %672, %677
  %679 = load ptr, ptr %18, align 8, !tbaa !5
  %680 = getelementptr inbounds i8, ptr %679, i64 2
  %681 = load i8, ptr %680, align 1, !tbaa !13
  %682 = zext i8 %681 to i32
  %683 = shl i32 %682, 8
  %684 = or i32 %678, %683
  %685 = load ptr, ptr %18, align 8, !tbaa !5
  %686 = getelementptr inbounds i8, ptr %685, i64 3
  %687 = load i8, ptr %686, align 1, !tbaa !13
  %688 = zext i8 %687 to i32
  %689 = or i32 %684, %688
  store i32 %689, ptr %70, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %71) #4
  %690 = load ptr, ptr %18, align 8, !tbaa !5
  %691 = getelementptr inbounds i8, ptr %690, i64 4
  %692 = getelementptr inbounds i8, ptr %691, i64 0
  %693 = load i8, ptr %692, align 1, !tbaa !13
  %694 = zext i8 %693 to i32
  %695 = shl i32 %694, 24
  %696 = load ptr, ptr %18, align 8, !tbaa !5
  %697 = getelementptr inbounds i8, ptr %696, i64 4
  %698 = getelementptr inbounds i8, ptr %697, i64 1
  %699 = load i8, ptr %698, align 1, !tbaa !13
  %700 = zext i8 %699 to i32
  %701 = shl i32 %700, 16
  %702 = or i32 %695, %701
  %703 = load ptr, ptr %18, align 8, !tbaa !5
  %704 = getelementptr inbounds i8, ptr %703, i64 4
  %705 = getelementptr inbounds i8, ptr %704, i64 2
  %706 = load i8, ptr %705, align 1, !tbaa !13
  %707 = zext i8 %706 to i32
  %708 = shl i32 %707, 8
  %709 = or i32 %702, %708
  %710 = load ptr, ptr %18, align 8, !tbaa !5
  %711 = getelementptr inbounds i8, ptr %710, i64 4
  %712 = getelementptr inbounds i8, ptr %711, i64 3
  %713 = load i8, ptr %712, align 1, !tbaa !13
  %714 = zext i8 %713 to i32
  %715 = or i32 %709, %714
  store i32 %715, ptr %71, align 4, !tbaa !11
  br label %716

716:                                              ; preds = %667
  br label %717

717:                                              ; preds = %716
  call void @llvm.lifetime.start.p0(i64 4, ptr %72) #4
  %718 = load i32, ptr %70, align 4, !tbaa !11
  store i32 %718, ptr %72, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %73) #4
  %719 = load i32, ptr %72, align 4, !tbaa !11
  %720 = lshr i32 %719, 1
  %721 = load i32, ptr %72, align 4, !tbaa !11
  %722 = xor i32 %720, %721
  %723 = and i32 %722, 572662306
  store i32 %723, ptr %73, align 4, !tbaa !11
  %724 = load i32, ptr %72, align 4, !tbaa !11
  %725 = load i32, ptr %73, align 4, !tbaa !11
  %726 = xor i32 %724, %725
  %727 = load i32, ptr %73, align 4, !tbaa !11
  %728 = shl i32 %727, 1
  %729 = xor i32 %726, %728
  store i32 %729, ptr %70, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %73) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %72) #4
  br label %730

730:                                              ; preds = %717
  br label %731

731:                                              ; preds = %730
  br label %732

732:                                              ; preds = %731
  call void @llvm.lifetime.start.p0(i64 4, ptr %74) #4
  %733 = load i32, ptr %70, align 4, !tbaa !11
  store i32 %733, ptr %74, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %75) #4
  %734 = load i32, ptr %74, align 4, !tbaa !11
  %735 = lshr i32 %734, 2
  %736 = load i32, ptr %74, align 4, !tbaa !11
  %737 = xor i32 %735, %736
  %738 = and i32 %737, 202116108
  store i32 %738, ptr %75, align 4, !tbaa !11
  %739 = load i32, ptr %74, align 4, !tbaa !11
  %740 = load i32, ptr %75, align 4, !tbaa !11
  %741 = xor i32 %739, %740
  %742 = load i32, ptr %75, align 4, !tbaa !11
  %743 = shl i32 %742, 2
  %744 = xor i32 %741, %743
  store i32 %744, ptr %70, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %75) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %74) #4
  br label %745

745:                                              ; preds = %732
  br label %746

746:                                              ; preds = %745
  br label %747

747:                                              ; preds = %746
  call void @llvm.lifetime.start.p0(i64 4, ptr %76) #4
  %748 = load i32, ptr %70, align 4, !tbaa !11
  store i32 %748, ptr %76, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %77) #4
  %749 = load i32, ptr %76, align 4, !tbaa !11
  %750 = lshr i32 %749, 4
  %751 = load i32, ptr %76, align 4, !tbaa !11
  %752 = xor i32 %750, %751
  %753 = and i32 %752, 15728880
  store i32 %753, ptr %77, align 4, !tbaa !11
  %754 = load i32, ptr %76, align 4, !tbaa !11
  %755 = load i32, ptr %77, align 4, !tbaa !11
  %756 = xor i32 %754, %755
  %757 = load i32, ptr %77, align 4, !tbaa !11
  %758 = shl i32 %757, 4
  %759 = xor i32 %756, %758
  store i32 %759, ptr %70, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %77) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %76) #4
  br label %760

760:                                              ; preds = %747
  br label %761

761:                                              ; preds = %760
  br label %762

762:                                              ; preds = %761
  call void @llvm.lifetime.start.p0(i64 4, ptr %78) #4
  %763 = load i32, ptr %70, align 4, !tbaa !11
  store i32 %763, ptr %78, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %79) #4
  %764 = load i32, ptr %78, align 4, !tbaa !11
  %765 = lshr i32 %764, 8
  %766 = load i32, ptr %78, align 4, !tbaa !11
  %767 = xor i32 %765, %766
  %768 = and i32 %767, 65280
  store i32 %768, ptr %79, align 4, !tbaa !11
  %769 = load i32, ptr %78, align 4, !tbaa !11
  %770 = load i32, ptr %79, align 4, !tbaa !11
  %771 = xor i32 %769, %770
  %772 = load i32, ptr %79, align 4, !tbaa !11
  %773 = shl i32 %772, 8
  %774 = xor i32 %771, %773
  store i32 %774, ptr %70, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %79) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %78) #4
  br label %775

775:                                              ; preds = %762
  br label %776

776:                                              ; preds = %775
  br label %777

777:                                              ; preds = %776
  br label %778

778:                                              ; preds = %777
  br label %779

779:                                              ; preds = %778
  br label %780

780:                                              ; preds = %779
  call void @llvm.lifetime.start.p0(i64 4, ptr %80) #4
  %781 = load i32, ptr %71, align 4, !tbaa !11
  store i32 %781, ptr %80, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %81) #4
  %782 = load i32, ptr %80, align 4, !tbaa !11
  %783 = lshr i32 %782, 1
  %784 = load i32, ptr %80, align 4, !tbaa !11
  %785 = xor i32 %783, %784
  %786 = and i32 %785, 572662306
  store i32 %786, ptr %81, align 4, !tbaa !11
  %787 = load i32, ptr %80, align 4, !tbaa !11
  %788 = load i32, ptr %81, align 4, !tbaa !11
  %789 = xor i32 %787, %788
  %790 = load i32, ptr %81, align 4, !tbaa !11
  %791 = shl i32 %790, 1
  %792 = xor i32 %789, %791
  store i32 %792, ptr %71, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %81) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %80) #4
  br label %793

793:                                              ; preds = %780
  br label %794

794:                                              ; preds = %793
  br label %795

795:                                              ; preds = %794
  call void @llvm.lifetime.start.p0(i64 4, ptr %82) #4
  %796 = load i32, ptr %71, align 4, !tbaa !11
  store i32 %796, ptr %82, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %83) #4
  %797 = load i32, ptr %82, align 4, !tbaa !11
  %798 = lshr i32 %797, 2
  %799 = load i32, ptr %82, align 4, !tbaa !11
  %800 = xor i32 %798, %799
  %801 = and i32 %800, 202116108
  store i32 %801, ptr %83, align 4, !tbaa !11
  %802 = load i32, ptr %82, align 4, !tbaa !11
  %803 = load i32, ptr %83, align 4, !tbaa !11
  %804 = xor i32 %802, %803
  %805 = load i32, ptr %83, align 4, !tbaa !11
  %806 = shl i32 %805, 2
  %807 = xor i32 %804, %806
  store i32 %807, ptr %71, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %83) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %82) #4
  br label %808

808:                                              ; preds = %795
  br label %809

809:                                              ; preds = %808
  br label %810

810:                                              ; preds = %809
  call void @llvm.lifetime.start.p0(i64 4, ptr %84) #4
  %811 = load i32, ptr %71, align 4, !tbaa !11
  store i32 %811, ptr %84, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %85) #4
  %812 = load i32, ptr %84, align 4, !tbaa !11
  %813 = lshr i32 %812, 4
  %814 = load i32, ptr %84, align 4, !tbaa !11
  %815 = xor i32 %813, %814
  %816 = and i32 %815, 15728880
  store i32 %816, ptr %85, align 4, !tbaa !11
  %817 = load i32, ptr %84, align 4, !tbaa !11
  %818 = load i32, ptr %85, align 4, !tbaa !11
  %819 = xor i32 %817, %818
  %820 = load i32, ptr %85, align 4, !tbaa !11
  %821 = shl i32 %820, 4
  %822 = xor i32 %819, %821
  store i32 %822, ptr %71, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %85) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %84) #4
  br label %823

823:                                              ; preds = %810
  br label %824

824:                                              ; preds = %823
  br label %825

825:                                              ; preds = %824
  call void @llvm.lifetime.start.p0(i64 4, ptr %86) #4
  %826 = load i32, ptr %71, align 4, !tbaa !11
  store i32 %826, ptr %86, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %87) #4
  %827 = load i32, ptr %86, align 4, !tbaa !11
  %828 = lshr i32 %827, 8
  %829 = load i32, ptr %86, align 4, !tbaa !11
  %830 = xor i32 %828, %829
  %831 = and i32 %830, 65280
  store i32 %831, ptr %87, align 4, !tbaa !11
  %832 = load i32, ptr %86, align 4, !tbaa !11
  %833 = load i32, ptr %87, align 4, !tbaa !11
  %834 = xor i32 %832, %833
  %835 = load i32, ptr %87, align 4, !tbaa !11
  %836 = shl i32 %835, 8
  %837 = xor i32 %834, %836
  store i32 %837, ptr %71, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %87) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %86) #4
  br label %838

838:                                              ; preds = %825
  br label %839

839:                                              ; preds = %838
  br label %840

840:                                              ; preds = %839
  br label %841

841:                                              ; preds = %840
  %842 = load i32, ptr %70, align 4, !tbaa !11
  %843 = shl i32 %842, 16
  %844 = load i32, ptr %71, align 4, !tbaa !11
  %845 = and i32 %844, 65535
  %846 = or i32 %843, %845
  %847 = load ptr, ptr %69, align 8, !tbaa !5
  %848 = getelementptr inbounds [10 x i32], ptr %847, i64 0, i64 2
  %849 = load i32, ptr %848, align 8, !tbaa !13
  %850 = xor i32 %849, %846
  store i32 %850, ptr %848, align 8, !tbaa !13
  %851 = load i32, ptr %70, align 4, !tbaa !11
  %852 = and i32 %851, -65536
  %853 = load i32, ptr %71, align 4, !tbaa !11
  %854 = lshr i32 %853, 16
  %855 = or i32 %852, %854
  %856 = load ptr, ptr %69, align 8, !tbaa !5
  %857 = getelementptr inbounds [10 x i32], ptr %856, i64 0, i64 3
  %858 = load i32, ptr %857, align 4, !tbaa !13
  %859 = xor i32 %858, %855
  store i32 %859, ptr %857, align 4, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 4, ptr %71) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %70) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #4
  br label %860

860:                                              ; preds = %841
  br label %861

861:                                              ; preds = %860
  br label %862

862:                                              ; preds = %861
  call void @llvm.lifetime.start.p0(i64 8, ptr %88) #4
  store ptr %19, ptr %88, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %89) #4
  %863 = load ptr, ptr %18, align 8, !tbaa !5
  %864 = getelementptr inbounds i8, ptr %863, i64 8
  %865 = getelementptr inbounds i8, ptr %864, i64 0
  %866 = load i8, ptr %865, align 1, !tbaa !13
  %867 = zext i8 %866 to i32
  %868 = shl i32 %867, 24
  %869 = load ptr, ptr %18, align 8, !tbaa !5
  %870 = getelementptr inbounds i8, ptr %869, i64 8
  %871 = getelementptr inbounds i8, ptr %870, i64 1
  %872 = load i8, ptr %871, align 1, !tbaa !13
  %873 = zext i8 %872 to i32
  %874 = shl i32 %873, 16
  %875 = or i32 %868, %874
  %876 = load ptr, ptr %18, align 8, !tbaa !5
  %877 = getelementptr inbounds i8, ptr %876, i64 8
  %878 = getelementptr inbounds i8, ptr %877, i64 2
  %879 = load i8, ptr %878, align 1, !tbaa !13
  %880 = zext i8 %879 to i32
  %881 = shl i32 %880, 8
  %882 = or i32 %875, %881
  %883 = load ptr, ptr %18, align 8, !tbaa !5
  %884 = getelementptr inbounds i8, ptr %883, i64 8
  %885 = getelementptr inbounds i8, ptr %884, i64 3
  %886 = load i8, ptr %885, align 1, !tbaa !13
  %887 = zext i8 %886 to i32
  %888 = or i32 %882, %887
  store i32 %888, ptr %89, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %90) #4
  %889 = load ptr, ptr %18, align 8, !tbaa !5
  %890 = getelementptr inbounds i8, ptr %889, i64 8
  %891 = getelementptr inbounds i8, ptr %890, i64 4
  %892 = getelementptr inbounds i8, ptr %891, i64 0
  %893 = load i8, ptr %892, align 1, !tbaa !13
  %894 = zext i8 %893 to i32
  %895 = shl i32 %894, 24
  %896 = load ptr, ptr %18, align 8, !tbaa !5
  %897 = getelementptr inbounds i8, ptr %896, i64 8
  %898 = getelementptr inbounds i8, ptr %897, i64 4
  %899 = getelementptr inbounds i8, ptr %898, i64 1
  %900 = load i8, ptr %899, align 1, !tbaa !13
  %901 = zext i8 %900 to i32
  %902 = shl i32 %901, 16
  %903 = or i32 %895, %902
  %904 = load ptr, ptr %18, align 8, !tbaa !5
  %905 = getelementptr inbounds i8, ptr %904, i64 8
  %906 = getelementptr inbounds i8, ptr %905, i64 4
  %907 = getelementptr inbounds i8, ptr %906, i64 2
  %908 = load i8, ptr %907, align 1, !tbaa !13
  %909 = zext i8 %908 to i32
  %910 = shl i32 %909, 8
  %911 = or i32 %903, %910
  %912 = load ptr, ptr %18, align 8, !tbaa !5
  %913 = getelementptr inbounds i8, ptr %912, i64 8
  %914 = getelementptr inbounds i8, ptr %913, i64 4
  %915 = getelementptr inbounds i8, ptr %914, i64 3
  %916 = load i8, ptr %915, align 1, !tbaa !13
  %917 = zext i8 %916 to i32
  %918 = or i32 %911, %917
  store i32 %918, ptr %90, align 4, !tbaa !11
  br label %919

919:                                              ; preds = %862
  br label %920

920:                                              ; preds = %919
  call void @llvm.lifetime.start.p0(i64 4, ptr %91) #4
  %921 = load i32, ptr %89, align 4, !tbaa !11
  store i32 %921, ptr %91, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %92) #4
  %922 = load i32, ptr %91, align 4, !tbaa !11
  %923 = lshr i32 %922, 1
  %924 = load i32, ptr %91, align 4, !tbaa !11
  %925 = xor i32 %923, %924
  %926 = and i32 %925, 572662306
  store i32 %926, ptr %92, align 4, !tbaa !11
  %927 = load i32, ptr %91, align 4, !tbaa !11
  %928 = load i32, ptr %92, align 4, !tbaa !11
  %929 = xor i32 %927, %928
  %930 = load i32, ptr %92, align 4, !tbaa !11
  %931 = shl i32 %930, 1
  %932 = xor i32 %929, %931
  store i32 %932, ptr %89, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %92) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %91) #4
  br label %933

933:                                              ; preds = %920
  br label %934

934:                                              ; preds = %933
  br label %935

935:                                              ; preds = %934
  call void @llvm.lifetime.start.p0(i64 4, ptr %93) #4
  %936 = load i32, ptr %89, align 4, !tbaa !11
  store i32 %936, ptr %93, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %94) #4
  %937 = load i32, ptr %93, align 4, !tbaa !11
  %938 = lshr i32 %937, 2
  %939 = load i32, ptr %93, align 4, !tbaa !11
  %940 = xor i32 %938, %939
  %941 = and i32 %940, 202116108
  store i32 %941, ptr %94, align 4, !tbaa !11
  %942 = load i32, ptr %93, align 4, !tbaa !11
  %943 = load i32, ptr %94, align 4, !tbaa !11
  %944 = xor i32 %942, %943
  %945 = load i32, ptr %94, align 4, !tbaa !11
  %946 = shl i32 %945, 2
  %947 = xor i32 %944, %946
  store i32 %947, ptr %89, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %94) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %93) #4
  br label %948

948:                                              ; preds = %935
  br label %949

949:                                              ; preds = %948
  br label %950

950:                                              ; preds = %949
  call void @llvm.lifetime.start.p0(i64 4, ptr %95) #4
  %951 = load i32, ptr %89, align 4, !tbaa !11
  store i32 %951, ptr %95, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %96) #4
  %952 = load i32, ptr %95, align 4, !tbaa !11
  %953 = lshr i32 %952, 4
  %954 = load i32, ptr %95, align 4, !tbaa !11
  %955 = xor i32 %953, %954
  %956 = and i32 %955, 15728880
  store i32 %956, ptr %96, align 4, !tbaa !11
  %957 = load i32, ptr %95, align 4, !tbaa !11
  %958 = load i32, ptr %96, align 4, !tbaa !11
  %959 = xor i32 %957, %958
  %960 = load i32, ptr %96, align 4, !tbaa !11
  %961 = shl i32 %960, 4
  %962 = xor i32 %959, %961
  store i32 %962, ptr %89, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %96) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %95) #4
  br label %963

963:                                              ; preds = %950
  br label %964

964:                                              ; preds = %963
  br label %965

965:                                              ; preds = %964
  call void @llvm.lifetime.start.p0(i64 4, ptr %97) #4
  %966 = load i32, ptr %89, align 4, !tbaa !11
  store i32 %966, ptr %97, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %98) #4
  %967 = load i32, ptr %97, align 4, !tbaa !11
  %968 = lshr i32 %967, 8
  %969 = load i32, ptr %97, align 4, !tbaa !11
  %970 = xor i32 %968, %969
  %971 = and i32 %970, 65280
  store i32 %971, ptr %98, align 4, !tbaa !11
  %972 = load i32, ptr %97, align 4, !tbaa !11
  %973 = load i32, ptr %98, align 4, !tbaa !11
  %974 = xor i32 %972, %973
  %975 = load i32, ptr %98, align 4, !tbaa !11
  %976 = shl i32 %975, 8
  %977 = xor i32 %974, %976
  store i32 %977, ptr %89, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %98) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %97) #4
  br label %978

978:                                              ; preds = %965
  br label %979

979:                                              ; preds = %978
  br label %980

980:                                              ; preds = %979
  br label %981

981:                                              ; preds = %980
  br label %982

982:                                              ; preds = %981
  br label %983

983:                                              ; preds = %982
  call void @llvm.lifetime.start.p0(i64 4, ptr %99) #4
  %984 = load i32, ptr %90, align 4, !tbaa !11
  store i32 %984, ptr %99, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %100) #4
  %985 = load i32, ptr %99, align 4, !tbaa !11
  %986 = lshr i32 %985, 1
  %987 = load i32, ptr %99, align 4, !tbaa !11
  %988 = xor i32 %986, %987
  %989 = and i32 %988, 572662306
  store i32 %989, ptr %100, align 4, !tbaa !11
  %990 = load i32, ptr %99, align 4, !tbaa !11
  %991 = load i32, ptr %100, align 4, !tbaa !11
  %992 = xor i32 %990, %991
  %993 = load i32, ptr %100, align 4, !tbaa !11
  %994 = shl i32 %993, 1
  %995 = xor i32 %992, %994
  store i32 %995, ptr %90, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %100) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %99) #4
  br label %996

996:                                              ; preds = %983
  br label %997

997:                                              ; preds = %996
  br label %998

998:                                              ; preds = %997
  call void @llvm.lifetime.start.p0(i64 4, ptr %101) #4
  %999 = load i32, ptr %90, align 4, !tbaa !11
  store i32 %999, ptr %101, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %102) #4
  %1000 = load i32, ptr %101, align 4, !tbaa !11
  %1001 = lshr i32 %1000, 2
  %1002 = load i32, ptr %101, align 4, !tbaa !11
  %1003 = xor i32 %1001, %1002
  %1004 = and i32 %1003, 202116108
  store i32 %1004, ptr %102, align 4, !tbaa !11
  %1005 = load i32, ptr %101, align 4, !tbaa !11
  %1006 = load i32, ptr %102, align 4, !tbaa !11
  %1007 = xor i32 %1005, %1006
  %1008 = load i32, ptr %102, align 4, !tbaa !11
  %1009 = shl i32 %1008, 2
  %1010 = xor i32 %1007, %1009
  store i32 %1010, ptr %90, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %102) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %101) #4
  br label %1011

1011:                                             ; preds = %998
  br label %1012

1012:                                             ; preds = %1011
  br label %1013

1013:                                             ; preds = %1012
  call void @llvm.lifetime.start.p0(i64 4, ptr %103) #4
  %1014 = load i32, ptr %90, align 4, !tbaa !11
  store i32 %1014, ptr %103, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %104) #4
  %1015 = load i32, ptr %103, align 4, !tbaa !11
  %1016 = lshr i32 %1015, 4
  %1017 = load i32, ptr %103, align 4, !tbaa !11
  %1018 = xor i32 %1016, %1017
  %1019 = and i32 %1018, 15728880
  store i32 %1019, ptr %104, align 4, !tbaa !11
  %1020 = load i32, ptr %103, align 4, !tbaa !11
  %1021 = load i32, ptr %104, align 4, !tbaa !11
  %1022 = xor i32 %1020, %1021
  %1023 = load i32, ptr %104, align 4, !tbaa !11
  %1024 = shl i32 %1023, 4
  %1025 = xor i32 %1022, %1024
  store i32 %1025, ptr %90, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %104) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %103) #4
  br label %1026

1026:                                             ; preds = %1013
  br label %1027

1027:                                             ; preds = %1026
  br label %1028

1028:                                             ; preds = %1027
  call void @llvm.lifetime.start.p0(i64 4, ptr %105) #4
  %1029 = load i32, ptr %90, align 4, !tbaa !11
  store i32 %1029, ptr %105, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %106) #4
  %1030 = load i32, ptr %105, align 4, !tbaa !11
  %1031 = lshr i32 %1030, 8
  %1032 = load i32, ptr %105, align 4, !tbaa !11
  %1033 = xor i32 %1031, %1032
  %1034 = and i32 %1033, 65280
  store i32 %1034, ptr %106, align 4, !tbaa !11
  %1035 = load i32, ptr %105, align 4, !tbaa !11
  %1036 = load i32, ptr %106, align 4, !tbaa !11
  %1037 = xor i32 %1035, %1036
  %1038 = load i32, ptr %106, align 4, !tbaa !11
  %1039 = shl i32 %1038, 8
  %1040 = xor i32 %1037, %1039
  store i32 %1040, ptr %90, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %106) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %105) #4
  br label %1041

1041:                                             ; preds = %1028
  br label %1042

1042:                                             ; preds = %1041
  br label %1043

1043:                                             ; preds = %1042
  br label %1044

1044:                                             ; preds = %1043
  %1045 = load i32, ptr %89, align 4, !tbaa !11
  %1046 = shl i32 %1045, 16
  %1047 = load i32, ptr %90, align 4, !tbaa !11
  %1048 = and i32 %1047, 65535
  %1049 = or i32 %1046, %1048
  %1050 = load ptr, ptr %88, align 8, !tbaa !5
  %1051 = getelementptr inbounds [10 x i32], ptr %1050, i64 0, i64 4
  %1052 = load i32, ptr %1051, align 8, !tbaa !13
  %1053 = xor i32 %1052, %1049
  store i32 %1053, ptr %1051, align 8, !tbaa !13
  %1054 = load i32, ptr %89, align 4, !tbaa !11
  %1055 = and i32 %1054, -65536
  %1056 = load i32, ptr %90, align 4, !tbaa !11
  %1057 = lshr i32 %1056, 16
  %1058 = or i32 %1055, %1057
  %1059 = load ptr, ptr %88, align 8, !tbaa !5
  %1060 = getelementptr inbounds [10 x i32], ptr %1059, i64 0, i64 5
  %1061 = load i32, ptr %1060, align 4, !tbaa !13
  %1062 = xor i32 %1061, %1058
  store i32 %1062, ptr %1060, align 4, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 4, ptr %90) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %89) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %88) #4
  br label %1063

1063:                                             ; preds = %1044
  br label %1064

1064:                                             ; preds = %1063
  br label %1065

1065:                                             ; preds = %1064
  call void @llvm.lifetime.start.p0(i64 8, ptr %107) #4
  store ptr %19, ptr %107, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %108) #4
  %1066 = load ptr, ptr %18, align 8, !tbaa !5
  %1067 = getelementptr inbounds i8, ptr %1066, i64 16
  %1068 = getelementptr inbounds i8, ptr %1067, i64 0
  %1069 = load i8, ptr %1068, align 1, !tbaa !13
  %1070 = zext i8 %1069 to i32
  %1071 = shl i32 %1070, 24
  %1072 = load ptr, ptr %18, align 8, !tbaa !5
  %1073 = getelementptr inbounds i8, ptr %1072, i64 16
  %1074 = getelementptr inbounds i8, ptr %1073, i64 1
  %1075 = load i8, ptr %1074, align 1, !tbaa !13
  %1076 = zext i8 %1075 to i32
  %1077 = shl i32 %1076, 16
  %1078 = or i32 %1071, %1077
  %1079 = load ptr, ptr %18, align 8, !tbaa !5
  %1080 = getelementptr inbounds i8, ptr %1079, i64 16
  %1081 = getelementptr inbounds i8, ptr %1080, i64 2
  %1082 = load i8, ptr %1081, align 1, !tbaa !13
  %1083 = zext i8 %1082 to i32
  %1084 = shl i32 %1083, 8
  %1085 = or i32 %1078, %1084
  %1086 = load ptr, ptr %18, align 8, !tbaa !5
  %1087 = getelementptr inbounds i8, ptr %1086, i64 16
  %1088 = getelementptr inbounds i8, ptr %1087, i64 3
  %1089 = load i8, ptr %1088, align 1, !tbaa !13
  %1090 = zext i8 %1089 to i32
  %1091 = or i32 %1085, %1090
  store i32 %1091, ptr %108, align 4, !tbaa !11
  br label %1092

1092:                                             ; preds = %1065
  br label %1093

1093:                                             ; preds = %1092
  call void @llvm.lifetime.start.p0(i64 4, ptr %109) #4
  %1094 = load i32, ptr %108, align 4, !tbaa !11
  store i32 %1094, ptr %109, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %110) #4
  %1095 = load i32, ptr %109, align 4, !tbaa !11
  %1096 = lshr i32 %1095, 1
  %1097 = load i32, ptr %109, align 4, !tbaa !11
  %1098 = xor i32 %1096, %1097
  %1099 = and i32 %1098, 572662306
  store i32 %1099, ptr %110, align 4, !tbaa !11
  %1100 = load i32, ptr %109, align 4, !tbaa !11
  %1101 = load i32, ptr %110, align 4, !tbaa !11
  %1102 = xor i32 %1100, %1101
  %1103 = load i32, ptr %110, align 4, !tbaa !11
  %1104 = shl i32 %1103, 1
  %1105 = xor i32 %1102, %1104
  store i32 %1105, ptr %108, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %110) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %109) #4
  br label %1106

1106:                                             ; preds = %1093
  br label %1107

1107:                                             ; preds = %1106
  br label %1108

1108:                                             ; preds = %1107
  call void @llvm.lifetime.start.p0(i64 4, ptr %111) #4
  %1109 = load i32, ptr %108, align 4, !tbaa !11
  store i32 %1109, ptr %111, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %112) #4
  %1110 = load i32, ptr %111, align 4, !tbaa !11
  %1111 = lshr i32 %1110, 2
  %1112 = load i32, ptr %111, align 4, !tbaa !11
  %1113 = xor i32 %1111, %1112
  %1114 = and i32 %1113, 202116108
  store i32 %1114, ptr %112, align 4, !tbaa !11
  %1115 = load i32, ptr %111, align 4, !tbaa !11
  %1116 = load i32, ptr %112, align 4, !tbaa !11
  %1117 = xor i32 %1115, %1116
  %1118 = load i32, ptr %112, align 4, !tbaa !11
  %1119 = shl i32 %1118, 2
  %1120 = xor i32 %1117, %1119
  store i32 %1120, ptr %108, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %112) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %111) #4
  br label %1121

1121:                                             ; preds = %1108
  br label %1122

1122:                                             ; preds = %1121
  br label %1123

1123:                                             ; preds = %1122
  call void @llvm.lifetime.start.p0(i64 4, ptr %113) #4
  %1124 = load i32, ptr %108, align 4, !tbaa !11
  store i32 %1124, ptr %113, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %114) #4
  %1125 = load i32, ptr %113, align 4, !tbaa !11
  %1126 = lshr i32 %1125, 4
  %1127 = load i32, ptr %113, align 4, !tbaa !11
  %1128 = xor i32 %1126, %1127
  %1129 = and i32 %1128, 15728880
  store i32 %1129, ptr %114, align 4, !tbaa !11
  %1130 = load i32, ptr %113, align 4, !tbaa !11
  %1131 = load i32, ptr %114, align 4, !tbaa !11
  %1132 = xor i32 %1130, %1131
  %1133 = load i32, ptr %114, align 4, !tbaa !11
  %1134 = shl i32 %1133, 4
  %1135 = xor i32 %1132, %1134
  store i32 %1135, ptr %108, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %114) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %113) #4
  br label %1136

1136:                                             ; preds = %1123
  br label %1137

1137:                                             ; preds = %1136
  br label %1138

1138:                                             ; preds = %1137
  call void @llvm.lifetime.start.p0(i64 4, ptr %115) #4
  %1139 = load i32, ptr %108, align 4, !tbaa !11
  store i32 %1139, ptr %115, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %116) #4
  %1140 = load i32, ptr %115, align 4, !tbaa !11
  %1141 = lshr i32 %1140, 8
  %1142 = load i32, ptr %115, align 4, !tbaa !11
  %1143 = xor i32 %1141, %1142
  %1144 = and i32 %1143, 65280
  store i32 %1144, ptr %116, align 4, !tbaa !11
  %1145 = load i32, ptr %115, align 4, !tbaa !11
  %1146 = load i32, ptr %116, align 4, !tbaa !11
  %1147 = xor i32 %1145, %1146
  %1148 = load i32, ptr %116, align 4, !tbaa !11
  %1149 = shl i32 %1148, 8
  %1150 = xor i32 %1147, %1149
  store i32 %1150, ptr %108, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %116) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %115) #4
  br label %1151

1151:                                             ; preds = %1138
  br label %1152

1152:                                             ; preds = %1151
  br label %1153

1153:                                             ; preds = %1152
  br label %1154

1154:                                             ; preds = %1153
  %1155 = load i32, ptr %108, align 4, !tbaa !11
  %1156 = shl i32 %1155, 16
  %1157 = load ptr, ptr %107, align 8, !tbaa !5
  %1158 = getelementptr inbounds [10 x i32], ptr %1157, i64 0, i64 6
  %1159 = load i32, ptr %1158, align 8, !tbaa !13
  %1160 = xor i32 %1159, %1156
  store i32 %1160, ptr %1158, align 8, !tbaa !13
  %1161 = load i32, ptr %108, align 4, !tbaa !11
  %1162 = and i32 %1161, -65536
  %1163 = load ptr, ptr %107, align 8, !tbaa !5
  %1164 = getelementptr inbounds [10 x i32], ptr %1163, i64 0, i64 7
  %1165 = load i32, ptr %1164, align 4, !tbaa !13
  %1166 = xor i32 %1165, %1162
  store i32 %1166, ptr %1164, align 4, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 4, ptr %108) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %107) #4
  br label %1167

1167:                                             ; preds = %1154
  br label %1168

1168:                                             ; preds = %1167
  call void @ascon_permute_sliced(ptr noundef %19, i8 noundef zeroext 0)
  call void @ascon_from_sliced(ptr noundef %19)
  br label %1169

1169:                                             ; preds = %1168
  call void @llvm.lifetime.start.p0(i64 8, ptr %117) #4
  %1170 = load ptr, ptr %10, align 8, !tbaa !5
  %1171 = load i64, ptr %13, align 8, !tbaa !9
  %1172 = getelementptr inbounds i8, ptr %1170, i64 %1171
  store ptr %1172, ptr %117, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %118) #4
  %1173 = getelementptr inbounds [40 x i8], ptr %19, i64 0, i64 0
  %1174 = getelementptr inbounds i8, ptr %1173, i64 24
  store ptr %1174, ptr %118, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %119) #4
  %1175 = load ptr, ptr %18, align 8, !tbaa !5
  %1176 = getelementptr inbounds i8, ptr %1175, i64 4
  store ptr %1176, ptr %119, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %120) #4
  store i32 16, ptr %120, align 4, !tbaa !11
  br label %1177

1177:                                             ; preds = %1180, %1169
  %1178 = load i32, ptr %120, align 4, !tbaa !11
  %1179 = icmp ugt i32 %1178, 0
  br i1 %1179, label %1180, label %1195

1180:                                             ; preds = %1177
  %1181 = load ptr, ptr %118, align 8, !tbaa !5
  %1182 = getelementptr inbounds i8, ptr %1181, i32 1
  store ptr %1182, ptr %118, align 8, !tbaa !5
  %1183 = load i8, ptr %1181, align 1, !tbaa !13
  %1184 = zext i8 %1183 to i32
  %1185 = load ptr, ptr %119, align 8, !tbaa !5
  %1186 = getelementptr inbounds i8, ptr %1185, i32 1
  store ptr %1186, ptr %119, align 8, !tbaa !5
  %1187 = load i8, ptr %1185, align 1, !tbaa !13
  %1188 = zext i8 %1187 to i32
  %1189 = xor i32 %1184, %1188
  %1190 = trunc i32 %1189 to i8
  %1191 = load ptr, ptr %117, align 8, !tbaa !5
  %1192 = getelementptr inbounds i8, ptr %1191, i32 1
  store ptr %1192, ptr %117, align 8, !tbaa !5
  store i8 %1190, ptr %1191, align 1, !tbaa !13
  %1193 = load i32, ptr %120, align 4, !tbaa !11
  %1194 = add i32 %1193, -1
  store i32 %1194, ptr %120, align 4, !tbaa !11
  br label %1177, !llvm.loop !14

1195:                                             ; preds = %1177
  call void @llvm.lifetime.end.p0(i64 4, ptr %120) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %119) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %118) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %117) #4
  br label %1196

1196:                                             ; preds = %1195
  br label %1197

1197:                                             ; preds = %1196
  call void @llvm.lifetime.end.p0(i64 40, ptr %19) #4
  ret i32 0
}

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

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

declare void @ascon_to_sliced(ptr noundef) #3

declare void @ascon_permute_sliced(ptr noundef, i8 noundef zeroext) #3

; Function Attrs: nounwind uwtable
declare hidden void @ascon_absorb_8(ptr noundef, ptr noundef, i64 noundef, i8 noundef zeroext) #0

; Function Attrs: nounwind uwtable
declare hidden void @ascon_encrypt_8(ptr noundef, ptr noundef, ptr noundef, i64 noundef, i8 noundef zeroext) #0

declare void @ascon_from_sliced(ptr noundef) #3

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

!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 = !{!"long long", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!7, !7, i64 0}
!14 = distinct !{!14, !15}
!15 = !{!"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"

%union.ascon_state_t = type { [5 x i64] }

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @ascon80pq_aead_encrypt(ptr noundef %0, ptr nocapture noundef writeonly %1, ptr noundef %2, i64 noundef %3, ptr noundef %4, i64 noundef %5, ptr nocapture noundef readnone %6, ptr nocapture noundef readonly %7, ptr nocapture noundef readonly %8) local_unnamed_addr #0 {
  %10 = alloca %union.ascon_state_t, align 8
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %10) #4
  %11 = add i64 %3, 16
  store i64 %11, ptr %1, align 8, !tbaa !5
  store <4 x i8> <i8 -96, i8 64, i8 12, i8 6>, ptr %10, align 8, !tbaa !9
  %12 = getelementptr inbounds i8, ptr %10, i64 4
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(20) %12, ptr noundef nonnull align 1 dereferenceable(20) %8, i64 20, i1 false)
  %13 = getelementptr inbounds i8, ptr %10, i64 24
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %13, ptr noundef nonnull align 1 dereferenceable(16) %7, i64 16, i1 false)
  call void @ascon_to_sliced(ptr noundef nonnull %10) #4
  call void @ascon_permute_sliced(ptr noundef nonnull %10, i8 noundef zeroext 0) #4
  %14 = load i8, ptr %8, align 1, !tbaa !9
  %15 = zext i8 %14 to i32
  %16 = shl nuw i32 %15, 24
  %17 = getelementptr inbounds i8, ptr %8, i64 1
  %18 = load i8, ptr %17, align 1, !tbaa !9
  %19 = zext i8 %18 to i32
  %20 = shl nuw nsw i32 %19, 16
  %21 = or disjoint i32 %20, %16
  %22 = getelementptr inbounds i8, ptr %8, i64 2
  %23 = load i8, ptr %22, align 1, !tbaa !9
  %24 = zext i8 %23 to i32
  %25 = shl nuw nsw i32 %24, 8
  %26 = or disjoint i32 %21, %25
  %27 = getelementptr inbounds i8, ptr %8, i64 3
  %28 = load i8, ptr %27, align 1, !tbaa !9
  %29 = zext i8 %28 to i32
  %30 = or disjoint i32 %26, %29
  %31 = lshr i32 %30, 1
  %32 = xor i32 %31, %30
  %33 = and i32 %32, 572662306
  %34 = mul nuw nsw i32 %33, 3
  %35 = xor i32 %34, %30
  %36 = lshr i32 %35, 2
  %37 = xor i32 %36, %35
  %38 = and i32 %37, 202116108
  %39 = mul nuw nsw i32 %38, 5
  %40 = xor i32 %39, %35
  %41 = lshr i32 %40, 4
  %42 = xor i32 %41, %40
  %43 = and i32 %42, 15728880
  %44 = mul nuw nsw i32 %43, 17
  %45 = xor i32 %44, %40
  %46 = lshr i32 %45, 8
  %47 = xor i32 %46, %45
  %48 = and i32 %47, 65280
  %49 = mul nuw nsw i32 %48, 257
  %50 = xor i32 %49, %45
  %51 = and i32 %50, 65535
  %52 = getelementptr inbounds i8, ptr %10, i64 16
  %53 = lshr i32 %50, 16
  %54 = getelementptr inbounds i8, ptr %8, i64 4
  %55 = load i8, ptr %54, align 1, !tbaa !9
  %56 = zext i8 %55 to i32
  %57 = shl nuw i32 %56, 24
  %58 = getelementptr inbounds i8, ptr %8, i64 5
  %59 = load i8, ptr %58, align 1, !tbaa !9
  %60 = zext i8 %59 to i32
  %61 = shl nuw nsw i32 %60, 16
  %62 = or disjoint i32 %61, %57
  %63 = getelementptr inbounds i8, ptr %8, i64 6
  %64 = load i8, ptr %63, align 1, !tbaa !9
  %65 = zext i8 %64 to i32
  %66 = shl nuw nsw i32 %65, 8
  %67 = or disjoint i32 %62, %66
  %68 = getelementptr inbounds i8, ptr %8, i64 7
  %69 = load i8, ptr %68, align 1, !tbaa !9
  %70 = zext i8 %69 to i32
  %71 = or disjoint i32 %67, %70
  %72 = getelementptr inbounds i8, ptr %8, i64 8
  %73 = load i8, ptr %72, align 1, !tbaa !9
  %74 = zext i8 %73 to i32
  %75 = shl nuw i32 %74, 24
  %76 = getelementptr inbounds i8, ptr %8, i64 9
  %77 = load i8, ptr %76, align 1, !tbaa !9
  %78 = zext i8 %77 to i32
  %79 = shl nuw nsw i32 %78, 16
  %80 = or disjoint i32 %79, %75
  %81 = getelementptr inbounds i8, ptr %8, i64 10
  %82 = load i8, ptr %81, align 1, !tbaa !9
  %83 = zext i8 %82 to i32
  %84 = shl nuw nsw i32 %83, 8
  %85 = or disjoint i32 %80, %84
  %86 = getelementptr inbounds i8, ptr %8, i64 11
  %87 = load i8, ptr %86, align 1, !tbaa !9
  %88 = zext i8 %87 to i32
  %89 = or disjoint i32 %85, %88
  %90 = lshr i32 %71, 1
  %91 = xor i32 %90, %71
  %92 = and i32 %91, 572662306
  %93 = mul nuw nsw i32 %92, 3
  %94 = xor i32 %93, %71
  %95 = lshr i32 %94, 2
  %96 = xor i32 %95, %94
  %97 = and i32 %96, 202116108
  %98 = mul nuw nsw i32 %97, 5
  %99 = xor i32 %98, %94
  %100 = lshr i32 %99, 4
  %101 = xor i32 %100, %99
  %102 = and i32 %101, 15728880
  %103 = mul nuw nsw i32 %102, 17
  %104 = xor i32 %103, %99
  %105 = lshr i32 %104, 8
  %106 = xor i32 %105, %104
  %107 = and i32 %106, 65280
  %108 = mul nuw nsw i32 %107, 257
  %109 = xor i32 %108, %104
  %110 = lshr i32 %89, 1
  %111 = xor i32 %110, %89
  %112 = and i32 %111, 572662306
  %113 = mul nuw nsw i32 %112, 3
  %114 = xor i32 %113, %89
  %115 = lshr i32 %114, 2
  %116 = xor i32 %115, %114
  %117 = and i32 %116, 202116108
  %118 = mul nuw nsw i32 %117, 5
  %119 = xor i32 %118, %114
  %120 = lshr i32 %119, 4
  %121 = xor i32 %120, %119
  %122 = and i32 %121, 15728880
  %123 = mul nuw nsw i32 %122, 17
  %124 = xor i32 %123, %119
  %125 = lshr i32 %124, 8
  %126 = xor i32 %125, %124
  %127 = and i32 %126, 65280
  %128 = mul nuw nsw i32 %127, 257
  %129 = xor i32 %128, %124
  %130 = shl i32 %109, 16
  %131 = and i32 %129, 65535
  %132 = or disjoint i32 %131, %130
  %133 = and i32 %109, -65536
  %134 = lshr i32 %129, 16
  %135 = or disjoint i32 %134, %133
  %136 = load <4 x i32>, ptr %52, align 8, !tbaa !9
  %137 = insertelement <4 x i32> poison, i32 %51, i64 0
  %138 = insertelement <4 x i32> %137, i32 %53, i64 1
  %139 = insertelement <4 x i32> %138, i32 %132, i64 2
  %140 = insertelement <4 x i32> %139, i32 %135, i64 3
  %141 = xor <4 x i32> %140, %136
  store <4 x i32> %141, ptr %52, align 8, !tbaa !9
  %142 = getelementptr inbounds i8, ptr %8, i64 12
  %143 = load i8, ptr %142, align 1, !tbaa !9
  %144 = zext i8 %143 to i32
  %145 = shl nuw i32 %144, 24
  %146 = getelementptr inbounds i8, ptr %8, i64 13
  %147 = load i8, ptr %146, align 1, !tbaa !9
  %148 = zext i8 %147 to i32
  %149 = shl nuw nsw i32 %148, 16
  %150 = or disjoint i32 %149, %145
  %151 = getelementptr inbounds i8, ptr %8, i64 14
  %152 = load i8, ptr %151, align 1, !tbaa !9
  %153 = zext i8 %152 to i32
  %154 = shl nuw nsw i32 %153, 8
  %155 = or disjoint i32 %150, %154
  %156 = getelementptr inbounds i8, ptr %8, i64 15
  %157 = load i8, ptr %156, align 1, !tbaa !9
  %158 = zext i8 %157 to i32
  %159 = or disjoint i32 %155, %158
  %160 = getelementptr inbounds i8, ptr %8, i64 16
  %161 = load i8, ptr %160, align 1, !tbaa !9
  %162 = zext i8 %161 to i32
  %163 = shl nuw i32 %162, 24
  %164 = getelementptr inbounds i8, ptr %8, i64 17
  %165 = load i8, ptr %164, align 1, !tbaa !9
  %166 = zext i8 %165 to i32
  %167 = shl nuw nsw i32 %166, 16
  %168 = or disjoint i32 %167, %163
  %169 = getelementptr inbounds i8, ptr %8, i64 18
  %170 = load i8, ptr %169, align 1, !tbaa !9
  %171 = zext i8 %170 to i32
  %172 = shl nuw nsw i32 %171, 8
  %173 = or disjoint i32 %168, %172
  %174 = getelementptr inbounds i8, ptr %8, i64 19
  %175 = load i8, ptr %174, align 1, !tbaa !9
  %176 = zext i8 %175 to i32
  %177 = or disjoint i32 %173, %176
  %178 = lshr i32 %159, 1
  %179 = xor i32 %178, %159
  %180 = and i32 %179, 572662306
  %181 = mul nuw nsw i32 %180, 3
  %182 = xor i32 %181, %159
  %183 = lshr i32 %182, 2
  %184 = xor i32 %183, %182
  %185 = and i32 %184, 202116108
  %186 = mul nuw nsw i32 %185, 5
  %187 = xor i32 %186, %182
  %188 = lshr i32 %187, 4
  %189 = xor i32 %188, %187
  %190 = and i32 %189, 15728880
  %191 = mul nuw nsw i32 %190, 17
  %192 = xor i32 %191, %187
  %193 = lshr i32 %192, 8
  %194 = xor i32 %193, %192
  %195 = and i32 %194, 65280
  %196 = mul nuw nsw i32 %195, 257
  %197 = xor i32 %196, %192
  %198 = lshr i32 %177, 1
  %199 = xor i32 %198, %177
  %200 = and i32 %199, 572662306
  %201 = mul nuw nsw i32 %200, 3
  %202 = xor i32 %201, %177
  %203 = lshr i32 %202, 2
  %204 = xor i32 %203, %202
  %205 = and i32 %204, 202116108
  %206 = mul nuw nsw i32 %205, 5
  %207 = xor i32 %206, %202
  %208 = lshr i32 %207, 4
  %209 = xor i32 %208, %207
  %210 = and i32 %209, 15728880
  %211 = mul nuw nsw i32 %210, 17
  %212 = xor i32 %211, %207
  %213 = lshr i32 %212, 8
  %214 = xor i32 %213, %212
  %215 = and i32 %214, 65280
  %216 = mul nuw nsw i32 %215, 257
  %217 = xor i32 %216, %212
  %218 = shl i32 %197, 16
  %219 = and i32 %217, 65535
  %220 = or disjoint i32 %219, %218
  %221 = getelementptr inbounds i8, ptr %10, i64 32
  %222 = load i32, ptr %221, align 8, !tbaa !9
  %223 = xor i32 %220, %222
  store i32 %223, ptr %221, align 8, !tbaa !9
  %224 = and i32 %197, -65536
  %225 = lshr i32 %217, 16
  %226 = or disjoint i32 %225, %224
  %227 = getelementptr inbounds i8, ptr %10, i64 36
  %228 = load i32, ptr %227, align 4, !tbaa !9
  %229 = xor i32 %226, %228
  store i32 %229, ptr %227, align 4, !tbaa !9
  %.not = icmp eq i64 %5, 0
  br i1 %.not, label %231, label %230

230:                                              ; preds = %9
  call void @ascon_absorb_8(ptr noundef nonnull %10, ptr noundef %4, i64 noundef %5, i8 noundef zeroext 6)
  %.pre = load i32, ptr %221, align 8, !tbaa !9
  br label %231

231:                                              ; preds = %230, %9
  %232 = phi i32 [ %.pre, %230 ], [ %223, %9 ]
  %233 = xor i32 %232, 1
  store i32 %233, ptr %221, align 8, !tbaa !9
  call void @ascon_encrypt_8(ptr noundef nonnull %10, ptr noundef %0, ptr noundef %2, i64 noundef %3, i8 noundef zeroext 6)
  %234 = load i8, ptr %8, align 1, !tbaa !9
  %235 = zext i8 %234 to i32
  %236 = shl nuw i32 %235, 24
  %237 = load i8, ptr %17, align 1, !tbaa !9
  %238 = zext i8 %237 to i32
  %239 = shl nuw nsw i32 %238, 16
  %240 = or disjoint i32 %239, %236
  %241 = load i8, ptr %22, align 1, !tbaa !9
  %242 = zext i8 %241 to i32
  %243 = shl nuw nsw i32 %242, 8
  %244 = or disjoint i32 %240, %243
  %245 = load i8, ptr %27, align 1, !tbaa !9
  %246 = zext i8 %245 to i32
  %247 = or disjoint i32 %244, %246
  %248 = load i8, ptr %54, align 1, !tbaa !9
  %249 = zext i8 %248 to i32
  %250 = shl nuw i32 %249, 24
  %251 = load i8, ptr %58, align 1, !tbaa !9
  %252 = zext i8 %251 to i32
  %253 = shl nuw nsw i32 %252, 16
  %254 = or disjoint i32 %253, %250
  %255 = load i8, ptr %63, align 1, !tbaa !9
  %256 = zext i8 %255 to i32
  %257 = shl nuw nsw i32 %256, 8
  %258 = or disjoint i32 %254, %257
  %259 = load i8, ptr %68, align 1, !tbaa !9
  %260 = zext i8 %259 to i32
  %261 = or disjoint i32 %258, %260
  %262 = lshr i32 %247, 1
  %263 = xor i32 %262, %247
  %264 = and i32 %263, 572662306
  %265 = mul nuw nsw i32 %264, 3
  %266 = xor i32 %265, %247
  %267 = lshr i32 %266, 2
  %268 = xor i32 %267, %266
  %269 = and i32 %268, 202116108
  %270 = mul nuw nsw i32 %269, 5
  %271 = xor i32 %270, %266
  %272 = lshr i32 %271, 4
  %273 = xor i32 %272, %271
  %274 = and i32 %273, 15728880
  %275 = mul nuw nsw i32 %274, 17
  %276 = xor i32 %275, %271
  %277 = lshr i32 %276, 8
  %278 = xor i32 %277, %276
  %279 = and i32 %278, 65280
  %280 = mul nuw nsw i32 %279, 257
  %281 = xor i32 %280, %276
  %282 = lshr i32 %261, 1
  %283 = xor i32 %282, %261
  %284 = and i32 %283, 572662306
  %285 = mul nuw nsw i32 %284, 3
  %286 = xor i32 %285, %261
  %287 = lshr i32 %286, 2
  %288 = xor i32 %287, %286
  %289 = and i32 %288, 202116108
  %290 = mul nuw nsw i32 %289, 5
  %291 = xor i32 %290, %286
  %292 = lshr i32 %291, 4
  %293 = xor i32 %292, %291
  %294 = and i32 %293, 15728880
  %295 = mul nuw nsw i32 %294, 17
  %296 = xor i32 %295, %291
  %297 = lshr i32 %296, 8
  %298 = xor i32 %297, %296
  %299 = and i32 %298, 65280
  %300 = mul nuw nsw i32 %299, 257
  %301 = xor i32 %300, %296
  %302 = shl i32 %281, 16
  %303 = and i32 %301, 65535
  %304 = or disjoint i32 %303, %302
  %305 = getelementptr inbounds i8, ptr %10, i64 8
  %306 = load i32, ptr %305, align 8, !tbaa !9
  %307 = xor i32 %304, %306
  store i32 %307, ptr %305, align 8, !tbaa !9
  %308 = and i32 %281, -65536
  %309 = lshr i32 %301, 16
  %310 = or disjoint i32 %309, %308
  %311 = getelementptr inbounds i8, ptr %10, i64 12
  %312 = load i32, ptr %311, align 4, !tbaa !9
  %313 = xor i32 %310, %312
  store i32 %313, ptr %311, align 4, !tbaa !9
  %314 = load i8, ptr %72, align 1, !tbaa !9
  %315 = zext i8 %314 to i32
  %316 = shl nuw i32 %315, 24
  %317 = load i8, ptr %76, align 1, !tbaa !9
  %318 = zext i8 %317 to i32
  %319 = shl nuw nsw i32 %318, 16
  %320 = or disjoint i32 %319, %316
  %321 = load i8, ptr %81, align 1, !tbaa !9
  %322 = zext i8 %321 to i32
  %323 = shl nuw nsw i32 %322, 8
  %324 = or disjoint i32 %320, %323
  %325 = load i8, ptr %86, align 1, !tbaa !9
  %326 = zext i8 %325 to i32
  %327 = or disjoint i32 %324, %326
  %328 = load i8, ptr %142, align 1, !tbaa !9
  %329 = zext i8 %328 to i32
  %330 = shl nuw i32 %329, 24
  %331 = load i8, ptr %146, align 1, !tbaa !9
  %332 = zext i8 %331 to i32
  %333 = shl nuw nsw i32 %332, 16
  %334 = or disjoint i32 %333, %330
  %335 = load i8, ptr %151, align 1, !tbaa !9
  %336 = zext i8 %335 to i32
  %337 = shl nuw nsw i32 %336, 8
  %338 = or disjoint i32 %334, %337
  %339 = load i8, ptr %156, align 1, !tbaa !9
  %340 = zext i8 %339 to i32
  %341 = or disjoint i32 %338, %340
  %342 = lshr i32 %327, 1
  %343 = xor i32 %342, %327
  %344 = and i32 %343, 572662306
  %345 = mul nuw nsw i32 %344, 3
  %346 = xor i32 %345, %327
  %347 = lshr i32 %346, 2
  %348 = xor i32 %347, %346
  %349 = and i32 %348, 202116108
  %350 = mul nuw nsw i32 %349, 5
  %351 = xor i32 %350, %346
  %352 = lshr i32 %351, 4
  %353 = xor i32 %352, %351
  %354 = and i32 %353, 15728880
  %355 = mul nuw nsw i32 %354, 17
  %356 = xor i32 %355, %351
  %357 = lshr i32 %356, 8
  %358 = xor i32 %357, %356
  %359 = and i32 %358, 65280
  %360 = mul nuw nsw i32 %359, 257
  %361 = xor i32 %360, %356
  %362 = lshr i32 %341, 1
  %363 = xor i32 %362, %341
  %364 = and i32 %363, 572662306
  %365 = mul nuw nsw i32 %364, 3
  %366 = xor i32 %365, %341
  %367 = lshr i32 %366, 2
  %368 = xor i32 %367, %366
  %369 = and i32 %368, 202116108
  %370 = mul nuw nsw i32 %369, 5
  %371 = xor i32 %370, %366
  %372 = lshr i32 %371, 4
  %373 = xor i32 %372, %371
  %374 = and i32 %373, 15728880
  %375 = mul nuw nsw i32 %374, 17
  %376 = xor i32 %375, %371
  %377 = lshr i32 %376, 8
  %378 = xor i32 %377, %376
  %379 = and i32 %378, 65280
  %380 = mul nuw nsw i32 %379, 257
  %381 = xor i32 %380, %376
  %382 = shl i32 %361, 16
  %383 = and i32 %381, 65535
  %384 = or disjoint i32 %383, %382
  %385 = and i32 %361, -65536
  %386 = lshr i32 %381, 16
  %387 = or disjoint i32 %386, %385
  %388 = load i8, ptr %160, align 1, !tbaa !9
  %389 = zext i8 %388 to i32
  %390 = shl nuw i32 %389, 24
  %391 = load i8, ptr %164, align 1, !tbaa !9
  %392 = zext i8 %391 to i32
  %393 = shl nuw nsw i32 %392, 16
  %394 = or disjoint i32 %393, %390
  %395 = load i8, ptr %169, align 1, !tbaa !9
  %396 = zext i8 %395 to i32
  %397 = shl nuw nsw i32 %396, 8
  %398 = or disjoint i32 %394, %397
  %399 = load i8, ptr %174, align 1, !tbaa !9
  %400 = zext i8 %399 to i32
  %401 = or disjoint i32 %398, %400
  %402 = lshr i32 %401, 1
  %403 = xor i32 %402, %401
  %404 = and i32 %403, 572662306
  %405 = mul nuw nsw i32 %404, 3
  %406 = xor i32 %405, %401
  %407 = lshr i32 %406, 2
  %408 = xor i32 %407, %406
  %409 = and i32 %408, 202116108
  %410 = mul nuw nsw i32 %409, 5
  %411 = xor i32 %410, %406
  %412 = lshr i32 %411, 4
  %413 = xor i32 %412, %411
  %414 = and i32 %413, 15728880
  %415 = mul nuw nsw i32 %414, 17
  %416 = xor i32 %415, %411
  %417 = lshr i32 %416, 8
  %418 = xor i32 %417, %416
  %419 = and i32 %418, 65280
  %420 = mul nuw nsw i32 %419, 257
  %421 = xor i32 %420, %416
  %422 = shl i32 %421, 16
  %423 = and i32 %421, -65536
  %424 = load <4 x i32>, ptr %52, align 8, !tbaa !9
  %425 = insertelement <4 x i32> poison, i32 %384, i64 0
  %426 = insertelement <4 x i32> %425, i32 %387, i64 1
  %427 = insertelement <4 x i32> %426, i32 %422, i64 2
  %428 = insertelement <4 x i32> %427, i32 %423, i64 3
  %429 = xor <4 x i32> %428, %424
  store <4 x i32> %429, ptr %52, align 8, !tbaa !9
  call void @ascon_permute_sliced(ptr noundef nonnull %10, i8 noundef zeroext 0) #4
  call void @ascon_from_sliced(ptr noundef nonnull %10) #4
  %430 = getelementptr inbounds i8, ptr %0, i64 %3
  %431 = getelementptr inbounds i8, ptr %10, i64 25
  %432 = load i8, ptr %13, align 8, !tbaa !9
  %433 = getelementptr inbounds i8, ptr %8, i64 5
  %434 = load i8, ptr %54, align 1, !tbaa !9
  %435 = xor i8 %434, %432
  %436 = getelementptr inbounds i8, ptr %430, i64 1
  store i8 %435, ptr %430, align 1, !tbaa !9
  %437 = getelementptr inbounds i8, ptr %10, i64 26
  %438 = load i8, ptr %431, align 1, !tbaa !9
  %439 = getelementptr inbounds i8, ptr %8, i64 6
  %440 = load i8, ptr %433, align 1, !tbaa !9
  %441 = xor i8 %440, %438
  %442 = getelementptr inbounds i8, ptr %430, i64 2
  store i8 %441, ptr %436, align 1, !tbaa !9
  %443 = getelementptr inbounds i8, ptr %10, i64 27
  %444 = load i8, ptr %437, align 2, !tbaa !9
  %445 = getelementptr inbounds i8, ptr %8, i64 7
  %446 = load i8, ptr %439, align 1, !tbaa !9
  %447 = xor i8 %446, %444
  %448 = getelementptr inbounds i8, ptr %430, i64 3
  store i8 %447, ptr %442, align 1, !tbaa !9
  %449 = getelementptr inbounds i8, ptr %10, i64 28
  %450 = load i8, ptr %443, align 1, !tbaa !9
  %451 = getelementptr inbounds i8, ptr %8, i64 8
  %452 = load i8, ptr %445, align 1, !tbaa !9
  %453 = xor i8 %452, %450
  %454 = getelementptr inbounds i8, ptr %430, i64 4
  store i8 %453, ptr %448, align 1, !tbaa !9
  %455 = getelementptr inbounds i8, ptr %10, i64 29
  %456 = load i8, ptr %449, align 4, !tbaa !9
  %457 = getelementptr inbounds i8, ptr %8, i64 9
  %458 = load i8, ptr %451, align 1, !tbaa !9
  %459 = xor i8 %458, %456
  %460 = getelementptr inbounds i8, ptr %430, i64 5
  store i8 %459, ptr %454, align 1, !tbaa !9
  %461 = getelementptr inbounds i8, ptr %10, i64 30
  %462 = load i8, ptr %455, align 1, !tbaa !9
  %463 = getelementptr inbounds i8, ptr %8, i64 10
  %464 = load i8, ptr %457, align 1, !tbaa !9
  %465 = xor i8 %464, %462
  %466 = getelementptr inbounds i8, ptr %430, i64 6
  store i8 %465, ptr %460, align 1, !tbaa !9
  %467 = getelementptr inbounds i8, ptr %10, i64 31
  %468 = load i8, ptr %461, align 2, !tbaa !9
  %469 = getelementptr inbounds i8, ptr %8, i64 11
  %470 = load i8, ptr %463, align 1, !tbaa !9
  %471 = xor i8 %470, %468
  %472 = getelementptr inbounds i8, ptr %430, i64 7
  store i8 %471, ptr %466, align 1, !tbaa !9
  %473 = getelementptr inbounds i8, ptr %10, i64 32
  %474 = load i8, ptr %467, align 1, !tbaa !9
  %475 = getelementptr inbounds i8, ptr %8, i64 12
  %476 = load i8, ptr %469, align 1, !tbaa !9
  %477 = xor i8 %476, %474
  %478 = getelementptr inbounds i8, ptr %430, i64 8
  store i8 %477, ptr %472, align 1, !tbaa !9
  %479 = getelementptr inbounds i8, ptr %10, i64 33
  %480 = load i8, ptr %473, align 8, !tbaa !9
  %481 = getelementptr inbounds i8, ptr %8, i64 13
  %482 = load i8, ptr %475, align 1, !tbaa !9
  %483 = xor i8 %482, %480
  %484 = getelementptr inbounds i8, ptr %430, i64 9
  store i8 %483, ptr %478, align 1, !tbaa !9
  %485 = getelementptr inbounds i8, ptr %10, i64 34
  %486 = load i8, ptr %479, align 1, !tbaa !9
  %487 = getelementptr inbounds i8, ptr %8, i64 14
  %488 = load i8, ptr %481, align 1, !tbaa !9
  %489 = xor i8 %488, %486
  %490 = getelementptr inbounds i8, ptr %430, i64 10
  store i8 %489, ptr %484, align 1, !tbaa !9
  %491 = getelementptr inbounds i8, ptr %10, i64 35
  %492 = load i8, ptr %485, align 2, !tbaa !9
  %493 = getelementptr inbounds i8, ptr %8, i64 15
  %494 = load i8, ptr %487, align 1, !tbaa !9
  %495 = xor i8 %494, %492
  %496 = getelementptr inbounds i8, ptr %430, i64 11
  store i8 %495, ptr %490, align 1, !tbaa !9
  %497 = getelementptr inbounds i8, ptr %10, i64 36
  %498 = load i8, ptr %491, align 1, !tbaa !9
  %499 = getelementptr inbounds i8, ptr %8, i64 16
  %500 = load i8, ptr %493, align 1, !tbaa !9
  %501 = xor i8 %500, %498
  %502 = getelementptr inbounds i8, ptr %430, i64 12
  store i8 %501, ptr %496, align 1, !tbaa !9
  %503 = getelementptr inbounds i8, ptr %10, i64 37
  %504 = load i8, ptr %497, align 4, !tbaa !9
  %505 = getelementptr inbounds i8, ptr %8, i64 17
  %506 = load i8, ptr %499, align 1, !tbaa !9
  %507 = xor i8 %506, %504
  %508 = getelementptr inbounds i8, ptr %430, i64 13
  store i8 %507, ptr %502, align 1, !tbaa !9
  %509 = getelementptr inbounds i8, ptr %10, i64 38
  %510 = load i8, ptr %503, align 1, !tbaa !9
  %511 = getelementptr inbounds i8, ptr %8, i64 18
  %512 = load i8, ptr %505, align 1, !tbaa !9
  %513 = xor i8 %512, %510
  %514 = getelementptr inbounds i8, ptr %430, i64 14
  store i8 %513, ptr %508, align 1, !tbaa !9
  %515 = getelementptr inbounds i8, ptr %10, i64 39
  %516 = load i8, ptr %509, align 2, !tbaa !9
  %517 = getelementptr inbounds i8, ptr %8, i64 19
  %518 = load i8, ptr %511, align 1, !tbaa !9
  %519 = xor i8 %518, %516
  %520 = getelementptr inbounds i8, ptr %430, i64 15
  store i8 %519, ptr %514, align 1, !tbaa !9
  %521 = load i8, ptr %515, align 1, !tbaa !9
  %522 = load i8, ptr %517, align 1, !tbaa !9
  %523 = xor i8 %522, %521
  store i8 %523, ptr %520, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %10) #4
  ret i32 0
}

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

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

declare void @ascon_to_sliced(ptr noundef) local_unnamed_addr #3

declare void @ascon_permute_sliced(ptr noundef, i8 noundef zeroext) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare hidden void @ascon_absorb_8(ptr noundef, ptr noundef, i64 noundef, i8 noundef zeroext) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden void @ascon_encrypt_8(ptr noundef, ptr noundef, ptr noundef, i64 noundef, i8 noundef zeroext) local_unnamed_addr #0

declare void @ascon_from_sliced(ptr noundef) local_unnamed_addr #3

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

!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 long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!7, !7, i64 0}


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