; LLVM IR from gokcehan/pns :: generators/netgen-bcjl-patched (netgen)

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

@arrays_ = external dso_local global ptr, align 8
@arraye_ = external dso_local global ptr, align 8
@arrayu_ = external dso_local global ptr, align 8
@arrayc_ = external dso_local global ptr, align 8
@arrayb_ = external dso_local global ptr, align 8
@pred = external hidden global ptr, align 8
@head = external hidden global ptr, align 8
@tail = external hidden global ptr, align 8
@arc_count = external hidden global i64, align 8
@nodes_left = external hidden global i64, align 8

; Function Attrs: nounwind uwtable
define dso_local i64 @netgen(i64 noundef %0, ptr noundef %1) #0 {
  %3 = alloca i64, align 8
  %4 = alloca i64, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i64, align 8
  %7 = alloca i64, align 8
  %8 = alloca i64, align 8
  %9 = alloca i64, align 8
  %10 = alloca i64, align 8
  %11 = alloca i64, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i64, align 8
  %14 = alloca i32, align 4
  %15 = alloca i64, align 8
  %16 = alloca i64, align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  store i64 %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #7
  %22 = load i64, ptr %4, align 8, !tbaa !5
  %23 = icmp sle i64 %22, 0
  br i1 %23, label %24, label %25

24:                                               ; preds = %2
  store i64 -1, ptr %3, align 8
  store i32 1, ptr %21, align 4
  br label %804

25:                                               ; preds = %2
  %26 = load ptr, ptr %5, align 8, !tbaa !9
  %27 = getelementptr inbounds i64, ptr %26, i64 0
  %28 = load i64, ptr %27, align 8, !tbaa !5
  %29 = icmp sgt i64 %28, 1000000000
  br i1 %29, label %35, label %30

30:                                               ; preds = %25
  %31 = load ptr, ptr %5, align 8, !tbaa !9
  %32 = getelementptr inbounds i64, ptr %31, i64 3
  %33 = load i64, ptr %32, align 8, !tbaa !5
  %34 = icmp sgt i64 %33, 2000000000
  br i1 %34, label %35, label %36

35:                                               ; preds = %30, %25
  store i64 -2, ptr %3, align 8
  store i32 1, ptr %21, align 4
  br label %804

36:                                               ; preds = %30
  %37 = load ptr, ptr %5, align 8, !tbaa !9
  %38 = getelementptr inbounds i64, ptr %37, i64 0
  %39 = load i64, ptr %38, align 8, !tbaa !5
  %40 = icmp sle i64 %39, 0
  br i1 %40, label %131, label %41

41:                                               ; preds = %36
  %42 = load ptr, ptr %5, align 8, !tbaa !9
  %43 = getelementptr inbounds i64, ptr %42, i64 0
  %44 = load i64, ptr %43, align 8, !tbaa !5
  %45 = load ptr, ptr %5, align 8, !tbaa !9
  %46 = getelementptr inbounds i64, ptr %45, i64 3
  %47 = load i64, ptr %46, align 8, !tbaa !5
  %48 = icmp sgt i64 %44, %47
  br i1 %48, label %131, label %49

49:                                               ; preds = %41
  %50 = load ptr, ptr %5, align 8, !tbaa !9
  %51 = getelementptr inbounds i64, ptr %50, i64 1
  %52 = load i64, ptr %51, align 8, !tbaa !5
  %53 = icmp sle i64 %52, 0
  br i1 %53, label %131, label %54

54:                                               ; preds = %49
  %55 = load ptr, ptr %5, align 8, !tbaa !9
  %56 = getelementptr inbounds i64, ptr %55, i64 2
  %57 = load i64, ptr %56, align 8, !tbaa !5
  %58 = icmp sle i64 %57, 0
  br i1 %58, label %131, label %59

59:                                               ; preds = %54
  %60 = load ptr, ptr %5, align 8, !tbaa !9
  %61 = getelementptr inbounds i64, ptr %60, i64 1
  %62 = load i64, ptr %61, align 8, !tbaa !5
  %63 = load ptr, ptr %5, align 8, !tbaa !9
  %64 = getelementptr inbounds i64, ptr %63, i64 2
  %65 = load i64, ptr %64, align 8, !tbaa !5
  %66 = add nsw i64 %62, %65
  %67 = load ptr, ptr %5, align 8, !tbaa !9
  %68 = getelementptr inbounds i64, ptr %67, i64 0
  %69 = load i64, ptr %68, align 8, !tbaa !5
  %70 = icmp sgt i64 %66, %69
  br i1 %70, label %131, label %71

71:                                               ; preds = %59
  %72 = load ptr, ptr %5, align 8, !tbaa !9
  %73 = getelementptr inbounds i64, ptr %72, i64 4
  %74 = load i64, ptr %73, align 8, !tbaa !5
  %75 = load ptr, ptr %5, align 8, !tbaa !9
  %76 = getelementptr inbounds i64, ptr %75, i64 5
  %77 = load i64, ptr %76, align 8, !tbaa !5
  %78 = icmp sgt i64 %74, %77
  br i1 %78, label %131, label %79

79:                                               ; preds = %71
  %80 = load ptr, ptr %5, align 8, !tbaa !9
  %81 = getelementptr inbounds i64, ptr %80, i64 6
  %82 = load i64, ptr %81, align 8, !tbaa !5
  %83 = load ptr, ptr %5, align 8, !tbaa !9
  %84 = getelementptr inbounds i64, ptr %83, i64 1
  %85 = load i64, ptr %84, align 8, !tbaa !5
  %86 = icmp slt i64 %82, %85
  br i1 %86, label %131, label %87

87:                                               ; preds = %79
  %88 = load ptr, ptr %5, align 8, !tbaa !9
  %89 = getelementptr inbounds i64, ptr %88, i64 7
  %90 = load i64, ptr %89, align 8, !tbaa !5
  %91 = load ptr, ptr %5, align 8, !tbaa !9
  %92 = getelementptr inbounds i64, ptr %91, i64 1
  %93 = load i64, ptr %92, align 8, !tbaa !5
  %94 = icmp sgt i64 %90, %93
  br i1 %94, label %131, label %95

95:                                               ; preds = %87
  %96 = load ptr, ptr %5, align 8, !tbaa !9
  %97 = getelementptr inbounds i64, ptr %96, i64 8
  %98 = load i64, ptr %97, align 8, !tbaa !5
  %99 = load ptr, ptr %5, align 8, !tbaa !9
  %100 = getelementptr inbounds i64, ptr %99, i64 2
  %101 = load i64, ptr %100, align 8, !tbaa !5
  %102 = icmp sgt i64 %98, %101
  br i1 %102, label %131, label %103

103:                                              ; preds = %95
  %104 = load ptr, ptr %5, align 8, !tbaa !9
  %105 = getelementptr inbounds i64, ptr %104, i64 9
  %106 = load i64, ptr %105, align 8, !tbaa !5
  %107 = icmp slt i64 %106, 0
  br i1 %107, label %131, label %108

108:                                              ; preds = %103
  %109 = load ptr, ptr %5, align 8, !tbaa !9
  %110 = getelementptr inbounds i64, ptr %109, i64 9
  %111 = load i64, ptr %110, align 8, !tbaa !5
  %112 = icmp sgt i64 %111, 100
  br i1 %112, label %131, label %113

113:                                              ; preds = %108
  %114 = load ptr, ptr %5, align 8, !tbaa !9
  %115 = getelementptr inbounds i64, ptr %114, i64 10
  %116 = load i64, ptr %115, align 8, !tbaa !5
  %117 = icmp slt i64 %116, 0
  br i1 %117, label %131, label %118

118:                                              ; preds = %113
  %119 = load ptr, ptr %5, align 8, !tbaa !9
  %120 = getelementptr inbounds i64, ptr %119, i64 10
  %121 = load i64, ptr %120, align 8, !tbaa !5
  %122 = icmp sgt i64 %121, 100
  br i1 %122, label %131, label %123

123:                                              ; preds = %118
  %124 = load ptr, ptr %5, align 8, !tbaa !9
  %125 = getelementptr inbounds i64, ptr %124, i64 11
  %126 = load i64, ptr %125, align 8, !tbaa !5
  %127 = load ptr, ptr %5, align 8, !tbaa !9
  %128 = getelementptr inbounds i64, ptr %127, i64 12
  %129 = load i64, ptr %128, align 8, !tbaa !5
  %130 = icmp sgt i64 %126, %129
  br i1 %130, label %131, label %132

131:                                              ; preds = %123, %118, %113, %108, %103, %95, %87, %79, %71, %59, %54, %49, %41, %36
  store i64 -3, ptr %3, align 8
  store i32 1, ptr %21, align 4
  br label %804

132:                                              ; preds = %123
  %133 = load ptr, ptr %5, align 8, !tbaa !9
  %134 = getelementptr inbounds i64, ptr %133, i64 3
  %135 = load i64, ptr %134, align 8, !tbaa !5
  %136 = mul i64 %135, 8
  %137 = call noalias ptr @malloc(i64 noundef %136) #8
  store ptr %137, ptr @arrays_, align 8, !tbaa !9
  %138 = load ptr, ptr %5, align 8, !tbaa !9
  %139 = getelementptr inbounds i64, ptr %138, i64 3
  %140 = load i64, ptr %139, align 8, !tbaa !5
  %141 = mul i64 %140, 8
  %142 = call noalias ptr @malloc(i64 noundef %141) #8
  store ptr %142, ptr @arraye_, align 8, !tbaa !9
  %143 = load ptr, ptr %5, align 8, !tbaa !9
  %144 = getelementptr inbounds i64, ptr %143, i64 3
  %145 = load i64, ptr %144, align 8, !tbaa !5
  %146 = mul i64 %145, 8
  %147 = call noalias ptr @malloc(i64 noundef %146) #8
  store ptr %147, ptr @arrayu_, align 8, !tbaa !9
  %148 = load ptr, ptr %5, align 8, !tbaa !9
  %149 = getelementptr inbounds i64, ptr %148, i64 3
  %150 = load i64, ptr %149, align 8, !tbaa !5
  %151 = mul i64 %150, 8
  %152 = call noalias ptr @malloc(i64 noundef %151) #8
  store ptr %152, ptr @arrayc_, align 8, !tbaa !9
  %153 = load ptr, ptr %5, align 8, !tbaa !9
  %154 = getelementptr inbounds i64, ptr %153, i64 0
  %155 = load i64, ptr %154, align 8, !tbaa !5
  %156 = mul i64 %155, 8
  %157 = call noalias ptr @malloc(i64 noundef %156) #8
  store ptr %157, ptr @arrayb_, align 8, !tbaa !9
  %158 = load ptr, ptr %5, align 8, !tbaa !9
  %159 = getelementptr inbounds i64, ptr %158, i64 3
  %160 = load i64, ptr %159, align 8, !tbaa !5
  %161 = mul i64 %160, 8
  %162 = call noalias ptr @malloc(i64 noundef %161) #8
  store ptr %162, ptr @pred, align 8, !tbaa !9
  %163 = load ptr, ptr %5, align 8, !tbaa !9
  %164 = getelementptr inbounds i64, ptr %163, i64 3
  %165 = load i64, ptr %164, align 8, !tbaa !5
  %166 = mul i64 %165, 8
  %167 = call noalias ptr @malloc(i64 noundef %166) #8
  store ptr %167, ptr @head, align 8, !tbaa !9
  %168 = load ptr, ptr %5, align 8, !tbaa !9
  %169 = getelementptr inbounds i64, ptr %168, i64 3
  %170 = load i64, ptr %169, align 8, !tbaa !5
  %171 = mul i64 %170, 8
  %172 = call noalias ptr @malloc(i64 noundef %171) #8
  store ptr %172, ptr @tail, align 8, !tbaa !9
  %173 = load i64, ptr %4, align 8, !tbaa !5
  call void @set_random(i64 noundef %173)
  store i64 0, ptr @arc_count, align 8, !tbaa !5
  %174 = load ptr, ptr %5, align 8, !tbaa !9
  %175 = getelementptr inbounds i64, ptr %174, i64 0
  %176 = load i64, ptr %175, align 8, !tbaa !5
  %177 = load ptr, ptr %5, align 8, !tbaa !9
  %178 = getelementptr inbounds i64, ptr %177, i64 2
  %179 = load i64, ptr %178, align 8, !tbaa !5
  %180 = sub nsw i64 %176, %179
  %181 = load ptr, ptr %5, align 8, !tbaa !9
  %182 = getelementptr inbounds i64, ptr %181, i64 8
  %183 = load i64, ptr %182, align 8, !tbaa !5
  %184 = add nsw i64 %180, %183
  store i64 %184, ptr @nodes_left, align 8, !tbaa !5
  %185 = load ptr, ptr %5, align 8, !tbaa !9
  %186 = getelementptr inbounds i64, ptr %185, i64 1
  %187 = load i64, ptr %186, align 8, !tbaa !5
  %188 = load ptr, ptr %5, align 8, !tbaa !9
  %189 = getelementptr inbounds i64, ptr %188, i64 7
  %190 = load i64, ptr %189, align 8, !tbaa !5
  %191 = sub nsw i64 %187, %190
  %192 = load ptr, ptr %5, align 8, !tbaa !9
  %193 = getelementptr inbounds i64, ptr %192, i64 2
  %194 = load i64, ptr %193, align 8, !tbaa !5
  %195 = load ptr, ptr %5, align 8, !tbaa !9
  %196 = getelementptr inbounds i64, ptr %195, i64 8
  %197 = load i64, ptr %196, align 8, !tbaa !5
  %198 = sub nsw i64 %194, %197
  %199 = add nsw i64 %191, %198
  %200 = load ptr, ptr %5, align 8, !tbaa !9
  %201 = getelementptr inbounds i64, ptr %200, i64 0
  %202 = load i64, ptr %201, align 8, !tbaa !5
  %203 = icmp eq i64 %199, %202
  br i1 %203, label %204, label %231

204:                                              ; preds = %132
  %205 = load ptr, ptr %5, align 8, !tbaa !9
  %206 = getelementptr inbounds i64, ptr %205, i64 1
  %207 = load i64, ptr %206, align 8, !tbaa !5
  %208 = load ptr, ptr %5, align 8, !tbaa !9
  %209 = getelementptr inbounds i64, ptr %208, i64 7
  %210 = load i64, ptr %209, align 8, !tbaa !5
  %211 = sub nsw i64 %207, %210
  %212 = load ptr, ptr %5, align 8, !tbaa !9
  %213 = getelementptr inbounds i64, ptr %212, i64 2
  %214 = load i64, ptr %213, align 8, !tbaa !5
  %215 = load ptr, ptr %5, align 8, !tbaa !9
  %216 = getelementptr inbounds i64, ptr %215, i64 8
  %217 = load i64, ptr %216, align 8, !tbaa !5
  %218 = sub nsw i64 %214, %217
  %219 = icmp eq i64 %211, %218
  br i1 %219, label %220, label %231

220:                                              ; preds = %204
  %221 = load ptr, ptr %5, align 8, !tbaa !9
  %222 = getelementptr inbounds i64, ptr %221, i64 1
  %223 = load i64, ptr %222, align 8, !tbaa !5
  %224 = load ptr, ptr %5, align 8, !tbaa !9
  %225 = getelementptr inbounds i64, ptr %224, i64 6
  %226 = load i64, ptr %225, align 8, !tbaa !5
  %227 = icmp eq i64 %223, %226
  br i1 %227, label %228, label %231

228:                                              ; preds = %220
  %229 = load ptr, ptr %5, align 8, !tbaa !9
  call void @create_assignment(ptr noundef %229)
  %230 = load i64, ptr @arc_count, align 8, !tbaa !5
  store i64 %230, ptr %3, align 8
  store i32 1, ptr %21, align 4
  br label %804

231:                                              ; preds = %220, %204, %132
  %232 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  call void @llvm.memset.p0.i64(ptr align 1 %232, i8 0, i64 8, i1 false)
  %233 = load ptr, ptr %5, align 8, !tbaa !9
  %234 = getelementptr inbounds i64, ptr %233, i64 1
  %235 = load i64, ptr %234, align 8, !tbaa !5
  %236 = load ptr, ptr %5, align 8, !tbaa !9
  %237 = getelementptr inbounds i64, ptr %236, i64 6
  %238 = load i64, ptr %237, align 8, !tbaa !5
  call void @create_supply(i64 noundef %235, i64 noundef %238)
  store i64 1, ptr %6, align 8, !tbaa !5
  br label %239

239:                                              ; preds = %250, %231
  %240 = load i64, ptr %6, align 8, !tbaa !5
  %241 = load ptr, ptr %5, align 8, !tbaa !9
  %242 = getelementptr inbounds i64, ptr %241, i64 1
  %243 = load i64, ptr %242, align 8, !tbaa !5
  %244 = icmp ule i64 %240, %243
  br i1 %244, label %245, label %253

245:                                              ; preds = %239
  %246 = load i64, ptr %6, align 8, !tbaa !5
  %247 = load ptr, ptr @pred, align 8, !tbaa !9
  %248 = load i64, ptr %6, align 8, !tbaa !5
  %249 = getelementptr inbounds i64, ptr %247, i64 %248
  store i64 %246, ptr %249, align 8, !tbaa !5
  br label %250

250:                                              ; preds = %245
  %251 = load i64, ptr %6, align 8, !tbaa !5
  %252 = add i64 %251, 1
  store i64 %252, ptr %6, align 8, !tbaa !5
  br label %239, !llvm.loop !11

253:                                              ; preds = %239
  %254 = load ptr, ptr %5, align 8, !tbaa !9
  %255 = getelementptr inbounds i64, ptr %254, i64 1
  %256 = load i64, ptr %255, align 8, !tbaa !5
  %257 = add nsw i64 %256, 1
  %258 = load ptr, ptr %5, align 8, !tbaa !9
  %259 = getelementptr inbounds i64, ptr %258, i64 0
  %260 = load i64, ptr %259, align 8, !tbaa !5
  %261 = load ptr, ptr %5, align 8, !tbaa !9
  %262 = getelementptr inbounds i64, ptr %261, i64 2
  %263 = load i64, ptr %262, align 8, !tbaa !5
  %264 = sub nsw i64 %260, %263
  %265 = call i32 @make_index_list(i64 noundef %257, i64 noundef %264)
  store i32 %265, ptr %17, align 4, !tbaa !13
  store i64 1, ptr %9, align 8, !tbaa !5
  %266 = load ptr, ptr %5, align 8, !tbaa !9
  %267 = getelementptr inbounds i64, ptr %266, i64 0
  %268 = load i64, ptr %267, align 8, !tbaa !5
  %269 = load ptr, ptr %5, align 8, !tbaa !9
  %270 = getelementptr inbounds i64, ptr %269, i64 1
  %271 = load i64, ptr %270, align 8, !tbaa !5
  %272 = sub nsw i64 %268, %271
  %273 = load ptr, ptr %5, align 8, !tbaa !9
  %274 = getelementptr inbounds i64, ptr %273, i64 2
  %275 = load i64, ptr %274, align 8, !tbaa !5
  %276 = sub nsw i64 %272, %275
  store i64 %276, ptr %6, align 8, !tbaa !5
  br label %277

277:                                              ; preds = %319, %253
  %278 = load i64, ptr %6, align 8, !tbaa !5
  %279 = load ptr, ptr %5, align 8, !tbaa !9
  %280 = getelementptr inbounds i64, ptr %279, i64 0
  %281 = load i64, ptr %280, align 8, !tbaa !5
  %282 = load ptr, ptr %5, align 8, !tbaa !9
  %283 = getelementptr inbounds i64, ptr %282, i64 1
  %284 = load i64, ptr %283, align 8, !tbaa !5
  %285 = sub nsw i64 %281, %284
  %286 = load ptr, ptr %5, align 8, !tbaa !9
  %287 = getelementptr inbounds i64, ptr %286, i64 2
  %288 = load i64, ptr %287, align 8, !tbaa !5
  %289 = sub nsw i64 %285, %288
  %290 = mul nsw i64 4, %289
  %291 = add nsw i64 %290, 9
  %292 = sdiv i64 %291, 10
  %293 = icmp ugt i64 %278, %292
  br i1 %293, label %294, label %322

294:                                              ; preds = %277
  %295 = load i32, ptr %17, align 4, !tbaa !13
  %296 = load i32, ptr %17, align 4, !tbaa !13
  %297 = call i64 @index_size(i32 noundef %296)
  %298 = call i64 @randomr(i64 noundef 1, i64 noundef %297)
  %299 = call i64 @choose_index(i32 noundef %295, i64 noundef %298)
  store i64 %299, ptr %10, align 8, !tbaa !5
  %300 = load ptr, ptr @pred, align 8, !tbaa !9
  %301 = load i64, ptr %9, align 8, !tbaa !5
  %302 = getelementptr inbounds i64, ptr %300, i64 %301
  %303 = load i64, ptr %302, align 8, !tbaa !5
  %304 = load ptr, ptr @pred, align 8, !tbaa !9
  %305 = load i64, ptr %10, align 8, !tbaa !5
  %306 = getelementptr inbounds i64, ptr %304, i64 %305
  store i64 %303, ptr %306, align 8, !tbaa !5
  %307 = load i64, ptr %10, align 8, !tbaa !5
  %308 = load ptr, ptr @pred, align 8, !tbaa !9
  %309 = load i64, ptr %9, align 8, !tbaa !5
  %310 = getelementptr inbounds i64, ptr %308, i64 %309
  store i64 %307, ptr %310, align 8, !tbaa !5
  %311 = load i64, ptr %9, align 8, !tbaa !5
  %312 = add i64 %311, 1
  store i64 %312, ptr %9, align 8, !tbaa !5
  %313 = load ptr, ptr %5, align 8, !tbaa !9
  %314 = getelementptr inbounds i64, ptr %313, i64 1
  %315 = load i64, ptr %314, align 8, !tbaa !5
  %316 = icmp ugt i64 %312, %315
  br i1 %316, label %317, label %318

317:                                              ; preds = %294
  store i64 1, ptr %9, align 8, !tbaa !5
  br label %318

318:                                              ; preds = %317, %294
  br label %319

319:                                              ; preds = %318
  %320 = load i64, ptr %6, align 8, !tbaa !5
  %321 = add i64 %320, -1
  store i64 %321, ptr %6, align 8, !tbaa !5
  br label %277, !llvm.loop !15

322:                                              ; preds = %277
  br label %323

323:                                              ; preds = %347, %322
  %324 = load i64, ptr %6, align 8, !tbaa !5
  %325 = icmp ugt i64 %324, 0
  br i1 %325, label %326, label %350

326:                                              ; preds = %323
  %327 = load i32, ptr %17, align 4, !tbaa !13
  %328 = load i32, ptr %17, align 4, !tbaa !13
  %329 = call i64 @index_size(i32 noundef %328)
  %330 = call i64 @randomr(i64 noundef 1, i64 noundef %329)
  %331 = call i64 @choose_index(i32 noundef %327, i64 noundef %330)
  store i64 %331, ptr %10, align 8, !tbaa !5
  %332 = load ptr, ptr %5, align 8, !tbaa !9
  %333 = getelementptr inbounds i64, ptr %332, i64 1
  %334 = load i64, ptr %333, align 8, !tbaa !5
  %335 = call i64 @randomr(i64 noundef 1, i64 noundef %334)
  store i64 %335, ptr %9, align 8, !tbaa !5
  %336 = load ptr, ptr @pred, align 8, !tbaa !9
  %337 = load i64, ptr %9, align 8, !tbaa !5
  %338 = getelementptr inbounds i64, ptr %336, i64 %337
  %339 = load i64, ptr %338, align 8, !tbaa !5
  %340 = load ptr, ptr @pred, align 8, !tbaa !9
  %341 = load i64, ptr %10, align 8, !tbaa !5
  %342 = getelementptr inbounds i64, ptr %340, i64 %341
  store i64 %339, ptr %342, align 8, !tbaa !5
  %343 = load i64, ptr %10, align 8, !tbaa !5
  %344 = load ptr, ptr @pred, align 8, !tbaa !9
  %345 = load i64, ptr %9, align 8, !tbaa !5
  %346 = getelementptr inbounds i64, ptr %344, i64 %345
  store i64 %343, ptr %346, align 8, !tbaa !5
  br label %347

