; 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 @ascon128_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 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %40 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %39, i64 0, i64 0
  %41 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %40, i32 0, i32 1
  %42 = load i64, ptr %41, align 8, !tbaa !11
  %43 = xor i64 -9205344418435956736, %42
  %44 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %45 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %44, i64 0, i64 0
  %46 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %45, i32 0, i32 2
  %47 = load i64, ptr %46, align 8, !tbaa !14
  %48 = xor i64 %43, %47
  %49 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %50 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %49, i64 0, i64 0
  %51 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %50, i32 0, i32 3
  %52 = load i64, ptr %51, align 8, !tbaa !15
  %53 = xor i64 %48, %52
  %54 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %55 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %54, i64 0, i64 0
  %56 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %55, i32 0, i32 0
  store i64 %53, ptr %56, align 8, !tbaa !16
  br label %57

57:                                               ; preds = %26
  br label %58

58:                                               ; preds = %57
  br label %59

59:                                               ; preds = %58
  %60 = call i64 @aead_random_generate_64()
  %61 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %62 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %61, i64 0, i64 1
  %63 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %62, i32 0, i32 1
  store i64 %60, ptr %63, align 8, !tbaa !11
  %64 = call i64 @aead_random_generate_64()
  %65 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %66 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %65, i64 0, i64 1
  %67 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %66, i32 0, i32 2
  store i64 %64, ptr %67, align 8, !tbaa !14
  %68 = call i64 @aead_random_generate_64()
  %69 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %70 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %69, i64 0, i64 1
  %71 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %70, i32 0, i32 3
  store i64 %68, ptr %71, align 8, !tbaa !15
  %72 = load ptr, ptr %18, align 8, !tbaa !5
  %73 = getelementptr inbounds i8, ptr %72, i64 0
  %74 = load i8, ptr %73, align 1, !tbaa !17
  %75 = zext i8 %74 to i64
  %76 = shl i64 %75, 56
  %77 = load ptr, ptr %18, align 8, !tbaa !5
  %78 = getelementptr inbounds i8, ptr %77, i64 1
  %79 = load i8, ptr %78, align 1, !tbaa !17
  %80 = zext i8 %79 to i64
  %81 = shl i64 %80, 48
  %82 = or i64 %76, %81
  %83 = load ptr, ptr %18, align 8, !tbaa !5
  %84 = getelementptr inbounds i8, ptr %83, i64 2
  %85 = load i8, ptr %84, align 1, !tbaa !17
  %86 = zext i8 %85 to i64
  %87 = shl i64 %86, 40
  %88 = or i64 %82, %87
  %89 = load ptr, ptr %18, align 8, !tbaa !5
  %90 = getelementptr inbounds i8, ptr %89, i64 3
  %91 = load i8, ptr %90, align 1, !tbaa !17
  %92 = zext i8 %91 to i64
  %93 = shl i64 %92, 32
  %94 = or i64 %88, %93
  %95 = load ptr, ptr %18, align 8, !tbaa !5
  %96 = getelementptr inbounds i8, ptr %95, i64 4
  %97 = load i8, ptr %96, align 1, !tbaa !17
  %98 = zext i8 %97 to i64
  %99 = shl i64 %98, 24
  %100 = or i64 %94, %99
  %101 = load ptr, ptr %18, align 8, !tbaa !5
  %102 = getelementptr inbounds i8, ptr %101, i64 5
  %103 = load i8, ptr %102, align 1, !tbaa !17
  %104 = zext i8 %103 to i64
  %105 = shl i64 %104, 16
  %106 = or i64 %100, %105
  %107 = load ptr, ptr %18, align 8, !tbaa !5
  %108 = getelementptr inbounds i8, ptr %107, i64 6
  %109 = load i8, ptr %108, align 1, !tbaa !17
  %110 = zext i8 %109 to i64
  %111 = shl i64 %110, 8
  %112 = or i64 %106, %111
  %113 = load ptr, ptr %18, align 8, !tbaa !5
  %114 = getelementptr inbounds i8, ptr %113, i64 7
  %115 = load i8, ptr %114, align 1, !tbaa !17
  %116 = zext i8 %115 to i64
  %117 = or i64 %112, %116
  %118 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %119 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %118, i64 0, i64 1
  %120 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %119, i32 0, i32 1
  %121 = load i64, ptr %120, align 8, !tbaa !11
  %122 = xor i64 %117, %121
  %123 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %124 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %123, i64 0, i64 1
  %125 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %124, i32 0, i32 2
  %126 = load i64, ptr %125, align 8, !tbaa !14
  %127 = xor i64 %122, %126
  %128 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %129 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %128, i64 0, i64 1
  %130 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %129, i32 0, i32 3
  %131 = load i64, ptr %130, align 8, !tbaa !15
  %132 = xor i64 %127, %131
  %133 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %134 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %133, i64 0, i64 1
  %135 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %134, i32 0, i32 0
  store i64 %132, ptr %135, align 8, !tbaa !16
  br label %136

136:                                              ; preds = %59
  br label %137

137:                                              ; preds = %136
  br label %138

138:                                              ; preds = %137
  %139 = call i64 @aead_random_generate_64()
  %140 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %141 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %140, i64 0, i64 2
  %142 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %141, i32 0, i32 1
  store i64 %139, ptr %142, align 8, !tbaa !11
  %143 = call i64 @aead_random_generate_64()
  %144 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %145 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %144, i64 0, i64 2
  %146 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %145, i32 0, i32 2
  store i64 %143, ptr %146, align 8, !tbaa !14
  %147 = call i64 @aead_random_generate_64()
  %148 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %149 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %148, i64 0, i64 2
  %150 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %149, i32 0, i32 3
  store i64 %147, ptr %150, align 8, !tbaa !15
  %151 = load ptr, ptr %18, align 8, !tbaa !5
  %152 = getelementptr inbounds i8, ptr %151, i64 8
  %153 = getelementptr inbounds i8, ptr %152, i64 0
  %154 = load i8, ptr %153, align 1, !tbaa !17
  %155 = zext i8 %154 to i64
  %156 = shl i64 %155, 56
  %157 = load ptr, ptr %18, align 8, !tbaa !5
  %158 = getelementptr inbounds i8, ptr %157, i64 8
  %159 = getelementptr inbounds i8, ptr %158, i64 1
  %160 = load i8, ptr %159, align 1, !tbaa !17
  %161 = zext i8 %160 to i64
  %162 = shl i64 %161, 48
  %163 = or i64 %156, %162
  %164 = load ptr, ptr %18, align 8, !tbaa !5
  %165 = getelementptr inbounds i8, ptr %164, i64 8
  %166 = getelementptr inbounds i8, ptr %165, i64 2
  %167 = load i8, ptr %166, align 1, !tbaa !17
  %168 = zext i8 %167 to i64
  %169 = shl i64 %168, 40
  %170 = or i64 %163, %169
  %171 = load ptr, ptr %18, align 8, !tbaa !5
  %172 = getelementptr inbounds i8, ptr %171, i64 8
  %173 = getelementptr inbounds i8, ptr %172, i64 3
  %174 = load i8, ptr %173, align 1, !tbaa !17
  %175 = zext i8 %174 to i64
  %176 = shl i64 %175, 32
  %177 = or i64 %170, %176
  %178 = load ptr, ptr %18, align 8, !tbaa !5
  %179 = getelementptr inbounds i8, ptr %178, i64 8
  %180 = getelementptr inbounds i8, ptr %179, i64 4
  %181 = load i8, ptr %180, align 1, !tbaa !17
  %182 = zext i8 %181 to i64
  %183 = shl i64 %182, 24
  %184 = or i64 %177, %183
  %185 = load ptr, ptr %18, align 8, !tbaa !5
  %186 = getelementptr inbounds i8, ptr %185, i64 8
  %187 = getelementptr inbounds i8, ptr %186, i64 5
  %188 = load i8, ptr %187, align 1, !tbaa !17
  %189 = zext i8 %188 to i64
  %190 = shl i64 %189, 16
  %191 = or i64 %184, %190
  %192 = load ptr, ptr %18, align 8, !tbaa !5
  %193 = getelementptr inbounds i8, ptr %192, i64 8
  %194 = getelementptr inbounds i8, ptr %193, i64 6
  %195 = load i8, ptr %194, align 1, !tbaa !17
  %196 = zext i8 %195 to i64
  %197 = shl i64 %196, 8
  %198 = or i64 %191, %197
  %199 = load ptr, ptr %18, align 8, !tbaa !5
  %200 = getelementptr inbounds i8, ptr %199, i64 8
  %201 = getelementptr inbounds i8, ptr %200, i64 7
  %202 = load i8, ptr %201, align 1, !tbaa !17
  %203 = zext i8 %202 to i64
  %204 = or i64 %198, %203
  %205 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %206 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %205, i64 0, i64 2
  %207 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %206, i32 0, i32 1
  %208 = load i64, ptr %207, align 8, !tbaa !11
  %209 = xor i64 %204, %208
  %210 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %211 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %210, i64 0, i64 2
  %212 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %211, i32 0, i32 2
  %213 = load i64, ptr %212, align 8, !tbaa !14
  %214 = xor i64 %209, %213
  %215 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %216 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %215, i64 0, i64 2
  %217 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %216, i32 0, i32 3
  %218 = load i64, ptr %217, align 8, !tbaa !15
  %219 = xor i64 %214, %218
  %220 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %221 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %220, i64 0, i64 2
  %222 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %221, i32 0, i32 0
  store i64 %219, ptr %222, align 8, !tbaa !16
  br label %223

223:                                              ; preds = %138
  br label %224

224:                                              ; preds = %223
  br label %225

225:                                              ; preds = %224
  %226 = call i64 @aead_random_generate_64()
  %227 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %228 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %227, i64 0, i64 3
  %229 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %228, i32 0, i32 1
  store i64 %226, ptr %229, align 8, !tbaa !11
  %230 = call i64 @aead_random_generate_64()
  %231 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %232 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %231, i64 0, i64 3
  %233 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %232, i32 0, i32 2
  store i64 %230, ptr %233, align 8, !tbaa !14
  %234 = call i64 @aead_random_generate_64()
  %235 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %236 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %235, i64 0, i64 3
  %237 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %236, i32 0, i32 3
  store i64 %234, ptr %237, align 8, !tbaa !15
  %238 = load ptr, ptr %17, align 8, !tbaa !5
  %239 = getelementptr inbounds i8, ptr %238, i64 0
  %240 = load i8, ptr %239, align 1, !tbaa !17
  %241 = zext i8 %240 to i64
  %242 = shl i64 %241, 56
  %243 = load ptr, ptr %17, align 8, !tbaa !5
  %244 = getelementptr inbounds i8, ptr %243, i64 1
  %245 = load i8, ptr %244, align 1, !tbaa !17
  %246 = zext i8 %245 to i64
  %247 = shl i64 %246, 48
  %248 = or i64 %242, %247
  %249 = load ptr, ptr %17, align 8, !tbaa !5
  %250 = getelementptr inbounds i8, ptr %249, i64 2
  %251 = load i8, ptr %250, align 1, !tbaa !17
  %252 = zext i8 %251 to i64
  %253 = shl i64 %252, 40
  %254 = or i64 %248, %253
  %255 = load ptr, ptr %17, align 8, !tbaa !5
  %256 = getelementptr inbounds i8, ptr %255, i64 3
  %257 = load i8, ptr %256, align 1, !tbaa !17
  %258 = zext i8 %257 to i64
  %259 = shl i64 %258, 32
  %260 = or i64 %254, %259
  %261 = load ptr, ptr %17, align 8, !tbaa !5
  %262 = getelementptr inbounds i8, ptr %261, i64 4
  %263 = load i8, ptr %262, align 1, !tbaa !17
  %264 = zext i8 %263 to i64
  %265 = shl i64 %264, 24
  %266 = or i64 %260, %265
  %267 = load ptr, ptr %17, align 8, !tbaa !5
  %268 = getelementptr inbounds i8, ptr %267, i64 5
  %269 = load i8, ptr %268, align 1, !tbaa !17
  %270 = zext i8 %269 to i64
  %271 = shl i64 %270, 16
  %272 = or i64 %266, %271
  %273 = load ptr, ptr %17, align 8, !tbaa !5
  %274 = getelementptr inbounds i8, ptr %273, i64 6
  %275 = load i8, ptr %274, align 1, !tbaa !17
  %276 = zext i8 %275 to i64
  %277 = shl i64 %276, 8
  %278 = or i64 %272, %277
  %279 = load ptr, ptr %17, align 8, !tbaa !5
  %280 = getelementptr inbounds i8, ptr %279, i64 7
  %281 = load i8, ptr %280, align 1, !tbaa !17
  %282 = zext i8 %281 to i64
  %283 = or i64 %278, %282
  %284 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %285 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %284, i64 0, i64 3
  %286 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %285, i32 0, i32 1
  %287 = load i64, ptr %286, align 8, !tbaa !11
  %288 = xor i64 %283, %287
  %289 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %290 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %289, i64 0, i64 3
  %291 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %290, i32 0, i32 2
  %292 = load i64, ptr %291, align 8, !tbaa !14
  %293 = xor i64 %288, %292
  %294 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %295 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %294, i64 0, i64 3
  %296 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %295, i32 0, i32 3
  %297 = load i64, ptr %296, align 8, !tbaa !15
  %298 = xor i64 %293, %297
  %299 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %300 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %299, i64 0, i64 3
  %301 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %300, i32 0, i32 0
  store i64 %298, ptr %301, align 8, !tbaa !16
  br label %302

302:                                              ; preds = %225
  br label %303

303:                                              ; preds = %302
  br label %304

304:                                              ; preds = %303
  %305 = call i64 @aead_random_generate_64()
  %306 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %307 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %306, i64 0, i64 4
  %308 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %307, i32 0, i32 1
  store i64 %305, ptr %308, align 8, !tbaa !11
  %309 = call i64 @aead_random_generate_64()
  %310 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %311 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %310, i64 0, i64 4
  %312 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %311, i32 0, i32 2
  store i64 %309, ptr %312, align 8, !tbaa !14
  %313 = call i64 @aead_random_generate_64()
  %314 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %315 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %314, i64 0, i64 4
  %316 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %315, i32 0, i32 3
  store i64 %313, ptr %316, align 8, !tbaa !15
  %317 = load ptr, ptr %17, align 8, !tbaa !5
  %318 = getelementptr inbounds i8, ptr %317, i64 8
  %319 = getelementptr inbounds i8, ptr %318, i64 0
  %320 = load i8, ptr %319, align 1, !tbaa !17
  %321 = zext i8 %320 to i64
  %322 = shl i64 %321, 56
  %323 = load ptr, ptr %17, align 8, !tbaa !5
  %324 = getelementptr inbounds i8, ptr %323, i64 8
  %325 = getelementptr inbounds i8, ptr %324, i64 1
  %326 = load i8, ptr %325, align 1, !tbaa !17
  %327 = zext i8 %326 to i64
  %328 = shl i64 %327, 48
  %329 = or i64 %322, %328
  %330 = load ptr, ptr %17, align 8, !tbaa !5
  %331 = getelementptr inbounds i8, ptr %330, i64 8
  %332 = getelementptr inbounds i8, ptr %331, i64 2
  %333 = load i8, ptr %332, align 1, !tbaa !17
  %334 = zext i8 %333 to i64
  %335 = shl i64 %334, 40
  %336 = or i64 %329, %335
  %337 = load ptr, ptr %17, align 8, !tbaa !5
  %338 = getelementptr inbounds i8, ptr %337, i64 8
  %339 = getelementptr inbounds i8, ptr %338, i64 3
  %340 = load i8, ptr %339, align 1, !tbaa !17
  %341 = zext i8 %340 to i64
  %342 = shl i64 %341, 32
  %343 = or i64 %336, %342
  %344 = load ptr, ptr %17, align 8, !tbaa !5
  %345 = getelementptr inbounds i8, ptr %344, i64 8
  %346 = getelementptr inbounds i8, ptr %345, i64 4
  %347 = load i8, ptr %346, align 1, !tbaa !17
  %348 = zext i8 %347 to i64
  %349 = shl i64 %348, 24
  %350 = or i64 %343, %349
  %351 = load ptr, ptr %17, align 8, !tbaa !5
  %352 = getelementptr inbounds i8, ptr %351, i64 8
  %353 = getelementptr inbounds i8, ptr %352, i64 5
  %354 = load i8, ptr %353, align 1, !tbaa !17
  %355 = zext i8 %354 to i64
  %356 = shl i64 %355, 16
  %357 = or i64 %350, %356
  %358 = load ptr, ptr %17, align 8, !tbaa !5
  %359 = getelementptr inbounds i8, ptr %358, i64 8
  %360 = getelementptr inbounds i8, ptr %359, i64 6
  %361 = load i8, ptr %360, align 1, !tbaa !17
  %362 = zext i8 %361 to i64
  %363 = shl i64 %362, 8
  %364 = or i64 %357, %363
  %365 = load ptr, ptr %17, align 8, !tbaa !5
  %366 = getelementptr inbounds i8, ptr %365, i64 8
  %367 = getelementptr inbounds i8, ptr %366, i64 7
  %368 = load i8, ptr %367, align 1, !tbaa !17
  %369 = zext i8 %368 to i64
  %370 = or i64 %364, %369
  %371 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %372 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %371, i64 0, i64 4
  %373 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %372, i32 0, i32 1
  %374 = load i64, ptr %373, align 8, !tbaa !11
  %375 = xor i64 %370, %374
  %376 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %377 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %376, i64 0, i64 4
  %378 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %377, i32 0, i32 2
  %379 = load i64, ptr %378, align 8, !tbaa !14
  %380 = xor i64 %375, %379
  %381 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %382 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %381, i64 0, i64 4
  %383 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %382, i32 0, i32 3
  %384 = load i64, ptr %383, align 8, !tbaa !15
  %385 = xor i64 %380, %384
  %386 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %387 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %386, i64 0, i64 4
  %388 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %387, i32 0, i32 0
  store i64 %385, ptr %388, align 8, !tbaa !16
  br label %389

389:                                              ; preds = %304
  br label %390

390:                                              ; preds = %389
  call void @ascon_permute_masked(ptr noundef %19, i8 noundef zeroext 0)
  br label %391

391:                                              ; preds = %390
  %392 = load ptr, ptr %18, align 8, !tbaa !5
  %393 = getelementptr inbounds i8, ptr %392, i64 0
  %394 = load i8, ptr %393, align 1, !tbaa !17
  %395 = zext i8 %394 to i64
  %396 = shl i64 %395, 56
  %397 = load ptr, ptr %18, align 8, !tbaa !5
  %398 = getelementptr inbounds i8, ptr %397, i64 1
  %399 = load i8, ptr %398, align 1, !tbaa !17
  %400 = zext i8 %399 to i64
  %401 = shl i64 %400, 48
  %402 = or i64 %396, %401
  %403 = load ptr, ptr %18, align 8, !tbaa !5
  %404 = getelementptr inbounds i8, ptr %403, i64 2
  %405 = load i8, ptr %404, align 1, !tbaa !17
  %406 = zext i8 %405 to i64
  %407 = shl i64 %406, 40
  %408 = or i64 %402, %407
  %409 = load ptr, ptr %18, align 8, !tbaa !5
  %410 = getelementptr inbounds i8, ptr %409, i64 3
  %411 = load i8, ptr %410, align 1, !tbaa !17
  %412 = zext i8 %411 to i64
  %413 = shl i64 %412, 32
  %414 = or i64 %408, %413
  %415 = load ptr, ptr %18, align 8, !tbaa !5
  %416 = getelementptr inbounds i8, ptr %415, i64 4
  %417 = load i8, ptr %416, align 1, !tbaa !17
  %418 = zext i8 %417 to i64
  %419 = shl i64 %418, 24
  %420 = or i64 %414, %419
  %421 = load ptr, ptr %18, align 8, !tbaa !5
  %422 = getelementptr inbounds i8, ptr %421, i64 5
  %423 = load i8, ptr %422, align 1, !tbaa !17
  %424 = zext i8 %423 to i64
  %425 = shl i64 %424, 16
  %426 = or i64 %420, %425
  %427 = load ptr, ptr %18, align 8, !tbaa !5
  %428 = getelementptr inbounds i8, ptr %427, i64 6
  %429 = load i8, ptr %428, align 1, !tbaa !17
  %430 = zext i8 %429 to i64
  %431 = shl i64 %430, 8
  %432 = or i64 %426, %431
  %433 = load ptr, ptr %18, align 8, !tbaa !5
  %434 = getelementptr inbounds i8, ptr %433, i64 7
  %435 = load i8, ptr %434, align 1, !tbaa !17
  %436 = zext i8 %435 to i64
  %437 = or i64 %432, %436
  %438 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %439 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %438, i64 0, i64 3
  %440 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %439, i32 0, i32 0
  %441 = load i64, ptr %440, align 8, !tbaa !16
  %442 = xor i64 %441, %437
  store i64 %442, ptr %440, align 8, !tbaa !16
  br label %443

443:                                              ; preds = %391
  br label %444

444:                                              ; preds = %443
  br label %445

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

505:                                              ; preds = %445
  br label %506

506:                                              ; preds = %505
  %507 = load i64, ptr %15, align 8, !tbaa !9
  %508 = icmp ugt i64 %507, 0
  br i1 %508, label %509, label %512

509:                                              ; preds = %506
  %510 = load ptr, ptr %14, align 8, !tbaa !5
  %511 = load i64, ptr %15, align 8, !tbaa !9
  call void @ascon_absorb_masked_8(ptr noundef %19, ptr noundef %510, i64 noundef %511, i8 noundef zeroext 6)
  br label %512

512:                                              ; preds = %509, %506
  br label %513

513:                                              ; preds = %512
  %514 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %515 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %514, i64 0, i64 4
  %516 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %515, i32 0, i32 0
  %517 = load i64, ptr %516, align 8, !tbaa !16
  %518 = xor i64 %517, 1
  store i64 %518, ptr %516, align 8, !tbaa !16
  br label %519

519:                                              ; preds = %513
  br label %520

520:                                              ; preds = %519
  %521 = load ptr, ptr %10, align 8, !tbaa !5
  %522 = load ptr, ptr %12, align 8, !tbaa !5
  %523 = load i64, ptr %13, align 8, !tbaa !9
  call void @ascon_encrypt_masked_8(ptr noundef %19, ptr noundef %521, ptr noundef %522, i64 noundef %523, i8 noundef zeroext 6)
  br label %524

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

576:                                              ; preds = %524
  br label %577

577:                                              ; preds = %576
  br label %578

578:                                              ; preds = %577
  %579 = load ptr, ptr %18, align 8, !tbaa !5
  %580 = getelementptr inbounds i8, ptr %579, i64 8
  %581 = getelementptr inbounds i8, ptr %580, i64 0
  %582 = load i8, ptr %581, align 1, !tbaa !17
  %583 = zext i8 %582 to i64
  %584 = shl i64 %583, 56
  %585 = load ptr, ptr %18, align 8, !tbaa !5
  %586 = getelementptr inbounds i8, ptr %585, i64 8
  %587 = getelementptr inbounds i8, ptr %586, i64 1
  %588 = load i8, ptr %587, align 1, !tbaa !17
  %589 = zext i8 %588 to i64
  %590 = shl i64 %589, 48
  %591 = or i64 %584, %590
  %592 = load ptr, ptr %18, align 8, !tbaa !5
  %593 = getelementptr inbounds i8, ptr %592, i64 8
  %594 = getelementptr inbounds i8, ptr %593, i64 2
  %595 = load i8, ptr %594, align 1, !tbaa !17
  %596 = zext i8 %595 to i64
  %597 = shl i64 %596, 40
  %598 = or i64 %591, %597
  %599 = load ptr, ptr %18, align 8, !tbaa !5
  %600 = getelementptr inbounds i8, ptr %599, i64 8
  %601 = getelementptr inbounds i8, ptr %600, i64 3
  %602 = load i8, ptr %601, align 1, !tbaa !17
  %603 = zext i8 %602 to i64
  %604 = shl i64 %603, 32
  %605 = or i64 %598, %604
  %606 = load ptr, ptr %18, align 8, !tbaa !5
  %607 = getelementptr inbounds i8, ptr %606, i64 8
  %608 = getelementptr inbounds i8, ptr %607, i64 4
  %609 = load i8, ptr %608, align 1, !tbaa !17
  %610 = zext i8 %609 to i64
  %611 = shl i64 %610, 24
  %612 = or i64 %605, %611
  %613 = load ptr, ptr %18, align 8, !tbaa !5
  %614 = getelementptr inbounds i8, ptr %613, i64 8
  %615 = getelementptr inbounds i8, ptr %614, i64 5
  %616 = load i8, ptr %615, align 1, !tbaa !17
  %617 = zext i8 %616 to i64
  %618 = shl i64 %617, 16
  %619 = or i64 %612, %618
  %620 = load ptr, ptr %18, align 8, !tbaa !5
  %621 = getelementptr inbounds i8, ptr %620, i64 8
  %622 = getelementptr inbounds i8, ptr %621, i64 6
  %623 = load i8, ptr %622, align 1, !tbaa !17
  %624 = zext i8 %623 to i64
  %625 = shl i64 %624, 8
  %626 = or i64 %619, %625
  %627 = load ptr, ptr %18, align 8, !tbaa !5
  %628 = getelementptr inbounds i8, ptr %627, i64 8
  %629 = getelementptr inbounds i8, ptr %628, i64 7
  %630 = load i8, ptr %629, align 1, !tbaa !17
  %631 = zext i8 %630 to i64
  %632 = or i64 %626, %631
  %633 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %634 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %633, i64 0, i64 2
  %635 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %634, i32 0, i32 0
  %636 = load i64, ptr %635, align 8, !tbaa !16
  %637 = xor i64 %636, %632
  store i64 %637, ptr %635, align 8, !tbaa !16
  br label %638

638:                                              ; preds = %578
  br label %639

639:                                              ; preds = %638
  call void @ascon_permute_masked(ptr noundef %19, i8 noundef zeroext 0)
  br label %640

640:                                              ; preds = %639
  %641 = load ptr, ptr %18, align 8, !tbaa !5
  %642 = getelementptr inbounds i8, ptr %641, i64 0
  %643 = load i8, ptr %642, align 1, !tbaa !17
  %644 = zext i8 %643 to i64
  %645 = shl i64 %644, 56
  %646 = load ptr, ptr %18, align 8, !tbaa !5
  %647 = getelementptr inbounds i8, ptr %646, i64 1
  %648 = load i8, ptr %647, align 1, !tbaa !17
  %649 = zext i8 %648 to i64
  %650 = shl i64 %649, 48
  %651 = or i64 %645, %650
  %652 = load ptr, ptr %18, align 8, !tbaa !5
  %653 = getelementptr inbounds i8, ptr %652, i64 2
  %654 = load i8, ptr %653, align 1, !tbaa !17
  %655 = zext i8 %654 to i64
  %656 = shl i64 %655, 40
  %657 = or i64 %651, %656
  %658 = load ptr, ptr %18, align 8, !tbaa !5
  %659 = getelementptr inbounds i8, ptr %658, i64 3
  %660 = load i8, ptr %659, align 1, !tbaa !17
  %661 = zext i8 %660 to i64
  %662 = shl i64 %661, 32
  %663 = or i64 %657, %662
  %664 = load ptr, ptr %18, align 8, !tbaa !5
  %665 = getelementptr inbounds i8, ptr %664, i64 4
  %666 = load i8, ptr %665, align 1, !tbaa !17
  %667 = zext i8 %666 to i64
  %668 = shl i64 %667, 24
  %669 = or i64 %663, %668
  %670 = load ptr, ptr %18, align 8, !tbaa !5
  %671 = getelementptr inbounds i8, ptr %670, i64 5
  %672 = load i8, ptr %671, align 1, !tbaa !17
  %673 = zext i8 %672 to i64
  %674 = shl i64 %673, 16
  %675 = or i64 %669, %674
  %676 = load ptr, ptr %18, align 8, !tbaa !5
  %677 = getelementptr inbounds i8, ptr %676, i64 6
  %678 = load i8, ptr %677, align 1, !tbaa !17
  %679 = zext i8 %678 to i64
  %680 = shl i64 %679, 8
  %681 = or i64 %675, %680
  %682 = load ptr, ptr %18, align 8, !tbaa !5
  %683 = getelementptr inbounds i8, ptr %682, i64 7
  %684 = load i8, ptr %683, align 1, !tbaa !17
  %685 = zext i8 %684 to i64
  %686 = or i64 %681, %685
  %687 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %688 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %687, i64 0, i64 3
  %689 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %688, i32 0, i32 0
  %690 = load i64, ptr %689, align 8, !tbaa !16
  %691 = xor i64 %690, %686
  store i64 %691, ptr %689, align 8, !tbaa !16
  br label %692

692:                                              ; preds = %640
  br label %693

693:                                              ; preds = %692
  br label %694

694:                                              ; preds = %693
  %695 = load ptr, ptr %18, align 8, !tbaa !5
  %696 = getelementptr inbounds i8, ptr %695, i64 8
  %697 = getelementptr inbounds i8, ptr %696, i64 0
  %698 = load i8, ptr %697, align 1, !tbaa !17
  %699 = zext i8 %698 to i64
  %700 = shl i64 %699, 56
  %701 = load ptr, ptr %18, align 8, !tbaa !5
  %702 = getelementptr inbounds i8, ptr %701, i64 8
  %703 = getelementptr inbounds i8, ptr %702, i64 1
  %704 = load i8, ptr %703, align 1, !tbaa !17
  %705 = zext i8 %704 to i64
  %706 = shl i64 %705, 48
  %707 = or i64 %700, %706
  %708 = load ptr, ptr %18, align 8, !tbaa !5
  %709 = getelementptr inbounds i8, ptr %708, i64 8
  %710 = getelementptr inbounds i8, ptr %709, i64 2
  %711 = load i8, ptr %710, align 1, !tbaa !17
  %712 = zext i8 %711 to i64
  %713 = shl i64 %712, 40
  %714 = or i64 %707, %713
  %715 = load ptr, ptr %18, align 8, !tbaa !5
  %716 = getelementptr inbounds i8, ptr %715, i64 8
  %717 = getelementptr inbounds i8, ptr %716, i64 3
  %718 = load i8, ptr %717, align 1, !tbaa !17
  %719 = zext i8 %718 to i64
  %720 = shl i64 %719, 32
  %721 = or i64 %714, %720
  %722 = load ptr, ptr %18, align 8, !tbaa !5
  %723 = getelementptr inbounds i8, ptr %722, i64 8
  %724 = getelementptr inbounds i8, ptr %723, i64 4
  %725 = load i8, ptr %724, align 1, !tbaa !17
  %726 = zext i8 %725 to i64
  %727 = shl i64 %726, 24
  %728 = or i64 %721, %727
  %729 = load ptr, ptr %18, align 8, !tbaa !5
  %730 = getelementptr inbounds i8, ptr %729, i64 8
  %731 = getelementptr inbounds i8, ptr %730, i64 5
  %732 = load i8, ptr %731, align 1, !tbaa !17
  %733 = zext i8 %732 to i64
  %734 = shl i64 %733, 16
  %735 = or i64 %728, %734
  %736 = load ptr, ptr %18, align 8, !tbaa !5
  %737 = getelementptr inbounds i8, ptr %736, i64 8
  %738 = getelementptr inbounds i8, ptr %737, i64 6
  %739 = load i8, ptr %738, align 1, !tbaa !17
  %740 = zext i8 %739 to i64
  %741 = shl i64 %740, 8
  %742 = or i64 %735, %741
  %743 = load ptr, ptr %18, align 8, !tbaa !5
  %744 = getelementptr inbounds i8, ptr %743, i64 8
  %745 = getelementptr inbounds i8, ptr %744, i64 7
  %746 = load i8, ptr %745, align 1, !tbaa !17
  %747 = zext i8 %746 to i64
  %748 = or i64 %742, %747
  %749 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %750 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %749, i64 0, i64 4
  %751 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %750, i32 0, i32 0
  %752 = load i64, ptr %751, align 8, !tbaa !16
  %753 = xor i64 %752, %748
  store i64 %753, ptr %751, align 8, !tbaa !16
  br label %754

754:                                              ; preds = %694
  br label %755

755:                                              ; preds = %754
  br label %756

756:                                              ; preds = %755
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  %757 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %758 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %757, i64 0, i64 3
  %759 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %758, i32 0, i32 0
  %760 = load i64, ptr %759, align 8, !tbaa !16
  %761 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %762 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %761, i64 0, i64 3
  %763 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %762, i32 0, i32 1
  %764 = load i64, ptr %763, align 8, !tbaa !11
  %765 = xor i64 %760, %764
  %766 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %767 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %766, i64 0, i64 3
  %768 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %767, i32 0, i32 2
  %769 = load i64, ptr %768, align 8, !tbaa !14
  %770 = xor i64 %765, %769
  %771 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %772 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %771, i64 0, i64 3
  %773 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %772, i32 0, i32 3
  %774 = load i64, ptr %773, align 8, !tbaa !15
  %775 = xor i64 %770, %774
  store i64 %775, ptr %20, align 8, !tbaa !18
  %776 = load i64, ptr %20, align 8, !tbaa !18
  %777 = lshr i64 %776, 56
  %778 = trunc i64 %777 to i8
  %779 = load ptr, ptr %10, align 8, !tbaa !5
  %780 = load i64, ptr %13, align 8, !tbaa !9
  %781 = getelementptr inbounds i8, ptr %779, i64 %780
  %782 = getelementptr inbounds i8, ptr %781, i64 0
  store i8 %778, ptr %782, align 1, !tbaa !17
  %783 = load i64, ptr %20, align 8, !tbaa !18
  %784 = lshr i64 %783, 48
  %785 = trunc i64 %784 to i8
  %786 = load ptr, ptr %10, align 8, !tbaa !5
  %787 = load i64, ptr %13, align 8, !tbaa !9
  %788 = getelementptr inbounds i8, ptr %786, i64 %787
  %789 = getelementptr inbounds i8, ptr %788, i64 1
  store i8 %785, ptr %789, align 1, !tbaa !17
  %790 = load i64, ptr %20, align 8, !tbaa !18
  %791 = lshr i64 %790, 40
  %792 = trunc i64 %791 to i8
  %793 = load ptr, ptr %10, align 8, !tbaa !5
  %794 = load i64, ptr %13, align 8, !tbaa !9
  %795 = getelementptr inbounds i8, ptr %793, i64 %794
  %796 = getelementptr inbounds i8, ptr %795, i64 2
  store i8 %792, ptr %796, align 1, !tbaa !17
  %797 = load i64, ptr %20, align 8, !tbaa !18
  %798 = lshr i64 %797, 32
  %799 = trunc i64 %798 to i8
  %800 = load ptr, ptr %10, align 8, !tbaa !5
  %801 = load i64, ptr %13, align 8, !tbaa !9
  %802 = getelementptr inbounds i8, ptr %800, i64 %801
  %803 = getelementptr inbounds i8, ptr %802, i64 3
  store i8 %799, ptr %803, align 1, !tbaa !17
  %804 = load i64, ptr %20, align 8, !tbaa !18
  %805 = lshr i64 %804, 24
  %806 = trunc i64 %805 to i8
  %807 = load ptr, ptr %10, align 8, !tbaa !5
  %808 = load i64, ptr %13, align 8, !tbaa !9
  %809 = getelementptr inbounds i8, ptr %807, i64 %808
  %810 = getelementptr inbounds i8, ptr %809, i64 4
  store i8 %806, ptr %810, align 1, !tbaa !17
  %811 = load i64, ptr %20, align 8, !tbaa !18
  %812 = lshr i64 %811, 16
  %813 = trunc i64 %812 to i8
  %814 = load ptr, ptr %10, align 8, !tbaa !5
  %815 = load i64, ptr %13, align 8, !tbaa !9
  %816 = getelementptr inbounds i8, ptr %814, i64 %815
  %817 = getelementptr inbounds i8, ptr %816, i64 5
  store i8 %813, ptr %817, align 1, !tbaa !17
  %818 = load i64, ptr %20, align 8, !tbaa !18
  %819 = lshr i64 %818, 8
  %820 = trunc i64 %819 to i8
  %821 = load ptr, ptr %10, align 8, !tbaa !5
  %822 = load i64, ptr %13, align 8, !tbaa !9
  %823 = getelementptr inbounds i8, ptr %821, i64 %822
  %824 = getelementptr inbounds i8, ptr %823, i64 6
  store i8 %820, ptr %824, align 1, !tbaa !17
  %825 = load i64, ptr %20, align 8, !tbaa !18
  %826 = trunc i64 %825 to i8
  %827 = load ptr, ptr %10, align 8, !tbaa !5
  %828 = load i64, ptr %13, align 8, !tbaa !9
  %829 = getelementptr inbounds i8, ptr %827, i64 %828
  %830 = getelementptr inbounds i8, ptr %829, i64 7
  store i8 %826, ptr %830, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  br label %831

831:                                              ; preds = %756
  br label %832

832:                                              ; preds = %831
  br label %833

833:                                              ; preds = %832
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #3
  %834 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %835 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %834, i64 0, i64 4
  %836 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %835, i32 0, i32 0
  %837 = load i64, ptr %836, align 8, !tbaa !16
  %838 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %839 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %838, i64 0, i64 4
  %840 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %839, i32 0, i32 1
  %841 = load i64, ptr %840, align 8, !tbaa !11
  %842 = xor i64 %837, %841
  %843 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %844 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %843, i64 0, i64 4
  %845 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %844, i32 0, i32 2
  %846 = load i64, ptr %845, align 8, !tbaa !14
  %847 = xor i64 %842, %846
  %848 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %19, i32 0, i32 0
  %849 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %848, i64 0, i64 4
  %850 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %849, i32 0, i32 3
  %851 = load i64, ptr %850, align 8, !tbaa !15
  %852 = xor i64 %847, %851
  store i64 %852, ptr %21, align 8, !tbaa !18
  %853 = load i64, ptr %21, align 8, !tbaa !18
  %854 = lshr i64 %853, 56
  %855 = trunc i64 %854 to i8
  %856 = load ptr, ptr %10, align 8, !tbaa !5
  %857 = load i64, ptr %13, align 8, !tbaa !9
  %858 = getelementptr inbounds i8, ptr %856, i64 %857
  %859 = getelementptr inbounds i8, ptr %858, i64 8
  %860 = getelementptr inbounds i8, ptr %859, i64 0
  store i8 %855, ptr %860, align 1, !tbaa !17
  %861 = load i64, ptr %21, align 8, !tbaa !18
  %862 = lshr i64 %861, 48
  %863 = trunc i64 %862 to i8
  %864 = load ptr, ptr %10, align 8, !tbaa !5
  %865 = load i64, ptr %13, align 8, !tbaa !9
  %866 = getelementptr inbounds i8, ptr %864, i64 %865
  %867 = getelementptr inbounds i8, ptr %866, i64 8
  %868 = getelementptr inbounds i8, ptr %867, i64 1
  store i8 %863, ptr %868, align 1, !tbaa !17
  %869 = load i64, ptr %21, align 8, !tbaa !18
  %870 = lshr i64 %869, 40
  %871 = trunc i64 %870 to i8
  %872 = load ptr, ptr %10, align 8, !tbaa !5
  %873 = load i64, ptr %13, align 8, !tbaa !9
  %874 = getelementptr inbounds i8, ptr %872, i64 %873
  %875 = getelementptr inbounds i8, ptr %874, i64 8
  %876 = getelementptr inbounds i8, ptr %875, i64 2
  store i8 %871, ptr %876, align 1, !tbaa !17
  %877 = load i64, ptr %21, align 8, !tbaa !18
  %878 = lshr i64 %877, 32
  %879 = trunc i64 %878 to i8
  %880 = load ptr, ptr %10, align 8, !tbaa !5
  %881 = load i64, ptr %13, align 8, !tbaa !9
  %882 = getelementptr inbounds i8, ptr %880, i64 %881
  %883 = getelementptr inbounds i8, ptr %882, i64 8
  %884 = getelementptr inbounds i8, ptr %883, i64 3
  store i8 %879, ptr %884, align 1, !tbaa !17
  %885 = load i64, ptr %21, align 8, !tbaa !18
  %886 = lshr i64 %885, 24
  %887 = trunc i64 %886 to i8
  %888 = load ptr, ptr %10, align 8, !tbaa !5
  %889 = load i64, ptr %13, align 8, !tbaa !9
  %890 = getelementptr inbounds i8, ptr %888, i64 %889
  %891 = getelementptr inbounds i8, ptr %890, i64 8
  %892 = getelementptr inbounds i8, ptr %891, i64 4
  store i8 %887, ptr %892, align 1, !tbaa !17
  %893 = load i64, ptr %21, align 8, !tbaa !18
  %894 = lshr i64 %893, 16
  %895 = trunc i64 %894 to i8
  %896 = load ptr, ptr %10, align 8, !tbaa !5
  %897 = load i64, ptr %13, align 8, !tbaa !9
  %898 = getelementptr inbounds i8, ptr %896, i64 %897
  %899 = getelementptr inbounds i8, ptr %898, i64 8
  %900 = getelementptr inbounds i8, ptr %899, i64 5
  store i8 %895, ptr %900, align 1, !tbaa !17
  %901 = load i64, ptr %21, align 8, !tbaa !18
  %902 = lshr i64 %901, 8
  %903 = trunc i64 %902 to i8
  %904 = load ptr, ptr %10, align 8, !tbaa !5
  %905 = load i64, ptr %13, align 8, !tbaa !9
  %906 = getelementptr inbounds i8, ptr %904, i64 %905
  %907 = getelementptr inbounds i8, ptr %906, i64 8
  %908 = getelementptr inbounds i8, ptr %907, i64 6
  store i8 %903, ptr %908, align 1, !tbaa !17
  %909 = load i64, ptr %21, align 8, !tbaa !18
  %910 = trunc i64 %909 to i8
  %911 = load ptr, ptr %10, align 8, !tbaa !5
  %912 = load i64, ptr %13, align 8, !tbaa !9
  %913 = getelementptr inbounds i8, ptr %911, i64 %912
  %914 = getelementptr inbounds i8, ptr %913, i64 8
  %915 = getelementptr inbounds i8, ptr %914, i64 7
  store i8 %910, ptr %915, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #3
  br label %916

916:                                              ; preds = %833
  br label %917

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

275:                                              ; 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 %164, align 8, !tbaa !14
  br label %276

276:                                              ; preds = %9, %275
  %277 = phi i64 [ %274, %9 ], [ %.pre, %275 ]
  %278 = xor i64 %277, 1
  store i64 %278, ptr %164, align 8, !tbaa !14
  call void @ascon_encrypt_masked_8(ptr noundef nonnull %10, ptr noundef %0, ptr noundef %2, i64 noundef %3, i8 noundef zeroext 6)
  %279 = load i8, ptr %8, align 1, !tbaa !15
  %280 = zext i8 %279 to i64
  %281 = shl nuw i64 %280, 56
  %282 = load i8, ptr %31, align 1, !tbaa !15
  %283 = zext i8 %282 to i64
  %284 = shl nuw nsw i64 %283, 48
  %285 = or disjoint i64 %284, %281
  %286 = load i8, ptr %36, align 1, !tbaa !15
  %287 = zext i8 %286 to i64
  %288 = shl nuw nsw i64 %287, 40
  %289 = or disjoint i64 %285, %288
  %290 = load i8, ptr %41, align 1, !tbaa !15
  %291 = zext i8 %290 to i64
  %292 = shl nuw nsw i64 %291, 32
  %293 = or disjoint i64 %289, %292
  %294 = load i8, ptr %46, align 1, !tbaa !15
  %295 = zext i8 %294 to i64
  %296 = shl nuw nsw i64 %295, 24
  %297 = or disjoint i64 %293, %296
  %298 = load i8, ptr %51, align 1, !tbaa !15
  %299 = zext i8 %298 to i64
  %300 = shl nuw nsw i64 %299, 16
  %301 = or disjoint i64 %297, %300
  %302 = load i8, ptr %56, align 1, !tbaa !15
  %303 = zext i8 %302 to i64
  %304 = shl nuw nsw i64 %303, 8
  %305 = or i64 %301, %304
  %306 = load i8, ptr %61, align 1, !tbaa !15
  %307 = zext i8 %306 to i64
  %308 = or i64 %305, %307
  %309 = load i64, ptr %22, align 8, !tbaa !14
  %310 = xor i64 %308, %309
  store i64 %310, ptr %22, align 8, !tbaa !14
  %311 = load i8, ptr %75, align 1, !tbaa !15
  %312 = zext i8 %311 to i64
  %313 = shl nuw i64 %312, 56
  %314 = load i8, ptr %79, align 1, !tbaa !15
  %315 = zext i8 %314 to i64
  %316 = shl nuw nsw i64 %315, 48
  %317 = or disjoint i64 %316, %313
  %318 = load i8, ptr %84, align 1, !tbaa !15
  %319 = zext i8 %318 to i64
  %320 = shl nuw nsw i64 %319, 40
  %321 = or disjoint i64 %317, %320
  %322 = load i8, ptr %89, align 1, !tbaa !15
  %323 = zext i8 %322 to i64
  %324 = shl nuw nsw i64 %323, 32
  %325 = or disjoint i64 %321, %324
  %326 = load i8, ptr %94, align 1, !tbaa !15
  %327 = zext i8 %326 to i64
  %328 = shl nuw nsw i64 %327, 24
  %329 = or disjoint i64 %325, %328
  %330 = load i8, ptr %99, align 1, !tbaa !15
  %331 = zext i8 %330 to i64
  %332 = shl nuw nsw i64 %331, 16
  %333 = or disjoint i64 %329, %332
  %334 = load i8, ptr %104, align 1, !tbaa !15
  %335 = zext i8 %334 to i64
  %336 = shl nuw nsw i64 %335, 8
  %337 = or i64 %333, %336
  %338 = load i8, ptr %109, align 1, !tbaa !15
  %339 = zext i8 %338 to i64
  %340 = or i64 %337, %339
  %341 = load i64, ptr %69, align 8, !tbaa !14
  %342 = xor i64 %340, %341
  store i64 %342, ptr %69, align 8, !tbaa !14
  call void @ascon_permute_masked(ptr noundef nonnull %10, i8 noundef zeroext 0) #3
  %343 = load i8, ptr %8, align 1, !tbaa !15
  %344 = zext i8 %343 to i64
  %345 = shl nuw i64 %344, 56
  %346 = load i8, ptr %31, align 1, !tbaa !15
  %347 = zext i8 %346 to i64
  %348 = shl nuw nsw i64 %347, 48
  %349 = or disjoint i64 %348, %345
  %350 = load i8, ptr %36, align 1, !tbaa !15
  %351 = zext i8 %350 to i64
  %352 = shl nuw nsw i64 %351, 40
  %353 = or disjoint i64 %349, %352
  %354 = load i8, ptr %41, align 1, !tbaa !15
  %355 = zext i8 %354 to i64
  %356 = shl nuw nsw i64 %355, 32
  %357 = or disjoint i64 %353, %356
  %358 = load i8, ptr %46, align 1, !tbaa !15
  %359 = zext i8 %358 to i64
  %360 = shl nuw nsw i64 %359, 24
  %361 = or disjoint i64 %357, %360
  %362 = load i8, ptr %51, align 1, !tbaa !15
  %363 = zext i8 %362 to i64
  %364 = shl nuw nsw i64 %363, 16
  %365 = or disjoint i64 %361, %364
  %366 = load i8, ptr %56, align 1, !tbaa !15
  %367 = zext i8 %366 to i64
  %368 = shl nuw nsw i64 %367, 8
  %369 = or i64 %365, %368
  %370 = load i8, ptr %61, align 1, !tbaa !15
  %371 = zext i8 %370 to i64
  %372 = or i64 %369, %371
  %373 = load i64, ptr %117, align 8, !tbaa !14
  %374 = xor i64 %372, %373
  store i64 %374, ptr %117, align 8, !tbaa !14
  %375 = load i8, ptr %75, align 1, !tbaa !15
  %376 = zext i8 %375 to i64
  %377 = shl nuw i64 %376, 56
  %378 = load i8, ptr %79, align 1, !tbaa !15
  %379 = zext i8 %378 to i64
  %380 = shl nuw nsw i64 %379, 48
  %381 = or disjoint i64 %380, %377
  %382 = load i8, ptr %84, align 1, !tbaa !15
  %383 = zext i8 %382 to i64
  %384 = shl nuw nsw i64 %383, 40
  %385 = or disjoint i64 %381, %384
  %386 = load i8, ptr %89, align 1, !tbaa !15
  %387 = zext i8 %386 to i64
  %388 = shl nuw nsw i64 %387, 32
  %389 = or disjoint i64 %385, %388
  %390 = load i8, ptr %94, align 1, !tbaa !15
  %391 = zext i8 %390 to i64
  %392 = shl nuw nsw i64 %391, 24
  %393 = or disjoint i64 %389, %392
  %394 = load i8, ptr %99, align 1, !tbaa !15
  %395 = zext i8 %394 to i64
  %396 = shl nuw nsw i64 %395, 16
  %397 = or disjoint i64 %393, %396
  %398 = load i8, ptr %104, align 1, !tbaa !15
  %399 = zext i8 %398 to i64
  %400 = shl nuw nsw i64 %399, 8
  %401 = or i64 %397, %400
  %402 = load i8, ptr %109, align 1, !tbaa !15
  %403 = zext i8 %402 to i64
  %404 = or i64 %401, %403
  %405 = load i64, ptr %164, align 8, !tbaa !14
  %406 = xor i64 %404, %405
  store i64 %406, ptr %164, align 8, !tbaa !14
  %407 = load i64, ptr %118, align 8, !tbaa !9
  %408 = load i64, ptr %120, align 8, !tbaa !12
  %409 = load i64, ptr %122, align 8, !tbaa !13
  %410 = xor i64 %407, %408
  %411 = xor i64 %410, %409
  %412 = xor i64 %411, %374
  %413 = lshr i64 %412, 56
  %414 = trunc nuw i64 %413 to i8
  %415 = getelementptr inbounds i8, ptr %0, i64 %3
  store i8 %414, ptr %415, align 1, !tbaa !15
  %416 = lshr i64 %412, 48
  %417 = trunc i64 %416 to i8
  %418 = getelementptr inbounds i8, ptr %415, i64 1
  store i8 %417, ptr %418, align 1, !tbaa !15
  %419 = lshr i64 %412, 40
  %420 = trunc i64 %419 to i8
  %421 = getelementptr inbounds i8, ptr %415, i64 2
  store i8 %420, ptr %421, align 1, !tbaa !15
  %422 = lshr i64 %412, 32
  %423 = trunc i64 %422 to i8
  %424 = getelementptr inbounds i8, ptr %415, i64 3
  store i8 %423, ptr %424, align 1, !tbaa !15
  %425 = lshr i64 %412, 24
  %426 = trunc i64 %425 to i8
  %427 = getelementptr inbounds i8, ptr %415, i64 4
  store i8 %426, ptr %427, align 1, !tbaa !15
  %428 = lshr i64 %412, 16
  %429 = trunc i64 %428 to i8
  %430 = getelementptr inbounds i8, ptr %415, i64 5
  store i8 %429, ptr %430, align 1, !tbaa !15
  %431 = lshr i64 %412, 8
  %432 = trunc i64 %431 to i8
  %433 = getelementptr inbounds i8, ptr %415, i64 6
  store i8 %432, ptr %433, align 1, !tbaa !15
  %434 = trunc i64 %412 to i8
  %435 = getelementptr inbounds i8, ptr %415, i64 7
  store i8 %434, ptr %435, align 1, !tbaa !15
  %436 = load i64, ptr %165, align 8, !tbaa !9
  %437 = load i64, ptr %167, align 8, !tbaa !12
  %438 = load i64, ptr %169, align 8, !tbaa !13
  %439 = xor i64 %436, %437
  %440 = xor i64 %439, %438
  %441 = xor i64 %440, %406
  %442 = lshr i64 %441, 56
  %443 = trunc nuw i64 %442 to i8
  %444 = getelementptr inbounds i8, ptr %415, i64 8
  store i8 %443, ptr %444, align 1, !tbaa !15
  %445 = lshr i64 %441, 48
  %446 = trunc i64 %445 to i8
  %447 = getelementptr inbounds i8, ptr %415, i64 9
  store i8 %446, ptr %447, align 1, !tbaa !15
  %448 = lshr i64 %441, 40
  %449 = trunc i64 %448 to i8
  %450 = getelementptr inbounds i8, ptr %415, i64 10
  store i8 %449, ptr %450, align 1, !tbaa !15
  %451 = lshr i64 %441, 32
  %452 = trunc i64 %451 to i8
  %453 = getelementptr inbounds i8, ptr %415, i64 11
  store i8 %452, ptr %453, align 1, !tbaa !15
  %454 = lshr i64 %441, 24
  %455 = trunc i64 %454 to i8
  %456 = getelementptr inbounds i8, ptr %415, i64 12
  store i8 %455, ptr %456, align 1, !tbaa !15
  %457 = lshr i64 %441, 16
  %458 = trunc i64 %457 to i8
  %459 = getelementptr inbounds i8, ptr %415, i64 13
  store i8 %458, ptr %459, align 1, !tbaa !15
  %460 = lshr i64 %441, 8
  %461 = trunc i64 %460 to i8
  %462 = getelementptr inbounds i8, ptr %415, i64 14
  store i8 %461, ptr %462, align 1, !tbaa !15
  %463 = trunc i64 %441 to i8
  %464 = getelementptr inbounds i8, ptr %415, i64 15
  store i8 %463, ptr %464, align 1, !tbaa !15
  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 = !{!10, !11, i64 0}
!15 = !{!7, !7, i64 0}


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