; 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_encrypt(ptr noundef %0, ptr noundef %1, ptr noundef %2, i64 noundef %3, ptr noundef %4, i64 noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8) #0 {
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i64, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i64, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca [4 x %struct.mask_x4_uint32_t], align 16
  %20 = alloca [12 x %struct.mask_x4_uint32_t], align 16
  store ptr %0, ptr %10, align 8, !tbaa !5
  store ptr %1, ptr %11, align 8, !tbaa !5
  store ptr %2, ptr %12, align 8, !tbaa !5
  store i64 %3, ptr %13, align 8, !tbaa !9
  store ptr %4, ptr %14, align 8, !tbaa !5
  store i64 %5, ptr %15, align 8, !tbaa !9
  store ptr %6, ptr %16, align 8, !tbaa !5
  store ptr %7, ptr %17, align 8, !tbaa !5
  store ptr %8, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 64, ptr %19) #3
  call void @llvm.lifetime.start.p0(i64 192, ptr %20) #3
  %21 = load ptr, ptr %16, align 8, !tbaa !5
  %22 = load i64, ptr %13, align 8, !tbaa !9
  %23 = add i64 %22, 8
  %24 = load ptr, ptr %11, align 8, !tbaa !5
  store i64 %23, ptr %24, align 8, !tbaa !9
  call void @aead_random_init()
  br label %25

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

71:                                               ; preds = %25
  br label %72

72:                                               ; preds = %71
  br label %73

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

123:                                              ; preds = %73
  br label %124

124:                                              ; preds = %123
  br label %125

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

175:                                              ; preds = %125
  br label %176

176:                                              ; preds = %175
  br label %177

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

227:                                              ; preds = %177
  br label %228

228:                                              ; preds = %227
  br label %229

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

279:                                              ; preds = %229
  br label %280

280:                                              ; preds = %279
  br label %281

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

331:                                              ; preds = %281
  br label %332

332:                                              ; preds = %331
  br label %333

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

379:                                              ; preds = %333
  br label %380

380:                                              ; preds = %379
  br label %381

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

431:                                              ; preds = %381
  br label %432

432:                                              ; preds = %431
  br label %433

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

483:                                              ; preds = %433
  br label %484

484:                                              ; preds = %483
  br label %485

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

535:                                              ; preds = %485
  br label %536

536:                                              ; preds = %535
  br label %537

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

587:                                              ; preds = %537
  br label %588

588:                                              ; preds = %587
  br label %589

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

639:                                              ; preds = %589
  br label %640

640:                                              ; preds = %639
  %641 = getelementptr inbounds [4 x %struct.mask_x4_uint32_t], ptr %19, i64 0, i64 0
  %642 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %643 = load ptr, ptr %17, align 8, !tbaa !5
  call void @tiny_jambu_setup_masked(ptr noundef %641, ptr noundef %642, i32 noundef 12, i32 noundef 9, ptr noundef %643)
  %644 = getelementptr inbounds [4 x %struct.mask_x4_uint32_t], ptr %19, i64 0, i64 0
  %645 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %646 = load ptr, ptr %14, align 8, !tbaa !5
  %647 = load i64, ptr %15, align 8, !tbaa !9
  call void @tiny_jambu_process_ad_masked(ptr noundef %644, ptr noundef %645, i32 noundef 12, ptr noundef %646, i64 noundef %647)
  %648 = getelementptr inbounds [4 x %struct.mask_x4_uint32_t], ptr %19, i64 0, i64 0
  %649 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %650 = load ptr, ptr %10, align 8, !tbaa !5
  %651 = load ptr, ptr %12, align 8, !tbaa !5
  %652 = load i64, ptr %13, align 8, !tbaa !9
  call void @tiny_jambu_encrypt_masked(ptr noundef %648, ptr noundef %649, i32 noundef 12, i32 noundef 9, ptr noundef %650, ptr noundef %651, i64 noundef %652)
  %653 = getelementptr inbounds [4 x %struct.mask_x4_uint32_t], ptr %19, i64 0, i64 0
  %654 = getelementptr inbounds [12 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %655 = load ptr, ptr %10, align 8, !tbaa !5
  %656 = load i64, ptr %13, align 8, !tbaa !9
  %657 = getelementptr inbounds i8, ptr %655, i64 %656
  call void @tiny_jambu_generate_tag_masked(ptr noundef %653, ptr noundef %654, i32 noundef 12, i32 noundef 9, ptr noundef %657)
  call void @llvm.lifetime.end.p0(i64 192, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 64, ptr %19) #3
  ret i32 0
}

; 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_encrypt_masked(ptr noundef, ptr noundef, i32 noundef, i32 noundef, ptr 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

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

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