; LLVM IR from sunkafei/xcpc-algorithm-templates :: 算法/图论/一般图最大权匹配.ll (Z8matchingv)

; 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.edge = type { i32, i32, i32 }
%"class.std::deque" = type { %"class.std::_Deque_base" }
%"class.std::_Deque_base" = type { %"struct.std::_Deque_base<int, std::allocator<int>>::_Deque_impl" }
%"struct.std::_Deque_base<int, std::allocator<int>>::_Deque_impl" = type { %"struct.std::_Deque_base<int, std::allocator<int>>::_Deque_impl_data" }
%"struct.std::_Deque_base<int, std::allocator<int>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator", %"struct.std::_Deque_iterator" }
%"struct.std::_Deque_iterator" = type { ptr, ptr, ptr, ptr }

@g = external dso_local global [1023 x [1023 x %struct.edge]], align 16
@n = external dso_local global i32, align 4
@num = external dso_local global i32, align 4
@lab = external dso_local global [1023 x i32], align 16
@match = external dso_local global [1023 x i32], align 16
@slack = external dso_local global [1023 x i32], align 16
@st = external dso_local global [1023 x i32], align 16
@pa = external dso_local global [1023 x i32], align 16
@S = external dso_local global [1023 x i32], align 16
@q = external dso_local global %"class.std::deque", align 8

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z4pushi(i32 noundef) #2

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z6expandi(i32 noundef) #2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_Z5foundRK4edge(ptr noundef nonnull align 4 dereferenceable(12)) #2

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z8matchingv() #2 {
  %1 = alloca i1, align 1
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = load i32, ptr @num, align 4, !tbaa !5
  %19 = sext i32 %18 to i64
  %20 = getelementptr inbounds i32, ptr @S, i64 %19
  %21 = getelementptr inbounds i32, ptr %20, i64 1
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #5
  store i32 -1, ptr %2, align 4, !tbaa !5
  call void @_ZSt4fillIPiiEvT_S1_RKT0_(ptr noundef @S, ptr noundef %21, ptr noundef nonnull align 4 dereferenceable(4) %2)
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #5
  %22 = load i32, ptr @num, align 4, !tbaa !5
  %23 = sext i32 %22 to i64
  %24 = getelementptr inbounds i32, ptr @slack, i64 %23
  %25 = getelementptr inbounds i32, ptr %24, i64 1
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #5
  store i32 0, ptr %3, align 4, !tbaa !5
  call void @_ZSt4fillIPiiEvT_S1_RKT0_(ptr noundef @slack, ptr noundef %25, ptr noundef nonnull align 4 dereferenceable(4) %3)
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #5
  call void @_ZNSt5dequeIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #5
  store i32 1, ptr %4, align 4, !tbaa !5
  br label %26

26:                                               ; preds = %53, %0
  %27 = load i32, ptr %4, align 4, !tbaa !5
  %28 = load i32, ptr @num, align 4, !tbaa !5
  %29 = icmp sle i32 %27, %28
  br i1 %29, label %31, label %30

30:                                               ; preds = %26
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #5
  br label %56

31:                                               ; preds = %26
  %32 = load i32, ptr %4, align 4, !tbaa !5
  %33 = sext i32 %32 to i64
  %34 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %33
  %35 = load i32, ptr %34, align 4, !tbaa !5
  %36 = load i32, ptr %4, align 4, !tbaa !5
  %37 = icmp eq i32 %35, %36
  br i1 %37, label %38, label %52

38:                                               ; preds = %31
  %39 = load i32, ptr %4, align 4, !tbaa !5
  %40 = sext i32 %39 to i64
  %41 = getelementptr inbounds [1023 x i32], ptr @match, i64 0, i64 %40
  %42 = load i32, ptr %41, align 4, !tbaa !5
  %43 = icmp ne i32 %42, 0
  br i1 %43, label %52, label %44

44:                                               ; preds = %38
  %45 = load i32, ptr %4, align 4, !tbaa !5
  %46 = sext i32 %45 to i64
  %47 = getelementptr inbounds [1023 x i32], ptr @pa, i64 0, i64 %46
  store i32 0, ptr %47, align 4, !tbaa !5
  %48 = load i32, ptr %4, align 4, !tbaa !5
  %49 = sext i32 %48 to i64
  %50 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %49
  store i32 0, ptr %50, align 4, !tbaa !5
  %51 = load i32, ptr %4, align 4, !tbaa !5
  call void @_Z4pushi(i32 noundef %51)
  br label %52

52:                                               ; preds = %44, %38, %31
  br label %53

53:                                               ; preds = %52
  %54 = load i32, ptr %4, align 4, !tbaa !5
  %55 = add nsw i32 %54, 1
  store i32 %55, ptr %4, align 4, !tbaa !5
  br label %26, !llvm.loop !9

56:                                               ; preds = %30
  %57 = call noundef zeroext i1 @_ZNKSt5dequeIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  br i1 %57, label %58, label %59

58:                                               ; preds = %56
  store i1 false, ptr %1, align 1
  br label %627

59:                                               ; preds = %56
  br label %60

60:                                               ; preds = %626, %59
  br label %61

61:                                               ; preds = %177, %175, %60
  %62 = call noundef i64 @_ZNKSt5dequeIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  %63 = icmp ne i64 %62, 0
  br i1 %63, label %64, label %178

64:                                               ; preds = %61
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #5
  %65 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5dequeIiSaIiEE5frontEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  %66 = load i32, ptr %65, align 4, !tbaa !5
  store i32 %66, ptr %5, align 4, !tbaa !5
  call void @_ZNSt5dequeIiSaIiEE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  %67 = load i32, ptr %5, align 4, !tbaa !5
  %68 = sext i32 %67 to i64
  %69 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %68
  %70 = load i32, ptr %69, align 4, !tbaa !5
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %71
  %73 = load i32, ptr %72, align 4, !tbaa !5
  %74 = icmp eq i32 %73, 1
  br i1 %74, label %75, label %76

75:                                               ; preds = %64
  store i32 7, ptr %6, align 4
  br label %175, !llvm.loop !11

76:                                               ; preds = %64
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  store i32 1, ptr %7, align 4, !tbaa !5
  br label %77

77:                                               ; preds = %169, %76
  %78 = load i32, ptr %7, align 4, !tbaa !5
  %79 = load i32, ptr @n, align 4, !tbaa !5
  %80 = icmp sle i32 %78, %79
  br i1 %80, label %82, label %81

81:                                               ; preds = %77
  store i32 9, ptr %6, align 4
  br label %172

82:                                               ; preds = %77
  %83 = load i32, ptr %5, align 4, !tbaa !5
  %84 = sext i32 %83 to i64
  %85 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %84
  %86 = load i32, ptr %7, align 4, !tbaa !5
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds [1023 x %struct.edge], ptr %85, i64 0, i64 %87
  %89 = getelementptr inbounds %struct.edge, ptr %88, i32 0, i32 2
  %90 = load i32, ptr %89, align 4, !tbaa !12
  %91 = icmp sgt i32 %90, 0
  br i1 %91, label %92, label %168

92:                                               ; preds = %82
  %93 = load i32, ptr %5, align 4, !tbaa !5
  %94 = sext i32 %93 to i64
  %95 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %94
  %96 = load i32, ptr %95, align 4, !tbaa !5
  %97 = load i32, ptr %7, align 4, !tbaa !5
  %98 = sext i32 %97 to i64
  %99 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %98
  %100 = load i32, ptr %99, align 4, !tbaa !5
  %101 = icmp ne i32 %96, %100
  br i1 %101, label %102, label %168

102:                                              ; preds = %92
  %103 = load i32, ptr %5, align 4, !tbaa !5
  %104 = sext i32 %103 to i64
  %105 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %104
  %106 = load i32, ptr %7, align 4, !tbaa !5
  %107 = sext i32 %106 to i64
  %108 = getelementptr inbounds [1023 x %struct.edge], ptr %105, i64 0, i64 %107
  %109 = getelementptr inbounds %struct.edge, ptr %108, i32 0, i32 0
  %110 = load i32, ptr %109, align 4, !tbaa !14
  %111 = sext i32 %110 to i64
  %112 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %111
  %113 = load i32, ptr %112, align 4, !tbaa !5
  %114 = load i32, ptr %5, align 4, !tbaa !5
  %115 = sext i32 %114 to i64
  %116 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %115
  %117 = load i32, ptr %7, align 4, !tbaa !5
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds [1023 x %struct.edge], ptr %116, i64 0, i64 %118
  %120 = getelementptr inbounds %struct.edge, ptr %119, i32 0, i32 1
  %121 = load i32, ptr %120, align 4, !tbaa !15
  %122 = sext i32 %121 to i64
  %123 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %122
  %124 = load i32, ptr %123, align 4, !tbaa !5
  %125 = add nsw i32 %113, %124
  %126 = load i32, ptr %5, align 4, !tbaa !5
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %127
  %129 = load i32, ptr %7, align 4, !tbaa !5
  %130 = sext i32 %129 to i64
  %131 = getelementptr inbounds [1023 x %struct.edge], ptr %128, i64 0, i64 %130
  %132 = getelementptr inbounds %struct.edge, ptr %131, i32 0, i32 0
  %133 = load i32, ptr %132, align 4, !tbaa !14
  %134 = sext i32 %133 to i64
  %135 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %134
  %136 = load i32, ptr %5, align 4, !tbaa !5
  %137 = sext i32 %136 to i64
  %138 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %137
  %139 = load i32, ptr %7, align 4, !tbaa !5
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds [1023 x %struct.edge], ptr %138, i64 0, i64 %140
  %142 = getelementptr inbounds %struct.edge, ptr %141, i32 0, i32 1
  %143 = load i32, ptr %142, align 4, !tbaa !15
  %144 = sext i32 %143 to i64
  %145 = getelementptr inbounds [1023 x %struct.edge], ptr %135, i64 0, i64 %144
  %146 = getelementptr inbounds %struct.edge, ptr %145, i32 0, i32 2
  %147 = load i32, ptr %146, align 4, !tbaa !12
  %148 = mul nsw i32 %147, 2
  %149 = sub nsw i32 %125, %148
  %150 = icmp eq i32 %149, 0
  br i1 %150, label %151, label %161

151:                                              ; preds = %102
  %152 = load i32, ptr %5, align 4, !tbaa !5
  %153 = sext i32 %152 to i64
  %154 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %153
  %155 = load i32, ptr %7, align 4, !tbaa !5
  %156 = sext i32 %155 to i64
  %157 = getelementptr inbounds [1023 x %struct.edge], ptr %154, i64 0, i64 %156
  %158 = call noundef zeroext i1 @_Z5foundRK4edge(ptr noundef nonnull align 4 dereferenceable(12) %157)
  br i1 %158, label %159, label %160

159:                                              ; preds = %151
  store i1 true, ptr %1, align 1
  store i32 1, ptr %6, align 4
  br label %172

160:                                              ; preds = %151
  br label %167

161:                                              ; preds = %102
  %162 = load i32, ptr %5, align 4, !tbaa !5
  %163 = load i32, ptr %7, align 4, !tbaa !5
  %164 = sext i32 %163 to i64
  %165 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %164
  %166 = load i32, ptr %165, align 4, !tbaa !5
  call void @_Z6updateii(i32 noundef %162, i32 noundef %166)
  br label %167

167:                                              ; preds = %161, %160
  br label %168

168:                                              ; preds = %167, %92, %82
  br label %169

169:                                              ; preds = %168
  %170 = load i32, ptr %7, align 4, !tbaa !5
  %171 = add nsw i32 %170, 1
  store i32 %171, ptr %7, align 4, !tbaa !5
  br label %77, !llvm.loop !16

172:                                              ; preds = %159, %81
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  %173 = load i32, ptr %6, align 4
  switch i32 %173, label %175 [
    i32 9, label %174
  ]

174:                                              ; preds = %172
  store i32 0, ptr %6, align 4
  br label %175

175:                                              ; preds = %174, %172, %75
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #5
  %176 = load i32, ptr %6, align 4
  switch i32 %176, label %629 [
    i32 0, label %177
    i32 7, label %61
    i32 1, label %627
  ]

177:                                              ; preds = %175
  br label %61, !llvm.loop !11

178:                                              ; preds = %61
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  store i32 1000000000, ptr %8, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  %179 = load i32, ptr @n, align 4, !tbaa !5
  %180 = add nsw i32 %179, 1
  store i32 %180, ptr %9, align 4, !tbaa !5
  br label %181

181:                                              ; preds = %208, %178
  %182 = load i32, ptr %9, align 4, !tbaa !5
  %183 = load i32, ptr @num, align 4, !tbaa !5
  %184 = icmp sle i32 %182, %183
  br i1 %184, label %186, label %185

185:                                              ; preds = %181
  store i32 12, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  br label %211

186:                                              ; preds = %181
  %187 = load i32, ptr %9, align 4, !tbaa !5
  %188 = sext i32 %187 to i64
  %189 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %188
  %190 = load i32, ptr %189, align 4, !tbaa !5
  %191 = load i32, ptr %9, align 4, !tbaa !5
  %192 = icmp eq i32 %190, %191
  br i1 %192, label %193, label %207

193:                                              ; preds = %186
  %194 = load i32, ptr %9, align 4, !tbaa !5
  %195 = sext i32 %194 to i64
  %196 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %195
  %197 = load i32, ptr %196, align 4, !tbaa !5
  %198 = icmp eq i32 %197, 1
  br i1 %198, label %199, label %207

199:                                              ; preds = %193
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  %200 = load i32, ptr %9, align 4, !tbaa !5
  %201 = sext i32 %200 to i64
  %202 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %201
  %203 = load i32, ptr %202, align 4, !tbaa !5
  %204 = sdiv i32 %203, 2
  store i32 %204, ptr %10, align 4, !tbaa !5
  %205 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %8, ptr noundef nonnull align 4 dereferenceable(4) %10)
  %206 = load i32, ptr %205, align 4, !tbaa !5
  store i32 %206, ptr %8, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  br label %207

207:                                              ; preds = %199, %193, %186
  br label %208

208:                                              ; preds = %207
  %209 = load i32, ptr %9, align 4, !tbaa !5
  %210 = add nsw i32 %209, 1
  store i32 %210, ptr %9, align 4, !tbaa !5
  br label %181, !llvm.loop !17

211:                                              ; preds = %185
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  store i32 1, ptr %11, align 4, !tbaa !5
  br label %212

212:                                              ; preds = %370, %211
  %213 = load i32, ptr %11, align 4, !tbaa !5
  %214 = load i32, ptr @num, align 4, !tbaa !5
  %215 = icmp sle i32 %213, %214
  br i1 %215, label %217, label %216

216:                                              ; preds = %212
  store i32 15, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  br label %373

217:                                              ; preds = %212
  %218 = load i32, ptr %11, align 4, !tbaa !5
  %219 = sext i32 %218 to i64
  %220 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %219
  %221 = load i32, ptr %220, align 4, !tbaa !5
  %222 = load i32, ptr %11, align 4, !tbaa !5
  %223 = icmp eq i32 %221, %222
  br i1 %223, label %224, label %369

224:                                              ; preds = %217
  %225 = load i32, ptr %11, align 4, !tbaa !5
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %226
  %228 = load i32, ptr %227, align 4, !tbaa !5
  %229 = icmp ne i32 %228, 0
  br i1 %229, label %230, label %369

230:                                              ; preds = %224
  %231 = load i32, ptr %11, align 4, !tbaa !5
  %232 = sext i32 %231 to i64
  %233 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %232
  %234 = load i32, ptr %233, align 4, !tbaa !5
  %235 = icmp eq i32 %234, -1
  br i1 %235, label %236, label %298

236:                                              ; preds = %230
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #5
  %237 = load i32, ptr %11, align 4, !tbaa !5
  %238 = sext i32 %237 to i64
  %239 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %238
  %240 = load i32, ptr %239, align 4, !tbaa !5
  %241 = sext i32 %240 to i64
  %242 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %241
  %243 = load i32, ptr %11, align 4, !tbaa !5
  %244 = sext i32 %243 to i64
  %245 = getelementptr inbounds [1023 x %struct.edge], ptr %242, i64 0, i64 %244
  %246 = getelementptr inbounds %struct.edge, ptr %245, i32 0, i32 0
  %247 = load i32, ptr %246, align 4, !tbaa !14
  %248 = sext i32 %247 to i64
  %249 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %248
  %250 = load i32, ptr %249, align 4, !tbaa !5
  %251 = load i32, ptr %11, align 4, !tbaa !5
  %252 = sext i32 %251 to i64
  %253 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %252
  %254 = load i32, ptr %253, align 4, !tbaa !5
  %255 = sext i32 %254 to i64
  %256 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %255
  %257 = load i32, ptr %11, align 4, !tbaa !5
  %258 = sext i32 %257 to i64
  %259 = getelementptr inbounds [1023 x %struct.edge], ptr %256, i64 0, i64 %258
  %260 = getelementptr inbounds %struct.edge, ptr %259, i32 0, i32 1
  %261 = load i32, ptr %260, align 4, !tbaa !15
  %262 = sext i32 %261 to i64
  %263 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %262
  %264 = load i32, ptr %263, align 4, !tbaa !5
  %265 = add nsw i32 %250, %264
  %266 = load i32, ptr %11, align 4, !tbaa !5
  %267 = sext i32 %266 to i64
  %268 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %267
  %269 = load i32, ptr %268, align 4, !tbaa !5
  %270 = sext i32 %269 to i64
  %271 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %270
  %272 = load i32, ptr %11, align 4, !tbaa !5
  %273 = sext i32 %272 to i64
  %274 = getelementptr inbounds [1023 x %struct.edge], ptr %271, i64 0, i64 %273
  %275 = getelementptr inbounds %struct.edge, ptr %274, i32 0, i32 0
  %276 = load i32, ptr %275, align 4, !tbaa !14
  %277 = sext i32 %276 to i64
  %278 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %277
  %279 = load i32, ptr %11, align 4, !tbaa !5
  %280 = sext i32 %279 to i64
  %281 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %280
  %282 = load i32, ptr %281, align 4, !tbaa !5
  %283 = sext i32 %282 to i64
  %284 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %283
  %285 = load i32, ptr %11, align 4, !tbaa !5
  %286 = sext i32 %285 to i64
  %287 = getelementptr inbounds [1023 x %struct.edge], ptr %284, i64 0, i64 %286
  %288 = getelementptr inbounds %struct.edge, ptr %287, i32 0, i32 1
  %289 = load i32, ptr %288, align 4, !tbaa !15
  %290 = sext i32 %289 to i64
  %291 = getelementptr inbounds [1023 x %struct.edge], ptr %278, i64 0, i64 %290
  %292 = getelementptr inbounds %struct.edge, ptr %291, i32 0, i32 2
  %293 = load i32, ptr %292, align 4, !tbaa !12
  %294 = mul nsw i32 %293, 2
  %295 = sub nsw i32 %265, %294
  store i32 %295, ptr %12, align 4, !tbaa !5
  %296 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %8, ptr noundef nonnull align 4 dereferenceable(4) %12)
  %297 = load i32, ptr %296, align 4, !tbaa !5
  store i32 %297, ptr %8, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #5
  br label %368

298:                                              ; preds = %230
  %299 = load i32, ptr %11, align 4, !tbaa !5
  %300 = sext i32 %299 to i64
  %301 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %300
  %302 = load i32, ptr %301, align 4, !tbaa !5
  %303 = icmp eq i32 %302, 0
  br i1 %303, label %304, label %367

304:                                              ; preds = %298
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  %305 = load i32, ptr %11, align 4, !tbaa !5
  %306 = sext i32 %305 to i64
  %307 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %306
  %308 = load i32, ptr %307, align 4, !tbaa !5
  %309 = sext i32 %308 to i64
  %310 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %309
  %311 = load i32, ptr %11, align 4, !tbaa !5
  %312 = sext i32 %311 to i64
  %313 = getelementptr inbounds [1023 x %struct.edge], ptr %310, i64 0, i64 %312
  %314 = getelementptr inbounds %struct.edge, ptr %313, i32 0, i32 0
  %315 = load i32, ptr %314, align 4, !tbaa !14
  %316 = sext i32 %315 to i64
  %317 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %316
  %318 = load i32, ptr %317, align 4, !tbaa !5
  %319 = load i32, ptr %11, align 4, !tbaa !5
  %320 = sext i32 %319 to i64
  %321 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %320
  %322 = load i32, ptr %321, align 4, !tbaa !5
  %323 = sext i32 %322 to i64
  %324 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %323
  %325 = load i32, ptr %11, align 4, !tbaa !5
  %326 = sext i32 %325 to i64
  %327 = getelementptr inbounds [1023 x %struct.edge], ptr %324, i64 0, i64 %326
  %328 = getelementptr inbounds %struct.edge, ptr %327, i32 0, i32 1
  %329 = load i32, ptr %328, align 4, !tbaa !15
  %330 = sext i32 %329 to i64
  %331 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %330
  %332 = load i32, ptr %331, align 4, !tbaa !5
  %333 = add nsw i32 %318, %332
  %334 = load i32, ptr %11, align 4, !tbaa !5
  %335 = sext i32 %334 to i64
  %336 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %335
  %337 = load i32, ptr %336, align 4, !tbaa !5
  %338 = sext i32 %337 to i64
  %339 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %338
  %340 = load i32, ptr %11, align 4, !tbaa !5
  %341 = sext i32 %340 to i64
  %342 = getelementptr inbounds [1023 x %struct.edge], ptr %339, i64 0, i64 %341
  %343 = getelementptr inbounds %struct.edge, ptr %342, i32 0, i32 0
  %344 = load i32, ptr %343, align 4, !tbaa !14
  %345 = sext i32 %344 to i64
  %346 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %345
  %347 = load i32, ptr %11, align 4, !tbaa !5
  %348 = sext i32 %347 to i64
  %349 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %348
  %350 = load i32, ptr %349, align 4, !tbaa !5
  %351 = sext i32 %350 to i64
  %352 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %351
  %353 = load i32, ptr %11, align 4, !tbaa !5
  %354 = sext i32 %353 to i64
  %355 = getelementptr inbounds [1023 x %struct.edge], ptr %352, i64 0, i64 %354
  %356 = getelementptr inbounds %struct.edge, ptr %355, i32 0, i32 1
  %357 = load i32, ptr %356, align 4, !tbaa !15
  %358 = sext i32 %357 to i64
  %359 = getelementptr inbounds [1023 x %struct.edge], ptr %346, i64 0, i64 %358
  %360 = getelementptr inbounds %struct.edge, ptr %359, i32 0, i32 2
  %361 = load i32, ptr %360, align 4, !tbaa !12
  %362 = mul nsw i32 %361, 2
  %363 = sub nsw i32 %333, %362
  %364 = sdiv i32 %363, 2
  store i32 %364, ptr %13, align 4, !tbaa !5
  %365 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %8, ptr noundef nonnull align 4 dereferenceable(4) %13)
  %366 = load i32, ptr %365, align 4, !tbaa !5
  store i32 %366, ptr %8, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  br label %367

367:                                              ; preds = %304, %298
  br label %368

368:                                              ; preds = %367, %236
  br label %369

369:                                              ; preds = %368, %224, %217
  br label %370

370:                                              ; preds = %369
  %371 = load i32, ptr %11, align 4, !tbaa !5
  %372 = add nsw i32 %371, 1
  store i32 %372, ptr %11, align 4, !tbaa !5
  br label %212, !llvm.loop !18

373:                                              ; preds = %216
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #5
  store i32 1, ptr %14, align 4, !tbaa !5
  br label %374

374:                                              ; preds = %421, %373
  %375 = load i32, ptr %14, align 4, !tbaa !5
  %376 = load i32, ptr @n, align 4, !tbaa !5
  %377 = icmp sle i32 %375, %376
  br i1 %377, label %379, label %378

378:                                              ; preds = %374
  store i32 18, ptr %6, align 4
  br label %424

379:                                              ; preds = %374
  %380 = load i32, ptr %14, align 4, !tbaa !5
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %381
  %383 = load i32, ptr %382, align 4, !tbaa !5
  %384 = sext i32 %383 to i64
  %385 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %384
  %386 = load i32, ptr %385, align 4, !tbaa !5
  %387 = icmp eq i32 %386, 0
  br i1 %387, label %388, label %403

388:                                              ; preds = %379
  %389 = load i32, ptr %14, align 4, !tbaa !5
  %390 = sext i32 %389 to i64
  %391 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %390
  %392 = load i32, ptr %391, align 4, !tbaa !5
  %393 = load i32, ptr %8, align 4, !tbaa !5
  %394 = icmp sle i32 %392, %393
  br i1 %394, label %395, label %396

395:                                              ; preds = %388
  store i1 false, ptr %1, align 1
  store i32 1, ptr %6, align 4
  br label %424

396:                                              ; preds = %388
  %397 = load i32, ptr %8, align 4, !tbaa !5
  %398 = load i32, ptr %14, align 4, !tbaa !5
  %399 = sext i32 %398 to i64
  %400 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %399
  %401 = load i32, ptr %400, align 4, !tbaa !5
  %402 = sub nsw i32 %401, %397
  store i32 %402, ptr %400, align 4, !tbaa !5
  br label %420

403:                                              ; preds = %379
  %404 = load i32, ptr %14, align 4, !tbaa !5
  %405 = sext i32 %404 to i64
  %406 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %405
  %407 = load i32, ptr %406, align 4, !tbaa !5
  %408 = sext i32 %407 to i64
  %409 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %408
  %410 = load i32, ptr %409, align 4, !tbaa !5
  %411 = icmp eq i32 %410, 1
  br i1 %411, label %412, label %419

412:                                              ; preds = %403
  %413 = load i32, ptr %8, align 4, !tbaa !5
  %414 = load i32, ptr %14, align 4, !tbaa !5
  %415 = sext i32 %414 to i64
  %416 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %415
  %417 = load i32, ptr %416, align 4, !tbaa !5
  %418 = add nsw i32 %417, %413
  store i32 %418, ptr %416, align 4, !tbaa !5
  br label %419

419:                                              ; preds = %412, %403
  br label %420

420:                                              ; preds = %419, %396
  br label %421

421:                                              ; preds = %420
  %422 = load i32, ptr %14, align 4, !tbaa !5
  %423 = add nsw i32 %422, 1
  store i32 %423, ptr %14, align 4, !tbaa !5
  br label %374, !llvm.loop !19

424:                                              ; preds = %395, %378
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  %425 = load i32, ptr %6, align 4
  switch i32 %425, label %624 [
    i32 18, label %426
  ]

426:                                              ; preds = %424
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  %427 = load i32, ptr @n, align 4, !tbaa !5
  %428 = add nsw i32 %427, 1
  store i32 %428, ptr %15, align 4, !tbaa !5
  br label %429

429:                                              ; preds = %478, %426
  %430 = load i32, ptr %15, align 4, !tbaa !5
  %431 = load i32, ptr @num, align 4, !tbaa !5
  %432 = icmp sle i32 %430, %431
  br i1 %432, label %434, label %433

433:                                              ; preds = %429
  store i32 21, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  br label %481

434:                                              ; preds = %429
  %435 = load i32, ptr %15, align 4, !tbaa !5
  %436 = sext i32 %435 to i64
  %437 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %436
  %438 = load i32, ptr %437, align 4, !tbaa !5
  %439 = load i32, ptr %15, align 4, !tbaa !5
  %440 = icmp eq i32 %438, %439
  br i1 %440, label %441, label %477

441:                                              ; preds = %434
  %442 = load i32, ptr %15, align 4, !tbaa !5
  %443 = sext i32 %442 to i64
  %444 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %443
  %445 = load i32, ptr %444, align 4, !tbaa !5
  %446 = sext i32 %445 to i64
  %447 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %446
  %448 = load i32, ptr %447, align 4, !tbaa !5
  %449 = icmp eq i32 %448, 0
  br i1 %449, label %450, label %458

450:                                              ; preds = %441
  %451 = load i32, ptr %8, align 4, !tbaa !5
  %452 = mul nsw i32 %451, 2
  %453 = load i32, ptr %15, align 4, !tbaa !5
  %454 = sext i32 %453 to i64
  %455 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %454
  %456 = load i32, ptr %455, align 4, !tbaa !5
  %457 = add nsw i32 %456, %452
  store i32 %457, ptr %455, align 4, !tbaa !5
  br label %476

458:                                              ; preds = %441
  %459 = load i32, ptr %15, align 4, !tbaa !5
  %460 = sext i32 %459 to i64
  %461 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %460
  %462 = load i32, ptr %461, align 4, !tbaa !5
  %463 = sext i32 %462 to i64
  %464 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %463
  %465 = load i32, ptr %464, align 4, !tbaa !5
  %466 = icmp eq i32 %465, 1
  br i1 %466, label %467, label %475

467:                                              ; preds = %458
  %468 = load i32, ptr %8, align 4, !tbaa !5
  %469 = mul nsw i32 %468, 2
  %470 = load i32, ptr %15, align 4, !tbaa !5
  %471 = sext i32 %470 to i64
  %472 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %471
  %473 = load i32, ptr %472, align 4, !tbaa !5
  %474 = sub nsw i32 %473, %469
  store i32 %474, ptr %472, align 4, !tbaa !5
  br label %475

475:                                              ; preds = %467, %458
  br label %476

476:                                              ; preds = %475, %450
  br label %477

477:                                              ; preds = %476, %434
  br label %478

478:                                              ; preds = %477
  %479 = load i32, ptr %15, align 4, !tbaa !5
  %480 = add nsw i32 %479, 1
  store i32 %480, ptr %15, align 4, !tbaa !5
  br label %429, !llvm.loop !20

481:                                              ; preds = %433
  call void @_ZNSt5dequeIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  store i32 1, ptr %16, align 4, !tbaa !5
  br label %482

482:                                              ; preds = %585, %481
  %483 = load i32, ptr %16, align 4, !tbaa !5
  %484 = load i32, ptr @num, align 4, !tbaa !5
  %485 = icmp sle i32 %483, %484
  br i1 %485, label %487, label %486

486:                                              ; preds = %482
  store i32 24, ptr %6, align 4
  br label %588

487:                                              ; preds = %482
  %488 = load i32, ptr %16, align 4, !tbaa !5
  %489 = sext i32 %488 to i64
  %490 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %489
  %491 = load i32, ptr %490, align 4, !tbaa !5
  %492 = load i32, ptr %16, align 4, !tbaa !5
  %493 = icmp eq i32 %491, %492
  br i1 %493, label %494, label %584

494:                                              ; preds = %487
  %495 = load i32, ptr %16, align 4, !tbaa !5
  %496 = sext i32 %495 to i64
  %497 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %496
  %498 = load i32, ptr %497, align 4, !tbaa !5
  %499 = icmp ne i32 %498, 0
  br i1 %499, label %500, label %584

500:                                              ; preds = %494
  %501 = load i32, ptr %16, align 4, !tbaa !5
  %502 = sext i32 %501 to i64
  %503 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %502
  %504 = load i32, ptr %503, align 4, !tbaa !5
  %505 = sext i32 %504 to i64
  %506 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %505
  %507 = load i32, ptr %506, align 4, !tbaa !5
  %508 = load i32, ptr %16, align 4, !tbaa !5
  %509 = icmp ne i32 %507, %508
  br i1 %509, label %510, label %584

510:                                              ; preds = %500
  %511 = load i32, ptr %16, align 4, !tbaa !5
  %512 = sext i32 %511 to i64
  %513 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %512
  %514 = load i32, ptr %513, align 4, !tbaa !5
  %515 = sext i32 %514 to i64
  %516 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %515
  %517 = load i32, ptr %16, align 4, !tbaa !5
  %518 = sext i32 %517 to i64
  %519 = getelementptr inbounds [1023 x %struct.edge], ptr %516, i64 0, i64 %518
  %520 = getelementptr inbounds %struct.edge, ptr %519, i32 0, i32 0
  %521 = load i32, ptr %520, align 4, !tbaa !14
  %522 = sext i32 %521 to i64
  %523 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %522
  %524 = load i32, ptr %523, align 4, !tbaa !5
  %525 = load i32, ptr %16, align 4, !tbaa !5
  %526 = sext i32 %525 to i64
  %527 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %526
  %528 = load i32, ptr %527, align 4, !tbaa !5
  %529 = sext i32 %528 to i64
  %530 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %529
  %531 = load i32, ptr %16, align 4, !tbaa !5
  %532 = sext i32 %531 to i64
  %533 = getelementptr inbounds [1023 x %struct.edge], ptr %530, i64 0, i64 %532
  %534 = getelementptr inbounds %struct.edge, ptr %533, i32 0, i32 1
  %535 = load i32, ptr %534, align 4, !tbaa !15
  %536 = sext i32 %535 to i64
  %537 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %536
  %538 = load i32, ptr %537, align 4, !tbaa !5
  %539 = add nsw i32 %524, %538
  %540 = load i32, ptr %16, align 4, !tbaa !5
  %541 = sext i32 %540 to i64
  %542 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %541
  %543 = load i32, ptr %542, align 4, !tbaa !5
  %544 = sext i32 %543 to i64
  %545 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %544
  %546 = load i32, ptr %16, align 4, !tbaa !5
  %547 = sext i32 %546 to i64
  %548 = getelementptr inbounds [1023 x %struct.edge], ptr %545, i64 0, i64 %547
  %549 = getelementptr inbounds %struct.edge, ptr %548, i32 0, i32 0
  %550 = load i32, ptr %549, align 4, !tbaa !14
  %551 = sext i32 %550 to i64
  %552 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %551
  %553 = load i32, ptr %16, align 4, !tbaa !5
  %554 = sext i32 %553 to i64
  %555 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %554
  %556 = load i32, ptr %555, align 4, !tbaa !5
  %557 = sext i32 %556 to i64
  %558 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %557
  %559 = load i32, ptr %16, align 4, !tbaa !5
  %560 = sext i32 %559 to i64
  %561 = getelementptr inbounds [1023 x %struct.edge], ptr %558, i64 0, i64 %560
  %562 = getelementptr inbounds %struct.edge, ptr %561, i32 0, i32 1
  %563 = load i32, ptr %562, align 4, !tbaa !15
  %564 = sext i32 %563 to i64
  %565 = getelementptr inbounds [1023 x %struct.edge], ptr %552, i64 0, i64 %564
  %566 = getelementptr inbounds %struct.edge, ptr %565, i32 0, i32 2
  %567 = load i32, ptr %566, align 4, !tbaa !12
  %568 = mul nsw i32 %567, 2
  %569 = sub nsw i32 %539, %568
  %570 = icmp eq i32 %569, 0
  br i1 %570, label %571, label %584

571:                                              ; preds = %510
  %572 = load i32, ptr %16, align 4, !tbaa !5
  %573 = sext i32 %572 to i64
  %574 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %573
  %575 = load i32, ptr %574, align 4, !tbaa !5
  %576 = sext i32 %575 to i64
  %577 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %576
  %578 = load i32, ptr %16, align 4, !tbaa !5
  %579 = sext i32 %578 to i64
  %580 = getelementptr inbounds [1023 x %struct.edge], ptr %577, i64 0, i64 %579
  %581 = call noundef zeroext i1 @_Z5foundRK4edge(ptr noundef nonnull align 4 dereferenceable(12) %580)
  br i1 %581, label %582, label %583

582:                                              ; preds = %571
  store i1 true, ptr %1, align 1
  store i32 1, ptr %6, align 4
  br label %588

583:                                              ; preds = %571
  br label %584

584:                                              ; preds = %583, %510, %500, %494, %487
  br label %585

585:                                              ; preds = %584
  %586 = load i32, ptr %16, align 4, !tbaa !5
  %587 = add nsw i32 %586, 1
  store i32 %587, ptr %16, align 4, !tbaa !5
  br label %482, !llvm.loop !21

588:                                              ; preds = %582, %486
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  %589 = load i32, ptr %6, align 4
  switch i32 %589, label %624 [
    i32 24, label %590
  ]

590:                                              ; preds = %588
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #5
  %591 = load i32, ptr @n, align 4, !tbaa !5
  %592 = add nsw i32 %591, 1
  store i32 %592, ptr %17, align 4, !tbaa !5
  br label %593

593:                                              ; preds = %620, %590
  %594 = load i32, ptr %17, align 4, !tbaa !5
  %595 = load i32, ptr @num, align 4, !tbaa !5
  %596 = icmp sle i32 %594, %595
  br i1 %596, label %598, label %597

597:                                              ; preds = %593
  store i32 27, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  br label %623

598:                                              ; preds = %593
  %599 = load i32, ptr %17, align 4, !tbaa !5
  %600 = sext i32 %599 to i64
  %601 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %600
  %602 = load i32, ptr %601, align 4, !tbaa !5
  %603 = load i32, ptr %17, align 4, !tbaa !5
  %604 = icmp eq i32 %602, %603
  br i1 %604, label %605, label %619

605:                                              ; preds = %598
  %606 = load i32, ptr %17, align 4, !tbaa !5
  %607 = sext i32 %606 to i64
  %608 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %607
  %609 = load i32, ptr %608, align 4, !tbaa !5
  %610 = icmp eq i32 %609, 1
  br i1 %610, label %611, label %619

611:                                              ; preds = %605
  %612 = load i32, ptr %17, align 4, !tbaa !5
  %613 = sext i32 %612 to i64
  %614 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %613
  %615 = load i32, ptr %614, align 4, !tbaa !5
  %616 = icmp eq i32 %615, 0
  br i1 %616, label %617, label %619

617:                                              ; preds = %611
  %618 = load i32, ptr %17, align 4, !tbaa !5
  call void @_Z6expandi(i32 noundef %618)
  br label %619

619:                                              ; preds = %617, %611, %605, %598
  br label %620

620:                                              ; preds = %619
  %621 = load i32, ptr %17, align 4, !tbaa !5
  %622 = add nsw i32 %621, 1
  store i32 %622, ptr %17, align 4, !tbaa !5
  br label %593, !llvm.loop !22

623:                                              ; preds = %597
  store i32 0, ptr %6, align 4
  br label %624

624:                                              ; preds = %623, %588, %424
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  %625 = load i32, ptr %6, align 4
  switch i32 %625, label %629 [
    i32 0, label %626
    i32 1, label %627
  ]

626:                                              ; preds = %624
  br label %60, !llvm.loop !23

627:                                              ; preds = %624, %175, %58
  %628 = load i1, ptr %1, align 1
  ret i1 %628

629:                                              ; preds = %624, %175
  unreachable
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt4fillIPiiEvT_S1_RKT0_(ptr noundef, ptr noundef, ptr noundef nonnull align 4 dereferenceable(4)) #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt5dequeIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(80)) #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt5dequeIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(80)) #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt5dequeIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(80)) #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5dequeIiSaIiEE5frontEv(ptr noundef nonnull align 8 dereferenceable(80)) #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt5dequeIiSaIiEE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(80)) #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #4

attributes #0 = { mustprogress 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 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress 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 #5 = { 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++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = !{!13, !6, i64 8}
!13 = !{!"_ZTS4edge", !6, i64 0, !6, i64 4, !6, i64 8}
!14 = !{!13, !6, i64 0}
!15 = !{!13, !6, i64 4}
!16 = distinct !{!16, !10}
!17 = distinct !{!17, !10}
!18 = distinct !{!18, !10}
!19 = distinct !{!19, !10}
!20 = distinct !{!20, !10}
!21 = distinct !{!21, !10}
!22 = distinct !{!22, !10}
!23 = distinct !{!23, !10}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.edge = type { i32, i32, i32 }
%"class.std::deque" = type { %"class.std::_Deque_base" }
%"class.std::_Deque_base" = type { %"struct.std::_Deque_base<int, std::allocator<int>>::_Deque_impl" }
%"struct.std::_Deque_base<int, std::allocator<int>>::_Deque_impl" = type { %"struct.std::_Deque_base<int, std::allocator<int>>::_Deque_impl_data" }
%"struct.std::_Deque_base<int, std::allocator<int>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator", %"struct.std::_Deque_iterator" }
%"struct.std::_Deque_iterator" = type { ptr, ptr, ptr, ptr }

@g = external dso_local global [1023 x [1023 x %struct.edge]], align 16
@n = external dso_local local_unnamed_addr global i32, align 4
@num = external dso_local local_unnamed_addr global i32, align 4
@lab = external dso_local local_unnamed_addr global [1023 x i32], align 16
@match = external dso_local local_unnamed_addr global [1023 x i32], align 16
@slack = external dso_local global [1023 x i32], align 16
@st = external dso_local local_unnamed_addr global [1023 x i32], align 16
@pa = external dso_local local_unnamed_addr global [1023 x i32], align 16
@S = external dso_local global [1023 x i32], align 16
@q = external dso_local global %"class.std::deque", align 8

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z4pushi(i32 noundef) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z6expandi(i32 noundef) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_Z5foundRK4edge(ptr noundef nonnull align 4 dereferenceable(12)) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z8matchingv() local_unnamed_addr #2 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = load i32, ptr @num, align 4, !tbaa !5
  %8 = sext i32 %7 to i64
  %9 = getelementptr inbounds i32, ptr @S, i64 %8
  %10 = getelementptr inbounds i8, ptr %9, i64 4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #5
  store i32 -1, ptr %1, align 4, !tbaa !5
  call void @_ZSt4fillIPiiEvT_S1_RKT0_(ptr noundef nonnull @S, ptr noundef nonnull %10, ptr noundef nonnull align 4 dereferenceable(4) %1)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #5
  %11 = load i32, ptr @num, align 4, !tbaa !5
  %12 = sext i32 %11 to i64
  %13 = getelementptr inbounds i32, ptr @slack, i64 %12
  %14 = getelementptr inbounds i8, ptr %13, i64 4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #5
  store i32 0, ptr %2, align 4, !tbaa !5
  call void @_ZSt4fillIPiiEvT_S1_RKT0_(ptr noundef nonnull @slack, ptr noundef nonnull %14, ptr noundef nonnull align 4 dereferenceable(4) %2)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #5
  call void @_ZNSt5dequeIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  %15 = load i32, ptr @num, align 4, !tbaa !5
  %.not165 = icmp slt i32 %15, 1
  br i1 %.not165, label %._crit_edge, label %.lr.ph

._crit_edge:                                      ; preds = %29, %0
  %16 = call noundef zeroext i1 @_ZNKSt5dequeIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  br i1 %16, label %.thread, label %.preheader160

.lr.ph:                                           ; preds = %0, %29
  %17 = phi i32 [ %30, %29 ], [ %15, %0 ]
  %indvars.iv = phi i64 [ %indvars.iv.next, %29 ], [ 1, %0 ]
  %18 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %indvars.iv
  %19 = load i32, ptr %18, align 4, !tbaa !5
  %20 = zext i32 %19 to i64
  %21 = icmp eq i64 %indvars.iv, %20
  br i1 %21, label %22, label %29

22:                                               ; preds = %.lr.ph
  %23 = getelementptr inbounds [1023 x i32], ptr @match, i64 0, i64 %indvars.iv
  %24 = load i32, ptr %23, align 4, !tbaa !5
  %.not136 = icmp eq i32 %24, 0
  br i1 %.not136, label %25, label %29

25:                                               ; preds = %22
  %26 = getelementptr inbounds [1023 x i32], ptr @pa, i64 0, i64 %indvars.iv
  store i32 0, ptr %26, align 4, !tbaa !5
  %27 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %indvars.iv
  store i32 0, ptr %27, align 4, !tbaa !5
  %28 = trunc nuw nsw i64 %indvars.iv to i32
  call void @_Z4pushi(i32 noundef %28)
  %.pre = load i32, ptr @num, align 4, !tbaa !5
  br label %29

29:                                               ; preds = %.lr.ph, %22, %25
  %30 = phi i32 [ %17, %.lr.ph ], [ %17, %22 ], [ %.pre, %25 ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %31 = sext i32 %30 to i64
  %.not.not = icmp slt i64 %indvars.iv, %31
  br i1 %.not.not, label %.lr.ph, label %._crit_edge, !llvm.loop !9

.preheader160:                                    ; preds = %._crit_edge, %._crit_edge203
  %32 = call noundef i64 @_ZNKSt5dequeIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  %.not123170 = icmp eq i64 %32, 0
  br i1 %.not123170, label %._crit_edge173, label %.lr.ph172

.lr.ph172:                                        ; preds = %.preheader160, %.loopexit
  %33 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5dequeIiSaIiEE5frontEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  %34 = load i32, ptr %33, align 4, !tbaa !5
  call void @_ZNSt5dequeIiSaIiEE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  %35 = sext i32 %34 to i64
  %36 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %35
  %37 = load i32, ptr %36, align 4, !tbaa !5
  %38 = sext i32 %37 to i64
  %39 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %38
  %40 = load i32, ptr %39, align 4, !tbaa !5
  %41 = icmp eq i32 %40, 1
  %42 = load i32, ptr @n, align 4
  %.not134167 = icmp slt i32 %42, 1
  %or.cond = select i1 %41, i1 true, i1 %.not134167
  br i1 %or.cond, label %.loopexit, label %.lr.ph169, !llvm.loop !11

.lr.ph169:                                        ; preds = %.lr.ph172, %69
  %indvars.iv210 = phi i64 [ %indvars.iv.next211, %69 ], [ 1, %.lr.ph172 ]
  %43 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %35, i64 %indvars.iv210
  %44 = getelementptr inbounds i8, ptr %43, i64 8
  %45 = load i32, ptr %44, align 4, !tbaa !12
  %46 = icmp sgt i32 %45, 0
  br i1 %46, label %47, label %69

47:                                               ; preds = %.lr.ph169
  %48 = load i32, ptr %36, align 4, !tbaa !5
  %49 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %indvars.iv210
  %50 = load i32, ptr %49, align 4, !tbaa !5
  %.not135 = icmp eq i32 %48, %50
  br i1 %.not135, label %69, label %51

51:                                               ; preds = %47
  %52 = load i32, ptr %43, align 4, !tbaa !14
  %53 = sext i32 %52 to i64
  %54 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %53
  %55 = load i32, ptr %54, align 4, !tbaa !5
  %56 = getelementptr inbounds i8, ptr %43, i64 4
  %57 = load i32, ptr %56, align 4, !tbaa !15
  %58 = sext i32 %57 to i64
  %59 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %58
  %60 = load i32, ptr %59, align 4, !tbaa !5
  %61 = add nsw i32 %60, %55
  %62 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %53, i64 %58, i32 2
  %63 = load i32, ptr %62, align 4, !tbaa !12
  %64 = shl nsw i32 %63, 1
  %65 = icmp eq i32 %61, %64
  br i1 %65, label %66, label %68

66:                                               ; preds = %51
  %67 = call noundef zeroext i1 @_Z5foundRK4edge(ptr noundef nonnull align 4 dereferenceable(12) %43)
  br i1 %67, label %.thread, label %69

68:                                               ; preds = %51
  call void @_Z6updateii(i32 noundef %34, i32 noundef %50)
  br label %69

69:                                               ; preds = %.lr.ph169, %47, %66, %68
  %indvars.iv.next211 = add nuw nsw i64 %indvars.iv210, 1
  %70 = load i32, ptr @n, align 4, !tbaa !5
  %71 = sext i32 %70 to i64
  %.not134.not = icmp slt i64 %indvars.iv210, %71
  br i1 %.not134.not, label %.lr.ph169, label %.loopexit, !llvm.loop !16

.loopexit:                                        ; preds = %69, %.lr.ph172
  %72 = call noundef i64 @_ZNKSt5dequeIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  %.not123 = icmp eq i64 %72, 0
  br i1 %.not123, label %._crit_edge173, label %.lr.ph172

._crit_edge173:                                   ; preds = %.loopexit, %.preheader160
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #5
  store i32 1000000000, ptr %3, align 4, !tbaa !5
  %73 = load i32, ptr @n, align 4, !tbaa !5
  %74 = load i32, ptr @num, align 4, !tbaa !5
  %.not124.not175 = icmp slt i32 %73, %74
  br i1 %.not124.not175, label %.lr.ph178.preheader, label %.preheader159

.lr.ph178.preheader:                              ; preds = %._crit_edge173
  %75 = sext i32 %73 to i64
  br label %.lr.ph178

.preheader159:                                    ; preds = %94, %._crit_edge173
  %76 = phi i32 [ 1000000000, %._crit_edge173 ], [ %95, %94 ]
  %77 = phi i32 [ %74, %._crit_edge173 ], [ %96, %94 ]
  %.not125179 = icmp slt i32 %77, 1
  br i1 %.not125179, label %.preheader157, label %.lr.ph181

.lr.ph178:                                        ; preds = %.lr.ph178.preheader, %94
  %78 = phi i32 [ 1000000000, %.lr.ph178.preheader ], [ %95, %94 ]
  %79 = phi i32 [ %74, %.lr.ph178.preheader ], [ %96, %94 ]
  %indvars.iv213 = phi i64 [ %75, %.lr.ph178.preheader ], [ %indvars.iv.next214, %94 ]
  %indvars.iv.next214 = add nsw i64 %indvars.iv213, 1
  %80 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %indvars.iv.next214
  %81 = load i32, ptr %80, align 4, !tbaa !5
  %82 = trunc nsw i64 %indvars.iv.next214 to i32
  %83 = icmp eq i32 %81, %82
  br i1 %83, label %84, label %94

84:                                               ; preds = %.lr.ph178
  %85 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %indvars.iv.next214
  %86 = load i32, ptr %85, align 4, !tbaa !5
  %87 = icmp eq i32 %86, 1
  br i1 %87, label %88, label %94

88:                                               ; preds = %84
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #5
  %89 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %indvars.iv.next214
  %90 = load i32, ptr %89, align 4, !tbaa !5
  %91 = sdiv i32 %90, 2
  store i32 %91, ptr %4, align 4, !tbaa !5
  %92 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %3, ptr noundef nonnull align 4 dereferenceable(4) %4)
  %93 = load i32, ptr %92, align 4, !tbaa !5
  store i32 %93, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #5
  %.pre232 = load i32, ptr @num, align 4, !tbaa !5
  br label %94

94:                                               ; preds = %.lr.ph178, %84, %88
  %95 = phi i32 [ %78, %.lr.ph178 ], [ %78, %84 ], [ %93, %88 ]
  %96 = phi i32 [ %79, %.lr.ph178 ], [ %79, %84 ], [ %.pre232, %88 ]
  %97 = sext i32 %96 to i64
  %.not124.not = icmp slt i64 %indvars.iv.next214, %97
  br i1 %.not124.not, label %.lr.ph178, label %.preheader159, !llvm.loop !17

.preheader157:                                    ; preds = %152, %.preheader159
  %98 = phi i32 [ %76, %.preheader159 ], [ %153, %152 ]
  %.lcssa = phi i32 [ %77, %.preheader159 ], [ %154, %152 ]
  %99 = load i32, ptr @n, align 4, !tbaa !5
  %.not126182 = icmp slt i32 %99, 1
  br i1 %.not126182, label %.preheader156, label %.lr.ph185

.lr.ph185:                                        ; preds = %.preheader157
  %100 = zext nneg i32 %99 to i64
  %101 = add nuw i32 %99, 1
  %wide.trip.count = zext i32 %101 to i64
  br label %158

.lr.ph181:                                        ; preds = %.preheader159, %152
  %102 = phi i32 [ %153, %152 ], [ %76, %.preheader159 ]
  %indvars.iv216 = phi i64 [ %indvars.iv.next217, %152 ], [ 1, %.preheader159 ]
  %103 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %indvars.iv216
  %104 = load i32, ptr %103, align 4, !tbaa !5
  %105 = zext i32 %104 to i64
  %106 = icmp eq i64 %indvars.iv216, %105
  br i1 %106, label %107, label %152

107:                                              ; preds = %.lr.ph181
  %108 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %indvars.iv216
  %109 = load i32, ptr %108, align 4, !tbaa !5
  %.not133 = icmp eq i32 %109, 0
  br i1 %.not133, label %152, label %110

110:                                              ; preds = %107
  %111 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %indvars.iv216
  %112 = load i32, ptr %111, align 4, !tbaa !5
  switch i32 %112, label %152 [
    i32 -1, label %113
    i32 0, label %132
  ]

113:                                              ; preds = %110
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #5
  %114 = sext i32 %109 to i64
  %115 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %114, i64 %indvars.iv216
  %116 = load i32, ptr %115, align 4, !tbaa !14
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %117
  %119 = load i32, ptr %118, align 4, !tbaa !5
  %120 = getelementptr inbounds i8, ptr %115, i64 4
  %121 = load i32, ptr %120, align 4, !tbaa !15
  %122 = sext i32 %121 to i64
  %123 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %122
  %124 = load i32, ptr %123, align 4, !tbaa !5
  %125 = add nsw i32 %124, %119
  %126 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %117, i64 %122, i32 2
  %127 = load i32, ptr %126, align 4, !tbaa !12
  %128 = shl i32 %127, 1
  %129 = sub i32 %125, %128
  store i32 %129, ptr %5, align 4, !tbaa !5
  %130 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %3, ptr noundef nonnull align 4 dereferenceable(4) %5)
  %131 = load i32, ptr %130, align 4, !tbaa !5
  store i32 %131, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #5
  br label %152

132:                                              ; preds = %110
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %6) #5
  %133 = sext i32 %109 to i64
  %134 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %133, i64 %indvars.iv216
  %135 = load i32, ptr %134, align 4, !tbaa !14
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %136
  %138 = load i32, ptr %137, align 4, !tbaa !5
  %139 = getelementptr inbounds i8, ptr %134, i64 4
  %140 = load i32, ptr %139, align 4, !tbaa !15
  %141 = sext i32 %140 to i64
  %142 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %141
  %143 = load i32, ptr %142, align 4, !tbaa !5
  %144 = add nsw i32 %143, %138
  %145 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %136, i64 %141, i32 2
  %146 = load i32, ptr %145, align 4, !tbaa !12
  %147 = shl i32 %146, 1
  %148 = sub i32 %144, %147
  %149 = sdiv i32 %148, 2
  store i32 %149, ptr %6, align 4, !tbaa !5
  %150 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %3, ptr noundef nonnull align 4 dereferenceable(4) %6)
  %151 = load i32, ptr %150, align 4, !tbaa !5
  store i32 %151, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #5
  br label %152

152:                                              ; preds = %110, %.lr.ph181, %107, %132, %113
  %153 = phi i32 [ %102, %110 ], [ %102, %.lr.ph181 ], [ %102, %107 ], [ %151, %132 ], [ %131, %113 ]
  %indvars.iv.next217 = add nuw nsw i64 %indvars.iv216, 1
  %154 = load i32, ptr @num, align 4, !tbaa !5
  %155 = sext i32 %154 to i64
  %.not125.not = icmp slt i64 %indvars.iv216, %155
  br i1 %.not125.not, label %.lr.ph181, label %.preheader157, !llvm.loop !18

.preheader156:                                    ; preds = %173, %.preheader157
  %.not126.lcssa = phi i1 [ true, %.preheader157 ], [ %.not126, %173 ]
  %.not128.not189 = icmp slt i32 %99, %.lcssa
  br i1 %.not128.not189, label %.lr.ph191, label %._crit_edge192

.lr.ph191:                                        ; preds = %.preheader156
  %156 = shl nsw i32 %98, 1
  %157 = sext i32 %99 to i64
  %wide.trip.count224 = sext i32 %.lcssa to i64
  br label %175

158:                                              ; preds = %.lr.ph185, %173
  %indvars.iv219 = phi i64 [ 1, %.lr.ph185 ], [ %indvars.iv.next220, %173 ]
  %.not126184 = phi i1 [ false, %.lr.ph185 ], [ %.not126, %173 ]
  %159 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %indvars.iv219
  %160 = load i32, ptr %159, align 4, !tbaa !5
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %161
  %163 = load i32, ptr %162, align 4, !tbaa !5
  switch i32 %163, label %173 [
    i32 0, label %164
    i32 1, label %169
  ]

164:                                              ; preds = %158
  %165 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %indvars.iv219
  %166 = load i32, ptr %165, align 4, !tbaa !5
  %.not127 = icmp sgt i32 %166, %98
  br i1 %.not127, label %167, label %.thread151

167:                                              ; preds = %164
  %168 = sub nsw i32 %166, %98
  store i32 %168, ptr %165, align 4, !tbaa !5
  br label %173

169:                                              ; preds = %158
  %170 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %indvars.iv219
  %171 = load i32, ptr %170, align 4, !tbaa !5
  %172 = add nsw i32 %171, %98
  store i32 %172, ptr %170, align 4, !tbaa !5
  br label %173

173:                                              ; preds = %158, %167, %169
  %indvars.iv.next220 = add nuw nsw i64 %indvars.iv219, 1
  %.not126 = icmp uge i64 %indvars.iv219, %100
  %exitcond = icmp eq i64 %indvars.iv.next220, %wide.trip.count
  br i1 %exitcond, label %.preheader156, label %158, !llvm.loop !19

._crit_edge192:                                   ; preds = %192, %.preheader156
  call void @_ZNSt5dequeIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(80) @q) #5
  %174 = load i32, ptr @num, align 4, !tbaa !5
  %.not129193 = icmp slt i32 %174, 1
  br i1 %.not129193, label %._crit_edge197, label %.lr.ph196

175:                                              ; preds = %.lr.ph191, %192
  %indvars.iv221 = phi i64 [ %157, %.lr.ph191 ], [ %indvars.iv.next222, %192 ]
  %indvars.iv.next222 = add nsw i64 %indvars.iv221, 1
  %176 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %indvars.iv.next222
  %177 = load i32, ptr %176, align 4, !tbaa !5
  %178 = trunc nsw i64 %indvars.iv.next222 to i32
  %179 = icmp eq i32 %177, %178
  br i1 %179, label %180, label %192

180:                                              ; preds = %175
  %181 = sext i32 %177 to i64
  %182 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %181
  %183 = load i32, ptr %182, align 4, !tbaa !5
  switch i32 %183, label %192 [
    i32 0, label %184
    i32 1, label %188
  ]

184:                                              ; preds = %180
  %185 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %indvars.iv.next222
  %186 = load i32, ptr %185, align 4, !tbaa !5
  %187 = add nsw i32 %186, %156
  store i32 %187, ptr %185, align 4, !tbaa !5
  br label %192

188:                                              ; preds = %180
  %189 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %indvars.iv.next222
  %190 = load i32, ptr %189, align 4, !tbaa !5
  %191 = sub nsw i32 %190, %156
  store i32 %191, ptr %189, align 4, !tbaa !5
  br label %192

192:                                              ; preds = %180, %175, %188, %184
  %exitcond225.not = icmp eq i64 %indvars.iv.next222, %wide.trip.count224
  br i1 %exitcond225.not, label %._crit_edge192, label %175, !llvm.loop !20

.lr.ph196:                                        ; preds = %._crit_edge192, %224
  %193 = phi i32 [ %225, %224 ], [ %174, %._crit_edge192 ]
  %indvars.iv226 = phi i64 [ %indvars.iv.next227, %224 ], [ 1, %._crit_edge192 ]
  %194 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %indvars.iv226
  %195 = load i32, ptr %194, align 4, !tbaa !5
  %196 = zext i32 %195 to i64
  %197 = icmp eq i64 %indvars.iv226, %196
  br i1 %197, label %198, label %224

198:                                              ; preds = %.lr.ph196
  %199 = getelementptr inbounds [1023 x i32], ptr @slack, i64 0, i64 %indvars.iv226
  %200 = load i32, ptr %199, align 4, !tbaa !5
  %.not130 = icmp eq i32 %200, 0
  br i1 %.not130, label %224, label %201

201:                                              ; preds = %198
  %202 = sext i32 %200 to i64
  %203 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %202
  %204 = load i32, ptr %203, align 4, !tbaa !5
  %205 = zext i32 %204 to i64
  %.not131 = icmp eq i64 %indvars.iv226, %205
  br i1 %.not131, label %224, label %206

206:                                              ; preds = %201
  %207 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %202, i64 %indvars.iv226
  %208 = load i32, ptr %207, align 4, !tbaa !14
  %209 = sext i32 %208 to i64
  %210 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %209
  %211 = load i32, ptr %210, align 4, !tbaa !5
  %212 = getelementptr inbounds i8, ptr %207, i64 4
  %213 = load i32, ptr %212, align 4, !tbaa !15
  %214 = sext i32 %213 to i64
  %215 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %214
  %216 = load i32, ptr %215, align 4, !tbaa !5
  %217 = add nsw i32 %216, %211
  %218 = getelementptr inbounds [1023 x [1023 x %struct.edge]], ptr @g, i64 0, i64 %209, i64 %214, i32 2
  %219 = load i32, ptr %218, align 4, !tbaa !12
  %220 = shl nsw i32 %219, 1
  %221 = icmp eq i32 %217, %220
  br i1 %221, label %222, label %224

222:                                              ; preds = %206
  %223 = call noundef zeroext i1 @_Z5foundRK4edge(ptr noundef nonnull align 4 dereferenceable(12) %207)
  br i1 %223, label %.thread151, label %._crit_edge233

._crit_edge233:                                   ; preds = %222
  %.pre234 = load i32, ptr @num, align 4, !tbaa !5
  br label %224

224:                                              ; preds = %._crit_edge233, %.lr.ph196, %198, %201, %206
  %225 = phi i32 [ %.pre234, %._crit_edge233 ], [ %193, %.lr.ph196 ], [ %193, %198 ], [ %193, %201 ], [ %193, %206 ]
  %indvars.iv.next227 = add nuw nsw i64 %indvars.iv226, 1
  %226 = sext i32 %225 to i64
  %.not129.not = icmp slt i64 %indvars.iv226, %226
  br i1 %.not129.not, label %.lr.ph196, label %._crit_edge197, !llvm.loop !21

._crit_edge197:                                   ; preds = %224, %._crit_edge192
  %227 = phi i32 [ %174, %._crit_edge192 ], [ %225, %224 ]
  %228 = load i32, ptr @n, align 4, !tbaa !5
  %.not132.not199 = icmp slt i32 %228, %227
  br i1 %.not132.not199, label %.lr.ph202.preheader, label %._crit_edge203

.lr.ph202.preheader:                              ; preds = %._crit_edge197
  %229 = sext i32 %228 to i64
  br label %.lr.ph202

.lr.ph202:                                        ; preds = %.lr.ph202.preheader, %244
  %230 = phi i32 [ %227, %.lr.ph202.preheader ], [ %245, %244 ]
  %indvars.iv229 = phi i64 [ %229, %.lr.ph202.preheader ], [ %indvars.iv.next230, %244 ]
  %indvars.iv.next230 = add nsw i64 %indvars.iv229, 1
  %231 = getelementptr inbounds [1023 x i32], ptr @st, i64 0, i64 %indvars.iv.next230
  %232 = load i32, ptr %231, align 4, !tbaa !5
  %233 = trunc nsw i64 %indvars.iv.next230 to i32
  %234 = icmp eq i32 %232, %233
  br i1 %234, label %235, label %244

235:                                              ; preds = %.lr.ph202
  %236 = getelementptr inbounds [1023 x i32], ptr @S, i64 0, i64 %indvars.iv.next230
  %237 = load i32, ptr %236, align 4, !tbaa !5
  %238 = icmp eq i32 %237, 1
  br i1 %238, label %239, label %244

239:                                              ; preds = %235
  %240 = getelementptr inbounds [1023 x i32], ptr @lab, i64 0, i64 %indvars.iv.next230
  %241 = load i32, ptr %240, align 4, !tbaa !5
  %242 = icmp eq i32 %241, 0
  br i1 %242, label %243, label %244

243:                                              ; preds = %239
  call void @_Z6expandi(i32 noundef %232)
  %.pre235 = load i32, ptr @num, align 4, !tbaa !5
  br label %244

244:                                              ; preds = %.lr.ph202, %235, %239, %243
  %245 = phi i32 [ %230, %.lr.ph202 ], [ %230, %235 ], [ %230, %239 ], [ %.pre235, %243 ]
  %246 = sext i32 %245 to i64
  %.not132.not = icmp slt i64 %indvars.iv.next230, %246
  br i1 %.not132.not, label %.lr.ph202, label %._crit_edge203, !llvm.loop !22

.thread151:                                       ; preds = %164, %222
  %.not126162 = phi i1 [ %.not126.lcssa, %222 ], [ %.not126184, %164 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #5
  br label %.thread

._crit_edge203:                                   ; preds = %244, %._crit_edge197
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #5
  br label %.preheader160

.thread:                                          ; preds = %66, %.thread151, %._crit_edge
  %.7 = phi i1 [ false, %._crit_edge ], [ %.not126162, %.thread151 ], [ true, %66 ]
  ret i1 %.7
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt4fillIPiiEvT_S1_RKT0_(ptr noundef, ptr noundef, ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt5dequeIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt5dequeIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt5dequeIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5dequeIiSaIiEE5frontEv(ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt5dequeIiSaIiEE9pop_frontEv(ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #4

attributes #0 = { mustprogress 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 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress 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 #5 = { 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++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = !{!13, !6, i64 8}
!13 = !{!"_ZTS4edge", !6, i64 0, !6, i64 4, !6, i64 8}
!14 = !{!13, !6, i64 0}
!15 = !{!13, !6, i64 4}
!16 = distinct !{!16, !10}
!17 = distinct !{!17, !10}
!18 = distinct !{!18, !10}
!19 = distinct !{!19, !10}
!20 = distinct !{!20, !10}
!21 = distinct !{!21, !10}
!22 = distinct !{!22, !10}


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