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

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

%union.keccakp_200_state_t = type { [5 x [5 x i8]] }

; Function Attrs: nounwind uwtable
define dso_local i32 @delirium_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 %union.keccakp_200_state_t, align 1
  %21 = alloca ptr, align 8
  %22 = alloca [25 x i8], align 16
  %23 = alloca [25 x i8], align 16
  %24 = alloca [25 x i8], align 16
  %25 = alloca [16 x i8], align 16
  %26 = alloca i32, align 4
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca i32, align 4
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca i32, align 4
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca i32, align 4
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca i32, align 4
  %40 = alloca ptr, align 8
  %41 = alloca ptr, align 8
  %42 = alloca i32, align 4
  %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 ptr, align 8
  %50 = alloca ptr, align 8
  %51 = alloca ptr, align 8
  %52 = alloca i32, align 4
  %53 = alloca i32, align 4
  %54 = alloca ptr, align 8
  %55 = alloca ptr, align 8
  %56 = alloca ptr, align 8
  %57 = alloca i32, align 4
  %58 = alloca ptr, align 8
  %59 = alloca ptr, align 8
  %60 = alloca i32, align 4
  %61 = alloca ptr, align 8
  %62 = alloca ptr, align 8
  %63 = alloca i32, align 4
  %64 = alloca ptr, align 8
  %65 = alloca ptr, align 8
  %66 = alloca i32, align 4
  %67 = alloca ptr, align 8
  %68 = alloca ptr, align 8
  %69 = alloca i32, align 4
  %70 = alloca ptr, align 8
  %71 = alloca ptr, align 8
  %72 = alloca i32, align 4
  %73 = alloca ptr, align 8
  %74 = alloca ptr, align 8
  %75 = alloca i32, align 4
  %76 = alloca ptr, align 8
  %77 = alloca ptr, align 8
  %78 = alloca ptr, align 8
  %79 = alloca i32, align 4
  %80 = alloca ptr, align 8
  %81 = alloca ptr, align 8
  %82 = alloca ptr, align 8
  %83 = alloca i32, align 4
  %84 = alloca ptr, align 8
  %85 = alloca ptr, align 8
  %86 = alloca i32, align 4
  %87 = alloca ptr, align 8
  %88 = alloca ptr, align 8
  %89 = alloca i32, align 4
  %90 = alloca ptr, align 8
  %91 = alloca ptr, align 8
  %92 = 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 25, ptr %20) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #5
  %93 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %93, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 25, ptr %22) #5
  call void @llvm.lifetime.start.p0(i64 25, ptr %23) #5
  call void @llvm.lifetime.start.p0(i64 25, ptr %24) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %25) #5
  %94 = load ptr, ptr %13, align 8, !tbaa !5
  %95 = load i64, ptr %15, align 8, !tbaa !9
  %96 = icmp ult i64 %95, 16
  br i1 %96, label %97, label %98

97:                                               ; preds = %9
  store i32 -1, ptr %10, align 4
  store i32 1, ptr %26, align 4
  br label %638

98:                                               ; preds = %9
  %99 = load i64, ptr %15, align 8, !tbaa !9
  %100 = sub i64 %99, 16
  %101 = load ptr, ptr %12, align 8, !tbaa !5
  store i64 %100, ptr %101, align 8, !tbaa !9
  %102 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  %103 = load ptr, ptr %19, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %102, ptr align 1 %103, i64 16, i1 false)
  %104 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  %105 = getelementptr inbounds i8, ptr %104, i64 16
  call void @llvm.memset.p0.i64(ptr align 1 %105, i8 0, i64 9, i1 false)
  call void @keccakp_200_permute(ptr noundef %20)
  %106 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  %107 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %106, ptr align 1 %107, i64 16, i1 false)
  %108 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  %109 = getelementptr inbounds i8, ptr %108, i64 16
  call void @llvm.memset.p0.i64(ptr align 1 %109, i8 0, i64 9, i1 false)
  %110 = getelementptr inbounds [25 x i8], ptr %22, i64 0, i64 0
  %111 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %110, ptr align 16 %111, i64 25, i1 false)
  %112 = getelementptr inbounds [16 x i8], ptr %25, i64 0, i64 0
  call void @llvm.memset.p0.i64(ptr align 16 %112, i8 0, i64 16, i1 false)
  %113 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  %114 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  %115 = getelementptr inbounds [16 x i8], ptr %25, i64 0, i64 0
  %116 = load ptr, ptr %18, align 8, !tbaa !5
  %117 = load ptr, ptr %16, align 8, !tbaa !5
  %118 = load i64, ptr %17, align 8, !tbaa !9
  call void @delirium_process_ad(ptr noundef %20, ptr noundef %113, ptr noundef %114, ptr noundef %115, ptr noundef %116, ptr noundef %117, i64 noundef %118)
  %119 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  %120 = getelementptr inbounds [25 x i8], ptr %22, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %119, ptr align 16 %120, i64 25, i1 false)
  %121 = load i64, ptr %15, align 8, !tbaa !9
  %122 = sub i64 %121, 16
  store i64 %122, ptr %15, align 8, !tbaa !9
  br label %123

123:                                              ; preds = %312, %98
  %124 = load i64, ptr %15, align 8, !tbaa !9
  %125 = icmp uge i64 %124, 25
  br i1 %125, label %126, label %321

126:                                              ; preds = %123
  %127 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  %128 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  call void @delirium_lfsr(ptr noundef %127, ptr noundef %128)
  br label %129

129:                                              ; preds = %126
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #5
  %130 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %130, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #5
  %131 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  store ptr %131, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #5
  %132 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  store ptr %132, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #5
  store i32 25, ptr %30, align 4, !tbaa !11
  br label %133

133:                                              ; preds = %136, %129
  %134 = load i32, ptr %30, align 4, !tbaa !11
  %135 = icmp ugt i32 %134, 0
  br i1 %135, label %136, label %151

136:                                              ; preds = %133
  %137 = load ptr, ptr %28, align 8, !tbaa !5
  %138 = getelementptr inbounds i8, ptr %137, i32 1
  store ptr %138, ptr %28, align 8, !tbaa !5
  %139 = load i8, ptr %137, align 1, !tbaa !13
  %140 = zext i8 %139 to i32
  %141 = load ptr, ptr %29, align 8, !tbaa !5
  %142 = getelementptr inbounds i8, ptr %141, i32 1
  store ptr %142, ptr %29, align 8, !tbaa !5
  %143 = load i8, ptr %141, align 1, !tbaa !13
  %144 = zext i8 %143 to i32
  %145 = xor i32 %140, %144
  %146 = trunc i32 %145 to i8
  %147 = load ptr, ptr %27, align 8, !tbaa !5
  %148 = getelementptr inbounds i8, ptr %147, i32 1
  store ptr %148, ptr %27, align 8, !tbaa !5
  store i8 %146, ptr %147, align 1, !tbaa !13
  %149 = load i32, ptr %30, align 4, !tbaa !11
  %150 = add i32 %149, -1
  store i32 %150, ptr %30, align 4, !tbaa !11
  br label %133, !llvm.loop !14

151:                                              ; preds = %133
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #5
  br label %152

152:                                              ; preds = %151
  br label %153

153:                                              ; preds = %152
  br label %154

154:                                              ; preds = %153
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #5
  %155 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %155, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #5
  %156 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %156, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #5
  store i32 25, ptr %33, align 4, !tbaa !11
  br label %157

157:                                              ; preds = %160, %154
  %158 = load i32, ptr %33, align 4, !tbaa !11
  %159 = icmp ugt i32 %158, 0
  br i1 %159, label %160, label %173

160:                                              ; preds = %157
  %161 = load ptr, ptr %32, align 8, !tbaa !5
  %162 = getelementptr inbounds i8, ptr %161, i32 1
  store ptr %162, ptr %32, align 8, !tbaa !5
  %163 = load i8, ptr %161, align 1, !tbaa !13
  %164 = zext i8 %163 to i32
  %165 = load ptr, ptr %31, align 8, !tbaa !5
  %166 = getelementptr inbounds i8, ptr %165, i32 1
  store ptr %166, ptr %31, align 8, !tbaa !5
  %167 = load i8, ptr %165, align 1, !tbaa !13
  %168 = zext i8 %167 to i32
  %169 = xor i32 %168, %164
  %170 = trunc i32 %169 to i8
  store i8 %170, ptr %165, align 1, !tbaa !13
  %171 = load i32, ptr %33, align 4, !tbaa !11
  %172 = add i32 %171, -1
  store i32 %172, ptr %33, align 4, !tbaa !11
  br label %157, !llvm.loop !16

173:                                              ; preds = %157
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #5
  br label %174

174:                                              ; preds = %173
  br label %175

175:                                              ; preds = %174
  call void @keccakp_200_permute(ptr noundef %20)
  br label %176

176:                                              ; preds = %175
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #5
  %177 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %177, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #5
  %178 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  store ptr %178, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #5
  store i32 16, ptr %36, align 4, !tbaa !11
  br label %179

179:                                              ; preds = %182, %176
  %180 = load i32, ptr %36, align 4, !tbaa !11
  %181 = icmp ugt i32 %180, 0
  br i1 %181, label %182, label %195

182:                                              ; preds = %179
  %183 = load ptr, ptr %35, align 8, !tbaa !5
  %184 = getelementptr inbounds i8, ptr %183, i32 1
  store ptr %184, ptr %35, align 8, !tbaa !5
  %185 = load i8, ptr %183, align 1, !tbaa !13
  %186 = zext i8 %185 to i32
  %187 = load ptr, ptr %34, align 8, !tbaa !5
  %188 = getelementptr inbounds i8, ptr %187, i32 1
  store ptr %188, ptr %34, align 8, !tbaa !5
  %189 = load i8, ptr %187, align 1, !tbaa !13
  %190 = zext i8 %189 to i32
  %191 = xor i32 %190, %186
  %192 = trunc i32 %191 to i8
  store i8 %192, ptr %187, align 1, !tbaa !13
  %193 = load i32, ptr %36, align 4, !tbaa !11
  %194 = add i32 %193, -1
  store i32 %194, ptr %36, align 4, !tbaa !11
  br label %179, !llvm.loop !17

195:                                              ; preds = %179
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #5
  br label %196

196:                                              ; preds = %195
  br label %197

197:                                              ; preds = %196
  br label %198

198:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #5
  %199 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %199, ptr %37, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #5
  %200 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  store ptr %200, ptr %38, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #5
  store i32 16, ptr %39, align 4, !tbaa !11
  br label %201

201:                                              ; preds = %204, %198
  %202 = load i32, ptr %39, align 4, !tbaa !11
  %203 = icmp ugt i32 %202, 0
  br i1 %203, label %204, label %217

204:                                              ; preds = %201
  %205 = load ptr, ptr %38, align 8, !tbaa !5
  %206 = getelementptr inbounds i8, ptr %205, i32 1
  store ptr %206, ptr %38, align 8, !tbaa !5
  %207 = load i8, ptr %205, align 1, !tbaa !13
  %208 = zext i8 %207 to i32
  %209 = load ptr, ptr %37, align 8, !tbaa !5
  %210 = getelementptr inbounds i8, ptr %209, i32 1
  store ptr %210, ptr %37, align 8, !tbaa !5
  %211 = load i8, ptr %209, align 1, !tbaa !13
  %212 = zext i8 %211 to i32
  %213 = xor i32 %212, %208
  %214 = trunc i32 %213 to i8
  store i8 %214, ptr %209, align 1, !tbaa !13
  %215 = load i32, ptr %39, align 4, !tbaa !11
  %216 = add i32 %215, -1
  store i32 %216, ptr %39, align 4, !tbaa !11
  br label %201, !llvm.loop !18

217:                                              ; preds = %201
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #5
  br label %218

218:                                              ; preds = %217
  br label %219

219:                                              ; preds = %218
  br label %220

220:                                              ; preds = %219
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #5
  %221 = getelementptr inbounds [16 x i8], ptr %25, i64 0, i64 0
  store ptr %221, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #5
  %222 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %222, ptr %41, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #5
  store i32 16, ptr %42, align 4, !tbaa !11
  br label %223

223:                                              ; preds = %226, %220
  %224 = load i32, ptr %42, align 4, !tbaa !11
  %225 = icmp ugt i32 %224, 0
  br i1 %225, label %226, label %239

226:                                              ; preds = %223
  %227 = load ptr, ptr %41, align 8, !tbaa !5
  %228 = getelementptr inbounds i8, ptr %227, i32 1
  store ptr %228, ptr %41, align 8, !tbaa !5
  %229 = load i8, ptr %227, align 1, !tbaa !13
  %230 = zext i8 %229 to i32
  %231 = load ptr, ptr %40, align 8, !tbaa !5
  %232 = getelementptr inbounds i8, ptr %231, i32 1
  store ptr %232, ptr %40, align 8, !tbaa !5
  %233 = load i8, ptr %231, align 1, !tbaa !13
  %234 = zext i8 %233 to i32
  %235 = xor i32 %234, %230
  %236 = trunc i32 %235 to i8
  store i8 %236, ptr %231, align 1, !tbaa !13
  %237 = load i32, ptr %42, align 4, !tbaa !11
  %238 = add i32 %237, -1
  store i32 %238, ptr %42, align 4, !tbaa !11
  br label %223, !llvm.loop !19

239:                                              ; preds = %223
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #5
  br label %240

240:                                              ; preds = %239
  br label %241

241:                                              ; preds = %240
  %242 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  %243 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %242, ptr align 16 %243, i64 25, i1 false)
  br label %244

244:                                              ; preds = %241
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #5
  %245 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %245, ptr %43, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #5
  %246 = load ptr, ptr %18, align 8, !tbaa !5
  store ptr %246, ptr %44, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #5
  store i32 12, ptr %45, align 4, !tbaa !11
  br label %247

247:                                              ; preds = %250, %244
  %248 = load i32, ptr %45, align 4, !tbaa !11
  %249 = icmp ugt i32 %248, 0
  br i1 %249, label %250, label %263

250:                                              ; preds = %247
  %251 = load ptr, ptr %44, align 8, !tbaa !5
  %252 = getelementptr inbounds i8, ptr %251, i32 1
  store ptr %252, ptr %44, align 8, !tbaa !5
  %253 = load i8, ptr %251, align 1, !tbaa !13
  %254 = zext i8 %253 to i32
  %255 = load ptr, ptr %43, align 8, !tbaa !5
  %256 = getelementptr inbounds i8, ptr %255, i32 1
  store ptr %256, ptr %43, align 8, !tbaa !5
  %257 = load i8, ptr %255, align 1, !tbaa !13
  %258 = zext i8 %257 to i32
  %259 = xor i32 %258, %254
  %260 = trunc i32 %259 to i8
  store i8 %260, ptr %255, align 1, !tbaa !13
  %261 = load i32, ptr %45, align 4, !tbaa !11
  %262 = add i32 %261, -1
  store i32 %262, ptr %45, align 4, !tbaa !11
  br label %247, !llvm.loop !20

263:                                              ; preds = %247
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #5
  br label %264

264:                                              ; preds = %263
  br label %265

265:                                              ; preds = %264
  call void @keccakp_200_permute(ptr noundef %20)
  br label %266

266:                                              ; preds = %265
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #5
  %267 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %267, ptr %46, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #5
  %268 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  store ptr %268, ptr %47, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #5
  store i32 25, ptr %48, align 4, !tbaa !11
  br label %269

269:                                              ; preds = %272, %266
  %270 = load i32, ptr %48, align 4, !tbaa !11
  %271 = icmp ugt i32 %270, 0
  br i1 %271, label %272, label %285

272:                                              ; preds = %269
  %273 = load ptr, ptr %47, align 8, !tbaa !5
  %274 = getelementptr inbounds i8, ptr %273, i32 1
  store ptr %274, ptr %47, align 8, !tbaa !5
  %275 = load i8, ptr %273, align 1, !tbaa !13
  %276 = zext i8 %275 to i32
  %277 = load ptr, ptr %46, align 8, !tbaa !5
  %278 = getelementptr inbounds i8, ptr %277, i32 1
  store ptr %278, ptr %46, align 8, !tbaa !5
  %279 = load i8, ptr %277, align 1, !tbaa !13
  %280 = zext i8 %279 to i32
  %281 = xor i32 %280, %276
  %282 = trunc i32 %281 to i8
  store i8 %282, ptr %277, align 1, !tbaa !13
  %283 = load i32, ptr %48, align 4, !tbaa !11
  %284 = add i32 %283, -1
  store i32 %284, ptr %48, align 4, !tbaa !11
  br label %269, !llvm.loop !21

285:                                              ; preds = %269
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #5
  br label %286

286:                                              ; preds = %285
  br label %287

287:                                              ; preds = %286
  br label %288

288:                                              ; preds = %287
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #5
  %289 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %289, ptr %49, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #5
  %290 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %290, ptr %50, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #5
  %291 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %291, ptr %51, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #5
  store i32 25, ptr %52, align 4, !tbaa !11
  br label %292

292:                                              ; preds = %295, %288
  %293 = load i32, ptr %52, align 4, !tbaa !11
  %294 = icmp ugt i32 %293, 0
  br i1 %294, label %295, label %310

295:                                              ; preds = %292
  %296 = load ptr, ptr %50, align 8, !tbaa !5
  %297 = getelementptr inbounds i8, ptr %296, i32 1
  store ptr %297, ptr %50, align 8, !tbaa !5
  %298 = load i8, ptr %296, align 1, !tbaa !13
  %299 = zext i8 %298 to i32
  %300 = load ptr, ptr %51, align 8, !tbaa !5
  %301 = getelementptr inbounds i8, ptr %300, i32 1
  store ptr %301, ptr %51, align 8, !tbaa !5
  %302 = load i8, ptr %300, align 1, !tbaa !13
  %303 = zext i8 %302 to i32
  %304 = xor i32 %299, %303
  %305 = trunc i32 %304 to i8
  %306 = load ptr, ptr %49, align 8, !tbaa !5
  %307 = getelementptr inbounds i8, ptr %306, i32 1
  store ptr %307, ptr %49, align 8, !tbaa !5
  store i8 %305, ptr %306, align 1, !tbaa !13
  %308 = load i32, ptr %52, align 4, !tbaa !11
  %309 = add i32 %308, -1
  store i32 %309, ptr %52, align 4, !tbaa !11
  br label %292, !llvm.loop !22

310:                                              ; preds = %292
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #5
  br label %311

311:                                              ; preds = %310
  br label %312

312:                                              ; preds = %311
  %313 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  %314 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %313, ptr align 16 %314, i64 25, i1 false)
  %315 = load ptr, ptr %14, align 8, !tbaa !5
  %316 = getelementptr inbounds i8, ptr %315, i64 25
  store ptr %316, ptr %14, align 8, !tbaa !5
  %317 = load ptr, ptr %11, align 8, !tbaa !5
  %318 = getelementptr inbounds i8, ptr %317, i64 25
  store ptr %318, ptr %11, align 8, !tbaa !5
  %319 = load i64, ptr %15, align 8, !tbaa !9
  %320 = sub i64 %319, 25
  store i64 %320, ptr %15, align 8, !tbaa !9
  br label %123, !llvm.loop !23

321:                                              ; preds = %123
  %322 = load i64, ptr %15, align 8, !tbaa !9
  %323 = icmp ugt i64 %322, 0
  br i1 %323, label %324, label %527

324:                                              ; preds = %321
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #5
  %325 = load i64, ptr %15, align 8, !tbaa !9
  %326 = trunc i64 %325 to i32
  store i32 %326, ptr %53, align 4, !tbaa !11
  %327 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  %328 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  call void @delirium_lfsr(ptr noundef %327, ptr noundef %328)
  br label %329

329:                                              ; preds = %324
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #5
  %330 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %330, ptr %54, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #5
  %331 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  store ptr %331, ptr %55, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #5
  %332 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  store ptr %332, ptr %56, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #5
  store i32 25, ptr %57, align 4, !tbaa !11
  br label %333

333:                                              ; preds = %336, %329
  %334 = load i32, ptr %57, align 4, !tbaa !11
  %335 = icmp ugt i32 %334, 0
  br i1 %335, label %336, label %351

336:                                              ; preds = %333
  %337 = load ptr, ptr %55, align 8, !tbaa !5
  %338 = getelementptr inbounds i8, ptr %337, i32 1
  store ptr %338, ptr %55, align 8, !tbaa !5
  %339 = load i8, ptr %337, align 1, !tbaa !13
  %340 = zext i8 %339 to i32
  %341 = load ptr, ptr %56, align 8, !tbaa !5
  %342 = getelementptr inbounds i8, ptr %341, i32 1
  store ptr %342, ptr %56, align 8, !tbaa !5
  %343 = load i8, ptr %341, align 1, !tbaa !13
  %344 = zext i8 %343 to i32
  %345 = xor i32 %340, %344
  %346 = trunc i32 %345 to i8
  %347 = load ptr, ptr %54, align 8, !tbaa !5
  %348 = getelementptr inbounds i8, ptr %347, i32 1
  store ptr %348, ptr %54, align 8, !tbaa !5
  store i8 %346, ptr %347, align 1, !tbaa !13
  %349 = load i32, ptr %57, align 4, !tbaa !11
  %350 = add i32 %349, -1
  store i32 %350, ptr %57, align 4, !tbaa !11
  br label %333, !llvm.loop !24

351:                                              ; preds = %333
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #5
  br label %352

352:                                              ; preds = %351
  br label %353

353:                                              ; preds = %352
  br label %354

354:                                              ; preds = %353
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #5
  %355 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %355, ptr %58, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #5
  %356 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %356, ptr %59, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %60) #5
  %357 = load i32, ptr %53, align 4, !tbaa !11
  store i32 %357, ptr %60, align 4, !tbaa !11
  br label %358

358:                                              ; preds = %361, %354
  %359 = load i32, ptr %60, align 4, !tbaa !11
  %360 = icmp ugt i32 %359, 0
  br i1 %360, label %361, label %374

361:                                              ; preds = %358
  %362 = load ptr, ptr %59, align 8, !tbaa !5
  %363 = getelementptr inbounds i8, ptr %362, i32 1
  store ptr %363, ptr %59, align 8, !tbaa !5
  %364 = load i8, ptr %362, align 1, !tbaa !13
  %365 = zext i8 %364 to i32
  %366 = load ptr, ptr %58, align 8, !tbaa !5
  %367 = getelementptr inbounds i8, ptr %366, i32 1
  store ptr %367, ptr %58, align 8, !tbaa !5
  %368 = load i8, ptr %366, align 1, !tbaa !13
  %369 = zext i8 %368 to i32
  %370 = xor i32 %369, %365
  %371 = trunc i32 %370 to i8
  store i8 %371, ptr %366, align 1, !tbaa !13
  %372 = load i32, ptr %60, align 4, !tbaa !11
  %373 = add i32 %372, -1
  store i32 %373, ptr %60, align 4, !tbaa !11
  br label %358, !llvm.loop !25

374:                                              ; preds = %358
  call void @llvm.lifetime.end.p0(i64 4, ptr %60) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #5
  br label %375

375:                                              ; preds = %374
  br label %376

376:                                              ; preds = %375
  %377 = load i32, ptr %53, align 4, !tbaa !11
  %378 = zext i32 %377 to i64
  %379 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 %378
  %380 = load i8, ptr %379, align 1, !tbaa !13
  %381 = zext i8 %380 to i32
  %382 = xor i32 %381, 1
  %383 = trunc i32 %382 to i8
  store i8 %383, ptr %379, align 1, !tbaa !13
  call void @keccakp_200_permute(ptr noundef %20)
  br label %384

384:                                              ; preds = %376
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #5
  %385 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %385, ptr %61, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #5
  %386 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  store ptr %386, ptr %62, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %63) #5
  store i32 16, ptr %63, align 4, !tbaa !11
  br label %387

387:                                              ; preds = %390, %384
  %388 = load i32, ptr %63, align 4, !tbaa !11
  %389 = icmp ugt i32 %388, 0
  br i1 %389, label %390, label %403

390:                                              ; preds = %387
  %391 = load ptr, ptr %62, align 8, !tbaa !5
  %392 = getelementptr inbounds i8, ptr %391, i32 1
  store ptr %392, ptr %62, align 8, !tbaa !5
  %393 = load i8, ptr %391, align 1, !tbaa !13
  %394 = zext i8 %393 to i32
  %395 = load ptr, ptr %61, align 8, !tbaa !5
  %396 = getelementptr inbounds i8, ptr %395, i32 1
  store ptr %396, ptr %61, align 8, !tbaa !5
  %397 = load i8, ptr %395, align 1, !tbaa !13
  %398 = zext i8 %397 to i32
  %399 = xor i32 %398, %394
  %400 = trunc i32 %399 to i8
  store i8 %400, ptr %395, align 1, !tbaa !13
  %401 = load i32, ptr %63, align 4, !tbaa !11
  %402 = add i32 %401, -1
  store i32 %402, ptr %63, align 4, !tbaa !11
  br label %387, !llvm.loop !26

403:                                              ; preds = %387
  call void @llvm.lifetime.end.p0(i64 4, ptr %63) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #5
  br label %404

404:                                              ; preds = %403
  br label %405

405:                                              ; preds = %404
  br label %406

406:                                              ; preds = %405
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #5
  %407 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %407, ptr %64, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #5
  %408 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  store ptr %408, ptr %65, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %66) #5
  store i32 16, ptr %66, align 4, !tbaa !11
  br label %409

409:                                              ; preds = %412, %406
  %410 = load i32, ptr %66, align 4, !tbaa !11
  %411 = icmp ugt i32 %410, 0
  br i1 %411, label %412, label %425

412:                                              ; preds = %409
  %413 = load ptr, ptr %65, align 8, !tbaa !5
  %414 = getelementptr inbounds i8, ptr %413, i32 1
  store ptr %414, ptr %65, align 8, !tbaa !5
  %415 = load i8, ptr %413, align 1, !tbaa !13
  %416 = zext i8 %415 to i32
  %417 = load ptr, ptr %64, align 8, !tbaa !5
  %418 = getelementptr inbounds i8, ptr %417, i32 1
  store ptr %418, ptr %64, align 8, !tbaa !5
  %419 = load i8, ptr %417, align 1, !tbaa !13
  %420 = zext i8 %419 to i32
  %421 = xor i32 %420, %416
  %422 = trunc i32 %421 to i8
  store i8 %422, ptr %417, align 1, !tbaa !13
  %423 = load i32, ptr %66, align 4, !tbaa !11
  %424 = add i32 %423, -1
  store i32 %424, ptr %66, align 4, !tbaa !11
  br label %409, !llvm.loop !27

425:                                              ; preds = %409
  call void @llvm.lifetime.end.p0(i64 4, ptr %66) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #5
  br label %426

426:                                              ; preds = %425
  br label %427

427:                                              ; preds = %426
  br label %428

428:                                              ; preds = %427
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #5
  %429 = getelementptr inbounds [16 x i8], ptr %25, i64 0, i64 0
  store ptr %429, ptr %67, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %68) #5
  %430 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %430, ptr %68, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %69) #5
  store i32 16, ptr %69, align 4, !tbaa !11
  br label %431

431:                                              ; preds = %434, %428
  %432 = load i32, ptr %69, align 4, !tbaa !11
  %433 = icmp ugt i32 %432, 0
  br i1 %433, label %434, label %447

434:                                              ; preds = %431
  %435 = load ptr, ptr %68, align 8, !tbaa !5
  %436 = getelementptr inbounds i8, ptr %435, i32 1
  store ptr %436, ptr %68, align 8, !tbaa !5
  %437 = load i8, ptr %435, align 1, !tbaa !13
  %438 = zext i8 %437 to i32
  %439 = load ptr, ptr %67, align 8, !tbaa !5
  %440 = getelementptr inbounds i8, ptr %439, i32 1
  store ptr %440, ptr %67, align 8, !tbaa !5
  %441 = load i8, ptr %439, align 1, !tbaa !13
  %442 = zext i8 %441 to i32
  %443 = xor i32 %442, %438
  %444 = trunc i32 %443 to i8
  store i8 %444, ptr %439, align 1, !tbaa !13
  %445 = load i32, ptr %69, align 4, !tbaa !11
  %446 = add i32 %445, -1
  store i32 %446, ptr %69, align 4, !tbaa !11
  br label %431, !llvm.loop !28

447:                                              ; preds = %431
  call void @llvm.lifetime.end.p0(i64 4, ptr %69) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %68) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #5
  br label %448

448:                                              ; preds = %447
  br label %449

449:                                              ; preds = %448
  %450 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  %451 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %450, ptr align 16 %451, i64 25, i1 false)
  br label %452

452:                                              ; preds = %449
  call void @llvm.lifetime.start.p0(i64 8, ptr %70) #5
  %453 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %453, ptr %70, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #5
  %454 = load ptr, ptr %18, align 8, !tbaa !5
  store ptr %454, ptr %71, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %72) #5
  store i32 12, ptr %72, align 4, !tbaa !11
  br label %455

455:                                              ; preds = %458, %452
  %456 = load i32, ptr %72, align 4, !tbaa !11
  %457 = icmp ugt i32 %456, 0
  br i1 %457, label %458, label %471

458:                                              ; preds = %455
  %459 = load ptr, ptr %71, align 8, !tbaa !5
  %460 = getelementptr inbounds i8, ptr %459, i32 1
  store ptr %460, ptr %71, align 8, !tbaa !5
  %461 = load i8, ptr %459, align 1, !tbaa !13
  %462 = zext i8 %461 to i32
  %463 = load ptr, ptr %70, align 8, !tbaa !5
  %464 = getelementptr inbounds i8, ptr %463, i32 1
  store ptr %464, ptr %70, align 8, !tbaa !5
  %465 = load i8, ptr %463, align 1, !tbaa !13
  %466 = zext i8 %465 to i32
  %467 = xor i32 %466, %462
  %468 = trunc i32 %467 to i8
  store i8 %468, ptr %463, align 1, !tbaa !13
  %469 = load i32, ptr %72, align 4, !tbaa !11
  %470 = add i32 %469, -1
  store i32 %470, ptr %72, align 4, !tbaa !11
  br label %455, !llvm.loop !29

471:                                              ; preds = %455
  call void @llvm.lifetime.end.p0(i64 4, ptr %72) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %70) #5
  br label %472

472:                                              ; preds = %471
  br label %473

473:                                              ; preds = %472
  call void @keccakp_200_permute(ptr noundef %20)
  br label %474

474:                                              ; preds = %473
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #5
  %475 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %475, ptr %73, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %74) #5
  %476 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  store ptr %476, ptr %74, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %75) #5
  %477 = load i32, ptr %53, align 4, !tbaa !11
  store i32 %477, ptr %75, align 4, !tbaa !11
  br label %478

478:                                              ; preds = %481, %474
  %479 = load i32, ptr %75, align 4, !tbaa !11
  %480 = icmp ugt i32 %479, 0
  br i1 %480, label %481, label %494

481:                                              ; preds = %478
  %482 = load ptr, ptr %74, align 8, !tbaa !5
  %483 = getelementptr inbounds i8, ptr %482, i32 1
  store ptr %483, ptr %74, align 8, !tbaa !5
  %484 = load i8, ptr %482, align 1, !tbaa !13
  %485 = zext i8 %484 to i32
  %486 = load ptr, ptr %73, align 8, !tbaa !5
  %487 = getelementptr inbounds i8, ptr %486, i32 1
  store ptr %487, ptr %73, align 8, !tbaa !5
  %488 = load i8, ptr %486, align 1, !tbaa !13
  %489 = zext i8 %488 to i32
  %490 = xor i32 %489, %485
  %491 = trunc i32 %490 to i8
  store i8 %491, ptr %486, align 1, !tbaa !13
  %492 = load i32, ptr %75, align 4, !tbaa !11
  %493 = add i32 %492, -1
  store i32 %493, ptr %75, align 4, !tbaa !11
  br label %478, !llvm.loop !30

494:                                              ; preds = %478
  call void @llvm.lifetime.end.p0(i64 4, ptr %75) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #5
  br label %495

495:                                              ; preds = %494
  br label %496

496:                                              ; preds = %495
  br label %497

497:                                              ; preds = %496
  call void @llvm.lifetime.start.p0(i64 8, ptr %76) #5
  %498 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %498, ptr %76, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %77) #5
  %499 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %499, ptr %77, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %78) #5
  %500 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %500, ptr %78, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %79) #5
  %501 = load i32, ptr %53, align 4, !tbaa !11
  store i32 %501, ptr %79, align 4, !tbaa !11
  br label %502

502:                                              ; preds = %505, %497
  %503 = load i32, ptr %79, align 4, !tbaa !11
  %504 = icmp ugt i32 %503, 0
  br i1 %504, label %505, label %520

505:                                              ; preds = %502
  %506 = load ptr, ptr %77, align 8, !tbaa !5
  %507 = getelementptr inbounds i8, ptr %506, i32 1
  store ptr %507, ptr %77, align 8, !tbaa !5
  %508 = load i8, ptr %506, align 1, !tbaa !13
  %509 = zext i8 %508 to i32
  %510 = load ptr, ptr %78, align 8, !tbaa !5
  %511 = getelementptr inbounds i8, ptr %510, i32 1
  store ptr %511, ptr %78, align 8, !tbaa !5
  %512 = load i8, ptr %510, align 1, !tbaa !13
  %513 = zext i8 %512 to i32
  %514 = xor i32 %509, %513
  %515 = trunc i32 %514 to i8
  %516 = load ptr, ptr %76, align 8, !tbaa !5
  %517 = getelementptr inbounds i8, ptr %516, i32 1
  store ptr %517, ptr %76, align 8, !tbaa !5
  store i8 %515, ptr %516, align 1, !tbaa !13
  %518 = load i32, ptr %79, align 4, !tbaa !11
  %519 = add i32 %518, -1
  store i32 %519, ptr %79, align 4, !tbaa !11
  br label %502, !llvm.loop !31

520:                                              ; preds = %502
  call void @llvm.lifetime.end.p0(i64 4, ptr %79) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %78) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %77) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %76) #5
  br label %521

521:                                              ; preds = %520
  br label %522

522:                                              ; preds = %521
  %523 = load i32, ptr %53, align 4, !tbaa !11
  %524 = load ptr, ptr %14, align 8, !tbaa !5
  %525 = zext i32 %523 to i64
  %526 = getelementptr inbounds i8, ptr %524, i64 %525
  store ptr %526, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #5
  br label %631

527:                                              ; preds = %321
  %528 = load ptr, ptr %12, align 8, !tbaa !5
  %529 = load i64, ptr %528, align 8, !tbaa !9
  %530 = icmp ne i64 %529, 0
  br i1 %530, label %531, label %630

531:                                              ; preds = %527
  %532 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  %533 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  call void @delirium_lfsr(ptr noundef %532, ptr noundef %533)
  br label %534

534:                                              ; preds = %531
  call void @llvm.lifetime.start.p0(i64 8, ptr %80) #5
  %535 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %535, ptr %80, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %81) #5
  %536 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  store ptr %536, ptr %81, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %82) #5
  %537 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  store ptr %537, ptr %82, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %83) #5
  store i32 25, ptr %83, align 4, !tbaa !11
  br label %538

538:                                              ; preds = %541, %534
  %539 = load i32, ptr %83, align 4, !tbaa !11
  %540 = icmp ugt i32 %539, 0
  br i1 %540, label %541, label %556

541:                                              ; preds = %538
  %542 = load ptr, ptr %81, align 8, !tbaa !5
  %543 = getelementptr inbounds i8, ptr %542, i32 1
  store ptr %543, ptr %81, align 8, !tbaa !5
  %544 = load i8, ptr %542, align 1, !tbaa !13
  %545 = zext i8 %544 to i32
  %546 = load ptr, ptr %82, align 8, !tbaa !5
  %547 = getelementptr inbounds i8, ptr %546, i32 1
  store ptr %547, ptr %82, align 8, !tbaa !5
  %548 = load i8, ptr %546, align 1, !tbaa !13
  %549 = zext i8 %548 to i32
  %550 = xor i32 %545, %549
  %551 = trunc i32 %550 to i8
  %552 = load ptr, ptr %80, align 8, !tbaa !5
  %553 = getelementptr inbounds i8, ptr %552, i32 1
  store ptr %553, ptr %80, align 8, !tbaa !5
  store i8 %551, ptr %552, align 1, !tbaa !13
  %554 = load i32, ptr %83, align 4, !tbaa !11
  %555 = add i32 %554, -1
  store i32 %555, ptr %83, align 4, !tbaa !11
  br label %538, !llvm.loop !32

556:                                              ; preds = %538
  call void @llvm.lifetime.end.p0(i64 4, ptr %83) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %82) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %81) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %80) #5
  br label %557

557:                                              ; preds = %556
  br label %558

558:                                              ; preds = %557
  %559 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  %560 = load i8, ptr %559, align 1, !tbaa !13
  %561 = zext i8 %560 to i32
  %562 = xor i32 %561, 1
  %563 = trunc i32 %562 to i8
  store i8 %563, ptr %559, align 1, !tbaa !13
  call void @keccakp_200_permute(ptr noundef %20)
  br label %564

564:                                              ; preds = %558
  call void @llvm.lifetime.start.p0(i64 8, ptr %84) #5
  %565 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %565, ptr %84, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %85) #5
  %566 = getelementptr inbounds [25 x i8], ptr %23, i64 0, i64 0
  store ptr %566, ptr %85, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %86) #5
  store i32 16, ptr %86, align 4, !tbaa !11
  br label %567

567:                                              ; preds = %570, %564
  %568 = load i32, ptr %86, align 4, !tbaa !11
  %569 = icmp ugt i32 %568, 0
  br i1 %569, label %570, label %583

570:                                              ; preds = %567
  %571 = load ptr, ptr %85, align 8, !tbaa !5
  %572 = getelementptr inbounds i8, ptr %571, i32 1
  store ptr %572, ptr %85, align 8, !tbaa !5
  %573 = load i8, ptr %571, align 1, !tbaa !13
  %574 = zext i8 %573 to i32
  %575 = load ptr, ptr %84, align 8, !tbaa !5
  %576 = getelementptr inbounds i8, ptr %575, i32 1
  store ptr %576, ptr %84, align 8, !tbaa !5
  %577 = load i8, ptr %575, align 1, !tbaa !13
  %578 = zext i8 %577 to i32
  %579 = xor i32 %578, %574
  %580 = trunc i32 %579 to i8
  store i8 %580, ptr %575, align 1, !tbaa !13
  %581 = load i32, ptr %86, align 4, !tbaa !11
  %582 = add i32 %581, -1
  store i32 %582, ptr %86, align 4, !tbaa !11
  br label %567, !llvm.loop !33

583:                                              ; preds = %567
  call void @llvm.lifetime.end.p0(i64 4, ptr %86) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %84) #5
  br label %584

584:                                              ; preds = %583
  br label %585

585:                                              ; preds = %584
  br label %586

586:                                              ; preds = %585
  call void @llvm.lifetime.start.p0(i64 8, ptr %87) #5
  %587 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %587, ptr %87, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %88) #5
  %588 = getelementptr inbounds [25 x i8], ptr %24, i64 0, i64 0
  store ptr %588, ptr %88, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %89) #5
  store i32 16, ptr %89, align 4, !tbaa !11
  br label %589

589:                                              ; preds = %592, %586
  %590 = load i32, ptr %89, align 4, !tbaa !11
  %591 = icmp ugt i32 %590, 0
  br i1 %591, label %592, label %605

592:                                              ; preds = %589
  %593 = load ptr, ptr %88, align 8, !tbaa !5
  %594 = getelementptr inbounds i8, ptr %593, i32 1
  store ptr %594, ptr %88, align 8, !tbaa !5
  %595 = load i8, ptr %593, align 1, !tbaa !13
  %596 = zext i8 %595 to i32
  %597 = load ptr, ptr %87, align 8, !tbaa !5
  %598 = getelementptr inbounds i8, ptr %597, i32 1
  store ptr %598, ptr %87, align 8, !tbaa !5
  %599 = load i8, ptr %597, align 1, !tbaa !13
  %600 = zext i8 %599 to i32
  %601 = xor i32 %600, %596
  %602 = trunc i32 %601 to i8
  store i8 %602, ptr %597, align 1, !tbaa !13
  %603 = load i32, ptr %89, align 4, !tbaa !11
  %604 = add i32 %603, -1
  store i32 %604, ptr %89, align 4, !tbaa !11
  br label %589, !llvm.loop !34

605:                                              ; preds = %589
  call void @llvm.lifetime.end.p0(i64 4, ptr %89) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %88) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %87) #5
  br label %606

606:                                              ; preds = %605
  br label %607

607:                                              ; preds = %606
  br label %608

608:                                              ; preds = %607
  call void @llvm.lifetime.start.p0(i64 8, ptr %90) #5
  %609 = getelementptr inbounds [16 x i8], ptr %25, i64 0, i64 0
  store ptr %609, ptr %90, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %91) #5
  %610 = getelementptr inbounds [25 x i8], ptr %20, i64 0, i64 0
  store ptr %610, ptr %91, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %92) #5
  store i32 16, ptr %92, align 4, !tbaa !11
  br label %611

611:                                              ; preds = %614, %608
  %612 = load i32, ptr %92, align 4, !tbaa !11
  %613 = icmp ugt i32 %612, 0
  br i1 %613, label %614, label %627

614:                                              ; preds = %611
  %615 = load ptr, ptr %91, align 8, !tbaa !5
  %616 = getelementptr inbounds i8, ptr %615, i32 1
  store ptr %616, ptr %91, align 8, !tbaa !5
  %617 = load i8, ptr %615, align 1, !tbaa !13
  %618 = zext i8 %617 to i32
  %619 = load ptr, ptr %90, align 8, !tbaa !5
  %620 = getelementptr inbounds i8, ptr %619, i32 1
  store ptr %620, ptr %90, align 8, !tbaa !5
  %621 = load i8, ptr %619, align 1, !tbaa !13
  %622 = zext i8 %621 to i32
  %623 = xor i32 %622, %618
  %624 = trunc i32 %623 to i8
  store i8 %624, ptr %619, align 1, !tbaa !13
  %625 = load i32, ptr %92, align 4, !tbaa !11
  %626 = add i32 %625, -1
  store i32 %626, ptr %92, align 4, !tbaa !11
  br label %611, !llvm.loop !35

627:                                              ; preds = %611
  call void @llvm.lifetime.end.p0(i64 4, ptr %92) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %91) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %90) #5
  br label %628

628:                                              ; preds = %627
  br label %629

629:                                              ; preds = %628
  br label %630

630:                                              ; preds = %629, %527
  br label %631

631:                                              ; preds = %630, %522
  %632 = load ptr, ptr %21, align 8, !tbaa !5
  %633 = load ptr, ptr %12, align 8, !tbaa !5
  %634 = load i64, ptr %633, align 8, !tbaa !9
  %635 = getelementptr inbounds [16 x i8], ptr %25, i64 0, i64 0
  %636 = load ptr, ptr %14, align 8, !tbaa !5
  %637 = call i32 @aead_check_tag(ptr noundef %632, i64 noundef %634, ptr noundef %635, ptr noundef %636, i32 noundef 16)
  store i32 %637, ptr %10, align 4
  store i32 1, ptr %26, align 4
  br label %638

638:                                              ; preds = %631, %97
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 25, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 25, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 25, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 25, ptr %20) #5
  %639 = load i32, ptr %10, align 4
  ret i32 %639
}

; 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 void @keccakp_200_permute(ptr noundef) #4

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

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

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 = { 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, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!7, !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}
!26 = distinct !{!26, !15}
!27 = distinct !{!27, !15}
!28 = distinct !{!28, !15}
!29 = distinct !{!29, !15}
!30 = distinct !{!30, !15}
!31 = distinct !{!31, !15}
!32 = distinct !{!32, !15}
!33 = distinct !{!33, !15}
!34 = distinct !{!34, !15}
!35 = distinct !{!35, !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"

%union.keccakp_200_state_t = type { [5 x [5 x i8]] }

; Function Attrs: nounwind uwtable
define dso_local i32 @delirium_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 noundef %7, ptr nocapture noundef readonly %8) local_unnamed_addr #0 {
  %10 = alloca %union.keccakp_200_state_t, align 16
  %11 = ptrtoint ptr %10 to i64
  %12 = alloca [25 x i8], align 16
  %13 = alloca [25 x i8], align 16
  %14 = alloca [25 x i8], align 16
  %15 = alloca [16 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 25, ptr nonnull %10) #5
  call void @llvm.lifetime.start.p0(i64 25, ptr nonnull %12)
  call void @llvm.lifetime.start.p0(i64 25, ptr nonnull %13) #5
  call void @llvm.lifetime.start.p0(i64 25, ptr nonnull %14) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %15) #5
  %16 = icmp ult i64 %4, 16
  br i1 %16, label %423, label %17

17:                                               ; preds = %9
  %18 = add i64 %4, -16
  store i64 %18, 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)
  %19 = getelementptr inbounds i8, ptr %10, i64 16
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(9) %19, i8 0, i64 9, i1 false)
  call void @keccakp_200_permute(ptr noundef nonnull %10) #5
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %13, ptr noundef nonnull align 16 dereferenceable(16) %10, i64 16, i1 false)
  %20 = getelementptr inbounds i8, ptr %13, i64 16
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(9) %20, i8 0, i64 9, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(25) %12, ptr noundef nonnull align 16 dereferenceable(25) %13, i64 25, i1 false)
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %15, i8 0, i64 16, i1 false)
  call void @delirium_process_ad(ptr noundef nonnull %10, ptr noundef nonnull %13, ptr noundef nonnull %14, ptr noundef nonnull %15, ptr noundef %7, ptr noundef %5, i64 noundef %6)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(25) %13, ptr noundef nonnull align 16 dereferenceable(25) %12, i64 25, i1 false)
  %21 = icmp ugt i64 %18, 24
  br i1 %21, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %17
  %22 = getelementptr inbounds i8, ptr %13, i64 8
  %23 = getelementptr inbounds i8, ptr %14, i64 8
  %24 = getelementptr inbounds i8, ptr %10, i64 8
  %25 = getelementptr inbounds i8, ptr %13, i64 12
  %26 = getelementptr inbounds i8, ptr %14, i64 12
  %27 = getelementptr inbounds i8, ptr %10, i64 12
  %28 = getelementptr inbounds i8, ptr %10, i64 13
  %29 = getelementptr inbounds i8, ptr %10, i64 14
  %30 = getelementptr inbounds i8, ptr %10, i64 15
  %31 = getelementptr inbounds i8, ptr %13, i64 16
  %32 = getelementptr inbounds i8, ptr %14, i64 16
  %33 = getelementptr inbounds i8, ptr %10, i64 16
  %34 = getelementptr inbounds i8, ptr %10, i64 17
  %35 = getelementptr inbounds i8, ptr %10, i64 18
  %36 = getelementptr inbounds i8, ptr %10, i64 19
  %37 = getelementptr inbounds i8, ptr %10, i64 20
  %38 = getelementptr inbounds i8, ptr %10, i64 21
  %39 = getelementptr inbounds i8, ptr %10, i64 22
  %40 = getelementptr inbounds i8, ptr %10, i64 23
  %41 = getelementptr inbounds i8, ptr %13, i64 24
  %42 = getelementptr inbounds i8, ptr %14, i64 24
  %43 = getelementptr inbounds i8, ptr %10, i64 24
  %44 = getelementptr inbounds i8, ptr %15, i64 8
  %45 = getelementptr inbounds i8, ptr %15, i64 12
  %46 = getelementptr inbounds i8, ptr %7, i64 8
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader, %.lr.ph
  %.0184246 = phi ptr [ %231, %.lr.ph ], [ %0, %.lr.ph.preheader ]
  %.0185245 = phi ptr [ %230, %.lr.ph ], [ %3, %.lr.ph.preheader ]
  %.0186244 = phi i64 [ %232, %.lr.ph ], [ %18, %.lr.ph.preheader ]
  call void @delirium_lfsr(ptr noundef nonnull %14, ptr noundef nonnull %13)
  %47 = load <16 x i8>, ptr %13, align 16, !tbaa !9
  %48 = load <16 x i8>, ptr %14, align 16, !tbaa !9
  %49 = xor <16 x i8> %48, %47
  store <16 x i8> %49, ptr %10, align 16, !tbaa !9
  %50 = load <8 x i8>, ptr %31, align 16, !tbaa !9
  %51 = load <8 x i8>, ptr %32, align 16, !tbaa !9
  %52 = xor <8 x i8> %51, %50
  store <8 x i8> %52, ptr %33, align 16, !tbaa !9
  %53 = load i8, ptr %41, align 8, !tbaa !9
  %54 = load i8, ptr %42, align 8, !tbaa !9
  %55 = xor i8 %54, %53
  store i8 %55, ptr %43, align 8, !tbaa !9
  %56 = getelementptr inbounds i8, ptr %.0185245, i64 1
  %57 = getelementptr inbounds i8, ptr %.0185245, i64 2
  %58 = getelementptr inbounds i8, ptr %.0185245, i64 3
  %59 = getelementptr inbounds i8, ptr %.0185245, i64 4
  %60 = getelementptr inbounds i8, ptr %.0185245, i64 5
  %61 = getelementptr inbounds i8, ptr %.0185245, i64 6
  %62 = getelementptr inbounds i8, ptr %.0185245, i64 7
  %63 = getelementptr inbounds i8, ptr %.0185245, i64 8
  %64 = load <8 x i8>, ptr %.0185245, align 1, !tbaa !9
  %65 = load <8 x i8>, ptr %10, align 16, !tbaa !9
  %66 = xor <8 x i8> %65, %64
  store <8 x i8> %66, ptr %10, align 16, !tbaa !9
  %67 = getelementptr inbounds i8, ptr %.0185245, i64 9
  %68 = getelementptr inbounds i8, ptr %.0185245, i64 10
  %69 = getelementptr inbounds i8, ptr %.0185245, i64 11
  %70 = getelementptr inbounds i8, ptr %.0185245, i64 12
  %71 = load <4 x i8>, ptr %63, align 1, !tbaa !9
  %72 = load <4 x i8>, ptr %24, align 8, !tbaa !9
  %73 = xor <4 x i8> %72, %71
  store <4 x i8> %73, ptr %24, align 8, !tbaa !9
  %74 = getelementptr inbounds i8, ptr %.0185245, i64 13
  %75 = getelementptr inbounds i8, ptr %.0185245, i64 14
  %76 = getelementptr inbounds i8, ptr %.0185245, i64 15
  %77 = getelementptr inbounds i8, ptr %.0185245, i64 16
  %78 = getelementptr inbounds i8, ptr %.0185245, i64 17
  %79 = getelementptr inbounds i8, ptr %.0185245, i64 18
  %80 = getelementptr inbounds i8, ptr %.0185245, i64 19
  %81 = getelementptr inbounds i8, ptr %.0185245, i64 20
  %82 = load <8 x i8>, ptr %70, align 1, !tbaa !9
  %83 = load <8 x i8>, ptr %27, align 4, !tbaa !9
  %84 = xor <8 x i8> %83, %82
  store <8 x i8> %84, ptr %27, align 4, !tbaa !9
  %85 = getelementptr inbounds i8, ptr %.0185245, i64 21
  %86 = getelementptr inbounds i8, ptr %.0185245, i64 22
  %87 = getelementptr inbounds i8, ptr %.0185245, i64 23
  %88 = getelementptr inbounds i8, ptr %.0185245, i64 24
  %89 = load <4 x i8>, ptr %81, align 1, !tbaa !9
  %90 = load <4 x i8>, ptr %37, align 4, !tbaa !9
  %91 = xor <4 x i8> %90, %89
  store <4 x i8> %91, ptr %37, align 4, !tbaa !9
  %92 = load i8, ptr %88, align 1, !tbaa !9
  %93 = load i8, ptr %43, align 8, !tbaa !9
  %94 = xor i8 %93, %92
  store i8 %94, ptr %43, align 8, !tbaa !9
  call void @keccakp_200_permute(ptr noundef nonnull %10) #5
  %95 = load <8 x i8>, ptr %13, align 16, !tbaa !9
  %96 = load <8 x i8>, ptr %10, align 16, !tbaa !9
  %97 = xor <8 x i8> %96, %95
  %98 = load <8 x i8>, ptr %14, align 16, !tbaa !9
  %99 = xor <8 x i8> %97, %98
  store <8 x i8> %99, ptr %10, align 16, !tbaa !9
  %100 = load <4 x i8>, ptr %22, align 8, !tbaa !9
  %101 = load <4 x i8>, ptr %24, align 8, !tbaa !9
  %102 = xor <4 x i8> %101, %100
  %103 = load <4 x i8>, ptr %23, align 8, !tbaa !9
  %104 = xor <4 x i8> %102, %103
  store <4 x i8> %104, ptr %24, align 8, !tbaa !9
  %105 = load <8 x i8>, ptr %15, align 16, !tbaa !9
  %106 = xor <8 x i8> %105, %99
  store <8 x i8> %106, ptr %15, align 16, !tbaa !9
  %107 = load <4 x i8>, ptr %44, align 8, !tbaa !9
  %108 = xor <4 x i8> %107, %104
  store <4 x i8> %108, ptr %44, align 8, !tbaa !9
  %109 = load <4 x i8>, ptr %25, align 4, !tbaa !9
  %110 = load <4 x i8>, ptr %27, align 4, !tbaa !9
  %111 = xor <4 x i8> %110, %109
  %112 = load <4 x i8>, ptr %26, align 4, !tbaa !9
  %113 = xor <4 x i8> %111, %112
  %114 = load <4 x i8>, ptr %45, align 4, !tbaa !9
  %115 = xor <4 x i8> %114, %113
  store <4 x i8> %115, ptr %45, align 4, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(25) %10, ptr noundef nonnull align 16 dereferenceable(25) %13, i64 25, i1 false)
  %116 = load <8 x i8>, ptr %7, align 1, !tbaa !9
  %117 = load <8 x i8>, ptr %10, align 16, !tbaa !9
  %118 = xor <8 x i8> %117, %116
  store <8 x i8> %118, ptr %10, align 16, !tbaa !9
  %119 = load <4 x i8>, ptr %46, align 1, !tbaa !9
  %120 = load <4 x i8>, ptr %24, align 8, !tbaa !9
  %121 = xor <4 x i8> %120, %119
  store <4 x i8> %121, ptr %24, align 8, !tbaa !9
  call void @keccakp_200_permute(ptr noundef nonnull %10) #5
  %122 = load <16 x i8>, ptr %13, align 16, !tbaa !9
  %123 = load <16 x i8>, ptr %10, align 16, !tbaa !9
  %124 = xor <16 x i8> %123, %122
  store <16 x i8> %124, ptr %10, align 16, !tbaa !9
  %125 = load <8 x i8>, ptr %31, align 16, !tbaa !9
  %126 = load <8 x i8>, ptr %33, align 16, !tbaa !9
  %127 = xor <8 x i8> %126, %125
  store <8 x i8> %127, ptr %33, align 16, !tbaa !9
  %128 = load i8, ptr %41, align 8, !tbaa !9
  %129 = load i8, ptr %43, align 8, !tbaa !9
  %130 = xor i8 %129, %128
  store i8 %130, ptr %43, align 8, !tbaa !9
  %131 = load i8, ptr %.0185245, align 1, !tbaa !9
  %132 = extractelement <16 x i8> %124, i64 0
  %133 = xor i8 %131, %132
  %134 = getelementptr inbounds i8, ptr %.0184246, i64 1
  store i8 %133, ptr %.0184246, align 1, !tbaa !9
  %135 = load i8, ptr %56, align 1, !tbaa !9
  %136 = extractelement <16 x i8> %124, i64 1
  %137 = xor i8 %135, %136
  %138 = getelementptr inbounds i8, ptr %.0184246, i64 2
  store i8 %137, ptr %134, align 1, !tbaa !9
  %139 = load i8, ptr %57, align 1, !tbaa !9
  %140 = extractelement <16 x i8> %124, i64 2
  %141 = xor i8 %139, %140
  %142 = getelementptr inbounds i8, ptr %.0184246, i64 3
  store i8 %141, ptr %138, align 1, !tbaa !9
  %143 = load i8, ptr %58, align 1, !tbaa !9
  %144 = extractelement <16 x i8> %124, i64 3
  %145 = xor i8 %143, %144
  %146 = getelementptr inbounds i8, ptr %.0184246, i64 4
  store i8 %145, ptr %142, align 1, !tbaa !9
  %147 = load i8, ptr %59, align 1, !tbaa !9
  %148 = extractelement <16 x i8> %124, i64 4
  %149 = xor i8 %147, %148
  %150 = getelementptr inbounds i8, ptr %.0184246, i64 5
  store i8 %149, ptr %146, align 1, !tbaa !9
  %151 = load i8, ptr %60, align 1, !tbaa !9
  %152 = extractelement <16 x i8> %124, i64 5
  %153 = xor i8 %151, %152
  %154 = getelementptr inbounds i8, ptr %.0184246, i64 6
  store i8 %153, ptr %150, align 1, !tbaa !9
  %155 = load i8, ptr %61, align 1, !tbaa !9
  %156 = extractelement <16 x i8> %124, i64 6
  %157 = xor i8 %155, %156
  %158 = getelementptr inbounds i8, ptr %.0184246, i64 7
  store i8 %157, ptr %154, align 1, !tbaa !9
  %159 = load i8, ptr %62, align 1, !tbaa !9
  %160 = extractelement <16 x i8> %124, i64 7
  %161 = xor i8 %159, %160
  %162 = getelementptr inbounds i8, ptr %.0184246, i64 8
  store i8 %161, ptr %158, align 1, !tbaa !9
  %163 = load i8, ptr %63, align 1, !tbaa !9
  %164 = extractelement <16 x i8> %124, i64 8
  %165 = xor i8 %163, %164
  %166 = getelementptr inbounds i8, ptr %.0184246, i64 9
  store i8 %165, ptr %162, align 1, !tbaa !9
  %167 = load i8, ptr %67, align 1, !tbaa !9
  %168 = extractelement <16 x i8> %124, i64 9
  %169 = xor i8 %167, %168
  %170 = getelementptr inbounds i8, ptr %.0184246, i64 10
  store i8 %169, ptr %166, align 1, !tbaa !9
  %171 = load i8, ptr %68, align 1, !tbaa !9
  %172 = extractelement <16 x i8> %124, i64 10
  %173 = xor i8 %171, %172
  %174 = getelementptr inbounds i8, ptr %.0184246, i64 11
  store i8 %173, ptr %170, align 1, !tbaa !9
  %175 = load i8, ptr %69, align 1, !tbaa !9
  %176 = extractelement <16 x i8> %124, i64 11
  %177 = xor i8 %175, %176
  %178 = getelementptr inbounds i8, ptr %.0184246, i64 12
  store i8 %177, ptr %174, align 1, !tbaa !9
  %179 = load i8, ptr %70, align 1, !tbaa !9
  %180 = extractelement <16 x i8> %124, i64 12
  %181 = xor i8 %179, %180
  %182 = getelementptr inbounds i8, ptr %.0184246, i64 13
  store i8 %181, ptr %178, align 1, !tbaa !9
  %183 = load i8, ptr %28, align 1, !tbaa !9
  %184 = load i8, ptr %74, align 1, !tbaa !9
  %185 = xor i8 %184, %183
  %186 = getelementptr inbounds i8, ptr %.0184246, i64 14
  store i8 %185, ptr %182, align 1, !tbaa !9
  %187 = load i8, ptr %29, align 2, !tbaa !9
  %188 = load i8, ptr %75, align 1, !tbaa !9
  %189 = xor i8 %188, %187
  %190 = getelementptr inbounds i8, ptr %.0184246, i64 15
  store i8 %189, ptr %186, align 1, !tbaa !9
  %191 = load i8, ptr %30, align 1, !tbaa !9
  %192 = load i8, ptr %76, align 1, !tbaa !9
  %193 = xor i8 %192, %191
  %194 = getelementptr inbounds i8, ptr %.0184246, i64 16
  store i8 %193, ptr %190, align 1, !tbaa !9
  %195 = load i8, ptr %33, align 16, !tbaa !9
  %196 = load i8, ptr %77, align 1, !tbaa !9
  %197 = xor i8 %196, %195
  %198 = getelementptr inbounds i8, ptr %.0184246, i64 17
  store i8 %197, ptr %194, align 1, !tbaa !9
  %199 = load i8, ptr %34, align 1, !tbaa !9
  %200 = load i8, ptr %78, align 1, !tbaa !9
  %201 = xor i8 %200, %199
  %202 = getelementptr inbounds i8, ptr %.0184246, i64 18
  store i8 %201, ptr %198, align 1, !tbaa !9
  %203 = load i8, ptr %35, align 2, !tbaa !9
  %204 = load i8, ptr %79, align 1, !tbaa !9
  %205 = xor i8 %204, %203
  %206 = getelementptr inbounds i8, ptr %.0184246, i64 19
  store i8 %205, ptr %202, align 1, !tbaa !9
  %207 = load i8, ptr %36, align 1, !tbaa !9
  %208 = load i8, ptr %80, align 1, !tbaa !9
  %209 = xor i8 %208, %207
  %210 = getelementptr inbounds i8, ptr %.0184246, i64 20
  store i8 %209, ptr %206, align 1, !tbaa !9
  %211 = load i8, ptr %37, align 4, !tbaa !9
  %212 = load i8, ptr %81, align 1, !tbaa !9
  %213 = xor i8 %212, %211
  %214 = getelementptr inbounds i8, ptr %.0184246, i64 21
  store i8 %213, ptr %210, align 1, !tbaa !9
  %215 = load i8, ptr %38, align 1, !tbaa !9
  %216 = load i8, ptr %85, align 1, !tbaa !9
  %217 = xor i8 %216, %215
  %218 = getelementptr inbounds i8, ptr %.0184246, i64 22
  store i8 %217, ptr %214, align 1, !tbaa !9
  %219 = load i8, ptr %39, align 2, !tbaa !9
  %220 = load i8, ptr %86, align 1, !tbaa !9
  %221 = xor i8 %220, %219
  %222 = getelementptr inbounds i8, ptr %.0184246, i64 23
  store i8 %221, ptr %218, align 1, !tbaa !9
  %223 = load i8, ptr %40, align 1, !tbaa !9
  %224 = load i8, ptr %87, align 1, !tbaa !9
  %225 = xor i8 %224, %223
  %226 = getelementptr inbounds i8, ptr %.0184246, i64 24
  store i8 %225, ptr %222, align 1, !tbaa !9
  %227 = load i8, ptr %43, align 8, !tbaa !9
  %228 = load i8, ptr %88, align 1, !tbaa !9
  %229 = xor i8 %228, %227
  store i8 %229, ptr %226, align 1, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(25) %13, ptr noundef nonnull align 16 dereferenceable(25) %14, i64 25, i1 false)
  %230 = getelementptr inbounds i8, ptr %.0185245, i64 25
  %231 = getelementptr inbounds i8, ptr %.0184246, i64 25
  %232 = add i64 %.0186244, -25
  %233 = icmp ugt i64 %232, 24
  br i1 %233, label %.lr.ph, label %._crit_edge, !llvm.loop !10

._crit_edge:                                      ; preds = %.lr.ph, %17
  %.0186.lcssa = phi i64 [ %18, %17 ], [ %232, %.lr.ph ]
  %.0185.lcssa = phi ptr [ %3, %17 ], [ %230, %.lr.ph ]
  %.0184.lcssa = phi ptr [ %0, %17 ], [ %231, %.lr.ph ]
  %.0184.lcssa369 = ptrtoint ptr %.0184.lcssa to i64
  %.0185.lcssa370 = ptrtoint ptr %.0185.lcssa to i64
  %.not = icmp eq i64 %.0186.lcssa, 0
  br i1 %.not, label %395, label %iter.check

iter.check:                                       ; preds = %._crit_edge
  call void @delirium_lfsr(ptr noundef nonnull %14, ptr noundef nonnull %13)
  %234 = getelementptr inbounds i8, ptr %13, i64 8
  %235 = getelementptr inbounds i8, ptr %14, i64 8
  %236 = getelementptr inbounds i8, ptr %10, i64 8
  %237 = getelementptr inbounds i8, ptr %13, i64 12
  %238 = getelementptr inbounds i8, ptr %14, i64 12
  %239 = getelementptr inbounds i8, ptr %10, i64 12
  %240 = getelementptr inbounds i8, ptr %13, i64 16
  %241 = getelementptr inbounds i8, ptr %14, i64 16
  %242 = getelementptr inbounds i8, ptr %10, i64 16
  %243 = load <16 x i8>, ptr %13, align 16, !tbaa !9
  %244 = load <16 x i8>, ptr %14, align 16, !tbaa !9
  %245 = xor <16 x i8> %244, %243
  store <16 x i8> %245, ptr %10, align 16, !tbaa !9
  %246 = getelementptr inbounds i8, ptr %13, i64 24
  %247 = getelementptr inbounds i8, ptr %14, i64 24
  %248 = getelementptr inbounds i8, ptr %10, i64 24
  %249 = load <8 x i8>, ptr %240, align 16, !tbaa !9
  %250 = load <8 x i8>, ptr %241, align 16, !tbaa !9
  %251 = xor <8 x i8> %250, %249
  store <8 x i8> %251, ptr %242, align 16, !tbaa !9
  %252 = load i8, ptr %246, align 8, !tbaa !9
  %253 = load i8, ptr %247, align 8, !tbaa !9
  %254 = xor i8 %253, %252
  store i8 %254, ptr %248, align 8, !tbaa !9
  %255 = trunc nuw i64 %.0186.lcssa to i32
  %256 = add nuw nsw i64 %.0186.lcssa, 4294967295
  %257 = and i64 %256, 4294967295
  %258 = add nuw nsw i64 %257, 1
  %min.iters.check = icmp ult i64 %257, 7
  br i1 %min.iters.check, label %.preheader213.preheader, label %vector.memcheck

vector.memcheck:                                  ; preds = %iter.check
  %259 = add nuw nsw i64 %.0186.lcssa, 4294967295
  %260 = and i64 %259, 4294967295
  %261 = add nuw nsw i64 %260, 1
  %scevgep = getelementptr i8, ptr %10, i64 %261
  %scevgep294 = getelementptr i8, ptr %.0185.lcssa, i64 %261
  %bound0 = icmp ult ptr %10, %scevgep294
  %bound1 = icmp ult ptr %.0185.lcssa, %scevgep
  %found.conflict = and i1 %bound0, %bound1
  br i1 %found.conflict, label %.preheader213.preheader, label %vector.main.loop.iter.check

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

vector.ph:                                        ; preds = %vector.main.loop.iter.check
  %n.vec = and i64 %258, 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 %.0185.lcssa, i64 %index
  %next.gep297 = getelementptr i8, ptr %10, i64 %index
  %262 = getelementptr i8, ptr %next.gep, i64 16
  %wide.load = load <16 x i8>, ptr %next.gep, align 1, !tbaa !9, !alias.scope !12
  %wide.load299 = load <16 x i8>, ptr %262, align 1, !tbaa !9, !alias.scope !12
  %263 = getelementptr i8, ptr %next.gep297, i64 16
  %wide.load300 = load <16 x i8>, ptr %next.gep297, align 16, !tbaa !9, !alias.scope !15, !noalias !12
  %wide.load301 = load <16 x i8>, ptr %263, align 16, !tbaa !9, !alias.scope !15, !noalias !12
  %264 = xor <16 x i8> %wide.load300, %wide.load
  %265 = xor <16 x i8> %wide.load301, %wide.load299
  store <16 x i8> %264, ptr %next.gep297, align 16, !tbaa !9, !alias.scope !15, !noalias !12
  store <16 x i8> %265, ptr %263, align 16, !tbaa !9, !alias.scope !15, !noalias !12
  %index.next = add nuw i64 %index, 32
  %266 = icmp eq i64 %index.next, %n.vec
  br i1 %266, label %middle.block, label %vector.body, !llvm.loop !17

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

vec.epilog.iter.check:                            ; preds = %middle.block
  %ind.end310 = getelementptr i8, ptr %10, i64 %n.vec
  %ind.end307 = getelementptr i8, ptr %.0185.lcssa, i64 %n.vec
  %.cast304 = trunc i64 %n.vec to i32
  %ind.end305 = sub i32 %255, %.cast304
  %n.vec.remaining = and i64 %258, 24
  %min.epilog.iters.check = icmp eq i64 %n.vec.remaining, 0
  br i1 %min.epilog.iters.check, label %.preheader213.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.vec303 = and i64 %258, 8589934584
  %.cast = trunc i64 %n.vec303 to i32
  %ind.end = sub i32 %255, %.cast
  %ind.end306 = getelementptr i8, ptr %.0185.lcssa, i64 %n.vec303
  %ind.end309 = getelementptr i8, ptr %10, i64 %n.vec303
  br label %vec.epilog.vector.body

vec.epilog.vector.body:                           ; preds = %vec.epilog.vector.body, %vec.epilog.ph
  %index312 = phi i64 [ %vec.epilog.resume.val, %vec.epilog.ph ], [ %index.next317, %vec.epilog.vector.body ]
  %next.gep313 = getelementptr i8, ptr %.0185.lcssa, i64 %index312
  %next.gep314 = getelementptr i8, ptr %10, i64 %index312
  %wide.load315 = load <8 x i8>, ptr %next.gep313, align 1, !tbaa !9, !alias.scope !20
  %wide.load316 = load <8 x i8>, ptr %next.gep314, align 8, !tbaa !9, !alias.scope !23, !noalias !20
  %267 = xor <8 x i8> %wide.load316, %wide.load315
  store <8 x i8> %267, ptr %next.gep314, align 8, !tbaa !9, !alias.scope !23, !noalias !20
  %index.next317 = add nuw i64 %index312, 8
  %268 = icmp eq i64 %index.next317, %n.vec303
  br i1 %268, label %vec.epilog.middle.block, label %vec.epilog.vector.body, !llvm.loop !25

vec.epilog.middle.block:                          ; preds = %vec.epilog.vector.body
  %cmp.n318 = icmp eq i64 %258, %n.vec303
  br i1 %cmp.n318, label %iter.check322, label %.preheader213.preheader

.preheader213.preheader:                          ; preds = %vec.epilog.middle.block, %vector.memcheck, %iter.check, %vec.epilog.iter.check
  %.0150255.ph = phi i32 [ %255, %iter.check ], [ %255, %vector.memcheck ], [ %ind.end305, %vec.epilog.iter.check ], [ %ind.end, %vec.epilog.middle.block ]
  %.0151254.ph = phi ptr [ %.0185.lcssa, %iter.check ], [ %.0185.lcssa, %vector.memcheck ], [ %ind.end307, %vec.epilog.iter.check ], [ %ind.end306, %vec.epilog.middle.block ]
  %.0152253.ph = phi ptr [ %10, %iter.check ], [ %10, %vector.memcheck ], [ %ind.end310, %vec.epilog.iter.check ], [ %ind.end309, %vec.epilog.middle.block ]
  %269 = add nsw i32 %.0150255.ph, -1
  %xtraiter = and i32 %.0150255.ph, 3
  %lcmp.mod.not = icmp eq i32 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.preheader213.prol.loopexit, label %.preheader213.prol

.preheader213.prol:                               ; preds = %.preheader213.preheader, %.preheader213.prol
  %.0150255.prol = phi i32 [ %275, %.preheader213.prol ], [ %.0150255.ph, %.preheader213.preheader ]
  %.0151254.prol = phi ptr [ %270, %.preheader213.prol ], [ %.0151254.ph, %.preheader213.preheader ]
  %.0152253.prol = phi ptr [ %272, %.preheader213.prol ], [ %.0152253.ph, %.preheader213.preheader ]
  %prol.iter = phi i32 [ %prol.iter.next, %.preheader213.prol ], [ 0, %.preheader213.preheader ]
  %270 = getelementptr inbounds i8, ptr %.0151254.prol, i64 1
  %271 = load i8, ptr %.0151254.prol, align 1, !tbaa !9
  %272 = getelementptr inbounds i8, ptr %.0152253.prol, i64 1
  %273 = load i8, ptr %.0152253.prol, align 1, !tbaa !9
  %274 = xor i8 %273, %271
  store i8 %274, ptr %.0152253.prol, align 1, !tbaa !9
  %275 = add nsw i32 %.0150255.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 %.preheader213.prol.loopexit, label %.preheader213.prol, !llvm.loop !26

.preheader213.prol.loopexit:                      ; preds = %.preheader213.prol, %.preheader213.preheader
  %.0150255.unr = phi i32 [ %.0150255.ph, %.preheader213.preheader ], [ %275, %.preheader213.prol ]
  %.0151254.unr = phi ptr [ %.0151254.ph, %.preheader213.preheader ], [ %270, %.preheader213.prol ]
  %.0152253.unr = phi ptr [ %.0152253.ph, %.preheader213.preheader ], [ %272, %.preheader213.prol ]
  %276 = icmp ult i32 %269, 3
  br i1 %276, label %iter.check322, label %.preheader213

.preheader213:                                    ; preds = %.preheader213.prol.loopexit, %.preheader213
  %.0150255 = phi i32 [ %297, %.preheader213 ], [ %.0150255.unr, %.preheader213.prol.loopexit ]
  %.0151254 = phi ptr [ %292, %.preheader213 ], [ %.0151254.unr, %.preheader213.prol.loopexit ]
  %.0152253 = phi ptr [ %294, %.preheader213 ], [ %.0152253.unr, %.preheader213.prol.loopexit ]
  %277 = getelementptr inbounds i8, ptr %.0151254, i64 1
  %278 = load i8, ptr %.0151254, align 1, !tbaa !9
  %279 = getelementptr inbounds i8, ptr %.0152253, i64 1
  %280 = load i8, ptr %.0152253, align 1, !tbaa !9
  %281 = xor i8 %280, %278
  store i8 %281, ptr %.0152253, align 1, !tbaa !9
  %282 = getelementptr inbounds i8, ptr %.0151254, i64 2
  %283 = load i8, ptr %277, align 1, !tbaa !9
  %284 = getelementptr inbounds i8, ptr %.0152253, i64 2
  %285 = load i8, ptr %279, align 1, !tbaa !9
  %286 = xor i8 %285, %283
  store i8 %286, ptr %279, align 1, !tbaa !9
  %287 = getelementptr inbounds i8, ptr %.0151254, i64 3
  %288 = load i8, ptr %282, align 1, !tbaa !9
  %289 = getelementptr inbounds i8, ptr %.0152253, i64 3
  %290 = load i8, ptr %284, align 1, !tbaa !9
  %291 = xor i8 %290, %288
  store i8 %291, ptr %284, align 1, !tbaa !9
  %292 = getelementptr inbounds i8, ptr %.0151254, i64 4
  %293 = load i8, ptr %287, align 1, !tbaa !9
  %294 = getelementptr inbounds i8, ptr %.0152253, i64 4
  %295 = load i8, ptr %289, align 1, !tbaa !9
  %296 = xor i8 %295, %293
  store i8 %296, ptr %289, align 1, !tbaa !9
  %297 = add nsw i32 %.0150255, -4
  %.not194.3 = icmp eq i32 %297, 0
  br i1 %.not194.3, label %iter.check322, label %.preheader213, !llvm.loop !28

iter.check322:                                    ; preds = %.preheader213.prol.loopexit, %.preheader213, %vec.epilog.middle.block, %middle.block
  %298 = getelementptr inbounds [25 x i8], ptr %10, i64 0, i64 %.0186.lcssa
  %299 = load i8, ptr %298, align 1, !tbaa !9
  %300 = xor i8 %299, 1
  store i8 %300, ptr %298, align 1, !tbaa !9
  call void @keccakp_200_permute(ptr noundef nonnull %10) #5
  %301 = load <8 x i8>, ptr %13, align 16, !tbaa !9
  %302 = load <8 x i8>, ptr %10, align 16, !tbaa !9
  %303 = xor <8 x i8> %302, %301
  %304 = load <8 x i8>, ptr %14, align 16, !tbaa !9
  %305 = xor <8 x i8> %303, %304
  store <8 x i8> %305, ptr %10, align 16, !tbaa !9
  %306 = load <4 x i8>, ptr %234, align 8, !tbaa !9
  %307 = load <4 x i8>, ptr %236, align 8, !tbaa !9
  %308 = xor <4 x i8> %307, %306
  %309 = load <4 x i8>, ptr %235, align 8, !tbaa !9
  %310 = xor <4 x i8> %308, %309
  store <4 x i8> %310, ptr %236, align 8, !tbaa !9
  %311 = getelementptr inbounds i8, ptr %15, i64 8
  %312 = load <8 x i8>, ptr %15, align 16, !tbaa !9
  %313 = xor <8 x i8> %312, %305
  store <8 x i8> %313, ptr %15, align 16, !tbaa !9
  %314 = getelementptr inbounds i8, ptr %15, i64 12
  %315 = load <4 x i8>, ptr %311, align 8, !tbaa !9
  %316 = xor <4 x i8> %315, %310
  store <4 x i8> %316, ptr %311, align 8, !tbaa !9
  %317 = load <4 x i8>, ptr %237, align 4, !tbaa !9
  %318 = load <4 x i8>, ptr %239, align 4, !tbaa !9
  %319 = xor <4 x i8> %318, %317
  %320 = load <4 x i8>, ptr %238, align 4, !tbaa !9
  %321 = xor <4 x i8> %319, %320
  %322 = load <4 x i8>, ptr %314, align 4, !tbaa !9
  %323 = xor <4 x i8> %322, %321
  store <4 x i8> %323, ptr %314, align 4, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(25) %10, ptr noundef nonnull align 16 dereferenceable(25) %13, i64 25, i1 false)
  %324 = getelementptr inbounds i8, ptr %7, i64 8
  %325 = load <8 x i8>, ptr %7, align 1, !tbaa !9
  %326 = load <8 x i8>, ptr %10, align 16, !tbaa !9
  %327 = xor <8 x i8> %326, %325
  store <8 x i8> %327, ptr %10, align 16, !tbaa !9
  %328 = load <4 x i8>, ptr %324, align 1, !tbaa !9
  %329 = load <4 x i8>, ptr %236, align 8, !tbaa !9
  %330 = xor <4 x i8> %329, %328
  store <4 x i8> %330, ptr %236, align 8, !tbaa !9
  call void @keccakp_200_permute(ptr noundef nonnull %10) #5
  %331 = add nuw nsw i64 %.0186.lcssa, 4294967295
  %332 = and i64 %331, 4294967295
  %333 = add nuw nsw i64 %332, 1
  %min.iters.check320 = icmp ult i64 %332, 7
  br i1 %min.iters.check320, label %vec.epilog.scalar.ph341.preheader, label %vector.main.loop.iter.check324

vector.main.loop.iter.check324:                   ; preds = %iter.check322
  %min.iters.check323 = icmp ult i64 %332, 31
  br i1 %min.iters.check323, label %vec.epilog.ph342, label %vector.ph325

vector.ph325:                                     ; preds = %vector.main.loop.iter.check324
  %n.vec327 = and i64 %333, 8589934560
  br label %vector.body328

vector.body328:                                   ; preds = %vector.body328, %vector.ph325
  %index329 = phi i64 [ 0, %vector.ph325 ], [ %index.next338, %vector.body328 ]
  %next.gep330 = getelementptr i8, ptr %13, i64 %index329
  %next.gep332 = getelementptr i8, ptr %10, i64 %index329
  %334 = getelementptr i8, ptr %next.gep330, i64 16
  %wide.load334 = load <16 x i8>, ptr %next.gep330, align 16, !tbaa !9
  %wide.load335 = load <16 x i8>, ptr %334, align 16, !tbaa !9
  %335 = getelementptr i8, ptr %next.gep332, i64 16
  %wide.load336 = load <16 x i8>, ptr %next.gep332, align 16, !tbaa !9
  %wide.load337 = load <16 x i8>, ptr %335, align 16, !tbaa !9
  %336 = xor <16 x i8> %wide.load336, %wide.load334
  %337 = xor <16 x i8> %wide.load337, %wide.load335
  store <16 x i8> %336, ptr %next.gep332, align 16, !tbaa !9
  store <16 x i8> %337, ptr %335, align 16, !tbaa !9
  %index.next338 = add nuw i64 %index329, 32
  %338 = icmp eq i64 %index.next338, %n.vec327
  br i1 %338, label %middle.block319, label %vector.body328, !llvm.loop !29

middle.block319:                                  ; preds = %vector.body328
  %cmp.n339 = icmp eq i64 %333, %n.vec327
  br i1 %cmp.n339, label %iter.check375, label %vec.epilog.iter.check343

vec.epilog.iter.check343:                         ; preds = %middle.block319
  %ind.end358 = getelementptr i8, ptr %10, i64 %n.vec327
  %ind.end355 = getelementptr i8, ptr %13, i64 %n.vec327
  %.cast351 = trunc i64 %n.vec327 to i32
  %ind.end352 = sub i32 %255, %.cast351
  %n.vec.remaining344 = and i64 %333, 24
  %min.epilog.iters.check345 = icmp eq i64 %n.vec.remaining344, 0
  br i1 %min.epilog.iters.check345, label %vec.epilog.scalar.ph341.preheader, label %vec.epilog.ph342

vec.epilog.ph342:                                 ; preds = %vector.main.loop.iter.check324, %vec.epilog.iter.check343
  %vec.epilog.resume.val346 = phi i64 [ %n.vec327, %vec.epilog.iter.check343 ], [ 0, %vector.main.loop.iter.check324 ]
  %n.vec348 = and i64 %333, 8589934584
  %.cast349 = trunc i64 %n.vec348 to i32
  %ind.end350 = sub i32 %255, %.cast349
  %ind.end354 = getelementptr i8, ptr %13, i64 %n.vec348
  %ind.end357 = getelementptr i8, ptr %10, i64 %n.vec348
  br label %vec.epilog.vector.body360

vec.epilog.vector.body360:                        ; preds = %vec.epilog.vector.body360, %vec.epilog.ph342
  %index361 = phi i64 [ %vec.epilog.resume.val346, %vec.epilog.ph342 ], [ %index.next366, %vec.epilog.vector.body360 ]
  %next.gep362 = getelementptr i8, ptr %13, i64 %index361
  %next.gep363 = getelementptr i8, ptr %10, i64 %index361
  %wide.load364 = load <8 x i8>, ptr %next.gep362, align 8, !tbaa !9
  %wide.load365 = load <8 x i8>, ptr %next.gep363, align 8, !tbaa !9
  %339 = xor <8 x i8> %wide.load365, %wide.load364
  store <8 x i8> %339, ptr %next.gep363, align 8, !tbaa !9
  %index.next366 = add nuw i64 %index361, 8
  %340 = icmp eq i64 %index.next366, %n.vec348
  br i1 %340, label %vec.epilog.middle.block340, label %vec.epilog.vector.body360, !llvm.loop !30

vec.epilog.middle.block340:                       ; preds = %vec.epilog.vector.body360
  %cmp.n367 = icmp eq i64 %333, %n.vec348
  br i1 %cmp.n367, label %iter.check375, label %vec.epilog.scalar.ph341.preheader

vec.epilog.scalar.ph341.preheader:                ; preds = %vec.epilog.middle.block340, %iter.check322, %vec.epilog.iter.check343
  %.0135270.ph = phi i32 [ %255, %iter.check322 ], [ %ind.end352, %vec.epilog.iter.check343 ], [ %ind.end350, %vec.epilog.middle.block340 ]
  %.0136269.ph = phi ptr [ %13, %iter.check322 ], [ %ind.end355, %vec.epilog.iter.check343 ], [ %ind.end354, %vec.epilog.middle.block340 ]
  %.0137268.ph = phi ptr [ %10, %iter.check322 ], [ %ind.end358, %vec.epilog.iter.check343 ], [ %ind.end357, %vec.epilog.middle.block340 ]
  br label %vec.epilog.scalar.ph341

vec.epilog.scalar.ph341:                          ; preds = %vec.epilog.scalar.ph341.preheader, %vec.epilog.scalar.ph341
  %.0135270 = phi i32 [ %346, %vec.epilog.scalar.ph341 ], [ %.0135270.ph, %vec.epilog.scalar.ph341.preheader ]
  %.0136269 = phi ptr [ %341, %vec.epilog.scalar.ph341 ], [ %.0136269.ph, %vec.epilog.scalar.ph341.preheader ]
  %.0137268 = phi ptr [ %343, %vec.epilog.scalar.ph341 ], [ %.0137268.ph, %vec.epilog.scalar.ph341.preheader ]
  %341 = getelementptr inbounds i8, ptr %.0136269, i64 1
  %342 = load i8, ptr %.0136269, align 1, !tbaa !9
  %343 = getelementptr inbounds i8, ptr %.0137268, i64 1
  %344 = load i8, ptr %.0137268, align 1, !tbaa !9
  %345 = xor i8 %344, %342
  store i8 %345, ptr %.0137268, align 1, !tbaa !9
  %346 = add nsw i32 %.0135270, -1
  %.not199 = icmp eq i32 %346, 0
  br i1 %.not199, label %iter.check375, label %vec.epilog.scalar.ph341, !llvm.loop !31

iter.check375:                                    ; preds = %vec.epilog.scalar.ph341, %vec.epilog.middle.block340, %middle.block319
  %347 = add nuw nsw i64 %.0186.lcssa, 4294967295
  %348 = and i64 %347, 4294967295
  %349 = add nuw nsw i64 %348, 1
  %min.iters.check373 = icmp ult i64 %348, 7
  br i1 %min.iters.check373, label %.preheader210.preheader, label %vector.memcheck368

vector.memcheck368:                               ; preds = %iter.check375
  %350 = sub i64 %.0184.lcssa369, %11
  %diff.check = icmp ult i64 %350, 32
  %351 = sub i64 %.0184.lcssa369, %.0185.lcssa370
  %diff.check371 = icmp ult i64 %351, 32
  %conflict.rdx = or i1 %diff.check, %diff.check371
  br i1 %conflict.rdx, label %.preheader210.preheader, label %vector.main.loop.iter.check377

vector.main.loop.iter.check377:                   ; preds = %vector.memcheck368
  %min.iters.check376 = icmp ult i64 %348, 31
  br i1 %min.iters.check376, label %vec.epilog.ph397, label %vector.ph378

vector.ph378:                                     ; preds = %vector.main.loop.iter.check377
  %n.vec380 = and i64 %349, 8589934560
  br label %vector.body381

vector.body381:                                   ; preds = %vector.body381, %vector.ph378
  %index382 = phi i64 [ 0, %vector.ph378 ], [ %index.next393, %vector.body381 ]
  %next.gep383 = getelementptr i8, ptr %.0185.lcssa, i64 %index382
  %next.gep385 = getelementptr i8, ptr %10, i64 %index382
  %next.gep387 = getelementptr i8, ptr %.0184.lcssa, i64 %index382
  %352 = getelementptr i8, ptr %next.gep385, i64 16
  %wide.load389 = load <16 x i8>, ptr %next.gep385, align 16, !tbaa !9
  %wide.load390 = load <16 x i8>, ptr %352, align 16, !tbaa !9
  %353 = getelementptr i8, ptr %next.gep383, i64 16
  %wide.load391 = load <16 x i8>, ptr %next.gep383, align 1, !tbaa !9
  %wide.load392 = load <16 x i8>, ptr %353, align 1, !tbaa !9
  %354 = xor <16 x i8> %wide.load391, %wide.load389
  %355 = xor <16 x i8> %wide.load392, %wide.load390
  %356 = getelementptr i8, ptr %next.gep387, i64 16
  store <16 x i8> %354, ptr %next.gep387, align 1, !tbaa !9
  store <16 x i8> %355, ptr %356, align 1, !tbaa !9
  %index.next393 = add nuw i64 %index382, 32
  %357 = icmp eq i64 %index.next393, %n.vec380
  br i1 %357, label %middle.block372, label %vector.body381, !llvm.loop !32

middle.block372:                                  ; preds = %vector.body381
  %cmp.n394 = icmp eq i64 %349, %n.vec380
  br i1 %cmp.n394, label %.loopexit427, label %vec.epilog.iter.check398

vec.epilog.iter.check398:                         ; preds = %middle.block372
  %ind.end416 = getelementptr i8, ptr %.0184.lcssa, i64 %n.vec380
  %ind.end413 = getelementptr i8, ptr %10, i64 %n.vec380
  %ind.end410 = getelementptr i8, ptr %.0185.lcssa, i64 %n.vec380
  %.cast406 = trunc i64 %n.vec380 to i32
  %ind.end407 = sub i32 %255, %.cast406
  %n.vec.remaining399 = and i64 %349, 24
  %min.epilog.iters.check400 = icmp eq i64 %n.vec.remaining399, 0
  br i1 %min.epilog.iters.check400, label %.preheader210.preheader, label %vec.epilog.ph397

vec.epilog.ph397:                                 ; preds = %vector.main.loop.iter.check377, %vec.epilog.iter.check398
  %vec.epilog.resume.val401 = phi i64 [ %n.vec380, %vec.epilog.iter.check398 ], [ 0, %vector.main.loop.iter.check377 ]
  %n.vec403 = and i64 %349, 8589934584
  %.cast404 = trunc i64 %n.vec403 to i32
  %ind.end405 = sub i32 %255, %.cast404
  %ind.end409 = getelementptr i8, ptr %.0185.lcssa, i64 %n.vec403
  %ind.end412 = getelementptr i8, ptr %10, i64 %n.vec403
  %ind.end415 = getelementptr i8, ptr %.0184.lcssa, i64 %n.vec403
  br label %vec.epilog.vector.body418

vec.epilog.vector.body418:                        ; preds = %vec.epilog.vector.body418, %vec.epilog.ph397
  %index419 = phi i64 [ %vec.epilog.resume.val401, %vec.epilog.ph397 ], [ %index.next425, %vec.epilog.vector.body418 ]
  %next.gep420 = getelementptr i8, ptr %.0185.lcssa, i64 %index419
  %next.gep421 = getelementptr i8, ptr %10, i64 %index419
  %next.gep422 = getelementptr i8, ptr %.0184.lcssa, i64 %index419
  %wide.load423 = load <8 x i8>, ptr %next.gep421, align 8, !tbaa !9
  %wide.load424 = load <8 x i8>, ptr %next.gep420, align 1, !tbaa !9
  %358 = xor <8 x i8> %wide.load424, %wide.load423
  store <8 x i8> %358, ptr %next.gep422, align 1, !tbaa !9
  %index.next425 = add nuw i64 %index419, 8
  %359 = icmp eq i64 %index.next425, %n.vec403
  br i1 %359, label %vec.epilog.middle.block395, label %vec.epilog.vector.body418, !llvm.loop !33

vec.epilog.middle.block395:                       ; preds = %vec.epilog.vector.body418
  %cmp.n426 = icmp eq i64 %349, %n.vec403
  br i1 %cmp.n426, label %.loopexit427, label %.preheader210.preheader

.preheader210.preheader:                          ; preds = %vec.epilog.middle.block395, %vector.memcheck368, %iter.check375, %vec.epilog.iter.check398
  %.0131274.ph = phi i32 [ %255, %iter.check375 ], [ %255, %vector.memcheck368 ], [ %ind.end407, %vec.epilog.iter.check398 ], [ %ind.end405, %vec.epilog.middle.block395 ]
  %.0132273.ph = phi ptr [ %.0185.lcssa, %iter.check375 ], [ %.0185.lcssa, %vector.memcheck368 ], [ %ind.end410, %vec.epilog.iter.check398 ], [ %ind.end409, %vec.epilog.middle.block395 ]
  %.0133272.ph = phi ptr [ %10, %iter.check375 ], [ %10, %vector.memcheck368 ], [ %ind.end413, %vec.epilog.iter.check398 ], [ %ind.end412, %vec.epilog.middle.block395 ]
  %.0134271.ph = phi ptr [ %.0184.lcssa, %iter.check375 ], [ %.0184.lcssa, %vector.memcheck368 ], [ %ind.end416, %vec.epilog.iter.check398 ], [ %ind.end415, %vec.epilog.middle.block395 ]
  %360 = add nsw i32 %.0131274.ph, -1
  %xtraiter430 = and i32 %.0131274.ph, 3
  %lcmp.mod431.not = icmp eq i32 %xtraiter430, 0
  br i1 %lcmp.mod431.not, label %.preheader210.prol.loopexit, label %.preheader210.prol

.preheader210.prol:                               ; preds = %.preheader210.preheader, %.preheader210.prol
  %.0131274.prol = phi i32 [ %367, %.preheader210.prol ], [ %.0131274.ph, %.preheader210.preheader ]
  %.0132273.prol = phi ptr [ %363, %.preheader210.prol ], [ %.0132273.ph, %.preheader210.preheader ]
  %.0133272.prol = phi ptr [ %361, %.preheader210.prol ], [ %.0133272.ph, %.preheader210.preheader ]
  %.0134271.prol = phi ptr [ %366, %.preheader210.prol ], [ %.0134271.ph, %.preheader210.preheader ]
  %prol.iter432 = phi i32 [ %prol.iter432.next, %.preheader210.prol ], [ 0, %.preheader210.preheader ]
  %361 = getelementptr inbounds i8, ptr %.0133272.prol, i64 1
  %362 = load i8, ptr %.0133272.prol, align 1, !tbaa !9
  %363 = getelementptr inbounds i8, ptr %.0132273.prol, i64 1
  %364 = load i8, ptr %.0132273.prol, align 1, !tbaa !9
  %365 = xor i8 %364, %362
  %366 = getelementptr inbounds i8, ptr %.0134271.prol, i64 1
  store i8 %365, ptr %.0134271.prol, align 1, !tbaa !9
  %367 = add nsw i32 %.0131274.prol, -1
  %prol.iter432.next = add i32 %prol.iter432, 1
  %prol.iter432.cmp.not = icmp eq i32 %prol.iter432.next, %xtraiter430
  br i1 %prol.iter432.cmp.not, label %.preheader210.prol.loopexit, label %.preheader210.prol, !llvm.loop !34

.preheader210.prol.loopexit:                      ; preds = %.preheader210.prol, %.preheader210.preheader
  %.0131274.unr = phi i32 [ %.0131274.ph, %.preheader210.preheader ], [ %367, %.preheader210.prol ]
  %.0132273.unr = phi ptr [ %.0132273.ph, %.preheader210.preheader ], [ %363, %.preheader210.prol ]
  %.0133272.unr = phi ptr [ %.0133272.ph, %.preheader210.preheader ], [ %361, %.preheader210.prol ]
  %.0134271.unr = phi ptr [ %.0134271.ph, %.preheader210.preheader ], [ %366, %.preheader210.prol ]
  %368 = icmp ult i32 %360, 3
  br i1 %368, label %.loopexit427, label %.preheader210

.preheader210:                                    ; preds = %.preheader210.prol.loopexit, %.preheader210
  %.0131274 = phi i32 [ %393, %.preheader210 ], [ %.0131274.unr, %.preheader210.prol.loopexit ]
  %.0132273 = phi ptr [ %389, %.preheader210 ], [ %.0132273.unr, %.preheader210.prol.loopexit ]
  %.0133272 = phi ptr [ %387, %.preheader210 ], [ %.0133272.unr, %.preheader210.prol.loopexit ]
  %.0134271 = phi ptr [ %392, %.preheader210 ], [ %.0134271.unr, %.preheader210.prol.loopexit ]
  %369 = getelementptr inbounds i8, ptr %.0133272, i64 1
  %370 = load i8, ptr %.0133272, align 1, !tbaa !9
  %371 = getelementptr inbounds i8, ptr %.0132273, i64 1
  %372 = load i8, ptr %.0132273, align 1, !tbaa !9
  %373 = xor i8 %372, %370
  %374 = getelementptr inbounds i8, ptr %.0134271, i64 1
  store i8 %373, ptr %.0134271, align 1, !tbaa !9
  %375 = getelementptr inbounds i8, ptr %.0133272, i64 2
  %376 = load i8, ptr %369, align 1, !tbaa !9
  %377 = getelementptr inbounds i8, ptr %.0132273, i64 2
  %378 = load i8, ptr %371, align 1, !tbaa !9
  %379 = xor i8 %378, %376
  %380 = getelementptr inbounds i8, ptr %.0134271, i64 2
  store i8 %379, ptr %374, align 1, !tbaa !9
  %381 = getelementptr inbounds i8, ptr %.0133272, i64 3
  %382 = load i8, ptr %375, align 1, !tbaa !9
  %383 = getelementptr inbounds i8, ptr %.0132273, i64 3
  %384 = load i8, ptr %377, align 1, !tbaa !9
  %385 = xor i8 %384, %382
  %386 = getelementptr inbounds i8, ptr %.0134271, i64 3
  store i8 %385, ptr %380, align 1, !tbaa !9
  %387 = getelementptr inbounds i8, ptr %.0133272, i64 4
  %388 = load i8, ptr %381, align 1, !tbaa !9
  %389 = getelementptr inbounds i8, ptr %.0132273, i64 4
  %390 = load i8, ptr %383, align 1, !tbaa !9
  %391 = xor i8 %390, %388
  %392 = getelementptr inbounds i8, ptr %.0134271, i64 4
  store i8 %391, ptr %386, align 1, !tbaa !9
  %393 = add nsw i32 %.0131274, -4
  %.not200.3 = icmp eq i32 %393, 0
  br i1 %.not200.3, label %.loopexit427, label %.preheader210, !llvm.loop !35

.loopexit427:                                     ; preds = %.preheader210.prol.loopexit, %.preheader210, %vec.epilog.middle.block395, %middle.block372
  %394 = getelementptr inbounds i8, ptr %.0185.lcssa, i64 %.0186.lcssa
  br label %.loopexit

395:                                              ; preds = %._crit_edge
  %396 = load i64, ptr %1, align 8, !tbaa !5
  %.not188 = icmp eq i64 %396, 0
  br i1 %.not188, label %.loopexit, label %.preheader209.preheader

.preheader209.preheader:                          ; preds = %395
  call void @delirium_lfsr(ptr noundef nonnull %14, ptr noundef nonnull %13)
  %397 = getelementptr inbounds i8, ptr %13, i64 1
  %398 = load i8, ptr %13, align 16, !tbaa !9
  %399 = getelementptr inbounds i8, ptr %14, i64 1
  %400 = load i8, ptr %14, align 16, !tbaa !9
  %401 = xor i8 %400, %398
  %402 = getelementptr inbounds i8, ptr %10, i64 1
  store i8 %401, ptr %10, align 16, !tbaa !9
  %403 = getelementptr inbounds i8, ptr %13, i64 17
  %404 = getelementptr inbounds i8, ptr %14, i64 17
  %405 = getelementptr inbounds i8, ptr %10, i64 17
  %406 = load <16 x i8>, ptr %397, align 1, !tbaa !9
  %407 = load <16 x i8>, ptr %399, align 1, !tbaa !9
  %408 = xor <16 x i8> %407, %406
  store <16 x i8> %408, ptr %402, align 1, !tbaa !9
  %409 = load <8 x i8>, ptr %403, align 1, !tbaa !9
  %410 = load <8 x i8>, ptr %404, align 1, !tbaa !9
  %411 = xor <8 x i8> %410, %409
  store <8 x i8> %411, ptr %405, align 1, !tbaa !9
  %412 = load i8, ptr %10, align 16, !tbaa !9
  %413 = xor i8 %412, 1
  store i8 %413, ptr %10, align 16, !tbaa !9
  call void @keccakp_200_permute(ptr noundef nonnull %10) #5
  %414 = load <16 x i8>, ptr %13, align 16, !tbaa !9
  %415 = load <16 x i8>, ptr %10, align 16, !tbaa !9
  %416 = xor <16 x i8> %415, %414
  %417 = load <16 x i8>, ptr %14, align 16, !tbaa !9
  %418 = xor <16 x i8> %416, %417
  store <16 x i8> %418, ptr %10, align 16, !tbaa !9
  %419 = load <16 x i8>, ptr %15, align 16, !tbaa !9
  %420 = xor <16 x i8> %419, %418
  store <16 x i8> %420, ptr %15, align 16, !tbaa !9
  br label %.loopexit

.loopexit:                                        ; preds = %.preheader209.preheader, %395, %.loopexit427
  %.1 = phi ptr [ %394, %.loopexit427 ], [ %.0185.lcssa, %395 ], [ %.0185.lcssa, %.preheader209.preheader ]
  %421 = load i64, ptr %1, align 8, !tbaa !5
  %422 = call i32 @aead_check_tag(ptr noundef %0, i64 noundef %421, ptr noundef nonnull %15, ptr noundef %.1, i32 noundef 16) #5
  br label %423

423:                                              ; preds = %9, %.loopexit
  %.0157 = phi i32 [ %422, %.loopexit ], [ -1, %9 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #5
  call void @llvm.lifetime.end.p0(i64 25, ptr nonnull %14) #5
  call void @llvm.lifetime.end.p0(i64 25, ptr nonnull %13) #5
  call void @llvm.lifetime.end.p0(i64 25, ptr nonnull %12)
  call void @llvm.lifetime.end.p0(i64 25, ptr nonnull %10) #5
  ret i32 %.0157
}

; 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 void @keccakp_200_permute(ptr noundef) local_unnamed_addr #4

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

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

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 = { 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, !18, !19}
!30 = distinct !{!30, !11, !18, !19}
!31 = distinct !{!31, !11, !19, !18}
!32 = distinct !{!32, !11, !18, !19}
!33 = distinct !{!33, !11, !18, !19}
!34 = distinct !{!34, !27}
!35 = distinct !{!35, !11, !18}


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