; LLVM IR from rweather/lightweight-crypto :: src/combined (ascon128-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.ascon_masked_state_t = type { [5 x %struct.mask_x4_uint64_t] }
%struct.mask_x4_uint64_t = type { i64, i64, i64, i64 }

; Function Attrs: nounwind uwtable
define dso_local i32 @ascon80pq_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 %struct.ascon_masked_state_t, align 8
  %20 = alloca i64, align 8
  %21 = alloca i64, align 8
  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 160, ptr %19) #3
  %22 = load ptr, ptr %16, align 8, !tbaa !5
  %23 = load i64, ptr %13, align 8, !tbaa !9
  %24 = add i64 %23, 16
  %25 = load ptr, ptr %11, align 8, !tbaa !5
  store i64 %24, ptr %25, align 8, !tbaa !9
  call void @aead_random_init()
  br label %26

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

81:                                               ; preds = %26
  br label %82

82:                                               ; preds = %81
  br label %83

83:                                               ; preds = %82
  %84 = call i64 @aead_random_generate_64()
  %85 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %86 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %85, i64 0, i64 1
  %87 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %86, i32 0, i32 1
  store i64 %84, ptr %87, align 8, !tbaa !11
  %88 = call i64 @aead_random_generate_64()
  %89 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %90 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %89, i64 0, i64 1
  %91 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %90, i32 0, i32 2
  store i64 %88, ptr %91, align 8, !tbaa !14
  %92 = call i64 @aead_random_generate_64()
  %93 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %94 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %93, i64 0, i64 1
  %95 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %94, i32 0, i32 3
  store i64 %92, ptr %95, align 8, !tbaa !15
  %96 = load ptr, ptr %18, align 8, !tbaa !5
  %97 = getelementptr inbounds i8, ptr %96, i64 4
  %98 = getelementptr inbounds i8, ptr %97, i64 0
  %99 = load i8, ptr %98, align 1, !tbaa !16
  %100 = zext i8 %99 to i64
  %101 = shl i64 %100, 56
  %102 = load ptr, ptr %18, align 8, !tbaa !5
  %103 = getelementptr inbounds i8, ptr %102, i64 4
  %104 = getelementptr inbounds i8, ptr %103, i64 1
  %105 = load i8, ptr %104, align 1, !tbaa !16
  %106 = zext i8 %105 to i64
  %107 = shl i64 %106, 48
  %108 = or i64 %101, %107
  %109 = load ptr, ptr %18, align 8, !tbaa !5
  %110 = getelementptr inbounds i8, ptr %109, i64 4
  %111 = getelementptr inbounds i8, ptr %110, i64 2
  %112 = load i8, ptr %111, align 1, !tbaa !16
  %113 = zext i8 %112 to i64
  %114 = shl i64 %113, 40
  %115 = or i64 %108, %114
  %116 = load ptr, ptr %18, align 8, !tbaa !5
  %117 = getelementptr inbounds i8, ptr %116, i64 4
  %118 = getelementptr inbounds i8, ptr %117, i64 3
  %119 = load i8, ptr %118, align 1, !tbaa !16
  %120 = zext i8 %119 to i64
  %121 = shl i64 %120, 32
  %122 = or i64 %115, %121
  %123 = load ptr, ptr %18, align 8, !tbaa !5
  %124 = getelementptr inbounds i8, ptr %123, i64 4
  %125 = getelementptr inbounds i8, ptr %124, i64 4
  %126 = load i8, ptr %125, align 1, !tbaa !16
  %127 = zext i8 %126 to i64
  %128 = shl i64 %127, 24
  %129 = or i64 %122, %128
  %130 = load ptr, ptr %18, align 8, !tbaa !5
  %131 = getelementptr inbounds i8, ptr %130, i64 4
  %132 = getelementptr inbounds i8, ptr %131, i64 5
  %133 = load i8, ptr %132, align 1, !tbaa !16
  %134 = zext i8 %133 to i64
  %135 = shl i64 %134, 16
  %136 = or i64 %129, %135
  %137 = load ptr, ptr %18, align 8, !tbaa !5
  %138 = getelementptr inbounds i8, ptr %137, i64 4
  %139 = getelementptr inbounds i8, ptr %138, i64 6
  %140 = load i8, ptr %139, align 1, !tbaa !16
  %141 = zext i8 %140 to i64
  %142 = shl i64 %141, 8
  %143 = or i64 %136, %142
  %144 = load ptr, ptr %18, align 8, !tbaa !5
  %145 = getelementptr inbounds i8, ptr %144, i64 4
  %146 = getelementptr inbounds i8, ptr %145, i64 7
  %147 = load i8, ptr %146, align 1, !tbaa !16
  %148 = zext i8 %147 to i64
  %149 = or i64 %143, %148
  %150 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %151 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %150, i64 0, i64 1
  %152 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %151, i32 0, i32 1
  %153 = load i64, ptr %152, align 8, !tbaa !11
  %154 = xor i64 %149, %153
  %155 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %156 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %155, i64 0, i64 1
  %157 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %156, i32 0, i32 2
  %158 = load i64, ptr %157, align 8, !tbaa !14
  %159 = xor i64 %154, %158
  %160 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %161 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %160, i64 0, i64 1
  %162 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %161, i32 0, i32 3
  %163 = load i64, ptr %162, align 8, !tbaa !15
  %164 = xor i64 %159, %163
  %165 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %166 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %165, i64 0, i64 1
  %167 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %166, i32 0, i32 0
  store i64 %164, ptr %167, align 8, !tbaa !17
  br label %168

168:                                              ; preds = %83
  br label %169

169:                                              ; preds = %168
  br label %170

170:                                              ; preds = %169
  %171 = call i64 @aead_random_generate_64()
  %172 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %173 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %172, i64 0, i64 2
  %174 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %173, i32 0, i32 1
  store i64 %171, ptr %174, align 8, !tbaa !11
  %175 = call i64 @aead_random_generate_64()
  %176 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %177 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %176, i64 0, i64 2
  %178 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %177, i32 0, i32 2
  store i64 %175, ptr %178, align 8, !tbaa !14
  %179 = call i64 @aead_random_generate_64()
  %180 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %181 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %180, i64 0, i64 2
  %182 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %181, i32 0, i32 3
  store i64 %179, ptr %182, align 8, !tbaa !15
  %183 = load ptr, ptr %18, align 8, !tbaa !5
  %184 = getelementptr inbounds i8, ptr %183, i64 12
  %185 = getelementptr inbounds i8, ptr %184, i64 0
  %186 = load i8, ptr %185, align 1, !tbaa !16
  %187 = zext i8 %186 to i64
  %188 = shl i64 %187, 56
  %189 = load ptr, ptr %18, align 8, !tbaa !5
  %190 = getelementptr inbounds i8, ptr %189, i64 12
  %191 = getelementptr inbounds i8, ptr %190, i64 1
  %192 = load i8, ptr %191, align 1, !tbaa !16
  %193 = zext i8 %192 to i64
  %194 = shl i64 %193, 48
  %195 = or i64 %188, %194
  %196 = load ptr, ptr %18, align 8, !tbaa !5
  %197 = getelementptr inbounds i8, ptr %196, i64 12
  %198 = getelementptr inbounds i8, ptr %197, i64 2
  %199 = load i8, ptr %198, align 1, !tbaa !16
  %200 = zext i8 %199 to i64
  %201 = shl i64 %200, 40
  %202 = or i64 %195, %201
  %203 = load ptr, ptr %18, align 8, !tbaa !5
  %204 = getelementptr inbounds i8, ptr %203, i64 12
  %205 = getelementptr inbounds i8, ptr %204, i64 3
  %206 = load i8, ptr %205, align 1, !tbaa !16
  %207 = zext i8 %206 to i64
  %208 = shl i64 %207, 32
  %209 = or i64 %202, %208
  %210 = load ptr, ptr %18, align 8, !tbaa !5
  %211 = getelementptr inbounds i8, ptr %210, i64 12
  %212 = getelementptr inbounds i8, ptr %211, i64 4
  %213 = load i8, ptr %212, align 1, !tbaa !16
  %214 = zext i8 %213 to i64
  %215 = shl i64 %214, 24
  %216 = or i64 %209, %215
  %217 = load ptr, ptr %18, align 8, !tbaa !5
  %218 = getelementptr inbounds i8, ptr %217, i64 12
  %219 = getelementptr inbounds i8, ptr %218, i64 5
  %220 = load i8, ptr %219, align 1, !tbaa !16
  %221 = zext i8 %220 to i64
  %222 = shl i64 %221, 16
  %223 = or i64 %216, %222
  %224 = load ptr, ptr %18, align 8, !tbaa !5
  %225 = getelementptr inbounds i8, ptr %224, i64 12
  %226 = getelementptr inbounds i8, ptr %225, i64 6
  %227 = load i8, ptr %226, align 1, !tbaa !16
  %228 = zext i8 %227 to i64
  %229 = shl i64 %228, 8
  %230 = or i64 %223, %229
  %231 = load ptr, ptr %18, align 8, !tbaa !5
  %232 = getelementptr inbounds i8, ptr %231, i64 12
  %233 = getelementptr inbounds i8, ptr %232, i64 7
  %234 = load i8, ptr %233, align 1, !tbaa !16
  %235 = zext i8 %234 to i64
  %236 = or i64 %230, %235
  %237 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %238 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %237, i64 0, i64 2
  %239 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %238, i32 0, i32 1
  %240 = load i64, ptr %239, align 8, !tbaa !11
  %241 = xor i64 %236, %240
  %242 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %243 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %242, i64 0, i64 2
  %244 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %243, i32 0, i32 2
  %245 = load i64, ptr %244, align 8, !tbaa !14
  %246 = xor i64 %241, %245
  %247 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %248 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %247, i64 0, i64 2
  %249 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %248, i32 0, i32 3
  %250 = load i64, ptr %249, align 8, !tbaa !15
  %251 = xor i64 %246, %250
  %252 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %253 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %252, i64 0, i64 2
  %254 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %253, i32 0, i32 0
  store i64 %251, ptr %254, align 8, !tbaa !17
  br label %255

255:                                              ; preds = %170
  br label %256

256:                                              ; preds = %255
  br label %257

257:                                              ; preds = %256
  %258 = call i64 @aead_random_generate_64()
  %259 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %260 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %259, i64 0, i64 3
  %261 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %260, i32 0, i32 1
  store i64 %258, ptr %261, align 8, !tbaa !11
  %262 = call i64 @aead_random_generate_64()
  %263 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %264 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %263, i64 0, i64 3
  %265 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %264, i32 0, i32 2
  store i64 %262, ptr %265, align 8, !tbaa !14
  %266 = call i64 @aead_random_generate_64()
  %267 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %268 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %267, i64 0, i64 3
  %269 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %268, i32 0, i32 3
  store i64 %266, ptr %269, align 8, !tbaa !15
  %270 = load ptr, ptr %17, align 8, !tbaa !5
  %271 = getelementptr inbounds i8, ptr %270, i64 0
  %272 = load i8, ptr %271, align 1, !tbaa !16
  %273 = zext i8 %272 to i64
  %274 = shl i64 %273, 56
  %275 = load ptr, ptr %17, align 8, !tbaa !5
  %276 = getelementptr inbounds i8, ptr %275, i64 1
  %277 = load i8, ptr %276, align 1, !tbaa !16
  %278 = zext i8 %277 to i64
  %279 = shl i64 %278, 48
  %280 = or i64 %274, %279
  %281 = load ptr, ptr %17, align 8, !tbaa !5
  %282 = getelementptr inbounds i8, ptr %281, i64 2
  %283 = load i8, ptr %282, align 1, !tbaa !16
  %284 = zext i8 %283 to i64
  %285 = shl i64 %284, 40
  %286 = or i64 %280, %285
  %287 = load ptr, ptr %17, align 8, !tbaa !5
  %288 = getelementptr inbounds i8, ptr %287, i64 3
  %289 = load i8, ptr %288, align 1, !tbaa !16
  %290 = zext i8 %289 to i64
  %291 = shl i64 %290, 32
  %292 = or i64 %286, %291
  %293 = load ptr, ptr %17, align 8, !tbaa !5
  %294 = getelementptr inbounds i8, ptr %293, i64 4
  %295 = load i8, ptr %294, align 1, !tbaa !16
  %296 = zext i8 %295 to i64
  %297 = shl i64 %296, 24
  %298 = or i64 %292, %297
  %299 = load ptr, ptr %17, align 8, !tbaa !5
  %300 = getelementptr inbounds i8, ptr %299, i64 5
  %301 = load i8, ptr %300, align 1, !tbaa !16
  %302 = zext i8 %301 to i64
  %303 = shl i64 %302, 16
  %304 = or i64 %298, %303
  %305 = load ptr, ptr %17, align 8, !tbaa !5
  %306 = getelementptr inbounds i8, ptr %305, i64 6
  %307 = load i8, ptr %306, align 1, !tbaa !16
  %308 = zext i8 %307 to i64
  %309 = shl i64 %308, 8
  %310 = or i64 %304, %309
  %311 = load ptr, ptr %17, align 8, !tbaa !5
  %312 = getelementptr inbounds i8, ptr %311, i64 7
  %313 = load i8, ptr %312, align 1, !tbaa !16
  %314 = zext i8 %313 to i64
  %315 = or i64 %310, %314
  %316 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %317 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %316, i64 0, i64 3
  %318 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %317, i32 0, i32 1
  %319 = load i64, ptr %318, align 8, !tbaa !11
  %320 = xor i64 %315, %319
  %321 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %322 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %321, i64 0, i64 3
  %323 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %322, i32 0, i32 2
  %324 = load i64, ptr %323, align 8, !tbaa !14
  %325 = xor i64 %320, %324
  %326 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %327 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %326, i64 0, i64 3
  %328 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %327, i32 0, i32 3
  %329 = load i64, ptr %328, align 8, !tbaa !15
  %330 = xor i64 %325, %329
  %331 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %332 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %331, i64 0, i64 3
  %333 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %332, i32 0, i32 0
  store i64 %330, ptr %333, align 8, !tbaa !17
  br label %334

334:                                              ; preds = %257
  br label %335

335:                                              ; preds = %334
  br label %336

336:                                              ; preds = %335
  %337 = call i64 @aead_random_generate_64()
  %338 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %339 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %338, i64 0, i64 4
  %340 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %339, i32 0, i32 1
  store i64 %337, ptr %340, align 8, !tbaa !11
  %341 = call i64 @aead_random_generate_64()
  %342 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %343 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %342, i64 0, i64 4
  %344 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %343, i32 0, i32 2
  store i64 %341, ptr %344, align 8, !tbaa !14
  %345 = call i64 @aead_random_generate_64()
  %346 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %347 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %346, i64 0, i64 4
  %348 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %347, i32 0, i32 3
  store i64 %345, ptr %348, align 8, !tbaa !15
  %349 = load ptr, ptr %17, align 8, !tbaa !5
  %350 = getelementptr inbounds i8, ptr %349, i64 8
  %351 = getelementptr inbounds i8, ptr %350, i64 0
  %352 = load i8, ptr %351, align 1, !tbaa !16
  %353 = zext i8 %352 to i64
  %354 = shl i64 %353, 56
  %355 = load ptr, ptr %17, align 8, !tbaa !5
  %356 = getelementptr inbounds i8, ptr %355, i64 8
  %357 = getelementptr inbounds i8, ptr %356, i64 1
  %358 = load i8, ptr %357, align 1, !tbaa !16
  %359 = zext i8 %358 to i64
  %360 = shl i64 %359, 48
  %361 = or i64 %354, %360
  %362 = load ptr, ptr %17, align 8, !tbaa !5
  %363 = getelementptr inbounds i8, ptr %362, i64 8
  %364 = getelementptr inbounds i8, ptr %363, i64 2
  %365 = load i8, ptr %364, align 1, !tbaa !16
  %366 = zext i8 %365 to i64
  %367 = shl i64 %366, 40
  %368 = or i64 %361, %367
  %369 = load ptr, ptr %17, align 8, !tbaa !5
  %370 = getelementptr inbounds i8, ptr %369, i64 8
  %371 = getelementptr inbounds i8, ptr %370, i64 3
  %372 = load i8, ptr %371, align 1, !tbaa !16
  %373 = zext i8 %372 to i64
  %374 = shl i64 %373, 32
  %375 = or i64 %368, %374
  %376 = load ptr, ptr %17, align 8, !tbaa !5
  %377 = getelementptr inbounds i8, ptr %376, i64 8
  %378 = getelementptr inbounds i8, ptr %377, i64 4
  %379 = load i8, ptr %378, align 1, !tbaa !16
  %380 = zext i8 %379 to i64
  %381 = shl i64 %380, 24
  %382 = or i64 %375, %381
  %383 = load ptr, ptr %17, align 8, !tbaa !5
  %384 = getelementptr inbounds i8, ptr %383, i64 8
  %385 = getelementptr inbounds i8, ptr %384, i64 5
  %386 = load i8, ptr %385, align 1, !tbaa !16
  %387 = zext i8 %386 to i64
  %388 = shl i64 %387, 16
  %389 = or i64 %382, %388
  %390 = load ptr, ptr %17, align 8, !tbaa !5
  %391 = getelementptr inbounds i8, ptr %390, i64 8
  %392 = getelementptr inbounds i8, ptr %391, i64 6
  %393 = load i8, ptr %392, align 1, !tbaa !16
  %394 = zext i8 %393 to i64
  %395 = shl i64 %394, 8
  %396 = or i64 %389, %395
  %397 = load ptr, ptr %17, align 8, !tbaa !5
  %398 = getelementptr inbounds i8, ptr %397, i64 8
  %399 = getelementptr inbounds i8, ptr %398, i64 7
  %400 = load i8, ptr %399, align 1, !tbaa !16
  %401 = zext i8 %400 to i64
  %402 = or i64 %396, %401
  %403 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %404 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %403, i64 0, i64 4
  %405 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %404, i32 0, i32 1
  %406 = load i64, ptr %405, align 8, !tbaa !11
  %407 = xor i64 %402, %406
  %408 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %409 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %408, i64 0, i64 4
  %410 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %409, i32 0, i32 2
  %411 = load i64, ptr %410, align 8, !tbaa !14
  %412 = xor i64 %407, %411
  %413 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %414 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %413, i64 0, i64 4
  %415 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %414, i32 0, i32 3
  %416 = load i64, ptr %415, align 8, !tbaa !15
  %417 = xor i64 %412, %416
  %418 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %419 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %418, i64 0, i64 4
  %420 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %419, i32 0, i32 0
  store i64 %417, ptr %420, align 8, !tbaa !17
  br label %421

421:                                              ; preds = %336
  br label %422

422:                                              ; preds = %421
  call void @ascon_permute_masked(ptr noundef %19, i8 noundef zeroext 0)
  br label %423

423:                                              ; preds = %422
  %424 = load ptr, ptr %18, align 8, !tbaa !5
  %425 = getelementptr inbounds i8, ptr %424, i64 0
  %426 = load i8, ptr %425, align 1, !tbaa !16
  %427 = zext i8 %426 to i32
  %428 = shl i32 %427, 24
  %429 = load ptr, ptr %18, align 8, !tbaa !5
  %430 = getelementptr inbounds i8, ptr %429, i64 1
  %431 = load i8, ptr %430, align 1, !tbaa !16
  %432 = zext i8 %431 to i32
  %433 = shl i32 %432, 16
  %434 = or i32 %428, %433
  %435 = load ptr, ptr %18, align 8, !tbaa !5
  %436 = getelementptr inbounds i8, ptr %435, i64 2
  %437 = load i8, ptr %436, align 1, !tbaa !16
  %438 = zext i8 %437 to i32
  %439 = shl i32 %438, 8
  %440 = or i32 %434, %439
  %441 = load ptr, ptr %18, align 8, !tbaa !5
  %442 = getelementptr inbounds i8, ptr %441, i64 3
  %443 = load i8, ptr %442, align 1, !tbaa !16
  %444 = zext i8 %443 to i32
  %445 = or i32 %440, %444
  %446 = zext i32 %445 to i64
  %447 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %448 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %447, i64 0, i64 2
  %449 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %448, i32 0, i32 0
  %450 = load i64, ptr %449, align 8, !tbaa !17
  %451 = xor i64 %450, %446
  store i64 %451, ptr %449, align 8, !tbaa !17
  br label %452

452:                                              ; preds = %423
  br label %453

453:                                              ; preds = %452
  br label %454

454:                                              ; preds = %453
  %455 = load ptr, ptr %18, align 8, !tbaa !5
  %456 = getelementptr inbounds i8, ptr %455, i64 4
  %457 = getelementptr inbounds i8, ptr %456, i64 0
  %458 = load i8, ptr %457, align 1, !tbaa !16
  %459 = zext i8 %458 to i64
  %460 = shl i64 %459, 56
  %461 = load ptr, ptr %18, align 8, !tbaa !5
  %462 = getelementptr inbounds i8, ptr %461, i64 4
  %463 = getelementptr inbounds i8, ptr %462, i64 1
  %464 = load i8, ptr %463, align 1, !tbaa !16
  %465 = zext i8 %464 to i64
  %466 = shl i64 %465, 48
  %467 = or i64 %460, %466
  %468 = load ptr, ptr %18, align 8, !tbaa !5
  %469 = getelementptr inbounds i8, ptr %468, i64 4
  %470 = getelementptr inbounds i8, ptr %469, i64 2
  %471 = load i8, ptr %470, align 1, !tbaa !16
  %472 = zext i8 %471 to i64
  %473 = shl i64 %472, 40
  %474 = or i64 %467, %473
  %475 = load ptr, ptr %18, align 8, !tbaa !5
  %476 = getelementptr inbounds i8, ptr %475, i64 4
  %477 = getelementptr inbounds i8, ptr %476, i64 3
  %478 = load i8, ptr %477, align 1, !tbaa !16
  %479 = zext i8 %478 to i64
  %480 = shl i64 %479, 32
  %481 = or i64 %474, %480
  %482 = load ptr, ptr %18, align 8, !tbaa !5
  %483 = getelementptr inbounds i8, ptr %482, i64 4
  %484 = getelementptr inbounds i8, ptr %483, i64 4
  %485 = load i8, ptr %484, align 1, !tbaa !16
  %486 = zext i8 %485 to i64
  %487 = shl i64 %486, 24
  %488 = or i64 %481, %487
  %489 = load ptr, ptr %18, align 8, !tbaa !5
  %490 = getelementptr inbounds i8, ptr %489, i64 4
  %491 = getelementptr inbounds i8, ptr %490, i64 5
  %492 = load i8, ptr %491, align 1, !tbaa !16
  %493 = zext i8 %492 to i64
  %494 = shl i64 %493, 16
  %495 = or i64 %488, %494
  %496 = load ptr, ptr %18, align 8, !tbaa !5
  %497 = getelementptr inbounds i8, ptr %496, i64 4
  %498 = getelementptr inbounds i8, ptr %497, i64 6
  %499 = load i8, ptr %498, align 1, !tbaa !16
  %500 = zext i8 %499 to i64
  %501 = shl i64 %500, 8
  %502 = or i64 %495, %501
  %503 = load ptr, ptr %18, align 8, !tbaa !5
  %504 = getelementptr inbounds i8, ptr %503, i64 4
  %505 = getelementptr inbounds i8, ptr %504, i64 7
  %506 = load i8, ptr %505, align 1, !tbaa !16
  %507 = zext i8 %506 to i64
  %508 = or i64 %502, %507
  %509 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %510 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %509, i64 0, i64 3
  %511 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %510, i32 0, i32 0
  %512 = load i64, ptr %511, align 8, !tbaa !17
  %513 = xor i64 %512, %508
  store i64 %513, ptr %511, align 8, !tbaa !17
  br label %514

514:                                              ; preds = %454
  br label %515

515:                                              ; preds = %514
  br label %516

516:                                              ; preds = %515
  %517 = load ptr, ptr %18, align 8, !tbaa !5
  %518 = getelementptr inbounds i8, ptr %517, i64 12
  %519 = getelementptr inbounds i8, ptr %518, i64 0
  %520 = load i8, ptr %519, align 1, !tbaa !16
  %521 = zext i8 %520 to i64
  %522 = shl i64 %521, 56
  %523 = load ptr, ptr %18, align 8, !tbaa !5
  %524 = getelementptr inbounds i8, ptr %523, i64 12
  %525 = getelementptr inbounds i8, ptr %524, i64 1
  %526 = load i8, ptr %525, align 1, !tbaa !16
  %527 = zext i8 %526 to i64
  %528 = shl i64 %527, 48
  %529 = or i64 %522, %528
  %530 = load ptr, ptr %18, align 8, !tbaa !5
  %531 = getelementptr inbounds i8, ptr %530, i64 12
  %532 = getelementptr inbounds i8, ptr %531, i64 2
  %533 = load i8, ptr %532, align 1, !tbaa !16
  %534 = zext i8 %533 to i64
  %535 = shl i64 %534, 40
  %536 = or i64 %529, %535
  %537 = load ptr, ptr %18, align 8, !tbaa !5
  %538 = getelementptr inbounds i8, ptr %537, i64 12
  %539 = getelementptr inbounds i8, ptr %538, i64 3
  %540 = load i8, ptr %539, align 1, !tbaa !16
  %541 = zext i8 %540 to i64
  %542 = shl i64 %541, 32
  %543 = or i64 %536, %542
  %544 = load ptr, ptr %18, align 8, !tbaa !5
  %545 = getelementptr inbounds i8, ptr %544, i64 12
  %546 = getelementptr inbounds i8, ptr %545, i64 4
  %547 = load i8, ptr %546, align 1, !tbaa !16
  %548 = zext i8 %547 to i64
  %549 = shl i64 %548, 24
  %550 = or i64 %543, %549
  %551 = load ptr, ptr %18, align 8, !tbaa !5
  %552 = getelementptr inbounds i8, ptr %551, i64 12
  %553 = getelementptr inbounds i8, ptr %552, i64 5
  %554 = load i8, ptr %553, align 1, !tbaa !16
  %555 = zext i8 %554 to i64
  %556 = shl i64 %555, 16
  %557 = or i64 %550, %556
  %558 = load ptr, ptr %18, align 8, !tbaa !5
  %559 = getelementptr inbounds i8, ptr %558, i64 12
  %560 = getelementptr inbounds i8, ptr %559, i64 6
  %561 = load i8, ptr %560, align 1, !tbaa !16
  %562 = zext i8 %561 to i64
  %563 = shl i64 %562, 8
  %564 = or i64 %557, %563
  %565 = load ptr, ptr %18, align 8, !tbaa !5
  %566 = getelementptr inbounds i8, ptr %565, i64 12
  %567 = getelementptr inbounds i8, ptr %566, i64 7
  %568 = load i8, ptr %567, align 1, !tbaa !16
  %569 = zext i8 %568 to i64
  %570 = or i64 %564, %569
  %571 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %572 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %571, i64 0, i64 4
  %573 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %572, i32 0, i32 0
  %574 = load i64, ptr %573, align 8, !tbaa !17
  %575 = xor i64 %574, %570
  store i64 %575, ptr %573, align 8, !tbaa !17
  br label %576

576:                                              ; preds = %516
  br label %577

577:                                              ; preds = %576
  %578 = load i64, ptr %15, align 8, !tbaa !9
  %579 = icmp ugt i64 %578, 0
  br i1 %579, label %580, label %583

580:                                              ; preds = %577
  %581 = load ptr, ptr %14, align 8, !tbaa !5
  %582 = load i64, ptr %15, align 8, !tbaa !9
  call void @ascon_absorb_masked_8(ptr noundef %19, ptr noundef %581, i64 noundef %582, i8 noundef zeroext 6)
  br label %583

583:                                              ; preds = %580, %577
  br label %584

584:                                              ; preds = %583
  %585 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %586 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %585, i64 0, i64 4
  %587 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %586, i32 0, i32 0
  %588 = load i64, ptr %587, align 8, !tbaa !17
  %589 = xor i64 %588, 1
  store i64 %589, ptr %587, align 8, !tbaa !17
  br label %590

590:                                              ; preds = %584
  br label %591

591:                                              ; preds = %590
  %592 = load ptr, ptr %10, align 8, !tbaa !5
  %593 = load ptr, ptr %12, align 8, !tbaa !5
  %594 = load i64, ptr %13, align 8, !tbaa !9
  call void @ascon_encrypt_masked_8(ptr noundef %19, ptr noundef %592, ptr noundef %593, i64 noundef %594, i8 noundef zeroext 6)
  br label %595

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

647:                                              ; preds = %595
  br label %648

648:                                              ; preds = %647
  br label %649

649:                                              ; preds = %648
  %650 = load ptr, ptr %18, align 8, !tbaa !5
  %651 = getelementptr inbounds i8, ptr %650, i64 8
  %652 = getelementptr inbounds i8, ptr %651, i64 0
  %653 = load i8, ptr %652, align 1, !tbaa !16
  %654 = zext i8 %653 to i64
  %655 = shl i64 %654, 56
  %656 = load ptr, ptr %18, align 8, !tbaa !5
  %657 = getelementptr inbounds i8, ptr %656, i64 8
  %658 = getelementptr inbounds i8, ptr %657, i64 1
  %659 = load i8, ptr %658, align 1, !tbaa !16
  %660 = zext i8 %659 to i64
  %661 = shl i64 %660, 48
  %662 = or i64 %655, %661
  %663 = load ptr, ptr %18, align 8, !tbaa !5
  %664 = getelementptr inbounds i8, ptr %663, i64 8
  %665 = getelementptr inbounds i8, ptr %664, i64 2
  %666 = load i8, ptr %665, align 1, !tbaa !16
  %667 = zext i8 %666 to i64
  %668 = shl i64 %667, 40
  %669 = or i64 %662, %668
  %670 = load ptr, ptr %18, align 8, !tbaa !5
  %671 = getelementptr inbounds i8, ptr %670, i64 8
  %672 = getelementptr inbounds i8, ptr %671, i64 3
  %673 = load i8, ptr %672, align 1, !tbaa !16
  %674 = zext i8 %673 to i64
  %675 = shl i64 %674, 32
  %676 = or i64 %669, %675
  %677 = load ptr, ptr %18, align 8, !tbaa !5
  %678 = getelementptr inbounds i8, ptr %677, i64 8
  %679 = getelementptr inbounds i8, ptr %678, i64 4
  %680 = load i8, ptr %679, align 1, !tbaa !16
  %681 = zext i8 %680 to i64
  %682 = shl i64 %681, 24
  %683 = or i64 %676, %682
  %684 = load ptr, ptr %18, align 8, !tbaa !5
  %685 = getelementptr inbounds i8, ptr %684, i64 8
  %686 = getelementptr inbounds i8, ptr %685, i64 5
  %687 = load i8, ptr %686, align 1, !tbaa !16
  %688 = zext i8 %687 to i64
  %689 = shl i64 %688, 16
  %690 = or i64 %683, %689
  %691 = load ptr, ptr %18, align 8, !tbaa !5
  %692 = getelementptr inbounds i8, ptr %691, i64 8
  %693 = getelementptr inbounds i8, ptr %692, i64 6
  %694 = load i8, ptr %693, align 1, !tbaa !16
  %695 = zext i8 %694 to i64
  %696 = shl i64 %695, 8
  %697 = or i64 %690, %696
  %698 = load ptr, ptr %18, align 8, !tbaa !5
  %699 = getelementptr inbounds i8, ptr %698, i64 8
  %700 = getelementptr inbounds i8, ptr %699, i64 7
  %701 = load i8, ptr %700, align 1, !tbaa !16
  %702 = zext i8 %701 to i64
  %703 = or i64 %697, %702
  %704 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %705 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %704, i64 0, i64 2
  %706 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %705, i32 0, i32 0
  %707 = load i64, ptr %706, align 8, !tbaa !17
  %708 = xor i64 %707, %703
  store i64 %708, ptr %706, align 8, !tbaa !17
  br label %709

709:                                              ; preds = %649
  br label %710

710:                                              ; preds = %709
  br label %711

711:                                              ; preds = %710
  %712 = load ptr, ptr %18, align 8, !tbaa !5
  %713 = getelementptr inbounds i8, ptr %712, i64 16
  %714 = getelementptr inbounds i8, ptr %713, i64 0
  %715 = load i8, ptr %714, align 1, !tbaa !16
  %716 = zext i8 %715 to i32
  %717 = shl i32 %716, 24
  %718 = load ptr, ptr %18, align 8, !tbaa !5
  %719 = getelementptr inbounds i8, ptr %718, i64 16
  %720 = getelementptr inbounds i8, ptr %719, i64 1
  %721 = load i8, ptr %720, align 1, !tbaa !16
  %722 = zext i8 %721 to i32
  %723 = shl i32 %722, 16
  %724 = or i32 %717, %723
  %725 = load ptr, ptr %18, align 8, !tbaa !5
  %726 = getelementptr inbounds i8, ptr %725, i64 16
  %727 = getelementptr inbounds i8, ptr %726, i64 2
  %728 = load i8, ptr %727, align 1, !tbaa !16
  %729 = zext i8 %728 to i32
  %730 = shl i32 %729, 8
  %731 = or i32 %724, %730
  %732 = load ptr, ptr %18, align 8, !tbaa !5
  %733 = getelementptr inbounds i8, ptr %732, i64 16
  %734 = getelementptr inbounds i8, ptr %733, i64 3
  %735 = load i8, ptr %734, align 1, !tbaa !16
  %736 = zext i8 %735 to i32
  %737 = or i32 %731, %736
  %738 = zext i32 %737 to i64
  %739 = shl i64 %738, 32
  %740 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %741 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %740, i64 0, i64 3
  %742 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %741, i32 0, i32 0
  %743 = load i64, ptr %742, align 8, !tbaa !17
  %744 = xor i64 %743, %739
  store i64 %744, ptr %742, align 8, !tbaa !17
  br label %745

745:                                              ; preds = %711
  br label %746

746:                                              ; preds = %745
  call void @ascon_permute_masked(ptr noundef %19, i8 noundef zeroext 0)
  br label %747

747:                                              ; preds = %746
  %748 = load ptr, ptr %18, align 8, !tbaa !5
  %749 = getelementptr inbounds i8, ptr %748, i64 4
  %750 = getelementptr inbounds i8, ptr %749, i64 0
  %751 = load i8, ptr %750, align 1, !tbaa !16
  %752 = zext i8 %751 to i64
  %753 = shl i64 %752, 56
  %754 = load ptr, ptr %18, align 8, !tbaa !5
  %755 = getelementptr inbounds i8, ptr %754, i64 4
  %756 = getelementptr inbounds i8, ptr %755, i64 1
  %757 = load i8, ptr %756, align 1, !tbaa !16
  %758 = zext i8 %757 to i64
  %759 = shl i64 %758, 48
  %760 = or i64 %753, %759
  %761 = load ptr, ptr %18, align 8, !tbaa !5
  %762 = getelementptr inbounds i8, ptr %761, i64 4
  %763 = getelementptr inbounds i8, ptr %762, i64 2
  %764 = load i8, ptr %763, align 1, !tbaa !16
  %765 = zext i8 %764 to i64
  %766 = shl i64 %765, 40
  %767 = or i64 %760, %766
  %768 = load ptr, ptr %18, align 8, !tbaa !5
  %769 = getelementptr inbounds i8, ptr %768, i64 4
  %770 = getelementptr inbounds i8, ptr %769, i64 3
  %771 = load i8, ptr %770, align 1, !tbaa !16
  %772 = zext i8 %771 to i64
  %773 = shl i64 %772, 32
  %774 = or i64 %767, %773
  %775 = load ptr, ptr %18, align 8, !tbaa !5
  %776 = getelementptr inbounds i8, ptr %775, i64 4
  %777 = getelementptr inbounds i8, ptr %776, i64 4
  %778 = load i8, ptr %777, align 1, !tbaa !16
  %779 = zext i8 %778 to i64
  %780 = shl i64 %779, 24
  %781 = or i64 %774, %780
  %782 = load ptr, ptr %18, align 8, !tbaa !5
  %783 = getelementptr inbounds i8, ptr %782, i64 4
  %784 = getelementptr inbounds i8, ptr %783, i64 5
  %785 = load i8, ptr %784, align 1, !tbaa !16
  %786 = zext i8 %785 to i64
  %787 = shl i64 %786, 16
  %788 = or i64 %781, %787
  %789 = load ptr, ptr %18, align 8, !tbaa !5
  %790 = getelementptr inbounds i8, ptr %789, i64 4
  %791 = getelementptr inbounds i8, ptr %790, i64 6
  %792 = load i8, ptr %791, align 1, !tbaa !16
  %793 = zext i8 %792 to i64
  %794 = shl i64 %793, 8
  %795 = or i64 %788, %794
  %796 = load ptr, ptr %18, align 8, !tbaa !5
  %797 = getelementptr inbounds i8, ptr %796, i64 4
  %798 = getelementptr inbounds i8, ptr %797, i64 7
  %799 = load i8, ptr %798, align 1, !tbaa !16
  %800 = zext i8 %799 to i64
  %801 = or i64 %795, %800
  %802 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %803 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %802, i64 0, i64 3
  %804 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %803, i32 0, i32 0
  %805 = load i64, ptr %804, align 8, !tbaa !17
  %806 = xor i64 %805, %801
  store i64 %806, ptr %804, align 8, !tbaa !17
  br label %807

807:                                              ; preds = %747
  br label %808

808:                                              ; preds = %807
  br label %809

809:                                              ; preds = %808
  %810 = load ptr, ptr %18, align 8, !tbaa !5
  %811 = getelementptr inbounds i8, ptr %810, i64 12
  %812 = getelementptr inbounds i8, ptr %811, i64 0
  %813 = load i8, ptr %812, align 1, !tbaa !16
  %814 = zext i8 %813 to i64
  %815 = shl i64 %814, 56
  %816 = load ptr, ptr %18, align 8, !tbaa !5
  %817 = getelementptr inbounds i8, ptr %816, i64 12
  %818 = getelementptr inbounds i8, ptr %817, i64 1
  %819 = load i8, ptr %818, align 1, !tbaa !16
  %820 = zext i8 %819 to i64
  %821 = shl i64 %820, 48
  %822 = or i64 %815, %821
  %823 = load ptr, ptr %18, align 8, !tbaa !5
  %824 = getelementptr inbounds i8, ptr %823, i64 12
  %825 = getelementptr inbounds i8, ptr %824, i64 2
  %826 = load i8, ptr %825, align 1, !tbaa !16
  %827 = zext i8 %826 to i64
  %828 = shl i64 %827, 40
  %829 = or i64 %822, %828
  %830 = load ptr, ptr %18, align 8, !tbaa !5
  %831 = getelementptr inbounds i8, ptr %830, i64 12
  %832 = getelementptr inbounds i8, ptr %831, i64 3
  %833 = load i8, ptr %832, align 1, !tbaa !16
  %834 = zext i8 %833 to i64
  %835 = shl i64 %834, 32
  %836 = or i64 %829, %835
  %837 = load ptr, ptr %18, align 8, !tbaa !5
  %838 = getelementptr inbounds i8, ptr %837, i64 12
  %839 = getelementptr inbounds i8, ptr %838, i64 4
  %840 = load i8, ptr %839, align 1, !tbaa !16
  %841 = zext i8 %840 to i64
  %842 = shl i64 %841, 24
  %843 = or i64 %836, %842
  %844 = load ptr, ptr %18, align 8, !tbaa !5
  %845 = getelementptr inbounds i8, ptr %844, i64 12
  %846 = getelementptr inbounds i8, ptr %845, i64 5
  %847 = load i8, ptr %846, align 1, !tbaa !16
  %848 = zext i8 %847 to i64
  %849 = shl i64 %848, 16
  %850 = or i64 %843, %849
  %851 = load ptr, ptr %18, align 8, !tbaa !5
  %852 = getelementptr inbounds i8, ptr %851, i64 12
  %853 = getelementptr inbounds i8, ptr %852, i64 6
  %854 = load i8, ptr %853, align 1, !tbaa !16
  %855 = zext i8 %854 to i64
  %856 = shl i64 %855, 8
  %857 = or i64 %850, %856
  %858 = load ptr, ptr %18, align 8, !tbaa !5
  %859 = getelementptr inbounds i8, ptr %858, i64 12
  %860 = getelementptr inbounds i8, ptr %859, i64 7
  %861 = load i8, ptr %860, align 1, !tbaa !16
  %862 = zext i8 %861 to i64
  %863 = or i64 %857, %862
  %864 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %865 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %864, i64 0, i64 4
  %866 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %865, i32 0, i32 0
  %867 = load i64, ptr %866, align 8, !tbaa !17
  %868 = xor i64 %867, %863
  store i64 %868, ptr %866, align 8, !tbaa !17
  br label %869

869:                                              ; preds = %809
  br label %870

870:                                              ; preds = %869
  br label %871

871:                                              ; preds = %870
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  %872 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %873 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %872, i64 0, i64 3
  %874 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %873, i32 0, i32 0
  %875 = load i64, ptr %874, align 8, !tbaa !17
  %876 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %877 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %876, i64 0, i64 3
  %878 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %877, i32 0, i32 1
  %879 = load i64, ptr %878, align 8, !tbaa !11
  %880 = xor i64 %875, %879
  %881 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %882 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %881, i64 0, i64 3
  %883 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %882, i32 0, i32 2
  %884 = load i64, ptr %883, align 8, !tbaa !14
  %885 = xor i64 %880, %884
  %886 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %887 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %886, i64 0, i64 3
  %888 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %887, i32 0, i32 3
  %889 = load i64, ptr %888, align 8, !tbaa !15
  %890 = xor i64 %885, %889
  store i64 %890, ptr %20, align 8, !tbaa !18
  %891 = load i64, ptr %20, align 8, !tbaa !18
  %892 = lshr i64 %891, 56
  %893 = trunc i64 %892 to i8
  %894 = load ptr, ptr %10, align 8, !tbaa !5
  %895 = load i64, ptr %13, align 8, !tbaa !9
  %896 = getelementptr inbounds i8, ptr %894, i64 %895
  %897 = getelementptr inbounds i8, ptr %896, i64 0
  store i8 %893, ptr %897, align 1, !tbaa !16
  %898 = load i64, ptr %20, align 8, !tbaa !18
  %899 = lshr i64 %898, 48
  %900 = trunc i64 %899 to i8
  %901 = load ptr, ptr %10, align 8, !tbaa !5
  %902 = load i64, ptr %13, align 8, !tbaa !9
  %903 = getelementptr inbounds i8, ptr %901, i64 %902
  %904 = getelementptr inbounds i8, ptr %903, i64 1
  store i8 %900, ptr %904, align 1, !tbaa !16
  %905 = load i64, ptr %20, align 8, !tbaa !18
  %906 = lshr i64 %905, 40
  %907 = trunc i64 %906 to i8
  %908 = load ptr, ptr %10, align 8, !tbaa !5
  %909 = load i64, ptr %13, align 8, !tbaa !9
  %910 = getelementptr inbounds i8, ptr %908, i64 %909
  %911 = getelementptr inbounds i8, ptr %910, i64 2
  store i8 %907, ptr %911, align 1, !tbaa !16
  %912 = load i64, ptr %20, align 8, !tbaa !18
  %913 = lshr i64 %912, 32
  %914 = trunc i64 %913 to i8
  %915 = load ptr, ptr %10, align 8, !tbaa !5
  %916 = load i64, ptr %13, align 8, !tbaa !9
  %917 = getelementptr inbounds i8, ptr %915, i64 %916
  %918 = getelementptr inbounds i8, ptr %917, i64 3
  store i8 %914, ptr %918, align 1, !tbaa !16
  %919 = load i64, ptr %20, align 8, !tbaa !18
  %920 = lshr i64 %919, 24
  %921 = trunc i64 %920 to i8
  %922 = load ptr, ptr %10, align 8, !tbaa !5
  %923 = load i64, ptr %13, align 8, !tbaa !9
  %924 = getelementptr inbounds i8, ptr %922, i64 %923
  %925 = getelementptr inbounds i8, ptr %924, i64 4
  store i8 %921, ptr %925, align 1, !tbaa !16
  %926 = load i64, ptr %20, align 8, !tbaa !18
  %927 = lshr i64 %926, 16
  %928 = trunc i64 %927 to i8
  %929 = load ptr, ptr %10, align 8, !tbaa !5
  %930 = load i64, ptr %13, align 8, !tbaa !9
  %931 = getelementptr inbounds i8, ptr %929, i64 %930
  %932 = getelementptr inbounds i8, ptr %931, i64 5
  store i8 %928, ptr %932, align 1, !tbaa !16
  %933 = load i64, ptr %20, align 8, !tbaa !18
  %934 = lshr i64 %933, 8
  %935 = trunc i64 %934 to i8
  %936 = load ptr, ptr %10, align 8, !tbaa !5
  %937 = load i64, ptr %13, align 8, !tbaa !9
  %938 = getelementptr inbounds i8, ptr %936, i64 %937
  %939 = getelementptr inbounds i8, ptr %938, i64 6
  store i8 %935, ptr %939, align 1, !tbaa !16
  %940 = load i64, ptr %20, align 8, !tbaa !18
  %941 = trunc i64 %940 to i8
  %942 = load ptr, ptr %10, align 8, !tbaa !5
  %943 = load i64, ptr %13, align 8, !tbaa !9
  %944 = getelementptr inbounds i8, ptr %942, i64 %943
  %945 = getelementptr inbounds i8, ptr %944, i64 7
  store i8 %941, ptr %945, align 1, !tbaa !16
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  br label %946

946:                                              ; preds = %871
  br label %947

947:                                              ; preds = %946
  br label %948

948:                                              ; preds = %947
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #3
  %949 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %950 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %949, i64 0, i64 4
  %951 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %950, i32 0, i32 0
  %952 = load i64, ptr %951, align 8, !tbaa !17
  %953 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %954 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %953, i64 0, i64 4
  %955 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %954, i32 0, i32 1
  %956 = load i64, ptr %955, align 8, !tbaa !11
  %957 = xor i64 %952, %956
  %958 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %959 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %958, i64 0, i64 4
  %960 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %959, i32 0, i32 2
  %961 = load i64, ptr %960, align 8, !tbaa !14
  %962 = xor i64 %957, %961
  %963 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %964 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %963, i64 0, i64 4
  %965 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %964, i32 0, i32 3
  %966 = load i64, ptr %965, align 8, !tbaa !15
  %967 = xor i64 %962, %966
  store i64 %967, ptr %21, align 8, !tbaa !18
  %968 = load i64, ptr %21, align 8, !tbaa !18
  %969 = lshr i64 %968, 56
  %970 = trunc i64 %969 to i8
  %971 = load ptr, ptr %10, align 8, !tbaa !5
  %972 = load i64, ptr %13, align 8, !tbaa !9
  %973 = getelementptr inbounds i8, ptr %971, i64 %972
  %974 = getelementptr inbounds i8, ptr %973, i64 8
  %975 = getelementptr inbounds i8, ptr %974, i64 0
  store i8 %970, ptr %975, align 1, !tbaa !16
  %976 = load i64, ptr %21, align 8, !tbaa !18
  %977 = lshr i64 %976, 48
  %978 = trunc i64 %977 to i8
  %979 = load ptr, ptr %10, align 8, !tbaa !5
  %980 = load i64, ptr %13, align 8, !tbaa !9
  %981 = getelementptr inbounds i8, ptr %979, i64 %980
  %982 = getelementptr inbounds i8, ptr %981, i64 8
  %983 = getelementptr inbounds i8, ptr %982, i64 1
  store i8 %978, ptr %983, align 1, !tbaa !16
  %984 = load i64, ptr %21, align 8, !tbaa !18
  %985 = lshr i64 %984, 40
  %986 = trunc i64 %985 to i8
  %987 = load ptr, ptr %10, align 8, !tbaa !5
  %988 = load i64, ptr %13, align 8, !tbaa !9
  %989 = getelementptr inbounds i8, ptr %987, i64 %988
  %990 = getelementptr inbounds i8, ptr %989, i64 8
  %991 = getelementptr inbounds i8, ptr %990, i64 2
  store i8 %986, ptr %991, align 1, !tbaa !16
  %992 = load i64, ptr %21, align 8, !tbaa !18
  %993 = lshr i64 %992, 32
  %994 = trunc i64 %993 to i8
  %995 = load ptr, ptr %10, align 8, !tbaa !5
  %996 = load i64, ptr %13, align 8, !tbaa !9
  %997 = getelementptr inbounds i8, ptr %995, i64 %996
  %998 = getelementptr inbounds i8, ptr %997, i64 8
  %999 = getelementptr inbounds i8, ptr %998, i64 3
  store i8 %994, ptr %999, align 1, !tbaa !16
  %1000 = load i64, ptr %21, align 8, !tbaa !18
  %1001 = lshr i64 %1000, 24
  %1002 = trunc i64 %1001 to i8
  %1003 = load ptr, ptr %10, align 8, !tbaa !5
  %1004 = load i64, ptr %13, align 8, !tbaa !9
  %1005 = getelementptr inbounds i8, ptr %1003, i64 %1004
  %1006 = getelementptr inbounds i8, ptr %1005, i64 8
  %1007 = getelementptr inbounds i8, ptr %1006, i64 4
  store i8 %1002, ptr %1007, align 1, !tbaa !16
  %1008 = load i64, ptr %21, align 8, !tbaa !18
  %1009 = lshr i64 %1008, 16
  %1010 = trunc i64 %1009 to i8
  %1011 = load ptr, ptr %10, align 8, !tbaa !5
  %1012 = load i64, ptr %13, align 8, !tbaa !9
  %1013 = getelementptr inbounds i8, ptr %1011, i64 %1012
  %1014 = getelementptr inbounds i8, ptr %1013, i64 8
  %1015 = getelementptr inbounds i8, ptr %1014, i64 5
  store i8 %1010, ptr %1015, align 1, !tbaa !16
  %1016 = load i64, ptr %21, align 8, !tbaa !18
  %1017 = lshr i64 %1016, 8
  %1018 = trunc i64 %1017 to i8
  %1019 = load ptr, ptr %10, align 8, !tbaa !5
  %1020 = load i64, ptr %13, align 8, !tbaa !9
  %1021 = getelementptr inbounds i8, ptr %1019, i64 %1020
  %1022 = getelementptr inbounds i8, ptr %1021, i64 8
  %1023 = getelementptr inbounds i8, ptr %1022, i64 6
  store i8 %1018, ptr %1023, align 1, !tbaa !16
  %1024 = load i64, ptr %21, align 8, !tbaa !18
  %1025 = trunc i64 %1024 to i8
  %1026 = load ptr, ptr %10, align 8, !tbaa !5
  %1027 = load i64, ptr %13, align 8, !tbaa !9
  %1028 = getelementptr inbounds i8, ptr %1026, i64 %1027
  %1029 = getelementptr inbounds i8, ptr %1028, i64 8
  %1030 = getelementptr inbounds i8, ptr %1029, i64 7
  store i8 %1025, ptr %1030, align 1, !tbaa !16
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #3
  br label %1031

1031:                                             ; preds = %948
  br label %1032

1032:                                             ; preds = %1031
  call void @aead_random_finish()
  call void @llvm.lifetime.end.p0(i64 160, 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 i64 @aead_random_generate_64() #2

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

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

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

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

declare void @aead_random_finish() #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 8}
!12 = !{!"", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24}
!13 = !{!"long", !7, i64 0}
!14 = !{!12, !13, i64 16}
!15 = !{!12, !13, i64 24}
!16 = !{!7, !7, i64 0}
!17 = !{!12, !13, i64 0}
!18 = !{!13, !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.ascon_masked_state_t = type { [5 x %struct.mask_x4_uint64_t] }
%struct.mask_x4_uint64_t = type { i64, i64, i64, i64 }

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @ascon80pq_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 nocapture noundef readonly %7, ptr nocapture noundef readonly %8) local_unnamed_addr #0 {
  %10 = alloca %struct.ascon_masked_state_t, align 8
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %10) #3
  %11 = add i64 %3, 16
  store i64 %11, ptr %1, align 8, !tbaa !5
  tail call void @aead_random_init() #3
  %12 = tail call i64 @aead_random_generate_64() #3
  %13 = getelementptr inbounds i8, ptr %10, i64 8
  store i64 %12, ptr %13, align 8, !tbaa !9
  %14 = tail call i64 @aead_random_generate_64() #3
  %15 = getelementptr inbounds i8, ptr %10, i64 16
  store i64 %14, ptr %15, align 8, !tbaa !12
  %16 = tail call i64 @aead_random_generate_64() #3
  %17 = getelementptr inbounds i8, ptr %10, i64 24
  store i64 %16, ptr %17, align 8, !tbaa !13
  %18 = load i8, ptr %8, align 1, !tbaa !14
  %19 = zext i8 %18 to i64
  %20 = shl nuw nsw i64 %19, 24
  %21 = getelementptr inbounds i8, ptr %8, i64 1
  %22 = load i8, ptr %21, align 1, !tbaa !14
  %23 = zext i8 %22 to i64
  %24 = shl nuw nsw i64 %23, 16
  %25 = getelementptr inbounds i8, ptr %8, i64 2
  %26 = load i8, ptr %25, align 1, !tbaa !14
  %27 = zext i8 %26 to i64
  %28 = shl nuw nsw i64 %27, 8
  %29 = getelementptr inbounds i8, ptr %8, i64 3
  %30 = load i8, ptr %29, align 1, !tbaa !14
  %31 = zext i8 %30 to i64
  %32 = or disjoint i64 %20, %24
  %33 = or disjoint i64 %32, %28
  %34 = or disjoint i64 %33, %31
  %35 = or disjoint i64 %34, -6899501409222262784
  %36 = xor i64 %14, %35
  %37 = xor i64 %36, %12
  %38 = xor i64 %37, %16
  store i64 %38, ptr %10, align 8, !tbaa !15
  %39 = tail call i64 @aead_random_generate_64() #3
  %40 = getelementptr inbounds i8, ptr %10, i64 32
  %41 = getelementptr inbounds i8, ptr %10, i64 40
  store i64 %39, ptr %41, align 8, !tbaa !9
  %42 = tail call i64 @aead_random_generate_64() #3
  %43 = getelementptr inbounds i8, ptr %10, i64 48
  store i64 %42, ptr %43, align 8, !tbaa !12
  %44 = tail call i64 @aead_random_generate_64() #3
  %45 = getelementptr inbounds i8, ptr %10, i64 56
  store i64 %44, ptr %45, align 8, !tbaa !13
  %46 = getelementptr inbounds i8, ptr %8, i64 4
  %47 = load i8, ptr %46, align 1, !tbaa !14
  %48 = zext i8 %47 to i64
  %49 = shl nuw i64 %48, 56
  %50 = getelementptr inbounds i8, ptr %8, i64 5
  %51 = load i8, ptr %50, align 1, !tbaa !14
  %52 = zext i8 %51 to i64
  %53 = shl nuw nsw i64 %52, 48
  %54 = or disjoint i64 %53, %49
  %55 = getelementptr inbounds i8, ptr %8, i64 6
  %56 = load i8, ptr %55, align 1, !tbaa !14
  %57 = zext i8 %56 to i64
  %58 = shl nuw nsw i64 %57, 40
  %59 = or disjoint i64 %54, %58
  %60 = getelementptr inbounds i8, ptr %8, i64 7
  %61 = load i8, ptr %60, align 1, !tbaa !14
  %62 = zext i8 %61 to i64
  %63 = shl nuw nsw i64 %62, 32
  %64 = or disjoint i64 %59, %63
  %65 = getelementptr inbounds i8, ptr %8, i64 8
  %66 = load i8, ptr %65, align 1, !tbaa !14
  %67 = zext i8 %66 to i64
  %68 = shl nuw nsw i64 %67, 24
  %69 = or disjoint i64 %64, %68
  %70 = getelementptr inbounds i8, ptr %8, i64 9
  %71 = load i8, ptr %70, align 1, !tbaa !14
  %72 = zext i8 %71 to i64
  %73 = shl nuw nsw i64 %72, 16
  %74 = or disjoint i64 %69, %73
  %75 = getelementptr inbounds i8, ptr %8, i64 10
  %76 = load i8, ptr %75, align 1, !tbaa !14
  %77 = zext i8 %76 to i64
  %78 = shl nuw nsw i64 %77, 8
  %79 = or i64 %74, %78
  %80 = getelementptr inbounds i8, ptr %8, i64 11
  %81 = load i8, ptr %80, align 1, !tbaa !14
  %82 = zext i8 %81 to i64
  %83 = or i64 %79, %82
  %84 = xor i64 %42, %83
  %85 = xor i64 %84, %39
  %86 = xor i64 %85, %44
  store i64 %86, ptr %40, align 8, !tbaa !15
  %87 = tail call i64 @aead_random_generate_64() #3
  %88 = getelementptr inbounds i8, ptr %10, i64 64
  %89 = getelementptr inbounds i8, ptr %10, i64 72
  store i64 %87, ptr %89, align 8, !tbaa !9
  %90 = tail call i64 @aead_random_generate_64() #3
  %91 = getelementptr inbounds i8, ptr %10, i64 80
  store i64 %90, ptr %91, align 8, !tbaa !12
  %92 = tail call i64 @aead_random_generate_64() #3
  %93 = getelementptr inbounds i8, ptr %10, i64 88
  store i64 %92, ptr %93, align 8, !tbaa !13
  %94 = getelementptr inbounds i8, ptr %8, i64 12
  %95 = load i8, ptr %94, align 1, !tbaa !14
  %96 = zext i8 %95 to i64
  %97 = shl nuw i64 %96, 56
  %98 = getelementptr inbounds i8, ptr %8, i64 13
  %99 = load i8, ptr %98, align 1, !tbaa !14
  %100 = zext i8 %99 to i64
  %101 = shl nuw nsw i64 %100, 48
  %102 = or disjoint i64 %101, %97
  %103 = getelementptr inbounds i8, ptr %8, i64 14
  %104 = load i8, ptr %103, align 1, !tbaa !14
  %105 = zext i8 %104 to i64
  %106 = shl nuw nsw i64 %105, 40
  %107 = or disjoint i64 %102, %106
  %108 = getelementptr inbounds i8, ptr %8, i64 15
  %109 = load i8, ptr %108, align 1, !tbaa !14
  %110 = zext i8 %109 to i64
  %111 = shl nuw nsw i64 %110, 32
  %112 = or disjoint i64 %107, %111
  %113 = getelementptr inbounds i8, ptr %8, i64 16
  %114 = load i8, ptr %113, align 1, !tbaa !14
  %115 = zext i8 %114 to i64
  %116 = shl nuw nsw i64 %115, 24
  %117 = or disjoint i64 %112, %116
  %118 = getelementptr inbounds i8, ptr %8, i64 17
  %119 = load i8, ptr %118, align 1, !tbaa !14
  %120 = zext i8 %119 to i64
  %121 = shl nuw nsw i64 %120, 16
  %122 = or disjoint i64 %117, %121
  %123 = getelementptr inbounds i8, ptr %8, i64 18
  %124 = load i8, ptr %123, align 1, !tbaa !14
  %125 = zext i8 %124 to i64
  %126 = shl nuw nsw i64 %125, 8
  %127 = or i64 %122, %126
  %128 = getelementptr inbounds i8, ptr %8, i64 19
  %129 = load i8, ptr %128, align 1, !tbaa !14
  %130 = zext i8 %129 to i64
  %131 = or i64 %127, %130
  %132 = xor i64 %90, %131
  %133 = xor i64 %132, %87
  %134 = xor i64 %133, %92
  store i64 %134, ptr %88, align 8, !tbaa !15
  %135 = tail call i64 @aead_random_generate_64() #3
  %136 = getelementptr inbounds i8, ptr %10, i64 96
  %137 = getelementptr inbounds i8, ptr %10, i64 104
  store i64 %135, ptr %137, align 8, !tbaa !9
  %138 = tail call i64 @aead_random_generate_64() #3
  %139 = getelementptr inbounds i8, ptr %10, i64 112
  store i64 %138, ptr %139, align 8, !tbaa !12
  %140 = tail call i64 @aead_random_generate_64() #3
  %141 = getelementptr inbounds i8, ptr %10, i64 120
  store i64 %140, ptr %141, align 8, !tbaa !13
  %142 = load i8, ptr %7, align 1, !tbaa !14
  %143 = zext i8 %142 to i64
  %144 = shl nuw i64 %143, 56
  %145 = getelementptr inbounds i8, ptr %7, i64 1
  %146 = load i8, ptr %145, align 1, !tbaa !14
  %147 = zext i8 %146 to i64
  %148 = shl nuw nsw i64 %147, 48
  %149 = or disjoint i64 %148, %144
  %150 = getelementptr inbounds i8, ptr %7, i64 2
  %151 = load i8, ptr %150, align 1, !tbaa !14
  %152 = zext i8 %151 to i64
  %153 = shl nuw nsw i64 %152, 40
  %154 = or disjoint i64 %149, %153
  %155 = getelementptr inbounds i8, ptr %7, i64 3
  %156 = load i8, ptr %155, align 1, !tbaa !14
  %157 = zext i8 %156 to i64
  %158 = shl nuw nsw i64 %157, 32
  %159 = or disjoint i64 %154, %158
  %160 = getelementptr inbounds i8, ptr %7, i64 4
  %161 = load i8, ptr %160, align 1, !tbaa !14
  %162 = zext i8 %161 to i64
  %163 = shl nuw nsw i64 %162, 24
  %164 = or disjoint i64 %159, %163
  %165 = getelementptr inbounds i8, ptr %7, i64 5
  %166 = load i8, ptr %165, align 1, !tbaa !14
  %167 = zext i8 %166 to i64
  %168 = shl nuw nsw i64 %167, 16
  %169 = or disjoint i64 %164, %168
  %170 = getelementptr inbounds i8, ptr %7, i64 6
  %171 = load i8, ptr %170, align 1, !tbaa !14
  %172 = zext i8 %171 to i64
  %173 = shl nuw nsw i64 %172, 8
  %174 = or i64 %169, %173
  %175 = getelementptr inbounds i8, ptr %7, i64 7
  %176 = load i8, ptr %175, align 1, !tbaa !14
  %177 = zext i8 %176 to i64
  %178 = or i64 %174, %177
  %179 = xor i64 %138, %178
  %180 = xor i64 %179, %135
  %181 = xor i64 %180, %140
  store i64 %181, ptr %136, align 8, !tbaa !15
  %182 = tail call i64 @aead_random_generate_64() #3
  %183 = getelementptr inbounds i8, ptr %10, i64 128
  %184 = getelementptr inbounds i8, ptr %10, i64 136
  store i64 %182, ptr %184, align 8, !tbaa !9
  %185 = tail call i64 @aead_random_generate_64() #3
  %186 = getelementptr inbounds i8, ptr %10, i64 144
  store i64 %185, ptr %186, align 8, !tbaa !12
  %187 = tail call i64 @aead_random_generate_64() #3
  %188 = getelementptr inbounds i8, ptr %10, i64 152
  store i64 %187, ptr %188, align 8, !tbaa !13
  %189 = getelementptr inbounds i8, ptr %7, i64 8
  %190 = load i8, ptr %189, align 1, !tbaa !14
  %191 = zext i8 %190 to i64
  %192 = shl nuw i64 %191, 56
  %193 = getelementptr inbounds i8, ptr %7, i64 9
  %194 = load i8, ptr %193, align 1, !tbaa !14
  %195 = zext i8 %194 to i64
  %196 = shl nuw nsw i64 %195, 48
  %197 = or disjoint i64 %196, %192
  %198 = getelementptr inbounds i8, ptr %7, i64 10
  %199 = load i8, ptr %198, align 1, !tbaa !14
  %200 = zext i8 %199 to i64
  %201 = shl nuw nsw i64 %200, 40
  %202 = or disjoint i64 %197, %201
  %203 = getelementptr inbounds i8, ptr %7, i64 11
  %204 = load i8, ptr %203, align 1, !tbaa !14
  %205 = zext i8 %204 to i64
  %206 = shl nuw nsw i64 %205, 32
  %207 = or disjoint i64 %202, %206
  %208 = getelementptr inbounds i8, ptr %7, i64 12
  %209 = load i8, ptr %208, align 1, !tbaa !14
  %210 = zext i8 %209 to i64
  %211 = shl nuw nsw i64 %210, 24
  %212 = or disjoint i64 %207, %211
  %213 = getelementptr inbounds i8, ptr %7, i64 13
  %214 = load i8, ptr %213, align 1, !tbaa !14
  %215 = zext i8 %214 to i64
  %216 = shl nuw nsw i64 %215, 16
  %217 = or disjoint i64 %212, %216
  %218 = getelementptr inbounds i8, ptr %7, i64 14
  %219 = load i8, ptr %218, align 1, !tbaa !14
  %220 = zext i8 %219 to i64
  %221 = shl nuw nsw i64 %220, 8
  %222 = or i64 %217, %221
  %223 = getelementptr inbounds i8, ptr %7, i64 15
  %224 = load i8, ptr %223, align 1, !tbaa !14
  %225 = zext i8 %224 to i64
  %226 = or i64 %222, %225
  %227 = xor i64 %185, %226
  %228 = xor i64 %227, %182
  %229 = xor i64 %228, %187
  store i64 %229, ptr %183, align 8, !tbaa !15
  call void @ascon_permute_masked(ptr noundef nonnull %10, i8 noundef zeroext 0) #3
  %230 = load i8, ptr %8, align 1, !tbaa !14
  %231 = zext i8 %230 to i64
  %232 = shl nuw nsw i64 %231, 24
  %233 = load i8, ptr %21, align 1, !tbaa !14
  %234 = zext i8 %233 to i64
  %235 = shl nuw nsw i64 %234, 16
  %236 = or disjoint i64 %235, %232
  %237 = load i8, ptr %25, align 1, !tbaa !14
  %238 = zext i8 %237 to i64
  %239 = shl nuw nsw i64 %238, 8
  %240 = or disjoint i64 %236, %239
  %241 = load i8, ptr %29, align 1, !tbaa !14
  %242 = zext i8 %241 to i64
  %243 = or disjoint i64 %240, %242
  %244 = load i64, ptr %88, align 8, !tbaa !15
  %245 = xor i64 %243, %244
  store i64 %245, ptr %88, align 8, !tbaa !15
  %246 = load i8, ptr %46, align 1, !tbaa !14
  %247 = zext i8 %246 to i64
  %248 = shl nuw i64 %247, 56
  %249 = load i8, ptr %50, align 1, !tbaa !14
  %250 = zext i8 %249 to i64
  %251 = shl nuw nsw i64 %250, 48
  %252 = or disjoint i64 %251, %248
  %253 = load i8, ptr %55, align 1, !tbaa !14
  %254 = zext i8 %253 to i64
  %255 = shl nuw nsw i64 %254, 40
  %256 = or disjoint i64 %252, %255
  %257 = load i8, ptr %60, align 1, !tbaa !14
  %258 = zext i8 %257 to i64
  %259 = shl nuw nsw i64 %258, 32
  %260 = or disjoint i64 %256, %259
  %261 = load i8, ptr %65, align 1, !tbaa !14
  %262 = zext i8 %261 to i64
  %263 = shl nuw nsw i64 %262, 24
  %264 = or disjoint i64 %260, %263
  %265 = load i8, ptr %70, align 1, !tbaa !14
  %266 = zext i8 %265 to i64
  %267 = shl nuw nsw i64 %266, 16
  %268 = or disjoint i64 %264, %267
  %269 = load i8, ptr %75, align 1, !tbaa !14
  %270 = zext i8 %269 to i64
  %271 = shl nuw nsw i64 %270, 8
  %272 = or i64 %268, %271
  %273 = load i8, ptr %80, align 1, !tbaa !14
  %274 = zext i8 %273 to i64
  %275 = or i64 %272, %274
  %276 = load i64, ptr %136, align 8, !tbaa !15
  %277 = xor i64 %275, %276
  store i64 %277, ptr %136, align 8, !tbaa !15
  %278 = load i8, ptr %94, align 1, !tbaa !14
  %279 = zext i8 %278 to i64
  %280 = shl nuw i64 %279, 56
  %281 = load i8, ptr %98, align 1, !tbaa !14
  %282 = zext i8 %281 to i64
  %283 = shl nuw nsw i64 %282, 48
  %284 = or disjoint i64 %283, %280
  %285 = load i8, ptr %103, align 1, !tbaa !14
  %286 = zext i8 %285 to i64
  %287 = shl nuw nsw i64 %286, 40
  %288 = or disjoint i64 %284, %287
  %289 = load i8, ptr %108, align 1, !tbaa !14
  %290 = zext i8 %289 to i64
  %291 = shl nuw nsw i64 %290, 32
  %292 = or disjoint i64 %288, %291
  %293 = load i8, ptr %113, align 1, !tbaa !14
  %294 = zext i8 %293 to i64
  %295 = shl nuw nsw i64 %294, 24
  %296 = or disjoint i64 %292, %295
  %297 = load i8, ptr %118, align 1, !tbaa !14
  %298 = zext i8 %297 to i64
  %299 = shl nuw nsw i64 %298, 16
  %300 = or disjoint i64 %296, %299
  %301 = load i8, ptr %123, align 1, !tbaa !14
  %302 = zext i8 %301 to i64
  %303 = shl nuw nsw i64 %302, 8
  %304 = or i64 %300, %303
  %305 = load i8, ptr %128, align 1, !tbaa !14
  %306 = zext i8 %305 to i64
  %307 = or i64 %304, %306
  %308 = load i64, ptr %183, align 8, !tbaa !15
  %309 = xor i64 %307, %308
  store i64 %309, ptr %183, align 8, !tbaa !15
  %.not = icmp eq i64 %5, 0
  br i1 %.not, label %311, label %310

310:                                              ; preds = %9
  call void @ascon_absorb_masked_8(ptr noundef nonnull %10, ptr noundef %4, i64 noundef %5, i8 noundef zeroext 6)
  %.pre = load i64, ptr %183, align 8, !tbaa !15
  br label %311

311:                                              ; preds = %9, %310
  %312 = phi i64 [ %309, %9 ], [ %.pre, %310 ]
  %313 = xor i64 %312, 1
  store i64 %313, ptr %183, align 8, !tbaa !15
  call void @ascon_encrypt_masked_8(ptr noundef nonnull %10, ptr noundef %0, ptr noundef %2, i64 noundef %3, i8 noundef zeroext 6)
  %314 = load i8, ptr %8, align 1, !tbaa !14
  %315 = zext i8 %314 to i64
  %316 = shl nuw i64 %315, 56
  %317 = load i8, ptr %21, align 1, !tbaa !14
  %318 = zext i8 %317 to i64
  %319 = shl nuw nsw i64 %318, 48
  %320 = or disjoint i64 %319, %316
  %321 = load i8, ptr %25, align 1, !tbaa !14
  %322 = zext i8 %321 to i64
  %323 = shl nuw nsw i64 %322, 40
  %324 = or disjoint i64 %320, %323
  %325 = load i8, ptr %29, align 1, !tbaa !14
  %326 = zext i8 %325 to i64
  %327 = shl nuw nsw i64 %326, 32
  %328 = or disjoint i64 %324, %327
  %329 = load i8, ptr %46, align 1, !tbaa !14
  %330 = zext i8 %329 to i64
  %331 = shl nuw nsw i64 %330, 24
  %332 = or disjoint i64 %328, %331
  %333 = load i8, ptr %50, align 1, !tbaa !14
  %334 = zext i8 %333 to i64
  %335 = shl nuw nsw i64 %334, 16
  %336 = or disjoint i64 %332, %335
  %337 = load i8, ptr %55, align 1, !tbaa !14
  %338 = zext i8 %337 to i64
  %339 = shl nuw nsw i64 %338, 8
  %340 = or i64 %336, %339
  %341 = load i8, ptr %60, align 1, !tbaa !14
  %342 = zext i8 %341 to i64
  %343 = or i64 %340, %342
  %344 = load i64, ptr %40, align 8, !tbaa !15
  %345 = xor i64 %343, %344
  store i64 %345, ptr %40, align 8, !tbaa !15
  %346 = load i8, ptr %65, align 1, !tbaa !14
  %347 = zext i8 %346 to i64
  %348 = shl nuw i64 %347, 56
  %349 = load i8, ptr %70, align 1, !tbaa !14
  %350 = zext i8 %349 to i64
  %351 = shl nuw nsw i64 %350, 48
  %352 = or disjoint i64 %351, %348
  %353 = load i8, ptr %75, align 1, !tbaa !14
  %354 = zext i8 %353 to i64
  %355 = shl nuw nsw i64 %354, 40
  %356 = or disjoint i64 %352, %355
  %357 = load i8, ptr %80, align 1, !tbaa !14
  %358 = zext i8 %357 to i64
  %359 = shl nuw nsw i64 %358, 32
  %360 = or disjoint i64 %356, %359
  %361 = load i8, ptr %94, align 1, !tbaa !14
  %362 = zext i8 %361 to i64
  %363 = shl nuw nsw i64 %362, 24
  %364 = or disjoint i64 %360, %363
  %365 = load i8, ptr %98, align 1, !tbaa !14
  %366 = zext i8 %365 to i64
  %367 = shl nuw nsw i64 %366, 16
  %368 = or disjoint i64 %364, %367
  %369 = load i8, ptr %103, align 1, !tbaa !14
  %370 = zext i8 %369 to i64
  %371 = shl nuw nsw i64 %370, 8
  %372 = or i64 %368, %371
  %373 = load i8, ptr %108, align 1, !tbaa !14
  %374 = zext i8 %373 to i64
  %375 = or i64 %372, %374
  %376 = load i64, ptr %88, align 8, !tbaa !15
  %377 = xor i64 %375, %376
  store i64 %377, ptr %88, align 8, !tbaa !15
  %378 = load i8, ptr %113, align 1, !tbaa !14
  %379 = zext i8 %378 to i64
  %380 = shl nuw nsw i64 %379, 24
  %381 = load i8, ptr %118, align 1, !tbaa !14
  %382 = zext i8 %381 to i64
  %383 = shl nuw nsw i64 %382, 16
  %384 = or disjoint i64 %383, %380
  %385 = load i8, ptr %123, align 1, !tbaa !14
  %386 = zext i8 %385 to i64
  %387 = shl nuw nsw i64 %386, 8
  %388 = or disjoint i64 %384, %387
  %389 = load i8, ptr %128, align 1, !tbaa !14
  %390 = zext i8 %389 to i64
  %391 = or disjoint i64 %388, %390
  %392 = shl nuw i64 %391, 32
  %393 = load i64, ptr %136, align 8, !tbaa !15
  %394 = xor i64 %392, %393
  store i64 %394, ptr %136, align 8, !tbaa !15
  call void @ascon_permute_masked(ptr noundef nonnull %10, i8 noundef zeroext 0) #3
  %395 = load i8, ptr %46, align 1, !tbaa !14
  %396 = zext i8 %395 to i64
  %397 = shl nuw i64 %396, 56
  %398 = load i8, ptr %50, align 1, !tbaa !14
  %399 = zext i8 %398 to i64
  %400 = shl nuw nsw i64 %399, 48
  %401 = or disjoint i64 %400, %397
  %402 = load i8, ptr %55, align 1, !tbaa !14
  %403 = zext i8 %402 to i64
  %404 = shl nuw nsw i64 %403, 40
  %405 = or disjoint i64 %401, %404
  %406 = load i8, ptr %60, align 1, !tbaa !14
  %407 = zext i8 %406 to i64
  %408 = shl nuw nsw i64 %407, 32
  %409 = or disjoint i64 %405, %408
  %410 = load i8, ptr %65, align 1, !tbaa !14
  %411 = zext i8 %410 to i64
  %412 = shl nuw nsw i64 %411, 24
  %413 = or disjoint i64 %409, %412
  %414 = load i8, ptr %70, align 1, !tbaa !14
  %415 = zext i8 %414 to i64
  %416 = shl nuw nsw i64 %415, 16
  %417 = or disjoint i64 %413, %416
  %418 = load i8, ptr %75, align 1, !tbaa !14
  %419 = zext i8 %418 to i64
  %420 = shl nuw nsw i64 %419, 8
  %421 = or i64 %417, %420
  %422 = load i8, ptr %80, align 1, !tbaa !14
  %423 = zext i8 %422 to i64
  %424 = or i64 %421, %423
  %425 = load i64, ptr %136, align 8, !tbaa !15
  %426 = xor i64 %424, %425
  store i64 %426, ptr %136, align 8, !tbaa !15
  %427 = load i8, ptr %94, align 1, !tbaa !14
  %428 = zext i8 %427 to i64
  %429 = shl nuw i64 %428, 56
  %430 = load i8, ptr %98, align 1, !tbaa !14
  %431 = zext i8 %430 to i64
  %432 = shl nuw nsw i64 %431, 48
  %433 = or disjoint i64 %432, %429
  %434 = load i8, ptr %103, align 1, !tbaa !14
  %435 = zext i8 %434 to i64
  %436 = shl nuw nsw i64 %435, 40
  %437 = or disjoint i64 %433, %436
  %438 = load i8, ptr %108, align 1, !tbaa !14
  %439 = zext i8 %438 to i64
  %440 = shl nuw nsw i64 %439, 32
  %441 = or disjoint i64 %437, %440
  %442 = load i8, ptr %113, align 1, !tbaa !14
  %443 = zext i8 %442 to i64
  %444 = shl nuw nsw i64 %443, 24
  %445 = or disjoint i64 %441, %444
  %446 = load i8, ptr %118, align 1, !tbaa !14
  %447 = zext i8 %446 to i64
  %448 = shl nuw nsw i64 %447, 16
  %449 = or disjoint i64 %445, %448
  %450 = load i8, ptr %123, align 1, !tbaa !14
  %451 = zext i8 %450 to i64
  %452 = shl nuw nsw i64 %451, 8
  %453 = or i64 %449, %452
  %454 = load i8, ptr %128, align 1, !tbaa !14
  %455 = zext i8 %454 to i64
  %456 = or i64 %453, %455
  %457 = load i64, ptr %183, align 8, !tbaa !15
  %458 = xor i64 %456, %457
  store i64 %458, ptr %183, align 8, !tbaa !15
  %459 = load i64, ptr %137, align 8, !tbaa !9
  %460 = load i64, ptr %139, align 8, !tbaa !12
  %461 = load i64, ptr %141, align 8, !tbaa !13
  %462 = xor i64 %459, %460
  %463 = xor i64 %462, %461
  %464 = xor i64 %463, %426
  %465 = lshr i64 %464, 56
  %466 = trunc nuw i64 %465 to i8
  %467 = getelementptr inbounds i8, ptr %0, i64 %3
  store i8 %466, ptr %467, align 1, !tbaa !14
  %468 = lshr i64 %464, 48
  %469 = trunc i64 %468 to i8
  %470 = getelementptr inbounds i8, ptr %467, i64 1
  store i8 %469, ptr %470, align 1, !tbaa !14
  %471 = lshr i64 %464, 40
  %472 = trunc i64 %471 to i8
  %473 = getelementptr inbounds i8, ptr %467, i64 2
  store i8 %472, ptr %473, align 1, !tbaa !14
  %474 = lshr i64 %464, 32
  %475 = trunc i64 %474 to i8
  %476 = getelementptr inbounds i8, ptr %467, i64 3
  store i8 %475, ptr %476, align 1, !tbaa !14
  %477 = lshr i64 %464, 24
  %478 = trunc i64 %477 to i8
  %479 = getelementptr inbounds i8, ptr %467, i64 4
  store i8 %478, ptr %479, align 1, !tbaa !14
  %480 = lshr i64 %464, 16
  %481 = trunc i64 %480 to i8
  %482 = getelementptr inbounds i8, ptr %467, i64 5
  store i8 %481, ptr %482, align 1, !tbaa !14
  %483 = lshr i64 %464, 8
  %484 = trunc i64 %483 to i8
  %485 = getelementptr inbounds i8, ptr %467, i64 6
  store i8 %484, ptr %485, align 1, !tbaa !14
  %486 = trunc i64 %464 to i8
  %487 = getelementptr inbounds i8, ptr %467, i64 7
  store i8 %486, ptr %487, align 1, !tbaa !14
  %488 = load i64, ptr %184, align 8, !tbaa !9
  %489 = load i64, ptr %186, align 8, !tbaa !12
  %490 = load i64, ptr %188, align 8, !tbaa !13
  %491 = xor i64 %488, %489
  %492 = xor i64 %491, %490
  %493 = xor i64 %492, %458
  %494 = lshr i64 %493, 56
  %495 = trunc nuw i64 %494 to i8
  %496 = getelementptr inbounds i8, ptr %467, i64 8
  store i8 %495, ptr %496, align 1, !tbaa !14
  %497 = lshr i64 %493, 48
  %498 = trunc i64 %497 to i8
  %499 = getelementptr inbounds i8, ptr %467, i64 9
  store i8 %498, ptr %499, align 1, !tbaa !14
  %500 = lshr i64 %493, 40
  %501 = trunc i64 %500 to i8
  %502 = getelementptr inbounds i8, ptr %467, i64 10
  store i8 %501, ptr %502, align 1, !tbaa !14
  %503 = lshr i64 %493, 32
  %504 = trunc i64 %503 to i8
  %505 = getelementptr inbounds i8, ptr %467, i64 11
  store i8 %504, ptr %505, align 1, !tbaa !14
  %506 = lshr i64 %493, 24
  %507 = trunc i64 %506 to i8
  %508 = getelementptr inbounds i8, ptr %467, i64 12
  store i8 %507, ptr %508, align 1, !tbaa !14
  %509 = lshr i64 %493, 16
  %510 = trunc i64 %509 to i8
  %511 = getelementptr inbounds i8, ptr %467, i64 13
  store i8 %510, ptr %511, align 1, !tbaa !14
  %512 = lshr i64 %493, 8
  %513 = trunc i64 %512 to i8
  %514 = getelementptr inbounds i8, ptr %467, i64 14
  store i8 %513, ptr %514, align 1, !tbaa !14
  %515 = trunc i64 %493 to i8
  %516 = getelementptr inbounds i8, ptr %467, i64 15
  store i8 %515, ptr %516, align 1, !tbaa !14
  call void @aead_random_finish() #3
  call void @llvm.lifetime.end.p0(i64 160, 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 i64 @aead_random_generate_64() local_unnamed_addr #2

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

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

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

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

declare void @aead_random_finish() 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 8}
!10 = !{!"", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24}
!11 = !{!"long", !7, i64 0}
!12 = !{!10, !11, i64 16}
!13 = !{!10, !11, i64 24}
!14 = !{!7, !7, i64 0}
!15 = !{!10, !11, i64 0}


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