; LLVM IR from fdabrandao/vpsolver :: src/arcflow.ll (ZN7Arcflow8finalizeEv)

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

%"class.std::initializer_list" = type { ptr, i64 }
%class.Arc = type { i32, i32, i32 }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.36" = type { ptr }
%class.anon.55 = type { ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator.5" = type { i8 }
%"class.std::vector.29" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%"class.std::allocator.33" = type { i8 }
%"struct.std::_Bit_reference" = type { ptr, i64 }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%class.Arcflow = type <{ i8, [7 x i8], %"class.std::set", %class.NodeSet, %"class.std::vector.8", %"class.std::map", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.13", %"class.std::vector", i32, [4 x i8], i64, %class.Instance, i32, i32, i32, [4 x i8], %"class.std::vector.8", %"class.std::vector.23", i32, [4 x i8] }>
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<Arc, Arc, std::_Identity<Arc>, std::less<Arc>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<Arc, Arc, std::_Identity<Arc>, std::less<Arc>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%class.NodeSet = type { %"class.std::map", %"class.std::vector" }
%"class.std::map" = type { %"class.std::_Rb_tree.0" }
%"class.std::_Rb_tree.0" = type { %"struct.std::_Rb_tree<std::vector<int>, std::pair<const std::vector<int>, int>, std::_Select1st<std::pair<const std::vector<int>, int>>, std::less<std::vector<int>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::vector<int>, std::pair<const std::vector<int>, int>, std::_Select1st<std::pair<const std::vector<int>, int>>, std::less<std::vector<int>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = type { %"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl" }
%"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl" = type { %"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.Instance = type { i32, i32, i32, i32, i32, %"class.std::vector", %"class.std::vector.8", %"class.std::vector.8", %"class.std::vector.13", i32, i8, i8, i8, %"class.std::vector.18", %"class.std::vector.8", %"class.std::vector.8" }
%"class.std::vector.18" = type { %"struct.std::_Vector_base.19" }
%"struct.std::_Vector_base.19" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = type { %"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl" }
%"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl" = type { %"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.Item = type { %"class.std::vector.8", %"class.std::vector.8", i32, i32, i32, i32, i32, i32 }

@.str = external hidden unnamed_addr constant [54 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [69 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.3 = external hidden unnamed_addr constant [15 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: nounwind
declare i32 @snprintf(ptr noundef, i64 noundef, ptr noundef, ...) #2

declare ptr @__cxa_allocate_exception(i64)

declare void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #3

declare void @__cxa_free_exception(ptr)

; Function Attrs: nounwind
declare void @_ZNSt13runtime_errorD1Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #2

declare void @__cxa_throw(ptr, ptr, ptr)

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #0 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(72) ptr @_ZNSt6vectorI4ItemSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #0 align 2

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

declare noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72)) #3

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN7Arcflow8finalizeEv(ptr noundef nonnull align 8 dereferenceable(604) %0) #4 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca [256 x i8], align 16
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca %"class.std::initializer_list", align 8
  %7 = alloca [1 x i32], align 4
  %8 = alloca %class.Arc, align 4
  %9 = alloca i32, align 4
  %10 = alloca %class.Arc, align 4
  %11 = alloca %"class.std::vector.8", align 8
  %12 = alloca i32, align 4
  %13 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %14 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %15 = alloca %class.anon.55, align 8
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca %class.Arc, align 4
  %19 = alloca %"class.std::vector", align 8
  %20 = alloca %"class.std::allocator.5", align 1
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca %"class.std::vector.29", align 8
  %25 = alloca %"class.std::allocator.33", align 1
  %26 = alloca i32, align 4
  %27 = alloca ptr, align 8
  %28 = alloca %"class.std::vector.8", align 8
  %29 = alloca i32, align 4
  %30 = alloca %"struct.std::_Bit_reference", align 8
  %31 = alloca i32, align 4
  %32 = alloca %"struct.std::_Bit_reference", align 8
  %33 = alloca ptr, align 8
  %34 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %35 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %36 = alloca i32, align 4
  %37 = alloca %"struct.std::_Bit_reference", align 8
  %38 = alloca i32, align 4
  %39 = alloca %"struct.std::_Bit_reference", align 8
  %40 = alloca %class.Arc, align 4
  %41 = alloca i32, align 4
  %42 = alloca i8, align 1
  %43 = alloca ptr, align 8
  %44 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %45 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %46 = alloca i32, align 4
  %47 = alloca %"struct.std::_Bit_reference", align 8
  %48 = alloca ptr, align 8
  %49 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %50 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %51 = alloca i32, align 4
  %52 = alloca %"struct.std::_Bit_reference", align 8
  %53 = alloca ptr, align 8
  %54 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %55 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %56 = alloca i32, align 4
  %57 = alloca %"struct.std::_Bit_reference", align 8
  %58 = alloca ptr, align 8
  %59 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %60 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %61 = alloca i32, align 4
  %62 = alloca %"struct.std::_Bit_reference", align 8
  %63 = alloca %class.Arc, align 4
  %64 = alloca ptr, align 8
  %65 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %66 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %67 = alloca ptr, align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  %68 = load ptr, ptr %2, align 8
  %69 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 0
  %70 = load i8, ptr %69, align 8, !tbaa !9, !range !49, !noundef !50
  %71 = trunc i8 %70 to i1
  %72 = zext i1 %71 to i32
  %73 = icmp eq i32 %72, 0
  br i1 %73, label %84, label %74

74:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 256, ptr %3) #7
  %75 = getelementptr inbounds [256 x i8], ptr %3, i64 0, i64 0
  %76 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %75, i64 noundef 256, ptr noundef @.str, ptr noundef @.str.3, ptr noundef @.str.2, i32 noundef 441) #7
  %77 = call ptr @__cxa_allocate_exception(i64 16) #7
  %78 = getelementptr inbounds [256 x i8], ptr %3, i64 0, i64 0
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %77, ptr noundef %78)
          to label %79 unwind label %80

79:                                               ; preds = %74
  call void @__cxa_throw(ptr %77, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #8
  unreachable

80:                                               ; preds = %74
  %81 = landingpad { ptr, i32 }
          cleanup
  %82 = extractvalue { ptr, i32 } %81, 0
  store ptr %82, ptr %4, align 8
  %83 = extractvalue { ptr, i32 } %81, 1
  store i32 %83, ptr %5, align 4
  call void @__cxa_free_exception(ptr %77) #7
  call void @llvm.lifetime.end.p0(i64 256, ptr %3) #7
  br label %694

84:                                               ; preds = %1
  %85 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %86 = getelementptr inbounds %class.Instance, ptr %85, i32 0, i32 1
  %87 = load i32, ptr %86, align 4, !tbaa !51
  %88 = icmp eq i32 %87, 1
  br i1 %88, label %89, label %122

89:                                               ; preds = %84
  %90 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 17
  store i32 0, ptr %90, align 8, !tbaa !52
  %91 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #7
  %92 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 3
  %93 = call noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %92)
  store i32 %93, ptr %7, align 4, !tbaa !53
  %94 = getelementptr inbounds %"class.std::initializer_list", ptr %6, i32 0, i32 0
  store ptr %7, ptr %94, align 8, !tbaa !54
  %95 = getelementptr inbounds %"class.std::initializer_list", ptr %6, i32 0, i32 1
  store i64 1, ptr %95, align 8, !tbaa !56
  %96 = getelementptr inbounds { ptr, i64 }, ptr %6, i32 0, i32 0
  %97 = load ptr, ptr %96, align 8
  %98 = getelementptr inbounds { ptr, i64 }, ptr %6, i32 0, i32 1
  %99 = load i64, ptr %98, align 8
  call void @_ZNSt6vectorIiSaIiEE6assignESt16initializer_listIiE(ptr noundef nonnull align 8 dereferenceable(24) %91, ptr %97, i64 %99)
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #7
  %100 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 20
  call void @llvm.lifetime.start.p0(i64 12, ptr %8) #7
  %101 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  %102 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %101, i64 noundef 0) #7
  %103 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 17
  %104 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 21
  %105 = load i32, ptr %104, align 8, !tbaa !57
  call void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %8, ptr noundef nonnull align 4 dereferenceable(4) %102, ptr noundef nonnull align 4 dereferenceable(4) %103, i32 noundef %105)
  call void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %100, ptr noundef nonnull align 4 dereferenceable(12) %8)
  call void @llvm.lifetime.end.p0(i64 12, ptr %8) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #7
  store i32 1, ptr %9, align 4, !tbaa !53
  br label %106

106:                                              ; preds = %118, %89
  %107 = load i32, ptr %9, align 4, !tbaa !53
  %108 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 3
  %109 = call noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %108)
  %110 = icmp slt i32 %107, %109
  br i1 %110, label %112, label %111

111:                                              ; preds = %106
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #7
  br label %121

112:                                              ; preds = %106
  %113 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 20
  call void @llvm.lifetime.start.p0(i64 12, ptr %10) #7
  %114 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  %115 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %114, i64 noundef 0) #7
  %116 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 21
  %117 = load i32, ptr %116, align 8, !tbaa !57
  call void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %10, ptr noundef nonnull align 4 dereferenceable(4) %9, ptr noundef nonnull align 4 dereferenceable(4) %115, i32 noundef %117)
  call void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %113, ptr noundef nonnull align 4 dereferenceable(12) %10)
  call void @llvm.lifetime.end.p0(i64 12, ptr %10) #7
  br label %118

118:                                              ; preds = %112
  %119 = load i32, ptr %9, align 4, !tbaa !53
  %120 = add nsw i32 %119, 1
  store i32 %120, ptr %9, align 4, !tbaa !53
  br label %106, !llvm.loop !58

121:                                              ; preds = %111
  br label %647

122:                                              ; preds = %84
  %123 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 17
  store i32 0, ptr %123, align 8, !tbaa !52
  call void @llvm.lifetime.start.p0(i64 24, ptr %11) #7
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %11) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #7
  store i32 0, ptr %12, align 4, !tbaa !53
  br label %124

124:                                              ; preds = %133, %122
  %125 = load i32, ptr %12, align 4, !tbaa !53
  %126 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %127 = getelementptr inbounds %class.Instance, ptr %126, i32 0, i32 1
  %128 = load i32, ptr %127, align 4, !tbaa !51
  %129 = icmp slt i32 %125, %128
  br i1 %129, label %131, label %130

130:                                              ; preds = %124
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #7
  br label %140

131:                                              ; preds = %124
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %11, ptr noundef nonnull align 4 dereferenceable(4) %12)
          to label %132 unwind label %136

132:                                              ; preds = %131
  br label %133

133:                                              ; preds = %132
  %134 = load i32, ptr %12, align 4, !tbaa !53
  %135 = add nsw i32 %134, 1
  store i32 %135, ptr %12, align 4, !tbaa !53
  br label %124, !llvm.loop !60

136:                                              ; preds = %131
  %137 = landingpad { ptr, i32 }
          cleanup
  %138 = extractvalue { ptr, i32 } %137, 0
  store ptr %138, ptr %4, align 8
  %139 = extractvalue { ptr, i32 } %137, 1
  store i32 %139, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #7
  br label %646

140:                                              ; preds = %130
  %141 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %11) #7
  %142 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %13, i32 0, i32 0
  store ptr %141, ptr %142, align 8
  %143 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %11) #7
  %144 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %14, i32 0, i32 0
  store ptr %143, ptr %144, align 8
  %145 = getelementptr inbounds %class.anon.55, ptr %15, i32 0, i32 0
  store ptr %68, ptr %145, align 8, !tbaa !61
  %146 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %13, i32 0, i32 0
  %147 = load ptr, ptr %146, align 8
  %148 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %14, i32 0, i32 0
  %149 = load ptr, ptr %148, align 8
  %150 = getelementptr inbounds %class.anon.55, ptr %15, i32 0, i32 0
  %151 = load ptr, ptr %150, align 8
  invoke void @"_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEEZN7Arcflow8finalizeEvE3$_0EvT_S9_T0_"(ptr %147, ptr %149, ptr %151)
          to label %152 unwind label %166

152:                                              ; preds = %140
  %153 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  %154 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %155 = getelementptr inbounds %class.Instance, ptr %154, i32 0, i32 1
  %156 = load i32, ptr %155, align 4, !tbaa !51
  %157 = sext i32 %156 to i64
  invoke void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %153, i64 noundef %157)
          to label %158 unwind label %166

158:                                              ; preds = %152
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #7
  store i32 0, ptr %16, align 4, !tbaa !53
  br label %159

159:                                              ; preds = %183, %158
  %160 = load i32, ptr %16, align 4, !tbaa !53
  %161 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %162 = getelementptr inbounds %class.Instance, ptr %161, i32 0, i32 1
  %163 = load i32, ptr %162, align 4, !tbaa !51
  %164 = icmp slt i32 %160, %163
  br i1 %164, label %170, label %165

165:                                              ; preds = %159
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #7
  br label %190

166:                                              ; preds = %152, %140
  %167 = landingpad { ptr, i32 }
          cleanup
  %168 = extractvalue { ptr, i32 } %167, 0
  store ptr %168, ptr %4, align 8
  %169 = extractvalue { ptr, i32 } %167, 1
  store i32 %169, ptr %5, align 4
  br label %646

170:                                              ; preds = %159
  %171 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 3
  %172 = invoke noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %171)
          to label %173 unwind label %186

173:                                              ; preds = %170
  %174 = load i32, ptr %16, align 4, !tbaa !53
  %175 = add nsw i32 %172, %174
  %176 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  %177 = load i32, ptr %16, align 4, !tbaa !53
  %178 = sext i32 %177 to i64
  %179 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %178) #7
  %180 = load i32, ptr %179, align 4, !tbaa !53
  %181 = sext i32 %180 to i64
  %182 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %176, i64 noundef %181) #7
  store i32 %175, ptr %182, align 4, !tbaa !53
  br label %183

183:                                              ; preds = %173
  %184 = load i32, ptr %16, align 4, !tbaa !53
  %185 = add nsw i32 %184, 1
  store i32 %185, ptr %16, align 4, !tbaa !53
  br label %159, !llvm.loop !63

186:                                              ; preds = %170
  %187 = landingpad { ptr, i32 }
          cleanup
  %188 = extractvalue { ptr, i32 } %187, 0
  store ptr %188, ptr %4, align 8
  %189 = extractvalue { ptr, i32 } %187, 1
  store i32 %189, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #7
  br label %646

190:                                              ; preds = %165
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #7
  store i32 0, ptr %17, align 4, !tbaa !53
  br label %191

191:                                              ; preds = %209, %190
  %192 = load i32, ptr %17, align 4, !tbaa !53
  %193 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %194 = getelementptr inbounds %class.Instance, ptr %193, i32 0, i32 1
  %195 = load i32, ptr %194, align 4, !tbaa !51
  %196 = icmp slt i32 %192, %195
  br i1 %196, label %198, label %197

197:                                              ; preds = %191
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  br label %216

198:                                              ; preds = %191
  %199 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 20
  call void @llvm.lifetime.start.p0(i64 12, ptr %18) #7
  %200 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  %201 = load i32, ptr %17, align 4, !tbaa !53
  %202 = sext i32 %201 to i64
  %203 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %200, i64 noundef %202) #7
  %204 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 17
  %205 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 21
  %206 = load i32, ptr %205, align 8, !tbaa !57
  invoke void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %18, ptr noundef nonnull align 4 dereferenceable(4) %203, ptr noundef nonnull align 4 dereferenceable(4) %204, i32 noundef %206)
          to label %207 unwind label %212

207:                                              ; preds = %198
  invoke void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %199, ptr noundef nonnull align 4 dereferenceable(12) %18)
          to label %208 unwind label %212

208:                                              ; preds = %207
  call void @llvm.lifetime.end.p0(i64 12, ptr %18) #7
  br label %209

209:                                              ; preds = %208
  %210 = load i32, ptr %17, align 4, !tbaa !53
  %211 = add nsw i32 %210, 1
  store i32 %211, ptr %17, align 4, !tbaa !53
  br label %191, !llvm.loop !64

212:                                              ; preds = %207, %198
  %213 = landingpad { ptr, i32 }
          cleanup
  %214 = extractvalue { ptr, i32 } %213, 0
  store ptr %214, ptr %4, align 8
  %215 = extractvalue { ptr, i32 } %213, 1
  store i32 %215, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 12, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  br label %646

216:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 24, ptr %19) #7
  %217 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %218 = getelementptr inbounds %class.Instance, ptr %217, i32 0, i32 1
  %219 = load i32, ptr %218, align 4, !tbaa !51
  %220 = sext i32 %219 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr %20) #7
  call void @_ZNSaISt6vectorIiSaIiEEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  invoke void @_ZNSt6vectorIS_IiSaIiEESaIS1_EEC2EmRKS2_(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %220, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %221 unwind label %229

221:                                              ; preds = %216
  call void @_ZNSt15__new_allocatorISt6vectorIiSaIiEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #7
  store i32 0, ptr %21, align 4, !tbaa !53
  br label %222

222:                                              ; preds = %302, %221
  %223 = load i32, ptr %21, align 4, !tbaa !53
  %224 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %225 = getelementptr inbounds %class.Instance, ptr %224, i32 0, i32 1
  %226 = load i32, ptr %225, align 4, !tbaa !51
  %227 = icmp slt i32 %223, %226
  br i1 %227, label %233, label %228

228:                                              ; preds = %222
  store i32 14, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  br label %305

229:                                              ; preds = %216
  %230 = landingpad { ptr, i32 }
          cleanup
  %231 = extractvalue { ptr, i32 } %230, 0
  store ptr %231, ptr %4, align 8
  %232 = extractvalue { ptr, i32 } %230, 1
  store i32 %232, ptr %5, align 4
  call void @_ZNSt15__new_allocatorISt6vectorIiSaIiEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #7
  br label %645

233:                                              ; preds = %222
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #7
  store i32 0, ptr %23, align 4, !tbaa !53
  br label %234

234:                                              ; preds = %298, %233
  %235 = load i32, ptr %23, align 4, !tbaa !53
  %236 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %237 = getelementptr inbounds %class.Instance, ptr %236, i32 0, i32 1
  %238 = load i32, ptr %237, align 4, !tbaa !51
  %239 = icmp slt i32 %235, %238
  br i1 %239, label %241, label %240

240:                                              ; preds = %234
  store i32 17, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  br label %301

241:                                              ; preds = %234
  %242 = load i32, ptr %21, align 4, !tbaa !53
  %243 = load i32, ptr %23, align 4, !tbaa !53
  %244 = icmp ne i32 %242, %243
  br i1 %244, label %245, label %297

245:                                              ; preds = %241
  %246 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %247 = getelementptr inbounds %class.Instance, ptr %246, i32 0, i32 5
  %248 = load i32, ptr %21, align 4, !tbaa !53
  %249 = sext i32 %248 to i64
  %250 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %247, i64 noundef %249) #7
  %251 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %252 = getelementptr inbounds %class.Instance, ptr %251, i32 0, i32 5
  %253 = load i32, ptr %23, align 4, !tbaa !53
  %254 = sext i32 %253 to i64
  %255 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %252, i64 noundef %254) #7
  %256 = call noundef zeroext i1 @_ZNK7Arcflow8is_validERKSt6vectorIiSaIiEES4_(ptr noundef nonnull align 8 dereferenceable(604) %68, ptr noundef nonnull align 8 dereferenceable(24) %250, ptr noundef nonnull align 8 dereferenceable(24) %255)
  br i1 %256, label %257, label %297

257:                                              ; preds = %245
  %258 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %259 = getelementptr inbounds %class.Instance, ptr %258, i32 0, i32 5
  %260 = load i32, ptr %21, align 4, !tbaa !53
  %261 = sext i32 %260 to i64
  %262 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %259, i64 noundef %261) #7
  %263 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %264 = getelementptr inbounds %class.Instance, ptr %263, i32 0, i32 5
  %265 = load i32, ptr %23, align 4, !tbaa !53
  %266 = sext i32 %265 to i64
  %267 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %264, i64 noundef %266) #7
  %268 = invoke noundef zeroext i1 @_ZStneIiSaIiEEbRKSt6vectorIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(24) %262, ptr noundef nonnull align 8 dereferenceable(24) %267)
          to label %269 unwind label %292

269:                                              ; preds = %257
  br i1 %268, label %287, label %270

270:                                              ; preds = %269
  %271 = load i32, ptr %21, align 4, !tbaa !53
  %272 = load i32, ptr %23, align 4, !tbaa !53
  %273 = icmp slt i32 %271, %272
  br i1 %273, label %274, label %296

274:                                              ; preds = %270
  %275 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %276 = getelementptr inbounds %class.Instance, ptr %275, i32 0, i32 5
  %277 = load i32, ptr %21, align 4, !tbaa !53
  %278 = sext i32 %277 to i64
  %279 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %276, i64 noundef %278) #7
  %280 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %281 = getelementptr inbounds %class.Instance, ptr %280, i32 0, i32 5
  %282 = load i32, ptr %23, align 4, !tbaa !53
  %283 = sext i32 %282 to i64
  %284 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %281, i64 noundef %283) #7
  %285 = invoke noundef zeroext i1 @_ZSteqIiSaIiEEbRKSt6vectorIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(24) %279, ptr noundef nonnull align 8 dereferenceable(24) %284)
          to label %286 unwind label %292

286:                                              ; preds = %274
  br i1 %285, label %287, label %296

287:                                              ; preds = %286, %269
  %288 = load i32, ptr %21, align 4, !tbaa !53
  %289 = sext i32 %288 to i64
  %290 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %289) #7
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %290, ptr noundef nonnull align 4 dereferenceable(4) %23)
          to label %291 unwind label %292

291:                                              ; preds = %287
  br label %296

292:                                              ; preds = %287, %274, %257
  %293 = landingpad { ptr, i32 }
          cleanup
  %294 = extractvalue { ptr, i32 } %293, 0
  store ptr %294, ptr %4, align 8
  %295 = extractvalue { ptr, i32 } %293, 1
  store i32 %295, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  br label %644

296:                                              ; preds = %291, %286, %270
  br label %297

297:                                              ; preds = %296, %245, %241
  br label %298

298:                                              ; preds = %297
  %299 = load i32, ptr %23, align 4, !tbaa !53
  %300 = add nsw i32 %299, 1
  store i32 %300, ptr %23, align 4, !tbaa !53
  br label %234, !llvm.loop !65

301:                                              ; preds = %240
  br label %302

302:                                              ; preds = %301
  %303 = load i32, ptr %21, align 4, !tbaa !53
  %304 = add nsw i32 %303, 1
  store i32 %304, ptr %21, align 4, !tbaa !53
  br label %222, !llvm.loop !66

305:                                              ; preds = %228
  call void @llvm.lifetime.start.p0(i64 40, ptr %24) #7
  %306 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %307 = getelementptr inbounds %class.Instance, ptr %306, i32 0, i32 1
  %308 = load i32, ptr %307, align 4, !tbaa !51
  %309 = sext i32 %308 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr %25) #7
  call void @_ZNSaIbEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  invoke void @_ZNSt6vectorIbSaIbEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %309, ptr noundef nonnull align 1 dereferenceable(1) %25)
          to label %310 unwind label %318

310:                                              ; preds = %305
  call void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #7
  store i32 1, ptr %26, align 4, !tbaa !53
  br label %311

311:                                              ; preds = %466, %310
  %312 = load i32, ptr %26, align 4, !tbaa !53
  %313 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 3
  %314 = invoke noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %313)
          to label %315 unwind label %322

315:                                              ; preds = %311
  %316 = icmp slt i32 %312, %314
  br i1 %316, label %326, label %317

317:                                              ; preds = %315
  store i32 20, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  br label %472

318:                                              ; preds = %305
  %319 = landingpad { ptr, i32 }
          cleanup
  %320 = extractvalue { ptr, i32 } %319, 0
  store ptr %320, ptr %4, align 8
  %321 = extractvalue { ptr, i32 } %319, 1
  store i32 %321, ptr %5, align 4
  call void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #7
  br label %643

322:                                              ; preds = %311
  %323 = landingpad { ptr, i32 }
          cleanup
  %324 = extractvalue { ptr, i32 } %323, 0
  store ptr %324, ptr %4, align 8
  %325 = extractvalue { ptr, i32 } %323, 1
  store i32 %325, ptr %5, align 4
  br label %471

326:                                              ; preds = %315
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr %28) #7
  %327 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 3
  %328 = load i32, ptr %26, align 4, !tbaa !53
  invoke void @_ZNK7NodeSet9get_labelEi(ptr dead_on_unwind writable sret(%"class.std::vector.8") align 8 %28, ptr noundef nonnull align 8 dereferenceable(72) %327, i32 noundef %328)
          to label %329 unwind label %337

329:                                              ; preds = %326
  store ptr %28, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #7
  store i32 0, ptr %29, align 4, !tbaa !53
  br label %330

330:                                              ; preds = %358, %329
  %331 = load i32, ptr %29, align 4, !tbaa !53
  %332 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %333 = getelementptr inbounds %class.Instance, ptr %332, i32 0, i32 1
  %334 = load i32, ptr %333, align 4, !tbaa !51
  %335 = icmp slt i32 %331, %334
  br i1 %335, label %341, label %336

336:                                              ; preds = %330
  store i32 23, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #7
  br label %365

337:                                              ; preds = %326
  %338 = landingpad { ptr, i32 }
          cleanup
  %339 = extractvalue { ptr, i32 } %338, 0
  store ptr %339, ptr %4, align 8
  %340 = extractvalue { ptr, i32 } %338, 1
  store i32 %340, ptr %5, align 4
  br label %470

341:                                              ; preds = %330
  %342 = load ptr, ptr %27, align 8, !tbaa !5
  %343 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %344 = getelementptr inbounds %class.Instance, ptr %343, i32 0, i32 5
  %345 = load i32, ptr %29, align 4, !tbaa !53
  %346 = sext i32 %345 to i64
  %347 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %344, i64 noundef %346) #7
  %348 = call noundef zeroext i1 @_ZNK7Arcflow8is_validERKSt6vectorIiSaIiEES4_(ptr noundef nonnull align 8 dereferenceable(604) %68, ptr noundef nonnull align 8 dereferenceable(24) %342, ptr noundef nonnull align 8 dereferenceable(24) %347)
  call void @llvm.lifetime.start.p0(i64 16, ptr %30) #7
  %349 = load i32, ptr %29, align 4, !tbaa !53
  %350 = sext i32 %349 to i64
  %351 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %350)
          to label %352 unwind label %361

352:                                              ; preds = %341
  %353 = getelementptr inbounds { ptr, i64 }, ptr %30, i32 0, i32 0
  %354 = extractvalue { ptr, i64 } %351, 0
  store ptr %354, ptr %353, align 8
  %355 = getelementptr inbounds { ptr, i64 }, ptr %30, i32 0, i32 1
  %356 = extractvalue { ptr, i64 } %351, 1
  store i64 %356, ptr %355, align 8
  %357 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %30, i1 noundef zeroext %348) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %30) #7
  br label %358

358:                                              ; preds = %352
  %359 = load i32, ptr %29, align 4, !tbaa !53
  %360 = add nsw i32 %359, 1
  store i32 %360, ptr %29, align 4, !tbaa !53
  br label %330, !llvm.loop !67

361:                                              ; preds = %341
  %362 = landingpad { ptr, i32 }
          cleanup
  %363 = extractvalue { ptr, i32 } %362, 0
  store ptr %363, ptr %4, align 8
  %364 = extractvalue { ptr, i32 } %362, 1
  store i32 %364, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %30) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #7
  br label %469

365:                                              ; preds = %336
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #7
  store i32 0, ptr %31, align 4, !tbaa !53
  br label %366

366:                                              ; preds = %420, %365
  %367 = load i32, ptr %31, align 4, !tbaa !53
  %368 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %369 = getelementptr inbounds %class.Instance, ptr %368, i32 0, i32 1
  %370 = load i32, ptr %369, align 4, !tbaa !51
  %371 = icmp slt i32 %367, %370
  br i1 %371, label %373, label %372

372:                                              ; preds = %366
  store i32 26, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #7
  br label %424

373:                                              ; preds = %366
  call void @llvm.lifetime.start.p0(i64 16, ptr %32) #7
  %374 = load i32, ptr %31, align 4, !tbaa !53
  %375 = sext i32 %374 to i64
  %376 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %375)
          to label %377 unwind label %396

377:                                              ; preds = %373
  %378 = getelementptr inbounds { ptr, i64 }, ptr %32, i32 0, i32 0
  %379 = extractvalue { ptr, i64 } %376, 0
  store ptr %379, ptr %378, align 8
  %380 = getelementptr inbounds { ptr, i64 }, ptr %32, i32 0, i32 1
  %381 = extractvalue { ptr, i64 } %376, 1
  store i64 %381, ptr %380, align 8
  %382 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %32) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #7
  br i1 %382, label %383, label %419

383:                                              ; preds = %377
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #7
  %384 = load i32, ptr %31, align 4, !tbaa !53
  %385 = sext i32 %384 to i64
  %386 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %385) #7
  store ptr %386, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #7
  %387 = load ptr, ptr %33, align 8, !tbaa !5
  %388 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %387) #7
  %389 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %34, i32 0, i32 0
  store ptr %388, ptr %389, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #7
  %390 = load ptr, ptr %33, align 8, !tbaa !5
  %391 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %390) #7
  %392 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %35, i32 0, i32 0
  store ptr %391, ptr %392, align 8
  br label %393

393:                                              ; preds = %412, %383
  %394 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef nonnull align 8 dereferenceable(8) %35) #7
  br i1 %394, label %400, label %395

395:                                              ; preds = %393
  store i32 29, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  br label %418

396:                                              ; preds = %373
  %397 = landingpad { ptr, i32 }
          cleanup
  %398 = extractvalue { ptr, i32 } %397, 0
  store ptr %398, ptr %4, align 8
  %399 = extractvalue { ptr, i32 } %397, 1
  store i32 %399, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #7
  br label %423

400:                                              ; preds = %393
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #7
  %401 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %34) #7
  %402 = load i32, ptr %401, align 4, !tbaa !53
  store i32 %402, ptr %36, align 4, !tbaa !53
  call void @llvm.lifetime.start.p0(i64 16, ptr %37) #7
  %403 = load i32, ptr %36, align 4, !tbaa !53
  %404 = sext i32 %403 to i64
  %405 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %404)
          to label %406 unwind label %414

406:                                              ; preds = %400
  %407 = getelementptr inbounds { ptr, i64 }, ptr %37, i32 0, i32 0
  %408 = extractvalue { ptr, i64 } %405, 0
  store ptr %408, ptr %407, align 8
  %409 = getelementptr inbounds { ptr, i64 }, ptr %37, i32 0, i32 1
  %410 = extractvalue { ptr, i64 } %405, 1
  store i64 %410, ptr %409, align 8
  %411 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %37, i1 noundef zeroext false) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %37) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #7
  br label %412

412:                                              ; preds = %406
  %413 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %34) #7
  br label %393

414:                                              ; preds = %400
  %415 = landingpad { ptr, i32 }
          cleanup
  %416 = extractvalue { ptr, i32 } %415, 0
  store ptr %416, ptr %4, align 8
  %417 = extractvalue { ptr, i32 } %415, 1
  store i32 %417, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %37) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  br label %423

418:                                              ; preds = %395
  br label %419

419:                                              ; preds = %418, %377
  br label %420

420:                                              ; preds = %419
  %421 = load i32, ptr %31, align 4, !tbaa !53
  %422 = add nsw i32 %421, 1
  store i32 %422, ptr %31, align 4, !tbaa !53
  br label %366, !llvm.loop !68

423:                                              ; preds = %414, %396
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #7
  br label %469

424:                                              ; preds = %372
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #7
  store i32 0, ptr %38, align 4, !tbaa !53
  br label %425

425:                                              ; preds = %461, %424
  %426 = load i32, ptr %38, align 4, !tbaa !53
  %427 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %428 = getelementptr inbounds %class.Instance, ptr %427, i32 0, i32 1
  %429 = load i32, ptr %428, align 4, !tbaa !51
  %430 = icmp slt i32 %426, %429
  br i1 %430, label %432, label %431

431:                                              ; preds = %425
  store i32 31, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #7
  br label %465

432:                                              ; preds = %425
  call void @llvm.lifetime.start.p0(i64 16, ptr %39) #7
  %433 = load i32, ptr %38, align 4, !tbaa !53
  %434 = sext i32 %433 to i64
  %435 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %434)
          to label %436 unwind label %452

436:                                              ; preds = %432
  %437 = getelementptr inbounds { ptr, i64 }, ptr %39, i32 0, i32 0
  %438 = extractvalue { ptr, i64 } %435, 0
  store ptr %438, ptr %437, align 8
  %439 = getelementptr inbounds { ptr, i64 }, ptr %39, i32 0, i32 1
  %440 = extractvalue { ptr, i64 } %435, 1
  store i64 %440, ptr %439, align 8
  %441 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %39) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #7
  br i1 %441, label %442, label %460

442:                                              ; preds = %436
  %443 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 20
  call void @llvm.lifetime.start.p0(i64 12, ptr %40) #7
  %444 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  %445 = load i32, ptr %38, align 4, !tbaa !53
  %446 = sext i32 %445 to i64
  %447 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %444, i64 noundef %446) #7
  %448 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 21
  %449 = load i32, ptr %448, align 8, !tbaa !57
  invoke void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %40, ptr noundef nonnull align 4 dereferenceable(4) %26, ptr noundef nonnull align 4 dereferenceable(4) %447, i32 noundef %449)
          to label %450 unwind label %456

450:                                              ; preds = %442
  invoke void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %443, ptr noundef nonnull align 4 dereferenceable(12) %40)
          to label %451 unwind label %456

451:                                              ; preds = %450
  call void @llvm.lifetime.end.p0(i64 12, ptr %40) #7
  br label %460

452:                                              ; preds = %432
  %453 = landingpad { ptr, i32 }
          cleanup
  %454 = extractvalue { ptr, i32 } %453, 0
  store ptr %454, ptr %4, align 8
  %455 = extractvalue { ptr, i32 } %453, 1
  store i32 %455, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #7
  br label %464

456:                                              ; preds = %450, %442
  %457 = landingpad { ptr, i32 }
          cleanup
  %458 = extractvalue { ptr, i32 } %457, 0
  store ptr %458, ptr %4, align 8
  %459 = extractvalue { ptr, i32 } %457, 1
  store i32 %459, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 12, ptr %40) #7
  br label %464

460:                                              ; preds = %451, %436
  br label %461

461:                                              ; preds = %460
  %462 = load i32, ptr %38, align 4, !tbaa !53
  %463 = add nsw i32 %462, 1
  store i32 %463, ptr %38, align 4, !tbaa !53
  br label %425, !llvm.loop !69

464:                                              ; preds = %456, %452
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #7
  br label %469

465:                                              ; preds = %431
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %28) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  br label %466

466:                                              ; preds = %465
  %467 = load i32, ptr %26, align 4, !tbaa !53
  %468 = add nsw i32 %467, 1
  store i32 %468, ptr %26, align 4, !tbaa !53
  br label %311, !llvm.loop !70

469:                                              ; preds = %464, %423, %361
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %28) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %28) #7
  br label %470

470:                                              ; preds = %469, %337
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  br label %471

471:                                              ; preds = %470, %322
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  br label %642

472:                                              ; preds = %317
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #7
  store i32 0, ptr %41, align 4, !tbaa !53
  br label %473

473:                                              ; preds = %637, %472
  %474 = load i32, ptr %41, align 4, !tbaa !53
  %475 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %476 = getelementptr inbounds %class.Instance, ptr %475, i32 0, i32 1
  %477 = load i32, ptr %476, align 4, !tbaa !51
  %478 = icmp slt i32 %474, %477
  br i1 %478, label %480, label %479

479:                                              ; preds = %473
  store i32 34, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #7
  br label %641

480:                                              ; preds = %473
  %481 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 14
  %482 = getelementptr inbounds %class.Instance, ptr %481, i32 0, i32 1
  %483 = load i32, ptr %482, align 4, !tbaa !51
  %484 = sext i32 %483 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr %42) #7
  store i8 0, ptr %42, align 1, !tbaa !71
  invoke void @_ZNSt6vectorIbSaIbEE6assignEmRKb(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %484, ptr noundef nonnull align 1 dereferenceable(1) %42)
          to label %485 unwind label %498

485:                                              ; preds = %480
  call void @llvm.lifetime.end.p0(i64 1, ptr %42) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #7
  %486 = load i32, ptr %41, align 4, !tbaa !53
  %487 = sext i32 %486 to i64
  %488 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %487) #7
  store ptr %488, ptr %43, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #7
  %489 = load ptr, ptr %43, align 8, !tbaa !5
  %490 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %489) #7
  %491 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %44, i32 0, i32 0
  store ptr %490, ptr %491, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #7
  %492 = load ptr, ptr %43, align 8, !tbaa !5
  %493 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %492) #7
  %494 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %45, i32 0, i32 0
  store ptr %493, ptr %494, align 8
  br label %495

495:                                              ; preds = %514, %485
  %496 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %44, ptr noundef nonnull align 8 dereferenceable(8) %45) #7
  br i1 %496, label %502, label %497

497:                                              ; preds = %495
  store i32 37, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #7
  br label %520

498:                                              ; preds = %480
  %499 = landingpad { ptr, i32 }
          cleanup
  %500 = extractvalue { ptr, i32 } %499, 0
  store ptr %500, ptr %4, align 8
  %501 = extractvalue { ptr, i32 } %499, 1
  store i32 %501, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %42) #7
  br label %640

502:                                              ; preds = %495
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #7
  %503 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %44) #7
  %504 = load i32, ptr %503, align 4, !tbaa !53
  store i32 %504, ptr %46, align 4, !tbaa !53
  call void @llvm.lifetime.start.p0(i64 16, ptr %47) #7
  %505 = load i32, ptr %46, align 4, !tbaa !53
  %506 = sext i32 %505 to i64
  %507 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %506)
          to label %508 unwind label %516

508:                                              ; preds = %502
  %509 = getelementptr inbounds { ptr, i64 }, ptr %47, i32 0, i32 0
  %510 = extractvalue { ptr, i64 } %507, 0
  store ptr %510, ptr %509, align 8
  %511 = getelementptr inbounds { ptr, i64 }, ptr %47, i32 0, i32 1
  %512 = extractvalue { ptr, i64 } %507, 1
  store i64 %512, ptr %511, align 8
  %513 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %47, i1 noundef zeroext true) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %47) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #7
  br label %514

514:                                              ; preds = %508
  %515 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %44) #7
  br label %495

516:                                              ; preds = %502
  %517 = landingpad { ptr, i32 }
          cleanup
  %518 = extractvalue { ptr, i32 } %517, 0
  store ptr %518, ptr %4, align 8
  %519 = extractvalue { ptr, i32 } %517, 1
  store i32 %519, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %47) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #7
  br label %640

520:                                              ; preds = %497
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #7
  %521 = load i32, ptr %41, align 4, !tbaa !53
  %522 = sext i32 %521 to i64
  %523 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %522) #7
  store ptr %523, ptr %48, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #7
  %524 = load ptr, ptr %48, align 8, !tbaa !5
  %525 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %524) #7
  %526 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %49, i32 0, i32 0
  store ptr %525, ptr %526, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #7
  %527 = load ptr, ptr %48, align 8, !tbaa !5
  %528 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %527) #7
  %529 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %50, i32 0, i32 0
  store ptr %528, ptr %529, align 8
  br label %530

530:                                              ; preds = %582, %520
  %531 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %49, ptr noundef nonnull align 8 dereferenceable(8) %50) #7
  br i1 %531, label %533, label %532

532:                                              ; preds = %530
  store i32 39, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #7
  br label %585

533:                                              ; preds = %530
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #7
  %534 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %49) #7
  %535 = load i32, ptr %534, align 4, !tbaa !53
  store i32 %535, ptr %51, align 4, !tbaa !53
  call void @llvm.lifetime.start.p0(i64 16, ptr %52) #7
  %536 = load i32, ptr %51, align 4, !tbaa !53
  %537 = sext i32 %536 to i64
  %538 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %537)
          to label %539 unwind label %558

539:                                              ; preds = %533
  %540 = getelementptr inbounds { ptr, i64 }, ptr %52, i32 0, i32 0
  %541 = extractvalue { ptr, i64 } %538, 0
  store ptr %541, ptr %540, align 8
  %542 = getelementptr inbounds { ptr, i64 }, ptr %52, i32 0, i32 1
  %543 = extractvalue { ptr, i64 } %538, 1
  store i64 %543, ptr %542, align 8
  %544 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %52) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %52) #7
  br i1 %544, label %545, label %581

545:                                              ; preds = %539
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #7
  %546 = load i32, ptr %51, align 4, !tbaa !53
  %547 = sext i32 %546 to i64
  %548 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %547) #7
  store ptr %548, ptr %53, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #7
  %549 = load ptr, ptr %53, align 8, !tbaa !5
  %550 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %549) #7
  %551 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %54, i32 0, i32 0
  store ptr %550, ptr %551, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #7
  %552 = load ptr, ptr %53, align 8, !tbaa !5
  %553 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %552) #7
  %554 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %55, i32 0, i32 0
  store ptr %553, ptr %554, align 8
  br label %555

555:                                              ; preds = %574, %545
  %556 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %54, ptr noundef nonnull align 8 dereferenceable(8) %55) #7
  br i1 %556, label %562, label %557

557:                                              ; preds = %555
  store i32 41, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #7
  br label %580

558:                                              ; preds = %533
  %559 = landingpad { ptr, i32 }
          cleanup
  %560 = extractvalue { ptr, i32 } %559, 0
  store ptr %560, ptr %4, align 8
  %561 = extractvalue { ptr, i32 } %559, 1
  store i32 %561, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %52) #7
  br label %584

562:                                              ; preds = %555
  call void @llvm.lifetime.start.p0(i64 4, ptr %56) #7
  %563 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %54) #7
  %564 = load i32, ptr %563, align 4, !tbaa !53
  store i32 %564, ptr %56, align 4, !tbaa !53
  call void @llvm.lifetime.start.p0(i64 16, ptr %57) #7
  %565 = load i32, ptr %56, align 4, !tbaa !53
  %566 = sext i32 %565 to i64
  %567 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %566)
          to label %568 unwind label %576

568:                                              ; preds = %562
  %569 = getelementptr inbounds { ptr, i64 }, ptr %57, i32 0, i32 0
  %570 = extractvalue { ptr, i64 } %567, 0
  store ptr %570, ptr %569, align 8
  %571 = getelementptr inbounds { ptr, i64 }, ptr %57, i32 0, i32 1
  %572 = extractvalue { ptr, i64 } %567, 1
  store i64 %572, ptr %571, align 8
  %573 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %57, i1 noundef zeroext false) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %57) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #7
  br label %574

574:                                              ; preds = %568
  %575 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %54) #7
  br label %555

576:                                              ; preds = %562
  %577 = landingpad { ptr, i32 }
          cleanup
  %578 = extractvalue { ptr, i32 } %577, 0
  store ptr %578, ptr %4, align 8
  %579 = extractvalue { ptr, i32 } %577, 1
  store i32 %579, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %57) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #7
  br label %584

580:                                              ; preds = %557
  br label %581

581:                                              ; preds = %580, %539
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #7
  br label %582

582:                                              ; preds = %581
  %583 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %49) #7
  br label %530

584:                                              ; preds = %576, %558
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #7
  br label %640

585:                                              ; preds = %532
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #7
  %586 = load i32, ptr %41, align 4, !tbaa !53
  %587 = sext i32 %586 to i64
  %588 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %587) #7
  store ptr %588, ptr %58, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #7
  %589 = load ptr, ptr %58, align 8, !tbaa !5
  %590 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %589) #7
  %591 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %59, i32 0, i32 0
  store ptr %590, ptr %591, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #7
  %592 = load ptr, ptr %58, align 8, !tbaa !5
  %593 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %592) #7
  %594 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.36", ptr %60, i32 0, i32 0
  store ptr %593, ptr %594, align 8
  br label %595

595:                                              ; preds = %633, %585
  %596 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %59, ptr noundef nonnull align 8 dereferenceable(8) %60) #7
  br i1 %596, label %598, label %597

597:                                              ; preds = %595
  store i32 43, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #7
  br label %636

598:                                              ; preds = %595
  call void @llvm.lifetime.start.p0(i64 4, ptr %61) #7
  %599 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %59) #7
  %600 = load i32, ptr %599, align 4, !tbaa !53
  store i32 %600, ptr %61, align 4, !tbaa !53
  call void @llvm.lifetime.start.p0(i64 16, ptr %62) #7
  %601 = load i32, ptr %61, align 4, !tbaa !53
  %602 = sext i32 %601 to i64
  %603 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %24, i64 noundef %602)
          to label %604 unwind label %624

604:                                              ; preds = %598
  %605 = getelementptr inbounds { ptr, i64 }, ptr %62, i32 0, i32 0
  %606 = extractvalue { ptr, i64 } %603, 0
  store ptr %606, ptr %605, align 8
  %607 = getelementptr inbounds { ptr, i64 }, ptr %62, i32 0, i32 1
  %608 = extractvalue { ptr, i64 } %603, 1
  store i64 %608, ptr %607, align 8
  %609 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %62) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %62) #7
  br i1 %609, label %610, label %632

610:                                              ; preds = %604
  %611 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 20
  call void @llvm.lifetime.start.p0(i64 12, ptr %63) #7
  %612 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  %613 = load i32, ptr %41, align 4, !tbaa !53
  %614 = sext i32 %613 to i64
  %615 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %612, i64 noundef %614) #7
  %616 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  %617 = load i32, ptr %61, align 4, !tbaa !53
  %618 = sext i32 %617 to i64
  %619 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %616, i64 noundef %618) #7
  %620 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 21
  %621 = load i32, ptr %620, align 8, !tbaa !57
  invoke void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %63, ptr noundef nonnull align 4 dereferenceable(4) %615, ptr noundef nonnull align 4 dereferenceable(4) %619, i32 noundef %621)
          to label %622 unwind label %628

622:                                              ; preds = %610
  invoke void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %611, ptr noundef nonnull align 4 dereferenceable(12) %63)
          to label %623 unwind label %628

623:                                              ; preds = %622
  call void @llvm.lifetime.end.p0(i64 12, ptr %63) #7
  br label %632

624:                                              ; preds = %598
  %625 = landingpad { ptr, i32 }
          cleanup
  %626 = extractvalue { ptr, i32 } %625, 0
  store ptr %626, ptr %4, align 8
  %627 = extractvalue { ptr, i32 } %625, 1
  store i32 %627, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %62) #7
  br label %635

628:                                              ; preds = %622, %610
  %629 = landingpad { ptr, i32 }
          cleanup
  %630 = extractvalue { ptr, i32 } %629, 0
  store ptr %630, ptr %4, align 8
  %631 = extractvalue { ptr, i32 } %629, 1
  store i32 %631, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 12, ptr %63) #7
  br label %635

632:                                              ; preds = %623, %604
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #7
  br label %633

633:                                              ; preds = %632
  %634 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %59) #7
  br label %595

635:                                              ; preds = %628, %624
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #7
  br label %640

636:                                              ; preds = %597
  br label %637

637:                                              ; preds = %636
  %638 = load i32, ptr %41, align 4, !tbaa !53
  %639 = add nsw i32 %638, 1
  store i32 %639, ptr %41, align 4, !tbaa !53
  br label %473, !llvm.loop !72

640:                                              ; preds = %635, %584, %516, %498
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #7
  br label %642

641:                                              ; preds = %479
  call void @_ZNSt13_Bvector_baseISaIbEED2Ev(ptr noundef nonnull align 8 dereferenceable(40) %24) #7
  call void @llvm.lifetime.end.p0(i64 40, ptr %24) #7
  call void @_ZNSt6vectorIS_IiSaIiEESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %19) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %19) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %11) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %11) #7
  br label %647

642:                                              ; preds = %640, %471
  call void @_ZNSt13_Bvector_baseISaIbEED2Ev(ptr noundef nonnull align 8 dereferenceable(40) %24) #7
  br label %643

643:                                              ; preds = %642, %318
  call void @llvm.lifetime.end.p0(i64 40, ptr %24) #7
  br label %644

644:                                              ; preds = %643, %292
  call void @_ZNSt6vectorIS_IiSaIiEESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %19) #7
  br label %645

645:                                              ; preds = %644, %229
  call void @llvm.lifetime.end.p0(i64 24, ptr %19) #7
  br label %646

646:                                              ; preds = %645, %212, %186, %166, %136
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %11) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %11) #7
  br label %694

647:                                              ; preds = %641, %121
  call void @_ZN7Arcflow17reduce_redundancyEv(ptr noundef nonnull align 8 dereferenceable(604) %68)
  %648 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 3
  %649 = call noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %648)
  %650 = sext i32 %649 to i64
  %651 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 19
  %652 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %651) #7
  %653 = add i64 %650, %652
  %654 = trunc i64 %653 to i32
  %655 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 15
  store i32 %654, ptr %655, align 8, !tbaa !73
  %656 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 20
  %657 = call noundef i64 @_ZNKSt6vectorI3ArcSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %656) #7
  %658 = trunc i64 %657 to i32
  %659 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 16
  store i32 %658, ptr %659, align 4, !tbaa !74
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #7
  %660 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 20
  store ptr %660, ptr %64, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #7
  %661 = load ptr, ptr %64, align 8, !tbaa !5
  %662 = call ptr @_ZNSt6vectorI3ArcSaIS0_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %661) #7
  %663 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %65, i32 0, i32 0
  store ptr %662, ptr %663, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %66) #7
  %664 = load ptr, ptr %64, align 8, !tbaa !5
  %665 = call ptr @_ZNSt6vectorI3ArcSaIS0_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %664) #7
  %666 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %66, i32 0, i32 0
  store ptr %665, ptr %666, align 8
  br label %667

667:                                              ; preds = %690, %647
  %668 = call noundef zeroext i1 @_ZN9__gnu_cxxneIP3ArcSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %65, ptr noundef nonnull align 8 dereferenceable(8) %66) #7
  br i1 %668, label %670, label %669

669:                                              ; preds = %667
  store i32 45, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #7
  br label %692

670:                                              ; preds = %667
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #7
  %671 = call noundef nonnull align 4 dereferenceable(12) ptr @_ZNK9__gnu_cxx17__normal_iteratorIP3ArcSt6vectorIS1_SaIS1_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %65) #7
  store ptr %671, ptr %67, align 8, !tbaa !5
  %672 = load ptr, ptr %67, align 8, !tbaa !5
  %673 = getelementptr inbounds %class.Arc, ptr %672, i32 0, i32 2
  %674 = load i32, ptr %673, align 4, !tbaa !75
  %675 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 21
  %676 = load i32, ptr %675, align 8, !tbaa !57
  %677 = icmp ne i32 %674, %676
  br i1 %677, label %678, label %689

678:                                              ; preds = %670
  %679 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 9
  %680 = load ptr, ptr %67, align 8, !tbaa !5
  %681 = getelementptr inbounds %class.Arc, ptr %680, i32 0, i32 2
  %682 = load i32, ptr %681, align 4, !tbaa !75
  %683 = sext i32 %682 to i64
  %684 = call noundef nonnull align 8 dereferenceable(72) ptr @_ZNSt6vectorI4ItemSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %679, i64 noundef %683) #7
  %685 = getelementptr inbounds %class.Item, ptr %684, i32 0, i32 2
  %686 = load i32, ptr %685, align 8, !tbaa !77
  %687 = load ptr, ptr %67, align 8, !tbaa !5
  %688 = getelementptr inbounds %class.Arc, ptr %687, i32 0, i32 2
  store i32 %686, ptr %688, align 4, !tbaa !75
  br label %689

689:                                              ; preds = %678, %670
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #7
  br label %690

690:                                              ; preds = %689
  %691 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIP3ArcSt6vectorIS1_SaIS1_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %65) #7
  br label %667

692:                                              ; preds = %669
  %693 = getelementptr inbounds %class.Arcflow, ptr %68, i32 0, i32 0
  store i8 1, ptr %693, align 8, !tbaa !9
  ret void

694:                                              ; preds = %646, %80
  %695 = load ptr, ptr %4, align 8
  %696 = load i32, ptr %5, align 4
  %697 = insertvalue { ptr, i32 } poison, ptr %695, 0
  %698 = insertvalue { ptr, i32 } %697, i32 %696, 1
  resume { ptr, i32 } %698
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK7Arcflow8is_validERKSt6vectorIiSaIiEES4_(ptr noundef nonnull align 8 dereferenceable(604), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) #0 align 2

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIP3ArcSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), i32 noundef) unnamed_addr #0 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSaIbEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIbSaIbEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef) #4 align 2

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

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

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

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

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

declare void @_ZNK7NodeSet9get_labelEi(ptr dead_on_unwind writable sret(%"class.std::vector.8") align 8, ptr noundef nonnull align 8 dereferenceable(72), i32 noundef) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7Arcflow17reduce_redundancyEv(ptr noundef nonnull align 8 dereferenceable(604)) #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE6assignESt16initializer_listIiE(ptr noundef nonnull align 8 dereferenceable(24), ptr, i64) #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(12)) #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEEZN7Arcflow8finalizeEvE3$_0EvT_S9_T0_"(ptr, ptr, ptr) #6

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSaISt6vectorIiSaIiEEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIS_IiSaIiEESaIS1_EEC2EmRKS2_(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZStneIiSaIiEEbRKSt6vectorIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) #6

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZSteqIiSaIiEEbRKSt6vectorIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) #6

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIbSaIbEE6assignEmRKb(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef, ptr noundef nonnull align 1 dereferenceable(1)) #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorISt6vectorIiSaIiEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

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 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "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 = { 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 #5 = { 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 #6 = { 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 #7 = { nounwind }
attributes #8 = { noreturn }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !11, i64 0}
!10 = !{!"_ZTS7Arcflow", !11, i64 0, !12, i64 8, !21, i64 56, !31, i64 128, !22, i64 152, !31, i64 200, !31, i64 224, !31, i64 248, !35, i64 272, !27, i64 296, !39, i64 320, !20, i64 328, !40, i64 336, !39, i64 536, !39, i64 540, !39, i64 544, !31, i64 552, !45, i64 576, !39, i64 600}
!11 = !{!"bool", !7, i64 0}
!12 = !{!"_ZTSSt3setI3ArcSt4lessIS0_ESaIS0_EE", !13, i64 0}
!13 = !{!"_ZTSSt8_Rb_treeI3ArcS0_St9_IdentityIS0_ESt4lessIS0_ESaIS0_EE", !14, i64 0}
!14 = !{!"_ZTSNSt8_Rb_treeI3ArcS0_St9_IdentityIS0_ESt4lessIS0_ESaIS0_EE13_Rb_tree_implIS4_Lb1EEE", !15, i64 0, !17, i64 8}
!15 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessI3ArcEE", !16, i64 0}
!16 = !{!"_ZTSSt4lessI3ArcE"}
!17 = !{!"_ZTSSt15_Rb_tree_header", !18, i64 0, !20, i64 32}
!18 = !{!"_ZTSSt18_Rb_tree_node_base", !19, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!19 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!20 = !{!"long", !7, i64 0}
!21 = !{!"_ZTS7NodeSet", !22, i64 0, !27, i64 48}
!22 = !{!"_ZTSSt3mapISt6vectorIiSaIiEEiSt4lessIS2_ESaISt4pairIKS2_iEEE", !23, i64 0}
!23 = !{!"_ZTSSt8_Rb_treeISt6vectorIiSaIiEESt4pairIKS2_iESt10_Select1stIS5_ESt4lessIS2_ESaIS5_EE", !24, i64 0}
!24 = !{!"_ZTSNSt8_Rb_treeISt6vectorIiSaIiEESt4pairIKS2_iESt10_Select1stIS5_ESt4lessIS2_ESaIS5_EE13_Rb_tree_implIS9_Lb1EEE", !25, i64 0, !17, i64 8}
!25 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessISt6vectorIiSaIiEEEE", !26, i64 0}
!26 = !{!"_ZTSSt4lessISt6vectorIiSaIiEEE"}
!27 = !{!"_ZTSSt6vectorIS_IiSaIiEESaIS1_EE", !28, i64 0}
!28 = !{!"_ZTSSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE12_Vector_implE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!31 = !{!"_ZTSSt6vectorIiSaIiEE", !32, i64 0}
!32 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!35 = !{!"_ZTSSt6vectorI4ItemSaIS0_EE", !36, i64 0}
!36 = !{!"_ZTSSt12_Vector_baseI4ItemSaIS0_EE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseI4ItemSaIS0_EE12_Vector_implE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseI4ItemSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!39 = !{!"int", !7, i64 0}
!40 = !{!"_ZTS8Instance", !39, i64 0, !39, i64 4, !39, i64 8, !39, i64 12, !39, i64 16, !27, i64 24, !31, i64 48, !31, i64 72, !35, i64 96, !39, i64 120, !11, i64 124, !11, i64 125, !7, i64 126, !41, i64 128, !31, i64 152, !31, i64 176}
!41 = !{!"_ZTSSt6vectorIcSaIcEE", !42, i64 0}
!42 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !44, i64 0}
!44 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!45 = !{!"_ZTSSt6vectorI3ArcSaIS0_EE", !46, i64 0}
!46 = !{!"_ZTSSt12_Vector_baseI3ArcSaIS0_EE", !47, i64 0}
!47 = !{!"_ZTSNSt12_Vector_baseI3ArcSaIS0_EE12_Vector_implE", !48, i64 0}
!48 = !{!"_ZTSNSt12_Vector_baseI3ArcSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!49 = !{i8 0, i8 2}
!50 = !{}
!51 = !{!10, !39, i64 340}
!52 = !{!10, !39, i64 544}
!53 = !{!39, !39, i64 0}
!54 = !{!55, !6, i64 0}
!55 = !{!"_ZTSSt16initializer_listIiE", !6, i64 0, !20, i64 8}
!56 = !{!55, !20, i64 8}
!57 = !{!10, !39, i64 600}
!58 = distinct !{!58, !59}
!59 = !{!"llvm.loop.mustprogress"}
!60 = distinct !{!60, !59}
!61 = !{!62, !6, i64 0}
!62 = !{!"_ZTSZN7Arcflow8finalizeEvE3$_0", !6, i64 0}
!63 = distinct !{!63, !59}
!64 = distinct !{!64, !59}
!65 = distinct !{!65, !59}
!66 = distinct !{!66, !59}
!67 = distinct !{!67, !59}
!68 = distinct !{!68, !59}
!69 = distinct !{!69, !59}
!70 = distinct !{!70, !59}
!71 = !{!11, !11, i64 0}
!72 = distinct !{!72, !59}
!73 = !{!10, !39, i64 536}
!74 = !{!10, !39, i64 540}
!75 = !{!76, !39, i64 8}
!76 = !{!"_ZTS3Arc", !39, i64 0, !39, i64 4, !39, i64 8}
!77 = !{!78, !39, i64 48}
!78 = !{!"_ZTS4Item", !31, i64 0, !31, i64 24, !39, i64 48, !39, i64 52, !39, i64 56, !39, i64 60, !39, i64 64, !39, i64 68}


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

%class.Arc = type { i32, i32, i32 }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator.5" = type { i8 }
%"class.std::vector.29" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%"class.std::allocator.33" = type { i8 }
%"struct.std::_Bit_reference" = type { ptr, i64 }
%"class.__gnu_cxx::__normal_iterator.36" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }

@.str = external hidden unnamed_addr constant [54 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [69 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.3 = external hidden unnamed_addr constant [15 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: nofree nounwind
declare noundef i32 @snprintf(ptr noalias nocapture noundef writeonly, i64 noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #2

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

declare void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #3

declare void @__cxa_free_exception(ptr) local_unnamed_addr

; Function Attrs: nounwind
declare void @_ZNSt13runtime_errorD1Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #4

declare void @__cxa_throw(ptr, ptr, ptr) local_unnamed_addr

; 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 nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #0 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(72) ptr @_ZNSt6vectorI4ItemSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #0 align 2

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

declare noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72)) local_unnamed_addr #3

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN7Arcflow8finalizeEv(ptr noundef nonnull align 8 dereferenceable(604) %0) local_unnamed_addr #5 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca [256 x i8], align 16
  %3 = alloca [1 x i32], align 4
  %4 = alloca %class.Arc, align 4
  %5 = alloca i32, align 4
  %6 = alloca %class.Arc, align 4
  %7 = alloca %"class.std::vector.8", align 8
  %8 = alloca i32, align 4
  %9 = alloca %class.Arc, align 4
  %10 = alloca %"class.std::vector", align 8
  %11 = alloca %"class.std::allocator.5", align 1
  %12 = alloca i32, align 4
  %13 = alloca %"class.std::vector.29", align 8
  %14 = alloca %"class.std::allocator.33", align 1
  %15 = alloca i32, align 4
  %16 = alloca %"class.std::vector.8", align 8
  %17 = alloca %"struct.std::_Bit_reference", align 8
  %18 = alloca %"struct.std::_Bit_reference", align 8
  %19 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %20 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %21 = alloca %"struct.std::_Bit_reference", align 8
  %22 = alloca %"struct.std::_Bit_reference", align 8
  %23 = alloca %class.Arc, align 4
  %24 = alloca i8, align 1
  %25 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %26 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %27 = alloca %"struct.std::_Bit_reference", align 8
  %28 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %29 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %30 = alloca %"struct.std::_Bit_reference", align 8
  %31 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %32 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %33 = alloca %"struct.std::_Bit_reference", align 8
  %34 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %35 = alloca %"class.__gnu_cxx::__normal_iterator.36", align 8
  %36 = alloca %"struct.std::_Bit_reference", align 8
  %37 = alloca %class.Arc, align 4
  %38 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %39 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %40 = load i8, ptr %0, align 8, !tbaa !5, !range !48, !noundef !49
  %41 = icmp eq i8 %40, 0
  br i1 %41, label %48, label %42

42:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %2) #8
  %43 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %2, i64 noundef 256, ptr noundef nonnull @.str, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.2, i32 noundef 441) #8
  %44 = tail call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %44, ptr noundef nonnull %2)
          to label %45 unwind label %46

45:                                               ; preds = %42
  call void @__cxa_throw(ptr nonnull %44, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #9
  unreachable

46:                                               ; preds = %42
  %47 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %2) #8
  br label %376

48:                                               ; preds = %1
  %49 = getelementptr inbounds i8, ptr %0, i64 340
  %50 = load i32, ptr %49, align 4, !tbaa !50
  %51 = icmp eq i32 %50, 1
  %52 = getelementptr inbounds i8, ptr %0, i64 544
  store i32 0, ptr %52, align 8, !tbaa !51
  br i1 %51, label %53, label %69

53:                                               ; preds = %48
  %54 = getelementptr inbounds i8, ptr %0, i64 552
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #8
  %55 = getelementptr inbounds i8, ptr %0, i64 56
  %56 = tail call noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %55)
  store i32 %56, ptr %3, align 4, !tbaa !52
  call void @_ZNSt6vectorIiSaIiEE6assignESt16initializer_listIiE(ptr noundef nonnull align 8 dereferenceable(24) %54, ptr nonnull %3, i64 1)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #8
  %57 = getelementptr inbounds i8, ptr %0, i64 576
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %4) #8
  %58 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %54, i64 noundef 0) #8
  %59 = getelementptr inbounds i8, ptr %0, i64 600
  %60 = load i32, ptr %59, align 8, !tbaa !53
  call void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %4, ptr noundef nonnull align 4 dereferenceable(4) %58, ptr noundef nonnull align 4 dereferenceable(4) %52, i32 noundef %60)
  call void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %57, ptr noundef nonnull align 4 dereferenceable(12) %4)
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %4) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #8
  store i32 1, ptr %5, align 4, !tbaa !52
  %61 = call noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %55)
  %62 = icmp sgt i32 %61, 1
  br i1 %62, label %.lr.ph158, label %._crit_edge159

._crit_edge159:                                   ; preds = %.lr.ph158, %53
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #8
  br label %346

.lr.ph158:                                        ; preds = %53, %.lr.ph158
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %6) #8
  %63 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %54, i64 noundef 0) #8
  %64 = load i32, ptr %59, align 8, !tbaa !53
  call void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %6, ptr noundef nonnull align 4 dereferenceable(4) %5, ptr noundef nonnull align 4 dereferenceable(4) %63, i32 noundef %64)
  call void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %57, ptr noundef nonnull align 4 dereferenceable(12) %6)
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %6) #8
  %65 = load i32, ptr %5, align 4, !tbaa !52
  %66 = add nsw i32 %65, 1
  store i32 %66, ptr %5, align 4, !tbaa !52
  %67 = call noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %55)
  %68 = icmp slt i32 %66, %67
  br i1 %68, label %.lr.ph158, label %._crit_edge159, !llvm.loop !54

69:                                               ; preds = %48
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %7) #8
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %8) #8
  store i32 0, ptr %8, align 4, !tbaa !52
  %70 = load i32, ptr %49, align 4, !tbaa !50
  %71 = icmp sgt i32 %70, 0
  br i1 %71, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %74, %69
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #8
  %72 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %7) #8
  %73 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %7) #8
  invoke void @"_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEEZN7Arcflow8finalizeEvE3$_0EvT_S9_T0_"(ptr %72, ptr %73, ptr nonnull %0)
          to label %81 unwind label %92

.lr.ph:                                           ; preds = %69, %74
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %7, ptr noundef nonnull align 4 dereferenceable(4) %8)
          to label %74 unwind label %79

74:                                               ; preds = %.lr.ph
  %75 = load i32, ptr %8, align 4, !tbaa !52
  %76 = add nsw i32 %75, 1
  store i32 %76, ptr %8, align 4, !tbaa !52
  %77 = load i32, ptr %49, align 4, !tbaa !50
  %78 = icmp slt i32 %76, %77
  br i1 %78, label %.lr.ph, label %._crit_edge, !llvm.loop !56

79:                                               ; preds = %.lr.ph
  %80 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #8
  br label %345

81:                                               ; preds = %._crit_edge
  %82 = getelementptr inbounds i8, ptr %0, i64 552
  %83 = load i32, ptr %49, align 4, !tbaa !50
  %84 = sext i32 %83 to i64
  invoke void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %82, i64 noundef %84)
          to label %.preheader113 unwind label %92

.preheader113:                                    ; preds = %81
  %85 = load i32, ptr %49, align 4, !tbaa !50
  %86 = icmp sgt i32 %85, 0
  br i1 %86, label %.lr.ph118, label %.preheader112.._crit_edge121_crit_edge

.lr.ph118:                                        ; preds = %.preheader113
  %87 = getelementptr inbounds i8, ptr %0, i64 56
  br label %94

.preheader112:                                    ; preds = %96
  %88 = icmp sgt i32 %103, 0
  br i1 %88, label %.lr.ph120, label %.preheader112.._crit_edge121_crit_edge

.preheader112.._crit_edge121_crit_edge:           ; preds = %.preheader113, %.preheader112
  %89 = phi i32 [ %103, %.preheader112 ], [ %85, %.preheader113 ]
  %.pre = sext i32 %89 to i64
  br label %._crit_edge121

.lr.ph120:                                        ; preds = %.preheader112
  %90 = getelementptr inbounds i8, ptr %0, i64 576
  %91 = getelementptr inbounds i8, ptr %0, i64 600
  br label %108

92:                                               ; preds = %81, %._crit_edge
  %93 = landingpad { ptr, i32 }
          cleanup
  br label %345

94:                                               ; preds = %.lr.ph118, %96
  %indvars.iv = phi i64 [ 0, %.lr.ph118 ], [ %indvars.iv.next, %96 ]
  %95 = invoke noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %87)
          to label %96 unwind label %106

96:                                               ; preds = %94
  %97 = trunc nuw nsw i64 %indvars.iv to i32
  %98 = add nsw i32 %95, %97
  %99 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #8
  %100 = load i32, ptr %99, align 4, !tbaa !52
  %101 = sext i32 %100 to i64
  %102 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %82, i64 noundef %101) #8
  store i32 %98, ptr %102, align 4, !tbaa !52
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %103 = load i32, ptr %49, align 4, !tbaa !50
  %104 = sext i32 %103 to i64
  %105 = icmp slt i64 %indvars.iv.next, %104
  br i1 %105, label %94, label %.preheader112, !llvm.loop !57

106:                                              ; preds = %94
  %107 = landingpad { ptr, i32 }
          cleanup
  br label %345

._crit_edge121:                                   ; preds = %111, %.preheader112.._crit_edge121_crit_edge
  %.pre-phi = phi i64 [ %.pre, %.preheader112.._crit_edge121_crit_edge ], [ %113, %111 ]
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %10) #8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %11) #8
  call void @_ZNSaISt6vectorIiSaIiEEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %11) #8
  invoke void @_ZNSt6vectorIS_IiSaIiEESaIS1_EEC2EmRKS2_(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %.pre-phi, ptr noundef nonnull align 1 dereferenceable(1) %11)
          to label %117 unwind label %122

108:                                              ; preds = %.lr.ph120, %111
  %indvars.iv167 = phi i64 [ 0, %.lr.ph120 ], [ %indvars.iv.next168, %111 ]
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %9) #8
  %109 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %82, i64 noundef %indvars.iv167) #8
  %110 = load i32, ptr %91, align 8, !tbaa !53
  call void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %9, ptr noundef nonnull align 4 dereferenceable(4) %109, ptr noundef nonnull align 4 dereferenceable(4) %52, i32 noundef %110)
  invoke void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %90, ptr noundef nonnull align 4 dereferenceable(12) %9)
          to label %111 unwind label %115

111:                                              ; preds = %108
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %9) #8
  %indvars.iv.next168 = add nuw nsw i64 %indvars.iv167, 1
  %112 = load i32, ptr %49, align 4, !tbaa !50
  %113 = sext i32 %112 to i64
  %114 = icmp slt i64 %indvars.iv.next168, %113
  br i1 %114, label %108, label %._crit_edge121, !llvm.loop !58

115:                                              ; preds = %108
  %116 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %9) #8
  br label %345

117:                                              ; preds = %._crit_edge121
  call void @_ZNSt15__new_allocatorISt6vectorIiSaIiEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %11) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %11) #8
  %118 = load i32, ptr %49, align 4, !tbaa !50
  %119 = icmp sgt i32 %118, 0
  br i1 %119, label %.lr.ph128.split.preheader, label %._crit_edge129

.lr.ph128.split.preheader:                        ; preds = %117
  %120 = getelementptr inbounds i8, ptr %0, i64 360
  br label %.lr.ph128.split

._crit_edge129:                                   ; preds = %._crit_edge125, %117
  %.lcssa = phi i32 [ %118, %117 ], [ %126, %._crit_edge125 ]
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %13) #8
  %121 = sext i32 %.lcssa to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %14) #8
  call void @_ZNSaIbEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #8
  invoke void @_ZNSt6vectorIbSaIbEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %121, ptr noundef nonnull align 1 dereferenceable(1) %14)
          to label %163 unwind label %183

122:                                              ; preds = %._crit_edge121
  %123 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorISt6vectorIiSaIiEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %11) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %11) #8
  br label %344

.lr.ph128.split:                                  ; preds = %.lr.ph128.split.preheader, %._crit_edge125
  %124 = phi i32 [ %118, %.lr.ph128.split.preheader ], [ %126, %._crit_edge125 ]
  %indvars.iv170 = phi i64 [ 0, %.lr.ph128.split.preheader ], [ %indvars.iv.next171, %._crit_edge125 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %12) #8
  store i32 0, ptr %12, align 4, !tbaa !52
  %125 = icmp sgt i32 %124, 0
  br i1 %125, label %.lr.ph124, label %._crit_edge125

._crit_edge125:                                   ; preds = %158, %.lr.ph128.split
  %126 = phi i32 [ %124, %.lr.ph128.split ], [ %161, %158 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #8
  %indvars.iv.next171 = add nuw nsw i64 %indvars.iv170, 1
  %127 = sext i32 %126 to i64
  %128 = icmp slt i64 %indvars.iv.next171, %127
  br i1 %128, label %.lr.ph128.split, label %._crit_edge129, !llvm.loop !59

.lr.ph124:                                        ; preds = %.lr.ph128.split, %158
  %storemerge101122 = phi i32 [ %160, %158 ], [ 0, %.lr.ph128.split ]
  %129 = zext i32 %storemerge101122 to i64
  %.not = icmp eq i64 %indvars.iv170, %129
  br i1 %.not, label %158, label %130

130:                                              ; preds = %.lr.ph124
  %131 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %120, i64 noundef %indvars.iv170) #8
  %132 = load i32, ptr %12, align 4, !tbaa !52
  %133 = sext i32 %132 to i64
  %134 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %120, i64 noundef %133) #8
  %135 = call noundef zeroext i1 @_ZNK7Arcflow8is_validERKSt6vectorIiSaIiEES4_(ptr noundef nonnull align 8 dereferenceable(604) %0, ptr noundef nonnull align 8 dereferenceable(24) %131, ptr noundef nonnull align 8 dereferenceable(24) %134)
  br i1 %135, label %136, label %158

136:                                              ; preds = %130
  %137 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %120, i64 noundef %indvars.iv170) #8
  %138 = load i32, ptr %12, align 4, !tbaa !52
  %139 = sext i32 %138 to i64
  %140 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %120, i64 noundef %139) #8
  %141 = invoke noundef zeroext i1 @_ZStneIiSaIiEEbRKSt6vectorIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(24) %137, ptr noundef nonnull align 8 dereferenceable(24) %140)
          to label %142 unwind label %156

142:                                              ; preds = %136
  br i1 %141, label %154, label %143

143:                                              ; preds = %142
  %144 = load i32, ptr %12, align 4, !tbaa !52
  %145 = sext i32 %144 to i64
  %146 = icmp slt i64 %indvars.iv170, %145
  br i1 %146, label %147, label %158

147:                                              ; preds = %143
  %148 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %120, i64 noundef %indvars.iv170) #8
  %149 = load i32, ptr %12, align 4, !tbaa !52
  %150 = sext i32 %149 to i64
  %151 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %120, i64 noundef %150) #8
  %152 = invoke noundef zeroext i1 @_ZSteqIiSaIiEEbRKSt6vectorIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(24) %148, ptr noundef nonnull align 8 dereferenceable(24) %151)
          to label %153 unwind label %156

153:                                              ; preds = %147
  br i1 %152, label %154, label %158

154:                                              ; preds = %153, %142
  %155 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv170) #8
  invoke void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %155, ptr noundef nonnull align 4 dereferenceable(4) %12)
          to label %158 unwind label %156

156:                                              ; preds = %154, %147, %136
  %157 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #8
  br label %343

158:                                              ; preds = %.lr.ph124, %130, %154, %153, %143
  %159 = load i32, ptr %12, align 4, !tbaa !52
  %160 = add nsw i32 %159, 1
  store i32 %160, ptr %12, align 4, !tbaa !52
  %161 = load i32, ptr %49, align 4, !tbaa !50
  %162 = icmp slt i32 %160, %161
  br i1 %162, label %.lr.ph124, label %._crit_edge125, !llvm.loop !61

163:                                              ; preds = %._crit_edge129
  call void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %14) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %15) #8
  %164 = getelementptr inbounds i8, ptr %0, i64 56
  %165 = getelementptr inbounds i8, ptr %0, i64 360
  %166 = getelementptr inbounds i8, ptr %17, i64 8
  %167 = getelementptr inbounds i8, ptr %18, i64 8
  %168 = getelementptr inbounds i8, ptr %21, i64 8
  %169 = getelementptr inbounds i8, ptr %22, i64 8
  %170 = getelementptr inbounds i8, ptr %0, i64 576
  %171 = getelementptr inbounds i8, ptr %0, i64 600
  br label %172

172:                                              ; preds = %._crit_edge140, %163
  %storemerge85 = phi i32 [ 1, %163 ], [ %236, %._crit_edge140 ]
  store i32 %storemerge85, ptr %15, align 4, !tbaa !52
  %173 = invoke noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %164)
          to label %174 unwind label %185

174:                                              ; preds = %172
  %175 = icmp slt i32 %storemerge85, %173
  br i1 %175, label %187, label %176

176:                                              ; preds = %174
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #8
  %177 = load i32, ptr %49, align 4, !tbaa !50
  %178 = icmp sgt i32 %177, 0
  br i1 %178, label %.lr.ph155, label %._crit_edge156

.lr.ph155:                                        ; preds = %176
  %179 = getelementptr inbounds i8, ptr %27, i64 8
  %180 = getelementptr inbounds i8, ptr %30, i64 8
  %181 = getelementptr inbounds i8, ptr %33, i64 8
  %182 = getelementptr inbounds i8, ptr %36, i64 8
  br label %256

183:                                              ; preds = %._crit_edge129
  %184 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %14) #8
  br label %342

185:                                              ; preds = %172
  %186 = landingpad { ptr, i32 }
          cleanup
  br label %255

187:                                              ; preds = %174
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %16) #8
  %188 = load i32, ptr %15, align 4, !tbaa !52
  invoke void @_ZNK7NodeSet9get_labelEi(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.8") align 8 %16, ptr noundef nonnull align 8 dereferenceable(72) %164, i32 noundef %188)
          to label %.preheader111 unwind label %192

.preheader111:                                    ; preds = %187
  %189 = load i32, ptr %49, align 4, !tbaa !50
  %190 = icmp sgt i32 %189, 0
  br i1 %190, label %.lr.ph132, label %._crit_edge140

.preheader110:                                    ; preds = %197
  %191 = icmp sgt i32 %201, 0
  br i1 %191, label %.lr.ph137, label %._crit_edge140

192:                                              ; preds = %187
  %193 = landingpad { ptr, i32 }
          cleanup
  br label %255

.lr.ph132:                                        ; preds = %.preheader111, %197
  %indvars.iv173 = phi i64 [ %indvars.iv.next174, %197 ], [ 0, %.preheader111 ]
  %194 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %165, i64 noundef %indvars.iv173) #8
  %195 = call noundef zeroext i1 @_ZNK7Arcflow8is_validERKSt6vectorIiSaIiEES4_(ptr noundef nonnull align 8 dereferenceable(604) %0, ptr noundef nonnull align 8 dereferenceable(24) %16, ptr noundef nonnull align 8 dereferenceable(24) %194)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %17) #8
  %196 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %indvars.iv173)
          to label %197 unwind label %204

197:                                              ; preds = %.lr.ph132
  %198 = extractvalue { ptr, i64 } %196, 0
  store ptr %198, ptr %17, align 8
  %199 = extractvalue { ptr, i64 } %196, 1
  store i64 %199, ptr %166, align 8
  %200 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %17, i1 noundef zeroext %195) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #8
  %indvars.iv.next174 = add nuw nsw i64 %indvars.iv173, 1
  %201 = load i32, ptr %49, align 4, !tbaa !50
  %202 = sext i32 %201 to i64
  %203 = icmp slt i64 %indvars.iv.next174, %202
  br i1 %203, label %.lr.ph132, label %.preheader110, !llvm.loop !62

204:                                              ; preds = %.lr.ph132
  %205 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #8
  br label %254

.preheader:                                       ; preds = %231
  %206 = icmp sgt i32 %232, 0
  br i1 %206, label %.lr.ph139, label %._crit_edge140

.lr.ph137:                                        ; preds = %.preheader110, %231
  %indvars.iv176 = phi i64 [ %indvars.iv.next177, %231 ], [ 0, %.preheader110 ]
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %18) #8
  %207 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %indvars.iv176)
          to label %208 unwind label %217

208:                                              ; preds = %.lr.ph137
  %209 = extractvalue { ptr, i64 } %207, 0
  store ptr %209, ptr %18, align 8
  %210 = extractvalue { ptr, i64 } %207, 1
  store i64 %210, ptr %167, align 8
  %211 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %18) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #8
  br i1 %211, label %212, label %231

212:                                              ; preds = %208
  %213 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv176) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #8
  %214 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %213) #8
  store ptr %214, ptr %19, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #8
  %215 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %213) #8
  store ptr %215, ptr %20, align 8
  %216 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  br i1 %216, label %.lr.ph134, label %._crit_edge135

._crit_edge135:                                   ; preds = %223, %212
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #8
  br label %231

217:                                              ; preds = %.lr.ph137
  %218 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #8
  br label %254

.lr.ph134:                                        ; preds = %212, %223
  %219 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  %220 = load i32, ptr %219, align 4, !tbaa !52
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %21) #8
  %221 = sext i32 %220 to i64
  %222 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %221)
          to label %223 unwind label %229

223:                                              ; preds = %.lr.ph134
  %224 = extractvalue { ptr, i64 } %222, 0
  store ptr %224, ptr %21, align 8
  %225 = extractvalue { ptr, i64 } %222, 1
  store i64 %225, ptr %168, align 8
  %226 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %21, i1 noundef zeroext false) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #8
  %227 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  %228 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  br i1 %228, label %.lr.ph134, label %._crit_edge135

229:                                              ; preds = %.lr.ph134
  %230 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #8
  br label %254

231:                                              ; preds = %208, %._crit_edge135
  %indvars.iv.next177 = add nuw nsw i64 %indvars.iv176, 1
  %232 = load i32, ptr %49, align 4, !tbaa !50
  %233 = sext i32 %232 to i64
  %234 = icmp slt i64 %indvars.iv.next177, %233
  br i1 %234, label %.lr.ph137, label %.preheader, !llvm.loop !63

._crit_edge140:                                   ; preds = %250, %.preheader111, %.preheader110, %.preheader
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %16) #8
  %235 = load i32, ptr %15, align 4, !tbaa !52
  %236 = add nsw i32 %235, 1
  br label %172, !llvm.loop !64

.lr.ph139:                                        ; preds = %.preheader, %250
  %indvars.iv179 = phi i64 [ %indvars.iv.next180, %250 ], [ 0, %.preheader ]
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %22) #8
  %237 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %indvars.iv179)
          to label %238 unwind label %246

238:                                              ; preds = %.lr.ph139
  %239 = extractvalue { ptr, i64 } %237, 0
  store ptr %239, ptr %22, align 8
  %240 = extractvalue { ptr, i64 } %237, 1
  store i64 %240, ptr %169, align 8
  %241 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %22) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %22) #8
  br i1 %241, label %242, label %250

242:                                              ; preds = %238
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %23) #8
  %243 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %82, i64 noundef %indvars.iv179) #8
  %244 = load i32, ptr %171, align 8, !tbaa !53
  call void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %23, ptr noundef nonnull align 4 dereferenceable(4) %15, ptr noundef nonnull align 4 dereferenceable(4) %243, i32 noundef %244)
  invoke void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %170, ptr noundef nonnull align 4 dereferenceable(12) %23)
          to label %245 unwind label %248

245:                                              ; preds = %242
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %23) #8
  br label %250

246:                                              ; preds = %.lr.ph139
  %247 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %22) #8
  br label %254

248:                                              ; preds = %242
  %249 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %23) #8
  br label %254

250:                                              ; preds = %238, %245
  %indvars.iv.next180 = add nuw nsw i64 %indvars.iv179, 1
  %251 = load i32, ptr %49, align 4, !tbaa !50
  %252 = sext i32 %251 to i64
  %253 = icmp slt i64 %indvars.iv.next180, %252
  br i1 %253, label %.lr.ph139, label %._crit_edge140, !llvm.loop !65

254:                                              ; preds = %246, %248, %217, %229, %204
  %.pn95 = phi { ptr, i32 } [ %205, %204 ], [ %230, %229 ], [ %218, %217 ], [ %249, %248 ], [ %247, %246 ]
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %16) #8
  br label %255

255:                                              ; preds = %192, %254, %185
  %.pn95.pn.pn = phi { ptr, i32 } [ %186, %185 ], [ %.pn95, %254 ], [ %193, %192 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #8
  br label %341

._crit_edge156:                                   ; preds = %._crit_edge152, %176
  call void @_ZNSt13_Bvector_baseISaIbEED2Ev(ptr noundef nonnull align 8 dereferenceable(40) %13) #8
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %13) #8
  call void @_ZNSt6vectorIS_IiSaIiEESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #8
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #8
  br label %346

256:                                              ; preds = %.lr.ph155, %._crit_edge152
  %indvars.iv182 = phi i64 [ 0, %.lr.ph155 ], [ %indvars.iv.next183, %._crit_edge152 ]
  %257 = phi i32 [ %177, %.lr.ph155 ], [ %317, %._crit_edge152 ]
  %258 = sext i32 %257 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %24) #8
  store i8 0, ptr %24, align 1, !tbaa !66
  invoke void @_ZNSt6vectorIbSaIbEE6assignEmRKb(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %258, ptr noundef nonnull align 1 dereferenceable(1) %24)
          to label %259 unwind label %268

259:                                              ; preds = %256
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %24) #8
  %260 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv182) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #8
  %261 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %260) #8
  store ptr %261, ptr %25, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %26) #8
  %262 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %260) #8
  store ptr %262, ptr %26, align 8
  %263 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  br i1 %263, label %.lr.ph142, label %._crit_edge143

._crit_edge143:                                   ; preds = %274, %259
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #8
  %264 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv182) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %28) #8
  %265 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %264) #8
  store ptr %265, ptr %28, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %29) #8
  %266 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %264) #8
  store ptr %266, ptr %29, align 8
  %267 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %29) #8
  br i1 %267, label %.lr.ph148, label %._crit_edge149

268:                                              ; preds = %256
  %269 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %24) #8
  br label %341

.lr.ph142:                                        ; preds = %259, %274
  %270 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %271 = load i32, ptr %270, align 4, !tbaa !52
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %27) #8
  %272 = sext i32 %271 to i64
  %273 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %272)
          to label %274 unwind label %280

274:                                              ; preds = %.lr.ph142
  %275 = extractvalue { ptr, i64 } %273, 0
  store ptr %275, ptr %27, align 8
  %276 = extractvalue { ptr, i64 } %273, 1
  store i64 %276, ptr %179, align 8
  %277 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %27, i1 noundef zeroext true) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #8
  %278 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  %279 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  br i1 %279, label %.lr.ph142, label %._crit_edge143

280:                                              ; preds = %.lr.ph142
  %281 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #8
  br label %341

._crit_edge149:                                   ; preds = %313, %._crit_edge143
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #8
  %282 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv182) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %34) #8
  %283 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %282) #8
  store ptr %283, ptr %34, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %35) #8
  %284 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %282) #8
  store ptr %284, ptr %35, align 8
  %285 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef nonnull align 8 dereferenceable(8) %35) #8
  br i1 %285, label %.lr.ph151, label %._crit_edge152

.lr.ph148:                                        ; preds = %._crit_edge143, %313
  %286 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %28) #8
  %287 = load i32, ptr %286, align 4, !tbaa !52
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %30) #8
  %288 = sext i32 %287 to i64
  %289 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %288)
          to label %290 unwind label %299

290:                                              ; preds = %.lr.ph148
  %291 = extractvalue { ptr, i64 } %289, 0
  store ptr %291, ptr %30, align 8
  %292 = extractvalue { ptr, i64 } %289, 1
  store i64 %292, ptr %180, align 8
  %293 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %30) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %30) #8
  br i1 %293, label %294, label %313

294:                                              ; preds = %290
  %295 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IiSaIiEESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %288) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %31) #8
  %296 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %295) #8
  store ptr %296, ptr %31, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %32) #8
  %297 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %295) #8
  store ptr %297, ptr %32, align 8
  %298 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %32) #8
  br i1 %298, label %.lr.ph145, label %._crit_edge146

._crit_edge146:                                   ; preds = %305, %294
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #8
  br label %313

299:                                              ; preds = %.lr.ph148
  %300 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %30) #8
  br label %316

.lr.ph145:                                        ; preds = %294, %305
  %301 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #8
  %302 = load i32, ptr %301, align 4, !tbaa !52
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %33) #8
  %303 = sext i32 %302 to i64
  %304 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %303)
          to label %305 unwind label %311

305:                                              ; preds = %.lr.ph145
  %306 = extractvalue { ptr, i64 } %304, 0
  store ptr %306, ptr %33, align 8
  %307 = extractvalue { ptr, i64 } %304, 1
  store i64 %307, ptr %181, align 8
  %308 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %33, i1 noundef zeroext false) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %33) #8
  %309 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #8
  %310 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %32) #8
  br i1 %310, label %.lr.ph145, label %._crit_edge146

311:                                              ; preds = %.lr.ph145
  %312 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #8
  br label %316

313:                                              ; preds = %._crit_edge146, %290
  %314 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %28) #8
  %315 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %29) #8
  br i1 %315, label %.lr.ph148, label %._crit_edge149

316:                                              ; preds = %311, %299
  %.pn87 = phi { ptr, i32 } [ %312, %311 ], [ %300, %299 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #8
  br label %341

._crit_edge152:                                   ; preds = %337, %._crit_edge149
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %34) #8
  %indvars.iv.next183 = add nuw nsw i64 %indvars.iv182, 1
  %317 = load i32, ptr %49, align 4, !tbaa !50
  %318 = sext i32 %317 to i64
  %319 = icmp slt i64 %indvars.iv.next183, %318
  br i1 %319, label %256, label %._crit_edge156, !llvm.loop !67

.lr.ph151:                                        ; preds = %._crit_edge149, %337
  %320 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %34) #8
  %321 = load i32, ptr %320, align 4, !tbaa !52
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %36) #8
  %322 = sext i32 %321 to i64
  %323 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %13, i64 noundef %322)
          to label %324 unwind label %333

324:                                              ; preds = %.lr.ph151
  %325 = extractvalue { ptr, i64 } %323, 0
  store ptr %325, ptr %36, align 8
  %326 = extractvalue { ptr, i64 } %323, 1
  store i64 %326, ptr %182, align 8
  %327 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %36) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %36) #8
  br i1 %327, label %328, label %337

328:                                              ; preds = %324
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %37) #8
  %329 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %82, i64 noundef %indvars.iv182) #8
  %330 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %82, i64 noundef %322) #8
  %331 = load i32, ptr %171, align 8, !tbaa !53
  call void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12) %37, ptr noundef nonnull align 4 dereferenceable(4) %329, ptr noundef nonnull align 4 dereferenceable(4) %330, i32 noundef %331)
  invoke void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %170, ptr noundef nonnull align 4 dereferenceable(12) %37)
          to label %332 unwind label %335

332:                                              ; preds = %328
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %37) #8
  br label %337

333:                                              ; preds = %.lr.ph151
  %334 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %36) #8
  br label %340

335:                                              ; preds = %328
  %336 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %37) #8
  br label %340

337:                                              ; preds = %332, %324
  %338 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %34) #8
  %339 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef nonnull align 8 dereferenceable(8) %35) #8
  br i1 %339, label %.lr.ph151, label %._crit_edge152

340:                                              ; preds = %335, %333
  %.pn = phi { ptr, i32 } [ %336, %335 ], [ %334, %333 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %34) #8
  br label %341

341:                                              ; preds = %268, %280, %316, %340, %255
  %.pn95.pn.pn.pn = phi { ptr, i32 } [ %.pn95.pn.pn, %255 ], [ %281, %280 ], [ %.pn87, %316 ], [ %.pn, %340 ], [ %269, %268 ]
  call void @_ZNSt13_Bvector_baseISaIbEED2Ev(ptr noundef nonnull align 8 dereferenceable(40) %13) #8
  br label %342

342:                                              ; preds = %341, %183
  %.pn95.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn95.pn.pn.pn, %341 ], [ %184, %183 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %13) #8
  br label %343

343:                                              ; preds = %342, %156
  %.pn102 = phi { ptr, i32 } [ %157, %156 ], [ %.pn95.pn.pn.pn.pn, %342 ]
  call void @_ZNSt6vectorIS_IiSaIiEESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #8
  br label %344

344:                                              ; preds = %343, %122
  %.pn102.pn = phi { ptr, i32 } [ %.pn102, %343 ], [ %123, %122 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #8
  br label %345

345:                                              ; preds = %344, %115, %106, %92, %79
  %.pn105 = phi { ptr, i32 } [ %80, %79 ], [ %107, %106 ], [ %116, %115 ], [ %.pn102.pn, %344 ], [ %93, %92 ]
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #8
  br label %376

346:                                              ; preds = %._crit_edge156, %._crit_edge159
  call void @_ZN7Arcflow17reduce_redundancyEv(ptr noundef nonnull align 8 dereferenceable(604) %0)
  %347 = getelementptr inbounds i8, ptr %0, i64 56
  %348 = call noundef i32 @_ZNK7NodeSet4sizeEv(ptr noundef nonnull align 8 dereferenceable(72) %347)
  %349 = getelementptr inbounds i8, ptr %0, i64 552
  %350 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %349) #8
  %351 = trunc i64 %350 to i32
  %352 = add i32 %348, %351
  %353 = getelementptr inbounds i8, ptr %0, i64 536
  store i32 %352, ptr %353, align 8, !tbaa !68
  %354 = getelementptr inbounds i8, ptr %0, i64 576
  %355 = call noundef i64 @_ZNKSt6vectorI3ArcSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %354) #8
  %356 = trunc i64 %355 to i32
  %357 = getelementptr inbounds i8, ptr %0, i64 540
  store i32 %356, ptr %357, align 4, !tbaa !69
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %38) #8
  %358 = call ptr @_ZNSt6vectorI3ArcSaIS0_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %354) #8
  store ptr %358, ptr %38, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %39) #8
  %359 = call ptr @_ZNSt6vectorI3ArcSaIS0_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %354) #8
  store ptr %359, ptr %39, align 8
  %360 = call noundef zeroext i1 @_ZN9__gnu_cxxneIP3ArcSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %38, ptr noundef nonnull align 8 dereferenceable(8) %39) #8
  br i1 %360, label %.lr.ph161, label %._crit_edge162

.lr.ph161:                                        ; preds = %346
  %361 = getelementptr inbounds i8, ptr %0, i64 600
  %362 = getelementptr inbounds i8, ptr %0, i64 272
  br label %363

._crit_edge162:                                   ; preds = %373, %346
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %39) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %38) #8
  store i8 1, ptr %0, align 8, !tbaa !5
  ret void

363:                                              ; preds = %.lr.ph161, %373
  %364 = call noundef nonnull align 4 dereferenceable(12) ptr @_ZNK9__gnu_cxx17__normal_iteratorIP3ArcSt6vectorIS1_SaIS1_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %38) #8
  %365 = getelementptr inbounds i8, ptr %364, i64 8
  %366 = load i32, ptr %365, align 4, !tbaa !70
  %367 = load i32, ptr %361, align 8, !tbaa !53
  %.not109 = icmp eq i32 %366, %367
  br i1 %.not109, label %373, label %368

368:                                              ; preds = %363
  %369 = sext i32 %366 to i64
  %370 = call noundef nonnull align 8 dereferenceable(72) ptr @_ZNSt6vectorI4ItemSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %362, i64 noundef %369) #8
  %371 = getelementptr inbounds i8, ptr %370, i64 48
  %372 = load i32, ptr %371, align 8, !tbaa !72
  store i32 %372, ptr %365, align 4, !tbaa !70
  br label %373

373:                                              ; preds = %368, %363
  %374 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIP3ArcSt6vectorIS1_SaIS1_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %38) #8
  %375 = call noundef zeroext i1 @_ZN9__gnu_cxxneIP3ArcSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %38, ptr noundef nonnull align 8 dereferenceable(8) %39) #8
  br i1 %375, label %363, label %._crit_edge162

376:                                              ; preds = %345, %46
  %.pn105.pn = phi { ptr, i32 } [ %.pn105, %345 ], [ %47, %46 ]
  resume { ptr, i32 } %.pn105.pn
}

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIP3ArcSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #6

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3ArcC2ERKiS1_i(ptr noundef nonnull align 4 dereferenceable(12), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), i32 noundef) unnamed_addr #0 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSaIbEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIbSaIbEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef) local_unnamed_addr #5 align 2

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

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

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

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

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

declare void @_ZNK7NodeSet9get_labelEi(ptr dead_on_unwind writable sret(%"class.std::vector.8") align 8, ptr noundef nonnull align 8 dereferenceable(72), i32 noundef) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #6

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7Arcflow17reduce_redundancyEv(ptr noundef nonnull align 8 dereferenceable(604)) local_unnamed_addr #5 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE6assignESt16initializer_listIiE(ptr noundef nonnull align 8 dereferenceable(24), ptr, i64) local_unnamed_addr #5 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorI3ArcSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(12)) local_unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEEZN7Arcflow8finalizeEvE3$_0EvT_S9_T0_"(ptr, ptr, ptr) local_unnamed_addr #7

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSaISt6vectorIiSaIiEEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIS_IiSaIiEESaIS1_EEC2EmRKS2_(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZStneIiSaIiEEbRKSt6vectorIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #7

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZSteqIiSaIiEEbRKSt6vectorIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #7

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIbSaIbEE6assignEmRKb(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef, ptr noundef nonnull align 1 dereferenceable(1)) local_unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorISt6vectorIiSaIiEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

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 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind "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 = { 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 #6 = { 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 #7 = { 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 #8 = { nounwind }
attributes #9 = { noreturn }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"_ZTS7Arcflow", !7, i64 0, !10, i64 8, !20, i64 56, !30, i64 128, !21, i64 152, !30, i64 200, !30, i64 224, !30, i64 248, !34, i64 272, !26, i64 296, !38, i64 320, !19, i64 328, !39, i64 336, !38, i64 536, !38, i64 540, !38, i64 544, !30, i64 552, !44, i64 576, !38, i64 600}
!7 = !{!"bool", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"_ZTSSt3setI3ArcSt4lessIS0_ESaIS0_EE", !11, i64 0}
!11 = !{!"_ZTSSt8_Rb_treeI3ArcS0_St9_IdentityIS0_ESt4lessIS0_ESaIS0_EE", !12, i64 0}
!12 = !{!"_ZTSNSt8_Rb_treeI3ArcS0_St9_IdentityIS0_ESt4lessIS0_ESaIS0_EE13_Rb_tree_implIS4_Lb1EEE", !13, i64 0, !15, i64 8}
!13 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessI3ArcEE", !14, i64 0}
!14 = !{!"_ZTSSt4lessI3ArcE"}
!15 = !{!"_ZTSSt15_Rb_tree_header", !16, i64 0, !19, i64 32}
!16 = !{!"_ZTSSt18_Rb_tree_node_base", !17, i64 0, !18, i64 8, !18, i64 16, !18, i64 24}
!17 = !{!"_ZTSSt14_Rb_tree_color", !8, i64 0}
!18 = !{!"any pointer", !8, i64 0}
!19 = !{!"long", !8, i64 0}
!20 = !{!"_ZTS7NodeSet", !21, i64 0, !26, i64 48}
!21 = !{!"_ZTSSt3mapISt6vectorIiSaIiEEiSt4lessIS2_ESaISt4pairIKS2_iEEE", !22, i64 0}
!22 = !{!"_ZTSSt8_Rb_treeISt6vectorIiSaIiEESt4pairIKS2_iESt10_Select1stIS5_ESt4lessIS2_ESaIS5_EE", !23, i64 0}
!23 = !{!"_ZTSNSt8_Rb_treeISt6vectorIiSaIiEESt4pairIKS2_iESt10_Select1stIS5_ESt4lessIS2_ESaIS5_EE13_Rb_tree_implIS9_Lb1EEE", !24, i64 0, !15, i64 8}
!24 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessISt6vectorIiSaIiEEEE", !25, i64 0}
!25 = !{!"_ZTSSt4lessISt6vectorIiSaIiEEE"}
!26 = !{!"_ZTSSt6vectorIS_IiSaIiEESaIS1_EE", !27, i64 0}
!27 = !{!"_ZTSSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE12_Vector_implE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE17_Vector_impl_dataE", !18, i64 0, !18, i64 8, !18, i64 16}
!30 = !{!"_ZTSSt6vectorIiSaIiEE", !31, i64 0}
!31 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !18, i64 0, !18, i64 8, !18, i64 16}
!34 = !{!"_ZTSSt6vectorI4ItemSaIS0_EE", !35, i64 0}
!35 = !{!"_ZTSSt12_Vector_baseI4ItemSaIS0_EE", !36, i64 0}
!36 = !{!"_ZTSNSt12_Vector_baseI4ItemSaIS0_EE12_Vector_implE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseI4ItemSaIS0_EE17_Vector_impl_dataE", !18, i64 0, !18, i64 8, !18, i64 16}
!38 = !{!"int", !8, i64 0}
!39 = !{!"_ZTS8Instance", !38, i64 0, !38, i64 4, !38, i64 8, !38, i64 12, !38, i64 16, !26, i64 24, !30, i64 48, !30, i64 72, !34, i64 96, !38, i64 120, !7, i64 124, !7, i64 125, !8, i64 126, !40, i64 128, !30, i64 152, !30, i64 176}
!40 = !{!"_ZTSSt6vectorIcSaIcEE", !41, i64 0}
!41 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !18, i64 0, !18, i64 8, !18, i64 16}
!44 = !{!"_ZTSSt6vectorI3ArcSaIS0_EE", !45, i64 0}
!45 = !{!"_ZTSSt12_Vector_baseI3ArcSaIS0_EE", !46, i64 0}
!46 = !{!"_ZTSNSt12_Vector_baseI3ArcSaIS0_EE12_Vector_implE", !47, i64 0}
!47 = !{!"_ZTSNSt12_Vector_baseI3ArcSaIS0_EE17_Vector_impl_dataE", !18, i64 0, !18, i64 8, !18, i64 16}
!48 = !{i8 0, i8 2}
!49 = !{}
!50 = !{!6, !38, i64 340}
!51 = !{!6, !38, i64 544}
!52 = !{!38, !38, i64 0}
!53 = !{!6, !38, i64 600}
!54 = distinct !{!54, !55}
!55 = !{!"llvm.loop.mustprogress"}
!56 = distinct !{!56, !55}
!57 = distinct !{!57, !55}
!58 = distinct !{!58, !55}
!59 = distinct !{!59, !55, !60}
!60 = !{!"llvm.loop.unswitch.partial.disable"}
!61 = distinct !{!61, !55}
!62 = distinct !{!62, !55}
!63 = distinct !{!63, !55}
!64 = distinct !{!64, !55}
!65 = distinct !{!65, !55}
!66 = !{!7, !7, i64 0}
!67 = distinct !{!67, !55}
!68 = !{!6, !38, i64 536}
!69 = !{!6, !38, i64 540}
!70 = !{!71, !38, i64 8}
!71 = !{!"_ZTS3Arc", !38, i64 0, !38, i64 4, !38, i64 8}
!72 = !{!73, !38, i64 48}
!73 = !{!"_ZTS4Item", !30, i64 0, !30, i64 24, !38, i64 48, !38, i64 52, !38, i64 56, !38, i64 60, !38, i64 64, !38, i64 68}


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