; LLVM IR from fcimeson/cbTSP :: cbLKH/SRC (LinKernighan)

; 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.Segment = type { i8, ptr, ptr, ptr, ptr, i32, i32, ptr }
%struct.SSegment = type { i8, ptr, ptr, ptr, ptr, i32, i32 }
%struct.Node = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, double, double, double, double, double, double, i8, i8, i8 }
%struct.Candidate = type { ptr, i32, i32 }

@Reversed = external dso_local global i16, align 2
@FirstSegment = external dso_local global ptr, align 8
@FirstSSegment = external dso_local global ptr, align 8
@LastActive = external dso_local global ptr, align 8
@FirstActive = external dso_local global ptr, align 8
@Swaps = external dso_local global i32, align 4
@Hash = external dso_local global i32, align 4
@FirstNode = external dso_local global ptr, align 8
@C = external dso_local global ptr, align 8
@Rand = external dso_local global ptr, align 8
@GroupSize = external dso_local global i32, align 4
@SGroupSize = external dso_local global i32, align 4
@KickType = external dso_local global i32, align 4
@Kicks = external dso_local global i32, align 4
@Precision = external dso_local global i32, align 4
@TraceLevel = external dso_local global i32, align 4
@BetterCost = external dso_local global i64, align 8
@.str = external hidden unnamed_addr constant [12 x i8], align 1
@Optimum = external dso_local global i64, align 8
@.str.1 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [1 x i8], align 1
@PredSucCostAvailable = external dso_local global i32, align 4
@Trial = external dso_local global i32, align 4
@Dimension = external dso_local global i32, align 4
@.str.6 = external hidden unnamed_addr constant [24 x i8], align 1
@RestrictedSearch = external dso_local global i32, align 4
@BackboneTrials = external dso_local global i32, align 4
@BestMove = external dso_local global ptr, align 8
@BestSubsequentMove = external dso_local global ptr, align 8
@.str.7 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [73 x i8], align 1
@__PRETTY_FUNCTION__.LinKernighan = external hidden unnamed_addr constant [24 x i8], align 1
@HTable = external dso_local global ptr, align 8
@Gain23Used = external dso_local global i32, align 4
@.str.9 = external hidden unnamed_addr constant [26 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i64 @LinKernighan() #0 {
  %1 = alloca ptr, align 8
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca i64, align 8
  %5 = alloca i64, align 8
  %6 = alloca i64, align 8
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca double, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %1) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %2) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  store i32 0, ptr %9, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #5
  %14 = call double @GetTime()
  store double %14, ptr %13, align 8, !tbaa !9
  store i16 0, ptr @Reversed, align 2, !tbaa !11
  %15 = load ptr, ptr @FirstSegment, align 8, !tbaa !13
  store ptr %15, ptr %11, align 8, !tbaa !13
  store i32 0, ptr %8, align 4, !tbaa !5
  br label %16

16:                                               ; preds = %29, %0
  %17 = load ptr, ptr %11, align 8, !tbaa !13
  %18 = getelementptr inbounds %struct.Segment, ptr %17, i32 0, i32 6
  store i32 0, ptr %18, align 4, !tbaa !15
  %19 = load i32, ptr %8, align 4, !tbaa !5
  %20 = add nsw i32 %19, 1
  store i32 %20, ptr %8, align 4, !tbaa !5
  %21 = load ptr, ptr %11, align 8, !tbaa !13
  %22 = getelementptr inbounds %struct.Segment, ptr %21, i32 0, i32 5
  store i32 %20, ptr %22, align 8, !tbaa !17
  %23 = load ptr, ptr %11, align 8, !tbaa !13
  %24 = getelementptr inbounds %struct.Segment, ptr %23, i32 0, i32 0
  store i8 0, ptr %24, align 8, !tbaa !18
  %25 = load ptr, ptr %11, align 8, !tbaa !13
  %26 = getelementptr inbounds %struct.Segment, ptr %25, i32 0, i32 2
  store ptr null, ptr %26, align 8, !tbaa !19
  %27 = load ptr, ptr %11, align 8, !tbaa !13
  %28 = getelementptr inbounds %struct.Segment, ptr %27, i32 0, i32 1
  store ptr null, ptr %28, align 8, !tbaa !20
  br label %29

29:                                               ; preds = %16
  %30 = load ptr, ptr %11, align 8, !tbaa !13
  %31 = getelementptr inbounds %struct.Segment, ptr %30, i32 0, i32 4
  %32 = load ptr, ptr %31, align 8, !tbaa !21
  store ptr %32, ptr %11, align 8, !tbaa !13
  %33 = load ptr, ptr @FirstSegment, align 8, !tbaa !13
  %34 = icmp ne ptr %32, %33
  br i1 %34, label %16, label %35, !llvm.loop !22

35:                                               ; preds = %29
  %36 = load ptr, ptr @FirstSSegment, align 8, !tbaa !13
  store ptr %36, ptr %12, align 8, !tbaa !13
  store i32 0, ptr %8, align 4, !tbaa !5
  br label %37

37:                                               ; preds = %50, %35
  %38 = load ptr, ptr %12, align 8, !tbaa !13
  %39 = getelementptr inbounds %struct.SSegment, ptr %38, i32 0, i32 6
  store i32 0, ptr %39, align 4, !tbaa !24
  %40 = load i32, ptr %8, align 4, !tbaa !5
  %41 = add nsw i32 %40, 1
  store i32 %41, ptr %8, align 4, !tbaa !5
  %42 = load ptr, ptr %12, align 8, !tbaa !13
  %43 = getelementptr inbounds %struct.SSegment, ptr %42, i32 0, i32 5
  store i32 %41, ptr %43, align 8, !tbaa !26
  %44 = load ptr, ptr %12, align 8, !tbaa !13
  %45 = getelementptr inbounds %struct.SSegment, ptr %44, i32 0, i32 0
  store i8 0, ptr %45, align 8, !tbaa !27
  %46 = load ptr, ptr %12, align 8, !tbaa !13
  %47 = getelementptr inbounds %struct.SSegment, ptr %46, i32 0, i32 2
  store ptr null, ptr %47, align 8, !tbaa !28
  %48 = load ptr, ptr %12, align 8, !tbaa !13
  %49 = getelementptr inbounds %struct.SSegment, ptr %48, i32 0, i32 1
  store ptr null, ptr %49, align 8, !tbaa !29
  br label %50

50:                                               ; preds = %37
  %51 = load ptr, ptr %12, align 8, !tbaa !13
  %52 = getelementptr inbounds %struct.SSegment, ptr %51, i32 0, i32 4
  %53 = load ptr, ptr %52, align 8, !tbaa !30
  store ptr %53, ptr %12, align 8, !tbaa !13
  %54 = load ptr, ptr @FirstSSegment, align 8, !tbaa !13
  %55 = icmp ne ptr %53, %54
  br i1 %55, label %37, label %56, !llvm.loop !31

56:                                               ; preds = %50
  store ptr null, ptr @LastActive, align 8, !tbaa !13
  store ptr null, ptr @FirstActive, align 8, !tbaa !13
  store i32 0, ptr @Swaps, align 4, !tbaa !5
  store i64 0, ptr %6, align 8, !tbaa !32
  store i32 0, ptr @Hash, align 4, !tbaa !5
  store i32 0, ptr %8, align 4, !tbaa !5
  %57 = load ptr, ptr @FirstNode, align 8, !tbaa !13
  store ptr %57, ptr %1, align 8, !tbaa !13
  br label %58

58:                                               ; preds = %254, %56
  %59 = load ptr, ptr %1, align 8, !tbaa !13
  %60 = getelementptr inbounds %struct.Node, ptr %59, i32 0, i32 16
  %61 = load ptr, ptr %60, align 8, !tbaa !34
  %62 = load ptr, ptr %1, align 8, !tbaa !13
  %63 = getelementptr inbounds %struct.Node, ptr %62, i32 0, i32 18
  store ptr %61, ptr %63, align 8, !tbaa !36
  store ptr %61, ptr %2, align 8, !tbaa !13
  %64 = load ptr, ptr %1, align 8, !tbaa !13
  %65 = getelementptr inbounds %struct.Node, ptr %64, i32 0, i32 15
  %66 = load ptr, ptr %65, align 8, !tbaa !37
  %67 = load ptr, ptr %1, align 8, !tbaa !13
  %68 = getelementptr inbounds %struct.Node, ptr %67, i32 0, i32 17
  store ptr %66, ptr %68, align 8, !tbaa !38
  %69 = load i32, ptr %8, align 4, !tbaa !5
  %70 = add nsw i32 %69, 1
  store i32 %70, ptr %8, align 4, !tbaa !5
  %71 = load ptr, ptr %1, align 8, !tbaa !13
  %72 = getelementptr inbounds %struct.Node, ptr %71, i32 0, i32 2
  store i32 %70, ptr %72, align 8, !tbaa !39
  %73 = load ptr, ptr @C, align 8, !tbaa !13
  %74 = load ptr, ptr %1, align 8, !tbaa !13
  %75 = load ptr, ptr %2, align 8, !tbaa !13
  %76 = call i32 %73(ptr noundef %74, ptr noundef %75)
  %77 = load ptr, ptr %2, align 8, !tbaa !13
  %78 = getelementptr inbounds %struct.Node, ptr %77, i32 0, i32 7
  store i32 %76, ptr %78, align 4, !tbaa !40
  %79 = load ptr, ptr %1, align 8, !tbaa !13
  %80 = getelementptr inbounds %struct.Node, ptr %79, i32 0, i32 8
  store i32 %76, ptr %80, align 8, !tbaa !41
  %81 = load ptr, ptr %1, align 8, !tbaa !13
  %82 = getelementptr inbounds %struct.Node, ptr %81, i32 0, i32 9
  %83 = load i32, ptr %82, align 4, !tbaa !42
  %84 = sub nsw i32 %76, %83
  %85 = load ptr, ptr %2, align 8, !tbaa !13
  %86 = getelementptr inbounds %struct.Node, ptr %85, i32 0, i32 9
  %87 = load i32, ptr %86, align 4, !tbaa !42
  %88 = sub nsw i32 %84, %87
  %89 = sext i32 %88 to i64
  %90 = load i64, ptr %6, align 8, !tbaa !32
  %91 = add nsw i64 %90, %89
  store i64 %91, ptr %6, align 8, !tbaa !32
  %92 = load ptr, ptr @Rand, align 8, !tbaa !13
  %93 = load ptr, ptr %1, align 8, !tbaa !13
  %94 = getelementptr inbounds %struct.Node, ptr %93, i32 0, i32 0
  %95 = load i32, ptr %94, align 8, !tbaa !43
  %96 = sext i32 %95 to i64
  %97 = getelementptr inbounds i32, ptr %92, i64 %96
  %98 = load i32, ptr %97, align 4, !tbaa !5
  %99 = load ptr, ptr @Rand, align 8, !tbaa !13
  %100 = load ptr, ptr %2, align 8, !tbaa !13
  %101 = getelementptr inbounds %struct.Node, ptr %100, i32 0, i32 0
  %102 = load i32, ptr %101, align 8, !tbaa !43
  %103 = sext i32 %102 to i64
  %104 = getelementptr inbounds i32, ptr %99, i64 %103
  %105 = load i32, ptr %104, align 4, !tbaa !5
  %106 = mul i32 %98, %105
  %107 = load i32, ptr @Hash, align 4, !tbaa !5
  %108 = xor i32 %107, %106
  store i32 %108, ptr @Hash, align 4, !tbaa !5
  %109 = load ptr, ptr %1, align 8, !tbaa !13
  %110 = getelementptr inbounds %struct.Node, ptr %109, i32 0, i32 5
  store i32 2147483647, ptr %110, align 4, !tbaa !44
  %111 = load ptr, ptr %1, align 8, !tbaa !13
  %112 = getelementptr inbounds %struct.Node, ptr %111, i32 0, i32 43
  %113 = load ptr, ptr %112, align 8, !tbaa !45
  store ptr %113, ptr %10, align 8, !tbaa !13
  br label %114

114:                                              ; preds = %146, %58
  %115 = load ptr, ptr %10, align 8, !tbaa !13
  %116 = getelementptr inbounds %struct.Candidate, ptr %115, i32 0, i32 0
  %117 = load ptr, ptr %116, align 8, !tbaa !46
  store ptr %117, ptr %2, align 8, !tbaa !13
  %118 = icmp ne ptr %117, null
  br i1 %118, label %119, label %149

119:                                              ; preds = %114
  %120 = load ptr, ptr %2, align 8, !tbaa !13
  %121 = load ptr, ptr %1, align 8, !tbaa !13
  %122 = getelementptr inbounds %struct.Node, ptr %121, i32 0, i32 15
  %123 = load ptr, ptr %122, align 8, !tbaa !37
  %124 = icmp ne ptr %120, %123
  br i1 %124, label %125, label %145

125:                                              ; preds = %119
  %126 = load ptr, ptr %2, align 8, !tbaa !13
  %127 = load ptr, ptr %1, align 8, !tbaa !13
  %128 = getelementptr inbounds %struct.Node, ptr %127, i32 0, i32 16
  %129 = load ptr, ptr %128, align 8, !tbaa !34
  %130 = icmp ne ptr %126, %129
  br i1 %130, label %131, label %145

131:                                              ; preds = %125
  %132 = load ptr, ptr %10, align 8, !tbaa !13
  %133 = getelementptr inbounds %struct.Candidate, ptr %132, i32 0, i32 1
  %134 = load i32, ptr %133, align 8, !tbaa !48
  %135 = load ptr, ptr %1, align 8, !tbaa !13
  %136 = getelementptr inbounds %struct.Node, ptr %135, i32 0, i32 5
  %137 = load i32, ptr %136, align 4, !tbaa !44
  %138 = icmp slt i32 %134, %137
  br i1 %138, label %139, label %145

139:                                              ; preds = %131
  %140 = load ptr, ptr %10, align 8, !tbaa !13
  %141 = getelementptr inbounds %struct.Candidate, ptr %140, i32 0, i32 1
  %142 = load i32, ptr %141, align 8, !tbaa !48
  %143 = load ptr, ptr %1, align 8, !tbaa !13
  %144 = getelementptr inbounds %struct.Node, ptr %143, i32 0, i32 5
  store i32 %142, ptr %144, align 4, !tbaa !44
  br label %145

145:                                              ; preds = %139, %131, %125, %119
  br label %146

146:                                              ; preds = %145
  %147 = load ptr, ptr %10, align 8, !tbaa !13
  %148 = getelementptr inbounds %struct.Candidate, ptr %147, i32 1
  store ptr %148, ptr %10, align 8, !tbaa !13
  br label %114, !llvm.loop !49

149:                                              ; preds = %114
  %150 = load ptr, ptr %11, align 8, !tbaa !13
  %151 = load ptr, ptr %1, align 8, !tbaa !13
  %152 = getelementptr inbounds %struct.Node, ptr %151, i32 0, i32 45
  store ptr %150, ptr %152, align 8, !tbaa !50
  %153 = load ptr, ptr %11, align 8, !tbaa !13
  %154 = getelementptr inbounds %struct.Segment, ptr %153, i32 0, i32 6
  %155 = load i32, ptr %154, align 4, !tbaa !15
  %156 = add nsw i32 %155, 1
  store i32 %156, ptr %154, align 4, !tbaa !15
  %157 = load ptr, ptr %11, align 8, !tbaa !13
  %158 = getelementptr inbounds %struct.Segment, ptr %157, i32 0, i32 6
  %159 = load i32, ptr %158, align 4, !tbaa !15
  %160 = icmp eq i32 %159, 1
  br i1 %160, label %161, label %165

161:                                              ; preds = %149
  %162 = load ptr, ptr %1, align 8, !tbaa !13
  %163 = load ptr, ptr %11, align 8, !tbaa !13
  %164 = getelementptr inbounds %struct.Segment, ptr %163, i32 0, i32 1
  store ptr %162, ptr %164, align 8, !tbaa !20
  br label %165

165:                                              ; preds = %161, %149
  %166 = load ptr, ptr %1, align 8, !tbaa !13
  %167 = load ptr, ptr %11, align 8, !tbaa !13
  %168 = getelementptr inbounds %struct.Segment, ptr %167, i32 0, i32 2
  store ptr %166, ptr %168, align 8, !tbaa !19
  %169 = load ptr, ptr %12, align 8, !tbaa !13
  %170 = getelementptr inbounds %struct.SSegment, ptr %169, i32 0, i32 6
  %171 = load i32, ptr %170, align 4, !tbaa !24
  %172 = icmp eq i32 %171, 0
  br i1 %172, label %173, label %177

173:                                              ; preds = %165
  %174 = load ptr, ptr %11, align 8, !tbaa !13
  %175 = load ptr, ptr %12, align 8, !tbaa !13
  %176 = getelementptr inbounds %struct.SSegment, ptr %175, i32 0, i32 1
  store ptr %174, ptr %176, align 8, !tbaa !29
  br label %177

177:                                              ; preds = %173, %165
  %178 = load ptr, ptr %12, align 8, !tbaa !13
  %179 = load ptr, ptr %11, align 8, !tbaa !13
  %180 = getelementptr inbounds %struct.Segment, ptr %179, i32 0, i32 7
  store ptr %178, ptr %180, align 8, !tbaa !51
  %181 = load ptr, ptr %11, align 8, !tbaa !13
  %182 = load ptr, ptr %12, align 8, !tbaa !13
  %183 = getelementptr inbounds %struct.SSegment, ptr %182, i32 0, i32 2
  store ptr %181, ptr %183, align 8, !tbaa !28
  %184 = load ptr, ptr %11, align 8, !tbaa !13
  %185 = getelementptr inbounds %struct.Segment, ptr %184, i32 0, i32 6
  %186 = load i32, ptr %185, align 4, !tbaa !15
  %187 = load i32, ptr @GroupSize, align 4, !tbaa !5
  %188 = icmp eq i32 %186, %187
  br i1 %188, label %189, label %207

189:                                              ; preds = %177
  %190 = load ptr, ptr %11, align 8, !tbaa !13
  %191 = getelementptr inbounds %struct.Segment, ptr %190, i32 0, i32 4
  %192 = load ptr, ptr %191, align 8, !tbaa !21
  store ptr %192, ptr %11, align 8, !tbaa !13
  %193 = load ptr, ptr %12, align 8, !tbaa !13
  %194 = getelementptr inbounds %struct.SSegment, ptr %193, i32 0, i32 6
  %195 = load i32, ptr %194, align 4, !tbaa !24
  %196 = add nsw i32 %195, 1
  store i32 %196, ptr %194, align 4, !tbaa !24
  %197 = load ptr, ptr %12, align 8, !tbaa !13
  %198 = getelementptr inbounds %struct.SSegment, ptr %197, i32 0, i32 6
  %199 = load i32, ptr %198, align 4, !tbaa !24
  %200 = load i32, ptr @SGroupSize, align 4, !tbaa !5
  %201 = icmp eq i32 %199, %200
  br i1 %201, label %202, label %206

202:                                              ; preds = %189
  %203 = load ptr, ptr %12, align 8, !tbaa !13
  %204 = getelementptr inbounds %struct.SSegment, ptr %203, i32 0, i32 4
  %205 = load ptr, ptr %204, align 8, !tbaa !30
  store ptr %205, ptr %12, align 8, !tbaa !13
  br label %206

206:                                              ; preds = %202, %189
  br label %207

207:                                              ; preds = %206, %177
  %208 = load ptr, ptr %1, align 8, !tbaa !13
  %209 = getelementptr inbounds %struct.Node, ptr %208, i32 0, i32 54
  store i8 0, ptr %209, align 2, !tbaa !52
  %210 = load ptr, ptr %1, align 8, !tbaa !13
  %211 = getelementptr inbounds %struct.Node, ptr %210, i32 0, i32 53
  store i8 0, ptr %211, align 1, !tbaa !53
  %212 = load ptr, ptr %1, align 8, !tbaa !13
  %213 = getelementptr inbounds %struct.Node, ptr %212, i32 0, i32 23
  store ptr null, ptr %213, align 8, !tbaa !54
  %214 = load i32, ptr @KickType, align 4, !tbaa !5
  %215 = icmp eq i32 %214, 0
  br i1 %215, label %251, label %216

216:                                              ; preds = %207
  %217 = load i32, ptr @Kicks, align 4, !tbaa !5
  %218 = icmp eq i32 %217, 0
  br i1 %218, label %251, label %219

219:                                              ; preds = %216
  %220 = load ptr, ptr %1, align 8, !tbaa !13
  %221 = getelementptr inbounds %struct.Node, ptr %220, i32 0, i32 19
  %222 = load ptr, ptr %221, align 8, !tbaa !55
  %223 = load ptr, ptr %1, align 8, !tbaa !13
  %224 = getelementptr inbounds %struct.Node, ptr %223, i32 0, i32 15
  %225 = load ptr, ptr %224, align 8, !tbaa !37
  %226 = icmp eq ptr %222, %225
  br i1 %226, label %235, label %227

227:                                              ; preds = %219
  %228 = load ptr, ptr %1, align 8, !tbaa !13
  %229 = getelementptr inbounds %struct.Node, ptr %228, i32 0, i32 15
  %230 = load ptr, ptr %229, align 8, !tbaa !37
  %231 = getelementptr inbounds %struct.Node, ptr %230, i32 0, i32 19
  %232 = load ptr, ptr %231, align 8, !tbaa !55
  %233 = load ptr, ptr %1, align 8, !tbaa !13
  %234 = icmp eq ptr %232, %233
  br i1 %234, label %235, label %251

235:                                              ; preds = %227, %219
  %236 = load ptr, ptr %1, align 8, !tbaa !13
  %237 = getelementptr inbounds %struct.Node, ptr %236, i32 0, i32 19
  %238 = load ptr, ptr %237, align 8, !tbaa !55
  %239 = load ptr, ptr %1, align 8, !tbaa !13
  %240 = getelementptr inbounds %struct.Node, ptr %239, i32 0, i32 16
  %241 = load ptr, ptr %240, align 8, !tbaa !34
  %242 = icmp eq ptr %238, %241
  br i1 %242, label %253, label %243

243:                                              ; preds = %235
  %244 = load ptr, ptr %1, align 8, !tbaa !13
  %245 = getelementptr inbounds %struct.Node, ptr %244, i32 0, i32 16
  %246 = load ptr, ptr %245, align 8, !tbaa !34
  %247 = getelementptr inbounds %struct.Node, ptr %246, i32 0, i32 19
  %248 = load ptr, ptr %247, align 8, !tbaa !55
  %249 = load ptr, ptr %1, align 8, !tbaa !13
  %250 = icmp eq ptr %248, %249
  br i1 %250, label %253, label %251

251:                                              ; preds = %243, %227, %216, %207
  %252 = load ptr, ptr %1, align 8, !tbaa !13
  call void @Activate(ptr noundef %252)
  br label %253

253:                                              ; preds = %251, %243, %235
  br label %254

254:                                              ; preds = %253
  %255 = load ptr, ptr %1, align 8, !tbaa !13
  %256 = getelementptr inbounds %struct.Node, ptr %255, i32 0, i32 16
  %257 = load ptr, ptr %256, align 8, !tbaa !34
  store ptr %257, ptr %1, align 8, !tbaa !13
  %258 = load ptr, ptr @FirstNode, align 8, !tbaa !13
  %259 = icmp ne ptr %257, %258
  br i1 %259, label %58, label %260, !llvm.loop !56

260:                                              ; preds = %254
  %261 = load ptr, ptr %11, align 8, !tbaa !13
  %262 = getelementptr inbounds %struct.Segment, ptr %261, i32 0, i32 6
  %263 = load i32, ptr %262, align 4, !tbaa !15
  %264 = load i32, ptr @GroupSize, align 4, !tbaa !5
  %265 = icmp slt i32 %263, %264
  br i1 %265, label %266, label %271

266:                                              ; preds = %260
  %267 = load ptr, ptr %12, align 8, !tbaa !13
  %268 = getelementptr inbounds %struct.SSegment, ptr %267, i32 0, i32 6
  %269 = load i32, ptr %268, align 4, !tbaa !24
  %270 = add nsw i32 %269, 1
  store i32 %270, ptr %268, align 4, !tbaa !24
  br label %271

271:                                              ; preds = %266, %260
  %272 = load i32, ptr @Precision, align 4, !tbaa !5
  %273 = sext i32 %272 to i64
  %274 = load i64, ptr %6, align 8, !tbaa !32
  %275 = sdiv i64 %274, %273
  store i64 %275, ptr %6, align 8, !tbaa !32
  %276 = load i32, ptr @TraceLevel, align 4, !tbaa !5
  %277 = icmp sge i32 %276, 3
  br i1 %277, label %285, label %278

278:                                              ; preds = %271
  %279 = load i32, ptr @TraceLevel, align 4, !tbaa !5
  %280 = icmp eq i32 %279, 2
  br i1 %280, label %281, label %318

281:                                              ; preds = %278
  %282 = load i64, ptr %6, align 8, !tbaa !32
  %283 = load i64, ptr @BetterCost, align 8, !tbaa !32
  %284 = icmp slt i64 %282, %283
  br i1 %284, label %285, label %318

285:                                              ; preds = %281, %271
  %286 = load i64, ptr %6, align 8, !tbaa !32
  call void (ptr, ...) @printff(ptr noundef @.str, i64 noundef %286)
  %287 = load i64, ptr @Optimum, align 8, !tbaa !32
  %288 = icmp ne i64 %287, -9223372036854775808
  br i1 %288, label %289, label %301

289:                                              ; preds = %285
  %290 = load i64, ptr @Optimum, align 8, !tbaa !32
  %291 = icmp ne i64 %290, 0
  br i1 %291, label %292, label %301

292:                                              ; preds = %289
  %293 = load i64, ptr %6, align 8, !tbaa !32
  %294 = load i64, ptr @Optimum, align 8, !tbaa !32
  %295 = sub nsw i64 %293, %294
  %296 = sitofp i64 %295 to double
  %297 = fmul double 1.000000e+02, %296
  %298 = load i64, ptr @Optimum, align 8, !tbaa !32
  %299 = sitofp i64 %298 to double
  %300 = fdiv double %297, %299
  call void (ptr, ...) @printff(ptr noundef @.str.1, double noundef %300)
  br label %301

301:                                              ; preds = %292, %289, %285
  %302 = call double @GetTime()
  %303 = load double, ptr %13, align 8, !tbaa !9
  %304 = fsub double %302, %303
  %305 = call double @llvm.fabs.f64(double %304)
  %306 = load i64, ptr %6, align 8, !tbaa !32
  %307 = load i64, ptr @Optimum, align 8, !tbaa !32
  %308 = icmp slt i64 %306, %307
  br i1 %308, label %309, label %310

309:                                              ; preds = %301
  br label %316

310:                                              ; preds = %301
  %311 = load i64, ptr %6, align 8, !tbaa !32
  %312 = load i64, ptr @Optimum, align 8, !tbaa !32
  %313 = icmp eq i64 %311, %312
  %314 = zext i1 %313 to i64
  %315 = select i1 %313, ptr @.str.4, ptr @.str.5
  br label %316

316:                                              ; preds = %310, %309
  %317 = phi ptr [ @.str.3, %309 ], [ %315, %310 ]
  call void (ptr, ...) @printff(ptr noundef @.str.2, double noundef %305, ptr noundef %317)
  br label %318

318:                                              ; preds = %316, %281, %278
  store i32 1, ptr @PredSucCostAvailable, align 4, !tbaa !5
  br label %319

319:                                              ; preds = %645, %318
  br label %320

320:                                              ; preds = %562, %319
  %321 = call ptr @RemoveFirstActive()
  store ptr %321, ptr %1, align 8, !tbaa !13
  %322 = icmp ne ptr %321, null
  br i1 %322, label %323, label %563

323:                                              ; preds = %320
  %324 = load i16, ptr @Reversed, align 2, !tbaa !11
  %325 = sext i16 %324 to i32
  %326 = load ptr, ptr %1, align 8, !tbaa !13
  %327 = getelementptr inbounds %struct.Node, ptr %326, i32 0, i32 45
  %328 = load ptr, ptr %327, align 8, !tbaa !50
  %329 = getelementptr inbounds %struct.Segment, ptr %328, i32 0, i32 0
  %330 = load i8, ptr %329, align 8, !tbaa !18
  %331 = sext i8 %330 to i32
  %332 = icmp eq i32 %325, %331
  br i1 %332, label %333, label %337

333:                                              ; preds = %323
  %334 = load ptr, ptr %1, align 8, !tbaa !13
  %335 = getelementptr inbounds %struct.Node, ptr %334, i32 0, i32 16
  %336 = load ptr, ptr %335, align 8, !tbaa !34
  br label %341

337:                                              ; preds = %323
  %338 = load ptr, ptr %1, align 8, !tbaa !13
  %339 = getelementptr inbounds %struct.Node, ptr %338, i32 0, i32 15
  %340 = load ptr, ptr %339, align 8, !tbaa !37
  br label %341

341:                                              ; preds = %337, %333
  %342 = phi ptr [ %336, %333 ], [ %340, %337 ]
  store ptr %342, ptr %3, align 8, !tbaa !13
  %343 = load i32, ptr @TraceLevel, align 4, !tbaa !5
  %344 = icmp sge i32 %343, 3
  br i1 %344, label %351, label %345

345:                                              ; preds = %341
  %346 = load i32, ptr @TraceLevel, align 4, !tbaa !5
  %347 = icmp eq i32 %346, 2
  br i1 %347, label %348, label %372

348:                                              ; preds = %345
  %349 = load i32, ptr @Trial, align 4, !tbaa !5
  %350 = icmp eq i32 %349, 1
  br i1 %350, label %351, label %372

351:                                              ; preds = %348, %341
  %352 = load i32, ptr %9, align 4, !tbaa !5
  %353 = add nsw i32 %352, 1
  store i32 %353, ptr %9, align 4, !tbaa !5
  %354 = load i32, ptr @Dimension, align 4, !tbaa !5
  %355 = icmp sge i32 %354, 100000
  br i1 %355, label %356, label %357

356:                                              ; preds = %351
  br label %362

357:                                              ; preds = %351
  %358 = load i32, ptr @Dimension, align 4, !tbaa !5
  %359 = icmp sge i32 %358, 10000
  %360 = zext i1 %359 to i64
  %361 = select i1 %359, i32 1000, i32 100
  br label %362

362:                                              ; preds = %357, %356
  %363 = phi i32 [ 10000, %356 ], [ %361, %357 ]
  %364 = srem i32 %353, %363
  %365 = icmp eq i32 %364, 0
  br i1 %365, label %366, label %372

366:                                              ; preds = %362
  %367 = load i32, ptr %9, align 4, !tbaa !5
  %368 = call double @GetTime()
  %369 = load double, ptr %13, align 8, !tbaa !9
  %370 = fsub double %368, %369
  %371 = call double @llvm.fabs.f64(double %370)
  call void (ptr, ...) @printff(ptr noundef @.str.6, i32 noundef %367, double noundef %371)
  br label %372

372:                                              ; preds = %366, %362, %348, %345
  store i32 1, ptr %7, align 4, !tbaa !5
  br label %373

373:                                              ; preds = %559, %372
  %374 = load i32, ptr %7, align 4, !tbaa !5
  %375 = icmp sle i32 %374, 2
  br i1 %375, label %376, label %562

376:                                              ; preds = %373
  %377 = load i32, ptr %7, align 4, !tbaa !5
  %378 = icmp eq i32 %377, 1
  br i1 %378, label %379, label %399

379:                                              ; preds = %376
  %380 = load i16, ptr @Reversed, align 2, !tbaa !11
  %381 = sext i16 %380 to i32
  %382 = load ptr, ptr %1, align 8, !tbaa !13
  %383 = getelementptr inbounds %struct.Node, ptr %382, i32 0, i32 45
  %384 = load ptr, ptr %383, align 8, !tbaa !50
  %385 = getelementptr inbounds %struct.Segment, ptr %384, i32 0, i32 0
  %386 = load i8, ptr %385, align 8, !tbaa !18
  %387 = sext i8 %386 to i32
  %388 = icmp eq i32 %381, %387
  br i1 %388, label %389, label %393

389:                                              ; preds = %379
  %390 = load ptr, ptr %1, align 8, !tbaa !13
  %391 = getelementptr inbounds %struct.Node, ptr %390, i32 0, i32 15
  %392 = load ptr, ptr %391, align 8, !tbaa !37
  br label %397

393:                                              ; preds = %379
  %394 = load ptr, ptr %1, align 8, !tbaa !13
  %395 = getelementptr inbounds %struct.Node, ptr %394, i32 0, i32 16
  %396 = load ptr, ptr %395, align 8, !tbaa !34
  br label %397

397:                                              ; preds = %393, %389
  %398 = phi ptr [ %392, %389 ], [ %396, %393 ]
  br label %401

399:                                              ; preds = %376
  %400 = load ptr, ptr %3, align 8, !tbaa !13
  br label %401

401:                                              ; preds = %399, %397
  %402 = phi ptr [ %398, %397 ], [ %400, %399 ]
  store ptr %402, ptr %2, align 8, !tbaa !13
  %403 = load ptr, ptr %1, align 8, !tbaa !13
  %404 = getelementptr inbounds %struct.Node, ptr %403, i32 0, i32 26
  %405 = load ptr, ptr %404, align 8, !tbaa !57
  %406 = load ptr, ptr %2, align 8, !tbaa !13
  %407 = icmp eq ptr %405, %406
  br i1 %407, label %464, label %408

408:                                              ; preds = %401
  %409 = load ptr, ptr %1, align 8, !tbaa !13
  %410 = getelementptr inbounds %struct.Node, ptr %409, i32 0, i32 27
  %411 = load ptr, ptr %410, align 8, !tbaa !58
  %412 = load ptr, ptr %2, align 8, !tbaa !13
  %413 = icmp eq ptr %411, %412
  br i1 %413, label %464, label %414

414:                                              ; preds = %408
  %415 = load ptr, ptr %1, align 8, !tbaa !13
  %416 = load ptr, ptr %2, align 8, !tbaa !13
  %417 = call i32 @IsCommonEdge(ptr noundef %415, ptr noundef %416)
  %418 = icmp ne i32 %417, 0
  br i1 %418, label %464, label %419

419:                                              ; preds = %414
  %420 = load i32, ptr @RestrictedSearch, align 4, !tbaa !5
  %421 = icmp ne i32 %420, 0
  br i1 %421, label %422, label %465

422:                                              ; preds = %419
  %423 = load ptr, ptr %1, align 8, !tbaa !13
  %424 = getelementptr inbounds %struct.Node, ptr %423, i32 0, i32 19
  %425 = load ptr, ptr %424, align 8, !tbaa !55
  %426 = icmp ne ptr %425, null
  br i1 %426, label %427, label %439

427:                                              ; preds = %422
  %428 = load ptr, ptr %1, align 8, !tbaa !13
  %429 = getelementptr inbounds %struct.Node, ptr %428, i32 0, i32 19
  %430 = load ptr, ptr %429, align 8, !tbaa !55
  %431 = load ptr, ptr %2, align 8, !tbaa !13
  %432 = icmp eq ptr %430, %431
  br i1 %432, label %451, label %433

433:                                              ; preds = %427
  %434 = load ptr, ptr %2, align 8, !tbaa !13
  %435 = getelementptr inbounds %struct.Node, ptr %434, i32 0, i32 19
  %436 = load ptr, ptr %435, align 8, !tbaa !55
  %437 = load ptr, ptr %1, align 8, !tbaa !13
  %438 = icmp eq ptr %436, %437
  br i1 %438, label %451, label %465

439:                                              ; preds = %422
  %440 = load ptr, ptr %1, align 8, !tbaa !13
  %441 = getelementptr inbounds %struct.Node, ptr %440, i32 0, i32 21
  %442 = load ptr, ptr %441, align 8, !tbaa !59
  %443 = load ptr, ptr %2, align 8, !tbaa !13
  %444 = icmp eq ptr %442, %443
  br i1 %444, label %451, label %445

445:                                              ; preds = %439
  %446 = load ptr, ptr %2, align 8, !tbaa !13
  %447 = getelementptr inbounds %struct.Node, ptr %446, i32 0, i32 21
  %448 = load ptr, ptr %447, align 8, !tbaa !59
  %449 = load ptr, ptr %1, align 8, !tbaa !13
  %450 = icmp eq ptr %448, %449
  br i1 %450, label %451, label %465

451:                                              ; preds = %445, %439, %433, %427
  %452 = load i32, ptr @Trial, align 4, !tbaa !5
  %453 = icmp eq i32 %452, 1
  br i1 %453, label %464, label %454

454:                                              ; preds = %451
  %455 = load i32, ptr @Trial, align 4, !tbaa !5
  %456 = load i32, ptr @BackboneTrials, align 4, !tbaa !5
  %457 = icmp sgt i32 %455, %456
  br i1 %457, label %458, label %465

458:                                              ; preds = %454
  %459 = load i32, ptr @KickType, align 4, !tbaa !5
  %460 = icmp eq i32 %459, 0
  br i1 %460, label %464, label %461

461:                                              ; preds = %458
  %462 = load i32, ptr @Kicks, align 4, !tbaa !5
  %463 = icmp eq i32 %462, 0
  br i1 %463, label %464, label %465

464:                                              ; preds = %461, %458, %451, %414, %408, %401
  br label %559

465:                                              ; preds = %461, %454, %445, %433, %419
  %466 = load ptr, ptr @C, align 8, !tbaa !13
  %467 = load ptr, ptr %1, align 8, !tbaa !13
  %468 = load ptr, ptr %2, align 8, !tbaa !13
  %469 = call i32 %466(ptr noundef %467, ptr noundef %468)
  %470 = sext i32 %469 to i64
  store i64 %470, ptr %5, align 8, !tbaa !32
  br label %471

471:                                              ; preds = %486, %465
  %472 = load i32, ptr @Swaps, align 4, !tbaa !5
  %473 = icmp eq i32 %472, 0
  br i1 %473, label %474, label %479

474:                                              ; preds = %471
  %475 = load ptr, ptr @BestMove, align 8, !tbaa !13
  %476 = load ptr, ptr %1, align 8, !tbaa !13
  %477 = load ptr, ptr %2, align 8, !tbaa !13
  %478 = call ptr %475(ptr noundef %476, ptr noundef %477, ptr noundef %5, ptr noundef %4)
  br label %484

479:                                              ; preds = %471
  %480 = load ptr, ptr @BestSubsequentMove, align 8, !tbaa !13
  %481 = load ptr, ptr %1, align 8, !tbaa !13
  %482 = load ptr, ptr %2, align 8, !tbaa !13
  %483 = call ptr %480(ptr noundef %481, ptr noundef %482, ptr noundef %5, ptr noundef %4)
  br label %484

484:                                              ; preds = %479, %474
  %485 = phi ptr [ %478, %474 ], [ %483, %479 ]
  store ptr %485, ptr %2, align 8, !tbaa !13
  br label %486

486:                                              ; preds = %484
  %487 = load ptr, ptr %2, align 8, !tbaa !13
  %488 = icmp ne ptr %487, null
  br i1 %488, label %471, label %489, !llvm.loop !60

489:                                              ; preds = %486
  %490 = load i64, ptr %4, align 8, !tbaa !32
  %491 = icmp sgt i64 %490, 0
  br i1 %491, label %492, label %558

492:                                              ; preds = %489
  %493 = load i64, ptr %4, align 8, !tbaa !32
  %494 = load i32, ptr @Precision, align 4, !tbaa !5
  %495 = sext i32 %494 to i64
  %496 = srem i64 %493, %495
  %497 = icmp eq i64 %496, 0
  br i1 %497, label %498, label %499

498:                                              ; preds = %492
  br label %500

499:                                              ; preds = %492
  call void @__assert_fail(ptr noundef @.str.7, ptr noundef @.str.8, i32 noundef 126, ptr noundef @__PRETTY_FUNCTION__.LinKernighan) #6
  unreachable

500:                                              ; preds = %498
  %501 = load i64, ptr %4, align 8, !tbaa !32
  %502 = load i32, ptr @Precision, align 4, !tbaa !5
  %503 = sext i32 %502 to i64
  %504 = sdiv i64 %501, %503
  %505 = load i64, ptr %6, align 8, !tbaa !32
  %506 = sub nsw i64 %505, %504
  store i64 %506, ptr %6, align 8, !tbaa !32
  %507 = load i32, ptr @TraceLevel, align 4, !tbaa !5
  %508 = icmp sge i32 %507, 3
  br i1 %508, label %516, label %509

509:                                              ; preds = %500
  %510 = load i32, ptr @TraceLevel, align 4, !tbaa !5
  %511 = icmp eq i32 %510, 2
  br i1 %511, label %512, label %549

512:                                              ; preds = %509
  %513 = load i64, ptr %6, align 8, !tbaa !32
  %514 = load i64, ptr @BetterCost, align 8, !tbaa !32
  %515 = icmp slt i64 %513, %514
  br i1 %515, label %516, label %549

516:                                              ; preds = %512, %500
  %517 = load i64, ptr %6, align 8, !tbaa !32
  call void (ptr, ...) @printff(ptr noundef @.str, i64 noundef %517)
  %518 = load i64, ptr @Optimum, align 8, !tbaa !32
  %519 = icmp ne i64 %518, -9223372036854775808
  br i1 %519, label %520, label %532

520:                                              ; preds = %516
  %521 = load i64, ptr @Optimum, align 8, !tbaa !32
  %522 = icmp ne i64 %521, 0
  br i1 %522, label %523, label %532

523:                                              ; preds = %520
  %524 = load i64, ptr %6, align 8, !tbaa !32
  %525 = load i64, ptr @Optimum, align 8, !tbaa !32
  %526 = sub nsw i64 %524, %525
  %527 = sitofp i64 %526 to double
  %528 = fmul double 1.000000e+02, %527
  %529 = load i64, ptr @Optimum, align 8, !tbaa !32
  %530 = sitofp i64 %529 to double
  %531 = fdiv double %528, %530
  call void (ptr, ...) @printff(ptr noundef @.str.1, double noundef %531)
  br label %532

532:                                              ; preds = %523, %520, %516
  %533 = call double @GetTime()
  %534 = load double, ptr %13, align 8, !tbaa !9
  %535 = fsub double %533, %534
  %536 = call double @llvm.fabs.f64(double %535)
  %537 = load i64, ptr %6, align 8, !tbaa !32
  %538 = load i64, ptr @Optimum, align 8, !tbaa !32
  %539 = icmp slt i64 %537, %538
  br i1 %539, label %540, label %541

540:                                              ; preds = %532
  br label %547

541:                                              ; preds = %532
  %542 = load i64, ptr %6, align 8, !tbaa !32
  %543 = load i64, ptr @Optimum, align 8, !tbaa !32
  %544 = icmp eq i64 %542, %543
  %545 = zext i1 %544 to i64
  %546 = select i1 %544, ptr @.str.4, ptr @.str.5
  br label %547

547:                                              ; preds = %541, %540
  %548 = phi ptr [ @.str.3, %540 ], [ %546, %541 ]
  call void (ptr, ...) @printff(ptr noundef @.str.2, double noundef %536, ptr noundef %548)
  br label %549

549:                                              ; preds = %547, %512, %509
  call void @StoreTour()
  %550 = load ptr, ptr @HTable, align 8, !tbaa !13
  %551 = load i32, ptr @Hash, align 4, !tbaa !5
  %552 = load i64, ptr %6, align 8, !tbaa !32
  %553 = call i32 @HashSearch(ptr noundef %550, i32 noundef %551, i64 noundef %552)
  %554 = icmp ne i32 %553, 0
  br i1 %554, label %555, label %556

555:                                              ; preds = %549
  br label %649

556:                                              ; preds = %549
  %557 = load ptr, ptr %1, align 8, !tbaa !13
  call void @Activate(ptr noundef %557)
  br label %562

558:                                              ; preds = %489
  call void @RestoreTour()
  br label %559

559:                                              ; preds = %558, %464
  %560 = load i32, ptr %7, align 4, !tbaa !5
  %561 = add nsw i32 %560, 1
  store i32 %561, ptr %7, align 4, !tbaa !5
  br label %373, !llvm.loop !61

562:                                              ; preds = %556, %373
  br label %320, !llvm.loop !62

563:                                              ; preds = %320
  %564 = load ptr, ptr @HTable, align 8, !tbaa !13
  %565 = load i32, ptr @Hash, align 4, !tbaa !5
  %566 = load i64, ptr %6, align 8, !tbaa !32
  %567 = call i32 @HashSearch(ptr noundef %564, i32 noundef %565, i64 noundef %566)
  %568 = icmp ne i32 %567, 0
  br i1 %568, label %569, label %570

569:                                              ; preds = %563
  br label %649

570:                                              ; preds = %563
  %571 = load ptr, ptr @HTable, align 8, !tbaa !13
  %572 = load i32, ptr @Hash, align 4, !tbaa !5
  %573 = load i64, ptr %6, align 8, !tbaa !32
  call void @HashInsert(ptr noundef %571, i32 noundef %572, i64 noundef %573)
  store i64 0, ptr %4, align 8, !tbaa !32
  %574 = load i32, ptr @Gain23Used, align 4, !tbaa !5
  %575 = icmp ne i32 %574, 0
  br i1 %575, label %576, label %644

576:                                              ; preds = %570
  %577 = call i64 @Gain23()
  store i64 %577, ptr %4, align 8, !tbaa !32
  %578 = icmp sgt i64 %577, 0
  br i1 %578, label %579, label %644

579:                                              ; preds = %576
  %580 = load i64, ptr %4, align 8, !tbaa !32
  %581 = load i32, ptr @Precision, align 4, !tbaa !5
  %582 = sext i32 %581 to i64
  %583 = srem i64 %580, %582
  %584 = icmp eq i64 %583, 0
  br i1 %584, label %585, label %586

585:                                              ; preds = %579
  br label %587

586:                                              ; preds = %579
  call void @__assert_fail(ptr noundef @.str.7, ptr noundef @.str.8, i32 noundef 156, ptr noundef @__PRETTY_FUNCTION__.LinKernighan) #6
  unreachable

587:                                              ; preds = %585
  %588 = load i64, ptr %4, align 8, !tbaa !32
  %589 = load i32, ptr @Precision, align 4, !tbaa !5
  %590 = sext i32 %589 to i64
  %591 = sdiv i64 %588, %590
  %592 = load i64, ptr %6, align 8, !tbaa !32
  %593 = sub nsw i64 %592, %591
  store i64 %593, ptr %6, align 8, !tbaa !32
  call void @StoreTour()
  %594 = load i32, ptr @TraceLevel, align 4, !tbaa !5
  %595 = icmp sge i32 %594, 3
  br i1 %595, label %603, label %596

596:                                              ; preds = %587
  %597 = load i32, ptr @TraceLevel, align 4, !tbaa !5
  %598 = icmp eq i32 %597, 2
  br i1 %598, label %599, label %636

599:                                              ; preds = %596
  %600 = load i64, ptr %6, align 8, !tbaa !32
  %601 = load i64, ptr @BetterCost, align 8, !tbaa !32
  %602 = icmp slt i64 %600, %601
  br i1 %602, label %603, label %636

603:                                              ; preds = %599, %587
  %604 = load i64, ptr %6, align 8, !tbaa !32
  call void (ptr, ...) @printff(ptr noundef @.str, i64 noundef %604)
  %605 = load i64, ptr @Optimum, align 8, !tbaa !32
  %606 = icmp ne i64 %605, -9223372036854775808
  br i1 %606, label %607, label %619

607:                                              ; preds = %603
  %608 = load i64, ptr @Optimum, align 8, !tbaa !32
  %609 = icmp ne i64 %608, 0
  br i1 %609, label %610, label %619

610:                                              ; preds = %607
  %611 = load i64, ptr %6, align 8, !tbaa !32
  %612 = load i64, ptr @Optimum, align 8, !tbaa !32
  %613 = sub nsw i64 %611, %612
  %614 = sitofp i64 %613 to double
  %615 = fmul double 1.000000e+02, %614
  %616 = load i64, ptr @Optimum, align 8, !tbaa !32
  %617 = sitofp i64 %616 to double
  %618 = fdiv double %615, %617
  call void (ptr, ...) @printff(ptr noundef @.str.1, double noundef %618)
  br label %619

619:                                              ; preds = %610, %607, %603
  %620 = call double @GetTime()
  %621 = load double, ptr %13, align 8, !tbaa !9
  %622 = fsub double %620, %621
  %623 = call double @llvm.fabs.f64(double %622)
  %624 = load i64, ptr %6, align 8, !tbaa !32
  %625 = load i64, ptr @Optimum, align 8, !tbaa !32
  %626 = icmp slt i64 %624, %625
  br i1 %626, label %627, label %628

627:                                              ; preds = %619
  br label %634

628:                                              ; preds = %619
  %629 = load i64, ptr %6, align 8, !tbaa !32
  %630 = load i64, ptr @Optimum, align 8, !tbaa !32
  %631 = icmp eq i64 %629, %630
  %632 = zext i1 %631 to i64
  %633 = select i1 %631, ptr @.str.4, ptr @.str.5
  br label %634

634:                                              ; preds = %628, %627
  %635 = phi ptr [ @.str.3, %627 ], [ %633, %628 ]
  call void (ptr, ...) @printff(ptr noundef @.str.9, double noundef %623, ptr noundef %635)
  br label %636

636:                                              ; preds = %634, %599, %596
  %637 = load ptr, ptr @HTable, align 8, !tbaa !13
  %638 = load i32, ptr @Hash, align 4, !tbaa !5
  %639 = load i64, ptr %6, align 8, !tbaa !32
  %640 = call i32 @HashSearch(ptr noundef %637, i32 noundef %638, i64 noundef %639)
  %641 = icmp ne i32 %640, 0
  br i1 %641, label %642, label %643

642:                                              ; preds = %636
  br label %649

643:                                              ; preds = %636
  br label %644

644:                                              ; preds = %643, %576, %570
  br label %645

645:                                              ; preds = %644
  %646 = load i64, ptr %4, align 8, !tbaa !32
  %647 = icmp sgt i64 %646, 0
  br i1 %647, label %319, label %648, !llvm.loop !63

648:                                              ; preds = %645
  br label %649

649:                                              ; preds = %648, %642, %569, %555
  store i32 0, ptr @PredSucCostAvailable, align 4, !tbaa !5
  call void @NormalizeNodeList()
  call void @NormalizeSegmentList()
  %650 = load i64, ptr %6, align 8, !tbaa !32
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %2) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %1) #5
  ret i64 %650
}

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

declare double @GetTime() #2

declare void @Activate(ptr noundef) #2

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fabs.f64(double) #3

declare ptr @RemoveFirstActive() #2

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

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

declare void @StoreTour() #2

declare i32 @HashSearch(ptr noundef, i32 noundef, i64 noundef) #2

declare void @RestoreTour() #2

declare void @HashInsert(ptr noundef, i32 noundef, i64 noundef) #2

declare i64 @Gain23() #2

declare void @NormalizeNodeList() #2

declare void @NormalizeSegmentList() #2

; 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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { 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 #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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"double", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"short", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"any pointer", !7, i64 0}
!15 = !{!16, !6, i64 44}
!16 = !{!"Segment", !7, i64 0, !14, i64 8, !14, i64 16, !14, i64 24, !14, i64 32, !6, i64 40, !6, i64 44, !14, i64 48}
!17 = !{!16, !6, i64 40}
!18 = !{!16, !7, i64 0}
!19 = !{!16, !14, i64 16}
!20 = !{!16, !14, i64 8}
!21 = !{!16, !14, i64 32}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}
!24 = !{!25, !6, i64 44}
!25 = !{!"SSegment", !7, i64 0, !14, i64 8, !14, i64 16, !14, i64 24, !14, i64 32, !6, i64 40, !6, i64 44}
!26 = !{!25, !6, i64 40}
!27 = !{!25, !7, i64 0}
!28 = !{!25, !14, i64 16}
!29 = !{!25, !14, i64 8}
!30 = !{!25, !14, i64 32}
!31 = distinct !{!31, !23}
!32 = !{!33, !33, i64 0}
!33 = !{!"long long", !7, i64 0}
!34 = !{!35, !14, i64 72}
!35 = !{!"Node", !6, i64 0, !6, i64 4, !6, i64 8, !6, i64 12, !6, i64 16, !6, i64 20, !6, i64 24, !6, i64 28, !6, i64 32, !6, i64 36, !6, i64 40, !6, i64 44, !6, i64 48, !6, i64 52, !14, i64 56, !14, i64 64, !14, i64 72, !14, i64 80, !14, i64 88, !14, i64 96, !14, i64 104, !14, i64 112, !14, i64 120, !14, i64 128, !14, i64 136, !14, i64 144, !14, i64 152, !14, i64 160, !14, i64 168, !14, i64 176, !14, i64 184, !14, i64 192, !14, i64 200, !14, i64 208, !14, i64 216, !14, i64 224, !14, i64 232, !14, i64 240, !14, i64 248, !14, i64 256, !14, i64 264, !14, i64 272, !14, i64 280, !14, i64 288, !14, i64 296, !14, i64 304, !10, i64 312, !10, i64 320, !10, i64 328, !10, i64 336, !10, i64 344, !10, i64 352, !7, i64 360, !7, i64 361, !7, i64 362}
!36 = !{!35, !14, i64 88}
!37 = !{!35, !14, i64 64}
!38 = !{!35, !14, i64 80}
!39 = !{!35, !6, i64 8}
!40 = !{!35, !6, i64 28}
!41 = !{!35, !6, i64 32}
!42 = !{!35, !6, i64 36}
!43 = !{!35, !6, i64 0}
!44 = !{!35, !6, i64 20}
!45 = !{!35, !14, i64 288}
!46 = !{!47, !14, i64 0}
!47 = !{!"Candidate", !14, i64 0, !6, i64 8, !6, i64 12}
!48 = !{!47, !6, i64 8}
!49 = distinct !{!49, !23}
!50 = !{!35, !14, i64 304}
!51 = !{!16, !14, i64 48}
!52 = !{!35, !7, i64 362}
!53 = !{!35, !7, i64 361}
!54 = !{!35, !14, i64 128}
!55 = !{!35, !14, i64 96}
!56 = distinct !{!56, !23}
!57 = !{!35, !14, i64 152}
!58 = !{!35, !14, i64 160}
!59 = !{!35, !14, i64 112}
!60 = distinct !{!60, !23}
!61 = distinct !{!61, !23}
!62 = distinct !{!62, !23}
!63 = distinct !{!63, !23}


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

@Reversed = external dso_local local_unnamed_addr global i16, align 2
@FirstSegment = external dso_local local_unnamed_addr global ptr, align 8
@FirstSSegment = external dso_local local_unnamed_addr global ptr, align 8
@LastActive = external dso_local local_unnamed_addr global ptr, align 8
@FirstActive = external dso_local local_unnamed_addr global ptr, align 8
@Swaps = external dso_local local_unnamed_addr global i32, align 4
@Hash = external dso_local local_unnamed_addr global i32, align 4
@FirstNode = external dso_local local_unnamed_addr global ptr, align 8
@C = external dso_local local_unnamed_addr global ptr, align 8
@Rand = external dso_local local_unnamed_addr global ptr, align 8
@GroupSize = external dso_local local_unnamed_addr global i32, align 4
@SGroupSize = external dso_local local_unnamed_addr global i32, align 4
@KickType = external dso_local local_unnamed_addr global i32, align 4
@Kicks = external dso_local local_unnamed_addr global i32, align 4
@Precision = external dso_local local_unnamed_addr global i32, align 4
@TraceLevel = external dso_local local_unnamed_addr global i32, align 4
@BetterCost = external dso_local local_unnamed_addr global i64, align 8
@.str = external hidden unnamed_addr constant [12 x i8], align 1
@Optimum = external dso_local local_unnamed_addr global i64, align 8
@.str.1 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [1 x i8], align 1
@PredSucCostAvailable = external dso_local local_unnamed_addr global i32, align 4
@Trial = external dso_local local_unnamed_addr global i32, align 4
@Dimension = external dso_local local_unnamed_addr global i32, align 4
@.str.6 = external hidden unnamed_addr constant [24 x i8], align 1
@RestrictedSearch = external dso_local local_unnamed_addr global i32, align 4
@BackboneTrials = external dso_local local_unnamed_addr global i32, align 4
@BestMove = external dso_local local_unnamed_addr global ptr, align 8
@BestSubsequentMove = external dso_local local_unnamed_addr global ptr, align 8
@.str.7 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [73 x i8], align 1
@__PRETTY_FUNCTION__.LinKernighan = external hidden unnamed_addr constant [24 x i8], align 1
@HTable = external dso_local local_unnamed_addr global ptr, align 8
@Gain23Used = external dso_local local_unnamed_addr global i32, align 4
@.str.9 = external hidden unnamed_addr constant [26 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i64 @LinKernighan() local_unnamed_addr #0 {
  %1 = alloca i64, align 8
  %2 = alloca i64, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #6
  %3 = tail call double @GetTime() #6
  store i16 0, ptr @Reversed, align 2, !tbaa !5
  %4 = load ptr, ptr @FirstSegment, align 8, !tbaa !9
  br label %5

5:                                                ; preds = %5, %0
  %.0158 = phi i32 [ 0, %0 ], [ %7, %5 ]
  %.0151 = phi ptr [ %4, %0 ], [ %11, %5 ]
  %6 = getelementptr inbounds i8, ptr %.0151, i64 44
  store i32 0, ptr %6, align 4, !tbaa !11
  %7 = add nuw nsw i32 %.0158, 1
  %8 = getelementptr inbounds i8, ptr %.0151, i64 40
  store i32 %7, ptr %8, align 8, !tbaa !14
  store i8 0, ptr %.0151, align 8, !tbaa !15
  %9 = getelementptr inbounds i8, ptr %.0151, i64 8
  %10 = getelementptr inbounds i8, ptr %.0151, i64 32
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %9, i8 0, i64 16, i1 false)
  %11 = load ptr, ptr %10, align 8, !tbaa !16
  %.not = icmp eq ptr %11, %4
  br i1 %.not, label %12, label %5, !llvm.loop !17

12:                                               ; preds = %5
  %13 = load ptr, ptr @FirstSSegment, align 8, !tbaa !9
  br label %14

14:                                               ; preds = %14, %12
  %.1159 = phi i32 [ 0, %12 ], [ %16, %14 ]
  %.0150 = phi ptr [ %13, %12 ], [ %20, %14 ]
  %15 = getelementptr inbounds i8, ptr %.0150, i64 44
  store i32 0, ptr %15, align 4, !tbaa !19
  %16 = add nuw nsw i32 %.1159, 1
  %17 = getelementptr inbounds i8, ptr %.0150, i64 40
  store i32 %16, ptr %17, align 8, !tbaa !21
  store i8 0, ptr %.0150, align 8, !tbaa !22
  %18 = getelementptr inbounds i8, ptr %.0150, i64 8
  %19 = getelementptr inbounds i8, ptr %.0150, i64 32
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %18, i8 0, i64 16, i1 false)
  %20 = load ptr, ptr %19, align 8, !tbaa !23
  %.not194 = icmp eq ptr %20, %13
  br i1 %.not194, label %21, label %14, !llvm.loop !24

21:                                               ; preds = %14
  store ptr null, ptr @LastActive, align 8, !tbaa !9
  store ptr null, ptr @FirstActive, align 8, !tbaa !9
  store i32 0, ptr @Swaps, align 4, !tbaa !25
  store i32 0, ptr @Hash, align 4, !tbaa !25
  %22 = load ptr, ptr @FirstNode, align 8, !tbaa !9
  br label %23

23:                                               ; preds = %128, %21
  %.0162 = phi i64 [ 0, %21 ], [ %43, %128 ]
  %.2160 = phi i32 [ 0, %21 ], [ %30, %128 ]
  %.1152 = phi ptr [ %11, %21 ], [ %.2153, %128 ]
  %.1 = phi ptr [ %20, %21 ], [ %.2, %128 ]
  %.0 = phi ptr [ %22, %21 ], [ %129, %128 ]
  %24 = getelementptr inbounds i8, ptr %.0, i64 72
  %25 = load ptr, ptr %24, align 8, !tbaa !26
  %26 = getelementptr inbounds i8, ptr %.0, i64 88
  store ptr %25, ptr %26, align 8, !tbaa !29
  %27 = getelementptr inbounds i8, ptr %.0, i64 64
  %28 = load ptr, ptr %27, align 8, !tbaa !30
  %29 = getelementptr inbounds i8, ptr %.0, i64 80
  store ptr %28, ptr %29, align 8, !tbaa !31
  %30 = add nuw nsw i32 %.2160, 1
  %31 = getelementptr inbounds i8, ptr %.0, i64 8
  store i32 %30, ptr %31, align 8, !tbaa !32
  %32 = load ptr, ptr @C, align 8, !tbaa !9
  %33 = tail call i32 %32(ptr noundef %.0, ptr noundef %25) #6
  %34 = getelementptr inbounds i8, ptr %25, i64 28
  store i32 %33, ptr %34, align 4, !tbaa !33
  %35 = getelementptr inbounds i8, ptr %.0, i64 32
  store i32 %33, ptr %35, align 8, !tbaa !34
  %36 = getelementptr inbounds i8, ptr %.0, i64 36
  %37 = load i32, ptr %36, align 4, !tbaa !35
  %38 = getelementptr inbounds i8, ptr %25, i64 36
  %39 = load i32, ptr %38, align 4, !tbaa !35
  %40 = add i32 %37, %39
  %41 = sub i32 %33, %40
  %42 = sext i32 %41 to i64
  %43 = add nsw i64 %.0162, %42
  %44 = load ptr, ptr @Rand, align 8, !tbaa !9
  %45 = load i32, ptr %.0, align 8, !tbaa !36
  %46 = sext i32 %45 to i64
  %47 = getelementptr inbounds i32, ptr %44, i64 %46
  %48 = load i32, ptr %47, align 4, !tbaa !25
  %49 = load i32, ptr %25, align 8, !tbaa !36
  %50 = sext i32 %49 to i64
  %51 = getelementptr inbounds i32, ptr %44, i64 %50
  %52 = load i32, ptr %51, align 4, !tbaa !25
  %53 = mul i32 %52, %48
  %54 = load i32, ptr @Hash, align 4, !tbaa !25
  %55 = xor i32 %54, %53
  store i32 %55, ptr @Hash, align 4, !tbaa !25
  %56 = getelementptr inbounds i8, ptr %.0, i64 20
  store i32 2147483647, ptr %56, align 4, !tbaa !37
  %57 = getelementptr inbounds i8, ptr %.0, i64 288
  %58 = load ptr, ptr %57, align 8, !tbaa !38
  %59 = load ptr, ptr %58, align 8, !tbaa !39
  %.not195228 = icmp eq ptr %59, null
  br i1 %.not195228, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %23
  %60 = load ptr, ptr %27, align 8, !tbaa !30
  br label %61

61:                                               ; preds = %.lr.ph, %71
  %62 = phi i32 [ 2147483647, %.lr.ph ], [ %72, %71 ]
  %63 = phi ptr [ %59, %.lr.ph ], [ %74, %71 ]
  %.0154229 = phi ptr [ %58, %.lr.ph ], [ %73, %71 ]
  %.not205 = icmp eq ptr %63, %60
  br i1 %.not205, label %71, label %64

64:                                               ; preds = %61
  %65 = load ptr, ptr %24, align 8, !tbaa !26
  %.not206 = icmp eq ptr %63, %65
  br i1 %.not206, label %71, label %66

66:                                               ; preds = %64
  %67 = getelementptr inbounds i8, ptr %.0154229, i64 8
  %68 = load i32, ptr %67, align 8, !tbaa !41
  %69 = icmp slt i32 %68, %62
  br i1 %69, label %70, label %71

70:                                               ; preds = %66
  store i32 %68, ptr %56, align 4, !tbaa !37
  br label %71

71:                                               ; preds = %61, %64, %66, %70
  %72 = phi i32 [ %62, %61 ], [ %62, %64 ], [ %62, %66 ], [ %68, %70 ]
  %73 = getelementptr inbounds i8, ptr %.0154229, i64 16
  %74 = load ptr, ptr %73, align 8, !tbaa !39
  %.not195 = icmp eq ptr %74, null
  br i1 %.not195, label %._crit_edge, label %61, !llvm.loop !42

._crit_edge:                                      ; preds = %71, %23
  %75 = getelementptr inbounds i8, ptr %.0, i64 304
  store ptr %.1152, ptr %75, align 8, !tbaa !43
  %76 = getelementptr inbounds i8, ptr %.1152, i64 44
  %77 = load i32, ptr %76, align 4, !tbaa !11
  %78 = add nsw i32 %77, 1
  store i32 %78, ptr %76, align 4, !tbaa !11
  %79 = icmp eq i32 %77, 0
  br i1 %79, label %80, label %82

80:                                               ; preds = %._crit_edge
  %81 = getelementptr inbounds i8, ptr %.1152, i64 8
  store ptr %.0, ptr %81, align 8, !tbaa !44
  br label %82

82:                                               ; preds = %80, %._crit_edge
  %83 = getelementptr inbounds i8, ptr %.1152, i64 16
  store ptr %.0, ptr %83, align 8, !tbaa !45
  %84 = getelementptr inbounds i8, ptr %.1, i64 44
  %85 = load i32, ptr %84, align 4, !tbaa !19
  %86 = icmp eq i32 %85, 0
  br i1 %86, label %87, label %89

87:                                               ; preds = %82
  %88 = getelementptr inbounds i8, ptr %.1, i64 8
  store ptr %.1152, ptr %88, align 8, !tbaa !46
  br label %89

89:                                               ; preds = %87, %82
  %90 = getelementptr inbounds i8, ptr %.1152, i64 48
  store ptr %.1, ptr %90, align 8, !tbaa !47
  %91 = getelementptr inbounds i8, ptr %.1, i64 16
  store ptr %.1152, ptr %91, align 8, !tbaa !48
  %92 = load i32, ptr @GroupSize, align 4, !tbaa !25
  %93 = icmp eq i32 %78, %92
  br i1 %93, label %94, label %103

94:                                               ; preds = %89
  %95 = getelementptr inbounds i8, ptr %.1152, i64 32
  %96 = load ptr, ptr %95, align 8, !tbaa !16
  %97 = add nsw i32 %85, 1
  store i32 %97, ptr %84, align 4, !tbaa !19
  %98 = load i32, ptr @SGroupSize, align 4, !tbaa !25
  %99 = icmp eq i32 %97, %98
  br i1 %99, label %100, label %103

100:                                              ; preds = %94
  %101 = getelementptr inbounds i8, ptr %.1, i64 32
  %102 = load ptr, ptr %101, align 8, !tbaa !23
  br label %103

103:                                              ; preds = %94, %100, %89
  %.2153 = phi ptr [ %96, %100 ], [ %96, %94 ], [ %.1152, %89 ]
  %.2 = phi ptr [ %102, %100 ], [ %.1, %94 ], [ %.1, %89 ]
  %104 = getelementptr inbounds i8, ptr %.0, i64 362
  store i8 0, ptr %104, align 2, !tbaa !49
  %105 = getelementptr inbounds i8, ptr %.0, i64 361
  store i8 0, ptr %105, align 1, !tbaa !50
  %106 = getelementptr inbounds i8, ptr %.0, i64 128
  store ptr null, ptr %106, align 8, !tbaa !51
  %107 = load i32, ptr @KickType, align 4, !tbaa !25
  %108 = icmp eq i32 %107, 0
  %109 = load i32, ptr @Kicks, align 4
  %110 = icmp eq i32 %109, 0
  %or.cond = select i1 %108, i1 true, i1 %110
  br i1 %or.cond, label %127, label %111

111:                                              ; preds = %103
  %112 = getelementptr inbounds i8, ptr %.0, i64 96
  %113 = load ptr, ptr %112, align 8, !tbaa !52
  %114 = load ptr, ptr %27, align 8, !tbaa !30
  %115 = icmp eq ptr %113, %114
  br i1 %115, label %120, label %116

116:                                              ; preds = %111
  %117 = getelementptr inbounds i8, ptr %114, i64 96
  %118 = load ptr, ptr %117, align 8, !tbaa !52
  %119 = icmp eq ptr %118, %.0
  br i1 %119, label %120, label %127

120:                                              ; preds = %116, %111
  %121 = load ptr, ptr %24, align 8, !tbaa !26
  %122 = icmp eq ptr %113, %121
  br i1 %122, label %128, label %123

123:                                              ; preds = %120
  %124 = getelementptr inbounds i8, ptr %121, i64 96
  %125 = load ptr, ptr %124, align 8, !tbaa !52
  %126 = icmp eq ptr %125, %.0
  br i1 %126, label %128, label %127

127:                                              ; preds = %123, %116, %103
  tail call void @Activate(ptr noundef nonnull %.0) #6
  %.pre = load ptr, ptr %24, align 8, !tbaa !26
  br label %128

128:                                              ; preds = %120, %123, %127
  %129 = phi ptr [ %121, %120 ], [ %121, %123 ], [ %.pre, %127 ]
  %130 = load ptr, ptr @FirstNode, align 8, !tbaa !9
  %.not196 = icmp eq ptr %129, %130
  br i1 %.not196, label %131, label %23, !llvm.loop !53

131:                                              ; preds = %128
  %132 = getelementptr inbounds i8, ptr %.2153, i64 44
  %133 = load i32, ptr %132, align 4, !tbaa !11
  %134 = load i32, ptr @GroupSize, align 4, !tbaa !25
  %135 = icmp slt i32 %133, %134
  br i1 %135, label %136, label %140

136:                                              ; preds = %131
  %137 = getelementptr inbounds i8, ptr %.2, i64 44
  %138 = load i32, ptr %137, align 4, !tbaa !19
  %139 = add nsw i32 %138, 1
  store i32 %139, ptr %137, align 4, !tbaa !19
  br label %140

140:                                              ; preds = %136, %131
  %141 = load i32, ptr @Precision, align 4, !tbaa !25
  %142 = sext i32 %141 to i64
  %143 = sdiv i64 %43, %142
  %144 = load i32, ptr @TraceLevel, align 4, !tbaa !25
  %145 = icmp sgt i32 %144, 2
  br i1 %145, label %150, label %146

146:                                              ; preds = %140
  %147 = icmp eq i32 %144, 2
  %148 = load i64, ptr @BetterCost, align 8
  %149 = icmp slt i64 %143, %148
  %or.cond209 = select i1 %147, i1 %149, i1 false
  br i1 %or.cond209, label %150, label %168

150:                                              ; preds = %146, %140
  tail call void (ptr, ...) @printff(ptr noundef nonnull @.str, i64 noundef %143) #6
  %151 = load i64, ptr @Optimum, align 8
  %152 = and i64 %151, 9223372036854775807
  %or.cond3.not = icmp eq i64 %152, 0
  br i1 %or.cond3.not, label %159, label %153

153:                                              ; preds = %150
  %154 = sub nsw i64 %143, %151
  %155 = sitofp i64 %154 to double
  %156 = fmul double %155, 1.000000e+02
  %157 = sitofp i64 %151 to double
  %158 = fdiv double %156, %157
  tail call void (ptr, ...) @printff(ptr noundef nonnull @.str.1, double noundef %158) #6
  br label %159

159:                                              ; preds = %153, %150
  %160 = tail call double @GetTime() #6
  %161 = fsub double %160, %3
  %162 = tail call double @llvm.fabs.f64(double %161)
  %163 = load i64, ptr @Optimum, align 8, !tbaa !54
  %164 = icmp slt i64 %143, %163
  %165 = icmp eq i64 %143, %163
  %166 = select i1 %165, ptr @.str.4, ptr @.str.5
  %167 = select i1 %164, ptr @.str.3, ptr %166
  tail call void (ptr, ...) @printff(ptr noundef nonnull @.str.2, double noundef %162, ptr noundef nonnull %167) #6
  br label %168

168:                                              ; preds = %159, %146
  store i32 1, ptr @PredSucCostAvailable, align 4, !tbaa !25
  br label %169

169:                                              ; preds = %390, %168
  %.1163 = phi i64 [ %143, %168 ], [ %365, %390 ]
  %.0155 = phi i32 [ 0, %168 ], [ %.1156.lcssa, %390 ]
  %170 = call ptr @RemoveFirstActive() #6
  %.not197231 = icmp eq ptr %170, null
  br i1 %.not197231, label %._crit_edge236, label %.lr.ph235

.lr.ph235:                                        ; preds = %169, %.loopexit
  %171 = phi ptr [ %346, %.loopexit ], [ %170, %169 ]
  %.1156233 = phi i32 [ %.2157, %.loopexit ], [ %.0155, %169 ]
  %.2164232 = phi i64 [ %.3, %.loopexit ], [ %.1163, %169 ]
  %172 = load i16, ptr @Reversed, align 2, !tbaa !5
  %173 = getelementptr inbounds i8, ptr %171, i64 304
  %174 = load ptr, ptr %173, align 8, !tbaa !43
  %175 = load i8, ptr %174, align 8, !tbaa !15
  %176 = sext i8 %175 to i16
  %177 = icmp eq i16 %172, %176
  %178 = getelementptr inbounds i8, ptr %171, i64 72
  %179 = getelementptr inbounds i8, ptr %171, i64 64
  %.in = select i1 %177, ptr %178, ptr %179
  %180 = load ptr, ptr %.in, align 8, !tbaa !9
  %181 = load i32, ptr @TraceLevel, align 4, !tbaa !25
  %182 = icmp sgt i32 %181, 2
  br i1 %182, label %187, label %183

183:                                              ; preds = %.lr.ph235
  %184 = icmp eq i32 %181, 2
  %185 = load i32, ptr @Trial, align 4
  %186 = icmp eq i32 %185, 1
  %or.cond5 = select i1 %184, i1 %186, i1 false
  br i1 %or.cond5, label %187, label %200

187:                                              ; preds = %183, %.lr.ph235
  %188 = add nsw i32 %.1156233, 1
  %189 = load i32, ptr @Dimension, align 4, !tbaa !25
  %190 = icmp sgt i32 %189, 99999
  %191 = icmp sgt i32 %189, 9999
  %192 = select i1 %191, i32 1000, i32 100
  %193 = select i1 %190, i32 10000, i32 %192
  %194 = srem i32 %188, %193
  %195 = icmp eq i32 %194, 0
  br i1 %195, label %196, label %200

196:                                              ; preds = %187
  %197 = call double @GetTime() #6
  %198 = fsub double %197, %3
  %199 = call double @llvm.fabs.f64(double %198)
  call void (ptr, ...) @printff(ptr noundef nonnull @.str.6, i32 noundef %188, double noundef %199) #6
  br label %200

200:                                              ; preds = %183, %187, %196
  %.2157 = phi i32 [ %188, %196 ], [ %188, %187 ], [ %.1156233, %183 ]
  %201 = getelementptr inbounds i8, ptr %171, i64 152
  %202 = getelementptr inbounds i8, ptr %171, i64 160
  %203 = getelementptr inbounds i8, ptr %171, i64 96
  %204 = getelementptr inbounds i8, ptr %171, i64 112
  %205 = load i16, ptr @Reversed, align 2, !tbaa !5
  %206 = load ptr, ptr %173, align 8, !tbaa !43
  %207 = load i8, ptr %206, align 8, !tbaa !15
  %208 = sext i8 %207 to i16
  %209 = icmp eq i16 %205, %208
  %spec.select = select i1 %209, ptr %179, ptr %178
  %210 = load ptr, ptr %spec.select, align 8, !tbaa !9
  %211 = load ptr, ptr %201, align 8, !tbaa !56
  %212 = icmp eq ptr %211, %210
  br i1 %212, label %297, label %213

213:                                              ; preds = %200
  %214 = load ptr, ptr %202, align 8, !tbaa !57
  %215 = icmp eq ptr %214, %210
  br i1 %215, label %297, label %216

216:                                              ; preds = %213
  %217 = call i32 @IsCommonEdge(ptr noundef nonnull %171, ptr noundef %210) #6
  %.not200 = icmp eq i32 %217, 0
  br i1 %.not200, label %218, label %297

218:                                              ; preds = %216
  %219 = load i32, ptr @RestrictedSearch, align 4, !tbaa !25
  %.not201 = icmp eq i32 %219, 0
  br i1 %.not201, label %246, label %220

220:                                              ; preds = %218
  %221 = load ptr, ptr %203, align 8, !tbaa !52
  %.not202 = icmp eq ptr %221, null
  br i1 %.not202, label %228, label %222

222:                                              ; preds = %220
  %223 = icmp eq ptr %221, %210
  br i1 %223, label %235, label %224

224:                                              ; preds = %222
  %225 = getelementptr inbounds i8, ptr %210, i64 96
  %226 = load ptr, ptr %225, align 8, !tbaa !52
  %227 = icmp eq ptr %226, %171
  br i1 %227, label %235, label %246

228:                                              ; preds = %220
  %229 = load ptr, ptr %204, align 8, !tbaa !58
  %230 = icmp eq ptr %229, %210
  br i1 %230, label %235, label %231

231:                                              ; preds = %228
  %232 = getelementptr inbounds i8, ptr %210, i64 112
  %233 = load ptr, ptr %232, align 8, !tbaa !58
  %234 = icmp eq ptr %233, %171
  br i1 %234, label %235, label %246

235:                                              ; preds = %231, %228, %224, %222
  %236 = load i32, ptr @Trial, align 4, !tbaa !25
  %237 = icmp eq i32 %236, 1
  br i1 %237, label %297, label %238

238:                                              ; preds = %235
  %239 = load i32, ptr @BackboneTrials, align 4, !tbaa !25
  %240 = icmp sgt i32 %236, %239
  br i1 %240, label %241, label %246

241:                                              ; preds = %238
  %242 = load i32, ptr @KickType, align 4, !tbaa !25
  %243 = icmp eq i32 %242, 0
  %244 = load i32, ptr @Kicks, align 4
  %245 = icmp eq i32 %244, 0
  %or.cond7 = select i1 %243, i1 true, i1 %245
  br i1 %or.cond7, label %297, label %246

246:                                              ; preds = %241, %238, %231, %224, %218
  %247 = load ptr, ptr @C, align 8, !tbaa !9
  %248 = call i32 %247(ptr noundef nonnull %171, ptr noundef %210) #6
  %249 = sext i32 %248 to i64
  store i64 %249, ptr %2, align 8, !tbaa !54
  br label %250

250:                                              ; preds = %250, %246
  %.0165 = phi ptr [ %210, %246 ], [ %254, %250 ]
  %251 = load i32, ptr @Swaps, align 4, !tbaa !25
  %252 = icmp eq i32 %251, 0
  %BestMove.val = load ptr, ptr @BestMove, align 8
  %BestSubsequentMove.val = load ptr, ptr @BestSubsequentMove, align 8
  %253 = select i1 %252, ptr %BestMove.val, ptr %BestSubsequentMove.val
  %254 = call ptr %253(ptr noundef nonnull %171, ptr noundef %.0165, ptr noundef nonnull %2, ptr noundef nonnull %1) #6
  %.not203 = icmp eq ptr %254, null
  br i1 %.not203, label %255, label %250, !llvm.loop !59

255:                                              ; preds = %250
  %256 = load i64, ptr %1, align 8, !tbaa !54
  %257 = icmp sgt i64 %256, 0
  br i1 %257, label %258, label %296

258:                                              ; preds = %342, %255
  %.lcssa = phi i64 [ %256, %255 ], [ %343, %342 ]
  %259 = load i32, ptr @Precision, align 4, !tbaa !25
  %260 = sext i32 %259 to i64
  %261 = srem i64 %.lcssa, %260
  %262 = sdiv i64 %.lcssa, %260
  %263 = icmp eq i64 %261, 0
  br i1 %263, label %265, label %264

264:                                              ; preds = %258
  call void @__assert_fail(ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.8, i32 noundef 126, ptr noundef nonnull @__PRETTY_FUNCTION__.LinKernighan) #7
  unreachable

265:                                              ; preds = %258
  %266 = sub nsw i64 %.2164232, %262
  %267 = load i32, ptr @TraceLevel, align 4, !tbaa !25
  %268 = icmp sgt i32 %267, 2
  br i1 %268, label %273, label %269

269:                                              ; preds = %265
  %270 = icmp eq i32 %267, 2
  %271 = load i64, ptr @BetterCost, align 8
  %272 = icmp slt i64 %266, %271
  %or.cond212 = select i1 %270, i1 %272, i1 false
  br i1 %or.cond212, label %273, label %291

273:                                              ; preds = %269, %265
  call void (ptr, ...) @printff(ptr noundef nonnull @.str, i64 noundef %266) #6
  %274 = load i64, ptr @Optimum, align 8
  %275 = and i64 %274, 9223372036854775807
  %or.cond9.not = icmp eq i64 %275, 0
  br i1 %or.cond9.not, label %282, label %276

276:                                              ; preds = %273
  %277 = sub nsw i64 %266, %274
  %278 = sitofp i64 %277 to double
  %279 = fmul double %278, 1.000000e+02
  %280 = sitofp i64 %274 to double
  %281 = fdiv double %279, %280
  call void (ptr, ...) @printff(ptr noundef nonnull @.str.1, double noundef %281) #6
  br label %282

282:                                              ; preds = %276, %273
  %283 = call double @GetTime() #6
  %284 = fsub double %283, %3
  %285 = call double @llvm.fabs.f64(double %284)
  %286 = load i64, ptr @Optimum, align 8, !tbaa !54
  %287 = icmp slt i64 %266, %286
  %288 = icmp eq i64 %266, %286
  %289 = select i1 %288, ptr @.str.4, ptr @.str.5
  %290 = select i1 %287, ptr @.str.3, ptr %289
  call void (ptr, ...) @printff(ptr noundef nonnull @.str.2, double noundef %285, ptr noundef nonnull %290) #6
  br label %291

291:                                              ; preds = %282, %269
  call void @StoreTour() #6
  %292 = load ptr, ptr @HTable, align 8, !tbaa !9
  %293 = load i32, ptr @Hash, align 4, !tbaa !25
  %294 = call i32 @HashSearch(ptr noundef %292, i32 noundef %293, i64 noundef %266) #6
  %.not204 = icmp eq i32 %294, 0
  br i1 %.not204, label %295, label %.loopexit218

295:                                              ; preds = %291
  call void @Activate(ptr noundef nonnull %171) #6
  br label %.loopexit

296:                                              ; preds = %255
  call void @RestoreTour() #6
  br label %297

297:                                              ; preds = %296, %241, %235, %216, %213, %200
  %298 = load ptr, ptr %201, align 8, !tbaa !56
  %299 = icmp eq ptr %298, %180
  br i1 %299, label %.loopexit, label %300

300:                                              ; preds = %297
  %301 = load ptr, ptr %202, align 8, !tbaa !57
  %302 = icmp eq ptr %301, %180
  br i1 %302, label %.loopexit, label %303

303:                                              ; preds = %300
  %304 = call i32 @IsCommonEdge(ptr noundef nonnull %171, ptr noundef %180) #6
  %.not200.1 = icmp eq i32 %304, 0
  br i1 %.not200.1, label %305, label %.loopexit

305:                                              ; preds = %303
  %306 = load i32, ptr @RestrictedSearch, align 4, !tbaa !25
  %.not201.1 = icmp eq i32 %306, 0
  br i1 %.not201.1, label %333, label %307

307:                                              ; preds = %305
  %308 = load ptr, ptr %203, align 8, !tbaa !52
  %.not202.1 = icmp eq ptr %308, null
  br i1 %.not202.1, label %315, label %309

309:                                              ; preds = %307
  %310 = icmp eq ptr %308, %180
  br i1 %310, label %322, label %311

311:                                              ; preds = %309
  %312 = getelementptr inbounds i8, ptr %180, i64 96
  %313 = load ptr, ptr %312, align 8, !tbaa !52
  %314 = icmp eq ptr %313, %171
  br i1 %314, label %322, label %333

315:                                              ; preds = %307
  %316 = load ptr, ptr %204, align 8, !tbaa !58
  %317 = icmp eq ptr %316, %180
  br i1 %317, label %322, label %318

318:                                              ; preds = %315
  %319 = getelementptr inbounds i8, ptr %180, i64 112
  %320 = load ptr, ptr %319, align 8, !tbaa !58
  %321 = icmp eq ptr %320, %171
  br i1 %321, label %322, label %333

322:                                              ; preds = %318, %315, %311, %309
  %323 = load i32, ptr @Trial, align 4, !tbaa !25
  %324 = icmp eq i32 %323, 1
  br i1 %324, label %.loopexit, label %325

325:                                              ; preds = %322
  %326 = load i32, ptr @BackboneTrials, align 4, !tbaa !25
  %327 = icmp sgt i32 %323, %326
  br i1 %327, label %328, label %333

328:                                              ; preds = %325
  %329 = load i32, ptr @KickType, align 4, !tbaa !25
  %330 = icmp eq i32 %329, 0
  %331 = load i32, ptr @Kicks, align 4
  %332 = icmp eq i32 %331, 0
  %or.cond7.1 = select i1 %330, i1 true, i1 %332
  br i1 %or.cond7.1, label %.loopexit, label %333

333:                                              ; preds = %328, %325, %318, %311, %305
  %334 = load ptr, ptr @C, align 8, !tbaa !9
  %335 = call i32 %334(ptr noundef nonnull %171, ptr noundef %180) #6
  %336 = sext i32 %335 to i64
  store i64 %336, ptr %2, align 8, !tbaa !54
  br label %337

337:                                              ; preds = %337, %333
  %.0165.1 = phi ptr [ %180, %333 ], [ %341, %337 ]
  %338 = load i32, ptr @Swaps, align 4, !tbaa !25
  %339 = icmp eq i32 %338, 0
  %BestMove.val255 = load ptr, ptr @BestMove, align 8
  %BestSubsequentMove.val256 = load ptr, ptr @BestSubsequentMove, align 8
  %340 = select i1 %339, ptr %BestMove.val255, ptr %BestSubsequentMove.val256
  %341 = call ptr %340(ptr noundef nonnull %171, ptr noundef %.0165.1, ptr noundef nonnull %2, ptr noundef nonnull %1) #6
  %.not203.1 = icmp eq ptr %341, null
  br i1 %.not203.1, label %342, label %337, !llvm.loop !59

342:                                              ; preds = %337
  %343 = load i64, ptr %1, align 8, !tbaa !54
  %344 = icmp sgt i64 %343, 0
  br i1 %344, label %258, label %345

345:                                              ; preds = %342
  call void @RestoreTour() #6
  br label %.loopexit

.loopexit:                                        ; preds = %297, %300, %303, %322, %328, %345, %295
  %.3 = phi i64 [ %266, %295 ], [ %.2164232, %345 ], [ %.2164232, %328 ], [ %.2164232, %322 ], [ %.2164232, %303 ], [ %.2164232, %300 ], [ %.2164232, %297 ]
  %346 = call ptr @RemoveFirstActive() #6
  %.not197 = icmp eq ptr %346, null
  br i1 %.not197, label %._crit_edge236, label %.lr.ph235, !llvm.loop !60

._crit_edge236:                                   ; preds = %.loopexit, %169
  %.2164.lcssa = phi i64 [ %.1163, %169 ], [ %.3, %.loopexit ]
  %.1156.lcssa = phi i32 [ %.0155, %169 ], [ %.2157, %.loopexit ]
  %347 = load ptr, ptr @HTable, align 8, !tbaa !9
  %348 = load i32, ptr @Hash, align 4, !tbaa !25
  %349 = call i32 @HashSearch(ptr noundef %347, i32 noundef %348, i64 noundef %.2164.lcssa) #6
  %.not198 = icmp eq i32 %349, 0
  br i1 %.not198, label %350, label %.loopexit218

350:                                              ; preds = %._crit_edge236
  %351 = load ptr, ptr @HTable, align 8, !tbaa !9
  %352 = load i32, ptr @Hash, align 4, !tbaa !25
  call void @HashInsert(ptr noundef %351, i32 noundef %352, i64 noundef %.2164.lcssa) #6
  store i64 0, ptr %1, align 8, !tbaa !54
  %353 = load i32, ptr @Gain23Used, align 4, !tbaa !25
  %.not199 = icmp eq i32 %353, 0
  br i1 %.not199, label %.loopexit218, label %354, !llvm.loop !61

354:                                              ; preds = %350
  %355 = call i64 @Gain23() #6
  store i64 %355, ptr %1, align 8, !tbaa !54
  %356 = icmp sgt i64 %355, 0
  br i1 %356, label %357, label %.loopexit218, !llvm.loop !61

357:                                              ; preds = %354
  %358 = load i32, ptr @Precision, align 4, !tbaa !25
  %359 = sext i32 %358 to i64
  %360 = srem i64 %355, %359
  %361 = sdiv i64 %355, %359
  %362 = icmp eq i64 %360, 0
  br i1 %362, label %364, label %363

363:                                              ; preds = %357
  call void @__assert_fail(ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.8, i32 noundef 156, ptr noundef nonnull @__PRETTY_FUNCTION__.LinKernighan) #7
  unreachable

364:                                              ; preds = %357
  %365 = sub nsw i64 %.2164.lcssa, %361
  call void @StoreTour() #6
  %366 = load i32, ptr @TraceLevel, align 4, !tbaa !25
  %367 = icmp sgt i32 %366, 2
  br i1 %367, label %372, label %368

368:                                              ; preds = %364
  %369 = icmp eq i32 %366, 2
  %370 = load i64, ptr @BetterCost, align 8
  %371 = icmp slt i64 %365, %370
  %or.cond215 = select i1 %369, i1 %371, i1 false
  br i1 %or.cond215, label %372, label %390

372:                                              ; preds = %368, %364
  call void (ptr, ...) @printff(ptr noundef nonnull @.str, i64 noundef %365) #6
  %373 = load i64, ptr @Optimum, align 8
  %374 = and i64 %373, 9223372036854775807
  %or.cond11.not = icmp eq i64 %374, 0
  br i1 %or.cond11.not, label %381, label %375

375:                                              ; preds = %372
  %376 = sub nsw i64 %365, %373
  %377 = sitofp i64 %376 to double
  %378 = fmul double %377, 1.000000e+02
  %379 = sitofp i64 %373 to double
  %380 = fdiv double %378, %379
  call void (ptr, ...) @printff(ptr noundef nonnull @.str.1, double noundef %380) #6
  br label %381

381:                                              ; preds = %375, %372
  %382 = call double @GetTime() #6
  %383 = fsub double %382, %3
  %384 = call double @llvm.fabs.f64(double %383)
  %385 = load i64, ptr @Optimum, align 8, !tbaa !54
  %386 = icmp slt i64 %365, %385
  %387 = icmp eq i64 %365, %385
  %388 = select i1 %387, ptr @.str.4, ptr @.str.5
  %389 = select i1 %386, ptr @.str.3, ptr %388
  call void (ptr, ...) @printff(ptr noundef nonnull @.str.9, double noundef %384, ptr noundef nonnull %389) #6
  br label %390

390:                                              ; preds = %381, %368
  %391 = load ptr, ptr @HTable, align 8, !tbaa !9
  %392 = load i32, ptr @Hash, align 4, !tbaa !25
  %393 = call i32 @HashSearch(ptr noundef %391, i32 noundef %392, i64 noundef %365) #6
  %394 = icmp eq i32 %393, 0
  %395 = load i64, ptr %1, align 8
  %396 = icmp sgt i64 %395, 0
  %or.cond13 = select i1 %394, i1 %396, i1 false
  br i1 %or.cond13, label %169, label %.loopexit218, !llvm.loop !61

.loopexit218:                                     ; preds = %354, %350, %390, %._crit_edge236, %291
  %.4 = phi i64 [ %266, %291 ], [ %.2164.lcssa, %354 ], [ %.2164.lcssa, %350 ], [ %365, %390 ], [ %.2164.lcssa, %._crit_edge236 ]
  store i32 0, ptr @PredSucCostAvailable, align 4, !tbaa !25
  call void @NormalizeNodeList() #6
  call void @NormalizeSegmentList() #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #6
  ret i64 %.4
}

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

declare double @GetTime() local_unnamed_addr #2

declare void @Activate(ptr noundef) local_unnamed_addr #2

declare void @printff(ptr noundef, ...) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fabs.f64(double) #3

declare ptr @RemoveFirstActive() local_unnamed_addr #2

declare i32 @IsCommonEdge(ptr noundef, ptr noundef) local_unnamed_addr #2

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

declare void @StoreTour() local_unnamed_addr #2

declare i32 @HashSearch(ptr noundef, i32 noundef, i64 noundef) local_unnamed_addr #2

declare void @RestoreTour() local_unnamed_addr #2

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

declare i64 @Gain23() local_unnamed_addr #2

declare void @NormalizeNodeList() local_unnamed_addr #2

declare void @NormalizeSegmentList() local_unnamed_addr #2

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { 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 #5 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #6 = { nounwind }
attributes #7 = { 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 = !{!"short", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !13, i64 44}
!12 = !{!"Segment", !7, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !13, i64 40, !13, i64 44, !10, i64 48}
!13 = !{!"int", !7, i64 0}
!14 = !{!12, !13, i64 40}
!15 = !{!12, !7, i64 0}
!16 = !{!12, !10, i64 32}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!20, !13, i64 44}
!20 = !{!"SSegment", !7, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !13, i64 40, !13, i64 44}
!21 = !{!20, !13, i64 40}
!22 = !{!20, !7, i64 0}
!23 = !{!20, !10, i64 32}
!24 = distinct !{!24, !18}
!25 = !{!13, !13, i64 0}
!26 = !{!27, !10, i64 72}
!27 = !{!"Node", !13, i64 0, !13, i64 4, !13, i64 8, !13, i64 12, !13, i64 16, !13, i64 20, !13, i64 24, !13, i64 28, !13, i64 32, !13, i64 36, !13, i64 40, !13, i64 44, !13, i64 48, !13, i64 52, !10, i64 56, !10, i64 64, !10, i64 72, !10, i64 80, !10, i64 88, !10, i64 96, !10, i64 104, !10, i64 112, !10, i64 120, !10, i64 128, !10, 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, !10, i64 216, !10, i64 224, !10, i64 232, !10, i64 240, !10, i64 248, !10, i64 256, !10, i64 264, !10, i64 272, !10, i64 280, !10, i64 288, !10, i64 296, !10, i64 304, !28, i64 312, !28, i64 320, !28, i64 328, !28, i64 336, !28, i64 344, !28, i64 352, !7, i64 360, !7, i64 361, !7, i64 362}
!28 = !{!"double", !7, i64 0}
!29 = !{!27, !10, i64 88}
!30 = !{!27, !10, i64 64}
!31 = !{!27, !10, i64 80}
!32 = !{!27, !13, i64 8}
!33 = !{!27, !13, i64 28}
!34 = !{!27, !13, i64 32}
!35 = !{!27, !13, i64 36}
!36 = !{!27, !13, i64 0}
!37 = !{!27, !13, i64 20}
!38 = !{!27, !10, i64 288}
!39 = !{!40, !10, i64 0}
!40 = !{!"Candidate", !10, i64 0, !13, i64 8, !13, i64 12}
!41 = !{!40, !13, i64 8}
!42 = distinct !{!42, !18}
!43 = !{!27, !10, i64 304}
!44 = !{!12, !10, i64 8}
!45 = !{!12, !10, i64 16}
!46 = !{!20, !10, i64 8}
!47 = !{!12, !10, i64 48}
!48 = !{!20, !10, i64 16}
!49 = !{!27, !7, i64 362}
!50 = !{!27, !7, i64 361}
!51 = !{!27, !10, i64 128}
!52 = !{!27, !10, i64 96}
!53 = distinct !{!53, !18}
!54 = !{!55, !55, i64 0}
!55 = !{!"long long", !7, i64 0}
!56 = !{!27, !10, i64 152}
!57 = !{!27, !10, i64 160}
!58 = !{!27, !10, i64 112}
!59 = distinct !{!59, !18}
!60 = distinct !{!60, !18}
!61 = distinct !{!61, !18}


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