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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @forkae_saef_128_192_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 [32 x i8], align 16
  %21 = alloca [16 x i8], align 16
  %22 = alloca [16 x i8], align 16
  %23 = alloca ptr, align 8
  %24 = alloca i32, align 4
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca i32, align 4
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca i32, align 4
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca i32, align 4
  %39 = alloca ptr, align 8
  %40 = alloca ptr, align 8
  %41 = alloca i32, align 4
  %42 = alloca ptr, align 8
  %43 = alloca ptr, align 8
  %44 = alloca ptr, align 8
  %45 = alloca i32, align 4
  %46 = alloca ptr, align 8
  %47 = alloca ptr, align 8
  %48 = alloca i32, align 4
  %49 = alloca i32, align 4
  %50 = alloca [16 x i8], align 16
  %51 = alloca i32, align 4
  %52 = alloca ptr, align 8
  %53 = alloca ptr, align 8
  %54 = alloca ptr, align 8
  %55 = alloca i32, align 4
  %56 = alloca ptr, align 8
  %57 = alloca ptr, align 8
  %58 = alloca i32, align 4
  store ptr %0, ptr %11, align 8, !tbaa !5
  store ptr %1, ptr %12, align 8, !tbaa !5
  store ptr %2, ptr %13, align 8, !tbaa !5
  store ptr %3, ptr %14, align 8, !tbaa !5
  store i64 %4, ptr %15, align 8, !tbaa !9
  store ptr %5, ptr %16, align 8, !tbaa !5
  store i64 %6, ptr %17, align 8, !tbaa !9
  store ptr %7, ptr %18, align 8, !tbaa !5
  store ptr %8, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %20) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #6
  %59 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %59, ptr %23, align 8, !tbaa !5
  %60 = load ptr, ptr %13, align 8, !tbaa !5
  %61 = load i64, ptr %15, align 8, !tbaa !9
  %62 = icmp ult i64 %61, 16
  br i1 %62, label %63, label %64

63:                                               ; preds = %9
  store i32 -1, ptr %10, align 4
  store i32 1, ptr %24, align 4
  br label %442

64:                                               ; preds = %9
  %65 = load i64, ptr %15, align 8, !tbaa !9
  %66 = sub i64 %65, 16
  store i64 %66, ptr %15, align 8, !tbaa !9
  %67 = load i64, ptr %15, align 8, !tbaa !9
  %68 = load ptr, ptr %12, align 8, !tbaa !5
  store i64 %67, ptr %68, align 8, !tbaa !9
  %69 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %70 = load ptr, ptr %19, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %69, ptr align 1 %70, i64 16, i1 false)
  %71 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %72 = getelementptr inbounds i8, ptr %71, i64 16
  %73 = load ptr, ptr %18, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %72, ptr align 1 %73, i64 7, i1 false)
  %74 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %75 = getelementptr inbounds i8, ptr %74, i64 16
  %76 = getelementptr inbounds i8, ptr %75, i64 7
  call void @llvm.memset.p0.i64(ptr align 1 %76, i8 0, i64 9, i1 false)
  %77 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 23
  store i8 8, ptr %77, align 1, !tbaa !11
  %78 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  call void @llvm.memset.p0.i64(ptr align 16 %78, i8 0, i64 16, i1 false)
  %79 = load i64, ptr %17, align 8, !tbaa !9
  %80 = icmp ugt i64 %79, 0
  br i1 %80, label %84, label %81

81:                                               ; preds = %64
  %82 = load i64, ptr %15, align 8, !tbaa !9
  %83 = icmp eq i64 %82, 0
  br i1 %83, label %84, label %216

84:                                               ; preds = %81, %64
  br label %85

85:                                               ; preds = %110, %84
  %86 = load i64, ptr %17, align 8, !tbaa !9
  %87 = icmp ugt i64 %86, 16
  br i1 %87, label %88, label %120

88:                                               ; preds = %85
  br label %89

89:                                               ; preds = %88
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #6
  %90 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %90, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #6
  %91 = load ptr, ptr %16, align 8, !tbaa !5
  store ptr %91, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #6
  store i32 16, ptr %27, align 4, !tbaa !12
  br label %92

92:                                               ; preds = %95, %89
  %93 = load i32, ptr %27, align 4, !tbaa !12
  %94 = icmp ugt i32 %93, 0
  br i1 %94, label %95, label %108

95:                                               ; preds = %92
  %96 = load ptr, ptr %26, align 8, !tbaa !5
  %97 = getelementptr inbounds i8, ptr %96, i32 1
  store ptr %97, ptr %26, align 8, !tbaa !5
  %98 = load i8, ptr %96, align 1, !tbaa !11
  %99 = zext i8 %98 to i32
  %100 = load ptr, ptr %25, align 8, !tbaa !5
  %101 = getelementptr inbounds i8, ptr %100, i32 1
  store ptr %101, ptr %25, align 8, !tbaa !5
  %102 = load i8, ptr %100, align 1, !tbaa !11
  %103 = zext i8 %102 to i32
  %104 = xor i32 %103, %99
  %105 = trunc i32 %104 to i8
  store i8 %105, ptr %100, align 1, !tbaa !11
  %106 = load i32, ptr %27, align 4, !tbaa !12
  %107 = add i32 %106, -1
  store i32 %107, ptr %27, align 4, !tbaa !12
  br label %92, !llvm.loop !14

108:                                              ; preds = %92
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #6
  br label %109

109:                                              ; preds = %108
  br label %110

110:                                              ; preds = %109
  %111 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %112 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %113 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  call void @forkskinny_128_256_encrypt(ptr noundef %111, ptr noundef null, ptr noundef %112, ptr noundef %113)
  %114 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %115 = getelementptr inbounds i8, ptr %114, i64 16
  call void @llvm.memset.p0.i64(ptr align 1 %115, i8 0, i64 16, i1 false)
  %116 = load ptr, ptr %16, align 8, !tbaa !5
  %117 = getelementptr inbounds i8, ptr %116, i64 16
  store ptr %117, ptr %16, align 8, !tbaa !5
  %118 = load i64, ptr %17, align 8, !tbaa !9
  %119 = sub i64 %118, 16
  store i64 %119, ptr %17, align 8, !tbaa !9
  br label %85, !llvm.loop !16

120:                                              ; preds = %85
  %121 = load i64, ptr %15, align 8, !tbaa !9
  %122 = icmp eq i64 %121, 0
  br i1 %122, label %123, label %129

123:                                              ; preds = %120
  %124 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 23
  %125 = load i8, ptr %124, align 1, !tbaa !11
  %126 = zext i8 %125 to i32
  %127 = xor i32 %126, 4
  %128 = trunc i32 %127 to i8
  store i8 %128, ptr %124, align 1, !tbaa !11
  br label %129

129:                                              ; preds = %123, %120
  %130 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 23
  %131 = load i8, ptr %130, align 1, !tbaa !11
  %132 = zext i8 %131 to i32
  %133 = xor i32 %132, 2
  %134 = trunc i32 %133 to i8
  store i8 %134, ptr %130, align 1, !tbaa !11
  %135 = load i64, ptr %17, align 8, !tbaa !9
  %136 = icmp eq i64 %135, 16
  br i1 %136, label %137, label %165

137:                                              ; preds = %129
  br label %138

138:                                              ; preds = %137
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #6
  %139 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %139, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #6
  %140 = load ptr, ptr %16, align 8, !tbaa !5
  store ptr %140, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #6
  store i32 16, ptr %30, align 4, !tbaa !12
  br label %141

141:                                              ; preds = %144, %138
  %142 = load i32, ptr %30, align 4, !tbaa !12
  %143 = icmp ugt i32 %142, 0
  br i1 %143, label %144, label %157

144:                                              ; preds = %141
  %145 = load ptr, ptr %29, align 8, !tbaa !5
  %146 = getelementptr inbounds i8, ptr %145, i32 1
  store ptr %146, ptr %29, align 8, !tbaa !5
  %147 = load i8, ptr %145, align 1, !tbaa !11
  %148 = zext i8 %147 to i32
  %149 = load ptr, ptr %28, align 8, !tbaa !5
  %150 = getelementptr inbounds i8, ptr %149, i32 1
  store ptr %150, ptr %28, align 8, !tbaa !5
  %151 = load i8, ptr %149, align 1, !tbaa !11
  %152 = zext i8 %151 to i32
  %153 = xor i32 %152, %148
  %154 = trunc i32 %153 to i8
  store i8 %154, ptr %149, align 1, !tbaa !11
  %155 = load i32, ptr %30, align 4, !tbaa !12
  %156 = add i32 %155, -1
  store i32 %156, ptr %30, align 4, !tbaa !12
  br label %141, !llvm.loop !17

157:                                              ; preds = %141
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #6
  br label %158

158:                                              ; preds = %157
  br label %159

159:                                              ; preds = %158
  %160 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %161 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %162 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  call void @forkskinny_128_256_encrypt(ptr noundef %160, ptr noundef null, ptr noundef %161, ptr noundef %162)
  %163 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %164 = getelementptr inbounds i8, ptr %163, i64 16
  call void @llvm.memset.p0.i64(ptr align 1 %164, i8 0, i64 16, i1 false)
  br label %215

165:                                              ; preds = %129
  %166 = load i64, ptr %17, align 8, !tbaa !9
  %167 = icmp ne i64 %166, 0
  br i1 %167, label %171, label %168

168:                                              ; preds = %165
  %169 = load i64, ptr %15, align 8, !tbaa !9
  %170 = icmp eq i64 %169, 0
  br i1 %170, label %171, label %214

171:                                              ; preds = %168, %165
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #6
  %172 = load i64, ptr %17, align 8, !tbaa !9
  %173 = trunc i64 %172 to i32
  store i32 %173, ptr %31, align 4, !tbaa !12
  br label %174

174:                                              ; preds = %171
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #6
  %175 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %175, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #6
  %176 = load ptr, ptr %16, align 8, !tbaa !5
  store ptr %176, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #6
  %177 = load i32, ptr %31, align 4, !tbaa !12
  store i32 %177, ptr %34, align 4, !tbaa !12
  br label %178

178:                                              ; preds = %181, %174
  %179 = load i32, ptr %34, align 4, !tbaa !12
  %180 = icmp ugt i32 %179, 0
  br i1 %180, label %181, label %194

181:                                              ; preds = %178
  %182 = load ptr, ptr %33, align 8, !tbaa !5
  %183 = getelementptr inbounds i8, ptr %182, i32 1
  store ptr %183, ptr %33, align 8, !tbaa !5
  %184 = load i8, ptr %182, align 1, !tbaa !11
  %185 = zext i8 %184 to i32
  %186 = load ptr, ptr %32, align 8, !tbaa !5
  %187 = getelementptr inbounds i8, ptr %186, i32 1
  store ptr %187, ptr %32, align 8, !tbaa !5
  %188 = load i8, ptr %186, align 1, !tbaa !11
  %189 = zext i8 %188 to i32
  %190 = xor i32 %189, %185
  %191 = trunc i32 %190 to i8
  store i8 %191, ptr %186, align 1, !tbaa !11
  %192 = load i32, ptr %34, align 4, !tbaa !12
  %193 = add i32 %192, -1
  store i32 %193, ptr %34, align 4, !tbaa !12
  br label %178, !llvm.loop !18

194:                                              ; preds = %178
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  br label %195

195:                                              ; preds = %194
  br label %196

196:                                              ; preds = %195
  %197 = load i32, ptr %31, align 4, !tbaa !12
  %198 = zext i32 %197 to i64
  %199 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 %198
  %200 = load i8, ptr %199, align 1, !tbaa !11
  %201 = zext i8 %200 to i32
  %202 = xor i32 %201, 128
  %203 = trunc i32 %202 to i8
  store i8 %203, ptr %199, align 1, !tbaa !11
  %204 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 23
  %205 = load i8, ptr %204, align 1, !tbaa !11
  %206 = zext i8 %205 to i32
  %207 = xor i32 %206, 1
  %208 = trunc i32 %207 to i8
  store i8 %208, ptr %204, align 1, !tbaa !11
  %209 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %210 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %211 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  call void @forkskinny_128_256_encrypt(ptr noundef %209, ptr noundef null, ptr noundef %210, ptr noundef %211)
  %212 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %213 = getelementptr inbounds i8, ptr %212, i64 16
  call void @llvm.memset.p0.i64(ptr align 1 %213, i8 0, i64 16, i1 false)
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #6
  br label %214

214:                                              ; preds = %196, %168
  br label %215

215:                                              ; preds = %214, %159
  br label %216

216:                                              ; preds = %215, %81
  %217 = load i64, ptr %15, align 8, !tbaa !9
  %218 = icmp ne i64 %217, 0
  br i1 %218, label %225, label %219

219:                                              ; preds = %216
  %220 = load ptr, ptr %11, align 8, !tbaa !5
  %221 = load i64, ptr %15, align 8, !tbaa !9
  %222 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %223 = load ptr, ptr %14, align 8, !tbaa !5
  %224 = call i32 @aead_check_tag(ptr noundef %220, i64 noundef %221, ptr noundef %222, ptr noundef %223, i32 noundef 16)
  store i32 %224, ptr %10, align 4
  store i32 1, ptr %24, align 4
  br label %442

225:                                              ; preds = %216
  br label %226

226:                                              ; preds = %285, %225
  %227 = load i64, ptr %15, align 8, !tbaa !9
  %228 = icmp ugt i64 %227, 16
  br i1 %228, label %229, label %296

229:                                              ; preds = %226
  br label %230

230:                                              ; preds = %229
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #6
  %231 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  store ptr %231, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #6
  %232 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %232, ptr %36, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #6
  %233 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %233, ptr %37, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #6
  store i32 16, ptr %38, align 4, !tbaa !12
  br label %234

234:                                              ; preds = %237, %230
  %235 = load i32, ptr %38, align 4, !tbaa !12
  %236 = icmp ugt i32 %235, 0
  br i1 %236, label %237, label %252

237:                                              ; preds = %234
  %238 = load ptr, ptr %36, align 8, !tbaa !5
  %239 = getelementptr inbounds i8, ptr %238, i32 1
  store ptr %239, ptr %36, align 8, !tbaa !5
  %240 = load i8, ptr %238, align 1, !tbaa !11
  %241 = zext i8 %240 to i32
  %242 = load ptr, ptr %37, align 8, !tbaa !5
  %243 = getelementptr inbounds i8, ptr %242, i32 1
  store ptr %243, ptr %37, align 8, !tbaa !5
  %244 = load i8, ptr %242, align 1, !tbaa !11
  %245 = zext i8 %244 to i32
  %246 = xor i32 %241, %245
  %247 = trunc i32 %246 to i8
  %248 = load ptr, ptr %35, align 8, !tbaa !5
  %249 = getelementptr inbounds i8, ptr %248, i32 1
  store ptr %249, ptr %35, align 8, !tbaa !5
  store i8 %247, ptr %248, align 1, !tbaa !11
  %250 = load i32, ptr %38, align 4, !tbaa !12
  %251 = add i32 %250, -1
  store i32 %251, ptr %38, align 4, !tbaa !12
  br label %234, !llvm.loop !19

252:                                              ; preds = %234
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #6
  br label %253

253:                                              ; preds = %252
  br label %254

254:                                              ; preds = %253
  %255 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 23
  %256 = load i8, ptr %255, align 1, !tbaa !11
  %257 = zext i8 %256 to i32
  %258 = xor i32 %257, 1
  %259 = trunc i32 %258 to i8
  store i8 %259, ptr %255, align 1, !tbaa !11
  %260 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %261 = load ptr, ptr %11, align 8, !tbaa !5
  %262 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  %263 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  call void @forkskinny_128_256_decrypt(ptr noundef %260, ptr noundef %261, ptr noundef %262, ptr noundef %263)
  br label %264

264:                                              ; preds = %254
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #6
  %265 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %265, ptr %39, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #6
  %266 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %266, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #6
  store i32 16, ptr %41, align 4, !tbaa !12
  br label %267

267:                                              ; preds = %270, %264
  %268 = load i32, ptr %41, align 4, !tbaa !12
  %269 = icmp ugt i32 %268, 0
  br i1 %269, label %270, label %283

270:                                              ; preds = %267
  %271 = load ptr, ptr %40, align 8, !tbaa !5
  %272 = getelementptr inbounds i8, ptr %271, i32 1
  store ptr %272, ptr %40, align 8, !tbaa !5
  %273 = load i8, ptr %271, align 1, !tbaa !11
  %274 = zext i8 %273 to i32
  %275 = load ptr, ptr %39, align 8, !tbaa !5
  %276 = getelementptr inbounds i8, ptr %275, i32 1
  store ptr %276, ptr %39, align 8, !tbaa !5
  %277 = load i8, ptr %275, align 1, !tbaa !11
  %278 = zext i8 %277 to i32
  %279 = xor i32 %278, %274
  %280 = trunc i32 %279 to i8
  store i8 %280, ptr %275, align 1, !tbaa !11
  %281 = load i32, ptr %41, align 4, !tbaa !12
  %282 = add i32 %281, -1
  store i32 %282, ptr %41, align 4, !tbaa !12
  br label %267, !llvm.loop !20

283:                                              ; preds = %267
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #6
  br label %284

284:                                              ; preds = %283
  br label %285

285:                                              ; preds = %284
  %286 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %287 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %286, ptr align 16 %287, i64 16, i1 false)
  %288 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %289 = getelementptr inbounds i8, ptr %288, i64 16
  call void @llvm.memset.p0.i64(ptr align 1 %289, i8 0, i64 16, i1 false)
  %290 = load ptr, ptr %14, align 8, !tbaa !5
  %291 = getelementptr inbounds i8, ptr %290, i64 16
  store ptr %291, ptr %14, align 8, !tbaa !5
  %292 = load ptr, ptr %11, align 8, !tbaa !5
  %293 = getelementptr inbounds i8, ptr %292, i64 16
  store ptr %293, ptr %11, align 8, !tbaa !5
  %294 = load i64, ptr %15, align 8, !tbaa !9
  %295 = sub i64 %294, 16
  store i64 %295, ptr %15, align 8, !tbaa !9
  br label %226, !llvm.loop !21

296:                                              ; preds = %226
  %297 = load i64, ptr %15, align 8, !tbaa !9
  %298 = icmp eq i64 %297, 16
  br i1 %298, label %299, label %363

299:                                              ; preds = %296
  br label %300

300:                                              ; preds = %299
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #6
  %301 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  store ptr %301, ptr %42, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #6
  %302 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %302, ptr %43, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #6
  %303 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %303, ptr %44, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #6
  store i32 16, ptr %45, align 4, !tbaa !12
  br label %304

304:                                              ; preds = %307, %300
  %305 = load i32, ptr %45, align 4, !tbaa !12
  %306 = icmp ugt i32 %305, 0
  br i1 %306, label %307, label %322

307:                                              ; preds = %304
  %308 = load ptr, ptr %43, align 8, !tbaa !5
  %309 = getelementptr inbounds i8, ptr %308, i32 1
  store ptr %309, ptr %43, align 8, !tbaa !5
  %310 = load i8, ptr %308, align 1, !tbaa !11
  %311 = zext i8 %310 to i32
  %312 = load ptr, ptr %44, align 8, !tbaa !5
  %313 = getelementptr inbounds i8, ptr %312, i32 1
  store ptr %313, ptr %44, align 8, !tbaa !5
  %314 = load i8, ptr %312, align 1, !tbaa !11
  %315 = zext i8 %314 to i32
  %316 = xor i32 %311, %315
  %317 = trunc i32 %316 to i8
  %318 = load ptr, ptr %42, align 8, !tbaa !5
  %319 = getelementptr inbounds i8, ptr %318, i32 1
  store ptr %319, ptr %42, align 8, !tbaa !5
  store i8 %317, ptr %318, align 1, !tbaa !11
  %320 = load i32, ptr %45, align 4, !tbaa !12
  %321 = add i32 %320, -1
  store i32 %321, ptr %45, align 4, !tbaa !12
  br label %304, !llvm.loop !22

322:                                              ; preds = %304
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #6
  br label %323

323:                                              ; preds = %322
  br label %324

324:                                              ; preds = %323
  %325 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 23
  %326 = load i8, ptr %325, align 1, !tbaa !11
  %327 = zext i8 %326 to i32
  %328 = xor i32 %327, 4
  %329 = trunc i32 %328 to i8
  store i8 %329, ptr %325, align 1, !tbaa !11
  %330 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %331 = load ptr, ptr %11, align 8, !tbaa !5
  %332 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  %333 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  call void @forkskinny_128_256_decrypt(ptr noundef %330, ptr noundef %331, ptr noundef %332, ptr noundef %333)
  br label %334

334:                                              ; preds = %324
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #6
  %335 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %335, ptr %46, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #6
  %336 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %336, ptr %47, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #6
  store i32 16, ptr %48, align 4, !tbaa !12
  br label %337

337:                                              ; preds = %340, %334
  %338 = load i32, ptr %48, align 4, !tbaa !12
  %339 = icmp ugt i32 %338, 0
  br i1 %339, label %340, label %353

340:                                              ; preds = %337
  %341 = load ptr, ptr %47, align 8, !tbaa !5
  %342 = getelementptr inbounds i8, ptr %341, i32 1
  store ptr %342, ptr %47, align 8, !tbaa !5
  %343 = load i8, ptr %341, align 1, !tbaa !11
  %344 = zext i8 %343 to i32
  %345 = load ptr, ptr %46, align 8, !tbaa !5
  %346 = getelementptr inbounds i8, ptr %345, i32 1
  store ptr %346, ptr %46, align 8, !tbaa !5
  %347 = load i8, ptr %345, align 1, !tbaa !11
  %348 = zext i8 %347 to i32
  %349 = xor i32 %348, %344
  %350 = trunc i32 %349 to i8
  store i8 %350, ptr %345, align 1, !tbaa !11
  %351 = load i32, ptr %48, align 4, !tbaa !12
  %352 = add i32 %351, -1
  store i32 %352, ptr %48, align 4, !tbaa !12
  br label %337, !llvm.loop !23

353:                                              ; preds = %337
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #6
  br label %354

354:                                              ; preds = %353
  br label %355

355:                                              ; preds = %354
  %356 = load ptr, ptr %23, align 8, !tbaa !5
  %357 = load ptr, ptr %12, align 8, !tbaa !5
  %358 = load i64, ptr %357, align 8, !tbaa !9
  %359 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  %360 = load ptr, ptr %14, align 8, !tbaa !5
  %361 = getelementptr inbounds i8, ptr %360, i64 16
  %362 = call i32 @aead_check_tag(ptr noundef %356, i64 noundef %358, ptr noundef %359, ptr noundef %361, i32 noundef 16)
  store i32 %362, ptr %10, align 4
  store i32 1, ptr %24, align 4
  br label %442

363:                                              ; preds = %296
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #6
  %364 = load i64, ptr %15, align 8, !tbaa !9
  %365 = trunc i64 %364 to i32
  store i32 %365, ptr %49, align 4, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 16, ptr %50) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #6
  br label %366

366:                                              ; preds = %363
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #6
  %367 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  store ptr %367, ptr %52, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #6
  %368 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %368, ptr %53, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #6
  %369 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %369, ptr %54, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #6
  store i32 16, ptr %55, align 4, !tbaa !12
  br label %370

370:                                              ; preds = %373, %366
  %371 = load i32, ptr %55, align 4, !tbaa !12
  %372 = icmp ugt i32 %371, 0
  br i1 %372, label %373, label %388

373:                                              ; preds = %370
  %374 = load ptr, ptr %53, align 8, !tbaa !5
  %375 = getelementptr inbounds i8, ptr %374, i32 1
  store ptr %375, ptr %53, align 8, !tbaa !5
  %376 = load i8, ptr %374, align 1, !tbaa !11
  %377 = zext i8 %376 to i32
  %378 = load ptr, ptr %54, align 8, !tbaa !5
  %379 = getelementptr inbounds i8, ptr %378, i32 1
  store ptr %379, ptr %54, align 8, !tbaa !5
  %380 = load i8, ptr %378, align 1, !tbaa !11
  %381 = zext i8 %380 to i32
  %382 = xor i32 %377, %381
  %383 = trunc i32 %382 to i8
  %384 = load ptr, ptr %52, align 8, !tbaa !5
  %385 = getelementptr inbounds i8, ptr %384, i32 1
  store ptr %385, ptr %52, align 8, !tbaa !5
  store i8 %383, ptr %384, align 1, !tbaa !11
  %386 = load i32, ptr %55, align 4, !tbaa !12
  %387 = add i32 %386, -1
  store i32 %387, ptr %55, align 4, !tbaa !12
  br label %370, !llvm.loop !24

388:                                              ; preds = %370
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #6
  br label %389

389:                                              ; preds = %388
  br label %390

390:                                              ; preds = %389
  %391 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 23
  %392 = load i8, ptr %391, align 1, !tbaa !11
  %393 = zext i8 %392 to i32
  %394 = xor i32 %393, 5
  %395 = trunc i32 %394 to i8
  store i8 %395, ptr %391, align 1, !tbaa !11
  %396 = getelementptr inbounds [32 x i8], ptr %20, i64 0, i64 0
  %397 = getelementptr inbounds [16 x i8], ptr %50, i64 0, i64 0
  %398 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  %399 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  call void @forkskinny_128_256_decrypt(ptr noundef %396, ptr noundef %397, ptr noundef %398, ptr noundef %399)
  br label %400

400:                                              ; preds = %390
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #6
  %401 = getelementptr inbounds [16 x i8], ptr %50, i64 0, i64 0
  store ptr %401, ptr %56, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #6
  %402 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store ptr %402, ptr %57, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %58) #6
  store i32 16, ptr %58, align 4, !tbaa !12
  br label %403

403:                                              ; preds = %406, %400
  %404 = load i32, ptr %58, align 4, !tbaa !12
  %405 = icmp ugt i32 %404, 0
  br i1 %405, label %406, label %419

406:                                              ; preds = %403
  %407 = load ptr, ptr %57, align 8, !tbaa !5
  %408 = getelementptr inbounds i8, ptr %407, i32 1
  store ptr %408, ptr %57, align 8, !tbaa !5
  %409 = load i8, ptr %407, align 1, !tbaa !11
  %410 = zext i8 %409 to i32
  %411 = load ptr, ptr %56, align 8, !tbaa !5
  %412 = getelementptr inbounds i8, ptr %411, i32 1
  store ptr %412, ptr %56, align 8, !tbaa !5
  %413 = load i8, ptr %411, align 1, !tbaa !11
  %414 = zext i8 %413 to i32
  %415 = xor i32 %414, %410
  %416 = trunc i32 %415 to i8
  store i8 %416, ptr %411, align 1, !tbaa !11
  %417 = load i32, ptr %58, align 4, !tbaa !12
  %418 = add i32 %417, -1
  store i32 %418, ptr %58, align 4, !tbaa !12
  br label %403, !llvm.loop !25

419:                                              ; preds = %403
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #6
  br label %420

420:                                              ; preds = %419
  br label %421

421:                                              ; preds = %420
  %422 = load ptr, ptr %11, align 8, !tbaa !5
  %423 = getelementptr inbounds [16 x i8], ptr %50, i64 0, i64 0
  %424 = load i32, ptr %49, align 4, !tbaa !12
  %425 = zext i32 %424 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %422, ptr align 16 %423, i64 %425, i1 false)
  %426 = getelementptr inbounds [16 x i8], ptr %50, i64 0, i64 0
  %427 = load i32, ptr %49, align 4, !tbaa !12
  %428 = zext i32 %427 to i64
  %429 = getelementptr inbounds i8, ptr %426, i64 %428
  %430 = load i32, ptr %49, align 4, !tbaa !12
  %431 = sub i32 16, %430
  %432 = call i32 @forkae_saef_128_192_is_padding(ptr noundef %429, i32 noundef %431)
  store i32 %432, ptr %51, align 4, !tbaa !12
  %433 = load ptr, ptr %23, align 8, !tbaa !5
  %434 = load ptr, ptr %12, align 8, !tbaa !5
  %435 = load i64, ptr %434, align 8, !tbaa !9
  %436 = getelementptr inbounds [16 x i8], ptr %22, i64 0, i64 0
  %437 = load ptr, ptr %14, align 8, !tbaa !5
  %438 = getelementptr inbounds i8, ptr %437, i64 16
  %439 = load i32, ptr %49, align 4, !tbaa !12
  %440 = load i32, ptr %51, align 4, !tbaa !12
  %441 = call i32 @aead_check_tag_precheck(ptr noundef %433, i64 noundef %435, ptr noundef %436, ptr noundef %438, i32 noundef %439, i32 noundef %440)
  store i32 %441, ptr %10, align 4
  store i32 1, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %50) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #6
  br label %442

442:                                              ; preds = %421, %355, %219, %63
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %20) #6
  %443 = load i32, ptr %10, align 4
  ret i32 %443
}

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #3

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

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

declare i32 @aead_check_tag_precheck(ptr noundef, i64 noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef) #4

; Function Attrs: nounwind uwtable
declare dso_local void @forkskinny_128_256_encrypt(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @forkskinny_128_256_decrypt(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @forkae_saef_128_192_is_padding(ptr noundef, i32 noundef) #5

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 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #4 = { "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 #5 = { inlinehint 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 #6 = { 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 = !{!7, !7, i64 0}
!12 = !{!13, !13, i64 0}
!13 = !{!"int", !7, i64 0}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = distinct !{!16, !15}
!17 = distinct !{!17, !15}
!18 = distinct !{!18, !15}
!19 = distinct !{!19, !15}
!20 = distinct !{!20, !15}
!21 = distinct !{!21, !15}
!22 = distinct !{!22, !15}
!23 = distinct !{!23, !15}
!24 = distinct !{!24, !15}
!25 = distinct !{!25, !15}


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

; Function Attrs: nounwind uwtable
define dso_local i32 @forkae_saef_128_192_aead_decrypt(ptr noundef %0, ptr nocapture noundef %1, ptr nocapture noundef readnone %2, ptr noundef %3, i64 noundef %4, ptr nocapture noundef readonly %5, i64 noundef %6, ptr nocapture noundef readonly %7, ptr nocapture noundef readonly %8) local_unnamed_addr #0 {
  %10 = alloca [32 x i8], align 16
  %11 = alloca [16 x i8], align 16
  %12 = alloca [16 x i8], align 16
  %13 = alloca [16 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %10) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %11) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %12) #6
  %14 = icmp ult i64 %4, 16
  br i1 %14, label %205, label %15

15:                                               ; preds = %9
  %16 = add i64 %4, -16
  store i64 %16, ptr %1, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %10, ptr noundef nonnull align 1 dereferenceable(16) %8, i64 16, i1 false)
  %17 = getelementptr inbounds i8, ptr %10, i64 16
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(7) %17, ptr noundef nonnull align 1 dereferenceable(7) %7, i64 7, i1 false)
  %18 = getelementptr inbounds i8, ptr %10, i64 23
  %19 = getelementptr inbounds i8, ptr %10, i64 24
  store i64 0, ptr %19, align 8
  store i8 8, ptr %18, align 1, !tbaa !9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %11, i8 0, i64 16, i1 false)
  %20 = icmp ne i64 %6, 0
  %21 = icmp eq i64 %16, 0
  %or.cond = or i1 %21, %20
  br i1 %or.cond, label %.preheader144, label %.preheader141

.preheader144:                                    ; preds = %15
  %22 = icmp ugt i64 %6, 16
  br i1 %22, label %.preheader143, label %._crit_edge

.preheader143:                                    ; preds = %.preheader144, %.preheader143
  %.0127149 = phi ptr [ %26, %.preheader143 ], [ %5, %.preheader144 ]
  %.0128148 = phi i64 [ %27, %.preheader143 ], [ %6, %.preheader144 ]
  %23 = load <16 x i8>, ptr %.0127149, align 1, !tbaa !9
  %24 = load <16 x i8>, ptr %11, align 16, !tbaa !9
  %25 = xor <16 x i8> %24, %23
  store <16 x i8> %25, ptr %11, align 16, !tbaa !9
  call void @forkskinny_128_256_encrypt(ptr noundef nonnull %10, ptr noundef null, ptr noundef nonnull %11, ptr noundef nonnull %11)
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %17, i8 0, i64 16, i1 false)
  %26 = getelementptr inbounds i8, ptr %.0127149, i64 16
  %27 = add i64 %.0128148, -16
  %28 = icmp ugt i64 %27, 16
  br i1 %28, label %.preheader143, label %._crit_edge, !llvm.loop !10

._crit_edge:                                      ; preds = %.preheader143, %.preheader144
  %29 = phi i8 [ 8, %.preheader144 ], [ 0, %.preheader143 ]
  %.0128.lcssa = phi i64 [ %6, %.preheader144 ], [ %27, %.preheader143 ]
  %.0127.lcssa = phi ptr [ %5, %.preheader144 ], [ %26, %.preheader143 ]
  %30 = or disjoint i8 %29, 4
  %spec.select = select i1 %21, i8 %30, i8 %29
  %31 = or disjoint i8 %spec.select, 2
  store i8 %31, ptr %18, align 1, !tbaa !9
  %32 = icmp eq i64 %.0128.lcssa, 16
  br i1 %32, label %.preheader142.preheader, label %36

.preheader142.preheader:                          ; preds = %._crit_edge
  %33 = load <16 x i8>, ptr %.0127.lcssa, align 1, !tbaa !9
  %34 = load <16 x i8>, ptr %11, align 16, !tbaa !9
  %35 = xor <16 x i8> %34, %33
  store <16 x i8> %35, ptr %11, align 16, !tbaa !9
  br label %86

36:                                               ; preds = %._crit_edge
  %37 = icmp ne i64 %.0128.lcssa, 0
  %or.cond3 = or i1 %21, %37
  br i1 %or.cond3, label %38, label %.preheader141

38:                                               ; preds = %36
  %.not151 = icmp eq i64 %.0128.lcssa, 0
  br i1 %.not151, label %._crit_edge156, label %iter.check

iter.check:                                       ; preds = %38
  %39 = trunc nuw i64 %.0128.lcssa to i32
  %40 = add nuw nsw i64 %.0128.lcssa, 4294967295
  %41 = and i64 %40, 4294967295
  %42 = add nuw nsw i64 %41, 1
  %min.iters.check = icmp ult i64 %41, 7
  br i1 %min.iters.check, label %.lr.ph.preheader, label %vector.memcheck

vector.memcheck:                                  ; preds = %iter.check
  %43 = add nuw nsw i64 %.0128.lcssa, 4294967295
  %44 = and i64 %43, 4294967295
  %45 = add nuw nsw i64 %44, 1
  %scevgep = getelementptr i8, ptr %11, i64 %45
  %scevgep200 = getelementptr i8, ptr %.0127.lcssa, i64 %45
  %bound0 = icmp ult ptr %11, %scevgep200
  %bound1 = icmp ult ptr %.0127.lcssa, %scevgep
  %found.conflict = and i1 %bound0, %bound1
  br i1 %found.conflict, label %.lr.ph.preheader, label %vector.main.loop.iter.check

vector.main.loop.iter.check:                      ; preds = %vector.memcheck
  %min.iters.check201 = icmp ult i64 %41, 31
  br i1 %min.iters.check201, label %vec.epilog.ph, label %vector.ph

vector.ph:                                        ; preds = %vector.main.loop.iter.check
  %n.vec = and i64 %42, 8589934560
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %next.gep = getelementptr i8, ptr %.0127.lcssa, i64 %index
  %next.gep203 = getelementptr i8, ptr %11, i64 %index
  %46 = getelementptr i8, ptr %next.gep, i64 16
  %wide.load = load <16 x i8>, ptr %next.gep, align 1, !tbaa !9, !alias.scope !12
  %wide.load205 = load <16 x i8>, ptr %46, align 1, !tbaa !9, !alias.scope !12
  %47 = getelementptr i8, ptr %next.gep203, i64 16
  %wide.load206 = load <16 x i8>, ptr %next.gep203, align 16, !tbaa !9, !alias.scope !15, !noalias !12
  %wide.load207 = load <16 x i8>, ptr %47, align 16, !tbaa !9, !alias.scope !15, !noalias !12
  %48 = xor <16 x i8> %wide.load206, %wide.load
  %49 = xor <16 x i8> %wide.load207, %wide.load205
  store <16 x i8> %48, ptr %next.gep203, align 16, !tbaa !9, !alias.scope !15, !noalias !12
  store <16 x i8> %49, ptr %47, align 16, !tbaa !9, !alias.scope !15, !noalias !12
  %index.next = add nuw i64 %index, 32
  %50 = icmp eq i64 %index.next, %n.vec
  br i1 %50, label %middle.block, label %vector.body, !llvm.loop !17

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %42, %n.vec
  br i1 %cmp.n, label %._crit_edge156, label %vec.epilog.iter.check

vec.epilog.iter.check:                            ; preds = %middle.block
  %ind.end216 = getelementptr i8, ptr %11, i64 %n.vec
  %ind.end213 = getelementptr i8, ptr %.0127.lcssa, i64 %n.vec
  %.cast210 = trunc i64 %n.vec to i32
  %ind.end211 = sub i32 %39, %.cast210
  %n.vec.remaining = and i64 %42, 24
  %min.epilog.iters.check = icmp eq i64 %n.vec.remaining, 0
  br i1 %min.epilog.iters.check, label %.lr.ph.preheader, label %vec.epilog.ph

vec.epilog.ph:                                    ; preds = %vector.main.loop.iter.check, %vec.epilog.iter.check
  %vec.epilog.resume.val = phi i64 [ %n.vec, %vec.epilog.iter.check ], [ 0, %vector.main.loop.iter.check ]
  %n.vec209 = and i64 %42, 8589934584
  %.cast = trunc i64 %n.vec209 to i32
  %ind.end = sub i32 %39, %.cast
  %ind.end212 = getelementptr i8, ptr %.0127.lcssa, i64 %n.vec209
  %ind.end215 = getelementptr i8, ptr %11, i64 %n.vec209
  br label %vec.epilog.vector.body

vec.epilog.vector.body:                           ; preds = %vec.epilog.vector.body, %vec.epilog.ph
  %index218 = phi i64 [ %vec.epilog.resume.val, %vec.epilog.ph ], [ %index.next223, %vec.epilog.vector.body ]
  %next.gep219 = getelementptr i8, ptr %.0127.lcssa, i64 %index218
  %next.gep220 = getelementptr i8, ptr %11, i64 %index218
  %wide.load221 = load <8 x i8>, ptr %next.gep219, align 1, !tbaa !9, !alias.scope !20
  %wide.load222 = load <8 x i8>, ptr %next.gep220, align 8, !tbaa !9, !alias.scope !23, !noalias !20
  %51 = xor <8 x i8> %wide.load222, %wide.load221
  store <8 x i8> %51, ptr %next.gep220, align 8, !tbaa !9, !alias.scope !23, !noalias !20
  %index.next223 = add nuw i64 %index218, 8
  %52 = icmp eq i64 %index.next223, %n.vec209
  br i1 %52, label %vec.epilog.middle.block, label %vec.epilog.vector.body, !llvm.loop !25

vec.epilog.middle.block:                          ; preds = %vec.epilog.vector.body
  %cmp.n224 = icmp eq i64 %42, %n.vec209
  br i1 %cmp.n224, label %._crit_edge156, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %vec.epilog.middle.block, %vector.memcheck, %iter.check, %vec.epilog.iter.check
  %.0116154.ph = phi i32 [ %39, %iter.check ], [ %39, %vector.memcheck ], [ %ind.end211, %vec.epilog.iter.check ], [ %ind.end, %vec.epilog.middle.block ]
  %.0117153.ph = phi ptr [ %.0127.lcssa, %iter.check ], [ %.0127.lcssa, %vector.memcheck ], [ %ind.end213, %vec.epilog.iter.check ], [ %ind.end212, %vec.epilog.middle.block ]
  %.0118152.ph = phi ptr [ %11, %iter.check ], [ %11, %vector.memcheck ], [ %ind.end216, %vec.epilog.iter.check ], [ %ind.end215, %vec.epilog.middle.block ]
  %53 = add nsw i32 %.0116154.ph, -1
  %xtraiter = and i32 %.0116154.ph, 3
  %lcmp.mod.not = icmp eq i32 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.lr.ph.prol.loopexit, label %.lr.ph.prol

.lr.ph.prol:                                      ; preds = %.lr.ph.preheader, %.lr.ph.prol
  %.0116154.prol = phi i32 [ %59, %.lr.ph.prol ], [ %.0116154.ph, %.lr.ph.preheader ]
  %.0117153.prol = phi ptr [ %54, %.lr.ph.prol ], [ %.0117153.ph, %.lr.ph.preheader ]
  %.0118152.prol = phi ptr [ %56, %.lr.ph.prol ], [ %.0118152.ph, %.lr.ph.preheader ]
  %prol.iter = phi i32 [ %prol.iter.next, %.lr.ph.prol ], [ 0, %.lr.ph.preheader ]
  %54 = getelementptr inbounds i8, ptr %.0117153.prol, i64 1
  %55 = load i8, ptr %.0117153.prol, align 1, !tbaa !9
  %56 = getelementptr inbounds i8, ptr %.0118152.prol, i64 1
  %57 = load i8, ptr %.0118152.prol, align 1, !tbaa !9
  %58 = xor i8 %57, %55
  store i8 %58, ptr %.0118152.prol, align 1, !tbaa !9
  %59 = add nsw i32 %.0116154.prol, -1
  %prol.iter.next = add i32 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i32 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %.lr.ph.prol.loopexit, label %.lr.ph.prol, !llvm.loop !26

.lr.ph.prol.loopexit:                             ; preds = %.lr.ph.prol, %.lr.ph.preheader
  %.0116154.unr = phi i32 [ %.0116154.ph, %.lr.ph.preheader ], [ %59, %.lr.ph.prol ]
  %.0117153.unr = phi ptr [ %.0117153.ph, %.lr.ph.preheader ], [ %54, %.lr.ph.prol ]
  %.0118152.unr = phi ptr [ %.0118152.ph, %.lr.ph.preheader ], [ %56, %.lr.ph.prol ]
  %60 = icmp ult i32 %53, 3
  br i1 %60, label %._crit_edge156, label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.prol.loopexit, %.lr.ph
  %.0116154 = phi i32 [ %81, %.lr.ph ], [ %.0116154.unr, %.lr.ph.prol.loopexit ]
  %.0117153 = phi ptr [ %76, %.lr.ph ], [ %.0117153.unr, %.lr.ph.prol.loopexit ]
  %.0118152 = phi ptr [ %78, %.lr.ph ], [ %.0118152.unr, %.lr.ph.prol.loopexit ]
  %61 = getelementptr inbounds i8, ptr %.0117153, i64 1
  %62 = load i8, ptr %.0117153, align 1, !tbaa !9
  %63 = getelementptr inbounds i8, ptr %.0118152, i64 1
  %64 = load i8, ptr %.0118152, align 1, !tbaa !9
  %65 = xor i8 %64, %62
  store i8 %65, ptr %.0118152, align 1, !tbaa !9
  %66 = getelementptr inbounds i8, ptr %.0117153, i64 2
  %67 = load i8, ptr %61, align 1, !tbaa !9
  %68 = getelementptr inbounds i8, ptr %.0118152, i64 2
  %69 = load i8, ptr %63, align 1, !tbaa !9
  %70 = xor i8 %69, %67
  store i8 %70, ptr %63, align 1, !tbaa !9
  %71 = getelementptr inbounds i8, ptr %.0117153, i64 3
  %72 = load i8, ptr %66, align 1, !tbaa !9
  %73 = getelementptr inbounds i8, ptr %.0118152, i64 3
  %74 = load i8, ptr %68, align 1, !tbaa !9
  %75 = xor i8 %74, %72
  store i8 %75, ptr %68, align 1, !tbaa !9
  %76 = getelementptr inbounds i8, ptr %.0117153, i64 4
  %77 = load i8, ptr %71, align 1, !tbaa !9
  %78 = getelementptr inbounds i8, ptr %.0118152, i64 4
  %79 = load i8, ptr %73, align 1, !tbaa !9
  %80 = xor i8 %79, %77
  store i8 %80, ptr %73, align 1, !tbaa !9
  %81 = add nsw i32 %.0116154, -4
  %.not.3 = icmp eq i32 %81, 0
  br i1 %.not.3, label %._crit_edge156, label %.lr.ph, !llvm.loop !28

._crit_edge156:                                   ; preds = %.lr.ph.prol.loopexit, %.lr.ph, %middle.block, %vec.epilog.middle.block, %38
  %82 = getelementptr inbounds [16 x i8], ptr %11, i64 0, i64 %.0128.lcssa
  %83 = load i8, ptr %82, align 1, !tbaa !9
  %84 = xor i8 %83, -128
  store i8 %84, ptr %82, align 1, !tbaa !9
  %85 = or disjoint i8 %spec.select, 3
  store i8 %85, ptr %18, align 1, !tbaa !9
  br label %86

86:                                               ; preds = %.preheader142.preheader, %._crit_edge156
  call void @forkskinny_128_256_encrypt(ptr noundef nonnull %10, ptr noundef null, ptr noundef nonnull %11, ptr noundef nonnull %11)
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %17, i8 0, i64 16, i1 false)
  br i1 %21, label %88, label %.preheader141

.preheader141:                                    ; preds = %15, %36, %86
  %87 = icmp ugt i64 %16, 16
  br i1 %87, label %.preheader140, label %._crit_edge170

88:                                               ; preds = %86
  %89 = call i32 @aead_check_tag(ptr noundef %0, i64 noundef 0, ptr noundef nonnull %11, ptr noundef %3, i32 noundef 16) #6
  br label %205

.preheader140:                                    ; preds = %.preheader141, %.preheader140
  %.0101169 = phi ptr [ %99, %.preheader140 ], [ %0, %.preheader141 ]
  %.0119168 = phi ptr [ %98, %.preheader140 ], [ %3, %.preheader141 ]
  %.0126167 = phi i64 [ %100, %.preheader140 ], [ %16, %.preheader141 ]
  %90 = load <16 x i8>, ptr %.0119168, align 1, !tbaa !9
  %91 = load <16 x i8>, ptr %11, align 16, !tbaa !9
  %92 = xor <16 x i8> %91, %90
  store <16 x i8> %92, ptr %12, align 16, !tbaa !9
  %93 = load i8, ptr %18, align 1, !tbaa !9
  %94 = xor i8 %93, 1
  store i8 %94, ptr %18, align 1, !tbaa !9
  call void @forkskinny_128_256_decrypt(ptr noundef nonnull %10, ptr noundef %.0101169, ptr noundef nonnull %12, ptr noundef nonnull %12)
  %95 = load <16 x i8>, ptr %11, align 16, !tbaa !9
  %96 = load <16 x i8>, ptr %.0101169, align 1, !tbaa !9
  %97 = xor <16 x i8> %96, %95
  store <16 x i8> %97, ptr %.0101169, align 1, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %11, ptr noundef nonnull align 16 dereferenceable(16) %12, i64 16, i1 false)
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %17, i8 0, i64 16, i1 false)
  %98 = getelementptr inbounds i8, ptr %.0119168, i64 16
  %99 = getelementptr inbounds i8, ptr %.0101169, i64 16
  %100 = add i64 %.0126167, -16
  %101 = icmp ugt i64 %100, 16
  br i1 %101, label %.preheader140, label %._crit_edge170, !llvm.loop !29

._crit_edge170:                                   ; preds = %.preheader140, %.preheader141
  %.0126.lcssa = phi i64 [ %16, %.preheader141 ], [ %100, %.preheader140 ]
  %.0119.lcssa = phi ptr [ %3, %.preheader141 ], [ %98, %.preheader140 ]
  %.0101.lcssa = phi ptr [ %0, %.preheader141 ], [ %99, %.preheader140 ]
  %102 = icmp eq i64 %.0126.lcssa, 16
  br i1 %102, label %.preheader.preheader, label %189

.preheader.preheader:                             ; preds = %._crit_edge170
  %103 = getelementptr inbounds i8, ptr %11, i64 1
  %104 = getelementptr inbounds i8, ptr %11, i64 2
  %105 = getelementptr inbounds i8, ptr %11, i64 3
  %106 = getelementptr inbounds i8, ptr %11, i64 4
  %107 = getelementptr inbounds i8, ptr %11, i64 5
  %108 = getelementptr inbounds i8, ptr %11, i64 6
  %109 = getelementptr inbounds i8, ptr %11, i64 7
  %110 = getelementptr inbounds i8, ptr %11, i64 8
  %111 = getelementptr inbounds i8, ptr %11, i64 9
  %112 = getelementptr inbounds i8, ptr %11, i64 10
  %113 = getelementptr inbounds i8, ptr %11, i64 11
  %114 = getelementptr inbounds i8, ptr %11, i64 12
  %115 = getelementptr inbounds i8, ptr %11, i64 13
  %116 = getelementptr inbounds i8, ptr %11, i64 14
  %117 = getelementptr inbounds i8, ptr %11, i64 15
  %118 = load <16 x i8>, ptr %.0119.lcssa, align 1, !tbaa !9
  %119 = load <16 x i8>, ptr %11, align 16, !tbaa !9
  %120 = xor <16 x i8> %119, %118
  store <16 x i8> %120, ptr %12, align 16, !tbaa !9
  %121 = load i8, ptr %18, align 1, !tbaa !9
  %122 = xor i8 %121, 4
  store i8 %122, ptr %18, align 1, !tbaa !9
  call void @forkskinny_128_256_decrypt(ptr noundef nonnull %10, ptr noundef %.0101.lcssa, ptr noundef nonnull %12, ptr noundef nonnull %12)
  %123 = load i8, ptr %11, align 16, !tbaa !9
  %124 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 1
  %125 = load i8, ptr %.0101.lcssa, align 1, !tbaa !9
  %126 = xor i8 %125, %123
  store i8 %126, ptr %.0101.lcssa, align 1, !tbaa !9
  %127 = load i8, ptr %103, align 1, !tbaa !9
  %128 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 2
  %129 = load i8, ptr %124, align 1, !tbaa !9
  %130 = xor i8 %129, %127
  store i8 %130, ptr %124, align 1, !tbaa !9
  %131 = load i8, ptr %104, align 2, !tbaa !9
  %132 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 3
  %133 = load i8, ptr %128, align 1, !tbaa !9
  %134 = xor i8 %133, %131
  store i8 %134, ptr %128, align 1, !tbaa !9
  %135 = load i8, ptr %105, align 1, !tbaa !9
  %136 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 4
  %137 = load i8, ptr %132, align 1, !tbaa !9
  %138 = xor i8 %137, %135
  store i8 %138, ptr %132, align 1, !tbaa !9
  %139 = load i8, ptr %106, align 4, !tbaa !9
  %140 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 5
  %141 = load i8, ptr %136, align 1, !tbaa !9
  %142 = xor i8 %141, %139
  store i8 %142, ptr %136, align 1, !tbaa !9
  %143 = load i8, ptr %107, align 1, !tbaa !9
  %144 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 6
  %145 = load i8, ptr %140, align 1, !tbaa !9
  %146 = xor i8 %145, %143
  store i8 %146, ptr %140, align 1, !tbaa !9
  %147 = load i8, ptr %108, align 2, !tbaa !9
  %148 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 7
  %149 = load i8, ptr %144, align 1, !tbaa !9
  %150 = xor i8 %149, %147
  store i8 %150, ptr %144, align 1, !tbaa !9
  %151 = load i8, ptr %109, align 1, !tbaa !9
  %152 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 8
  %153 = load i8, ptr %148, align 1, !tbaa !9
  %154 = xor i8 %153, %151
  store i8 %154, ptr %148, align 1, !tbaa !9
  %155 = load i8, ptr %110, align 8, !tbaa !9
  %156 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 9
  %157 = load i8, ptr %152, align 1, !tbaa !9
  %158 = xor i8 %157, %155
  store i8 %158, ptr %152, align 1, !tbaa !9
  %159 = load i8, ptr %111, align 1, !tbaa !9
  %160 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 10
  %161 = load i8, ptr %156, align 1, !tbaa !9
  %162 = xor i8 %161, %159
  store i8 %162, ptr %156, align 1, !tbaa !9
  %163 = load i8, ptr %112, align 2, !tbaa !9
  %164 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 11
  %165 = load i8, ptr %160, align 1, !tbaa !9
  %166 = xor i8 %165, %163
  store i8 %166, ptr %160, align 1, !tbaa !9
  %167 = load i8, ptr %113, align 1, !tbaa !9
  %168 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 12
  %169 = load i8, ptr %164, align 1, !tbaa !9
  %170 = xor i8 %169, %167
  store i8 %170, ptr %164, align 1, !tbaa !9
  %171 = load i8, ptr %114, align 4, !tbaa !9
  %172 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 13
  %173 = load i8, ptr %168, align 1, !tbaa !9
  %174 = xor i8 %173, %171
  store i8 %174, ptr %168, align 1, !tbaa !9
  %175 = load i8, ptr %115, align 1, !tbaa !9
  %176 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 14
  %177 = load i8, ptr %172, align 1, !tbaa !9
  %178 = xor i8 %177, %175
  store i8 %178, ptr %172, align 1, !tbaa !9
  %179 = load i8, ptr %116, align 2, !tbaa !9
  %180 = getelementptr inbounds i8, ptr %.0101.lcssa, i64 15
  %181 = load i8, ptr %176, align 1, !tbaa !9
  %182 = xor i8 %181, %179
  store i8 %182, ptr %176, align 1, !tbaa !9
  %183 = load i8, ptr %117, align 1, !tbaa !9
  %184 = load i8, ptr %180, align 1, !tbaa !9
  %185 = xor i8 %184, %183
  store i8 %185, ptr %180, align 1, !tbaa !9
  %186 = load i64, ptr %1, align 8, !tbaa !5
  %187 = getelementptr inbounds i8, ptr %.0119.lcssa, i64 16
  %188 = call i32 @aead_check_tag(ptr noundef %0, i64 noundef %186, ptr noundef nonnull %12, ptr noundef nonnull %187, i32 noundef 16) #6
  br label %205

189:                                              ; preds = %._crit_edge170
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %13) #6
  %190 = load <16 x i8>, ptr %.0119.lcssa, align 1, !tbaa !9
  %191 = load <16 x i8>, ptr %11, align 16, !tbaa !9
  %192 = xor <16 x i8> %191, %190
  store <16 x i8> %192, ptr %12, align 16, !tbaa !9
  %193 = load i8, ptr %18, align 1, !tbaa !9
  %194 = xor i8 %193, 5
  store i8 %194, ptr %18, align 1, !tbaa !9
  call void @forkskinny_128_256_decrypt(ptr noundef nonnull %10, ptr noundef nonnull %13, ptr noundef nonnull %12, ptr noundef nonnull %12)
  %195 = load <16 x i8>, ptr %11, align 16, !tbaa !9
  %196 = load <16 x i8>, ptr %13, align 16, !tbaa !9
  %197 = xor <16 x i8> %196, %195
  store <16 x i8> %197, ptr %13, align 16, !tbaa !9
  %198 = trunc nuw nsw i64 %.0126.lcssa to i32
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %.0101.lcssa, ptr nonnull align 16 %13, i64 %.0126.lcssa, i1 false)
  %199 = getelementptr inbounds i8, ptr %13, i64 %.0126.lcssa
  %200 = sub nuw nsw i32 16, %198
  %201 = call i32 @forkae_saef_128_192_is_padding(ptr noundef nonnull %199, i32 noundef %200)
  %202 = load i64, ptr %1, align 8, !tbaa !5
  %203 = getelementptr inbounds i8, ptr %.0119.lcssa, i64 16
  %204 = call i32 @aead_check_tag_precheck(ptr noundef %0, i64 noundef %202, ptr noundef nonnull %12, ptr noundef nonnull %203, i32 noundef %198, i32 noundef %201) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #6
  br label %205

205:                                              ; preds = %9, %189, %.preheader.preheader, %88
  %.0100 = phi i32 [ %188, %.preheader.preheader ], [ %204, %189 ], [ %89, %88 ], [ -1, %9 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #6
  ret i32 %.0100
}

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #3

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

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

declare i32 @aead_check_tag_precheck(ptr noundef, i64 noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #4

; Function Attrs: nounwind uwtable
declare dso_local void @forkskinny_128_256_encrypt(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @forkskinny_128_256_decrypt(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @forkae_saef_128_192_is_padding(ptr noundef, i32 noundef) local_unnamed_addr #5

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 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #4 = { "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 #5 = { inlinehint 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 #6 = { 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 = !{!7, !7, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}
!12 = !{!13}
!13 = distinct !{!13, !14}
!14 = distinct !{!14, !"LVerDomain"}
!15 = !{!16}
!16 = distinct !{!16, !14}
!17 = distinct !{!17, !11, !18, !19}
!18 = !{!"llvm.loop.isvectorized", i32 1}
!19 = !{!"llvm.loop.unroll.runtime.disable"}
!20 = !{!21}
!21 = distinct !{!21, !22}
!22 = distinct !{!22, !"LVerDomain"}
!23 = !{!24}
!24 = distinct !{!24, !22}
!25 = distinct !{!25, !11, !18, !19}
!26 = distinct !{!26, !27}
!27 = !{!"llvm.loop.unroll.disable"}
!28 = distinct !{!28, !11, !18}
!29 = distinct !{!29, !11}


; Effective O3 passes: DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass