; LLVM IR from GGiecold-zz/Cluster_Ensembles :: src/Cluster_Ensembles/Hypergraph_Partitioning/metis-5.1.0/libmetis (minconn)

; 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.graph_t = type { i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, ptr, ptr, i32, i32, ptr, ptr, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.vkrinfo_t = type { i32, i32, i32, i32, i32 }
%struct.ctrl_t = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, i32, i32, float, ptr, ptr, ptr, float, double, double, double, double, double, double, double, double, double, double, double, double, ptr, i64, i64, i64, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.vnbr_t = type { i32, i32, i32 }

@.str.1 = external hidden unnamed_addr constant [140 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [86 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [12 x i8], align 1
@__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForVol = external hidden unnamed_addr constant [109 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [89 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [55 x i8], align 1

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

declare i32 @printf(ptr noundef, ...) #1

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #2

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

; Function Attrs: nounwind uwtable
declare dso_local void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef, i32 noundef, i32 noundef, i32 noundef, ptr noundef) #3

declare ptr @libmetis__iaxpy(i64 noundef, i32 noundef, ptr noundef, i64 noundef, ptr noundef, i64 noundef) #1

; Function Attrs: nounwind uwtable
define dso_local void @libmetis__MoveGroupMinConnForVol(ptr noundef %0, ptr noundef %1, i32 noundef %2, i32 noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7) #3 {
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, 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
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  store ptr %0, ptr %9, align 8, !tbaa !5
  store ptr %1, ptr %10, align 8, !tbaa !5
  store i32 %2, ptr %11, align 4, !tbaa !9
  store i32 %3, ptr %12, align 4, !tbaa !9
  store ptr %4, ptr %13, align 8, !tbaa !5
  store ptr %5, ptr %14, align 8, !tbaa !5
  store ptr %6, ptr %15, align 8, !tbaa !5
  store ptr %7, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #4
  %37 = load ptr, ptr %10, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.graph_t, ptr %37, i32 0, i32 0
  %39 = load i32, ptr %38, align 8, !tbaa !11
  store i32 %39, ptr %23, align 4, !tbaa !9
  %40 = load ptr, ptr %10, align 8, !tbaa !5
  %41 = getelementptr inbounds %struct.graph_t, ptr %40, i32 0, i32 3
  %42 = load ptr, ptr %41, align 8, !tbaa !13
  store ptr %42, ptr %29, align 8, !tbaa !5
  %43 = load ptr, ptr %10, align 8, !tbaa !5
  %44 = getelementptr inbounds %struct.graph_t, ptr %43, i32 0, i32 5
  %45 = load ptr, ptr %44, align 8, !tbaa !14
  store ptr %45, ptr %30, align 8, !tbaa !5
  %46 = load ptr, ptr %10, align 8, !tbaa !5
  %47 = getelementptr inbounds %struct.graph_t, ptr %46, i32 0, i32 6
  %48 = load ptr, ptr %47, align 8, !tbaa !15
  store ptr %48, ptr %31, align 8, !tbaa !5
  %49 = load ptr, ptr %10, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct.graph_t, ptr %49, i32 0, i32 19
  %51 = load ptr, ptr %50, align 8, !tbaa !16
  store ptr %51, ptr %32, align 8, !tbaa !5
  br label %52

52:                                               ; preds = %486, %8
  %53 = load i32, ptr %12, align 4, !tbaa !9
  %54 = add nsw i32 %53, -1
  store i32 %54, ptr %12, align 4, !tbaa !9
  %55 = icmp sge i32 %54, 0
  br i1 %55, label %56, label %495

56:                                               ; preds = %52
  %57 = load ptr, ptr %13, align 8, !tbaa !5
  %58 = load i32, ptr %12, align 4, !tbaa !9
  %59 = sext i32 %58 to i64
  %60 = getelementptr inbounds i32, ptr %57, i64 %59
  %61 = load i32, ptr %60, align 4, !tbaa !9
  store i32 %61, ptr %17, align 4, !tbaa !9
  %62 = load ptr, ptr %32, align 8, !tbaa !5
  %63 = load i32, ptr %17, align 4, !tbaa !9
  %64 = sext i32 %63 to i64
  %65 = getelementptr inbounds i32, ptr %62, i64 %64
  %66 = load i32, ptr %65, align 4, !tbaa !9
  store i32 %66, ptr %24, align 4, !tbaa !9
  %67 = load ptr, ptr %10, align 8, !tbaa !5
  %68 = getelementptr inbounds %struct.graph_t, ptr %67, i32 0, i32 27
  %69 = load ptr, ptr %68, align 8, !tbaa !17
  %70 = load i32, ptr %17, align 4, !tbaa !9
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds %struct.vkrinfo_t, ptr %69, i64 %71
  store ptr %72, ptr %33, align 8, !tbaa !5
  %73 = load ptr, ptr %33, align 8, !tbaa !5
  %74 = getelementptr inbounds %struct.vkrinfo_t, ptr %73, i32 0, i32 4
  %75 = load i32, ptr %74, align 4, !tbaa !18
  %76 = icmp eq i32 %75, -1
  br i1 %76, label %77, label %97

77:                                               ; preds = %56
  %78 = load ptr, ptr %9, align 8, !tbaa !5
  %79 = load ptr, ptr %29, align 8, !tbaa !5
  %80 = load i32, ptr %17, align 4, !tbaa !9
  %81 = add nsw i32 %80, 1
  %82 = sext i32 %81 to i64
  %83 = getelementptr inbounds i32, ptr %79, i64 %82
  %84 = load i32, ptr %83, align 4, !tbaa !9
  %85 = load ptr, ptr %29, align 8, !tbaa !5
  %86 = load i32, ptr %17, align 4, !tbaa !9
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds i32, ptr %85, i64 %87
  %89 = load i32, ptr %88, align 4, !tbaa !9
  %90 = sub nsw i32 %84, %89
  %91 = add nsw i32 %90, 1
  %92 = call i32 @libmetis__vnbrpoolGetNext(ptr noundef %78, i32 noundef %91)
  %93 = load ptr, ptr %33, align 8, !tbaa !5
  %94 = getelementptr inbounds %struct.vkrinfo_t, ptr %93, i32 0, i32 4
  store i32 %92, ptr %94, align 4, !tbaa !18
  %95 = load ptr, ptr %33, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.vkrinfo_t, ptr %95, i32 0, i32 3
  store i32 0, ptr %96, align 4, !tbaa !20
  br label %97

97:                                               ; preds = %77, %56
  %98 = load ptr, ptr %9, align 8, !tbaa !5
  %99 = getelementptr inbounds %struct.ctrl_t, ptr %98, i32 0, i32 44
  %100 = load ptr, ptr %99, align 8, !tbaa !21
  %101 = load ptr, ptr %33, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct.vkrinfo_t, ptr %101, i32 0, i32 4
  %103 = load i32, ptr %102, align 4, !tbaa !18
  %104 = sext i32 %103 to i64
  %105 = getelementptr inbounds %struct.vnbr_t, ptr %100, i64 %104
  store ptr %105, ptr %35, align 8, !tbaa !5
  %106 = load ptr, ptr %33, align 8, !tbaa !5
  %107 = getelementptr inbounds %struct.vkrinfo_t, ptr %106, i32 0, i32 0
  %108 = load i32, ptr %107, align 4, !tbaa !26
  %109 = icmp eq i32 %108, 0
  br i1 %109, label %110, label %121

110:                                              ; preds = %97
  %111 = load ptr, ptr %33, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.vkrinfo_t, ptr %111, i32 0, i32 1
  %113 = load i32, ptr %112, align 4, !tbaa !27
  %114 = icmp sgt i32 %113, 0
  br i1 %114, label %115, label %121

115:                                              ; preds = %110
  %116 = load ptr, ptr %30, align 8, !tbaa !5
  %117 = load i32, ptr %17, align 4, !tbaa !9
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds i32, ptr %116, i64 %118
  %120 = load i32, ptr %119, align 4, !tbaa !9
  br label %122

121:                                              ; preds = %110, %97
  br label %122

122:                                              ; preds = %121, %115
  %123 = phi i32 [ %120, %115 ], [ 0, %121 ]
  store i32 %123, ptr %27, align 4, !tbaa !9
  store i32 0, ptr %21, align 4, !tbaa !9
  br label %124

124:                                              ; preds = %141, %122
  %125 = load i32, ptr %21, align 4, !tbaa !9
  %126 = load ptr, ptr %33, align 8, !tbaa !5
  %127 = getelementptr inbounds %struct.vkrinfo_t, ptr %126, i32 0, i32 3
  %128 = load i32, ptr %127, align 4, !tbaa !20
  %129 = icmp slt i32 %125, %128
  br i1 %129, label %130, label %144

130:                                              ; preds = %124
  %131 = load ptr, ptr %35, align 8, !tbaa !5
  %132 = load i32, ptr %21, align 4, !tbaa !9
  %133 = sext i32 %132 to i64
  %134 = getelementptr inbounds %struct.vnbr_t, ptr %131, i64 %133
  %135 = getelementptr inbounds %struct.vnbr_t, ptr %134, i32 0, i32 0
  %136 = load i32, ptr %135, align 4, !tbaa !28
  %137 = load i32, ptr %11, align 4, !tbaa !9
  %138 = icmp eq i32 %136, %137
  br i1 %138, label %139, label %140

139:                                              ; preds = %130
  br label %144

140:                                              ; preds = %130
  br label %141

141:                                              ; preds = %140
  %142 = load i32, ptr %21, align 4, !tbaa !9
  %143 = add nsw i32 %142, 1
  store i32 %143, ptr %21, align 4, !tbaa !9
  br label %124, !llvm.loop !30

144:                                              ; preds = %139, %124
  %145 = load i32, ptr %21, align 4, !tbaa !9
  %146 = load ptr, ptr %33, align 8, !tbaa !5
  %147 = getelementptr inbounds %struct.vkrinfo_t, ptr %146, i32 0, i32 3
  %148 = load i32, ptr %147, align 4, !tbaa !20
  %149 = icmp eq i32 %145, %148
  br i1 %149, label %150, label %347

150:                                              ; preds = %144
  %151 = load ptr, ptr %33, align 8, !tbaa !5
  %152 = getelementptr inbounds %struct.vkrinfo_t, ptr %151, i32 0, i32 0
  %153 = load i32, ptr %152, align 4, !tbaa !26
  %154 = icmp sgt i32 %153, 0
  br i1 %154, label %155, label %163

155:                                              ; preds = %150
  %156 = load ptr, ptr %30, align 8, !tbaa !5
  %157 = load i32, ptr %17, align 4, !tbaa !9
  %158 = sext i32 %157 to i64
  %159 = getelementptr inbounds i32, ptr %156, i64 %158
  %160 = load i32, ptr %159, align 4, !tbaa !9
  %161 = load i32, ptr %27, align 4, !tbaa !9
  %162 = sub nsw i32 %161, %160
  store i32 %162, ptr %27, align 4, !tbaa !9
  br label %163

163:                                              ; preds = %155, %150
  %164 = load ptr, ptr %29, align 8, !tbaa !5
  %165 = load i32, ptr %17, align 4, !tbaa !9
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds i32, ptr %164, i64 %166
  %168 = load i32, ptr %167, align 4, !tbaa !9
  store i32 %168, ptr %19, align 4, !tbaa !9
  br label %169

169:                                              ; preds = %327, %163
  %170 = load i32, ptr %19, align 4, !tbaa !9
  %171 = load ptr, ptr %29, align 8, !tbaa !5
  %172 = load i32, ptr %17, align 4, !tbaa !9
  %173 = add nsw i32 %172, 1
  %174 = sext i32 %173 to i64
  %175 = getelementptr inbounds i32, ptr %171, i64 %174
  %176 = load i32, ptr %175, align 4, !tbaa !9
  %177 = icmp slt i32 %170, %176
  br i1 %177, label %178, label %330

178:                                              ; preds = %169
  %179 = load ptr, ptr %31, align 8, !tbaa !5
  %180 = load i32, ptr %19, align 4, !tbaa !9
  %181 = sext i32 %180 to i64
  %182 = getelementptr inbounds i32, ptr %179, i64 %181
  %183 = load i32, ptr %182, align 4, !tbaa !9
  store i32 %183, ptr %18, align 4, !tbaa !9
  %184 = load ptr, ptr %32, align 8, !tbaa !5
  %185 = load i32, ptr %18, align 4, !tbaa !9
  %186 = sext i32 %185 to i64
  %187 = getelementptr inbounds i32, ptr %184, i64 %186
  %188 = load i32, ptr %187, align 4, !tbaa !9
  store i32 %188, ptr %26, align 4, !tbaa !9
  %189 = load ptr, ptr %10, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct.graph_t, ptr %189, i32 0, i32 27
  %191 = load ptr, ptr %190, align 8, !tbaa !17
  %192 = load i32, ptr %18, align 4, !tbaa !9
  %193 = sext i32 %192 to i64
  %194 = getelementptr inbounds %struct.vkrinfo_t, ptr %191, i64 %193
  store ptr %194, ptr %34, align 8, !tbaa !5
  %195 = load ptr, ptr %9, align 8, !tbaa !5
  %196 = getelementptr inbounds %struct.ctrl_t, ptr %195, i32 0, i32 44
  %197 = load ptr, ptr %196, align 8, !tbaa !21
  %198 = load ptr, ptr %34, align 8, !tbaa !5
  %199 = getelementptr inbounds %struct.vkrinfo_t, ptr %198, i32 0, i32 4
  %200 = load i32, ptr %199, align 4, !tbaa !18
  %201 = sext i32 %200 to i64
  %202 = getelementptr inbounds %struct.vnbr_t, ptr %197, i64 %201
  store ptr %202, ptr %36, align 8, !tbaa !5
  %203 = load i32, ptr %26, align 4, !tbaa !9
  %204 = load i32, ptr %11, align 4, !tbaa !9
  %205 = icmp ne i32 %203, %204
  br i1 %205, label %214, label %206

206:                                              ; preds = %178
  %207 = call i32 (ptr, ...) @printf(ptr noundef @.str.35, i32 noundef 609, ptr noundef @.str.1)
  %208 = load i32, ptr %26, align 4, !tbaa !9
  %209 = load i32, ptr %11, align 4, !tbaa !9
  %210 = icmp ne i32 %208, %209
  br i1 %210, label %211, label %212

211:                                              ; preds = %206
  br label %213

212:                                              ; preds = %206
  call void @__assert_fail(ptr noundef @.str.36, ptr noundef @.str.1, i32 noundef 609, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForVol) #5
  unreachable

213:                                              ; preds = %211
  br label %214

214:                                              ; preds = %213, %178
  %215 = load i32, ptr %24, align 4, !tbaa !9
  %216 = load i32, ptr %26, align 4, !tbaa !9
  %217 = icmp eq i32 %215, %216
  br i1 %217, label %218, label %254

218:                                              ; preds = %214
  store i32 0, ptr %22, align 4, !tbaa !9
  br label %219

219:                                              ; preds = %236, %218
  %220 = load i32, ptr %22, align 4, !tbaa !9
  %221 = load ptr, ptr %34, align 8, !tbaa !5
  %222 = getelementptr inbounds %struct.vkrinfo_t, ptr %221, i32 0, i32 3
  %223 = load i32, ptr %222, align 4, !tbaa !20
  %224 = icmp slt i32 %220, %223
  br i1 %224, label %225, label %239

225:                                              ; preds = %219
  %226 = load ptr, ptr %36, align 8, !tbaa !5
  %227 = load i32, ptr %22, align 4, !tbaa !9
  %228 = sext i32 %227 to i64
  %229 = getelementptr inbounds %struct.vnbr_t, ptr %226, i64 %228
  %230 = getelementptr inbounds %struct.vnbr_t, ptr %229, i32 0, i32 0
  %231 = load i32, ptr %230, align 4, !tbaa !28
  %232 = load i32, ptr %11, align 4, !tbaa !9
  %233 = icmp eq i32 %231, %232
  br i1 %233, label %234, label %235

234:                                              ; preds = %225
  br label %239

235:                                              ; preds = %225
  br label %236

236:                                              ; preds = %235
  %237 = load i32, ptr %22, align 4, !tbaa !9
  %238 = add nsw i32 %237, 1
  store i32 %238, ptr %22, align 4, !tbaa !9
  br label %219, !llvm.loop !32

239:                                              ; preds = %234, %219
  %240 = load i32, ptr %22, align 4, !tbaa !9
  %241 = load ptr, ptr %34, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct.vkrinfo_t, ptr %241, i32 0, i32 3
  %243 = load i32, ptr %242, align 4, !tbaa !20
  %244 = icmp eq i32 %240, %243
  br i1 %244, label %245, label %253

245:                                              ; preds = %239
  %246 = load ptr, ptr %30, align 8, !tbaa !5
  %247 = load i32, ptr %18, align 4, !tbaa !9
  %248 = sext i32 %247 to i64
  %249 = getelementptr inbounds i32, ptr %246, i64 %248
  %250 = load i32, ptr %249, align 4, !tbaa !9
  %251 = load i32, ptr %27, align 4, !tbaa !9
  %252 = sub nsw i32 %251, %250
  store i32 %252, ptr %27, align 4, !tbaa !9
  br label %253

253:                                              ; preds = %245, %239
  br label %326

254:                                              ; preds = %214
  store i32 0, ptr %22, align 4, !tbaa !9
  br label %255

255:                                              ; preds = %272, %254
  %256 = load i32, ptr %22, align 4, !tbaa !9
  %257 = load ptr, ptr %34, align 8, !tbaa !5
  %258 = getelementptr inbounds %struct.vkrinfo_t, ptr %257, i32 0, i32 3
  %259 = load i32, ptr %258, align 4, !tbaa !20
  %260 = icmp slt i32 %256, %259
  br i1 %260, label %261, label %275

261:                                              ; preds = %255
  %262 = load ptr, ptr %36, align 8, !tbaa !5
  %263 = load i32, ptr %22, align 4, !tbaa !9
  %264 = sext i32 %263 to i64
  %265 = getelementptr inbounds %struct.vnbr_t, ptr %262, i64 %264
  %266 = getelementptr inbounds %struct.vnbr_t, ptr %265, i32 0, i32 0
  %267 = load i32, ptr %266, align 4, !tbaa !28
  %268 = load i32, ptr %11, align 4, !tbaa !9
  %269 = icmp eq i32 %267, %268
  br i1 %269, label %270, label %271

270:                                              ; preds = %261
  br label %275

271:                                              ; preds = %261
  br label %272

272:                                              ; preds = %271
  %273 = load i32, ptr %22, align 4, !tbaa !9
  %274 = add nsw i32 %273, 1
  store i32 %274, ptr %22, align 4, !tbaa !9
  br label %255, !llvm.loop !33

275:                                              ; preds = %270, %255
  %276 = load i32, ptr %22, align 4, !tbaa !9
  %277 = load ptr, ptr %34, align 8, !tbaa !5
  %278 = getelementptr inbounds %struct.vkrinfo_t, ptr %277, i32 0, i32 3
  %279 = load i32, ptr %278, align 4, !tbaa !20
  %280 = icmp eq i32 %276, %279
  br i1 %280, label %281, label %289

281:                                              ; preds = %275
  %282 = load ptr, ptr %30, align 8, !tbaa !5
  %283 = load i32, ptr %18, align 4, !tbaa !9
  %284 = sext i32 %283 to i64
  %285 = getelementptr inbounds i32, ptr %282, i64 %284
  %286 = load i32, ptr %285, align 4, !tbaa !9
  %287 = load i32, ptr %27, align 4, !tbaa !9
  %288 = sub nsw i32 %287, %286
  store i32 %288, ptr %27, align 4, !tbaa !9
  br label %289

289:                                              ; preds = %281, %275
  store i32 0, ptr %22, align 4, !tbaa !9
  br label %290

290:                                              ; preds = %322, %289
  %291 = load i32, ptr %22, align 4, !tbaa !9
  %292 = load ptr, ptr %34, align 8, !tbaa !5
  %293 = getelementptr inbounds %struct.vkrinfo_t, ptr %292, i32 0, i32 3
  %294 = load i32, ptr %293, align 4, !tbaa !20
  %295 = icmp slt i32 %291, %294
  br i1 %295, label %296, label %325

296:                                              ; preds = %290
  %297 = load ptr, ptr %36, align 8, !tbaa !5
  %298 = load i32, ptr %22, align 4, !tbaa !9
  %299 = sext i32 %298 to i64
  %300 = getelementptr inbounds %struct.vnbr_t, ptr %297, i64 %299
  %301 = getelementptr inbounds %struct.vnbr_t, ptr %300, i32 0, i32 0
  %302 = load i32, ptr %301, align 4, !tbaa !28
  %303 = load i32, ptr %24, align 4, !tbaa !9
  %304 = icmp eq i32 %302, %303
  br i1 %304, label %305, label %321

305:                                              ; preds = %296
  %306 = load ptr, ptr %36, align 8, !tbaa !5
  %307 = load i32, ptr %22, align 4, !tbaa !9
  %308 = sext i32 %307 to i64
  %309 = getelementptr inbounds %struct.vnbr_t, ptr %306, i64 %308
  %310 = getelementptr inbounds %struct.vnbr_t, ptr %309, i32 0, i32 1
  %311 = load i32, ptr %310, align 4, !tbaa !34
  %312 = icmp eq i32 %311, 1
  br i1 %312, label %313, label %321

313:                                              ; preds = %305
  %314 = load ptr, ptr %30, align 8, !tbaa !5
  %315 = load i32, ptr %18, align 4, !tbaa !9
  %316 = sext i32 %315 to i64
  %317 = getelementptr inbounds i32, ptr %314, i64 %316
  %318 = load i32, ptr %317, align 4, !tbaa !9
  %319 = load i32, ptr %27, align 4, !tbaa !9
  %320 = add nsw i32 %319, %318
  store i32 %320, ptr %27, align 4, !tbaa !9
  br label %325

321:                                              ; preds = %305, %296
  br label %322

322:                                              ; preds = %321
  %323 = load i32, ptr %22, align 4, !tbaa !9
  %324 = add nsw i32 %323, 1
  store i32 %324, ptr %22, align 4, !tbaa !9
  br label %290, !llvm.loop !35

325:                                              ; preds = %313, %290
  br label %326

326:                                              ; preds = %325, %253
  br label %327

327:                                              ; preds = %326
  %328 = load i32, ptr %19, align 4, !tbaa !9
  %329 = add nsw i32 %328, 1
  store i32 %329, ptr %19, align 4, !tbaa !9
  br label %169, !llvm.loop !36

330:                                              ; preds = %169
  %331 = load i32, ptr %27, align 4, !tbaa !9
  %332 = load ptr, ptr %10, align 8, !tbaa !5
  %333 = getelementptr inbounds %struct.graph_t, ptr %332, i32 0, i32 18
  %334 = load i32, ptr %333, align 4, !tbaa !37
  %335 = sub nsw i32 %334, %331
  store i32 %335, ptr %333, align 4, !tbaa !37
  %336 = load ptr, ptr %33, align 8, !tbaa !5
  %337 = getelementptr inbounds %struct.vkrinfo_t, ptr %336, i32 0, i32 0
  %338 = load i32, ptr %337, align 4, !tbaa !26
  %339 = sub nsw i32 0, %338
  %340 = load ptr, ptr %10, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.graph_t, ptr %340, i32 0, i32 17
  %342 = load i32, ptr %341, align 8, !tbaa !38
  %343 = sub nsw i32 %342, %339
  store i32 %343, ptr %341, align 8, !tbaa !38
  %344 = load ptr, ptr %33, align 8, !tbaa !5
  %345 = getelementptr inbounds %struct.vkrinfo_t, ptr %344, i32 0, i32 0
  %346 = load i32, ptr %345, align 4, !tbaa !26
  store i32 %346, ptr %28, align 4, !tbaa !9
  br label %384

347:                                              ; preds = %144
  %348 = load i32, ptr %27, align 4, !tbaa !9
  %349 = load ptr, ptr %35, align 8, !tbaa !5
  %350 = load i32, ptr %21, align 4, !tbaa !9
  %351 = sext i32 %350 to i64
  %352 = getelementptr inbounds %struct.vnbr_t, ptr %349, i64 %351
  %353 = getelementptr inbounds %struct.vnbr_t, ptr %352, i32 0, i32 2
  %354 = load i32, ptr %353, align 4, !tbaa !39
  %355 = add nsw i32 %348, %354
  %356 = load ptr, ptr %10, align 8, !tbaa !5
  %357 = getelementptr inbounds %struct.graph_t, ptr %356, i32 0, i32 18
  %358 = load i32, ptr %357, align 4, !tbaa !37
  %359 = sub nsw i32 %358, %355
  store i32 %359, ptr %357, align 4, !tbaa !37
  %360 = load ptr, ptr %35, align 8, !tbaa !5
  %361 = load i32, ptr %21, align 4, !tbaa !9
  %362 = sext i32 %361 to i64
  %363 = getelementptr inbounds %struct.vnbr_t, ptr %360, i64 %362
  %364 = getelementptr inbounds %struct.vnbr_t, ptr %363, i32 0, i32 1
  %365 = load i32, ptr %364, align 4, !tbaa !34
  %366 = load ptr, ptr %33, align 8, !tbaa !5
  %367 = getelementptr inbounds %struct.vkrinfo_t, ptr %366, i32 0, i32 0
  %368 = load i32, ptr %367, align 4, !tbaa !26
  %369 = sub nsw i32 %365, %368
  %370 = load ptr, ptr %10, align 8, !tbaa !5
  %371 = getelementptr inbounds %struct.graph_t, ptr %370, i32 0, i32 17
  %372 = load i32, ptr %371, align 8, !tbaa !38
  %373 = sub nsw i32 %372, %369
  store i32 %373, ptr %371, align 8, !tbaa !38
  %374 = load ptr, ptr %33, align 8, !tbaa !5
  %375 = getelementptr inbounds %struct.vkrinfo_t, ptr %374, i32 0, i32 0
  %376 = load i32, ptr %375, align 4, !tbaa !26
  %377 = load ptr, ptr %35, align 8, !tbaa !5
  %378 = load i32, ptr %21, align 4, !tbaa !9
  %379 = sext i32 %378 to i64
  %380 = getelementptr inbounds %struct.vnbr_t, ptr %377, i64 %379
  %381 = getelementptr inbounds %struct.vnbr_t, ptr %380, i32 0, i32 1
  %382 = load i32, ptr %381, align 4, !tbaa !34
  %383 = sub nsw i32 %376, %382
  store i32 %383, ptr %28, align 4, !tbaa !9
  br label %384

384:                                              ; preds = %347, %330
  %385 = load i32, ptr %11, align 4, !tbaa !9
  %386 = load ptr, ptr %32, align 8, !tbaa !5
  %387 = load i32, ptr %17, align 4, !tbaa !9
  %388 = sext i32 %387 to i64
  %389 = getelementptr inbounds i32, ptr %386, i64 %388
  store i32 %385, ptr %389, align 4, !tbaa !9
  %390 = load ptr, ptr %10, align 8, !tbaa !5
  %391 = getelementptr inbounds %struct.graph_t, ptr %390, i32 0, i32 2
  %392 = load i32, ptr %391, align 8, !tbaa !40
  %393 = sext i32 %392 to i64
  %394 = load ptr, ptr %10, align 8, !tbaa !5
  %395 = getelementptr inbounds %struct.graph_t, ptr %394, i32 0, i32 4
  %396 = load ptr, ptr %395, align 8, !tbaa !41
  %397 = load i32, ptr %17, align 4, !tbaa !9
  %398 = load ptr, ptr %10, align 8, !tbaa !5
  %399 = getelementptr inbounds %struct.graph_t, ptr %398, i32 0, i32 2
  %400 = load i32, ptr %399, align 8, !tbaa !40
  %401 = mul nsw i32 %397, %400
  %402 = sext i32 %401 to i64
  %403 = getelementptr inbounds i32, ptr %396, i64 %402
  %404 = load ptr, ptr %10, align 8, !tbaa !5
  %405 = getelementptr inbounds %struct.graph_t, ptr %404, i32 0, i32 20
  %406 = load ptr, ptr %405, align 8, !tbaa !42
  %407 = load i32, ptr %11, align 4, !tbaa !9
  %408 = load ptr, ptr %10, align 8, !tbaa !5
  %409 = getelementptr inbounds %struct.graph_t, ptr %408, i32 0, i32 2
  %410 = load i32, ptr %409, align 8, !tbaa !40
  %411 = mul nsw i32 %407, %410
  %412 = sext i32 %411 to i64
  %413 = getelementptr inbounds i32, ptr %406, i64 %412
  %414 = call ptr @libmetis__iaxpy(i64 noundef %393, i32 noundef 1, ptr noundef %403, i64 noundef 1, ptr noundef %413, i64 noundef 1)
  %415 = load ptr, ptr %10, align 8, !tbaa !5
  %416 = getelementptr inbounds %struct.graph_t, ptr %415, i32 0, i32 2
  %417 = load i32, ptr %416, align 8, !tbaa !40
  %418 = sext i32 %417 to i64
  %419 = load ptr, ptr %10, align 8, !tbaa !5
  %420 = getelementptr inbounds %struct.graph_t, ptr %419, i32 0, i32 4
  %421 = load ptr, ptr %420, align 8, !tbaa !41
  %422 = load i32, ptr %17, align 4, !tbaa !9
  %423 = load ptr, ptr %10, align 8, !tbaa !5
  %424 = getelementptr inbounds %struct.graph_t, ptr %423, i32 0, i32 2
  %425 = load i32, ptr %424, align 8, !tbaa !40
  %426 = mul nsw i32 %422, %425
  %427 = sext i32 %426 to i64
  %428 = getelementptr inbounds i32, ptr %421, i64 %427
  %429 = load ptr, ptr %10, align 8, !tbaa !5
  %430 = getelementptr inbounds %struct.graph_t, ptr %429, i32 0, i32 20
  %431 = load ptr, ptr %430, align 8, !tbaa !42
  %432 = load i32, ptr %24, align 4, !tbaa !9
  %433 = load ptr, ptr %10, align 8, !tbaa !5
  %434 = getelementptr inbounds %struct.graph_t, ptr %433, i32 0, i32 2
  %435 = load i32, ptr %434, align 8, !tbaa !40
  %436 = mul nsw i32 %432, %435
  %437 = sext i32 %436 to i64
  %438 = getelementptr inbounds i32, ptr %431, i64 %437
  %439 = call ptr @libmetis__iaxpy(i64 noundef %418, i32 noundef -1, ptr noundef %428, i64 noundef 1, ptr noundef %438, i64 noundef 1)
  %440 = load ptr, ptr %9, align 8, !tbaa !5
  %441 = load i32, ptr %24, align 4, !tbaa !9
  %442 = load i32, ptr %11, align 4, !tbaa !9
  %443 = load i32, ptr %28, align 4, !tbaa !9
  call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %440, i32 noundef %441, i32 noundef %442, i32 noundef %443, ptr noundef null)
  %444 = load ptr, ptr %29, align 8, !tbaa !5
  %445 = load i32, ptr %17, align 4, !tbaa !9
  %446 = sext i32 %445 to i64
  %447 = getelementptr inbounds i32, ptr %444, i64 %446
  %448 = load i32, ptr %447, align 4, !tbaa !9
  store i32 %448, ptr %19, align 4, !tbaa !9
  br label %449

449:                                              ; preds = %483, %384
  %450 = load i32, ptr %19, align 4, !tbaa !9
  %451 = load ptr, ptr %29, align 8, !tbaa !5
  %452 = load i32, ptr %17, align 4, !tbaa !9
  %453 = add nsw i32 %452, 1
  %454 = sext i32 %453 to i64
  %455 = getelementptr inbounds i32, ptr %451, i64 %454
  %456 = load i32, ptr %455, align 4, !tbaa !9
  %457 = icmp slt i32 %450, %456
  br i1 %457, label %458, label %486

458:                                              ; preds = %449
  %459 = load ptr, ptr %32, align 8, !tbaa !5
  %460 = load ptr, ptr %31, align 8, !tbaa !5
  %461 = load i32, ptr %19, align 4, !tbaa !9
  %462 = sext i32 %461 to i64
  %463 = getelementptr inbounds i32, ptr %460, i64 %462
  %464 = load i32, ptr %463, align 4, !tbaa !9
  %465 = sext i32 %464 to i64
  %466 = getelementptr inbounds i32, ptr %459, i64 %465
  %467 = load i32, ptr %466, align 4, !tbaa !9
  store i32 %467, ptr %25, align 4, !tbaa !9
  %468 = load i32, ptr %25, align 4, !tbaa !9
  %469 = load i32, ptr %24, align 4, !tbaa !9
  %470 = icmp ne i32 %468, %469
  br i1 %470, label %471, label %482

471:                                              ; preds = %458
  %472 = load i32, ptr %25, align 4, !tbaa !9
  %473 = load i32, ptr %11, align 4, !tbaa !9
  %474 = icmp ne i32 %472, %473
  br i1 %474, label %475, label %482

475:                                              ; preds = %471
  %476 = load ptr, ptr %9, align 8, !tbaa !5
  %477 = load i32, ptr %24, align 4, !tbaa !9
  %478 = load i32, ptr %25, align 4, !tbaa !9
  call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %476, i32 noundef %477, i32 noundef %478, i32 noundef -1, ptr noundef null)
  %479 = load ptr, ptr %9, align 8, !tbaa !5
  %480 = load i32, ptr %11, align 4, !tbaa !9
  %481 = load i32, ptr %25, align 4, !tbaa !9
  call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %479, i32 noundef %480, i32 noundef %481, i32 noundef 1, ptr noundef null)
  br label %482

482:                                              ; preds = %475, %471, %458
  br label %483

483:                                              ; preds = %482
  %484 = load i32, ptr %19, align 4, !tbaa !9
  %485 = add nsw i32 %484, 1
  store i32 %485, ptr %19, align 4, !tbaa !9
  br label %449, !llvm.loop !43

486:                                              ; preds = %449
  %487 = load ptr, ptr %9, align 8, !tbaa !5
  %488 = load ptr, ptr %10, align 8, !tbaa !5
  %489 = load i32, ptr %17, align 4, !tbaa !9
  %490 = load i32, ptr %24, align 4, !tbaa !9
  %491 = load i32, ptr %11, align 4, !tbaa !9
  %492 = load ptr, ptr %14, align 8, !tbaa !5
  %493 = load ptr, ptr %15, align 8, !tbaa !5
  %494 = load ptr, ptr %16, align 8, !tbaa !5
  call void @libmetis__KWayVolUpdate(ptr noundef %487, ptr noundef %488, i32 noundef %489, i32 noundef %490, i32 noundef %491, ptr noundef null, ptr noundef null, ptr noundef null, ptr noundef null, ptr noundef null, i32 noundef 1, ptr noundef %492, ptr noundef %493, ptr noundef %494)
  br label %52, !llvm.loop !44

495:                                              ; preds = %52
  %496 = load ptr, ptr %10, align 8, !tbaa !5
  %497 = load ptr, ptr %32, align 8, !tbaa !5
  %498 = call i32 @libmetis__ComputeCut(ptr noundef %496, ptr noundef %497)
  %499 = load ptr, ptr %10, align 8, !tbaa !5
  %500 = getelementptr inbounds %struct.graph_t, ptr %499, i32 0, i32 17
  %501 = load i32, ptr %500, align 8, !tbaa !38
  %502 = icmp eq i32 %498, %501
  br i1 %502, label %515, label %503

503:                                              ; preds = %495
  %504 = call i32 (ptr, ...) @printf(ptr noundef @.str.33, i32 noundef 673, ptr noundef @.str.1)
  %505 = load ptr, ptr %10, align 8, !tbaa !5
  %506 = load ptr, ptr %32, align 8, !tbaa !5
  %507 = call i32 @libmetis__ComputeCut(ptr noundef %505, ptr noundef %506)
  %508 = load ptr, ptr %10, align 8, !tbaa !5
  %509 = getelementptr inbounds %struct.graph_t, ptr %508, i32 0, i32 17
  %510 = load i32, ptr %509, align 8, !tbaa !38
  %511 = icmp eq i32 %507, %510
  br i1 %511, label %512, label %513

512:                                              ; preds = %503
  br label %514

513:                                              ; preds = %503
  call void @__assert_fail(ptr noundef @.str.34, ptr noundef @.str.1, i32 noundef 673, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForVol) #5
  unreachable

514:                                              ; preds = %512
  br label %515

515:                                              ; preds = %514, %495
  %516 = load ptr, ptr %10, align 8, !tbaa !5
  %517 = load ptr, ptr %32, align 8, !tbaa !5
  %518 = call i32 @libmetis__ComputeVolume(ptr noundef %516, ptr noundef %517)
  %519 = load ptr, ptr %10, align 8, !tbaa !5
  %520 = getelementptr inbounds %struct.graph_t, ptr %519, i32 0, i32 18
  %521 = load i32, ptr %520, align 4, !tbaa !37
  %522 = icmp eq i32 %518, %521
  br i1 %522, label %543, label %523

523:                                              ; preds = %515
  %524 = call i32 (ptr, ...) @printf(ptr noundef @.str.37, i32 noundef 675, ptr noundef @.str.1)
  %525 = load ptr, ptr %10, align 8, !tbaa !5
  %526 = load ptr, ptr %32, align 8, !tbaa !5
  %527 = call i32 @libmetis__ComputeVolume(ptr noundef %525, ptr noundef %526)
  %528 = load ptr, ptr %10, align 8, !tbaa !5
  %529 = getelementptr inbounds %struct.graph_t, ptr %528, i32 0, i32 18
  %530 = load i32, ptr %529, align 4, !tbaa !37
  %531 = call i32 (ptr, ...) @printf(ptr noundef @.str.38, i32 noundef %527, i32 noundef %530)
  %532 = call i32 (ptr, ...) @printf(ptr noundef @.str.39)
  %533 = load ptr, ptr %10, align 8, !tbaa !5
  %534 = load ptr, ptr %32, align 8, !tbaa !5
  %535 = call i32 @libmetis__ComputeVolume(ptr noundef %533, ptr noundef %534)
  %536 = load ptr, ptr %10, align 8, !tbaa !5
  %537 = getelementptr inbounds %struct.graph_t, ptr %536, i32 0, i32 18
  %538 = load i32, ptr %537, align 4, !tbaa !37
  %539 = icmp eq i32 %535, %538
  br i1 %539, label %540, label %541

540:                                              ; preds = %523
  br label %542

541:                                              ; preds = %523
  call void @__assert_fail(ptr noundef @.str.40, ptr noundef @.str.1, i32 noundef 675, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForVol) #5
  unreachable

542:                                              ; preds = %540
  br label %543

543:                                              ; preds = %542, %515
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  ret void
}

declare i32 @libmetis__ComputeCut(ptr noundef, ptr noundef) #1

declare i32 @libmetis__vnbrpoolGetNext(ptr noundef, i32 noundef) #1

declare void @libmetis__KWayVolUpdate(ptr noundef, ptr noundef, i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) #1

declare i32 @libmetis__ComputeVolume(ptr noundef, ptr noundef) #1

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #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 #2 = { noreturn 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 #3 = { 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 #4 = { nounwind }
attributes #5 = { noreturn nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 0}
!12 = !{!"graph_t", !10, i64 0, !10, i64 4, !10, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !10, i64 72, !10, i64 76, !10, i64 80, !10, i64 84, !10, i64 88, !6, i64 96, !6, i64 104, !10, i64 112, !10, i64 116, !6, i64 120, !6, i64 128, !10, i64 136, !6, i64 144, !6, i64 152, !6, i64 160, !6, i64 168, !6, i64 176, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208}
!13 = !{!12, !6, i64 16}
!14 = !{!12, !6, i64 32}
!15 = !{!12, !6, i64 40}
!16 = !{!12, !6, i64 120}
!17 = !{!12, !6, i64 184}
!18 = !{!19, !10, i64 16}
!19 = !{!"vkrinfo_t", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16}
!20 = !{!19, !10, i64 12}
!21 = !{!22, !6, i64 272}
!22 = !{!"ctrl_t", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56, !10, i64 60, !10, i64 64, !10, i64 68, !10, i64 72, !6, i64 80, !10, i64 88, !10, i64 92, !23, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !23, i64 128, !24, i64 136, !24, i64 144, !24, i64 152, !24, i64 160, !24, i64 168, !24, i64 176, !24, i64 184, !24, i64 192, !24, i64 200, !24, i64 208, !24, i64 216, !24, i64 224, !6, i64 232, !25, i64 240, !25, i64 248, !25, i64 256, !6, i64 264, !6, i64 272, !6, i64 280, !6, i64 288, !6, i64 296, !6, i64 304, !6, i64 312, !6, i64 320}
!23 = !{!"float", !7, i64 0}
!24 = !{!"double", !7, i64 0}
!25 = !{!"long", !7, i64 0}
!26 = !{!19, !10, i64 0}
!27 = !{!19, !10, i64 4}
!28 = !{!29, !10, i64 0}
!29 = !{!"vnbr_t", !10, i64 0, !10, i64 4, !10, i64 8}
!30 = distinct !{!30, !31}
!31 = !{!"llvm.loop.mustprogress"}
!32 = distinct !{!32, !31}
!33 = distinct !{!33, !31}
!34 = !{!29, !10, i64 4}
!35 = distinct !{!35, !31}
!36 = distinct !{!36, !31}
!37 = !{!12, !10, i64 116}
!38 = !{!12, !10, i64 112}
!39 = !{!29, !10, i64 8}
!40 = !{!12, !10, i64 8}
!41 = !{!12, !6, i64 24}
!42 = !{!12, !6, i64 128}
!43 = distinct !{!43, !31}
!44 = distinct !{!44, !31}


; 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.vkrinfo_t = type { i32, i32, i32, i32, i32 }
%struct.vnbr_t = type { i32, i32, i32 }

@.str.1 = external hidden unnamed_addr constant [140 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [86 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [12 x i8], align 1
@__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForVol = external hidden unnamed_addr constant [109 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [89 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [55 x i8], align 1

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #0

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef, i32 noundef, i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

declare ptr @libmetis__iaxpy(i64 noundef, i32 noundef, ptr noundef, i64 noundef, ptr noundef, i64 noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
define dso_local void @libmetis__MoveGroupMinConnForVol(ptr noundef %0, ptr noundef %1, i32 noundef %2, i32 noundef %3, ptr nocapture noundef readonly %4, ptr noundef %5, ptr noundef %6, ptr noundef %7) local_unnamed_addr #2 {
  %9 = getelementptr inbounds i8, ptr %1, i64 16
  %10 = load ptr, ptr %9, align 8, !tbaa !5
  %11 = getelementptr inbounds i8, ptr %1, i64 32
  %12 = load ptr, ptr %11, align 8, !tbaa !11
  %13 = getelementptr inbounds i8, ptr %1, i64 40
  %14 = load ptr, ptr %13, align 8, !tbaa !12
  %15 = getelementptr inbounds i8, ptr %1, i64 120
  %16 = load ptr, ptr %15, align 8, !tbaa !13
  %17 = icmp sgt i32 %3, 0
  br i1 %17, label %.lr.ph227, label %._crit_edge228

.lr.ph227:                                        ; preds = %8
  %18 = getelementptr inbounds i8, ptr %1, i64 184
  %19 = getelementptr inbounds i8, ptr %0, i64 272
  %20 = getelementptr inbounds i8, ptr %1, i64 116
  %21 = getelementptr inbounds i8, ptr %1, i64 112
  %22 = getelementptr inbounds i8, ptr %1, i64 8
  %23 = getelementptr inbounds i8, ptr %1, i64 24
  %24 = getelementptr inbounds i8, ptr %1, i64 128
  %25 = zext nneg i32 %3 to i64
  br label %26

26:                                               ; preds = %.lr.ph227, %._crit_edge225
  %indvars.iv252 = phi i64 [ %25, %.lr.ph227 ], [ %indvars.iv.next253, %._crit_edge225 ]
  %indvars.iv.next253 = add nsw i64 %indvars.iv252, -1
  %27 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next253
  %28 = load i32, ptr %27, align 4, !tbaa !14
  %29 = sext i32 %28 to i64
  %30 = getelementptr inbounds i32, ptr %16, i64 %29
  %31 = load i32, ptr %30, align 4, !tbaa !14
  %32 = load ptr, ptr %18, align 8, !tbaa !15
  %33 = getelementptr inbounds %struct.vkrinfo_t, ptr %32, i64 %29
  %34 = getelementptr inbounds i8, ptr %33, i64 16
  %35 = load i32, ptr %34, align 4, !tbaa !16
  %36 = icmp eq i32 %35, -1
  br i1 %36, label %37, label %46

37:                                               ; preds = %26
  %38 = getelementptr i32, ptr %10, i64 %29
  %39 = getelementptr i8, ptr %38, i64 4
  %40 = load i32, ptr %39, align 4, !tbaa !14
  %41 = load i32, ptr %38, align 4, !tbaa !14
  %42 = add i32 %40, 1
  %43 = sub i32 %42, %41
  %44 = tail call i32 @libmetis__vnbrpoolGetNext(ptr noundef %0, i32 noundef %43) #4
  store i32 %44, ptr %34, align 4, !tbaa !16
  %45 = getelementptr inbounds i8, ptr %33, i64 12
  store i32 0, ptr %45, align 4, !tbaa !18
  br label %46

46:                                               ; preds = %37, %26
  %47 = phi i32 [ %44, %37 ], [ %35, %26 ]
  %48 = load ptr, ptr %19, align 8, !tbaa !19
  %49 = sext i32 %47 to i64
  %50 = getelementptr inbounds %struct.vnbr_t, ptr %48, i64 %49
  %51 = load i32, ptr %33, align 4, !tbaa !24
  %52 = icmp eq i32 %51, 0
  br i1 %52, label %53, label %60

53:                                               ; preds = %46
  %54 = getelementptr inbounds i8, ptr %33, i64 4
  %55 = load i32, ptr %54, align 4, !tbaa !25
  %56 = icmp sgt i32 %55, 0
  br i1 %56, label %57, label %60

57:                                               ; preds = %53
  %58 = getelementptr inbounds i32, ptr %12, i64 %29
  %59 = load i32, ptr %58, align 4, !tbaa !14
  br label %60

60:                                               ; preds = %46, %53, %57
  %61 = phi i32 [ %59, %57 ], [ 0, %53 ], [ 0, %46 ]
  %62 = getelementptr inbounds i8, ptr %33, i64 12
  %63 = load i32, ptr %62, align 4, !tbaa !18
  %64 = icmp sgt i32 %63, 0
  br i1 %64, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %60
  %wide.trip.count = zext nneg i32 %63 to i64
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader, %68
  %indvars.iv = phi i64 [ 0, %.lr.ph.preheader ], [ %indvars.iv.next, %68 ]
  %65 = getelementptr inbounds %struct.vnbr_t, ptr %50, i64 %indvars.iv
  %66 = load i32, ptr %65, align 4, !tbaa !26
  %67 = icmp eq i32 %66, %2
  br i1 %67, label %._crit_edge.loopexit, label %68

68:                                               ; preds = %.lr.ph
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge.thread, label %.lr.ph, !llvm.loop !28

._crit_edge.loopexit:                             ; preds = %.lr.ph
  %69 = trunc nuw nsw i64 %indvars.iv to i32
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %60
  %.0170.lcssa = phi i32 [ 0, %60 ], [ %69, %._crit_edge.loopexit ]
  %70 = icmp eq i32 %.0170.lcssa, %63
  br i1 %70, label %._crit_edge.thread, label %137

._crit_edge.thread:                               ; preds = %68, %._crit_edge
  %71 = icmp sgt i32 %51, 0
  br i1 %71, label %72, label %76

72:                                               ; preds = %._crit_edge.thread
  %73 = getelementptr inbounds i32, ptr %12, i64 %29
  %74 = load i32, ptr %73, align 4, !tbaa !14
  %75 = sub nsw i32 %61, %74
  br label %76

76:                                               ; preds = %72, %._crit_edge.thread
  %.0173 = phi i32 [ %75, %72 ], [ %61, %._crit_edge.thread ]
  %77 = getelementptr inbounds i32, ptr %10, i64 %29
  %78 = load i32, ptr %77, align 4, !tbaa !14
  %79 = getelementptr i8, ptr %77, i64 4
  %80 = load i32, ptr %79, align 4, !tbaa !14
  %81 = icmp slt i32 %78, %80
  br i1 %81, label %.lr.ph219, label %._crit_edge220

.lr.ph219:                                        ; preds = %76
  %82 = load ptr, ptr %18, align 8, !tbaa !15
  %83 = sext i32 %78 to i64
  br label %84

84:                                               ; preds = %.lr.ph219, %.loopexit
  %indvars.iv245 = phi i64 [ %83, %.lr.ph219 ], [ %indvars.iv.next246, %.loopexit ]
  %.1174216 = phi i32 [ %.0173, %.lr.ph219 ], [ %.3, %.loopexit ]
  %85 = getelementptr inbounds i32, ptr %14, i64 %indvars.iv245
  %86 = load i32, ptr %85, align 4, !tbaa !14
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds i32, ptr %16, i64 %87
  %89 = load i32, ptr %88, align 4, !tbaa !14
  %90 = getelementptr inbounds %struct.vkrinfo_t, ptr %82, i64 %87
  %91 = getelementptr inbounds i8, ptr %90, i64 16
  %92 = load i32, ptr %91, align 4, !tbaa !16
  %93 = sext i32 %92 to i64
  %94 = getelementptr inbounds %struct.vnbr_t, ptr %48, i64 %93
  %.not183 = icmp eq i32 %89, %2
  br i1 %.not183, label %95, label %97

95:                                               ; preds = %84
  %96 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.35, i32 noundef 609, ptr noundef nonnull @.str.1)
  tail call void @__assert_fail(ptr noundef nonnull @.str.36, ptr noundef nonnull @.str.1, i32 noundef 609, ptr noundef nonnull @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForVol) #5
  unreachable

97:                                               ; preds = %84
  %98 = icmp eq i32 %31, %89
  %99 = getelementptr inbounds i8, ptr %90, i64 12
  %100 = load i32, ptr %99, align 4, !tbaa !18
  %101 = icmp sgt i32 %100, 0
  br i1 %98, label %.preheader, label %.preheader188

.preheader188:                                    ; preds = %97
  br i1 %101, label %.lr.ph198.preheader, label %._crit_edge199

.lr.ph198.preheader:                              ; preds = %.preheader188
  %wide.trip.count233 = zext nneg i32 %100 to i64
  br label %.lr.ph198

.preheader:                                       ; preds = %97
  br i1 %101, label %.lr.ph209.preheader, label %._crit_edge210

.lr.ph209.preheader:                              ; preds = %.preheader
  %wide.trip.count243 = zext nneg i32 %100 to i64
  br label %.lr.ph209

.lr.ph209:                                        ; preds = %.lr.ph209.preheader, %105
  %indvars.iv240 = phi i64 [ 0, %.lr.ph209.preheader ], [ %indvars.iv.next241, %105 ]
  %102 = getelementptr inbounds %struct.vnbr_t, ptr %94, i64 %indvars.iv240
  %103 = load i32, ptr %102, align 4, !tbaa !26
  %104 = icmp eq i32 %103, %2
  br i1 %104, label %._crit_edge210.loopexit, label %105

105:                                              ; preds = %.lr.ph209
  %indvars.iv.next241 = add nuw nsw i64 %indvars.iv240, 1
  %exitcond244.not = icmp eq i64 %indvars.iv.next241, %wide.trip.count243
  br i1 %exitcond244.not, label %._crit_edge210.thread, label %.lr.ph209, !llvm.loop !30

._crit_edge210.loopexit:                          ; preds = %.lr.ph209
  %106 = trunc nuw nsw i64 %indvars.iv240 to i32
  br label %._crit_edge210

._crit_edge210:                                   ; preds = %._crit_edge210.loopexit, %.preheader
  %.0171.lcssa = phi i32 [ 0, %.preheader ], [ %106, %._crit_edge210.loopexit ]
  %107 = icmp eq i32 %.0171.lcssa, %100
  br i1 %107, label %._crit_edge210.thread, label %.loopexit

._crit_edge210.thread:                            ; preds = %105, %._crit_edge210
  %108 = getelementptr inbounds i32, ptr %12, i64 %87
  %109 = load i32, ptr %108, align 4, !tbaa !14
  %110 = sub nsw i32 %.1174216, %109
  br label %.loopexit

.lr.ph198:                                        ; preds = %.lr.ph198.preheader, %114
  %indvars.iv230 = phi i64 [ 0, %.lr.ph198.preheader ], [ %indvars.iv.next231, %114 ]
  %111 = getelementptr inbounds %struct.vnbr_t, ptr %94, i64 %indvars.iv230
  %112 = load i32, ptr %111, align 4, !tbaa !26
  %113 = icmp eq i32 %112, %2
  br i1 %113, label %._crit_edge199.loopexit, label %114

114:                                              ; preds = %.lr.ph198
  %indvars.iv.next231 = add nuw nsw i64 %indvars.iv230, 1
  %exitcond234.not = icmp eq i64 %indvars.iv.next231, %wide.trip.count233
  br i1 %exitcond234.not, label %._crit_edge199.thread, label %.lr.ph198, !llvm.loop !31

._crit_edge199.loopexit:                          ; preds = %.lr.ph198
  %115 = trunc nuw nsw i64 %indvars.iv230 to i32
  br label %._crit_edge199

._crit_edge199:                                   ; preds = %._crit_edge199.loopexit, %.preheader188
  %.1172.lcssa = phi i32 [ 0, %.preheader188 ], [ %115, %._crit_edge199.loopexit ]
  %116 = icmp eq i32 %.1172.lcssa, %100
  br i1 %116, label %._crit_edge199.thread, label %120

._crit_edge199.thread:                            ; preds = %114, %._crit_edge199
  %117 = getelementptr inbounds i32, ptr %12, i64 %87
  %118 = load i32, ptr %117, align 4, !tbaa !14
  %119 = sub nsw i32 %.1174216, %118
  br label %120

120:                                              ; preds = %._crit_edge199.thread, %._crit_edge199
  %.2175 = phi i32 [ %119, %._crit_edge199.thread ], [ %.1174216, %._crit_edge199 ]
  br i1 %101, label %.lr.ph207.preheader, label %.loopexit

.lr.ph207.preheader:                              ; preds = %120
  %wide.trip.count238 = zext nneg i32 %100 to i64
  br label %.lr.ph207

.lr.ph207:                                        ; preds = %.lr.ph207.preheader, %132
  %indvars.iv235 = phi i64 [ 0, %.lr.ph207.preheader ], [ %indvars.iv.next236, %132 ]
  %121 = getelementptr inbounds %struct.vnbr_t, ptr %94, i64 %indvars.iv235
  %122 = load i32, ptr %121, align 4, !tbaa !26
  %123 = icmp eq i32 %122, %31
  br i1 %123, label %124, label %132

124:                                              ; preds = %.lr.ph207
  %125 = getelementptr inbounds i8, ptr %121, i64 4
  %126 = load i32, ptr %125, align 4, !tbaa !32
  %127 = icmp eq i32 %126, 1
  br i1 %127, label %128, label %132

128:                                              ; preds = %124
  %129 = getelementptr inbounds i32, ptr %12, i64 %87
  %130 = load i32, ptr %129, align 4, !tbaa !14
  %131 = add nsw i32 %130, %.2175
  br label %.loopexit

132:                                              ; preds = %.lr.ph207, %124
  %indvars.iv.next236 = add nuw nsw i64 %indvars.iv235, 1
  %exitcond239.not = icmp eq i64 %indvars.iv.next236, %wide.trip.count238
  br i1 %exitcond239.not, label %.loopexit, label %.lr.ph207, !llvm.loop !33

.loopexit:                                        ; preds = %132, %120, %._crit_edge210.thread, %._crit_edge210, %128
  %.3 = phi i32 [ %110, %._crit_edge210.thread ], [ %.1174216, %._crit_edge210 ], [ %131, %128 ], [ %.2175, %120 ], [ %.2175, %132 ]
  %indvars.iv.next246 = add nsw i64 %indvars.iv245, 1
  %lftr.wideiv = trunc i64 %indvars.iv.next246 to i32
  %exitcond248.not = icmp eq i32 %80, %lftr.wideiv
  br i1 %exitcond248.not, label %._crit_edge220, label %84, !llvm.loop !34

._crit_edge220:                                   ; preds = %.loopexit, %76
  %.1174.lcssa = phi i32 [ %.0173, %76 ], [ %.3, %.loopexit ]
  %133 = load i32, ptr %20, align 4, !tbaa !35
  %134 = sub nsw i32 %133, %.1174.lcssa
  store i32 %134, ptr %20, align 4, !tbaa !35
  %135 = load i32, ptr %21, align 8, !tbaa !36
  %136 = add nsw i32 %135, %51
  br label %149

137:                                              ; preds = %._crit_edge
  %138 = zext nneg i32 %.0170.lcssa to i64
  %139 = getelementptr inbounds %struct.vnbr_t, ptr %50, i64 %138
  %140 = getelementptr inbounds i8, ptr %139, i64 8
  %141 = load i32, ptr %140, align 4, !tbaa !37
  %142 = load i32, ptr %20, align 4, !tbaa !35
  %143 = add i32 %141, %61
  %144 = sub i32 %142, %143
  store i32 %144, ptr %20, align 4, !tbaa !35
  %145 = getelementptr inbounds i8, ptr %139, i64 4
  %146 = load i32, ptr %145, align 4, !tbaa !32
  %.neg = sub i32 %51, %146
  %147 = load i32, ptr %21, align 8, !tbaa !36
  %148 = add i32 %.neg, %147
  br label %149

149:                                              ; preds = %137, %._crit_edge220
  %storemerge = phi i32 [ %148, %137 ], [ %136, %._crit_edge220 ]
  %.0176 = phi i32 [ %.neg, %137 ], [ %51, %._crit_edge220 ]
  store i32 %storemerge, ptr %21, align 8, !tbaa !36
  store i32 %2, ptr %30, align 4, !tbaa !14
  %150 = load i32, ptr %22, align 8, !tbaa !38
  %151 = sext i32 %150 to i64
  %152 = load ptr, ptr %23, align 8, !tbaa !39
  %153 = mul nsw i32 %150, %28
  %154 = sext i32 %153 to i64
  %155 = getelementptr inbounds i32, ptr %152, i64 %154
  %156 = load ptr, ptr %24, align 8, !tbaa !40
  %157 = mul nsw i32 %150, %2
  %158 = sext i32 %157 to i64
  %159 = getelementptr inbounds i32, ptr %156, i64 %158
  %160 = tail call ptr @libmetis__iaxpy(i64 noundef %151, i32 noundef 1, ptr noundef %155, i64 noundef 1, ptr noundef %159, i64 noundef 1) #4
  %161 = load i32, ptr %22, align 8, !tbaa !38
  %162 = sext i32 %161 to i64
  %163 = load ptr, ptr %23, align 8, !tbaa !39
  %164 = mul nsw i32 %161, %28
  %165 = sext i32 %164 to i64
  %166 = getelementptr inbounds i32, ptr %163, i64 %165
  %167 = load ptr, ptr %24, align 8, !tbaa !40
  %168 = mul nsw i32 %161, %31
  %169 = sext i32 %168 to i64
  %170 = getelementptr inbounds i32, ptr %167, i64 %169
  %171 = tail call ptr @libmetis__iaxpy(i64 noundef %162, i32 noundef -1, ptr noundef %166, i64 noundef 1, ptr noundef %170, i64 noundef 1) #4
  tail call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %0, i32 noundef %31, i32 noundef %2, i32 noundef %.0176, ptr noundef null)
  %172 = getelementptr inbounds i32, ptr %10, i64 %29
  %173 = load i32, ptr %172, align 4, !tbaa !14
  %174 = getelementptr i8, ptr %172, i64 4
  %175 = load i32, ptr %174, align 4, !tbaa !14
  %176 = icmp slt i32 %173, %175
  br i1 %176, label %.lr.ph224.preheader, label %._crit_edge225

.lr.ph224.preheader:                              ; preds = %149
  %177 = sext i32 %173 to i64
  br label %.lr.ph224

.lr.ph224:                                        ; preds = %.lr.ph224.preheader, %185
  %178 = phi i32 [ %175, %.lr.ph224.preheader ], [ %186, %185 ]
  %indvars.iv249 = phi i64 [ %177, %.lr.ph224.preheader ], [ %indvars.iv.next250, %185 ]
  %179 = getelementptr inbounds i32, ptr %14, i64 %indvars.iv249
  %180 = load i32, ptr %179, align 4, !tbaa !14
  %181 = sext i32 %180 to i64
  %182 = getelementptr inbounds i32, ptr %16, i64 %181
  %183 = load i32, ptr %182, align 4, !tbaa !14
  %.not = icmp eq i32 %183, %31
  %.not182 = icmp eq i32 %183, %2
  %or.cond = or i1 %.not, %.not182
  br i1 %or.cond, label %185, label %184

184:                                              ; preds = %.lr.ph224
  tail call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %0, i32 noundef %31, i32 noundef %183, i32 noundef -1, ptr noundef null)
  tail call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %0, i32 noundef %2, i32 noundef %183, i32 noundef 1, ptr noundef null)
  %.pre = load i32, ptr %174, align 4, !tbaa !14
  br label %185

185:                                              ; preds = %.lr.ph224, %184
  %186 = phi i32 [ %178, %.lr.ph224 ], [ %.pre, %184 ]
  %indvars.iv.next250 = add nsw i64 %indvars.iv249, 1
  %187 = sext i32 %186 to i64
  %188 = icmp slt i64 %indvars.iv.next250, %187
  br i1 %188, label %.lr.ph224, label %._crit_edge225, !llvm.loop !41

._crit_edge225:                                   ; preds = %185, %149
  tail call void @libmetis__KWayVolUpdate(ptr noundef %0, ptr noundef %1, i32 noundef %28, i32 noundef %31, i32 noundef %2, ptr noundef null, ptr noundef null, ptr noundef null, ptr noundef null, ptr noundef null, i32 noundef 1, ptr noundef %5, ptr noundef %6, ptr noundef %7) #4
  %189 = icmp sgt i64 %indvars.iv252, 1
  br i1 %189, label %26, label %._crit_edge228, !llvm.loop !42

._crit_edge228:                                   ; preds = %._crit_edge225, %8
  %190 = tail call i32 @libmetis__ComputeCut(ptr noundef %1, ptr noundef %16) #4
  %191 = getelementptr inbounds i8, ptr %1, i64 112
  %192 = load i32, ptr %191, align 8, !tbaa !36
  %193 = icmp eq i32 %190, %192
  br i1 %193, label %200, label %194

194:                                              ; preds = %._crit_edge228
  %195 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.33, i32 noundef 673, ptr noundef nonnull @.str.1)
  %196 = tail call i32 @libmetis__ComputeCut(ptr noundef nonnull %1, ptr noundef %16) #4
  %197 = load i32, ptr %191, align 8, !tbaa !36
  %198 = icmp eq i32 %196, %197
  br i1 %198, label %200, label %199

199:                                              ; preds = %194
  tail call void @__assert_fail(ptr noundef nonnull @.str.34, ptr noundef nonnull @.str.1, i32 noundef 673, ptr noundef nonnull @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForVol) #5
  unreachable

200:                                              ; preds = %194, %._crit_edge228
  %201 = tail call i32 @libmetis__ComputeVolume(ptr noundef nonnull %1, ptr noundef %16) #4
  %202 = getelementptr inbounds i8, ptr %1, i64 116
  %203 = load i32, ptr %202, align 4, !tbaa !35
  %204 = icmp eq i32 %201, %203
  br i1 %204, label %215, label %205

205:                                              ; preds = %200
  %206 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.37, i32 noundef 675, ptr noundef nonnull @.str.1)
  %207 = tail call i32 @libmetis__ComputeVolume(ptr noundef nonnull %1, ptr noundef %16) #4
  %208 = load i32, ptr %202, align 4, !tbaa !35
  %209 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.38, i32 noundef %207, i32 noundef %208)
  %210 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.39)
  %211 = tail call i32 @libmetis__ComputeVolume(ptr noundef nonnull %1, ptr noundef %16) #4
  %212 = load i32, ptr %202, align 4, !tbaa !35
  %213 = icmp eq i32 %211, %212
  br i1 %213, label %215, label %214

214:                                              ; preds = %205
  tail call void @__assert_fail(ptr noundef nonnull @.str.40, ptr noundef nonnull @.str.1, i32 noundef 675, ptr noundef nonnull @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForVol) #5
  unreachable

215:                                              ; preds = %205, %200
  ret void
}

declare i32 @libmetis__ComputeCut(ptr noundef, ptr noundef) local_unnamed_addr #3

declare i32 @libmetis__vnbrpoolGetNext(ptr noundef, i32 noundef) local_unnamed_addr #3

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

declare i32 @libmetis__ComputeVolume(ptr noundef, ptr noundef) local_unnamed_addr #3

attributes #0 = { nofree 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 #1 = { noreturn 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 #2 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }
attributes #5 = { noreturn 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, !10, i64 16}
!6 = !{!"graph_t", !7, i64 0, !7, i64 4, !7, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !7, i64 72, !7, i64 76, !7, i64 80, !7, i64 84, !7, i64 88, !10, i64 96, !10, i64 104, !7, i64 112, !7, i64 116, !10, i64 120, !10, i64 128, !7, i64 136, !10, i64 144, !10, i64 152, !10, i64 160, !10, i64 168, !10, i64 176, !10, i64 184, !10, i64 192, !10, i64 200, !10, i64 208}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"any pointer", !8, i64 0}
!11 = !{!6, !10, i64 32}
!12 = !{!6, !10, i64 40}
!13 = !{!6, !10, i64 120}
!14 = !{!7, !7, i64 0}
!15 = !{!6, !10, i64 184}
!16 = !{!17, !7, i64 16}
!17 = !{!"vkrinfo_t", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !7, i64 16}
!18 = !{!17, !7, i64 12}
!19 = !{!20, !10, i64 272}
!20 = !{!"ctrl_t", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !7, i64 16, !7, i64 20, !7, i64 24, !7, i64 28, !7, i64 32, !7, i64 36, !7, i64 40, !7, i64 44, !7, i64 48, !7, i64 52, !7, i64 56, !7, i64 60, !7, i64 64, !7, i64 68, !7, i64 72, !10, i64 80, !7, i64 88, !7, i64 92, !21, i64 96, !10, i64 104, !10, i64 112, !10, i64 120, !21, i64 128, !22, i64 136, !22, i64 144, !22, i64 152, !22, i64 160, !22, i64 168, !22, i64 176, !22, i64 184, !22, i64 192, !22, i64 200, !22, i64 208, !22, i64 216, !22, i64 224, !10, i64 232, !23, i64 240, !23, i64 248, !23, i64 256, !10, i64 264, !10, i64 272, !10, i64 280, !10, i64 288, !10, i64 296, !10, i64 304, !10, i64 312, !10, i64 320}
!21 = !{!"float", !8, i64 0}
!22 = !{!"double", !8, i64 0}
!23 = !{!"long", !8, i64 0}
!24 = !{!17, !7, i64 0}
!25 = !{!17, !7, i64 4}
!26 = !{!27, !7, i64 0}
!27 = !{!"vnbr_t", !7, i64 0, !7, i64 4, !7, i64 8}
!28 = distinct !{!28, !29}
!29 = !{!"llvm.loop.mustprogress"}
!30 = distinct !{!30, !29}
!31 = distinct !{!31, !29}
!32 = !{!27, !7, i64 4}
!33 = distinct !{!33, !29}
!34 = distinct !{!34, !29}
!35 = !{!6, !7, i64 116}
!36 = !{!6, !7, i64 112}
!37 = !{!27, !7, i64 8}
!38 = !{!6, !7, i64 8}
!39 = !{!6, !10, i64 24}
!40 = !{!6, !10, i64 128}
!41 = distinct !{!41, !29}
!42 = distinct !{!42, !29}


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