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

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

@spongent160_permute.RC = external hidden constant [160 x i8], align 16

; Function Attrs: nounwind uwtable
define dso_local void @spongent160_permute(ptr noundef %0) #0 {
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i8, align 1
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #2
  store ptr @spongent160_permute.RC, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #2
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #2
  %15 = load ptr, ptr %2, align 8, !tbaa !5
  %16 = getelementptr inbounds [5 x i32], ptr %15, i64 0, i64 0
  %17 = load i32, ptr %16, align 4, !tbaa !9
  store i32 %17, ptr %4, align 4, !tbaa !10
  %18 = load ptr, ptr %2, align 8, !tbaa !5
  %19 = getelementptr inbounds [5 x i32], ptr %18, i64 0, i64 1
  %20 = load i32, ptr %19, align 4, !tbaa !9
  store i32 %20, ptr %5, align 4, !tbaa !10
  %21 = load ptr, ptr %2, align 8, !tbaa !5
  %22 = getelementptr inbounds [5 x i32], ptr %21, i64 0, i64 2
  %23 = load i32, ptr %22, align 4, !tbaa !9
  store i32 %23, ptr %6, align 4, !tbaa !10
  %24 = load ptr, ptr %2, align 8, !tbaa !5
  %25 = getelementptr inbounds [5 x i32], ptr %24, i64 0, i64 3
  %26 = load i32, ptr %25, align 4, !tbaa !9
  store i32 %26, ptr %7, align 4, !tbaa !10
  %27 = load ptr, ptr %2, align 8, !tbaa !5
  %28 = getelementptr inbounds [5 x i32], ptr %27, i64 0, i64 4
  %29 = load i32, ptr %28, align 4, !tbaa !9
  store i32 %29, ptr %8, align 4, !tbaa !10
  store i8 0, ptr %14, align 1, !tbaa !9
  br label %30

30:                                               ; preds = %687, %1
  %31 = load i8, ptr %14, align 1, !tbaa !9
  %32 = zext i8 %31 to i32
  %33 = icmp slt i32 %32, 80
  br i1 %33, label %34, label %692

34:                                               ; preds = %30
  %35 = load ptr, ptr %3, align 8, !tbaa !5
  %36 = getelementptr inbounds i8, ptr %35, i64 0
  %37 = load i8, ptr %36, align 1, !tbaa !9
  %38 = zext i8 %37 to i32
  %39 = load i32, ptr %4, align 4, !tbaa !10
  %40 = xor i32 %39, %38
  store i32 %40, ptr %4, align 4, !tbaa !10
  %41 = load ptr, ptr %3, align 8, !tbaa !5
  %42 = getelementptr inbounds i8, ptr %41, i64 1
  %43 = load i8, ptr %42, align 1, !tbaa !9
  %44 = zext i8 %43 to i32
  %45 = shl i32 %44, 24
  %46 = load i32, ptr %8, align 4, !tbaa !10
  %47 = xor i32 %46, %45
  store i32 %47, ptr %8, align 4, !tbaa !10
  %48 = load i32, ptr %4, align 4, !tbaa !10
  %49 = call i32 @spongent_sbox(i32 noundef %48)
  store i32 %49, ptr %9, align 4, !tbaa !10
  %50 = load i32, ptr %5, align 4, !tbaa !10
  %51 = call i32 @spongent_sbox(i32 noundef %50)
  store i32 %51, ptr %10, align 4, !tbaa !10
  %52 = load i32, ptr %6, align 4, !tbaa !10
  %53 = call i32 @spongent_sbox(i32 noundef %52)
  store i32 %53, ptr %11, align 4, !tbaa !10
  %54 = load i32, ptr %7, align 4, !tbaa !10
  %55 = call i32 @spongent_sbox(i32 noundef %54)
  store i32 %55, ptr %12, align 4, !tbaa !10
  %56 = load i32, ptr %8, align 4, !tbaa !10
  %57 = call i32 @spongent_sbox(i32 noundef %56)
  store i32 %57, ptr %13, align 4, !tbaa !10
  %58 = load i32, ptr %9, align 4, !tbaa !10
  %59 = and i32 %58, 1
  %60 = load i32, ptr %9, align 4, !tbaa !10
  %61 = lshr i32 %60, 3
  %62 = and i32 %61, 2
  %63 = xor i32 %59, %62
  %64 = load i32, ptr %9, align 4, !tbaa !10
  %65 = lshr i32 %64, 6
  %66 = and i32 %65, 4
  %67 = xor i32 %63, %66
  %68 = load i32, ptr %9, align 4, !tbaa !10
  %69 = lshr i32 %68, 9
  %70 = and i32 %69, 8
  %71 = xor i32 %67, %70
  %72 = load i32, ptr %9, align 4, !tbaa !10
  %73 = lshr i32 %72, 12
  %74 = and i32 %73, 16
  %75 = xor i32 %71, %74
  %76 = load i32, ptr %9, align 4, !tbaa !10
  %77 = lshr i32 %76, 15
  %78 = and i32 %77, 32
  %79 = xor i32 %75, %78
  %80 = load i32, ptr %9, align 4, !tbaa !10
  %81 = lshr i32 %80, 18
  %82 = and i32 %81, 64
  %83 = xor i32 %79, %82
  %84 = load i32, ptr %9, align 4, !tbaa !10
  %85 = lshr i32 %84, 21
  %86 = and i32 %85, 128
  %87 = xor i32 %83, %86
  %88 = load i32, ptr %10, align 4, !tbaa !10
  %89 = shl i32 %88, 8
  %90 = and i32 %89, 256
  %91 = xor i32 %87, %90
  %92 = load i32, ptr %10, align 4, !tbaa !10
  %93 = shl i32 %92, 5
  %94 = and i32 %93, 512
  %95 = xor i32 %91, %94
  %96 = load i32, ptr %10, align 4, !tbaa !10
  %97 = shl i32 %96, 2
  %98 = and i32 %97, 1024
  %99 = xor i32 %95, %98
  %100 = load i32, ptr %10, align 4, !tbaa !10
  %101 = lshr i32 %100, 1
  %102 = and i32 %101, 2048
  %103 = xor i32 %99, %102
  %104 = load i32, ptr %10, align 4, !tbaa !10
  %105 = lshr i32 %104, 4
  %106 = and i32 %105, 4096
  %107 = xor i32 %103, %106
  %108 = load i32, ptr %10, align 4, !tbaa !10
  %109 = lshr i32 %108, 7
  %110 = and i32 %109, 8192
  %111 = xor i32 %107, %110
  %112 = load i32, ptr %10, align 4, !tbaa !10
  %113 = lshr i32 %112, 10
  %114 = and i32 %113, 16384
  %115 = xor i32 %111, %114
  %116 = load i32, ptr %10, align 4, !tbaa !10
  %117 = lshr i32 %116, 13
  %118 = and i32 %117, 32768
  %119 = xor i32 %115, %118
  %120 = load i32, ptr %11, align 4, !tbaa !10
  %121 = shl i32 %120, 16
  %122 = and i32 %121, 65536
  %123 = xor i32 %119, %122
  %124 = load i32, ptr %11, align 4, !tbaa !10
  %125 = shl i32 %124, 13
  %126 = and i32 %125, 131072
  %127 = xor i32 %123, %126
  %128 = load i32, ptr %11, align 4, !tbaa !10
  %129 = shl i32 %128, 10
  %130 = and i32 %129, 262144
  %131 = xor i32 %127, %130
  %132 = load i32, ptr %11, align 4, !tbaa !10
  %133 = shl i32 %132, 7
  %134 = and i32 %133, 524288
  %135 = xor i32 %131, %134
  %136 = load i32, ptr %11, align 4, !tbaa !10
  %137 = shl i32 %136, 4
  %138 = and i32 %137, 1048576
  %139 = xor i32 %135, %138
  %140 = load i32, ptr %11, align 4, !tbaa !10
  %141 = shl i32 %140, 1
  %142 = and i32 %141, 2097152
  %143 = xor i32 %139, %142
  %144 = load i32, ptr %11, align 4, !tbaa !10
  %145 = lshr i32 %144, 2
  %146 = and i32 %145, 4194304
  %147 = xor i32 %143, %146
  %148 = load i32, ptr %11, align 4, !tbaa !10
  %149 = lshr i32 %148, 5
  %150 = and i32 %149, 8388608
  %151 = xor i32 %147, %150
  %152 = load i32, ptr %12, align 4, !tbaa !10
  %153 = shl i32 %152, 24
  %154 = and i32 %153, 16777216
  %155 = xor i32 %151, %154
  %156 = load i32, ptr %12, align 4, !tbaa !10
  %157 = shl i32 %156, 21
  %158 = and i32 %157, 33554432
  %159 = xor i32 %155, %158
  %160 = load i32, ptr %12, align 4, !tbaa !10
  %161 = shl i32 %160, 18
  %162 = and i32 %161, 67108864
  %163 = xor i32 %159, %162
  %164 = load i32, ptr %12, align 4, !tbaa !10
  %165 = shl i32 %164, 15
  %166 = and i32 %165, 134217728
  %167 = xor i32 %163, %166
  %168 = load i32, ptr %12, align 4, !tbaa !10
  %169 = shl i32 %168, 12
  %170 = and i32 %169, 268435456
  %171 = xor i32 %167, %170
  %172 = load i32, ptr %12, align 4, !tbaa !10
  %173 = shl i32 %172, 9
  %174 = and i32 %173, 536870912
  %175 = xor i32 %171, %174
  %176 = load i32, ptr %12, align 4, !tbaa !10
  %177 = shl i32 %176, 6
  %178 = and i32 %177, 1073741824
  %179 = xor i32 %175, %178
  %180 = load i32, ptr %12, align 4, !tbaa !10
  %181 = shl i32 %180, 3
  %182 = and i32 %181, -2147483648
  %183 = xor i32 %179, %182
  store i32 %183, ptr %4, align 4, !tbaa !10
  %184 = load i32, ptr %9, align 4, !tbaa !10
  %185 = shl i32 %184, 7
  %186 = and i32 %185, 256
  %187 = load i32, ptr %9, align 4, !tbaa !10
  %188 = shl i32 %187, 4
  %189 = and i32 %188, 512
  %190 = xor i32 %186, %189
  %191 = load i32, ptr %9, align 4, !tbaa !10
  %192 = shl i32 %191, 1
  %193 = and i32 %192, 1024
  %194 = xor i32 %190, %193
  %195 = load i32, ptr %9, align 4, !tbaa !10
  %196 = lshr i32 %195, 2
  %197 = and i32 %196, 2048
  %198 = xor i32 %194, %197
  %199 = load i32, ptr %9, align 4, !tbaa !10
  %200 = lshr i32 %199, 5
  %201 = and i32 %200, 4096
  %202 = xor i32 %198, %201
  %203 = load i32, ptr %9, align 4, !tbaa !10
  %204 = lshr i32 %203, 8
  %205 = and i32 %204, 8192
  %206 = xor i32 %202, %205
  %207 = load i32, ptr %9, align 4, !tbaa !10
  %208 = lshr i32 %207, 11
  %209 = and i32 %208, 16384
  %210 = xor i32 %206, %209
  %211 = load i32, ptr %9, align 4, !tbaa !10
  %212 = lshr i32 %211, 14
  %213 = and i32 %212, 32768
  %214 = xor i32 %210, %213
  %215 = load i32, ptr %10, align 4, !tbaa !10
  %216 = shl i32 %215, 15
  %217 = and i32 %216, 65536
  %218 = xor i32 %214, %217
  %219 = load i32, ptr %10, align 4, !tbaa !10
  %220 = shl i32 %219, 12
  %221 = and i32 %220, 131072
  %222 = xor i32 %218, %221
  %223 = load i32, ptr %10, align 4, !tbaa !10
  %224 = shl i32 %223, 9
  %225 = and i32 %224, 262144
  %226 = xor i32 %222, %225
  %227 = load i32, ptr %10, align 4, !tbaa !10
  %228 = shl i32 %227, 6
  %229 = and i32 %228, 524288
  %230 = xor i32 %226, %229
  %231 = load i32, ptr %10, align 4, !tbaa !10
  %232 = shl i32 %231, 3
  %233 = and i32 %232, 1048576
  %234 = xor i32 %230, %233
  %235 = load i32, ptr %10, align 4, !tbaa !10
  %236 = and i32 %235, 2097152
  %237 = xor i32 %234, %236
  %238 = load i32, ptr %10, align 4, !tbaa !10
  %239 = lshr i32 %238, 3
  %240 = and i32 %239, 4194304
  %241 = xor i32 %237, %240
  %242 = load i32, ptr %10, align 4, !tbaa !10
  %243 = lshr i32 %242, 6
  %244 = and i32 %243, 8388608
  %245 = xor i32 %241, %244
  %246 = load i32, ptr %11, align 4, !tbaa !10
  %247 = shl i32 %246, 23
  %248 = and i32 %247, 16777216
  %249 = xor i32 %245, %248
  %250 = load i32, ptr %11, align 4, !tbaa !10
  %251 = shl i32 %250, 20
  %252 = and i32 %251, 33554432
  %253 = xor i32 %249, %252
  %254 = load i32, ptr %11, align 4, !tbaa !10
  %255 = shl i32 %254, 17
  %256 = and i32 %255, 67108864
  %257 = xor i32 %253, %256
  %258 = load i32, ptr %11, align 4, !tbaa !10
  %259 = shl i32 %258, 14
  %260 = and i32 %259, 134217728
  %261 = xor i32 %257, %260
  %262 = load i32, ptr %11, align 4, !tbaa !10
  %263 = shl i32 %262, 11
  %264 = and i32 %263, 268435456
  %265 = xor i32 %261, %264
  %266 = load i32, ptr %11, align 4, !tbaa !10
  %267 = shl i32 %266, 8
  %268 = and i32 %267, 536870912
  %269 = xor i32 %265, %268
  %270 = load i32, ptr %11, align 4, !tbaa !10
  %271 = shl i32 %270, 5
  %272 = and i32 %271, 1073741824
  %273 = xor i32 %269, %272
  %274 = load i32, ptr %11, align 4, !tbaa !10
  %275 = shl i32 %274, 2
  %276 = and i32 %275, -2147483648
  %277 = xor i32 %273, %276
  %278 = load i32, ptr %13, align 4, !tbaa !10
  %279 = and i32 %278, 1
  %280 = xor i32 %277, %279
  %281 = load i32, ptr %13, align 4, !tbaa !10
  %282 = lshr i32 %281, 3
  %283 = and i32 %282, 2
  %284 = xor i32 %280, %283
  %285 = load i32, ptr %13, align 4, !tbaa !10
  %286 = lshr i32 %285, 6
  %287 = and i32 %286, 4
  %288 = xor i32 %284, %287
  %289 = load i32, ptr %13, align 4, !tbaa !10
  %290 = lshr i32 %289, 9
  %291 = and i32 %290, 8
  %292 = xor i32 %288, %291
  %293 = load i32, ptr %13, align 4, !tbaa !10
  %294 = lshr i32 %293, 12
  %295 = and i32 %294, 16
  %296 = xor i32 %292, %295
  %297 = load i32, ptr %13, align 4, !tbaa !10
  %298 = lshr i32 %297, 15
  %299 = and i32 %298, 32
  %300 = xor i32 %296, %299
  %301 = load i32, ptr %13, align 4, !tbaa !10
  %302 = lshr i32 %301, 18
  %303 = and i32 %302, 64
  %304 = xor i32 %300, %303
  %305 = load i32, ptr %13, align 4, !tbaa !10
  %306 = lshr i32 %305, 21
  %307 = and i32 %306, 128
  %308 = xor i32 %304, %307
  store i32 %308, ptr %5, align 4, !tbaa !10
  %309 = load i32, ptr %9, align 4, !tbaa !10
  %310 = shl i32 %309, 14
  %311 = and i32 %310, 65536
  %312 = load i32, ptr %9, align 4, !tbaa !10
  %313 = shl i32 %312, 11
  %314 = and i32 %313, 131072
  %315 = xor i32 %311, %314
  %316 = load i32, ptr %9, align 4, !tbaa !10
  %317 = shl i32 %316, 8
  %318 = and i32 %317, 262144
  %319 = xor i32 %315, %318
  %320 = load i32, ptr %9, align 4, !tbaa !10
  %321 = shl i32 %320, 5
  %322 = and i32 %321, 524288
  %323 = xor i32 %319, %322
  %324 = load i32, ptr %9, align 4, !tbaa !10
  %325 = shl i32 %324, 2
  %326 = and i32 %325, 1048576
  %327 = xor i32 %323, %326
  %328 = load i32, ptr %9, align 4, !tbaa !10
  %329 = lshr i32 %328, 1
  %330 = and i32 %329, 2097152
  %331 = xor i32 %327, %330
  %332 = load i32, ptr %9, align 4, !tbaa !10
  %333 = lshr i32 %332, 4
  %334 = and i32 %333, 4194304
  %335 = xor i32 %331, %334
  %336 = load i32, ptr %9, align 4, !tbaa !10
  %337 = lshr i32 %336, 7
  %338 = and i32 %337, 8388608
  %339 = xor i32 %335, %338
  %340 = load i32, ptr %10, align 4, !tbaa !10
  %341 = shl i32 %340, 22
  %342 = and i32 %341, 16777216
  %343 = xor i32 %339, %342
  %344 = load i32, ptr %10, align 4, !tbaa !10
  %345 = shl i32 %344, 19
  %346 = and i32 %345, 33554432
  %347 = xor i32 %343, %346
  %348 = load i32, ptr %10, align 4, !tbaa !10
  %349 = shl i32 %348, 16
  %350 = and i32 %349, 67108864
  %351 = xor i32 %347, %350
  %352 = load i32, ptr %10, align 4, !tbaa !10
  %353 = shl i32 %352, 13
  %354 = and i32 %353, 134217728
  %355 = xor i32 %351, %354
  %356 = load i32, ptr %10, align 4, !tbaa !10
  %357 = shl i32 %356, 10
  %358 = and i32 %357, 268435456
  %359 = xor i32 %355, %358
  %360 = load i32, ptr %10, align 4, !tbaa !10
  %361 = shl i32 %360, 7
  %362 = and i32 %361, 536870912
  %363 = xor i32 %359, %362
  %364 = load i32, ptr %10, align 4, !tbaa !10
  %365 = shl i32 %364, 4
  %366 = and i32 %365, 1073741824
  %367 = xor i32 %363, %366
  %368 = load i32, ptr %10, align 4, !tbaa !10
  %369 = shl i32 %368, 1
  %370 = and i32 %369, -2147483648
  %371 = xor i32 %367, %370
  %372 = load i32, ptr %12, align 4, !tbaa !10
  %373 = lshr i32 %372, 1
  %374 = and i32 %373, 1
  %375 = xor i32 %371, %374
  %376 = load i32, ptr %12, align 4, !tbaa !10
  %377 = lshr i32 %376, 4
  %378 = and i32 %377, 2
  %379 = xor i32 %375, %378
  %380 = load i32, ptr %12, align 4, !tbaa !10
  %381 = lshr i32 %380, 7
  %382 = and i32 %381, 4
  %383 = xor i32 %379, %382
  %384 = load i32, ptr %12, align 4, !tbaa !10
  %385 = lshr i32 %384, 10
  %386 = and i32 %385, 8
  %387 = xor i32 %383, %386
  %388 = load i32, ptr %12, align 4, !tbaa !10
  %389 = lshr i32 %388, 13
  %390 = and i32 %389, 16
  %391 = xor i32 %387, %390
  %392 = load i32, ptr %12, align 4, !tbaa !10
  %393 = lshr i32 %392, 16
  %394 = and i32 %393, 32
  %395 = xor i32 %391, %394
  %396 = load i32, ptr %12, align 4, !tbaa !10
  %397 = lshr i32 %396, 19
  %398 = and i32 %397, 64
  %399 = xor i32 %395, %398
  %400 = load i32, ptr %12, align 4, !tbaa !10
  %401 = lshr i32 %400, 22
  %402 = and i32 %401, 128
  %403 = xor i32 %399, %402
  %404 = load i32, ptr %13, align 4, !tbaa !10
  %405 = shl i32 %404, 7
  %406 = and i32 %405, 256
  %407 = xor i32 %403, %406
  %408 = load i32, ptr %13, align 4, !tbaa !10
  %409 = shl i32 %408, 4
  %410 = and i32 %409, 512
  %411 = xor i32 %407, %410
  %412 = load i32, ptr %13, align 4, !tbaa !10
  %413 = shl i32 %412, 1
  %414 = and i32 %413, 1024
  %415 = xor i32 %411, %414
  %416 = load i32, ptr %13, align 4, !tbaa !10
  %417 = lshr i32 %416, 2
  %418 = and i32 %417, 2048
  %419 = xor i32 %415, %418
  %420 = load i32, ptr %13, align 4, !tbaa !10
  %421 = lshr i32 %420, 5
  %422 = and i32 %421, 4096
  %423 = xor i32 %419, %422
  %424 = load i32, ptr %13, align 4, !tbaa !10
  %425 = lshr i32 %424, 8
  %426 = and i32 %425, 8192
  %427 = xor i32 %423, %426
  %428 = load i32, ptr %13, align 4, !tbaa !10
  %429 = lshr i32 %428, 11
  %430 = and i32 %429, 16384
  %431 = xor i32 %427, %430
  %432 = load i32, ptr %13, align 4, !tbaa !10
  %433 = lshr i32 %432, 14
  %434 = and i32 %433, 32768
  %435 = xor i32 %431, %434
  store i32 %435, ptr %6, align 4, !tbaa !10
  %436 = load i32, ptr %9, align 4, !tbaa !10
  %437 = shl i32 %436, 21
  %438 = and i32 %437, 16777216
  %439 = load i32, ptr %9, align 4, !tbaa !10
  %440 = shl i32 %439, 18
  %441 = and i32 %440, 33554432
  %442 = xor i32 %438, %441
  %443 = load i32, ptr %9, align 4, !tbaa !10
  %444 = shl i32 %443, 15
  %445 = and i32 %444, 67108864
  %446 = xor i32 %442, %445
  %447 = load i32, ptr %9, align 4, !tbaa !10
  %448 = shl i32 %447, 12
  %449 = and i32 %448, 134217728
  %450 = xor i32 %446, %449
  %451 = load i32, ptr %9, align 4, !tbaa !10
  %452 = shl i32 %451, 9
  %453 = and i32 %452, 268435456
  %454 = xor i32 %450, %453
  %455 = load i32, ptr %9, align 4, !tbaa !10
  %456 = shl i32 %455, 6
  %457 = and i32 %456, 536870912
  %458 = xor i32 %454, %457
  %459 = load i32, ptr %9, align 4, !tbaa !10
  %460 = shl i32 %459, 3
  %461 = and i32 %460, 1073741824
  %462 = xor i32 %458, %461
  %463 = load i32, ptr %9, align 4, !tbaa !10
  %464 = and i32 %463, -2147483648
  %465 = xor i32 %462, %464
  %466 = load i32, ptr %11, align 4, !tbaa !10
  %467 = lshr i32 %466, 2
  %468 = and i32 %467, 1
  %469 = xor i32 %465, %468
  %470 = load i32, ptr %11, align 4, !tbaa !10
  %471 = lshr i32 %470, 5
  %472 = and i32 %471, 2
  %473 = xor i32 %469, %472
  %474 = load i32, ptr %11, align 4, !tbaa !10
  %475 = lshr i32 %474, 8
  %476 = and i32 %475, 4
  %477 = xor i32 %473, %476
  %478 = load i32, ptr %11, align 4, !tbaa !10
  %479 = lshr i32 %478, 11
  %480 = and i32 %479, 8
  %481 = xor i32 %477, %480
  %482 = load i32, ptr %11, align 4, !tbaa !10
  %483 = lshr i32 %482, 14
  %484 = and i32 %483, 16
  %485 = xor i32 %481, %484
  %486 = load i32, ptr %11, align 4, !tbaa !10
  %487 = lshr i32 %486, 17
  %488 = and i32 %487, 32
  %489 = xor i32 %485, %488
  %490 = load i32, ptr %11, align 4, !tbaa !10
  %491 = lshr i32 %490, 20
  %492 = and i32 %491, 64
  %493 = xor i32 %489, %492
  %494 = load i32, ptr %11, align 4, !tbaa !10
  %495 = lshr i32 %494, 23
  %496 = and i32 %495, 128
  %497 = xor i32 %493, %496
  %498 = load i32, ptr %12, align 4, !tbaa !10
  %499 = shl i32 %498, 6
  %500 = and i32 %499, 256
  %501 = xor i32 %497, %500
  %502 = load i32, ptr %12, align 4, !tbaa !10
  %503 = shl i32 %502, 3
  %504 = and i32 %503, 512
  %505 = xor i32 %501, %504
  %506 = load i32, ptr %12, align 4, !tbaa !10
  %507 = and i32 %506, 1024
  %508 = xor i32 %505, %507
  %509 = load i32, ptr %12, align 4, !tbaa !10
  %510 = lshr i32 %509, 3
  %511 = and i32 %510, 2048
  %512 = xor i32 %508, %511
  %513 = load i32, ptr %12, align 4, !tbaa !10
  %514 = lshr i32 %513, 6
  %515 = and i32 %514, 4096
  %516 = xor i32 %512, %515
  %517 = load i32, ptr %12, align 4, !tbaa !10
  %518 = lshr i32 %517, 9
  %519 = and i32 %518, 8192
  %520 = xor i32 %516, %519
  %521 = load i32, ptr %12, align 4, !tbaa !10
  %522 = lshr i32 %521, 12
  %523 = and i32 %522, 16384
  %524 = xor i32 %520, %523
  %525 = load i32, ptr %12, align 4, !tbaa !10
  %526 = lshr i32 %525, 15
  %527 = and i32 %526, 32768
  %528 = xor i32 %524, %527
  %529 = load i32, ptr %13, align 4, !tbaa !10
  %530 = shl i32 %529, 14
  %531 = and i32 %530, 65536
  %532 = xor i32 %528, %531
  %533 = load i32, ptr %13, align 4, !tbaa !10
  %534 = shl i32 %533, 11
  %535 = and i32 %534, 131072
  %536 = xor i32 %532, %535
  %537 = load i32, ptr %13, align 4, !tbaa !10
  %538 = shl i32 %537, 8
  %539 = and i32 %538, 262144
  %540 = xor i32 %536, %539
  %541 = load i32, ptr %13, align 4, !tbaa !10
  %542 = shl i32 %541, 5
  %543 = and i32 %542, 524288
  %544 = xor i32 %540, %543
  %545 = load i32, ptr %13, align 4, !tbaa !10
  %546 = shl i32 %545, 2
  %547 = and i32 %546, 1048576
  %548 = xor i32 %544, %547
  %549 = load i32, ptr %13, align 4, !tbaa !10
  %550 = lshr i32 %549, 1
  %551 = and i32 %550, 2097152
  %552 = xor i32 %548, %551
  %553 = load i32, ptr %13, align 4, !tbaa !10
  %554 = lshr i32 %553, 4
  %555 = and i32 %554, 4194304
  %556 = xor i32 %552, %555
  %557 = load i32, ptr %13, align 4, !tbaa !10
  %558 = lshr i32 %557, 7
  %559 = and i32 %558, 8388608
  %560 = xor i32 %556, %559
  store i32 %560, ptr %7, align 4, !tbaa !10
  %561 = load i32, ptr %10, align 4, !tbaa !10
  %562 = lshr i32 %561, 3
  %563 = and i32 %562, 1
  %564 = load i32, ptr %10, align 4, !tbaa !10
  %565 = lshr i32 %564, 6
  %566 = and i32 %565, 2
  %567 = xor i32 %563, %566
  %568 = load i32, ptr %10, align 4, !tbaa !10
  %569 = lshr i32 %568, 9
  %570 = and i32 %569, 4
  %571 = xor i32 %567, %570
  %572 = load i32, ptr %10, align 4, !tbaa !10
  %573 = lshr i32 %572, 12
  %574 = and i32 %573, 8
  %575 = xor i32 %571, %574
  %576 = load i32, ptr %10, align 4, !tbaa !10
  %577 = lshr i32 %576, 15
  %578 = and i32 %577, 16
  %579 = xor i32 %575, %578
  %580 = load i32, ptr %10, align 4, !tbaa !10
  %581 = lshr i32 %580, 18
  %582 = and i32 %581, 32
  %583 = xor i32 %579, %582
  %584 = load i32, ptr %10, align 4, !tbaa !10
  %585 = lshr i32 %584, 21
  %586 = and i32 %585, 64
  %587 = xor i32 %583, %586
  %588 = load i32, ptr %10, align 4, !tbaa !10
  %589 = lshr i32 %588, 24
  %590 = and i32 %589, 128
  %591 = xor i32 %587, %590
  %592 = load i32, ptr %11, align 4, !tbaa !10
  %593 = shl i32 %592, 5
  %594 = and i32 %593, 256
  %595 = xor i32 %591, %594
  %596 = load i32, ptr %11, align 4, !tbaa !10
  %597 = shl i32 %596, 2
  %598 = and i32 %597, 512
  %599 = xor i32 %595, %598
  %600 = load i32, ptr %11, align 4, !tbaa !10
  %601 = lshr i32 %600, 1
  %602 = and i32 %601, 1024
  %603 = xor i32 %599, %602
  %604 = load i32, ptr %11, align 4, !tbaa !10
  %605 = lshr i32 %604, 4
  %606 = and i32 %605, 2048
  %607 = xor i32 %603, %606
  %608 = load i32, ptr %11, align 4, !tbaa !10
  %609 = lshr i32 %608, 7
  %610 = and i32 %609, 4096
  %611 = xor i32 %607, %610
  %612 = load i32, ptr %11, align 4, !tbaa !10
  %613 = lshr i32 %612, 10
  %614 = and i32 %613, 8192
  %615 = xor i32 %611, %614
  %616 = load i32, ptr %11, align 4, !tbaa !10
  %617 = lshr i32 %616, 13
  %618 = and i32 %617, 16384
  %619 = xor i32 %615, %618
  %620 = load i32, ptr %11, align 4, !tbaa !10
  %621 = lshr i32 %620, 16
  %622 = and i32 %621, 32768
  %623 = xor i32 %619, %622
  %624 = load i32, ptr %12, align 4, !tbaa !10
  %625 = shl i32 %624, 13
  %626 = and i32 %625, 65536
  %627 = xor i32 %623, %626
  %628 = load i32, ptr %12, align 4, !tbaa !10
  %629 = shl i32 %628, 10
  %630 = and i32 %629, 131072
  %631 = xor i32 %627, %630
  %632 = load i32, ptr %12, align 4, !tbaa !10
  %633 = shl i32 %632, 7
  %634 = and i32 %633, 262144
  %635 = xor i32 %631, %634
  %636 = load i32, ptr %12, align 4, !tbaa !10
  %637 = shl i32 %636, 4
  %638 = and i32 %637, 524288
  %639 = xor i32 %635, %638
  %640 = load i32, ptr %12, align 4, !tbaa !10
  %641 = shl i32 %640, 1
  %642 = and i32 %641, 1048576
  %643 = xor i32 %639, %642
  %644 = load i32, ptr %12, align 4, !tbaa !10
  %645 = lshr i32 %644, 2
  %646 = and i32 %645, 2097152
  %647 = xor i32 %643, %646
  %648 = load i32, ptr %12, align 4, !tbaa !10
  %649 = lshr i32 %648, 5
  %650 = and i32 %649, 4194304
  %651 = xor i32 %647, %650
  %652 = load i32, ptr %12, align 4, !tbaa !10
  %653 = lshr i32 %652, 8
  %654 = and i32 %653, 8388608
  %655 = xor i32 %651, %654
  %656 = load i32, ptr %13, align 4, !tbaa !10
  %657 = shl i32 %656, 21
  %658 = and i32 %657, 16777216
  %659 = xor i32 %655, %658
  %660 = load i32, ptr %13, align 4, !tbaa !10
  %661 = shl i32 %660, 18
  %662 = and i32 %661, 33554432
  %663 = xor i32 %659, %662
  %664 = load i32, ptr %13, align 4, !tbaa !10
  %665 = shl i32 %664, 15
  %666 = and i32 %665, 67108864
  %667 = xor i32 %663, %666
  %668 = load i32, ptr %13, align 4, !tbaa !10
  %669 = shl i32 %668, 12
  %670 = and i32 %669, 134217728
  %671 = xor i32 %667, %670
  %672 = load i32, ptr %13, align 4, !tbaa !10
  %673 = shl i32 %672, 9
  %674 = and i32 %673, 268435456
  %675 = xor i32 %671, %674
  %676 = load i32, ptr %13, align 4, !tbaa !10
  %677 = shl i32 %676, 6
  %678 = and i32 %677, 536870912
  %679 = xor i32 %675, %678
  %680 = load i32, ptr %13, align 4, !tbaa !10
  %681 = shl i32 %680, 3
  %682 = and i32 %681, 1073741824
  %683 = xor i32 %679, %682
  %684 = load i32, ptr %13, align 4, !tbaa !10
  %685 = and i32 %684, -2147483648
  %686 = xor i32 %683, %685
  store i32 %686, ptr %8, align 4, !tbaa !10
  br label %687

687:                                              ; preds = %34
  %688 = load i8, ptr %14, align 1, !tbaa !9
  %689 = add i8 %688, 1
  store i8 %689, ptr %14, align 1, !tbaa !9
  %690 = load ptr, ptr %3, align 8, !tbaa !5
  %691 = getelementptr inbounds i8, ptr %690, i64 2
  store ptr %691, ptr %3, align 8, !tbaa !5
  br label %30, !llvm.loop !12

692:                                              ; preds = %30
  %693 = load i32, ptr %4, align 4, !tbaa !10
  %694 = load ptr, ptr %2, align 8, !tbaa !5
  %695 = getelementptr inbounds [5 x i32], ptr %694, i64 0, i64 0
  store i32 %693, ptr %695, align 4, !tbaa !9
  %696 = load i32, ptr %5, align 4, !tbaa !10
  %697 = load ptr, ptr %2, align 8, !tbaa !5
  %698 = getelementptr inbounds [5 x i32], ptr %697, i64 0, i64 1
  store i32 %696, ptr %698, align 4, !tbaa !9
  %699 = load i32, ptr %6, align 4, !tbaa !10
  %700 = load ptr, ptr %2, align 8, !tbaa !5
  %701 = getelementptr inbounds [5 x i32], ptr %700, i64 0, i64 2
  store i32 %699, ptr %701, align 4, !tbaa !9
  %702 = load i32, ptr %7, align 4, !tbaa !10
  %703 = load ptr, ptr %2, align 8, !tbaa !5
  %704 = getelementptr inbounds [5 x i32], ptr %703, i64 0, i64 3
  store i32 %702, ptr %704, align 4, !tbaa !9
  %705 = load i32, ptr %8, align 4, !tbaa !10
  %706 = load ptr, ptr %2, align 8, !tbaa !5
  %707 = getelementptr inbounds [5 x i32], ptr %706, i64 0, i64 4
  store i32 %705, ptr %707, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #2
  ret void
}

; 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 i32 @spongent_sbox(i32 noundef) #0

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

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 = { 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 = distinct !{!12, !13}
!13 = !{!"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"

@spongent160_permute.RC = external hidden local_unnamed_addr constant [160 x i8], align 16

; Function Attrs: nounwind uwtable
define dso_local void @spongent160_permute(ptr nocapture noundef %0) local_unnamed_addr #0 {
  %2 = load i32, ptr %0, align 4, !tbaa !5
  %3 = getelementptr inbounds i8, ptr %0, i64 4
  %4 = load i32, ptr %3, align 4, !tbaa !5
  %5 = getelementptr inbounds i8, ptr %0, i64 8
  %6 = load i32, ptr %5, align 4, !tbaa !5
  %7 = getelementptr inbounds i8, ptr %0, i64 12
  %8 = load i32, ptr %7, align 4, !tbaa !5
  %9 = getelementptr inbounds i8, ptr %0, i64 16
  %10 = load i32, ptr %9, align 4, !tbaa !5
  br label %11

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

488:                                              ; preds = %11
  store i32 %118, ptr %0, align 4, !tbaa !5
  store i32 %211, ptr %3, align 4, !tbaa !5
  store i32 %306, ptr %5, align 4, !tbaa !5
  store i32 %395, ptr %7, align 4, !tbaa !5
  store i32 %485, ptr %9, align 4, !tbaa !5
  ret void
}

; Function Attrs: nounwind uwtable
declare hidden i32 @spongent_sbox(i32 noundef) local_unnamed_addr #0

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }

!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 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = distinct !{!8, !9}
!9 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LoopRotatePass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass