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

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

%struct.forkskinny_128_384_state_t = type { [4 x i32], [4 x i32], [4 x i32], [4 x i32] }

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

; 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) #1

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

; Function Attrs: nounwind uwtable
define dso_local void @forkskinny_128_384_decrypt(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3) #2 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca %struct.forkskinny_128_384_state_t, align 4
  %10 = alloca %struct.forkskinny_128_384_state_t, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  store ptr %3, ptr %8, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 64, ptr %9) #4
  call void @llvm.lifetime.start.p0(i64 64, ptr %10) #4
  %19 = load ptr, ptr %5, align 8, !tbaa !5
  %20 = getelementptr inbounds i8, ptr %19, i64 3
  %21 = load i8, ptr %20, align 1, !tbaa !9
  %22 = zext i8 %21 to i32
  %23 = shl i32 %22, 24
  %24 = load ptr, ptr %5, align 8, !tbaa !5
  %25 = getelementptr inbounds i8, ptr %24, i64 2
  %26 = load i8, ptr %25, align 1, !tbaa !9
  %27 = zext i8 %26 to i32
  %28 = shl i32 %27, 16
  %29 = or i32 %23, %28
  %30 = load ptr, ptr %5, align 8, !tbaa !5
  %31 = getelementptr inbounds i8, ptr %30, i64 1
  %32 = load i8, ptr %31, align 1, !tbaa !9
  %33 = zext i8 %32 to i32
  %34 = shl i32 %33, 8
  %35 = or i32 %29, %34
  %36 = load ptr, ptr %5, align 8, !tbaa !5
  %37 = getelementptr inbounds i8, ptr %36, i64 0
  %38 = load i8, ptr %37, align 1, !tbaa !9
  %39 = zext i8 %38 to i32
  %40 = or i32 %35, %39
  %41 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 0
  %42 = getelementptr inbounds [4 x i32], ptr %41, i64 0, i64 0
  store i32 %40, ptr %42, align 4, !tbaa !10
  %43 = load ptr, ptr %5, align 8, !tbaa !5
  %44 = getelementptr inbounds i8, ptr %43, i64 4
  %45 = getelementptr inbounds i8, ptr %44, i64 3
  %46 = load i8, ptr %45, align 1, !tbaa !9
  %47 = zext i8 %46 to i32
  %48 = shl i32 %47, 24
  %49 = load ptr, ptr %5, align 8, !tbaa !5
  %50 = getelementptr inbounds i8, ptr %49, i64 4
  %51 = getelementptr inbounds i8, ptr %50, i64 2
  %52 = load i8, ptr %51, align 1, !tbaa !9
  %53 = zext i8 %52 to i32
  %54 = shl i32 %53, 16
  %55 = or i32 %48, %54
  %56 = load ptr, ptr %5, align 8, !tbaa !5
  %57 = getelementptr inbounds i8, ptr %56, i64 4
  %58 = getelementptr inbounds i8, ptr %57, i64 1
  %59 = load i8, ptr %58, align 1, !tbaa !9
  %60 = zext i8 %59 to i32
  %61 = shl i32 %60, 8
  %62 = or i32 %55, %61
  %63 = load ptr, ptr %5, align 8, !tbaa !5
  %64 = getelementptr inbounds i8, ptr %63, i64 4
  %65 = getelementptr inbounds i8, ptr %64, i64 0
  %66 = load i8, ptr %65, align 1, !tbaa !9
  %67 = zext i8 %66 to i32
  %68 = or i32 %62, %67
  %69 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 0
  %70 = getelementptr inbounds [4 x i32], ptr %69, i64 0, i64 1
  store i32 %68, ptr %70, align 4, !tbaa !10
  %71 = load ptr, ptr %5, align 8, !tbaa !5
  %72 = getelementptr inbounds i8, ptr %71, i64 8
  %73 = getelementptr inbounds i8, ptr %72, i64 3
  %74 = load i8, ptr %73, align 1, !tbaa !9
  %75 = zext i8 %74 to i32
  %76 = shl i32 %75, 24
  %77 = load ptr, ptr %5, align 8, !tbaa !5
  %78 = getelementptr inbounds i8, ptr %77, i64 8
  %79 = getelementptr inbounds i8, ptr %78, i64 2
  %80 = load i8, ptr %79, align 1, !tbaa !9
  %81 = zext i8 %80 to i32
  %82 = shl i32 %81, 16
  %83 = or i32 %76, %82
  %84 = load ptr, ptr %5, align 8, !tbaa !5
  %85 = getelementptr inbounds i8, ptr %84, i64 8
  %86 = getelementptr inbounds i8, ptr %85, i64 1
  %87 = load i8, ptr %86, align 1, !tbaa !9
  %88 = zext i8 %87 to i32
  %89 = shl i32 %88, 8
  %90 = or i32 %83, %89
  %91 = load ptr, ptr %5, align 8, !tbaa !5
  %92 = getelementptr inbounds i8, ptr %91, i64 8
  %93 = getelementptr inbounds i8, ptr %92, i64 0
  %94 = load i8, ptr %93, align 1, !tbaa !9
  %95 = zext i8 %94 to i32
  %96 = or i32 %90, %95
  %97 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 0
  %98 = getelementptr inbounds [4 x i32], ptr %97, i64 0, i64 2
  store i32 %96, ptr %98, align 4, !tbaa !10
  %99 = load ptr, ptr %5, align 8, !tbaa !5
  %100 = getelementptr inbounds i8, ptr %99, i64 12
  %101 = getelementptr inbounds i8, ptr %100, i64 3
  %102 = load i8, ptr %101, align 1, !tbaa !9
  %103 = zext i8 %102 to i32
  %104 = shl i32 %103, 24
  %105 = load ptr, ptr %5, align 8, !tbaa !5
  %106 = getelementptr inbounds i8, ptr %105, i64 12
  %107 = getelementptr inbounds i8, ptr %106, i64 2
  %108 = load i8, ptr %107, align 1, !tbaa !9
  %109 = zext i8 %108 to i32
  %110 = shl i32 %109, 16
  %111 = or i32 %104, %110
  %112 = load ptr, ptr %5, align 8, !tbaa !5
  %113 = getelementptr inbounds i8, ptr %112, i64 12
  %114 = getelementptr inbounds i8, ptr %113, i64 1
  %115 = load i8, ptr %114, align 1, !tbaa !9
  %116 = zext i8 %115 to i32
  %117 = shl i32 %116, 8
  %118 = or i32 %111, %117
  %119 = load ptr, ptr %5, align 8, !tbaa !5
  %120 = getelementptr inbounds i8, ptr %119, i64 12
  %121 = getelementptr inbounds i8, ptr %120, i64 0
  %122 = load i8, ptr %121, align 1, !tbaa !9
  %123 = zext i8 %122 to i32
  %124 = or i32 %118, %123
  %125 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 0
  %126 = getelementptr inbounds [4 x i32], ptr %125, i64 0, i64 3
  store i32 %124, ptr %126, align 4, !tbaa !10
  %127 = load ptr, ptr %5, align 8, !tbaa !5
  %128 = getelementptr inbounds i8, ptr %127, i64 16
  %129 = getelementptr inbounds i8, ptr %128, i64 3
  %130 = load i8, ptr %129, align 1, !tbaa !9
  %131 = zext i8 %130 to i32
  %132 = shl i32 %131, 24
  %133 = load ptr, ptr %5, align 8, !tbaa !5
  %134 = getelementptr inbounds i8, ptr %133, i64 16
  %135 = getelementptr inbounds i8, ptr %134, i64 2
  %136 = load i8, ptr %135, align 1, !tbaa !9
  %137 = zext i8 %136 to i32
  %138 = shl i32 %137, 16
  %139 = or i32 %132, %138
  %140 = load ptr, ptr %5, align 8, !tbaa !5
  %141 = getelementptr inbounds i8, ptr %140, i64 16
  %142 = getelementptr inbounds i8, ptr %141, i64 1
  %143 = load i8, ptr %142, align 1, !tbaa !9
  %144 = zext i8 %143 to i32
  %145 = shl i32 %144, 8
  %146 = or i32 %139, %145
  %147 = load ptr, ptr %5, align 8, !tbaa !5
  %148 = getelementptr inbounds i8, ptr %147, i64 16
  %149 = getelementptr inbounds i8, ptr %148, i64 0
  %150 = load i8, ptr %149, align 1, !tbaa !9
  %151 = zext i8 %150 to i32
  %152 = or i32 %146, %151
  %153 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 1
  %154 = getelementptr inbounds [4 x i32], ptr %153, i64 0, i64 0
  store i32 %152, ptr %154, align 4, !tbaa !10
  %155 = load ptr, ptr %5, align 8, !tbaa !5
  %156 = getelementptr inbounds i8, ptr %155, i64 20
  %157 = getelementptr inbounds i8, ptr %156, i64 3
  %158 = load i8, ptr %157, align 1, !tbaa !9
  %159 = zext i8 %158 to i32
  %160 = shl i32 %159, 24
  %161 = load ptr, ptr %5, align 8, !tbaa !5
  %162 = getelementptr inbounds i8, ptr %161, i64 20
  %163 = getelementptr inbounds i8, ptr %162, i64 2
  %164 = load i8, ptr %163, align 1, !tbaa !9
  %165 = zext i8 %164 to i32
  %166 = shl i32 %165, 16
  %167 = or i32 %160, %166
  %168 = load ptr, ptr %5, align 8, !tbaa !5
  %169 = getelementptr inbounds i8, ptr %168, i64 20
  %170 = getelementptr inbounds i8, ptr %169, i64 1
  %171 = load i8, ptr %170, align 1, !tbaa !9
  %172 = zext i8 %171 to i32
  %173 = shl i32 %172, 8
  %174 = or i32 %167, %173
  %175 = load ptr, ptr %5, align 8, !tbaa !5
  %176 = getelementptr inbounds i8, ptr %175, i64 20
  %177 = getelementptr inbounds i8, ptr %176, i64 0
  %178 = load i8, ptr %177, align 1, !tbaa !9
  %179 = zext i8 %178 to i32
  %180 = or i32 %174, %179
  %181 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 1
  %182 = getelementptr inbounds [4 x i32], ptr %181, i64 0, i64 1
  store i32 %180, ptr %182, align 4, !tbaa !10
  %183 = load ptr, ptr %5, align 8, !tbaa !5
  %184 = getelementptr inbounds i8, ptr %183, i64 24
  %185 = getelementptr inbounds i8, ptr %184, i64 3
  %186 = load i8, ptr %185, align 1, !tbaa !9
  %187 = zext i8 %186 to i32
  %188 = shl i32 %187, 24
  %189 = load ptr, ptr %5, align 8, !tbaa !5
  %190 = getelementptr inbounds i8, ptr %189, i64 24
  %191 = getelementptr inbounds i8, ptr %190, i64 2
  %192 = load i8, ptr %191, align 1, !tbaa !9
  %193 = zext i8 %192 to i32
  %194 = shl i32 %193, 16
  %195 = or i32 %188, %194
  %196 = load ptr, ptr %5, align 8, !tbaa !5
  %197 = getelementptr inbounds i8, ptr %196, i64 24
  %198 = getelementptr inbounds i8, ptr %197, i64 1
  %199 = load i8, ptr %198, align 1, !tbaa !9
  %200 = zext i8 %199 to i32
  %201 = shl i32 %200, 8
  %202 = or i32 %195, %201
  %203 = load ptr, ptr %5, align 8, !tbaa !5
  %204 = getelementptr inbounds i8, ptr %203, i64 24
  %205 = getelementptr inbounds i8, ptr %204, i64 0
  %206 = load i8, ptr %205, align 1, !tbaa !9
  %207 = zext i8 %206 to i32
  %208 = or i32 %202, %207
  %209 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 1
  %210 = getelementptr inbounds [4 x i32], ptr %209, i64 0, i64 2
  store i32 %208, ptr %210, align 4, !tbaa !10
  %211 = load ptr, ptr %5, align 8, !tbaa !5
  %212 = getelementptr inbounds i8, ptr %211, i64 28
  %213 = getelementptr inbounds i8, ptr %212, i64 3
  %214 = load i8, ptr %213, align 1, !tbaa !9
  %215 = zext i8 %214 to i32
  %216 = shl i32 %215, 24
  %217 = load ptr, ptr %5, align 8, !tbaa !5
  %218 = getelementptr inbounds i8, ptr %217, i64 28
  %219 = getelementptr inbounds i8, ptr %218, i64 2
  %220 = load i8, ptr %219, align 1, !tbaa !9
  %221 = zext i8 %220 to i32
  %222 = shl i32 %221, 16
  %223 = or i32 %216, %222
  %224 = load ptr, ptr %5, align 8, !tbaa !5
  %225 = getelementptr inbounds i8, ptr %224, i64 28
  %226 = getelementptr inbounds i8, ptr %225, i64 1
  %227 = load i8, ptr %226, align 1, !tbaa !9
  %228 = zext i8 %227 to i32
  %229 = shl i32 %228, 8
  %230 = or i32 %223, %229
  %231 = load ptr, ptr %5, align 8, !tbaa !5
  %232 = getelementptr inbounds i8, ptr %231, i64 28
  %233 = getelementptr inbounds i8, ptr %232, i64 0
  %234 = load i8, ptr %233, align 1, !tbaa !9
  %235 = zext i8 %234 to i32
  %236 = or i32 %230, %235
  %237 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 1
  %238 = getelementptr inbounds [4 x i32], ptr %237, i64 0, i64 3
  store i32 %236, ptr %238, align 4, !tbaa !10
  %239 = load ptr, ptr %5, align 8, !tbaa !5
  %240 = getelementptr inbounds i8, ptr %239, i64 32
  %241 = getelementptr inbounds i8, ptr %240, i64 3
  %242 = load i8, ptr %241, align 1, !tbaa !9
  %243 = zext i8 %242 to i32
  %244 = shl i32 %243, 24
  %245 = load ptr, ptr %5, align 8, !tbaa !5
  %246 = getelementptr inbounds i8, ptr %245, i64 32
  %247 = getelementptr inbounds i8, ptr %246, i64 2
  %248 = load i8, ptr %247, align 1, !tbaa !9
  %249 = zext i8 %248 to i32
  %250 = shl i32 %249, 16
  %251 = or i32 %244, %250
  %252 = load ptr, ptr %5, align 8, !tbaa !5
  %253 = getelementptr inbounds i8, ptr %252, i64 32
  %254 = getelementptr inbounds i8, ptr %253, i64 1
  %255 = load i8, ptr %254, align 1, !tbaa !9
  %256 = zext i8 %255 to i32
  %257 = shl i32 %256, 8
  %258 = or i32 %251, %257
  %259 = load ptr, ptr %5, align 8, !tbaa !5
  %260 = getelementptr inbounds i8, ptr %259, i64 32
  %261 = getelementptr inbounds i8, ptr %260, i64 0
  %262 = load i8, ptr %261, align 1, !tbaa !9
  %263 = zext i8 %262 to i32
  %264 = or i32 %258, %263
  %265 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 2
  %266 = getelementptr inbounds [4 x i32], ptr %265, i64 0, i64 0
  store i32 %264, ptr %266, align 4, !tbaa !10
  %267 = load ptr, ptr %5, align 8, !tbaa !5
  %268 = getelementptr inbounds i8, ptr %267, i64 36
  %269 = getelementptr inbounds i8, ptr %268, i64 3
  %270 = load i8, ptr %269, align 1, !tbaa !9
  %271 = zext i8 %270 to i32
  %272 = shl i32 %271, 24
  %273 = load ptr, ptr %5, align 8, !tbaa !5
  %274 = getelementptr inbounds i8, ptr %273, i64 36
  %275 = getelementptr inbounds i8, ptr %274, i64 2
  %276 = load i8, ptr %275, align 1, !tbaa !9
  %277 = zext i8 %276 to i32
  %278 = shl i32 %277, 16
  %279 = or i32 %272, %278
  %280 = load ptr, ptr %5, align 8, !tbaa !5
  %281 = getelementptr inbounds i8, ptr %280, i64 36
  %282 = getelementptr inbounds i8, ptr %281, i64 1
  %283 = load i8, ptr %282, align 1, !tbaa !9
  %284 = zext i8 %283 to i32
  %285 = shl i32 %284, 8
  %286 = or i32 %279, %285
  %287 = load ptr, ptr %5, align 8, !tbaa !5
  %288 = getelementptr inbounds i8, ptr %287, i64 36
  %289 = getelementptr inbounds i8, ptr %288, i64 0
  %290 = load i8, ptr %289, align 1, !tbaa !9
  %291 = zext i8 %290 to i32
  %292 = or i32 %286, %291
  %293 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 2
  %294 = getelementptr inbounds [4 x i32], ptr %293, i64 0, i64 1
  store i32 %292, ptr %294, align 4, !tbaa !10
  %295 = load ptr, ptr %5, align 8, !tbaa !5
  %296 = getelementptr inbounds i8, ptr %295, i64 40
  %297 = getelementptr inbounds i8, ptr %296, i64 3
  %298 = load i8, ptr %297, align 1, !tbaa !9
  %299 = zext i8 %298 to i32
  %300 = shl i32 %299, 24
  %301 = load ptr, ptr %5, align 8, !tbaa !5
  %302 = getelementptr inbounds i8, ptr %301, i64 40
  %303 = getelementptr inbounds i8, ptr %302, i64 2
  %304 = load i8, ptr %303, align 1, !tbaa !9
  %305 = zext i8 %304 to i32
  %306 = shl i32 %305, 16
  %307 = or i32 %300, %306
  %308 = load ptr, ptr %5, align 8, !tbaa !5
  %309 = getelementptr inbounds i8, ptr %308, i64 40
  %310 = getelementptr inbounds i8, ptr %309, i64 1
  %311 = load i8, ptr %310, align 1, !tbaa !9
  %312 = zext i8 %311 to i32
  %313 = shl i32 %312, 8
  %314 = or i32 %307, %313
  %315 = load ptr, ptr %5, align 8, !tbaa !5
  %316 = getelementptr inbounds i8, ptr %315, i64 40
  %317 = getelementptr inbounds i8, ptr %316, i64 0
  %318 = load i8, ptr %317, align 1, !tbaa !9
  %319 = zext i8 %318 to i32
  %320 = or i32 %314, %319
  %321 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 2
  %322 = getelementptr inbounds [4 x i32], ptr %321, i64 0, i64 2
  store i32 %320, ptr %322, align 4, !tbaa !10
  %323 = load ptr, ptr %5, align 8, !tbaa !5
  %324 = getelementptr inbounds i8, ptr %323, i64 44
  %325 = getelementptr inbounds i8, ptr %324, i64 3
  %326 = load i8, ptr %325, align 1, !tbaa !9
  %327 = zext i8 %326 to i32
  %328 = shl i32 %327, 24
  %329 = load ptr, ptr %5, align 8, !tbaa !5
  %330 = getelementptr inbounds i8, ptr %329, i64 44
  %331 = getelementptr inbounds i8, ptr %330, i64 2
  %332 = load i8, ptr %331, align 1, !tbaa !9
  %333 = zext i8 %332 to i32
  %334 = shl i32 %333, 16
  %335 = or i32 %328, %334
  %336 = load ptr, ptr %5, align 8, !tbaa !5
  %337 = getelementptr inbounds i8, ptr %336, i64 44
  %338 = getelementptr inbounds i8, ptr %337, i64 1
  %339 = load i8, ptr %338, align 1, !tbaa !9
  %340 = zext i8 %339 to i32
  %341 = shl i32 %340, 8
  %342 = or i32 %335, %341
  %343 = load ptr, ptr %5, align 8, !tbaa !5
  %344 = getelementptr inbounds i8, ptr %343, i64 44
  %345 = getelementptr inbounds i8, ptr %344, i64 0
  %346 = load i8, ptr %345, align 1, !tbaa !9
  %347 = zext i8 %346 to i32
  %348 = or i32 %342, %347
  %349 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 2
  %350 = getelementptr inbounds [4 x i32], ptr %349, i64 0, i64 3
  store i32 %348, ptr %350, align 4, !tbaa !10
  %351 = load ptr, ptr %8, align 8, !tbaa !5
  %352 = getelementptr inbounds i8, ptr %351, i64 3
  %353 = load i8, ptr %352, align 1, !tbaa !9
  %354 = zext i8 %353 to i32
  %355 = shl i32 %354, 24
  %356 = load ptr, ptr %8, align 8, !tbaa !5
  %357 = getelementptr inbounds i8, ptr %356, i64 2
  %358 = load i8, ptr %357, align 1, !tbaa !9
  %359 = zext i8 %358 to i32
  %360 = shl i32 %359, 16
  %361 = or i32 %355, %360
  %362 = load ptr, ptr %8, align 8, !tbaa !5
  %363 = getelementptr inbounds i8, ptr %362, i64 1
  %364 = load i8, ptr %363, align 1, !tbaa !9
  %365 = zext i8 %364 to i32
  %366 = shl i32 %365, 8
  %367 = or i32 %361, %366
  %368 = load ptr, ptr %8, align 8, !tbaa !5
  %369 = getelementptr inbounds i8, ptr %368, i64 0
  %370 = load i8, ptr %369, align 1, !tbaa !9
  %371 = zext i8 %370 to i32
  %372 = or i32 %367, %371
  %373 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %374 = getelementptr inbounds [4 x i32], ptr %373, i64 0, i64 0
  store i32 %372, ptr %374, align 4, !tbaa !10
  %375 = load ptr, ptr %8, align 8, !tbaa !5
  %376 = getelementptr inbounds i8, ptr %375, i64 4
  %377 = getelementptr inbounds i8, ptr %376, i64 3
  %378 = load i8, ptr %377, align 1, !tbaa !9
  %379 = zext i8 %378 to i32
  %380 = shl i32 %379, 24
  %381 = load ptr, ptr %8, align 8, !tbaa !5
  %382 = getelementptr inbounds i8, ptr %381, i64 4
  %383 = getelementptr inbounds i8, ptr %382, i64 2
  %384 = load i8, ptr %383, align 1, !tbaa !9
  %385 = zext i8 %384 to i32
  %386 = shl i32 %385, 16
  %387 = or i32 %380, %386
  %388 = load ptr, ptr %8, align 8, !tbaa !5
  %389 = getelementptr inbounds i8, ptr %388, i64 4
  %390 = getelementptr inbounds i8, ptr %389, i64 1
  %391 = load i8, ptr %390, align 1, !tbaa !9
  %392 = zext i8 %391 to i32
  %393 = shl i32 %392, 8
  %394 = or i32 %387, %393
  %395 = load ptr, ptr %8, align 8, !tbaa !5
  %396 = getelementptr inbounds i8, ptr %395, i64 4
  %397 = getelementptr inbounds i8, ptr %396, i64 0
  %398 = load i8, ptr %397, align 1, !tbaa !9
  %399 = zext i8 %398 to i32
  %400 = or i32 %394, %399
  %401 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %402 = getelementptr inbounds [4 x i32], ptr %401, i64 0, i64 1
  store i32 %400, ptr %402, align 4, !tbaa !10
  %403 = load ptr, ptr %8, align 8, !tbaa !5
  %404 = getelementptr inbounds i8, ptr %403, i64 8
  %405 = getelementptr inbounds i8, ptr %404, i64 3
  %406 = load i8, ptr %405, align 1, !tbaa !9
  %407 = zext i8 %406 to i32
  %408 = shl i32 %407, 24
  %409 = load ptr, ptr %8, align 8, !tbaa !5
  %410 = getelementptr inbounds i8, ptr %409, i64 8
  %411 = getelementptr inbounds i8, ptr %410, i64 2
  %412 = load i8, ptr %411, align 1, !tbaa !9
  %413 = zext i8 %412 to i32
  %414 = shl i32 %413, 16
  %415 = or i32 %408, %414
  %416 = load ptr, ptr %8, align 8, !tbaa !5
  %417 = getelementptr inbounds i8, ptr %416, i64 8
  %418 = getelementptr inbounds i8, ptr %417, i64 1
  %419 = load i8, ptr %418, align 1, !tbaa !9
  %420 = zext i8 %419 to i32
  %421 = shl i32 %420, 8
  %422 = or i32 %415, %421
  %423 = load ptr, ptr %8, align 8, !tbaa !5
  %424 = getelementptr inbounds i8, ptr %423, i64 8
  %425 = getelementptr inbounds i8, ptr %424, i64 0
  %426 = load i8, ptr %425, align 1, !tbaa !9
  %427 = zext i8 %426 to i32
  %428 = or i32 %422, %427
  %429 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %430 = getelementptr inbounds [4 x i32], ptr %429, i64 0, i64 2
  store i32 %428, ptr %430, align 4, !tbaa !10
  %431 = load ptr, ptr %8, align 8, !tbaa !5
  %432 = getelementptr inbounds i8, ptr %431, i64 12
  %433 = getelementptr inbounds i8, ptr %432, i64 3
  %434 = load i8, ptr %433, align 1, !tbaa !9
  %435 = zext i8 %434 to i32
  %436 = shl i32 %435, 24
  %437 = load ptr, ptr %8, align 8, !tbaa !5
  %438 = getelementptr inbounds i8, ptr %437, i64 12
  %439 = getelementptr inbounds i8, ptr %438, i64 2
  %440 = load i8, ptr %439, align 1, !tbaa !9
  %441 = zext i8 %440 to i32
  %442 = shl i32 %441, 16
  %443 = or i32 %436, %442
  %444 = load ptr, ptr %8, align 8, !tbaa !5
  %445 = getelementptr inbounds i8, ptr %444, i64 12
  %446 = getelementptr inbounds i8, ptr %445, i64 1
  %447 = load i8, ptr %446, align 1, !tbaa !9
  %448 = zext i8 %447 to i32
  %449 = shl i32 %448, 8
  %450 = or i32 %443, %449
  %451 = load ptr, ptr %8, align 8, !tbaa !5
  %452 = getelementptr inbounds i8, ptr %451, i64 12
  %453 = getelementptr inbounds i8, ptr %452, i64 0
  %454 = load i8, ptr %453, align 1, !tbaa !9
  %455 = zext i8 %454 to i32
  %456 = or i32 %450, %455
  %457 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %458 = getelementptr inbounds [4 x i32], ptr %457, i64 0, i64 3
  store i32 %456, ptr %458, align 4, !tbaa !10
  call void @forkskinny_128_384_forward_tk(ptr noundef %9, i32 noundef 87)
  call void @forkskinny_128_384_inv_rounds(ptr noundef %9, i32 noundef 87, i32 noundef 56)
  %459 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %460 = getelementptr inbounds [4 x i32], ptr %459, i64 0, i64 0
  %461 = load i32, ptr %460, align 4, !tbaa !10
  %462 = xor i32 %461, 134480385
  store i32 %462, ptr %460, align 4, !tbaa !10
  %463 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %464 = getelementptr inbounds [4 x i32], ptr %463, i64 0, i64 1
  %465 = load i32, ptr %464, align 4, !tbaa !10
  %466 = xor i32 %465, -2109661168
  store i32 %466, ptr %464, align 4, !tbaa !10
  %467 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %468 = getelementptr inbounds [4 x i32], ptr %467, i64 0, i64 2
  %469 = load i32, ptr %468, align 4, !tbaa !10
  %470 = xor i32 %469, 672401925
  store i32 %470, ptr %468, align 4, !tbaa !10
  %471 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %472 = getelementptr inbounds [4 x i32], ptr %471, i64 0, i64 3
  %473 = load i32, ptr %472, align 4, !tbaa !10
  %474 = xor i32 %473, -2008767919
  store i32 %474, ptr %472, align 4, !tbaa !10
  call void @forkskinny_128_384_reverse_tk(ptr noundef %9, i32 noundef 31)
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %10, ptr align 4 %9, i64 64, i1 false), !tbaa.struct !12
  call void @forkskinny_128_384_inv_rounds(ptr noundef %9, i32 noundef 25, i32 noundef 0)
  br label %475

475:                                              ; preds = %4
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #4
  %476 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %477 = getelementptr inbounds [4 x i32], ptr %476, i64 0, i64 0
  %478 = load i32, ptr %477, align 4, !tbaa !10
  store i32 %478, ptr %11, align 4, !tbaa !10
  %479 = load i32, ptr %11, align 4, !tbaa !10
  %480 = trunc i32 %479 to i8
  %481 = load ptr, ptr %6, align 8, !tbaa !5
  %482 = getelementptr inbounds i8, ptr %481, i64 0
  store i8 %480, ptr %482, align 1, !tbaa !9
  %483 = load i32, ptr %11, align 4, !tbaa !10
  %484 = lshr i32 %483, 8
  %485 = trunc i32 %484 to i8
  %486 = load ptr, ptr %6, align 8, !tbaa !5
  %487 = getelementptr inbounds i8, ptr %486, i64 1
  store i8 %485, ptr %487, align 1, !tbaa !9
  %488 = load i32, ptr %11, align 4, !tbaa !10
  %489 = lshr i32 %488, 16
  %490 = trunc i32 %489 to i8
  %491 = load ptr, ptr %6, align 8, !tbaa !5
  %492 = getelementptr inbounds i8, ptr %491, i64 2
  store i8 %490, ptr %492, align 1, !tbaa !9
  %493 = load i32, ptr %11, align 4, !tbaa !10
  %494 = lshr i32 %493, 24
  %495 = trunc i32 %494 to i8
  %496 = load ptr, ptr %6, align 8, !tbaa !5
  %497 = getelementptr inbounds i8, ptr %496, i64 3
  store i8 %495, ptr %497, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #4
  br label %498

498:                                              ; preds = %475
  br label %499

499:                                              ; preds = %498
  br label %500

500:                                              ; preds = %499
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  %501 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %502 = getelementptr inbounds [4 x i32], ptr %501, i64 0, i64 1
  %503 = load i32, ptr %502, align 4, !tbaa !10
  store i32 %503, ptr %12, align 4, !tbaa !10
  %504 = load i32, ptr %12, align 4, !tbaa !10
  %505 = trunc i32 %504 to i8
  %506 = load ptr, ptr %6, align 8, !tbaa !5
  %507 = getelementptr inbounds i8, ptr %506, i64 4
  %508 = getelementptr inbounds i8, ptr %507, i64 0
  store i8 %505, ptr %508, align 1, !tbaa !9
  %509 = load i32, ptr %12, align 4, !tbaa !10
  %510 = lshr i32 %509, 8
  %511 = trunc i32 %510 to i8
  %512 = load ptr, ptr %6, align 8, !tbaa !5
  %513 = getelementptr inbounds i8, ptr %512, i64 4
  %514 = getelementptr inbounds i8, ptr %513, i64 1
  store i8 %511, ptr %514, align 1, !tbaa !9
  %515 = load i32, ptr %12, align 4, !tbaa !10
  %516 = lshr i32 %515, 16
  %517 = trunc i32 %516 to i8
  %518 = load ptr, ptr %6, align 8, !tbaa !5
  %519 = getelementptr inbounds i8, ptr %518, i64 4
  %520 = getelementptr inbounds i8, ptr %519, i64 2
  store i8 %517, ptr %520, align 1, !tbaa !9
  %521 = load i32, ptr %12, align 4, !tbaa !10
  %522 = lshr i32 %521, 24
  %523 = trunc i32 %522 to i8
  %524 = load ptr, ptr %6, align 8, !tbaa !5
  %525 = getelementptr inbounds i8, ptr %524, i64 4
  %526 = getelementptr inbounds i8, ptr %525, i64 3
  store i8 %523, ptr %526, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  br label %527

527:                                              ; preds = %500
  br label %528

528:                                              ; preds = %527
  br label %529

529:                                              ; preds = %528
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #4
  %530 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %531 = getelementptr inbounds [4 x i32], ptr %530, i64 0, i64 2
  %532 = load i32, ptr %531, align 4, !tbaa !10
  store i32 %532, ptr %13, align 4, !tbaa !10
  %533 = load i32, ptr %13, align 4, !tbaa !10
  %534 = trunc i32 %533 to i8
  %535 = load ptr, ptr %6, align 8, !tbaa !5
  %536 = getelementptr inbounds i8, ptr %535, i64 8
  %537 = getelementptr inbounds i8, ptr %536, i64 0
  store i8 %534, ptr %537, align 1, !tbaa !9
  %538 = load i32, ptr %13, align 4, !tbaa !10
  %539 = lshr i32 %538, 8
  %540 = trunc i32 %539 to i8
  %541 = load ptr, ptr %6, align 8, !tbaa !5
  %542 = getelementptr inbounds i8, ptr %541, i64 8
  %543 = getelementptr inbounds i8, ptr %542, i64 1
  store i8 %540, ptr %543, align 1, !tbaa !9
  %544 = load i32, ptr %13, align 4, !tbaa !10
  %545 = lshr i32 %544, 16
  %546 = trunc i32 %545 to i8
  %547 = load ptr, ptr %6, align 8, !tbaa !5
  %548 = getelementptr inbounds i8, ptr %547, i64 8
  %549 = getelementptr inbounds i8, ptr %548, i64 2
  store i8 %546, ptr %549, align 1, !tbaa !9
  %550 = load i32, ptr %13, align 4, !tbaa !10
  %551 = lshr i32 %550, 24
  %552 = trunc i32 %551 to i8
  %553 = load ptr, ptr %6, align 8, !tbaa !5
  %554 = getelementptr inbounds i8, ptr %553, i64 8
  %555 = getelementptr inbounds i8, ptr %554, i64 3
  store i8 %552, ptr %555, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #4
  br label %556

556:                                              ; preds = %529
  br label %557

557:                                              ; preds = %556
  br label %558

558:                                              ; preds = %557
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #4
  %559 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %9, i32 0, i32 3
  %560 = getelementptr inbounds [4 x i32], ptr %559, i64 0, i64 3
  %561 = load i32, ptr %560, align 4, !tbaa !10
  store i32 %561, ptr %14, align 4, !tbaa !10
  %562 = load i32, ptr %14, align 4, !tbaa !10
  %563 = trunc i32 %562 to i8
  %564 = load ptr, ptr %6, align 8, !tbaa !5
  %565 = getelementptr inbounds i8, ptr %564, i64 12
  %566 = getelementptr inbounds i8, ptr %565, i64 0
  store i8 %563, ptr %566, align 1, !tbaa !9
  %567 = load i32, ptr %14, align 4, !tbaa !10
  %568 = lshr i32 %567, 8
  %569 = trunc i32 %568 to i8
  %570 = load ptr, ptr %6, align 8, !tbaa !5
  %571 = getelementptr inbounds i8, ptr %570, i64 12
  %572 = getelementptr inbounds i8, ptr %571, i64 1
  store i8 %569, ptr %572, align 1, !tbaa !9
  %573 = load i32, ptr %14, align 4, !tbaa !10
  %574 = lshr i32 %573, 16
  %575 = trunc i32 %574 to i8
  %576 = load ptr, ptr %6, align 8, !tbaa !5
  %577 = getelementptr inbounds i8, ptr %576, i64 12
  %578 = getelementptr inbounds i8, ptr %577, i64 2
  store i8 %575, ptr %578, align 1, !tbaa !9
  %579 = load i32, ptr %14, align 4, !tbaa !10
  %580 = lshr i32 %579, 24
  %581 = trunc i32 %580 to i8
  %582 = load ptr, ptr %6, align 8, !tbaa !5
  %583 = getelementptr inbounds i8, ptr %582, i64 12
  %584 = getelementptr inbounds i8, ptr %583, i64 3
  store i8 %581, ptr %584, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #4
  br label %585

585:                                              ; preds = %558
  br label %586

586:                                              ; preds = %585
  call void @forkskinny_128_384_rounds(ptr noundef %10, i32 noundef 25, i32 noundef 56)
  br label %587

587:                                              ; preds = %586
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #4
  %588 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %10, i32 0, i32 3
  %589 = getelementptr inbounds [4 x i32], ptr %588, i64 0, i64 0
  %590 = load i32, ptr %589, align 4, !tbaa !10
  store i32 %590, ptr %15, align 4, !tbaa !10
  %591 = load i32, ptr %15, align 4, !tbaa !10
  %592 = trunc i32 %591 to i8
  %593 = load ptr, ptr %7, align 8, !tbaa !5
  %594 = getelementptr inbounds i8, ptr %593, i64 0
  store i8 %592, ptr %594, align 1, !tbaa !9
  %595 = load i32, ptr %15, align 4, !tbaa !10
  %596 = lshr i32 %595, 8
  %597 = trunc i32 %596 to i8
  %598 = load ptr, ptr %7, align 8, !tbaa !5
  %599 = getelementptr inbounds i8, ptr %598, i64 1
  store i8 %597, ptr %599, align 1, !tbaa !9
  %600 = load i32, ptr %15, align 4, !tbaa !10
  %601 = lshr i32 %600, 16
  %602 = trunc i32 %601 to i8
  %603 = load ptr, ptr %7, align 8, !tbaa !5
  %604 = getelementptr inbounds i8, ptr %603, i64 2
  store i8 %602, ptr %604, align 1, !tbaa !9
  %605 = load i32, ptr %15, align 4, !tbaa !10
  %606 = lshr i32 %605, 24
  %607 = trunc i32 %606 to i8
  %608 = load ptr, ptr %7, align 8, !tbaa !5
  %609 = getelementptr inbounds i8, ptr %608, i64 3
  store i8 %607, ptr %609, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #4
  br label %610

610:                                              ; preds = %587
  br label %611

611:                                              ; preds = %610
  br label %612

612:                                              ; preds = %611
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #4
  %613 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %10, i32 0, i32 3
  %614 = getelementptr inbounds [4 x i32], ptr %613, i64 0, i64 1
  %615 = load i32, ptr %614, align 4, !tbaa !10
  store i32 %615, ptr %16, align 4, !tbaa !10
  %616 = load i32, ptr %16, align 4, !tbaa !10
  %617 = trunc i32 %616 to i8
  %618 = load ptr, ptr %7, align 8, !tbaa !5
  %619 = getelementptr inbounds i8, ptr %618, i64 4
  %620 = getelementptr inbounds i8, ptr %619, i64 0
  store i8 %617, ptr %620, align 1, !tbaa !9
  %621 = load i32, ptr %16, align 4, !tbaa !10
  %622 = lshr i32 %621, 8
  %623 = trunc i32 %622 to i8
  %624 = load ptr, ptr %7, align 8, !tbaa !5
  %625 = getelementptr inbounds i8, ptr %624, i64 4
  %626 = getelementptr inbounds i8, ptr %625, i64 1
  store i8 %623, ptr %626, align 1, !tbaa !9
  %627 = load i32, ptr %16, align 4, !tbaa !10
  %628 = lshr i32 %627, 16
  %629 = trunc i32 %628 to i8
  %630 = load ptr, ptr %7, align 8, !tbaa !5
  %631 = getelementptr inbounds i8, ptr %630, i64 4
  %632 = getelementptr inbounds i8, ptr %631, i64 2
  store i8 %629, ptr %632, align 1, !tbaa !9
  %633 = load i32, ptr %16, align 4, !tbaa !10
  %634 = lshr i32 %633, 24
  %635 = trunc i32 %634 to i8
  %636 = load ptr, ptr %7, align 8, !tbaa !5
  %637 = getelementptr inbounds i8, ptr %636, i64 4
  %638 = getelementptr inbounds i8, ptr %637, i64 3
  store i8 %635, ptr %638, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #4
  br label %639

639:                                              ; preds = %612
  br label %640

640:                                              ; preds = %639
  br label %641

641:                                              ; preds = %640
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  %642 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %10, i32 0, i32 3
  %643 = getelementptr inbounds [4 x i32], ptr %642, i64 0, i64 2
  %644 = load i32, ptr %643, align 4, !tbaa !10
  store i32 %644, ptr %17, align 4, !tbaa !10
  %645 = load i32, ptr %17, align 4, !tbaa !10
  %646 = trunc i32 %645 to i8
  %647 = load ptr, ptr %7, align 8, !tbaa !5
  %648 = getelementptr inbounds i8, ptr %647, i64 8
  %649 = getelementptr inbounds i8, ptr %648, i64 0
  store i8 %646, ptr %649, align 1, !tbaa !9
  %650 = load i32, ptr %17, align 4, !tbaa !10
  %651 = lshr i32 %650, 8
  %652 = trunc i32 %651 to i8
  %653 = load ptr, ptr %7, align 8, !tbaa !5
  %654 = getelementptr inbounds i8, ptr %653, i64 8
  %655 = getelementptr inbounds i8, ptr %654, i64 1
  store i8 %652, ptr %655, align 1, !tbaa !9
  %656 = load i32, ptr %17, align 4, !tbaa !10
  %657 = lshr i32 %656, 16
  %658 = trunc i32 %657 to i8
  %659 = load ptr, ptr %7, align 8, !tbaa !5
  %660 = getelementptr inbounds i8, ptr %659, i64 8
  %661 = getelementptr inbounds i8, ptr %660, i64 2
  store i8 %658, ptr %661, align 1, !tbaa !9
  %662 = load i32, ptr %17, align 4, !tbaa !10
  %663 = lshr i32 %662, 24
  %664 = trunc i32 %663 to i8
  %665 = load ptr, ptr %7, align 8, !tbaa !5
  %666 = getelementptr inbounds i8, ptr %665, i64 8
  %667 = getelementptr inbounds i8, ptr %666, i64 3
  store i8 %664, ptr %667, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  br label %668

668:                                              ; preds = %641
  br label %669

669:                                              ; preds = %668
  br label %670

670:                                              ; preds = %669
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #4
  %671 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %10, i32 0, i32 3
  %672 = getelementptr inbounds [4 x i32], ptr %671, i64 0, i64 3
  %673 = load i32, ptr %672, align 4, !tbaa !10
  store i32 %673, ptr %18, align 4, !tbaa !10
  %674 = load i32, ptr %18, align 4, !tbaa !10
  %675 = trunc i32 %674 to i8
  %676 = load ptr, ptr %7, align 8, !tbaa !5
  %677 = getelementptr inbounds i8, ptr %676, i64 12
  %678 = getelementptr inbounds i8, ptr %677, i64 0
  store i8 %675, ptr %678, align 1, !tbaa !9
  %679 = load i32, ptr %18, align 4, !tbaa !10
  %680 = lshr i32 %679, 8
  %681 = trunc i32 %680 to i8
  %682 = load ptr, ptr %7, align 8, !tbaa !5
  %683 = getelementptr inbounds i8, ptr %682, i64 12
  %684 = getelementptr inbounds i8, ptr %683, i64 1
  store i8 %681, ptr %684, align 1, !tbaa !9
  %685 = load i32, ptr %18, align 4, !tbaa !10
  %686 = lshr i32 %685, 16
  %687 = trunc i32 %686 to i8
  %688 = load ptr, ptr %7, align 8, !tbaa !5
  %689 = getelementptr inbounds i8, ptr %688, i64 12
  %690 = getelementptr inbounds i8, ptr %689, i64 2
  store i8 %687, ptr %690, align 1, !tbaa !9
  %691 = load i32, ptr %18, align 4, !tbaa !10
  %692 = lshr i32 %691, 24
  %693 = trunc i32 %692 to i8
  %694 = load ptr, ptr %7, align 8, !tbaa !5
  %695 = getelementptr inbounds i8, ptr %694, i64 12
  %696 = getelementptr inbounds i8, ptr %695, i64 3
  store i8 %693, ptr %696, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #4
  br label %697

697:                                              ; preds = %670
  br label %698

698:                                              ; preds = %697
  call void @llvm.lifetime.end.p0(i64 64, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 64, ptr %9) #4
  ret void
}

declare void @forkskinny_128_384_rounds(ptr noundef, i32 noundef, i32 noundef) #3

declare void @forkskinny_128_384_forward_tk(ptr noundef, i32 noundef) #3

declare void @forkskinny_128_384_inv_rounds(ptr noundef, i32 noundef, i32 noundef) #3

declare void @forkskinny_128_384_reverse_tk(ptr noundef, i32 noundef) #3

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { "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 #4 = { 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 = !{!7, !7, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"int", !7, i64 0}
!12 = !{i64 0, i64 16, !9, i64 16, i64 16, !9, i64 32, i64 16, !9, i64 48, i64 16, !9}


; 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.forkskinny_128_384_state_t = type { [4 x i32], [4 x i32], [4 x i32], [4 x i32] }

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

; 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) #1

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

; Function Attrs: nounwind uwtable
define dso_local void @forkskinny_128_384_decrypt(ptr nocapture noundef readonly %0, ptr nocapture noundef writeonly %1, ptr nocapture noundef writeonly %2, ptr nocapture noundef readonly %3) local_unnamed_addr #2 {
  %5 = alloca %struct.forkskinny_128_384_state_t, align 16
  %6 = alloca %struct.forkskinny_128_384_state_t, align 4
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %5) #4
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %6) #4
  %7 = load <4 x i32>, ptr %0, align 1
  store <4 x i32> %7, ptr %5, align 16, !tbaa !5
  %8 = getelementptr inbounds i8, ptr %0, i64 16
  %9 = getelementptr inbounds i8, ptr %5, i64 16
  %10 = load <4 x i32>, ptr %8, align 1
  store <4 x i32> %10, ptr %9, align 16, !tbaa !5
  %11 = getelementptr inbounds i8, ptr %0, i64 32
  %12 = getelementptr inbounds i8, ptr %5, i64 32
  %13 = load <4 x i32>, ptr %11, align 1
  store <4 x i32> %13, ptr %12, align 16, !tbaa !5
  %14 = getelementptr inbounds i8, ptr %5, i64 48
  %15 = getelementptr inbounds i8, ptr %5, i64 52
  %16 = getelementptr inbounds i8, ptr %5, i64 56
  %17 = getelementptr inbounds i8, ptr %5, i64 60
  %18 = load <4 x i32>, ptr %3, align 1
  store <4 x i32> %18, ptr %14, align 16, !tbaa !5
  call void @forkskinny_128_384_forward_tk(ptr noundef nonnull %5, i32 noundef 87) #4
  call void @forkskinny_128_384_inv_rounds(ptr noundef nonnull %5, i32 noundef 87, i32 noundef 56) #4
  %19 = load <4 x i32>, ptr %14, align 16, !tbaa !5
  %20 = xor <4 x i32> %19, <i32 134480385, i32 -2109661168, i32 672401925, i32 -2008767919>
  store <4 x i32> %20, ptr %14, align 16, !tbaa !5
  call void @forkskinny_128_384_reverse_tk(ptr noundef nonnull %5, i32 noundef 31) #4
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(64) %6, ptr noundef nonnull align 16 dereferenceable(64) %5, i64 64, i1 false), !tbaa.struct !9
  call void @forkskinny_128_384_inv_rounds(ptr noundef nonnull %5, i32 noundef 25, i32 noundef 0) #4
  %21 = load i32, ptr %14, align 16, !tbaa !5
  %22 = trunc i32 %21 to i8
  store i8 %22, ptr %1, align 1, !tbaa !10
  %23 = lshr i32 %21, 8
  %24 = trunc i32 %23 to i8
  %25 = getelementptr inbounds i8, ptr %1, i64 1
  store i8 %24, ptr %25, align 1, !tbaa !10
  %26 = lshr i32 %21, 16
  %27 = trunc i32 %26 to i8
  %28 = getelementptr inbounds i8, ptr %1, i64 2
  store i8 %27, ptr %28, align 1, !tbaa !10
  %29 = lshr i32 %21, 24
  %30 = trunc nuw i32 %29 to i8
  %31 = getelementptr inbounds i8, ptr %1, i64 3
  store i8 %30, ptr %31, align 1, !tbaa !10
  %32 = load i32, ptr %15, align 4, !tbaa !5
  %33 = trunc i32 %32 to i8
  %34 = getelementptr inbounds i8, ptr %1, i64 4
  store i8 %33, ptr %34, align 1, !tbaa !10
  %35 = lshr i32 %32, 8
  %36 = trunc i32 %35 to i8
  %37 = getelementptr inbounds i8, ptr %1, i64 5
  store i8 %36, ptr %37, align 1, !tbaa !10
  %38 = lshr i32 %32, 16
  %39 = trunc i32 %38 to i8
  %40 = getelementptr inbounds i8, ptr %1, i64 6
  store i8 %39, ptr %40, align 1, !tbaa !10
  %41 = lshr i32 %32, 24
  %42 = trunc nuw i32 %41 to i8
  %43 = getelementptr inbounds i8, ptr %1, i64 7
  store i8 %42, ptr %43, align 1, !tbaa !10
  %44 = load i32, ptr %16, align 8, !tbaa !5
  %45 = trunc i32 %44 to i8
  %46 = getelementptr inbounds i8, ptr %1, i64 8
  store i8 %45, ptr %46, align 1, !tbaa !10
  %47 = lshr i32 %44, 8
  %48 = trunc i32 %47 to i8
  %49 = getelementptr inbounds i8, ptr %1, i64 9
  store i8 %48, ptr %49, align 1, !tbaa !10
  %50 = lshr i32 %44, 16
  %51 = trunc i32 %50 to i8
  %52 = getelementptr inbounds i8, ptr %1, i64 10
  store i8 %51, ptr %52, align 1, !tbaa !10
  %53 = lshr i32 %44, 24
  %54 = trunc nuw i32 %53 to i8
  %55 = getelementptr inbounds i8, ptr %1, i64 11
  store i8 %54, ptr %55, align 1, !tbaa !10
  %56 = load i32, ptr %17, align 4, !tbaa !5
  %57 = trunc i32 %56 to i8
  %58 = getelementptr inbounds i8, ptr %1, i64 12
  store i8 %57, ptr %58, align 1, !tbaa !10
  %59 = lshr i32 %56, 8
  %60 = trunc i32 %59 to i8
  %61 = getelementptr inbounds i8, ptr %1, i64 13
  store i8 %60, ptr %61, align 1, !tbaa !10
  %62 = lshr i32 %56, 16
  %63 = trunc i32 %62 to i8
  %64 = getelementptr inbounds i8, ptr %1, i64 14
  store i8 %63, ptr %64, align 1, !tbaa !10
  %65 = lshr i32 %56, 24
  %66 = trunc nuw i32 %65 to i8
  %67 = getelementptr inbounds i8, ptr %1, i64 15
  store i8 %66, ptr %67, align 1, !tbaa !10
  call void @forkskinny_128_384_rounds(ptr noundef nonnull %6, i32 noundef 25, i32 noundef 56) #4
  %68 = getelementptr inbounds i8, ptr %6, i64 48
  %69 = load i32, ptr %68, align 4, !tbaa !5
  %70 = trunc i32 %69 to i8
  store i8 %70, ptr %2, align 1, !tbaa !10
  %71 = lshr i32 %69, 8
  %72 = trunc i32 %71 to i8
  %73 = getelementptr inbounds i8, ptr %2, i64 1
  store i8 %72, ptr %73, align 1, !tbaa !10
  %74 = lshr i32 %69, 16
  %75 = trunc i32 %74 to i8
  %76 = getelementptr inbounds i8, ptr %2, i64 2
  store i8 %75, ptr %76, align 1, !tbaa !10
  %77 = lshr i32 %69, 24
  %78 = trunc nuw i32 %77 to i8
  %79 = getelementptr inbounds i8, ptr %2, i64 3
  store i8 %78, ptr %79, align 1, !tbaa !10
  %80 = getelementptr inbounds i8, ptr %6, i64 52
  %81 = load i32, ptr %80, align 4, !tbaa !5
  %82 = trunc i32 %81 to i8
  %83 = getelementptr inbounds i8, ptr %2, i64 4
  store i8 %82, ptr %83, align 1, !tbaa !10
  %84 = lshr i32 %81, 8
  %85 = trunc i32 %84 to i8
  %86 = getelementptr inbounds i8, ptr %2, i64 5
  store i8 %85, ptr %86, align 1, !tbaa !10
  %87 = lshr i32 %81, 16
  %88 = trunc i32 %87 to i8
  %89 = getelementptr inbounds i8, ptr %2, i64 6
  store i8 %88, ptr %89, align 1, !tbaa !10
  %90 = lshr i32 %81, 24
  %91 = trunc nuw i32 %90 to i8
  %92 = getelementptr inbounds i8, ptr %2, i64 7
  store i8 %91, ptr %92, align 1, !tbaa !10
  %93 = getelementptr inbounds i8, ptr %6, i64 56
  %94 = load i32, ptr %93, align 4, !tbaa !5
  %95 = trunc i32 %94 to i8
  %96 = getelementptr inbounds i8, ptr %2, i64 8
  store i8 %95, ptr %96, align 1, !tbaa !10
  %97 = lshr i32 %94, 8
  %98 = trunc i32 %97 to i8
  %99 = getelementptr inbounds i8, ptr %2, i64 9
  store i8 %98, ptr %99, align 1, !tbaa !10
  %100 = lshr i32 %94, 16
  %101 = trunc i32 %100 to i8
  %102 = getelementptr inbounds i8, ptr %2, i64 10
  store i8 %101, ptr %102, align 1, !tbaa !10
  %103 = lshr i32 %94, 24
  %104 = trunc nuw i32 %103 to i8
  %105 = getelementptr inbounds i8, ptr %2, i64 11
  store i8 %104, ptr %105, align 1, !tbaa !10
  %106 = getelementptr inbounds i8, ptr %6, i64 60
  %107 = load i32, ptr %106, align 4, !tbaa !5
  %108 = trunc i32 %107 to i8
  %109 = getelementptr inbounds i8, ptr %2, i64 12
  store i8 %108, ptr %109, align 1, !tbaa !10
  %110 = lshr i32 %107, 8
  %111 = trunc i32 %110 to i8
  %112 = getelementptr inbounds i8, ptr %2, i64 13
  store i8 %111, ptr %112, align 1, !tbaa !10
  %113 = lshr i32 %107, 16
  %114 = trunc i32 %113 to i8
  %115 = getelementptr inbounds i8, ptr %2, i64 14
  store i8 %114, ptr %115, align 1, !tbaa !10
  %116 = lshr i32 %107, 24
  %117 = trunc nuw i32 %116 to i8
  %118 = getelementptr inbounds i8, ptr %2, i64 15
  store i8 %117, ptr %118, align 1, !tbaa !10
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %6) #4
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %5) #4
  ret void
}

declare void @forkskinny_128_384_rounds(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #3

declare void @forkskinny_128_384_forward_tk(ptr noundef, i32 noundef) local_unnamed_addr #3

declare void @forkskinny_128_384_inv_rounds(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #3

declare void @forkskinny_128_384_reverse_tk(ptr noundef, i32 noundef) local_unnamed_addr #3

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { "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 #4 = { 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{i64 0, i64 16, !10, i64 16, i64 16, !10, i64 32, i64 16, !10, i64 48, i64 16, !10}
!10 = !{!7, !7, i64 0}


; Effective O3 passes: AggressiveInstCombinePass,EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,PostOrderFunctionAttrsPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass