; LLVM IR from rweather/lightweight-crypto :: src/combined (internal-pyjamask-m)

; 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.mask_x4_uint32_t = type { i32, i32, i32, i32 }
%struct.pyjamask_masked_96_key_schedule_t = type { [45 x %struct.mask_x4_uint32_t] }

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

declare i32 @aead_random_generate_32() #1

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

; Function Attrs: nounwind uwtable
declare hidden void @pyjamask_matrix_multiply_masked_2037a121(ptr noundef) #2

; Function Attrs: nounwind uwtable
declare hidden void @pyjamask_matrix_multiply_masked_108ff2a0(ptr noundef) #2

; Function Attrs: nounwind uwtable
declare hidden void @pyjamask_matrix_multiply_masked_9054d8c0(ptr noundef) #2

; Function Attrs: nounwind uwtable
define dso_local void @pyjamask_masked_96_decrypt(ptr noundef %0, ptr noundef %1, ptr noundef %2) #2 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca %struct.mask_x4_uint32_t, align 4
  %9 = alloca %struct.mask_x4_uint32_t, align 4
  %10 = alloca %struct.mask_x4_uint32_t, align 4
  %11 = alloca i32, align 4
  %12 = alloca i8, align 1
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  store ptr %2, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  %16 = load ptr, ptr %4, align 8, !tbaa !5
  %17 = getelementptr inbounds %struct.pyjamask_masked_96_key_schedule_t, ptr %16, i32 0, i32 0
  %18 = getelementptr inbounds [45 x %struct.mask_x4_uint32_t], ptr %17, i64 0, i64 0
  %19 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %18, i64 42
  store ptr %19, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 16, ptr %9) #3
  call void @llvm.lifetime.start.p0(i64 16, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 1, ptr %12) #3
  br label %20

20:                                               ; preds = %3
  %21 = call i32 @aead_random_generate_32()
  %22 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  store i32 %21, ptr %22, align 4, !tbaa !9
  %23 = call i32 @aead_random_generate_32()
  %24 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  store i32 %23, ptr %24, align 4, !tbaa !12
  %25 = call i32 @aead_random_generate_32()
  %26 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  store i32 %25, ptr %26, align 4, !tbaa !13
  %27 = load ptr, ptr %6, align 8, !tbaa !5
  %28 = getelementptr inbounds i8, ptr %27, i64 0
  %29 = load i8, ptr %28, align 1, !tbaa !14
  %30 = zext i8 %29 to i32
  %31 = shl i32 %30, 24
  %32 = load ptr, ptr %6, align 8, !tbaa !5
  %33 = getelementptr inbounds i8, ptr %32, i64 1
  %34 = load i8, ptr %33, align 1, !tbaa !14
  %35 = zext i8 %34 to i32
  %36 = shl i32 %35, 16
  %37 = or i32 %31, %36
  %38 = load ptr, ptr %6, align 8, !tbaa !5
  %39 = getelementptr inbounds i8, ptr %38, i64 2
  %40 = load i8, ptr %39, align 1, !tbaa !14
  %41 = zext i8 %40 to i32
  %42 = shl i32 %41, 8
  %43 = or i32 %37, %42
  %44 = load ptr, ptr %6, align 8, !tbaa !5
  %45 = getelementptr inbounds i8, ptr %44, i64 3
  %46 = load i8, ptr %45, align 1, !tbaa !14
  %47 = zext i8 %46 to i32
  %48 = or i32 %43, %47
  %49 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %50 = load i32, ptr %49, align 4, !tbaa !9
  %51 = xor i32 %48, %50
  %52 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %53 = load i32, ptr %52, align 4, !tbaa !12
  %54 = xor i32 %51, %53
  %55 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %56 = load i32, ptr %55, align 4, !tbaa !13
  %57 = xor i32 %54, %56
  %58 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  store i32 %57, ptr %58, align 4, !tbaa !15
  br label %59

59:                                               ; preds = %20
  br label %60

60:                                               ; preds = %59
  br label %61

61:                                               ; preds = %60
  %62 = call i32 @aead_random_generate_32()
  %63 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  store i32 %62, ptr %63, align 4, !tbaa !9
  %64 = call i32 @aead_random_generate_32()
  %65 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  store i32 %64, ptr %65, align 4, !tbaa !12
  %66 = call i32 @aead_random_generate_32()
  %67 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  store i32 %66, ptr %67, align 4, !tbaa !13
  %68 = load ptr, ptr %6, align 8, !tbaa !5
  %69 = getelementptr inbounds i8, ptr %68, i64 4
  %70 = getelementptr inbounds i8, ptr %69, i64 0
  %71 = load i8, ptr %70, align 1, !tbaa !14
  %72 = zext i8 %71 to i32
  %73 = shl i32 %72, 24
  %74 = load ptr, ptr %6, align 8, !tbaa !5
  %75 = getelementptr inbounds i8, ptr %74, i64 4
  %76 = getelementptr inbounds i8, ptr %75, i64 1
  %77 = load i8, ptr %76, align 1, !tbaa !14
  %78 = zext i8 %77 to i32
  %79 = shl i32 %78, 16
  %80 = or i32 %73, %79
  %81 = load ptr, ptr %6, align 8, !tbaa !5
  %82 = getelementptr inbounds i8, ptr %81, i64 4
  %83 = getelementptr inbounds i8, ptr %82, i64 2
  %84 = load i8, ptr %83, align 1, !tbaa !14
  %85 = zext i8 %84 to i32
  %86 = shl i32 %85, 8
  %87 = or i32 %80, %86
  %88 = load ptr, ptr %6, align 8, !tbaa !5
  %89 = getelementptr inbounds i8, ptr %88, i64 4
  %90 = getelementptr inbounds i8, ptr %89, i64 3
  %91 = load i8, ptr %90, align 1, !tbaa !14
  %92 = zext i8 %91 to i32
  %93 = or i32 %87, %92
  %94 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %95 = load i32, ptr %94, align 4, !tbaa !9
  %96 = xor i32 %93, %95
  %97 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %98 = load i32, ptr %97, align 4, !tbaa !12
  %99 = xor i32 %96, %98
  %100 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %101 = load i32, ptr %100, align 4, !tbaa !13
  %102 = xor i32 %99, %101
  %103 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  store i32 %102, ptr %103, align 4, !tbaa !15
  br label %104

104:                                              ; preds = %61
  br label %105

105:                                              ; preds = %104
  br label %106

106:                                              ; preds = %105
  %107 = call i32 @aead_random_generate_32()
  %108 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  store i32 %107, ptr %108, align 4, !tbaa !9
  %109 = call i32 @aead_random_generate_32()
  %110 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  store i32 %109, ptr %110, align 4, !tbaa !12
  %111 = call i32 @aead_random_generate_32()
  %112 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  store i32 %111, ptr %112, align 4, !tbaa !13
  %113 = load ptr, ptr %6, align 8, !tbaa !5
  %114 = getelementptr inbounds i8, ptr %113, i64 8
  %115 = getelementptr inbounds i8, ptr %114, i64 0
  %116 = load i8, ptr %115, align 1, !tbaa !14
  %117 = zext i8 %116 to i32
  %118 = shl i32 %117, 24
  %119 = load ptr, ptr %6, align 8, !tbaa !5
  %120 = getelementptr inbounds i8, ptr %119, i64 8
  %121 = getelementptr inbounds i8, ptr %120, i64 1
  %122 = load i8, ptr %121, align 1, !tbaa !14
  %123 = zext i8 %122 to i32
  %124 = shl i32 %123, 16
  %125 = or i32 %118, %124
  %126 = load ptr, ptr %6, align 8, !tbaa !5
  %127 = getelementptr inbounds i8, ptr %126, i64 8
  %128 = getelementptr inbounds i8, ptr %127, i64 2
  %129 = load i8, ptr %128, align 1, !tbaa !14
  %130 = zext i8 %129 to i32
  %131 = shl i32 %130, 8
  %132 = or i32 %125, %131
  %133 = load ptr, ptr %6, align 8, !tbaa !5
  %134 = getelementptr inbounds i8, ptr %133, i64 8
  %135 = getelementptr inbounds i8, ptr %134, i64 3
  %136 = load i8, ptr %135, align 1, !tbaa !14
  %137 = zext i8 %136 to i32
  %138 = or i32 %132, %137
  %139 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %140 = load i32, ptr %139, align 4, !tbaa !9
  %141 = xor i32 %138, %140
  %142 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %143 = load i32, ptr %142, align 4, !tbaa !12
  %144 = xor i32 %141, %143
  %145 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %146 = load i32, ptr %145, align 4, !tbaa !13
  %147 = xor i32 %144, %146
  %148 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  store i32 %147, ptr %148, align 4, !tbaa !15
  br label %149

149:                                              ; preds = %106
  br label %150

150:                                              ; preds = %149
  br label %151

151:                                              ; preds = %150
  %152 = load ptr, ptr %7, align 8, !tbaa !5
  %153 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %152, i64 0
  %154 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %153, i32 0, i32 0
  %155 = load i32, ptr %154, align 4, !tbaa !15
  %156 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %157 = load i32, ptr %156, align 4, !tbaa !15
  %158 = xor i32 %157, %155
  store i32 %158, ptr %156, align 4, !tbaa !15
  %159 = load ptr, ptr %7, align 8, !tbaa !5
  %160 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %159, i64 0
  %161 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %160, i32 0, i32 1
  %162 = load i32, ptr %161, align 4, !tbaa !9
  %163 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %164 = load i32, ptr %163, align 4, !tbaa !9
  %165 = xor i32 %164, %162
  store i32 %165, ptr %163, align 4, !tbaa !9
  %166 = load ptr, ptr %7, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %166, i64 0
  %168 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %167, i32 0, i32 2
  %169 = load i32, ptr %168, align 4, !tbaa !12
  %170 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %171 = load i32, ptr %170, align 4, !tbaa !12
  %172 = xor i32 %171, %169
  store i32 %172, ptr %170, align 4, !tbaa !12
  %173 = load ptr, ptr %7, align 8, !tbaa !5
  %174 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %173, i64 0
  %175 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %174, i32 0, i32 3
  %176 = load i32, ptr %175, align 4, !tbaa !13
  %177 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %178 = load i32, ptr %177, align 4, !tbaa !13
  %179 = xor i32 %178, %176
  store i32 %179, ptr %177, align 4, !tbaa !13
  br label %180

180:                                              ; preds = %151
  br label %181

181:                                              ; preds = %180
  br label %182

182:                                              ; preds = %181
  %183 = load ptr, ptr %7, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %183, i64 1
  %185 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %184, i32 0, i32 0
  %186 = load i32, ptr %185, align 4, !tbaa !15
  %187 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %188 = load i32, ptr %187, align 4, !tbaa !15
  %189 = xor i32 %188, %186
  store i32 %189, ptr %187, align 4, !tbaa !15
  %190 = load ptr, ptr %7, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %190, i64 1
  %192 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %191, i32 0, i32 1
  %193 = load i32, ptr %192, align 4, !tbaa !9
  %194 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %195 = load i32, ptr %194, align 4, !tbaa !9
  %196 = xor i32 %195, %193
  store i32 %196, ptr %194, align 4, !tbaa !9
  %197 = load ptr, ptr %7, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %197, i64 1
  %199 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %198, i32 0, i32 2
  %200 = load i32, ptr %199, align 4, !tbaa !12
  %201 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %202 = load i32, ptr %201, align 4, !tbaa !12
  %203 = xor i32 %202, %200
  store i32 %203, ptr %201, align 4, !tbaa !12
  %204 = load ptr, ptr %7, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %204, i64 1
  %206 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %205, i32 0, i32 3
  %207 = load i32, ptr %206, align 4, !tbaa !13
  %208 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %209 = load i32, ptr %208, align 4, !tbaa !13
  %210 = xor i32 %209, %207
  store i32 %210, ptr %208, align 4, !tbaa !13
  br label %211

211:                                              ; preds = %182
  br label %212

212:                                              ; preds = %211
  br label %213

213:                                              ; preds = %212
  %214 = load ptr, ptr %7, align 8, !tbaa !5
  %215 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %214, i64 2
  %216 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %215, i32 0, i32 0
  %217 = load i32, ptr %216, align 4, !tbaa !15
  %218 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %219 = load i32, ptr %218, align 4, !tbaa !15
  %220 = xor i32 %219, %217
  store i32 %220, ptr %218, align 4, !tbaa !15
  %221 = load ptr, ptr %7, align 8, !tbaa !5
  %222 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %221, i64 2
  %223 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %222, i32 0, i32 1
  %224 = load i32, ptr %223, align 4, !tbaa !9
  %225 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %226 = load i32, ptr %225, align 4, !tbaa !9
  %227 = xor i32 %226, %224
  store i32 %227, ptr %225, align 4, !tbaa !9
  %228 = load ptr, ptr %7, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %228, i64 2
  %230 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %229, i32 0, i32 2
  %231 = load i32, ptr %230, align 4, !tbaa !12
  %232 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %233 = load i32, ptr %232, align 4, !tbaa !12
  %234 = xor i32 %233, %231
  store i32 %234, ptr %232, align 4, !tbaa !12
  %235 = load ptr, ptr %7, align 8, !tbaa !5
  %236 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %235, i64 2
  %237 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %236, i32 0, i32 3
  %238 = load i32, ptr %237, align 4, !tbaa !13
  %239 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %240 = load i32, ptr %239, align 4, !tbaa !13
  %241 = xor i32 %240, %238
  store i32 %241, ptr %239, align 4, !tbaa !13
  br label %242

242:                                              ; preds = %213
  br label %243

243:                                              ; preds = %242
  %244 = load ptr, ptr %7, align 8, !tbaa !5
  %245 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %244, i64 -3
  store ptr %245, ptr %7, align 8, !tbaa !5
  store i8 0, ptr %12, align 1, !tbaa !14
  br label %246

246:                                              ; preds = %1039, %243
  %247 = load i8, ptr %12, align 1, !tbaa !14
  %248 = zext i8 %247 to i32
  %249 = icmp slt i32 %248, 14
  br i1 %249, label %250, label %1044

250:                                              ; preds = %246
  call void @pyjamask_matrix_multiply_masked_2037a121(ptr noundef %8)
  call void @pyjamask_matrix_multiply_masked_108ff2a0(ptr noundef %9)
  call void @pyjamask_matrix_multiply_masked_9054d8c0(ptr noundef %10)
  br label %251

251:                                              ; preds = %250
  %252 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %253 = load i32, ptr %252, align 4, !tbaa !15
  %254 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %255 = load i32, ptr %254, align 4, !tbaa !15
  %256 = xor i32 %255, %253
  store i32 %256, ptr %254, align 4, !tbaa !15
  %257 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %258 = load i32, ptr %257, align 4, !tbaa !9
  %259 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %260 = load i32, ptr %259, align 4, !tbaa !9
  %261 = xor i32 %260, %258
  store i32 %261, ptr %259, align 4, !tbaa !9
  %262 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %263 = load i32, ptr %262, align 4, !tbaa !12
  %264 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %265 = load i32, ptr %264, align 4, !tbaa !12
  %266 = xor i32 %265, %263
  store i32 %266, ptr %264, align 4, !tbaa !12
  %267 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %268 = load i32, ptr %267, align 4, !tbaa !13
  %269 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %270 = load i32, ptr %269, align 4, !tbaa !13
  %271 = xor i32 %270, %268
  store i32 %271, ptr %269, align 4, !tbaa !13
  br label %272

272:                                              ; preds = %251
  br label %273

273:                                              ; preds = %272
  br label %274

274:                                              ; preds = %273
  %275 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %276 = load i32, ptr %275, align 4, !tbaa !15
  %277 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %278 = load i32, ptr %277, align 4, !tbaa !15
  %279 = xor i32 %278, %276
  store i32 %279, ptr %277, align 4, !tbaa !15
  %280 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %281 = load i32, ptr %280, align 4, !tbaa !9
  %282 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %283 = load i32, ptr %282, align 4, !tbaa !9
  %284 = xor i32 %283, %281
  store i32 %284, ptr %282, align 4, !tbaa !9
  %285 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %286 = load i32, ptr %285, align 4, !tbaa !12
  %287 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %288 = load i32, ptr %287, align 4, !tbaa !12
  %289 = xor i32 %288, %286
  store i32 %289, ptr %287, align 4, !tbaa !12
  %290 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %291 = load i32, ptr %290, align 4, !tbaa !13
  %292 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %293 = load i32, ptr %292, align 4, !tbaa !13
  %294 = xor i32 %293, %291
  store i32 %294, ptr %292, align 4, !tbaa !13
  br label %295

295:                                              ; preds = %274
  br label %296

296:                                              ; preds = %295
  br label %297

297:                                              ; preds = %296
  %298 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %299 = load i32, ptr %298, align 4, !tbaa !15
  %300 = xor i32 %299, -1
  %301 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  store i32 %300, ptr %301, align 4, !tbaa !15
  br label %302

302:                                              ; preds = %297
  br label %303

303:                                              ; preds = %302
  br label %304

304:                                              ; preds = %303
  %305 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %306 = load i32, ptr %305, align 4, !tbaa !15
  %307 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %308 = load i32, ptr %307, align 4, !tbaa !15
  %309 = xor i32 %308, %306
  store i32 %309, ptr %307, align 4, !tbaa !15
  %310 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %311 = load i32, ptr %310, align 4, !tbaa !9
  %312 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %313 = load i32, ptr %312, align 4, !tbaa !9
  %314 = xor i32 %313, %311
  store i32 %314, ptr %312, align 4, !tbaa !9
  %315 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %316 = load i32, ptr %315, align 4, !tbaa !12
  %317 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %318 = load i32, ptr %317, align 4, !tbaa !12
  %319 = xor i32 %318, %316
  store i32 %319, ptr %317, align 4, !tbaa !12
  %320 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %321 = load i32, ptr %320, align 4, !tbaa !13
  %322 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %323 = load i32, ptr %322, align 4, !tbaa !13
  %324 = xor i32 %323, %321
  store i32 %324, ptr %322, align 4, !tbaa !13
  br label %325

325:                                              ; preds = %304
  br label %326

326:                                              ; preds = %325
  br label %327

327:                                              ; preds = %326
  %328 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %329 = load i32, ptr %328, align 4, !tbaa !15
  %330 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %331 = load i32, ptr %330, align 4, !tbaa !15
  %332 = and i32 %329, %331
  %333 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %334 = load i32, ptr %333, align 4, !tbaa !15
  %335 = xor i32 %334, %332
  store i32 %335, ptr %333, align 4, !tbaa !15
  br label %336

336:                                              ; preds = %327
  %337 = call i32 @aead_random_generate_32()
  store i32 %337, ptr %11, align 4, !tbaa !16
  %338 = load i32, ptr %11, align 4, !tbaa !16
  %339 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %340 = load i32, ptr %339, align 4, !tbaa !15
  %341 = xor i32 %340, %338
  store i32 %341, ptr %339, align 4, !tbaa !15
  %342 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %343 = load i32, ptr %342, align 4, !tbaa !9
  %344 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %345 = load i32, ptr %344, align 4, !tbaa !15
  %346 = and i32 %343, %345
  %347 = load i32, ptr %11, align 4, !tbaa !16
  %348 = xor i32 %347, %346
  store i32 %348, ptr %11, align 4, !tbaa !16
  %349 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %350 = load i32, ptr %349, align 4, !tbaa !9
  %351 = load i32, ptr %11, align 4, !tbaa !16
  %352 = xor i32 %350, %351
  %353 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %354 = load i32, ptr %353, align 4, !tbaa !9
  %355 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %356 = load i32, ptr %355, align 4, !tbaa !15
  %357 = and i32 %354, %356
  %358 = xor i32 %352, %357
  %359 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  store i32 %358, ptr %359, align 4, !tbaa !9
  br label %360

360:                                              ; preds = %336
  br label %361

361:                                              ; preds = %360
  br label %362

362:                                              ; preds = %361
  %363 = call i32 @aead_random_generate_32()
  store i32 %363, ptr %11, align 4, !tbaa !16
  %364 = load i32, ptr %11, align 4, !tbaa !16
  %365 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %366 = load i32, ptr %365, align 4, !tbaa !15
  %367 = xor i32 %366, %364
  store i32 %367, ptr %365, align 4, !tbaa !15
  %368 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %369 = load i32, ptr %368, align 4, !tbaa !12
  %370 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %371 = load i32, ptr %370, align 4, !tbaa !15
  %372 = and i32 %369, %371
  %373 = load i32, ptr %11, align 4, !tbaa !16
  %374 = xor i32 %373, %372
  store i32 %374, ptr %11, align 4, !tbaa !16
  %375 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %376 = load i32, ptr %375, align 4, !tbaa !12
  %377 = load i32, ptr %11, align 4, !tbaa !16
  %378 = xor i32 %376, %377
  %379 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %380 = load i32, ptr %379, align 4, !tbaa !12
  %381 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %382 = load i32, ptr %381, align 4, !tbaa !15
  %383 = and i32 %380, %382
  %384 = xor i32 %378, %383
  %385 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  store i32 %384, ptr %385, align 4, !tbaa !12
  br label %386

386:                                              ; preds = %362
  br label %387

387:                                              ; preds = %386
  br label %388

388:                                              ; preds = %387
  %389 = call i32 @aead_random_generate_32()
  store i32 %389, ptr %11, align 4, !tbaa !16
  %390 = load i32, ptr %11, align 4, !tbaa !16
  %391 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %392 = load i32, ptr %391, align 4, !tbaa !15
  %393 = xor i32 %392, %390
  store i32 %393, ptr %391, align 4, !tbaa !15
  %394 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %395 = load i32, ptr %394, align 4, !tbaa !13
  %396 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %397 = load i32, ptr %396, align 4, !tbaa !15
  %398 = and i32 %395, %397
  %399 = load i32, ptr %11, align 4, !tbaa !16
  %400 = xor i32 %399, %398
  store i32 %400, ptr %11, align 4, !tbaa !16
  %401 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %402 = load i32, ptr %401, align 4, !tbaa !13
  %403 = load i32, ptr %11, align 4, !tbaa !16
  %404 = xor i32 %402, %403
  %405 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %406 = load i32, ptr %405, align 4, !tbaa !13
  %407 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %408 = load i32, ptr %407, align 4, !tbaa !15
  %409 = and i32 %406, %408
  %410 = xor i32 %404, %409
  %411 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  store i32 %410, ptr %411, align 4, !tbaa !13
  br label %412

412:                                              ; preds = %388
  br label %413

413:                                              ; preds = %412
  %414 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %415 = load i32, ptr %414, align 4, !tbaa !9
  %416 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %417 = load i32, ptr %416, align 4, !tbaa !9
  %418 = and i32 %415, %417
  %419 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %420 = load i32, ptr %419, align 4, !tbaa !9
  %421 = xor i32 %420, %418
  store i32 %421, ptr %419, align 4, !tbaa !9
  br label %422

422:                                              ; preds = %413
  %423 = call i32 @aead_random_generate_32()
  store i32 %423, ptr %11, align 4, !tbaa !16
  %424 = load i32, ptr %11, align 4, !tbaa !16
  %425 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %426 = load i32, ptr %425, align 4, !tbaa !9
  %427 = xor i32 %426, %424
  store i32 %427, ptr %425, align 4, !tbaa !9
  %428 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %429 = load i32, ptr %428, align 4, !tbaa !12
  %430 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %431 = load i32, ptr %430, align 4, !tbaa !9
  %432 = and i32 %429, %431
  %433 = load i32, ptr %11, align 4, !tbaa !16
  %434 = xor i32 %433, %432
  store i32 %434, ptr %11, align 4, !tbaa !16
  %435 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %436 = load i32, ptr %435, align 4, !tbaa !12
  %437 = load i32, ptr %11, align 4, !tbaa !16
  %438 = xor i32 %436, %437
  %439 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %440 = load i32, ptr %439, align 4, !tbaa !12
  %441 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %442 = load i32, ptr %441, align 4, !tbaa !9
  %443 = and i32 %440, %442
  %444 = xor i32 %438, %443
  %445 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  store i32 %444, ptr %445, align 4, !tbaa !12
  br label %446

446:                                              ; preds = %422
  br label %447

447:                                              ; preds = %446
  br label %448

448:                                              ; preds = %447
  %449 = call i32 @aead_random_generate_32()
  store i32 %449, ptr %11, align 4, !tbaa !16
  %450 = load i32, ptr %11, align 4, !tbaa !16
  %451 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %452 = load i32, ptr %451, align 4, !tbaa !9
  %453 = xor i32 %452, %450
  store i32 %453, ptr %451, align 4, !tbaa !9
  %454 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %455 = load i32, ptr %454, align 4, !tbaa !13
  %456 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %457 = load i32, ptr %456, align 4, !tbaa !9
  %458 = and i32 %455, %457
  %459 = load i32, ptr %11, align 4, !tbaa !16
  %460 = xor i32 %459, %458
  store i32 %460, ptr %11, align 4, !tbaa !16
  %461 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %462 = load i32, ptr %461, align 4, !tbaa !13
  %463 = load i32, ptr %11, align 4, !tbaa !16
  %464 = xor i32 %462, %463
  %465 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %466 = load i32, ptr %465, align 4, !tbaa !13
  %467 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %468 = load i32, ptr %467, align 4, !tbaa !9
  %469 = and i32 %466, %468
  %470 = xor i32 %464, %469
  %471 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  store i32 %470, ptr %471, align 4, !tbaa !13
  br label %472

472:                                              ; preds = %448
  br label %473

473:                                              ; preds = %472
  %474 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %475 = load i32, ptr %474, align 4, !tbaa !12
  %476 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %477 = load i32, ptr %476, align 4, !tbaa !12
  %478 = and i32 %475, %477
  %479 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %480 = load i32, ptr %479, align 4, !tbaa !12
  %481 = xor i32 %480, %478
  store i32 %481, ptr %479, align 4, !tbaa !12
  br label %482

482:                                              ; preds = %473
  %483 = call i32 @aead_random_generate_32()
  store i32 %483, ptr %11, align 4, !tbaa !16
  %484 = load i32, ptr %11, align 4, !tbaa !16
  %485 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %486 = load i32, ptr %485, align 4, !tbaa !12
  %487 = xor i32 %486, %484
  store i32 %487, ptr %485, align 4, !tbaa !12
  %488 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %489 = load i32, ptr %488, align 4, !tbaa !13
  %490 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %491 = load i32, ptr %490, align 4, !tbaa !12
  %492 = and i32 %489, %491
  %493 = load i32, ptr %11, align 4, !tbaa !16
  %494 = xor i32 %493, %492
  store i32 %494, ptr %11, align 4, !tbaa !16
  %495 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %496 = load i32, ptr %495, align 4, !tbaa !13
  %497 = load i32, ptr %11, align 4, !tbaa !16
  %498 = xor i32 %496, %497
  %499 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %500 = load i32, ptr %499, align 4, !tbaa !13
  %501 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %502 = load i32, ptr %501, align 4, !tbaa !12
  %503 = and i32 %500, %502
  %504 = xor i32 %498, %503
  %505 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  store i32 %504, ptr %505, align 4, !tbaa !13
  br label %506

506:                                              ; preds = %482
  br label %507

507:                                              ; preds = %506
  %508 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %509 = load i32, ptr %508, align 4, !tbaa !13
  %510 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %511 = load i32, ptr %510, align 4, !tbaa !13
  %512 = and i32 %509, %511
  %513 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %514 = load i32, ptr %513, align 4, !tbaa !13
  %515 = xor i32 %514, %512
  store i32 %515, ptr %513, align 4, !tbaa !13
  br label %516

516:                                              ; preds = %507
  br label %517

517:                                              ; preds = %516
  br label %518

518:                                              ; preds = %517
  %519 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %520 = load i32, ptr %519, align 4, !tbaa !15
  %521 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %522 = load i32, ptr %521, align 4, !tbaa !15
  %523 = and i32 %520, %522
  %524 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %525 = load i32, ptr %524, align 4, !tbaa !15
  %526 = xor i32 %525, %523
  store i32 %526, ptr %524, align 4, !tbaa !15
  br label %527

527:                                              ; preds = %518
  %528 = call i32 @aead_random_generate_32()
  store i32 %528, ptr %11, align 4, !tbaa !16
  %529 = load i32, ptr %11, align 4, !tbaa !16
  %530 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %531 = load i32, ptr %530, align 4, !tbaa !15
  %532 = xor i32 %531, %529
  store i32 %532, ptr %530, align 4, !tbaa !15
  %533 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %534 = load i32, ptr %533, align 4, !tbaa !9
  %535 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %536 = load i32, ptr %535, align 4, !tbaa !15
  %537 = and i32 %534, %536
  %538 = load i32, ptr %11, align 4, !tbaa !16
  %539 = xor i32 %538, %537
  store i32 %539, ptr %11, align 4, !tbaa !16
  %540 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %541 = load i32, ptr %540, align 4, !tbaa !9
  %542 = load i32, ptr %11, align 4, !tbaa !16
  %543 = xor i32 %541, %542
  %544 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %545 = load i32, ptr %544, align 4, !tbaa !9
  %546 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %547 = load i32, ptr %546, align 4, !tbaa !15
  %548 = and i32 %545, %547
  %549 = xor i32 %543, %548
  %550 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  store i32 %549, ptr %550, align 4, !tbaa !9
  br label %551

551:                                              ; preds = %527
  br label %552

552:                                              ; preds = %551
  br label %553

553:                                              ; preds = %552
  %554 = call i32 @aead_random_generate_32()
  store i32 %554, ptr %11, align 4, !tbaa !16
  %555 = load i32, ptr %11, align 4, !tbaa !16
  %556 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %557 = load i32, ptr %556, align 4, !tbaa !15
  %558 = xor i32 %557, %555
  store i32 %558, ptr %556, align 4, !tbaa !15
  %559 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %560 = load i32, ptr %559, align 4, !tbaa !12
  %561 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %562 = load i32, ptr %561, align 4, !tbaa !15
  %563 = and i32 %560, %562
  %564 = load i32, ptr %11, align 4, !tbaa !16
  %565 = xor i32 %564, %563
  store i32 %565, ptr %11, align 4, !tbaa !16
  %566 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %567 = load i32, ptr %566, align 4, !tbaa !12
  %568 = load i32, ptr %11, align 4, !tbaa !16
  %569 = xor i32 %567, %568
  %570 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %571 = load i32, ptr %570, align 4, !tbaa !12
  %572 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %573 = load i32, ptr %572, align 4, !tbaa !15
  %574 = and i32 %571, %573
  %575 = xor i32 %569, %574
  %576 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  store i32 %575, ptr %576, align 4, !tbaa !12
  br label %577

577:                                              ; preds = %553
  br label %578

578:                                              ; preds = %577
  br label %579

579:                                              ; preds = %578
  %580 = call i32 @aead_random_generate_32()
  store i32 %580, ptr %11, align 4, !tbaa !16
  %581 = load i32, ptr %11, align 4, !tbaa !16
  %582 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %583 = load i32, ptr %582, align 4, !tbaa !15
  %584 = xor i32 %583, %581
  store i32 %584, ptr %582, align 4, !tbaa !15
  %585 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %586 = load i32, ptr %585, align 4, !tbaa !13
  %587 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %588 = load i32, ptr %587, align 4, !tbaa !15
  %589 = and i32 %586, %588
  %590 = load i32, ptr %11, align 4, !tbaa !16
  %591 = xor i32 %590, %589
  store i32 %591, ptr %11, align 4, !tbaa !16
  %592 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %593 = load i32, ptr %592, align 4, !tbaa !13
  %594 = load i32, ptr %11, align 4, !tbaa !16
  %595 = xor i32 %593, %594
  %596 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %597 = load i32, ptr %596, align 4, !tbaa !13
  %598 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %599 = load i32, ptr %598, align 4, !tbaa !15
  %600 = and i32 %597, %599
  %601 = xor i32 %595, %600
  %602 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  store i32 %601, ptr %602, align 4, !tbaa !13
  br label %603

603:                                              ; preds = %579
  br label %604

604:                                              ; preds = %603
  %605 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %606 = load i32, ptr %605, align 4, !tbaa !9
  %607 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %608 = load i32, ptr %607, align 4, !tbaa !9
  %609 = and i32 %606, %608
  %610 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %611 = load i32, ptr %610, align 4, !tbaa !9
  %612 = xor i32 %611, %609
  store i32 %612, ptr %610, align 4, !tbaa !9
  br label %613

613:                                              ; preds = %604
  %614 = call i32 @aead_random_generate_32()
  store i32 %614, ptr %11, align 4, !tbaa !16
  %615 = load i32, ptr %11, align 4, !tbaa !16
  %616 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %617 = load i32, ptr %616, align 4, !tbaa !9
  %618 = xor i32 %617, %615
  store i32 %618, ptr %616, align 4, !tbaa !9
  %619 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %620 = load i32, ptr %619, align 4, !tbaa !12
  %621 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %622 = load i32, ptr %621, align 4, !tbaa !9
  %623 = and i32 %620, %622
  %624 = load i32, ptr %11, align 4, !tbaa !16
  %625 = xor i32 %624, %623
  store i32 %625, ptr %11, align 4, !tbaa !16
  %626 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %627 = load i32, ptr %626, align 4, !tbaa !12
  %628 = load i32, ptr %11, align 4, !tbaa !16
  %629 = xor i32 %627, %628
  %630 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %631 = load i32, ptr %630, align 4, !tbaa !12
  %632 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %633 = load i32, ptr %632, align 4, !tbaa !9
  %634 = and i32 %631, %633
  %635 = xor i32 %629, %634
  %636 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  store i32 %635, ptr %636, align 4, !tbaa !12
  br label %637

637:                                              ; preds = %613
  br label %638

638:                                              ; preds = %637
  br label %639

639:                                              ; preds = %638
  %640 = call i32 @aead_random_generate_32()
  store i32 %640, ptr %11, align 4, !tbaa !16
  %641 = load i32, ptr %11, align 4, !tbaa !16
  %642 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %643 = load i32, ptr %642, align 4, !tbaa !9
  %644 = xor i32 %643, %641
  store i32 %644, ptr %642, align 4, !tbaa !9
  %645 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %646 = load i32, ptr %645, align 4, !tbaa !13
  %647 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %648 = load i32, ptr %647, align 4, !tbaa !9
  %649 = and i32 %646, %648
  %650 = load i32, ptr %11, align 4, !tbaa !16
  %651 = xor i32 %650, %649
  store i32 %651, ptr %11, align 4, !tbaa !16
  %652 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %653 = load i32, ptr %652, align 4, !tbaa !13
  %654 = load i32, ptr %11, align 4, !tbaa !16
  %655 = xor i32 %653, %654
  %656 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %657 = load i32, ptr %656, align 4, !tbaa !13
  %658 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %659 = load i32, ptr %658, align 4, !tbaa !9
  %660 = and i32 %657, %659
  %661 = xor i32 %655, %660
  %662 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  store i32 %661, ptr %662, align 4, !tbaa !13
  br label %663

663:                                              ; preds = %639
  br label %664

664:                                              ; preds = %663
  %665 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %666 = load i32, ptr %665, align 4, !tbaa !12
  %667 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %668 = load i32, ptr %667, align 4, !tbaa !12
  %669 = and i32 %666, %668
  %670 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %671 = load i32, ptr %670, align 4, !tbaa !12
  %672 = xor i32 %671, %669
  store i32 %672, ptr %670, align 4, !tbaa !12
  br label %673

673:                                              ; preds = %664
  %674 = call i32 @aead_random_generate_32()
  store i32 %674, ptr %11, align 4, !tbaa !16
  %675 = load i32, ptr %11, align 4, !tbaa !16
  %676 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %677 = load i32, ptr %676, align 4, !tbaa !12
  %678 = xor i32 %677, %675
  store i32 %678, ptr %676, align 4, !tbaa !12
  %679 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %680 = load i32, ptr %679, align 4, !tbaa !13
  %681 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %682 = load i32, ptr %681, align 4, !tbaa !12
  %683 = and i32 %680, %682
  %684 = load i32, ptr %11, align 4, !tbaa !16
  %685 = xor i32 %684, %683
  store i32 %685, ptr %11, align 4, !tbaa !16
  %686 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %687 = load i32, ptr %686, align 4, !tbaa !13
  %688 = load i32, ptr %11, align 4, !tbaa !16
  %689 = xor i32 %687, %688
  %690 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %691 = load i32, ptr %690, align 4, !tbaa !13
  %692 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %693 = load i32, ptr %692, align 4, !tbaa !12
  %694 = and i32 %691, %693
  %695 = xor i32 %689, %694
  %696 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  store i32 %695, ptr %696, align 4, !tbaa !13
  br label %697

697:                                              ; preds = %673
  br label %698

698:                                              ; preds = %697
  %699 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %700 = load i32, ptr %699, align 4, !tbaa !13
  %701 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %702 = load i32, ptr %701, align 4, !tbaa !13
  %703 = and i32 %700, %702
  %704 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %705 = load i32, ptr %704, align 4, !tbaa !13
  %706 = xor i32 %705, %703
  store i32 %706, ptr %704, align 4, !tbaa !13
  br label %707

707:                                              ; preds = %698
  br label %708

708:                                              ; preds = %707
  br label %709

709:                                              ; preds = %708
  %710 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %711 = load i32, ptr %710, align 4, !tbaa !15
  %712 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %713 = load i32, ptr %712, align 4, !tbaa !15
  %714 = and i32 %711, %713
  %715 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %716 = load i32, ptr %715, align 4, !tbaa !15
  %717 = xor i32 %716, %714
  store i32 %717, ptr %715, align 4, !tbaa !15
  br label %718

718:                                              ; preds = %709
  %719 = call i32 @aead_random_generate_32()
  store i32 %719, ptr %11, align 4, !tbaa !16
  %720 = load i32, ptr %11, align 4, !tbaa !16
  %721 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %722 = load i32, ptr %721, align 4, !tbaa !15
  %723 = xor i32 %722, %720
  store i32 %723, ptr %721, align 4, !tbaa !15
  %724 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %725 = load i32, ptr %724, align 4, !tbaa !9
  %726 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %727 = load i32, ptr %726, align 4, !tbaa !15
  %728 = and i32 %725, %727
  %729 = load i32, ptr %11, align 4, !tbaa !16
  %730 = xor i32 %729, %728
  store i32 %730, ptr %11, align 4, !tbaa !16
  %731 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %732 = load i32, ptr %731, align 4, !tbaa !9
  %733 = load i32, ptr %11, align 4, !tbaa !16
  %734 = xor i32 %732, %733
  %735 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %736 = load i32, ptr %735, align 4, !tbaa !9
  %737 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %738 = load i32, ptr %737, align 4, !tbaa !15
  %739 = and i32 %736, %738
  %740 = xor i32 %734, %739
  %741 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  store i32 %740, ptr %741, align 4, !tbaa !9
  br label %742

742:                                              ; preds = %718
  br label %743

743:                                              ; preds = %742
  br label %744

744:                                              ; preds = %743
  %745 = call i32 @aead_random_generate_32()
  store i32 %745, ptr %11, align 4, !tbaa !16
  %746 = load i32, ptr %11, align 4, !tbaa !16
  %747 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %748 = load i32, ptr %747, align 4, !tbaa !15
  %749 = xor i32 %748, %746
  store i32 %749, ptr %747, align 4, !tbaa !15
  %750 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %751 = load i32, ptr %750, align 4, !tbaa !12
  %752 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %753 = load i32, ptr %752, align 4, !tbaa !15
  %754 = and i32 %751, %753
  %755 = load i32, ptr %11, align 4, !tbaa !16
  %756 = xor i32 %755, %754
  store i32 %756, ptr %11, align 4, !tbaa !16
  %757 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %758 = load i32, ptr %757, align 4, !tbaa !12
  %759 = load i32, ptr %11, align 4, !tbaa !16
  %760 = xor i32 %758, %759
  %761 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %762 = load i32, ptr %761, align 4, !tbaa !12
  %763 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %764 = load i32, ptr %763, align 4, !tbaa !15
  %765 = and i32 %762, %764
  %766 = xor i32 %760, %765
  %767 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  store i32 %766, ptr %767, align 4, !tbaa !12
  br label %768

768:                                              ; preds = %744
  br label %769

769:                                              ; preds = %768
  br label %770

770:                                              ; preds = %769
  %771 = call i32 @aead_random_generate_32()
  store i32 %771, ptr %11, align 4, !tbaa !16
  %772 = load i32, ptr %11, align 4, !tbaa !16
  %773 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %774 = load i32, ptr %773, align 4, !tbaa !15
  %775 = xor i32 %774, %772
  store i32 %775, ptr %773, align 4, !tbaa !15
  %776 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %777 = load i32, ptr %776, align 4, !tbaa !13
  %778 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %779 = load i32, ptr %778, align 4, !tbaa !15
  %780 = and i32 %777, %779
  %781 = load i32, ptr %11, align 4, !tbaa !16
  %782 = xor i32 %781, %780
  store i32 %782, ptr %11, align 4, !tbaa !16
  %783 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %784 = load i32, ptr %783, align 4, !tbaa !13
  %785 = load i32, ptr %11, align 4, !tbaa !16
  %786 = xor i32 %784, %785
  %787 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %788 = load i32, ptr %787, align 4, !tbaa !13
  %789 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %790 = load i32, ptr %789, align 4, !tbaa !15
  %791 = and i32 %788, %790
  %792 = xor i32 %786, %791
  %793 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  store i32 %792, ptr %793, align 4, !tbaa !13
  br label %794

794:                                              ; preds = %770
  br label %795

795:                                              ; preds = %794
  %796 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %797 = load i32, ptr %796, align 4, !tbaa !9
  %798 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %799 = load i32, ptr %798, align 4, !tbaa !9
  %800 = and i32 %797, %799
  %801 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %802 = load i32, ptr %801, align 4, !tbaa !9
  %803 = xor i32 %802, %800
  store i32 %803, ptr %801, align 4, !tbaa !9
  br label %804

804:                                              ; preds = %795
  %805 = call i32 @aead_random_generate_32()
  store i32 %805, ptr %11, align 4, !tbaa !16
  %806 = load i32, ptr %11, align 4, !tbaa !16
  %807 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %808 = load i32, ptr %807, align 4, !tbaa !9
  %809 = xor i32 %808, %806
  store i32 %809, ptr %807, align 4, !tbaa !9
  %810 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %811 = load i32, ptr %810, align 4, !tbaa !12
  %812 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %813 = load i32, ptr %812, align 4, !tbaa !9
  %814 = and i32 %811, %813
  %815 = load i32, ptr %11, align 4, !tbaa !16
  %816 = xor i32 %815, %814
  store i32 %816, ptr %11, align 4, !tbaa !16
  %817 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %818 = load i32, ptr %817, align 4, !tbaa !12
  %819 = load i32, ptr %11, align 4, !tbaa !16
  %820 = xor i32 %818, %819
  %821 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %822 = load i32, ptr %821, align 4, !tbaa !12
  %823 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %824 = load i32, ptr %823, align 4, !tbaa !9
  %825 = and i32 %822, %824
  %826 = xor i32 %820, %825
  %827 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  store i32 %826, ptr %827, align 4, !tbaa !12
  br label %828

828:                                              ; preds = %804
  br label %829

829:                                              ; preds = %828
  br label %830

830:                                              ; preds = %829
  %831 = call i32 @aead_random_generate_32()
  store i32 %831, ptr %11, align 4, !tbaa !16
  %832 = load i32, ptr %11, align 4, !tbaa !16
  %833 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %834 = load i32, ptr %833, align 4, !tbaa !9
  %835 = xor i32 %834, %832
  store i32 %835, ptr %833, align 4, !tbaa !9
  %836 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %837 = load i32, ptr %836, align 4, !tbaa !13
  %838 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %839 = load i32, ptr %838, align 4, !tbaa !9
  %840 = and i32 %837, %839
  %841 = load i32, ptr %11, align 4, !tbaa !16
  %842 = xor i32 %841, %840
  store i32 %842, ptr %11, align 4, !tbaa !16
  %843 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %844 = load i32, ptr %843, align 4, !tbaa !13
  %845 = load i32, ptr %11, align 4, !tbaa !16
  %846 = xor i32 %844, %845
  %847 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %848 = load i32, ptr %847, align 4, !tbaa !13
  %849 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %850 = load i32, ptr %849, align 4, !tbaa !9
  %851 = and i32 %848, %850
  %852 = xor i32 %846, %851
  %853 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  store i32 %852, ptr %853, align 4, !tbaa !13
  br label %854

854:                                              ; preds = %830
  br label %855

855:                                              ; preds = %854
  %856 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %857 = load i32, ptr %856, align 4, !tbaa !12
  %858 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %859 = load i32, ptr %858, align 4, !tbaa !12
  %860 = and i32 %857, %859
  %861 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %862 = load i32, ptr %861, align 4, !tbaa !12
  %863 = xor i32 %862, %860
  store i32 %863, ptr %861, align 4, !tbaa !12
  br label %864

864:                                              ; preds = %855
  %865 = call i32 @aead_random_generate_32()
  store i32 %865, ptr %11, align 4, !tbaa !16
  %866 = load i32, ptr %11, align 4, !tbaa !16
  %867 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %868 = load i32, ptr %867, align 4, !tbaa !12
  %869 = xor i32 %868, %866
  store i32 %869, ptr %867, align 4, !tbaa !12
  %870 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %871 = load i32, ptr %870, align 4, !tbaa !13
  %872 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %873 = load i32, ptr %872, align 4, !tbaa !12
  %874 = and i32 %871, %873
  %875 = load i32, ptr %11, align 4, !tbaa !16
  %876 = xor i32 %875, %874
  store i32 %876, ptr %11, align 4, !tbaa !16
  %877 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %878 = load i32, ptr %877, align 4, !tbaa !13
  %879 = load i32, ptr %11, align 4, !tbaa !16
  %880 = xor i32 %878, %879
  %881 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %882 = load i32, ptr %881, align 4, !tbaa !13
  %883 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %884 = load i32, ptr %883, align 4, !tbaa !12
  %885 = and i32 %882, %884
  %886 = xor i32 %880, %885
  %887 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  store i32 %886, ptr %887, align 4, !tbaa !13
  br label %888

888:                                              ; preds = %864
  br label %889

889:                                              ; preds = %888
  %890 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %891 = load i32, ptr %890, align 4, !tbaa !13
  %892 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %893 = load i32, ptr %892, align 4, !tbaa !13
  %894 = and i32 %891, %893
  %895 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %896 = load i32, ptr %895, align 4, !tbaa !13
  %897 = xor i32 %896, %894
  store i32 %897, ptr %895, align 4, !tbaa !13
  br label %898

898:                                              ; preds = %889
  br label %899

899:                                              ; preds = %898
  br label %900

900:                                              ; preds = %899
  %901 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %902 = load i32, ptr %901, align 4, !tbaa !15
  %903 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %904 = load i32, ptr %903, align 4, !tbaa !15
  %905 = xor i32 %904, %902
  store i32 %905, ptr %903, align 4, !tbaa !15
  %906 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %907 = load i32, ptr %906, align 4, !tbaa !9
  %908 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %909 = load i32, ptr %908, align 4, !tbaa !9
  %910 = xor i32 %909, %907
  store i32 %910, ptr %908, align 4, !tbaa !9
  %911 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %912 = load i32, ptr %911, align 4, !tbaa !12
  %913 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %914 = load i32, ptr %913, align 4, !tbaa !12
  %915 = xor i32 %914, %912
  store i32 %915, ptr %913, align 4, !tbaa !12
  %916 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %917 = load i32, ptr %916, align 4, !tbaa !13
  %918 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %919 = load i32, ptr %918, align 4, !tbaa !13
  %920 = xor i32 %919, %917
  store i32 %920, ptr %918, align 4, !tbaa !13
  br label %921

921:                                              ; preds = %900
  br label %922

922:                                              ; preds = %921
  br label %923

923:                                              ; preds = %922
  %924 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %925 = load i32, ptr %924, align 4, !tbaa !15
  %926 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %927 = load i32, ptr %926, align 4, !tbaa !15
  %928 = xor i32 %927, %925
  store i32 %928, ptr %926, align 4, !tbaa !15
  %929 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %930 = load i32, ptr %929, align 4, !tbaa !9
  %931 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %932 = load i32, ptr %931, align 4, !tbaa !9
  %933 = xor i32 %932, %930
  store i32 %933, ptr %931, align 4, !tbaa !9
  %934 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %935 = load i32, ptr %934, align 4, !tbaa !12
  %936 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %937 = load i32, ptr %936, align 4, !tbaa !12
  %938 = xor i32 %937, %935
  store i32 %938, ptr %936, align 4, !tbaa !12
  %939 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %940 = load i32, ptr %939, align 4, !tbaa !13
  %941 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %942 = load i32, ptr %941, align 4, !tbaa !13
  %943 = xor i32 %942, %940
  store i32 %943, ptr %941, align 4, !tbaa !13
  br label %944

944:                                              ; preds = %923
  br label %945

945:                                              ; preds = %944
  br label %946

946:                                              ; preds = %945
  %947 = load ptr, ptr %7, align 8, !tbaa !5
  %948 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %947, i64 0
  %949 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %948, i32 0, i32 0
  %950 = load i32, ptr %949, align 4, !tbaa !15
  %951 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %952 = load i32, ptr %951, align 4, !tbaa !15
  %953 = xor i32 %952, %950
  store i32 %953, ptr %951, align 4, !tbaa !15
  %954 = load ptr, ptr %7, align 8, !tbaa !5
  %955 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %954, i64 0
  %956 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %955, i32 0, i32 1
  %957 = load i32, ptr %956, align 4, !tbaa !9
  %958 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %959 = load i32, ptr %958, align 4, !tbaa !9
  %960 = xor i32 %959, %957
  store i32 %960, ptr %958, align 4, !tbaa !9
  %961 = load ptr, ptr %7, align 8, !tbaa !5
  %962 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %961, i64 0
  %963 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %962, i32 0, i32 2
  %964 = load i32, ptr %963, align 4, !tbaa !12
  %965 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %966 = load i32, ptr %965, align 4, !tbaa !12
  %967 = xor i32 %966, %964
  store i32 %967, ptr %965, align 4, !tbaa !12
  %968 = load ptr, ptr %7, align 8, !tbaa !5
  %969 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %968, i64 0
  %970 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %969, i32 0, i32 3
  %971 = load i32, ptr %970, align 4, !tbaa !13
  %972 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %973 = load i32, ptr %972, align 4, !tbaa !13
  %974 = xor i32 %973, %971
  store i32 %974, ptr %972, align 4, !tbaa !13
  br label %975

975:                                              ; preds = %946
  br label %976

976:                                              ; preds = %975
  br label %977

977:                                              ; preds = %976
  %978 = load ptr, ptr %7, align 8, !tbaa !5
  %979 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %978, i64 1
  %980 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %979, i32 0, i32 0
  %981 = load i32, ptr %980, align 4, !tbaa !15
  %982 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %983 = load i32, ptr %982, align 4, !tbaa !15
  %984 = xor i32 %983, %981
  store i32 %984, ptr %982, align 4, !tbaa !15
  %985 = load ptr, ptr %7, align 8, !tbaa !5
  %986 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %985, i64 1
  %987 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %986, i32 0, i32 1
  %988 = load i32, ptr %987, align 4, !tbaa !9
  %989 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %990 = load i32, ptr %989, align 4, !tbaa !9
  %991 = xor i32 %990, %988
  store i32 %991, ptr %989, align 4, !tbaa !9
  %992 = load ptr, ptr %7, align 8, !tbaa !5
  %993 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %992, i64 1
  %994 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %993, i32 0, i32 2
  %995 = load i32, ptr %994, align 4, !tbaa !12
  %996 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %997 = load i32, ptr %996, align 4, !tbaa !12
  %998 = xor i32 %997, %995
  store i32 %998, ptr %996, align 4, !tbaa !12
  %999 = load ptr, ptr %7, align 8, !tbaa !5
  %1000 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %999, i64 1
  %1001 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1000, i32 0, i32 3
  %1002 = load i32, ptr %1001, align 4, !tbaa !13
  %1003 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %1004 = load i32, ptr %1003, align 4, !tbaa !13
  %1005 = xor i32 %1004, %1002
  store i32 %1005, ptr %1003, align 4, !tbaa !13
  br label %1006

1006:                                             ; preds = %977
  br label %1007

1007:                                             ; preds = %1006
  br label %1008

1008:                                             ; preds = %1007
  %1009 = load ptr, ptr %7, align 8, !tbaa !5
  %1010 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1009, i64 2
  %1011 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1010, i32 0, i32 0
  %1012 = load i32, ptr %1011, align 4, !tbaa !15
  %1013 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %1014 = load i32, ptr %1013, align 4, !tbaa !15
  %1015 = xor i32 %1014, %1012
  store i32 %1015, ptr %1013, align 4, !tbaa !15
  %1016 = load ptr, ptr %7, align 8, !tbaa !5
  %1017 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1016, i64 2
  %1018 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1017, i32 0, i32 1
  %1019 = load i32, ptr %1018, align 4, !tbaa !9
  %1020 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %1021 = load i32, ptr %1020, align 4, !tbaa !9
  %1022 = xor i32 %1021, %1019
  store i32 %1022, ptr %1020, align 4, !tbaa !9
  %1023 = load ptr, ptr %7, align 8, !tbaa !5
  %1024 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1023, i64 2
  %1025 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1024, i32 0, i32 2
  %1026 = load i32, ptr %1025, align 4, !tbaa !12
  %1027 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %1028 = load i32, ptr %1027, align 4, !tbaa !12
  %1029 = xor i32 %1028, %1026
  store i32 %1029, ptr %1027, align 4, !tbaa !12
  %1030 = load ptr, ptr %7, align 8, !tbaa !5
  %1031 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1030, i64 2
  %1032 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1031, i32 0, i32 3
  %1033 = load i32, ptr %1032, align 4, !tbaa !13
  %1034 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %1035 = load i32, ptr %1034, align 4, !tbaa !13
  %1036 = xor i32 %1035, %1033
  store i32 %1036, ptr %1034, align 4, !tbaa !13
  br label %1037

1037:                                             ; preds = %1008
  br label %1038

1038:                                             ; preds = %1037
  br label %1039

1039:                                             ; preds = %1038
  %1040 = load i8, ptr %12, align 1, !tbaa !14
  %1041 = add i8 %1040, 1
  store i8 %1041, ptr %12, align 1, !tbaa !14
  %1042 = load ptr, ptr %7, align 8, !tbaa !5
  %1043 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %1042, i64 -3
  store ptr %1043, ptr %7, align 8, !tbaa !5
  br label %246, !llvm.loop !17

1044:                                             ; preds = %246
  br label %1045

1045:                                             ; preds = %1044
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  %1046 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 0
  %1047 = load i32, ptr %1046, align 4, !tbaa !15
  %1048 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 1
  %1049 = load i32, ptr %1048, align 4, !tbaa !9
  %1050 = xor i32 %1047, %1049
  %1051 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 2
  %1052 = load i32, ptr %1051, align 4, !tbaa !12
  %1053 = xor i32 %1050, %1052
  %1054 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %8, i32 0, i32 3
  %1055 = load i32, ptr %1054, align 4, !tbaa !13
  %1056 = xor i32 %1053, %1055
  store i32 %1056, ptr %13, align 4, !tbaa !16
  %1057 = load i32, ptr %13, align 4, !tbaa !16
  %1058 = lshr i32 %1057, 24
  %1059 = trunc i32 %1058 to i8
  %1060 = load ptr, ptr %5, align 8, !tbaa !5
  %1061 = getelementptr inbounds i8, ptr %1060, i64 0
  store i8 %1059, ptr %1061, align 1, !tbaa !14
  %1062 = load i32, ptr %13, align 4, !tbaa !16
  %1063 = lshr i32 %1062, 16
  %1064 = trunc i32 %1063 to i8
  %1065 = load ptr, ptr %5, align 8, !tbaa !5
  %1066 = getelementptr inbounds i8, ptr %1065, i64 1
  store i8 %1064, ptr %1066, align 1, !tbaa !14
  %1067 = load i32, ptr %13, align 4, !tbaa !16
  %1068 = lshr i32 %1067, 8
  %1069 = trunc i32 %1068 to i8
  %1070 = load ptr, ptr %5, align 8, !tbaa !5
  %1071 = getelementptr inbounds i8, ptr %1070, i64 2
  store i8 %1069, ptr %1071, align 1, !tbaa !14
  %1072 = load i32, ptr %13, align 4, !tbaa !16
  %1073 = trunc i32 %1072 to i8
  %1074 = load ptr, ptr %5, align 8, !tbaa !5
  %1075 = getelementptr inbounds i8, ptr %1074, i64 3
  store i8 %1073, ptr %1075, align 1, !tbaa !14
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  br label %1076

1076:                                             ; preds = %1045
  br label %1077

1077:                                             ; preds = %1076
  br label %1078

1078:                                             ; preds = %1077
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  %1079 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 0
  %1080 = load i32, ptr %1079, align 4, !tbaa !15
  %1081 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 1
  %1082 = load i32, ptr %1081, align 4, !tbaa !9
  %1083 = xor i32 %1080, %1082
  %1084 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 2
  %1085 = load i32, ptr %1084, align 4, !tbaa !12
  %1086 = xor i32 %1083, %1085
  %1087 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %9, i32 0, i32 3
  %1088 = load i32, ptr %1087, align 4, !tbaa !13
  %1089 = xor i32 %1086, %1088
  store i32 %1089, ptr %14, align 4, !tbaa !16
  %1090 = load i32, ptr %14, align 4, !tbaa !16
  %1091 = lshr i32 %1090, 24
  %1092 = trunc i32 %1091 to i8
  %1093 = load ptr, ptr %5, align 8, !tbaa !5
  %1094 = getelementptr inbounds i8, ptr %1093, i64 4
  %1095 = getelementptr inbounds i8, ptr %1094, i64 0
  store i8 %1092, ptr %1095, align 1, !tbaa !14
  %1096 = load i32, ptr %14, align 4, !tbaa !16
  %1097 = lshr i32 %1096, 16
  %1098 = trunc i32 %1097 to i8
  %1099 = load ptr, ptr %5, align 8, !tbaa !5
  %1100 = getelementptr inbounds i8, ptr %1099, i64 4
  %1101 = getelementptr inbounds i8, ptr %1100, i64 1
  store i8 %1098, ptr %1101, align 1, !tbaa !14
  %1102 = load i32, ptr %14, align 4, !tbaa !16
  %1103 = lshr i32 %1102, 8
  %1104 = trunc i32 %1103 to i8
  %1105 = load ptr, ptr %5, align 8, !tbaa !5
  %1106 = getelementptr inbounds i8, ptr %1105, i64 4
  %1107 = getelementptr inbounds i8, ptr %1106, i64 2
  store i8 %1104, ptr %1107, align 1, !tbaa !14
  %1108 = load i32, ptr %14, align 4, !tbaa !16
  %1109 = trunc i32 %1108 to i8
  %1110 = load ptr, ptr %5, align 8, !tbaa !5
  %1111 = getelementptr inbounds i8, ptr %1110, i64 4
  %1112 = getelementptr inbounds i8, ptr %1111, i64 3
  store i8 %1109, ptr %1112, align 1, !tbaa !14
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  br label %1113

1113:                                             ; preds = %1078
  br label %1114

1114:                                             ; preds = %1113
  br label %1115

1115:                                             ; preds = %1114
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  %1116 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 0
  %1117 = load i32, ptr %1116, align 4, !tbaa !15
  %1118 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 1
  %1119 = load i32, ptr %1118, align 4, !tbaa !9
  %1120 = xor i32 %1117, %1119
  %1121 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 2
  %1122 = load i32, ptr %1121, align 4, !tbaa !12
  %1123 = xor i32 %1120, %1122
  %1124 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %10, i32 0, i32 3
  %1125 = load i32, ptr %1124, align 4, !tbaa !13
  %1126 = xor i32 %1123, %1125
  store i32 %1126, ptr %15, align 4, !tbaa !16
  %1127 = load i32, ptr %15, align 4, !tbaa !16
  %1128 = lshr i32 %1127, 24
  %1129 = trunc i32 %1128 to i8
  %1130 = load ptr, ptr %5, align 8, !tbaa !5
  %1131 = getelementptr inbounds i8, ptr %1130, i64 8
  %1132 = getelementptr inbounds i8, ptr %1131, i64 0
  store i8 %1129, ptr %1132, align 1, !tbaa !14
  %1133 = load i32, ptr %15, align 4, !tbaa !16
  %1134 = lshr i32 %1133, 16
  %1135 = trunc i32 %1134 to i8
  %1136 = load ptr, ptr %5, align 8, !tbaa !5
  %1137 = getelementptr inbounds i8, ptr %1136, i64 8
  %1138 = getelementptr inbounds i8, ptr %1137, i64 1
  store i8 %1135, ptr %1138, align 1, !tbaa !14
  %1139 = load i32, ptr %15, align 4, !tbaa !16
  %1140 = lshr i32 %1139, 8
  %1141 = trunc i32 %1140 to i8
  %1142 = load ptr, ptr %5, align 8, !tbaa !5
  %1143 = getelementptr inbounds i8, ptr %1142, i64 8
  %1144 = getelementptr inbounds i8, ptr %1143, i64 2
  store i8 %1141, ptr %1144, align 1, !tbaa !14
  %1145 = load i32, ptr %15, align 4, !tbaa !16
  %1146 = trunc i32 %1145 to i8
  %1147 = load ptr, ptr %5, align 8, !tbaa !5
  %1148 = getelementptr inbounds i8, ptr %1147, i64 8
  %1149 = getelementptr inbounds i8, ptr %1148, i64 3
  store i8 %1146, ptr %1149, align 1, !tbaa !14
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  br label %1150

1150:                                             ; preds = %1115
  br label %1151

1151:                                             ; preds = %1150
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #3
  ret void
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "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 #2 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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, !11, i64 4}
!10 = !{!"", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12}
!11 = !{!"int", !7, i64 0}
!12 = !{!10, !11, i64 8}
!13 = !{!10, !11, i64 12}
!14 = !{!7, !7, i64 0}
!15 = !{!10, !11, i64 0}
!16 = !{!11, !11, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.mask_x4_uint32_t = type { i32, i32, i32, i32 }

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

declare i32 @aead_random_generate_32() local_unnamed_addr #1

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

; Function Attrs: nounwind uwtable
declare hidden void @pyjamask_matrix_multiply_masked_2037a121(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare hidden void @pyjamask_matrix_multiply_masked_108ff2a0(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare hidden void @pyjamask_matrix_multiply_masked_9054d8c0(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @pyjamask_masked_96_decrypt(ptr nocapture noundef readonly %0, ptr nocapture noundef writeonly %1, ptr nocapture noundef readonly %2) local_unnamed_addr #2 {
  %4 = alloca %struct.mask_x4_uint32_t, align 4
  %5 = alloca %struct.mask_x4_uint32_t, align 4
  %6 = alloca %struct.mask_x4_uint32_t, align 4
  %7 = getelementptr inbounds i8, ptr %0, i64 672
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #3
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #3
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %6) #3
  %8 = tail call i32 @aead_random_generate_32() #3
  %9 = getelementptr inbounds i8, ptr %4, i64 4
  %10 = tail call i32 @aead_random_generate_32() #3
  %11 = getelementptr inbounds i8, ptr %4, i64 8
  %12 = tail call i32 @aead_random_generate_32() #3
  %13 = getelementptr inbounds i8, ptr %4, i64 12
  %14 = load i8, ptr %2, align 1, !tbaa !5
  %15 = zext i8 %14 to i32
  %16 = shl nuw i32 %15, 24
  %17 = getelementptr inbounds i8, ptr %2, i64 1
  %18 = load i8, ptr %17, align 1, !tbaa !5
  %19 = zext i8 %18 to i32
  %20 = shl nuw nsw i32 %19, 16
  %21 = or disjoint i32 %20, %16
  %22 = getelementptr inbounds i8, ptr %2, i64 2
  %23 = load i8, ptr %22, align 1, !tbaa !5
  %24 = zext i8 %23 to i32
  %25 = shl nuw nsw i32 %24, 8
  %26 = or disjoint i32 %21, %25
  %27 = getelementptr inbounds i8, ptr %2, i64 3
  %28 = load i8, ptr %27, align 1, !tbaa !5
  %29 = zext i8 %28 to i32
  %30 = or disjoint i32 %26, %29
  %31 = tail call i32 @aead_random_generate_32() #3
  %32 = getelementptr inbounds i8, ptr %5, i64 4
  %33 = tail call i32 @aead_random_generate_32() #3
  %34 = getelementptr inbounds i8, ptr %5, i64 8
  %35 = tail call i32 @aead_random_generate_32() #3
  %36 = getelementptr inbounds i8, ptr %5, i64 12
  %37 = getelementptr inbounds i8, ptr %2, i64 4
  %38 = load i8, ptr %37, align 1, !tbaa !5
  %39 = zext i8 %38 to i32
  %40 = shl nuw i32 %39, 24
  %41 = getelementptr inbounds i8, ptr %2, i64 5
  %42 = load i8, ptr %41, align 1, !tbaa !5
  %43 = zext i8 %42 to i32
  %44 = shl nuw nsw i32 %43, 16
  %45 = or disjoint i32 %44, %40
  %46 = getelementptr inbounds i8, ptr %2, i64 6
  %47 = load i8, ptr %46, align 1, !tbaa !5
  %48 = zext i8 %47 to i32
  %49 = shl nuw nsw i32 %48, 8
  %50 = or disjoint i32 %45, %49
  %51 = getelementptr inbounds i8, ptr %2, i64 7
  %52 = load i8, ptr %51, align 1, !tbaa !5
  %53 = zext i8 %52 to i32
  %54 = or disjoint i32 %50, %53
  %55 = tail call i32 @aead_random_generate_32() #3
  %56 = getelementptr inbounds i8, ptr %6, i64 4
  %57 = tail call i32 @aead_random_generate_32() #3
  %58 = getelementptr inbounds i8, ptr %6, i64 8
  %59 = tail call i32 @aead_random_generate_32() #3
  %60 = getelementptr inbounds i8, ptr %6, i64 12
  %61 = getelementptr inbounds i8, ptr %2, i64 8
  %62 = load i8, ptr %61, align 1, !tbaa !5
  %63 = zext i8 %62 to i32
  %64 = shl nuw i32 %63, 24
  %65 = getelementptr inbounds i8, ptr %2, i64 9
  %66 = load i8, ptr %65, align 1, !tbaa !5
  %67 = zext i8 %66 to i32
  %68 = shl nuw nsw i32 %67, 16
  %69 = or disjoint i32 %68, %64
  %70 = getelementptr inbounds i8, ptr %2, i64 10
  %71 = load i8, ptr %70, align 1, !tbaa !5
  %72 = zext i8 %71 to i32
  %73 = shl nuw nsw i32 %72, 8
  %74 = or disjoint i32 %69, %73
  %75 = getelementptr inbounds i8, ptr %2, i64 11
  %76 = load i8, ptr %75, align 1, !tbaa !5
  %77 = zext i8 %76 to i32
  %78 = or disjoint i32 %74, %77
  %79 = load i32, ptr %7, align 4, !tbaa !8
  %80 = xor i32 %30, %79
  %81 = xor i32 %80, %10
  %82 = xor i32 %81, %8
  %83 = xor i32 %82, %12
  store i32 %83, ptr %4, align 4, !tbaa !8
  %84 = getelementptr inbounds i8, ptr %0, i64 676
  %85 = load i32, ptr %84, align 4, !tbaa !11
  %86 = xor i32 %8, %85
  store i32 %86, ptr %9, align 4, !tbaa !11
  %87 = getelementptr inbounds i8, ptr %0, i64 680
  %88 = load i32, ptr %87, align 4, !tbaa !12
  %89 = xor i32 %10, %88
  store i32 %89, ptr %11, align 4, !tbaa !12
  %90 = getelementptr inbounds i8, ptr %0, i64 684
  %91 = load i32, ptr %90, align 4, !tbaa !13
  %92 = xor i32 %12, %91
  store i32 %92, ptr %13, align 4, !tbaa !13
  %93 = getelementptr inbounds i8, ptr %0, i64 688
  %94 = load i32, ptr %93, align 4, !tbaa !8
  %95 = xor i32 %54, %94
  %96 = xor i32 %95, %33
  %97 = xor i32 %96, %31
  %98 = xor i32 %97, %35
  store i32 %98, ptr %5, align 4, !tbaa !8
  %99 = getelementptr inbounds i8, ptr %0, i64 692
  %100 = load i32, ptr %99, align 4, !tbaa !11
  %101 = xor i32 %31, %100
  store i32 %101, ptr %32, align 4, !tbaa !11
  %102 = getelementptr inbounds i8, ptr %0, i64 696
  %103 = load i32, ptr %102, align 4, !tbaa !12
  %104 = xor i32 %33, %103
  store i32 %104, ptr %34, align 4, !tbaa !12
  %105 = getelementptr inbounds i8, ptr %0, i64 700
  %106 = load i32, ptr %105, align 4, !tbaa !13
  %107 = xor i32 %35, %106
  store i32 %107, ptr %36, align 4, !tbaa !13
  %108 = getelementptr inbounds i8, ptr %0, i64 704
  %109 = load i32, ptr %108, align 4, !tbaa !8
  %110 = xor i32 %78, %109
  %111 = xor i32 %110, %59
  %112 = xor i32 %111, %55
  %113 = xor i32 %112, %57
  store i32 %113, ptr %6, align 4, !tbaa !8
  %114 = getelementptr inbounds i8, ptr %0, i64 708
  %115 = load i32, ptr %114, align 4, !tbaa !11
  %116 = xor i32 %115, %55
  store i32 %116, ptr %56, align 4, !tbaa !11
  %117 = getelementptr inbounds i8, ptr %0, i64 712
  %118 = load i32, ptr %117, align 4, !tbaa !12
  %119 = xor i32 %118, %57
  store i32 %119, ptr %58, align 4, !tbaa !12
  %120 = getelementptr inbounds i8, ptr %0, i64 716
  %121 = load i32, ptr %120, align 4, !tbaa !13
  %122 = xor i32 %121, %59
  store i32 %122, ptr %60, align 4, !tbaa !13
  %123 = getelementptr inbounds i8, ptr %0, i64 624
  br label %124

124:                                              ; preds = %3, %124
  %.0120 = phi ptr [ %123, %3 ], [ %478, %124 ]
  %.0118119 = phi i8 [ 0, %3 ], [ %477, %124 ]
  call void @pyjamask_matrix_multiply_masked_2037a121(ptr noundef nonnull %4)
  call void @pyjamask_matrix_multiply_masked_108ff2a0(ptr noundef nonnull %5)
  call void @pyjamask_matrix_multiply_masked_9054d8c0(ptr noundef nonnull %6)
  %125 = load i32, ptr %5, align 4, !tbaa !8
  %126 = load i32, ptr %4, align 4, !tbaa !8
  %127 = xor i32 %126, %125
  store i32 %127, ptr %4, align 4, !tbaa !8
  %128 = load i32, ptr %32, align 4, !tbaa !11
  %129 = load i32, ptr %9, align 4, !tbaa !11
  %130 = xor i32 %129, %128
  store i32 %130, ptr %9, align 4, !tbaa !11
  %131 = load i32, ptr %34, align 4, !tbaa !12
  %132 = load i32, ptr %11, align 4, !tbaa !12
  %133 = xor i32 %132, %131
  store i32 %133, ptr %11, align 4, !tbaa !12
  %134 = load i32, ptr %36, align 4, !tbaa !13
  %135 = load i32, ptr %13, align 4, !tbaa !13
  %136 = xor i32 %135, %134
  store i32 %136, ptr %13, align 4, !tbaa !13
  store i32 %129, ptr %32, align 4, !tbaa !11
  store i32 %132, ptr %34, align 4, !tbaa !12
  store i32 %135, ptr %36, align 4, !tbaa !13
  %137 = load i32, ptr %6, align 4, !tbaa !8
  %138 = xor i32 %127, %137
  %139 = xor i32 %138, -1
  store i32 %139, ptr %6, align 4, !tbaa !8
  %140 = load i32, ptr %56, align 4, !tbaa !11
  %141 = xor i32 %140, %130
  store i32 %141, ptr %56, align 4, !tbaa !11
  %142 = load i32, ptr %58, align 4, !tbaa !12
  %143 = xor i32 %142, %133
  store i32 %143, ptr %58, align 4, !tbaa !12
  %144 = load i32, ptr %60, align 4, !tbaa !13
  %145 = xor i32 %144, %136
  store i32 %145, ptr %60, align 4, !tbaa !13
  %146 = and i32 %137, %127
  %147 = xor i32 %146, %126
  store i32 %147, ptr %5, align 4, !tbaa !8
  %148 = call i32 @aead_random_generate_32() #3
  %149 = load i32, ptr %5, align 4, !tbaa !8
  %150 = xor i32 %149, %148
  store i32 %150, ptr %5, align 4, !tbaa !8
  %151 = load i32, ptr %56, align 4, !tbaa !11
  %152 = load i32, ptr %4, align 4, !tbaa !8
  %153 = and i32 %152, %151
  %154 = load i32, ptr %32, align 4, !tbaa !11
  %155 = load i32, ptr %9, align 4, !tbaa !11
  %156 = load i32, ptr %6, align 4, !tbaa !8
  %157 = and i32 %156, %155
  %158 = xor i32 %154, %153
  %159 = xor i32 %158, %157
  %160 = xor i32 %159, %148
  store i32 %160, ptr %32, align 4, !tbaa !11
  %161 = call i32 @aead_random_generate_32() #3
  %162 = load i32, ptr %5, align 4, !tbaa !8
  %163 = xor i32 %162, %161
  store i32 %163, ptr %5, align 4, !tbaa !8
  %164 = load i32, ptr %58, align 4, !tbaa !12
  %165 = load i32, ptr %4, align 4, !tbaa !8
  %166 = and i32 %165, %164
  %167 = load i32, ptr %34, align 4, !tbaa !12
  %168 = load i32, ptr %11, align 4, !tbaa !12
  %169 = load i32, ptr %6, align 4, !tbaa !8
  %170 = and i32 %169, %168
  %171 = xor i32 %167, %166
  %172 = xor i32 %171, %170
  %173 = xor i32 %172, %161
  store i32 %173, ptr %34, align 4, !tbaa !12
  %174 = call i32 @aead_random_generate_32() #3
  %175 = load i32, ptr %5, align 4, !tbaa !8
  %176 = xor i32 %175, %174
  store i32 %176, ptr %5, align 4, !tbaa !8
  %177 = load i32, ptr %60, align 4, !tbaa !13
  %178 = load i32, ptr %4, align 4, !tbaa !8
  %179 = and i32 %178, %177
  %180 = load i32, ptr %36, align 4, !tbaa !13
  %181 = load i32, ptr %13, align 4, !tbaa !13
  %182 = load i32, ptr %6, align 4, !tbaa !8
  %183 = and i32 %182, %181
  %184 = xor i32 %180, %179
  %185 = xor i32 %184, %183
  %186 = xor i32 %185, %174
  store i32 %186, ptr %36, align 4, !tbaa !13
  %187 = load i32, ptr %9, align 4, !tbaa !11
  %188 = load i32, ptr %56, align 4, !tbaa !11
  %189 = and i32 %188, %187
  %190 = load i32, ptr %32, align 4, !tbaa !11
  %191 = xor i32 %190, %189
  store i32 %191, ptr %32, align 4, !tbaa !11
  %192 = call i32 @aead_random_generate_32() #3
  %193 = load i32, ptr %32, align 4, !tbaa !11
  %194 = xor i32 %193, %192
  store i32 %194, ptr %32, align 4, !tbaa !11
  %195 = load i32, ptr %58, align 4, !tbaa !12
  %196 = load i32, ptr %9, align 4, !tbaa !11
  %197 = and i32 %196, %195
  %198 = load i32, ptr %34, align 4, !tbaa !12
  %199 = load i32, ptr %11, align 4, !tbaa !12
  %200 = load i32, ptr %56, align 4, !tbaa !11
  %201 = and i32 %200, %199
  %202 = xor i32 %198, %197
  %203 = xor i32 %202, %201
  %204 = xor i32 %203, %192
  store i32 %204, ptr %34, align 4, !tbaa !12
  %205 = call i32 @aead_random_generate_32() #3
  %206 = load i32, ptr %32, align 4, !tbaa !11
  %207 = xor i32 %206, %205
  store i32 %207, ptr %32, align 4, !tbaa !11
  %208 = load i32, ptr %60, align 4, !tbaa !13
  %209 = load i32, ptr %9, align 4, !tbaa !11
  %210 = and i32 %209, %208
  %211 = load i32, ptr %36, align 4, !tbaa !13
  %212 = load i32, ptr %13, align 4, !tbaa !13
  %213 = load i32, ptr %56, align 4, !tbaa !11
  %214 = and i32 %213, %212
  %215 = xor i32 %211, %210
  %216 = xor i32 %215, %214
  %217 = xor i32 %216, %205
  store i32 %217, ptr %36, align 4, !tbaa !13
  %218 = load i32, ptr %11, align 4, !tbaa !12
  %219 = load i32, ptr %58, align 4, !tbaa !12
  %220 = and i32 %219, %218
  %221 = load i32, ptr %34, align 4, !tbaa !12
  %222 = xor i32 %221, %220
  store i32 %222, ptr %34, align 4, !tbaa !12
  %223 = call i32 @aead_random_generate_32() #3
  %224 = load i32, ptr %34, align 4, !tbaa !12
  %225 = xor i32 %224, %223
  store i32 %225, ptr %34, align 4, !tbaa !12
  %226 = load i32, ptr %60, align 4, !tbaa !13
  %227 = load i32, ptr %11, align 4, !tbaa !12
  %228 = and i32 %227, %226
  %229 = load i32, ptr %36, align 4, !tbaa !13
  %230 = load i32, ptr %13, align 4, !tbaa !13
  %231 = load i32, ptr %58, align 4, !tbaa !12
  %232 = and i32 %231, %230
  %233 = and i32 %230, %226
  %234 = xor i32 %229, %228
  %235 = xor i32 %234, %233
  %236 = xor i32 %235, %232
  %237 = xor i32 %236, %223
  store i32 %237, ptr %36, align 4, !tbaa !13
  %238 = load i32, ptr %5, align 4, !tbaa !8
  %239 = load i32, ptr %6, align 4, !tbaa !8
  %240 = and i32 %239, %238
  %241 = load i32, ptr %4, align 4, !tbaa !8
  %242 = xor i32 %241, %240
  store i32 %242, ptr %4, align 4, !tbaa !8
  %243 = call i32 @aead_random_generate_32() #3
  %244 = load i32, ptr %4, align 4, !tbaa !8
  %245 = xor i32 %244, %243
  store i32 %245, ptr %4, align 4, !tbaa !8
  %246 = load i32, ptr %56, align 4, !tbaa !11
  %247 = load i32, ptr %5, align 4, !tbaa !8
  %248 = and i32 %247, %246
  %249 = load i32, ptr %9, align 4, !tbaa !11
  %250 = load i32, ptr %32, align 4, !tbaa !11
  %251 = load i32, ptr %6, align 4, !tbaa !8
  %252 = and i32 %251, %250
  %253 = xor i32 %249, %248
  %254 = xor i32 %253, %252
  %255 = xor i32 %254, %243
  store i32 %255, ptr %9, align 4, !tbaa !11
  %256 = call i32 @aead_random_generate_32() #3
  %257 = load i32, ptr %4, align 4, !tbaa !8
  %258 = xor i32 %257, %256
  store i32 %258, ptr %4, align 4, !tbaa !8
  %259 = load i32, ptr %58, align 4, !tbaa !12
  %260 = load i32, ptr %5, align 4, !tbaa !8
  %261 = and i32 %260, %259
  %262 = load i32, ptr %11, align 4, !tbaa !12
  %263 = load i32, ptr %34, align 4, !tbaa !12
  %264 = load i32, ptr %6, align 4, !tbaa !8
  %265 = and i32 %264, %263
  %266 = xor i32 %262, %261
  %267 = xor i32 %266, %265
  %268 = xor i32 %267, %256
  store i32 %268, ptr %11, align 4, !tbaa !12
  %269 = call i32 @aead_random_generate_32() #3
  %270 = load i32, ptr %4, align 4, !tbaa !8
  %271 = xor i32 %270, %269
  store i32 %271, ptr %4, align 4, !tbaa !8
  %272 = load i32, ptr %60, align 4, !tbaa !13
  %273 = load i32, ptr %5, align 4, !tbaa !8
  %274 = and i32 %273, %272
  %275 = load i32, ptr %13, align 4, !tbaa !13
  %276 = load i32, ptr %36, align 4, !tbaa !13
  %277 = load i32, ptr %6, align 4, !tbaa !8
  %278 = and i32 %277, %276
  %279 = xor i32 %275, %274
  %280 = xor i32 %279, %278
  %281 = xor i32 %280, %269
  store i32 %281, ptr %13, align 4, !tbaa !13
  %282 = load i32, ptr %32, align 4, !tbaa !11
  %283 = load i32, ptr %56, align 4, !tbaa !11
  %284 = and i32 %283, %282
  %285 = load i32, ptr %9, align 4, !tbaa !11
  %286 = xor i32 %285, %284
  store i32 %286, ptr %9, align 4, !tbaa !11
  %287 = call i32 @aead_random_generate_32() #3
  %288 = load i32, ptr %9, align 4, !tbaa !11
  %289 = xor i32 %288, %287
  store i32 %289, ptr %9, align 4, !tbaa !11
  %290 = load i32, ptr %58, align 4, !tbaa !12
  %291 = load i32, ptr %32, align 4, !tbaa !11
  %292 = and i32 %291, %290
  %293 = load i32, ptr %11, align 4, !tbaa !12
  %294 = load i32, ptr %34, align 4, !tbaa !12
  %295 = load i32, ptr %56, align 4, !tbaa !11
  %296 = and i32 %295, %294
  %297 = xor i32 %293, %292
  %298 = xor i32 %297, %296
  %299 = xor i32 %298, %287
  store i32 %299, ptr %11, align 4, !tbaa !12
  %300 = call i32 @aead_random_generate_32() #3
  %301 = load i32, ptr %9, align 4, !tbaa !11
  %302 = xor i32 %301, %300
  store i32 %302, ptr %9, align 4, !tbaa !11
  %303 = load i32, ptr %60, align 4, !tbaa !13
  %304 = load i32, ptr %32, align 4, !tbaa !11
  %305 = and i32 %304, %303
  %306 = load i32, ptr %13, align 4, !tbaa !13
  %307 = load i32, ptr %36, align 4, !tbaa !13
  %308 = load i32, ptr %56, align 4, !tbaa !11
  %309 = and i32 %308, %307
  %310 = xor i32 %306, %305
  %311 = xor i32 %310, %309
  %312 = xor i32 %311, %300
  store i32 %312, ptr %13, align 4, !tbaa !13
  %313 = load i32, ptr %34, align 4, !tbaa !12
  %314 = load i32, ptr %58, align 4, !tbaa !12
  %315 = and i32 %314, %313
  %316 = load i32, ptr %11, align 4, !tbaa !12
  %317 = xor i32 %316, %315
  store i32 %317, ptr %11, align 4, !tbaa !12
  %318 = call i32 @aead_random_generate_32() #3
  %319 = load i32, ptr %11, align 4, !tbaa !12
  %320 = xor i32 %319, %318
  store i32 %320, ptr %11, align 4, !tbaa !12
  %321 = load i32, ptr %60, align 4, !tbaa !13
  %322 = load i32, ptr %34, align 4, !tbaa !12
  %323 = and i32 %322, %321
  %324 = load i32, ptr %13, align 4, !tbaa !13
  %325 = load i32, ptr %36, align 4, !tbaa !13
  %326 = load i32, ptr %58, align 4, !tbaa !12
  %327 = and i32 %326, %325
  %328 = and i32 %325, %321
  %329 = xor i32 %324, %323
  %330 = xor i32 %329, %328
  %331 = xor i32 %330, %327
  %332 = xor i32 %331, %318
  store i32 %332, ptr %13, align 4, !tbaa !13
  %333 = load i32, ptr %4, align 4, !tbaa !8
  %334 = load i32, ptr %5, align 4, !tbaa !8
  %335 = and i32 %334, %333
  %336 = load i32, ptr %6, align 4, !tbaa !8
  %337 = xor i32 %336, %335
  store i32 %337, ptr %6, align 4, !tbaa !8
  %338 = call i32 @aead_random_generate_32() #3
  %339 = load i32, ptr %6, align 4, !tbaa !8
  %340 = xor i32 %339, %338
  store i32 %340, ptr %6, align 4, !tbaa !8
  %341 = load i32, ptr %32, align 4, !tbaa !11
  %342 = load i32, ptr %4, align 4, !tbaa !8
  %343 = and i32 %342, %341
  %344 = load i32, ptr %56, align 4, !tbaa !11
  %345 = load i32, ptr %9, align 4, !tbaa !11
  %346 = load i32, ptr %5, align 4, !tbaa !8
  %347 = and i32 %346, %345
  %348 = xor i32 %344, %343
  %349 = xor i32 %348, %347
  %350 = xor i32 %349, %338
  store i32 %350, ptr %56, align 4, !tbaa !11
  %351 = call i32 @aead_random_generate_32() #3
  %352 = load i32, ptr %6, align 4, !tbaa !8
  %353 = xor i32 %352, %351
  store i32 %353, ptr %6, align 4, !tbaa !8
  %354 = load i32, ptr %34, align 4, !tbaa !12
  %355 = load i32, ptr %4, align 4, !tbaa !8
  %356 = and i32 %355, %354
  %357 = load i32, ptr %58, align 4, !tbaa !12
  %358 = load i32, ptr %11, align 4, !tbaa !12
  %359 = load i32, ptr %5, align 4, !tbaa !8
  %360 = and i32 %359, %358
  %361 = xor i32 %357, %356
  %362 = xor i32 %361, %360
  %363 = xor i32 %362, %351
  store i32 %363, ptr %58, align 4, !tbaa !12
  %364 = call i32 @aead_random_generate_32() #3
  %365 = load i32, ptr %6, align 4, !tbaa !8
  %366 = xor i32 %365, %364
  store i32 %366, ptr %6, align 4, !tbaa !8
  %367 = load i32, ptr %36, align 4, !tbaa !13
  %368 = load i32, ptr %4, align 4, !tbaa !8
  %369 = and i32 %368, %367
  %370 = load i32, ptr %60, align 4, !tbaa !13
  %371 = load i32, ptr %13, align 4, !tbaa !13
  %372 = load i32, ptr %5, align 4, !tbaa !8
  %373 = and i32 %372, %371
  %374 = xor i32 %370, %369
  %375 = xor i32 %374, %373
  %376 = xor i32 %375, %364
  store i32 %376, ptr %60, align 4, !tbaa !13
  %377 = load i32, ptr %9, align 4, !tbaa !11
  %378 = load i32, ptr %32, align 4, !tbaa !11
  %379 = and i32 %378, %377
  %380 = load i32, ptr %56, align 4, !tbaa !11
  %381 = xor i32 %380, %379
  store i32 %381, ptr %56, align 4, !tbaa !11
  %382 = call i32 @aead_random_generate_32() #3
  %383 = load i32, ptr %56, align 4, !tbaa !11
  %384 = xor i32 %383, %382
  store i32 %384, ptr %56, align 4, !tbaa !11
  %385 = load i32, ptr %34, align 4, !tbaa !12
  %386 = load i32, ptr %9, align 4, !tbaa !11
  %387 = and i32 %386, %385
  %388 = load i32, ptr %58, align 4, !tbaa !12
  %389 = load i32, ptr %11, align 4, !tbaa !12
  %390 = load i32, ptr %32, align 4, !tbaa !11
  %391 = and i32 %390, %389
  %392 = xor i32 %388, %387
  %393 = xor i32 %392, %391
  %394 = xor i32 %393, %382
  store i32 %394, ptr %58, align 4, !tbaa !12
  %395 = call i32 @aead_random_generate_32() #3
  %396 = load i32, ptr %56, align 4, !tbaa !11
  %397 = xor i32 %396, %395
  store i32 %397, ptr %56, align 4, !tbaa !11
  %398 = load i32, ptr %36, align 4, !tbaa !13
  %399 = load i32, ptr %9, align 4, !tbaa !11
  %400 = and i32 %399, %398
  %401 = load i32, ptr %60, align 4, !tbaa !13
  %402 = load i32, ptr %13, align 4, !tbaa !13
  %403 = load i32, ptr %32, align 4, !tbaa !11
  %404 = and i32 %403, %402
  %405 = xor i32 %401, %400
  %406 = xor i32 %405, %404
  %407 = xor i32 %406, %395
  store i32 %407, ptr %60, align 4, !tbaa !13
  %408 = load i32, ptr %11, align 4, !tbaa !12
  %409 = load i32, ptr %34, align 4, !tbaa !12
  %410 = and i32 %409, %408
  %411 = load i32, ptr %58, align 4, !tbaa !12
  %412 = xor i32 %411, %410
  store i32 %412, ptr %58, align 4, !tbaa !12
  %413 = call i32 @aead_random_generate_32() #3
  %414 = load i32, ptr %58, align 4, !tbaa !12
  %415 = xor i32 %414, %413
  %416 = load i32, ptr %36, align 4, !tbaa !13
  %417 = load i32, ptr %11, align 4, !tbaa !12
  %418 = and i32 %417, %416
  %419 = load i32, ptr %60, align 4, !tbaa !13
  %420 = load i32, ptr %13, align 4, !tbaa !13
  %421 = load i32, ptr %34, align 4, !tbaa !12
  %422 = and i32 %421, %420
  %423 = and i32 %420, %416
  %424 = xor i32 %419, %418
  %425 = xor i32 %424, %423
  %426 = xor i32 %425, %422
  %427 = xor i32 %426, %413
  %428 = load i32, ptr %6, align 4, !tbaa !8
  %429 = load i32, ptr %5, align 4, !tbaa !8
  %430 = xor i32 %429, %428
  %431 = load i32, ptr %56, align 4, !tbaa !11
  %432 = load i32, ptr %32, align 4, !tbaa !11
  %433 = xor i32 %432, %431
  %434 = xor i32 %421, %415
  %435 = xor i32 %427, %416
  %436 = load i32, ptr %4, align 4, !tbaa !8
  %437 = load i32, ptr %9, align 4, !tbaa !11
  %438 = load i32, ptr %.0120, align 4, !tbaa !8
  %439 = xor i32 %436, %438
  %440 = xor i32 %439, %430
  store i32 %440, ptr %4, align 4, !tbaa !8
  %441 = getelementptr inbounds i8, ptr %.0120, i64 4
  %442 = load i32, ptr %441, align 4, !tbaa !11
  %443 = xor i32 %437, %442
  %444 = xor i32 %443, %433
  store i32 %444, ptr %9, align 4, !tbaa !11
  %445 = getelementptr inbounds i8, ptr %.0120, i64 8
  %446 = load i32, ptr %445, align 4, !tbaa !12
  %447 = xor i32 %417, %446
  %448 = xor i32 %447, %434
  store i32 %448, ptr %11, align 4, !tbaa !12
  %449 = getelementptr inbounds i8, ptr %.0120, i64 12
  %450 = load i32, ptr %449, align 4, !tbaa !13
  %451 = xor i32 %420, %450
  %452 = xor i32 %451, %435
  store i32 %452, ptr %13, align 4, !tbaa !13
  %453 = getelementptr inbounds i8, ptr %.0120, i64 16
  %454 = load i32, ptr %453, align 4, !tbaa !8
  %455 = xor i32 %454, %430
  store i32 %455, ptr %5, align 4, !tbaa !8
  %456 = getelementptr inbounds i8, ptr %.0120, i64 20
  %457 = load i32, ptr %456, align 4, !tbaa !11
  %458 = xor i32 %457, %433
  store i32 %458, ptr %32, align 4, !tbaa !11
  %459 = getelementptr inbounds i8, ptr %.0120, i64 24
  %460 = load i32, ptr %459, align 4, !tbaa !12
  %461 = xor i32 %460, %434
  store i32 %461, ptr %34, align 4, !tbaa !12
  %462 = getelementptr inbounds i8, ptr %.0120, i64 28
  %463 = load i32, ptr %462, align 4, !tbaa !13
  %464 = xor i32 %463, %435
  store i32 %464, ptr %36, align 4, !tbaa !13
  %465 = getelementptr inbounds i8, ptr %.0120, i64 32
  %466 = load i32, ptr %465, align 4, !tbaa !8
  %467 = xor i32 %466, %428
  store i32 %467, ptr %6, align 4, !tbaa !8
  %468 = getelementptr inbounds i8, ptr %.0120, i64 36
  %469 = load i32, ptr %468, align 4, !tbaa !11
  %470 = xor i32 %469, %431
  store i32 %470, ptr %56, align 4, !tbaa !11
  %471 = getelementptr inbounds i8, ptr %.0120, i64 40
  %472 = load i32, ptr %471, align 4, !tbaa !12
  %473 = xor i32 %472, %415
  store i32 %473, ptr %58, align 4, !tbaa !12
  %474 = getelementptr inbounds i8, ptr %.0120, i64 44
  %475 = load i32, ptr %474, align 4, !tbaa !13
  %476 = xor i32 %475, %427
  store i32 %476, ptr %60, align 4, !tbaa !13
  %477 = add nuw nsw i8 %.0118119, 1
  %478 = getelementptr inbounds i8, ptr %.0120, i64 -48
  %exitcond.not = icmp eq i8 %477, 14
  br i1 %exitcond.not, label %479, label %124, !llvm.loop !14

479:                                              ; preds = %124
  %480 = xor i32 %444, %440
  %481 = xor i32 %480, %448
  %482 = xor i32 %481, %452
  %483 = lshr i32 %482, 24
  %484 = trunc nuw i32 %483 to i8
  store i8 %484, ptr %1, align 1, !tbaa !5
  %485 = lshr i32 %482, 16
  %486 = trunc i32 %485 to i8
  %487 = getelementptr inbounds i8, ptr %1, i64 1
  store i8 %486, ptr %487, align 1, !tbaa !5
  %488 = lshr i32 %482, 8
  %489 = trunc i32 %488 to i8
  %490 = getelementptr inbounds i8, ptr %1, i64 2
  store i8 %489, ptr %490, align 1, !tbaa !5
  %491 = trunc i32 %482 to i8
  %492 = getelementptr inbounds i8, ptr %1, i64 3
  store i8 %491, ptr %492, align 1, !tbaa !5
  %493 = xor i32 %458, %455
  %494 = xor i32 %493, %461
  %495 = xor i32 %494, %464
  %496 = lshr i32 %495, 24
  %497 = trunc nuw i32 %496 to i8
  %498 = getelementptr inbounds i8, ptr %1, i64 4
  store i8 %497, ptr %498, align 1, !tbaa !5
  %499 = lshr i32 %495, 16
  %500 = trunc i32 %499 to i8
  %501 = getelementptr inbounds i8, ptr %1, i64 5
  store i8 %500, ptr %501, align 1, !tbaa !5
  %502 = lshr i32 %495, 8
  %503 = trunc i32 %502 to i8
  %504 = getelementptr inbounds i8, ptr %1, i64 6
  store i8 %503, ptr %504, align 1, !tbaa !5
  %505 = trunc i32 %495 to i8
  %506 = getelementptr inbounds i8, ptr %1, i64 7
  store i8 %505, ptr %506, align 1, !tbaa !5
  %507 = xor i32 %470, %467
  %508 = xor i32 %507, %473
  %509 = xor i32 %508, %476
  %510 = lshr i32 %509, 24
  %511 = trunc nuw i32 %510 to i8
  %512 = getelementptr inbounds i8, ptr %1, i64 8
  store i8 %511, ptr %512, align 1, !tbaa !5
  %513 = lshr i32 %509, 16
  %514 = trunc i32 %513 to i8
  %515 = getelementptr inbounds i8, ptr %1, i64 9
  store i8 %514, ptr %515, align 1, !tbaa !5
  %516 = lshr i32 %509, 8
  %517 = trunc i32 %516 to i8
  %518 = getelementptr inbounds i8, ptr %1, i64 10
  store i8 %517, ptr %518, align 1, !tbaa !5
  %519 = trunc i32 %509 to i8
  %520 = getelementptr inbounds i8, ptr %1, i64 11
  store i8 %519, ptr %520, align 1, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #3
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #3
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #3
  ret void
}

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "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 #2 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = !{!9, !10, i64 0}
!9 = !{!"", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12}
!10 = !{!"int", !6, i64 0}
!11 = !{!9, !10, i64 4}
!12 = !{!9, !10, i64 8}
!13 = !{!9, !10, i64 12}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LoopRotatePass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass