; LLVM IR from Mjolnir-MD/Mjolnir :: test/core/test_go_attractive_potential.ll (ZN25GoContactAttractive_float11test_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.boost::unit_test::lazy_ostream_impl.315" = type { %"class.boost::unit_test::lazy_ostream.base", ptr, ptr }
%"class.boost::unit_test::lazy_ostream.base" = type <{ ptr, i8 }>
%"class.mjolnir::GoContactAttractivePotential.325" = type { float, float }
%"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.326" = type <{ %"class.boost::test_tools::assertion::value_expr.328", float, [4 x i8] }>
%"class.boost::test_tools::assertion::value_expr.328" = type { ptr }
%"class.boost::test_tools::assertion::seed" = type { i8 }
%"class.boost::test_tools::assertion::binary_expr.330" = type { %"class.boost::test_tools::assertion::value_expr.328", double }
%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332" = type <{ ptr, %"class.std::__cxx11::list.316", i8, [7 x i8] }>
%"class.std::__cxx11::list.316" = type { %"class.std::__cxx11::_List_base.317" }
%"class.std::__cxx11::_List_base.317" = type { %"struct.std::__cxx11::_List_base<boost::shared_ptr<boost::test_tools::tt_detail::assertion_evaluation_context>, std::allocator<boost::shared_ptr<boost::test_tools::tt_detail::assertion_evaluation_context>>>::_List_impl" }
%"struct.std::__cxx11::_List_base<boost::shared_ptr<boost::test_tools::tt_detail::assertion_evaluation_context>, std::allocator<boost::shared_ptr<boost::test_tools::tt_detail::assertion_evaluation_context>>>::_List_impl" = type { %"struct.std::__detail::_List_node_header" }
%"struct.std::__detail::_List_node_header" = type { %"struct.std::__detail::_List_node_base", i64 }
%"struct.std::__detail::_List_node_base" = type { ptr, ptr }
%"class.boost::test_tools::assertion::binary_expr.334" = type { %"class.boost::test_tools::assertion::value_expr.336", double }
%"class.boost::test_tools::assertion::value_expr.336" = type { float }
%"struct.boost::test_tools::tt_detail::tolerance_manip.338" = type { float }
%"struct.boost::test_tools::tt_detail::assertion_type" = type { i32 }

@_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE = external hidden global ptr, align 8
@.str.401 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.402 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.403 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.404 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.405 = external hidden unnamed_addr constant [25 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 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 #2 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, ...) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #2 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) #3 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.315") 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() #2

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN25GoContactAttractive_float11test_methodEv(ptr noundef nonnull align 1 dereferenceable(1) %0) #3 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca i64, align 8
  %4 = alloca float, align 4
  %5 = alloca float, align 4
  %6 = alloca float, align 4
  %7 = alloca float, align 4
  %8 = alloca %"class.mjolnir::GoContactAttractivePotential.325", align 4
  %9 = alloca float, align 4
  %10 = alloca float, align 4
  %11 = alloca float, align 4
  %12 = alloca i64, align 8
  %13 = alloca float, align 4
  %14 = alloca float, align 4
  %15 = alloca float, align 4
  %16 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %17 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %18 = alloca %"class.boost::test_tools::assertion_result", align 8
  %19 = alloca %"class.boost::test_tools::assertion::binary_expr.326", align 8
  %20 = alloca %"class.boost::test_tools::assertion::value_expr.328", align 8
  %21 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %22 = alloca float, align 4
  %23 = alloca %"class.boost::unit_test::lazy_ostream_impl.315", align 8
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  %26 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %27 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %28 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %29 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %30 = alloca %"class.boost::test_tools::assertion_result", align 8
  %31 = alloca %"class.boost::test_tools::assertion::binary_expr.330", align 8
  %32 = alloca %"class.boost::test_tools::assertion::value_expr.328", align 8
  %33 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %34 = alloca double, align 8
  %35 = alloca %"class.boost::unit_test::lazy_ostream_impl.315", align 8
  %36 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %37 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %38 = alloca float, align 4
  %39 = alloca float, align 4
  %40 = alloca float, align 4
  %41 = alloca float, align 4
  %42 = alloca float, align 4
  %43 = alloca i64, align 8
  %44 = alloca float, align 4
  %45 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %46 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %47 = alloca %"class.boost::test_tools::assertion_result", align 8
  %48 = alloca %"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332", align 8
  %49 = alloca %"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332", align 8
  %50 = alloca %"class.boost::test_tools::assertion::binary_expr.334", align 8
  %51 = alloca %"class.boost::test_tools::assertion::value_expr.336", align 4
  %52 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %53 = alloca float, align 4
  %54 = alloca double, align 8
  %55 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %56 = alloca %"class.boost::unit_test::lazy_ostream_impl.315", align 8
  %57 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %58 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %59 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %60 = alloca %"struct.boost::test_tools::tt_detail::assertion_type", align 4
  %61 = alloca %"struct.boost::test_tools::tt_detail::assertion_type", align 4
  %62 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %63 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %64 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %65 = alloca %"class.boost::test_tools::assertion_result", align 8
  %66 = alloca %"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332", align 8
  %67 = alloca %"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332", align 8
  %68 = alloca %"class.boost::test_tools::assertion::binary_expr.334", align 8
  %69 = alloca %"class.boost::test_tools::assertion::value_expr.336", align 4
  %70 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %71 = alloca float, align 4
  %72 = alloca double, align 8
  %73 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %74 = alloca %"class.boost::unit_test::lazy_ostream_impl.315", align 8
  %75 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %76 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %77 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %78 = alloca %"struct.boost::test_tools::tt_detail::assertion_type", align 4
  %79 = alloca %"struct.boost::test_tools::tt_detail::assertion_type", align 4
  %80 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  store ptr %0, ptr %2, align 8, !tbaa !5
  %81 = 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 4, ptr %4) #6
  store float 0x3F847AE140000000, ptr %4, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #6
  store float 0x3F847AE140000000, ptr %5, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #6
  store float 1.000000e+00, ptr %6, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  store float 5.000000e+00, ptr %7, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #6
  call void @_ZN7mjolnir28GoContactAttractivePotentialIfEC2Eff(ptr noundef nonnull align 4 dereferenceable(8) %8, float noundef 1.000000e+00, float noundef 5.000000e+00) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  store float 0.000000e+00, ptr %9, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #6
  store float 5.000000e+00, ptr %10, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #6
  store float 0x3FA99999A0000000, ptr %11, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #6
  store i64 0, ptr %12, align 8, !tbaa !9
  br label %82

82:                                               ; preds = %118, %1
  %83 = load i64, ptr %12, align 8, !tbaa !9
  %84 = icmp ult i64 %83, 100
  br i1 %84, label %86, label %85

85:                                               ; preds = %82
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #6
  br label %150

86:                                               ; preds = %82
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  %87 = load i64, ptr %12, align 8, !tbaa !9
  %88 = uitofp i64 %87 to float
  %89 = call float @llvm.fmuladd.f32(float %88, float 0x3FA99999A0000000, float 0.000000e+00)
  store float %89, ptr %13, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #6
  %90 = load float, ptr %13, align 4, !tbaa !11
  %91 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE9potentialEf(ptr noundef nonnull align 4 dereferenceable(8) %8, float noundef %90) #6
  store float %91, ptr %14, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #6
  %92 = load float, ptr %13, align 4, !tbaa !11
  %93 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE10derivativeEf(ptr noundef nonnull align 4 dereferenceable(8) %8, float noundef %92) #6
  store float %93, ptr %15, align 4, !tbaa !11
  br label %94

94:                                               ; preds = %103, %86
  %95 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %16, ptr noundef @.str.401, i64 noundef 94)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17)
  call void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %95, ptr noundef %16, i64 noundef 79, ptr noundef %17)
  call void @llvm.lifetime.start.p0(i64 24, ptr %18) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %19) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #6
  call void @_ZNK5boost10test_tools9assertion4seedpmIRKfEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr.328") align 8 %20, ptr noundef nonnull align 1 dereferenceable(1) %21, ptr noundef nonnull align 4 dereferenceable(4) %14)
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #6
  store float -1.000000e+00, ptr %22, align 4, !tbaa !11
  call void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKfEEfEeqIfEENS1_11binary_exprIS6_T_NS1_2op2EQIfNS7_4RhsTISA_E4typeEvEEEEOSA_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr.326") align 8 %19, ptr noundef nonnull align 1 dereferenceable(1) %20, ptr noundef nonnull align 4 dereferenceable(4) %22)
  call void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKfEEfNS1_2op2EQIffvEEE8evaluateEb(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %18, ptr noundef nonnull align 8 dereferenceable(12) %19, i1 noundef zeroext false)
  call void @llvm.lifetime.start.p0(i64 32, ptr %23) #6
  %96 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %97 unwind label %121

97:                                               ; preds = %94
  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.402, i64 noundef 7)
          to label %98 unwind label %125

98:                                               ; preds = %97
  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.315") align 8 %23, ptr noundef nonnull align 8 dereferenceable(9) %96, ptr noundef nonnull align 8 dereferenceable(16) %26)
          to label %99 unwind label %125

99:                                               ; preds = %98
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %27, ptr noundef @.str.401, i64 noundef 94)
          to label %100 unwind label %129

100:                                              ; preds = %99
  %101 = 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) %18, ptr noundef nonnull align 8 dereferenceable(9) %23, ptr noundef %27, i64 noundef 79, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %102 unwind label %129

102:                                              ; preds = %100
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %18) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %19) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %18) #6
  br label %103

103:                                              ; preds = %102
  %104 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %104, label %94, label %105, !llvm.loop !13

105:                                              ; preds = %103
  br label %106

106:                                              ; preds = %115, %105
  %107 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef @.str.401, i64 noundef 94)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %29)
  call void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %107, ptr noundef %28, i64 noundef 80, ptr noundef %29)
  call void @llvm.lifetime.start.p0(i64 24, ptr %30) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %31) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %33) #6
  call void @_ZNK5boost10test_tools9assertion4seedpmIRKfEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr.328") align 8 %32, ptr noundef nonnull align 1 dereferenceable(1) %33, ptr noundef nonnull align 4 dereferenceable(4) %15)
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #6
  store double 0.000000e+00, ptr %34, align 8, !tbaa !15
  call void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKfEEfEeqIdEENS1_11binary_exprIS6_T_NS1_2op2EQIfNS7_4RhsTISA_E4typeEvEEEEOSA_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr.330") align 8 %31, ptr noundef nonnull align 1 dereferenceable(1) %32, ptr noundef nonnull align 8 dereferenceable(8) %34)
  call void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKfEEdNS1_2op2EQIfdvEEE8evaluateEb(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %30, ptr noundef nonnull align 8 dereferenceable(16) %31, i1 noundef zeroext false)
  call void @llvm.lifetime.start.p0(i64 32, ptr %35) #6
  %108 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %109 unwind label %135

109:                                              ; preds = %106
  call void @llvm.lifetime.start.p0(i64 16, ptr %36) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %36, ptr noundef @.str.403, i64 noundef 8)
          to label %110 unwind label %139

110:                                              ; preds = %109
  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.315") align 8 %35, ptr noundef nonnull align 8 dereferenceable(9) %108, ptr noundef nonnull align 8 dereferenceable(16) %36)
          to label %111 unwind label %139

111:                                              ; preds = %110
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %37, ptr noundef @.str.401, i64 noundef 94)
          to label %112 unwind label %143

112:                                              ; preds = %111
  %113 = 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) %30, ptr noundef nonnull align 8 dereferenceable(9) %35, ptr noundef %37, i64 noundef 80, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %114 unwind label %143

114:                                              ; preds = %112
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %36) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %35) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %30) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %33) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %30) #6
  br label %115

115:                                              ; preds = %114
  %116 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %116, label %106, label %117, !llvm.loop !17

117:                                              ; preds = %115
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  br label %118

118:                                              ; preds = %117
  %119 = load i64, ptr %12, align 8, !tbaa !9
  %120 = add i64 %119, 1
  store i64 %120, ptr %12, align 8, !tbaa !9
  br label %82, !llvm.loop !18

121:                                              ; preds = %94
  %122 = landingpad { ptr, i32 }
          cleanup
  %123 = extractvalue { ptr, i32 } %122, 0
  store ptr %123, ptr %24, align 8
  %124 = extractvalue { ptr, i32 } %122, 1
  store i32 %124, ptr %25, align 4
  br label %134

125:                                              ; preds = %98, %97
  %126 = landingpad { ptr, i32 }
          cleanup
  %127 = extractvalue { ptr, i32 } %126, 0
  store ptr %127, ptr %24, align 8
  %128 = extractvalue { ptr, i32 } %126, 1
  store i32 %128, ptr %25, align 4
  br label %133

129:                                              ; preds = %100, %99
  %130 = landingpad { ptr, i32 }
          cleanup
  %131 = extractvalue { ptr, i32 } %130, 0
  store ptr %131, ptr %24, align 8
  %132 = extractvalue { ptr, i32 } %130, 1
  store i32 %132, ptr %25, align 4
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  br label %133

133:                                              ; preds = %129, %125
  call void @llvm.lifetime.end.p0(i64 16, ptr %26) #6
  br label %134

134:                                              ; preds = %133, %121
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %18) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %19) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %18) #6
  br label %149

135:                                              ; preds = %106
  %136 = landingpad { ptr, i32 }
          cleanup
  %137 = extractvalue { ptr, i32 } %136, 0
  store ptr %137, ptr %24, align 8
  %138 = extractvalue { ptr, i32 } %136, 1
  store i32 %138, ptr %25, align 4
  br label %148

139:                                              ; preds = %110, %109
  %140 = landingpad { ptr, i32 }
          cleanup
  %141 = extractvalue { ptr, i32 } %140, 0
  store ptr %141, ptr %24, align 8
  %142 = extractvalue { ptr, i32 } %140, 1
  store i32 %142, ptr %25, align 4
  br label %147

143:                                              ; preds = %112, %111
  %144 = landingpad { ptr, i32 }
          cleanup
  %145 = extractvalue { ptr, i32 } %144, 0
  store ptr %145, ptr %24, align 8
  %146 = extractvalue { ptr, i32 } %144, 1
  store i32 %146, ptr %25, align 4
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #6
  br label %147

147:                                              ; preds = %143, %139
  call void @llvm.lifetime.end.p0(i64 16, ptr %36) #6
  br label %148

148:                                              ; preds = %147, %135
  call void @llvm.lifetime.end.p0(i64 32, ptr %35) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %30) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %33) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %30) #6
  br label %149

149:                                              ; preds = %148, %134
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  br label %328

150:                                              ; preds = %85
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #6
  store float 0x4014333340000000, ptr %38, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #6
  %151 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE6cutoffEv(ptr noundef nonnull align 4 dereferenceable(8) %8) #6
  store float %151, ptr %39, align 4, !tbaa !11
  %152 = load float, ptr %39, align 4, !tbaa !11
  call void @_ZN7mjolnir4test15check_potentialINS_28GoContactAttractivePotentialIfEEEEvRKT_NS4_9real_typeES7_S7_S7_m(ptr noundef nonnull align 4 dereferenceable(8) %8, float noundef 0x4014333340000000, float noundef %152, float noundef 0x3F847AE140000000, float noundef 0x3F847AE140000000, i64 noundef 100)
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #6
  %153 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE6cutoffEv(ptr noundef nonnull align 4 dereferenceable(8) %8) #6
  %154 = fadd float %153, 0x3FF028F5C0000000
  store float %154, ptr %40, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #6
  %155 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE6cutoffEv(ptr noundef nonnull align 4 dereferenceable(8) %8) #6
  %156 = fmul float 2.000000e+00, %155
  store float %156, ptr %41, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #6
  %157 = load float, ptr %41, align 4, !tbaa !11
  %158 = load float, ptr %40, align 4, !tbaa !11
  %159 = fsub float %157, %158
  %160 = fdiv float %159, 1.000000e+02
  store float %160, ptr %42, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #6
  store i64 0, ptr %43, align 8, !tbaa !9
  br label %161

161:                                              ; preds = %245, %150
  %162 = load i64, ptr %43, align 8, !tbaa !9
  %163 = icmp ult i64 %162, 100
  br i1 %163, label %165, label %164

164:                                              ; preds = %161
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #6
  br label %327

165:                                              ; preds = %161
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #6
  %166 = load float, ptr %40, align 4, !tbaa !11
  %167 = load i64, ptr %43, align 8, !tbaa !9
  %168 = uitofp i64 %167 to float
  %169 = load float, ptr %42, align 4, !tbaa !11
  %170 = call float @llvm.fmuladd.f32(float %168, float %169, float %166)
  store float %170, ptr %44, align 4, !tbaa !11
  br label %171

171:                                              ; preds = %205, %165
  %172 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %45, ptr noundef @.str.401, i64 noundef 94)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %46)
  call void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %172, ptr noundef %45, i64 noundef 95, ptr noundef %46)
  call void @llvm.lifetime.start.p0(i64 24, ptr %47) #6
  call void @llvm.lifetime.start.p0(i64 40, ptr %48) #6
  call void @llvm.lifetime.start.p0(i64 40, ptr %49) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %50) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %52) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #6
  %173 = load float, ptr %44, align 4, !tbaa !11
  %174 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE9potentialEf(ptr noundef nonnull align 4 dereferenceable(8) %8, float noundef %173) #6
  store float %174, ptr %53, align 4, !tbaa !11
  call void @_ZNK5boost10test_tools9assertion4seedpmIfEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr.336") align 4 %51, ptr noundef nonnull align 1 dereferenceable(1) %52, ptr noundef nonnull align 4 dereferenceable(4) %53)
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #6
  store double 0.000000e+00, ptr %54, align 8, !tbaa !15
  call void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIfEEfEeqIdEENS1_11binary_exprIS4_T_NS1_2op2EQIfNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr.334") align 8 %50, ptr noundef nonnull align 1 dereferenceable(1) %51, ptr noundef nonnull align 8 dereferenceable(8) %54)
  call void @_ZN5boost10test_tools9tt_detail18assertion_evaluateINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEENS1_20assertion_evaluate_tIT_EERKSC_(ptr dead_on_unwind writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8 %49, ptr noundef nonnull align 8 dereferenceable(16) %50)
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #6
  %175 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %176 unwind label %248

176:                                              ; preds = %171
  %177 = getelementptr inbounds %"struct.boost::test_tools::tt_detail::tolerance_manip.338", ptr %55, i32 0, i32 0
  store float %175, ptr %177, align 4
  invoke void @_ZN5boost10test_tools9tt_detaillsINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEfEENS1_20assertion_evaluate_tIT_EERKSD_RKNS1_15tolerance_manipIT0_EE(ptr dead_on_unwind writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8 %48, ptr noundef nonnull align 8 dereferenceable(33) %49, ptr noundef nonnull align 4 dereferenceable(4) %55)
          to label %178 unwind label %248

178:                                              ; preds = %176
  invoke void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEcvNS0_16assertion_resultEEv(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %47, ptr noundef nonnull align 8 dereferenceable(33) %48)
          to label %179 unwind label %252

179:                                              ; preds = %178
  call void @llvm.lifetime.start.p0(i64 32, ptr %56) #6
  %180 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %181 unwind label %256

181:                                              ; preds = %179
  call void @llvm.lifetime.start.p0(i64 16, ptr %57) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef @.str.404, i64 noundef 23)
          to label %182 unwind label %260

182:                                              ; preds = %181
  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.315") align 8 %56, ptr noundef nonnull align 8 dereferenceable(9) %180, ptr noundef nonnull align 8 dereferenceable(16) %57)
          to label %183 unwind label %260

183:                                              ; preds = %182
  %184 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %185 unwind label %264

185:                                              ; preds = %183
  call void @llvm.lifetime.start.p0(i64 4, ptr %58) #6
  %186 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %187 unwind label %268

187:                                              ; preds = %185
  %188 = getelementptr inbounds %"struct.boost::test_tools::tt_detail::tolerance_manip.338", ptr %58, i32 0, i32 0
  store float %186, ptr %188, align 4
  %189 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost10test_tools9tt_detaillsIfEERNS_9unit_test12lazy_ostreamES5_RKNS1_15tolerance_manipIT_EE(ptr noundef nonnull align 8 dereferenceable(9) %184, ptr noundef nonnull align 4 dereferenceable(4) %58)
          to label %190 unwind label %268

190:                                              ; preds = %187
  %191 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost10test_tools9tt_detail14assertion_textERKNS_9unit_test12lazy_ostreamES5_(ptr noundef nonnull align 8 dereferenceable(9) %56, ptr noundef nonnull align 8 dereferenceable(9) %189)
          to label %192 unwind label %268

192:                                              ; preds = %190
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %59, ptr noundef @.str.401, i64 noundef 94)
          to label %193 unwind label %268

193:                                              ; preds = %192
  call void @llvm.lifetime.start.p0(i64 4, ptr %60) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %61) #6
  invoke void @_ZN5boost10test_tools9tt_detail14assertion_typeC2ENS1_10check_typeE(ptr noundef nonnull align 4 dereferenceable(4) %61, i32 noundef 1)
          to label %194 unwind label %272

194:                                              ; preds = %193
  call void @llvm.lifetime.start.p0(i64 4, ptr %62) #6
  %195 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %196 unwind label %276

196:                                              ; preds = %194
  %197 = getelementptr inbounds %"struct.boost::test_tools::tt_detail::tolerance_manip.338", ptr %62, i32 0, i32 0
  store float %195, ptr %197, align 4
  %198 = invoke i32 @_ZN5boost10test_tools9tt_detaillsIfEENS1_14assertion_typeERKS3_RKNS1_15tolerance_manipIT_EE(ptr noundef nonnull align 4 dereferenceable(4) %61, ptr noundef nonnull align 4 dereferenceable(4) %62)
          to label %199 unwind label %276

199:                                              ; preds = %196
  %200 = getelementptr inbounds %"struct.boost::test_tools::tt_detail::assertion_type", ptr %60, i32 0, i32 0
  store i32 %198, ptr %200, align 4
  %201 = invoke noundef i32 @_ZN5boost10test_tools9tt_detail14assertion_typecvNS1_10check_typeEEv(ptr noundef nonnull align 4 dereferenceable(4) %60)
          to label %202 unwind label %276

202:                                              ; preds = %199
  %203 = 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) %47, ptr noundef nonnull align 8 dereferenceable(9) %191, ptr noundef %59, i64 noundef 95, i32 noundef 1, i32 noundef %201, i64 noundef 0)
          to label %204 unwind label %276

204:                                              ; preds = %202
  call void @llvm.lifetime.end.p0(i64 4, ptr %62) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %60) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #6
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %56) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %57) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %56) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %47) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %48) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %49) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %52) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %50) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr %49) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr %48) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %47) #6
  br label %205

205:                                              ; preds = %204
  %206 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %206, label %171, label %207, !llvm.loop !19

207:                                              ; preds = %205
  br label %208

208:                                              ; preds = %242, %207
  %209 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !5
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %63, ptr noundef @.str.401, i64 noundef 94)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %64)
  call void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %209, ptr noundef %63, i64 noundef 96, ptr noundef %64)
  call void @llvm.lifetime.start.p0(i64 24, ptr %65) #6
  call void @llvm.lifetime.start.p0(i64 40, ptr %66) #6
  call void @llvm.lifetime.start.p0(i64 40, ptr %67) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %68) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %69) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %70) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %71) #6
  %210 = load float, ptr %44, align 4, !tbaa !11
  %211 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE10derivativeEf(ptr noundef nonnull align 4 dereferenceable(8) %8, float noundef %210) #6
  store float %211, ptr %71, align 4, !tbaa !11
  call void @_ZNK5boost10test_tools9assertion4seedpmIfEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::value_expr.336") align 4 %69, ptr noundef nonnull align 1 dereferenceable(1) %70, ptr noundef nonnull align 4 dereferenceable(4) %71)
  call void @llvm.lifetime.start.p0(i64 8, ptr %72) #6
  store double 0.000000e+00, ptr %72, align 8, !tbaa !15
  call void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIfEEfEeqIdEENS1_11binary_exprIS4_T_NS1_2op2EQIfNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion::binary_expr.334") align 8 %68, ptr noundef nonnull align 1 dereferenceable(1) %69, ptr noundef nonnull align 8 dereferenceable(8) %72)
  call void @_ZN5boost10test_tools9tt_detail18assertion_evaluateINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEENS1_20assertion_evaluate_tIT_EERKSC_(ptr dead_on_unwind writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8 %67, ptr noundef nonnull align 8 dereferenceable(16) %68)
  call void @llvm.lifetime.start.p0(i64 4, ptr %73) #6
  %212 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %213 unwind label %287

213:                                              ; preds = %208
  %214 = getelementptr inbounds %"struct.boost::test_tools::tt_detail::tolerance_manip.338", ptr %73, i32 0, i32 0
  store float %212, ptr %214, align 4
  invoke void @_ZN5boost10test_tools9tt_detaillsINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEfEENS1_20assertion_evaluate_tIT_EERKSD_RKNS1_15tolerance_manipIT0_EE(ptr dead_on_unwind writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8 %66, ptr noundef nonnull align 8 dereferenceable(33) %67, ptr noundef nonnull align 4 dereferenceable(4) %73)
          to label %215 unwind label %287

215:                                              ; preds = %213
  invoke void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEcvNS0_16assertion_resultEEv(ptr dead_on_unwind writable sret(%"class.boost::test_tools::assertion_result") align 8 %65, ptr noundef nonnull align 8 dereferenceable(33) %66)
          to label %216 unwind label %291

216:                                              ; preds = %215
  call void @llvm.lifetime.start.p0(i64 32, ptr %74) #6
  %217 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %218 unwind label %295

218:                                              ; preds = %216
  call void @llvm.lifetime.start.p0(i64 16, ptr %75) #6
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %75, ptr noundef @.str.405, i64 noundef 24)
          to label %219 unwind label %299

219:                                              ; preds = %218
  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.315") align 8 %74, ptr noundef nonnull align 8 dereferenceable(9) %217, ptr noundef nonnull align 8 dereferenceable(16) %75)
          to label %220 unwind label %299

220:                                              ; preds = %219
  %221 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
          to label %222 unwind label %303

222:                                              ; preds = %220
  call void @llvm.lifetime.start.p0(i64 4, ptr %76) #6
  %223 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %224 unwind label %307

224:                                              ; preds = %222
  %225 = getelementptr inbounds %"struct.boost::test_tools::tt_detail::tolerance_manip.338", ptr %76, i32 0, i32 0
  store float %223, ptr %225, align 4
  %226 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost10test_tools9tt_detaillsIfEERNS_9unit_test12lazy_ostreamES5_RKNS1_15tolerance_manipIT_EE(ptr noundef nonnull align 8 dereferenceable(9) %221, ptr noundef nonnull align 4 dereferenceable(4) %76)
          to label %227 unwind label %307

227:                                              ; preds = %224
  %228 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost10test_tools9tt_detail14assertion_textERKNS_9unit_test12lazy_ostreamES5_(ptr noundef nonnull align 8 dereferenceable(9) %74, ptr noundef nonnull align 8 dereferenceable(9) %226)
          to label %229 unwind label %307

229:                                              ; preds = %227
  invoke void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %77, ptr noundef @.str.401, i64 noundef 94)
          to label %230 unwind label %307

230:                                              ; preds = %229
  call void @llvm.lifetime.start.p0(i64 4, ptr %78) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %79) #6
  invoke void @_ZN5boost10test_tools9tt_detail14assertion_typeC2ENS1_10check_typeE(ptr noundef nonnull align 4 dereferenceable(4) %79, i32 noundef 1)
          to label %231 unwind label %311

231:                                              ; preds = %230
  call void @llvm.lifetime.start.p0(i64 4, ptr %80) #6
  %232 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %233 unwind label %315

233:                                              ; preds = %231
  %234 = getelementptr inbounds %"struct.boost::test_tools::tt_detail::tolerance_manip.338", ptr %80, i32 0, i32 0
  store float %232, ptr %234, align 4
  %235 = invoke i32 @_ZN5boost10test_tools9tt_detaillsIfEENS1_14assertion_typeERKS3_RKNS1_15tolerance_manipIT_EE(ptr noundef nonnull align 4 dereferenceable(4) %79, ptr noundef nonnull align 4 dereferenceable(4) %80)
          to label %236 unwind label %315

236:                                              ; preds = %233
  %237 = getelementptr inbounds %"struct.boost::test_tools::tt_detail::assertion_type", ptr %78, i32 0, i32 0
  store i32 %235, ptr %237, align 4
  %238 = invoke noundef i32 @_ZN5boost10test_tools9tt_detail14assertion_typecvNS1_10check_typeEEv(ptr noundef nonnull align 4 dereferenceable(4) %78)
          to label %239 unwind label %315

239:                                              ; preds = %236
  %240 = 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) %65, ptr noundef nonnull align 8 dereferenceable(9) %228, ptr noundef %77, i64 noundef 96, i32 noundef 1, i32 noundef %238, i64 noundef 0)
          to label %241 unwind label %315

241:                                              ; preds = %239
  call void @llvm.lifetime.end.p0(i64 4, ptr %80) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %79) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %78) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %76) #6
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %75) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %74) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %65) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %66) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %73) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %67) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %71) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %70) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %69) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %68) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr %67) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr %66) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %65) #6
  br label %242

242:                                              ; preds = %241
  %243 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %243, label %208, label %244, !llvm.loop !20

244:                                              ; preds = %242
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #6
  br label %245

245:                                              ; preds = %244
  %246 = load i64, ptr %43, align 8, !tbaa !9
  %247 = add i64 %246, 1
  store i64 %247, ptr %43, align 8, !tbaa !9
  br label %161, !llvm.loop !21

248:                                              ; preds = %176, %171
  %249 = landingpad { ptr, i32 }
          cleanup
  %250 = extractvalue { ptr, i32 } %249, 0
  store ptr %250, ptr %24, align 8
  %251 = extractvalue { ptr, i32 } %249, 1
  store i32 %251, ptr %25, align 4
  br label %286

252:                                              ; preds = %178
  %253 = landingpad { ptr, i32 }
          cleanup
  %254 = extractvalue { ptr, i32 } %253, 0
  store ptr %254, ptr %24, align 8
  %255 = extractvalue { ptr, i32 } %253, 1
  store i32 %255, ptr %25, align 4
  br label %285

256:                                              ; preds = %179
  %257 = landingpad { ptr, i32 }
          cleanup
  %258 = extractvalue { ptr, i32 } %257, 0
  store ptr %258, ptr %24, align 8
  %259 = extractvalue { ptr, i32 } %257, 1
  store i32 %259, ptr %25, align 4
  br label %284

260:                                              ; preds = %182, %181
  %261 = landingpad { ptr, i32 }
          cleanup
  %262 = extractvalue { ptr, i32 } %261, 0
  store ptr %262, ptr %24, align 8
  %263 = extractvalue { ptr, i32 } %261, 1
  store i32 %263, ptr %25, align 4
  br label %283

264:                                              ; preds = %183
  %265 = landingpad { ptr, i32 }
          cleanup
  %266 = extractvalue { ptr, i32 } %265, 0
  store ptr %266, ptr %24, align 8
  %267 = extractvalue { ptr, i32 } %265, 1
  store i32 %267, ptr %25, align 4
  br label %282

268:                                              ; preds = %192, %190, %187, %185
  %269 = landingpad { ptr, i32 }
          cleanup
  %270 = extractvalue { ptr, i32 } %269, 0
  store ptr %270, ptr %24, align 8
  %271 = extractvalue { ptr, i32 } %269, 1
  store i32 %271, ptr %25, align 4
  br label %281

272:                                              ; preds = %193
  %273 = landingpad { ptr, i32 }
          cleanup
  %274 = extractvalue { ptr, i32 } %273, 0
  store ptr %274, ptr %24, align 8
  %275 = extractvalue { ptr, i32 } %273, 1
  store i32 %275, ptr %25, align 4
  br label %280

276:                                              ; preds = %202, %199, %196, %194
  %277 = landingpad { ptr, i32 }
          cleanup
  %278 = extractvalue { ptr, i32 } %277, 0
  store ptr %278, ptr %24, align 8
  %279 = extractvalue { ptr, i32 } %277, 1
  store i32 %279, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %62) #6
  br label %280

280:                                              ; preds = %276, %272
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %60) #6
  br label %281

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

282:                                              ; preds = %281, %264
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %56) #6
  br label %283

283:                                              ; preds = %282, %260
  call void @llvm.lifetime.end.p0(i64 16, ptr %57) #6
  br label %284

284:                                              ; preds = %283, %256
  call void @llvm.lifetime.end.p0(i64 32, ptr %56) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %47) #6
  br label %285

285:                                              ; preds = %284, %252
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %48) #6
  br label %286

286:                                              ; preds = %285, %248
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %49) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %52) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %50) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr %49) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr %48) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %47) #6
  br label %326

287:                                              ; preds = %213, %208
  %288 = landingpad { ptr, i32 }
          cleanup
  %289 = extractvalue { ptr, i32 } %288, 0
  store ptr %289, ptr %24, align 8
  %290 = extractvalue { ptr, i32 } %288, 1
  store i32 %290, ptr %25, align 4
  br label %325

291:                                              ; preds = %215
  %292 = landingpad { ptr, i32 }
          cleanup
  %293 = extractvalue { ptr, i32 } %292, 0
  store ptr %293, ptr %24, align 8
  %294 = extractvalue { ptr, i32 } %292, 1
  store i32 %294, ptr %25, align 4
  br label %324

295:                                              ; preds = %216
  %296 = landingpad { ptr, i32 }
          cleanup
  %297 = extractvalue { ptr, i32 } %296, 0
  store ptr %297, ptr %24, align 8
  %298 = extractvalue { ptr, i32 } %296, 1
  store i32 %298, ptr %25, align 4
  br label %323

299:                                              ; preds = %219, %218
  %300 = landingpad { ptr, i32 }
          cleanup
  %301 = extractvalue { ptr, i32 } %300, 0
  store ptr %301, ptr %24, align 8
  %302 = extractvalue { ptr, i32 } %300, 1
  store i32 %302, ptr %25, align 4
  br label %322

303:                                              ; preds = %220
  %304 = landingpad { ptr, i32 }
          cleanup
  %305 = extractvalue { ptr, i32 } %304, 0
  store ptr %305, ptr %24, align 8
  %306 = extractvalue { ptr, i32 } %304, 1
  store i32 %306, ptr %25, align 4
  br label %321

307:                                              ; preds = %229, %227, %224, %222
  %308 = landingpad { ptr, i32 }
          cleanup
  %309 = extractvalue { ptr, i32 } %308, 0
  store ptr %309, ptr %24, align 8
  %310 = extractvalue { ptr, i32 } %308, 1
  store i32 %310, ptr %25, align 4
  br label %320

311:                                              ; preds = %230
  %312 = landingpad { ptr, i32 }
          cleanup
  %313 = extractvalue { ptr, i32 } %312, 0
  store ptr %313, ptr %24, align 8
  %314 = extractvalue { ptr, i32 } %312, 1
  store i32 %314, ptr %25, align 4
  br label %319

315:                                              ; preds = %239, %236, %233, %231
  %316 = landingpad { ptr, i32 }
          cleanup
  %317 = extractvalue { ptr, i32 } %316, 0
  store ptr %317, ptr %24, align 8
  %318 = extractvalue { ptr, i32 } %316, 1
  store i32 %318, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %80) #6
  br label %319

319:                                              ; preds = %315, %311
  call void @llvm.lifetime.end.p0(i64 4, ptr %79) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %78) #6
  br label %320

320:                                              ; preds = %319, %307
  call void @llvm.lifetime.end.p0(i64 4, ptr %76) #6
  br label %321

321:                                              ; preds = %320, %303
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #6
  br label %322

322:                                              ; preds = %321, %299
  call void @llvm.lifetime.end.p0(i64 16, ptr %75) #6
  br label %323

323:                                              ; preds = %322, %295
  call void @llvm.lifetime.end.p0(i64 32, ptr %74) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %65) #6
  br label %324

324:                                              ; preds = %323, %291
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %66) #6
  br label %325

325:                                              ; preds = %324, %287
  call void @llvm.lifetime.end.p0(i64 4, ptr %73) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %67) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %71) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %70) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %69) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %68) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr %67) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr %66) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %65) #6
  br label %326

326:                                              ; preds = %325, %286
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #6
  br label %328

327:                                              ; preds = %164
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  ret void

328:                                              ; preds = %326, %149
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  br label %329

329:                                              ; preds = %328
  %330 = load ptr, ptr %24, align 8
  %331 = load i32, ptr %25, align 4
  %332 = insertvalue { ptr, i32 } poison, ptr %330, 0
  %333 = insertvalue { ptr, i32 } %332, i32 %331, 1
  resume { ptr, i32 } %333
}

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare float @llvm.fmuladd.f32(float, float, float) #5

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKfEEfNS1_2op2EQIffvEEE8evaluateEb(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) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKfEEfEeqIdEENS1_11binary_exprIS6_T_NS1_2op2EQIfNS7_4RhsTISA_E4typeEvEEEEOSA_(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)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKfEEdNS1_2op2EQIfdvEEE8evaluateEb(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) #3 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7mjolnir4test15check_potentialINS_28GoContactAttractivePotentialIfEEEEvRKT_NS4_9real_typeES7_S7_S7_m(ptr noundef nonnull align 4 dereferenceable(8), float noundef, float noundef, float noundef, float noundef, i64 noundef) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9tt_detaillsINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEfEENS1_20assertion_evaluate_tIT_EERKSD_RKNS1_15tolerance_manipIT0_EE(ptr dead_on_unwind noalias writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8, ptr noundef nonnull align 8 dereferenceable(33), ptr noundef nonnull align 4 dereferenceable(4)) #4

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9tt_detail18assertion_evaluateINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEENS1_20assertion_evaluate_tIT_EERKSC_(ptr dead_on_unwind noalias writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8, ptr noundef nonnull align 8 dereferenceable(16)) #4

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef) #4

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33)) unnamed_addr #2 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 = { 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 #3 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress 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 = !{!12, !12, i64 0}
!12 = !{!"float", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = !{!16, !16, i64 0}
!16 = !{!"double", !7, i64 0}
!17 = distinct !{!17, !14}
!18 = distinct !{!18, !14}
!19 = distinct !{!19, !14}
!20 = distinct !{!20, !14}
!21 = distinct !{!21, !14}


; 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.boost::unit_test::lazy_ostream_impl.315" = type { %"class.boost::unit_test::lazy_ostream.base", ptr, ptr }
%"class.boost::unit_test::lazy_ostream.base" = type <{ ptr, i8 }>
%"class.mjolnir::GoContactAttractivePotential.325" = type { float, float }
%"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.326" = type <{ %"class.boost::test_tools::assertion::value_expr.328", float, [4 x i8] }>
%"class.boost::test_tools::assertion::value_expr.328" = type { ptr }
%"class.boost::test_tools::assertion::seed" = type { i8 }
%"class.boost::test_tools::assertion::binary_expr.330" = type { %"class.boost::test_tools::assertion::value_expr.328", double }
%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332" = type <{ ptr, %"class.std::__cxx11::list.316", i8, [7 x i8] }>
%"class.std::__cxx11::list.316" = type { %"class.std::__cxx11::_List_base.317" }
%"class.std::__cxx11::_List_base.317" = type { %"struct.std::__cxx11::_List_base<boost::shared_ptr<boost::test_tools::tt_detail::assertion_evaluation_context>, std::allocator<boost::shared_ptr<boost::test_tools::tt_detail::assertion_evaluation_context>>>::_List_impl" }
%"struct.std::__cxx11::_List_base<boost::shared_ptr<boost::test_tools::tt_detail::assertion_evaluation_context>, std::allocator<boost::shared_ptr<boost::test_tools::tt_detail::assertion_evaluation_context>>>::_List_impl" = type { %"struct.std::__detail::_List_node_header" }
%"struct.std::__detail::_List_node_header" = type { %"struct.std::__detail::_List_node_base", i64 }
%"struct.std::__detail::_List_node_base" = type { ptr, ptr }
%"class.boost::test_tools::assertion::binary_expr.334" = type { %"class.boost::test_tools::assertion::value_expr.336", double }
%"class.boost::test_tools::assertion::value_expr.336" = type { float }
%"struct.boost::test_tools::tt_detail::tolerance_manip.338" = type { float }
%"struct.boost::test_tools::tt_detail::assertion_type" = type { i32 }

@_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE = external hidden local_unnamed_addr global ptr, align 8
@.str.401 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.402 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.403 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.404 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.405 = external hidden unnamed_addr constant [25 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 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 #2 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 #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #2 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 #3 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.315") 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 #2

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN25GoContactAttractive_float11test_methodEv(ptr nocapture noundef nonnull readnone align 1 dereferenceable(1) %0) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"class.mjolnir::GoContactAttractivePotential.325", align 4
  %3 = alloca float, align 4
  %4 = alloca float, align 4
  %5 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %6 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %7 = alloca %"class.boost::test_tools::assertion_result", align 8
  %8 = alloca %"class.boost::test_tools::assertion::binary_expr.326", align 8
  %9 = alloca %"class.boost::test_tools::assertion::value_expr.328", align 8
  %10 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %11 = alloca float, align 4
  %12 = alloca %"class.boost::unit_test::lazy_ostream_impl.315", align 8
  %13 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %14 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %15 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %16 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %17 = alloca %"class.boost::test_tools::assertion_result", align 8
  %18 = alloca %"class.boost::test_tools::assertion::binary_expr.330", align 8
  %19 = alloca %"class.boost::test_tools::assertion::value_expr.328", align 8
  %20 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %21 = alloca double, align 8
  %22 = alloca %"class.boost::unit_test::lazy_ostream_impl.315", align 8
  %23 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %24 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %25 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %26 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %27 = alloca %"class.boost::test_tools::assertion_result", align 8
  %28 = alloca %"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332", align 8
  %29 = alloca %"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332", align 8
  %30 = alloca %"class.boost::test_tools::assertion::binary_expr.334", align 8
  %31 = alloca %"class.boost::test_tools::assertion::value_expr.336", align 4
  %32 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %33 = alloca float, align 4
  %34 = alloca double, align 8
  %35 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %36 = alloca %"class.boost::unit_test::lazy_ostream_impl.315", align 8
  %37 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %38 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %39 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %40 = alloca %"struct.boost::test_tools::tt_detail::assertion_type", align 4
  %41 = alloca %"struct.boost::test_tools::tt_detail::assertion_type", align 4
  %42 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %43 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %44 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %45 = alloca %"class.boost::test_tools::assertion_result", align 8
  %46 = alloca %"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332", align 8
  %47 = alloca %"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332", align 8
  %48 = alloca %"class.boost::test_tools::assertion::binary_expr.334", align 8
  %49 = alloca %"class.boost::test_tools::assertion::value_expr.336", align 4
  %50 = alloca %"class.boost::test_tools::assertion::seed", align 1
  %51 = alloca float, align 4
  %52 = alloca double, align 8
  %53 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %54 = alloca %"class.boost::unit_test::lazy_ostream_impl.315", align 8
  %55 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %56 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  %57 = alloca %"class.boost::unit_test::basic_cstring", align 8
  %58 = alloca %"struct.boost::test_tools::tt_detail::assertion_type", align 4
  %59 = alloca %"struct.boost::test_tools::tt_detail::assertion_type", align 4
  %60 = alloca %"struct.boost::test_tools::tt_detail::tolerance_manip.338", align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #6
  call void @_ZN7mjolnir28GoContactAttractivePotentialIfEC2Eff(ptr noundef nonnull align 4 dereferenceable(8) %2, float noundef 1.000000e+00, float noundef 5.000000e+00) #6
  br label %69

61:                                               ; preds = %87
  %62 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE6cutoffEv(ptr noundef nonnull align 4 dereferenceable(8) %2) #6
  call void @_ZN7mjolnir4test15check_potentialINS_28GoContactAttractivePotentialIfEEEEvRKT_NS4_9real_typeES7_S7_S7_m(ptr noundef nonnull align 4 dereferenceable(8) %2, float noundef 0x4014333340000000, float noundef %62, float noundef 0x3F847AE140000000, float noundef 0x3F847AE140000000, i64 noundef 100)
  %63 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE6cutoffEv(ptr noundef nonnull align 4 dereferenceable(8) %2) #6
  %64 = fadd float %63, 0x3FF028F5C0000000
  %65 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE6cutoffEv(ptr noundef nonnull align 4 dereferenceable(8) %2) #6
  %66 = fmul float %65, 2.000000e+00
  %67 = fsub float %66, %64
  %68 = fdiv float %67, 1.000000e+02
  br label %101

69:                                               ; preds = %1, %87
  %.049 = phi i64 [ 0, %1 ], [ %88, %87 ]
  %70 = uitofp nneg i64 %.049 to float
  %71 = call float @llvm.fmuladd.f32(float %70, float 0x3FA99999A0000000, float 0.000000e+00)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #6
  %72 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE9potentialEf(ptr noundef nonnull align 4 dereferenceable(8) %2, float noundef %71) #6
  store float %72, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #6
  %73 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE10derivativeEf(ptr noundef nonnull align 4 dereferenceable(8) %2, float noundef %71) #6
  store float %73, ptr %4, align 4, !tbaa !5
  br label %74

74:                                               ; preds = %79, %69
  %75 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !9
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull @.str.401, i64 noundef 94)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %6)
  call void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %75, ptr noundef nonnull %5, i64 noundef 79, ptr noundef nonnull %6)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %7) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %10) #6
  call void @_ZNK5boost10test_tools9assertion4seedpmIRKfEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr.328") align 8 %9, ptr noundef nonnull align 1 dereferenceable(1) %10, ptr noundef nonnull align 4 dereferenceable(4) %3)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #6
  store float -1.000000e+00, ptr %11, align 4, !tbaa !5
  call void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKfEEfEeqIfEENS1_11binary_exprIS6_T_NS1_2op2EQIfNS7_4RhsTISA_E4typeEvEEEEOSA_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr.326") align 8 %8, ptr noundef nonnull align 1 dereferenceable(1) %9, ptr noundef nonnull align 4 dereferenceable(4) %11)
  call void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKfEEfNS1_2op2EQIffvEEE8evaluateEb(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %7, ptr noundef nonnull align 8 dereferenceable(12) %8, i1 noundef zeroext false)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #6
  %76 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %13) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %13, ptr noundef nonnull @.str.402, i64 noundef 7)
  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.315") align 8 %12, ptr noundef nonnull align 8 dereferenceable(9) %76, ptr noundef nonnull align 8 dereferenceable(16) %13)
          to label %77 unwind label %89

77:                                               ; preds = %74
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %14, ptr noundef nonnull @.str.401, i64 noundef 94)
  %78 = 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) %7, ptr noundef nonnull align 8 dereferenceable(9) %12, ptr noundef nonnull %14, i64 noundef 79, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %79 unwind label %91

79:                                               ; preds = %77
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #6
  %80 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %80, label %74, label %.preheader48, !llvm.loop !11

.preheader48:                                     ; preds = %79, %85
  %81 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !9
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %15, ptr noundef nonnull @.str.401, i64 noundef 94)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16)
  call void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %81, ptr noundef nonnull %15, i64 noundef 80, ptr noundef nonnull %16)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %17) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %18) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %20) #6
  call void @_ZNK5boost10test_tools9assertion4seedpmIRKfEENS1_10value_exprIT_EEOS7_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr.328") align 8 %19, ptr noundef nonnull align 1 dereferenceable(1) %20, ptr noundef nonnull align 4 dereferenceable(4) %4)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #6
  store double 0.000000e+00, ptr %21, align 8, !tbaa !13
  call void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKfEEfEeqIdEENS1_11binary_exprIS6_T_NS1_2op2EQIfNS7_4RhsTISA_E4typeEvEEEEOSA_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr.330") align 8 %18, ptr noundef nonnull align 1 dereferenceable(1) %19, ptr noundef nonnull align 8 dereferenceable(8) %21)
  call void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKfEEdNS1_2op2EQIfdvEEE8evaluateEb(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %17, ptr noundef nonnull align 8 dereferenceable(16) %18, i1 noundef zeroext false)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %22) #6
  %82 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %23) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %23, ptr noundef nonnull @.str.403, i64 noundef 8)
  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.315") align 8 %22, ptr noundef nonnull align 8 dereferenceable(9) %82, ptr noundef nonnull align 8 dereferenceable(16) %23)
          to label %83 unwind label %94

83:                                               ; preds = %.preheader48
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %24, ptr noundef nonnull @.str.401, i64 noundef 94)
  %84 = 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) %17, ptr noundef nonnull align 8 dereferenceable(9) %22, ptr noundef nonnull %24, i64 noundef 80, i32 noundef 1, i32 noundef 14, i64 noundef 0)
          to label %85 unwind label %96

85:                                               ; preds = %83
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %23) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %17) #6
  %86 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %86, label %.preheader48, label %87, !llvm.loop !15

87:                                               ; preds = %85
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #6
  %88 = add nuw nsw i64 %.049, 1
  %exitcond.not = icmp eq i64 %88, 100
  br i1 %exitcond.not, label %61, label %69, !llvm.loop !16

89:                                               ; preds = %74
  %90 = landingpad { ptr, i32 }
          cleanup
  br label %93

91:                                               ; preds = %77
  %92 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #6
  br label %93

93:                                               ; preds = %91, %89
  %.pn42 = phi { ptr, i32 } [ %92, %91 ], [ %90, %89 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #6
  br label %99

94:                                               ; preds = %.preheader48
  %95 = landingpad { ptr, i32 }
          cleanup
  br label %98

96:                                               ; preds = %83
  %97 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #6
  br label %98

98:                                               ; preds = %96, %94
  %.pn44 = phi { ptr, i32 } [ %97, %96 ], [ %95, %94 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %23) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %17) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %17) #6
  br label %99

99:                                               ; preds = %98, %93
  %.pn44.pn = phi { ptr, i32 } [ %.pn44, %98 ], [ %.pn42, %93 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #6
  br label %177

100:                                              ; preds = %147
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #6
  ret void

101:                                              ; preds = %61, %147
  %.01750 = phi i64 [ 0, %61 ], [ %148, %147 ]
  %102 = uitofp nneg i64 %.01750 to float
  %103 = call float @llvm.fmuladd.f32(float %102, float %68, float %64)
  br label %104

104:                                              ; preds = %124, %101
  %105 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !9
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %25, ptr noundef nonnull @.str.401, i64 noundef 94)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %26)
  call void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %105, ptr noundef nonnull %25, i64 noundef 95, ptr noundef nonnull %26)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %27) #6
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %28) #6
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %29) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %30) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %31) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %32) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %33) #6
  %106 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE9potentialEf(ptr noundef nonnull align 4 dereferenceable(8) %2, float noundef %103) #6
  store float %106, ptr %33, align 4, !tbaa !5
  call void @_ZNK5boost10test_tools9assertion4seedpmIfEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr.336") align 4 %31, ptr noundef nonnull align 1 dereferenceable(1) %32, ptr noundef nonnull align 4 dereferenceable(4) %33)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %34) #6
  store double 0.000000e+00, ptr %34, align 8, !tbaa !13
  call void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIfEEfEeqIdEENS1_11binary_exprIS4_T_NS1_2op2EQIfNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr.334") align 8 %30, ptr noundef nonnull align 1 dereferenceable(1) %31, ptr noundef nonnull align 8 dereferenceable(8) %34)
  call void @_ZN5boost10test_tools9tt_detail18assertion_evaluateINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEENS1_20assertion_evaluate_tIT_EERKSC_(ptr dead_on_unwind nonnull writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8 %29, ptr noundef nonnull align 8 dereferenceable(16) %30)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %35) #6
  %107 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %108 unwind label %149

108:                                              ; preds = %104
  store float %107, ptr %35, align 4
  invoke void @_ZN5boost10test_tools9tt_detaillsINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEfEENS1_20assertion_evaluate_tIT_EERKSD_RKNS1_15tolerance_manipIT0_EE(ptr dead_on_unwind nonnull writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8 %28, ptr noundef nonnull align 8 dereferenceable(33) %29, ptr noundef nonnull align 4 dereferenceable(4) %35)
          to label %109 unwind label %149

109:                                              ; preds = %108
  invoke void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEcvNS0_16assertion_resultEEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %27, ptr noundef nonnull align 8 dereferenceable(33) %28)
          to label %110 unwind label %151

110:                                              ; preds = %109
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %36) #6
  %111 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %37) #6
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %37, ptr noundef nonnull @.str.404, 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.315") align 8 %36, ptr noundef nonnull align 8 dereferenceable(9) %111, ptr noundef nonnull align 8 dereferenceable(16) %37)
          to label %112 unwind label %153

112:                                              ; preds = %110
  %113 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %38) #6
  %114 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %115 unwind label %155

115:                                              ; preds = %112
  store float %114, ptr %38, align 4
  %116 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost10test_tools9tt_detaillsIfEERNS_9unit_test12lazy_ostreamES5_RKNS1_15tolerance_manipIT_EE(ptr noundef nonnull align 8 dereferenceable(9) %113, ptr noundef nonnull align 4 dereferenceable(4) %38)
  %117 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost10test_tools9tt_detail14assertion_textERKNS_9unit_test12lazy_ostreamES5_(ptr noundef nonnull align 8 dereferenceable(9) %36, ptr noundef nonnull align 8 dereferenceable(9) %116)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %39, ptr noundef nonnull @.str.401, i64 noundef 94)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %40) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %41) #6
  call void @_ZN5boost10test_tools9tt_detail14assertion_typeC2ENS1_10check_typeE(ptr noundef nonnull align 4 dereferenceable(4) %41, i32 noundef 1)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %42) #6
  %118 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %119 unwind label %157

119:                                              ; preds = %115
  store float %118, ptr %42, align 4
  %120 = invoke i32 @_ZN5boost10test_tools9tt_detaillsIfEENS1_14assertion_typeERKS3_RKNS1_15tolerance_manipIT_EE(ptr noundef nonnull align 4 dereferenceable(4) %41, ptr noundef nonnull align 4 dereferenceable(4) %42)
          to label %121 unwind label %157

121:                                              ; preds = %119
  store i32 %120, ptr %40, align 4
  %122 = call noundef i32 @_ZN5boost10test_tools9tt_detail14assertion_typecvNS1_10check_typeEEv(ptr noundef nonnull align 4 dereferenceable(4) %40)
  %123 = 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) %27, ptr noundef nonnull align 8 dereferenceable(9) %117, ptr noundef nonnull %39, i64 noundef 95, i32 noundef 1, i32 noundef %122, i64 noundef 0)
          to label %124 unwind label %157

124:                                              ; preds = %121
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %42) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %41) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %40) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %38) #6
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %37) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %27) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %28) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %35) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %34) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %33) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %32) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %31) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %30) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %29) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %28) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %27) #6
  %125 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %125, label %104, label %.preheader, !llvm.loop !17

.preheader:                                       ; preds = %124, %145
  %126 = load ptr, ptr @_ZN5boost9unit_test12_GLOBAL__N_113unit_test_logE, align 8, !tbaa !9
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %43, ptr noundef nonnull @.str.401, i64 noundef 94)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %44)
  call void @_ZN5boost9unit_test15unit_test_log_t14set_checkpointENS0_13basic_cstringIKcEEmS4_(ptr noundef nonnull align 8 dereferenceable(8) %126, ptr noundef nonnull %43, i64 noundef 96, ptr noundef nonnull %44)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %45) #6
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %46) #6
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %47) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %48) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %49) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %50) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %51) #6
  %127 = call noundef float @_ZNK7mjolnir28GoContactAttractivePotentialIfE10derivativeEf(ptr noundef nonnull align 4 dereferenceable(8) %2, float noundef %103) #6
  store float %127, ptr %51, align 4, !tbaa !5
  call void @_ZNK5boost10test_tools9assertion4seedpmIfEENS1_10value_exprIT_EEOS5_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::value_expr.336") align 4 %49, ptr noundef nonnull align 1 dereferenceable(1) %50, ptr noundef nonnull align 4 dereferenceable(4) %51)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %52) #6
  store double 0.000000e+00, ptr %52, align 8, !tbaa !13
  call void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIfEEfEeqIdEENS1_11binary_exprIS4_T_NS1_2op2EQIfNS5_4RhsTIS8_E4typeEvEEEEOS8_(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion::binary_expr.334") align 8 %48, ptr noundef nonnull align 1 dereferenceable(1) %49, ptr noundef nonnull align 8 dereferenceable(8) %52)
  call void @_ZN5boost10test_tools9tt_detail18assertion_evaluateINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEENS1_20assertion_evaluate_tIT_EERKSC_(ptr dead_on_unwind nonnull writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8 %47, ptr noundef nonnull align 8 dereferenceable(16) %48)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %53) #6
  %128 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %129 unwind label %163

129:                                              ; preds = %.preheader
  store float %128, ptr %53, align 4
  invoke void @_ZN5boost10test_tools9tt_detaillsINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEfEENS1_20assertion_evaluate_tIT_EERKSD_RKNS1_15tolerance_manipIT0_EE(ptr dead_on_unwind nonnull writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8 %46, ptr noundef nonnull align 8 dereferenceable(33) %47, ptr noundef nonnull align 4 dereferenceable(4) %53)
          to label %130 unwind label %163

130:                                              ; preds = %129
  invoke void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEcvNS0_16assertion_resultEEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::test_tools::assertion_result") align 8 %45, ptr noundef nonnull align 8 dereferenceable(33) %46)
          to label %131 unwind label %165

131:                                              ; preds = %130
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %54) #6
  %132 = 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.405, i64 noundef 24)
  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.315") align 8 %54, ptr noundef nonnull align 8 dereferenceable(9) %132, ptr noundef nonnull align 8 dereferenceable(16) %55)
          to label %133 unwind label %167

133:                                              ; preds = %131
  %134 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost9unit_test12lazy_ostream8instanceEv()
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %56) #6
  %135 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %136 unwind label %169

136:                                              ; preds = %133
  store float %135, ptr %56, align 4
  %137 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost10test_tools9tt_detaillsIfEERNS_9unit_test12lazy_ostreamES5_RKNS1_15tolerance_manipIT_EE(ptr noundef nonnull align 8 dereferenceable(9) %134, ptr noundef nonnull align 4 dereferenceable(4) %56)
  %138 = call noundef nonnull align 8 dereferenceable(9) ptr @_ZN5boost10test_tools9tt_detail14assertion_textERKNS_9unit_test12lazy_ostreamES5_(ptr noundef nonnull align 8 dereferenceable(9) %54, ptr noundef nonnull align 8 dereferenceable(9) %137)
  call void @_ZN5boost9unit_test13basic_cstringIKcEC2ImEEPS2_T_(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull @.str.401, i64 noundef 94)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %58) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %59) #6
  call void @_ZN5boost10test_tools9tt_detail14assertion_typeC2ENS1_10check_typeE(ptr noundef nonnull align 4 dereferenceable(4) %59, i32 noundef 1)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %60) #6
  %139 = invoke float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef 0x3F847AE140000000)
          to label %140 unwind label %171

140:                                              ; preds = %136
  store float %139, ptr %60, align 4
  %141 = invoke i32 @_ZN5boost10test_tools9tt_detaillsIfEENS1_14assertion_typeERKS3_RKNS1_15tolerance_manipIT_EE(ptr noundef nonnull align 4 dereferenceable(4) %59, ptr noundef nonnull align 4 dereferenceable(4) %60)
          to label %142 unwind label %171

142:                                              ; preds = %140
  store i32 %141, ptr %58, align 4
  %143 = call noundef i32 @_ZN5boost10test_tools9tt_detail14assertion_typecvNS1_10check_typeEEv(ptr noundef nonnull align 4 dereferenceable(4) %58)
  %144 = 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) %45, ptr noundef nonnull align 8 dereferenceable(9) %138, ptr noundef nonnull %57, i64 noundef 96, i32 noundef 1, i32 noundef %143, i64 noundef 0)
          to label %145 unwind label %171

145:                                              ; preds = %142
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %60) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %59) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %58) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %56) #6
  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) %45) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %46) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %53) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %47) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %52) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %51) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %50) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %49) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %48) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %47) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %46) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %45) #6
  %146 = call noundef zeroext i1 @_ZN5boost10test_tools9tt_detail10dummy_condEv()
  br i1 %146, label %.preheader, label %147, !llvm.loop !18

147:                                              ; preds = %145
  %148 = add nuw nsw i64 %.01750, 1
  %exitcond51.not = icmp eq i64 %148, 100
  br i1 %exitcond51.not, label %100, label %101, !llvm.loop !19

149:                                              ; preds = %108, %104
  %150 = landingpad { ptr, i32 }
          cleanup
  br label %162

151:                                              ; preds = %109
  %152 = landingpad { ptr, i32 }
          cleanup
  br label %161

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

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

157:                                              ; preds = %121, %119, %115
  %158 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %42) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %41) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %40) #6
  br label %159

159:                                              ; preds = %157, %155
  %.pn = phi { ptr, i32 } [ %158, %157 ], [ %156, %155 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %38) #6
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #6
  br label %160

160:                                              ; preds = %159, %153
  %.pn.pn = phi { ptr, i32 } [ %.pn, %159 ], [ %154, %153 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %37) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #6
  call void @_ZN5boost10test_tools16assertion_resultD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %27) #6
  br label %161

161:                                              ; preds = %160, %151
  %.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn, %160 ], [ %152, %151 ]
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %28) #6
  br label %162

162:                                              ; preds = %161, %149
  %.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn, %161 ], [ %150, %149 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %35) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %34) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %33) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %32) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %31) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %30) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %29) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %28) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %27) #6
  br label %177

163:                                              ; preds = %129, %.preheader
  %164 = landingpad { ptr, i32 }
          cleanup
  br label %176

165:                                              ; preds = %130
  %166 = landingpad { ptr, i32 }
          cleanup
  br label %175

167:                                              ; preds = %131
  %168 = landingpad { ptr, i32 }
          cleanup
  br label %174

169:                                              ; preds = %133
  %170 = landingpad { ptr, i32 }
          cleanup
  br label %173

171:                                              ; preds = %142, %140, %136
  %172 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %60) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %59) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %58) #6
  br label %173

173:                                              ; preds = %171, %169
  %.pn36 = phi { ptr, i32 } [ %172, %171 ], [ %170, %169 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %56) #6
  call void @_ZN5boost9unit_test12lazy_ostreamD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #6
  br label %174

174:                                              ; preds = %173, %167
  %.pn36.pn = phi { ptr, i32 } [ %.pn36, %173 ], [ %168, %167 ]
  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) %45) #6
  br label %175

175:                                              ; preds = %174, %165
  %.pn36.pn.pn = phi { ptr, i32 } [ %.pn36.pn, %174 ], [ %166, %165 ]
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %46) #6
  br label %176

176:                                              ; preds = %175, %163
  %.pn36.pn.pn.pn = phi { ptr, i32 } [ %.pn36.pn.pn, %175 ], [ %164, %163 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %53) #6
  call void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33) %47) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %52) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %51) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %50) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %49) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %48) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %47) #6
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %46) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %45) #6
  br label %177

177:                                              ; preds = %162, %176, %99
  %.pn44.pn.pn = phi { ptr, i32 } [ %.pn44.pn, %99 ], [ %.pn36.pn.pn.pn, %176 ], [ %.pn.pn.pn.pn, %162 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #6
  resume { ptr, i32 } %.pn44.pn.pn
}

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare float @llvm.fmuladd.f32(float, float, float) #5

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKfEEfNS1_2op2EQIffvEEE8evaluateEb(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 #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9assertion15expression_baseINS1_10value_exprIRKfEEfEeqIdEENS1_11binary_exprIS6_T_NS1_2op2EQIfNS7_4RhsTISA_E4typeEvEEEEOSA_(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 #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK5boost10test_tools9assertion11binary_exprINS1_10value_exprIRKfEEdNS1_2op2EQIfdvEEE8evaluateEb(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 #3 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7mjolnir4test15check_potentialINS_28GoContactAttractivePotentialIfEEEEvRKT_NS4_9real_typeES7_S7_S7_m(ptr noundef nonnull align 4 dereferenceable(8), float noundef, float noundef, float noundef, float noundef, i64 noundef) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9tt_detaillsINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEfEENS1_20assertion_evaluate_tIT_EERKSD_RKNS1_15tolerance_manipIT0_EE(ptr dead_on_unwind noalias writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8, ptr noundef nonnull align 8 dereferenceable(33), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #4

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost10test_tools9tt_detail18assertion_evaluateINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEEENS1_20assertion_evaluate_tIT_EERKSC_(ptr dead_on_unwind noalias writable sret(%"struct.boost::test_tools::tt_detail::assertion_evaluate_t.332") align 8, ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #4

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local float @_ZN5boost10test_tools9toleranceIfEENS0_9tt_detail15tolerance_manipIT_EES4_(float noundef) local_unnamed_addr #4

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN5boost10test_tools9tt_detail20assertion_evaluate_tINS0_9assertion11binary_exprINS3_10value_exprIfEEdNS3_2op2EQIfdvEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(33)) unnamed_addr #2 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 = { 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 #3 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress 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 = !{!"float", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{!14, !14, i64 0}
!14 = !{!"double", !7, i64 0}
!15 = distinct !{!15, !12}
!16 = distinct !{!16, !12}
!17 = distinct !{!17, !12}
!18 = distinct !{!18, !12}
!19 = distinct !{!19, !12}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass