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

@spongent176_permute.RC = external hidden constant [180 x i8], align 16

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

; Function Attrs: nounwind uwtable
declare hidden i32 @spongent_sbox(i32 noundef) #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 @spongent176_permute(ptr noundef %0) #1 {
  %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 i32, align 4
  %15 = alloca i32, align 4
  %16 = 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 @spongent176_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 4, ptr %14) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #2
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #2
  %17 = load ptr, ptr %2, align 8, !tbaa !5
  %18 = getelementptr inbounds [6 x i32], ptr %17, i64 0, i64 0
  %19 = load i32, ptr %18, align 4, !tbaa !9
  store i32 %19, ptr %4, align 4, !tbaa !10
  %20 = load ptr, ptr %2, align 8, !tbaa !5
  %21 = getelementptr inbounds [6 x i32], ptr %20, i64 0, i64 1
  %22 = load i32, ptr %21, align 4, !tbaa !9
  store i32 %22, ptr %5, align 4, !tbaa !10
  %23 = load ptr, ptr %2, align 8, !tbaa !5
  %24 = getelementptr inbounds [6 x i32], ptr %23, i64 0, i64 2
  %25 = load i32, ptr %24, align 4, !tbaa !9
  store i32 %25, ptr %6, align 4, !tbaa !10
  %26 = load ptr, ptr %2, align 8, !tbaa !5
  %27 = getelementptr inbounds [6 x i32], ptr %26, i64 0, i64 3
  %28 = load i32, ptr %27, align 4, !tbaa !9
  store i32 %28, ptr %7, align 4, !tbaa !10
  %29 = load ptr, ptr %2, align 8, !tbaa !5
  %30 = getelementptr inbounds [6 x i32], ptr %29, i64 0, i64 4
  %31 = load i32, ptr %30, align 4, !tbaa !9
  store i32 %31, ptr %8, align 4, !tbaa !10
  %32 = load ptr, ptr %2, align 8, !tbaa !5
  %33 = getelementptr inbounds [6 x i32], ptr %32, i64 0, i64 5
  %34 = load i32, ptr %33, align 4, !tbaa !9
  store i32 %34, ptr %9, align 4, !tbaa !10
  store i8 0, ptr %16, align 1, !tbaa !9
  br label %35

35:                                               ; preds = %757, %1
  %36 = load i8, ptr %16, align 1, !tbaa !9
  %37 = zext i8 %36 to i32
  %38 = icmp slt i32 %37, 90
  br i1 %38, label %39, label %762

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

757:                                              ; preds = %39
  %758 = load i8, ptr %16, align 1, !tbaa !9
  %759 = add i8 %758, 1
  store i8 %759, ptr %16, align 1, !tbaa !9
  %760 = load ptr, ptr %3, align 8, !tbaa !5
  %761 = getelementptr inbounds i8, ptr %760, i64 2
  store ptr %761, ptr %3, align 8, !tbaa !5
  br label %35, !llvm.loop !12

762:                                              ; preds = %35
  %763 = load i32, ptr %4, align 4, !tbaa !10
  %764 = load ptr, ptr %2, align 8, !tbaa !5
  %765 = getelementptr inbounds [6 x i32], ptr %764, i64 0, i64 0
  store i32 %763, ptr %765, align 4, !tbaa !9
  %766 = load i32, ptr %5, align 4, !tbaa !10
  %767 = load ptr, ptr %2, align 8, !tbaa !5
  %768 = getelementptr inbounds [6 x i32], ptr %767, i64 0, i64 1
  store i32 %766, ptr %768, align 4, !tbaa !9
  %769 = load i32, ptr %6, align 4, !tbaa !10
  %770 = load ptr, ptr %2, align 8, !tbaa !5
  %771 = getelementptr inbounds [6 x i32], ptr %770, i64 0, i64 2
  store i32 %769, ptr %771, align 4, !tbaa !9
  %772 = load i32, ptr %7, align 4, !tbaa !10
  %773 = load ptr, ptr %2, align 8, !tbaa !5
  %774 = getelementptr inbounds [6 x i32], ptr %773, i64 0, i64 3
  store i32 %772, ptr %774, align 4, !tbaa !9
  %775 = load i32, ptr %8, align 4, !tbaa !10
  %776 = load ptr, ptr %2, align 8, !tbaa !5
  %777 = getelementptr inbounds [6 x i32], ptr %776, i64 0, i64 4
  store i32 %775, ptr %777, align 4, !tbaa !9
  %778 = load i32, ptr %9, align 4, !tbaa !10
  %779 = load ptr, ptr %2, align 8, !tbaa !5
  %780 = getelementptr inbounds [6 x i32], ptr %779, i64 0, i64 5
  store i32 %778, ptr %780, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #2
  call void @llvm.lifetime.end.p0(i64 4, 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
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #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"

@spongent176_permute.RC = external hidden local_unnamed_addr constant [180 x i8], align 16

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

; Function Attrs: nounwind uwtable
define dso_local void @spongent176_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
  %11 = getelementptr inbounds i8, ptr %0, i64 20
  %12 = load i32, ptr %11, align 4, !tbaa !5
  br label %13

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

542:                                              ; preds = %13
  store i32 %121, ptr %0, align 4, !tbaa !5
  store i32 %215, ptr %3, align 4, !tbaa !5
  store i32 %308, ptr %5, align 4, !tbaa !5
  store i32 %401, ptr %7, align 4, !tbaa !5
  store i32 %494, ptr %9, align 4, !tbaa !5
  store i32 %539, ptr %11, align 4, !tbaa !5
  ret void
}

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