; LLVM IR from cvanaret/Uno :: uno/ingredients/constraint_relaxation_strategies (FeasibilityRestoration)

; 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.26" = type { i8 }
%"class.uno::OptimizationProblem" = type { ptr, ptr, i64, i64 }
%"class.uno::l1RelaxedProblem" = type { %"class.uno::OptimizationProblem", i64, double, double, double, ptr, %"class.uno::Concatenation", %"class.uno::Concatenation" }
%"class.uno::Concatenation" = type { %"class.uno::Collection", ptr, %"class.uno::Range" }
%"class.uno::Collection" = type { ptr }
%"class.uno::Range" = type { %"class.uno::Collection", i64, i64 }
%"class.uno::FeasibilityRestoration" = type { %"class.uno::ConstraintRelaxationStrategy.base", i32, double, i8, %"class.std::unique_ptr.10", %"class.std::unique_ptr.10", double, i8, %"struct.uno::ProgressMeasures", %"class.uno::Vector" }
%"class.uno::ConstraintRelaxationStrategy.base" = type <{ ptr, %"class.std::unique_ptr", %"class.std::unique_ptr.2", i32, i32, double, double, double, i64, i64, double, i8 }>
%"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.std::unique_ptr.2" = type { %"struct.std::__uniq_ptr_data.3" }
%"struct.std::__uniq_ptr_data.3" = type { %"class.std::__uniq_ptr_impl.4" }
%"class.std::__uniq_ptr_impl.4" = type { %"class.std::tuple.5" }
%"class.std::tuple.5" = type { %"struct.std::_Tuple_impl.6" }
%"struct.std::_Tuple_impl.6" = type { %"struct.std::_Head_base.9" }
%"struct.std::_Head_base.9" = type { ptr }
%"class.std::unique_ptr.10" = type { %"struct.std::__uniq_ptr_data.11" }
%"struct.std::__uniq_ptr_data.11" = type { %"class.std::__uniq_ptr_impl.12" }
%"class.std::__uniq_ptr_impl.12" = type { %"class.std::tuple.13" }
%"class.std::tuple.13" = type { %"struct.std::_Tuple_impl.14" }
%"struct.std::_Tuple_impl.14" = type { %"struct.std::_Head_base.17" }
%"struct.std::_Head_base.17" = type { ptr }
%"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 } }
%"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::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] }>
%"class.uno::Multipliers" = type { %"class.uno::Vector", %"class.uno::Vector", %"class.uno::Vector" }
%"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" }
%"class.uno::Direction" = type { i64, i64, %"class.uno::Vector", %"class.uno::Multipliers", %"class.uno::Multipliers", i32, double, double }
%"class.uno::ConstraintRelaxationStrategy" = type <{ ptr, %"class.std::unique_ptr", %"class.std::unique_ptr.2", i32, i32, double, double, double, i64, i64, double, i8, [7 x i8] }>

@.str.9 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [4 x i8], align 1
@_ZTIN3uno22UnstableRegularizationE = external dso_local constant { ptr, ptr, ptr }, align 8
@.str.12 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [5 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

declare void @_ZN3uno19OptimizationProblemC1ERKNS_5ModelE(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(64)) unnamed_addr #3

declare void @_ZN3uno16l1RelaxedProblemC1ERKNS_5ModelEdd(ptr noundef nonnull align 8 dereferenceable(152), ptr noundef nonnull align 8 dereferenceable(64), double noundef, double noundef) unnamed_addr #3

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

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

; 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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3uno22FeasibilityRestoration26compute_feasible_directionERNS_10StatisticsERKNS_5ModelERNS_7IterateERNS_9DirectionERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(208) %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(208) %4, ptr noundef nonnull align 1 dereferenceable(6) %5) unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %7 = alloca ptr, align 8
  %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 %"class.std::basic_string_view", align 8
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::allocator.26", align 1
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca %"class.uno::OptimizationProblem", align 8
  %20 = alloca %"class.std::basic_string_view", align 8
  %21 = alloca %"class.std::__cxx11::basic_string", align 8
  %22 = alloca %"class.std::allocator.26", align 1
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca ptr, align 8
  %26 = alloca i32, align 4
  %27 = alloca %"class.std::basic_string_view", align 8
  %28 = alloca %"class.std::__cxx11::basic_string", align 8
  %29 = alloca %"class.std::allocator.26", align 1
  %30 = alloca %"class.uno::l1RelaxedProblem", align 8
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store ptr %2, ptr %9, align 8, !tbaa !5
  store ptr %3, ptr %10, align 8, !tbaa !5
  store ptr %4, ptr %11, align 8, !tbaa !5
  store ptr %5, ptr %12, align 8, !tbaa !5
  %31 = load ptr, ptr %7, align 8
  %32 = load ptr, ptr %11, align 8, !tbaa !5
  call void @_ZN3uno9Direction5resetEv(ptr noundef nonnull align 8 dereferenceable(208) %32)
  %33 = getelementptr inbounds %"class.uno::FeasibilityRestoration", ptr %31, i32 0, i32 1
  %34 = load i32, ptr %33, align 4, !tbaa !9
  %35 = icmp eq i32 %34, 2
  br i1 %35, label %36, label %151

36:                                               ; preds = %6
  %37 = load ptr, ptr %8, align 8, !tbaa !5
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %13, ptr noundef @.str.9) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr %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 @.str.11, ptr noundef nonnull align 1 dereferenceable(1) %15)
          to label %38 unwind label %87

38:                                               ; preds = %36
  %39 = getelementptr inbounds { i64, ptr }, ptr %13, i32 0, i32 0
  %40 = load i64, ptr %39, align 8
  %41 = getelementptr inbounds { i64, ptr }, ptr %13, i32 0, i32 1
  %42 = load ptr, ptr %41, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %37, i64 %40, ptr %42, ptr noundef %14)
          to label %43 unwind label %91

43:                                               ; preds = %38
  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 %15) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  store i32 4, ptr %18, align 4, !tbaa !43
  %44 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA35_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %18, ptr noundef nonnull align 1 dereferenceable(35) @.str.12)
          to label %45 unwind label %96

45:                                               ; preds = %43
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %19) #7
  %46 = load ptr, ptr %9, align 8, !tbaa !5
  invoke void @_ZN3uno19OptimizationProblemC1ERKNS_5ModelE(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(64) %46)
          to label %47 unwind label %100

47:                                               ; preds = %45
  %48 = load ptr, ptr %8, align 8, !tbaa !5
  %49 = load ptr, ptr %10, align 8, !tbaa !5
  %50 = load ptr, ptr %10, align 8, !tbaa !5
  %51 = getelementptr inbounds %"class.uno::Iterate", ptr %50, i32 0, i32 3
  %52 = load ptr, ptr %11, align 8, !tbaa !5
  %53 = getelementptr inbounds %"class.uno::FeasibilityRestoration", ptr %31, i32 0, i32 4
  %54 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIN3uno12HessianModelESt14default_deleteIS1_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %53) #7
  %55 = load ptr, ptr %12, align 8, !tbaa !5
  invoke void @_ZN3uno22FeasibilityRestoration16solve_subproblemERNS_10StatisticsERKNS_19OptimizationProblemERNS_7IterateERKNS_11MultipliersERNS_9DirectionERNS_12HessianModelERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(208) %31, ptr noundef nonnull align 8 dereferenceable(144) %48, ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(532) %49, ptr noundef nonnull align 8 dereferenceable(72) %51, ptr noundef nonnull align 8 dereferenceable(208) %52, ptr noundef nonnull align 8 dereferenceable(16) %54, ptr noundef nonnull align 1 dereferenceable(6) %55)
          to label %56 unwind label %104

56:                                               ; preds = %47
  %57 = load ptr, ptr %11, align 8, !tbaa !5
  %58 = getelementptr inbounds %"class.uno::Direction", ptr %57, i32 0, i32 5
  %59 = load i32, ptr %58, align 8, !tbaa !45
  %60 = icmp eq i32 %59, 2
  br i1 %60, label %61, label %121

61:                                               ; preds = %56
  %62 = load ptr, ptr %8, align 8, !tbaa !5
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef @.str.13) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr %22) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %21, ptr noundef @.str.14, ptr noundef nonnull align 1 dereferenceable(1) %22)
          to label %63 unwind label %108

63:                                               ; preds = %61
  %64 = getelementptr inbounds { i64, ptr }, ptr %20, i32 0, i32 0
  %65 = load i64, ptr %64, align 8
  %66 = getelementptr inbounds { i64, ptr }, ptr %20, i32 0, i32 1
  %67 = load ptr, ptr %66, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %62, i64 %65, ptr %67, ptr noundef %21)
          to label %68 unwind label %112

68:                                               ; preds = %63
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %22) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #7
  store i32 4, ptr %23, align 4, !tbaa !43
  %69 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA34_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %23, ptr noundef nonnull align 1 dereferenceable(34) @.str.15)
          to label %70 unwind label %117

70:                                               ; preds = %68
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  %71 = load ptr, ptr %8, align 8, !tbaa !5
  %72 = load ptr, ptr %9, align 8, !tbaa !5
  %73 = load ptr, ptr %10, align 8, !tbaa !5
  %74 = load ptr, ptr %12, align 8, !tbaa !5
  %75 = load ptr, ptr %31, align 8, !tbaa !49
  %76 = getelementptr inbounds ptr, ptr %75, i64 5
  %77 = load ptr, ptr %76, align 8
  invoke void %77(ptr noundef nonnull align 8 dereferenceable(208) %31, ptr noundef nonnull align 8 dereferenceable(144) %71, ptr noundef nonnull align 8 dereferenceable(64) %72, ptr noundef nonnull align 8 dereferenceable(532) %73, ptr noundef nonnull align 1 dereferenceable(6) %74)
          to label %78 unwind label %104

78:                                               ; preds = %70
  %79 = getelementptr inbounds %"class.uno::ConstraintRelaxationStrategy", ptr %31, i32 0, i32 2
  %80 = call noundef ptr @_ZNKSt10unique_ptrIN3uno24InequalityHandlingMethodESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %79) #7
  %81 = load ptr, ptr %11, align 8, !tbaa !5
  %82 = getelementptr inbounds %"class.uno::Direction", ptr %81, i32 0, i32 2
  %83 = load ptr, ptr %80, align 8, !tbaa !49
  %84 = getelementptr inbounds ptr, ptr %83, i64 14
  %85 = load ptr, ptr %84, align 8
  invoke void %85(ptr noundef nonnull align 8 dereferenceable(32) %80, ptr noundef nonnull align 8 dereferenceable(24) %82)
          to label %86 unwind label %104

86:                                               ; preds = %78
  br label %124

87:                                               ; preds = %36
  %88 = landingpad { ptr, i32 }
          cleanup
  %89 = extractvalue { ptr, i32 } %88, 0
  store ptr %89, ptr %16, align 8
  %90 = extractvalue { ptr, i32 } %88, 1
  store i32 %90, ptr %17, align 4
  br label %95

91:                                               ; preds = %38
  %92 = landingpad { ptr, i32 }
          cleanup
  %93 = extractvalue { ptr, i32 } %92, 0
  store ptr %93, ptr %16, align 8
  %94 = extractvalue { ptr, i32 } %92, 1
  store i32 %94, ptr %17, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  br label %95

95:                                               ; preds = %91, %87
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #7
  br label %203

96:                                               ; preds = %43
  %97 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  %98 = extractvalue { ptr, i32 } %97, 0
  store ptr %98, ptr %16, align 8
  %99 = extractvalue { ptr, i32 } %97, 1
  store i32 %99, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  br label %130

100:                                              ; preds = %45
  %101 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  %102 = extractvalue { ptr, i32 } %101, 0
  store ptr %102, ptr %16, align 8
  %103 = extractvalue { ptr, i32 } %101, 1
  store i32 %103, ptr %17, align 4
  br label %129

104:                                              ; preds = %121, %78, %70, %47
  %105 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  %106 = extractvalue { ptr, i32 } %105, 0
  store ptr %106, ptr %16, align 8
  %107 = extractvalue { ptr, i32 } %105, 1
  store i32 %107, ptr %17, align 4
  br label %128

108:                                              ; preds = %61
  %109 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  %110 = extractvalue { ptr, i32 } %109, 0
  store ptr %110, ptr %16, align 8
  %111 = extractvalue { ptr, i32 } %109, 1
  store i32 %111, ptr %17, align 4
  br label %116

112:                                              ; preds = %63
  %113 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  %114 = extractvalue { ptr, i32 } %113, 0
  store ptr %114, ptr %16, align 8
  %115 = extractvalue { ptr, i32 } %113, 1
  store i32 %115, ptr %17, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #7
  br label %116

116:                                              ; preds = %112, %108
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %22) #7
  br label %128

117:                                              ; preds = %68
  %118 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  %119 = extractvalue { ptr, i32 } %118, 0
  store ptr %119, ptr %16, align 8
  %120 = extractvalue { ptr, i32 } %118, 1
  store i32 %120, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  br label %128

121:                                              ; preds = %56
  %122 = load ptr, ptr %12, align 8, !tbaa !5
  invoke void @_ZN3uno20WarmstartInformation10no_changesEv(ptr noundef nonnull align 1 dereferenceable(6) %122)
          to label %123 unwind label %104

123:                                              ; preds = %121
  store i32 1, ptr %24, align 4
  br label %125

124:                                              ; preds = %86
  store i32 0, ptr %24, align 4
  br label %125

125:                                              ; preds = %124, %123
  call void @_ZN3uno19OptimizationProblemD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #7
  %126 = load i32, ptr %24, align 4
  switch i32 %126, label %211 [
    i32 0, label %127
    i32 1, label %189
  ]

127:                                              ; preds = %125
  br label %145

128:                                              ; preds = %117, %116, %104
  call void @_ZN3uno19OptimizationProblemD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  br label %129

129:                                              ; preds = %128, %100
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #7
  br label %130

130:                                              ; preds = %129, %96
  %131 = load i32, ptr %17, align 4
  %132 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTIN3uno22UnstableRegularizationE) #7
  %133 = icmp eq i32 %131, %132
  br i1 %133, label %134, label %203

134:                                              ; preds = %130
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #7
  %135 = load ptr, ptr %16, align 8
  %136 = call ptr @__cxa_begin_catch(ptr %135) #7
  store ptr %136, ptr %25, align 8
  %137 = load ptr, ptr %8, align 8, !tbaa !5
  %138 = load ptr, ptr %9, align 8, !tbaa !5
  %139 = load ptr, ptr %10, align 8, !tbaa !5
  %140 = load ptr, ptr %12, align 8, !tbaa !5
  %141 = load ptr, ptr %31, align 8, !tbaa !49
  %142 = getelementptr inbounds ptr, ptr %141, i64 5
  %143 = load ptr, ptr %142, align 8
  invoke void %143(ptr noundef nonnull align 8 dereferenceable(208) %31, ptr noundef nonnull align 8 dereferenceable(144) %137, ptr noundef nonnull align 8 dereferenceable(64) %138, ptr noundef nonnull align 8 dereferenceable(532) %139, ptr noundef nonnull align 1 dereferenceable(6) %140)
          to label %144 unwind label %146

144:                                              ; preds = %134
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  br label %145

145:                                              ; preds = %144, %127
  br label %151

146:                                              ; preds = %134
  %147 = landingpad { ptr, i32 }
          cleanup
  %148 = extractvalue { ptr, i32 } %147, 0
  store ptr %148, ptr %16, align 8
  %149 = extractvalue { ptr, i32 } %147, 1
  store i32 %149, ptr %17, align 4
  invoke void @__cxa_end_catch()
          to label %150 unwind label %208

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

151:                                              ; preds = %145, %6
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #7
  store i32 4, ptr %26, align 4, !tbaa !43
  %152 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA36_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %26, ptr noundef nonnull align 1 dereferenceable(36) @.str.16)
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  %153 = load ptr, ptr %8, align 8, !tbaa !5
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %27, ptr noundef @.str.9) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr %29) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %28, ptr noundef @.str.17, ptr noundef nonnull align 1 dereferenceable(1) %29)
          to label %154 unwind label %190

154:                                              ; preds = %151
  %155 = getelementptr inbounds { i64, ptr }, ptr %27, i32 0, i32 0
  %156 = load i64, ptr %155, align 8
  %157 = getelementptr inbounds { i64, ptr }, ptr %27, i32 0, i32 1
  %158 = load ptr, ptr %157, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %153, i64 %156, ptr %158, ptr noundef %28)
          to label %159 unwind label %194

159:                                              ; preds = %154
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #7
  call void @llvm.lifetime.start.p0(i64 152, ptr %30) #7
  %160 = load ptr, ptr %9, align 8, !tbaa !5
  %161 = getelementptr inbounds %"class.uno::FeasibilityRestoration", ptr %31, i32 0, i32 2
  %162 = load double, ptr %161, align 8, !tbaa !51
  call void @_ZN3uno16l1RelaxedProblemC1ERKNS_5ModelEdd(ptr noundef nonnull align 8 dereferenceable(152) %30, ptr noundef nonnull align 8 dereferenceable(64) %160, double noundef 0.000000e+00, double noundef %162)
  %163 = getelementptr inbounds %"class.uno::FeasibilityRestoration", ptr %31, i32 0, i32 9
  %164 = invoke noundef ptr @_ZN3uno6VectorIdE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %163)
          to label %165 unwind label %199

165:                                              ; preds = %159
  invoke void @_ZN3uno16l1RelaxedProblem19set_proximal_centerEPKd(ptr noundef nonnull align 8 dereferenceable(152) %30, ptr noundef %164)
          to label %166 unwind label %199

166:                                              ; preds = %165
  %167 = getelementptr inbounds %"class.uno::ConstraintRelaxationStrategy", ptr %31, i32 0, i32 2
  %168 = call noundef ptr @_ZNKSt10unique_ptrIN3uno24InequalityHandlingMethodESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %167) #7
  %169 = load ptr, ptr %10, align 8, !tbaa !5
  %170 = load ptr, ptr %168, align 8, !tbaa !49
  %171 = getelementptr inbounds ptr, ptr %170, i64 8
  %172 = load ptr, ptr %171, align 8
  %173 = invoke noundef double %172(ptr noundef nonnull align 8 dereferenceable(32) %168, ptr noundef nonnull align 8 dereferenceable(532) %169)
          to label %174 unwind label %199

174:                                              ; preds = %166
  invoke void @_ZN3uno16l1RelaxedProblem23set_proximal_multiplierEd(ptr noundef nonnull align 8 dereferenceable(152) %30, double noundef %173)
          to label %175 unwind label %199

175:                                              ; preds = %174
  %176 = load ptr, ptr %8, align 8, !tbaa !5
  %177 = load ptr, ptr %10, align 8, !tbaa !5
  %178 = load ptr, ptr %10, align 8, !tbaa !5
  %179 = getelementptr inbounds %"class.uno::Iterate", ptr %178, i32 0, i32 4
  %180 = load ptr, ptr %11, align 8, !tbaa !5
  %181 = getelementptr inbounds %"class.uno::FeasibilityRestoration", ptr %31, i32 0, i32 5
  %182 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIN3uno12HessianModelESt14default_deleteIS1_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %181) #7
  %183 = load ptr, ptr %12, align 8, !tbaa !5
  invoke void @_ZN3uno22FeasibilityRestoration16solve_subproblemERNS_10StatisticsERKNS_19OptimizationProblemERNS_7IterateERKNS_11MultipliersERNS_9DirectionERNS_12HessianModelERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(208) %31, ptr noundef nonnull align 8 dereferenceable(144) %176, ptr noundef nonnull align 8 dereferenceable(32) %30, ptr noundef nonnull align 8 dereferenceable(532) %177, ptr noundef nonnull align 8 dereferenceable(72) %179, ptr noundef nonnull align 8 dereferenceable(208) %180, ptr noundef nonnull align 8 dereferenceable(16) %182, ptr noundef nonnull align 1 dereferenceable(6) %183)
          to label %184 unwind label %199

184:                                              ; preds = %175
  %185 = load ptr, ptr %11, align 8, !tbaa !5
  %186 = getelementptr inbounds %"class.uno::Direction", ptr %185, i32 0, i32 3
  %187 = load ptr, ptr %11, align 8, !tbaa !5
  %188 = getelementptr inbounds %"class.uno::Direction", ptr %187, i32 0, i32 4
  call void @_ZSt4swapIN3uno11MultipliersEENSt9enable_ifIXsr6__and_ISt6__not_ISt15__is_tuple_likeIT_EESt21is_move_constructibleIS5_ESt18is_move_assignableIS5_EEE5valueEvE4typeERS5_SE_(ptr noundef nonnull align 8 dereferenceable(72) %186, ptr noundef nonnull align 8 dereferenceable(72) %188) #7
  call void @_ZN3uno16l1RelaxedProblemD2Ev(ptr noundef nonnull align 8 dereferenceable(152) %30) #7
  call void @llvm.lifetime.end.p0(i64 152, ptr %30) #7
  br label %189

189:                                              ; preds = %184, %125
  ret void

190:                                              ; preds = %151
  %191 = landingpad { ptr, i32 }
          cleanup
  %192 = extractvalue { ptr, i32 } %191, 0
  store ptr %192, ptr %16, align 8
  %193 = extractvalue { ptr, i32 } %191, 1
  store i32 %193, ptr %17, align 4
  br label %198

194:                                              ; preds = %154
  %195 = landingpad { ptr, i32 }
          cleanup
  %196 = extractvalue { ptr, i32 } %195, 0
  store ptr %196, ptr %16, align 8
  %197 = extractvalue { ptr, i32 } %195, 1
  store i32 %197, ptr %17, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #7
  br label %198

198:                                              ; preds = %194, %190
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #7
  br label %203

199:                                              ; preds = %175, %174, %166, %165, %159
  %200 = landingpad { ptr, i32 }
          cleanup
  %201 = extractvalue { ptr, i32 } %200, 0
  store ptr %201, ptr %16, align 8
  %202 = extractvalue { ptr, i32 } %200, 1
  store i32 %202, ptr %17, align 4
  call void @_ZN3uno16l1RelaxedProblemD2Ev(ptr noundef nonnull align 8 dereferenceable(152) %30) #7
  call void @llvm.lifetime.end.p0(i64 152, ptr %30) #7
  br label %203

203:                                              ; preds = %199, %198, %150, %130, %95
  %204 = load ptr, ptr %16, align 8
  %205 = load i32, ptr %17, align 4
  %206 = insertvalue { ptr, i32 } poison, ptr %204, 0
  %207 = insertvalue { ptr, i32 } %206, i32 %205, 1
  resume { ptr, i32 } %207

208:                                              ; preds = %146
  %209 = landingpad { ptr, i32 }
          catch ptr null
  %210 = extractvalue { ptr, i32 } %209, 0
  call void @__clang_call_terminate(ptr %210) #8
  unreachable

211:                                              ; preds = %125
  unreachable
}

declare void @_ZN3uno9Direction5resetEv(ptr noundef nonnull align 8 dereferenceable(208)) #3

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3uno22FeasibilityRestoration16solve_subproblemERNS_10StatisticsERKNS_19OptimizationProblemERNS_7IterateERKNS_11MultipliersERNS_9DirectionERNS_12HessianModelERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(208), ptr noundef nonnull align 8 dereferenceable(144), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(72), ptr noundef nonnull align 8 dereferenceable(208), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 1 dereferenceable(6)) #2 align 2

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

declare void @_ZN3uno20WarmstartInformation10no_changesEv(ptr noundef nonnull align 1 dereferenceable(6)) #3

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

declare ptr @__cxa_begin_catch(ptr)

declare void @__cxa_end_catch()

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

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

declare void @_ZN3uno16l1RelaxedProblem19set_proximal_centerEPKd(ptr noundef nonnull align 8 dereferenceable(152), ptr noundef) #3

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

declare void @_ZN3uno16l1RelaxedProblem23set_proximal_multiplierEd(ptr noundef nonnull align 8 dereferenceable(152), double noundef) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZSt4swapIN3uno11MultipliersEENSt9enable_ifIXsr6__and_ISt6__not_ISt15__is_tuple_likeIT_EESt21is_move_constructibleIS5_ESt18is_move_assignableIS5_EEE5valueEvE4typeERS5_SE_(ptr noundef nonnull align 8 dereferenceable(72), ptr noundef nonnull align 8 dereferenceable(72)) #4

; 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 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind memory(none) }
attributes #6 = { 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 #7 = { nounwind }
attributes #8 = { 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, !28, i64 84}
!10 = !{!"_ZTSN3uno22FeasibilityRestorationE", !11, i64 0, !28, i64 84, !25, i64 88, !27, i64 96, !29, i64 104, !29, i64 112, !25, i64 120, !27, i64 128, !35, i64 136, !38, i64 184}
!11 = !{!"_ZTSN3uno28ConstraintRelaxationStrategyE", !12, i64 8, !18, i64 16, !24, i64 24, !24, i64 28, !25, i64 32, !25, i64 40, !25, i64 48, !26, i64 56, !26, i64 64, !25, i64 72, !27, i64 80}
!12 = !{!"_ZTSSt10unique_ptrIN3uno21GlobalizationStrategyESt14default_deleteIS1_EE", !13, i64 0}
!13 = !{!"_ZTSSt15__uniq_ptr_dataIN3uno21GlobalizationStrategyESt14default_deleteIS1_ELb1ELb1EE", !14, i64 0}
!14 = !{!"_ZTSSt15__uniq_ptr_implIN3uno21GlobalizationStrategyESt14default_deleteIS1_EE", !15, i64 0}
!15 = !{!"_ZTSSt5tupleIJPN3uno21GlobalizationStrategyESt14default_deleteIS1_EEE", !16, i64 0}
!16 = !{!"_ZTSSt11_Tuple_implILm0EJPN3uno21GlobalizationStrategyESt14default_deleteIS1_EEE", !17, i64 0}
!17 = !{!"_ZTSSt10_Head_baseILm0EPN3uno21GlobalizationStrategyELb0EE", !6, i64 0}
!18 = !{!"_ZTSSt10unique_ptrIN3uno24InequalityHandlingMethodESt14default_deleteIS1_EE", !19, i64 0}
!19 = !{!"_ZTSSt15__uniq_ptr_dataIN3uno24InequalityHandlingMethodESt14default_deleteIS1_ELb1ELb1EE", !20, i64 0}
!20 = !{!"_ZTSSt15__uniq_ptr_implIN3uno24InequalityHandlingMethodESt14default_deleteIS1_EE", !21, i64 0}
!21 = !{!"_ZTSSt5tupleIJPN3uno24InequalityHandlingMethodESt14default_deleteIS1_EEE", !22, i64 0}
!22 = !{!"_ZTSSt11_Tuple_implILm0EJPN3uno24InequalityHandlingMethodESt14default_deleteIS1_EEE", !23, i64 0}
!23 = !{!"_ZTSSt10_Head_baseILm0EPN3uno24InequalityHandlingMethodELb0EE", !6, i64 0}
!24 = !{!"_ZTSN3uno4NormE", !7, i64 0}
!25 = !{!"double", !7, i64 0}
!26 = !{!"long", !7, i64 0}
!27 = !{!"bool", !7, i64 0}
!28 = !{!"_ZTSN3uno5PhaseE", !7, i64 0}
!29 = !{!"_ZTSSt10unique_ptrIN3uno12HessianModelESt14default_deleteIS1_EE", !30, i64 0}
!30 = !{!"_ZTSSt15__uniq_ptr_dataIN3uno12HessianModelESt14default_deleteIS1_ELb1ELb1EE", !31, i64 0}
!31 = !{!"_ZTSSt15__uniq_ptr_implIN3uno12HessianModelESt14default_deleteIS1_EE", !32, i64 0}
!32 = !{!"_ZTSSt5tupleIJPN3uno12HessianModelESt14default_deleteIS1_EEE", !33, i64 0}
!33 = !{!"_ZTSSt11_Tuple_implILm0EJPN3uno12HessianModelESt14default_deleteIS1_EEE", !34, i64 0}
!34 = !{!"_ZTSSt10_Head_baseILm0EPN3uno12HessianModelELb0EE", !6, i64 0}
!35 = !{!"_ZTSN3uno16ProgressMeasuresE", !25, i64 0, !36, i64 8, !25, i64 40}
!36 = !{!"_ZTSSt8functionIFddEE", !37, i64 0, !6, i64 24}
!37 = !{!"_ZTSSt14_Function_base", !7, i64 0, !6, i64 16}
!38 = !{!"_ZTSN3uno6VectorIdEE", !39, i64 0}
!39 = !{!"_ZTSSt6vectorIdSaIdEE", !40, i64 0}
!40 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !41, i64 0}
!41 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!43 = !{!44, !44, i64 0}
!44 = !{!"_ZTSN3uno5LevelE", !7, i64 0}
!45 = !{!46, !48, i64 184}
!46 = !{!"_ZTSN3uno9DirectionE", !26, i64 0, !26, i64 8, !38, i64 16, !47, i64 40, !47, i64 112, !48, i64 184, !25, i64 192, !25, i64 200}
!47 = !{!"_ZTSN3uno11MultipliersE", !38, i64 0, !38, i64 24, !38, i64 48}
!48 = !{!"_ZTSN3uno16SubproblemStatusE", !7, i64 0}
!49 = !{!50, !50, i64 0}
!50 = !{!"vtable pointer", !8, i64 0}
!51 = !{!10, !25, i64 88}


; 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.26" = type { i8 }
%"class.uno::OptimizationProblem" = type { ptr, ptr, i64, i64 }
%"class.uno::l1RelaxedProblem" = type { %"class.uno::OptimizationProblem", i64, double, double, double, ptr, %"class.uno::Concatenation", %"class.uno::Concatenation" }
%"class.uno::Concatenation" = type { %"class.uno::Collection", ptr, %"class.uno::Range" }
%"class.uno::Collection" = type { ptr }
%"class.uno::Range" = type { %"class.uno::Collection", i64, i64 }

@.str.9 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [4 x i8], align 1
@_ZTIN3uno22UnstableRegularizationE = external dso_local constant { ptr, ptr, ptr }, align 8
@.str.12 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [5 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

declare void @_ZN3uno19OptimizationProblemC1ERKNS_5ModelE(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(64)) unnamed_addr #3

declare void @_ZN3uno16l1RelaxedProblemC1ERKNS_5ModelEdd(ptr noundef nonnull align 8 dereferenceable(152), ptr noundef nonnull align 8 dereferenceable(64), double noundef, double noundef) unnamed_addr #3

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

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

; 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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3uno22FeasibilityRestoration26compute_feasible_directionERNS_10StatisticsERKNS_5ModelERNS_7IterateERNS_9DirectionERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(208) %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(208) %4, ptr noundef nonnull align 1 dereferenceable(6) %5) unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %7 = alloca %"class.std::basic_string_view", align 8
  %8 = alloca %"class.std::__cxx11::basic_string", align 8
  %9 = alloca %"class.std::allocator.26", align 1
  %10 = alloca i32, align 4
  %11 = alloca %"class.uno::OptimizationProblem", align 8
  %12 = alloca %"class.std::basic_string_view", align 8
  %13 = alloca %"class.std::__cxx11::basic_string", align 8
  %14 = alloca %"class.std::allocator.26", align 1
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca %"class.std::basic_string_view", align 8
  %18 = alloca %"class.std::__cxx11::basic_string", align 8
  %19 = alloca %"class.std::allocator.26", align 1
  %20 = alloca %"class.uno::l1RelaxedProblem", align 8
  tail call void @_ZN3uno9Direction5resetEv(ptr noundef nonnull align 8 dereferenceable(208) %4)
  %21 = getelementptr inbounds i8, ptr %0, i64 84
  %22 = load i32, ptr %21, align 4, !tbaa !5
  %23 = icmp eq i32 %22, 2
  br i1 %23, label %24, label %90

24:                                               ; preds = %6
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef @.str.9) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %9) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %9) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %8, ptr noundef nonnull @.str.11, ptr noundef nonnull align 1 dereferenceable(1) %9)
          to label %25 unwind label %57

25:                                               ; preds = %24
  %26 = load i64, ptr %7, align 8
  %27 = getelementptr inbounds i8, ptr %7, i64 8
  %28 = load ptr, ptr %27, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %1, i64 %26, ptr %28, ptr noundef nonnull %8)
          to label %29 unwind label %59

29:                                               ; preds = %25
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %9) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %9) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #7
  store i32 4, ptr %10, align 4, !tbaa !42
  %30 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA35_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %10, ptr noundef nonnull align 1 dereferenceable(35) @.str.12)
          to label %31 unwind label %62

31:                                               ; preds = %29
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #7
  invoke void @_ZN3uno19OptimizationProblemC1ERKNS_5ModelE(ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull align 8 dereferenceable(64) %2)
          to label %32 unwind label %64

32:                                               ; preds = %31
  %33 = getelementptr inbounds i8, ptr %3, i64 40
  %34 = getelementptr inbounds i8, ptr %0, i64 104
  %35 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIN3uno12HessianModelESt14default_deleteIS1_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %34) #7
  invoke void @_ZN3uno22FeasibilityRestoration16solve_subproblemERNS_10StatisticsERKNS_19OptimizationProblemERNS_7IterateERKNS_11MultipliersERNS_9DirectionERNS_12HessianModelERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(208) %0, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull align 8 dereferenceable(532) %3, ptr noundef nonnull align 8 dereferenceable(72) %33, ptr noundef nonnull align 8 dereferenceable(208) %4, ptr noundef nonnull align 8 dereferenceable(16) %35, ptr noundef nonnull align 1 dereferenceable(6) %5)
          to label %36 unwind label %66

36:                                               ; preds = %32
  %37 = getelementptr inbounds i8, ptr %4, i64 184
  %38 = load i32, ptr %37, align 8, !tbaa !44
  %.not = icmp eq i32 %38, 2
  br i1 %.not, label %39, label %75

39:                                               ; preds = %36
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %12, ptr noundef @.str.13) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %14) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %13, ptr noundef nonnull @.str.14, ptr noundef nonnull align 1 dereferenceable(1) %14)
          to label %40 unwind label %68

40:                                               ; preds = %39
  %41 = load i64, ptr %12, align 8
  %42 = getelementptr inbounds i8, ptr %12, i64 8
  %43 = load ptr, ptr %42, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %1, i64 %41, ptr %43, ptr noundef nonnull %13)
          to label %44 unwind label %70

44:                                               ; preds = %40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %14) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %15) #7
  store i32 4, ptr %15, align 4, !tbaa !42
  %45 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA34_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %15, ptr noundef nonnull align 1 dereferenceable(34) @.str.15)
          to label %46 unwind label %73

46:                                               ; preds = %44
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #7
  %47 = load ptr, ptr %0, align 8, !tbaa !48
  %48 = getelementptr inbounds i8, ptr %47, i64 40
  %49 = load ptr, ptr %48, align 8
  invoke void %49(ptr noundef nonnull align 8 dereferenceable(208) %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 1 dereferenceable(6) %5)
          to label %50 unwind label %66

50:                                               ; preds = %46
  %51 = getelementptr inbounds i8, ptr %0, i64 16
  %52 = call noundef ptr @_ZNKSt10unique_ptrIN3uno24InequalityHandlingMethodESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %51) #7
  %53 = getelementptr inbounds i8, ptr %4, i64 16
  %54 = load ptr, ptr %52, align 8, !tbaa !48
  %55 = getelementptr inbounds i8, ptr %54, i64 112
  %56 = load ptr, ptr %55, align 8
  invoke void %56(ptr noundef nonnull align 8 dereferenceable(32) %52, ptr noundef nonnull align 8 dereferenceable(24) %53)
          to label %.thread unwind label %66

.thread:                                          ; preds = %50
  call void @_ZN3uno19OptimizationProblemD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #7
  br label %90

57:                                               ; preds = %24
  %58 = landingpad { ptr, i32 }
          cleanup
  br label %61

59:                                               ; preds = %25
  %60 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #7
  br label %61

61:                                               ; preds = %59, %57
  %.pn = phi { ptr, i32 } [ %60, %59 ], [ %58, %57 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %9) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %9) #7
  br label %124

62:                                               ; preds = %29
  %63 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #7
  br label %79

64:                                               ; preds = %31
  %65 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  br label %78

66:                                               ; preds = %75, %50, %46, %32
  %67 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  br label %77

68:                                               ; preds = %39
  %69 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  br label %72

70:                                               ; preds = %40
  %71 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  br label %72

72:                                               ; preds = %70, %68
  %.pn44 = phi { ptr, i32 } [ %71, %70 ], [ %69, %68 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %14) #7
  br label %77

73:                                               ; preds = %44
  %74 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN3uno22UnstableRegularizationE
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #7
  br label %77

75:                                               ; preds = %36
  invoke void @_ZN3uno20WarmstartInformation10no_changesEv(ptr noundef nonnull align 1 dereferenceable(6) %5)
          to label %76 unwind label %66

76:                                               ; preds = %75
  call void @_ZN3uno19OptimizationProblemD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #7
  br label %116

77:                                               ; preds = %73, %72, %66
  %.pn46 = phi { ptr, i32 } [ %67, %66 ], [ %74, %73 ], [ %.pn44, %72 ]
  call void @_ZN3uno19OptimizationProblemD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  br label %78

78:                                               ; preds = %77, %64
  %.pn46.pn = phi { ptr, i32 } [ %.pn46, %77 ], [ %65, %64 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #7
  br label %79

79:                                               ; preds = %78, %62
  %.pn46.pn.pn = phi { ptr, i32 } [ %.pn46.pn, %78 ], [ %63, %62 ]
  %.440 = extractvalue { ptr, i32 } %.pn46.pn.pn, 1
  %80 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTIN3uno22UnstableRegularizationE) #7
  %81 = icmp eq i32 %.440, %80
  br i1 %81, label %82, label %124

82:                                               ; preds = %79
  %.4 = extractvalue { ptr, i32 } %.pn46.pn.pn, 0
  %83 = call ptr @__cxa_begin_catch(ptr %.4) #7
  %84 = load ptr, ptr %0, align 8, !tbaa !48
  %85 = getelementptr inbounds i8, ptr %84, i64 40
  %86 = load ptr, ptr %85, align 8
  invoke void %86(ptr noundef nonnull align 8 dereferenceable(208) %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 1 dereferenceable(6) %5)
          to label %87 unwind label %88

87:                                               ; preds = %82
  call void @__cxa_end_catch()
  br label %90

88:                                               ; preds = %82
  %89 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %124 unwind label %125

90:                                               ; preds = %.thread, %87, %6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %16) #7
  store i32 4, ptr %16, align 4, !tbaa !42
  %91 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3unolsIA36_cEERKNS_5LevelES4_RKT_(ptr noundef nonnull align 4 dereferenceable(4) %16, ptr noundef nonnull align 1 dereferenceable(36) @.str.16)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #7
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef @.str.9) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %19) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %19) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %18, ptr noundef nonnull @.str.17, ptr noundef nonnull align 1 dereferenceable(1) %19)
          to label %92 unwind label %117

92:                                               ; preds = %90
  %93 = load i64, ptr %17, align 8
  %94 = getelementptr inbounds i8, ptr %17, i64 8
  %95 = load ptr, ptr %94, align 8
  invoke void @_ZN3uno10Statistics3setESt17basic_string_viewIcSt11char_traitsIcEENSt7__cxx1112basic_stringIcS3_SaIcEEE(ptr noundef nonnull align 8 dereferenceable(144) %1, i64 %93, ptr %95, ptr noundef nonnull %18)
          to label %96 unwind label %119

96:                                               ; preds = %92
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %19) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %19) #7
  call void @llvm.lifetime.start.p0(i64 152, ptr nonnull %20) #7
  %97 = getelementptr inbounds i8, ptr %0, i64 88
  %98 = load double, ptr %97, align 8, !tbaa !50
  call void @_ZN3uno16l1RelaxedProblemC1ERKNS_5ModelEdd(ptr noundef nonnull align 8 dereferenceable(152) %20, ptr noundef nonnull align 8 dereferenceable(64) %2, double noundef 0.000000e+00, double noundef %98)
  %99 = getelementptr inbounds i8, ptr %0, i64 184
  %100 = call noundef ptr @_ZN3uno6VectorIdE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %99)
  invoke void @_ZN3uno16l1RelaxedProblem19set_proximal_centerEPKd(ptr noundef nonnull align 8 dereferenceable(152) %20, ptr noundef %100)
          to label %101 unwind label %122

101:                                              ; preds = %96
  %102 = getelementptr inbounds i8, ptr %0, i64 16
  %103 = call noundef ptr @_ZNKSt10unique_ptrIN3uno24InequalityHandlingMethodESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %102) #7
  %104 = load ptr, ptr %103, align 8, !tbaa !48
  %105 = getelementptr inbounds i8, ptr %104, i64 64
  %106 = load ptr, ptr %105, align 8
  %107 = invoke noundef double %106(ptr noundef nonnull align 8 dereferenceable(32) %103, ptr noundef nonnull align 8 dereferenceable(532) %3)
          to label %108 unwind label %122

108:                                              ; preds = %101
  invoke void @_ZN3uno16l1RelaxedProblem23set_proximal_multiplierEd(ptr noundef nonnull align 8 dereferenceable(152) %20, double noundef %107)
          to label %109 unwind label %122

109:                                              ; preds = %108
  %110 = getelementptr inbounds i8, ptr %3, i64 112
  %111 = getelementptr inbounds i8, ptr %0, i64 112
  %112 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt10unique_ptrIN3uno12HessianModelESt14default_deleteIS1_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %111) #7
  invoke void @_ZN3uno22FeasibilityRestoration16solve_subproblemERNS_10StatisticsERKNS_19OptimizationProblemERNS_7IterateERKNS_11MultipliersERNS_9DirectionERNS_12HessianModelERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(208) %0, ptr noundef nonnull align 8 dereferenceable(144) %1, ptr noundef nonnull align 8 dereferenceable(32) %20, ptr noundef nonnull align 8 dereferenceable(532) %3, ptr noundef nonnull align 8 dereferenceable(72) %110, ptr noundef nonnull align 8 dereferenceable(208) %4, ptr noundef nonnull align 8 dereferenceable(16) %112, ptr noundef nonnull align 1 dereferenceable(6) %5)
          to label %113 unwind label %122

113:                                              ; preds = %109
  %114 = getelementptr inbounds i8, ptr %4, i64 40
  %115 = getelementptr inbounds i8, ptr %4, i64 112
  call void @_ZSt4swapIN3uno11MultipliersEENSt9enable_ifIXsr6__and_ISt6__not_ISt15__is_tuple_likeIT_EESt21is_move_constructibleIS5_ESt18is_move_assignableIS5_EEE5valueEvE4typeERS5_SE_(ptr noundef nonnull align 8 dereferenceable(72) %114, ptr noundef nonnull align 8 dereferenceable(72) %115) #7
  call void @_ZN3uno16l1RelaxedProblemD2Ev(ptr noundef nonnull align 8 dereferenceable(152) %20) #7
  call void @llvm.lifetime.end.p0(i64 152, ptr nonnull %20) #7
  br label %116

116:                                              ; preds = %76, %113
  ret void

117:                                              ; preds = %90
  %118 = landingpad { ptr, i32 }
          cleanup
  br label %121

119:                                              ; preds = %92
  %120 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  br label %121

121:                                              ; preds = %119, %117
  %.pn50 = phi { ptr, i32 } [ %120, %119 ], [ %118, %117 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %19) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %19) #7
  br label %124

122:                                              ; preds = %109, %108, %101, %96
  %123 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3uno16l1RelaxedProblemD2Ev(ptr noundef nonnull align 8 dereferenceable(152) %20) #7
  call void @llvm.lifetime.end.p0(i64 152, ptr nonnull %20) #7
  br label %124

124:                                              ; preds = %88, %122, %121, %79, %61
  %.merged = phi { ptr, i32 } [ %123, %122 ], [ %.pn50, %121 ], [ %.pn46.pn.pn, %79 ], [ %.pn, %61 ], [ %89, %88 ]
  resume { ptr, i32 } %.merged

125:                                              ; preds = %88
  %126 = landingpad { ptr, i32 }
          catch ptr null
  %127 = extractvalue { ptr, i32 } %126, 0
  call void @__clang_call_terminate(ptr %127) #8
  unreachable
}

declare void @_ZN3uno9Direction5resetEv(ptr noundef nonnull align 8 dereferenceable(208)) local_unnamed_addr #3

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3uno22FeasibilityRestoration16solve_subproblemERNS_10StatisticsERKNS_19OptimizationProblemERNS_7IterateERKNS_11MultipliersERNS_9DirectionERNS_12HessianModelERNS_20WarmstartInformationE(ptr noundef nonnull align 8 dereferenceable(208), ptr noundef nonnull align 8 dereferenceable(144), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(532), ptr noundef nonnull align 8 dereferenceable(72), ptr noundef nonnull align 8 dereferenceable(208), ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 1 dereferenceable(6)) local_unnamed_addr #2 align 2

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

declare void @_ZN3uno20WarmstartInformation10no_changesEv(ptr noundef nonnull align 1 dereferenceable(6)) local_unnamed_addr #3

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

declare ptr @__cxa_begin_catch(ptr) local_unnamed_addr

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 #6

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

declare void @_ZN3uno16l1RelaxedProblem19set_proximal_centerEPKd(ptr noundef nonnull align 8 dereferenceable(152), ptr noundef) local_unnamed_addr #3

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

declare void @_ZN3uno16l1RelaxedProblem23set_proximal_multiplierEd(ptr noundef nonnull align 8 dereferenceable(152), double noundef) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZSt4swapIN3uno11MultipliersEENSt9enable_ifIXsr6__and_ISt6__not_ISt15__is_tuple_likeIT_EESt21is_move_constructibleIS5_ESt18is_move_assignableIS5_EEE5valueEvE4typeERS5_SE_(ptr noundef nonnull align 8 dereferenceable(72), ptr noundef nonnull align 8 dereferenceable(72)) local_unnamed_addr #4

; 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 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nofree nosync nounwind memory(none) }
attributes #6 = { 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 #7 = { nounwind }
attributes #8 = { 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, !27, i64 84}
!6 = !{!"_ZTSN3uno22FeasibilityRestorationE", !7, i64 0, !27, i64 84, !24, i64 88, !26, i64 96, !28, i64 104, !28, i64 112, !24, i64 120, !26, i64 128, !34, i64 136, !37, i64 184}
!7 = !{!"_ZTSN3uno28ConstraintRelaxationStrategyE", !8, i64 8, !17, i64 16, !23, i64 24, !23, i64 28, !24, i64 32, !24, i64 40, !24, i64 48, !25, i64 56, !25, i64 64, !24, i64 72, !26, i64 80}
!8 = !{!"_ZTSSt10unique_ptrIN3uno21GlobalizationStrategyESt14default_deleteIS1_EE", !9, i64 0}
!9 = !{!"_ZTSSt15__uniq_ptr_dataIN3uno21GlobalizationStrategyESt14default_deleteIS1_ELb1ELb1EE", !10, i64 0}
!10 = !{!"_ZTSSt15__uniq_ptr_implIN3uno21GlobalizationStrategyESt14default_deleteIS1_EE", !11, i64 0}
!11 = !{!"_ZTSSt5tupleIJPN3uno21GlobalizationStrategyESt14default_deleteIS1_EEE", !12, i64 0}
!12 = !{!"_ZTSSt11_Tuple_implILm0EJPN3uno21GlobalizationStrategyESt14default_deleteIS1_EEE", !13, i64 0}
!13 = !{!"_ZTSSt10_Head_baseILm0EPN3uno21GlobalizationStrategyELb0EE", !14, i64 0}
!14 = !{!"any pointer", !15, i64 0}
!15 = !{!"omnipotent char", !16, i64 0}
!16 = !{!"Simple C++ TBAA"}
!17 = !{!"_ZTSSt10unique_ptrIN3uno24InequalityHandlingMethodESt14default_deleteIS1_EE", !18, i64 0}
!18 = !{!"_ZTSSt15__uniq_ptr_dataIN3uno24InequalityHandlingMethodESt14default_deleteIS1_ELb1ELb1EE", !19, i64 0}
!19 = !{!"_ZTSSt15__uniq_ptr_implIN3uno24InequalityHandlingMethodESt14default_deleteIS1_EE", !20, i64 0}
!20 = !{!"_ZTSSt5tupleIJPN3uno24InequalityHandlingMethodESt14default_deleteIS1_EEE", !21, i64 0}
!21 = !{!"_ZTSSt11_Tuple_implILm0EJPN3uno24InequalityHandlingMethodESt14default_deleteIS1_EEE", !22, i64 0}
!22 = !{!"_ZTSSt10_Head_baseILm0EPN3uno24InequalityHandlingMethodELb0EE", !14, i64 0}
!23 = !{!"_ZTSN3uno4NormE", !15, i64 0}
!24 = !{!"double", !15, i64 0}
!25 = !{!"long", !15, i64 0}
!26 = !{!"bool", !15, i64 0}
!27 = !{!"_ZTSN3uno5PhaseE", !15, i64 0}
!28 = !{!"_ZTSSt10unique_ptrIN3uno12HessianModelESt14default_deleteIS1_EE", !29, i64 0}
!29 = !{!"_ZTSSt15__uniq_ptr_dataIN3uno12HessianModelESt14default_deleteIS1_ELb1ELb1EE", !30, i64 0}
!30 = !{!"_ZTSSt15__uniq_ptr_implIN3uno12HessianModelESt14default_deleteIS1_EE", !31, i64 0}
!31 = !{!"_ZTSSt5tupleIJPN3uno12HessianModelESt14default_deleteIS1_EEE", !32, i64 0}
!32 = !{!"_ZTSSt11_Tuple_implILm0EJPN3uno12HessianModelESt14default_deleteIS1_EEE", !33, i64 0}
!33 = !{!"_ZTSSt10_Head_baseILm0EPN3uno12HessianModelELb0EE", !14, i64 0}
!34 = !{!"_ZTSN3uno16ProgressMeasuresE", !24, i64 0, !35, i64 8, !24, i64 40}
!35 = !{!"_ZTSSt8functionIFddEE", !36, i64 0, !14, i64 24}
!36 = !{!"_ZTSSt14_Function_base", !15, i64 0, !14, i64 16}
!37 = !{!"_ZTSN3uno6VectorIdEE", !38, i64 0}
!38 = !{!"_ZTSSt6vectorIdSaIdEE", !39, i64 0}
!39 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !40, i64 0}
!40 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !41, i64 0}
!41 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!42 = !{!43, !43, i64 0}
!43 = !{!"_ZTSN3uno5LevelE", !15, i64 0}
!44 = !{!45, !47, i64 184}
!45 = !{!"_ZTSN3uno9DirectionE", !25, i64 0, !25, i64 8, !37, i64 16, !46, i64 40, !46, i64 112, !47, i64 184, !24, i64 192, !24, i64 200}
!46 = !{!"_ZTSN3uno11MultipliersE", !37, i64 0, !37, i64 24, !37, i64 48}
!47 = !{!"_ZTSN3uno16SubproblemStatusE", !15, i64 0}
!48 = !{!49, !49, i64 0}
!49 = !{!"vtable pointer", !16, i64 0}
!50 = !{!6, !24, i64 88}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,SROAPass,SimplifyCFGPass,TailCallElimPass