; LLVM IR from IlyaGrebnov/libbsc :: libbsc/filters (detectors)

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

%struct.BscReorderingModel = type { [4 x [256 x %struct.anon.2]] }
%struct.anon.2 = type { [256 x i32] }

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

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

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

declare ptr @bsc_malloc(i64 noundef) #2

declare void @bsc_free(ptr noundef) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #3

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_Z23bsc_estimate_reorderingP18BscReorderingModeli(ptr noundef, i32 noundef) #4

; Function Attrs: mustprogress uwtable
define dso_local i32 @bsc_detect_recordsize(ptr noalias noundef %0, i32 noundef %1, i32 noundef %2) #4 {
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca [4 x i64], align 16
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i8, align 1
  %19 = alloca i8, align 1
  %20 = alloca i8, align 1
  %21 = alloca i8, align 1
  %22 = alloca i8, align 1
  %23 = alloca i8, align 1
  %24 = alloca i8, align 1
  %25 = alloca i8, align 1
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i8, align 1
  %30 = alloca i8, align 1
  %31 = alloca i8, align 1
  %32 = alloca i8, align 1
  %33 = alloca i8, align 1
  %34 = alloca i8, align 1
  %35 = alloca i8, align 1
  %36 = alloca i8, align 1
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i8, align 1
  %42 = alloca i8, align 1
  %43 = alloca i8, align 1
  %44 = alloca i8, align 1
  %45 = alloca i8, align 1
  %46 = alloca i8, align 1
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca i32, align 4
  %50 = alloca i32, align 4
  %51 = alloca i32, align 4
  %52 = alloca i8, align 1
  %53 = alloca i8, align 1
  %54 = alloca i8, align 1
  %55 = alloca i8, align 1
  %56 = alloca i8, align 1
  %57 = alloca i8, align 1
  %58 = alloca i8, align 1
  %59 = alloca i8, align 1
  %60 = alloca [4 x i32], align 16
  %61 = alloca i32, align 4
  %62 = alloca i32, align 4
  %63 = alloca i64, align 8
  %64 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store i32 %1, ptr %6, align 4, !tbaa !9
  store i32 %2, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  store i32 -2, ptr %8, align 4, !tbaa !9
  %65 = load i32, ptr %6, align 4, !tbaa !9
  %66 = icmp sgt i32 %65, 1179648
  br i1 %66, label %67, label %108

67:                                               ; preds = %3
  %68 = load i32, ptr %7, align 4, !tbaa !9
  %69 = and i32 %68, 1
  %70 = icmp ne i32 %69, 0
  br i1 %70, label %71, label %108

71:                                               ; preds = %67
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #5
  %72 = call ptr @bsc_malloc(i64 noundef 1179648)
  store ptr %72, ptr %9, align 8, !tbaa !5
  %73 = load ptr, ptr %9, align 8, !tbaa !5
  %74 = icmp ne ptr %73, null
  br i1 %74, label %75, label %106

75:                                               ; preds = %71
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  %76 = load i32, ptr %6, align 4, !tbaa !9
  %77 = sub nsw i32 %76, 1179648
  %78 = sdiv i32 %77, 48
  %79 = sdiv i32 %78, 48
  %80 = mul nsw i32 %79, 48
  store i32 %80, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  store i32 0, ptr %11, align 4, !tbaa !9
  br label %81

81:                                               ; preds = %98, %75
  %82 = load i32, ptr %11, align 4, !tbaa !9
  %83 = icmp slt i32 %82, 48
  br i1 %83, label %85, label %84

84:                                               ; preds = %81
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  br label %101

85:                                               ; preds = %81
  %86 = load ptr, ptr %9, align 8, !tbaa !5
  %87 = load i32, ptr %11, align 4, !tbaa !9
  %88 = mul nsw i32 %87, 24576
  %89 = sext i32 %88 to i64
  %90 = getelementptr inbounds i8, ptr %86, i64 %89
  %91 = load ptr, ptr %5, align 8, !tbaa !5
  %92 = load i32, ptr %11, align 4, !tbaa !9
  %93 = load i32, ptr %10, align 4, !tbaa !9
  %94 = add nsw i32 24576, %93
  %95 = mul nsw i32 %92, %94
  %96 = sext i32 %95 to i64
  %97 = getelementptr inbounds i8, ptr %91, i64 %96
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %90, ptr align 1 %97, i64 24576, i1 false)
  br label %98

98:                                               ; preds = %85
  %99 = load i32, ptr %11, align 4, !tbaa !9
  %100 = add nsw i32 %99, 1
  store i32 %100, ptr %11, align 4, !tbaa !9
  br label %81, !llvm.loop !11

101:                                              ; preds = %84
  %102 = load ptr, ptr %9, align 8, !tbaa !5
  %103 = load i32, ptr %7, align 4, !tbaa !9
  %104 = call i32 @bsc_detect_recordsize(ptr noundef %102, i32 noundef 1179648, i32 noundef %103)
  store i32 %104, ptr %8, align 4, !tbaa !9
  %105 = load ptr, ptr %9, align 8, !tbaa !5
  call void @bsc_free(ptr noundef %105)
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  br label %106

106:                                              ; preds = %101, %71
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #5
  %107 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %107, ptr %4, align 4
  store i32 1, ptr %12, align 4
  br label %880

108:                                              ; preds = %67, %3
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #5
  %109 = call ptr @bsc_malloc(i64 noundef 1048576)
  store ptr %109, ptr %13, align 8, !tbaa !5
  %110 = load ptr, ptr %13, align 8, !tbaa !5
  %111 = icmp ne ptr %110, null
  br i1 %111, label %112, label %878

112:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 32, ptr %14) #5
  %113 = load i32, ptr %6, align 4, !tbaa !9
  %114 = srem i32 %113, 48
  %115 = icmp ne i32 %114, 0
  br i1 %115, label %116, label %121

116:                                              ; preds = %112
  %117 = load i32, ptr %6, align 4, !tbaa !9
  %118 = load i32, ptr %6, align 4, !tbaa !9
  %119 = srem i32 %118, 48
  %120 = sub nsw i32 %117, %119
  store i32 %120, ptr %6, align 4, !tbaa !9
  br label %121

121:                                              ; preds = %116, %112
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  store i32 1, ptr %15, align 4, !tbaa !9
  br label %122

122:                                              ; preds = %842, %121
  %123 = load i32, ptr %15, align 4, !tbaa !9
  %124 = icmp sle i32 %123, 4
  br i1 %124, label %126, label %125

125:                                              ; preds = %122
  store i32 5, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  br label %845

126:                                              ; preds = %122
  %127 = load ptr, ptr %13, align 8, !tbaa !5
  call void @llvm.memset.p0.i64(ptr align 4 %127, i8 0, i64 1048576, i1 false)
  %128 = load i32, ptr %15, align 4, !tbaa !9
  %129 = icmp eq i32 %128, 1
  br i1 %129, label %130, label %301

130:                                              ; preds = %126
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  store i32 0, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #5
  store i32 0, ptr %17, align 4, !tbaa !9
  br label %131

131:                                              ; preds = %297, %130
  %132 = load i32, ptr %17, align 4, !tbaa !9
  %133 = load i32, ptr %6, align 4, !tbaa !9
  %134 = icmp slt i32 %132, %133
  br i1 %134, label %136, label %135

135:                                              ; preds = %131
  store i32 8, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  br label %300

136:                                              ; preds = %131
  call void @llvm.lifetime.start.p0(i64 1, ptr %18) #5
  %137 = load ptr, ptr %5, align 8, !tbaa !5
  %138 = load i32, ptr %17, align 4, !tbaa !9
  %139 = add nsw i32 %138, 0
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds i8, ptr %137, i64 %140
  %142 = load i8, ptr %141, align 1, !tbaa !13
  store i8 %142, ptr %18, align 1, !tbaa !13
  %143 = load ptr, ptr %13, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct.BscReorderingModel, ptr %143, i32 0, i32 0
  %145 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %144, i64 0, i64 0
  %146 = load i32, ptr %16, align 4, !tbaa !9
  %147 = sext i32 %146 to i64
  %148 = getelementptr inbounds [256 x %struct.anon.2], ptr %145, i64 0, i64 %147
  %149 = getelementptr inbounds %struct.anon.2, ptr %148, i32 0, i32 0
  %150 = load i8, ptr %18, align 1, !tbaa !13
  %151 = zext i8 %150 to i64
  %152 = getelementptr inbounds [256 x i32], ptr %149, i64 0, i64 %151
  %153 = load i32, ptr %152, align 4, !tbaa !9
  %154 = add nsw i32 %153, 1
  store i32 %154, ptr %152, align 4, !tbaa !9
  %155 = load i8, ptr %18, align 1, !tbaa !13
  %156 = zext i8 %155 to i32
  store i32 %156, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %19) #5
  %157 = load ptr, ptr %5, align 8, !tbaa !5
  %158 = load i32, ptr %17, align 4, !tbaa !9
  %159 = add nsw i32 %158, 1
  %160 = sext i32 %159 to i64
  %161 = getelementptr inbounds i8, ptr %157, i64 %160
  %162 = load i8, ptr %161, align 1, !tbaa !13
  store i8 %162, ptr %19, align 1, !tbaa !13
  %163 = load ptr, ptr %13, align 8, !tbaa !5
  %164 = getelementptr inbounds %struct.BscReorderingModel, ptr %163, i32 0, i32 0
  %165 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %164, i64 0, i64 0
  %166 = load i32, ptr %16, align 4, !tbaa !9
  %167 = sext i32 %166 to i64
  %168 = getelementptr inbounds [256 x %struct.anon.2], ptr %165, i64 0, i64 %167
  %169 = getelementptr inbounds %struct.anon.2, ptr %168, i32 0, i32 0
  %170 = load i8, ptr %19, align 1, !tbaa !13
  %171 = zext i8 %170 to i64
  %172 = getelementptr inbounds [256 x i32], ptr %169, i64 0, i64 %171
  %173 = load i32, ptr %172, align 4, !tbaa !9
  %174 = add nsw i32 %173, 1
  store i32 %174, ptr %172, align 4, !tbaa !9
  %175 = load i8, ptr %19, align 1, !tbaa !13
  %176 = zext i8 %175 to i32
  store i32 %176, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %20) #5
  %177 = load ptr, ptr %5, align 8, !tbaa !5
  %178 = load i32, ptr %17, align 4, !tbaa !9
  %179 = add nsw i32 %178, 2
  %180 = sext i32 %179 to i64
  %181 = getelementptr inbounds i8, ptr %177, i64 %180
  %182 = load i8, ptr %181, align 1, !tbaa !13
  store i8 %182, ptr %20, align 1, !tbaa !13
  %183 = load ptr, ptr %13, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct.BscReorderingModel, ptr %183, i32 0, i32 0
  %185 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %184, i64 0, i64 0
  %186 = load i32, ptr %16, align 4, !tbaa !9
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds [256 x %struct.anon.2], ptr %185, i64 0, i64 %187
  %189 = getelementptr inbounds %struct.anon.2, ptr %188, i32 0, i32 0
  %190 = load i8, ptr %20, align 1, !tbaa !13
  %191 = zext i8 %190 to i64
  %192 = getelementptr inbounds [256 x i32], ptr %189, i64 0, i64 %191
  %193 = load i32, ptr %192, align 4, !tbaa !9
  %194 = add nsw i32 %193, 1
  store i32 %194, ptr %192, align 4, !tbaa !9
  %195 = load i8, ptr %20, align 1, !tbaa !13
  %196 = zext i8 %195 to i32
  store i32 %196, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #5
  %197 = load ptr, ptr %5, align 8, !tbaa !5
  %198 = load i32, ptr %17, align 4, !tbaa !9
  %199 = add nsw i32 %198, 3
  %200 = sext i32 %199 to i64
  %201 = getelementptr inbounds i8, ptr %197, i64 %200
  %202 = load i8, ptr %201, align 1, !tbaa !13
  store i8 %202, ptr %21, align 1, !tbaa !13
  %203 = load ptr, ptr %13, align 8, !tbaa !5
  %204 = getelementptr inbounds %struct.BscReorderingModel, ptr %203, i32 0, i32 0
  %205 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %204, i64 0, i64 0
  %206 = load i32, ptr %16, align 4, !tbaa !9
  %207 = sext i32 %206 to i64
  %208 = getelementptr inbounds [256 x %struct.anon.2], ptr %205, i64 0, i64 %207
  %209 = getelementptr inbounds %struct.anon.2, ptr %208, i32 0, i32 0
  %210 = load i8, ptr %21, align 1, !tbaa !13
  %211 = zext i8 %210 to i64
  %212 = getelementptr inbounds [256 x i32], ptr %209, i64 0, i64 %211
  %213 = load i32, ptr %212, align 4, !tbaa !9
  %214 = add nsw i32 %213, 1
  store i32 %214, ptr %212, align 4, !tbaa !9
  %215 = load i8, ptr %21, align 1, !tbaa !13
  %216 = zext i8 %215 to i32
  store i32 %216, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %22) #5
  %217 = load ptr, ptr %5, align 8, !tbaa !5
  %218 = load i32, ptr %17, align 4, !tbaa !9
  %219 = add nsw i32 %218, 4
  %220 = sext i32 %219 to i64
  %221 = getelementptr inbounds i8, ptr %217, i64 %220
  %222 = load i8, ptr %221, align 1, !tbaa !13
  store i8 %222, ptr %22, align 1, !tbaa !13
  %223 = load ptr, ptr %13, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.BscReorderingModel, ptr %223, i32 0, i32 0
  %225 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %224, i64 0, i64 0
  %226 = load i32, ptr %16, align 4, !tbaa !9
  %227 = sext i32 %226 to i64
  %228 = getelementptr inbounds [256 x %struct.anon.2], ptr %225, i64 0, i64 %227
  %229 = getelementptr inbounds %struct.anon.2, ptr %228, i32 0, i32 0
  %230 = load i8, ptr %22, align 1, !tbaa !13
  %231 = zext i8 %230 to i64
  %232 = getelementptr inbounds [256 x i32], ptr %229, i64 0, i64 %231
  %233 = load i32, ptr %232, align 4, !tbaa !9
  %234 = add nsw i32 %233, 1
  store i32 %234, ptr %232, align 4, !tbaa !9
  %235 = load i8, ptr %22, align 1, !tbaa !13
  %236 = zext i8 %235 to i32
  store i32 %236, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %23) #5
  %237 = load ptr, ptr %5, align 8, !tbaa !5
  %238 = load i32, ptr %17, align 4, !tbaa !9
  %239 = add nsw i32 %238, 5
  %240 = sext i32 %239 to i64
  %241 = getelementptr inbounds i8, ptr %237, i64 %240
  %242 = load i8, ptr %241, align 1, !tbaa !13
  store i8 %242, ptr %23, align 1, !tbaa !13
  %243 = load ptr, ptr %13, align 8, !tbaa !5
  %244 = getelementptr inbounds %struct.BscReorderingModel, ptr %243, i32 0, i32 0
  %245 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %244, i64 0, i64 0
  %246 = load i32, ptr %16, align 4, !tbaa !9
  %247 = sext i32 %246 to i64
  %248 = getelementptr inbounds [256 x %struct.anon.2], ptr %245, i64 0, i64 %247
  %249 = getelementptr inbounds %struct.anon.2, ptr %248, i32 0, i32 0
  %250 = load i8, ptr %23, align 1, !tbaa !13
  %251 = zext i8 %250 to i64
  %252 = getelementptr inbounds [256 x i32], ptr %249, i64 0, i64 %251
  %253 = load i32, ptr %252, align 4, !tbaa !9
  %254 = add nsw i32 %253, 1
  store i32 %254, ptr %252, align 4, !tbaa !9
  %255 = load i8, ptr %23, align 1, !tbaa !13
  %256 = zext i8 %255 to i32
  store i32 %256, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %24) #5
  %257 = load ptr, ptr %5, align 8, !tbaa !5
  %258 = load i32, ptr %17, align 4, !tbaa !9
  %259 = add nsw i32 %258, 6
  %260 = sext i32 %259 to i64
  %261 = getelementptr inbounds i8, ptr %257, i64 %260
  %262 = load i8, ptr %261, align 1, !tbaa !13
  store i8 %262, ptr %24, align 1, !tbaa !13
  %263 = load ptr, ptr %13, align 8, !tbaa !5
  %264 = getelementptr inbounds %struct.BscReorderingModel, ptr %263, i32 0, i32 0
  %265 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %264, i64 0, i64 0
  %266 = load i32, ptr %16, align 4, !tbaa !9
  %267 = sext i32 %266 to i64
  %268 = getelementptr inbounds [256 x %struct.anon.2], ptr %265, i64 0, i64 %267
  %269 = getelementptr inbounds %struct.anon.2, ptr %268, i32 0, i32 0
  %270 = load i8, ptr %24, align 1, !tbaa !13
  %271 = zext i8 %270 to i64
  %272 = getelementptr inbounds [256 x i32], ptr %269, i64 0, i64 %271
  %273 = load i32, ptr %272, align 4, !tbaa !9
  %274 = add nsw i32 %273, 1
  store i32 %274, ptr %272, align 4, !tbaa !9
  %275 = load i8, ptr %24, align 1, !tbaa !13
  %276 = zext i8 %275 to i32
  store i32 %276, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %25) #5
  %277 = load ptr, ptr %5, align 8, !tbaa !5
  %278 = load i32, ptr %17, align 4, !tbaa !9
  %279 = add nsw i32 %278, 7
  %280 = sext i32 %279 to i64
  %281 = getelementptr inbounds i8, ptr %277, i64 %280
  %282 = load i8, ptr %281, align 1, !tbaa !13
  store i8 %282, ptr %25, align 1, !tbaa !13
  %283 = load ptr, ptr %13, align 8, !tbaa !5
  %284 = getelementptr inbounds %struct.BscReorderingModel, ptr %283, i32 0, i32 0
  %285 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %284, i64 0, i64 0
  %286 = load i32, ptr %16, align 4, !tbaa !9
  %287 = sext i32 %286 to i64
  %288 = getelementptr inbounds [256 x %struct.anon.2], ptr %285, i64 0, i64 %287
  %289 = getelementptr inbounds %struct.anon.2, ptr %288, i32 0, i32 0
  %290 = load i8, ptr %25, align 1, !tbaa !13
  %291 = zext i8 %290 to i64
  %292 = getelementptr inbounds [256 x i32], ptr %289, i64 0, i64 %291
  %293 = load i32, ptr %292, align 4, !tbaa !9
  %294 = add nsw i32 %293, 1
  store i32 %294, ptr %292, align 4, !tbaa !9
  %295 = load i8, ptr %25, align 1, !tbaa !13
  %296 = zext i8 %295 to i32
  store i32 %296, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #5
  br label %297

297:                                              ; preds = %136
  %298 = load i32, ptr %17, align 4, !tbaa !9
  %299 = add nsw i32 %298, 8
  store i32 %299, ptr %17, align 4, !tbaa !9
  br label %131, !llvm.loop !14

300:                                              ; preds = %135
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  br label %301

301:                                              ; preds = %300, %126
  %302 = load i32, ptr %15, align 4, !tbaa !9
  %303 = icmp eq i32 %302, 2
  br i1 %303, label %304, label %475

304:                                              ; preds = %301
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #5
  store i32 0, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #5
  store i32 0, ptr %27, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #5
  store i32 0, ptr %28, align 4, !tbaa !9
  br label %305

305:                                              ; preds = %471, %304
  %306 = load i32, ptr %28, align 4, !tbaa !9
  %307 = load i32, ptr %6, align 4, !tbaa !9
  %308 = icmp slt i32 %306, %307
  br i1 %308, label %310, label %309

309:                                              ; preds = %305
  store i32 11, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #5
  br label %474

