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

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.mask_x4_uint32_t = type { i32, i32, i32, i32 }

; Function Attrs: nounwind uwtable
define dso_local i32 @spoc_128_masked_aead_decrypt(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, i64 noundef %4, ptr noundef %5, i64 noundef %6, ptr noundef %7, ptr noundef %8) #0 {
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i64, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i64, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca [8 x %struct.mask_x4_uint32_t], align 16
  %21 = alloca [16 x i8], align 16
  %22 = alloca ptr, align 8
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = 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 128, ptr %20) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #5
  %34 = load ptr, ptr %11, align 8, !tbaa !5
  store ptr %34, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  %35 = load ptr, ptr %13, align 8, !tbaa !5
  %36 = load i64, ptr %15, align 8, !tbaa !9
  %37 = icmp ult i64 %36, 16
  br i1 %37, label %38, label %39

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

39:                                               ; preds = %9
  %40 = load i64, ptr %15, align 8, !tbaa !9
  %41 = sub i64 %40, 16
  %42 = load ptr, ptr %12, align 8, !tbaa !5
  store i64 %41, ptr %42, align 8, !tbaa !9
  %43 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %44 = load ptr, ptr %19, align 8, !tbaa !5
  %45 = load ptr, ptr %18, align 8, !tbaa !5
  %46 = load ptr, ptr %16, align 8, !tbaa !5
  %47 = load i64, ptr %17, align 8, !tbaa !9
  call void @spoc_128_init_masked(ptr noundef %43, ptr noundef %44, ptr noundef %45, ptr noundef %46, i64 noundef %47)
  %48 = load i64, ptr %15, align 8, !tbaa !9
  %49 = sub i64 %48, 16
  store i64 %49, ptr %15, align 8, !tbaa !9
  %50 = load i64, ptr %15, align 8, !tbaa !9
  %51 = icmp ne i64 %50, 0
  br i1 %51, label %52, label %800

52:                                               ; preds = %39
  br label %53

53:                                               ; preds = %364, %52
  %54 = load i64, ptr %15, align 8, !tbaa !9
  %55 = icmp uge i64 %54, 16
  br i1 %55, label %56, label %371

56:                                               ; preds = %53
  %57 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  call void @sliscp_light256_permute_masked(ptr noundef %57, i32 noundef 18)
  %58 = load ptr, ptr %14, align 8, !tbaa !5
  %59 = getelementptr inbounds i8, ptr %58, i64 0
  %60 = load i8, ptr %59, align 1, !tbaa !11
  %61 = zext i8 %60 to i32
  %62 = shl i32 %61, 24
  %63 = load ptr, ptr %14, align 8, !tbaa !5
  %64 = getelementptr inbounds i8, ptr %63, i64 1
  %65 = load i8, ptr %64, align 1, !tbaa !11
  %66 = zext i8 %65 to i32
  %67 = shl i32 %66, 16
  %68 = or i32 %62, %67
  %69 = load ptr, ptr %14, align 8, !tbaa !5
  %70 = getelementptr inbounds i8, ptr %69, i64 2
  %71 = load i8, ptr %70, align 1, !tbaa !11
  %72 = zext i8 %71 to i32
  %73 = shl i32 %72, 8
  %74 = or i32 %68, %73
  %75 = load ptr, ptr %14, align 8, !tbaa !5
  %76 = getelementptr inbounds i8, ptr %75, i64 3
  %77 = load i8, ptr %76, align 1, !tbaa !11
  %78 = zext i8 %77 to i32
  %79 = or i32 %74, %78
  %80 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %81 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %80, i32 0, i32 0
  %82 = load i32, ptr %81, align 16, !tbaa !12
  %83 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %84 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %83, i32 0, i32 1
  %85 = load i32, ptr %84, align 4, !tbaa !15
  %86 = xor i32 %82, %85
  %87 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %88 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %87, i32 0, i32 2
  %89 = load i32, ptr %88, align 8, !tbaa !16
  %90 = xor i32 %86, %89
  %91 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %92 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %91, i32 0, i32 3
  %93 = load i32, ptr %92, align 4, !tbaa !17
  %94 = xor i32 %90, %93
  %95 = xor i32 %79, %94
  store i32 %95, ptr %23, align 4, !tbaa !18
  br label %96

96:                                               ; preds = %56
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #5
  %97 = load i32, ptr %23, align 4, !tbaa !18
  store i32 %97, ptr %25, align 4, !tbaa !18
  %98 = load i32, ptr %25, align 4, !tbaa !18
  %99 = lshr i32 %98, 24
  %100 = trunc i32 %99 to i8
  %101 = load ptr, ptr %11, align 8, !tbaa !5
  %102 = getelementptr inbounds i8, ptr %101, i64 0
  store i8 %100, ptr %102, align 1, !tbaa !11
  %103 = load i32, ptr %25, align 4, !tbaa !18
  %104 = lshr i32 %103, 16
  %105 = trunc i32 %104 to i8
  %106 = load ptr, ptr %11, align 8, !tbaa !5
  %107 = getelementptr inbounds i8, ptr %106, i64 1
  store i8 %105, ptr %107, align 1, !tbaa !11
  %108 = load i32, ptr %25, align 4, !tbaa !18
  %109 = lshr i32 %108, 8
  %110 = trunc i32 %109 to i8
  %111 = load ptr, ptr %11, align 8, !tbaa !5
  %112 = getelementptr inbounds i8, ptr %111, i64 2
  store i8 %110, ptr %112, align 1, !tbaa !11
  %113 = load i32, ptr %25, align 4, !tbaa !18
  %114 = trunc i32 %113 to i8
  %115 = load ptr, ptr %11, align 8, !tbaa !5
  %116 = getelementptr inbounds i8, ptr %115, i64 3
  store i8 %114, ptr %116, align 1, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  br label %117

117:                                              ; preds = %96
  br label %118

118:                                              ; preds = %117
  br label %119

119:                                              ; preds = %118
  %120 = load i32, ptr %23, align 4, !tbaa !18
  %121 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 2
  %122 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %121, i32 0, i32 0
  %123 = load i32, ptr %122, align 16, !tbaa !12
  %124 = xor i32 %123, %120
  store i32 %124, ptr %122, align 16, !tbaa !12
  br label %125

125:                                              ; preds = %119
  br label %126

126:                                              ; preds = %125
  %127 = load ptr, ptr %14, align 8, !tbaa !5
  %128 = getelementptr inbounds i8, ptr %127, i64 4
  %129 = getelementptr inbounds i8, ptr %128, i64 0
  %130 = load i8, ptr %129, align 1, !tbaa !11
  %131 = zext i8 %130 to i32
  %132 = shl i32 %131, 24
  %133 = load ptr, ptr %14, align 8, !tbaa !5
  %134 = getelementptr inbounds i8, ptr %133, i64 4
  %135 = getelementptr inbounds i8, ptr %134, i64 1
  %136 = load i8, ptr %135, align 1, !tbaa !11
  %137 = zext i8 %136 to i32
  %138 = shl i32 %137, 16
  %139 = or i32 %132, %138
  %140 = load ptr, ptr %14, align 8, !tbaa !5
  %141 = getelementptr inbounds i8, ptr %140, i64 4
  %142 = getelementptr inbounds i8, ptr %141, i64 2
  %143 = load i8, ptr %142, align 1, !tbaa !11
  %144 = zext i8 %143 to i32
  %145 = shl i32 %144, 8
  %146 = or i32 %139, %145
  %147 = load ptr, ptr %14, align 8, !tbaa !5
  %148 = getelementptr inbounds i8, ptr %147, i64 4
  %149 = getelementptr inbounds i8, ptr %148, i64 3
  %150 = load i8, ptr %149, align 1, !tbaa !11
  %151 = zext i8 %150 to i32
  %152 = or i32 %146, %151
  %153 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 1
  %154 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %153, i32 0, i32 0
  %155 = load i32, ptr %154, align 16, !tbaa !12
  %156 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 1
  %157 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %156, i32 0, i32 1
  %158 = load i32, ptr %157, align 4, !tbaa !15
  %159 = xor i32 %155, %158
  %160 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 1
  %161 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %160, i32 0, i32 2
  %162 = load i32, ptr %161, align 8, !tbaa !16
  %163 = xor i32 %159, %162
  %164 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 1
  %165 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %164, i32 0, i32 3
  %166 = load i32, ptr %165, align 4, !tbaa !17
  %167 = xor i32 %163, %166
  %168 = xor i32 %152, %167
  store i32 %168, ptr %23, align 4, !tbaa !18
  br label %169

169:                                              ; preds = %126
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #5
  %170 = load i32, ptr %23, align 4, !tbaa !18
  store i32 %170, ptr %26, align 4, !tbaa !18
  %171 = load i32, ptr %26, align 4, !tbaa !18
  %172 = lshr i32 %171, 24
  %173 = trunc i32 %172 to i8
  %174 = load ptr, ptr %11, align 8, !tbaa !5
  %175 = getelementptr inbounds i8, ptr %174, i64 4
  %176 = getelementptr inbounds i8, ptr %175, i64 0
  store i8 %173, ptr %176, align 1, !tbaa !11
  %177 = load i32, ptr %26, align 4, !tbaa !18
  %178 = lshr i32 %177, 16
  %179 = trunc i32 %178 to i8
  %180 = load ptr, ptr %11, align 8, !tbaa !5
  %181 = getelementptr inbounds i8, ptr %180, i64 4
  %182 = getelementptr inbounds i8, ptr %181, i64 1
  store i8 %179, ptr %182, align 1, !tbaa !11
  %183 = load i32, ptr %26, align 4, !tbaa !18
  %184 = lshr i32 %183, 8
  %185 = trunc i32 %184 to i8
  %186 = load ptr, ptr %11, align 8, !tbaa !5
  %187 = getelementptr inbounds i8, ptr %186, i64 4
  %188 = getelementptr inbounds i8, ptr %187, i64 2
  store i8 %185, ptr %188, align 1, !tbaa !11
  %189 = load i32, ptr %26, align 4, !tbaa !18
  %190 = trunc i32 %189 to i8
  %191 = load ptr, ptr %11, align 8, !tbaa !5
  %192 = getelementptr inbounds i8, ptr %191, i64 4
  %193 = getelementptr inbounds i8, ptr %192, i64 3
  store i8 %190, ptr %193, align 1, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  br label %194

194:                                              ; preds = %169
  br label %195

195:                                              ; preds = %194
  br label %196

196:                                              ; preds = %195
  %197 = load i32, ptr %23, align 4, !tbaa !18
  %198 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 3
  %199 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %198, i32 0, i32 0
  %200 = load i32, ptr %199, align 16, !tbaa !12
  %201 = xor i32 %200, %197
  store i32 %201, ptr %199, align 16, !tbaa !12
  br label %202

202:                                              ; preds = %196
  br label %203

203:                                              ; preds = %202
  %204 = load ptr, ptr %14, align 8, !tbaa !5
  %205 = getelementptr inbounds i8, ptr %204, i64 8
  %206 = getelementptr inbounds i8, ptr %205, i64 0
  %207 = load i8, ptr %206, align 1, !tbaa !11
  %208 = zext i8 %207 to i32
  %209 = shl i32 %208, 24
  %210 = load ptr, ptr %14, align 8, !tbaa !5
  %211 = getelementptr inbounds i8, ptr %210, i64 8
  %212 = getelementptr inbounds i8, ptr %211, i64 1
  %213 = load i8, ptr %212, align 1, !tbaa !11
  %214 = zext i8 %213 to i32
  %215 = shl i32 %214, 16
  %216 = or i32 %209, %215
  %217 = load ptr, ptr %14, align 8, !tbaa !5
  %218 = getelementptr inbounds i8, ptr %217, i64 8
  %219 = getelementptr inbounds i8, ptr %218, i64 2
  %220 = load i8, ptr %219, align 1, !tbaa !11
  %221 = zext i8 %220 to i32
  %222 = shl i32 %221, 8
  %223 = or i32 %216, %222
  %224 = load ptr, ptr %14, align 8, !tbaa !5
  %225 = getelementptr inbounds i8, ptr %224, i64 8
  %226 = getelementptr inbounds i8, ptr %225, i64 3
  %227 = load i8, ptr %226, align 1, !tbaa !11
  %228 = zext i8 %227 to i32
  %229 = or i32 %223, %228
  %230 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 4
  %231 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %230, i32 0, i32 0
  %232 = load i32, ptr %231, align 16, !tbaa !12
  %233 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 4
  %234 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %233, i32 0, i32 1
  %235 = load i32, ptr %234, align 4, !tbaa !15
  %236 = xor i32 %232, %235
  %237 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 4
  %238 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %237, i32 0, i32 2
  %239 = load i32, ptr %238, align 8, !tbaa !16
  %240 = xor i32 %236, %239
  %241 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 4
  %242 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %241, i32 0, i32 3
  %243 = load i32, ptr %242, align 4, !tbaa !17
  %244 = xor i32 %240, %243
  %245 = xor i32 %229, %244
  store i32 %245, ptr %23, align 4, !tbaa !18
  br label %246

246:                                              ; preds = %203
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #5
  %247 = load i32, ptr %23, align 4, !tbaa !18
  store i32 %247, ptr %27, align 4, !tbaa !18
  %248 = load i32, ptr %27, align 4, !tbaa !18
  %249 = lshr i32 %248, 24
  %250 = trunc i32 %249 to i8
  %251 = load ptr, ptr %11, align 8, !tbaa !5
  %252 = getelementptr inbounds i8, ptr %251, i64 8
  %253 = getelementptr inbounds i8, ptr %252, i64 0
  store i8 %250, ptr %253, align 1, !tbaa !11
  %254 = load i32, ptr %27, align 4, !tbaa !18
  %255 = lshr i32 %254, 16
  %256 = trunc i32 %255 to i8
  %257 = load ptr, ptr %11, align 8, !tbaa !5
  %258 = getelementptr inbounds i8, ptr %257, i64 8
  %259 = getelementptr inbounds i8, ptr %258, i64 1
  store i8 %256, ptr %259, align 1, !tbaa !11
  %260 = load i32, ptr %27, align 4, !tbaa !18
  %261 = lshr i32 %260, 8
  %262 = trunc i32 %261 to i8
  %263 = load ptr, ptr %11, align 8, !tbaa !5
  %264 = getelementptr inbounds i8, ptr %263, i64 8
  %265 = getelementptr inbounds i8, ptr %264, i64 2
  store i8 %262, ptr %265, align 1, !tbaa !11
  %266 = load i32, ptr %27, align 4, !tbaa !18
  %267 = trunc i32 %266 to i8
  %268 = load ptr, ptr %11, align 8, !tbaa !5
  %269 = getelementptr inbounds i8, ptr %268, i64 8
  %270 = getelementptr inbounds i8, ptr %269, i64 3
  store i8 %267, ptr %270, align 1, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #5
  br label %271

271:                                              ; preds = %246
  br label %272

272:                                              ; preds = %271
  br label %273

273:                                              ; preds = %272
  %274 = load i32, ptr %23, align 4, !tbaa !18
  %275 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 6
  %276 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %275, i32 0, i32 0
  %277 = load i32, ptr %276, align 16, !tbaa !12
  %278 = xor i32 %277, %274
  store i32 %278, ptr %276, align 16, !tbaa !12
  br label %279

279:                                              ; preds = %273
  br label %280

280:                                              ; preds = %279
  %281 = load ptr, ptr %14, align 8, !tbaa !5
  %282 = getelementptr inbounds i8, ptr %281, i64 12
  %283 = getelementptr inbounds i8, ptr %282, i64 0
  %284 = load i8, ptr %283, align 1, !tbaa !11
  %285 = zext i8 %284 to i32
  %286 = shl i32 %285, 24
  %287 = load ptr, ptr %14, align 8, !tbaa !5
  %288 = getelementptr inbounds i8, ptr %287, i64 12
  %289 = getelementptr inbounds i8, ptr %288, i64 1
  %290 = load i8, ptr %289, align 1, !tbaa !11
  %291 = zext i8 %290 to i32
  %292 = shl i32 %291, 16
  %293 = or i32 %286, %292
  %294 = load ptr, ptr %14, align 8, !tbaa !5
  %295 = getelementptr inbounds i8, ptr %294, i64 12
  %296 = getelementptr inbounds i8, ptr %295, i64 2
  %297 = load i8, ptr %296, align 1, !tbaa !11
  %298 = zext i8 %297 to i32
  %299 = shl i32 %298, 8
  %300 = or i32 %293, %299
  %301 = load ptr, ptr %14, align 8, !tbaa !5
  %302 = getelementptr inbounds i8, ptr %301, i64 12
  %303 = getelementptr inbounds i8, ptr %302, i64 3
  %304 = load i8, ptr %303, align 1, !tbaa !11
  %305 = zext i8 %304 to i32
  %306 = or i32 %300, %305
  %307 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 5
  %308 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %307, i32 0, i32 0
  %309 = load i32, ptr %308, align 16, !tbaa !12
  %310 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 5
  %311 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %310, i32 0, i32 1
  %312 = load i32, ptr %311, align 4, !tbaa !15
  %313 = xor i32 %309, %312
  %314 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 5
  %315 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %314, i32 0, i32 2
  %316 = load i32, ptr %315, align 8, !tbaa !16
  %317 = xor i32 %313, %316
  %318 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 5
  %319 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %318, i32 0, i32 3
  %320 = load i32, ptr %319, align 4, !tbaa !17
  %321 = xor i32 %317, %320
  %322 = xor i32 %306, %321
  store i32 %322, ptr %23, align 4, !tbaa !18
  br label %323

323:                                              ; preds = %280
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #5
  %324 = load i32, ptr %23, align 4, !tbaa !18
  store i32 %324, ptr %28, align 4, !tbaa !18
  %325 = load i32, ptr %28, align 4, !tbaa !18
  %326 = lshr i32 %325, 24
  %327 = trunc i32 %326 to i8
  %328 = load ptr, ptr %11, align 8, !tbaa !5
  %329 = getelementptr inbounds i8, ptr %328, i64 12
  %330 = getelementptr inbounds i8, ptr %329, i64 0
  store i8 %327, ptr %330, align 1, !tbaa !11
  %331 = load i32, ptr %28, align 4, !tbaa !18
  %332 = lshr i32 %331, 16
  %333 = trunc i32 %332 to i8
  %334 = load ptr, ptr %11, align 8, !tbaa !5
  %335 = getelementptr inbounds i8, ptr %334, i64 12
  %336 = getelementptr inbounds i8, ptr %335, i64 1
  store i8 %333, ptr %336, align 1, !tbaa !11
  %337 = load i32, ptr %28, align 4, !tbaa !18
  %338 = lshr i32 %337, 8
  %339 = trunc i32 %338 to i8
  %340 = load ptr, ptr %11, align 8, !tbaa !5
  %341 = getelementptr inbounds i8, ptr %340, i64 12
  %342 = getelementptr inbounds i8, ptr %341, i64 2
  store i8 %339, ptr %342, align 1, !tbaa !11
  %343 = load i32, ptr %28, align 4, !tbaa !18
  %344 = trunc i32 %343 to i8
  %345 = load ptr, ptr %11, align 8, !tbaa !5
  %346 = getelementptr inbounds i8, ptr %345, i64 12
  %347 = getelementptr inbounds i8, ptr %346, i64 3
  store i8 %344, ptr %347, align 1, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #5
  br label %348

348:                                              ; preds = %323
  br label %349

349:                                              ; preds = %348
  br label %350

350:                                              ; preds = %349
  %351 = load i32, ptr %23, align 4, !tbaa !18
  %352 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 7
  %353 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %352, i32 0, i32 0
  %354 = load i32, ptr %353, align 16, !tbaa !12
  %355 = xor i32 %354, %351
  store i32 %355, ptr %353, align 16, !tbaa !12
  br label %356

356:                                              ; preds = %350
  br label %357

357:                                              ; preds = %356
  br label %358

358:                                              ; preds = %357
  %359 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %360 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %359, i32 0, i32 0
  %361 = load i32, ptr %360, align 16, !tbaa !12
  %362 = xor i32 %361, 1073741824
  store i32 %362, ptr %360, align 16, !tbaa !12
  br label %363

363:                                              ; preds = %358
  br label %364

364:                                              ; preds = %363
  %365 = load ptr, ptr %14, align 8, !tbaa !5
  %366 = getelementptr inbounds i8, ptr %365, i64 16
  store ptr %366, ptr %14, align 8, !tbaa !5
  %367 = load ptr, ptr %11, align 8, !tbaa !5
  %368 = getelementptr inbounds i8, ptr %367, i64 16
  store ptr %368, ptr %11, align 8, !tbaa !5
  %369 = load i64, ptr %15, align 8, !tbaa !9
  %370 = sub i64 %369, 16
  store i64 %370, ptr %15, align 8, !tbaa !9
  br label %53, !llvm.loop !19

371:                                              ; preds = %53
  %372 = load i64, ptr %15, align 8, !tbaa !9
  %373 = icmp ne i64 %372, 0
  br i1 %373, label %374, label %799

374:                                              ; preds = %371
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #5
  %375 = load i64, ptr %15, align 8, !tbaa !9
  %376 = trunc i64 %375 to i32
  store i32 %376, ptr %29, align 4, !tbaa !18
  %377 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  call void @sliscp_light256_permute_masked(ptr noundef %377, i32 noundef 18)
  %378 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %379 = load ptr, ptr %14, align 8, !tbaa !5
  %380 = load i32, ptr %29, align 4, !tbaa !18
  %381 = zext i32 %380 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %378, ptr align 1 %379, i64 %381, i1 false)
  %382 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %383 = load i32, ptr %29, align 4, !tbaa !18
  %384 = zext i32 %383 to i64
  %385 = getelementptr inbounds i8, ptr %382, i64 %384
  %386 = load i32, ptr %29, align 4, !tbaa !18
  %387 = zext i32 %386 to i64
  %388 = sub i64 16, %387
  call void @llvm.memset.p0.i64(ptr align 1 %385, i8 0, i64 %388, i1 false)
  %389 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %390 = load i8, ptr %389, align 16, !tbaa !11
  %391 = zext i8 %390 to i32
  %392 = shl i32 %391, 24
  %393 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 1
  %394 = load i8, ptr %393, align 1, !tbaa !11
  %395 = zext i8 %394 to i32
  %396 = shl i32 %395, 16
  %397 = or i32 %392, %396
  %398 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 2
  %399 = load i8, ptr %398, align 2, !tbaa !11
  %400 = zext i8 %399 to i32
  %401 = shl i32 %400, 8
  %402 = or i32 %397, %401
  %403 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 3
  %404 = load i8, ptr %403, align 1, !tbaa !11
  %405 = zext i8 %404 to i32
  %406 = or i32 %402, %405
  %407 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %408 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %407, i32 0, i32 0
  %409 = load i32, ptr %408, align 16, !tbaa !12
  %410 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %411 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %410, i32 0, i32 1
  %412 = load i32, ptr %411, align 4, !tbaa !15
  %413 = xor i32 %409, %412
  %414 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %415 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %414, i32 0, i32 2
  %416 = load i32, ptr %415, align 8, !tbaa !16
  %417 = xor i32 %413, %416
  %418 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %419 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %418, i32 0, i32 3
  %420 = load i32, ptr %419, align 4, !tbaa !17
  %421 = xor i32 %417, %420
  %422 = xor i32 %406, %421
  store i32 %422, ptr %23, align 4, !tbaa !18
  br label %423

423:                                              ; preds = %374
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #5
  %424 = load i32, ptr %23, align 4, !tbaa !18
  store i32 %424, ptr %30, align 4, !tbaa !18
  %425 = load i32, ptr %30, align 4, !tbaa !18
  %426 = lshr i32 %425, 24
  %427 = trunc i32 %426 to i8
  %428 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  store i8 %427, ptr %428, align 16, !tbaa !11
  %429 = load i32, ptr %30, align 4, !tbaa !18
  %430 = lshr i32 %429, 16
  %431 = trunc i32 %430 to i8
  %432 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 1
  store i8 %431, ptr %432, align 1, !tbaa !11
  %433 = load i32, ptr %30, align 4, !tbaa !18
  %434 = lshr i32 %433, 8
  %435 = trunc i32 %434 to i8
  %436 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 2
  store i8 %435, ptr %436, align 2, !tbaa !11
  %437 = load i32, ptr %30, align 4, !tbaa !18
  %438 = trunc i32 %437 to i8
  %439 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 3
  store i8 %438, ptr %439, align 1, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #5
  br label %440

440:                                              ; preds = %423
  br label %441

441:                                              ; preds = %440
  %442 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %443 = getelementptr inbounds i8, ptr %442, i64 4
  %444 = getelementptr inbounds i8, ptr %443, i64 0
  %445 = load i8, ptr %444, align 1, !tbaa !11
  %446 = zext i8 %445 to i32
  %447 = shl i32 %446, 24
  %448 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %449 = getelementptr inbounds i8, ptr %448, i64 4
  %450 = getelementptr inbounds i8, ptr %449, i64 1
  %451 = load i8, ptr %450, align 1, !tbaa !11
  %452 = zext i8 %451 to i32
  %453 = shl i32 %452, 16
  %454 = or i32 %447, %453
  %455 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %456 = getelementptr inbounds i8, ptr %455, i64 4
  %457 = getelementptr inbounds i8, ptr %456, i64 2
  %458 = load i8, ptr %457, align 1, !tbaa !11
  %459 = zext i8 %458 to i32
  %460 = shl i32 %459, 8
  %461 = or i32 %454, %460
  %462 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %463 = getelementptr inbounds i8, ptr %462, i64 4
  %464 = getelementptr inbounds i8, ptr %463, i64 3
  %465 = load i8, ptr %464, align 1, !tbaa !11
  %466 = zext i8 %465 to i32
  %467 = or i32 %461, %466
  %468 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 1
  %469 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %468, i32 0, i32 0
  %470 = load i32, ptr %469, align 16, !tbaa !12
  %471 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 1
  %472 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %471, i32 0, i32 1
  %473 = load i32, ptr %472, align 4, !tbaa !15
  %474 = xor i32 %470, %473
  %475 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 1
  %476 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %475, i32 0, i32 2
  %477 = load i32, ptr %476, align 8, !tbaa !16
  %478 = xor i32 %474, %477
  %479 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 1
  %480 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %479, i32 0, i32 3
  %481 = load i32, ptr %480, align 4, !tbaa !17
  %482 = xor i32 %478, %481
  %483 = xor i32 %467, %482
  store i32 %483, ptr %23, align 4, !tbaa !18
  br label %484

484:                                              ; preds = %441
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #5
  %485 = load i32, ptr %23, align 4, !tbaa !18
  store i32 %485, ptr %31, align 4, !tbaa !18
  %486 = load i32, ptr %31, align 4, !tbaa !18
  %487 = lshr i32 %486, 24
  %488 = trunc i32 %487 to i8
  %489 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %490 = getelementptr inbounds i8, ptr %489, i64 4
  %491 = getelementptr inbounds i8, ptr %490, i64 0
  store i8 %488, ptr %491, align 1, !tbaa !11
  %492 = load i32, ptr %31, align 4, !tbaa !18
  %493 = lshr i32 %492, 16
  %494 = trunc i32 %493 to i8
  %495 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %496 = getelementptr inbounds i8, ptr %495, i64 4
  %497 = getelementptr inbounds i8, ptr %496, i64 1
  store i8 %494, ptr %497, align 1, !tbaa !11
  %498 = load i32, ptr %31, align 4, !tbaa !18
  %499 = lshr i32 %498, 8
  %500 = trunc i32 %499 to i8
  %501 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %502 = getelementptr inbounds i8, ptr %501, i64 4
  %503 = getelementptr inbounds i8, ptr %502, i64 2
  store i8 %500, ptr %503, align 1, !tbaa !11
  %504 = load i32, ptr %31, align 4, !tbaa !18
  %505 = trunc i32 %504 to i8
  %506 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %507 = getelementptr inbounds i8, ptr %506, i64 4
  %508 = getelementptr inbounds i8, ptr %507, i64 3
  store i8 %505, ptr %508, align 1, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #5
  br label %509

509:                                              ; preds = %484
  br label %510

510:                                              ; preds = %509
  %511 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %512 = getelementptr inbounds i8, ptr %511, i64 8
  %513 = getelementptr inbounds i8, ptr %512, i64 0
  %514 = load i8, ptr %513, align 1, !tbaa !11
  %515 = zext i8 %514 to i32
  %516 = shl i32 %515, 24
  %517 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %518 = getelementptr inbounds i8, ptr %517, i64 8
  %519 = getelementptr inbounds i8, ptr %518, i64 1
  %520 = load i8, ptr %519, align 1, !tbaa !11
  %521 = zext i8 %520 to i32
  %522 = shl i32 %521, 16
  %523 = or i32 %516, %522
  %524 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %525 = getelementptr inbounds i8, ptr %524, i64 8
  %526 = getelementptr inbounds i8, ptr %525, i64 2
  %527 = load i8, ptr %526, align 1, !tbaa !11
  %528 = zext i8 %527 to i32
  %529 = shl i32 %528, 8
  %530 = or i32 %523, %529
  %531 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %532 = getelementptr inbounds i8, ptr %531, i64 8
  %533 = getelementptr inbounds i8, ptr %532, i64 3
  %534 = load i8, ptr %533, align 1, !tbaa !11
  %535 = zext i8 %534 to i32
  %536 = or i32 %530, %535
  %537 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 4
  %538 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %537, i32 0, i32 0
  %539 = load i32, ptr %538, align 16, !tbaa !12
  %540 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 4
  %541 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %540, i32 0, i32 1
  %542 = load i32, ptr %541, align 4, !tbaa !15
  %543 = xor i32 %539, %542
  %544 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 4
  %545 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %544, i32 0, i32 2
  %546 = load i32, ptr %545, align 8, !tbaa !16
  %547 = xor i32 %543, %546
  %548 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 4
  %549 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %548, i32 0, i32 3
  %550 = load i32, ptr %549, align 4, !tbaa !17
  %551 = xor i32 %547, %550
  %552 = xor i32 %536, %551
  store i32 %552, ptr %23, align 4, !tbaa !18
  br label %553

553:                                              ; preds = %510
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #5
  %554 = load i32, ptr %23, align 4, !tbaa !18
  store i32 %554, ptr %32, align 4, !tbaa !18
  %555 = load i32, ptr %32, align 4, !tbaa !18
  %556 = lshr i32 %555, 24
  %557 = trunc i32 %556 to i8
  %558 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %559 = getelementptr inbounds i8, ptr %558, i64 8
  %560 = getelementptr inbounds i8, ptr %559, i64 0
  store i8 %557, ptr %560, align 1, !tbaa !11
  %561 = load i32, ptr %32, align 4, !tbaa !18
  %562 = lshr i32 %561, 16
  %563 = trunc i32 %562 to i8
  %564 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %565 = getelementptr inbounds i8, ptr %564, i64 8
  %566 = getelementptr inbounds i8, ptr %565, i64 1
  store i8 %563, ptr %566, align 1, !tbaa !11
  %567 = load i32, ptr %32, align 4, !tbaa !18
  %568 = lshr i32 %567, 8
  %569 = trunc i32 %568 to i8
  %570 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %571 = getelementptr inbounds i8, ptr %570, i64 8
  %572 = getelementptr inbounds i8, ptr %571, i64 2
  store i8 %569, ptr %572, align 1, !tbaa !11
  %573 = load i32, ptr %32, align 4, !tbaa !18
  %574 = trunc i32 %573 to i8
  %575 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %576 = getelementptr inbounds i8, ptr %575, i64 8
  %577 = getelementptr inbounds i8, ptr %576, i64 3
  store i8 %574, ptr %577, align 1, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #5
  br label %578

578:                                              ; preds = %553
  br label %579

579:                                              ; preds = %578
  %580 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %581 = getelementptr inbounds i8, ptr %580, i64 12
  %582 = getelementptr inbounds i8, ptr %581, i64 0
  %583 = load i8, ptr %582, align 1, !tbaa !11
  %584 = zext i8 %583 to i32
  %585 = shl i32 %584, 24
  %586 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %587 = getelementptr inbounds i8, ptr %586, i64 12
  %588 = getelementptr inbounds i8, ptr %587, i64 1
  %589 = load i8, ptr %588, align 1, !tbaa !11
  %590 = zext i8 %589 to i32
  %591 = shl i32 %590, 16
  %592 = or i32 %585, %591
  %593 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %594 = getelementptr inbounds i8, ptr %593, i64 12
  %595 = getelementptr inbounds i8, ptr %594, i64 2
  %596 = load i8, ptr %595, align 1, !tbaa !11
  %597 = zext i8 %596 to i32
  %598 = shl i32 %597, 8
  %599 = or i32 %592, %598
  %600 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %601 = getelementptr inbounds i8, ptr %600, i64 12
  %602 = getelementptr inbounds i8, ptr %601, i64 3
  %603 = load i8, ptr %602, align 1, !tbaa !11
  %604 = zext i8 %603 to i32
  %605 = or i32 %599, %604
  %606 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 5
  %607 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %606, i32 0, i32 0
  %608 = load i32, ptr %607, align 16, !tbaa !12
  %609 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 5
  %610 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %609, i32 0, i32 1
  %611 = load i32, ptr %610, align 4, !tbaa !15
  %612 = xor i32 %608, %611
  %613 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 5
  %614 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %613, i32 0, i32 2
  %615 = load i32, ptr %614, align 8, !tbaa !16
  %616 = xor i32 %612, %615
  %617 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 5
  %618 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %617, i32 0, i32 3
  %619 = load i32, ptr %618, align 4, !tbaa !17
  %620 = xor i32 %616, %619
  %621 = xor i32 %605, %620
  store i32 %621, ptr %23, align 4, !tbaa !18
  br label %622

622:                                              ; preds = %579
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #5
  %623 = load i32, ptr %23, align 4, !tbaa !18
  store i32 %623, ptr %33, align 4, !tbaa !18
  %624 = load i32, ptr %33, align 4, !tbaa !18
  %625 = lshr i32 %624, 24
  %626 = trunc i32 %625 to i8
  %627 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %628 = getelementptr inbounds i8, ptr %627, i64 12
  %629 = getelementptr inbounds i8, ptr %628, i64 0
  store i8 %626, ptr %629, align 1, !tbaa !11
  %630 = load i32, ptr %33, align 4, !tbaa !18
  %631 = lshr i32 %630, 16
  %632 = trunc i32 %631 to i8
  %633 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %634 = getelementptr inbounds i8, ptr %633, i64 12
  %635 = getelementptr inbounds i8, ptr %634, i64 1
  store i8 %632, ptr %635, align 1, !tbaa !11
  %636 = load i32, ptr %33, align 4, !tbaa !18
  %637 = lshr i32 %636, 8
  %638 = trunc i32 %637 to i8
  %639 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %640 = getelementptr inbounds i8, ptr %639, i64 12
  %641 = getelementptr inbounds i8, ptr %640, i64 2
  store i8 %638, ptr %641, align 1, !tbaa !11
  %642 = load i32, ptr %33, align 4, !tbaa !18
  %643 = trunc i32 %642 to i8
  %644 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %645 = getelementptr inbounds i8, ptr %644, i64 12
  %646 = getelementptr inbounds i8, ptr %645, i64 3
  store i8 %643, ptr %646, align 1, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #5
  br label %647

647:                                              ; preds = %622
  br label %648

648:                                              ; preds = %647
  %649 = load ptr, ptr %11, align 8, !tbaa !5
  %650 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %651 = load i32, ptr %29, align 4, !tbaa !18
  %652 = zext i32 %651 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %649, ptr align 16 %650, i64 %652, i1 false)
  %653 = load i32, ptr %29, align 4, !tbaa !18
  %654 = zext i32 %653 to i64
  %655 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 %654
  store i8 -128, ptr %655, align 1, !tbaa !11
  %656 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %657 = load i32, ptr %29, align 4, !tbaa !18
  %658 = zext i32 %657 to i64
  %659 = getelementptr inbounds i8, ptr %656, i64 %658
  %660 = getelementptr inbounds i8, ptr %659, i64 1
  %661 = load i32, ptr %29, align 4, !tbaa !18
  %662 = add i32 %661, 1
  %663 = zext i32 %662 to i64
  %664 = sub i64 16, %663
  call void @llvm.memset.p0.i64(ptr align 1 %660, i8 0, i64 %664, i1 false)
  br label %665

665:                                              ; preds = %648
  %666 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %667 = load i8, ptr %666, align 16, !tbaa !11
  %668 = zext i8 %667 to i32
  %669 = shl i32 %668, 24
  %670 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 1
  %671 = load i8, ptr %670, align 1, !tbaa !11
  %672 = zext i8 %671 to i32
  %673 = shl i32 %672, 16
  %674 = or i32 %669, %673
  %675 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 2
  %676 = load i8, ptr %675, align 2, !tbaa !11
  %677 = zext i8 %676 to i32
  %678 = shl i32 %677, 8
  %679 = or i32 %674, %678
  %680 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 3
  %681 = load i8, ptr %680, align 1, !tbaa !11
  %682 = zext i8 %681 to i32
  %683 = or i32 %679, %682
  %684 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 2
  %685 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %684, i32 0, i32 0
  %686 = load i32, ptr %685, align 16, !tbaa !12
  %687 = xor i32 %686, %683
  store i32 %687, ptr %685, align 16, !tbaa !12
  br label %688

688:                                              ; preds = %665
  br label %689

689:                                              ; preds = %688
  br label %690

690:                                              ; preds = %689
  %691 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %692 = getelementptr inbounds i8, ptr %691, i64 4
  %693 = getelementptr inbounds i8, ptr %692, i64 0
  %694 = load i8, ptr %693, align 1, !tbaa !11
  %695 = zext i8 %694 to i32
  %696 = shl i32 %695, 24
  %697 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %698 = getelementptr inbounds i8, ptr %697, i64 4
  %699 = getelementptr inbounds i8, ptr %698, i64 1
  %700 = load i8, ptr %699, align 1, !tbaa !11
  %701 = zext i8 %700 to i32
  %702 = shl i32 %701, 16
  %703 = or i32 %696, %702
  %704 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %705 = getelementptr inbounds i8, ptr %704, i64 4
  %706 = getelementptr inbounds i8, ptr %705, i64 2
  %707 = load i8, ptr %706, align 1, !tbaa !11
  %708 = zext i8 %707 to i32
  %709 = shl i32 %708, 8
  %710 = or i32 %703, %709
  %711 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %712 = getelementptr inbounds i8, ptr %711, i64 4
  %713 = getelementptr inbounds i8, ptr %712, i64 3
  %714 = load i8, ptr %713, align 1, !tbaa !11
  %715 = zext i8 %714 to i32
  %716 = or i32 %710, %715
  %717 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 3
  %718 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %717, i32 0, i32 0
  %719 = load i32, ptr %718, align 16, !tbaa !12
  %720 = xor i32 %719, %716
  store i32 %720, ptr %718, align 16, !tbaa !12
  br label %721

721:                                              ; preds = %690
  br label %722

722:                                              ; preds = %721
  br label %723

723:                                              ; preds = %722
  %724 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %725 = getelementptr inbounds i8, ptr %724, i64 8
  %726 = getelementptr inbounds i8, ptr %725, i64 0
  %727 = load i8, ptr %726, align 1, !tbaa !11
  %728 = zext i8 %727 to i32
  %729 = shl i32 %728, 24
  %730 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %731 = getelementptr inbounds i8, ptr %730, i64 8
  %732 = getelementptr inbounds i8, ptr %731, i64 1
  %733 = load i8, ptr %732, align 1, !tbaa !11
  %734 = zext i8 %733 to i32
  %735 = shl i32 %734, 16
  %736 = or i32 %729, %735
  %737 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %738 = getelementptr inbounds i8, ptr %737, i64 8
  %739 = getelementptr inbounds i8, ptr %738, i64 2
  %740 = load i8, ptr %739, align 1, !tbaa !11
  %741 = zext i8 %740 to i32
  %742 = shl i32 %741, 8
  %743 = or i32 %736, %742
  %744 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %745 = getelementptr inbounds i8, ptr %744, i64 8
  %746 = getelementptr inbounds i8, ptr %745, i64 3
  %747 = load i8, ptr %746, align 1, !tbaa !11
  %748 = zext i8 %747 to i32
  %749 = or i32 %743, %748
  %750 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 6
  %751 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %750, i32 0, i32 0
  %752 = load i32, ptr %751, align 16, !tbaa !12
  %753 = xor i32 %752, %749
  store i32 %753, ptr %751, align 16, !tbaa !12
  br label %754

754:                                              ; preds = %723
  br label %755

755:                                              ; preds = %754
  br label %756

756:                                              ; preds = %755
  %757 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %758 = getelementptr inbounds i8, ptr %757, i64 12
  %759 = getelementptr inbounds i8, ptr %758, i64 0
  %760 = load i8, ptr %759, align 1, !tbaa !11
  %761 = zext i8 %760 to i32
  %762 = shl i32 %761, 24
  %763 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %764 = getelementptr inbounds i8, ptr %763, i64 12
  %765 = getelementptr inbounds i8, ptr %764, i64 1
  %766 = load i8, ptr %765, align 1, !tbaa !11
  %767 = zext i8 %766 to i32
  %768 = shl i32 %767, 16
  %769 = or i32 %762, %768
  %770 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %771 = getelementptr inbounds i8, ptr %770, i64 12
  %772 = getelementptr inbounds i8, ptr %771, i64 2
  %773 = load i8, ptr %772, align 1, !tbaa !11
  %774 = zext i8 %773 to i32
  %775 = shl i32 %774, 8
  %776 = or i32 %769, %775
  %777 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %778 = getelementptr inbounds i8, ptr %777, i64 12
  %779 = getelementptr inbounds i8, ptr %778, i64 3
  %780 = load i8, ptr %779, align 1, !tbaa !11
  %781 = zext i8 %780 to i32
  %782 = or i32 %776, %781
  %783 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 7
  %784 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %783, i32 0, i32 0
  %785 = load i32, ptr %784, align 16, !tbaa !12
  %786 = xor i32 %785, %782
  store i32 %786, ptr %784, align 16, !tbaa !12
  br label %787

787:                                              ; preds = %756
  br label %788

788:                                              ; preds = %787
  br label %789

789:                                              ; preds = %788
  %790 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %791 = getelementptr inbounds %struct.mask_x4_uint32_t, ptr %790, i32 0, i32 0
  %792 = load i32, ptr %791, align 16, !tbaa !12
  %793 = xor i32 %792, 1342177280
  store i32 %793, ptr %791, align 16, !tbaa !12
  br label %794

794:                                              ; preds = %789
  br label %795

795:                                              ; preds = %794
  %796 = load i64, ptr %15, align 8, !tbaa !9
  %797 = load ptr, ptr %14, align 8, !tbaa !5
  %798 = getelementptr inbounds i8, ptr %797, i64 %796
  store ptr %798, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #5
  br label %799

799:                                              ; preds = %795, %371
  br label %800

800:                                              ; preds = %799, %39
  %801 = getelementptr inbounds [8 x %struct.mask_x4_uint32_t], ptr %20, i64 0, i64 0
  %802 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  call void @spoc_128_finalize_masked(ptr noundef %801, ptr noundef %802)
  %803 = load ptr, ptr %22, align 8, !tbaa !5
  %804 = load ptr, ptr %12, align 8, !tbaa !5
  %805 = load i64, ptr %804, align 8, !tbaa !9
  %806 = getelementptr inbounds [16 x i8], ptr %21, i64 0, i64 0
  %807 = load ptr, ptr %14, align 8, !tbaa !5
  %808 = call i32 @aead_check_tag(ptr noundef %803, i64 noundef %805, ptr noundef %806, ptr noundef %807, i32 noundef 16)
  store i32 %808, ptr %10, align 4
  store i32 1, ptr %24, align 4
  br label %809

809:                                              ; preds = %800, %38
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 128, ptr %20) #5
  %810 = load i32, ptr %10, align 4
  ret i32 %810
}

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

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

declare void @sliscp_light256_permute_masked(ptr noundef, i32 noundef) #2

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.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) #3

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { nocallback nofree nounwind willreturn memory(argmem: write) }
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 = !{!7, !7, i64 0}
!12 = !{!13, !14, i64 0}
!13 = !{!"", !14, i64 0, !14, i64 4, !14, i64 8, !14, i64 12}
!14 = !{!"int", !7, i64 0}
!15 = !{!13, !14, i64 4}
!16 = !{!13, !14, i64 8}
!17 = !{!13, !14, i64 12}
!18 = !{!14, !14, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.mask_x4_uint32_t = type { i32, i32, i32, i32 }

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

13:                                               ; preds = %9
  %14 = add i64 %4, -16
  store i64 %14, ptr %1, align 8, !tbaa !5
  call void @spoc_128_init_masked(ptr noundef nonnull %10, ptr noundef %8, ptr noundef %7, ptr noundef %5, i64 noundef %6)
  %.not = icmp eq i64 %14, 0
  br i1 %.not, label %415, label %.preheader

.preheader:                                       ; preds = %13
  %15 = icmp ugt i64 %14, 15
  br i1 %15, label %.lr.ph, label %._crit_edge.thread

.lr.ph:                                           ; preds = %.preheader
  %16 = getelementptr inbounds i8, ptr %10, i64 4
  %17 = getelementptr inbounds i8, ptr %10, i64 8
  %18 = getelementptr inbounds i8, ptr %10, i64 12
  %19 = getelementptr inbounds i8, ptr %10, i64 32
  %20 = getelementptr inbounds i8, ptr %10, i64 16
  %21 = getelementptr inbounds i8, ptr %10, i64 20
  %22 = getelementptr inbounds i8, ptr %10, i64 24
  %23 = getelementptr inbounds i8, ptr %10, i64 28
  %24 = getelementptr inbounds i8, ptr %10, i64 48
  %25 = getelementptr inbounds i8, ptr %10, i64 64
  %26 = getelementptr inbounds i8, ptr %10, i64 68
  %27 = getelementptr inbounds i8, ptr %10, i64 72
  %28 = getelementptr inbounds i8, ptr %10, i64 76
  %29 = getelementptr inbounds i8, ptr %10, i64 96
  %30 = getelementptr inbounds i8, ptr %10, i64 80
  %31 = getelementptr inbounds i8, ptr %10, i64 84
  %32 = getelementptr inbounds i8, ptr %10, i64 88
  %33 = getelementptr inbounds i8, ptr %10, i64 92
  %34 = getelementptr inbounds i8, ptr %10, i64 112
  br label %35

35:                                               ; preds = %.lr.ph, %35
  %.0107115 = phi ptr [ %0, %.lr.ph ], [ %192, %35 ]
  %.0108114 = phi ptr [ %3, %.lr.ph ], [ %191, %35 ]
  %.0109113 = phi i64 [ %14, %.lr.ph ], [ %193, %35 ]
  call void @sliscp_light256_permute_masked(ptr noundef nonnull %10, i32 noundef 18) #5
  %36 = load i8, ptr %.0108114, align 1, !tbaa !9
  %37 = zext i8 %36 to i32
  %38 = shl nuw i32 %37, 24
  %39 = getelementptr inbounds i8, ptr %.0108114, i64 1
  %40 = load i8, ptr %39, align 1, !tbaa !9
  %41 = zext i8 %40 to i32
  %42 = shl nuw nsw i32 %41, 16
  %43 = or disjoint i32 %42, %38
  %44 = getelementptr inbounds i8, ptr %.0108114, i64 2
  %45 = load i8, ptr %44, align 1, !tbaa !9
  %46 = zext i8 %45 to i32
  %47 = shl nuw nsw i32 %46, 8
  %48 = or disjoint i32 %43, %47
  %49 = getelementptr inbounds i8, ptr %.0108114, i64 3
  %50 = load i8, ptr %49, align 1, !tbaa !9
  %51 = zext i8 %50 to i32
  %52 = or disjoint i32 %48, %51
  %53 = load i32, ptr %10, align 16, !tbaa !10
  %54 = load i32, ptr %16, align 4, !tbaa !13
  %55 = load i32, ptr %17, align 8, !tbaa !14
  %56 = load i32, ptr %18, align 4, !tbaa !15
  %57 = xor i32 %54, %55
  %58 = xor i32 %57, %52
  %59 = xor i32 %58, %56
  %60 = xor i32 %59, %53
  %61 = lshr i32 %60, 24
  %62 = trunc nuw i32 %61 to i8
  store i8 %62, ptr %.0107115, align 1, !tbaa !9
  %63 = lshr i32 %60, 16
  %64 = trunc i32 %63 to i8
  %65 = getelementptr inbounds i8, ptr %.0107115, i64 1
  store i8 %64, ptr %65, align 1, !tbaa !9
  %66 = lshr i32 %60, 8
  %67 = trunc i32 %66 to i8
  %68 = getelementptr inbounds i8, ptr %.0107115, i64 2
  store i8 %67, ptr %68, align 1, !tbaa !9
  %69 = trunc i32 %60 to i8
  %70 = getelementptr inbounds i8, ptr %.0107115, i64 3
  store i8 %69, ptr %70, align 1, !tbaa !9
  %71 = load i32, ptr %19, align 16, !tbaa !10
  %72 = xor i32 %71, %60
  store i32 %72, ptr %19, align 16, !tbaa !10
  %73 = getelementptr inbounds i8, ptr %.0108114, i64 4
  %74 = load i8, ptr %73, align 1, !tbaa !9
  %75 = zext i8 %74 to i32
  %76 = shl nuw i32 %75, 24
  %77 = getelementptr inbounds i8, ptr %.0108114, i64 5
  %78 = load i8, ptr %77, align 1, !tbaa !9
  %79 = zext i8 %78 to i32
  %80 = shl nuw nsw i32 %79, 16
  %81 = or disjoint i32 %80, %76
  %82 = getelementptr inbounds i8, ptr %.0108114, i64 6
  %83 = load i8, ptr %82, align 1, !tbaa !9
  %84 = zext i8 %83 to i32
  %85 = shl nuw nsw i32 %84, 8
  %86 = or disjoint i32 %81, %85
  %87 = getelementptr inbounds i8, ptr %.0108114, i64 7
  %88 = load i8, ptr %87, align 1, !tbaa !9
  %89 = zext i8 %88 to i32
  %90 = or disjoint i32 %86, %89
  %91 = load i32, ptr %20, align 16, !tbaa !10
  %92 = load i32, ptr %21, align 4, !tbaa !13
  %93 = xor i32 %92, %91
  %94 = load i32, ptr %22, align 8, !tbaa !14
  %95 = xor i32 %93, %94
  %96 = load i32, ptr %23, align 4, !tbaa !15
  %97 = xor i32 %95, %90
  %98 = xor i32 %97, %96
  %99 = lshr i32 %98, 24
  %100 = trunc nuw i32 %99 to i8
  %101 = getelementptr inbounds i8, ptr %.0107115, i64 4
  store i8 %100, ptr %101, align 1, !tbaa !9
  %102 = lshr i32 %98, 16
  %103 = trunc i32 %102 to i8
  %104 = getelementptr inbounds i8, ptr %.0107115, i64 5
  store i8 %103, ptr %104, align 1, !tbaa !9
  %105 = lshr i32 %98, 8
  %106 = trunc i32 %105 to i8
  %107 = getelementptr inbounds i8, ptr %.0107115, i64 6
  store i8 %106, ptr %107, align 1, !tbaa !9
  %108 = trunc i32 %98 to i8
  %109 = getelementptr inbounds i8, ptr %.0107115, i64 7
  store i8 %108, ptr %109, align 1, !tbaa !9
  %110 = load i32, ptr %24, align 16, !tbaa !10
  %111 = xor i32 %110, %98
  store i32 %111, ptr %24, align 16, !tbaa !10
  %112 = getelementptr inbounds i8, ptr %.0108114, i64 8
  %113 = load i8, ptr %112, align 1, !tbaa !9
  %114 = zext i8 %113 to i32
  %115 = shl nuw i32 %114, 24
  %116 = getelementptr inbounds i8, ptr %.0108114, i64 9
  %117 = load i8, ptr %116, align 1, !tbaa !9
  %118 = zext i8 %117 to i32
  %119 = shl nuw nsw i32 %118, 16
  %120 = or disjoint i32 %119, %115
  %121 = getelementptr inbounds i8, ptr %.0108114, i64 10
  %122 = load i8, ptr %121, align 1, !tbaa !9
  %123 = zext i8 %122 to i32
  %124 = shl nuw nsw i32 %123, 8
  %125 = or disjoint i32 %120, %124
  %126 = getelementptr inbounds i8, ptr %.0108114, i64 11
  %127 = load i8, ptr %126, align 1, !tbaa !9
  %128 = zext i8 %127 to i32
  %129 = or disjoint i32 %125, %128
  %130 = load i32, ptr %25, align 16, !tbaa !10
  %131 = load i32, ptr %26, align 4, !tbaa !13
  %132 = xor i32 %131, %130
  %133 = load i32, ptr %27, align 8, !tbaa !14
  %134 = xor i32 %132, %133
  %135 = load i32, ptr %28, align 4, !tbaa !15
  %136 = xor i32 %134, %129
  %137 = xor i32 %136, %135
  %138 = lshr i32 %137, 24
  %139 = trunc nuw i32 %138 to i8
  %140 = getelementptr inbounds i8, ptr %.0107115, i64 8
  store i8 %139, ptr %140, align 1, !tbaa !9
  %141 = lshr i32 %137, 16
  %142 = trunc i32 %141 to i8
  %143 = getelementptr inbounds i8, ptr %.0107115, i64 9
  store i8 %142, ptr %143, align 1, !tbaa !9
  %144 = lshr i32 %137, 8
  %145 = trunc i32 %144 to i8
  %146 = getelementptr inbounds i8, ptr %.0107115, i64 10
  store i8 %145, ptr %146, align 1, !tbaa !9
  %147 = trunc i32 %137 to i8
  %148 = getelementptr inbounds i8, ptr %.0107115, i64 11
  store i8 %147, ptr %148, align 1, !tbaa !9
  %149 = load i32, ptr %29, align 16, !tbaa !10
  %150 = xor i32 %149, %137
  store i32 %150, ptr %29, align 16, !tbaa !10
  %151 = getelementptr inbounds i8, ptr %.0108114, i64 12
  %152 = load i8, ptr %151, align 1, !tbaa !9
  %153 = zext i8 %152 to i32
  %154 = shl nuw i32 %153, 24
  %155 = getelementptr inbounds i8, ptr %.0108114, i64 13
  %156 = load i8, ptr %155, align 1, !tbaa !9
  %157 = zext i8 %156 to i32
  %158 = shl nuw nsw i32 %157, 16
  %159 = or disjoint i32 %158, %154
  %160 = getelementptr inbounds i8, ptr %.0108114, i64 14
  %161 = load i8, ptr %160, align 1, !tbaa !9
  %162 = zext i8 %161 to i32
  %163 = shl nuw nsw i32 %162, 8
  %164 = or disjoint i32 %159, %163
  %165 = getelementptr inbounds i8, ptr %.0108114, i64 15
  %166 = load i8, ptr %165, align 1, !tbaa !9
  %167 = zext i8 %166 to i32
  %168 = or disjoint i32 %164, %167
  %169 = load i32, ptr %30, align 16, !tbaa !10
  %170 = load i32, ptr %31, align 4, !tbaa !13
  %171 = xor i32 %170, %169
  %172 = load i32, ptr %32, align 8, !tbaa !14
  %173 = xor i32 %171, %172
  %174 = load i32, ptr %33, align 4, !tbaa !15
  %175 = xor i32 %173, %168
  %176 = xor i32 %175, %174
  %177 = lshr i32 %176, 24
  %178 = trunc nuw i32 %177 to i8
  %179 = getelementptr inbounds i8, ptr %.0107115, i64 12
  store i8 %178, ptr %179, align 1, !tbaa !9
  %180 = lshr i32 %176, 16
  %181 = trunc i32 %180 to i8
  %182 = getelementptr inbounds i8, ptr %.0107115, i64 13
  store i8 %181, ptr %182, align 1, !tbaa !9
  %183 = lshr i32 %176, 8
  %184 = trunc i32 %183 to i8
  %185 = getelementptr inbounds i8, ptr %.0107115, i64 14
  store i8 %184, ptr %185, align 1, !tbaa !9
  %186 = trunc i32 %176 to i8
  %187 = getelementptr inbounds i8, ptr %.0107115, i64 15
  store i8 %186, ptr %187, align 1, !tbaa !9
  %188 = load i32, ptr %34, align 16, !tbaa !10
  %189 = xor i32 %188, %176
  store i32 %189, ptr %34, align 16, !tbaa !10
  %190 = xor i32 %53, 1073741824
  store i32 %190, ptr %10, align 16, !tbaa !10
  %191 = getelementptr inbounds i8, ptr %.0108114, i64 16
  %192 = getelementptr inbounds i8, ptr %.0107115, i64 16
  %193 = add i64 %.0109113, -16
  %194 = icmp ugt i64 %193, 15
  br i1 %194, label %35, label %._crit_edge, !llvm.loop !16

._crit_edge:                                      ; preds = %35
  %.not112 = icmp eq i64 %193, 0
  br i1 %.not112, label %415, label %._crit_edge.thread

._crit_edge.thread:                               ; preds = %.preheader, %._crit_edge
  %.0107.lcssa126 = phi ptr [ %192, %._crit_edge ], [ %0, %.preheader ]
  %.0108.lcssa125 = phi ptr [ %191, %._crit_edge ], [ %3, %.preheader ]
  %.0109.lcssa124 = phi i64 [ %193, %._crit_edge ], [ %14, %.preheader ]
  call void @sliscp_light256_permute_masked(ptr noundef nonnull %10, i32 noundef 18) #5
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %11, ptr align 1 %.0108.lcssa125, i64 %.0109.lcssa124, i1 false)
  %195 = getelementptr inbounds i8, ptr %11, i64 %.0109.lcssa124
  %196 = sub nuw nsw i64 16, %.0109.lcssa124
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(1) %195, i8 0, i64 %196, i1 false)
  %197 = load i8, ptr %11, align 16, !tbaa !9
  %198 = zext i8 %197 to i32
  %199 = shl nuw i32 %198, 24
  %200 = getelementptr inbounds i8, ptr %11, i64 1
  %201 = load i8, ptr %200, align 1, !tbaa !9
  %202 = zext i8 %201 to i32
  %203 = shl nuw nsw i32 %202, 16
  %204 = or disjoint i32 %203, %199
  %205 = getelementptr inbounds i8, ptr %11, i64 2
  %206 = load i8, ptr %205, align 2, !tbaa !9
  %207 = zext i8 %206 to i32
  %208 = shl nuw nsw i32 %207, 8
  %209 = or disjoint i32 %204, %208
  %210 = getelementptr inbounds i8, ptr %11, i64 3
  %211 = load i8, ptr %210, align 1, !tbaa !9
  %212 = zext i8 %211 to i32
  %213 = or disjoint i32 %209, %212
  %214 = load i32, ptr %10, align 16, !tbaa !10
  %215 = getelementptr inbounds i8, ptr %10, i64 4
  %216 = load i32, ptr %215, align 4, !tbaa !13
  %217 = getelementptr inbounds i8, ptr %10, i64 8
  %218 = load i32, ptr %217, align 8, !tbaa !14
  %219 = getelementptr inbounds i8, ptr %10, i64 12
  %220 = load i32, ptr %219, align 4, !tbaa !15
  %221 = xor i32 %216, %218
  %222 = xor i32 %221, %213
  %223 = xor i32 %222, %220
  %224 = xor i32 %223, %214
  %225 = lshr i32 %224, 24
  %226 = trunc nuw i32 %225 to i8
  store i8 %226, ptr %11, align 16, !tbaa !9
  %227 = lshr i32 %224, 16
  %228 = trunc i32 %227 to i8
  store i8 %228, ptr %200, align 1, !tbaa !9
  %229 = lshr i32 %224, 8
  %230 = trunc i32 %229 to i8
  store i8 %230, ptr %205, align 2, !tbaa !9
  %231 = trunc i32 %224 to i8
  store i8 %231, ptr %210, align 1, !tbaa !9
  %232 = getelementptr inbounds i8, ptr %11, i64 4
  %233 = load i8, ptr %232, align 4, !tbaa !9
  %234 = zext i8 %233 to i32
  %235 = shl nuw i32 %234, 24
  %236 = getelementptr inbounds i8, ptr %11, i64 5
  %237 = load i8, ptr %236, align 1, !tbaa !9
  %238 = zext i8 %237 to i32
  %239 = shl nuw nsw i32 %238, 16
  %240 = or disjoint i32 %239, %235
  %241 = getelementptr inbounds i8, ptr %11, i64 6
  %242 = load i8, ptr %241, align 2, !tbaa !9
  %243 = zext i8 %242 to i32
  %244 = shl nuw nsw i32 %243, 8
  %245 = or disjoint i32 %240, %244
  %246 = getelementptr inbounds i8, ptr %11, i64 7
  %247 = load i8, ptr %246, align 1, !tbaa !9
  %248 = zext i8 %247 to i32
  %249 = or disjoint i32 %245, %248
  %250 = getelementptr inbounds i8, ptr %10, i64 16
  %251 = load i32, ptr %250, align 16, !tbaa !10
  %252 = getelementptr inbounds i8, ptr %10, i64 20
  %253 = load i32, ptr %252, align 4, !tbaa !13
  %254 = xor i32 %253, %251
  %255 = getelementptr inbounds i8, ptr %10, i64 24
  %256 = load i32, ptr %255, align 8, !tbaa !14
  %257 = xor i32 %254, %256
  %258 = getelementptr inbounds i8, ptr %10, i64 28
  %259 = load i32, ptr %258, align 4, !tbaa !15
  %260 = xor i32 %257, %249
  %261 = xor i32 %260, %259
  %262 = lshr i32 %261, 24
  %263 = trunc nuw i32 %262 to i8
  store i8 %263, ptr %232, align 4, !tbaa !9
  %264 = lshr i32 %261, 16
  %265 = trunc i32 %264 to i8
  store i8 %265, ptr %236, align 1, !tbaa !9
  %266 = lshr i32 %261, 8
  %267 = trunc i32 %266 to i8
  store i8 %267, ptr %241, align 2, !tbaa !9
  %268 = trunc i32 %261 to i8
  store i8 %268, ptr %246, align 1, !tbaa !9
  %269 = getelementptr inbounds i8, ptr %11, i64 8
  %270 = load i8, ptr %269, align 8, !tbaa !9
  %271 = zext i8 %270 to i32
  %272 = shl nuw i32 %271, 24
  %273 = getelementptr inbounds i8, ptr %11, i64 9
  %274 = load i8, ptr %273, align 1, !tbaa !9
  %275 = zext i8 %274 to i32
  %276 = shl nuw nsw i32 %275, 16
  %277 = or disjoint i32 %276, %272
  %278 = getelementptr inbounds i8, ptr %11, i64 10
  %279 = load i8, ptr %278, align 2, !tbaa !9
  %280 = zext i8 %279 to i32
  %281 = shl nuw nsw i32 %280, 8
  %282 = or disjoint i32 %277, %281
  %283 = getelementptr inbounds i8, ptr %11, i64 11
  %284 = load i8, ptr %283, align 1, !tbaa !9
  %285 = zext i8 %284 to i32
  %286 = or disjoint i32 %282, %285
  %287 = getelementptr inbounds i8, ptr %10, i64 64
  %288 = load i32, ptr %287, align 16, !tbaa !10
  %289 = getelementptr inbounds i8, ptr %10, i64 68
  %290 = load i32, ptr %289, align 4, !tbaa !13
  %291 = xor i32 %290, %288
  %292 = getelementptr inbounds i8, ptr %10, i64 72
  %293 = load i32, ptr %292, align 8, !tbaa !14
  %294 = xor i32 %291, %293
  %295 = getelementptr inbounds i8, ptr %10, i64 76
  %296 = load i32, ptr %295, align 4, !tbaa !15
  %297 = xor i32 %294, %286
  %298 = xor i32 %297, %296
  %299 = lshr i32 %298, 24
  %300 = trunc nuw i32 %299 to i8
  store i8 %300, ptr %269, align 8, !tbaa !9
  %301 = lshr i32 %298, 16
  %302 = trunc i32 %301 to i8
  store i8 %302, ptr %273, align 1, !tbaa !9
  %303 = lshr i32 %298, 8
  %304 = trunc i32 %303 to i8
  store i8 %304, ptr %278, align 2, !tbaa !9
  %305 = trunc i32 %298 to i8
  store i8 %305, ptr %283, align 1, !tbaa !9
  %306 = getelementptr inbounds i8, ptr %11, i64 12
  %307 = load i8, ptr %306, align 4, !tbaa !9
  %308 = zext i8 %307 to i32
  %309 = shl nuw i32 %308, 24
  %310 = getelementptr inbounds i8, ptr %11, i64 13
  %311 = load i8, ptr %310, align 1, !tbaa !9
  %312 = zext i8 %311 to i32
  %313 = shl nuw nsw i32 %312, 16
  %314 = or disjoint i32 %313, %309
  %315 = getelementptr inbounds i8, ptr %11, i64 14
  %316 = load i8, ptr %315, align 2, !tbaa !9
  %317 = zext i8 %316 to i32
  %318 = shl nuw nsw i32 %317, 8
  %319 = or disjoint i32 %314, %318
  %320 = getelementptr inbounds i8, ptr %11, i64 15
  %321 = load i8, ptr %320, align 1, !tbaa !9
  %322 = zext i8 %321 to i32
  %323 = or disjoint i32 %319, %322
  %324 = getelementptr inbounds i8, ptr %10, i64 80
  %325 = load i32, ptr %324, align 16, !tbaa !10
  %326 = getelementptr inbounds i8, ptr %10, i64 84
  %327 = load i32, ptr %326, align 4, !tbaa !13
  %328 = xor i32 %327, %325
  %329 = getelementptr inbounds i8, ptr %10, i64 88
  %330 = load i32, ptr %329, align 8, !tbaa !14
  %331 = xor i32 %328, %330
  %332 = getelementptr inbounds i8, ptr %10, i64 92
  %333 = load i32, ptr %332, align 4, !tbaa !15
  %334 = xor i32 %331, %323
  %335 = xor i32 %334, %333
  %336 = lshr i32 %335, 24
  %337 = trunc nuw i32 %336 to i8
  store i8 %337, ptr %306, align 4, !tbaa !9
  %338 = lshr i32 %335, 16
  %339 = trunc i32 %338 to i8
  store i8 %339, ptr %310, align 1, !tbaa !9
  %340 = lshr i32 %335, 8
  %341 = trunc i32 %340 to i8
  store i8 %341, ptr %315, align 2, !tbaa !9
  %342 = trunc i32 %335 to i8
  store i8 %342, ptr %320, align 1, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %.0107.lcssa126, ptr nonnull align 16 %11, i64 %.0109.lcssa124, i1 false)
  store i8 -128, ptr %195, align 1, !tbaa !9
  %343 = getelementptr inbounds i8, ptr %195, i64 1
  %344 = xor i64 %.0109.lcssa124, 15
  call void @llvm.memset.p0.i64(ptr nonnull align 1 %343, i8 0, i64 %344, i1 false)
  %345 = load i8, ptr %11, align 16, !tbaa !9
  %346 = zext i8 %345 to i32
  %347 = shl nuw i32 %346, 24
  %348 = load i8, ptr %200, align 1, !tbaa !9
  %349 = zext i8 %348 to i32
  %350 = shl nuw nsw i32 %349, 16
  %351 = or disjoint i32 %350, %347
  %352 = load i8, ptr %205, align 2, !tbaa !9
  %353 = zext i8 %352 to i32
  %354 = shl nuw nsw i32 %353, 8
  %355 = or disjoint i32 %351, %354
  %356 = load i8, ptr %210, align 1, !tbaa !9
  %357 = zext i8 %356 to i32
  %358 = or disjoint i32 %355, %357
  %359 = getelementptr inbounds i8, ptr %10, i64 32
  %360 = load i32, ptr %359, align 16, !tbaa !10
  %361 = xor i32 %358, %360
  store i32 %361, ptr %359, align 16, !tbaa !10
  %362 = load i8, ptr %232, align 4, !tbaa !9
  %363 = zext i8 %362 to i32
  %364 = shl nuw i32 %363, 24
  %365 = load i8, ptr %236, align 1, !tbaa !9
  %366 = zext i8 %365 to i32
  %367 = shl nuw nsw i32 %366, 16
  %368 = or disjoint i32 %367, %364
  %369 = load i8, ptr %241, align 2, !tbaa !9
  %370 = zext i8 %369 to i32
  %371 = shl nuw nsw i32 %370, 8
  %372 = or disjoint i32 %368, %371
  %373 = load i8, ptr %246, align 1, !tbaa !9
  %374 = zext i8 %373 to i32
  %375 = or disjoint i32 %372, %374
  %376 = getelementptr inbounds i8, ptr %10, i64 48
  %377 = load i32, ptr %376, align 16, !tbaa !10
  %378 = xor i32 %375, %377
  store i32 %378, ptr %376, align 16, !tbaa !10
  %379 = load i8, ptr %269, align 8, !tbaa !9
  %380 = zext i8 %379 to i32
  %381 = shl nuw i32 %380, 24
  %382 = load i8, ptr %273, align 1, !tbaa !9
  %383 = zext i8 %382 to i32
  %384 = shl nuw nsw i32 %383, 16
  %385 = or disjoint i32 %384, %381
  %386 = load i8, ptr %278, align 2, !tbaa !9
  %387 = zext i8 %386 to i32
  %388 = shl nuw nsw i32 %387, 8
  %389 = or disjoint i32 %385, %388
  %390 = load i8, ptr %283, align 1, !tbaa !9
  %391 = zext i8 %390 to i32
  %392 = or disjoint i32 %389, %391
  %393 = getelementptr inbounds i8, ptr %10, i64 96
  %394 = load i32, ptr %393, align 16, !tbaa !10
  %395 = xor i32 %392, %394
  store i32 %395, ptr %393, align 16, !tbaa !10
  %396 = load i8, ptr %306, align 4, !tbaa !9
  %397 = zext i8 %396 to i32
  %398 = shl nuw i32 %397, 24
  %399 = load i8, ptr %310, align 1, !tbaa !9
  %400 = zext i8 %399 to i32
  %401 = shl nuw nsw i32 %400, 16
  %402 = or disjoint i32 %401, %398
  %403 = load i8, ptr %315, align 2, !tbaa !9
  %404 = zext i8 %403 to i32
  %405 = shl nuw nsw i32 %404, 8
  %406 = or disjoint i32 %402, %405
  %407 = load i8, ptr %320, align 1, !tbaa !9
  %408 = zext i8 %407 to i32
  %409 = or disjoint i32 %406, %408
  %410 = getelementptr inbounds i8, ptr %10, i64 112
  %411 = load i32, ptr %410, align 16, !tbaa !10
  %412 = xor i32 %409, %411
  store i32 %412, ptr %410, align 16, !tbaa !10
  %413 = xor i32 %214, 1342177280
  store i32 %413, ptr %10, align 16, !tbaa !10
  %414 = getelementptr inbounds i8, ptr %.0108.lcssa125, i64 %.0109.lcssa124
  br label %415

415:                                              ; preds = %._crit_edge, %._crit_edge.thread, %13
  %.1 = phi ptr [ %414, %._crit_edge.thread ], [ %191, %._crit_edge ], [ %3, %13 ]
  call void @spoc_128_finalize_masked(ptr noundef nonnull %10, ptr noundef nonnull %11)
  %416 = load i64, ptr %1, align 8, !tbaa !5
  %417 = call i32 @aead_check_tag(ptr noundef %0, i64 noundef %416, ptr noundef nonnull %11, ptr noundef %.1, i32 noundef 16) #5
  br label %418

418:                                              ; preds = %9, %415
  %.0 = phi i32 [ %417, %415 ], [ -1, %9 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #5
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %10) #5
  ret i32 %.0
}

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

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

declare void @sliscp_light256_permute_masked(ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.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) #3

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
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 = !{!11, !12, i64 0}
!11 = !{!"", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12}
!12 = !{!"int", !7, i64 0}
!13 = !{!11, !12, i64 4}
!14 = !{!11, !12, i64 8}
!15 = !{!11, !12, i64 12}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}


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