; LLVM IR from Mjolnir-MD/Mjolnir :: test/core/test_topology.ll (ZN20topology_list_within11test_methodEv)

; 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::vector.7" = type { %"struct.std::_Vector_base.8" }
%"struct.std::_Vector_base.8" = type { %"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.boost::unit_test::lazy_ostream_impl.319" = type { %"class.boost::unit_test::lazy_ostream.base", ptr, ptr }
%"class.boost::unit_test::lazy_ostream.base" = type <{ ptr, i8 }>
%"class.mjolnir::Topology" = type { i64, %"class.std::vector.314" }
%"class.std::vector.314" = type { %"struct.std::_Vector_base.315" }
%"struct.std::_Vector_base.315" = type { %"struct.std::_Vector_base<mjolnir::Topology::node, std::allocator<mjolnir::Topology::node>>::_Vector_impl" }
%"struct.std::_Vector_base<mjolnir::Topology::node, std::allocator<mjolnir::Topology::node>>::_Vector_impl" = type { %"struct.std::_Vector_base<mjolnir::Topology::node, std::allocator<mjolnir::Topology::node>>::_Vector_impl_data" }
%"struct.std::_Vector_base<mjolnir::Topology::node, std::allocator<mjolnir::Topology::node>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::allocator" = type { i8 }
%"class.__gnu_cxx::__normal_iterator.234" = type { ptr }
%"class.boost::unit_test::basic_cstring" = type { ptr, ptr }
%"class.boost::test_tools::assertion_result" = type { %"class.boost::test_tools::assertion_result::readonly_property65", %"class.boost::shared_ptr.225" }
%"class.boost::test_tools::assertion_result::readonly_property65" = type { %"class.boost::unit_test::readonly_property.213" }
%"class.boost::unit_test::readonly_property.213" = type { %"class.boost::unit_test::class_property.98" }
%"class.boost::unit_test::class_property.98" = type { i8 }
%"class.boost::shared_ptr.225" = type { ptr, %"class.boost::detail::shared_count" }
%"class.boost::detail::shared_count" = type { ptr }
%"class.boost::test_tools::assertion::binary_expr" = type { %"class.boost::test_tools::assertion::value_expr", ptr }
%"class.boost::test_tools::assertion::value_expr" = type { ptr }
%"class.boost::test_tools::assertion::seed" = type { i8 }
%"class.boost::test_tools::assertion::binary_expr.321" = type <{ %"class.boost::test_tools::assertion::value_expr.323", i32, [4 x i8] }>
%"class.boost::test_tools::assertion::value_expr.323" = type { ptr }
%"class.boost::test_tools::assertion::binary_expr.325" = type <{ %"class.boost::test_tools::assertion::value_expr.327", i32, [4 x i8] }>
%"class.boost::test_tools::assertion::value_expr.327" = type { i64 }
%"class.boost::test_tools::assertion::binary_expr.330" = type { %"class.boost::test_tools::assertion::value_expr.327", i64 }
%"class.boost::test_tools::assertion::binary_expr.332" = type { %"class.boost::test_tools::assertion::value_expr", ptr }

@_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE = external hidden global ptr, align 8
@.str.401 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.402 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.406 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.407 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.408 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.409 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.410 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.411 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.412 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.413 = external hidden unnamed_addr constant [20 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(9), ptr noundef, i64 noundef, i32 noundef, i32 noundef, i64 noundef, ...) #2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools16assertion_resultC2Eb(ptr noundef nonnull align 8 dereferenceable(24), i1 noundef zeroext) unnamed_addr #2 align 2

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7mjolnir8TopologyC2Em(ptr noundef nonnull align 8 dereferenceable(32), i64 noundef) unnamed_addr #2 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZNK7mjolnir8Topology20list_adjacent_withinEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind noalias writable sret(%"class.std::vector.7") align 8, ptr noundef nonnull align 8 dereferenceable(32), i64 noundef, i64 noundef, ptr noundef nonnull align 8 dereferenceable(32)) #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind noalias writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8, ptr noundef nonnull align 8 dereferenceable(9), ptr noundef nonnull align 8 dereferenceable(16)) #4

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv() #3

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN20topology_list_within11test_methodEv(ptr noundef nonnull align 1 dereferenceable(1) %0) #2 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca i64, align 8
  %4 = alloca %"class.mjolnir::Topology", align 8
  %5 = alloca i64, align 8
  %6 = alloca %"class.std::__cxx11::basic_string", align 8
  %7 = alloca %"class.std::allocator", align 1
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca i64, align 8
  %11 = alloca i32, align 4
  %12 = alloca %"class.std::vector.7", align 8
  %13 = alloca %"class.std::__cxx11::basic_string", align 8
  %14 = alloca %"class.std::allocator", align 1
  %15 = alloca ptr, align 8
  %16 = alloca %"class.__gnu_cxx::__normal_iterator.234", align 8
  %17 = alloca %"class.__gnu_cxx::__normal_iterator.234", align 8
  %18 = alloca i64, align 8
  %19 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %20 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %21 = alloca %"class.boost::test_tools::assertion_result", align 8
  %22 = alloca %"class.boost::test_tools::assertion::binary_expr", align 8
  %23 = alloca %"class.boost::test_tools::assertion::value_expr", align 8
  %24 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %25 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %26 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %27 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %32 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %33 = alloca %"class.boost::test_tools::assertion_result", align 8
  %34 = alloca %"class.boost::test_tools::assertion::binary_expr.321", align 8
  %35 = alloca %"class.boost::test_tools::assertion::value_expr.323", align 8
  %36 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %37 = alloca i32, align 4
  %38 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %39 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %40 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %41 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %42 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %43 = alloca %"class.boost::test_tools::assertion_result", align 8
  %44 = alloca %"class.boost::test_tools::assertion::binary_expr.325", align 8
  %45 = alloca %"class.boost::test_tools::assertion::value_expr.327", align 8
  %46 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %47 = alloca i64, align 8
  %48 = alloca i32, align 4
  %49 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %50 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %51 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %52 = alloca %"class.std::vector.7", align 8
  %53 = alloca %"class.std::__cxx11::basic_string", align 8
  %54 = alloca %"class.std::allocator", align 1
  %55 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %56 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %57 = alloca %"class.boost::test_tools::assertion_result", align 8
  %58 = alloca %"class.boost::test_tools::assertion::binary_expr.330", align 8
  %59 = alloca %"class.boost::test_tools::assertion::value_expr.327", align 8
  %60 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %61 = alloca i64, align 8
  %62 = alloca i64, align 8
  %63 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %64 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %65 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %66 = alloca i8, align 1
  %67 = alloca %"class.__gnu_cxx::__normal_iterator.234", align 8
  %68 = alloca %"class.__gnu_cxx::__normal_iterator.234", align 8
  %69 = alloca %"class.__gnu_cxx::__normal_iterator.234", align 8
  %70 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %71 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %72 = alloca %"class.boost::test_tools::assertion_result", align 8
  %73 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %74 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %75 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %76 = alloca %"class.std::vector.7", align 8
  %77 = alloca %"class.std::__cxx11::basic_string", align 8
  %78 = alloca %"class.std::allocator", align 1
  %79 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %80 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %81 = alloca %"class.boost::test_tools::assertion_result", align 8
  %82 = alloca %"class.boost::test_tools::assertion::binary_expr.325", align 8
  %83 = alloca %"class.boost::test_tools::assertion::value_expr.327", align 8
  %84 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %85 = alloca i64, align 8
  %86 = alloca i32, align 4
  %87 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %88 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %89 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %90 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %91 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %92 = alloca %"class.boost::test_tools::assertion_result", align 8
  %93 = alloca %"class.boost::test_tools::assertion::binary_expr.332", align 8
  %94 = alloca %"class.boost::test_tools::assertion::value_expr", align 8
  %95 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %96 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %97 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %98 = alloca %"class.boost::unit_test::basic_cstring", align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  %99 = load ptr, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #6
  store i64 100, ptr %3, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 32, ptr %4) #6
  call void @_ZN7mjolnir8TopologyC2Em(ptr noundef nonnull align 8 dereferenceable(32) %4, i64 noundef 100)
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #6
  store i64 0, ptr %5, align 8, !tbaa !9
  br label %100

100:                                              ; preds = %112, %1
  %101 = load i64, ptr %5, align 8, !tbaa !9
  %102 = load i64, ptr %3, align 8, !tbaa !9
  %103 = sub i64 %102, 1
  %104 = icmp ult i64 %101, %103
  br i1 %104, label %106, label %105

105:                                              ; preds = %100
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #6
  br label %124

106:                                              ; preds = %100
  %107 = load i64, ptr %5, align 8, !tbaa !9
  %108 = load i64, ptr %5, align 8, !tbaa !9
  %109 = add i64 %108, 1
  call void @llvm.lifetime.start.p0(i64 32, ptr %6) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %7) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %7) #6
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %6, ptr noundef @.str.402, ptr noundef nonnull align 1 dereferenceable(1) %7)
          to label %110 unwind label %115

110:                                              ; preds = %106
  invoke void @_ZN7mjolnir8Topology14add_connectionEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %4, i64 noundef %107, i64 noundef %109, ptr noundef nonnull align 8 dereferenceable(32) %6)
          to label %111 unwind label %119

111:                                              ; preds = %110
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %7) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %6) #6
  br label %112

112:                                              ; preds = %111
  %113 = load i64, ptr %5, align 8, !tbaa !9
  %114 = add i64 %113, 1
  store i64 %114, ptr %5, align 8, !tbaa !9
  br label %100, !llvm.loop !11

115:                                              ; preds = %106
  %116 = landingpad { ptr, i32 }
          cleanup
  %117 = extractvalue { ptr, i32 } %116, 0
  store ptr %117, ptr %8, align 8
  %118 = extractvalue { ptr, i32 } %116, 1
  store i32 %118, ptr %9, align 4
  br label %123

119:                                              ; preds = %110
  %120 = landingpad { ptr, i32 }
          cleanup
  %121 = extractvalue { ptr, i32 } %120, 0
  store ptr %121, ptr %8, align 8
  %122 = extractvalue { ptr, i32 } %120, 1
  store i32 %122, ptr %9, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #6
  br label %123

123:                                              ; preds = %119, %115
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %7) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #6
  br label %550

124:                                              ; preds = %105
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #6
  store i64 0, ptr %10, align 8, !tbaa !9
  br label %125

125:                                              ; preds = %540, %124
  %126 = load i64, ptr %10, align 8, !tbaa !9
  %127 = load i64, ptr %3, align 8, !tbaa !9
  %128 = icmp ult i64 %126, %127
  br i1 %128, label %130, label %129

129:                                              ; preds = %125
  store i32 5, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #6
  br label %549

130:                                              ; preds = %125
  call void @llvm.lifetime.start.p0(i64 24, ptr %12) #6
  %131 = load i64, ptr %10, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 32, ptr %13) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #6
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %13, ptr noundef @.str.402, ptr noundef nonnull align 1 dereferenceable(1) %14)
          to label %132 unwind label %143

132:                                              ; preds = %130
  invoke void @_ZNK7mjolnir8Topology20list_adjacent_withinEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind writable sret(%"class.std::vector.7") align 8 %12, ptr noundef nonnull align 8 dereferenceable(32) %4, i64 noundef %131, i64 noundef 3, ptr noundef nonnull align 8 dereferenceable(32) %13)
          to label %133 unwind label %147

133:                                              ; preds = %132
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #6
  store ptr %12, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #6
  %134 = load ptr, ptr %15, align 8, !tbaa !5
  %135 = call ptr @_ZNKSt6vectorImSaImEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %134) #6
  %136 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.234", ptr %16, i32 0, i32 0
  store ptr %135, ptr %136, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #6
  %137 = load ptr, ptr %15, align 8, !tbaa !5
  %138 = call ptr @_ZNKSt6vectorImSaImEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %137) #6
  %139 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.234", ptr %17, i32 0, i32 0
  store ptr %138, ptr %139, align 8
  br label %140

140:                                              ; preds = %201, %133
  %141 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKmSt6vectorImSaImEEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %17) #6
  br i1 %141, label %152, label %142

142:                                              ; preds = %140
  store i32 8, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #6
  br label %256

143:                                              ; preds = %130
  %144 = landingpad { ptr, i32 }
          cleanup
  %145 = extractvalue { ptr, i32 } %144, 0
  store ptr %145, ptr %8, align 8
  %146 = extractvalue { ptr, i32 } %144, 1
  store i32 %146, ptr %9, align 4
  br label %151

147:                                              ; preds = %132
  %148 = landingpad { ptr, i32 }
          cleanup
  %149 = extractvalue { ptr, i32 } %148, 0
  store ptr %149, ptr %8, align 8
  %150 = extractvalue { ptr, i32 } %148, 1
  store i32 %150, ptr %9, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #6
  br label %151

151:                                              ; preds = %147, %143
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #6
  br label %548

152:                                              ; preds = %140
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #6
  %153 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #6
  %154 = load i64, ptr %153, align 8, !tbaa !9
  store i64 %154, ptr %18, align 8, !tbaa !9
  br label %155

155:                                              ; preds = %172, %152
  %156 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef @.str.401, i64 noundef 79)
          to label %157 unwind label %203

157:                                              ; preds = %155
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %20)
          to label %158 unwind label %203

158:                                              ; preds = %157
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %156, ptr noundef %19, i64 noundef 43, ptr noundef %20)
          to label %159 unwind label %203

159:                                              ; preds = %158
  call void @llvm.lifetime.start.p0(i64 24, ptr %21) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %24) #6
  invoke void @_ZNK5boost10test_tools9assertion4seedpmIRKmEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr") align 8 %23, ptr noundef nonnull align 1 dereferenceable(1) %24, ptr noundef nonnull align 8 dereferenceable(8) %18)
          to label %160 unwind label %207

160:                                              ; preds = %159
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKmEEmEltIRmEENS1_11binary_exprIS6_T_NS1_2op2LTImNS7_4RhsTISB_E4typeEvEEEEOSB_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr") align 8 %22, ptr noundef nonnull align 1 dereferenceable(1) %23, ptr noundef nonnull align 8 dereferenceable(8) %3)
          to label %161 unwind label %207

161:                                              ; preds = %160
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKmEERmNS1_2op2LTImmvEEE8evaluateEb(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %21, ptr noundef nonnull align 8 dereferenceable(16) %22, i1 noundef zeroext false)
          to label %162 unwind label %207

162:                                              ; preds = %161
  call void @llvm.lifetime.start.p0(i64 32, ptr %25) #6
  %163 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %164 unwind label %211

164:                                              ; preds = %162
  call void @llvm.lifetime.start.p0(i64 16, ptr %26) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %26, ptr noundef @.str.406, i64 noundef 5)
          to label %165 unwind label %215

165:                                              ; preds = %164
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %25, ptr noundef nonnull align 8 dereferenceable(9) %163, ptr noundef nonnull align 8 dereferenceable(16) %26)
          to label %166 unwind label %215

166:                                              ; preds = %165
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %27, ptr noundef @.str.401, i64 noundef 79)
          to label %167 unwind label %219

167:                                              ; preds = %166
  %168 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %21, ptr noundef nonnull align 8 dereferenceable(9) %25, ptr noundef %27, i64 noundef 43, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %169 unwind label %219

169:                                              ; preds = %167
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %25) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %24) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %21) #6
  br label %170

170:                                              ; preds = %169
  %171 = invoke noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
          to label %172 unwind label %203

172:                                              ; preds = %170
  br i1 %171, label %155, label %173, !llvm.loop !13

173:                                              ; preds = %172
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #6
  %174 = load i64, ptr %10, align 8, !tbaa !9
  %175 = trunc i64 %174 to i32
  store i32 %175, ptr %28, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #6
  %176 = load i64, ptr %18, align 8, !tbaa !9
  %177 = trunc i64 %176 to i32
  store i32 %177, ptr %29, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #6
  %178 = load i32, ptr %28, align 4, !tbaa !14
  %179 = load i32, ptr %29, align 4, !tbaa !14
  %180 = sub nsw i32 %178, %179
  %181 = call i32 @llvm.abs.i32(i32 %180, i1 true)
  store i32 %181, ptr %30, align 4, !tbaa !14
  br label %182

182:                                              ; preds = %199, %173
  %183 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %31, ptr noundef @.str.401, i64 noundef 79)
          to label %184 unwind label %226

184:                                              ; preds = %182
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %32)
          to label %185 unwind label %226

185:                                              ; preds = %184
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %183, ptr noundef %31, i64 noundef 47, ptr noundef %32)
          to label %186 unwind label %226

186:                                              ; preds = %185
  call void @llvm.lifetime.start.p0(i64 24, ptr %33) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %34) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %36) #6
  invoke void @_ZNK5boost10test_tools9assertion4seedpmIRKiEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr.323") align 8 %35, ptr noundef nonnull align 1 dereferenceable(1) %36, ptr noundef nonnull align 4 dereferenceable(4) %30)
          to label %187 unwind label %230

187:                                              ; preds = %186
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #6
  store i32 3, ptr %37, align 4, !tbaa !14
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKiEEiEleIiEENS1_11binary_exprIS6_T_NS1_2op2LEIiNS7_4RhsTISA_E4typeEvEEEEOSA_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr.321") align 8 %34, ptr noundef nonnull align 1 dereferenceable(1) %35, ptr noundef nonnull align 4 dereferenceable(4) %37)
          to label %188 unwind label %234

188:                                              ; preds = %187
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKiEEiNS1_2op2LEIiivEEE8evaluateEb(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %33, ptr noundef nonnull align 8 dereferenceable(12) %34, i1 noundef zeroext false)
          to label %189 unwind label %234

189:                                              ; preds = %188
  call void @llvm.lifetime.start.p0(i64 32, ptr %38) #6
  %190 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %191 unwind label %238

191:                                              ; preds = %189
  call void @llvm.lifetime.start.p0(i64 16, ptr %39) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %39, ptr noundef @.str.407, i64 noundef 9)
          to label %192 unwind label %242

192:                                              ; preds = %191
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %38, ptr noundef nonnull align 8 dereferenceable(9) %190, ptr noundef nonnull align 8 dereferenceable(16) %39)
          to label %193 unwind label %242

193:                                              ; preds = %192
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %40, ptr noundef @.str.401, i64 noundef 79)
          to label %194 unwind label %246

194:                                              ; preds = %193
  %195 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %33, ptr noundef nonnull align 8 dereferenceable(9) %38, ptr noundef %40, i64 noundef 47, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %196 unwind label %246

196:                                              ; preds = %194
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %33) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %33) #6
  br label %197

197:                                              ; preds = %196
  %198 = invoke noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
          to label %199 unwind label %226

199:                                              ; preds = %197
  br i1 %198, label %182, label %200, !llvm.loop !16

200:                                              ; preds = %199
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #6
  br label %201

201:                                              ; preds = %200
  %202 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #6
  br label %140

203:                                              ; preds = %170, %158, %157, %155
  %204 = landingpad { ptr, i32 }
          cleanup
  %205 = extractvalue { ptr, i32 } %204, 0
  store ptr %205, ptr %8, align 8
  %206 = extractvalue { ptr, i32 } %204, 1
  store i32 %206, ptr %9, align 4
  br label %255

207:                                              ; preds = %161, %160, %159
  %208 = landingpad { ptr, i32 }
          cleanup
  %209 = extractvalue { ptr, i32 } %208, 0
  store ptr %209, ptr %8, align 8
  %210 = extractvalue { ptr, i32 } %208, 1
  store i32 %210, ptr %9, align 4
  br label %225

211:                                              ; preds = %162
  %212 = landingpad { ptr, i32 }
          cleanup
  %213 = extractvalue { ptr, i32 } %212, 0
  store ptr %213, ptr %8, align 8
  %214 = extractvalue { ptr, i32 } %212, 1
  store i32 %214, ptr %9, align 4
  br label %224

215:                                              ; preds = %165, %164
  %216 = landingpad { ptr, i32 }
          cleanup
  %217 = extractvalue { ptr, i32 } %216, 0
  store ptr %217, ptr %8, align 8
  %218 = extractvalue { ptr, i32 } %216, 1
  store i32 %218, ptr %9, align 4
  br label %223

219:                                              ; preds = %167, %166
  %220 = landingpad { ptr, i32 }
          cleanup
  %221 = extractvalue { ptr, i32 } %220, 0
  store ptr %221, ptr %8, align 8
  %222 = extractvalue { ptr, i32 } %220, 1
  store i32 %222, ptr %9, align 4
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #6
  br label %223

223:                                              ; preds = %219, %215
  call void @llvm.lifetime.end.p0(i64 16, ptr %26) #6
  br label %224

224:                                              ; preds = %223, %211
  call void @llvm.lifetime.end.p0(i64 32, ptr %25) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #6
  br label %225

225:                                              ; preds = %224, %207
  call void @llvm.lifetime.end.p0(i64 1, ptr %24) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %21) #6
  br label %255

226:                                              ; preds = %197, %185, %184, %182
  %227 = landingpad { ptr, i32 }
          cleanup
  %228 = extractvalue { ptr, i32 } %227, 0
  store ptr %228, ptr %8, align 8
  %229 = extractvalue { ptr, i32 } %227, 1
  store i32 %229, ptr %9, align 4
  br label %254

230:                                              ; preds = %186
  %231 = landingpad { ptr, i32 }
          cleanup
  %232 = extractvalue { ptr, i32 } %231, 0
  store ptr %232, ptr %8, align 8
  %233 = extractvalue { ptr, i32 } %231, 1
  store i32 %233, ptr %9, align 4
  br label %253

234:                                              ; preds = %188, %187
  %235 = landingpad { ptr, i32 }
          cleanup
  %236 = extractvalue { ptr, i32 } %235, 0
  store ptr %236, ptr %8, align 8
  %237 = extractvalue { ptr, i32 } %235, 1
  store i32 %237, ptr %9, align 4
  br label %252

238:                                              ; preds = %189
  %239 = landingpad { ptr, i32 }
          cleanup
  %240 = extractvalue { ptr, i32 } %239, 0
  store ptr %240, ptr %8, align 8
  %241 = extractvalue { ptr, i32 } %239, 1
  store i32 %241, ptr %9, align 4
  br label %251

242:                                              ; preds = %192, %191
  %243 = landingpad { ptr, i32 }
          cleanup
  %244 = extractvalue { ptr, i32 } %243, 0
  store ptr %244, ptr %8, align 8
  %245 = extractvalue { ptr, i32 } %243, 1
  store i32 %245, ptr %9, align 4
  br label %250

246:                                              ; preds = %194, %193
  %247 = landingpad { ptr, i32 }
          cleanup
  %248 = extractvalue { ptr, i32 } %247, 0
  store ptr %248, ptr %8, align 8
  %249 = extractvalue { ptr, i32 } %247, 1
  store i32 %249, ptr %9, align 4
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #6
  br label %250

250:                                              ; preds = %246, %242
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #6
  br label %251

251:                                              ; preds = %250, %238
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %33) #6
  br label %252

252:                                              ; preds = %251, %234
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #6
  br label %253

253:                                              ; preds = %252, %230
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %33) #6
  br label %254

254:                                              ; preds = %253, %226
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #6
  br label %255

255:                                              ; preds = %254, %225, %203
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #6
  br label %547

256:                                              ; preds = %142
  %257 = load i64, ptr %10, align 8, !tbaa !9
  %258 = icmp ule i64 4, %257
  br i1 %258, label %259, label %313

259:                                              ; preds = %256
  %260 = load i64, ptr %10, align 8, !tbaa !9
  %261 = load i64, ptr %3, align 8, !tbaa !9
  %262 = sub i64 %261, 4
  %263 = icmp ule i64 %260, %262
  br i1 %263, label %264, label %313

264:                                              ; preds = %259
  br label %265

265:                                              ; preds = %283, %264
  %266 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %41, ptr noundef @.str.401, i64 noundef 79)
          to label %267 unwind label %285

267:                                              ; preds = %265
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %42)
          to label %268 unwind label %285

268:                                              ; preds = %267
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %266, ptr noundef %41, i64 noundef 52, ptr noundef %42)
          to label %269 unwind label %285

269:                                              ; preds = %268
  call void @llvm.lifetime.start.p0(i64 24, ptr %43) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %44) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %46) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #6
  %270 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #6
  store i64 %270, ptr %47, align 8, !tbaa !9
  invoke void @_ZNK5boost10test_tools9assertion4seedpmImEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr.327") align 8 %45, ptr noundef nonnull align 1 dereferenceable(1) %46, ptr noundef nonnull align 8 dereferenceable(8) %47)
          to label %271 unwind label %289

271:                                              ; preds = %269
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #6
  store i32 7, ptr %48, align 4, !tbaa !14
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqIjEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr.325") align 8 %44, ptr noundef nonnull align 1 dereferenceable(1) %45, ptr noundef nonnull align 4 dereferenceable(4) %48)
          to label %272 unwind label %293

272:                                              ; preds = %271
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEjNS1_2op2EQImjvEEE8evaluateEb(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %43, ptr noundef nonnull align 8 dereferenceable(12) %44, i1 noundef zeroext false)
          to label %273 unwind label %293

273:                                              ; preds = %272
  call void @llvm.lifetime.start.p0(i64 32, ptr %49) #6
  %274 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %275 unwind label %297

275:                                              ; preds = %273
  call void @llvm.lifetime.start.p0(i64 16, ptr %50) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %50, ptr noundef @.str.408, i64 noundef 17)
          to label %276 unwind label %301

276:                                              ; preds = %275
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %49, ptr noundef nonnull align 8 dereferenceable(9) %274, ptr noundef nonnull align 8 dereferenceable(16) %50)
          to label %277 unwind label %301

277:                                              ; preds = %276
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %51, ptr noundef @.str.401, i64 noundef 79)
          to label %278 unwind label %305

278:                                              ; preds = %277
  %279 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %43, ptr noundef nonnull align 8 dereferenceable(9) %49, ptr noundef %51, i64 noundef 52, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %280 unwind label %305

280:                                              ; preds = %278
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %49) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %50) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %49) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %43) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %46) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %44) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %43) #6
  br label %281

281:                                              ; preds = %280
  %282 = invoke noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
          to label %283 unwind label %285

283:                                              ; preds = %281
  br i1 %282, label %265, label %284, !llvm.loop !17

284:                                              ; preds = %283
  br label %313

285:                                              ; preds = %281, %268, %267, %265
  %286 = landingpad { ptr, i32 }
          cleanup
  %287 = extractvalue { ptr, i32 } %286, 0
  store ptr %287, ptr %8, align 8
  %288 = extractvalue { ptr, i32 } %286, 1
  store i32 %288, ptr %9, align 4
  br label %547

289:                                              ; preds = %269
  %290 = landingpad { ptr, i32 }
          cleanup
  %291 = extractvalue { ptr, i32 } %290, 0
  store ptr %291, ptr %8, align 8
  %292 = extractvalue { ptr, i32 } %290, 1
  store i32 %292, ptr %9, align 4
  br label %312

293:                                              ; preds = %272, %271
  %294 = landingpad { ptr, i32 }
          cleanup
  %295 = extractvalue { ptr, i32 } %294, 0
  store ptr %295, ptr %8, align 8
  %296 = extractvalue { ptr, i32 } %294, 1
  store i32 %296, ptr %9, align 4
  br label %311

297:                                              ; preds = %273
  %298 = landingpad { ptr, i32 }
          cleanup
  %299 = extractvalue { ptr, i32 } %298, 0
  store ptr %299, ptr %8, align 8
  %300 = extractvalue { ptr, i32 } %298, 1
  store i32 %300, ptr %9, align 4
  br label %310

301:                                              ; preds = %276, %275
  %302 = landingpad { ptr, i32 }
          cleanup
  %303 = extractvalue { ptr, i32 } %302, 0
  store ptr %303, ptr %8, align 8
  %304 = extractvalue { ptr, i32 } %302, 1
  store i32 %304, ptr %9, align 4
  br label %309

305:                                              ; preds = %278, %277
  %306 = landingpad { ptr, i32 }
          cleanup
  %307 = extractvalue { ptr, i32 } %306, 0
  store ptr %307, ptr %8, align 8
  %308 = extractvalue { ptr, i32 } %306, 1
  store i32 %308, ptr %9, align 4
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %49) #6
  br label %309

309:                                              ; preds = %305, %301
  call void @llvm.lifetime.end.p0(i64 16, ptr %50) #6
  br label %310

310:                                              ; preds = %309, %297
  call void @llvm.lifetime.end.p0(i64 32, ptr %49) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %43) #6
  br label %311

311:                                              ; preds = %310, %293
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #6
  br label %312

312:                                              ; preds = %311, %289
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %46) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %44) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %43) #6
  br label %547

313:                                              ; preds = %284, %259, %256
  call void @llvm.lifetime.start.p0(i64 24, ptr %52) #6
  %314 = load i64, ptr %10, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 32, ptr %53) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %54) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %54) #6
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %53, ptr noundef @.str.402, ptr noundef nonnull align 1 dereferenceable(1) %54)
          to label %315 unwind label %376

315:                                              ; preds = %313
  invoke void @_ZNK7mjolnir8Topology20list_adjacent_withinEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind writable sret(%"class.std::vector.7") align 8 %52, ptr noundef nonnull align 8 dereferenceable(32) %4, i64 noundef %314, i64 noundef 3, ptr noundef nonnull align 8 dereferenceable(32) %53)
          to label %316 unwind label %380

316:                                              ; preds = %315
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %53) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %54) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %53) #6
  br label %317

317:                                              ; preds = %336, %316
  %318 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %55, ptr noundef @.str.401, i64 noundef 79)
          to label %319 unwind label %385

319:                                              ; preds = %317
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %56)
          to label %320 unwind label %385

320:                                              ; preds = %319
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %318, ptr noundef %55, i64 noundef 56, ptr noundef %56)
          to label %321 unwind label %385

321:                                              ; preds = %320
  call void @llvm.lifetime.start.p0(i64 24, ptr %57) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %58) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %60) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #6
  %322 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #6
  store i64 %322, ptr %61, align 8, !tbaa !9
  invoke void @_ZNK5boost10test_tools9assertion4seedpmImEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr.327") align 8 %59, ptr noundef nonnull align 1 dereferenceable(1) %60, ptr noundef nonnull align 8 dereferenceable(8) %61)
          to label %323 unwind label %389

323:                                              ; preds = %321
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #6
  %324 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %52) #6
  store i64 %324, ptr %62, align 8, !tbaa !9
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqImEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr.330") align 8 %58, ptr noundef nonnull align 1 dereferenceable(1) %59, ptr noundef nonnull align 8 dereferenceable(8) %62)
          to label %325 unwind label %393

325:                                              ; preds = %323
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEmNS1_2op2EQImmvEEE8evaluateEb(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %57, ptr noundef nonnull align 8 dereferenceable(16) %58, i1 noundef zeroext false)
          to label %326 unwind label %393

326:                                              ; preds = %325
  call void @llvm.lifetime.start.p0(i64 32, ptr %63) #6
  %327 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %328 unwind label %397

328:                                              ; preds = %326
  call void @llvm.lifetime.start.p0(i64 16, ptr %64) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %64, ptr noundef @.str.409, i64 noundef 28)
          to label %329 unwind label %401

329:                                              ; preds = %328
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %63, ptr noundef nonnull align 8 dereferenceable(9) %327, ptr noundef nonnull align 8 dereferenceable(16) %64)
          to label %330 unwind label %401

330:                                              ; preds = %329
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %65, ptr noundef @.str.401, i64 noundef 79)
          to label %331 unwind label %405

331:                                              ; preds = %330
  %332 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %57, ptr noundef nonnull align 8 dereferenceable(9) %63, ptr noundef %65, i64 noundef 56, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %333 unwind label %405

333:                                              ; preds = %331
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %63) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %64) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %63) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %57) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %60) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %58) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %57) #6
  br label %334

334:                                              ; preds = %333
  %335 = invoke noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
          to label %336 unwind label %385

336:                                              ; preds = %334
  br i1 %335, label %317, label %337, !llvm.loop !18

337:                                              ; preds = %336
  %338 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #6
  %339 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %52) #6
  %340 = icmp eq i64 %338, %339
  br i1 %340, label %341, label %437

341:                                              ; preds = %337
  call void @llvm.lifetime.start.p0(i64 1, ptr %66) #6
  %342 = call ptr @_ZNKSt6vectorImSaImEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #6
  %343 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.234", ptr %67, i32 0, i32 0
  store ptr %342, ptr %343, align 8
  %344 = call ptr @_ZNKSt6vectorImSaImEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #6
  %345 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.234", ptr %68, i32 0, i32 0
  store ptr %344, ptr %345, align 8
  %346 = call ptr @_ZNKSt6vectorImSaImEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %52) #6
  %347 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.234", ptr %69, i32 0, i32 0
  store ptr %346, ptr %347, align 8
  %348 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.234", ptr %67, i32 0, i32 0
  %349 = load ptr, ptr %348, align 8
  %350 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.234", ptr %68, i32 0, i32 0
  %351 = load ptr, ptr %350, align 8
  %352 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.234", ptr %69, i32 0, i32 0
  %353 = load ptr, ptr %352, align 8
  %354 = invoke noundef zeroext i1 @_ZSt14is_permutationIN9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEES7_EbT_S8_T0_(ptr %349, ptr %351, ptr %353)
          to label %355 unwind label %413

355:                                              ; preds = %341
  %356 = zext i1 %354 to i8
  store i8 %356, ptr %66, align 1, !tbaa !19
  br label %357

357:                                              ; preds = %374, %355
  %358 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %70, ptr noundef @.str.401, i64 noundef 79)
          to label %359 unwind label %413

359:                                              ; preds = %357
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %71)
          to label %360 unwind label %413

360:                                              ; preds = %359
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %358, ptr noundef %70, i64 noundef 62, ptr noundef %71)
          to label %361 unwind label %413

361:                                              ; preds = %360
  call void @llvm.lifetime.start.p0(i64 24, ptr %72) #6
  %362 = load i8, ptr %66, align 1, !tbaa !19, !range !21, !noundef !22
  %363 = trunc i8 %362 to i1
  invoke void @_ZN5boost10test_tools16assertion_resultC2Eb(ptr noundef nonnull align 8 dereferenceable(24) %72, i1 noundef zeroext %363)
          to label %364 unwind label %417

364:                                              ; preds = %361
  call void @llvm.lifetime.start.p0(i64 32, ptr %73) #6
  %365 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %366 unwind label %421

366:                                              ; preds = %364
  call void @llvm.lifetime.start.p0(i64 16, ptr %74) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %74, ptr noundef @.str.410, i64 noundef 23)
          to label %367 unwind label %425

367:                                              ; preds = %366
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %73, ptr noundef nonnull align 8 dereferenceable(9) %365, ptr noundef nonnull align 8 dereferenceable(16) %74)
          to label %368 unwind label %425

368:                                              ; preds = %367
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %75, ptr noundef @.str.401, i64 noundef 79)
          to label %369 unwind label %429

369:                                              ; preds = %368
  %370 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %72, ptr noundef nonnull align 8 dereferenceable(9) %73, ptr noundef %75, i64 noundef 62, i32 noundef 1, i32 noundef 0, i64 noundef 0)
          to label %371 unwind label %429

371:                                              ; preds = %369
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %73) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %74) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %73) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %72) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %72) #6
  br label %372

372:                                              ; preds = %371
  %373 = invoke noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
          to label %374 unwind label %413

374:                                              ; preds = %372
  br i1 %373, label %357, label %375, !llvm.loop !23

375:                                              ; preds = %374
  call void @llvm.lifetime.end.p0(i64 1, ptr %66) #6
  br label %437

376:                                              ; preds = %313
  %377 = landingpad { ptr, i32 }
          cleanup
  %378 = extractvalue { ptr, i32 } %377, 0
  store ptr %378, ptr %8, align 8
  %379 = extractvalue { ptr, i32 } %377, 1
  store i32 %379, ptr %9, align 4
  br label %384

380:                                              ; preds = %315
  %381 = landingpad { ptr, i32 }
          cleanup
  %382 = extractvalue { ptr, i32 } %381, 0
  store ptr %382, ptr %8, align 8
  %383 = extractvalue { ptr, i32 } %381, 1
  store i32 %383, ptr %9, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %53) #6
  br label %384

384:                                              ; preds = %380, %376
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %54) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %53) #6
  br label %546

385:                                              ; preds = %334, %320, %319, %317
  %386 = landingpad { ptr, i32 }
          cleanup
  %387 = extractvalue { ptr, i32 } %386, 0
  store ptr %387, ptr %8, align 8
  %388 = extractvalue { ptr, i32 } %386, 1
  store i32 %388, ptr %9, align 4
  br label %545

389:                                              ; preds = %321
  %390 = landingpad { ptr, i32 }
          cleanup
  %391 = extractvalue { ptr, i32 } %390, 0
  store ptr %391, ptr %8, align 8
  %392 = extractvalue { ptr, i32 } %390, 1
  store i32 %392, ptr %9, align 4
  br label %412

393:                                              ; preds = %325, %323
  %394 = landingpad { ptr, i32 }
          cleanup
  %395 = extractvalue { ptr, i32 } %394, 0
  store ptr %395, ptr %8, align 8
  %396 = extractvalue { ptr, i32 } %394, 1
  store i32 %396, ptr %9, align 4
  br label %411

397:                                              ; preds = %326
  %398 = landingpad { ptr, i32 }
          cleanup
  %399 = extractvalue { ptr, i32 } %398, 0
  store ptr %399, ptr %8, align 8
  %400 = extractvalue { ptr, i32 } %398, 1
  store i32 %400, ptr %9, align 4
  br label %410

401:                                              ; preds = %329, %328
  %402 = landingpad { ptr, i32 }
          cleanup
  %403 = extractvalue { ptr, i32 } %402, 0
  store ptr %403, ptr %8, align 8
  %404 = extractvalue { ptr, i32 } %402, 1
  store i32 %404, ptr %9, align 4
  br label %409

405:                                              ; preds = %331, %330
  %406 = landingpad { ptr, i32 }
          cleanup
  %407 = extractvalue { ptr, i32 } %406, 0
  store ptr %407, ptr %8, align 8
  %408 = extractvalue { ptr, i32 } %406, 1
  store i32 %408, ptr %9, align 4
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %63) #6
  br label %409

409:                                              ; preds = %405, %401
  call void @llvm.lifetime.end.p0(i64 16, ptr %64) #6
  br label %410

410:                                              ; preds = %409, %397
  call void @llvm.lifetime.end.p0(i64 32, ptr %63) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %57) #6
  br label %411

411:                                              ; preds = %410, %393
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #6
  br label %412

412:                                              ; preds = %411, %389
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %60) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %58) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %57) #6
  br label %545

413:                                              ; preds = %372, %360, %359, %357, %341
  %414 = landingpad { ptr, i32 }
          cleanup
  %415 = extractvalue { ptr, i32 } %414, 0
  store ptr %415, ptr %8, align 8
  %416 = extractvalue { ptr, i32 } %414, 1
  store i32 %416, ptr %9, align 4
  br label %436

417:                                              ; preds = %361
  %418 = landingpad { ptr, i32 }
          cleanup
  %419 = extractvalue { ptr, i32 } %418, 0
  store ptr %419, ptr %8, align 8
  %420 = extractvalue { ptr, i32 } %418, 1
  store i32 %420, ptr %9, align 4
  br label %435

421:                                              ; preds = %364
  %422 = landingpad { ptr, i32 }
          cleanup
  %423 = extractvalue { ptr, i32 } %422, 0
  store ptr %423, ptr %8, align 8
  %424 = extractvalue { ptr, i32 } %422, 1
  store i32 %424, ptr %9, align 4
  br label %434

425:                                              ; preds = %367, %366
  %426 = landingpad { ptr, i32 }
          cleanup
  %427 = extractvalue { ptr, i32 } %426, 0
  store ptr %427, ptr %8, align 8
  %428 = extractvalue { ptr, i32 } %426, 1
  store i32 %428, ptr %9, align 4
  br label %433

429:                                              ; preds = %369, %368
  %430 = landingpad { ptr, i32 }
          cleanup
  %431 = extractvalue { ptr, i32 } %430, 0
  store ptr %431, ptr %8, align 8
  %432 = extractvalue { ptr, i32 } %430, 1
  store i32 %432, ptr %9, align 4
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %73) #6
  br label %433

433:                                              ; preds = %429, %425
  call void @llvm.lifetime.end.p0(i64 16, ptr %74) #6
  br label %434

434:                                              ; preds = %433, %421
  call void @llvm.lifetime.end.p0(i64 32, ptr %73) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %72) #6
  br label %435

435:                                              ; preds = %434, %417
  call void @llvm.lifetime.end.p0(i64 24, ptr %72) #6
  br label %436

436:                                              ; preds = %435, %413
  call void @llvm.lifetime.end.p0(i64 1, ptr %66) #6
  br label %545

437:                                              ; preds = %375, %337
  call void @llvm.lifetime.start.p0(i64 24, ptr %76) #6
  %438 = load i64, ptr %10, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 32, ptr %77) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %78) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %78) #6
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %77, ptr noundef @.str.411, ptr noundef nonnull align 1 dereferenceable(1) %78)
          to label %439 unwind label %483

439:                                              ; preds = %437
  invoke void @_ZNK7mjolnir8Topology20list_adjacent_withinEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind writable sret(%"class.std::vector.7") align 8 %76, ptr noundef nonnull align 8 dereferenceable(32) %4, i64 noundef %438, i64 noundef 3, ptr noundef nonnull align 8 dereferenceable(32) %77)
          to label %440 unwind label %487

440:                                              ; preds = %439
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %77) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %78) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %78) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %77) #6
  br label %441

441:                                              ; preds = %459, %440
  %442 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %79, ptr noundef @.str.401, i64 noundef 79)
          to label %443 unwind label %492

443:                                              ; preds = %441
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %80)
          to label %444 unwind label %492

444:                                              ; preds = %443
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %442, ptr noundef %79, i64 noundef 66, ptr noundef %80)
          to label %445 unwind label %492

445:                                              ; preds = %444
  call void @llvm.lifetime.start.p0(i64 24, ptr %81) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %82) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %83) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %84) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %85) #6
  %446 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %76) #6
  store i64 %446, ptr %85, align 8, !tbaa !9
  invoke void @_ZNK5boost10test_tools9assertion4seedpmImEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr.327") align 8 %83, ptr noundef nonnull align 1 dereferenceable(1) %84, ptr noundef nonnull align 8 dereferenceable(8) %85)
          to label %447 unwind label %496

447:                                              ; preds = %445
  call void @llvm.lifetime.start.p0(i64 4, ptr %86) #6
  store i32 1, ptr %86, align 4, !tbaa !14
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqIjEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr.325") align 8 %82, ptr noundef nonnull align 1 dereferenceable(1) %83, ptr noundef nonnull align 4 dereferenceable(4) %86)
          to label %448 unwind label %500

448:                                              ; preds = %447
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEjNS1_2op2EQImjvEEE8evaluateEb(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %81, ptr noundef nonnull align 8 dereferenceable(12) %82, i1 noundef zeroext false)
          to label %449 unwind label %500

449:                                              ; preds = %448
  call void @llvm.lifetime.start.p0(i64 32, ptr %87) #6
  %450 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %451 unwind label %504

451:                                              ; preds = %449
  call void @llvm.lifetime.start.p0(i64 16, ptr %88) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %88, ptr noundef @.str.412, i64 noundef 19)
          to label %452 unwind label %508

452:                                              ; preds = %451
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %87, ptr noundef nonnull align 8 dereferenceable(9) %450, ptr noundef nonnull align 8 dereferenceable(16) %88)
          to label %453 unwind label %508

453:                                              ; preds = %452
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %89, ptr noundef @.str.401, i64 noundef 79)
          to label %454 unwind label %512

454:                                              ; preds = %453
  %455 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %81, ptr noundef nonnull align 8 dereferenceable(9) %87, ptr noundef %89, i64 noundef 66, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %456 unwind label %512

456:                                              ; preds = %454
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %87) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %88) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %87) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %81) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %86) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %84) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %83) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %82) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %81) #6
  br label %457

457:                                              ; preds = %456
  %458 = invoke noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
          to label %459 unwind label %492

459:                                              ; preds = %457
  br i1 %458, label %441, label %460, !llvm.loop !24

460:                                              ; preds = %459
  %461 = call noundef zeroext i1 @_ZNKSt6vectorImSaImEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %76) #6
  br i1 %461, label %539, label %462

462:                                              ; preds = %460
  br label %463

463:                                              ; preds = %481, %462
  %464 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %90, ptr noundef @.str.401, i64 noundef 79)
          to label %465 unwind label %492

465:                                              ; preds = %463
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %91)
          to label %466 unwind label %492

466:                                              ; preds = %465
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %464, ptr noundef %90, i64 noundef 69, ptr noundef %91)
          to label %467 unwind label %492

467:                                              ; preds = %466
  call void @llvm.lifetime.start.p0(i64 24, ptr %92) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %93) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %94) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %95) #6
  %468 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorImSaImEE5frontEv(ptr noundef nonnull align 8 dereferenceable(24) %76) #6
  invoke void @_ZNK5boost10test_tools9assertion4seedpmIRKmEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr") align 8 %94, ptr noundef nonnull align 1 dereferenceable(1) %95, ptr noundef nonnull align 8 dereferenceable(8) %468)
          to label %469 unwind label %520

469:                                              ; preds = %467
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKmEEmEeqIRmEENS1_11binary_exprIS6_T_NS1_2op2EQImNS7_4RhsTISB_E4typeEvEEEEOSB_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr.332") align 8 %93, ptr noundef nonnull align 1 dereferenceable(1) %94, ptr noundef nonnull align 8 dereferenceable(8) %10)
          to label %470 unwind label %520

470:                                              ; preds = %469
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKmEERmNS1_2op2EQImmvEEE8evaluateEb(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %92, ptr noundef nonnull align 8 dereferenceable(16) %93, i1 noundef zeroext false)
          to label %471 unwind label %520

471:                                              ; preds = %470
  call void @llvm.lifetime.start.p0(i64 32, ptr %96) #6
  %472 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %473 unwind label %524

473:                                              ; preds = %471
  call void @llvm.lifetime.start.p0(i64 16, ptr %97) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %97, ptr noundef @.str.413, i64 noundef 19)
          to label %474 unwind label %528

474:                                              ; preds = %473
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %96, ptr noundef nonnull align 8 dereferenceable(9) %472, ptr noundef nonnull align 8 dereferenceable(16) %97)
          to label %475 unwind label %528

475:                                              ; preds = %474
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %98, ptr noundef @.str.401, i64 noundef 79)
          to label %476 unwind label %532

476:                                              ; preds = %475
  %477 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %92, ptr noundef nonnull align 8 dereferenceable(9) %96, ptr noundef %98, i64 noundef 69, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %478 unwind label %532

478:                                              ; preds = %476
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %96) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %97) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %96) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %92) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %95) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %94) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %93) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %92) #6
  br label %479

479:                                              ; preds = %478
  %480 = invoke noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
          to label %481 unwind label %492

481:                                              ; preds = %479
  br i1 %480, label %463, label %482, !llvm.loop !25

482:                                              ; preds = %481
  br label %539

483:                                              ; preds = %437
  %484 = landingpad { ptr, i32 }
          cleanup
  %485 = extractvalue { ptr, i32 } %484, 0
  store ptr %485, ptr %8, align 8
  %486 = extractvalue { ptr, i32 } %484, 1
  store i32 %486, ptr %9, align 4
  br label %491

487:                                              ; preds = %439
  %488 = landingpad { ptr, i32 }
          cleanup
  %489 = extractvalue { ptr, i32 } %488, 0
  store ptr %489, ptr %8, align 8
  %490 = extractvalue { ptr, i32 } %488, 1
  store i32 %490, ptr %9, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %77) #6
  br label %491

491:                                              ; preds = %487, %483
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %78) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %78) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %77) #6
  br label %544

492:                                              ; preds = %479, %466, %465, %463, %457, %444, %443, %441
  %493 = landingpad { ptr, i32 }
          cleanup
  %494 = extractvalue { ptr, i32 } %493, 0
  store ptr %494, ptr %8, align 8
  %495 = extractvalue { ptr, i32 } %493, 1
  store i32 %495, ptr %9, align 4
  br label %543

496:                                              ; preds = %445
  %497 = landingpad { ptr, i32 }
          cleanup
  %498 = extractvalue { ptr, i32 } %497, 0
  store ptr %498, ptr %8, align 8
  %499 = extractvalue { ptr, i32 } %497, 1
  store i32 %499, ptr %9, align 4
  br label %519

500:                                              ; preds = %448, %447
  %501 = landingpad { ptr, i32 }
          cleanup
  %502 = extractvalue { ptr, i32 } %501, 0
  store ptr %502, ptr %8, align 8
  %503 = extractvalue { ptr, i32 } %501, 1
  store i32 %503, ptr %9, align 4
  br label %518

504:                                              ; preds = %449
  %505 = landingpad { ptr, i32 }
          cleanup
  %506 = extractvalue { ptr, i32 } %505, 0
  store ptr %506, ptr %8, align 8
  %507 = extractvalue { ptr, i32 } %505, 1
  store i32 %507, ptr %9, align 4
  br label %517

508:                                              ; preds = %452, %451
  %509 = landingpad { ptr, i32 }
          cleanup
  %510 = extractvalue { ptr, i32 } %509, 0
  store ptr %510, ptr %8, align 8
  %511 = extractvalue { ptr, i32 } %509, 1
  store i32 %511, ptr %9, align 4
  br label %516

512:                                              ; preds = %454, %453
  %513 = landingpad { ptr, i32 }
          cleanup
  %514 = extractvalue { ptr, i32 } %513, 0
  store ptr %514, ptr %8, align 8
  %515 = extractvalue { ptr, i32 } %513, 1
  store i32 %515, ptr %9, align 4
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %87) #6
  br label %516

516:                                              ; preds = %512, %508
  call void @llvm.lifetime.end.p0(i64 16, ptr %88) #6
  br label %517

517:                                              ; preds = %516, %504
  call void @llvm.lifetime.end.p0(i64 32, ptr %87) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %81) #6
  br label %518

518:                                              ; preds = %517, %500
  call void @llvm.lifetime.end.p0(i64 4, ptr %86) #6
  br label %519

519:                                              ; preds = %518, %496
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %84) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %83) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %82) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %81) #6
  br label %543

520:                                              ; preds = %470, %469, %467
  %521 = landingpad { ptr, i32 }
          cleanup
  %522 = extractvalue { ptr, i32 } %521, 0
  store ptr %522, ptr %8, align 8
  %523 = extractvalue { ptr, i32 } %521, 1
  store i32 %523, ptr %9, align 4
  br label %538

524:                                              ; preds = %471
  %525 = landingpad { ptr, i32 }
          cleanup
  %526 = extractvalue { ptr, i32 } %525, 0
  store ptr %526, ptr %8, align 8
  %527 = extractvalue { ptr, i32 } %525, 1
  store i32 %527, ptr %9, align 4
  br label %537

528:                                              ; preds = %474, %473
  %529 = landingpad { ptr, i32 }
          cleanup
  %530 = extractvalue { ptr, i32 } %529, 0
  store ptr %530, ptr %8, align 8
  %531 = extractvalue { ptr, i32 } %529, 1
  store i32 %531, ptr %9, align 4
  br label %536

532:                                              ; preds = %476, %475
  %533 = landingpad { ptr, i32 }
          cleanup
  %534 = extractvalue { ptr, i32 } %533, 0
  store ptr %534, ptr %8, align 8
  %535 = extractvalue { ptr, i32 } %533, 1
  store i32 %535, ptr %9, align 4
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %96) #6
  br label %536

536:                                              ; preds = %532, %528
  call void @llvm.lifetime.end.p0(i64 16, ptr %97) #6
  br label %537

537:                                              ; preds = %536, %524
  call void @llvm.lifetime.end.p0(i64 32, ptr %96) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %92) #6
  br label %538

538:                                              ; preds = %537, %520
  call void @llvm.lifetime.end.p0(i64 1, ptr %95) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %94) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %93) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %92) #6
  br label %543

539:                                              ; preds = %482, %460
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %76) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %76) #6
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %52) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %52) #6
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #6
  br label %540

540:                                              ; preds = %539
  %541 = load i64, ptr %10, align 8, !tbaa !9
  %542 = add i64 %541, 1
  store i64 %542, ptr %10, align 8, !tbaa !9
  br label %125, !llvm.loop !26

543:                                              ; preds = %538, %519, %492
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %76) #6
  br label %544

544:                                              ; preds = %543, %491
  call void @llvm.lifetime.end.p0(i64 24, ptr %76) #6
  br label %545

545:                                              ; preds = %544, %436, %412, %385
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %52) #6
  br label %546

546:                                              ; preds = %545, %384
  call void @llvm.lifetime.end.p0(i64 24, ptr %52) #6
  br label %547

547:                                              ; preds = %546, %312, %285, %255
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #6
  br label %548

548:                                              ; preds = %547, %151
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #6
  br label %550

549:                                              ; preds = %129
  call void @_ZN7mjolnir8TopologyD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  ret void

550:                                              ; preds = %548, %123
  call void @_ZN7mjolnir8TopologyD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  br label %551

551:                                              ; preds = %550
  %552 = load ptr, ptr %8, align 8
  %553 = load i32, ptr %9, align 4
  %554 = insertvalue { ptr, i32 } poison, ptr %552, 0
  %555 = insertvalue { ptr, i32 } %554, i32 %553, 1
  resume { ptr, i32 } %555
}

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion4seedpmIRKmEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::value_expr") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKmEEmEltIRmEENS1_11binary_exprIS6_T_NS1_2op2LTImNS7_4RhsTISB_E4typeEvEEEEOSB_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKmEERmNS1_2op2LTImmvEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(16), i1 noundef zeroext) #2 align 2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.abs.i32(i32, i1 immarg) #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion4seedpmIRKiEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::value_expr.323") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 4 dereferenceable(4)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKiEEiEleIiEENS1_11binary_exprIS6_T_NS1_2op2LEIiNS7_4RhsTISA_E4typeEvEEEEOSA_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr.321") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 4 dereferenceable(4)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKiEEiNS1_2op2LEIiivEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(12), i1 noundef zeroext) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion4seedpmImEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::value_expr.327") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqIjEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr.325") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 4 dereferenceable(4)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEjNS1_2op2EQImjvEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(12), i1 noundef zeroext) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqImEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr.330") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEmNS1_2op2EQImmvEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(16), i1 noundef zeroext) #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZSt14is_permutationIN9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEES7_EbT_S8_T0_(ptr, ptr, ptr) #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt6vectorImSaImEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24)) #1 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKmEEmEeqIRmEENS1_11binary_exprIS6_T_NS1_2op2EQImNS7_4RhsTISB_E4typeEvEEEEOSB_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr.332") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKmEERmNS1_2op2EQImmvEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(16), i1 noundef zeroext) #2 align 2

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

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

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

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


; 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::vector.7" = type { %"struct.std::_Vector_base.8" }
%"struct.std::_Vector_base.8" = type { %"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.boost::unit_test::lazy_ostream_impl.319" = type { %"class.boost::unit_test::lazy_ostream.base", ptr, ptr }
%"class.boost::unit_test::lazy_ostream.base" = type <{ ptr, i8 }>
%"class.mjolnir::Topology" = type { i64, %"class.std::vector.314" }
%"class.std::vector.314" = type { %"struct.std::_Vector_base.315" }
%"struct.std::_Vector_base.315" = type { %"struct.std::_Vector_base<mjolnir::Topology::node, std::allocator<mjolnir::Topology::node>>::_Vector_impl" }
%"struct.std::_Vector_base<mjolnir::Topology::node, std::allocator<mjolnir::Topology::node>>::_Vector_impl" = type { %"struct.std::_Vector_base<mjolnir::Topology::node, std::allocator<mjolnir::Topology::node>>::_Vector_impl_data" }
%"struct.std::_Vector_base<mjolnir::Topology::node, std::allocator<mjolnir::Topology::node>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::allocator" = type { i8 }
%"class.__gnu_cxx::__normal_iterator.234" = type { ptr }
%"class.boost::unit_test::basic_cstring" = type { ptr, ptr }
%"class.boost::test_tools::assertion_result" = type { %"class.boost::test_tools::assertion_result::readonly_property65", %"class.boost::shared_ptr.225" }
%"class.boost::test_tools::assertion_result::readonly_property65" = type { %"class.boost::unit_test::readonly_property.213" }
%"class.boost::unit_test::readonly_property.213" = type { %"class.boost::unit_test::class_property.98" }
%"class.boost::unit_test::class_property.98" = type { i8 }
%"class.boost::shared_ptr.225" = type { ptr, %"class.boost::detail::shared_count" }
%"class.boost::detail::shared_count" = type { ptr }
%"class.boost::test_tools::assertion::binary_expr" = type { %"class.boost::test_tools::assertion::value_expr", ptr }
%"class.boost::test_tools::assertion::value_expr" = type { ptr }
%"class.boost::test_tools::assertion::seed" = type { i8 }
%"class.boost::test_tools::assertion::binary_expr.321" = type <{ %"class.boost::test_tools::assertion::value_expr.323", i32, [4 x i8] }>
%"class.boost::test_tools::assertion::value_expr.323" = type { ptr }
%"class.boost::test_tools::assertion::binary_expr.325" = type <{ %"class.boost::test_tools::assertion::value_expr.327", i32, [4 x i8] }>
%"class.boost::test_tools::assertion::value_expr.327" = type { i64 }
%"class.boost::test_tools::assertion::binary_expr.330" = type { %"class.boost::test_tools::assertion::value_expr.327", i64 }
%"class.boost::test_tools::assertion::binary_expr.332" = type { %"class.boost::test_tools::assertion::value_expr", ptr }

@_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE = external hidden local_unnamed_addr global ptr, align 8
@.str.401 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.402 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.406 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.407 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.408 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.409 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.410 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.411 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.412 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.413 = external hidden unnamed_addr constant [20 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(9), ptr noundef, i64 noundef, i32 noundef, i32 noundef, i64 noundef, ...) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools16assertion_resultC2Eb(ptr noundef nonnull align 8 dereferenceable(24), i1 noundef zeroext) unnamed_addr #2 align 2

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7mjolnir8TopologyC2Em(ptr noundef nonnull align 8 dereferenceable(32), i64 noundef) unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN7mjolnir8Topology14add_connectionEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32), i64 noundef, i64 noundef, ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZNK7mjolnir8Topology20list_adjacent_withinEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind noalias writable sret(%"class.std::vector.7") align 8, ptr noundef nonnull align 8 dereferenceable(32), i64 noundef, i64 noundef, ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind noalias writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8, ptr noundef nonnull align 8 dereferenceable(9), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #4

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv() local_unnamed_addr #3

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN20topology_list_within11test_methodEv(ptr nocapture noundef nonnull readnone align 1 dereferenceable(1) %0) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
.lr.ph.preheader:
  %1 = alloca i64, align 8
  %2 = alloca %"class.mjolnir::Topology", align 8
  %3 = alloca %"class.std::__cxx11::basic_string", align 8
  %4 = alloca %"class.std::allocator", align 1
  %5 = alloca i64, align 8
  %6 = alloca %"class.std::vector.7", align 8
  %7 = alloca %"class.std::__cxx11::basic_string", align 8
  %8 = alloca %"class.std::allocator", align 1
  %9 = alloca %"class.__gnu_cxx::__normal_iterator.234", align 8
  %10 = alloca %"class.__gnu_cxx::__normal_iterator.234", align 8
  %11 = alloca i64, align 8
  %12 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %13 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %14 = alloca %"class.boost::test_tools::assertion_result", align 8
  %15 = alloca %"class.boost::test_tools::assertion::binary_expr", align 8
  %16 = alloca %"class.boost::test_tools::assertion::value_expr", align 8
  %17 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %18 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %19 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %20 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %21 = alloca i32, align 4
  %22 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %23 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %24 = alloca %"class.boost::test_tools::assertion_result", align 8
  %25 = alloca %"class.boost::test_tools::assertion::binary_expr.321", align 8
  %26 = alloca %"class.boost::test_tools::assertion::value_expr.323", align 8
  %27 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %28 = alloca i32, align 4
  %29 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %30 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %31 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %32 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %33 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %34 = alloca %"class.boost::test_tools::assertion_result", align 8
  %35 = alloca %"class.boost::test_tools::assertion::binary_expr.325", align 8
  %36 = alloca %"class.boost::test_tools::assertion::value_expr.327", align 8
  %37 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %38 = alloca i64, align 8
  %39 = alloca i32, align 4
  %40 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %41 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %42 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %43 = alloca %"class.std::vector.7", align 8
  %44 = alloca %"class.std::__cxx11::basic_string", align 8
  %45 = alloca %"class.std::allocator", align 1
  %46 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %47 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %48 = alloca %"class.boost::test_tools::assertion_result", align 8
  %49 = alloca %"class.boost::test_tools::assertion::binary_expr.330", align 8
  %50 = alloca %"class.boost::test_tools::assertion::value_expr.327", align 8
  %51 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %52 = alloca i64, align 8
  %53 = alloca i64, align 8
  %54 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %55 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %56 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %57 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %58 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %59 = alloca %"class.boost::test_tools::assertion_result", align 8
  %60 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %61 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %62 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %63 = alloca %"class.std::vector.7", align 8
  %64 = alloca %"class.std::__cxx11::basic_string", align 8
  %65 = alloca %"class.std::allocator", align 1
  %66 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %67 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %68 = alloca %"class.boost::test_tools::assertion_result", align 8
  %69 = alloca %"class.boost::test_tools::assertion::binary_expr.325", align 8
  %70 = alloca %"class.boost::test_tools::assertion::value_expr.327", align 8
  %71 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %72 = alloca i64, align 8
  %73 = alloca i32, align 4
  %74 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %75 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %76 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %77 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %78 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %79 = alloca %"class.boost::test_tools::assertion_result", align 8
  %80 = alloca %"class.boost::test_tools::assertion::binary_expr.332", align 8
  %81 = alloca %"class.boost::test_tools::assertion::value_expr", align 8
  %82 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %83 = alloca %"class.boost::unit_test::lazy_ostream_impl.319", align 8
  %84 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %85 = alloca %"class.boost::unit_test::basic_cstring", align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #6
  store i64 100, ptr %1, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %2) #6
  call void @_ZN7mjolnir8TopologyC2Em(ptr noundef nonnull align 8 dereferenceable(32) %2, i64 noundef 100)
  br label %.lr.ph

._crit_edge:                                      ; preds = %88
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #6
  store i64 0, ptr %5, align 8, !tbaa !5
  %.not108 = icmp eq i64 %89, 0
  br i1 %.not108, label %._crit_edge106, label %.lr.ph105

.lr.ph:                                           ; preds = %.lr.ph.preheader, %88
  %.099 = phi i64 [ %86, %88 ], [ 0, %.lr.ph.preheader ]
  %86 = add nuw i64 %.099, 1
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %3) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %4) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #6
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull @.str.402, ptr noundef nonnull align 1 dereferenceable(1) %4)
          to label %87 unwind label %92

87:                                               ; preds = %.lr.ph
  invoke void @_ZN7mjolnir8Topology14add_connectionEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %2, i64 noundef %.099, i64 noundef %86, ptr noundef nonnull align 8 dereferenceable(32) %3)
          to label %88 unwind label %94

88:                                               ; preds = %87
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #6
  %89 = load i64, ptr %1, align 8, !tbaa !5
  %90 = add i64 %89, -1
  %91 = icmp ult i64 %86, %90
  br i1 %91, label %.lr.ph, label %._crit_edge, !llvm.loop !9

92:                                               ; preds = %.lr.ph
  %93 = landingpad { ptr, i32 }
          cleanup
  br label %96

94:                                               ; preds = %87
  %95 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #6
  br label %96

96:                                               ; preds = %94, %92
  %.pn86 = phi { ptr, i32 } [ %95, %94 ], [ %93, %92 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #6
  br label %316

._crit_edge106:                                   ; preds = %.loopexit89, %._crit_edge
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #6
  call void @_ZN7mjolnir8TopologyD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %2) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %2) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #6
  ret void

.lr.ph105:                                        ; preds = %._crit_edge, %.loopexit89
  %storemerge103 = phi i64 [ %307, %.loopexit89 ], [ 0, %._crit_edge ]
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %6) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %7) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %8) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #6
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull @.str.402, ptr noundef nonnull align 1 dereferenceable(1) %8)
          to label %97 unwind label %104

97:                                               ; preds = %.lr.ph105
  invoke void @_ZNK7mjolnir8Topology20list_adjacent_withinEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.7") align 8 %6, ptr noundef nonnull align 8 dereferenceable(32) %2, i64 noundef %storemerge103, i64 noundef 3, ptr noundef nonnull align 8 dereferenceable(32) %7)
          to label %98 unwind label %106

98:                                               ; preds = %97
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #6
  %99 = call ptr @_ZNKSt6vectorImSaImEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %6) #6
  store ptr %99, ptr %9, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #6
  %100 = call ptr @_ZNKSt6vectorImSaImEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %6) #6
  store ptr %100, ptr %10, align 8
  %101 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKmSt6vectorImSaImEEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #6
  br i1 %101, label %.lr.ph101, label %._crit_edge102

._crit_edge102:                                   ; preds = %140, %98
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  %102 = load i64, ptr %5, align 8, !tbaa !5
  %103 = icmp ugt i64 %102, 3
  br i1 %103, label %168, label %.loopexit98

104:                                              ; preds = %.lr.ph105
  %105 = landingpad { ptr, i32 }
          cleanup
  br label %108

106:                                              ; preds = %97
  %107 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #6
  br label %108

108:                                              ; preds = %106, %104
  %.pn = phi { ptr, i32 } [ %107, %106 ], [ %105, %104 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #6
  br label %315

.lr.ph101:                                        ; preds = %98, %140
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #6
  %109 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  %110 = load i64, ptr %109, align 8, !tbaa !5
  store i64 %110, ptr %11, align 8, !tbaa !5
  br label %111

111:                                              ; preds = %120, %.lr.ph101
  %112 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !11
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %12, ptr noundef nonnull @.str.401, i64 noundef 79)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %13)
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %112, ptr noundef nonnull %12, i64 noundef 43, ptr noundef nonnull %13)
          to label %113 unwind label %143

113:                                              ; preds = %111
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %14) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %15) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %17) #6
  invoke void @_ZNK5boost10test_tools9assertion4seedpmIRKmEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr") align 8 %16, ptr noundef nonnull align 1 dereferenceable(1) %17, ptr noundef nonnull align 8 dereferenceable(8) %11)
          to label %114 unwind label %145

114:                                              ; preds = %113
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKmEEmEltIRmEENS1_11binary_exprIS6_T_NS1_2op2LTImNS7_4RhsTISB_E4typeEvEEEEOSB_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr") align 8 %15, ptr noundef nonnull align 1 dereferenceable(1) %16, ptr noundef nonnull align 8 dereferenceable(8) %1)
          to label %115 unwind label %145

115:                                              ; preds = %114
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKmEERmNS1_2op2LTImmvEEE8evaluateEb(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %14, ptr noundef nonnull align 8 dereferenceable(16) %15, i1 noundef zeroext false)
          to label %116 unwind label %145

116:                                              ; preds = %115
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %18) #6
  %117 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %19) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull @.str.406, i64 noundef 5)
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind nonnull writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %18, ptr noundef nonnull align 8 dereferenceable(9) %117, ptr noundef nonnull align 8 dereferenceable(16) %19)
          to label %118 unwind label %147

118:                                              ; preds = %116
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef nonnull @.str.401, i64 noundef 79)
  %119 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %14, ptr noundef nonnull align 8 dereferenceable(9) %18, ptr noundef nonnull %20, i64 noundef 43, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %120 unwind label %149

120:                                              ; preds = %118
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #6
  %121 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %121, label %111, label %122, !llvm.loop !13

122:                                              ; preds = %120
  %123 = load i64, ptr %5, align 8, !tbaa !5
  %124 = trunc i64 %123 to i32
  %125 = load i64, ptr %11, align 8, !tbaa !5
  %126 = trunc i64 %125 to i32
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %21) #6
  %127 = sub nsw i32 %124, %126
  %128 = call i32 @llvm.abs.i32(i32 %127, i1 true)
  store i32 %128, ptr %21, align 4, !tbaa !14
  br label %129

129:                                              ; preds = %138, %122
  %130 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !11
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %22, ptr noundef nonnull @.str.401, i64 noundef 79)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %23)
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %130, ptr noundef nonnull %22, i64 noundef 47, ptr noundef nonnull %23)
          to label %131 unwind label %153

131:                                              ; preds = %129
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %24) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %25) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %26) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %27) #6
  invoke void @_ZNK5boost10test_tools9assertion4seedpmIRKiEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr.323") align 8 %26, ptr noundef nonnull align 1 dereferenceable(1) %27, ptr noundef nonnull align 4 dereferenceable(4) %21)
          to label %132 unwind label %155

132:                                              ; preds = %131
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %28) #6
  store i32 3, ptr %28, align 4, !tbaa !14
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKiEEiEleIiEENS1_11binary_exprIS6_T_NS1_2op2LEIiNS7_4RhsTISA_E4typeEvEEEEOSA_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr.321") align 8 %25, ptr noundef nonnull align 1 dereferenceable(1) %26, ptr noundef nonnull align 4 dereferenceable(4) %28)
          to label %133 unwind label %157

133:                                              ; preds = %132
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKiEEiNS1_2op2LEIiivEEE8evaluateEb(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %24, ptr noundef nonnull align 8 dereferenceable(12) %25, i1 noundef zeroext false)
          to label %134 unwind label %157

134:                                              ; preds = %133
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %29) #6
  %135 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %30) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %30, ptr noundef nonnull @.str.407, i64 noundef 9)
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind nonnull writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %29, ptr noundef nonnull align 8 dereferenceable(9) %135, ptr noundef nonnull align 8 dereferenceable(16) %30)
          to label %136 unwind label %159

136:                                              ; preds = %134
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %31, ptr noundef nonnull @.str.401, i64 noundef 79)
  %137 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %24, ptr noundef nonnull align 8 dereferenceable(9) %29, ptr noundef nonnull %31, i64 noundef 47, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %138 unwind label %161

138:                                              ; preds = %136
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %30) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %29) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %28) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %27) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %25) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %24) #6
  %139 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %139, label %129, label %140, !llvm.loop !16

140:                                              ; preds = %138
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %21) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #6
  %141 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  %142 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKmSt6vectorImSaImEEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #6
  br i1 %142, label %.lr.ph101, label %._crit_edge102

143:                                              ; preds = %111
  %144 = landingpad { ptr, i32 }
          cleanup
  br label %167

145:                                              ; preds = %115, %114, %113
  %146 = landingpad { ptr, i32 }
          cleanup
  br label %152

147:                                              ; preds = %116
  %148 = landingpad { ptr, i32 }
          cleanup
  br label %151

149:                                              ; preds = %118
  %150 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #6
  br label %151

151:                                              ; preds = %149, %147
  %.pn75 = phi { ptr, i32 } [ %150, %149 ], [ %148, %147 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #6
  br label %152

152:                                              ; preds = %151, %145
  %.pn75.pn = phi { ptr, i32 } [ %.pn75, %151 ], [ %146, %145 ]
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #6
  br label %167

153:                                              ; preds = %129
  %154 = landingpad { ptr, i32 }
          cleanup
  br label %166

155:                                              ; preds = %131
  %156 = landingpad { ptr, i32 }
          cleanup
  br label %165

157:                                              ; preds = %133, %132
  %158 = landingpad { ptr, i32 }
          cleanup
  br label %164

159:                                              ; preds = %134
  %160 = landingpad { ptr, i32 }
          cleanup
  br label %163

161:                                              ; preds = %136
  %162 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #6
  br label %163

163:                                              ; preds = %161, %159
  %.pn78 = phi { ptr, i32 } [ %162, %161 ], [ %160, %159 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %30) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %29) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #6
  br label %164

164:                                              ; preds = %163, %157
  %.pn78.pn = phi { ptr, i32 } [ %.pn78, %163 ], [ %158, %157 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %28) #6
  br label %165

165:                                              ; preds = %164, %155
  %.pn78.pn.pn = phi { ptr, i32 } [ %.pn78.pn, %164 ], [ %156, %155 ]
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %27) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %25) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %24) #6
  br label %166

166:                                              ; preds = %165, %153
  %.pn78.pn.pn.pn = phi { ptr, i32 } [ %.pn78.pn.pn, %165 ], [ %154, %153 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %21) #6
  br label %167

167:                                              ; preds = %166, %152, %143
  %.pn78.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn78.pn.pn.pn, %166 ], [ %.pn75.pn, %152 ], [ %144, %143 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  br label %314

168:                                              ; preds = %._crit_edge102
  %169 = load i64, ptr %1, align 8, !tbaa !5
  %170 = add i64 %169, -4
  %.not = icmp ugt i64 %102, %170
  br i1 %.not, label %.loopexit98, label %.preheader97

.preheader97:                                     ; preds = %168, %180
  %171 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !11
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %32, ptr noundef nonnull @.str.401, i64 noundef 79)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %33)
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %171, ptr noundef nonnull %32, i64 noundef 52, ptr noundef nonnull %33)
          to label %172 unwind label %182

172:                                              ; preds = %.preheader97
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %34) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %35) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %36) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %37) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %38) #6
  %173 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %6) #6
  store i64 %173, ptr %38, align 8, !tbaa !5
  invoke void @_ZNK5boost10test_tools9assertion4seedpmImEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr.327") align 8 %36, ptr noundef nonnull align 1 dereferenceable(1) %37, ptr noundef nonnull align 8 dereferenceable(8) %38)
          to label %174 unwind label %184

174:                                              ; preds = %172
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %39) #6
  store i32 7, ptr %39, align 4, !tbaa !14
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqIjEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr.325") align 8 %35, ptr noundef nonnull align 1 dereferenceable(1) %36, ptr noundef nonnull align 4 dereferenceable(4) %39)
          to label %175 unwind label %186

175:                                              ; preds = %174
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEjNS1_2op2EQImjvEEE8evaluateEb(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %34, ptr noundef nonnull align 8 dereferenceable(12) %35, i1 noundef zeroext false)
          to label %176 unwind label %186

176:                                              ; preds = %175
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %40) #6
  %177 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %41) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %41, ptr noundef nonnull @.str.408, i64 noundef 17)
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind nonnull writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %40, ptr noundef nonnull align 8 dereferenceable(9) %177, ptr noundef nonnull align 8 dereferenceable(16) %41)
          to label %178 unwind label %188

178:                                              ; preds = %176
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %42, ptr noundef nonnull @.str.401, i64 noundef 79)
  %179 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %34, ptr noundef nonnull align 8 dereferenceable(9) %40, ptr noundef nonnull %42, i64 noundef 52, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %180 unwind label %190

180:                                              ; preds = %178
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %40) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %41) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %40) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %39) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %38) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %37) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %36) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %35) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %34) #6
  %181 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %181, label %.preheader97, label %.loopexit98.loopexit, !llvm.loop !17

182:                                              ; preds = %.preheader97
  %183 = landingpad { ptr, i32 }
          cleanup
  br label %314

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

186:                                              ; preds = %175, %174
  %187 = landingpad { ptr, i32 }
          cleanup
  br label %193

188:                                              ; preds = %176
  %189 = landingpad { ptr, i32 }
          cleanup
  br label %192

190:                                              ; preds = %178
  %191 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %40) #6
  br label %192

192:                                              ; preds = %190, %188
  %.pn48 = phi { ptr, i32 } [ %191, %190 ], [ %189, %188 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %41) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %40) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #6
  br label %193

193:                                              ; preds = %192, %186
  %.pn48.pn = phi { ptr, i32 } [ %.pn48, %192 ], [ %187, %186 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %39) #6
  br label %194

194:                                              ; preds = %193, %184
  %.pn48.pn.pn = phi { ptr, i32 } [ %.pn48.pn, %193 ], [ %185, %184 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %38) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %37) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %36) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %35) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %34) #6
  br label %314

.loopexit98.loopexit:                             ; preds = %180
  %.pre = load i64, ptr %5, align 8, !tbaa !5
  br label %.loopexit98

.loopexit98:                                      ; preds = %.loopexit98.loopexit, %168, %._crit_edge102
  %195 = phi i64 [ %.pre, %.loopexit98.loopexit ], [ %102, %168 ], [ %102, %._crit_edge102 ]
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %43) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %44) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %45) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %45) #6
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %44, ptr noundef nonnull @.str.402, ptr noundef nonnull align 1 dereferenceable(1) %45)
          to label %196 unwind label %228

196:                                              ; preds = %.loopexit98
  invoke void @_ZNK7mjolnir8Topology20list_adjacent_withinEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.7") align 8 %43, ptr noundef nonnull align 8 dereferenceable(32) %2, i64 noundef %195, i64 noundef 3, ptr noundef nonnull align 8 dereferenceable(32) %44)
          to label %197 unwind label %230

197:                                              ; preds = %196
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %45) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %45) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %44) #6
  br label %198

198:                                              ; preds = %209, %197
  %199 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !11
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %46, ptr noundef nonnull @.str.401, i64 noundef 79)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %47)
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %199, ptr noundef nonnull %46, i64 noundef 56, ptr noundef nonnull %47)
          to label %200 unwind label %233

200:                                              ; preds = %198
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %48) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %49) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %50) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %51) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %52) #6
  %201 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %6) #6
  store i64 %201, ptr %52, align 8, !tbaa !5
  invoke void @_ZNK5boost10test_tools9assertion4seedpmImEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr.327") align 8 %50, ptr noundef nonnull align 1 dereferenceable(1) %51, ptr noundef nonnull align 8 dereferenceable(8) %52)
          to label %202 unwind label %235

202:                                              ; preds = %200
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %53) #6
  %203 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %43) #6
  store i64 %203, ptr %53, align 8, !tbaa !5
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqImEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr.330") align 8 %49, ptr noundef nonnull align 1 dereferenceable(1) %50, ptr noundef nonnull align 8 dereferenceable(8) %53)
          to label %204 unwind label %237

204:                                              ; preds = %202
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEmNS1_2op2EQImmvEEE8evaluateEb(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %48, ptr noundef nonnull align 8 dereferenceable(16) %49, i1 noundef zeroext false)
          to label %205 unwind label %237

205:                                              ; preds = %204
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %54) #6
  %206 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %55) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %55, ptr noundef nonnull @.str.409, i64 noundef 28)
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind nonnull writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %54, ptr noundef nonnull align 8 dereferenceable(9) %206, ptr noundef nonnull align 8 dereferenceable(16) %55)
          to label %207 unwind label %239

207:                                              ; preds = %205
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %56, ptr noundef nonnull @.str.401, i64 noundef 79)
  %208 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %48, ptr noundef nonnull align 8 dereferenceable(9) %54, ptr noundef nonnull %56, i64 noundef 56, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %209 unwind label %241

209:                                              ; preds = %207
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %55) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %54) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %48) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %53) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %52) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %51) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %50) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %49) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %48) #6
  %210 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %210, label %198, label %211, !llvm.loop !18

211:                                              ; preds = %209
  %212 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %6) #6
  %213 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %43) #6
  %214 = icmp eq i64 %212, %213
  br i1 %214, label %215, label %.loopexit96

215:                                              ; preds = %211
  %216 = call ptr @_ZNKSt6vectorImSaImEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %6) #6
  %217 = call ptr @_ZNKSt6vectorImSaImEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %6) #6
  %218 = call ptr @_ZNKSt6vectorImSaImEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %43) #6
  %219 = invoke noundef zeroext i1 @_ZSt14is_permutationIN9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEES7_EbT_S8_T0_(ptr %216, ptr %217, ptr %218)
          to label %.preheader90 unwind label %.loopexit.split-lp92

.preheader90:                                     ; preds = %215, %226
  %220 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !11
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull @.str.401, i64 noundef 79)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %58)
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %220, ptr noundef nonnull %57, i64 noundef 62, ptr noundef nonnull %58)
          to label %221 unwind label %.loopexit91

221:                                              ; preds = %.preheader90
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %59) #6
  invoke void @_ZN5boost10test_tools16assertion_resultC2Eb(ptr noundef nonnull align 8 dereferenceable(24) %59, i1 noundef zeroext %219)
          to label %222 unwind label %246

222:                                              ; preds = %221
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %60) #6
  %223 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %61) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %61, ptr noundef nonnull @.str.410, i64 noundef 23)
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind nonnull writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %60, ptr noundef nonnull align 8 dereferenceable(9) %223, ptr noundef nonnull align 8 dereferenceable(16) %61)
          to label %224 unwind label %248

224:                                              ; preds = %222
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %62, ptr noundef nonnull @.str.401, i64 noundef 79)
  %225 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %59, ptr noundef nonnull align 8 dereferenceable(9) %60, ptr noundef nonnull %62, i64 noundef 62, i32 noundef 1, i32 noundef 0, i64 noundef 0)
          to label %226 unwind label %250

226:                                              ; preds = %224
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %60) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %61) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %60) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %59) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %59) #6
  %227 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %227, label %.preheader90, label %.loopexit96, !llvm.loop !19

228:                                              ; preds = %.loopexit98
  %229 = landingpad { ptr, i32 }
          cleanup
  br label %232

230:                                              ; preds = %196
  %231 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #6
  br label %232

232:                                              ; preds = %230, %228
  %.pn52 = phi { ptr, i32 } [ %231, %230 ], [ %229, %228 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %45) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %45) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %44) #6
  br label %313

233:                                              ; preds = %198
  %234 = landingpad { ptr, i32 }
          cleanup
  br label %312

235:                                              ; preds = %200
  %236 = landingpad { ptr, i32 }
          cleanup
  br label %245

237:                                              ; preds = %204, %202
  %238 = landingpad { ptr, i32 }
          cleanup
  br label %244

239:                                              ; preds = %205
  %240 = landingpad { ptr, i32 }
          cleanup
  br label %243

241:                                              ; preds = %207
  %242 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #6
  br label %243

243:                                              ; preds = %241, %239
  %.pn54 = phi { ptr, i32 } [ %242, %241 ], [ %240, %239 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %55) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %54) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %48) #6
  br label %244

244:                                              ; preds = %243, %237
  %.pn54.pn = phi { ptr, i32 } [ %.pn54, %243 ], [ %238, %237 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %53) #6
  br label %245

245:                                              ; preds = %244, %235
  %.pn54.pn.pn = phi { ptr, i32 } [ %.pn54.pn, %244 ], [ %236, %235 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %52) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %51) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %50) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %49) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %48) #6
  br label %312

.loopexit91:                                      ; preds = %.preheader90
  %lpad.loopexit93 = landingpad { ptr, i32 }
          cleanup
  br label %312

.loopexit.split-lp92:                             ; preds = %215
  %lpad.loopexit.split-lp94 = landingpad { ptr, i32 }
          cleanup
  br label %312

246:                                              ; preds = %221
  %247 = landingpad { ptr, i32 }
          cleanup
  br label %253

248:                                              ; preds = %222
  %249 = landingpad { ptr, i32 }
          cleanup
  br label %252

250:                                              ; preds = %224
  %251 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %60) #6
  br label %252

252:                                              ; preds = %250, %248
  %.pn58 = phi { ptr, i32 } [ %251, %250 ], [ %249, %248 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %61) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %60) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %59) #6
  br label %253

253:                                              ; preds = %252, %246
  %.pn58.pn = phi { ptr, i32 } [ %.pn58, %252 ], [ %247, %246 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %59) #6
  br label %312

.loopexit96:                                      ; preds = %226, %211
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %63) #6
  %254 = load i64, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %64) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %65) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %65) #6
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %64, ptr noundef nonnull @.str.411, ptr noundef nonnull align 1 dereferenceable(1) %65)
          to label %255 unwind label %282

255:                                              ; preds = %.loopexit96
  invoke void @_ZNK7mjolnir8Topology20list_adjacent_withinEmmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.7") align 8 %63, ptr noundef nonnull align 8 dereferenceable(32) %2, i64 noundef %254, i64 noundef 3, ptr noundef nonnull align 8 dereferenceable(32) %64)
          to label %256 unwind label %284

256:                                              ; preds = %255
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %64) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %65) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %65) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %64) #6
  br label %257

257:                                              ; preds = %267, %256
  %258 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !11
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %66, ptr noundef nonnull @.str.401, i64 noundef 79)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %67)
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %258, ptr noundef nonnull %66, i64 noundef 66, ptr noundef nonnull %67)
          to label %259 unwind label %.loopexit.split-lp

259:                                              ; preds = %257
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %68) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %69) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %70) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %71) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %72) #6
  %260 = call noundef i64 @_ZNKSt6vectorImSaImEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %63) #6
  store i64 %260, ptr %72, align 8, !tbaa !5
  invoke void @_ZNK5boost10test_tools9assertion4seedpmImEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr.327") align 8 %70, ptr noundef nonnull align 1 dereferenceable(1) %71, ptr noundef nonnull align 8 dereferenceable(8) %72)
          to label %261 unwind label %287

261:                                              ; preds = %259
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %73) #6
  store i32 1, ptr %73, align 4, !tbaa !14
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqIjEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr.325") align 8 %69, ptr noundef nonnull align 1 dereferenceable(1) %70, ptr noundef nonnull align 4 dereferenceable(4) %73)
          to label %262 unwind label %289

262:                                              ; preds = %261
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEjNS1_2op2EQImjvEEE8evaluateEb(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %68, ptr noundef nonnull align 8 dereferenceable(12) %69, i1 noundef zeroext false)
          to label %263 unwind label %289

263:                                              ; preds = %262
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %74) #6
  %264 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %75) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %75, ptr noundef nonnull @.str.412, i64 noundef 19)
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind nonnull writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %74, ptr noundef nonnull align 8 dereferenceable(9) %264, ptr noundef nonnull align 8 dereferenceable(16) %75)
          to label %265 unwind label %291

265:                                              ; preds = %263
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %76, ptr noundef nonnull @.str.401, i64 noundef 79)
  %266 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %68, ptr noundef nonnull align 8 dereferenceable(9) %74, ptr noundef nonnull %76, i64 noundef 66, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %267 unwind label %293

267:                                              ; preds = %265
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %75) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %74) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %68) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %73) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %72) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %71) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %70) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %69) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %68) #6
  %268 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %268, label %257, label %269, !llvm.loop !20

269:                                              ; preds = %267
  %270 = call noundef zeroext i1 @_ZNKSt6vectorImSaImEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %63) #6
  br i1 %270, label %.loopexit89, label %.preheader

.preheader:                                       ; preds = %269, %280
  %271 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !11
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %77, ptr noundef nonnull @.str.401, i64 noundef 79)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %78)
  invoke void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %271, ptr noundef nonnull %77, i64 noundef 69, ptr noundef nonnull %78)
          to label %272 unwind label %.loopexit

272:                                              ; preds = %.preheader
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %79) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %80) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %81) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %82) #6
  %273 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorImSaImEE5frontEv(ptr noundef nonnull align 8 dereferenceable(24) %63) #6
  invoke void @_ZNK5boost10test_tools9assertion4seedpmIRKmEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr") align 8 %81, ptr noundef nonnull align 1 dereferenceable(1) %82, ptr noundef nonnull align 8 dereferenceable(8) %273)
          to label %274 unwind label %298

274:                                              ; preds = %272
  invoke void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKmEEmEeqIRmEENS1_11binary_exprIS6_T_NS1_2op2EQImNS7_4RhsTISB_E4typeEvEEEEOSB_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr.332") align 8 %80, ptr noundef nonnull align 1 dereferenceable(1) %81, ptr noundef nonnull align 8 dereferenceable(8) %5)
          to label %275 unwind label %298

275:                                              ; preds = %274
  invoke void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKmEERmNS1_2op2EQImmvEEE8evaluateEb(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %79, ptr noundef nonnull align 8 dereferenceable(16) %80, i1 noundef zeroext false)
          to label %276 unwind label %298

276:                                              ; preds = %275
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %83) #6
  %277 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %84) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %84, ptr noundef nonnull @.str.413, i64 noundef 19)
  invoke void @_ZN5boost9unit_testlsINS0_13basic_cstringIKcEEEENS0_17lazy_ostream_implINS0_12lazy_ostreamET_RKS7_EERKS6_S9_(ptr dead_on_unwind nonnull writable sret(%"class.boost::unit_test::lazy_ostream_impl.319") align 8 %83, ptr noundef nonnull align 8 dereferenceable(9) %277, ptr noundef nonnull align 8 dereferenceable(16) %84)
          to label %278 unwind label %300

278:                                              ; preds = %276
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %85, ptr noundef nonnull @.str.401, i64 noundef 79)
  %279 = invoke noundef zeroext i1 (ptr, ptr, ptr, i64, i32, i32, i64, ...) @_ZN5boost10test_tools9tt_detail16report_assertionERKNS0_16assertion_resultERKNS_9unit_test12lazy_ostreamENS5_13basic_cstringIKcEEmNS1_10tool_levelENS1_10check_typeEmz(ptr noundef nonnull align 8 dereferenceable(24) %79, ptr noundef nonnull align 8 dereferenceable(9) %83, ptr noundef nonnull %85, i64 noundef 69, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %280 unwind label %302

280:                                              ; preds = %278
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %83) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %84) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %83) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %79) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %82) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %81) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %80) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %79) #6
  %281 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %281, label %.preheader, label %.loopexit89, !llvm.loop !21

282:                                              ; preds = %.loopexit96
  %283 = landingpad { ptr, i32 }
          cleanup
  br label %286

284:                                              ; preds = %255
  %285 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %64) #6
  br label %286

286:                                              ; preds = %284, %282
  %.pn62 = phi { ptr, i32 } [ %285, %284 ], [ %283, %282 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %65) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %65) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %64) #6
  br label %311

.loopexit:                                        ; preds = %.preheader
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %310

.loopexit.split-lp:                               ; preds = %257
  %lpad.loopexit.split-lp = landingpad { ptr, i32 }
          cleanup
  br label %310

287:                                              ; preds = %259
  %288 = landingpad { ptr, i32 }
          cleanup
  br label %297

289:                                              ; preds = %262, %261
  %290 = landingpad { ptr, i32 }
          cleanup
  br label %296

291:                                              ; preds = %263
  %292 = landingpad { ptr, i32 }
          cleanup
  br label %295

293:                                              ; preds = %265
  %294 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #6
  br label %295

295:                                              ; preds = %293, %291
  %.pn64 = phi { ptr, i32 } [ %294, %293 ], [ %292, %291 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %75) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %74) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %68) #6
  br label %296

296:                                              ; preds = %295, %289
  %.pn64.pn = phi { ptr, i32 } [ %.pn64, %295 ], [ %290, %289 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %73) #6
  br label %297

297:                                              ; preds = %296, %287
  %.pn64.pn.pn = phi { ptr, i32 } [ %.pn64.pn, %296 ], [ %288, %287 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %72) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %71) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %70) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %69) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %68) #6
  br label %310

298:                                              ; preds = %275, %274, %272
  %299 = landingpad { ptr, i32 }
          cleanup
  br label %305

300:                                              ; preds = %276
  %301 = landingpad { ptr, i32 }
          cleanup
  br label %304

302:                                              ; preds = %278
  %303 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %83) #6
  br label %304

304:                                              ; preds = %302, %300
  %.pn68 = phi { ptr, i32 } [ %303, %302 ], [ %301, %300 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %84) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %83) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %79) #6
  br label %305

305:                                              ; preds = %304, %298
  %.pn68.pn = phi { ptr, i32 } [ %.pn68, %304 ], [ %299, %298 ]
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %82) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %81) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %80) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %79) #6
  br label %310

.loopexit89:                                      ; preds = %280, %269
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %63) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %63) #6
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %43) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %43) #6
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #6
  %306 = load i64, ptr %5, align 8, !tbaa !5
  %307 = add i64 %306, 1
  store i64 %307, ptr %5, align 8, !tbaa !5
  %308 = load i64, ptr %1, align 8, !tbaa !5
  %309 = icmp ult i64 %307, %308
  br i1 %309, label %.lr.ph105, label %._crit_edge106, !llvm.loop !22

310:                                              ; preds = %.loopexit, %.loopexit.split-lp, %305, %297
  %.pn68.pn.pn = phi { ptr, i32 } [ %.pn68.pn, %305 ], [ %.pn64.pn.pn, %297 ], [ %lpad.loopexit, %.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %63) #6
  br label %311

311:                                              ; preds = %310, %286
  %.pn68.pn.pn.pn = phi { ptr, i32 } [ %.pn68.pn.pn, %310 ], [ %.pn62, %286 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %63) #6
  br label %312

312:                                              ; preds = %.loopexit91, %.loopexit.split-lp92, %253, %311, %245, %233
  %.pn68.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn68.pn.pn.pn, %311 ], [ %.pn54.pn.pn, %245 ], [ %234, %233 ], [ %.pn58.pn, %253 ], [ %lpad.loopexit93, %.loopexit91 ], [ %lpad.loopexit.split-lp94, %.loopexit.split-lp92 ]
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %43) #6
  br label %313

313:                                              ; preds = %312, %232
  %.pn68.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn68.pn.pn.pn.pn, %312 ], [ %.pn52, %232 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %43) #6
  br label %314

314:                                              ; preds = %313, %194, %182, %167
  %.pn78.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn78.pn.pn.pn.pn, %167 ], [ %.pn68.pn.pn.pn.pn.pn, %313 ], [ %.pn48.pn.pn, %194 ], [ %183, %182 ]
  call void @_ZNSt6vectorImSaImEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %6) #6
  br label %315

315:                                              ; preds = %314, %108
  %.pn78.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn78.pn.pn.pn.pn.pn, %314 ], [ %.pn, %108 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #6
  br label %316

316:                                              ; preds = %315, %96
  %.pn86.pn = phi { ptr, i32 } [ %.pn86, %96 ], [ %.pn78.pn.pn.pn.pn.pn.pn, %315 ]
  call void @_ZN7mjolnir8TopologyD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %2) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %2) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #6
  resume { ptr, i32 } %.pn86.pn
}

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion4seedpmIRKmEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::value_expr") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKmEEmEltIRmEENS1_11binary_exprIS6_T_NS1_2op2LTImNS7_4RhsTISB_E4typeEvEEEEOSB_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKmEERmNS1_2op2LTImmvEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(16), i1 noundef zeroext) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.abs.i32(i32, i1 immarg) #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion4seedpmIRKiEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::value_expr.323") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKiEEiEleIiEENS1_11binary_exprIS6_T_NS1_2op2LEIiNS7_4RhsTISA_E4typeEvEEEEOSA_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr.321") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKiEEiNS1_2op2LEIiivEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(12), i1 noundef zeroext) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion4seedpmImEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::value_expr.327") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqIjEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr.325") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEjNS1_2op2EQImjvEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(12), i1 noundef zeroext) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprImEEmEeqImEENS1_11binary_exprIS4_T_NS1_2op2EQImNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr.330") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprImEEmNS1_2op2EQImmvEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(16), i1 noundef zeroext) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZSt14is_permutationIN9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEES7_EbT_S8_T0_(ptr, ptr, ptr) local_unnamed_addr #4

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKmEEmEeqIRmEENS1_11binary_exprIS6_T_NS1_2op2EQImNS7_4RhsTISB_E4typeEvEEEEOSB_(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion::binary_expr.332") align 8, ptr noundef nonnull align 1 dereferenceable(1), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKmEERmNS1_2op2EQImmvEEE8evaluateEb(ptr dead_on_unwind noalias writable sret(%"class.boost::test_tools::assertion_result") align 8, ptr noundef nonnull align 8 dereferenceable(16), i1 noundef zeroext) local_unnamed_addr #2 align 2

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress 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 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 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { 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 = !{!"long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!12, !12, i64 0}
!12 = !{!"any pointer", !7, i64 0}
!13 = distinct !{!13, !10}
!14 = !{!15, !15, i64 0}
!15 = !{!"int", !7, i64 0}
!16 = distinct !{!16, !10}
!17 = distinct !{!17, !10}
!18 = distinct !{!18, !10}
!19 = distinct !{!19, !10}
!20 = distinct !{!20, !10}
!21 = distinct !{!21, !10}
!22 = distinct !{!22, !10}


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