310:                                              ; preds = %305
  call void @llvm.lifetime.start.p0(i64 1, ptr %29) #5
  %311 = load ptr, ptr %5, align 8, !tbaa !5
  %312 = load i32, ptr %28, align 4, !tbaa !9
  %313 = add nsw i32 %312, 0
  %314 = sext i32 %313 to i64
  %315 = getelementptr inbounds i8, ptr %311, i64 %314
  %316 = load i8, ptr %315, align 1, !tbaa !13
  store i8 %316, ptr %29, align 1, !tbaa !13
  %317 = load ptr, ptr %13, align 8, !tbaa !5
  %318 = getelementptr inbounds %struct.BscReorderingModel, ptr %317, i32 0, i32 0
  %319 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %318, i64 0, i64 0
  %320 = load i32, ptr %26, align 4, !tbaa !9
  %321 = sext i32 %320 to i64
  %322 = getelementptr inbounds [256 x %struct.anon.2], ptr %319, i64 0, i64 %321
  %323 = getelementptr inbounds %struct.anon.2, ptr %322, i32 0, i32 0
  %324 = load i8, ptr %29, align 1, !tbaa !13
  %325 = zext i8 %324 to i64
  %326 = getelementptr inbounds [256 x i32], ptr %323, i64 0, i64 %325
  %327 = load i32, ptr %326, align 4, !tbaa !9
  %328 = add nsw i32 %327, 1
  store i32 %328, ptr %326, align 4, !tbaa !9
  %329 = load i8, ptr %29, align 1, !tbaa !13
  %330 = zext i8 %329 to i32
  store i32 %330, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %30) #5
  %331 = load ptr, ptr %5, align 8, !tbaa !5
  %332 = load i32, ptr %28, align 4, !tbaa !9
  %333 = add nsw i32 %332, 1
  %334 = sext i32 %333 to i64
  %335 = getelementptr inbounds i8, ptr %331, i64 %334
  %336 = load i8, ptr %335, align 1, !tbaa !13
  store i8 %336, ptr %30, align 1, !tbaa !13
  %337 = load ptr, ptr %13, align 8, !tbaa !5
  %338 = getelementptr inbounds %struct.BscReorderingModel, ptr %337, i32 0, i32 0
  %339 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %338, i64 0, i64 1
  %340 = load i32, ptr %27, align 4, !tbaa !9
  %341 = sext i32 %340 to i64
  %342 = getelementptr inbounds [256 x %struct.anon.2], ptr %339, i64 0, i64 %341
  %343 = getelementptr inbounds %struct.anon.2, ptr %342, i32 0, i32 0
  %344 = load i8, ptr %30, align 1, !tbaa !13
  %345 = zext i8 %344 to i64
  %346 = getelementptr inbounds [256 x i32], ptr %343, i64 0, i64 %345
  %347 = load i32, ptr %346, align 4, !tbaa !9
  %348 = add nsw i32 %347, 1
  store i32 %348, ptr %346, align 4, !tbaa !9
  %349 = load i8, ptr %30, align 1, !tbaa !13
  %350 = zext i8 %349 to i32
  store i32 %350, ptr %27, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %31) #5
  %351 = load ptr, ptr %5, align 8, !tbaa !5
  %352 = load i32, ptr %28, align 4, !tbaa !9
  %353 = add nsw i32 %352, 2
  %354 = sext i32 %353 to i64
  %355 = getelementptr inbounds i8, ptr %351, i64 %354
  %356 = load i8, ptr %355, align 1, !tbaa !13
  store i8 %356, ptr %31, align 1, !tbaa !13
  %357 = load ptr, ptr %13, align 8, !tbaa !5
  %358 = getelementptr inbounds %struct.BscReorderingModel, ptr %357, i32 0, i32 0
  %359 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %358, i64 0, i64 0
  %360 = load i32, ptr %26, align 4, !tbaa !9
  %361 = sext i32 %360 to i64
  %362 = getelementptr inbounds [256 x %struct.anon.2], ptr %359, i64 0, i64 %361
  %363 = getelementptr inbounds %struct.anon.2, ptr %362, i32 0, i32 0
  %364 = load i8, ptr %31, align 1, !tbaa !13
  %365 = zext i8 %364 to i64
  %366 = getelementptr inbounds [256 x i32], ptr %363, i64 0, i64 %365
  %367 = load i32, ptr %366, align 4, !tbaa !9
  %368 = add nsw i32 %367, 1
  store i32 %368, ptr %366, align 4, !tbaa !9
  %369 = load i8, ptr %31, align 1, !tbaa !13
  %370 = zext i8 %369 to i32
  store i32 %370, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %32) #5
  %371 = load ptr, ptr %5, align 8, !tbaa !5
  %372 = load i32, ptr %28, align 4, !tbaa !9
  %373 = add nsw i32 %372, 3
  %374 = sext i32 %373 to i64
  %375 = getelementptr inbounds i8, ptr %371, i64 %374
  %376 = load i8, ptr %375, align 1, !tbaa !13
  store i8 %376, ptr %32, align 1, !tbaa !13
  %377 = load ptr, ptr %13, align 8, !tbaa !5
  %378 = getelementptr inbounds %struct.BscReorderingModel, ptr %377, i32 0, i32 0
  %379 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %378, i64 0, i64 1
  %380 = load i32, ptr %27, align 4, !tbaa !9
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds [256 x %struct.anon.2], ptr %379, i64 0, i64 %381
  %383 = getelementptr inbounds %struct.anon.2, ptr %382, i32 0, i32 0
  %384 = load i8, ptr %32, align 1, !tbaa !13
  %385 = zext i8 %384 to i64
  %386 = getelementptr inbounds [256 x i32], ptr %383, i64 0, i64 %385
  %387 = load i32, ptr %386, align 4, !tbaa !9
  %388 = add nsw i32 %387, 1
  store i32 %388, ptr %386, align 4, !tbaa !9
  %389 = load i8, ptr %32, align 1, !tbaa !13
  %390 = zext i8 %389 to i32
  store i32 %390, ptr %27, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %33) #5
  %391 = load ptr, ptr %5, align 8, !tbaa !5
  %392 = load i32, ptr %28, align 4, !tbaa !9
  %393 = add nsw i32 %392, 4
  %394 = sext i32 %393 to i64
  %395 = getelementptr inbounds i8, ptr %391, i64 %394
  %396 = load i8, ptr %395, align 1, !tbaa !13
  store i8 %396, ptr %33, align 1, !tbaa !13
  %397 = load ptr, ptr %13, align 8, !tbaa !5
  %398 = getelementptr inbounds %struct.BscReorderingModel, ptr %397, i32 0, i32 0
  %399 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %398, i64 0, i64 0
  %400 = load i32, ptr %26, align 4, !tbaa !9
  %401 = sext i32 %400 to i64
  %402 = getelementptr inbounds [256 x %struct.anon.2], ptr %399, i64 0, i64 %401
  %403 = getelementptr inbounds %struct.anon.2, ptr %402, i32 0, i32 0
  %404 = load i8, ptr %33, align 1, !tbaa !13
  %405 = zext i8 %404 to i64
  %406 = getelementptr inbounds [256 x i32], ptr %403, i64 0, i64 %405
  %407 = load i32, ptr %406, align 4, !tbaa !9
  %408 = add nsw i32 %407, 1
  store i32 %408, ptr %406, align 4, !tbaa !9
  %409 = load i8, ptr %33, align 1, !tbaa !13
  %410 = zext i8 %409 to i32
  store i32 %410, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %34) #5
  %411 = load ptr, ptr %5, align 8, !tbaa !5
  %412 = load i32, ptr %28, align 4, !tbaa !9
  %413 = add nsw i32 %412, 5
  %414 = sext i32 %413 to i64
  %415 = getelementptr inbounds i8, ptr %411, i64 %414
  %416 = load i8, ptr %415, align 1, !tbaa !13
  store i8 %416, ptr %34, align 1, !tbaa !13
  %417 = load ptr, ptr %13, align 8, !tbaa !5
  %418 = getelementptr inbounds %struct.BscReorderingModel, ptr %417, i32 0, i32 0
  %419 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %418, i64 0, i64 1
  %420 = load i32, ptr %27, align 4, !tbaa !9
  %421 = sext i32 %420 to i64
  %422 = getelementptr inbounds [256 x %struct.anon.2], ptr %419, i64 0, i64 %421
  %423 = getelementptr inbounds %struct.anon.2, ptr %422, i32 0, i32 0
  %424 = load i8, ptr %34, align 1, !tbaa !13
  %425 = zext i8 %424 to i64
  %426 = getelementptr inbounds [256 x i32], ptr %423, i64 0, i64 %425
  %427 = load i32, ptr %426, align 4, !tbaa !9
  %428 = add nsw i32 %427, 1
  store i32 %428, ptr %426, align 4, !tbaa !9
  %429 = load i8, ptr %34, align 1, !tbaa !13
  %430 = zext i8 %429 to i32
  store i32 %430, ptr %27, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %35) #5
  %431 = load ptr, ptr %5, align 8, !tbaa !5
  %432 = load i32, ptr %28, align 4, !tbaa !9
  %433 = add nsw i32 %432, 6
  %434 = sext i32 %433 to i64
  %435 = getelementptr inbounds i8, ptr %431, i64 %434
  %436 = load i8, ptr %435, align 1, !tbaa !13
  store i8 %436, ptr %35, align 1, !tbaa !13
  %437 = load ptr, ptr %13, align 8, !tbaa !5
  %438 = getelementptr inbounds %struct.BscReorderingModel, ptr %437, i32 0, i32 0
  %439 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %438, i64 0, i64 0
  %440 = load i32, ptr %26, align 4, !tbaa !9
  %441 = sext i32 %440 to i64
  %442 = getelementptr inbounds [256 x %struct.anon.2], ptr %439, i64 0, i64 %441
  %443 = getelementptr inbounds %struct.anon.2, ptr %442, i32 0, i32 0
  %444 = load i8, ptr %35, align 1, !tbaa !13
  %445 = zext i8 %444 to i64
  %446 = getelementptr inbounds [256 x i32], ptr %443, i64 0, i64 %445
  %447 = load i32, ptr %446, align 4, !tbaa !9
  %448 = add nsw i32 %447, 1
  store i32 %448, ptr %446, align 4, !tbaa !9
  %449 = load i8, ptr %35, align 1, !tbaa !13
  %450 = zext i8 %449 to i32
  store i32 %450, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %36) #5
  %451 = load ptr, ptr %5, align 8, !tbaa !5
  %452 = load i32, ptr %28, align 4, !tbaa !9
  %453 = add nsw i32 %452, 7
  %454 = sext i32 %453 to i64
  %455 = getelementptr inbounds i8, ptr %451, i64 %454
  %456 = load i8, ptr %455, align 1, !tbaa !13
  store i8 %456, ptr %36, align 1, !tbaa !13
  %457 = load ptr, ptr %13, align 8, !tbaa !5
  %458 = getelementptr inbounds %struct.BscReorderingModel, ptr %457, i32 0, i32 0
  %459 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %458, i64 0, i64 1
  %460 = load i32, ptr %27, align 4, !tbaa !9
  %461 = sext i32 %460 to i64
  %462 = getelementptr inbounds [256 x %struct.anon.2], ptr %459, i64 0, i64 %461
  %463 = getelementptr inbounds %struct.anon.2, ptr %462, i32 0, i32 0
  %464 = load i8, ptr %36, align 1, !tbaa !13
  %465 = zext i8 %464 to i64
  %466 = getelementptr inbounds [256 x i32], ptr %463, i64 0, i64 %465
  %467 = load i32, ptr %466, align 4, !tbaa !9
  %468 = add nsw i32 %467, 1
  store i32 %468, ptr %466, align 4, !tbaa !9
  %469 = load i8, ptr %36, align 1, !tbaa !13
  %470 = zext i8 %469 to i32
  store i32 %470, ptr %27, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %35) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %33) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %31) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #5
  br label %471

471:                                              ; preds = %310
  %472 = load i32, ptr %28, align 4, !tbaa !9
  %473 = add nsw i32 %472, 8
  store i32 %473, ptr %28, align 4, !tbaa !9
  br label %305, !llvm.loop !15

474:                                              ; preds = %309
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  br label %475

475:                                              ; preds = %474, %301
  %476 = load i32, ptr %15, align 4, !tbaa !9
  %477 = icmp eq i32 %476, 3
  br i1 %477, label %478, label %609

478:                                              ; preds = %475
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #5
  store i32 0, ptr %37, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #5
  store i32 0, ptr %38, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #5
  store i32 0, ptr %39, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #5
  store i32 0, ptr %40, align 4, !tbaa !9
  br label %479

479:                                              ; preds = %605, %478
  %480 = load i32, ptr %40, align 4, !tbaa !9
  %481 = load i32, ptr %6, align 4, !tbaa !9
  %482 = icmp slt i32 %480, %481
  br i1 %482, label %484, label %483

483:                                              ; preds = %479
  store i32 14, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #5
  br label %608

484:                                              ; preds = %479
  call void @llvm.lifetime.start.p0(i64 1, ptr %41) #5
  %485 = load ptr, ptr %5, align 8, !tbaa !5
  %486 = load i32, ptr %40, align 4, !tbaa !9
  %487 = add nsw i32 %486, 0
  %488 = sext i32 %487 to i64
  %489 = getelementptr inbounds i8, ptr %485, i64 %488
  %490 = load i8, ptr %489, align 1, !tbaa !13
  store i8 %490, ptr %41, align 1, !tbaa !13
  %491 = load ptr, ptr %13, align 8, !tbaa !5
  %492 = getelementptr inbounds %struct.BscReorderingModel, ptr %491, i32 0, i32 0
  %493 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %492, i64 0, i64 0
  %494 = load i32, ptr %37, align 4, !tbaa !9
  %495 = sext i32 %494 to i64
  %496 = getelementptr inbounds [256 x %struct.anon.2], ptr %493, i64 0, i64 %495
  %497 = getelementptr inbounds %struct.anon.2, ptr %496, i32 0, i32 0
  %498 = load i8, ptr %41, align 1, !tbaa !13
  %499 = zext i8 %498 to i64
  %500 = getelementptr inbounds [256 x i32], ptr %497, i64 0, i64 %499
  %501 = load i32, ptr %500, align 4, !tbaa !9
  %502 = add nsw i32 %501, 1
  store i32 %502, ptr %500, align 4, !tbaa !9
  %503 = load i8, ptr %41, align 1, !tbaa !13
  %504 = zext i8 %503 to i32
  store i32 %504, ptr %37, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %42) #5
  %505 = load ptr, ptr %5, align 8, !tbaa !5
  %506 = load i32, ptr %40, align 4, !tbaa !9
  %507 = add nsw i32 %506, 1
  %508 = sext i32 %507 to i64
  %509 = getelementptr inbounds i8, ptr %505, i64 %508
  %510 = load i8, ptr %509, align 1, !tbaa !13
  store i8 %510, ptr %42, align 1, !tbaa !13
  %511 = load ptr, ptr %13, align 8, !tbaa !5
  %512 = getelementptr inbounds %struct.BscReorderingModel, ptr %511, i32 0, i32 0
  %513 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %512, i64 0, i64 1
  %514 = load i32, ptr %38, align 4, !tbaa !9
  %515 = sext i32 %514 to i64
  %516 = getelementptr inbounds [256 x %struct.anon.2], ptr %513, i64 0, i64 %515
  %517 = getelementptr inbounds %struct.anon.2, ptr %516, i32 0, i32 0
  %518 = load i8, ptr %42, align 1, !tbaa !13
  %519 = zext i8 %518 to i64
  %520 = getelementptr inbounds [256 x i32], ptr %517, i64 0, i64 %519
  %521 = load i32, ptr %520, align 4, !tbaa !9
  %522 = add nsw i32 %521, 1
  store i32 %522, ptr %520, align 4, !tbaa !9
  %523 = load i8, ptr %42, align 1, !tbaa !13
  %524 = zext i8 %523 to i32
  store i32 %524, ptr %38, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %43) #5
  %525 = load ptr, ptr %5, align 8, !tbaa !5
  %526 = load i32, ptr %40, align 4, !tbaa !9
  %527 = add nsw i32 %526, 2
  %528 = sext i32 %527 to i64
  %529 = getelementptr inbounds i8, ptr %525, i64 %528
  %530 = load i8, ptr %529, align 1, !tbaa !13
  store i8 %530, ptr %43, align 1, !tbaa !13
  %531 = load ptr, ptr %13, align 8, !tbaa !5
  %532 = getelementptr inbounds %struct.BscReorderingModel, ptr %531, i32 0, i32 0
  %533 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %532, i64 0, i64 2
  %534 = load i32, ptr %39, align 4, !tbaa !9
  %535 = sext i32 %534 to i64
  %536 = getelementptr inbounds [256 x %struct.anon.2], ptr %533, i64 0, i64 %535
  %537 = getelementptr inbounds %struct.anon.2, ptr %536, i32 0, i32 0
  %538 = load i8, ptr %43, align 1, !tbaa !13
  %539 = zext i8 %538 to i64
  %540 = getelementptr inbounds [256 x i32], ptr %537, i64 0, i64 %539
  %541 = load i32, ptr %540, align 4, !tbaa !9
  %542 = add nsw i32 %541, 1
  store i32 %542, ptr %540, align 4, !tbaa !9
  %543 = load i8, ptr %43, align 1, !tbaa !13
  %544 = zext i8 %543 to i32
  store i32 %544, ptr %39, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %44) #5
  %545 = load ptr, ptr %5, align 8, !tbaa !5
  %546 = load i32, ptr %40, align 4, !tbaa !9
  %547 = add nsw i32 %546, 3
  %548 = sext i32 %547 to i64
  %549 = getelementptr inbounds i8, ptr %545, i64 %548
  %550 = load i8, ptr %549, align 1, !tbaa !13
  store i8 %550, ptr %44, align 1, !tbaa !13
  %551 = load ptr, ptr %13, align 8, !tbaa !5
  %552 = getelementptr inbounds %struct.BscReorderingModel, ptr %551, i32 0, i32 0
  %553 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %552, i64 0, i64 0
  %554 = load i32, ptr %37, align 4, !tbaa !9
  %555 = sext i32 %554 to i64
  %556 = getelementptr inbounds [256 x %struct.anon.2], ptr %553, i64 0, i64 %555
  %557 = getelementptr inbounds %struct.anon.2, ptr %556, i32 0, i32 0
  %558 = load i8, ptr %44, align 1, !tbaa !13
  %559 = zext i8 %558 to i64
  %560 = getelementptr inbounds [256 x i32], ptr %557, i64 0, i64 %559
  %561 = load i32, ptr %560, align 4, !tbaa !9
  %562 = add nsw i32 %561, 1
  store i32 %562, ptr %560, align 4, !tbaa !9
  %563 = load i8, ptr %44, align 1, !tbaa !13
  %564 = zext i8 %563 to i32
  store i32 %564, ptr %37, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %45) #5
  %565 = load ptr, ptr %5, align 8, !tbaa !5
  %566 = load i32, ptr %40, align 4, !tbaa !9
  %567 = add nsw i32 %566, 4
  %568 = sext i32 %567 to i64
  %569 = getelementptr inbounds i8, ptr %565, i64 %568
  %570 = load i8, ptr %569, align 1, !tbaa !13
  store i8 %570, ptr %45, align 1, !tbaa !13
  %571 = load ptr, ptr %13, align 8, !tbaa !5
  %572 = getelementptr inbounds %struct.BscReorderingModel, ptr %571, i32 0, i32 0
  %573 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %572, i64 0, i64 1
  %574 = load i32, ptr %38, align 4, !tbaa !9
  %575 = sext i32 %574 to i64
  %576 = getelementptr inbounds [256 x %struct.anon.2], ptr %573, i64 0, i64 %575
  %577 = getelementptr inbounds %struct.anon.2, ptr %576, i32 0, i32 0
  %578 = load i8, ptr %45, align 1, !tbaa !13
  %579 = zext i8 %578 to i64
  %580 = getelementptr inbounds [256 x i32], ptr %577, i64 0, i64 %579
  %581 = load i32, ptr %580, align 4, !tbaa !9
  %582 = add nsw i32 %581, 1
  store i32 %582, ptr %580, align 4, !tbaa !9
  %583 = load i8, ptr %45, align 1, !tbaa !13
  %584 = zext i8 %583 to i32
  store i32 %584, ptr %38, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %46) #5
  %585 = load ptr, ptr %5, align 8, !tbaa !5
  %586 = load i32, ptr %40, align 4, !tbaa !9
  %587 = add nsw i32 %586, 5
  %588 = sext i32 %587 to i64
  %589 = getelementptr inbounds i8, ptr %585, i64 %588
  %590 = load i8, ptr %589, align 1, !tbaa !13
  store i8 %590, ptr %46, align 1, !tbaa !13
  %591 = load ptr, ptr %13, align 8, !tbaa !5
  %592 = getelementptr inbounds %struct.BscReorderingModel, ptr %591, i32 0, i32 0
  %593 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %592, i64 0, i64 2
  %594 = load i32, ptr %39, align 4, !tbaa !9
  %595 = sext i32 %594 to i64
  %596 = getelementptr inbounds [256 x %struct.anon.2], ptr %593, i64 0, i64 %595
  %597 = getelementptr inbounds %struct.anon.2, ptr %596, i32 0, i32 0
  %598 = load i8, ptr %46, align 1, !tbaa !13
  %599 = zext i8 %598 to i64
  %600 = getelementptr inbounds [256 x i32], ptr %597, i64 0, i64 %599
  %601 = load i32, ptr %600, align 4, !tbaa !9
  %602 = add nsw i32 %601, 1
  store i32 %602, ptr %600, align 4, !tbaa !9
  %603 = load i8, ptr %46, align 1, !tbaa !13
  %604 = zext i8 %603 to i32
  store i32 %604, ptr %39, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %46) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %45) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %42) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %41) #5
  br label %605

605:                                              ; preds = %484
  %606 = load i32, ptr %40, align 4, !tbaa !9
  %607 = add nsw i32 %606, 6
  store i32 %607, ptr %40, align 4, !tbaa !9
  br label %479, !llvm.loop !16

608:                                              ; preds = %483
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #5
  br label %609

609:                                              ; preds = %608, %475
  %610 = load i32, ptr %15, align 4, !tbaa !9
  %611 = icmp eq i32 %610, 4
  br i1 %611, label %612, label %783

612:                                              ; preds = %609
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #5
  store i32 0, ptr %47, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #5
  store i32 0, ptr %48, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #5
  store i32 0, ptr %49, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #5
  store i32 0, ptr %50, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #5
  store i32 0, ptr %51, align 4, !tbaa !9
  br label %613

613:                                              ; preds = %779, %612
  %614 = load i32, ptr %51, align 4, !tbaa !9
  %615 = load i32, ptr %6, align 4, !tbaa !9
  %616 = icmp slt i32 %614, %615
  br i1 %616, label %618, label %617

617:                                              ; preds = %613
  store i32 17, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #5
  br label %782

618:                                              ; preds = %613
  call void @llvm.lifetime.start.p0(i64 1, ptr %52) #5
  %619 = load ptr, ptr %5, align 8, !tbaa !5
  %620 = load i32, ptr %51, align 4, !tbaa !9
  %621 = add nsw i32 %620, 0
  %622 = sext i32 %621 to i64
  %623 = getelementptr inbounds i8, ptr %619, i64 %622
  %624 = load i8, ptr %623, align 1, !tbaa !13
  store i8 %624, ptr %52, align 1, !tbaa !13
  %625 = load ptr, ptr %13, align 8, !tbaa !5
  %626 = getelementptr inbounds %struct.BscReorderingModel, ptr %625, i32 0, i32 0
  %627 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %626, i64 0, i64 0
  %628 = load i32, ptr %47, align 4, !tbaa !9
  %629 = sext i32 %628 to i64
  %630 = getelementptr inbounds [256 x %struct.anon.2], ptr %627, i64 0, i64 %629
  %631 = getelementptr inbounds %struct.anon.2, ptr %630, i32 0, i32 0
  %632 = load i8, ptr %52, align 1, !tbaa !13
  %633 = zext i8 %632 to i64
  %634 = getelementptr inbounds [256 x i32], ptr %631, i64 0, i64 %633
  %635 = load i32, ptr %634, align 4, !tbaa !9
  %636 = add nsw i32 %635, 1
  store i32 %636, ptr %634, align 4, !tbaa !9
  %637 = load i8, ptr %52, align 1, !tbaa !13
  %638 = zext i8 %637 to i32
  store i32 %638, ptr %47, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %53) #5
  %639 = load ptr, ptr %5, align 8, !tbaa !5
  %640 = load i32, ptr %51, align 4, !tbaa !9
  %641 = add nsw i32 %640, 1
  %642 = sext i32 %641 to i64
  %643 = getelementptr inbounds i8, ptr %639, i64 %642
  %644 = load i8, ptr %643, align 1, !tbaa !13
  store i8 %644, ptr %53, align 1, !tbaa !13
  %645 = load ptr, ptr %13, align 8, !tbaa !5
  %646 = getelementptr inbounds %struct.BscReorderingModel, ptr %645, i32 0, i32 0
  %647 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %646, i64 0, i64 1
  %648 = load i32, ptr %48, align 4, !tbaa !9
  %649 = sext i32 %648 to i64
  %650 = getelementptr inbounds [256 x %struct.anon.2], ptr %647, i64 0, i64 %649
  %651 = getelementptr inbounds %struct.anon.2, ptr %650, i32 0, i32 0
  %652 = load i8, ptr %53, align 1, !tbaa !13
  %653 = zext i8 %652 to i64
  %654 = getelementptr inbounds [256 x i32], ptr %651, i64 0, i64 %653
  %655 = load i32, ptr %654, align 4, !tbaa !9
  %656 = add nsw i32 %655, 1
  store i32 %656, ptr %654, align 4, !tbaa !9
  %657 = load i8, ptr %53, align 1, !tbaa !13
  %658 = zext i8 %657 to i32
  store i32 %658, ptr %48, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %54) #5
  %659 = load ptr, ptr %5, align 8, !tbaa !5
  %660 = load i32, ptr %51, align 4, !tbaa !9
  %661 = add nsw i32 %660, 2
  %662 = sext i32 %661 to i64
  %663 = getelementptr inbounds i8, ptr %659, i64 %662
  %664 = load i8, ptr %663, align 1, !tbaa !13
  store i8 %664, ptr %54, align 1, !tbaa !13
  %665 = load ptr, ptr %13, align 8, !tbaa !5
  %666 = getelementptr inbounds %struct.BscReorderingModel, ptr %665, i32 0, i32 0
  %667 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %666, i64 0, i64 2
  %668 = load i32, ptr %49, align 4, !tbaa !9
  %669 = sext i32 %668 to i64
  %670 = getelementptr inbounds [256 x %struct.anon.2], ptr %667, i64 0, i64 %669
  %671 = getelementptr inbounds %struct.anon.2, ptr %670, i32 0, i32 0
  %672 = load i8, ptr %54, align 1, !tbaa !13
  %673 = zext i8 %672 to i64
  %674 = getelementptr inbounds [256 x i32], ptr %671, i64 0, i64 %673
  %675 = load i32, ptr %674, align 4, !tbaa !9
  %676 = add nsw i32 %675, 1
  store i32 %676, ptr %674, align 4, !tbaa !9
  %677 = load i8, ptr %54, align 1, !tbaa !13
  %678 = zext i8 %677 to i32
  store i32 %678, ptr %49, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %55) #5
  %679 = load ptr, ptr %5, align 8, !tbaa !5
  %680 = load i32, ptr %51, align 4, !tbaa !9
  %681 = add nsw i32 %680, 3
  %682 = sext i32 %681 to i64
  %683 = getelementptr inbounds i8, ptr %679, i64 %682
  %684 = load i8, ptr %683, align 1, !tbaa !13
  store i8 %684, ptr %55, align 1, !tbaa !13
  %685 = load ptr, ptr %13, align 8, !tbaa !5
  %686 = getelementptr inbounds %struct.BscReorderingModel, ptr %685, i32 0, i32 0
  %687 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %686, i64 0, i64 3
  %688 = load i32, ptr %50, align 4, !tbaa !9
  %689 = sext i32 %688 to i64
  %690 = getelementptr inbounds [256 x %struct.anon.2], ptr %687, i64 0, i64 %689
  %691 = getelementptr inbounds %struct.anon.2, ptr %690, i32 0, i32 0
  %692 = load i8, ptr %55, align 1, !tbaa !13
  %693 = zext i8 %692 to i64
  %694 = getelementptr inbounds [256 x i32], ptr %691, i64 0, i64 %693
  %695 = load i32, ptr %694, align 4, !tbaa !9
  %696 = add nsw i32 %695, 1
  store i32 %696, ptr %694, align 4, !tbaa !9
  %697 = load i8, ptr %55, align 1, !tbaa !13
  %698 = zext i8 %697 to i32
  store i32 %698, ptr %50, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %56) #5
  %699 = load ptr, ptr %5, align 8, !tbaa !5
  %700 = load i32, ptr %51, align 4, !tbaa !9
  %701 = add nsw i32 %700, 4
  %702 = sext i32 %701 to i64
  %703 = getelementptr inbounds i8, ptr %699, i64 %702
  %704 = load i8, ptr %703, align 1, !tbaa !13
  store i8 %704, ptr %56, align 1, !tbaa !13
  %705 = load ptr, ptr %13, align 8, !tbaa !5
  %706 = getelementptr inbounds %struct.BscReorderingModel, ptr %705, i32 0, i32 0
  %707 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %706, i64 0, i64 0
  %708 = load i32, ptr %47, align 4, !tbaa !9
  %709 = sext i32 %708 to i64
  %710 = getelementptr inbounds [256 x %struct.anon.2], ptr %707, i64 0, i64 %709
  %711 = getelementptr inbounds %struct.anon.2, ptr %710, i32 0, i32 0
  %712 = load i8, ptr %56, align 1, !tbaa !13
  %713 = zext i8 %712 to i64
  %714 = getelementptr inbounds [256 x i32], ptr %711, i64 0, i64 %713
  %715 = load i32, ptr %714, align 4, !tbaa !9
  %716 = add nsw i32 %715, 1
  store i32 %716, ptr %714, align 4, !tbaa !9
  %717 = load i8, ptr %56, align 1, !tbaa !13
  %718 = zext i8 %717 to i32
  store i32 %718, ptr %47, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %57) #5
  %719 = load ptr, ptr %5, align 8, !tbaa !5
  %720 = load i32, ptr %51, align 4, !tbaa !9
  %721 = add nsw i32 %720, 5
  %722 = sext i32 %721 to i64
  %723 = getelementptr inbounds i8, ptr %719, i64 %722
  %724 = load i8, ptr %723, align 1, !tbaa !13
  store i8 %724, ptr %57, align 1, !tbaa !13
  %725 = load ptr, ptr %13, align 8, !tbaa !5
  %726 = getelementptr inbounds %struct.BscReorderingModel, ptr %725, i32 0, i32 0
  %727 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %726, i64 0, i64 1
  %728 = load i32, ptr %48, align 4, !tbaa !9
  %729 = sext i32 %728 to i64
  %730 = getelementptr inbounds [256 x %struct.anon.2], ptr %727, i64 0, i64 %729
  %731 = getelementptr inbounds %struct.anon.2, ptr %730, i32 0, i32 0
  %732 = load i8, ptr %57, align 1, !tbaa !13
  %733 = zext i8 %732 to i64
  %734 = getelementptr inbounds [256 x i32], ptr %731, i64 0, i64 %733
  %735 = load i32, ptr %734, align 4, !tbaa !9
  %736 = add nsw i32 %735, 1
  store i32 %736, ptr %734, align 4, !tbaa !9
  %737 = load i8, ptr %57, align 1, !tbaa !13
  %738 = zext i8 %737 to i32
  store i32 %738, ptr %48, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %58) #5
  %739 = load ptr, ptr %5, align 8, !tbaa !5
  %740 = load i32, ptr %51, align 4, !tbaa !9
  %741 = add nsw i32 %740, 6
  %742 = sext i32 %741 to i64
  %743 = getelementptr inbounds i8, ptr %739, i64 %742
  %744 = load i8, ptr %743, align 1, !tbaa !13
  store i8 %744, ptr %58, align 1, !tbaa !13
  %745 = load ptr, ptr %13, align 8, !tbaa !5
  %746 = getelementptr inbounds %struct.BscReorderingModel, ptr %745, i32 0, i32 0
  %747 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %746, i64 0, i64 2
  %748 = load i32, ptr %49, align 4, !tbaa !9
  %749 = sext i32 %748 to i64
  %750 = getelementptr inbounds [256 x %struct.anon.2], ptr %747, i64 0, i64 %749
  %751 = getelementptr inbounds %struct.anon.2, ptr %750, i32 0, i32 0
  %752 = load i8, ptr %58, align 1, !tbaa !13
  %753 = zext i8 %752 to i64
  %754 = getelementptr inbounds [256 x i32], ptr %751, i64 0, i64 %753
  %755 = load i32, ptr %754, align 4, !tbaa !9
  %756 = add nsw i32 %755, 1
  store i32 %756, ptr %754, align 4, !tbaa !9
  %757 = load i8, ptr %58, align 1, !tbaa !13
  %758 = zext i8 %757 to i32
  store i32 %758, ptr %49, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %59) #5
  %759 = load ptr, ptr %5, align 8, !tbaa !5
  %760 = load i32, ptr %51, align 4, !tbaa !9
  %761 = add nsw i32 %760, 7
  %762 = sext i32 %761 to i64
  %763 = getelementptr inbounds i8, ptr %759, i64 %762
  %764 = load i8, ptr %763, align 1, !tbaa !13
  store i8 %764, ptr %59, align 1, !tbaa !13
  %765 = load ptr, ptr %13, align 8, !tbaa !5
  %766 = getelementptr inbounds %struct.BscReorderingModel, ptr %765, i32 0, i32 0
  %767 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %766, i64 0, i64 3
  %768 = load i32, ptr %50, align 4, !tbaa !9
  %769 = sext i32 %768 to i64
  %770 = getelementptr inbounds [256 x %struct.anon.2], ptr %767, i64 0, i64 %769
  %771 = getelementptr inbounds %struct.anon.2, ptr %770, i32 0, i32 0
  %772 = load i8, ptr %59, align 1, !tbaa !13
  %773 = zext i8 %772 to i64
  %774 = getelementptr inbounds [256 x i32], ptr %771, i64 0, i64 %773
  %775 = load i32, ptr %774, align 4, !tbaa !9
  %776 = add nsw i32 %775, 1
  store i32 %776, ptr %774, align 4, !tbaa !9
  %777 = load i8, ptr %59, align 1, !tbaa !13
  %778 = zext i8 %777 to i32
  store i32 %778, ptr %50, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %59) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %58) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %57) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %56) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %55) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %53) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %52) #5
  br label %779

779:                                              ; preds = %618
  %780 = load i32, ptr %51, align 4, !tbaa !9
  %781 = add nsw i32 %780, 8
  store i32 %781, ptr %51, align 4, !tbaa !9
  br label %613, !llvm.loop !17

782:                                              ; preds = %617
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #5
  br label %783

783:                                              ; preds = %782, %609
  %784 = load i32, ptr %15, align 4, !tbaa !9
  %785 = icmp sgt i32 %784, 4
  br i1 %785, label %786, label %834

786:                                              ; preds = %783
  call void @llvm.lifetime.start.p0(i64 16, ptr %60) #5
  call void @llvm.memset.p0.i64(ptr align 16 %60, i8 0, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %61) #5
  store i32 0, ptr %61, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %62) #5
  store i32 0, ptr %62, align 4, !tbaa !9
  br label %787

787:                                              ; preds = %830, %786
  %788 = load i32, ptr %62, align 4, !tbaa !9
  %789 = load i32, ptr %6, align 4, !tbaa !9
  %790 = icmp slt i32 %788, %789
  br i1 %790, label %792, label %791

791:                                              ; preds = %787
  store i32 20, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %62) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #5
  br label %833

792:                                              ; preds = %787
  %793 = load ptr, ptr %13, align 8, !tbaa !5
  %794 = getelementptr inbounds %struct.BscReorderingModel, ptr %793, i32 0, i32 0
  %795 = load i32, ptr %61, align 4, !tbaa !9
  %796 = sext i32 %795 to i64
  %797 = getelementptr inbounds [4 x [256 x %struct.anon.2]], ptr %794, i64 0, i64 %796
  %798 = load i32, ptr %61, align 4, !tbaa !9
  %799 = sext i32 %798 to i64
  %800 = getelementptr inbounds [4 x i32], ptr %60, i64 0, i64 %799
  %801 = load i32, ptr %800, align 4, !tbaa !9
  %802 = sext i32 %801 to i64
  %803 = getelementptr inbounds [256 x %struct.anon.2], ptr %797, i64 0, i64 %802
  %804 = getelementptr inbounds %struct.anon.2, ptr %803, i32 0, i32 0
  %805 = load ptr, ptr %5, align 8, !tbaa !5
  %806 = load i32, ptr %62, align 4, !tbaa !9
  %807 = sext i32 %806 to i64
  %808 = getelementptr inbounds i8, ptr %805, i64 %807
  %809 = load i8, ptr %808, align 1, !tbaa !13
  %810 = zext i8 %809 to i64
  %811 = getelementptr inbounds [256 x i32], ptr %804, i64 0, i64 %810
  %812 = load i32, ptr %811, align 4, !tbaa !9
  %813 = add nsw i32 %812, 1
  store i32 %813, ptr %811, align 4, !tbaa !9
  %814 = load ptr, ptr %5, align 8, !tbaa !5
  %815 = load i32, ptr %62, align 4, !tbaa !9
  %816 = sext i32 %815 to i64
  %817 = getelementptr inbounds i8, ptr %814, i64 %816
  %818 = load i8, ptr %817, align 1, !tbaa !13
  %819 = zext i8 %818 to i32
  %820 = load i32, ptr %61, align 4, !tbaa !9
  %821 = sext i32 %820 to i64
  %822 = getelementptr inbounds [4 x i32], ptr %60, i64 0, i64 %821
  store i32 %819, ptr %822, align 4, !tbaa !9
  %823 = load i32, ptr %61, align 4, !tbaa !9
  %824 = add nsw i32 %823, 1
  store i32 %824, ptr %61, align 4, !tbaa !9
  %825 = load i32, ptr %61, align 4, !tbaa !9
  %826 = load i32, ptr %15, align 4, !tbaa !9
  %827 = icmp eq i32 %825, %826
  br i1 %827, label %828, label %829

828:                                              ; preds = %792
  store i32 0, ptr %61, align 4, !tbaa !9
  br label %829

829:                                              ; preds = %828, %792
  br label %830

830:                                              ; preds = %829
  %831 = load i32, ptr %62, align 4, !tbaa !9
  %832 = add nsw i32 %831, 1
  store i32 %832, ptr %62, align 4, !tbaa !9
  br label %787, !llvm.loop !18

833:                                              ; preds = %791
  call void @llvm.lifetime.end.p0(i64 16, ptr %60) #5
  br label %834

834:                                              ; preds = %833, %783
  %835 = load ptr, ptr %13, align 8, !tbaa !5
  %836 = load i32, ptr %15, align 4, !tbaa !9
  %837 = call noundef i64 @_Z23bsc_estimate_reorderingP18BscReorderingModeli(ptr noundef %835, i32 noundef %836)
  %838 = load i32, ptr %15, align 4, !tbaa !9
  %839 = sub nsw i32 %838, 1
  %840 = sext i32 %839 to i64
  %841 = getelementptr inbounds [4 x i64], ptr %14, i64 0, i64 %840
  store i64 %837, ptr %841, align 8, !tbaa !19
  br label %842

842:                                              ; preds = %834
  %843 = load i32, ptr %15, align 4, !tbaa !9
  %844 = add nsw i32 %843, 1
  store i32 %844, ptr %15, align 4, !tbaa !9
  br label %122, !llvm.loop !21

845:                                              ; preds = %125
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #5
  %846 = getelementptr inbounds [4 x i64], ptr %14, i64 0, i64 0
  %847 = load i64, ptr %846, align 16, !tbaa !19
  %848 = getelementptr inbounds [4 x i64], ptr %14, i64 0, i64 0
  %849 = load i64, ptr %848, align 16, !tbaa !19
  %850 = ashr i64 %849, 4
  %851 = sub nsw i64 %847, %850
  %852 = sub nsw i64 %851, 536870912
  store i64 %852, ptr %63, align 8, !tbaa !19
  store i32 1, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %64) #5
  store i32 1, ptr %64, align 4, !tbaa !9
  br label %853

853:                                              ; preds = %873, %845
  %854 = load i32, ptr %64, align 4, !tbaa !9
  %855 = icmp sle i32 %854, 4
  br i1 %855, label %857, label %856

856:                                              ; preds = %853
  store i32 23, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %64) #5
  br label %876

857:                                              ; preds = %853
  %858 = load i64, ptr %63, align 8, !tbaa !19
  %859 = load i32, ptr %64, align 4, !tbaa !9
  %860 = sub nsw i32 %859, 1
  %861 = sext i32 %860 to i64
  %862 = getelementptr inbounds [4 x i64], ptr %14, i64 0, i64 %861
  %863 = load i64, ptr %862, align 8, !tbaa !19
  %864 = icmp sgt i64 %858, %863
  br i1 %864, label %865, label %872

865:                                              ; preds = %857
  %866 = load i32, ptr %64, align 4, !tbaa !9
  %867 = sub nsw i32 %866, 1
  %868 = sext i32 %867 to i64
  %869 = getelementptr inbounds [4 x i64], ptr %14, i64 0, i64 %868
  %870 = load i64, ptr %869, align 8, !tbaa !19
  store i64 %870, ptr %63, align 8, !tbaa !19
  %871 = load i32, ptr %64, align 4, !tbaa !9
  store i32 %871, ptr %8, align 4, !tbaa !9
  br label %872

872:                                              ; preds = %865, %857
  br label %873

873:                                              ; preds = %872
  %874 = load i32, ptr %64, align 4, !tbaa !9
  %875 = add nsw i32 %874, 1
  store i32 %875, ptr %64, align 4, !tbaa !9
  br label %853, !llvm.loop !22

876:                                              ; preds = %856
  %877 = load ptr, ptr %13, align 8, !tbaa !5
  call void @bsc_free(ptr noundef %877)
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #5
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #5
  br label %878

878:                                              ; preds = %876, %108
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #5
  %879 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %879, ptr %4, align 4
  store i32 1, ptr %12, align 4
  br label %880

880:                                              ; preds = %878, %106
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  %881 = load i32, ptr %4, align 4
  ret i32 %881
}

attributes #0 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress 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 #5 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{!7, !7, i64 0}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !12}
!16 = distinct !{!16, !12}
!17 = distinct !{!17, !12}
!18 = distinct !{!18, !12}
!19 = !{!20, !20, i64 0}
!20 = !{!"long long", !7, i64 0}
!21 = distinct !{!21, !12}
!22 = distinct !{!22, !12}


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

%struct.anon.2 = type { [256 x i32] }

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

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

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

declare ptr @bsc_malloc(i64 noundef) local_unnamed_addr #2

declare void @bsc_free(ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #3

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_Z23bsc_estimate_reorderingP18BscReorderingModeli(ptr noundef, i32 noundef) local_unnamed_addr #4

; Function Attrs: mustprogress uwtable
define dso_local i32 @bsc_detect_recordsize(ptr noalias nocapture noundef readonly %0, i32 noundef %1, i32 noundef %2) local_unnamed_addr #4 {
  %4 = alloca [4 x i64], align 16
  %5 = icmp slt i32 %1, 1179649
  %6 = and i32 %2, 1
  %.not = icmp eq i32 %6, 0
  %or.cond = or i1 %5, %.not
  br i1 %or.cond, label %30, label %7

7:                                                ; preds = %3
  %8 = tail call ptr @bsc_malloc(i64 noundef 1179648)
  %.not274 = icmp eq ptr %8, null
  br i1 %.not274, label %common.ret332, label %9

9:                                                ; preds = %7
  %10 = add nsw i32 %1, -1179648
  %11 = udiv i32 %10, 2304
  %12 = mul nuw nsw i32 %11, 48
  %13 = add nuw nsw i32 %12, 24576
  %14 = zext nneg i32 %13 to i64
  br label %17

common.ret332:                                    ; preds = %30, %40, %7, %15
  %common.ret332.op = phi i32 [ %16, %15 ], [ -2, %7 ], [ %spec.select275.3, %40 ], [ -2, %30 ]
  ret i32 %common.ret332.op

15:                                               ; preds = %17
  %16 = tail call i32 @bsc_detect_recordsize(ptr noundef nonnull %8, i32 noundef 1179648, i32 noundef %2)
  tail call void @bsc_free(ptr noundef nonnull %8)
  br label %common.ret332

17:                                               ; preds = %17, %9
  %indvars.iv = phi i64 [ 0, %9 ], [ %indvars.iv.next.2, %17 ]
  %18 = mul nuw nsw i64 %indvars.iv, 24576
  %19 = getelementptr inbounds i8, ptr %8, i64 %18
  %20 = mul nuw nsw i64 %indvars.iv, %14
  %21 = getelementptr inbounds i8, ptr %0, i64 %20
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(24576) %19, ptr noundef nonnull align 1 dereferenceable(24576) %21, i64 24576, i1 false)
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %22 = mul nuw nsw i64 %indvars.iv.next, 24576
  %23 = getelementptr inbounds i8, ptr %8, i64 %22
  %24 = mul nuw nsw i64 %indvars.iv.next, %14
  %25 = getelementptr inbounds i8, ptr %0, i64 %24
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(24576) %23, ptr noundef nonnull align 1 dereferenceable(24576) %25, i64 24576, i1 false)
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %26 = mul nuw nsw i64 %indvars.iv.next.1, 24576
  %27 = getelementptr inbounds i8, ptr %8, i64 %26
  %28 = mul nuw nsw i64 %indvars.iv.next.1, %14
  %29 = getelementptr inbounds i8, ptr %0, i64 %28
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(24576) %27, ptr noundef nonnull align 1 dereferenceable(24576) %29, i64 24576, i1 false)
  %indvars.iv.next.2 = add nuw nsw i64 %indvars.iv, 3
  %exitcond.not.2 = icmp eq i64 %indvars.iv.next.2, 48
  br i1 %exitcond.not.2, label %15, label %17, !llvm.loop !5

30:                                               ; preds = %3
  %31 = tail call ptr @bsc_malloc(i64 noundef 1048576)
  %.not272 = icmp eq ptr %31, null
  br i1 %.not272, label %common.ret332, label %32

32:                                               ; preds = %30
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %4) #6
  %33 = srem i32 %1, 48
  %34 = sub nsw i32 %1, %33
  %35 = icmp slt i32 %34, 1
  %36 = getelementptr inbounds i8, ptr %31, i64 262144
  %37 = getelementptr inbounds i8, ptr %31, i64 524288
  %38 = getelementptr inbounds i8, ptr %31, i64 786432
  %39 = sext i32 %34 to i64
  br label %54

40:                                               ; preds = %.loopexit
  %41 = load i64, ptr %4, align 16, !tbaa !7
  %42 = ashr i64 %41, 4
  %43 = add i64 %41, -536870912
  %44 = sub i64 %43, %42
  %spec.select276 = tail call i64 @llvm.smin.i64(i64 %44, i64 %41)
  %45 = getelementptr inbounds i8, ptr %4, i64 8
  %46 = load i64, ptr %45, align 8, !tbaa !7
  %47 = icmp sgt i64 %spec.select276, %46
  %spec.select275.1 = select i1 %47, i32 2, i32 1
  %spec.select276.1 = tail call i64 @llvm.smin.i64(i64 %spec.select276, i64 %46)
  %48 = getelementptr inbounds i8, ptr %4, i64 16
  %49 = load i64, ptr %48, align 16, !tbaa !7
  %50 = icmp sgt i64 %spec.select276.1, %49
  %spec.select275.2 = select i1 %50, i32 3, i32 %spec.select275.1
  %spec.select276.2 = tail call i64 @llvm.smin.i64(i64 %spec.select276.1, i64 %49)
  %51 = getelementptr inbounds i8, ptr %4, i64 24
  %52 = load i64, ptr %51, align 8, !tbaa !7
  %53 = icmp sgt i64 %spec.select276.2, %52
  %spec.select275.3 = select i1 %53, i32 4, i32 %spec.select275.2
  tail call void @bsc_free(ptr noundef nonnull %31)
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #6
  br label %common.ret332

54:                                               ; preds = %32, %.loopexit
  %indvars.iv319 = phi i64 [ 1, %32 ], [ %indvars.iv.next320, %.loopexit ]
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 4 dereferenceable(1048576) %31, i8 0, i64 1048576, i1 false)
  %55 = trunc nuw nsw i64 %indvars.iv319 to i32
  switch i32 %55, label %.loopexit [
    i32 1, label %.preheader
    i32 2, label %120
    i32 3, label %185
    i32 4, label %231
  ]

.preheader:                                       ; preds = %54
  br i1 %35, label %.loopexit, label %.lr.ph

.lr.ph:                                           ; preds = %.preheader, %.lr.ph
  %indvars.iv307 = phi i64 [ %indvars.iv.next308, %.lr.ph ], [ 0, %.preheader ]
  %.0253279 = phi i64 [ %115, %.lr.ph ], [ 0, %.preheader ]
  %56 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv307
  %57 = load i8, ptr %56, align 1, !tbaa !11
  %58 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %.0253279
  %59 = zext i8 %57 to i64
  %60 = getelementptr inbounds [256 x i32], ptr %58, i64 0, i64 %59
  %61 = load i32, ptr %60, align 4, !tbaa !12
  %62 = add nsw i32 %61, 1
  store i32 %62, ptr %60, align 4, !tbaa !12
  %63 = or disjoint i64 %indvars.iv307, 1
  %64 = getelementptr inbounds i8, ptr %0, i64 %63
  %65 = load i8, ptr %64, align 1, !tbaa !11
  %66 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %59
  %67 = zext i8 %65 to i64
  %68 = getelementptr inbounds [256 x i32], ptr %66, i64 0, i64 %67
  %69 = load i32, ptr %68, align 4, !tbaa !12
  %70 = add nsw i32 %69, 1
  store i32 %70, ptr %68, align 4, !tbaa !12
  %71 = or disjoint i64 %indvars.iv307, 2
  %72 = getelementptr inbounds i8, ptr %0, i64 %71
  %73 = load i8, ptr %72, align 1, !tbaa !11
  %74 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %67
  %75 = zext i8 %73 to i64
  %76 = getelementptr inbounds [256 x i32], ptr %74, i64 0, i64 %75
  %77 = load i32, ptr %76, align 4, !tbaa !12
  %78 = add nsw i32 %77, 1
  store i32 %78, ptr %76, align 4, !tbaa !12
  %79 = or disjoint i64 %indvars.iv307, 3
  %80 = getelementptr inbounds i8, ptr %0, i64 %79
  %81 = load i8, ptr %80, align 1, !tbaa !11
  %82 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %75
  %83 = zext i8 %81 to i64
  %84 = getelementptr inbounds [256 x i32], ptr %82, i64 0, i64 %83
  %85 = load i32, ptr %84, align 4, !tbaa !12
  %86 = add nsw i32 %85, 1
  store i32 %86, ptr %84, align 4, !tbaa !12
  %87 = or disjoint i64 %indvars.iv307, 4
  %88 = getelementptr inbounds i8, ptr %0, i64 %87
  %89 = load i8, ptr %88, align 1, !tbaa !11
  %90 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %83
  %91 = zext i8 %89 to i64
  %92 = getelementptr inbounds [256 x i32], ptr %90, i64 0, i64 %91
  %93 = load i32, ptr %92, align 4, !tbaa !12
  %94 = add nsw i32 %93, 1
  store i32 %94, ptr %92, align 4, !tbaa !12
  %95 = or disjoint i64 %indvars.iv307, 5
  %96 = getelementptr inbounds i8, ptr %0, i64 %95
  %97 = load i8, ptr %96, align 1, !tbaa !11
  %98 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %91
  %99 = zext i8 %97 to i64
  %100 = getelementptr inbounds [256 x i32], ptr %98, i64 0, i64 %99
  %101 = load i32, ptr %100, align 4, !tbaa !12
  %102 = add nsw i32 %101, 1
  store i32 %102, ptr %100, align 4, !tbaa !12
  %103 = or disjoint i64 %indvars.iv307, 6
  %104 = getelementptr inbounds i8, ptr %0, i64 %103
  %105 = load i8, ptr %104, align 1, !tbaa !11
  %106 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %99
  %107 = zext i8 %105 to i64
  %108 = getelementptr inbounds [256 x i32], ptr %106, i64 0, i64 %107
  %109 = load i32, ptr %108, align 4, !tbaa !12
  %110 = add nsw i32 %109, 1
  store i32 %110, ptr %108, align 4, !tbaa !12
  %111 = or disjoint i64 %indvars.iv307, 7
  %112 = getelementptr inbounds i8, ptr %0, i64 %111
  %113 = load i8, ptr %112, align 1, !tbaa !11
  %114 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %107
  %115 = zext i8 %113 to i64
  %116 = getelementptr inbounds [256 x i32], ptr %114, i64 0, i64 %115
  %117 = load i32, ptr %116, align 4, !tbaa !12
  %118 = add nsw i32 %117, 1
  store i32 %118, ptr %116, align 4, !tbaa !12
  %indvars.iv.next308 = add nuw nsw i64 %indvars.iv307, 8
  %119 = icmp slt i64 %indvars.iv.next308, %39
  br i1 %119, label %.lr.ph, label %.loopexit, !llvm.loop !14

120:                                              ; preds = %54
  br i1 %35, label %.loopexit, label %.lr.ph284

.lr.ph284:                                        ; preds = %120, %.lr.ph284
  %indvars.iv310 = phi i64 [ %indvars.iv.next311, %.lr.ph284 ], [ 0, %120 ]
  %.0260282 = phi i64 [ %172, %.lr.ph284 ], [ 0, %120 ]
  %.0261281 = phi i64 [ %180, %.lr.ph284 ], [ 0, %120 ]
  %121 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv310
  %122 = load i8, ptr %121, align 1, !tbaa !11
  %123 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %.0260282
  %124 = zext i8 %122 to i64
  %125 = getelementptr inbounds [256 x i32], ptr %123, i64 0, i64 %124
  %126 = load i32, ptr %125, align 4, !tbaa !12
  %127 = add nsw i32 %126, 1
  store i32 %127, ptr %125, align 4, !tbaa !12
  %128 = or disjoint i64 %indvars.iv310, 1
  %129 = getelementptr inbounds i8, ptr %0, i64 %128
  %130 = load i8, ptr %129, align 1, !tbaa !11
  %131 = getelementptr inbounds [256 x %struct.anon.2], ptr %36, i64 0, i64 %.0261281
  %132 = zext i8 %130 to i64
  %133 = getelementptr inbounds [256 x i32], ptr %131, i64 0, i64 %132
  %134 = load i32, ptr %133, align 4, !tbaa !12
  %135 = add nsw i32 %134, 1
  store i32 %135, ptr %133, align 4, !tbaa !12
  %136 = or disjoint i64 %indvars.iv310, 2
  %137 = getelementptr inbounds i8, ptr %0, i64 %136
  %138 = load i8, ptr %137, align 1, !tbaa !11
  %139 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %124
  %140 = zext i8 %138 to i64
  %141 = getelementptr inbounds [256 x i32], ptr %139, i64 0, i64 %140
  %142 = load i32, ptr %141, align 4, !tbaa !12
  %143 = add nsw i32 %142, 1
  store i32 %143, ptr %141, align 4, !tbaa !12
  %144 = or disjoint i64 %indvars.iv310, 3
  %145 = getelementptr inbounds i8, ptr %0, i64 %144
  %146 = load i8, ptr %145, align 1, !tbaa !11
  %147 = getelementptr inbounds [256 x %struct.anon.2], ptr %36, i64 0, i64 %132
  %148 = zext i8 %146 to i64
  %149 = getelementptr inbounds [256 x i32], ptr %147, i64 0, i64 %148
  %150 = load i32, ptr %149, align 4, !tbaa !12
  %151 = add nsw i32 %150, 1
  store i32 %151, ptr %149, align 4, !tbaa !12
  %152 = or disjoint i64 %indvars.iv310, 4
  %153 = getelementptr inbounds i8, ptr %0, i64 %152
  %154 = load i8, ptr %153, align 1, !tbaa !11
  %155 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %140
  %156 = zext i8 %154 to i64
  %157 = getelementptr inbounds [256 x i32], ptr %155, i64 0, i64 %156
  %158 = load i32, ptr %157, align 4, !tbaa !12
  %159 = add nsw i32 %158, 1
  store i32 %159, ptr %157, align 4, !tbaa !12
  %160 = or disjoint i64 %indvars.iv310, 5
  %161 = getelementptr inbounds i8, ptr %0, i64 %160
  %162 = load i8, ptr %161, align 1, !tbaa !11
  %163 = getelementptr inbounds [256 x %struct.anon.2], ptr %36, i64 0, i64 %148
  %164 = zext i8 %162 to i64
  %165 = getelementptr inbounds [256 x i32], ptr %163, i64 0, i64 %164
  %166 = load i32, ptr %165, align 4, !tbaa !12
  %167 = add nsw i32 %166, 1
  store i32 %167, ptr %165, align 4, !tbaa !12
  %168 = or disjoint i64 %indvars.iv310, 6
  %169 = getelementptr inbounds i8, ptr %0, i64 %168
  %170 = load i8, ptr %169, align 1, !tbaa !11
  %171 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %156
  %172 = zext i8 %170 to i64
  %173 = getelementptr inbounds [256 x i32], ptr %171, i64 0, i64 %172
  %174 = load i32, ptr %173, align 4, !tbaa !12
  %175 = add nsw i32 %174, 1
  store i32 %175, ptr %173, align 4, !tbaa !12
  %176 = or disjoint i64 %indvars.iv310, 7
  %177 = getelementptr inbounds i8, ptr %0, i64 %176
  %178 = load i8, ptr %177, align 1, !tbaa !11
  %179 = getelementptr inbounds [256 x %struct.anon.2], ptr %36, i64 0, i64 %164
  %180 = zext i8 %178 to i64
  %181 = getelementptr inbounds [256 x i32], ptr %179, i64 0, i64 %180
  %182 = load i32, ptr %181, align 4, !tbaa !12
  %183 = add nsw i32 %182, 1
  store i32 %183, ptr %181, align 4, !tbaa !12
  %indvars.iv.next311 = add nuw nsw i64 %indvars.iv310, 8
  %184 = icmp slt i64 %indvars.iv.next311, %39
  br i1 %184, label %.lr.ph284, label %._crit_edge285, !llvm.loop !15

._crit_edge285:                                   ; preds = %.lr.ph284
  switch i32 %55, label %.loopexit [
    i32 3, label %185
    i32 4, label %231
  ]

185:                                              ; preds = %54, %._crit_edge285
  br i1 %35, label %._crit_edge292, label %.lr.ph291

.lr.ph291:                                        ; preds = %185, %.lr.ph291
  %indvars.iv313 = phi i64 [ %indvars.iv.next314, %.lr.ph291 ], [ 0, %185 ]
  %.0263289 = phi i64 [ %211, %.lr.ph291 ], [ 0, %185 ]
  %.0264288 = phi i64 [ %218, %.lr.ph291 ], [ 0, %185 ]
  %.0265287 = phi i64 [ %225, %.lr.ph291 ], [ 0, %185 ]
  %186 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv313
  %187 = load i8, ptr %186, align 1, !tbaa !11
  %188 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %.0263289
  %189 = zext i8 %187 to i64
  %190 = getelementptr inbounds [256 x i32], ptr %188, i64 0, i64 %189
  %191 = load i32, ptr %190, align 4, !tbaa !12
  %192 = add nsw i32 %191, 1
  store i32 %192, ptr %190, align 4, !tbaa !12
  %193 = or disjoint i64 %indvars.iv313, 1
  %194 = getelementptr inbounds i8, ptr %0, i64 %193
  %195 = load i8, ptr %194, align 1, !tbaa !11
  %196 = getelementptr inbounds [256 x %struct.anon.2], ptr %36, i64 0, i64 %.0264288
  %197 = zext i8 %195 to i64
  %198 = getelementptr inbounds [256 x i32], ptr %196, i64 0, i64 %197
  %199 = load i32, ptr %198, align 4, !tbaa !12
  %200 = add nsw i32 %199, 1
  store i32 %200, ptr %198, align 4, !tbaa !12
  %201 = getelementptr inbounds i8, ptr %186, i64 2
  %202 = load i8, ptr %201, align 1, !tbaa !11
  %203 = getelementptr inbounds [256 x %struct.anon.2], ptr %37, i64 0, i64 %.0265287
  %204 = zext i8 %202 to i64
  %205 = getelementptr inbounds [256 x i32], ptr %203, i64 0, i64 %204
  %206 = load i32, ptr %205, align 4, !tbaa !12
  %207 = add nsw i32 %206, 1
  store i32 %207, ptr %205, align 4, !tbaa !12
  %208 = getelementptr inbounds i8, ptr %186, i64 3
  %209 = load i8, ptr %208, align 1, !tbaa !11
  %210 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %189
  %211 = zext i8 %209 to i64
  %212 = getelementptr inbounds [256 x i32], ptr %210, i64 0, i64 %211
  %213 = load i32, ptr %212, align 4, !tbaa !12
  %214 = add nsw i32 %213, 1
  store i32 %214, ptr %212, align 4, !tbaa !12
  %215 = getelementptr inbounds i8, ptr %186, i64 4
  %216 = load i8, ptr %215, align 1, !tbaa !11
  %217 = getelementptr inbounds [256 x %struct.anon.2], ptr %36, i64 0, i64 %197
  %218 = zext i8 %216 to i64
  %219 = getelementptr inbounds [256 x i32], ptr %217, i64 0, i64 %218
  %220 = load i32, ptr %219, align 4, !tbaa !12
  %221 = add nsw i32 %220, 1
  store i32 %221, ptr %219, align 4, !tbaa !12
  %222 = getelementptr inbounds i8, ptr %186, i64 5
  %223 = load i8, ptr %222, align 1, !tbaa !11
  %224 = getelementptr inbounds [256 x %struct.anon.2], ptr %37, i64 0, i64 %204
  %225 = zext i8 %223 to i64
  %226 = getelementptr inbounds [256 x i32], ptr %224, i64 0, i64 %225
  %227 = load i32, ptr %226, align 4, !tbaa !12
  %228 = add nsw i32 %227, 1
  store i32 %228, ptr %226, align 4, !tbaa !12
  %indvars.iv.next314 = add nuw nsw i64 %indvars.iv313, 6
  %229 = icmp slt i64 %indvars.iv.next314, %39
  br i1 %229, label %.lr.ph291, label %._crit_edge292, !llvm.loop !16

._crit_edge292:                                   ; preds = %.lr.ph291, %185
  %230 = icmp ne i64 %indvars.iv319, 4
  %brmerge = select i1 %230, i1 true, i1 %35
  br i1 %brmerge, label %.loopexit, label %.lr.ph299.preheader

231:                                              ; preds = %54, %._crit_edge285
  br i1 %35, label %.loopexit, label %.lr.ph299.preheader

.lr.ph299.preheader:                              ; preds = %._crit_edge292, %231
  br label %.lr.ph299

.lr.ph299:                                        ; preds = %.lr.ph299.preheader, %.lr.ph299
  %indvars.iv316 = phi i64 [ %indvars.iv.next317, %.lr.ph299 ], [ 0, %.lr.ph299.preheader ]
  %.0256296 = phi i64 [ %291, %.lr.ph299 ], [ 0, %.lr.ph299.preheader ]
  %.0257295 = phi i64 [ %283, %.lr.ph299 ], [ 0, %.lr.ph299.preheader ]
  %.0258294 = phi i64 [ %275, %.lr.ph299 ], [ 0, %.lr.ph299.preheader ]
  %.0259293 = phi i64 [ %267, %.lr.ph299 ], [ 0, %.lr.ph299.preheader ]
  %232 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv316
  %233 = load i8, ptr %232, align 1, !tbaa !11
  %234 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %.0259293
  %235 = zext i8 %233 to i64
  %236 = getelementptr inbounds [256 x i32], ptr %234, i64 0, i64 %235
  %237 = load i32, ptr %236, align 4, !tbaa !12
  %238 = add nsw i32 %237, 1
  store i32 %238, ptr %236, align 4, !tbaa !12
  %239 = or disjoint i64 %indvars.iv316, 1
  %240 = getelementptr inbounds i8, ptr %0, i64 %239
  %241 = load i8, ptr %240, align 1, !tbaa !11
  %242 = getelementptr inbounds [256 x %struct.anon.2], ptr %36, i64 0, i64 %.0258294
  %243 = zext i8 %241 to i64
  %244 = getelementptr inbounds [256 x i32], ptr %242, i64 0, i64 %243
  %245 = load i32, ptr %244, align 4, !tbaa !12
  %246 = add nsw i32 %245, 1
  store i32 %246, ptr %244, align 4, !tbaa !12
  %247 = or disjoint i64 %indvars.iv316, 2
  %248 = getelementptr inbounds i8, ptr %0, i64 %247
  %249 = load i8, ptr %248, align 1, !tbaa !11
  %250 = getelementptr inbounds [256 x %struct.anon.2], ptr %37, i64 0, i64 %.0257295
  %251 = zext i8 %249 to i64
  %252 = getelementptr inbounds [256 x i32], ptr %250, i64 0, i64 %251
  %253 = load i32, ptr %252, align 4, !tbaa !12
  %254 = add nsw i32 %253, 1
  store i32 %254, ptr %252, align 4, !tbaa !12
  %255 = or disjoint i64 %indvars.iv316, 3
  %256 = getelementptr inbounds i8, ptr %0, i64 %255
  %257 = load i8, ptr %256, align 1, !tbaa !11
  %258 = getelementptr inbounds [256 x %struct.anon.2], ptr %38, i64 0, i64 %.0256296
  %259 = zext i8 %257 to i64
  %260 = getelementptr inbounds [256 x i32], ptr %258, i64 0, i64 %259
  %261 = load i32, ptr %260, align 4, !tbaa !12
  %262 = add nsw i32 %261, 1
  store i32 %262, ptr %260, align 4, !tbaa !12
  %263 = or disjoint i64 %indvars.iv316, 4
  %264 = getelementptr inbounds i8, ptr %0, i64 %263
  %265 = load i8, ptr %264, align 1, !tbaa !11
  %266 = getelementptr inbounds [256 x %struct.anon.2], ptr %31, i64 0, i64 %235
  %267 = zext i8 %265 to i64
  %268 = getelementptr inbounds [256 x i32], ptr %266, i64 0, i64 %267
  %269 = load i32, ptr %268, align 4, !tbaa !12
  %270 = add nsw i32 %269, 1
  store i32 %270, ptr %268, align 4, !tbaa !12
  %271 = or disjoint i64 %indvars.iv316, 5
  %272 = getelementptr inbounds i8, ptr %0, i64 %271
  %273 = load i8, ptr %272, align 1, !tbaa !11
  %274 = getelementptr inbounds [256 x %struct.anon.2], ptr %36, i64 0, i64 %243
  %275 = zext i8 %273 to i64
  %276 = getelementptr inbounds [256 x i32], ptr %274, i64 0, i64 %275
  %277 = load i32, ptr %276, align 4, !tbaa !12
  %278 = add nsw i32 %277, 1
  store i32 %278, ptr %276, align 4, !tbaa !12
  %279 = or disjoint i64 %indvars.iv316, 6
  %280 = getelementptr inbounds i8, ptr %0, i64 %279
  %281 = load i8, ptr %280, align 1, !tbaa !11
  %282 = getelementptr inbounds [256 x %struct.anon.2], ptr %37, i64 0, i64 %251
  %283 = zext i8 %281 to i64
  %284 = getelementptr inbounds [256 x i32], ptr %282, i64 0, i64 %283
  %285 = load i32, ptr %284, align 4, !tbaa !12
  %286 = add nsw i32 %285, 1
  store i32 %286, ptr %284, align 4, !tbaa !12
  %287 = or disjoint i64 %indvars.iv316, 7
  %288 = getelementptr inbounds i8, ptr %0, i64 %287
  %289 = load i8, ptr %288, align 1, !tbaa !11
  %290 = getelementptr inbounds [256 x %struct.anon.2], ptr %38, i64 0, i64 %259
  %291 = zext i8 %289 to i64
  %292 = getelementptr inbounds [256 x i32], ptr %290, i64 0, i64 %291
  %293 = load i32, ptr %292, align 4, !tbaa !12
  %294 = add nsw i32 %293, 1
  store i32 %294, ptr %292, align 4, !tbaa !12
  %indvars.iv.next317 = add nuw nsw i64 %indvars.iv316, 8
  %295 = icmp slt i64 %indvars.iv.next317, %39
  br i1 %295, label %.lr.ph299, label %.loopexit, !llvm.loop !17

.loopexit:                                        ; preds = %.lr.ph299, %.lr.ph, %._crit_edge292, %120, %.preheader, %231, %._crit_edge285, %54
  %296 = tail call noundef i64 @_Z23bsc_estimate_reorderingP18BscReorderingModeli(ptr noundef nonnull %31, i32 noundef %55)
  %297 = add nsw i64 %indvars.iv319, -1
  %298 = getelementptr inbounds [4 x i64], ptr %4, i64 0, i64 %297
  store i64 %296, ptr %298, align 8, !tbaa !7
  %indvars.iv.next320 = add nuw nsw i64 %indvars.iv319, 1
  %exitcond322.not = icmp eq i64 %indvars.iv.next320, 5
  br i1 %exitcond322.not, label %40, label %54, !llvm.loop !18
}

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.smin.i64(i64, i64) #5

attributes #0 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress 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 #5 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { 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 = distinct !{!5, !6}
!6 = !{!"llvm.loop.mustprogress"}
!7 = !{!8, !8, i64 0}
!8 = !{!"long long", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C++ TBAA"}
!11 = !{!9, !9, i64 0}
!12 = !{!13, !13, i64 0}
!13 = !{!"int", !9, i64 0}
!14 = distinct !{!14, !6}
!15 = distinct !{!15, !6}
!16 = distinct !{!16, !6}
!17 = distinct !{!17, !6}
!18 = distinct !{!18, !6}


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