; 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.ckrinfo_t = type { 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.cnbr_t = type { i32, i32 }

@.str.1 = external hidden unnamed_addr constant [140 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [22 x i8], align 1
@__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut = external hidden unnamed_addr constant [82 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [19 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

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

55:                                               ; preds = %874, %5
  %56 = load i32, ptr %9, align 4, !tbaa !9
  %57 = add nsw i32 %56, -1
  store i32 %57, ptr %9, align 4, !tbaa !9
  %58 = icmp sge i32 %57, 0
  br i1 %58, label %59, label %875

59:                                               ; preds = %55
  %60 = load ptr, ptr %10, align 8, !tbaa !5
  %61 = load i32, ptr %9, align 4, !tbaa !9
  %62 = sext i32 %61 to i64
  %63 = getelementptr inbounds i32, ptr %60, i64 %62
  %64 = load i32, ptr %63, align 4, !tbaa !9
  store i32 %64, ptr %11, align 4, !tbaa !9
  %65 = load ptr, ptr %24, align 8, !tbaa !5
  %66 = load i32, ptr %11, align 4, !tbaa !9
  %67 = sext i32 %66 to i64
  %68 = getelementptr inbounds i32, ptr %65, i64 %67
  %69 = load i32, ptr %68, align 4, !tbaa !9
  store i32 %69, ptr %19, align 4, !tbaa !9
  %70 = load ptr, ptr %7, align 8, !tbaa !5
  %71 = getelementptr inbounds %struct.graph_t, ptr %70, i32 0, i32 26
  %72 = load ptr, ptr %71, align 8, !tbaa !20
  %73 = load i32, ptr %11, align 4, !tbaa !9
  %74 = sext i32 %73 to i64
  %75 = getelementptr inbounds %struct.ckrinfo_t, ptr %72, i64 %74
  store ptr %75, ptr %27, align 8, !tbaa !5
  %76 = load ptr, ptr %27, align 8, !tbaa !5
  %77 = getelementptr inbounds %struct.ckrinfo_t, ptr %76, i32 0, i32 3
  %78 = load i32, ptr %77, align 4, !tbaa !21
  %79 = icmp eq i32 %78, -1
  br i1 %79, label %80, label %100

80:                                               ; preds = %59
  %81 = load ptr, ptr %6, align 8, !tbaa !5
  %82 = load ptr, ptr %21, align 8, !tbaa !5
  %83 = load i32, ptr %11, align 4, !tbaa !9
  %84 = add nsw i32 %83, 1
  %85 = sext i32 %84 to i64
  %86 = getelementptr inbounds i32, ptr %82, i64 %85
  %87 = load i32, ptr %86, align 4, !tbaa !9
  %88 = load ptr, ptr %21, align 8, !tbaa !5
  %89 = load i32, ptr %11, align 4, !tbaa !9
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds i32, ptr %88, i64 %90
  %92 = load i32, ptr %91, align 4, !tbaa !9
  %93 = sub nsw i32 %87, %92
  %94 = add nsw i32 %93, 1
  %95 = call i32 @libmetis__cnbrpoolGetNext(ptr noundef %81, i32 noundef %94)
  %96 = load ptr, ptr %27, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct.ckrinfo_t, ptr %96, i32 0, i32 3
  store i32 %95, ptr %97, align 4, !tbaa !21
  %98 = load ptr, ptr %27, align 8, !tbaa !5
  %99 = getelementptr inbounds %struct.ckrinfo_t, ptr %98, i32 0, i32 2
  store i32 0, ptr %99, align 4, !tbaa !23
  br label %100

100:                                              ; preds = %80, %59
  %101 = load ptr, ptr %6, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct.ctrl_t, ptr %101, i32 0, i32 43
  %103 = load ptr, ptr %102, align 8, !tbaa !24
  %104 = load ptr, ptr %27, align 8, !tbaa !5
  %105 = getelementptr inbounds %struct.ckrinfo_t, ptr %104, i32 0, i32 3
  %106 = load i32, ptr %105, align 4, !tbaa !21
  %107 = sext i32 %106 to i64
  %108 = getelementptr inbounds %struct.cnbr_t, ptr %103, i64 %107
  store ptr %108, ptr %28, align 8, !tbaa !5
  store i32 0, ptr %15, align 4, !tbaa !9
  br label %109

109:                                              ; preds = %126, %100
  %110 = load i32, ptr %15, align 4, !tbaa !9
  %111 = load ptr, ptr %27, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.ckrinfo_t, ptr %111, i32 0, i32 2
  %113 = load i32, ptr %112, align 4, !tbaa !23
  %114 = icmp slt i32 %110, %113
  br i1 %114, label %115, label %129

115:                                              ; preds = %109
  %116 = load ptr, ptr %28, align 8, !tbaa !5
  %117 = load i32, ptr %15, align 4, !tbaa !9
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds %struct.cnbr_t, ptr %116, i64 %118
  %120 = getelementptr inbounds %struct.cnbr_t, ptr %119, i32 0, i32 0
  %121 = load i32, ptr %120, align 4, !tbaa !29
  %122 = load i32, ptr %8, align 4, !tbaa !9
  %123 = icmp eq i32 %121, %122
  br i1 %123, label %124, label %125

124:                                              ; preds = %115
  br label %129

125:                                              ; preds = %115
  br label %126

126:                                              ; preds = %125
  %127 = load i32, ptr %15, align 4, !tbaa !9
  %128 = add nsw i32 %127, 1
  store i32 %128, ptr %15, align 4, !tbaa !9
  br label %109, !llvm.loop !31

129:                                              ; preds = %124, %109
  %130 = load i32, ptr %15, align 4, !tbaa !9
  %131 = load ptr, ptr %27, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.ckrinfo_t, ptr %131, i32 0, i32 2
  %133 = load i32, ptr %132, align 4, !tbaa !23
  %134 = icmp eq i32 %130, %133
  br i1 %134, label %135, label %185

135:                                              ; preds = %129
  %136 = load i32, ptr %15, align 4, !tbaa !9
  %137 = load ptr, ptr %21, align 8, !tbaa !5
  %138 = load i32, ptr %11, align 4, !tbaa !9
  %139 = add nsw i32 %138, 1
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds i32, ptr %137, i64 %140
  %142 = load i32, ptr %141, align 4, !tbaa !9
  %143 = load ptr, ptr %21, align 8, !tbaa !5
  %144 = load i32, ptr %11, align 4, !tbaa !9
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds i32, ptr %143, i64 %145
  %147 = load i32, ptr %146, align 4, !tbaa !9
  %148 = sub nsw i32 %142, %147
  %149 = icmp slt i32 %136, %148
  br i1 %149, label %169, label %150

150:                                              ; preds = %135
  %151 = call i32 (ptr, ...) @printf(ptr noundef @.str.21, i32 noundef 513, ptr noundef @.str.1)
  %152 = load i32, ptr %15, align 4, !tbaa !9
  %153 = load ptr, ptr %21, align 8, !tbaa !5
  %154 = load i32, ptr %11, align 4, !tbaa !9
  %155 = add nsw i32 %154, 1
  %156 = sext i32 %155 to i64
  %157 = getelementptr inbounds i32, ptr %153, i64 %156
  %158 = load i32, ptr %157, align 4, !tbaa !9
  %159 = load ptr, ptr %21, align 8, !tbaa !5
  %160 = load i32, ptr %11, align 4, !tbaa !9
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds i32, ptr %159, i64 %161
  %163 = load i32, ptr %162, align 4, !tbaa !9
  %164 = sub nsw i32 %158, %163
  %165 = icmp slt i32 %152, %164
  br i1 %165, label %166, label %167

166:                                              ; preds = %150
  br label %168

167:                                              ; preds = %150
  call void @__assert_fail(ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 513, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #6
  unreachable

168:                                              ; preds = %166
  br label %169

169:                                              ; preds = %168, %135
  %170 = load i32, ptr %8, align 4, !tbaa !9
  %171 = load ptr, ptr %28, align 8, !tbaa !5
  %172 = load i32, ptr %15, align 4, !tbaa !9
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds %struct.cnbr_t, ptr %171, i64 %173
  %175 = getelementptr inbounds %struct.cnbr_t, ptr %174, i32 0, i32 0
  store i32 %170, ptr %175, align 4, !tbaa !29
  %176 = load ptr, ptr %28, align 8, !tbaa !5
  %177 = load i32, ptr %15, align 4, !tbaa !9
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds %struct.cnbr_t, ptr %176, i64 %178
  %180 = getelementptr inbounds %struct.cnbr_t, ptr %179, i32 0, i32 1
  store i32 0, ptr %180, align 4, !tbaa !33
  %181 = load ptr, ptr %27, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.ckrinfo_t, ptr %181, i32 0, i32 2
  %183 = load i32, ptr %182, align 4, !tbaa !23
  %184 = add nsw i32 %183, 1
  store i32 %184, ptr %182, align 4, !tbaa !23
  br label %185

185:                                              ; preds = %169, %129
  %186 = load ptr, ptr %7, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct.graph_t, ptr %186, i32 0, i32 2
  %188 = load i32, ptr %187, align 8, !tbaa !34
  %189 = sext i32 %188 to i64
  %190 = load ptr, ptr %7, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct.graph_t, ptr %190, i32 0, i32 4
  %192 = load ptr, ptr %191, align 8, !tbaa !35
  %193 = load i32, ptr %11, align 4, !tbaa !9
  %194 = load ptr, ptr %7, align 8, !tbaa !5
  %195 = getelementptr inbounds %struct.graph_t, ptr %194, i32 0, i32 2
  %196 = load i32, ptr %195, align 8, !tbaa !34
  %197 = mul nsw i32 %193, %196
  %198 = sext i32 %197 to i64
  %199 = getelementptr inbounds i32, ptr %192, i64 %198
  %200 = load ptr, ptr %7, align 8, !tbaa !5
  %201 = getelementptr inbounds %struct.graph_t, ptr %200, i32 0, i32 20
  %202 = load ptr, ptr %201, align 8, !tbaa !36
  %203 = load i32, ptr %8, align 4, !tbaa !9
  %204 = load ptr, ptr %7, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct.graph_t, ptr %204, i32 0, i32 2
  %206 = load i32, ptr %205, align 8, !tbaa !34
  %207 = mul nsw i32 %203, %206
  %208 = sext i32 %207 to i64
  %209 = getelementptr inbounds i32, ptr %202, i64 %208
  %210 = call ptr @libmetis__iaxpy(i64 noundef %189, i32 noundef 1, ptr noundef %199, i64 noundef 1, ptr noundef %209, i64 noundef 1)
  %211 = load ptr, ptr %7, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct.graph_t, ptr %211, i32 0, i32 2
  %213 = load i32, ptr %212, align 8, !tbaa !34
  %214 = sext i32 %213 to i64
  %215 = load ptr, ptr %7, align 8, !tbaa !5
  %216 = getelementptr inbounds %struct.graph_t, ptr %215, i32 0, i32 4
  %217 = load ptr, ptr %216, align 8, !tbaa !35
  %218 = load i32, ptr %11, align 4, !tbaa !9
  %219 = load ptr, ptr %7, align 8, !tbaa !5
  %220 = getelementptr inbounds %struct.graph_t, ptr %219, i32 0, i32 2
  %221 = load i32, ptr %220, align 8, !tbaa !34
  %222 = mul nsw i32 %218, %221
  %223 = sext i32 %222 to i64
  %224 = getelementptr inbounds i32, ptr %217, i64 %223
  %225 = load ptr, ptr %7, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.graph_t, ptr %225, i32 0, i32 20
  %227 = load ptr, ptr %226, align 8, !tbaa !36
  %228 = load i32, ptr %19, align 4, !tbaa !9
  %229 = load ptr, ptr %7, align 8, !tbaa !5
  %230 = getelementptr inbounds %struct.graph_t, ptr %229, i32 0, i32 2
  %231 = load i32, ptr %230, align 8, !tbaa !34
  %232 = mul nsw i32 %228, %231
  %233 = sext i32 %232 to i64
  %234 = getelementptr inbounds i32, ptr %227, i64 %233
  %235 = call ptr @libmetis__iaxpy(i64 noundef %214, i32 noundef -1, ptr noundef %224, i64 noundef 1, ptr noundef %234, i64 noundef 1)
  %236 = load ptr, ptr %28, align 8, !tbaa !5
  %237 = load i32, ptr %15, align 4, !tbaa !9
  %238 = sext i32 %237 to i64
  %239 = getelementptr inbounds %struct.cnbr_t, ptr %236, i64 %238
  %240 = getelementptr inbounds %struct.cnbr_t, ptr %239, i32 0, i32 1
  %241 = load i32, ptr %240, align 4, !tbaa !33
  %242 = load ptr, ptr %27, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct.ckrinfo_t, ptr %242, i32 0, i32 0
  %244 = load i32, ptr %243, align 4, !tbaa !37
  %245 = sub nsw i32 %241, %244
  %246 = load ptr, ptr %7, align 8, !tbaa !5
  %247 = getelementptr inbounds %struct.graph_t, ptr %246, i32 0, i32 17
  %248 = load i32, ptr %247, align 8, !tbaa !38
  %249 = sub nsw i32 %248, %245
  store i32 %249, ptr %247, align 8, !tbaa !38
  %250 = load ptr, ptr %6, align 8, !tbaa !5
  %251 = load i32, ptr %19, align 4, !tbaa !9
  %252 = load i32, ptr %8, align 4, !tbaa !9
  %253 = load ptr, ptr %27, align 8, !tbaa !5
  %254 = getelementptr inbounds %struct.ckrinfo_t, ptr %253, i32 0, i32 0
  %255 = load i32, ptr %254, align 4, !tbaa !37
  %256 = load ptr, ptr %28, align 8, !tbaa !5
  %257 = load i32, ptr %15, align 4, !tbaa !9
  %258 = sext i32 %257 to i64
  %259 = getelementptr inbounds %struct.cnbr_t, ptr %256, i64 %258
  %260 = getelementptr inbounds %struct.cnbr_t, ptr %259, i32 0, i32 1
  %261 = load i32, ptr %260, align 4, !tbaa !33
  %262 = sub nsw i32 %255, %261
  call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %250, i32 noundef %251, i32 noundef %252, i32 noundef %262, ptr noundef null)
  br label %263

263:                                              ; preds = %185
  %264 = load i32, ptr %8, align 4, !tbaa !9
  %265 = load ptr, ptr %24, align 8, !tbaa !5
  %266 = load i32, ptr %11, align 4, !tbaa !9
  %267 = sext i32 %266 to i64
  %268 = getelementptr inbounds i32, ptr %265, i64 %267
  store i32 %264, ptr %268, align 4, !tbaa !9
  %269 = load ptr, ptr %27, align 8, !tbaa !5
  %270 = getelementptr inbounds %struct.ckrinfo_t, ptr %269, i32 0, i32 0
  %271 = load i32, ptr %270, align 4, !tbaa !37
  %272 = load ptr, ptr %28, align 8, !tbaa !5
  %273 = load i32, ptr %15, align 4, !tbaa !9
  %274 = sext i32 %273 to i64
  %275 = getelementptr inbounds %struct.cnbr_t, ptr %272, i64 %274
  %276 = getelementptr inbounds %struct.cnbr_t, ptr %275, i32 0, i32 1
  %277 = load i32, ptr %276, align 4, !tbaa !33
  %278 = sub nsw i32 %271, %277
  %279 = load ptr, ptr %27, align 8, !tbaa !5
  %280 = getelementptr inbounds %struct.ckrinfo_t, ptr %279, i32 0, i32 1
  %281 = load i32, ptr %280, align 4, !tbaa !39
  %282 = add nsw i32 %281, %278
  store i32 %282, ptr %280, align 4, !tbaa !39
  br label %283

283:                                              ; preds = %263
  %284 = load ptr, ptr %27, align 8, !tbaa !5
  %285 = getelementptr inbounds %struct.ckrinfo_t, ptr %284, i32 0, i32 0
  %286 = load i32, ptr %285, align 4, !tbaa !37
  store i32 %286, ptr %13, align 4, !tbaa !9
  %287 = load ptr, ptr %28, align 8, !tbaa !5
  %288 = load i32, ptr %15, align 4, !tbaa !9
  %289 = sext i32 %288 to i64
  %290 = getelementptr inbounds %struct.cnbr_t, ptr %287, i64 %289
  %291 = getelementptr inbounds %struct.cnbr_t, ptr %290, i32 0, i32 1
  %292 = load i32, ptr %291, align 4, !tbaa !33
  %293 = load ptr, ptr %27, align 8, !tbaa !5
  %294 = getelementptr inbounds %struct.ckrinfo_t, ptr %293, i32 0, i32 0
  store i32 %292, ptr %294, align 4, !tbaa !37
  %295 = load i32, ptr %13, align 4, !tbaa !9
  %296 = load ptr, ptr %28, align 8, !tbaa !5
  %297 = load i32, ptr %15, align 4, !tbaa !9
  %298 = sext i32 %297 to i64
  %299 = getelementptr inbounds %struct.cnbr_t, ptr %296, i64 %298
  %300 = getelementptr inbounds %struct.cnbr_t, ptr %299, i32 0, i32 1
  store i32 %295, ptr %300, align 4, !tbaa !33
  br label %301

301:                                              ; preds = %283
  br label %302

302:                                              ; preds = %301
  %303 = load ptr, ptr %28, align 8, !tbaa !5
  %304 = load i32, ptr %15, align 4, !tbaa !9
  %305 = sext i32 %304 to i64
  %306 = getelementptr inbounds %struct.cnbr_t, ptr %303, i64 %305
  %307 = getelementptr inbounds %struct.cnbr_t, ptr %306, i32 0, i32 1
  %308 = load i32, ptr %307, align 4, !tbaa !33
  %309 = icmp eq i32 %308, 0
  br i1 %309, label %310, label %322

310:                                              ; preds = %302
  %311 = load ptr, ptr %28, align 8, !tbaa !5
  %312 = load i32, ptr %15, align 4, !tbaa !9
  %313 = sext i32 %312 to i64
  %314 = getelementptr inbounds %struct.cnbr_t, ptr %311, i64 %313
  %315 = load ptr, ptr %28, align 8, !tbaa !5
  %316 = load ptr, ptr %27, align 8, !tbaa !5
  %317 = getelementptr inbounds %struct.ckrinfo_t, ptr %316, i32 0, i32 2
  %318 = load i32, ptr %317, align 4, !tbaa !23
  %319 = add nsw i32 %318, -1
  store i32 %319, ptr %317, align 4, !tbaa !23
  %320 = sext i32 %319 to i64
  %321 = getelementptr inbounds %struct.cnbr_t, ptr %315, i64 %320
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %314, ptr align 4 %321, i64 8, i1 false), !tbaa.struct !40
  br label %329

322:                                              ; preds = %302
  %323 = load i32, ptr %19, align 4, !tbaa !9
  %324 = load ptr, ptr %28, align 8, !tbaa !5
  %325 = load i32, ptr %15, align 4, !tbaa !9
  %326 = sext i32 %325 to i64
  %327 = getelementptr inbounds %struct.cnbr_t, ptr %324, i64 %326
  %328 = getelementptr inbounds %struct.cnbr_t, ptr %327, i32 0, i32 0
  store i32 %323, ptr %328, align 4, !tbaa !29
  br label %329

329:                                              ; preds = %322, %310
  %330 = load ptr, ptr %25, align 8, !tbaa !5
  %331 = load i32, ptr %11, align 4, !tbaa !9
  %332 = sext i32 %331 to i64
  %333 = getelementptr inbounds i32, ptr %330, i64 %332
  %334 = load i32, ptr %333, align 4, !tbaa !9
  %335 = icmp ne i32 %334, -1
  br i1 %335, label %336, label %398

336:                                              ; preds = %329
  %337 = load ptr, ptr %27, align 8, !tbaa !5
  %338 = getelementptr inbounds %struct.ckrinfo_t, ptr %337, i32 0, i32 1
  %339 = load i32, ptr %338, align 4, !tbaa !39
  %340 = load ptr, ptr %27, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.ckrinfo_t, ptr %340, i32 0, i32 0
  %342 = load i32, ptr %341, align 4, !tbaa !37
  %343 = sub nsw i32 %339, %342
  %344 = icmp slt i32 %343, 0
  br i1 %344, label %345, label %398

345:                                              ; preds = %336
  br label %346

346:                                              ; preds = %345
  %347 = load ptr, ptr %25, align 8, !tbaa !5
  %348 = load i32, ptr %11, align 4, !tbaa !9
  %349 = sext i32 %348 to i64
  %350 = getelementptr inbounds i32, ptr %347, i64 %349
  %351 = load i32, ptr %350, align 4, !tbaa !9
  %352 = icmp ne i32 %351, -1
  br i1 %352, label %364, label %353

353:                                              ; preds = %346
  %354 = call i32 (ptr, ...) @printf(ptr noundef @.str.23, i32 noundef 531, ptr noundef @.str.1)
  %355 = load ptr, ptr %25, align 8, !tbaa !5
  %356 = load i32, ptr %11, align 4, !tbaa !9
  %357 = sext i32 %356 to i64
  %358 = getelementptr inbounds i32, ptr %355, i64 %357
  %359 = load i32, ptr %358, align 4, !tbaa !9
  %360 = icmp ne i32 %359, -1
  br i1 %360, label %361, label %362

361:                                              ; preds = %353
  br label %363

362:                                              ; preds = %353
  call void @__assert_fail(ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 531, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #6
  unreachable

363:                                              ; preds = %361
  br label %364

364:                                              ; preds = %363, %346
  %365 = load ptr, ptr %26, align 8, !tbaa !5
  %366 = load i32, ptr %18, align 4, !tbaa !9
  %367 = add nsw i32 %366, -1
  store i32 %367, ptr %18, align 4, !tbaa !9
  %368 = sext i32 %367 to i64
  %369 = getelementptr inbounds i32, ptr %365, i64 %368
  %370 = load i32, ptr %369, align 4, !tbaa !9
  %371 = load ptr, ptr %26, align 8, !tbaa !5
  %372 = load ptr, ptr %25, align 8, !tbaa !5
  %373 = load i32, ptr %11, align 4, !tbaa !9
  %374 = sext i32 %373 to i64
  %375 = getelementptr inbounds i32, ptr %372, i64 %374
  %376 = load i32, ptr %375, align 4, !tbaa !9
  %377 = sext i32 %376 to i64
  %378 = getelementptr inbounds i32, ptr %371, i64 %377
  store i32 %370, ptr %378, align 4, !tbaa !9
  %379 = load ptr, ptr %25, align 8, !tbaa !5
  %380 = load i32, ptr %11, align 4, !tbaa !9
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds i32, ptr %379, i64 %381
  %383 = load i32, ptr %382, align 4, !tbaa !9
  %384 = load ptr, ptr %25, align 8, !tbaa !5
  %385 = load ptr, ptr %26, align 8, !tbaa !5
  %386 = load i32, ptr %18, align 4, !tbaa !9
  %387 = sext i32 %386 to i64
  %388 = getelementptr inbounds i32, ptr %385, i64 %387
  %389 = load i32, ptr %388, align 4, !tbaa !9
  %390 = sext i32 %389 to i64
  %391 = getelementptr inbounds i32, ptr %384, i64 %390
  store i32 %383, ptr %391, align 4, !tbaa !9
  %392 = load ptr, ptr %25, align 8, !tbaa !5
  %393 = load i32, ptr %11, align 4, !tbaa !9
  %394 = sext i32 %393 to i64
  %395 = getelementptr inbounds i32, ptr %392, i64 %394
  store i32 -1, ptr %395, align 4, !tbaa !9
  br label %396

396:                                              ; preds = %364
  br label %397

397:                                              ; preds = %396
  br label %398

398:                                              ; preds = %397, %336, %329
  %399 = load ptr, ptr %25, align 8, !tbaa !5
  %400 = load i32, ptr %11, align 4, !tbaa !9
  %401 = sext i32 %400 to i64
  %402 = getelementptr inbounds i32, ptr %399, i64 %401
  %403 = load i32, ptr %402, align 4, !tbaa !9
  %404 = icmp eq i32 %403, -1
  br i1 %404, label %405, label %447

405:                                              ; preds = %398
  %406 = load ptr, ptr %27, align 8, !tbaa !5
  %407 = getelementptr inbounds %struct.ckrinfo_t, ptr %406, i32 0, i32 1
  %408 = load i32, ptr %407, align 4, !tbaa !39
  %409 = load ptr, ptr %27, align 8, !tbaa !5
  %410 = getelementptr inbounds %struct.ckrinfo_t, ptr %409, i32 0, i32 0
  %411 = load i32, ptr %410, align 4, !tbaa !37
  %412 = sub nsw i32 %408, %411
  %413 = icmp sge i32 %412, 0
  br i1 %413, label %414, label %447

414:                                              ; preds = %405
  br label %415

415:                                              ; preds = %414
  %416 = load ptr, ptr %25, align 8, !tbaa !5
  %417 = load i32, ptr %11, align 4, !tbaa !9
  %418 = sext i32 %417 to i64
  %419 = getelementptr inbounds i32, ptr %416, i64 %418
  %420 = load i32, ptr %419, align 4, !tbaa !9
  %421 = icmp eq i32 %420, -1
  br i1 %421, label %433, label %422

422:                                              ; preds = %415
  %423 = call i32 (ptr, ...) @printf(ptr noundef @.str.25, i32 noundef 531, ptr noundef @.str.1)
  %424 = load ptr, ptr %25, align 8, !tbaa !5
  %425 = load i32, ptr %11, align 4, !tbaa !9
  %426 = sext i32 %425 to i64
  %427 = getelementptr inbounds i32, ptr %424, i64 %426
  %428 = load i32, ptr %427, align 4, !tbaa !9
  %429 = icmp eq i32 %428, -1
  br i1 %429, label %430, label %431

430:                                              ; preds = %422
  br label %432

431:                                              ; preds = %422
  call void @__assert_fail(ptr noundef @.str.26, ptr noundef @.str.1, i32 noundef 531, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #6
  unreachable

432:                                              ; preds = %430
  br label %433

433:                                              ; preds = %432, %415
  %434 = load i32, ptr %11, align 4, !tbaa !9
  %435 = load ptr, ptr %26, align 8, !tbaa !5
  %436 = load i32, ptr %18, align 4, !tbaa !9
  %437 = sext i32 %436 to i64
  %438 = getelementptr inbounds i32, ptr %435, i64 %437
  store i32 %434, ptr %438, align 4, !tbaa !9
  %439 = load i32, ptr %18, align 4, !tbaa !9
  %440 = add nsw i32 %439, 1
  store i32 %440, ptr %18, align 4, !tbaa !9
  %441 = load ptr, ptr %25, align 8, !tbaa !5
  %442 = load i32, ptr %11, align 4, !tbaa !9
  %443 = sext i32 %442 to i64
  %444 = getelementptr inbounds i32, ptr %441, i64 %443
  store i32 %439, ptr %444, align 4, !tbaa !9
  br label %445

445:                                              ; preds = %433
  br label %446

446:                                              ; preds = %445
  br label %447

447:                                              ; preds = %446, %405, %398
  br label %448

448:                                              ; preds = %447
  br label %449

449:                                              ; preds = %448
  %450 = load ptr, ptr %21, align 8, !tbaa !5
  %451 = load i32, ptr %11, align 4, !tbaa !9
  %452 = sext i32 %451 to i64
  %453 = getelementptr inbounds i32, ptr %450, i64 %452
  %454 = load i32, ptr %453, align 4, !tbaa !9
  store i32 %454, ptr %13, align 4, !tbaa !9
  br label %455

455:                                              ; preds = %871, %449
  %456 = load i32, ptr %13, align 4, !tbaa !9
  %457 = load ptr, ptr %21, align 8, !tbaa !5
  %458 = load i32, ptr %11, align 4, !tbaa !9
  %459 = add nsw i32 %458, 1
  %460 = sext i32 %459 to i64
  %461 = getelementptr inbounds i32, ptr %457, i64 %460
  %462 = load i32, ptr %461, align 4, !tbaa !9
  %463 = icmp slt i32 %456, %462
  br i1 %463, label %464, label %874

464:                                              ; preds = %455
  %465 = load ptr, ptr %22, align 8, !tbaa !5
  %466 = load i32, ptr %13, align 4, !tbaa !9
  %467 = sext i32 %466 to i64
  %468 = getelementptr inbounds i32, ptr %465, i64 %467
  %469 = load i32, ptr %468, align 4, !tbaa !9
  store i32 %469, ptr %12, align 4, !tbaa !9
  %470 = load ptr, ptr %24, align 8, !tbaa !5
  %471 = load i32, ptr %12, align 4, !tbaa !9
  %472 = sext i32 %471 to i64
  %473 = getelementptr inbounds i32, ptr %470, i64 %472
  %474 = load i32, ptr %473, align 4, !tbaa !9
  store i32 %474, ptr %20, align 4, !tbaa !9
  %475 = load ptr, ptr %7, align 8, !tbaa !5
  %476 = getelementptr inbounds %struct.graph_t, ptr %475, i32 0, i32 26
  %477 = load ptr, ptr %476, align 8, !tbaa !20
  %478 = load i32, ptr %12, align 4, !tbaa !9
  %479 = sext i32 %478 to i64
  %480 = getelementptr inbounds %struct.ckrinfo_t, ptr %477, i64 %479
  store ptr %480, ptr %27, align 8, !tbaa !5
  br label %481

481:                                              ; preds = %464
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #5
  %482 = load ptr, ptr %27, align 8, !tbaa !5
  %483 = getelementptr inbounds %struct.ckrinfo_t, ptr %482, i32 0, i32 3
  %484 = load i32, ptr %483, align 4, !tbaa !21
  %485 = icmp eq i32 %484, -1
  br i1 %485, label %486, label %506

486:                                              ; preds = %481
  %487 = load ptr, ptr %6, align 8, !tbaa !5
  %488 = load ptr, ptr %21, align 8, !tbaa !5
  %489 = load i32, ptr %12, align 4, !tbaa !9
  %490 = add nsw i32 %489, 1
  %491 = sext i32 %490 to i64
  %492 = getelementptr inbounds i32, ptr %488, i64 %491
  %493 = load i32, ptr %492, align 4, !tbaa !9
  %494 = load ptr, ptr %21, align 8, !tbaa !5
  %495 = load i32, ptr %12, align 4, !tbaa !9
  %496 = sext i32 %495 to i64
  %497 = getelementptr inbounds i32, ptr %494, i64 %496
  %498 = load i32, ptr %497, align 4, !tbaa !9
  %499 = sub nsw i32 %493, %498
  %500 = add nsw i32 %499, 1
  %501 = call i32 @libmetis__cnbrpoolGetNext(ptr noundef %487, i32 noundef %500)
  %502 = load ptr, ptr %27, align 8, !tbaa !5
  %503 = getelementptr inbounds %struct.ckrinfo_t, ptr %502, i32 0, i32 3
  store i32 %501, ptr %503, align 4, !tbaa !21
  %504 = load ptr, ptr %27, align 8, !tbaa !5
  %505 = getelementptr inbounds %struct.ckrinfo_t, ptr %504, i32 0, i32 2
  store i32 0, ptr %505, align 4, !tbaa !23
  br label %506

506:                                              ; preds = %486, %481
  %507 = load ptr, ptr %6, align 8, !tbaa !5
  %508 = load ptr, ptr %27, align 8, !tbaa !5
  %509 = call i32 @libmetis__CheckRInfo(ptr noundef %507, ptr noundef %508)
  %510 = icmp ne i32 %509, 0
  br i1 %510, label %520, label %511

511:                                              ; preds = %506
  %512 = call i32 (ptr, ...) @printf(ptr noundef @.str.27, i32 noundef 540, ptr noundef @.str.1)
  %513 = load ptr, ptr %6, align 8, !tbaa !5
  %514 = load ptr, ptr %27, align 8, !tbaa !5
  %515 = call i32 @libmetis__CheckRInfo(ptr noundef %513, ptr noundef %514)
  %516 = icmp ne i32 %515, 0
  br i1 %516, label %517, label %518

517:                                              ; preds = %511
  br label %519

518:                                              ; preds = %511
  call void @__assert_fail(ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 540, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #6
  unreachable

519:                                              ; preds = %517
  br label %520

520:                                              ; preds = %519, %506
  %521 = load ptr, ptr %6, align 8, !tbaa !5
  %522 = getelementptr inbounds %struct.ctrl_t, ptr %521, i32 0, i32 43
  %523 = load ptr, ptr %522, align 8, !tbaa !24
  %524 = load ptr, ptr %27, align 8, !tbaa !5
  %525 = getelementptr inbounds %struct.ckrinfo_t, ptr %524, i32 0, i32 3
  %526 = load i32, ptr %525, align 4, !tbaa !21
  %527 = sext i32 %526 to i64
  %528 = getelementptr inbounds %struct.cnbr_t, ptr %523, i64 %527
  store ptr %528, ptr %30, align 8, !tbaa !5
  %529 = load i32, ptr %20, align 4, !tbaa !9
  %530 = load i32, ptr %19, align 4, !tbaa !9
  %531 = icmp eq i32 %529, %530
  br i1 %531, label %532, label %603

532:                                              ; preds = %520
  br label %533

533:                                              ; preds = %532
  %534 = load ptr, ptr %23, align 8, !tbaa !5
  %535 = load i32, ptr %13, align 4, !tbaa !9
  %536 = sext i32 %535 to i64
  %537 = getelementptr inbounds i32, ptr %534, i64 %536
  %538 = load i32, ptr %537, align 4, !tbaa !9
  %539 = load ptr, ptr %27, align 8, !tbaa !5
  %540 = getelementptr inbounds %struct.ckrinfo_t, ptr %539, i32 0, i32 1
  %541 = load i32, ptr %540, align 4, !tbaa !39
  %542 = add nsw i32 %541, %538
  store i32 %542, ptr %540, align 4, !tbaa !39
  %543 = load ptr, ptr %23, align 8, !tbaa !5
  %544 = load i32, ptr %13, align 4, !tbaa !9
  %545 = sext i32 %544 to i64
  %546 = getelementptr inbounds i32, ptr %543, i64 %545
  %547 = load i32, ptr %546, align 4, !tbaa !9
  %548 = load ptr, ptr %27, align 8, !tbaa !5
  %549 = getelementptr inbounds %struct.ckrinfo_t, ptr %548, i32 0, i32 0
  %550 = load i32, ptr %549, align 4, !tbaa !37
  %551 = sub nsw i32 %550, %547
  store i32 %551, ptr %549, align 4, !tbaa !37
  br label %552

552:                                              ; preds = %533
  br label %553

553:                                              ; preds = %552
  %554 = load ptr, ptr %27, align 8, !tbaa !5
  %555 = getelementptr inbounds %struct.ckrinfo_t, ptr %554, i32 0, i32 1
  %556 = load i32, ptr %555, align 4, !tbaa !39
  %557 = load ptr, ptr %27, align 8, !tbaa !5
  %558 = getelementptr inbounds %struct.ckrinfo_t, ptr %557, i32 0, i32 0
  %559 = load i32, ptr %558, align 4, !tbaa !37
  %560 = sub nsw i32 %556, %559
  %561 = icmp sge i32 %560, 0
  br i1 %561, label %562, label %602

562:                                              ; preds = %553
  %563 = load ptr, ptr %25, align 8, !tbaa !5
  %564 = load i32, ptr %12, align 4, !tbaa !9
  %565 = sext i32 %564 to i64
  %566 = getelementptr inbounds i32, ptr %563, i64 %565
  %567 = load i32, ptr %566, align 4, !tbaa !9
  %568 = icmp eq i32 %567, -1
  br i1 %568, label %569, label %602

569:                                              ; preds = %562
  br label %570

570:                                              ; preds = %569
  %571 = load ptr, ptr %25, align 8, !tbaa !5
  %572 = load i32, ptr %12, align 4, !tbaa !9
  %573 = sext i32 %572 to i64
  %574 = getelementptr inbounds i32, ptr %571, i64 %573
  %575 = load i32, ptr %574, align 4, !tbaa !9
  %576 = icmp eq i32 %575, -1
  br i1 %576, label %588, label %577

577:                                              ; preds = %570
  %578 = call i32 (ptr, ...) @printf(ptr noundef @.str.29, i32 noundef 540, ptr noundef @.str.1)
  %579 = load ptr, ptr %25, align 8, !tbaa !5
  %580 = load i32, ptr %12, align 4, !tbaa !9
  %581 = sext i32 %580 to i64
  %582 = getelementptr inbounds i32, ptr %579, i64 %581
  %583 = load i32, ptr %582, align 4, !tbaa !9
  %584 = icmp eq i32 %583, -1
  br i1 %584, label %585, label %586

585:                                              ; preds = %577
  br label %587

586:                                              ; preds = %577
  call void @__assert_fail(ptr noundef @.str.30, ptr noundef @.str.1, i32 noundef 540, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #6
  unreachable

587:                                              ; preds = %585
  br label %588

588:                                              ; preds = %587, %570
  %589 = load i32, ptr %12, align 4, !tbaa !9
  %590 = load ptr, ptr %26, align 8, !tbaa !5
  %591 = load i32, ptr %18, align 4, !tbaa !9
  %592 = sext i32 %591 to i64
  %593 = getelementptr inbounds i32, ptr %590, i64 %592
  store i32 %589, ptr %593, align 4, !tbaa !9
  %594 = load i32, ptr %18, align 4, !tbaa !9
  %595 = add nsw i32 %594, 1
  store i32 %595, ptr %18, align 4, !tbaa !9
  %596 = load ptr, ptr %25, align 8, !tbaa !5
  %597 = load i32, ptr %12, align 4, !tbaa !9
  %598 = sext i32 %597 to i64
  %599 = getelementptr inbounds i32, ptr %596, i64 %598
  store i32 %594, ptr %599, align 4, !tbaa !9
  br label %600

600:                                              ; preds = %588
  br label %601

601:                                              ; preds = %600
  br label %602

602:                                              ; preds = %601, %562, %553
  br label %699

603:                                              ; preds = %520
  %604 = load i32, ptr %20, align 4, !tbaa !9
  %605 = load i32, ptr %8, align 4, !tbaa !9
  %606 = icmp eq i32 %604, %605
  br i1 %606, label %607, label %698

607:                                              ; preds = %603
  br label %608

608:                                              ; preds = %607
  %609 = load ptr, ptr %23, align 8, !tbaa !5
  %610 = load i32, ptr %13, align 4, !tbaa !9
  %611 = sext i32 %610 to i64
  %612 = getelementptr inbounds i32, ptr %609, i64 %611
  %613 = load i32, ptr %612, align 4, !tbaa !9
  %614 = load ptr, ptr %27, align 8, !tbaa !5
  %615 = getelementptr inbounds %struct.ckrinfo_t, ptr %614, i32 0, i32 0
  %616 = load i32, ptr %615, align 4, !tbaa !37
  %617 = add nsw i32 %616, %613
  store i32 %617, ptr %615, align 4, !tbaa !37
  %618 = load ptr, ptr %23, align 8, !tbaa !5
  %619 = load i32, ptr %13, align 4, !tbaa !9
  %620 = sext i32 %619 to i64
  %621 = getelementptr inbounds i32, ptr %618, i64 %620
  %622 = load i32, ptr %621, align 4, !tbaa !9
  %623 = load ptr, ptr %27, align 8, !tbaa !5
  %624 = getelementptr inbounds %struct.ckrinfo_t, ptr %623, i32 0, i32 1
  %625 = load i32, ptr %624, align 4, !tbaa !39
  %626 = sub nsw i32 %625, %622
  store i32 %626, ptr %624, align 4, !tbaa !39
  br label %627

627:                                              ; preds = %608
  br label %628

628:                                              ; preds = %627
  %629 = load ptr, ptr %27, align 8, !tbaa !5
  %630 = getelementptr inbounds %struct.ckrinfo_t, ptr %629, i32 0, i32 1
  %631 = load i32, ptr %630, align 4, !tbaa !39
  %632 = load ptr, ptr %27, align 8, !tbaa !5
  %633 = getelementptr inbounds %struct.ckrinfo_t, ptr %632, i32 0, i32 0
  %634 = load i32, ptr %633, align 4, !tbaa !37
  %635 = sub nsw i32 %631, %634
  %636 = icmp slt i32 %635, 0
  br i1 %636, label %637, label %697

637:                                              ; preds = %628
  %638 = load ptr, ptr %25, align 8, !tbaa !5
  %639 = load i32, ptr %12, align 4, !tbaa !9
  %640 = sext i32 %639 to i64
  %641 = getelementptr inbounds i32, ptr %638, i64 %640
  %642 = load i32, ptr %641, align 4, !tbaa !9
  %643 = icmp ne i32 %642, -1
  br i1 %643, label %644, label %697

644:                                              ; preds = %637
  br label %645

645:                                              ; preds = %644
  %646 = load ptr, ptr %25, align 8, !tbaa !5
  %647 = load i32, ptr %12, align 4, !tbaa !9
  %648 = sext i32 %647 to i64
  %649 = getelementptr inbounds i32, ptr %646, i64 %648
  %650 = load i32, ptr %649, align 4, !tbaa !9
  %651 = icmp ne i32 %650, -1
  br i1 %651, label %663, label %652

652:                                              ; preds = %645
  %653 = call i32 (ptr, ...) @printf(ptr noundef @.str.31, i32 noundef 540, ptr noundef @.str.1)
  %654 = load ptr, ptr %25, align 8, !tbaa !5
  %655 = load i32, ptr %12, align 4, !tbaa !9
  %656 = sext i32 %655 to i64
  %657 = getelementptr inbounds i32, ptr %654, i64 %656
  %658 = load i32, ptr %657, align 4, !tbaa !9
  %659 = icmp ne i32 %658, -1
  br i1 %659, label %660, label %661

660:                                              ; preds = %652
  br label %662

661:                                              ; preds = %652
  call void @__assert_fail(ptr noundef @.str.32, ptr noundef @.str.1, i32 noundef 540, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #6
  unreachable

662:                                              ; preds = %660
  br label %663

663:                                              ; preds = %662, %645
  %664 = load ptr, ptr %26, align 8, !tbaa !5
  %665 = load i32, ptr %18, align 4, !tbaa !9
  %666 = add nsw i32 %665, -1
  store i32 %666, ptr %18, align 4, !tbaa !9
  %667 = sext i32 %666 to i64
  %668 = getelementptr inbounds i32, ptr %664, i64 %667
  %669 = load i32, ptr %668, align 4, !tbaa !9
  %670 = load ptr, ptr %26, align 8, !tbaa !5
  %671 = load ptr, ptr %25, align 8, !tbaa !5
  %672 = load i32, ptr %12, align 4, !tbaa !9
  %673 = sext i32 %672 to i64
  %674 = getelementptr inbounds i32, ptr %671, i64 %673
  %675 = load i32, ptr %674, align 4, !tbaa !9
  %676 = sext i32 %675 to i64
  %677 = getelementptr inbounds i32, ptr %670, i64 %676
  store i32 %669, ptr %677, align 4, !tbaa !9
  %678 = load ptr, ptr %25, align 8, !tbaa !5
  %679 = load i32, ptr %12, align 4, !tbaa !9
  %680 = sext i32 %679 to i64
  %681 = getelementptr inbounds i32, ptr %678, i64 %680
  %682 = load i32, ptr %681, align 4, !tbaa !9
  %683 = load ptr, ptr %25, align 8, !tbaa !5
  %684 = load ptr, ptr %26, align 8, !tbaa !5
  %685 = load i32, ptr %18, align 4, !tbaa !9
  %686 = sext i32 %685 to i64
  %687 = getelementptr inbounds i32, ptr %684, i64 %686
  %688 = load i32, ptr %687, align 4, !tbaa !9
  %689 = sext i32 %688 to i64
  %690 = getelementptr inbounds i32, ptr %683, i64 %689
  store i32 %682, ptr %690, align 4, !tbaa !9
  %691 = load ptr, ptr %25, align 8, !tbaa !5
  %692 = load i32, ptr %12, align 4, !tbaa !9
  %693 = sext i32 %692 to i64
  %694 = getelementptr inbounds i32, ptr %691, i64 %693
  store i32 -1, ptr %694, align 4, !tbaa !9
  br label %695

695:                                              ; preds = %663
  br label %696

696:                                              ; preds = %695
  br label %697

697:                                              ; preds = %696, %637, %628
  br label %698

698:                                              ; preds = %697, %603
  br label %699

699:                                              ; preds = %698, %602
  %700 = load i32, ptr %20, align 4, !tbaa !9
  %701 = load i32, ptr %19, align 4, !tbaa !9
  %702 = icmp ne i32 %700, %701
  br i1 %702, label %703, label %763

703:                                              ; preds = %699
  store i32 0, ptr %29, align 4, !tbaa !9
  br label %704

704:                                              ; preds = %759, %703
  %705 = load i32, ptr %29, align 4, !tbaa !9
  %706 = load ptr, ptr %27, align 8, !tbaa !5
  %707 = getelementptr inbounds %struct.ckrinfo_t, ptr %706, i32 0, i32 2
  %708 = load i32, ptr %707, align 4, !tbaa !23
  %709 = icmp slt i32 %705, %708
  br i1 %709, label %710, label %762

710:                                              ; preds = %704
  %711 = load ptr, ptr %30, align 8, !tbaa !5
  %712 = load i32, ptr %29, align 4, !tbaa !9
  %713 = sext i32 %712 to i64
  %714 = getelementptr inbounds %struct.cnbr_t, ptr %711, i64 %713
  %715 = getelementptr inbounds %struct.cnbr_t, ptr %714, i32 0, i32 0
  %716 = load i32, ptr %715, align 4, !tbaa !29
  %717 = load i32, ptr %19, align 4, !tbaa !9
  %718 = icmp eq i32 %716, %717
  br i1 %718, label %719, label %758

719:                                              ; preds = %710
  %720 = load ptr, ptr %30, align 8, !tbaa !5
  %721 = load i32, ptr %29, align 4, !tbaa !9
  %722 = sext i32 %721 to i64
  %723 = getelementptr inbounds %struct.cnbr_t, ptr %720, i64 %722
  %724 = getelementptr inbounds %struct.cnbr_t, ptr %723, i32 0, i32 1
  %725 = load i32, ptr %724, align 4, !tbaa !33
  %726 = load ptr, ptr %23, align 8, !tbaa !5
  %727 = load i32, ptr %13, align 4, !tbaa !9
  %728 = sext i32 %727 to i64
  %729 = getelementptr inbounds i32, ptr %726, i64 %728
  %730 = load i32, ptr %729, align 4, !tbaa !9
  %731 = icmp eq i32 %725, %730
  br i1 %731, label %732, label %744

732:                                              ; preds = %719
  %733 = load ptr, ptr %30, align 8, !tbaa !5
  %734 = load i32, ptr %29, align 4, !tbaa !9
  %735 = sext i32 %734 to i64
  %736 = getelementptr inbounds %struct.cnbr_t, ptr %733, i64 %735
  %737 = load ptr, ptr %30, align 8, !tbaa !5
  %738 = load ptr, ptr %27, align 8, !tbaa !5
  %739 = getelementptr inbounds %struct.ckrinfo_t, ptr %738, i32 0, i32 2
  %740 = load i32, ptr %739, align 4, !tbaa !23
  %741 = add nsw i32 %740, -1
  store i32 %741, ptr %739, align 4, !tbaa !23
  %742 = sext i32 %741 to i64
  %743 = getelementptr inbounds %struct.cnbr_t, ptr %737, i64 %742
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %736, ptr align 4 %743, i64 8, i1 false), !tbaa.struct !40
  br label %757

744:                                              ; preds = %719
  %745 = load ptr, ptr %23, align 8, !tbaa !5
  %746 = load i32, ptr %13, align 4, !tbaa !9
  %747 = sext i32 %746 to i64
  %748 = getelementptr inbounds i32, ptr %745, i64 %747
  %749 = load i32, ptr %748, align 4, !tbaa !9
  %750 = load ptr, ptr %30, align 8, !tbaa !5
  %751 = load i32, ptr %29, align 4, !tbaa !9
  %752 = sext i32 %751 to i64
  %753 = getelementptr inbounds %struct.cnbr_t, ptr %750, i64 %752
  %754 = getelementptr inbounds %struct.cnbr_t, ptr %753, i32 0, i32 1
  %755 = load i32, ptr %754, align 4, !tbaa !33
  %756 = sub nsw i32 %755, %749
  store i32 %756, ptr %754, align 4, !tbaa !33
  br label %757

757:                                              ; preds = %744, %732
  br label %762

758:                                              ; preds = %710
  br label %759

759:                                              ; preds = %758
  %760 = load i32, ptr %29, align 4, !tbaa !9
  %761 = add nsw i32 %760, 1
  store i32 %761, ptr %29, align 4, !tbaa !9
  br label %704, !llvm.loop !41

762:                                              ; preds = %757, %704
  br label %763

763:                                              ; preds = %762, %699
  %764 = load i32, ptr %20, align 4, !tbaa !9
  %765 = load i32, ptr %8, align 4, !tbaa !9
  %766 = icmp ne i32 %764, %765
  br i1 %766, label %767, label %828

767:                                              ; preds = %763
  store i32 0, ptr %29, align 4, !tbaa !9
  br label %768

768:                                              ; preds = %797, %767
  %769 = load i32, ptr %29, align 4, !tbaa !9
  %770 = load ptr, ptr %27, align 8, !tbaa !5
  %771 = getelementptr inbounds %struct.ckrinfo_t, ptr %770, i32 0, i32 2
  %772 = load i32, ptr %771, align 4, !tbaa !23
  %773 = icmp slt i32 %769, %772
  br i1 %773, label %774, label %800

774:                                              ; preds = %768
  %775 = load ptr, ptr %30, align 8, !tbaa !5
  %776 = load i32, ptr %29, align 4, !tbaa !9
  %777 = sext i32 %776 to i64
  %778 = getelementptr inbounds %struct.cnbr_t, ptr %775, i64 %777
  %779 = getelementptr inbounds %struct.cnbr_t, ptr %778, i32 0, i32 0
  %780 = load i32, ptr %779, align 4, !tbaa !29
  %781 = load i32, ptr %8, align 4, !tbaa !9
  %782 = icmp eq i32 %780, %781
  br i1 %782, label %783, label %796

783:                                              ; preds = %774
  %784 = load ptr, ptr %23, align 8, !tbaa !5
  %785 = load i32, ptr %13, align 4, !tbaa !9
  %786 = sext i32 %785 to i64
  %787 = getelementptr inbounds i32, ptr %784, i64 %786
  %788 = load i32, ptr %787, align 4, !tbaa !9
  %789 = load ptr, ptr %30, align 8, !tbaa !5
  %790 = load i32, ptr %29, align 4, !tbaa !9
  %791 = sext i32 %790 to i64
  %792 = getelementptr inbounds %struct.cnbr_t, ptr %789, i64 %791
  %793 = getelementptr inbounds %struct.cnbr_t, ptr %792, i32 0, i32 1
  %794 = load i32, ptr %793, align 4, !tbaa !33
  %795 = add nsw i32 %794, %788
  store i32 %795, ptr %793, align 4, !tbaa !33
  br label %800

796:                                              ; preds = %774
  br label %797

797:                                              ; preds = %796
  %798 = load i32, ptr %29, align 4, !tbaa !9
  %799 = add nsw i32 %798, 1
  store i32 %799, ptr %29, align 4, !tbaa !9
  br label %768, !llvm.loop !42

800:                                              ; preds = %783, %768
  %801 = load i32, ptr %29, align 4, !tbaa !9
  %802 = load ptr, ptr %27, align 8, !tbaa !5
  %803 = getelementptr inbounds %struct.ckrinfo_t, ptr %802, i32 0, i32 2
  %804 = load i32, ptr %803, align 4, !tbaa !23
  %805 = icmp eq i32 %801, %804
  br i1 %805, label %806, label %827

806:                                              ; preds = %800
  %807 = load i32, ptr %8, align 4, !tbaa !9
  %808 = load ptr, ptr %30, align 8, !tbaa !5
  %809 = load i32, ptr %29, align 4, !tbaa !9
  %810 = sext i32 %809 to i64
  %811 = getelementptr inbounds %struct.cnbr_t, ptr %808, i64 %810
  %812 = getelementptr inbounds %struct.cnbr_t, ptr %811, i32 0, i32 0
  store i32 %807, ptr %812, align 4, !tbaa !29
  %813 = load ptr, ptr %23, align 8, !tbaa !5
  %814 = load i32, ptr %13, align 4, !tbaa !9
  %815 = sext i32 %814 to i64
  %816 = getelementptr inbounds i32, ptr %813, i64 %815
  %817 = load i32, ptr %816, align 4, !tbaa !9
  %818 = load ptr, ptr %30, align 8, !tbaa !5
  %819 = load i32, ptr %29, align 4, !tbaa !9
  %820 = sext i32 %819 to i64
  %821 = getelementptr inbounds %struct.cnbr_t, ptr %818, i64 %820
  %822 = getelementptr inbounds %struct.cnbr_t, ptr %821, i32 0, i32 1
  store i32 %817, ptr %822, align 4, !tbaa !33
  %823 = load ptr, ptr %27, align 8, !tbaa !5
  %824 = getelementptr inbounds %struct.ckrinfo_t, ptr %823, i32 0, i32 2
  %825 = load i32, ptr %824, align 4, !tbaa !23
  %826 = add nsw i32 %825, 1
  store i32 %826, ptr %824, align 4, !tbaa !23
  br label %827

827:                                              ; preds = %806, %800
  br label %828

828:                                              ; preds = %827, %763
  %829 = load ptr, ptr %6, align 8, !tbaa !5
  %830 = load ptr, ptr %27, align 8, !tbaa !5
  %831 = call i32 @libmetis__CheckRInfo(ptr noundef %829, ptr noundef %830)
  %832 = icmp ne i32 %831, 0
  br i1 %832, label %842, label %833

833:                                              ; preds = %828
  %834 = call i32 (ptr, ...) @printf(ptr noundef @.str.27, i32 noundef 540, ptr noundef @.str.1)
  %835 = load ptr, ptr %6, align 8, !tbaa !5
  %836 = load ptr, ptr %27, align 8, !tbaa !5
  %837 = call i32 @libmetis__CheckRInfo(ptr noundef %835, ptr noundef %836)
  %838 = icmp ne i32 %837, 0
  br i1 %838, label %839, label %840

839:                                              ; preds = %833
  br label %841

840:                                              ; preds = %833
  call void @__assert_fail(ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 540, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #6
  unreachable

841:                                              ; preds = %839
  br label %842

842:                                              ; preds = %841, %828
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #5
  br label %843

843:                                              ; preds = %842
  br label %844

844:                                              ; preds = %843
  %845 = load i32, ptr %20, align 4, !tbaa !9
  %846 = load i32, ptr %19, align 4, !tbaa !9
  %847 = icmp ne i32 %845, %846
  br i1 %847, label %848, label %870

848:                                              ; preds = %844
  %849 = load i32, ptr %20, align 4, !tbaa !9
  %850 = load i32, ptr %8, align 4, !tbaa !9
  %851 = icmp ne i32 %849, %850
  br i1 %851, label %852, label %870

852:                                              ; preds = %848
  %853 = load ptr, ptr %6, align 8, !tbaa !5
  %854 = load i32, ptr %19, align 4, !tbaa !9
  %855 = load i32, ptr %20, align 4, !tbaa !9
  %856 = load ptr, ptr %23, align 8, !tbaa !5
  %857 = load i32, ptr %13, align 4, !tbaa !9
  %858 = sext i32 %857 to i64
  %859 = getelementptr inbounds i32, ptr %856, i64 %858
  %860 = load i32, ptr %859, align 4, !tbaa !9
  %861 = sub nsw i32 0, %860
  call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %853, i32 noundef %854, i32 noundef %855, i32 noundef %861, ptr noundef null)
  %862 = load ptr, ptr %6, align 8, !tbaa !5
  %863 = load i32, ptr %8, align 4, !tbaa !9
  %864 = load i32, ptr %20, align 4, !tbaa !9
  %865 = load ptr, ptr %23, align 8, !tbaa !5
  %866 = load i32, ptr %13, align 4, !tbaa !9
  %867 = sext i32 %866 to i64
  %868 = getelementptr inbounds i32, ptr %865, i64 %867
  %869 = load i32, ptr %868, align 4, !tbaa !9
  call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %862, i32 noundef %863, i32 noundef %864, i32 noundef %869, ptr noundef null)
  br label %870

870:                                              ; preds = %852, %848, %844
  br label %871

871:                                              ; preds = %870
  %872 = load i32, ptr %13, align 4, !tbaa !9
  %873 = add nsw i32 %872, 1
  store i32 %873, ptr %13, align 4, !tbaa !9
  br label %455, !llvm.loop !43

874:                                              ; preds = %455
  br label %55, !llvm.loop !44

875:                                              ; preds = %55
  %876 = load ptr, ptr %7, align 8, !tbaa !5
  %877 = load ptr, ptr %24, align 8, !tbaa !5
  %878 = call i32 @libmetis__ComputeCut(ptr noundef %876, ptr noundef %877)
  %879 = load ptr, ptr %7, align 8, !tbaa !5
  %880 = getelementptr inbounds %struct.graph_t, ptr %879, i32 0, i32 17
  %881 = load i32, ptr %880, align 8, !tbaa !38
  %882 = icmp eq i32 %878, %881
  br i1 %882, label %895, label %883

883:                                              ; preds = %875
  %884 = call i32 (ptr, ...) @printf(ptr noundef @.str.33, i32 noundef 551, ptr noundef @.str.1)
  %885 = load ptr, ptr %7, align 8, !tbaa !5
  %886 = load ptr, ptr %24, align 8, !tbaa !5
  %887 = call i32 @libmetis__ComputeCut(ptr noundef %885, ptr noundef %886)
  %888 = load ptr, ptr %7, align 8, !tbaa !5
  %889 = getelementptr inbounds %struct.graph_t, ptr %888, i32 0, i32 17
  %890 = load i32, ptr %889, align 8, !tbaa !38
  %891 = icmp eq i32 %887, %890
  br i1 %891, label %892, label %893

892:                                              ; preds = %883
  br label %894

893:                                              ; preds = %883
  call void @__assert_fail(ptr noundef @.str.34, ptr noundef @.str.1, i32 noundef 551, ptr noundef @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #6
  unreachable

894:                                              ; preds = %892
  br label %895

895:                                              ; preds = %894, %875
  %896 = load i32, ptr %18, align 4, !tbaa !9
  %897 = load ptr, ptr %7, align 8, !tbaa !5
  %898 = getelementptr inbounds %struct.graph_t, ptr %897, i32 0, i32 21
  store i32 %896, ptr %898, align 8, !tbaa !19
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  ret void
}

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

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

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

declare i32 @libmetis__ComputeCut(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 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { nounwind }
attributes #6 = { 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 40}
!15 = !{!12, !6, i64 48}
!16 = !{!12, !6, i64 120}
!17 = !{!12, !6, i64 144}
!18 = !{!12, !6, i64 152}
!19 = !{!12, !10, i64 136}
!20 = !{!12, !6, i64 176}
!21 = !{!22, !10, i64 12}
!22 = !{!"ckrinfo_t", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12}
!23 = !{!22, !10, i64 8}
!24 = !{!25, !6, i64 264}
!25 = !{!"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, !26, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !26, i64 128, !27, i64 136, !27, i64 144, !27, i64 152, !27, i64 160, !27, i64 168, !27, i64 176, !27, i64 184, !27, i64 192, !27, i64 200, !27, i64 208, !27, i64 216, !27, i64 224, !6, i64 232, !28, i64 240, !28, i64 248, !28, 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}
!26 = !{!"float", !7, i64 0}
!27 = !{!"double", !7, i64 0}
!28 = !{!"long", !7, i64 0}
!29 = !{!30, !10, i64 0}
!30 = !{!"cnbr_t", !10, i64 0, !10, i64 4}
!31 = distinct !{!31, !32}
!32 = !{!"llvm.loop.mustprogress"}
!33 = !{!30, !10, i64 4}
!34 = !{!12, !10, i64 8}
!35 = !{!12, !6, i64 24}
!36 = !{!12, !6, i64 128}
!37 = !{!22, !10, i64 0}
!38 = !{!12, !10, i64 112}
!39 = !{!22, !10, i64 4}
!40 = !{i64 0, i64 4, !9, i64 4, i64 4, !9}
!41 = distinct !{!41, !32}
!42 = distinct !{!42, !32}
!43 = distinct !{!43, !32}
!44 = distinct !{!44, !32}


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

@.str.1 = external hidden unnamed_addr constant [140 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [22 x i8], align 1
@__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut = external hidden unnamed_addr constant [82 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [36 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

; 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__MoveGroupMinConnForCut(ptr noundef %0, ptr noundef %1, i32 noundef %2, i32 noundef %3, ptr nocapture noundef readonly %4) local_unnamed_addr #2 {
  %6 = getelementptr inbounds i8, ptr %1, i64 16
  %7 = load ptr, ptr %6, align 8, !tbaa !5
  %8 = getelementptr inbounds i8, ptr %1, i64 40
  %9 = load ptr, ptr %8, align 8, !tbaa !11
  %10 = getelementptr inbounds i8, ptr %1, i64 48
  %11 = load ptr, ptr %10, align 8, !tbaa !12
  %12 = getelementptr inbounds i8, ptr %1, i64 120
  %13 = load ptr, ptr %12, align 8, !tbaa !13
  %14 = getelementptr inbounds i8, ptr %1, i64 144
  %15 = load ptr, ptr %14, align 8, !tbaa !14
  %16 = getelementptr inbounds i8, ptr %1, i64 152
  %17 = load ptr, ptr %16, align 8, !tbaa !15
  %18 = getelementptr inbounds i8, ptr %1, i64 136
  %19 = load i32, ptr %18, align 8, !tbaa !16
  %20 = icmp sgt i32 %3, 0
  br i1 %20, label %.lr.ph346, label %._crit_edge347

.lr.ph346:                                        ; preds = %5
  %21 = getelementptr inbounds i8, ptr %1, i64 176
  %22 = getelementptr inbounds i8, ptr %0, i64 264
  %23 = getelementptr inbounds i8, ptr %1, i64 8
  %24 = getelementptr inbounds i8, ptr %1, i64 24
  %25 = getelementptr inbounds i8, ptr %1, i64 128
  %26 = getelementptr inbounds i8, ptr %1, i64 112
  %27 = zext nneg i32 %3 to i64
  br label %29

.loopexit306:                                     ; preds = %288, %153
  %.3.lcssa = phi i32 [ %.2, %153 ], [ %.4302, %288 ]
  %28 = icmp sgt i64 %indvars.iv369, 1
  br i1 %28, label %29, label %._crit_edge347, !llvm.loop !17

29:                                               ; preds = %.lr.ph346, %.loopexit306
  %indvars.iv369 = phi i64 [ %27, %.lr.ph346 ], [ %indvars.iv.next370, %.loopexit306 ]
  %.0276344 = phi i32 [ %19, %.lr.ph346 ], [ %.3.lcssa, %.loopexit306 ]
  %indvars.iv.next370 = add nsw i64 %indvars.iv369, -1
  %30 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next370
  %31 = load i32, ptr %30, align 4, !tbaa !19
  %32 = sext i32 %31 to i64
  %33 = getelementptr inbounds i32, ptr %13, i64 %32
  %34 = load i32, ptr %33, align 4, !tbaa !19
  %35 = load ptr, ptr %21, align 8, !tbaa !20
  %36 = getelementptr inbounds %struct.ckrinfo_t, ptr %35, i64 %32
  %37 = getelementptr inbounds i8, ptr %36, i64 12
  %38 = load i32, ptr %37, align 4, !tbaa !21
  %39 = icmp eq i32 %38, -1
  br i1 %39, label %.thread381, label %52

.thread381:                                       ; preds = %29
  %40 = getelementptr i32, ptr %7, i64 %32
  %41 = getelementptr i8, ptr %40, i64 4
  %42 = load i32, ptr %41, align 4, !tbaa !19
  %43 = load i32, ptr %40, align 4, !tbaa !19
  %44 = add i32 %42, 1
  %45 = sub i32 %44, %43
  %46 = tail call i32 @libmetis__cnbrpoolGetNext(ptr noundef %0, i32 noundef %45) #4
  store i32 %46, ptr %37, align 4, !tbaa !21
  %47 = getelementptr inbounds i8, ptr %36, i64 8
  store i32 0, ptr %47, align 4, !tbaa !23
  %48 = load ptr, ptr %22, align 8, !tbaa !24
  %49 = sext i32 %46 to i64
  %50 = getelementptr inbounds %struct.cnbr_t, ptr %48, i64 %49
  %51 = getelementptr inbounds i8, ptr %36, i64 8
  br label %._crit_edge.thread

52:                                               ; preds = %29
  %.phi.trans.insert = getelementptr inbounds i8, ptr %36, i64 8
  %.pre = load i32, ptr %.phi.trans.insert, align 4, !tbaa !23
  %53 = load ptr, ptr %22, align 8, !tbaa !24
  %54 = sext i32 %38 to i64
  %55 = getelementptr inbounds %struct.cnbr_t, ptr %53, i64 %54
  %56 = getelementptr inbounds i8, ptr %36, i64 8
  %57 = icmp sgt i32 %.pre, 0
  br i1 %57, label %.lr.ph.preheader, label %._crit_edge

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

.lr.ph:                                           ; preds = %.lr.ph.preheader, %61
  %indvars.iv = phi i64 [ 0, %.lr.ph.preheader ], [ %indvars.iv.next, %61 ]
  %58 = getelementptr inbounds %struct.cnbr_t, ptr %55, i64 %indvars.iv
  %59 = load i32, ptr %58, align 4, !tbaa !29
  %60 = icmp eq i32 %59, %2
  br i1 %60, label %._crit_edge.loopexit, label %61

61:                                               ; 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 !31

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

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %52
  %.0275.lcssa = phi i32 [ 0, %52 ], [ %62, %._crit_edge.loopexit ]
  %63 = icmp eq i32 %.0275.lcssa, %.pre
  br i1 %63, label %._crit_edge.thread, label %86

._crit_edge.thread:                               ; preds = %61, %.thread381, %._crit_edge
  %.0275.lcssa386 = phi i32 [ %.0275.lcssa, %._crit_edge ], [ 0, %.thread381 ], [ %.pre, %61 ]
  %64 = phi i32 [ %.pre, %._crit_edge ], [ 0, %.thread381 ], [ %.pre, %61 ]
  %65 = phi ptr [ %55, %._crit_edge ], [ %50, %.thread381 ], [ %55, %61 ]
  %66 = phi ptr [ %56, %._crit_edge ], [ %51, %.thread381 ], [ %56, %61 ]
  %67 = getelementptr i32, ptr %7, i64 %32
  %68 = getelementptr i8, ptr %67, i64 4
  %69 = load i32, ptr %68, align 4, !tbaa !19
  %70 = load i32, ptr %67, align 4, !tbaa !19
  %71 = sub nsw i32 %69, %70
  %72 = icmp slt i32 %64, %71
  br i1 %72, label %80, label %73

73:                                               ; preds = %._crit_edge.thread
  %74 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.21, i32 noundef 513, ptr noundef nonnull @.str.1)
  %75 = load i32, ptr %68, align 4, !tbaa !19
  %76 = load i32, ptr %67, align 4, !tbaa !19
  %77 = sub nsw i32 %75, %76
  %78 = icmp slt i32 %64, %77
  br i1 %78, label %._crit_edge373, label %79

._crit_edge373:                                   ; preds = %73
  %.pre374 = load i32, ptr %66, align 4, !tbaa !23
  br label %80

79:                                               ; preds = %73
  tail call void @__assert_fail(ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.1, i32 noundef 513, ptr noundef nonnull @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #5
  unreachable

80:                                               ; preds = %._crit_edge373, %._crit_edge.thread
  %81 = phi i32 [ %.pre374, %._crit_edge373 ], [ %64, %._crit_edge.thread ]
  %82 = zext nneg i32 %64 to i64
  %83 = getelementptr inbounds %struct.cnbr_t, ptr %65, i64 %82
  store i32 %2, ptr %83, align 4, !tbaa !29
  %84 = getelementptr inbounds i8, ptr %83, i64 4
  store i32 0, ptr %84, align 4, !tbaa !32
  %85 = add nsw i32 %81, 1
  store i32 %85, ptr %66, align 4, !tbaa !23
  br label %86

86:                                               ; preds = %80, %._crit_edge
  %.0275.lcssa385 = phi i32 [ %.0275.lcssa386, %80 ], [ %.0275.lcssa, %._crit_edge ]
  %87 = phi ptr [ %65, %80 ], [ %55, %._crit_edge ]
  %88 = phi ptr [ %66, %80 ], [ %56, %._crit_edge ]
  %89 = load i32, ptr %23, align 8, !tbaa !33
  %90 = sext i32 %89 to i64
  %91 = load ptr, ptr %24, align 8, !tbaa !34
  %92 = mul nsw i32 %89, %31
  %93 = sext i32 %92 to i64
  %94 = getelementptr inbounds i32, ptr %91, i64 %93
  %95 = load ptr, ptr %25, align 8, !tbaa !35
  %96 = mul nsw i32 %89, %2
  %97 = sext i32 %96 to i64
  %98 = getelementptr inbounds i32, ptr %95, i64 %97
  %99 = tail call ptr @libmetis__iaxpy(i64 noundef %90, i32 noundef 1, ptr noundef %94, i64 noundef 1, ptr noundef %98, i64 noundef 1) #4
  %100 = load i32, ptr %23, align 8, !tbaa !33
  %101 = sext i32 %100 to i64
  %102 = load ptr, ptr %24, align 8, !tbaa !34
  %103 = mul nsw i32 %100, %31
  %104 = sext i32 %103 to i64
  %105 = getelementptr inbounds i32, ptr %102, i64 %104
  %106 = load ptr, ptr %25, align 8, !tbaa !35
  %107 = mul nsw i32 %100, %34
  %108 = sext i32 %107 to i64
  %109 = getelementptr inbounds i32, ptr %106, i64 %108
  %110 = tail call ptr @libmetis__iaxpy(i64 noundef %101, i32 noundef -1, ptr noundef %105, i64 noundef 1, ptr noundef %109, i64 noundef 1) #4
  %111 = zext nneg i32 %.0275.lcssa385 to i64
  %112 = getelementptr inbounds %struct.cnbr_t, ptr %87, i64 %111
  %113 = getelementptr inbounds i8, ptr %112, i64 4
  %114 = load i32, ptr %113, align 4, !tbaa !32
  %115 = load i32, ptr %36, align 4, !tbaa !36
  %.neg = sub i32 %115, %114
  %116 = load i32, ptr %26, align 8, !tbaa !37
  %117 = add i32 %.neg, %116
  store i32 %117, ptr %26, align 8, !tbaa !37
  tail call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %0, i32 noundef %34, i32 noundef %2, i32 noundef %.neg, ptr noundef null)
  store i32 %2, ptr %33, align 4, !tbaa !19
  %118 = load i32, ptr %36, align 4, !tbaa !36
  %119 = load i32, ptr %113, align 4, !tbaa !32
  %120 = sub i32 %118, %119
  %121 = getelementptr inbounds i8, ptr %36, i64 4
  %122 = load i32, ptr %121, align 4, !tbaa !38
  %123 = add nsw i32 %120, %122
  store i32 %123, ptr %121, align 4, !tbaa !38
  store i32 %119, ptr %36, align 4, !tbaa !36
  store i32 %118, ptr %113, align 4, !tbaa !32
  %124 = icmp eq i32 %118, 0
  br i1 %124, label %125, label %131

125:                                              ; preds = %86
  %126 = load i32, ptr %88, align 4, !tbaa !23
  %127 = add nsw i32 %126, -1
  store i32 %127, ptr %88, align 4, !tbaa !23
  %128 = sext i32 %127 to i64
  %129 = getelementptr inbounds %struct.cnbr_t, ptr %87, i64 %128
  %130 = load i64, ptr %129, align 4
  store i64 %130, ptr %112, align 4
  %.pre376.pre = load i32, ptr %121, align 4, !tbaa !38
  %.pre378.pre = load i32, ptr %36, align 4, !tbaa !36
  br label %132

131:                                              ; preds = %86
  store i32 %34, ptr %112, align 4, !tbaa !29
  br label %132

132:                                              ; preds = %131, %125
  %.pre378 = phi i32 [ %119, %131 ], [ %.pre378.pre, %125 ]
  %.pre376 = phi i32 [ %123, %131 ], [ %.pre376.pre, %125 ]
  %133 = getelementptr inbounds i32, ptr %15, i64 %32
  %134 = load i32, ptr %133, align 4, !tbaa !19
  %.not = icmp eq i32 %134, -1
  br i1 %.not, label %.thread, label %135

135:                                              ; preds = %132
  %136 = icmp slt i32 %.pre376, %.pre378
  br i1 %136, label %137, label %153

137:                                              ; preds = %135
  %138 = add nsw i32 %.0276344, -1
  %139 = sext i32 %138 to i64
  %140 = getelementptr inbounds i32, ptr %17, i64 %139
  %141 = load i32, ptr %140, align 4, !tbaa !19
  %142 = sext i32 %134 to i64
  %143 = getelementptr inbounds i32, ptr %17, i64 %142
  store i32 %141, ptr %143, align 4, !tbaa !19
  %144 = load i32, ptr %133, align 4, !tbaa !19
  %145 = sext i32 %141 to i64
  %146 = getelementptr inbounds i32, ptr %15, i64 %145
  store i32 %144, ptr %146, align 4, !tbaa !19
  store i32 -1, ptr %133, align 4, !tbaa !19
  %.pre375 = load i32, ptr %121, align 4, !tbaa !38
  %.pre377 = load i32, ptr %36, align 4, !tbaa !36
  br label %.thread

.thread:                                          ; preds = %132, %137
  %147 = phi i32 [ %.pre378, %132 ], [ %.pre377, %137 ]
  %148 = phi i32 [ %.pre376, %132 ], [ %.pre375, %137 ]
  %.1277298 = phi i32 [ %.0276344, %132 ], [ %138, %137 ]
  %.not288 = icmp slt i32 %148, %147
  br i1 %.not288, label %153, label %149

149:                                              ; preds = %.thread
  %150 = sext i32 %.1277298 to i64
  %151 = getelementptr inbounds i32, ptr %17, i64 %150
  store i32 %31, ptr %151, align 4, !tbaa !19
  %152 = add nsw i32 %.1277298, 1
  store i32 %.1277298, ptr %133, align 4, !tbaa !19
  br label %153

153:                                              ; preds = %135, %149, %.thread
  %.2 = phi i32 [ %152, %149 ], [ %.1277298, %.thread ], [ %.0276344, %135 ]
  %154 = getelementptr inbounds i32, ptr %7, i64 %32
  %155 = load i32, ptr %154, align 4, !tbaa !19
  %156 = getelementptr i8, ptr %154, i64 4
  %157 = load i32, ptr %156, align 4, !tbaa !19
  %158 = icmp slt i32 %155, %157
  br i1 %158, label %.lr.ph342.preheader, label %.loopexit306

.lr.ph342.preheader:                              ; preds = %153
  %159 = sext i32 %155 to i64
  br label %.lr.ph342

.lr.ph342:                                        ; preds = %.lr.ph342.preheader, %288
  %indvars.iv366 = phi i64 [ %159, %.lr.ph342.preheader ], [ %indvars.iv.next367, %288 ]
  %.3339 = phi i32 [ %.2, %.lr.ph342.preheader ], [ %.4302, %288 ]
  %160 = getelementptr inbounds i32, ptr %9, i64 %indvars.iv366
  %161 = load i32, ptr %160, align 4, !tbaa !19
  %162 = sext i32 %161 to i64
  %163 = getelementptr inbounds i32, ptr %13, i64 %162
  %164 = load i32, ptr %163, align 4, !tbaa !19
  %165 = load ptr, ptr %21, align 8, !tbaa !20
  %166 = getelementptr inbounds %struct.ckrinfo_t, ptr %165, i64 %162
  %167 = getelementptr inbounds i8, ptr %166, i64 12
  %168 = load i32, ptr %167, align 4, !tbaa !21
  %169 = icmp eq i32 %168, -1
  br i1 %169, label %170, label %179

170:                                              ; preds = %.lr.ph342
  %171 = getelementptr i32, ptr %7, i64 %162
  %172 = getelementptr i8, ptr %171, i64 4
  %173 = load i32, ptr %172, align 4, !tbaa !19
  %174 = load i32, ptr %171, align 4, !tbaa !19
  %175 = add i32 %173, 1
  %176 = sub i32 %175, %174
  %177 = tail call i32 @libmetis__cnbrpoolGetNext(ptr noundef %0, i32 noundef %176) #4
  store i32 %177, ptr %167, align 4, !tbaa !21
  %178 = getelementptr inbounds i8, ptr %166, i64 8
  store i32 0, ptr %178, align 4, !tbaa !23
  br label %179

179:                                              ; preds = %170, %.lr.ph342
  %180 = tail call i32 @libmetis__CheckRInfo(ptr noundef %0, ptr noundef nonnull %166) #4
  %.not289 = icmp eq i32 %180, 0
  br i1 %.not289, label %181, label %185

181:                                              ; preds = %179
  %182 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.27, i32 noundef 540, ptr noundef nonnull @.str.1)
  %183 = tail call i32 @libmetis__CheckRInfo(ptr noundef %0, ptr noundef nonnull %166) #4
  %.not290 = icmp eq i32 %183, 0
  br i1 %.not290, label %184, label %185

184:                                              ; preds = %181
  tail call void @__assert_fail(ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.1, i32 noundef 540, ptr noundef nonnull @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #5
  unreachable

185:                                              ; preds = %181, %179
  %186 = load ptr, ptr %22, align 8, !tbaa !24
  %187 = load i32, ptr %167, align 4, !tbaa !21
  %188 = sext i32 %187 to i64
  %189 = getelementptr inbounds %struct.cnbr_t, ptr %186, i64 %188
  %190 = icmp eq i32 %164, %34
  br i1 %190, label %191, label %208

191:                                              ; preds = %185
  %192 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv366
  %193 = load i32, ptr %192, align 4, !tbaa !19
  %194 = getelementptr inbounds i8, ptr %166, i64 4
  %195 = load i32, ptr %194, align 4, !tbaa !38
  %196 = add nsw i32 %195, %193
  store i32 %196, ptr %194, align 4, !tbaa !38
  %197 = load i32, ptr %192, align 4, !tbaa !19
  %198 = load i32, ptr %166, align 4, !tbaa !36
  %199 = sub nsw i32 %198, %197
  store i32 %199, ptr %166, align 4, !tbaa !36
  %.not292 = icmp slt i32 %196, %199
  br i1 %.not292, label %.thread300, label %200

200:                                              ; preds = %191
  %201 = getelementptr inbounds i32, ptr %15, i64 %162
  %202 = load i32, ptr %201, align 4, !tbaa !19
  %203 = icmp eq i32 %202, -1
  br i1 %203, label %204, label %.thread300

204:                                              ; preds = %200
  %205 = sext i32 %.3339 to i64
  %206 = getelementptr inbounds i32, ptr %17, i64 %205
  store i32 %161, ptr %206, align 4, !tbaa !19
  %207 = add nsw i32 %.3339, 1
  store i32 %.3339, ptr %201, align 4, !tbaa !19
  br label %.thread300

208:                                              ; preds = %185
  %209 = icmp eq i32 %164, %2
  br i1 %209, label %210, label %233

210:                                              ; preds = %208
  %211 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv366
  %212 = load i32, ptr %211, align 4, !tbaa !19
  %213 = load i32, ptr %166, align 4, !tbaa !36
  %214 = add nsw i32 %213, %212
  store i32 %214, ptr %166, align 4, !tbaa !36
  %215 = load i32, ptr %211, align 4, !tbaa !19
  %216 = getelementptr inbounds i8, ptr %166, i64 4
  %217 = load i32, ptr %216, align 4, !tbaa !38
  %218 = sub nsw i32 %217, %215
  store i32 %218, ptr %216, align 4, !tbaa !38
  %219 = icmp slt i32 %218, %214
  br i1 %219, label %220, label %233

220:                                              ; preds = %210
  %221 = getelementptr inbounds i32, ptr %15, i64 %162
  %222 = load i32, ptr %221, align 4, !tbaa !19
  %.not291 = icmp eq i32 %222, -1
  br i1 %.not291, label %233, label %223

223:                                              ; preds = %220
  %224 = add nsw i32 %.3339, -1
  %225 = sext i32 %224 to i64
  %226 = getelementptr inbounds i32, ptr %17, i64 %225
  %227 = load i32, ptr %226, align 4, !tbaa !19
  %228 = sext i32 %222 to i64
  %229 = getelementptr inbounds i32, ptr %17, i64 %228
  store i32 %227, ptr %229, align 4, !tbaa !19
  %230 = load i32, ptr %221, align 4, !tbaa !19
  %231 = sext i32 %227 to i64
  %232 = getelementptr inbounds i32, ptr %15, i64 %231
  store i32 %230, ptr %232, align 4, !tbaa !19
  store i32 -1, ptr %221, align 4, !tbaa !19
  br label %233

233:                                              ; preds = %208, %223, %220, %210
  %.4 = phi i32 [ %224, %223 ], [ %.3339, %220 ], [ %.3339, %210 ], [ %.3339, %208 ]
  %234 = getelementptr inbounds i8, ptr %166, i64 8
  %235 = load i32, ptr %234, align 4, !tbaa !23
  %236 = icmp sgt i32 %235, 0
  br i1 %236, label %.lr.ph333.preheader, label %.thread300

.lr.ph333.preheader:                              ; preds = %233
  %wide.trip.count359 = zext nneg i32 %235 to i64
  br label %.lr.ph333

237:                                              ; preds = %.lr.ph333
  %indvars.iv.next357 = add nuw nsw i64 %indvars.iv356, 1
  %exitcond360.not = icmp eq i64 %indvars.iv.next357, %wide.trip.count359
  br i1 %exitcond360.not, label %.thread300, label %.lr.ph333, !llvm.loop !39

.lr.ph333:                                        ; preds = %.lr.ph333.preheader, %237
  %indvars.iv356 = phi i64 [ 0, %.lr.ph333.preheader ], [ %indvars.iv.next357, %237 ]
  %238 = getelementptr inbounds %struct.cnbr_t, ptr %189, i64 %indvars.iv356
  %239 = load i32, ptr %238, align 4, !tbaa !29
  %240 = icmp eq i32 %239, %34
  br i1 %240, label %241, label %237

241:                                              ; preds = %.lr.ph333
  %242 = getelementptr inbounds %struct.cnbr_t, ptr %189, i64 %indvars.iv356
  %243 = getelementptr inbounds i8, ptr %242, i64 4
  %244 = load i32, ptr %243, align 4, !tbaa !32
  %245 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv366
  %246 = load i32, ptr %245, align 4, !tbaa !19
  %247 = icmp eq i32 %244, %246
  br i1 %247, label %248, label %253

248:                                              ; preds = %241
  %249 = add nsw i32 %235, -1
  store i32 %249, ptr %234, align 4, !tbaa !23
  %250 = sext i32 %249 to i64
  %251 = getelementptr inbounds %struct.cnbr_t, ptr %189, i64 %250
  %252 = load i64, ptr %251, align 4
  store i64 %252, ptr %242, align 4
  br label %.thread300

253:                                              ; preds = %241
  %254 = sub nsw i32 %244, %246
  store i32 %254, ptr %243, align 4, !tbaa !32
  br label %.thread300

.thread300:                                       ; preds = %237, %233, %204, %200, %191, %253, %248
  %.4302 = phi i32 [ %.4, %253 ], [ %.4, %248 ], [ %.3339, %191 ], [ %.3339, %200 ], [ %207, %204 ], [ %.4, %233 ], [ %.4, %237 ]
  %.not294 = icmp eq i32 %164, %2
  br i1 %.not294, label %276, label %.preheader

.preheader:                                       ; preds = %.thread300
  %255 = getelementptr inbounds i8, ptr %166, i64 8
  %256 = load i32, ptr %255, align 4, !tbaa !23
  %257 = icmp sgt i32 %256, 0
  br i1 %257, label %.lr.ph336.preheader, label %.loopexit

.lr.ph336.preheader:                              ; preds = %.preheader
  %wide.trip.count364 = zext nneg i32 %256 to i64
  br label %.lr.ph336

.lr.ph336:                                        ; preds = %.lr.ph336.preheader, %268
  %indvars.iv361 = phi i64 [ 0, %.lr.ph336.preheader ], [ %indvars.iv.next362, %268 ]
  %258 = getelementptr inbounds %struct.cnbr_t, ptr %189, i64 %indvars.iv361
  %259 = load i32, ptr %258, align 4, !tbaa !29
  %260 = icmp eq i32 %259, %2
  br i1 %260, label %261, label %268

261:                                              ; preds = %.lr.ph336
  %262 = trunc nuw nsw i64 %indvars.iv361 to i32
  %263 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv366
  %264 = load i32, ptr %263, align 4, !tbaa !19
  %265 = getelementptr inbounds %struct.cnbr_t, ptr %189, i64 %indvars.iv361, i32 1
  %266 = load i32, ptr %265, align 4, !tbaa !32
  %267 = add nsw i32 %266, %264
  store i32 %267, ptr %265, align 4, !tbaa !32
  br label %.loopexit

268:                                              ; preds = %.lr.ph336
  %indvars.iv.next362 = add nuw nsw i64 %indvars.iv361, 1
  %exitcond365.not = icmp eq i64 %indvars.iv.next362, %wide.trip.count364
  br i1 %exitcond365.not, label %.loopexit.thread, label %.lr.ph336, !llvm.loop !40

.loopexit:                                        ; preds = %.preheader, %261
  %.1318 = phi i32 [ %262, %261 ], [ 0, %.preheader ]
  %269 = icmp eq i32 %.1318, %256
  br i1 %269, label %.loopexit.thread, label %276

.loopexit.thread:                                 ; preds = %268, %.loopexit
  %270 = zext nneg i32 %256 to i64
  %271 = getelementptr inbounds %struct.cnbr_t, ptr %189, i64 %270
  store i32 %2, ptr %271, align 4, !tbaa !29
  %272 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv366
  %273 = load i32, ptr %272, align 4, !tbaa !19
  %274 = getelementptr inbounds i8, ptr %271, i64 4
  store i32 %273, ptr %274, align 4, !tbaa !32
  %275 = add nsw i32 %256, 1
  store i32 %275, ptr %255, align 4, !tbaa !23
  br label %276

276:                                              ; preds = %.loopexit, %.loopexit.thread, %.thread300
  %277 = tail call i32 @libmetis__CheckRInfo(ptr noundef %0, ptr noundef %166) #4
  %.not295 = icmp eq i32 %277, 0
  br i1 %.not295, label %278, label %282

278:                                              ; preds = %276
  %279 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.27, i32 noundef 540, ptr noundef nonnull @.str.1)
  %280 = tail call i32 @libmetis__CheckRInfo(ptr noundef %0, ptr noundef %166) #4
  %.not296 = icmp eq i32 %280, 0
  br i1 %.not296, label %281, label %282

281:                                              ; preds = %278
  tail call void @__assert_fail(ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.1, i32 noundef 540, ptr noundef nonnull @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #5
  unreachable

282:                                              ; preds = %278, %276
  %brmerge = or i1 %190, %.not294
  br i1 %brmerge, label %288, label %283

283:                                              ; preds = %282
  %284 = getelementptr inbounds i32, ptr %11, i64 %indvars.iv366
  %285 = load i32, ptr %284, align 4, !tbaa !19
  %286 = sub nsw i32 0, %285
  tail call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %0, i32 noundef %34, i32 noundef %164, i32 noundef %286, ptr noundef null)
  %287 = load i32, ptr %284, align 4, !tbaa !19
  tail call void @libmetis__UpdateEdgeSubDomainGraph(ptr noundef %0, i32 noundef %2, i32 noundef %164, i32 noundef %287, ptr noundef null)
  br label %288

288:                                              ; preds = %282, %283
  %indvars.iv.next367 = add nsw i64 %indvars.iv366, 1
  %289 = load i32, ptr %156, align 4, !tbaa !19
  %290 = sext i32 %289 to i64
  %291 = icmp slt i64 %indvars.iv.next367, %290
  br i1 %291, label %.lr.ph342, label %.loopexit306, !llvm.loop !41

._crit_edge347:                                   ; preds = %.loopexit306, %5
  %.0276.lcssa = phi i32 [ %19, %5 ], [ %.3.lcssa, %.loopexit306 ]
  %292 = tail call i32 @libmetis__ComputeCut(ptr noundef %1, ptr noundef %13) #4
  %293 = getelementptr inbounds i8, ptr %1, i64 112
  %294 = load i32, ptr %293, align 8, !tbaa !37
  %295 = icmp eq i32 %292, %294
  br i1 %295, label %302, label %296

296:                                              ; preds = %._crit_edge347
  %297 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.33, i32 noundef 551, ptr noundef nonnull @.str.1)
  %298 = tail call i32 @libmetis__ComputeCut(ptr noundef nonnull %1, ptr noundef %13) #4
  %299 = load i32, ptr %293, align 8, !tbaa !37
  %300 = icmp eq i32 %298, %299
  br i1 %300, label %302, label %301

301:                                              ; preds = %296
  tail call void @__assert_fail(ptr noundef nonnull @.str.34, ptr noundef nonnull @.str.1, i32 noundef 551, ptr noundef nonnull @__PRETTY_FUNCTION__.libmetis__MoveGroupMinConnForCut) #5
  unreachable

302:                                              ; preds = %296, %._crit_edge347
  store i32 %.0276.lcssa, ptr %18, align 8, !tbaa !16
  ret void
}

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

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

declare i32 @libmetis__ComputeCut(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 40}
!12 = !{!6, !10, i64 48}
!13 = !{!6, !10, i64 120}
!14 = !{!6, !10, i64 144}
!15 = !{!6, !10, i64 152}
!16 = !{!6, !7, i64 136}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!7, !7, i64 0}
!20 = !{!6, !10, i64 176}
!21 = !{!22, !7, i64 12}
!22 = !{!"ckrinfo_t", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12}
!23 = !{!22, !7, i64 8}
!24 = !{!25, !10, i64 264}
!25 = !{!"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, !26, i64 96, !10, i64 104, !10, i64 112, !10, i64 120, !26, i64 128, !27, i64 136, !27, i64 144, !27, i64 152, !27, i64 160, !27, i64 168, !27, i64 176, !27, i64 184, !27, i64 192, !27, i64 200, !27, i64 208, !27, i64 216, !27, i64 224, !10, i64 232, !28, i64 240, !28, i64 248, !28, 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}
!26 = !{!"float", !8, i64 0}
!27 = !{!"double", !8, i64 0}
!28 = !{!"long", !8, i64 0}
!29 = !{!30, !7, i64 0}
!30 = !{!"cnbr_t", !7, i64 0, !7, i64 4}
!31 = distinct !{!31, !18}
!32 = !{!30, !7, i64 4}
!33 = !{!6, !7, i64 8}
!34 = !{!6, !10, i64 24}
!35 = !{!6, !10, i64 128}
!36 = !{!22, !7, i64 0}
!37 = !{!6, !7, i64 112}
!38 = !{!22, !7, i64 4}
!39 = distinct !{!39, !18}
!40 = distinct !{!40, !18}
!41 = distinct !{!41, !18}


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