347:                                              ; preds = %326
  %348 = load i64, ptr %6, align 8, !tbaa !5
  %349 = add i64 %348, -1
  store i64 %349, ptr %6, align 8, !tbaa !5
  br label %323, !llvm.loop !16

350:                                              ; preds = %323
  %351 = load i32, ptr %17, align 4, !tbaa !13
  call void @free_index_list(i32 noundef %351)
  store i64 1, ptr %9, align 8, !tbaa !5
  br label %352

352:                                              ; preds = %754, %350
  %353 = load i64, ptr %9, align 8, !tbaa !5
  %354 = load ptr, ptr %5, align 8, !tbaa !9
  %355 = getelementptr inbounds i64, ptr %354, i64 1
  %356 = load i64, ptr %355, align 8, !tbaa !5
  %357 = icmp ule i64 %353, %356
  br i1 %357, label %358, label %757

358:                                              ; preds = %352
  store i32 0, ptr %20, align 4, !tbaa !13
  %359 = load ptr, ptr @pred, align 8, !tbaa !9
  %360 = load i64, ptr %9, align 8, !tbaa !5
  %361 = getelementptr inbounds i64, ptr %359, i64 %360
  %362 = load i64, ptr %361, align 8, !tbaa !5
  store i64 %362, ptr %10, align 8, !tbaa !5
  br label %363

363:                                              ; preds = %367, %358
  %364 = load i64, ptr %10, align 8, !tbaa !5
  %365 = load i64, ptr %9, align 8, !tbaa !5
  %366 = icmp ne i64 %364, %365
  br i1 %366, label %367, label %383

367:                                              ; preds = %363
  %368 = load i32, ptr %20, align 4, !tbaa !13
  %369 = add nsw i32 %368, 1
  store i32 %369, ptr %20, align 4, !tbaa !13
  %370 = load i64, ptr %10, align 8, !tbaa !5
  %371 = load ptr, ptr @head, align 8, !tbaa !9
  %372 = load i32, ptr %20, align 4, !tbaa !13
  %373 = sext i32 %372 to i64
  %374 = getelementptr inbounds i64, ptr %371, i64 %373
  store i64 %370, ptr %374, align 8, !tbaa !5
  %375 = load ptr, ptr @pred, align 8, !tbaa !9
  %376 = load i64, ptr %10, align 8, !tbaa !5
  %377 = getelementptr inbounds i64, ptr %375, i64 %376
  %378 = load i64, ptr %377, align 8, !tbaa !5
  %379 = load ptr, ptr @tail, align 8, !tbaa !9
  %380 = load i32, ptr %20, align 4, !tbaa !13
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds i64, ptr %379, i64 %381
  store i64 %378, ptr %382, align 8, !tbaa !5
  store i64 %378, ptr %10, align 8, !tbaa !5
  br label %363, !llvm.loop !17

383:                                              ; preds = %363
  %384 = load ptr, ptr %5, align 8, !tbaa !9
  %385 = getelementptr inbounds i64, ptr %384, i64 0
  %386 = load i64, ptr %385, align 8, !tbaa !5
  %387 = load ptr, ptr %5, align 8, !tbaa !9
  %388 = getelementptr inbounds i64, ptr %387, i64 1
  %389 = load i64, ptr %388, align 8, !tbaa !5
  %390 = sub nsw i64 %386, %389
  %391 = load ptr, ptr %5, align 8, !tbaa !9
  %392 = getelementptr inbounds i64, ptr %391, i64 2
  %393 = load i64, ptr %392, align 8, !tbaa !5
  %394 = sub nsw i64 %390, %393
  %395 = icmp eq i64 %394, 0
  br i1 %395, label %396, label %405

396:                                              ; preds = %383
  %397 = load ptr, ptr %5, align 8, !tbaa !9
  %398 = getelementptr inbounds i64, ptr %397, i64 2
  %399 = load i64, ptr %398, align 8, !tbaa !5
  %400 = load ptr, ptr %5, align 8, !tbaa !9
  %401 = getelementptr inbounds i64, ptr %400, i64 1
  %402 = load i64, ptr %401, align 8, !tbaa !5
  %403 = sdiv i64 %399, %402
  %404 = add nsw i64 %403, 1
  store i64 %404, ptr %11, align 8, !tbaa !5
  br label %430

405:                                              ; preds = %383
  %406 = load i32, ptr %20, align 4, !tbaa !13
  %407 = sitofp i32 %406 to double
  %408 = fmul double 2.000000e+00, %407
  %409 = load ptr, ptr %5, align 8, !tbaa !9
  %410 = getelementptr inbounds i64, ptr %409, i64 2
  %411 = load i64, ptr %410, align 8, !tbaa !5
  %412 = sitofp i64 %411 to double
  %413 = fmul double %408, %412
  %414 = load ptr, ptr %5, align 8, !tbaa !9
  %415 = getelementptr inbounds i64, ptr %414, i64 0
  %416 = load i64, ptr %415, align 8, !tbaa !5
  %417 = sitofp i64 %416 to double
  %418 = load ptr, ptr %5, align 8, !tbaa !9
  %419 = getelementptr inbounds i64, ptr %418, i64 1
  %420 = load i64, ptr %419, align 8, !tbaa !5
  %421 = sitofp i64 %420 to double
  %422 = fsub double %417, %421
  %423 = load ptr, ptr %5, align 8, !tbaa !9
  %424 = getelementptr inbounds i64, ptr %423, i64 2
  %425 = load i64, ptr %424, align 8, !tbaa !5
  %426 = sitofp i64 %425 to double
  %427 = fsub double %422, %426
  %428 = fdiv double %413, %427
  %429 = fptoui double %428 to i64
  store i64 %429, ptr %11, align 8, !tbaa !5
  br label %430

430:                                              ; preds = %405, %396
  %431 = load i64, ptr %11, align 8, !tbaa !5
  %432 = load ptr, ptr %5, align 8, !tbaa !9
  %433 = getelementptr inbounds i64, ptr %432, i64 2
  %434 = load i64, ptr %433, align 8, !tbaa !5
  %435 = icmp ult i64 %431, %434
  br i1 %435, label %436, label %438

436:                                              ; preds = %430
  %437 = load i64, ptr %11, align 8, !tbaa !5
  br label %442

438:                                              ; preds = %430
  %439 = load ptr, ptr %5, align 8, !tbaa !9
  %440 = getelementptr inbounds i64, ptr %439, i64 2
  %441 = load i64, ptr %440, align 8, !tbaa !5
  br label %442

442:                                              ; preds = %438, %436
  %443 = phi i64 [ %437, %436 ], [ %441, %438 ]
  %444 = icmp ugt i64 2, %443
  br i1 %444, label %445, label %446

445:                                              ; preds = %442
  br label %460

446:                                              ; preds = %442
  %447 = load i64, ptr %11, align 8, !tbaa !5
  %448 = load ptr, ptr %5, align 8, !tbaa !9
  %449 = getelementptr inbounds i64, ptr %448, i64 2
  %450 = load i64, ptr %449, align 8, !tbaa !5
  %451 = icmp ult i64 %447, %450
  br i1 %451, label %452, label %454

452:                                              ; preds = %446
  %453 = load i64, ptr %11, align 8, !tbaa !5
  br label %458

454:                                              ; preds = %446
  %455 = load ptr, ptr %5, align 8, !tbaa !9
  %456 = getelementptr inbounds i64, ptr %455, i64 2
  %457 = load i64, ptr %456, align 8, !tbaa !5
  br label %458

458:                                              ; preds = %454, %452
  %459 = phi i64 [ %453, %452 ], [ %457, %454 ]
  br label %460

460:                                              ; preds = %458, %445
  %461 = phi i64 [ 2, %445 ], [ %459, %458 ]
  store i64 %461, ptr %11, align 8, !tbaa !5
  %462 = load i64, ptr %11, align 8, !tbaa !5
  %463 = mul i64 %462, 8
  %464 = call noalias ptr @malloc(i64 noundef %463) #8
  store ptr %464, ptr %12, align 8, !tbaa !9
  %465 = load ptr, ptr %5, align 8, !tbaa !9
  %466 = getelementptr inbounds i64, ptr %465, i64 0
  %467 = load i64, ptr %466, align 8, !tbaa !5
  %468 = load ptr, ptr %5, align 8, !tbaa !9
  %469 = getelementptr inbounds i64, ptr %468, i64 2
  %470 = load i64, ptr %469, align 8, !tbaa !5
  %471 = sub nsw i64 %467, %470
  %472 = load ptr, ptr %5, align 8, !tbaa !9
  %473 = getelementptr inbounds i64, ptr %472, i64 0
  %474 = load i64, ptr %473, align 8, !tbaa !5
  %475 = sub nsw i64 %474, 1
  %476 = call i32 @make_index_list(i64 noundef %471, i64 noundef %475)
  store i32 %476, ptr %17, align 4, !tbaa !13
  store i64 0, ptr %6, align 8, !tbaa !5
  br label %477

477:                                              ; preds = %490, %460
  %478 = load i64, ptr %6, align 8, !tbaa !5
  %479 = load i64, ptr %11, align 8, !tbaa !5
  %480 = icmp ult i64 %478, %479
  br i1 %480, label %481, label %493

481:                                              ; preds = %477
  %482 = load i32, ptr %17, align 4, !tbaa !13
  %483 = load i32, ptr %17, align 4, !tbaa !13
  %484 = call i64 @index_size(i32 noundef %483)
  %485 = call i64 @randomr(i64 noundef 1, i64 noundef %484)
  %486 = call i64 @choose_index(i32 noundef %482, i64 noundef %485)
  %487 = load ptr, ptr %12, align 8, !tbaa !9
  %488 = load i64, ptr %6, align 8, !tbaa !5
  %489 = getelementptr inbounds i64, ptr %487, i64 %488
  store i64 %486, ptr %489, align 8, !tbaa !5
  br label %490

490:                                              ; preds = %481
  %491 = load i64, ptr %6, align 8, !tbaa !5
  %492 = add i64 %491, 1
  store i64 %492, ptr %6, align 8, !tbaa !5
  br label %477, !llvm.loop !18

493:                                              ; preds = %477
  %494 = load i64, ptr %9, align 8, !tbaa !5
  %495 = load ptr, ptr %5, align 8, !tbaa !9
  %496 = getelementptr inbounds i64, ptr %495, i64 1
  %497 = load i64, ptr %496, align 8, !tbaa !5
  %498 = icmp eq i64 %494, %497
  br i1 %498, label %499, label %531

499:                                              ; preds = %493
  %500 = load i32, ptr %17, align 4, !tbaa !13
  %501 = call i64 @index_size(i32 noundef %500)
  %502 = icmp ugt i64 %501, 0
  br i1 %502, label %503, label %531

503:                                              ; preds = %499
  %504 = load ptr, ptr %12, align 8, !tbaa !9
  %505 = load i64, ptr %11, align 8, !tbaa !5
  %506 = load i32, ptr %17, align 4, !tbaa !13
  %507 = call i64 @index_size(i32 noundef %506)
  %508 = add i64 %505, %507
  %509 = mul i64 %508, 8
  %510 = call ptr @realloc(ptr noundef %504, i64 noundef %509) #9
  store ptr %510, ptr %12, align 8, !tbaa !9
  br label %511

511:                                              ; preds = %529, %503
  %512 = load i32, ptr %17, align 4, !tbaa !13
  %513 = call i64 @index_size(i32 noundef %512)
  %514 = icmp ugt i64 %513, 0
  br i1 %514, label %515, label %530

515:                                              ; preds = %511
  %516 = load i32, ptr %17, align 4, !tbaa !13
  %517 = call i64 @choose_index(i32 noundef %516, i64 noundef 1)
  store i64 %517, ptr %7, align 8, !tbaa !5
  %518 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %519 = load i64, ptr %7, align 8, !tbaa !5
  %520 = getelementptr inbounds i64, ptr %518, i64 %519
  %521 = load i64, ptr %520, align 8, !tbaa !5
  %522 = icmp eq i64 %521, 0
  br i1 %522, label %523, label %529

523:                                              ; preds = %515
  %524 = load i64, ptr %7, align 8, !tbaa !5
  %525 = load ptr, ptr %12, align 8, !tbaa !9
  %526 = load i64, ptr %11, align 8, !tbaa !5
  %527 = add i64 %526, 1
  store i64 %527, ptr %11, align 8, !tbaa !5
  %528 = getelementptr inbounds i64, ptr %525, i64 %526
  store i64 %524, ptr %528, align 8, !tbaa !5
  br label %529

529:                                              ; preds = %523, %515
  br label %511, !llvm.loop !19

530:                                              ; preds = %511
  br label %531

531:                                              ; preds = %530, %499, %493
  %532 = load i32, ptr %17, align 4, !tbaa !13
  call void @free_index_list(i32 noundef %532)
  %533 = load i32, ptr %20, align 4, !tbaa !13
  store i32 %533, ptr %14, align 4, !tbaa !13
  %534 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %535 = load i64, ptr %9, align 8, !tbaa !5
  %536 = sub i64 %535, 1
  %537 = getelementptr inbounds i64, ptr %534, i64 %536
  %538 = load i64, ptr %537, align 8, !tbaa !5
  %539 = load i64, ptr %11, align 8, !tbaa !5
  %540 = udiv i64 %538, %539
  %541 = trunc i64 %540 to i32
  store i32 %541, ptr %18, align 4, !tbaa !13
  %542 = load ptr, ptr @pred, align 8, !tbaa !9
  %543 = load i64, ptr %9, align 8, !tbaa !5
  %544 = getelementptr inbounds i64, ptr %542, i64 %543
  %545 = load i64, ptr %544, align 8, !tbaa !5
  store i64 %545, ptr %8, align 8, !tbaa !5
  store i64 0, ptr %6, align 8, !tbaa !5
  br label %546

546:                                              ; preds = %612, %531
  %547 = load i64, ptr %6, align 8, !tbaa !5
  %548 = load i64, ptr %11, align 8, !tbaa !5
  %549 = icmp ult i64 %547, %548
  br i1 %549, label %550, label %615

550:                                              ; preds = %546
  %551 = load i32, ptr %20, align 4, !tbaa !13
  %552 = add nsw i32 %551, 1
  store i32 %552, ptr %20, align 4, !tbaa !13
  %553 = load i32, ptr %18, align 4, !tbaa !13
  %554 = sext i32 %553 to i64
  %555 = call i64 @randomr(i64 noundef 1, i64 noundef %554)
  %556 = trunc i64 %555 to i32
  store i32 %556, ptr %19, align 4, !tbaa !13
  %557 = load i64, ptr %11, align 8, !tbaa !5
  %558 = sub nsw i64 %557, 1
  %559 = call i64 @randomr(i64 noundef 0, i64 noundef %558)
  store i64 %559, ptr %7, align 8, !tbaa !5
  %560 = load i64, ptr %8, align 8, !tbaa !5
  %561 = load ptr, ptr @tail, align 8, !tbaa !9
  %562 = load i32, ptr %20, align 4, !tbaa !13
  %563 = sext i32 %562 to i64
  %564 = getelementptr inbounds i64, ptr %561, i64 %563
  store i64 %560, ptr %564, align 8, !tbaa !5
  %565 = load ptr, ptr %12, align 8, !tbaa !9
  %566 = load i64, ptr %6, align 8, !tbaa !5
  %567 = getelementptr inbounds i64, ptr %565, i64 %566
  %568 = load i64, ptr %567, align 8, !tbaa !5
  %569 = add i64 %568, 1
  %570 = load ptr, ptr @head, align 8, !tbaa !9
  %571 = load i32, ptr %20, align 4, !tbaa !13
  %572 = sext i32 %571 to i64
  %573 = getelementptr inbounds i64, ptr %570, i64 %572
  store i64 %569, ptr %573, align 8, !tbaa !5
  %574 = load i32, ptr %19, align 4, !tbaa !13
  %575 = sext i32 %574 to i64
  %576 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %577 = load ptr, ptr %12, align 8, !tbaa !9
  %578 = load i64, ptr %6, align 8, !tbaa !5
  %579 = getelementptr inbounds i64, ptr %577, i64 %578
  %580 = load i64, ptr %579, align 8, !tbaa !5
  %581 = getelementptr inbounds i64, ptr %576, i64 %580
  %582 = load i64, ptr %581, align 8, !tbaa !5
  %583 = sub nsw i64 %582, %575
  store i64 %583, ptr %581, align 8, !tbaa !5
  %584 = load i32, ptr %18, align 4, !tbaa !13
  %585 = load i32, ptr %19, align 4, !tbaa !13
  %586 = sub nsw i32 %584, %585
  %587 = sext i32 %586 to i64
  %588 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %589 = load ptr, ptr %12, align 8, !tbaa !9
  %590 = load i64, ptr %7, align 8, !tbaa !5
  %591 = getelementptr inbounds i64, ptr %589, i64 %590
  %592 = load i64, ptr %591, align 8, !tbaa !5
  %593 = getelementptr inbounds i64, ptr %588, i64 %592
  %594 = load i64, ptr %593, align 8, !tbaa !5
  %595 = sub nsw i64 %594, %587
  store i64 %595, ptr %593, align 8, !tbaa !5
  %596 = load i64, ptr %9, align 8, !tbaa !5
  store i64 %596, ptr %8, align 8, !tbaa !5
  %597 = load i32, ptr %14, align 4, !tbaa !13
  %598 = sext i32 %597 to i64
  %599 = call i64 @randomr(i64 noundef 1, i64 noundef %598)
  store i64 %599, ptr %7, align 8, !tbaa !5
  br label %600

600:                                              ; preds = %608, %550
  %601 = load i64, ptr %7, align 8, !tbaa !5
  %602 = icmp ugt i64 %601, 0
  br i1 %602, label %603, label %611

603:                                              ; preds = %600
  %604 = load ptr, ptr @pred, align 8, !tbaa !9
  %605 = load i64, ptr %8, align 8, !tbaa !5
  %606 = getelementptr inbounds i64, ptr %604, i64 %605
  %607 = load i64, ptr %606, align 8, !tbaa !5
  store i64 %607, ptr %8, align 8, !tbaa !5
  br label %608

608:                                              ; preds = %603
  %609 = load i64, ptr %7, align 8, !tbaa !5
  %610 = add i64 %609, -1
  store i64 %610, ptr %7, align 8, !tbaa !5
  br label %600, !llvm.loop !20

611:                                              ; preds = %600
  br label %612

612:                                              ; preds = %611
  %613 = load i64, ptr %6, align 8, !tbaa !5
  %614 = add i64 %613, 1
  store i64 %614, ptr %6, align 8, !tbaa !5
  br label %546, !llvm.loop !21

615:                                              ; preds = %546
  %616 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %617 = load i64, ptr %9, align 8, !tbaa !5
  %618 = sub i64 %617, 1
  %619 = getelementptr inbounds i64, ptr %616, i64 %618
  %620 = load i64, ptr %619, align 8, !tbaa !5
  %621 = load i64, ptr %11, align 8, !tbaa !5
  %622 = urem i64 %620, %621
  %623 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %624 = load ptr, ptr %12, align 8, !tbaa !9
  %625 = getelementptr inbounds i64, ptr %624, i64 0
  %626 = load i64, ptr %625, align 8, !tbaa !5
  %627 = getelementptr inbounds i64, ptr %623, i64 %626
  %628 = load i64, ptr %627, align 8, !tbaa !5
  %629 = sub i64 %628, %622
  store i64 %629, ptr %627, align 8, !tbaa !5
  %630 = load ptr, ptr %12, align 8, !tbaa !9
  call void @free(ptr noundef %630) #7
  %631 = load i32, ptr %20, align 4, !tbaa !13
  call void @sort_skeleton(i32 noundef %631)
  %632 = load ptr, ptr @tail, align 8, !tbaa !9
  %633 = load i32, ptr %20, align 4, !tbaa !13
  %634 = add nsw i32 %633, 1
  %635 = sext i32 %634 to i64
  %636 = getelementptr inbounds i64, ptr %632, i64 %635
  store i64 0, ptr %636, align 8, !tbaa !5
  store i64 1, ptr %6, align 8, !tbaa !5
  br label %637

637:                                              ; preds = %748, %615
  %638 = load i64, ptr %6, align 8, !tbaa !5
  %639 = load i32, ptr %20, align 4, !tbaa !13
  %640 = sext i32 %639 to i64
  %641 = icmp ule i64 %638, %640
  br i1 %641, label %642, label %753

642:                                              ; preds = %637
  %643 = load ptr, ptr %5, align 8, !tbaa !9
  %644 = getelementptr inbounds i64, ptr %643, i64 1
  %645 = load i64, ptr %644, align 8, !tbaa !5
  %646 = load ptr, ptr %5, align 8, !tbaa !9
  %647 = getelementptr inbounds i64, ptr %646, i64 7
  %648 = load i64, ptr %647, align 8, !tbaa !5
  %649 = sub nsw i64 %645, %648
  %650 = add nsw i64 %649, 1
  %651 = load ptr, ptr %5, align 8, !tbaa !9
  %652 = getelementptr inbounds i64, ptr %651, i64 0
  %653 = load i64, ptr %652, align 8, !tbaa !5
  %654 = call i32 @make_index_list(i64 noundef %650, i64 noundef %653)
  store i32 %654, ptr %17, align 4, !tbaa !13
  %655 = load i32, ptr %17, align 4, !tbaa !13
  %656 = load ptr, ptr @tail, align 8, !tbaa !9
  %657 = load i64, ptr %6, align 8, !tbaa !5
  %658 = getelementptr inbounds i64, ptr %656, i64 %657
  %659 = load i64, ptr %658, align 8, !tbaa !5
  call void @remove_index(i32 noundef %655, i64 noundef %659)
  %660 = load ptr, ptr @tail, align 8, !tbaa !9
  %661 = load i64, ptr %6, align 8, !tbaa !5
  %662 = getelementptr inbounds i64, ptr %660, i64 %661
  %663 = load i64, ptr %662, align 8, !tbaa !5
  store i64 %663, ptr %13, align 8, !tbaa !5
  br label %664

664:                                              ; preds = %724, %642
  %665 = load i64, ptr %13, align 8, !tbaa !5
  %666 = load ptr, ptr @tail, align 8, !tbaa !9
  %667 = load i64, ptr %6, align 8, !tbaa !5
  %668 = getelementptr inbounds i64, ptr %666, i64 %667
  %669 = load i64, ptr %668, align 8, !tbaa !5
  %670 = icmp eq i64 %665, %669
  br i1 %670, label %671, label %748

671:                                              ; preds = %664
  %672 = load i32, ptr %17, align 4, !tbaa !13
  %673 = load ptr, ptr @head, align 8, !tbaa !9
  %674 = load i64, ptr %6, align 8, !tbaa !5
  %675 = getelementptr inbounds i64, ptr %673, i64 %674
  %676 = load i64, ptr %675, align 8, !tbaa !5
  call void @remove_index(i32 noundef %672, i64 noundef %676)
  %677 = load ptr, ptr %5, align 8, !tbaa !9
  %678 = getelementptr inbounds i64, ptr %677, i64 6
  %679 = load i64, ptr %678, align 8, !tbaa !5
  store i64 %679, ptr %16, align 8, !tbaa !5
  %680 = call i64 @randomr(i64 noundef 1, i64 noundef 100)
  %681 = load ptr, ptr %5, align 8, !tbaa !9
  %682 = getelementptr inbounds i64, ptr %681, i64 10
  %683 = load i64, ptr %682, align 8, !tbaa !5
  %684 = icmp sle i64 %680, %683
  br i1 %684, label %685, label %707

685:                                              ; preds = %671
  %686 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %687 = load i64, ptr %9, align 8, !tbaa !5
  %688 = sub i64 %687, 1
  %689 = getelementptr inbounds i64, ptr %686, i64 %688
  %690 = load i64, ptr %689, align 8, !tbaa !5
  %691 = load ptr, ptr %5, align 8, !tbaa !9
  %692 = getelementptr inbounds i64, ptr %691, i64 11
  %693 = load i64, ptr %692, align 8, !tbaa !5
  %694 = icmp sgt i64 %690, %693
  br i1 %694, label %695, label %701

695:                                              ; preds = %685
  %696 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %697 = load i64, ptr %9, align 8, !tbaa !5
  %698 = sub i64 %697, 1
  %699 = getelementptr inbounds i64, ptr %696, i64 %698
  %700 = load i64, ptr %699, align 8, !tbaa !5
  br label %705

701:                                              ; preds = %685
  %702 = load ptr, ptr %5, align 8, !tbaa !9
  %703 = getelementptr inbounds i64, ptr %702, i64 11
  %704 = load i64, ptr %703, align 8, !tbaa !5
  br label %705

705:                                              ; preds = %701, %695
  %706 = phi i64 [ %700, %695 ], [ %704, %701 ]
  store i64 %706, ptr %16, align 8, !tbaa !5
  br label %707

707:                                              ; preds = %705, %671
  %708 = load ptr, ptr %5, align 8, !tbaa !9
  %709 = getelementptr inbounds i64, ptr %708, i64 5
  %710 = load i64, ptr %709, align 8, !tbaa !5
  store i64 %710, ptr %15, align 8, !tbaa !5
  %711 = call i64 @randomr(i64 noundef 1, i64 noundef 100)
  %712 = load ptr, ptr %5, align 8, !tbaa !9
  %713 = getelementptr inbounds i64, ptr %712, i64 9
  %714 = load i64, ptr %713, align 8, !tbaa !5
  %715 = icmp sgt i64 %711, %714
  br i1 %715, label %716, label %724

716:                                              ; preds = %707
  %717 = load ptr, ptr %5, align 8, !tbaa !9
  %718 = getelementptr inbounds i64, ptr %717, i64 4
  %719 = load i64, ptr %718, align 8, !tbaa !5
  %720 = load ptr, ptr %5, align 8, !tbaa !9
  %721 = getelementptr inbounds i64, ptr %720, i64 5
  %722 = load i64, ptr %721, align 8, !tbaa !5
  %723 = call i64 @randomr(i64 noundef %719, i64 noundef %722)
  store i64 %723, ptr %15, align 8, !tbaa !5
  br label %724

724:                                              ; preds = %716, %707
  %725 = load i64, ptr %13, align 8, !tbaa !5
  %726 = load ptr, ptr @arrays_, align 8, !tbaa !9
  %727 = load i64, ptr @arc_count, align 8, !tbaa !5
  %728 = getelementptr inbounds i64, ptr %726, i64 %727
  store i64 %725, ptr %728, align 8, !tbaa !5
  %729 = load ptr, ptr @head, align 8, !tbaa !9
  %730 = load i64, ptr %6, align 8, !tbaa !5
  %731 = getelementptr inbounds i64, ptr %729, i64 %730
  %732 = load i64, ptr %731, align 8, !tbaa !5
  %733 = load ptr, ptr @arraye_, align 8, !tbaa !9
  %734 = load i64, ptr @arc_count, align 8, !tbaa !5
  %735 = getelementptr inbounds i64, ptr %733, i64 %734
  store i64 %732, ptr %735, align 8, !tbaa !5
  %736 = load i64, ptr %15, align 8, !tbaa !5
  %737 = load ptr, ptr @arrayc_, align 8, !tbaa !9
  %738 = load i64, ptr @arc_count, align 8, !tbaa !5
  %739 = getelementptr inbounds i64, ptr %737, i64 %738
  store i64 %736, ptr %739, align 8, !tbaa !5
  %740 = load i64, ptr %16, align 8, !tbaa !5
  %741 = load ptr, ptr @arrayu_, align 8, !tbaa !9
  %742 = load i64, ptr @arc_count, align 8, !tbaa !5
  %743 = getelementptr inbounds i64, ptr %741, i64 %742
  store i64 %740, ptr %743, align 8, !tbaa !5
  %744 = load i64, ptr @arc_count, align 8, !tbaa !5
  %745 = add i64 %744, 1
  store i64 %745, ptr @arc_count, align 8, !tbaa !5
  %746 = load i64, ptr %6, align 8, !tbaa !5
  %747 = add i64 %746, 1
  store i64 %747, ptr %6, align 8, !tbaa !5
  br label %664, !llvm.loop !22

748:                                              ; preds = %664
  %749 = load ptr, ptr %5, align 8, !tbaa !9
  %750 = load i32, ptr %17, align 4, !tbaa !13
  %751 = load i64, ptr %13, align 8, !tbaa !5
  call void @pick_head(ptr noundef %749, i32 noundef %750, i64 noundef %751)
  %752 = load i32, ptr %17, align 4, !tbaa !13
  call void @free_index_list(i32 noundef %752)
  br label %637, !llvm.loop !23

753:                                              ; preds = %637
  br label %754

754:                                              ; preds = %753
  %755 = load i64, ptr %9, align 8, !tbaa !5
  %756 = add i64 %755, 1
  store i64 %756, ptr %9, align 8, !tbaa !5
  br label %352, !llvm.loop !24

757:                                              ; preds = %352
  %758 = load ptr, ptr %5, align 8, !tbaa !9
  %759 = getelementptr inbounds i64, ptr %758, i64 0
  %760 = load i64, ptr %759, align 8, !tbaa !5
  %761 = load ptr, ptr %5, align 8, !tbaa !9
  %762 = getelementptr inbounds i64, ptr %761, i64 2
  %763 = load i64, ptr %762, align 8, !tbaa !5
  %764 = sub nsw i64 %760, %763
  %765 = add nsw i64 %764, 1
  store i64 %765, ptr %6, align 8, !tbaa !5
  br label %766

766:                                              ; preds = %799, %757
  %767 = load i64, ptr %6, align 8, !tbaa !5
  %768 = load ptr, ptr %5, align 8, !tbaa !9
  %769 = getelementptr inbounds i64, ptr %768, i64 0
  %770 = load i64, ptr %769, align 8, !tbaa !5
  %771 = load ptr, ptr %5, align 8, !tbaa !9
  %772 = getelementptr inbounds i64, ptr %771, i64 2
  %773 = load i64, ptr %772, align 8, !tbaa !5
  %774 = sub nsw i64 %770, %773
  %775 = load ptr, ptr %5, align 8, !tbaa !9
  %776 = getelementptr inbounds i64, ptr %775, i64 8
  %777 = load i64, ptr %776, align 8, !tbaa !5
  %778 = add nsw i64 %774, %777
  %779 = icmp ule i64 %767, %778
  br i1 %779, label %780, label %802

780:                                              ; preds = %766
  %781 = load ptr, ptr %5, align 8, !tbaa !9
  %782 = getelementptr inbounds i64, ptr %781, i64 1
  %783 = load i64, ptr %782, align 8, !tbaa !5
  %784 = load ptr, ptr %5, align 8, !tbaa !9
  %785 = getelementptr inbounds i64, ptr %784, i64 7
  %786 = load i64, ptr %785, align 8, !tbaa !5
  %787 = sub nsw i64 %783, %786
  %788 = add nsw i64 %787, 1
  %789 = load ptr, ptr %5, align 8, !tbaa !9
  %790 = getelementptr inbounds i64, ptr %789, i64 0
  %791 = load i64, ptr %790, align 8, !tbaa !5
  %792 = call i32 @make_index_list(i64 noundef %788, i64 noundef %791)
  store i32 %792, ptr %17, align 4, !tbaa !13
  %793 = load i32, ptr %17, align 4, !tbaa !13
  %794 = load i64, ptr %6, align 8, !tbaa !5
  call void @remove_index(i32 noundef %793, i64 noundef %794)
  %795 = load ptr, ptr %5, align 8, !tbaa !9
  %796 = load i32, ptr %17, align 4, !tbaa !13
  %797 = load i64, ptr %6, align 8, !tbaa !5
  call void @pick_head(ptr noundef %795, i32 noundef %796, i64 noundef %797)
  %798 = load i32, ptr %17, align 4, !tbaa !13
  call void @free_index_list(i32 noundef %798)
  br label %799

799:                                              ; preds = %780
  %800 = load i64, ptr %6, align 8, !tbaa !5
  %801 = add i64 %800, 1
  store i64 %801, ptr %6, align 8, !tbaa !5
  br label %766, !llvm.loop !25

802:                                              ; preds = %766
  %803 = load i64, ptr @arc_count, align 8, !tbaa !5
  store i64 %803, ptr %3, align 8
  store i32 1, ptr %21, align 4
  br label %804

804:                                              ; preds = %802, %228, %131, %35, %24
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #7
  %805 = load i64, ptr %3, align 8
  ret i64 %805
}

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

; Function Attrs: nounwind allocsize(0)
declare noalias ptr @malloc(i64 noundef) #2

declare void @set_random(i64 noundef) #3

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

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

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

declare i32 @make_index_list(i64 noundef, i64 noundef) #3

declare i64 @choose_index(i32 noundef, i64 noundef) #3

declare i64 @randomr(i64 noundef, i64 noundef) #3

declare i64 @index_size(i32 noundef) #3

declare void @free_index_list(i32 noundef) #3

; Function Attrs: nounwind allocsize(1)
declare ptr @realloc(ptr noundef, i64 noundef) #5

; Function Attrs: nounwind
declare void @free(ptr noundef) #6

; Function Attrs: nounwind uwtable
declare hidden void @sort_skeleton(i32 noundef) #0

declare void @remove_index(i32 noundef, i64 noundef) #3

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

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

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

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

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

@arrays_ = external dso_local local_unnamed_addr global ptr, align 8
@arraye_ = external dso_local local_unnamed_addr global ptr, align 8
@arrayu_ = external dso_local local_unnamed_addr global ptr, align 8
@arrayc_ = external dso_local local_unnamed_addr global ptr, align 8
@arrayb_ = external dso_local local_unnamed_addr global ptr, align 8
@pred = external hidden local_unnamed_addr global ptr, align 8
@head = external hidden local_unnamed_addr global ptr, align 8
@tail = external hidden local_unnamed_addr global ptr, align 8
@arc_count = external hidden local_unnamed_addr global i64, align 8
@nodes_left = external hidden local_unnamed_addr global i64, align 8

; Function Attrs: nounwind uwtable
define dso_local i64 @netgen(i64 noundef %0, ptr noundef %1) local_unnamed_addr #0 {
  %3 = icmp slt i64 %0, 1
  br i1 %3, label %347, label %4

4:                                                ; preds = %2
  %5 = load i64, ptr %1, align 8, !tbaa !5
  %6 = icmp sgt i64 %5, 1000000000
  br i1 %6, label %347, label %7

7:                                                ; preds = %4
  %8 = getelementptr inbounds i8, ptr %1, i64 24
  %9 = load i64, ptr %8, align 8, !tbaa !5
  %10 = icmp sgt i64 %9, 2000000000
  br i1 %10, label %347, label %11

11:                                               ; preds = %7
  %12 = icmp slt i64 %5, 1
  %13 = icmp sgt i64 %5, %9
  %or.cond = or i1 %12, %13
  br i1 %or.cond, label %347, label %14

14:                                               ; preds = %11
  %15 = getelementptr inbounds i8, ptr %1, i64 8
  %16 = load i64, ptr %15, align 8, !tbaa !5
  %17 = icmp slt i64 %16, 1
  br i1 %17, label %347, label %18

18:                                               ; preds = %14
  %19 = getelementptr inbounds i8, ptr %1, i64 16
  %20 = load i64, ptr %19, align 8, !tbaa !5
  %21 = icmp slt i64 %20, 1
  %22 = add nuw nsw i64 %20, %16
  %23 = icmp sgt i64 %22, %5
  %or.cond261 = select i1 %21, i1 true, i1 %23
  br i1 %or.cond261, label %347, label %24

24:                                               ; preds = %18
  %25 = getelementptr inbounds i8, ptr %1, i64 32
  %26 = load i64, ptr %25, align 8, !tbaa !5
  %27 = getelementptr inbounds i8, ptr %1, i64 40
  %28 = load i64, ptr %27, align 8, !tbaa !5
  %29 = icmp sgt i64 %26, %28
  br i1 %29, label %347, label %30

30:                                               ; preds = %24
  %31 = getelementptr inbounds i8, ptr %1, i64 48
  %32 = load i64, ptr %31, align 8, !tbaa !5
  %33 = icmp slt i64 %32, %16
  br i1 %33, label %347, label %34

34:                                               ; preds = %30
  %35 = getelementptr inbounds i8, ptr %1, i64 56
  %36 = load i64, ptr %35, align 8, !tbaa !5
  %37 = icmp sgt i64 %36, %16
  br i1 %37, label %347, label %38

38:                                               ; preds = %34
  %39 = getelementptr inbounds i8, ptr %1, i64 64
  %40 = load i64, ptr %39, align 8, !tbaa !5
  %41 = icmp sgt i64 %40, %20
  br i1 %41, label %347, label %42

42:                                               ; preds = %38
  %43 = getelementptr inbounds i8, ptr %1, i64 72
  %44 = load i64, ptr %43, align 8, !tbaa !5
  %or.cond262 = icmp ugt i64 %44, 100
  br i1 %or.cond262, label %347, label %45

45:                                               ; preds = %42
  %46 = getelementptr inbounds i8, ptr %1, i64 80
  %47 = load i64, ptr %46, align 8, !tbaa !5
  %or.cond263 = icmp ugt i64 %47, 100
  br i1 %or.cond263, label %347, label %48

48:                                               ; preds = %45
  %49 = getelementptr inbounds i8, ptr %1, i64 88
  %50 = load i64, ptr %49, align 8, !tbaa !5
  %51 = getelementptr inbounds i8, ptr %1, i64 96
  %52 = load i64, ptr %51, align 8, !tbaa !5
  %53 = icmp sgt i64 %50, %52
  br i1 %53, label %347, label %54

54:                                               ; preds = %48
  %55 = shl nuw nsw i64 %9, 3
  %56 = tail call noalias ptr @malloc(i64 noundef %55) #6
  store ptr %56, ptr @arrays_, align 8, !tbaa !9
  %57 = tail call noalias ptr @malloc(i64 noundef %55) #6
  store ptr %57, ptr @arraye_, align 8, !tbaa !9
  %58 = tail call noalias ptr @malloc(i64 noundef %55) #6
  store ptr %58, ptr @arrayu_, align 8, !tbaa !9
  %59 = tail call noalias ptr @malloc(i64 noundef %55) #6
  store ptr %59, ptr @arrayc_, align 8, !tbaa !9
  %60 = shl nuw nsw i64 %5, 3
  %61 = tail call noalias ptr @malloc(i64 noundef %60) #6
  store ptr %61, ptr @arrayb_, align 8, !tbaa !9
  %62 = tail call noalias ptr @malloc(i64 noundef %55) #6
  store ptr %62, ptr @pred, align 8, !tbaa !9
  %63 = tail call noalias ptr @malloc(i64 noundef %55) #6
  store ptr %63, ptr @head, align 8, !tbaa !9
  %64 = tail call noalias ptr @malloc(i64 noundef %55) #6
  store ptr %64, ptr @tail, align 8, !tbaa !9
  tail call void @set_random(i64 noundef %0) #7
  store i64 0, ptr @arc_count, align 8, !tbaa !5
  %65 = load i64, ptr %1, align 8, !tbaa !5
  %66 = load i64, ptr %19, align 8, !tbaa !5
  %67 = sub i64 %65, %66
  %68 = load i64, ptr %39, align 8, !tbaa !5
  %69 = add nsw i64 %67, %68
  store i64 %69, ptr @nodes_left, align 8, !tbaa !5
  %70 = load i64, ptr %15, align 8, !tbaa !5
  %71 = load i64, ptr %35, align 8, !tbaa !5
  %72 = sub nsw i64 %70, %71
  %73 = sub nsw i64 %66, %68
  %74 = add nsw i64 %72, %73
  %75 = load i64, ptr %1, align 8, !tbaa !5
  %76 = icmp eq i64 %74, %75
  %77 = icmp eq i64 %72, %73
  %or.cond264 = and i1 %77, %76
  br i1 %or.cond264, label %78, label %83

78:                                               ; preds = %54
  %79 = load i64, ptr %31, align 8, !tbaa !5
  %80 = icmp eq i64 %70, %79
  br i1 %80, label %81, label %83

81:                                               ; preds = %78
  tail call void @create_assignment(ptr noundef nonnull %1)
  %82 = load i64, ptr @arc_count, align 8, !tbaa !5
  br label %347

83:                                               ; preds = %78, %54
  %84 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  store i64 0, ptr %84, align 1
  %85 = load i64, ptr %15, align 8, !tbaa !5
  %86 = load i64, ptr %31, align 8, !tbaa !5
  tail call void @create_supply(i64 noundef %85, i64 noundef %86)
  %87 = load i64, ptr %15, align 8, !tbaa !5
  %.not275 = icmp eq i64 %87, 0
  br i1 %.not275, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %83
  %88 = load ptr, ptr @pred, align 8, !tbaa !9
  br label %89

89:                                               ; preds = %.lr.ph, %89
  %.0219276 = phi i64 [ 1, %.lr.ph ], [ %91, %89 ]
  %90 = getelementptr inbounds i64, ptr %88, i64 %.0219276
  store i64 %.0219276, ptr %90, align 8, !tbaa !5
  %91 = add i64 %.0219276, 1
  %92 = load i64, ptr %15, align 8, !tbaa !5
  %.not = icmp ugt i64 %91, %92
  br i1 %.not, label %._crit_edge.loopexit, label %89, !llvm.loop !11

._crit_edge.loopexit:                             ; preds = %89
  %93 = add nuw nsw i64 %92, 1
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %83
  %.lcssa = phi i64 [ 1, %83 ], [ %93, %._crit_edge.loopexit ]
  %94 = load i64, ptr %1, align 8, !tbaa !5
  %95 = load i64, ptr %19, align 8, !tbaa !5
  %96 = sub nsw i64 %94, %95
  %97 = tail call i32 @make_index_list(i64 noundef %.lcssa, i64 noundef %96) #7
  %98 = load i64, ptr %1, align 8, !tbaa !5
  %99 = load i64, ptr %15, align 8, !tbaa !5
  %100 = load i64, ptr %19, align 8, !tbaa !5
  %101 = add i64 %99, %100
  %102 = sub i64 %98, %101
  %103 = shl nsw i64 %102, 2
  %104 = add nsw i64 %103, 9
  %105 = sdiv i64 %104, 10
  %106 = icmp ugt i64 %102, %105
  br i1 %106, label %.lr.ph283, label %.preheader

.preheader:                                       ; preds = %.lr.ph283, %._crit_edge
  %.1220.lcssa = phi i64 [ %102, %._crit_edge ], [ %117, %.lr.ph283 ]
  %.not249285 = icmp eq i64 %.1220.lcssa, 0
  br i1 %.not249285, label %._crit_edge288, label %.lr.ph287

.lr.ph283:                                        ; preds = %._crit_edge, %.lr.ph283
  %.1220281 = phi i64 [ %117, %.lr.ph283 ], [ %102, %._crit_edge ]
  %.0232280 = phi i64 [ %spec.store.select, %.lr.ph283 ], [ 1, %._crit_edge ]
  %107 = tail call i64 @index_size(i32 noundef %97) #7
  %108 = tail call i64 @randomr(i64 noundef 1, i64 noundef %107) #7
  %109 = tail call i64 @choose_index(i32 noundef %97, i64 noundef %108) #7
  %110 = load ptr, ptr @pred, align 8, !tbaa !9
  %111 = getelementptr inbounds i64, ptr %110, i64 %.0232280
  %112 = load i64, ptr %111, align 8, !tbaa !5
  %113 = getelementptr inbounds i64, ptr %110, i64 %109
  store i64 %112, ptr %113, align 8, !tbaa !5
  store i64 %109, ptr %111, align 8, !tbaa !5
  %114 = add i64 %.0232280, 1
  %115 = load i64, ptr %15, align 8, !tbaa !5
  %116 = icmp ugt i64 %114, %115
  %spec.store.select = select i1 %116, i64 1, i64 %114
  %117 = add i64 %.1220281, -1
  %118 = load i64, ptr %1, align 8, !tbaa !5
  %119 = load i64, ptr %19, align 8, !tbaa !5
  %120 = add i64 %115, %119
  %121 = sub i64 %118, %120
  %122 = shl nsw i64 %121, 2
  %123 = add nsw i64 %122, 9
  %124 = sdiv i64 %123, 10
  %125 = icmp ugt i64 %117, %124
  br i1 %125, label %.lr.ph283, label %.preheader, !llvm.loop !13

.lr.ph287:                                        ; preds = %.preheader, %.lr.ph287
  %.2286 = phi i64 [ %135, %.lr.ph287 ], [ %.1220.lcssa, %.preheader ]
  %126 = tail call i64 @index_size(i32 noundef %97) #7
  %127 = tail call i64 @randomr(i64 noundef 1, i64 noundef %126) #7
  %128 = tail call i64 @choose_index(i32 noundef %97, i64 noundef %127) #7
  %129 = load i64, ptr %15, align 8, !tbaa !5
  %130 = tail call i64 @randomr(i64 noundef 1, i64 noundef %129) #7
  %131 = load ptr, ptr @pred, align 8, !tbaa !9
  %132 = getelementptr inbounds i64, ptr %131, i64 %130
  %133 = load i64, ptr %132, align 8, !tbaa !5
  %134 = getelementptr inbounds i64, ptr %131, i64 %128
  store i64 %133, ptr %134, align 8, !tbaa !5
  store i64 %128, ptr %132, align 8, !tbaa !5
  %135 = add i64 %.2286, -1
  %.not249 = icmp eq i64 %135, 0
  br i1 %.not249, label %._crit_edge288, label %.lr.ph287, !llvm.loop !14

._crit_edge288:                                   ; preds = %.lr.ph287, %.preheader
  tail call void @free_index_list(i32 noundef %97) #7
  %136 = load i64, ptr %15, align 8, !tbaa !5
  %.not250318 = icmp eq i64 %136, 0
  br i1 %.not250318, label %._crit_edge322, label %.lr.ph321

.lr.ph321:                                        ; preds = %._crit_edge288, %327
  %137 = phi i64 [ %329, %327 ], [ %136, %._crit_edge288 ]
  %.1233319 = phi i64 [ %328, %327 ], [ 1, %._crit_edge288 ]
  %138 = load ptr, ptr @pred, align 8, !tbaa !9
  %139 = getelementptr inbounds i64, ptr %138, i64 %.1233319
  %140 = load i64, ptr %139, align 8, !tbaa !5
  %.not252289 = icmp eq i64 %140, %.1233319
  br i1 %.not252289, label %._crit_edge294, label %.lr.ph293

.lr.ph293:                                        ; preds = %.lr.ph321
  %141 = load ptr, ptr @head, align 8, !tbaa !9
  %142 = load ptr, ptr @tail, align 8, !tbaa !9
  br label %143

143:                                              ; preds = %.lr.ph293, %143
  %indvars.iv = phi i64 [ 0, %.lr.ph293 ], [ %indvars.iv.next, %143 ]
  %.0231290 = phi i64 [ %140, %.lr.ph293 ], [ %146, %143 ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %144 = getelementptr inbounds i64, ptr %141, i64 %indvars.iv.next
  store i64 %.0231290, ptr %144, align 8, !tbaa !5
  %145 = getelementptr inbounds i64, ptr %138, i64 %.0231290
  %146 = load i64, ptr %145, align 8, !tbaa !5
  %147 = getelementptr inbounds i64, ptr %142, i64 %indvars.iv.next
  store i64 %146, ptr %147, align 8, !tbaa !5
  %.not252 = icmp eq i64 %146, %.1233319
  br i1 %.not252, label %._crit_edge294.loopexit, label %143, !llvm.loop !15

._crit_edge294.loopexit:                          ; preds = %143
  %148 = trunc nuw nsw i64 %indvars.iv.next to i32
  %.pre = load i64, ptr %15, align 8, !tbaa !5
  br label %._crit_edge294

._crit_edge294:                                   ; preds = %._crit_edge294.loopexit, %.lr.ph321
  %149 = phi i64 [ %137, %.lr.ph321 ], [ %.pre, %._crit_edge294.loopexit ]
  %.0.lcssa = phi i32 [ 0, %.lr.ph321 ], [ %148, %._crit_edge294.loopexit ]
  %150 = load i64, ptr %1, align 8, !tbaa !5
  %151 = load i64, ptr %19, align 8, !tbaa !5
  %152 = add i64 %151, %149
  %153 = icmp eq i64 %150, %152
  br i1 %153, label %154, label %157

154:                                              ; preds = %._crit_edge294
  %155 = sdiv i64 %151, %149
  %156 = add nsw i64 %155, 1
  br label %168

157:                                              ; preds = %._crit_edge294
  %158 = shl nuw i32 %.0.lcssa, 1
  %159 = uitofp i32 %158 to double
  %160 = sitofp i64 %151 to double
  %161 = fmul double %159, %160
  %162 = sitofp i64 %150 to double
  %163 = sitofp i64 %149 to double
  %164 = fsub double %162, %163
  %165 = fsub double %164, %160
  %166 = fdiv double %161, %165
  %167 = fptoui double %166 to i64
  br label %168

168:                                              ; preds = %157, %154
  %.0227 = phi i64 [ %156, %154 ], [ %167, %157 ]
  %.0227. = tail call i64 @llvm.umin.i64(i64 %.0227, i64 %151)
  %spec.select = tail call i64 @llvm.umax.i64(i64 %.0227., i64 2)
  %169 = shl i64 %spec.select, 3
  %170 = tail call noalias ptr @malloc(i64 noundef %169) #6
  %171 = sub nsw i64 %150, %151
  %172 = add nsw i64 %150, -1
  %173 = tail call i32 @make_index_list(i64 noundef %171, i64 noundef %172) #7
  br label %174

174:                                              ; preds = %168, %174
  %.3296 = phi i64 [ 0, %168 ], [ %179, %174 ]
  %175 = tail call i64 @index_size(i32 noundef %173) #7
  %176 = tail call i64 @randomr(i64 noundef 1, i64 noundef %175) #7
  %177 = tail call i64 @choose_index(i32 noundef %173, i64 noundef %176) #7
  %178 = getelementptr inbounds i64, ptr %170, i64 %.3296
  store i64 %177, ptr %178, align 8, !tbaa !5
  %179 = add nuw i64 %.3296, 1
  %exitcond.not = icmp eq i64 %179, %spec.select
  br i1 %exitcond.not, label %180, label %174, !llvm.loop !16

180:                                              ; preds = %174
  %181 = load i64, ptr %15, align 8, !tbaa !5
  %182 = icmp eq i64 %.1233319, %181
  br i1 %182, label %183, label %.loopexit

183:                                              ; preds = %180
  %184 = tail call i64 @index_size(i32 noundef %173) #7
  %.not253 = icmp eq i64 %184, 0
  br i1 %.not253, label %.loopexit, label %185

185:                                              ; preds = %183
  %186 = tail call i64 @index_size(i32 noundef %173) #7
  %187 = add i64 %186, %spec.select
  %188 = shl i64 %187, 3
  %189 = tail call ptr @realloc(ptr noundef nonnull %170, i64 noundef %188) #8
  %190 = tail call i64 @index_size(i32 noundef %173) #7
  %.not254297 = icmp eq i64 %190, 0
  br i1 %.not254297, label %.loopexit, label %.lr.ph300

.lr.ph300:                                        ; preds = %185, %199
  %.1228298 = phi i64 [ %.2229, %199 ], [ %spec.select, %185 ]
  %191 = tail call i64 @choose_index(i32 noundef %173, i64 noundef 1) #7
  %192 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %193 = getelementptr inbounds i64, ptr %192, i64 %191
  %194 = load i64, ptr %193, align 8, !tbaa !5
  %195 = icmp eq i64 %194, 0
  br i1 %195, label %196, label %199

196:                                              ; preds = %.lr.ph300
  %197 = add i64 %.1228298, 1
  %198 = getelementptr inbounds i64, ptr %189, i64 %.1228298
  store i64 %191, ptr %198, align 8, !tbaa !5
  br label %199

199:                                              ; preds = %196, %.lr.ph300
  %.2229 = phi i64 [ %197, %196 ], [ %.1228298, %.lr.ph300 ]
  %200 = tail call i64 @index_size(i32 noundef %173) #7
  %.not254 = icmp eq i64 %200, 0
  br i1 %.not254, label %.loopexit, label %.lr.ph300, !llvm.loop !17

.loopexit:                                        ; preds = %199, %185, %183, %180
  %.3230 = phi i64 [ %spec.select, %183 ], [ %spec.select, %180 ], [ %spec.select, %185 ], [ %.2229, %199 ]
  %.0226 = phi ptr [ %170, %183 ], [ %170, %180 ], [ %189, %185 ], [ %189, %199 ]
  tail call void @free_index_list(i32 noundef %173) #7
  %201 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %202 = add i64 %.1233319, -1
  %203 = getelementptr inbounds i64, ptr %201, i64 %202
  %204 = load i64, ptr %203, align 8, !tbaa !5
  %205 = udiv i64 %204, %.3230
  %206 = load ptr, ptr @pred, align 8, !tbaa !9
  %207 = getelementptr inbounds i64, ptr %206, i64 %.1233319
  %208 = load i64, ptr %207, align 8, !tbaa !5
  %sext = shl i64 %205, 32
  %209 = ashr exact i64 %sext, 32
  %210 = add nsw i64 %.3230, -1
  %211 = zext nneg i32 %.0.lcssa to i64
  %umax = tail call i64 @llvm.umax.i64(i64 %.3230, i64 1)
  br label %212

212:                                              ; preds = %.loopexit, %._crit_edge307
  %indvars.iv337 = phi i64 [ %211, %.loopexit ], [ %indvars.iv.next338, %._crit_edge307 ]
  %.4310 = phi i64 [ 0, %.loopexit ], [ %257, %._crit_edge307 ]
  %.0224309 = phi i64 [ %208, %.loopexit ], [ %.1225.lcssa, %._crit_edge307 ]
  %indvars.iv.next338 = add nuw nsw i64 %indvars.iv337, 1
  %213 = tail call i64 @randomr(i64 noundef 1, i64 noundef %209) #7
  %214 = tail call i64 @randomr(i64 noundef 0, i64 noundef %210) #7
  %215 = load ptr, ptr @tail, align 8, !tbaa !9
  %216 = getelementptr inbounds i64, ptr %215, i64 %indvars.iv.next338
  store i64 %.0224309, ptr %216, align 8, !tbaa !5
  %217 = getelementptr inbounds i64, ptr %.0226, i64 %.4310
  %218 = load i64, ptr %217, align 8, !tbaa !5
  %219 = add i64 %218, 1
  %220 = load ptr, ptr @head, align 8, !tbaa !9
  %221 = getelementptr inbounds i64, ptr %220, i64 %indvars.iv.next338
  store i64 %219, ptr %221, align 8, !tbaa !5
  %sext257 = shl i64 %213, 32
  %222 = ashr exact i64 %sext257, 32
  %223 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %224 = getelementptr inbounds i64, ptr %223, i64 %218
  %225 = load i64, ptr %224, align 8, !tbaa !5
  %226 = sub nsw i64 %225, %222
  store i64 %226, ptr %224, align 8, !tbaa !5
  %227 = sub i64 %205, %213
  %sext258 = shl i64 %227, 32
  %228 = ashr exact i64 %sext258, 32
  %229 = getelementptr inbounds i64, ptr %.0226, i64 %214
  %230 = load i64, ptr %229, align 8, !tbaa !5
  %231 = getelementptr inbounds i64, ptr %223, i64 %230
  %232 = load i64, ptr %231, align 8, !tbaa !5
  %233 = sub nsw i64 %232, %228
  store i64 %233, ptr %231, align 8, !tbaa !5
  %234 = tail call i64 @randomr(i64 noundef 1, i64 noundef %211) #7
  %.not259302 = icmp eq i64 %234, 0
  br i1 %.not259302, label %._crit_edge307, label %.lr.ph306

.lr.ph306:                                        ; preds = %212
  %235 = load ptr, ptr @pred, align 8, !tbaa !9
  %xtraiter = and i64 %234, 7
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.prol.loopexit, label %.prol.preheader

.prol.preheader:                                  ; preds = %.lr.ph306, %.prol.preheader
  %.0223304.prol = phi i64 [ %238, %.prol.preheader ], [ %234, %.lr.ph306 ]
  %.1225303.prol = phi i64 [ %237, %.prol.preheader ], [ %.1233319, %.lr.ph306 ]
  %prol.iter = phi i64 [ %prol.iter.next, %.prol.preheader ], [ 0, %.lr.ph306 ]
  %236 = getelementptr inbounds i64, ptr %235, i64 %.1225303.prol
  %237 = load i64, ptr %236, align 8, !tbaa !5
  %238 = add i64 %.0223304.prol, -1
  %prol.iter.next = add i64 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i64 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %.prol.loopexit, label %.prol.preheader, !llvm.loop !18

.prol.loopexit:                                   ; preds = %.prol.preheader, %.lr.ph306
  %.lcssa350.unr = phi i64 [ poison, %.lr.ph306 ], [ %237, %.prol.preheader ]
  %.0223304.unr = phi i64 [ %234, %.lr.ph306 ], [ %238, %.prol.preheader ]
  %.1225303.unr = phi i64 [ %.1233319, %.lr.ph306 ], [ %237, %.prol.preheader ]
  %239 = icmp ult i64 %234, 8
  br i1 %239, label %._crit_edge307, label %.lr.ph306.new

.lr.ph306.new:                                    ; preds = %.prol.loopexit, %.lr.ph306.new
  %.0223304 = phi i64 [ %256, %.lr.ph306.new ], [ %.0223304.unr, %.prol.loopexit ]
  %.1225303 = phi i64 [ %255, %.lr.ph306.new ], [ %.1225303.unr, %.prol.loopexit ]
  %240 = getelementptr inbounds i64, ptr %235, i64 %.1225303
  %241 = load i64, ptr %240, align 8, !tbaa !5
  %242 = getelementptr inbounds i64, ptr %235, i64 %241
  %243 = load i64, ptr %242, align 8, !tbaa !5
  %244 = getelementptr inbounds i64, ptr %235, i64 %243
  %245 = load i64, ptr %244, align 8, !tbaa !5
  %246 = getelementptr inbounds i64, ptr %235, i64 %245
  %247 = load i64, ptr %246, align 8, !tbaa !5
  %248 = getelementptr inbounds i64, ptr %235, i64 %247
  %249 = load i64, ptr %248, align 8, !tbaa !5
  %250 = getelementptr inbounds i64, ptr %235, i64 %249
  %251 = load i64, ptr %250, align 8, !tbaa !5
  %252 = getelementptr inbounds i64, ptr %235, i64 %251
  %253 = load i64, ptr %252, align 8, !tbaa !5
  %254 = getelementptr inbounds i64, ptr %235, i64 %253
  %255 = load i64, ptr %254, align 8, !tbaa !5
  %256 = add i64 %.0223304, -8
  %.not259.7 = icmp eq i64 %256, 0
  br i1 %.not259.7, label %._crit_edge307, label %.lr.ph306.new, !llvm.loop !20

._crit_edge307:                                   ; preds = %.prol.loopexit, %.lr.ph306.new, %212
  %.1225.lcssa = phi i64 [ %.1233319, %212 ], [ %.lcssa350.unr, %.prol.loopexit ], [ %255, %.lr.ph306.new ]
  %257 = add nuw i64 %.4310, 1
  %exitcond340.not = icmp eq i64 %257, %umax
  br i1 %exitcond340.not, label %258, label %212, !llvm.loop !21

258:                                              ; preds = %._crit_edge307
  %259 = trunc nuw i64 %indvars.iv.next338 to i32
  %260 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %261 = getelementptr inbounds i64, ptr %260, i64 %202
  %262 = load i64, ptr %261, align 8, !tbaa !5
  %263 = urem i64 %262, %.3230
  %264 = load i64, ptr %.0226, align 8, !tbaa !5
  %265 = getelementptr inbounds i64, ptr %260, i64 %264
  %266 = load i64, ptr %265, align 8, !tbaa !5
  %267 = sub i64 %266, %263
  store i64 %267, ptr %265, align 8, !tbaa !5
  tail call void @free(ptr noundef %.0226) #7
  tail call void @sort_skeleton(i32 noundef %259)
  %268 = load ptr, ptr @tail, align 8, !tbaa !9
  %269 = and i64 %indvars.iv.next338, 4294967295
  %270 = getelementptr inbounds i64, ptr %268, i64 %269
  %271 = getelementptr inbounds i8, ptr %270, i64 8
  store i64 0, ptr %271, align 8, !tbaa !5
  br label %.lr.ph314.preheader

.lr.ph314.preheader:                              ; preds = %._crit_edge315, %258
  %.5317 = phi i64 [ 1, %258 ], [ %322, %._crit_edge315 ]
  %272 = load i64, ptr %15, align 8, !tbaa !5
  %273 = load i64, ptr %35, align 8, !tbaa !5
  %274 = add i64 %272, 1
  %275 = sub i64 %274, %273
  %276 = load i64, ptr %1, align 8, !tbaa !5
  %277 = tail call i32 @make_index_list(i64 noundef %275, i64 noundef %276) #7
  %278 = load ptr, ptr @tail, align 8, !tbaa !9
  %279 = getelementptr inbounds i64, ptr %278, i64 %.5317
  %280 = load i64, ptr %279, align 8, !tbaa !5
  tail call void @remove_index(i32 noundef %277, i64 noundef %280) #7
  %281 = load ptr, ptr @tail, align 8, !tbaa !9
  %282 = getelementptr inbounds i64, ptr %281, i64 %.5317
  %283 = load i64, ptr %282, align 8, !tbaa !5
  %.pre341 = load ptr, ptr @head, align 8, !tbaa !9
  br label %.lr.ph314

.lr.ph314:                                        ; preds = %.lr.ph314.preheader, %304
  %284 = phi ptr [ %308, %304 ], [ %.pre341, %.lr.ph314.preheader ]
  %.6312 = phi i64 [ %322, %304 ], [ %.5317, %.lr.ph314.preheader ]
  %285 = getelementptr inbounds i64, ptr %284, i64 %.6312
  %286 = load i64, ptr %285, align 8, !tbaa !5
  tail call void @remove_index(i32 noundef %277, i64 noundef %286) #7
  %287 = load i64, ptr %31, align 8, !tbaa !5
  %288 = tail call i64 @randomr(i64 noundef 1, i64 noundef 100) #7
  %289 = load i64, ptr %46, align 8, !tbaa !5
  %.not256 = icmp sgt i64 %288, %289
  br i1 %.not256, label %295, label %290

290:                                              ; preds = %.lr.ph314
  %291 = load ptr, ptr @arrayb_, align 8, !tbaa !9
  %292 = getelementptr inbounds i64, ptr %291, i64 %202
  %293 = load i64, ptr %292, align 8, !tbaa !5
  %294 = load i64, ptr %49, align 8, !tbaa !5
  %. = tail call i64 @llvm.smax.i64(i64 %293, i64 %294)
  br label %295

295:                                              ; preds = %290, %.lr.ph314
  %.0221 = phi i64 [ %., %290 ], [ %287, %.lr.ph314 ]
  %296 = load i64, ptr %27, align 8, !tbaa !5
  %297 = tail call i64 @randomr(i64 noundef 1, i64 noundef 100) #7
  %298 = load i64, ptr %43, align 8, !tbaa !5
  %299 = icmp sgt i64 %297, %298
  br i1 %299, label %300, label %304

300:                                              ; preds = %295
  %301 = load i64, ptr %25, align 8, !tbaa !5
  %302 = load i64, ptr %27, align 8, !tbaa !5
  %303 = tail call i64 @randomr(i64 noundef %301, i64 noundef %302) #7
  br label %304

304:                                              ; preds = %300, %295
  %.0222 = phi i64 [ %303, %300 ], [ %296, %295 ]
  %305 = load ptr, ptr @arrays_, align 8, !tbaa !9
  %306 = load i64, ptr @arc_count, align 8, !tbaa !5
  %307 = getelementptr inbounds i64, ptr %305, i64 %306
  store i64 %283, ptr %307, align 8, !tbaa !5
  %308 = load ptr, ptr @head, align 8, !tbaa !9
  %309 = getelementptr inbounds i64, ptr %308, i64 %.6312
  %310 = load i64, ptr %309, align 8, !tbaa !5
  %311 = load ptr, ptr @arraye_, align 8, !tbaa !9
  %312 = load i64, ptr @arc_count, align 8, !tbaa !5
  %313 = getelementptr inbounds i64, ptr %311, i64 %312
  store i64 %310, ptr %313, align 8, !tbaa !5
  %314 = load ptr, ptr @arrayc_, align 8, !tbaa !9
  %315 = load i64, ptr @arc_count, align 8, !tbaa !5
  %316 = getelementptr inbounds i64, ptr %314, i64 %315
  store i64 %.0222, ptr %316, align 8, !tbaa !5
  %317 = load ptr, ptr @arrayu_, align 8, !tbaa !9
  %318 = load i64, ptr @arc_count, align 8, !tbaa !5
  %319 = getelementptr inbounds i64, ptr %317, i64 %318
  store i64 %.0221, ptr %319, align 8, !tbaa !5
  %320 = load i64, ptr @arc_count, align 8, !tbaa !5
  %321 = add i64 %320, 1
  store i64 %321, ptr @arc_count, align 8, !tbaa !5
  %322 = add i64 %.6312, 1
  %323 = load ptr, ptr @tail, align 8, !tbaa !9
  %324 = getelementptr inbounds i64, ptr %323, i64 %322
  %325 = load i64, ptr %324, align 8, !tbaa !5
  %326 = icmp eq i64 %283, %325
  br i1 %326, label %.lr.ph314, label %._crit_edge315, !llvm.loop !22

._crit_edge315:                                   ; preds = %304
  tail call void @pick_head(ptr noundef nonnull %1, i32 noundef %277, i64 noundef %283)
  tail call void @free_index_list(i32 noundef %277) #7
  %.not255 = icmp ugt i64 %322, %269
  br i1 %.not255, label %327, label %.lr.ph314.preheader, !llvm.loop !23

327:                                              ; preds = %._crit_edge315
  %328 = add i64 %.1233319, 1
  %329 = load i64, ptr %15, align 8, !tbaa !5
  %.not250 = icmp ugt i64 %328, %329
  br i1 %.not250, label %._crit_edge322, label %.lr.ph321, !llvm.loop !24

._crit_edge322:                                   ; preds = %327, %._crit_edge288
  %330 = load i64, ptr %1, align 8, !tbaa !5
  %331 = load i64, ptr %19, align 8, !tbaa !5
  %332 = sub i64 %330, %331
  %.7323 = add i64 %332, 1
  %333 = load i64, ptr %39, align 8, !tbaa !5
  %334 = add nsw i64 %332, %333
  %.not251325 = icmp ugt i64 %.7323, %334
  br i1 %.not251325, label %._crit_edge329, label %.lr.ph328

.lr.ph328:                                        ; preds = %._crit_edge322, %.lr.ph328
  %335 = phi i64 [ %341, %.lr.ph328 ], [ %330, %._crit_edge322 ]
  %.7326 = phi i64 [ %.7, %.lr.ph328 ], [ %.7323, %._crit_edge322 ]
  %336 = load i64, ptr %15, align 8, !tbaa !5
  %337 = load i64, ptr %35, align 8, !tbaa !5
  %338 = add i64 %336, 1
  %339 = sub i64 %338, %337
  %340 = tail call i32 @make_index_list(i64 noundef %339, i64 noundef %335) #7
  tail call void @remove_index(i32 noundef %340, i64 noundef %.7326) #7
  tail call void @pick_head(ptr noundef nonnull %1, i32 noundef %340, i64 noundef %.7326)
  tail call void @free_index_list(i32 noundef %340) #7
  %.7 = add i64 %.7326, 1
  %341 = load i64, ptr %1, align 8, !tbaa !5
  %342 = load i64, ptr %19, align 8, !tbaa !5
  %343 = sub i64 %341, %342
  %344 = load i64, ptr %39, align 8, !tbaa !5
  %345 = add nsw i64 %343, %344
  %.not251 = icmp ugt i64 %.7, %345
  br i1 %.not251, label %._crit_edge329, label %.lr.ph328, !llvm.loop !25

._crit_edge329:                                   ; preds = %.lr.ph328, %._crit_edge322
  %346 = load i64, ptr @arc_count, align 8, !tbaa !5
  br label %347

347:                                              ; preds = %11, %14, %18, %24, %30, %34, %38, %42, %45, %48, %4, %7, %2, %._crit_edge329, %81
  %.0218 = phi i64 [ %82, %81 ], [ %346, %._crit_edge329 ], [ -1, %2 ], [ -2, %7 ], [ -2, %4 ], [ -3, %48 ], [ -3, %45 ], [ -3, %42 ], [ -3, %38 ], [ -3, %34 ], [ -3, %30 ], [ -3, %24 ], [ -3, %18 ], [ -3, %14 ], [ -3, %11 ]
  ret i64 %.0218
}

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @malloc(i64 noundef) local_unnamed_addr #1

declare void @set_random(i64 noundef) local_unnamed_addr #2

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

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

declare i32 @make_index_list(i64 noundef, i64 noundef) local_unnamed_addr #2

declare i64 @choose_index(i32 noundef, i64 noundef) local_unnamed_addr #2

declare i64 @randomr(i64 noundef, i64 noundef) local_unnamed_addr #2

declare i64 @index_size(i32 noundef) local_unnamed_addr #2

declare void @free_index_list(i32 noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nounwind willreturn allockind("realloc") allocsize(1) memory(argmem: readwrite, inaccessiblemem: readwrite)
declare noalias noundef ptr @realloc(ptr allocptr nocapture noundef, i64 noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #4

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

declare void @remove_index(i32 noundef, i64 noundef) local_unnamed_addr #2

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

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "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 = { "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 nounwind willreturn allockind("realloc") allocsize(1) memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "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 allocsize(0) }
attributes #7 = { nounwind }
attributes #8 = { nounwind allocsize(1) }

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

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


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