; 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.knot512_masked_state_t = type { [8 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_256_512_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.knot512_masked_state_t, align 8
  %21 = alloca [32 x i8], align 16
  %22 = alloca ptr, align 8
  %23 = alloca i64, align 8
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i64, align 8
  %27 = alloca i64, align 8
  %28 = alloca i64, align 8
  %29 = alloca i64, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca i32, align 4
  %34 = alloca i64, align 8
  %35 = alloca i64, align 8
  %36 = alloca i64, align 8
  %37 = 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 256, ptr %20) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %21) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #4
  %38 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %38, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #4
  %39 = load ptr, ptr %13, align 8, !tbaa !5
  %40 = load i64, ptr %15, align 8, !tbaa !9
  %41 = icmp ult i64 %40, 32
  br i1 %41, label %42, label %43

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

43:                                               ; preds = %9
  %44 = load i64, ptr %15, align 8, !tbaa !9
  %45 = sub i64 %44, 32
  %46 = load ptr, ptr %12, align 8, !tbaa !5
  store i64 %45, ptr %46, align 8, !tbaa !9
  %47 = load ptr, ptr %19, align 8, !tbaa !5
  %48 = load ptr, ptr %18, align 8, !tbaa !5
  call void @knot_aead_256_512_init_masked(ptr noundef %20, ptr noundef %47, ptr noundef %48)
  %49 = load i64, ptr %17, align 8, !tbaa !9
  %50 = icmp ugt i64 %49, 0
  br i1 %50, label %51, label %54

51:                                               ; preds = %43
  %52 = load ptr, ptr %16, align 8, !tbaa !5
  %53 = load i64, ptr %17, align 8, !tbaa !9
  call void @knot_aead_256_512_absorb_ad_masked(ptr noundef %20, ptr noundef %52, i64 noundef %53)
  br label %54

54:                                               ; preds = %51, %43
  br label %55

55:                                               ; preds = %54
  %56 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %57 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %56, i64 0, i64 7
  %58 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %57, i32 0, i32 0
  %59 = load i64, ptr %58, align 8, !tbaa !11
  %60 = xor i64 %59, -9223372036854775808
  store i64 %60, ptr %58, align 8, !tbaa !11
  br label %61

61:                                               ; preds = %55
  br label %62

62:                                               ; preds = %61
  %63 = load i64, ptr %15, align 8, !tbaa !9
  %64 = sub i64 %63, 32
  store i64 %64, ptr %15, align 8, !tbaa !9
  %65 = load i64, ptr %15, align 8, !tbaa !9
  %66 = icmp ugt i64 %65, 0
  br i1 %66, label %67, label %601

67:                                               ; preds = %62
  br label %68

68:                                               ; preds = %323, %67
  %69 = load i64, ptr %15, align 8, !tbaa !9
  %70 = icmp uge i64 %69, 16
  br i1 %70, label %71, label %330

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

138:                                              ; preds = %71
  %139 = load i64, ptr %23, align 8, !tbaa !18
  %140 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %141 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %140, i64 0, i64 0
  %142 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %141, i32 0, i32 0
  %143 = load i64, ptr %142, align 8, !tbaa !11
  %144 = xor i64 %143, %139
  store i64 %144, ptr %142, align 8, !tbaa !11
  br label %145

145:                                              ; preds = %138
  br label %146

146:                                              ; preds = %145
  br label %147

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

188:                                              ; preds = %147
  br label %189

189:                                              ; preds = %188
  %190 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %191 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %190, i64 0, i64 1
  %192 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %191, i32 0, i32 0
  %193 = load i64, ptr %192, align 8, !tbaa !11
  %194 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %195 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %194, i64 0, i64 1
  %196 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %195, i32 0, i32 1
  %197 = load i64, ptr %196, align 8, !tbaa !14
  %198 = xor i64 %193, %197
  %199 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %200 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %199, i64 0, i64 1
  %201 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %200, i32 0, i32 2
  %202 = load i64, ptr %201, align 8, !tbaa !15
  %203 = xor i64 %198, %202
  %204 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %205 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %204, i64 0, i64 1
  %206 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %205, i32 0, i32 3
  %207 = load i64, ptr %206, align 8, !tbaa !16
  %208 = xor i64 %203, %207
  %209 = load ptr, ptr %14, align 8, !tbaa !5
  %210 = getelementptr inbounds i8, ptr %209, i64 8
  %211 = getelementptr inbounds i8, ptr %210, i64 7
  %212 = load i8, ptr %211, align 1, !tbaa !17
  %213 = zext i8 %212 to i64
  %214 = shl i64 %213, 56
  %215 = load ptr, ptr %14, align 8, !tbaa !5
  %216 = getelementptr inbounds i8, ptr %215, i64 8
  %217 = getelementptr inbounds i8, ptr %216, i64 6
  %218 = load i8, ptr %217, align 1, !tbaa !17
  %219 = zext i8 %218 to i64
  %220 = shl i64 %219, 48
  %221 = or i64 %214, %220
  %222 = load ptr, ptr %14, align 8, !tbaa !5
  %223 = getelementptr inbounds i8, ptr %222, i64 8
  %224 = getelementptr inbounds i8, ptr %223, i64 5
  %225 = load i8, ptr %224, align 1, !tbaa !17
  %226 = zext i8 %225 to i64
  %227 = shl i64 %226, 40
  %228 = or i64 %221, %227
  %229 = load ptr, ptr %14, align 8, !tbaa !5
  %230 = getelementptr inbounds i8, ptr %229, i64 8
  %231 = getelementptr inbounds i8, ptr %230, i64 4
  %232 = load i8, ptr %231, align 1, !tbaa !17
  %233 = zext i8 %232 to i64
  %234 = shl i64 %233, 32
  %235 = or i64 %228, %234
  %236 = load ptr, ptr %14, align 8, !tbaa !5
  %237 = getelementptr inbounds i8, ptr %236, i64 8
  %238 = getelementptr inbounds i8, ptr %237, i64 3
  %239 = load i8, ptr %238, align 1, !tbaa !17
  %240 = zext i8 %239 to i64
  %241 = shl i64 %240, 24
  %242 = or i64 %235, %241
  %243 = load ptr, ptr %14, align 8, !tbaa !5
  %244 = getelementptr inbounds i8, ptr %243, i64 8
  %245 = getelementptr inbounds i8, ptr %244, i64 2
  %246 = load i8, ptr %245, align 1, !tbaa !17
  %247 = zext i8 %246 to i64
  %248 = shl i64 %247, 16
  %249 = or i64 %242, %248
  %250 = load ptr, ptr %14, align 8, !tbaa !5
  %251 = getelementptr inbounds i8, ptr %250, i64 8
  %252 = getelementptr inbounds i8, ptr %251, i64 1
  %253 = load i8, ptr %252, align 1, !tbaa !17
  %254 = zext i8 %253 to i64
  %255 = shl i64 %254, 8
  %256 = or i64 %249, %255
  %257 = load ptr, ptr %14, align 8, !tbaa !5
  %258 = getelementptr inbounds i8, ptr %257, i64 8
  %259 = getelementptr inbounds i8, ptr %258, i64 0
  %260 = load i8, ptr %259, align 1, !tbaa !17
  %261 = zext i8 %260 to i64
  %262 = or i64 %256, %261
  %263 = xor i64 %208, %262
  store i64 %263, ptr %23, align 8, !tbaa !18
  br label %264

264:                                              ; preds = %189
  %265 = load i64, ptr %23, align 8, !tbaa !18
  %266 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %267 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %266, i64 0, i64 1
  %268 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %267, i32 0, i32 0
  %269 = load i64, ptr %268, align 8, !tbaa !11
  %270 = xor i64 %269, %265
  store i64 %270, ptr %268, align 8, !tbaa !11
  br label %271

271:                                              ; preds = %264
  br label %272

272:                                              ; preds = %271
  br label %273

273:                                              ; preds = %272
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #4
  %274 = load i64, ptr %23, align 8, !tbaa !18
  store i64 %274, ptr %27, align 8, !tbaa !18
  %275 = load i64, ptr %27, align 8, !tbaa !18
  %276 = trunc i64 %275 to i8
  %277 = load ptr, ptr %11, align 8, !tbaa !5
  %278 = getelementptr inbounds i8, ptr %277, i64 8
  %279 = getelementptr inbounds i8, ptr %278, i64 0
  store i8 %276, ptr %279, align 1, !tbaa !17
  %280 = load i64, ptr %27, align 8, !tbaa !18
  %281 = lshr i64 %280, 8
  %282 = trunc i64 %281 to i8
  %283 = load ptr, ptr %11, align 8, !tbaa !5
  %284 = getelementptr inbounds i8, ptr %283, i64 8
  %285 = getelementptr inbounds i8, ptr %284, i64 1
  store i8 %282, ptr %285, align 1, !tbaa !17
  %286 = load i64, ptr %27, align 8, !tbaa !18
  %287 = lshr i64 %286, 16
  %288 = trunc i64 %287 to i8
  %289 = load ptr, ptr %11, align 8, !tbaa !5
  %290 = getelementptr inbounds i8, ptr %289, i64 8
  %291 = getelementptr inbounds i8, ptr %290, i64 2
  store i8 %288, ptr %291, align 1, !tbaa !17
  %292 = load i64, ptr %27, align 8, !tbaa !18
  %293 = lshr i64 %292, 24
  %294 = trunc i64 %293 to i8
  %295 = load ptr, ptr %11, align 8, !tbaa !5
  %296 = getelementptr inbounds i8, ptr %295, i64 8
  %297 = getelementptr inbounds i8, ptr %296, i64 3
  store i8 %294, ptr %297, align 1, !tbaa !17
  %298 = load i64, ptr %27, align 8, !tbaa !18
  %299 = lshr i64 %298, 32
  %300 = trunc i64 %299 to i8
  %301 = load ptr, ptr %11, align 8, !tbaa !5
  %302 = getelementptr inbounds i8, ptr %301, i64 8
  %303 = getelementptr inbounds i8, ptr %302, i64 4
  store i8 %300, ptr %303, align 1, !tbaa !17
  %304 = load i64, ptr %27, align 8, !tbaa !18
  %305 = lshr i64 %304, 40
  %306 = trunc i64 %305 to i8
  %307 = load ptr, ptr %11, align 8, !tbaa !5
  %308 = getelementptr inbounds i8, ptr %307, i64 8
  %309 = getelementptr inbounds i8, ptr %308, i64 5
  store i8 %306, ptr %309, align 1, !tbaa !17
  %310 = load i64, ptr %27, align 8, !tbaa !18
  %311 = lshr i64 %310, 48
  %312 = trunc i64 %311 to i8
  %313 = load ptr, ptr %11, align 8, !tbaa !5
  %314 = getelementptr inbounds i8, ptr %313, i64 8
  %315 = getelementptr inbounds i8, ptr %314, i64 6
  store i8 %312, ptr %315, align 1, !tbaa !17
  %316 = load i64, ptr %27, align 8, !tbaa !18
  %317 = lshr i64 %316, 56
  %318 = trunc i64 %317 to i8
  %319 = load ptr, ptr %11, align 8, !tbaa !5
  %320 = getelementptr inbounds i8, ptr %319, i64 8
  %321 = getelementptr inbounds i8, ptr %320, i64 7
  store i8 %318, ptr %321, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #4
  br label %322

322:                                              ; preds = %273
  br label %323

323:                                              ; preds = %322
  call void @knot512_masked_permute_7(ptr noundef %20, i8 noundef zeroext 52)
  %324 = load ptr, ptr %14, align 8, !tbaa !5
  %325 = getelementptr inbounds i8, ptr %324, i64 16
  store ptr %325, ptr %14, align 8, !tbaa !5
  %326 = load ptr, ptr %11, align 8, !tbaa !5
  %327 = getelementptr inbounds i8, ptr %326, i64 16
  store ptr %327, ptr %11, align 8, !tbaa !5
  %328 = load i64, ptr %15, align 8, !tbaa !9
  %329 = sub i64 %328, 16
  store i64 %329, ptr %15, align 8, !tbaa !9
  br label %68, !llvm.loop !19

330:                                              ; preds = %68
  %331 = load i64, ptr %15, align 8, !tbaa !9
  %332 = trunc i64 %331 to i32
  store i32 %332, ptr %24, align 4, !tbaa !21
  br label %333

333:                                              ; preds = %330
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #4
  %334 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %335 = getelementptr inbounds [8 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.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %339 = getelementptr inbounds [8 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.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %344 = getelementptr inbounds [8 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.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %349 = getelementptr inbounds [8 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 %28, align 8, !tbaa !18
  %353 = load i64, ptr %28, align 8, !tbaa !18
  %354 = trunc i64 %353 to i8
  %355 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  store i8 %354, ptr %355, align 16, !tbaa !17
  %356 = load i64, ptr %28, align 8, !tbaa !18
  %357 = lshr i64 %356, 8
  %358 = trunc i64 %357 to i8
  %359 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 1
  store i8 %358, ptr %359, align 1, !tbaa !17
  %360 = load i64, ptr %28, align 8, !tbaa !18
  %361 = lshr i64 %360, 16
  %362 = trunc i64 %361 to i8
  %363 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 2
  store i8 %362, ptr %363, align 2, !tbaa !17
  %364 = load i64, ptr %28, align 8, !tbaa !18
  %365 = lshr i64 %364, 24
  %366 = trunc i64 %365 to i8
  %367 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 3
  store i8 %366, ptr %367, align 1, !tbaa !17
  %368 = load i64, ptr %28, align 8, !tbaa !18
  %369 = lshr i64 %368, 32
  %370 = trunc i64 %369 to i8
  %371 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 4
  store i8 %370, ptr %371, align 4, !tbaa !17
  %372 = load i64, ptr %28, align 8, !tbaa !18
  %373 = lshr i64 %372, 40
  %374 = trunc i64 %373 to i8
  %375 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 5
  store i8 %374, ptr %375, align 1, !tbaa !17
  %376 = load i64, ptr %28, align 8, !tbaa !18
  %377 = lshr i64 %376, 48
  %378 = trunc i64 %377 to i8
  %379 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 6
  store i8 %378, ptr %379, align 2, !tbaa !17
  %380 = load i64, ptr %28, align 8, !tbaa !18
  %381 = lshr i64 %380, 56
  %382 = trunc i64 %381 to i8
  %383 = getelementptr inbounds [32 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 %28) #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 %29) #4
  %387 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %388 = getelementptr inbounds [8 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.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %392 = getelementptr inbounds [8 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.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %397 = getelementptr inbounds [8 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.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %402 = getelementptr inbounds [8 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 %29, align 8, !tbaa !18
  %406 = load i64, ptr %29, align 8, !tbaa !18
  %407 = trunc i64 %406 to i8
  %408 = getelementptr inbounds [32 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 %29, align 8, !tbaa !18
  %412 = lshr i64 %411, 8
  %413 = trunc i64 %412 to i8
  %414 = getelementptr inbounds [32 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 %29, align 8, !tbaa !18
  %418 = lshr i64 %417, 16
  %419 = trunc i64 %418 to i8
  %420 = getelementptr inbounds [32 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 %29, align 8, !tbaa !18
  %424 = lshr i64 %423, 24
  %425 = trunc i64 %424 to i8
  %426 = getelementptr inbounds [32 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 %29, align 8, !tbaa !18
  %430 = lshr i64 %429, 32
  %431 = trunc i64 %430 to i8
  %432 = getelementptr inbounds [32 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 %29, align 8, !tbaa !18
  %436 = lshr i64 %435, 40
  %437 = trunc i64 %436 to i8
  %438 = getelementptr inbounds [32 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 %29, align 8, !tbaa !18
  %442 = lshr i64 %441, 48
  %443 = trunc i64 %442 to i8
  %444 = getelementptr inbounds [32 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 %29, align 8, !tbaa !18
  %448 = lshr i64 %447, 56
  %449 = trunc i64 %448 to i8
  %450 = getelementptr inbounds [32 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 %29) #4
  br label %453

453:                                              ; preds = %386
  br label %454

454:                                              ; preds = %453
  br label %455

455:                                              ; preds = %454
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #4
  %456 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %456, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #4
  %457 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  store ptr %457, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #4
  %458 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %458, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #4
  %459 = load i32, ptr %24, align 4, !tbaa !21
  store i32 %459, ptr %33, align 4, !tbaa !21
  br label %460

460:                                              ; preds = %463, %455
  %461 = load i32, ptr %33, align 4, !tbaa !21
  %462 = icmp ugt i32 %461, 0
  br i1 %462, label %463, label %478

463:                                              ; preds = %460
  %464 = load ptr, ptr %32, align 8, !tbaa !5
  %465 = getelementptr inbounds i8, ptr %464, i32 1
  store ptr %465, ptr %32, align 8, !tbaa !5
  %466 = load i8, ptr %464, align 1, !tbaa !17
  %467 = zext i8 %466 to i32
  %468 = load ptr, ptr %31, align 8, !tbaa !5
  %469 = getelementptr inbounds i8, ptr %468, i32 1
  store ptr %469, ptr %31, align 8, !tbaa !5
  %470 = load i8, ptr %468, align 1, !tbaa !17
  %471 = zext i8 %470 to i32
  %472 = xor i32 %471, %467
  %473 = trunc i32 %472 to i8
  store i8 %473, ptr %468, align 1, !tbaa !17
  %474 = load ptr, ptr %30, align 8, !tbaa !5
  %475 = getelementptr inbounds i8, ptr %474, i32 1
  store ptr %475, ptr %30, align 8, !tbaa !5
  store i8 %473, ptr %474, align 1, !tbaa !17
  %476 = load i32, ptr %33, align 4, !tbaa !21
  %477 = add i32 %476, -1
  store i32 %477, ptr %33, align 4, !tbaa !21
  br label %460, !llvm.loop !23

478:                                              ; preds = %460
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #4
  br label %479

479:                                              ; preds = %478
  br label %480

480:                                              ; preds = %479
  %481 = load i32, ptr %24, align 4, !tbaa !21
  %482 = zext i32 %481 to i64
  %483 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 %482
  store i8 1, ptr %483, align 1, !tbaa !17
  %484 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %485 = load i32, ptr %24, align 4, !tbaa !21
  %486 = zext i32 %485 to i64
  %487 = getelementptr inbounds i8, ptr %484, i64 %486
  %488 = getelementptr inbounds i8, ptr %487, i64 1
  %489 = load i32, ptr %24, align 4, !tbaa !21
  %490 = add i32 %489, 1
  %491 = sub i32 16, %490
  %492 = zext i32 %491 to i64
  call void @llvm.memset.p0.i64(ptr align 1 %488, i8 0, i64 %492, i1 false)
  br label %493

493:                                              ; preds = %480
  %494 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 7
  %495 = load i8, ptr %494, align 1, !tbaa !17
  %496 = zext i8 %495 to i64
  %497 = shl i64 %496, 56
  %498 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 6
  %499 = load i8, ptr %498, align 2, !tbaa !17
  %500 = zext i8 %499 to i64
  %501 = shl i64 %500, 48
  %502 = or i64 %497, %501
  %503 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 5
  %504 = load i8, ptr %503, align 1, !tbaa !17
  %505 = zext i8 %504 to i64
  %506 = shl i64 %505, 40
  %507 = or i64 %502, %506
  %508 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 4
  %509 = load i8, ptr %508, align 4, !tbaa !17
  %510 = zext i8 %509 to i64
  %511 = shl i64 %510, 32
  %512 = or i64 %507, %511
  %513 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 3
  %514 = load i8, ptr %513, align 1, !tbaa !17
  %515 = zext i8 %514 to i64
  %516 = shl i64 %515, 24
  %517 = or i64 %512, %516
  %518 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 2
  %519 = load i8, ptr %518, align 2, !tbaa !17
  %520 = zext i8 %519 to i64
  %521 = shl i64 %520, 16
  %522 = or i64 %517, %521
  %523 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 1
  %524 = load i8, ptr %523, align 1, !tbaa !17
  %525 = zext i8 %524 to i64
  %526 = shl i64 %525, 8
  %527 = or i64 %522, %526
  %528 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %529 = load i8, ptr %528, align 16, !tbaa !17
  %530 = zext i8 %529 to i64
  %531 = or i64 %527, %530
  %532 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %533 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %532, i64 0, i64 0
  %534 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %533, i32 0, i32 0
  %535 = load i64, ptr %534, align 8, !tbaa !11
  %536 = xor i64 %535, %531
  store i64 %536, ptr %534, align 8, !tbaa !11
  br label %537

537:                                              ; preds = %493
  br label %538

538:                                              ; preds = %537
  br label %539

539:                                              ; preds = %538
  %540 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %541 = getelementptr inbounds i8, ptr %540, i64 8
  %542 = getelementptr inbounds i8, ptr %541, i64 7
  %543 = load i8, ptr %542, align 1, !tbaa !17
  %544 = zext i8 %543 to i64
  %545 = shl i64 %544, 56
  %546 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %547 = getelementptr inbounds i8, ptr %546, i64 8
  %548 = getelementptr inbounds i8, ptr %547, i64 6
  %549 = load i8, ptr %548, align 1, !tbaa !17
  %550 = zext i8 %549 to i64
  %551 = shl i64 %550, 48
  %552 = or i64 %545, %551
  %553 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %554 = getelementptr inbounds i8, ptr %553, i64 8
  %555 = getelementptr inbounds i8, ptr %554, i64 5
  %556 = load i8, ptr %555, align 1, !tbaa !17
  %557 = zext i8 %556 to i64
  %558 = shl i64 %557, 40
  %559 = or i64 %552, %558
  %560 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %561 = getelementptr inbounds i8, ptr %560, i64 8
  %562 = getelementptr inbounds i8, ptr %561, i64 4
  %563 = load i8, ptr %562, align 1, !tbaa !17
  %564 = zext i8 %563 to i64
  %565 = shl i64 %564, 32
  %566 = or i64 %559, %565
  %567 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %568 = getelementptr inbounds i8, ptr %567, i64 8
  %569 = getelementptr inbounds i8, ptr %568, i64 3
  %570 = load i8, ptr %569, align 1, !tbaa !17
  %571 = zext i8 %570 to i64
  %572 = shl i64 %571, 24
  %573 = or i64 %566, %572
  %574 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %575 = getelementptr inbounds i8, ptr %574, i64 8
  %576 = getelementptr inbounds i8, ptr %575, i64 2
  %577 = load i8, ptr %576, align 1, !tbaa !17
  %578 = zext i8 %577 to i64
  %579 = shl i64 %578, 16
  %580 = or i64 %573, %579
  %581 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %582 = getelementptr inbounds i8, ptr %581, i64 8
  %583 = getelementptr inbounds i8, ptr %582, i64 1
  %584 = load i8, ptr %583, align 1, !tbaa !17
  %585 = zext i8 %584 to i64
  %586 = shl i64 %585, 8
  %587 = or i64 %580, %586
  %588 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %589 = getelementptr inbounds i8, ptr %588, i64 8
  %590 = getelementptr inbounds i8, ptr %589, i64 0
  %591 = load i8, ptr %590, align 1, !tbaa !17
  %592 = zext i8 %591 to i64
  %593 = or i64 %587, %592
  %594 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %595 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %594, i64 0, i64 1
  %596 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %595, i32 0, i32 0
  %597 = load i64, ptr %596, align 8, !tbaa !11
  %598 = xor i64 %597, %593
  store i64 %598, ptr %596, align 8, !tbaa !11
  br label %599

599:                                              ; preds = %539
  br label %600

600:                                              ; preds = %599
  br label %601

601:                                              ; preds = %600, %62
  call void @knot512_masked_permute_7(ptr noundef %20, i8 noundef zeroext 56)
  br label %602

602:                                              ; preds = %601
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #4
  %603 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %604 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %603, i64 0, i64 0
  %605 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %604, i32 0, i32 0
  %606 = load i64, ptr %605, align 8, !tbaa !11
  %607 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %608 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %607, i64 0, i64 0
  %609 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %608, i32 0, i32 1
  %610 = load i64, ptr %609, align 8, !tbaa !14
  %611 = xor i64 %606, %610
  %612 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %613 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %612, i64 0, i64 0
  %614 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %613, i32 0, i32 2
  %615 = load i64, ptr %614, align 8, !tbaa !15
  %616 = xor i64 %611, %615
  %617 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %618 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %617, i64 0, i64 0
  %619 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %618, i32 0, i32 3
  %620 = load i64, ptr %619, align 8, !tbaa !16
  %621 = xor i64 %616, %620
  store i64 %621, ptr %34, align 8, !tbaa !18
  %622 = load i64, ptr %34, align 8, !tbaa !18
  %623 = trunc i64 %622 to i8
  %624 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  store i8 %623, ptr %624, align 16, !tbaa !17
  %625 = load i64, ptr %34, align 8, !tbaa !18
  %626 = lshr i64 %625, 8
  %627 = trunc i64 %626 to i8
  %628 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 1
  store i8 %627, ptr %628, align 1, !tbaa !17
  %629 = load i64, ptr %34, align 8, !tbaa !18
  %630 = lshr i64 %629, 16
  %631 = trunc i64 %630 to i8
  %632 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 2
  store i8 %631, ptr %632, align 2, !tbaa !17
  %633 = load i64, ptr %34, align 8, !tbaa !18
  %634 = lshr i64 %633, 24
  %635 = trunc i64 %634 to i8
  %636 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 3
  store i8 %635, ptr %636, align 1, !tbaa !17
  %637 = load i64, ptr %34, align 8, !tbaa !18
  %638 = lshr i64 %637, 32
  %639 = trunc i64 %638 to i8
  %640 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 4
  store i8 %639, ptr %640, align 4, !tbaa !17
  %641 = load i64, ptr %34, align 8, !tbaa !18
  %642 = lshr i64 %641, 40
  %643 = trunc i64 %642 to i8
  %644 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 5
  store i8 %643, ptr %644, align 1, !tbaa !17
  %645 = load i64, ptr %34, align 8, !tbaa !18
  %646 = lshr i64 %645, 48
  %647 = trunc i64 %646 to i8
  %648 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 6
  store i8 %647, ptr %648, align 2, !tbaa !17
  %649 = load i64, ptr %34, align 8, !tbaa !18
  %650 = lshr i64 %649, 56
  %651 = trunc i64 %650 to i8
  %652 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 7
  store i8 %651, ptr %652, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #4
  br label %653

653:                                              ; preds = %602
  br label %654

654:                                              ; preds = %653
  br label %655

655:                                              ; preds = %654
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #4
  %656 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %657 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %656, i64 0, i64 1
  %658 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %657, i32 0, i32 0
  %659 = load i64, ptr %658, align 8, !tbaa !11
  %660 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %661 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %660, i64 0, i64 1
  %662 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %661, i32 0, i32 1
  %663 = load i64, ptr %662, align 8, !tbaa !14
  %664 = xor i64 %659, %663
  %665 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %666 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %665, i64 0, i64 1
  %667 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %666, i32 0, i32 2
  %668 = load i64, ptr %667, align 8, !tbaa !15
  %669 = xor i64 %664, %668
  %670 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %671 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %670, i64 0, i64 1
  %672 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %671, i32 0, i32 3
  %673 = load i64, ptr %672, align 8, !tbaa !16
  %674 = xor i64 %669, %673
  store i64 %674, ptr %35, align 8, !tbaa !18
  %675 = load i64, ptr %35, align 8, !tbaa !18
  %676 = trunc i64 %675 to i8
  %677 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %678 = getelementptr inbounds i8, ptr %677, i64 8
  %679 = getelementptr inbounds i8, ptr %678, i64 0
  store i8 %676, ptr %679, align 1, !tbaa !17
  %680 = load i64, ptr %35, align 8, !tbaa !18
  %681 = lshr i64 %680, 8
  %682 = trunc i64 %681 to i8
  %683 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %684 = getelementptr inbounds i8, ptr %683, i64 8
  %685 = getelementptr inbounds i8, ptr %684, i64 1
  store i8 %682, ptr %685, align 1, !tbaa !17
  %686 = load i64, ptr %35, align 8, !tbaa !18
  %687 = lshr i64 %686, 16
  %688 = trunc i64 %687 to i8
  %689 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %690 = getelementptr inbounds i8, ptr %689, i64 8
  %691 = getelementptr inbounds i8, ptr %690, i64 2
  store i8 %688, ptr %691, align 1, !tbaa !17
  %692 = load i64, ptr %35, align 8, !tbaa !18
  %693 = lshr i64 %692, 24
  %694 = trunc i64 %693 to i8
  %695 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %696 = getelementptr inbounds i8, ptr %695, i64 8
  %697 = getelementptr inbounds i8, ptr %696, i64 3
  store i8 %694, ptr %697, align 1, !tbaa !17
  %698 = load i64, ptr %35, align 8, !tbaa !18
  %699 = lshr i64 %698, 32
  %700 = trunc i64 %699 to i8
  %701 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %702 = getelementptr inbounds i8, ptr %701, i64 8
  %703 = getelementptr inbounds i8, ptr %702, i64 4
  store i8 %700, ptr %703, align 1, !tbaa !17
  %704 = load i64, ptr %35, align 8, !tbaa !18
  %705 = lshr i64 %704, 40
  %706 = trunc i64 %705 to i8
  %707 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %708 = getelementptr inbounds i8, ptr %707, i64 8
  %709 = getelementptr inbounds i8, ptr %708, i64 5
  store i8 %706, ptr %709, align 1, !tbaa !17
  %710 = load i64, ptr %35, align 8, !tbaa !18
  %711 = lshr i64 %710, 48
  %712 = trunc i64 %711 to i8
  %713 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %714 = getelementptr inbounds i8, ptr %713, i64 8
  %715 = getelementptr inbounds i8, ptr %714, i64 6
  store i8 %712, ptr %715, align 1, !tbaa !17
  %716 = load i64, ptr %35, align 8, !tbaa !18
  %717 = lshr i64 %716, 56
  %718 = trunc i64 %717 to i8
  %719 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %720 = getelementptr inbounds i8, ptr %719, i64 8
  %721 = getelementptr inbounds i8, ptr %720, i64 7
  store i8 %718, ptr %721, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #4
  br label %722

722:                                              ; preds = %655
  br label %723

723:                                              ; preds = %722
  br label %724

724:                                              ; preds = %723
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #4
  %725 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %726 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %725, i64 0, i64 2
  %727 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %726, i32 0, i32 0
  %728 = load i64, ptr %727, align 8, !tbaa !11
  %729 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %730 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %729, i64 0, i64 2
  %731 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %730, i32 0, i32 1
  %732 = load i64, ptr %731, align 8, !tbaa !14
  %733 = xor i64 %728, %732
  %734 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %735 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %734, i64 0, i64 2
  %736 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %735, i32 0, i32 2
  %737 = load i64, ptr %736, align 8, !tbaa !15
  %738 = xor i64 %733, %737
  %739 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %740 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %739, i64 0, i64 2
  %741 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %740, i32 0, i32 3
  %742 = load i64, ptr %741, align 8, !tbaa !16
  %743 = xor i64 %738, %742
  store i64 %743, ptr %36, align 8, !tbaa !18
  %744 = load i64, ptr %36, align 8, !tbaa !18
  %745 = trunc i64 %744 to i8
  %746 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %747 = getelementptr inbounds i8, ptr %746, i64 16
  %748 = getelementptr inbounds i8, ptr %747, i64 0
  store i8 %745, ptr %748, align 1, !tbaa !17
  %749 = load i64, ptr %36, align 8, !tbaa !18
  %750 = lshr i64 %749, 8
  %751 = trunc i64 %750 to i8
  %752 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %753 = getelementptr inbounds i8, ptr %752, i64 16
  %754 = getelementptr inbounds i8, ptr %753, i64 1
  store i8 %751, ptr %754, align 1, !tbaa !17
  %755 = load i64, ptr %36, align 8, !tbaa !18
  %756 = lshr i64 %755, 16
  %757 = trunc i64 %756 to i8
  %758 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %759 = getelementptr inbounds i8, ptr %758, i64 16
  %760 = getelementptr inbounds i8, ptr %759, i64 2
  store i8 %757, ptr %760, align 1, !tbaa !17
  %761 = load i64, ptr %36, align 8, !tbaa !18
  %762 = lshr i64 %761, 24
  %763 = trunc i64 %762 to i8
  %764 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %765 = getelementptr inbounds i8, ptr %764, i64 16
  %766 = getelementptr inbounds i8, ptr %765, i64 3
  store i8 %763, ptr %766, align 1, !tbaa !17
  %767 = load i64, ptr %36, align 8, !tbaa !18
  %768 = lshr i64 %767, 32
  %769 = trunc i64 %768 to i8
  %770 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %771 = getelementptr inbounds i8, ptr %770, i64 16
  %772 = getelementptr inbounds i8, ptr %771, i64 4
  store i8 %769, ptr %772, align 1, !tbaa !17
  %773 = load i64, ptr %36, align 8, !tbaa !18
  %774 = lshr i64 %773, 40
  %775 = trunc i64 %774 to i8
  %776 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %777 = getelementptr inbounds i8, ptr %776, i64 16
  %778 = getelementptr inbounds i8, ptr %777, i64 5
  store i8 %775, ptr %778, align 1, !tbaa !17
  %779 = load i64, ptr %36, align 8, !tbaa !18
  %780 = lshr i64 %779, 48
  %781 = trunc i64 %780 to i8
  %782 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %783 = getelementptr inbounds i8, ptr %782, i64 16
  %784 = getelementptr inbounds i8, ptr %783, i64 6
  store i8 %781, ptr %784, align 1, !tbaa !17
  %785 = load i64, ptr %36, align 8, !tbaa !18
  %786 = lshr i64 %785, 56
  %787 = trunc i64 %786 to i8
  %788 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %789 = getelementptr inbounds i8, ptr %788, i64 16
  %790 = getelementptr inbounds i8, ptr %789, i64 7
  store i8 %787, ptr %790, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #4
  br label %791

791:                                              ; preds = %724
  br label %792

792:                                              ; preds = %791
  br label %793

793:                                              ; preds = %792
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #4
  %794 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %795 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %794, i64 0, i64 3
  %796 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %795, i32 0, i32 0
  %797 = load i64, ptr %796, align 8, !tbaa !11
  %798 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %799 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %798, i64 0, i64 3
  %800 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %799, i32 0, i32 1
  %801 = load i64, ptr %800, align 8, !tbaa !14
  %802 = xor i64 %797, %801
  %803 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %804 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %803, i64 0, i64 3
  %805 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %804, i32 0, i32 2
  %806 = load i64, ptr %805, align 8, !tbaa !15
  %807 = xor i64 %802, %806
  %808 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %20, i32 0, i32 0
  %809 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %808, i64 0, i64 3
  %810 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %809, i32 0, i32 3
  %811 = load i64, ptr %810, align 8, !tbaa !16
  %812 = xor i64 %807, %811
  store i64 %812, ptr %37, align 8, !tbaa !18
  %813 = load i64, ptr %37, align 8, !tbaa !18
  %814 = trunc i64 %813 to i8
  %815 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %816 = getelementptr inbounds i8, ptr %815, i64 24
  %817 = getelementptr inbounds i8, ptr %816, i64 0
  store i8 %814, ptr %817, align 1, !tbaa !17
  %818 = load i64, ptr %37, align 8, !tbaa !18
  %819 = lshr i64 %818, 8
  %820 = trunc i64 %819 to i8
  %821 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %822 = getelementptr inbounds i8, ptr %821, i64 24
  %823 = getelementptr inbounds i8, ptr %822, i64 1
  store i8 %820, ptr %823, align 1, !tbaa !17
  %824 = load i64, ptr %37, align 8, !tbaa !18
  %825 = lshr i64 %824, 16
  %826 = trunc i64 %825 to i8
  %827 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %828 = getelementptr inbounds i8, ptr %827, i64 24
  %829 = getelementptr inbounds i8, ptr %828, i64 2
  store i8 %826, ptr %829, align 1, !tbaa !17
  %830 = load i64, ptr %37, align 8, !tbaa !18
  %831 = lshr i64 %830, 24
  %832 = trunc i64 %831 to i8
  %833 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %834 = getelementptr inbounds i8, ptr %833, i64 24
  %835 = getelementptr inbounds i8, ptr %834, i64 3
  store i8 %832, ptr %835, align 1, !tbaa !17
  %836 = load i64, ptr %37, align 8, !tbaa !18
  %837 = lshr i64 %836, 32
  %838 = trunc i64 %837 to i8
  %839 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %840 = getelementptr inbounds i8, ptr %839, i64 24
  %841 = getelementptr inbounds i8, ptr %840, i64 4
  store i8 %838, ptr %841, align 1, !tbaa !17
  %842 = load i64, ptr %37, align 8, !tbaa !18
  %843 = lshr i64 %842, 40
  %844 = trunc i64 %843 to i8
  %845 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %846 = getelementptr inbounds i8, ptr %845, i64 24
  %847 = getelementptr inbounds i8, ptr %846, i64 5
  store i8 %844, ptr %847, align 1, !tbaa !17
  %848 = load i64, ptr %37, align 8, !tbaa !18
  %849 = lshr i64 %848, 48
  %850 = trunc i64 %849 to i8
  %851 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %852 = getelementptr inbounds i8, ptr %851, i64 24
  %853 = getelementptr inbounds i8, ptr %852, i64 6
  store i8 %850, ptr %853, align 1, !tbaa !17
  %854 = load i64, ptr %37, align 8, !tbaa !18
  %855 = lshr i64 %854, 56
  %856 = trunc i64 %855 to i8
  %857 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %858 = getelementptr inbounds i8, ptr %857, i64 24
  %859 = getelementptr inbounds i8, ptr %858, i64 7
  store i8 %856, ptr %859, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #4
  br label %860

860:                                              ; preds = %793
  br label %861

861:                                              ; preds = %860
  call void @aead_random_finish()
  %862 = load ptr, ptr %22, align 8, !tbaa !5
  %863 = load ptr, ptr %12, align 8, !tbaa !5
  %864 = load i64, ptr %863, align 8, !tbaa !9
  %865 = getelementptr inbounds [32 x i8], ptr %21, i64 0, i64 0
  %866 = load ptr, ptr %14, align 8, !tbaa !5
  %867 = load i64, ptr %15, align 8, !tbaa !9
  %868 = getelementptr inbounds i8, ptr %866, i64 %867
  %869 = call i32 @aead_check_tag(ptr noundef %862, i64 noundef %864, ptr noundef %865, ptr noundef %868, i32 noundef 32)
  store i32 %869, ptr %10, align 4
  store i32 1, ptr %25, align 4
  br label %870

870:                                              ; preds = %861, %42
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 256, ptr %20) #4
  %871 = load i32, ptr %10, align 4
  ret i32 %871
}

; 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: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #2

declare void @aead_random_finish() #3

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

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

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

declare void @knot512_masked_permute_7(ptr noundef, i8 noundef zeroext) #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: write) }
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, !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.knot512_masked_state_t = type { [8 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_256_512_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.knot512_masked_state_t, align 8
  %11 = alloca [32 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %10) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #4
  %12 = icmp ult i64 %4, 32
  br i1 %12, label %357, label %13

13:                                               ; preds = %9
  %14 = add i64 %4, -32
  store i64 %14, ptr %1, align 8, !tbaa !5
  call void @knot_aead_256_512_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_256_512_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 224
  %18 = load i64, ptr %17, align 8, !tbaa !9
  %19 = xor i64 %18, -9223372036854775808
  store i64 %19, ptr %17, align 8, !tbaa !9
  %.not144 = icmp eq i64 %14, 0
  br i1 %.not144, label %219, label %.preheader

.preheader:                                       ; preds = %16
  %20 = icmp ugt i64 %14, 15
  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
  %24 = getelementptr inbounds i8, ptr %10, i64 32
  %25 = getelementptr inbounds i8, ptr %10, i64 40
  %26 = getelementptr inbounds i8, ptr %10, i64 48
  %27 = getelementptr inbounds i8, ptr %10, i64 56
  br label %28

28:                                               ; preds = %.lr.ph, %28
  %.0132148 = phi ptr [ %0, %.lr.ph ], [ %94, %28 ]
  %.0133147 = phi ptr [ %3, %.lr.ph ], [ %93, %28 ]
  %.0134146 = phi i64 [ %14, %.lr.ph ], [ %95, %28 ]
  %29 = load i64, ptr %10, align 8, !tbaa !9
  %30 = load i64, ptr %21, align 8, !tbaa !12
  %31 = load i64, ptr %22, align 8, !tbaa !13
  %32 = xor i64 %31, %30
  %33 = load i64, ptr %23, align 8, !tbaa !14
  %34 = xor i64 %32, %33
  %35 = load i64, ptr %.0133147, align 1
  %36 = xor i64 %34, %35
  %37 = xor i64 %36, %29
  store i64 %36, ptr %10, align 8, !tbaa !9
  %38 = trunc i64 %37 to i8
  store i8 %38, ptr %.0132148, align 1, !tbaa !15
  %39 = lshr i64 %37, 8
  %40 = trunc i64 %39 to i8
  %41 = getelementptr inbounds i8, ptr %.0132148, i64 1
  store i8 %40, ptr %41, align 1, !tbaa !15
  %42 = lshr i64 %37, 16
  %43 = trunc i64 %42 to i8
  %44 = getelementptr inbounds i8, ptr %.0132148, i64 2
  store i8 %43, ptr %44, align 1, !tbaa !15
  %45 = lshr i64 %37, 24
  %46 = trunc i64 %45 to i8
  %47 = getelementptr inbounds i8, ptr %.0132148, i64 3
  store i8 %46, ptr %47, align 1, !tbaa !15
  %48 = lshr i64 %37, 32
  %49 = trunc i64 %48 to i8
  %50 = getelementptr inbounds i8, ptr %.0132148, i64 4
  store i8 %49, ptr %50, align 1, !tbaa !15
  %51 = lshr i64 %37, 40
  %52 = trunc i64 %51 to i8
  %53 = getelementptr inbounds i8, ptr %.0132148, i64 5
  store i8 %52, ptr %53, align 1, !tbaa !15
  %54 = lshr i64 %37, 48
  %55 = trunc i64 %54 to i8
  %56 = getelementptr inbounds i8, ptr %.0132148, i64 6
  store i8 %55, ptr %56, align 1, !tbaa !15
  %57 = lshr i64 %37, 56
  %58 = trunc nuw i64 %57 to i8
  %59 = getelementptr inbounds i8, ptr %.0132148, i64 7
  store i8 %58, ptr %59, align 1, !tbaa !15
  %60 = load i64, ptr %24, align 8, !tbaa !9
  %61 = load i64, ptr %25, align 8, !tbaa !12
  %62 = load i64, ptr %26, align 8, !tbaa !13
  %63 = xor i64 %62, %61
  %64 = load i64, ptr %27, align 8, !tbaa !14
  %65 = xor i64 %63, %64
  %66 = getelementptr inbounds i8, ptr %.0133147, i64 8
  %67 = load i64, ptr %66, align 1
  %68 = xor i64 %65, %67
  %69 = xor i64 %68, %60
  store i64 %68, ptr %24, align 8, !tbaa !9
  %70 = trunc i64 %69 to i8
  %71 = getelementptr inbounds i8, ptr %.0132148, i64 8
  store i8 %70, ptr %71, align 1, !tbaa !15
  %72 = lshr i64 %69, 8
  %73 = trunc i64 %72 to i8
  %74 = getelementptr inbounds i8, ptr %.0132148, i64 9
  store i8 %73, ptr %74, align 1, !tbaa !15
  %75 = lshr i64 %69, 16
  %76 = trunc i64 %75 to i8
  %77 = getelementptr inbounds i8, ptr %.0132148, i64 10
  store i8 %76, ptr %77, align 1, !tbaa !15
  %78 = lshr i64 %69, 24
  %79 = trunc i64 %78 to i8
  %80 = getelementptr inbounds i8, ptr %.0132148, i64 11
  store i8 %79, ptr %80, align 1, !tbaa !15
  %81 = lshr i64 %69, 32
  %82 = trunc i64 %81 to i8
  %83 = getelementptr inbounds i8, ptr %.0132148, i64 12
  store i8 %82, ptr %83, align 1, !tbaa !15
  %84 = lshr i64 %69, 40
  %85 = trunc i64 %84 to i8
  %86 = getelementptr inbounds i8, ptr %.0132148, i64 13
  store i8 %85, ptr %86, align 1, !tbaa !15
  %87 = lshr i64 %69, 48
  %88 = trunc i64 %87 to i8
  %89 = getelementptr inbounds i8, ptr %.0132148, i64 14
  store i8 %88, ptr %89, align 1, !tbaa !15
  %90 = lshr i64 %69, 56
  %91 = trunc nuw i64 %90 to i8
  %92 = getelementptr inbounds i8, ptr %.0132148, i64 15
  store i8 %91, ptr %92, align 1, !tbaa !15
  call void @knot512_masked_permute_7(ptr noundef nonnull %10, i8 noundef zeroext 52) #4
  %93 = getelementptr inbounds i8, ptr %.0133147, i64 16
  %94 = getelementptr inbounds i8, ptr %.0132148, i64 16
  %95 = add i64 %.0134146, -16
  %96 = icmp ugt i64 %95, 15
  br i1 %96, label %28, label %._crit_edge, !llvm.loop !16

._crit_edge:                                      ; preds = %28, %.preheader
  %.0134.lcssa = phi i64 [ %14, %.preheader ], [ %95, %28 ]
  %.0133.lcssa = phi ptr [ %3, %.preheader ], [ %93, %28 ]
  %.0132.lcssa = phi ptr [ %0, %.preheader ], [ %94, %28 ]
  %97 = load i64, ptr %10, align 8, !tbaa !9
  %98 = getelementptr inbounds i8, ptr %10, i64 8
  %99 = load i64, ptr %98, align 8, !tbaa !12
  %100 = getelementptr inbounds i8, ptr %10, i64 16
  %101 = load i64, ptr %100, align 8, !tbaa !13
  %102 = getelementptr inbounds i8, ptr %10, i64 24
  %103 = load i64, ptr %102, align 8, !tbaa !14
  %104 = xor i64 %99, %101
  %105 = xor i64 %104, %103
  %106 = xor i64 %105, %97
  %107 = trunc i64 %106 to i8
  store i8 %107, ptr %11, align 16, !tbaa !15
  %108 = lshr i64 %106, 8
  %109 = trunc i64 %108 to i8
  %110 = getelementptr inbounds i8, ptr %11, i64 1
  store i8 %109, ptr %110, align 1, !tbaa !15
  %111 = lshr i64 %106, 16
  %112 = trunc i64 %111 to i8
  %113 = getelementptr inbounds i8, ptr %11, i64 2
  store i8 %112, ptr %113, align 2, !tbaa !15
  %114 = lshr i64 %106, 24
  %115 = trunc i64 %114 to i8
  %116 = getelementptr inbounds i8, ptr %11, i64 3
  store i8 %115, ptr %116, align 1, !tbaa !15
  %117 = lshr i64 %106, 32
  %118 = trunc i64 %117 to i8
  %119 = getelementptr inbounds i8, ptr %11, i64 4
  store i8 %118, ptr %119, align 4, !tbaa !15
  %120 = lshr i64 %106, 40
  %121 = trunc i64 %120 to i8
  %122 = getelementptr inbounds i8, ptr %11, i64 5
  store i8 %121, ptr %122, align 1, !tbaa !15
  %123 = lshr i64 %106, 48
  %124 = trunc i64 %123 to i8
  %125 = getelementptr inbounds i8, ptr %11, i64 6
  store i8 %124, ptr %125, align 2, !tbaa !15
  %126 = lshr i64 %106, 56
  %127 = trunc nuw i64 %126 to i8
  %128 = getelementptr inbounds i8, ptr %11, i64 7
  store i8 %127, ptr %128, align 1, !tbaa !15
  %129 = getelementptr inbounds i8, ptr %10, i64 32
  %130 = load i64, ptr %129, align 8, !tbaa !9
  %131 = getelementptr inbounds i8, ptr %10, i64 40
  %132 = load i64, ptr %131, align 8, !tbaa !12
  %133 = getelementptr inbounds i8, ptr %10, i64 48
  %134 = load i64, ptr %133, align 8, !tbaa !13
  %135 = getelementptr inbounds i8, ptr %10, i64 56
  %136 = load i64, ptr %135, align 8, !tbaa !14
  %137 = xor i64 %132, %134
  %138 = xor i64 %137, %136
  %139 = xor i64 %138, %130
  %140 = trunc i64 %139 to i8
  %141 = getelementptr inbounds i8, ptr %11, i64 8
  store i8 %140, ptr %141, align 8, !tbaa !15
  %142 = lshr i64 %139, 8
  %143 = trunc i64 %142 to i8
  %144 = getelementptr inbounds i8, ptr %11, i64 9
  store i8 %143, ptr %144, align 1, !tbaa !15
  %145 = lshr i64 %139, 16
  %146 = trunc i64 %145 to i8
  %147 = getelementptr inbounds i8, ptr %11, i64 10
  store i8 %146, ptr %147, align 2, !tbaa !15
  %148 = lshr i64 %139, 24
  %149 = trunc i64 %148 to i8
  %150 = getelementptr inbounds i8, ptr %11, i64 11
  store i8 %149, ptr %150, align 1, !tbaa !15
  %151 = lshr i64 %139, 32
  %152 = trunc i64 %151 to i8
  %153 = getelementptr inbounds i8, ptr %11, i64 12
  store i8 %152, ptr %153, align 4, !tbaa !15
  %154 = lshr i64 %139, 40
  %155 = trunc i64 %154 to i8
  %156 = getelementptr inbounds i8, ptr %11, i64 13
  store i8 %155, ptr %156, align 1, !tbaa !15
  %157 = lshr i64 %139, 48
  %158 = trunc i64 %157 to i8
  %159 = getelementptr inbounds i8, ptr %11, i64 14
  store i8 %158, ptr %159, align 2, !tbaa !15
  %160 = lshr i64 %139, 56
  %161 = trunc nuw i64 %160 to i8
  %162 = getelementptr inbounds i8, ptr %11, i64 15
  store i8 %161, ptr %162, align 1, !tbaa !15
  %.not145151 = icmp eq i64 %.0134.lcssa, 0
  br i1 %.not145151, label %._crit_edge158, label %iter.check

iter.check:                                       ; preds = %._crit_edge
  %163 = trunc nuw i64 %.0134.lcssa to i32
  %164 = add nuw nsw i64 %.0134.lcssa, 4294967295
  %165 = and i64 %164, 4294967295
  %166 = add nuw nsw i64 %165, 1
  %min.iters.check = icmp ult i64 %165, 7
  br i1 %min.iters.check, label %.lr.ph157.preheader, label %vector.memcheck

vector.memcheck:                                  ; preds = %iter.check
  %167 = add nuw nsw i64 %.0134.lcssa, 4294967295
  %168 = and i64 %167, 4294967295
  %169 = add nuw nsw i64 %168, 1
  %scevgep = getelementptr i8, ptr %11, i64 %169
  %scevgep165 = getelementptr i8, ptr %.0132.lcssa, i64 %169
  %scevgep166 = getelementptr i8, ptr %.0133.lcssa, i64 %169
  %bound0 = icmp ult ptr %11, %scevgep165
  %bound1 = icmp ult ptr %.0132.lcssa, %scevgep
  %found.conflict = and i1 %bound0, %bound1
  %bound0167 = icmp ult ptr %11, %scevgep166
  %bound1168 = icmp ult ptr %.0133.lcssa, %scevgep
  %found.conflict169 = and i1 %bound0167, %bound1168
  %conflict.rdx = or i1 %found.conflict, %found.conflict169
  %bound0170 = icmp ult ptr %.0132.lcssa, %scevgep166
  %bound1171 = icmp ult ptr %.0133.lcssa, %scevgep165
  %found.conflict172 = and i1 %bound0170, %bound1171
  %conflict.rdx173 = or i1 %conflict.rdx, %found.conflict172
  br i1 %conflict.rdx173, label %.lr.ph157.preheader, label %vector.main.loop.iter.check

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

vector.ph:                                        ; preds = %vector.main.loop.iter.check
  %n.vec = and i64 %166, 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 %.0133.lcssa, i64 %index
  %next.gep176 = getelementptr i8, ptr %11, i64 %index
  %next.gep178 = getelementptr i8, ptr %.0132.lcssa, i64 %index
  %170 = getelementptr i8, ptr %next.gep, i64 16
  %wide.load = load <16 x i8>, ptr %next.gep, align 1, !tbaa !15, !alias.scope !18
  %wide.load180 = load <16 x i8>, ptr %170, align 1, !tbaa !15, !alias.scope !18
  %171 = getelementptr i8, ptr %next.gep176, i64 16
  %wide.load181 = load <16 x i8>, ptr %next.gep176, align 16, !tbaa !15, !alias.scope !21, !noalias !23
  %wide.load182 = load <16 x i8>, ptr %171, align 16, !tbaa !15, !alias.scope !21, !noalias !23
  %172 = xor <16 x i8> %wide.load181, %wide.load
  %173 = xor <16 x i8> %wide.load182, %wide.load180
  store <16 x i8> %172, ptr %next.gep176, align 16, !tbaa !15, !alias.scope !21, !noalias !23
  store <16 x i8> %173, ptr %171, align 16, !tbaa !15, !alias.scope !21, !noalias !23
  %174 = getelementptr i8, ptr %next.gep178, i64 16
  store <16 x i8> %172, ptr %next.gep178, align 1, !tbaa !15, !alias.scope !25, !noalias !18
  store <16 x i8> %173, ptr %174, align 1, !tbaa !15, !alias.scope !25, !noalias !18
  %index.next = add nuw i64 %index, 32
  %175 = icmp eq i64 %index.next, %n.vec
  br i1 %175, label %middle.block, label %vector.body, !llvm.loop !26

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

vec.epilog.iter.check:                            ; preds = %middle.block
  %ind.end194 = getelementptr i8, ptr %.0132.lcssa, i64 %n.vec
  %ind.end191 = getelementptr i8, ptr %11, i64 %n.vec
  %ind.end188 = getelementptr i8, ptr %.0133.lcssa, i64 %n.vec
  %.cast185 = trunc i64 %n.vec to i32
  %ind.end186 = sub i32 %163, %.cast185
  %n.vec.remaining = and i64 %166, 24
  %min.epilog.iters.check = icmp eq i64 %n.vec.remaining, 0
  br i1 %min.epilog.iters.check, label %.lr.ph157.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.vec184 = and i64 %166, 8589934584
  %.cast = trunc i64 %n.vec184 to i32
  %ind.end = sub i32 %163, %.cast
  %ind.end187 = getelementptr i8, ptr %.0133.lcssa, i64 %n.vec184
  %ind.end190 = getelementptr i8, ptr %11, i64 %n.vec184
  %ind.end193 = getelementptr i8, ptr %.0132.lcssa, i64 %n.vec184
  br label %vec.epilog.vector.body

vec.epilog.vector.body:                           ; preds = %vec.epilog.vector.body, %vec.epilog.ph
  %index196 = phi i64 [ %vec.epilog.resume.val, %vec.epilog.ph ], [ %index.next202, %vec.epilog.vector.body ]
  %next.gep197 = getelementptr i8, ptr %.0133.lcssa, i64 %index196
  %next.gep198 = getelementptr i8, ptr %11, i64 %index196
  %next.gep199 = getelementptr i8, ptr %.0132.lcssa, i64 %index196
  %wide.load200 = load <8 x i8>, ptr %next.gep197, align 1, !tbaa !15, !alias.scope !29
  %wide.load201 = load <8 x i8>, ptr %next.gep198, align 8, !tbaa !15, !alias.scope !32, !noalias !34
  %176 = xor <8 x i8> %wide.load201, %wide.load200
  store <8 x i8> %176, ptr %next.gep198, align 8, !tbaa !15, !alias.scope !32, !noalias !34
  store <8 x i8> %176, ptr %next.gep199, align 1, !tbaa !15, !alias.scope !36, !noalias !29
  %index.next202 = add nuw i64 %index196, 8
  %177 = icmp eq i64 %index.next202, %n.vec184
  br i1 %177, label %vec.epilog.middle.block, label %vec.epilog.vector.body, !llvm.loop !37

vec.epilog.middle.block:                          ; preds = %vec.epilog.vector.body
  %cmp.n203 = icmp eq i64 %166, %n.vec184
  br i1 %cmp.n203, label %._crit_edge158, label %.lr.ph157.preheader

.lr.ph157.preheader:                              ; preds = %vec.epilog.middle.block, %vector.memcheck, %iter.check, %vec.epilog.iter.check
  %.0136155.ph = phi i32 [ %163, %iter.check ], [ %163, %vector.memcheck ], [ %ind.end186, %vec.epilog.iter.check ], [ %ind.end, %vec.epilog.middle.block ]
  %.0137154.ph = phi ptr [ %.0133.lcssa, %iter.check ], [ %.0133.lcssa, %vector.memcheck ], [ %ind.end188, %vec.epilog.iter.check ], [ %ind.end187, %vec.epilog.middle.block ]
  %.0138153.ph = phi ptr [ %11, %iter.check ], [ %11, %vector.memcheck ], [ %ind.end191, %vec.epilog.iter.check ], [ %ind.end190, %vec.epilog.middle.block ]
  %.0139152.ph = phi ptr [ %.0132.lcssa, %iter.check ], [ %.0132.lcssa, %vector.memcheck ], [ %ind.end194, %vec.epilog.iter.check ], [ %ind.end193, %vec.epilog.middle.block ]
  %178 = add nsw i32 %.0136155.ph, -1
  %xtraiter = and i32 %.0136155.ph, 3
  %lcmp.mod.not = icmp eq i32 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.lr.ph157.prol.loopexit, label %.lr.ph157.prol

.lr.ph157.prol:                                   ; preds = %.lr.ph157.preheader, %.lr.ph157.prol
  %.0136155.prol = phi i32 [ %185, %.lr.ph157.prol ], [ %.0136155.ph, %.lr.ph157.preheader ]
  %.0137154.prol = phi ptr [ %179, %.lr.ph157.prol ], [ %.0137154.ph, %.lr.ph157.preheader ]
  %.0138153.prol = phi ptr [ %181, %.lr.ph157.prol ], [ %.0138153.ph, %.lr.ph157.preheader ]
  %.0139152.prol = phi ptr [ %184, %.lr.ph157.prol ], [ %.0139152.ph, %.lr.ph157.preheader ]
  %prol.iter = phi i32 [ %prol.iter.next, %.lr.ph157.prol ], [ 0, %.lr.ph157.preheader ]
  %179 = getelementptr inbounds i8, ptr %.0137154.prol, i64 1
  %180 = load i8, ptr %.0137154.prol, align 1, !tbaa !15
  %181 = getelementptr inbounds i8, ptr %.0138153.prol, i64 1
  %182 = load i8, ptr %.0138153.prol, align 1, !tbaa !15
  %183 = xor i8 %182, %180
  store i8 %183, ptr %.0138153.prol, align 1, !tbaa !15
  %184 = getelementptr inbounds i8, ptr %.0139152.prol, i64 1
  store i8 %183, ptr %.0139152.prol, align 1, !tbaa !15
  %185 = add nsw i32 %.0136155.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.ph157.prol.loopexit, label %.lr.ph157.prol, !llvm.loop !38

.lr.ph157.prol.loopexit:                          ; preds = %.lr.ph157.prol, %.lr.ph157.preheader
  %.0136155.unr = phi i32 [ %.0136155.ph, %.lr.ph157.preheader ], [ %185, %.lr.ph157.prol ]
  %.0137154.unr = phi ptr [ %.0137154.ph, %.lr.ph157.preheader ], [ %179, %.lr.ph157.prol ]
  %.0138153.unr = phi ptr [ %.0138153.ph, %.lr.ph157.preheader ], [ %181, %.lr.ph157.prol ]
  %.0139152.unr = phi ptr [ %.0139152.ph, %.lr.ph157.preheader ], [ %184, %.lr.ph157.prol ]
  %186 = icmp ult i32 %178, 3
  br i1 %186, label %._crit_edge158, label %.lr.ph157

.lr.ph157:                                        ; preds = %.lr.ph157.prol.loopexit, %.lr.ph157
  %.0136155 = phi i32 [ %211, %.lr.ph157 ], [ %.0136155.unr, %.lr.ph157.prol.loopexit ]
  %.0137154 = phi ptr [ %205, %.lr.ph157 ], [ %.0137154.unr, %.lr.ph157.prol.loopexit ]
  %.0138153 = phi ptr [ %207, %.lr.ph157 ], [ %.0138153.unr, %.lr.ph157.prol.loopexit ]
  %.0139152 = phi ptr [ %210, %.lr.ph157 ], [ %.0139152.unr, %.lr.ph157.prol.loopexit ]
  %187 = getelementptr inbounds i8, ptr %.0137154, i64 1
  %188 = load i8, ptr %.0137154, align 1, !tbaa !15
  %189 = getelementptr inbounds i8, ptr %.0138153, i64 1
  %190 = load i8, ptr %.0138153, align 1, !tbaa !15
  %191 = xor i8 %190, %188
  store i8 %191, ptr %.0138153, align 1, !tbaa !15
  %192 = getelementptr inbounds i8, ptr %.0139152, i64 1
  store i8 %191, ptr %.0139152, align 1, !tbaa !15
  %193 = getelementptr inbounds i8, ptr %.0137154, i64 2
  %194 = load i8, ptr %187, align 1, !tbaa !15
  %195 = getelementptr inbounds i8, ptr %.0138153, i64 2
  %196 = load i8, ptr %189, align 1, !tbaa !15
  %197 = xor i8 %196, %194
  store i8 %197, ptr %189, align 1, !tbaa !15
  %198 = getelementptr inbounds i8, ptr %.0139152, i64 2
  store i8 %197, ptr %192, align 1, !tbaa !15
  %199 = getelementptr inbounds i8, ptr %.0137154, i64 3
  %200 = load i8, ptr %193, align 1, !tbaa !15
  %201 = getelementptr inbounds i8, ptr %.0138153, i64 3
  %202 = load i8, ptr %195, align 1, !tbaa !15
  %203 = xor i8 %202, %200
  store i8 %203, ptr %195, align 1, !tbaa !15
  %204 = getelementptr inbounds i8, ptr %.0139152, i64 3
  store i8 %203, ptr %198, align 1, !tbaa !15
  %205 = getelementptr inbounds i8, ptr %.0137154, i64 4
  %206 = load i8, ptr %199, align 1, !tbaa !15
  %207 = getelementptr inbounds i8, ptr %.0138153, i64 4
  %208 = load i8, ptr %201, align 1, !tbaa !15
  %209 = xor i8 %208, %206
  store i8 %209, ptr %201, align 1, !tbaa !15
  %210 = getelementptr inbounds i8, ptr %.0139152, i64 4
  store i8 %209, ptr %204, align 1, !tbaa !15
  %211 = add nsw i32 %.0136155, -4
  %.not145.3 = icmp eq i32 %211, 0
  br i1 %.not145.3, label %._crit_edge158, label %.lr.ph157, !llvm.loop !40

._crit_edge158:                                   ; preds = %.lr.ph157.prol.loopexit, %.lr.ph157, %middle.block, %vec.epilog.middle.block, %._crit_edge
  %212 = getelementptr inbounds [32 x i8], ptr %11, i64 0, i64 %.0134.lcssa
  store i8 1, ptr %212, align 1, !tbaa !15
  %213 = getelementptr inbounds i8, ptr %212, i64 1
  %214 = xor i64 %.0134.lcssa, 15
  call void @llvm.memset.p0.i64(ptr nonnull align 1 %213, i8 0, i64 %214, i1 false)
  %215 = load i64, ptr %11, align 16
  %216 = xor i64 %215, %97
  store i64 %216, ptr %10, align 8, !tbaa !9
  %217 = load i64, ptr %141, align 8
  %218 = xor i64 %217, %130
  store i64 %218, ptr %129, align 8, !tbaa !9
  br label %219

219:                                              ; preds = %._crit_edge158, %16
  %.1135 = phi i64 [ %.0134.lcssa, %._crit_edge158 ], [ 0, %16 ]
  %.1 = phi ptr [ %.0133.lcssa, %._crit_edge158 ], [ %3, %16 ]
  call void @knot512_masked_permute_7(ptr noundef nonnull %10, i8 noundef zeroext 56) #4
  %220 = load i64, ptr %10, align 8, !tbaa !9
  %221 = getelementptr inbounds i8, ptr %10, i64 8
  %222 = load i64, ptr %221, align 8, !tbaa !12
  %223 = xor i64 %222, %220
  %224 = getelementptr inbounds i8, ptr %10, i64 16
  %225 = load i64, ptr %224, align 8, !tbaa !13
  %226 = xor i64 %223, %225
  %227 = getelementptr inbounds i8, ptr %10, i64 24
  %228 = load i64, ptr %227, align 8, !tbaa !14
  %229 = xor i64 %226, %228
  %230 = trunc i64 %229 to i8
  store i8 %230, ptr %11, align 16, !tbaa !15
  %231 = lshr i64 %229, 8
  %232 = trunc i64 %231 to i8
  %233 = getelementptr inbounds i8, ptr %11, i64 1
  store i8 %232, ptr %233, align 1, !tbaa !15
  %234 = lshr i64 %229, 16
  %235 = trunc i64 %234 to i8
  %236 = getelementptr inbounds i8, ptr %11, i64 2
  store i8 %235, ptr %236, align 2, !tbaa !15
  %237 = lshr i64 %229, 24
  %238 = trunc i64 %237 to i8
  %239 = getelementptr inbounds i8, ptr %11, i64 3
  store i8 %238, ptr %239, align 1, !tbaa !15
  %240 = lshr i64 %229, 32
  %241 = trunc i64 %240 to i8
  %242 = getelementptr inbounds i8, ptr %11, i64 4
  store i8 %241, ptr %242, align 4, !tbaa !15
  %243 = lshr i64 %229, 40
  %244 = trunc i64 %243 to i8
  %245 = getelementptr inbounds i8, ptr %11, i64 5
  store i8 %244, ptr %245, align 1, !tbaa !15
  %246 = lshr i64 %229, 48
  %247 = trunc i64 %246 to i8
  %248 = getelementptr inbounds i8, ptr %11, i64 6
  store i8 %247, ptr %248, align 2, !tbaa !15
  %249 = lshr i64 %229, 56
  %250 = trunc nuw i64 %249 to i8
  %251 = getelementptr inbounds i8, ptr %11, i64 7
  store i8 %250, ptr %251, align 1, !tbaa !15
  %252 = getelementptr inbounds i8, ptr %10, i64 32
  %253 = load i64, ptr %252, align 8, !tbaa !9
  %254 = getelementptr inbounds i8, ptr %10, i64 40
  %255 = load i64, ptr %254, align 8, !tbaa !12
  %256 = xor i64 %255, %253
  %257 = getelementptr inbounds i8, ptr %10, i64 48
  %258 = load i64, ptr %257, align 8, !tbaa !13
  %259 = xor i64 %256, %258
  %260 = getelementptr inbounds i8, ptr %10, i64 56
  %261 = load i64, ptr %260, align 8, !tbaa !14
  %262 = xor i64 %259, %261
  %263 = trunc i64 %262 to i8
  %264 = getelementptr inbounds i8, ptr %11, i64 8
  store i8 %263, ptr %264, align 8, !tbaa !15
  %265 = lshr i64 %262, 8
  %266 = trunc i64 %265 to i8
  %267 = getelementptr inbounds i8, ptr %11, i64 9
  store i8 %266, ptr %267, align 1, !tbaa !15
  %268 = lshr i64 %262, 16
  %269 = trunc i64 %268 to i8
  %270 = getelementptr inbounds i8, ptr %11, i64 10
  store i8 %269, ptr %270, align 2, !tbaa !15
  %271 = lshr i64 %262, 24
  %272 = trunc i64 %271 to i8
  %273 = getelementptr inbounds i8, ptr %11, i64 11
  store i8 %272, ptr %273, align 1, !tbaa !15
  %274 = lshr i64 %262, 32
  %275 = trunc i64 %274 to i8
  %276 = getelementptr inbounds i8, ptr %11, i64 12
  store i8 %275, ptr %276, align 4, !tbaa !15
  %277 = lshr i64 %262, 40
  %278 = trunc i64 %277 to i8
  %279 = getelementptr inbounds i8, ptr %11, i64 13
  store i8 %278, ptr %279, align 1, !tbaa !15
  %280 = lshr i64 %262, 48
  %281 = trunc i64 %280 to i8
  %282 = getelementptr inbounds i8, ptr %11, i64 14
  store i8 %281, ptr %282, align 2, !tbaa !15
  %283 = lshr i64 %262, 56
  %284 = trunc nuw i64 %283 to i8
  %285 = getelementptr inbounds i8, ptr %11, i64 15
  store i8 %284, ptr %285, align 1, !tbaa !15
  %286 = getelementptr inbounds i8, ptr %10, i64 64
  %287 = load i64, ptr %286, align 8, !tbaa !9
  %288 = getelementptr inbounds i8, ptr %10, i64 72
  %289 = load i64, ptr %288, align 8, !tbaa !12
  %290 = xor i64 %289, %287
  %291 = getelementptr inbounds i8, ptr %10, i64 80
  %292 = load i64, ptr %291, align 8, !tbaa !13
  %293 = xor i64 %290, %292
  %294 = getelementptr inbounds i8, ptr %10, i64 88
  %295 = load i64, ptr %294, align 8, !tbaa !14
  %296 = xor i64 %293, %295
  %297 = trunc i64 %296 to i8
  %298 = getelementptr inbounds i8, ptr %11, i64 16
  store i8 %297, ptr %298, align 16, !tbaa !15
  %299 = lshr i64 %296, 8
  %300 = trunc i64 %299 to i8
  %301 = getelementptr inbounds i8, ptr %11, i64 17
  store i8 %300, ptr %301, align 1, !tbaa !15
  %302 = lshr i64 %296, 16
  %303 = trunc i64 %302 to i8
  %304 = getelementptr inbounds i8, ptr %11, i64 18
  store i8 %303, ptr %304, align 2, !tbaa !15
  %305 = lshr i64 %296, 24
  %306 = trunc i64 %305 to i8
  %307 = getelementptr inbounds i8, ptr %11, i64 19
  store i8 %306, ptr %307, align 1, !tbaa !15
  %308 = lshr i64 %296, 32
  %309 = trunc i64 %308 to i8
  %310 = getelementptr inbounds i8, ptr %11, i64 20
  store i8 %309, ptr %310, align 4, !tbaa !15
  %311 = lshr i64 %296, 40
  %312 = trunc i64 %311 to i8
  %313 = getelementptr inbounds i8, ptr %11, i64 21
  store i8 %312, ptr %313, align 1, !tbaa !15
  %314 = lshr i64 %296, 48
  %315 = trunc i64 %314 to i8
  %316 = getelementptr inbounds i8, ptr %11, i64 22
  store i8 %315, ptr %316, align 2, !tbaa !15
  %317 = lshr i64 %296, 56
  %318 = trunc nuw i64 %317 to i8
  %319 = getelementptr inbounds i8, ptr %11, i64 23
  store i8 %318, ptr %319, align 1, !tbaa !15
  %320 = getelementptr inbounds i8, ptr %10, i64 96
  %321 = load i64, ptr %320, align 8, !tbaa !9
  %322 = getelementptr inbounds i8, ptr %10, i64 104
  %323 = load i64, ptr %322, align 8, !tbaa !12
  %324 = xor i64 %323, %321
  %325 = getelementptr inbounds i8, ptr %10, i64 112
  %326 = load i64, ptr %325, align 8, !tbaa !13
  %327 = xor i64 %324, %326
  %328 = getelementptr inbounds i8, ptr %10, i64 120
  %329 = load i64, ptr %328, align 8, !tbaa !14
  %330 = xor i64 %327, %329
  %331 = trunc i64 %330 to i8
  %332 = getelementptr inbounds i8, ptr %11, i64 24
  store i8 %331, ptr %332, align 8, !tbaa !15
  %333 = lshr i64 %330, 8
  %334 = trunc i64 %333 to i8
  %335 = getelementptr inbounds i8, ptr %11, i64 25
  store i8 %334, ptr %335, align 1, !tbaa !15
  %336 = lshr i64 %330, 16
  %337 = trunc i64 %336 to i8
  %338 = getelementptr inbounds i8, ptr %11, i64 26
  store i8 %337, ptr %338, align 2, !tbaa !15
  %339 = lshr i64 %330, 24
  %340 = trunc i64 %339 to i8
  %341 = getelementptr inbounds i8, ptr %11, i64 27
  store i8 %340, ptr %341, align 1, !tbaa !15
  %342 = lshr i64 %330, 32
  %343 = trunc i64 %342 to i8
  %344 = getelementptr inbounds i8, ptr %11, i64 28
  store i8 %343, ptr %344, align 4, !tbaa !15
  %345 = lshr i64 %330, 40
  %346 = trunc i64 %345 to i8
  %347 = getelementptr inbounds i8, ptr %11, i64 29
  store i8 %346, ptr %347, align 1, !tbaa !15
  %348 = lshr i64 %330, 48
  %349 = trunc i64 %348 to i8
  %350 = getelementptr inbounds i8, ptr %11, i64 30
  store i8 %349, ptr %350, align 2, !tbaa !15
  %351 = lshr i64 %330, 56
  %352 = trunc nuw i64 %351 to i8
  %353 = getelementptr inbounds i8, ptr %11, i64 31
  store i8 %352, ptr %353, align 1, !tbaa !15
  call void @aead_random_finish() #4
  %354 = load i64, ptr %1, align 8, !tbaa !5
  %355 = getelementptr inbounds i8, ptr %.1, i64 %.1135
  %356 = call i32 @aead_check_tag(ptr noundef %0, i64 noundef %354, ptr noundef nonnull %11, ptr noundef %355, i32 noundef 32) #4
  br label %357

357:                                              ; preds = %9, %219
  %.0 = phi i32 [ %356, %219 ], [ -1, %9 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #4
  call void @llvm.lifetime.end.p0(i64 256, 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: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #2

declare void @aead_random_finish() local_unnamed_addr #3

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

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

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

declare void @knot512_masked_permute_7(ptr noundef, i8 noundef zeroext) 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: write) }
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 = !{!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