; 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_decrypt(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, i64 noundef %4, ptr noundef %5, i64 noundef %6, ptr noundef %7, ptr noundef %8) #0 {
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i64, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i64, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca %struct.ascon_masked_state_t, align 8
  %21 = alloca [16 x i8], align 16
  %22 = alloca i32, align 4
  %23 = alloca i64, align 8
  %24 = alloca i64, align 8
  store ptr %0, ptr %11, align 8, !tbaa !5
  store ptr %1, ptr %12, align 8, !tbaa !5
  store ptr %2, ptr %13, align 8, !tbaa !5
  store ptr %3, ptr %14, align 8, !tbaa !5
  store i64 %4, ptr %15, align 8, !tbaa !9
  store ptr %5, ptr %16, align 8, !tbaa !5
  store i64 %6, ptr %17, align 8, !tbaa !9
  store ptr %7, ptr %18, align 8, !tbaa !5
  store ptr %8, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 160, ptr %20) #3
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #3
  %25 = load ptr, ptr %13, align 8, !tbaa !5
  %26 = load i64, ptr %15, align 8, !tbaa !9
  %27 = icmp ult i64 %26, 16
  br i1 %27, label %28, label %29

28:                                               ; preds = %9
  store i32 -1, ptr %10, align 4
  store i32 1, ptr %22, align 4
  br label %895

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

33:                                               ; preds = %29
  %34 = call i64 @aead_random_generate_64()
  %35 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %36 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %35, i64 0, i64 0
  %37 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %36, i32 0, i32 1
  store i64 %34, ptr %37, align 8, !tbaa !11
  %38 = call i64 @aead_random_generate_64()
  %39 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, 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 2
  store i64 %38, ptr %41, align 8, !tbaa !14
  %42 = call i64 @aead_random_generate_64()
  %43 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %44 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %43, i64 0, i64 0
  %45 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %44, i32 0, i32 3
  store i64 %42, ptr %45, align 8, !tbaa !15
  %46 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %47 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %46, i64 0, i64 0
  %48 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %47, i32 0, i32 1
  %49 = load i64, ptr %48, align 8, !tbaa !11
  %50 = xor i64 -9205344418435956736, %49
  %51 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %52 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %51, i64 0, i64 0
  %53 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %52, i32 0, i32 2
  %54 = load i64, ptr %53, align 8, !tbaa !14
  %55 = xor i64 %50, %54
  %56 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %57 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %56, i64 0, i64 0
  %58 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %57, i32 0, i32 3
  %59 = load i64, ptr %58, align 8, !tbaa !15
  %60 = xor i64 %55, %59
  %61 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %62 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %61, i64 0, i64 0
  %63 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %62, i32 0, i32 0
  store i64 %60, ptr %63, align 8, !tbaa !16
  br label %64

64:                                               ; preds = %33
  br label %65

65:                                               ; preds = %64
  br label %66

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

143:                                              ; preds = %66
  br label %144

144:                                              ; preds = %143
  br label %145

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

230:                                              ; preds = %145
  br label %231

231:                                              ; preds = %230
  br label %232

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

309:                                              ; preds = %232
  br label %310

310:                                              ; preds = %309
  br label %311

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

396:                                              ; preds = %311
  br label %397

397:                                              ; preds = %396
  call void @ascon_permute_masked(ptr noundef %20, i8 noundef zeroext 0)
  br label %398

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

450:                                              ; preds = %398
  br label %451

451:                                              ; preds = %450
  br label %452

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

512:                                              ; preds = %452
  br label %513

513:                                              ; preds = %512
  %514 = load i64, ptr %17, align 8, !tbaa !9
  %515 = icmp ugt i64 %514, 0
  br i1 %515, label %516, label %519

516:                                              ; preds = %513
  %517 = load ptr, ptr %16, align 8, !tbaa !5
  %518 = load i64, ptr %17, align 8, !tbaa !9
  call void @ascon_absorb_masked_8(ptr noundef %20, ptr noundef %517, i64 noundef %518, i8 noundef zeroext 6)
  br label %519

519:                                              ; preds = %516, %513
  br label %520

520:                                              ; preds = %519
  %521 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %522 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %521, i64 0, i64 4
  %523 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %522, i32 0, i32 0
  %524 = load i64, ptr %523, align 8, !tbaa !16
  %525 = xor i64 %524, 1
  store i64 %525, ptr %523, align 8, !tbaa !16
  br label %526

526:                                              ; preds = %520
  br label %527

527:                                              ; preds = %526
  %528 = load ptr, ptr %11, align 8, !tbaa !5
  %529 = load ptr, ptr %14, align 8, !tbaa !5
  %530 = load ptr, ptr %12, align 8, !tbaa !5
  %531 = load i64, ptr %530, align 8, !tbaa !9
  call void @ascon_decrypt_masked_8(ptr noundef %20, ptr noundef %528, ptr noundef %529, i64 noundef %531, i8 noundef zeroext 6)
  br label %532

532:                                              ; preds = %527
  %533 = load ptr, ptr %19, align 8, !tbaa !5
  %534 = getelementptr inbounds i8, ptr %533, i64 0
  %535 = load i8, ptr %534, align 1, !tbaa !17
  %536 = zext i8 %535 to i64
  %537 = shl i64 %536, 56
  %538 = load ptr, ptr %19, align 8, !tbaa !5
  %539 = getelementptr inbounds i8, ptr %538, i64 1
  %540 = load i8, ptr %539, align 1, !tbaa !17
  %541 = zext i8 %540 to i64
  %542 = shl i64 %541, 48
  %543 = or i64 %537, %542
  %544 = load ptr, ptr %19, align 8, !tbaa !5
  %545 = getelementptr inbounds i8, ptr %544, i64 2
  %546 = load i8, ptr %545, align 1, !tbaa !17
  %547 = zext i8 %546 to i64
  %548 = shl i64 %547, 40
  %549 = or i64 %543, %548
  %550 = load ptr, ptr %19, align 8, !tbaa !5
  %551 = getelementptr inbounds i8, ptr %550, i64 3
  %552 = load i8, ptr %551, align 1, !tbaa !17
  %553 = zext i8 %552 to i64
  %554 = shl i64 %553, 32
  %555 = or i64 %549, %554
  %556 = load ptr, ptr %19, align 8, !tbaa !5
  %557 = getelementptr inbounds i8, ptr %556, i64 4
  %558 = load i8, ptr %557, align 1, !tbaa !17
  %559 = zext i8 %558 to i64
  %560 = shl i64 %559, 24
  %561 = or i64 %555, %560
  %562 = load ptr, ptr %19, align 8, !tbaa !5
  %563 = getelementptr inbounds i8, ptr %562, i64 5
  %564 = load i8, ptr %563, align 1, !tbaa !17
  %565 = zext i8 %564 to i64
  %566 = shl i64 %565, 16
  %567 = or i64 %561, %566
  %568 = load ptr, ptr %19, align 8, !tbaa !5
  %569 = getelementptr inbounds i8, ptr %568, i64 6
  %570 = load i8, ptr %569, align 1, !tbaa !17
  %571 = zext i8 %570 to i64
  %572 = shl i64 %571, 8
  %573 = or i64 %567, %572
  %574 = load ptr, ptr %19, align 8, !tbaa !5
  %575 = getelementptr inbounds i8, ptr %574, i64 7
  %576 = load i8, ptr %575, align 1, !tbaa !17
  %577 = zext i8 %576 to i64
  %578 = or i64 %573, %577
  %579 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %580 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %579, i64 0, i64 1
  %581 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %580, i32 0, i32 0
  %582 = load i64, ptr %581, align 8, !tbaa !16
  %583 = xor i64 %582, %578
  store i64 %583, ptr %581, align 8, !tbaa !16
  br label %584

584:                                              ; preds = %532
  br label %585

585:                                              ; preds = %584
  br label %586

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

646:                                              ; preds = %586
  br label %647

647:                                              ; preds = %646
  call void @ascon_permute_masked(ptr noundef %20, i8 noundef zeroext 0)
  br label %648

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

700:                                              ; preds = %648
  br label %701

701:                                              ; preds = %700
  br label %702

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

762:                                              ; preds = %702
  br label %763

763:                                              ; preds = %762
  br label %764

764:                                              ; preds = %763
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #3
  %765 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %766 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %765, i64 0, i64 3
  %767 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %766, i32 0, i32 0
  %768 = load i64, ptr %767, align 8, !tbaa !16
  %769 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %770 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %769, i64 0, i64 3
  %771 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %770, i32 0, i32 1
  %772 = load i64, ptr %771, align 8, !tbaa !11
  %773 = xor i64 %768, %772
  %774 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %775 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %774, i64 0, i64 3
  %776 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %775, i32 0, i32 2
  %777 = load i64, ptr %776, align 8, !tbaa !14
  %778 = xor i64 %773, %777
  %779 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %780 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %779, i64 0, i64 3
  %781 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %780, i32 0, i32 3
  %782 = load i64, ptr %781, align 8, !tbaa !15
  %783 = xor i64 %778, %782
  store i64 %783, ptr %23, align 8, !tbaa !18
  %784 = load i64, ptr %23, align 8, !tbaa !18
  %785 = lshr i64 %784, 56
  %786 = trunc i64 %785 to i8
  %787 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store i8 %786, ptr %787, align 16, !tbaa !17
  %788 = load i64, ptr %23, align 8, !tbaa !18
  %789 = lshr i64 %788, 48
  %790 = trunc i64 %789 to i8
  %791 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 1
  store i8 %790, ptr %791, align 1, !tbaa !17
  %792 = load i64, ptr %23, align 8, !tbaa !18
  %793 = lshr i64 %792, 40
  %794 = trunc i64 %793 to i8
  %795 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 2
  store i8 %794, ptr %795, align 2, !tbaa !17
  %796 = load i64, ptr %23, align 8, !tbaa !18
  %797 = lshr i64 %796, 32
  %798 = trunc i64 %797 to i8
  %799 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 3
  store i8 %798, ptr %799, align 1, !tbaa !17
  %800 = load i64, ptr %23, align 8, !tbaa !18
  %801 = lshr i64 %800, 24
  %802 = trunc i64 %801 to i8
  %803 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 4
  store i8 %802, ptr %803, align 4, !tbaa !17
  %804 = load i64, ptr %23, align 8, !tbaa !18
  %805 = lshr i64 %804, 16
  %806 = trunc i64 %805 to i8
  %807 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 5
  store i8 %806, ptr %807, align 1, !tbaa !17
  %808 = load i64, ptr %23, align 8, !tbaa !18
  %809 = lshr i64 %808, 8
  %810 = trunc i64 %809 to i8
  %811 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 6
  store i8 %810, ptr %811, align 2, !tbaa !17
  %812 = load i64, ptr %23, align 8, !tbaa !18
  %813 = trunc i64 %812 to i8
  %814 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 7
  store i8 %813, ptr %814, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #3
  br label %815

815:                                              ; preds = %764
  br label %816

816:                                              ; preds = %815
  br label %817

817:                                              ; preds = %816
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #3
  %818 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %819 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %818, i64 0, i64 4
  %820 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %819, i32 0, i32 0
  %821 = load i64, ptr %820, align 8, !tbaa !16
  %822 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %823 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %822, i64 0, i64 4
  %824 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %823, i32 0, i32 1
  %825 = load i64, ptr %824, align 8, !tbaa !11
  %826 = xor i64 %821, %825
  %827 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %828 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %827, i64 0, i64 4
  %829 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %828, i32 0, i32 2
  %830 = load i64, ptr %829, align 8, !tbaa !14
  %831 = xor i64 %826, %830
  %832 = getelementptr inbounds %struct.ascon_masked_state_t, ptr %20, i32 0, i32 0
  %833 = getelementptr inbounds [5 x %struct.mask_x4_uint64_t], ptr %832, i64 0, i64 4
  %834 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %833, i32 0, i32 3
  %835 = load i64, ptr %834, align 8, !tbaa !15
  %836 = xor i64 %831, %835
  store i64 %836, ptr %24, align 8, !tbaa !18
  %837 = load i64, ptr %24, align 8, !tbaa !18
  %838 = lshr i64 %837, 56
  %839 = trunc i64 %838 to i8
  %840 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %841 = getelementptr inbounds i8, ptr %840, i64 8
  %842 = getelementptr inbounds i8, ptr %841, i64 0
  store i8 %839, ptr %842, align 1, !tbaa !17
  %843 = load i64, ptr %24, align 8, !tbaa !18
  %844 = lshr i64 %843, 48
  %845 = trunc i64 %844 to i8
  %846 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %847 = getelementptr inbounds i8, ptr %846, i64 8
  %848 = getelementptr inbounds i8, ptr %847, i64 1
  store i8 %845, ptr %848, align 1, !tbaa !17
  %849 = load i64, ptr %24, align 8, !tbaa !18
  %850 = lshr i64 %849, 40
  %851 = trunc i64 %850 to i8
  %852 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %853 = getelementptr inbounds i8, ptr %852, i64 8
  %854 = getelementptr inbounds i8, ptr %853, i64 2
  store i8 %851, ptr %854, align 1, !tbaa !17
  %855 = load i64, ptr %24, align 8, !tbaa !18
  %856 = lshr i64 %855, 32
  %857 = trunc i64 %856 to i8
  %858 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %859 = getelementptr inbounds i8, ptr %858, i64 8
  %860 = getelementptr inbounds i8, ptr %859, i64 3
  store i8 %857, ptr %860, align 1, !tbaa !17
  %861 = load i64, ptr %24, align 8, !tbaa !18
  %862 = lshr i64 %861, 24
  %863 = trunc i64 %862 to i8
  %864 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %865 = getelementptr inbounds i8, ptr %864, i64 8
  %866 = getelementptr inbounds i8, ptr %865, i64 4
  store i8 %863, ptr %866, align 1, !tbaa !17
  %867 = load i64, ptr %24, align 8, !tbaa !18
  %868 = lshr i64 %867, 16
  %869 = trunc i64 %868 to i8
  %870 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %871 = getelementptr inbounds i8, ptr %870, i64 8
  %872 = getelementptr inbounds i8, ptr %871, i64 5
  store i8 %869, ptr %872, align 1, !tbaa !17
  %873 = load i64, ptr %24, align 8, !tbaa !18
  %874 = lshr i64 %873, 8
  %875 = trunc i64 %874 to i8
  %876 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %877 = getelementptr inbounds i8, ptr %876, i64 8
  %878 = getelementptr inbounds i8, ptr %877, i64 6
  store i8 %875, ptr %878, align 1, !tbaa !17
  %879 = load i64, ptr %24, align 8, !tbaa !18
  %880 = trunc i64 %879 to i8
  %881 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %882 = getelementptr inbounds i8, ptr %881, i64 8
  %883 = getelementptr inbounds i8, ptr %882, i64 7
  store i8 %880, ptr %883, align 1, !tbaa !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #3
  br label %884

884:                                              ; preds = %817
  br label %885

885:                                              ; preds = %884
  call void @aead_random_finish()
  %886 = load ptr, ptr %11, align 8, !tbaa !5
  %887 = load ptr, ptr %12, align 8, !tbaa !5
  %888 = load i64, ptr %887, align 8, !tbaa !9
  %889 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %890 = load ptr, ptr %14, align 8, !tbaa !5
  %891 = load ptr, ptr %12, align 8, !tbaa !5
  %892 = load i64, ptr %891, align 8, !tbaa !9
  %893 = getelementptr inbounds i8, ptr %890, i64 %892
  %894 = call i32 @aead_check_tag(ptr noundef %886, i64 noundef %888, ptr noundef %889, ptr noundef %893, i32 noundef 16)
  store i32 %894, ptr %10, align 4
  store i32 1, ptr %22, align 4
  br label %895

895:                                              ; preds = %885, %28
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 160, ptr %20) #3
  %896 = load i32, ptr %10, align 4
  ret i32 %896
}

; 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: 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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long long", !7, i64 0}
!11 = !{!12, !13, i64 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 i32 @ascon128_masked_aead_decrypt(ptr noundef %0, ptr nocapture noundef %1, ptr nocapture noundef readnone %2, ptr noundef %3, i64 noundef %4, ptr noundef %5, i64 noundef %6, ptr nocapture noundef readonly %7, ptr nocapture noundef readonly %8) local_unnamed_addr #0 {
  %10 = alloca %struct.ascon_masked_state_t, align 8
  %11 = alloca [16 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %10) #3
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %11) #3
  %12 = icmp ult i64 %4, 16
  br i1 %12, label %471, label %13

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

278:                                              ; preds = %13
  call void @ascon_absorb_masked_8(ptr noundef nonnull %10, ptr noundef %5, i64 noundef %6, i8 noundef zeroext 6)
  %.pre = load i64, ptr %167, align 8, !tbaa !14
  br label %279

279:                                              ; preds = %13, %278
  %280 = phi i64 [ %277, %13 ], [ %.pre, %278 ]
  %281 = xor i64 %280, 1
  store i64 %281, ptr %167, align 8, !tbaa !14
  %282 = load i64, ptr %1, align 8, !tbaa !5
  call void @ascon_decrypt_masked_8(ptr noundef nonnull %10, ptr noundef %0, ptr noundef %3, i64 noundef %282, i8 noundef zeroext 6)
  %283 = load i8, ptr %8, align 1, !tbaa !15
  %284 = zext i8 %283 to i64
  %285 = shl nuw i64 %284, 56
  %286 = load i8, ptr %34, align 1, !tbaa !15
  %287 = zext i8 %286 to i64
  %288 = shl nuw nsw i64 %287, 48
  %289 = or disjoint i64 %288, %285
  %290 = load i8, ptr %39, align 1, !tbaa !15
  %291 = zext i8 %290 to i64
  %292 = shl nuw nsw i64 %291, 40
  %293 = or disjoint i64 %289, %292
  %294 = load i8, ptr %44, align 1, !tbaa !15
  %295 = zext i8 %294 to i64
  %296 = shl nuw nsw i64 %295, 32
  %297 = or disjoint i64 %293, %296
  %298 = load i8, ptr %49, align 1, !tbaa !15
  %299 = zext i8 %298 to i64
  %300 = shl nuw nsw i64 %299, 24
  %301 = or disjoint i64 %297, %300
  %302 = load i8, ptr %54, align 1, !tbaa !15
  %303 = zext i8 %302 to i64
  %304 = shl nuw nsw i64 %303, 16
  %305 = or disjoint i64 %301, %304
  %306 = load i8, ptr %59, align 1, !tbaa !15
  %307 = zext i8 %306 to i64
  %308 = shl nuw nsw i64 %307, 8
  %309 = or i64 %305, %308
  %310 = load i8, ptr %64, align 1, !tbaa !15
  %311 = zext i8 %310 to i64
  %312 = or i64 %309, %311
  %313 = load i64, ptr %25, align 8, !tbaa !14
  %314 = xor i64 %312, %313
  store i64 %314, ptr %25, align 8, !tbaa !14
  %315 = load i8, ptr %78, align 1, !tbaa !15
  %316 = zext i8 %315 to i64
  %317 = shl nuw i64 %316, 56
  %318 = load i8, ptr %82, align 1, !tbaa !15
  %319 = zext i8 %318 to i64
  %320 = shl nuw nsw i64 %319, 48
  %321 = or disjoint i64 %320, %317
  %322 = load i8, ptr %87, align 1, !tbaa !15
  %323 = zext i8 %322 to i64
  %324 = shl nuw nsw i64 %323, 40
  %325 = or disjoint i64 %321, %324
  %326 = load i8, ptr %92, align 1, !tbaa !15
  %327 = zext i8 %326 to i64
  %328 = shl nuw nsw i64 %327, 32
  %329 = or disjoint i64 %325, %328
  %330 = load i8, ptr %97, align 1, !tbaa !15
  %331 = zext i8 %330 to i64
  %332 = shl nuw nsw i64 %331, 24
  %333 = or disjoint i64 %329, %332
  %334 = load i8, ptr %102, align 1, !tbaa !15
  %335 = zext i8 %334 to i64
  %336 = shl nuw nsw i64 %335, 16
  %337 = or disjoint i64 %333, %336
  %338 = load i8, ptr %107, align 1, !tbaa !15
  %339 = zext i8 %338 to i64
  %340 = shl nuw nsw i64 %339, 8
  %341 = or i64 %337, %340
  %342 = load i8, ptr %112, align 1, !tbaa !15
  %343 = zext i8 %342 to i64
  %344 = or i64 %341, %343
  %345 = load i64, ptr %72, align 8, !tbaa !14
  %346 = xor i64 %344, %345
  store i64 %346, ptr %72, align 8, !tbaa !14
  call void @ascon_permute_masked(ptr noundef nonnull %10, i8 noundef zeroext 0) #3
  %347 = load i8, ptr %8, align 1, !tbaa !15
  %348 = zext i8 %347 to i64
  %349 = shl nuw i64 %348, 56
  %350 = load i8, ptr %34, align 1, !tbaa !15
  %351 = zext i8 %350 to i64
  %352 = shl nuw nsw i64 %351, 48
  %353 = or disjoint i64 %352, %349
  %354 = load i8, ptr %39, align 1, !tbaa !15
  %355 = zext i8 %354 to i64
  %356 = shl nuw nsw i64 %355, 40
  %357 = or disjoint i64 %353, %356
  %358 = load i8, ptr %44, align 1, !tbaa !15
  %359 = zext i8 %358 to i64
  %360 = shl nuw nsw i64 %359, 32
  %361 = or disjoint i64 %357, %360
  %362 = load i8, ptr %49, align 1, !tbaa !15
  %363 = zext i8 %362 to i64
  %364 = shl nuw nsw i64 %363, 24
  %365 = or disjoint i64 %361, %364
  %366 = load i8, ptr %54, align 1, !tbaa !15
  %367 = zext i8 %366 to i64
  %368 = shl nuw nsw i64 %367, 16
  %369 = or disjoint i64 %365, %368
  %370 = load i8, ptr %59, align 1, !tbaa !15
  %371 = zext i8 %370 to i64
  %372 = shl nuw nsw i64 %371, 8
  %373 = or i64 %369, %372
  %374 = load i8, ptr %64, align 1, !tbaa !15
  %375 = zext i8 %374 to i64
  %376 = or i64 %373, %375
  %377 = load i64, ptr %120, align 8, !tbaa !14
  %378 = xor i64 %376, %377
  store i64 %378, ptr %120, align 8, !tbaa !14
  %379 = load i8, ptr %78, align 1, !tbaa !15
  %380 = zext i8 %379 to i64
  %381 = shl nuw i64 %380, 56
  %382 = load i8, ptr %82, align 1, !tbaa !15
  %383 = zext i8 %382 to i64
  %384 = shl nuw nsw i64 %383, 48
  %385 = or disjoint i64 %384, %381
  %386 = load i8, ptr %87, align 1, !tbaa !15
  %387 = zext i8 %386 to i64
  %388 = shl nuw nsw i64 %387, 40
  %389 = or disjoint i64 %385, %388
  %390 = load i8, ptr %92, align 1, !tbaa !15
  %391 = zext i8 %390 to i64
  %392 = shl nuw nsw i64 %391, 32
  %393 = or disjoint i64 %389, %392
  %394 = load i8, ptr %97, align 1, !tbaa !15
  %395 = zext i8 %394 to i64
  %396 = shl nuw nsw i64 %395, 24
  %397 = or disjoint i64 %393, %396
  %398 = load i8, ptr %102, align 1, !tbaa !15
  %399 = zext i8 %398 to i64
  %400 = shl nuw nsw i64 %399, 16
  %401 = or disjoint i64 %397, %400
  %402 = load i8, ptr %107, align 1, !tbaa !15
  %403 = zext i8 %402 to i64
  %404 = shl nuw nsw i64 %403, 8
  %405 = or i64 %401, %404
  %406 = load i8, ptr %112, align 1, !tbaa !15
  %407 = zext i8 %406 to i64
  %408 = or i64 %405, %407
  %409 = load i64, ptr %167, align 8, !tbaa !14
  %410 = xor i64 %408, %409
  store i64 %410, ptr %167, align 8, !tbaa !14
  %411 = load i64, ptr %121, align 8, !tbaa !9
  %412 = load i64, ptr %123, align 8, !tbaa !12
  %413 = load i64, ptr %125, align 8, !tbaa !13
  %414 = xor i64 %411, %412
  %415 = xor i64 %414, %413
  %416 = xor i64 %415, %378
  %417 = lshr i64 %416, 56
  %418 = trunc nuw i64 %417 to i8
  store i8 %418, ptr %11, align 16, !tbaa !15
  %419 = lshr i64 %416, 48
  %420 = trunc i64 %419 to i8
  %421 = getelementptr inbounds i8, ptr %11, i64 1
  store i8 %420, ptr %421, align 1, !tbaa !15
  %422 = lshr i64 %416, 40
  %423 = trunc i64 %422 to i8
  %424 = getelementptr inbounds i8, ptr %11, i64 2
  store i8 %423, ptr %424, align 2, !tbaa !15
  %425 = lshr i64 %416, 32
  %426 = trunc i64 %425 to i8
  %427 = getelementptr inbounds i8, ptr %11, i64 3
  store i8 %426, ptr %427, align 1, !tbaa !15
  %428 = lshr i64 %416, 24
  %429 = trunc i64 %428 to i8
  %430 = getelementptr inbounds i8, ptr %11, i64 4
  store i8 %429, ptr %430, align 4, !tbaa !15
  %431 = lshr i64 %416, 16
  %432 = trunc i64 %431 to i8
  %433 = getelementptr inbounds i8, ptr %11, i64 5
  store i8 %432, ptr %433, align 1, !tbaa !15
  %434 = lshr i64 %416, 8
  %435 = trunc i64 %434 to i8
  %436 = getelementptr inbounds i8, ptr %11, i64 6
  store i8 %435, ptr %436, align 2, !tbaa !15
  %437 = trunc i64 %416 to i8
  %438 = getelementptr inbounds i8, ptr %11, i64 7
  store i8 %437, ptr %438, align 1, !tbaa !15
  %439 = load i64, ptr %168, align 8, !tbaa !9
  %440 = load i64, ptr %170, align 8, !tbaa !12
  %441 = load i64, ptr %172, align 8, !tbaa !13
  %442 = xor i64 %439, %440
  %443 = xor i64 %442, %441
  %444 = xor i64 %443, %410
  %445 = lshr i64 %444, 56
  %446 = trunc nuw i64 %445 to i8
  %447 = getelementptr inbounds i8, ptr %11, i64 8
  store i8 %446, ptr %447, align 8, !tbaa !15
  %448 = lshr i64 %444, 48
  %449 = trunc i64 %448 to i8
  %450 = getelementptr inbounds i8, ptr %11, i64 9
  store i8 %449, ptr %450, align 1, !tbaa !15
  %451 = lshr i64 %444, 40
  %452 = trunc i64 %451 to i8
  %453 = getelementptr inbounds i8, ptr %11, i64 10
  store i8 %452, ptr %453, align 2, !tbaa !15
  %454 = lshr i64 %444, 32
  %455 = trunc i64 %454 to i8
  %456 = getelementptr inbounds i8, ptr %11, i64 11
  store i8 %455, ptr %456, align 1, !tbaa !15
  %457 = lshr i64 %444, 24
  %458 = trunc i64 %457 to i8
  %459 = getelementptr inbounds i8, ptr %11, i64 12
  store i8 %458, ptr %459, align 4, !tbaa !15
  %460 = lshr i64 %444, 16
  %461 = trunc i64 %460 to i8
  %462 = getelementptr inbounds i8, ptr %11, i64 13
  store i8 %461, ptr %462, align 1, !tbaa !15
  %463 = lshr i64 %444, 8
  %464 = trunc i64 %463 to i8
  %465 = getelementptr inbounds i8, ptr %11, i64 14
  store i8 %464, ptr %465, align 2, !tbaa !15
  %466 = trunc i64 %444 to i8
  %467 = getelementptr inbounds i8, ptr %11, i64 15
  store i8 %466, ptr %467, align 1, !tbaa !15
  call void @aead_random_finish() #3
  %468 = load i64, ptr %1, align 8, !tbaa !5
  %469 = getelementptr inbounds i8, ptr %3, i64 %468
  %470 = call i32 @aead_check_tag(ptr noundef %0, i64 noundef %468, ptr noundef nonnull %11, ptr noundef %469, i32 noundef 16) #3
  br label %471

471:                                              ; preds = %9, %279
  %.0 = phi i32 [ %470, %279 ], [ -1, %9 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #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: 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

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

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

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

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

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