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

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

%struct.knot256_masked_state_t = type { [4 x %struct.mask_x4_uint64_t] }
%struct.mask_x4_uint64_t = type { i64, i64, i64, i64 }

; Function Attrs: nounwind uwtable
define dso_local i32 @knot_masked_128_256_aead_decrypt(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, i64 noundef %4, ptr noundef %5, i64 noundef %6, ptr noundef %7, ptr noundef %8) #0 {
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i64, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i64, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca %struct.knot256_masked_state_t, align 8
  %21 = alloca [16 x i8], align 16
  %22 = alloca i32, align 4
  %23 = alloca i64, align 8
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  %26 = alloca i64, align 8
  %27 = alloca i64, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca i32, align 4
  %32 = alloca i64, align 8
  %33 = alloca i64, align 8
  store ptr %0, ptr %11, align 8, !tbaa !5
  store ptr %1, ptr %12, align 8, !tbaa !5
  store ptr %2, ptr %13, align 8, !tbaa !5
  store ptr %3, ptr %14, align 8, !tbaa !5
  store i64 %4, ptr %15, align 8, !tbaa !9
  store ptr %5, ptr %16, align 8, !tbaa !5
  store i64 %6, ptr %17, align 8, !tbaa !9
  store ptr %7, ptr %18, align 8, !tbaa !5
  store ptr %8, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 128, ptr %20) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #4
  %34 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %34, ptr %24, align 8, !tbaa !5
  %35 = load ptr, ptr %13, align 8, !tbaa !5
  %36 = load i64, ptr %15, align 8, !tbaa !9
  %37 = icmp ult i64 %36, 16
  br i1 %37, label %38, label %39

38:                                               ; preds = %9
  store i32 -1, ptr %10, align 4
  store i32 1, ptr %25, align 4
  br label %463

39:                                               ; preds = %9
  %40 = load i64, ptr %15, align 8, !tbaa !9
  %41 = sub i64 %40, 16
  %42 = load ptr, ptr %12, align 8, !tbaa !5
  store i64 %41, ptr %42, align 8, !tbaa !9
  %43 = load ptr, ptr %19, align 8, !tbaa !5
  %44 = load ptr, ptr %18, align 8, !tbaa !5
  call void @knot_aead_128_256_init_masked(ptr noundef %20, ptr noundef %43, ptr noundef %44)
  %45 = load i64, ptr %17, align 8, !tbaa !9
  %46 = icmp ugt i64 %45, 0
  br i1 %46, label %47, label %50

47:                                               ; preds = %39
  %48 = load ptr, ptr %16, align 8, !tbaa !5
  %49 = load i64, ptr %17, align 8, !tbaa !9
  call void @knot_aead_128_256_absorb_ad_masked(ptr noundef %20, ptr noundef %48, i64 noundef %49)
  br label %50

50:                                               ; preds = %47, %39
  br label %51

51:                                               ; preds = %50
  %52 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %53 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %52, i64 0, i64 3
  %54 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %53, i32 0, i32 0
  %55 = load i64, ptr %54, align 8, !tbaa !11
  %56 = xor i64 %55, -9223372036854775808
  store i64 %56, ptr %54, align 8, !tbaa !11
  br label %57

57:                                               ; preds = %51
  br label %58

58:                                               ; preds = %57
  %59 = load i64, ptr %15, align 8, !tbaa !9
  %60 = sub i64 %59, 16
  store i64 %60, ptr %15, align 8, !tbaa !9
  %61 = load i64, ptr %15, align 8, !tbaa !9
  %62 = icmp ugt i64 %61, 0
  br i1 %62, label %63, label %332

63:                                               ; preds = %58
  br label %64

64:                                               ; preds = %185, %63
  %65 = load i64, ptr %15, align 8, !tbaa !9
  %66 = icmp uge i64 %65, 8
  br i1 %66, label %67, label %192

67:                                               ; preds = %64
  %68 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %69 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %68, i64 0, i64 0
  %70 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %69, i32 0, i32 0
  %71 = load i64, ptr %70, align 8, !tbaa !11
  %72 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %73 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %72, i64 0, i64 0
  %74 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %73, i32 0, i32 1
  %75 = load i64, ptr %74, align 8, !tbaa !14
  %76 = xor i64 %71, %75
  %77 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %78 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %77, i64 0, i64 0
  %79 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %78, i32 0, i32 2
  %80 = load i64, ptr %79, align 8, !tbaa !15
  %81 = xor i64 %76, %80
  %82 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %83 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %82, i64 0, i64 0
  %84 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %83, i32 0, i32 3
  %85 = load i64, ptr %84, align 8, !tbaa !16
  %86 = xor i64 %81, %85
  %87 = load ptr, ptr %14, align 8, !tbaa !5
  %88 = getelementptr inbounds i8, ptr %87, i64 7
  %89 = load i8, ptr %88, align 1, !tbaa !17
  %90 = zext i8 %89 to i64
  %91 = shl i64 %90, 56
  %92 = load ptr, ptr %14, align 8, !tbaa !5
  %93 = getelementptr inbounds i8, ptr %92, i64 6
  %94 = load i8, ptr %93, align 1, !tbaa !17
  %95 = zext i8 %94 to i64
  %96 = shl i64 %95, 48
  %97 = or i64 %91, %96
  %98 = load ptr, ptr %14, align 8, !tbaa !5
  %99 = getelementptr inbounds i8, ptr %98, i64 5
  %100 = load i8, ptr %99, align 1, !tbaa !17
  %101 = zext i8 %100 to i64
  %102 = shl i64 %101, 40
  %103 = or i64 %97, %102
  %104 = load ptr, ptr %14, align 8, !tbaa !5
  %105 = getelementptr inbounds i8, ptr %104, i64 4
  %106 = load i8, ptr %105, align 1, !tbaa !17
  %107 = zext i8 %106 to i64
  %108 = shl i64 %107, 32
  %109 = or i64 %103, %108
  %110 = load ptr, ptr %14, align 8, !tbaa !5
  %111 = getelementptr inbounds i8, ptr %110, i64 3
  %112 = load i8, ptr %111, align 1, !tbaa !17
  %113 = zext i8 %112 to i64
  %114 = shl i64 %113, 24
  %115 = or i64 %109, %114
  %116 = load ptr, ptr %14, align 8, !tbaa !5
  %117 = getelementptr inbounds i8, ptr %116, i64 2
  %118 = load i8, ptr %117, align 1, !tbaa !17
  %119 = zext i8 %118 to i64
  %120 = shl i64 %119, 16
  %121 = or i64 %115, %120
  %122 = load ptr, ptr %14, align 8, !tbaa !5
  %123 = getelementptr inbounds i8, ptr %122, i64 1
  %124 = load i8, ptr %123, align 1, !tbaa !17
  %125 = zext i8 %124 to i64
  %126 = shl i64 %125, 8
  %127 = or i64 %121, %126
  %128 = load ptr, ptr %14, align 8, !tbaa !5
  %129 = getelementptr inbounds i8, ptr %128, i64 0
  %130 = load i8, ptr %129, align 1, !tbaa !17
  %131 = zext i8 %130 to i64
  %132 = or i64 %127, %131
  %133 = xor i64 %86, %132
  store i64 %133, ptr %23, align 8, !tbaa !18
  br label %134

134:                                              ; preds = %67
  %135 = load i64, ptr %23, align 8, !tbaa !18
  %136 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %137 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %136, i64 0, i64 0
  %138 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %137, i32 0, i32 0
  %139 = load i64, ptr %138, align 8, !tbaa !11
  %140 = xor i64 %139, %135
  store i64 %140, ptr %138, align 8, !tbaa !11
  br label %141

141:                                              ; preds = %134
  br label %142

142:                                              ; preds = %141
  br label %143

143:                                              ; preds = %142
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #4
  %144 = load i64, ptr %23, align 8, !tbaa !18
  store i64 %144, ptr %26, align 8, !tbaa !18
  %145 = load i64, ptr %26, align 8, !tbaa !18
  %146 = trunc i64 %145 to i8
  %147 = load ptr, ptr %11, align 8, !tbaa !5
  %148 = getelementptr inbounds i8, ptr %147, i64 0
  store i8 %146, ptr %148, align 1, !tbaa !17
  %149 = load i64, ptr %26, align 8, !tbaa !18
  %150 = lshr i64 %149, 8
  %151 = trunc i64 %150 to i8
  %152 = load ptr, ptr %11, align 8, !tbaa !5
  %153 = getelementptr inbounds i8, ptr %152, i64 1
  store i8 %151, ptr %153, align 1, !tbaa !17
  %154 = load i64, ptr %26, align 8, !tbaa !18
  %155 = lshr i64 %154, 16
  %156 = trunc i64 %155 to i8
  %157 = load ptr, ptr %11, align 8, !tbaa !5
  %158 = getelementptr inbounds i8, ptr %157, i64 2
  store i8 %156, ptr %158, align 1, !tbaa !17
  %159 = load i64, ptr %26, align 8, !tbaa !18
  %160 = lshr i64 %159, 24
  %161 = trunc i64 %160 to i8
  %162 = load ptr, ptr %11, align 8, !tbaa !5
  %163 = getelementptr inbounds i8, ptr %162, i64 3
  store i8 %161, ptr %163, align 1, !tbaa !17
  %164 = load i64, ptr %26, align 8, !tbaa !18
  %165 = lshr i64 %164, 32
  %166 = trunc i64 %165 to i8
  %167 = load ptr, ptr %11, align 8, !tbaa !5
  %168 = getelementptr inbounds i8, ptr %167, i64 4
  store i8 %166, ptr %168, align 1, !tbaa !17
  %169 = load i64, ptr %26, align 8, !tbaa !18
  %170 = lshr i64 %169, 40
  %171 = trunc i64 %170 to i8
  %172 = load ptr, ptr %11, align 8, !tbaa !5
  %173 = getelementptr inbounds i8, ptr %172, i64 5
  store i8 %171, ptr %173, align 1, !tbaa !17
  %174 = load i64, ptr %26, align 8, !tbaa !18
  %175 = lshr i64 %174, 48
  %176 = trunc i64 %175 to i8
  %177 = load ptr, ptr %11, align 8, !tbaa !5
  %178 = getelementptr inbounds i8, ptr %177, i64 6
  store i8 %176, ptr %178, align 1, !tbaa !17
  %179 = load i64, ptr %26, align 8, !tbaa !18
  %180 = lshr i64 %179, 56
  %181 = trunc i64 %180 to i8
  %182 = load ptr, ptr %11, align 8, !tbaa !5
  %183 = getelementptr inbounds i8, ptr %182, i64 7
  store i8 %181, ptr %183, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #4
  br label %184

184:                                              ; preds = %143
  br label %185

185:                                              ; preds = %184
  call void @knot256_masked_permute_6(ptr noundef %20, i8 noundef zeroext 28)
  %186 = load ptr, ptr %14, align 8, !tbaa !5
  %187 = getelementptr inbounds i8, ptr %186, i64 8
  store ptr %187, ptr %14, align 8, !tbaa !5
  %188 = load ptr, ptr %11, align 8, !tbaa !5
  %189 = getelementptr inbounds i8, ptr %188, i64 8
  store ptr %189, ptr %11, align 8, !tbaa !5
  %190 = load i64, ptr %15, align 8, !tbaa !9
  %191 = sub i64 %190, 8
  store i64 %191, ptr %15, align 8, !tbaa !9
  br label %64, !llvm.loop !19

192:                                              ; preds = %64
  %193 = load i64, ptr %15, align 8, !tbaa !9
  %194 = trunc i64 %193 to i32
  store i32 %194, ptr %22, align 4, !tbaa !21
  br label %195

195:                                              ; preds = %192
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #4
  %196 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %197 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %196, i64 0, i64 0
  %198 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %197, i32 0, i32 0
  %199 = load i64, ptr %198, align 8, !tbaa !11
  %200 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %201 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %200, i64 0, i64 0
  %202 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %201, i32 0, i32 1
  %203 = load i64, ptr %202, align 8, !tbaa !14
  %204 = xor i64 %199, %203
  %205 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %206 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %205, i64 0, i64 0
  %207 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %206, i32 0, i32 2
  %208 = load i64, ptr %207, align 8, !tbaa !15
  %209 = xor i64 %204, %208
  %210 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %211 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %210, i64 0, i64 0
  %212 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %211, i32 0, i32 3
  %213 = load i64, ptr %212, align 8, !tbaa !16
  %214 = xor i64 %209, %213
  store i64 %214, ptr %27, align 8, !tbaa !18
  %215 = load i64, ptr %27, align 8, !tbaa !18
  %216 = trunc i64 %215 to i8
  %217 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store i8 %216, ptr %217, align 16, !tbaa !17
  %218 = load i64, ptr %27, align 8, !tbaa !18
  %219 = lshr i64 %218, 8
  %220 = trunc i64 %219 to i8
  %221 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 1
  store i8 %220, ptr %221, align 1, !tbaa !17
  %222 = load i64, ptr %27, align 8, !tbaa !18
  %223 = lshr i64 %222, 16
  %224 = trunc i64 %223 to i8
  %225 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 2
  store i8 %224, ptr %225, align 2, !tbaa !17
  %226 = load i64, ptr %27, align 8, !tbaa !18
  %227 = lshr i64 %226, 24
  %228 = trunc i64 %227 to i8
  %229 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 3
  store i8 %228, ptr %229, align 1, !tbaa !17
  %230 = load i64, ptr %27, align 8, !tbaa !18
  %231 = lshr i64 %230, 32
  %232 = trunc i64 %231 to i8
  %233 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 4
  store i8 %232, ptr %233, align 4, !tbaa !17
  %234 = load i64, ptr %27, align 8, !tbaa !18
  %235 = lshr i64 %234, 40
  %236 = trunc i64 %235 to i8
  %237 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 5
  store i8 %236, ptr %237, align 1, !tbaa !17
  %238 = load i64, ptr %27, align 8, !tbaa !18
  %239 = lshr i64 %238, 48
  %240 = trunc i64 %239 to i8
  %241 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 6
  store i8 %240, ptr %241, align 2, !tbaa !17
  %242 = load i64, ptr %27, align 8, !tbaa !18
  %243 = lshr i64 %242, 56
  %244 = trunc i64 %243 to i8
  %245 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 7
  store i8 %244, ptr %245, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #4
  br label %246

246:                                              ; preds = %195
  br label %247

247:                                              ; preds = %246
  br label %248

248:                                              ; preds = %247
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #4
  %249 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %249, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #4
  %250 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %250, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #4
  %251 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %251, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #4
  %252 = load i32, ptr %22, align 4, !tbaa !21
  store i32 %252, ptr %31, align 4, !tbaa !21
  br label %253

253:                                              ; preds = %256, %248
  %254 = load i32, ptr %31, align 4, !tbaa !21
  %255 = icmp ugt i32 %254, 0
  br i1 %255, label %256, label %271

256:                                              ; preds = %253
  %257 = load ptr, ptr %30, align 8, !tbaa !5
  %258 = getelementptr inbounds i8, ptr %257, i32 1
  store ptr %258, ptr %30, align 8, !tbaa !5
  %259 = load i8, ptr %257, align 1, !tbaa !17
  %260 = zext i8 %259 to i32
  %261 = load ptr, ptr %29, align 8, !tbaa !5
  %262 = getelementptr inbounds i8, ptr %261, i32 1
  store ptr %262, ptr %29, align 8, !tbaa !5
  %263 = load i8, ptr %261, align 1, !tbaa !17
  %264 = zext i8 %263 to i32
  %265 = xor i32 %264, %260
  %266 = trunc i32 %265 to i8
  store i8 %266, ptr %261, align 1, !tbaa !17
  %267 = load ptr, ptr %28, align 8, !tbaa !5
  %268 = getelementptr inbounds i8, ptr %267, i32 1
  store ptr %268, ptr %28, align 8, !tbaa !5
  store i8 %266, ptr %267, align 1, !tbaa !17
  %269 = load i32, ptr %31, align 4, !tbaa !21
  %270 = add i32 %269, -1
  store i32 %270, ptr %31, align 4, !tbaa !21
  br label %253, !llvm.loop !23

271:                                              ; preds = %253
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #4
  br label %272

272:                                              ; preds = %271
  br label %273

273:                                              ; preds = %272
  %274 = load i32, ptr %22, align 4, !tbaa !21
  %275 = zext i32 %274 to i64
  %276 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 %275
  store i8 1, ptr %276, align 1, !tbaa !17
  %277 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %278 = load i32, ptr %22, align 4, !tbaa !21
  %279 = zext i32 %278 to i64
  %280 = getelementptr inbounds i8, ptr %277, i64 %279
  %281 = getelementptr inbounds i8, ptr %280, i64 1
  %282 = load i32, ptr %22, align 4, !tbaa !21
  %283 = add i32 %282, 1
  %284 = sub i32 8, %283
  %285 = zext i32 %284 to i64
  call void @llvm.memset.p0.i64(ptr align 1 %281, i8 0, i64 %285, i1 false)
  br label %286

286:                                              ; preds = %273
  %287 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 7
  %288 = load i8, ptr %287, align 1, !tbaa !17
  %289 = zext i8 %288 to i64
  %290 = shl i64 %289, 56
  %291 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 6
  %292 = load i8, ptr %291, align 2, !tbaa !17
  %293 = zext i8 %292 to i64
  %294 = shl i64 %293, 48
  %295 = or i64 %290, %294
  %296 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 5
  %297 = load i8, ptr %296, align 1, !tbaa !17
  %298 = zext i8 %297 to i64
  %299 = shl i64 %298, 40
  %300 = or i64 %295, %299
  %301 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 4
  %302 = load i8, ptr %301, align 4, !tbaa !17
  %303 = zext i8 %302 to i64
  %304 = shl i64 %303, 32
  %305 = or i64 %300, %304
  %306 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 3
  %307 = load i8, ptr %306, align 1, !tbaa !17
  %308 = zext i8 %307 to i64
  %309 = shl i64 %308, 24
  %310 = or i64 %305, %309
  %311 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 2
  %312 = load i8, ptr %311, align 2, !tbaa !17
  %313 = zext i8 %312 to i64
  %314 = shl i64 %313, 16
  %315 = or i64 %310, %314
  %316 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 1
  %317 = load i8, ptr %316, align 1, !tbaa !17
  %318 = zext i8 %317 to i64
  %319 = shl i64 %318, 8
  %320 = or i64 %315, %319
  %321 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %322 = load i8, ptr %321, align 16, !tbaa !17
  %323 = zext i8 %322 to i64
  %324 = or i64 %320, %323
  %325 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %326 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %325, i64 0, i64 0
  %327 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %326, i32 0, i32 0
  %328 = load i64, ptr %327, align 8, !tbaa !11
  %329 = xor i64 %328, %324
  store i64 %329, ptr %327, align 8, !tbaa !11
  br label %330

330:                                              ; preds = %286
  br label %331

331:                                              ; preds = %330
  br label %332

332:                                              ; preds = %331, %58
  call void @knot256_masked_permute_6(ptr noundef %20, i8 noundef zeroext 32)
  br label %333

333:                                              ; preds = %332
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #4
  %334 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %335 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %334, i64 0, i64 0
  %336 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %335, i32 0, i32 0
  %337 = load i64, ptr %336, align 8, !tbaa !11
  %338 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %339 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %338, i64 0, i64 0
  %340 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %339, i32 0, i32 1
  %341 = load i64, ptr %340, align 8, !tbaa !14
  %342 = xor i64 %337, %341
  %343 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %344 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %343, i64 0, i64 0
  %345 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %344, i32 0, i32 2
  %346 = load i64, ptr %345, align 8, !tbaa !15
  %347 = xor i64 %342, %346
  %348 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %349 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %348, i64 0, i64 0
  %350 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %349, i32 0, i32 3
  %351 = load i64, ptr %350, align 8, !tbaa !16
  %352 = xor i64 %347, %351
  store i64 %352, ptr %32, align 8, !tbaa !18
  %353 = load i64, ptr %32, align 8, !tbaa !18
  %354 = trunc i64 %353 to i8
  %355 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store i8 %354, ptr %355, align 16, !tbaa !17
  %356 = load i64, ptr %32, align 8, !tbaa !18
  %357 = lshr i64 %356, 8
  %358 = trunc i64 %357 to i8
  %359 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 1
  store i8 %358, ptr %359, align 1, !tbaa !17
  %360 = load i64, ptr %32, align 8, !tbaa !18
  %361 = lshr i64 %360, 16
  %362 = trunc i64 %361 to i8
  %363 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 2
  store i8 %362, ptr %363, align 2, !tbaa !17
  %364 = load i64, ptr %32, align 8, !tbaa !18
  %365 = lshr i64 %364, 24
  %366 = trunc i64 %365 to i8
  %367 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 3
  store i8 %366, ptr %367, align 1, !tbaa !17
  %368 = load i64, ptr %32, align 8, !tbaa !18
  %369 = lshr i64 %368, 32
  %370 = trunc i64 %369 to i8
  %371 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 4
  store i8 %370, ptr %371, align 4, !tbaa !17
  %372 = load i64, ptr %32, align 8, !tbaa !18
  %373 = lshr i64 %372, 40
  %374 = trunc i64 %373 to i8
  %375 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 5
  store i8 %374, ptr %375, align 1, !tbaa !17
  %376 = load i64, ptr %32, align 8, !tbaa !18
  %377 = lshr i64 %376, 48
  %378 = trunc i64 %377 to i8
  %379 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 6
  store i8 %378, ptr %379, align 2, !tbaa !17
  %380 = load i64, ptr %32, align 8, !tbaa !18
  %381 = lshr i64 %380, 56
  %382 = trunc i64 %381 to i8
  %383 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 7
  store i8 %382, ptr %383, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #4
  br label %384

384:                                              ; preds = %333
  br label %385

385:                                              ; preds = %384
  br label %386

386:                                              ; preds = %385
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #4
  %387 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %388 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %387, i64 0, i64 1
  %389 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %388, i32 0, i32 0
  %390 = load i64, ptr %389, align 8, !tbaa !11
  %391 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %392 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %391, i64 0, i64 1
  %393 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %392, i32 0, i32 1
  %394 = load i64, ptr %393, align 8, !tbaa !14
  %395 = xor i64 %390, %394
  %396 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %397 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %396, i64 0, i64 1
  %398 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %397, i32 0, i32 2
  %399 = load i64, ptr %398, align 8, !tbaa !15
  %400 = xor i64 %395, %399
  %401 = getelementptr inbounds %struct.knot256_masked_state_t, ptr %20, i32 0, i32 0
  %402 = getelementptr inbounds [4 x %struct.mask_x4_uint64_t], ptr %401, i64 0, i64 1
  %403 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %402, i32 0, i32 3
  %404 = load i64, ptr %403, align 8, !tbaa !16
  %405 = xor i64 %400, %404
  store i64 %405, ptr %33, align 8, !tbaa !18
  %406 = load i64, ptr %33, align 8, !tbaa !18
  %407 = trunc i64 %406 to i8
  %408 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %409 = getelementptr inbounds i8, ptr %408, i64 8
  %410 = getelementptr inbounds i8, ptr %409, i64 0
  store i8 %407, ptr %410, align 1, !tbaa !17
  %411 = load i64, ptr %33, align 8, !tbaa !18
  %412 = lshr i64 %411, 8
  %413 = trunc i64 %412 to i8
  %414 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %415 = getelementptr inbounds i8, ptr %414, i64 8
  %416 = getelementptr inbounds i8, ptr %415, i64 1
  store i8 %413, ptr %416, align 1, !tbaa !17
  %417 = load i64, ptr %33, align 8, !tbaa !18
  %418 = lshr i64 %417, 16
  %419 = trunc i64 %418 to i8
  %420 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %421 = getelementptr inbounds i8, ptr %420, i64 8
  %422 = getelementptr inbounds i8, ptr %421, i64 2
  store i8 %419, ptr %422, align 1, !tbaa !17
  %423 = load i64, ptr %33, align 8, !tbaa !18
  %424 = lshr i64 %423, 24
  %425 = trunc i64 %424 to i8
  %426 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %427 = getelementptr inbounds i8, ptr %426, i64 8
  %428 = getelementptr inbounds i8, ptr %427, i64 3
  store i8 %425, ptr %428, align 1, !tbaa !17
  %429 = load i64, ptr %33, align 8, !tbaa !18
  %430 = lshr i64 %429, 32
  %431 = trunc i64 %430 to i8
  %432 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %433 = getelementptr inbounds i8, ptr %432, i64 8
  %434 = getelementptr inbounds i8, ptr %433, i64 4
  store i8 %431, ptr %434, align 1, !tbaa !17
  %435 = load i64, ptr %33, align 8, !tbaa !18
  %436 = lshr i64 %435, 40
  %437 = trunc i64 %436 to i8
  %438 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %439 = getelementptr inbounds i8, ptr %438, i64 8
  %440 = getelementptr inbounds i8, ptr %439, i64 5
  store i8 %437, ptr %440, align 1, !tbaa !17
  %441 = load i64, ptr %33, align 8, !tbaa !18
  %442 = lshr i64 %441, 48
  %443 = trunc i64 %442 to i8
  %444 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %445 = getelementptr inbounds i8, ptr %444, i64 8
  %446 = getelementptr inbounds i8, ptr %445, i64 6
  store i8 %443, ptr %446, align 1, !tbaa !17
  %447 = load i64, ptr %33, align 8, !tbaa !18
  %448 = lshr i64 %447, 56
  %449 = trunc i64 %448 to i8
  %450 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %451 = getelementptr inbounds i8, ptr %450, i64 8
  %452 = getelementptr inbounds i8, ptr %451, i64 7
  store i8 %449, ptr %452, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #4
  br label %453

453:                                              ; preds = %386
  br label %454

454:                                              ; preds = %453
  call void @aead_random_finish()
  %455 = load ptr, ptr %24, align 8, !tbaa !5
  %456 = load ptr, ptr %12, align 8, !tbaa !5
  %457 = load i64, ptr %456, align 8, !tbaa !9
  %458 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %459 = load ptr, ptr %14, align 8, !tbaa !5
  %460 = load i64, ptr %15, align 8, !tbaa !9
  %461 = getelementptr inbounds i8, ptr %459, i64 %460
  %462 = call i32 @aead_check_tag(ptr noundef %455, i64 noundef %457, ptr noundef %458, ptr noundef %461, i32 noundef 16)
  store i32 %462, ptr %10, align 4
  store i32 1, ptr %25, align 4
  br label %463

463:                                              ; preds = %454, %38
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 128, ptr %20) #4
  %464 = load i32, ptr %10, align 4
  ret i32 %464
}

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

; Function Attrs: nounwind uwtable
declare hidden void @knot_aead_128_256_init_masked(ptr noundef, ptr noundef, ptr noundef) #0

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

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

declare void @knot256_masked_permute_6(ptr noundef, i8 noundef zeroext) #2

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

declare void @aead_random_finish() #2

declare i32 @aead_check_tag(ptr noundef, i64 noundef, ptr noundef, ptr noundef, i32 noundef) #2

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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: write) }
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, !13, i64 0}
!12 = !{!"", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24}
!13 = !{!"long", !7, i64 0}
!14 = !{!12, !13, i64 8}
!15 = !{!12, !13, i64 16}
!16 = !{!12, !13, i64 24}
!17 = !{!7, !7, i64 0}
!18 = !{!13, !13, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = !{!22, !22, i64 0}
!22 = !{!"int", !7, i64 0}
!23 = distinct !{!23, !20}


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

%struct.knot256_masked_state_t = type { [4 x %struct.mask_x4_uint64_t] }
%struct.mask_x4_uint64_t = type { i64, i64, i64, i64 }

; Function Attrs: nounwind uwtable
define dso_local i32 @knot_masked_128_256_aead_decrypt(ptr noundef %0, ptr nocapture noundef %1, ptr nocapture noundef readnone %2, ptr noundef %3, i64 noundef %4, ptr noundef %5, i64 noundef %6, ptr noundef %7, ptr noundef %8) local_unnamed_addr #0 {
  %10 = alloca %struct.knot256_masked_state_t, align 8
  %11 = alloca [16 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %10) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %11) #4
  %12 = icmp ult i64 %4, 16
  br i1 %12, label %216, label %13

13:                                               ; preds = %9
  %14 = add i64 %4, -16
  store i64 %14, ptr %1, align 8, !tbaa !5
  call void @knot_aead_128_256_init_masked(ptr noundef nonnull %10, ptr noundef %8, ptr noundef %7)
  %.not = icmp eq i64 %6, 0
  br i1 %.not, label %16, label %15

15:                                               ; preds = %13
  call void @knot_aead_128_256_absorb_ad_masked(ptr noundef nonnull %10, ptr noundef %5, i64 noundef %6)
  br label %16

16:                                               ; preds = %13, %15
  %17 = getelementptr inbounds i8, ptr %10, i64 96
  %18 = load i64, ptr %17, align 8, !tbaa !9
  %19 = xor i64 %18, -9223372036854775808
  store i64 %19, ptr %17, align 8, !tbaa !9
  %.not94 = icmp eq i64 %14, 0
  br i1 %.not94, label %146, label %.preheader

.preheader:                                       ; preds = %16
  %20 = icmp ugt i64 %14, 7
  br i1 %20, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %.preheader
  %21 = getelementptr inbounds i8, ptr %10, i64 8
  %22 = getelementptr inbounds i8, ptr %10, i64 16
  %23 = getelementptr inbounds i8, ptr %10, i64 24
  br label %24

24:                                               ; preds = %.lr.ph, %24
  %.08298 = phi ptr [ %0, %.lr.ph ], [ %57, %24 ]
  %.08797 = phi ptr [ %3, %.lr.ph ], [ %56, %24 ]
  %.08896 = phi i64 [ %14, %.lr.ph ], [ %58, %24 ]
  %25 = load i64, ptr %10, align 8, !tbaa !9
  %26 = load i64, ptr %21, align 8, !tbaa !12
  %27 = load i64, ptr %22, align 8, !tbaa !13
  %28 = xor i64 %27, %26
  %29 = load i64, ptr %23, align 8, !tbaa !14
  %30 = xor i64 %28, %29
  %31 = load i64, ptr %.08797, align 1
  %32 = xor i64 %30, %31
  %33 = xor i64 %32, %25
  store i64 %32, ptr %10, align 8, !tbaa !9
  %34 = trunc i64 %33 to i8
  store i8 %34, ptr %.08298, align 1, !tbaa !15
  %35 = lshr i64 %33, 8
  %36 = trunc i64 %35 to i8
  %37 = getelementptr inbounds i8, ptr %.08298, i64 1
  store i8 %36, ptr %37, align 1, !tbaa !15
  %38 = lshr i64 %33, 16
  %39 = trunc i64 %38 to i8
  %40 = getelementptr inbounds i8, ptr %.08298, i64 2
  store i8 %39, ptr %40, align 1, !tbaa !15
  %41 = lshr i64 %33, 24
  %42 = trunc i64 %41 to i8
  %43 = getelementptr inbounds i8, ptr %.08298, i64 3
  store i8 %42, ptr %43, align 1, !tbaa !15
  %44 = lshr i64 %33, 32
  %45 = trunc i64 %44 to i8
  %46 = getelementptr inbounds i8, ptr %.08298, i64 4
  store i8 %45, ptr %46, align 1, !tbaa !15
  %47 = lshr i64 %33, 40
  %48 = trunc i64 %47 to i8
  %49 = getelementptr inbounds i8, ptr %.08298, i64 5
  store i8 %48, ptr %49, align 1, !tbaa !15
  %50 = lshr i64 %33, 48
  %51 = trunc i64 %50 to i8
  %52 = getelementptr inbounds i8, ptr %.08298, i64 6
  store i8 %51, ptr %52, align 1, !tbaa !15
  %53 = lshr i64 %33, 56
  %54 = trunc nuw i64 %53 to i8
  %55 = getelementptr inbounds i8, ptr %.08298, i64 7
  store i8 %54, ptr %55, align 1, !tbaa !15
  call void @knot256_masked_permute_6(ptr noundef nonnull %10, i8 noundef zeroext 28) #4
  %56 = getelementptr inbounds i8, ptr %.08797, i64 8
  %57 = getelementptr inbounds i8, ptr %.08298, i64 8
  %58 = add i64 %.08896, -8
  %59 = icmp ugt i64 %58, 7
  br i1 %59, label %24, label %._crit_edge, !llvm.loop !16

._crit_edge:                                      ; preds = %24, %.preheader
  %.088.lcssa = phi i64 [ %14, %.preheader ], [ %58, %24 ]
  %.087.lcssa = phi ptr [ %3, %.preheader ], [ %56, %24 ]
  %.082.lcssa = phi ptr [ %0, %.preheader ], [ %57, %24 ]
  %60 = load i64, ptr %10, align 8, !tbaa !9
  %61 = getelementptr inbounds i8, ptr %10, i64 8
  %62 = load i64, ptr %61, align 8, !tbaa !12
  %63 = getelementptr inbounds i8, ptr %10, i64 16
  %64 = load i64, ptr %63, align 8, !tbaa !13
  %65 = getelementptr inbounds i8, ptr %10, i64 24
  %66 = load i64, ptr %65, align 8, !tbaa !14
  %67 = xor i64 %62, %64
  %68 = xor i64 %67, %66
  %69 = xor i64 %68, %60
  %70 = trunc i64 %69 to i8
  store i8 %70, ptr %11, align 16, !tbaa !15
  %71 = lshr i64 %69, 8
  %72 = trunc i64 %71 to i8
  %73 = getelementptr inbounds i8, ptr %11, i64 1
  store i8 %72, ptr %73, align 1, !tbaa !15
  %74 = lshr i64 %69, 16
  %75 = trunc i64 %74 to i8
  %76 = getelementptr inbounds i8, ptr %11, i64 2
  store i8 %75, ptr %76, align 2, !tbaa !15
  %77 = lshr i64 %69, 24
  %78 = trunc i64 %77 to i8
  %79 = getelementptr inbounds i8, ptr %11, i64 3
  store i8 %78, ptr %79, align 1, !tbaa !15
  %80 = lshr i64 %69, 32
  %81 = trunc i64 %80 to i8
  %82 = getelementptr inbounds i8, ptr %11, i64 4
  store i8 %81, ptr %82, align 4, !tbaa !15
  %83 = lshr i64 %69, 40
  %84 = trunc i64 %83 to i8
  %85 = getelementptr inbounds i8, ptr %11, i64 5
  store i8 %84, ptr %85, align 1, !tbaa !15
  %86 = lshr i64 %69, 48
  %87 = trunc i64 %86 to i8
  %88 = getelementptr inbounds i8, ptr %11, i64 6
  store i8 %87, ptr %88, align 2, !tbaa !15
  %89 = lshr i64 %69, 56
  %90 = trunc nuw i64 %89 to i8
  %91 = getelementptr inbounds i8, ptr %11, i64 7
  store i8 %90, ptr %91, align 1, !tbaa !15
  %.not95101 = icmp eq i64 %.088.lcssa, 0
  br i1 %.not95101, label %._crit_edge108, label %iter.check

iter.check:                                       ; preds = %._crit_edge
  %92 = trunc nuw i64 %.088.lcssa to i32
  %93 = add nuw nsw i64 %.088.lcssa, 4294967295
  %94 = and i64 %93, 4294967295
  %95 = add nuw nsw i64 %94, 1
  %min.iters.check = icmp ult i64 %94, 7
  br i1 %min.iters.check, label %.lr.ph107.preheader, label %vector.memcheck

vector.memcheck:                                  ; preds = %iter.check
  %96 = add nuw nsw i64 %.088.lcssa, 4294967295
  %97 = and i64 %96, 4294967295
  %98 = add nuw nsw i64 %97, 1
  %scevgep = getelementptr i8, ptr %11, i64 %98
  %scevgep115 = getelementptr i8, ptr %.082.lcssa, i64 %98
  %scevgep116 = getelementptr i8, ptr %.087.lcssa, i64 %98
  %bound0 = icmp ult ptr %11, %scevgep115
  %bound1 = icmp ult ptr %.082.lcssa, %scevgep
  %found.conflict = and i1 %bound0, %bound1
  %bound0117 = icmp ult ptr %11, %scevgep116
  %bound1118 = icmp ult ptr %.087.lcssa, %scevgep
  %found.conflict119 = and i1 %bound0117, %bound1118
  %conflict.rdx = or i1 %found.conflict, %found.conflict119
  %bound0120 = icmp ult ptr %.082.lcssa, %scevgep116
  %bound1121 = icmp ult ptr %.087.lcssa, %scevgep115
  %found.conflict122 = and i1 %bound0120, %bound1121
  %conflict.rdx123 = or i1 %conflict.rdx, %found.conflict122
  br i1 %conflict.rdx123, label %.lr.ph107.preheader, label %vector.main.loop.iter.check

vector.main.loop.iter.check:                      ; preds = %vector.memcheck
  %min.iters.check124 = icmp ult i64 %94, 31
  br i1 %min.iters.check124, label %vec.epilog.ph, label %vector.ph

vector.ph:                                        ; preds = %vector.main.loop.iter.check
  %n.vec = and i64 %95, 8589934560
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %next.gep = getelementptr i8, ptr %.087.lcssa, i64 %index
  %next.gep126 = getelementptr i8, ptr %11, i64 %index
  %next.gep128 = getelementptr i8, ptr %.082.lcssa, i64 %index
  %99 = getelementptr i8, ptr %next.gep, i64 16
  %wide.load = load <16 x i8>, ptr %next.gep, align 1, !tbaa !15, !alias.scope !18
  %wide.load130 = load <16 x i8>, ptr %99, align 1, !tbaa !15, !alias.scope !18
  %100 = getelementptr i8, ptr %next.gep126, i64 16
  %wide.load131 = load <16 x i8>, ptr %next.gep126, align 16, !tbaa !15, !alias.scope !21, !noalias !23
  %wide.load132 = load <16 x i8>, ptr %100, align 16, !tbaa !15, !alias.scope !21, !noalias !23
  %101 = xor <16 x i8> %wide.load131, %wide.load
  %102 = xor <16 x i8> %wide.load132, %wide.load130
  store <16 x i8> %101, ptr %next.gep126, align 16, !tbaa !15, !alias.scope !21, !noalias !23
  store <16 x i8> %102, ptr %100, align 16, !tbaa !15, !alias.scope !21, !noalias !23
  %103 = getelementptr i8, ptr %next.gep128, i64 16
  store <16 x i8> %101, ptr %next.gep128, align 1, !tbaa !15, !alias.scope !25, !noalias !18
  store <16 x i8> %102, ptr %103, align 1, !tbaa !15, !alias.scope !25, !noalias !18
  %index.next = add nuw i64 %index, 32
  %104 = icmp eq i64 %index.next, %n.vec
  br i1 %104, label %middle.block, label %vector.body, !llvm.loop !26

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %95, %n.vec
  br i1 %cmp.n, label %._crit_edge108, label %vec.epilog.iter.check

vec.epilog.iter.check:                            ; preds = %middle.block
  %ind.end144 = getelementptr i8, ptr %.082.lcssa, i64 %n.vec
  %ind.end141 = getelementptr i8, ptr %11, i64 %n.vec
  %ind.end138 = getelementptr i8, ptr %.087.lcssa, i64 %n.vec
  %.cast135 = trunc i64 %n.vec to i32
  %ind.end136 = sub i32 %92, %.cast135
  %n.vec.remaining = and i64 %95, 24
  %min.epilog.iters.check = icmp eq i64 %n.vec.remaining, 0
  br i1 %min.epilog.iters.check, label %.lr.ph107.preheader, label %vec.epilog.ph

vec.epilog.ph:                                    ; preds = %vector.main.loop.iter.check, %vec.epilog.iter.check
  %vec.epilog.resume.val = phi i64 [ %n.vec, %vec.epilog.iter.check ], [ 0, %vector.main.loop.iter.check ]
  %n.vec134 = and i64 %95, 8589934584
  %.cast = trunc i64 %n.vec134 to i32
  %ind.end = sub i32 %92, %.cast
  %ind.end137 = getelementptr i8, ptr %.087.lcssa, i64 %n.vec134
  %ind.end140 = getelementptr i8, ptr %11, i64 %n.vec134
  %ind.end143 = getelementptr i8, ptr %.082.lcssa, i64 %n.vec134
  br label %vec.epilog.vector.body

vec.epilog.vector.body:                           ; preds = %vec.epilog.vector.body, %vec.epilog.ph
  %index146 = phi i64 [ %vec.epilog.resume.val, %vec.epilog.ph ], [ %index.next152, %vec.epilog.vector.body ]
  %next.gep147 = getelementptr i8, ptr %.087.lcssa, i64 %index146
  %next.gep148 = getelementptr i8, ptr %11, i64 %index146
  %next.gep149 = getelementptr i8, ptr %.082.lcssa, i64 %index146
  %wide.load150 = load <8 x i8>, ptr %next.gep147, align 1, !tbaa !15, !alias.scope !29
  %wide.load151 = load <8 x i8>, ptr %next.gep148, align 8, !tbaa !15, !alias.scope !32, !noalias !34
  %105 = xor <8 x i8> %wide.load151, %wide.load150
  store <8 x i8> %105, ptr %next.gep148, align 8, !tbaa !15, !alias.scope !32, !noalias !34
  store <8 x i8> %105, ptr %next.gep149, align 1, !tbaa !15, !alias.scope !36, !noalias !29
  %index.next152 = add nuw i64 %index146, 8
  %106 = icmp eq i64 %index.next152, %n.vec134
  br i1 %106, label %vec.epilog.middle.block, label %vec.epilog.vector.body, !llvm.loop !37

vec.epilog.middle.block:                          ; preds = %vec.epilog.vector.body
  %cmp.n153 = icmp eq i64 %95, %n.vec134
  br i1 %cmp.n153, label %._crit_edge108, label %.lr.ph107.preheader

.lr.ph107.preheader:                              ; preds = %vec.epilog.middle.block, %vector.memcheck, %iter.check, %vec.epilog.iter.check
  %.083105.ph = phi i32 [ %92, %iter.check ], [ %92, %vector.memcheck ], [ %ind.end136, %vec.epilog.iter.check ], [ %ind.end, %vec.epilog.middle.block ]
  %.084104.ph = phi ptr [ %.087.lcssa, %iter.check ], [ %.087.lcssa, %vector.memcheck ], [ %ind.end138, %vec.epilog.iter.check ], [ %ind.end137, %vec.epilog.middle.block ]
  %.085103.ph = phi ptr [ %11, %iter.check ], [ %11, %vector.memcheck ], [ %ind.end141, %vec.epilog.iter.check ], [ %ind.end140, %vec.epilog.middle.block ]
  %.086102.ph = phi ptr [ %.082.lcssa, %iter.check ], [ %.082.lcssa, %vector.memcheck ], [ %ind.end144, %vec.epilog.iter.check ], [ %ind.end143, %vec.epilog.middle.block ]
  %107 = add nsw i32 %.083105.ph, -1
  %xtraiter = and i32 %.083105.ph, 3
  %lcmp.mod.not = icmp eq i32 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.lr.ph107.prol.loopexit, label %.lr.ph107.prol

.lr.ph107.prol:                                   ; preds = %.lr.ph107.preheader, %.lr.ph107.prol
  %.083105.prol = phi i32 [ %114, %.lr.ph107.prol ], [ %.083105.ph, %.lr.ph107.preheader ]
  %.084104.prol = phi ptr [ %108, %.lr.ph107.prol ], [ %.084104.ph, %.lr.ph107.preheader ]
  %.085103.prol = phi ptr [ %110, %.lr.ph107.prol ], [ %.085103.ph, %.lr.ph107.preheader ]
  %.086102.prol = phi ptr [ %113, %.lr.ph107.prol ], [ %.086102.ph, %.lr.ph107.preheader ]
  %prol.iter = phi i32 [ %prol.iter.next, %.lr.ph107.prol ], [ 0, %.lr.ph107.preheader ]
  %108 = getelementptr inbounds i8, ptr %.084104.prol, i64 1
  %109 = load i8, ptr %.084104.prol, align 1, !tbaa !15
  %110 = getelementptr inbounds i8, ptr %.085103.prol, i64 1
  %111 = load i8, ptr %.085103.prol, align 1, !tbaa !15
  %112 = xor i8 %111, %109
  store i8 %112, ptr %.085103.prol, align 1, !tbaa !15
  %113 = getelementptr inbounds i8, ptr %.086102.prol, i64 1
  store i8 %112, ptr %.086102.prol, align 1, !tbaa !15
  %114 = add nsw i32 %.083105.prol, -1
  %prol.iter.next = add i32 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i32 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %.lr.ph107.prol.loopexit, label %.lr.ph107.prol, !llvm.loop !38

.lr.ph107.prol.loopexit:                          ; preds = %.lr.ph107.prol, %.lr.ph107.preheader
  %.083105.unr = phi i32 [ %.083105.ph, %.lr.ph107.preheader ], [ %114, %.lr.ph107.prol ]
  %.084104.unr = phi ptr [ %.084104.ph, %.lr.ph107.preheader ], [ %108, %.lr.ph107.prol ]
  %.085103.unr = phi ptr [ %.085103.ph, %.lr.ph107.preheader ], [ %110, %.lr.ph107.prol ]
  %.086102.unr = phi ptr [ %.086102.ph, %.lr.ph107.preheader ], [ %113, %.lr.ph107.prol ]
  %115 = icmp ult i32 %107, 3
  br i1 %115, label %._crit_edge108, label %.lr.ph107

.lr.ph107:                                        ; preds = %.lr.ph107.prol.loopexit, %.lr.ph107
  %.083105 = phi i32 [ %140, %.lr.ph107 ], [ %.083105.unr, %.lr.ph107.prol.loopexit ]
  %.084104 = phi ptr [ %134, %.lr.ph107 ], [ %.084104.unr, %.lr.ph107.prol.loopexit ]
  %.085103 = phi ptr [ %136, %.lr.ph107 ], [ %.085103.unr, %.lr.ph107.prol.loopexit ]
  %.086102 = phi ptr [ %139, %.lr.ph107 ], [ %.086102.unr, %.lr.ph107.prol.loopexit ]
  %116 = getelementptr inbounds i8, ptr %.084104, i64 1
  %117 = load i8, ptr %.084104, align 1, !tbaa !15
  %118 = getelementptr inbounds i8, ptr %.085103, i64 1
  %119 = load i8, ptr %.085103, align 1, !tbaa !15
  %120 = xor i8 %119, %117
  store i8 %120, ptr %.085103, align 1, !tbaa !15
  %121 = getelementptr inbounds i8, ptr %.086102, i64 1
  store i8 %120, ptr %.086102, align 1, !tbaa !15
  %122 = getelementptr inbounds i8, ptr %.084104, i64 2
  %123 = load i8, ptr %116, align 1, !tbaa !15
  %124 = getelementptr inbounds i8, ptr %.085103, i64 2
  %125 = load i8, ptr %118, align 1, !tbaa !15
  %126 = xor i8 %125, %123
  store i8 %126, ptr %118, align 1, !tbaa !15
  %127 = getelementptr inbounds i8, ptr %.086102, i64 2
  store i8 %126, ptr %121, align 1, !tbaa !15
  %128 = getelementptr inbounds i8, ptr %.084104, i64 3
  %129 = load i8, ptr %122, align 1, !tbaa !15
  %130 = getelementptr inbounds i8, ptr %.085103, i64 3
  %131 = load i8, ptr %124, align 1, !tbaa !15
  %132 = xor i8 %131, %129
  store i8 %132, ptr %124, align 1, !tbaa !15
  %133 = getelementptr inbounds i8, ptr %.086102, i64 3
  store i8 %132, ptr %127, align 1, !tbaa !15
  %134 = getelementptr inbounds i8, ptr %.084104, i64 4
  %135 = load i8, ptr %128, align 1, !tbaa !15
  %136 = getelementptr inbounds i8, ptr %.085103, i64 4
  %137 = load i8, ptr %130, align 1, !tbaa !15
  %138 = xor i8 %137, %135
  store i8 %138, ptr %130, align 1, !tbaa !15
  %139 = getelementptr inbounds i8, ptr %.086102, i64 4
  store i8 %138, ptr %133, align 1, !tbaa !15
  %140 = add nsw i32 %.083105, -4
  %.not95.3 = icmp eq i32 %140, 0
  br i1 %.not95.3, label %._crit_edge108, label %.lr.ph107, !llvm.loop !40

._crit_edge108:                                   ; preds = %.lr.ph107.prol.loopexit, %.lr.ph107, %middle.block, %vec.epilog.middle.block, %._crit_edge
  %141 = getelementptr inbounds [16 x i8], ptr %11, i64 0, i64 %.088.lcssa
  store i8 1, ptr %141, align 1, !tbaa !15
  %142 = getelementptr inbounds i8, ptr %141, i64 1
  %143 = xor i64 %.088.lcssa, 7
  call void @llvm.memset.p0.i64(ptr nonnull align 1 %142, i8 0, i64 %143, i1 false)
  %144 = load i64, ptr %11, align 16
  %145 = xor i64 %144, %60
  store i64 %145, ptr %10, align 8, !tbaa !9
  br label %146

146:                                              ; preds = %._crit_edge108, %16
  %.189 = phi i64 [ %.088.lcssa, %._crit_edge108 ], [ 0, %16 ]
  %.1 = phi ptr [ %.087.lcssa, %._crit_edge108 ], [ %3, %16 ]
  call void @knot256_masked_permute_6(ptr noundef nonnull %10, i8 noundef zeroext 32) #4
  %147 = load i64, ptr %10, align 8, !tbaa !9
  %148 = getelementptr inbounds i8, ptr %10, i64 8
  %149 = load i64, ptr %148, align 8, !tbaa !12
  %150 = xor i64 %149, %147
  %151 = getelementptr inbounds i8, ptr %10, i64 16
  %152 = load i64, ptr %151, align 8, !tbaa !13
  %153 = xor i64 %150, %152
  %154 = getelementptr inbounds i8, ptr %10, i64 24
  %155 = load i64, ptr %154, align 8, !tbaa !14
  %156 = xor i64 %153, %155
  %157 = trunc i64 %156 to i8
  store i8 %157, ptr %11, align 16, !tbaa !15
  %158 = lshr i64 %156, 8
  %159 = trunc i64 %158 to i8
  %160 = getelementptr inbounds i8, ptr %11, i64 1
  store i8 %159, ptr %160, align 1, !tbaa !15
  %161 = lshr i64 %156, 16
  %162 = trunc i64 %161 to i8
  %163 = getelementptr inbounds i8, ptr %11, i64 2
  store i8 %162, ptr %163, align 2, !tbaa !15
  %164 = lshr i64 %156, 24
  %165 = trunc i64 %164 to i8
  %166 = getelementptr inbounds i8, ptr %11, i64 3
  store i8 %165, ptr %166, align 1, !tbaa !15
  %167 = lshr i64 %156, 32
  %168 = trunc i64 %167 to i8
  %169 = getelementptr inbounds i8, ptr %11, i64 4
  store i8 %168, ptr %169, align 4, !tbaa !15
  %170 = lshr i64 %156, 40
  %171 = trunc i64 %170 to i8
  %172 = getelementptr inbounds i8, ptr %11, i64 5
  store i8 %171, ptr %172, align 1, !tbaa !15
  %173 = lshr i64 %156, 48
  %174 = trunc i64 %173 to i8
  %175 = getelementptr inbounds i8, ptr %11, i64 6
  store i8 %174, ptr %175, align 2, !tbaa !15
  %176 = lshr i64 %156, 56
  %177 = trunc nuw i64 %176 to i8
  %178 = getelementptr inbounds i8, ptr %11, i64 7
  store i8 %177, ptr %178, align 1, !tbaa !15
  %179 = getelementptr inbounds i8, ptr %10, i64 32
  %180 = load i64, ptr %179, align 8, !tbaa !9
  %181 = getelementptr inbounds i8, ptr %10, i64 40
  %182 = load i64, ptr %181, align 8, !tbaa !12
  %183 = xor i64 %182, %180
  %184 = getelementptr inbounds i8, ptr %10, i64 48
  %185 = load i64, ptr %184, align 8, !tbaa !13
  %186 = xor i64 %183, %185
  %187 = getelementptr inbounds i8, ptr %10, i64 56
  %188 = load i64, ptr %187, align 8, !tbaa !14
  %189 = xor i64 %186, %188
  %190 = trunc i64 %189 to i8
  %191 = getelementptr inbounds i8, ptr %11, i64 8
  store i8 %190, ptr %191, align 8, !tbaa !15
  %192 = lshr i64 %189, 8
  %193 = trunc i64 %192 to i8
  %194 = getelementptr inbounds i8, ptr %11, i64 9
  store i8 %193, ptr %194, align 1, !tbaa !15
  %195 = lshr i64 %189, 16
  %196 = trunc i64 %195 to i8
  %197 = getelementptr inbounds i8, ptr %11, i64 10
  store i8 %196, ptr %197, align 2, !tbaa !15
  %198 = lshr i64 %189, 24
  %199 = trunc i64 %198 to i8
  %200 = getelementptr inbounds i8, ptr %11, i64 11
  store i8 %199, ptr %200, align 1, !tbaa !15
  %201 = lshr i64 %189, 32
  %202 = trunc i64 %201 to i8
  %203 = getelementptr inbounds i8, ptr %11, i64 12
  store i8 %202, ptr %203, align 4, !tbaa !15
  %204 = lshr i64 %189, 40
  %205 = trunc i64 %204 to i8
  %206 = getelementptr inbounds i8, ptr %11, i64 13
  store i8 %205, ptr %206, align 1, !tbaa !15
  %207 = lshr i64 %189, 48
  %208 = trunc i64 %207 to i8
  %209 = getelementptr inbounds i8, ptr %11, i64 14
  store i8 %208, ptr %209, align 2, !tbaa !15
  %210 = lshr i64 %189, 56
  %211 = trunc nuw i64 %210 to i8
  %212 = getelementptr inbounds i8, ptr %11, i64 15
  store i8 %211, ptr %212, align 1, !tbaa !15
  call void @aead_random_finish() #4
  %213 = load i64, ptr %1, align 8, !tbaa !5
  %214 = getelementptr inbounds i8, ptr %.1, i64 %.189
  %215 = call i32 @aead_check_tag(ptr noundef %0, i64 noundef %213, ptr noundef nonnull %11, ptr noundef %214, i32 noundef 16) #4
  br label %216

216:                                              ; preds = %9, %146
  %.0 = phi i32 [ %215, %146 ], [ -1, %9 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #4
  call void @llvm.lifetime.end.p0(i64 128, 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: nounwind uwtable
declare hidden void @knot_aead_128_256_init_masked(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

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

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

declare void @knot256_masked_permute_6(ptr noundef, i8 noundef zeroext) local_unnamed_addr #2

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

declare void @aead_random_finish() local_unnamed_addr #2

declare i32 @aead_check_tag(ptr noundef, i64 noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
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 = !{!10, !11, i64 0}
!10 = !{!"", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24}
!11 = !{!"long", !7, i64 0}
!12 = !{!10, !11, i64 8}
!13 = !{!10, !11, i64 16}
!14 = !{!10, !11, i64 24}
!15 = !{!7, !7, i64 0}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = !{!19}
!19 = distinct !{!19, !20}
!20 = distinct !{!20, !"LVerDomain"}
!21 = !{!22}
!22 = distinct !{!22, !20}
!23 = !{!24, !19}
!24 = distinct !{!24, !20}
!25 = !{!24}
!26 = distinct !{!26, !17, !27, !28}
!27 = !{!"llvm.loop.isvectorized", i32 1}
!28 = !{!"llvm.loop.unroll.runtime.disable"}
!29 = !{!30}
!30 = distinct !{!30, !31}
!31 = distinct !{!31, !"LVerDomain"}
!32 = !{!33}
!33 = distinct !{!33, !31}
!34 = !{!35, !30}
!35 = distinct !{!35, !31}
!36 = !{!35}
!37 = distinct !{!37, !17, !27, !28}
!38 = distinct !{!38, !39}
!39 = !{!"llvm.loop.unroll.disable"}
!40 = distinct !{!40, !17, !27}


; Effective O3 passes: AggressiveInstCombinePass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass