; LLVM IR from cvanaret/Uno :: uno/ingredients/globalization_mechanisms (BacktrackingLineSearch)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.std::basic_string_view" = type { i64, ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::allocator.10" = type { i8 }
%"class.uno::GlobalizationMechanism" = type { ptr, %"class.std::unique_ptr", %"class.uno::Direction" }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.1" }
%"struct.std::_Head_base.1" = type { ptr }
%"class.uno::Direction" = type { i64, i64, %"class.uno::Vector", %"class.uno::Multipliers", %"class.uno::Multipliers", i32, double, double }
%"class.uno::Vector" = type { %"class.std::vector" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.uno::Multipliers" = type { %"class.uno::Vector", %"class.uno::Vector", %"class.uno::Vector" }
%"class.uno::BacktrackingLineSearch" = type <{ %"class.uno::GlobalizationMechanism", double, double, i8, [7 x i8] }>
%"class.uno::Iterate" = type <{ i64, i64, %"class.uno::Vector", %"class.uno::Multipliers", %"class.uno::Multipliers", double, %"struct.uno::Evaluations", i8, i8, i8, i8, [4 x i8], double, %"class.uno::DualResiduals", %"class.uno::DualResiduals", %"struct.uno::ProgressMeasures", i32, [4 x i8] }>
%"struct.uno::Evaluations" = type { double, %"class.std::vector", %"class.uno::SparseVector", %"class.uno::RectangularMatrix" }
%"class.uno::SparseVector" = type { %"class.std::vector.46", %"class.std::vector", i64 }
%"class.std::vector.46" = type { %"struct.std::_Vector_base.47" }
%"struct.std::_Vector_base.47" = type { %"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.uno::RectangularMatrix" = type { %"class.std::vector.51" }
%"class.std::vector.51" = type { %"struct.std::_Vector_base.52" }
%"struct.std::_Vector_base.52" = type { %"struct.std::_Vector_base<uno::SparseVector<double>, std::allocator<uno::SparseVector<double>>>::_Vector_impl" }
%"struct.std::_Vector_base<uno::SparseVector<double>, std::allocator<uno::SparseVector<double>>>::_Vector_impl" = type { %"struct.std::_Vector_base<uno::SparseVector<double>, std::allocator<uno::SparseVector<double>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<uno::SparseVector<double>, std::allocator<uno::SparseVector<double>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.uno::DualResiduals" = type { double, double, double, double, %"class.uno::LagrangianGradient" }
%"class.uno::LagrangianGradient" = type { %"class.uno::Vector", %"class.uno::Vector" }
%"struct.uno::ProgressMeasures" = type { double, %"class.std::function", double }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }

@.str.10 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [15 x i8], align 1
@_ZTIN3uno15EvaluationErrorE = external dso_local constant { ptr, ptr, ptr }, align 8
@.str.17 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [12 x i8], align 1
@_ZN3uno6Logger5levelE = external global i32, align 4
@.str.19 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [10 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.21 = external hidden unnamed_addr constant [18 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

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

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

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: 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 @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull) unnamed_addr #1 align 2

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3uno22BacktrackingLineSearch25backtrack_along_directionERNS_10StatisticsERKNS_5ModelERNS_7IterateES7_RNS_20WarmstartInformationERNS_13UserCallbacksE(ptr noundef nonnull align 8 dereferenceable(241) %0, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(64) %2, ptr noundef nonnull align 8 dereferenceable(532) %3, ptr noundef nonnull align 8 dereferenceable(532) %4, ptr noundef nonnull align 1 %5, ptr noundef nonnull align 1 %6) #2 align 2 personality ptr @__gxx_personality_v0 {
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca double, align 8
  %16 = alloca i8, align 1
  %17 = alloca i64, align 8
  %18 = alloca i32, align 4
  %19 = alloca i8, align 1
  %20 = alloca %"class.std::basic_string_view", align 8
  %21 = alloca i8, align 1
  %22 = alloca ptr, align 8
  %23 = alloca i32, align 4
  %24 = alloca ptr, align 8
  %25 = alloca %"class.std::basic_string_view", align 8
  %26 = alloca %"class.std::__cxx11::basic_string", align 8
  %27 = alloca %"class.std::allocator.10", align 1
  %28 = alloca i32, align 4
  %29 = alloca i8, align 1
  %30 = alloca %"class.std::basic_string_view", align 8
  %31 = alloca %"class.std::__cxx11::basic_string", align 8
  %32 = alloca %"class.std::allocator.10", align 1
  store ptr %0, ptr %8, align 8, !tbaa !5
  store ptr %1, ptr %9, align 8, !tbaa !5
  store ptr %2, ptr %10, align 8, !tbaa !5
  store ptr %3, ptr %11, align 8, !tbaa !5
  store ptr %4, ptr %12, align 8, !tbaa !5
  store ptr %5, ptr %13, align 8, !tbaa !5
  store ptr %6, ptr %14, align 8, !tbaa !5
  %33 = load ptr, ptr %8, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #7
  store double 1.000000e+00, ptr %15, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #7
  store i8 0, ptr %16, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #7
  store i64 0, ptr %17, align 8, !tbaa !13
  br label %34

34:                                               ; preds = %232, %7
  %35 = load i8, ptr %16, align 1, !tbaa !11, !range !15, !noundef !16
  %36 = trunc i8 %35 to i1
  %37 = xor i1 %36, true
  br i1 %37, label %38, label %234

38:                                               ; preds = %34
  %39 = load i64, ptr %17, align 8, !tbaa !13
  %40 = add i64 %39, 1
  store i64 %40, ptr %17, align 8, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  store i32 4, ptr %18, align 4, !tbaa !17
  %41 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA25_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %18, ptr noundef nonnull align 1 dereferenceable(25) @.str.15)
  %42 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsImEERKNS_5LevelES3_RT_(ptr noundef nonnull align 4 dereferenceable(4) %41, ptr noundef nonnull align 8 dereferenceable(8) %17)
  %43 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA15_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %42, ptr noundef nonnull align 1 dereferenceable(15) @.str.16)
  %44 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIdEERKNS_5LevelES3_RT_(ptr noundef nonnull align 4 dereferenceable(4) %43, ptr noundef nonnull align 8 dereferenceable(8) %15)
  call void @llvm.lifetime.start.p0(i64 1, ptr %19) #7
  store i8 10, ptr %19, align 1, !tbaa !19
  %45 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIcEERKNS_5LevelES3_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %44, ptr noundef nonnull align 1 dereferenceable(1) %19)
  call void @llvm.lifetime.end.p0(i64 1, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  %46 = load i64, ptr %17, align 8, !tbaa !13
  %47 = icmp ult i64 1, %46
  br i1 %47, label %48, label %50

48:                                               ; preds = %38
  %49 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN3uno10Statistics14start_new_lineEv(ptr noundef nonnull align 8 dereferenceable(144) %49)
  br label %50

50:                                               ; preds = %48, %38
  %51 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef @.str.10) #7
  %52 = load double, ptr %15, align 8, !tbaa !9
  %53 = getelementptr inbounds { i64, ptr }, ptr %20, i32 0, i32 0
  %54 = load i64, ptr %53, align 8
  %55 = getelementptr inbounds { i64, ptr }, ptr %20, i32 0, i32 1
  %56 = load ptr, ptr %55, align 8
  call void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEEd(ptr noundef nonnull align 8 dereferenceable(144) %51, i64 %54, ptr %56, double noundef %52)
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #7
  store i8 0, ptr %21, align 1, !tbaa !11
  %57 = load ptr, ptr %10, align 8, !tbaa !5
  %58 = load ptr, ptr %11, align 8, !tbaa !5
  %59 = load ptr, ptr %12, align 8, !tbaa !5
  %60 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 2
  %61 = load double, ptr %15, align 8, !tbaa !9
  %62 = getelementptr inbounds %"class.uno::BacktrackingLineSearch", ptr %33, i32 0, i32 3
  %63 = load i8, ptr %62, align 8, !tbaa !20, !range !15, !noundef !16
  %64 = trunc i8 %63 to i1
  br i1 %64, label %65, label %67

65:                                               ; preds = %50
  %66 = load double, ptr %15, align 8, !tbaa !9
  br label %68

67:                                               ; preds = %50
  br label %68

68:                                               ; preds = %67, %65
  %69 = phi double [ %66, %65 ], [ 1.000000e+00, %67 ]
  invoke void @_ZN3uno22GlobalizationMechanism22assemble_trial_iterateERKNS_5ModelERNS_7IterateES5_RKNS_9DirectionEdd(ptr noundef nonnull align 8 dereferenceable(64) %57, ptr noundef nonnull align 8 dereferenceable(532) %58, ptr noundef nonnull align 8 dereferenceable(532) %59, ptr noundef nonnull align 8 dereferenceable(208) %60, double noundef %61, double noundef %69)
          to label %70 unwind label %93

70:                                               ; preds = %68
  %71 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 1
  %72 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %71) #7
  %73 = load ptr, ptr %9, align 8, !tbaa !5
  %74 = load ptr, ptr %10, align 8, !tbaa !5
  %75 = load ptr, ptr %11, align 8, !tbaa !5
  %76 = load ptr, ptr %12, align 8, !tbaa !5
  %77 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 2
  %78 = load double, ptr %15, align 8, !tbaa !9
  %79 = load ptr, ptr %13, align 8, !tbaa !5
  %80 = load ptr, ptr %14, align 8, !tbaa !5
  %81 = load ptr, ptr %72, align 8, !tbaa !37
  %82 = getelementptr inbounds ptr, ptr %81, i64 6
  %83 = load ptr, ptr %82, align 8
  %84 = invoke noundef zeroext i1 %83(ptr noundef nonnull align 8 dereferenceable(81) %72, ptr noundef nonnull align 8 dereferenceable(144) %73, ptr noundef nonnull align 8 dereferenceable(64) %74, ptr noundef nonnull align 8 dereferenceable(532) %75, ptr noundef nonnull align 8 dereferenceable(532) %76, ptr noundef nonnull align 8 dereferenceable(208) %77, double noundef %78, ptr noundef nonnull align 1 %79, ptr noundef nonnull align 1 %80)
          to label %85 unwind label %93

85:                                               ; preds = %70
  %86 = zext i1 %84 to i8
  store i8 %86, ptr %21, align 1, !tbaa !11
  %87 = load ptr, ptr %9, align 8, !tbaa !5
  %88 = load ptr, ptr %12, align 8, !tbaa !5
  %89 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 2
  %90 = load double, ptr %15, align 8, !tbaa !9
  %91 = load i64, ptr %17, align 8, !tbaa !13
  invoke void @_ZNK3uno22BacktrackingLineSearch14set_statisticsERNS_10StatisticsERKNS_7IterateERKNS_9DirectionEdm(ptr noundef nonnull align 8 dereferenceable(241) %33, ptr noundef nonnull align 8 dereferenceable(144) %87, ptr noundef nonnull align 8 dereferenceable(532) %88, ptr noundef nonnull align 8 dereferenceable(208) %89, double noundef %90, i64 noundef %91)
          to label %92 unwind label %93

92:                                               ; preds = %85
  br label %114

93:                                               ; preds = %85, %70, %68
  %94 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno15EvaluationErrorE
  %95 = extractvalue { ptr, i32 } %94, 0
  store ptr %95, ptr %22, align 8
  %96 = extractvalue { ptr, i32 } %94, 1
  store i32 %96, ptr %23, align 4
  br label %97

97:                                               ; preds = %93
  %98 = load i32, ptr %23, align 4
  %99 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTIN3uno15EvaluationErrorE) #7
  %100 = icmp eq i32 %98, %99
  br i1 %100, label %101, label %233

101:                                              ; preds = %97
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #7
  %102 = load ptr, ptr %22, align 8
  %103 = call ptr @__cxa_begin_catch(ptr %102) #7
  store ptr %103, ptr %24, align 8
  %104 = load ptr, ptr %9, align 8, !tbaa !5
  %105 = load i64, ptr %17, align 8, !tbaa !13
  invoke void @_ZNK3uno22BacktrackingLineSearch14set_statisticsERNS_10StatisticsEm(ptr noundef nonnull align 8 dereferenceable(241) %33, ptr noundef nonnull align 8 dereferenceable(144) %104, i64 noundef %105)
          to label %106 unwind label %136

106:                                              ; preds = %101
  %107 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %25, ptr noundef @.str.17) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr %27) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %27) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %26, ptr noundef @.str.18, ptr noundef nonnull align 1 dereferenceable(1) %27)
          to label %108 unwind label %140

108:                                              ; preds = %106
  %109 = getelementptr inbounds { i64, ptr }, ptr %25, i32 0, i32 0
  %110 = load i64, ptr %109, align 8
  %111 = getelementptr inbounds { i64, ptr }, ptr %25, i32 0, i32 1
  %112 = load ptr, ptr %111, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %107, i64 %110, ptr %112, ptr noundef %26)
          to label %113 unwind label %144

113:                                              ; preds = %108
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %27) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %27) #7
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  br label %114

114:                                              ; preds = %113, %92
  %115 = load i8, ptr %21, align 1, !tbaa !11, !range !15, !noundef !16
  %116 = trunc i8 %115 to i1
  br i1 %116, label %117, label %152

117:                                              ; preds = %114
  %118 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 1
  %119 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %118) #7
  %120 = load ptr, ptr %10, align 8, !tbaa !5
  %121 = load ptr, ptr %12, align 8, !tbaa !5
  %122 = call noundef i32 @_ZN3uno28ConstraintRelaxationStrategy17check_terminationERKNS_5ModelERNS_7IterateE(ptr noundef nonnull align 8 dereferenceable(81) %119, ptr noundef nonnull align 8 dereferenceable(64) %120, ptr noundef nonnull align 8 dereferenceable(532) %121)
  %123 = load ptr, ptr %12, align 8, !tbaa !5
  %124 = getelementptr inbounds %"class.uno::Iterate", ptr %123, i32 0, i32 16
  store i32 %122, ptr %124, align 8, !tbaa !39
  %125 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 1
  %126 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %125) #7
  %127 = load ptr, ptr %9, align 8, !tbaa !5
  %128 = load ptr, ptr %12, align 8, !tbaa !5
  %129 = load ptr, ptr %126, align 8, !tbaa !37
  %130 = getelementptr inbounds ptr, ptr %129, i64 8
  %131 = load ptr, ptr %130, align 8
  call void %131(ptr noundef nonnull align 8 dereferenceable(81) %126, ptr noundef nonnull align 8 dereferenceable(144) %127, ptr noundef nonnull align 8 dereferenceable(532) %128)
  store i8 1, ptr %16, align 1, !tbaa !11
  %132 = load i32, ptr @_ZN3uno6Logger5levelE, align 4, !tbaa !17
  %133 = icmp eq i32 %132, 3
  br i1 %133, label %134, label %151

134:                                              ; preds = %117
  %135 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN3uno10Statistics18print_current_lineEv(ptr noundef nonnull align 8 dereferenceable(144) %135)
  br label %151

136:                                              ; preds = %101
  %137 = landingpad { ptr, i32 }
          cleanup
  %138 = extractvalue { ptr, i32 } %137, 0
  store ptr %138, ptr %22, align 8
  %139 = extractvalue { ptr, i32 } %137, 1
  store i32 %139, ptr %23, align 4
  br label %149

140:                                              ; preds = %106
  %141 = landingpad { ptr, i32 }
          cleanup
  %142 = extractvalue { ptr, i32 } %141, 0
  store ptr %142, ptr %22, align 8
  %143 = extractvalue { ptr, i32 } %141, 1
  store i32 %143, ptr %23, align 4
  br label %148

144:                                              ; preds = %108
  %145 = landingpad { ptr, i32 }
          cleanup
  %146 = extractvalue { ptr, i32 } %145, 0
  store ptr %146, ptr %22, align 8
  %147 = extractvalue { ptr, i32 } %145, 1
  store i32 %147, ptr %23, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #7
  br label %148

148:                                              ; preds = %144, %140
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %27) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %27) #7
  br label %149

149:                                              ; preds = %148, %136
  invoke void @__cxa_end_catch()
          to label %150 unwind label %240

150:                                              ; preds = %149
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  br label %233

151:                                              ; preds = %134, %117
  br label %232

152:                                              ; preds = %114
  %153 = load double, ptr %15, align 8, !tbaa !9
  %154 = getelementptr inbounds %"class.uno::BacktrackingLineSearch", ptr %33, i32 0, i32 2
  %155 = load double, ptr %154, align 8, !tbaa !58
  %156 = fcmp oge double %153, %155
  br i1 %156, label %157, label %165

157:                                              ; preds = %152
  %158 = load double, ptr %15, align 8, !tbaa !9
  %159 = call noundef double @_ZNK3uno22BacktrackingLineSearch20decrease_step_lengthEd(ptr noundef nonnull align 8 dereferenceable(241) %33, double noundef %158)
  store double %159, ptr %15, align 8, !tbaa !9
  %160 = load i32, ptr @_ZN3uno6Logger5levelE, align 4, !tbaa !17
  %161 = icmp eq i32 %160, 3
  br i1 %161, label %162, label %164

162:                                              ; preds = %157
  %163 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN3uno10Statistics18print_current_lineEv(ptr noundef nonnull align 8 dereferenceable(144) %163)
  br label %164

164:                                              ; preds = %162, %157
  br label %231

165:                                              ; preds = %152
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #7
  store i32 4, ptr %28, align 4, !tbaa !17
  %166 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA45_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %28, ptr noundef nonnull align 1 dereferenceable(45) @.str.19)
  %167 = getelementptr inbounds %"class.uno::BacktrackingLineSearch", ptr %33, i32 0, i32 2
  %168 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIdEERKNS_5LevelES3_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %166, ptr noundef nonnull align 8 dereferenceable(8) %167)
  call void @llvm.lifetime.start.p0(i64 1, ptr %29) #7
  store i8 10, ptr %29, align 1, !tbaa !19
  %169 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIcEERKNS_5LevelES3_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %168, ptr noundef nonnull align 1 dereferenceable(1) %29)
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #7
  %170 = load ptr, ptr %9, align 8, !tbaa !5
  %171 = load ptr, ptr %10, align 8, !tbaa !5
  %172 = load ptr, ptr %12, align 8, !tbaa !5
  %173 = call noundef zeroext i1 @_ZN3uno22BacktrackingLineSearch32terminate_with_small_step_lengthERNS_10StatisticsERKNS_5ModelERNS_7IterateE(ptr noundef nonnull align 8 dereferenceable(241) %33, ptr noundef nonnull align 8 dereferenceable(144) %170, ptr noundef nonnull align 8 dereferenceable(64) %171, ptr noundef nonnull align 8 dereferenceable(532) %172)
  %174 = zext i1 %173 to i8
  store i8 %174, ptr %16, align 1, !tbaa !11
  %175 = load i8, ptr %16, align 1, !tbaa !11, !range !15, !noundef !16
  %176 = trunc i8 %175 to i1
  br i1 %176, label %230, label %177

177:                                              ; preds = %165
  %178 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 1
  %179 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %178) #7
  %180 = load ptr, ptr %179, align 8, !tbaa !37
  %181 = getelementptr inbounds ptr, ptr %180, i64 4
  %182 = load ptr, ptr %181, align 8
  %183 = call noundef zeroext i1 %182(ptr noundef nonnull align 8 dereferenceable(81) %179)
  br i1 %183, label %187, label %184

184:                                              ; preds = %177
  %185 = load ptr, ptr %10, align 8, !tbaa !5
  %186 = call noundef zeroext i1 @_ZNK3uno5Model14is_constrainedEv(ptr noundef nonnull align 8 dereferenceable(64) %185)
  br i1 %186, label %194, label %187

187:                                              ; preds = %184, %177
  %188 = call ptr @__cxa_allocate_exception(i64 16) #7
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %188, ptr noundef @.str.20)
          to label %189 unwind label %190

189:                                              ; preds = %187
  call void @__cxa_throw(ptr %188, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #8
  unreachable

190:                                              ; preds = %187
  %191 = landingpad { ptr, i32 }
          cleanup
  %192 = extractvalue { ptr, i32 } %191, 0
  store ptr %192, ptr %22, align 8
  %193 = extractvalue { ptr, i32 } %191, 1
  store i32 %193, ptr %23, align 4
  call void @__cxa_free_exception(ptr %188) #7
  br label %233

194:                                              ; preds = %184
  %195 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %30, ptr noundef @.str.17) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr %32) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %32) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %31, ptr noundef @.str.21, ptr noundef nonnull align 1 dereferenceable(1) %32)
          to label %196 unwind label %221

196:                                              ; preds = %194
  %197 = getelementptr inbounds { i64, ptr }, ptr %30, i32 0, i32 0
  %198 = load i64, ptr %197, align 8
  %199 = getelementptr inbounds { i64, ptr }, ptr %30, i32 0, i32 1
  %200 = load ptr, ptr %199, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %195, i64 %198, ptr %200, ptr noundef %31)
          to label %201 unwind label %225

201:                                              ; preds = %196
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %32) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #7
  %202 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 1
  %203 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %202) #7
  %204 = load ptr, ptr %9, align 8, !tbaa !5
  %205 = load ptr, ptr %10, align 8, !tbaa !5
  %206 = load ptr, ptr %11, align 8, !tbaa !5
  %207 = load ptr, ptr %13, align 8, !tbaa !5
  %208 = load ptr, ptr %203, align 8, !tbaa !37
  %209 = getelementptr inbounds ptr, ptr %208, i64 5
  %210 = load ptr, ptr %209, align 8
  call void %210(ptr noundef nonnull align 8 dereferenceable(81) %203, ptr noundef nonnull align 8 dereferenceable(144) %204, ptr noundef nonnull align 8 dereferenceable(64) %205, ptr noundef nonnull align 8 dereferenceable(532) %206, ptr noundef nonnull align 1 %207)
  %211 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 1
  %212 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %211) #7
  %213 = load ptr, ptr %9, align 8, !tbaa !5
  %214 = load ptr, ptr %10, align 8, !tbaa !5
  %215 = load ptr, ptr %11, align 8, !tbaa !5
  %216 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 2
  %217 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 2
  %218 = getelementptr inbounds %"class.uno::Direction", ptr %217, i32 0, i32 2
  %219 = load ptr, ptr %13, align 8, !tbaa !5
  call void @_ZN3uno28ConstraintRelaxationStrategy26compute_feasible_directionERNS_10StatisticsERKNS_5ModelERNS_7IterateERNS_9DirectionERKNS_6VectorIdEERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(81) %212, ptr noundef nonnull align 8 dereferenceable(144) %213, ptr noundef nonnull align 8 dereferenceable(64) %214, ptr noundef nonnull align 8 dereferenceable(532) %215, ptr noundef nonnull align 8 dereferenceable(208) %216, ptr noundef nonnull align 8 dereferenceable(24) %218, ptr noundef nonnull align 1 %219)
  %220 = getelementptr inbounds %"class.uno::GlobalizationMechanism", ptr %33, i32 0, i32 2
  call void @_ZN3uno22BacktrackingLineSearch19check_unboundednessERKNS_9DirectionE(ptr noundef nonnull align 8 dereferenceable(208) %220)
  store double 1.000000e+00, ptr %15, align 8, !tbaa !9
  store i64 0, ptr %17, align 8, !tbaa !13
  br label %230

221:                                              ; preds = %194
  %222 = landingpad { ptr, i32 }
          cleanup
  %223 = extractvalue { ptr, i32 } %222, 0
  store ptr %223, ptr %22, align 8
  %224 = extractvalue { ptr, i32 } %222, 1
  store i32 %224, ptr %23, align 4
  br label %229

225:                                              ; preds = %196
  %226 = landingpad { ptr, i32 }
          cleanup
  %227 = extractvalue { ptr, i32 } %226, 0
  store ptr %227, ptr %22, align 8
  %228 = extractvalue { ptr, i32 } %226, 1
  store i32 %228, ptr %23, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  br label %229

229:                                              ; preds = %225, %221
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %32) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #7
  br label %233

230:                                              ; preds = %201, %165
  br label %231

231:                                              ; preds = %230, %164
  br label %232

232:                                              ; preds = %231, %151
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #7
  br label %34, !llvm.loop !59

233:                                              ; preds = %229, %190, %150, %97
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #7
  br label %235

234:                                              ; preds = %34
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #7
  ret void

235:                                              ; preds = %233
  %236 = load ptr, ptr %22, align 8
  %237 = load i32, ptr %23, align 4
  %238 = insertvalue { ptr, i32 } poison, ptr %236, 0
  %239 = insertvalue { ptr, i32 } %238, i32 %237, 1
  resume { ptr, i32 } %239

240:                                              ; preds = %149
  %241 = landingpad { ptr, i32 }
          catch ptr null
  %242 = extractvalue { ptr, i32 } %241, 0
  call void @__clang_call_terminate(ptr %242) #9
  unreachable
}

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA15_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 1 dereferenceable(15)) #2

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA25_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 1 dereferenceable(25)) #2

declare void @_ZN3uno10Statistics14start_new_lineEv(ptr noundef nonnull align 8 dereferenceable(144)) #3

declare void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEEd(ptr noundef nonnull align 8 dereferenceable(144), i64, ptr, double noundef) #3

declare void @_ZN3uno22GlobalizationMechanism22assemble_trial_iterateERKNS_5ModelERNS_7IterateES5_RKNS_9DirectionEdd(ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(208), double noundef, double noundef) #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3uno22BacktrackingLineSearch14set_statisticsERNS_10StatisticsERKNS_7IterateERKNS_9DirectionEdm(ptr noundef nonnull align 8 dereferenceable(241), ptr noundef nonnull align 8 dereferenceable(144), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(208), double noundef, i64 noundef) #2 align 2

; Function Attrs: nounwind memory(none)
declare i32 @llvm.eh.typeid.for.p0(ptr) #4

declare ptr @__cxa_begin_catch(ptr)

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

declare void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144), i64, ptr, ptr noundef) #3

declare void @__cxa_end_catch()

; Function Attrs: noinline noreturn nounwind uwtable
declare hidden void @__clang_call_terminate(ptr noundef) #5

declare noundef i32 @_ZN3uno28ConstraintRelaxationStrategy17check_terminationERKNS_5ModelERNS_7IterateE(ptr noundef nonnull align 8 dereferenceable(81), ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(532)) #3

declare void @_ZN3uno10Statistics18print_current_lineEv(ptr noundef nonnull align 8 dereferenceable(144)) #3

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA45_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 1 dereferenceable(45)) #2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN3uno22BacktrackingLineSearch32terminate_with_small_step_lengthERNS_10StatisticsERKNS_5ModelERNS_7IterateE(ptr noundef nonnull align 8 dereferenceable(241), ptr noundef nonnull align 8 dereferenceable(144), ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(532)) #2 align 2

declare noundef zeroext i1 @_ZNK3uno5Model14is_constrainedEv(ptr noundef nonnull align 8 dereferenceable(64)) #3

declare ptr @__cxa_allocate_exception(i64)

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

declare void @__cxa_free_exception(ptr)

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

declare void @__cxa_throw(ptr, ptr, ptr)

declare void @_ZN3uno28ConstraintRelaxationStrategy26compute_feasible_directionERNS_10StatisticsERKNS_5ModelERNS_7IterateERNS_9DirectionERKNS_6VectorIdEERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(81), ptr noundef nonnull align 8 dereferenceable(144), ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(208), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 1) #3

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind memory(none) }
attributes #5 = { noinline noreturn nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nounwind }
attributes #8 = { noreturn }
attributes #9 = { noreturn 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 = !{!"double", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"bool", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{i8 0, i8 2}
!16 = !{}
!17 = !{!18, !18, i64 0}
!18 = !{!"_ZTSN3uno5LevelE", !7, i64 0}
!19 = !{!7, !7, i64 0}
!20 = !{!21, !12, i64 240}
!21 = !{!"_ZTSN3uno22BacktrackingLineSearchE", !22, i64 0, !10, i64 224, !10, i64 232, !12, i64 240}
!22 = !{!"_ZTSN3uno22GlobalizationMechanismE", !23, i64 8, !29, i64 16}
!23 = !{!"_ZTSSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EE", !24, i64 0}
!24 = !{!"_ZTSSt15__uniq_ptr_dataIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_ELb1ELb1EE", !25, i64 0}
!25 = !{!"_ZTSSt15__uniq_ptr_implIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EE", !26, i64 0}
!26 = !{!"_ZTSSt5tupleIJPN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEE", !27, i64 0}
!27 = !{!"_ZTSSt11_Tuple_implILm0EJPN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEE", !28, i64 0}
!28 = !{!"_ZTSSt10_Head_baseILm0EPN3uno28ConstraintRelaxationStrategyELb0EE", !6, i64 0}
!29 = !{!"_ZTSN3uno9DirectionE", !14, i64 0, !14, i64 8, !30, i64 16, !35, i64 40, !35, i64 112, !36, i64 184, !10, i64 192, !10, i64 200}
!30 = !{!"_ZTSN3uno6VectorIdEE", !31, i64 0}
!31 = !{!"_ZTSSt6vectorIdSaIdEE", !32, i64 0}
!32 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!35 = !{!"_ZTSN3uno11MultipliersE", !30, i64 0, !30, i64 24, !30, i64 48}
!36 = !{!"_ZTSN3uno16SubproblemStatusE", !7, i64 0}
!37 = !{!38, !38, i64 0}
!38 = !{!"vtable pointer", !8, i64 0}
!39 = !{!40, !57, i64 528}
!40 = !{!"_ZTSN3uno7IterateE", !14, i64 0, !14, i64 8, !30, i64 16, !35, i64 40, !35, i64 112, !10, i64 184, !41, i64 192, !12, i64 304, !12, i64 305, !12, i64 306, !12, i64 307, !10, i64 312, !52, i64 320, !52, i64 400, !54, i64 480, !57, i64 528}
!41 = !{!"_ZTSN3uno11EvaluationsE", !10, i64 0, !31, i64 8, !42, i64 32, !47, i64 88}
!42 = !{!"_ZTSN3uno12SparseVectorIdEE", !43, i64 0, !31, i64 24, !14, i64 48}
!43 = !{!"_ZTSSt6vectorImSaImEE", !44, i64 0}
!44 = !{!"_ZTSSt12_Vector_baseImSaImEE", !45, i64 0}
!45 = !{!"_ZTSNSt12_Vector_baseImSaImEE12_Vector_implE", !46, i64 0}
!46 = !{!"_ZTSNSt12_Vector_baseImSaImEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!47 = !{!"_ZTSN3uno17RectangularMatrixIdEE", !48, i64 0}
!48 = !{!"_ZTSSt6vectorIN3uno12SparseVectorIdEESaIS2_EE", !49, i64 0}
!49 = !{!"_ZTSSt12_Vector_baseIN3uno12SparseVectorIdEESaIS2_EE", !50, i64 0}
!50 = !{!"_ZTSNSt12_Vector_baseIN3uno12SparseVectorIdEESaIS2_EE12_Vector_implE", !51, i64 0}
!51 = !{!"_ZTSNSt12_Vector_baseIN3uno12SparseVectorIdEESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!52 = !{!"_ZTSN3uno13DualResidualsE", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !53, i64 32}
!53 = !{!"_ZTSN3uno18LagrangianGradientIdEE", !30, i64 0, !30, i64 24}
!54 = !{!"_ZTSN3uno16ProgressMeasuresE", !10, i64 0, !55, i64 8, !10, i64 40}
!55 = !{!"_ZTSSt8functionIFddEE", !56, i64 0, !6, i64 24}
!56 = !{!"_ZTSSt14_Function_base", !7, i64 0, !6, i64 16}
!57 = !{!"_ZTSN3uno13IterateStatusE", !7, i64 0}
!58 = !{!21, !10, i64 232}
!59 = distinct !{!59, !60}
!60 = !{!"llvm.loop.mustprogress"}


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

%"class.std::basic_string_view" = type { i64, ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::allocator.10" = type { i8 }

@.str.10 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [15 x i8], align 1
@_ZTIN3uno15EvaluationErrorE = external dso_local constant { ptr, ptr, ptr }, align 8
@.str.17 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [12 x i8], align 1
@_ZN3uno6Logger5levelE = external local_unnamed_addr global i32, align 4
@.str.19 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [10 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.21 = external hidden unnamed_addr constant [18 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

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

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

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress 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 @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull) unnamed_addr #1 align 2

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3uno22BacktrackingLineSearch25backtrack_along_directionERNS_10StatisticsERKNS_5ModelERNS_7IterateES7_RNS_20WarmstartInformationERNS_13UserCallbacksE(ptr noundef nonnull align 8 dereferenceable(241) %0, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(64) %2, ptr noundef nonnull align 8 dereferenceable(532) %3, ptr noundef nonnull align 8 dereferenceable(532) %4, ptr noundef nonnull align 1 %5, ptr noundef nonnull align 1 %6) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %8 = alloca double, align 8
  %9 = alloca i64, align 8
  %10 = alloca i32, align 4
  %11 = alloca i8, align 1
  %12 = alloca %"class.std::basic_string_view", align 8
  %13 = alloca %"class.std::basic_string_view", align 8
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::allocator.10", align 1
  %16 = alloca i32, align 4
  %17 = alloca i8, align 1
  %18 = alloca %"class.std::basic_string_view", align 8
  %19 = alloca %"class.std::__cxx11::basic_string", align 8
  %20 = alloca %"class.std::allocator.10", align 1
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #7
  store double 1.000000e+00, ptr %8, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #7
  store i64 0, ptr %9, align 8, !tbaa !9
  %21 = getelementptr inbounds i8, ptr %12, i64 8
  %22 = getelementptr inbounds i8, ptr %0, i64 16
  %23 = getelementptr inbounds i8, ptr %0, i64 240
  %24 = getelementptr inbounds i8, ptr %0, i64 8
  %25 = getelementptr inbounds i8, ptr %13, i64 8
  %26 = getelementptr inbounds i8, ptr %0, i64 232
  %27 = getelementptr inbounds i8, ptr %18, i64 8
  %28 = getelementptr inbounds i8, ptr %0, i64 32
  %29 = getelementptr inbounds i8, ptr %4, i64 528
  br label %30

30:                                               ; preds = %.backedge, %7
  %31 = load i64, ptr %9, align 8, !tbaa !9
  %32 = add i64 %31, 1
  store i64 %32, ptr %9, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #7
  store i32 4, ptr %10, align 4, !tbaa !11
  %33 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA25_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %10, ptr noundef nonnull align 1 dereferenceable(25) @.str.15)
  %34 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsImEERKNS_5LevelES3_RT_(ptr noundef nonnull align 4 dereferenceable(4) %33, ptr noundef nonnull align 8 dereferenceable(8) %9)
  %35 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA15_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %34, ptr noundef nonnull align 1 dereferenceable(15) @.str.16)
  %36 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIdEERKNS_5LevelES3_RT_(ptr noundef nonnull align 4 dereferenceable(4) %35, ptr noundef nonnull align 8 dereferenceable(8) %8)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %11) #7
  store i8 10, ptr %11, align 1, !tbaa !13
  %37 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIcEERKNS_5LevelES3_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %36, ptr noundef nonnull align 1 dereferenceable(1) %11)
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %11) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #7
  %38 = load i64, ptr %9, align 8, !tbaa !9
  %39 = icmp ugt i64 %38, 1
  br i1 %39, label %40, label %41

40:                                               ; preds = %30
  call void @_ZN3uno10Statistics14start_new_lineEv(ptr noundef nonnull align 8 dereferenceable(144) %1)
  br label %41

41:                                               ; preds = %40, %30
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %12, ptr noundef @.str.10) #7
  %42 = load double, ptr %8, align 8, !tbaa !5
  %43 = load i64, ptr %12, align 8
  %44 = load ptr, ptr %21, align 8
  call void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEEd(ptr noundef nonnull align 8 dereferenceable(144) %1, i64 %43, ptr %44, double noundef %42)
  %45 = load double, ptr %8, align 8
  %46 = load i8, ptr %23, align 8, !tbaa !14, !range !33, !noundef !34
  %47 = trunc nuw i8 %46 to i1
  %48 = select i1 %47, double %45, double 1.000000e+00
  invoke void @_ZN3uno22GlobalizationMechanism22assemble_trial_iterateERKNS_5ModelERNS_7IterateES5_RKNS_9DirectionEdd(ptr noundef nonnull align 8 dereferenceable(64) %2, ptr noundef nonnull align 8 dereferenceable(532) %3, ptr noundef nonnull align 8 dereferenceable(532) %4, ptr noundef nonnull align 8 dereferenceable(208) %22, double noundef %45, double noundef %48)
          to label %49 unwind label %59

49:                                               ; preds = %41
  %50 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  %51 = load double, ptr %8, align 8, !tbaa !5
  %52 = load ptr, ptr %50, align 8, !tbaa !35
  %53 = getelementptr inbounds i8, ptr %52, i64 48
  %54 = load ptr, ptr %53, align 8
  %55 = invoke noundef zeroext i1 %54(ptr noundef nonnull align 8 dereferenceable(81) %50, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(64) %2, ptr noundef nonnull align 8 dereferenceable(532) %3, ptr noundef nonnull align 8 dereferenceable(532) %4, ptr noundef nonnull align 8 dereferenceable(208) %22, double noundef %51, ptr noundef nonnull align 1 %5, ptr noundef nonnull align 1 %6)
          to label %56 unwind label %59

56:                                               ; preds = %49
  %57 = load double, ptr %8, align 8, !tbaa !5
  %58 = load i64, ptr %9, align 8, !tbaa !9
  invoke void @_ZNK3uno22BacktrackingLineSearch14set_statisticsERNS_10StatisticsERKNS_7IterateERKNS_9DirectionEdm(ptr noundef nonnull align 8 dereferenceable(241) %0, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(532) %4, ptr noundef nonnull align 8 dereferenceable(208) %22, double noundef %57, i64 noundef %58)
          to label %73 unwind label %59

59:                                               ; preds = %56, %49, %41
  %.048 = phi i1 [ %55, %56 ], [ false, %49 ], [ false, %41 ]
  %60 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno15EvaluationErrorE
  %61 = extractvalue { ptr, i32 } %60, 1
  %62 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTIN3uno15EvaluationErrorE) #7
  %63 = icmp eq i32 %61, %62
  br i1 %63, label %64, label %.loopexit

64:                                               ; preds = %59
  %65 = extractvalue { ptr, i32 } %60, 0
  %66 = call ptr @__cxa_begin_catch(ptr %65) #7
  %67 = load i64, ptr %9, align 8, !tbaa !9
  invoke void @_ZNK3uno22BacktrackingLineSearch14set_statisticsERNS_10StatisticsEm(ptr noundef nonnull align 8 dereferenceable(241) %0, ptr noundef nonnull align 8 dereferenceable(144) %1, i64 noundef %67)
          to label %68 unwind label %84

68:                                               ; preds = %64
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %13, ptr noundef @.str.17) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %15) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef nonnull @.str.18, ptr noundef nonnull align 1 dereferenceable(1) %15)
          to label %69 unwind label %86

69:                                               ; preds = %68
  %70 = load i64, ptr %13, align 8
  %71 = load ptr, ptr %25, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %1, i64 %70, ptr %71, ptr noundef nonnull %14)
          to label %72 unwind label %88

72:                                               ; preds = %69
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %15) #7
  call void @__cxa_end_catch()
  br i1 %.048, label %74, label %92

73:                                               ; preds = %56
  br i1 %55, label %74, label %92

74:                                               ; preds = %72, %73
  %75 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  %76 = call noundef i32 @_ZN3uno28ConstraintRelaxationStrategy17check_terminationERKNS_5ModelERNS_7IterateE(ptr noundef nonnull align 8 dereferenceable(81) %75, ptr noundef nonnull align 8 dereferenceable(64) %2, ptr noundef nonnull align 8 dereferenceable(532) %4)
  store i32 %76, ptr %29, align 8, !tbaa !37
  %77 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  %78 = load ptr, ptr %77, align 8, !tbaa !35
  %79 = getelementptr inbounds i8, ptr %78, i64 64
  %80 = load ptr, ptr %79, align 8
  call void %80(ptr noundef nonnull align 8 dereferenceable(81) %77, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(532) %4)
  %81 = load i32, ptr @_ZN3uno6Logger5levelE, align 4, !tbaa !11
  %82 = icmp eq i32 %81, 3
  br i1 %82, label %83, label %.loopexit64

83:                                               ; preds = %74
  call void @_ZN3uno10Statistics18print_current_lineEv(ptr noundef nonnull align 8 dereferenceable(144) %1)
  br label %.loopexit64

84:                                               ; preds = %64
  %85 = landingpad { ptr, i32 }
          cleanup
  br label %91

86:                                               ; preds = %68
  %87 = landingpad { ptr, i32 }
          cleanup
  br label %90

88:                                               ; preds = %69
  %89 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  br label %90

90:                                               ; preds = %88, %86
  %.pn = phi { ptr, i32 } [ %89, %88 ], [ %87, %86 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %15) #7
  br label %91

91:                                               ; preds = %90, %84
  %.pn.pn = phi { ptr, i32 } [ %.pn, %90 ], [ %85, %84 ]
  invoke void @__cxa_end_catch()
          to label %.loopexit unwind label %134

92:                                               ; preds = %72, %73
  %93 = load double, ptr %8, align 8, !tbaa !5
  %94 = load double, ptr %26, align 8, !tbaa !56
  %95 = fcmp ult double %93, %94
  br i1 %95, label %101, label %96

96:                                               ; preds = %92
  %97 = call noundef double @_ZNK3uno22BacktrackingLineSearch20decrease_step_lengthEd(ptr noundef nonnull align 8 dereferenceable(241) %0, double noundef %93)
  store double %97, ptr %8, align 8, !tbaa !5
  %98 = load i32, ptr @_ZN3uno6Logger5levelE, align 4, !tbaa !11
  %99 = icmp eq i32 %98, 3
  br i1 %99, label %100, label %.backedge

100:                                              ; preds = %96
  call void @_ZN3uno10Statistics18print_current_lineEv(ptr noundef nonnull align 8 dereferenceable(144) %1)
  br label %.backedge

.backedge:                                        ; preds = %100, %96, %123
  br label %30, !llvm.loop !57

101:                                              ; preds = %92
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %16) #7
  store i32 4, ptr %16, align 4, !tbaa !11
  %102 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA45_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %16, ptr noundef nonnull align 1 dereferenceable(45) @.str.19)
  %103 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIdEERKNS_5LevelES3_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %102, ptr noundef nonnull align 8 dereferenceable(8) %26)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %17) #7
  store i8 10, ptr %17, align 1, !tbaa !13
  %104 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIcEERKNS_5LevelES3_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %103, ptr noundef nonnull align 1 dereferenceable(1) %17)
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %17) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #7
  %105 = call noundef zeroext i1 @_ZN3uno22BacktrackingLineSearch32terminate_with_small_step_lengthERNS_10StatisticsERKNS_5ModelERNS_7IterateE(ptr noundef nonnull align 8 dereferenceable(241) %0, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(64) %2, ptr noundef nonnull align 8 dereferenceable(532) %4)
  br i1 %105, label %.loopexit64, label %106

106:                                              ; preds = %101
  %107 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  %108 = load ptr, ptr %107, align 8, !tbaa !35
  %109 = getelementptr inbounds i8, ptr %108, i64 32
  %110 = load ptr, ptr %109, align 8
  %111 = call noundef zeroext i1 %110(ptr noundef nonnull align 8 dereferenceable(81) %107)
  br i1 %111, label %114, label %112

112:                                              ; preds = %106
  %113 = call noundef zeroext i1 @_ZNK3uno5Model14is_constrainedEv(ptr noundef nonnull align 8 dereferenceable(64) %2)
  br i1 %113, label %119, label %114

114:                                              ; preds = %112, %106
  %115 = call ptr @__cxa_allocate_exception(i64 16) #7
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %115, ptr noundef nonnull @.str.20)
          to label %116 unwind label %117

116:                                              ; preds = %114
  call void @__cxa_throw(ptr nonnull %115, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #8
  unreachable

117:                                              ; preds = %114
  %118 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %115) #7
  br label %.loopexit

119:                                              ; preds = %112
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %18, ptr noundef @.str.17) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %20) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull @.str.21, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %120 unwind label %129

120:                                              ; preds = %119
  %121 = load i64, ptr %18, align 8
  %122 = load ptr, ptr %27, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %1, i64 %121, ptr %122, ptr noundef nonnull %19)
          to label %123 unwind label %131

123:                                              ; preds = %120
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #7
  %124 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  %125 = load ptr, ptr %124, align 8, !tbaa !35
  %126 = getelementptr inbounds i8, ptr %125, i64 40
  %127 = load ptr, ptr %126, align 8
  call void %127(ptr noundef nonnull align 8 dereferenceable(81) %124, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(64) %2, ptr noundef nonnull align 8 dereferenceable(532) %3, ptr noundef nonnull align 1 %5)
  %128 = call noundef ptr @_ZNKSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  call void @_ZN3uno28ConstraintRelaxationStrategy26compute_feasible_directionERNS_10StatisticsERKNS_5ModelERNS_7IterateERNS_9DirectionERKNS_6VectorIdEERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(81) %128, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(64) %2, ptr noundef nonnull align 8 dereferenceable(532) %3, ptr noundef nonnull align 8 dereferenceable(208) %22, ptr noundef nonnull align 8 dereferenceable(24) %28, ptr noundef nonnull align 1 %5)
  call void @_ZN3uno22BacktrackingLineSearch19check_unboundednessERKNS_9DirectionE(ptr noundef nonnull align 8 dereferenceable(208) %22)
  store double 1.000000e+00, ptr %8, align 8, !tbaa !5
  store i64 0, ptr %9, align 8, !tbaa !9
  br label %.backedge

129:                                              ; preds = %119
  %130 = landingpad { ptr, i32 }
          cleanup
  br label %133

131:                                              ; preds = %120
  %132 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  br label %133

133:                                              ; preds = %131, %129
  %.pn54 = phi { ptr, i32 } [ %132, %131 ], [ %130, %129 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #7
  br label %.loopexit

.loopexit:                                        ; preds = %59, %91, %133, %117
  %.merged = phi { ptr, i32 } [ %118, %117 ], [ %.pn54, %133 ], [ %.pn.pn, %91 ], [ %60, %59 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #7
  resume { ptr, i32 } %.merged

.loopexit64:                                      ; preds = %101, %83, %74
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #7
  ret void

134:                                              ; preds = %91
  %135 = landingpad { ptr, i32 }
          catch ptr null
  %136 = extractvalue { ptr, i32 } %135, 0
  call void @__clang_call_terminate(ptr %136) #9
  unreachable
}

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA15_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 1 dereferenceable(15)) local_unnamed_addr #2

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA25_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 1 dereferenceable(25)) local_unnamed_addr #2

declare void @_ZN3uno10Statistics14start_new_lineEv(ptr noundef nonnull align 8 dereferenceable(144)) local_unnamed_addr #3

declare void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEEd(ptr noundef nonnull align 8 dereferenceable(144), i64, ptr, double noundef) local_unnamed_addr #3

declare void @_ZN3uno22GlobalizationMechanism22assemble_trial_iterateERKNS_5ModelERNS_7IterateES5_RKNS_9DirectionEdd(ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(208), double noundef, double noundef) local_unnamed_addr #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3uno22BacktrackingLineSearch14set_statisticsERNS_10StatisticsERKNS_7IterateERKNS_9DirectionEdm(ptr noundef nonnull align 8 dereferenceable(241), ptr noundef nonnull align 8 dereferenceable(144), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(208), double noundef, i64 noundef) local_unnamed_addr #2 align 2

; Function Attrs: nofree nosync nounwind memory(none)
declare i32 @llvm.eh.typeid.for.p0(ptr) #4

declare ptr @__cxa_begin_catch(ptr) local_unnamed_addr

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

declare void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144), i64, ptr, ptr noundef) local_unnamed_addr #3

declare void @__cxa_end_catch() local_unnamed_addr

; Function Attrs: noinline noreturn nounwind uwtable
declare hidden void @__clang_call_terminate(ptr noundef) local_unnamed_addr #5

declare noundef i32 @_ZN3uno28ConstraintRelaxationStrategy17check_terminationERKNS_5ModelERNS_7IterateE(ptr noundef nonnull align 8 dereferenceable(81), ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(532)) local_unnamed_addr #3

declare void @_ZN3uno10Statistics18print_current_lineEv(ptr noundef nonnull align 8 dereferenceable(144)) local_unnamed_addr #3

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA45_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 1 dereferenceable(45)) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN3uno22BacktrackingLineSearch32terminate_with_small_step_lengthERNS_10StatisticsERKNS_5ModelERNS_7IterateE(ptr noundef nonnull align 8 dereferenceable(241), ptr noundef nonnull align 8 dereferenceable(144), ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(532)) local_unnamed_addr #2 align 2

declare noundef zeroext i1 @_ZNK3uno5Model14is_constrainedEv(ptr noundef nonnull align 8 dereferenceable(64)) local_unnamed_addr #3

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

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

declare void @__cxa_free_exception(ptr) local_unnamed_addr

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

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

declare void @_ZN3uno28ConstraintRelaxationStrategy26compute_feasible_directionERNS_10StatisticsERKNS_5ModelERNS_7IterateERNS_9DirectionERKNS_6VectorIdEERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(81), ptr noundef nonnull align 8 dereferenceable(144), ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(208), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 1) local_unnamed_addr #3

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "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 = { nofree nosync nounwind memory(none) }
attributes #5 = { noinline noreturn nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nounwind }
attributes #8 = { noreturn }
attributes #9 = { noreturn 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 = !{!"double", !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 = !{!"_ZTSN3uno5LevelE", !7, i64 0}
!13 = !{!7, !7, i64 0}
!14 = !{!15, !32, i64 240}
!15 = !{!"_ZTSN3uno22BacktrackingLineSearchE", !16, i64 0, !6, i64 224, !6, i64 232, !32, i64 240}
!16 = !{!"_ZTSN3uno22GlobalizationMechanismE", !17, i64 8, !24, i64 16}
!17 = !{!"_ZTSSt10unique_ptrIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EE", !18, i64 0}
!18 = !{!"_ZTSSt15__uniq_ptr_dataIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_ELb1ELb1EE", !19, i64 0}
!19 = !{!"_ZTSSt15__uniq_ptr_implIN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EE", !20, i64 0}
!20 = !{!"_ZTSSt5tupleIJPN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEE", !21, i64 0}
!21 = !{!"_ZTSSt11_Tuple_implILm0EJPN3uno28ConstraintRelaxationStrategyESt14default_deleteIS1_EEE", !22, i64 0}
!22 = !{!"_ZTSSt10_Head_baseILm0EPN3uno28ConstraintRelaxationStrategyELb0EE", !23, i64 0}
!23 = !{!"any pointer", !7, i64 0}
!24 = !{!"_ZTSN3uno9DirectionE", !10, i64 0, !10, i64 8, !25, i64 16, !30, i64 40, !30, i64 112, !31, i64 184, !6, i64 192, !6, i64 200}
!25 = !{!"_ZTSN3uno6VectorIdEE", !26, i64 0}
!26 = !{!"_ZTSSt6vectorIdSaIdEE", !27, i64 0}
!27 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !23, i64 0, !23, i64 8, !23, i64 16}
!30 = !{!"_ZTSN3uno11MultipliersE", !25, i64 0, !25, i64 24, !25, i64 48}
!31 = !{!"_ZTSN3uno16SubproblemStatusE", !7, i64 0}
!32 = !{!"bool", !7, i64 0}
!33 = !{i8 0, i8 2}
!34 = !{}
!35 = !{!36, !36, i64 0}
!36 = !{!"vtable pointer", !8, i64 0}
!37 = !{!38, !55, i64 528}
!38 = !{!"_ZTSN3uno7IterateE", !10, i64 0, !10, i64 8, !25, i64 16, !30, i64 40, !30, i64 112, !6, i64 184, !39, i64 192, !32, i64 304, !32, i64 305, !32, i64 306, !32, i64 307, !6, i64 312, !50, i64 320, !50, i64 400, !52, i64 480, !55, i64 528}
!39 = !{!"_ZTSN3uno11EvaluationsE", !6, i64 0, !26, i64 8, !40, i64 32, !45, i64 88}
!40 = !{!"_ZTSN3uno12SparseVectorIdEE", !41, i64 0, !26, i64 24, !10, i64 48}
!41 = !{!"_ZTSSt6vectorImSaImEE", !42, i64 0}
!42 = !{!"_ZTSSt12_Vector_baseImSaImEE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseImSaImEE12_Vector_implE", !44, i64 0}
!44 = !{!"_ZTSNSt12_Vector_baseImSaImEE17_Vector_impl_dataE", !23, i64 0, !23, i64 8, !23, i64 16}
!45 = !{!"_ZTSN3uno17RectangularMatrixIdEE", !46, i64 0}
!46 = !{!"_ZTSSt6vectorIN3uno12SparseVectorIdEESaIS2_EE", !47, i64 0}
!47 = !{!"_ZTSSt12_Vector_baseIN3uno12SparseVectorIdEESaIS2_EE", !48, i64 0}
!48 = !{!"_ZTSNSt12_Vector_baseIN3uno12SparseVectorIdEESaIS2_EE12_Vector_implE", !49, i64 0}
!49 = !{!"_ZTSNSt12_Vector_baseIN3uno12SparseVectorIdEESaIS2_EE17_Vector_impl_dataE", !23, i64 0, !23, i64 8, !23, i64 16}
!50 = !{!"_ZTSN3uno13DualResidualsE", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !51, i64 32}
!51 = !{!"_ZTSN3uno18LagrangianGradientIdEE", !25, i64 0, !25, i64 24}
!52 = !{!"_ZTSN3uno16ProgressMeasuresE", !6, i64 0, !53, i64 8, !6, i64 40}
!53 = !{!"_ZTSSt8functionIFddEE", !54, i64 0, !23, i64 24}
!54 = !{!"_ZTSSt14_Function_base", !7, i64 0, !23, i64 16}
!55 = !{!"_ZTSN3uno13IterateStatusE", !7, i64 0}
!56 = !{!15, !6, i64 232}
!57 = distinct !{!57, !58}
!58 = !{!"llvm.loop.mustprogress"}


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