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

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

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

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

27:                                               ; preds = %9
  store i32 -1, ptr %10, align 4
  store i32 1, ptr %23, align 4
  br label %673

28:                                               ; preds = %9
  %29 = load i64, ptr %15, align 8, !tbaa !9
  %30 = sub i64 %29, 8
  %31 = load ptr, ptr %12, align 8, !tbaa !5
  store i64 %30, ptr %31, align 8, !tbaa !9
  call void @aead_random_init()
  br label %32

32:                                               ; preds = %28
  %33 = call i32 @aead_random_generate_32()
  %34 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %35 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %34, i32 0, i32 1
  store i32 %33, ptr %35, align 4, !tbaa !11
  %36 = call i32 @aead_random_generate_32()
  %37 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %38 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %37, i32 0, i32 2
  store i32 %36, ptr %38, align 8, !tbaa !14
  %39 = call i32 @aead_random_generate_32()
  %40 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %41 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %40, i32 0, i32 3
  store i32 %39, ptr %41, align 4, !tbaa !15
  %42 = load ptr, ptr %19, align 8, !tbaa !5
  %43 = getelementptr inbounds i8, ptr %42, i64 3
  %44 = load i8, ptr %43, align 1, !tbaa !16
  %45 = zext i8 %44 to i32
  %46 = shl i32 %45, 24
  %47 = load ptr, ptr %19, align 8, !tbaa !5
  %48 = getelementptr inbounds i8, ptr %47, i64 2
  %49 = load i8, ptr %48, align 1, !tbaa !16
  %50 = zext i8 %49 to i32
  %51 = shl i32 %50, 16
  %52 = or i32 %46, %51
  %53 = load ptr, ptr %19, align 8, !tbaa !5
  %54 = getelementptr inbounds i8, ptr %53, i64 1
  %55 = load i8, ptr %54, align 1, !tbaa !16
  %56 = zext i8 %55 to i32
  %57 = shl i32 %56, 8
  %58 = or i32 %52, %57
  %59 = load ptr, ptr %19, align 8, !tbaa !5
  %60 = getelementptr inbounds i8, ptr %59, i64 0
  %61 = load i8, ptr %60, align 1, !tbaa !16
  %62 = zext i8 %61 to i32
  %63 = or i32 %58, %62
  %64 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %65 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %64, i32 0, i32 1
  %66 = load i32, ptr %65, align 4, !tbaa !11
  %67 = xor i32 %63, %66
  %68 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %69 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %68, i32 0, i32 2
  %70 = load i32, ptr %69, align 8, !tbaa !14
  %71 = xor i32 %67, %70
  %72 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %73 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %72, i32 0, i32 3
  %74 = load i32, ptr %73, align 4, !tbaa !15
  %75 = xor i32 %71, %74
  %76 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %77 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %76, i32 0, i32 0
  store i32 %75, ptr %77, align 16, !tbaa !17
  br label %78

78:                                               ; preds = %32
  br label %79

79:                                               ; preds = %78
  br label %80

80:                                               ; preds = %79
  %81 = call i32 @aead_random_generate_32()
  %82 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 1
  %83 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %82, i32 0, i32 1
  store i32 %81, ptr %83, align 4, !tbaa !11
  %84 = call i32 @aead_random_generate_32()
  %85 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 1
  %86 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %85, i32 0, i32 2
  store i32 %84, ptr %86, align 8, !tbaa !14
  %87 = call i32 @aead_random_generate_32()
  %88 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 1
  %89 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %88, i32 0, i32 3
  store i32 %87, ptr %89, align 4, !tbaa !15
  %90 = load ptr, ptr %19, align 8, !tbaa !5
  %91 = getelementptr inbounds i8, ptr %90, i64 4
  %92 = getelementptr inbounds i8, ptr %91, i64 3
  %93 = load i8, ptr %92, align 1, !tbaa !16
  %94 = zext i8 %93 to i32
  %95 = shl i32 %94, 24
  %96 = load ptr, ptr %19, align 8, !tbaa !5
  %97 = getelementptr inbounds i8, ptr %96, i64 4
  %98 = getelementptr inbounds i8, ptr %97, i64 2
  %99 = load i8, ptr %98, align 1, !tbaa !16
  %100 = zext i8 %99 to i32
  %101 = shl i32 %100, 16
  %102 = or i32 %95, %101
  %103 = load ptr, ptr %19, align 8, !tbaa !5
  %104 = getelementptr inbounds i8, ptr %103, i64 4
  %105 = getelementptr inbounds i8, ptr %104, i64 1
  %106 = load i8, ptr %105, align 1, !tbaa !16
  %107 = zext i8 %106 to i32
  %108 = shl i32 %107, 8
  %109 = or i32 %102, %108
  %110 = load ptr, ptr %19, align 8, !tbaa !5
  %111 = getelementptr inbounds i8, ptr %110, i64 4
  %112 = getelementptr inbounds i8, ptr %111, i64 0
  %113 = load i8, ptr %112, align 1, !tbaa !16
  %114 = zext i8 %113 to i32
  %115 = or i32 %109, %114
  %116 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 1
  %117 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %116, i32 0, i32 1
  %118 = load i32, ptr %117, align 4, !tbaa !11
  %119 = xor i32 %115, %118
  %120 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 1
  %121 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %120, i32 0, i32 2
  %122 = load i32, ptr %121, align 8, !tbaa !14
  %123 = xor i32 %119, %122
  %124 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 1
  %125 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %124, i32 0, i32 3
  %126 = load i32, ptr %125, align 4, !tbaa !15
  %127 = xor i32 %123, %126
  %128 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 1
  %129 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %128, i32 0, i32 0
  store i32 %127, ptr %129, align 16, !tbaa !17
  br label %130

130:                                              ; preds = %80
  br label %131

131:                                              ; preds = %130
  br label %132

132:                                              ; preds = %131
  %133 = call i32 @aead_random_generate_32()
  %134 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 2
  %135 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %134, i32 0, i32 1
  store i32 %133, ptr %135, align 4, !tbaa !11
  %136 = call i32 @aead_random_generate_32()
  %137 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 2
  %138 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %137, i32 0, i32 2
  store i32 %136, ptr %138, align 8, !tbaa !14
  %139 = call i32 @aead_random_generate_32()
  %140 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 2
  %141 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %140, i32 0, i32 3
  store i32 %139, ptr %141, align 4, !tbaa !15
  %142 = load ptr, ptr %19, align 8, !tbaa !5
  %143 = getelementptr inbounds i8, ptr %142, i64 8
  %144 = getelementptr inbounds i8, ptr %143, i64 3
  %145 = load i8, ptr %144, align 1, !tbaa !16
  %146 = zext i8 %145 to i32
  %147 = shl i32 %146, 24
  %148 = load ptr, ptr %19, align 8, !tbaa !5
  %149 = getelementptr inbounds i8, ptr %148, i64 8
  %150 = getelementptr inbounds i8, ptr %149, i64 2
  %151 = load i8, ptr %150, align 1, !tbaa !16
  %152 = zext i8 %151 to i32
  %153 = shl i32 %152, 16
  %154 = or i32 %147, %153
  %155 = load ptr, ptr %19, align 8, !tbaa !5
  %156 = getelementptr inbounds i8, ptr %155, i64 8
  %157 = getelementptr inbounds i8, ptr %156, i64 1
  %158 = load i8, ptr %157, align 1, !tbaa !16
  %159 = zext i8 %158 to i32
  %160 = shl i32 %159, 8
  %161 = or i32 %154, %160
  %162 = load ptr, ptr %19, align 8, !tbaa !5
  %163 = getelementptr inbounds i8, ptr %162, i64 8
  %164 = getelementptr inbounds i8, ptr %163, i64 0
  %165 = load i8, ptr %164, align 1, !tbaa !16
  %166 = zext i8 %165 to i32
  %167 = or i32 %161, %166
  %168 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 2
  %169 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %168, i32 0, i32 1
  %170 = load i32, ptr %169, align 4, !tbaa !11
  %171 = xor i32 %167, %170
  %172 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 2
  %173 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %172, i32 0, i32 2
  %174 = load i32, ptr %173, align 8, !tbaa !14
  %175 = xor i32 %171, %174
  %176 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 2
  %177 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %176, i32 0, i32 3
  %178 = load i32, ptr %177, align 4, !tbaa !15
  %179 = xor i32 %175, %178
  %180 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 2
  %181 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %180, i32 0, i32 0
  store i32 %179, ptr %181, align 16, !tbaa !17
  br label %182

182:                                              ; preds = %132
  br label %183

183:                                              ; preds = %182
  br label %184

184:                                              ; preds = %183
  %185 = call i32 @aead_random_generate_32()
  %186 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 3
  %187 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %186, i32 0, i32 1
  store i32 %185, ptr %187, align 4, !tbaa !11
  %188 = call i32 @aead_random_generate_32()
  %189 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 3
  %190 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %189, i32 0, i32 2
  store i32 %188, ptr %190, align 8, !tbaa !14
  %191 = call i32 @aead_random_generate_32()
  %192 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 3
  %193 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %192, i32 0, i32 3
  store i32 %191, ptr %193, align 4, !tbaa !15
  %194 = load ptr, ptr %19, align 8, !tbaa !5
  %195 = getelementptr inbounds i8, ptr %194, i64 12
  %196 = getelementptr inbounds i8, ptr %195, i64 3
  %197 = load i8, ptr %196, align 1, !tbaa !16
  %198 = zext i8 %197 to i32
  %199 = shl i32 %198, 24
  %200 = load ptr, ptr %19, align 8, !tbaa !5
  %201 = getelementptr inbounds i8, ptr %200, i64 12
  %202 = getelementptr inbounds i8, ptr %201, i64 2
  %203 = load i8, ptr %202, align 1, !tbaa !16
  %204 = zext i8 %203 to i32
  %205 = shl i32 %204, 16
  %206 = or i32 %199, %205
  %207 = load ptr, ptr %19, align 8, !tbaa !5
  %208 = getelementptr inbounds i8, ptr %207, i64 12
  %209 = getelementptr inbounds i8, ptr %208, i64 1
  %210 = load i8, ptr %209, align 1, !tbaa !16
  %211 = zext i8 %210 to i32
  %212 = shl i32 %211, 8
  %213 = or i32 %206, %212
  %214 = load ptr, ptr %19, align 8, !tbaa !5
  %215 = getelementptr inbounds i8, ptr %214, i64 12
  %216 = getelementptr inbounds i8, ptr %215, i64 0
  %217 = load i8, ptr %216, align 1, !tbaa !16
  %218 = zext i8 %217 to i32
  %219 = or i32 %213, %218
  %220 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 3
  %221 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %220, i32 0, i32 1
  %222 = load i32, ptr %221, align 4, !tbaa !11
  %223 = xor i32 %219, %222
  %224 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 3
  %225 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %224, i32 0, i32 2
  %226 = load i32, ptr %225, align 8, !tbaa !14
  %227 = xor i32 %223, %226
  %228 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 3
  %229 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %228, i32 0, i32 3
  %230 = load i32, ptr %229, align 4, !tbaa !15
  %231 = xor i32 %227, %230
  %232 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 3
  %233 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %232, i32 0, i32 0
  store i32 %231, ptr %233, align 16, !tbaa !17
  br label %234

234:                                              ; preds = %184
  br label %235

235:                                              ; preds = %234
  br label %236

236:                                              ; preds = %235
  %237 = call i32 @aead_random_generate_32()
  %238 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 4
  %239 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %238, i32 0, i32 1
  store i32 %237, ptr %239, align 4, !tbaa !11
  %240 = call i32 @aead_random_generate_32()
  %241 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 4
  %242 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %241, i32 0, i32 2
  store i32 %240, ptr %242, align 8, !tbaa !14
  %243 = call i32 @aead_random_generate_32()
  %244 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 4
  %245 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %244, i32 0, i32 3
  store i32 %243, ptr %245, align 4, !tbaa !15
  %246 = load ptr, ptr %19, align 8, !tbaa !5
  %247 = getelementptr inbounds i8, ptr %246, i64 16
  %248 = getelementptr inbounds i8, ptr %247, i64 3
  %249 = load i8, ptr %248, align 1, !tbaa !16
  %250 = zext i8 %249 to i32
  %251 = shl i32 %250, 24
  %252 = load ptr, ptr %19, align 8, !tbaa !5
  %253 = getelementptr inbounds i8, ptr %252, i64 16
  %254 = getelementptr inbounds i8, ptr %253, i64 2
  %255 = load i8, ptr %254, align 1, !tbaa !16
  %256 = zext i8 %255 to i32
  %257 = shl i32 %256, 16
  %258 = or i32 %251, %257
  %259 = load ptr, ptr %19, align 8, !tbaa !5
  %260 = getelementptr inbounds i8, ptr %259, i64 16
  %261 = getelementptr inbounds i8, ptr %260, i64 1
  %262 = load i8, ptr %261, align 1, !tbaa !16
  %263 = zext i8 %262 to i32
  %264 = shl i32 %263, 8
  %265 = or i32 %258, %264
  %266 = load ptr, ptr %19, align 8, !tbaa !5
  %267 = getelementptr inbounds i8, ptr %266, i64 16
  %268 = getelementptr inbounds i8, ptr %267, i64 0
  %269 = load i8, ptr %268, align 1, !tbaa !16
  %270 = zext i8 %269 to i32
  %271 = or i32 %265, %270
  %272 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 4
  %273 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %272, i32 0, i32 1
  %274 = load i32, ptr %273, align 4, !tbaa !11
  %275 = xor i32 %271, %274
  %276 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 4
  %277 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %276, i32 0, i32 2
  %278 = load i32, ptr %277, align 8, !tbaa !14
  %279 = xor i32 %275, %278
  %280 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 4
  %281 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %280, i32 0, i32 3
  %282 = load i32, ptr %281, align 4, !tbaa !15
  %283 = xor i32 %279, %282
  %284 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 4
  %285 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %284, i32 0, i32 0
  store i32 %283, ptr %285, align 16, !tbaa !17
  br label %286

286:                                              ; preds = %236
  br label %287

287:                                              ; preds = %286
  br label %288

288:                                              ; preds = %287
  %289 = call i32 @aead_random_generate_32()
  %290 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 5
  %291 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %290, i32 0, i32 1
  store i32 %289, ptr %291, align 4, !tbaa !11
  %292 = call i32 @aead_random_generate_32()
  %293 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 5
  %294 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %293, i32 0, i32 2
  store i32 %292, ptr %294, align 8, !tbaa !14
  %295 = call i32 @aead_random_generate_32()
  %296 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 5
  %297 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %296, i32 0, i32 3
  store i32 %295, ptr %297, align 4, !tbaa !15
  %298 = load ptr, ptr %19, align 8, !tbaa !5
  %299 = getelementptr inbounds i8, ptr %298, i64 20
  %300 = getelementptr inbounds i8, ptr %299, i64 3
  %301 = load i8, ptr %300, align 1, !tbaa !16
  %302 = zext i8 %301 to i32
  %303 = shl i32 %302, 24
  %304 = load ptr, ptr %19, align 8, !tbaa !5
  %305 = getelementptr inbounds i8, ptr %304, i64 20
  %306 = getelementptr inbounds i8, ptr %305, i64 2
  %307 = load i8, ptr %306, align 1, !tbaa !16
  %308 = zext i8 %307 to i32
  %309 = shl i32 %308, 16
  %310 = or i32 %303, %309
  %311 = load ptr, ptr %19, align 8, !tbaa !5
  %312 = getelementptr inbounds i8, ptr %311, i64 20
  %313 = getelementptr inbounds i8, ptr %312, i64 1
  %314 = load i8, ptr %313, align 1, !tbaa !16
  %315 = zext i8 %314 to i32
  %316 = shl i32 %315, 8
  %317 = or i32 %310, %316
  %318 = load ptr, ptr %19, align 8, !tbaa !5
  %319 = getelementptr inbounds i8, ptr %318, i64 20
  %320 = getelementptr inbounds i8, ptr %319, i64 0
  %321 = load i8, ptr %320, align 1, !tbaa !16
  %322 = zext i8 %321 to i32
  %323 = or i32 %317, %322
  %324 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 5
  %325 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %324, i32 0, i32 1
  %326 = load i32, ptr %325, align 4, !tbaa !11
  %327 = xor i32 %323, %326
  %328 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 5
  %329 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %328, i32 0, i32 2
  %330 = load i32, ptr %329, align 8, !tbaa !14
  %331 = xor i32 %327, %330
  %332 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 5
  %333 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %332, i32 0, i32 3
  %334 = load i32, ptr %333, align 4, !tbaa !15
  %335 = xor i32 %331, %334
  %336 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 5
  %337 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %336, i32 0, i32 0
  store i32 %335, ptr %337, align 16, !tbaa !17
  br label %338

338:                                              ; preds = %288
  br label %339

339:                                              ; preds = %338
  br label %340

340:                                              ; preds = %339
  %341 = call i32 @aead_random_generate_32()
  %342 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 6
  %343 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %342, i32 0, i32 1
  store i32 %341, ptr %343, align 4, !tbaa !11
  %344 = call i32 @aead_random_generate_32()
  %345 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 6
  %346 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %345, i32 0, i32 2
  store i32 %344, ptr %346, align 8, !tbaa !14
  %347 = call i32 @aead_random_generate_32()
  %348 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 6
  %349 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %348, i32 0, i32 3
  store i32 %347, ptr %349, align 4, !tbaa !15
  %350 = load ptr, ptr %19, align 8, !tbaa !5
  %351 = getelementptr inbounds i8, ptr %350, i64 3
  %352 = load i8, ptr %351, align 1, !tbaa !16
  %353 = zext i8 %352 to i32
  %354 = shl i32 %353, 24
  %355 = load ptr, ptr %19, align 8, !tbaa !5
  %356 = getelementptr inbounds i8, ptr %355, i64 2
  %357 = load i8, ptr %356, align 1, !tbaa !16
  %358 = zext i8 %357 to i32
  %359 = shl i32 %358, 16
  %360 = or i32 %354, %359
  %361 = load ptr, ptr %19, align 8, !tbaa !5
  %362 = getelementptr inbounds i8, ptr %361, i64 1
  %363 = load i8, ptr %362, align 1, !tbaa !16
  %364 = zext i8 %363 to i32
  %365 = shl i32 %364, 8
  %366 = or i32 %360, %365
  %367 = load ptr, ptr %19, align 8, !tbaa !5
  %368 = getelementptr inbounds i8, ptr %367, i64 0
  %369 = load i8, ptr %368, align 1, !tbaa !16
  %370 = zext i8 %369 to i32
  %371 = or i32 %366, %370
  %372 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 6
  %373 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %372, i32 0, i32 1
  %374 = load i32, ptr %373, align 4, !tbaa !11
  %375 = xor i32 %371, %374
  %376 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 6
  %377 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %376, i32 0, i32 2
  %378 = load i32, ptr %377, align 8, !tbaa !14
  %379 = xor i32 %375, %378
  %380 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 6
  %381 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %380, i32 0, i32 3
  %382 = load i32, ptr %381, align 4, !tbaa !15
  %383 = xor i32 %379, %382
  %384 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 6
  %385 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %384, i32 0, i32 0
  store i32 %383, ptr %385, align 16, !tbaa !17
  br label %386

386:                                              ; preds = %340
  br label %387

387:                                              ; preds = %386
  br label %388

388:                                              ; preds = %387
  %389 = call i32 @aead_random_generate_32()
  %390 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 7
  %391 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %390, i32 0, i32 1
  store i32 %389, ptr %391, align 4, !tbaa !11
  %392 = call i32 @aead_random_generate_32()
  %393 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 7
  %394 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %393, i32 0, i32 2
  store i32 %392, ptr %394, align 8, !tbaa !14
  %395 = call i32 @aead_random_generate_32()
  %396 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 7
  %397 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %396, i32 0, i32 3
  store i32 %395, ptr %397, align 4, !tbaa !15
  %398 = load ptr, ptr %19, align 8, !tbaa !5
  %399 = getelementptr inbounds i8, ptr %398, i64 4
  %400 = getelementptr inbounds i8, ptr %399, i64 3
  %401 = load i8, ptr %400, align 1, !tbaa !16
  %402 = zext i8 %401 to i32
  %403 = shl i32 %402, 24
  %404 = load ptr, ptr %19, align 8, !tbaa !5
  %405 = getelementptr inbounds i8, ptr %404, i64 4
  %406 = getelementptr inbounds i8, ptr %405, i64 2
  %407 = load i8, ptr %406, align 1, !tbaa !16
  %408 = zext i8 %407 to i32
  %409 = shl i32 %408, 16
  %410 = or i32 %403, %409
  %411 = load ptr, ptr %19, align 8, !tbaa !5
  %412 = getelementptr inbounds i8, ptr %411, i64 4
  %413 = getelementptr inbounds i8, ptr %412, i64 1
  %414 = load i8, ptr %413, align 1, !tbaa !16
  %415 = zext i8 %414 to i32
  %416 = shl i32 %415, 8
  %417 = or i32 %410, %416
  %418 = load ptr, ptr %19, align 8, !tbaa !5
  %419 = getelementptr inbounds i8, ptr %418, i64 4
  %420 = getelementptr inbounds i8, ptr %419, i64 0
  %421 = load i8, ptr %420, align 1, !tbaa !16
  %422 = zext i8 %421 to i32
  %423 = or i32 %417, %422
  %424 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 7
  %425 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %424, i32 0, i32 1
  %426 = load i32, ptr %425, align 4, !tbaa !11
  %427 = xor i32 %423, %426
  %428 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 7
  %429 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %428, i32 0, i32 2
  %430 = load i32, ptr %429, align 8, !tbaa !14
  %431 = xor i32 %427, %430
  %432 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 7
  %433 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %432, i32 0, i32 3
  %434 = load i32, ptr %433, align 4, !tbaa !15
  %435 = xor i32 %431, %434
  %436 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 7
  %437 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %436, i32 0, i32 0
  store i32 %435, ptr %437, align 16, !tbaa !17
  br label %438

438:                                              ; preds = %388
  br label %439

439:                                              ; preds = %438
  br label %440

440:                                              ; preds = %439
  %441 = call i32 @aead_random_generate_32()
  %442 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 8
  %443 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %442, i32 0, i32 1
  store i32 %441, ptr %443, align 4, !tbaa !11
  %444 = call i32 @aead_random_generate_32()
  %445 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 8
  %446 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %445, i32 0, i32 2
  store i32 %444, ptr %446, align 8, !tbaa !14
  %447 = call i32 @aead_random_generate_32()
  %448 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 8
  %449 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %448, i32 0, i32 3
  store i32 %447, ptr %449, align 4, !tbaa !15
  %450 = load ptr, ptr %19, align 8, !tbaa !5
  %451 = getelementptr inbounds i8, ptr %450, i64 8
  %452 = getelementptr inbounds i8, ptr %451, i64 3
  %453 = load i8, ptr %452, align 1, !tbaa !16
  %454 = zext i8 %453 to i32
  %455 = shl i32 %454, 24
  %456 = load ptr, ptr %19, align 8, !tbaa !5
  %457 = getelementptr inbounds i8, ptr %456, i64 8
  %458 = getelementptr inbounds i8, ptr %457, i64 2
  %459 = load i8, ptr %458, align 1, !tbaa !16
  %460 = zext i8 %459 to i32
  %461 = shl i32 %460, 16
  %462 = or i32 %455, %461
  %463 = load ptr, ptr %19, align 8, !tbaa !5
  %464 = getelementptr inbounds i8, ptr %463, i64 8
  %465 = getelementptr inbounds i8, ptr %464, i64 1
  %466 = load i8, ptr %465, align 1, !tbaa !16
  %467 = zext i8 %466 to i32
  %468 = shl i32 %467, 8
  %469 = or i32 %462, %468
  %470 = load ptr, ptr %19, align 8, !tbaa !5
  %471 = getelementptr inbounds i8, ptr %470, i64 8
  %472 = getelementptr inbounds i8, ptr %471, i64 0
  %473 = load i8, ptr %472, align 1, !tbaa !16
  %474 = zext i8 %473 to i32
  %475 = or i32 %469, %474
  %476 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 8
  %477 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %476, i32 0, i32 1
  %478 = load i32, ptr %477, align 4, !tbaa !11
  %479 = xor i32 %475, %478
  %480 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 8
  %481 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %480, i32 0, i32 2
  %482 = load i32, ptr %481, align 8, !tbaa !14
  %483 = xor i32 %479, %482
  %484 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 8
  %485 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %484, i32 0, i32 3
  %486 = load i32, ptr %485, align 4, !tbaa !15
  %487 = xor i32 %483, %486
  %488 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 8
  %489 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %488, i32 0, i32 0
  store i32 %487, ptr %489, align 16, !tbaa !17
  br label %490

490:                                              ; preds = %440
  br label %491

491:                                              ; preds = %490
  br label %492

492:                                              ; preds = %491
  %493 = call i32 @aead_random_generate_32()
  %494 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 9
  %495 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %494, i32 0, i32 1
  store i32 %493, ptr %495, align 4, !tbaa !11
  %496 = call i32 @aead_random_generate_32()
  %497 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 9
  %498 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %497, i32 0, i32 2
  store i32 %496, ptr %498, align 8, !tbaa !14
  %499 = call i32 @aead_random_generate_32()
  %500 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 9
  %501 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %500, i32 0, i32 3
  store i32 %499, ptr %501, align 4, !tbaa !15
  %502 = load ptr, ptr %19, align 8, !tbaa !5
  %503 = getelementptr inbounds i8, ptr %502, i64 12
  %504 = getelementptr inbounds i8, ptr %503, i64 3
  %505 = load i8, ptr %504, align 1, !tbaa !16
  %506 = zext i8 %505 to i32
  %507 = shl i32 %506, 24
  %508 = load ptr, ptr %19, align 8, !tbaa !5
  %509 = getelementptr inbounds i8, ptr %508, i64 12
  %510 = getelementptr inbounds i8, ptr %509, i64 2
  %511 = load i8, ptr %510, align 1, !tbaa !16
  %512 = zext i8 %511 to i32
  %513 = shl i32 %512, 16
  %514 = or i32 %507, %513
  %515 = load ptr, ptr %19, align 8, !tbaa !5
  %516 = getelementptr inbounds i8, ptr %515, i64 12
  %517 = getelementptr inbounds i8, ptr %516, i64 1
  %518 = load i8, ptr %517, align 1, !tbaa !16
  %519 = zext i8 %518 to i32
  %520 = shl i32 %519, 8
  %521 = or i32 %514, %520
  %522 = load ptr, ptr %19, align 8, !tbaa !5
  %523 = getelementptr inbounds i8, ptr %522, i64 12
  %524 = getelementptr inbounds i8, ptr %523, i64 0
  %525 = load i8, ptr %524, align 1, !tbaa !16
  %526 = zext i8 %525 to i32
  %527 = or i32 %521, %526
  %528 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 9
  %529 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %528, i32 0, i32 1
  %530 = load i32, ptr %529, align 4, !tbaa !11
  %531 = xor i32 %527, %530
  %532 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 9
  %533 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %532, i32 0, i32 2
  %534 = load i32, ptr %533, align 8, !tbaa !14
  %535 = xor i32 %531, %534
  %536 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 9
  %537 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %536, i32 0, i32 3
  %538 = load i32, ptr %537, align 4, !tbaa !15
  %539 = xor i32 %535, %538
  %540 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 9
  %541 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %540, i32 0, i32 0
  store i32 %539, ptr %541, align 16, !tbaa !17
  br label %542

542:                                              ; preds = %492
  br label %543

543:                                              ; preds = %542
  br label %544

544:                                              ; preds = %543
  %545 = call i32 @aead_random_generate_32()
  %546 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 10
  %547 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %546, i32 0, i32 1
  store i32 %545, ptr %547, align 4, !tbaa !11
  %548 = call i32 @aead_random_generate_32()
  %549 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 10
  %550 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %549, i32 0, i32 2
  store i32 %548, ptr %550, align 8, !tbaa !14
  %551 = call i32 @aead_random_generate_32()
  %552 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 10
  %553 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %552, i32 0, i32 3
  store i32 %551, ptr %553, align 4, !tbaa !15
  %554 = load ptr, ptr %19, align 8, !tbaa !5
  %555 = getelementptr inbounds i8, ptr %554, i64 16
  %556 = getelementptr inbounds i8, ptr %555, i64 3
  %557 = load i8, ptr %556, align 1, !tbaa !16
  %558 = zext i8 %557 to i32
  %559 = shl i32 %558, 24
  %560 = load ptr, ptr %19, align 8, !tbaa !5
  %561 = getelementptr inbounds i8, ptr %560, i64 16
  %562 = getelementptr inbounds i8, ptr %561, i64 2
  %563 = load i8, ptr %562, align 1, !tbaa !16
  %564 = zext i8 %563 to i32
  %565 = shl i32 %564, 16
  %566 = or i32 %559, %565
  %567 = load ptr, ptr %19, align 8, !tbaa !5
  %568 = getelementptr inbounds i8, ptr %567, i64 16
  %569 = getelementptr inbounds i8, ptr %568, i64 1
  %570 = load i8, ptr %569, align 1, !tbaa !16
  %571 = zext i8 %570 to i32
  %572 = shl i32 %571, 8
  %573 = or i32 %566, %572
  %574 = load ptr, ptr %19, align 8, !tbaa !5
  %575 = getelementptr inbounds i8, ptr %574, i64 16
  %576 = getelementptr inbounds i8, ptr %575, i64 0
  %577 = load i8, ptr %576, align 1, !tbaa !16
  %578 = zext i8 %577 to i32
  %579 = or i32 %573, %578
  %580 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 10
  %581 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %580, i32 0, i32 1
  %582 = load i32, ptr %581, align 4, !tbaa !11
  %583 = xor i32 %579, %582
  %584 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 10
  %585 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %584, i32 0, i32 2
  %586 = load i32, ptr %585, align 8, !tbaa !14
  %587 = xor i32 %583, %586
  %588 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 10
  %589 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %588, i32 0, i32 3
  %590 = load i32, ptr %589, align 4, !tbaa !15
  %591 = xor i32 %587, %590
  %592 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 10
  %593 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %592, i32 0, i32 0
  store i32 %591, ptr %593, align 16, !tbaa !17
  br label %594

594:                                              ; preds = %544
  br label %595

595:                                              ; preds = %594
  br label %596

596:                                              ; preds = %595
  %597 = call i32 @aead_random_generate_32()
  %598 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 11
  %599 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %598, i32 0, i32 1
  store i32 %597, ptr %599, align 4, !tbaa !11
  %600 = call i32 @aead_random_generate_32()
  %601 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 11
  %602 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %601, i32 0, i32 2
  store i32 %600, ptr %602, align 8, !tbaa !14
  %603 = call i32 @aead_random_generate_32()
  %604 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 11
  %605 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %604, i32 0, i32 3
  store i32 %603, ptr %605, align 4, !tbaa !15
  %606 = load ptr, ptr %19, align 8, !tbaa !5
  %607 = getelementptr inbounds i8, ptr %606, i64 20
  %608 = getelementptr inbounds i8, ptr %607, i64 3
  %609 = load i8, ptr %608, align 1, !tbaa !16
  %610 = zext i8 %609 to i32
  %611 = shl i32 %610, 24
  %612 = load ptr, ptr %19, align 8, !tbaa !5
  %613 = getelementptr inbounds i8, ptr %612, i64 20
  %614 = getelementptr inbounds i8, ptr %613, i64 2
  %615 = load i8, ptr %614, align 1, !tbaa !16
  %616 = zext i8 %615 to i32
  %617 = shl i32 %616, 16
  %618 = or i32 %611, %617
  %619 = load ptr, ptr %19, align 8, !tbaa !5
  %620 = getelementptr inbounds i8, ptr %619, i64 20
  %621 = getelementptr inbounds i8, ptr %620, i64 1
  %622 = load i8, ptr %621, align 1, !tbaa !16
  %623 = zext i8 %622 to i32
  %624 = shl i32 %623, 8
  %625 = or i32 %618, %624
  %626 = load ptr, ptr %19, align 8, !tbaa !5
  %627 = getelementptr inbounds i8, ptr %626, i64 20
  %628 = getelementptr inbounds i8, ptr %627, i64 0
  %629 = load i8, ptr %628, align 1, !tbaa !16
  %630 = zext i8 %629 to i32
  %631 = or i32 %625, %630
  %632 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 11
  %633 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %632, i32 0, i32 1
  %634 = load i32, ptr %633, align 4, !tbaa !11
  %635 = xor i32 %631, %634
  %636 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 11
  %637 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %636, i32 0, i32 2
  %638 = load i32, ptr %637, align 8, !tbaa !14
  %639 = xor i32 %635, %638
  %640 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 11
  %641 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %640, i32 0, i32 3
  %642 = load i32, ptr %641, align 4, !tbaa !15
  %643 = xor i32 %639, %642
  %644 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 11
  %645 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %644, i32 0, i32 0
  store i32 %643, ptr %645, align 16, !tbaa !17
  br label %646

646:                                              ; preds = %596
  br label %647

647:                                              ; preds = %646
  %648 = getelementptr inbounds [4 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %649 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %650 = load ptr, ptr %18, align 8, !tbaa !5
  call void @tiny_jambu_setup_masked(ptr noundef %648, ptr noundef %649, i32 noundef 12, i32 noundef 9, ptr noundef %650)
  %651 = getelementptr inbounds [4 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %652 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %653 = load ptr, ptr %16, align 8, !tbaa !5
  %654 = load i64, ptr %17, align 8, !tbaa !9
  call void @tiny_jambu_process_ad_masked(ptr noundef %651, ptr noundef %652, i32 noundef 12, ptr noundef %653, i64 noundef %654)
  %655 = getelementptr inbounds [4 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %656 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %657 = load ptr, ptr %11, align 8, !tbaa !5
  %658 = load ptr, ptr %14, align 8, !tbaa !5
  %659 = load ptr, ptr %12, align 8, !tbaa !5
  %660 = load i64, ptr %659, align 8, !tbaa !9
  call void @tiny_jambu_decrypt_masked(ptr noundef %655, ptr noundef %656, i32 noundef 12, i32 noundef 9, ptr noundef %657, ptr noundef %658, i64 noundef %660)
  %661 = getelementptr inbounds [4 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %662 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %21, i64 0, i64 0
  %663 = getelementptr inbounds [8 x i8], ptr %22, i64 0, i64 0
  call void @tiny_jambu_generate_tag_masked(ptr noundef %661, ptr noundef %662, i32 noundef 12, i32 noundef 9, ptr noundef %663)
  %664 = load ptr, ptr %11, align 8, !tbaa !5
  %665 = load ptr, ptr %12, align 8, !tbaa !5
  %666 = load i64, ptr %665, align 8, !tbaa !9
  %667 = getelementptr inbounds [8 x i8], ptr %22, i64 0, i64 0
  %668 = load ptr, ptr %14, align 8, !tbaa !5
  %669 = load ptr, ptr %12, align 8, !tbaa !5
  %670 = load i64, ptr %669, align 8, !tbaa !9
  %671 = getelementptr inbounds i8, ptr %668, i64 %670
  %672 = call i32 @aead_check_tag(ptr noundef %664, i64 noundef %666, ptr noundef %667, ptr noundef %671, i32 noundef 8)
  store i32 %672, ptr %10, align 4
  store i32 1, ptr %23, align 4
  br label %673

673:                                              ; preds = %647, %27
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #3
  call void @llvm.lifetime.end.p0(i64 192, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 64, ptr %20) #3
  %674 = load i32, ptr %10, align 4
  ret i32 %674
}

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

declare void @aead_random_init() #2

declare i32 @aead_random_generate_32() #2

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

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

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

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long long", !7, i64 0}
!11 = !{!12, !13, i64 4}
!12 = !{!"", !13, i64 0, !13, i64 4, !13, i64 8, !13, i64 12}
!13 = !{!"int", !7, i64 0}
!14 = !{!12, !13, i64 8}
!15 = !{!12, !13, i64 12}
!16 = !{!7, !7, i64 0}
!17 = !{!12, !13, i64 0}


; 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: nounwind uwtable
define dso_local i32 @tiny_jambu_192_masked_aead_decrypt(ptr noundef %0, ptr nocapture noundef %1, ptr nocapture noundef readnone %2, ptr noundef %3, i64 noundef %4, ptr noundef %5, i64 noundef %6, ptr noundef %7, ptr nocapture noundef readonly %8) local_unnamed_addr #0 {
  %10 = alloca [4 x %struct.mask_x4_uint32_t], align 16
  %11 = alloca [12 x %struct.mask_x4_uint32_t], align 16
  %12 = alloca [8 x i8], align 1
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %10) #3
  call void @llvm.lifetime.start.p0(i64 192, ptr nonnull %11) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #3
  %13 = icmp ult i64 %4, 8
  br i1 %13, label %156, label %14

14:                                               ; preds = %9
  %15 = add i64 %4, -8
  store i64 %15, ptr %1, align 8, !tbaa !5
  tail call void @aead_random_init() #3
  %16 = tail call i32 @aead_random_generate_32() #3
  %17 = getelementptr inbounds i8, ptr %11, i64 4
  store i32 %16, ptr %17, align 4, !tbaa !9
  %18 = tail call i32 @aead_random_generate_32() #3
  %19 = getelementptr inbounds i8, ptr %11, i64 8
  store i32 %18, ptr %19, align 8, !tbaa !12
  %20 = tail call i32 @aead_random_generate_32() #3
  %21 = getelementptr inbounds i8, ptr %11, i64 12
  store i32 %20, ptr %21, align 4, !tbaa !13
  %22 = load i32, ptr %8, align 1
  %23 = xor i32 %22, %16
  %24 = xor i32 %23, %20
  %25 = xor i32 %24, %18
  store i32 %25, ptr %11, align 16, !tbaa !14
  %26 = tail call i32 @aead_random_generate_32() #3
  %27 = getelementptr inbounds i8, ptr %11, i64 16
  %28 = getelementptr inbounds i8, ptr %11, i64 20
  store i32 %26, ptr %28, align 4, !tbaa !9
  %29 = tail call i32 @aead_random_generate_32() #3
  %30 = getelementptr inbounds i8, ptr %11, i64 24
  store i32 %29, ptr %30, align 8, !tbaa !12
  %31 = tail call i32 @aead_random_generate_32() #3
  %32 = getelementptr inbounds i8, ptr %11, i64 28
  store i32 %31, ptr %32, align 4, !tbaa !13
  %33 = getelementptr inbounds i8, ptr %8, i64 4
  %34 = load i32, ptr %33, align 1
  %35 = xor i32 %34, %26
  %36 = xor i32 %35, %29
  %37 = xor i32 %36, %31
  store i32 %37, ptr %27, align 16, !tbaa !14
  %38 = tail call i32 @aead_random_generate_32() #3
  %39 = getelementptr inbounds i8, ptr %11, i64 32
  %40 = getelementptr inbounds i8, ptr %11, i64 36
  store i32 %38, ptr %40, align 4, !tbaa !9
  %41 = tail call i32 @aead_random_generate_32() #3
  %42 = getelementptr inbounds i8, ptr %11, i64 40
  store i32 %41, ptr %42, align 8, !tbaa !12
  %43 = tail call i32 @aead_random_generate_32() #3
  %44 = getelementptr inbounds i8, ptr %11, i64 44
  store i32 %43, ptr %44, align 4, !tbaa !13
  %45 = getelementptr inbounds i8, ptr %8, i64 8
  %46 = load i32, ptr %45, align 1
  %47 = xor i32 %46, %38
  %48 = xor i32 %47, %41
  %49 = xor i32 %48, %43
  store i32 %49, ptr %39, align 16, !tbaa !14
  %50 = tail call i32 @aead_random_generate_32() #3
  %51 = getelementptr inbounds i8, ptr %11, i64 48
  %52 = getelementptr inbounds i8, ptr %11, i64 52
  store i32 %50, ptr %52, align 4, !tbaa !9
  %53 = tail call i32 @aead_random_generate_32() #3
  %54 = getelementptr inbounds i8, ptr %11, i64 56
  store i32 %53, ptr %54, align 8, !tbaa !12
  %55 = tail call i32 @aead_random_generate_32() #3
  %56 = getelementptr inbounds i8, ptr %11, i64 60
  store i32 %55, ptr %56, align 4, !tbaa !13
  %57 = getelementptr inbounds i8, ptr %8, i64 12
  %58 = load i32, ptr %57, align 1
  %59 = xor i32 %58, %50
  %60 = xor i32 %59, %53
  %61 = xor i32 %60, %55
  store i32 %61, ptr %51, align 16, !tbaa !14
  %62 = tail call i32 @aead_random_generate_32() #3
  %63 = getelementptr inbounds i8, ptr %11, i64 64
  %64 = getelementptr inbounds i8, ptr %11, i64 68
  store i32 %62, ptr %64, align 4, !tbaa !9
  %65 = tail call i32 @aead_random_generate_32() #3
  %66 = getelementptr inbounds i8, ptr %11, i64 72
  store i32 %65, ptr %66, align 8, !tbaa !12
  %67 = tail call i32 @aead_random_generate_32() #3
  %68 = getelementptr inbounds i8, ptr %11, i64 76
  store i32 %67, ptr %68, align 4, !tbaa !13
  %69 = getelementptr inbounds i8, ptr %8, i64 16
  %70 = load i32, ptr %69, align 1
  %71 = xor i32 %70, %62
  %72 = xor i32 %71, %65
  %73 = xor i32 %72, %67
  store i32 %73, ptr %63, align 16, !tbaa !14
  %74 = tail call i32 @aead_random_generate_32() #3
  %75 = getelementptr inbounds i8, ptr %11, i64 80
  %76 = getelementptr inbounds i8, ptr %11, i64 84
  store i32 %74, ptr %76, align 4, !tbaa !9
  %77 = tail call i32 @aead_random_generate_32() #3
  %78 = getelementptr inbounds i8, ptr %11, i64 88
  store i32 %77, ptr %78, align 8, !tbaa !12
  %79 = tail call i32 @aead_random_generate_32() #3
  %80 = getelementptr inbounds i8, ptr %11, i64 92
  store i32 %79, ptr %80, align 4, !tbaa !13
  %81 = getelementptr inbounds i8, ptr %8, i64 20
  %82 = load i32, ptr %81, align 1
  %83 = xor i32 %82, %74
  %84 = xor i32 %83, %77
  %85 = xor i32 %84, %79
  store i32 %85, ptr %75, align 16, !tbaa !14
  %86 = tail call i32 @aead_random_generate_32() #3
  %87 = getelementptr inbounds i8, ptr %11, i64 96
  %88 = getelementptr inbounds i8, ptr %11, i64 100
  store i32 %86, ptr %88, align 4, !tbaa !9
  %89 = tail call i32 @aead_random_generate_32() #3
  %90 = getelementptr inbounds i8, ptr %11, i64 104
  store i32 %89, ptr %90, align 8, !tbaa !12
  %91 = tail call i32 @aead_random_generate_32() #3
  %92 = getelementptr inbounds i8, ptr %11, i64 108
  store i32 %91, ptr %92, align 4, !tbaa !13
  %93 = load i32, ptr %8, align 1
  %94 = xor i32 %93, %86
  %95 = xor i32 %94, %91
  %96 = xor i32 %95, %89
  store i32 %96, ptr %87, align 16, !tbaa !14
  %97 = tail call i32 @aead_random_generate_32() #3
  %98 = getelementptr inbounds i8, ptr %11, i64 112
  %99 = getelementptr inbounds i8, ptr %11, i64 116
  store i32 %97, ptr %99, align 4, !tbaa !9
  %100 = tail call i32 @aead_random_generate_32() #3
  %101 = getelementptr inbounds i8, ptr %11, i64 120
  store i32 %100, ptr %101, align 8, !tbaa !12
  %102 = tail call i32 @aead_random_generate_32() #3
  %103 = getelementptr inbounds i8, ptr %11, i64 124
  store i32 %102, ptr %103, align 4, !tbaa !13
  %104 = load i32, ptr %33, align 1
  %105 = xor i32 %104, %97
  %106 = xor i32 %105, %102
  %107 = xor i32 %106, %100
  store i32 %107, ptr %98, align 16, !tbaa !14
  %108 = tail call i32 @aead_random_generate_32() #3
  %109 = getelementptr inbounds i8, ptr %11, i64 128
  %110 = getelementptr inbounds i8, ptr %11, i64 132
  store i32 %108, ptr %110, align 4, !tbaa !9
  %111 = tail call i32 @aead_random_generate_32() #3
  %112 = getelementptr inbounds i8, ptr %11, i64 136
  store i32 %111, ptr %112, align 8, !tbaa !12
  %113 = tail call i32 @aead_random_generate_32() #3
  %114 = getelementptr inbounds i8, ptr %11, i64 140
  store i32 %113, ptr %114, align 4, !tbaa !13
  %115 = load i32, ptr %45, align 1
  %116 = xor i32 %115, %108
  %117 = xor i32 %116, %113
  %118 = xor i32 %117, %111
  store i32 %118, ptr %109, align 16, !tbaa !14
  %119 = tail call i32 @aead_random_generate_32() #3
  %120 = getelementptr inbounds i8, ptr %11, i64 144
  %121 = getelementptr inbounds i8, ptr %11, i64 148
  store i32 %119, ptr %121, align 4, !tbaa !9
  %122 = tail call i32 @aead_random_generate_32() #3
  %123 = getelementptr inbounds i8, ptr %11, i64 152
  store i32 %122, ptr %123, align 8, !tbaa !12
  %124 = tail call i32 @aead_random_generate_32() #3
  %125 = getelementptr inbounds i8, ptr %11, i64 156
  store i32 %124, ptr %125, align 4, !tbaa !13
  %126 = load i32, ptr %57, align 1
  %127 = xor i32 %126, %119
  %128 = xor i32 %127, %124
  %129 = xor i32 %128, %122
  store i32 %129, ptr %120, align 16, !tbaa !14
  %130 = tail call i32 @aead_random_generate_32() #3
  %131 = getelementptr inbounds i8, ptr %11, i64 160
  %132 = getelementptr inbounds i8, ptr %11, i64 164
  store i32 %130, ptr %132, align 4, !tbaa !9
  %133 = tail call i32 @aead_random_generate_32() #3
  %134 = getelementptr inbounds i8, ptr %11, i64 168
  store i32 %133, ptr %134, align 8, !tbaa !12
  %135 = tail call i32 @aead_random_generate_32() #3
  %136 = getelementptr inbounds i8, ptr %11, i64 172
  store i32 %135, ptr %136, align 4, !tbaa !13
  %137 = load i32, ptr %69, align 1
  %138 = xor i32 %137, %130
  %139 = xor i32 %138, %135
  %140 = xor i32 %139, %133
  store i32 %140, ptr %131, align 16, !tbaa !14
  %141 = tail call i32 @aead_random_generate_32() #3
  %142 = getelementptr inbounds i8, ptr %11, i64 176
  %143 = getelementptr inbounds i8, ptr %11, i64 180
  store i32 %141, ptr %143, align 4, !tbaa !9
  %144 = tail call i32 @aead_random_generate_32() #3
  %145 = getelementptr inbounds i8, ptr %11, i64 184
  store i32 %144, ptr %145, align 8, !tbaa !12
  %146 = tail call i32 @aead_random_generate_32() #3
  %147 = getelementptr inbounds i8, ptr %11, i64 188
  store i32 %146, ptr %147, align 4, !tbaa !13
  %148 = load i32, ptr %81, align 1
  %149 = xor i32 %148, %141
  %150 = xor i32 %149, %146
  %151 = xor i32 %150, %144
  store i32 %151, ptr %142, align 16, !tbaa !14
  call void @tiny_jambu_setup_masked(ptr noundef nonnull %10, ptr noundef nonnull %11, i32 noundef 12, i32 noundef 9, ptr noundef %7)
  call void @tiny_jambu_process_ad_masked(ptr noundef nonnull %10, ptr noundef nonnull %11, i32 noundef 12, ptr noundef %5, i64 noundef %6)
  %152 = load i64, ptr %1, align 8, !tbaa !5
  call void @tiny_jambu_decrypt_masked(ptr noundef nonnull %10, ptr noundef nonnull %11, i32 noundef 12, i32 noundef 9, ptr noundef %0, ptr noundef %3, i64 noundef %152)
  call void @tiny_jambu_generate_tag_masked(ptr noundef nonnull %10, ptr noundef nonnull %11, i32 noundef 12, i32 noundef 9, ptr noundef nonnull %12)
  %153 = load i64, ptr %1, align 8, !tbaa !5
  %154 = getelementptr inbounds i8, ptr %3, i64 %153
  %155 = call i32 @aead_check_tag(ptr noundef %0, i64 noundef %153, ptr noundef nonnull %12, ptr noundef %154, i32 noundef 8) #3
  br label %156

156:                                              ; preds = %9, %14
  %.0 = phi i32 [ %155, %14 ], [ -1, %9 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #3
  call void @llvm.lifetime.end.p0(i64 192, ptr nonnull %11) #3
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %10) #3
  ret i32 %.0
}

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

declare void @aead_random_init() local_unnamed_addr #2

declare i32 @aead_random_generate_32() local_unnamed_addr #2

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

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

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

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"long long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !11, i64 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 = !{!10, !11, i64 0}


; Effective O3 passes: AggressiveInstCombinePass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass