; LLVM IR from siconos/siconos :: externals/lbl/metis4/kwayrefine.ll_ (RefineKWay)

; 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.controldef = type { i32, i32, i32, i32, i32, i32, float, i32, i32, i32, i32, %struct.workspacedef, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double }
%struct.workspacedef = type { ptr, i32, i32, ptr, ptr, i32, ptr, ptr }
%struct.graphdef = type { ptr, ptr, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr, ptr, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, ptr, ptr, ptr, ptr }

@.str = external hidden unnamed_addr constant [24 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [26 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @__RefineKWay(ptr noundef %0, ptr noundef %1, ptr noundef %2, i32 noundef %3, ptr noundef %4, float noundef %5) #0 {
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca float, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca ptr, align 8
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store ptr %2, ptr %9, align 8, !tbaa !5
  store i32 %3, ptr %10, align 4, !tbaa !9
  store ptr %4, ptr %11, align 8, !tbaa !5
  store float %5, ptr %12, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  store i32 0, ptr %15, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  %17 = load ptr, ptr %7, align 8, !tbaa !5
  %18 = getelementptr inbounds %struct.controldef, ptr %17, i32 0, i32 1
  %19 = load i32, ptr %18, align 4, !tbaa !13
  %20 = and i32 %19, 1
  %21 = icmp ne i32 %20, 0
  br i1 %21, label %22, label %28

22:                                               ; preds = %6
  %23 = call double @__seconds()
  %24 = load ptr, ptr %7, align 8, !tbaa !5
  %25 = getelementptr inbounds %struct.controldef, ptr %24, i32 0, i32 17
  %26 = load double, ptr %25, align 8, !tbaa !17
  %27 = fsub double %26, %23
  store double %27, ptr %25, align 8, !tbaa !17
  br label %28

28:                                               ; preds = %22, %6
  %29 = load ptr, ptr %7, align 8, !tbaa !5
  %30 = load ptr, ptr %9, align 8, !tbaa !5
  %31 = load i32, ptr %10, align 4, !tbaa !9
  call void @__ComputeKWayPartitionParams(ptr noundef %29, ptr noundef %30, i32 noundef %31)
  %32 = load ptr, ptr %7, align 8, !tbaa !5
  %33 = getelementptr inbounds %struct.controldef, ptr %32, i32 0, i32 1
  %34 = load i32, ptr %33, align 4, !tbaa !13
  %35 = and i32 %34, 1
  %36 = icmp ne i32 %35, 0
  br i1 %36, label %37, label %43

37:                                               ; preds = %28
  %38 = call double @__seconds()
  %39 = load ptr, ptr %7, align 8, !tbaa !5
  %40 = getelementptr inbounds %struct.controldef, ptr %39, i32 0, i32 22
  %41 = load double, ptr %40, align 8, !tbaa !18
  %42 = fsub double %41, %38
  store double %42, ptr %40, align 8, !tbaa !18
  br label %43

43:                                               ; preds = %37, %28
  %44 = load ptr, ptr %7, align 8, !tbaa !5
  %45 = getelementptr inbounds %struct.controldef, ptr %44, i32 0, i32 4
  %46 = load i32, ptr %45, align 8, !tbaa !19
  %47 = icmp eq i32 %46, 3
  br i1 %47, label %48, label %61

48:                                               ; preds = %43
  %49 = load ptr, ptr %7, align 8, !tbaa !5
  %50 = load ptr, ptr %9, align 8, !tbaa !5
  %51 = load i32, ptr %10, align 4, !tbaa !9
  %52 = load ptr, ptr %11, align 8, !tbaa !5
  call void @__EliminateComponents(ptr noundef %49, ptr noundef %50, i32 noundef %51, ptr noundef %52, float noundef 1.250000e+00)
  %53 = load ptr, ptr %7, align 8, !tbaa !5
  %54 = load ptr, ptr %9, align 8, !tbaa !5
  %55 = load i32, ptr %10, align 4, !tbaa !9
  %56 = load ptr, ptr %11, align 8, !tbaa !5
  call void @__EliminateSubDomainEdges(ptr noundef %53, ptr noundef %54, i32 noundef %55, ptr noundef %56)
  %57 = load ptr, ptr %7, align 8, !tbaa !5
  %58 = load ptr, ptr %9, align 8, !tbaa !5
  %59 = load i32, ptr %10, align 4, !tbaa !9
  %60 = load ptr, ptr %11, align 8, !tbaa !5
  call void @__EliminateComponents(ptr noundef %57, ptr noundef %58, i32 noundef %59, ptr noundef %60, float noundef 1.250000e+00)
  br label %61

61:                                               ; preds = %48, %43
  %62 = load ptr, ptr %7, align 8, !tbaa !5
  %63 = getelementptr inbounds %struct.controldef, ptr %62, i32 0, i32 1
  %64 = load i32, ptr %63, align 4, !tbaa !13
  %65 = and i32 %64, 1
  %66 = icmp ne i32 %65, 0
  br i1 %66, label %67, label %73

67:                                               ; preds = %61
  %68 = call double @__seconds()
  %69 = load ptr, ptr %7, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct.controldef, ptr %69, i32 0, i32 22
  %71 = load double, ptr %70, align 8, !tbaa !18
  %72 = fadd double %71, %68
  store double %72, ptr %70, align 8, !tbaa !18
  br label %73

73:                                               ; preds = %67, %61
  %74 = load ptr, ptr %9, align 8, !tbaa !5
  store ptr %74, ptr %16, align 8, !tbaa !5
  store i32 0, ptr %14, align 4, !tbaa !9
  br label %75

75:                                               ; preds = %80, %73
  %76 = load ptr, ptr %16, align 8, !tbaa !5
  %77 = load ptr, ptr %8, align 8, !tbaa !5
  %78 = icmp ne ptr %76, %77
  br i1 %78, label %79, label %86

79:                                               ; preds = %75
  br label %80

80:                                               ; preds = %79
  %81 = load ptr, ptr %16, align 8, !tbaa !5
  %82 = getelementptr inbounds %struct.graphdef, ptr %81, i32 0, i32 28
  %83 = load ptr, ptr %82, align 8, !tbaa !20
  store ptr %83, ptr %16, align 8, !tbaa !5
  %84 = load i32, ptr %14, align 4, !tbaa !9
  %85 = add nsw i32 %84, 1
  store i32 %85, ptr %14, align 4, !tbaa !9
  br label %75, !llvm.loop !22

86:                                               ; preds = %75
  store i32 0, ptr %13, align 4, !tbaa !9
  br label %87

87:                                               ; preds = %251, %86
  %88 = load ptr, ptr %7, align 8, !tbaa !5
  %89 = getelementptr inbounds %struct.controldef, ptr %88, i32 0, i32 4
  %90 = load i32, ptr %89, align 8, !tbaa !19
  %91 = icmp eq i32 %90, 3
  br i1 %91, label %92, label %108

92:                                               ; preds = %87
  %93 = load i32, ptr %13, align 4, !tbaa !9
  %94 = load i32, ptr %14, align 4, !tbaa !9
  %95 = sdiv i32 %94, 2
  %96 = icmp eq i32 %93, %95
  br i1 %96, label %103, label %97

97:                                               ; preds = %92
  %98 = load i32, ptr %13, align 4, !tbaa !9
  %99 = load i32, ptr %14, align 4, !tbaa !9
  %100 = sdiv i32 %99, 2
  %101 = add nsw i32 %100, 1
  %102 = icmp eq i32 %98, %101
  br i1 %102, label %103, label %108

103:                                              ; preds = %97, %92
  %104 = load ptr, ptr %7, align 8, !tbaa !5
  %105 = load ptr, ptr %9, align 8, !tbaa !5
  %106 = load i32, ptr %10, align 4, !tbaa !9
  %107 = load ptr, ptr %11, align 8, !tbaa !5
  call void @__EliminateSubDomainEdges(ptr noundef %104, ptr noundef %105, i32 noundef %106, ptr noundef %107)
  br label %108

108:                                              ; preds = %103, %97, %87
  %109 = load ptr, ptr %7, align 8, !tbaa !5
  %110 = getelementptr inbounds %struct.controldef, ptr %109, i32 0, i32 1
  %111 = load i32, ptr %110, align 4, !tbaa !13
  %112 = and i32 %111, 1
  %113 = icmp ne i32 %112, 0
  br i1 %113, label %114, label %120

114:                                              ; preds = %108
  %115 = call double @__seconds()
  %116 = load ptr, ptr %7, align 8, !tbaa !5
  %117 = getelementptr inbounds %struct.controldef, ptr %116, i32 0, i32 19
  %118 = load double, ptr %117, align 8, !tbaa !24
  %119 = fsub double %118, %115
  store double %119, ptr %117, align 8, !tbaa !24
  br label %120

120:                                              ; preds = %114, %108
  %121 = load i32, ptr %13, align 4, !tbaa !9
  %122 = mul nsw i32 2, %121
  %123 = load i32, ptr %14, align 4, !tbaa !9
  %124 = icmp sge i32 %122, %123
  br i1 %124, label %125, label %161

125:                                              ; preds = %120
  %126 = load ptr, ptr %9, align 8, !tbaa !5
  %127 = getelementptr inbounds %struct.graphdef, ptr %126, i32 0, i32 15
  %128 = load ptr, ptr %127, align 8, !tbaa !25
  %129 = load i32, ptr %10, align 4, !tbaa !9
  %130 = load ptr, ptr %11, align 8, !tbaa !5
  %131 = load float, ptr %12, align 4, !tbaa !11
  %132 = fpext float %131 to double
  %133 = fmul double 1.040000e+00, %132
  %134 = fptrunc double %133 to float
  %135 = call i32 @__IsBalanced(ptr noundef %128, i32 noundef %129, ptr noundef %130, float noundef %134)
  %136 = icmp ne i32 %135, 0
  br i1 %136, label %161, label %137

137:                                              ; preds = %125
  %138 = load ptr, ptr %7, align 8, !tbaa !5
  %139 = load ptr, ptr %9, align 8, !tbaa !5
  %140 = load i32, ptr %10, align 4, !tbaa !9
  call void @__ComputeKWayBalanceBoundary(ptr noundef %138, ptr noundef %139, i32 noundef %140)
  %141 = load ptr, ptr %7, align 8, !tbaa !5
  %142 = getelementptr inbounds %struct.controldef, ptr %141, i32 0, i32 4
  %143 = load i32, ptr %142, align 8, !tbaa !19
  %144 = icmp eq i32 %143, 3
  br i1 %144, label %145, label %151

145:                                              ; preds = %137
  %146 = load ptr, ptr %7, align 8, !tbaa !5
  %147 = load ptr, ptr %9, align 8, !tbaa !5
  %148 = load i32, ptr %10, align 4, !tbaa !9
  %149 = load ptr, ptr %11, align 8, !tbaa !5
  %150 = load float, ptr %12, align 4, !tbaa !11
  call void @__Greedy_KWayEdgeBalanceMConn(ptr noundef %146, ptr noundef %147, i32 noundef %148, ptr noundef %149, float noundef %150, i32 noundef 1)
  br label %157

151:                                              ; preds = %137
  %152 = load ptr, ptr %7, align 8, !tbaa !5
  %153 = load ptr, ptr %9, align 8, !tbaa !5
  %154 = load i32, ptr %10, align 4, !tbaa !9
  %155 = load ptr, ptr %11, align 8, !tbaa !5
  %156 = load float, ptr %12, align 4, !tbaa !11
  call void @__Greedy_KWayEdgeBalance(ptr noundef %152, ptr noundef %153, i32 noundef %154, ptr noundef %155, float noundef %156, i32 noundef 1)
  br label %157

157:                                              ; preds = %151, %145
  %158 = load ptr, ptr %7, align 8, !tbaa !5
  %159 = load ptr, ptr %9, align 8, !tbaa !5
  %160 = load i32, ptr %10, align 4, !tbaa !9
  call void @__ComputeKWayBoundary(ptr noundef %158, ptr noundef %159, i32 noundef %160)
  br label %161

161:                                              ; preds = %157, %125, %120
  %162 = load ptr, ptr %7, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct.controldef, ptr %162, i32 0, i32 4
  %164 = load i32, ptr %163, align 8, !tbaa !19
  switch i32 %164, label %183 [
    i32 1, label %165
    i32 2, label %171
    i32 3, label %177
  ]

165:                                              ; preds = %161
  %166 = load ptr, ptr %7, align 8, !tbaa !5
  %167 = load ptr, ptr %9, align 8, !tbaa !5
  %168 = load i32, ptr %10, align 4, !tbaa !9
  %169 = load ptr, ptr %11, align 8, !tbaa !5
  %170 = load float, ptr %12, align 4, !tbaa !11
  call void @__Random_KWayEdgeRefine(ptr noundef %166, ptr noundef %167, i32 noundef %168, ptr noundef %169, float noundef %170, i32 noundef 10, i32 noundef 1)
  br label %183

171:                                              ; preds = %161
  %172 = load ptr, ptr %7, align 8, !tbaa !5
  %173 = load ptr, ptr %9, align 8, !tbaa !5
  %174 = load i32, ptr %10, align 4, !tbaa !9
  %175 = load ptr, ptr %11, align 8, !tbaa !5
  %176 = load float, ptr %12, align 4, !tbaa !11
  call void @__Greedy_KWayEdgeRefine(ptr noundef %172, ptr noundef %173, i32 noundef %174, ptr noundef %175, float noundef %176, i32 noundef 10)
  br label %183

177:                                              ; preds = %161
  %178 = load ptr, ptr %7, align 8, !tbaa !5
  %179 = load ptr, ptr %9, align 8, !tbaa !5
  %180 = load i32, ptr %10, align 4, !tbaa !9
  %181 = load ptr, ptr %11, align 8, !tbaa !5
  %182 = load float, ptr %12, align 4, !tbaa !11
  call void @__Random_KWayEdgeRefineMConn(ptr noundef %178, ptr noundef %179, i32 noundef %180, ptr noundef %181, float noundef %182, i32 noundef 10, i32 noundef 1)
  br label %183

183:                                              ; preds = %177, %171, %165, %161
  %184 = load ptr, ptr %7, align 8, !tbaa !5
  %185 = getelementptr inbounds %struct.controldef, ptr %184, i32 0, i32 1
  %186 = load i32, ptr %185, align 4, !tbaa !13
  %187 = and i32 %186, 1
  %188 = icmp ne i32 %187, 0
  br i1 %188, label %189, label %195

189:                                              ; preds = %183
  %190 = call double @__seconds()
  %191 = load ptr, ptr %7, align 8, !tbaa !5
  %192 = getelementptr inbounds %struct.controldef, ptr %191, i32 0, i32 19
  %193 = load double, ptr %192, align 8, !tbaa !24
  %194 = fadd double %193, %190
  store double %194, ptr %192, align 8, !tbaa !24
  br label %195

195:                                              ; preds = %189, %183
  %196 = load ptr, ptr %9, align 8, !tbaa !5
  %197 = load ptr, ptr %8, align 8, !tbaa !5
  %198 = icmp eq ptr %196, %197
  br i1 %198, label %199, label %200

199:                                              ; preds = %195
  br label %254

200:                                              ; preds = %195
  %201 = load ptr, ptr %9, align 8, !tbaa !5
  %202 = getelementptr inbounds %struct.graphdef, ptr %201, i32 0, i32 0
  call void (ptr, ...) @GKfree(ptr noundef %202, ptr noundef null)
  %203 = load ptr, ptr %9, align 8, !tbaa !5
  %204 = getelementptr inbounds %struct.graphdef, ptr %203, i32 0, i32 28
  %205 = load ptr, ptr %204, align 8, !tbaa !20
  store ptr %205, ptr %9, align 8, !tbaa !5
  %206 = load ptr, ptr %7, align 8, !tbaa !5
  %207 = getelementptr inbounds %struct.controldef, ptr %206, i32 0, i32 1
  %208 = load i32, ptr %207, align 4, !tbaa !13
  %209 = and i32 %208, 1
  %210 = icmp ne i32 %209, 0
  br i1 %210, label %211, label %217

211:                                              ; preds = %200
  %212 = call double @__seconds()
  %213 = load ptr, ptr %7, align 8, !tbaa !5
  %214 = getelementptr inbounds %struct.controldef, ptr %213, i32 0, i32 20
  %215 = load double, ptr %214, align 8, !tbaa !26
  %216 = fsub double %215, %212
  store double %216, ptr %214, align 8, !tbaa !26
  br label %217

217:                                              ; preds = %211, %200
  %218 = load ptr, ptr %9, align 8, !tbaa !5
  %219 = getelementptr inbounds %struct.graphdef, ptr %218, i32 0, i32 5
  %220 = load ptr, ptr %219, align 8, !tbaa !27
  %221 = icmp eq ptr %220, null
  br i1 %221, label %222, label %235

222:                                              ; preds = %217
  %223 = load ptr, ptr %9, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.graphdef, ptr %223, i32 0, i32 2
  %225 = load i32, ptr %224, align 8, !tbaa !28
  %226 = call ptr @__idxsmalloc(i32 noundef %225, i32 noundef 1, ptr noundef @.str)
  %227 = load ptr, ptr %9, align 8, !tbaa !5
  %228 = getelementptr inbounds %struct.graphdef, ptr %227, i32 0, i32 5
  store ptr %226, ptr %228, align 8, !tbaa !27
  %229 = load ptr, ptr %9, align 8, !tbaa !5
  %230 = getelementptr inbounds %struct.graphdef, ptr %229, i32 0, i32 3
  %231 = load i32, ptr %230, align 4, !tbaa !29
  %232 = call ptr @__idxsmalloc(i32 noundef %231, i32 noundef 1, ptr noundef @.str.1)
  %233 = load ptr, ptr %9, align 8, !tbaa !5
  %234 = getelementptr inbounds %struct.graphdef, ptr %233, i32 0, i32 8
  store ptr %232, ptr %234, align 8, !tbaa !30
  store i32 1, ptr %15, align 4, !tbaa !9
  br label %235

235:                                              ; preds = %222, %217
  %236 = load ptr, ptr %7, align 8, !tbaa !5
  %237 = load ptr, ptr %9, align 8, !tbaa !5
  %238 = load i32, ptr %10, align 4, !tbaa !9
  call void @__ProjectKWayPartition(ptr noundef %236, ptr noundef %237, i32 noundef %238)
  %239 = load ptr, ptr %7, align 8, !tbaa !5
  %240 = getelementptr inbounds %struct.controldef, ptr %239, i32 0, i32 1
  %241 = load i32, ptr %240, align 4, !tbaa !13
  %242 = and i32 %241, 1
  %243 = icmp ne i32 %242, 0
  br i1 %243, label %244, label %250

244:                                              ; preds = %235
  %245 = call double @__seconds()
  %246 = load ptr, ptr %7, align 8, !tbaa !5
  %247 = getelementptr inbounds %struct.controldef, ptr %246, i32 0, i32 20
  %248 = load double, ptr %247, align 8, !tbaa !26
  %249 = fadd double %248, %245
  store double %249, ptr %247, align 8, !tbaa !26
  br label %250

250:                                              ; preds = %244, %235
  br label %251

251:                                              ; preds = %250
  %252 = load i32, ptr %13, align 4, !tbaa !9
  %253 = add nsw i32 %252, 1
  store i32 %253, ptr %13, align 4, !tbaa !9
  br label %87

254:                                              ; preds = %199
  %255 = load ptr, ptr %9, align 8, !tbaa !5
  %256 = getelementptr inbounds %struct.graphdef, ptr %255, i32 0, i32 15
  %257 = load ptr, ptr %256, align 8, !tbaa !25
  %258 = load i32, ptr %10, align 4, !tbaa !9
  %259 = load ptr, ptr %11, align 8, !tbaa !5
  %260 = load float, ptr %12, align 4, !tbaa !11
  %261 = call i32 @__IsBalanced(ptr noundef %257, i32 noundef %258, ptr noundef %259, float noundef %260)
  %262 = icmp ne i32 %261, 0
  br i1 %262, label %294, label %263

263:                                              ; preds = %254
  %264 = load ptr, ptr %7, align 8, !tbaa !5
  %265 = load ptr, ptr %9, align 8, !tbaa !5
  %266 = load i32, ptr %10, align 4, !tbaa !9
  call void @__ComputeKWayBalanceBoundary(ptr noundef %264, ptr noundef %265, i32 noundef %266)
  %267 = load ptr, ptr %7, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct.controldef, ptr %267, i32 0, i32 4
  %269 = load i32, ptr %268, align 8, !tbaa !19
  %270 = icmp eq i32 %269, 3
  br i1 %270, label %271, label %282

271:                                              ; preds = %263
  %272 = load ptr, ptr %7, align 8, !tbaa !5
  %273 = load ptr, ptr %9, align 8, !tbaa !5
  %274 = load i32, ptr %10, align 4, !tbaa !9
  %275 = load ptr, ptr %11, align 8, !tbaa !5
  %276 = load float, ptr %12, align 4, !tbaa !11
  call void @__Greedy_KWayEdgeBalanceMConn(ptr noundef %272, ptr noundef %273, i32 noundef %274, ptr noundef %275, float noundef %276, i32 noundef 8)
  %277 = load ptr, ptr %7, align 8, !tbaa !5
  %278 = load ptr, ptr %9, align 8, !tbaa !5
  %279 = load i32, ptr %10, align 4, !tbaa !9
  %280 = load ptr, ptr %11, align 8, !tbaa !5
  %281 = load float, ptr %12, align 4, !tbaa !11
  call void @__Random_KWayEdgeRefineMConn(ptr noundef %277, ptr noundef %278, i32 noundef %279, ptr noundef %280, float noundef %281, i32 noundef 10, i32 noundef 0)
  br label %293

282:                                              ; preds = %263
  %283 = load ptr, ptr %7, align 8, !tbaa !5
  %284 = load ptr, ptr %9, align 8, !tbaa !5
  %285 = load i32, ptr %10, align 4, !tbaa !9
  %286 = load ptr, ptr %11, align 8, !tbaa !5
  %287 = load float, ptr %12, align 4, !tbaa !11
  call void @__Greedy_KWayEdgeBalance(ptr noundef %283, ptr noundef %284, i32 noundef %285, ptr noundef %286, float noundef %287, i32 noundef 8)
  %288 = load ptr, ptr %7, align 8, !tbaa !5
  %289 = load ptr, ptr %9, align 8, !tbaa !5
  %290 = load i32, ptr %10, align 4, !tbaa !9
  %291 = load ptr, ptr %11, align 8, !tbaa !5
  %292 = load float, ptr %12, align 4, !tbaa !11
  call void @__Random_KWayEdgeRefine(ptr noundef %288, ptr noundef %289, i32 noundef %290, ptr noundef %291, float noundef %292, i32 noundef 10, i32 noundef 0)
  br label %293

293:                                              ; preds = %282, %271
  br label %294

294:                                              ; preds = %293, %254
  %295 = load ptr, ptr %7, align 8, !tbaa !5
  %296 = getelementptr inbounds %struct.controldef, ptr %295, i32 0, i32 1
  %297 = load i32, ptr %296, align 4, !tbaa !13
  %298 = and i32 %297, 1
  %299 = icmp ne i32 %298, 0
  br i1 %299, label %300, label %306

300:                                              ; preds = %294
  %301 = call double @__seconds()
  %302 = load ptr, ptr %7, align 8, !tbaa !5
  %303 = getelementptr inbounds %struct.controldef, ptr %302, i32 0, i32 23
  %304 = load double, ptr %303, align 8, !tbaa !31
  %305 = fsub double %304, %301
  store double %305, ptr %303, align 8, !tbaa !31
  br label %306

306:                                              ; preds = %300, %294
  %307 = load ptr, ptr %7, align 8, !tbaa !5
  %308 = load ptr, ptr %9, align 8, !tbaa !5
  %309 = load i32, ptr %10, align 4, !tbaa !9
  %310 = load ptr, ptr %11, align 8, !tbaa !5
  %311 = load float, ptr %12, align 4, !tbaa !11
  call void @__EliminateComponents(ptr noundef %307, ptr noundef %308, i32 noundef %309, ptr noundef %310, float noundef %311)
  %312 = load ptr, ptr %7, align 8, !tbaa !5
  %313 = getelementptr inbounds %struct.controldef, ptr %312, i32 0, i32 1
  %314 = load i32, ptr %313, align 4, !tbaa !13
  %315 = and i32 %314, 1
  %316 = icmp ne i32 %315, 0
  br i1 %316, label %317, label %323

317:                                              ; preds = %306
  %318 = call double @__seconds()
  %319 = load ptr, ptr %7, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct.controldef, ptr %319, i32 0, i32 23
  %321 = load double, ptr %320, align 8, !tbaa !31
  %322 = fadd double %321, %318
  store double %322, ptr %320, align 8, !tbaa !31
  br label %323

323:                                              ; preds = %317, %306
  %324 = load i32, ptr %15, align 4, !tbaa !9
  %325 = icmp ne i32 %324, 0
  br i1 %325, label %326, label %331

326:                                              ; preds = %323
  %327 = load ptr, ptr %9, align 8, !tbaa !5
  %328 = getelementptr inbounds %struct.graphdef, ptr %327, i32 0, i32 5
  %329 = load ptr, ptr %9, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct.graphdef, ptr %329, i32 0, i32 8
  call void (ptr, ...) @GKfree(ptr noundef %328, ptr noundef %330, ptr noundef null)
  br label %331

331:                                              ; preds = %326, %323
  %332 = load ptr, ptr %7, align 8, !tbaa !5
  %333 = getelementptr inbounds %struct.controldef, ptr %332, i32 0, i32 1
  %334 = load i32, ptr %333, align 4, !tbaa !13
  %335 = and i32 %334, 1
  %336 = icmp ne i32 %335, 0
  br i1 %336, label %337, label %343

337:                                              ; preds = %331
  %338 = call double @__seconds()
  %339 = load ptr, ptr %7, align 8, !tbaa !5
  %340 = getelementptr inbounds %struct.controldef, ptr %339, i32 0, i32 17
  %341 = load double, ptr %340, align 8, !tbaa !17
  %342 = fadd double %341, %338
  store double %342, ptr %340, align 8, !tbaa !17
  br label %343

343:                                              ; preds = %337, %331
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  ret void
}

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

declare double @__seconds() #2

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

declare void @__EliminateComponents(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef) #2

declare void @__EliminateSubDomainEdges(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @__IsBalanced(ptr noundef, i32 noundef, ptr noundef, float noundef) #0

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

declare void @__Greedy_KWayEdgeBalanceMConn(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef) #2

declare void @__Greedy_KWayEdgeBalance(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef) #2

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

declare void @__Random_KWayEdgeRefine(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef, i32 noundef) #2

declare void @__Greedy_KWayEdgeRefine(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef) #2

declare void @__Random_KWayEdgeRefineMConn(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef, i32 noundef) #2

declare void @GKfree(ptr noundef, ...) #2

declare ptr @__idxsmalloc(i32 noundef, i32 noundef, ptr noundef) #2

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

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

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

!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, !12, i64 0}
!12 = !{!"float", !7, i64 0}
!13 = !{!14, !10, i64 4}
!14 = !{!"controldef", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !12, i64 24, !10, i64 28, !10, i64 32, !10, i64 36, !10, i64 40, !15, i64 48, !16, i64 104, !16, i64 112, !16, i64 120, !16, i64 128, !16, i64 136, !16, i64 144, !16, i64 152, !16, i64 160, !16, i64 168, !16, i64 176, !16, i64 184, !16, i64 192, !16, i64 200, !16, i64 208, !16, i64 216, !16, i64 224}
!15 = !{!"workspacedef", !6, i64 0, !10, i64 8, !10, i64 12, !6, i64 16, !6, i64 24, !10, i64 32, !6, i64 40, !6, i64 48}
!16 = !{!"double", !7, i64 0}
!17 = !{!14, !16, i64 144}
!18 = !{!14, !16, i64 184}
!19 = !{!14, !10, i64 16}
!20 = !{!21, !6, i64 208}
!21 = !{!"graphdef", !6, i64 0, !6, i64 8, !10, i64 16, !10, i64 20, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !10, i64 88, !10, i64 92, !6, i64 96, !6, i64 104, !10, i64 112, !6, i64 120, !6, i64 128, !6, i64 136, !6, i64 144, !6, i64 152, !6, i64 160, !6, i64 168, !10, i64 176, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}
!24 = !{!14, !16, i64 160}
!25 = !{!21, !6, i64 104}
!26 = !{!14, !16, i64 168}
!27 = !{!21, !6, i64 32}
!28 = !{!21, !10, i64 16}
!29 = !{!21, !10, i64 20}
!30 = !{!21, !6, i64 56}
!31 = !{!14, !16, i64 192}


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

@.str = external hidden unnamed_addr constant [24 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [26 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @__RefineKWay(ptr noundef %0, ptr noundef readnone %1, ptr noundef %2, i32 noundef %3, ptr noundef %4, float noundef %5) local_unnamed_addr #0 {
  %7 = getelementptr inbounds i8, ptr %0, i64 4
  %8 = load i32, ptr %7, align 4, !tbaa !5
  %9 = and i32 %8, 1
  %.not = icmp eq i32 %9, 0
  br i1 %.not, label %15, label %10

10:                                               ; preds = %6
  %11 = tail call double @__seconds() #2
  %12 = getelementptr inbounds i8, ptr %0, i64 144
  %13 = load double, ptr %12, align 8, !tbaa !14
  %14 = fsub double %13, %11
  store double %14, ptr %12, align 8, !tbaa !14
  br label %15

15:                                               ; preds = %10, %6
  tail call void @__ComputeKWayPartitionParams(ptr noundef nonnull %0, ptr noundef %2, i32 noundef %3)
  %16 = load i32, ptr %7, align 4, !tbaa !5
  %17 = and i32 %16, 1
  %.not143 = icmp eq i32 %17, 0
  br i1 %.not143, label %23, label %18

18:                                               ; preds = %15
  %19 = tail call double @__seconds() #2
  %20 = getelementptr inbounds i8, ptr %0, i64 184
  %21 = load double, ptr %20, align 8, !tbaa !15
  %22 = fsub double %21, %19
  store double %22, ptr %20, align 8, !tbaa !15
  br label %23

23:                                               ; preds = %18, %15
  %24 = getelementptr inbounds i8, ptr %0, i64 16
  %25 = load i32, ptr %24, align 8, !tbaa !16
  %26 = icmp eq i32 %25, 3
  br i1 %26, label %27, label %28

27:                                               ; preds = %23
  tail call void @__EliminateComponents(ptr noundef nonnull %0, ptr noundef %2, i32 noundef %3, ptr noundef %4, float noundef 1.250000e+00) #2
  tail call void @__EliminateSubDomainEdges(ptr noundef nonnull %0, ptr noundef %2, i32 noundef %3, ptr noundef %4) #2
  tail call void @__EliminateComponents(ptr noundef nonnull %0, ptr noundef %2, i32 noundef %3, ptr noundef %4, float noundef 1.250000e+00) #2
  br label %28

28:                                               ; preds = %27, %23
  %29 = load i32, ptr %7, align 4, !tbaa !5
  %30 = and i32 %29, 1
  %.not144 = icmp eq i32 %30, 0
  br i1 %.not144, label %36, label %31

31:                                               ; preds = %28
  %32 = tail call double @__seconds() #2
  %33 = getelementptr inbounds i8, ptr %0, i64 184
  %34 = load double, ptr %33, align 8, !tbaa !15
  %35 = fadd double %32, %34
  store double %35, ptr %33, align 8, !tbaa !15
  br label %36

36:                                               ; preds = %31, %28
  %.not145158 = icmp eq ptr %2, %1
  br i1 %.not145158, label %.preheader, label %.lr.ph

.preheader:                                       ; preds = %.lr.ph, %36
  %.0138.lcssa = phi i32 [ 0, %36 ], [ %46, %.lr.ph ]
  %37 = lshr i32 %.0138.lcssa, 1
  %38 = add nuw nsw i32 %37, 1
  %39 = getelementptr inbounds i8, ptr %0, i64 160
  %40 = fpext float %5 to double
  %41 = fmul double %40, 1.040000e+00
  %42 = fptrunc double %41 to float
  %43 = getelementptr inbounds i8, ptr %0, i64 168
  br label %47

.lr.ph:                                           ; preds = %36, %.lr.ph
  %.0160 = phi ptr [ %45, %.lr.ph ], [ %2, %36 ]
  %.0138159 = phi i32 [ %46, %.lr.ph ], [ 0, %36 ]
  %44 = getelementptr inbounds i8, ptr %.0160, i64 208
  %45 = load ptr, ptr %44, align 8, !tbaa !17
  %46 = add nuw nsw i32 %.0138159, 1
  %.not145 = icmp eq ptr %45, %1
  br i1 %.not145, label %.preheader, label %.lr.ph, !llvm.loop !19

47:                                               ; preds = %.preheader, %115
  %.0140 = phi ptr [ %89, %115 ], [ %2, %.preheader ]
  %.0139 = phi i32 [ %116, %115 ], [ 0, %.preheader ]
  %.0137 = phi i32 [ %.1, %115 ], [ 0, %.preheader ]
  %48 = load i32, ptr %24, align 8, !tbaa !16
  %49 = icmp eq i32 %48, 3
  br i1 %49, label %50, label %54

50:                                               ; preds = %47
  %51 = icmp eq i32 %.0139, %37
  %52 = icmp eq i32 %.0139, %38
  %or.cond = select i1 %51, i1 true, i1 %52
  br i1 %or.cond, label %53, label %54

53:                                               ; preds = %50
  tail call void @__EliminateSubDomainEdges(ptr noundef nonnull %0, ptr noundef %.0140, i32 noundef %3, ptr noundef %4) #2
  br label %54

54:                                               ; preds = %50, %53, %47
  %55 = load i32, ptr %7, align 4, !tbaa !5
  %56 = and i32 %55, 1
  %.not146 = icmp eq i32 %56, 0
  br i1 %.not146, label %61, label %57

57:                                               ; preds = %54
  %58 = tail call double @__seconds() #2
  %59 = load double, ptr %39, align 8, !tbaa !21
  %60 = fsub double %59, %58
  store double %60, ptr %39, align 8, !tbaa !21
  br label %61

61:                                               ; preds = %57, %54
  %62 = shl nuw nsw i32 %.0139, 1
  %.not147 = icmp ult i32 %62, %.0138.lcssa
  br i1 %.not147, label %73, label %63

63:                                               ; preds = %61
  %64 = getelementptr inbounds i8, ptr %.0140, i64 104
  %65 = load ptr, ptr %64, align 8, !tbaa !22
  %66 = tail call i32 @__IsBalanced(ptr noundef %65, i32 noundef %3, ptr noundef %4, float noundef %42)
  %.not148 = icmp eq i32 %66, 0
  br i1 %.not148, label %67, label %73

67:                                               ; preds = %63
  tail call void @__ComputeKWayBalanceBoundary(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3)
  %68 = load i32, ptr %24, align 8, !tbaa !16
  %69 = icmp eq i32 %68, 3
  br i1 %69, label %70, label %71

70:                                               ; preds = %67
  tail call void @__Greedy_KWayEdgeBalanceMConn(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3, ptr noundef %4, float noundef %5, i32 noundef 1) #2
  br label %72

71:                                               ; preds = %67
  tail call void @__Greedy_KWayEdgeBalance(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3, ptr noundef %4, float noundef %5, i32 noundef 1) #2
  br label %72

72:                                               ; preds = %71, %70
  tail call void @__ComputeKWayBoundary(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3)
  br label %73

73:                                               ; preds = %72, %63, %61
  %74 = load i32, ptr %24, align 8, !tbaa !16
  switch i32 %74, label %78 [
    i32 1, label %75
    i32 2, label %76
    i32 3, label %77
  ]

75:                                               ; preds = %73
  tail call void @__Random_KWayEdgeRefine(ptr noundef nonnull %0, ptr noundef %.0140, i32 noundef %3, ptr noundef %4, float noundef %5, i32 noundef 10, i32 noundef 1) #2
  br label %78

76:                                               ; preds = %73
  tail call void @__Greedy_KWayEdgeRefine(ptr noundef nonnull %0, ptr noundef %.0140, i32 noundef %3, ptr noundef %4, float noundef %5, i32 noundef 10) #2
  br label %78

77:                                               ; preds = %73
  tail call void @__Random_KWayEdgeRefineMConn(ptr noundef nonnull %0, ptr noundef %.0140, i32 noundef %3, ptr noundef %4, float noundef %5, i32 noundef 10, i32 noundef 1) #2
  br label %78

78:                                               ; preds = %77, %76, %75, %73
  %79 = load i32, ptr %7, align 4, !tbaa !5
  %80 = and i32 %79, 1
  %.not149 = icmp eq i32 %80, 0
  br i1 %.not149, label %85, label %81

81:                                               ; preds = %78
  %82 = tail call double @__seconds() #2
  %83 = load double, ptr %39, align 8, !tbaa !21
  %84 = fadd double %82, %83
  store double %84, ptr %39, align 8, !tbaa !21
  br label %85

85:                                               ; preds = %81, %78
  %86 = icmp eq ptr %.0140, %1
  br i1 %86, label %117, label %87

87:                                               ; preds = %85
  tail call void (ptr, ...) @GKfree(ptr noundef %.0140, ptr noundef null) #2
  %88 = getelementptr inbounds i8, ptr %.0140, i64 208
  %89 = load ptr, ptr %88, align 8, !tbaa !17
  %90 = load i32, ptr %7, align 4, !tbaa !5
  %91 = and i32 %90, 1
  %.not150 = icmp eq i32 %91, 0
  br i1 %.not150, label %96, label %92

92:                                               ; preds = %87
  %93 = tail call double @__seconds() #2
  %94 = load double, ptr %43, align 8, !tbaa !23
  %95 = fsub double %94, %93
  store double %95, ptr %43, align 8, !tbaa !23
  br label %96

96:                                               ; preds = %92, %87
  %97 = getelementptr inbounds i8, ptr %89, i64 32
  %98 = load ptr, ptr %97, align 8, !tbaa !24
  %99 = icmp eq ptr %98, null
  br i1 %99, label %100, label %108

100:                                              ; preds = %96
  %101 = getelementptr inbounds i8, ptr %89, i64 16
  %102 = load i32, ptr %101, align 8, !tbaa !25
  %103 = tail call ptr @__idxsmalloc(i32 noundef %102, i32 noundef 1, ptr noundef nonnull @.str) #2
  store ptr %103, ptr %97, align 8, !tbaa !24
  %104 = getelementptr inbounds i8, ptr %89, i64 20
  %105 = load i32, ptr %104, align 4, !tbaa !26
  %106 = tail call ptr @__idxsmalloc(i32 noundef %105, i32 noundef 1, ptr noundef nonnull @.str.1) #2
  %107 = getelementptr inbounds i8, ptr %89, i64 56
  store ptr %106, ptr %107, align 8, !tbaa !27
  br label %108

108:                                              ; preds = %100, %96
  %.1 = phi i32 [ 1, %100 ], [ %.0137, %96 ]
  tail call void @__ProjectKWayPartition(ptr noundef nonnull %0, ptr noundef nonnull %89, i32 noundef %3)
  %109 = load i32, ptr %7, align 4, !tbaa !5
  %110 = and i32 %109, 1
  %.not151 = icmp eq i32 %110, 0
  br i1 %.not151, label %115, label %111

111:                                              ; preds = %108
  %112 = tail call double @__seconds() #2
  %113 = load double, ptr %43, align 8, !tbaa !23
  %114 = fadd double %112, %113
  store double %114, ptr %43, align 8, !tbaa !23
  br label %115

115:                                              ; preds = %108, %111
  %116 = add nuw nsw i32 %.0139, 1
  br label %47

117:                                              ; preds = %85
  %118 = getelementptr inbounds i8, ptr %.0140, i64 104
  %119 = load ptr, ptr %118, align 8, !tbaa !22
  %120 = tail call i32 @__IsBalanced(ptr noundef %119, i32 noundef %3, ptr noundef %4, float noundef %5)
  %.not152 = icmp eq i32 %120, 0
  br i1 %.not152, label %121, label %126

121:                                              ; preds = %117
  tail call void @__ComputeKWayBalanceBoundary(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3)
  %122 = load i32, ptr %24, align 8, !tbaa !16
  %123 = icmp eq i32 %122, 3
  br i1 %123, label %124, label %125

124:                                              ; preds = %121
  tail call void @__Greedy_KWayEdgeBalanceMConn(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3, ptr noundef %4, float noundef %5, i32 noundef 8) #2
  tail call void @__Random_KWayEdgeRefineMConn(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3, ptr noundef %4, float noundef %5, i32 noundef 10, i32 noundef 0) #2
  br label %126

125:                                              ; preds = %121
  tail call void @__Greedy_KWayEdgeBalance(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3, ptr noundef %4, float noundef %5, i32 noundef 8) #2
  tail call void @__Random_KWayEdgeRefine(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3, ptr noundef %4, float noundef %5, i32 noundef 10, i32 noundef 0) #2
  br label %126

126:                                              ; preds = %124, %125, %117
  %127 = load i32, ptr %7, align 4, !tbaa !5
  %128 = and i32 %127, 1
  %.not153 = icmp eq i32 %128, 0
  br i1 %.not153, label %134, label %129

129:                                              ; preds = %126
  %130 = tail call double @__seconds() #2
  %131 = getelementptr inbounds i8, ptr %0, i64 192
  %132 = load double, ptr %131, align 8, !tbaa !28
  %133 = fsub double %132, %130
  store double %133, ptr %131, align 8, !tbaa !28
  br label %134

134:                                              ; preds = %129, %126
  tail call void @__EliminateComponents(ptr noundef nonnull %0, ptr noundef nonnull %.0140, i32 noundef %3, ptr noundef %4, float noundef %5) #2
  %135 = load i32, ptr %7, align 4, !tbaa !5
  %136 = and i32 %135, 1
  %.not154 = icmp eq i32 %136, 0
  br i1 %.not154, label %142, label %137

137:                                              ; preds = %134
  %138 = tail call double @__seconds() #2
  %139 = getelementptr inbounds i8, ptr %0, i64 192
  %140 = load double, ptr %139, align 8, !tbaa !28
  %141 = fadd double %138, %140
  store double %141, ptr %139, align 8, !tbaa !28
  br label %142

142:                                              ; preds = %137, %134
  %.not155 = icmp eq i32 %.0137, 0
  br i1 %.not155, label %146, label %143

143:                                              ; preds = %142
  %144 = getelementptr inbounds i8, ptr %.0140, i64 32
  %145 = getelementptr inbounds i8, ptr %.0140, i64 56
  tail call void (ptr, ...) @GKfree(ptr noundef nonnull %144, ptr noundef nonnull %145, ptr noundef null) #2
  br label %146

146:                                              ; preds = %143, %142
  %147 = load i32, ptr %7, align 4, !tbaa !5
  %148 = and i32 %147, 1
  %.not156 = icmp eq i32 %148, 0
  br i1 %.not156, label %154, label %149

149:                                              ; preds = %146
  %150 = tail call double @__seconds() #2
  %151 = getelementptr inbounds i8, ptr %0, i64 144
  %152 = load double, ptr %151, align 8, !tbaa !14
  %153 = fadd double %150, %152
  store double %153, ptr %151, align 8, !tbaa !14
  br label %154

154:                                              ; preds = %149, %146
  ret void
}

declare double @__seconds() local_unnamed_addr #1

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

declare void @__EliminateComponents(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef) local_unnamed_addr #1

declare void @__EliminateSubDomainEdges(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local i32 @__IsBalanced(ptr noundef, i32 noundef, ptr noundef, float noundef) local_unnamed_addr #0

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

declare void @__Greedy_KWayEdgeBalanceMConn(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef) local_unnamed_addr #1

declare void @__Greedy_KWayEdgeBalance(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef) local_unnamed_addr #1

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

declare void @__Random_KWayEdgeRefine(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef, i32 noundef) local_unnamed_addr #1

declare void @__Greedy_KWayEdgeRefine(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef) local_unnamed_addr #1

declare void @__Random_KWayEdgeRefineMConn(ptr noundef, ptr noundef, i32 noundef, ptr noundef, float noundef, i32 noundef, i32 noundef) local_unnamed_addr #1

declare void @GKfree(ptr noundef, ...) local_unnamed_addr #1

declare ptr @__idxsmalloc(i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 4}
!6 = !{!"controldef", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !7, i64 16, !7, i64 20, !10, i64 24, !7, i64 28, !7, i64 32, !7, i64 36, !7, i64 40, !11, i64 48, !13, i64 104, !13, i64 112, !13, i64 120, !13, i64 128, !13, i64 136, !13, i64 144, !13, i64 152, !13, i64 160, !13, i64 168, !13, i64 176, !13, i64 184, !13, i64 192, !13, i64 200, !13, i64 208, !13, i64 216, !13, i64 224}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"float", !8, i64 0}
!11 = !{!"workspacedef", !12, i64 0, !7, i64 8, !7, i64 12, !12, i64 16, !12, i64 24, !7, i64 32, !12, i64 40, !12, i64 48}
!12 = !{!"any pointer", !8, i64 0}
!13 = !{!"double", !8, i64 0}
!14 = !{!6, !13, i64 144}
!15 = !{!6, !13, i64 184}
!16 = !{!6, !7, i64 16}
!17 = !{!18, !12, i64 208}
!18 = !{!"graphdef", !12, i64 0, !12, i64 8, !7, i64 16, !7, i64 20, !12, i64 24, !12, i64 32, !12, i64 40, !12, i64 48, !12, i64 56, !12, i64 64, !12, i64 72, !12, i64 80, !7, i64 88, !7, i64 92, !12, i64 96, !12, i64 104, !7, i64 112, !12, i64 120, !12, i64 128, !12, i64 136, !12, i64 144, !12, i64 152, !12, i64 160, !12, i64 168, !7, i64 176, !12, i64 184, !12, i64 192, !12, i64 200, !12, i64 208}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = !{!6, !13, i64 160}
!22 = !{!18, !12, i64 104}
!23 = !{!6, !13, i64 168}
!24 = !{!18, !12, i64 32}
!25 = !{!18, !7, i64 16}
!26 = !{!18, !7, i64 20}
!27 = !{!18, !12, i64 56}
!28 = !{!6, !13, i64 192}


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