; LLVM IR from tommasocerruti/algolab-2024 :: src/week03/ant_challenge/solution.ll (Z5solvev)

; 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::basic_istream" = type { ptr, i64, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>>>::_Vector_impl" }
%"struct.std::_Vector_base<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.boost::adjacency_list" = type { %"class.boost::vec_adj_list_impl", %"class.boost::scoped_ptr" }
%"class.boost::vec_adj_list_impl" = type { %"class.std::__cxx11::list", %"class.std::vector.3" }
%"class.std::__cxx11::list" = type { %"class.std::__cxx11::_List_base" }
%"class.std::__cxx11::_List_base" = type { %"struct.std::__cxx11::_List_base<boost::list_edge<unsigned long, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::list_edge<unsigned long, boost::property<boost::edge_weight_t, int>>>>::_List_impl" }
%"struct.std::__cxx11::_List_base<boost::list_edge<unsigned long, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::list_edge<unsigned long, boost::property<boost::edge_weight_t, int>>>>::_List_impl" = type { %"struct.std::__detail::_List_node_header" }
%"struct.std::__detail::_List_node_header" = type { %"struct.std::__detail::_List_node_base", i64 }
%"struct.std::__detail::_List_node_base" = type { ptr, ptr }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex, std::allocator<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex>>::_Vector_impl" }
%"struct.std::_Vector_base<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex, std::allocator<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex>>::_Vector_impl" = type { %"struct.std::_Vector_base<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex, std::allocator<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex>>::_Vector_impl_data" }
%"struct.std::_Vector_base<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex, std::allocator<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.boost::scoped_ptr" = type { ptr }
%"struct.boost::no_property" = type { i8 }
%"class.std::allocator" = type { i8 }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>, std::allocator<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>>>::_Vector_impl" }
%"struct.std::_Vector_base<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>, std::allocator<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>>>::_Vector_impl" = type { %"struct.std::_Vector_base<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>, std::allocator<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>, std::allocator<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator.10" = type { i8 }
%"struct.boost::adj_list_edge_property_map" = type { i32 }
%"class.boost::detail::edge_desc_impl" = type { %"struct.boost::detail::edge_base", ptr }
%"struct.boost::detail::edge_base" = type { i64, i64 }
%"struct.std::pair" = type <{ %"class.boost::detail::edge_desc_impl", i8, [7 x i8] }>
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = type { %"struct.std::_Vector_base<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>, std::allocator<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>, std::allocator<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>, std::allocator<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>, std::allocator<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator.15" = type { i8 }
%"class.std::back_insert_iterator" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = 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::allocator.25" = type { i8 }
%"struct.boost::bgl_named_params" = type { %"class.boost::iterator_property_map", [8 x i8] }
%"class.boost::iterator_property_map" = type <{ %"class.__gnu_cxx::__normal_iterator.29", [8 x i8] }>
%"class.__gnu_cxx::__normal_iterator.29" = type { ptr }
%"struct.boost::vec_adj_list_vertex_id_map" = type { i8 }

@_ZSt3cin = external global %"class.std::basic_istream", align 8
@_ZSt4cout = external global %"class.std::basic_ostream", align 8

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
define dso_local void @_Z5solvev() #0 personality ptr @__gxx_personality_v0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca %"class.std::vector", align 8
  %7 = alloca %"class.boost::adjacency_list", align 8
  %8 = alloca %"struct.boost::no_property", align 1
  %9 = alloca %"class.std::allocator", align 1
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca %"class.std::vector.8", align 8
  %13 = alloca %"class.std::allocator.10", align 1
  %14 = alloca i32, align 4
  %15 = alloca %"struct.boost::adj_list_edge_property_map", align 4
  %16 = alloca %"class.boost::detail::edge_desc_impl", align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca %"struct.std::pair", align 8
  %24 = alloca %"class.boost::detail::edge_desc_impl", align 8
  %25 = alloca i32, align 4
  %26 = alloca %"class.std::vector.13", align 8
  %27 = alloca %"class.std::allocator.15", align 1
  %28 = alloca i32, align 4
  %29 = alloca %"class.std::back_insert_iterator", align 8
  %30 = alloca ptr, align 8
  %31 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %32 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %33 = alloca %"class.boost::detail::edge_desc_impl", align 8
  %34 = alloca %"struct.std::pair", align 8
  %35 = alloca %"class.boost::detail::edge_desc_impl", align 8
  %36 = alloca %"class.boost::detail::edge_desc_impl", align 8
  %37 = alloca %"class.std::vector.23", align 8
  %38 = alloca %"class.std::allocator.25", align 1
  %39 = alloca %"struct.boost::bgl_named_params", align 8
  %40 = alloca %"class.boost::iterator_property_map", align 8
  %41 = alloca %"class.__gnu_cxx::__normal_iterator.29", align 8
  %42 = alloca %"struct.boost::vec_adj_list_vertex_id_map", align 1
  %43 = alloca %"struct.boost::vec_adj_list_vertex_id_map", align 1
  call void @llvm.lifetime.start.p0(i64 4, ptr %1) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #7
  %44 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %1)
  %45 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %44, ptr noundef nonnull align 4 dereferenceable(4) %2)
  %46 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %45, ptr noundef nonnull align 4 dereferenceable(4) %3)
  %47 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %46, ptr noundef nonnull align 4 dereferenceable(4) %4)
  %48 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %47, ptr noundef nonnull align 4 dereferenceable(4) %5)
  call void @llvm.lifetime.start.p0(i64 24, ptr %6) #7
  %49 = load i32, ptr %3, align 4, !tbaa !5
  %50 = add nsw i32 %49, 1
  %51 = sext i32 %50 to i64
  call void @llvm.lifetime.start.p0(i64 56, ptr %7) #7
  %52 = load i32, ptr %1, align 4, !tbaa !5
  %53 = sext i32 %52 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr %8) #7
  call void @_ZN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEEC2EmRKS3_(ptr noundef nonnull align 8 dereferenceable(56) %7, i64 noundef %53, ptr noundef nonnull align 1 dereferenceable(1) %8)
  call void @llvm.lifetime.start.p0(i64 1, ptr %9) #7
  call void @_ZNSaIN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEEEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %9) #7
  invoke void @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEC2EmRKS9_RKSA_(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %51, ptr noundef nonnull align 8 dereferenceable(56) %7, ptr noundef nonnull align 1 dereferenceable(1) %9)
          to label %54 unwind label %64

54:                                               ; preds = %0
  call void @_ZNSt15__new_allocatorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %9) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %9) #7
  call void @_ZN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %7) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr %7) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr %12) #7
  %55 = load i32, ptr %3, align 4, !tbaa !5
  %56 = add nsw i32 %55, 1
  %57 = sext i32 %56 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #7
  call void @_ZNSaIN5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %13) #7
  invoke void @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEC2EmRKS9_(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %57, ptr noundef nonnull align 1 dereferenceable(1) %13)
          to label %58 unwind label %68

58:                                               ; preds = %54
  call void @_ZNSt15__new_allocatorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %13) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #7
  store i32 0, ptr %14, align 4, !tbaa !5
  br label %59

59:                                               ; preds = %82, %58
  %60 = load i32, ptr %14, align 4, !tbaa !5
  %61 = load i32, ptr %3, align 4, !tbaa !5
  %62 = icmp sle i32 %60, %61
  br i1 %62, label %72, label %63

63:                                               ; preds = %59
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #7
  br label %89

64:                                               ; preds = %0
  %65 = landingpad { ptr, i32 }
          cleanup
  %66 = extractvalue { ptr, i32 } %65, 0
  store ptr %66, ptr %10, align 8
  %67 = extractvalue { ptr, i32 } %65, 1
  store i32 %67, ptr %11, align 4
  call void @_ZNSt15__new_allocatorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %9) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %9) #7
  call void @_ZN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %7) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr %7) #7
  br label %287

68:                                               ; preds = %54
  %69 = landingpad { ptr, i32 }
          cleanup
  %70 = extractvalue { ptr, i32 } %69, 0
  store ptr %70, ptr %10, align 8
  %71 = extractvalue { ptr, i32 } %69, 1
  store i32 %71, ptr %11, align 4
  call void @_ZNSt15__new_allocatorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %13) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #7
  br label %286

72:                                               ; preds = %59
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #7
  %73 = load i32, ptr %14, align 4, !tbaa !5
  %74 = sext i32 %73 to i64
  %75 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %74) #7
  %76 = invoke i32 @_ZN5boost3getINS_6detail12adj_list_genINS_14adjacency_listINS_4vecSES4_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS6_EES6_NS_5listSEEES4_S4_S5_S6_S9_S6_SA_E6configENS_23undirected_graph_helperISD_EES8_EENS_12property_mapINT_10graph_typeET1_vE4typeESJ_RNS_15adj_list_helperISH_T0_EE(i32 noundef 0, ptr noundef nonnull align 1 dereferenceable(1) %75)
          to label %77 unwind label %85

77:                                               ; preds = %72
  %78 = getelementptr inbounds %"struct.boost::adj_list_edge_property_map", ptr %15, i32 0, i32 0
  store i32 %76, ptr %78, align 4
  %79 = load i32, ptr %14, align 4, !tbaa !5
  %80 = sext i32 %79 to i64
  %81 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %80) #7
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %81, ptr align 4 %15, i64 4, i1 false)
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #7
  br label %82

82:                                               ; preds = %77
  %83 = load i32, ptr %14, align 4, !tbaa !5
  %84 = add nsw i32 %83, 1
  store i32 %84, ptr %14, align 4, !tbaa !5
  br label %59, !llvm.loop !9

85:                                               ; preds = %72
  %86 = landingpad { ptr, i32 }
          cleanup
  %87 = extractvalue { ptr, i32 } %86, 0
  store ptr %87, ptr %10, align 8
  %88 = extractvalue { ptr, i32 } %86, 1
  store i32 %88, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #7
  br label %285

89:                                               ; preds = %63
  call void @llvm.lifetime.start.p0(i64 24, ptr %16) #7
  invoke void @_ZN5boost6detail14edge_desc_implINS_14undirected_tagEmEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16)
          to label %90 unwind label %96

90:                                               ; preds = %89
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #7
  store i32 0, ptr %17, align 4, !tbaa !5
  br label %91

91:                                               ; preds = %145, %90
  %92 = load i32, ptr %17, align 4, !tbaa !5
  %93 = load i32, ptr %2, align 4, !tbaa !5
  %94 = icmp slt i32 %92, %93
  br i1 %94, label %100, label %95

95:                                               ; preds = %91
  store i32 5, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  br label %149

96:                                               ; preds = %89
  %97 = landingpad { ptr, i32 }
          cleanup
  %98 = extractvalue { ptr, i32 } %97, 0
  store ptr %98, ptr %10, align 8
  %99 = extractvalue { ptr, i32 } %97, 1
  store i32 %99, ptr %11, align 4
  br label %284

100:                                              ; preds = %91
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #7
  %101 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %19)
          to label %102 unwind label %110

102:                                              ; preds = %100
  %103 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %101, ptr noundef nonnull align 4 dereferenceable(4) %20)
          to label %104 unwind label %110

104:                                              ; preds = %102
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #7
  store i32 0, ptr %21, align 4, !tbaa !5
  br label %105

105:                                              ; preds = %132, %104
  %106 = load i32, ptr %21, align 4, !tbaa !5
  %107 = load i32, ptr %3, align 4, !tbaa !5
  %108 = icmp slt i32 %106, %107
  br i1 %108, label %114, label %109

109:                                              ; preds = %105
  store i32 8, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  br label %144

110:                                              ; preds = %102, %100
  %111 = landingpad { ptr, i32 }
          cleanup
  %112 = extractvalue { ptr, i32 } %111, 0
  store ptr %112, ptr %10, align 8
  %113 = extractvalue { ptr, i32 } %111, 1
  store i32 %113, ptr %11, align 4
  br label %148

114:                                              ; preds = %105
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #7
  %115 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %22)
          to label %116 unwind label %135

116:                                              ; preds = %114
  call void @llvm.lifetime.start.p0(i64 32, ptr %23) #7
  %117 = load i32, ptr %19, align 4, !tbaa !5
  %118 = sext i32 %117 to i64
  %119 = load i32, ptr %20, align 4, !tbaa !5
  %120 = sext i32 %119 to i64
  %121 = load i32, ptr %21, align 4, !tbaa !5
  %122 = sext i32 %121 to i64
  %123 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %122) #7
  invoke void @_ZN5boost8add_edgeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_6detail12adj_list_genIS9_S2_S2_S3_S4_S7_S4_S8_E6configENS_23undirected_graph_helperISD_EEEESt4pairINT0_15edge_descriptorEbENSH_17vertex_descriptorESK_RNS_17vec_adj_list_implIT_SH_T1_EE(ptr dead_on_unwind writable sret(%"struct.std::pair") align 8 %23, i64 noundef %118, i64 noundef %120, ptr noundef nonnull align 8 dereferenceable(48) %123)
          to label %124 unwind label %139

124:                                              ; preds = %116
  %125 = getelementptr inbounds %"struct.std::pair", ptr %23, i32 0, i32 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %16, ptr align 8 %125, i64 24, i1 false)
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #7
  %126 = load i32, ptr %22, align 4, !tbaa !5
  %127 = load i32, ptr %21, align 4, !tbaa !5
  %128 = sext i32 %127 to i64
  %129 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %128) #7
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %24, ptr align 8 %16, i64 24, i1 false)
  %130 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EixENS_6detail14edge_desc_implIS1_mEE(ptr noundef nonnull align 4 dereferenceable(4) %129, ptr noundef byval(%"class.boost::detail::edge_desc_impl") align 8 %24)
          to label %131 unwind label %135

131:                                              ; preds = %124
  store i32 %126, ptr %130, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #7
  br label %132

132:                                              ; preds = %131
  %133 = load i32, ptr %21, align 4, !tbaa !5
  %134 = add nsw i32 %133, 1
  store i32 %134, ptr %21, align 4, !tbaa !5
  br label %105, !llvm.loop !11

135:                                              ; preds = %124, %114
  %136 = landingpad { ptr, i32 }
          cleanup
  %137 = extractvalue { ptr, i32 } %136, 0
  store ptr %137, ptr %10, align 8
  %138 = extractvalue { ptr, i32 } %136, 1
  store i32 %138, ptr %11, align 4
  br label %143

139:                                              ; preds = %116
  %140 = landingpad { ptr, i32 }
          cleanup
  %141 = extractvalue { ptr, i32 } %140, 0
  store ptr %141, ptr %10, align 8
  %142 = extractvalue { ptr, i32 } %140, 1
  store i32 %142, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #7
  br label %143

143:                                              ; preds = %139, %135
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  br label %148

144:                                              ; preds = %109
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  br label %145

145:                                              ; preds = %144
  %146 = load i32, ptr %17, align 4, !tbaa !5
  %147 = add nsw i32 %146, 1
  store i32 %147, ptr %17, align 4, !tbaa !5
  br label %91, !llvm.loop !12

148:                                              ; preds = %143, %110
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  br label %284

149:                                              ; preds = %95
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr %26) #7
  %150 = load i32, ptr %3, align 4, !tbaa !5
  %151 = sext i32 %150 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr %27) #7
  call void @_ZNSaISt6vectorIN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %27) #7
  invoke void @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EEC2EmRKS7_(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %151, ptr noundef nonnull align 1 dereferenceable(1) %27)
          to label %152 unwind label %158

152:                                              ; preds = %149
  call void @_ZNSt15__new_allocatorISt6vectorIN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESaIS5_EEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %27) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %27) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #7
  store i32 0, ptr %28, align 4, !tbaa !5
  br label %153

153:                                              ; preds = %233, %152
  %154 = load i32, ptr %28, align 4, !tbaa !5
  %155 = load i32, ptr %3, align 4, !tbaa !5
  %156 = icmp slt i32 %154, %155
  br i1 %156, label %162, label %157

157:                                              ; preds = %153
  store i32 11, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #7
  br label %237

158:                                              ; preds = %149
  %159 = landingpad { ptr, i32 }
          cleanup
  %160 = extractvalue { ptr, i32 } %159, 0
  store ptr %160, ptr %10, align 8
  %161 = extractvalue { ptr, i32 } %159, 1
  store i32 %161, ptr %11, align 4
  call void @_ZNSt15__new_allocatorISt6vectorIN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESaIS5_EEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %27) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %27) #7
  br label %283

162:                                              ; preds = %153
  %163 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %25)
          to label %164 unwind label %189

164:                                              ; preds = %162
  %165 = load i32, ptr %28, align 4, !tbaa !5
  %166 = sext i32 %165 to i64
  %167 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %166) #7
  %168 = load i32, ptr %28, align 4, !tbaa !5
  %169 = sext i32 %168 to i64
  %170 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %169) #7
  %171 = invoke ptr @_ZSt13back_inserterISt6vectorIN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESaIS5_EEESt20back_insert_iteratorIT_ERS9_(ptr noundef nonnull align 8 dereferenceable(24) %170)
          to label %172 unwind label %189

172:                                              ; preds = %164
  %173 = getelementptr inbounds %"class.std::back_insert_iterator", ptr %29, i32 0, i32 0
  store ptr %171, ptr %173, align 8
  %174 = getelementptr inbounds %"class.std::back_insert_iterator", ptr %29, i32 0, i32 0
  %175 = load ptr, ptr %174, align 8
  invoke void @_ZN5boost29kruskal_minimum_spanning_treeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEESt20back_insert_iteratorISt6vectorINS_6detail14edge_desc_implINS_14undirected_tagEmEESaISF_EEEEEvRKT_T0_(ptr noundef nonnull align 8 dereferenceable(56) %167, ptr %175)
          to label %176 unwind label %189

176:                                              ; preds = %172
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #7
  %177 = load i32, ptr %28, align 4, !tbaa !5
  %178 = sext i32 %177 to i64
  %179 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %178) #7
  store ptr %179, ptr %30, align 8, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #7
  %180 = load ptr, ptr %30, align 8, !tbaa !13
  %181 = call ptr @_ZNSt6vectorIN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %180) #7
  %182 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %31, i32 0, i32 0
  store ptr %181, ptr %182, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #7
  %183 = load ptr, ptr %30, align 8, !tbaa !13
  %184 = call ptr @_ZNSt6vectorIN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %183) #7
  %185 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %32, i32 0, i32 0
  store ptr %184, ptr %185, align 8
  br label %186

186:                                              ; preds = %221, %176
  %187 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESt6vectorIS5_SaIS5_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %32) #7
  br i1 %187, label %193, label %188

188:                                              ; preds = %186
  store i32 14, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  br label %232

189:                                              ; preds = %172, %164, %162
  %190 = landingpad { ptr, i32 }
          cleanup
  %191 = extractvalue { ptr, i32 } %190, 0
  store ptr %191, ptr %10, align 8
  %192 = extractvalue { ptr, i32 } %190, 1
  store i32 %192, ptr %11, align 4
  br label %236

193:                                              ; preds = %186
  call void @llvm.lifetime.start.p0(i64 24, ptr %33) #7
  %194 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESt6vectorIS5_SaIS5_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #7
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %33, ptr align 8 %194, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 32, ptr %34) #7
  %195 = load i32, ptr %28, align 4, !tbaa !5
  %196 = sext i32 %195 to i64
  %197 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %196) #7
  %198 = invoke noundef i64 @_ZN5boost6sourceINS_14undirected_tagEmNS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEET0_RKNS_6detail9edge_baseIT_S9_EERKNS_14adjacency_listIT1_T2_T3_T4_T5_T6_T7_EE(ptr noundef nonnull align 8 dereferenceable(16) %33, ptr noundef nonnull align 8 dereferenceable(56) %197)
          to label %199 unwind label %223

199:                                              ; preds = %193
  %200 = load i32, ptr %28, align 4, !tbaa !5
  %201 = sext i32 %200 to i64
  %202 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %201) #7
  %203 = invoke noundef i64 @_ZN5boost6targetINS_14undirected_tagEmNS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEET0_RKNS_6detail9edge_baseIT_S9_EERKNS_14adjacency_listIT1_T2_T3_T4_T5_T6_T7_EE(ptr noundef nonnull align 8 dereferenceable(16) %33, ptr noundef nonnull align 8 dereferenceable(56) %202)
          to label %204 unwind label %223

204:                                              ; preds = %199
  %205 = load i32, ptr %3, align 4, !tbaa !5
  %206 = sext i32 %205 to i64
  %207 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %206) #7
  invoke void @_ZN5boost8add_edgeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_6detail12adj_list_genIS9_S2_S2_S3_S4_S7_S4_S8_E6configENS_23undirected_graph_helperISD_EEEESt4pairINT0_15edge_descriptorEbENSH_17vertex_descriptorESK_RNS_17vec_adj_list_implIT_SH_T1_EE(ptr dead_on_unwind writable sret(%"struct.std::pair") align 8 %34, i64 noundef %198, i64 noundef %203, ptr noundef nonnull align 8 dereferenceable(48) %207)
          to label %208 unwind label %223

208:                                              ; preds = %204
  %209 = getelementptr inbounds %"struct.std::pair", ptr %34, i32 0, i32 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %16, ptr align 8 %209, i64 24, i1 false)
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #7
  %210 = load i32, ptr %28, align 4, !tbaa !5
  %211 = sext i32 %210 to i64
  %212 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %211) #7
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %35, ptr align 8 %33, i64 24, i1 false)
  %213 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EixENS_6detail14edge_desc_implIS1_mEE(ptr noundef nonnull align 4 dereferenceable(4) %212, ptr noundef byval(%"class.boost::detail::edge_desc_impl") align 8 %35)
          to label %214 unwind label %227

214:                                              ; preds = %208
  %215 = load i32, ptr %213, align 4, !tbaa !5
  %216 = load i32, ptr %3, align 4, !tbaa !5
  %217 = sext i32 %216 to i64
  %218 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %217) #7
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %36, ptr align 8 %16, i64 24, i1 false)
  %219 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EixENS_6detail14edge_desc_implIS1_mEE(ptr noundef nonnull align 4 dereferenceable(4) %218, ptr noundef byval(%"class.boost::detail::edge_desc_impl") align 8 %36)
          to label %220 unwind label %227

220:                                              ; preds = %214
  store i32 %215, ptr %219, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 24, ptr %33) #7
  br label %221

221:                                              ; preds = %220
  %222 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESt6vectorIS5_SaIS5_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #7
  br label %186

223:                                              ; preds = %204, %199, %193
  %224 = landingpad { ptr, i32 }
          cleanup
  %225 = extractvalue { ptr, i32 } %224, 0
  store ptr %225, ptr %10, align 8
  %226 = extractvalue { ptr, i32 } %224, 1
  store i32 %226, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #7
  br label %231

227:                                              ; preds = %214, %208
  %228 = landingpad { ptr, i32 }
          cleanup
  %229 = extractvalue { ptr, i32 } %228, 0
  store ptr %229, ptr %10, align 8
  %230 = extractvalue { ptr, i32 } %228, 1
  store i32 %230, ptr %11, align 4
  br label %231

231:                                              ; preds = %227, %223
  call void @llvm.lifetime.end.p0(i64 24, ptr %33) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  br label %236

232:                                              ; preds = %188
  br label %233

233:                                              ; preds = %232
  %234 = load i32, ptr %28, align 4, !tbaa !5
  %235 = add nsw i32 %234, 1
  store i32 %235, ptr %28, align 4, !tbaa !5
  br label %153, !llvm.loop !15

236:                                              ; preds = %231, %189
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #7
  br label %282

237:                                              ; preds = %157
  call void @llvm.lifetime.start.p0(i64 24, ptr %37) #7
  %238 = load i32, ptr %1, align 4, !tbaa !5
  %239 = sext i32 %238 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr %38) #7
  call void @_ZNSaIiEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #7
  invoke void @_ZNSt6vectorIiSaIiEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %37, i64 noundef %239, ptr noundef nonnull align 1 dereferenceable(1) %38)
          to label %240 unwind label %268

240:                                              ; preds = %237
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #7
  %241 = load i32, ptr %3, align 4, !tbaa !5
  %242 = sext i32 %241 to i64
  %243 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %242) #7
  %244 = load i32, ptr %4, align 4, !tbaa !5
  %245 = sext i32 %244 to i64
  call void @llvm.lifetime.start.p0(i64 24, ptr %39) #7
  call void @llvm.lifetime.start.p0(i64 16, ptr %40) #7
  %246 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %37) #7
  %247 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.29", ptr %41, i32 0, i32 0
  store ptr %246, ptr %247, align 8
  %248 = load i32, ptr %3, align 4, !tbaa !5
  %249 = sext i32 %248 to i64
  %250 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %249) #7
  invoke void @_ZN5boost3getINS_6detail12adj_list_genINS_14adjacency_listINS_4vecSES4_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS6_EES6_NS_5listSEEES4_S4_S5_S6_S9_S6_SA_E6configENS_23undirected_graph_helperISD_EENS_14vertex_index_tEEENS_12property_mapINT_10graph_typeET1_vE4typeESK_RNS_15adj_list_helperISI_T0_EE(i32 noundef 0, ptr noundef nonnull align 1 dereferenceable(1) %250)
          to label %251 unwind label %272

251:                                              ; preds = %240
  %252 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.29", ptr %41, i32 0, i32 0
  %253 = load ptr, ptr %252, align 8
  %254 = invoke ptr @_ZN5boost26make_iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapINS_11no_propertyEmEEEENS_21iterator_property_mapIT_T0_NSt15iterator_traitsISC_E10value_typeENSF_9referenceEEESC_SD_(ptr %253)
          to label %255 unwind label %272

255:                                              ; preds = %251
  %256 = getelementptr inbounds %"class.boost::iterator_property_map", ptr %40, i32 0, i32 0
  %257 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.29", ptr %256, i32 0, i32 0
  store ptr %254, ptr %257, align 8
  invoke void @_ZN5boost12distance_mapINS_21iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapINS_11no_propertyEmEEiRiEEEENS_16bgl_named_paramsIT_NS_17vertex_distance_tESA_EERKSF_(ptr dead_on_unwind writable sret(%"struct.boost::bgl_named_params") align 8 %39, ptr noundef nonnull align 8 dereferenceable(9) %40)
          to label %258 unwind label %272

258:                                              ; preds = %255
  invoke void @_ZN5boost23dijkstra_shortest_pathsINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_21iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapIS4_mEEiRiEENS_17vertex_distance_tES4_EEvRKT_NS_12graph_traitsISN_E17vertex_descriptorERKNS_16bgl_named_paramsIT0_T1_T2_EE(ptr noundef nonnull align 8 dereferenceable(56) %243, i64 noundef %245, ptr noundef nonnull align 8 dereferenceable(17) %39)
          to label %259 unwind label %272

259:                                              ; preds = %258
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %39) #7
  %260 = load i32, ptr %5, align 4, !tbaa !5
  %261 = sext i32 %260 to i64
  %262 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %37, i64 noundef %261) #7
  %263 = load i32, ptr %262, align 4, !tbaa !5
  %264 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i32 noundef %263)
          to label %265 unwind label %276

265:                                              ; preds = %259
  %266 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %264, i8 noundef signext 10)
          to label %267 unwind label %276

267:                                              ; preds = %265
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %37) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %37) #7
  call void @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %26) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %16) #7
  call void @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #7
  call void @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %6) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #7
  ret void

268:                                              ; preds = %237
  %269 = landingpad { ptr, i32 }
          cleanup
  %270 = extractvalue { ptr, i32 } %269, 0
  store ptr %270, ptr %10, align 8
  %271 = extractvalue { ptr, i32 } %269, 1
  store i32 %271, ptr %11, align 4
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #7
  br label %281

272:                                              ; preds = %258, %255, %251, %240
  %273 = landingpad { ptr, i32 }
          cleanup
  %274 = extractvalue { ptr, i32 } %273, 0
  store ptr %274, ptr %10, align 8
  %275 = extractvalue { ptr, i32 } %273, 1
  store i32 %275, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %39) #7
  br label %280

276:                                              ; preds = %265, %259
  %277 = landingpad { ptr, i32 }
          cleanup
  %278 = extractvalue { ptr, i32 } %277, 0
  store ptr %278, ptr %10, align 8
  %279 = extractvalue { ptr, i32 } %277, 1
  store i32 %279, ptr %11, align 4
  br label %280

280:                                              ; preds = %276, %272
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %37) #7
  br label %281

281:                                              ; preds = %280, %268
  call void @llvm.lifetime.end.p0(i64 24, ptr %37) #7
  br label %282

282:                                              ; preds = %281, %236
  call void @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %26) #7
  br label %283

283:                                              ; preds = %282, %158
  call void @llvm.lifetime.end.p0(i64 24, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #7
  br label %284

284:                                              ; preds = %283, %148, %96
  call void @llvm.lifetime.end.p0(i64 24, ptr %16) #7
  br label %285

285:                                              ; preds = %284, %85
  call void @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #7
  br label %286

286:                                              ; preds = %285, %68
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #7
  call void @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  br label %287

287:                                              ; preds = %286, %64
  call void @llvm.lifetime.end.p0(i64 24, ptr %6) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #7
  br label %288

288:                                              ; preds = %287
  %289 = load ptr, ptr %10, align 8
  %290 = load i32, ptr %11, align 4
  %291 = insertvalue { ptr, i32 } poison, ptr %289, 0
  %292 = insertvalue { ptr, i32 } %291, i32 %290, 1
  resume { ptr, i32 } %292
}

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

declare noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 4 dereferenceable(4)) #2

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEED2Ev(ptr noundef nonnull align 8 dereferenceable(56)) unnamed_addr #4 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local i32 @_ZN5boost3getINS_6detail12adj_list_genINS_14adjacency_listINS_4vecSES4_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS6_EES6_NS_5listSEEES4_S4_S5_S6_S9_S6_SA_E6configENS_23undirected_graph_helperISD_EES8_EENS_12property_mapINT_10graph_typeET1_vE4typeESJ_RNS_15adj_list_helperISH_T0_EE(i32 noundef, ptr noundef nonnull align 1 dereferenceable(1)) #5

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost6detail14edge_desc_implINS_14undirected_tagEmEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost8add_edgeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_6detail12adj_list_genIS9_S2_S2_S3_S4_S7_S4_S8_E6configENS_23undirected_graph_helperISD_EEEESt4pairINT0_15edge_descriptorEbENSH_17vertex_descriptorESK_RNS_17vec_adj_list_implIT_SH_T1_EE(ptr dead_on_unwind noalias writable sret(%"struct.std::pair") align 8, i64 noundef, i64 noundef, ptr noundef nonnull align 8 dereferenceable(48)) #5

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EixENS_6detail14edge_desc_implIS1_mEE(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef byval(%"class.boost::detail::edge_desc_impl") align 8) #5 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost29kruskal_minimum_spanning_treeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEESt20back_insert_iteratorISt6vectorINS_6detail14edge_desc_implINS_14undirected_tagEmEESaISF_EEEEEvRKT_T0_(ptr noundef nonnull align 8 dereferenceable(56), ptr) #5

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local ptr @_ZSt13back_inserterISt6vectorIN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESaIS5_EEESt20back_insert_iteratorIT_ERS9_(ptr noundef nonnull align 8 dereferenceable(24)) #5

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

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN5boost6sourceINS_14undirected_tagEmNS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEET0_RKNS_6detail9edge_baseIT_S9_EERKNS_14adjacency_listIT1_T2_T3_T4_T5_T6_T7_EE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(56)) #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN5boost6targetINS_14undirected_tagEmNS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEET0_RKNS_6detail9edge_baseIT_S9_EERKNS_14adjacency_listIT1_T2_T3_T4_T5_T6_T7_EE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(56)) #4

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost23dijkstra_shortest_pathsINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_21iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapIS4_mEEiRiEENS_17vertex_distance_tES4_EEvRKT_NS_12graph_traitsISN_E17vertex_descriptorERKNS_16bgl_named_paramsIT0_T1_T2_EE(ptr noundef nonnull align 8 dereferenceable(56), i64 noundef, ptr noundef nonnull align 8 dereferenceable(17)) #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost12distance_mapINS_21iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapINS_11no_propertyEmEEiRiEEEENS_16bgl_named_paramsIT_NS_17vertex_distance_tESA_EERKSF_(ptr dead_on_unwind noalias writable sret(%"struct.boost::bgl_named_params") align 8, ptr noundef nonnull align 8 dereferenceable(9)) #0

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local ptr @_ZN5boost26make_iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapINS_11no_propertyEmEEEENS_21iterator_property_mapIT_T0_NSt15iterator_traitsISC_E10value_typeENSF_9referenceEEESC_SD_(ptr) #5

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost3getINS_6detail12adj_list_genINS_14adjacency_listINS_4vecSES4_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS6_EES6_NS_5listSEEES4_S4_S5_S6_S9_S6_SA_E6configENS_23undirected_graph_helperISD_EENS_14vertex_index_tEEENS_12property_mapINT_10graph_typeET1_vE4typeESK_RNS_15adj_list_helperISI_T0_EE(i32 noundef, ptr noundef nonnull align 1 dereferenceable(1)) #5

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8), i8 noundef signext) #5

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) #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) #3 align 2

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

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

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

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

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = distinct !{!12, !10}
!13 = !{!14, !14, i64 0}
!14 = !{!"any pointer", !7, i64 0}
!15 = distinct !{!15, !10}


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

%"class.std::basic_istream" = type { ptr, i64, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>>>::_Vector_impl" }
%"struct.std::_Vector_base<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.boost::adjacency_list" = type { %"class.boost::vec_adj_list_impl", %"class.boost::scoped_ptr" }
%"class.boost::vec_adj_list_impl" = type { %"class.std::__cxx11::list", %"class.std::vector.3" }
%"class.std::__cxx11::list" = type { %"class.std::__cxx11::_List_base" }
%"class.std::__cxx11::_List_base" = type { %"struct.std::__cxx11::_List_base<boost::list_edge<unsigned long, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::list_edge<unsigned long, boost::property<boost::edge_weight_t, int>>>>::_List_impl" }
%"struct.std::__cxx11::_List_base<boost::list_edge<unsigned long, boost::property<boost::edge_weight_t, int>>, std::allocator<boost::list_edge<unsigned long, boost::property<boost::edge_weight_t, int>>>>::_List_impl" = type { %"struct.std::__detail::_List_node_header" }
%"struct.std::__detail::_List_node_header" = type { %"struct.std::__detail::_List_node_base", i64 }
%"struct.std::__detail::_List_node_base" = type { ptr, ptr }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex, std::allocator<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex>>::_Vector_impl" }
%"struct.std::_Vector_base<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex, std::allocator<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex>>::_Vector_impl" = type { %"struct.std::_Vector_base<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex, std::allocator<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex>>::_Vector_impl_data" }
%"struct.std::_Vector_base<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex, std::allocator<boost::detail::adj_list_gen<boost::adjacency_list<boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, boost::property<boost::edge_weight_t, int>, boost::no_property, boost::listS>::config::stored_vertex>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.boost::scoped_ptr" = type { ptr }
%"struct.boost::no_property" = type { i8 }
%"class.std::allocator" = type { i8 }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>, std::allocator<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>>>::_Vector_impl" }
%"struct.std::_Vector_base<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>, std::allocator<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>>>::_Vector_impl" = type { %"struct.std::_Vector_base<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>, std::allocator<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>, std::allocator<boost::adj_list_edge_property_map<boost::undirected_tag, int, int &, unsigned long, boost::property<boost::edge_weight_t, int>, boost::edge_weight_t>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator.10" = type { i8 }
%"class.boost::detail::edge_desc_impl" = type { %"struct.boost::detail::edge_base", ptr }
%"struct.boost::detail::edge_base" = type { i64, i64 }
%"struct.std::pair" = type <{ %"class.boost::detail::edge_desc_impl", i8, [7 x i8] }>
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = type { %"struct.std::_Vector_base<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>, std::allocator<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>, std::allocator<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>, std::allocator<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>, std::allocator<std::vector<boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator.15" = type { i8 }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = 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::allocator.25" = type { i8 }
%"struct.boost::bgl_named_params" = type { %"class.boost::iterator_property_map", [8 x i8] }
%"class.boost::iterator_property_map" = type <{ %"class.__gnu_cxx::__normal_iterator.29", [8 x i8] }>
%"class.__gnu_cxx::__normal_iterator.29" = type { ptr }

@_ZSt3cin = external global %"class.std::basic_istream", align 8
@_ZSt4cout = external global %"class.std::basic_ostream", align 8

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
define dso_local void @_Z5solvev() local_unnamed_addr #0 personality ptr @__gxx_personality_v0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca %"class.std::vector", align 8
  %7 = alloca %"class.boost::adjacency_list", align 8
  %8 = alloca %"struct.boost::no_property", align 1
  %9 = alloca %"class.std::allocator", align 1
  %10 = alloca %"class.std::vector.8", align 8
  %11 = alloca %"class.std::allocator.10", align 1
  %12 = alloca %"class.boost::detail::edge_desc_impl", align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca %"struct.std::pair", align 8
  %17 = alloca i32, align 4
  %18 = alloca %"class.std::vector.13", align 8
  %19 = alloca %"class.std::allocator.15", align 1
  %20 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %21 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %22 = alloca %"class.boost::detail::edge_desc_impl", align 8
  %23 = alloca %"struct.std::pair", align 8
  %24 = alloca %"class.std::vector.23", align 8
  %25 = alloca %"class.std::allocator.25", align 1
  %26 = alloca %"struct.boost::bgl_named_params", align 8
  %27 = alloca %"class.boost::iterator_property_map", align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #7
  %28 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %1)
  %29 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef nonnull align 4 dereferenceable(4) %2)
  %30 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 4 dereferenceable(4) %3)
  %31 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %30, ptr noundef nonnull align 4 dereferenceable(4) %4)
  %32 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %31, ptr noundef nonnull align 4 dereferenceable(4) %5)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %6) #7
  %33 = load i32, ptr %3, align 4, !tbaa !5
  %34 = add nsw i32 %33, 1
  %35 = sext i32 %34 to i64
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %7) #7
  %36 = load i32, ptr %1, align 4, !tbaa !5
  %37 = sext i32 %36 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %8) #7
  call void @_ZN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEEC2EmRKS3_(ptr noundef nonnull align 8 dereferenceable(56) %7, i64 noundef %37, ptr noundef nonnull align 1 dereferenceable(1) %8)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %9) #7
  call void @_ZNSaIN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEEEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %9) #7
  invoke void @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEC2EmRKS9_RKSA_(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %35, ptr noundef nonnull align 8 dereferenceable(56) %7, ptr noundef nonnull align 1 dereferenceable(1) %9)
          to label %38 unwind label %46

38:                                               ; preds = %0
  call void @_ZNSt15__new_allocatorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %9) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %9) #7
  call void @_ZN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %7) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %7) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %10) #7
  %39 = load i32, ptr %3, align 4, !tbaa !5
  %40 = add nsw i32 %39, 1
  %41 = sext i32 %40 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %11) #7
  call void @_ZNSaIN5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %11) #7
  invoke void @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEC2EmRKS9_(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %41, ptr noundef nonnull align 1 dereferenceable(1) %11)
          to label %42 unwind label %48

42:                                               ; preds = %38
  call void @_ZNSt15__new_allocatorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %11) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %11) #7
  %43 = load i32, ptr %3, align 4, !tbaa !5
  %.not55 = icmp slt i32 %43, 0
  br i1 %.not55, label %._crit_edge, label %.lr.ph

._crit_edge:                                      ; preds = %52, %42
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %12) #7
  invoke void @_ZN5boost6detail14edge_desc_implINS_14undirected_tagEmEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12)
          to label %.preheader54 unwind label %60

.preheader54:                                     ; preds = %._crit_edge
  %44 = load i32, ptr %2, align 4, !tbaa !5
  %45 = icmp sgt i32 %44, 0
  br i1 %45, label %.lr.ph61, label %.preheader54.._crit_edge62_crit_edge

.preheader54.._crit_edge62_crit_edge:             ; preds = %.preheader54
  %.pre = load i32, ptr %3, align 4, !tbaa !5
  br label %._crit_edge62

46:                                               ; preds = %0
  %47 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %9) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %9) #7
  call void @_ZN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %7) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %7) #7
  br label %178

48:                                               ; preds = %38
  %49 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %11) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %11) #7
  br label %177

.lr.ph:                                           ; preds = %42, %52
  %indvars.iv = phi i64 [ %indvars.iv.next, %52 ], [ 0, %42 ]
  %50 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv) #7
  %51 = invoke i32 @_ZN5boost3getINS_6detail12adj_list_genINS_14adjacency_listINS_4vecSES4_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS6_EES6_NS_5listSEEES4_S4_S5_S6_S9_S6_SA_E6configENS_23undirected_graph_helperISD_EES8_EENS_12property_mapINT_10graph_typeET1_vE4typeESJ_RNS_15adj_list_helperISH_T0_EE(i32 noundef 0, ptr noundef nonnull align 1 dereferenceable(1) %50)
          to label %52 unwind label %56

52:                                               ; preds = %.lr.ph
  %53 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv) #7
  store i32 %51, ptr %53, align 4
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %54 = load i32, ptr %3, align 4, !tbaa !5
  %55 = sext i32 %54 to i64
  %.not.not = icmp slt i64 %indvars.iv, %55
  br i1 %.not.not, label %.lr.ph, label %._crit_edge, !llvm.loop !9

56:                                               ; preds = %.lr.ph
  %57 = landingpad { ptr, i32 }
          cleanup
  br label %176

._crit_edge62:                                    ; preds = %._crit_edge59, %.preheader54.._crit_edge62_crit_edge
  %58 = phi i32 [ %.pre, %.preheader54.._crit_edge62_crit_edge ], [ %67, %._crit_edge59 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %17) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %18) #7
  %59 = sext i32 %58 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %19) #7
  call void @_ZNSaISt6vectorIN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %19) #7
  invoke void @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EEC2EmRKS7_(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %59, ptr noundef nonnull align 1 dereferenceable(1) %19)
          to label %94 unwind label %99

60:                                               ; preds = %._crit_edge
  %61 = landingpad { ptr, i32 }
          cleanup
  br label %175

.lr.ph61:                                         ; preds = %.preheader54, %._crit_edge59
  %.03860 = phi i32 [ %68, %._crit_edge59 ], [ 0, %.preheader54 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %13) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %14) #7
  %62 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %13)
          to label %63 unwind label %71

63:                                               ; preds = %.lr.ph61
  %64 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) %62, ptr noundef nonnull align 4 dereferenceable(4) %14)
          to label %.preheader unwind label %71

.preheader:                                       ; preds = %63
  %65 = load i32, ptr %3, align 4, !tbaa !5
  %66 = icmp sgt i32 %65, 0
  br i1 %66, label %.lr.ph58, label %._crit_edge59

._crit_edge59:                                    ; preds = %84, %.preheader
  %67 = phi i32 [ %65, %.preheader ], [ %85, %84 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #7
  %68 = add nuw nsw i32 %.03860, 1
  %69 = load i32, ptr %2, align 4, !tbaa !5
  %70 = icmp slt i32 %68, %69
  br i1 %70, label %.lr.ph61, label %._crit_edge62, !llvm.loop !11

71:                                               ; preds = %63, %.lr.ph61
  %72 = landingpad { ptr, i32 }
          cleanup
  br label %93

.lr.ph58:                                         ; preds = %.preheader, %84
  %indvars.iv71 = phi i64 [ %indvars.iv.next72, %84 ], [ 0, %.preheader ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %15) #7
  %73 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %15)
          to label %74 unwind label %88

74:                                               ; preds = %.lr.ph58
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %16) #7
  %75 = load i32, ptr %13, align 4, !tbaa !5
  %76 = sext i32 %75 to i64
  %77 = load i32, ptr %14, align 4, !tbaa !5
  %78 = sext i32 %77 to i64
  %79 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv71) #7
  invoke void @_ZN5boost8add_edgeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_6detail12adj_list_genIS9_S2_S2_S3_S4_S7_S4_S8_E6configENS_23undirected_graph_helperISD_EEEESt4pairINT0_15edge_descriptorEbENSH_17vertex_descriptorESK_RNS_17vec_adj_list_implIT_SH_T1_EE(ptr dead_on_unwind nonnull writable sret(%"struct.std::pair") align 8 %16, i64 noundef %76, i64 noundef %78, ptr noundef nonnull align 8 dereferenceable(48) %79)
          to label %80 unwind label %90

80:                                               ; preds = %74
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %12, ptr noundef nonnull align 8 dereferenceable(24) %16, i64 24, i1 false)
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #7
  %81 = load i32, ptr %15, align 4, !tbaa !5
  %82 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv71) #7
  %83 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EixENS_6detail14edge_desc_implIS1_mEE(ptr noundef nonnull align 4 dereferenceable(4) %82, ptr noundef nonnull byval(%"class.boost::detail::edge_desc_impl") align 8 %12)
          to label %84 unwind label %88

84:                                               ; preds = %80
  store i32 %81, ptr %83, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #7
  %indvars.iv.next72 = add nuw nsw i64 %indvars.iv71, 1
  %85 = load i32, ptr %3, align 4, !tbaa !5
  %86 = sext i32 %85 to i64
  %87 = icmp slt i64 %indvars.iv.next72, %86
  br i1 %87, label %.lr.ph58, label %._crit_edge59, !llvm.loop !12

88:                                               ; preds = %80, %.lr.ph58
  %89 = landingpad { ptr, i32 }
          cleanup
  br label %92

90:                                               ; preds = %74
  %91 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #7
  br label %92

92:                                               ; preds = %90, %88
  %.pn46 = phi { ptr, i32 } [ %89, %88 ], [ %91, %90 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #7
  br label %93

93:                                               ; preds = %92, %71
  %.pn46.pn = phi { ptr, i32 } [ %.pn46, %92 ], [ %72, %71 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #7
  br label %175

94:                                               ; preds = %._crit_edge62
  call void @_ZNSt15__new_allocatorISt6vectorIN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESaIS5_EEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %19) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %19) #7
  %95 = load i32, ptr %3, align 4, !tbaa !5
  %96 = icmp sgt i32 %95, 0
  br i1 %96, label %.lr.ph68, label %._crit_edge69

._crit_edge69:                                    ; preds = %._crit_edge65, %94
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %24) #7
  %97 = load i32, ptr %1, align 4, !tbaa !5
  %98 = sext i32 %97 to i64
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %25) #7
  call void @_ZNSaIiEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  invoke void @_ZNSt6vectorIiSaIiEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %24, i64 noundef %98, ptr noundef nonnull align 1 dereferenceable(1) %25)
          to label %142 unwind label %165

99:                                               ; preds = %._crit_edge62
  %100 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorISt6vectorIN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESaIS5_EEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %19) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %19) #7
  br label %174

.lr.ph68:                                         ; preds = %94, %._crit_edge65
  %indvars.iv74 = phi i64 [ %indvars.iv.next75, %._crit_edge65 ], [ 0, %94 ]
  %101 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 4 dereferenceable(4) %17)
          to label %102 unwind label %115

102:                                              ; preds = %.lr.ph68
  %103 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv74) #7
  %104 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %indvars.iv74) #7
  %105 = invoke ptr @_ZSt13back_inserterISt6vectorIN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESaIS5_EEESt20back_insert_iteratorIT_ERS9_(ptr noundef nonnull align 8 dereferenceable(24) %104)
          to label %106 unwind label %115

106:                                              ; preds = %102
  invoke void @_ZN5boost29kruskal_minimum_spanning_treeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEESt20back_insert_iteratorISt6vectorINS_6detail14edge_desc_implINS_14undirected_tagEmEESaISF_EEEEEvRKT_T0_(ptr noundef nonnull align 8 dereferenceable(56) %103, ptr %105)
          to label %107 unwind label %115

107:                                              ; preds = %106
  %108 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %indvars.iv74) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #7
  %109 = call ptr @_ZNSt6vectorIN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %108) #7
  store ptr %109, ptr %20, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #7
  %110 = call ptr @_ZNSt6vectorIN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %108) #7
  store ptr %110, ptr %21, align 8
  %111 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESt6vectorIS5_SaIS5_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %21) #7
  br i1 %111, label %.lr.ph64, label %._crit_edge65

._crit_edge65:                                    ; preds = %134, %107
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #7
  %indvars.iv.next75 = add nuw nsw i64 %indvars.iv74, 1
  %112 = load i32, ptr %3, align 4, !tbaa !5
  %113 = sext i32 %112 to i64
  %114 = icmp slt i64 %indvars.iv.next75, %113
  br i1 %114, label %.lr.ph68, label %._crit_edge69, !llvm.loop !13

115:                                              ; preds = %106, %102, %.lr.ph68
  %116 = landingpad { ptr, i32 }
          cleanup
  br label %173

.lr.ph64:                                         ; preds = %107, %134
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %22) #7
  %117 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESt6vectorIS5_SaIS5_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %22, ptr noundef nonnull align 8 dereferenceable(24) %117, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %23) #7
  %118 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv74) #7
  %119 = call noundef i64 @_ZN5boost6sourceINS_14undirected_tagEmNS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEET0_RKNS_6detail9edge_baseIT_S9_EERKNS_14adjacency_listIT1_T2_T3_T4_T5_T6_T7_EE(ptr noundef nonnull align 8 dereferenceable(16) %22, ptr noundef nonnull align 8 dereferenceable(56) %118)
  %120 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %indvars.iv74) #7
  %121 = call noundef i64 @_ZN5boost6targetINS_14undirected_tagEmNS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEET0_RKNS_6detail9edge_baseIT_S9_EERKNS_14adjacency_listIT1_T2_T3_T4_T5_T6_T7_EE(ptr noundef nonnull align 8 dereferenceable(16) %22, ptr noundef nonnull align 8 dereferenceable(56) %120)
  %122 = load i32, ptr %3, align 4, !tbaa !5
  %123 = sext i32 %122 to i64
  %124 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %123) #7
  invoke void @_ZN5boost8add_edgeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_6detail12adj_list_genIS9_S2_S2_S3_S4_S7_S4_S8_E6configENS_23undirected_graph_helperISD_EEEESt4pairINT0_15edge_descriptorEbENSH_17vertex_descriptorESK_RNS_17vec_adj_list_implIT_SH_T1_EE(ptr dead_on_unwind nonnull writable sret(%"struct.std::pair") align 8 %23, i64 noundef %119, i64 noundef %121, ptr noundef nonnull align 8 dereferenceable(48) %124)
          to label %125 unwind label %137

125:                                              ; preds = %.lr.ph64
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %12, ptr noundef nonnull align 8 dereferenceable(24) %23, i64 24, i1 false)
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #7
  %126 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv74) #7
  %127 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EixENS_6detail14edge_desc_implIS1_mEE(ptr noundef nonnull align 4 dereferenceable(4) %126, ptr noundef nonnull byval(%"class.boost::detail::edge_desc_impl") align 8 %22)
          to label %128 unwind label %139

128:                                              ; preds = %125
  %129 = load i32, ptr %127, align 4, !tbaa !5
  %130 = load i32, ptr %3, align 4, !tbaa !5
  %131 = sext i32 %130 to i64
  %132 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %131) #7
  %133 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EixENS_6detail14edge_desc_implIS1_mEE(ptr noundef nonnull align 4 dereferenceable(4) %132, ptr noundef nonnull byval(%"class.boost::detail::edge_desc_impl") align 8 %12)
          to label %134 unwind label %139

134:                                              ; preds = %128
  store i32 %129, ptr %133, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %22) #7
  %135 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESt6vectorIS5_SaIS5_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #7
  %136 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESt6vectorIS5_SaIS5_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %21) #7
  br i1 %136, label %.lr.ph64, label %._crit_edge65

137:                                              ; preds = %.lr.ph64
  %138 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #7
  br label %141

139:                                              ; preds = %128, %125
  %140 = landingpad { ptr, i32 }
          cleanup
  br label %141

141:                                              ; preds = %139, %137
  %.pn41 = phi { ptr, i32 } [ %140, %139 ], [ %138, %137 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #7
  br label %173

142:                                              ; preds = %._crit_edge69
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %25) #7
  %143 = load i32, ptr %3, align 4, !tbaa !5
  %144 = sext i32 %143 to i64
  %145 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %144) #7
  %146 = load i32, ptr %4, align 4, !tbaa !5
  %147 = sext i32 %146 to i64
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %26) #7
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %27) #7
  %148 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %24) #7
  %149 = load i32, ptr %3, align 4, !tbaa !5
  %150 = sext i32 %149 to i64
  %151 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %6, i64 noundef %150) #7
  invoke void @_ZN5boost3getINS_6detail12adj_list_genINS_14adjacency_listINS_4vecSES4_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS6_EES6_NS_5listSEEES4_S4_S5_S6_S9_S6_SA_E6configENS_23undirected_graph_helperISD_EENS_14vertex_index_tEEENS_12property_mapINT_10graph_typeET1_vE4typeESK_RNS_15adj_list_helperISI_T0_EE(i32 noundef 0, ptr noundef nonnull align 1 dereferenceable(1) %151)
          to label %152 unwind label %167

152:                                              ; preds = %142
  %153 = invoke ptr @_ZN5boost26make_iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapINS_11no_propertyEmEEEENS_21iterator_property_mapIT_T0_NSt15iterator_traitsISC_E10value_typeENSF_9referenceEEESC_SD_(ptr %148)
          to label %154 unwind label %167

154:                                              ; preds = %152
  store ptr %153, ptr %27, align 8
  invoke void @_ZN5boost12distance_mapINS_21iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapINS_11no_propertyEmEEiRiEEEENS_16bgl_named_paramsIT_NS_17vertex_distance_tESA_EERKSF_(ptr dead_on_unwind nonnull writable sret(%"struct.boost::bgl_named_params") align 8 %26, ptr noundef nonnull align 8 dereferenceable(9) %27)
          to label %155 unwind label %167

155:                                              ; preds = %154
  invoke void @_ZN5boost23dijkstra_shortest_pathsINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_21iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapIS4_mEEiRiEENS_17vertex_distance_tES4_EEvRKT_NS_12graph_traitsISN_E17vertex_descriptorERKNS_16bgl_named_paramsIT0_T1_T2_EE(ptr noundef nonnull align 8 dereferenceable(56) %145, i64 noundef %147, ptr noundef nonnull align 8 dereferenceable(17) %26)
          to label %156 unwind label %167

156:                                              ; preds = %155
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %26) #7
  %157 = load i32, ptr %5, align 4, !tbaa !5
  %158 = sext i32 %157 to i64
  %159 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %24, i64 noundef %158) #7
  %160 = load i32, ptr %159, align 4, !tbaa !5
  %161 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i32 noundef %160)
          to label %162 unwind label %169

162:                                              ; preds = %156
  %163 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %161, i8 noundef signext 10)
          to label %164 unwind label %169

164:                                              ; preds = %162
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %24) #7
  call void @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %18) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %17) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #7
  call void @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #7
  call void @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #7
  ret void

165:                                              ; preds = %._crit_edge69
  %166 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIiED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %25) #7
  br label %172

167:                                              ; preds = %155, %154, %152, %142
  %168 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %26) #7
  br label %171

169:                                              ; preds = %162, %156
  %170 = landingpad { ptr, i32 }
          cleanup
  br label %171

171:                                              ; preds = %169, %167
  %.pn = phi { ptr, i32 } [ %170, %169 ], [ %168, %167 ]
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #7
  br label %172

172:                                              ; preds = %171, %165
  %.pn.pn = phi { ptr, i32 } [ %.pn, %171 ], [ %166, %165 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %24) #7
  br label %173

173:                                              ; preds = %115, %141, %172
  %.pn41.pn.pn = phi { ptr, i32 } [ %.pn.pn, %172 ], [ %.pn41, %141 ], [ %116, %115 ]
  call void @_ZNSt6vectorIS_IN5boost6detail14edge_desc_implINS0_14undirected_tagEmEESaIS4_EESaIS6_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %18) #7
  br label %174

174:                                              ; preds = %173, %99
  %.pn41.pn.pn.pn = phi { ptr, i32 } [ %.pn41.pn.pn, %173 ], [ %100, %99 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %17) #7
  br label %175

175:                                              ; preds = %174, %93, %60
  %.pn46.pn.pn = phi { ptr, i32 } [ %.pn46.pn, %93 ], [ %.pn41.pn.pn.pn, %174 ], [ %61, %60 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #7
  br label %176

176:                                              ; preds = %175, %56
  %.pn50 = phi { ptr, i32 } [ %57, %56 ], [ %.pn46.pn.pn, %175 ]
  call void @_ZNSt6vectorIN5boost26adj_list_edge_property_mapINS0_14undirected_tagEiRimNS0_8propertyINS0_13edge_weight_tEiNS0_11no_propertyEEES5_EESaIS8_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %10) #7
  br label %177

177:                                              ; preds = %176, %48
  %.pn50.pn = phi { ptr, i32 } [ %.pn50, %176 ], [ %49, %48 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #7
  call void @_ZNSt6vectorIN5boost14adjacency_listINS0_4vecSES2_NS0_11undirectedSENS0_11no_propertyENS0_8propertyINS0_13edge_weight_tEiS4_EES4_NS0_5listSEEESaIS9_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #7
  br label %178

178:                                              ; preds = %177, %46
  %.pn50.pn.pn = phi { ptr, i32 } [ %.pn50.pn, %177 ], [ %47, %46 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #7
  resume { ptr, i32 } %.pn50.pn.pn
}

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

declare noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERi(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN5boost14adjacency_listINS_4vecSES1_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS3_EES3_NS_5listSEED2Ev(ptr noundef nonnull align 8 dereferenceable(56)) unnamed_addr #4 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local i32 @_ZN5boost3getINS_6detail12adj_list_genINS_14adjacency_listINS_4vecSES4_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS6_EES6_NS_5listSEEES4_S4_S5_S6_S9_S6_SA_E6configENS_23undirected_graph_helperISD_EES8_EENS_12property_mapINT_10graph_typeET1_vE4typeESJ_RNS_15adj_list_helperISH_T0_EE(i32 noundef, ptr noundef nonnull align 1 dereferenceable(1)) local_unnamed_addr #5

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost6detail14edge_desc_implINS_14undirected_tagEmEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost8add_edgeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_6detail12adj_list_genIS9_S2_S2_S3_S4_S7_S4_S8_E6configENS_23undirected_graph_helperISD_EEEESt4pairINT0_15edge_descriptorEbENSH_17vertex_descriptorESK_RNS_17vec_adj_list_implIT_SH_T1_EE(ptr dead_on_unwind noalias writable sret(%"struct.std::pair") align 8, i64 noundef, i64 noundef, ptr noundef nonnull align 8 dereferenceable(48)) local_unnamed_addr #5

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNK5boost26adj_list_edge_property_mapINS_14undirected_tagEiRimNS_8propertyINS_13edge_weight_tEiNS_11no_propertyEEES4_EixENS_6detail14edge_desc_implIS1_mEE(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef byval(%"class.boost::detail::edge_desc_impl") align 8) local_unnamed_addr #5 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost29kruskal_minimum_spanning_treeINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEESt20back_insert_iteratorISt6vectorINS_6detail14edge_desc_implINS_14undirected_tagEmEESaISF_EEEEEvRKT_T0_(ptr noundef nonnull align 8 dereferenceable(56), ptr) local_unnamed_addr #5

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local ptr @_ZSt13back_inserterISt6vectorIN5boost6detail14edge_desc_implINS1_14undirected_tagEmEESaIS5_EEESt20back_insert_iteratorIT_ERS9_(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #5

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

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN5boost6sourceINS_14undirected_tagEmNS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEET0_RKNS_6detail9edge_baseIT_S9_EERKNS_14adjacency_listIT1_T2_T3_T4_T5_T6_T7_EE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN5boost6targetINS_14undirected_tagEmNS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEET0_RKNS_6detail9edge_baseIT_S9_EERKNS_14adjacency_listIT1_T2_T3_T4_T5_T6_T7_EE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #4

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost23dijkstra_shortest_pathsINS_14adjacency_listINS_4vecSES2_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS4_EES4_NS_5listSEEENS_21iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapIS4_mEEiRiEENS_17vertex_distance_tES4_EEvRKT_NS_12graph_traitsISN_E17vertex_descriptorERKNS_16bgl_named_paramsIT0_T1_T2_EE(ptr noundef nonnull align 8 dereferenceable(56), i64 noundef, ptr noundef nonnull align 8 dereferenceable(17)) local_unnamed_addr #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost12distance_mapINS_21iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapINS_11no_propertyEmEEiRiEEEENS_16bgl_named_paramsIT_NS_17vertex_distance_tESA_EERKSF_(ptr dead_on_unwind noalias writable sret(%"struct.boost::bgl_named_params") align 8, ptr noundef nonnull align 8 dereferenceable(9)) local_unnamed_addr #0

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local ptr @_ZN5boost26make_iterator_property_mapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEENS_26vec_adj_list_vertex_id_mapINS_11no_propertyEmEEEENS_21iterator_property_mapIT_T0_NSt15iterator_traitsISC_E10value_typeENSF_9referenceEEESC_SD_(ptr) local_unnamed_addr #5

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost3getINS_6detail12adj_list_genINS_14adjacency_listINS_4vecSES4_NS_11undirectedSENS_11no_propertyENS_8propertyINS_13edge_weight_tEiS6_EES6_NS_5listSEEES4_S4_S5_S6_S9_S6_SA_E6configENS_23undirected_graph_helperISD_EENS_14vertex_index_tEEENS_12property_mapINT_10graph_typeET1_vE4typeESK_RNS_15adj_list_helperISI_T0_EE(i32 noundef, ptr noundef nonnull align 1 dereferenceable(1)) local_unnamed_addr #5

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8), i8 noundef signext) local_unnamed_addr #5

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) local_unnamed_addr #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 #3 align 2

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

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

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

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

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = distinct !{!12, !10}
!13 = distinct !{!13, !10}


; Effective O3 passes: DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,MemCpyOptPass,SROAPass,SimplifyCFGPass